global-state-manager:
	process-entry-pool: (136401 * 152 B/inst) = 20732952 B
		sum(frame-map): (1653405 * 8 B/entry) = 13227240 B
	channel-entry-pool: (1 * 40 B/inst) = 40 B
	enum-entry-pool: (1 * 24 B/inst) = 24 B
	int-entry-pool: (1 * 24 B/inst) = 24 B
	bool-entry-pool: (260501 * 24 B/inst) = 6252024 B
node-state: (260501 * 224 B/node) = 58352224 B
node::fanout: (207200 * 8 B/FO) = 1657600 B
unique-process: (11 * 136 B/type) = 1496 B
	exprs+graph_nodes: (11 *(16+32) B/expr) = 528 B
	rules+map_nodes: (5 *(32+24) B/rule) = 616 B
	local_nodes: (193222 * 120 B/node) = 23186640 B
	fanin/outs: (13 * 8 B/fan) = 104 B
process-instances: (136401 * 48 B/proc) = 6547248 B
	expr-state: (310700 * 4 B/expr) = 1242800 B
	rule-state: (103700 * 1 B/rule) = 103700 B
expr-process-map: (34601 * 48 B/proc) = 1660848 B
event-pool: (1 * 48 B/event) = 48 B
event-free-list: (0 * 40 B/free) = 0 B
event-queue: (0 * 16 B/event) = 0 B
exclhi-queue: (0 * 48 B/event) = 0 B
excllo-queue: (0 * 48 B/event) = 0 B
pending-queue: (0 * 40 B/event) = 0 B
mk-exclhi-rings: (0 * 48 B/ring) = 0 B
mk-exclhi::nodes: (0 * 40 B/node) = 0 B
mk-excllo-rings: (0 * 48 B/ring) = 0 B
mk-excllo::nodes: (0 * 40 B/node) = 0 B
chk-exclhi-locks: (64 / 8 lock/B) >= 8 B
chk-excllo-locks: (64 / 8 lock/B) >= 8 B
chk-exclhi-rings: (0 * 64 B/ring) = 0 B
chk-exclhi::nodes: (0 * 8 B/node) = 0 B
chk-excllo-rings: (0 * 64 B/ring) = 0 B
chk-excllo::nodes: (0 * 8 B/node) = 0 B
watch-list: (0 * 64 B/node) = 0 B
