current bounds on the number of colors: 0 -- 129
Gurobi 5.0.1 (linux64) logging started Fri Dec 14 01:47:26 2012
Optimize a model with 53569 rows, 9091 columns and 168576 nonzeros
Presolve time: 0.18s
Presolved: 53569 rows, 9091 columns, 168576 nonzeros
Variable types: 0 continuous, 9091 integer (9091 binary)
Root relaxation: objective 0.000000e+00, 342 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 (628 simplex iterations) in 0.31 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 -- 64
Gurobi 5.0.1 (linux64) logging started Fri Dec 14 01:47:27 2012
Optimize a model with 26849 rows, 4963 columns and 84288 nonzeros
Presolve time: 0.12s
Presolved: 26849 rows, 4963 columns, 84288 nonzeros
Variable types: 0 continuous, 4963 integer (4963 binary)
Root relaxation: objective 0.000000e+00, 312 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 (591 simplex iterations) in 0.19 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 01:47:27 2012
Optimize a model with 13489 rows, 2899 columns and 42144 nonzeros
Presolve time: 0.04s
Presolved: 13489 rows, 2899 columns, 42144 nonzeros
Variable types: 0 continuous, 2899 integer (2899 binary)
Root relaxation: objective 0.000000e+00, 261 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 (500 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 01:47:27 2012
Optimize a model with 6809 rows, 1867 columns and 21072 nonzeros
Presolve time: 0.02s
Presolved: 6809 rows, 1867 columns, 21072 nonzeros
Variable types: 0 continuous, 1867 integer (1867 binary)
Root relaxation: objective 0.000000e+00, 261 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 (850 simplex iterations) in 0.05 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 01:47:28 2012
Optimize a model with 3469 rows, 1351 columns and 10536 nonzeros
Presolve time: 0.01s
Presolved: 3469 rows, 1351 columns, 10536 nonzeros
Variable types: 0 continuous, 1351 integer (1351 binary)
Root relaxation: objective 0.000000e+00, 292 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 256 - 0.00000 - - 0s
0 0 0.00000 0 256 - 0.00000 - - 0s
0 0 0.00000 0 385 - 0.00000 - - 1s
0 0 0.00000 0 398 - 0.00000 - - 1s
0 0 0.00000 0 386 - 0.00000 - - 2s
0 0 0.00000 0 377 - 0.00000 - - 3s
0 0 0.00000 0 373 - 0.00000 - - 4s
0 0 0.00000 0 370 - 0.00000 - - 5s
0 0 0.00000 0 367 - 0.00000 - - 6s
0 0 0.00000 0 368 - 0.00000 - - 7s
0 0 0.00000 0 368 - 0.00000 - - 7s
0 2 0.00000 0 368 - 0.00000 - - 8s
44 2 infeasible 7 - 0.00000 - 330 10s
Cutting planes:
Clique: 23
Zero half: 29
Explored 47 nodes (49152 simplex iterations) in 10.10 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 01:47:38 2012
Optimize a model with 5139 rows, 1609 columns and 15804 nonzeros
Presolve time: 0.01s
Presolved: 5139 rows, 1609 columns, 15804 nonzeros
Variable types: 0 continuous, 1609 integer (1609 binary)
Root relaxation: objective 0.000000e+00, 280 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 133 - 0.00000 - - 0s
* 0 0 0 0.0000000 0.00000 0.0% - 0s
Cutting planes:
Gomory: 1
Clique: 38
Zero half: 26
Explored 0 nodes (3847 simplex iterations) in 0.33 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 01:47:38 2012
Optimize a model with 4304 rows, 1480 columns and 13170 nonzeros
Presolve time: 0.01s
Presolved: 4304 rows, 1480 columns, 13170 nonzeros
Variable types: 0 continuous, 1480 integer (1480 binary)
Root relaxation: objective 0.000000e+00, 277 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 240 - 0.00000 - - 0s
0 0 0.00000 0 244 - 0.00000 - - 0s
0 0 0.00000 0 320 - 0.00000 - - 1s
0 0 0.00000 0 355 - 0.00000 - - 1s
0 0 0.00000 0 224 - 0.00000 - - 2s
0 0 0.00000 0 192 - 0.00000 - - 2s
0 0 0.00000 0 268 - 0.00000 - - 3s
0 0 0.00000 0 265 - 0.00000 - - 3s
0 0 0.00000 0 307 - 0.00000 - - 4s
0 0 0.00000 0 251 - 0.00000 - - 4s
0 0 0.00000 0 263 - 0.00000 - - 5s
0 0 0.00000 0 263 - 0.00000 - - 5s
0 2 0.00000 0 263 - 0.00000 - - 6s
756 88 0.00000 28 200 - 0.00000 - 83.0 10s
807 98 0.00000 25 363 - 0.00000 - 83.4 15s
813 102 0.00000 22 349 - 0.00000 - 82.8 20s
1126 77 0.00000 30 271 - 0.00000 - 142 25s
1474 95 infeasible 29 - 0.00000 - 156 30s
1808 85 0.00000 32 277 - 0.00000 - 166 35s
2120 69 infeasible 29 - 0.00000 - 175 40s
2439 100 0.00000 29 277 - 0.00000 - 180 45s
2737 136 infeasible 30 - 0.00000 - 184 50s
3057 131 0.00000 30 254 - 0.00000 - 187 55s
3383 133 0.00000 25 204 - 0.00000 - 190 60s
3704 124 infeasible 35 - 0.00000 - 192 65s
4010 122 infeasible 29 - 0.00000 - 195 70s
4331 135 0.00000 29 276 - 0.00000 - 197 75s
4617 133 0.00000 19 298 - 0.00000 - 199 80s
4909 151 0.00000 29 218 - 0.00000 - 201 85s
5288 196 0.00000 29 276 - 0.00000 - 201 90s
5633 251 infeasible 37 - 0.00000 - 200 95s
5952 254 infeasible 33 - 0.00000 - 202 100s
6291 245 0.00000 36 280 - 0.00000 - 202 105s
6626 272 0.00000 29 270 - 0.00000 - 202 110s
6970 292 0.00000 37 267 - 0.00000 - 203 115s
7317 349 0.00000 35 286 - 0.00000 - 203 120s
7653 357 0.00000 32 270 - 0.00000 - 203 125s
7996 380 0.00000 42 202 - 0.00000 - 203 130s
8335 379 infeasible 41 - 0.00000 - 203 135s
8631 371 0.00000 40 266 - 0.00000 - 204 140s
8962 354 infeasible 39 - 0.00000 - 205 145s
9245 385 0.00000 35 248 - 0.00000 - 206 150s
9566 378 infeasible 32 - 0.00000 - 206 155s
9872 366 infeasible 36 - 0.00000 - 207 160s
10184 378 0.00000 37 261 - 0.00000 - 207 165s
10471 363 0.00000 34 210 - 0.00000 - 208 170s
10765 339 infeasible 36 - 0.00000 - 208 175s
11081 363 infeasible 35 - 0.00000 - 209 180s
11401 361 0.00000 37 271 - 0.00000 - 209 185s
11741 369 0.00000 41 268 - 0.00000 - 209 190s
12094 362 0.00000 33 222 - 0.00000 - 209 195s
12448 362 0.00000 29 244 - 0.00000 - 209 200s
12778 378 0.00000 32 275 - 0.00000 - 209 205s
13114 380 infeasible 40 - 0.00000 - 209 210s
13399 387 infeasible 31 - 0.00000 - 209 215s
13766 402 infeasible 35 - 0.00000 - 209 220s
14097 405 infeasible 34 - 0.00000 - 209 225s
14411 437 0.00000 34 295 - 0.00000 - 209 230s
14669 447 0.00000 32 289 - 0.00000 - 209 235s
14989 487 infeasible 26 - 0.00000 - 209 240s
15308 482 0.00000 24 230 - 0.00000 - 210 245s
15640 488 infeasible 35 - 0.00000 - 210 250s
15949 477 infeasible 32 - 0.00000 - 210 255s
16252 500 infeasible 31 - 0.00000 - 210 260s
16551 495 infeasible 34 - 0.00000 - 210 265s
16856 540 infeasible 33 - 0.00000 - 211 270s
17168 562 infeasible 35 - 0.00000 - 211 275s
17476 566 0.00000 32 248 - 0.00000 - 211 280s
17748 562 infeasible 33 - 0.00000 - 211 285s
Cutting planes:
Gomory: 3
Clique: 3
Zero half: 5
Explored 17817 nodes (3808924 simplex iterations) in 286.44 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