c wbo 1.4 beta - 20100610 c | Number of variables: 6181 | c | Number of clauses: 93782 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.07 s | c | Number Variables: 6181 | c | Number Clauses: 93602 | c | Number Cardinality: 0 | c | Number PB Constraints: 0 | c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 6098 93602 235859 | 31200 0 nan | 0.000 % | c =============================================================================== c New solution: 135 c Elapsed CPU time: 0.551916 s Remaining CPU time: 179.448 s c =============================================================================== c | 2 | 6098 93603 236039 | 31201 2 8 | 0.000 % | c | 102 | 6098 93603 236039 | 34321 102 127 | 1.343 % | c =============================================================================== c New solution: 121 c Elapsed CPU time: 0.649901 s Remaining CPU time: 179.35 s c =============================================================================== c | 193 | 6098 93604 236219 | 31201 193 70 | 1.343 % | c | 294 | 6098 93604 236219 | 34321 294 70 | 1.343 % | c =============================================================================== c New solution: 120 c Elapsed CPU time: 0.740887 s Remaining CPU time: 179.259 s c =============================================================================== c | 383 | 6098 93605 236399 | 31201 383 57 | 1.343 % | c =============================================================================== c New solution: 117 c Elapsed CPU time: 0.78788 s Remaining CPU time: 179.212 s c =============================================================================== c | 426 | 6098 93606 236579 | 31202 426 52 | 1.343 % | c =============================================================================== c New solution: 116 c Elapsed CPU time: 0.833873 s Remaining CPU time: 179.166 s c =============================================================================== c | 482 | 6098 93607 236759 | 31202 482 53 | 1.343 % | c | 582 | 6098 93607 236759 | 34322 582 46 | 1.343 % | c | 732 | 6098 93607 236759 | 37754 732 59 | 1.343 % | c =============================================================================== c New solution: 115 c Elapsed CPU time: 0.976851 s Remaining CPU time: 179.023 s c =============================================================================== c | 805 | 6098 93608 236939 | 31202 805 55 | 1.343 % | c | 906 | 6098 93608 236939 | 34322 906 50 | 1.343 % | c | 1056 | 6098 93608 236939 | 37755 1056 49 | 1.343 % | c | 1281 | 6098 93608 236939 | 41530 1281 60 | 1.343 % | c | 1619 | 6098 93608 236939 | 45683 1619 56 | 1.343 % | c | 2126 | 6098 93608 236939 | 50252 2126 67 | 1.343 % | c =============================================================================== c New solution: 114 c Elapsed CPU time: 1.51977 s Remaining CPU time: 178.48 s c =============================================================================== c | 2473 | 6098 93609 237119 | 31203 2473 66 | 1.343 % | c | 2573 | 6098 93609 237119 | 34323 2573 65 | 1.343 % | c | 2723 | 6098 93609 237119 | 37755 2723 66 | 1.343 % | c | 2948 | 6098 93609 237119 | 41531 2948 66 | 1.343 % | c | 3285 | 6098 93609 237119 | 45684 3285 64 | 1.343 % | c | 3791 | 6098 93609 237119 | 50252 3791 71 | 1.343 % | c =============================================================================== c New solution: 113 c Elapsed CPU time: 2.03969 s Remaining CPU time: 177.96 s c =============================================================================== c | 3965 | 6098 93610 237299 | 31203 3965 70 | 1.343 % | c | 4066 | 6098 93610 237299 | 34323 4066 70 | 1.343 % | c | 4216 | 6098 93610 237299 | 37756 4216 71 | 1.343 % | c | 4441 | 6098 93610 237299 | 41531 4441 71 | 1.343 % | c =============================================================================== c New solution: 112 c Elapsed CPU time: 2.27965 s Remaining CPU time: 177.72 s c =============================================================================== c | 4487 | 6098 93611 237479 | 31203 4487 70 | 1.343 % | c | 4588 | 6098 93611 237479 | 34324 4588 70 | 1.343 % | c | 4738 | 6098 93611 237479 | 37756 4738 69 | 1.343 % | c | 4964 | 6098 93611 237479 | 41532 4964 71 | 1.343 % | c =============================================================================== c New solution: 111 c Elapsed CPU time: 2.6136 s Remaining CPU time: 177.386 s c =============================================================================== c | 5255 | 6098 93612 237659 | 31204 5255 71 | 1.343 % | c | 5356 | 6098 93612 237659 | 34324 5356 72 | 1.343 % | c | 5507 | 6098 93612 237659 | 37756 5507 71 | 1.343 % | c | 5732 | 6098 93612 237659 | 41532 5732 73 | 1.343 % | c | 6070 | 6098 93612 237659 | 45685 6070 74 | 1.343 % | c =============================================================================== c New solution: 110 c Elapsed CPU time: 3.05953 s Remaining CPU time: 176.94 s c =============================================================================== c | 6465 | 6098 93613 237839 | 31204 6465 74 | 1.343 % | c | 6565 | 6098 93613 237839 | 34324 6565 74 | 1.343 % | c | 6716 | 6098 93613 237839 | 37757 6716 75 | 1.343 % | c | 6941 | 6098 93613 237839 | 41532 6941 75 | 1.343 % | c =============================================================================== c New solution: 109 c Elapsed CPU time: 3.2995 s Remaining CPU time: 176.701 s c =============================================================================== c | 7038 | 6098 93614 238019 | 31204 7038 75 | 1.343 % | c | 7139 | 6098 93614 238019 | 34325 7139 76 | 1.343 % | c | 7290 | 6098 93614 238019 | 37757 7290 77 | 1.343 % | c | 7515 | 6098 93614 238019 | 41533 7515 77 | 1.343 % | c | 7852 | 6098 93614 238019 | 45686 7852 79 | 1.343 % | c =============================================================================== c New solution: 108 c Elapsed CPU time: 3.60945 s Remaining CPU time: 176.391 s c =============================================================================== c | 8165 | 6098 93615 238199 | 31205 8165 80 | 1.343 % | c | 8265 | 6098 93615 238199 | 34325 8265 80 | 1.343 % | c | 8416 | 6098 93615 238199 | 37758 8416 81 | 1.343 % | c | 8642 | 6098 93615 238199 | 41533 8642 81 | 1.343 % | c | 8980 | 6098 93615 238199 | 45687 8980 82 | 1.343 % | c | 9488 | 6098 93615 238199 | 50255 9488 84 | 1.343 % | c | 10248 | 6098 93615 238199 | 55281 10248 87 | 1.343 % | c | 11388 | 6098 93615 238199 | 60809 11388 89 | 1.343 % | c =============================================================================== c New solution: 107 c Elapsed CPU time: 4.87226 s Remaining CPU time: 175.128 s c =============================================================================== c | 12898 | 6098 93616 238379 | 31205 12898 91 | 1.343 % | c | 12998 | 6098 93616 238379 | 34325 12998 91 | 1.343 % | c | 13149 | 6098 93616 238379 | 37758 13149 92 | 1.343 % | c | 13374 | 6098 93616 238379 | 41534 13374 92 | 1.343 % | c | 13712 | 6098 93616 238379 | 45687 13712 93 | 1.343 % | c | 14218 | 6098 93616 238379 | 50256 14218 94 | 1.343 % | c =============================================================================== c New solution: 106 c Elapsed CPU time: 5.44217 s Remaining CPU time: 174.558 s c =============================================================================== c | 14554 | 6098 93617 238559 | 31205 14554 93 | 1.343 % | c | 14654 | 6098 93617 238559 | 34326 14654 93 | 1.343 % | c | 14804 | 6098 93617 238559 | 37758 14804 94 | 1.343 % | c | 15030 | 6098 93617 238559 | 41534 15030 94 | 1.343 % | c | 15368 | 6098 93617 238559 | 45688 15368 94 | 1.343 % | c | 15874 | 6098 93617 238559 | 50257 15874 95 | 1.343 % | c | 16633 | 6098 93617 238559 | 55282 16633 96 | 1.343 % | c | 17772 | 6098 93617 238559 | 60811 17772 97 | 1.343 % | c | 19481 | 6098 93617 238559 | 66892 19481 100 | 1.343 % | c =============================================================================== c New solution: 105 c Elapsed CPU time: 7.16491 s Remaining CPU time: 172.835 s c =============================================================================== c | 20325 | 6098 93618 238739 | 31206 20325 100 | 1.343 % | c | 20425 | 6098 93618 238739 | 34326 20425 100 | 1.343 % | c | 20577 | 6098 93618 238739 | 37759 20577 100 | 1.343 % | c | 20802 | 6098 93618 238739 | 41535 20802 100 | 1.343 % | c | 21139 | 6098 93618 238739 | 45688 21139 100 | 1.343 % | c | 21645 | 6098 93618 238739 | 50257 21645 101 | 1.343 % | c | 22405 | 6098 93618 238739 | 55283 22405 101 | 1.343 % | c | 23547 | 6098 93618 238739 | 60811 23547 102 | 1.343 % | c | 25255 | 6098 93618 238739 | 66892 25255 103 | 1.343 % | c | 27818 | 6098 93618 238739 | 73582 27818 105 | 1.343 % | c | 31662 | 6098 93618 238739 | 80940 31662 106 | 1.343 % | c | 37429 | 6098 93618 238739 | 89034 37429 109 | 1.343 % | c =============================================================================== c New solution: 104 c Elapsed CPU time: 12.937 s Remaining CPU time: 167.063 s c =============================================================================== c | 37683 | 6098 93619 238919 | 31206 37683 108 | 1.343 % | c | 37783 | 6098 93619 238919 | 34326 12461 109 | 1.343 % | c | 37933 | 6098 93619 238919 | 37759 12611 109 | 1.343 % | c | 38159 | 6098 93619 238919 | 41535 12837 109 | 1.343 % | c | 38496 | 6098 93619 238919 | 45689 13174 109 | 1.343 % | c | 39005 | 6098 93619 238919 | 50258 13683 109 | 1.343 % | c | 39765 | 6098 93619 238919 | 55283 14443 110 | 1.343 % | c | 40905 | 6098 93619 238919 | 60812 15583 110 | 1.343 % | c | 42614 | 6098 93619 238919 | 66893 17292 110 | 1.343 % | c | 45176 | 6098 93619 238919 | 73582 19854 111 | 1.343 % | c | 49020 | 6098 93619 238919 | 80941 23698 111 | 1.343 % | c | 54786 | 6098 93619 238919 | 89035 29464 113 | 1.343 % | c | 63435 | 6098 93619 238919 | 97938 38113 113 | 1.343 % | c | 76409 | 6098 93619 238919 | 107732 51087 114 | 1.343 % | c | 95870 | 6098 93619 238919 | 118505 70548 115 | 1.343 % | c =============================================================================== c New solution: 103 c Elapsed CPU time: 55.7165 s Remaining CPU time: 124.283 s c =============================================================================== c | 120998 | 6098 93620 239099 | 31206 95676 116 | 1.343 % | c | 121098 | 6098 93620 239099 | 34327 13420 113 | 1.343 % | c | 121248 | 6098 93620 239099 | 37760 13570 113 | 1.343 % | c | 121474 | 6098 93620 239099 | 41536 13796 113 | 1.343 % | c | 121812 | 6098 93620 239099 | 45689 14134 113 | 1.343 % | c | 122319 | 6098 93620 239099 | 50258 14641 113 | 1.343 % | c | 123079 | 6098 93620 239099 | 55284 15401 113 | 1.343 % | c | 124218 | 6098 93620 239099 | 60812 16540 112 | 1.343 % | c | 125927 | 6098 93620 239099 | 66894 18249 112 | 1.343 % | c | 128489 | 6098 93620 239099 | 73583 20811 112 | 1.343 % | c | 132333 | 6098 93620 239099 | 80942 24655 112 | 1.343 % | c | 138101 | 6098 93620 239099 | 89036 30423 112 | 1.343 % | c | 146751 | 6098 93620 239099 | 97939 39073 113 | 1.343 % | c | 159725 | 6098 93620 239099 | 107733 52047 113 | 1.343 % | c | 179188 | 6098 93620 239099 | 118507 71510 114 | 1.343 % | c | 208380 | 6098 93620 239099 | 130357 100702 114 | 1.343 % | c | 252169 | 6098 93620 239099 | 143393 27154 112 | 1.343 % | c There are 83 assigned variables. 83 in cost function. c Memory used : 180.09 MB c CPU time : 180.399 s c c Total CPU time: 180.4 s