current bounds on the number of colors: 0 -- 163 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:44:14 2012 Optimize a model with 57187 rows, 13907 columns and 184275 nonzeros Presolve time: 0.17s Presolved: 57187 rows, 13907 columns, 184275 nonzeros Variable types: 0 continuous, 13907 integer (13907 binary) Root relaxation: objective 0.000000e+00, 626 iterations, 0.05 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time * 0 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (987 simplex iterations) in 0.31 seconds Thread count was 1 (of 16 available processors) Optimal solution found (tolerance 1.00e-04) Best objective 0.000000000000e+00, best bound 0.000000000000e+00, gap 0.0% current bounds on the number of colors: 0 -- 81 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:44:15 2012 Optimize a model with 28323 rows, 7224 columns and 91000 nonzeros Presolve time: 0.13s Presolved: 28323 rows, 7224 columns, 91000 nonzeros Variable types: 0 continuous, 7224 integer (7224 binary) Root relaxation: objective 0.000000e+00, 546 iterations, 0.03 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time * 0 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (934 simplex iterations) in 0.21 seconds Thread count was 1 (of 16 available processors) Optimal solution found (tolerance 1.00e-04) Best objective 0.000000000000e+00, best bound 0.000000000000e+00, gap 0.0% current bounds on the number of colors: 0 -- 40 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:44:16 2012 Optimize a model with 14243 rows, 3964 columns and 45500 nonzeros Presolve time: 0.05s Presolved: 14243 rows, 3964 columns, 45500 nonzeros Variable types: 0 continuous, 3964 integer (3964 binary) Root relaxation: objective 0.000000e+00, 344 iterations, 0.01 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time * 0 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (629 simplex iterations) in 0.08 seconds Thread count was 1 (of 16 available processors) Optimal solution found (tolerance 1.00e-04) Best objective 0.000000000000e+00, best bound 0.000000000000e+00, gap 0.0% current bounds on the number of colors: 0 -- 20 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:44:16 2012 Optimize a model with 7203 rows, 2334 columns and 22750 nonzeros Presolve time: 0.02s Presolved: 7203 rows, 2334 columns, 22750 nonzeros Variable types: 0 continuous, 2334 integer (2334 binary) Root relaxation: objective 0.000000e+00, 341 iterations, 0.01 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time * 0 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (661 simplex iterations) in 0.04 seconds Thread count was 1 (of 16 available processors) Optimal solution found (tolerance 1.00e-04) Best objective 0.000000000000e+00, best bound 0.000000000000e+00, gap 0.0% current bounds on the number of colors: 0 -- 10 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:44:16 2012 Optimize a model with 3683 rows, 1519 columns and 11375 nonzeros Presolve time: 0.01s Presolved: 3683 rows, 1519 columns, 11375 nonzeros Variable types: 0 continuous, 1519 integer (1519 binary) Root relaxation: objective 0.000000e+00, 369 iterations, 0.01 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 0.00000 0 238 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (4030 simplex iterations) in 0.27 seconds Thread count was 1 (of 16 available processors) Optimal solution found (tolerance 1.00e-04) Best objective 0.000000000000e+00, best bound 0.000000000000e+00, gap 0.0% current bounds on the number of colors: 0 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:44:17 2012 Optimize a model with 1571 rows, 1030 columns and 4550 nonzeros Presolve removed 163 rows and 163 columns Presolve time: 0.00s Presolved: 1408 rows, 867 columns, 4224 nonzeros Variable types: 0 continuous, 867 integer (867 binary) Root relaxation: objective 0.000000e+00, 166 iterations, 0.00 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 0.00000 0 163 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (704 simplex iterations) in 0.02 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound 1.000000000000e+00, gap - current bounds on the number of colors: 2 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:44:17 2012 Optimize a model with 2275 rows, 1193 columns and 6825 nonzeros Presolve time: 0.01s Presolved: 2275 rows, 1193 columns, 6825 nonzeros Variable types: 0 continuous, 1193 integer (1193 binary) Root relaxation: objective 0.000000e+00, 367 iterations, 0.00 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 0.00000 0 318 - 0.00000 - - 0s 0 0 0.00000 0 320 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (4284 simplex iterations) in 0.43 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound 1.000000000000e+00, gap - current bounds on the number of colors: 3 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:44:17 2012 Optimize a model with 2979 rows, 1356 columns and 9100 nonzeros Presolve time: 0.01s Presolved: 2979 rows, 1356 columns, 9100 nonzeros Variable types: 0 continuous, 1356 integer (1356 binary) Root relaxation: objective 0.000000e+00, 382 iterations, 0.01 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 0.00000 0 314 - 0.00000 - - 0s 0 0 0.00000 0 293 - 0.00000 - - 0s 0 0 0.00000 0 293 - 0.00000 - - 0s 0 0 0.00000 0 379 - 0.00000 - - 0s 0 0 0.00000 0 268 - 0.00000 - - 1s 0 0 0.00000 0 262 - 0.00000 - - 1s 0 0 0.00000 0 250 - 0.00000 - - 1s 0 0 0.00000 0 248 - 0.00000 - - 1s 0 0 0.00000 0 233 - 0.00000 - - 2s 0 0 0.00000 0 222 - 0.00000 - - 2s 0 0 0.00000 0 223 - 0.00000 - - 2s 0 0 0.00000 0 232 - 0.00000 - - 3s 0 0 0.00000 0 198 - 0.00000 - - 3s 0 0 0.00000 0 217 - 0.00000 - - 3s 0 0 0.00000 0 213 - 0.00000 - - 4s 0 2 0.00000 0 194 - 0.00000 - - 4s 43 29 0.00000 17 260 - 0.00000 - 138 5s 814 42 0.00000 13 400 - 0.00000 - 86.5 10s 931 24 0.00000 21 258 - 0.00000 - 120 15s 1393 27 0.00000 22 323 - 0.00000 - 144 20s 1852 22 0.00000 18 278 - 0.00000 - 157 25s 2347 31 0.00000 22 250 - 0.00000 - 162 30s 2850 10 0.00000 25 276 - 0.00000 - 165 35s Cutting planes: Gomory: 1 Zero half: 18 Explored 2915 nodes (519322 simplex iterations) in 35.62 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - optimal solution found: number of colors: 5