SearchStats

尝试过的规则应用次数（正向与逆向各计一次）。

生成的状态总数（含被剪枝的）。

至少产生过一次有效应用的规则次数。

被「元素多重集预过滤」直接跳过的规则应用次数： 分子里根本不含模式所需的元素，匹配必然失败，无需尝试。

实际到达的最大搜索深度。

搜索耗时（毫秒），由调用方在搜索结束后回填。