29137 (gecode-qwh) R 29136 27426 24421 34816 27426 4194304 463 0 0 0 0 0 0 0 25 0 1 0 10026490 237568 4 4294967295 134512640 134538271 3220471632 3219491316 3086849040 0 0 4096 0 0 0 0 17 1 0 0 0

29137 (gecode-qwh) R 29136 27426 24421 34816 27426 4202496 934 0 0 0 0 0 0 0 25 0 1 0 10026490 7032832 451 4294967295 134512640 134538271 3220471632 3220470632 3086537744 0 0 4096 0 0 0 0 17 1 0 0 0
