c wbo 1.4 beta - 20100610 c | Number of variables: 119 | c | Number of clauses: 3310 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 119 | c | Number Clauses: 3191 | 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 | 119 3191 6382 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 40940 c Elapsed CPU time: 0.009998 s Remaining CPU time: 179.99 s c =============================================================================== c | 0 | 119 3192 6501 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 40619 c Elapsed CPU time: 0.009998 s Remaining CPU time: 179.99 s c =============================================================================== c | 0 | 119 3193 6620 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 39907 c Elapsed CPU time: 0.013997 s Remaining CPU time: 179.986 s c =============================================================================== c | 34 | 119 3194 6739 | 5000 34 101 | 0.000 % | c =============================================================================== c New solution: 39856 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 71 | 119 3195 6858 | 5000 71 100 | 0.000 % | c =============================================================================== c New solution: 39753 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 75 | 119 3196 6977 | 5000 75 100 | 0.000 % | c =============================================================================== c New solution: 39548 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 77 | 119 3197 7096 | 5000 77 100 | 0.000 % | c =============================================================================== c New solution: 39497 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 93 | 119 3198 7215 | 5000 93 100 | 0.000 % | c | 194 | 119 3198 7215 | 5500 194 104 | 0.007 % | c =============================================================================== c New solution: 39432 c Elapsed CPU time: 0.039993 s Remaining CPU time: 179.96 s c =============================================================================== c | 219 | 119 3199 7334 | 5000 219 105 | 0.007 % | c =============================================================================== c New solution: 39227 c Elapsed CPU time: 0.040993 s Remaining CPU time: 179.959 s c =============================================================================== c | 220 | 119 3200 7453 | 5000 220 105 | 0.007 % | c | 327 | 119 3200 7453 | 5500 327 105 | 0.007 % | c | 477 | 119 3200 7453 | 6050 477 105 | 0.007 % | c | 702 | 119 3200 7453 | 6655 702 105 | 0.007 % | c | 1046 | 119 3200 7453 | 7320 1046 105 | 0.007 % | c | 1554 | 119 3200 7453 | 8052 1554 105 | 0.007 % | c | 2315 | 119 3200 7453 | 8857 2315 105 | 0.007 % | c | 3456 | 119 3200 7453 | 9743 3456 104 | 0.007 % | c | 5164 | 119 3200 7453 | 10717 5164 104 | 0.007 % | c | 7731 | 119 3200 7453 | 11789 7731 105 | 0.007 % | c | 11577 | 119 3200 7453 | 12968 11577 103 | 0.007 % | c | 17343 | 119 3200 7453 | 14265 10810 100 | 0.007 % | c =============================================================================== c Total CPU time: 24.7792 s