current bounds on the number of colors: 0 -- 52 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 18:21:21 2012 Optimize a model with 17056 rows, 2006 columns and 52364 nonzeros Presolve time: 0.07s Presolved: 17056 rows, 2006 columns, 52364 nonzeros Variable types: 0 continuous, 2006 integer (2006 binary) Root relaxation: objective 0.000000e+00, 140 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 (349 simplex iterations) in 0.11 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 -- 26 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 18:21:21 2012 Optimize a model with 8554 rows, 1330 columns and 26182 nonzeros Presolve time: 0.03s Presolved: 8554 rows, 1330 columns, 26182 nonzeros Variable types: 0 continuous, 1330 integer (1330 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (873 simplex iterations) in 0.08 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 -- 13 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 18:21:21 2012 Optimize a model with 3976 rows, 966 columns and 12084 nonzeros Presolve time: 0.01s Presolved: 3976 rows, 966 columns, 12084 nonzeros Variable types: 0 continuous, 966 integer (966 binary) Root relaxation: objective 0.000000e+00, 108 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 64 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (2892 simplex iterations) in 0.39 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: 6 -- 13 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 18:21:22 2012 Optimize a model with 5938 rows, 1122 columns and 18126 nonzeros Presolve time: 0.02s Presolved: 5938 rows, 1122 columns, 18126 nonzeros Variable types: 0 continuous, 1122 integer (1122 binary) Root relaxation: objective 0.000000e+00, 115 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 60 - 0.00000 - - 0s 0 0 0.00000 0 30 - 0.00000 - - 0s 0 0 0.00000 0 104 - 0.00000 - - 0s 0 0 0.00000 0 192 - 0.00000 - - 0s 0 0 0.00000 0 140 - 0.00000 - - 1s 0 0 0.00000 0 164 - 0.00000 - - 2s 0 0 0.00000 0 181 - 0.00000 - - 2s 0 0 0.00000 0 195 - 0.00000 - - 2s 0 0 0.00000 0 195 - 0.00000 - - 3s 0 2 0.00000 0 195 - 0.00000 - - 3s 140 16 infeasible 14 - 0.00000 - 137 5s 707 23 0.00000 6 104 - 0.00000 - 110 10s 712 27 0.00000 12 174 - 0.00000 - 109 15s 717 30 0.00000 12 172 - 0.00000 - 108 20s 864 7 infeasible 27 - 0.00000 - 154 25s 1255 12 infeasible 31 - 0.00000 - 152 30s 1705 6 0.00000 26 108 - 0.00000 - 149 35s Cutting planes: Clique: 43 Zero half: 1 Explored 1720 nodes (278219 simplex iterations) in 35.14 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: 9 -- 13 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 18:21:57 2012 Optimize a model with 7246 rows, 1226 columns and 22154 nonzeros Presolve time: 0.02s Presolved: 7246 rows, 1226 columns, 22154 nonzeros Variable types: 0 continuous, 1226 integer (1226 binary) Root relaxation: objective 0.000000e+00, 119 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 45 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1178 simplex iterations) in 0.10 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: 9 -- 11 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 18:21:57 2012 Optimize a model with 6592 rows, 1174 columns and 20140 nonzeros Presolve time: 0.02s Presolved: 6592 rows, 1174 columns, 20140 nonzeros Variable types: 0 continuous, 1174 integer (1174 binary) Root relaxation: objective 0.000000e+00, 115 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 38 - 0.00000 - - 0s 0 0 0.00000 0 60 - 0.00000 - - 0s 0 0 0.00000 0 30 - 0.00000 - - 0s 0 0 0.00000 0 168 - 0.00000 - - 0s 0 0 0.00000 0 14 - 0.00000 - - 1s H 0 0 0.0000000 0.00000 0.0% - 1s Cutting planes: Clique: 8 Zero half: 1 Explored 0 nodes (8388 simplex iterations) in 1.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% optimal solution found: number of colors: 10