Slightly enlarge the resource limits of compiler

4M is too tight. It's more reasonable to set it equal to the memory limit of the problem. But just let's simply increase it to 32M now.