#!/bin/csh -f
set port = 2251
set logfile = valgrind.txt

nice
limit coredumpsize 8128k
limit filesize 16256k

cd ../area
valgrind --leak-check=full ../bin/AoH $port >&! $logfile &
