30130 (gecode-qwh) R 30129 27426 24421 34816 27426 4194304 562 0 0 0 0 0 0 0 25 0 1 0 10028005 6991872 97 4294967295 134512640 134538271 3213021232 3213019544 3086295925 0 0 4096 0 0 0 0 17 1 0 0 0

30130 (gecode-qwh) R 30129 27426 24421 34816 27426 4202496 943 0 0 0 0 0 0 0 25 0 1 0 10028005 7172096 459 4294967295 134512640 134538271 3213021232 3213019872 3084396738 0 0 4096 0 0 0 0 17 1 0 0 0
