current bounds on the number of colors: 0 -- 138 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 08:49:57 2012 Optimize a model with 64308 rows, 10452 columns and 202032 nonzeros Presolve time: 0.19s Presolved: 64308 rows, 10452 columns, 202032 nonzeros Variable types: 0 continuous, 10452 integer (10452 binary) Root relaxation: objective 0.000000e+00, 360 iterations, 0.07 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 (667 simplex iterations) in 0.35 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 -- 69 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 08:49:58 2012 Optimize a model with 31758 rows, 5622 columns and 99552 nonzeros Presolve time: 0.15s Presolved: 31758 rows, 5622 columns, 99552 nonzeros Variable types: 0 continuous, 5622 integer (5622 binary) Root relaxation: objective 0.000000e+00, 327 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 (633 simplex iterations) in 0.22 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:49:59 2012 Optimize a model with 15948 rows, 3276 columns and 49776 nonzeros Presolve time: 0.05s Presolved: 15948 rows, 3276 columns, 49776 nonzeros Variable types: 0 continuous, 3276 integer (3276 binary) Root relaxation: objective 0.000000e+00, 277 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 (749 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 -- 17 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 08:49:59 2012 Optimize a model with 7578 rows, 2034 columns and 23424 nonzeros Presolve time: 0.02s Presolved: 7578 rows, 2034 columns, 23424 nonzeros Variable types: 0 continuous, 2034 integer (2034 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1107 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 08:49:59 2012 Optimize a model with 3858 rows, 1482 columns and 11712 nonzeros Presolve time: 0.01s Presolved: 3858 rows, 1482 columns, 11712 nonzeros Variable types: 0 continuous, 1482 integer (1482 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 274 - 0.00000 - - 0s 0 0 0.00000 0 275 - 0.00000 - - 0s 0 0 0.00000 0 430 - 0.00000 - - 1s 0 0 0.00000 0 428 - 0.00000 - - 1s 0 0 0.00000 0 423 - 0.00000 - - 2s 0 0 0.00000 0 424 - 0.00000 - - 2s 0 0 0.00000 0 418 - 0.00000 - - 2s 0 0 0.00000 0 415 - 0.00000 - - 4s 0 0 0.00000 0 410 - 0.00000 - - 5s 0 0 0.00000 0 408 - 0.00000 - - 6s 0 0 0.00000 0 408 - 0.00000 - - 6s 0 0 0.00000 0 405 - 0.00000 - - 7s 0 0 0.00000 0 405 - 0.00000 - - 9s 0 0 0.00000 0 404 - 0.00000 - - 9s 0 2 0.00000 0 404 - 0.00000 - - 10s Cutting planes: Clique: 23 Zero half: 15 Explored 13 nodes (44617 simplex iterations) in 10.86 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:50:10 2012 Optimize a model with 5718 rows, 1758 columns and 17568 nonzeros Presolve time: 0.02s Presolved: 5718 rows, 1758 columns, 17568 nonzeros Variable types: 0 continuous, 1758 integer (1758 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.00000 0 122 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Cutting planes: Gomory: 2 Clique: 26 Zero half: 68 Explored 0 nodes (3620 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: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 08:50:11 2012 Optimize a model with 4788 rows, 1620 columns and 14640 nonzeros Presolve time: 0.01s Presolved: 4788 rows, 1620 columns, 14640 nonzeros Variable types: 0 continuous, 1620 integer (1620 binary) Root relaxation: objective 0.000000e+00, 287 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 160 - 0.00000 - - 0s 0 0 0.00000 0 168 - 0.00000 - - 0s 0 0 0.00000 0 336 - 0.00000 - - 1s 0 0 0.00000 0 405 - 0.00000 - - 1s 0 0 0.00000 0 301 - 0.00000 - - 2s 0 0 0.00000 0 342 - 0.00000 - - 3s 0 0 0.00000 0 365 - 0.00000 - - 3s 0 0 0.00000 0 387 - 0.00000 - - 4s 0 0 0.00000 0 333 - 0.00000 - - 4s 0 2 0.00000 0 333 - 0.00000 - - 5s 494 24 infeasible 17 - 0.00000 - 127 10s 605 55 0.00000 14 367 - 0.00000 - 127 15s 608 57 0.00000 18 271 - 0.00000 - 127 20s 612 59 0.00000 23 333 - 0.00000 - 126 25s 749 75 infeasible 32 - 0.00000 - 211 30s 966 128 0.00000 25 306 - 0.00000 - 220 35s 1183 223 infeasible 31 - 0.00000 - 225 40s 1393 275 infeasible 41 - 0.00000 - 232 45s 1608 334 0.00000 31 307 - 0.00000 - 235 50s 1818 356 0.00000 34 272 - 0.00000 - 239 55s 2024 382 infeasible 29 - 0.00000 - 243 60s 2247 419 infeasible 39 - 0.00000 - 244 65s 2424 398 0.00000 29 226 - 0.00000 - 251 70s 2644 410 infeasible 35 - 0.00000 - 253 75s 2872 478 infeasible 41 - 0.00000 - 252 80s 3069 499 infeasible 44 - 0.00000 - 254 85s 3239 509 0.00000 35 289 - 0.00000 - 258 90s 3436 516 infeasible 33 - 0.00000 - 260 95s 3641 539 0.00000 38 296 - 0.00000 - 261 100s 3846 546 0.00000 26 296 - 0.00000 - 262 105s 4063 561 0.00000 34 286 - 0.00000 - 262 110s 4265 557 infeasible 28 - 0.00000 - 264 115s 4475 561 infeasible 36 - 0.00000 - 265 120s 4687 547 infeasible 32 - 0.00000 - 266 125s 4889 547 infeasible 31 - 0.00000 - 267 130s 5095 539 0.00000 32 294 - 0.00000 - 268 135s 5268 542 infeasible 34 - 0.00000 - 269 140s 5451 539 infeasible 35 - 0.00000 - 271 145s 5664 558 infeasible 46 - 0.00000 - 270 150s 5877 553 0.00000 35 303 - 0.00000 - 270 155s 6068 564 infeasible 40 - 0.00000 - 271 160s 6282 588 0.00000 31 292 - 0.00000 - 271 165s 6543 583 infeasible 34 - 0.00000 - 270 170s 6771 581 infeasible 36 - 0.00000 - 270 175s 6956 580 infeasible 39 - 0.00000 - 271 180s 7186 574 infeasible 32 - 0.00000 - 270 185s 7400 596 infeasible 42 - 0.00000 - 270 190s 7592 602 infeasible 34 - 0.00000 - 271 195s 7797 607 infeasible 42 - 0.00000 - 271 200s 8012 606 0.00000 37 228 - 0.00000 - 271 205s 8218 600 infeasible 42 - 0.00000 - 271 210s 8430 604 infeasible 33 - 0.00000 - 271 215s 8637 617 0.00000 35 299 - 0.00000 - 271 220s 8817 625 0.00000 42 307 - 0.00000 - 272 225s 9009 619 infeasible 44 - 0.00000 - 273 230s 9196 630 0.00000 36 297 - 0.00000 - 274 235s 9399 651 infeasible 39 - 0.00000 - 274 240s 9551 651 infeasible 37 - 0.00000 - 275 245s 9751 649 infeasible 37 - 0.00000 - 276 250s 9943 671 0.00000 39 303 - 0.00000 - 276 255s 10125 669 0.00000 42 279 - 0.00000 - 276 260s 10296 678 0.00000 36 281 - 0.00000 - 277 265s 10501 683 0.00000 36 300 - 0.00000 - 277 270s 10727 689 0.00000 33 306 - 0.00000 - 277 275s 10944 686 0.00000 32 281 - 0.00000 - 277 280s 11111 693 0.00000 29 304 - 0.00000 - 277 285s Cutting planes: Clique: 3 Zero half: 7 Explored 11117 nodes (3113763 simplex iterations) in 285.16 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