c wbo 1.4 beta - 20100610 c | Number of variables: 1118 | c | Number of clauses: 2768 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.01 s | c | Number Variables: 1118 | c | Number Clauses: 1789 | 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 | 1105 1789 60828 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 53 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s c =============================================================================== c | 0 | 1105 1790 61807 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 52 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 3 | 1105 1791 62786 | 5000 3 197 | 0.000 % | c =============================================================================== c New solution: 49 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 4 | 1105 1792 63765 | 5000 4 170 | 0.000 % | c =============================================================================== c New solution: 46 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 7 | 1105 1793 64744 | 5000 7 120 | 0.000 % | c | 107 | 1105 1793 64744 | 5500 107 157 | 1.163 % | c | 259 | 1105 1793 64744 | 6050 259 117 | 1.163 % | c | 485 | 1105 1793 64744 | 6655 485 120 | 1.163 % | c | 823 | 1105 1793 64744 | 7320 823 129 | 1.163 % | c | 1331 | 1105 1793 64744 | 8052 1331 123 | 1.163 % | c | 2093 | 1105 1793 64744 | 8857 2093 114 | 1.163 % | c | 3232 | 1105 1793 64744 | 9743 3232 106 | 1.163 % | c | 4940 | 1105 1793 64744 | 10717 4940 130 | 1.163 % | c | 7503 | 1105 1793 64744 | 11789 7503 118 | 1.163 % | c | 11347 | 1105 1793 64744 | 12968 11347 111 | 1.163 % | c | 17115 | 1105 1793 64744 | 14265 10203 93 | 1.163 % | c | 25766 | 1105 1793 64744 | 15692 11310 194 | 1.163 % | c | 38741 | 1105 1793 64744 | 17261 16023 113 | 1.163 % | c | 58202 | 1105 1793 64744 | 18987 17387 90 | 1.163 % | c =============================================================================== c New solution: 45 c Elapsed CPU time: 23.9904 s Remaining CPU time: 156.01 s c =============================================================================== c | 64807 | 1105 1794 65723 | 5000 13991 102 | 1.163 % | c | 64909 | 1105 1794 65723 | 5500 3600 111 | 1.163 % | c | 65059 | 1105 1794 65723 | 6050 3750 109 | 1.163 % | c | 65284 | 1105 1794 65723 | 6655 3975 109 | 1.163 % | c | 65621 | 1105 1794 65723 | 7320 4312 107 | 1.163 % | c | 66131 | 1105 1794 65723 | 8052 4822 107 | 1.163 % | c | 66892 | 1105 1794 65723 | 8857 5583 103 | 1.163 % | c | 68032 | 1105 1794 65723 | 9743 6723 104 | 1.163 % | c | 69740 | 1105 1794 65723 | 10717 8431 103 | 1.163 % | c | 72305 | 1105 1794 65723 | 11789 10996 121 | 1.163 % | c | 76149 | 1105 1794 65723 | 12968 8530 121 | 1.163 % | c | 81917 | 1105 1794 65723 | 14265 7418 114 | 1.163 % | c | 90566 | 1105 1794 65723 | 15692 8512 135 | 1.163 % | c | 103540 | 1105 1794 65723 | 17261 13221 81 | 1.163 % | c | 123003 | 1105 1794 65723 | 18987 14604 152 | 1.163 % | c | 152196 | 1105 1794 65723 | 20886 13773 134 | 1.163 % | c | 195986 | 1105 1794 65723 | 22974 13798 109 | 1.163 % | c =============================================================================== c New solution: 44 c Elapsed CPU time: 74.7976 s Remaining CPU time: 105.202 s c =============================================================================== c | 196714 | 1105 1795 66702 | 5000 14526 112 | 1.163 % | c | 196816 | 1105 1795 66702 | 5500 3734 119 | 1.163 % | c | 196966 | 1105 1795 66702 | 6050 3884 120 | 1.163 % | c | 197191 | 1105 1795 66702 | 6655 4109 117 | 1.163 % | c | 197529 | 1105 1795 66702 | 7320 4447 119 | 1.163 % | c | 198036 | 1105 1795 66702 | 8052 4954 116 | 1.163 % | c | 198796 | 1105 1795 66702 | 8857 5714 111 | 1.163 % | c | 199935 | 1105 1795 66702 | 9743 6853 106 | 1.163 % | c | 201643 | 1105 1795 66702 | 10717 8561 106 | 1.163 % | c | 204208 | 1105 1795 66702 | 11789 11126 104 | 1.163 % | c | 208053 | 1105 1795 66702 | 12968 8694 93 | 1.163 % | c | 213820 | 1105 1795 66702 | 14265 7551 102 | 1.163 % | c | 222469 | 1105 1795 66702 | 15692 8658 121 | 1.163 % | c | 235443 | 1105 1795 66702 | 17261 13376 92 | 1.163 % | c | 254907 | 1105 1795 66702 | 18987 14834 115 | 1.163 % | c | 284099 | 1105 1795 66702 | 20886 14085 104 | 1.163 % | c | 327889 | 1105 1795 66702 | 22974 13960 96 | 1.163 % | c | 393573 | 1105 1795 66702 | 25272 14819 140 | 1.163 % | c There are 13 assigned variables. 13 in cost function. c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 891 2771 29568 | 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 | 1102 2772 39073 | 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 | 1354 2773 45806 | 5000 0 nan | 0.000 % | c | 104 | 1353 2773 45806 | 5500 104 30 | 24.903 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1699 2774 48767 | 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 | 1820 2775 49514 | 5000 0 nan | 0.000 % | c | 100 | 1820 2775 49514 | 5500 100 84 | 16.629 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1869 2776 49789 | 5000 0 nan | 0.000 % | c | 100 | 1869 2776 49789 | 5500 100 142 | 15.545 % | c | 251 | 1869 2776 49789 | 6050 251 98 | 15.545 % | c | 478 | 1869 2776 49789 | 6655 478 98 | 15.545 % | c | 815 | 1869 2776 49789 | 7320 815 76 | 15.545 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2268 2777 54301 | 5000 0 nan | 0.000 % | c | 100 | 2268 2777 54301 | 5500 100 53 | 10.036 % | c | 250 | 2268 2777 54301 | 6050 250 94 | 10.036 % | c | 475 | 2268 2777 54301 | 6655 475 92 | 10.036 % | c | 812 | 2268 2777 54301 | 7320 812 86 | 10.036 % | c | 1318 | 2268 2777 54301 | 8052 1318 97 | 10.036 % | c | 2078 | 2268 2777 54301 | 8857 2078 98 | 10.036 % | c | 3218 | 2268 2777 54301 | 9743 3218 91 | 10.036 % | c | 4927 | 2268 2777 54301 | 10717 4927 95 | 10.036 % | c | 7491 | 2268 2777 54301 | 11789 7491 106 | 10.036 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2979 2778 64342 | 5000 0 nan | 0.000 % | c | 100 | 2979 2778 64342 | 5500 100 91 | 5.006 % | c | 250 | 2979 2778 64342 | 6050 250 87 | 5.006 % | c | 477 | 2979 2778 64342 | 6655 477 100 | 5.006 % | c | 815 | 2979 2778 64342 | 7320 815 132 | 5.006 % | c | 1321 | 2979 2778 64342 | 8052 1321 171 | 5.006 % | c | 2080 | 2979 2778 64342 | 8857 2080 176 | 5.006 % | c | 3220 | 2979 2778 64342 | 9743 3220 206 | 5.006 % | c | 4928 | 2979 2778 64342 | 10717 4928 230 | 5.006 % | c | 7491 | 2979 2778 64342 | 11789 7491 229 | 5.006 % | c | 11337 | 2979 2778 64342 | 12968 11337 244 | 5.006 % | c | 17103 | 2979 2778 64342 | 14265 10389 226 | 5.006 % | c | 25752 | 2979 2778 64342 | 15692 11503 241 | 5.006 % | c | 38727 | 2979 2778 64342 | 17261 8230 248 | 5.006 % | c | 58194 | 2979 2778 64342 | 18987 9792 233 | 5.006 % | c | 87388 | 2979 2778 64342 | 20886 19404 239 | 5.006 % |