std::rt: Correct the numbers of default cores
std::rt: Document and cleanup the run function