+ model_print("SC count: %u\n", stats->sccount);
+ model_print("Non-SC count: %u\n", stats->nonsccount);
+ model_print("Total actions: %llu\n", stats->actions);
+ unsigned long long actionperexec=(stats->actions)/(stats->sccount+stats->nonsccount);
+ model_print("Actions per execution: %llu\n", actionperexec);