current bounds on the number of colors: 0 -- 47
Gurobi 5.0.1 (linux64) logging started Thu Dec 13 18:07:29 2012
Optimize a model with 12996 rows, 1644 columns and 39928 nonzeros
Presolve time: 0.05s
Presolved: 12996 rows, 1644 columns, 39928 nonzeros
Variable types: 0 continuous, 1644 integer (1644 binary)
Root relaxation: objective 0.000000e+00, 102 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 (260 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 -- 23
Gurobi 5.0.1 (linux64) logging started Thu Dec 13 18:07:29 2012
Optimize a model with 6240 rows, 1080 columns and 19096 nonzeros
Presolve time: 0.02s
Presolved: 6240 rows, 1080 columns, 19096 nonzeros
Variable types: 0 continuous, 1080 integer (1080 binary)
Root relaxation: objective 0.000000e+00, 108 iterations, 0.01 seconds
Nodes | Current Node | Objective Bounds | Work
Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time
0 0 0.00000 0 18 - 0.00000 - - 0s
H 0 0 0.0000000 0.00000 0.0% - 0s
Explored 0 nodes (871 simplex iterations) in 0.07 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 18:07:29 2012
Optimize a model with 2862 rows, 798 columns and 8680 nonzeros
Presolve time: 0.01s
Presolved: 2862 rows, 798 columns, 8680 nonzeros
Variable types: 0 continuous, 798 integer (798 binary)
Root relaxation: objective 0.000000e+00, 98 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 82 - 0.00000 - - 0s
0 0 infeasible 0 - 0.10000 - - 0s
Explored 0 nodes (1687 simplex iterations) in 0.22 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: 5 -- 11
Gurobi 5.0.1 (linux64) logging started Thu Dec 13 18:07:30 2012
Optimize a model with 4551 rows, 939 columns and 13888 nonzeros
Presolve time: 0.01s
Presolved: 4551 rows, 939 columns, 13888 nonzeros
Variable types: 0 continuous, 939 integer (939 binary)
Root relaxation: objective 0.000000e+00, 94 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 34 - 0.00000 - - 0s
0 0 0.00000 0 26 - 0.00000 - - 0s
0 0 0.00000 0 196 - 0.00000 - - 0s
0 0 0.00000 0 215 - 0.00000 - - 0s
0 0 0.00000 0 210 - 0.00000 - - 1s
0 0 0.00000 0 195 - 0.00000 - - 2s
0 0 0.00000 0 207 - 0.00000 - - 2s
0 0 0.00000 0 220 - 0.00000 - - 3s
0 0 0.00000 0 155 - 0.00000 - - 4s
0 0 0.00000 0 184 - 0.00000 - - 4s
0 0 0.00000 0 184 - 0.00000 - - 5s
0 2 0.00000 0 184 - 0.00000 - - 5s
Cutting planes:
Clique: 68
Zero half: 1
Explored 15 nodes (34206 simplex iterations) in 5.94 seconds
Thread count was 1 (of 16 available processors)
Model objective exceeds cutoff
Best objective -, best bound -, gap -
current bounds on the number of colors: 8 -- 11
Gurobi 5.0.1 (linux64) logging started Thu Dec 13 18:07:36 2012
Optimize a model with 5114 rows, 986 columns and 15624 nonzeros
Presolve time: 0.01s
Presolved: 5114 rows, 986 columns, 15624 nonzeros
Variable types: 0 continuous, 986 integer (986 binary)
Root relaxation: objective 0.000000e+00, 94 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 34 - 0.00000 - - 0s
0 0 0.00000 0 56 - 0.00000 - - 0s
0 0 0.00000 0 101 - 0.00000 - - 0s
0 0 0.00000 0 176 - 0.00000 - - 0s
0 0 0.00000 0 139 - 0.00000 - - 0s
0 0 0.00000 0 39 - 0.00000 - - 1s
0 0 0.00000 0 20 - 0.00000 - - 1s
0 0 0.00000 0 183 - 0.00000 - - 1s
0 0 0.00000 0 161 - 0.00000 - - 2s
0 0 0.00000 0 110 - 0.00000 - - 2s
0 0 0.00000 0 157 - 0.00000 - - 3s
0 0 0.00000 0 171 - 0.00000 - - 3s
0 0 0.00000 0 171 - 0.00000 - - 3s
0 2 0.00000 0 171 - 0.00000 - - 4s
188 6 0.00000 10 104 - 0.00000 - 70.3 5s
* 275 2 17 0.0000000 0.00000 0.0% 68.3 5s
Cutting planes:
Clique: 37
Zero half: 6
Explored 276 nodes (47389 simplex iterations) in 5.30 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: 9