Gurobi 5.0.1 (linux64) logging started Mon Nov 19 06:46:28 2012

Optimize a model with 2127 rows, 93 columns and 4254 nonzeros
Presolve removed 1531 rows and 0 columns
Presolve time: 0.06s
Presolved: 596 rows, 93 columns, 3889 nonzeros
Variable types: 0 continuous, 93 integer (93 binary)
Found heuristic solution: objective 6.0000000

Root relaxation: objective 1.372180e+01, 364 iterations, 0.01 seconds

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

     0     0   13.72180    0   90    6.00000   13.72180   129%     -    0s
H    0     0                       7.0000000   13.72180  96.0%     -    0s
H    0     0                       8.0000000   13.72180  71.5%     -    0s
H    0     0                       9.0000000   13.72180  52.5%     -    0s
     0     0   13.46881    0   91    9.00000   13.46881  49.7%     -    0s
     0     0   13.41905    0   91    9.00000   13.41905  49.1%     -    0s
     0     0   13.41177    0   90    9.00000   13.41177  49.0%     -    0s
     0     0   13.38108    0   93    9.00000   13.38108  48.7%     -    0s
     0     0   13.37414    0   93    9.00000   13.37414  48.6%     -    0s
     0     0   13.37295    0   93    9.00000   13.37295  48.6%     -    0s
     0     0   13.37085    0   93    9.00000   13.37085  48.6%     -    0s
     0     0   13.37010    0   93    9.00000   13.37010  48.6%     -    0s
     0     0   13.37002    0   93    9.00000   13.37002  48.6%     -    0s
     0     2   13.36897    0   93    9.00000   13.36897  48.5%     -    0s

Cutting planes:
  Gomory: 1
  Clique: 45
  Zero half: 4

Explored 130 nodes (8168 simplex iterations) in 1.30 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%