current bounds on the number of colors: 0 -- 149 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 17:59:10 2012 Optimize a model with 82807 rows, 12143 columns and 259000 nonzeros Presolve time: 0.24s Presolved: 82807 rows, 12143 columns, 259000 nonzeros Variable types: 0 continuous, 12143 integer (12143 binary) Root relaxation: objective 0.000000e+00, 354 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 (774 simplex iterations) in 0.46 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 17:59:11 2012 Optimize a model with 41478 rows, 6630 columns and 129500 nonzeros Presolve time: 0.15s Presolved: 41478 rows, 6630 columns, 129500 nonzeros Variable types: 0 continuous, 6630 integer (6630 binary) Root relaxation: objective 0.000000e+00, 353 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 (825 simplex iterations) in 0.26 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 17:59:12 2012 Optimize a model with 20255 rows, 3799 columns and 63000 nonzeros Presolve time: 0.07s Presolved: 20255 rows, 3799 columns, 63000 nonzeros Variable types: 0 continuous, 3799 integer (3799 binary) Root relaxation: objective 0.000000e+00, 430 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 (861 simplex iterations) in 0.13 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 17:59:12 2012 Optimize a model with 10202 rows, 2458 columns and 31500 nonzeros Presolve time: 0.03s Presolved: 10202 rows, 2458 columns, 31500 nonzeros Variable types: 0 continuous, 2458 integer (2458 binary) Root relaxation: objective 0.000000e+00, 315 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 (967 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 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 17:59:12 2012 Optimize a model with 4617 rows, 1713 columns and 14000 nonzeros Presolve time: 0.01s Presolved: 4617 rows, 1713 columns, 14000 nonzeros Variable types: 0 continuous, 1713 integer (1713 binary) Root relaxation: objective 0.000000e+00, 313 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 296 - 0.00000 - - 0s 0 0 0.00000 0 298 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5720 simplex iterations) in 0.90 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound 1.000000000000e+00, gap - current bounds on the number of colors: 4 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 17:59:13 2012 Optimize a model with 6851 rows, 2011 columns and 21000 nonzeros Presolve time: 0.02s Presolved: 6851 rows, 2011 columns, 21000 nonzeros Variable types: 0 continuous, 2011 integer (2011 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 204 - 0.00000 - - 0s 0 0 0.00000 0 319 - 0.00000 - - 0s 0 0 0.00000 0 358 - 0.00000 - - 2s 0 0 0.00000 0 328 - 0.00000 - - 2s 0 0 0.00000 0 331 - 0.00000 - - 2s * 0 0 0 0.0000000 0.00000 0.0% - 2s Cutting planes: Clique: 5 Zero half: 118 Explored 0 nodes (19019 simplex iterations) in 2.96 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 17:59:16 2012 Optimize a model with 5734 rows, 1862 columns and 17500 nonzeros Presolve time: 0.01s Presolved: 5734 rows, 1862 columns, 17500 nonzeros Variable types: 0 continuous, 1862 integer (1862 binary) Root relaxation: objective 0.000000e+00, 317 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 294 - 0.00000 - - 0s 0 0 0.00000 0 429 - 0.00000 - - 2s 0 0 0.00000 0 425 - 0.00000 - - 2s 0 0 0.00000 0 409 - 0.00000 - - 2s 0 0 0.00000 0 417 - 0.00000 - - 2s 0 0 0.00000 0 371 - 0.00000 - - 4s 0 0 0.00000 0 361 - 0.00000 - - 5s 0 0 0.00000 0 329 - 0.00000 - - 7s 0 0 0.00000 0 328 - 0.00000 - - 8s 0 0 0.00000 0 322 - 0.00000 - - 10s 0 0 0.00000 0 347 - 0.00000 - - 11s 0 0 0.00000 0 349 - 0.00000 - - 12s 0 0 0.00000 0 326 - 0.00000 - - 13s 0 0 0.00000 0 374 - 0.00000 - - 14s 0 0 0.00000 0 298 - 0.00000 - - 15s 0 2 0.00000 0 298 - 0.00000 - - 16s 96 29 0.00000 22 335 - 0.00000 - 277 20s 310 62 infeasible 27 - 0.00000 - 234 25s 547 66 0.00000 16 365 - 0.00000 - 217 30s 604 69 0.00000 9 438 - 0.00000 - 214 35s 607 71 0.00000 17 345 - 0.00000 - 213 42s 609 72 0.00000 7 358 - 0.00000 - 212 46s 611 74 0.00000 19 354 - 0.00000 - 212 53s 612 74 0.00000 17 350 - 0.00000 - 211 55s 615 76 0.00000 13 321 - 0.00000 - 210 61s 617 78 0.00000 17 288 - 0.00000 - 210 65s 626 84 0.00000 15 354 - 0.00000 - 338 70s 664 89 0.00000 23 349 - 0.00000 - 338 75s 747 70 0.00000 22 357 - 0.00000 - 345 80s 852 68 infeasible 27 - 0.00000 - 347 85s 951 100 0.00000 19 369 - 0.00000 - 349 90s 1049 126 0.00000 36 365 - 0.00000 - 351 95s 1152 147 infeasible 24 - 0.00000 - 355 100s 1249 160 0.00000 32 367 - 0.00000 - 356 105s 1352 167 0.00000 22 362 - 0.00000 - 359 110s 1440 173 0.00000 22 378 - 0.00000 - 365 115s 1532 177 infeasible 28 - 0.00000 - 366 120s 1630 181 0.00000 25 373 - 0.00000 - 368 125s 1718 175 0.00000 25 354 - 0.00000 - 374 130s 1815 176 0.00000 25 351 - 0.00000 - 374 135s 1916 185 0.00000 27 342 - 0.00000 - 375 140s 2014 173 infeasible 24 - 0.00000 - 376 145s 2098 171 infeasible 30 - 0.00000 - 380 150s 2190 161 infeasible 25 - 0.00000 - 383 155s 2286 165 infeasible 26 - 0.00000 - 385 160s 2381 170 infeasible 26 - 0.00000 - 387 165s 2463 168 infeasible 27 - 0.00000 - 391 170s 2546 163 0.00000 26 348 - 0.00000 - 394 175s 2640 163 0.00000 24 383 - 0.00000 - 395 180s 2728 169 infeasible 27 - 0.00000 - 397 185s 2812 165 infeasible 25 - 0.00000 - 399 190s 2901 184 infeasible 27 - 0.00000 - 400 195s 2991 178 infeasible 23 - 0.00000 - 401 200s 3079 178 infeasible 27 - 0.00000 - 403 205s 3164 175 infeasible 23 - 0.00000 - 404 210s 3257 168 infeasible 29 - 0.00000 - 406 215s 3340 163 0.00000 29 264 - 0.00000 - 408 220s 3431 160 0.00000 32 375 - 0.00000 - 409 225s 3526 163 infeasible 27 - 0.00000 - 409 230s 3628 161 infeasible 30 - 0.00000 - 409 235s 3704 153 0.00000 29 359 - 0.00000 - 411 240s 3792 151 infeasible 33 - 0.00000 - 412 245s 3882 133 infeasible 26 - 0.00000 - 413 250s 3977 128 infeasible 25 - 0.00000 - 414 255s 4070 139 0.00000 31 354 - 0.00000 - 414 260s 4175 132 infeasible 25 - 0.00000 - 413 265s 4259 126 0.00000 26 377 - 0.00000 - 415 270s 4363 134 infeasible 25 - 0.00000 - 414 275s 4457 134 infeasible 30 - 0.00000 - 415 280s 4537 126 infeasible 25 - 0.00000 - 416 285s 4624 127 0.00000 23 357 - 0.00000 - 417 290s Cutting planes: Clique: 1 Zero half: 11 Explored 4644 nodes (2009741 simplex iterations) in 291.40 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