cpu0: created temporary diskfile Q000_000.tmp
cpu1: Depth=    5007 States=   1e+06 Transitions= 2.25136e+06 Memory= 30.713   
cpu0: Depth=    5005 States=   1e+06 Transitions= 2.15204e+06 Memory= 1183.561 
cpu1: Depth=    5007 States=   2e+06 Transitions= 4.47526e+06 Memory= 61.230   
cpu1: Depth=    5007 States=   3e+06 Transitions= 6.70361e+06 Memory= 91.748   
cpu0: Depth=    5005 States=   2e+06 Transitions= 4.35854e+06 Memory= 1214.079 
cpu1: Depth=    5007 States=   4e+06 Transitions= 8.92425e+06 Memory= 122.266  
cpu0: Depth=    5005 States=   3e+06 Transitions= 6.58006e+06 Memory= 1244.597 
cpu1: Depth=    5007 States=   5e+06 Transitions= 1.11483e+07 Memory= 152.783  
cpu0: Depth=    5005 States=   4e+06 Transitions= 8.8021e+06 Memory= 1275.114 
cpu1: Depth=    5007 States=   6e+06 Transitions= 1.33733e+07 Memory= 183.301  
cpu0: Depth=    5005 States=   5e+06 Transitions= 1.10273e+07 Memory= 1305.632 
cpu1: Depth=    5007 States=   7e+06 Transitions= 1.55936e+07 Memory= 213.818  
cpu0: Depth=    5005 States=   6e+06 Transitions= 1.32478e+07 Memory= 1336.149 
cpu1: Depth=    5007 States=   8e+06 Transitions= 1.78164e+07 Memory= 244.336  
cpu0: Depth=    5005 States=   7e+06 Transitions= 1.54722e+07 Memory= 1366.667 
cpu1: Depth=    5007 States=   9e+06 Transitions= 2.00295e+07 Memory= 274.854  
cpu1: Depth=    5007 States=   1e+07 Transitions= 2.22118e+07 Memory= 305.371  
cpu0: Depth=    5005 States=   8e+06 Transitions= 1.76414e+07 Memory= 1397.184 
cpu1: Depth=    5007 States= 1.1e+07 Transitions= 2.44166e+07 Memory= 335.889  
cpu0: Depth=    5005 States=   9e+06 Transitions= 1.98528e+07 Memory= 1427.702 
cpu1: Depth=    5007 States= 1.2e+07 Transitions= 2.66416e+07 Memory= 366.406  
cpu0: Depth=    5005 States=   1e+07 Transitions= 2.20776e+07 Memory= 1458.220 
cpu1: Depth=    5007 States= 1.3e+07 Transitions= 2.8854e+07 Memory= 396.924  
cpu0: Depth=    5005 States= 1.1e+07 Transitions= 2.43e+07 Memory= 1488.737 
cpu1: Depth=    5007 States= 1.4e+07 Transitions= 3.10733e+07 Memory= 427.441  
cpu0: Depth=    5005 States= 1.2e+07 Transitions= 2.65216e+07 Memory= 1519.255 
cpu1: Depth=    5007 States= 1.5e+07 Transitions= 3.32983e+07 Memory= 457.959  
cpu0: Depth=    5005 States= 1.3e+07 Transitions= 2.87478e+07 Memory= 1549.772 
cpu1: Depth=    5007 States= 1.6e+07 Transitions= 3.5521e+07 Memory= 488.477  
cpu0: Depth=    5005 States= 1.4e+07 Transitions= 3.0982e+07 Memory= 1580.290 
cpu1: Depth=    5007 States= 1.7e+07 Transitions= 3.77346e+07 Memory= 518.994  
cpu0: Depth=    5005 States= 1.5e+07 Transitions= 3.32036e+07 Memory= 1610.808 
cpu1: Depth=    5007 States= 1.8e+07 Transitions= 3.99136e+07 Memory= 549.512  
cpu0: Depth=    5005 States= 1.6e+07 Transitions= 3.54249e+07 Memory= 1641.325 
cpu1: Depth=    5007 States= 1.9e+07 Transitions= 4.21541e+07 Memory= 580.029  
cpu0: Depth=    5005 States= 1.7e+07 Transitions= 3.76505e+07 Memory= 1671.843 
cpu1: Depth=    5007 States=   2e+07 Transitions= 4.43794e+07 Memory= 610.547  
cpu0: Depth=    5005 States= 1.8e+07 Transitions= 3.9873e+07 Memory= 1702.360 
cpu1: Depth=    5007 States= 2.1e+07 Transitions= 4.6606e+07 Memory= 641.064  
cpu0: Depth=    5005 States= 1.9e+07 Transitions= 4.20942e+07 Memory= 1732.878 
cpu1: Depth=    5007 States= 2.2e+07 Transitions= 4.88277e+07 Memory= 671.582  
cpu0: Depth=    5005 States=   2e+07 Transitions= 4.43218e+07 Memory= 1763.395 
cpu1: Depth=    5007 States= 2.3e+07 Transitions= 5.1049e+07 Memory= 702.100  
cpu0: Depth=    5005 States= 2.1e+07 Transitions= 4.65418e+07 Memory= 1793.913 
cpu1: Depth=    5007 States= 2.4e+07 Transitions= 5.32759e+07 Memory= 732.617  
cpu0: Depth=    5005 States= 2.2e+07 Transitions= 4.87621e+07 Memory= 1824.431 
cpu1: Depth=    5007 States= 2.5e+07 Transitions= 5.5498e+07 Memory= 763.135  
cpu0: Depth=    5005 States= 2.3e+07 Transitions= 5.09829e+07 Memory= 1854.948 
cpu1: Depth=    5007 States= 2.6e+07 Transitions= 5.77185e+07 Memory= 793.652  
cpu0: Depth=    5005 States= 2.4e+07 Transitions= 5.31888e+07 Memory= 1885.466 
cpu1: Depth=    5007 States= 2.7e+07 Transitions= 5.99353e+07 Memory= 824.170  
cpu0: Depth=    5005 States= 2.5e+07 Transitions= 5.5411e+07 Memory= 1915.983 
cpu1: Depth=    5007 States= 2.8e+07 Transitions= 6.2161e+07 Memory= 854.688  
cpu0: Depth=    5005 States= 2.6e+07 Transitions= 5.76312e+07 Memory= 1946.501 
cpu1: Depth=    5007 States= 2.9e+07 Transitions= 6.43831e+07 Memory= 885.205  
cpu0: Depth=    5005 States= 2.7e+07 Transitions= 5.98509e+07 Memory= 1977.018 
cpu1: Depth=    5007 States=   3e+07 Transitions= 6.66051e+07 Memory= 915.723  
cpu0: Depth=    5005 States= 2.8e+07 Transitions= 6.20743e+07 Memory= 2007.536 
cpu1: Depth=    5007 States= 3.1e+07 Transitions= 6.88466e+07 Memory= 946.240  
cpu0: Depth=    5005 States= 2.9e+07 Transitions= 6.43008e+07 Memory= 2038.054 
cpu1: Depth=    5007 States= 3.2e+07 Transitions= 7.10683e+07 Memory= 976.758  
cpu0: Depth=    5005 States=   3e+07 Transitions= 6.65213e+07 Memory= 2068.571 
cpu1: Depth=    5007 States= 3.3e+07 Transitions= 7.32899e+07 Memory= 1007.275 
cpu0: Depth=    5005 States= 3.1e+07 Transitions= 6.87444e+07 Memory= 2099.089 
cpu1: Depth=    5007 States= 3.4e+07 Transitions= 7.55163e+07 Memory= 1037.793 
cpu0: Depth=    5005 States= 3.2e+07 Transitions= 7.09588e+07 Memory= 2129.606 
cpu0: Depth=    5005 States= 3.3e+07 Transitions= 7.31957e+07 Memory= 2160.124 
cpu1: Depth=    5007 States= 3.5e+07 Transitions= 7.77274e+07 Memory= 1068.311 
cpu1: created temporary diskfile Q000_001.tmp
cpu0: Depth=    5005 States= 3.4e+07 Transitions= 7.54225e+07 Memory= 2190.641 
cpu1: Depth=    5007 States= 3.6e+07 Transitions= 7.98872e+07 Memory= 1098.828 
cpu0: Depth=    5005 States= 3.5e+07 Transitions= 7.76446e+07 Memory= 2221.159 
cpu0: Depth=    5005 States= 3.6e+07 Transitions= 7.98652e+07 Memory= 2251.677 
cpu1: Depth=    5007 States= 3.7e+07 Transitions= 8.20877e+07 Memory= 1129.346 
cpu0: Depth=    5005 States= 3.7e+07 Transitions= 8.20919e+07 Memory= 2282.194 
cpu1: Depth=    5007 States= 3.8e+07 Transitions= 8.43032e+07 Memory= 1159.863 
cpu0: Depth=    5005 States= 3.8e+07 Transitions= 8.4314e+07 Memory= 2312.712 
cpu1: Depth=    5007 States= 3.9e+07 Transitions= 8.65259e+07 Memory= 1190.381 
cpu0: Depth=    5005 States= 3.9e+07 Transitions= 8.65358e+07 Memory= 2343.229 
cpu1: Depth=    5007 States=   4e+07 Transitions= 8.8752e+07 Memory= 1220.898 
cpu0: Depth=    5005 States=   4e+07 Transitions= 8.87626e+07 Memory= 2373.747 
cpu1: Depth=    5007 States= 4.1e+07 Transitions= 9.09727e+07 Memory= 1251.416 
cpu0: Depth=    5005 States= 4.1e+07 Transitions= 9.0975e+07 Memory= 2404.265 
cpu1: Depth=    5007 States= 4.2e+07 Transitions= 9.31984e+07 Memory= 1281.934 
cpu0: Depth=    5005 States= 4.2e+07 Transitions= 9.31878e+07 Memory= 2434.782 
cpu1: Depth=    5007 States= 4.3e+07 Transitions= 9.54218e+07 Memory= 1312.451 
cpu0: Depth=    5005 States= 4.3e+07 Transitions= 9.53775e+07 Memory= 2465.300 
cpu1: Depth=    5007 States= 4.4e+07 Transitions= 9.76372e+07 Memory= 1342.969 
cpu0: Depth=    5005 States= 4.4e+07 Transitions= 9.75904e+07 Memory= 2495.817 
cpu1: Depth=    5007 States= 4.5e+07 Transitions= 9.98556e+07 Memory= 1373.486 
cpu0: Depth=    5005 States= 4.5e+07 Transitions= 9.98126e+07 Memory= 2526.335 
cpu1: Depth=    5007 States= 4.6e+07 Transitions= 1.02055e+08 Memory= 1404.004 
cpu0: Depth=    5005 States= 4.6e+07 Transitions= 1.02018e+08 Memory= 2556.852 
cpu1: Depth=    5007 States= 4.7e+07 Transitions= 1.04271e+08 Memory= 1434.521 
cpu0: Depth=    5005 States= 4.7e+07 Transitions= 1.04251e+08 Memory= 2587.370 
cpu1: Depth=    5007 States= 4.8e+07 Transitions= 1.06495e+08 Memory= 1465.039 
cpu0: Depth=    5005 States= 4.8e+07 Transitions= 1.06471e+08 Memory= 2617.888 
cpu1: Depth=    5007 States= 4.9e+07 Transitions= 1.08679e+08 Memory= 1495.557 
cpu0: Depth=    5005 States= 4.9e+07 Transitions= 1.08695e+08 Memory= 2648.405 
cpu1: Depth=    5007 States=   5e+07 Transitions= 1.10888e+08 Memory= 1526.074 
cpu0: Depth=    5005 States=   5e+07 Transitions= 1.10917e+08 Memory= 2678.923 
cpu1: Depth=    5007 States= 5.1e+07 Transitions= 1.13113e+08 Memory= 1556.592 
cpu0: Depth=    5005 States= 5.1e+07 Transitions= 1.13113e+08 Memory= 2709.440 
cpu1: Depth=    5007 States= 5.2e+07 Transitions= 1.15334e+08 Memory= 1587.109 
cpu0: Depth=    5007 States= 5.2e+07 Transitions= 1.15446e+08 Memory= 2739.958 
cpu1: Depth=    5007 States= 5.3e+07 Transitions= 1.17554e+08 Memory= 1617.627 
cpu0: Depth=    5007 States= 5.3e+07 Transitions= 1.17782e+08 Memory= 2770.475 
cpu1: Depth=    5007 States= 5.4e+07 Transitions= 1.19814e+08 Memory= 1648.145 
cpu0: Depth=    5007 States= 5.4e+07 Transitions= 1.20127e+08 Memory= 2800.993 
cpu1: Depth=    5007 States= 5.5e+07 Transitions= 1.22165e+08 Memory= 1678.662 
cpu0: Depth=    5007 States= 5.5e+07 Transitions= 1.22478e+08 Memory= 2831.511 
cpu1: Depth=    5007 States= 5.6e+07 Transitions= 1.24509e+08 Memory= 1709.180 
cpu0: Depth=    5007 States= 5.6e+07 Transitions= 1.24816e+08 Memory= 2862.028 
cpu1: Depth=    5007 States= 5.7e+07 Transitions= 1.26845e+08 Memory= 1739.697 
cpu0: Depth=    5007 States= 5.7e+07 Transitions= 1.27144e+08 Memory= 2892.546 
cpu1: Depth=    5007 States= 5.8e+07 Transitions= 1.29187e+08 Memory= 1770.215 
cpu0: Depth=    5007 States= 5.8e+07 Transitions= 1.29486e+08 Memory= 2923.063 
cpu1: Depth=    5007 States= 5.9e+07 Transitions= 1.31538e+08 Memory= 1800.732 
cpu0: Depth=    5007 States= 5.9e+07 Transitions= 1.31811e+08 Memory= 2953.581 
cpu1: Depth=    5007 States=   6e+07 Transitions= 1.33874e+08 Memory= 1831.250 
cpu0: Depth=    5007 States=   6e+07 Transitions= 1.34121e+08 Memory= 2984.099 
cpu1: Depth=    5007 States= 6.1e+07 Transitions= 1.36223e+08 Memory= 1861.768 
cpu0: Depth=    5007 States= 6.1e+07 Transitions= 1.36407e+08 Memory= 3014.616 
cpu1: Depth=    5007 States= 6.2e+07 Transitions= 1.38565e+08 Memory= 1892.285 
cpu0: Depth=    5007 States= 6.2e+07 Transitions= 1.38627e+08 Memory= 3045.134 
cpu1: Depth=    5007 States= 6.3e+07 Transitions= 1.40921e+08 Memory= 1922.803 
cpu0: Depth=    5007 States= 6.3e+07 Transitions= 1.40855e+08 Memory= 3075.651 
cpu1: Depth=    5007 States= 6.4e+07 Transitions= 1.43259e+08 Memory= 1953.320 
cpu0: Depth=    5007 States= 6.4e+07 Transitions= 1.43068e+08 Memory= 3106.169 
cpu1: Depth=    5007 States= 6.5e+07 Transitions= 1.456e+08 Memory= 1983.838 
cpu0: Depth=    5007 States= 6.5e+07 Transitions= 1.45262e+08 Memory= 3136.686 
cpu1: Depth=    5007 States= 6.6e+07 Transitions= 1.47944e+08 Memory= 2014.355 
cpu0: Depth=    5007 States= 6.6e+07 Transitions= 1.47555e+08 Memory= 3167.204 
cpu1: Depth=    5007 States= 6.7e+07 Transitions= 1.50301e+08 Memory= 2044.873 
cpu0: Depth=    5007 States= 6.7e+07 Transitions= 1.49894e+08 Memory= 3197.722 
cpu1: Depth=    5007 States= 6.8e+07 Transitions= 1.52646e+08 Memory= 2075.391 
cpu0: Depth=    5007 States= 6.8e+07 Transitions= 1.52163e+08 Memory= 3228.239 
cpu1: Depth=    5007 States= 6.9e+07 Transitions= 1.55006e+08 Memory= 2105.908 
cpu0: Depth=    5007 States= 6.9e+07 Transitions= 1.54428e+08 Memory= 3258.757 
cpu1: Depth=    5007 States=   7e+07 Transitions= 1.57346e+08 Memory= 2136.426 
cpu0: Depth=    5007 States=   7e+07 Transitions= 1.56773e+08 Memory= 3289.274 
cpu1: Depth=    5007 States= 7.1e+07 Transitions= 1.59692e+08 Memory= 2166.943 
cpu0: Depth=    5007 States= 7.1e+07 Transitions= 1.59113e+08 Memory= 3319.792 
cpu1: Depth=    5007 States= 7.2e+07 Transitions= 1.62045e+08 Memory= 2197.461 
cpu0: Depth=    5007 States= 7.2e+07 Transitions= 1.61456e+08 Memory= 3350.309 
cpu1: Depth=    5007 States= 7.3e+07 Transitions= 1.64394e+08 Memory= 2227.979 
cpu0: Depth=    5007 States= 7.3e+07 Transitions= 1.63759e+08 Memory= 3380.827 
cpu1: Depth=    5007 States= 7.4e+07 Transitions= 1.66754e+08 Memory= 2258.496 
cpu0: Depth=    5007 States= 7.4e+07 Transitions= 1.65979e+08 Memory= 3411.345 
cpu1: Depth=    5007 States= 7.5e+07 Transitions= 1.69111e+08 Memory= 2289.014 
cpu0: Depth=    5007 States= 7.5e+07 Transitions= 1.68188e+08 Memory= 3441.862 
cpu1: Depth=    5007 States= 7.6e+07 Transitions= 1.71459e+08 Memory= 2319.531 
cpu0: Depth=    5007 States= 7.6e+07 Transitions= 1.70512e+08 Memory= 3472.380 
cpu1: Depth=    5007 States= 7.7e+07 Transitions= 1.73803e+08 Memory= 2350.049 
cpu0: Depth=    5007 States= 7.7e+07 Transitions= 1.72856e+08 Memory= 3502.897 
cpu1: Depth=    5007 States= 7.8e+07 Transitions= 1.76139e+08 Memory= 2380.566 
cpu0: Depth=    5007 States= 7.8e+07 Transitions= 1.75204e+08 Memory= 3533.415 
cpu1: Depth=    5007 States= 7.9e+07 Transitions= 1.78477e+08 Memory= 2411.084 
cpu0: Depth=    5007 States= 7.9e+07 Transitions= 1.77538e+08 Memory= 3563.933 
cpu1: Depth=    5007 States=   8e+07 Transitions= 1.80837e+08 Memory= 2441.602 
cpu0: Depth=    5007 States=   8e+07 Transitions= 1.79885e+08 Memory= 3594.450 
cpu1: Depth=    5007 States= 8.1e+07 Transitions= 1.83187e+08 Memory= 2472.119 
cpu0: Depth=    5007 States= 8.1e+07 Transitions= 1.82227e+08 Memory= 3624.968 
cpu1: Depth=    5007 States= 8.2e+07 Transitions= 1.85535e+08 Memory= 2502.637 
cpu0: Depth=    5007 States= 8.2e+07 Transitions= 1.84568e+08 Memory= 3655.485 
cpu1: Depth=    5007 States= 8.3e+07 Transitions= 1.87872e+08 Memory= 2533.154 
cpu0: Depth=    5007 States= 8.3e+07 Transitions= 1.8692e+08 Memory= 3686.003 
cpu1: Depth=    5007 States= 8.4e+07 Transitions= 1.90214e+08 Memory= 2563.672 
cpu0: Depth=    5007 States= 8.4e+07 Transitions= 1.89264e+08 Memory= 3716.520 
cpu1: Depth=    5007 States= 8.5e+07 Transitions= 1.92565e+08 Memory= 2594.189 
cpu0: Depth=    5007 States= 8.5e+07 Transitions= 1.91599e+08 Memory= 3747.038 
cpu1: Depth=    5007 States= 8.6e+07 Transitions= 1.94915e+08 Memory= 2624.707 
cpu0: Depth=    5007 States= 8.6e+07 Transitions= 1.93941e+08 Memory= 3777.556 
cpu1: Depth=    5007 States= 8.7e+07 Transitions= 1.97261e+08 Memory= 2655.225 
cpu0: Depth=    5007 States= 8.7e+07 Transitions= 1.9628e+08 Memory= 3808.073 
cpu1: Depth=    5007 States= 8.8e+07 Transitions= 1.99598e+08 Memory= 2685.742 
cpu0: Depth=    5007 States= 8.8e+07 Transitions= 1.98634e+08 Memory= 3838.591 
cpu1: Depth=    5007 States= 8.9e+07 Transitions= 2.01956e+08 Memory= 2716.260 
cpu0: Depth=    5007 States= 8.9e+07 Transitions= 2.0099e+08 Memory= 3869.108 
cpu1: Depth=    5007 States=   9e+07 Transitions= 2.04309e+08 Memory= 2746.777 
cpu0: Depth=    5007 States=   9e+07 Transitions= 2.03342e+08 Memory= 3899.626 
cpu1: Depth=    5007 States= 9.1e+07 Transitions= 2.06664e+08 Memory= 2777.295 
cpu0: Depth=    5007 States= 9.1e+07 Transitions= 2.0568e+08 Memory= 3930.143 
cpu1: Depth=    5007 States= 9.2e+07 Transitions= 2.0901e+08 Memory= 2807.812 
cpu0: Depth=    5007 States= 9.2e+07 Transitions= 2.08029e+08 Memory= 3960.661 
cpu1: Depth=    5007 States= 9.3e+07 Transitions= 2.11359e+08 Memory= 2838.330 
cpu0: Depth=    5007 States= 9.3e+07 Transitions= 2.10377e+08 Memory= 3991.179 
cpu1: Depth=    5007 States= 9.4e+07 Transitions= 2.13695e+08 Memory= 2868.848 
cpu0: Depth=    5007 States= 9.4e+07 Transitions= 2.12729e+08 Memory= 4021.696 
cpu1: Depth=    5007 States= 9.5e+07 Transitions= 2.16036e+08 Memory= 2899.365 
cpu0: Depth=    5007 States= 9.5e+07 Transitions= 2.15085e+08 Memory= 4052.214 
cpu1: Depth=    5007 States= 9.6e+07 Transitions= 2.18386e+08 Memory= 2929.883 
cpu0: Depth=    5007 States= 9.6e+07 Transitions= 2.17441e+08 Memory= 4082.731 
cpu1: Depth=    5007 States= 9.7e+07 Transitions= 2.20724e+08 Memory= 2960.400 
cpu0: Depth=    5007 States= 9.7e+07 Transitions= 2.19794e+08 Memory= 4113.249 
cpu1: Depth=    5007 States= 9.8e+07 Transitions= 2.23076e+08 Memory= 2990.918 
cpu0: Depth=    5007 States= 9.8e+07 Transitions= 2.22136e+08 Memory= 4143.766 
cpu1: Depth=    5007 States= 9.9e+07 Transitions= 2.25419e+08 Memory= 3021.436 
cpu0: Depth=    5007 States= 9.9e+07 Transitions= 2.24478e+08 Memory= 4174.284 
cpu1: Depth=    5007 States=   1e+08 Transitions= 2.27765e+08 Memory= 3051.953 
cpu0: Depth=    5007 States=   1e+08 Transitions= 2.2683e+08 Memory= 4204.802 
cpu1: Depth=    5007 States= 1.01e+08 Transitions= 2.30105e+08 Memory= 3082.471 
cpu0: Depth=    5007 States= 1.01e+08 Transitions= 2.29178e+08 Memory= 4235.319 
cpu1: Depth=    5007 States= 1.02e+08 Transitions= 2.32447e+08 Memory= 3112.988 
cpu0: Depth=    5007 States= 1.02e+08 Transitions= 2.3153e+08 Memory= 4265.837 
cpu1: Depth=    5007 States= 1.03e+08 Transitions= 2.34791e+08 Memory= 3143.506 
cpu0: Depth=    5007 States= 1.03e+08 Transitions= 2.33878e+08 Memory= 4296.354 
cpu1: Depth=    5007 States= 1.04e+08 Transitions= 2.37138e+08 Memory= 3174.023 
cpu0: Depth=    5007 States= 1.04e+08 Transitions= 2.36228e+08 Memory= 4326.872 
cpu1: Depth=    5007 States= 1.05e+08 Transitions= 2.39497e+08 Memory= 3204.541 
cpu0: Depth=    5007 States= 1.05e+08 Transitions= 2.38571e+08 Memory= 4357.390 
cpu1: Depth=    5007 States= 1.06e+08 Transitions= 2.41855e+08 Memory= 3235.059 
cpu0: Depth=    5007 States= 1.06e+08 Transitions= 2.4091e+08 Memory= 4387.907 
cpu1: Depth=    5007 States= 1.07e+08 Transitions= 2.44192e+08 Memory= 3265.576 
cpu0: Depth=    5007 States= 1.07e+08 Transitions= 2.43259e+08 Memory= 4418.425 
cpu1: Depth=    5007 States= 1.08e+08 Transitions= 2.46542e+08 Memory= 3296.094 
cpu0: Depth=    5007 States= 1.08e+08 Transitions= 2.45609e+08 Memory= 4448.942 
cpu1: Depth=    5007 States= 1.09e+08 Transitions= 2.4889e+08 Memory= 3326.611 
cpu0: Depth=    5007 States= 1.09e+08 Transitions= 2.47947e+08 Memory= 4479.460 
cpu0: Depth=    5007 States= 1.1e+08 Transitions= 2.50298e+08 Memory= 4509.977 
cpu1: Depth=    5007 States= 1.1e+08 Transitions= 2.51242e+08 Memory= 3357.129 
cpu0: Depth=    5007 States= 1.11e+08 Transitions= 2.52655e+08 Memory= 4540.495 
cpu1: Depth=    5007 States= 1.11e+08 Transitions= 2.536e+08 Memory= 3387.646 
cpu0: Depth=    5007 States= 1.12e+08 Transitions= 2.55006e+08 Memory= 4571.013 
cpu1: Depth=    5007 States= 1.12e+08 Transitions= 2.5596e+08 Memory= 3418.164 
cpu0: Depth=    5007 States= 1.13e+08 Transitions= 2.57355e+08 Memory= 4601.530 
cpu1: Depth=    5007 States= 1.13e+08 Transitions= 2.58309e+08 Memory= 3448.682 
cpu0: Depth=    5007 States= 1.14e+08 Transitions= 2.59693e+08 Memory= 4632.048 
cpu1: Depth=    5007 States= 1.14e+08 Transitions= 2.60657e+08 Memory= 3479.199 
cpu0: Depth=    5007 States= 1.15e+08 Transitions= 2.62042e+08 Memory= 4662.565 
cpu1: Depth=    5007 States= 1.15e+08 Transitions= 2.62999e+08 Memory= 3509.717 
cpu0: Depth=    5007 States= 1.16e+08 Transitions= 2.64393e+08 Memory= 4693.083 
cpu1: Depth=    5007 States= 1.16e+08 Transitions= 2.65346e+08 Memory= 3540.234 
cpu0: Depth=    5007 States= 1.17e+08 Transitions= 2.66729e+08 Memory= 4723.600 
cpu1: Depth=    5007 States= 1.17e+08 Transitions= 2.67698e+08 Memory= 3570.752 
cpu0: Depth=    5007 States= 1.18e+08 Transitions= 2.69086e+08 Memory= 4754.118 
cpu1: Depth=    5007 States= 1.18e+08 Transitions= 2.7006e+08 Memory= 3601.270 
cpu0: Depth=    5007 States= 1.19e+08 Transitions= 2.71428e+08 Memory= 4784.636 
cpu1: Depth=    5007 States= 1.19e+08 Transitions= 2.72417e+08 Memory= 3631.787 
cpu0: Depth=    5007 States= 1.2e+08 Transitions= 2.73768e+08 Memory= 4815.153 
cpu1: Depth=    5007 States= 1.2e+08 Transitions= 2.74752e+08 Memory= 3662.305 
cpu0: Depth=    5007 States= 1.21e+08 Transitions= 2.76116e+08 Memory= 4845.671 
cpu1: Depth=    5007 States= 1.21e+08 Transitions= 2.77101e+08 Memory= 3692.822 
cpu0: Depth=    5007 States= 1.22e+08 Transitions= 2.78466e+08 Memory= 4876.188 
cpu1: Depth=    5007 States= 1.22e+08 Transitions= 2.79444e+08 Memory= 3723.340 
cpu0: Depth=    5007 States= 1.23e+08 Transitions= 2.80819e+08 Memory= 4906.706 
cpu1: Depth=    5007 States= 1.23e+08 Transitions= 2.818e+08 Memory= 3753.857 
cpu0: Depth=    5007 States= 1.24e+08 Transitions= 2.8316e+08 Memory= 4937.224 
cpu1: Depth=    5007 States= 1.24e+08 Transitions= 2.84136e+08 Memory= 3784.375 
cpu0: Depth=    5007 States= 1.25e+08 Transitions= 2.85502e+08 Memory= 4967.741 
cpu1: Depth=    5007 States= 1.25e+08 Transitions= 2.86487e+08 Memory= 3814.893 
cpu0: Depth=    5007 States= 1.26e+08 Transitions= 2.87864e+08 Memory= 4998.259 
cpu1: Depth=    5007 States= 1.26e+08 Transitions= 2.88834e+08 Memory= 3845.410 
cpu0: Depth=    5007 States= 1.27e+08 Transitions= 2.9022e+08 Memory= 5028.776 
cpu1: Depth=    5007 States= 1.27e+08 Transitions= 2.91189e+08 Memory= 3875.928 
cpu0: Depth=    5007 States= 1.28e+08 Transitions= 2.92574e+08 Memory= 5059.294 
cpu1: Depth=    5007 States= 1.28e+08 Transitions= 2.93547e+08 Memory= 3906.445 
cpu0: Depth=    5007 States= 1.29e+08 Transitions= 2.94918e+08 Memory= 5089.811 
cpu1: Depth=    5007 States= 1.29e+08 Transitions= 2.95903e+08 Memory= 3936.963 
cpu0: Depth=    5007 States= 1.3e+08 Transitions= 2.97261e+08 Memory= 5120.329 
cpu1: Depth=    5007 States= 1.3e+08 Transitions= 2.98244e+08 Memory= 3967.480 
cpu0: Depth=    5007 States= 1.31e+08 Transitions= 2.99622e+08 Memory= 5150.847 
cpu1: Depth=    5007 States= 1.31e+08 Transitions= 3.00589e+08 Memory= 3997.998 
cpu0: Depth=    5007 States= 1.32e+08 Transitions= 3.01975e+08 Memory= 5181.364 
cpu1: Depth=    5007 States= 1.32e+08 Transitions= 3.02937e+08 Memory= 4028.516 
cpu0: Depth=    5007 States= 1.33e+08 Transitions= 3.04329e+08 Memory= 5211.882 
cpu1: Depth=    5007 States= 1.33e+08 Transitions= 3.05275e+08 Memory= 4059.033 
cpu0: Depth=    5007 States= 1.34e+08 Transitions= 3.06692e+08 Memory= 5242.399 
cpu1: Depth=    5007 States= 1.34e+08 Transitions= 3.07628e+08 Memory= 4089.551 
cpu0: Depth=    5007 States= 1.35e+08 Transitions= 3.09038e+08 Memory= 5272.917 
cpu1: Depth=    5007 States= 1.35e+08 Transitions= 3.09977e+08 Memory= 4120.068 
cpu0: Depth=    5007 States= 1.36e+08 Transitions= 3.11379e+08 Memory= 5303.434 
cpu1: Depth=    5007 States= 1.36e+08 Transitions= 3.1233e+08 Memory= 4150.586 
cpu0: Depth=    5007 States= 1.37e+08 Transitions= 3.13729e+08 Memory= 5333.952 
cpu1: Depth=    5007 States= 1.37e+08 Transitions= 3.14672e+08 Memory= 4181.104 
cpu0: Depth=    5007 States= 1.38e+08 Transitions= 3.16079e+08 Memory= 5364.470 
cpu1: Depth=    5007 States= 1.38e+08 Transitions= 3.17031e+08 Memory= 4211.621 
cpu0: Depth=    5007 States= 1.39e+08 Transitions= 3.18432e+08 Memory= 5394.987 
cpu1: Depth=    5007 States= 1.39e+08 Transitions= 3.19372e+08 Memory= 4242.139 
cpu0: Depth=    5007 States= 1.4e+08 Transitions= 3.20793e+08 Memory= 5425.505 
cpu1: Depth=    5007 States= 1.4e+08 Transitions= 3.21717e+08 Memory= 4272.656 
cpu0: Depth=    5007 States= 1.41e+08 Transitions= 3.23135e+08 Memory= 5456.022 
cpu1: Depth=    5007 States= 1.41e+08 Transitions= 3.24069e+08 Memory= 4303.174 
cpu0: Depth=    5007 States= 1.42e+08 Transitions= 3.25487e+08 Memory= 5486.540 
cpu1: Depth=    5007 States= 1.42e+08 Transitions= 3.2642e+08 Memory= 4333.691 
cpu0: Depth=    5007 States= 1.43e+08 Transitions= 3.27837e+08 Memory= 5517.058 
cpu1: Depth=    5007 States= 1.43e+08 Transitions= 3.28783e+08 Memory= 4364.209 
cpu0: Depth=    5007 States= 1.44e+08 Transitions= 3.30181e+08 Memory= 5547.575 
cpu1: Depth=    5007 States= 1.44e+08 Transitions= 3.31142e+08 Memory= 4394.727 
cpu0: Depth=    5007 States= 1.45e+08 Transitions= 3.32528e+08 Memory= 5578.093 
cpu1: Depth=    5007 States= 1.45e+08 Transitions= 3.33485e+08 Memory= 4425.244 
cpu0: Depth=    5007 States= 1.46e+08 Transitions= 3.34878e+08 Memory= 5608.610 
cpu1: Depth=    5007 States= 1.46e+08 Transitions= 3.35827e+08 Memory= 4455.762 
cpu0: Depth=    5007 States= 1.47e+08 Transitions= 3.37223e+08 Memory= 5639.128 
cpu1: Depth=    5007 States= 1.47e+08 Transitions= 3.38189e+08 Memory= 4486.279 
cpu0: Depth=    5007 States= 1.48e+08 Transitions= 3.39576e+08 Memory= 5669.645 
cpu1: Depth=    5007 States= 1.48e+08 Transitions= 3.40551e+08 Memory= 4516.797 
cpu0: Depth=    5007 States= 1.49e+08 Transitions= 3.41939e+08 Memory= 5700.163 
cpu1: Depth=    5007 States= 1.49e+08 Transitions= 3.42903e+08 Memory= 4547.314 
cpu0: Depth=    5007 States= 1.5e+08 Transitions= 3.44295e+08 Memory= 5730.681 
cpu1: Depth=    5007 States= 1.5e+08 Transitions= 3.45268e+08 Memory= 4577.832 
cpu0: Depth=    5007 States= 1.51e+08 Transitions= 3.46646e+08 Memory= 5761.198 
cpu1: Depth=    5007 States= 1.51e+08 Transitions= 3.4762e+08 Memory= 4608.350 
cpu0: Depth=    5007 States= 1.52e+08 Transitions= 3.48987e+08 Memory= 5791.716 
cpu1: Depth=    5007 States= 1.52e+08 Transitions= 3.49969e+08 Memory= 4638.867 
cpu0: Depth=    5007 States= 1.53e+08 Transitions= 3.51329e+08 Memory= 5822.233 
cpu1: Depth=    5007 States= 1.53e+08 Transitions= 3.52305e+08 Memory= 4669.385 
cpu0: Depth=    5007 States= 1.54e+08 Transitions= 3.53672e+08 Memory= 5852.751 
cpu1: Depth=    5007 States= 1.54e+08 Transitions= 3.54657e+08 Memory= 4699.902 
cpu0: Depth=    5007 States= 1.55e+08 Transitions= 3.56029e+08 Memory= 5883.268 
cpu1: Depth=    5007 States= 1.55e+08 Transitions= 3.57009e+08 Memory= 4730.420 
cpu0: Depth=    5007 States= 1.56e+08 Transitions= 3.58366e+08 Memory= 5913.786 
cpu1: Depth=    5007 States= 1.56e+08 Transitions= 3.59373e+08 Memory= 4760.938 
cpu0: Depth=    5007 States= 1.57e+08 Transitions= 3.60715e+08 Memory= 5944.304 
cpu1: Depth=    5007 States= 1.57e+08 Transitions= 3.61719e+08 Memory= 4791.455 
cpu0: Depth=    5007 States= 1.58e+08 Transitions= 3.63067e+08 Memory= 5974.821 
cpu1: Depth=    5007 States= 1.58e+08 Transitions= 3.64061e+08 Memory= 4821.973 
cpu0: Depth=    5007 States= 1.59e+08 Transitions= 3.65415e+08 Memory= 6005.339 
cpu1: Depth=    5007 States= 1.59e+08 Transitions= 3.66413e+08 Memory= 4852.490 
cpu0: Depth=    5007 States= 1.6e+08 Transitions= 3.67758e+08 Memory= 6035.856 
cpu1: Depth=    5007 States= 1.6e+08 Transitions= 3.68765e+08 Memory= 4883.008 
cpu0: Depth=    5007 States= 1.61e+08 Transitions= 3.70104e+08 Memory= 6066.374 
cpu1: Depth=    5007 States= 1.61e+08 Transitions= 3.71119e+08 Memory= 4913.525 
cpu0: Depth=    5007 States= 1.62e+08 Transitions= 3.7245e+08 Memory= 6096.891 
cpu1: Depth=    5007 States= 1.62e+08 Transitions= 3.73468e+08 Memory= 4944.043 
cpu0: Depth=    5007 States= 1.63e+08 Transitions= 3.74801e+08 Memory= 6127.409 
cpu1: Depth=    5007 States= 1.63e+08 Transitions= 3.75812e+08 Memory= 4974.561 
cpu0: Depth=    5007 States= 1.64e+08 Transitions= 3.7716e+08 Memory= 6157.927 
cpu1: Depth=    5007 States= 1.64e+08 Transitions= 3.78172e+08 Memory= 5005.078 
cpu0: Depth=    5007 States= 1.65e+08 Transitions= 3.79522e+08 Memory= 6188.444 
cpu1: Depth=    5007 States= 1.65e+08 Transitions= 3.80526e+08 Memory= 5035.596 
cpu0: Depth=    5007 States= 1.66e+08 Transitions= 3.8187e+08 Memory= 6218.962 
cpu1: Depth=    5007 States= 1.66e+08 Transitions= 3.8289e+08 Memory= 5066.113 
cpu0: Depth=    5007 States= 1.67e+08 Transitions= 3.8421e+08 Memory= 6249.479 
cpu1: Depth=    5007 States= 1.67e+08 Transitions= 3.85234e+08 Memory= 5096.631 
cpu0: Depth=    5007 States= 1.68e+08 Transitions= 3.86562e+08 Memory= 6279.997 
cpu1: Depth=    5007 States= 1.68e+08 Transitions= 3.87575e+08 Memory= 5127.148 
cpu0: Depth=    5007 States= 1.69e+08 Transitions= 3.88924e+08 Memory= 6310.515 
cpu1: Depth=    5007 States= 1.69e+08 Transitions= 3.89927e+08 Memory= 5157.666 
cpu0: Depth=    5007 States= 1.7e+08 Transitions= 3.91276e+08 Memory= 6341.032 
cpu1: Depth=    5007 States= 1.7e+08 Transitions= 3.92279e+08 Memory= 5188.184 
cpu0: Depth=    5007 States= 1.71e+08 Transitions= 3.93636e+08 Memory= 6371.550 
cpu1: Depth=    5007 States= 1.71e+08 Transitions= 3.94621e+08 Memory= 5218.701 
cpu0: Depth=    5007 States= 1.72e+08 Transitions= 3.95995e+08 Memory= 6402.067 
cpu1: Depth=    5007 States= 1.72e+08 Transitions= 3.96975e+08 Memory= 5249.219 
cpu0: Depth=    5007 States= 1.73e+08 Transitions= 3.98342e+08 Memory= 6432.585 
cpu1: Depth=    5007 States= 1.73e+08 Transitions= 3.99316e+08 Memory= 5279.736 
cpu0: Depth=    5007 States= 1.74e+08 Transitions= 4.00683e+08 Memory= 6463.102 
cpu1: Depth=    5007 States= 1.74e+08 Transitions= 4.01662e+08 Memory= 5310.254 
cpu0: Depth=    5007 States= 1.75e+08 Transitions= 4.03029e+08 Memory= 6493.620 
cpu1: Depth=    5007 States= 1.75e+08 Transitions= 4.04016e+08 Memory= 5340.771 
cpu0: Depth=    5007 States= 1.76e+08 Transitions= 4.05381e+08 Memory= 6524.138 
cpu1: Depth=    5007 States= 1.76e+08 Transitions= 4.06357e+08 Memory= 5371.289 
cpu0: Depth=    5007 States= 1.77e+08 Transitions= 4.07741e+08 Memory= 6554.655 
cpu1: Depth=    5007 States= 1.77e+08 Transitions= 4.087e+08 Memory= 5401.807 
cpu0: Depth=    5007 States= 1.78e+08 Transitions= 4.10096e+08 Memory= 6585.173 
cpu1: Depth=    5007 States= 1.78e+08 Transitions= 4.11052e+08 Memory= 5432.324 
cpu0: Depth=    5007 States= 1.79e+08 Transitions= 4.12442e+08 Memory= 6615.690 
cpu1: Depth=    5007 States= 1.79e+08 Transitions= 4.13404e+08 Memory= 5462.842 
cpu0: Depth=    5007 States= 1.8e+08 Transitions= 4.14785e+08 Memory= 6646.208 
cpu1: Depth=    5007 States= 1.8e+08 Transitions= 4.15759e+08 Memory= 5493.359 
cpu0: Depth=    5007 States= 1.81e+08 Transitions= 4.17139e+08 Memory= 6676.725 
cpu1: Depth=    5007 States= 1.81e+08 Transitions= 4.18122e+08 Memory= 5523.877 
cpu0: Depth=    5007 States= 1.82e+08 Transitions= 4.19487e+08 Memory= 6707.243 
cpu1: Depth=    5007 States= 1.82e+08 Transitions= 4.20465e+08 Memory= 5554.395 
cpu0: Depth=    5007 States= 1.83e+08 Transitions= 4.21834e+08 Memory= 6737.761 
cpu1: Depth=    5007 States= 1.83e+08 Transitions= 4.22805e+08 Memory= 5584.912 
cpu0: Depth=    5007 States= 1.84e+08 Transitions= 4.24188e+08 Memory= 6768.278 
cpu1: Depth=    5007 States= 1.84e+08 Transitions= 4.25163e+08 Memory= 5615.430 
cpu0: Depth=    5007 States= 1.85e+08 Transitions= 4.26535e+08 Memory= 6798.796 
cpu1: Depth=    5007 States= 1.85e+08 Transitions= 4.27526e+08 Memory= 5645.947 
cpu0: Depth=    5007 States= 1.86e+08 Transitions= 4.28891e+08 Memory= 6829.313 
cpu1: Depth=    5007 States= 1.86e+08 Transitions= 4.29877e+08 Memory= 5676.465 
cpu0: Depth=    5007 States= 1.87e+08 Transitions= 4.31247e+08 Memory= 6859.831 
cpu1: Depth=    5007 States= 1.87e+08 Transitions= 4.32237e+08 Memory= 5706.982 
cpu0: Depth=    5007 States= 1.88e+08 Transitions= 4.336e+08 Memory= 6890.349 
cpu1: Depth=    5007 States= 1.88e+08 Transitions= 4.346e+08 Memory= 5737.500 
cpu0: Depth=    5007 States= 1.89e+08 Transitions= 4.35948e+08 Memory= 6920.866 
cpu1: Depth=    5007 States= 1.89e+08 Transitions= 4.36948e+08 Memory= 5768.018 
cpu0: Depth=    5007 States= 1.9e+08 Transitions= 4.38295e+08 Memory= 6951.384 
cpu1: Depth=    5007 States= 1.9e+08 Transitions= 4.393e+08 Memory= 5798.535 
cpu0: Depth=    5007 States= 1.91e+08 Transitions= 4.40647e+08 Memory= 6981.901 
cpu1: Depth=    5007 States= 1.91e+08 Transitions= 4.41643e+08 Memory= 5829.053 
cpu0: Depth=    5007 States= 1.92e+08 Transitions= 4.42989e+08 Memory= 7012.419 
cpu1: Depth=    5007 States= 1.92e+08 Transitions= 4.43984e+08 Memory= 5859.570 
cpu0: Depth=    5007 States= 1.93e+08 Transitions= 4.45341e+08 Memory= 7042.936 
cpu1: Depth=    5007 States= 1.93e+08 Transitions= 4.46346e+08 Memory= 5890.088 
cpu0: Depth=    5007 States= 1.94e+08 Transitions= 4.47682e+08 Memory= 7073.454 
cpu1: Depth=    5007 States= 1.94e+08 Transitions= 4.48707e+08 Memory= 5920.605 
cpu0: Depth=    5007 States= 1.95e+08 Transitions= 4.50032e+08 Memory= 7103.972 
cpu1: Depth=    5007 States= 1.95e+08 Transitions= 4.51058e+08 Memory= 5951.123 
cpu0: Depth=    5007 States= 1.96e+08 Transitions= 4.5237e+08 Memory= 7134.489 
cpu1: Depth=    5007 States= 1.96e+08 Transitions= 4.534e+08 Memory= 5981.641 
cpu0: Depth=    5007 States= 1.97e+08 Transitions= 4.54723e+08 Memory= 7165.007 
cpu1: Depth=    5007 States= 1.97e+08 Transitions= 4.55742e+08 Memory= 6012.158 
cpu0: Depth=    5007 States= 1.98e+08 Transitions= 4.57065e+08 Memory= 7195.524 
cpu1: Depth=    5007 States= 1.98e+08 Transitions= 4.58093e+08 Memory= 6042.676 
cpu0: Depth=    5007 States= 1.99e+08 Transitions= 4.59418e+08 Memory= 7226.042 
cpu1: Depth=    5007 States= 1.99e+08 Transitions= 4.60441e+08 Memory= 6073.193 
cpu0: Depth=    5007 States=   2e+08 Transitions= 4.61766e+08 Memory= 7256.559 
cpu1: Depth=    5007 States=   2e+08 Transitions= 4.62792e+08 Memory= 6103.711 
cpu0: Depth=    5007 States= 2.01e+08 Transitions= 4.64122e+08 Memory= 7287.077 
cpu1: Depth=    5007 States= 2.01e+08 Transitions= 4.65145e+08 Memory= 6134.229 
cpu0: Depth=    5007 States= 2.02e+08 Transitions= 4.66479e+08 Memory= 7317.595 
cpu1: Depth=    5007 States= 2.02e+08 Transitions= 4.67495e+08 Memory= 6164.746 
cpu0: Depth=    5007 States= 2.03e+08 Transitions= 4.68831e+08 Memory= 7348.112 
cpu1: Depth=    5007 States= 2.03e+08 Transitions= 4.69857e+08 Memory= 6195.264 
cpu0: Depth=    5007 States= 2.04e+08 Transitions= 4.71171e+08 Memory= 7378.630 
cpu1: Depth=    5007 States= 2.04e+08 Transitions= 4.72218e+08 Memory= 6225.781 
cpu0: Depth=    5007 States= 2.05e+08 Transitions= 4.73524e+08 Memory= 7409.147 
cpu1: Depth=    5007 States= 2.05e+08 Transitions= 4.74569e+08 Memory= 6256.299 
cpu0: Depth=    5007 States= 2.06e+08 Transitions= 4.75884e+08 Memory= 7439.665 
cpu1: Depth=    5007 States= 2.06e+08 Transitions= 4.7691e+08 Memory= 6286.816 
cpu0: Depth=    5007 States= 2.07e+08 Transitions= 4.78245e+08 Memory= 7470.183 
cpu1: Depth=    5007 States= 2.07e+08 Transitions= 4.79253e+08 Memory= 6317.334 
cpu0: Depth=    5007 States= 2.08e+08 Transitions= 4.80595e+08 Memory= 7500.700 
cpu1: Depth=    5007 States= 2.08e+08 Transitions= 4.81596e+08 Memory= 6347.852 
cpu0: Depth=    5007 States= 2.09e+08 Transitions= 4.82957e+08 Memory= 7531.218 
cpu1: Depth=    5007 States= 2.09e+08 Transitions= 4.83954e+08 Memory= 6378.369 
cpu0: Depth=    5007 States= 2.1e+08 Transitions= 4.85318e+08 Memory= 7561.735 
cpu1: Depth=    5007 States= 2.1e+08 Transitions= 4.86291e+08 Memory= 6408.887 
cpu0: Depth=    5007 States= 2.11e+08 Transitions= 4.87668e+08 Memory= 7592.253 
cpu1: Depth=    5007 States= 2.11e+08 Transitions= 4.88639e+08 Memory= 6439.404 
cpu0: Depth=    5007 States= 2.12e+08 Transitions= 4.90009e+08 Memory= 7622.770 
cpu1: Depth=    5007 States= 2.12e+08 Transitions= 4.90991e+08 Memory= 6469.922 
cpu0: Depth=    5007 States= 2.13e+08 Transitions= 4.92353e+08 Memory= 7653.288 
cpu1: Depth=    5007 States= 2.13e+08 Transitions= 4.9334e+08 Memory= 6500.439 
cpu0: Depth=    5007 States= 2.14e+08 Transitions= 4.94701e+08 Memory= 7683.806 
cpu1: Depth=    5007 States= 2.14e+08 Transitions= 4.95685e+08 Memory= 6530.957 
cpu0: Depth=    5007 States= 2.15e+08 Transitions= 4.97064e+08 Memory= 7714.323 
cpu1: Depth=    5007 States= 2.15e+08 Transitions= 4.98032e+08 Memory= 6561.475 
cpu0: Depth=    5007 States= 2.16e+08 Transitions= 4.99422e+08 Memory= 7744.841 
cpu1: Depth=    5007 States= 2.16e+08 Transitions= 5.00377e+08 Memory= 6591.992 
cpu0: Depth=    5007 States= 2.17e+08 Transitions= 5.01764e+08 Memory= 7775.358 
cpu1: Depth=    5007 States= 2.17e+08 Transitions= 5.02726e+08 Memory= 6622.510 
cpu0: Depth=    5007 States= 2.18e+08 Transitions= 5.04107e+08 Memory= 7805.876 
cpu1: Depth=    5007 States= 2.18e+08 Transitions= 5.05089e+08 Memory= 6653.027 
cpu0: Depth=    5007 States= 2.19e+08 Transitions= 5.06458e+08 Memory= 7836.393 
cpu1: Depth=    5007 States= 2.19e+08 Transitions= 5.07449e+08 Memory= 6683.545 
cpu0: Depth=    5007 States= 2.2e+08 Transitions= 5.08804e+08 Memory= 7866.911 
cpu1: Depth=    5007 States= 2.2e+08 Transitions= 5.09799e+08 Memory= 6714.062 
cpu0: Depth=    5007 States= 2.21e+08 Transitions= 5.11161e+08 Memory= 7897.429 
cpu1: Depth=    5007 States= 2.21e+08 Transitions= 5.12141e+08 Memory= 6744.580 
cpu0: Depth=    5007 States= 2.22e+08 Transitions= 5.13499e+08 Memory= 7927.946 
cpu1: Depth=    5007 States= 2.22e+08 Transitions= 5.14493e+08 Memory= 6775.098 
cpu0: Depth=    5007 States= 2.23e+08 Transitions= 5.15862e+08 Memory= 7958.464 
cpu1: Depth=    5007 States= 2.23e+08 Transitions= 5.16851e+08 Memory= 6805.615 
cpu0: Depth=    5007 States= 2.24e+08 Transitions= 5.18212e+08 Memory= 7988.981 
cpu1: Depth=    5007 States= 2.24e+08 Transitions= 5.19206e+08 Memory= 6836.133 
cpu0: Depth=    5007 States= 2.25e+08 Transitions= 5.20574e+08 Memory= 8019.499 
cpu1: Depth=    5007 States= 2.25e+08 Transitions= 5.2157e+08 Memory= 6866.650 
cpu0: Depth=    5007 States= 2.26e+08 Transitions= 5.22933e+08 Memory= 8050.016 
cpu1: Depth=    5007 States= 2.26e+08 Transitions= 5.23923e+08 Memory= 6897.168 
cpu0: Depth=    5007 States= 2.27e+08 Transitions= 5.25274e+08 Memory= 8080.534 
cpu1: Depth=    5007 States= 2.27e+08 Transitions= 5.26275e+08 Memory= 6927.686 
cpu0: Depth=    5007 States= 2.28e+08 Transitions= 5.27618e+08 Memory= 8111.052 
cpu1: Depth=    5007 States= 2.28e+08 Transitions= 5.28616e+08 Memory= 6958.203 
cpu0: Depth=    5007 States= 2.29e+08 Transitions= 5.29959e+08 Memory= 8141.569 
cpu1: Depth=    5007 States= 2.29e+08 Transitions= 5.30957e+08 Memory= 6988.721 
cpu0: Depth=    5007 States= 2.3e+08 Transitions= 5.32308e+08 Memory= 8172.087 
cpu1: Depth=    5007 States= 2.3e+08 Transitions= 5.33312e+08 Memory= 7019.238 
cpu0: Depth=    5007 States= 2.31e+08 Transitions= 5.34655e+08 Memory= 8202.604 
cpu1: Depth=    5007 States= 2.31e+08 Transitions= 5.35676e+08 Memory= 7049.756 
cpu0: Depth=    5007 States= 2.32e+08 Transitions= 5.37005e+08 Memory= 8233.122 
cpu1: Depth=    5007 States= 2.32e+08 Transitions= 5.38029e+08 Memory= 7080.273 
cpu0: Depth=    5007 States= 2.33e+08 Transitions= 5.39357e+08 Memory= 8263.640 
cpu1: Depth=    5007 States= 2.33e+08 Transitions= 5.40378e+08 Memory= 7110.791 
cpu0: Depth=    5007 States= 2.34e+08 Transitions= 5.417e+08 Memory= 8294.157 
cpu1: Depth=    5007 States= 2.34e+08 Transitions= 5.42714e+08 Memory= 7141.309 
cpu0: Depth=    5007 States= 2.35e+08 Transitions= 5.44055e+08 Memory= 8324.675 
cpu0: Depth=    5007 States= 2.36e+08 Transitions= 5.46395e+08 Memory= 8355.192 
cpu1: Depth=    5007 States= 2.35e+08 Transitions= 5.45067e+08 Memory= 7171.826 
cpu0: Depth=    5007 States= 2.37e+08 Transitions= 5.48741e+08 Memory= 8385.710 
cpu1: Depth=    5007 States= 2.36e+08 Transitions= 5.47415e+08 Memory= 7202.344 
cpu0: Depth=    5007 States= 2.38e+08 Transitions= 5.51094e+08 Memory= 8416.227 
cpu1: Depth=    5007 States= 2.37e+08 Transitions= 5.49768e+08 Memory= 7232.861 
cpu0: Depth=    5007 States= 2.39e+08 Transitions= 5.53444e+08 Memory= 8446.745 
cpu1: Depth=    5007 States= 2.38e+08 Transitions= 5.5212e+08 Memory= 7263.379 
cpu0: Depth=    5007 States= 2.4e+08 Transitions= 5.55806e+08 Memory= 8477.263 
cpu1: Depth=    5007 States= 2.39e+08 Transitions= 5.54472e+08 Memory= 7293.896 
cpu0: Depth=    5007 States= 2.41e+08 Transitions= 5.58163e+08 Memory= 8507.780 
cpu1: Depth=    5007 States= 2.4e+08 Transitions= 5.56822e+08 Memory= 7324.414 
cpu0: Depth=    5007 States= 2.42e+08 Transitions= 5.60504e+08 Memory= 8538.298 
cpu1: Depth=    5007 States= 2.41e+08 Transitions= 5.59186e+08 Memory= 7354.932 
cpu0: Depth=    5007 States= 2.43e+08 Transitions= 5.62849e+08 Memory= 8568.815 
cpu1: Depth=    5007 States= 2.42e+08 Transitions= 5.61539e+08 Memory= 7385.449 
cpu0: Depth=    5007 States= 2.44e+08 Transitions= 5.6521e+08 Memory= 8599.333 
cpu1: Depth=    5007 States= 2.43e+08 Transitions= 5.63888e+08 Memory= 7415.967 
cpu0: Depth=    5007 States= 2.45e+08 Transitions= 5.67569e+08 Memory= 8629.850 
cpu1: Depth=    5007 States= 2.44e+08 Transitions= 5.66225e+08 Memory= 7446.484 
cpu0: Depth=    5007 States= 2.46e+08 Transitions= 5.69923e+08 Memory= 8660.368 
cpu1: Depth=    5007 States= 2.45e+08 Transitions= 5.68578e+08 Memory= 7477.002 
cpu0: Depth=    5007 States= 2.47e+08 Transitions= 5.72287e+08 Memory= 8690.886 
cpu1: Depth=    5007 States= 2.46e+08 Transitions= 5.70928e+08 Memory= 7507.520 
cpu0: Depth=    5007 States= 2.48e+08 Transitions= 5.74639e+08 Memory= 8721.403 
cpu1: Depth=    5007 States= 2.47e+08 Transitions= 5.73279e+08 Memory= 7538.037 
cpu0: Depth=    5007 States= 2.49e+08 Transitions= 5.7698e+08 Memory= 8751.921 
cpu1: Depth=    5007 States= 2.48e+08 Transitions= 5.75622e+08 Memory= 7568.555 
cpu0: Depth=    5007 States= 2.5e+08 Transitions= 5.79327e+08 Memory= 8782.438 
cpu1: Depth=    5007 States= 2.49e+08 Transitions= 5.77964e+08 Memory= 7599.072 
cpu0: Depth=    5007 States= 2.51e+08 Transitions= 5.81678e+08 Memory= 8812.956 
cpu1: Depth=    5007 States= 2.5e+08 Transitions= 5.80309e+08 Memory= 7629.590 
cpu0: Depth=    5007 States= 2.52e+08 Transitions= 5.84029e+08 Memory= 8843.474 
cpu1: Depth=    5007 States= 2.51e+08 Transitions= 5.82663e+08 Memory= 7660.107 
cpu0: Depth=    5007 States= 2.53e+08 Transitions= 5.86393e+08 Memory= 8873.991 
cpu1: Depth=    5007 States= 2.52e+08 Transitions= 5.85004e+08 Memory= 7690.625 
cpu0: Depth=    5007 States= 2.54e+08 Transitions= 5.88736e+08 Memory= 8904.509 
cpu1: Depth=    5007 States= 2.53e+08 Transitions= 5.87348e+08 Memory= 7721.143 
cpu0: Depth=    5007 States= 2.55e+08 Transitions= 5.91079e+08 Memory= 8935.026 
cpu1: Depth=    5007 States= 2.54e+08 Transitions= 5.897e+08 Memory= 7751.660 
cpu0: Depth=    5007 States= 2.56e+08 Transitions= 5.93432e+08 Memory= 8965.544 
cpu1: Depth=    5007 States= 2.55e+08 Transitions= 5.92055e+08 Memory= 7782.178 
cpu0: Depth=    5007 States= 2.57e+08 Transitions= 5.95784e+08 Memory= 8996.061 
cpu1: Depth=    5007 States= 2.56e+08 Transitions= 5.94419e+08 Memory= 7812.695 
cpu0: Depth=    5007 States= 2.58e+08 Transitions= 5.98135e+08 Memory= 9026.579 
cpu1: Depth=    5007 States= 2.57e+08 Transitions= 5.9677e+08 Memory= 7843.213 
cpu0: Depth=    5007 States= 2.59e+08 Transitions= 6.00485e+08 Memory= 9057.097 
cpu1: Depth=    5007 States= 2.58e+08 Transitions= 5.99112e+08 Memory= 7873.730 
cpu0: Depth=    5007 States= 2.6e+08 Transitions= 6.02827e+08 Memory= 9087.614 
cpu1: Depth=    5007 States= 2.59e+08 Transitions= 6.01459e+08 Memory= 7904.248 
cpu0: Depth=    5007 States= 2.61e+08 Transitions= 6.05189e+08 Memory= 9118.132 
cpu1: Depth=    5007 States= 2.6e+08 Transitions= 6.03823e+08 Memory= 7934.766 
cpu0: Depth=    5007 States= 2.62e+08 Transitions= 6.07539e+08 Memory= 9148.649 
cpu1: Depth=    5007 States= 2.61e+08 Transitions= 6.06176e+08 Memory= 7965.283 
cpu0: Depth=    5007 States= 2.63e+08 Transitions= 6.09904e+08 Memory= 9179.167 
cpu1: Depth=    5007 States= 2.62e+08 Transitions= 6.08534e+08 Memory= 7995.801 
cpu0: Depth=    5007 States= 2.64e+08 Transitions= 6.12247e+08 Memory= 9209.684 
cpu1: Depth=    5007 States= 2.63e+08 Transitions= 6.10896e+08 Memory= 8026.318 
cpu0: Depth=    5007 States= 2.65e+08 Transitions= 6.14591e+08 Memory= 9240.202 
cpu1: Depth=    5007 States= 2.64e+08 Transitions= 6.13248e+08 Memory= 8056.836 
cpu0: Depth=    5007 States= 2.66e+08 Transitions= 6.16943e+08 Memory= 9270.720 
cpu1: Depth=    5007 States= 2.65e+08 Transitions= 6.156e+08 Memory= 8087.354 
cpu0: Depth=    5007 States= 2.67e+08 Transitions= 6.19292e+08 Memory= 9301.237 
cpu1: Depth=    5007 States= 2.66e+08 Transitions= 6.17949e+08 Memory= 8117.871 
cpu0: Depth=    5007 States= 2.68e+08 Transitions= 6.21635e+08 Memory= 9331.755 
cpu1: Depth=    5007 States= 2.67e+08 Transitions= 6.2029e+08 Memory= 8148.389 
cpu0: Depth=    5007 States= 2.69e+08 Transitions= 6.23987e+08 Memory= 9362.272 
cpu1: Depth=    5007 States= 2.68e+08 Transitions= 6.2264e+08 Memory= 8178.906 
cpu0: Depth=    5007 States= 2.7e+08 Transitions= 6.2633e+08 Memory= 9392.790 
cpu1: Depth=    5007 States= 2.69e+08 Transitions= 6.25003e+08 Memory= 8209.424 
cpu0: Depth=    5007 States= 2.71e+08 Transitions= 6.28672e+08 Memory= 9423.308 
cpu1: Depth=    5007 States= 2.7e+08 Transitions= 6.27354e+08 Memory= 8239.941 
cpu0: Depth=    5007 States= 2.72e+08 Transitions= 6.3103e+08 Memory= 9453.825 
cpu1: Depth=    5007 States= 2.71e+08 Transitions= 6.29704e+08 Memory= 8270.459 
cpu0: Depth=    5007 States= 2.73e+08 Transitions= 6.33368e+08 Memory= 9484.343 
cpu1: Depth=    5007 States= 2.72e+08 Transitions= 6.32045e+08 Memory= 8300.977 
cpu0: Depth=    5007 States= 2.74e+08 Transitions= 6.35717e+08 Memory= 9514.860 
cpu1: Depth=    5007 States= 2.73e+08 Transitions= 6.34389e+08 Memory= 8331.494 
cpu0: Depth=    5007 States= 2.75e+08 Transitions= 6.38069e+08 Memory= 9545.378 
cpu1: Depth=    5007 States= 2.74e+08 Transitions= 6.36741e+08 Memory= 8362.012 
cpu0: Depth=    5007 States= 2.76e+08 Transitions= 6.40418e+08 Memory= 9575.895 
cpu1: Depth=    5007 States= 2.75e+08 Transitions= 6.39093e+08 Memory= 8392.529 
cpu0: Depth=    5007 States= 2.77e+08 Transitions= 6.42772e+08 Memory= 9606.413 
cpu1: Depth=    5007 States= 2.76e+08 Transitions= 6.41438e+08 Memory= 8423.047 
cpu0: Depth=    5007 States= 2.78e+08 Transitions= 6.45136e+08 Memory= 9636.931 
cpu1: Depth=    5007 States= 2.77e+08 Transitions= 6.43794e+08 Memory= 8453.564 
cpu0: Depth=    5007 States= 2.79e+08 Transitions= 6.47477e+08 Memory= 9667.448 
cpu1: Depth=    5007 States= 2.78e+08 Transitions= 6.4615e+08 Memory= 8484.082 
cpu0: Depth=    5007 States= 2.8e+08 Transitions= 6.49822e+08 Memory= 9697.966 
cpu1: Depth=    5007 States= 2.79e+08 Transitions= 6.48514e+08 Memory= 8514.600 
cpu0: Depth=    5007 States= 2.81e+08 Transitions= 6.52176e+08 Memory= 9728.483 
cpu1: Depth=    5007 States= 2.8e+08 Transitions= 6.50874e+08 Memory= 8545.117 
cpu0: Depth=    5007 States= 2.82e+08 Transitions= 6.5454e+08 Memory= 9759.001 
cpu1: Depth=    5007 States= 2.81e+08 Transitions= 6.53249e+08 Memory= 8575.635 
cpu0: Depth=    5007 States= 2.83e+08 Transitions= 6.56894e+08 Memory= 9789.518 
cpu1: Depth=    5007 States= 2.82e+08 Transitions= 6.5562e+08 Memory= 8606.152 
cpu0: Depth=    5007 States= 2.84e+08 Transitions= 6.59252e+08 Memory= 9820.036 
cpu1: Depth=    5007 States= 2.83e+08 Transitions= 6.57986e+08 Memory= 8636.670 
cpu0: Depth=    5007 States= 2.85e+08 Transitions= 6.61613e+08 Memory= 9850.554 
cpu1: Depth=    5007 States= 2.84e+08 Transitions= 6.6037e+08 Memory= 8667.188 
cpu0: Depth=    5007 States= 2.86e+08 Transitions= 6.63966e+08 Memory= 9881.071 
cpu1: Depth=    5007 States= 2.85e+08 Transitions= 6.62754e+08 Memory= 8697.705 
cpu0: Depth=    5007 States= 2.87e+08 Transitions= 6.66313e+08 Memory= 9911.589 
cpu1: Depth=    5007 States= 2.86e+08 Transitions= 6.65126e+08 Memory= 8728.223 
cpu0: Depth=    5007 States= 2.88e+08 Transitions= 6.68653e+08 Memory= 9942.106 
cpu0: Depth=    5007 States= 2.89e+08 Transitions= 6.71e+08 Memory= 9972.624 
cpu0: Depth=    5007 States= 2.9e+08 Transitions= 6.73358e+08 Memory= 10003.141
cpu0: Depth=    5007 States= 2.91e+08 Transitions= 6.75721e+08 Memory= 10033.659
cpu0: Depth=    5007 States= 2.92e+08 Transitions= 6.78068e+08 Memory= 10064.177
cpu1: Depth=    5007 States= 2.87e+08 Transitions= 6.67505e+08 Memory= 8758.740 
cpu0: Depth=    5007 States= 2.93e+08 Transitions= 6.80408e+08 Memory= 10094.694
cpu0: Depth=    5007 States= 2.94e+08 Transitions= 6.82754e+08 Memory= 10125.212
cpu0: Depth=    5007 States= 2.95e+08 Transitions= 6.85106e+08 Memory= 10155.729
cpu0: Depth=    5007 States= 2.96e+08 Transitions= 6.87454e+08 Memory= 10186.247
cpu1: Depth=    5007 States= 2.88e+08 Transitions= 6.69882e+08 Memory= 8789.258 
cpu0: Depth=    5007 States= 2.97e+08 Transitions= 6.89801e+08 Memory= 10216.765
cpu0: Depth=    5007 States= 2.98e+08 Transitions= 6.92157e+08 Memory= 10247.282
cpu0: Depth=    5007 States= 2.99e+08 Transitions= 6.94512e+08 Memory= 10277.800
cpu0: Depth=    5007 States=   3e+08 Transitions= 6.96868e+08 Memory= 10308.317
cpu1: Depth=    5007 States= 2.89e+08 Transitions= 6.72272e+08 Memory= 8819.775 
cpu0: Depth=    5007 States= 3.01e+08 Transitions= 6.99232e+08 Memory= 10338.835
cpu1: done -- local memcnt 8822.65 Mb
cpu1: states stored 2.8909411e+08	matched 3.8339487e+08
cpu0: done -- local memcnt 10340.1 Mb
cpu0: states stored 3.0103994e+08	matched 3.9828142e+08
cpu1: locks: global  37825953	other    51806792
cpu1: waits: states 1.07241e+10	slots           0

cpu1: dsk_written 391584 states in 1 files
cpu1: dsk_drained 391584 states
cpu0: locks: global  40206893	other    62610742
cpu0: waits: states   5388743	slots           0

(Spin Version 5.0.0 -- 12 May 2007)
	+ Multi-Core (NCORE=2 -z5000)
	+ Partial Order Reduction

Hash-Compact 4 search for:
	never claim         	- (none specified)
	assertion violations	+
	cycle checks       	- (disabled by -DSAFETY)
	invalid end states	+

State-vector 964 byte, depth reached 5007, errors: 0
5.9013405e+08 states, stored
7.8167628e+08 states, matched
1.3718103e+09 transitions (= stored+matched)
3.0607439e+08 atomic steps
hash conflicts: 1.3778606e+09 (resolved)
hint: increase hashtable-size (-w) to reduce runtime

Stats on memory usage (in Megabytes):
553790.955	equivalent memory usage for states (stored*(State-vector + overhead))
18010.093	actual memory usage for states (compression: 3.25%)
         	state-vector as stored = 12 byte + 20 byte overhead
1024.000 	memory used for hash table (-w27)
0.458    	memory used for DFS stack (-m10000)
128.000  	memory used for shared work-queues
128.150  	other (proc and chan stacks)
0.000    	memory lost to fragmentation
19162.701	total actual memory usage

cpu0: dsk_written 571332 states in 1 files
cpu0: dsk_drained 571332 states

cpu0: elapsed time 1.37e+03 seconds (5.90134e+08 states)
cpu0: rate 431032 states/second