JasperGold SAT solver capacity

I use JasperGold SPV app and the warning message show that 'SAT solver RegionAllocator max capacity'

Is there any command can set the max capacity of SAT solver? Thanks!

Image may be NSFW.
Clik here to view.

Image may be NSFW.
Clik here to view.