28578 (sh) R 28577 27426 24421 34816 27426 4194304 145 0 0 0 0 0 0 0 25 0 1 0 10025737 2674688 58 4294967295 134512640 135191968 3220404000 3220401084 3086848787 0 0 4096 0 0 0 0 17 1 0 0 0
28578 (gecode-qwh) R 28577 27426 24421 34816 27426 4194304 682 0 0 0 0 0 0 0 25 0 1 0 10025737 6987776 217 4294967295 134512640 134538271 3220404032 3220402704 3086806202 0 0 4096 0 0 0 0 17 1 0 0 0
