[firedrake] parallel solving