more output
verbose repro output added

@ademar: this reproduces it. Noteworthy are the last two paragraphs
of the log file, which state that it dies in the BufferManager
log line with exception if there is one