Mixed formulation of stokes equations

You are not specifying a solver for the linear problem. I would suggest you start by testing it with a direct solver, and ensure that this converges.
See for instance: Conspicuous speed ups in parallel computing - #2 by dokken