current bounds on the number of colors: 0 -- 149 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:09:10 2012 Optimize a model with 82955 rows, 12145 columns and 259444 nonzeros Presolve time: 0.23s Presolved: 82955 rows, 12145 columns, 259444 nonzeros Variable types: 0 continuous, 12145 integer (12145 binary) Root relaxation: objective 0.000000e+00, 362 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 (778 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 18:09: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, 451 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 (847 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 18:09:12 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, 452 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 (897 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 18:09: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, 322 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 (1159 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 18:09: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, 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 206 - 0.00000 - - 0s 0 0 0.00000 0 204 - 0.00000 - - 0s 0 0 0.00000 0 469 - 0.00000 - - 2s 0 0 0.00000 0 504 - 0.00000 - - 3s 0 0 0.00000 0 476 - 0.00000 - - 4s 0 0 0.00000 0 472 - 0.00000 - - 5s 0 0 0.00000 0 465 - 0.00000 - - 8s 0 0 0.00000 0 462 - 0.00000 - - 10s 0 0 0.00000 0 474 - 0.00000 - - 11s 0 0 0.00000 0 484 - 0.00000 - - 12s 0 0 0.00000 0 480 - 0.00000 - - 13s 0 0 0.00000 0 483 - 0.00000 - - 14s 0 0 0.00000 0 483 - 0.00000 - - 15s 0 2 0.00000 0 483 - 0.00000 - - 16s Cutting planes: Clique: 29 Zero half: 24 Explored 23 nodes (72977 simplex iterations) in 18.21 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 18:09:31 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, 314 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 288 - 0.00000 - - 0s 0 0 0.00000 0 365 - 0.00000 - - 1s 0 0 0.00000 0 337 - 0.00000 - - 2s 0 0 0.00000 0 344 - 0.00000 - - 2s 0 0 0.00000 0 353 - 0.00000 - - 3s 0 0 0.00000 0 425 - 0.00000 - - 4s 0 0 0.00000 0 425 - 0.00000 - - 4s 0 2 0.00000 0 425 - 0.00000 - - 6s 606 130 0.00000 43 337 - 0.00000 - 90.9 11s 609 132 0.00000 48 401 - 0.00000 - 90.4 15s H 611 127 0.0000000 0.00000 0.0% 90.1 20s Cutting planes: Clique: 8 Zero half: 2 Explored 611 nodes (120789 simplex iterations) in 20.19 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 18:09:51 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, 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.00000 0 294 - 0.00000 - - 0s 0 0 0.00000 0 280 - 0.00000 - - 0s 0 0 0.00000 0 379 - 0.00000 - - 2s 0 0 0.00000 0 444 - 0.00000 - - 2s 0 0 0.00000 0 381 - 0.00000 - - 3s 0 0 0.00000 0 354 - 0.00000 - - 5s 0 0 0.00000 0 407 - 0.00000 - - 6s 0 0 0.00000 0 409 - 0.00000 - - 7s 0 0 0.00000 0 339 - 0.00000 - - 9s 0 0 0.00000 0 347 - 0.00000 - - 10s 0 0 0.00000 0 325 - 0.00000 - - 12s 0 0 0.00000 0 329 - 0.00000 - - 13s 0 0 0.00000 0 329 - 0.00000 - - 13s 0 2 0.00000 0 329 - 0.00000 - - 15s 161 33 infeasible 18 - 0.00000 - 230 20s 409 55 0.00000 21 342 - 0.00000 - 202 25s 629 53 infeasible 21 - 0.00000 - 203 30s 704 64 0.00000 18 437 - 0.00000 - 203 35s 706 65 0.00000 15 366 - 0.00000 - 203 43s 707 66 0.00000 18 386 - 0.00000 - 203 46s 709 67 0.00000 22 387 - 0.00000 - 202 51s 710 68 0.00000 20 416 - 0.00000 - 202 55s 712 69 0.00000 12 332 - 0.00000 - 201 61s 716 72 infeasible 14 - 0.00000 - 293 65s 798 67 infeasible 27 - 0.00000 - 306 70s 883 35 infeasible 27 - 0.00000 - 321 75s 986 41 infeasible 36 - 0.00000 - 328 80s 1089 54 infeasible 35 - 0.00000 - 334 85s 1174 49 infeasible 35 - 0.00000 - 343 90s 1273 54 0.00000 28 363 - 0.00000 - 348 95s 1364 55 infeasible 29 - 0.00000 - 353 100s 1471 64 infeasible 27 - 0.00000 - 355 105s 1559 78 0.00000 25 364 - 0.00000 - 360 110s 1672 105 infeasible 30 - 0.00000 - 359 115s 1766 109 infeasible 30 - 0.00000 - 364 120s 1854 113 infeasible 34 - 0.00000 - 368 125s 1949 112 infeasible 26 - 0.00000 - 371 130s 2040 115 0.00000 31 252 - 0.00000 - 375 135s 2134 121 0.00000 30 364 - 0.00000 - 377 140s 2217 130 infeasible 28 - 0.00000 - 381 145s 2309 130 infeasible 33 - 0.00000 - 383 150s 2406 137 0.00000 25 374 - 0.00000 - 384 155s 2493 138 infeasible 37 - 0.00000 - 387 160s 2581 144 infeasible 31 - 0.00000 - 390 165s 2674 155 infeasible 28 - 0.00000 - 391 170s 2769 148 0.00000 27 351 - 0.00000 - 393 175s 2868 151 infeasible 33 - 0.00000 - 393 180s 2954 157 infeasible 33 - 0.00000 - 395 185s 3037 148 infeasible 26 - 0.00000 - 397 190s 3127 152 infeasible 29 - 0.00000 - 398 195s 3202 151 0.00000 27 341 - 0.00000 - 400 200s 3299 150 infeasible 27 - 0.00000 - 401 205s 3393 146 0.00000 26 355 - 0.00000 - 402 210s 3483 144 infeasible 31 - 0.00000 - 403 215s 3560 139 0.00000 27 359 - 0.00000 - 405 220s 3645 140 infeasible 28 - 0.00000 - 406 225s 3751 148 infeasible 31 - 0.00000 - 406 230s 3839 148 infeasible 27 - 0.00000 - 407 235s 3939 146 0.00000 27 384 - 0.00000 - 407 240s 4026 147 infeasible 26 - 0.00000 - 408 245s 4102 151 infeasible 28 - 0.00000 - 410 250s 4181 156 infeasible 31 - 0.00000 - 411 255s Cutting planes: Clique: 6 Zero half: 6 Explored 4206 nodes (1790587 simplex iterations) in 256.84 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