Gurobi 5.0.1 (linux64) logging started Mon Nov 19 08:27:47 2012 Optimize a model with 6047 rows, 156 columns and 12094 nonzeros Presolve removed 4356 rows and 0 columns Presolve time: 0.26s Presolved: 1691 rows, 156 columns, 12326 nonzeros Variable types: 0 continuous, 156 integer (156 binary) Found heuristic solution: objective 7.0000000 Root relaxation: objective 1.934020e+01, 750 iterations, 0.07 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 19.34020 0 153 7.00000 19.34020 176% - 0s H 0 0 8.0000000 19.34020 142% - 0s H 0 0 9.0000000 19.34020 115% - 0s 0 0 18.81040 0 153 9.00000 18.81040 109% - 0s 0 0 18.68703 0 155 9.00000 18.68703 108% - 0s H 0 0 10.0000000 18.68703 86.9% - 0s 0 0 18.58941 0 156 10.00000 18.58941 85.9% - 1s 0 0 18.55514 0 156 10.00000 18.55514 85.6% - 1s 0 0 18.53486 0 155 10.00000 18.53486 85.3% - 1s 0 0 18.52512 0 156 10.00000 18.52512 85.3% - 1s 0 0 18.51605 0 156 10.00000 18.51605 85.2% - 1s 0 0 18.51053 0 156 10.00000 18.51053 85.1% - 2s 0 0 18.50929 0 156 10.00000 18.50929 85.1% - 2s 0 0 18.50926 0 156 10.00000 18.50926 85.1% - 2s 0 2 18.50624 0 156 10.00000 18.50624 85.1% - 3s 177 147 12.23028 20 67 10.00000 18.09995 81.0% 89.7 5s 601 336 13.56626 15 156 10.00000 15.52581 55.3% 85.3 11s 616 348 15.24728 16 86 10.00000 15.52581 55.3% 88.8 15s 795 389 12.16657 25 45 10.00000 15.21789 52.2% 121 20s 1494 401 11.58617 21 36 10.00000 14.20318 42.0% 85.0 25s 1919 437 11.75542 47 60 10.00000 13.51949 35.2% 76.1 30s 2714 367 cutoff 40 10.00000 12.18329 21.8% 67.2 35s Cutting planes: Clique: 65 Explored 3234 nodes (195109 simplex iterations) in 36.48 seconds Thread count was 1 (of 16 available processors) Optimal solution found (tolerance 1.00e-04) Best objective 1.000000000000e+01, best bound 1.000000000000e+01, gap 0.0%