cpu1: Depth=      20 States=  249996 Transitions= 1.99997e+06 Memory= 59.127   
cpu1: locks: global         0	other        1568	waits: states   4628975	slots           0
cpu0: Depth=      20 States=  250005 Transitions= 2.00003e+06 Memory= 214.115  
cpu0: locks: global       110	other        2399	waits: states  11588226	slots           0

(Spin Version 5.0.0 -- 15 May 2007)
	+ Multi-Core (NCORE=2 -z20)

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

State-vector 276 byte, depth reached 20, errors: 0
   500001 states, stored
  3500000 states, matched
  4000001 transitions (= stored+matched)
        0 atomic steps
hash conflicts:    875306 (resolved)
hint: increase hashtable-size (-w) to reduce runtime

Stats on memory usage (in Megabytes):
144.959  	equivalent memory usage for states (stored*(State-vector + overhead))
118.347  	actual memory usage for states (compression: 81.64%)
         	state-vector as stored = 220 byte + 28 byte overhead
4.000    	memory used for hash table (-w19)
22.889   	memory used for DFS stack (-m500010)
128.000  	memory used for shared work-queues
128.006  	other (proc and chan stacks)
273.242  	total actual memory usage

unreached in proctype test
	line 35, state 8, "-end-"
	(1 of 8 states)

cpu0: elapsed time 189 seconds (500001 states)
cpu0: rate 2646.63 states/second
cpu0: recommend recompiling with -DPMAX=8 -DQMAX=1