Gurobi 5.0.1 (linux64) logging started Mon Nov 19 06:43:58 2012

Optimize a model with 1255 rows, 72 columns and 2510 nonzeros
Presolve removed 883 rows and 0 columns
Presolve time: 0.02s
Presolved: 372 rows, 72 columns, 2228 nonzeros
Variable types: 0 continuous, 72 integer (72 binary)
Found heuristic solution: objective 6.0000000

Root relaxation: objective 1.177070e+01, 211 iterations, 0.00 seconds

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

     0     0   11.77070    0   66    6.00000   11.77070  96.2%     -    0s
H    0     0                       7.0000000   11.77070  68.2%     -    0s
     0     0   11.17393    0   71    7.00000   11.17393  59.6%     -    0s
H    0     0                       8.0000000   11.17393  39.7%     -    0s
     0     0   11.13606    0   72    8.00000   11.13606  39.2%     -    0s
     0     0   11.10947    0   72    8.00000   11.10947  38.9%     -    0s
     0     0   11.08740    0   71    8.00000   11.08740  38.6%     -    0s
     0     0   11.08004    0   71    8.00000   11.08004  38.5%     -    0s
     0     0   11.06165    0   71    8.00000   11.06165  38.3%     -    0s
     0     0   11.05757    0   72    8.00000   11.05757  38.2%     -    0s
H    0     0                       9.0000000   11.05757  22.9%     -    0s
     0     0   11.05689    0   72    9.00000   11.05689  22.9%     -    0s
     0     0   11.05624    0   72    9.00000   11.05624  22.8%     -    0s
     0     2   11.05340    0   72    9.00000   11.05340  22.8%     -    0s

Cutting planes:
  Clique: 29
  Zero half: 4

Explored 17 nodes (1208 simplex iterations) in 0.32 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%