Gurobi 5.0.1 (linux64) logging started Mon Nov 19 06:48:20 2012

Optimize a model with 2523 rows, 100 columns and 5046 nonzeros
Presolve removed 1832 rows and 0 columns
Presolve time: 0.08s
Presolved: 691 rows, 100 columns, 4690 nonzeros
Variable types: 0 continuous, 100 integer (100 binary)
Found heuristic solution: objective 6.0000000

Root relaxation: objective 1.391384e+01, 384 iterations, 0.01 seconds

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

     0     0   13.91384    0   93    6.00000   13.91384   132%     -    0s
H    0     0                       7.0000000   13.91384  98.8%     -    0s
H    0     0                       9.0000000   13.91384  54.6%     -    0s
     0     0   13.48195    0   99    9.00000   13.48195  49.8%     -    0s
     0     0   13.46791    0   99    9.00000   13.46791  49.6%     -    0s
     0     0   13.43895    0  100    9.00000   13.43895  49.3%     -    0s
     0     0   13.43447    0  100    9.00000   13.43447  49.3%     -    0s
     0     0   13.43327    0  100    9.00000   13.43327  49.3%     -    0s
     0     0   13.43292    0  100    9.00000   13.43292  49.3%     -    0s
     0     0   13.43285    0  100    9.00000   13.43285  49.3%     -    0s
     0     0   13.43284    0  100    9.00000   13.43284  49.3%     -    1s
     0     2   13.42631    0  100    9.00000   13.42631  49.2%     -    1s

Cutting planes:
  Clique: 61

Explored 145 nodes (9789 simplex iterations) in 1.68 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%