cpu0: pan: acceptance cycle (at depth 11)
cpu1: pan: acceptance cycle (at depth 20)
cpu0: Depth=   26294 States=   1e+06 Transitions= 7.32083e+06 Memory= 329.425   t= 12.2    R= 82034.454
cpu1: Depth=   27469 States=   1e+06 Transitions= 7.92323e+06 Memory= 68.652    t= 13.4    R= 74626.866
cpu1: Depth=   27469 States= 1.63638e+06 Transitions= 1.33591e+07 Memory= 112.305   t= 21.9    R= 74823.274
cpu0: Depth=   26294 States= 1.64088e+06 Transitions= 1.2473e+07 Memory= 373.371   t= 21.9    R= 75028.852
cpu1: locks: global         0	other           0	waits: states   4074318	slots           0
cpu0: locks: global       304	other           0	waits: states 3.6730411e+08	slots           0

(Spin Version 5.0 -- 2 June 2007)
	+ Multi-Core (NCORE=2 -z20)

Full statespace search for:
	never claim         	- (none specified)
	assertion violations	+
	acceptance   cycles 	+ (fairness disabled)
	invalid end states	+

State-vector 164 byte, depth reached 27449, errors: 7261713
  1640881 states, stored (3.27727e+06 visited)
 22554768 states, matched
 25832034 transitions (= visited+matched)
  2450000 atomic steps
hash conflicts:    642598 (resolved)

Stats on memory usage (in Megabytes):
287.935  	equivalent memory usage for states (stored*(State-vector + overhead))
240.906  	actual memory usage for states (compression: 83.67%)
         	state-vector as stored = 134 byte + 20 byte overhead
128.000  	memory used for hash table (-w24)
4.578    	memory used for DFS stack (-m100000)
128.000  	memory used for shared work-queues
0.113    	memory lost to fragmentation
373.371  	total actual memory usage


cpu0: elapsed time 21.9 seconds (3.27727e+06 states visited)
cpu0: rate 149715 states/second
cpu0: recommend recompiling with -DVMAX=164 -DPMAX=9