Depth=   87779 States=   1e+06 Transitions= 1.68517e+06 Memory= 58.337
Depth=   87779 States=   2e+06 Transitions= 3.51764e+06 Memory= 115.376
Depth=   87968 States=   3e+06 Transitions= 5.38725e+06 Memory= 172.927
Depth=   87968 States=   4e+06 Transitions= 7.28403e+06 Memory= 230.888
Depth=   88198 States=   5e+06 Transitions= 9.20971e+06 Memory= 289.258
Depth=   88198 States=   6e+06 Transitions= 1.1126e+07 Memory= 347.526
Depth=   88198 States=   7e+06 Transitions= 1.30736e+07 Memory= 406.204
pan: out of memory
        4.19414e+08 bytes used
        102404 bytes more needed
        4.1943e+08 bytes limit (2^MEMCNT)
hint: to reduce memory, recompile with
  -DMA=124   # better/slower compression, or
  -DBITSTATE # supertrace, approximation
(Spin Version 3.3.10 -- 15 March 2000)
Warning: Search not completed
        + Partial Order Reduction
        + Compression

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

State-vector 124 byte, depth reached 88198, errors: 0
7.22747e+06 states, stored
6.28471e+06 states, matched
1.35122e+07 transitions (= stored+matched)
9.10011e+08 atomic steps
hash conflicts: 1.3352e+08 (resolved)
(max size 2^18 states)

Stats on memory usage (in Megabytes):
982.936 equivalent memory usage for states (stored*(State-vector + overhead))
415.863 actual memory usage for states (compression: 42.31%)
        State-vector as stored = 46 byte + 12 byte overhead
1.049   memory used for hash-table (-w18)
2.400   memory used for DFS stack (-m100000)
419.414 total actual memory usage

nr of templates: [ globals procs chans ]
collapse counts: [ 2889635 2 2 2 2 2 2 2 2 2 2 34 22 46 ]