diff --git a/scripts/runcampaign.sh b/scripts/runcampaign.sh
index 7cdd3a2b..c11a949d 100755
--- a/scripts/runcampaign.sh
+++ b/scripts/runcampaign.sh
@@ -22,7 +22,7 @@ if [ ! -x "$1" ]; then echo "usage: $0 <campaignserver-binary>" >&2; exit 1; fi
 CAMPAIGNSERVER_BINARY=$1
 
 date
-/usr/bin/time -po .time "$CAMPAIGNSERVER_BINARY" >/dev/null 2>&1 &
+/usr/bin/time -po .time "$CAMPAIGNSERVER_BINARY" > $(basename "$CAMPAIGNSERVER_BINARY")_progress.txt 2>&1 &
 sleep .1 # wait until server is likely to have a listening socket opened
 
 for h in $FAIL_EXPERIMENT_HOSTS