current bounds on the number of colors: 0 -- 195
Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:12:33 2012
Optimize a model with 94091 rows, 19883 columns and 300603 nonzeros
Presolve time: 0.31s
Presolved: 94091 rows, 19883 columns, 300603 nonzeros
Variable types: 0 continuous, 19883 integer (19883 binary)
Root relaxation: objective 0.000000e+00, 709 iterations, 0.08 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 (1123 simplex iterations) in 0.52 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 -- 97
Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:12:34 2012
Optimize a model with 46659 rows, 10328 columns and 148752 nonzeros
Presolve time: 0.16s
Presolved: 46659 rows, 10328 columns, 148752 nonzeros
Variable types: 0 continuous, 10328 integer (10328 binary)
Root relaxation: objective 0.000000e+00, 534 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 (942 simplex iterations) in 0.25 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 -- 48
Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:12:35 2012
Optimize a model with 23427 rows, 5648 columns and 74376 nonzeros
Presolve time: 0.09s
Presolved: 23427 rows, 5648 columns, 74376 nonzeros
Variable types: 0 continuous, 5648 integer (5648 binary)
Root relaxation: objective 0.000000e+00, 466 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 (844 simplex iterations) in 0.14 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 -- 24
Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:12:36 2012
Optimize a model with 11811 rows, 3308 columns and 37188 nonzeros
Presolve time: 0.04s
Presolved: 11811 rows, 3308 columns, 37188 nonzeros
Variable types: 0 continuous, 3308 integer (3308 binary)
Root relaxation: objective 0.000000e+00, 417 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 (752 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 -- 12
Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:12:36 2012
Optimize a model with 6003 rows, 2138 columns and 18594 nonzeros
Presolve time: 0.02s
Presolved: 6003 rows, 2138 columns, 18594 nonzeros
Variable types: 0 continuous, 2138 integer (2138 binary)
Root relaxation: objective 0.000000e+00, 433 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 (2087 simplex iterations) in 0.10 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 07:12:36 2012
Optimize a model with 3099 rows, 1553 columns and 9297 nonzeros
Presolve time: 0.01s
Presolved: 3099 rows, 1553 columns, 9297 nonzeros
Variable types: 0 continuous, 1553 integer (1553 binary)
Root relaxation: objective 0.000000e+00, 455 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 388 - 0.00000 - - 0s
0 0 0.00000 0 382 - 0.00000 - - 0s
0 0 infeasible 0 - 0.10000 - - 0s
Explored 0 nodes (4599 simplex iterations) in 0.59 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 07:12:37 2012
Optimize a model with 4067 rows, 1748 columns and 12396 nonzeros
Presolve time: 0.01s
Presolved: 4067 rows, 1748 columns, 12396 nonzeros
Variable types: 0 continuous, 1748 integer (1748 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.00000 0 384 - 0.00000 - - 0s
0 0 0.00000 0 374 - 0.00000 - - 0s
0 0 0.00000 0 358 - 0.00000 - - 1s
0 0 0.00000 0 488 - 0.00000 - - 1s
0 0 0.00000 0 348 - 0.00000 - - 2s
0 0 0.00000 0 351 - 0.00000 - - 2s
0 0 0.00000 0 350 - 0.00000 - - 3s
0 0 0.00000 0 338 - 0.00000 - - 4s
0 0 0.00000 0 332 - 0.00000 - - 4s
0 0 0.00000 0 334 - 0.00000 - - 5s
0 0 0.00000 0 393 - 0.00000 - - 6s
0 0 0.00000 0 393 - 0.00000 - - 6s
0 2 0.00000 0 393 - 0.00000 - - 7s
179 23 infeasible 17 - 0.00000 - 175 10s
713 20 0.00000 16 413 - 0.00000 - 142 15s
1092 21 0.00000 12 344 - 0.00000 - 152 20s
1114 30 0.00000 16 375 - 0.00000 - 151 25s
1117 32 0.00000 16 322 - 0.00000 - 150 31s
1119 34 0.00000 8 314 - 0.00000 - 150 35s
1205 25 0.00000 18 368 - 0.00000 - 202 40s
1393 27 infeasible 23 - 0.00000 - 215 45s
1560 18 infeasible 27 - 0.00000 - 227 50s
1769 11 infeasible 22 - 0.00000 - 232 55s
Cutting planes:
Gomory: 1
Zero half: 17
Explored 1933 nodes (511735 simplex iterations) in 59.67 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 07:13:36 2012
Optimize a model with 5035 rows, 1943 columns and 15495 nonzeros
Presolve time: 0.01s
Presolved: 5035 rows, 1943 columns, 15495 nonzeros
Variable types: 0 continuous, 1943 integer (1943 binary)
Root relaxation: objective 0.000000e+00, 415 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 348 - 0.00000 - - 0s
0 0 0.00000 0 324 - 0.00000 - - 0s
0 0 0.00000 0 384 - 0.00000 - - 0s
H 0 0 0.0000000 0.00000 0.0% - 0s
Explored 0 nodes (9900 simplex iterations) in 0.94 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