28478 (sh) R 28477 27426 24421 34816 27426 4194304 293 0 0 0 0 0 0 0 25 0 1 0 10025603 3080192 185 4294967295 134512640 135191968 3216675744 3216675244 134892320 0 0 4096 0 0 0 0 17 1 0 0 0

28478 (gecode-qwh) R 28477 27426 24421 34816 27426 4194304 717 0 0 0 0 0 0 0 25 0 1 0 10025603 6991872 251 4294967295 134512640 134538271 3214825968 3214824404 3086116053 0 0 4096 0 0 0 0 17 1 0 0 0
