Only process upper bounds if required by solver
Better status reporting in formulae parsing
Add status reporting from NOMAD