elapsed time rounded

elapsed time rounded to always 3 decimal places and some small
modification to make it easier to print and do changes