c wbo 1.4 beta - 20100610
c |  Number of variables:  2474                                                 |
c |  Number of clauses:    31072                                                |
c ============================[ Problem Statistics ]=============================
c |                                                                             |
c |  Parsing time:          0.02         s                                      |
c |  Number Variables:      2474                                                |
c |  Number Clauses:        30976                                               |
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 |    2426    30976    76792 |    10325        0    nan |  0.000 % |
c ===============================================================================
c New solution: 66
c Elapsed CPU time: 0.167974 s	Remaining CPU time: 179.832 s
c ===============================================================================
c |         1 |    2426    30977    76888 |    10325        1      7 |  0.000 % |
c ===============================================================================
c New solution: 65
c Elapsed CPU time: 0.175973 s	Remaining CPU time: 179.824 s
c ===============================================================================
c |         7 |    2426    30978    76984 |    10326        7     76 |  0.000 % |
c ===============================================================================
c New solution: 64
c Elapsed CPU time: 0.19097 s	Remaining CPU time: 179.809 s
c ===============================================================================
c |        54 |    2426    30979    77080 |    10326       54     26 |  0.000 % |
c ===============================================================================
c New solution: 62
c Elapsed CPU time: 0.19597 s	Remaining CPU time: 179.804 s
c ===============================================================================
c |        55 |    2426    30980    77176 |    10326       55     26 |  0.000 % |
c ===============================================================================
c New solution: 61
c Elapsed CPU time: 0.202969 s	Remaining CPU time: 179.797 s
c ===============================================================================
c |        80 |    2426    30981    77272 |    10327       80     31 |  0.000 % |
c ===============================================================================
c New solution: 57
c Elapsed CPU time: 0.209968 s	Remaining CPU time: 179.79 s
c ===============================================================================
c |        84 |    2426    30982    77368 |    10327       84     29 |  0.000 % |
c |       184 |    2426    30982    77368 |    11360      184     56 |  1.940 % |
c |       334 |    2426    30982    77368 |    12496      334     50 |  1.940 % |
c |       560 |    2426    30982    77368 |    13745      560     50 |  1.940 % |
c |       897 |    2426    30982    77368 |    15120      897     53 |  1.940 % |
c |      1404 |    2426    30982    77368 |    16632     1404     57 |  1.940 % |
c |      2164 |    2426    30982    77368 |    18295     2164     59 |  1.940 % |
c |      3304 |    2426    30982    77368 |    20125     3304     68 |  1.941 % |
c |      5013 |    2426    30982    77368 |    22137     5013     70 |  1.940 % |
c |      7576 |    2426    30982    77368 |    24351     7576     71 |  1.941 % |
c |     11420 |    2426    30982    77368 |    26786    11420     73 |  1.940 % |
c ===============================================================================
c New solution: 56
c Elapsed CPU time: 2.09868 s	Remaining CPU time: 177.901 s
c ===============================================================================
c |     11530 |    2426    30983    77464 |    10327    11530     73 |  1.940 % |
c |     11630 |    2426    30983    77464 |    11360     5865     67 |  1.940 % |
c |     11780 |    2426    30983    77464 |    12496     6015     67 |  1.941 % |
c |     12005 |    2426    30983    77464 |    13746     6240     66 |  1.940 % |
c |     12342 |    2426    30983    77464 |    15120     6577     66 |  1.940 % |
c |     12851 |    2426    30983    77464 |    16632     7086     67 |  1.940 % |
c |     13610 |    2426    30983    77464 |    18296     7845     68 |  1.940 % |
c |     14750 |    2426    30983    77464 |    20125     8985     69 |  1.940 % |
c |     16458 |    2426    30983    77464 |    22138    10693     69 |  1.940 % |
c |     19021 |    2426    30983    77464 |    24352    13256     74 |  1.940 % |
c |     22865 |    2426    30983    77464 |    26787    17100     77 |  1.940 % |
c |     28632 |    2426    30983    77464 |    29466    22867     75 |  1.940 % |
c |     37283 |    2426    30983    77464 |    32412    14156     78 |  1.940 % |
c |     50259 |    2426    30983    77464 |    35653    27132     79 |  1.940 % |
c |     69721 |    2426    30983    77464 |    39219    23832    106 |  1.940 % |
c |     98913 |    2426    30983    77464 |    43141    26239     86 |  1.941 % |
c |    142707 |    2426    30983    77464 |    47455    39362     89 |  1.941 % |
c |    208391 |    2426    30983    77464 |    52200    36110     99 |  1.940 % |
c |    306918 |    2426    30983    77464 |    57420    17322    103 |  1.940 % |
c There are 48 assigned variables. 44 in cost function.
c Memory used           : 168.70 MB
c CPU time              : 180.43 s
c 
c Total CPU time: 180.43 s