6710 (sh) R 6707 6681 5280 34817 6681 4194304 464 0 0 0 0 0 0 0 25 0 1 0 7869325 0 0 4294967295 0 0 0 3219995860 3085992976 0 0 4096 0 0 0 0 17 0 0 0 0
6710 (gecode-srq) R 6707 6681 5280 34817 6681 4202496 918 0 0 0 0 0 0 0 25 0 1 0 7869325 7041024 432 4294967295 134512640 134548100 3217237648 3217235476 3079763182 0 0 4096 0 0 0 0 17 0 0 0 0
