29060 (sh) R 29059 27426 24421 34816 27426 4194304 461 0 0 0 0 0 0 0 25 0 1 0 10026387 0 0 4294967295 0 0 0 3213065172 3086656528 0 0 4096 0 0 0 0 17 1 0 0 0
6 0 0 0 0 17 1 0 0 0

 0 0 17 1 0 0 0

29060 (gecode-qwh) R 29059 27426 24421 34816 27426 4202496 936 0 0 0 0 0 0 0 25 0 1 0 10026387 7032832 452 4294967295 134512640 134538271 3217218608 3217217276 3080666111 0 0 4096 0 0 0 0 17 1 0 0 0
