current bounds on the number of colors: 0 -- 143 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 13:15:04 2012 Optimize a model with 72563 rows, 11173 columns and 227413 nonzeros Presolve time: 0.20s Presolved: 72563 rows, 11173 columns, 227413 nonzeros Variable types: 0 continuous, 11173 integer (11173 binary) Root relaxation: objective 0.000000e+00, 362 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 (799 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 -- 71 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 13:15:06 2012 Optimize a model with 35843 rows, 6025 columns and 112105 nonzeros Presolve time: 0.16s Presolved: 35843 rows, 6025 columns, 112105 nonzeros Variable types: 0 continuous, 6025 integer (6025 binary) Root relaxation: objective 0.000000e+00, 348 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 (655 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 -- 35 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 13:15:06 2012 Optimize a model with 17483 rows, 3451 columns and 54451 nonzeros Presolve time: 0.06s Presolved: 17483 rows, 3451 columns, 54451 nonzeros Variable types: 0 continuous, 3451 integer (3451 binary) Root relaxation: objective 0.000000e+00, 411 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 (821 simplex iterations) in 0.11 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 13:15:07 2012 Optimize a model with 8303 rows, 2164 columns and 25624 nonzeros Presolve time: 0.02s Presolved: 8303 rows, 2164 columns, 25624 nonzeros Variable types: 0 continuous, 2164 integer (2164 binary) Root relaxation: objective 0.000000e+00, 306 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 (1259 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 13:15:07 2012 Optimize a model with 4223 rows, 1592 columns and 12812 nonzeros Presolve time: 0.01s Presolved: 4223 rows, 1592 columns, 12812 nonzeros Variable types: 0 continuous, 1592 integer (1592 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 182 - 0.00000 - - 0s 0 0 0.00000 0 402 - 0.00000 - - 0s 0 0 0.00000 0 447 - 0.00000 - - 2s 0 0 0.00000 0 454 - 0.00000 - - 2s 0 0 0.00000 0 444 - 0.00000 - - 3s 0 0 0.00000 0 454 - 0.00000 - - 4s 0 0 0.00000 0 447 - 0.00000 - - 5s 0 0 0.00000 0 440 - 0.00000 - - 6s 0 0 0.00000 0 444 - 0.00000 - - 7s 0 0 0.00000 0 441 - 0.00000 - - 8s 0 0 0.00000 0 443 - 0.00000 - - 9s 0 0 0.00000 0 443 - 0.00000 - - 9s 0 2 0.00000 0 443 - 0.00000 - - 11s Cutting planes: Clique: 31 Zero half: 22 Explored 23 nodes (56360 simplex iterations) in 12.02 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 13:15:19 2012 Optimize a model with 6263 rows, 1878 columns and 19218 nonzeros Presolve time: 0.02s Presolved: 6263 rows, 1878 columns, 19218 nonzeros Variable types: 0 continuous, 1878 integer (1878 binary) Root relaxation: objective 0.000000e+00, 297 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 286 - 0.00000 - - 0s 0 0 0.00000 0 18 - 0.00000 - - 0s Cutting planes: Clique: 17 Explored 0 nodes (5810 simplex iterations) in 0.78 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 13:15:20 2012 Optimize a model with 5243 rows, 1735 columns and 16015 nonzeros Presolve time: 0.01s Presolved: 5243 rows, 1735 columns, 16015 nonzeros Variable types: 0 continuous, 1735 integer (1735 binary) Root relaxation: objective 0.000000e+00, 311 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 138 - 0.00000 - - 0s 0 0 0.00000 0 381 - 0.00000 - - 1s 0 0 0.00000 0 381 - 0.00000 - - 2s 0 0 0.00000 0 383 - 0.00000 - - 3s 0 0 0.00000 0 353 - 0.00000 - - 4s 0 0 0.00000 0 328 - 0.00000 - - 5s 0 0 0.00000 0 210 - 0.00000 - - 6s 0 0 0.00000 0 292 - 0.00000 - - 7s 0 0 0.00000 0 239 - 0.00000 - - 8s 0 0 0.00000 0 275 - 0.00000 - - 9s 0 0 0.00000 0 282 - 0.00000 - - 10s 0 0 0.00000 0 282 - 0.00000 - - 11s 0 2 0.00000 0 282 - 0.00000 - - 12s 94 26 0.00000 25 328 - 0.00000 - 208 15s 345 34 0.00000 21 328 - 0.00000 - 201 20s 625 36 0.00000 19 236 - 0.00000 - 191 25s 804 47 0.00000 18 377 - 0.00000 - 183 30s 810 51 0.00000 2 351 - 0.00000 - 181 35s 812 52 0.00000 21 365 - 0.00000 - 181 40s 815 54 0.00000 21 358 - 0.00000 - 180 47s 817 56 0.00000 10 334 - 0.00000 - 180 51s 822 59 0.00000 17 347 - 0.00000 - 179 55s 889 72 0.00000 24 339 - 0.00000 - 253 60s 1001 30 0.00000 28 332 - 0.00000 - 268 65s 1110 23 infeasible 29 - 0.00000 - 282 70s 1223 26 0.00000 22 342 - 0.00000 - 291 75s 1333 24 infeasible 24 - 0.00000 - 300 80s 1449 18 infeasible 21 - 0.00000 - 307 85s 1556 15 0.00000 20 355 - 0.00000 - 314 90s 1671 20 0.00000 22 329 - 0.00000 - 319 95s 1795 14 infeasible 25 - 0.00000 - 321 100s 1904 13 infeasible 22 - 0.00000 - 325 105s 2028 9 infeasible 22 - 0.00000 - 327 110s 2140 11 infeasible 25 - 0.00000 - 330 115s 2269 20 0.00000 25 339 - 0.00000 - 330 120s 2385 16 infeasible 24 - 0.00000 - 333 125s 2496 17 infeasible 24 - 0.00000 - 336 130s 2624 15 infeasible 27 - 0.00000 - 337 135s 2742 25 0.00000 27 262 - 0.00000 - 339 140s 2858 17 infeasible 27 - 0.00000 - 341 145s 2986 15 infeasible 28 - 0.00000 - 341 150s 3101 18 infeasible 30 - 0.00000 - 342 155s 3211 8 infeasible 21 - 0.00000 - 344 160s 3337 14 0.00000 22 345 - 0.00000 - 344 165s 3464 15 0.00000 26 350 - 0.00000 - 345 170s 3581 14 0.00000 21 344 - 0.00000 - 346 175s 3703 10 infeasible 19 - 0.00000 - 346 180s 3825 10 infeasible 22 - 0.00000 - 347 185s 3958 13 0.00000 25 323 - 0.00000 - 347 190s 4082 21 infeasible 25 - 0.00000 - 347 195s 4200 13 infeasible 22 - 0.00000 - 348 200s 4311 8 0.00000 15 378 - 0.00000 - 350 205s 4436 19 0.00000 22 321 - 0.00000 - 350 210s 4546 17 infeasible 25 - 0.00000 - 351 215s 4648 15 0.00000 22 323 - 0.00000 - 353 220s 4777 24 infeasible 31 - 0.00000 - 352 225s 4898 21 0.00000 25 341 - 0.00000 - 353 230s 5033 20 infeasible 31 - 0.00000 - 352 235s 5150 21 0.00000 24 363 - 0.00000 - 353 240s 5279 18 infeasible 24 - 0.00000 - 353 245s 5392 23 infeasible 32 - 0.00000 - 353 250s 5520 13 0.00000 28 330 - 0.00000 - 353 255s 5634 15 infeasible 25 - 0.00000 - 354 260s 5749 12 infeasible 26 - 0.00000 - 355 265s 5861 16 0.00000 27 305 - 0.00000 - 355 270s 5960 13 infeasible 25 - 0.00000 - 356 275s 6062 11 0.00000 19 360 - 0.00000 - 357 280s Cutting planes: Clique: 8 Zero half: 21 Explored 6126 nodes (2251522 simplex iterations) in 283.05 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