Gurobi 5.0.1 (linux64) logging started Mon Nov 19 07:14:58 2012

Optimize a model with 4565 rows, 135 columns and 9130 nonzeros
Presolve removed 3262 rows and 0 columns
Presolve time: 0.17s
Presolved: 1303 rows, 135 columns, 9289 nonzeros
Variable types: 0 continuous, 135 integer (135 binary)
Found heuristic solution: objective 8.0000000

Root relaxation: objective 1.733545e+01, 607 iterations, 0.04 seconds

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

     0     0   17.33545    0  134    8.00000   17.33545   117%     -    0s
     0     0   16.93390    0  134    8.00000   16.93390   112%     -    0s
H    0     0                       9.0000000   16.93390  88.2%     -    0s
     0     0   16.78428    0  134    9.00000   16.78428  86.5%     -    0s
     0     0   16.70088    0  134    9.00000   16.70088  85.6%     -    0s
     0     0   16.67983    0  135    9.00000   16.67983  85.3%     -    1s
     0     0   16.66757    0  135    9.00000   16.66757  85.2%     -    1s
     0     0   16.66060    0  135    9.00000   16.66060  85.1%     -    1s
     0     0   16.65175    0  135    9.00000   16.65175  85.0%     -    1s
     0     0   16.64740    0  135    9.00000   16.64740  85.0%     -    1s
     0     0   16.64734    0  135    9.00000   16.64734  85.0%     -    2s
     0     2   16.64467    0  135    9.00000   16.64467  84.9%     -    2s
   397   226   10.59889   24   53    9.00000   14.65093  62.8%  75.1    5s
   609   274   12.11555   12  135    9.00000   13.51858  50.2%  65.9   10s
  1201   281   12.05953   29   60    9.00000   12.60515  40.1%  72.0   15s
H 1267   182                      10.0000000   12.44701  24.5%  70.2   15s

Cutting planes:
  Clique: 48

Explored 1558 nodes (97420 simplex iterations) in 16.05 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%