current bounds on the number of colors: 0 -- 196 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:23:57 2012 Optimize a model with 97020 rows, 20196 columns and 309680 nonzeros Presolve time: 0.32s Presolved: 97020 rows, 20196 columns, 309680 nonzeros Variable types: 0 continuous, 20196 integer (20196 binary) Root relaxation: objective 0.000000e+00, 806 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 (1473 simplex iterations) in 0.62 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 -- 98 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:23:59 2012 Optimize a model with 48608 rows, 10592 columns and 154840 nonzeros Presolve time: 0.16s Presolved: 48608 rows, 10592 columns, 154840 nonzeros Variable types: 0 continuous, 10592 integer (10592 binary) Root relaxation: objective 0.000000e+00, 671 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 (1167 simplex iterations) in 0.28 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 -- 49 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:24:00 2012 Optimize a model with 23908 rows, 5692 columns and 75840 nonzeros Presolve time: 0.10s Presolved: 23908 rows, 5692 columns, 75840 nonzeros Variable types: 0 continuous, 5692 integer (5692 binary) Root relaxation: objective 0.000000e+00, 466 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 (868 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 -- 24 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:24:00 2012 Optimize a model with 12052 rows, 3340 columns and 37920 nonzeros Presolve time: 0.04s Presolved: 12052 rows, 3340 columns, 37920 nonzeros Variable types: 0 continuous, 3340 integer (3340 binary) Root relaxation: objective 0.000000e+00, 413 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 (806 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 07:24:00 2012 Optimize a model with 6124 rows, 2164 columns and 18960 nonzeros Presolve time: 0.02s Presolved: 6124 rows, 2164 columns, 18960 nonzeros Variable types: 0 continuous, 2164 integer (2164 binary) Root relaxation: objective 0.000000e+00, 426 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 (2183 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:24:00 2012 Optimize a model with 3160 rows, 1576 columns and 9480 nonzeros Presolve time: 0.01s Presolved: 3160 rows, 1576 columns, 9480 nonzeros Variable types: 0 continuous, 1576 integer (1576 binary) Root relaxation: objective 0.000000e+00, 453 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 342 - 0.00000 - - 0s 0 0 0.00000 0 378 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5995 simplex iterations) in 0.77 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 07:24:01 2012 Optimize a model with 4148 rows, 1772 columns and 12640 nonzeros Presolve time: 0.01s Presolved: 4148 rows, 1772 columns, 12640 nonzeros Variable types: 0 continuous, 1772 integer (1772 binary) Root relaxation: objective 0.000000e+00, 426 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 376 - 0.00000 - - 0s 0 0 0.00000 0 378 - 0.00000 - - 0s 0 0 0.00000 0 352 - 0.00000 - - 1s 0 0 0.00000 0 474 - 0.00000 - - 1s 0 0 0.00000 0 334 - 0.00000 - - 2s 0 0 0.00000 0 322 - 0.00000 - - 2s 0 0 0.00000 0 321 - 0.00000 - - 3s 0 0 0.00000 0 320 - 0.00000 - - 3s 0 0 0.00000 0 316 - 0.00000 - - 4s 0 0 0.00000 0 310 - 0.00000 - - 5s 0 0 0.00000 0 314 - 0.00000 - - 5s 0 0 0.00000 0 306 - 0.00000 - - 6s 0 0 0.00000 0 298 - 0.00000 - - 7s 0 0 0.00000 0 304 - 0.00000 - - 7s 0 0 0.00000 0 339 - 0.00000 - - 8s 0 0 0.00000 0 339 - 0.00000 - - 8s 0 2 0.00000 0 339 - 0.00000 - - 9s 2 3 0.00000 1 453 - 0.00000 - 1322 10s 396 33 infeasible 19 - 0.00000 - 156 15s 704 53 0.00000 15 454 - 0.00000 - 153 20s 708 56 0.00000 23 304 - 0.00000 - 152 25s 711 58 0.00000 23 282 - 0.00000 - 152 30s 713 59 0.00000 6 266 - 0.00000 - 151 35s 717 62 0.00000 16 270 - 0.00000 - 150 40s 730 70 0.00000 17 405 - 0.00000 - 241 45s 906 27 infeasible 24 - 0.00000 - 245 50s 1088 21 infeasible 22 - 0.00000 - 252 55s 1251 28 infeasible 22 - 0.00000 - 261 60s 1417 40 infeasible 23 - 0.00000 - 267 65s 1631 42 infeasible 26 - 0.00000 - 267 70s 1845 38 0.00000 21 336 - 0.00000 - 267 75s 2053 38 infeasible 26 - 0.00000 - 268 80s 2209 14 infeasible 19 - 0.00000 - 273 85s 2366 27 infeasible 26 - 0.00000 - 277 90s 2602 23 infeasible 25 - 0.00000 - 275 95s 2782 21 0.00000 22 356 - 0.00000 - 278 100s 3013 38 0.00000 21 368 - 0.00000 - 275 105s 3247 38 0.00000 23 398 - 0.00000 - 274 110s 3446 29 infeasible 18 - 0.00000 - 275 115s 3654 45 infeasible 23 - 0.00000 - 275 120s 3862 39 0.00000 22 449 - 0.00000 - 275 125s 4055 34 0.00000 16 455 - 0.00000 - 275 130s 4272 45 infeasible 28 - 0.00000 - 274 135s 4477 50 infeasible 28 - 0.00000 - 275 140s 4696 57 infeasible 24 - 0.00000 - 275 145s 4899 58 infeasible 29 - 0.00000 - 275 150s 5089 42 0.00000 25 362 - 0.00000 - 276 155s 5268 39 infeasible 27 - 0.00000 - 278 160s 5440 31 0.00000 22 467 - 0.00000 - 279 165s 5591 18 infeasible 22 - 0.00000 - 281 170s 5755 18 infeasible 25 - 0.00000 - 283 175s 5963 6 0.00000 20 362 - 0.00000 - 282 180s Cutting planes: Clique: 2 Zero half: 27 Explored 5980 nodes (1752422 simplex iterations) in 180.61 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 07:27:02 2012 Optimize a model with 5136 rows, 1968 columns and 15800 nonzeros Presolve time: 0.01s Presolved: 5136 rows, 1968 columns, 15800 nonzeros Variable types: 0 continuous, 1968 integer (1968 binary) Root relaxation: objective 0.000000e+00, 449 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 199 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (4784 simplex iterations) in 0.40 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