Change benchmark output format to always use milliseconds

Change benchmark output format to always use milliseconds #1498