OSName: Linux
OSRelease: 5.3.0-rc7
OSVersion: #4 SMP Wed Sep 4 19:32:09 CEST 2019
HostName: leonide
Architecture: x86_64
FallbackNbProcessors: 80
PageSize: 4096
