SCIP 自定义设置未加载

Question

我在一个名为 scip.set 的文件中定义了自定义设置，并将其放入 myscipdir/settings。

设置包含

limits/time = 86400
limit/memory = 61440
lp/threads = 6

但是， SCIP 似乎没有加载自定义设置，而是，

使用默认设置(见附图)，和

在/check/results 目录下找不到参数文件。

我可以知道这样做的正确方法是什么吗？我可以从 make test 命令行设置时间和内存限制，但我还需要设置更多的线程数。



注意图中 SCIP 表示“未找到用户参数文件 scip.set - 使用默认参数”，这是误导，因为在下一行中，它表示“已加载参数文件...”。
如果 scip.set 真的不在/settings 中，SCIP 会弹出一个错误，指出找不到文件并中止。

Answer 1

还有更多。我记得你使用 make test 运行自动化测试SCIP 的功能(顺便说一下，您应该始终在问题中提及)。您提供的设置被读入，但随后再次被覆盖(魔法总是发生在“check/configuration_tmpfile_setup_scip.sh”中，另见您的 related question )。

相反，您必须将这些特定的配置参数作为选项传递给 make像这样:

make test TIME=86400 THREADS=6 MEM=61440 [optional: SETTINGS=scip]

如果您不传递这些标志，它们(当前)默认为

时间=3600

内存=6144

线程= 1

您可以在“make/make.project”下找到定义。在 How to run automated tests 上的“高级选项”部分中可以找到更多可用的(在您的情况下可能需要阅读)选项。 .

这是一种防止您在进行自动化测试时意外使用具有不需要的时间限制(甚至可能是无限限制)的设置的方法。我承认这可能看起来有点复杂。尽管该方法为我们节省了几乎无限的 CPU 处理时间，但我们仍将其列入议程，以促进测试系统及其可访问性。

关于设置文件中 SCIP 读取行为的额外问题:混淆是因为您将设置命名为“scip.set”。每次打开交互式 shell 时，SCIP 都会在此名称的当前工作目录中查找自定义设置，但如果此类文件不存在，则使用默认设置。但是，如果您通过 SETTINGS 指定设置文件-flag，但如果测试脚本未能在设置目录中找到此文件，脚本将中止以使用不存在的设置为您节省计算时间。

EDIT1:顺便说一句:由于您使用 SoPlex 作为 LP 求解器，因此您无需担心 LP 线程数； SoPlex 是单线程的。