current bounds on the number of colors: 0 -- 208 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:29:27 2012 Optimize a model with 114608 rows, 22732 columns and 364832 nonzeros Presolve time: 0.39s Presolved: 114608 rows, 22732 columns, 364832 nonzeros Variable types: 0 continuous, 22732 integer (22732 binary) Root relaxation: objective 0.000000e+00, 533 iterations, 0.14 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 (1002 simplex iterations) in 0.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: 0 -- 104 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:29:29 2012 Optimize a model with 57408 rows, 11916 columns and 182416 nonzeros Presolve time: 0.17s Presolved: 57408 rows, 11916 columns, 182416 nonzeros Variable types: 0 continuous, 11916 integer (11916 binary) Root relaxation: objective 0.000000e+00, 749 iterations, 0.06 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 (1237 simplex iterations) in 0.31 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 -- 52 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:29:30 2012 Optimize a model with 28808 rows, 6508 columns and 91208 nonzeros Presolve time: 0.12s Presolved: 28808 rows, 6508 columns, 91208 nonzeros Variable types: 0 continuous, 6508 integer (6508 binary) Root relaxation: objective 0.000000e+00, 469 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 (876 simplex iterations) in 0.18 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 -- 26 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:29:31 2012 Optimize a model with 14508 rows, 3804 columns and 45604 nonzeros Presolve time: 0.05s Presolved: 14508 rows, 3804 columns, 45604 nonzeros Variable types: 0 continuous, 3804 integer (3804 binary) Root relaxation: objective 0.000000e+00, 428 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 (826 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 -- 13 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:29:31 2012 Optimize a model with 6808 rows, 2348 columns and 21048 nonzeros Presolve time: 0.02s Presolved: 6808 rows, 2348 columns, 21048 nonzeros Variable types: 0 continuous, 2348 integer (2348 binary) Root relaxation: objective 0.000000e+00, 441 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 92 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (4792 simplex iterations) in 0.38 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:29:31 2012 Optimize a model with 3508 rows, 1724 columns and 10524 nonzeros Presolve time: 0.01s Presolved: 3508 rows, 1724 columns, 10524 nonzeros Variable types: 0 continuous, 1724 integer (1724 binary) Root relaxation: objective 0.000000e+00, 474 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 318 - 0.00000 - - 0s 0 0 0.00000 0 410 - 0.00000 - - 0s 0 0 0.00000 0 570 - 0.00000 - - 1s 0 0 infeasible 0 - 0.10000 - - 1s Cutting planes: Gomory: 46 Zero half: 1426 Explored 0 nodes (12231 simplex iterations) in 1.88 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: 3 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:29:33 2012 Optimize a model with 4608 rows, 1932 columns and 14032 nonzeros Presolve time: 0.01s Presolved: 4608 rows, 1932 columns, 14032 nonzeros Variable types: 0 continuous, 1932 integer (1932 binary) Root relaxation: objective 0.000000e+00, 456 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 412 - 0.00000 - - 0s 0 0 0.00000 0 368 - 0.00000 - - 0s 0 0 0.00000 0 404 - 0.00000 - - 1s 0 0 0.00000 0 493 - 0.00000 - - 1s 0 0 0.00000 0 398 - 0.00000 - - 2s 0 0 0.00000 0 390 - 0.00000 - - 3s 0 0 0.00000 0 392 - 0.00000 - - 3s 0 0 0.00000 0 386 - 0.00000 - - 4s 0 0 0.00000 0 408 - 0.00000 - - 5s 0 0 0.00000 0 364 - 0.00000 - - 5s 0 0 0.00000 0 360 - 0.00000 - - 6s 0 0 0.00000 0 358 - 0.00000 - - 7s 0 0 0.00000 0 363 - 0.00000 - - 8s 0 0 0.00000 0 354 - 0.00000 - - 9s 0 0 0.00000 0 344 - 0.00000 - - 10s 0 0 0.00000 0 340 - 0.00000 - - 10s 0 0 0.00000 0 338 - 0.00000 - - 11s 0 0 0.00000 0 338 - 0.00000 - - 12s 0 0 0.00000 0 338 - 0.00000 - - 12s 0 2 0.00000 0 338 - 0.00000 - - 13s 107 13 0.00000 13 396 - 0.00000 - 166 15s 426 52 infeasible 18 - 0.00000 - 176 20s 707 76 0.00000 15 404 - 0.00000 - 179 25s 709 78 0.00000 17 388 - 0.00000 - 178 30s 712 80 0.00000 14 360 - 0.00000 - 177 37s 714 81 0.00000 15 363 - 0.00000 - 177 42s 715 82 0.00000 17 352 - 0.00000 - 177 45s 717 83 0.00000 11 336 - 0.00000 - 176 50s 719 84 0.00000 12 310 - 0.00000 - 176 55s 724 88 0.00000 16 319 - 0.00000 - 299 60s 760 96 0.00000 24 415 - 0.00000 - 297 65s 914 64 infeasible 30 - 0.00000 - 293 70s 1077 51 0.00000 27 403 - 0.00000 - 292 75s 1235 43 0.00000 27 476 - 0.00000 - 295 80s 1366 28 0.00000 25 417 - 0.00000 - 303 85s 1514 20 infeasible 23 - 0.00000 - 305 90s 1647 21 infeasible 31 - 0.00000 - 308 95s 1781 7 0.00000 27 474 - 0.00000 - 311 100s Cutting planes: Clique: 1 Zero half: 12 Explored 1815 nodes (656427 simplex iterations) in 101.57 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:31:15 2012 Optimize a model with 5708 rows, 2140 columns and 17540 nonzeros Presolve time: 0.02s Presolved: 5708 rows, 2140 columns, 17540 nonzeros Variable types: 0 continuous, 2140 integer (2140 binary) Root relaxation: objective 0.000000e+00, 446 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 297 - 0.00000 - - 0s 0 0 0.00000 0 294 - 0.00000 - - 1s 0 0 0.00000 0 166 - 0.00000 - - 2s H 0 0 0.0000000 0.00000 0.0% - 2s Explored 0 nodes (15962 simplex iterations) in 2.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% optimal solution found: number of colors: 5