details

property	value
status	complete
benchmark	2.05.xml
ran by	Johannes Waldmann
cpu timeout	60 seconds
wallclock timeout	60 seconds
memory limit	1073741824 bytes
execution host	n039.star.cs.uiowa.edu
space	SK90

run statistics

property	value
solver	ttt2.1
configuration	default
runtime (wallclock)	0.115219 seconds
cpu usage	0.113982
user time	0.097985
system time	0.015997
max virtual memory	106092.0
max residence set size	31040.0

stage attributes

none

output

0.00/0.11 EOF popout

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

job log

popout

actions

all output return to SK90 06-03-2014 12.09