cpu0: Depth= 191882 States= 1e+06 Transitions= 2.67072e+06 Memory= 361.335 cpu1: Depth= 157 States= 1e+06 Transitions= 2.09895e+06 Memory= 53.406 cpu0: Depth= 221139 States= 2e+06 Transitions= 6.14443e+06 Memory= 415.619 cpu0: Depth= 221139 States= 3e+06 Transitions= 1.01034e+07 Memory= 469.025 cpu1: Depth= 157 States= 2e+06 Transitions= 4.21906e+06 Memory= 106.812 cpu0: Depth= 221139 States= 4e+06 Transitions= 1.51142e+07 Memory= 522.431 cpu0: Depth= 221139 States= 5e+06 Transitions= 1.90062e+07 Memory= 575.837 cpu1: Depth= 157 States= 3e+06 Transitions= 6.30106e+06 Memory= 160.217 cpu0: Depth= 221139 States= 6e+06 Transitions= 2.25875e+07 Memory= 629.242 cpu0: Depth= 221139 States= 7e+06 Transitions= 2.72314e+07 Memory= 682.648 cpu1: Depth= 157 States= 4e+06 Transitions= 8.37857e+06 Memory= 213.623 cpu0: Depth= 221139 States= 8e+06 Transitions= 3.21126e+07 Memory= 736.054 cpu0: Depth= 221139 States= 9e+06 Transitions= 3.61518e+07 Memory= 789.460 cpu1: Depth= 157 States= 5e+06 Transitions= 1.04466e+07 Memory= 267.029 cpu0: Depth= 309786 States= 1e+07 Transitions= 3.94275e+07 Memory= 844.721 cpu0: Depth= 309786 States= 1.1e+07 Transitions= 4.35538e+07 Memory= 898.127 cpu1: Depth= 157 States= 6e+06 Transitions= 1.25475e+07 Memory= 320.435 cpu0: Depth= 309786 States= 1.2e+07 Transitions= 4.80179e+07 Memory= 951.532 cpu0: Depth= 309786 States= 1.3e+07 Transitions= 5.22459e+07 Memory= 1004.938 cpu1: Depth= 157 States= 7e+06 Transitions= 1.46332e+07 Memory= 373.840 cpu0: Depth= 349905 States= 1.4e+07 Transitions= 5.62409e+07 Memory= 1059.125 cpu0: Depth= 424281 States= 1.5e+07 Transitions= 6.0267e+07 Memory= 1114.289 cpu1: Depth= 157 States= 8e+06 Transitions= 1.67228e+07 Memory= 427.246 cpu0: Depth= 528203 States= 1.6e+07 Transitions= 6.40381e+07 Memory= 1170.429 cpu0: Depth= 528203 States= 1.7e+07 Transitions= 6.75125e+07 Memory= 1223.835 cpu1: Depth= 157 States= 9e+06 Transitions= 1.88492e+07 Memory= 480.652 cpu0: Depth= 528203 States= 1.8e+07 Transitions= 7.24975e+07 Memory= 1277.240 cpu0: Depth= 528203 States= 1.9e+07 Transitions= 7.62853e+07 Memory= 1330.646 cpu1: Depth= 157 States= 1e+07 Transitions= 2.09565e+07 Memory= 534.058 cpu0: Depth= 528203 States= 2e+07 Transitions= 7.99103e+07 Memory= 1384.052 cpu0: Depth= 528203 States= 2.1e+07 Transitions= 8.48609e+07 Memory= 1437.458 cpu1: Depth= 157 States= 1.1e+07 Transitions= 2.3007e+07 Memory= 587.463 cpu0: Depth= 528203 States= 2.2e+07 Transitions= 8.87325e+07 Memory= 1490.863 cpu0: Depth= 528203 States= 2.3e+07 Transitions= 9.27882e+07 Memory= 1544.269 cpu1: Depth= 157 States= 1.2e+07 Transitions= 2.51038e+07 Memory= 640.869 cpu0: Depth= 528203 States= 2.4e+07 Transitions= 9.67366e+07 Memory= 1597.675 cpu0: Depth= 528203 States= 2.5e+07 Transitions= 1.00945e+08 Memory= 1651.081 cpu1: Depth= 157 States= 1.3e+07 Transitions= 2.7184e+07 Memory= 694.275 cpu0: Depth= 528203 States= 2.6e+07 Transitions= 1.05439e+08 Memory= 1704.486 cpu0: Depth= 528203 States= 2.7e+07 Transitions= 1.09588e+08 Memory= 1757.892 cpu1: Depth= 157 States= 1.4e+07 Transitions= 2.92793e+07 Memory= 747.681 cpu0: Depth= 528203 States= 2.8e+07 Transitions= 1.13655e+08 Memory= 1811.298 cpu0: Depth= 528203 States= 2.9e+07 Transitions= 1.17722e+08 Memory= 1864.704 cpu0: Depth= 528203 States= 3e+07 Transitions= 1.22307e+08 Memory= 1918.110 cpu1: Depth= 157 States= 1.5e+07 Transitions= 3.13575e+07 Memory= 801.086 cpu0: Depth= 528203 States= 3.1e+07 Transitions= 1.25875e+08 Memory= 1971.515 cpu0: Depth= 528203 States= 3.2e+07 Transitions= 1.29452e+08 Memory= 2024.921 cpu1: Depth= 157 States= 1.6e+07 Transitions= 3.35302e+07 Memory= 854.492 cpu0: Depth= 528203 States= 3.3e+07 Transitions= 1.32902e+08 Memory= 2078.327 cpu0: Depth= 528203 States= 3.4e+07 Transitions= 1.36438e+08 Memory= 2131.733 cpu1: Depth= 157 States= 1.7e+07 Transitions= 3.57142e+07 Memory= 907.898 cpu0: Depth= 528203 States= 3.5e+07 Transitions= 1.4101e+08 Memory= 2185.138 cpu0: Depth= 528203 States= 3.6e+07 Transitions= 1.46129e+08 Memory= 2238.544 cpu1: Depth= 157 States= 1.8e+07 Transitions= 3.77142e+07 Memory= 961.304 cpu0: Depth= 528203 States= 3.7e+07 Transitions= 1.51007e+08 Memory= 2291.950 cpu0: Depth= 528203 States= 3.8e+07 Transitions= 1.56059e+08 Memory= 2345.356 cpu1: Depth= 157 States= 1.9e+07 Transitions= 3.97411e+07 Memory= 1014.709 cpu0: Depth= 528203 States= 3.9e+07 Transitions= 1.59407e+08 Memory= 2398.761 cpu0: Depth= 528203 States= 4e+07 Transitions= 1.62998e+08 Memory= 2452.167 cpu1: Depth= 157 States= 2e+07 Transitions= 4.19267e+07 Memory= 1068.115 cpu0: Depth= 528203 States= 4.1e+07 Transitions= 1.66394e+08 Memory= 2505.573 cpu0: Depth= 528203 States= 4.2e+07 Transitions= 1.70048e+08 Memory= 2558.979 cpu1: Depth= 157 States= 2.1e+07 Transitions= 4.40643e+07 Memory= 1121.521 cpu0: Depth= 528203 States= 4.3e+07 Transitions= 1.75013e+08 Memory= 2612.384 cpu0: Depth= 528203 States= 4.4e+07 Transitions= 1.80031e+08 Memory= 2665.790 cpu1: Depth= 157 States= 2.2e+07 Transitions= 4.60643e+07 Memory= 1174.927 cpu0: Depth= 528203 States= 4.5e+07 Transitions= 1.84999e+08 Memory= 2719.196 cpu0: Depth= 528203 States= 4.6e+07 Transitions= 1.8949e+08 Memory= 2772.602 cpu1: Depth= 157 States= 2.3e+07 Transitions= 4.80924e+07 Memory= 1228.333 cpu0: Depth= 528203 States= 4.7e+07 Transitions= 1.93806e+08 Memory= 2826.007 cpu0: Depth= 528203 States= 4.8e+07 Transitions= 1.98164e+08 Memory= 2879.413 cpu1: Depth= 157 States= 2.4e+07 Transitions= 5.0181e+07 Memory= 1281.738 cpu0: Depth= 528203 States= 4.9e+07 Transitions= 2.02555e+08 Memory= 2932.819 cpu1: Depth= 157 States= 2.5e+07 Transitions= 5.22853e+07 Memory= 1335.144 cpu0: Depth= 528203 States= 5e+07 Transitions= 2.05408e+08 Memory= 2986.225 cpu0: Depth= 528203 States= 5.1e+07 Transitions= 2.08953e+08 Memory= 3039.631 cpu0: Depth= 528203 States= 5.2e+07 Transitions= 2.13104e+08 Memory= 3093.036 cpu1: Depth= 157 States= 2.6e+07 Transitions= 5.44118e+07 Memory= 1388.550 cpu0: Depth= 528203 States= 5.3e+07 Transitions= 2.18131e+08 Memory= 3146.442 cpu0: Depth= 528203 States= 5.4e+07 Transitions= 2.21853e+08 Memory= 3199.848 cpu1: Depth= 157 States= 2.7e+07 Transitions= 5.64909e+07 Memory= 1441.956 cpu0: Depth= 528203 States= 5.5e+07 Transitions= 2.25375e+08 Memory= 3253.254 cpu0: Depth= 528203 States= 5.6e+07 Transitions= 2.30261e+08 Memory= 3306.659 cpu1: Depth= 157 States= 2.8e+07 Transitions= 5.85713e+07 Memory= 1495.361 cpu0: Depth= 528203 States= 5.7e+07 Transitions= 2.35004e+08 Memory= 3360.065 cpu0: Depth= 528203 States= 5.8e+07 Transitions= 2.38856e+08 Memory= 3413.471 cpu1: Depth= 157 States= 2.9e+07 Transitions= 6.06327e+07 Memory= 1548.767 cpu0: Depth= 528203 States= 5.9e+07 Transitions= 2.42196e+08 Memory= 3466.877 cpu1: Depth= 157 States= 3e+07 Transitions= 6.2741e+07 Memory= 1602.173 cpu0: Depth= 528203 States= 6e+07 Transitions= 2.46464e+08 Memory= 3520.282 cpu0: Depth= 528203 States= 6.1e+07 Transitions= 2.50956e+08 Memory= 3573.688 cpu0: Depth= 528203 States= 6.2e+07 Transitions= 2.5496e+08 Memory= 3627.094 cpu1: Depth= 157 States= 3.1e+07 Transitions= 6.48169e+07 Memory= 1655.579 cpu0: Depth= 528203 States= 6.3e+07 Transitions= 2.59044e+08 Memory= 3680.500 cpu0: Depth= 528203 States= 6.4e+07 Transitions= 2.62989e+08 Memory= 3733.905 cpu1: Depth= 157 States= 3.2e+07 Transitions= 6.69121e+07 Memory= 1708.984 cpu0: Depth= 538301 States= 6.5e+07 Transitions= 2.66679e+08 Memory= 3787.604 cpu0: Depth= 538301 States= 6.6e+07 Transitions= 2.70145e+08 Memory= 3841.010 cpu1: Depth= 157 States= 3.3e+07 Transitions= 6.90685e+07 Memory= 1762.390 cpu0: Depth= 538301 States= 6.7e+07 Transitions= 2.74894e+08 Memory= 3894.416 cpu0: Depth= 538301 States= 6.8e+07 Transitions= 2.78967e+08 Memory= 3947.821 cpu1: Depth= 157 States= 3.4e+07 Transitions= 7.11235e+07 Memory= 1815.796 cpu0: Depth= 538301 States= 6.9e+07 Transitions= 2.82397e+08 Memory= 4001.227 cpu0: Depth= 538301 States= 7e+07 Transitions= 2.87263e+08 Memory= 4054.633 cpu1: Depth= 157 States= 3.5e+07 Transitions= 7.32e+07 Memory= 1869.202 cpu0: Depth= 538301 States= 7.1e+07 Transitions= 2.91406e+08 Memory= 4108.039 cpu0: Depth= 538301 States= 7.2e+07 Transitions= 2.95444e+08 Memory= 4161.444 cpu1: Depth= 157 States= 3.6e+07 Transitions= 7.52901e+07 Memory= 1922.607 cpu0: Depth= 538301 States= 7.3e+07 Transitions= 2.995e+08 Memory= 4214.850 cpu0: Depth= 538301 States= 7.4e+07 Transitions= 3.03745e+08 Memory= 4268.256 cpu1: Depth= 157 States= 3.7e+07 Transitions= 7.7381e+07 Memory= 1976.013 cpu0: Depth= 538301 States= 7.5e+07 Transitions= 3.08142e+08 Memory= 4321.662 cpu0: Depth= 538301 States= 7.6e+07 Transitions= 3.12292e+08 Memory= 4375.068 cpu1: Depth= 157 States= 3.8e+07 Transitions= 7.94659e+07 Memory= 2029.419 cpu0: Depth= 538301 States= 7.7e+07 Transitions= 3.16357e+08 Memory= 4428.473 cpu0: Depth= 538301 States= 7.8e+07 Transitions= 3.20437e+08 Memory= 4481.879 cpu1: Depth= 157 States= 3.9e+07 Transitions= 8.15623e+07 Memory= 2082.825 cpu0: Depth= 538301 States= 7.9e+07 Transitions= 3.24154e+08 Memory= 4535.285 cpu0: Depth= 538301 States= 8e+07 Transitions= 3.27392e+08 Memory= 4588.691 cpu1: Depth= 157 States= 4e+07 Transitions= 8.3655e+07 Memory= 2136.230 cpu0: Depth= 538301 States= 8.1e+07 Transitions= 3.32055e+08 Memory= 4642.096 cpu0: Depth= 538301 States= 8.2e+07 Transitions= 3.35962e+08 Memory= 4695.502 cpu1: Depth= 157 States= 4.1e+07 Transitions= 8.57371e+07 Memory= 2189.636 cpu0: Depth= 538301 States= 8.3e+07 Transitions= 3.40001e+08 Memory= 4748.908 cpu0: Depth= 602268 States= 8.4e+07 Transitions= 3.43525e+08 Memory= 4803.778 cpu1: Depth= 157 States= 4.2e+07 Transitions= 8.785e+07 Memory= 2243.042 cpu0: Depth= 602268 States= 8.5e+07 Transitions= 3.4791e+08 Memory= 4857.184 cpu0: Depth= 602268 States= 8.6e+07 Transitions= 3.52117e+08 Memory= 4910.590 cpu1: Depth= 157 States= 4.3e+07 Transitions= 8.99268e+07 Memory= 2296.448 cpu0: Depth= 602268 States= 8.7e+07 Transitions= 3.56309e+08 Memory= 4963.996 cpu0: Depth= 602268 States= 8.8e+07 Transitions= 3.60634e+08 Memory= 5017.402 cpu1: Depth= 157 States= 4.4e+07 Transitions= 9.20106e+07 Memory= 2349.854 cpu0: Depth= 602268 States= 8.9e+07 Transitions= 3.64688e+08 Memory= 5070.807 cpu0: Depth= 602268 States= 9e+07 Transitions= 3.69271e+08 Memory= 5124.213 cpu1: Depth= 157 States= 4.5e+07 Transitions= 9.40928e+07 Memory= 2403.259 cpu0: Depth= 602268 States= 9.1e+07 Transitions= 3.73644e+08 Memory= 5177.619 cpu0: Depth= 602268 States= 9.2e+07 Transitions= 3.77833e+08 Memory= 5231.025 cpu1: Depth= 157 States= 4.6e+07 Transitions= 9.6183e+07 Memory= 2456.665 cpu0: Depth= 602268 States= 9.3e+07 Transitions= 3.8174e+08 Memory= 5284.430 cpu0: Depth= 602268 States= 9.4e+07 Transitions= 3.85931e+08 Memory= 5337.836 cpu1: Depth= 157 States= 4.7e+07 Transitions= 9.83212e+07 Memory= 2510.071 cpu0: Depth= 602268 States= 9.5e+07 Transitions= 3.89403e+08 Memory= 5391.242 cpu0: Depth= 602268 States= 9.6e+07 Transitions= 3.9288e+08 Memory= 5444.648 cpu0: Depth= 602268 States= 9.7e+07 Transitions= 3.96191e+08 Memory= 5498.053 cpu1: Depth= 157 States= 4.8e+07 Transitions= 1.00509e+08 Memory= 2563.477 cpu0: Depth= 602268 States= 9.8e+07 Transitions= 4.00753e+08 Memory= 5551.459 cpu0: Depth= 602268 States= 9.9e+07 Transitions= 4.05722e+08 Memory= 5604.865 cpu1: Depth= 157 States= 4.9e+07 Transitions= 1.0252e+08 Memory= 2616.882 cpu0: Depth= 602268 States= 1e+08 Transitions= 4.10524e+08 Memory= 5658.271 cpu0: Depth= 602268 States= 1.01e+08 Transitions= 4.14157e+08 Memory= 5711.676 cpu1: Depth= 157 States= 5e+07 Transitions= 1.04598e+08 Memory= 2670.288 cpu0: Depth= 602268 States= 1.02e+08 Transitions= 4.17586e+08 Memory= 5765.082 cpu0: Depth= 602268 States= 1.03e+08 Transitions= 4.20948e+08 Memory= 5818.488 cpu1: Depth= 157 States= 5.1e+07 Transitions= 1.06787e+08 Memory= 2723.694 cpu0: Depth= 602268 States= 1.04e+08 Transitions= 4.25245e+08 Memory= 5871.894 cpu0: Depth= 602268 States= 1.05e+08 Transitions= 4.30204e+08 Memory= 5925.299 cpu1: Depth= 157 States= 5.2e+07 Transitions= 1.08805e+08 Memory= 2777.100 cpu0: Depth= 602268 States= 1.06e+08 Transitions= 4.35021e+08 Memory= 5978.705 cpu0: Depth= 602268 States= 1.07e+08 Transitions= 4.38914e+08 Memory= 6032.111 cpu1: Depth= 157 States= 5.3e+07 Transitions= 1.10874e+08 Memory= 2830.505 cpu0: Depth= 602268 States= 1.08e+08 Transitions= 4.42278e+08 Memory= 6085.517 cpu0: Depth= 602268 States= 1.09e+08 Transitions= 4.45793e+08 Memory= 6138.923 cpu1: Depth= 157 States= 5.4e+07 Transitions= 1.13063e+08 Memory= 2883.911 cpu0: Depth= 602268 States= 1.1e+08 Transitions= 4.49745e+08 Memory= 6192.328 cpu0: Depth= 602268 States= 1.11e+08 Transitions= 4.5463e+08 Memory= 6245.734 cpu1: Depth= 157 States= 5.5e+07 Transitions= 1.15089e+08 Memory= 2937.317 cpu0: Depth= 602268 States= 1.12e+08 Transitions= 4.59618e+08 Memory= 6299.140 cpu0: Depth= 602268 States= 1.13e+08 Transitions= 4.64139e+08 Memory= 6352.546 cpu1: Depth= 157 States= 5.6e+07 Transitions= 1.17127e+08 Memory= 2990.723 cpu0: Depth= 602268 States= 1.14e+08 Transitions= 4.68019e+08 Memory= 6405.951 cpu0: Depth= 602268 States= 1.15e+08 Transitions= 4.72012e+08 Memory= 6459.357 cpu1: Depth= 157 States= 5.7e+07 Transitions= 1.19232e+08 Memory= 3044.128 cpu0: Depth= 602268 States= 1.16e+08 Transitions= 4.76325e+08 Memory= 6512.763 cpu0: Depth= 602268 States= 1.17e+08 Transitions= 4.8052e+08 Memory= 6566.169 cpu1: Depth= 157 States= 5.8e+07 Transitions= 1.2131e+08 Memory= 3097.534 cpu0: Depth= 602268 States= 1.18e+08 Transitions= 4.8459e+08 Memory= 6619.574 cpu0: Depth= 602268 States= 1.19e+08 Transitions= 4.88853e+08 Memory= 6672.980 cpu1: Depth= 157 States= 5.9e+07 Transitions= 1.23415e+08 Memory= 3150.940 cpu0: Depth= 602268 States= 1.2e+08 Transitions= 4.92829e+08 Memory= 6726.386 cpu0: Depth= 602268 States= 1.21e+08 Transitions= 4.9669e+08 Memory= 6779.792 cpu1: Depth= 157 States= 6e+07 Transitions= 1.25495e+08 Memory= 3204.346 cpu0: Depth= 602268 States= 1.22e+08 Transitions= 5.01285e+08 Memory= 6833.197 cpu0: Depth= 602268 States= 1.23e+08 Transitions= 5.05728e+08 Memory= 6886.603 cpu1: Depth= 157 States= 6.1e+07 Transitions= 1.27592e+08 Memory= 3257.751 cpu0: Depth= 602268 States= 1.24e+08 Transitions= 5.1003e+08 Memory= 6940.009 cpu0: Depth= 602268 States= 1.25e+08 Transitions= 5.14499e+08 Memory= 6993.415 cpu1: Depth= 157 States= 6.2e+07 Transitions= 1.29672e+08 Memory= 3311.157 cpu0: Depth= 602268 States= 1.26e+08 Transitions= 5.19216e+08 Memory= 7046.820 cpu0: Depth= 602268 States= 1.27e+08 Transitions= 5.23848e+08 Memory= 7100.226 cpu1: Depth= 157 States= 6.3e+07 Transitions= 1.31734e+08 Memory= 3364.563 cpu0: Depth= 602268 States= 1.28e+08 Transitions= 5.281e+08 Memory= 7153.632 cpu0: Depth= 602268 States= 1.29e+08 Transitions= 5.31359e+08 Memory= 7207.038 cpu1: Depth= 157 States= 6.4e+07 Transitions= 1.33821e+08 Memory= 3417.969 cpu0: Depth= 602268 States= 1.3e+08 Transitions= 5.34889e+08 Memory= 7260.443 cpu0: Depth= 602268 States= 1.31e+08 Transitions= 5.39331e+08 Memory= 7313.849 cpu1: Depth= 157 States= 6.5e+07 Transitions= 1.35912e+08 Memory= 3471.375 cpu0: Depth= 602268 States= 1.32e+08 Transitions= 5.43398e+08 Memory= 7367.255 cpu0: Depth= 602268 States= 1.33e+08 Transitions= 5.47356e+08 Memory= 7420.661 cpu1: Depth= 157 States= 6.6e+07 Transitions= 1.38011e+08 Memory= 3524.780 cpu0: Depth= 631364 States= 1.34e+08 Transitions= 5.5087e+08 Memory= 7474.848 cpu0: Depth= 631364 States= 1.35e+08 Transitions= 5.55284e+08 Memory= 7528.254 cpu1: Depth= 157 States= 6.7e+07 Transitions= 1.40121e+08 Memory= 3578.186 cpu0: Depth= 631364 States= 1.36e+08 Transitions= 5.5967e+08 Memory= 7581.659 cpu0: Depth= 631364 States= 1.37e+08 Transitions= 5.63705e+08 Memory= 7635.065 cpu1: Depth= 157 States= 6.8e+07 Transitions= 1.4219e+08 Memory= 3631.592 cpu0: Depth= 631364 States= 1.38e+08 Transitions= 5.67997e+08 Memory= 7688.471 cpu0: Depth= 631364 States= 1.39e+08 Transitions= 5.72194e+08 Memory= 7741.877 cpu1: Depth= 157 States= 6.9e+07 Transitions= 1.44269e+08 Memory= 3684.998 cpu0: Depth= 631364 States= 1.4e+08 Transitions= 5.76753e+08 Memory= 7795.282 cpu0: Depth= 631364 States= 1.41e+08 Transitions= 5.81008e+08 Memory= 7848.688 cpu1: Depth= 157 States= 7e+07 Transitions= 1.46359e+08 Memory= 3738.403 cpu0: Depth= 631364 States= 1.42e+08 Transitions= 5.85284e+08 Memory= 7902.094 cpu0: Depth= 631364 States= 1.43e+08 Transitions= 5.89611e+08 Memory= 7955.500 cpu1: Depth= 157 States= 7.1e+07 Transitions= 1.48435e+08 Memory= 3791.809 cpu0: Depth= 631364 States= 1.44e+08 Transitions= 5.9405e+08 Memory= 8008.905 cpu0: Depth= 631364 States= 1.45e+08 Transitions= 5.98582e+08 Memory= 8062.311 cpu0: Depth= 631364 States= 1.46e+08 Transitions= 6.03445e+08 Memory= 8115.717 cpu1: Depth= 157 States= 7.2e+07 Transitions= 1.50539e+08 Memory= 3845.215 cpu0: Depth= 631364 States= 1.47e+08 Transitions= 6.07075e+08 Memory= 8169.123 cpu0: Depth= 631364 States= 1.48e+08 Transitions= 6.11809e+08 Memory= 8222.528 cpu1: Depth= 157 States= 7.3e+07 Transitions= 1.52629e+08 Memory= 3898.621 cpu0: Depth= 631364 States= 1.49e+08 Transitions= 6.15445e+08 Memory= 8275.934 cpu0: Depth= 631364 States= 1.5e+08 Transitions= 6.20332e+08 Memory= 8329.340 cpu1: Depth= 157 States= 7.4e+07 Transitions= 1.54718e+08 Memory= 3952.026 cpu0: Depth= 631364 States= 1.51e+08 Transitions= 6.24191e+08 Memory= 8382.746 cpu0: Depth= 631364 States= 1.52e+08 Transitions= 6.27703e+08 Memory= 8436.152 cpu1: Depth= 157 States= 7.5e+07 Transitions= 1.56849e+08 Memory= 4005.432 cpu0: Depth= 631364 States= 1.53e+08 Transitions= 6.32382e+08 Memory= 8489.557 cpu0: Depth= 631364 States= 1.54e+08 Transitions= 6.35917e+08 Memory= 8542.963 cpu1: Depth= 157 States= 7.6e+07 Transitions= 1.5894e+08 Memory= 4058.838 cpu0: Depth= 631364 States= 1.55e+08 Transitions= 6.40622e+08 Memory= 8596.369 cpu0: Depth= 631364 States= 1.56e+08 Transitions= 6.44368e+08 Memory= 8649.775 cpu1: Depth= 157 States= 7.7e+07 Transitions= 1.61021e+08 Memory= 4112.244 cpu0: Depth= 631364 States= 1.57e+08 Transitions= 6.48909e+08 Memory= 8703.180 cpu0: Depth= 631364 States= 1.58e+08 Transitions= 6.53072e+08 Memory= 8756.586 cpu1: Depth= 157 States= 7.8e+07 Transitions= 1.63088e+08 Memory= 4165.649 cpu0: Depth= 631364 States= 1.59e+08 Transitions= 6.5727e+08 Memory= 8809.992 cpu0: Depth= 631364 States= 1.6e+08 Transitions= 6.61431e+08 Memory= 8863.398 cpu1: Depth= 157 States= 7.9e+07 Transitions= 1.65177e+08 Memory= 4219.055 cpu0: Depth= 631364 States= 1.61e+08 Transitions= 6.65876e+08 Memory= 8916.803 cpu0: Depth= 631364 States= 1.62e+08 Transitions= 6.69585e+08 Memory= 8970.209 cpu1: Depth= 157 States= 8e+07 Transitions= 1.67291e+08 Memory= 4272.461 cpu0: Depth= 631364 States= 1.63e+08 Transitions= 6.73095e+08 Memory= 9023.615 cpu0: Depth= 631364 States= 1.64e+08 Transitions= 6.77549e+08 Memory= 9077.021 cpu1: Depth= 157 States= 8.1e+07 Transitions= 1.6939e+08 Memory= 4325.867 cpu0: Depth= 631364 States= 1.65e+08 Transitions= 6.82534e+08 Memory= 9130.426 cpu0: Depth= 631364 States= 1.66e+08 Transitions= 6.86732e+08 Memory= 9183.832 cpu1: Depth= 157 States= 8.2e+07 Transitions= 1.71472e+08 Memory= 4379.272 cpu0: Depth= 631364 States= 1.67e+08 Transitions= 6.90235e+08 Memory= 9237.238 cpu0: Depth= 631364 States= 1.68e+08 Transitions= 6.94597e+08 Memory= 9290.644 cpu1: Depth= 157 States= 8.3e+07 Transitions= 1.73572e+08 Memory= 4432.678 cpu0: Depth= 631364 States= 1.69e+08 Transitions= 6.99595e+08 Memory= 9344.049 cpu0: Depth= 631364 States= 1.7e+08 Transitions= 7.04274e+08 Memory= 9397.455 cpu1: Depth= 157 States= 8.4e+07 Transitions= 1.75606e+08 Memory= 4486.084 cpu0: Depth= 631364 States= 1.71e+08 Transitions= 7.08579e+08 Memory= 9450.861 cpu0: Depth= 631364 States= 1.72e+08 Transitions= 7.12458e+08 Memory= 9504.267 cpu1: Depth= 157 States= 8.5e+07 Transitions= 1.77738e+08 Memory= 4539.490 cpu0: Depth= 631364 States= 1.73e+08 Transitions= 7.16636e+08 Memory= 9557.673 cpu0: Depth= 631364 States= 1.74e+08 Transitions= 7.20817e+08 Memory= 9611.078 cpu1: Depth= 157 States= 8.6e+07 Transitions= 1.79827e+08 Memory= 4592.896 cpu0: Depth= 631364 States= 1.75e+08 Transitions= 7.25242e+08 Memory= 9664.484 cpu0: Depth= 631364 States= 1.76e+08 Transitions= 7.29461e+08 Memory= 9717.890 cpu1: Depth= 157 States= 8.7e+07 Transitions= 1.81884e+08 Memory= 4646.301 cpu0: Depth= 631364 States= 1.77e+08 Transitions= 7.33164e+08 Memory= 9771.296 cpu0: Depth= 631364 States= 1.78e+08 Transitions= 7.3726e+08 Memory= 9824.701 cpu1: Depth= 157 States= 8.8e+07 Transitions= 1.83979e+08 Memory= 4699.707 cpu0: Depth= 631364 States= 1.79e+08 Transitions= 7.41346e+08 Memory= 9878.107 cpu0: Depth= 631364 States= 1.8e+08 Transitions= 7.45697e+08 Memory= 9931.513 cpu1: Depth= 157 States= 8.9e+07 Transitions= 1.86081e+08 Memory= 4753.113 cpu0: Depth= 631364 States= 1.81e+08 Transitions= 7.4948e+08 Memory= 9984.919 cpu0: Depth= 631364 States= 1.82e+08 Transitions= 7.54195e+08 Memory= 10038.324 cpu1: Depth= 157 States= 9e+07 Transitions= 1.88161e+08 Memory= 4806.519 cpu0: Depth= 631364 States= 1.83e+08 Transitions= 7.58314e+08 Memory= 10091.730 cpu0: Depth= 631364 States= 1.84e+08 Transitions= 7.62534e+08 Memory= 10145.136 cpu1: Depth= 157 States= 9.1e+07 Transitions= 1.90252e+08 Memory= 4859.924 cpu0: Depth= 631364 States= 1.85e+08 Transitions= 7.66655e+08 Memory= 10198.542 cpu0: Depth= 631364 States= 1.86e+08 Transitions= 7.70927e+08 Memory= 10251.947 cpu1: Depth= 157 States= 9.2e+07 Transitions= 1.9233e+08 Memory= 4913.330 cpu0: Depth= 631364 States= 1.87e+08 Transitions= 7.74598e+08 Memory= 10305.353 cpu0: Depth= 631364 States= 1.88e+08 Transitions= 7.78922e+08 Memory= 10358.759 cpu1: Depth= 157 States= 9.3e+07 Transitions= 1.94435e+08 Memory= 4966.736 cpu0: Depth= 631364 States= 1.89e+08 Transitions= 7.83263e+08 Memory= 10412.165 cpu0: Depth= 631364 States= 1.9e+08 Transitions= 7.87412e+08 Memory= 10465.570 cpu1: Depth= 157 States= 9.4e+07 Transitions= 1.96508e+08 Memory= 5020.142 cpu0: Depth= 631364 States= 1.91e+08 Transitions= 7.91461e+08 Memory= 10518.976 cpu0: Depth= 631364 States= 1.92e+08 Transitions= 7.95756e+08 Memory= 10572.382 cpu1: Depth= 157 States= 9.5e+07 Transitions= 1.98591e+08 Memory= 5073.547 cpu0: Depth= 631364 States= 1.93e+08 Transitions= 8.0002e+08 Memory= 10625.788 cpu0: Depth= 631364 States= 1.94e+08 Transitions= 8.04079e+08 Memory= 10679.193 cpu1: Depth= 157 States= 9.6e+07 Transitions= 2.00729e+08 Memory= 5126.953 cpu0: Depth= 631364 States= 1.95e+08 Transitions= 8.07479e+08 Memory= 10732.599 cpu0: Depth= 631364 States= 1.96e+08 Transitions= 8.11587e+08 Memory= 10786.005 cpu1: Depth= 157 States= 9.7e+07 Transitions= 2.02799e+08 Memory= 5180.359 cpu0: Depth= 631364 States= 1.97e+08 Transitions= 8.1651e+08 Memory= 10839.411 cpu0: Depth= 631364 States= 1.98e+08 Transitions= 8.20487e+08 Memory= 10892.817 cpu1: Depth= 157 States= 9.8e+07 Transitions= 2.04936e+08 Memory= 5233.765 cpu0: Depth= 631364 States= 1.99e+08 Transitions= 8.23924e+08 Memory= 10946.222 cpu0: Depth= 631364 States= 2e+08 Transitions= 8.28435e+08 Memory= 10999.628 cpu1: Depth= 157 States= 9.9e+07 Transitions= 2.06975e+08 Memory= 5287.170 cpu0: Depth= 631364 States= 2.01e+08 Transitions= 8.33218e+08 Memory= 11053.034 cpu0: Depth= 631364 States= 2.02e+08 Transitions= 8.36835e+08 Memory= 11106.440 cpu1: Depth= 157 States= 1e+08 Transitions= 2.09133e+08 Memory= 5340.576 cpu0: Depth= 631364 States= 2.03e+08 Transitions= 8.40576e+08 Memory= 11159.845 cpu0: Depth= 631364 States= 2.04e+08 Transitions= 8.45575e+08 Memory= 11213.251 cpu1: Depth= 157 States= 1.01e+08 Transitions= 2.11169e+08 Memory= 5393.982 cpu0: Depth= 631364 States= 2.05e+08 Transitions= 8.49899e+08 Memory= 11266.657 cpu0: Depth= 631364 States= 2.06e+08 Transitions= 8.54155e+08 Memory= 11320.063 cpu0: Depth= 631364 States= 2.07e+08 Transitions= 8.58399e+08 Memory= 11373.468 cpu1: Depth= 157 States= 1.02e+08 Transitions= 2.13253e+08 Memory= 5447.388 cpu0: Depth= 631364 States= 2.08e+08 Transitions= 8.6254e+08 Memory= 11426.874 cpu0: Depth= 631364 States= 2.09e+08 Transitions= 8.66517e+08 Memory= 11480.280 cpu1: Depth= 157 States= 1.03e+08 Transitions= 2.15357e+08 Memory= 5500.793 cpu0: Depth= 631364 States= 2.1e+08 Transitions= 8.71206e+08 Memory= 11533.686 cpu0: Depth= 631364 States= 2.11e+08 Transitions= 8.75834e+08 Memory= 11587.091 cpu1: Depth= 157 States= 1.04e+08 Transitions= 2.17414e+08 Memory= 5554.199 cpu0: Depth= 631364 States= 2.12e+08 Transitions= 8.80239e+08 Memory= 11640.497 cpu1: Depth= 157 States= 1.05e+08 Transitions= 2.19522e+08 Memory= 5607.605 cpu0: Depth= 631364 States= 2.13e+08 Transitions= 8.83988e+08 Memory= 11693.903 cpu0: Depth= 631364 States= 2.14e+08 Transitions= 8.88339e+08 Memory= 11747.309 cpu1: Depth= 157 States= 1.06e+08 Transitions= 2.21599e+08 Memory= 5661.011 cpu0: Depth= 631364 States= 2.15e+08 Transitions= 8.92622e+08 Memory= 11800.714 cpu0: Depth= 631364 States= 2.16e+08 Transitions= 8.96706e+08 Memory= 11854.120 cpu1: Depth= 157 States= 1.07e+08 Transitions= 2.2369e+08 Memory= 5714.417 cpu0: Depth= 631364 States= 2.17e+08 Transitions= 9.00689e+08 Memory= 11907.526 cpu0: Depth= 631364 States= 2.18e+08 Transitions= 9.051e+08 Memory= 11960.932 cpu0: Depth= 631364 States= 2.19e+08 Transitions= 9.09509e+08 Memory= 12014.338 cpu1: Depth= 157 States= 1.08e+08 Transitions= 2.25759e+08 Memory= 5767.822 cpu0: Depth= 631364 States= 2.2e+08 Transitions= 9.13958e+08 Memory= 12067.743 cpu1: Depth= 157 States= 1.08837e+08 Transitions= 2.27525e+08 Memory= 5812.549 cpu0: Depth= 631364 States= 2.20947e+08 Transitions= 9.18624e+08 Memory= 12118.292 cpu1: locks: global 5505639 other 65443058 waits: states 4.2305611e+11 slots 0 cpu0: locks: global 5387074 other 83851507 waits: states 5391515 slots 0 (Spin Version 5.0.0 -- 15 May 2007) + Multi-Core (NCORE=2 -z20) + Partial Order Reduction Hash-Compact 4 search for: never claim + assertion violations + (if within scope of claim) non-progress cycles + (fairness disabled) invalid end states - (disabled by never claim) State-vector 584 byte, depth reached 631364, errors: 0 2.209465e+08 states, stored (3.29784e+08 visited) 8.1636426e+08 states, matched 1.1461483e+09 transitions (= visited+matched) 2.3821479e+09 atomic steps hash conflicts: 5.6285777e+09 (resolved) hint: increase hashtable-size (-w) to reduce runtime Stats on memory usage (in Megabytes): 130640.823 equivalent memory usage for states (stored*(State-vector + overhead)) 17615.626 actual memory usage for states (compression: 13.48%) state-vector as stored = 48 byte + 36 byte overhead 128.000 memory used for hash table (-w24) 45.777 memory used for DFS stack (-m1000000) 128.000 memory used for shared work-queues 141.396 other (proc and chan stacks) 0.042 memory lost to fragmentation 17930.841 total actual memory usage cpu0: elapsed time 3.75e+03 seconds (3.29784e+08 states) cpu0: rate 87829.5 states/second