c wbo 1.4 beta - 20100610
c |  Number of variables:  240                                                  |
c |  Number of clauses:    1266                                                 |
c ============================[ Problem Statistics ]=============================
c |                                                                             |
c |  Parsing time:          0.00         s                                      |
c |  Number Variables:      240                                                 |
c |  Number Clauses:        1026                                                |
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 |     225     1035     3700 |     5000        0    nan |  0.000 % |
c |       100 |     225     1035     3700 |     5500      100      3 |  6.259 % |
c |       250 |     225     1035     3700 |     6050      250      3 |  6.252 % |
c |       475 |     225     1035     3700 |     6655      475      4 |  6.252 % |
c |       812 |     225     1035     3700 |     7320      812      8 |  6.252 % |
c |      1321 |     225     1035     3700 |     8052     1321     11 |  6.252 % |
c |      2080 |     225     1035     3700 |     8857     2080     14 |  6.255 % |
c |      3219 |     225     1035     3700 |     9743     3219     17 |  6.255 % |
c |      4927 |     225     1035     3700 |    10717     4927     19 |  6.252 % |
c |      7491 |     224     1035     3700 |    11789     3005     10 |  6.681 % |
c ===============================================================================
c New solution: 122
c Elapsed CPU time: 1.27581 s	Remaining CPU time: 178.724 s
c ===============================================================================
c |      9302 |     224     1036     3934 |     5000     4816     15 |  6.681 % |
c |      9402 |     224     1036     3934 |     5500     4916     15 |  6.675 % |
c |      9553 |     224     1036     3934 |     6050     5067     16 |  6.668 % |
c |      9779 |     224     1036     3934 |     6655     5293     16 |  6.681 % |
c |     10116 |     224     1036     3934 |     7320     5630     16 |  6.679 % |
c |     10623 |     224     1036     3934 |     8052     6137     17 |  6.672 % |
c ===============================================================================
c New solution: 121
c Elapsed CPU time: 1.61775 s	Remaining CPU time: 178.382 s
c ===============================================================================
c |     10973 |     224     1037     4168 |     5000     6487     18 |  6.672 % |
c |     11074 |     224     1037     4168 |     5500     3345     15 |  6.668 % |
c |     11224 |     224     1037     4168 |     6050     3495     15 |  6.668 % |
c |     11450 |     224     1037     4168 |     6655     3721     16 |  6.668 % |
c |     11787 |     224     1037     4168 |     7320     4058     17 |  6.682 % |
c |     12294 |     224     1037     4168 |     8052     4565     17 |  6.675 % |
c |     13053 |     224     1037     4168 |     8857     5324     19 |  6.674 % |
c |     14193 |     224     1037     4168 |     9743     6464     20 |  6.670 % |
c |     15902 |     221     1037     4168 |    10717     5997     18 |  7.918 % |
c ===============================================================================
c Total CPU time: 2.77958 s