Both the agent-seed and init-seed are taken from std::random_device(), unless they are manually set using the --agent-seed and --init-seed command line arguments.