current bounds on the number of colors: 0 -- 140 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 10:41:18 2012 Optimize a model with 67480 rows, 10762 columns and 211820 nonzeros Presolve time: 0.20s Presolved: 67480 rows, 10762 columns, 211820 nonzeros Variable types: 0 continuous, 10762 integer (10762 binary) Root relaxation: objective 0.000000e+00, 334 iterations, 0.08 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 (667 simplex iterations) in 0.37 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 -- 70 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 10:41:19 2012 Optimize a model with 33810 rows, 5862 columns and 105910 nonzeros Presolve time: 0.15s Presolved: 33810 rows, 5862 columns, 105910 nonzeros Variable types: 0 continuous, 5862 integer (5862 binary) Root relaxation: objective 0.000000e+00, 332 iterations, 0.04 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 (644 simplex iterations) in 0.23 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 -- 35 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 10:41:20 2012 Optimize a model with 16494 rows, 3342 columns and 51442 nonzeros Presolve time: 0.06s Presolved: 16494 rows, 3342 columns, 51442 nonzeros Variable types: 0 continuous, 3342 integer (3342 binary) Root relaxation: objective 0.000000e+00, 284 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 (700 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: 0 -- 17 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 10:41:20 2012 Optimize a model with 7836 rows, 2082 columns and 24208 nonzeros Presolve time: 0.02s Presolved: 7836 rows, 2082 columns, 24208 nonzeros Variable types: 0 continuous, 2082 integer (2082 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1127 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 10:41:20 2012 Optimize a model with 3988 rows, 1522 columns and 12104 nonzeros Presolve time: 0.01s Presolved: 3988 rows, 1522 columns, 12104 nonzeros Variable types: 0 continuous, 1522 integer (1522 binary) Root relaxation: objective 0.000000e+00, 294 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 234 - 0.00000 - - 0s 0 0 0.00000 0 254 - 0.00000 - - 0s 0 0 0.00000 0 425 - 0.00000 - - 1s 0 0 0.00000 0 443 - 0.00000 - - 2s 0 0 0.00000 0 443 - 0.00000 - - 3s 0 0 0.00000 0 444 - 0.00000 - - 3s 0 0 0.00000 0 449 - 0.00000 - - 4s 0 0 0.00000 0 437 - 0.00000 - - 5s 0 2 0.00000 0 437 - 0.00000 - - 6s Cutting planes: Clique: 22 Zero half: 14 Explored 11 nodes (36675 simplex iterations) in 6.74 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 10:41:27 2012 Optimize a model with 5912 rows, 1802 columns and 18156 nonzeros Presolve time: 0.02s Presolved: 5912 rows, 1802 columns, 18156 nonzeros Variable types: 0 continuous, 1802 integer (1802 binary) Root relaxation: objective 0.000000e+00, 301 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 171 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (2970 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: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 10:41:27 2012 Optimize a model with 4950 rows, 1662 columns and 15130 nonzeros Presolve time: 0.01s Presolved: 4950 rows, 1662 columns, 15130 nonzeros Variable types: 0 continuous, 1662 integer (1662 binary) Root relaxation: objective 0.000000e+00, 299 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 260 - 0.00000 - - 0s 0 0 0.00000 0 180 - 0.00000 - - 0s 0 0 0.00000 0 266 - 0.00000 - - 1s 0 0 0.00000 0 411 - 0.00000 - - 1s 0 0 0.00000 0 284 - 0.00000 - - 2s 0 0 0.00000 0 202 - 0.00000 - - 3s 0 0 0.00000 0 305 - 0.00000 - - 3s 0 0 0.00000 0 283 - 0.00000 - - 4s 0 0 0.00000 0 277 - 0.00000 - - 5s 0 0 0.00000 0 324 - 0.00000 - - 6s 0 0 0.00000 0 287 - 0.00000 - - 7s 0 0 0.00000 0 290 - 0.00000 - - 8s 0 0 0.00000 0 285 - 0.00000 - - 9s 0 0 0.00000 0 267 - 0.00000 - - 10s 0 0 0.00000 0 271 - 0.00000 - - 10s 0 0 0.00000 0 267 - 0.00000 - - 11s 0 2 0.00000 0 267 - 0.00000 - - 12s 185 22 0.00000 10 298 - 0.00000 - 132 15s 558 64 infeasible 20 - 0.00000 - 149 20s 605 79 0.00000 21 268 - 0.00000 - 147 25s 609 81 0.00000 17 355 - 0.00000 - 146 31s 611 83 0.00000 14 336 - 0.00000 - 146 35s 615 85 0.00000 4 334 - 0.00000 - 145 41s 617 87 0.00000 17 327 - 0.00000 - 144 45s 626 91 0.00000 15 369 - 0.00000 - 250 50s 755 67 0.00000 26 294 - 0.00000 - 269 55s 899 30 infeasible 31 - 0.00000 - 282 60s 1040 31 0.00000 28 283 - 0.00000 - 293 65s 1183 32 infeasible 27 - 0.00000 - 302 70s 1346 27 0.00000 29 331 - 0.00000 - 307 75s 1466 33 infeasible 33 - 0.00000 - 316 80s 1594 29 infeasible 31 - 0.00000 - 324 85s 1746 35 infeasible 34 - 0.00000 - 324 90s 1883 52 0.00000 30 339 - 0.00000 - 327 95s 2031 56 0.00000 26 332 - 0.00000 - 327 100s 2179 52 infeasible 26 - 0.00000 - 329 105s 2330 55 infeasible 27 - 0.00000 - 329 110s 2464 57 infeasible 29 - 0.00000 - 331 115s 2623 62 infeasible 26 - 0.00000 - 331 120s 2753 78 infeasible 35 - 0.00000 - 333 125s 2891 76 infeasible 33 - 0.00000 - 335 130s 3029 74 infeasible 35 - 0.00000 - 336 135s 3185 88 0.00000 25 314 - 0.00000 - 336 140s 3327 80 infeasible 28 - 0.00000 - 337 145s 3479 74 infeasible 27 - 0.00000 - 337 150s 3618 65 infeasible 30 - 0.00000 - 338 155s 3737 62 infeasible 29 - 0.00000 - 341 160s 3883 56 infeasible 26 - 0.00000 - 341 165s 4016 51 0.00000 24 344 - 0.00000 - 342 170s 4161 48 0.00000 20 351 - 0.00000 - 343 175s 4298 49 0.00000 23 348 - 0.00000 - 343 180s 4456 49 0.00000 30 303 - 0.00000 - 343 185s 4606 47 0.00000 26 356 - 0.00000 - 342 190s 4751 58 infeasible 29 - 0.00000 - 343 195s 4879 56 infeasible 29 - 0.00000 - 344 200s 5006 57 0.00000 29 309 - 0.00000 - 344 205s 5136 47 infeasible 30 - 0.00000 - 346 210s 5283 50 0.00000 33 289 - 0.00000 - 346 215s 5414 41 infeasible 27 - 0.00000 - 347 220s 5561 52 infeasible 24 - 0.00000 - 347 225s 5675 52 infeasible 25 - 0.00000 - 349 230s 5800 43 0.00000 24 353 - 0.00000 - 350 235s 5921 34 infeasible 28 - 0.00000 - 351 240s 6053 24 0.00000 27 325 - 0.00000 - 352 245s 6178 19 infeasible 29 - 0.00000 - 353 250s 6319 20 0.00000 29 329 - 0.00000 - 353 255s 6458 11 infeasible 26 - 0.00000 - 353 260s 6597 20 infeasible 33 - 0.00000 - 353 265s 6765 22 0.00000 30 246 - 0.00000 - 352 270s 6910 23 infeasible 27 - 0.00000 - 352 275s 7053 20 infeasible 24 - 0.00000 - 352 280s 7208 23 0.00000 25 246 - 0.00000 - 351 285s Cutting planes: Gomory: 2 Clique: 4 Zero half: 11 Explored 7331 nodes (2640668 simplex iterations) in 289.17 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