[   11.107109] vboxdrv: fAsync=0 offMin=0x41d offMax=0x85d7
[   11.107174] vboxdrv: TSC mode is 'synchronous', kernel timer mode is 'normal'.
[   11.107175] vboxdrv: Successfully loaded version 4.1.8_Ubuntu (interface 0x00190000).
[   11.116587] vboxpci: IOMMU not found (not registered)
[   12.809065] HDMI hot plug event: Codec=3 Pin=5 Presence_Detect=1 ELD_Valid=0
[   12.816034] HDMI status: Codec=3 Pin=5 Presence_Detect=1 ELD_Valid=0
[   12.881084] HDMI hot plug event: Codec=3 Pin=5 Presence_Detect=0 ELD_Valid=1
[   12.888009] HDMI status: Codec=3 Pin=5 Presence_Detect=1 ELD_Valid=1
[   13.688028] HDMI: detected monitor SR-300
[   13.688029]        at connection type HDMI
[   13.688032] HDMI: available speakers: FL/FR LFE FC RL/RR RLC/RRC
[   13.688035] HDMI: supports coding type LPCM: channels = 2, rates = 32000 44100 48000 96000 176400 192000 384000, bits = 16 20 24
[   13.688039] HDMI: supports coding type LPCM: channels = 8, rates = 32000 44100 48000 96000 176400 192000 384000, bits = 16 20 24
[   13.688042] HDMI: supports coding type AC-3: channels = 6, rates = 32000 44100 48000, max bitrate = 640000
[   13.688044] HDMI: supports coding type DTS: channels = 7, rates = 32000 44100 48000 96000 176400, max bitrate = 1536000
[   14.160403] HDMI hot plug event: Codec=3 Pin=5 Presence_Detect=1 ELD_Valid=0
[   14.168020] HDMI status: Codec=3 Pin=5 Presence_Detect=0 ELD_Valid=0
[   14.198569] HDMI hot plug event: Codec=3 Pin=5 Presence_Detect=1 ELD_Valid=0
[   14.204023] HDMI status: Codec=3 Pin=5 Presence_Detect=1 ELD_Valid=0
[   14.248920] HDMI hot plug event: Codec=3 Pin=5 Presence_Detect=0 ELD_Valid=1
[   14.256017] HDMI status: Codec=3 Pin=5 Presence_Detect=1 ELD_Valid=1
[   15.040026] HDMI: detected monitor SR-300
[   15.040028]        at connection type HDMI
[   15.040031] HDMI: available speakers: FL/FR LFE FC RL/RR RLC/RRC
[   15.040035] HDMI: supports coding type LPCM: channels = 2, rates = 32000 44100 48000 96000 176400 192000 384000, bits = 16 20 24
[   15.040039] HDMI: supports coding type LPCM: channels = 8, rates = 32000 44100 48000 96000 176400 192000 384000, bits = 16 20 24
[   15.040041] HDMI: supports coding type AC-3: channels = 6, rates = 32000 44100 48000, max bitrate = 640000
[   15.040044] HDMI: supports coding type DTS: channels = 7, rates = 32000 44100 48000 96000 176400, max bitrate = 1536000
[38061.034879] gnome-screensav[1997]: segfault at 30 ip 00007f7651c163e7 sp 00007fffc9b390b0 error 4 in libgtk-3.so.0.318.0[7f76519ec000+4bf000]