int min_index=INT_MAX;//the minimum index will be the leader
smx_process_t process = nullptr;
xbt_swag_foreach(process, process_list) {
int min_index=INT_MAX;//the minimum index will be the leader
smx_process_t process = nullptr;
xbt_swag_foreach(process, process_list) {