29036 (sh) R 29035 27426 24421 34816 27426 4194304 437 0 0 0 0 0 0 0 25 0 1 0 10026355 3653632 326 4294967295 134512640 135191968 3216614288 3216613540 3085044288 0 0 4100 65536 0 0 0 17 1 0 0 0
29036 (gecode-qwh) R 29035 27426 24421 34816 27426 4202496 894 0 0 0 0 0 0 0 25 0 1 0 10026355 7028736 409 4294967295 134512640 134538271 3217300544 3217299436 3081811744 0 0 4096 0 0 0 0 17 1 0 0 0
