[Question]: How can I get statistics about formula periodically?

[hagozaebii]

Hello,

I am looking for a way to get periodical statistics information about formula that the solver is currently solving.
For example, if we use the option -st, z3 will show us statistics about the formula when z3 finishes solving it.
However, I want to print this information while the solver still solves the formula.
How can I print the statistics every second even though the formula is not solved yet?

Thanks for your time!