title: How can I remove the last two rows from Minizic output?
body: <p>When I execute a program of minizinc, the last two rows appear but I do not want them in my output.
  E.g.</p>
  <pre><code>10 10
  6
  3 3 0 7
  3 4 7 6
  3 6 7 0
  3 7 0 0
  4 4 3 0
  4 6 3 4
  ----------
  ==========
  </code></pre>
  <p>I got it using this kind of command</p>
  <pre><code>minizinc --solver Gecode -p &lt;cores&gt; -t 300000 &lt;model&gt; &lt;in_file&gt;
  </code></pre>
  <p>How can I fix this problem from command line?</p>