No, I took a snapshot of the dmesg output before I ran the xrandr command. After that, I took a snapshot again. What I've uploaded is the diff of the two snapshots. Maybe I was renaming the first snapshot after I took it which ate some seconds, can't recall.