1Graph Partitioner: 1 MPI Process 2 type: shell 3 edge cut: 0 4 balance: 0 5 use vertex weights: 1 6 use edge weights: 0 7 using random partition 8PetscSection Object: NULL SECTION 1 MPI process 9 type not yet set 10Process 0: 11 ( 0) dof 0 offset 0 12 ( 1) dof 0 offset 0 13IS Object: NULL PARTITION 1 MPI process 14 type: general 15Number of indices in set 0 16Graph Partitioner: 1 MPI Process 17 type: shell 18 edge cut: 0 19 balance: 0 20 use vertex weights: 1 21 use edge weights: 0 22 using random partition 23PetscSection Object: SEQ SECTION 1 MPI process 24 type not yet set 25Process 0: 26 ( 0) dof 2 offset 0 27 ( 1) dof 2 offset 2 28IS Object: SEQ PARTITION 1 MPI process 29 type: general 30Number of indices in set 4 310 1 321 3 332 0 343 2 35Graph Partitioner: 1 MPI Process 36 type: shell 37 edge cut: 0 38 balance: 0 39 use vertex weights: 1 40 use edge weights: 0 41 using random partition 42PetscSection Object: PARVOID SECTION 1 MPI process 43 type not yet set 44Process 0: 45 ( 0) dof 2 offset 0 46 ( 1) dof 2 offset 2 47IS Object: PARVOID PARTITION 1 MPI process 48 type: general 49Number of indices in set 4 500 1 511 3 522 0 533 2 54