You can find the PortalNodeAddress, and PortalNodeJNDIPort values from the OEBPS_HOME\cluster\conf\oebps-cluster.xml file. Open this file in a text editor. In this file, locate the server name given in name property of a node tag for the server you want to stop. In this node tag, the address tag contains the value for the <PortalNodeAddress> parameter and jndi-port tag contains the value for the <PortalNodeJNDIPort> parameter.
In the above example, server name is "server_node", node address is "172.21.145.180", and JNDI port is "16053". With these values, you can specify the following command to stop the portal server.