! TYPEDSTREAM 1.1

time 45.2600000000
walltime 13.0000000000
thread_time 0.0000000000
host "rohlfing.dyndns.org"
system "Linux"
