Gurobi 5.0.1 (linux64) logging started Mon Nov 19 07:17:42 2012

Optimize a model with 4610 rows, 137 columns and 9220 nonzeros
Presolve removed 3258 rows and 0 columns
Presolve time: 0.17s
Presolved: 1352 rows, 137 columns, 9804 nonzeros
Variable types: 0 continuous, 137 integer (137 binary)
Found heuristic solution: objective 8.0000000

Root relaxation: objective 1.776294e+01, 665 iterations, 0.04 seconds

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

     0     0   17.76294    0  129    8.00000   17.76294   122%     -    0s
     0     0   17.29382    0  137    8.00000   17.29382   116%     -    0s
     0     0   17.15036    0  134    8.00000   17.15036   114%     -    0s
     0     0   17.07355    0  135    8.00000   17.07355   113%     -    0s
H    0     0                       9.0000000   17.07355  89.7%     -    0s
     0     0   17.02728    0  136    9.00000   17.02728  89.2%     -    0s
     0     0   16.99980    0  133    9.00000   16.99980  88.9%     -    1s
     0     0   16.99481    0  135    9.00000   16.99481  88.8%     -    1s
     0     0   16.99186    0  135    9.00000   16.99186  88.8%     -    1s
     0     0   16.99172    0  136    9.00000   16.99172  88.8%     -    1s
     0     2   16.99060    0  136    9.00000   16.99060  88.8%     -    2s
   428   258   11.02116   26   58    9.00000   14.74967  63.9%  73.8    5s
H  600   227                      10.0000000   13.84456  38.4%  69.8    8s
   611   231   11.25598   18  136   10.00000   13.84456  38.4%  68.6   10s
  1090   211   11.85002   27   54   10.00000   12.97358  29.7%  78.1   15s

Cutting planes:
  Clique: 53

Explored 1566 nodes (102175 simplex iterations) in 17.34 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%