Make output_thread_groups take an std::vector<int>