current bounds on the number of colors: 0 -- 144 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 13:49:27 2012 Optimize a model with 70056 rows, 11339 columns and 220104 nonzeros Presolve time: 0.19s Presolved: 70056 rows, 11339 columns, 220104 nonzeros Variable types: 0 continuous, 11339 integer (11339 binary) Root relaxation: objective 0.000000e+00, 370 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 (705 simplex iterations) in 0.37 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 -- 72 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 13:49:28 2012 Optimize a model with 35100 rows, 6155 columns and 110052 nonzeros Presolve time: 0.16s Presolved: 35100 rows, 6155 columns, 110052 nonzeros Variable types: 0 continuous, 6155 integer (6155 binary) Root relaxation: objective 0.000000e+00, 504 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 (929 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 -- 36 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 13:49:29 2012 Optimize a model with 17622 rows, 3563 columns and 55026 nonzeros Presolve time: 0.06s Presolved: 17622 rows, 3563 columns, 55026 nonzeros Variable types: 0 continuous, 3563 integer (3563 binary) Root relaxation: objective 0.000000e+00, 297 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 (579 simplex iterations) in 0.10 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 -- 18 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 13:49:29 2012 Optimize a model with 8883 rows, 2267 columns and 27513 nonzeros Presolve time: 0.02s Presolved: 8883 rows, 2267 columns, 27513 nonzeros Variable types: 0 continuous, 2267 integer (2267 binary) Root relaxation: objective 0.000000e+00, 299 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 (1047 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 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 13:49:29 2012 Optimize a model with 4028 rows, 1547 columns and 12228 nonzeros Presolve time: 0.01s Presolved: 4028 rows, 1547 columns, 12228 nonzeros Variable types: 0 continuous, 1547 integer (1547 binary) Root relaxation: objective 0.000000e+00, 312 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 186 - 0.00000 - - 0s 0 0 0.00000 0 264 - 0.00000 - - 0s 0 0 0.00000 0 433 - 0.00000 - - 1s 0 0 0.00000 0 432 - 0.00000 - - 2s 0 0 0.00000 0 428 - 0.00000 - - 2s 0 0 0.00000 0 423 - 0.00000 - - 3s 0 0 0.00000 0 423 - 0.00000 - - 3s 0 0 0.00000 0 423 - 0.00000 - - 4s 0 0 0.00000 0 418 - 0.00000 - - 5s 0 0 0.00000 0 427 - 0.00000 - - 6s 0 0 0.00000 0 432 - 0.00000 - - 6s 0 0 0.00000 0 429 - 0.00000 - - 7s 0 2 0.00000 0 429 - 0.00000 - - 8s Cutting planes: Clique: 13 Zero half: 20 Explored 13 nodes (40696 simplex iterations) in 9.00 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 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 13:49:38 2012 Optimize a model with 5970 rows, 1835 columns and 18342 nonzeros Presolve time: 0.02s Presolved: 5970 rows, 1835 columns, 18342 nonzeros Variable types: 0 continuous, 1835 integer (1835 binary) Root relaxation: objective 0.000000e+00, 312 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 129 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (2727 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: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 13:49:39 2012 Optimize a model with 4999 rows, 1691 columns and 15285 nonzeros Presolve time: 0.01s Presolved: 4999 rows, 1691 columns, 15285 nonzeros Variable types: 0 continuous, 1691 integer (1691 binary) Root relaxation: objective 0.000000e+00, 313 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 286 - 0.00000 - - 0s 0 0 0.00000 0 272 - 0.00000 - - 0s 0 0 0.00000 0 368 - 0.00000 - - 1s 0 0 0.00000 0 411 - 0.00000 - - 1s 0 0 0.00000 0 404 - 0.00000 - - 2s 0 0 0.00000 0 388 - 0.00000 - - 2s 0 0 0.00000 0 387 - 0.00000 - - 3s 0 0 0.00000 0 401 - 0.00000 - - 4s 0 0 0.00000 0 402 - 0.00000 - - 4s 0 0 0.00000 0 402 - 0.00000 - - 5s 0 2 0.00000 0 402 - 0.00000 - - 7s 372 12 0.00000 17 230 - 0.00000 - 118 10s 903 36 0.00000 18 368 - 0.00000 - 106 15s 906 38 0.00000 5 416 - 0.00000 - 106 21s 909 40 0.00000 20 374 - 0.00000 - 106 25s 913 43 0.00000 22 362 - 0.00000 - 105 30s 963 54 0.00000 24 302 - 0.00000 - 161 35s 1136 92 0.00000 24 303 - 0.00000 - 179 40s 1332 122 0.00000 15 303 - 0.00000 - 193 45s 1504 156 infeasible 29 - 0.00000 - 205 50s 1710 226 infeasible 26 - 0.00000 - 210 55s 1907 245 infeasible 29 - 0.00000 - 217 60s 2089 263 infeasible 31 - 0.00000 - 224 65s 2271 297 infeasible 28 - 0.00000 - 229 70s 2451 337 0.00000 26 325 - 0.00000 - 233 75s 2626 374 infeasible 33 - 0.00000 - 238 80s 2804 384 infeasible 32 - 0.00000 - 243 85s 2970 402 0.00000 28 323 - 0.00000 - 246 90s 3146 392 0.00000 22 350 - 0.00000 - 249 95s 3334 420 0.00000 32 337 - 0.00000 - 251 100s 3497 413 0.00000 29 329 - 0.00000 - 254 105s 3654 398 0.00000 26 342 - 0.00000 - 258 110s 3822 406 0.00000 30 295 - 0.00000 - 260 115s 3994 404 infeasible 30 - 0.00000 - 262 120s 4156 396 infeasible 34 - 0.00000 - 264 125s 4322 404 0.00000 25 336 - 0.00000 - 267 130s 4490 400 0.00000 26 318 - 0.00000 - 268 135s 4654 400 0.00000 26 331 - 0.00000 - 270 140s 4826 414 infeasible 29 - 0.00000 - 271 145s 4981 421 infeasible 26 - 0.00000 - 273 150s 5166 434 infeasible 28 - 0.00000 - 274 155s 5323 433 infeasible 31 - 0.00000 - 276 160s 5491 429 infeasible 27 - 0.00000 - 277 165s 5666 416 0.00000 28 315 - 0.00000 - 278 170s 5809 407 infeasible 30 - 0.00000 - 280 175s 5987 413 infeasible 31 - 0.00000 - 280 180s 6156 416 infeasible 32 - 0.00000 - 281 185s 6309 421 infeasible 26 - 0.00000 - 282 190s 6461 429 infeasible 29 - 0.00000 - 284 195s 6609 419 0.00000 32 329 - 0.00000 - 285 200s 6772 428 infeasible 28 - 0.00000 - 286 205s 6939 425 infeasible 30 - 0.00000 - 286 210s 7114 416 infeasible 26 - 0.00000 - 287 215s 7260 406 infeasible 27 - 0.00000 - 288 220s 7431 433 infeasible 25 - 0.00000 - 288 225s 7606 440 infeasible 30 - 0.00000 - 289 230s 7780 452 infeasible 34 - 0.00000 - 289 235s 7937 463 0.00000 27 338 - 0.00000 - 290 240s 8081 475 infeasible 32 - 0.00000 - 291 245s 8226 490 infeasible 31 - 0.00000 - 292 250s 8367 503 infeasible 34 - 0.00000 - 293 255s 8532 492 infeasible 30 - 0.00000 - 294 260s 8702 506 infeasible 28 - 0.00000 - 294 265s 8887 513 infeasible 31 - 0.00000 - 294 270s 9045 507 infeasible 24 - 0.00000 - 294 275s 9224 514 0.00000 28 334 - 0.00000 - 294 280s 9391 517 infeasible 29 - 0.00000 - 294 285s Cutting planes: Clique: 8 Zero half: 12 Explored 9456 nodes (2812712 simplex iterations) in 286.79 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