current bounds on the number of colors: 0 -- 193 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:11:16 2012 Optimize a model with 90337 rows, 19467 columns and 288960 nonzeros Presolve time: 0.29s Presolved: 90337 rows, 19467 columns, 288960 nonzeros Variable types: 0 continuous, 19467 integer (19467 binary) Root relaxation: objective 0.000000e+00, 734 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 (1163 simplex iterations) in 0.50 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 -- 96 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:11:18 2012 Optimize a model with 45265 rows, 10203 columns and 144480 nonzeros Presolve time: 0.16s Presolved: 45265 rows, 10203 columns, 144480 nonzeros Variable types: 0 continuous, 10203 integer (10203 binary) Root relaxation: objective 0.000000e+00, 550 iterations, 0.03 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 (965 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 -- 48 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:11:19 2012 Optimize a model with 22729 rows, 5571 columns and 72240 nonzeros Presolve time: 0.09s Presolved: 22729 rows, 5571 columns, 72240 nonzeros Variable types: 0 continuous, 5571 integer (5571 binary) Root relaxation: objective 0.000000e+00, 447 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 (820 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 06:11:19 2012 Optimize a model with 11461 rows, 3255 columns and 36120 nonzeros Presolve time: 0.04s Presolved: 11461 rows, 3255 columns, 36120 nonzeros Variable types: 0 continuous, 3255 integer (3255 binary) Root relaxation: objective 0.000000e+00, 404 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 (742 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 -- 12 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:11:19 2012 Optimize a model with 5827 rows, 2097 columns and 18060 nonzeros Presolve time: 0.02s Presolved: 5827 rows, 2097 columns, 18060 nonzeros Variable types: 0 continuous, 2097 integer (2097 binary) Root relaxation: objective 0.000000e+00, 421 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 (1016 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:11:19 2012 Optimize a model with 3010 rows, 1518 columns and 9030 nonzeros Presolve time: 0.01s Presolved: 3010 rows, 1518 columns, 9030 nonzeros Variable types: 0 continuous, 1518 integer (1518 binary) Root relaxation: objective 0.000000e+00, 454 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 384 - 0.00000 - - 0s 0 0 0.00000 0 382 - 0.00000 - - 0s 0 0 0.00000 0 524 - 0.00000 - - 1s 0 0 infeasible 0 - 0.10000 - - 1s Cutting planes: Gomory: 36 Clique: 1 Zero half: 1100 Explored 0 nodes (8687 simplex iterations) in 1.32 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 06:11:21 2012 Optimize a model with 3949 rows, 1711 columns and 12040 nonzeros Presolve time: 0.01s Presolved: 3949 rows, 1711 columns, 12040 nonzeros Variable types: 0 continuous, 1711 integer (1711 binary) Root relaxation: objective 0.000000e+00, 438 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 374 - 0.00000 - - 0s 0 0 0.00000 0 358 - 0.00000 - - 0s 0 0 0.00000 0 360 - 0.00000 - - 0s 0 0 0.00000 0 360 - 0.00000 - - 0s 0 0 0.00000 0 358 - 0.00000 - - 1s 0 0 0.00000 0 354 - 0.00000 - - 1s 0 0 0.00000 0 350 - 0.00000 - - 2s 0 0 0.00000 0 350 - 0.00000 - - 2s 0 0 0.00000 0 338 - 0.00000 - - 3s 0 0 0.00000 0 337 - 0.00000 - - 3s 0 0 0.00000 0 316 - 0.00000 - - 4s 0 0 0.00000 0 324 - 0.00000 - - 4s 0 0 0.00000 0 318 - 0.00000 - - 4s 0 0 0.00000 0 316 - 0.00000 - - 5s 0 0 0.00000 0 322 - 0.00000 - - 5s 0 0 0.00000 0 324 - 0.00000 - - 6s 0 0 0.00000 0 324 - 0.00000 - - 6s 0 2 0.00000 0 322 - 0.00000 - - 6s 263 99 0.00000 19 322 - 0.00000 - 165 10s 705 182 0.00000 10 356 - 0.00000 - 147 16s 708 184 0.00000 18 324 - 0.00000 - 146 21s 711 186 0.00000 14 320 - 0.00000 - 146 26s 714 188 0.00000 12 312 - 0.00000 - 145 31s 729 198 0.00000 17 391 - 0.00000 - 237 35s 987 154 infeasible 29 - 0.00000 - 233 40s 1181 87 infeasible 24 - 0.00000 - 243 45s 1388 48 0.00000 25 350 - 0.00000 - 250 50s 1600 46 infeasible 25 - 0.00000 - 256 55s 1821 65 infeasible 30 - 0.00000 - 259 60s 2035 59 infeasible 23 - 0.00000 - 263 65s 2221 73 infeasible 23 - 0.00000 - 267 70s 2416 82 infeasible 28 - 0.00000 - 269 75s 2582 68 infeasible 25 - 0.00000 - 274 80s 2832 80 infeasible 25 - 0.00000 - 272 85s 3029 75 infeasible 31 - 0.00000 - 274 90s 3212 62 infeasible 23 - 0.00000 - 276 95s 3441 69 infeasible 27 - 0.00000 - 275 100s 3677 61 infeasible 26 - 0.00000 - 274 105s 3847 45 0.00000 30 397 - 0.00000 - 277 110s 4040 36 infeasible 27 - 0.00000 - 278 115s 4239 31 infeasible 26 - 0.00000 - 279 120s 4423 21 infeasible 26 - 0.00000 - 280 125s 4620 20 infeasible 24 - 0.00000 - 281 130s 4798 18 infeasible 25 - 0.00000 - 282 135s 4979 5 infeasible 23 - 0.00000 - 283 140s 5207 21 0.00000 27 348 - 0.00000 - 282 145s 5410 12 infeasible 29 - 0.00000 - 282 150s Cutting planes: Gomory: 1 Zero half: 10 Explored 5467 nodes (1601008 simplex iterations) in 151.42 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 06:13:52 2012 Optimize a model with 4888 rows, 1904 columns and 15050 nonzeros Presolve time: 0.01s Presolved: 4888 rows, 1904 columns, 15050 nonzeros Variable types: 0 continuous, 1904 integer (1904 binary) Root relaxation: objective 0.000000e+00, 411 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 150 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (2761 simplex iterations) in 0.15 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