However, when I do scoreboard cache refresh, we still run out of memory, so I assume it uses a different php.ini? Where can I edit this file?
Okay, so I made changes in /etc/apache2/conf.d/domjudge.conf (which is symlinked to the apache.conf in domserver) php_value memory_limit 512M php_value max_execution_time 300
And now it all seems to work.
Thank you Parth Mittal