Out of memory (presumable memory leak) (internal identifier 4)

[icecream17]

Repeating read set.mm and erase results in an Out of memory error:

*** FATAL ERROR:  Out of memory.
Internal identifier (for technical support):  #4 (statement)
To solve this problem, remove some unnecessary statements or file
inclusions to reduce the size of your input source.
Monitor memory periodically with SHOW MEMORY.

This is a sign of a memory leak somewhere. Memory leakage seem to speed up when loading large proofs

input (~test2.txt)

read set.mm
erase
read set.mm
erase
read set.mm
erase
read set.mm
erase
read set.mm
erase
read set.mm
erase
read set.mm
erase
read set.mm
erase
read set.mm
erase
read set.mm
erase
read set.mm
erase
read set.mm
erase
read set.mm
erase
read set.mm
erase
read set.mm
erase
read set.mm
erase
read set.mm
erase
read set.mm
erase
read set.mm
erase
read set.mm
erase
read set.mm
erase

full output

c:\set.mm>metamath
Metamath - Version 0.198 7-Aug-2021           Type HELP for help, EXIT to exit.
MM> sub ~test2.txt
Taking command lines from file "~test2.txt"...
MM> read set.mm
Reading source file "set.mm"... 46059886 bytes
46059886 bytes were read into the source buffer.
The source has 223696 statements; 2846 are $a and 43599 are $p.
No errors were found.  However, proofs were not checked.  Type VERIFY PROOF *
if you want to check them.
MM> erase
Metamath has been reset to the starting state.
MM> read set.mm
Reading source file "set.mm"... 46059886 bytes
46059886 bytes were read into the source buffer.
The source has 223696 statements; 2846 are $a and 43599 are $p.
No errors were found.  However, proofs were not checked.  Type VERIFY PROOF *
if you want to check them.
MM> erase
Metamath has been reset to the starting state.
MM> read set.mm
Reading source file "set.mm"... 46059886 bytes
46059886 bytes were read into the source buffer.
The source has 223696 statements; 2846 are $a and 43599 are $p.
No errors were found.  However, proofs were not checked.  Type VERIFY PROOF *
if you want to check them.
MM> erase
Metamath has been reset to the starting state.
MM> read set.mm
Reading source file "set.mm"... 46059886 bytes
46059886 bytes were read into the source buffer.
The source has 223696 statements; 2846 are $a and 43599 are $p.
No errors were found.  However, proofs were not checked.  Type VERIFY PROOF *
if you want to check them.
MM> erase
Metamath has been reset to the starting state.
MM> read set.mm
Reading source file "set.mm"... 46059886 bytes
46059886 bytes were read into the source buffer.
The source has 223696 statements; 2846 are $a and 43599 are $p.
No errors were found.  However, proofs were not checked.  Type VERIFY PROOF *
if you want to check them.
MM> erase
Metamath has been reset to the starting state.
MM> read set.mm
Reading source file "set.mm"... 46059886 bytes
46059886 bytes were read into the source buffer.
The source has 223696 statements; 2846 are $a and 43599 are $p.
No errors were found.  However, proofs were not checked.  Type VERIFY PROOF *
if you want to check them.
MM> erase
Metamath has been reset to the starting state.
MM> read set.mm
Reading source file "set.mm"... 46059886 bytes
46059886 bytes were read into the source buffer.
The source has 223696 statements; 2846 are $a and 43599 are $p.
No errors were found.  However, proofs were not checked.  Type VERIFY PROOF *
if you want to check them.
MM> erase
Metamath has been reset to the starting state.
MM> read set.mm
Reading source file "set.mm"... 46059886 bytes
46059886 bytes were read into the source buffer.
The source has 223696 statements; 2846 are $a and 43599 are $p.
No errors were found.  However, proofs were not checked.  Type VERIFY PROOF *
if you want to check them.
MM> erase
Metamath has been reset to the starting state.
MM> read set.mm
Reading source file "set.mm"... 46059886 bytes
46059886 bytes were read into the source buffer.
The source has 223696 statements; 2846 are $a and 43599 are $p.
No errors were found.  However, proofs were not checked.  Type VERIFY PROOF *
if you want to check them.
MM> erase
Metamath has been reset to the starting state.
MM> read set.mm
Reading source file "set.mm"... 46059886 bytes
46059886 bytes were read into the source buffer.
The source has 223696 statements; 2846 are $a and 43599 are $p.
No errors were found.  However, proofs were not checked.  Type VERIFY PROOF *
if you want to check them.
MM> erase
Metamath has been reset to the starting state.
MM> read set.mm
Reading source file "set.mm"... 46059886 bytes
46059886 bytes were read into the source buffer.
The source has 223696 statements; 2846 are $a and 43599 are $p.
No errors were found.  However, proofs were not checked.  Type VERIFY PROOF *
if you want to check them.
MM> erase
Metamath has been reset to the starting state.
MM> read set.mm
Reading source file "set.mm"... 46059886 bytes
46059886 bytes were read into the source buffer.
The source has 223696 statements; 2846 are $a and 43599 are $p.
No errors were found.  However, proofs were not checked.  Type VERIFY PROOF *
if you want to check them.
MM> erase
Metamath has been reset to the starting state.
MM> read set.mm
Reading source file "set.mm"... 46059886 bytes
46059886 bytes were read into the source buffer.
The source has 223696 statements; 2846 are $a and 43599 are $p.
No errors were found.  However, proofs were not checked.  Type VERIFY PROOF *
if you want to check them.
MM> erase
Metamath has been reset to the starting state.
MM> read set.mm
Reading source file "set.mm"... 46059886 bytes
46059886 bytes were read into the source buffer.
*** FATAL ERROR:  Out of memory.
Internal identifier (for technical support):  #4 (statement)
To solve this problem, remove some unnecessary statements or file
inclusions to reduce the size of your input source.
Monitor memory periodically with SHOW MEMORY.

Press <return> to exit Metamath.
erase