30166 (gecode-qwh) R 30165 27426 24421 34816 27426 4194304 477 0 0 0 0 0 0 0 25 0 1 0 10028057 241664 17 4294967295 134512640 134538271 3216690096 3216688804 3086459329 0 0 4096 0 0 0 0 17 1 0 0 0
30166 (gecode-qwh) R 30165 27426 24421 34816 27426 4202496 927 0 0 0 0 0 0 0 25 0 1 0 10028057 7032832 444 4294967295 134512640 134538271 3216690096 3216688708 3080205550 0 0 4096 0 0 0 0 17 1 0 0 0
