I am an experienced "user" of LInux, but never had do deal with any lower level issues, until now.
My desktop machine regularly freezes and after about 30 seconds it automatically reboots.
At first, I suspected a heating problem, but circumstances (and some naive temperature monitoring) makes me think thats not the case.
Then I suspected "Synergy", a keyboard/mouse sharing software that lets me control my linux box as well as a separate IMac.
The machine can freeze/reboot even when I am not at the desk.
I know I should look in /var/logs for "unusual" messages, but I haven't really got a clue what to look for? There is so munch there and I don't know what is normal and what is not.
What should I do/look for?
Thanks
------ edit ----
Code: Select all
inxi -Fxz
System: Host: monster-mint Kernel: 4.8.0-36-generic x86_64 (64 bit gcc: 5.4.0)
Desktop: Cinnamon 3.2.7 (Gtk 3.18.9-1ubuntu3.3) Distro: Linux Mint 18.1 Serena
Machine: System: ASUS product: All Series
Mobo: ASUSTeK model: H87I-PLUS v: Rev X.0x Bios: American Megatrends v: 0702 date: 08/30/2013
CPU: Quad core Intel Core i7-4770K (-HT-MCP-) cache: 8192 KB
flags: (lm nx sse sse2 sse3 sse4_1 sse4_2 ssse3 vmx) bmips: 27999
clock speeds: max: 4300 MHz 1: 1600 MHz 2: 2777 MHz 3: 1620 MHz 4: 1649 MHz 5: 1599 MHz
6: 2732 MHz 7: 2033 MHz 8: 1600 MHz
Graphics: Card: NVIDIA GK110 [GeForce GTX 780] bus-ID: 01:00.0
Display Server: X.Org 1.18.4 drivers: nvidia (unloaded: fbdev,vesa,nouveau)
Resolution: 2560x1440@59.95hz, 1920x1080@60.00hz
GLX Renderer: GeForce GTX 780/PCIe/SSE2 GLX Version: 4.5.0 NVIDIA 378.13 Direct Rendering: Yes
Audio: Card-1 Intel 8 Series/C220 Series High Definition Audio Controller
driver: snd_hda_intel bus-ID: 00:1b.0
Card-2 NVIDIA GK110 HDMI Audio driver: snd_hda_intel bus-ID: 01:00.1
Sound: Advanced Linux Sound Architecture v: k4.8.0-36-generic
Network: Card: Intel Ethernet Connection I217-V driver: e1000e v: 3.2.6-k port: f040 bus-ID: 00:19.0
IF: eno1 state: up speed: 100 Mbps duplex: full mac: <filter>
Drives: HDD Total Size: 3256.7GB (13.8% used) ID-1: /dev/sda model: Samsung_SSD_840 size: 256.1GB
ID-2: /dev/sdb model: WDC_WD20EZRX size: 2000.4GB
ID-3: USB /dev/sdc model: MK1059GSM size: 1000.2GB
Partition: ID-1: / size: 111G used: 96G (91%) fs: ext4 dev: /dev/sdb5
ID-2: swap-1 size: 17.11GB used: 0.00GB (0%) fs: swap dev: /dev/sdb6
RAID: No RAID devices: /proc/mdstat, md_mod kernel module present
Sensors: System Temperatures: cpu: 39.0C mobo: 113.0C gpu: 0.0:38C
Fan Speeds (in rpm): cpu: 0 fan-1: 1739 fan-2: 1228 fan-5: 0
Info: Processes: 284 Uptime: 26 min Memory: 1803.0/15985.0MB Init: systemd runlevel: 5 Gcc sys: 5.4.0
Client: Shell (bash 4.3.481) inxi: 2.2.35