current bounds on the number of colors: 0 -- 135
Gurobi 5.0.1 (linux64) logging started Fri Dec 14 06:26:03 2012
Optimize a model with 58559 rows, 9917 columns and 184317 nonzeros
Presolve time: 0.18s
Presolved: 58559 rows, 9917 columns, 184317 nonzeros
Variable types: 0 continuous, 9917 integer (9917 binary)
Root relaxation: objective 0.000000e+00, 338 iterations, 0.07 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 (635 simplex iterations) in 0.32 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 -- 67
Gurobi 5.0.1 (linux64) logging started Fri Dec 14 06:26:04 2012
Optimize a model with 28911 rows, 5327 columns and 90783 nonzeros
Presolve time: 0.13s
Presolved: 28911 rows, 5327 columns, 90783 nonzeros
Variable types: 0 continuous, 5327 integer (5327 binary)
Root relaxation: objective 0.000000e+00, 325 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 (626 simplex iterations) in 0.20 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 -- 33
Gurobi 5.0.1 (linux64) logging started Fri Dec 14 06:26:05 2012
Optimize a model with 14087 rows, 3032 columns and 44016 nonzeros
Presolve time: 0.05s
Presolved: 14087 rows, 3032 columns, 44016 nonzeros
Variable types: 0 continuous, 3032 integer (3032 binary)
Root relaxation: objective 0.000000e+00, 270 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 (552 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 -- 16
Gurobi 5.0.1 (linux64) logging started Fri Dec 14 06:26:05 2012
Optimize a model with 7111 rows, 1952 columns and 22008 nonzeros
Presolve time: 0.02s
Presolved: 7111 rows, 1952 columns, 22008 nonzeros
Variable types: 0 continuous, 1952 integer (1952 binary)
Root relaxation: objective 0.000000e+00, 290 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 (903 simplex iterations) in 0.05 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 -- 8
Gurobi 5.0.1 (linux64) logging started Fri Dec 14 06:26:05 2012
Optimize a model with 3623 rows, 1412 columns and 11004 nonzeros
Presolve time: 0.01s
Presolved: 3623 rows, 1412 columns, 11004 nonzeros
Variable types: 0 continuous, 1412 integer (1412 binary)
Root relaxation: objective 0.000000e+00, 298 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 268 - 0.00000 - - 0s
0 0 0.00000 0 256 - 0.00000 - - 0s
0 0 0.00000 0 404 - 0.00000 - - 1s
0 0 0.00000 0 409 - 0.00000 - - 1s
0 0 0.00000 0 403 - 0.00000 - - 3s
0 0 0.00000 0 395 - 0.00000 - - 4s
0 0 0.00000 0 392 - 0.00000 - - 5s
0 0 0.00000 0 391 - 0.00000 - - 6s
0 0 0.00000 0 397 - 0.00000 - - 7s
0 0 0.00000 0 402 - 0.00000 - - 8s
0 0 0.00000 0 399 - 0.00000 - - 9s
0 0 0.00000 0 407 - 0.00000 - - 9s
0 0 0.00000 0 398 - 0.00000 - - 10s
0 2 0.00000 0 398 - 0.00000 - - 11s
Cutting planes:
Clique: 12
Zero half: 10
Explored 21 nodes (47738 simplex iterations) in 12.23 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: 4 -- 8
Gurobi 5.0.1 (linux64) logging started Fri Dec 14 06:26:18 2012
Optimize a model with 5367 rows, 1682 columns and 16506 nonzeros
Presolve time: 0.01s
Presolved: 5367 rows, 1682 columns, 16506 nonzeros
Variable types: 0 continuous, 1682 integer (1682 binary)
Root relaxation: objective 0.000000e+00, 289 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 184 - 0.00000 - - 0s
* 0 0 0 0.0000000 0.00000 0.0% - 0s
Cutting planes:
Gomory: 9
Clique: 45
Zero half: 69
Explored 0 nodes (4235 simplex iterations) in 0.41 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: 4 -- 6
Gurobi 5.0.1 (linux64) logging started Fri Dec 14 06:26:18 2012
Optimize a model with 4495 rows, 1547 columns and 13755 nonzeros
Presolve time: 0.01s
Presolved: 4495 rows, 1547 columns, 13755 nonzeros
Variable types: 0 continuous, 1547 integer (1547 binary)
Root relaxation: objective 0.000000e+00, 296 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 266 - 0.00000 - - 0s
0 0 0.00000 0 260 - 0.00000 - - 0s
0 0 0.00000 0 291 - 0.00000 - - 1s
0 0 0.00000 0 370 - 0.00000 - - 1s
0 0 0.00000 0 249 - 0.00000 - - 2s
0 0 0.00000 0 286 - 0.00000 - - 2s
0 0 0.00000 0 250 - 0.00000 - - 3s
0 0 0.00000 0 247 - 0.00000 - - 3s
0 0 0.00000 0 275 - 0.00000 - - 4s
0 0 0.00000 0 305 - 0.00000 - - 5s
0 0 0.00000 0 305 - 0.00000 - - 5s
0 2 0.00000 0 305 - 0.00000 - - 6s
466 30 0.00000 17 272 - 0.00000 - 120 10s
705 47 0.00000 18 192 - 0.00000 - 115 15s
709 49 0.00000 19 318 - 0.00000 - 114 20s
836 70 infeasible 31 - 0.00000 - 178 25s
1071 65 0.00000 33 232 - 0.00000 - 198 30s
1287 89 0.00000 27 245 - 0.00000 - 211 35s
1516 98 0.00000 28 240 - 0.00000 - 220 40s
1741 127 0.00000 30 311 - 0.00000 - 225 45s
1970 144 infeasible 33 - 0.00000 - 231 50s
2190 144 infeasible 29 - 0.00000 - 237 55s
2425 163 0.00000 27 276 - 0.00000 - 240 60s
2715 195 infeasible 30 - 0.00000 - 239 65s
2920 170 0.00000 28 264 - 0.00000 - 243 70s
3150 164 0.00000 25 301 - 0.00000 - 246 75s
3365 145 0.00000 31 291 - 0.00000 - 249 80s
3619 135 infeasible 30 - 0.00000 - 249 85s
3878 160 0.00000 33 260 - 0.00000 - 249 90s
4124 194 0.00000 33 295 - 0.00000 - 249 95s
4363 195 infeasible 38 - 0.00000 - 250 100s
4607 201 0.00000 31 274 - 0.00000 - 250 105s
4839 203 infeasible 34 - 0.00000 - 251 110s
5047 197 infeasible 34 - 0.00000 - 253 115s
5278 200 0.00000 27 315 - 0.00000 - 253 120s
5496 200 0.00000 32 315 - 0.00000 - 255 125s
5720 194 0.00000 25 325 - 0.00000 - 256 130s
5942 200 infeasible 29 - 0.00000 - 257 135s
6136 182 infeasible 29 - 0.00000 - 259 140s
6334 182 infeasible 33 - 0.00000 - 260 145s
6567 195 0.00000 31 266 - 0.00000 - 260 150s
6798 186 0.00000 25 256 - 0.00000 - 261 155s
7012 198 infeasible 34 - 0.00000 - 261 160s
7229 189 infeasible 31 - 0.00000 - 262 165s
7478 204 0.00000 31 300 - 0.00000 - 262 170s
7694 188 infeasible 25 - 0.00000 - 263 175s
7913 199 0.00000 28 275 - 0.00000 - 263 180s
8112 192 0.00000 30 218 - 0.00000 - 265 185s
8355 201 0.00000 31 319 - 0.00000 - 264 190s
8564 194 infeasible 28 - 0.00000 - 264 195s
8796 186 0.00000 27 253 - 0.00000 - 265 200s
8990 188 infeasible 30 - 0.00000 - 266 205s
9234 194 infeasible 29 - 0.00000 - 265 210s
9483 185 0.00000 28 305 - 0.00000 - 265 215s
9712 194 infeasible 29 - 0.00000 - 265 220s
9931 181 infeasible 28 - 0.00000 - 265 225s
10153 179 infeasible 33 - 0.00000 - 265 230s
10383 187 infeasible 26 - 0.00000 - 266 235s
10614 182 0.00000 29 294 - 0.00000 - 266 240s
10828 180 infeasible 30 - 0.00000 - 266 245s
11035 185 infeasible 29 - 0.00000 - 267 250s
11245 181 infeasible 30 - 0.00000 - 267 255s
11470 184 0.00000 31 293 - 0.00000 - 267 260s
11708 180 infeasible 34 - 0.00000 - 267 265s
11931 165 0.00000 23 274 - 0.00000 - 267 270s
12165 177 0.00000 32 286 - 0.00000 - 267 275s
12411 169 infeasible 28 - 0.00000 - 267 280s
Cutting planes:
Clique: 5
Zero half: 4
Explored 12616 nodes (3398490 simplex iterations) in 283.98 seconds
Thread count was 1 (of 16 available processors)
Time limit reached
Best objective -, best bound 0.000000000000e+00, gap -
optimal solution found: number of colors: 6