details

property	value
status	timeout (wallclock)
benchmark	h27.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.006308079 seconds
cpu usage	364.543513082
max memory	8.61908992E8

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