current bounds on the number of colors: 0 -- 191 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 05:31:21 2012 Optimize a model with 88446 rows, 19074 columns and 282910 nonzeros Presolve time: 0.29s Presolved: 88446 rows, 19074 columns, 282910 nonzeros Variable types: 0 continuous, 19074 integer (19074 binary) Root relaxation: objective 0.000000e+00, 725 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 (1144 simplex iterations) in 0.49 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 -- 95 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 05:31:22 2012 Optimize a model with 43854 rows, 9906 columns and 139966 nonzeros Presolve time: 0.15s Presolved: 43854 rows, 9906 columns, 139966 nonzeros Variable types: 0 continuous, 9906 integer (9906 binary) Root relaxation: objective 0.000000e+00, 685 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 (1151 simplex iterations) in 0.27 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 -- 47 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 05:31:23 2012 Optimize a model with 21558 rows, 5322 columns and 68494 nonzeros Presolve time: 0.08s Presolved: 21558 rows, 5322 columns, 68494 nonzeros Variable types: 0 continuous, 5322 integer (5322 binary) Root relaxation: objective 0.000000e+00, 422 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 (778 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 -- 23 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 05:31:23 2012 Optimize a model with 10410 rows, 3030 columns and 32758 nonzeros Presolve time: 0.03s Presolved: 10410 rows, 3030 columns, 32758 nonzeros Variable types: 0 continuous, 3030 integer (3030 binary) Root relaxation: objective 0.000000e+00, 392 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 (723 simplex iterations) in 0.06 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 -- 11 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 05:31:23 2012 Optimize a model with 4836 rows, 1884 columns and 14890 nonzeros Presolve time: 0.01s Presolved: 4836 rows, 1884 columns, 14890 nonzeros Variable types: 0 continuous, 1884 integer (1884 binary) Root relaxation: objective 0.000000e+00, 407 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 203 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3976 simplex iterations) in 0.27 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 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 05:31:24 2012 Optimize a model with 2049 rows, 1311 columns and 5956 nonzeros Presolve removed 191 rows and 191 columns Presolve time: 0.01s Presolved: 1858 rows, 1120 columns, 5574 nonzeros Variable types: 0 continuous, 1120 integer (1120 binary) Root relaxation: objective 0.000000e+00, 200 iterations, 0.00 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 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (807 simplex iterations) in 0.02 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: 2 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 05:31:24 2012 Optimize a model with 2978 rows, 1502 columns and 8934 nonzeros Presolve time: 0.01s Presolved: 2978 rows, 1502 columns, 8934 nonzeros Variable types: 0 continuous, 1502 integer (1502 binary) Root relaxation: objective 0.000000e+00, 452 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 298 - 0.00000 - - 0s 0 0 0.00000 0 362 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5545 simplex iterations) in 0.62 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 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 05:31:25 2012 Optimize a model with 3907 rows, 1693 columns and 11912 nonzeros Presolve time: 0.01s Presolved: 3907 rows, 1693 columns, 11912 nonzeros Variable types: 0 continuous, 1693 integer (1693 binary) Root relaxation: objective 0.000000e+00, 422 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 368 - 0.00000 - - 0s 0 0 0.00000 0 368 - 0.00000 - - 0s 0 0 0.00000 0 360 - 0.00000 - - 0s 0 0 0.00000 0 399 - 0.00000 - - 1s 0 0 0.00000 0 356 - 0.00000 - - 1s 0 0 0.00000 0 356 - 0.00000 - - 1s 0 0 0.00000 0 350 - 0.00000 - - 2s 0 0 0.00000 0 350 - 0.00000 - - 2s 0 0 0.00000 0 338 - 0.00000 - - 3s 0 0 0.00000 0 338 - 0.00000 - - 3s 0 0 0.00000 0 338 - 0.00000 - - 4s 0 2 0.00000 0 338 - 0.00000 - - 4s 15 15 0.00000 10 336 - 0.00000 - 322 5s 653 98 infeasible 14 - 0.00000 - 128 10s 809 117 0.00000 9 336 - 0.00000 - 122 16s 812 119 0.00000 12 314 - 0.00000 - 122 21s 815 121 0.00000 10 288 - 0.00000 - 121 25s 818 123 0.00000 21 278 - 0.00000 - 121 30s 821 125 0.00000 19 277 - 0.00000 - 120 35s 872 135 0.00000 21 338 - 0.00000 - 219 40s 1155 74 infeasible 27 - 0.00000 - 220 45s 1419 36 infeasible 23 - 0.00000 - 229 50s 1699 48 infeasible 23 - 0.00000 - 231 55s 2011 98 infeasible 21 - 0.00000 - 230 60s 2296 111 0.00000 24 326 - 0.00000 - 232 65s 2591 112 0.00000 24 332 - 0.00000 - 232 70s 2857 80 infeasible 20 - 0.00000 - 235 75s 3110 59 0.00000 22 411 - 0.00000 - 237 80s 3377 42 infeasible 22 - 0.00000 - 239 85s 3704 41 infeasible 24 - 0.00000 - 238 90s 3972 29 infeasible 23 - 0.00000 - 240 95s 4233 22 0.00000 22 351 - 0.00000 - 241 100s 4512 19 infeasible 24 - 0.00000 - 241 105s 4806 31 infeasible 29 - 0.00000 - 240 110s 5127 36 0.00000 22 343 - 0.00000 - 240 115s 5387 20 infeasible 25 - 0.00000 - 241 120s 5677 12 0.00000 26 421 - 0.00000 - 242 125s 5960 15 infeasible 26 - 0.00000 - 242 130s 6225 6 0.00000 23 342 - 0.00000 - 242 135s Cutting planes: Zero half: 12 Explored 6250 nodes (1549671 simplex iterations) in 135.56 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - optimal solution found: number of colors: 5