29217 (sh) R 29216 27426 24421 34816 27426 4194304 178 0 0 0 0 0 0 0 25 0 1 0 10026599 2682880 91 4294967295 134512640 135191968 3214746048 3214744720 3086155023 0 0 4096 0 0 0 0 17 1 0 0 0
29217 (gecode-qwh) D 29216 27426 24421 34816 27426 4194304 510 0 0 0 0 0 0 0 25 0 1 0 10026599 4263936 49 4294967295 134512640 134538271 3214746064 3214743604 3086196868 0 0 4096 0 4170197283 0 0 17 1 0 0 0
29217 (gecode-qwh) R 29216 27426 24421 34816 27426 4202496 935 0 0 0 0 0 0 0 25 0 1 0 10026599 7036928 451 4294967295 134512640 134538271 3214746064 3214745212 3081663584 0 0 4096 0 0 0 0 17 1 0 0 0
