29820 (sh) R 29819 27426 24421 34816 27426 4194304 434 0 0 0 0 0 0 0 25 0 1 0 10027478 3645440 323 4294967295 134512640 135191968 3213639856 3213638816 135100662 0 0 4100 65536 0 0 0 17 1 0 0 0
29820 (gecode-qwh) R 29819 27426 24421 34816 27426 4194304 723 0 0 0 0 0 0 0 25 0 1 0 10027478 6987776 259 4294967295 134512640 134538271 3217021952 3217020388 3086398712 0 0 4096 0 0 0 0 17 1 0 0 0
