Ensure that when we enable solver output, we don't write to STDOUT (since this does not get captured with the rest of the logs).
Ensure that when we enable solver output, we don't write to STDOUT (since this does not get captured with the rest of the logs).
