current bounds on the number of colors: 0 -- 42 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 18:01:54 2012 Optimize a model with 9450 rows, 1330 columns and 29106 nonzeros Presolve time: 0.03s Presolved: 9450 rows, 1330 columns, 29106 nonzeros Variable types: 0 continuous, 1330 integer (1330 binary) Root relaxation: objective 0.000000e+00, 101 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 (345 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 -- 21 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 18:01:54 2012 Optimize a model with 4522 rows, 868 columns and 13860 nonzeros Presolve time: 0.01s Presolved: 4522 rows, 868 columns, 13860 nonzeros Variable types: 0 continuous, 868 integer (868 binary) Root relaxation: objective 0.000000e+00, 98 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 24 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (782 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 18:01:54 2012 Optimize a model with 2282 rows, 658 columns and 6930 nonzeros Presolve time: 0.01s Presolved: 2282 rows, 658 columns, 6930 nonzeros Variable types: 0 continuous, 658 integer (658 binary) Root relaxation: objective 0.000000e+00, 84 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 60 - 0.00000 - - 0s 0 0 0.00000 0 52 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (1453 simplex iterations) in 0.14 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:01:55 2012 Optimize a model with 3178 rows, 742 columns and 9702 nonzeros Presolve time: 0.01s Presolved: 3178 rows, 742 columns, 9702 nonzeros Variable types: 0 continuous, 742 integer (742 binary) Root relaxation: objective 0.000000e+00, 84 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 64 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (2318 simplex iterations) in 0.22 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: 7 -- 10 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 18:01:55 2012 Optimize a model with 3626 rows, 784 columns and 11088 nonzeros Presolve time: 0.01s Presolved: 3626 rows, 784 columns, 11088 nonzeros Variable types: 0 continuous, 784 integer (784 binary) Root relaxation: objective 0.000000e+00, 84 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 54 - 0.00000 - - 0s 0 0 0.00000 0 49 - 0.00000 - - 0s 0 0 0.00000 0 128 - 0.00000 - - 0s 0 0 0.00000 0 173 - 0.00000 - - 0s 0 0 0.00000 0 145 - 0.00000 - - 0s 0 0 0.00000 0 175 - 0.00000 - - 1s 0 0 0.00000 0 171 - 0.00000 - - 1s 0 0 0.00000 0 149 - 0.00000 - - 1s 0 0 0.00000 0 174 - 0.00000 - - 2s 0 0 0.00000 0 183 - 0.00000 - - 2s 0 0 0.00000 0 183 - 0.00000 - - 2s 0 2 0.00000 0 183 - 0.00000 - - 2s Cutting planes: Clique: 53 Zero half: 8 Explored 15 nodes (23774 simplex iterations) in 3.05 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 18:01:58 2012 Optimize a model with 4074 rows, 826 columns and 12474 nonzeros Presolve time: 0.01s Presolved: 4074 rows, 826 columns, 12474 nonzeros Variable types: 0 continuous, 826 integer (826 binary) Root relaxation: objective 0.000000e+00, 89 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 35 - 0.00000 - - 0s 0 0 0.00000 0 22 - 0.00000 - - 0s 0 0 0.00000 0 60 - 0.00000 - - 0s 0 0 0.00000 0 140 - 0.00000 - - 0s 0 0 0.00000 0 86 - 0.00000 - - 0s 0 0 0.00000 0 124 - 0.00000 - - 0s 0 0 0.00000 0 136 - 0.00000 - - 1s 0 0 0.00000 0 167 - 0.00000 - - 1s 0 0 0.00000 0 115 - 0.00000 - - 1s 0 2 0.00000 0 33 - 0.00000 - - 1s * 35 3 14 0.0000000 0.00000 0.0% 96.1 1s Cutting planes: Clique: 11 Zero half: 5 Explored 36 nodes (18123 simplex iterations) in 1.89 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