current bounds on the number of colors: 0 -- 130
Gurobi 5.0.1 (linux64) logging started Fri Dec 14 02:27:26 2012
Optimize a model with 56420 rows, 9316 columns and 177320 nonzeros
Presolve time: 0.18s
Presolved: 56420 rows, 9316 columns, 177320 nonzeros
Variable types: 0 continuous, 9316 integer (9316 binary)
Root relaxation: objective 0.000000e+00, 348 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 (632 simplex iterations) in 0.32 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:27:27 2012
Optimize a model with 27842 rows, 5026 columns and 87296 nonzeros
Presolve time: 0.13s
Presolved: 27842 rows, 5026 columns, 87296 nonzeros
Variable types: 0 continuous, 5026 integer (5026 binary)
Root relaxation: objective 0.000000e+00, 309 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 (668 simplex iterations) in 0.20 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:27:28 2012
Optimize a model with 13986 rows, 2946 columns and 43648 nonzeros
Presolve time: 0.05s
Presolved: 13986 rows, 2946 columns, 43648 nonzeros
Variable types: 0 continuous, 2946 integer (2946 binary)
Root relaxation: objective 0.000000e+00, 267 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 (515 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:27:28 2012
Optimize a model with 7058 rows, 1906 columns and 21824 nonzeros
Presolve time: 0.02s
Presolved: 7058 rows, 1906 columns, 21824 nonzeros
Variable types: 0 continuous, 1906 integer (1906 binary)
Root relaxation: objective 0.000000e+00, 272 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 (684 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 02:27:28 2012
Optimize a model with 3594 rows, 1386 columns and 10912 nonzeros
Presolve time: 0.01s
Presolved: 3594 rows, 1386 columns, 10912 nonzeros
Variable types: 0 continuous, 1386 integer (1386 binary)
Root relaxation: objective 0.000000e+00, 274 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 200 - 0.00000 - - 0s
0 0 0.00000 0 200 - 0.00000 - - 0s
0 0 0.00000 0 410 - 0.00000 - - 1s
0 0 0.00000 0 402 - 0.00000 - - 1s
0 0 0.00000 0 419 - 0.00000 - - 1s
0 0 0.00000 0 412 - 0.00000 - - 2s
0 0 0.00000 0 405 - 0.00000 - - 3s
0 0 0.00000 0 393 - 0.00000 - - 4s
0 0 0.00000 0 391 - 0.00000 - - 5s
0 0 0.00000 0 382 - 0.00000 - - 7s
0 0 0.00000 0 378 - 0.00000 - - 8s
0 0 0.00000 0 391 - 0.00000 - - 9s
0 0 0.00000 0 387 - 0.00000 - - 9s
0 0 0.00000 0 381 - 0.00000 - - 10s
0 0 0.00000 0 391 - 0.00000 - - 11s
0 0 0.00000 0 381 - 0.00000 - - 12s
0 0 0.00000 0 380 - 0.00000 - - 13s
0 0 0.00000 0 377 - 0.00000 - - 14s
0 0 0.00000 0 391 - 0.00000 - - 14s
0 0 0.00000 0 391 - 0.00000 - - 15s
0 2 0.00000 0 391 - 0.00000 - - 16s
Cutting planes:
Clique: 24
Zero half: 32
Explored 25 nodes (66003 simplex iterations) in 16.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 -- 8
Gurobi 5.0.1 (linux64) logging started Fri Dec 14 02:27:45 2012
Optimize a model with 5326 rows, 1646 columns and 16368 nonzeros
Presolve time: 0.01s
Presolved: 5326 rows, 1646 columns, 16368 nonzeros
Variable types: 0 continuous, 1646 integer (1646 binary)
Root relaxation: objective 0.000000e+00, 267 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 112 - 0.00000 - - 0s
* 0 0 0 0.0000000 0.00000 0.0% - 0s
Cutting planes:
Gomory: 1
Clique: 18
MIR: 2
Zero half: 49
Explored 0 nodes (3337 simplex iterations) in 0.23 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:27:45 2012
Optimize a model with 4460 rows, 1516 columns and 13640 nonzeros
Presolve time: 0.01s
Presolved: 4460 rows, 1516 columns, 13640 nonzeros
Variable types: 0 continuous, 1516 integer (1516 binary)
Root relaxation: objective 0.000000e+00, 267 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 258 - 0.00000 - - 0s
0 0 0.00000 0 242 - 0.00000 - - 0s
0 0 0.00000 0 349 - 0.00000 - - 1s
0 0 0.00000 0 344 - 0.00000 - - 1s
0 0 0.00000 0 371 - 0.00000 - - 1s
0 0 0.00000 0 261 - 0.00000 - - 2s
0 0 0.00000 0 361 - 0.00000 - - 2s
0 0 0.00000 0 362 - 0.00000 - - 3s
0 0 0.00000 0 363 - 0.00000 - - 4s
0 0 0.00000 0 363 - 0.00000 - - 4s
0 2 0.00000 0 363 - 0.00000 - - 5s
385 149 0.00000 28 284 - 0.00000 - 144 10s
605 198 0.00000 21 304 - 0.00000 - 132 15s
609 200 0.00000 17 309 - 0.00000 - 131 21s
612 202 0.00000 4 294 - 0.00000 - 131 25s
617 206 0.00000 28 296 - 0.00000 - 129 30s
851 200 0.00000 38 255 - 0.00000 - 201 35s
1107 126 0.00000 32 252 - 0.00000 - 209 40s
1345 81 infeasible 35 - 0.00000 - 217 45s
1590 84 0.00000 20 317 - 0.00000 - 221 50s
1845 113 infeasible 36 - 0.00000 - 223 55s
2130 140 0.00000 28 222 - 0.00000 - 222 60s
2393 139 infeasible 28 - 0.00000 - 222 65s
2639 187 infeasible 36 - 0.00000 - 224 70s
2872 210 infeasible 36 - 0.00000 - 228 75s
3103 223 0.00000 32 289 - 0.00000 - 230 80s
3343 239 0.00000 29 282 - 0.00000 - 231 85s
3552 240 infeasible 36 - 0.00000 - 235 90s
3811 257 infeasible 35 - 0.00000 - 235 95s
4058 248 0.00000 31 286 - 0.00000 - 236 100s
4295 277 0.00000 40 288 - 0.00000 - 236 105s
4516 282 0.00000 32 226 - 0.00000 - 238 110s
4737 281 0.00000 39 296 - 0.00000 - 239 115s
4965 285 infeasible 37 - 0.00000 - 240 120s
5241 283 infeasible 32 - 0.00000 - 240 125s
5451 277 infeasible 34 - 0.00000 - 241 130s
5668 276 0.00000 33 284 - 0.00000 - 242 135s
5903 269 infeasible 38 - 0.00000 - 243 140s
6134 272 infeasible 39 - 0.00000 - 244 145s
6365 275 infeasible 36 - 0.00000 - 244 150s
6594 278 infeasible 33 - 0.00000 - 245 155s
6806 272 infeasible 29 - 0.00000 - 246 160s
7036 270 infeasible 35 - 0.00000 - 247 165s
7250 274 infeasible 35 - 0.00000 - 247 170s
7485 295 infeasible 36 - 0.00000 - 248 175s
7715 295 infeasible 35 - 0.00000 - 248 180s
7920 288 0.00000 28 295 - 0.00000 - 249 185s
8114 288 infeasible 34 - 0.00000 - 250 190s
8317 291 infeasible 32 - 0.00000 - 251 195s
8526 296 0.00000 33 290 - 0.00000 - 252 200s
8795 303 0.00000 32 284 - 0.00000 - 251 205s
9017 293 0.00000 27 303 - 0.00000 - 252 210s
9246 288 0.00000 30 278 - 0.00000 - 252 215s
9538 304 infeasible 39 - 0.00000 - 251 220s
9780 292 infeasible 32 - 0.00000 - 251 225s
10085 295 infeasible 36 - 0.00000 - 250 230s
10328 280 0.00000 33 234 - 0.00000 - 250 235s
10552 270 0.00000 36 294 - 0.00000 - 250 240s
10758 268 0.00000 36 295 - 0.00000 - 251 245s
10967 255 0.00000 34 284 - 0.00000 - 252 250s
11186 254 infeasible 36 - 0.00000 - 252 255s
11384 246 infeasible 39 - 0.00000 - 252 260s
11622 244 infeasible 37 - 0.00000 - 252 265s
11840 238 infeasible 37 - 0.00000 - 253 270s
12064 244 0.00000 34 283 - 0.00000 - 253 275s
Cutting planes:
Clique: 4
Zero half: 13
Explored 12258 nodes (3132886 simplex iterations) in 279.63 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