current bounds on the number of colors: 0 -- 141 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 11:11:18 2012 Optimize a model with 67831 rows, 10837 columns and 212940 nonzeros Presolve time: 0.20s Presolved: 67831 rows, 10837 columns, 212940 nonzeros Variable types: 0 continuous, 10837 integer (10837 binary) Root relaxation: objective 0.000000e+00, 354 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 (664 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 11:11:19 2012 Optimize a model with 33986 rows, 5902 columns and 106470 nonzeros Presolve time: 0.15s Presolved: 33986 rows, 5902 columns, 106470 nonzeros Variable types: 0 continuous, 5902 integer (5902 binary) Root relaxation: objective 0.000000e+00, 436 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 (839 simplex iterations) in 0.24 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 11:11:20 2012 Optimize a model with 16580 rows, 3364 columns and 51714 nonzeros Presolve time: 0.06s Presolved: 16580 rows, 3364 columns, 51714 nonzeros Variable types: 0 continuous, 3364 integer (3364 binary) Root relaxation: objective 0.000000e+00, 289 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 (581 simplex iterations) in 0.09 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 11:11:20 2012 Optimize a model with 7877 rows, 2095 columns and 24336 nonzeros Presolve time: 0.02s Presolved: 7877 rows, 2095 columns, 24336 nonzeros Variable types: 0 continuous, 2095 integer (2095 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 (1213 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 11:11:20 2012 Optimize a model with 4009 rows, 1531 columns and 12168 nonzeros Presolve time: 0.01s Presolved: 4009 rows, 1531 columns, 12168 nonzeros Variable types: 0 continuous, 1531 integer (1531 binary) Root relaxation: objective 0.000000e+00, 304 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 282 - 0.00000 - - 0s 0 0 0.00000 0 276 - 0.00000 - - 0s 0 0 0.00000 0 436 - 0.00000 - - 1s 0 0 0.00000 0 433 - 0.00000 - - 2s 0 0 0.00000 0 427 - 0.00000 - - 2s 0 0 0.00000 0 418 - 0.00000 - - 3s 0 0 0.00000 0 410 - 0.00000 - - 3s 0 0 0.00000 0 421 - 0.00000 - - 3s 0 0 0.00000 0 417 - 0.00000 - - 5s 0 0 0.00000 0 419 - 0.00000 - - 6s 0 0 0.00000 0 414 - 0.00000 - - 8s 0 0 0.00000 0 414 - 0.00000 - - 9s 0 0 0.00000 0 423 - 0.00000 - - 10s 0 0 0.00000 0 423 - 0.00000 - - 11s 0 2 0.00000 0 423 - 0.00000 - - 12s Cutting planes: Clique: 14 Zero half: 20 Explored 23 nodes (43883 simplex iterations) in 13.36 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 11:11:34 2012 Optimize a model with 5943 rows, 1813 columns and 18252 nonzeros Presolve time: 0.02s Presolved: 5943 rows, 1813 columns, 18252 nonzeros Variable types: 0 continuous, 1813 integer (1813 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 262 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1764 simplex iterations) in 0.11 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 11:11:34 2012 Optimize a model with 4976 rows, 1672 columns and 15210 nonzeros Presolve time: 0.01s Presolved: 4976 rows, 1672 columns, 15210 nonzeros Variable types: 0 continuous, 1672 integer (1672 binary) Root relaxation: objective 0.000000e+00, 291 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 272 - 0.00000 - - 0s 0 0 0.00000 0 232 - 0.00000 - - 0s 0 0 0.00000 0 254 - 0.00000 - - 1s 0 0 0.00000 0 391 - 0.00000 - - 1s 0 0 0.00000 0 265 - 0.00000 - - 2s 0 0 0.00000 0 291 - 0.00000 - - 3s 0 0 0.00000 0 210 - 0.00000 - - 4s 0 0 0.00000 0 172 - 0.00000 - - 5s 0 0 0.00000 0 170 - 0.00000 - - 5s 0 0 0.00000 0 294 - 0.00000 - - 6s 0 0 0.00000 0 288 - 0.00000 - - 7s 0 0 0.00000 0 295 - 0.00000 - - 8s 0 0 0.00000 0 278 - 0.00000 - - 8s 0 2 0.00000 0 278 - 0.00000 - - 9s 11 11 0.00000 10 328 - 0.00000 - 435 10s 502 26 0.00000 20 228 - 0.00000 - 136 15s 615 38 0.00000 26 269 - 0.00000 - 138 21s 618 40 0.00000 28 351 - 0.00000 - 138 25s 621 42 0.00000 14 331 - 0.00000 - 137 31s 667 54 0.00000 17 335 - 0.00000 - 208 35s 854 44 infeasible 29 - 0.00000 - 223 40s 1034 46 infeasible 27 - 0.00000 - 233 45s 1209 45 0.00000 31 332 - 0.00000 - 244 50s 1368 60 0.00000 30 314 - 0.00000 - 252 55s 1541 69 infeasible 30 - 0.00000 - 258 60s 1700 84 0.00000 25 329 - 0.00000 - 263 65s 1835 83 0.00000 32 325 - 0.00000 - 271 70s 1983 91 0.00000 29 324 - 0.00000 - 276 75s 2122 74 0.00000 20 316 - 0.00000 - 282 80s 2314 104 infeasible 30 - 0.00000 - 281 85s 2497 109 infeasible 33 - 0.00000 - 283 90s 2656 96 infeasible 26 - 0.00000 - 286 95s 2834 130 infeasible 33 - 0.00000 - 287 100s 2966 116 infeasible 35 - 0.00000 - 291 105s 3121 109 infeasible 37 - 0.00000 - 293 110s 3308 102 0.00000 30 320 - 0.00000 - 292 115s 3464 98 infeasible 27 - 0.00000 - 294 120s 3627 85 infeasible 30 - 0.00000 - 296 125s 3796 84 0.00000 26 319 - 0.00000 - 297 130s 3965 99 0.00000 28 322 - 0.00000 - 297 135s 4137 107 0.00000 24 319 - 0.00000 - 297 140s 4313 119 infeasible 29 - 0.00000 - 297 145s 4464 112 infeasible 28 - 0.00000 - 298 150s 4613 105 0.00000 28 321 - 0.00000 - 300 155s 4771 103 infeasible 25 - 0.00000 - 301 160s 4937 103 infeasible 26 - 0.00000 - 301 165s 5112 102 infeasible 29 - 0.00000 - 300 170s 5289 101 0.00000 27 318 - 0.00000 - 301 175s 5457 111 0.00000 29 340 - 0.00000 - 301 180s 5602 108 infeasible 31 - 0.00000 - 303 185s 5760 104 infeasible 29 - 0.00000 - 304 190s 5919 105 infeasible 29 - 0.00000 - 304 195s 6062 100 0.00000 28 242 - 0.00000 - 306 200s 6213 117 0.00000 30 318 - 0.00000 - 306 205s 6367 119 infeasible 30 - 0.00000 - 307 210s 6523 125 0.00000 25 321 - 0.00000 - 308 215s 6675 115 infeasible 29 - 0.00000 - 308 220s 6809 111 0.00000 27 342 - 0.00000 - 310 225s 6968 118 infeasible 30 - 0.00000 - 310 230s 7109 121 infeasible 27 - 0.00000 - 311 235s 7252 114 infeasible 32 - 0.00000 - 311 240s 7451 153 infeasible 38 - 0.00000 - 310 245s 7616 166 infeasible 39 - 0.00000 - 310 250s 7800 184 infeasible 34 - 0.00000 - 310 255s 7978 196 infeasible 32 - 0.00000 - 310 260s 8136 184 0.00000 36 320 - 0.00000 - 310 265s 8314 194 0.00000 37 312 - 0.00000 - 310 270s 8490 204 0.00000 37 307 - 0.00000 - 310 275s 8642 212 0.00000 27 357 - 0.00000 - 310 280s Cutting planes: Gomory: 2 Clique: 8 Zero half: 9 Explored 8728 nodes (2762410 simplex iterations) in 282.60 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