30998 (gecode-qwh) R 30997 27426 24421 34816 27426 4202496 957 0 0 0 0 0 0 0 25 0 1 0 10034500 7168000 472 4294967295 134512640 134538271 3220029152 3220028064 134529143 0 0 4096 0 0 0 0 17 1 0 0 0

30998 (gecode-qwh) R 30997 27426 24421 34816 27426 4202496 981 0 0 0 1 0 0 0 25 0 1 0 10034500 7331840 496 4294967295 134512640 134538271 3220029152 3220027792 3084916828 0 0 4096 0 0 0 0 17 1 0 0 0
30998 (gecode-qwh) R 30997 27426 24421 34816 27426 4202496 981 0 0 0 2 0 0 0 25 0 1 0 10034500 7331840 496 4294967295 134512640 134538271 3220029152 3220028032 3083202726 0 0 4096 0 0 0 0 17 1 0 0 0
30998 (gecode-qwh) R 30997 27426 24421 34816 27426 4202496 981 0 0 0 3 0 0 0 25 0 1 0 10034500 7331840 496 4294967295 134512640 134538271 3220029152 3220028112 3086743144 0 0 4096 0 0 0 0 17 1 0 0 0
30998 (gecode-qwh) R 30997 27426 24421 34816 27426 4202496 989 0 0 0 4 0 0 0 25 0 1 0 10034500 7331840 504 4294967295 134512640 134538271 3220029152 3220027872 3083204159 0 0 4096 0 0 0 0 17 1 0 0 0
30998 (gecode-qwh) R 30997 27426 24421 34816 27426 4202496 989 0 0 0 4 0 0 0 25 0 1 0 10034500 7331840 504 4294967295 134512640 134538271 3220029152 3220028124 3085411899 0 0 4096 0 0 0 0 17 1 0 0 0
30998 (gecode-qwh) R 30997 27426 24421 34816 27426 4202496 995 0 0 0 5 0 0 0 25 0 1 0 10034500 7331840 510 4294967295 134512640 134538271 3220029152 3220027920 3084904315 0 0 4096 0 0 0 0 17 1 0 0 0
30998 (gecode-qwh) R 30997 27426 24421 34816 27426 4202496 995 0 0 0 6 0 0 0 25 0 1 0 10034500 7331840 510 4294967295 134512640 134538271 3220029152 3220027920 3085957335 0 0 4096 0 0 0 0 17 1 0 0 0
30998 (gecode-qwh) R 30997 27426 24421 34816 27426 4202496 1000 0 0 0 7 0 0 0 25 0 1 0 10034500 7495680 515 4294967295 134512640 134538271 3220029152 3220027616 3083204942 0 0 4096 0 0 0 0 17 1 0 0 0
30998 (gecode-qwh) R 30997 27426 24421 34816 27426 4202496 1001 0 0 0 8 0 0 0 25 0 1 0 10034500 7495680 516 4294967295 134512640 134538271 3220029152 3220027920 3084904351 0 0 4096 0 0 0 0 17 1 0 0 0
30998 (gecode-qwh) R 30997 27426 24421 34816 27426 4202496 1001 0 0 0 8 0 0 0 25 0 1 0 10034500 7495680 516 4294967295 134512640 134538271 3220029152 3220027792 3084916775 0 0 4096 0 0 0 0 17 1 0 0 0
30998 (gecode-qwh) R 30997 27426 24421 34816 27426 4202496 1001 0 0 0 9 0 0 0 25 0 1 0 10034500 7495680 516 4294967295 134512640 134538271 3220029152 3220027872 3083204083 0 0 4096 0 0 0 0 17 1 0 0 0
30998 (gecode-qwh) R 30997 27426 24421 34816 27426 4202496 1001 0 0 0 10 0 0 0 25 0 1 0 10034500 7495680 516 4294967295 134512640 134538271 3220029152 3220027792 3084912792 0 0 4096 0 0 0 0 17 1 0 0 0
30998 (gecode-qwh) R 30997 27426 24421 34816 27426 4202496 1001 0 0 0 11 0 0 0 25 0 1 0 10034500 7495680 516 4294967295 134512640 134538271 3220029152 3220027872 3083204004 0 0 4096 0 0 0 0 17 1 0 0 0
30998 (gecode-qwh) R 30997 27426 24421 34816 27426 4202496 1001 0 0 0 12 0 0 0 25 0 1 0 10034500 7495680 516 4294967295 134512640 134538271 3220029152 3220028144 3086741286 0 0 4096 0 0 0 0 17 1 0 0 0
