Hi,

one very cool change that would allow some experimenting with having multiple different solves open and compare them, would be to release RAM after solving.