current bounds on the number of colors: 0 -- 194
Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:53:49 2012
Optimize a model with 93411 rows, 19779 columns and 298469 nonzeros
Presolve time: 0.30s
Presolved: 93411 rows, 19779 columns, 298469 nonzeros
Variable types: 0 continuous, 19779 integer (19779 binary)
Root relaxation: objective 0.000000e+00, 702 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 (1106 simplex iterations) in 0.49 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 06:53:51 2012
Optimize a model with 46322 rows, 10273 columns and 147696 nonzeros
Presolve time: 0.16s
Presolved: 46322 rows, 10273 columns, 147696 nonzeros
Variable types: 0 continuous, 10273 integer (10273 binary)
Root relaxation: objective 0.000000e+00, 719 iterations, 0.05 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 (1158 simplex iterations) in 0.27 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 06:53:51 2012
Optimize a model with 23258 rows, 5617 columns and 73848 nonzeros
Presolve time: 0.09s
Presolved: 23258 rows, 5617 columns, 73848 nonzeros
Variable types: 0 continuous, 5617 integer (5617 binary)
Root relaxation: objective 0.000000e+00, 451 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 (819 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 06:53:52 2012
Optimize a model with 11726 rows, 3289 columns and 36924 nonzeros
Presolve time: 0.04s
Presolved: 11726 rows, 3289 columns, 36924 nonzeros
Variable types: 0 continuous, 3289 integer (3289 binary)
Root relaxation: objective 0.000000e+00, 416 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 (803 simplex iterations) in 0.06 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 06:53:52 2012
Optimize a model with 5960 rows, 2125 columns and 18462 nonzeros
Presolve time: 0.02s
Presolved: 5960 rows, 2125 columns, 18462 nonzeros
Variable types: 0 continuous, 2125 integer (2125 binary)
Root relaxation: objective 0.000000e+00, 416 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 (1458 simplex iterations) in 0.06 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 06:53:52 2012
Optimize a model with 3077 rows, 1543 columns and 9231 nonzeros
Presolve time: 0.01s
Presolved: 3077 rows, 1543 columns, 9231 nonzeros
Variable types: 0 continuous, 1543 integer (1543 binary)
Root relaxation: objective 0.000000e+00, 438 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 302 - 0.00000 - - 0s
0 0 0.00000 0 382 - 0.00000 - - 0s
0 0 0.00000 0 514 - 0.00000 - - 1s
0 0 0.00000 0 529 - 0.00000 - - 1s
0 0 infeasible 0 - 0.10000 - - 1s
Cutting planes:
Gomory: 3
Zero half: 1158
Explored 0 nodes (11401 simplex iterations) in 1.72 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 06:53:54 2012
Optimize a model with 4038 rows, 1737 columns and 12308 nonzeros
Presolve time: 0.01s
Presolved: 4038 rows, 1737 columns, 12308 nonzeros
Variable types: 0 continuous, 1737 integer (1737 binary)
Root relaxation: objective 0.000000e+00, 471 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 378 - 0.00000 - - 0s
0 0 0.00000 0 338 - 0.00000 - - 0s
0 0 0.00000 0 342 - 0.00000 - - 1s
0 0 0.00000 0 496 - 0.00000 - - 1s
0 0 0.00000 0 334 - 0.00000 - - 2s
0 0 0.00000 0 332 - 0.00000 - - 2s
0 0 0.00000 0 338 - 0.00000 - - 3s
0 0 0.00000 0 336 - 0.00000 - - 3s
0 0 0.00000 0 328 - 0.00000 - - 4s
0 0 0.00000 0 322 - 0.00000 - - 4s
0 0 0.00000 0 310 - 0.00000 - - 5s
0 0 0.00000 0 314 - 0.00000 - - 6s
0 0 0.00000 0 308 - 0.00000 - - 6s
0 0 0.00000 0 312 - 0.00000 - - 7s
0 0 0.00000 0 298 - 0.00000 - - 8s
0 0 0.00000 0 301 - 0.00000 - - 8s
0 0 0.00000 0 300 - 0.00000 - - 9s
0 2 0.00000 0 300 - 0.00000 - - 10s
418 119 0.00000 18 409 - 0.00000 - 147 15s
609 133 0.00000 14 302 - 0.00000 - 132 21s
612 135 0.00000 23 286 - 0.00000 - 132 26s
614 137 0.00000 16 309 - 0.00000 - 131 31s
623 141 0.00000 17 400 - 0.00000 - 211 35s
789 101 infeasible 28 - 0.00000 - 218 40s
977 53 0.00000 25 358 - 0.00000 - 232 45s
1213 35 infeasible 28 - 0.00000 - 237 50s
1415 35 infeasible 29 - 0.00000 - 244 55s
1638 24 0.00000 24 399 - 0.00000 - 246 60s
1854 20 infeasible 23 - 0.00000 - 248 65s
2080 14 infeasible 26 - 0.00000 - 250 70s
2284 4 0.00000 24 461 - 0.00000 - 252 75s
Cutting planes:
Zero half: 9
Explored 2373 nodes (668688 simplex iterations) in 77.40 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 06:55:11 2012
Optimize a model with 4999 rows, 1931 columns and 15385 nonzeros
Presolve time: 0.01s
Presolved: 4999 rows, 1931 columns, 15385 nonzeros
Variable types: 0 continuous, 1931 integer (1931 binary)
Root relaxation: objective 0.000000e+00, 428 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 138 - 0.00000 - - 0s
H 0 0 0.0000000 0.00000 0.0% - 0s
Explored 0 nodes (3604 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%
optimal solution found: number of colors: 5