27983 (sh) R 27982 27426 24421 34816 27426 4194304 85 0 0 0 0 0 0 0 25 0 1 0 10024936 925696 2 4294967295 0 0 3218733318 3212990392 3086803984 0 0 4096 0 0 0 0 17 1 0 0 0
 0 0 17 1 0 0 0


27983 (gecode-qwh) R 27982 27426 24421 34816 27426 4194304 637 0 0 0 0 0 0 0 25 0 1 0 10024936 6991872 172 4294967295 134512640 134538271 3218726304 3218724740 3086845141 0 0 4096 0 0 0 0 17 1 0 0 0
