current bounds on the number of colors: 0 -- 127 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:17:11 2012 Optimize a model with 4600 rows, 8072 columns and 21420 nonzeros Presolve removed 43 rows and 2709 columns Presolve time: 0.06s Presolved: 4557 rows, 5363 columns, 18711 nonzeros Variable types: 0 continuous, 5363 integer (5363 binary) Root relaxation: objective 0.000000e+00, 137 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 (192 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 -- 63 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:17:11 2012 Optimize a model with 2328 rows, 4008 columns and 10540 nonzeros Presolve removed 43 rows and 1333 columns Presolve time: 0.02s Presolved: 2285 rows, 2675 columns, 9207 nonzeros Variable types: 0 continuous, 2675 integer (2675 binary) Root relaxation: objective 0.000000e+00, 137 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 (137 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 -- 31 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:17:11 2012 Optimize a model with 1192 rows, 1976 columns and 5100 nonzeros Presolve removed 43 rows and 645 columns Presolve time: 0.01s Presolved: 1149 rows, 1331 columns, 4455 nonzeros Variable types: 0 continuous, 1331 integer (1331 binary) Root relaxation: objective 0.000000e+00, 144 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 (144 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:17:11 2012 Optimize a model with 624 rows, 960 columns and 2380 nonzeros Presolve removed 43 rows and 301 columns Presolve time: 0.00s Presolved: 581 rows, 659 columns, 2079 nonzeros Variable types: 0 continuous, 659 integer (659 binary) Root relaxation: objective 0.000000e+00, 141 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 (206 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:17:11 2012 Optimize a model with 340 rows, 452 columns and 1020 nonzeros Presolve removed 43 rows and 129 columns Presolve time: 0.00s Presolved: 297 rows, 323 columns, 891 nonzeros Variable types: 0 continuous, 323 integer (323 binary) Root relaxation: objective 0.000000e+00, 116 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 (116 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:17:11 2012 Optimize a model with 198 rows, 198 columns and 340 nonzeros Presolve removed 198 rows and 198 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:17:11 2012 Optimize a model with 269 rows, 325 columns and 680 nonzeros Presolve removed 145 rows and 197 columns Presolve time: 0.00s Presolved: 124 rows, 128 columns, 372 nonzeros Variable types: 0 continuous, 128 integer (128 binary) Root relaxation: objective 0.000000e+00, 54 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 9 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (163 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