如何获取服务器的IPMI地址？

我正在编写一个Python程序来收集有关它正在运行的主机的信息.

要收集的信息包括IPMI地址.

经过一些谷歌搜索,我发现了一个名为的命令行工具ipmitool,但我不知道如何让它输出IPMI地址.

在我的一个带有IPMI的Ubuntu 14.04服务器中,sudo ipmitool lan print提供包括IPMI管理接口IP的输出.

Set in Progress         : Set Complete
Auth Type Support       : NONE MD2 MD5 PASSWORD
Auth Type Enable        : Callback : MD2 MD5
                        : User     : MD2 MD5
                        : Operator : MD2 MD5
                        : Admin    : MD2 MD5
                        : OEM      :
IP Address Source       : Static Address
IP Address              : 10.0.3.80
Subnet Mask             : 255.255.0.0
MAC Address             : f0:..:..:..:..:..
SNMP Community String   : public
IP Header               : TTL=0x40 Flags=0x40 Precedence=0x00 TOS=0x10
BMC ARP Control         : ARP Responses Enabled, Gratuitous ARP Disabled
Gratituous ARP Intrvl   : 2.0 seconds
Default Gateway IP      : 10.0.0.1
Default Gateway MAC     : 00:00:00:00:00:00
Backup Gateway IP       : 0.0.0.0
Backup Gateway MAC      : 00:00:00:00:00:00
802.1q VLAN ID          : Disabled
802.1q VLAN Priority    : 0
RMCP+ Cipher Suites     : 0,1,...
Cipher Suite Priv Max   : Xa...