/.CpsToLpTranslator.java._trace
/.CbcCpsMain.java._trace