c wbo 1.4 beta - 20100610
c |  Number of variables:  150                                                  |
c |  Number of clauses:    5067                                                 |
c ============================[ Problem Statistics ]=============================
c |                                                                             |
c |  Parsing time:          0.00         s                                      |
c |  Number Variables:      150                                                 |
c |  Number Clauses:        4917                                                |
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 |     150     4917     9834 |     5000        0    nan |  0.000 % |
c ===============================================================================
c New solution: 142
c Elapsed CPU time: 0.013997 s	Remaining CPU time: 179.986 s
c ===============================================================================
c |         0 |     150     4918     9984 |     5000        0    nan |  0.000 % |
c ===============================================================================
c New solution: 141
c Elapsed CPU time: 0.013997 s	Remaining CPU time: 179.986 s
c ===============================================================================
c |         1 |     150     4919    10134 |     5000        1    141 |  0.000 % |
c ===============================================================================
c New solution: 140
c Elapsed CPU time: 0.014997 s	Remaining CPU time: 179.985 s
c ===============================================================================
c |        12 |     150     4920    10284 |     5000       12    137 |  0.000 % |
c |       112 |     150     4920    10284 |     5500      112    134 |  0.286 % |
c |       263 |     150     4920    10284 |     6050      263    134 |  0.295 % |
c |       489 |     150     4920    10284 |     6655      489    134 |  0.308 % |
c |       826 |     150     4920    10284 |     7320      826    134 |  0.285 % |
c ===============================================================================
c New solution: 139
c Elapsed CPU time: 0.091986 s	Remaining CPU time: 179.908 s
c ===============================================================================
c |       835 |     150     4921    10434 |     5000      835    135 |  0.285 % |
c |       935 |     150     4921    10434 |     5500      935    134 |  0.290 % |
c |      1085 |     150     4921    10434 |     6050     1085    134 |  0.321 % |
c |      1310 |     150     4921    10434 |     6655     1310    134 |  0.308 % |
c |      1647 |     150     4921    10434 |     7320     1647    134 |  0.268 % |
c |      2153 |     150     4921    10434 |     8052     2153    133 |  0.290 % |
c |      2912 |     150     4921    10434 |     8857     2912    133 |  0.281 % |
c |      4052 |     150     4921    10434 |     9743     4052    133 |  0.299 % |
c |      5760 |     150     4921    10434 |    10717     5760    133 |  0.295 % |
c |      8322 |     150     4921    10434 |    11789     8322    133 |  0.299 % |
c |     12166 |     150     4921    10434 |    12968     6213    132 |  0.393 % |
c |     17932 |     150     4921    10434 |    14265    11979    132 |  0.299 % |
c |     26581 |     148     4921    10434 |    15692    13322    132 |  1.615 % |
c |     39556 |     147     4921    10434 |    17261    10480    132 |  2.410 % |
c |     59017 |     144     4921    10434 |    18987    12577    131 |  4.436 % |
c |     88210 |     137     4921    10434 |    20886    13146    132 |  9.032 % |
c |    131999 |     125     4921    10434 |    22974    14978    132 | 16.956 % |
c There are 36 assigned variables. 36 in cost function.
c Memory used           : 102.34 MB
c CPU time              : 180.177 s
c 
c Total CPU time: 180.177 s