30870 (gecode-qwh) R 30869 27426 24421 34816 27426 4194304 638 0 0 0 0 0 0 0 21 0 1 0 10034053 6987776 172 4294967295 134512640 134538271 3214350704 3214349140 3086603477 0 0 4096 0 0 0 0 17 1 0 0 0
30870 (gecode-qwh) R 30869 27426 24421 34816 27426 4202496 990 0 0 0 0 0 0 0 21 0 1 0 10034053 7294976 505 4294967295 134512640 134538271 3214350704 3214349472 3085748365 0 0 4096 0 0 0 0 17 1 0 0 0
30870 (gecode-qwh) R 30869 27426 24421 34816 27426 4202496 990 0 0 0 1 0 0 0 24 0 1 0 10034053 7294976 505 4294967295 134512640 134538271 3214350704 3214349472 3085748403 0 0 4096 0 0 0 0 17 1 0 0 0
30870 (gecode-qwh) R 30869 27426 24421 34816 27426 4202496 996 0 0 0 2 0 0 0 24 0 1 0 10034053 7458816 511 4294967295 134512640 134538271 3214350704 3214349600 3082994325 0 0 4096 0 0 0 0 17 1 0 0 0
