current bounds on the number of colors: 0 -- 200 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:57:31 2012 Optimize a model with 99800 rows, 20996 columns and 318800 nonzeros Presolve time: 0.33s Presolved: 99800 rows, 20996 columns, 318800 nonzeros Variable types: 0 continuous, 20996 integer (20996 binary) Root relaxation: objective 0.000000e+00, 825 iterations, 0.11 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 (1278 simplex iterations) in 0.60 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 -- 100 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:57:33 2012 Optimize a model with 50000 rows, 10996 columns and 159400 nonzeros Presolve time: 0.17s Presolved: 50000 rows, 10996 columns, 159400 nonzeros Variable types: 0 continuous, 10996 integer (10996 binary) Root relaxation: objective 0.000000e+00, 761 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 (1271 simplex iterations) in 0.31 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 -- 50 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:57:34 2012 Optimize a model with 25100 rows, 5996 columns and 79700 nonzeros Presolve time: 0.10s Presolved: 25100 rows, 5996 columns, 79700 nonzeros Variable types: 0 continuous, 5996 integer (5996 binary) Root relaxation: objective 0.000000e+00, 474 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 (842 simplex iterations) in 0.15 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 -- 25 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:57:34 2012 Optimize a model with 12152 rows, 3396 columns and 38256 nonzeros Presolve time: 0.04s Presolved: 12152 rows, 3396 columns, 38256 nonzeros Variable types: 0 continuous, 3396 integer (3396 binary) Root relaxation: objective 0.000000e+00, 413 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 (776 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 -- 12 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:57:35 2012 Optimize a model with 6176 rows, 2196 columns and 19128 nonzeros Presolve time: 0.02s Presolved: 6176 rows, 2196 columns, 19128 nonzeros Variable types: 0 continuous, 2196 integer (2196 binary) Root relaxation: objective 0.000000e+00, 452 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 (1663 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:57:35 2012 Optimize a model with 3188 rows, 1596 columns and 9564 nonzeros Presolve time: 0.01s Presolved: 3188 rows, 1596 columns, 9564 nonzeros Variable types: 0 continuous, 1596 integer (1596 binary) Root relaxation: objective 0.000000e+00, 463 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 398 - 0.00000 - - 0s 0 0 0.00000 0 408 - 0.00000 - - 0s 0 0 0.00000 0 557 - 0.00000 - - 1s 0 0 infeasible 0 - 0.10000 - - 1s Cutting planes: Gomory: 33 Clique: 1 Zero half: 709 Explored 0 nodes (9809 simplex iterations) in 1.44 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: 3 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:57:36 2012 Optimize a model with 4184 rows, 1796 columns and 12752 nonzeros Presolve time: 0.01s Presolved: 4184 rows, 1796 columns, 12752 nonzeros Variable types: 0 continuous, 1796 integer (1796 binary) Root relaxation: objective 0.000000e+00, 461 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 374 - 0.00000 - - 0s 0 0 0.00000 0 374 - 0.00000 - - 0s 0 0 0.00000 0 358 - 0.00000 - - 0s 0 0 0.00000 0 362 - 0.00000 - - 1s 0 0 0.00000 0 368 - 0.00000 - - 1s 0 0 0.00000 0 350 - 0.00000 - - 2s 0 0 0.00000 0 350 - 0.00000 - - 2s 0 0 0.00000 0 336 - 0.00000 - - 3s 0 0 0.00000 0 340 - 0.00000 - - 3s 0 0 0.00000 0 340 - 0.00000 - - 4s 0 2 0.00000 0 340 - 0.00000 - - 4s 11 9 0.00000 7 483 - 0.00000 - 408 5s 609 62 0.00000 20 393 - 0.00000 - 130 10s 806 78 0.00000 25 342 - 0.00000 - 127 15s 809 80 0.00000 23 316 - 0.00000 - 126 20s 812 82 0.00000 19 316 - 0.00000 - 126 26s 822 89 0.00000 14 445 - 0.00000 - 197 30s 1064 26 infeasible 27 - 0.00000 - 208 35s 1285 26 infeasible 27 - 0.00000 - 218 40s 1532 41 0.00000 25 391 - 0.00000 - 223 45s 1795 40 infeasible 24 - 0.00000 - 225 50s 2051 54 infeasible 28 - 0.00000 - 227 55s 2308 53 0.00000 24 421 - 0.00000 - 229 60s 2518 67 0.00000 25 460 - 0.00000 - 233 65s 2737 76 0.00000 26 358 - 0.00000 - 235 70s 2935 72 infeasible 26 - 0.00000 - 238 75s 3134 83 infeasible 25 - 0.00000 - 241 80s 3368 75 infeasible 23 - 0.00000 - 243 85s 3633 76 infeasible 25 - 0.00000 - 243 90s 3853 62 infeasible 28 - 0.00000 - 245 95s 4043 50 infeasible 25 - 0.00000 - 247 100s 4241 60 infeasible 28 - 0.00000 - 249 105s 4447 90 infeasible 33 - 0.00000 - 250 110s 4655 96 infeasible 30 - 0.00000 - 251 115s 4910 115 infeasible 30 - 0.00000 - 251 120s 5188 121 infeasible 31 - 0.00000 - 250 125s 5439 114 infeasible 25 - 0.00000 - 250 130s 5702 153 infeasible 26 - 0.00000 - 249 135s 5935 136 infeasible 27 - 0.00000 - 250 140s 6164 113 infeasible 30 - 0.00000 - 250 145s 6425 98 infeasible 30 - 0.00000 - 250 150s 6673 96 infeasible 24 - 0.00000 - 250 155s 6898 75 infeasible 26 - 0.00000 - 251 160s 7125 62 0.00000 24 380 - 0.00000 - 251 165s 7351 60 infeasible 28 - 0.00000 - 252 170s 7554 59 0.00000 24 382 - 0.00000 - 252 175s 7780 67 infeasible 25 - 0.00000 - 253 180s 7972 59 infeasible 24 - 0.00000 - 254 185s 8171 54 infeasible 25 - 0.00000 - 254 190s 8385 54 0.00000 22 356 - 0.00000 - 255 195s 8599 48 infeasible 22 - 0.00000 - 255 200s 8820 53 infeasible 27 - 0.00000 - 255 205s 9025 46 0.00000 26 404 - 0.00000 - 256 210s 9222 47 0.00000 24 364 - 0.00000 - 256 215s 9447 38 infeasible 24 - 0.00000 - 257 220s 9746 47 infeasible 26 - 0.00000 - 256 225s 9982 63 infeasible 25 - 0.00000 - 257 230s 10215 60 infeasible 26 - 0.00000 - 257 235s 10472 53 infeasible 28 - 0.00000 - 257 240s 10720 69 infeasible 28 - 0.00000 - 257 245s 11008 71 infeasible 25 - 0.00000 - 256 250s 11294 77 0.00000 22 374 - 0.00000 - 256 255s 11575 74 0.00000 25 408 - 0.00000 - 256 260s 11854 83 infeasible 26 - 0.00000 - 255 265s 12118 79 infeasible 27 - 0.00000 - 255 270s 12380 73 0.00000 23 378 - 0.00000 - 255 275s 12597 54 0.00000 23 439 - 0.00000 - 255 280s 12794 37 0.00000 22 394 - 0.00000 - 256 285s 12997 44 infeasible 29 - 0.00000 - 256 290s Cutting planes: Zero half: 12 Explored 13121 nodes (3395310 simplex iterations) in 292.76 seconds Thread count was 1 (of 16 available processors) Time limit reached Best objective -, best bound 0.000000000000e+00, gap - current bounds on the number of colors: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:02:29 2012 Optimize a model with 5180 rows, 1996 columns and 15940 nonzeros Presolve time: 0.01s Presolved: 5180 rows, 1996 columns, 15940 nonzeros Variable types: 0 continuous, 1996 integer (1996 binary) Root relaxation: objective 0.000000e+00, 450 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 400 - 0.00000 - - 0s Explored 0 nodes (567 simplex iterations) in 0.03 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