runtests.py: output TestingTime