current bounds on the number of colors: 0 -- 142 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 12:30:04 2012 Optimize a model with 76822 rows, 11162 columns and 240122 nonzeros Presolve time: 0.21s Presolved: 76822 rows, 11162 columns, 240122 nonzeros Variable types: 0 continuous, 11162 integer (11162 binary) Root relaxation: objective 0.000000e+00, 329 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 (738 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 -- 71 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 12:30:05 2012 Optimize a model with 37942 rows, 6050 columns and 118370 nonzeros Presolve time: 0.16s Presolved: 37942 rows, 6050 columns, 118370 nonzeros Variable types: 0 continuous, 6050 integer (6050 binary) Root relaxation: objective 0.000000e+00, 341 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 (870 simplex iterations) in 0.29 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:30:06 2012 Optimize a model with 18502 rows, 3494 columns and 57494 nonzeros Presolve time: 0.06s Presolved: 18502 rows, 3494 columns, 57494 nonzeros Variable types: 0 continuous, 3494 integer (3494 binary) Root relaxation: objective 0.000000e+00, 406 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 (808 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:30:06 2012 Optimize a model with 8782 rows, 2216 columns and 27056 nonzeros Presolve time: 0.02s Presolved: 8782 rows, 2216 columns, 27056 nonzeros Variable types: 0 continuous, 2216 integer (2216 binary) Root relaxation: objective 0.000000e+00, 296 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 (1316 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 12:30:06 2012 Optimize a model with 4462 rows, 1648 columns and 13528 nonzeros Presolve time: 0.01s Presolved: 4462 rows, 1648 columns, 13528 nonzeros Variable types: 0 continuous, 1648 integer (1648 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 214 - 0.00000 - - 0s 0 0 0.00000 0 280 - 0.00000 - - 0s 0 0 0.00000 0 461 - 0.00000 - - 2s 0 0 0.00000 0 466 - 0.00000 - - 2s 0 0 0.00000 0 461 - 0.00000 - - 3s 0 0 0.00000 0 459 - 0.00000 - - 4s 0 0 0.00000 0 459 - 0.00000 - - 5s 0 0 0.00000 0 458 - 0.00000 - - 6s 0 0 0.00000 0 462 - 0.00000 - - 7s 0 0 0.00000 0 464 - 0.00000 - - 8s 0 0 0.00000 0 464 - 0.00000 - - 8s 0 2 0.00000 0 464 - 0.00000 - - 9s 3 1 infeasible 2 - 0.00000 - 1500 10s Cutting planes: Clique: 22 Zero half: 16 Explored 5 nodes (50342 simplex iterations) in 10.05 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:30:17 2012 Optimize a model with 6622 rows, 1932 columns and 20292 nonzeros Presolve time: 0.02s Presolved: 6622 rows, 1932 columns, 20292 nonzeros Variable types: 0 continuous, 1932 integer (1932 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 262 - 0.00000 - - 0s 0 0 0.00000 0 206 - 0.00000 - - 0s 0 0 0.00000 0 300 - 0.00000 - - 2s 0 0 0.00000 0 341 - 0.00000 - - 2s 0 0 0.00000 0 291 - 0.00000 - - 3s 0 0 0.00000 0 281 - 0.00000 - - 4s 0 0 0.00000 0 269 - 0.00000 - - 5s 0 0 0.00000 0 290 - 0.00000 - - 6s 0 0 0.00000 0 283 - 0.00000 - - 7s 0 0 0.00000 0 279 - 0.00000 - - 8s 0 0 0.00000 0 316 - 0.00000 - - 9s 0 0 0.00000 0 420 - 0.00000 - - 10s 0 0 0.00000 0 280 - 0.00000 - - 11s 0 2 0.00000 0 280 - 0.00000 - - 11s 465 196 0.00000 34 154 - 0.00000 - 89.3 15s 615 217 0.00000 11 271 - 0.00000 - 80.8 20s 618 219 0.00000 27 379 - 0.00000 - 80.4 25s 621 221 0.00000 23 315 - 0.00000 - 80.0 31s 626 225 0.00000 28 308 - 0.00000 - 79.4 35s * 700 191 46 0.0000000 0.00000 0.0% 185 37s Cutting planes: Gomory: 1 Zero half: 6 Explored 701 nodes (193825 simplex iterations) in 37.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: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 12:30:54 2012 Optimize a model with 5542 rows, 1790 columns and 16910 nonzeros Presolve time: 0.01s Presolved: 5542 rows, 1790 columns, 16910 nonzeros Variable types: 0 continuous, 1790 integer (1790 binary) Root relaxation: objective 0.000000e+00, 294 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 274 - 0.00000 - - 0s 0 0 0.00000 0 278 - 0.00000 - - 0s 0 0 0.00000 0 248 - 0.00000 - - 1s 0 0 0.00000 0 438 - 0.00000 - - 2s 0 0 0.00000 0 371 - 0.00000 - - 3s 0 0 0.00000 0 396 - 0.00000 - - 5s 0 0 0.00000 0 373 - 0.00000 - - 6s 0 0 0.00000 0 376 - 0.00000 - - 7s 0 0 0.00000 0 391 - 0.00000 - - 8s 0 0 0.00000 0 391 - 0.00000 - - 9s 0 2 0.00000 0 391 - 0.00000 - - 10s 154 54 0.00000 24 350 - 0.00000 - 234 15s 397 92 0.00000 19 316 - 0.00000 - 203 20s 677 93 infeasible 21 - 0.00000 - 190 25s 866 117 0.00000 12 380 - 0.00000 - 197 30s 905 136 0.00000 10 393 - 0.00000 - 194 38s 906 136 0.00000 12 396 - 0.00000 - 194 41s 907 137 0.00000 8 393 - 0.00000 - 194 45s 909 138 0.00000 12 378 - 0.00000 - 193 52s 911 140 0.00000 19 377 - 0.00000 - 193 56s 916 143 0.00000 13 381 - 0.00000 - 244 60s 1022 142 infeasible 28 - 0.00000 - 258 65s 1112 120 infeasible 27 - 0.00000 - 272 70s 1197 86 infeasible 25 - 0.00000 - 288 75s 1294 53 infeasible 26 - 0.00000 - 297 80s 1382 53 0.00000 22 361 - 0.00000 - 307 85s 1493 74 infeasible 28 - 0.00000 - 311 90s 1596 81 infeasible 22 - 0.00000 - 317 95s 1687 72 infeasible 26 - 0.00000 - 324 100s 1773 68 0.00000 25 353 - 0.00000 - 331 105s 1864 57 infeasible 25 - 0.00000 - 337 110s 1955 60 0.00000 26 367 - 0.00000 - 341 115s 2039 62 infeasible 27 - 0.00000 - 345 120s 2129 58 infeasible 26 - 0.00000 - 349 125s 2231 66 0.00000 28 364 - 0.00000 - 351 130s 2318 69 0.00000 30 369 - 0.00000 - 355 135s 2406 67 infeasible 28 - 0.00000 - 358 140s 2475 62 infeasible 24 - 0.00000 - 364 145s 2554 59 0.00000 24 348 - 0.00000 - 368 150s 2648 55 infeasible 29 - 0.00000 - 370 155s 2737 56 infeasible 28 - 0.00000 - 373 160s 2824 57 infeasible 29 - 0.00000 - 375 165s 2924 49 0.00000 23 384 - 0.00000 - 376 170s 2997 35 infeasible 26 - 0.00000 - 380 175s 3073 37 infeasible 25 - 0.00000 - 383 180s 3164 42 0.00000 18 367 - 0.00000 - 384 185s 3261 53 infeasible 27 - 0.00000 - 385 190s 3363 67 infeasible 26 - 0.00000 - 385 195s 3439 65 infeasible 27 - 0.00000 - 388 200s 3526 60 0.00000 24 369 - 0.00000 - 389 205s 3610 60 infeasible 24 - 0.00000 - 391 210s 3685 59 0.00000 30 366 - 0.00000 - 394 215s 3764 54 0.00000 23 368 - 0.00000 - 396 220s 3852 58 infeasible 26 - 0.00000 - 397 225s 3941 51 infeasible 27 - 0.00000 - 398 230s 4041 71 0.00000 28 364 - 0.00000 - 398 235s 4136 88 infeasible 27 - 0.00000 - 398 240s 4235 101 0.00000 21 359 - 0.00000 - 399 245s Cutting planes: Clique: 1 Zero half: 5 Explored 4303 nodes (1758639 simplex iterations) in 248.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