Event emitted when statistics are received from the compiler or the solver.
Mapping between statistic name and value
Message type
Event emitted when statistics are received from the compiler or the solver.