30210 (gecode-qwh) R 30209 27426 24421 34816 27426 4194304 645 0 0 0 0 0 0 0 25 0 1 0 10028121 6987776 181 4294967295 134512640 134538271 3220694912 3220693584 3086364523 0 0 4096 0 0 0 0 17 1 0 0 0
30210 (gecode-qwh) R 30209 27426 24421 34816 27426 4202496 936 0 0 0 0 0 0 0 25 0 1 0 10028121 7028736 452 4294967295 134512640 134538271 3220694912 3220693872 3086288486 0 0 4096 0 0 0 0 17 1 0 0 0
