current bounds on the number of colors: 0 -- 123 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:16:50 2012 Optimize a model with 5003 rows, 7583 columns and 22143 nonzeros Presolve removed 30 rows and 1830 columns Presolve time: 0.06s Presolved: 4973 rows, 5753 columns, 20313 nonzeros Variable types: 0 continuous, 5753 integer (5753 binary) Root relaxation: objective 0.000000e+00, 158 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 (158 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 -- 61 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:16:50 2012 Optimize a model with 2523 rows, 3770 columns and 10890 nonzeros Presolve removed 30 rows and 900 columns Presolve time: 0.02s Presolved: 2493 rows, 2870 columns, 9990 nonzeros Variable types: 0 continuous, 2870 integer (2870 binary) Root relaxation: objective 0.000000e+00, 158 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 (158 simplex iterations) in 0.02 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 -- 30 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:16:50 2012 Optimize a model with 1323 rows, 1925 columns and 5445 nonzeros Presolve removed 30 rows and 450 columns Presolve time: 0.01s Presolved: 1293 rows, 1475 columns, 4995 nonzeros Variable types: 0 continuous, 1475 integer (1475 binary) Root relaxation: objective 0.000000e+00, 155 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 (155 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 -- 15 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:16:50 2012 Optimize a model with 683 rows, 941 columns and 2541 nonzeros Presolve removed 30 rows and 210 columns Presolve time: 0.00s Presolved: 653 rows, 731 columns, 2331 nonzeros Variable types: 0 continuous, 731 integer (731 binary) Root relaxation: objective 0.000000e+00, 149 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 (149 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% current bounds on the number of colors: 0 -- 7 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:16:50 2012 Optimize a model with 363 rows, 449 columns and 1089 nonzeros Presolve removed 30 rows and 90 columns Presolve time: 0.00s Presolved: 333 rows, 359 columns, 999 nonzeros Variable types: 0 continuous, 359 integer (359 binary) Root relaxation: objective 0.000000e+00, 131 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 (131 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% current bounds on the number of colors: 0 -- 3 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:16:50 2012 Optimize a model with 203 rows, 203 columns and 363 nonzeros Presolve removed 203 rows and 203 columns Presolve time: 0.00s Explored 0 nodes (0 simplex iterations) in 0.00 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: 1 -- 3 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:16:50 2012 Optimize a model with 283 rows, 326 columns and 726 nonzeros Presolve removed 135 rows and 171 columns Presolve time: 0.00s Presolved: 148 rows, 155 columns, 444 nonzeros Variable types: 0 continuous, 155 integer (155 binary) Root relaxation: objective 0.000000e+00, 65 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 37 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (208 simplex iterations) in 0.00 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound 1.000000000000e+00, gap - optimal solution found: number of colors: 3