¹⁶The cpu and real time information is not printed if the user has made use of the set show timing off command (see Section 18.9).