current bounds on the number of colors: 0 -- 127 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 00:00:04 2012 Optimize a model with 50212 rows, 8796 columns and 158256 nonzeros Presolve time: 0.17s Presolved: 50212 rows, 8796 columns, 158256 nonzeros Variable types: 0 continuous, 8796 integer (8796 binary) Root relaxation: objective 0.000000e+00, 329 iterations, 0.06 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 (612 simplex iterations) in 0.29 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 -- 63 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 00:00:05 2012 Optimize a model with 24772 rows, 4732 columns and 77872 nonzeros Presolve time: 0.11s Presolved: 24772 rows, 4732 columns, 77872 nonzeros Variable types: 0 continuous, 4732 integer (4732 binary) Root relaxation: objective 0.000000e+00, 303 iterations, 0.03 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 (593 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 -- 31 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 00:00:06 2012 Optimize a model with 12052 rows, 2700 columns and 37680 nonzeros Presolve time: 0.04s Presolved: 12052 rows, 2700 columns, 37680 nonzeros Variable types: 0 continuous, 2700 integer (2700 binary) Root relaxation: objective 0.000000e+00, 255 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 (520 simplex iterations) in 0.06 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 -- 15 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 00:00:06 2012 Optimize a model with 5692 rows, 1684 columns and 17584 nonzeros Presolve time: 0.02s Presolved: 5692 rows, 1684 columns, 17584 nonzeros Variable types: 0 continuous, 1684 integer (1684 binary) Root relaxation: objective 0.000000e+00, 267 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 (1406 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 -- 7 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 00:00:06 2012 Optimize a model with 2512 rows, 1176 columns and 7536 nonzeros Presolve time: 0.01s Presolved: 2512 rows, 1176 columns, 7536 nonzeros Variable types: 0 continuous, 1176 integer (1176 binary) Root relaxation: objective 0.000000e+00, 268 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 206 - 0.00000 - - 0s 0 0 0.00000 0 250 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (3949 simplex iterations) in 0.46 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: 3 -- 7 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 00:00:07 2012 Optimize a model with 4102 rows, 1430 columns and 12560 nonzeros Presolve time: 0.01s Presolved: 4102 rows, 1430 columns, 12560 nonzeros Variable types: 0 continuous, 1430 integer (1430 binary) Root relaxation: objective 0.000000e+00, 261 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 238 - 0.00000 - - 0s 0 0 0.00000 0 232 - 0.00000 - - 0s 0 0 0.00000 0 292 - 0.00000 - - 0s 0 0 0.00000 0 326 - 0.00000 - - 1s 0 0 0.00000 0 283 - 0.00000 - - 1s 0 0 0.00000 0 301 - 0.00000 - - 2s 0 0 0.00000 0 318 - 0.00000 - - 2s 0 0 0.00000 0 318 - 0.00000 - - 2s 0 2 0.00000 0 318 - 0.00000 - - 3s 402 24 0.00000 18 160 - 0.00000 - 78.6 5s 612 36 0.00000 20 225 - 0.00000 - 83.0 11s 615 38 0.00000 4 104 - 0.00000 - 82.6 15s 628 47 0.00000 16 298 - 0.00000 - 140 20s 836 60 infeasible 30 - 0.00000 - 167 25s 1106 104 infeasible 32 - 0.00000 - 180 30s 1346 106 0.00000 31 289 - 0.00000 - 196 35s 1638 124 0.00000 23 262 - 0.00000 - 200 40s 1919 147 infeasible 25 - 0.00000 - 204 45s 2235 157 0.00000 25 259 - 0.00000 - 207 50s 2542 160 0.00000 27 287 - 0.00000 - 210 55s 2804 168 infeasible 26 - 0.00000 - 213 60s 3095 193 infeasible 28 - 0.00000 - 215 65s 3333 205 infeasible 30 - 0.00000 - 218 70s 3678 208 infeasible 28 - 0.00000 - 218 75s 3978 208 0.00000 31 214 - 0.00000 - 219 80s 4224 201 0.00000 25 287 - 0.00000 - 221 85s 4518 209 0.00000 28 258 - 0.00000 - 222 90s 4855 208 0.00000 31 271 - 0.00000 - 221 95s 5134 211 0.00000 25 298 - 0.00000 - 221 100s 5399 222 infeasible 23 - 0.00000 - 223 105s 5703 224 infeasible 28 - 0.00000 - 223 110s 6003 236 0.00000 26 275 - 0.00000 - 224 115s 6274 227 0.00000 26 237 - 0.00000 - 225 120s 6541 211 0.00000 24 290 - 0.00000 - 227 125s 6803 213 infeasible 26 - 0.00000 - 228 130s 7051 213 infeasible 33 - 0.00000 - 229 135s 7347 213 infeasible 26 - 0.00000 - 230 140s 7649 217 0.00000 28 192 - 0.00000 - 230 145s 7970 220 infeasible 29 - 0.00000 - 230 150s 8286 204 0.00000 26 274 - 0.00000 - 230 155s 8621 211 infeasible 24 - 0.00000 - 229 160s 8898 204 infeasible 30 - 0.00000 - 230 165s 9194 200 infeasible 27 - 0.00000 - 230 170s 9470 194 infeasible 31 - 0.00000 - 231 175s 9780 198 0.00000 22 277 - 0.00000 - 232 180s 10047 203 infeasible 28 - 0.00000 - 232 185s 10354 196 0.00000 27 256 - 0.00000 - 232 190s 10647 185 0.00000 21 272 - 0.00000 - 232 195s 10916 180 infeasible 31 - 0.00000 - 233 200s 11196 178 0.00000 23 263 - 0.00000 - 233 205s 11459 173 0.00000 26 290 - 0.00000 - 234 210s 11716 184 0.00000 32 253 - 0.00000 - 234 215s 11991 175 0.00000 29 206 - 0.00000 - 235 220s 12259 164 0.00000 26 294 - 0.00000 - 235 225s 12536 159 infeasible 28 - 0.00000 - 235 230s 12823 152 0.00000 28 188 - 0.00000 - 236 235s 13135 168 0.00000 27 279 - 0.00000 - 236 240s 13435 168 0.00000 32 234 - 0.00000 - 236 245s 13721 172 infeasible 31 - 0.00000 - 236 250s 13993 162 infeasible 32 - 0.00000 - 236 255s 14265 172 0.00000 29 272 - 0.00000 - 237 260s 14556 165 infeasible 26 - 0.00000 - 237 265s 14824 175 0.00000 25 210 - 0.00000 - 237 270s 15085 174 0.00000 29 263 - 0.00000 - 238 275s 15331 162 0.00000 29 272 - 0.00000 - 238 280s 15607 152 0.00000 31 289 - 0.00000 - 238 285s 15856 137 0.00000 24 294 - 0.00000 - 239 290s 16098 121 0.00000 24 202 - 0.00000 - 240 295s Cutting planes: Clique: 2 Zero half: 1 Explored 16211 nodes (3904664 simplex iterations) in 296.74 seconds Thread count was 1 (of 16 available processors) Time limit reached Best objective -, best bound 0.000000000000e+00, gap - current bounds on the number of colors: 5 -- 7 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 00:05:03 2012 Optimize a model with 4897 rows, 1557 columns and 15072 nonzeros Presolve time: 0.01s Presolved: 4897 rows, 1557 columns, 15072 nonzeros Variable types: 0 continuous, 1557 integer (1557 binary) Root relaxation: objective 0.000000e+00, 276 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 254 - 0.00000 - - 0s Explored 0 nodes (644 simplex iterations) in 0.03 seconds Thread count was 1 (of 16 available processors) Time limit reached Best objective -, best bound 0.000000000000e+00, gap - optimal solution found: number of colors: 7