bench: fix timing options

* benchs/run-benchmark.sh: Here;
1 job for er/bb in 2 minutes and 12 seconds (queued for 1 second)
Status Job ID Name Coverage
  Test
passed #118897
debian-stable-gcc

00:02:12