29611 (sh) R 29610 27426 24421 34816 27426 4194304 143 0 0 0 0 0 0 0 25 0 1 0 10027144 1249280 56 4294967295 134512640 135191968 3214928368 3214925964 3086356740 0 0 4096 0 0 0 0 17 1 0 0 0
29611 (gecode-qwh) R 29610 27426 24421 34816 27426 4194304 689 0 0 0 0 0 0 0 25 0 1 0 10027144 6987776 223 4294967295 134512640 134538271 3214928384 3214927056 3086314682 0 0 4096 0 0 0 0 17 1 0 0 0
