<str>:  <num>

  Explanation:  During optimization operations, statistics are
  often collected to aid the user in tuning.  This message
  displays a single statistic.