answered 6 years ago
CPXsetlogfile has been deprecated in cplex 12.8 and removed from cplex 12.9.
See ticket https://trac.sagemath.org/ticket/27790