current bounds on the number of colors: 0 -- 88 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:43:23 2012 Optimize a model with 17512 rows, 4268 columns and 56144 nonzeros Presolve time: 0.10s Presolved: 17512 rows, 4268 columns, 56144 nonzeros Variable types: 0 continuous, 4268 integer (4268 binary) Root relaxation: objective 0.000000e+00, 297 iterations, 0.02 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 (499 simplex iterations) in 0.14 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 -- 44 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:43:23 2012 Optimize a model with 8800 rows, 2332 columns and 28072 nonzeros Presolve time: 0.03s Presolved: 8800 rows, 2332 columns, 28072 nonzeros Variable types: 0 continuous, 2332 integer (2332 binary) Root relaxation: objective 0.000000e+00, 204 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 (370 simplex iterations) in 0.05 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 Thu Dec 13 19:43:23 2012 Optimize a model with 4444 rows, 1364 columns and 14036 nonzeros Presolve time: 0.01s Presolved: 4444 rows, 1364 columns, 14036 nonzeros Variable types: 0 continuous, 1364 integer (1364 binary) Root relaxation: objective 0.000000e+00, 178 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 (334 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 -- 11 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:43:23 2012 Optimize a model with 2068 rows, 836 columns and 6380 nonzeros Presolve time: 0.01s Presolved: 2068 rows, 836 columns, 6380 nonzeros Variable types: 0 continuous, 836 integer (836 binary) Root relaxation: objective 0.000000e+00, 194 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 (763 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 -- 5 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:43:23 2012 Optimize a model with 880 rows, 572 columns and 2552 nonzeros Presolve removed 88 rows and 88 columns Presolve time: 0.00s Presolved: 792 rows, 484 columns, 2376 nonzeros Variable types: 0 continuous, 484 integer (484 binary) Root relaxation: objective 0.000000e+00, 91 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 88 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (369 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 Thu Dec 13 19:43:23 2012 Optimize a model with 1276 rows, 660 columns and 3828 nonzeros Presolve time: 0.00s Presolved: 1276 rows, 660 columns, 3828 nonzeros Variable types: 0 continuous, 660 integer (660 binary) Root relaxation: objective 0.000000e+00, 201 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 174 - 0.00000 - - 0s 0 0 0.00000 0 176 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (2077 simplex iterations) in 0.16 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: 3 -- 5 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:43:24 2012 Optimize a model with 1672 rows, 748 columns and 5104 nonzeros Presolve time: 0.00s Presolved: 1672 rows, 748 columns, 5104 nonzeros Variable types: 0 continuous, 748 integer (748 binary) Root relaxation: objective 0.000000e+00, 205 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 168 - 0.00000 - - 0s 0 0 0.00000 0 154 - 0.00000 - - 0s 0 0 0.00000 0 217 - 0.00000 - - 0s 0 0 0.00000 0 227 - 0.00000 - - 0s 0 0 0.00000 0 220 - 0.00000 - - 0s 0 0 0.00000 0 226 - 0.00000 - - 0s 0 0 0.00000 0 220 - 0.00000 - - 0s 0 0 0.00000 0 219 - 0.00000 - - 0s 0 0 0.00000 0 228 - 0.00000 - - 0s 0 0 0.00000 0 228 - 0.00000 - - 0s 0 2 0.00000 0 228 - 0.00000 - - 1s Cutting planes: Clique: 10 Zero half: 22 Explored 129 nodes (23291 simplex iterations) in 1.64 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - optimal solution found: number of colors: 5