current bounds on the number of colors: 0 -- 115 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:28:39 2012 Optimize a model with 20578 rows, 6914 columns and 67944 nonzeros Presolve time: 0.13s Presolved: 20578 rows, 6914 columns, 67944 nonzeros Variable types: 0 continuous, 6914 integer (6914 binary) Root relaxation: objective 0.000000e+00, 376 iterations, 0.02 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 (596 simplex iterations) in 0.18 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 -- 57 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:28:39 2012 Optimize a model with 10167 rows, 3579 columns and 33376 nonzeros Presolve time: 0.05s Presolved: 10167 rows, 3579 columns, 33376 nonzeros Variable types: 0 continuous, 3579 integer (3579 binary) Root relaxation: objective 0.000000e+00, 291 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 (500 simplex iterations) in 0.07 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:28:39 2012 Optimize a model with 5141 rows, 1969 columns and 16688 nonzeros Presolve time: 0.02s Presolved: 5141 rows, 1969 columns, 16688 nonzeros Variable types: 0 continuous, 1969 integer (1969 binary) Root relaxation: objective 0.000000e+00, 243 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 (420 simplex iterations) in 0.03 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:28:39 2012 Optimize a model with 2628 rows, 1164 columns and 8344 nonzeros Presolve time: 0.01s Presolved: 2628 rows, 1164 columns, 8344 nonzeros Variable types: 0 continuous, 1164 integer (1164 binary) Root relaxation: objective 0.000000e+00, 250 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 (583 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 -- 7 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:28:39 2012 Optimize a model with 1192 rows, 704 columns and 3576 nonzeros Presolve time: 0.00s Presolved: 1192 rows, 704 columns, 3576 nonzeros Variable types: 0 continuous, 704 integer (704 binary) Root relaxation: objective 0.000000e+00, 273 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 224 - 0.00000 - - 0s 0 0 0.00000 0 220 - 0.00000 - - 0s 0 0 0.00000 0 248 - 0.00000 - - 0s 0 0 0.00000 0 271 - 0.00000 - - 0s 0 0 0.00000 0 295 - 0.00000 - - 0s 0 0 0.00000 0 231 - 0.00000 - - 0s 0 0 0.00000 0 236 - 0.00000 - - 0s 0 0 0.00000 0 293 - 0.00000 - - 0s 0 0 0.00000 0 290 - 0.00000 - - 0s 0 2 0.00000 0 290 - 0.00000 - - 0s Cutting planes: Zero half: 25 Explored 5 nodes (9630 simplex iterations) in 0.78 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:28:40 2012 Optimize a model with 1910 rows, 934 columns and 5960 nonzeros Presolve time: 0.01s Presolved: 1910 rows, 934 columns, 5960 nonzeros Variable types: 0 continuous, 934 integer (934 binary) Root relaxation: objective 0.000000e+00, 279 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 (686 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: 3 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:28:40 2012 Optimize a model with 1551 rows, 819 columns and 4768 nonzeros Presolve time: 0.00s Presolved: 1551 rows, 819 columns, 4768 nonzeros Variable types: 0 continuous, 819 integer (819 binary) Root relaxation: objective 0.000000e+00, 288 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 H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1249 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% optimal solution found: number of colors: 4