current bounds on the number of colors: 0 -- 129 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 01:37:26 2012 Optimize a model with 54849 rows, 9111 columns and 172416 nonzeros Presolve time: 0.17s Presolved: 54849 rows, 9111 columns, 172416 nonzeros Variable types: 0 continuous, 9111 integer (9111 binary) Root relaxation: objective 0.000000e+00, 336 iterations, 0.06 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 (643 simplex iterations) in 0.30 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 -- 64 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 01:37:27 2012 Optimize a model with 27489 rows, 4983 columns and 86208 nonzeros Presolve time: 0.12s Presolved: 27489 rows, 4983 columns, 86208 nonzeros Variable types: 0 continuous, 4983 integer (4983 binary) Root relaxation: objective 0.000000e+00, 312 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 (619 simplex iterations) in 0.19 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 -- 32 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 01:37:27 2012 Optimize a model with 13809 rows, 2919 columns and 43104 nonzeros Presolve time: 0.05s Presolved: 13809 rows, 2919 columns, 43104 nonzeros Variable types: 0 continuous, 2919 integer (2919 binary) Root relaxation: objective 0.000000e+00, 263 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 (525 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 -- 16 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 01:37:27 2012 Optimize a model with 6969 rows, 1887 columns and 21552 nonzeros Presolve time: 0.02s Presolved: 6969 rows, 1887 columns, 21552 nonzeros Variable types: 0 continuous, 1887 integer (1887 binary) Root relaxation: objective 0.000000e+00, 272 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 (619 simplex iterations) in 0.04 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 01:37:27 2012 Optimize a model with 3549 rows, 1371 columns and 10776 nonzeros Presolve time: 0.01s Presolved: 3549 rows, 1371 columns, 10776 nonzeros Variable types: 0 continuous, 1371 integer (1371 binary) Root relaxation: objective 0.000000e+00, 285 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 256 - 0.00000 - - 0s 0 0 0.00000 0 250 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (4935 simplex iterations) in 0.76 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound 1.000000000000e+00, gap - current bounds on the number of colors: 4 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 01:37:28 2012 Optimize a model with 5259 rows, 1629 columns and 16164 nonzeros Presolve time: 0.01s Presolved: 5259 rows, 1629 columns, 16164 nonzeros Variable types: 0 continuous, 1629 integer (1629 binary) Root relaxation: objective 0.000000e+00, 266 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 246 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Cutting planes: Gomory: 3 Clique: 306 MIR: 11 Zero half: 386 Explored 0 nodes (3761 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: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 01:37:29 2012 Optimize a model with 4404 rows, 1500 columns and 13470 nonzeros Presolve time: 0.01s Presolved: 4404 rows, 1500 columns, 13470 nonzeros Variable types: 0 continuous, 1500 integer (1500 binary) Root relaxation: objective 0.000000e+00, 273 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 258 - 0.00000 - - 0s 0 0 0.00000 0 242 - 0.00000 - - 0s 0 0 0.00000 0 305 - 0.00000 - - 1s 0 0 0.00000 0 360 - 0.00000 - - 1s 0 0 0.00000 0 303 - 0.00000 - - 2s 0 0 0.00000 0 327 - 0.00000 - - 2s 0 0 0.00000 0 262 - 0.00000 - - 3s 0 0 0.00000 0 259 - 0.00000 - - 4s 0 0 0.00000 0 268 - 0.00000 - - 4s 0 0 0.00000 0 279 - 0.00000 - - 5s 0 0 0.00000 0 279 - 0.00000 - - 5s 0 2 0.00000 0 279 - 0.00000 - - 6s 390 30 infeasible 16 - 0.00000 - 123 10s 962 36 infeasible 25 - 0.00000 - 123 15s 1106 53 0.00000 27 311 - 0.00000 - 122 21s 1109 55 0.00000 3 312 - 0.00000 - 121 25s 1112 57 0.00000 11 320 - 0.00000 - 121 30s 1117 61 0.00000 18 200 - 0.00000 - 120 35s 1130 67 0.00000 19 306 - 0.00000 - 165 40s 1274 67 0.00000 32 303 - 0.00000 - 176 45s 1470 79 0.00000 37 311 - 0.00000 - 189 50s 1655 80 infeasible 35 - 0.00000 - 200 55s 1838 105 0.00000 31 289 - 0.00000 - 208 60s 2026 119 0.00000 24 304 - 0.00000 - 215 65s 2233 140 0.00000 24 312 - 0.00000 - 218 70s 2422 175 infeasible 33 - 0.00000 - 223 75s 2598 207 infeasible 31 - 0.00000 - 228 80s 2772 235 0.00000 35 307 - 0.00000 - 232 85s 2947 228 infeasible 35 - 0.00000 - 236 90s 3130 215 infeasible 28 - 0.00000 - 241 95s 3311 228 0.00000 40 216 - 0.00000 - 244 100s 3508 235 infeasible 36 - 0.00000 - 247 105s 3706 239 infeasible 34 - 0.00000 - 249 110s 3909 244 infeasible 37 - 0.00000 - 251 115s 4082 249 0.00000 39 245 - 0.00000 - 254 120s 4257 254 0.00000 30 310 - 0.00000 - 257 125s 4444 255 infeasible 35 - 0.00000 - 259 130s 4633 272 infeasible 26 - 0.00000 - 260 135s 4851 286 0.00000 28 291 - 0.00000 - 260 140s 5024 293 0.00000 33 304 - 0.00000 - 262 145s 5229 302 0.00000 27 318 - 0.00000 - 262 150s 5418 307 0.00000 24 318 - 0.00000 - 263 155s 5611 316 0.00000 28 224 - 0.00000 - 264 160s 5808 317 infeasible 42 - 0.00000 - 265 165s 6016 327 0.00000 33 261 - 0.00000 - 265 170s 6225 320 0.00000 34 310 - 0.00000 - 266 175s 6407 322 0.00000 35 292 - 0.00000 - 267 180s 6604 319 infeasible 31 - 0.00000 - 268 185s 6776 327 infeasible 29 - 0.00000 - 269 190s 6975 364 0.00000 30 300 - 0.00000 - 270 195s 7155 354 0.00000 33 284 - 0.00000 - 271 200s 7361 378 infeasible 31 - 0.00000 - 271 205s 7571 372 0.00000 28 306 - 0.00000 - 271 210s 7748 369 infeasible 31 - 0.00000 - 272 215s 7931 376 infeasible 31 - 0.00000 - 273 220s 8125 374 infeasible 31 - 0.00000 - 273 225s 8304 369 infeasible 33 - 0.00000 - 274 230s 8494 375 0.00000 32 291 - 0.00000 - 275 235s 8708 383 infeasible 31 - 0.00000 - 274 240s 8889 382 0.00000 27 307 - 0.00000 - 275 245s 9070 387 0.00000 36 310 - 0.00000 - 276 250s 9235 378 0.00000 34 304 - 0.00000 - 277 255s 9427 370 infeasible 34 - 0.00000 - 277 260s 9589 372 0.00000 38 287 - 0.00000 - 278 265s 9771 364 0.00000 26 287 - 0.00000 - 279 270s 9970 379 infeasible 39 - 0.00000 - 279 275s 10158 357 infeasible 43 - 0.00000 - 279 280s 10328 353 infeasible 30 - 0.00000 - 280 285s 10513 350 infeasible 32 - 0.00000 - 280 290s 10688 343 infeasible 31 - 0.00000 - 281 295s Cutting planes: Clique: 3 Zero half: 11 Explored 10711 nodes (3049844 simplex iterations) in 295.66 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