27621 (php) R 27620 27426 24421 34816 27426 4202560 84 0 0 0 0 0 0 0 25 0 1 0 10024455 0 0 4294967295 0 0 0 3215950472 3086496784 0 0 4096 67108864 0 0 0 17 1 0 0 0
 0 0

 0 0 17 1 0 0 0


27621 (gecode-qwh) R 27620 27426 24421 34816 27426 4194304 626 0 0 0 0 0 0 0 25 0 1 0 10024455 6987776 162 4294967295 134512640 134538271 3215393392 3215391828 3086243029 0 0 4096 0 0 0 0 17 1 0 0 0
