30539 (gecode-qwh) R 30538 27426 24421 34816 27426 4194304 496 0 0 0 0 0 0 0 18 0 1 0 10029033 364544 35 4294967295 134512640 134538271 3220977600 3220974924 3086516356 0 0 4096 0 0 0 0 17 1 0 0 0
