current bounds on the number of colors: 0 -- 175 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:24:04 2012 Optimize a model with 15052 rows, 15396 columns and 59856 nonzeros Presolve removed 24 rows and 2088 columns Presolve time: 0.12s Presolved: 15028 rows, 13308 columns, 57768 nonzeros Variable types: 0 continuous, 13308 integer (13308 binary) Root relaxation: objective 0.000000e+00, 266 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 (266 simplex iterations) in 0.13 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 -- 87 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:24:05 2012 Optimize a model with 7528 rows, 7696 columns and 29584 nonzeros Presolve removed 24 rows and 1032 columns Presolve time: 0.06s Presolved: 7504 rows, 6664 columns, 28552 nonzeros Variable types: 0 continuous, 6664 integer (6664 binary) Root relaxation: objective 0.000000e+00, 267 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 (267 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 -- 43 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:24:05 2012 Optimize a model with 3766 rows, 3846 columns and 14448 nonzeros Presolve removed 24 rows and 504 columns Presolve time: 0.02s Presolved: 3742 rows, 3342 columns, 13944 nonzeros Variable types: 0 continuous, 3342 integer (3342 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 (265 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 -- 21 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:24:05 2012 Optimize a model with 1885 rows, 1921 columns and 6880 nonzeros Presolve removed 24 rows and 240 columns Presolve time: 0.01s Presolved: 1861 rows, 1681 columns, 6640 nonzeros Variable types: 0 continuous, 1681 integer (1681 binary) Root relaxation: objective 0.000000e+00, 263 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 (263 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 -- 10 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:24:05 2012 Optimize a model with 1030 rows, 1046 columns and 3440 nonzeros Presolve removed 24 rows and 120 columns Presolve time: 0.00s Presolved: 1006 rows, 926 columns, 3320 nonzeros Variable types: 0 continuous, 926 integer (926 binary) Root relaxation: objective 0.000000e+00, 239 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 (239 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 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:24:05 2012 Optimize a model with 517 rows, 521 columns and 1376 nonzeros Presolve removed 179 rows and 205 columns Presolve time: 0.00s Presolved: 338 rows, 316 columns, 1014 nonzeros Variable types: 0 continuous, 316 integer (316 binary) Root relaxation: objective 0.000000e+00, 161 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 141 - 0.00000 - - 0s Explored 0 nodes (539 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 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:24:05 2012 Optimize a model with 688 rows, 696 columns and 2064 nonzeros Presolve removed 24 rows and 72 columns Presolve time: 0.00s Presolved: 664 rows, 624 columns, 1992 nonzeros Variable types: 0 continuous, 624 integer (624 binary) Root relaxation: objective 0.000000e+00, 241 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 (241 simplex iterations) in 0.00 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: 3