哪个标志输出minizinc运行时间

Question

我正在从终端运行minizinc模型，但在程序执行完毕后无法看到运行时间： 我怎么能看到执行/运行时间？ 这是否有旗帜？