Man page - runlim(1)

Packages contains this manual

    Package:  runlim
    apt-get install runlim
    Manuals in package:
    Documentations in package:

Manual

RUNLIM

NAME
SYNOPSIS
DESCRIPTION
OPTIONS
SEE ALSO
AUTHOR

NAME

runlim - a program to run benchmarks

SYNOPSIS

runlim [ options ...] command [ arguments ...]

DESCRIPTION

run is a tool that can be used to run and control benchmarks. It executes a given command with (optional) arguments , samples resource usage during the run, and kills the process (and its child processes) if a certain time and/or space limit is exhausted.

Every 100 milliseconds, runlim takes a sample of the program’s resource utilization, and logs status information to stderr every second. Optionally, the status can be logged to a file.

Multi-threaded programs can be limited by setting a wall clock timeout. runlim follows the time accumulation scheme of GNU time for multi-threaded programs and programs that spawn multiple child-processes: time spent in each thread/child is summed up, unless you are only interested in walk clock time.

OPTIONS

runlim accepts the following options:
-h, --help

Show summary of options.

--version

Show version of program.

-o FILE, --output-file=FILE

Overwrite or create FILE for output logging.

-s NUM, --space-limit=NUM

Set space limit to NUM megabytes.

-t NUM, --time-limit=NUM

Set time limit to NUM seconds.

-r NUM, --real-time-limit=NUM

Set real time limit to NUM seconds.

-k, --kill

Propagate signals.

SEE ALSO

time (1), timelimit (1), timeout (1), time (7).

AUTHOR

runlim was written by Armin Biere and Toni Jussila.

This manual page was written by Thomas Krennwallner <tkren@kr.tuwien.ac.at>, for the Debian project (and may be used by others).