29742 (gecode-qwh) R 29741 27426 24421 34816 27426 4194304 608 0 0 0 0 0 0 0 25 0 1 0 10027342 6987776 144 4294967295 134512640 134538271 3214020896 3214019568 3085921551 0 0 4096 0 0 0 0 17 1 0 0 0
29742 (gecode-qwh) R 29741 27426 24421 34816 27426 4202496 945 0 0 0 0 0 0 0 25 0 1 0 10027342 7168000 462 4294967295 134512640 134538271 3214020896 3214019616 3082306984 0 0 4096 0 0 0 0 17 1 0 0 0
29742 (gecode-qwh) R 29741 27426 24421 34816 27426 4202496 949 0 0 0 0 0 0 0 25 0 1 0 10027342 7168000 466 4294967295 134512640 134538271 3214020896 3214019664 3085060300 0 0 4096 0 0 0 0 17 1 0 0 0
29742 (gecode-qwh) R 29741 27426 24421 34816 27426 4202496 963 0 0 0 0 0 0 0 25 0 1 0 10027342 7172096 480 4294967295 134512640 134538271 3214020896 3214019680 3081630700 0 0 4096 0 0 0 0 17 0 0 0 0
