29640 (sh) R 29639 27426 24421 34816 27426 4194304 117 0 0 0 0 0 0 0 25 0 1 0 10027181 1028096 32 4294967295 134512640 135191968 3213135936 3213133548 3085970599 0 0 4096 0 0 0 0 17 1 0 0 0
29640 (gecode-qwh) R 29639 27426 24421 34816 27426 4194304 676 0 0 0 0 0 0 0 25 0 1 0 10027181 6987776 212 4294967295 134512640 134538271 3213135952 3213134624 3085978895 0 0 4096 0 0 0 0 17 1 0 0 0
29640 (gecode-qwh) R 29639 27426 24421 34816 27426 4202496 944 0 0 0 0 0 0 0 25 0 1 0 10027181 7163904 461 4294967295 134512640 134538271 3213135952 3213134720 3084064678 0 0 4096 0 0 0 0 17 1 0 0 0
