[Terry N.] increase mem and specify stack

.github/workflows/sumo-ci.yml

@@ -60,7 +60,7 @@ jobs:
 #        cat $SIGMA_HOME/KBs/config.xml
 
     - name: Produce SUMO.fof
-      run: java -Xmx8g -cp "/root/sigmakee/*" com.articulate.sigma.trans.SUMOKBtoTPTPKB
+      run: java -Xmx10g -Xss1m -cp "/root/sigmakee/*" com.articulate.sigma.trans.SUMOKBtoTPTPKB
 
     - name: Upload SUMO.fof
       uses: actions/upload-artifact@v4
@@ -98,7 +98,7 @@ jobs:
         #/usr/local/bin/vampire --proof tptp -t $VAMPIRE_TIMEOUT SUMO.fof > vamp-out.txt || echo "Ignoring vampire exit code"
         /usr/local/bin/vampire --cores 0 --mode portfolio --schedule snake_tptp_uns --proof tptp --input_syntax tptp --output_axiom_names on -t $VAMPIRE_TIMEOUT SUMO.fof > vamp-out.txt || echo "Ignoring vampire exit code"
         mkdir -p $CATALINA_HOME/webapps/sigma/graph
-        java -Xmx8g -cp "/root/sigmakee/*" com.articulate.sigma.trans.TPTP3ProofProcessor -f vamp-out.txt
+        java -Xmx10g -Xss1m -cp "/root/sigmakee/*" com.articulate.sigma.trans.TPTP3ProofProcessor -f vamp-out.txt
         # DEBUG (pwd: /root/sigma-runtime/KBs)
 
     - name: Upload vamp-out.txt & proof.* files