Mostly working, maybe bugs in launching new threads after
finishing a GP with random solvers