current bounds on the number of colors: 0 -- 76 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:38:57 2012 Optimize a model with 10640 rows, 3166 columns and 34580 nonzeros Presolve removed 1 rows and 38 columns Presolve time: 0.06s Presolved: 10639 rows, 3128 columns, 34542 nonzeros Variable types: 0 continuous, 3128 integer (3128 binary) Root relaxation: objective 0.000000e+00, 214 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 (376 simplex iterations) in 0.08 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 -- 38 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:38:57 2012 Optimize a model with 5358 rows, 1722 columns and 17290 nonzeros Presolve removed 1 rows and 19 columns Presolve time: 0.02s Presolved: 5357 rows, 1703 columns, 17271 nonzeros Variable types: 0 continuous, 1703 integer (1703 binary) Root relaxation: objective 0.000000e+00, 164 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 (291 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 -- 19 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:38:57 2012 Optimize a model with 2578 rows, 962 columns and 8190 nonzeros Presolve removed 1 rows and 9 columns Presolve time: 0.01s Presolved: 2577 rows, 953 columns, 8181 nonzeros Variable types: 0 continuous, 953 integer (953 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (361 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 -- 9 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:38:57 2012 Optimize a model with 1188 rows, 582 columns and 3640 nonzeros Presolve removed 1 rows and 4 columns Presolve time: 0.00s Presolved: 1187 rows, 578 columns, 3636 nonzeros Variable types: 0 continuous, 578 integer (578 binary) Root relaxation: objective 0.000000e+00, 165 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 136 - 0.00000 - - 0s 0 0 0.00000 0 42 - 0.00000 - - 0s 0 0 0.00000 0 57 - 0.00000 - - 0s 0 0 0.00000 0 139 - 0.00000 - - 0s 0 0 0.00000 0 149 - 0.00000 - - 0s 0 0 0.00000 0 149 - 0.00000 - - 0s 0 0 0.00000 0 144 - 0.00000 - - 0s 0 2 0.00000 0 136 - 0.00000 - - 0s * 46 0 12 0.0000000 0.00000 0.0% 39.0 0s Cutting planes: Clique: 2 Zero half: 3 Explored 47 nodes (7593 simplex iterations) in 0.38 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 -- 4 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:38:58 2012 Optimize a model with 632 rows, 430 columns and 1820 nonzeros Presolve removed 76 rows and 77 columns Presolve time: 0.00s Presolved: 556 rows, 353 columns, 1668 nonzeros Variable types: 0 continuous, 353 integer (353 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.00000 0 75 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (305 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 -- 4 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:38:58 2012 Optimize a model with 910 rows, 506 columns and 2730 nonzeros Presolve removed 1 rows and 3 columns Presolve time: 0.00s Presolved: 909 rows, 503 columns, 2727 nonzeros Variable types: 0 continuous, 503 integer (503 binary) Root relaxation: objective 0.000000e+00, 162 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 150 - 0.00000 - - 0s 0 0 0.00000 0 148 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (1484 simplex iterations) in 0.09 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: 4