#!/usr/bin/env bash set -eo pipefail cd /home/yurenh2/rrm/research/flossing setsid bash launch_multi4_repro_config.sh hrm 2 > multi4_repro_hrm.outer.log 2>&1 < /dev/null & echo "hrm pid=$!" setsid bash launch_multi4_repro_config.sh trm 3 > multi4_repro_trm.outer.log 2>&1 < /dev/null & echo "trm pid=$!"