current bounds on the number of colors: 0 -- 93 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:46:53 2012 Optimize a model with 19321 rows, 4696 columns and 61962 nonzeros Presolve time: 0.11s Presolved: 19321 rows, 4696 columns, 61962 nonzeros Variable types: 0 continuous, 4696 integer (4696 binary) Root relaxation: objective 0.000000e+00, 305 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 (508 simplex iterations) in 0.15 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 -- 46 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:46:53 2012 Optimize a model with 9707 rows, 2557 columns and 30981 nonzeros Presolve time: 0.04s Presolved: 9707 rows, 2557 columns, 30981 nonzeros Variable types: 0 continuous, 2557 integer (2557 binary) Root relaxation: objective 0.000000e+00, 198 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.06 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 -- 23 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:46:53 2012 Optimize a model with 4691 rows, 1441 columns and 14817 nonzeros Presolve time: 0.01s Presolved: 4691 rows, 1441 columns, 14817 nonzeros Variable types: 0 continuous, 1441 integer (1441 binary) Root relaxation: objective 0.000000e+00, 189 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 (476 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 -- 11 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:46:53 2012 Optimize a model with 2183 rows, 883 columns and 6735 nonzeros Presolve time: 0.01s Presolved: 2183 rows, 883 columns, 6735 nonzeros Variable types: 0 continuous, 883 integer (883 binary) Root relaxation: objective 0.000000e+00, 203 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 86 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1071 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:46:53 2012 Optimize a model with 929 rows, 604 columns and 2694 nonzeros Presolve removed 93 rows and 93 columns Presolve time: 0.00s Presolved: 836 rows, 511 columns, 2508 nonzeros Variable types: 0 continuous, 511 integer (511 binary) Root relaxation: objective 0.000000e+00, 95 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 93 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (410 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:46:53 2012 Optimize a model with 1347 rows, 697 columns and 4041 nonzeros Presolve time: 0.00s Presolved: 1347 rows, 697 columns, 4041 nonzeros Variable types: 0 continuous, 697 integer (697 binary) Root relaxation: objective 0.000000e+00, 222 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 140 - 0.00000 - - 0s 0 0 0.00000 0 182 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (2351 simplex iterations) in 0.14 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:46:54 2012 Optimize a model with 1765 rows, 790 columns and 5388 nonzeros Presolve time: 0.00s Presolved: 1765 rows, 790 columns, 5388 nonzeros Variable types: 0 continuous, 790 integer (790 binary) Root relaxation: objective 0.000000e+00, 208 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 184 - 0.00000 - - 0s 0 0 0.00000 0 176 - 0.00000 - - 0s 0 0 0.00000 0 201 - 0.00000 - - 0s 0 0 0.00000 0 200 - 0.00000 - - 0s 0 0 0.00000 0 199 - 0.00000 - - 0s 0 0 0.00000 0 224 - 0.00000 - - 0s 0 0 0.00000 0 209 - 0.00000 - - 0s 0 0 0.00000 0 201 - 0.00000 - - 0s 0 0 0.00000 0 212 - 0.00000 - - 0s 0 0 0.00000 0 206 - 0.00000 - - 0s 0 0 0.00000 0 229 - 0.00000 - - 1s 0 0 0.00000 0 229 - 0.00000 - - 1s 0 2 0.00000 0 229 - 0.00000 - - 1s Cutting planes: Clique: 3 Zero half: 13 Explored 329 nodes (33878 simplex iterations) in 2.09 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