28675 (sh) R 28674 27426 24421 34816 27426 4194304 282 0 0 0 0 0 0 0 25 0 1 0 10025865 3080192 175 4294967295 134512640 135191968 3218511200 3218510704 134613918 0 0 4096 0 0 0 0 17 1 0 0 0

28675 (gecode-qwh) R 28674 27426 24421 34816 27426 4194304 719 0 0 0 0 0 0 0 25 0 1 0 10025865 6987776 253 4294967295 134512640 134538271 3213045808 3213044244 3085972693 0 0 4096 0 0 0 0 17 1 0 0 0
