My usage of CPLEX is somewhat advanced -- I have to use some sort of repeated branch and cut with cut callbacks to solve large difficult integer programs. Efficiency is critical and in our experience CPLEX performs quite adequately in its correctness.
I will try the various ideas suggested and see ...

