29278 (sh) R 29277 27426 24421 34816 27426 4194304 115 0 0 0 0 0 0 0 25 0 1 0 10026680 933888 30 4294967295 134512640 135191968 3217095680 3217093156 3086192654 0 0 4096 0 0 0 0 17 1 0 0 0
29278 (gecode-qwh) R 29277 27426 24421 34816 27426 4194304 640 0 0 0 0 0 0 0 25 0 1 0 10026680 6987776 174 4294967295 134512640 134538271 3217095696 3217094368 3086150960 0 0 4096 0 0 0 0 17 1 0 0 0
