current bounds on the number of colors: 0 -- 40 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 17:59:48 2012 Optimize a model with 7920 rows, 1194 columns and 24440 nonzeros Presolve time: 0.03s Presolved: 7920 rows, 1194 columns, 24440 nonzeros Variable types: 0 continuous, 1194 integer (1194 binary) Root relaxation: objective 0.000000e+00, 95 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 (211 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 17:59:48 2012 Optimize a model with 3980 rows, 794 columns and 12220 nonzeros Presolve time: 0.01s Presolved: 3980 rows, 794 columns, 12220 nonzeros Variable types: 0 continuous, 794 integer (794 binary) Root relaxation: objective 0.000000e+00, 87 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 (731 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 -- 10 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 17:59:48 2012 Optimize a model with 2010 rows, 594 columns and 6110 nonzeros Presolve time: 0.00s Presolved: 2010 rows, 594 columns, 6110 nonzeros Variable types: 0 continuous, 594 integer (594 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 50 - 0.00000 - - 0s 0 0 0.00000 0 50 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (1738 simplex iterations) in 0.13 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 17:59:49 2012 Optimize a model with 2798 rows, 674 columns and 8554 nonzeros Presolve time: 0.01s Presolved: 2798 rows, 674 columns, 8554 nonzeros Variable types: 0 continuous, 674 integer (674 binary) Root relaxation: objective 0.000000e+00, 81 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 44 - 0.00000 - - 0s 0 0 0.00000 0 28 - 0.00000 - - 0s 0 0 0.00000 0 166 - 0.00000 - - 0s 0 0 0.00000 0 205 - 0.00000 - - 0s 0 0 0.00000 0 185 - 0.00000 - - 0s 0 0 0.00000 0 177 - 0.00000 - - 0s 0 0 0.00000 0 189 - 0.00000 - - 1s 0 0 0.00000 0 168 - 0.00000 - - 1s 0 0 0.00000 0 166 - 0.00000 - - 1s 0 0 0.00000 0 173 - 0.00000 - - 1s 0 0 0.00000 0 168 - 0.00000 - - 2s 0 0 0.00000 0 171 - 0.00000 - - 2s 0 0 0.00000 0 171 - 0.00000 - - 2s 0 2 0.00000 0 171 - 0.00000 - - 2s Cutting planes: Clique: 34 Zero half: 16 Explored 5 nodes (23712 simplex iterations) in 2.82 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 17:59:52 2012 Optimize a model with 3192 rows, 714 columns and 9776 nonzeros Presolve time: 0.01s Presolved: 3192 rows, 714 columns, 9776 nonzeros Variable types: 0 continuous, 714 integer (714 binary) Root relaxation: objective 0.000000e+00, 80 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 38 - 0.00000 - - 0s 0 0 0.00000 0 60 - 0.00000 - - 0s 0 0 0.00000 0 20 - 0.00000 - - 0s 0 0 0.00000 0 116 - 0.00000 - - 0s 0 0 0.00000 0 74 - 0.00000 - - 0s 0 0 0.00000 0 107 - 0.00000 - - 0s 0 0 0.00000 0 138 - 0.00000 - - 0s 0 0 0.00000 0 138 - 0.00000 - - 0s 0 2 0.00000 0 138 - 0.00000 - - 0s Cutting planes: Clique: 27 Zero half: 7 Explored 212 nodes (22387 simplex iterations) in 1.69 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: 8 -- 10 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 17:59:53 2012 Optimize a model with 3586 rows, 754 columns and 10998 nonzeros Presolve time: 0.01s Presolved: 3586 rows, 754 columns, 10998 nonzeros Variable types: 0 continuous, 754 integer (754 binary) Root relaxation: objective 0.000000e+00, 83 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 20 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (656 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% optimal solution found: number of colors: 9