Gurobi 5.0.1 (linux64) logging started Mon Nov 19 08:21:04 2012

Optimize a model with 6009 rows, 155 columns and 12018 nonzeros
Presolve removed 4337 rows and 0 columns
Presolve time: 0.25s
Presolved: 1672 rows, 155 columns, 12198 nonzeros
Variable types: 0 continuous, 155 integer (155 binary)
Found heuristic solution: objective 8.0000000

Root relaxation: objective 1.909738e+01, 759 iterations, 0.06 seconds

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

     0     0   19.09738    0  154    8.00000   19.09738   139%     -    0s
H    0     0                       9.0000000   19.09738   112%     -    0s
     0     0   18.69021    0  154    9.00000   18.69021   108%     -    0s
     0     0   18.57200    0  155    9.00000   18.57200   106%     -    0s
     0     0   18.53882    0  155    9.00000   18.53882   106%     -    1s
     0     0   18.50876    0  154    9.00000   18.50876   106%     -    1s
     0     0   18.49843    0  154    9.00000   18.49843   106%     -    1s
H    0     0                      10.0000000   18.49843  85.0%     -    1s
     0     0   18.49502    0  155   10.00000   18.49502  85.0%     -    1s
     0     0   18.49475    0  155   10.00000   18.49475  84.9%     -    1s
     0     0   18.49467    0  155   10.00000   18.49467  84.9%     -    2s
     0     0   18.49436    0  155   10.00000   18.49436  84.9%     -    2s
     0     2   18.49432    0  155   10.00000   18.49432  84.9%     -    2s
   247   181   14.16771    8   76   10.00000   17.60199  76.0%  85.5    5s
H  552   239                      11.0000000   15.95143  45.0%  83.4    7s
   813   172     cutoff   12        11.00000   13.39868  21.8%  84.2   10s

Cutting planes:
  Clique: 125

Explored 988 nodes (75724 simplex iterations) in 11.00 seconds
Thread count was 1 (of 16 available processors)

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