c wbo 1.4 beta - 20100610
c |  Number of variables:  741                                                  |
c |  Number of clauses:    2432                                                 |
c ============================[ Problem Statistics ]=============================
c |                                                                             |
c |  Parsing time:          0.00         s                                      |
c |  Number Variables:      741                                                 |
c |  Number Clauses:        2072                                                |
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 |     562     2206     4255 |     5000        0    nan |  0.000 % |
c ===============================================================================
c New solution: 16
c Elapsed CPU time: 0.022996 s	Remaining CPU time: 179.977 s
c ===============================================================================
c |         0 |     562     2207     4615 |     5000        0    nan |  0.000 % |
c ===============================================================================
c New solution: 15
c Elapsed CPU time: 0.024996 s	Remaining CPU time: 179.975 s
c ===============================================================================
c |        19 |     562     2208     4975 |     5000       19     28 |  0.000 % |
c |       119 |     562     2208     4975 |     5500      119     31 | 24.157 % |
c |       272 |     562     2208     4975 |     6050      272     33 | 24.157 % |
c |       498 |     562     2208     4975 |     6655      498     31 | 24.157 % |
c |       837 |     562     2208     4975 |     7320      837     34 | 24.157 % |
c |      1343 |     562     2208     4975 |     8052     1343     37 | 24.157 % |
c |      2102 |     562     2208     4975 |     8857     2102     34 | 24.157 % |
c |      3243 |     562     2208     4975 |     9743     3243     34 | 24.157 % |
c |      4953 |     562     2208     4975 |    10717     4953     36 | 24.157 % |
c |      7516 |     562     2208     4975 |    11789     7516     37 | 24.157 % |
c |     11361 |     562     2208     4975 |    12968    11361     37 | 24.157 % |
c |     17128 |     562     2208     4975 |    14265    10437     33 | 24.157 % |
c |     25778 |     562     2208     4975 |    15692    11746     41 | 24.157 % |
c |     38752 |     562     2208     4975 |    17261     8633     47 | 24.157 % |
c |     58215 |     562     2208     4975 |    18987    10413     42 | 24.157 % |
c |     87408 |     562     2208     4975 |    20886    10539     37 | 24.157 % |
c |    131197 |     562     2208     4975 |    22974    11785     31 | 24.157 % |
c |    196882 |     562     2208     4975 |    25272    17002     40 | 24.157 % |
c |    295410 |     562     2208     4975 |    27799    15515     38 | 24.157 % |
c |    443199 |     562     2208     4975 |    30579    13764     32 | 24.157 % |
c |    664883 |     562     2208     4975 |    33637    19737     43 | 24.157 % |
c There are 179 assigned variables. 21 in cost function.
c ============================[ Search Statistics ]==============================
c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
c ===============================================================================
c |         0 |     486     2040     4295 |     5000        0    nan |  0.000 % |
c ===============================================================================
c ============================[ Search Statistics ]==============================
c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
c ===============================================================================
c |         0 |     524     2041     4375 |     5000        0    nan |  0.000 % |
c ===============================================================================
c ============================[ Search Statistics ]==============================
c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
c ===============================================================================
c |         0 |     663     2042     4963 |     5000        0    nan |  0.000 % |
c |       100 |     663     2042     4963 |     5500      100     39 | 36.066 % |
c |       250 |     663     2042     4963 |     6050      250     45 | 36.066 % |
c ===============================================================================
c Total CPU time: 180.954 s