c wbo 1.4 beta - 20100610 c | Number of variables: 4427 | c | Number of clauses: 14797 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.01 s | c | Number Variables: 4427 | c | Number Clauses: 12661 | 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 | 4020 12737 30349 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 27 c Elapsed CPU time: 0.079987 s Remaining CPU time: 179.92 s c =============================================================================== c | 0 | 4020 12738 32485 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 26 c Elapsed CPU time: 0.111982 s Remaining CPU time: 179.888 s c =============================================================================== c | 90 | 4020 12739 34621 | 5000 90 64 | 0.000 % | c | 190 | 4020 12739 34621 | 5500 190 49 | 9.194 % | c | 340 | 4020 12739 34621 | 6050 340 47 | 9.195 % | c | 565 | 4020 12739 34621 | 6655 565 46 | 9.194 % | c | 902 | 4020 12739 34621 | 7320 902 48 | 9.195 % | c | 1408 | 4020 12739 34621 | 8052 1408 42 | 9.195 % | c | 2167 | 4020 12739 34621 | 8857 2167 47 | 9.195 % | c | 3307 | 4020 12739 34621 | 9743 3307 52 | 9.194 % | c | 5016 | 4020 12739 34621 | 10717 5016 54 | 9.194 % | c | 7579 | 4020 12739 34621 | 11789 7579 55 | 9.194 % | c | 11426 | 4020 12739 34621 | 12968 11426 58 | 9.194 % | c | 17192 | 4020 12739 34621 | 14265 9936 56 | 9.194 % | c | 25842 | 4020 12739 34621 | 15692 10627 69 | 9.194 % | c | 38816 | 4020 12739 34621 | 17261 14860 64 | 9.194 % | c | 58278 | 4020 12739 34621 | 18987 15540 62 | 9.194 % | c | 87470 | 4020 12739 34621 | 20886 13474 69 | 9.194 % | c | 131261 | 4020 12739 34621 | 22974 11124 85 | 9.194 % | c =============================================================================== c New solution: 25 c Elapsed CPU time: 93.9297 s Remaining CPU time: 86.0703 s c =============================================================================== c | 144814 | 4020 12740 36757 | 5000 24677 85 | 9.194 % | c | 144914 | 4020 12740 36757 | 5500 2941 77 | 9.194 % | c | 145067 | 4020 12740 36757 | 6050 3094 75 | 9.194 % | c | 145292 | 4020 12740 36757 | 6655 3319 73 | 9.194 % | c | 145629 | 4020 12740 36757 | 7320 3656 70 | 9.194 % | c | 146135 | 4020 12740 36757 | 8052 4162 67 | 9.194 % | c | 146895 | 4020 12740 36757 | 8857 4922 64 | 9.194 % | c | 148034 | 4020 12740 36757 | 9743 6061 60 | 9.194 % | c | 149742 | 4020 12740 36757 | 10717 7769 61 | 9.194 % | c | 152304 | 4020 12740 36757 | 11789 10331 66 | 9.194 % | c | 156149 | 4020 12740 36757 | 12968 7359 70 | 9.194 % | c | 161921 | 4020 12740 36757 | 14265 13131 64 | 9.194 % | c | 170570 | 4020 12740 36757 | 15692 13964 61 | 9.194 % | c | 183545 | 4020 12740 36757 | 17261 9850 63 | 9.194 % | c | 203009 | 4020 12740 36757 | 18987 10390 58 | 9.194 % | c | 232202 | 4020 12740 36757 | 20886 19308 68 | 9.194 % | c There are 407 assigned variables. 165 in cost function. c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1171 13348 23161 | 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 | 1598 13349 24339 | 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 | 1802 13350 24763 | 5000 0 nan | 0.000 % | c | 101 | 1802 13350 24763 | 5500 101 45 | 64.681 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2603 13351 26859 | 5000 0 nan | 0.000 % | c | 101 | 2603 13351 26859 | 5500 101 104 | 52.326 % | c | 252 | 2603 13351 26859 | 6050 252 129 | 52.326 % | c | 480 | 2603 13351 26859 | 6655 480 159 | 52.326 % | c | 820 | 2603 13351 26859 | 7320 820 181 | 52.326 % | c | 1326 | 2603 13351 26859 | 8052 1326 183 | 52.326 % | c | 2085 | 2603 13351 26859 | 8857 2085 165 | 52.326 % | c | 3224 | 2603 13351 26859 | 9743 3224 140 | 52.326 % | c | 4935 | 2603 13351 26859 | 10717 4935 121 | 52.326 % | c | 7500 | 2603 13351 26859 | 11789 7500 111 | 52.326 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3343 13354 28490 | 5000 0 nan | 0.000 % | c | 100 | 3343 13354 28490 | 5500 100 119 | 45.224 % | c | 253 | 3343 13354 28490 | 6050 253 134 | 45.224 % | c | 478 | 3343 13354 28490 | 6655 478 128 | 45.224 % | c | 816 | 3343 13354 28490 | 7320 816 142 | 45.224 % | c | 1333 | 3343 13354 28490 | 8052 1333 158 | 45.224 % | c | 2092 | 3343 13354 28490 | 8857 2092 152 | 45.224 % | c | 3231 | 3343 13354 28490 | 9743 3231 143 | 45.224 % | c | 4939 | 3343 13354 28490 | 10717 4939 129 | 45.224 % | c | 7502 | 3343 13354 28490 | 11789 7502 133 | 45.224 % | c | 11346 | 3343 13354 28490 | 12968 11346 134 | 45.224 % | c | 17116 | 3343 13354 28490 | 14265 9082 124 | 45.224 % | c | 25765 | 3343 13354 28490 | 15692 17731 128 | 45.224 % | c | 38740 | 3343 13354 28490 | 17261 11836 115 | 45.224 % | c =============================================================================== c Total CPU time: 241.613 s