current bounds on the number of colors: 0 -- 196
Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:46:02 2012
Optimize a model with 96726 rows, 20193 columns and 308798 nonzeros
Presolve time: 0.32s
Presolved: 96726 rows, 20193 columns, 308798 nonzeros
Variable types: 0 continuous, 20193 integer (20193 binary)
Root relaxation: objective 0.000000e+00, 684 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 (1089 simplex iterations) in 0.53 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 -- 98
Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:46:04 2012
Optimize a model with 48461 rows, 10589 columns and 154399 nonzeros
Presolve time: 0.16s
Presolved: 48461 rows, 10589 columns, 154399 nonzeros
Variable types: 0 continuous, 10589 integer (10589 binary)
Root relaxation: objective 0.000000e+00, 720 iterations, 0.06 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 (1170 simplex iterations) in 0.29 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 -- 49
Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:46:05 2012
Optimize a model with 23836 rows, 5689 columns and 75624 nonzeros
Presolve time: 0.10s
Presolved: 23836 rows, 5689 columns, 75624 nonzeros
Variable types: 0 continuous, 5689 integer (5689 binary)
Root relaxation: objective 0.000000e+00, 421 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 (807 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:46:05 2012
Optimize a model with 12016 rows, 3337 columns and 37812 nonzeros
Presolve time: 0.04s
Presolved: 12016 rows, 3337 columns, 37812 nonzeros
Variable types: 0 continuous, 3337 integer (3337 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 (787 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:46:05 2012
Optimize a model with 6106 rows, 2161 columns and 18906 nonzeros
Presolve time: 0.02s
Presolved: 6106 rows, 2161 columns, 18906 nonzeros
Variable types: 0 continuous, 2161 integer (2161 binary)
Root relaxation: objective 0.000000e+00, 418 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 (1333 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 07:46:06 2012
Optimize a model with 3151 rows, 1573 columns and 9453 nonzeros
Presolve time: 0.01s
Presolved: 3151 rows, 1573 columns, 9453 nonzeros
Variable types: 0 continuous, 1573 integer (1573 binary)
Root relaxation: objective 0.000000e+00, 442 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 390 - 0.00000 - - 0s
0 0 0.00000 0 388 - 0.00000 - - 0s
0 0 infeasible 0 - 0.10000 - - 0s
Explored 0 nodes (4635 simplex iterations) in 0.62 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:46:06 2012
Optimize a model with 4136 rows, 1769 columns and 12604 nonzeros
Presolve time: 0.01s
Presolved: 4136 rows, 1769 columns, 12604 nonzeros
Variable types: 0 continuous, 1769 integer (1769 binary)
Root relaxation: objective 0.000000e+00, 470 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 374 - 0.00000 - - 0s
0 0 0.00000 0 360 - 0.00000 - - 1s
0 0 0.00000 0 495 - 0.00000 - - 1s
0 0 0.00000 0 346 - 0.00000 - - 2s
0 0 0.00000 0 326 - 0.00000 - - 2s
0 0 0.00000 0 326 - 0.00000 - - 3s
0 0 0.00000 0 347 - 0.00000 - - 3s
0 0 0.00000 0 338 - 0.00000 - - 4s
0 0 0.00000 0 326 - 0.00000 - - 5s
0 0 0.00000 0 318 - 0.00000 - - 5s
0 0 0.00000 0 320 - 0.00000 - - 6s
0 0 0.00000 0 320 - 0.00000 - - 6s
0 2 0.00000 0 320 - 0.00000 - - 7s
208 32 0.00000 13 352 - 0.00000 - 165 10s
603 47 0.00000 8 360 - 0.00000 - 164 15s
607 50 0.00000 12 320 - 0.00000 - 163 21s
610 52 0.00000 8 302 - 0.00000 - 162 26s
613 54 0.00000 10 453 - 0.00000 - 162 32s
614 55 0.00000 8 387 - 0.00000 - 161 35s
617 57 0.00000 8 266 - 0.00000 - 161 40s
623 61 0.00000 17 464 - 0.00000 - 300 45s
701 47 infeasible 27 - 0.00000 - 291 50s
868 22 infeasible 27 - 0.00000 - 293 55s
1048 20 0.00000 27 384 - 0.00000 - 293 60s
1208 36 0.00000 29 438 - 0.00000 - 295 65s
1378 60 infeasible 32 - 0.00000 - 295 70s
1565 63 infeasible 30 - 0.00000 - 292 75s
1753 49 0.00000 23 417 - 0.00000 - 292 80s
1932 42 infeasible 30 - 0.00000 - 293 85s
2106 34 infeasible 33 - 0.00000 - 293 90s
2239 15 infeasible 24 - 0.00000 - 297 95s
2419 13 0.00000 27 352 - 0.00000 - 296 100s
2609 17 infeasible 31 - 0.00000 - 296 105s
2809 5 infeasible 28 - 0.00000 - 294 110s
Cutting planes:
Clique: 1
Zero half: 23
Explored 2873 nodes (894798 simplex iterations) in 111.87 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:47:58 2012
Optimize a model with 5121 rows, 1965 columns and 15755 nonzeros
Presolve time: 0.01s
Presolved: 5121 rows, 1965 columns, 15755 nonzeros
Variable types: 0 continuous, 1965 integer (1965 binary)
Root relaxation: objective 0.000000e+00, 412 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 370 - 0.00000 - - 0s
* 0 0 0 0.0000000 0.00000 0.0% - 0s
Cutting planes:
Gomory: 4
Clique: 150
MIR: 2
Zero half: 410
Explored 0 nodes (5229 simplex iterations) in 0.48 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