適切な順序付けのために、int_search ステートメントを使用して var 変数を含む大きな minizinc モデルを作成しました。fix(var variables) ステートメントを使用して変数値を出力する出力ステートメントが含まれており、組み込み関数 sum、bool2int などを使用するいくつかの関数が含まれています。長い時間（たとえば、5〜6分）ですが、ランタイム/ソルブタイム（デフォルトではソルバーの出力情報）は20秒しか表示されません。なぜこの奇妙なことが起こっているのですか？出力文にも時間がかかるからでしょうか。しかし、変数はその時点で修正されました。では、なぜそうなったのでしょうか?