Gurobi 5.0.1 (linux64) logging started Mon Nov 19 07:15:36 2012

Optimize a model with 4541 rows, 136 columns and 9082 nonzeros
Presolve removed 3245 rows and 0 columns
Presolve time: 0.17s
Presolved: 1296 rows, 136 columns, 9118 nonzeros
Variable types: 0 continuous, 136 integer (136 binary)
Found heuristic solution: objective 7.0000000

Root relaxation: objective 1.785328e+01, 641 iterations, 0.04 seconds

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

     0     0   17.85328    0  133    7.00000   17.85328   155%     -    0s
H    0     0                       9.0000000   17.85328  98.4%     -    0s
     0     0   17.29916    0  135    9.00000   17.29916  92.2%     -    0s
     0     0   17.14329    0  134    9.00000   17.14329  90.5%     -    0s
     0     0   17.07495    0  135    9.00000   17.07495  89.7%     -    0s
     0     0   17.04639    0  135    9.00000   17.04639  89.4%     -    0s
     0     0   17.02971    0  135    9.00000   17.02971  89.2%     -    1s
     0     0   17.01569    0  135    9.00000   17.01569  89.1%     -    1s
     0     0   17.01311    0  135    9.00000   17.01311  89.0%     -    1s
     0     0   17.01182    0  135    9.00000   17.01182  89.0%     -    1s
     0     2   17.00843    0  135    9.00000   17.00843  89.0%     -    2s
H  297   156                      10.0000000   15.60097  56.0%  77.5    4s
   413   172   11.40912   23   54   10.00000   14.41179  44.1%  80.2    5s

Cutting planes:
  Clique: 153

Explored 776 nodes (55982 simplex iterations) in 6.76 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%