29836 (sh) R 29835 27426 24421 34816 27426 4194304 308 0 0 0 0 0 0 0 25 0 1 0 10027505 3084288 201 4294967295 134512640 135191968 3214578080 3214567980 3084851578 0 0 4096 0 0 0 0 17 1 0 0 0
29836 (gecode-qwh) R 29835 27426 24421 34816 27426 4194304 704 0 0 0 0 0 0 0 25 0 1 0 10027505 6991872 240 4294967295 134512640 134538271 3216608160 3216606596 3086189816 0 0 4096 0 0 0 0 17 1 0 0 0
