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

Optimize a model with 2013 rows, 90 columns and 4026 nonzeros
Presolve removed 1440 rows and 0 columns
Presolve time: 0.05s
Presolved: 573 rows, 90 columns, 3717 nonzeros
Variable types: 0 continuous, 90 integer (90 binary)
Found heuristic solution: objective 6.0000000

Root relaxation: objective 1.357405e+01, 362 iterations, 0.01 seconds

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

     0     0   13.57405    0   85    6.00000   13.57405   126%     -    0s
H    0     0                       7.0000000   13.57405  93.9%     -    0s
     0     0   13.06607    0   89    7.00000   13.06607  86.7%     -    0s
H    0     0                       8.0000000   13.06607  63.3%     -    0s
     0     0   13.03782    0   87    8.00000   13.03782  63.0%     -    0s
     0     0   12.98591    0   87    8.00000   12.98591  62.3%     -    0s
H    0     0                       9.0000000   12.98591  44.3%     -    0s
     0     0   12.95388    0   89    9.00000   12.95388  43.9%     -    0s
     0     0   12.92707    0   89    9.00000   12.92707  43.6%     -    0s
     0     0   12.92625    0   88    9.00000   12.92625  43.6%     -    0s
     0     0   12.92621    0   89    9.00000   12.92621  43.6%     -    0s
     0     2   12.92537    0   89    9.00000   12.92537  43.6%     -    0s

Cutting planes:
  Clique: 61

Explored 85 nodes (5502 simplex iterations) in 0.81 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%