Gurobi 5.0.1 (linux64) logging started Fri Nov 16 06:28:37 2012
Optimize a model with 8931 rows, 3422 columns and 29926 nonzeros
Presolve removed 2 rows and 2 columns
Presolve time: 0.20s
Presolved: 8987 rows, 3420 columns, 32982 nonzeros
Variable types: 0 continuous, 3420 integer (3420 binary)
Found heuristic solution: objective 58.0000000
Root relaxation: objective 2.000000e+00, 2515 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 116 58.00000 2.00000 96.6% - 0s
H 0 0 55.0000000 2.00000 96.4% - 0s
H 0 0 5.0000000 2.00000 60.0% - 0s
H 0 0 4.0000000 2.00000 50.0% - 0s
0 0 2.66667 0 662 4.00000 2.66667 33.3% - 1s
0 0 2.66667 0 2399 4.00000 2.66667 33.3% - 1s
0 0 2.67066 0 2584 4.00000 2.67066 33.2% - 4s
0 0 2.67066 0 2700 4.00000 2.67066 33.2% - 4s
0 0 2.67066 0 2671 4.00000 2.67066 33.2% - 5s
0 0 2.67066 0 2655 4.00000 2.67066 33.2% - 7s
0 0 2.67066 0 2496 4.00000 2.67066 33.2% - 9s
0 0 2.67066 0 2523 4.00000 2.67066 33.2% - 10s
0 0 2.67066 0 2539 4.00000 2.67066 33.2% - 11s
0 0 2.67066 0 2530 4.00000 2.67066 33.2% - 13s
0 0 2.67066 0 2401 4.00000 2.67066 33.2% - 14s
0 0 2.67066 0 2361 4.00000 2.67066 33.2% - 15s
0 0 2.67066 0 2367 4.00000 2.67066 33.2% - 16s
0 0 2.67066 0 2376 4.00000 2.67066 33.2% - 18s
0 0 2.67066 0 2376 4.00000 2.67066 33.2% - 19s
0 2 2.80000 0 2376 4.00000 2.80000 30.0% - 23s
18 0 cutoff 1 4.00000 4.00000 0.0% 754 25s
Cutting planes:
Clique: 60
Zero half: 14
Explored 19 nodes (80299 simplex iterations) in 25.33 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%