current bounds on the number of colors: 0 -- 178 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 00:10:11 2012 Optimize a model with 71734 rows, 16646 columns and 230510 nonzeros Presolve time: 0.22s Presolved: 71734 rows, 16646 columns, 230510 nonzeros Variable types: 0 continuous, 16646 integer (16646 binary) Root relaxation: objective 0.000000e+00, 667 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 (1089 simplex iterations) in 0.39 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 -- 89 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 00:10:12 2012 Optimize a model with 35554 rows, 8636 columns and 113960 nonzeros Presolve time: 0.15s Presolved: 35554 rows, 8636 columns, 113960 nonzeros Variable types: 0 continuous, 8636 integer (8636 binary) Root relaxation: objective 0.000000e+00, 509 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 (907 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 -- 44 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 00:10:13 2012 Optimize a model with 17866 rows, 4720 columns and 56980 nonzeros Presolve time: 0.07s Presolved: 17866 rows, 4720 columns, 56980 nonzeros Variable types: 0 continuous, 4720 integer (4720 binary) Root relaxation: objective 0.000000e+00, 390 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 (728 simplex iterations) in 0.11 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 -- 22 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 00:10:13 2012 Optimize a model with 9022 rows, 2762 columns and 28490 nonzeros Presolve time: 0.03s Presolved: 9022 rows, 2762 columns, 28490 nonzeros Variable types: 0 continuous, 2762 integer (2762 binary) Root relaxation: objective 0.000000e+00, 371 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 (914 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 -- 11 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 00:10:13 2012 Optimize a model with 4198 rows, 1694 columns and 12950 nonzeros Presolve time: 0.01s Presolved: 4198 rows, 1694 columns, 12950 nonzeros Variable types: 0 continuous, 1694 integer (1694 binary) Root relaxation: objective 0.000000e+00, 392 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 (1838 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 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 00:10:14 2012 Optimize a model with 1786 rows, 1160 columns and 5180 nonzeros Presolve removed 178 rows and 178 columns Presolve time: 0.00s Presolved: 1608 rows, 982 columns, 4824 nonzeros Variable types: 0 continuous, 982 integer (982 binary) Root relaxation: objective 0.000000e+00, 186 iterations, 0.00 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 0.00000 0 178 - 0.00000 - - 0s Explored 0 nodes (758 simplex iterations) in 0.02 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound 1.000000000000e+00, gap - current bounds on the number of colors: 2 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 00:10:14 2012 Optimize a model with 2590 rows, 1338 columns and 7770 nonzeros Presolve time: 0.01s Presolved: 2590 rows, 1338 columns, 7770 nonzeros Variable types: 0 continuous, 1338 integer (1338 binary) Root relaxation: objective 0.000000e+00, 406 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 354 - 0.00000 - - 0s 0 0 0.00000 0 354 - 0.00000 - - 0s 0 0 0.00000 0 494 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Cutting planes: Gomory: 49 Zero half: 465 Explored 0 nodes (7046 simplex iterations) in 0.93 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound 1.000000000000e+00, gap - current bounds on the number of colors: 3 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 00:10:15 2012 Optimize a model with 3394 rows, 1516 columns and 10360 nonzeros Presolve time: 0.01s Presolved: 3394 rows, 1516 columns, 10360 nonzeros Variable types: 0 continuous, 1516 integer (1516 binary) Root relaxation: objective 0.000000e+00, 408 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 336 - 0.00000 - - 0s 0 0 0.00000 0 338 - 0.00000 - - 0s 0 0 0.00000 0 332 - 0.00000 - - 0s 0 0 0.00000 0 340 - 0.00000 - - 0s 0 0 0.00000 0 322 - 0.00000 - - 1s 0 0 0.00000 0 320 - 0.00000 - - 1s 0 0 0.00000 0 316 - 0.00000 - - 1s 0 0 0.00000 0 314 - 0.00000 - - 1s 0 0 0.00000 0 312 - 0.00000 - - 2s 0 0 0.00000 0 308 - 0.00000 - - 2s 0 0 0.00000 0 302 - 0.00000 - - 2s 0 0 0.00000 0 300 - 0.00000 - - 2s 0 0 0.00000 0 292 - 0.00000 - - 3s 0 0 0.00000 0 282 - 0.00000 - - 3s 0 0 0.00000 0 280 - 0.00000 - - 3s 0 0 0.00000 0 288 - 0.00000 - - 4s 0 0 0.00000 0 286 - 0.00000 - - 4s 0 0 0.00000 0 347 - 0.00000 - - 4s 0 0 0.00000 0 369 - 0.00000 - - 5s 0 0 0.00000 0 334 - 0.00000 - - 5s 0 0 0.00000 0 382 - 0.00000 - - 6s 0 0 0.00000 0 382 - 0.00000 - - 6s 0 2 0.00000 0 363 - 0.00000 - - 7s 528 254 0.00000 17 298 - 0.00000 - 98.7 10s 609 295 0.00000 20 302 - 0.00000 - 95.0 15s 614 299 0.00000 17 236 - 0.00000 - 94.2 20s 619 302 0.00000 16 275 - 0.00000 - 93.5 25s 826 334 infeasible 31 - 0.00000 - 182 30s 1302 267 infeasible 33 - 0.00000 - 177 35s 1794 247 0.00000 29 290 - 0.00000 - 175 40s 2254 257 0.00000 34 316 - 0.00000 - 177 45s 2704 359 0.00000 26 298 - 0.00000 - 177 50s 3172 411 0.00000 27 298 - 0.00000 - 176 55s 3703 508 0.00000 30 294 - 0.00000 - 174 60s 4192 543 infeasible 27 - 0.00000 - 174 65s 4677 610 infeasible 32 - 0.00000 - 174 70s 5112 631 infeasible 35 - 0.00000 - 176 75s 5556 631 0.00000 28 298 - 0.00000 - 178 80s 5981 630 0.00000 33 266 - 0.00000 - 180 85s 6424 605 infeasible 31 - 0.00000 - 181 90s 6847 590 infeasible 37 - 0.00000 - 183 95s 7294 601 infeasible 28 - 0.00000 - 184 100s 7772 569 infeasible 28 - 0.00000 - 184 105s 8228 565 0.00000 32 322 - 0.00000 - 185 110s 8670 563 infeasible 27 - 0.00000 - 185 115s 9184 625 infeasible 30 - 0.00000 - 184 120s 9657 610 infeasible 29 - 0.00000 - 184 125s 10127 580 infeasible 30 - 0.00000 - 185 130s 10567 560 infeasible 32 - 0.00000 - 185 135s 11031 558 0.00000 27 313 - 0.00000 - 185 140s 11522 535 0.00000 26 280 - 0.00000 - 185 145s 11982 533 infeasible 27 - 0.00000 - 186 150s 12439 544 0.00000 26 300 - 0.00000 - 186 155s 12839 564 infeasible 32 - 0.00000 - 186 160s 13260 549 infeasible 34 - 0.00000 - 187 165s 13697 548 infeasible 29 - 0.00000 - 187 170s 14213 548 0.00000 32 296 - 0.00000 - 186 175s 14693 526 0.00000 32 308 - 0.00000 - 186 180s 15146 507 infeasible 36 - 0.00000 - 187 185s 15650 475 0.00000 33 296 - 0.00000 - 186 190s 16146 453 infeasible 33 - 0.00000 - 186 195s 16554 453 infeasible 33 - 0.00000 - 186 200s 17042 457 0.00000 34 310 - 0.00000 - 186 205s 17565 500 infeasible 27 - 0.00000 - 186 210s 18020 549 0.00000 27 280 - 0.00000 - 186 215s 18512 505 0.00000 30 288 - 0.00000 - 186 220s 18972 511 infeasible 36 - 0.00000 - 186 225s 19465 550 infeasible 37 - 0.00000 - 185 230s 19964 547 0.00000 30 312 - 0.00000 - 185 235s 20437 560 infeasible 32 - 0.00000 - 185 240s 20955 584 infeasible 32 - 0.00000 - 185 245s 21450 535 infeasible 36 - 0.00000 - 185 250s 21978 531 0.00000 30 376 - 0.00000 - 185 255s 22467 528 infeasible 29 - 0.00000 - 185 260s 22996 607 infeasible 28 - 0.00000 - 184 265s 23490 677 infeasible 33 - 0.00000 - 184 270s 23971 724 0.00000 31 300 - 0.00000 - 184 275s 24436 719 infeasible 29 - 0.00000 - 184 280s 24902 715 infeasible 32 - 0.00000 - 184 285s 25388 697 infeasible 28 - 0.00000 - 184 290s Cutting planes: Zero half: 10 Explored 25850 nodes (4827677 simplex iterations) in 294.82 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: 5