28574 (sh) R 28573 27426 24421 34816 27426 4194304 434 0 0 0 0 0 0 0 25 0 1 0 10025731 3645440 323 4294967295 134512640 135191968 3215411808 3215411308 134929168 0 0 4100 65536 0 0 0 17 1 0 0 0
28574 (gecode-qwh) R 28573 27426 24421 34816 27426 4202496 786 0 0 0 0 0 0 0 25 0 1 0 10025731 6893568 301 4294967295 134512640 134538271 3213129808 3213129440 3079720550 0 0 4096 0 0 0 0 17 1 0 0 0
