current bounds on the number of colors: 0 -- 46
Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:36:09 2012
Optimize a model with 2737 rows, 1175 columns and 9131 nonzeros
Presolve time: 0.01s
Presolved: 2737 rows, 1175 columns, 9131 nonzeros
Variable types: 0 continuous, 1175 integer (1175 binary)
Root relaxation: objective 0.000000e+00, 117 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 (203 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 -- 23
Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:36:09 2012
Optimize a model with 1333 rows, 623 columns and 4367 nonzeros
Presolve time: 0.00s
Presolved: 1333 rows, 623 columns, 4367 nonzeros
Variable types: 0 continuous, 623 integer (623 binary)
Root relaxation: objective 0.000000e+00, 99 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 (167 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 -- 11
Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:36:09 2012
Optimize a model with 631 rows, 347 columns and 1985 nonzeros
Presolve time: 0.00s
Presolved: 631 rows, 347 columns, 1985 nonzeros
Variable types: 0 continuous, 347 integer (347 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 (191 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 Thu Dec 13 19:36:09 2012
Optimize a model with 280 rows, 209 columns and 794 nonzeros
Presolve removed 46 rows and 46 columns
Presolve time: 0.00s
Presolved: 234 rows, 163 columns, 702 nonzeros
Variable types: 0 continuous, 163 integer (163 binary)
Root relaxation: objective 0.000000e+00, 51 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 46 - 0.00000 - - 0s
0 0 infeasible 0 - 0.10000 - - 0s
Explored 0 nodes (183 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 Thu Dec 13 19:36:09 2012
Optimize a model with 397 rows, 255 columns and 1191 nonzeros
Presolve time: 0.00s
Presolved: 397 rows, 255 columns, 1191 nonzeros
Variable types: 0 continuous, 255 integer (255 binary)
Root relaxation: objective 0.000000e+00, 100 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 82 - 0.00000 - - 0s
0 0 0.00000 0 74 - 0.00000 - - 0s
0 0 infeasible 0 - 0.10000 - - 0s
Explored 0 nodes (764 simplex iterations) in 0.02 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:36:09 2012
Optimize a model with 514 rows, 301 columns and 1588 nonzeros
Presolve time: 0.00s
Presolved: 514 rows, 301 columns, 1588 nonzeros
Variable types: 0 continuous, 301 integer (301 binary)
Root relaxation: objective 0.000000e+00, 105 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 (321 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%
optimal solution found: number of colors: 4