current bounds on the number of colors: 0 -- 160 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:20:30 2012 Optimize a model with 53440 rows, 13466 columns and 172640 nonzeros Presolve time: 0.17s Presolved: 53440 rows, 13466 columns, 172640 nonzeros Variable types: 0 continuous, 13466 integer (13466 binary) Root relaxation: objective 0.000000e+00, 578 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 (955 simplex iterations) in 0.30 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 -- 80 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:20:31 2012 Optimize a model with 26800 rows, 7066 columns and 86320 nonzeros Presolve time: 0.13s Presolved: 26800 rows, 7066 columns, 86320 nonzeros Variable types: 0 continuous, 7066 integer (7066 binary) Root relaxation: objective 0.000000e+00, 435 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 (758 simplex iterations) in 0.19 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 -- 40 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:20:32 2012 Optimize a model with 13480 rows, 3866 columns and 43160 nonzeros Presolve time: 0.05s Presolved: 13480 rows, 3866 columns, 43160 nonzeros Variable types: 0 continuous, 3866 integer (3866 binary) Root relaxation: objective 0.000000e+00, 371 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.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 -- 20 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:20:32 2012 Optimize a model with 6820 rows, 2266 columns and 21580 nonzeros Presolve time: 0.02s Presolved: 6820 rows, 2266 columns, 21580 nonzeros Variable types: 0 continuous, 2266 integer (2266 binary) Root relaxation: objective 0.000000e+00, 335 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 (603 simplex iterations) in 0.04 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 -- 10 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:20:32 2012 Optimize a model with 3490 rows, 1466 columns and 10790 nonzeros Presolve time: 0.01s Presolved: 3490 rows, 1466 columns, 10790 nonzeros Variable types: 0 continuous, 1466 integer (1466 binary) Root relaxation: objective 0.000000e+00, 352 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 6 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1781 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 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:20:32 2012 Optimize a model with 1492 rows, 986 columns and 4316 nonzeros Presolve removed 160 rows and 160 columns Presolve time: 0.00s Presolved: 1332 rows, 826 columns, 3996 nonzeros Variable types: 0 continuous, 826 integer (826 binary) Root relaxation: objective 0.000000e+00, 169 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 160 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (679 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 Fri Dec 14 19:20:32 2012 Optimize a model with 2158 rows, 1146 columns and 6474 nonzeros Presolve time: 0.01s Presolved: 2158 rows, 1146 columns, 6474 nonzeros Variable types: 0 continuous, 1146 integer (1146 binary) Root relaxation: objective 0.000000e+00, 365 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 312 - 0.00000 - - 0s 0 0 0.00000 0 316 - 0.00000 - - 0s 0 0 0.00000 0 353 - 0.00000 - - 0s 0 0 0.00000 0 403 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Cutting planes: Gomory: 1 Zero half: 383 Explored 0 nodes (6129 simplex iterations) in 0.68 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 Fri Dec 14 19:20:33 2012 Optimize a model with 2824 rows, 1306 columns and 8632 nonzeros Presolve time: 0.01s Presolved: 2824 rows, 1306 columns, 8632 nonzeros Variable types: 0 continuous, 1306 integer (1306 binary) Root relaxation: objective 0.000000e+00, 361 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 304 - 0.00000 - - 0s 0 0 0.00000 0 302 - 0.00000 - - 0s 0 0 0.00000 0 296 - 0.00000 - - 0s 0 0 0.00000 0 298 - 0.00000 - - 0s 0 0 0.00000 0 288 - 0.00000 - - 0s 0 0 0.00000 0 288 - 0.00000 - - 0s 0 0 0.00000 0 286 - 0.00000 - - 0s 0 0 0.00000 0 286 - 0.00000 - - 1s 0 0 0.00000 0 286 - 0.00000 - - 1s 0 0 0.00000 0 278 - 0.00000 - - 1s 0 0 0.00000 0 282 - 0.00000 - - 1s 0 0 0.00000 0 280 - 0.00000 - - 1s 0 2 0.00000 0 278 - 0.00000 - - 1s 905 45 0.00000 13 378 - 0.00000 - 63.3 5s 911 49 0.00000 18 322 - 0.00000 - 62.9 10s 920 55 infeasible 12 - 0.00000 - 97.1 15s 1576 29 infeasible 27 - 0.00000 - 119 20s 2318 197 infeasible 33 - 0.00000 - 124 25s 2968 259 infeasible 35 - 0.00000 - 130 30s 3630 271 0.00000 33 254 - 0.00000 - 134 35s * 3880 1 30 0.0000000 0.00000 0.0% 136 37s Cutting planes: Gomory: 1 Zero half: 15 Explored 3881 nodes (548420 simplex iterations) in 37.07 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: 4