We study the Wasserstein lift of nonlinear Poisson systems with inhomogeneous Neumann boundary conditions. We establish the existence of minimizers using new estimates involving the p-moments of measure-valued traces. We also derive the optimality conditions, which turn out to be matrix-valued generalizations of pressure-less Euler equations. While deterministic minimizers exist under suitable convexity assumptions and for one-dimensional source domains, we show that genuinely measure-valued minimizers arise in higher dimensions. In particular, we construct examples in which the lifted and classical variational problems have different minimum values, thereby precluding the solutions to the lifted problem from being deterministic, despite the absence of any a priori mechanism enforcing measure-valued behavior. To the best of our knowledge, this phenomenon is new in the nonlinear elliptic theory.