current bounds on the number of colors: 0 -- 149 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 17:29:09 2012 Optimize a model with 84361 rows, 12164 columns and 263662 nonzeros Presolve time: 0.24s Presolved: 84361 rows, 12164 columns, 263662 nonzeros Variable types: 0 continuous, 12164 integer (12164 binary) Root relaxation: objective 0.000000e+00, 388 iterations, 0.10 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.47 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:29:11 2012 Optimize a model with 42255 rows, 6651 columns and 131831 nonzeros Presolve time: 0.16s Presolved: 42255 rows, 6651 columns, 131831 nonzeros Variable types: 0 continuous, 6651 integer (6651 binary) Root relaxation: objective 0.000000e+00, 452 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 (850 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:29:11 2012 Optimize a model with 20633 rows, 3820 columns and 64134 nonzeros Presolve time: 0.07s Presolved: 20633 rows, 3820 columns, 64134 nonzeros Variable types: 0 continuous, 3820 integer (3820 binary) Root relaxation: objective 0.000000e+00, 437 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 (868 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:29:12 2012 Optimize a model with 10391 rows, 2479 columns and 32067 nonzeros Presolve time: 0.03s Presolved: 10391 rows, 2479 columns, 32067 nonzeros Variable types: 0 continuous, 2479 integer (2479 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1054 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:29:12 2012 Optimize a model with 4701 rows, 1734 columns and 14252 nonzeros Presolve time: 0.01s Presolved: 4701 rows, 1734 columns, 14252 nonzeros Variable types: 0 continuous, 1734 integer (1734 binary) Root relaxation: objective 0.000000e+00, 323 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 202 - 0.00000 - - 1s 0 0 0.00000 0 497 - 0.00000 - - 2s 0 0 0.00000 0 492 - 0.00000 - - 2s 0 0 0.00000 0 498 - 0.00000 - - 2s 0 0 0.00000 0 476 - 0.00000 - - 3s 0 0 0.00000 0 476 - 0.00000 - - 4s 0 0 0.00000 0 488 - 0.00000 - - 7s 0 0 0.00000 0 477 - 0.00000 - - 8s 0 0 0.00000 0 484 - 0.00000 - - 9s 0 0 0.00000 0 484 - 0.00000 - - 9s 0 2 0.00000 0 484 - 0.00000 - - 11s Cutting planes: Clique: 21 Zero half: 15 Explored 11 nodes (52491 simplex iterations) in 11.63 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:29:24 2012 Optimize a model with 6977 rows, 2032 columns and 21378 nonzeros Presolve time: 0.02s Presolved: 6977 rows, 2032 columns, 21378 nonzeros Variable types: 0 continuous, 2032 integer (2032 binary) Root relaxation: objective 0.000000e+00, 306 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 284 - 0.00000 - - 0s 0 0 0.00000 0 274 - 0.00000 - - 0s 0 0 0.00000 0 430 - 0.00000 - - 1s 0 0 0.00000 0 435 - 0.00000 - - 1s 0 0 0.00000 0 422 - 0.00000 - - 2s 0 0 0.00000 0 405 - 0.00000 - - 3s 0 0 0.00000 0 338 - 0.00000 - - 4s 0 0 0.00000 0 350 - 0.00000 - - 5s 0 0 0.00000 0 411 - 0.00000 - - 6s 0 0 0.00000 0 424 - 0.00000 - - 7s 0 0 0.00000 0 424 - 0.00000 - - 8s 0 2 0.00000 0 413 - 0.00000 - - 9s 8 8 0.00000 7 277 - 0.00000 - 712 10s 903 124 0.00000 26 430 - 0.00000 - 76.7 15s 907 127 0.00000 36 398 - 0.00000 - 76.4 20s 911 130 0.00000 39 378 - 0.00000 - 76.0 25s 914 132 0.00000 42 435 - 0.00000 - 75.8 30s * 1123 60 56 0.0000000 0.00000 0.0% 147 34s Cutting planes: Clique: 5 Zero half: 5 Explored 1124 nodes (210049 simplex iterations) in 34.59 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:29:58 2012 Optimize a model with 5839 rows, 1883 columns and 17815 nonzeros Presolve time: 0.02s Presolved: 5839 rows, 1883 columns, 17815 nonzeros Variable types: 0 continuous, 1883 integer (1883 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 298 - 0.00000 - - 0s 0 0 0.00000 0 150 - 0.00000 - - 0s 0 0 0.00000 0 397 - 0.00000 - - 2s 0 0 0.00000 0 417 - 0.00000 - - 2s 0 0 0.00000 0 376 - 0.00000 - - 3s 0 0 0.00000 0 395 - 0.00000 - - 5s 0 0 0.00000 0 369 - 0.00000 - - 6s 0 0 0.00000 0 373 - 0.00000 - - 7s 0 0 0.00000 0 366 - 0.00000 - - 9s 0 0 0.00000 0 391 - 0.00000 - - 9s 0 0 0.00000 0 387 - 0.00000 - - 10s 0 2 0.00000 0 387 - 0.00000 - - 11s 90 30 infeasible 22 - 0.00000 - 276 15s 350 30 0.00000 17 362 - 0.00000 - 202 20s 624 34 0.00000 23 258 - 0.00000 - 186 25s 807 36 0.00000 16 397 - 0.00000 - 179 31s 809 38 0.00000 7 414 - 0.00000 - 179 35s 811 39 0.00000 11 402 - 0.00000 - 178 42s 813 40 0.00000 11 339 - 0.00000 - 178 47s 815 42 0.00000 13 362 - 0.00000 - 177 52s 817 43 0.00000 14 357 - 0.00000 - 177 56s 821 46 infeasible 15 - 0.00000 - 251 60s 894 38 infeasible 25 - 0.00000 - 262 65s 983 23 infeasible 29 - 0.00000 - 275 70s 1072 34 infeasible 34 - 0.00000 - 288 75s 1174 46 0.00000 32 374 - 0.00000 - 295 80s 1255 43 infeasible 32 - 0.00000 - 306 85s 1349 49 infeasible 29 - 0.00000 - 313 90s 1440 44 infeasible 28 - 0.00000 - 320 95s 1527 49 infeasible 31 - 0.00000 - 327 100s 1614 56 0.00000 28 362 - 0.00000 - 333 105s 1718 76 0.00000 27 365 - 0.00000 - 335 110s 1799 75 0.00000 30 380 - 0.00000 - 341 115s 1884 72 infeasible 32 - 0.00000 - 347 120s 1962 74 0.00000 27 377 - 0.00000 - 353 125s 2047 71 0.00000 29 377 - 0.00000 - 356 130s 2140 80 0.00000 32 381 - 0.00000 - 358 135s 2237 93 0.00000 31 379 - 0.00000 - 360 140s 2324 96 infeasible 34 - 0.00000 - 364 145s 2412 98 infeasible 28 - 0.00000 - 367 150s 2493 101 infeasible 36 - 0.00000 - 371 155s 2576 100 infeasible 34 - 0.00000 - 374 160s 2663 109 0.00000 31 365 - 0.00000 - 376 165s 2746 98 infeasible 34 - 0.00000 - 379 170s 2842 114 infeasible 31 - 0.00000 - 380 175s 2931 121 0.00000 29 304 - 0.00000 - 382 180s 3021 121 infeasible 39 - 0.00000 - 383 185s 3109 115 0.00000 31 358 - 0.00000 - 385 190s 3194 118 infeasible 36 - 0.00000 - 387 195s 3288 118 infeasible 35 - 0.00000 - 387 200s 3372 110 0.00000 34 366 - 0.00000 - 389 205s 3466 112 0.00000 34 379 - 0.00000 - 390 210s 3571 115 infeasible 33 - 0.00000 - 389 215s 3666 108 infeasible 31 - 0.00000 - 390 220s 3750 102 infeasible 30 - 0.00000 - 391 225s 3844 104 infeasible 31 - 0.00000 - 392 230s 3923 95 infeasible 32 - 0.00000 - 393 235s 4000 92 infeasible 32 - 0.00000 - 396 240s 4066 98 0.00000 32 340 - 0.00000 - 398 245s Cutting planes: Gomory: 1 Clique: 13 Zero half: 10 Explored 4133 nodes (1698673 simplex iterations) in 248.98 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