current bounds on the number of colors: 0 -- 142 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 12:25:04 2012 Optimize a model with 71426 rows, 11086 columns and 223934 nonzeros Presolve time: 0.20s Presolved: 71426 rows, 11086 columns, 223934 nonzeros Variable types: 0 continuous, 11086 integer (11086 binary) Root relaxation: objective 0.000000e+00, 327 iterations, 0.08 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 (735 simplex iterations) in 0.39 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 -- 71 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 12:25:05 2012 Optimize a model with 35282 rows, 5974 columns and 110390 nonzeros Presolve time: 0.15s Presolved: 35282 rows, 5974 columns, 110390 nonzeros Variable types: 0 continuous, 5974 integer (5974 binary) Root relaxation: objective 0.000000e+00, 355 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 (649 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 -- 35 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 12:25:06 2012 Optimize a model with 17210 rows, 3418 columns and 53618 nonzeros Presolve time: 0.06s Presolved: 17210 rows, 3418 columns, 53618 nonzeros Variable types: 0 continuous, 3418 integer (3418 binary) Root relaxation: objective 0.000000e+00, 401 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 (793 simplex iterations) in 0.11 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 12:25:06 2012 Optimize a model with 8174 rows, 2140 columns and 25232 nonzeros Presolve time: 0.02s Presolved: 8174 rows, 2140 columns, 25232 nonzeros Variable types: 0 continuous, 2140 integer (2140 binary) Root relaxation: objective 0.000000e+00, 288 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 (1197 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 12:25:06 2012 Optimize a model with 4158 rows, 1572 columns and 12616 nonzeros Presolve time: 0.01s Presolved: 4158 rows, 1572 columns, 12616 nonzeros Variable types: 0 continuous, 1572 integer (1572 binary) Root relaxation: objective 0.000000e+00, 312 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 174 - 0.00000 - - 0s 0 0 0.00000 0 176 - 0.00000 - - 1s 0 0 0.00000 0 468 - 0.00000 - - 1s 0 0 0.00000 0 457 - 0.00000 - - 2s 0 0 0.00000 0 466 - 0.00000 - - 2s 0 0 0.00000 0 444 - 0.00000 - - 3s 0 0 0.00000 0 437 - 0.00000 - - 5s 0 0 0.00000 0 430 - 0.00000 - - 6s 0 0 0.00000 0 437 - 0.00000 - - 7s 0 0 0.00000 0 429 - 0.00000 - - 9s 0 0 0.00000 0 437 - 0.00000 - - 10s 0 0 0.00000 0 445 - 0.00000 - - 11s 0 0 0.00000 0 443 - 0.00000 - - 11s 0 2 0.00000 0 443 - 0.00000 - - 12s Cutting planes: Clique: 19 Zero half: 17 Explored 13 nodes (53508 simplex iterations) in 13.31 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 12:25:19 2012 Optimize a model with 6166 rows, 1856 columns and 18924 nonzeros Presolve time: 0.02s Presolved: 6166 rows, 1856 columns, 18924 nonzeros Variable types: 0 continuous, 1856 integer (1856 binary) Root relaxation: objective 0.000000e+00, 304 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 278 - 0.00000 - - 0s 0 0 0.00000 0 176 - 0.00000 - - 0s Cutting planes: Clique: 9 Explored 0 nodes (5665 simplex iterations) in 0.66 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 12:25:20 2012 Optimize a model with 5162 rows, 1714 columns and 15770 nonzeros Presolve time: 0.01s Presolved: 5162 rows, 1714 columns, 15770 nonzeros Variable types: 0 continuous, 1714 integer (1714 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.00000 0 284 - 0.00000 - - 0s 0 0 0.00000 0 223 - 0.00000 - - 0s 0 0 0.00000 0 390 - 0.00000 - - 1s 0 0 0.00000 0 389 - 0.00000 - - 1s 0 0 0.00000 0 387 - 0.00000 - - 2s 0 0 0.00000 0 385 - 0.00000 - - 2s 0 0 0.00000 0 397 - 0.00000 - - 2s 0 0 0.00000 0 390 - 0.00000 - - 3s 0 0 0.00000 0 389 - 0.00000 - - 4s 0 0 0.00000 0 383 - 0.00000 - - 4s 0 0 0.00000 0 327 - 0.00000 - - 6s 0 0 0.00000 0 322 - 0.00000 - - 7s 0 0 0.00000 0 324 - 0.00000 - - 8s 0 0 0.00000 0 308 - 0.00000 - - 9s 0 0 0.00000 0 306 - 0.00000 - - 10s 0 0 0.00000 0 325 - 0.00000 - - 11s 0 0 0.00000 0 371 - 0.00000 - - 12s 0 0 0.00000 0 371 - 0.00000 - - 12s 0 2 0.00000 0 371 - 0.00000 - - 13s 53 19 infeasible 23 - 0.00000 - 242 15s 442 30 0.00000 29 310 - 0.00000 - 151 20s 803 34 0.00000 15 390 - 0.00000 - 145 26s 805 36 0.00000 9 398 - 0.00000 - 144 31s 807 37 0.00000 27 208 - 0.00000 - 144 35s 810 39 0.00000 20 284 - 0.00000 - 143 41s 813 41 0.00000 7 302 - 0.00000 - 143 45s 830 50 0.00000 21 364 - 0.00000 - 205 50s 940 30 infeasible 25 - 0.00000 - 218 55s 1088 34 0.00000 31 334 - 0.00000 - 231 60s 1228 42 0.00000 31 319 - 0.00000 - 241 65s 1361 71 infeasible 27 - 0.00000 - 250 70s 1502 80 infeasible 28 - 0.00000 - 257 75s 1623 91 0.00000 24 303 - 0.00000 - 265 80s 1728 92 infeasible 32 - 0.00000 - 275 85s 1847 97 infeasible 33 - 0.00000 - 281 90s 1964 86 infeasible 29 - 0.00000 - 288 95s 2088 106 infeasible 30 - 0.00000 - 291 100s 2207 103 0.00000 35 322 - 0.00000 - 297 105s 2329 103 infeasible 29 - 0.00000 - 301 110s 2449 121 infeasible 28 - 0.00000 - 305 115s 2564 124 infeasible 27 - 0.00000 - 309 120s 2686 128 infeasible 32 - 0.00000 - 313 125s 2815 149 0.00000 28 314 - 0.00000 - 315 130s 2938 130 infeasible 37 - 0.00000 - 317 135s 3054 150 infeasible 32 - 0.00000 - 320 140s 3177 149 infeasible 32 - 0.00000 - 322 145s 3292 152 infeasible 30 - 0.00000 - 324 150s 3401 147 0.00000 30 344 - 0.00000 - 327 155s 3530 132 infeasible 28 - 0.00000 - 329 160s 3646 132 infeasible 28 - 0.00000 - 331 165s 3780 132 infeasible 33 - 0.00000 - 332 170s 3905 129 infeasible 28 - 0.00000 - 334 175s 4045 127 0.00000 25 331 - 0.00000 - 334 180s 4178 126 0.00000 26 336 - 0.00000 - 335 185s 4294 124 0.00000 36 230 - 0.00000 - 337 190s 4427 129 0.00000 27 348 - 0.00000 - 338 195s 4548 136 infeasible 33 - 0.00000 - 339 200s 4658 130 infeasible 31 - 0.00000 - 342 205s 4763 135 infeasible 33 - 0.00000 - 344 210s 4871 137 0.00000 31 351 - 0.00000 - 346 215s 4998 136 infeasible 26 - 0.00000 - 347 220s 5130 138 infeasible 27 - 0.00000 - 347 225s 5251 139 infeasible 28 - 0.00000 - 348 230s 5366 134 infeasible 30 - 0.00000 - 350 235s 5497 131 infeasible 30 - 0.00000 - 350 240s 5616 146 0.00000 31 242 - 0.00000 - 351 245s 5762 138 infeasible 28 - 0.00000 - 351 250s 5882 144 0.00000 31 343 - 0.00000 - 351 255s 6009 143 0.00000 37 338 - 0.00000 - 351 260s 6135 147 infeasible 32 - 0.00000 - 352 265s 6279 159 infeasible 40 - 0.00000 - 351 270s 6395 151 infeasible 32 - 0.00000 - 353 275s 6546 142 infeasible 27 - 0.00000 - 352 280s Cutting planes: Clique: 5 Zero half: 9 Explored 6600 nodes (2383187 simplex iterations) in 281.94 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