AI and Data Science Master the art of data science. Join now
Dear JoDid you consider forking a process for each solve? Uploading... Upload file This would ensure that all system resources are actually freed when the process dies.I hope this helps.
Thank you a lot for that idea.
Would it be possible to explain what you mean by forking a process for each solve and how I can find out how to do it? I tried to look it up, but it is still not clear to me.
Please refer to https://man7.org/linux/man-pages/man2/fork.2.html which describes the fork() system call. Basically, it allows to create a child process in which you could perform a solve. Of course, because the child process doesn't share memory with the parent, the child process must communicate its result to the parent via a file (or a pipe).
I hope this helps.