c wbo 1.4 beta - 20100610
c |  Number of variables:  100                                                  |
c |  Number of clauses:    200                                                  |
c ============================[ Problem Statistics ]=============================
c |                                                                             |
c |  Parsing time:          0.00         s                                      |
c |  Number Variables:      100                                                 |
c |  Number Clauses:        100                                                 |
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 |     100      100     5000 |     5000        0    nan |  0.000 % |
c ===============================================================================
c New solution: 6
c Elapsed CPU time: 0.002999 s	Remaining CPU time: 179.997 s
c ===============================================================================
c |         0 |     100      101     5100 |     5000        0    nan |  0.000 % |
c ===============================================================================
c New solution: 5
c Elapsed CPU time: 0.002999 s	Remaining CPU time: 179.997 s
c ===============================================================================
c |         7 |     100      102     5200 |     5000        7     79 |  0.000 % |
c |       109 |     100      102     5200 |     5500      109     75 |  0.010 % |
c |       260 |     100      102     5200 |     6050      260     77 |  0.010 % |
c |       485 |     100      102     5200 |     6655      485     76 |  0.010 % |
c ===============================================================================
c New solution: 4
c Elapsed CPU time: 0.029995 s	Remaining CPU time: 179.97 s
c ===============================================================================
c |       532 |     100      103     5300 |     5000      532     76 |  0.010 % |
c |       634 |     100      103     5300 |     5500      634     75 |  0.010 % |
c |       785 |     100      103     5300 |     6050      785     75 |  0.010 % |
c |      1010 |     100      103     5300 |     6655     1010     73 |  0.010 % |
c |      1349 |     100      103     5300 |     7320     1349     72 |  0.010 % |
c |      1857 |     100      103     5300 |     8052     1857     71 |  0.010 % |
c |      2619 |     100      103     5300 |     8857     2619     71 |  0.010 % |
c |      3760 |     100      103     5300 |     9743     3760     70 |  0.010 % |
c |      5471 |     100      103     5300 |    10717     5471     70 |  0.010 % |
c |      8033 |     100      103     5300 |    11789     8033     70 |  0.010 % |
c |     11885 |     100      103     5300 |    12968     5953     68 |  0.010 % |
c |     17658 |     100      103     5300 |    14265    11726     67 |  0.010 % |
c |     26307 |     100      103     5300 |    15692    13206     65 |  0.010 % |
c |     39287 |     100      103     5300 |    17261    10420     64 |  0.010 % |
c |     58748 |     100      103     5300 |    18987    12567     60 |  0.010 % |
c |     87944 |     100      103     5300 |    20886    13188     56 |  0.010 % |
c |    131735 |     100      103     5300 |    22974    15107     47 |  0.010 % |
c ===============================================================================
c Total CPU time: 43.6744 s