Restarting the Portal servers ( VMINTPRO1APP01 and VMINTPRO1APP02) may not resolve the issue as they do not have any services linked to Portal, and they only call the REST API services.
However, a possible fix may be to request that Infrastructure perform a restart on all FCC REST services on VMSRVPRO1APP01 & VMSRVPRO1APP02 instead.