Graph Partitioner: 3 MPI Processes
  type: shell
  edge cut: 0
  balance: 0
  use vertex weights: 1
  use edge weights: 0
  using random partition
PetscSection Object: NULL SECTION 3 MPI processes
  type not yet set
Process 0:
  (   0) dof 0 offset   0
  (   1) dof 0 offset   0
Process 1:
  (   0) dof 0 offset   0
  (   1) dof 0 offset   0
Process 2:
  (   0) dof 0 offset   0
  (   1) dof 0 offset   0
IS Object: NULL PARTITION 3 MPI processes
  type: general
[0] Number of indices in set 0
[1] Number of indices in set 0
[2] Number of indices in set 0
Graph Partitioner: 3 MPI Processes
  type: shell
  edge cut: 0
  balance: 0
  use vertex weights: 1
  use edge weights: 0
  using random partition
PetscSection Object: SEQ SECTION 3 MPI processes
  type not yet set
Process 0:
  (   0) dof 0 offset   0
  (   1) dof 0 offset   0
Process 1:
  (   0) dof 0 offset   0
  (   1) dof 0 offset   0
Process 2:
  (   0) dof 2 offset   0
  (   1) dof 2 offset   2
IS Object: SEQ PARTITION 3 MPI processes
  type: general
[0] Number of indices in set 0
[1] Number of indices in set 0
[2] Number of indices in set 4
[2] 0 1
[2] 1 3
[2] 2 0
[2] 3 2
Graph Partitioner: 3 MPI Processes
  type: shell
  edge cut: 0
  balance: 0
  use vertex weights: 1
  use edge weights: 0
  using random partition
PetscSection Object: PARVOID SECTION 3 MPI processes
  type not yet set
Process 0:
  (   0) dof 2 offset   0
  (   1) dof 2 offset   2
Process 1:
  (   0) dof 0 offset   0
  (   1) dof 0 offset   0
Process 2:
  (   0) dof 2 offset   0
  (   1) dof 2 offset   2
IS Object: PARVOID PARTITION 3 MPI processes
  type: general
[0] Number of indices in set 4
[0] 0 1
[0] 1 3
[0] 2 0
[0] 3 2
[1] Number of indices in set 0
[2] Number of indices in set 4
[2] 0 1
[2] 1 3
[2] 2 0
[2] 3 2