In reply to anony.

The NLP solvers available in PROC OPTMODEL are much improved in both 9.3 and the upcoming release 12.1 due later this year. Difficult customer instances help us improve our solvers, so please send them to tech support.