How to set the most efficient worker count while using python concurrent threadpools?

Question

When I see the /proc/cpuinfo file on my machine (running Linux Mint, if that is important), the last entry of the processors looks like

processor   : 11
vendo