我注意到memsave prio
和std priority
中有两种优先级。什么时候在两者之间切换?是否可以设置阈值参数来影响此切换?
答案 0 :(得分:3)
是的,参数存储器/ 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。