So in other words, there is no such thing in FEAP as domain decomposition, but more something like dividing mesh in several parts, each part is processed by separate CPU process, which puts their matrix into global matrix. Then PETSc solves this global matrix in their own way. Finally each process gets his part of solution from PETSc global solution vector?