OSName: Linux
OSRelease: 5.0.0-rc7
OSVersion: #4 SMP Thu Mar 7 11:50:47 CET 2019
HostName: debian
Architecture: x86_64
FallbackNbProcessors: 4
PageSize: 4096
