29591 (sh) R 29590 27426 24421 34816 27426 4194304 436 0 0 0 0 0 0 0 25 0 1 0 10027117 3653632 325 4294967295 134512640 135191968 3214078240 3214077168 135100662 0 0 4100 65536 0 0 0 17 1 0 0 0
29591 (gecode-qwh) R 29590 27426 24421 34816 27426 4202496 824 0 0 0 0 0 0 0 25 0 1 0 10027117 6897664 341 4294967295 134512640 134538271 3221002192 3221002028 3084773504 0 0 4096 0 0 0 0 17 1 0 0 0
29591 (gecode-qwh) R 29590 27426 24421 34816 27426 4202496 943 0 0 0 0 0 0 0 25 0 1 0 10027117 7172096 459 4294967295 134512640 134538271 3221002192 3221000912 3082843412 0 0 4096 0 0 0 0 17 1 0 0 0
