set externally.
Examples:
+ # create cmds.sh with jobs
+ echo "ulimit -v 2000000 -t 1200; ./isprime 65535" > cmds.sh
+ echo "ulimit -v 2000000 -t 1200; ./isprime 65537" >> cmds.sh
# create an initial database, but do not work
- {0} -d jobs.db -c cmds.sh -p 'time REAL, mem INTEGER'
+ {0} -d jobs.db -c cmds.sh -p 'number INTEGER, time REAL, mem INTEGER'
# launch two workers
- {0} -d jobs.db -w
- {0} -d jobs.db -w
+ {0} -d jobs.db -w &
+ {0} -d jobs.db -w &
# print status info
{0} -d jobs.db -s
""".format(sys.argv[0]))