Dumpmanager dump file format