Don't log a warning about incomplete solves

Now we use Tree for the GUI, it needs to handle partial results too.