details

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

run statistics

property	value
solver	SizeChangeTool
configuration	default
runtime (wallclock)	301.006686926 seconds
cpu usage	364.469548291
max memory	8.63428608E8

stage attributes

unavailable

output

/export/starexec/sandbox2/solver/bin/starexec_run_default /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE MAYBE popout

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

job log

popout

actions

all output return to HRS union beta 16688