27734 (gecode-qwh) R 27733 27426 24421 34816 27426 4194304 519 0 0 0 0 0 0 0 25 0 1 0 10024606 5390336 57 4294967295 134512640 134538271 3217416000 3217413028 3086392255 0 0 4096 0 0 0 0 17 1 0 0 0
