current bounds on the number of colors: 0 -- 146 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 15:14:28 2012 Optimize a model with 78402 rows, 11730 columns and 245426 nonzeros Presolve time: 0.22s Presolved: 78402 rows, 11730 columns, 245426 nonzeros Variable types: 0 continuous, 11730 integer (11730 binary) Root relaxation: objective 0.000000e+00, 390 iterations, 0.09 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 (796 simplex iterations) in 0.43 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 -- 73 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 15:14:29 2012 Optimize a model with 38738 rows, 6328 columns and 121032 nonzeros Presolve time: 0.15s Presolved: 38738 rows, 6328 columns, 121032 nonzeros Variable types: 0 continuous, 6328 integer (6328 binary) Root relaxation: objective 0.000000e+00, 456 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 (860 simplex iterations) in 0.25 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 -- 36 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 15:14:30 2012 Optimize a model with 19442 rows, 3700 columns and 60516 nonzeros Presolve time: 0.07s Presolved: 19442 rows, 3700 columns, 60516 nonzeros Variable types: 0 continuous, 3700 integer (3700 binary) Root relaxation: objective 0.000000e+00, 421 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 (1051 simplex iterations) in 0.14 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 -- 18 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 15:14:30 2012 Optimize a model with 9794 rows, 2386 columns and 30258 nonzeros Presolve time: 0.03s Presolved: 9794 rows, 2386 columns, 30258 nonzeros Variable types: 0 continuous, 2386 integer (2386 binary) Root relaxation: objective 0.000000e+00, 301 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 (1013 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 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 15:14:30 2012 Optimize a model with 4434 rows, 1656 columns and 13448 nonzeros Presolve time: 0.01s Presolved: 4434 rows, 1656 columns, 13448 nonzeros Variable types: 0 continuous, 1656 integer (1656 binary) Root relaxation: objective 0.000000e+00, 326 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 292 - 0.00000 - - 0s 0 0 0.00000 0 288 - 0.00000 - - 0s 0 0 0.00000 0 454 - 0.00000 - - 1s 0 0 0.00000 0 465 - 0.00000 - - 2s 0 0 0.00000 0 460 - 0.00000 - - 3s 0 0 0.00000 0 468 - 0.00000 - - 4s 0 0 0.00000 0 464 - 0.00000 - - 5s 0 0 0.00000 0 458 - 0.00000 - - 6s 0 0 0.00000 0 454 - 0.00000 - - 7s 0 0 0.00000 0 462 - 0.00000 - - 8s 0 0 0.00000 0 450 - 0.00000 - - 9s 0 0 0.00000 0 460 - 0.00000 - - 11s 0 0 0.00000 0 461 - 0.00000 - - 13s 0 0 0.00000 0 461 - 0.00000 - - 14s 0 2 0.00000 0 461 - 0.00000 - - 15s Cutting planes: Clique: 19 Zero half: 20 Explored 7 nodes (62911 simplex iterations) in 15.76 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 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 15:14:46 2012 Optimize a model with 6578 rows, 1948 columns and 20172 nonzeros Presolve time: 0.02s Presolved: 6578 rows, 1948 columns, 20172 nonzeros Variable types: 0 continuous, 1948 integer (1948 binary) Root relaxation: objective 0.000000e+00, 302 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 176 - 0.00000 - - 0s 0 0 0.00000 0 337 - 0.00000 - - 0s Cutting planes: Clique: 4 Explored 0 nodes (6088 simplex iterations) in 0.76 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 15:14:47 2012 Optimize a model with 5506 rows, 1802 columns and 16810 nonzeros Presolve time: 0.01s Presolved: 5506 rows, 1802 columns, 16810 nonzeros Variable types: 0 continuous, 1802 integer (1802 binary) Root relaxation: objective 0.000000e+00, 320 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 172 - 0.00000 - - 0s 0 0 0.00000 0 232 - 0.00000 - - 0s 0 0 0.00000 0 392 - 0.00000 - - 1s 0 0 0.00000 0 394 - 0.00000 - - 2s 0 0 0.00000 0 384 - 0.00000 - - 2s 0 0 0.00000 0 384 - 0.00000 - - 3s 0 0 0.00000 0 402 - 0.00000 - - 4s 0 0 0.00000 0 377 - 0.00000 - - 6s 0 0 0.00000 0 354 - 0.00000 - - 7s 0 0 0.00000 0 373 - 0.00000 - - 8s 0 0 0.00000 0 373 - 0.00000 - - 9s 0 2 0.00000 0 373 - 0.00000 - - 10s 181 66 infeasible 24 - 0.00000 - 227 15s 477 87 0.00000 21 325 - 0.00000 - 187 20s 604 96 0.00000 21 396 - 0.00000 - 183 25s 606 97 0.00000 4 365 - 0.00000 - 183 30s 609 99 0.00000 12 391 - 0.00000 - 182 36s 611 101 0.00000 21 333 - 0.00000 - 181 41s 613 102 0.00000 21 307 - 0.00000 - 181 45s 622 106 0.00000 17 352 - 0.00000 - 270 50s 676 126 0.00000 28 338 - 0.00000 - 271 55s 778 116 infeasible 31 - 0.00000 - 284 60s 894 105 0.00000 26 343 - 0.00000 - 295 65s 997 106 0.00000 28 325 - 0.00000 - 303 70s 1123 124 infeasible 38 - 0.00000 - 308 75s 1250 139 0.00000 28 339 - 0.00000 - 312 80s 1352 137 infeasible 29 - 0.00000 - 319 85s 1459 134 infeasible 28 - 0.00000 - 325 90s 1576 143 0.00000 34 327 - 0.00000 - 329 95s 1685 144 infeasible 32 - 0.00000 - 333 100s 1804 161 0.00000 30 336 - 0.00000 - 335 105s 1915 172 infeasible 35 - 0.00000 - 339 110s 2022 181 infeasible 31 - 0.00000 - 343 115s 2137 184 infeasible 32 - 0.00000 - 346 120s 2255 198 0.00000 30 330 - 0.00000 - 349 125s 2371 194 0.00000 31 314 - 0.00000 - 351 130s 2496 193 infeasible 31 - 0.00000 - 353 135s 2622 201 infeasible 32 - 0.00000 - 353 140s 2753 216 infeasible 31 - 0.00000 - 353 145s 2876 209 infeasible 29 - 0.00000 - 354 150s 2991 212 0.00000 29 347 - 0.00000 - 355 155s 3111 208 0.00000 28 341 - 0.00000 - 356 160s 3221 212 0.00000 28 341 - 0.00000 - 358 165s 3334 217 0.00000 28 258 - 0.00000 - 360 170s 3447 216 infeasible 29 - 0.00000 - 361 175s 3562 215 infeasible 26 - 0.00000 - 362 180s 3679 214 0.00000 28 351 - 0.00000 - 363 185s 3788 203 infeasible 31 - 0.00000 - 365 190s 3912 199 infeasible 33 - 0.00000 - 365 195s 4035 206 0.00000 26 354 - 0.00000 - 365 200s 4174 253 infeasible 36 - 0.00000 - 363 205s 4283 260 infeasible 30 - 0.00000 - 365 210s 4412 293 infeasible 40 - 0.00000 - 364 215s 4523 300 infeasible 33 - 0.00000 - 365 220s 4638 313 infeasible 34 - 0.00000 - 365 225s 4773 352 0.00000 34 343 - 0.00000 - 364 230s 4877 350 0.00000 27 344 - 0.00000 - 366 235s 4988 359 infeasible 35 - 0.00000 - 367 240s 5098 359 infeasible 36 - 0.00000 - 368 245s 5205 364 0.00000 32 343 - 0.00000 - 369 250s 5306 361 infeasible 31 - 0.00000 - 370 255s 5407 372 infeasible 37 - 0.00000 - 372 260s 5519 380 infeasible 31 - 0.00000 - 372 265s 5627 400 infeasible 30 - 0.00000 - 373 270s 5724 405 infeasible 37 - 0.00000 - 374 275s Cutting planes: Clique: 7 Zero half: 7 Explored 5828 nodes (2226340 simplex iterations) in 278.98 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