current bounds on the number of colors: 0 -- 91 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:14:41 2012 Optimize a model with 1846 rows, 4134 columns and 9360 nonzeros Presolve removed 40 rows and 1800 columns Presolve time: 0.02s Presolved: 1806 rows, 2334 columns, 7560 nonzeros Variable types: 0 continuous, 2334 integer (2334 binary) Root relaxation: objective 0.000000e+00, 85 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 (120 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 -- 45 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:14:41 2012 Optimize a model with 949 rows, 2041 columns and 4576 nonzeros Presolve removed 40 rows and 880 columns Presolve time: 0.01s Presolved: 909 rows, 1161 columns, 3696 nonzeros Variable types: 0 continuous, 1161 integer (1161 binary) Root relaxation: objective 0.000000e+00, 84 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 (118 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 -- 22 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:14:41 2012 Optimize a model with 520 rows, 1040 columns and 2288 nonzeros Presolve removed 40 rows and 440 columns Presolve time: 0.00s Presolved: 480 rows, 600 columns, 1848 nonzeros Variable types: 0 continuous, 600 integer (600 binary) Root relaxation: objective 0.000000e+00, 84 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 (117 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 -- 11 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:14:41 2012 Optimize a model with 286 rows, 494 columns and 1040 nonzeros Presolve removed 40 rows and 200 columns Presolve time: 0.00s Presolved: 246 rows, 294 columns, 840 nonzeros Variable types: 0 continuous, 294 integer (294 binary) Root relaxation: objective 0.000000e+00, 75 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 (75 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 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:14:41 2012 Optimize a model with 169 rows, 221 columns and 416 nonzeros Presolve removed 103 rows and 149 columns Presolve time: 0.00s Presolved: 66 rows, 72 columns, 198 nonzeros Variable types: 0 continuous, 72 integer (72 binary) Root relaxation: objective 0.000000e+00, 27 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 4 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (70 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 - current bounds on the number of colors: 2 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:14:41 2012 Optimize a model with 208 rows, 312 columns and 624 nonzeros Presolve removed 40 rows and 120 columns Presolve time: 0.00s Presolved: 168 rows, 192 columns, 504 nonzeros Variable types: 0 continuous, 192 integer (192 binary) Root relaxation: objective 0.000000e+00, 79 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 (106 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