30029 (gecode-qwh) R 30028 27426 24421 34816 27426 4194304 638 0 0 0 0 0 0 0 25 0 1 0 10027827 6987776 173 4294967295 134512640 134538271 3215897328 3215896000 3086871738 0 0 4096 0 0 0 0 17 1 0 0 0
30029 (gecode-qwh) R 30028 27426 24421 34816 27426 4202496 946 0 0 0 0 0 0 0 25 0 1 0 10027827 7168000 462 4294967295 134512640 134538271 3215897328 3215896048 3083257150 0 0 4096 0 0 0 0 17 1 0 0 0
