current bounds on the number of colors: 0 -- 130 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 02:02:26 2012 Optimize a model with 55640 rows, 9304 columns and 174980 nonzeros Presolve time: 0.17s Presolved: 55640 rows, 9304 columns, 174980 nonzeros Variable types: 0 continuous, 9304 integer (9304 binary) Root relaxation: objective 0.000000e+00, 312 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 (605 simplex iterations) in 0.31 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 -- 65 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 02:02:27 2012 Optimize a model with 27458 rows, 5014 columns and 86144 nonzeros Presolve time: 0.12s Presolved: 27458 rows, 5014 columns, 86144 nonzeros Variable types: 0 continuous, 5014 integer (5014 binary) Root relaxation: objective 0.000000e+00, 313 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 (595 simplex iterations) in 0.19 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 -- 32 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 02:02:27 2012 Optimize a model with 13794 rows, 2934 columns and 43072 nonzeros Presolve time: 0.05s Presolved: 13794 rows, 2934 columns, 43072 nonzeros Variable types: 0 continuous, 2934 integer (2934 binary) Root relaxation: objective 0.000000e+00, 265 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.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 -- 16 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 02:02:28 2012 Optimize a model with 6962 rows, 1894 columns and 21536 nonzeros Presolve time: 0.02s Presolved: 6962 rows, 1894 columns, 21536 nonzeros Variable types: 0 continuous, 1894 integer (1894 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 (938 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 02:02:28 2012 Optimize a model with 3546 rows, 1374 columns and 10768 nonzeros Presolve time: 0.01s Presolved: 3546 rows, 1374 columns, 10768 nonzeros Variable types: 0 continuous, 1374 integer (1374 binary) Root relaxation: objective 0.000000e+00, 292 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 182 - 0.00000 - - 0s 0 0 0.00000 0 224 - 0.00000 - - 0s 0 0 0.00000 0 392 - 0.00000 - - 1s 0 0 0.00000 0 392 - 0.00000 - - 1s 0 0 0.00000 0 386 - 0.00000 - - 2s 0 0 0.00000 0 378 - 0.00000 - - 3s 0 0 0.00000 0 379 - 0.00000 - - 4s 0 0 0.00000 0 376 - 0.00000 - - 5s 0 0 0.00000 0 373 - 0.00000 - - 6s 0 0 0.00000 0 371 - 0.00000 - - 7s 0 0 0.00000 0 385 - 0.00000 - - 8s 0 0 0.00000 0 385 - 0.00000 - - 8s 0 2 0.00000 0 385 - 0.00000 - - 9s Cutting planes: Clique: 19 Zero half: 13 Explored 11 nodes (40233 simplex iterations) in 9.94 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: 4 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 02:02:38 2012 Optimize a model with 5254 rows, 1634 columns and 16152 nonzeros Presolve time: 0.01s Presolved: 5254 rows, 1634 columns, 16152 nonzeros Variable types: 0 continuous, 1634 integer (1634 binary) Root relaxation: objective 0.000000e+00, 274 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 167 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Cutting planes: Gomory: 1 Clique: 43 Zero half: 83 Explored 0 nodes (3792 simplex iterations) in 0.36 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: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 02:02:38 2012 Optimize a model with 4400 rows, 1504 columns and 13460 nonzeros Presolve time: 0.01s Presolved: 4400 rows, 1504 columns, 13460 nonzeros Variable types: 0 continuous, 1504 integer (1504 binary) Root relaxation: objective 0.000000e+00, 277 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 246 - 0.00000 - - 0s 0 0 0.00000 0 277 - 0.00000 - - 0s 0 0 0.00000 0 239 - 0.00000 - - 1s 0 0 0.00000 0 353 - 0.00000 - - 1s 0 0 0.00000 0 204 - 0.00000 - - 1s 0 0 0.00000 0 200 - 0.00000 - - 2s 0 0 0.00000 0 196 - 0.00000 - - 2s 0 0 0.00000 0 192 - 0.00000 - - 3s 0 0 0.00000 0 258 - 0.00000 - - 3s 0 0 0.00000 0 206 - 0.00000 - - 4s 0 0 0.00000 0 259 - 0.00000 - - 4s 0 0 0.00000 0 216 - 0.00000 - - 5s 0 0 0.00000 0 305 - 0.00000 - - 5s 0 0 0.00000 0 338 - 0.00000 - - 6s 0 0 0.00000 0 314 - 0.00000 - - 6s 0 2 0.00000 0 314 - 0.00000 - - 7s 294 31 infeasible 19 - 0.00000 - 133 10s 832 53 infeasible 26 - 0.00000 - 129 15s 1324 40 0.00000 17 286 - 0.00000 - 134 20s 1505 63 0.00000 21 291 - 0.00000 - 132 25s 1509 65 0.00000 8 281 - 0.00000 - 132 31s 1524 73 0.00000 17 294 - 0.00000 - 159 35s 1765 52 infeasible 30 - 0.00000 - 171 40s 1985 64 0.00000 28 282 - 0.00000 - 181 45s 2212 69 infeasible 28 - 0.00000 - 189 50s 2442 63 infeasible 30 - 0.00000 - 196 55s 2671 72 infeasible 27 - 0.00000 - 202 60s 2921 78 infeasible 28 - 0.00000 - 207 65s 3151 90 infeasible 26 - 0.00000 - 210 70s 3375 120 0.00000 27 257 - 0.00000 - 213 75s 3576 137 infeasible 26 - 0.00000 - 218 80s 3762 135 infeasible 33 - 0.00000 - 222 85s 3976 149 0.00000 31 280 - 0.00000 - 225 90s 4177 148 0.00000 26 320 - 0.00000 - 228 95s 4419 164 infeasible 32 - 0.00000 - 229 100s 4686 163 infeasible 31 - 0.00000 - 230 105s 4914 185 infeasible 33 - 0.00000 - 231 110s 5129 180 0.00000 28 312 - 0.00000 - 233 115s 5350 175 infeasible 32 - 0.00000 - 234 120s 5573 200 0.00000 25 285 - 0.00000 - 235 125s 5802 201 infeasible 26 - 0.00000 - 237 130s 6041 202 0.00000 26 286 - 0.00000 - 237 135s 6264 203 infeasible 27 - 0.00000 - 239 140s 6467 206 infeasible 32 - 0.00000 - 241 145s 6656 203 infeasible 31 - 0.00000 - 242 150s 6869 210 0.00000 30 269 - 0.00000 - 243 155s 7101 228 0.00000 26 320 - 0.00000 - 244 160s 7341 240 infeasible 26 - 0.00000 - 244 165s 7571 244 infeasible 28 - 0.00000 - 245 170s 7787 260 infeasible 29 - 0.00000 - 246 175s 7970 261 infeasible 32 - 0.00000 - 247 180s 8185 274 infeasible 33 - 0.00000 - 248 185s 8419 274 0.00000 26 247 - 0.00000 - 248 190s 8614 265 infeasible 33 - 0.00000 - 249 195s 8841 250 0.00000 28 313 - 0.00000 - 250 200s 9060 241 infeasible 26 - 0.00000 - 250 205s 9353 240 infeasible 30 - 0.00000 - 249 210s 9564 237 infeasible 27 - 0.00000 - 250 215s 9754 219 0.00000 25 316 - 0.00000 - 251 220s 9929 222 0.00000 30 316 - 0.00000 - 253 225s 10151 212 infeasible 27 - 0.00000 - 253 230s 10379 212 infeasible 28 - 0.00000 - 253 235s 10621 218 infeasible 34 - 0.00000 - 253 240s 10820 207 infeasible 33 - 0.00000 - 254 245s 11043 208 infeasible 24 - 0.00000 - 254 250s 11249 220 infeasible 27 - 0.00000 - 255 255s 11455 212 infeasible 28 - 0.00000 - 256 260s 11676 209 infeasible 32 - 0.00000 - 256 265s 11890 193 infeasible 25 - 0.00000 - 256 270s 12099 196 infeasible 29 - 0.00000 - 257 275s 12300 205 infeasible 31 - 0.00000 - 257 280s 12497 196 0.00000 32 228 - 0.00000 - 258 285s Cutting planes: Gomory: 1 Clique: 10 Zero half: 8 Explored 12553 nodes (3289741 simplex iterations) in 286.47 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: 6