current bounds on the number of colors: 0 -- 140 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 10:46:18 2012 Optimize a model with 68320 rows, 10774 columns and 214340 nonzeros Presolve time: 0.20s Presolved: 68320 rows, 10774 columns, 214340 nonzeros Variable types: 0 continuous, 10774 integer (10774 binary) Root relaxation: objective 0.000000e+00, 340 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 (668 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 -- 70 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 10:46:19 2012 Optimize a model with 34230 rows, 5874 columns and 107170 nonzeros Presolve time: 0.16s Presolved: 34230 rows, 5874 columns, 107170 nonzeros Variable types: 0 continuous, 5874 integer (5874 binary) Root relaxation: objective 0.000000e+00, 434 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 (817 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:46:20 2012 Optimize a model with 16698 rows, 3354 columns and 52054 nonzeros Presolve time: 0.06s Presolved: 16698 rows, 3354 columns, 52054 nonzeros Variable types: 0 continuous, 3354 integer (3354 binary) Root relaxation: objective 0.000000e+00, 289 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 (804 simplex iterations) in 0.10 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:46:20 2012 Optimize a model with 7932 rows, 2094 columns and 24496 nonzeros Presolve time: 0.02s Presolved: 7932 rows, 2094 columns, 24496 nonzeros Variable types: 0 continuous, 2094 integer (2094 binary) Root relaxation: objective 0.000000e+00, 292 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 (1179 simplex iterations) in 0.07 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:46:20 2012 Optimize a model with 4036 rows, 1534 columns and 12248 nonzeros Presolve time: 0.01s Presolved: 4036 rows, 1534 columns, 12248 nonzeros Variable types: 0 continuous, 1534 integer (1534 binary) Root relaxation: objective 0.000000e+00, 304 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 280 - 0.00000 - - 0s 0 0 0.00000 0 263 - 0.00000 - - 0s 0 0 0.00000 0 443 - 0.00000 - - 1s 0 0 0.00000 0 442 - 0.00000 - - 2s 0 0 0.00000 0 434 - 0.00000 - - 2s 0 0 0.00000 0 439 - 0.00000 - - 2s 0 0 0.00000 0 441 - 0.00000 - - 3s 0 0 0.00000 0 444 - 0.00000 - - 4s 0 0 0.00000 0 441 - 0.00000 - - 5s 0 0 0.00000 0 434 - 0.00000 - - 7s 0 0 0.00000 0 419 - 0.00000 - - 8s 0 0 0.00000 0 427 - 0.00000 - - 10s 0 0 0.00000 0 427 - 0.00000 - - 10s 0 2 0.00000 0 427 - 0.00000 - - 11s Cutting planes: Clique: 12 Zero half: 21 Explored 7 nodes (45874 simplex iterations) in 12.19 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:46:32 2012 Optimize a model with 5984 rows, 1814 columns and 18372 nonzeros Presolve time: 0.02s Presolved: 5984 rows, 1814 columns, 18372 nonzeros Variable types: 0 continuous, 1814 integer (1814 binary) Root relaxation: objective 0.000000e+00, 290 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 244 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Cutting planes: Gomory: 5 Clique: 49 Zero half: 170 Explored 0 nodes (6911 simplex iterations) in 0.75 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:46:33 2012 Optimize a model with 5010 rows, 1674 columns and 15310 nonzeros Presolve time: 0.01s Presolved: 5010 rows, 1674 columns, 15310 nonzeros Variable types: 0 continuous, 1674 integer (1674 binary) Root relaxation: objective 0.000000e+00, 291 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 280 - 0.00000 - - 0s 0 0 0.00000 0 278 - 0.00000 - - 0s 0 0 0.00000 0 230 - 0.00000 - - 1s 0 0 0.00000 0 407 - 0.00000 - - 1s 0 0 0.00000 0 359 - 0.00000 - - 2s 0 0 0.00000 0 343 - 0.00000 - - 3s 0 0 0.00000 0 204 - 0.00000 - - 4s 0 0 0.00000 0 361 - 0.00000 - - 5s 0 0 0.00000 0 324 - 0.00000 - - 7s 0 0 0.00000 0 349 - 0.00000 - - 8s 0 0 0.00000 0 338 - 0.00000 - - 9s 0 0 0.00000 0 324 - 0.00000 - - 10s 0 0 0.00000 0 341 - 0.00000 - - 11s 0 0 0.00000 0 341 - 0.00000 - - 12s 0 2 0.00000 0 341 - 0.00000 - - 12s 111 19 infeasible 18 - 0.00000 - 175 15s 541 56 0.00000 11 327 - 0.00000 - 138 20s 605 74 0.00000 21 255 - 0.00000 - 136 25s 607 75 0.00000 25 337 - 0.00000 - 136 30s 609 76 0.00000 4 328 - 0.00000 - 135 35s 613 79 0.00000 19 322 - 0.00000 - 134 41s 661 93 0.00000 19 336 - 0.00000 - 229 45s 793 87 0.00000 26 337 - 0.00000 - 246 50s 931 84 infeasible 32 - 0.00000 - 260 55s 1075 106 0.00000 26 340 - 0.00000 - 269 60s 1202 129 0.00000 32 327 - 0.00000 - 280 65s 1346 153 0.00000 35 333 - 0.00000 - 285 70s 1499 178 infeasible 29 - 0.00000 - 287 75s 1639 186 infeasible 27 - 0.00000 - 292 80s 1792 187 infeasible 32 - 0.00000 - 295 85s 1919 194 0.00000 27 330 - 0.00000 - 300 90s 2074 213 0.00000 25 321 - 0.00000 - 301 95s 2207 214 infeasible 31 - 0.00000 - 305 100s 2342 229 infeasible 39 - 0.00000 - 307 105s 2492 255 0.00000 28 320 - 0.00000 - 308 110s 2628 263 infeasible 28 - 0.00000 - 310 115s 2758 265 0.00000 22 347 - 0.00000 - 313 120s 2891 280 infeasible 27 - 0.00000 - 315 125s 3023 280 infeasible 27 - 0.00000 - 317 130s 3154 281 0.00000 31 334 - 0.00000 - 318 135s 3298 287 0.00000 32 337 - 0.00000 - 319 140s 3427 296 0.00000 32 329 - 0.00000 - 321 145s 3648 299 infeasible 34 - 0.00000 - 315 150s 3838 293 0.00000 32 323 - 0.00000 - 313 155s 3975 280 infeasible 24 - 0.00000 - 314 160s 4127 294 0.00000 25 276 - 0.00000 - 314 165s 4291 300 0.00000 23 323 - 0.00000 - 313 170s 4428 311 0.00000 27 319 - 0.00000 - 315 175s 4569 310 infeasible 30 - 0.00000 - 316 180s 4741 304 infeasible 29 - 0.00000 - 316 185s 4874 303 infeasible 33 - 0.00000 - 317 190s 5014 299 infeasible 34 - 0.00000 - 318 195s 5168 301 0.00000 29 333 - 0.00000 - 318 200s 5330 323 0.00000 35 306 - 0.00000 - 317 205s 5482 313 0.00000 32 302 - 0.00000 - 318 210s 5639 300 infeasible 25 - 0.00000 - 318 215s 5760 297 infeasible 28 - 0.00000 - 319 220s 5877 294 infeasible 30 - 0.00000 - 321 225s 6002 279 0.00000 29 320 - 0.00000 - 322 230s 6108 277 infeasible 32 - 0.00000 - 324 235s 6226 289 0.00000 23 337 - 0.00000 - 325 240s 6355 298 0.00000 32 332 - 0.00000 - 326 245s 6483 300 infeasible 30 - 0.00000 - 327 250s 6595 296 infeasible 27 - 0.00000 - 328 255s 6721 298 infeasible 31 - 0.00000 - 329 260s 6841 294 0.00000 27 325 - 0.00000 - 330 265s 6959 286 0.00000 29 334 - 0.00000 - 331 270s 7076 285 0.00000 25 320 - 0.00000 - 332 275s 7198 285 0.00000 25 319 - 0.00000 - 333 280s Cutting planes: Gomory: 3 Clique: 10 Zero half: 12 Explored 7281 nodes (2492868 simplex iterations) in 283.11 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