current bounds on the number of colors: 0 -- 141
Gurobi 5.0.1 (linux64) logging started Fri Dec 14 11:01:18 2012
Optimize a model with 71471 rows, 10889 columns and 223860 nonzeros
Presolve time: 0.19s
Presolved: 71471 rows, 10889 columns, 223860 nonzeros
Variable types: 0 continuous, 10889 integer (10889 binary)
Root relaxation: objective 0.000000e+00, 347 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 (760 simplex iterations) in 0.39 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 -- 70
Gurobi 5.0.1 (linux64) logging started Fri Dec 14 11:01:19 2012
Optimize a model with 35806 rows, 5954 columns and 111930 nonzeros
Presolve time: 0.16s
Presolved: 35806 rows, 5954 columns, 111930 nonzeros
Variable types: 0 continuous, 5954 integer (5954 binary)
Root relaxation: objective 0.000000e+00, 431 iterations, 0.04 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.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 -- 35
Gurobi 5.0.1 (linux64) logging started Fri Dec 14 11:01:20 2012
Optimize a model with 17464 rows, 3416 columns and 54366 nonzeros
Presolve time: 0.06s
Presolved: 17464 rows, 3416 columns, 54366 nonzeros
Variable types: 0 continuous, 3416 integer (3416 binary)
Root relaxation: objective 0.000000e+00, 409 iterations, 0.02 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 (798 simplex iterations) in 0.11 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 -- 17
Gurobi 5.0.1 (linux64) logging started Fri Dec 14 11:01:20 2012
Optimize a model with 8293 rows, 2147 columns and 25584 nonzeros
Presolve time: 0.02s
Presolved: 8293 rows, 2147 columns, 25584 nonzeros
Variable types: 0 continuous, 2147 integer (2147 binary)
Root relaxation: objective 0.000000e+00, 291 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 (1205 simplex iterations) in 0.08 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 11:01:20 2012
Optimize a model with 4217 rows, 1583 columns and 12792 nonzeros
Presolve time: 0.01s
Presolved: 4217 rows, 1583 columns, 12792 nonzeros
Variable types: 0 continuous, 1583 integer (1583 binary)
Root relaxation: objective 0.000000e+00, 310 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 282 - 0.00000 - - 0s
0 0 0.00000 0 274 - 0.00000 - - 0s
0 0 0.00000 0 468 - 0.00000 - - 1s
0 0 0.00000 0 469 - 0.00000 - - 1s
0 0 0.00000 0 448 - 0.00000 - - 2s
0 0 0.00000 0 444 - 0.00000 - - 3s
0 0 0.00000 0 434 - 0.00000 - - 5s
0 0 0.00000 0 449 - 0.00000 - - 5s
0 0 0.00000 0 445 - 0.00000 - - 6s
0 0 0.00000 0 444 - 0.00000 - - 7s
0 0 0.00000 0 433 - 0.00000 - - 7s
0 0 0.00000 0 433 - 0.00000 - - 9s
0 0 0.00000 0 431 - 0.00000 - - 10s
0 0 0.00000 0 429 - 0.00000 - - 11s
0 0 0.00000 0 428 - 0.00000 - - 12s
0 0 0.00000 0 431 - 0.00000 - - 13s
0 0 0.00000 0 431 - 0.00000 - - 13s
0 2 0.00000 0 431 - 0.00000 - - 14s
5 3 infeasible 4 - 0.00000 - 1049 15s
Cutting planes:
Clique: 13
Zero half: 12
Explored 9 nodes (65427 simplex iterations) in 15.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 11:01:36 2012
Optimize a model with 6255 rows, 1865 columns and 19188 nonzeros
Presolve time: 0.02s
Presolved: 6255 rows, 1865 columns, 19188 nonzeros
Variable types: 0 continuous, 1865 integer (1865 binary)
Root relaxation: objective 0.000000e+00, 307 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 230 - 0.00000 - - 0s
* 0 0 0 0.0000000 0.00000 0.0% - 0s
Cutting planes:
Gomory: 13
Clique: 95
MIR: 1
Zero half: 88
Explored 0 nodes (6559 simplex iterations) in 0.79 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 11:01:37 2012
Optimize a model with 5236 rows, 1724 columns and 15990 nonzeros
Presolve time: 0.01s
Presolved: 5236 rows, 1724 columns, 15990 nonzeros
Variable types: 0 continuous, 1724 integer (1724 binary)
Root relaxation: objective 0.000000e+00, 296 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 276 - 0.00000 - - 0s
0 0 0.00000 0 186 - 0.00000 - - 0s
0 0 0.00000 0 238 - 0.00000 - - 1s
0 0 0.00000 0 440 - 0.00000 - - 2s
0 0 0.00000 0 303 - 0.00000 - - 3s
0 0 0.00000 0 334 - 0.00000 - - 4s
0 0 0.00000 0 224 - 0.00000 - - 5s
0 0 0.00000 0 340 - 0.00000 - - 6s
0 0 0.00000 0 340 - 0.00000 - - 8s
0 0 0.00000 0 340 - 0.00000 - - 8s
0 2 0.00000 0 340 - 0.00000 - - 9s
8 8 0.00000 6 357 - 0.00000 - 624 10s
358 34 infeasible 21 - 0.00000 - 166 15s
693 36 0.00000 24 317 - 0.00000 - 162 20s
1101 52 0.00000 5 186 - 0.00000 - 153 25s
1105 55 0.00000 13 297 - 0.00000 - 152 30s
1107 56 0.00000 22 348 - 0.00000 - 152 35s
1109 57 0.00000 5 256 - 0.00000 - 152 40s
1113 60 0.00000 5 299 - 0.00000 - 151 45s
1128 68 0.00000 23 337 - 0.00000 - 196 50s
1233 88 infeasible 36 - 0.00000 - 204 55s
1380 71 infeasible 37 - 0.00000 - 217 60s
1511 70 0.00000 28 328 - 0.00000 - 230 65s
1647 74 0.00000 29 325 - 0.00000 - 239 70s
1770 85 0.00000 31 335 - 0.00000 - 248 75s
1896 113 infeasible 33 - 0.00000 - 254 80s
2038 131 infeasible 31 - 0.00000 - 260 85s
2144 135 0.00000 29 336 - 0.00000 - 266 90s
2278 177 0.00000 34 341 - 0.00000 - 270 95s
2391 180 0.00000 21 332 - 0.00000 - 277 100s
2515 204 infeasible 36 - 0.00000 - 281 105s
2646 225 infeasible 33 - 0.00000 - 285 110s
2782 237 0.00000 33 318 - 0.00000 - 289 115s
2910 225 infeasible 30 - 0.00000 - 293 120s
3042 225 0.00000 35 320 - 0.00000 - 296 125s
3160 221 0.00000 32 352 - 0.00000 - 300 130s
3275 218 infeasible 35 - 0.00000 - 304 135s
3405 214 0.00000 30 335 - 0.00000 - 306 140s
3530 219 infeasible 35 - 0.00000 - 309 145s
3659 224 infeasible 35 - 0.00000 - 311 150s
3797 214 0.00000 31 329 - 0.00000 - 313 155s
3952 223 0.00000 37 312 - 0.00000 - 313 160s
4097 228 0.00000 32 316 - 0.00000 - 315 165s
4220 223 infeasible 37 - 0.00000 - 317 170s
4377 232 infeasible 42 - 0.00000 - 317 175s
4524 229 infeasible 38 - 0.00000 - 318 180s
4651 228 infeasible 29 - 0.00000 - 319 185s
4779 220 infeasible 32 - 0.00000 - 321 190s
4916 245 infeasible 36 - 0.00000 - 321 195s
5045 240 0.00000 28 349 - 0.00000 - 323 200s
5189 246 infeasible 34 - 0.00000 - 323 205s
5297 248 infeasible 32 - 0.00000 - 325 210s
5429 256 infeasible 34 - 0.00000 - 326 215s
5553 246 0.00000 32 350 - 0.00000 - 327 220s
5680 251 infeasible 40 - 0.00000 - 329 225s
5789 244 0.00000 31 320 - 0.00000 - 331 230s
5921 242 0.00000 30 340 - 0.00000 - 331 235s
6060 247 0.00000 31 331 - 0.00000 - 332 240s
6212 251 0.00000 32 344 - 0.00000 - 331 245s
6347 258 infeasible 32 - 0.00000 - 332 250s
6477 256 0.00000 33 307 - 0.00000 - 333 255s
6615 254 infeasible 34 - 0.00000 - 333 260s
6737 244 infeasible 27 - 0.00000 - 335 265s
6881 248 infeasible 36 - 0.00000 - 335 270s
6998 251 infeasible 38 - 0.00000 - 336 275s
Cutting planes:
Clique: 11
Zero half: 10
Explored 7122 nodes (2443542 simplex iterations) in 280.01 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