Oia eu aqui, estava dando uma olhada em uns tópicos sobre z3 e vi o link dessa MP pra K1, e me interessei nesse Heap Java 4500kb.

Será que tem algum modo de aumentar isso aew tambem no Z3 que ainda possui a trava RSA, pois o meu ta com trava e não to com vontade de tirar ainda.