current bounds on the number of colors: 0 -- 112 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:27:34 2012 Optimize a model with 16464 rows, 6564 columns and 55328 nonzeros Presolve time: 0.12s Presolved: 16464 rows, 6564 columns, 55328 nonzeros Variable types: 0 continuous, 6564 integer (6564 binary) Root relaxation: objective 0.000000e+00, 317 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 (523 simplex iterations) in 0.16 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 -- 56 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:27:34 2012 Optimize a model with 8288 rows, 3428 columns and 27664 nonzeros Presolve time: 0.04s Presolved: 8288 rows, 3428 columns, 27664 nonzeros Variable types: 0 continuous, 3428 integer (3428 binary) Root relaxation: objective 0.000000e+00, 283 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 (475 simplex iterations) in 0.06 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 -- 28 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:27:34 2012 Optimize a model with 4200 rows, 1860 columns and 13832 nonzeros Presolve time: 0.01s Presolved: 4200 rows, 1860 columns, 13832 nonzeros Variable types: 0 continuous, 1860 integer (1860 binary) Root relaxation: objective 0.000000e+00, 229 iterations, 0.00 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 (394 simplex iterations) in 0.02 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 -- 14 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:27:35 2012 Optimize a model with 2156 rows, 1076 columns and 6916 nonzeros Presolve time: 0.01s Presolved: 2156 rows, 1076 columns, 6916 nonzeros Variable types: 0 continuous, 1076 integer (1076 binary) Root relaxation: objective 0.000000e+00, 256 iterations, 0.00 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 (437 simplex iterations) in 0.01 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 -- 7 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:27:35 2012 Optimize a model with 988 rows, 628 columns and 2964 nonzeros Presolve time: 0.00s Presolved: 988 rows, 628 columns, 2964 nonzeros Variable types: 0 continuous, 628 integer (628 binary) Root relaxation: objective 0.000000e+00, 258 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 192 - 0.00000 - - 0s 0 0 0.00000 0 194 - 0.00000 - - 0s 0 0 0.00000 0 178 - 0.00000 - - 0s 0 0 0.00000 0 210 - 0.00000 - - 0s 0 0 0.00000 0 235 - 0.00000 - - 0s 0 0 0.00000 0 249 - 0.00000 - - 0s 0 0 0.00000 0 249 - 0.00000 - - 0s 0 2 0.00000 0 249 - 0.00000 - - 0s Cutting planes: Zero half: 15 Explored 113 nodes (11213 simplex iterations) in 0.55 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: 3 -- 7 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:27:35 2012 Optimize a model with 1572 rows, 852 columns and 4940 nonzeros Presolve time: 0.00s Presolved: 1572 rows, 852 columns, 4940 nonzeros Variable types: 0 continuous, 852 integer (852 binary) Root relaxation: objective 0.000000e+00, 242 iterations, 0.00 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 (426 simplex iterations) in 0.01 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: 3 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:27:35 2012 Optimize a model with 1280 rows, 740 columns and 3952 nonzeros Presolve time: 0.00s Presolved: 1280 rows, 740 columns, 3952 nonzeros Variable types: 0 continuous, 740 integer (740 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (602 simplex iterations) in 0.01 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: 4