current bounds on the number of colors: 0 -- 145 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 14:14:27 2012 Optimize a model with 77833 rows, 11519 columns and 243504 nonzeros Presolve time: 0.22s Presolved: 77833 rows, 11519 columns, 243504 nonzeros Variable types: 0 continuous, 11519 integer (11519 binary) Root relaxation: objective 0.000000e+00, 368 iterations, 0.09 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 (788 simplex iterations) in 0.43 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 14:14:29 2012 Optimize a model with 38989 rows, 6299 columns and 121752 nonzeros Presolve time: 0.15s Presolved: 38989 rows, 6299 columns, 121752 nonzeros Variable types: 0 continuous, 6299 integer (6299 binary) Root relaxation: objective 0.000000e+00, 356 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 (694 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 -- 36 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 14:14:29 2012 Optimize a model with 19567 rows, 3689 columns and 60876 nonzeros Presolve time: 0.07s Presolved: 19567 rows, 3689 columns, 60876 nonzeros Variable types: 0 continuous, 3689 integer (3689 binary) Root relaxation: objective 0.000000e+00, 435 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 (1104 simplex iterations) in 0.14 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 14:14:30 2012 Optimize a model with 9856 rows, 2384 columns and 30438 nonzeros Presolve time: 0.03s Presolved: 9856 rows, 2384 columns, 30438 nonzeros Variable types: 0 continuous, 2384 integer (2384 binary) Root relaxation: objective 0.000000e+00, 298 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 (1234 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 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 14:14:30 2012 Optimize a model with 4461 rows, 1659 columns and 13528 nonzeros Presolve time: 0.01s Presolved: 4461 rows, 1659 columns, 13528 nonzeros Variable types: 0 continuous, 1659 integer (1659 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 288 - 0.00000 - - 0s 0 0 0.00000 0 286 - 0.00000 - - 0s 0 0 0.00000 0 473 - 0.00000 - - 1s 0 0 0.00000 0 474 - 0.00000 - - 2s 0 0 0.00000 0 472 - 0.00000 - - 2s 0 0 0.00000 0 473 - 0.00000 - - 3s 0 0 0.00000 0 466 - 0.00000 - - 4s 0 0 0.00000 0 471 - 0.00000 - - 5s 0 0 0.00000 0 472 - 0.00000 - - 6s 0 0 0.00000 0 472 - 0.00000 - - 6s 0 2 0.00000 0 472 - 0.00000 - - 7s Cutting planes: Clique: 16 Zero half: 10 Explored 11 nodes (46212 simplex iterations) in 8.65 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 14:14:39 2012 Optimize a model with 6619 rows, 1949 columns and 20292 nonzeros Presolve time: 0.02s Presolved: 6619 rows, 1949 columns, 20292 nonzeros Variable types: 0 continuous, 1949 integer (1949 binary) Root relaxation: objective 0.000000e+00, 315 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 124 - 0.00000 - - 0s 0 0 0.00000 0 312 - 0.00000 - - 0s 0 0 0.00000 0 202 - 0.00000 - - 1s 0 0 0.00000 0 236 - 0.00000 - - 2s 0 0 0.00000 0 202 - 0.00000 - - 2s 0 0 0.00000 0 233 - 0.00000 - - 3s 0 0 0.00000 0 287 - 0.00000 - - 3s 0 0 0.00000 0 298 - 0.00000 - - 4s * 0 0 0 0.0000000 0.00000 0.0% - 5s Cutting planes: Clique: 12 Zero half: 49 Explored 0 nodes (36844 simplex iterations) in 5.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 14:14:44 2012 Optimize a model with 5540 rows, 1804 columns and 16910 nonzeros Presolve time: 0.01s Presolved: 5540 rows, 1804 columns, 16910 nonzeros Variable types: 0 continuous, 1804 integer (1804 binary) Root relaxation: objective 0.000000e+00, 302 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 238 - 0.00000 - - 1s 0 0 0.00000 0 428 - 0.00000 - - 2s 0 0 0.00000 0 415 - 0.00000 - - 2s 0 0 0.00000 0 409 - 0.00000 - - 2s 0 0 0.00000 0 411 - 0.00000 - - 2s 0 0 0.00000 0 394 - 0.00000 - - 3s 0 0 0.00000 0 381 - 0.00000 - - 5s 0 0 0.00000 0 329 - 0.00000 - - 6s 0 0 0.00000 0 318 - 0.00000 - - 7s 0 0 0.00000 0 414 - 0.00000 - - 8s 0 0 0.00000 0 394 - 0.00000 - - 10s 0 0 0.00000 0 345 - 0.00000 - - 11s 0 0 0.00000 0 337 - 0.00000 - - 12s 0 0 0.00000 0 325 - 0.00000 - - 14s 0 0 0.00000 0 337 - 0.00000 - - 15s 0 0 0.00000 0 334 - 0.00000 - - 16s 0 0 0.00000 0 338 - 0.00000 - - 17s 0 0 0.00000 0 338 - 0.00000 - - 17s 0 2 0.00000 0 338 - 0.00000 - - 19s 8 8 0.00000 7 371 - 0.00000 - 548 20s 222 50 0.00000 8 362 - 0.00000 - 221 25s 488 67 0.00000 13 331 - 0.00000 - 197 30s 604 79 0.00000 18 438 - 0.00000 - 188 35s 606 80 0.00000 12 350 - 0.00000 - 187 41s 608 82 0.00000 20 350 - 0.00000 - 187 46s 611 84 0.00000 13 340 - 0.00000 - 186 50s 615 86 0.00000 11 331 - 0.00000 - 184 55s 653 104 0.00000 20 369 - 0.00000 - 287 60s 754 87 0.00000 29 363 - 0.00000 - 302 65s 870 68 infeasible 29 - 0.00000 - 307 70s 969 59 infeasible 27 - 0.00000 - 318 75s 1060 70 infeasible 27 - 0.00000 - 327 80s 1166 80 infeasible 34 - 0.00000 - 332 85s 1269 81 0.00000 23 375 - 0.00000 - 338 90s 1351 79 infeasible 25 - 0.00000 - 348 95s 1441 79 infeasible 30 - 0.00000 - 354 100s 1536 88 0.00000 30 357 - 0.00000 - 358 105s 1654 98 infeasible 33 - 0.00000 - 358 110s 1769 101 infeasible 30 - 0.00000 - 358 115s 1879 99 infeasible 28 - 0.00000 - 359 120s 1985 97 infeasible 28 - 0.00000 - 361 125s 2076 98 infeasible 28 - 0.00000 - 364 130s 2171 101 0.00000 24 349 - 0.00000 - 367 135s 2276 96 infeasible 28 - 0.00000 - 368 140s 2375 97 0.00000 23 365 - 0.00000 - 370 145s 2471 87 infeasible 28 - 0.00000 - 371 150s 2556 90 0.00000 26 343 - 0.00000 - 375 155s 2657 85 0.00000 25 355 - 0.00000 - 375 160s 2751 87 0.00000 32 341 - 0.00000 - 377 165s 2842 70 infeasible 28 - 0.00000 - 379 170s 2932 78 infeasible 30 - 0.00000 - 381 175s 3026 74 infeasible 29 - 0.00000 - 382 180s 3110 60 infeasible 27 - 0.00000 - 385 185s 3205 63 infeasible 31 - 0.00000 - 386 190s 3302 64 infeasible 26 - 0.00000 - 387 195s 3390 56 infeasible 27 - 0.00000 - 389 200s 3485 43 infeasible 27 - 0.00000 - 390 205s 3582 36 infeasible 26 - 0.00000 - 390 210s 3677 39 infeasible 23 - 0.00000 - 391 215s 3781 43 infeasible 25 - 0.00000 - 391 220s 3881 39 0.00000 24 373 - 0.00000 - 391 225s 3966 32 infeasible 30 - 0.00000 - 393 230s 4062 32 infeasible 28 - 0.00000 - 394 235s 4164 38 infeasible 27 - 0.00000 - 394 240s 4262 38 infeasible 23 - 0.00000 - 394 245s 4376 40 0.00000 25 350 - 0.00000 - 393 250s 4492 68 0.00000 32 345 - 0.00000 - 392 255s 4590 70 infeasible 26 - 0.00000 - 393 260s 4681 71 infeasible 33 - 0.00000 - 394 265s 4792 76 infeasible 37 - 0.00000 - 393 270s 4908 82 infeasible 32 - 0.00000 - 392 275s 5006 78 infeasible 25 - 0.00000 - 393 280s Cutting planes: Gomory: 1 Clique: 9 Zero half: 10 Explored 5041 nodes (2057176 simplex iterations) in 281.61 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