Gurobi 5.0.1 (linux64) logging started Fri Nov 16 05:36:25 2012
Optimize a model with 9844 rows, 3080 columns and 32338 nonzeros
Presolve removed 2 rows and 2 columns
Presolve time: 0.21s
Presolved: 9842 rows, 3078 columns, 31980 nonzeros
Variable types: 0 continuous, 3078 integer (3078 binary)
Found heuristic solution: objective 55.0000000
Root relaxation: objective 2.000000e+00, 2223 iterations, 0.07 seconds
Nodes | Current Node | Objective Bounds | Work
Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time
0 0 2.00000 0 110 55.00000 2.00000 96.4% - 0s
H 0 0 50.0000000 2.00000 96.0% - 0s
H 0 0 5.0000000 2.00000 60.0% - 0s
0 0 2.66667 0 200 5.00000 2.66667 46.7% - 1s
0 0 2.67516 0 2709 5.00000 2.67516 46.5% - 1s
0 0 2.67516 0 2716 5.00000 2.67516 46.5% - 2s
0 0 2.67516 0 2407 5.00000 2.67516 46.5% - 4s
0 0 2.67516 0 2426 5.00000 2.67516 46.5% - 5s
0 0 2.67516 0 2369 5.00000 2.67516 46.5% - 7s
0 0 2.67516 0 2402 5.00000 2.67516 46.5% - 8s
0 0 2.67516 0 2255 5.00000 2.67516 46.5% - 10s
0 0 2.67516 0 2392 5.00000 2.67516 46.5% - 11s
0 0 2.67516 0 2338 5.00000 2.67516 46.5% - 12s
0 0 2.67516 0 2371 5.00000 2.67516 46.5% - 14s
0 0 2.67516 0 2370 5.00000 2.67516 46.5% - 14s
0 2 3.00000 0 2370 5.00000 3.00000 40.0% - 18s
2 4 4.00000 2 124 5.00000 3.00000 40.0% 3713 20s
* 15 4 14 4.0000000 3.00000 25.0% 582 20s
Cutting planes:
Clique: 105
Zero half: 13
Explored 24 nodes (54986 simplex iterations) in 20.28 seconds
Thread count was 1 (of 16 available processors)
Optimal solution found (tolerance 1.00e-04)
Best objective 4.000000000000e+00, best bound 4.000000000000e+00, gap 0.0%