30222 (gecode-qwh) R 30221 27426 24421 34816 27426 4194304 650 0 0 0 0 0 0 0 25 0 1 0 10028141 6987776 187 4294967295 134512640 134538271 3219971792 3219970464 3086282603 0 0 4096 0 0 0 0 17 1 0 0 0
