current bounds on the number of colors: 0 -- 175 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 22:43:22 2012 Optimize a model with 66208 rows, 15984 columns and 213324 nonzeros Presolve removed 1 rows and 87 columns Presolve time: 0.20s Presolved: 66207 rows, 15897 columns, 213237 nonzeros Variable types: 0 continuous, 15897 integer (15897 binary) Root relaxation: objective 0.000000e+00, 716 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 (1096 simplex iterations) in 0.37 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 -- 87 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 22:43:24 2012 Optimize a model with 32812 rows, 8284 columns and 105436 nonzeros Presolve removed 1 rows and 43 columns Presolve time: 0.14s Presolved: 32811 rows, 8241 columns, 105393 nonzeros Variable types: 0 continuous, 8241 integer (8241 binary) Root relaxation: objective 0.000000e+00, 473 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 (824 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 -- 43 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 22:43:24 2012 Optimize a model with 16114 rows, 4434 columns and 51492 nonzeros Presolve removed 1 rows and 21 columns Presolve time: 0.06s Presolved: 16113 rows, 4413 columns, 51471 nonzeros Variable types: 0 continuous, 4413 integer (4413 binary) Root relaxation: objective 0.000000e+00, 396 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 (703 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 -- 21 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 22:43:25 2012 Optimize a model with 7765 rows, 2509 columns and 24520 nonzeros Presolve removed 1 rows and 10 columns Presolve time: 0.02s Presolved: 7764 rows, 2499 columns, 24510 nonzeros Variable types: 0 continuous, 2499 integer (2499 binary) Root relaxation: objective 0.000000e+00, 365 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 (701 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 22:43:25 2012 Optimize a model with 3970 rows, 1634 columns and 12260 nonzeros Presolve removed 1 rows and 5 columns Presolve time: 0.01s Presolved: 3969 rows, 1629 columns, 12255 nonzeros Variable types: 0 continuous, 1629 integer (1629 binary) Root relaxation: objective 0.000000e+00, 395 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 (2558 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 22:43:25 2012 Optimize a model with 1693 rows, 1109 columns and 4904 nonzeros Presolve removed 175 rows and 176 columns Presolve time: 0.00s Presolved: 1518 rows, 933 columns, 4554 nonzeros Variable types: 0 continuous, 933 integer (933 binary) Root relaxation: objective 0.000000e+00, 185 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 174 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (733 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 22:43:25 2012 Optimize a model with 2452 rows, 1284 columns and 7356 nonzeros Presolve removed 1 rows and 3 columns Presolve time: 0.01s Presolved: 2451 rows, 1281 columns, 7353 nonzeros Variable types: 0 continuous, 1281 integer (1281 binary) Root relaxation: objective 0.000000e+00, 396 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 276 - 0.00000 - - 0s 0 0 0.00000 0 318 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5198 simplex iterations) in 0.54 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 22:43:26 2012 Optimize a model with 3211 rows, 1459 columns and 9808 nonzeros Presolve removed 1 rows and 4 columns Presolve time: 0.01s Presolved: 3210 rows, 1455 columns, 9804 nonzeros Variable types: 0 continuous, 1455 integer (1455 binary) Root relaxation: objective 0.000000e+00, 413 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 322 - 0.00000 - - 0s 0 0 0.00000 0 308 - 0.00000 - - 0s 0 0 0.00000 0 304 - 0.00000 - - 0s 0 0 0.00000 0 371 - 0.00000 - - 0s 0 0 0.00000 0 274 - 0.00000 - - 1s 0 0 0.00000 0 258 - 0.00000 - - 1s 0 0 0.00000 0 252 - 0.00000 - - 1s 0 0 0.00000 0 240 - 0.00000 - - 1s 0 0 0.00000 0 242 - 0.00000 - - 2s 0 0 0.00000 0 234 - 0.00000 - - 2s 0 0 0.00000 0 251 - 0.00000 - - 2s 0 0 0.00000 0 198 - 0.00000 - - 3s 0 0 0.00000 0 198 - 0.00000 - - 3s 0 0 0.00000 0 201 - 0.00000 - - 3s 0 0 0.00000 0 201 - 0.00000 - - 4s 0 2 0.00000 0 201 - 0.00000 - - 4s 19 17 0.00000 13 314 - 0.00000 - 230 5s 706 45 0.00000 17 260 - 0.00000 - 74.5 10s 713 50 0.00000 17 357 - 0.00000 - 73.8 15s 1155 64 0.00000 26 294 - 0.00000 - 137 20s 1618 69 0.00000 23 276 - 0.00000 - 153 25s 2128 47 0.00000 14 297 - 0.00000 - 156 30s 2669 88 infeasible 31 - 0.00000 - 157 35s 3243 78 infeasible 27 - 0.00000 - 157 40s 3770 85 infeasible 30 - 0.00000 - 158 45s 4249 76 infeasible 20 - 0.00000 - 160 50s 4778 81 infeasible 27 - 0.00000 - 161 55s 5289 86 infeasible 31 - 0.00000 - 161 60s 5843 86 infeasible 29 - 0.00000 - 162 65s 6465 72 infeasible 32 - 0.00000 - 160 70s 6980 60 0.00000 23 344 - 0.00000 - 161 75s 7463 53 infeasible 26 - 0.00000 - 163 80s 7978 52 0.00000 28 290 - 0.00000 - 163 85s 8505 71 infeasible 30 - 0.00000 - 163 90s 8940 78 0.00000 27 294 - 0.00000 - 165 95s 9397 71 0.00000 26 300 - 0.00000 - 166 100s 9894 72 infeasible 29 - 0.00000 - 166 105s 10368 68 0.00000 22 298 - 0.00000 - 167 110s 10832 110 infeasible 38 - 0.00000 - 167 115s 11365 103 infeasible 30 - 0.00000 - 167 120s 11842 114 0.00000 30 286 - 0.00000 - 168 125s 12396 104 infeasible 34 - 0.00000 - 168 130s 12881 97 infeasible 31 - 0.00000 - 168 135s 13310 96 0.00000 29 309 - 0.00000 - 169 140s 13746 58 infeasible 27 - 0.00000 - 170 145s 14179 37 infeasible 26 - 0.00000 - 170 150s 14691 33 infeasible 29 - 0.00000 - 170 155s 15180 26 0.00000 26 310 - 0.00000 - 171 160s 15585 11 0.00000 22 341 - 0.00000 - 172 165s Cutting planes: Gomory: 1 Zero half: 17 Explored 15841 nodes (2757868 simplex iterations) in 167.70 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - optimal solution found: number of colors: 5