added some more verbose reporting if asked and fixed a bug where exclusive rows were being added if the solver had been declared not exclusive