current bounds on the number of colors: 0 -- 145 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 14:29:28 2012 Optimize a model with 74161 rows, 11468 columns and 232488 nonzeros Presolve time: 0.20s Presolved: 74161 rows, 11468 columns, 232488 nonzeros Variable types: 0 continuous, 11468 integer (11468 binary) Root relaxation: objective 0.000000e+00, 365 iterations, 0.08 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 (789 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: 0 -- 72 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 14:29:29 2012 Optimize a model with 37153 rows, 6248 columns and 116244 nonzeros Presolve time: 0.16s Presolved: 37153 rows, 6248 columns, 116244 nonzeros Variable types: 0 continuous, 6248 integer (6248 binary) Root relaxation: objective 0.000000e+00, 354 iterations, 0.04 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 (666 simplex iterations) in 0.25 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 -- 36 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 14:29:29 2012 Optimize a model with 18649 rows, 3638 columns and 58122 nonzeros Presolve time: 0.06s Presolved: 18649 rows, 3638 columns, 58122 nonzeros Variable types: 0 continuous, 3638 integer (3638 binary) Root relaxation: objective 0.000000e+00, 425 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 (836 simplex iterations) in 0.12 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 14:29:30 2012 Optimize a model with 9397 rows, 2333 columns and 29061 nonzeros Presolve time: 0.03s Presolved: 9397 rows, 2333 columns, 29061 nonzeros Variable types: 0 continuous, 2333 integer (2333 binary) Root relaxation: objective 0.000000e+00, 310 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 (1077 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 14:29:30 2012 Optimize a model with 4257 rows, 1608 columns and 12916 nonzeros Presolve time: 0.01s Presolved: 4257 rows, 1608 columns, 12916 nonzeros Variable types: 0 continuous, 1608 integer (1608 binary) Root relaxation: objective 0.000000e+00, 304 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 284 - 0.00000 - - 0s 0 0 0.00000 0 463 - 0.00000 - - 1s 0 0 0.00000 0 477 - 0.00000 - - 2s 0 0 0.00000 0 452 - 0.00000 - - 3s 0 0 0.00000 0 456 - 0.00000 - - 6s 0 0 0.00000 0 458 - 0.00000 - - 8s 0 0 0.00000 0 458 - 0.00000 - - 9s 0 0 0.00000 0 466 - 0.00000 - - 11s 0 0 0.00000 0 466 - 0.00000 - - 12s 0 2 0.00000 0 466 - 0.00000 - - 13s Cutting planes: Clique: 28 Zero half: 13 Explored 7 nodes (48798 simplex iterations) in 13.94 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 14:29:44 2012 Optimize a model with 6313 rows, 1898 columns and 19374 nonzeros Presolve time: 0.02s Presolved: 6313 rows, 1898 columns, 19374 nonzeros Variable types: 0 continuous, 1898 integer (1898 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 282 - 0.00000 - - 0s 0 0 0.00000 0 250 - 0.00000 - - 0s 0 0 0.00000 0 362 - 0.00000 - - 1s 0 0 0.00000 0 331 - 0.00000 - - 1s 0 0 0.00000 0 396 - 0.00000 - - 1s 0 0 0.00000 0 215 - 0.00000 - - 2s 0 0 0.00000 0 174 - 0.00000 - - 3s 0 0 0.00000 0 311 - 0.00000 - - 3s H 0 0 0.0000000 0.00000 0.0% - 3s Cutting planes: Clique: 7 Zero half: 7 Explored 0 nodes (25476 simplex iterations) in 3.75 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 14:29:48 2012 Optimize a model with 5285 rows, 1753 columns and 16145 nonzeros Presolve time: 0.01s Presolved: 5285 rows, 1753 columns, 16145 nonzeros Variable types: 0 continuous, 1753 integer (1753 binary) Root relaxation: objective 0.000000e+00, 307 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 282 - 0.00000 - - 0s 0 0 0.00000 0 360 - 0.00000 - - 0s 0 0 0.00000 0 276 - 0.00000 - - 2s 0 0 0.00000 0 413 - 0.00000 - - 2s 0 0 0.00000 0 320 - 0.00000 - - 3s 0 0 0.00000 0 297 - 0.00000 - - 5s 0 0 0.00000 0 287 - 0.00000 - - 6s 0 0 0.00000 0 261 - 0.00000 - - 7s 0 0 0.00000 0 293 - 0.00000 - - 7s 0 0 0.00000 0 300 - 0.00000 - - 8s 0 0 0.00000 0 414 - 0.00000 - - 9s 0 0 0.00000 0 277 - 0.00000 - - 11s 0 2 0.00000 0 277 - 0.00000 - - 12s 121 19 0.00000 14 320 - 0.00000 - 186 15s 427 54 0.00000 21 346 - 0.00000 - 175 20s 777 57 0.00000 17 336 - 0.00000 - 165 25s 1109 60 0.00000 17 345 - 0.00000 - 162 30s 1404 57 infeasible 21 - 0.00000 - 165 35s 1710 52 infeasible 25 - 0.00000 - 166 40s 1903 58 0.00000 19 276 - 0.00000 - 167 45s 1906 60 0.00000 10 305 - 0.00000 - 166 51s 1909 62 0.00000 19 372 - 0.00000 - 166 56s 1911 64 0.00000 15 305 - 0.00000 - 166 60s 1913 65 0.00000 9 308 - 0.00000 - 166 65s 1919 69 0.00000 14 353 - 0.00000 - 198 70s 1939 78 0.00000 23 342 - 0.00000 - 199 75s 2031 76 infeasible 34 - 0.00000 - 205 80s 2155 53 infeasible 30 - 0.00000 - 214 85s 2277 71 infeasible 36 - 0.00000 - 222 90s 2412 86 infeasible 32 - 0.00000 - 229 95s 2541 85 infeasible 29 - 0.00000 - 236 100s 2701 121 0.00000 35 339 - 0.00000 - 240 105s 2836 126 0.00000 36 341 - 0.00000 - 246 110s 2987 135 infeasible 32 - 0.00000 - 250 115s 3128 154 0.00000 31 325 - 0.00000 - 254 120s 3265 171 infeasible 35 - 0.00000 - 258 125s 3400 188 infeasible 35 - 0.00000 - 263 130s 3538 196 0.00000 32 322 - 0.00000 - 266 135s 3666 206 infeasible 36 - 0.00000 - 271 140s 3805 225 infeasible 35 - 0.00000 - 273 145s 3940 246 infeasible 33 - 0.00000 - 275 150s 4071 257 0.00000 33 286 - 0.00000 - 278 155s 4210 258 0.00000 37 341 - 0.00000 - 281 160s 4338 250 infeasible 28 - 0.00000 - 283 165s 4475 249 infeasible 31 - 0.00000 - 285 170s 4600 248 0.00000 38 316 - 0.00000 - 288 175s 4746 242 infeasible 40 - 0.00000 - 290 180s 4882 240 infeasible 34 - 0.00000 - 292 185s 5006 250 infeasible 36 - 0.00000 - 294 190s 5142 240 infeasible 36 - 0.00000 - 296 195s 5271 253 0.00000 27 341 - 0.00000 - 297 200s 5376 246 infeasible 32 - 0.00000 - 300 205s 5505 247 0.00000 34 325 - 0.00000 - 302 210s 5617 249 infeasible 30 - 0.00000 - 304 215s 5723 245 infeasible 30 - 0.00000 - 307 220s 5844 250 infeasible 35 - 0.00000 - 309 225s 5958 246 0.00000 27 351 - 0.00000 - 311 230s 6089 249 infeasible 32 - 0.00000 - 312 235s 6210 246 infeasible 38 - 0.00000 - 313 240s 6337 243 infeasible 37 - 0.00000 - 314 245s 6465 237 infeasible 38 - 0.00000 - 316 250s 6582 234 0.00000 34 316 - 0.00000 - 317 255s 6703 235 0.00000 31 339 - 0.00000 - 319 260s 6823 243 infeasible 32 - 0.00000 - 320 265s 6944 246 infeasible 32 - 0.00000 - 322 270s 7088 250 infeasible 37 - 0.00000 - 322 275s Cutting planes: Gomory: 1 Clique: 8 Zero half: 6 Explored 7166 nodes (2364523 simplex iterations) in 278.02 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