cvxopt solver args