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