current bounds on the number of colors: 0 -- 145 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:43:02 2012 Optimize a model with 38809 rows, 10977 columns and 126432 nonzeros Presolve time: 0.15s Presolved: 38809 rows, 10977 columns, 126432 nonzeros Variable types: 0 continuous, 10977 integer (10977 binary) Root relaxation: objective 0.000000e+00, 500 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 (807 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 -- 72 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:43:03 2012 Optimize a model with 19477 rows, 5757 columns and 63216 nonzeros Presolve time: 0.10s Presolved: 19477 rows, 5757 columns, 63216 nonzeros Variable types: 0 continuous, 5757 integer (5757 binary) Root relaxation: objective 0.000000e+00, 386 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 (685 simplex iterations) in 0.14 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 -- 36 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:43:03 2012 Optimize a model with 9811 rows, 3147 columns and 31608 nonzeros Presolve time: 0.04s Presolved: 9811 rows, 3147 columns, 31608 nonzeros Variable types: 0 continuous, 3147 integer (3147 binary) Root relaxation: objective 0.000000e+00, 300 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 (524 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 -- 18 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:43:03 2012 Optimize a model with 4978 rows, 1842 columns and 15804 nonzeros Presolve time: 0.01s Presolved: 4978 rows, 1842 columns, 15804 nonzeros Variable types: 0 continuous, 1842 integer (1842 binary) Root relaxation: objective 0.000000e+00, 305 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 (540 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 18:43:03 2012 Optimize a model with 2293 rows, 1117 columns and 7024 nonzeros Presolve time: 0.01s Presolved: 2293 rows, 1117 columns, 7024 nonzeros Variable types: 0 continuous, 1117 integer (1117 binary) Root relaxation: objective 0.000000e+00, 366 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 258 - 0.00000 - - 0s 0 0 0.00000 0 238 - 0.00000 - - 0s 0 0 0.00000 0 250 - 0.00000 - - 0s 0 0 0.00000 0 252 - 0.00000 - - 0s 0 0 0.00000 0 230 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Cutting planes: Zero half: 108 Explored 0 nodes (7748 simplex iterations) in 0.51 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:43:04 2012 Optimize a model with 1219 rows, 827 columns and 3512 nonzeros Presolve removed 145 rows and 145 columns Presolve time: 0.00s Presolved: 1074 rows, 682 columns, 3222 nonzeros Variable types: 0 continuous, 682 integer (682 binary) Root relaxation: objective 0.000000e+00, 154 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 145 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (616 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:43:04 2012 Optimize a model with 1756 rows, 972 columns and 5268 nonzeros Presolve time: 0.00s Presolved: 1756 rows, 972 columns, 5268 nonzeros Variable types: 0 continuous, 972 integer (972 binary) Root relaxation: objective 0.000000e+00, 350 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 284 - 0.00000 - - 0s 0 0 0.00000 0 274 - 0.00000 - - 0s 0 0 0.00000 0 284 - 0.00000 - - 0s 0 0 0.00000 0 359 - 0.00000 - - 0s 0 0 0.00000 0 335 - 0.00000 - - 0s 0 0 0.00000 0 327 - 0.00000 - - 0s 0 0 0.00000 0 325 - 0.00000 - - 1s 0 0 0.00000 0 347 - 0.00000 - - 1s 0 0 0.00000 0 306 - 0.00000 - - 1s 0 0 0.00000 0 308 - 0.00000 - - 1s 0 0 0.00000 0 272 - 0.00000 - - 1s 0 0 0.00000 0 335 - 0.00000 - - 2s 0 0 0.00000 0 335 - 0.00000 - - 2s 0 2 0.00000 0 335 - 0.00000 - - 2s Cutting planes: Gomory: 1 Zero half: 47 Explored 3 nodes (23602 simplex iterations) in 2.25 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