current bounds on the number of colors: 0 -- 41 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 18:00:18 2012 Optimize a model with 8421 rows, 1239 columns and 25960 nonzeros Presolve time: 0.03s Presolved: 8421 rows, 1239 columns, 25960 nonzeros Variable types: 0 continuous, 1239 integer (1239 binary) Root relaxation: objective 0.000000e+00, 92 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 (248 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 -- 20 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 18:00:18 2012 Optimize a model with 4231 rows, 829 columns and 12980 nonzeros Presolve time: 0.01s Presolved: 4231 rows, 829 columns, 12980 nonzeros Variable types: 0 continuous, 829 integer (829 binary) Root relaxation: objective 0.000000e+00, 90 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 22 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (644 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 Thu Dec 13 18:00:18 2012 Optimize a model with 2136 rows, 624 columns and 6490 nonzeros Presolve time: 0.01s Presolved: 2136 rows, 624 columns, 6490 nonzeros Variable types: 0 continuous, 624 integer (624 binary) Root relaxation: objective 0.000000e+00, 82 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 0 0 0.00000 0 80 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (1252 simplex iterations) in 0.15 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: 5 -- 10 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 18:00:19 2012 Optimize a model with 2974 rows, 706 columns and 9086 nonzeros Presolve time: 0.01s Presolved: 2974 rows, 706 columns, 9086 nonzeros Variable types: 0 continuous, 706 integer (706 binary) Root relaxation: objective 0.000000e+00, 82 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 40 - 0.00000 - - 0s 0 0 0.00000 0 24 - 0.00000 - - 0s 0 0 0.00000 0 140 - 0.00000 - - 0s 0 0 0.00000 0 163 - 0.00000 - - 0s 0 0 0.00000 0 152 - 0.00000 - - 0s 0 0 0.00000 0 130 - 0.00000 - - 0s 0 0 0.00000 0 127 - 0.00000 - - 1s 0 0 0.00000 0 122 - 0.00000 - - 1s 0 0 0.00000 0 141 - 0.00000 - - 1s 0 0 0.00000 0 156 - 0.00000 - - 2s 0 0 0.00000 0 156 - 0.00000 - - 2s 0 2 0.00000 0 156 - 0.00000 - - 2s Cutting planes: Clique: 32 Zero half: 9 Explored 9 nodes (20476 simplex iterations) in 2.49 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: 7 -- 10 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 18:00:21 2012 Optimize a model with 3393 rows, 747 columns and 10384 nonzeros Presolve time: 0.01s Presolved: 3393 rows, 747 columns, 10384 nonzeros Variable types: 0 continuous, 747 integer (747 binary) Root relaxation: objective 0.000000e+00, 82 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 42 - 0.00000 - - 0s 0 0 0.00000 0 26 - 0.00000 - - 0s 0 0 0.00000 0 58 - 0.00000 - - 0s 0 0 0.00000 0 137 - 0.00000 - - 0s 0 0 0.00000 0 92 - 0.00000 - - 0s 0 0 0.00000 0 24 - 0.00000 - - 0s 0 0 0.00000 0 20 - 0.00000 - - 0s 0 0 0.00000 0 52 - 0.00000 - - 0s 0 0 0.00000 0 96 - 0.00000 - - 1s 0 0 0.00000 0 53 - 0.00000 - - 1s 0 0 0.00000 0 37 - 0.00000 - - 1s 0 0 0.00000 0 73 - 0.00000 - - 1s 0 0 0.00000 0 53 - 0.00000 - - 1s 0 0 0.00000 0 82 - 0.00000 - - 1s 0 0 0.00000 0 78 - 0.00000 - - 1s 0 2 0.00000 0 78 - 0.00000 - - 2s * 20 1 12 0.0000000 0.00000 0.0% 81.3 2s Cutting planes: Clique: 13 Explored 21 nodes (22186 simplex iterations) in 2.44 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: 8