current bounds on the number of colors: 0 -- 148 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 16:46:02 2012 Optimize a model with 83546 rows, 12079 columns and 261146 nonzeros Presolve time: 0.23s Presolved: 83546 rows, 12079 columns, 261146 nonzeros Variable types: 0 continuous, 12079 integer (12079 binary) Root relaxation: objective 0.000000e+00, 377 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 (827 simplex iterations) in 0.45 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 -- 74 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 16:46:04 2012 Optimize a model with 41847 rows, 6603 columns and 130573 nonzeros Presolve time: 0.15s Presolved: 41847 rows, 6603 columns, 130573 nonzeros Variable types: 0 continuous, 6603 integer (6603 binary) Root relaxation: objective 0.000000e+00, 345 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 (767 simplex iterations) in 0.26 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 -- 37 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 16:46:04 2012 Optimize a model with 20434 rows, 3791 columns and 63522 nonzeros Presolve time: 0.07s Presolved: 20434 rows, 3791 columns, 63522 nonzeros Variable types: 0 continuous, 3791 integer (3791 binary) Root relaxation: objective 0.000000e+00, 421 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 (819 simplex iterations) in 0.13 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 16:46:05 2012 Optimize a model with 10291 rows, 2459 columns and 31761 nonzeros Presolve time: 0.03s Presolved: 10291 rows, 2459 columns, 31761 nonzeros Variable types: 0 continuous, 2459 integer (2459 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1151 simplex iterations) in 0.09 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 16:46:05 2012 Optimize a model with 4656 rows, 1719 columns and 14116 nonzeros Presolve time: 0.01s Presolved: 4656 rows, 1719 columns, 14116 nonzeros Variable types: 0 continuous, 1719 integer (1719 binary) Root relaxation: objective 0.000000e+00, 314 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 296 - 0.00000 - - 0s 0 0 0.00000 0 300 - 0.00000 - - 0s 0 0 0.00000 0 484 - 0.00000 - - 2s 0 0 0.00000 0 498 - 0.00000 - - 3s 0 0 0.00000 0 484 - 0.00000 - - 4s 0 0 0.00000 0 503 - 0.00000 - - 5s 0 0 0.00000 0 495 - 0.00000 - - 6s 0 0 0.00000 0 497 - 0.00000 - - 7s 0 0 0.00000 0 500 - 0.00000 - - 8s 0 0 0.00000 0 491 - 0.00000 - - 9s 0 2 0.00000 0 491 - 0.00000 - - 10s Cutting planes: Clique: 20 Zero half: 20 Explored 7 nodes (51803 simplex iterations) in 10.96 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 16:46:16 2012 Optimize a model with 6910 rows, 2015 columns and 21174 nonzeros Presolve time: 0.02s Presolved: 6910 rows, 2015 columns, 21174 nonzeros Variable types: 0 continuous, 2015 integer (2015 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 296 - 0.00000 - - 0s 0 0 0.00000 0 198 - 0.00000 - - 0s 0 0 0.00000 0 346 - 0.00000 - - 1s 0 0 0.00000 0 411 - 0.00000 - - 2s 0 0 0.00000 0 306 - 0.00000 - - 3s 0 0 0.00000 0 271 - 0.00000 - - 4s 0 0 0.00000 0 364 - 0.00000 - - 5s 0 0 0.00000 0 281 - 0.00000 - - 6s 0 0 0.00000 0 307 - 0.00000 - - 7s 0 0 0.00000 0 370 - 0.00000 - - 8s 0 0 0.00000 0 406 - 0.00000 - - 9s 0 0 0.00000 0 378 - 0.00000 - - 10s 0 2 0.00000 0 378 - 0.00000 - - 11s * 575 1 40 0.0000000 0.00000 0.0% 68.1 13s Cutting planes: Clique: 9 Zero half: 1 Explored 576 nodes (99006 simplex iterations) in 13.88 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 16:46:30 2012 Optimize a model with 5783 rows, 1867 columns and 17645 nonzeros Presolve time: 0.01s Presolved: 5783 rows, 1867 columns, 17645 nonzeros Variable types: 0 continuous, 1867 integer (1867 binary) Root relaxation: objective 0.000000e+00, 308 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 294 - 0.00000 - - 0s 0 0 0.00000 0 144 - 0.00000 - - 0s 0 0 0.00000 0 410 - 0.00000 - - 2s 0 0 0.00000 0 437 - 0.00000 - - 2s 0 0 0.00000 0 353 - 0.00000 - - 4s 0 0 0.00000 0 362 - 0.00000 - - 6s 0 0 0.00000 0 350 - 0.00000 - - 7s 0 0 0.00000 0 347 - 0.00000 - - 9s 0 0 0.00000 0 351 - 0.00000 - - 10s 0 0 0.00000 0 356 - 0.00000 - - 11s 0 0 0.00000 0 356 - 0.00000 - - 12s 0 2 0.00000 0 356 - 0.00000 - - 14s 2 3 0.00000 1 398 - 0.00000 - 2114 15s 148 16 0.00000 16 373 - 0.00000 - 287 20s 335 13 infeasible 19 - 0.00000 - 254 25s 523 26 0.00000 23 344 - 0.00000 - 245 30s 603 32 0.00000 13 410 - 0.00000 - 239 35s 605 34 0.00000 8 382 - 0.00000 - 239 40s 607 35 0.00000 10 382 - 0.00000 - 238 46s 608 36 0.00000 18 372 - 0.00000 - 237 50s 610 37 0.00000 17 373 - 0.00000 - 237 56s 612 38 0.00000 18 387 - 0.00000 - 236 61s 614 40 0.00000 16 369 - 0.00000 - 235 67s 618 44 0.00000 11 362 - 0.00000 - 357 70s 678 50 infeasible 24 - 0.00000 - 363 75s 773 32 0.00000 21 362 - 0.00000 - 369 80s 871 38 0.00000 24 357 - 0.00000 - 372 85s 957 42 infeasible 27 - 0.00000 - 378 90s 1041 42 0.00000 23 353 - 0.00000 - 383 95s 1136 45 0.00000 22 389 - 0.00000 - 385 100s 1219 46 0.00000 20 349 - 0.00000 - 391 105s 1300 41 infeasible 23 - 0.00000 - 396 110s 1382 34 infeasible 26 - 0.00000 - 400 115s 1470 46 0.00000 21 394 - 0.00000 - 401 120s 1575 57 0.00000 24 362 - 0.00000 - 400 125s 1663 55 infeasible 24 - 0.00000 - 402 130s 1749 71 infeasible 31 - 0.00000 - 404 135s 1837 97 infeasible 22 - 0.00000 - 404 140s 1914 96 0.00000 22 368 - 0.00000 - 408 145s 1992 92 infeasible 27 - 0.00000 - 411 150s 2063 85 infeasible 24 - 0.00000 - 415 155s 2133 79 infeasible 23 - 0.00000 - 420 160s 2214 72 0.00000 22 373 - 0.00000 - 421 165s 2306 92 0.00000 21 395 - 0.00000 - 421 170s 2406 114 infeasible 28 - 0.00000 - 420 175s 2489 107 infeasible 27 - 0.00000 - 422 180s 2591 101 0.00000 26 358 - 0.00000 - 421 185s 2680 100 infeasible 28 - 0.00000 - 422 190s 2761 107 0.00000 28 306 - 0.00000 - 423 195s 2830 108 0.00000 26 364 - 0.00000 - 427 200s 2909 109 0.00000 29 366 - 0.00000 - 428 205s 2991 103 infeasible 29 - 0.00000 - 429 210s 3076 100 0.00000 22 369 - 0.00000 - 430 215s 3158 100 infeasible 26 - 0.00000 - 431 220s 3239 99 infeasible 24 - 0.00000 - 432 225s 3331 109 0.00000 27 309 - 0.00000 - 431 230s 3427 127 infeasible 25 - 0.00000 - 430 235s 3524 132 0.00000 29 386 - 0.00000 - 429 240s 3610 134 infeasible 25 - 0.00000 - 429 245s 3693 137 infeasible 31 - 0.00000 - 430 250s 3775 131 0.00000 22 383 - 0.00000 - 431 255s 3852 122 infeasible 21 - 0.00000 - 432 260s 3930 118 infeasible 25 - 0.00000 - 433 265s 4012 112 0.00000 22 380 - 0.00000 - 433 270s Cutting planes: Gomory: 1 Clique: 13 Zero half: 15 Explored 4020 nodes (1793032 simplex iterations) in 270.41 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