c wbo 1.4 beta - 20100610
c |  Number of variables:  125                                                  |
c |  Number of clauses:    3799                                                 |
c ============================[ Problem Statistics ]=============================
c |                                                                             |
c |  Parsing time:          0.00         s                                      |
c |  Number Variables:      125                                                 |
c |  Number Clauses:        3674                                                |
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 |     125     3674     7348 |     5000        0    nan |  0.000 % |
c ===============================================================================
c New solution: 79789
c Elapsed CPU time: 0.010998 s	Remaining CPU time: 179.989 s
c ===============================================================================
c |         0 |     125     3675     7473 |     5000        0    nan |  0.000 % |
c ===============================================================================
c New solution: 78664
c Elapsed CPU time: 0.011998 s	Remaining CPU time: 179.988 s
c ===============================================================================
c |         0 |     125     3676     7598 |     5000        0    nan |  0.000 % |
c ===============================================================================
c New solution: 78530
c Elapsed CPU time: 0.020996 s	Remaining CPU time: 179.979 s
c ===============================================================================
c |        49 |     125     3677     7723 |     5000       49     99 |  0.000 % |
c |       187 |     125     3677     7723 |     5500      187     99 |  0.006 % |
c ===============================================================================
c New solution: 78163
c Elapsed CPU time: 0.06399 s	Remaining CPU time: 179.936 s
c ===============================================================================
c |       234 |     125     3678     7848 |     5000      234    101 |  0.006 % |
c ===============================================================================
c New solution: 78081
c Elapsed CPU time: 0.084987 s	Remaining CPU time: 179.915 s
c ===============================================================================
c |       318 |     125     3679     7973 |     5000      318    100 |  0.006 % |
c ===============================================================================
c New solution: 78029
c Elapsed CPU time: 0.084987 s	Remaining CPU time: 179.915 s
c ===============================================================================
c |       318 |     125     3680     8098 |     5000      318    100 |  0.006 % |
c |       445 |     125     3680     8098 |     5500      445    103 |  0.006 % |
c |       611 |     125     3680     8098 |     6050      611    104 |  0.006 % |
c |       844 |     125     3680     8098 |     6655      844    106 |  0.006 % |
c |      1182 |     125     3680     8098 |     7320     1182    107 |  0.006 % |
c |      1698 |     125     3680     8098 |     8052     1698    108 |  0.006 % |
c |      2458 |     125     3680     8098 |     8857     2458    109 |  0.006 % |
c |      3624 |     125     3680     8098 |     9743     3624    110 |  0.006 % |
c |      5350 |     125     3680     8098 |    10717     5350    110 |  0.006 % |
c |      7918 |     125     3680     8098 |    11789     7918    110 |  0.006 % |
c |     11765 |     125     3680     8098 |    12968    11765    110 |  0.006 % |
c |     17535 |     125     3680     8098 |    14265    10990    110 |  0.006 % |
c |     26196 |     125     3680     8098 |    15692    12472    108 |  0.006 % |
c ===============================================================================
c Total CPU time: 38.1352 s