c wbo 1.4a beta - 20100425
c |  Number of variables:  228874                                               |
c |  Number of clauses:    750705                                               |
c ============================[ Problem Statistics ]=============================
c |                                                                             |
c |  Parsing time:          10.29        s                                      |
c |  Number Variables:      228874                                              |
c |  Number Clauses:        750705                                              |
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 |  243212   750706  1913523 |   250235        0    nan |  0.000 % |
c |       100 |  243212   750706  1913523 |   275258      100     11 |  2.631 % |
c |       250 |  243207   750706  1913523 |   302784      233     17 |  2.633 % |
c ===============================================================================
c ============================[ Search Statistics ]==============================
c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
c ===============================================================================
c |         0 |  245173   750707  1919082 |   250235        0    nan |  0.000 % |
c |       100 |  245173   750707  1919082 |   275259      100     65 |  2.552 % |
c |       253 |  245173   750707  1919082 |   302785      253     87 |  2.552 % |
c |       478 |  245173   750707  1919082 |   333063      478    125 |  2.552 % |
c |       815 |  245148   750707  1919082 |   366370      814    422 |  2.562 % |
c |      1321 |  245148   750707  1919082 |   403007     1320    351 |  2.562 % |
c |      2081 |  245148   750707  1919082 |   443307     2080    316 |  2.562 % |
c |      3222 |  245148   750707  1919082 |   487638     3221    259 |  2.562 % |
c |      4933 |  245145   750707  1919082 |   536402     2933    237 |  2.563 % |
c |      7495 |  245143   750707  1919082 |   590042     4998    180 |  2.564 % |
c |     11339 |  245134   750707  1919082 |   649046     6486    158 |  2.568 % |
c |     17106 |  245134   750707  1919082 |   713951    12253    249 |  2.568 % |
c ===============================================================================
c Total CPU time: 663.351 s