- printf("Workstation name: %s, power: %f Mflop/s\n", name, power);
+ available_power = SD_workstation_get_available_power(workstation);
+ printf("Workstation name: %s, power: %f Mflop/s, available power: %f%%\n", name, power, (available_power*100));