AMPL+NEOS+KNITRO+SNOPT+LOQOZ RULEZ

Yep, é verdade AMPL RULEZ. Demorei o dia inteiro a escrever um problema em Ampl (é chato, há comparativamente muito pouco suporte de jeito, é dificel fazer algumas coisas nele), mas assim que consegui, resolveu-me em 10 segundos o problema (em Matlab demoraria 1 hora a escrever aquilo bem, mas demoraria muitos minutos a resolver o problema e as suas rotinas de maximização são uma porcaria com graves problemas de convergência e que muitas vezes nem chega a um min/max local).