Yes. This is weird. The dimension of the matrix is 6 and 9, and the size checking test past. Here is a bug in PETsc, which was reported by someone else.