current bounds on the number of colors: 0 -- 205 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 11:32:19 2012 Optimize a model with 109753 rows, 21984 columns and 349554 nonzeros Presolve time: 0.37s Presolved: 109753 rows, 21984 columns, 349554 nonzeros Variable types: 0 continuous, 21984 integer (21984 binary) Root relaxation: objective 0.000000e+00, 797 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 (1242 simplex iterations) in 0.62 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 -- 102 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 11:32:21 2012 Optimize a model with 54979 rows, 11529 columns and 174777 nonzeros Presolve time: 0.17s Presolved: 54979 rows, 11529 columns, 174777 nonzeros Variable types: 0 continuous, 11529 integer (11529 binary) Root relaxation: objective 0.000000e+00, 787 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 (1311 simplex iterations) in 0.32 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 -- 51 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 11:32:21 2012 Optimize a model with 27055 rows, 6199 columns and 85675 nonzeros Presolve time: 0.11s Presolved: 27055 rows, 6199 columns, 85675 nonzeros Variable types: 0 continuous, 6199 integer (6199 binary) Root relaxation: objective 0.000000e+00, 479 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 (862 simplex iterations) in 0.16 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 -- 25 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 11:32:22 2012 Optimize a model with 13093 rows, 3534 columns and 41124 nonzeros Presolve time: 0.04s Presolved: 13093 rows, 3534 columns, 41124 nonzeros Variable types: 0 continuous, 3534 integer (3534 binary) Root relaxation: objective 0.000000e+00, 423 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 (1044 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 -- 12 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 11:32:22 2012 Optimize a model with 6649 rows, 2304 columns and 20562 nonzeros Presolve time: 0.02s Presolved: 6649 rows, 2304 columns, 20562 nonzeros Variable types: 0 continuous, 2304 integer (2304 binary) Root relaxation: objective 0.000000e+00, 450 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 (2520 simplex iterations) in 0.15 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 11:32:22 2012 Optimize a model with 3427 rows, 1689 columns and 10281 nonzeros Presolve time: 0.01s Presolved: 3427 rows, 1689 columns, 10281 nonzeros Variable types: 0 continuous, 1689 integer (1689 binary) Root relaxation: objective 0.000000e+00, 442 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 322 - 0.00000 - - 0s 0 0 0.00000 0 410 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 1s Explored 0 nodes (7658 simplex iterations) in 1.01 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 11:32:24 2012 Optimize a model with 4501 rows, 1894 columns and 13708 nonzeros Presolve time: 0.01s Presolved: 4501 rows, 1894 columns, 13708 nonzeros Variable types: 0 continuous, 1894 integer (1894 binary) Root relaxation: objective 0.000000e+00, 455 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 400 - 0.00000 - - 0s 0 0 0.00000 0 410 - 0.00000 - - 0s 0 0 0.00000 0 396 - 0.00000 - - 1s 0 0 0.00000 0 507 - 0.00000 - - 1s 0 0 0.00000 0 394 - 0.00000 - - 2s 0 0 0.00000 0 393 - 0.00000 - - 3s 0 0 0.00000 0 376 - 0.00000 - - 3s 0 0 0.00000 0 382 - 0.00000 - - 4s 0 0 0.00000 0 388 - 0.00000 - - 5s 0 0 0.00000 0 384 - 0.00000 - - 6s 0 0 0.00000 0 384 - 0.00000 - - 6s 0 0 0.00000 0 384 - 0.00000 - - 7s 0 2 0.00000 0 384 - 0.00000 - - 8s 166 34 infeasible 26 - 0.00000 - 146 10s 631 63 0.00000 31 389 - 0.00000 - 143 15s 705 71 0.00000 19 394 - 0.00000 - 139 20s 708 73 0.00000 18 387 - 0.00000 - 138 25s 710 74 0.00000 30 364 - 0.00000 - 138 31s 712 75 0.00000 6 358 - 0.00000 - 137 36s 716 78 infeasible 10 - 0.00000 - 228 40s 881 54 0.00000 26 374 - 0.00000 - 237 45s 1065 38 infeasible 19 - 0.00000 - 250 50s 1250 35 0.00000 24 479 - 0.00000 - 258 55s 1444 33 infeasible 26 - 0.00000 - 261 60s 1624 43 0.00000 17 391 - 0.00000 - 265 65s 1827 52 infeasible 23 - 0.00000 - 266 70s 1997 54 0.00000 21 444 - 0.00000 - 270 75s 2163 54 infeasible 25 - 0.00000 - 274 80s 2325 54 infeasible 22 - 0.00000 - 277 85s 2487 42 0.00000 21 446 - 0.00000 - 280 90s 2645 34 0.00000 21 364 - 0.00000 - 283 95s 2811 30 infeasible 18 - 0.00000 - 285 100s 2977 28 infeasible 20 - 0.00000 - 286 105s 3180 23 0.00000 21 383 - 0.00000 - 286 110s 3348 23 infeasible 25 - 0.00000 - 287 115s 3518 13 infeasible 24 - 0.00000 - 288 120s 3720 31 infeasible 26 - 0.00000 - 287 125s 3906 13 infeasible 25 - 0.00000 - 288 130s 4076 9 infeasible 22 - 0.00000 - 289 135s Cutting planes: Gomory: 2 Zero half: 25 Explored 4194 nodes (1261334 simplex iterations) in 138.28 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 11:34:42 2012 Optimize a model with 5575 rows, 2099 columns and 17135 nonzeros Presolve time: 0.02s Presolved: 5575 rows, 2099 columns, 17135 nonzeros Variable types: 0 continuous, 2099 integer (2099 binary) Root relaxation: objective 0.000000e+00, 439 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 345 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Cutting planes: Gomory: 22 Clique: 49 Zero half: 154 Explored 0 nodes (6827 simplex iterations) in 0.83 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