Herwig Goemans <herwig(dot)goemans(at)gmail(dot)com> writes:
> "/home/local/VMM/h.goemans/_usr_lib_postgresql_12_bin_postgres.201.crash"
> is not a core dump: File format not recognized
Hmm, that's a new one on me, but also that file name doesn't look
very much like a core file name --- usually they're just "core.NNNN"
or such. Maybe this is a version you'd base64-encoded to put onto
your web server, or something like that?
regards, tom lane