28470 (sh) R 28469 27426 24421 34816 27426 4194304 237 0 0 0 0 0 0 0 25 0 1 0 10025591 2584576 132 4294967295 134512640 135191968 3220344608 3220343152 3084470720 0 0 4096 0 0 0 0 17 1 0 0 0
28470 (gecode-qwh) R 28469 27426 24421 34816 27426 4194304 709 0 0 0 0 0 0 0 25 0 1 0 10025591 6987776 245 4294967295 134512640 134538271 3220199168 3220197604 3086521557 0 0 4096 0 0 0 0 17 1 0 0 0
