| ERROR | timed_statistics must be TRUE when statistics_level is not BASIC |
| CAUSE | The user attempted to set timed_statistics to FALSE when statistics_level was not BASIC. timed_statistics is required to be TRUE to collect meaningful statistics when statistics_level is set to TYPICAL or ALL. |
| ACTION | Either set timed_statistics to TRUE or set statistics_level to BASIC. |