current bounds on the number of colors: 0 -- 149 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 17:39:09 2012 Optimize a model with 82955 rows, 12145 columns and 259444 nonzeros Presolve time: 0.24s Presolved: 82955 rows, 12145 columns, 259444 nonzeros Variable types: 0 continuous, 12145 integer (12145 binary) Root relaxation: objective 0.000000e+00, 386 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 (797 simplex iterations) in 0.45 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:39:11 2012 Optimize a model with 41552 rows, 6632 columns and 129722 nonzeros Presolve time: 0.15s Presolved: 41552 rows, 6632 columns, 129722 nonzeros Variable types: 0 continuous, 6632 integer (6632 binary) Root relaxation: objective 0.000000e+00, 471 iterations, 0.05 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 (909 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:39:11 2012 Optimize a model with 20291 rows, 3801 columns and 63108 nonzeros Presolve time: 0.07s Presolved: 20291 rows, 3801 columns, 63108 nonzeros Variable types: 0 continuous, 3801 integer (3801 binary) Root relaxation: objective 0.000000e+00, 426 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 (881 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:39:12 2012 Optimize a model with 10220 rows, 2460 columns and 31554 nonzeros Presolve time: 0.03s Presolved: 10220 rows, 2460 columns, 31554 nonzeros Variable types: 0 continuous, 2460 integer (2460 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1180 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 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 17:39:12 2012 Optimize a model with 4625 rows, 1715 columns and 14024 nonzeros Presolve time: 0.01s Presolved: 4625 rows, 1715 columns, 14024 nonzeros Variable types: 0 continuous, 1715 integer (1715 binary) Root relaxation: objective 0.000000e+00, 327 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 208 - 0.00000 - - 0s 0 0 0.00000 0 484 - 0.00000 - - 2s 0 0 0.00000 0 492 - 0.00000 - - 2s 0 0 0.00000 0 481 - 0.00000 - - 3s 0 0 0.00000 0 475 - 0.00000 - - 4s 0 0 0.00000 0 475 - 0.00000 - - 5s 0 0 0.00000 0 477 - 0.00000 - - 6s 0 0 0.00000 0 475 - 0.00000 - - 8s 0 0 0.00000 0 481 - 0.00000 - - 9s 0 0 0.00000 0 474 - 0.00000 - - 10s 0 2 0.00000 0 474 - 0.00000 - - 11s Cutting planes: Clique: 27 Zero half: 20 Explored 7 nodes (55576 simplex iterations) in 11.95 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 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 17:39:24 2012 Optimize a model with 6863 rows, 2013 columns and 21036 nonzeros Presolve time: 0.02s Presolved: 6863 rows, 2013 columns, 21036 nonzeros Variable types: 0 continuous, 2013 integer (2013 binary) Root relaxation: objective 0.000000e+00, 305 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 282 - 0.00000 - - 0s 0 0 0.00000 0 260 - 0.00000 - - 0s 0 0 0.00000 0 243 - 0.00000 - - 1s 0 0 0.00000 0 399 - 0.00000 - - 2s 0 0 0.00000 0 50 - 0.00000 - - 3s H 0 0 0.0000000 0.00000 0.0% - 3s Cutting planes: Clique: 1 Zero half: 1 Explored 0 nodes (21431 simplex iterations) in 3.16 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:39:27 2012 Optimize a model with 5744 rows, 1864 columns and 17530 nonzeros Presolve time: 0.01s Presolved: 5744 rows, 1864 columns, 17530 nonzeros Variable types: 0 continuous, 1864 integer (1864 binary) Root relaxation: objective 0.000000e+00, 328 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 288 - 0.00000 - - 0s 0 0 0.00000 0 378 - 0.00000 - - 2s 0 0 0.00000 0 414 - 0.00000 - - 2s 0 0 0.00000 0 371 - 0.00000 - - 4s 0 0 0.00000 0 369 - 0.00000 - - 5s 0 0 0.00000 0 336 - 0.00000 - - 6s 0 0 0.00000 0 370 - 0.00000 - - 8s 0 0 0.00000 0 239 - 0.00000 - - 10s 0 0 0.00000 0 342 - 0.00000 - - 11s 0 0 0.00000 0 275 - 0.00000 - - 12s 0 0 0.00000 0 334 - 0.00000 - - 14s 0 0 0.00000 0 341 - 0.00000 - - 15s 0 0 0.00000 0 334 - 0.00000 - - 15s 0 2 0.00000 0 334 - 0.00000 - - 16s 124 17 0.00000 17 352 - 0.00000 - 216 20s 353 29 0.00000 14 353 - 0.00000 - 191 25s 549 20 infeasible 17 - 0.00000 - 199 30s 604 37 0.00000 14 417 - 0.00000 - 196 35s 606 38 0.00000 6 363 - 0.00000 - 196 41s 608 40 0.00000 8 393 - 0.00000 - 195 47s 609 40 0.00000 15 380 - 0.00000 - 195 50s 611 42 0.00000 8 395 - 0.00000 - 194 56s 612 42 0.00000 19 316 - 0.00000 - 194 60s 618 46 0.00000 13 348 - 0.00000 - 299 65s 639 60 0.00000 23 350 - 0.00000 - 299 70s 718 61 infeasible 28 - 0.00000 - 307 75s 808 69 0.00000 21 366 - 0.00000 - 319 80s 904 71 infeasible 29 - 0.00000 - 327 85s 991 74 0.00000 25 360 - 0.00000 - 338 90s 1083 72 infeasible 26 - 0.00000 - 346 95s 1163 64 infeasible 24 - 0.00000 - 354 100s 1247 68 0.00000 27 357 - 0.00000 - 361 105s 1339 58 0.00000 25 332 - 0.00000 - 365 110s 1443 58 infeasible 28 - 0.00000 - 367 115s 1538 65 0.00000 28 339 - 0.00000 - 369 120s 1639 72 infeasible 30 - 0.00000 - 371 125s 1740 67 0.00000 23 356 - 0.00000 - 374 130s 1832 67 infeasible 30 - 0.00000 - 377 135s 1918 63 infeasible 28 - 0.00000 - 382 140s 2012 63 infeasible 27 - 0.00000 - 384 145s 2089 54 infeasible 25 - 0.00000 - 390 150s 2173 54 infeasible 27 - 0.00000 - 393 155s 2262 51 infeasible 26 - 0.00000 - 395 160s 2359 42 infeasible 27 - 0.00000 - 396 165s 2440 39 0.00000 25 362 - 0.00000 - 399 170s 2532 55 infeasible 34 - 0.00000 - 399 175s 2642 59 infeasible 34 - 0.00000 - 398 180s 2740 69 0.00000 35 355 - 0.00000 - 399 185s 2847 72 0.00000 25 369 - 0.00000 - 399 190s 2946 85 0.00000 26 374 - 0.00000 - 399 195s 3046 93 infeasible 31 - 0.00000 - 399 200s 3148 95 0.00000 24 370 - 0.00000 - 399 205s 3235 94 infeasible 30 - 0.00000 - 401 210s 3329 98 infeasible 22 - 0.00000 - 401 215s 3428 105 infeasible 24 - 0.00000 - 402 220s 3525 112 infeasible 27 - 0.00000 - 402 225s 3625 120 infeasible 25 - 0.00000 - 402 230s 3716 105 infeasible 27 - 0.00000 - 403 235s 3812 113 infeasible 22 - 0.00000 - 404 240s 3899 122 infeasible 30 - 0.00000 - 405 245s 3988 117 infeasible 27 - 0.00000 - 406 250s 4078 113 0.00000 27 360 - 0.00000 - 407 255s 4178 113 0.00000 25 365 - 0.00000 - 407 260s 4266 105 infeasible 25 - 0.00000 - 409 265s 4366 129 infeasible 31 - 0.00000 - 409 270s 4452 131 infeasible 29 - 0.00000 - 410 275s 4562 143 0.00000 28 343 - 0.00000 - 409 280s Cutting planes: Clique: 7 Zero half: 12 Explored 4568 nodes (1938392 simplex iterations) in 280.16 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