current bounds on the number of colors: 0 -- 212
Gurobi 5.0.1 (linux64) logging started Sat Dec 15 14:19:00 2012
Optimize a model with 121264 rows, 23614 columns and 385628 nonzeros
Presolve time: 0.42s
Presolved: 121264 rows, 23614 columns, 385628 nonzeros
Variable types: 0 continuous, 23614 integer (23614 binary)
Root relaxation: objective 0.000000e+00, 539 iterations, 0.15 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 (982 simplex iterations) in 0.73 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 -- 106
Gurobi 5.0.1 (linux64) logging started Sat Dec 15 14:19:02 2012
Optimize a model with 60738 rows, 12378 columns and 192814 nonzeros
Presolve time: 0.17s
Presolved: 60738 rows, 12378 columns, 192814 nonzeros
Variable types: 0 continuous, 12378 integer (12378 binary)
Root relaxation: objective 0.000000e+00, 793 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 (1305 simplex iterations) in 0.34 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 -- 53
Gurobi 5.0.1 (linux64) logging started Sat Dec 15 14:19:04 2012
Optimize a model with 29904 rows, 6654 columns and 94588 nonzeros
Presolve time: 0.12s
Presolved: 29904 rows, 6654 columns, 94588 nonzeros
Variable types: 0 continuous, 6654 integer (6654 binary)
Root relaxation: objective 0.000000e+00, 504 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 (921 simplex iterations) in 0.18 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 -- 26
Gurobi 5.0.1 (linux64) logging started Sat Dec 15 14:19:04 2012
Optimize a model with 15058 rows, 3898 columns and 47294 nonzeros
Presolve time: 0.05s
Presolved: 15058 rows, 3898 columns, 47294 nonzeros
Variable types: 0 continuous, 3898 integer (3898 binary)
Root relaxation: objective 0.000000e+00, 437 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 (835 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 -- 13
Gurobi 5.0.1 (linux64) logging started Sat Dec 15 14:19:04 2012
Optimize a model with 7064 rows, 2414 columns and 21828 nonzeros
Presolve time: 0.02s
Presolved: 7064 rows, 2414 columns, 21828 nonzeros
Variable types: 0 continuous, 2414 integer (2414 binary)
Root relaxation: objective 0.000000e+00, 444 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 (1634 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 -- 6
Gurobi 5.0.1 (linux64) logging started Sat Dec 15 14:19:05 2012
Optimize a model with 3638 rows, 1778 columns and 10914 nonzeros
Presolve time: 0.01s
Presolved: 3638 rows, 1778 columns, 10914 nonzeros
Variable types: 0 continuous, 1778 integer (1778 binary)
Root relaxation: objective 0.000000e+00, 484 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 420 - 0.00000 - - 0s
0 0 0.00000 0 424 - 0.00000 - - 0s
0 0 infeasible 0 - 0.10000 - - 0s
Explored 0 nodes (6260 simplex iterations) in 0.98 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 -- 6
Gurobi 5.0.1 (linux64) logging started Sat Dec 15 14:19:06 2012
Optimize a model with 4780 rows, 1990 columns and 14552 nonzeros
Presolve time: 0.01s
Presolved: 4780 rows, 1990 columns, 14552 nonzeros
Variable types: 0 continuous, 1990 integer (1990 binary)
Root relaxation: objective 0.000000e+00, 459 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 418 - 0.00000 - - 0s
0 0 0.00000 0 414 - 0.00000 - - 0s
0 0 0.00000 0 390 - 0.00000 - - 1s
0 0 0.00000 0 582 - 0.00000 - - 1s
0 0 0.00000 0 397 - 0.00000 - - 2s
0 0 0.00000 0 398 - 0.00000 - - 3s
0 0 0.00000 0 382 - 0.00000 - - 4s
0 0 0.00000 0 378 - 0.00000 - - 5s
0 0 0.00000 0 380 - 0.00000 - - 6s
0 0 0.00000 0 401 - 0.00000 - - 7s
0 0 0.00000 0 396 - 0.00000 - - 7s
0 2 0.00000 0 389 - 0.00000 - - 8s
47 23 infeasible 22 - 0.00000 - 260 10s
327 52 0.00000 20 372 - 0.00000 - 196 15s
607 57 0.00000 17 390 - 0.00000 - 189 21s
609 59 0.00000 16 376 - 0.00000 - 189 25s
612 61 0.00000 18 371 - 0.00000 - 188 31s
614 62 0.00000 11 350 - 0.00000 - 187 37s
615 63 0.00000 20 362 - 0.00000 - 187 40s
617 64 0.00000 11 386 - 0.00000 - 186 46s
666 71 0.00000 17 538 - 0.00000 - 310 50s
776 56 0.00000 19 535 - 0.00000 - 317 55s
873 46 infeasible 24 - 0.00000 - 330 60s
980 45 infeasible 27 - 0.00000 - 338 65s
1094 37 infeasible 26 - 0.00000 - 343 70s
1191 36 infeasible 29 - 0.00000 - 350 75s
1276 39 infeasible 24 - 0.00000 - 359 80s
1380 41 0.00000 16 396 - 0.00000 - 363 85s
1471 52 infeasible 26 - 0.00000 - 369 90s
1584 53 infeasible 22 - 0.00000 - 370 95s
1694 51 infeasible 24 - 0.00000 - 372 100s
1803 60 0.00000 25 508 - 0.00000 - 373 105s
1897 56 0.00000 24 404 - 0.00000 - 377 110s
2024 53 infeasible 26 - 0.00000 - 375 115s
2155 64 0.00000 28 404 - 0.00000 - 372 120s
2242 57 infeasible 27 - 0.00000 - 377 125s
2341 58 infeasible 26 - 0.00000 - 380 130s
2438 51 infeasible 27 - 0.00000 - 382 135s
2563 52 0.00000 23 401 - 0.00000 - 380 140s
2662 47 infeasible 26 - 0.00000 - 382 145s
2759 46 infeasible 21 - 0.00000 - 383 150s
2860 35 infeasible 23 - 0.00000 - 384 155s
2946 31 infeasible 22 - 0.00000 - 387 160s
3053 30 infeasible 23 - 0.00000 - 387 165s
3162 23 infeasible 24 - 0.00000 - 387 170s
3262 20 infeasible 21 - 0.00000 - 388 175s
3361 25 0.00000 25 441 - 0.00000 - 388 180s
3444 16 infeasible 24 - 0.00000 - 391 185s
3537 15 0.00000 23 516 - 0.00000 - 392 190s
3621 11 0.00000 25 515 - 0.00000 - 395 195s
3710 10 infeasible 26 - 0.00000 - 396 200s
3807 11 0.00000 23 517 - 0.00000 - 397 205s
3902 6 0.00000 20 506 - 0.00000 - 397 210s
Cutting planes:
Gomory: 1
Zero half: 13
Explored 4015 nodes (1642236 simplex iterations) in 214.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: 4 -- 6
Gurobi 5.0.1 (linux64) logging started Sat Dec 15 14:22:41 2012
Optimize a model with 5922 rows, 2202 columns and 18190 nonzeros
Presolve time: 0.02s
Presolved: 5922 rows, 2202 columns, 18190 nonzeros
Variable types: 0 continuous, 2202 integer (2202 binary)
Root relaxation: objective 0.000000e+00, 446 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 402 - 0.00000 - - 0s
0 0 0.00000 0 407 - 0.00000 - - 1s
0 0 0.00000 0 401 - 0.00000 - - 2s
H 0 0 0.0000000 0.00000 0.0% - 2s
Explored 0 nodes (16870 simplex iterations) in 2.38 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: 5