Trivial infeasibilities detected; solution determined analytically

This occurs when CVX’s presolve believes it can determine the solution without even calling the solver. For instance, if it sees a constraint that reduces to 1 == 0, it knows the model is infeasible.

This of course depends on the exact numerical values being fed in, so without the data it is not possible to know for sure whether CVX is doing the right thing or making a mistake.