/afs/andrew.cmu.edu/usr24/mtschant/15414-f07/jpf-release/bin/jpf Test & /afs/andrew.cmu.edu/usr24/mtschant/15414-f07/memscript `ps -u $USER | grep "java" | sed 's/\(^[^ ]*\) .*/\1/'` mem.out