current bounds on the number of colors: 0 -- 134 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 05:22:16 2012 Optimize a model with 59362 rows, 9862 columns and 186662 nonzeros Presolve time: 0.19s Presolved: 59362 rows, 9862 columns, 186662 nonzeros Variable types: 0 continuous, 9862 integer (9862 binary) Root relaxation: objective 0.000000e+00, 340 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 (638 simplex iterations) in 0.34 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 05:22:17 2012 Optimize a model with 29306 rows, 5306 columns and 91938 nonzeros Presolve time: 0.13s Presolved: 29306 rows, 5306 columns, 91938 nonzeros Variable types: 0 continuous, 5306 integer (5306 binary) Root relaxation: objective 0.000000e+00, 416 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 (986 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 -- 33 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 05:22:17 2012 Optimize a model with 14278 rows, 3028 columns and 44576 nonzeros Presolve time: 0.05s Presolved: 14278 rows, 3028 columns, 44576 nonzeros Variable types: 0 continuous, 3028 integer (3028 binary) Root relaxation: objective 0.000000e+00, 268 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 (515 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 05:22:17 2012 Optimize a model with 7206 rows, 1956 columns and 22288 nonzeros Presolve time: 0.02s Presolved: 7206 rows, 1956 columns, 22288 nonzeros Variable types: 0 continuous, 1956 integer (1956 binary) Root relaxation: objective 0.000000e+00, 286 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 (902 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 05:22:18 2012 Optimize a model with 3670 rows, 1420 columns and 11144 nonzeros Presolve time: 0.01s Presolved: 3670 rows, 1420 columns, 11144 nonzeros Variable types: 0 continuous, 1420 integer (1420 binary) Root relaxation: objective 0.000000e+00, 298 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 268 - 0.00000 - - 0s 0 0 0.00000 0 168 - 0.00000 - - 0s 0 0 0.00000 0 425 - 0.00000 - - 1s 0 0 0.00000 0 434 - 0.00000 - - 1s 0 0 0.00000 0 420 - 0.00000 - - 3s 0 0 0.00000 0 411 - 0.00000 - - 4s 0 0 0.00000 0 413 - 0.00000 - - 4s 0 0 0.00000 0 412 - 0.00000 - - 5s 0 0 0.00000 0 417 - 0.00000 - - 7s 0 0 0.00000 0 417 - 0.00000 - - 7s 0 0 0.00000 0 417 - 0.00000 - - 8s 0 2 0.00000 0 417 - 0.00000 - - 9s Cutting planes: Clique: 14 Zero half: 15 Explored 7 nodes (38049 simplex iterations) in 9.26 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 05:22:27 2012 Optimize a model with 5438 rows, 1688 columns and 16716 nonzeros Presolve time: 0.01s Presolved: 5438 rows, 1688 columns, 16716 nonzeros Variable types: 0 continuous, 1688 integer (1688 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 162 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3458 simplex iterations) in 0.28 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 05:22:27 2012 Optimize a model with 4554 rows, 1554 columns and 13930 nonzeros Presolve time: 0.01s Presolved: 4554 rows, 1554 columns, 13930 nonzeros Variable types: 0 continuous, 1554 integer (1554 binary) Root relaxation: objective 0.000000e+00, 293 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 250 - 0.00000 - - 0s 0 0 0.00000 0 363 - 0.00000 - - 1s 0 0 0.00000 0 369 - 0.00000 - - 1s 0 0 0.00000 0 361 - 0.00000 - - 2s 0 0 0.00000 0 323 - 0.00000 - - 2s 0 0 0.00000 0 298 - 0.00000 - - 3s 0 0 0.00000 0 328 - 0.00000 - - 4s 0 0 0.00000 0 275 - 0.00000 - - 5s 0 0 0.00000 0 336 - 0.00000 - - 5s 0 0 0.00000 0 336 - 0.00000 - - 5s 0 2 0.00000 0 336 - 0.00000 - - 6s 399 26 0.00000 18 286 - 0.00000 - 116 10s 803 40 0.00000 19 363 - 0.00000 - 117 15s 810 45 0.00000 3 338 - 0.00000 - 116 20s 813 47 0.00000 26 341 - 0.00000 - 116 25s 816 49 0.00000 19 334 - 0.00000 - 116 31s 907 48 0.00000 30 301 - 0.00000 - 168 35s 1104 54 infeasible 33 - 0.00000 - 188 40s 1281 59 infeasible 31 - 0.00000 - 207 45s 1484 72 0.00000 26 310 - 0.00000 - 217 50s 1696 68 infeasible 39 - 0.00000 - 227 55s 1921 67 0.00000 31 251 - 0.00000 - 232 60s 2140 62 infeasible 30 - 0.00000 - 236 65s 2346 64 infeasible 36 - 0.00000 - 241 70s 2547 71 0.00000 38 245 - 0.00000 - 245 75s 2752 64 infeasible 34 - 0.00000 - 249 80s 2983 69 infeasible 31 - 0.00000 - 249 85s 3124 62 infeasible 34 - 0.00000 - 256 90s 3291 51 0.00000 29 248 - 0.00000 - 260 95s 3507 50 infeasible 37 - 0.00000 - 261 100s 3696 47 infeasible 37 - 0.00000 - 263 105s 3912 53 0.00000 33 312 - 0.00000 - 264 110s 4128 79 0.00000 32 258 - 0.00000 - 264 115s 4374 60 infeasible 36 - 0.00000 - 263 120s 4586 58 0.00000 29 218 - 0.00000 - 265 125s 4817 57 0.00000 25 311 - 0.00000 - 265 130s 5008 66 infeasible 37 - 0.00000 - 266 135s 5269 65 0.00000 30 303 - 0.00000 - 265 140s 5501 63 0.00000 28 314 - 0.00000 - 265 145s 5681 55 0.00000 26 301 - 0.00000 - 267 150s 5851 51 0.00000 32 308 - 0.00000 - 269 155s 6061 55 infeasible 31 - 0.00000 - 269 160s 6251 57 0.00000 23 314 - 0.00000 - 270 165s 6451 71 infeasible 34 - 0.00000 - 271 170s 6622 60 infeasible 30 - 0.00000 - 273 175s 6825 65 infeasible 29 - 0.00000 - 273 180s 7016 52 0.00000 27 291 - 0.00000 - 274 185s 7221 49 infeasible 30 - 0.00000 - 274 190s 7455 57 infeasible 34 - 0.00000 - 274 195s 7683 61 0.00000 30 312 - 0.00000 - 274 200s 7906 66 infeasible 33 - 0.00000 - 274 205s 8131 69 0.00000 32 236 - 0.00000 - 274 210s 8346 68 0.00000 28 299 - 0.00000 - 274 215s 8591 75 0.00000 34 220 - 0.00000 - 273 220s 8800 62 infeasible 33 - 0.00000 - 274 225s 9017 59 0.00000 33 271 - 0.00000 - 274 230s 9214 50 infeasible 28 - 0.00000 - 274 235s 9411 43 0.00000 28 223 - 0.00000 - 275 240s 9584 34 0.00000 28 316 - 0.00000 - 276 245s 9764 36 infeasible 27 - 0.00000 - 277 250s 9942 34 0.00000 25 302 - 0.00000 - 277 255s 10144 28 infeasible 30 - 0.00000 - 278 260s 10325 23 0.00000 28 301 - 0.00000 - 279 265s 10493 19 infeasible 33 - 0.00000 - 280 270s 10675 25 infeasible 31 - 0.00000 - 280 275s 10853 23 infeasible 27 - 0.00000 - 281 280s 11036 20 infeasible 34 - 0.00000 - 282 285s Cutting planes: Clique: 8 Zero half: 19 Explored 11109 nodes (3165018 simplex iterations) in 287.01 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