How to Check Theorem Licenses Using FlexLM

Theorem Solutions develops software tools for the conversion, visualization, and interoperability of CAD data, which are widely used in the automotive, aerospace, and manufacturing industries. Its products support multi-CAD and PLM workflows and are often distributed via floating licenses managed by FlexLM (FlexNet Publisher), which enables efficient and scalable management on corporate servers.

How can I check Theorem’s floating licenses?

Theorem uses the FlexLM license manager for its floating licenses. To monitor their usage, you must query the license server remotely using specific commands, which are available for both Windows and Linux.

The first step is to download lmutil from Flexera. It is important that the version of lmutil be at least as high as the one running on the server to ensure that the output is decoded correctly.

Next, you need to know:

• The license daemon’s communication port (specified in the file .lic)
• The exact name of the server (without a domain or DNS suffixes)

If the server name cannot be resolved, it is recommended that you configure the ` hosts ` file (on Windows) or the ` resolv.conf ` file (on Linux) to ensure that the FlexLM daemon is queried correctly.

How do I check the available Theorem licenses?

To list all active licenses, use the following command:

lmutil.exe lmstat -a -c porta@nomeserver

Example for multiple servers (triad):

lmutil.exe lmstat -a -c porta@server1;porta@server2;porta@server3

On Linux systems:

lmutil lmstat -a -c porta@server1,porta@server2,porta@server3

Typical output:

Feature          Version   #licenses   Expires       Vendor
theorem_viewer   21.0      10          31-dec-2025   THM_DEAMON
theorem_xcad     21.0      5           31-dec-2025   THM_DEAMON

How do I check the license usage for Theorem?

To identify who is currently using the licenses:

lmutil.exe lmstat -S -c porta@nomeserver

Sample output:

Users of theorem_viewer:  (Total of 10 licenses issued;  Total of 4 licenses in use)
  "theorem_viewer" v21.0, vendor: THM_DEAMON
  floating license
    user1 workstation01 (v21.0) (theoserver/27000 1150), start Wed 01/05 08:30
    user2 workstation02 (v21.0) (theoserver/27000 1151), start Wed 01/05 08:45
    user3 workstation03 (v21.0) (theoserver/27000 1152), start Wed 01/05 08:50
    user4 workstation04 (v21.0) (theoserver/27000 1153), start Wed 01/05 09:00

Why use Observer to monitor Theorem?

With Observer, you can fully automate queries to Theorem’s FlexLM servers. Key features include:

• Real-time display of the number of available and used licenses
• Historical Analysis of Usage Peaks and Denied Requests
• Detailed reports and customizable charts
• Automatic Alerts for License Expiration and Capacity Limits

Observer integrates natively with FlexLM and enables continuous, efficient, and centralized monitoring of Theorem and all software deployed in floating-license mode.

Contact us to learn more about Observer or to try a free demo on your infrastructure.