c wbo 1.6 beta - 20110325
c |  Number of variables:  6789                                                 |
c |  Number of clauses:    30460                                                |
c ============================[ Problem Statistics ]=============================
c |                                                                             |
c |  Parsing time:          0.02         s                                      |
c |  Number Variables:      6789                                                |
c |  Number Clauses:        30396                                               |
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 |    6649    30396    75995 |    10132        0   -nan |  0.000 % |
c ============================[ Search Statistics ]==============================
c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
c ===============================================================================
c |         0 |    4500    29028    60713 |     9676        0   -nan |  0.000 % |
c ===============================================================================
c ============================[ Search Statistics ]==============================
c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
c ===============================================================================
c |         0 |    6731    29029    75738 |     9676        0   -nan |  0.000 % |
c |       100 |    6731    29029    75738 |    10643      100    131 |  2.038 % |
c |       250 |    6669    29029    75738 |    11708      250     70 |  2.954 % |
c ===============================================================================
c ============================[ Search Statistics ]==============================
c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
c ===============================================================================
c |         0 |    6793    29055    75918 |     9685        0   -nan |  0.000 % |
c |       102 |    6793    29055    75918 |    10653      102    143 |  2.019 % |
c |       252 |    6792    29055    75918 |    11718      252     82 |  2.034 % |
c ===============================================================================
c Total CPU time: 0.683896 s