current bounds on the number of colors: 0 -- 167 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 20:22:31 2012 Optimize a model with 59180 rows, 14572 columns and 190900 nonzeros Presolve time: 0.18s Presolved: 59180 rows, 14572 columns, 190900 nonzeros Variable types: 0 continuous, 14572 integer (14572 binary) Root relaxation: objective 0.000000e+00, 615 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 (994 simplex iterations) in 0.31 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 -- 83 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 20:22:32 2012 Optimize a model with 29318 rows, 7558 columns and 94300 nonzeros Presolve time: 0.14s Presolved: 29318 rows, 7558 columns, 94300 nonzeros Variable types: 0 continuous, 7558 integer (7558 binary) Root relaxation: objective 0.000000e+00, 492 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 (851 simplex iterations) in 0.21 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 -- 41 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 20:22:33 2012 Optimize a model with 14387 rows, 4051 columns and 46000 nonzeros Presolve time: 0.05s Presolved: 14387 rows, 4051 columns, 46000 nonzeros Variable types: 0 continuous, 4051 integer (4051 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (661 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 -- 20 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 20:22:33 2012 Optimize a model with 7277 rows, 2381 columns and 23000 nonzeros Presolve time: 0.02s Presolved: 7277 rows, 2381 columns, 23000 nonzeros Variable types: 0 continuous, 2381 integer (2381 binary) Root relaxation: objective 0.000000e+00, 342 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 (611 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 20:22:33 2012 Optimize a model with 3722 rows, 1546 columns and 11500 nonzeros Presolve time: 0.01s Presolved: 3722 rows, 1546 columns, 11500 nonzeros Variable types: 0 continuous, 1546 integer (1546 binary) Root relaxation: objective 0.000000e+00, 367 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 10 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3135 simplex iterations) in 0.16 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 20:22:33 2012 Optimize a model with 1589 rows, 1045 columns and 4600 nonzeros Presolve removed 167 rows and 167 columns Presolve time: 0.00s Presolved: 1422 rows, 878 columns, 4266 nonzeros Variable types: 0 continuous, 878 integer (878 binary) Root relaxation: objective 0.000000e+00, 179 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 167 - 0.00000 - - 0s Explored 0 nodes (749 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 20:22:33 2012 Optimize a model with 2300 rows, 1212 columns and 6900 nonzeros Presolve time: 0.01s Presolved: 2300 rows, 1212 columns, 6900 nonzeros Variable types: 0 continuous, 1212 integer (1212 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 334 - 0.00000 - - 0s 0 0 0.00000 0 334 - 0.00000 - - 0s 0 0 0.00000 0 413 - 0.00000 - - 0s 0 0 0.00000 0 422 - 0.00000 - - 0s 0 0 0.00000 0 444 - 0.00000 - - 1s 0 0 infeasible 0 - 0.10000 - - 1s Cutting planes: Clique: 1 Zero half: 425 Explored 0 nodes (10720 simplex iterations) in 1.47 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 20:22:35 2012 Optimize a model with 3011 rows, 1379 columns and 9200 nonzeros Presolve time: 0.01s Presolved: 3011 rows, 1379 columns, 9200 nonzeros Variable types: 0 continuous, 1379 integer (1379 binary) Root relaxation: objective 0.000000e+00, 388 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 300 - 0.00000 - - 0s 0 0 0.00000 0 308 - 0.00000 - - 0s 0 0 0.00000 0 310 - 0.00000 - - 0s 0 0 0.00000 0 308 - 0.00000 - - 0s 0 0 0.00000 0 298 - 0.00000 - - 0s 0 0 0.00000 0 298 - 0.00000 - - 1s 0 0 0.00000 0 296 - 0.00000 - - 1s 0 0 0.00000 0 301 - 0.00000 - - 1s 0 0 0.00000 0 290 - 0.00000 - - 1s 0 0 0.00000 0 292 - 0.00000 - - 1s 0 0 0.00000 0 292 - 0.00000 - - 1s 0 2 0.00000 0 292 - 0.00000 - - 2s 605 62 0.00000 25 274 - 0.00000 - 72.6 5s 613 67 0.00000 18 352 - 0.00000 - 71.6 10s 1145 168 infeasible 38 - 0.00000 - 132 15s 1925 268 infeasible 31 - 0.00000 - 130 20s 2643 358 infeasible 33 - 0.00000 - 131 25s 3353 364 infeasible 32 - 0.00000 - 133 30s 4073 396 infeasible 33 - 0.00000 - 133 35s 4788 424 infeasible 31 - 0.00000 - 134 40s 5457 419 infeasible 31 - 0.00000 - 135 45s 6162 416 infeasible 32 - 0.00000 - 136 50s 6857 571 infeasible 26 - 0.00000 - 136 55s 7494 636 0.00000 26 275 - 0.00000 - 137 60s 8125 645 infeasible 28 - 0.00000 - 139 65s 8772 656 infeasible 26 - 0.00000 - 139 70s 9402 634 0.00000 32 292 - 0.00000 - 141 75s 10115 631 0.00000 29 275 - 0.00000 - 140 80s 10770 622 infeasible 30 - 0.00000 - 141 85s 11465 589 0.00000 31 274 - 0.00000 - 141 90s 12161 559 0.00000 29 272 - 0.00000 - 141 95s 12782 502 0.00000 29 282 - 0.00000 - 142 100s 13452 458 0.00000 27 262 - 0.00000 - 142 105s 14106 408 infeasible 29 - 0.00000 - 143 110s 14787 365 infeasible 28 - 0.00000 - 143 115s 15440 344 0.00000 32 278 - 0.00000 - 143 120s 16056 310 infeasible 33 - 0.00000 - 144 125s 16732 292 infeasible 26 - 0.00000 - 144 130s 17400 286 infeasible 31 - 0.00000 - 144 135s 18025 323 infeasible 38 - 0.00000 - 144 140s 18753 403 0.00000 28 268 - 0.00000 - 144 145s 19444 476 0.00000 35 258 - 0.00000 - 144 150s 20127 515 0.00000 34 268 - 0.00000 - 144 155s 20794 603 infeasible 35 - 0.00000 - 144 160s 21471 604 0.00000 37 252 - 0.00000 - 144 165s 22141 624 infeasible 29 - 0.00000 - 144 170s 22834 655 0.00000 30 260 - 0.00000 - 144 175s 23543 670 0.00000 33 280 - 0.00000 - 144 180s 24244 767 infeasible 31 - 0.00000 - 144 185s 24983 824 infeasible 37 - 0.00000 - 143 190s 25658 781 infeasible 38 - 0.00000 - 143 195s 26345 768 infeasible 35 - 0.00000 - 143 200s *26738 3 36 0.0000000 0.00000 0.0% 144 203s Cutting planes: Clique: 1 Zero half: 5 Explored 26739 nodes (3865838 simplex iterations) in 203.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% optimal solution found: number of colors: 4