CPU: Intel(R) Core(TM) i5-10400 CPU @ 2.90GHz

```
CPU: Intel(R) Core(TM) i5-10400 CPU @ 2.90GHz
Cores: 12
Freq: 2600.000 MHz
Ram: 31Gi
Disk: Generic Flash Disk
OS: Linux (5.15.6-arch2-1)
118,803 seconds: ./build_all.sh
36,275 seconds: ./koch temp -d:release
```