current bounds on the number of colors: 0 -- 140 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 10:11:17 2012 Optimize a model with 70980 rows, 10812 columns and 222320 nonzeros Presolve time: 0.20s Presolved: 70980 rows, 10812 columns, 222320 nonzeros Variable types: 0 continuous, 10812 integer (10812 binary) Root relaxation: objective 0.000000e+00, 341 iterations, 0.08 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 (942 simplex iterations) in 0.45 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 -- 70 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 10:11:19 2012 Optimize a model with 35560 rows, 5912 columns and 111160 nonzeros Presolve time: 0.15s Presolved: 35560 rows, 5912 columns, 111160 nonzeros Variable types: 0 continuous, 5912 integer (5912 binary) Root relaxation: objective 0.000000e+00, 419 iterations, 0.04 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 (773 simplex iterations) in 0.24 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 -- 35 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 10:11:19 2012 Optimize a model with 17344 rows, 3392 columns and 53992 nonzeros Presolve time: 0.06s Presolved: 17344 rows, 3392 columns, 53992 nonzeros Variable types: 0 continuous, 3392 integer (3392 binary) Root relaxation: objective 0.000000e+00, 392 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 (781 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 -- 17 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 10:11:20 2012 Optimize a model with 8236 rows, 2132 columns and 25408 nonzeros Presolve time: 0.02s Presolved: 8236 rows, 2132 columns, 25408 nonzeros Variable types: 0 continuous, 2132 integer (2132 binary) Root relaxation: objective 0.000000e+00, 287 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 (686 simplex iterations) in 0.05 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 10:11:20 2012 Optimize a model with 4188 rows, 1572 columns and 12704 nonzeros Presolve time: 0.01s Presolved: 4188 rows, 1572 columns, 12704 nonzeros Variable types: 0 continuous, 1572 integer (1572 binary) Root relaxation: objective 0.000000e+00, 298 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 190 - 0.00000 - - 0s 0 0 0.00000 0 176 - 0.00000 - - 0s 0 0 0.00000 0 471 - 0.00000 - - 1s 0 0 0.00000 0 464 - 0.00000 - - 1s 0 0 0.00000 0 468 - 0.00000 - - 2s 0 0 0.00000 0 470 - 0.00000 - - 2s 0 0 0.00000 0 469 - 0.00000 - - 3s 0 0 0.00000 0 467 - 0.00000 - - 3s 0 0 0.00000 0 467 - 0.00000 - - 4s 0 0 0.00000 0 465 - 0.00000 - - 5s 0 0 0.00000 0 463 - 0.00000 - - 5s 0 0 0.00000 0 465 - 0.00000 - - 6s 0 0 0.00000 0 463 - 0.00000 - - 7s 0 0 0.00000 0 449 - 0.00000 - - 8s 0 0 0.00000 0 453 - 0.00000 - - 9s 0 0 0.00000 0 453 - 0.00000 - - 9s 0 2 0.00000 0 453 - 0.00000 - - 11s Cutting planes: Clique: 26 Zero half: 5 Explored 20 nodes (66066 simplex iterations) in 12.01 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - current bounds on the number of colors: 4 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 10:11:32 2012 Optimize a model with 6212 rows, 1852 columns and 19056 nonzeros Presolve time: 0.02s Presolved: 6212 rows, 1852 columns, 19056 nonzeros Variable types: 0 continuous, 1852 integer (1852 binary) Root relaxation: objective 0.000000e+00, 293 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 268 - 0.00000 - - 0s 0 0 0.00000 0 182 - 0.00000 - - 0s 0 0 0.00000 0 230 - 0.00000 - - 1s 0 0 0.00000 0 378 - 0.00000 - - 1s 0 0 0.00000 0 308 - 0.00000 - - 2s 0 0 0.00000 0 349 - 0.00000 - - 3s 0 0 0.00000 0 338 - 0.00000 - - 3s 0 0 0.00000 0 308 - 0.00000 - - 3s 0 0 0.00000 0 333 - 0.00000 - - 4s 0 0 0.00000 0 323 - 0.00000 - - 5s 0 0 0.00000 0 250 - 0.00000 - - 6s 0 0 0.00000 0 286 - 0.00000 - - 6s 0 0 0.00000 0 335 - 0.00000 - - 7s 0 0 0.00000 0 335 - 0.00000 - - 7s H 0 0 0.0000000 0.00000 0.0% - 7s Cutting planes: Zero half: 2 Explored 0 nodes (53795 simplex iterations) in 7.89 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: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 10:11:40 2012 Optimize a model with 5200 rows, 1712 columns and 15880 nonzeros Presolve time: 0.01s Presolved: 5200 rows, 1712 columns, 15880 nonzeros Variable types: 0 continuous, 1712 integer (1712 binary) Root relaxation: objective 0.000000e+00, 294 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 278 - 0.00000 - - 0s 0 0 0.00000 0 268 - 0.00000 - - 0s 0 0 0.00000 0 319 - 0.00000 - - 1s 0 0 0.00000 0 399 - 0.00000 - - 1s 0 0 0.00000 0 321 - 0.00000 - - 2s 0 0 0.00000 0 300 - 0.00000 - - 3s 0 0 0.00000 0 374 - 0.00000 - - 4s 0 0 0.00000 0 228 - 0.00000 - - 5s 0 0 0.00000 0 367 - 0.00000 - - 6s 0 0 0.00000 0 396 - 0.00000 - - 7s 0 0 0.00000 0 393 - 0.00000 - - 7s 0 2 0.00000 0 393 - 0.00000 - - 8s 39 23 0.00000 20 312 - 0.00000 - 273 10s 371 32 0.00000 20 307 - 0.00000 - 172 15s 751 32 0.00000 20 323 - 0.00000 - 154 20s 1064 34 0.00000 24 300 - 0.00000 - 158 25s 1112 40 0.00000 18 341 - 0.00000 - 157 30s 1115 42 0.00000 14 341 - 0.00000 - 156 36s 1117 43 0.00000 15 320 - 0.00000 - 156 41s 1142 60 0.00000 26 325 - 0.00000 - 192 45s 1294 54 infeasible 36 - 0.00000 - 205 50s 1433 63 0.00000 33 333 - 0.00000 - 217 55s 1572 82 0.00000 37 341 - 0.00000 - 227 60s 1695 87 infeasible 33 - 0.00000 - 238 65s 1828 80 0.00000 35 294 - 0.00000 - 246 70s 1964 112 0.00000 30 342 - 0.00000 - 252 75s 2094 122 0.00000 30 340 - 0.00000 - 258 80s 2241 133 infeasible 33 - 0.00000 - 261 85s 2364 142 0.00000 36 335 - 0.00000 - 267 90s 2499 143 0.00000 27 342 - 0.00000 - 271 95s 2617 147 infeasible 32 - 0.00000 - 276 100s 2740 138 infeasible 36 - 0.00000 - 281 105s 2878 150 infeasible 36 - 0.00000 - 283 110s 2997 145 infeasible 28 - 0.00000 - 287 115s 3117 149 0.00000 28 357 - 0.00000 - 290 120s 3259 167 infeasible 34 - 0.00000 - 291 125s 3383 169 0.00000 30 338 - 0.00000 - 294 130s 3501 171 infeasible 30 - 0.00000 - 297 135s 3626 168 0.00000 33 347 - 0.00000 - 299 140s 3763 161 infeasible 31 - 0.00000 - 301 145s 3866 160 0.00000 33 326 - 0.00000 - 305 150s 3999 167 0.00000 35 340 - 0.00000 - 306 155s 4139 167 0.00000 36 334 - 0.00000 - 306 160s 4256 158 infeasible 34 - 0.00000 - 309 165s 4387 155 0.00000 28 350 - 0.00000 - 310 170s 4531 165 infeasible 40 - 0.00000 - 310 175s 4683 159 0.00000 33 337 - 0.00000 - 310 180s 4806 166 infeasible 33 - 0.00000 - 311 185s 4937 165 0.00000 26 355 - 0.00000 - 312 190s 5057 161 infeasible 29 - 0.00000 - 313 195s 5183 165 infeasible 37 - 0.00000 - 314 200s 5308 156 infeasible 26 - 0.00000 - 315 205s 5434 162 infeasible 34 - 0.00000 - 316 210s 5577 161 infeasible 41 - 0.00000 - 317 215s 5693 175 0.00000 29 348 - 0.00000 - 318 220s 5817 189 infeasible 37 - 0.00000 - 319 225s 5928 178 infeasible 38 - 0.00000 - 321 230s 6061 203 infeasible 40 - 0.00000 - 321 235s 6178 208 infeasible 34 - 0.00000 - 322 240s 6296 202 0.00000 35 323 - 0.00000 - 323 245s 6410 206 infeasible 33 - 0.00000 - 325 250s 6520 198 infeasible 37 - 0.00000 - 326 255s 6660 202 infeasible 35 - 0.00000 - 327 260s 6785 199 infeasible 41 - 0.00000 - 327 265s 6920 200 0.00000 33 337 - 0.00000 - 328 270s 7047 201 infeasible 39 - 0.00000 - 328 275s Cutting planes: Clique: 5 Zero half: 18 Explored 7069 nodes (2365419 simplex iterations) in 275.97 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: 6