current bounds on the number of colors: 0 -- 117 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:29:21 2012 Optimize a model with 21809 rows, 7160 columns and 71862 nonzeros Presolve time: 0.13s Presolved: 21809 rows, 7160 columns, 71862 nonzeros Variable types: 0 continuous, 7160 integer (7160 binary) Root relaxation: objective 0.000000e+00, 370 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 (586 simplex iterations) in 0.18 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 -- 58 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:29:21 2012 Optimize a model with 10963 rows, 3767 columns and 35931 nonzeros Presolve time: 0.05s Presolved: 10963 rows, 3767 columns, 35931 nonzeros Variable types: 0 continuous, 3767 integer (3767 binary) Root relaxation: objective 0.000000e+00, 291 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 (499 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 -- 29 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:29:22 2012 Optimize a model with 5353 rows, 2012 columns and 17346 nonzeros Presolve time: 0.02s Presolved: 5353 rows, 2012 columns, 17346 nonzeros Variable types: 0 continuous, 2012 integer (2012 binary) Root relaxation: objective 0.000000e+00, 248 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 (431 simplex iterations) in 0.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% current bounds on the number of colors: 0 -- 14 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:29:22 2012 Optimize a model with 2735 rows, 1193 columns and 8673 nonzeros Presolve time: 0.01s Presolved: 2735 rows, 1193 columns, 8673 nonzeros Variable types: 0 continuous, 1193 integer (1193 binary) Root relaxation: objective 0.000000e+00, 263 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 (615 simplex iterations) in 0.02 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 -- 7 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:29:22 2012 Optimize a model with 1239 rows, 725 columns and 3717 nonzeros Presolve time: 0.00s Presolved: 1239 rows, 725 columns, 3717 nonzeros Variable types: 0 continuous, 725 integer (725 binary) Root relaxation: objective 0.000000e+00, 267 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 166 - 0.00000 - - 0s 0 0 0.00000 0 205 - 0.00000 - - 0s 0 0 0.00000 0 229 - 0.00000 - - 0s 0 0 0.00000 0 298 - 0.00000 - - 0s 0 0 0.00000 0 289 - 0.00000 - - 0s 0 0 0.00000 0 262 - 0.00000 - - 0s 0 0 0.00000 0 287 - 0.00000 - - 0s 0 0 0.00000 0 298 - 0.00000 - - 0s 0 0 0.00000 0 289 - 0.00000 - - 0s 0 0 0.00000 0 212 - 0.00000 - - 0s 0 0 0.00000 0 299 - 0.00000 - - 1s 0 0 0.00000 0 291 - 0.00000 - - 1s 0 2 0.00000 0 265 - 0.00000 - - 1s Cutting planes: Clique: 1 Zero half: 44 Explored 3 nodes (15038 simplex iterations) in 1.22 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: 3 -- 7 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:29:23 2012 Optimize a model with 1987 rows, 959 columns and 6195 nonzeros Presolve time: 0.01s Presolved: 1987 rows, 959 columns, 6195 nonzeros Variable types: 0 continuous, 959 integer (959 binary) Root relaxation: objective 0.000000e+00, 259 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 6 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (986 simplex iterations) in 0.02 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: 3 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:29:23 2012 Optimize a model with 1613 rows, 842 columns and 4956 nonzeros Presolve time: 0.00s Presolved: 1613 rows, 842 columns, 4956 nonzeros Variable types: 0 continuous, 842 integer (842 binary) Root relaxation: objective 0.000000e+00, 258 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 66 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1685 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: 4