CPLEX MIP 优化器因 0x9 信号而崩溃

CPLEX MIP optimizer crashes with 0x9 signal

我正在 运行使用 C++ 编程语言在 Ubuntu 18.09 上使用 CPLEX studio v12.9 进行 MIP 优化。我的问题有大约 6000 个变量和大约 22M 的约束。我正在 运行 运行该程序的集群有 24 个 CPU 和 125GB RAM。问题不是 运行 内存不足,而是因来自 CPU 的 0x9 信号而崩溃。当问题有大约 2k 个变量和大约 2M 的约束时,优化工作正常,早期结果正确。

这个问题的可能原因是什么?

谢谢。

此问题已交叉发布 here。为了方便起见,这是我的答案:

This is just a guess, but could it be that the Linux OOM Killer is the culprit? See this Whosebug thread which links to an article about the OOM Killer and ways to search log files to determine if it is affecting you.