31237 (gecode-qwh) R 31236 27426 24421 34816 27426 4194304 617 0 0 0 0 0 0 0 25 0 1 0 10039904 6987776 152 4294967295 134512640 134538271 3216456560 3216454996 3086185685 0 0 4096 0 0 0 0 17 1 0 0 0
31237 (gecode-qwh) R 31236 27426 24421 34816 27426 4202496 974 0 0 0 0 0 0 0 25 0 1 0 10039904 7327744 490 4294967295 134512640 134538271 3216456560 3216455280 3082577286 0 0 4096 0 0 0 0 17 1 0 0 0
31237 (gecode-qwh) R 31236 27426 24421 34816 27426 4202496 980 0 0 0 1 0 0 0 25 0 1 0 10039904 7327744 496 4294967295 134512640 134538271 3216456560 3216455328 3085330647 0 0 4096 0 0 0 0 17 1 0 0 0
31237 (gecode-qwh) R 31236 27426 24421 34816 27426 4202496 980 0 0 0 2 0 0 0 25 0 1 0 10039904 7327744 496 4294967295 134512640 134538271 3216456560 3216455472 134529229 0 0 4096 0 0 0 0 17 0 0 0 0
31237 (gecode-qwh) R 31236 27426 24421 34816 27426 4202496 998 0 0 0 3 0 0 0 25 0 1 0 10039904 7491584 514 4294967295 134512640 134538271 3216456560 3216455520 3086116291 0 0 4096 0 0 0 0 17 0 0 0 0
31237 (gecode-qwh) R 31236 27426 24421 34816 27426 4202496 998 0 0 0 4 0 0 0 25 0 1 0 10039904 7491584 514 4294967295 134512640 134538271 3216456560 3216455440 3082575891 0 0 4096 0 0 0 0 17 0 0 0 0
31237 (gecode-qwh) R 31236 27426 24421 34816 27426 4202496 998 0 0 0 4 0 0 0 25 0 1 0 10039904 7491584 514 4294967295 134512640 134538271 3216456560 3216455200 3084286135 0 0 4096 0 0 0 0 17 0 0 0 0
