Gurobi 5.0.1 (linux64) logging started Fri Nov 16 18:26:52 2012
Optimize a model with 10285 rows, 14762 columns and 45133 nonzeros
Presolve removed 25 rows and 3025 columns
Presolve time: 0.17s
Presolved: 10260 rows, 11737 columns, 42108 nonzeros
Variable types: 0 continuous, 11737 integer (11737 binary)
Found heuristic solution: objective 40.0000000
Found heuristic solution: objective 3.0000000
Root relaxation: objective 2.000000e+00, 8551 iterations, 0.28 seconds
Nodes | Current Node | Objective Bounds | Work
Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time
0 0 2.00000 0 114 3.00000 2.00000 33.3% - 1s
0 0 2.00000 0 311 3.00000 2.00000 33.3% - 3s
0 0 2.00000 0 114 3.00000 2.00000 33.3% - 8s
0 0 2.00000 0 207 3.00000 2.00000 33.3% - 15s
0 0 2.00000 0 217 3.00000 2.00000 33.3% - 22s
0 0 2.00000 0 207 3.00000 2.00000 33.3% - 28s
0 0 2.00000 0 217 3.00000 2.00000 33.3% - 31s
0 0 2.00000 0 209 3.00000 2.00000 33.3% - 37s
0 0 2.00000 0 252 3.00000 2.00000 33.3% - 42s
0 0 2.00000 0 252 3.00000 2.00000 33.3% - 45s
0 2 2.00000 0 252 3.00000 2.00000 33.3% - 51s
5 5 2.00000 1 310 3.00000 2.00000 33.3% 2999 65s
6 6 2.00000 1 114 3.00000 2.00000 33.3% 2499 72s
7 6 2.00000 1 114 3.00000 2.00000 33.3% 2142 84s
8 7 2.00000 1 114 3.00000 2.00000 33.3% 1874 92s
9 8 2.00000 1 124 3.00000 2.00000 33.3% 1666 104s
10 8 2.00000 1 124 3.00000 2.00000 33.3% 1500 107s
12 10 infeasible 12 3.00000 2.00000 33.3% 19059 111s
Cutting planes:
Zero half: 21
Explored 14 nodes (449468 simplex iterations) in 111.91 seconds
Thread count was 1 (of 16 available processors)
Optimal solution found (tolerance 1.00e-04)
Best objective 3.000000000000e+00, best bound 3.000000000000e+00, gap 0.0%