current bounds on the number of colors: 0 -- 149
Gurobi 5.0.1 (linux64) logging started Fri Dec 14 17:54:09 2012
Optimize a model with 77479 rows, 12071 columns and 243016 nonzeros
Presolve time: 0.22s
Presolved: 77479 rows, 12071 columns, 243016 nonzeros
Variable types: 0 continuous, 12071 integer (12071 binary)
Root relaxation: objective 0.000000e+00, 369 iterations, 0.09 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 (793 simplex iterations) in 0.43 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 -- 74
Gurobi 5.0.1 (linux64) logging started Fri Dec 14 17:54:11 2012
Optimize a model with 38814 rows, 6558 columns and 121508 nonzeros
Presolve time: 0.15s
Presolved: 38814 rows, 6558 columns, 121508 nonzeros
Variable types: 0 continuous, 6558 integer (6558 binary)
Root relaxation: objective 0.000000e+00, 430 iterations, 0.04 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 (808 simplex iterations) in 0.24 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 -- 37
Gurobi 5.0.1 (linux64) logging started Fri Dec 14 17:54:11 2012
Optimize a model with 18959 rows, 3727 columns and 59112 nonzeros
Presolve time: 0.07s
Presolved: 18959 rows, 3727 columns, 59112 nonzeros
Variable types: 0 continuous, 3727 integer (3727 binary)
Root relaxation: objective 0.000000e+00, 440 iterations, 0.02 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 (899 simplex iterations) in 0.12 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 -- 18
Gurobi 5.0.1 (linux64) logging started Fri Dec 14 17:54:12 2012
Optimize a model with 9554 rows, 2386 columns and 29556 nonzeros
Presolve time: 0.03s
Presolved: 9554 rows, 2386 columns, 29556 nonzeros
Variable types: 0 continuous, 2386 integer (2386 binary)
Root relaxation: objective 0.000000e+00, 310 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 (1072 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 -- 9
Gurobi 5.0.1 (linux64) logging started Fri Dec 14 17:54:12 2012
Optimize a model with 4329 rows, 1641 columns and 13136 nonzeros
Presolve time: 0.01s
Presolved: 4329 rows, 1641 columns, 13136 nonzeros
Variable types: 0 continuous, 1641 integer (1641 binary)
Root relaxation: objective 0.000000e+00, 317 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 298 - 0.00000 - - 0s
0 0 0.00000 0 296 - 0.00000 - - 0s
0 0 0.00000 0 467 - 0.00000 - - 1s
0 0 0.00000 0 467 - 0.00000 - - 2s
0 0 0.00000 0 468 - 0.00000 - - 3s
0 0 0.00000 0 462 - 0.00000 - - 5s
0 0 0.00000 0 462 - 0.00000 - - 5s
0 0 0.00000 0 463 - 0.00000 - - 6s
0 0 0.00000 0 463 - 0.00000 - - 7s
0 2 0.00000 0 463 - 0.00000 - - 8s
22 0 infeasible 3 - infeasible - 536 10s
Cutting planes:
Clique: 16
Zero half: 14
Explored 23 nodes (45005 simplex iterations) in 10.02 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 -- 9
Gurobi 5.0.1 (linux64) logging started Fri Dec 14 17:54:22 2012
Optimize a model with 6419 rows, 1939 columns and 19704 nonzeros
Presolve time: 0.02s
Presolved: 6419 rows, 1939 columns, 19704 nonzeros
Variable types: 0 continuous, 1939 integer (1939 binary)
Root relaxation: objective 0.000000e+00, 330 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 280 - 0.00000 - - 0s
0 0 0.00000 0 258 - 0.00000 - - 0s
0 0 0.00000 0 296 - 0.00000 - - 1s
0 0 0.00000 0 373 - 0.00000 - - 1s
0 0 0.00000 0 273 - 0.00000 - - 2s
H 0 0 0.0000000 0.00000 0.0% - 2s
Explored 0 nodes (16083 simplex iterations) in 2.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: 4 -- 6
Gurobi 5.0.1 (linux64) logging started Fri Dec 14 17:54:24 2012
Optimize a model with 5374 rows, 1790 columns and 16420 nonzeros
Presolve time: 0.01s
Presolved: 5374 rows, 1790 columns, 16420 nonzeros
Variable types: 0 continuous, 1790 integer (1790 binary)
Root relaxation: objective 0.000000e+00, 317 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 296 - 0.00000 - - 0s
0 0 0.00000 0 238 - 0.00000 - - 0s
0 0 0.00000 0 256 - 0.00000 - - 1s
0 0 0.00000 0 426 - 0.00000 - - 1s
0 0 0.00000 0 345 - 0.00000 - - 3s
0 0 0.00000 0 378 - 0.00000 - - 4s
0 0 0.00000 0 326 - 0.00000 - - 5s
0 0 0.00000 0 386 - 0.00000 - - 6s
0 0 0.00000 0 380 - 0.00000 - - 6s
0 2 0.00000 0 380 - 0.00000 - - 8s
88 34 0.00000 27 277 - 0.00000 - 237 10s
441 47 0.00000 12 358 - 0.00000 - 166 15s
604 74 0.00000 20 447 - 0.00000 - 168 20s
606 75 0.00000 18 342 - 0.00000 - 167 25s
608 77 0.00000 5 351 - 0.00000 - 167 30s
611 79 0.00000 15 338 - 0.00000 - 166 36s
712 92 0.00000 25 344 - 0.00000 - 239 40s
846 71 infeasible 29 - 0.00000 - 258 45s
985 79 0.00000 27 354 - 0.00000 - 269 50s
1139 133 0.00000 20 324 - 0.00000 - 271 55s
1290 160 infeasible 27 - 0.00000 - 277 60s
1433 197 0.00000 27 358 - 0.00000 - 281 65s
1551 215 0.00000 20 262 - 0.00000 - 289 70s
1687 235 infeasible 28 - 0.00000 - 294 75s
1824 232 infeasible 31 - 0.00000 - 298 80s
1946 226 0.00000 27 334 - 0.00000 - 303 85s
2094 226 infeasible 28 - 0.00000 - 306 90s
2240 222 0.00000 26 362 - 0.00000 - 308 95s
2378 246 infeasible 29 - 0.00000 - 310 100s
2511 241 infeasible 33 - 0.00000 - 313 105s
2656 254 0.00000 28 335 - 0.00000 - 314 110s
2778 250 infeasible 28 - 0.00000 - 317 115s
2898 256 infeasible 34 - 0.00000 - 320 120s
3036 260 infeasible 34 - 0.00000 - 321 125s
3172 266 infeasible 35 - 0.00000 - 322 130s
3302 274 0.00000 28 284 - 0.00000 - 324 135s
3431 273 infeasible 33 - 0.00000 - 325 140s
3568 276 0.00000 27 347 - 0.00000 - 326 145s
3708 274 0.00000 25 266 - 0.00000 - 326 150s
3849 273 0.00000 28 344 - 0.00000 - 327 155s
3997 277 0.00000 28 338 - 0.00000 - 327 160s
4139 293 infeasible 32 - 0.00000 - 327 165s
4287 287 infeasible 31 - 0.00000 - 327 170s
4420 286 infeasible 36 - 0.00000 - 328 175s
4558 292 infeasible 30 - 0.00000 - 329 180s
4688 278 infeasible 30 - 0.00000 - 330 185s
4815 287 infeasible 30 - 0.00000 - 331 190s
4940 286 infeasible 36 - 0.00000 - 332 195s
5061 285 infeasible 32 - 0.00000 - 333 200s
5213 295 0.00000 28 320 - 0.00000 - 332 205s
5350 282 infeasible 28 - 0.00000 - 333 210s
5485 289 infeasible 36 - 0.00000 - 333 215s
5613 285 infeasible 30 - 0.00000 - 334 220s
5740 316 infeasible 39 - 0.00000 - 334 225s
5873 319 infeasible 33 - 0.00000 - 334 230s
6012 318 infeasible 36 - 0.00000 - 334 235s
6137 317 infeasible 36 - 0.00000 - 335 240s
6268 318 0.00000 29 305 - 0.00000 - 336 245s
6415 325 infeasible 34 - 0.00000 - 335 250s
6553 323 infeasible 32 - 0.00000 - 335 255s
6685 323 0.00000 24 350 - 0.00000 - 336 260s
6814 340 infeasible 34 - 0.00000 - 336 265s
6935 331 infeasible 30 - 0.00000 - 337 270s
7057 329 infeasible 34 - 0.00000 - 337 275s
7189 331 infeasible 43 - 0.00000 - 338 280s
Cutting planes:
Clique: 5
Zero half: 7
Explored 7283 nodes (2495287 simplex iterations) in 283.35 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