5250 (sh) R 5249 5193 3367 34816 5193 4194304 116 0 0 0 0 0 0 0 19 0 1 0 1004602 937984 31 4294967295 134512640 135191968 3220127552 3220125028 3086057486 0 0 4096 0 0 0 0 17 0 0 0 0

5250 (gecode-mseq) R 5249 5193 3367 34816 5193 4202496 912 0 0 0 0 0 0 0 19 0 1 0 1004602 7028736 428 4294967295 134512640 134535391 3217943856 3217942432 3084556113 0 0 4096 0 0 0 0 17 0 0 0 0
5250 (gecode-mseq) R 5249 5193 3367 34816 5193 4202496 913 0 0 0 1 0 0 0 19 0 1 0 1004602 7028736 429 4294967295 134512640 134535391 3217943856 3217942432 3084553589 0 0 4096 0 0 0 0 17 0 0 0 0
5250 (gecode-mseq) R 5249 5193 3367 34816 5193 4202496 913 0 0 0 2 0 0 0 19 0 1 0 1004602 7028736 429 4294967295 134512640 134535391 3217943856 3217942832 3083962124 0 0 4096 0 0 0 0 17 0 0 0 0
5250 (gecode-mseq) R 5249 5193 3367 34816 5193 4202496 913 0 0 0 2 0 0 0 19 0 1 0 1004602 7028736 429 4294967295 134512640 134535391 3217943856 3217943000 3084797553 0 0 4096 0 0 0 0 17 0 0 0 0
5250 (gecode-mseq) R 5249 5193 3367 34816 5193 4202496 913 0 0 0 3 0 0 0 22 0 1 0 1004602 7028736 429 4294967295 134512640 134535391 3217943856 3217942928 3086110509 0 0 4096 0 0 0 0 17 1 0 0 0
5250 (gecode-mseq) R 5249 5193 3367 34816 5193 4202496 913 0 0 0 4 0 0 0 22 0 1 0 1004602 7028736 429 4294967295 134512640 134535391 3217943856 3217942432 3084553484 0 0 4096 0 0 0 0 17 1 0 0 0
5250 (gecode-mseq) R 5249 5193 3367 34816 5193 4202496 913 0 0 0 5 0 0 0 22 0 1 0 1004602 7028736 429 4294967295 134512640 134535391 3217943856 3217942816 3082571300 0 0 4096 0 0 0 0 17 1 0 0 0
5250 (gecode-mseq) R 5249 5193 3367 34816 5193 4202496 913 0 0 0 6 0 0 0 22 0 1 0 1004602 7028736 429 4294967295 134512640 134535391 3217943856 3217942928 3086110619 0 0 4096 0 0 0 0 17 1 0 0 0
5250 (gecode-mseq) R 5249 5193 3367 34816 5193 4202496 913 0 0 0 6 0 0 0 22 0 1 0 1004602 7028736 429 4294967295 134512640 134535391 3217943856 3217942432 3084557122 0 0 4096 0 0 0 0 17 1 0 0 0
5250 (gecode-mseq) R 5249 5193 3367 34816 5193 4202496 913 0 0 0 7 0 0 0 22 0 1 0 1004602 7028736 429 4294967295 134512640 134535391 3217943856 3217942432 3084551942 0 0 4096 0 0 0 0 17 1 0 0 0
