current bounds on the number of colors: 0 -- 148 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 17:06:02 2012 Optimize a model with 76590 rows, 11985 columns and 240278 nonzeros Presolve time: 0.22s Presolved: 76590 rows, 11985 columns, 240278 nonzeros Variable types: 0 continuous, 11985 integer (11985 binary) Root relaxation: objective 0.000000e+00, 367 iterations, 0.09 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 (773 simplex iterations) in 0.43 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 -- 74 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 17:06:04 2012 Optimize a model with 38369 rows, 6509 columns and 120139 nonzeros Presolve time: 0.15s Presolved: 38369 rows, 6509 columns, 120139 nonzeros Variable types: 0 continuous, 6509 integer (6509 binary) Root relaxation: objective 0.000000e+00, 352 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 (744 simplex iterations) in 0.24 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 -- 37 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 17:06:04 2012 Optimize a model with 18742 rows, 3697 columns and 58446 nonzeros Presolve time: 0.06s Presolved: 18742 rows, 3697 columns, 58446 nonzeros Variable types: 0 continuous, 3697 integer (3697 binary) Root relaxation: objective 0.000000e+00, 442 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 (874 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 17:06:05 2012 Optimize a model with 9445 rows, 2365 columns and 29223 nonzeros Presolve time: 0.03s Presolved: 9445 rows, 2365 columns, 29223 nonzeros Variable types: 0 continuous, 2365 integer (2365 binary) Root relaxation: objective 0.000000e+00, 313 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 (1042 simplex iterations) in 0.07 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 17:06:05 2012 Optimize a model with 4280 rows, 1625 columns and 12988 nonzeros Presolve time: 0.01s Presolved: 4280 rows, 1625 columns, 12988 nonzeros Variable types: 0 continuous, 1625 integer (1625 binary) Root relaxation: objective 0.000000e+00, 321 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 296 - 0.00000 - - 0s 0 0 0.00000 0 207 - 0.00000 - - 0s 0 0 0.00000 0 446 - 0.00000 - - 1s 0 0 0.00000 0 448 - 0.00000 - - 2s 0 0 0.00000 0 435 - 0.00000 - - 4s 0 0 0.00000 0 438 - 0.00000 - - 5s 0 0 0.00000 0 445 - 0.00000 - - 6s 0 0 0.00000 0 436 - 0.00000 - - 8s 0 0 0.00000 0 447 - 0.00000 - - 9s 0 0 0.00000 0 440 - 0.00000 - - 10s 0 0 0.00000 0 433 - 0.00000 - - 12s 0 0 0.00000 0 433 - 0.00000 - - 13s 0 0 0.00000 0 433 - 0.00000 - - 14s 0 2 0.00000 0 433 - 0.00000 - - 16s Cutting planes: Clique: 9 Zero half: 14 Explored 9 nodes (52106 simplex iterations) in 16.54 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 17:06:21 2012 Optimize a model with 6346 rows, 1921 columns and 19482 nonzeros Presolve time: 0.02s Presolved: 6346 rows, 1921 columns, 19482 nonzeros Variable types: 0 continuous, 1921 integer (1921 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 160 - 0.00000 - - 0s 0 0 0.00000 0 140 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 1s Explored 0 nodes (10984 simplex iterations) in 1.17 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 17:06:23 2012 Optimize a model with 5313 rows, 1773 columns and 16235 nonzeros Presolve time: 0.01s Presolved: 5313 rows, 1773 columns, 16235 nonzeros Variable types: 0 continuous, 1773 integer (1773 binary) Root relaxation: objective 0.000000e+00, 313 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 190 - 0.00000 - - 0s 0 0 0.00000 0 346 - 0.00000 - - 0s 0 0 0.00000 0 351 - 0.00000 - - 1s 0 0 0.00000 0 345 - 0.00000 - - 2s 0 0 0.00000 0 343 - 0.00000 - - 2s 0 0 0.00000 0 335 - 0.00000 - - 2s 0 0 0.00000 0 336 - 0.00000 - - 2s 0 0 0.00000 0 324 - 0.00000 - - 3s 0 0 0.00000 0 341 - 0.00000 - - 4s 0 0 0.00000 0 331 - 0.00000 - - 5s 0 0 0.00000 0 363 - 0.00000 - - 6s 0 0 0.00000 0 354 - 0.00000 - - 7s 0 0 0.00000 0 369 - 0.00000 - - 8s 0 0 0.00000 0 369 - 0.00000 - - 8s 0 2 0.00000 0 369 - 0.00000 - - 9s 4 2 0.00000 2 349 - 0.00000 - 846 10s 321 76 infeasible 24 - 0.00000 - 166 15s 771 69 0.00000 17 313 - 0.00000 - 143 20s 905 90 0.00000 16 343 - 0.00000 - 142 26s 907 91 0.00000 11 316 - 0.00000 - 142 30s 910 93 0.00000 20 323 - 0.00000 - 142 36s 912 94 0.00000 17 326 - 0.00000 - 141 40s 914 96 0.00000 18 315 - 0.00000 - 141 45s 918 98 0.00000 16 180 - 0.00000 - 140 51s 925 99 0.00000 15 368 - 0.00000 - 204 55s 985 103 0.00000 26 350 - 0.00000 - 208 60s 1107 56 0.00000 28 350 - 0.00000 - 224 65s 1213 27 infeasible 28 - 0.00000 - 243 70s 1323 23 infeasible 30 - 0.00000 - 255 75s 1438 28 infeasible 32 - 0.00000 - 266 80s 1548 22 infeasible 31 - 0.00000 - 275 85s 1672 30 infeasible 28 - 0.00000 - 281 90s 1802 28 infeasible 34 - 0.00000 - 287 95s 1911 29 infeasible 32 - 0.00000 - 292 100s 2032 32 infeasible 31 - 0.00000 - 296 105s 2159 27 0.00000 29 345 - 0.00000 - 301 110s 2272 40 0.00000 32 354 - 0.00000 - 305 115s 2382 40 infeasible 35 - 0.00000 - 309 120s 2477 35 0.00000 31 350 - 0.00000 - 315 125s 2595 49 infeasible 31 - 0.00000 - 318 130s 2735 35 infeasible 28 - 0.00000 - 321 135s 2833 43 infeasible 32 - 0.00000 - 324 140s 2952 54 0.00000 31 338 - 0.00000 - 327 145s 3069 39 0.00000 29 336 - 0.00000 - 329 150s 3239 55 0.00000 36 246 - 0.00000 - 327 155s 3395 47 infeasible 35 - 0.00000 - 328 160s 3541 43 0.00000 18 386 - 0.00000 - 329 165s 3684 78 0.00000 29 319 - 0.00000 - 329 170s 3824 80 infeasible 38 - 0.00000 - 330 175s 3957 81 0.00000 28 358 - 0.00000 - 332 180s 4085 87 infeasible 37 - 0.00000 - 333 185s 4203 77 infeasible 31 - 0.00000 - 335 190s 4333 71 infeasible 35 - 0.00000 - 336 195s 4454 60 infeasible 33 - 0.00000 - 337 200s 4578 50 infeasible 29 - 0.00000 - 339 205s 4720 54 0.00000 31 360 - 0.00000 - 339 210s 4840 46 infeasible 29 - 0.00000 - 341 215s 4968 48 infeasible 28 - 0.00000 - 342 220s 5098 38 infeasible 27 - 0.00000 - 343 225s 5233 55 infeasible 28 - 0.00000 - 344 230s 5389 61 infeasible 30 - 0.00000 - 344 235s 5516 48 0.00000 27 357 - 0.00000 - 345 240s 5663 51 infeasible 34 - 0.00000 - 345 245s 5805 49 infeasible 29 - 0.00000 - 345 250s 5913 41 0.00000 31 327 - 0.00000 - 347 255s 6034 50 infeasible 32 - 0.00000 - 348 260s 6151 61 0.00000 29 340 - 0.00000 - 349 265s 6291 71 0.00000 33 252 - 0.00000 - 349 270s 6434 58 0.00000 30 342 - 0.00000 - 349 275s Cutting planes: Clique: 2 Zero half: 17 Explored 6509 nodes (2317544 simplex iterations) in 277.89 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