preliminary bugfix: limit solver output to 512 MB in memory