c wbo 1.6 beta - 20110325
c |  Number of variables:  106128                                               |
c |  Number of clauses:    397650                                               |
c ============================[ Problem Statistics ]=============================
c |                                                                             |
c |  Parsing time:          0.45         s                                      |
c |  Number Variables:      502644                                              |
c |  Number Clauses:        396516                                              |
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 |  502644   396516  1467288 |   132172        0   -nan |  0.000 % |
c ============================[ Search Statistics ]==============================
c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
c ===============================================================================
c |         0 |   86348   794168  1192883 |   264722        0   -nan |  0.000 % |
c |       100 |   86344   794168  1192883 |   291194      100     54 | 82.959 % |
c |       251 |   86275   794168  1192883 |   320314      251     63 | 83.164 % |
c |       476 |   86272   794168  1192883 |   352345      476     99 | 83.164 % |
c |       814 |   86272   794168  1192883 |   387580      814     74 | 83.164 % |
c |      1320 |   85188   794168  1192883 |   426338     1320     57 | 83.311 % |
c |      2079 |   83556   794168  1192883 |   468972     2079     50 | 83.640 % |
c ===============================================================================
c Total CPU time: 9.80651 s