In main.py, use multiple threads to run the C++ executable, each with its unique seed, to generate traces in parallel.