Increase verbosity such that we see the actual solve