c wbo 1.4 beta - 20100610 c | Number of variables: 1279 | c | Number of clauses: 1644 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 1279 | c | Number Clauses: 842 | 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 | 1261 842 17988 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 85 c Elapsed CPU time: 0.006998 s Remaining CPU time: 179.993 s c =============================================================================== c | 0 | 1261 843 18790 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 84 c Elapsed CPU time: 0.006998 s Remaining CPU time: 179.993 s c =============================================================================== c | 0 | 1261 844 19592 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 83 c Elapsed CPU time: 0.008998 s Remaining CPU time: 179.991 s c =============================================================================== c | 0 | 1261 845 20394 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 80 c Elapsed CPU time: 0.010998 s Remaining CPU time: 179.989 s c =============================================================================== c | 0 | 1261 846 21196 | 5000 0 nan | 0.000 % | c | 100 | 1261 846 21196 | 5500 100 115 | 1.407 % | c =============================================================================== c New solution: 72 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 101 | 1261 847 21998 | 5000 101 114 | 1.407 % | c =============================================================================== c New solution: 71 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 102 | 1261 848 22800 | 5000 102 113 | 1.407 % | c | 202 | 1261 848 22800 | 5500 202 117 | 1.407 % | c | 353 | 1261 848 22800 | 6050 353 116 | 1.407 % | c =============================================================================== c New solution: 70 c Elapsed CPU time: 0.06199 s Remaining CPU time: 179.938 s c =============================================================================== c | 360 | 1261 849 23602 | 5000 360 115 | 1.407 % | c | 461 | 1261 849 23602 | 5500 461 114 | 1.407 % | c | 614 | 1261 849 23602 | 6050 614 111 | 1.407 % | c | 839 | 1261 849 23602 | 6655 839 110 | 1.407 % | c | 1177 | 1261 849 23602 | 7320 1177 106 | 1.407 % | c | 1683 | 1261 849 23602 | 8052 1683 104 | 1.407 % | c | 2443 | 1261 849 23602 | 8857 2443 105 | 1.407 % | c | 3582 | 1261 849 23602 | 9743 3582 109 | 1.407 % | c | 5290 | 1261 849 23602 | 10717 5290 111 | 1.407 % | c | 7852 | 1261 849 23602 | 11789 7852 108 | 1.407 % | c | 11697 | 1261 849 23602 | 12968 11697 107 | 1.407 % | c | 17463 | 1261 849 23602 | 14265 10623 109 | 1.407 % | c =============================================================================== c New solution: 69 c Elapsed CPU time: 3.72043 s Remaining CPU time: 176.28 s c =============================================================================== c | 17479 | 1261 850 24404 | 5000 10639 109 | 1.407 % | c | 17579 | 1261 850 24404 | 5500 2760 119 | 1.407 % | c | 17729 | 1261 850 24404 | 6050 2910 117 | 1.407 % | c | 17954 | 1261 850 24404 | 6655 3135 115 | 1.407 % | c | 18291 | 1261 850 24404 | 7320 3472 115 | 1.407 % | c | 18799 | 1261 850 24404 | 8052 3980 113 | 1.407 % | c | 19558 | 1261 850 24404 | 8857 4739 111 | 1.407 % | c | 20698 | 1261 850 24404 | 9743 5879 110 | 1.407 % | c | 22407 | 1261 850 24404 | 10717 7588 109 | 1.407 % | c | 24969 | 1261 850 24404 | 11789 10150 105 | 1.407 % | c | 28817 | 1261 850 24404 | 12968 7743 99 | 1.407 % | c | 34590 | 1261 850 24404 | 14265 13516 103 | 1.407 % | c | 43241 | 1261 850 24404 | 15692 14674 109 | 1.407 % | c | 56216 | 1261 850 24404 | 17261 11248 98 | 1.407 % | c | 75682 | 1261 850 24404 | 18987 12395 121 | 1.407 % | c | 104874 | 1261 850 24404 | 20886 11325 116 | 1.407 % | c | 148663 | 1261 850 24404 | 22974 21591 106 | 1.407 % | c | 214349 | 1261 850 24404 | 25272 21514 116 | 1.407 % | c | 312876 | 1261 850 24404 | 27799 12224 104 | 1.407 % | c | 460665 | 1261 850 24404 | 30579 16775 117 | 1.407 % | c There are 18 assigned variables. 18 in cost function. c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1490 1661 21382 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1549 1662 22096 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1633 1663 22934 | 5000 0 nan | 0.000 % | c | 100 | 1633 1663 22934 | 5500 100 31 | 15.825 % | c | 250 | 1633 1663 22934 | 6050 250 33 | 15.825 % | c | 476 | 1633 1663 22934 | 6655 476 36 | 15.825 % | c | 813 | 1632 1663 22934 | 7320 812 45 | 15.876 % | c | 1325 | 1628 1663 22934 | 8052 1323 52 | 16.083 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1946 1664 24830 | 5000 0 nan | 0.000 % | c | 100 | 1946 1664 24830 | 5500 100 54 | 10.816 % | c | 250 | 1946 1664 24830 | 6050 250 58 | 10.816 % | c | 475 | 1946 1664 24830 | 6655 475 66 | 10.816 % | c | 812 | 1946 1664 24830 | 7320 812 79 | 10.816 % | c | 1319 | 1946 1664 24830 | 8052 1319 99 | 10.816 % | c | 2078 | 1946 1664 24830 | 8857 2078 100 | 10.816 % | c | 3218 | 1946 1664 24830 | 9743 3218 111 | 10.816 % | c | 4928 | 1946 1664 24830 | 10717 4928 123 | 10.816 % | c | 7494 | 1946 1664 24830 | 11789 7494 126 | 10.816 % | c | 11339 | 1946 1664 24830 | 12968 11339 129 | 10.816 % | c | 17106 | 1946 1664 24830 | 14265 10379 127 | 10.816 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2253 1665 26276 | 5000 0 nan | 0.000 % | c | 100 | 2252 1665 26276 | 5500 100 18 | 8.977 % | c | 254 | 2249 1665 26276 | 6050 254 21 | 9.139 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2328 1666 26464 | 5000 0 nan | 0.000 % | c | 100 | 2328 1666 26464 | 5500 100 63 | 8.562 % | c | 250 | 2328 1666 26464 | 6050 250 89 | 8.562 % | c | 478 | 2328 1666 26464 | 6655 478 120 | 8.562 % | c | 816 | 2328 1666 26464 | 7320 816 132 | 8.562 % | c | 1324 | 2325 1666 26464 | 8052 1323 141 | 8.720 % | c | 2085 | 2325 1666 26464 | 8857 2084 151 | 8.720 % | c | 3226 | 2325 1666 26464 | 9743 3225 165 | 8.720 % | c | 4936 | 2324 1666 26464 | 10717 4934 166 | 8.720 % | c | 7499 | 2324 1666 26464 | 11789 7497 173 | 8.720 % | c | 11343 | 2324 1666 26464 | 12968 11341 174 | 8.720 % | c | 17111 | 2324 1666 26464 | 14265 10404 170 | 8.720 % | c | 25764 | 2324 1666 26464 | 15692 11756 166 | 8.720 % | c | 38738 | 2322 1666 26464 | 17261 8422 294 | 8.798 % | c | 58202 | 2322 1666 26464 | 18987 10176 162 | 8.798 % | c | 87394 | 2322 1666 26464 | 20886 10104 179 | 8.798 % |