cpu2: Depth=     109 States=   1e+06 Transitions= 9.64873e+06 Memory= 4.272    
cpu1: Depth=     115 States=   1e+06 Transitions= 9.64747e+06 Memory= 4.272    
cpu3: Depth=     162 States=   1e+06 Transitions= 9.64894e+06 Memory= 3.738    
cpu0: Depth=     112 States=   1e+06 Transitions= 9.65065e+06 Memory= 275.472  
cpu2: Depth=     109 States=   2e+06 Transitions= 2.04236e+07 Memory= 61.684   
cpu1: Depth=     115 States=   2e+06 Transitions= 2.04511e+07 Memory= 65.155   
cpu3: Depth=     162 States=   2e+06 Transitions= 2.04746e+07 Memory= 77.438   
cpu0: Depth=     112 States=   2e+06 Transitions= 2.04744e+07 Memory= 348.905  
cpu1: done -- local memcnt 222.702 Mb
cpu1: states stored   2536114	matched  24134200
cpu2: cpu1: locks: global         0	other        3958
cpu1: waits: states  90569073	slots           0

done -- local memcnt 234.718 Mb
cpu2: states stored   2570575	matched  24406363
cpu3: cpu2: locks: global         0	other        3610
cpu2: waits: states 2.8680031e+08	slots           0

done -- local memcnt 238.19 Mb
cpu3: states stored   2497630	matched  23819463
cpu0: cpu3: locks: global         0	other       24173
cpu3: waits: states   4990872	slots           0

done -- local memcnt 508.589 Mb
cpu0: states stored   2461521	matched  23497657
cpu0: locks: global         0	other        8570
cpu0: waits: states   5428882	slots           0

(Spin Version 5.0.0 -- 8 May 2007)
	+ Multi-Core (NCORE=4 -z20)
	+ Partial Order Reduction

Bit statespace search for:
	never claim         	- (none specified)
	assertion violations	+
	cycle checks       	- (disabled by -DSAFETY)
	invalid end states	+

State-vector 2728 byte, depth reached 162, errors: 0
 10065840 states, stored
 95857683 states, matched
1.0592352e+08 transitions (= stored+matched)
3.8755845e+08 atomic steps

hash factor: 1.66675 (best if > 100.)

bits set per state: 3 (-k3)

Stats on memory usage (in Megabytes):
26456.313	equivalent memory usage for states (stored*(State-vector + overhead))
2.000    	memory used for hash array (-w24)
1.450    	memory used for bit stack
10.147   	memory used for DFS stack (-m190000)
256.000  	memory used for shared work-queues
1189.350 	other (proc and chan stacks)
1.252    	memory lost to fragmentation
1204.199 	total actual memory usage


cpu0: elapsed time 179 seconds (1.00658e+07 states)
cpu0: rate 56233.7 states/second
cpu0: recommend recompiling with -DVMAX=2692 -DPMAX=54 -DQMAX=85