[zypp-devel] Solver is more verbose