Since you mentioned in readme...
Note: CGroups
Linux now supports the CGroups feature, which is a much better method to track
memory and time usage and not limited by the issues listed below. This timeout
script does not use CGroups. While this script continues to work, if
you are on Linux and need a more robust monitoring method you should use something
based on CGroups. For system services, have a look at available systemd
options.
For a simple command-line script to limit memory usage you could for example
use runexec,
which is part of BenchExec.
Could you please this project to be using CGroups or perhaps start a new repository for that?
Since you mentioned in readme...
Could you please this project to be using CGroups or perhaps start a new repository for that?