end = xbt_os_time();
DEBUG1("PARSE TIME: %lg", (end - start));
xbt_dict_foreach(surf_model_resource_set(surf_workstation_model), cursor,
name, workstation) {
end = xbt_os_time();
DEBUG1("PARSE TIME: %lg", (end - start));
xbt_dict_foreach(surf_model_resource_set(surf_workstation_model), cursor,
name, workstation) {