details

property	value
status	timeout (wallclock)
benchmark	180915.xml
ran by	Akihisa Yamada
cpu timeout	1200 seconds
wallclock timeout	300 seconds
memory limit	137438953472 bytes
space	ICFP_2010

run statistics

property	value
solver	muterm 6.0.3
configuration	default
runtime (wallclock)	300.105 seconds
cpu usage	298.084
user time	293.026
system time	5.05825
max virtual memory	1246496.0
max residence set size	184452.0

stage attributes

unavailable

output

297.99/300.10 /export/starexec/sandbox/solver/bin/starexec_run_default: line 9: 9605 Alarm clock $command 297.99/300.15 EOF popout

output may be truncated. 'popout' for the full output.

job log

popout

actions

all output return to SRS_Standard 2019-03-29 03.29