current bounds on the number of colors: 0 -- 135 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 06:46:04 2012 Optimize a model with 67805 rows, 10055 columns and 212055 nonzeros Presolve time: 0.20s Presolved: 67805 rows, 10055 columns, 212055 nonzeros Variable types: 0 continuous, 10055 integer (10055 binary) Root relaxation: objective 0.000000e+00, 312 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 (687 simplex iterations) in 0.37 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:46:05 2012 Optimize a model with 33465 rows, 5465 columns and 104445 nonzeros Presolve time: 0.15s Presolved: 33465 rows, 5465 columns, 104445 nonzeros Variable types: 0 continuous, 5465 integer (5465 binary) Root relaxation: objective 0.000000e+00, 319 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 (689 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 -- 33 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 06:46:06 2012 Optimize a model with 16295 rows, 3170 columns and 50640 nonzeros Presolve time: 0.05s Presolved: 16295 rows, 3170 columns, 50640 nonzeros Variable types: 0 continuous, 3170 integer (3170 binary) Root relaxation: objective 0.000000e+00, 375 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 (761 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 -- 16 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 06:46:06 2012 Optimize a model with 8215 rows, 2090 columns and 25320 nonzeros Presolve time: 0.02s Presolved: 8215 rows, 2090 columns, 25320 nonzeros Variable types: 0 continuous, 2090 integer (2090 binary) Root relaxation: objective 0.000000e+00, 285 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 (1287 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 06:46:06 2012 Optimize a model with 4175 rows, 1550 columns and 12660 nonzeros Presolve time: 0.01s Presolved: 4175 rows, 1550 columns, 12660 nonzeros Variable types: 0 continuous, 1550 integer (1550 binary) Root relaxation: objective 0.000000e+00, 300 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 267 - 0.00000 - - 0s 0 0 0.00000 0 444 - 0.00000 - - 1s 0 0 0.00000 0 453 - 0.00000 - - 1s 0 0 0.00000 0 441 - 0.00000 - - 2s 0 0 0.00000 0 435 - 0.00000 - - 3s 0 0 0.00000 0 435 - 0.00000 - - 5s 0 0 0.00000 0 430 - 0.00000 - - 6s 0 0 0.00000 0 432 - 0.00000 - - 7s 0 0 0.00000 0 438 - 0.00000 - - 8s 0 0 0.00000 0 437 - 0.00000 - - 8s 0 2 0.00000 0 437 - 0.00000 - - 9s 3 3 infeasible 3 - 0.00000 - 1637 10s Cutting planes: Clique: 18 Zero half: 10 Explored 9 nodes (47022 simplex iterations) in 10.27 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:46:16 2012 Optimize a model with 6195 rows, 1820 columns and 18990 nonzeros Presolve time: 0.02s Presolved: 6195 rows, 1820 columns, 18990 nonzeros Variable types: 0 continuous, 1820 integer (1820 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.00000 0 264 - 0.00000 - - 0s 0 0 0.00000 0 315 - 0.00000 - - 0s 0 0 0.00000 0 281 - 0.00000 - - 1s H 0 0 0.0000000 0.00000 0.0% - 1s Explored 0 nodes (12086 simplex iterations) in 1.81 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:46:18 2012 Optimize a model with 5185 rows, 1685 columns and 15825 nonzeros Presolve time: 0.01s Presolved: 5185 rows, 1685 columns, 15825 nonzeros Variable types: 0 continuous, 1685 integer (1685 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 252 - 0.00000 - - 0s 0 0 0.00000 0 176 - 0.00000 - - 0s 0 0 0.00000 0 310 - 0.00000 - - 2s 0 0 0.00000 0 434 - 0.00000 - - 2s 0 0 0.00000 0 354 - 0.00000 - - 3s 0 0 0.00000 0 321 - 0.00000 - - 4s 0 0 0.00000 0 318 - 0.00000 - - 6s 0 0 0.00000 0 322 - 0.00000 - - 6s 0 0 0.00000 0 316 - 0.00000 - - 8s 0 0 0.00000 0 305 - 0.00000 - - 9s 0 0 0.00000 0 318 - 0.00000 - - 10s 0 0 0.00000 0 319 - 0.00000 - - 11s 0 0 0.00000 0 319 - 0.00000 - - 11s 0 2 0.00000 0 319 - 0.00000 - - 12s 76 30 0.00000 21 315 - 0.00000 - 252 15s 360 19 infeasible 20 - 0.00000 - 188 20s 645 21 infeasible 21 - 0.00000 - 180 25s 887 32 0.00000 24 280 - 0.00000 - 184 30s 912 39 0.00000 9 348 - 0.00000 - 181 36s 914 40 0.00000 20 229 - 0.00000 - 181 40s 916 41 0.00000 13 314 - 0.00000 - 181 45s 919 43 0.00000 20 321 - 0.00000 - 180 52s 924 47 0.00000 15 369 - 0.00000 - 242 55s 946 59 0.00000 25 325 - 0.00000 - 243 60s 1046 30 0.00000 25 340 - 0.00000 - 256 65s 1146 39 0.00000 27 351 - 0.00000 - 268 70s 1250 71 0.00000 31 329 - 0.00000 - 277 75s 1372 85 infeasible 35 - 0.00000 - 283 80s 1485 96 infeasible 26 - 0.00000 - 290 85s 1591 90 infeasible 27 - 0.00000 - 298 90s 1698 101 0.00000 25 323 - 0.00000 - 303 95s 1813 114 0.00000 23 326 - 0.00000 - 307 100s 1924 129 infeasible 31 - 0.00000 - 311 105s 2053 146 0.00000 29 338 - 0.00000 - 313 110s 2163 136 infeasible 33 - 0.00000 - 318 115s 2274 141 infeasible 28 - 0.00000 - 322 120s 2378 133 0.00000 32 344 - 0.00000 - 326 125s 2481 122 infeasible 32 - 0.00000 - 330 130s 2578 119 infeasible 29 - 0.00000 - 334 135s 2671 122 0.00000 28 318 - 0.00000 - 339 140s 2777 110 infeasible 27 - 0.00000 - 342 145s 2887 112 infeasible 30 - 0.00000 - 344 150s 2998 107 infeasible 35 - 0.00000 - 345 155s 3124 115 infeasible 28 - 0.00000 - 345 160s 3225 118 0.00000 27 331 - 0.00000 - 347 165s 3324 123 infeasible 33 - 0.00000 - 349 170s 3431 126 infeasible 30 - 0.00000 - 351 175s 3529 114 infeasible 31 - 0.00000 - 353 180s 3627 108 0.00000 33 337 - 0.00000 - 355 185s 3730 93 infeasible 30 - 0.00000 - 357 190s 3826 81 0.00000 28 342 - 0.00000 - 359 195s 3932 99 0.00000 32 331 - 0.00000 - 360 200s 4046 93 infeasible 27 - 0.00000 - 361 205s 4141 92 infeasible 27 - 0.00000 - 363 210s 4260 105 infeasible 24 - 0.00000 - 364 215s 4375 108 0.00000 21 366 - 0.00000 - 364 220s 4496 123 0.00000 29 330 - 0.00000 - 364 225s 4608 117 infeasible 38 - 0.00000 - 365 230s 4725 108 0.00000 26 332 - 0.00000 - 365 235s 4830 105 infeasible 32 - 0.00000 - 366 240s 4926 93 infeasible 27 - 0.00000 - 368 245s 5019 92 0.00000 29 337 - 0.00000 - 369 250s 5120 85 infeasible 30 - 0.00000 - 371 255s 5226 81 infeasible 29 - 0.00000 - 371 260s 5358 81 infeasible 30 - 0.00000 - 371 265s 5466 85 infeasible 34 - 0.00000 - 371 270s 5565 74 infeasible 30 - 0.00000 - 372 275s 5671 66 infeasible 25 - 0.00000 - 373 280s Cutting planes: Clique: 11 Zero half: 8 Explored 5762 nodes (2208046 simplex iterations) in 284.01 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