c wbo 1.4 beta - 20100610 c | Number of variables: 2479 | c | Number of clauses: 1785 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 2479 | c | Number Clauses: 718 | 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 | 2450 718 19693 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 81 c Elapsed CPU time: 0.010998 s Remaining CPU time: 179.989 s c =============================================================================== c | 0 | 2450 719 20760 | 5000 0 nan | 0.000 % | c | 101 | 2450 719 20760 | 5500 101 111 | 1.170 % | c | 251 | 2450 719 20760 | 6050 251 111 | 1.170 % | c | 476 | 2450 719 20760 | 6655 476 118 | 1.170 % | c | 813 | 2450 719 20760 | 7320 813 119 | 1.170 % | c | 1319 | 2450 719 20760 | 8052 1319 122 | 1.170 % | c | 2078 | 2450 719 20760 | 8857 2078 117 | 1.170 % | c | 3217 | 2450 719 20760 | 9743 3217 123 | 1.170 % | c | 4925 | 2450 719 20760 | 10717 4925 133 | 1.170 % | c | 7487 | 2450 719 20760 | 11789 7487 126 | 1.170 % | c | 11331 | 2450 719 20760 | 12968 11331 129 | 1.170 % | c | 17100 | 2450 719 20760 | 14265 10246 126 | 1.170 % | c | 25750 | 2450 719 20760 | 15692 11419 120 | 1.170 % | c | 38725 | 2450 719 20760 | 17261 16211 142 | 1.170 % | c | 58193 | 2450 719 20760 | 18987 17720 112 | 1.170 % | c | 87385 | 2450 719 20760 | 20886 16073 134 | 1.170 % | c | 131178 | 2450 719 20760 | 22974 14474 117 | 1.170 % | c | 196864 | 2450 719 20760 | 25272 24444 118 | 1.170 % | c | 295390 | 2450 719 20760 | 27799 15104 136 | 1.170 % | c | 443180 | 2450 719 20760 | 30579 17372 125 | 1.170 % | c There are 29 assigned variables. 29 in cost function. c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2211 1786 22181 | 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 | 2300 1787 22455 | 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 | 2384 1788 22590 | 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 | 2564 1789 22982 | 5000 0 nan | 0.000 % | c | 101 | 2560 1789 22982 | 5500 101 24 | 17.366 % | c | 252 | 2560 1789 22982 | 6050 252 49 | 17.366 % | c | 482 | 2558 1789 22982 | 6655 478 55 | 17.431 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3099 1790 24414 | 5000 0 nan | 0.000 % | c | 101 | 3095 1790 24414 | 5500 101 27 | 9.951 % | c | 253 | 3095 1790 24414 | 6050 251 37 | 10.009 % | c | 478 | 3093 1790 24414 | 6655 475 47 | 10.009 % | c | 815 | 3093 1790 24414 | 7320 812 49 | 10.009 % | c | 1321 | 3092 1790 24414 | 8052 877 55 | 10.038 % | c | 2080 | 3092 1790 24414 | 8857 1636 86 | 10.038 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3685 1791 25483 | 5000 0 nan | 0.000 % | c | 100 | 3685 1791 25483 | 5500 100 48 | 5.995 % | c | 250 | 3685 1791 25483 | 6050 250 44 | 5.995 % | c | 475 | 3685 1791 25483 | 6655 475 50 | 5.995 % | c | 812 | 3685 1791 25483 | 7320 812 58 | 5.995 % | c | 1318 | 3685 1791 25483 | 8052 1318 72 | 5.995 % | c | 2078 | 3685 1791 25483 | 8857 2078 68 | 5.995 % | c | 3217 | 3685 1791 25483 | 9743 3217 72 | 5.995 % | c | 4925 | 3685 1791 25483 | 10717 4925 82 | 5.995 % | c | 7488 | 3685 1791 25483 | 11789 7488 104 | 5.995 % | c | 11334 | 3685 1791 25483 | 12968 11334 129 | 5.995 % | c | 17100 | 3685 1791 25483 | 14265 10350 171 | 5.995 % | c | 25750 | 3685 1791 25483 | 15692 11619 200 | 5.995 % | c | 38724 | 3685 1791 25483 | 17261 8221 194 | 5.995 % | c | 58185 | 3685 1791 25483 | 18987 10037 150 | 5.995 % | c | 87380 | 3685 1791 25483 | 20886 19832 233 | 5.995 % |