Only about 600 out of 10,000 employees would have kept working at the agency under the president’s plan.