current bounds on the number of colors: 0 -- 158 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:06:34 2012 Optimize a model with 48032 rows, 13088 columns and 156104 nonzeros Presolve time: 0.16s Presolved: 48032 rows, 13088 columns, 156104 nonzeros Variable types: 0 continuous, 13088 integer (13088 binary) Root relaxation: objective 0.000000e+00, 587 iterations, 0.05 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 (921 simplex iterations) in 0.27 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:06:35 2012 Optimize a model with 23792 rows, 6768 columns and 77064 nonzeros Presolve time: 0.13s Presolved: 23792 rows, 6768 columns, 77064 nonzeros Variable types: 0 continuous, 6768 integer (6768 binary) Root relaxation: objective 0.000000e+00, 445 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 (771 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 -- 39 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:06:35 2012 Optimize a model with 11672 rows, 3608 columns and 37544 nonzeros Presolve time: 0.04s Presolved: 11672 rows, 3608 columns, 37544 nonzeros Variable types: 0 continuous, 3608 integer (3608 binary) Root relaxation: objective 0.000000e+00, 331 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 (603 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:06:35 2012 Optimize a model with 5612 rows, 2028 columns and 17784 nonzeros Presolve time: 0.02s Presolved: 5612 rows, 2028 columns, 17784 nonzeros Variable types: 0 continuous, 2028 integer (2028 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 (608 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:06:35 2012 Optimize a model with 2582 rows, 1238 columns and 7904 nonzeros Presolve time: 0.01s Presolved: 2582 rows, 1238 columns, 7904 nonzeros Variable types: 0 continuous, 1238 integer (1238 binary) Root relaxation: objective 0.000000e+00, 353 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 292 - 0.00000 - - 0s 0 0 0.00000 0 284 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (4292 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 -- 4 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:06:36 2012 Optimize a model with 1370 rows, 922 columns and 3952 nonzeros Presolve removed 158 rows and 158 columns Presolve time: 0.00s Presolved: 1212 rows, 764 columns, 3636 nonzeros Variable types: 0 continuous, 764 integer (764 binary) Root relaxation: objective 0.000000e+00, 169 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 158 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (691 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:06:36 2012 Optimize a model with 1976 rows, 1080 columns and 5928 nonzeros Presolve time: 0.00s Presolved: 1976 rows, 1080 columns, 5928 nonzeros Variable types: 0 continuous, 1080 integer (1080 binary) Root relaxation: objective 0.000000e+00, 362 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 310 - 0.00000 - - 0s 0 0 0.00000 0 308 - 0.00000 - - 0s 0 0 0.00000 0 367 - 0.00000 - - 0s 0 0 0.00000 0 418 - 0.00000 - - 0s 0 0 0.00000 0 430 - 0.00000 - - 0s 0 0 0.00000 0 416 - 0.00000 - - 1s 0 0 0.00000 0 353 - 0.00000 - - 1s 0 0 0.00000 0 397 - 0.00000 - - 1s 0 0 0.00000 0 360 - 0.00000 - - 2s 0 0 0.00000 0 365 - 0.00000 - - 2s 0 0 0.00000 0 364 - 0.00000 - - 2s 0 2 0.00000 0 364 - 0.00000 - - 2s Cutting planes: Zero half: 9 Explored 3 nodes (22068 simplex iterations) in 2.83 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