current bounds on the number of colors: 0 -- 56 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 18:48:31 2012 Optimize a model with 22596 rows, 2373 columns and 69188 nonzeros Presolve time: 0.10s Presolved: 22596 rows, 2373 columns, 69188 nonzeros Variable types: 0 continuous, 2373 integer (2373 binary) Root relaxation: objective 0.000000e+00, 158 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 (522 simplex iterations) in 0.17 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 -- 28 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 18:48:31 2012 Optimize a model with 11326 rows, 1589 columns and 34594 nonzeros Presolve time: 0.03s Presolved: 11326 rows, 1589 columns, 34594 nonzeros Variable types: 0 continuous, 1589 integer (1589 binary) Root relaxation: objective 0.000000e+00, 116 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 (1197 simplex iterations) in 0.12 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 -- 14 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 18:48:32 2012 Optimize a model with 5691 rows, 1197 columns and 17297 nonzeros Presolve time: 0.01s Presolved: 5691 rows, 1197 columns, 17297 nonzeros Variable types: 0 continuous, 1197 integer (1197 binary) Root relaxation: objective 0.000000e+00, 116 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 96 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (2842 simplex iterations) in 0.51 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 -- 14 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 18:48:32 2012 Optimize a model with 8106 rows, 1365 columns and 24710 nonzeros Presolve time: 0.02s Presolved: 8106 rows, 1365 columns, 24710 nonzeros Variable types: 0 continuous, 1365 integer (1365 binary) Root relaxation: objective 0.000000e+00, 127 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 34 - 0.00000 - - 0s 0 0 0.00000 0 24 - 0.00000 - - 0s 0 0 0.00000 0 126 - 0.00000 - - 1s 0 0 0.00000 0 213 - 0.00000 - - 1s 0 0 0.00000 0 136 - 0.00000 - - 2s 0 0 0.00000 0 91 - 0.00000 - - 3s 0 0 0.00000 0 128 - 0.00000 - - 4s 0 0 0.00000 0 131 - 0.00000 - - 5s 0 0 0.00000 0 130 - 0.00000 - - 5s 0 0 0.00000 0 130 - 0.00000 - - 6s 0 0 0.00000 0 184 - 0.00000 - - 7s 0 0 0.00000 0 184 - 0.00000 - - 8s 0 2 0.00000 0 184 - 0.00000 - - 9s 33 23 0.00000 22 106 - 0.00000 - 180 10s 716 34 0.00000 23 131 - 0.00000 - 94.8 15s 1005 45 0.00000 17 97 - 0.00000 - 95.1 20s 1008 47 0.00000 14 106 - 0.00000 - 94.8 25s 1014 51 infeasible 14 - 0.00000 - 133 30s 1064 48 0.00000 22 154 - 0.00000 - 135 35s 1463 27 0.00000 28 143 - 0.00000 - 135 40s 1872 18 0.00000 25 148 - 0.00000 - 137 45s 2271 21 infeasible 31 - 0.00000 - 138 50s 2653 32 0.00000 31 119 - 0.00000 - 139 55s 3032 29 0.00000 29 129 - 0.00000 - 141 60s 3459 25 infeasible 31 - 0.00000 - 140 65s 3847 13 infeasible 30 - 0.00000 - 140 70s 4247 20 0.00000 31 103 - 0.00000 - 140 75s 4670 9 0.00000 26 145 - 0.00000 - 140 80s 4973 12 infeasible 30 - 0.00000 - 140 85s 5393 16 infeasible 31 - 0.00000 - 140 90s 5772 7 infeasible 24 - 0.00000 - 141 95s 6130 5 infeasible 28 - 0.00000 - 142 100s 6512 21 infeasible 32 - 0.00000 - 142 105s * 6541 0 31 0.0000000 0.00000 0.0% 142 105s Cutting planes: Clique: 22 Zero half: 9 Explored 6542 nodes (970648 simplex iterations) in 105.28 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: 7 -- 10 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 18:50:18 2012 Optimize a model with 6496 rows, 1253 columns and 19768 nonzeros Presolve time: 0.02s Presolved: 6496 rows, 1253 columns, 19768 nonzeros Variable types: 0 continuous, 1253 integer (1253 binary) Root relaxation: objective 0.000000e+00, 125 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 48 - 0.00000 - - 0s 0 0 0.00000 0 46 - 0.00000 - - 0s 0 0 0.00000 0 257 - 0.00000 - - 1s 0 0 0.00000 0 321 - 0.00000 - - 1s 0 0 0.00000 0 298 - 0.00000 - - 3s 0 0 0.00000 0 322 - 0.00000 - - 4s 0 0 0.00000 0 342 - 0.00000 - - 5s 0 0 0.00000 0 340 - 0.00000 - - 6s 0 2 0.00000 0 318 - 0.00000 - - 7s Cutting planes: Clique: 141 Zero half: 2 Explored 17 nodes (33797 simplex iterations) in 8.66 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:50:27 2012 Optimize a model with 7301 rows, 1309 columns and 22239 nonzeros Presolve time: 0.02s Presolved: 7301 rows, 1309 columns, 22239 nonzeros Variable types: 0 continuous, 1309 integer (1309 binary) Root relaxation: objective 0.000000e+00, 127 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 54 - 0.00000 - - 0s 0 0 0.00000 0 32 - 0.00000 - - 0s 0 0 0.00000 0 211 - 0.00000 - - 1s 0 0 0.00000 0 246 - 0.00000 - - 1s 0 0 0.00000 0 217 - 0.00000 - - 2s 0 0 0.00000 0 193 - 0.00000 - - 4s 0 0 0.00000 0 244 - 0.00000 - - 4s 0 0 0.00000 0 174 - 0.00000 - - 5s 0 0 0.00000 0 268 - 0.00000 - - 6s 0 0 0.00000 0 289 - 0.00000 - - 7s 0 0 0.00000 0 241 - 0.00000 - - 8s 0 2 0.00000 0 241 - 0.00000 - - 9s 21 11 0.00000 9 164 - 0.00000 - 296 10s 231 7 infeasible 12 - 0.00000 - 212 15s Cutting planes: Clique: 191 Zero half: 14 Explored 273 nodes (101923 simplex iterations) in 16.13 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - optimal solution found: number of colors: 10