current bounds on the number of colors: 0 -- 206 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 11:50:35 2012 Optimize a model with 111755 rows, 22301 columns and 355865 nonzeros Presolve time: 0.38s Presolved: 111755 rows, 22301 columns, 355865 nonzeros Variable types: 0 continuous, 22301 integer (22301 binary) Root relaxation: objective 0.000000e+00, 554 iterations, 0.14 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 (993 simplex iterations) in 0.68 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 -- 103 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 11:50:37 2012 Optimize a model with 55439 rows, 11589 columns and 176205 nonzeros Presolve time: 0.17s Presolved: 55439 rows, 11589 columns, 176205 nonzeros Variable types: 0 continuous, 11589 integer (11589 binary) Root relaxation: objective 0.000000e+00, 669 iterations, 0.06 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 (1135 simplex iterations) in 0.30 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 -- 51 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 11:50:38 2012 Optimize a model with 27281 rows, 6233 columns and 86375 nonzeros Presolve time: 0.11s Presolved: 27281 rows, 6233 columns, 86375 nonzeros Variable types: 0 continuous, 6233 integer (6233 binary) Root relaxation: objective 0.000000e+00, 482 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 (917 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 -- 25 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 11:50:39 2012 Optimize a model with 13202 rows, 3555 columns and 41460 nonzeros Presolve time: 0.04s Presolved: 13202 rows, 3555 columns, 41460 nonzeros Variable types: 0 continuous, 3555 integer (3555 binary) Root relaxation: objective 0.000000e+00, 434 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 (841 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 -- 12 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 11:50:39 2012 Optimize a model with 6704 rows, 2319 columns and 20730 nonzeros Presolve time: 0.02s Presolved: 6704 rows, 2319 columns, 20730 nonzeros Variable types: 0 continuous, 2319 integer (2319 binary) Root relaxation: objective 0.000000e+00, 461 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 (1977 simplex iterations) in 0.12 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 11:50:39 2012 Optimize a model with 3455 rows, 1701 columns and 10365 nonzeros Presolve time: 0.01s Presolved: 3455 rows, 1701 columns, 10365 nonzeros Variable types: 0 continuous, 1701 integer (1701 binary) Root relaxation: objective 0.000000e+00, 465 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 412 - 0.00000 - - 0s 0 0 0.00000 0 412 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5978 simplex iterations) in 0.88 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 11:50:40 2012 Optimize a model with 4538 rows, 1907 columns and 13820 nonzeros Presolve time: 0.01s Presolved: 4538 rows, 1907 columns, 13820 nonzeros Variable types: 0 continuous, 1907 integer (1907 binary) Root relaxation: objective 0.000000e+00, 465 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 408 - 0.00000 - - 0s 0 0 0.00000 0 390 - 0.00000 - - 0s 0 0 0.00000 0 395 - 0.00000 - - 1s 0 0 0.00000 0 527 - 0.00000 - - 1s 0 0 0.00000 0 382 - 0.00000 - - 3s 0 0 0.00000 0 387 - 0.00000 - - 3s 0 0 0.00000 0 378 - 0.00000 - - 4s 0 0 0.00000 0 374 - 0.00000 - - 4s 0 0 0.00000 0 372 - 0.00000 - - 5s 0 0 0.00000 0 372 - 0.00000 - - 6s 0 0 0.00000 0 374 - 0.00000 - - 7s 0 0 0.00000 0 376 - 0.00000 - - 7s 0 0 0.00000 0 376 - 0.00000 - - 8s 0 2 0.00000 0 376 - 0.00000 - - 9s 48 20 infeasible 16 - 0.00000 - 243 10s 413 64 0.00000 22 364 - 0.00000 - 171 15s 703 96 0.00000 16 395 - 0.00000 - 170 21s 705 98 0.00000 10 380 - 0.00000 - 170 25s 708 100 0.00000 18 382 - 0.00000 - 169 31s 710 101 0.00000 16 366 - 0.00000 - 168 36s 712 102 0.00000 10 352 - 0.00000 - 168 42s 713 103 0.00000 10 348 - 0.00000 - 168 45s 717 106 infeasible 16 - 0.00000 - 272 50s 836 87 infeasible 30 - 0.00000 - 285 55s 959 45 infeasible 26 - 0.00000 - 295 60s 1073 25 infeasible 33 - 0.00000 - 303 65s 1199 31 0.00000 31 443 - 0.00000 - 308 70s 1308 34 infeasible 32 - 0.00000 - 317 75s 1424 36 infeasible 32 - 0.00000 - 323 80s 1537 33 0.00000 28 444 - 0.00000 - 329 85s 1664 37 0.00000 26 372 - 0.00000 - 332 90s 1811 44 infeasible 30 - 0.00000 - 330 95s 1933 36 infeasible 30 - 0.00000 - 333 100s 2055 40 0.00000 27 485 - 0.00000 - 336 105s 2166 33 0.00000 25 441 - 0.00000 - 339 110s 2269 30 infeasible 30 - 0.00000 - 343 115s 2370 27 infeasible 29 - 0.00000 - 347 120s 2495 26 infeasible 23 - 0.00000 - 348 125s 2615 28 infeasible 28 - 0.00000 - 349 130s 2723 32 infeasible 28 - 0.00000 - 352 135s 2826 25 infeasible 30 - 0.00000 - 356 140s 2931 15 0.00000 22 428 - 0.00000 - 358 145s 3065 31 0.00000 27 378 - 0.00000 - 358 150s 3182 20 infeasible 28 - 0.00000 - 360 155s 3284 18 infeasible 32 - 0.00000 - 362 160s 3389 13 infeasible 30 - 0.00000 - 365 165s 3488 16 0.00000 28 388 - 0.00000 - 367 170s 3598 10 infeasible 29 - 0.00000 - 368 175s 3697 5 0.00000 20 508 - 0.00000 - 370 180s 3809 9 0.00000 27 504 - 0.00000 - 371 185s 3922 4 infeasible 24 - 0.00000 - 372 190s 4029 3 infeasible 23 - 0.00000 - 373 195s 4149 7 0.00000 26 425 - 0.00000 - 373 200s 4265 3 infeasible 26 - 0.00000 - 374 205s Cutting planes: Gomory: 1 Zero half: 18 Explored 4309 nodes (1668705 simplex iterations) in 207.08 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 11:54:07 2012 Optimize a model with 5621 rows, 2113 columns and 17275 nonzeros Presolve time: 0.02s Presolved: 5621 rows, 2113 columns, 17275 nonzeros Variable types: 0 continuous, 2113 integer (2113 binary) Root relaxation: objective 0.000000e+00, 429 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 378 - 0.00000 - - 0s 0 0 0.00000 0 436 - 0.00000 - - 1s Cutting planes: Clique: 20 Explored 0 nodes (9799 simplex iterations) in 1.31 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% optimal solution found: number of colors: 5