Time and benchmark applications on a Linux system