c wbo 1.4 beta - 20100610 c | Number of variables: 142 | c | Number of clauses: 4979 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 142 | c | Number Clauses: 4837 | 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 | 142 4837 9674 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 164756 c Elapsed CPU time: 0.013997 s Remaining CPU time: 179.986 s c =============================================================================== c | 0 | 142 4838 9816 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 163610 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s c =============================================================================== c | 0 | 142 4839 9958 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 163045 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 26 | 142 4840 10100 | 5000 26 128 | 0.000 % | c =============================================================================== c New solution: 161899 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 26 | 142 4841 10242 | 5000 26 128 | 0.000 % | c | 126 | 142 4841 10242 | 5500 126 130 | 0.005 % | c =============================================================================== c New solution: 161231 c Elapsed CPU time: 0.046992 s Remaining CPU time: 179.953 s c =============================================================================== c | 256 | 142 4842 10384 | 5000 256 131 | 0.005 % | c | 362 | 142 4842 10384 | 5500 362 130 | 0.005 % | c | 514 | 142 4842 10384 | 6050 514 131 | 0.005 % | c | 742 | 142 4842 10384 | 6655 742 131 | 0.005 % | c | 1093 | 142 4842 10384 | 7320 1093 131 | 0.005 % | c | 1601 | 142 4842 10384 | 8052 1601 131 | 0.005 % | c | 2360 | 142 4842 10384 | 8857 2360 131 | 0.005 % | c | 3503 | 142 4842 10384 | 9743 3503 131 | 0.005 % | c | 5214 | 142 4842 10384 | 10717 5214 131 | 0.005 % | c | 7790 | 142 4842 10384 | 11789 7790 131 | 0.005 % | c | 11643 | 142 4842 10384 | 12968 11643 131 | 0.005 % | c | 17410 | 142 4842 10384 | 14265 10858 129 | 0.005 % | c | 26059 | 142 4842 10384 | 15692 12311 126 | 0.005 % | c | 39034 | 142 4842 10384 | 17261 9494 125 | 0.005 % | c =============================================================================== c Total CPU time: 68.1276 s