<!DOCTYPE html>
<html>
  <head>
    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
  </head>
  <body>
    <p>Those are due to repeated crashes because of memory problems
      since yesterday afternoon:<br>
    </p>
    <pre class="source">*** *** java.lang.OutOfMemoryError: Java heap space</pre>
    <p></p>
    <pre class="source">*** Ran out of memory retrieving query results.</pre>
    <p></p>
    <p>I am not yet sure what causes the increased memory consumption. <br>
    </p>
    <p><br>
    </p>
    <p>Fabian<br>
    </p>
    <div class="moz-cite-prefix">On 6/25/25 21:32, Florian Haftmann
      wrote:<br>
    </div>
    <blockquote type="cite"
      cite="mid:55eb0aff-c0cf-4a08-a600-6b4f907390a5@cit.tum.de">
      <blockquote type="cite">*** Unable to convert bytea parameter at
        position 7 to literal
        <br>
        Job ended at Wed Jun 25 21:29:15 GMT+2 2025, with status failed
        <br>
      </blockquote>
      <br>
<a class="moz-txt-link-freetext" href="https://build.proof.cit.tum.de/build?id=e42c0340-8807-4c4c-b9c4-64757f490958">https://build.proof.cit.tum.de/build?id=e42c0340-8807-4c4c-b9c4-64757f490958</a>
      <br>
    </blockquote>
  </body>
</html>