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     3644 |     5000        0    nan |  0.000 % |
c |       100 |     225     1035     3644 |     5500      100      3 |  6.252 % |
c |       250 |     225     1035     3644 |     6050      250      3 |  6.260 % |
c |       475 |     225     1035     3644 |     6655      475      5 |  6.252 % |
c |       812 |     225     1035     3644 |     7320      812      7 |  6.259 % |
c |      1319 |     225     1035     3644 |     8052     1319     11 |  6.252 % |
c |      2081 |     225     1035     3644 |     8857     2081     14 |  6.260 % |
c |      3220 |     225     1035     3644 |     9743     3220     17 |  6.252 % |
c |      4928 |     225     1035     3644 |    10717     4928     18 |  6.259 % |
c |      7490 |     225     1035     3644 |    11789     7490     20 |  6.252 % |
c |     11334 |     224     1035     3644 |    12968     8312     19 |  6.679 % |
c ===============================================================================
c New solution: 118
c Elapsed CPU time: 2.09668 s	Remaining CPU time: 177.903 s
c ===============================================================================
c |     12003 |     224     1036     3878 |     5000     8981     19 |  6.679 % |
c |     12103 |     224     1036     3878 |     5500     4591     14 |  6.689 % |
c |     12253 |     224     1036     3878 |     6050     4741     14 |  6.669 % |
c ===============================================================================
c New solution: 116
c Elapsed CPU time: 2.17567 s	Remaining CPU time: 177.824 s
c ===============================================================================
c |     12340 |     224     1037     4112 |     5000     4828     15 |  6.669 % |
c ===============================================================================
c New solution: 115
c Elapsed CPU time: 2.19367 s	Remaining CPU time: 177.806 s
c ===============================================================================
c |     12434 |     224     1038     4346 |     5000     4922     15 |  6.669 % |
c |     12534 |     224     1038     4346 |     5500     5022     15 |  6.682 % |
c |     12685 |     224     1038     4346 |     6050     5173     15 |  6.674 % |
c ===============================================================================
c New solution: 114
c Elapsed CPU time: 2.27665 s	Remaining CPU time: 177.723 s
c ===============================================================================
c |     12847 |     224     1039     4580 |     5000     5335     16 |  6.674 % |
c ===============================================================================
c New solution: 113
c Elapsed CPU time: 2.29565 s	Remaining CPU time: 177.704 s
c ===============================================================================
c |     12938 |     224     1040     4814 |     5000     2759     12 |  6.674 % |
c |     13040 |     224     1040     4814 |     5500     2861     13 |  6.681 % |
c |     13190 |     224     1040     4814 |     6050     3011     13 |  6.672 % |
c |     13415 |     224     1040     4814 |     6655     3236     14 |  6.689 % |
c ===============================================================================
c New solution: 112
c Elapsed CPU time: 2.37264 s	Remaining CPU time: 177.627 s
c ===============================================================================
c |     13448 |     224     1041     5048 |     5000     3269     14 |  6.689 % |
c |     13549 |     223     1041     5048 |     5500     2685     11 |  7.094 % |
c |     13700 |     222     1041     5048 |     6050     2836     12 |  7.509 % |
c |     13925 |     222     1041     5048 |     6655     3061     13 |  7.517 % |
c |     14263 |     222     1041     5048 |     7320     3399     14 |  7.510 % |
c |     14770 |     220     1041     5048 |     8052     3684     15 |  8.339 % |
c ===============================================================================
c Total CPU time: 2.69659 s