CVX solvers debugged, bunny example decimated