English: CPU time (system): %d microseconds
Dutch: CPU-tijd (systeem): %d microseconden