c wbo 1.4 beta - 20100610
c |  Number of variables:  203287                                               |
c |  Number of clauses:    570325                                               |
c ============================[ Problem Statistics ]=============================
c |                                                                             |
c |  Parsing time:          0.41         s                                      |
c |  Number Variables:      203287                                              |
c |  Number Clauses:        469077                                              |
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 |  203273   469088  1205825 |   156359        0    nan |  0.000 % |
c ===============================================================================
c New solution: 58
c Elapsed CPU time: 4.14637 s	Remaining CPU time: 175.854 s
c ===============================================================================
c |         3 |  203273   469089  1307073 |   156363        3   2386 |  0.000 % |
c |       105 |  203273   469089  1307073 |   171999      105    163 |  0.007 % |
c |       255 |  203273   469089  1307073 |   189199      255    167 |  0.007 % |
c |       480 |  203273   469089  1307073 |   208119      480    207 |  0.007 % |
c |       817 |  203273   469089  1307073 |   228931      817    230 |  0.007 % |
c |      1323 |  203273   469089  1307073 |   251824     1323    225 |  0.007 % |
c |      2082 |  203273   469089  1307073 |   277006     2082    229 |  0.007 % |
c |      3222 |  203273   469089  1307073 |   304707     3222    176 |  0.007 % |
c There are 14 assigned variables. 3 in cost function.
c ============================[ Search Statistics ]==============================
c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
c ===============================================================================
c |         0 |  160448   570353  1443773 |   190117        0    nan |  0.000 % |
c ===============================================================================
c ============================[ Search Statistics ]==============================
c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
c ===============================================================================
c |         0 |  163264   570354  1443953 |   190118        0    nan |  0.000 % |
c |       100 |  163249   570354  1443953 |   209129       85   8229 | 40.195 % |
c |       250 |  162642   570354  1443953 |   230042      155   5590 | 40.417 % |
c |       475 |  162573   570354  1443953 |   253047      310   3868 | 40.443 % |
c |       813 |  162428   570354  1443953 |   278351      492   4963 | 40.495 % |
c ===============================================================================
c ============================[ Search Statistics ]==============================
c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
c ===============================================================================
c |         0 |  275877   570355  1621208 |   190118        0    nan |  0.000 % |
c |       100 |  275877   570355  1621208 |   209130      100   7126 |  8.887 % |
c Memory used           : 168.16 MB
c CPU time              : 1904.67 s
c 
c Total CPU time: 1904.74 s