27923 (sh) R 27922 27426 24421 34816 27426 4194304 437 0 0 0 0 0 0 0 25 0 1 0 10024854 3649536 326 4294967295 134512640 135191968 3212965904 3212965312 134864432 0 0 4100 65536 0 0 0 17 1 0 0 0
27923 (gecode-qwh) R 27922 27426 24421 34816 27426 4202496 874 0 0 0 0 0 0 0 25 0 1 0 10024854 7028736 389 4294967295 134512640 134538271 3220199168 3220198100 3080126002 0 0 4096 0 0 0 0 17 1 0 0 0
