time(1) コマンドって、シェルや OS によって出力形式がまちまちだと思うんですが、
このへんの差違をまとめてあるドキュメントがあれば教えてください。