current bounds on the number of colors: 0 -- 139 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 09:38:21 2012 Optimize a model with 64930 rows, 10530 columns and 203964 nonzeros Presolve time: 0.19s Presolved: 64930 rows, 10530 columns, 203964 nonzeros Variable types: 0 continuous, 10530 integer (10530 binary) Root relaxation: objective 0.000000e+00, 370 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 (874 simplex iterations) in 0.40 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 -- 69 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 09:38:22 2012 Optimize a model with 32065 rows, 5665 columns and 100504 nonzeros Presolve time: 0.15s Presolved: 32065 rows, 5665 columns, 100504 nonzeros Variable types: 0 continuous, 5665 integer (5665 binary) Root relaxation: objective 0.000000e+00, 423 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 (798 simplex iterations) in 0.23 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 -- 34 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 09:38:23 2012 Optimize a model with 16102 rows, 3302 columns and 50252 nonzeros Presolve time: 0.05s Presolved: 16102 rows, 3302 columns, 50252 nonzeros Variable types: 0 continuous, 3302 integer (3302 binary) Root relaxation: objective 0.000000e+00, 278 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 (535 simplex iterations) in 0.09 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 -- 17 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 09:38:23 2012 Optimize a model with 7651 rows, 2051 columns and 23648 nonzeros Presolve time: 0.02s Presolved: 7651 rows, 2051 columns, 23648 nonzeros Variable types: 0 continuous, 2051 integer (2051 binary) Root relaxation: objective 0.000000e+00, 291 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 (918 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 09:38:23 2012 Optimize a model with 3895 rows, 1495 columns and 11824 nonzeros Presolve time: 0.01s Presolved: 3895 rows, 1495 columns, 11824 nonzeros Variable types: 0 continuous, 1495 integer (1495 binary) Root relaxation: objective 0.000000e+00, 299 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 276 - 0.00000 - - 0s 0 0 0.00000 0 276 - 0.00000 - - 0s 0 0 0.00000 0 442 - 0.00000 - - 1s 0 0 0.00000 0 438 - 0.00000 - - 1s 0 0 0.00000 0 436 - 0.00000 - - 2s 0 0 0.00000 0 432 - 0.00000 - - 2s 0 0 0.00000 0 430 - 0.00000 - - 2s 0 0 0.00000 0 429 - 0.00000 - - 2s 0 0 0.00000 0 446 - 0.00000 - - 3s 0 0 0.00000 0 439 - 0.00000 - - 4s 0 0 0.00000 0 443 - 0.00000 - - 4s 0 0 0.00000 0 434 - 0.00000 - - 5s 0 0 0.00000 0 430 - 0.00000 - - 5s 0 0 0.00000 0 430 - 0.00000 - - 6s 0 0 0.00000 0 430 - 0.00000 - - 6s 0 2 0.00000 0 430 - 0.00000 - - 8s Cutting planes: Clique: 12 Zero half: 20 Explored 15 nodes (38400 simplex iterations) in 8.93 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 09:38:32 2012 Optimize a model with 5773 rows, 1773 columns and 17736 nonzeros Presolve time: 0.02s Presolved: 5773 rows, 1773 columns, 17736 nonzeros Variable types: 0 continuous, 1773 integer (1773 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.00000 0 254 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Cutting planes: Gomory: 5 Clique: 300 MIR: 14 Zero half: 440 Explored 0 nodes (4397 simplex iterations) in 0.46 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 09:38:33 2012 Optimize a model with 4834 rows, 1634 columns and 14780 nonzeros Presolve time: 0.01s Presolved: 4834 rows, 1634 columns, 14780 nonzeros Variable types: 0 continuous, 1634 integer (1634 binary) Root relaxation: objective 0.000000e+00, 294 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 276 - 0.00000 - - 0s 0 0 0.00000 0 258 - 0.00000 - - 0s 0 0 0.00000 0 242 - 0.00000 - - 1s 0 0 0.00000 0 427 - 0.00000 - - 1s 0 0 0.00000 0 216 - 0.00000 - - 2s 0 0 0.00000 0 322 - 0.00000 - - 3s 0 0 0.00000 0 282 - 0.00000 - - 4s 0 0 0.00000 0 334 - 0.00000 - - 5s 0 0 0.00000 0 310 - 0.00000 - - 6s 0 0 0.00000 0 265 - 0.00000 - - 6s 0 0 0.00000 0 331 - 0.00000 - - 7s 0 0 0.00000 0 313 - 0.00000 - - 8s 0 0 0.00000 0 311 - 0.00000 - - 8s 0 0 0.00000 0 296 - 0.00000 - - 9s 0 0 0.00000 0 302 - 0.00000 - - 10s 0 0 0.00000 0 302 - 0.00000 - - 10s 0 2 0.00000 0 302 - 0.00000 - - 11s 389 97 0.00000 33 264 - 0.00000 - 111 15s 805 106 0.00000 28 238 - 0.00000 - 108 21s 808 108 0.00000 21 213 - 0.00000 - 108 25s 811 110 0.00000 12 190 - 0.00000 - 108 30s 814 112 0.00000 10 292 - 0.00000 - 107 35s 818 114 0.00000 28 314 - 0.00000 - 107 40s 847 130 0.00000 27 289 - 0.00000 - 192 45s 1032 141 0.00000 22 347 - 0.00000 - 200 50s 1213 136 infeasible 36 - 0.00000 - 214 55s 1404 179 infeasible 34 - 0.00000 - 223 60s 1597 244 0.00000 33 319 - 0.00000 - 229 65s 1797 286 0.00000 34 289 - 0.00000 - 235 70s 1967 298 0.00000 35 327 - 0.00000 - 243 75s 2143 322 infeasible 38 - 0.00000 - 248 80s 2294 315 0.00000 32 322 - 0.00000 - 256 85s 2460 309 infeasible 34 - 0.00000 - 261 90s 2701 314 0.00000 36 293 - 0.00000 - 261 95s 2931 338 0.00000 32 268 - 0.00000 - 262 100s 3147 352 0.00000 26 286 - 0.00000 - 263 105s 3381 356 0.00000 32 308 - 0.00000 - 263 110s 3622 367 infeasible 37 - 0.00000 - 263 115s 3868 365 infeasible 35 - 0.00000 - 263 120s 4101 370 infeasible 33 - 0.00000 - 263 125s 4274 365 0.00000 30 337 - 0.00000 - 266 130s 4485 382 0.00000 28 295 - 0.00000 - 267 135s 4687 402 0.00000 29 300 - 0.00000 - 267 140s 4892 403 infeasible 38 - 0.00000 - 268 145s 5070 425 infeasible 35 - 0.00000 - 270 150s 5325 436 infeasible 32 - 0.00000 - 269 155s 5540 437 infeasible 46 - 0.00000 - 270 160s 5733 460 infeasible 38 - 0.00000 - 271 165s 5936 467 infeasible 36 - 0.00000 - 272 170s 6104 457 0.00000 36 310 - 0.00000 - 273 175s 6305 470 0.00000 38 224 - 0.00000 - 274 180s 6466 467 infeasible 27 - 0.00000 - 276 185s 6659 510 0.00000 30 232 - 0.00000 - 276 190s 6846 503 infeasible 33 - 0.00000 - 277 195s 7023 518 0.00000 36 264 - 0.00000 - 279 200s 7227 550 infeasible 32 - 0.00000 - 279 205s 7423 556 infeasible 39 - 0.00000 - 279 210s 7681 584 0.00000 36 222 - 0.00000 - 278 215s 7904 565 infeasible 37 - 0.00000 - 278 220s 8137 562 infeasible 37 - 0.00000 - 278 225s 8342 607 infeasible 33 - 0.00000 - 278 230s 8535 644 infeasible 33 - 0.00000 - 278 235s 8697 664 infeasible 33 - 0.00000 - 279 240s 8867 658 infeasible 26 - 0.00000 - 280 245s 9050 681 0.00000 33 272 - 0.00000 - 281 250s 9255 684 infeasible 32 - 0.00000 - 281 255s 9427 710 0.00000 40 311 - 0.00000 - 282 260s 9625 728 infeasible 33 - 0.00000 - 282 265s 9796 727 0.00000 36 246 - 0.00000 - 283 270s 9983 744 0.00000 30 333 - 0.00000 - 283 275s 10162 751 infeasible 31 - 0.00000 - 284 280s 10340 755 infeasible 34 - 0.00000 - 285 285s Cutting planes: Clique: 2 Zero half: 18 Explored 10405 nodes (3030469 simplex iterations) in 286.83 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