current bounds on the number of colors: 0 -- 137 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 08:24:57 2012 Optimize a model with 70313 rows, 10348 columns and 219844 nonzeros Presolve time: 0.21s Presolved: 70313 rows, 10348 columns, 219844 nonzeros Variable types: 0 continuous, 10348 integer (10348 binary) Root relaxation: objective 0.000000e+00, 323 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 (722 simplex iterations) in 0.40 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 -- 68 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 08:24:58 2012 Optimize a model with 35225 rows, 5690 columns and 109922 nonzeros Presolve time: 0.16s Presolved: 35225 rows, 5690 columns, 109922 nonzeros Variable types: 0 continuous, 5690 integer (5690 binary) Root relaxation: objective 0.000000e+00, 314 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 (686 simplex iterations) in 0.24 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 -- 34 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 08:24:59 2012 Optimize a model with 17681 rows, 3361 columns and 54961 nonzeros Presolve time: 0.06s Presolved: 17681 rows, 3361 columns, 54961 nonzeros Variable types: 0 continuous, 3361 integer (3361 binary) Root relaxation: objective 0.000000e+00, 386 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 (983 simplex iterations) in 0.12 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 08:24:59 2012 Optimize a model with 8393 rows, 2128 columns and 25864 nonzeros Presolve time: 0.02s Presolved: 8393 rows, 2128 columns, 25864 nonzeros Variable types: 0 continuous, 2128 integer (2128 binary) Root relaxation: objective 0.000000e+00, 285 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 (2122 simplex iterations) in 0.15 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 08:24:59 2012 Optimize a model with 4265 rows, 1580 columns and 12932 nonzeros Presolve time: 0.01s Presolved: 4265 rows, 1580 columns, 12932 nonzeros Variable types: 0 continuous, 1580 integer (1580 binary) Root relaxation: objective 0.000000e+00, 306 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 210 - 0.00000 - - 0s 0 0 0.00000 0 176 - 0.00000 - - 0s 0 0 0.00000 0 447 - 0.00000 - - 2s 0 0 0.00000 0 451 - 0.00000 - - 2s 0 0 0.00000 0 455 - 0.00000 - - 3s 0 0 0.00000 0 444 - 0.00000 - - 3s 0 0 0.00000 0 453 - 0.00000 - - 4s 0 0 0.00000 0 452 - 0.00000 - - 5s 0 0 0.00000 0 455 - 0.00000 - - 6s 0 0 0.00000 0 455 - 0.00000 - - 6s 0 2 0.00000 0 455 - 0.00000 - - 7s Cutting planes: Clique: 28 Zero half: 15 Explored 9 nodes (44406 simplex iterations) in 8.37 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 08:25:08 2012 Optimize a model with 6329 rows, 1854 columns and 19398 nonzeros Presolve time: 0.02s Presolved: 6329 rows, 1854 columns, 19398 nonzeros Variable types: 0 continuous, 1854 integer (1854 binary) Root relaxation: objective 0.000000e+00, 293 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 108 - 0.00000 - - 0s 0 0 0.00000 0 288 - 0.00000 - - 0s Cutting planes: Clique: 17 Zero half: 4 Explored 0 nodes (5682 simplex iterations) in 0.75 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 08:25:09 2012 Optimize a model with 5297 rows, 1717 columns and 16165 nonzeros Presolve time: 0.01s Presolved: 5297 rows, 1717 columns, 16165 nonzeros Variable types: 0 continuous, 1717 integer (1717 binary) Root relaxation: objective 0.000000e+00, 288 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 274 - 0.00000 - - 0s 0 0 0.00000 0 264 - 0.00000 - - 0s 0 0 0.00000 0 236 - 0.00000 - - 1s 0 0 0.00000 0 407 - 0.00000 - - 2s 0 0 0.00000 0 368 - 0.00000 - - 3s 0 0 0.00000 0 334 - 0.00000 - - 4s 0 0 0.00000 0 371 - 0.00000 - - 5s 0 0 0.00000 0 348 - 0.00000 - - 6s 0 0 0.00000 0 328 - 0.00000 - - 7s 0 0 0.00000 0 350 - 0.00000 - - 8s 0 0 0.00000 0 339 - 0.00000 - - 10s 0 0 0.00000 0 402 - 0.00000 - - 11s 0 0 0.00000 0 402 - 0.00000 - - 11s 0 2 0.00000 0 401 - 0.00000 - - 13s 71 19 0.00000 14 344 - 0.00000 - 229 15s 316 53 0.00000 22 319 - 0.00000 - 202 20s 590 75 infeasible 24 - 0.00000 - 189 25s 605 80 0.00000 19 296 - 0.00000 - 187 31s 607 81 0.00000 15 323 - 0.00000 - 186 36s 609 82 0.00000 15 337 - 0.00000 - 185 41s 611 84 0.00000 15 333 - 0.00000 - 185 45s 615 86 0.00000 15 325 - 0.00000 - 184 50s 725 86 infeasible 34 - 0.00000 - 276 55s 827 72 0.00000 30 318 - 0.00000 - 293 60s 945 62 0.00000 27 341 - 0.00000 - 304 65s 1043 52 infeasible 36 - 0.00000 - 316 70s 1154 67 0.00000 27 358 - 0.00000 - 322 75s 1248 63 0.00000 33 345 - 0.00000 - 332 80s 1349 56 infeasible 25 - 0.00000 - 339 85s 1433 52 0.00000 30 331 - 0.00000 - 349 90s 1534 49 infeasible 30 - 0.00000 - 354 95s 1630 53 0.00000 30 351 - 0.00000 - 360 100s 1722 47 0.00000 27 339 - 0.00000 - 366 105s 1822 37 infeasible 29 - 0.00000 - 369 110s 1919 34 infeasible 29 - 0.00000 - 373 115s 2010 33 infeasible 28 - 0.00000 - 377 120s 2124 49 0.00000 29 334 - 0.00000 - 377 125s 2227 38 0.00000 20 370 - 0.00000 - 379 130s 2338 35 0.00000 32 349 - 0.00000 - 379 135s 2450 43 0.00000 26 345 - 0.00000 - 379 140s 2545 52 0.00000 22 357 - 0.00000 - 382 145s 2642 53 infeasible 32 - 0.00000 - 384 150s 2733 48 infeasible 27 - 0.00000 - 387 155s 2829 40 0.00000 25 356 - 0.00000 - 389 160s 2917 36 0.00000 27 318 - 0.00000 - 391 165s 3025 32 infeasible 33 - 0.00000 - 391 170s 3130 41 infeasible 33 - 0.00000 - 392 175s 3233 36 infeasible 31 - 0.00000 - 393 180s 3321 32 infeasible 28 - 0.00000 - 396 185s 3431 30 infeasible 30 - 0.00000 - 396 190s 3540 27 infeasible 25 - 0.00000 - 396 195s 3639 28 infeasible 27 - 0.00000 - 397 200s 3745 26 infeasible 31 - 0.00000 - 397 205s 3845 28 0.00000 26 326 - 0.00000 - 398 210s 3951 24 infeasible 30 - 0.00000 - 398 215s 4056 33 infeasible 26 - 0.00000 - 398 220s 4170 25 infeasible 27 - 0.00000 - 398 225s 4267 24 infeasible 27 - 0.00000 - 399 230s 4372 25 0.00000 22 331 - 0.00000 - 399 235s 4477 22 infeasible 27 - 0.00000 - 400 240s 4578 21 0.00000 25 333 - 0.00000 - 400 245s 4693 20 0.00000 27 320 - 0.00000 - 399 250s 4794 21 0.00000 26 334 - 0.00000 - 400 255s 4885 16 infeasible 29 - 0.00000 - 401 260s 4987 18 0.00000 24 345 - 0.00000 - 401 265s 5082 15 0.00000 28 338 - 0.00000 - 402 270s 5189 20 infeasible 26 - 0.00000 - 402 275s 5283 24 infeasible 27 - 0.00000 - 403 280s 5367 18 0.00000 22 333 - 0.00000 - 405 285s Cutting planes: Gomory: 1 Clique: 11 Zero half: 10 Explored 5396 nodes (2240455 simplex iterations) in 286.69 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