[metis-users] New --time-limit command line argument

[Andrés Sicard-Ramírez]

Hi,

On Tue, Sep 28, 2010 at 7:39 PM, Joe Hurd <joe at gilith.com> wrote:
> Responding to a feature request made by Andrés Sicard-Ramírez, I have
> implemented a --time-limit N command line argument, which will cause
> Metis to give up if it cannot complete within N seconds. Metis will
> return "SZS status Unknown" it if is working on a problem and the time
> limit kicks in.
>

@Joe: Thanks for the implementation of this feature.

> There are some caveats to this feature:
>
> 2. Metis has many failure modes beyond running out of time, such as
> eating up all the memory it can find, so in most circumstances it is
> preferable to use the ulimit shell command to set limits rather than
> this command line argument.

I agree the ulimit command can be a better option. I am calling Metis
from an Haskell application using threads and I had some problems
killing the threads using ulimit + Metis. The new --time-limit
argument worked with my set-up.

All the best,

-- 
Andrés