Depth=  840083 States=   1e+06 Transitions= 1.94876e+06 Memory= 1119.502 
Depth= 1332027 States=   2e+06 Transitions= 4.82013e+06 Memory= 1157.685 
Depth= 1423011 States=   3e+06 Transitions= 8.42162e+06 Memory= 1195.771 
Depth= 1431693 States=   4e+06 Transitions= 1.21586e+07 Memory= 1233.955 
Depth= 1431693 States=   5e+06 Transitions= 1.58951e+07 Memory= 1272.139 
Depth= 1431693 States=   6e+06 Transitions= 1.97168e+07 Memory= 1310.224 
Depth= 1431693 States=   7e+06 Transitions= 2.58549e+07 Memory= 1348.408 
Depth= 1431693 States=   8e+06 Transitions= 2.97671e+07 Memory= 1386.592 
Depth= 1431693 States=   9e+06 Transitions= 3.36253e+07 Memory= 1424.678 
Depth= 1431693 States=   1e+07 Transitions= 3.74529e+07 Memory= 1462.861 
(Spin Version 5.0.0 -- 30 April 2007)

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

State-vector 44 byte, depth reached 1431693, errors: 0
 10571923 states, stored
 29073886 states, matched
 39645809 transitions (= stored+matched)
        0 atomic steps
hash conflicts:    628715 (resolved)

Stats on memory usage (in Megabytes):
564.602  	equivalent memory usage for states (stored*(State-vector + overhead))
403.513  	actual memory usage for states (compression: 71.47%)
         	state-vector as stored = 28 byte + 12 byte overhead
1024.000 	memory used for hash table (-w27)
57.221   	memory used for DFS stack (-m1500000)
0.095    	memory lost to fragmentation
1484.639 	total actual memory usage

unreached in proctype user
	line 64, state 30, "-end-"
	(1 of 30 states)

pan: elapsed time 33.5 seconds
pan: rate 315768.31 states/second
pan: avg transition delay 8.4448e-07 usec