current bounds on the number of colors: 0 -- 134 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 05:51:03 2012 Optimize a model with 60099 rows, 9873 columns and 188873 nonzeros Presolve time: 0.19s Presolved: 60099 rows, 9873 columns, 188873 nonzeros Variable types: 0 continuous, 9873 integer (9873 binary) Root relaxation: objective 0.000000e+00, 351 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 (658 simplex iterations) in 0.33 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:51:04 2012 Optimize a model with 29669 rows, 5317 columns and 93027 nonzeros Presolve time: 0.13s Presolved: 29669 rows, 5317 columns, 93027 nonzeros Variable types: 0 continuous, 5317 integer (5317 binary) Root relaxation: objective 0.000000e+00, 320 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 (688 simplex iterations) in 0.21 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:51:05 2012 Optimize a model with 14454 rows, 3039 columns and 45104 nonzeros Presolve time: 0.05s Presolved: 14454 rows, 3039 columns, 45104 nonzeros Variable types: 0 continuous, 3039 integer (3039 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 (535 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:51:05 2012 Optimize a model with 7294 rows, 1967 columns and 22552 nonzeros Presolve time: 0.02s Presolved: 7294 rows, 1967 columns, 22552 nonzeros Variable types: 0 continuous, 1967 integer (1967 binary) Root relaxation: objective 0.000000e+00, 290 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 (1528 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 05:51:05 2012 Optimize a model with 3714 rows, 1431 columns and 11276 nonzeros Presolve time: 0.01s Presolved: 3714 rows, 1431 columns, 11276 nonzeros Variable types: 0 continuous, 1431 integer (1431 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 266 - 0.00000 - - 0s 0 0 0.00000 0 280 - 0.00000 - - 0s 0 0 0.00000 0 402 - 0.00000 - - 1s 0 0 0.00000 0 415 - 0.00000 - - 2s 0 0 0.00000 0 399 - 0.00000 - - 3s 0 0 0.00000 0 396 - 0.00000 - - 4s 0 0 0.00000 0 396 - 0.00000 - - 6s 0 0 0.00000 0 388 - 0.00000 - - 7s 0 0 0.00000 0 387 - 0.00000 - - 8s 0 0 0.00000 0 394 - 0.00000 - - 9s 0 0 0.00000 0 414 - 0.00000 - - 9s 0 0 0.00000 0 414 - 0.00000 - - 10s 0 2 0.00000 0 414 - 0.00000 - - 11s Cutting planes: Clique: 15 Zero half: 15 Explored 11 nodes (43513 simplex iterations) in 11.66 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:51:17 2012 Optimize a model with 5504 rows, 1699 columns and 16914 nonzeros Presolve time: 0.01s Presolved: 5504 rows, 1699 columns, 16914 nonzeros Variable types: 0 continuous, 1699 integer (1699 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 106 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (2864 simplex iterations) in 0.21 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:51:17 2012 Optimize a model with 4609 rows, 1565 columns and 14095 nonzeros Presolve time: 0.01s Presolved: 4609 rows, 1565 columns, 14095 nonzeros Variable types: 0 continuous, 1565 integer (1565 binary) Root relaxation: objective 0.000000e+00, 285 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 240 - 0.00000 - - 0s 0 0 0.00000 0 234 - 0.00000 - - 1s 0 0 0.00000 0 339 - 0.00000 - - 1s 0 0 0.00000 0 230 - 0.00000 - - 1s 0 0 0.00000 0 232 - 0.00000 - - 2s 0 0 0.00000 0 218 - 0.00000 - - 2s 0 0 0.00000 0 216 - 0.00000 - - 3s 0 0 0.00000 0 216 - 0.00000 - - 3s 0 0 0.00000 0 208 - 0.00000 - - 4s 0 0 0.00000 0 198 - 0.00000 - - 4s 0 0 0.00000 0 194 - 0.00000 - - 5s 0 0 0.00000 0 186 - 0.00000 - - 5s 0 0 0.00000 0 176 - 0.00000 - - 6s 0 0 0.00000 0 306 - 0.00000 - - 7s 0 0 0.00000 0 277 - 0.00000 - - 7s 0 0 0.00000 0 223 - 0.00000 - - 8s 0 0 0.00000 0 268 - 0.00000 - - 9s 0 0 0.00000 0 245 - 0.00000 - - 9s 0 2 0.00000 0 245 - 0.00000 - - 10s 470 30 0.00000 17 293 - 0.00000 - 124 15s 606 72 0.00000 12 222 - 0.00000 - 129 20s 610 75 0.00000 18 178 - 0.00000 - 128 25s 613 77 0.00000 16 314 - 0.00000 - 127 30s 761 112 0.00000 23 294 - 0.00000 - 221 35s 976 99 infeasible 26 - 0.00000 - 232 40s 1171 90 infeasible 23 - 0.00000 - 241 45s 1427 106 0.00000 22 268 - 0.00000 - 240 50s 1642 105 infeasible 34 - 0.00000 - 244 55s 1847 124 infeasible 31 - 0.00000 - 247 60s 2049 128 0.00000 25 299 - 0.00000 - 249 65s 2264 123 0.00000 24 301 - 0.00000 - 250 70s 2473 130 infeasible 25 - 0.00000 - 252 75s 2687 142 0.00000 21 292 - 0.00000 - 253 80s 2901 160 infeasible 26 - 0.00000 - 254 85s 3081 176 infeasible 30 - 0.00000 - 256 90s 3282 197 0.00000 25 316 - 0.00000 - 257 95s 3520 221 infeasible 30 - 0.00000 - 257 100s 3759 240 infeasible 32 - 0.00000 - 256 105s 3988 243 infeasible 30 - 0.00000 - 256 110s 4212 243 0.00000 28 307 - 0.00000 - 257 115s 4432 243 infeasible 33 - 0.00000 - 257 120s 4672 235 0.00000 26 299 - 0.00000 - 257 125s 4901 234 0.00000 30 294 - 0.00000 - 257 130s 5108 227 infeasible 25 - 0.00000 - 258 135s 5307 222 infeasible 27 - 0.00000 - 259 140s 5501 240 0.00000 22 304 - 0.00000 - 260 145s 5683 238 infeasible 30 - 0.00000 - 261 150s 5900 241 0.00000 25 289 - 0.00000 - 261 155s 6084 237 infeasible 28 - 0.00000 - 263 160s 6307 248 infeasible 28 - 0.00000 - 263 165s 6512 257 infeasible 28 - 0.00000 - 263 170s 6705 247 0.00000 28 319 - 0.00000 - 264 175s 6903 237 infeasible 29 - 0.00000 - 265 180s 7103 233 infeasible 26 - 0.00000 - 265 185s 7328 236 0.00000 23 235 - 0.00000 - 265 190s 7564 242 infeasible 32 - 0.00000 - 265 195s 7801 235 infeasible 30 - 0.00000 - 264 200s 8010 234 0.00000 28 287 - 0.00000 - 264 205s 8222 220 infeasible 28 - 0.00000 - 264 210s 8414 214 infeasible 26 - 0.00000 - 265 215s 8604 212 0.00000 27 270 - 0.00000 - 266 220s 8823 227 infeasible 31 - 0.00000 - 266 225s 9049 233 0.00000 29 214 - 0.00000 - 265 230s 9261 237 infeasible 30 - 0.00000 - 265 235s 9493 257 0.00000 24 310 - 0.00000 - 265 240s 9687 249 infeasible 27 - 0.00000 - 266 245s 9873 259 0.00000 31 314 - 0.00000 - 266 250s 10097 273 0.00000 32 311 - 0.00000 - 266 255s 10282 290 0.00000 27 309 - 0.00000 - 267 260s 10475 303 infeasible 24 - 0.00000 - 267 265s 10677 329 infeasible 29 - 0.00000 - 267 270s 10856 332 infeasible 26 - 0.00000 - 268 275s 11037 335 0.00000 24 320 - 0.00000 - 269 280s Cutting planes: Clique: 7 Zero half: 7 Explored 11243 nodes (3095347 simplex iterations) in 284.63 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