Assuming there are a number of licenses for the Verilog package that can be used by all the hosts in the cluster, the LSF configuration files could be set up to monitor this resource as follows:
The INTERVAL in the lsf.shared file indicates how often the ELIM is expected to update the value of the Verilog resource — in this case every 60 seconds. Since this resource is shared by all hosts in the cluster, the ELIM only needs to be started on the master host. If the Verilog licenses can only be accessed by some hosts in the cluster, specify the LOCATION field of the ResourceMap section as ([hostA hostB hostC ...]). In this case an ELIM is only started on hostA.