29221 (php) R 29220 27426 24421 34816 27426 4202560 84 0 0 0 0 0 0 0 25 0 1 0 10026605 0 0 4294967295 0 0 0 3217400808 3085939728 0 0 4096 67108864 0 0 0 17 0 0 0 0
 0 0

 0 0 17 0 0 0 0


29221 (gecode-qwh) R 29220 27426 24421 34816 27426 4194304 498 0 0 0 0 0 0 0 25 0 1 0 10026605 421888 38 4294967295 134512640 134538271 3215101280 3215098456 3086144275 0 0 4096 0 0 0 0 17 0 0 0 0

29221 (gecode-qwh) R 29220 27426 24421 34816 27426 4202496 846 0 0 0 0 0 0 0 25 0 1 0 10026605 6893568 363 4294967295 134512640 134538271 3215101280 3215100872 3080584336 0 0 4096 0 0 0 0 17 0 0 0 0
