29048 (gecode-qwh) R 29047 27426 24421 34816 27426 4194304 464 0 0 0 0 0 0 0 25 0 1 0 10026371 241664 4 4294967295 0 0 3219179783 3217225668 3086791696 0 0 4096 0 0 0 0 17 1 0 0 0
0 0 0 17 1 0 0 0
29048 (gecode-qwh) R 29047 27426 24421 34816 27426 4202496 937 0 0 0 0 0 0 0 25 0 1 0 10026371 7036928 453 4294967295 134512640 134538271 3219172880 3219171880 3085919248 0 0 4096 0 0 0 0 17 1 0 0 0
