27951 (sh) R 27950 27426 24421 34816 27426 4194304 434 0 0 0 0 0 0 0 25 0 1 0 10024892 3645440 323 4294967295 134512640 135191968 3216452448 3216451948 134929168 0 0 4100 65536 0 0 0 17 0 0 0 0
27951 (gecode-qwh) R 27950 27426 24421 34816 27426 4202496 795 0 0 0 0 0 0 0 25 0 1 0 10024892 6897664 310 4294967295 134512640 134538271 3217474672 3217474140 3082078144 0 0 4096 0 0 0 0 17 0 0 0 0
