30862 (gecode-qwh) R 30861 27426 24421 34816 27426 4194304 611 0 0 0 0 0 0 0 21 0 1 0 10034035 6991872 145 4294967295 134512640 134538271 3213947152 3213945824 3086023951 0 0 4096 0 0 0 0 17 1 0 0 0
30862 (gecode-qwh) R 30861 27426 24421 34816 27426 4202496 990 0 0 0 0 0 0 0 21 0 1 0 10034035 7299072 505 4294967295 134512640 134538271 3213947152 3213945920 3084109722 0 0 4096 0 0 0 0 17 1 0 0 0
30862 (gecode-qwh) R 30861 27426 24421 34816 27426 4202496 990 0 0 0 1 0 0 0 21 0 1 0 10034035 7299072 505 4294967295 134512640 134538271 3213947152 3213946064 134529201 0 0 4096 0 0 0 0 17 1 0 0 0
30862 (gecode-qwh) R 30861 27426 24421 34816 27426 4202496 996 0 0 0 2 0 0 0 21 0 1 0 10034035 7462912 511 4294967295 134512640 134538271 3213947152 3213945792 3084118250 0 0 4096 0 0 0 0 17 1 0 0 0
