pan: assertion violated ( !(alloc_successful)||free_successful) (at depth 66)
pan: wrote task5_assert.pml.trail

(Spin Version 5.2.4 -- 2 December 2009)
Warning: Search not completed
	+ Partial Order Reduction

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

State-vector 44 byte, depth reached 66, errors: 1
       65 states, stored
       11 states, matched
       76 transitions (= stored+matched)
        2 atomic steps
hash conflicts:         0 (resolved)

    2.501	memory usage (Mbyte)


pan: elapsed time 0.004 seconds