28208 (sh) R 28207 27426 24421 34816 27426 4194304 128 0 0 0 0 0 0 0 25 0 1 0 10025241 1232896 43 4294967295 134512640 135191968 3213666496 3213663912 3086681595 0 0 4096 0 0 0 0 17 1 0 0 0
28208 (gecode-qwh) R 28207 27426 24421 34816 27426 4194304 671 0 0 0 0 0 0 0 25 0 1 0 10025241 6987776 205 4294967295 134512640 134538271 3213666512 3213665184 3086700368 0 0 4096 0 0 0 0 17 1 0 0 0
