current bounds on the number of colors: 0 -- 139 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 09:24:58 2012 Optimize a model with 68794 rows, 10586 columns and 215556 nonzeros Presolve time: 0.21s Presolved: 68794 rows, 10586 columns, 215556 nonzeros Variable types: 0 continuous, 10586 integer (10586 binary) Root relaxation: objective 0.000000e+00, 337 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 (719 simplex iterations) in 0.39 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 -- 69 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 09:24:59 2012 Optimize a model with 33969 rows, 5721 columns and 106216 nonzeros Presolve time: 0.16s Presolved: 33969 rows, 5721 columns, 106216 nonzeros Variable types: 0 continuous, 5721 integer (5721 binary) Root relaxation: objective 0.000000e+00, 328 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 (649 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 -- 34 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 09:24:59 2012 Optimize a model with 17054 rows, 3358 columns and 53108 nonzeros Presolve time: 0.06s Presolved: 17054 rows, 3358 columns, 53108 nonzeros Variable types: 0 continuous, 3358 integer (3358 binary) Root relaxation: objective 0.000000e+00, 396 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 (773 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 09:25:00 2012 Optimize a model with 8099 rows, 2107 columns and 24992 nonzeros Presolve time: 0.02s Presolved: 8099 rows, 2107 columns, 24992 nonzeros Variable types: 0 continuous, 2107 integer (2107 binary) Root relaxation: objective 0.000000e+00, 297 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 (759 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 09:25:00 2012 Optimize a model with 4119 rows, 1551 columns and 12496 nonzeros Presolve time: 0.01s Presolved: 4119 rows, 1551 columns, 12496 nonzeros Variable types: 0 continuous, 1551 integer (1551 binary) Root relaxation: objective 0.000000e+00, 300 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 202 - 0.00000 - - 0s 0 0 0.00000 0 186 - 0.00000 - - 0s 0 0 0.00000 0 446 - 0.00000 - - 1s 0 0 0.00000 0 448 - 0.00000 - - 2s 0 0 0.00000 0 442 - 0.00000 - - 3s 0 0 0.00000 0 444 - 0.00000 - - 4s 0 0 0.00000 0 435 - 0.00000 - - 6s 0 0 0.00000 0 426 - 0.00000 - - 8s 0 0 infeasible 0 - 0.10000 - - 9s Cutting planes: Clique: 37 Zero half: 596 Explored 0 nodes (33142 simplex iterations) in 9.06 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: 4 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 09:25:09 2012 Optimize a model with 6109 rows, 1829 columns and 18744 nonzeros Presolve time: 0.02s Presolved: 6109 rows, 1829 columns, 18744 nonzeros Variable types: 0 continuous, 1829 integer (1829 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 262 - 0.00000 - - 0s 0 0 0.00000 0 153 - 0.00000 - - 0s 0 0 0.00000 0 285 - 0.00000 - - 1s 0 0 0.00000 0 323 - 0.00000 - - 1s 0 0 0.00000 0 227 - 0.00000 - - 2s 0 0 0.00000 0 212 - 0.00000 - - 3s 0 0 0.00000 0 269 - 0.00000 - - 3s 0 0 0.00000 0 383 - 0.00000 - - 4s 0 0 0.00000 0 358 - 0.00000 - - 5s 0 0 0.00000 0 344 - 0.00000 - - 6s 0 0 0.00000 0 359 - 0.00000 - - 6s 0 0 0.00000 0 358 - 0.00000 - - 7s 0 2 0.00000 0 347 - 0.00000 - - 7s * 50 3 39 0.0000000 0.00000 0.0% 121 8s Cutting planes: Clique: 4 Zero half: 3 Explored 51 nodes (50889 simplex iterations) in 8.41 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 09:25:18 2012 Optimize a model with 5114 rows, 1690 columns and 15620 nonzeros Presolve time: 0.01s Presolved: 5114 rows, 1690 columns, 15620 nonzeros Variable types: 0 continuous, 1690 integer (1690 binary) Root relaxation: objective 0.000000e+00, 286 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 276 - 0.00000 - - 0s 0 0 0.00000 0 204 - 0.00000 - - 0s 0 0 0.00000 0 293 - 0.00000 - - 2s 0 0 0.00000 0 431 - 0.00000 - - 2s 0 0 0.00000 0 370 - 0.00000 - - 3s 0 0 0.00000 0 376 - 0.00000 - - 4s 0 0 0.00000 0 377 - 0.00000 - - 5s 0 0 0.00000 0 380 - 0.00000 - - 5s 0 0 0.00000 0 380 - 0.00000 - - 6s 0 2 0.00000 0 380 - 0.00000 - - 7s 126 14 infeasible 12 - 0.00000 - 220 10s 430 11 infeasible 14 - 0.00000 - 185 15s 604 29 0.00000 13 415 - 0.00000 - 178 20s 606 30 0.00000 18 355 - 0.00000 - 178 25s 608 32 0.00000 10 340 - 0.00000 - 177 30s 611 34 0.00000 10 356 - 0.00000 - 176 36s 613 35 0.00000 13 342 - 0.00000 - 176 40s 616 37 0.00000 5 331 - 0.00000 - 175 45s 695 24 0.00000 20 357 - 0.00000 - 269 50s 795 13 infeasible 23 - 0.00000 - 291 55s 925 25 0.00000 21 351 - 0.00000 - 298 60s 1048 40 infeasible 22 - 0.00000 - 303 65s 1181 47 infeasible 29 - 0.00000 - 307 70s 1294 32 0.00000 19 343 - 0.00000 - 315 75s 1427 45 infeasible 24 - 0.00000 - 317 80s 1545 41 infeasible 23 - 0.00000 - 321 85s 1668 34 0.00000 14 356 - 0.00000 - 324 90s 1789 43 infeasible 23 - 0.00000 - 328 95s 1911 53 0.00000 25 341 - 0.00000 - 330 100s 2023 49 infeasible 25 - 0.00000 - 334 105s 2134 52 0.00000 23 259 - 0.00000 - 337 110s 2251 43 infeasible 24 - 0.00000 - 341 115s 2365 43 0.00000 20 324 - 0.00000 - 343 120s 2481 41 infeasible 26 - 0.00000 - 345 125s 2598 36 0.00000 23 336 - 0.00000 - 346 130s 2704 34 infeasible 23 - 0.00000 - 349 135s 2834 34 infeasible 25 - 0.00000 - 349 140s 2962 26 infeasible 21 - 0.00000 - 349 145s 3069 23 infeasible 22 - 0.00000 - 351 150s 3172 22 infeasible 26 - 0.00000 - 354 155s 3289 23 infeasible 29 - 0.00000 - 355 160s 3399 23 0.00000 23 340 - 0.00000 - 356 165s 3509 19 infeasible 24 - 0.00000 - 357 170s 3627 9 infeasible 21 - 0.00000 - 358 175s 3736 6 infeasible 21 - 0.00000 - 359 180s Cutting planes: Gomory: 1 Clique: 7 Zero half: 16 Explored 3773 nodes (1394279 simplex iterations) in 181.93 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - optimal solution found: number of colors: 6