29209 (sh) R 29208 27426 24421 34816 27426 4194304 116 0 0 0 0 0 0 0 25 0 1 0 10026587 933888 31 4294967295 134512640 135191968 3214555536 3214552924 3085955204 0 0 4096 0 0 0 0 17 1 0 0 0
29209 (gecode-qwh) R 29208 27426 24421 34816 27426 4194304 646 0 0 0 0 0 0 0 25 0 1 0 10026587 6987776 180 4294967295 134512640 134538271 3214555552 3214554224 3085913936 0 0 4096 0 0 0 0 17 1 0 0 0
