current bounds on the number of colors: 0 -- 124
Gurobi 5.0.1 (linux64) logging started Thu Dec 13 22:02:18 2012
Optimize a model with 47926 rows, 8459 columns and 151094 nonzeros
Presolve time: 0.16s
Presolved: 47926 rows, 8459 columns, 151094 nonzeros
Variable types: 0 continuous, 8459 integer (8459 binary)
Root relaxation: objective 0.000000e+00, 301 iterations, 0.05 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 (580 simplex iterations) in 0.28 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 -- 62
Gurobi 5.0.1 (linux64) logging started Thu Dec 13 22:02:19 2012
Optimize a model with 24025 rows, 4615 columns and 75547 nonzeros
Presolve time: 0.11s
Presolved: 24025 rows, 4615 columns, 75547 nonzeros
Variable types: 0 continuous, 4615 integer (4615 binary)
Root relaxation: objective 0.000000e+00, 295 iterations, 0.03 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 (573 simplex iterations) in 0.16 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 -- 31
Gurobi 5.0.1 (linux64) logging started Thu Dec 13 22:02:19 2012
Optimize a model with 11689 rows, 2631 columns and 36555 nonzeros
Presolve time: 0.04s
Presolved: 11689 rows, 2631 columns, 36555 nonzeros
Variable types: 0 continuous, 2631 integer (2631 binary)
Root relaxation: objective 0.000000e+00, 255 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 (483 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 -- 15
Gurobi 5.0.1 (linux64) logging started Thu Dec 13 22:02:20 2012
Optimize a model with 5521 rows, 1639 columns and 17059 nonzeros
Presolve time: 0.01s
Presolved: 5521 rows, 1639 columns, 17059 nonzeros
Variable types: 0 continuous, 1639 integer (1639 binary)
Root relaxation: objective 0.000000e+00, 259 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 70 - 0.00000 - - 0s
H 0 0 0.0000000 0.00000 0.0% - 0s
Explored 0 nodes (1656 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 -- 7
Gurobi 5.0.1 (linux64) logging started Thu Dec 13 22:02:20 2012
Optimize a model with 2437 rows, 1143 columns and 7311 nonzeros
Presolve time: 0.01s
Presolved: 2437 rows, 1143 columns, 7311 nonzeros
Variable types: 0 continuous, 1143 integer (1143 binary)
Root relaxation: objective 0.000000e+00, 274 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 202 - 0.00000 - - 0s
0 0 0.00000 0 244 - 0.00000 - - 0s
0 0 infeasible 0 - 0.10000 - - 0s
Explored 0 nodes (4118 simplex iterations) in 0.41 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 22:02:20 2012
Optimize a model with 3979 rows, 1391 columns and 12185 nonzeros
Presolve time: 0.01s
Presolved: 3979 rows, 1391 columns, 12185 nonzeros
Variable types: 0 continuous, 1391 integer (1391 binary)
Root relaxation: objective 0.000000e+00, 263 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 248 - 0.00000 - - 0s
0 0 0.00000 0 228 - 0.00000 - - 0s
0 0 0.00000 0 329 - 0.00000 - - 0s
0 0 0.00000 0 334 - 0.00000 - - 1s
0 0 0.00000 0 357 - 0.00000 - - 1s
0 0 0.00000 0 323 - 0.00000 - - 2s
0 0 0.00000 0 346 - 0.00000 - - 2s
0 0 0.00000 0 346 - 0.00000 - - 2s
0 2 0.00000 0 324 - 0.00000 - - 3s
242 62 0.00000 24 190 - 0.00000 - 93.6 5s
607 77 0.00000 20 291 - 0.00000 - 77.5 10s
613 81 0.00000 16 282 - 0.00000 - 76.7 16s
655 107 0.00000 33 240 - 0.00000 - 139 20s
1091 114 0.00000 28 265 - 0.00000 - 153 25s
1534 101 infeasible 34 - 0.00000 - 161 30s
1985 92 infeasible 37 - 0.00000 - 164 35s
2446 111 0.00000 38 208 - 0.00000 - 166 40s
2845 82 infeasible 36 - 0.00000 - 170 45s
3241 178 infeasible 44 - 0.00000 - 171 50s
3614 219 0.00000 42 242 - 0.00000 - 174 55s
3955 220 0.00000 35 196 - 0.00000 - 176 60s
4371 264 infeasible 45 - 0.00000 - 176 65s
4792 313 0.00000 39 250 - 0.00000 - 177 70s
5217 374 0.00000 43 230 - 0.00000 - 177 75s
5657 402 infeasible 43 - 0.00000 - 177 80s
6067 380 0.00000 43 245 - 0.00000 - 178 85s
6508 385 0.00000 42 227 - 0.00000 - 178 90s
6895 400 0.00000 41 184 - 0.00000 - 178 95s
7323 382 0.00000 37 262 - 0.00000 - 179 100s
7798 391 infeasible 45 - 0.00000 - 178 105s
8220 385 0.00000 36 259 - 0.00000 - 178 110s
8626 387 0.00000 42 255 - 0.00000 - 179 115s
8999 390 infeasible 38 - 0.00000 - 180 120s
9415 390 infeasible 47 - 0.00000 - 179 125s
9858 395 infeasible 45 - 0.00000 - 179 130s
10294 399 0.00000 41 200 - 0.00000 - 179 135s
10691 384 0.00000 38 258 - 0.00000 - 180 140s
11058 385 0.00000 43 204 - 0.00000 - 180 145s
11479 422 0.00000 34 237 - 0.00000 - 181 150s
*11755 1 39 0.0000000 0.00000 0.0% 180 153s
Cutting planes:
Gomory: 1
Clique: 1
Zero half: 8
Explored 11756 nodes (2140117 simplex iterations) in 153.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: 3 -- 5
Gurobi 5.0.1 (linux64) logging started Thu Dec 13 22:04:53 2012
Optimize a model with 3208 rows, 1267 columns and 9748 nonzeros
Presolve time: 0.01s
Presolved: 3208 rows, 1267 columns, 9748 nonzeros
Variable types: 0 continuous, 1267 integer (1267 binary)
Root relaxation: objective 0.000000e+00, 271 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 242 - 0.00000 - - 0s
0 0 0.00000 0 242 - 0.00000 - - 0s
0 0 0.00000 0 369 - 0.00000 - - 0s
0 0 0.00000 0 365 - 0.00000 - - 1s
0 0 0.00000 0 376 - 0.00000 - - 1s
0 0 0.00000 0 365 - 0.00000 - - 2s
0 0 0.00000 0 357 - 0.00000 - - 3s
0 0 0.00000 0 357 - 0.00000 - - 4s
0 0 0.00000 0 356 - 0.00000 - - 4s
0 0 0.00000 0 363 - 0.00000 - - 5s
0 0 0.00000 0 360 - 0.00000 - - 6s
0 0 0.00000 0 359 - 0.00000 - - 7s
0 0 0.00000 0 356 - 0.00000 - - 7s
0 0 0.00000 0 356 - 0.00000 - - 8s
0 0 0.00000 0 356 - 0.00000 - - 8s
0 2 0.00000 0 356 - 0.00000 - - 9s
19 3 infeasible 11 - 0.00000 - 375 10s
Cutting planes:
Clique: 9
Zero half: 23
Explored 59 nodes (51953 simplex iterations) in 11.11 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