current bounds on the number of colors: 0 -- 174 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:23:55 2012 Optimize a model with 14790 rows, 15306 columns and 58986 nonzeros Presolve removed 18 rows and 1566 columns Presolve time: 0.12s Presolved: 14772 rows, 13740 columns, 57420 nonzeros Variable types: 0 continuous, 13740 integer (13740 binary) Root relaxation: objective 0.000000e+00, 289 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 (289 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:23:55 2012 Optimize a model with 7398 rows, 7650 columns and 29154 nonzeros Presolve removed 18 rows and 774 columns Presolve time: 0.06s Presolved: 7380 rows, 6876 columns, 28380 nonzeros Variable types: 0 continuous, 6876 integer (6876 binary) Root relaxation: objective 0.000000e+00, 289 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 (289 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:23:55 2012 Optimize a model with 3702 rows, 3822 columns and 14238 nonzeros Presolve removed 18 rows and 378 columns Presolve time: 0.02s Presolved: 3684 rows, 3444 columns, 13860 nonzeros Variable types: 0 continuous, 3444 integer (3444 binary) Root relaxation: objective 0.000000e+00, 289 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 (289 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:23:56 2012 Optimize a model with 1854 rows, 1908 columns and 6780 nonzeros Presolve removed 18 rows and 180 columns Presolve time: 0.01s Presolved: 1836 rows, 1728 columns, 6600 nonzeros Variable types: 0 continuous, 1728 integer (1728 binary) Root relaxation: objective 0.000000e+00, 269 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 (269 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:23:56 2012 Optimize a model with 1014 rows, 1038 columns and 3390 nonzeros Presolve removed 18 rows and 90 columns Presolve time: 0.00s Presolved: 996 rows, 948 columns, 3300 nonzeros Variable types: 0 continuous, 948 integer (948 binary) Root relaxation: objective 0.000000e+00, 243 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 (243 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:23:56 2012 Optimize a model with 510 rows, 516 columns and 1356 nonzeros Presolve removed 178 rows and 198 columns Presolve time: 0.00s Presolved: 332 rows, 318 columns, 996 nonzeros Variable types: 0 continuous, 318 integer (318 binary) Root relaxation: objective 0.000000e+00, 168 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 138 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (544 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:23:56 2012 Optimize a model with 678 rows, 690 columns and 2034 nonzeros Presolve removed 18 rows and 54 columns Presolve time: 0.00s Presolved: 660 rows, 636 columns, 1980 nonzeros Variable types: 0 continuous, 636 integer (636 binary) Root relaxation: objective 0.000000e+00, 264 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 (264 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