added execution time with -ex