src/Pure/Admin/isabelle_cronjob.scala

             " -e ISABELLE_SMLNJ=/usr/local/smlnj-110.81/bin/sml",
           args = "-a",
           detect = Build_Log.Settings.ML_PLATFORM + " = " + SQL.string("x86_64-windows"))),
       List(
         Remote_Build("AFP slow", "lrzcloud1", shared_home = false,
-          options = "-m64 -M6 -s10 -t AFP",
+          options = "-m64 -M6 -U30g -s10 -t AFP",
           args = "-g slow -X very_slow",
           afp = true,
           detect = Build_Log.Prop.build_tags + " = " + SQL.string("AFP")))
     ) :::
     {