current bounds on the number of colors: 0 -- 182 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 02:05:14 2012 Optimize a model with 74438 rows, 17378 columns and 239330 nonzeros Presolve time: 0.23s Presolved: 74438 rows, 17378 columns, 239330 nonzeros Variable types: 0 continuous, 17378 integer (17378 binary) Root relaxation: objective 0.000000e+00, 721 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 (1148 simplex iterations) in 0.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: 0 -- 91 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 02:05:15 2012 Optimize a model with 36902 rows, 9006 columns and 118350 nonzeros Presolve time: 0.15s Presolved: 36902 rows, 9006 columns, 118350 nonzeros Variable types: 0 continuous, 9006 integer (9006 binary) Root relaxation: objective 0.000000e+00, 504 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 (882 simplex iterations) in 0.22 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 -- 45 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 02:05:16 2012 Optimize a model with 18134 rows, 4820 columns and 57860 nonzeros Presolve time: 0.07s Presolved: 18134 rows, 4820 columns, 57860 nonzeros Variable types: 0 continuous, 4820 integer (4820 binary) Root relaxation: objective 0.000000e+00, 381 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 (698 simplex iterations) in 0.11 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 -- 22 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 02:05:16 2012 Optimize a model with 9158 rows, 2818 columns and 28930 nonzeros Presolve time: 0.03s Presolved: 9158 rows, 2818 columns, 28930 nonzeros Variable types: 0 continuous, 2818 integer (2818 binary) Root relaxation: objective 0.000000e+00, 387 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 (726 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 -- 11 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 02:05:16 2012 Optimize a model with 4262 rows, 1726 columns and 13150 nonzeros Presolve time: 0.01s Presolved: 4262 rows, 1726 columns, 13150 nonzeros Variable types: 0 continuous, 1726 integer (1726 binary) Root relaxation: objective 0.000000e+00, 395 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 159 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (4236 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 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 02:05:16 2012 Optimize a model with 1814 rows, 1180 columns and 5260 nonzeros Presolve removed 182 rows and 182 columns Presolve time: 0.00s Presolved: 1632 rows, 998 columns, 4896 nonzeros Variable types: 0 continuous, 998 integer (998 binary) Root relaxation: objective 0.000000e+00, 193 iterations, 0.00 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 0.00000 0 182 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (797 simplex iterations) in 0.02 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: 2 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 02:05:17 2012 Optimize a model with 2630 rows, 1362 columns and 7890 nonzeros Presolve time: 0.01s Presolved: 2630 rows, 1362 columns, 7890 nonzeros Variable types: 0 continuous, 1362 integer (1362 binary) Root relaxation: objective 0.000000e+00, 402 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 356 - 0.00000 - - 0s 0 0 0.00000 0 354 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (4660 simplex iterations) in 0.54 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 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 02:05:17 2012 Optimize a model with 3446 rows, 1544 columns and 10520 nonzeros Presolve time: 0.01s Presolved: 3446 rows, 1544 columns, 10520 nonzeros Variable types: 0 continuous, 1544 integer (1544 binary) Root relaxation: objective 0.000000e+00, 412 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 348 - 0.00000 - - 0s 0 0 0.00000 0 354 - 0.00000 - - 0s 0 0 0.00000 0 332 - 0.00000 - - 0s 0 0 0.00000 0 353 - 0.00000 - - 0s 0 0 0.00000 0 316 - 0.00000 - - 1s 0 0 0.00000 0 314 - 0.00000 - - 1s 0 0 0.00000 0 316 - 0.00000 - - 1s 0 0 0.00000 0 290 - 0.00000 - - 2s 0 0 0.00000 0 467 - 0.00000 - - 2s 0 0 0.00000 0 482 - 0.00000 - - 3s 0 0 0.00000 0 480 - 0.00000 - - 3s 0 2 0.00000 0 434 - 0.00000 - - 4s 120 20 infeasible 15 - 0.00000 - 145 5s 605 55 0.00000 10 320 - 0.00000 - 134 10s 610 58 0.00000 13 292 - 0.00000 - 133 15s 653 71 infeasible 23 - 0.00000 - 206 20s 1078 66 infeasible 32 - 0.00000 - 199 25s 1475 45 0.00000 34 318 - 0.00000 - 204 30s 1844 42 0.00000 29 310 - 0.00000 - 209 35s 2245 31 0.00000 24 316 - 0.00000 - 209 40s 2614 36 0.00000 22 320 - 0.00000 - 210 45s 2998 20 infeasible 25 - 0.00000 - 211 50s 3393 15 infeasible 23 - 0.00000 - 211 55s 3744 8 0.00000 25 318 - 0.00000 - 212 60s Cutting planes: Zero half: 8 Explored 4005 nodes (878805 simplex iterations) in 63.72 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - optimal solution found: number of colors: 5