cpu1: Depth= 12469 States= 809914 Transitions= 7.9409e+06 Memory= 49.433 t= 9.51 R= 85164.458 cpu1: locks: global 28335 gg 0 other 407675 waits: states 688759 slots 0 cpu0: Depth= 20473 States= 830967 Transitions= 8.15101e+06 Memory= 212.189 t= 9.51 R= 87378.233 cpu0: locks: global 41213 gg 0 other 959481 waits: states 8218913 slots 0 (Spin Version 5.0 -- 12 June 2007) + Multi-Core (NCORE=2 -z15) Full statespace search for: never claim - (none specified) assertion violations + cycle checks - (disabled by -DSAFETY) invalid end states + State-vector 156 byte, depth reached 20473, errors: 0 1640881 states, stored 14451025 states, matched 16091906 transitions (= stored+matched) 1225000 atomic steps hash conflicts: 1403014 (resolved) Stats on memory usage (in Megabytes): 262.897 equivalent memory usage for states (stored*(State-vector + overhead)) 100.249 actual memory usage for states (compression: 38.13%) state-vector as stored = 52 byte + 12 byte overhead 32.000 memory used for hash table (-w22) 1.373 memory used for DFS stack (-m30000) 128.000 memory used for shared work-queues 128.000 other (proc and chan stacks) 261.623 total actual memory usage unreached in proctype philosopher line 31, state 22, "-end-" (1 of 22 states) cpu0: elapsed time 9.66 seconds (1.64088e+06 states visited) cpu0: rate 169863 states/second