【发布时间】:2019-07-04 12:42:24
【问题描述】:
我注意到有两种类型的优先级:memsave prio 和 std priority。什么时候在两者之间切换?是否可以设置一个阈值参数来影响这种切换?
【问题讨论】:
标签: scip
我注意到有两种类型的优先级:memsave prio 和 std priority。什么时候在两者之间切换?是否可以设置一个阈值参数来影响这种切换?
【问题讨论】:
标签: scip
是的,参数内存/savefac:
# fraction of maximal memory usage resulting in switch to memory saving mode
# [type: real, advanced: FALSE, range: [0,1], default: 0.8]
memory/savefac = 0.8
有关 SCIP 参数的文档,另请参阅 https://scip.zib.de/doc/html/PARAMETERS.php。
【讨论】:
limits/memory 来做我想做的事。