health-check.sh: wait for the systems to shutdown after the benchmarks