current bounds on the number of colors: 0 -- 130
Gurobi 5.0.1 (linux64) logging started Fri Dec 14 02:07:26 2012
Optimize a model with 54080 rows, 9280 columns and 170300 nonzeros
Presolve time: 0.17s
Presolved: 54080 rows, 9280 columns, 170300 nonzeros
Variable types: 0 continuous, 9280 integer (9280 binary)
Root relaxation: objective 0.000000e+00, 336 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 (644 simplex iterations) in 0.30 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 -- 65
Gurobi 5.0.1 (linux64) logging started Fri Dec 14 02:07:27 2012
Optimize a model with 26690 rows, 4990 columns and 83840 nonzeros
Presolve time: 0.12s
Presolved: 26690 rows, 4990 columns, 83840 nonzeros
Variable types: 0 continuous, 4990 integer (4990 binary)
Root relaxation: objective 0.000000e+00, 310 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 (828 simplex iterations) in 0.21 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 -- 32
Gurobi 5.0.1 (linux64) logging started Fri Dec 14 02:07:27 2012
Optimize a model with 13410 rows, 2910 columns and 41920 nonzeros
Presolve time: 0.04s
Presolved: 13410 rows, 2910 columns, 41920 nonzeros
Variable types: 0 continuous, 2910 integer (2910 binary)
Root relaxation: objective 0.000000e+00, 263 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 (536 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 -- 16
Gurobi 5.0.1 (linux64) logging started Fri Dec 14 02:07:28 2012
Optimize a model with 6770 rows, 1870 columns and 20960 nonzeros
Presolve time: 0.02s
Presolved: 6770 rows, 1870 columns, 20960 nonzeros
Variable types: 0 continuous, 1870 integer (1870 binary)
Root relaxation: objective 0.000000e+00, 268 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 (622 simplex iterations) in 0.04 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 -- 8
Gurobi 5.0.1 (linux64) logging started Fri Dec 14 02:07:28 2012
Optimize a model with 3450 rows, 1350 columns and 10480 nonzeros
Presolve time: 0.01s
Presolved: 3450 rows, 1350 columns, 10480 nonzeros
Variable types: 0 continuous, 1350 integer (1350 binary)
Root relaxation: objective 0.000000e+00, 285 iterations, 0.00 seconds
Nodes | Current Node | Objective Bounds | Work
Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time
0 0 0.00000 0 260 - 0.00000 - - 0s
0 0 0.00000 0 166 - 0.00000 - - 0s
0 0 0.00000 0 389 - 0.00000 - - 1s
0 0 0.00000 0 380 - 0.00000 - - 1s
0 0 0.00000 0 378 - 0.00000 - - 1s
0 0 0.00000 0 378 - 0.00000 - - 2s
0 0 0.00000 0 384 - 0.00000 - - 3s
0 0 0.00000 0 385 - 0.00000 - - 4s
0 0 0.00000 0 381 - 0.00000 - - 5s
0 0 0.00000 0 378 - 0.00000 - - 5s
0 0 0.00000 0 376 - 0.00000 - - 6s
0 0 0.00000 0 376 - 0.00000 - - 7s
0 0 0.00000 0 376 - 0.00000 - - 8s
0 2 0.00000 0 376 - 0.00000 - - 9s
28 8 0.00000 10 359 - 0.00000 - 333 10s
Cutting planes:
Clique: 20
Zero half: 31
Explored 73 nodes (49897 simplex iterations) in 11.25 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 -- 8
Gurobi 5.0.1 (linux64) logging started Fri Dec 14 02:07:39 2012
Optimize a model with 5110 rows, 1610 columns and 15720 nonzeros
Presolve time: 0.01s
Presolved: 5110 rows, 1610 columns, 15720 nonzeros
Variable types: 0 continuous, 1610 integer (1610 binary)
Root relaxation: objective 0.000000e+00, 279 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 207 - 0.00000 - - 0s
H 0 0 0.0000000 0.00000 0.0% - 0s
Explored 0 nodes (2444 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: 4 -- 6
Gurobi 5.0.1 (linux64) logging started Fri Dec 14 02:07:39 2012
Optimize a model with 4280 rows, 1480 columns and 13100 nonzeros
Presolve time: 0.01s
Presolved: 4280 rows, 1480 columns, 13100 nonzeros
Variable types: 0 continuous, 1480 integer (1480 binary)
Root relaxation: objective 0.000000e+00, 270 iterations, 0.00 seconds
Nodes | Current Node | Objective Bounds | Work
Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time
0 0 0.00000 0 158 - 0.00000 - - 0s
0 0 0.00000 0 184 - 0.00000 - - 0s
0 0 0.00000 0 322 - 0.00000 - - 1s
0 0 0.00000 0 330 - 0.00000 - - 1s
0 0 0.00000 0 266 - 0.00000 - - 2s
0 0 0.00000 0 296 - 0.00000 - - 2s
0 0 0.00000 0 287 - 0.00000 - - 3s
0 0 0.00000 0 311 - 0.00000 - - 4s
0 0 0.00000 0 318 - 0.00000 - - 4s
0 0 0.00000 0 318 - 0.00000 - - 4s
0 2 0.00000 0 318 - 0.00000 - - 5s
638 55 0.00000 25 256 - 0.00000 - 103 10s
718 76 0.00000 11 298 - 0.00000 - 101 15s
723 79 0.00000 9 288 - 0.00000 - 101 20s
728 82 0.00000 19 306 - 0.00000 - 100 25s
946 66 0.00000 29 292 - 0.00000 - 174 30s
1247 103 infeasible 32 - 0.00000 - 183 35s
1517 141 infeasible 24 - 0.00000 - 194 40s
1810 190 infeasible 29 - 0.00000 - 198 45s
2077 205 infeasible 34 - 0.00000 - 204 50s
2378 230 infeasible 32 - 0.00000 - 206 55s
2664 244 0.00000 20 288 - 0.00000 - 209 60s
2957 293 infeasible 35 - 0.00000 - 209 65s
3276 314 infeasible 34 - 0.00000 - 210 70s
3538 322 0.00000 33 267 - 0.00000 - 212 75s
3852 352 infeasible 34 - 0.00000 - 212 80s
4184 362 0.00000 38 249 - 0.00000 - 212 85s
4468 364 0.00000 30 218 - 0.00000 - 213 90s
4767 363 infeasible 38 - 0.00000 - 214 95s
5102 462 infeasible 32 - 0.00000 - 212 100s
5440 548 infeasible 33 - 0.00000 - 211 105s
5769 583 infeasible 37 - 0.00000 - 211 110s
6079 615 infeasible 35 - 0.00000 - 212 115s
6397 621 infeasible 36 - 0.00000 - 212 120s
6669 615 0.00000 30 276 - 0.00000 - 214 125s
6956 666 infeasible 30 - 0.00000 - 214 130s
7277 689 infeasible 35 - 0.00000 - 214 135s
7557 667 infeasible 36 - 0.00000 - 215 140s
7861 665 infeasible 29 - 0.00000 - 215 145s
8163 693 infeasible 31 - 0.00000 - 215 150s
8493 693 infeasible 33 - 0.00000 - 215 155s
8777 691 0.00000 28 282 - 0.00000 - 216 160s
9080 717 0.00000 29 284 - 0.00000 - 216 165s
9358 687 0.00000 26 260 - 0.00000 - 217 170s
9658 677 infeasible 31 - 0.00000 - 217 175s
9923 676 0.00000 28 268 - 0.00000 - 218 180s
10211 674 infeasible 29 - 0.00000 - 219 185s
10523 670 0.00000 32 210 - 0.00000 - 219 190s
10824 673 infeasible 31 - 0.00000 - 219 195s
11091 654 infeasible 32 - 0.00000 - 220 200s
11357 634 infeasible 29 - 0.00000 - 220 205s
11637 632 infeasible 30 - 0.00000 - 221 210s
11920 627 infeasible 39 - 0.00000 - 221 215s
12183 616 0.00000 29 274 - 0.00000 - 222 220s
12462 619 infeasible 41 - 0.00000 - 222 225s
12769 650 0.00000 36 214 - 0.00000 - 222 230s
13053 660 infeasible 31 - 0.00000 - 222 235s
13314 677 0.00000 29 277 - 0.00000 - 222 240s
13616 687 infeasible 27 - 0.00000 - 222 245s
13923 734 infeasible 32 - 0.00000 - 222 250s
14260 751 infeasible 32 - 0.00000 - 222 255s
14556 713 infeasible 29 - 0.00000 - 222 260s
14819 716 infeasible 23 - 0.00000 - 223 265s
15110 723 0.00000 26 293 - 0.00000 - 223 270s
15369 708 0.00000 30 272 - 0.00000 - 223 275s
15649 760 0.00000 32 210 - 0.00000 - 223 280s
15907 760 0.00000 30 206 - 0.00000 - 224 285s
Cutting planes:
Clique: 3
Zero half: 29
Explored 15923 nodes (3597958 simplex iterations) in 285.40 seconds
Thread count was 1 (of 16 available processors)
Time limit reached
Best objective -, best bound 0.000000000000e+00, gap -
optimal solution found: number of colors: 6