Gurobi 5.0.1 (linux64) logging started Fri Nov 16 11:47:25 2012 Optimize a model with 17253 rows, 5112 columns and 56587 nonzeros Presolve time: 0.13s Presolved: 17253 rows, 5112 columns, 56682 nonzeros Variable types: 0 continuous, 5112 integer (5112 binary) Found heuristic solution: objective 45.0000000 Root relaxation: objective 2.000000e+00, 6163 iterations, 0.43 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 2.00000 0 142 45.00000 2.00000 95.6% - 2s H 0 0 16.0000000 2.00000 87.5% - 3s H 0 0 5.0000000 2.00000 60.0% - 3s 0 0 2.00000 0 142 5.00000 2.00000 60.0% - 5s 0 0 2.00000 0 142 5.00000 2.00000 60.0% - 14s 0 0 2.00000 0 142 5.00000 2.00000 60.0% - 23s 0 0 2.00000 0 142 5.00000 2.00000 60.0% - 31s 0 0 2.00000 0 142 5.00000 2.00000 60.0% - 40s 0 0 2.00000 0 142 5.00000 2.00000 60.0% - 47s 0 2 2.00000 0 142 5.00000 2.00000 60.0% - 77s 1 3 3.00000 1 632 5.00000 2.00000 60.0% 52869 91s 2 4 3.00000 1 740 5.00000 3.00000 40.0% 41587 102s 5 5 3.10000 3 417 5.00000 3.00000 40.0% 20171 108s 6 6 3.10000 3 168 5.00000 3.00000 40.0% 18507 111s * 25 4 18 4.0000000 3.00000 25.0% 4701 112s 30 1 cutoff 3 4.00000 3.00000 25.0% 4688 119s 31 2 3.00000 3 126 4.00000 3.00000 25.0% 4614 120s 33 0 cutoff 4 4.00000 4.00000 0.0% 5210 126s Cutting planes: Clique: 111 Explored 34 nodes (288025 simplex iterations) in 126.55 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%