c wbo 1.4 beta - 20100610 c | Number of variables: 5556 | c | Number of clauses: 84786 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.06 s | c | Number Variables: 5556 | c | Number Clauses: 84608 | 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 | 5481 84608 212266 | 28202 0 nan | 0.000 % | c =============================================================================== c New solution: 128 c Elapsed CPU time: 0.534918 s Remaining CPU time: 179.465 s c =============================================================================== c | 2 | 5481 84609 212444 | 28203 2 5 | 0.000 % | c | 103 | 5481 84609 212444 | 31023 103 127 | 1.350 % | c =============================================================================== c New solution: 118 c Elapsed CPU time: 0.596909 s Remaining CPU time: 179.403 s c =============================================================================== c | 201 | 5481 84610 212622 | 28203 201 70 | 1.350 % | c =============================================================================== c New solution: 116 c Elapsed CPU time: 0.612906 s Remaining CPU time: 179.387 s c =============================================================================== c | 212 | 5481 84611 212800 | 28203 212 68 | 1.350 % | c =============================================================================== c New solution: 115 c Elapsed CPU time: 0.642902 s Remaining CPU time: 179.357 s c =============================================================================== c | 263 | 5481 84612 212978 | 28204 263 57 | 1.350 % | c =============================================================================== c New solution: 114 c Elapsed CPU time: 0.659899 s Remaining CPU time: 179.34 s c =============================================================================== c | 265 | 5481 84613 213156 | 28204 265 56 | 1.350 % | c | 366 | 5481 84613 213156 | 31024 366 65 | 1.350 % | c | 516 | 5481 84613 213156 | 34127 516 50 | 1.350 % | c | 741 | 5481 84613 213156 | 37539 741 73 | 1.350 % | c =============================================================================== c New solution: 113 c Elapsed CPU time: 0.826874 s Remaining CPU time: 179.173 s c =============================================================================== c | 913 | 5481 84614 213334 | 28204 913 64 | 1.350 % | c =============================================================================== c New solution: 112 c Elapsed CPU time: 0.855869 s Remaining CPU time: 179.144 s c =============================================================================== c | 955 | 5481 84615 213512 | 28205 955 62 | 1.350 % | c | 1055 | 5481 84615 213512 | 31025 1055 60 | 1.350 % | c =============================================================================== c New solution: 111 c Elapsed CPU time: 0.91986 s Remaining CPU time: 179.08 s c =============================================================================== c | 1103 | 5481 84616 213690 | 28205 1103 58 | 1.350 % | c =============================================================================== c New solution: 110 c Elapsed CPU time: 0.947855 s Remaining CPU time: 179.052 s c =============================================================================== c | 1141 | 5481 84617 213868 | 28205 1141 56 | 1.350 % | c =============================================================================== c New solution: 109 c Elapsed CPU time: 0.975851 s Remaining CPU time: 179.024 s c =============================================================================== c | 1190 | 5481 84618 214046 | 28206 1190 58 | 1.350 % | c | 1290 | 5481 84618 214046 | 31026 1290 59 | 1.350 % | c =============================================================================== c New solution: 105 c Elapsed CPU time: 1.04984 s Remaining CPU time: 178.95 s c =============================================================================== c | 1416 | 5481 84619 214224 | 28206 1416 58 | 1.350 % | c | 1516 | 5481 84619 214224 | 31026 1516 59 | 1.350 % | c | 1667 | 5481 84619 214224 | 34129 1667 57 | 1.350 % | c | 1892 | 5481 84619 214224 | 37542 1892 61 | 1.350 % | c | 2229 | 5481 84619 214224 | 41296 2229 62 | 1.350 % | c | 2735 | 5481 84619 214224 | 45426 2735 63 | 1.350 % | c | 3495 | 5481 84619 214224 | 49969 3495 72 | 1.350 % | c | 4635 | 5481 84619 214224 | 54966 4635 78 | 1.350 % | c | 6345 | 5481 84619 214224 | 60462 6345 91 | 1.350 % | c =============================================================================== c New solution: 104 c Elapsed CPU time: 2.6526 s Remaining CPU time: 177.347 s c =============================================================================== c | 8705 | 5481 84620 214402 | 28206 8705 96 | 1.350 % | c | 8805 | 5481 84620 214402 | 31027 8805 97 | 1.350 % | c =============================================================================== c New solution: 103 c Elapsed CPU time: 2.74258 s Remaining CPU time: 177.257 s c =============================================================================== c | 8928 | 5481 84621 214580 | 28207 8928 96 | 1.350 % | c | 9028 | 5481 84621 214580 | 31027 9028 96 | 1.350 % | c =============================================================================== c New solution: 102 c Elapsed CPU time: 2.79857 s Remaining CPU time: 177.201 s c =============================================================================== c | 9073 | 5481 84622 214758 | 28207 9073 96 | 1.350 % | c | 9174 | 5481 84622 214758 | 31028 9174 96 | 1.350 % | c | 9324 | 5481 84622 214758 | 34130 9324 95 | 1.350 % | c | 9549 | 5481 84622 214758 | 37543 9549 96 | 1.350 % | c | 9886 | 5481 84622 214758 | 41298 9886 95 | 1.350 % | c | 10392 | 5481 84622 214758 | 45428 10392 96 | 1.350 % | c | 11151 | 5481 84622 214758 | 49971 11151 97 | 1.350 % | c | 12293 | 5481 84622 214758 | 54968 12293 99 | 1.350 % | c | 14001 | 5481 84622 214758 | 60464 14001 99 | 1.350 % | c =============================================================================== c New solution: 99 c Elapsed CPU time: 4.5843 s Remaining CPU time: 175.416 s c =============================================================================== c | 15280 | 5481 84623 214936 | 28207 15280 100 | 1.350 % | c | 15380 | 5481 84623 214936 | 31028 15380 100 | 1.350 % | c | 15532 | 5481 84623 214936 | 34131 15532 100 | 1.350 % | c | 15757 | 5481 84623 214936 | 37544 15757 100 | 1.350 % | c | 16094 | 5481 84623 214936 | 41298 16094 100 | 1.350 % | c | 16600 | 5481 84623 214936 | 45428 16600 100 | 1.350 % | c =============================================================================== c New solution: 98 c Elapsed CPU time: 5.20721 s Remaining CPU time: 174.793 s c =============================================================================== c | 16966 | 5481 84624 215114 | 28208 16966 99 | 1.350 % | c | 17067 | 5481 84624 215114 | 31028 17067 99 | 1.350 % | c | 17218 | 5481 84624 215114 | 34131 17218 99 | 1.350 % | c | 17443 | 5481 84624 215114 | 37544 17443 99 | 1.350 % | c | 17781 | 5481 84624 215114 | 41299 17781 99 | 1.350 % | c | 18289 | 5481 84624 215114 | 45429 18289 99 | 1.350 % | c | 19049 | 5481 84624 215114 | 49972 19049 100 | 1.350 % | c | 20189 | 5481 84624 215114 | 54969 20189 100 | 1.350 % | c | 21897 | 5481 84624 215114 | 60466 21897 103 | 1.350 % | c | 24461 | 5481 84624 215114 | 66512 24461 105 | 1.350 % | c | 28307 | 5481 84624 215114 | 73164 28307 105 | 1.350 % | c | 34074 | 5481 84624 215114 | 80480 34074 107 | 1.350 % | c | 42724 | 5481 84624 215114 | 88528 42724 108 | 1.350 % | c =============================================================================== c New solution: 97 c Elapsed CPU time: 14.7988 s Remaining CPU time: 165.201 s c =============================================================================== c | 44268 | 5481 84625 215292 | 28208 44268 109 | 1.350 % | c | 44369 | 5481 84625 215292 | 31029 13031 105 | 1.350 % | c | 44520 | 5481 84625 215292 | 34132 13182 105 | 1.350 % | c | 44745 | 5481 84625 215292 | 37545 13407 105 | 1.350 % | c | 45083 | 5481 84625 215292 | 41299 13745 104 | 1.350 % | c | 45590 | 5481 84625 215292 | 45429 14252 104 | 1.350 % | c | 46350 | 5481 84625 215292 | 49972 15012 104 | 1.350 % | c | 47489 | 5481 84625 215292 | 54970 16151 104 | 1.350 % | c | 49197 | 5481 84625 215292 | 60467 17859 106 | 1.350 % | c | 51759 | 5481 84625 215292 | 66513 20421 106 | 1.350 % | c =============================================================================== c New solution: 96 c Elapsed CPU time: 18.2912 s Remaining CPU time: 161.709 s c =============================================================================== c | 55394 | 5481 84626 215470 | 28208 24056 106 | 1.350 % | c | 55495 | 5481 84626 215470 | 31029 24157 106 | 1.350 % | c | 55646 | 5481 84626 215470 | 34132 24308 106 | 1.350 % | c | 55872 | 5481 84626 215470 | 37545 24534 105 | 1.350 % | c | 56209 | 5481 84626 215470 | 41300 24871 105 | 1.350 % | c | 56716 | 5481 84626 215470 | 45430 25378 106 | 1.350 % | c | 57475 | 5481 84626 215470 | 49973 26137 106 | 1.350 % | c =============================================================================== c New solution: 95 c Elapsed CPU time: 19.0341 s Remaining CPU time: 160.966 s c =============================================================================== c | 57576 | 5481 84627 215648 | 28209 26238 105 | 1.350 % | c | 57676 | 5481 84627 215648 | 31029 26338 105 | 1.350 % | c | 57827 | 5481 84627 215648 | 34132 26489 105 | 1.350 % | c | 58053 | 5481 84627 215648 | 37546 26715 105 | 1.350 % | c | 58391 | 5481 84627 215648 | 41300 27053 105 | 1.350 % | c | 58897 | 5481 84627 215648 | 45430 27559 105 | 1.350 % | c | 59656 | 5481 84627 215648 | 49973 28318 106 | 1.350 % | c | 60795 | 5481 84627 215648 | 54971 29457 106 | 1.350 % | c | 62504 | 5481 84627 215648 | 60468 31166 106 | 1.350 % | c | 65066 | 5481 84627 215648 | 66515 33728 107 | 1.350 % | c | 68911 | 5481 84627 215648 | 73166 37573 108 | 1.350 % | c | 74677 | 5481 84627 215648 | 80483 43339 108 | 1.350 % | c | 83326 | 5481 84627 215648 | 88531 51988 110 | 1.350 % | c | 96300 | 5481 84627 215648 | 97385 64962 112 | 1.350 % | c | 115762 | 5481 84627 215648 | 107123 84424 112 | 1.350 % | c | 144954 | 5481 84627 215648 | 117835 19472 108 | 1.350 % | c =============================================================================== c New solution: 94 c Elapsed CPU time: 73.8818 s Remaining CPU time: 106.118 s c =============================================================================== c | 145393 | 5481 84628 215826 | 28209 19911 108 | 1.350 % | c | 145494 | 5481 84628 215826 | 31030 20012 108 | 1.350 % | c | 145644 | 5481 84628 215826 | 34133 20162 108 | 1.350 % | c | 145870 | 5481 84628 215826 | 37546 20388 108 | 1.350 % | c | 146209 | 5481 84628 215826 | 41301 20727 108 | 1.350 % | c | 146715 | 5481 84628 215826 | 45431 21233 107 | 1.350 % | c | 147474 | 5481 84628 215826 | 49974 21992 107 | 1.350 % | c | 148614 | 5481 84628 215826 | 54972 23132 107 | 1.350 % | c | 150322 | 5481 84628 215826 | 60469 24840 107 | 1.350 % | c | 152887 | 5481 84628 215826 | 66516 27405 108 | 1.350 % | c | 156732 | 5481 84628 215826 | 73167 31250 108 | 1.350 % | c | 162498 | 5481 84628 215826 | 80484 37016 109 | 1.350 % | c | 171149 | 5481 84628 215826 | 88532 45667 112 | 1.350 % | c | 184125 | 5481 84628 215826 | 97386 58643 113 | 1.350 % | c =============================================================================== c New solution: 93 c Elapsed CPU time: 88.8995 s Remaining CPU time: 91.1005 s c =============================================================================== c | 185300 | 5481 84629 216004 | 28209 59818 113 | 1.350 % | c | 185401 | 5481 84629 216004 | 31030 12909 107 | 1.350 % | c | 185551 | 5481 84629 216004 | 34133 13059 107 | 1.350 % | c | 185776 | 5481 84629 216004 | 37547 13284 106 | 1.350 % | c | 186113 | 5481 84629 216004 | 41301 13621 106 | 1.350 % | c | 186619 | 5481 84629 216004 | 45431 14127 106 | 1.350 % | c | 187379 | 5481 84629 216004 | 49975 14887 106 | 1.350 % | c | 188518 | 5481 84629 216004 | 54972 16026 106 | 1.350 % | c | 190227 | 5481 84629 216004 | 60469 17735 106 | 1.350 % | c | 192792 | 5481 84629 216004 | 66516 20300 106 | 1.350 % | c | 196636 | 5481 84629 216004 | 73168 24144 106 | 1.350 % | c | 202404 | 5481 84629 216004 | 80485 29912 108 | 1.350 % | c =============================================================================== c New solution: 92 c Elapsed CPU time: 96.5633 s Remaining CPU time: 83.4367 s c =============================================================================== c | 210869 | 5481 84630 216182 | 28210 38377 107 | 1.350 % | c | 210969 | 5481 84630 216182 | 31031 12350 99 | 1.350 % | c | 211119 | 5481 84630 216182 | 34134 12500 99 | 1.350 % | c | 211345 | 5481 84630 216182 | 37547 12726 98 | 1.350 % | c | 211682 | 5481 84630 216182 | 41302 13063 98 | 1.350 % | c | 212188 | 5481 84630 216182 | 45432 13569 98 | 1.350 % | c | 212947 | 5481 84630 216182 | 49975 14328 100 | 1.350 % | c | 214087 | 5481 84630 216182 | 54973 15468 100 | 1.350 % | c | 215796 | 5481 84630 216182 | 60470 17177 100 | 1.350 % | c | 218359 | 5481 84630 216182 | 66517 19740 101 | 1.350 % | c | 222204 | 5481 84630 216182 | 73169 23585 101 | 1.350 % | c | 227970 | 5481 84630 216182 | 80486 29351 102 | 1.350 % | c | 236619 | 5481 84630 216182 | 88535 38000 103 | 1.350 % | c | 249594 | 5481 84630 216182 | 97388 50975 105 | 1.350 % | c | 269055 | 5481 84630 216182 | 107127 70436 106 | 1.350 % | c | 298247 | 5481 84630 216182 | 117840 99628 106 | 1.350 % | c | 342038 | 5481 84630 216182 | 129624 37948 106 | 1.350 % | c There are 75 assigned variables. 75 in cost function. c Memory used : 203.96 MB c CPU time : 180.425 s c c Total CPU time: 180.426 s