cpu2: Depth= 109 States= 1e+06 Transitions= 9.64873e+06 Memory= 4.272 cpu1: Depth= 115 States= 1e+06 Transitions= 9.64747e+06 Memory= 4.272 cpu3: Depth= 162 States= 1e+06 Transitions= 9.64894e+06 Memory= 3.738 cpu0: Depth= 112 States= 1e+06 Transitions= 9.65065e+06 Memory= 275.472 cpu2: Depth= 109 States= 2e+06 Transitions= 2.04236e+07 Memory= 61.684 cpu1: Depth= 115 States= 2e+06 Transitions= 2.04511e+07 Memory= 65.155 cpu3: Depth= 162 States= 2e+06 Transitions= 2.04746e+07 Memory= 77.438 cpu0: Depth= 112 States= 2e+06 Transitions= 2.04744e+07 Memory= 348.905 cpu1: done -- local memcnt 222.702 Mb cpu1: states stored 2536114 matched 24134200 cpu2: cpu1: locks: global 0 other 3958 cpu1: waits: states 90569073 slots 0 done -- local memcnt 234.718 Mb cpu2: states stored 2570575 matched 24406363 cpu3: cpu2: locks: global 0 other 3610 cpu2: waits: states 2.8680031e+08 slots 0 done -- local memcnt 238.19 Mb cpu3: states stored 2497630 matched 23819463 cpu0: cpu3: locks: global 0 other 24173 cpu3: waits: states 4990872 slots 0 done -- local memcnt 508.589 Mb cpu0: states stored 2461521 matched 23497657 cpu0: locks: global 0 other 8570 cpu0: waits: states 5428882 slots 0 (Spin Version 5.0.0 -- 8 May 2007) + Multi-Core (NCORE=4 -z20) + Partial Order Reduction Bit statespace search for: never claim - (none specified) assertion violations + cycle checks - (disabled by -DSAFETY) invalid end states + State-vector 2728 byte, depth reached 162, errors: 0 10065840 states, stored 95857683 states, matched 1.0592352e+08 transitions (= stored+matched) 3.8755845e+08 atomic steps hash factor: 1.66675 (best if > 100.) bits set per state: 3 (-k3) Stats on memory usage (in Megabytes): 26456.313 equivalent memory usage for states (stored*(State-vector + overhead)) 2.000 memory used for hash array (-w24) 1.450 memory used for bit stack 10.147 memory used for DFS stack (-m190000) 256.000 memory used for shared work-queues 1189.350 other (proc and chan stacks) 1.252 memory lost to fragmentation 1204.199 total actual memory usage cpu0: elapsed time 179 seconds (1.00658e+07 states) cpu0: rate 56233.7 states/second cpu0: recommend recompiling with -DVMAX=2692 -DPMAX=54 -DQMAX=85