c wbo 1.4 beta - 20100610
c |  Number of variables:  8334                                                 |
c |  Number of clauses:    209643                                               |
c ============================[ Problem Statistics ]=============================
c |                                                                             |
c |  Parsing time:          0.15         s                                      |
c |  Number Variables:      8334                                                |
c |  Number Clauses:        209469                                              |
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 |    8277   209469   540515 |    69823        0    nan |  0.000 % |
c ===============================================================================
c New solution: 106
c Elapsed CPU time: 1.67075 s	Remaining CPU time: 178.329 s
c ===============================================================================
c |         1 |    8277   209470   540689 |    69823        1      2 |  0.000 % |
c |       101 |    8277   209470   540689 |    76805      101    140 |  0.684 % |
c ===============================================================================
c New solution: 105
c Elapsed CPU time: 1.84472 s	Remaining CPU time: 178.155 s
c ===============================================================================
c |       185 |    8277   209471   540863 |    69823      185     83 |  0.684 % |
c |       285 |    8277   209471   540863 |    76806      285     78 |  0.684 % |
c |       435 |    8277   209471   540863 |    84486      435     59 |  0.684 % |
c ===============================================================================
c New solution: 98
c Elapsed CPU time: 2.08568 s	Remaining CPU time: 177.914 s
c ===============================================================================
c |       448 |    8277   209472   541037 |    69824      448     58 |  0.684 % |
c |       548 |    8277   209472   541037 |    76806      548     64 |  0.684 % |
c |       698 |    8277   209472   541037 |    84487      698     58 |  0.684 % |
c |       923 |    8277   209472   541037 |    92935      923     62 |  0.684 % |
c |      1260 |    8277   209472   541037 |   102229     1260     55 |  0.684 % |
c |      1766 |    8277   209472   541037 |   112452     1766     50 |  0.684 % |
c |      2527 |    8277   209472   541037 |   123697     2527     68 |  0.684 % |
c |      3667 |    8277   209472   541037 |   136067     3667     80 |  0.684 % |
c |      5375 |    8277   209472   541037 |   149673     5375     88 |  0.684 % |
c |      7938 |    8277   209472   541037 |   164641     7938    101 |  0.684 % |
c |     11784 |    8277   209472   541037 |   181105    11784    113 |  0.684 % |
c |     17550 |    8277   209472   541037 |   199216    17550    129 |  0.684 % |
c |     26199 |    8277   209472   541037 |   219137    26199    149 |  0.684 % |
c |     39173 |    8277   209472   541037 |   241051    39173    143 |  0.684 % |
c |     58634 |    8277   209472   541037 |   265156    58634    149 |  0.684 % |
c |     87826 |    8277   209472   541037 |   291672    87826    152 |  0.684 % |
c |    131616 |    8277   209472   541037 |   320839   131616    150 |  0.684 % |
c There are 57 assigned variables. 57 in cost function.
c Memory used           : 162.59 MB
c CPU time              : 180.573 s
c 
c Total CPU time: 180.573 s