c wbo 1.4 beta - 20100610 c | Number of variables: 1842 | c | Number of clauses: 11850 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.01 s | c | Number Variables: 1842 | c | Number Clauses: 11405 | 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 | 1026 12090 31561 | 5000 0 nan | 0.000 % | c | 101 | 1026 12090 31561 | 5500 101 8 | 44.300 % | c =============================================================================== c New solution: 2235 c Elapsed CPU time: 6.79597 s Remaining CPU time: 173.204 s c =============================================================================== c | 128 | 1026 12091 32004 | 5000 128 8 | 44.300 % | c =============================================================================== c New solution: 2035 c Elapsed CPU time: 6.79897 s Remaining CPU time: 173.201 s c =============================================================================== c | 139 | 1026 12092 32447 | 5000 139 9 | 44.300 % | c =============================================================================== c New solution: 1305 c Elapsed CPU time: 6.80297 s Remaining CPU time: 173.197 s c =============================================================================== c | 145 | 1026 12093 32890 | 5000 145 9 | 44.300 % | c =============================================================================== c New solution: 1265 c Elapsed CPU time: 6.80597 s Remaining CPU time: 173.194 s c =============================================================================== c | 155 | 1026 12094 33333 | 5000 155 10 | 44.300 % | c =============================================================================== c New solution: 1225 c Elapsed CPU time: 6.81496 s Remaining CPU time: 173.185 s c =============================================================================== c | 217 | 1026 12095 33776 | 5000 217 12 | 44.300 % | c =============================================================================== c New solution: 1215 c Elapsed CPU time: 6.81996 s Remaining CPU time: 173.18 s c =============================================================================== c | 248 | 1026 12096 34219 | 5000 248 13 | 44.300 % | c =============================================================================== c New solution: 1175 c Elapsed CPU time: 6.82396 s Remaining CPU time: 173.176 s c =============================================================================== c | 260 | 1026 12097 34662 | 5000 260 13 | 44.300 % | c =============================================================================== c New solution: 1135 c Elapsed CPU time: 6.82996 s Remaining CPU time: 173.17 s c =============================================================================== c | 281 | 1026 12098 35105 | 5000 281 14 | 44.300 % | c =============================================================================== c New solution: 1095 c Elapsed CPU time: 6.83496 s Remaining CPU time: 173.165 s c =============================================================================== c | 309 | 1026 12099 35548 | 5000 309 15 | 44.300 % | c =============================================================================== c New solution: 1055 c Elapsed CPU time: 6.84396 s Remaining CPU time: 173.156 s c =============================================================================== c | 367 | 1026 12100 35991 | 5000 367 17 | 44.300 % | c | 467 | 1026 12100 35991 | 5500 467 17 | 44.304 % | c | 618 | 1026 12100 35991 | 6050 618 18 | 44.304 % | c | 843 | 1026 12100 35991 | 6655 843 18 | 44.304 % | c | 1181 | 1025 12100 35991 | 7320 1178 18 | 44.354 % | c | 1687 | 1024 12100 35991 | 8052 1684 20 | 44.418 % | c | 2446 | 988 12100 35991 | 8857 412 14 | 56.953 % | c =============================================================================== c Total CPU time: 7.18491 s