current bounds on the number of colors: 0 -- 110 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 20:04:11 2012 Optimize a model with 34265 rows, 6671 columns and 108515 nonzeros Presolve time: 0.15s Presolved: 34265 rows, 6671 columns, 108515 nonzeros Variable types: 0 continuous, 6671 integer (6671 binary) Root relaxation: objective 0.000000e+00, 271 iterations, 0.04 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 (531 simplex iterations) in 0.24 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 -- 55 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 20:04:12 2012 Optimize a model with 16877 rows, 3591 columns and 53271 nonzeros Presolve time: 0.07s Presolved: 16877 rows, 3591 columns, 53271 nonzeros Variable types: 0 continuous, 3591 integer (3591 binary) Root relaxation: objective 0.000000e+00, 258 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 (495 simplex iterations) in 0.10 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 -- 27 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 20:04:12 2012 Optimize a model with 8183 rows, 2051 columns and 25649 nonzeros Presolve time: 0.03s Presolved: 8183 rows, 2051 columns, 25649 nonzeros Variable types: 0 continuous, 2051 integer (2051 binary) Root relaxation: objective 0.000000e+00, 232 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 (442 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 -- 13 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 20:04:12 2012 Optimize a model with 3836 rows, 1281 columns and 11838 nonzeros Presolve time: 0.01s Presolved: 3836 rows, 1281 columns, 11838 nonzeros Variable types: 0 continuous, 1281 integer (1281 binary) Root relaxation: objective 0.000000e+00, 235 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 44 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (2237 simplex iterations) in 0.13 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 -- 6 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 20:04:13 2012 Optimize a model with 1973 rows, 951 columns and 5919 nonzeros Presolve time: 0.00s Presolved: 1973 rows, 951 columns, 5919 nonzeros Variable types: 0 continuous, 951 integer (951 binary) Root relaxation: objective 0.000000e+00, 274 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 178 - 0.00000 - - 0s 0 0 0.00000 0 238 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (3317 simplex iterations) in 0.29 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 -- 6 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 20:04:13 2012 Optimize a model with 2594 rows, 1061 columns and 7892 nonzeros Presolve time: 0.01s Presolved: 2594 rows, 1061 columns, 7892 nonzeros Variable types: 0 continuous, 1061 integer (1061 binary) Root relaxation: objective 0.000000e+00, 241 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 218 - 0.00000 - - 0s 0 0 0.00000 0 132 - 0.00000 - - 0s 0 0 0.00000 0 300 - 0.00000 - - 0s 0 0 0.00000 0 329 - 0.00000 - - 0s 0 0 0.00000 0 299 - 0.00000 - - 1s 0 0 0.00000 0 300 - 0.00000 - - 1s 0 0 0.00000 0 304 - 0.00000 - - 2s 0 0 0.00000 0 319 - 0.00000 - - 2s 0 0 0.00000 0 319 - 0.00000 - - 2s 0 2 0.00000 0 319 - 0.00000 - - 3s Cutting planes: Clique: 4 Zero half: 26 Explored 21 nodes (23750 simplex iterations) in 3.60 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - current bounds on the number of colors: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 20:04:17 2012 Optimize a model with 3215 rows, 1171 columns and 9865 nonzeros Presolve time: 0.01s Presolved: 3215 rows, 1171 columns, 9865 nonzeros Variable types: 0 continuous, 1171 integer (1171 binary) Root relaxation: objective 0.000000e+00, 255 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 216 - 0.00000 - - 0s 0 0 0.00000 0 165 - 0.00000 - - 0s 0 0 0.00000 0 238 - 0.00000 - - 0s 0 0 0.00000 0 284 - 0.00000 - - 0s 0 0 0.00000 0 283 - 0.00000 - - 0s 0 0 0.00000 0 259 - 0.00000 - - 1s 0 0 0.00000 0 267 - 0.00000 - - 1s 0 0 0.00000 0 264 - 0.00000 - - 1s 0 0 0.00000 0 272 - 0.00000 - - 1s 0 0 0.00000 0 272 - 0.00000 - - 1s 0 2 0.00000 0 272 - 0.00000 - - 2s * 605 102 10 0.0000000 0.00000 0.0% 51.6 5s Cutting planes: Gomory: 14 Clique: 4 Zero half: 17 Explored 605 nodes (54862 simplex iterations) in 5.24 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% optimal solution found: number of colors: 5