来自pyomo couenne求解器的状态代码-11是什么意思？

Question

我正在使用pyomo来解决优化问题，并继续从解算器返回以下错误：Solver (asl) returned non-zero return code (-11)：

ERROR: "[base]/site-packages/pyomo/opt/base/solvers.py", 578, solve
    Solver (asl) returned non-zero return code (-11)
ERROR: "[base]/site-packages/pyomo/opt/base/solvers.py", 583, solve
    Solver log:
    Couenne 0.5.6 -- an Open-Source solver for Mixed Integer Nonlinear Optimization
    Mailing list: couenne@list.coin-or.org
    Instructions: http://www.coin-or.org/Couenne

我想找出：

• 此返回代码的含义是什么？
• 为什么不能正常退出？

pyomo中定义的问题很长，所以我会尽量避免在这里发布所有代码，但基本上是：

• 我使用的是ConcreteModel
• 我正在使用couenne解算器（即我将name=”couenne”传递给SolverFactory）
• 目标函数相当简单，但有许多约束和许多变量

其他信息：

• 我正在使用python 2.7，
• pyomo version 4.4.1
• 我从这里下载了couenne的二元求解器：https://www.coin-or.org/download/binary/Couenne/
• 我可以使用ConcreteModel / pyomo来解决非常简单的couenne，所以我怀疑这是编译器编译的问题。
• 我正在使用MacOSX

如何找出此返回码的含义？或者一般如何调试这个？不幸的是，求解器很大程度上是一个黑盒子......而且我没有看到关于我使用它的方式的任何警告。