Wrong number of workers in summary
The total number of workers shown in the initial summary is not the real number of created worker threads. The shown value is the number of workers in the System::_workers list. However, the SMPMultiThread creates several virtual workers but only one real worker thread. Therefore, the value shown is not meaningfully and should be fixed.