28550 (sh) R 28549 27426 24421 34816 27426 4194304 303 0 0 0 0 0 0 0 25 0 1 0 10025699 3084288 195 4294967295 134512640 135191968 3219291680 3219282500 3086537744 0 0 4096 0 0 0 0 17 1 0 0 0
28550 (gecode-qwh) R 28549 27426 24421 34816 27426 4194304 609 0 0 0 0 0 0 0 25 0 1 0 10025699 6987776 145 4294967295 134512640 134538271 3219291696 3219290368 3086585103 0 0 4096 0 0 0 0 17 1 0 0 0
