1 compctl - Computations under control
7 compctl --run COMMAND...
8 compctl --screen COMMAND...
11 compctl --limitmem MAXMEM
16 Arguments for running computations:
17 --run COMMAND run a new computation on foreground
18 --screen COMMAND run a new computation within a screen instance; all
19 windows within this screen will share resource limits
21 Arguments for controlling computations:
22 --usage show resource usage of all running computations
23 --limitmem MAXMEM set the maximum memory consumed by all computations [MiB]
24 --list list all running computations
25 --stop PGRP stop a given computation (number as listed in --list)
26 --stopall stop all running computations
35 **Computations under control** will run a specificed program as
36 a non-interactive computation process, allowing it to be listed
37 and regulated by the user of the computer.
43 compctl --run ./satsolver data.sat | tee results.txt
44 compctl --screen autotest-screen 5
46 compctl --limitmem 4096