This post shows and explains commands to start a license manager (lmgrd), look up its port, find its peer (xilinxd), etc.