write benchmark results to tmp/bench.txt