exec times and formatting
exec times and formatting