c wbo 1.4a beta - 20100425
c |  Number of variables:  203287                                               |
c |  Number of clauses:    570325                                               |
c ============================[ Problem Statistics ]=============================
c |                                                                             |
c |  Parsing time:          0.38         s                                      |
c |  Number Variables:      203287                                              |
c |  Number Clauses:        570325                                              |
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 |  160459   570368  1241333 |   190122        0    nan |  0.000 % |
c ===============================================================================
c ============================[ Search Statistics ]==============================
c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
c ===============================================================================
c |         0 |  167700   570369  1243357 |   190123        0    nan |  0.000 % |
c |       102 |  167700   570369  1243357 |   209135      102   2965 | 38.621 % |
c |       258 |  167700   570369  1243357 |   230048      258   5118 | 39.038 % |
c ===============================================================================
c ============================[ Search Statistics ]==============================
c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
c ===============================================================================
c |         0 |  261076   570370  1378894 |   190123        0    nan |  0.000 % |
c |       100 |  261076   570370  1378894 |   209135      100    131 | 11.937 % |
c |       250 |  261076   570370  1378894 |   230049      250   2969 | 11.937 % |
c |       475 |  259899   570370  1378894 |   253054      456   1787 | 12.334 % |
c |       814 |  259869   570370  1378894 |   278359      776   1611 | 12.344 % |
c |      1320 |  259864   570370  1378894 |   306195     1268   2366 | 12.346 % |
c Memory used           : 114.96 MB
c CPU time              : 1818.4 s
c 
c Total CPU time: 1818.4 s