current bounds on the number of colors: 0 -- 140 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 10:08:22 2012 Optimize a model with 69440 rows, 10790 columns and 217700 nonzeros Presolve time: 0.19s Presolved: 69440 rows, 10790 columns, 217700 nonzeros Variable types: 0 continuous, 10790 integer (10790 binary) Root relaxation: objective 0.000000e+00, 315 iterations, 0.07 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 (687 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:08:23 2012 Optimize a model with 34790 rows, 5890 columns and 108850 nonzeros Presolve time: 0.16s Presolved: 34790 rows, 5890 columns, 108850 nonzeros Variable types: 0 continuous, 5890 integer (5890 binary) Root relaxation: objective 0.000000e+00, 407 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 (763 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:08:23 2012 Optimize a model with 16970 rows, 3370 columns and 52870 nonzeros Presolve time: 0.06s Presolved: 16970 rows, 3370 columns, 52870 nonzeros Variable types: 0 continuous, 3370 integer (3370 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 (1006 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 -- 17 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 10:08:24 2012 Optimize a model with 8060 rows, 2110 columns and 24880 nonzeros Presolve time: 0.02s Presolved: 8060 rows, 2110 columns, 24880 nonzeros Variable types: 0 continuous, 2110 integer (2110 binary) Root relaxation: objective 0.000000e+00, 294 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 (713 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 10:08:24 2012 Optimize a model with 4100 rows, 1550 columns and 12440 nonzeros Presolve time: 0.01s Presolved: 4100 rows, 1550 columns, 12440 nonzeros Variable types: 0 continuous, 1550 integer (1550 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 186 - 0.00000 - - 0s 0 0 0.00000 0 368 - 0.00000 - - 0s 0 0 0.00000 0 454 - 0.00000 - - 2s 0 0 0.00000 0 454 - 0.00000 - - 2s 0 0 0.00000 0 451 - 0.00000 - - 3s 0 0 0.00000 0 463 - 0.00000 - - 3s 0 0 0.00000 0 462 - 0.00000 - - 4s 0 0 0.00000 0 456 - 0.00000 - - 5s 0 0 0.00000 0 452 - 0.00000 - - 6s 0 0 0.00000 0 455 - 0.00000 - - 7s 0 0 0.00000 0 455 - 0.00000 - - 8s 0 0 0.00000 0 455 - 0.00000 - - 9s 0 2 0.00000 0 455 - 0.00000 - - 10s Cutting planes: Clique: 24 Zero half: 18 Explored 7 nodes (50452 simplex iterations) in 10.50 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:08:34 2012 Optimize a model with 6080 rows, 1830 columns and 18660 nonzeros Presolve time: 0.02s Presolved: 6080 rows, 1830 columns, 18660 nonzeros Variable types: 0 continuous, 1830 integer (1830 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 266 - 0.00000 - - 0s 0 0 0.00000 0 208 - 0.00000 - - 0s Cutting planes: Clique: 10 Explored 0 nodes (8005 simplex iterations) in 0.97 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:08:36 2012 Optimize a model with 5090 rows, 1690 columns and 15550 nonzeros Presolve time: 0.01s Presolved: 5090 rows, 1690 columns, 15550 nonzeros Variable types: 0 continuous, 1690 integer (1690 binary) Root relaxation: objective 0.000000e+00, 296 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 196 - 0.00000 - - 0s 0 0 0.00000 0 186 - 0.00000 - - 0s 0 0 0.00000 0 338 - 0.00000 - - 1s 0 0 0.00000 0 395 - 0.00000 - - 2s 0 0 0.00000 0 347 - 0.00000 - - 3s 0 0 0.00000 0 373 - 0.00000 - - 4s 0 0 0.00000 0 358 - 0.00000 - - 5s 0 0 0.00000 0 327 - 0.00000 - - 6s 0 0 0.00000 0 339 - 0.00000 - - 7s 0 0 0.00000 0 371 - 0.00000 - - 8s 0 0 0.00000 0 371 - 0.00000 - - 8s 0 2 0.00000 0 371 - 0.00000 - - 10s 227 22 infeasible 12 - 0.00000 - 201 15s 501 52 0.00000 15 313 - 0.00000 - 189 20s 605 64 0.00000 9 326 - 0.00000 - 185 27s 607 65 0.00000 9 349 - 0.00000 - 184 31s 610 67 0.00000 14 329 - 0.00000 - 184 36s 622 73 0.00000 14 359 - 0.00000 - 247 40s 729 56 0.00000 21 313 - 0.00000 - 269 45s 840 37 infeasible 21 - 0.00000 - 283 50s 929 40 0.00000 16 364 - 0.00000 - 301 55s 1049 40 0.00000 20 346 - 0.00000 - 310 60s 1145 46 infeasible 25 - 0.00000 - 323 65s 1246 39 infeasible 19 - 0.00000 - 333 70s 1329 36 0.00000 21 330 - 0.00000 - 345 75s 1443 36 0.00000 24 345 - 0.00000 - 349 80s 1543 36 infeasible 28 - 0.00000 - 355 85s 1635 26 infeasible 22 - 0.00000 - 362 90s 1739 26 infeasible 25 - 0.00000 - 366 95s 1851 36 infeasible 29 - 0.00000 - 367 100s 1935 34 infeasible 23 - 0.00000 - 374 105s 2029 36 infeasible 27 - 0.00000 - 378 110s 2138 39 infeasible 25 - 0.00000 - 379 115s 2241 30 infeasible 21 - 0.00000 - 382 120s 2336 23 infeasible 23 - 0.00000 - 385 125s 2422 19 infeasible 23 - 0.00000 - 389 130s 2522 19 0.00000 19 362 - 0.00000 - 392 135s 2632 17 infeasible 21 - 0.00000 - 392 140s 2729 10 infeasible 21 - 0.00000 - 394 145s 2830 13 infeasible 27 - 0.00000 - 396 150s 2935 4 infeasible 26 - 0.00000 - 397 155s 3051 4 infeasible 21 - 0.00000 - 397 160s Cutting planes: Clique: 11 Zero half: 8 Explored 3058 nodes (1258537 simplex iterations) in 160.42 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