petsc
introduction
Synchronized printing.