added a notion over verbosity to solvers and fixed an exclusive orders bug