[petsc-users] the size of matrix in PETSc solver