current bounds on the number of colors: 0 -- 145
Gurobi 5.0.1 (linux64) logging started Fri Dec 14 14:44:28 2012
Optimize a model with 76105 rows, 11495 columns and 238320 nonzeros
Presolve time: 0.21s
Presolved: 76105 rows, 11495 columns, 238320 nonzeros
Variable types: 0 continuous, 11495 integer (11495 binary)
Root relaxation: objective 0.000000e+00, 358 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 (752 simplex iterations) in 0.42 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 -- 72
Gurobi 5.0.1 (linux64) logging started Fri Dec 14 14:44:29 2012
Optimize a model with 38125 rows, 6275 columns and 119160 nonzeros
Presolve time: 0.15s
Presolved: 38125 rows, 6275 columns, 119160 nonzeros
Variable types: 0 continuous, 6275 integer (6275 binary)
Root relaxation: objective 0.000000e+00, 343 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 (668 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 -- 36
Gurobi 5.0.1 (linux64) logging started Fri Dec 14 14:44:30 2012
Optimize a model with 19135 rows, 3665 columns and 59580 nonzeros
Presolve time: 0.07s
Presolved: 19135 rows, 3665 columns, 59580 nonzeros
Variable types: 0 continuous, 3665 integer (3665 binary)
Root relaxation: objective 0.000000e+00, 403 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 (793 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 14:44:30 2012
Optimize a model with 9640 rows, 2360 columns and 29790 nonzeros
Presolve time: 0.03s
Presolved: 9640 rows, 2360 columns, 29790 nonzeros
Variable types: 0 continuous, 2360 integer (2360 binary)
Root relaxation: objective 0.000000e+00, 295 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 (1070 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 14:44:30 2012
Optimize a model with 4365 rows, 1635 columns and 13240 nonzeros
Presolve time: 0.01s
Presolved: 4365 rows, 1635 columns, 13240 nonzeros
Variable types: 0 continuous, 1635 integer (1635 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 290 - 0.00000 - - 0s
0 0 0.00000 0 292 - 0.00000 - - 0s
0 0 0.00000 0 470 - 0.00000 - - 1s
0 0 0.00000 0 479 - 0.00000 - - 2s
0 0 infeasible 0 - 0.10000 - - 3s
Cutting planes:
Clique: 26
Zero half: 40
Explored 0 nodes (13379 simplex iterations) in 3.02 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: 4 -- 9
Gurobi 5.0.1 (linux64) logging started Fri Dec 14 14:44:33 2012
Optimize a model with 6475 rows, 1925 columns and 19860 nonzeros
Presolve time: 0.02s
Presolved: 6475 rows, 1925 columns, 19860 nonzeros
Variable types: 0 continuous, 1925 integer (1925 binary)
Root relaxation: objective 0.000000e+00, 305 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 217 - 0.00000 - - 0s
0 0 0.00000 0 229 - 0.00000 - - 1s
Cutting planes:
Clique: 11
Explored 0 nodes (8672 simplex iterations) in 1.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: 4 -- 6
Gurobi 5.0.1 (linux64) logging started Fri Dec 14 14:44:35 2012
Optimize a model with 5420 rows, 1780 columns and 16550 nonzeros
Presolve time: 0.01s
Presolved: 5420 rows, 1780 columns, 16550 nonzeros
Variable types: 0 continuous, 1780 integer (1780 binary)
Root relaxation: objective 0.000000e+00, 297 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 288 - 0.00000 - - 0s
0 0 0.00000 0 140 - 0.00000 - - 0s
0 0 0.00000 0 360 - 0.00000 - - 2s
0 0 0.00000 0 378 - 0.00000 - - 2s
0 0 0.00000 0 351 - 0.00000 - - 3s
0 0 0.00000 0 373 - 0.00000 - - 4s
0 0 0.00000 0 338 - 0.00000 - - 5s
0 0 0.00000 0 340 - 0.00000 - - 6s
0 0 0.00000 0 324 - 0.00000 - - 7s
0 0 0.00000 0 331 - 0.00000 - - 8s
0 0 0.00000 0 331 - 0.00000 - - 9s
0 2 0.00000 0 331 - 0.00000 - - 10s
188 32 0.00000 15 244 - 0.00000 - 215 15s
405 31 0.00000 20 346 - 0.00000 - 210 20s
603 52 0.00000 23 360 - 0.00000 - 208 26s
605 54 0.00000 2 325 - 0.00000 - 208 30s
607 55 0.00000 10 355 - 0.00000 - 207 35s
609 56 0.00000 13 360 - 0.00000 - 206 40s
650 72 0.00000 20 342 - 0.00000 - 276 45s
747 52 infeasible 25 - 0.00000 - 293 50s
851 73 0.00000 32 352 - 0.00000 - 303 55s
940 76 0.00000 26 356 - 0.00000 - 316 60s
1020 74 0.00000 23 361 - 0.00000 - 332 65s
1130 66 0.00000 28 354 - 0.00000 - 337 70s
1223 75 0.00000 20 376 - 0.00000 - 345 75s
1335 83 0.00000 31 347 - 0.00000 - 348 80s
1424 76 0.00000 24 386 - 0.00000 - 356 85s
1522 76 infeasible 24 - 0.00000 - 360 90s
1620 66 infeasible 28 - 0.00000 - 364 95s
1707 65 infeasible 26 - 0.00000 - 370 100s
1801 73 infeasible 25 - 0.00000 - 373 105s
1899 81 0.00000 29 342 - 0.00000 - 376 110s
1985 67 0.00000 22 363 - 0.00000 - 380 115s
2098 66 0.00000 22 374 - 0.00000 - 380 120s
2185 73 infeasible 30 - 0.00000 - 383 125s
2283 73 0.00000 26 357 - 0.00000 - 386 130s
2378 74 0.00000 32 364 - 0.00000 - 388 135s
2477 63 0.00000 26 351 - 0.00000 - 389 140s
2569 61 infeasible 28 - 0.00000 - 391 145s
2664 54 infeasible 32 - 0.00000 - 393 150s
2760 50 infeasible 24 - 0.00000 - 394 155s
2857 51 infeasible 27 - 0.00000 - 396 160s
2954 48 0.00000 22 352 - 0.00000 - 397 165s
3047 51 infeasible 26 - 0.00000 - 397 170s
3139 45 infeasible 25 - 0.00000 - 399 175s
3239 39 infeasible 25 - 0.00000 - 399 180s
3340 40 infeasible 24 - 0.00000 - 399 185s
3434 38 0.00000 21 371 - 0.00000 - 400 190s
3516 36 infeasible 29 - 0.00000 - 403 195s
3615 39 0.00000 29 347 - 0.00000 - 404 200s
3710 44 0.00000 32 353 - 0.00000 - 405 205s
3806 58 0.00000 28 340 - 0.00000 - 405 210s
3886 50 infeasible 27 - 0.00000 - 407 215s
3975 49 0.00000 29 368 - 0.00000 - 409 220s
4061 45 infeasible 31 - 0.00000 - 410 225s
4146 42 infeasible 24 - 0.00000 - 411 230s
4253 43 infeasible 30 - 0.00000 - 411 235s
4338 42 infeasible 28 - 0.00000 - 412 240s
4428 38 0.00000 28 345 - 0.00000 - 413 245s
4521 35 infeasible 29 - 0.00000 - 413 250s
4622 28 0.00000 26 361 - 0.00000 - 413 255s
4722 24 0.00000 26 353 - 0.00000 - 413 260s
4829 23 0.00000 27 358 - 0.00000 - 413 265s
4933 15 infeasible 27 - 0.00000 - 413 270s
5022 10 infeasible 28 - 0.00000 - 413 275s
5106 10 infeasible 26 - 0.00000 - 414 280s
5205 9 infeasible 26 - 0.00000 - 414 285s
5296 10 0.00000 28 345 - 0.00000 - 415 290s
Cutting planes:
Gomory: 1
Clique: 5
Zero half: 3
Explored 5315 nodes (2254381 simplex iterations) in 291.13 seconds
Thread count was 1 (of 16 available processors)
Model objective exceeds cutoff
Best objective -, best bound -, gap -
optimal solution found: number of colors: 6