man_or_boy/run.sh

#!/bin/bash

export FUZION_JAVA_OPTIONS="-Xss120m -Xmx512m -Dfuzion.safety=false -Dfuzion.debugLevel=0"
APP=man_or_boy

echo -n $(date +"%F_%R:") >>log.txt

/usr/bin/time -a -olog.txt -f " elapsed/sec %e max_memory/K %M" timeout --preserve-status --signal=15 --kill-after=10860s 10800s fz -interpreter $APP

# OpenJDK on valgrind crashes:
#
# valgrind --tool=massif --massif-out-file=massif.out $FUZION HelloWorld; cat massif.out | grep mem_heap_B | sort -t\= -k2,2 | tail -n1