cpu0: pan: accept stutter (at depth 499999)
cpu1: pan: accept stutter (at depth 20)
cpu1: Depth=      21 States=  500001 Transitions= 4.5e+06 Memory= 0.000     t= 452     R= 1106.3438
cpu0: Depth=  500000 States=  500001 Transitions=   4e+06 Memory= 445.721   t= 452     R= 1106.3438
cpu0: locks: global        89	other        6562	waits: states 8.7457337e+09	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 276 byte, depth reached 500000, errors: 2
cpu1: locks: global         0	other        5303	waits: states 9.2643182e+09	slots           0
   500001 states, stored (1e+06 visited)
  7499999 states, matched
  8500001 transitions (= visited+matched)
        0 atomic steps
hash conflicts:   3850933 (resolved)
hint: increase hashtable-size (-w) to reduce runtime

Stats on memory usage (in Megabytes):
141.144  	equivalent memory usage for states (stored*(State-vector + overhead))
116.594  	actual memory usage for states (compression: 82.61%)
         	state-vector as stored = 225 byte + 20 byte overhead
4.000    	memory used for hash table (-w19)
50.354   	memory used for DFS stack (-m1100000)
128.000  	memory used for shared work-queues
274.679  	other (proc and chan stacks)
0.093    	memory lost to fragmentation
445.721  	total actual memory usage


cpu0: elapsed time 453 seconds (1e+06 states visited)
cpu0: rate 2208.88 states/second
cpu0: recommend recompiling with -DVMAX=276 -DPMAX=8