29547 (sh) R 29546 27426 24421 34816 27426 4194304 145 0 0 0 0 0 0 0 25 0 1 0 10027054 1253376 58 4294967295 134512640 135191968 3215702704 3215699788 3086406419 0 0 4096 0 0 0 0 17 1 0 0 0
29547 (gecode-qwh) R 29546 27426 24421 34816 27426 4194304 689 0 0 0 0 0 0 0 25 0 1 0 10027054 6987776 223 4294967295 134512640 134538271 3215702720 3215701392 3086363834 0 0 4096 0 0 0 0 17 1 0 0 0
29547 (gecode-qwh) Z 29546 27426 24421 34816 27426 4202508 959 0 0 0 0 0 0 0 25 0 1 0 10027054 0 0 4294967295 0 0 0 0 0 0 0 4096 0 3222404862 0 0 17 1 0 0 0
