Gurobi 5.0.1 (linux64) logging started Mon Nov 19 08:55:11 2012

Optimize a model with 6370 rows, 160 columns and 12740 nonzeros
Presolve removed 4649 rows and 0 columns
Presolve time: 0.29s
Presolved: 1721 rows, 160 columns, 12775 nonzeros
Variable types: 0 continuous, 160 integer (160 binary)
Found heuristic solution: objective 7.0000000

Root relaxation: objective 1.976657e+01, 805 iterations, 0.07 seconds

    Nodes    |    Current Node    |     Objective Bounds      |     Work
 Expl Unexpl |  Obj  Depth IntInf | Incumbent    BestBd   Gap | It/Node Time

     0     0   19.76657    0  158    7.00000   19.76657   182%     -    0s
H    0     0                       8.0000000   19.76657   147%     -    0s
     0     0   19.03302    0  160    8.00000   19.03302   138%     -    0s
H    0     0                       9.0000000   19.03302   111%     -    0s
     0     0   18.97393    0  159    9.00000   18.97393   111%     -    0s
     0     0   18.92508    0  158    9.00000   18.92508   110%     -    1s
     0     0   18.89658    0  159    9.00000   18.89658   110%     -    1s
     0     0   18.87571    0  160    9.00000   18.87571   110%     -    1s
     0     0   18.82629    0  160    9.00000   18.82629   109%     -    1s
     0     0   18.80694    0  160    9.00000   18.80694   109%     -    2s
     0     0   18.79856    0  160    9.00000   18.79856   109%     -    2s
     0     0   18.78344    0  160    9.00000   18.78344   109%     -    2s
     0     0   18.74871    0  159    9.00000   18.74871   108%     -    2s
     0     0   18.73497    0  160    9.00000   18.73497   108%     -    2s
     0     0   18.72952    0  159    9.00000   18.72952   108%     -    3s
     0     0   18.72874    0  159    9.00000   18.72874   108%     -    3s
     0     0   18.72872    0  159    9.00000   18.72872   108%     -    3s
     0     2   18.72856    0  159    9.00000   18.72856   108%     -    4s
H   27    27                      10.0000000   18.72856  87.3%   122    4s
    47    49   13.93960   47  111   10.00000   18.72856  87.3%   113    5s
   511   316     cutoff   32        10.00000   16.50237  65.0%  85.0   10s
   610   353   12.15331   24  159   10.00000   15.92098  59.2%  85.3   15s
   654   384   12.14123   31   59   10.00000   15.92098  59.2%   114   20s
  1211   418   13.20762   20   66   10.00000   14.49009  44.9%  96.9   25s
  1719   430   11.83719   22   45   10.00000   13.83119  38.3%  80.8   30s
  2144   452   11.10571   35   40   10.00000   13.13061  31.3%  75.0   35s
  2880   211   11.54773   49   57   10.00000   11.81605  18.2%  67.1   40s

Cutting planes:
  Clique: 72

Explored 3146 nodes (199933 simplex iterations) in 40.75 seconds
Thread count was 1 (of 16 available processors)

Optimal solution found (tolerance 1.00e-04)
Best objective 1.000000000000e+01, best bound 1.000000000000e+01, gap 0.0%