current bounds on the number of colors: 0 -- 161 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:26:04 2012 Optimize a model with 51681 rows, 13524 columns and 167440 nonzeros Presolve time: 0.17s Presolved: 51681 rows, 13524 columns, 167440 nonzeros Variable types: 0 continuous, 13524 integer (13524 binary) Root relaxation: objective 0.000000e+00, 636 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 (994 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:26:05 2012 Optimize a model with 25921 rows, 7084 columns and 83720 nonzeros Presolve time: 0.13s Presolved: 25921 rows, 7084 columns, 83720 nonzeros Variable types: 0 continuous, 7084 integer (7084 binary) Root relaxation: objective 0.000000e+00, 421 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 (717 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 -- 40 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:26:05 2012 Optimize a model with 13041 rows, 3864 columns and 41860 nonzeros Presolve time: 0.05s Presolved: 13041 rows, 3864 columns, 41860 nonzeros Variable types: 0 continuous, 3864 integer (3864 binary) Root relaxation: objective 0.000000e+00, 326 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 (625 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:26:05 2012 Optimize a model with 6601 rows, 2254 columns and 20930 nonzeros Presolve time: 0.02s Presolved: 6601 rows, 2254 columns, 20930 nonzeros Variable types: 0 continuous, 2254 integer (2254 binary) Root relaxation: objective 0.000000e+00, 352 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 (619 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:26:06 2012 Optimize a model with 3381 rows, 1449 columns and 10465 nonzeros Presolve time: 0.01s Presolved: 3381 rows, 1449 columns, 10465 nonzeros Variable types: 0 continuous, 1449 integer (1449 binary) Root relaxation: objective 0.000000e+00, 356 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 44 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (2391 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 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:26:06 2012 Optimize a model with 1449 rows, 966 columns and 4186 nonzeros Presolve removed 161 rows and 161 columns Presolve time: 0.00s Presolved: 1288 rows, 805 columns, 3864 nonzeros Variable types: 0 continuous, 805 integer (805 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 161 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (704 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:26:06 2012 Optimize a model with 2093 rows, 1127 columns and 6279 nonzeros Presolve time: 0.01s Presolved: 2093 rows, 1127 columns, 6279 nonzeros Variable types: 0 continuous, 1127 integer (1127 binary) Root relaxation: objective 0.000000e+00, 369 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 320 - 0.00000 - - 0s 0 0 0.00000 0 322 - 0.00000 - - 0s 0 0 0.00000 0 384 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Cutting planes: Gomory: 10 Zero half: 353 Explored 0 nodes (5760 simplex iterations) in 0.60 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:26:06 2012 Optimize a model with 2737 rows, 1288 columns and 8372 nonzeros Presolve time: 0.01s Presolved: 2737 rows, 1288 columns, 8372 nonzeros Variable types: 0 continuous, 1288 integer (1288 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 302 - 0.00000 - - 0s 0 0 0.00000 0 280 - 0.00000 - - 0s 0 0 0.00000 0 290 - 0.00000 - - 0s 0 0 0.00000 0 295 - 0.00000 - - 0s 0 0 0.00000 0 246 - 0.00000 - - 0s 0 0 0.00000 0 236 - 0.00000 - - 0s 0 0 0.00000 0 230 - 0.00000 - - 1s 0 0 0.00000 0 212 - 0.00000 - - 1s 0 0 0.00000 0 200 - 0.00000 - - 1s 0 0 0.00000 0 206 - 0.00000 - - 1s 0 0 0.00000 0 214 - 0.00000 - - 1s 0 0 0.00000 0 188 - 0.00000 - - 1s 0 0 0.00000 0 209 - 0.00000 - - 1s 0 0 0.00000 0 199 - 0.00000 - - 2s 0 0 0.00000 0 158 - 0.00000 - - 2s 0 0 0.00000 0 183 - 0.00000 - - 2s 0 0 0.00000 0 174 - 0.00000 - - 2s 0 2 0.00000 0 173 - 0.00000 - - 2s * 315 0 18 0.0000000 0.00000 0.0% 69.6 4s Cutting planes: Zero half: 20 Explored 316 nodes (55997 simplex iterations) in 4.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: 4