Gurobi 5.0.1 (linux64) logging started Mon Nov 19 07:24:14 2012 Optimize a model with 4923 rows, 140 columns and 9846 nonzeros Presolve removed 3513 rows and 0 columns Presolve time: 0.18s Presolved: 1410 rows, 140 columns, 10577 nonzeros Variable types: 0 continuous, 140 integer (140 binary) Found heuristic solution: objective 6.0000000 Root relaxation: objective 1.783115e+01, 633 iterations, 0.04 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 17.83115 0 134 6.00000 17.83115 197% - 0s H 0 0 7.0000000 17.83115 155% - 0s 0 0 17.35610 0 136 7.00000 17.35610 148% - 0s H 0 0 9.0000000 17.35610 92.8% - 0s 0 0 17.22163 0 139 9.00000 17.22163 91.4% - 0s 0 0 17.18877 0 140 9.00000 17.18877 91.0% - 0s 0 0 17.14187 0 139 9.00000 17.14187 90.5% - 1s 0 0 17.13632 0 139 9.00000 17.13632 90.4% - 1s 0 0 17.13618 0 139 9.00000 17.13618 90.4% - 1s 0 0 17.13521 0 139 9.00000 17.13521 90.4% - 1s 0 0 17.13421 0 139 9.00000 17.13421 90.4% - 1s 0 2 17.13404 0 139 9.00000 17.13404 90.4% - 2s 383 233 12.09430 17 61 9.00000 15.37666 70.9% 77.3 5s H 600 237 10.0000000 13.86493 38.6% 72.1 9s 608 243 12.32927 15 139 10.00000 13.86493 38.6% 71.1 10s 868 266 11.38718 19 39 10.00000 13.57153 35.7% 90.8 15s Cutting planes: Clique: 56 Explored 1482 nodes (103364 simplex iterations) in 17.27 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%