c wbo 1.4 beta - 20100610
c |  Number of variables:  700                                                  |
c |  Number of clauses:    184351                                               |
c ============================[ Problem Statistics ]=============================
c |                                                                             |
c |  Parsing time:          0.10         s                                      |
c |  Number Variables:      700                                                 |
c |  Number Clauses:        183651                                              |
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 |     700   183651   367302 |    61217        0    nan |  0.000 % |
c ===============================================================================
c New solution: 695
c Elapsed CPU time: 0.895863 s	Remaining CPU time: 179.104 s
c ===============================================================================
c |         0 |     700   183652   368002 |    61217        0    nan |  0.000 % |
c ===============================================================================
c New solution: 694
c Elapsed CPU time: 0.910861 s	Remaining CPU time: 179.089 s
c ===============================================================================
c |         2 |     700   183653   368702 |    61217        2    692 |  0.000 % |
c ===============================================================================
c New solution: 692
c Elapsed CPU time: 0.927858 s	Remaining CPU time: 179.072 s
c ===============================================================================
c |         7 |     700   183654   369402 |    61218        7    689 |  0.000 % |
c |       107 |     700   183654   369402 |    67339      107    683 |  0.089 % |
c |       257 |     700   183654   369402 |    74073      257    683 |  0.097 % |
c |       482 |     700   183654   369402 |    81481      482    683 |  0.123 % |
c |       819 |     700   183654   369402 |    89629      819    682 |  0.122 % |
c |      1325 |     700   183654   369402 |    98592     1325    683 |  0.092 % |
c |      2084 |     700   183654   369402 |   108451     2084    682 |  0.120 % |
c |      3223 |     700   183654   369402 |   119296     3223    682 |  0.123 % |
c |      4931 |     700   183654   369402 |   131226     4931    682 |  0.120 % |
c |      7493 |     700   183654   369402 |   144348     7493    682 |  0.119 % |
c |     11337 |     700   183654   369402 |   158783    11337    682 |  0.129 % |
c ===============================================================================
c New solution: 691
c Elapsed CPU time: 13.476 s	Remaining CPU time: 166.524 s
c ===============================================================================
c |     13724 |     699   183655   370102 |    61218    13724    682 |  0.129 % |
c |     13824 |     699   183655   370102 |    67340    13824    682 |  0.261 % |
c |     13974 |     699   183655   370102 |    74074    13974    682 |  0.266 % |
c |     14199 |     699   183655   370102 |    81481    14199    682 |  0.266 % |
c |     14536 |     699   183655   370102 |    89629    14536    682 |  0.243 % |
c |     15044 |     699   183655   370102 |    98592    15044    682 |  0.266 % |
c |     15803 |     699   183655   370102 |   108452    15803    682 |  0.264 % |
c |     16942 |     699   183655   370102 |   119297    16942    682 |  0.254 % |
c |     18651 |     699   183655   370102 |   131226    18651    682 |  0.267 % |
c |     21213 |     699   183655   370102 |   144349    21213    681 |  0.264 % |
c ===============================================================================
c New solution: 690
c Elapsed CPU time: 28.1567 s	Remaining CPU time: 151.843 s
c ===============================================================================
c |     23648 |     699   183656   370802 |    61218    23648    681 |  0.264 % |
c |     23748 |     699   183656   370802 |    67340    23748    681 |  0.250 % |
c |     23898 |     699   183656   370802 |    74074    23898    681 |  0.241 % |
c |     24123 |     699   183656   370802 |    81482    24123    681 |  0.262 % |
c |     24460 |     699   183656   370802 |    89630    24460    681 |  0.258 % |
c |     24966 |     699   183656   370802 |    98593    24966    681 |  0.266 % |
c |     25726 |     699   183656   370802 |   108452    25726    681 |  0.265 % |
c |     26865 |     698   183656   370802 |   119297    26865    681 |  0.407 % |
c |     28573 |     697   183656   370802 |   131227    28573    681 |  0.561 % |
c |     31136 |     697   183656   370802 |   144350    31136    681 |  0.547 % |
c |     34980 |     697   183656   370802 |   158785    34980    680 |  0.543 % |
c |     40746 |     696   183656   370802 |   174664    40709    680 |  0.683 % |
c |     49395 |     695   183656   370802 |   192130    49358    680 |  0.829 % |
c There are 7 assigned variables. 7 in cost function.
c Memory used           : 183.95 MB
c CPU time              : 180.213 s
c 
c Total CPU time: 180.213 s