current bounds on the number of colors: 0 -- 110 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 20:03:40 2012 Optimize a model with 33000 rows, 6648 columns and 104720 nonzeros Presolve time: 0.15s Presolved: 33000 rows, 6648 columns, 104720 nonzeros Variable types: 0 continuous, 6648 integer (6648 binary) Root relaxation: objective 0.000000e+00, 308 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 (556 simplex iterations) in 0.21 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 -- 55 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 20:03:40 2012 Optimize a model with 16256 rows, 3568 columns and 51408 nonzeros Presolve time: 0.07s Presolved: 16256 rows, 3568 columns, 51408 nonzeros Variable types: 0 continuous, 3568 integer (3568 binary) Root relaxation: objective 0.000000e+00, 246 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 (551 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 -- 27 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 20:03:41 2012 Optimize a model with 7884 rows, 2028 columns and 24752 nonzeros Presolve time: 0.02s Presolved: 7884 rows, 2028 columns, 24752 nonzeros Variable types: 0 continuous, 2028 integer (2028 binary) Root relaxation: objective 0.000000e+00, 222 iterations, 0.00 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 (429 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 -- 13 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 20:03:41 2012 Optimize a model with 3698 rows, 1258 columns and 11424 nonzeros Presolve time: 0.01s Presolved: 3698 rows, 1258 columns, 11424 nonzeros Variable types: 0 continuous, 1258 integer (1258 binary) Root relaxation: objective 0.000000e+00, 238 iterations, 0.00 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 (1459 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 -- 6 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 20:03:41 2012 Optimize a model with 1904 rows, 928 columns and 5712 nonzeros Presolve time: 0.00s Presolved: 1904 rows, 928 columns, 5712 nonzeros Variable types: 0 continuous, 928 integer (928 binary) Root relaxation: objective 0.000000e+00, 236 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 220 - 0.00000 - - 0s 0 0 0.00000 0 220 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (3295 simplex iterations) in 0.29 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 Thu Dec 13 20:03:41 2012 Optimize a model with 2502 rows, 1038 columns and 7616 nonzeros Presolve time: 0.01s Presolved: 2502 rows, 1038 columns, 7616 nonzeros Variable types: 0 continuous, 1038 integer (1038 binary) Root relaxation: objective 0.000000e+00, 239 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 214 - 0.00000 - - 0s 0 0 0.00000 0 185 - 0.00000 - - 0s 0 0 0.00000 0 289 - 0.00000 - - 0s 0 0 0.00000 0 318 - 0.00000 - - 0s 0 0 0.00000 0 246 - 0.00000 - - 1s 0 0 0.00000 0 312 - 0.00000 - - 1s 0 0 0.00000 0 303 - 0.00000 - - 1s 0 0 0.00000 0 298 - 0.00000 - - 2s 0 0 0.00000 0 273 - 0.00000 - - 2s 0 0 0.00000 0 301 - 0.00000 - - 3s 0 0 0.00000 0 292 - 0.00000 - - 3s 0 0 0.00000 0 285 - 0.00000 - - 3s 0 0 0.00000 0 281 - 0.00000 - - 4s 0 0 0.00000 0 289 - 0.00000 - - 4s 0 0 0.00000 0 289 - 0.00000 - - 4s 0 2 0.00000 0 289 - 0.00000 - - 5s Cutting planes: Clique: 17 Zero half: 40 Explored 121 nodes (56292 simplex iterations) in 6.85 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 Thu Dec 13 20:03:48 2012 Optimize a model with 3100 rows, 1148 columns and 9520 nonzeros Presolve time: 0.01s Presolved: 3100 rows, 1148 columns, 9520 nonzeros Variable types: 0 continuous, 1148 integer (1148 binary) Root relaxation: objective 0.000000e+00, 238 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 108 - 0.00000 - - 0s 0 0 0.00000 0 124 - 0.00000 - - 0s 0 0 0.00000 0 270 - 0.00000 - - 0s 0 0 0.00000 0 303 - 0.00000 - - 0s 0 0 0.00000 0 229 - 0.00000 - - 0s 0 0 0.00000 0 264 - 0.00000 - - 1s 0 0 0.00000 0 230 - 0.00000 - - 1s 0 2 0.00000 0 230 - 0.00000 - - 1s * 119 4 19 0.0000000 0.00000 0.0% 52.4 1s Cutting planes: Clique: 2 Zero half: 5 Explored 120 nodes (18402 simplex iterations) in 1.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% optimal solution found: number of colors: 5