current bounds on the number of colors: 0 -- 107 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:59:09 2012 Optimize a model with 30211 rows, 6239 columns and 95983 nonzeros Presolve time: 0.15s Presolved: 30211 rows, 6239 columns, 95983 nonzeros Variable types: 0 continuous, 6239 integer (6239 binary) Root relaxation: objective 0.000000e+00, 285 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 (506 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 -- 53 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:59:09 2012 Optimize a model with 14875 rows, 3350 columns and 47086 nonzeros Presolve time: 0.06s Presolved: 14875 rows, 3350 columns, 47086 nonzeros Variable types: 0 continuous, 3350 integer (3350 binary) Root relaxation: objective 0.000000e+00, 230 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 (441 simplex iterations) in 0.09 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 -- 26 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:59:09 2012 Optimize a model with 7491 rows, 1959 columns and 23543 nonzeros Presolve time: 0.02s Presolved: 7491 rows, 1959 columns, 23543 nonzeros Variable types: 0 continuous, 1959 integer (1959 binary) Root relaxation: objective 0.000000e+00, 217 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 (409 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 19:59:10 2012 Optimize a model with 3515 rows, 1210 columns and 10866 nonzeros Presolve time: 0.01s Presolved: 3515 rows, 1210 columns, 10866 nonzeros Variable types: 0 continuous, 1210 integer (1210 binary) Root relaxation: objective 0.000000e+00, 234 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 80 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1365 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 Thu Dec 13 19:59:10 2012 Optimize a model with 1811 rows, 889 columns and 5433 nonzeros Presolve time: 0.00s Presolved: 1811 rows, 889 columns, 5433 nonzeros Variable types: 0 continuous, 889 integer (889 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.00000 0 214 - 0.00000 - - 0s 0 0 0.00000 0 214 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (2684 simplex iterations) in 0.27 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 19:59:10 2012 Optimize a model with 2379 rows, 996 columns and 7244 nonzeros Presolve time: 0.01s Presolved: 2379 rows, 996 columns, 7244 nonzeros Variable types: 0 continuous, 996 integer (996 binary) Root relaxation: objective 0.000000e+00, 224 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 210 - 0.00000 - - 0s 0 0 0.00000 0 238 - 0.00000 - - 0s 0 0 0.00000 0 280 - 0.00000 - - 0s 0 0 0.00000 0 304 - 0.00000 - - 0s 0 0 0.00000 0 278 - 0.00000 - - 1s 0 0 0.00000 0 281 - 0.00000 - - 1s 0 0 0.00000 0 276 - 0.00000 - - 1s 0 0 0.00000 0 275 - 0.00000 - - 2s 0 0 0.00000 0 275 - 0.00000 - - 2s 0 0 0.00000 0 282 - 0.00000 - - 2s 0 0 0.00000 0 282 - 0.00000 - - 2s 0 2 0.00000 0 282 - 0.00000 - - 3s Cutting planes: Clique: 15 Zero half: 19 Explored 69 nodes (30693 simplex iterations) in 3.76 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 19:59:14 2012 Optimize a model with 2947 rows, 1103 columns and 9055 nonzeros Presolve time: 0.01s Presolved: 2947 rows, 1103 columns, 9055 nonzeros Variable types: 0 continuous, 1103 integer (1103 binary) Root relaxation: objective 0.000000e+00, 240 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 194 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1249 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% optimal solution found: number of colors: 5