z3 - z3 メモリー使用特性のモニター

Question

z3が解決するのに長い時間がかかるいくつかの制約があります。統計を最後に出力する "-st" コマンドライン フラグと、内部データ構造値を出力するための TRACE 機能については認識しています。実行中に z3 内から診断情報を取得する方法 (たとえば、メモリ使用量を継続的に監視するため) はありますか?コマンドライン？ありがとう。