Max memory for jobs?

Hello,

I have recently been running into problems with memouts while running CVC4 on StarExec. It appears that the default behavior has been changed recently to give a 1.0 GB memory limit, which is insufficient for the experiments I run. When create a job that gives a memory limit of, for instance, 50.0 GB, it still has memout problems, and in fact the "Job Overview" says that the max memory is still 1.0.

I have talked with Liana Hadarean about this. She also has recently had the same issue.

The recent job I ran was Job #1044.
Please let me know if this is a bug or I need to do something else.
Thanks,
Andrew Reynolds

Hi, Andy.

That does sound like a bug. The feature of being able to set a memory limit is relatively recent, so likely there is some issue. I have filed this on our internal bug tracker, and will let you know when we have a fix.

Aaron