current bounds on the number of colors: 0 -- 135 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 06:31:04 2012 Optimize a model with 62981 rows, 9983 columns and 197583 nonzeros Presolve time: 0.19s Presolved: 62981 rows, 9983 columns, 197583 nonzeros Variable types: 0 continuous, 9983 integer (9983 binary) Root relaxation: objective 0.000000e+00, 336 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 (645 simplex iterations) in 0.34 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 06:31:05 2012 Optimize a model with 31089 rows, 5393 columns and 97317 nonzeros Presolve time: 0.14s Presolved: 31089 rows, 5393 columns, 97317 nonzeros Variable types: 0 continuous, 5393 integer (5393 binary) Root relaxation: objective 0.000000e+00, 422 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 (788 simplex iterations) in 0.22 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 06:31:05 2012 Optimize a model with 15143 rows, 3098 columns and 47184 nonzeros Presolve time: 0.05s Presolved: 15143 rows, 3098 columns, 47184 nonzeros Variable types: 0 continuous, 3098 integer (3098 binary) Root relaxation: objective 0.000000e+00, 271 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 (573 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 06:31:05 2012 Optimize a model with 7639 rows, 2018 columns and 23592 nonzeros Presolve time: 0.02s Presolved: 7639 rows, 2018 columns, 23592 nonzeros Variable types: 0 continuous, 2018 integer (2018 binary) Root relaxation: objective 0.000000e+00, 287 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 (1162 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 06:31:06 2012 Optimize a model with 3887 rows, 1478 columns and 11796 nonzeros Presolve time: 0.01s Presolved: 3887 rows, 1478 columns, 11796 nonzeros Variable types: 0 continuous, 1478 integer (1478 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 270 - 0.00000 - - 0s 0 0 0.00000 0 255 - 0.00000 - - 0s 0 0 0.00000 0 399 - 0.00000 - - 1s 0 0 0.00000 0 420 - 0.00000 - - 2s 0 0 0.00000 0 410 - 0.00000 - - 3s 0 0 0.00000 0 398 - 0.00000 - - 4s 0 0 0.00000 0 394 - 0.00000 - - 5s 0 0 0.00000 0 390 - 0.00000 - - 7s 0 0 0.00000 0 389 - 0.00000 - - 8s 0 0 0.00000 0 387 - 0.00000 - - 9s 0 0 0.00000 0 387 - 0.00000 - - 10s 0 0 0.00000 0 385 - 0.00000 - - 11s 0 0 0.00000 0 389 - 0.00000 - - 12s 0 0 0.00000 0 401 - 0.00000 - - 13s 0 0 0.00000 0 401 - 0.00000 - - 13s 0 2 0.00000 0 401 - 0.00000 - - 14s 9 3 0.00000 3 400 - 0.00000 - 644 15s Cutting planes: Clique: 18 Zero half: 15 Explored 17 nodes (54858 simplex iterations) in 15.26 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 06:31:21 2012 Optimize a model with 5763 rows, 1748 columns and 17694 nonzeros Presolve time: 0.02s Presolved: 5763 rows, 1748 columns, 17694 nonzeros Variable types: 0 continuous, 1748 integer (1748 binary) Root relaxation: objective 0.000000e+00, 280 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 191 - 0.00000 - - 0s 0 0 0.00000 0 158 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (7191 simplex iterations) in 0.88 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 06:31:22 2012 Optimize a model with 4825 rows, 1613 columns and 14745 nonzeros Presolve time: 0.01s Presolved: 4825 rows, 1613 columns, 14745 nonzeros Variable types: 0 continuous, 1613 integer (1613 binary) Root relaxation: objective 0.000000e+00, 284 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 268 - 0.00000 - - 0s 0 0 0.00000 0 264 - 0.00000 - - 0s 0 0 0.00000 0 360 - 0.00000 - - 1s 0 0 0.00000 0 354 - 0.00000 - - 1s 0 0 0.00000 0 388 - 0.00000 - - 1s 0 0 0.00000 0 342 - 0.00000 - - 2s 0 0 0.00000 0 293 - 0.00000 - - 4s 0 0 0.00000 0 293 - 0.00000 - - 4s 0 0 0.00000 0 308 - 0.00000 - - 5s 0 0 0.00000 0 295 - 0.00000 - - 6s 0 0 0.00000 0 292 - 0.00000 - - 6s 0 0 0.00000 0 310 - 0.00000 - - 7s 0 0 0.00000 0 310 - 0.00000 - - 7s 0 2 0.00000 0 310 - 0.00000 - - 8s 39 27 0.00000 23 288 - 0.00000 - 274 10s 539 55 0.00000 30 291 - 0.00000 - 127 15s 609 65 0.00000 23 266 - 0.00000 - 126 20s 612 67 0.00000 26 260 - 0.00000 - 125 25s 617 71 0.00000 6 274 - 0.00000 - 124 31s 654 89 infeasible 32 - 0.00000 - 209 35s 843 57 infeasible 34 - 0.00000 - 223 40s 1005 69 infeasible 34 - 0.00000 - 239 45s 1199 69 0.00000 36 309 - 0.00000 - 247 50s 1392 76 0.00000 36 307 - 0.00000 - 251 55s 1587 89 infeasible 36 - 0.00000 - 253 60s 1730 108 0.00000 39 290 - 0.00000 - 261 65s 1898 106 infeasible 41 - 0.00000 - 266 70s 2076 106 0.00000 31 264 - 0.00000 - 269 75s 2260 96 0.00000 33 292 - 0.00000 - 272 80s 2410 96 0.00000 33 311 - 0.00000 - 276 85s 2591 95 infeasible 31 - 0.00000 - 277 90s 2782 96 0.00000 29 332 - 0.00000 - 278 95s 2971 105 0.00000 35 314 - 0.00000 - 278 100s 3126 114 infeasible 34 - 0.00000 - 281 105s 3291 111 0.00000 35 319 - 0.00000 - 282 110s 3487 127 0.00000 32 305 - 0.00000 - 282 115s 3630 122 0.00000 30 306 - 0.00000 - 285 120s 3807 123 infeasible 38 - 0.00000 - 286 125s 3978 132 0.00000 36 299 - 0.00000 - 287 130s 4129 115 0.00000 32 301 - 0.00000 - 289 135s 4331 129 infeasible 32 - 0.00000 - 288 140s 4492 120 0.00000 32 303 - 0.00000 - 289 145s 4664 126 infeasible 37 - 0.00000 - 289 150s 4830 128 infeasible 37 - 0.00000 - 290 155s 4995 133 0.00000 23 324 - 0.00000 - 291 160s 5159 145 infeasible 32 - 0.00000 - 292 165s 5319 159 0.00000 29 302 - 0.00000 - 293 170s 5491 145 0.00000 30 322 - 0.00000 - 294 175s 5661 141 0.00000 32 306 - 0.00000 - 294 180s 5825 129 infeasible 29 - 0.00000 - 295 185s 5966 136 0.00000 35 340 - 0.00000 - 296 190s 6116 148 0.00000 34 299 - 0.00000 - 297 195s 6289 145 infeasible 34 - 0.00000 - 298 200s 6452 158 infeasible 38 - 0.00000 - 298 205s 6614 162 infeasible 32 - 0.00000 - 298 210s 6769 171 0.00000 34 224 - 0.00000 - 299 215s 6933 173 0.00000 33 226 - 0.00000 - 299 220s 7086 170 0.00000 28 337 - 0.00000 - 300 225s 7243 175 infeasible 33 - 0.00000 - 301 230s 7424 176 infeasible 35 - 0.00000 - 300 235s 7596 196 infeasible 39 - 0.00000 - 300 240s 7754 200 0.00000 35 309 - 0.00000 - 301 245s 7931 197 infeasible 34 - 0.00000 - 301 250s 8102 198 infeasible 38 - 0.00000 - 301 255s 8276 202 0.00000 25 317 - 0.00000 - 301 260s 8502 220 infeasible 42 - 0.00000 - 299 265s 8700 214 0.00000 36 252 - 0.00000 - 299 270s 8876 222 infeasible 39 - 0.00000 - 299 275s 9045 223 0.00000 37 291 - 0.00000 - 299 280s Cutting planes: Clique: 10 Zero half: 17 Explored 9051 nodes (2751703 simplex iterations) in 280.21 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