Gurobi 5.0.1 (linux64) logging started Mon Nov 19 06:44:27 2012

Optimize a model with 1553 rows, 78 columns and 3106 nonzeros
Presolve removed 1115 rows and 0 columns
Presolve time: 0.04s
Presolved: 438 rows, 78 columns, 2943 nonzeros
Variable types: 0 continuous, 78 integer (78 binary)
Found heuristic solution: objective 6.0000000

Root relaxation: objective 1.175644e+01, 279 iterations, 0.01 seconds

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

     0     0   11.75644    0   70    6.00000   11.75644  95.9%     -    0s
H    0     0                       7.0000000   11.75644  67.9%     -    0s
     0     0   11.32443    0   75    7.00000   11.32443  61.8%     -    0s
     0     0   11.30323    0   73    7.00000   11.30323  61.5%     -    0s
H    0     0                       8.0000000   11.30323  41.3%     -    0s
     0     0   11.25944    0   74    8.00000   11.25944  40.7%     -    0s
     0     0   11.24727    0   75    8.00000   11.24727  40.6%     -    0s
H    0     0                       9.0000000   11.24727  25.0%     -    0s
     0     0   11.24220    0   76    9.00000   11.24220  24.9%     -    0s
     0     0   11.19400    0   75    9.00000   11.19400  24.4%     -    0s
     0     0   11.18641    0   75    9.00000   11.18641  24.3%     -    0s
     0     0   11.18341    0   75    9.00000   11.18341  24.3%     -    0s
     0     0   11.18226    0   76    9.00000   11.18226  24.2%     -    0s
     0     0   11.18027    0   76    9.00000   11.18027  24.2%     -    0s
     0     2   11.17899    0   76    9.00000   11.17899  24.2%     -    0s

Cutting planes:
  Clique: 46

Explored 19 nodes (1379 simplex iterations) in 0.52 seconds
Thread count was 1 (of 16 available processors)

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