27790 (sh) R 27789 27426 24421 34816 27426 4194304 416 0 0 0 0 0 0 0 25 0 1 0 10024679 3637248 305 4294967295 134512640 135191968 3215749808 3215748852 3086087184 0 0 4100 0 0 0 0 17 1 0 0 0
27790 (gecode-qwh) R 27789 27426 24421 34816 27426 4194304 738 0 0 0 0 0 0 0 25 0 1 0 10024679 6991872 274 4294967295 134512640 134538271 3216755648 3216754304 3086167215 0 0 4096 0 0 0 0 17 1 0 0 0
