current bounds on the number of colors: 0 -- 147 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 16:03:00 2012 Optimize a model with 79790 rows, 11822 columns and 249660 nonzeros Presolve time: 0.22s Presolved: 79790 rows, 11822 columns, 249660 nonzeros Variable types: 0 continuous, 11822 integer (11822 binary) Root relaxation: objective 0.000000e+00, 372 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 (780 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 -- 73 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 16:03:01 2012 Optimize a model with 39423 rows, 6383 columns and 123120 nonzeros Presolve time: 0.15s Presolved: 39423 rows, 6383 columns, 123120 nonzeros Variable types: 0 continuous, 6383 integer (6383 binary) Root relaxation: objective 0.000000e+00, 477 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 (883 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 16:03:02 2012 Optimize a model with 19785 rows, 3737 columns and 61560 nonzeros Presolve time: 0.07s Presolved: 19785 rows, 3737 columns, 61560 nonzeros Variable types: 0 continuous, 3737 integer (3737 binary) Root relaxation: objective 0.000000e+00, 429 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 (855 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 16:03:02 2012 Optimize a model with 9966 rows, 2414 columns and 30780 nonzeros Presolve time: 0.03s Presolved: 9966 rows, 2414 columns, 30780 nonzeros Variable types: 0 continuous, 2414 integer (2414 binary) Root relaxation: objective 0.000000e+00, 310 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 (674 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 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 16:03:02 2012 Optimize a model with 4511 rows, 1679 columns and 13680 nonzeros Presolve time: 0.01s Presolved: 4511 rows, 1679 columns, 13680 nonzeros Variable types: 0 continuous, 1679 integer (1679 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 196 - 0.00000 - - 0s 0 0 0.00000 0 192 - 0.00000 - - 1s 0 0 0.00000 0 479 - 0.00000 - - 2s 0 0 0.00000 0 494 - 0.00000 - - 2s 0 0 0.00000 0 477 - 0.00000 - - 3s 0 0 0.00000 0 480 - 0.00000 - - 4s 0 0 0.00000 0 478 - 0.00000 - - 5s 0 0 0.00000 0 476 - 0.00000 - - 6s 0 0 0.00000 0 476 - 0.00000 - - 7s 0 0 0.00000 0 475 - 0.00000 - - 8s 0 0 0.00000 0 473 - 0.00000 - - 9s 0 0 0.00000 0 474 - 0.00000 - - 10s 0 0 0.00000 0 471 - 0.00000 - - 11s 0 2 0.00000 0 471 - 0.00000 - - 12s Cutting planes: Clique: 20 Zero half: 15 Explored 5 nodes (62479 simplex iterations) in 12.82 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 16:03:15 2012 Optimize a model with 6693 rows, 1973 columns and 20520 nonzeros Presolve time: 0.02s Presolved: 6693 rows, 1973 columns, 20520 nonzeros Variable types: 0 continuous, 1973 integer (1973 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.00000 0 144 - 0.00000 - - 0s 0 0 0.00000 0 237 - 0.00000 - - 0s 0 0 0.00000 0 238 - 0.00000 - - 1s 0 0 0.00000 0 347 - 0.00000 - - 1s 0 0 0.00000 0 208 - 0.00000 - - 2s 0 0 0.00000 0 367 - 0.00000 - - 3s 0 0 0.00000 0 413 - 0.00000 - - 4s 0 0 0.00000 0 413 - 0.00000 - - 4s 0 2 0.00000 0 339 - 0.00000 - - 6s * 565 3 43 0.0000000 0.00000 0.0% 74.3 8s Cutting planes: Clique: 8 Zero half: 13 Explored 566 nodes (73276 simplex iterations) in 8.33 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 16:03:24 2012 Optimize a model with 5602 rows, 1826 columns and 17100 nonzeros Presolve time: 0.01s Presolved: 5602 rows, 1826 columns, 17100 nonzeros Variable types: 0 continuous, 1826 integer (1826 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 292 - 0.00000 - - 0s 0 0 0.00000 0 219 - 0.00000 - - 0s 0 0 0.00000 0 437 - 0.00000 - - 1s 0 0 0.00000 0 422 - 0.00000 - - 2s 0 0 0.00000 0 416 - 0.00000 - - 2s 0 0 0.00000 0 412 - 0.00000 - - 2s 0 0 0.00000 0 411 - 0.00000 - - 2s 0 0 0.00000 0 410 - 0.00000 - - 3s 0 0 0.00000 0 409 - 0.00000 - - 3s 0 0 0.00000 0 415 - 0.00000 - - 3s 0 0 0.00000 0 434 - 0.00000 - - 4s 0 0 0.00000 0 425 - 0.00000 - - 5s 0 0 0.00000 0 440 - 0.00000 - - 6s 0 0 0.00000 0 366 - 0.00000 - - 7s 0 0 0.00000 0 372 - 0.00000 - - 9s 0 0 0.00000 0 296 - 0.00000 - - 10s 0 0 0.00000 0 380 - 0.00000 - - 11s 0 0 0.00000 0 380 - 0.00000 - - 12s 0 2 0.00000 0 380 - 0.00000 - - 14s 10 10 0.00000 8 373 - 0.00000 - 609 15s 195 23 0.00000 18 357 - 0.00000 - 242 20s 422 22 infeasible 20 - 0.00000 - 219 25s 603 29 0.00000 10 437 - 0.00000 - 208 31s 607 32 0.00000 10 418 - 0.00000 - 207 35s 611 35 0.00000 16 371 - 0.00000 - 205 41s 613 36 0.00000 3 374 - 0.00000 - 205 45s 616 38 0.00000 13 359 - 0.00000 - 204 50s 621 41 infeasible 13 - 0.00000 - 282 55s 702 29 0.00000 27 364 - 0.00000 - 300 60s 779 17 0.00000 25 355 - 0.00000 - 316 65s 865 19 infeasible 26 - 0.00000 - 330 70s 940 14 0.00000 23 374 - 0.00000 - 344 75s 1015 18 0.00000 22 366 - 0.00000 - 353 80s 1095 10 0.00000 18 370 - 0.00000 - 363 85s 1181 10 0.00000 19 375 - 0.00000 - 371 90s 1270 13 0.00000 23 375 - 0.00000 - 378 95s 1349 10 infeasible 25 - 0.00000 - 386 100s 1436 7 0.00000 24 343 - 0.00000 - 391 105s 1512 7 infeasible 27 - 0.00000 - 397 110s 1598 11 infeasible 28 - 0.00000 - 401 115s 1676 9 infeasible 27 - 0.00000 - 405 120s 1756 9 0.00000 19 384 - 0.00000 - 409 125s 1843 10 0.00000 24 389 - 0.00000 - 411 130s 1917 6 infeasible 29 - 0.00000 - 415 135s 1992 9 infeasible 30 - 0.00000 - 420 140s 2064 5 0.00000 22 363 - 0.00000 - 424 145s 2144 7 infeasible 26 - 0.00000 - 427 150s 2217 4 infeasible 26 - 0.00000 - 431 155s Cutting planes: Clique: 2 Zero half: 7 Explored 2232 nodes (1014269 simplex iterations) in 156.02 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - optimal solution found: number of colors: 6