current bounds on the number of colors: 0 -- 135 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 06:26:03 2012 Optimize a model with 58559 rows, 9917 columns and 184317 nonzeros Presolve time: 0.18s Presolved: 58559 rows, 9917 columns, 184317 nonzeros Variable types: 0 continuous, 9917 integer (9917 binary) Root relaxation: objective 0.000000e+00, 338 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 (635 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 06:26:04 2012 Optimize a model with 28911 rows, 5327 columns and 90783 nonzeros Presolve time: 0.13s Presolved: 28911 rows, 5327 columns, 90783 nonzeros Variable types: 0 continuous, 5327 integer (5327 binary) Root relaxation: objective 0.000000e+00, 325 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 (626 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 06:26:05 2012 Optimize a model with 14087 rows, 3032 columns and 44016 nonzeros Presolve time: 0.05s Presolved: 14087 rows, 3032 columns, 44016 nonzeros Variable types: 0 continuous, 3032 integer (3032 binary) Root relaxation: objective 0.000000e+00, 270 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 (552 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 06:26:05 2012 Optimize a model with 7111 rows, 1952 columns and 22008 nonzeros Presolve time: 0.02s Presolved: 7111 rows, 1952 columns, 22008 nonzeros Variable types: 0 continuous, 1952 integer (1952 binary) Root relaxation: objective 0.000000e+00, 290 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 (903 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 06:26:05 2012 Optimize a model with 3623 rows, 1412 columns and 11004 nonzeros Presolve time: 0.01s Presolved: 3623 rows, 1412 columns, 11004 nonzeros Variable types: 0 continuous, 1412 integer (1412 binary) Root relaxation: objective 0.000000e+00, 298 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 268 - 0.00000 - - 0s 0 0 0.00000 0 256 - 0.00000 - - 0s 0 0 0.00000 0 404 - 0.00000 - - 1s 0 0 0.00000 0 409 - 0.00000 - - 1s 0 0 0.00000 0 403 - 0.00000 - - 3s 0 0 0.00000 0 395 - 0.00000 - - 4s 0 0 0.00000 0 392 - 0.00000 - - 5s 0 0 0.00000 0 391 - 0.00000 - - 6s 0 0 0.00000 0 397 - 0.00000 - - 7s 0 0 0.00000 0 402 - 0.00000 - - 8s 0 0 0.00000 0 399 - 0.00000 - - 9s 0 0 0.00000 0 407 - 0.00000 - - 9s 0 0 0.00000 0 398 - 0.00000 - - 10s 0 2 0.00000 0 398 - 0.00000 - - 11s Cutting planes: Clique: 12 Zero half: 10 Explored 21 nodes (47738 simplex iterations) in 12.23 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 06:26:18 2012 Optimize a model with 5367 rows, 1682 columns and 16506 nonzeros Presolve time: 0.01s Presolved: 5367 rows, 1682 columns, 16506 nonzeros Variable types: 0 continuous, 1682 integer (1682 binary) Root relaxation: objective 0.000000e+00, 289 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 184 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Cutting planes: Gomory: 9 Clique: 45 Zero half: 69 Explored 0 nodes (4235 simplex iterations) in 0.41 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 06:26:18 2012 Optimize a model with 4495 rows, 1547 columns and 13755 nonzeros Presolve time: 0.01s Presolved: 4495 rows, 1547 columns, 13755 nonzeros Variable types: 0 continuous, 1547 integer (1547 binary) Root relaxation: objective 0.000000e+00, 296 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 266 - 0.00000 - - 0s 0 0 0.00000 0 260 - 0.00000 - - 0s 0 0 0.00000 0 291 - 0.00000 - - 1s 0 0 0.00000 0 370 - 0.00000 - - 1s 0 0 0.00000 0 249 - 0.00000 - - 2s 0 0 0.00000 0 286 - 0.00000 - - 2s 0 0 0.00000 0 250 - 0.00000 - - 3s 0 0 0.00000 0 247 - 0.00000 - - 3s 0 0 0.00000 0 275 - 0.00000 - - 4s 0 0 0.00000 0 305 - 0.00000 - - 5s 0 0 0.00000 0 305 - 0.00000 - - 5s 0 2 0.00000 0 305 - 0.00000 - - 6s 466 30 0.00000 17 272 - 0.00000 - 120 10s 705 47 0.00000 18 192 - 0.00000 - 115 15s 709 49 0.00000 19 318 - 0.00000 - 114 20s 836 70 infeasible 31 - 0.00000 - 178 25s 1071 65 0.00000 33 232 - 0.00000 - 198 30s 1287 89 0.00000 27 245 - 0.00000 - 211 35s 1516 98 0.00000 28 240 - 0.00000 - 220 40s 1741 127 0.00000 30 311 - 0.00000 - 225 45s 1970 144 infeasible 33 - 0.00000 - 231 50s 2190 144 infeasible 29 - 0.00000 - 237 55s 2425 163 0.00000 27 276 - 0.00000 - 240 60s 2715 195 infeasible 30 - 0.00000 - 239 65s 2920 170 0.00000 28 264 - 0.00000 - 243 70s 3150 164 0.00000 25 301 - 0.00000 - 246 75s 3365 145 0.00000 31 291 - 0.00000 - 249 80s 3619 135 infeasible 30 - 0.00000 - 249 85s 3878 160 0.00000 33 260 - 0.00000 - 249 90s 4124 194 0.00000 33 295 - 0.00000 - 249 95s 4363 195 infeasible 38 - 0.00000 - 250 100s 4607 201 0.00000 31 274 - 0.00000 - 250 105s 4839 203 infeasible 34 - 0.00000 - 251 110s 5047 197 infeasible 34 - 0.00000 - 253 115s 5278 200 0.00000 27 315 - 0.00000 - 253 120s 5496 200 0.00000 32 315 - 0.00000 - 255 125s 5720 194 0.00000 25 325 - 0.00000 - 256 130s 5942 200 infeasible 29 - 0.00000 - 257 135s 6136 182 infeasible 29 - 0.00000 - 259 140s 6334 182 infeasible 33 - 0.00000 - 260 145s 6567 195 0.00000 31 266 - 0.00000 - 260 150s 6798 186 0.00000 25 256 - 0.00000 - 261 155s 7012 198 infeasible 34 - 0.00000 - 261 160s 7229 189 infeasible 31 - 0.00000 - 262 165s 7478 204 0.00000 31 300 - 0.00000 - 262 170s 7694 188 infeasible 25 - 0.00000 - 263 175s 7913 199 0.00000 28 275 - 0.00000 - 263 180s 8112 192 0.00000 30 218 - 0.00000 - 265 185s 8355 201 0.00000 31 319 - 0.00000 - 264 190s 8564 194 infeasible 28 - 0.00000 - 264 195s 8796 186 0.00000 27 253 - 0.00000 - 265 200s 8990 188 infeasible 30 - 0.00000 - 266 205s 9234 194 infeasible 29 - 0.00000 - 265 210s 9483 185 0.00000 28 305 - 0.00000 - 265 215s 9712 194 infeasible 29 - 0.00000 - 265 220s 9931 181 infeasible 28 - 0.00000 - 265 225s 10153 179 infeasible 33 - 0.00000 - 265 230s 10383 187 infeasible 26 - 0.00000 - 266 235s 10614 182 0.00000 29 294 - 0.00000 - 266 240s 10828 180 infeasible 30 - 0.00000 - 266 245s 11035 185 infeasible 29 - 0.00000 - 267 250s 11245 181 infeasible 30 - 0.00000 - 267 255s 11470 184 0.00000 31 293 - 0.00000 - 267 260s 11708 180 infeasible 34 - 0.00000 - 267 265s 11931 165 0.00000 23 274 - 0.00000 - 267 270s 12165 177 0.00000 32 286 - 0.00000 - 267 275s 12411 169 infeasible 28 - 0.00000 - 267 280s Cutting planes: Clique: 5 Zero half: 4 Explored 12616 nodes (3398490 simplex iterations) in 283.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