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     3720 |     5000        0    nan |  0.000 % |
c |       100 |     225     1035     3720 |     5500      100      3 |  6.252 % |
c |       250 |     225     1035     3720 |     6050      250      3 |  6.260 % |
c |       476 |     225     1035     3720 |     6655      476      5 |  6.260 % |
c |       813 |     225     1035     3720 |     7320      813      7 |  6.252 % |
c |      1321 |     225     1035     3720 |     8052     1321     10 |  6.264 % |
c |      2082 |     225     1035     3720 |     8857     2082     14 |  6.253 % |
c |      3221 |     225     1035     3720 |     9743     3221     16 |  6.252 % |
c |      4930 |     225     1035     3720 |    10717     4930     19 |  6.255 % |
c |      7493 |     225     1035     3720 |    11789     7493     20 |  6.262 % |
c |     11337 |     225     1035     3720 |    12968    11337     22 |  6.253 % |
c ===============================================================================
c New solution: 122
c Elapsed CPU time: 2.77358 s	Remaining CPU time: 177.226 s
c ===============================================================================
c |     13687 |     225     1036     3954 |     5000     7178     19 |  6.253 % |
c |     13788 |     225     1036     3954 |     5500     3690     14 |  6.252 % |
c |     13940 |     225     1036     3954 |     6050     3842     15 |  6.252 % |
c |     14165 |     225     1036     3954 |     6655     4067     16 |  6.252 % |
c |     14502 |     225     1036     3954 |     7320     4404     16 |  6.252 % |
c |     15008 |     225     1036     3954 |     8052     4910     17 |  6.253 % |
c ===============================================================================
c New solution: 120
c Elapsed CPU time: 3.06853 s	Remaining CPU time: 176.931 s
c ===============================================================================
c |     15338 |     225     1037     4188 |     5000     5240     18 |  6.253 % |
c ===============================================================================
c New solution: 119
c Elapsed CPU time: 3.08353 s	Remaining CPU time: 176.916 s
c ===============================================================================
c |     15389 |     225     1038     4422 |     5000     2671     12 |  6.253 % |
c |     15490 |     225     1038     4422 |     5500     2772     12 |  6.252 % |
c |     15640 |     225     1038     4422 |     6050     2922     13 |  6.262 % |
c |     15865 |     225     1038     4422 |     6655     3147     14 |  6.252 % |
c |     16202 |     225     1038     4422 |     7320     3484     15 |  6.254 % |
c |     16709 |     225     1038     4422 |     8052     3991     16 |  6.253 % |
c ===============================================================================
c New solution: 117
c Elapsed CPU time: 3.2965 s	Remaining CPU time: 176.704 s
c ===============================================================================
c |     16749 |     225     1039     4656 |     5000     4031     16 |  6.253 % |
c |     16849 |     225     1039     4656 |     5500     4131     16 |  6.253 % |
c |     16999 |     225     1039     4656 |     6050     4281     16 |  6.253 % |
c |     17226 |     225     1039     4656 |     6655     4508     17 |  6.254 % |
c |     17566 |     225     1039     4656 |     7320     4848     17 |  6.260 % |
c |     18072 |     225     1039     4656 |     8052     5354     18 |  6.276 % |
c |     18831 |     225     1039     4656 |     8857     6113     19 |  6.255 % |
c |     19970 |     225     1039     4656 |     9743     7252     20 |  6.259 % |
c ===============================================================================
c Total CPU time: 4.16337 s