current bounds on the number of colors: 0 -- 124 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 22:15:33 2012 Optimize a model with 47926 rows, 8459 columns and 151094 nonzeros Presolve time: 0.16s Presolved: 47926 rows, 8459 columns, 151094 nonzeros Variable types: 0 continuous, 8459 integer (8459 binary) Root relaxation: objective 0.000000e+00, 324 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 (585 simplex iterations) in 0.28 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 -- 62 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 22:15:34 2012 Optimize a model with 24025 rows, 4615 columns and 75547 nonzeros Presolve time: 0.11s Presolved: 24025 rows, 4615 columns, 75547 nonzeros Variable types: 0 continuous, 4615 integer (4615 binary) Root relaxation: objective 0.000000e+00, 301 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 (570 simplex iterations) in 0.17 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 -- 31 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 22:15:35 2012 Optimize a model with 11689 rows, 2631 columns and 36555 nonzeros Presolve time: 0.04s Presolved: 11689 rows, 2631 columns, 36555 nonzeros Variable types: 0 continuous, 2631 integer (2631 binary) Root relaxation: objective 0.000000e+00, 252 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 (507 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 -- 15 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 22:15:35 2012 Optimize a model with 5521 rows, 1639 columns and 17059 nonzeros Presolve time: 0.02s Presolved: 5521 rows, 1639 columns, 17059 nonzeros Variable types: 0 continuous, 1639 integer (1639 binary) Root relaxation: objective 0.000000e+00, 263 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 (1300 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 -- 7 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 22:15:35 2012 Optimize a model with 2437 rows, 1143 columns and 7311 nonzeros Presolve time: 0.01s Presolved: 2437 rows, 1143 columns, 7311 nonzeros Variable types: 0 continuous, 1143 integer (1143 binary) Root relaxation: objective 0.000000e+00, 266 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 196 - 0.00000 - - 0s 0 0 0.00000 0 254 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (4499 simplex iterations) in 0.50 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 -- 7 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 22:15:36 2012 Optimize a model with 3979 rows, 1391 columns and 12185 nonzeros Presolve time: 0.01s Presolved: 3979 rows, 1391 columns, 12185 nonzeros Variable types: 0 continuous, 1391 integer (1391 binary) Root relaxation: objective 0.000000e+00, 257 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 248 - 0.00000 - - 0s 0 0 0.00000 0 226 - 0.00000 - - 0s 0 0 0.00000 0 210 - 0.00000 - - 0s 0 0 0.00000 0 281 - 0.00000 - - 0s 0 0 0.00000 0 168 - 0.00000 - - 1s 0 0 0.00000 0 162 - 0.00000 - - 1s 0 0 0.00000 0 148 - 0.00000 - - 2s 0 0 0.00000 0 128 - 0.00000 - - 2s 0 0 0.00000 0 130 - 0.00000 - - 2s 0 0 0.00000 0 130 - 0.00000 - - 2s 0 0 0.00000 0 130 - 0.00000 - - 3s 0 0 0.00000 0 180 - 0.00000 - - 3s 0 0 0.00000 0 176 - 0.00000 - - 3s 0 2 0.00000 0 176 - 0.00000 - - 4s 42 24 0.00000 6 282 - 0.00000 - 158 5s 605 98 0.00000 18 263 - 0.00000 - 92.1 10s 611 102 0.00000 17 234 - 0.00000 - 91.2 15s 817 107 0.00000 29 251 - 0.00000 - 158 20s 1192 124 0.00000 31 244 - 0.00000 - 169 25s 1587 129 0.00000 27 176 - 0.00000 - 174 30s 1961 165 0.00000 21 251 - 0.00000 - 178 35s 2343 159 0.00000 23 237 - 0.00000 - 181 40s 2688 178 infeasible 33 - 0.00000 - 185 45s 3059 193 0.00000 32 188 - 0.00000 - 188 50s 3425 185 infeasible 29 - 0.00000 - 190 55s 3796 198 infeasible 32 - 0.00000 - 191 60s 4166 184 0.00000 25 268 - 0.00000 - 192 65s 4496 184 0.00000 29 253 - 0.00000 - 194 70s 4828 188 infeasible 30 - 0.00000 - 196 75s 5262 210 infeasible 27 - 0.00000 - 194 80s 5673 245 0.00000 29 200 - 0.00000 - 193 85s 6034 238 0.00000 24 263 - 0.00000 - 194 90s 6389 227 0.00000 34 230 - 0.00000 - 195 95s 6764 244 0.00000 35 229 - 0.00000 - 195 100s 7148 230 infeasible 27 - 0.00000 - 195 105s 7562 228 infeasible 27 - 0.00000 - 195 110s 7927 247 infeasible 30 - 0.00000 - 195 115s 8315 235 0.00000 25 239 - 0.00000 - 196 120s 8686 238 infeasible 27 - 0.00000 - 196 125s 9046 238 infeasible 23 - 0.00000 - 196 130s 9416 240 infeasible 28 - 0.00000 - 196 135s 9768 228 infeasible 27 - 0.00000 - 197 140s 10145 237 0.00000 26 210 - 0.00000 - 197 145s 10491 245 infeasible 33 - 0.00000 - 197 150s 10853 235 0.00000 25 251 - 0.00000 - 197 155s 11176 252 infeasible 38 - 0.00000 - 198 160s 11518 258 0.00000 31 218 - 0.00000 - 198 165s 11860 294 infeasible 35 - 0.00000 - 199 170s 12205 309 0.00000 25 269 - 0.00000 - 199 175s 12582 336 0.00000 26 214 - 0.00000 - 199 180s 12949 331 infeasible 31 - 0.00000 - 199 185s 13295 343 0.00000 26 214 - 0.00000 - 199 190s 13682 338 infeasible 32 - 0.00000 - 199 195s 14042 332 0.00000 28 188 - 0.00000 - 199 200s 14439 331 infeasible 31 - 0.00000 - 199 205s 14771 339 0.00000 29 209 - 0.00000 - 200 210s 15128 352 0.00000 28 264 - 0.00000 - 200 215s 15472 338 0.00000 28 196 - 0.00000 - 200 220s 15841 337 infeasible 28 - 0.00000 - 200 225s 16232 326 infeasible 31 - 0.00000 - 200 230s 16595 327 infeasible 24 - 0.00000 - 200 235s 17011 323 infeasible 27 - 0.00000 - 200 240s 17379 317 infeasible 31 - 0.00000 - 200 245s 17691 303 0.00000 31 204 - 0.00000 - 201 250s 18052 298 infeasible 31 - 0.00000 - 201 255s 18409 299 infeasible 29 - 0.00000 - 201 260s 18778 298 0.00000 24 270 - 0.00000 - 201 265s 19110 294 infeasible 29 - 0.00000 - 201 270s 19444 290 0.00000 32 192 - 0.00000 - 202 275s 19750 286 infeasible 30 - 0.00000 - 202 280s 20076 270 0.00000 26 265 - 0.00000 - 202 285s 20428 274 infeasible 29 - 0.00000 - 203 290s *20787 5 28 0.0000000 0.00000 0.0% 202 294s Cutting planes: Clique: 2 Zero half: 9 Explored 20788 nodes (4240506 simplex iterations) in 294.53 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: 3 -- 5 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 22:20:30 2012 Optimize a model with 3208 rows, 1267 columns and 9748 nonzeros Presolve time: 0.01s Presolved: 3208 rows, 1267 columns, 9748 nonzeros Variable types: 0 continuous, 1267 integer (1267 binary) Root relaxation: objective 0.000000e+00, 275 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 248 - 0.00000 - - 0s 0 0 0.00000 0 240 - 0.00000 - - 0s 0 0 0.00000 0 369 - 0.00000 - - 1s 0 0 0.00000 0 381 - 0.00000 - - 1s 0 0 0.00000 0 374 - 0.00000 - - 1s 0 0 0.00000 0 362 - 0.00000 - - 2s Cutting planes: Clique: 22 Zero half: 334 Explored 0 nodes (13124 simplex iterations) in 2.34 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