simix_config_init(); /* make sure that our configuration set is created */
surf_timer_model_init(file);
simix_config_init(); /* make sure that our configuration set is created */
surf_timer_model_init(file);
surf_cpu_model_description[cpu_id].model_init(file);
surf_network_model_description[network_id].model_init(file);
surf_cpu_model_description[cpu_id].model_init(file);
surf_network_model_description[network_id].model_init(file);