current bounds on the number of colors: 0 -- 148 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 17:01:02 2012 Optimize a model with 79624 rows, 12026 columns and 249380 nonzeros Presolve time: 0.22s Presolved: 79624 rows, 12026 columns, 249380 nonzeros Variable types: 0 continuous, 12026 integer (12026 binary) Root relaxation: objective 0.000000e+00, 393 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 (807 simplex iterations) in 0.44 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:01:04 2012 Optimize a model with 39886 rows, 6550 columns and 124690 nonzeros Presolve time: 0.15s Presolved: 39886 rows, 6550 columns, 124690 nonzeros Variable types: 0 continuous, 6550 integer (6550 binary) Root relaxation: objective 0.000000e+00, 457 iterations, 0.05 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 (849 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 -- 37 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 17:01:04 2012 Optimize a model with 19480 rows, 3738 columns and 60660 nonzeros Presolve time: 0.07s Presolved: 19480 rows, 3738 columns, 60660 nonzeros Variable types: 0 continuous, 3738 integer (3738 binary) Root relaxation: objective 0.000000e+00, 440 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 (842 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:01:05 2012 Optimize a model with 9814 rows, 2406 columns and 30330 nonzeros Presolve time: 0.03s Presolved: 9814 rows, 2406 columns, 30330 nonzeros Variable types: 0 continuous, 2406 integer (2406 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1084 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 17:01:05 2012 Optimize a model with 4444 rows, 1666 columns and 13480 nonzeros Presolve time: 0.01s Presolved: 4444 rows, 1666 columns, 13480 nonzeros Variable types: 0 continuous, 1666 integer (1666 binary) Root relaxation: objective 0.000000e+00, 320 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 186 - 0.00000 - - 0s 0 0 0.00000 0 180 - 0.00000 - - 1s 0 0 infeasible 0 - 0.10000 - - 1s Explored 0 nodes (11479 simplex iterations) in 1.44 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound 1.000000000000e+00, gap - current bounds on the number of colors: 4 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 17:01:06 2012 Optimize a model with 6592 rows, 1962 columns and 20220 nonzeros Presolve time: 0.02s Presolved: 6592 rows, 1962 columns, 20220 nonzeros Variable types: 0 continuous, 1962 integer (1962 binary) Root relaxation: objective 0.000000e+00, 316 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 191 - 0.00000 - - 0s 0 0 0.00000 0 236 - 0.00000 - - 1s 0 0 0.00000 0 263 - 0.00000 - - 2s 0 0 0.00000 0 339 - 0.00000 - - 2s 0 0 0.00000 0 192 - 0.00000 - - 3s 0 0 0.00000 0 265 - 0.00000 - - 3s 0 0 0.00000 0 299 - 0.00000 - - 3s 0 0 0.00000 0 377 - 0.00000 - - 4s 0 0 0.00000 0 321 - 0.00000 - - 5s 0 2 0.00000 0 321 - 0.00000 - - 5s 1003 81 0.00000 30 263 - 0.00000 - 57.5 10s 1009 85 0.00000 9 289 - 0.00000 - 57.2 15s * 1009 80 15 0.0000000 0.00000 0.0% 57.2 16s Cutting planes: Gomory: 25 Clique: 8 Zero half: 121 Explored 1009 nodes (126915 simplex iterations) in 16.70 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:01:23 2012 Optimize a model with 5518 rows, 1814 columns and 16850 nonzeros Presolve time: 0.01s Presolved: 5518 rows, 1814 columns, 16850 nonzeros Variable types: 0 continuous, 1814 integer (1814 binary) Root relaxation: objective 0.000000e+00, 317 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 274 - 0.00000 - - 0s 0 0 0.00000 0 254 - 0.00000 - - 1s 0 0 0.00000 0 452 - 0.00000 - - 2s 0 0 0.00000 0 365 - 0.00000 - - 3s 0 0 0.00000 0 364 - 0.00000 - - 4s 0 0 0.00000 0 351 - 0.00000 - - 5s 0 0 0.00000 0 358 - 0.00000 - - 7s 0 0 0.00000 0 354 - 0.00000 - - 8s 0 0 0.00000 0 355 - 0.00000 - - 9s 0 0 0.00000 0 391 - 0.00000 - - 11s 0 0 0.00000 0 391 - 0.00000 - - 11s 0 2 0.00000 0 391 - 0.00000 - - 13s 65 34 0.00000 15 344 - 0.00000 - 258 15s 346 47 0.00000 17 341 - 0.00000 - 186 20s 640 48 0.00000 16 337 - 0.00000 - 178 25s 952 41 infeasible 17 - 0.00000 - 171 30s 1008 55 0.00000 20 265 - 0.00000 - 171 37s 1009 55 0.00000 2 283 - 0.00000 - 171 40s 1012 57 0.00000 18 227 - 0.00000 - 170 47s 1014 59 0.00000 8 307 - 0.00000 - 170 51s 1020 63 0.00000 16 387 - 0.00000 - 229 55s 1048 77 infeasible 30 - 0.00000 - 229 60s 1152 47 infeasible 36 - 0.00000 - 240 65s 1267 23 infeasible 30 - 0.00000 - 251 70s 1374 28 0.00000 31 373 - 0.00000 - 261 75s 1486 38 infeasible 37 - 0.00000 - 270 80s 1588 22 0.00000 30 355 - 0.00000 - 277 85s 1700 30 0.00000 32 334 - 0.00000 - 283 90s 1805 35 infeasible 32 - 0.00000 - 290 95s 1906 44 infeasible 35 - 0.00000 - 294 100s 2007 43 infeasible 32 - 0.00000 - 300 105s 2125 49 0.00000 33 297 - 0.00000 - 303 110s 2231 47 infeasible 31 - 0.00000 - 308 115s 2347 53 infeasible 37 - 0.00000 - 311 120s 2463 49 0.00000 30 347 - 0.00000 - 314 125s 2579 51 infeasible 29 - 0.00000 - 316 130s 2685 47 infeasible 30 - 0.00000 - 320 135s 2803 47 infeasible 29 - 0.00000 - 322 140s 2912 62 0.00000 33 364 - 0.00000 - 324 145s 3006 64 infeasible 32 - 0.00000 - 326 150s 3090 62 infeasible 27 - 0.00000 - 331 155s 3188 66 infeasible 31 - 0.00000 - 333 160s 3290 70 infeasible 28 - 0.00000 - 336 165s 3381 75 0.00000 28 292 - 0.00000 - 339 170s 3496 76 0.00000 32 362 - 0.00000 - 340 175s 3607 77 0.00000 32 344 - 0.00000 - 342 180s 3721 73 infeasible 29 - 0.00000 - 343 185s 3810 74 infeasible 32 - 0.00000 - 346 190s 3929 73 0.00000 26 368 - 0.00000 - 347 195s 4045 69 infeasible 32 - 0.00000 - 347 200s 4153 73 0.00000 27 371 - 0.00000 - 349 205s 4263 81 0.00000 26 371 - 0.00000 - 349 210s 4385 81 infeasible 31 - 0.00000 - 350 215s 4496 74 0.00000 26 366 - 0.00000 - 350 220s 4604 76 infeasible 28 - 0.00000 - 351 225s 4707 81 0.00000 34 346 - 0.00000 - 353 230s 4804 78 0.00000 34 362 - 0.00000 - 354 235s 4918 78 0.00000 30 276 - 0.00000 - 355 240s 5026 76 0.00000 32 356 - 0.00000 - 355 245s 5145 73 0.00000 32 363 - 0.00000 - 355 250s 5270 74 infeasible 29 - 0.00000 - 355 255s 5392 82 0.00000 30 270 - 0.00000 - 355 260s 5491 81 infeasible 31 - 0.00000 - 357 265s 5599 87 0.00000 33 372 - 0.00000 - 358 270s 5704 100 infeasible 39 - 0.00000 - 358 275s Cutting planes: Clique: 7 Zero half: 12 Explored 5766 nodes (2118305 simplex iterations) in 277.28 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