current bounds on the number of colors: 0 -- 159 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:13:35 2012 Optimize a model with 49218 rows, 13182 columns and 159738 nonzeros Presolve time: 0.16s Presolved: 49218 rows, 13182 columns, 159738 nonzeros Variable types: 0 continuous, 13182 integer (13182 binary) Root relaxation: objective 0.000000e+00, 585 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 (947 simplex iterations) in 0.28 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 -- 79 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:13:36 2012 Optimize a model with 24378 rows, 6822 columns and 78858 nonzeros Presolve time: 0.13s Presolved: 24378 rows, 6822 columns, 78858 nonzeros Variable types: 0 continuous, 6822 integer (6822 binary) Root relaxation: objective 0.000000e+00, 419 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 (738 simplex iterations) in 0.17 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 -- 39 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:13:37 2012 Optimize a model with 11958 rows, 3642 columns and 38418 nonzeros Presolve time: 0.04s Presolved: 11958 rows, 3642 columns, 38418 nonzeros Variable types: 0 continuous, 3642 integer (3642 binary) Root relaxation: objective 0.000000e+00, 339 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 (608 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 -- 19 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:13:37 2012 Optimize a model with 5748 rows, 2052 columns and 18198 nonzeros Presolve time: 0.02s Presolved: 5748 rows, 2052 columns, 18198 nonzeros Variable types: 0 continuous, 2052 integer (2052 binary) Root relaxation: objective 0.000000e+00, 338 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 (615 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 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:13:37 2012 Optimize a model with 2643 rows, 1257 columns and 8088 nonzeros Presolve time: 0.01s Presolved: 2643 rows, 1257 columns, 8088 nonzeros Variable types: 0 continuous, 1257 integer (1257 binary) Root relaxation: objective 0.000000e+00, 363 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 300 - 0.00000 - - 0s 0 0 0.00000 0 296 - 0.00000 - - 0s 0 0 0.00000 0 284 - 0.00000 - - 0s 0 0 0.00000 0 293 - 0.00000 - - 0s 0 0 0.00000 0 299 - 0.00000 - - 0s 0 0 0.00000 0 270 - 0.00000 - - 0s 0 0 0.00000 0 268 - 0.00000 - - 0s 0 0 0.00000 0 254 - 0.00000 - - 1s 0 0 0.00000 0 252 - 0.00000 - - 1s 0 0 0.00000 0 226 - 0.00000 - - 1s 0 0 0.00000 0 218 - 0.00000 - - 1s 0 0 0.00000 0 214 - 0.00000 - - 1s 0 0 0.00000 0 266 - 0.00000 - - 1s 0 0 0.00000 0 284 - 0.00000 - - 2s 0 0 0.00000 0 284 - 0.00000 - - 2s 0 2 0.00000 0 284 - 0.00000 - - 2s * 172 1 24 0.0000000 0.00000 0.0% 96.5 3s Cutting planes: Zero half: 18 Explored 173 nodes (45699 simplex iterations) in 3.30 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 -- 4 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:13:40 2012 Optimize a model with 1401 rows, 939 columns and 4044 nonzeros Presolve removed 159 rows and 159 columns Presolve time: 0.00s Presolved: 1242 rows, 780 columns, 3726 nonzeros Variable types: 0 continuous, 780 integer (780 binary) Root relaxation: objective 0.000000e+00, 164 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 159 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (660 simplex iterations) in 0.01 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 -- 4 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:13:40 2012 Optimize a model with 2022 rows, 1098 columns and 6066 nonzeros Presolve time: 0.01s Presolved: 2022 rows, 1098 columns, 6066 nonzeros Variable types: 0 continuous, 1098 integer (1098 binary) Root relaxation: objective 0.000000e+00, 362 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 302 - 0.00000 - - 0s 0 0 0.00000 0 312 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (3810 simplex iterations) in 0.34 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound 1.000000000000e+00, gap - optimal solution found: number of colors: 4