current bounds on the number of colors: 0 -- 140 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 10:36:18 2012 Optimize a model with 69370 rows, 10789 columns and 217490 nonzeros Presolve time: 0.19s Presolved: 69370 rows, 10789 columns, 217490 nonzeros Variable types: 0 continuous, 10789 integer (10789 binary) Root relaxation: objective 0.000000e+00, 379 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 (759 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:36:19 2012 Optimize a model with 34755 rows, 5889 columns and 108745 nonzeros Presolve time: 0.16s Presolved: 34755 rows, 5889 columns, 108745 nonzeros Variable types: 0 continuous, 5889 integer (5889 binary) Root relaxation: objective 0.000000e+00, 427 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 (808 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 -- 35 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 10:36:20 2012 Optimize a model with 16953 rows, 3369 columns and 52819 nonzeros Presolve time: 0.06s Presolved: 16953 rows, 3369 columns, 52819 nonzeros Variable types: 0 continuous, 3369 integer (3369 binary) Root relaxation: objective 0.000000e+00, 409 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 (788 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:36:20 2012 Optimize a model with 8052 rows, 2109 columns and 24856 nonzeros Presolve time: 0.02s Presolved: 8052 rows, 2109 columns, 24856 nonzeros Variable types: 0 continuous, 2109 integer (2109 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1043 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 10:36:20 2012 Optimize a model with 4096 rows, 1549 columns and 12428 nonzeros Presolve time: 0.01s Presolved: 4096 rows, 1549 columns, 12428 nonzeros Variable types: 0 continuous, 1549 integer (1549 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 192 - 0.00000 - - 0s 0 0 0.00000 0 337 - 0.00000 - - 0s 0 0 0.00000 0 447 - 0.00000 - - 1s 0 0 0.00000 0 455 - 0.00000 - - 2s 0 0 0.00000 0 429 - 0.00000 - - 3s 0 0 0.00000 0 431 - 0.00000 - - 5s 0 0 0.00000 0 439 - 0.00000 - - 6s 0 0 0.00000 0 424 - 0.00000 - - 6s 0 0 0.00000 0 429 - 0.00000 - - 8s 0 0 0.00000 0 421 - 0.00000 - - 8s 0 2 0.00000 0 421 - 0.00000 - - 10s Cutting planes: Clique: 20 Zero half: 8 Explored 23 nodes (50088 simplex iterations) in 11.55 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:36:32 2012 Optimize a model with 6074 rows, 1829 columns and 18642 nonzeros Presolve time: 0.02s Presolved: 6074 rows, 1829 columns, 18642 nonzeros Variable types: 0 continuous, 1829 integer (1829 binary) Root relaxation: objective 0.000000e+00, 309 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 272 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Cutting planes: Gomory: 3 Clique: 375 MIR: 2 Zero half: 516 Explored 0 nodes (6739 simplex iterations) in 0.81 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:36:33 2012 Optimize a model with 5085 rows, 1689 columns and 15535 nonzeros Presolve time: 0.01s Presolved: 5085 rows, 1689 columns, 15535 nonzeros Variable types: 0 continuous, 1689 integer (1689 binary) Root relaxation: objective 0.000000e+00, 295 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 264 - 0.00000 - - 0s 0 0 0.00000 0 210 - 0.00000 - - 1s 0 0 0.00000 0 416 - 0.00000 - - 1s 0 0 0.00000 0 305 - 0.00000 - - 2s 0 0 0.00000 0 193 - 0.00000 - - 3s 0 0 0.00000 0 266 - 0.00000 - - 4s 0 0 0.00000 0 254 - 0.00000 - - 5s 0 0 0.00000 0 338 - 0.00000 - - 6s 0 0 0.00000 0 335 - 0.00000 - - 7s 0 0 0.00000 0 370 - 0.00000 - - 8s 0 0 0.00000 0 370 - 0.00000 - - 8s 0 2 0.00000 0 370 - 0.00000 - - 9s 16 16 0.00000 13 319 - 0.00000 - 383 10s 399 89 0.00000 35 228 - 0.00000 - 154 15s 604 126 0.00000 29 413 - 0.00000 - 153 20s 607 128 0.00000 24 323 - 0.00000 - 152 25s 610 130 0.00000 29 228 - 0.00000 - 151 30s 613 132 0.00000 24 320 - 0.00000 - 150 36s 652 156 0.00000 33 322 - 0.00000 - 240 40s 818 159 infeasible 32 - 0.00000 - 250 45s 990 141 0.00000 30 307 - 0.00000 - 255 50s 1151 163 infeasible 35 - 0.00000 - 261 55s 1322 190 0.00000 33 327 - 0.00000 - 265 60s 1490 250 infeasible 33 - 0.00000 - 267 65s 1649 287 infeasible 35 - 0.00000 - 270 70s 1830 338 infeasible 33 - 0.00000 - 270 75s 1998 332 infeasible 35 - 0.00000 - 274 80s 2168 338 0.00000 30 325 - 0.00000 - 276 85s 2326 380 infeasible 36 - 0.00000 - 278 90s 2473 393 infeasible 32 - 0.00000 - 282 95s 2616 388 0.00000 35 315 - 0.00000 - 285 100s 2769 375 infeasible 32 - 0.00000 - 288 105s 2922 370 infeasible 36 - 0.00000 - 290 110s 3080 408 infeasible 40 - 0.00000 - 292 115s 3229 423 0.00000 37 331 - 0.00000 - 293 120s 3395 455 infeasible 38 - 0.00000 - 293 125s 3527 451 infeasible 30 - 0.00000 - 296 130s 3697 485 0.00000 41 326 - 0.00000 - 295 135s 3860 496 infeasible 38 - 0.00000 - 296 140s 4000 500 infeasible 32 - 0.00000 - 297 145s 4166 510 0.00000 30 283 - 0.00000 - 298 150s 4315 505 0.00000 32 307 - 0.00000 - 299 155s 4449 497 0.00000 28 338 - 0.00000 - 301 160s 4580 490 infeasible 39 - 0.00000 - 303 165s 4774 500 0.00000 42 298 - 0.00000 - 302 170s 4927 489 infeasible 35 - 0.00000 - 302 175s 5072 486 infeasible 32 - 0.00000 - 303 180s 5224 494 infeasible 41 - 0.00000 - 304 185s 5375 489 0.00000 34 325 - 0.00000 - 304 190s 5536 506 infeasible 36 - 0.00000 - 304 195s 5687 527 0.00000 35 246 - 0.00000 - 305 200s 5852 552 0.00000 30 328 - 0.00000 - 305 205s 6034 576 infeasible 35 - 0.00000 - 303 210s 6191 591 infeasible 35 - 0.00000 - 304 215s 6344 590 0.00000 37 318 - 0.00000 - 304 220s 6490 586 infeasible 37 - 0.00000 - 305 225s 6629 591 infeasible 36 - 0.00000 - 306 230s 6806 622 0.00000 32 313 - 0.00000 - 305 235s 6977 631 infeasible 35 - 0.00000 - 305 240s 7118 640 infeasible 28 - 0.00000 - 306 245s 7262 642 0.00000 32 246 - 0.00000 - 306 250s 7418 632 infeasible 36 - 0.00000 - 307 255s 7562 632 infeasible 35 - 0.00000 - 307 260s 7696 636 infeasible 34 - 0.00000 - 308 265s 7844 640 infeasible 34 - 0.00000 - 308 270s 7991 653 infeasible 44 - 0.00000 - 309 275s 8158 662 0.00000 33 321 - 0.00000 - 308 280s Cutting planes: Gomory: 1 Clique: 4 Zero half: 18 Explored 8281 nodes (2602761 simplex iterations) in 283.65 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