Fixing DRUP capitalisation
Deleting the Solver instance, and freeing the drup file, too
Return with the status later