current bounds on the number of colors: 0 -- 134 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 05:36:03 2012 Optimize a model with 57620 rows, 9836 columns and 181436 nonzeros Presolve time: 0.18s Presolved: 57620 rows, 9836 columns, 181436 nonzeros Variable types: 0 continuous, 9836 integer (9836 binary) Root relaxation: objective 0.000000e+00, 366 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 (662 simplex iterations) in 0.32 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 -- 67 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 05:36:04 2012 Optimize a model with 28448 rows, 5280 columns and 89364 nonzeros Presolve time: 0.13s Presolved: 28448 rows, 5280 columns, 89364 nonzeros Variable types: 0 continuous, 5280 integer (5280 binary) Root relaxation: objective 0.000000e+00, 327 iterations, 0.03 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 (622 simplex iterations) in 0.20 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 -- 33 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 05:36:04 2012 Optimize a model with 13862 rows, 3002 columns and 43328 nonzeros Presolve time: 0.05s Presolved: 13862 rows, 3002 columns, 43328 nonzeros Variable types: 0 continuous, 3002 integer (3002 binary) Root relaxation: objective 0.000000e+00, 276 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 (575 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 -- 16 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 05:36:05 2012 Optimize a model with 6998 rows, 1930 columns and 21664 nonzeros Presolve time: 0.02s Presolved: 6998 rows, 1930 columns, 21664 nonzeros Variable types: 0 continuous, 1930 integer (1930 binary) Root relaxation: objective 0.000000e+00, 281 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 (908 simplex iterations) in 0.05 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 05:36:05 2012 Optimize a model with 3566 rows, 1394 columns and 10832 nonzeros Presolve time: 0.01s Presolved: 3566 rows, 1394 columns, 10832 nonzeros Variable types: 0 continuous, 1394 integer (1394 binary) Root relaxation: objective 0.000000e+00, 300 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 264 - 0.00000 - - 0s 0 0 0.00000 0 176 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5620 simplex iterations) in 0.77 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 05:36:06 2012 Optimize a model with 5282 rows, 1662 columns and 16248 nonzeros Presolve time: 0.01s Presolved: 5282 rows, 1662 columns, 16248 nonzeros Variable types: 0 continuous, 1662 integer (1662 binary) Root relaxation: objective 0.000000e+00, 292 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 248 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1431 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: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 05:36:06 2012 Optimize a model with 4424 rows, 1528 columns and 13540 nonzeros Presolve time: 0.01s Presolved: 4424 rows, 1528 columns, 13540 nonzeros Variable types: 0 continuous, 1528 integer (1528 binary) Root relaxation: objective 0.000000e+00, 277 iterations, 0.00 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 0.00000 0 258 - 0.00000 - - 0s 0 0 0.00000 0 248 - 0.00000 - - 0s 0 0 0.00000 0 337 - 0.00000 - - 1s 0 0 0.00000 0 374 - 0.00000 - - 1s 0 0 0.00000 0 328 - 0.00000 - - 2s 0 0 0.00000 0 298 - 0.00000 - - 3s 0 0 0.00000 0 358 - 0.00000 - - 3s 0 0 0.00000 0 334 - 0.00000 - - 4s 0 0 0.00000 0 320 - 0.00000 - - 5s 0 0 0.00000 0 353 - 0.00000 - - 5s 0 0 0.00000 0 353 - 0.00000 - - 6s 0 2 0.00000 0 353 - 0.00000 - - 6s 405 46 0.00000 20 246 - 0.00000 - 118 10s 605 92 0.00000 15 319 - 0.00000 - 115 15s 609 94 0.00000 23 282 - 0.00000 - 114 20s 613 97 0.00000 26 348 - 0.00000 - 113 25s 819 66 infeasible 36 - 0.00000 - 189 30s 1084 52 0.00000 35 291 - 0.00000 - 203 35s 1342 44 0.00000 36 241 - 0.00000 - 213 40s 1591 57 0.00000 37 218 - 0.00000 - 220 45s 1846 50 0.00000 38 266 - 0.00000 - 224 50s 2087 39 infeasible 41 - 0.00000 - 229 55s 2320 42 0.00000 37 257 - 0.00000 - 233 60s 2566 58 infeasible 33 - 0.00000 - 235 65s 2798 64 infeasible 34 - 0.00000 - 238 70s 3054 92 infeasible 35 - 0.00000 - 238 75s 3297 99 0.00000 28 309 - 0.00000 - 239 80s 3518 106 0.00000 32 277 - 0.00000 - 241 85s 3752 110 infeasible 32 - 0.00000 - 243 90s 3988 110 0.00000 35 275 - 0.00000 - 245 95s 4222 112 infeasible 35 - 0.00000 - 246 100s 4472 116 infeasible 33 - 0.00000 - 246 105s 4709 113 0.00000 32 276 - 0.00000 - 247 110s 4946 104 0.00000 31 269 - 0.00000 - 248 115s 5179 105 infeasible 34 - 0.00000 - 249 120s 5402 98 infeasible 37 - 0.00000 - 251 125s 5668 94 infeasible 33 - 0.00000 - 250 130s 5915 103 infeasible 35 - 0.00000 - 251 135s 6136 122 0.00000 33 234 - 0.00000 - 251 140s 6363 105 infeasible 31 - 0.00000 - 253 145s 6586 96 infeasible 36 - 0.00000 - 254 150s 6820 92 0.00000 36 304 - 0.00000 - 254 155s 7060 82 infeasible 33 - 0.00000 - 254 160s 7300 72 infeasible 28 - 0.00000 - 254 165s 7507 77 0.00000 32 282 - 0.00000 - 255 170s 7742 92 0.00000 32 224 - 0.00000 - 256 175s 7947 79 0.00000 31 309 - 0.00000 - 257 180s 8191 77 0.00000 33 249 - 0.00000 - 257 185s 8424 80 infeasible 38 - 0.00000 - 257 190s 8658 72 infeasible 34 - 0.00000 - 257 195s 8890 66 infeasible 32 - 0.00000 - 257 200s 9125 67 infeasible 34 - 0.00000 - 258 205s 9361 65 infeasible 31 - 0.00000 - 258 210s 9577 67 infeasible 34 - 0.00000 - 258 215s 9784 66 0.00000 32 286 - 0.00000 - 259 220s 10058 84 infeasible 39 - 0.00000 - 258 225s 10302 84 0.00000 34 300 - 0.00000 - 258 230s 10534 80 infeasible 35 - 0.00000 - 258 235s 10786 82 infeasible 33 - 0.00000 - 257 240s 11007 79 0.00000 34 293 - 0.00000 - 258 245s 11222 74 infeasible 33 - 0.00000 - 258 250s 11443 77 0.00000 34 226 - 0.00000 - 259 255s 11657 75 0.00000 34 301 - 0.00000 - 259 260s 11895 69 0.00000 32 301 - 0.00000 - 259 265s 12133 81 infeasible 34 - 0.00000 - 259 270s 12399 73 0.00000 33 286 - 0.00000 - 259 275s 12624 66 0.00000 33 295 - 0.00000 - 259 280s 12828 74 infeasible 32 - 0.00000 - 260 285s 13019 63 0.00000 34 282 - 0.00000 - 260 290s 13268 74 infeasible 37 - 0.00000 - 260 295s Cutting planes: Clique: 5 Zero half: 10 Explored 13309 nodes (3500824 simplex iterations) in 295.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