cpu1: Depth=   12469 States=  809914 Transitions= 7.9409e+06 Memory= 49.433    t= 9.51    R= 85164.458
cpu1: locks: global     28335	gg        0	other      407675	waits: states    688759	slots           0
cpu0: Depth=   20473 States=  830967 Transitions= 8.15101e+06 Memory= 212.189   t= 9.51    R= 87378.233
cpu0: locks: global     41213	gg        0	other      959481	waits: states   8218913	slots           0

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

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

State-vector 156 byte, depth reached 20473, errors: 0
  1640881 states, stored
 14451025 states, matched
 16091906 transitions (= stored+matched)
  1225000 atomic steps
hash conflicts:   1403014 (resolved)

Stats on memory usage (in Megabytes):
262.897  	equivalent memory usage for states (stored*(State-vector + overhead))
100.249  	actual memory usage for states (compression: 38.13%)
         	state-vector as stored = 52 byte + 12 byte overhead
32.000   	memory used for hash table (-w22)
1.373    	memory used for DFS stack (-m30000)
128.000  	memory used for shared work-queues
128.000  	other (proc and chan stacks)
261.623  	total actual memory usage

unreached in proctype philosopher
	line 31, state 22, "-end-"
	(1 of 22 states)

cpu0: elapsed time 9.66 seconds (1.64088e+06 states visited)
cpu0: rate 169863 states/second