details

property	value
status	timeout (wallclock)
benchmark	zlib-adler32.c.t2_fixed.smt2
ran by	Akihisa Yamada
cpu timeout	1200 seconds
wallclock timeout	300 seconds
memory limit	137438953472 bytes
space	From_T2

run statistics

property	value
solver	Ctrl
configuration	Transition
runtime (wallclock)	300.072 seconds
cpu usage	304.268
user time	158.572
system time	145.697
max virtual memory	808144.0
max residence set size	17304.0

stage attributes

unavailable

output

./timeout: line 40: 12016 Hangup ( sleep "${TIME}"; kill "${SIGNAL}" "${PID}" ) ./timeout: line 40: 12134 Hangup ( sleep "${TIME}"; kill "${SIGNAL}" "${PID}" ) /export/starexec/sandbox2/solver/bin/starexec_run_Transition: line 4: 22133 Alarm clock ./ctrl input.ctrs popout

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

job log

popout

actions

all output return to ITS