<!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>