current bounds on the number of colors: 0 -- 163 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:39:14 2012 Optimize a model with 57997 rows, 13917 columns and 186705 nonzeros Presolve time: 0.17s Presolved: 57997 rows, 13917 columns, 186705 nonzeros Variable types: 0 continuous, 13917 integer (13917 binary) Root relaxation: objective 0.000000e+00, 605 iterations, 0.05 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 (967 simplex iterations) in 0.30 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 -- 81 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:39:15 2012 Optimize a model with 28723 rows, 7234 columns and 92200 nonzeros Presolve time: 0.14s Presolved: 28723 rows, 7234 columns, 92200 nonzeros Variable types: 0 continuous, 7234 integer (7234 binary) Root relaxation: objective 0.000000e+00, 489 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 (866 simplex iterations) in 0.20 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 -- 40 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:39:16 2012 Optimize a model with 14443 rows, 3974 columns and 46100 nonzeros Presolve time: 0.05s Presolved: 14443 rows, 3974 columns, 46100 nonzeros Variable types: 0 continuous, 3974 integer (3974 binary) Root relaxation: objective 0.000000e+00, 345 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 (777 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 -- 20 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:39:16 2012 Optimize a model with 7303 rows, 2344 columns and 23050 nonzeros Presolve time: 0.02s Presolved: 7303 rows, 2344 columns, 23050 nonzeros Variable types: 0 continuous, 2344 integer (2344 binary) Root relaxation: objective 0.000000e+00, 341 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 (640 simplex iterations) in 0.04 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 -- 10 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:39:16 2012 Optimize a model with 3733 rows, 1529 columns and 11525 nonzeros Presolve time: 0.01s Presolved: 3733 rows, 1529 columns, 11525 nonzeros Variable types: 0 continuous, 1529 integer (1529 binary) Root relaxation: objective 0.000000e+00, 355 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 8 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3163 simplex iterations) in 0.18 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 Fri Dec 14 19:39:16 2012 Optimize a model with 1591 rows, 1040 columns and 4610 nonzeros Presolve removed 163 rows and 163 columns Presolve time: 0.00s Presolved: 1428 rows, 877 columns, 4284 nonzeros Variable types: 0 continuous, 877 integer (877 binary) Root relaxation: objective 0.000000e+00, 174 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 163 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (679 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 Fri Dec 14 19:39:17 2012 Optimize a model with 2305 rows, 1203 columns and 6915 nonzeros Presolve time: 0.01s Presolved: 2305 rows, 1203 columns, 6915 nonzeros Variable types: 0 continuous, 1203 integer (1203 binary) Root relaxation: objective 0.000000e+00, 401 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 324 - 0.00000 - - 0s 0 0 0.00000 0 322 - 0.00000 - - 0s 0 0 0.00000 0 413 - 0.00000 - - 0s 0 0 0.00000 0 423 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Cutting planes: Zero half: 796 Explored 0 nodes (7462 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 Fri Dec 14 19:39:18 2012 Optimize a model with 3019 rows, 1366 columns and 9220 nonzeros Presolve time: 0.01s Presolved: 3019 rows, 1366 columns, 9220 nonzeros Variable types: 0 continuous, 1366 integer (1366 binary) Root relaxation: objective 0.000000e+00, 405 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 304 - 0.00000 - - 0s 0 0 0.00000 0 280 - 0.00000 - - 0s 0 0 0.00000 0 398 - 0.00000 - - 0s 0 0 0.00000 0 422 - 0.00000 - - 0s 0 0 0.00000 0 389 - 0.00000 - - 1s 0 0 0.00000 0 390 - 0.00000 - - 1s 0 0 0.00000 0 390 - 0.00000 - - 1s 0 2 0.00000 0 390 - 0.00000 - - 2s 732 60 infeasible 22 - 0.00000 - 80.9 5s 808 65 0.00000 18 376 - 0.00000 - 79.3 10s 815 69 0.00000 11 300 - 0.00000 - 78.6 15s 872 95 0.00000 25 273 - 0.00000 - 126 20s 1408 161 infeasible 38 - 0.00000 - 139 25s 1901 236 0.00000 25 284 - 0.00000 - 147 30s 2458 323 infeasible 31 - 0.00000 - 149 35s 2994 427 infeasible 32 - 0.00000 - 152 40s 3536 431 infeasible 26 - 0.00000 - 155 45s 4109 474 infeasible 34 - 0.00000 - 155 50s 4626 447 infeasible 27 - 0.00000 - 157 55s 5167 454 0.00000 31 315 - 0.00000 - 158 60s 5739 528 infeasible 32 - 0.00000 - 158 65s 6286 559 0.00000 29 262 - 0.00000 - 158 70s 6849 612 0.00000 28 274 - 0.00000 - 159 75s 7387 678 infeasible 34 - 0.00000 - 159 80s 7926 705 0.00000 30 286 - 0.00000 - 160 85s 8458 695 infeasible 27 - 0.00000 - 161 90s 8970 727 infeasible 34 - 0.00000 - 161 95s 9536 741 0.00000 30 268 - 0.00000 - 161 100s 10064 727 infeasible 33 - 0.00000 - 162 105s 10542 711 infeasible 30 - 0.00000 - 163 110s 11080 715 0.00000 33 276 - 0.00000 - 163 115s 11638 727 0.00000 35 307 - 0.00000 - 163 120s 12147 700 infeasible 35 - 0.00000 - 164 125s 12667 698 infeasible 28 - 0.00000 - 164 130s 13196 697 0.00000 30 278 - 0.00000 - 164 135s 13689 747 0.00000 32 288 - 0.00000 - 165 140s 14158 732 infeasible 33 - 0.00000 - 166 145s 14664 742 infeasible 36 - 0.00000 - 166 150s 15186 754 infeasible 34 - 0.00000 - 166 155s 15697 751 infeasible 32 - 0.00000 - 167 160s 16265 759 0.00000 34 254 - 0.00000 - 166 165s 16776 766 infeasible 33 - 0.00000 - 167 170s 17289 753 0.00000 28 320 - 0.00000 - 167 175s 17795 729 0.00000 26 300 - 0.00000 - 167 180s 18303 727 infeasible 38 - 0.00000 - 167 185s 18840 704 infeasible 31 - 0.00000 - 167 190s 19410 742 infeasible 26 - 0.00000 - 167 195s 19918 760 0.00000 28 264 - 0.00000 - 167 200s 20428 740 infeasible 35 - 0.00000 - 167 205s 20982 730 infeasible 31 - 0.00000 - 167 210s 21537 749 0.00000 34 270 - 0.00000 - 167 215s 22051 717 infeasible 29 - 0.00000 - 167 220s 22613 723 infeasible 30 - 0.00000 - 167 225s 23161 693 infeasible 30 - 0.00000 - 167 230s 23659 659 infeasible 36 - 0.00000 - 168 235s 24189 626 infeasible 34 - 0.00000 - 168 240s 24668 613 infeasible 32 - 0.00000 - 168 245s 25179 582 infeasible 36 - 0.00000 - 168 250s 25685 548 infeasible 29 - 0.00000 - 168 255s 26194 545 infeasible 39 - 0.00000 - 168 260s 26732 521 0.00000 28 266 - 0.00000 - 168 265s 27209 486 infeasible 32 - 0.00000 - 168 270s 27708 471 infeasible 28 - 0.00000 - 168 275s 28217 436 infeasible 37 - 0.00000 - 169 280s 28696 439 0.00000 32 305 - 0.00000 - 169 285s 29171 442 0.00000 30 335 - 0.00000 - 169 290s 29654 421 infeasible 28 - 0.00000 - 169 295s Cutting planes: Gomory: 1 Zero half: 15 Explored 29702 nodes (5035769 simplex iterations) in 295.48 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