c wbo 1.4 beta - 20100610 c | Number of variables: 158 | c | Number of clauses: 5742 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 158 | c | Number Clauses: 5584 | 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 | 158 5584 11168 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 103696 c Elapsed CPU time: 0.012998 s Remaining CPU time: 179.987 s c =============================================================================== c | 0 | 158 5585 11326 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 103646 c Elapsed CPU time: 0.012998 s Remaining CPU time: 179.987 s c =============================================================================== c | 0 | 158 5586 11484 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 102472 c Elapsed CPU time: 0.025996 s Remaining CPU time: 179.974 s c =============================================================================== c | 51 | 158 5587 11642 | 5000 51 131 | 0.000 % | c =============================================================================== c New solution: 102422 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s c =============================================================================== c | 51 | 158 5588 11800 | 5000 51 131 | 0.000 % | c | 179 | 158 5588 11800 | 5500 179 133 | 0.004 % | c =============================================================================== c New solution: 101450 c Elapsed CPU time: 0.074988 s Remaining CPU time: 179.925 s c =============================================================================== c | 201 | 158 5589 11958 | 5000 201 134 | 0.004 % | c =============================================================================== c New solution: 101400 c Elapsed CPU time: 0.077988 s Remaining CPU time: 179.922 s c =============================================================================== c | 212 | 158 5590 12116 | 5000 212 135 | 0.004 % | c | 314 | 158 5590 12116 | 5500 314 137 | 0.004 % | c | 467 | 158 5590 12116 | 6050 467 139 | 0.004 % | c | 692 | 158 5590 12116 | 6655 692 139 | 0.004 % | c | 1036 | 158 5590 12116 | 7320 1036 139 | 0.004 % | c | 1549 | 158 5590 12116 | 8052 1549 140 | 0.004 % | c | 2308 | 158 5590 12116 | 8857 2308 139 | 0.004 % | c | 3447 | 158 5590 12116 | 9743 3447 139 | 0.004 % | c | 5160 | 158 5590 12116 | 10717 5160 139 | 0.004 % | c | 7726 | 158 5590 12116 | 11789 7726 141 | 0.004 % | c | 11572 | 158 5590 12116 | 12968 11572 140 | 0.004 % | c | 17343 | 158 5590 12116 | 14265 10797 139 | 0.004 % | c | 26019 | 158 5590 12116 | 15692 12267 138 | 0.004 % | c | 39001 | 158 5590 12116 | 17261 9418 135 | 0.004 % | c | 58484 | 158 5590 12116 | 18987 11499 140 | 0.004 % | c =============================================================================== c Total CPU time: 106.588 s