Processing a database with limited RAM
It can require a lot of RAM to store a database in memory.
If this gets in the way of solving trees, then it’s possible to:
1) Export the database into its separate trees
2) Solve the individual trees
3) Merge the trees together again into a database
This will prevent having to store the database in RAM while solving.
See below for a description of these steps.
Step 1: Export a database into its separate trees
For this, go to “Run solver”, select the tab “DATABASE”, and click on Export database.
This will export the individual trees in your database as separate files to your given directory. 
.
.
Step 2: Solve the trees in the directory
Now, go to the “Folder” icon, and process all files in the directory.
.
.
Step 3: Merge the files into a database
Finally, you can merge the individual files back together again into a database.
For this, click on Merge files, enter the target directory, and click on “OK”.
.
.
