pan: assertion violated (Done<6) (at depth 57)
pan: wrote X.509.prm.trail
(Spin Version 3.3.10 -- 15 March 2000)
Warning: Search not completed
        + Partial Order Reduction

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

State-vector 144 byte, depth reached 56, errors: 1
      52 states, stored
       0 states, matched
      52 transitions (= stored+matched)
       5 atomic steps
hash conflicts: 0 (resolved)
(max size 2^18 states)

1.493   memory usage (Mbyte)