XBT_DEBUG("\t CPU actions");
simgrid::kernel::resource::Action::StateSet* action_list = cpu_model_pm->get_failed_action_set();
XBT_DEBUG("\t CPU actions");
simgrid::kernel::resource::Action::StateSet* action_list = cpu_model_pm->get_failed_action_set();