current bounds on the number of colors: 0 -- 114 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:28:13 2012 Optimize a model with 17385 rows, 6801 columns and 58311 nonzeros Presolve time: 0.12s Presolved: 17385 rows, 6801 columns, 58311 nonzeros Variable types: 0 continuous, 6801 integer (6801 binary) Root relaxation: objective 0.000000e+00, 324 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 (522 simplex iterations) in 0.16 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:14 2012 Optimize a model with 8598 rows, 3495 columns and 28644 nonzeros Presolve time: 0.04s Presolved: 8598 rows, 3495 columns, 28644 nonzeros Variable types: 0 continuous, 3495 integer (3495 binary) Root relaxation: objective 0.000000e+00, 307 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 (530 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 -- 28 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:28:14 2012 Optimize a model with 4356 rows, 1899 columns and 14322 nonzeros Presolve time: 0.02s Presolved: 4356 rows, 1899 columns, 14322 nonzeros Variable types: 0 continuous, 1899 integer (1899 binary) Root relaxation: objective 0.000000e+00, 244 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 (429 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:14 2012 Optimize a model with 2235 rows, 1101 columns and 7161 nonzeros Presolve time: 0.01s Presolved: 2235 rows, 1101 columns, 7161 nonzeros Variable types: 0 continuous, 1101 integer (1101 binary) Root relaxation: objective 0.000000e+00, 255 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 (432 simplex iterations) in 0.01 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:14 2012 Optimize a model with 1023 rows, 645 columns and 3069 nonzeros Presolve time: 0.00s Presolved: 1023 rows, 645 columns, 3069 nonzeros Variable types: 0 continuous, 645 integer (645 binary) Root relaxation: objective 0.000000e+00, 255 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 213 - 0.00000 - - 0s 0 0 0.00000 0 173 - 0.00000 - - 0s 0 0 0.00000 0 184 - 0.00000 - - 0s 0 0 0.00000 0 194 - 0.00000 - - 0s 0 0 0.00000 0 204 - 0.00000 - - 0s 0 0 0.00000 0 158 - 0.00000 - - 0s 0 0 0.00000 0 183 - 0.00000 - - 0s 0 0 0.00000 0 181 - 0.00000 - - 0s 0 2 0.00000 0 180 - 0.00000 - - 0s Cutting planes: Zero half: 28 Explored 55 nodes (10854 simplex iterations) in 0.54 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:14 2012 Optimize a model with 1629 rows, 873 columns and 5115 nonzeros Presolve time: 0.00s Presolved: 1629 rows, 873 columns, 5115 nonzeros Variable types: 0 continuous, 873 integer (873 binary) Root relaxation: objective 0.000000e+00, 265 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 (482 simplex iterations) in 0.01 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:15 2012 Optimize a model with 1326 rows, 759 columns and 4092 nonzeros Presolve time: 0.00s Presolved: 1326 rows, 759 columns, 4092 nonzeros Variable types: 0 continuous, 759 integer (759 binary) Root relaxation: objective 0.000000e+00, 258 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 49 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1176 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% optimal solution found: number of colors: 4