30021 (gecode-qwh) R 30020 27426 24421 34816 27426 4194304 510 0 0 0 0 0 0 0 25 0 1 0 10027816 4259840 48 4294967295 134512640 134538271 3220010704 3220008244 3086962820 0 0 4096 0 0 0 0 17 1 0 0 0
30021 (gecode-qwh) R 30020 27426 24421 34816 27426 4202496 939 0 0 0 0 0 0 0 25 0 1 0 10027816 7028736 454 4294967295 134512640 134538271 3220010704 3220009424 3083306383 0 0 4096 0 0 0 0 17 1 0 0 0
30021 (gecode-qwh) R 30020 27426 24421 34816 27426 4202496 973 0 0 0 1 0 0 0 25 0 1 0 10027816 7172096 488 4294967295 134512640 134538271 3220010704 3220009440 3080677984 0 0 4096 0 0 0 0 17 0 0 0 0
