pan: acceptance cycle (at depth 153)
Depth=  940939 States=   1e+06 Transitions= 1.17492e+06 Memory= 432.956  
Depth= 1704532 States=   2e+06 Transitions= 2.5475e+06 Memory= 501.120  
Depth= 2041704 States=   3e+06 Transitions= 4.29828e+06 Memory= 550.534  
Depth= 2063699 States=   4e+06 Transitions= 6.42138e+06 Memory= 585.886  
Depth= 2074868 States=   5e+06 Transitions= 8.64538e+06 Memory= 620.652  
Depth= 2075198 States=   6e+06 Transitions= 1.14e+07 Memory= 640.866  
Depth= 2075198 States=   7e+06 Transitions= 1.43529e+07 Memory= 654.148  
Depth= 2075198 States=   8e+06 Transitions= 1.55403e+07 Memory= 720.359  
Depth= 2075198 States=   9e+06 Transitions= 1.69339e+07 Memory= 780.319  
Depth= 2075198 States=   1e+07 Transitions= 1.87126e+07 Memory= 825.339  
Depth= 2075198 States= 1.1e+07 Transitions= 2.08407e+07 Memory= 860.398  
Depth= 2077421 States= 1.2e+07 Transitions= 2.30795e+07 Memory= 895.163  
Depth= 2077426 States= 1.3e+07 Transitions= 2.58865e+07 Memory= 913.718  
Depth= 2077426 States= 1.4e+07 Transitions= 2.8702e+07 Memory= 930.905  
Depth= 2077426 States= 1.5e+07 Transitions= 2.9891e+07 Memory= 997.214  
Depth= 2077426 States= 1.6e+07 Transitions= 3.13081e+07 Memory= 1056.198 
Depth= 2077426 States= 1.7e+07 Transitions= 3.3126e+07 Memory= 1099.753 
Depth= 2077426 States= 1.8e+07 Transitions= 3.52691e+07 Memory= 1134.812 
Depth= 2077426 States= 1.9e+07 Transitions= 3.75199e+07 Memory= 1169.382 
Depth= 2077426 States=   2e+07 Transitions= 4.03826e+07 Memory= 1186.179 

(Spin Version 5.0 -- 22 May 2007)

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

State-vector 76 byte, depth reached 2077426, errors: 7200491
 12004103 states, stored (2.07857e+07 visited)
 22032077 states, matched
 42817791 transitions (= visited+matched)
        0 atomic steps
hash conflicts:   9096254 (resolved)

Stats on memory usage (in Megabytes):
1099.008 	equivalent memory usage for states (stored*(State-vector + overhead))
836.506  	actual memory usage for states (compression: 76.11%)
         	state-vector as stored = 53 byte + 20 byte overhead
128.000  	memory used for hash table (-w24)
228.882  	memory used for DFS stack (-m5000000)
0.275    	memory lost to fragmentation
1193.112 	total actual memory usage


pan: elapsed time 39.5 seconds
pan: rate 526620.57 states/second