current bounds on the number of colors: 0 -- 135 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 06:11:03 2012 Optimize a model with 60636 rows, 9948 columns and 190548 nonzeros Presolve time: 0.19s Presolved: 60636 rows, 9948 columns, 190548 nonzeros Variable types: 0 continuous, 9948 integer (9948 binary) Root relaxation: objective 0.000000e+00, 367 iterations, 0.07 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 (797 simplex iterations) in 0.38 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 -- 67 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 06:11:04 2012 Optimize a model with 29934 rows, 5358 columns and 93852 nonzeros Presolve time: 0.14s Presolved: 29934 rows, 5358 columns, 93852 nonzeros Variable types: 0 continuous, 5358 integer (5358 binary) Root relaxation: objective 0.000000e+00, 423 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 (814 simplex iterations) in 0.22 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 -- 33 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 06:11:05 2012 Optimize a model with 14583 rows, 3063 columns and 45504 nonzeros Presolve time: 0.05s Presolved: 14583 rows, 3063 columns, 45504 nonzeros Variable types: 0 continuous, 3063 integer (3063 binary) Root relaxation: objective 0.000000e+00, 270 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 (545 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 -- 16 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 06:11:05 2012 Optimize a model with 7359 rows, 1983 columns and 22752 nonzeros Presolve time: 0.02s Presolved: 7359 rows, 1983 columns, 22752 nonzeros Variable types: 0 continuous, 1983 integer (1983 binary) Root relaxation: objective 0.000000e+00, 295 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 (1151 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 06:11:05 2012 Optimize a model with 3747 rows, 1443 columns and 11376 nonzeros Presolve time: 0.01s Presolved: 3747 rows, 1443 columns, 11376 nonzeros Variable types: 0 continuous, 1443 integer (1443 binary) Root relaxation: objective 0.000000e+00, 306 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 270 - 0.00000 - - 0s 0 0 0.00000 0 254 - 0.00000 - - 0s 0 0 0.00000 0 387 - 0.00000 - - 1s 0 0 0.00000 0 416 - 0.00000 - - 1s 0 0 0.00000 0 401 - 0.00000 - - 3s 0 0 0.00000 0 410 - 0.00000 - - 4s 0 0 0.00000 0 399 - 0.00000 - - 5s 0 0 0.00000 0 394 - 0.00000 - - 5s 0 0 0.00000 0 390 - 0.00000 - - 6s 0 0 0.00000 0 388 - 0.00000 - - 7s 0 0 0.00000 0 394 - 0.00000 - - 8s 0 0 0.00000 0 405 - 0.00000 - - 9s 0 0 0.00000 0 400 - 0.00000 - - 9s 0 2 0.00000 0 400 - 0.00000 - - 10s Cutting planes: Clique: 35 Zero half: 24 Explored 41 nodes (54417 simplex iterations) in 12.18 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 06:11:18 2012 Optimize a model with 5553 rows, 1713 columns and 17064 nonzeros Presolve time: 0.01s Presolved: 5553 rows, 1713 columns, 17064 nonzeros Variable types: 0 continuous, 1713 integer (1713 binary) Root relaxation: objective 0.000000e+00, 296 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 74 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3050 simplex iterations) in 0.20 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 06:11:18 2012 Optimize a model with 4650 rows, 1578 columns and 14220 nonzeros Presolve time: 0.01s Presolved: 4650 rows, 1578 columns, 14220 nonzeros Variable types: 0 continuous, 1578 integer (1578 binary) Root relaxation: objective 0.000000e+00, 291 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 262 - 0.00000 - - 0s 0 0 0.00000 0 257 - 0.00000 - - 0s 0 0 0.00000 0 254 - 0.00000 - - 1s 0 0 0.00000 0 382 - 0.00000 - - 1s 0 0 0.00000 0 246 - 0.00000 - - 2s 0 0 0.00000 0 236 - 0.00000 - - 2s 0 0 0.00000 0 228 - 0.00000 - - 3s 0 0 0.00000 0 230 - 0.00000 - - 3s 0 0 0.00000 0 226 - 0.00000 - - 3s 0 0 0.00000 0 210 - 0.00000 - - 4s 0 0 0.00000 0 210 - 0.00000 - - 4s 0 0 0.00000 0 210 - 0.00000 - - 5s 0 0 0.00000 0 250 - 0.00000 - - 5s 0 0 0.00000 0 245 - 0.00000 - - 6s 0 2 0.00000 0 245 - 0.00000 - - 6s 376 44 infeasible 24 - 0.00000 - 112 10s 806 49 0.00000 17 240 - 0.00000 - 97.3 16s 809 51 0.00000 21 220 - 0.00000 - 97.0 20s 813 53 0.00000 11 136 - 0.00000 - 96.5 25s 821 59 0.00000 11 287 - 0.00000 - 166 30s 910 82 0.00000 29 282 - 0.00000 - 174 35s 1155 126 infeasible 34 - 0.00000 - 184 40s 1395 190 0.00000 26 288 - 0.00000 - 194 45s 1612 215 infeasible 29 - 0.00000 - 204 50s 1845 240 infeasible 33 - 0.00000 - 208 55s 2075 262 0.00000 20 300 - 0.00000 - 213 60s 2321 284 infeasible 27 - 0.00000 - 216 65s 2516 299 infeasible 32 - 0.00000 - 221 70s 2737 310 0.00000 28 226 - 0.00000 - 225 75s 2932 305 infeasible 31 - 0.00000 - 229 80s 3127 304 infeasible 27 - 0.00000 - 233 85s 3360 331 infeasible 28 - 0.00000 - 234 90s 3591 350 0.00000 28 286 - 0.00000 - 236 95s 3861 350 infeasible 32 - 0.00000 - 237 100s 4061 338 infeasible 30 - 0.00000 - 239 105s 4302 331 0.00000 29 295 - 0.00000 - 241 110s 4520 337 infeasible 28 - 0.00000 - 242 115s 4750 345 0.00000 21 314 - 0.00000 - 244 120s 4966 357 infeasible 31 - 0.00000 - 245 125s 5194 357 infeasible 30 - 0.00000 - 247 130s 5467 366 0.00000 37 289 - 0.00000 - 247 135s 5776 375 0.00000 29 211 - 0.00000 - 246 140s 6043 368 0.00000 24 295 - 0.00000 - 245 145s 6295 358 infeasible 34 - 0.00000 - 246 150s 6500 341 0.00000 18 310 - 0.00000 - 247 155s 6703 338 infeasible 26 - 0.00000 - 249 160s 6909 310 infeasible 32 - 0.00000 - 250 165s 7119 306 0.00000 29 303 - 0.00000 - 251 170s 7351 334 infeasible 38 - 0.00000 - 252 175s 7675 334 0.00000 38 222 - 0.00000 - 250 180s 7934 327 infeasible 28 - 0.00000 - 250 185s 8165 356 0.00000 31 281 - 0.00000 - 250 190s 8432 367 infeasible 31 - 0.00000 - 250 195s 8655 368 infeasible 34 - 0.00000 - 251 200s 8872 367 0.00000 26 306 - 0.00000 - 252 205s 9082 377 0.00000 31 299 - 0.00000 - 253 210s 9280 373 0.00000 23 317 - 0.00000 - 253 215s 9508 365 infeasible 23 - 0.00000 - 254 220s 9732 371 0.00000 24 293 - 0.00000 - 254 225s 9945 368 infeasible 29 - 0.00000 - 255 230s 10193 368 infeasible 27 - 0.00000 - 255 235s 10415 374 0.00000 31 294 - 0.00000 - 255 240s 10660 367 infeasible 27 - 0.00000 - 256 245s 10869 386 infeasible 28 - 0.00000 - 256 250s 11051 386 infeasible 28 - 0.00000 - 257 255s 11264 381 infeasible 23 - 0.00000 - 258 260s 11483 372 infeasible 26 - 0.00000 - 258 265s 11705 378 0.00000 26 282 - 0.00000 - 259 270s 11964 379 infeasible 31 - 0.00000 - 258 275s 12228 391 infeasible 32 - 0.00000 - 258 280s Cutting planes: Clique: 1 Zero half: 8 Explored 12440 nodes (3258128 simplex iterations) in 284.07 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