Где я могу найти определения кодов ошибок решателя для Coin-OR CBC, которые возвращает Pyomo?

Question

Понимаю ERROR: - Solver (cbc) returned non-zero return code (-9) при запуске моей проблемы Pyomo.

я пытался solve(instance, tee=True, keepfiles=True, logfile="my.log") но my.logне появляется. Я просмотрел репозитории Pyomo и cbc github, но не понимаю, как отследить коды ошибок.