28305 (sh) R 28304 27426 24421 34816 27426 4194304 220 0 0 0 0 0 0 0 25 0 1 0 10025369 2584576 115 4294967295 134512640 135191968 3213316192 3213315632 3086480400 0 0 4096 0 0 0 0 17 1 0 0 0
28305 (gecode-qwh) R 28304 27426 24421 34816 27426 4194304 707 0 0 0 0 0 0 0 25 0 1 0 10025369 6991872 243 4294967295 134512640 134538271 3218601344 3218599780 3086517496 0 0 4096 0 0 0 0 17 1 0 0 0
