27879 (gecode-qwh) R 27878 27426 24421 34816 27426 4194304 738 0 0 0 0 0 0 0 25 0 1 0 10024796 6987776 272 4294967295 134512640 134538271 3215979264 3215977936 3086322115 0 0 4096 0 0 0 0 17 0 0 0 0
