current bounds on the number of colors: 0 -- 139 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:39:12 2012 Optimize a model with 31948 rows, 10052 columns and 105018 nonzeros Presolve time: 0.15s Presolved: 31948 rows, 10052 columns, 105018 nonzeros Variable types: 0 continuous, 10052 integer (10052 binary) Root relaxation: objective 0.000000e+00, 445 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 (735 simplex iterations) in 0.22 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 -- 69 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:39:13 2012 Optimize a model with 15813 rows, 5187 columns and 51748 nonzeros Presolve time: 0.08s Presolved: 15813 rows, 5187 columns, 51748 nonzeros Variable types: 0 continuous, 5187 integer (5187 binary) Root relaxation: objective 0.000000e+00, 326 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 (567 simplex iterations) in 0.11 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 -- 34 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:39:13 2012 Optimize a model with 7976 rows, 2824 columns and 25874 nonzeros Presolve time: 0.03s Presolved: 7976 rows, 2824 columns, 25874 nonzeros Variable types: 0 continuous, 2824 integer (2824 binary) Root relaxation: objective 0.000000e+00, 283 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 (519 simplex iterations) in 0.05 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 -- 17 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:39:13 2012 Optimize a model with 3827 rows, 1573 columns and 12176 nonzeros Presolve time: 0.01s Presolved: 3827 rows, 1573 columns, 12176 nonzeros Variable types: 0 continuous, 1573 integer (1573 binary) Root relaxation: objective 0.000000e+00, 301 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 (533 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:39:13 2012 Optimize a model with 1983 rows, 1017 columns and 6088 nonzeros Presolve time: 0.01s Presolved: 1983 rows, 1017 columns, 6088 nonzeros Variable types: 0 continuous, 1017 integer (1017 binary) Root relaxation: objective 0.000000e+00, 339 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 202 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (2131 simplex iterations) in 0.09 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 18:39:14 2012 Optimize a model with 1061 rows, 739 columns and 3044 nonzeros Presolve removed 139 rows and 139 columns Presolve time: 0.00s Presolved: 922 rows, 600 columns, 2766 nonzeros Variable types: 0 continuous, 600 integer (600 binary) Root relaxation: objective 0.000000e+00, 147 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 139 - 0.00000 - - 0s Explored 0 nodes (580 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 18:39:14 2012 Optimize a model with 1522 rows, 878 columns and 4566 nonzeros Presolve time: 0.00s Presolved: 1522 rows, 878 columns, 4566 nonzeros Variable types: 0 continuous, 878 integer (878 binary) Root relaxation: objective 0.000000e+00, 327 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 266 - 0.00000 - - 0s 0 0 0.00000 0 260 - 0.00000 - - 0s 0 0 0.00000 0 262 - 0.00000 - - 0s 0 0 0.00000 0 356 - 0.00000 - - 0s 0 0 0.00000 0 339 - 0.00000 - - 0s 0 0 0.00000 0 342 - 0.00000 - - 0s 0 0 0.00000 0 324 - 0.00000 - - 0s 0 0 0.00000 0 353 - 0.00000 - - 1s 0 0 0.00000 0 341 - 0.00000 - - 1s 0 0 0.00000 0 304 - 0.00000 - - 1s 0 0 0.00000 0 348 - 0.00000 - - 1s 0 0 0.00000 0 348 - 0.00000 - - 1s 0 2 0.00000 0 348 - 0.00000 - - 1s Cutting planes: Zero half: 23 Explored 12 nodes (20555 simplex iterations) in 1.87 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - optimal solution found: number of colors: 4