current bounds on the number of colors: 0 -- 163 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:45:54 2012 Optimize a model with 55405 rows, 13885 columns and 178929 nonzeros Presolve time: 0.16s Presolved: 55405 rows, 13885 columns, 178929 nonzeros Variable types: 0 continuous, 13885 integer (13885 binary) Root relaxation: objective 0.000000e+00, 608 iterations, 0.06 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 (966 simplex iterations) in 0.31 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 -- 81 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:45:55 2012 Optimize a model with 27443 rows, 7202 columns and 88360 nonzeros Presolve time: 0.13s Presolved: 27443 rows, 7202 columns, 88360 nonzeros Variable types: 0 continuous, 7202 integer (7202 binary) Root relaxation: objective 0.000000e+00, 538 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 (886 simplex iterations) in 0.20 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 -- 40 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:45:56 2012 Optimize a model with 13803 rows, 3942 columns and 44180 nonzeros Presolve time: 0.05s Presolved: 13803 rows, 3942 columns, 44180 nonzeros Variable types: 0 continuous, 3942 integer (3942 binary) Root relaxation: objective 0.000000e+00, 351 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 (648 simplex iterations) in 0.08 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 -- 20 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:45:56 2012 Optimize a model with 6983 rows, 2312 columns and 22090 nonzeros Presolve time: 0.02s Presolved: 6983 rows, 2312 columns, 22090 nonzeros Variable types: 0 continuous, 2312 integer (2312 binary) Root relaxation: objective 0.000000e+00, 363 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 (652 simplex iterations) in 0.04 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 -- 10 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:45:56 2012 Optimize a model with 3573 rows, 1497 columns and 11045 nonzeros Presolve time: 0.01s Presolved: 3573 rows, 1497 columns, 11045 nonzeros Variable types: 0 continuous, 1497 integer (1497 binary) Root relaxation: objective 0.000000e+00, 364 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 (1606 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 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:45:56 2012 Optimize a model with 1527 rows, 1008 columns and 4418 nonzeros Presolve removed 163 rows and 163 columns Presolve time: 0.00s Presolved: 1364 rows, 845 columns, 4092 nonzeros Variable types: 0 continuous, 845 integer (845 binary) Root relaxation: objective 0.000000e+00, 170 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 163 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (684 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 Fri Dec 14 19:45:57 2012 Optimize a model with 2209 rows, 1171 columns and 6627 nonzeros Presolve time: 0.01s Presolved: 2209 rows, 1171 columns, 6627 nonzeros Variable types: 0 continuous, 1171 integer (1171 binary) Root relaxation: objective 0.000000e+00, 377 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 246 - 0.00000 - - 0s 0 0 0.00000 0 350 - 0.00000 - - 0s 0 0 0.00000 0 407 - 0.00000 - - 0s 0 0 0.00000 0 453 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 1s Cutting planes: Gomory: 5 Zero half: 546 Explored 0 nodes (8892 simplex iterations) in 1.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: 3 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:45:58 2012 Optimize a model with 2891 rows, 1334 columns and 8836 nonzeros Presolve time: 0.01s Presolved: 2891 rows, 1334 columns, 8836 nonzeros Variable types: 0 continuous, 1334 integer (1334 binary) Root relaxation: objective 0.000000e+00, 383 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 296 - 0.00000 - - 0s 0 0 0.00000 0 272 - 0.00000 - - 0s 0 0 0.00000 0 296 - 0.00000 - - 0s 0 0 0.00000 0 348 - 0.00000 - - 0s 0 0 0.00000 0 276 - 0.00000 - - 0s 0 0 0.00000 0 278 - 0.00000 - - 0s 0 0 0.00000 0 264 - 0.00000 - - 1s 0 0 0.00000 0 258 - 0.00000 - - 1s 0 0 0.00000 0 256 - 0.00000 - - 1s 0 0 0.00000 0 252 - 0.00000 - - 1s 0 0 0.00000 0 252 - 0.00000 - - 2s 0 0 0.00000 0 244 - 0.00000 - - 2s 0 0 0.00000 0 224 - 0.00000 - - 2s 0 0 0.00000 0 330 - 0.00000 - - 2s 0 0 0.00000 0 373 - 0.00000 - - 3s 0 0 0.00000 0 373 - 0.00000 - - 3s 0 2 0.00000 0 373 - 0.00000 - - 3s 188 94 0.00000 9 366 - 0.00000 - 123 5s 811 172 0.00000 22 254 - 0.00000 - 93.0 10s 818 177 0.00000 19 311 - 0.00000 - 92.2 15s 1345 112 0.00000 29 272 - 0.00000 - 141 20s 1947 146 0.00000 24 274 - 0.00000 - 146 25s * 2088 3 30 0.0000000 0.00000 0.0% 146 26s Cutting planes: Zero half: 20 Explored 2089 nodes (341324 simplex iterations) in 26.03 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: 4