30878 (gecode-qwh) R 30877 27426 24421 34816 27426 4194304 594 0 0 0 0 0 0 0 25 0 1 0 10034070 6987776 128 4294967295 134512640 134538271 3219193360 3219192032 3086020432 0 0 4096 0 0 0 0 17 1 0 0 0
30878 (gecode-qwh) R 30877 27426 24421 34816 27426 4202496 990 0 0 0 0 0 0 0 25 0 1 0 10034070 7294976 505 4294967295 134512640 134538271 3219193360 3219192128 3084105631 0 0 4096 0 0 0 0 17 1 0 0 0
30878 (gecode-qwh) R 30877 27426 24421 34816 27426 4202496 990 0 0 0 1 0 0 0 25 0 1 0 10034070 7294976 505 4294967295 134512640 134538271 3219193360 3219192128 3085158615 0 0 4096 0 0 0 0 17 1 0 0 0
30878 (gecode-qwh) R 30877 27426 24421 34816 27426 4202496 996 0 0 0 2 0 0 0 25 0 1 0 10034070 7458816 511 4294967295 134512640 134538271 3219193360 3219192080 3082405306 0 0 4096 0 0 0 0 17 1 0 0 0
