English: CPU time (user): %d microseconds
Dutch: CPU-tijd (gebruiker): %d microseconden