There's needs to be a way to submit with much higher memory limit

[SkidanovAlex]

My submission for zhang_bounded_prime_gaps OOMs during submission:

https://github.com/leanprover/lean-eval-submissions/actions/runs/35150842192
https://github.com/leanprover/lean-eval-submissions/actions/runs/35158364131

While for this particular problem it might be possible to squeeze it into something that would pass on a 16GB machine, it is definitely the case that for a large fraction of yet unsolved problems it would not be possible. For example, FLT is in the v1, and I do not believe that any submission for FLT can possibly be replayed on a 16GB instance.

There needs to be a way to submit solutions that cannot be replayed on a 16GB machine.

[SkidanovAlex]

It appears to affect all the teams on the leaderboard.

Humanifa:
https://github.com/leanprover/lean-eval-submissions/actions/runs/35847317837/job/107136871275

Likely Axiom:
https://github.com/leanprover/lean-eval-submissions/actions/runs/35685120657
https://github.com/leanprover/lean-eval-submissions/actions/runs/35678420532

Likely Midas:
https://github.com/leanprover/lean-eval-submissions/actions/runs/35752345373
https://github.com/leanprover/lean-eval-submissions/actions/runs/35711819185

I don't know how many of them ended up fixing their solutions, but most likely each team by now is sitting on at least one problem they can't submit 🤔