current bounds on the number of colors: 0 -- 47 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 18:06:46 2012 Optimize a model with 12329 rows, 1615 columns and 37927 nonzeros Presolve time: 0.05s Presolved: 12329 rows, 1615 columns, 37927 nonzeros Variable types: 0 continuous, 1615 integer (1615 binary) Root relaxation: objective 0.000000e+00, 105 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 (394 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 -- 23 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 18:06:47 2012 Optimize a model with 5921 rows, 1051 columns and 18139 nonzeros Presolve time: 0.02s Presolved: 5921 rows, 1051 columns, 18139 nonzeros Variable types: 0 continuous, 1051 integer (1051 binary) Root relaxation: objective 0.000000e+00, 107 iterations, 0.01 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 0.00000 0 33 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1168 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 -- 11 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 18:06:47 2012 Optimize a model with 2717 rows, 769 columns and 8245 nonzeros Presolve time: 0.01s Presolved: 2717 rows, 769 columns, 8245 nonzeros Variable types: 0 continuous, 769 integer (769 binary) Root relaxation: objective 0.000000e+00, 94 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 0 0 0.00000 0 60 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (2480 simplex iterations) in 0.28 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 -- 11 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 18:06:47 2012 Optimize a model with 4319 rows, 910 columns and 13192 nonzeros Presolve time: 0.01s Presolved: 4319 rows, 910 columns, 13192 nonzeros Variable types: 0 continuous, 910 integer (910 binary) Root relaxation: objective 0.000000e+00, 95 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 56 - 0.00000 - - 0s 0 0 0.00000 0 43 - 0.00000 - - 0s 0 0 0.00000 0 115 - 0.00000 - - 0s 0 0 0.00000 0 192 - 0.00000 - - 0s 0 0 0.00000 0 184 - 0.00000 - - 1s 0 0 0.00000 0 177 - 0.00000 - - 1s 0 0 0.00000 0 172 - 0.00000 - - 2s 0 0 0.00000 0 212 - 0.00000 - - 2s 0 0 0.00000 0 207 - 0.00000 - - 2s 0 0 0.00000 0 225 - 0.00000 - - 3s 0 0 0.00000 0 188 - 0.00000 - - 3s 0 2 0.00000 0 188 - 0.00000 - - 3s Cutting planes: Clique: 66 Zero half: 1 Explored 15 nodes (29834 simplex iterations) in 4.08 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 -- 11 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 18:06:51 2012 Optimize a model with 4853 rows, 957 columns and 14841 nonzeros Presolve time: 0.01s Presolved: 4853 rows, 957 columns, 14841 nonzeros Variable types: 0 continuous, 957 integer (957 binary) Root relaxation: objective 0.000000e+00, 106 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 60 - 0.00000 - - 0s 0 0 0.00000 0 24 - 0.00000 - - 0s 0 0 0.00000 0 129 - 0.00000 - - 0s 0 0 0.00000 0 16 - 0.00000 - - 0s 0 0 0.00000 0 39 - 0.00000 - - 0s 0 0 0.00000 0 50 - 0.00000 - - 1s 0 0 0.00000 0 57 - 0.00000 - - 1s 0 0 0.00000 0 57 - 0.00000 - - 1s 0 2 0.00000 0 57 - 0.00000 - - 1s * 161 3 17 0.0000000 0.00000 0.0% 74.5 3s Cutting planes: Clique: 20 Zero half: 6 Explored 162 nodes (24751 simplex iterations) in 3.48 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