Gurobi 5.0.1 (linux64) logging started Mon Nov 19 08:44:49 2012 Optimize a model with 6307 rows, 159 columns and 12614 nonzeros Presolve removed 4480 rows and 0 columns Presolve time: 0.25s Presolved: 1827 rows, 159 columns, 13141 nonzeros Variable types: 0 continuous, 159 integer (159 binary) Found heuristic solution: objective 8.0000000 Root relaxation: objective 2.004653e+01, 805 iterations, 0.06 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 20.04653 0 156 8.00000 20.04653 151% - 0s H 0 0 9.0000000 20.04653 123% - 0s 0 0 19.27584 0 159 9.00000 19.27584 114% - 0s 0 0 19.14551 0 158 9.00000 19.14551 113% - 0s 0 0 19.08754 0 158 9.00000 19.08754 112% - 1s 0 0 19.06664 0 158 9.00000 19.06664 112% - 1s 0 0 19.04261 0 158 9.00000 19.04261 112% - 1s 0 0 19.02082 0 158 9.00000 19.02082 111% - 1s 0 0 19.00003 0 158 9.00000 19.00003 111% - 2s 0 0 18.99316 0 157 9.00000 18.99316 111% - 2s 0 0 18.98710 0 158 9.00000 18.98710 111% - 2s 0 0 18.98518 0 157 9.00000 18.98518 111% - 2s 0 0 18.97857 0 159 9.00000 18.97857 111% - 2s 0 0 18.97520 0 159 9.00000 18.97520 111% - 3s 0 0 18.97424 0 159 9.00000 18.97424 111% - 3s H 0 0 10.0000000 18.97424 89.7% - 3s 0 0 18.97052 0 159 10.00000 18.97052 89.7% - 3s 0 0 18.96042 0 158 10.00000 18.96042 89.6% - 3s 0 0 18.95599 0 159 10.00000 18.95599 89.6% - 3s 0 0 18.95511 0 159 10.00000 18.95511 89.6% - 4s 0 0 18.95076 0 159 10.00000 18.95076 89.5% - 4s 0 0 18.95057 0 159 10.00000 18.95057 89.5% - 4s 0 0 18.95049 0 159 10.00000 18.95049 89.5% - 4s 0 0 18.95047 0 159 10.00000 18.95047 89.5% - 5s 0 2 18.94967 0 159 10.00000 18.94967 89.5% - 5s 387 266 12.82364 21 70 10.00000 17.55353 75.5% 88.6 10s 601 366 13.40796 17 159 10.00000 16.31825 63.2% 84.0 16s 622 382 16.31825 15 154 10.00000 16.31825 63.2% 89.8 20s 732 435 12.68684 70 93 10.00000 15.67131 56.7% 128 25s 1324 447 11.21796 22 41 10.00000 14.54090 45.4% 93.5 30s 1741 403 11.48193 22 38 10.00000 13.98978 39.9% 82.5 35s 2183 437 cutoff 31 10.00000 13.10066 31.0% 76.9 40s 3064 107 11.40830 50 57 10.00000 11.55305 15.5% 65.6 45s Cutting planes: Clique: 78 Explored 3197 nodes (204606 simplex iterations) in 45.37 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%