30009 (sh) R 30008 27426 24421 34816 27426 4194304 437 0 0 0 0 0 0 0 25 0 1 0 10027797 3653632 326 4294967295 134512640 135191968 3217101824 3217100752 135100662 0 0 4100 65536 0 0 0 17 1 0 0 0
30009 (gecode-qwh) R 30008 27426 24421 34816 27426 4202496 816 0 0 0 0 0 0 0 25 0 1 0 10027797 6893568 331 4294967295 134512640 134538271 3217515632 3217515468 3086345328 0 0 4096 0 0 0 0 17 1 0 0 0
30009 (gecode-qwh) R 30008 27426 24421 34816 27426 4202496 959 0 0 0 0 0 0 0 25 0 1 0 10027797 7168000 474 4294967295 134512640 134538271 3217515632 3217514352 3082806654 0 0 4096 0 0 0 0 17 0 0 0 0
