current bounds on the number of colors: 0 -- 14
Gurobi 5.0.1 (linux64) logging started Thu Dec 13 17:55:54 2012
Optimize a model with 364 rows, 148 columns and 1148 nonzeros
Presolve time: 0.00s
Presolved: 364 rows, 148 columns, 1148 nonzeros
Variable types: 0 continuous, 148 integer (148 binary)
Root relaxation: objective 0.000000e+00, 29 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 (85 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 Thu Dec 13 17:55:54 2012
Optimize a model with 164 rows, 92 columns and 492 nonzeros
Presolve time: 0.00s
Presolved: 164 rows, 92 columns, 492 nonzeros
Variable types: 0 continuous, 92 integer (92 binary)
Root relaxation: objective 0.000000e+00, 29 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 26 - 0.00000 - - 0s
0 0 infeasible 0 - 0.10000 - - 0s
Cutting planes:
Gomory: 4
Clique: 26
Zero half: 32
Explored 0 nodes (112 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: 3 -- 7
Gurobi 5.0.1 (linux64) logging started Thu Dec 13 17:55:54 2012
Optimize a model with 264 rows, 120 columns and 820 nonzeros
Presolve time: 0.00s
Presolved: 264 rows, 120 columns, 820 nonzeros
Variable types: 0 continuous, 120 integer (120 binary)
Root relaxation: objective 0.000000e+00, 32 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 (89 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: 3 -- 5
Gurobi 5.0.1 (linux64) logging started Thu Dec 13 17:55:54 2012
Optimize a model with 214 rows, 106 columns and 656 nonzeros
Presolve time: 0.00s
Presolved: 214 rows, 106 columns, 656 nonzeros
Variable types: 0 continuous, 106 integer (106 binary)
Root relaxation: objective 0.000000e+00, 28 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 26 - 0.00000 - - 0s
0 0 0.00000 0 27 - 0.00000 - - 0s
0 0 infeasible 0 - 0.10000 - - 0s
Explored 0 nodes (257 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 -
optimal solution found: number of colors: 5