Florian Vahl 350cb09338
Fix cpu count estimation (#281)
* Fix query for the number of cpu cores.

* Fix formating

* Fix formating again...
2021-12-29 11:56:22 -05:00
..
2021-12-29 11:56:22 -05:00