29294 (gecode-qwh) R 29293 27426 24421 34816 27426 4194304 511 0 0 0 0 0 0 0 25 0 1 0 10026702 4263936 49 4294967295 134512640 134538271 3216626592 3216624132 3086532740 0 0 4096 0 0 0 0 17 0 0 0 0
29294 (gecode-qwh) R 29293 27426 24421 34816 27426 4202496 942 0 0 0 0 0 0 0 25 0 1 0 10026702 7036928 457 4294967295 134512640 134538271 3216626592 3216625584 3080247919 0 0 4096 0 0 0 0 17 0 0 0 0
