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 |         2 |     150     4919    10134 |     5000        2    140 |  0.000 % |
c ===============================================================================
c New solution: 140
c Elapsed CPU time: 0.014997 s	Remaining CPU time: 179.985 s
c ===============================================================================
c |        17 |     150     4920    10284 |     5000       17    137 |  0.000 % |
c |       117 |     150     4920    10284 |     5500      117    135 |  0.286 % |
c |       268 |     150     4920    10284 |     6050      268    134 |  0.330 % |
c |       494 |     150     4920    10284 |     6655      494    134 |  0.281 % |
c |       832 |     150     4920    10284 |     7320      832    134 |  0.259 % |
c |      1338 |     150     4920    10284 |     8052     1338    134 |  0.335 % |
c ===============================================================================
c New solution: 139
c Elapsed CPU time: 0.173973 s	Remaining CPU time: 179.826 s
c ===============================================================================
c |      1422 |     150     4921    10434 |     5000     1422    134 |  0.335 % |
c |      1522 |     150     4921    10434 |     5500     1522    134 |  0.312 % |
c |      1672 |     150     4921    10434 |     6050     1672    134 |  0.290 % |
c |      1898 |     150     4921    10434 |     6655     1898    134 |  0.379 % |
c |      2235 |     150     4921    10434 |     7320     2235    134 |  0.352 % |
c |      2742 |     150     4921    10434 |     8052     2742    134 |  0.299 % |
c |      3501 |     150     4921    10434 |     8857     3501    133 |  0.365 % |
c |      4641 |     150     4921    10434 |     9743     4641    133 |  0.260 % |
c |      6349 |     150     4921    10434 |    10717     6349    133 |  0.339 % |
c |      8912 |     150     4921    10434 |    11789     8912    133 |  0.255 % |
c |     12756 |     150     4921    10434 |    12968     6811    132 |  0.525 % |
c |     18522 |     149     4921    10434 |    14265    12533    132 |  0.988 % |
c |     27172 |     147     4921    10434 |    15692    13988    132 |  2.321 % |
c |     40146 |     145     4921    10434 |    17261    11138    132 |  3.641 % |
c |     59607 |     142     4921    10434 |    18987    13232    132 |  5.730 % |
c |     88799 |     137     4921    10434 |    20886    13789    132 |  9.036 % |
c ===============================================================================
c New solution: 138
c Elapsed CPU time: 80.4378 s	Remaining CPU time: 99.5622 s
c ===============================================================================
c |     95427 |     135     4922    10584 |     5000    20417    132 |  9.036 % |
c |     95528 |     135     4922    10584 |     5500     2675    131 | 10.286 % |
c |     95678 |     135     4922    10584 |     6050     2825    131 | 10.299 % |
c |     95903 |     135     4922    10584 |     6655     3050    131 | 10.272 % |
c |     96241 |     135     4922    10584 |     7320     3388    132 | 10.236 % |
c |     96747 |     135     4922    10584 |     8052     3894    131 | 10.268 % |
c |     97507 |     135     4922    10584 |     8857     4654    132 | 10.299 % |
c |     98647 |     135     4922    10584 |     9743     5794    132 | 10.334 % |
c |    100356 |     135     4922    10584 |    10717     7503    131 | 10.246 % |
c |    102919 |     135     4922    10584 |    11789    10066    131 | 10.237 % |
c |    106764 |     135     4922    10584 |    12968     7967    131 | 10.334 % |
c |    112531 |     134     4922    10584 |    14265     7201    130 | 10.975 % |
c |    121180 |     131     4922    10584 |    15692     8669    130 | 12.965 % |
c |    134155 |     128     4922    10584 |    17261    13758    131 | 15.058 % |
c |    153616 |     118     4922    10584 |    18987    15886    130 | 21.570 % |
c |    182808 |     102     4922    10584 |    20886    16519    131 | 32.254 % |
c There are 69 assigned variables. 69 in cost function.
c Memory used           : 122.18 MB
c CPU time              : 180.212 s
c 
c Total CPU time: 180.212 s