Come controllare le licenze di Theorem con FlexLM
Theorem Solutions sviluppa strumenti software per la conversione, visualizzazione e interoperabilità dei dati CAD, particolarmente utilizzati nei settori automotive, aerospaziale e manifatturiero.

Theorem Solutions sviluppa strumenti software per la conversione, visualizzazione e interoperabilità dei dati CAD, particolarmente utilizzati nei settori automotive, aerospaziale e manifatturiero. I suoi prodotti supportano flussi di lavoro multi-CAD e PLM, e spesso vengono distribuiti tramite licenze floating gestite da FlexLM (FlexNet Publisher), che consente una gestione efficiente e scalabile su server aziendali.
Come si possono controllare le licenze floating di Theorem?
Theorem utilizza il gestore di licenze FlexLM per le sue licenze Floating. Per monitorarne l’utilizzo è necessario interrogare il server di licenza da remoto tramite comandi specifici, disponibili sia per Windows che per Linux.
Il primo passo è scaricare lmutil da Flexera. È importante che la versione di lmutil sia almeno pari a quella in uso sul server per garantire la corretta decodifica dell’output.
In seguito, è necessario conoscere:
- La porta di comunicazione del demone di licenza (indicata nel file
.lic
) - Il nome esatto del server (senza dominio o suffissi DNS)
Se il nome del server non viene risolto, è consigliabile configurare il file hosts
(su Windows) o resolv.conf
(su Linux) per garantire la corretta interrogazione del demone FlexLM.
Come controllare le licenze disponibili di Theorem?
Per elencare tutte le licenze attive, il comando da usare è:
lmutil.exe lmstat -a -c porta@nomeserver
Esempio per server multipli (triade):
lmutil.exe lmstat -a -c porta@server1;porta@server2;porta@server3
Su sistemi Linux:
lmutil lmstat -a -c porta@server1,porta@server2,porta@server3
Output tipico:
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
Come controllare gli utilizzi delle licenze di Theorem?
Per identificare chi sta attualmente utilizzando le licenze:
lmutil.exe lmstat -S -c porta@nomeserver
Output di esempio:
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
Perché usare Observer per monitorare Theorem?
Con Observer, è possibile automatizzare completamente l’interrogazione dei server FlexLM di Theorem. Le funzionalità principali includono:
- Visualizzazione in tempo reale del numero di licenze disponibili e utilizzate
- Analisi storica dei picchi di utilizzo e dei denied
- Report dettagliati e grafici personalizzabili
- Allarmi automatici per scadenze e saturazione licenze
Observer si integra nativamente con FlexLM e consente un monitoraggio continuo, efficiente e centralizzato di Theorem e di tutti i software distribuiti in modalità floating.
Contattaci per sapere di più su Observer o per provare gratuitamente una demo nella tua infrastruttura.