c wbo 1.4 beta - 20100610 c | Number of variables: 6391 | c | Number of clauses: 98488 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.07 s | c | Number Variables: 6391 | c | Number Clauses: 98308 | 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 | 6304 98308 245494 | 32769 0 nan | 0.000 % | c =============================================================================== c New solution: 132 c Elapsed CPU time: 0.6529 s Remaining CPU time: 179.347 s c =============================================================================== c | 0 | 6304 98309 245674 | 32769 0 nan | 0.000 % | c | 100 | 6304 98309 245674 | 36046 100 94 | 1.361 % | c =============================================================================== c New solution: 128 c Elapsed CPU time: 0.735888 s Remaining CPU time: 179.264 s c =============================================================================== c | 200 | 6304 98310 245854 | 32770 200 51 | 1.361 % | c =============================================================================== c New solution: 127 c Elapsed CPU time: 0.759884 s Remaining CPU time: 179.24 s c =============================================================================== c | 205 | 6304 98311 246034 | 32770 205 51 | 1.361 % | c | 305 | 6304 98311 246034 | 36047 305 56 | 1.361 % | c | 456 | 6304 98311 246034 | 39652 456 51 | 1.361 % | c =============================================================================== c New solution: 126 c Elapsed CPU time: 0.923859 s Remaining CPU time: 179.076 s c =============================================================================== c | 555 | 6304 98312 246214 | 32770 555 45 | 1.361 % | c | 655 | 6304 98312 246214 | 36047 655 45 | 1.361 % | c | 806 | 6304 98312 246214 | 39652 806 40 | 1.361 % | c | 1031 | 6304 98312 246214 | 43617 1031 57 | 1.361 % | c =============================================================================== c New solution: 125 c Elapsed CPU time: 1.15182 s Remaining CPU time: 178.848 s c =============================================================================== c | 1082 | 6304 98313 246394 | 32771 1082 54 | 1.361 % | c =============================================================================== c New solution: 124 c Elapsed CPU time: 1.18882 s Remaining CPU time: 178.811 s c =============================================================================== c | 1117 | 6304 98314 246574 | 32771 1117 53 | 1.361 % | c | 1217 | 6304 98314 246574 | 36048 1217 59 | 1.362 % | c | 1368 | 6304 98314 246574 | 39653 1368 59 | 1.361 % | c =============================================================================== c New solution: 123 c Elapsed CPU time: 1.37479 s Remaining CPU time: 178.625 s c =============================================================================== c | 1560 | 6304 98315 246754 | 32771 1560 55 | 1.361 % | c | 1660 | 6304 98315 246754 | 36048 1660 57 | 1.361 % | c =============================================================================== c New solution: 122 c Elapsed CPU time: 1.48577 s Remaining CPU time: 178.514 s c =============================================================================== c | 1799 | 6304 98316 246934 | 32772 1799 55 | 1.361 % | c | 1900 | 6304 98316 246934 | 36049 1900 54 | 1.361 % | c | 2050 | 6304 98316 246934 | 39654 2050 54 | 1.361 % | c =============================================================================== c New solution: 121 c Elapsed CPU time: 1.62975 s Remaining CPU time: 178.37 s c =============================================================================== c | 2065 | 6304 98317 247114 | 32772 2065 55 | 1.361 % | c | 2165 | 6304 98317 247114 | 36049 2165 54 | 1.361 % | c | 2316 | 6304 98317 247114 | 39654 2316 57 | 1.361 % | c | 2541 | 6304 98317 247114 | 43619 2541 64 | 1.361 % | c | 2878 | 6304 98317 247114 | 47981 2878 70 | 1.361 % | c | 3384 | 6304 98317 247114 | 52780 3384 78 | 1.361 % | c =============================================================================== c New solution: 120 c Elapsed CPU time: 2.05269 s Remaining CPU time: 177.947 s c =============================================================================== c | 3435 | 6304 98318 247294 | 32772 3435 78 | 1.361 % | c | 3536 | 6304 98318 247294 | 36049 3536 77 | 1.361 % | c | 3686 | 6304 98318 247294 | 39654 3686 76 | 1.362 % | c | 3911 | 6304 98318 247294 | 43620 3911 75 | 1.362 % | c | 4248 | 6304 98318 247294 | 47982 4248 78 | 1.361 % | c | 4754 | 6304 98318 247294 | 52780 4754 80 | 1.361 % | c | 5514 | 6304 98318 247294 | 58058 5514 81 | 1.361 % | c | 6654 | 6304 98318 247294 | 63864 6654 87 | 1.361 % | c =============================================================================== c New solution: 119 c Elapsed CPU time: 3.19151 s Remaining CPU time: 176.808 s c =============================================================================== c | 6847 | 6304 98319 247474 | 32773 6847 86 | 1.361 % | c | 6948 | 6304 98319 247474 | 36050 6948 86 | 1.361 % | c | 7099 | 6304 98319 247474 | 39655 7099 85 | 1.361 % | c | 7326 | 6304 98319 247474 | 43620 7326 87 | 1.361 % | c | 7663 | 6304 98319 247474 | 47982 7663 87 | 1.361 % | c | 8169 | 6304 98319 247474 | 52781 8169 88 | 1.361 % | c | 8930 | 6304 98319 247474 | 58059 8930 89 | 1.361 % | c =============================================================================== c New solution: 118 c Elapsed CPU time: 4.11337 s Remaining CPU time: 175.887 s c =============================================================================== c | 9788 | 6304 98320 247654 | 32773 9788 91 | 1.361 % | c | 9888 | 6304 98320 247654 | 36050 9888 91 | 1.361 % | c | 10038 | 6304 98320 247654 | 39655 10038 90 | 1.361 % | c | 10263 | 6304 98320 247654 | 43621 10263 91 | 1.361 % | c | 10600 | 6304 98320 247654 | 47983 10600 90 | 1.361 % | c | 11106 | 6304 98320 247654 | 52781 11106 90 | 1.361 % | c | 11865 | 6304 98320 247654 | 58059 11865 94 | 1.361 % | c | 13005 | 6304 98320 247654 | 63865 13005 95 | 1.361 % | c | 14713 | 6304 98320 247654 | 70252 14713 100 | 1.361 % | c | 17279 | 6304 98320 247654 | 77277 17279 104 | 1.361 % | c =============================================================================== c New solution: 117 c Elapsed CPU time: 7.2599 s Remaining CPU time: 172.74 s c =============================================================================== c | 18665 | 6304 98321 247834 | 32773 18665 104 | 1.361 % | c | 18765 | 6304 98321 247834 | 36051 18765 103 | 1.361 % | c | 18916 | 6304 98321 247834 | 39656 18916 103 | 1.361 % | c | 19141 | 6304 98321 247834 | 43621 19141 104 | 1.361 % | c | 19478 | 6304 98321 247834 | 47983 19478 104 | 1.361 % | c | 19985 | 6304 98321 247834 | 52782 19985 105 | 1.361 % | c | 20744 | 6304 98321 247834 | 58060 20744 105 | 1.361 % | c =============================================================================== c New solution: 116 c Elapsed CPU time: 8.43072 s Remaining CPU time: 171.569 s c =============================================================================== c | 21450 | 6304 98322 248014 | 32774 21450 106 | 1.361 % | c | 21550 | 6304 98322 248014 | 36051 21550 106 | 1.361 % | c | 21701 | 6304 98322 248014 | 39656 21701 106 | 1.361 % | c | 21927 | 6304 98322 248014 | 43622 21927 105 | 1.361 % | c | 22266 | 6304 98322 248014 | 47984 22266 106 | 1.361 % | c | 22772 | 6304 98322 248014 | 52782 22772 106 | 1.361 % | c | 23531 | 6304 98322 248014 | 58061 23531 106 | 1.361 % | c | 24671 | 6304 98322 248014 | 63867 24671 107 | 1.361 % | c | 26380 | 6304 98322 248014 | 70253 26380 108 | 1.361 % | c | 28943 | 6304 98322 248014 | 77279 28943 110 | 1.361 % | c | 32787 | 6304 98322 248014 | 85007 32787 112 | 1.361 % | c | 38553 | 6304 98322 248014 | 93508 38553 117 | 1.361 % | c | 47204 | 6304 98322 248014 | 102858 47204 120 | 1.361 % | c =============================================================================== c New solution: 115 c Elapsed CPU time: 26.117 s Remaining CPU time: 153.883 s c =============================================================================== c | 59145 | 6304 98323 248194 | 32774 59145 122 | 1.361 % | c | 59247 | 6304 98323 248194 | 36051 13084 118 | 1.361 % | c | 59398 | 6304 98323 248194 | 39656 13235 117 | 1.361 % | c | 59624 | 6304 98323 248194 | 43622 13461 117 | 1.361 % | c | 59963 | 6304 98323 248194 | 47984 13800 116 | 1.361 % | c | 60469 | 6304 98323 248194 | 52783 14306 116 | 1.361 % | c | 61228 | 6304 98323 248194 | 58061 15065 116 | 1.361 % | c | 62367 | 6304 98323 248194 | 63867 16204 116 | 1.361 % | c | 64076 | 6304 98323 248194 | 70254 17913 117 | 1.361 % | c | 66639 | 6304 98323 248194 | 77280 20476 117 | 1.361 % | c | 70484 | 6304 98323 248194 | 85008 24321 118 | 1.361 % | c | 76251 | 6304 98323 248194 | 93508 30088 122 | 1.361 % | c | 84902 | 6304 98323 248194 | 102859 38739 129 | 1.361 % | c | 97877 | 6304 98323 248194 | 113145 51714 129 | 1.361 % | c =============================================================================== c New solution: 114 c Elapsed CPU time: 45.0631 s Remaining CPU time: 134.937 s c =============================================================================== c | 98802 | 6304 98324 248374 | 32774 52639 129 | 1.361 % | c | 98902 | 6304 98324 248374 | 36052 12785 118 | 1.361 % | c | 99052 | 6304 98324 248374 | 39657 12935 118 | 1.361 % | c | 99277 | 6304 98324 248374 | 43623 13160 118 | 1.361 % | c | 99615 | 6304 98324 248374 | 47985 13498 117 | 1.361 % | c | 100121 | 6304 98324 248374 | 52783 14004 116 | 1.361 % | c | 100880 | 6304 98324 248374 | 58062 14763 116 | 1.361 % | c | 102020 | 6304 98324 248374 | 63868 15903 116 | 1.361 % | c | 103728 | 6304 98324 248374 | 70255 17611 119 | 1.361 % | c | 106290 | 6304 98324 248374 | 77280 20173 119 | 1.361 % | c | 110135 | 6304 98324 248374 | 85009 24018 120 | 1.361 % | c | 115901 | 6304 98324 248374 | 93509 29784 125 | 1.361 % | c | 124551 | 6304 98324 248374 | 102860 38434 125 | 1.362 % | c | 137525 | 6304 98324 248374 | 113147 51408 125 | 1.361 % | c | 156986 | 6304 98324 248374 | 124461 70869 127 | 1.361 % | c | 186180 | 6304 98324 248374 | 136907 100063 130 | 1.361 % | c | 229969 | 6304 98324 248374 | 150598 18897 129 | 1.361 % | c There are 87 assigned variables. 87 in cost function. c Memory used : 190.08 MB c CPU time : 180.389 s c c Total CPU time: 180.39 s