current bounds on the number of colors: 0 -- 149 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:04:10 2012 Optimize a model with 79699 rows, 12101 columns and 249676 nonzeros Presolve time: 0.23s Presolved: 79699 rows, 12101 columns, 249676 nonzeros Variable types: 0 continuous, 12101 integer (12101 binary) Root relaxation: objective 0.000000e+00, 362 iterations, 0.09 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 (801 simplex iterations) in 0.44 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 -- 74 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:04:11 2012 Optimize a model with 39924 rows, 6588 columns and 124838 nonzeros Presolve time: 0.15s Presolved: 39924 rows, 6588 columns, 124838 nonzeros Variable types: 0 continuous, 6588 integer (6588 binary) Root relaxation: objective 0.000000e+00, 493 iterations, 0.05 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 (912 simplex iterations) in 0.25 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 -- 37 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:04:12 2012 Optimize a model with 19499 rows, 3757 columns and 60732 nonzeros Presolve time: 0.07s Presolved: 19499 rows, 3757 columns, 60732 nonzeros Variable types: 0 continuous, 3757 integer (3757 binary) Root relaxation: objective 0.000000e+00, 441 iterations, 0.02 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 (875 simplex iterations) in 0.12 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 -- 18 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:04:12 2012 Optimize a model with 9824 rows, 2416 columns and 30366 nonzeros Presolve time: 0.03s Presolved: 9824 rows, 2416 columns, 30366 nonzeros Variable types: 0 continuous, 2416 integer (2416 binary) Root relaxation: objective 0.000000e+00, 305 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 (1207 simplex iterations) in 0.10 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 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:04:12 2012 Optimize a model with 4449 rows, 1671 columns and 13496 nonzeros Presolve time: 0.01s Presolved: 4449 rows, 1671 columns, 13496 nonzeros Variable types: 0 continuous, 1671 integer (1671 binary) Root relaxation: objective 0.000000e+00, 323 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 212 - 0.00000 - - 0s 0 0 0.00000 0 285 - 0.00000 - - 1s 0 0 0.00000 0 476 - 0.00000 - - 2s 0 0 0.00000 0 478 - 0.00000 - - 3s 0 0 0.00000 0 479 - 0.00000 - - 3s 0 0 0.00000 0 475 - 0.00000 - - 4s 0 0 0.00000 0 474 - 0.00000 - - 5s 0 0 0.00000 0 485 - 0.00000 - - 5s 0 0 0.00000 0 480 - 0.00000 - - 6s 0 0 0.00000 0 465 - 0.00000 - - 8s 0 0 0.00000 0 460 - 0.00000 - - 10s 0 0 0.00000 0 458 - 0.00000 - - 11s 0 0 0.00000 0 451 - 0.00000 - - 12s 0 0 0.00000 0 458 - 0.00000 - - 13s 0 0 0.00000 0 458 - 0.00000 - - 14s 0 2 0.00000 0 458 - 0.00000 - - 15s Cutting planes: Clique: 21 Zero half: 14 Explored 11 nodes (71299 simplex iterations) in 16.47 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 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:04:29 2012 Optimize a model with 6599 rows, 1969 columns and 20244 nonzeros Presolve time: 0.02s Presolved: 6599 rows, 1969 columns, 20244 nonzeros Variable types: 0 continuous, 1969 integer (1969 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 158 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Cutting planes: Gomory: 1 Clique: 52 MIR: 1 Zero half: 105 Explored 0 nodes (5264 simplex iterations) in 0.52 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 18:04:30 2012 Optimize a model with 5524 rows, 1820 columns and 16870 nonzeros Presolve time: 0.01s Presolved: 5524 rows, 1820 columns, 16870 nonzeros Variable types: 0 continuous, 1820 integer (1820 binary) Root relaxation: objective 0.000000e+00, 301 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 292 - 0.00000 - - 0s 0 0 0.00000 0 138 - 0.00000 - - 1s 0 0 0.00000 0 427 - 0.00000 - - 2s 0 0 0.00000 0 414 - 0.00000 - - 2s 0 0 0.00000 0 405 - 0.00000 - - 2s 0 0 0.00000 0 396 - 0.00000 - - 3s 0 0 0.00000 0 420 - 0.00000 - - 3s 0 0 0.00000 0 370 - 0.00000 - - 4s 0 0 0.00000 0 384 - 0.00000 - - 5s 0 0 0.00000 0 384 - 0.00000 - - 6s 0 0 0.00000 0 384 - 0.00000 - - 8s 0 0 0.00000 0 368 - 0.00000 - - 9s 0 0 0.00000 0 393 - 0.00000 - - 10s 0 0 0.00000 0 393 - 0.00000 - - 10s 0 2 0.00000 0 393 - 0.00000 - - 12s 111 17 infeasible 15 - 0.00000 - 249 15s 373 55 infeasible 22 - 0.00000 - 209 20s 696 40 0.00000 17 336 - 0.00000 - 186 25s 959 37 0.00000 22 305 - 0.00000 - 186 30s 1113 37 0.00000 9 427 - 0.00000 - 180 35s 1117 40 0.00000 5 279 - 0.00000 - 180 41s 1119 41 0.00000 22 312 - 0.00000 - 180 45s 1123 44 0.00000 23 324 - 0.00000 - 179 51s 1131 47 0.00000 14 394 - 0.00000 - 218 55s 1160 59 infeasible 28 - 0.00000 - 220 60s 1281 70 infeasible 38 - 0.00000 - 230 65s 1410 89 infeasible 30 - 0.00000 - 240 70s 1529 88 infeasible 37 - 0.00000 - 250 75s 1644 89 0.00000 26 286 - 0.00000 - 260 80s 1753 92 0.00000 24 334 - 0.00000 - 268 85s 1879 118 infeasible 34 - 0.00000 - 273 90s 1985 128 0.00000 29 363 - 0.00000 - 279 95s 2099 132 infeasible 34 - 0.00000 - 285 100s 2221 134 infeasible 26 - 0.00000 - 289 105s 2347 152 infeasible 32 - 0.00000 - 293 110s 2466 161 0.00000 28 327 - 0.00000 - 297 115s 2581 164 infeasible 34 - 0.00000 - 302 120s 2698 171 0.00000 30 350 - 0.00000 - 306 125s 2814 183 infeasible 33 - 0.00000 - 309 130s 2939 182 infeasible 34 - 0.00000 - 311 135s 3065 210 infeasible 35 - 0.00000 - 312 140s 3168 207 0.00000 27 375 - 0.00000 - 316 145s 3281 214 infeasible 32 - 0.00000 - 319 150s 3398 217 0.00000 30 334 - 0.00000 - 321 155s 3505 206 0.00000 24 354 - 0.00000 - 324 160s 3607 204 0.00000 36 343 - 0.00000 - 327 165s 3727 214 0.00000 39 343 - 0.00000 - 329 170s 3847 206 infeasible 35 - 0.00000 - 330 175s 3973 214 0.00000 37 345 - 0.00000 - 332 180s 4092 207 infeasible 32 - 0.00000 - 333 185s 4192 193 infeasible 26 - 0.00000 - 336 190s 4309 196 infeasible 33 - 0.00000 - 338 195s 4413 186 infeasible 36 - 0.00000 - 340 200s 4528 181 infeasible 28 - 0.00000 - 341 205s 4639 178 infeasible 34 - 0.00000 - 343 210s 4749 178 infeasible 27 - 0.00000 - 345 215s 4853 170 infeasible 35 - 0.00000 - 347 220s 4972 165 infeasible 27 - 0.00000 - 348 225s 5084 169 infeasible 30 - 0.00000 - 349 230s 5196 165 infeasible 30 - 0.00000 - 350 235s 5299 156 infeasible 30 - 0.00000 - 351 240s 5422 149 0.00000 30 354 - 0.00000 - 352 245s 5527 142 0.00000 30 342 - 0.00000 - 353 250s 5646 139 infeasible 32 - 0.00000 - 354 255s 5760 137 infeasible 30 - 0.00000 - 355 260s 5871 136 infeasible 27 - 0.00000 - 356 265s 5982 133 0.00000 22 362 - 0.00000 - 357 270s 6070 135 0.00000 31 361 - 0.00000 - 359 275s Cutting planes: Clique: 9 Zero half: 9 Explored 6155 nodes (2257659 simplex iterations) in 278.41 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