28658 (sh) R 28657 27426 24421 34816 27426 4194304 96 0 0 0 0 0 0 0 25 0 1 0 10025843 925696 13 4294967295 134512640 135191968 3217839280 3217838132 3085989689 0 0 4096 0 0 0 0 17 1 0 0 0

28658 (gecode-qwh) R 28657 27426 24421 34816 27426 4194304 637 0 0 0 0 0 0 0 25 0 1 0 10025843 6987776 172 4294967295 134512640 134538271 3217839296 3217837732 3086021845 0 0 4096 0 0 0 0 17 1 0 0 0
