revised run.sh benchmark driver to better align with emitting logs (e.g. for perf).