29762 (gecode-qwh) R 29761 27426 24421 34816 27426 4194304 518 0 0 0 0 0 0 0 25 0 1 0 10027379 5234688 56 4294967295 134512640 134538271 3219228192 3219225704 3086061828 0 0 4096 0 0 0 0 17 1 0 0 0
29762 (gecode-qwh) R 29761 27426 24421 34816 27426 4202496 917 0 0 0 0 0 0 0 25 0 1 0 10027379 7028736 433 4294967295 134512640 134538271 3219228192 3219227036 3085158320 0 0 4096 0 0 0 0 17 1 0 0 0
29762 (gecode-qwh) R 29761 27426 24421 34816 27426 4202496 945 0 0 0 0 0 0 0 25 0 1 0 10027379 7163904 461 4294967295 134512640 134538271 3219228192 3219226656 3082407451 0 0 4096 0 0 0 0 17 1 0 0 0
