运行 使用 CPLEX 的 Minizinc 模型时，为什么会创建许多 cpx 文件？

Question

我 运行 带有 CPLEX 求解器的 Minizinc 模型。创建了一个名为 "cpxa67564" 的文件夹。它有许多名为 "cpxXXXX" 的文件（其中 XXXX 是数字）。

这些文件是什么？ compilation/execution 的子产品？如果我删除它们有什么问题吗？他们为什么这么多？我只运行模型几次，但那些文件超过2K。

Answer 1

这些文件夹包含 "node files"。看到Use node files for storage in the documentation. These are created when the node storage file switch设置为2或3的值。正常情况下，CPLEX会移除这些文件和它们的临时目录，但当程序异常终止时它们会保留。