Gurobi 5.0.1 (linux64) logging started Fri Nov 16 05:43:08 2012 Optimize a model with 7952 rows, 3192 columns and 26824 nonzeros Presolve removed 1345 rows and 56 columns Presolve time: 0.16s Presolved: 6607 rows, 3136 columns, 23632 nonzeros Variable types: 0 continuous, 3136 integer (3136 binary) Found heuristic solution: objective 32.0000000 Root relaxation: objective 3.000000e+00, 5715 iterations, 0.59 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 3.00000 0 83 32.00000 3.00000 90.6% - 3s H 0 0 5.0000000 3.00000 40.0% - 3s 0 0 3.00000 0 114 5.00000 3.00000 40.0% - 3s H 0 0 4.0000000 3.00000 25.0% - 3s 0 0 3.00000 0 94 4.00000 3.00000 25.0% - 7s 0 0 3.00000 0 99 4.00000 3.00000 25.0% - 8s 0 0 3.00000 0 97 4.00000 3.00000 25.0% - 10s 0 0 3.00000 0 135 4.00000 3.00000 25.0% - 14s 0 0 3.00000 0 108 4.00000 3.00000 25.0% - 17s 0 0 3.00000 0 130 4.00000 3.00000 25.0% - 21s 0 0 3.00000 0 149 4.00000 3.00000 25.0% - 24s 0 0 3.00000 0 110 4.00000 3.00000 25.0% - 26s 0 2 3.00000 0 95 4.00000 3.00000 25.0% - 29s 2 3 3.00000 1 110 4.00000 3.00000 25.0% 3773 30s 5 5 3.00000 1 110 4.00000 3.00000 25.0% 1509 37s 6 6 3.00000 1 174 4.00000 3.00000 25.0% 1258 41s 8 7 3.00000 1 104 4.00000 3.00000 25.0% 943 49s 9 8 3.00000 1 164 4.00000 3.00000 25.0% 838 57s 12 10 infeasible 10 4.00000 3.00000 25.0% 9985 61s 15 10 3.00000 11 90 4.00000 3.00000 25.0% 8085 66s 17 11 3.00000 12 82 4.00000 3.00000 25.0% 7275 71s Cutting planes: Gomory: 1 Zero half: 7 Explored 24 nodes (271613 simplex iterations) in 74.04 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%