current bounds on the number of colors: 0 -- 138 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 08:39:57 2012 Optimize a model with 65205 rows, 10465 columns and 204723 nonzeros Presolve time: 0.19s Presolved: 65205 rows, 10465 columns, 204723 nonzeros Variable types: 0 continuous, 10465 integer (10465 binary) Root relaxation: objective 0.000000e+00, 347 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 (860 simplex iterations) in 0.41 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 -- 69 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 08:39:58 2012 Optimize a model with 32200 rows, 5635 columns and 100878 nonzeros Presolve time: 0.15s Presolved: 32200 rows, 5635 columns, 100878 nonzeros Variable types: 0 continuous, 5635 integer (5635 binary) Root relaxation: objective 0.000000e+00, 430 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 (814 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 -- 34 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 08:39:59 2012 Optimize a model with 16169 rows, 3289 columns and 50439 nonzeros Presolve time: 0.05s Presolved: 16169 rows, 3289 columns, 50439 nonzeros Variable types: 0 continuous, 3289 integer (3289 binary) Root relaxation: objective 0.000000e+00, 283 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 (567 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 08:39:59 2012 Optimize a model with 7682 rows, 2047 columns and 23736 nonzeros Presolve time: 0.02s Presolved: 7682 rows, 2047 columns, 23736 nonzeros Variable types: 0 continuous, 2047 integer (2047 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 (1526 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 08:39:59 2012 Optimize a model with 3910 rows, 1495 columns and 11868 nonzeros Presolve time: 0.01s Presolved: 3910 rows, 1495 columns, 11868 nonzeros Variable types: 0 continuous, 1495 integer (1495 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 276 - 0.00000 - - 0s 0 0 0.00000 0 262 - 0.00000 - - 0s 0 0 0.00000 0 430 - 0.00000 - - 1s 0 0 0.00000 0 430 - 0.00000 - - 1s 0 0 0.00000 0 420 - 0.00000 - - 2s 0 0 0.00000 0 429 - 0.00000 - - 3s 0 0 0.00000 0 419 - 0.00000 - - 4s 0 0 0.00000 0 419 - 0.00000 - - 5s 0 0 0.00000 0 417 - 0.00000 - - 6s 0 0 0.00000 0 428 - 0.00000 - - 7s 0 0 0.00000 0 428 - 0.00000 - - 8s 0 2 0.00000 0 428 - 0.00000 - - 9s 12 4 infeasible 7 - 0.00000 - 634 10s Cutting planes: Clique: 24 Zero half: 17 Explored 37 nodes (49958 simplex iterations) in 11.03 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 08:40:10 2012 Optimize a model with 5796 rows, 1771 columns and 17802 nonzeros Presolve time: 0.02s Presolved: 5796 rows, 1771 columns, 17802 nonzeros Variable types: 0 continuous, 1771 integer (1771 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.00000 0 148 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Cutting planes: Gomory: 3 Clique: 32 Zero half: 66 Explored 0 nodes (3338 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: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 08:40:11 2012 Optimize a model with 4853 rows, 1633 columns and 14835 nonzeros Presolve time: 0.01s Presolved: 4853 rows, 1633 columns, 14835 nonzeros Variable types: 0 continuous, 1633 integer (1633 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 276 - 0.00000 - - 0s 0 0 0.00000 0 254 - 0.00000 - - 0s 0 0 0.00000 0 305 - 0.00000 - - 1s 0 0 0.00000 0 384 - 0.00000 - - 1s 0 0 0.00000 0 380 - 0.00000 - - 2s 0 0 0.00000 0 302 - 0.00000 - - 3s 0 0 0.00000 0 226 - 0.00000 - - 4s 0 0 0.00000 0 233 - 0.00000 - - 5s 0 0 0.00000 0 312 - 0.00000 - - 5s 0 0 0.00000 0 403 - 0.00000 - - 6s 0 0 0.00000 0 366 - 0.00000 - - 8s 0 0 0.00000 0 354 - 0.00000 - - 9s 0 0 0.00000 0 360 - 0.00000 - - 10s 0 0 0.00000 0 335 - 0.00000 - - 10s 0 2 0.00000 0 335 - 0.00000 - - 11s 232 16 0.00000 12 246 - 0.00000 - 179 15s 603 51 0.00000 20 305 - 0.00000 - 153 20s 606 53 0.00000 24 289 - 0.00000 - 153 25s 609 55 0.00000 26 297 - 0.00000 - 152 31s 612 57 0.00000 24 295 - 0.00000 - 151 35s 766 102 infeasible 38 - 0.00000 - 227 40s 937 116 0.00000 37 299 - 0.00000 - 242 45s 1153 126 infeasible 36 - 0.00000 - 245 50s 1345 122 infeasible 36 - 0.00000 - 251 55s 1536 145 infeasible 27 - 0.00000 - 256 60s 1733 180 0.00000 37 301 - 0.00000 - 258 65s 1942 191 infeasible 35 - 0.00000 - 258 70s 2176 195 infeasible 37 - 0.00000 - 256 75s 2382 203 infeasible 35 - 0.00000 - 256 80s 2546 219 infeasible 38 - 0.00000 - 260 85s 2713 220 infeasible 27 - 0.00000 - 264 90s 2912 235 infeasible 39 - 0.00000 - 264 95s 3125 224 infeasible 32 - 0.00000 - 264 100s 3312 237 0.00000 39 298 - 0.00000 - 265 105s 3526 245 infeasible 38 - 0.00000 - 265 110s 3723 250 infeasible 37 - 0.00000 - 266 115s 3941 262 infeasible 46 - 0.00000 - 266 120s 4122 293 0.00000 39 321 - 0.00000 - 267 125s 4282 281 infeasible 32 - 0.00000 - 269 130s 4448 283 0.00000 37 296 - 0.00000 - 272 135s 4617 308 0.00000 36 297 - 0.00000 - 273 140s 4816 329 infeasible 33 - 0.00000 - 274 145s 4999 338 0.00000 38 318 - 0.00000 - 275 150s 5192 333 0.00000 36 313 - 0.00000 - 275 155s 5372 323 infeasible 40 - 0.00000 - 276 160s 5573 324 0.00000 35 234 - 0.00000 - 276 165s 5774 343 0.00000 30 299 - 0.00000 - 275 170s 5982 359 0.00000 35 315 - 0.00000 - 275 175s 6176 361 infeasible 38 - 0.00000 - 275 180s 6370 377 infeasible 35 - 0.00000 - 275 185s 6581 372 infeasible 32 - 0.00000 - 274 190s 6776 363 infeasible 35 - 0.00000 - 275 195s 6961 368 infeasible 35 - 0.00000 - 275 200s 7158 363 infeasible 38 - 0.00000 - 275 205s 7334 347 infeasible 38 - 0.00000 - 276 210s 7531 366 infeasible 36 - 0.00000 - 276 215s 7726 353 0.00000 26 300 - 0.00000 - 277 220s 7936 365 0.00000 37 308 - 0.00000 - 277 225s 8138 349 infeasible 29 - 0.00000 - 277 230s 8326 367 infeasible 31 - 0.00000 - 277 235s 8509 362 infeasible 33 - 0.00000 - 277 240s 8710 393 0.00000 36 305 - 0.00000 - 277 245s 8920 393 infeasible 34 - 0.00000 - 277 250s 9151 396 0.00000 34 307 - 0.00000 - 276 255s 9342 385 infeasible 38 - 0.00000 - 276 260s 9564 391 infeasible 40 - 0.00000 - 275 265s 9757 392 0.00000 34 305 - 0.00000 - 275 270s 9954 405 infeasible 34 - 0.00000 - 275 275s 10165 428 0.00000 32 302 - 0.00000 - 275 280s Cutting planes: Gomory: 1 Clique: 4 Zero half: 17 Explored 10341 nodes (2908572 simplex iterations) in 284.82 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