solve_network: Slightly increase requested memory

Encountered out-of-memory kills for the 512_lc networks.
This commit is contained in:
Jonas Hoersch 2019-02-06 11:46:39 +01:00
parent 8c9e650feb
commit c5b093380b

View File

@ -215,7 +215,7 @@ def memory(w):
if w.clusters.endswith('m'):
return int(factor * (18000 + 180 * int(w.clusters[:-1])))
else:
return int(factor * (10000 + 190 * int(w.clusters)))
return int(factor * (10000 + 195 * int(w.clusters)))
# return 4890+310 * int(w.clusters)
rule solve_network: