current bounds on the number of colors: 0 -- 145 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 14:49:27 2012 Optimize a model with 73801 rows, 11463 columns and 231408 nonzeros Presolve time: 0.21s Presolved: 73801 rows, 11463 columns, 231408 nonzeros Variable types: 0 continuous, 11463 integer (11463 binary) Root relaxation: objective 0.000000e+00, 343 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 (742 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 -- 72 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 14:49:29 2012 Optimize a model with 36973 rows, 6243 columns and 115704 nonzeros Presolve time: 0.16s Presolved: 36973 rows, 6243 columns, 115704 nonzeros Variable types: 0 continuous, 6243 integer (6243 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 (682 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:49:29 2012 Optimize a model with 18559 rows, 3633 columns and 57852 nonzeros Presolve time: 0.06s Presolved: 18559 rows, 3633 columns, 57852 nonzeros Variable types: 0 continuous, 3633 integer (3633 binary) Root relaxation: objective 0.000000e+00, 422 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 (805 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:49:30 2012 Optimize a model with 9352 rows, 2328 columns and 28926 nonzeros Presolve time: 0.03s Presolved: 9352 rows, 2328 columns, 28926 nonzeros Variable types: 0 continuous, 2328 integer (2328 binary) Root relaxation: objective 0.000000e+00, 309 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 (1120 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:49:30 2012 Optimize a model with 4237 rows, 1603 columns and 12856 nonzeros Presolve time: 0.01s Presolved: 4237 rows, 1603 columns, 12856 nonzeros Variable types: 0 continuous, 1603 integer (1603 binary) Root relaxation: objective 0.000000e+00, 327 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 180 - 0.00000 - - 0s 0 0 0.00000 0 232 - 0.00000 - - 1s 0 0 0.00000 0 460 - 0.00000 - - 2s 0 0 0.00000 0 450 - 0.00000 - - 3s 0 0 0.00000 0 443 - 0.00000 - - 3s 0 0 0.00000 0 431 - 0.00000 - - 3s 0 0 0.00000 0 445 - 0.00000 - - 4s 0 0 0.00000 0 444 - 0.00000 - - 5s 0 0 0.00000 0 433 - 0.00000 - - 6s 0 0 0.00000 0 445 - 0.00000 - - 8s 0 0 0.00000 0 435 - 0.00000 - - 10s 0 0 0.00000 0 435 - 0.00000 - - 11s 0 0 0.00000 0 438 - 0.00000 - - 12s 0 0 0.00000 0 438 - 0.00000 - - 12s 0 2 0.00000 0 438 - 0.00000 - - 14s Cutting planes: Clique: 12 Zero half: 15 Explored 7 nodes (53212 simplex iterations) in 14.37 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:49:44 2012 Optimize a model with 6283 rows, 1893 columns and 19284 nonzeros Presolve time: 0.02s Presolved: 6283 rows, 1893 columns, 19284 nonzeros Variable types: 0 continuous, 1893 integer (1893 binary) Root relaxation: objective 0.000000e+00, 309 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 135 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Cutting planes: Gomory: 2 Clique: 32 MIR: 3 Zero half: 46 Explored 0 nodes (7584 simplex iterations) in 0.79 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:49:45 2012 Optimize a model with 5260 rows, 1748 columns and 16070 nonzeros Presolve time: 0.01s Presolved: 5260 rows, 1748 columns, 16070 nonzeros Variable types: 0 continuous, 1748 integer (1748 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 286 - 0.00000 - - 0s 0 0 0.00000 0 270 - 0.00000 - - 0s 0 0 0.00000 0 353 - 0.00000 - - 2s 0 0 0.00000 0 368 - 0.00000 - - 2s 0 0 0.00000 0 277 - 0.00000 - - 3s 0 0 0.00000 0 343 - 0.00000 - - 4s 0 0 0.00000 0 359 - 0.00000 - - 4s 0 0 0.00000 0 275 - 0.00000 - - 5s 0 2 0.00000 0 275 - 0.00000 - - 7s 214 25 infeasible 20 - 0.00000 - 168 10s 716 22 infeasible 18 - 0.00000 - 136 15s 905 42 0.00000 23 306 - 0.00000 - 133 21s 907 43 0.00000 22 389 - 0.00000 - 133 26s 910 45 0.00000 21 377 - 0.00000 - 133 31s 913 47 0.00000 2 355 - 0.00000 - 132 35s 916 49 0.00000 10 346 - 0.00000 - 132 40s 919 51 0.00000 18 331 - 0.00000 - 131 45s 922 53 0.00000 21 330 - 0.00000 - 131 50s 1006 65 infeasible 35 - 0.00000 - 222 55s 1168 82 0.00000 33 322 - 0.00000 - 233 60s 1322 102 0.00000 30 306 - 0.00000 - 241 65s 1494 168 infeasible 45 - 0.00000 - 244 70s 1661 197 infeasible 46 - 0.00000 - 249 75s 1833 219 0.00000 39 338 - 0.00000 - 252 80s 1994 252 infeasible 32 - 0.00000 - 254 85s 2138 270 0.00000 37 317 - 0.00000 - 259 90s 2278 280 infeasible 42 - 0.00000 - 264 95s 2446 294 infeasible 41 - 0.00000 - 265 100s 2580 282 infeasible 28 - 0.00000 - 271 105s 2718 320 0.00000 31 248 - 0.00000 - 274 110s 2864 336 infeasible 32 - 0.00000 - 277 115s 3009 347 0.00000 32 332 - 0.00000 - 279 120s 3174 380 infeasible 32 - 0.00000 - 280 125s 3309 383 infeasible 46 - 0.00000 - 283 130s 3445 379 0.00000 27 360 - 0.00000 - 285 135s 3580 388 0.00000 38 316 - 0.00000 - 288 140s 3731 389 0.00000 33 326 - 0.00000 - 289 145s 3874 402 infeasible 36 - 0.00000 - 290 150s 4022 396 infeasible 32 - 0.00000 - 291 155s 4175 409 0.00000 37 282 - 0.00000 - 292 160s 4311 397 0.00000 33 331 - 0.00000 - 294 165s 4453 407 infeasible 36 - 0.00000 - 295 170s 4594 416 infeasible 33 - 0.00000 - 296 175s 4737 435 infeasible 39 - 0.00000 - 297 180s 4873 447 infeasible 42 - 0.00000 - 299 185s 5009 443 infeasible 40 - 0.00000 - 300 190s 5142 442 infeasible 40 - 0.00000 - 302 195s 5273 437 infeasible 36 - 0.00000 - 303 200s 5411 449 infeasible 37 - 0.00000 - 304 205s 5535 441 0.00000 38 324 - 0.00000 - 306 210s 5675 431 0.00000 39 256 - 0.00000 - 307 215s 5810 432 infeasible 44 - 0.00000 - 308 220s 5942 422 infeasible 32 - 0.00000 - 309 225s 6085 445 0.00000 36 339 - 0.00000 - 309 230s 6197 437 infeasible 35 - 0.00000 - 311 235s 6327 437 0.00000 29 351 - 0.00000 - 312 240s 6448 432 infeasible 41 - 0.00000 - 314 245s 6582 442 0.00000 29 332 - 0.00000 - 314 250s 6725 445 0.00000 33 318 - 0.00000 - 315 255s 6861 445 infeasible 35 - 0.00000 - 316 260s 6986 442 infeasible 33 - 0.00000 - 317 265s 7113 441 infeasible 35 - 0.00000 - 318 270s 7248 460 0.00000 31 352 - 0.00000 - 318 275s 7374 468 infeasible 33 - 0.00000 - 319 280s Cutting planes: Clique: 9 Zero half: 4 Explored 7390 nodes (2389870 simplex iterations) in 280.58 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