cpu0: created temporary diskfile Q000_000.tmp
cpu2: Depth=    5001 States=   1e+06 Transitions= 2.23649e+06 Memory= 30.713   
cpu1: Depth=    5007 States=   1e+06 Transitions= 2.25136e+06 Memory= 30.713   
cpu0: Depth=    5005 States=   1e+06 Transitions= 2.15204e+06 Memory= 1247.561 
cpu2: Depth=    5001 States=   2e+06 Transitions= 4.46123e+06 Memory= 61.230   
cpu1: Depth=    5007 States=   2e+06 Transitions= 4.47526e+06 Memory= 61.230   
cpu0: Depth=    5005 States=   2e+06 Transitions= 4.35854e+06 Memory= 1278.079 
cpu2: Depth=    5001 States=   3e+06 Transitions= 6.682e+06 Memory= 91.748   
cpu1: Depth=    5007 States=   3e+06 Transitions= 6.70361e+06 Memory= 91.748   
cpu0: Depth=    5005 States=   3e+06 Transitions= 6.58006e+06 Memory= 1308.597 
cpu2: Depth=    5001 States=   4e+06 Transitions= 8.90674e+06 Memory= 122.266  
cpu1: Depth=    5007 States=   4e+06 Transitions= 8.92425e+06 Memory= 122.266  
cpu0: Depth=    5005 States=   4e+06 Transitions= 8.8021e+06 Memory= 1339.114 
cpu2: Depth=    5001 States=   5e+06 Transitions= 1.11302e+07 Memory= 152.783  
cpu1: Depth=    5007 States=   5e+06 Transitions= 1.11483e+07 Memory= 152.783  
cpu0: Depth=    5005 States=   5e+06 Transitions= 1.10273e+07 Memory= 1369.632 
cpu2: Depth=    5001 States=   6e+06 Transitions= 1.33517e+07 Memory= 183.301  
cpu1: Depth=    5007 States=   6e+06 Transitions= 1.33733e+07 Memory= 183.301  
cpu0: Depth=    5005 States=   6e+06 Transitions= 1.32478e+07 Memory= 1400.149 
cpu2: Depth=    5001 States=   7e+06 Transitions= 1.55763e+07 Memory= 213.818  
cpu1: Depth=    5007 States=   7e+06 Transitions= 1.55936e+07 Memory= 213.818  
cpu0: Depth=    5005 States=   7e+06 Transitions= 1.54722e+07 Memory= 1430.667 
cpu2: Depth=    5001 States=   8e+06 Transitions= 1.77994e+07 Memory= 244.336  
cpu1: Depth=    5007 States=   8e+06 Transitions= 1.78164e+07 Memory= 244.336  
cpu0: Depth=    5005 States=   8e+06 Transitions= 1.76414e+07 Memory= 1461.184 
cpu2: Depth=    5001 States=   9e+06 Transitions= 2.00177e+07 Memory= 274.854  
cpu1: Depth=    5007 States=   9e+06 Transitions= 2.00295e+07 Memory= 274.854  
cpu2: Depth=    5001 States=   1e+07 Transitions= 2.22357e+07 Memory= 305.371  
cpu1: Depth=    5007 States=   1e+07 Transitions= 2.22118e+07 Memory= 305.371  
cpu0: Depth=    5005 States=   9e+06 Transitions= 1.98528e+07 Memory= 1491.702 
cpu2: Depth=    5001 States= 1.1e+07 Transitions= 2.44372e+07 Memory= 335.889  
cpu1: Depth=    5007 States= 1.1e+07 Transitions= 2.44328e+07 Memory= 335.889  
cpu0: Depth=    5005 States=   1e+07 Transitions= 2.20776e+07 Memory= 1522.220 
cpu2: Depth=    5001 States= 1.2e+07 Transitions= 2.66645e+07 Memory= 366.406  
cpu1: Depth=    5007 States= 1.2e+07 Transitions= 2.66293e+07 Memory= 366.406  
cpu0: Depth=    5005 States= 1.1e+07 Transitions= 2.43e+07 Memory= 1552.737 
cpu2: Depth=    5001 States= 1.3e+07 Transitions= 2.88887e+07 Memory= 396.924  
cpu1: Depth=    5007 States= 1.3e+07 Transitions= 2.88521e+07 Memory= 396.924  
cpu0: Depth=    5005 States= 1.2e+07 Transitions= 2.65216e+07 Memory= 1583.255 
cpu2: Depth=    5001 States= 1.4e+07 Transitions= 3.11147e+07 Memory= 427.441  
cpu1: Depth=    5007 States= 1.4e+07 Transitions= 3.10732e+07 Memory= 427.441  
cpu0: Depth=    5005 States= 1.3e+07 Transitions= 2.87478e+07 Memory= 1613.772 
cpu2: Depth=    5001 States= 1.5e+07 Transitions= 3.33371e+07 Memory= 457.959  
cpu1: Depth=    5007 States= 1.5e+07 Transitions= 3.32984e+07 Memory= 457.959  
cpu0: Depth=    5007 States= 1.4e+07 Transitions= 3.10026e+07 Memory= 1644.290 
cpu2: Depth=    5001 States= 1.6e+07 Transitions= 3.55569e+07 Memory= 488.477  
cpu1: Depth=    5007 States= 1.6e+07 Transitions= 3.55197e+07 Memory= 488.477  
cpu0: Depth=    5007 States= 1.5e+07 Transitions= 3.32356e+07 Memory= 1674.808 
cpu2: Depth=    5001 States= 1.7e+07 Transitions= 3.7784e+07 Memory= 518.994  
cpu1: Depth=    5007 States= 1.7e+07 Transitions= 3.77369e+07 Memory= 518.994  
cpu2: Depth=    5001 States= 1.8e+07 Transitions= 4.00025e+07 Memory= 549.512  
cpu0: Depth=    5007 States= 1.6e+07 Transitions= 3.54563e+07 Memory= 1705.325 
cpu2: Depth=    5005 States= 1.9e+07 Transitions= 4.22017e+07 Memory= 580.029  
cpu1: Depth=    5007 States= 1.8e+07 Transitions= 3.99037e+07 Memory= 549.512  
cpu0: Depth=    5007 States= 1.7e+07 Transitions= 3.76785e+07 Memory= 1735.843 
cpu2: created temporary diskfile Q000_002.tmp
cpu1: Depth=    5007 States= 1.9e+07 Transitions= 4.21379e+07 Memory= 580.029  
cpu0: Depth=    5007 States= 1.8e+07 Transitions= 3.99049e+07 Memory= 1766.360 
cpu2: Depth=    5005 States=   2e+07 Transitions= 4.43644e+07 Memory= 610.547  
cpu0: Depth=    5007 States= 1.9e+07 Transitions= 4.21271e+07 Memory= 1796.878 
cpu1: Depth=    5007 States=   2e+07 Transitions= 4.43597e+07 Memory= 610.547  
cpu0: Depth=    5007 States=   2e+07 Transitions= 4.43471e+07 Memory= 1827.395 
cpu1: Depth=    5007 States= 2.1e+07 Transitions= 4.65861e+07 Memory= 641.064  
cpu2: Depth=    5005 States= 2.1e+07 Transitions= 4.65631e+07 Memory= 641.064  
cpu0: Depth=    5007 States= 2.1e+07 Transitions= 4.65724e+07 Memory= 1857.913 
cpu1: Depth=    5007 States= 2.2e+07 Transitions= 4.88066e+07 Memory= 671.582  
cpu2: Depth=    5005 States= 2.2e+07 Transitions= 4.87861e+07 Memory= 671.582  
cpu0: Depth=    5007 States= 2.2e+07 Transitions= 4.87909e+07 Memory= 1888.431 
cpu1: Depth=    5007 States= 2.3e+07 Transitions= 5.10307e+07 Memory= 702.100  
cpu2: Depth=    5005 States= 2.3e+07 Transitions= 5.10062e+07 Memory= 702.100  
cpu0: Depth=    5007 States= 2.3e+07 Transitions= 5.10049e+07 Memory= 1918.948 
cpu2: Depth=    5005 States= 2.4e+07 Transitions= 5.3231e+07 Memory= 732.617  
cpu1: Depth=    5007 States= 2.4e+07 Transitions= 5.32559e+07 Memory= 732.617  
cpu0: Depth=    5007 States= 2.4e+07 Transitions= 5.32298e+07 Memory= 1949.466 
cpu2: Depth=    5005 States= 2.5e+07 Transitions= 5.54549e+07 Memory= 763.135  
cpu1: Depth=    5007 States= 2.5e+07 Transitions= 5.54774e+07 Memory= 763.135  
cpu0: Depth=    5007 States= 2.5e+07 Transitions= 5.54652e+07 Memory= 1979.983 
cpu2: Depth=    5005 States= 2.6e+07 Transitions= 5.76754e+07 Memory= 793.652  
cpu1: Depth=    5007 States= 2.6e+07 Transitions= 5.76999e+07 Memory= 793.652  
cpu0: Depth=    5007 States= 2.6e+07 Transitions= 5.77008e+07 Memory= 2010.501 
cpu2: Depth=    5005 States= 2.7e+07 Transitions= 5.99025e+07 Memory= 824.170  
cpu1: Depth=    5007 States= 2.7e+07 Transitions= 5.99144e+07 Memory= 824.170  
cpu0: Depth=    5007 States= 2.7e+07 Transitions= 5.99209e+07 Memory= 2041.018 
cpu2: Depth=    5005 States= 2.8e+07 Transitions= 6.21199e+07 Memory= 854.688  
cpu1: Depth=    5007 States= 2.8e+07 Transitions= 6.21174e+07 Memory= 854.688  
cpu0: Depth=    5007 States= 2.8e+07 Transitions= 6.21465e+07 Memory= 2071.536 
cpu2: Depth=    5005 States= 2.9e+07 Transitions= 6.43356e+07 Memory= 885.205  
cpu1: Depth=    5007 States= 2.9e+07 Transitions= 6.4304e+07 Memory= 885.205  
cpu0: Depth=    5007 States= 2.9e+07 Transitions= 6.4367e+07 Memory= 2102.054 
cpu2: Depth=    5005 States=   3e+07 Transitions= 6.65338e+07 Memory= 915.723  
cpu1: Depth=    5007 States=   3e+07 Transitions= 6.65265e+07 Memory= 915.723  
cpu0: Depth=    5007 States=   3e+07 Transitions= 6.6587e+07 Memory= 2132.571 
cpu2: Depth=    5005 States= 3.1e+07 Transitions= 6.87594e+07 Memory= 946.240  
cpu1: Depth=    5007 States= 3.1e+07 Transitions= 6.87501e+07 Memory= 946.240  
cpu0: Depth=    5007 States= 3.1e+07 Transitions= 6.88596e+07 Memory= 2163.089 
cpu1: Depth=    5007 States= 3.2e+07 Transitions= 7.09772e+07 Memory= 976.758  
cpu2: Depth=    5005 States= 3.2e+07 Transitions= 7.09342e+07 Memory= 976.758  
cpu0: Depth=    5007 States= 3.2e+07 Transitions= 7.12039e+07 Memory= 2193.606 
cpu1: Depth=    5007 States= 3.3e+07 Transitions= 7.31977e+07 Memory= 1007.275 
cpu2: Depth=    5005 States= 3.3e+07 Transitions= 7.31467e+07 Memory= 1007.275 
cpu0: Depth=    5007 States= 3.3e+07 Transitions= 7.35393e+07 Memory= 2224.124 
cpu1: Depth=    5007 States= 3.4e+07 Transitions= 7.54201e+07 Memory= 1037.793 
cpu2: Depth=    5005 States= 3.4e+07 Transitions= 7.53698e+07 Memory= 1037.793 
cpu0: Depth=    5007 States= 3.4e+07 Transitions= 7.58849e+07 Memory= 2254.641 
cpu1: Depth=    5007 States= 3.5e+07 Transitions= 7.76449e+07 Memory= 1068.311 
cpu2: Depth=    5005 States= 3.5e+07 Transitions= 7.75897e+07 Memory= 1068.311 
cpu0: Depth=    5007 States= 3.5e+07 Transitions= 7.82282e+07 Memory= 2285.159 
cpu2: Depth=    5005 States= 3.6e+07 Transitions= 7.98154e+07 Memory= 1098.828 
cpu1: Depth=    5007 States= 3.6e+07 Transitions= 7.98589e+07 Memory= 1098.828 
cpu0: Depth=    5007 States= 3.6e+07 Transitions= 8.05713e+07 Memory= 2315.677 
cpu2: Depth=    5005 States= 3.7e+07 Transitions= 8.20309e+07 Memory= 1129.346 
cpu1: Depth=    5007 States= 3.7e+07 Transitions= 8.21109e+07 Memory= 1129.346 
cpu0: Depth=    5007 States= 3.7e+07 Transitions= 8.29038e+07 Memory= 2346.194 
cpu2: Depth=    5007 States= 3.8e+07 Transitions= 8.43039e+07 Memory= 1159.863 
cpu1: Depth=    5007 States= 3.8e+07 Transitions= 8.44508e+07 Memory= 1159.863 
cpu0: Depth=    5007 States= 3.8e+07 Transitions= 8.52461e+07 Memory= 2376.712 
cpu2: Depth=    5007 States= 3.9e+07 Transitions= 8.66383e+07 Memory= 1190.381 
cpu1: Depth=    5007 States= 3.9e+07 Transitions= 8.67885e+07 Memory= 1190.381 
cpu0: Depth=    5007 States= 3.9e+07 Transitions= 8.75795e+07 Memory= 2407.229 
cpu2: Depth=    5007 States=   4e+07 Transitions= 8.89901e+07 Memory= 1220.898 
cpu1: Depth=    5007 States=   4e+07 Transitions= 8.91314e+07 Memory= 1220.898 
cpu0: Depth=    5007 States=   4e+07 Transitions= 8.98648e+07 Memory= 2437.747 
cpu2: Depth=    5007 States= 4.1e+07 Transitions= 9.13305e+07 Memory= 1251.416 
cpu1: Depth=    5007 States= 4.1e+07 Transitions= 9.14772e+07 Memory= 1251.416 
cpu0: Depth=    5007 States= 4.1e+07 Transitions= 9.20992e+07 Memory= 2468.265 
cpu2: Depth=    5007 States= 4.2e+07 Transitions= 9.36711e+07 Memory= 1281.934 
cpu1: Depth=    5007 States= 4.2e+07 Transitions= 9.38329e+07 Memory= 1281.934 
cpu0: Depth=    5007 States= 4.2e+07 Transitions= 9.4327e+07 Memory= 2498.782 
cpu2: Depth=    5007 States= 4.3e+07 Transitions= 9.60199e+07 Memory= 1312.451 
cpu1: Depth=    5007 States= 4.3e+07 Transitions= 9.6172e+07 Memory= 1312.451 
cpu0: Depth=    5007 States= 4.3e+07 Transitions= 9.65453e+07 Memory= 2529.300 
cpu2: Depth=    5007 States= 4.4e+07 Transitions= 9.83551e+07 Memory= 1342.969 
cpu1: Depth=    5007 States= 4.4e+07 Transitions= 9.85112e+07 Memory= 1342.969 
cpu0: Depth=    5007 States= 4.4e+07 Transitions= 9.87551e+07 Memory= 2559.817 
cpu1: Depth=    5007 States= 4.5e+07 Transitions= 1.00856e+08 Memory= 1373.486 
cpu2: Depth=    5007 States= 4.5e+07 Transitions= 1.00703e+08 Memory= 1373.486 
cpu0: Depth=    5007 States= 4.5e+07 Transitions= 1.00978e+08 Memory= 2590.335 
cpu1: Depth=    5007 States= 4.6e+07 Transitions= 1.03201e+08 Memory= 1404.004 
cpu2: Depth=    5007 States= 4.6e+07 Transitions= 1.03047e+08 Memory= 1404.004 
cpu0: Depth=    5007 States= 4.6e+07 Transitions= 1.03276e+08 Memory= 2620.852 
cpu1: Depth=    5007 States= 4.7e+07 Transitions= 1.0554e+08 Memory= 1434.521 
cpu2: Depth=    5007 States= 4.7e+07 Transitions= 1.05398e+08 Memory= 1434.521 
cpu0: Depth=    5007 States= 4.7e+07 Transitions= 1.05578e+08 Memory= 2651.370 
cpu1: Depth=    5007 States= 4.8e+07 Transitions= 1.0789e+08 Memory= 1465.039 
cpu2: Depth=    5007 States= 4.8e+07 Transitions= 1.07735e+08 Memory= 1465.039 
cpu0: Depth=    5007 States= 4.8e+07 Transitions= 1.07913e+08 Memory= 2681.888 
cpu1: Depth=    5007 States= 4.9e+07 Transitions= 1.10234e+08 Memory= 1495.557 
cpu2: Depth=    5007 States= 4.9e+07 Transitions= 1.10072e+08 Memory= 1495.557 
cpu0: Depth=    5007 States= 4.9e+07 Transitions= 1.10257e+08 Memory= 2712.405 
cpu1: Depth=    5007 States=   5e+07 Transitions= 1.12588e+08 Memory= 1526.074 
cpu2: Depth=    5007 States=   5e+07 Transitions= 1.1242e+08 Memory= 1526.074 
cpu0: Depth=    5007 States=   5e+07 Transitions= 1.12599e+08 Memory= 2742.923 
cpu1: Depth=    5007 States= 5.1e+07 Transitions= 1.14937e+08 Memory= 1556.592 
cpu2: Depth=    5007 States= 5.1e+07 Transitions= 1.14776e+08 Memory= 1556.592 
cpu0: Depth=    5007 States= 5.1e+07 Transitions= 1.14942e+08 Memory= 2773.440 
cpu1: Depth=    5007 States= 5.2e+07 Transitions= 1.17285e+08 Memory= 1587.109 
cpu2: Depth=    5007 States= 5.2e+07 Transitions= 1.17132e+08 Memory= 1587.109 
cpu0: Depth=    5007 States= 5.2e+07 Transitions= 1.17237e+08 Memory= 2803.958 
cpu1: Depth=    5007 States= 5.3e+07 Transitions= 1.19635e+08 Memory= 1617.627 
cpu2: Depth=    5007 States= 5.3e+07 Transitions= 1.19476e+08 Memory= 1617.627 
cpu0: Depth=    5007 States= 5.3e+07 Transitions= 1.19463e+08 Memory= 2834.475 
cpu1: Depth=    5007 States= 5.4e+07 Transitions= 1.21982e+08 Memory= 1648.145 
cpu0: Depth=    5007 States= 5.4e+07 Transitions= 1.2168e+08 Memory= 2864.993 
cpu2: Depth=    5007 States= 5.4e+07 Transitions= 1.21813e+08 Memory= 1648.145 
cpu1: Depth=    5007 States= 5.5e+07 Transitions= 1.24333e+08 Memory= 1678.662 
cpu0: Depth=    5007 States= 5.5e+07 Transitions= 1.23917e+08 Memory= 2895.511 
cpu2: Depth=    5007 States= 5.5e+07 Transitions= 1.24164e+08 Memory= 1678.662 
cpu1: Depth=    5007 States= 5.6e+07 Transitions= 1.26685e+08 Memory= 1709.180 
cpu0: Depth=    5007 States= 5.6e+07 Transitions= 1.26262e+08 Memory= 2926.028 
cpu2: Depth=    5007 States= 5.6e+07 Transitions= 1.26515e+08 Memory= 1709.180 
cpu1: Depth=    5007 States= 5.7e+07 Transitions= 1.29044e+08 Memory= 1739.697 
cpu0: Depth=    5007 States= 5.7e+07 Transitions= 1.28611e+08 Memory= 2956.546 
cpu2: Depth=    5007 States= 5.7e+07 Transitions= 1.28872e+08 Memory= 1739.697 
cpu1: Depth=    5007 States= 5.8e+07 Transitions= 1.31399e+08 Memory= 1770.215 
cpu0: Depth=    5007 States= 5.8e+07 Transitions= 1.30949e+08 Memory= 2987.063 
cpu2: Depth=    5007 States= 5.8e+07 Transitions= 1.31228e+08 Memory= 1770.215 
cpu1: Depth=    5007 States= 5.9e+07 Transitions= 1.33747e+08 Memory= 1800.732 
cpu0: Depth=    5007 States= 5.9e+07 Transitions= 1.33292e+08 Memory= 3017.581 
cpu2: Depth=    5007 States= 5.9e+07 Transitions= 1.33577e+08 Memory= 1800.732 
cpu1: Depth=    5007 States=   6e+07 Transitions= 1.36101e+08 Memory= 1831.250 
cpu0: Depth=    5007 States=   6e+07 Transitions= 1.35641e+08 Memory= 3048.099 
cpu2: Depth=    5007 States=   6e+07 Transitions= 1.35929e+08 Memory= 1831.250 
cpu1: Depth=    5007 States= 6.1e+07 Transitions= 1.38461e+08 Memory= 1861.768 
cpu0: Depth=    5007 States= 6.1e+07 Transitions= 1.37976e+08 Memory= 3078.616 
cpu2: Depth=    5007 States= 6.1e+07 Transitions= 1.38288e+08 Memory= 1861.768 
cpu1: Depth=    5007 States= 6.2e+07 Transitions= 1.40793e+08 Memory= 1892.285 
cpu0: Depth=    5007 States= 6.2e+07 Transitions= 1.40328e+08 Memory= 3109.134 
cpu2: Depth=    5007 States= 6.2e+07 Transitions= 1.40648e+08 Memory= 1892.285 
cpu1: Depth=    5007 States= 6.3e+07 Transitions= 1.43144e+08 Memory= 1922.803 
cpu0: Depth=    5007 States= 6.3e+07 Transitions= 1.4267e+08 Memory= 3139.651 
cpu2: Depth=    5007 States= 6.3e+07 Transitions= 1.42988e+08 Memory= 1922.803 
cpu1: Depth=    5007 States= 6.4e+07 Transitions= 1.45485e+08 Memory= 1953.320 
cpu0: Depth=    5007 States= 6.4e+07 Transitions= 1.45023e+08 Memory= 3170.169 
cpu2: Depth=    5007 States= 6.4e+07 Transitions= 1.45329e+08 Memory= 1953.320 
cpu1: Depth=    5007 States= 6.5e+07 Transitions= 1.47831e+08 Memory= 1983.838 
cpu0: Depth=    5007 States= 6.5e+07 Transitions= 1.47362e+08 Memory= 3200.686 
cpu2: Depth=    5007 States= 6.5e+07 Transitions= 1.47669e+08 Memory= 1983.838 
cpu1: Depth=    5007 States= 6.6e+07 Transitions= 1.50168e+08 Memory= 2014.355 
cpu0: Depth=    5007 States= 6.6e+07 Transitions= 1.497e+08 Memory= 3231.204 
cpu2: Depth=    5007 States= 6.6e+07 Transitions= 1.50012e+08 Memory= 2014.355 
cpu1: Depth=    5007 States= 6.7e+07 Transitions= 1.52519e+08 Memory= 2044.873 
cpu0: Depth=    5007 States= 6.7e+07 Transitions= 1.52048e+08 Memory= 3261.722 
cpu2: Depth=    5007 States= 6.7e+07 Transitions= 1.5236e+08 Memory= 2044.873 
cpu1: Depth=    5007 States= 6.8e+07 Transitions= 1.54869e+08 Memory= 2075.391 
cpu0: Depth=    5007 States= 6.8e+07 Transitions= 1.54406e+08 Memory= 3292.239 
cpu1: Depth=    5007 States= 6.9e+07 Transitions= 1.57216e+08 Memory= 2105.908 
cpu2: Depth=    5007 States= 6.8e+07 Transitions= 1.54701e+08 Memory= 2075.391 
cpu0: Depth=    5007 States= 6.9e+07 Transitions= 1.56762e+08 Memory= 3322.757 
cpu1: Depth=    5007 States=   7e+07 Transitions= 1.59549e+08 Memory= 2136.426 
cpu2: Depth=    5007 States= 6.9e+07 Transitions= 1.57056e+08 Memory= 2105.908 
cpu0: Depth=    5007 States=   7e+07 Transitions= 1.5911e+08 Memory= 3353.274 
cpu1: Depth=    5007 States= 7.1e+07 Transitions= 1.61908e+08 Memory= 2166.943 
cpu2: Depth=    5007 States=   7e+07 Transitions= 1.59392e+08 Memory= 2136.426 
cpu0: Depth=    5007 States= 7.1e+07 Transitions= 1.61445e+08 Memory= 3383.792 
cpu1: Depth=    5007 States= 7.2e+07 Transitions= 1.64263e+08 Memory= 2197.461 
cpu2: Depth=    5007 States= 7.1e+07 Transitions= 1.61742e+08 Memory= 2166.943 
cpu0: Depth=    5007 States= 7.2e+07 Transitions= 1.63795e+08 Memory= 3414.309 
cpu1: Depth=    5007 States= 7.3e+07 Transitions= 1.66603e+08 Memory= 2227.979 
cpu2: Depth=    5007 States= 7.2e+07 Transitions= 1.64091e+08 Memory= 2197.461 
cpu0: Depth=    5007 States= 7.3e+07 Transitions= 1.66152e+08 Memory= 3444.827 
cpu1: Depth=    5007 States= 7.4e+07 Transitions= 1.68963e+08 Memory= 2258.496 
cpu2: Depth=    5007 States= 7.3e+07 Transitions= 1.66443e+08 Memory= 2227.979 
cpu0: Depth=    5007 States= 7.4e+07 Transitions= 1.6851e+08 Memory= 3475.345 
cpu1: Depth=    5007 States= 7.5e+07 Transitions= 1.71307e+08 Memory= 2289.014 
cpu2: Depth=    5007 States= 7.4e+07 Transitions= 1.68788e+08 Memory= 2258.496 
cpu0: Depth=    5007 States= 7.5e+07 Transitions= 1.70861e+08 Memory= 3505.862 
cpu1: Depth=    5007 States= 7.6e+07 Transitions= 1.73649e+08 Memory= 2319.531 
cpu2: Depth=    5007 States= 7.5e+07 Transitions= 1.71139e+08 Memory= 2289.014 
cpu0: Depth=    5007 States= 7.6e+07 Transitions= 1.73213e+08 Memory= 3536.380 
cpu1: Depth=    5007 States= 7.7e+07 Transitions= 1.75989e+08 Memory= 2350.049 
cpu2: Depth=    5007 States= 7.6e+07 Transitions= 1.73479e+08 Memory= 2319.531 
cpu0: Depth=    5007 States= 7.7e+07 Transitions= 1.75571e+08 Memory= 3566.897 
cpu1: Depth=    5007 States= 7.8e+07 Transitions= 1.78333e+08 Memory= 2380.566 
cpu2: Depth=    5007 States= 7.7e+07 Transitions= 1.75825e+08 Memory= 2350.049 
cpu0: Depth=    5007 States= 7.8e+07 Transitions= 1.77933e+08 Memory= 3597.415 
cpu1: Depth=    5007 States= 7.9e+07 Transitions= 1.80685e+08 Memory= 2411.084 
cpu2: Depth=    5007 States= 7.8e+07 Transitions= 1.78178e+08 Memory= 2380.566 
cpu0: Depth=    5007 States= 7.9e+07 Transitions= 1.80285e+08 Memory= 3627.933 
cpu1: Depth=    5007 States=   8e+07 Transitions= 1.83038e+08 Memory= 2441.602 
cpu2: Depth=    5007 States= 7.9e+07 Transitions= 1.80527e+08 Memory= 2411.084 
cpu0: Depth=    5007 States=   8e+07 Transitions= 1.82636e+08 Memory= 3658.450 
cpu1: Depth=    5007 States= 8.1e+07 Transitions= 1.85381e+08 Memory= 2472.119 
cpu2: Depth=    5007 States=   8e+07 Transitions= 1.8288e+08 Memory= 2441.602 
cpu0: Depth=    5007 States= 8.1e+07 Transitions= 1.84983e+08 Memory= 3688.968 
cpu1: Depth=    5007 States= 8.2e+07 Transitions= 1.87721e+08 Memory= 2502.637 
cpu2: Depth=    5007 States= 8.1e+07 Transitions= 1.85216e+08 Memory= 2472.119 
cpu0: Depth=    5007 States= 8.2e+07 Transitions= 1.87321e+08 Memory= 3719.485 
cpu1: Depth=    5007 States= 8.3e+07 Transitions= 1.9007e+08 Memory= 2533.154 
cpu2: Depth=    5007 States= 8.2e+07 Transitions= 1.87567e+08 Memory= 2502.637 
cpu0: Depth=    5007 States= 8.3e+07 Transitions= 1.89668e+08 Memory= 3750.003 
cpu1: Depth=    5007 States= 8.4e+07 Transitions= 1.92418e+08 Memory= 2563.672 
cpu2: Depth=    5007 States= 8.3e+07 Transitions= 1.8991e+08 Memory= 2533.154 
cpu0: Depth=    5007 States= 8.4e+07 Transitions= 1.92006e+08 Memory= 3780.520 
cpu1: Depth=    5007 States= 8.5e+07 Transitions= 1.94756e+08 Memory= 2594.189 
cpu2: Depth=    5007 States= 8.4e+07 Transitions= 1.92265e+08 Memory= 2563.672 
cpu0: Depth=    5007 States= 8.5e+07 Transitions= 1.9435e+08 Memory= 3811.038 
cpu1: Depth=    5007 States= 8.6e+07 Transitions= 1.97108e+08 Memory= 2624.707 
cpu0: Depth=    5007 States= 8.6e+07 Transitions= 1.96702e+08 Memory= 3841.556 
cpu2: Depth=    5007 States= 8.5e+07 Transitions= 1.94606e+08 Memory= 2594.189 
cpu1: Depth=    5007 States= 8.7e+07 Transitions= 1.99457e+08 Memory= 2655.225 
cpu0: Depth=    5007 States= 8.7e+07 Transitions= 1.99052e+08 Memory= 3872.073 
cpu2: Depth=    5007 States= 8.6e+07 Transitions= 1.96952e+08 Memory= 2624.707 
cpu1: Depth=    5007 States= 8.8e+07 Transitions= 2.01814e+08 Memory= 2685.742 
cpu0: Depth=    5007 States= 8.8e+07 Transitions= 2.01389e+08 Memory= 3902.591 
cpu2: Depth=    5007 States= 8.7e+07 Transitions= 1.99306e+08 Memory= 2655.225 
cpu1: Depth=    5007 States= 8.9e+07 Transitions= 2.04175e+08 Memory= 2716.260 
cpu0: Depth=    5007 States= 8.9e+07 Transitions= 2.03747e+08 Memory= 3933.108 
cpu2: Depth=    5007 States= 8.8e+07 Transitions= 2.01656e+08 Memory= 2685.742 
cpu1: Depth=    5007 States=   9e+07 Transitions= 2.06512e+08 Memory= 2746.777 
cpu0: Depth=    5007 States=   9e+07 Transitions= 2.06101e+08 Memory= 3963.626 
cpu2: Depth=    5007 States= 8.9e+07 Transitions= 2.0402e+08 Memory= 2716.260 
cpu1: Depth=    5007 States= 9.1e+07 Transitions= 2.08864e+08 Memory= 2777.295 
cpu0: Depth=    5007 States= 9.1e+07 Transitions= 2.08442e+08 Memory= 3994.143 
cpu2: Depth=    5007 States=   9e+07 Transitions= 2.06376e+08 Memory= 2746.777 
cpu1: Depth=    5007 States= 9.2e+07 Transitions= 2.11212e+08 Memory= 2807.812 
cpu0: Depth=    5007 States= 9.2e+07 Transitions= 2.10801e+08 Memory= 4024.661 
cpu2: Depth=    5007 States= 9.1e+07 Transitions= 2.08724e+08 Memory= 2777.295 
cpu1: Depth=    5007 States= 9.3e+07 Transitions= 2.13572e+08 Memory= 2838.330 
cpu0: Depth=    5007 States= 9.3e+07 Transitions= 2.13144e+08 Memory= 4055.179 
cpu2: Depth=    5007 States= 9.2e+07 Transitions= 2.11064e+08 Memory= 2807.812 
cpu1: Depth=    5007 States= 9.4e+07 Transitions= 2.15932e+08 Memory= 2868.848 
cpu0: Depth=    5007 States= 9.4e+07 Transitions= 2.15487e+08 Memory= 4085.696 
cpu2: Depth=    5007 States= 9.3e+07 Transitions= 2.13427e+08 Memory= 2838.330 
cpu1: Depth=    5007 States= 9.5e+07 Transitions= 2.18284e+08 Memory= 2899.365 
cpu0: Depth=    5007 States= 9.5e+07 Transitions= 2.17829e+08 Memory= 4116.214 
cpu2: Depth=    5007 States= 9.4e+07 Transitions= 2.15784e+08 Memory= 2868.848 
cpu1: Depth=    5007 States= 9.6e+07 Transitions= 2.20642e+08 Memory= 2929.883 
cpu0: Depth=    5007 States= 9.6e+07 Transitions= 2.20169e+08 Memory= 4146.731 
cpu2: Depth=    5007 States= 9.5e+07 Transitions= 2.18141e+08 Memory= 2899.365 
cpu1: Depth=    5007 States= 9.7e+07 Transitions= 2.23002e+08 Memory= 2960.400 
cpu0: Depth=    5007 States= 9.7e+07 Transitions= 2.22526e+08 Memory= 4177.249 
cpu2: Depth=    5007 States= 9.6e+07 Transitions= 2.20505e+08 Memory= 2929.883 
cpu1: Depth=    5007 States= 9.8e+07 Transitions= 2.25351e+08 Memory= 2990.918 
cpu0: Depth=    5007 States= 9.8e+07 Transitions= 2.24872e+08 Memory= 4207.766 
cpu2: Depth=    5007 States= 9.7e+07 Transitions= 2.22857e+08 Memory= 2960.400 
cpu1: Depth=    5007 States= 9.9e+07 Transitions= 2.27705e+08 Memory= 3021.436 
cpu0: Depth=    5007 States= 9.9e+07 Transitions= 2.27224e+08 Memory= 4238.284 
cpu2: Depth=    5007 States= 9.8e+07 Transitions= 2.25217e+08 Memory= 2990.918 
cpu1: Depth=    5007 States=   1e+08 Transitions= 2.30058e+08 Memory= 3051.953 
cpu0: Depth=    5007 States=   1e+08 Transitions= 2.29567e+08 Memory= 4268.802 
cpu2: Depth=    5007 States= 9.9e+07 Transitions= 2.27577e+08 Memory= 3021.436 
cpu1: Depth=    5007 States= 1.01e+08 Transitions= 2.32402e+08 Memory= 3082.471 
cpu0: Depth=    5007 States= 1.01e+08 Transitions= 2.3192e+08 Memory= 4299.319 
cpu2: Depth=    5007 States=   1e+08 Transitions= 2.29927e+08 Memory= 3051.953 
cpu1: Depth=    5007 States= 1.02e+08 Transitions= 2.34739e+08 Memory= 3112.988 
cpu0: Depth=    5007 States= 1.02e+08 Transitions= 2.34257e+08 Memory= 4329.837 
cpu2: Depth=    5007 States= 1.01e+08 Transitions= 2.32269e+08 Memory= 3082.471 
cpu1: Depth=    5007 States= 1.03e+08 Transitions= 2.37093e+08 Memory= 3143.506 
cpu0: Depth=    5007 States= 1.03e+08 Transitions= 2.36607e+08 Memory= 4360.354 
cpu2: Depth=    5007 States= 1.02e+08 Transitions= 2.34613e+08 Memory= 3112.988 
cpu1: Depth=    5007 States= 1.04e+08 Transitions= 2.39436e+08 Memory= 3174.023 
cpu0: Depth=    5007 States= 1.04e+08 Transitions= 2.38947e+08 Memory= 4390.872 
cpu2: Depth=    5007 States= 1.03e+08 Transitions= 2.36965e+08 Memory= 3143.506 
cpu1: Depth=    5007 States= 1.05e+08 Transitions= 2.41791e+08 Memory= 3204.541 
cpu0: Depth=    5007 States= 1.05e+08 Transitions= 2.41309e+08 Memory= 4421.390 
cpu2: Depth=    5007 States= 1.04e+08 Transitions= 2.39318e+08 Memory= 3174.023 
cpu1: Depth=    5007 States= 1.06e+08 Transitions= 2.44128e+08 Memory= 3235.059 
cpu0: Depth=    5007 States= 1.06e+08 Transitions= 2.43659e+08 Memory= 4451.907 
cpu2: Depth=    5007 States= 1.05e+08 Transitions= 2.4167e+08 Memory= 3204.541 
cpu1: Depth=    5007 States= 1.07e+08 Transitions= 2.46481e+08 Memory= 3265.576 
cpu0: Depth=    5007 States= 1.07e+08 Transitions= 2.46021e+08 Memory= 4482.425 
cpu2: Depth=    5007 States= 1.06e+08 Transitions= 2.4402e+08 Memory= 3235.059 
cpu1: Depth=    5007 States= 1.08e+08 Transitions= 2.48829e+08 Memory= 3296.094 
cpu0: Depth=    5007 States= 1.08e+08 Transitions= 2.48367e+08 Memory= 4512.942 
cpu2: Depth=    5007 States= 1.07e+08 Transitions= 2.46367e+08 Memory= 3265.576 
cpu1: Depth=    5007 States= 1.09e+08 Transitions= 2.51186e+08 Memory= 3326.611 
cpu0: Depth=    5007 States= 1.09e+08 Transitions= 2.50712e+08 Memory= 4543.460 
cpu2: Depth=    5007 States= 1.08e+08 Transitions= 2.48709e+08 Memory= 3296.094 
cpu1: Depth=    5007 States= 1.1e+08 Transitions= 2.53533e+08 Memory= 3357.129 
cpu0: Depth=    5007 States= 1.1e+08 Transitions= 2.53063e+08 Memory= 4573.977 
cpu2: Depth=    5007 States= 1.09e+08 Transitions= 2.51063e+08 Memory= 3326.611 
cpu1: Depth=    5007 States= 1.11e+08 Transitions= 2.55884e+08 Memory= 3387.646 
cpu0: Depth=    5007 States= 1.11e+08 Transitions= 2.55422e+08 Memory= 4604.495 
cpu2: Depth=    5007 States= 1.1e+08 Transitions= 2.53425e+08 Memory= 3357.129 
cpu1: Depth=    5007 States= 1.12e+08 Transitions= 2.58233e+08 Memory= 3418.164 
cpu0: Depth=    5007 States= 1.12e+08 Transitions= 2.57785e+08 Memory= 4635.013 
cpu1: Depth=    5007 States= 1.13e+08 Transitions= 2.60583e+08 Memory= 3448.682 
cpu2: Depth=    5007 States= 1.11e+08 Transitions= 2.5578e+08 Memory= 3387.646 
cpu0: Depth=    5007 States= 1.13e+08 Transitions= 2.60134e+08 Memory= 4665.530 
cpu1: Depth=    5007 States= 1.14e+08 Transitions= 2.62935e+08 Memory= 3479.199 
cpu2: Depth=    5007 States= 1.12e+08 Transitions= 2.58129e+08 Memory= 3418.164 
cpu0: Depth=    5007 States= 1.14e+08 Transitions= 2.62497e+08 Memory= 4696.048 
cpu1: Depth=    5007 States= 1.15e+08 Transitions= 2.65275e+08 Memory= 3509.717 
cpu2: Depth=    5007 States= 1.13e+08 Transitions= 2.6048e+08 Memory= 3448.682 
cpu0: Depth=    5007 States= 1.15e+08 Transitions= 2.64854e+08 Memory= 4726.565 
cpu1: Depth=    5007 States= 1.16e+08 Transitions= 2.67621e+08 Memory= 3540.234 
cpu2: Depth=    5007 States= 1.14e+08 Transitions= 2.62831e+08 Memory= 3479.199 
cpu0: Depth=    5007 States= 1.16e+08 Transitions= 2.67208e+08 Memory= 4757.083 
cpu1: Depth=    5007 States= 1.17e+08 Transitions= 2.69973e+08 Memory= 3570.752 
cpu2: Depth=    5007 States= 1.15e+08 Transitions= 2.65172e+08 Memory= 3509.717 
cpu0: Depth=    5007 States= 1.17e+08 Transitions= 2.69566e+08 Memory= 4787.600 
cpu1: Depth=    5007 States= 1.18e+08 Transitions= 2.72319e+08 Memory= 3601.270 
cpu2: Depth=    5007 States= 1.16e+08 Transitions= 2.67515e+08 Memory= 3540.234 
cpu0: Depth=    5007 States= 1.18e+08 Transitions= 2.71906e+08 Memory= 4818.118 
cpu1: Depth=    5007 States= 1.19e+08 Transitions= 2.7466e+08 Memory= 3631.787 
cpu2: Depth=    5007 States= 1.17e+08 Transitions= 2.69859e+08 Memory= 3570.752 
cpu0: Depth=    5007 States= 1.19e+08 Transitions= 2.74252e+08 Memory= 4848.636 
cpu1: Depth=    5007 States= 1.2e+08 Transitions= 2.77007e+08 Memory= 3662.305 
cpu2: Depth=    5007 States= 1.18e+08 Transitions= 2.72212e+08 Memory= 3601.270 
cpu0: Depth=    5007 States= 1.2e+08 Transitions= 2.766e+08 Memory= 4879.153 
cpu1: Depth=    5007 States= 1.21e+08 Transitions= 2.79355e+08 Memory= 3692.822 
cpu2: Depth=    5007 States= 1.19e+08 Transitions= 2.74553e+08 Memory= 3631.787 
cpu0: Depth=    5007 States= 1.21e+08 Transitions= 2.78946e+08 Memory= 4909.671 
cpu1: Depth=    5007 States= 1.22e+08 Transitions= 2.81708e+08 Memory= 3723.340 
cpu0: Depth=    5007 States= 1.22e+08 Transitions= 2.81292e+08 Memory= 4940.188 
cpu2: Depth=    5007 States= 1.2e+08 Transitions= 2.76902e+08 Memory= 3662.305 
cpu1: Depth=    5007 States= 1.23e+08 Transitions= 2.84059e+08 Memory= 3753.857 
cpu0: Depth=    5007 States= 1.23e+08 Transitions= 2.83644e+08 Memory= 4970.706 
cpu2: Depth=    5007 States= 1.21e+08 Transitions= 2.79254e+08 Memory= 3692.822 
cpu1: Depth=    5007 States= 1.24e+08 Transitions= 2.864e+08 Memory= 3784.375 
cpu0: Depth=    5007 States= 1.24e+08 Transitions= 2.85996e+08 Memory= 5001.224 
cpu2: Depth=    5007 States= 1.22e+08 Transitions= 2.81606e+08 Memory= 3723.340 
cpu1: Depth=    5007 States= 1.25e+08 Transitions= 2.88761e+08 Memory= 3814.893 
cpu0: Depth=    5007 States= 1.25e+08 Transitions= 2.88344e+08 Memory= 5031.741 
cpu2: Depth=    5007 States= 1.23e+08 Transitions= 2.83953e+08 Memory= 3753.857 
cpu1: Depth=    5007 States= 1.26e+08 Transitions= 2.91113e+08 Memory= 3845.410 
cpu0: Depth=    5007 States= 1.26e+08 Transitions= 2.90693e+08 Memory= 5062.259 
cpu2: Depth=    5007 States= 1.24e+08 Transitions= 2.86294e+08 Memory= 3784.375 
cpu1: Depth=    5007 States= 1.27e+08 Transitions= 2.93463e+08 Memory= 3875.928 
cpu0: Depth=    5007 States= 1.27e+08 Transitions= 2.93048e+08 Memory= 5092.776 
cpu2: Depth=    5007 States= 1.25e+08 Transitions= 2.8864e+08 Memory= 3814.893 
cpu1: Depth=    5007 States= 1.28e+08 Transitions= 2.95813e+08 Memory= 3906.445 
cpu0: Depth=    5007 States= 1.28e+08 Transitions= 2.95397e+08 Memory= 5123.294 
cpu2: Depth=    5007 States= 1.26e+08 Transitions= 2.90998e+08 Memory= 3845.410 
cpu1: Depth=    5007 States= 1.29e+08 Transitions= 2.98166e+08 Memory= 3936.963 
cpu0: Depth=    5007 States= 1.29e+08 Transitions= 2.97749e+08 Memory= 5153.811 
cpu2: Depth=    5007 States= 1.27e+08 Transitions= 2.93361e+08 Memory= 3875.928 
cpu1: Depth=    5007 States= 1.3e+08 Transitions= 3.00517e+08 Memory= 3967.480 
cpu0: Depth=    5007 States= 1.3e+08 Transitions= 3.00097e+08 Memory= 5184.329 
cpu2: Depth=    5007 States= 1.28e+08 Transitions= 2.95712e+08 Memory= 3906.445 
cpu1: Depth=    5007 States= 1.31e+08 Transitions= 3.02881e+08 Memory= 3997.998 
cpu0: Depth=    5007 States= 1.31e+08 Transitions= 3.02449e+08 Memory= 5214.847 
cpu2: Depth=    5007 States= 1.29e+08 Transitions= 2.98062e+08 Memory= 3936.963 
cpu1: Depth=    5007 States= 1.32e+08 Transitions= 3.05237e+08 Memory= 4028.516 
cpu0: Depth=    5007 States= 1.32e+08 Transitions= 3.04798e+08 Memory= 5245.364 
cpu2: Depth=    5007 States= 1.3e+08 Transitions= 3.00403e+08 Memory= 3967.480 
cpu1: Depth=    5007 States= 1.33e+08 Transitions= 3.07593e+08 Memory= 4059.033 
cpu0: Depth=    5007 States= 1.33e+08 Transitions= 3.07144e+08 Memory= 5275.882 
cpu2: Depth=    5007 States= 1.31e+08 Transitions= 3.02765e+08 Memory= 3997.998 
cpu1: Depth=    5007 States= 1.34e+08 Transitions= 3.09955e+08 Memory= 4089.551 
cpu0: Depth=    5007 States= 1.34e+08 Transitions= 3.09488e+08 Memory= 5306.399 
cpu2: Depth=    5007 States= 1.32e+08 Transitions= 3.05117e+08 Memory= 4028.516 
cpu1: Depth=    5007 States= 1.35e+08 Transitions= 3.12308e+08 Memory= 4120.068 
cpu0: Depth=    5007 States= 1.35e+08 Transitions= 3.11837e+08 Memory= 5336.917 
cpu2: Depth=    5007 States= 1.33e+08 Transitions= 3.07478e+08 Memory= 4059.033 
cpu1: Depth=    5007 States= 1.36e+08 Transitions= 3.14669e+08 Memory= 4150.586 
cpu0: Depth=    5007 States= 1.36e+08 Transitions= 3.14184e+08 Memory= 5367.434 
cpu2: Depth=    5007 States= 1.34e+08 Transitions= 3.09837e+08 Memory= 4089.551 
cpu1: Depth=    5007 States= 1.37e+08 Transitions= 3.1701e+08 Memory= 4181.104 
cpu0: Depth=    5007 States= 1.37e+08 Transitions= 3.1653e+08 Memory= 5397.952 
cpu2: Depth=    5007 States= 1.35e+08 Transitions= 3.1219e+08 Memory= 4120.068 
cpu1: Depth=    5007 States= 1.38e+08 Transitions= 3.19361e+08 Memory= 4211.621 
cpu0: Depth=    5007 States= 1.38e+08 Transitions= 3.18873e+08 Memory= 5428.470 
cpu2: Depth=    5007 States= 1.36e+08 Transitions= 3.14554e+08 Memory= 4150.586 
cpu0: Depth=    5007 States= 1.39e+08 Transitions= 3.21223e+08 Memory= 5458.987 
cpu1: Depth=    5007 States= 1.39e+08 Transitions= 3.21714e+08 Memory= 4242.139 
cpu2: Depth=    5007 States= 1.37e+08 Transitions= 3.16908e+08 Memory= 4181.104 
cpu0: Depth=    5007 States= 1.4e+08 Transitions= 3.23575e+08 Memory= 5489.505 
cpu1: Depth=    5007 States= 1.4e+08 Transitions= 3.24063e+08 Memory= 4272.656 
cpu2: Depth=    5007 States= 1.38e+08 Transitions= 3.1926e+08 Memory= 4211.621 
cpu0: Depth=    5007 States= 1.41e+08 Transitions= 3.25924e+08 Memory= 5520.022 
cpu1: Depth=    5007 States= 1.41e+08 Transitions= 3.2641e+08 Memory= 4303.174 
cpu2: Depth=    5007 States= 1.39e+08 Transitions= 3.21608e+08 Memory= 4242.139 
cpu0: Depth=    5007 States= 1.42e+08 Transitions= 3.28263e+08 Memory= 5550.540 
cpu1: Depth=    5007 States= 1.42e+08 Transitions= 3.2875e+08 Memory= 4333.691 
cpu2: Depth=    5007 States= 1.4e+08 Transitions= 3.23948e+08 Memory= 4272.656 
cpu0: Depth=    5007 States= 1.43e+08 Transitions= 3.30627e+08 Memory= 5581.058 
cpu1: Depth=    5007 States= 1.43e+08 Transitions= 3.31104e+08 Memory= 4364.209 
cpu2: Depth=    5007 States= 1.41e+08 Transitions= 3.26296e+08 Memory= 4303.174 
cpu0: Depth=    5007 States= 1.44e+08 Transitions= 3.3298e+08 Memory= 5611.575 
cpu1: Depth=    5007 States= 1.44e+08 Transitions= 3.33448e+08 Memory= 4394.727 
cpu2: Depth=    5007 States= 1.42e+08 Transitions= 3.28646e+08 Memory= 4333.691 
cpu0: Depth=    5007 States= 1.45e+08 Transitions= 3.35329e+08 Memory= 5642.093 
cpu1: Depth=    5007 States= 1.45e+08 Transitions= 3.35797e+08 Memory= 4425.244 
cpu2: Depth=    5007 States= 1.43e+08 Transitions= 3.30988e+08 Memory= 4364.209 
cpu0: Depth=    5007 States= 1.46e+08 Transitions= 3.37681e+08 Memory= 5672.610 
cpu1: Depth=    5007 States= 1.46e+08 Transitions= 3.38153e+08 Memory= 4455.762 
cpu2: Depth=    5007 States= 1.44e+08 Transitions= 3.33341e+08 Memory= 4394.727 
cpu0: Depth=    5007 States= 1.47e+08 Transitions= 3.4003e+08 Memory= 5703.128 
cpu1: Depth=    5007 States= 1.47e+08 Transitions= 3.40508e+08 Memory= 4486.279 
cpu2: Depth=    5007 States= 1.45e+08 Transitions= 3.35682e+08 Memory= 4425.244 
cpu0: Depth=    5007 States= 1.48e+08 Transitions= 3.42385e+08 Memory= 5733.645 
cpu1: Depth=    5007 States= 1.48e+08 Transitions= 3.42859e+08 Memory= 4516.797 
cpu2: Depth=    5007 States= 1.46e+08 Transitions= 3.3803e+08 Memory= 4455.762 
cpu0: Depth=    5007 States= 1.49e+08 Transitions= 3.44743e+08 Memory= 5764.163 
cpu1: Depth=    5007 States= 1.49e+08 Transitions= 3.4521e+08 Memory= 4547.314 
cpu2: Depth=    5007 States= 1.47e+08 Transitions= 3.40393e+08 Memory= 4486.279 
cpu0: Depth=    5007 States= 1.5e+08 Transitions= 3.47105e+08 Memory= 5794.681 
cpu1: Depth=    5007 States= 1.5e+08 Transitions= 3.47566e+08 Memory= 4577.832 
cpu2: Depth=    5007 States= 1.48e+08 Transitions= 3.42753e+08 Memory= 4516.797 
cpu0: Depth=    5007 States= 1.51e+08 Transitions= 3.49454e+08 Memory= 5825.198 
cpu1: Depth=    5007 States= 1.51e+08 Transitions= 3.49907e+08 Memory= 4608.350 
cpu2: Depth=    5007 States= 1.49e+08 Transitions= 3.45096e+08 Memory= 4547.314 
cpu0: Depth=    5007 States= 1.52e+08 Transitions= 3.51818e+08 Memory= 5855.716 
cpu1: Depth=    5007 States= 1.52e+08 Transitions= 3.52252e+08 Memory= 4638.867 
cpu2: Depth=    5007 States= 1.5e+08 Transitions= 3.47454e+08 Memory= 4577.832 
cpu0: Depth=    5007 States= 1.53e+08 Transitions= 3.54176e+08 Memory= 5886.233 
cpu1: Depth=    5007 States= 1.53e+08 Transitions= 3.54593e+08 Memory= 4669.385 
cpu2: Depth=    5007 States= 1.51e+08 Transitions= 3.49803e+08 Memory= 4608.350 
cpu0: Depth=    5007 States= 1.54e+08 Transitions= 3.56531e+08 Memory= 5916.751 
cpu1: Depth=    5007 States= 1.54e+08 Transitions= 3.56942e+08 Memory= 4699.902 
cpu2: Depth=    5007 States= 1.52e+08 Transitions= 3.52145e+08 Memory= 4638.867 
cpu0: Depth=    5007 States= 1.55e+08 Transitions= 3.58877e+08 Memory= 5947.268 
cpu1: Depth=    5007 States= 1.55e+08 Transitions= 3.59294e+08 Memory= 4730.420 
cpu2: Depth=    5007 States= 1.53e+08 Transitions= 3.54488e+08 Memory= 4669.385 
cpu0: Depth=    5007 States= 1.56e+08 Transitions= 3.61229e+08 Memory= 5977.786 
cpu1: Depth=    5007 States= 1.56e+08 Transitions= 3.61646e+08 Memory= 4760.938 
cpu2: Depth=    5007 States= 1.54e+08 Transitions= 3.5684e+08 Memory= 4699.902 
cpu0: Depth=    5007 States= 1.57e+08 Transitions= 3.63578e+08 Memory= 6008.304 
cpu1: Depth=    5007 States= 1.57e+08 Transitions= 3.63993e+08 Memory= 4791.455 
cpu2: Depth=    5007 States= 1.55e+08 Transitions= 3.5919e+08 Memory= 4730.420 
cpu0: Depth=    5007 States= 1.58e+08 Transitions= 3.65924e+08 Memory= 6038.821 
cpu1: Depth=    5007 States= 1.58e+08 Transitions= 3.66337e+08 Memory= 4821.973 
cpu2: Depth=    5007 States= 1.56e+08 Transitions= 3.61543e+08 Memory= 4760.938 
cpu0: Depth=    5007 States= 1.59e+08 Transitions= 3.68273e+08 Memory= 6069.339 
cpu1: Depth=    5007 States= 1.59e+08 Transitions= 3.68688e+08 Memory= 4852.490 
cpu2: Depth=    5007 States= 1.57e+08 Transitions= 3.63885e+08 Memory= 4791.455 
cpu0: Depth=    5007 States= 1.6e+08 Transitions= 3.70616e+08 Memory= 6099.856 
cpu1: Depth=    5007 States= 1.6e+08 Transitions= 3.71032e+08 Memory= 4883.008 
cpu0: Depth=    5007 States= 1.61e+08 Transitions= 3.72966e+08 Memory= 6130.374 
cpu2: Depth=    5007 States= 1.58e+08 Transitions= 3.66227e+08 Memory= 4821.973 
cpu1: Depth=    5007 States= 1.61e+08 Transitions= 3.73374e+08 Memory= 4913.525 
cpu0: Depth=    5007 States= 1.62e+08 Transitions= 3.75317e+08 Memory= 6160.891 
cpu2: Depth=    5007 States= 1.59e+08 Transitions= 3.6858e+08 Memory= 4852.490 
cpu1: Depth=    5007 States= 1.62e+08 Transitions= 3.75732e+08 Memory= 4944.043 
cpu0: Depth=    5007 States= 1.63e+08 Transitions= 3.77654e+08 Memory= 6191.409 
cpu2: Depth=    5007 States= 1.6e+08 Transitions= 3.70926e+08 Memory= 4883.008 
cpu1: Depth=    5007 States= 1.63e+08 Transitions= 3.78086e+08 Memory= 4974.561 
cpu0: Depth=    5007 States= 1.64e+08 Transitions= 3.8002e+08 Memory= 6221.927 
cpu2: Depth=    5007 States= 1.61e+08 Transitions= 3.73266e+08 Memory= 4913.525 
cpu1: Depth=    5007 States= 1.64e+08 Transitions= 3.80443e+08 Memory= 5005.078 
cpu0: Depth=    5007 States= 1.65e+08 Transitions= 3.8237e+08 Memory= 6252.444 
cpu2: Depth=    5007 States= 1.62e+08 Transitions= 3.75614e+08 Memory= 4944.043 
cpu1: Depth=    5007 States= 1.65e+08 Transitions= 3.82796e+08 Memory= 5035.596 
cpu0: Depth=    5007 States= 1.66e+08 Transitions= 3.84722e+08 Memory= 6282.962 
cpu2: Depth=    5007 States= 1.63e+08 Transitions= 3.77966e+08 Memory= 4974.561 
cpu1: Depth=    5007 States= 1.66e+08 Transitions= 3.85139e+08 Memory= 5066.113 
cpu0: Depth=    5007 States= 1.67e+08 Transitions= 3.87073e+08 Memory= 6313.479 
cpu2: Depth=    5007 States= 1.64e+08 Transitions= 3.80327e+08 Memory= 5005.078 
cpu1: Depth=    5007 States= 1.67e+08 Transitions= 3.87491e+08 Memory= 5096.631 
cpu0: Depth=    5007 States= 1.68e+08 Transitions= 3.8943e+08 Memory= 6343.997 
cpu2: Depth=    5007 States= 1.65e+08 Transitions= 3.82685e+08 Memory= 5035.596 
cpu1: Depth=    5007 States= 1.68e+08 Transitions= 3.89847e+08 Memory= 5127.148 
cpu0: Depth=    5007 States= 1.69e+08 Transitions= 3.91774e+08 Memory= 6374.515 
cpu2: Depth=    5007 States= 1.66e+08 Transitions= 3.85034e+08 Memory= 5066.113 
cpu1: Depth=    5007 States= 1.69e+08 Transitions= 3.92209e+08 Memory= 5157.666 
cpu0: Depth=    5007 States= 1.7e+08 Transitions= 3.94115e+08 Memory= 6405.032 
cpu2: Depth=    5007 States= 1.67e+08 Transitions= 3.87375e+08 Memory= 5096.631 
cpu1: Depth=    5007 States= 1.7e+08 Transitions= 3.94559e+08 Memory= 5188.184 
cpu0: Depth=    5007 States= 1.71e+08 Transitions= 3.96457e+08 Memory= 6435.550 
cpu2: Depth=    5007 States= 1.68e+08 Transitions= 3.89731e+08 Memory= 5127.148 
cpu1: Depth=    5007 States= 1.71e+08 Transitions= 3.96923e+08 Memory= 5218.701 
cpu0: Depth=    5007 States= 1.72e+08 Transitions= 3.9881e+08 Memory= 6466.067 
cpu2: Depth=    5007 States= 1.69e+08 Transitions= 3.9209e+08 Memory= 5157.666 
cpu1: Depth=    5007 States= 1.72e+08 Transitions= 3.99282e+08 Memory= 5249.219 
cpu0: Depth=    5007 States= 1.73e+08 Transitions= 4.01161e+08 Memory= 6496.585 
cpu1: Depth=    5007 States= 1.73e+08 Transitions= 4.01634e+08 Memory= 5279.736 
cpu2: Depth=    5007 States= 1.7e+08 Transitions= 3.94443e+08 Memory= 5188.184 
cpu0: Depth=    5007 States= 1.74e+08 Transitions= 4.03514e+08 Memory= 6527.102 
cpu1: Depth=    5007 States= 1.74e+08 Transitions= 4.03999e+08 Memory= 5310.254 
cpu2: Depth=    5007 States= 1.71e+08 Transitions= 3.96807e+08 Memory= 5218.701 
cpu0: Depth=    5007 States= 1.75e+08 Transitions= 4.05856e+08 Memory= 6557.620 
cpu1: Depth=    5007 States= 1.75e+08 Transitions= 4.06336e+08 Memory= 5340.771 
cpu2: Depth=    5007 States= 1.72e+08 Transitions= 3.99162e+08 Memory= 5249.219 
cpu0: Depth=    5007 States= 1.76e+08 Transitions= 4.08196e+08 Memory= 6588.138 
cpu1: Depth=    5007 States= 1.76e+08 Transitions= 4.08686e+08 Memory= 5371.289 
cpu2: Depth=    5007 States= 1.73e+08 Transitions= 4.0152e+08 Memory= 5279.736 
cpu0: Depth=    5007 States= 1.77e+08 Transitions= 4.1055e+08 Memory= 6618.655 
cpu1: Depth=    5007 States= 1.77e+08 Transitions= 4.11028e+08 Memory= 5401.807 
cpu2: Depth=    5007 States= 1.74e+08 Transitions= 4.03881e+08 Memory= 5310.254 
cpu0: Depth=    5007 States= 1.78e+08 Transitions= 4.12897e+08 Memory= 6649.173 
cpu1: Depth=    5007 States= 1.78e+08 Transitions= 4.13381e+08 Memory= 5432.324 
cpu2: Depth=    5007 States= 1.75e+08 Transitions= 4.06233e+08 Memory= 5340.771 
cpu0: Depth=    5007 States= 1.79e+08 Transitions= 4.15238e+08 Memory= 6679.690 
cpu1: Depth=    5007 States= 1.79e+08 Transitions= 4.15722e+08 Memory= 5462.842 
cpu2: Depth=    5007 States= 1.76e+08 Transitions= 4.08583e+08 Memory= 5371.289 
cpu0: Depth=    5007 States= 1.8e+08 Transitions= 4.17592e+08 Memory= 6710.208 
cpu1: Depth=    5007 States= 1.8e+08 Transitions= 4.1807e+08 Memory= 5493.359 
cpu2: Depth=    5007 States= 1.77e+08 Transitions= 4.10921e+08 Memory= 5401.807 
cpu0: Depth=    5007 States= 1.81e+08 Transitions= 4.19954e+08 Memory= 6740.725 
cpu1: Depth=    5007 States= 1.81e+08 Transitions= 4.20422e+08 Memory= 5523.877 
cpu2: Depth=    5007 States= 1.78e+08 Transitions= 4.13268e+08 Memory= 5432.324 
cpu0: Depth=    5007 States= 1.82e+08 Transitions= 4.22303e+08 Memory= 6771.243 
cpu1: Depth=    5007 States= 1.82e+08 Transitions= 4.22775e+08 Memory= 5554.395 
cpu2: Depth=    5007 States= 1.79e+08 Transitions= 4.15616e+08 Memory= 5462.842 
cpu0: Depth=    5007 States= 1.83e+08 Transitions= 4.24659e+08 Memory= 6801.761 
cpu1: Depth=    5007 States= 1.83e+08 Transitions= 4.25124e+08 Memory= 5584.912 
cpu2: Depth=    5007 States= 1.8e+08 Transitions= 4.17969e+08 Memory= 5493.359 
cpu0: Depth=    5007 States= 1.84e+08 Transitions= 4.27004e+08 Memory= 6832.278 
cpu1: Depth=    5007 States= 1.84e+08 Transitions= 4.27475e+08 Memory= 5615.430 
cpu2: Depth=    5007 States= 1.81e+08 Transitions= 4.20317e+08 Memory= 5523.877 
cpu0: Depth=    5007 States= 1.85e+08 Transitions= 4.29358e+08 Memory= 6862.796 
cpu1: Depth=    5007 States= 1.85e+08 Transitions= 4.29836e+08 Memory= 5645.947 
cpu2: Depth=    5007 States= 1.82e+08 Transitions= 4.22672e+08 Memory= 5554.395 
cpu0: Depth=    5007 States= 1.86e+08 Transitions= 4.31707e+08 Memory= 6893.313 
cpu1: Depth=    5007 States= 1.86e+08 Transitions= 4.32179e+08 Memory= 5676.465 
cpu2: Depth=    5007 States= 1.83e+08 Transitions= 4.25014e+08 Memory= 5584.912 
cpu0: Depth=    5007 States= 1.87e+08 Transitions= 4.3407e+08 Memory= 6923.831 
cpu1: Depth=    5007 States= 1.87e+08 Transitions= 4.34539e+08 Memory= 5706.982 
cpu2: Depth=    5007 States= 1.84e+08 Transitions= 4.27357e+08 Memory= 5615.430 
cpu0: Depth=    5007 States= 1.88e+08 Transitions= 4.3643e+08 Memory= 6954.349 
cpu1: Depth=    5007 States= 1.88e+08 Transitions= 4.36902e+08 Memory= 5737.500 
cpu2: Depth=    5007 States= 1.85e+08 Transitions= 4.29721e+08 Memory= 5645.947 
cpu0: Depth=    5007 States= 1.89e+08 Transitions= 4.38783e+08 Memory= 6984.866 
cpu1: Depth=    5007 States= 1.89e+08 Transitions= 4.39276e+08 Memory= 5768.018 
cpu2: Depth=    5007 States= 1.86e+08 Transitions= 4.32075e+08 Memory= 5676.465 
cpu0: Depth=    5007 States= 1.9e+08 Transitions= 4.41147e+08 Memory= 7015.384 
cpu1: Depth=    5007 States= 1.9e+08 Transitions= 4.41651e+08 Memory= 5798.535 
cpu2: Depth=    5007 States= 1.87e+08 Transitions= 4.34423e+08 Memory= 5706.982 
cpu0: Depth=    5007 States= 1.91e+08 Transitions= 4.43498e+08 Memory= 7045.901 
cpu1: Depth=    5007 States= 1.91e+08 Transitions= 4.44034e+08 Memory= 5829.053 
cpu2: Depth=    5007 States= 1.88e+08 Transitions= 4.36779e+08 Memory= 5737.500 
cpu0: Depth=    5007 States= 1.92e+08 Transitions= 4.45859e+08 Memory= 7076.419 
cpu1: Depth=    5007 States= 1.92e+08 Transitions= 4.46403e+08 Memory= 5859.570 
cpu0: Depth=    5007 States= 1.93e+08 Transitions= 4.48205e+08 Memory= 7106.936 
cpu1: Depth=    5007 States= 1.93e+08 Transitions= 4.48802e+08 Memory= 5890.088 
cpu0: Depth=    5007 States= 1.94e+08 Transitions= 4.50551e+08 Memory= 7137.454 
cpu1: Depth=    5007 States= 1.94e+08 Transitions= 4.5117e+08 Memory= 5920.605 
cpu0: Depth=    5007 States= 1.95e+08 Transitions= 4.52892e+08 Memory= 7167.972 
cpu0: Depth=    5007 States= 1.96e+08 Transitions= 4.55244e+08 Memory= 7198.489 
cpu0: Depth=    5007 States= 1.97e+08 Transitions= 4.57592e+08 Memory= 7229.007 
cpu0: Depth=    5007 States= 1.98e+08 Transitions= 4.59941e+08 Memory= 7259.524 
cpu1: Depth=    5007 States= 1.95e+08 Transitions= 4.53547e+08 Memory= 5951.123 
cpu0: Depth=    5007 States= 1.99e+08 Transitions= 4.6229e+08 Memory= 7290.042 
cpu0: Depth=    5007 States=   2e+08 Transitions= 4.64643e+08 Memory= 7320.559 
cpu0: Depth=    5007 States= 2.01e+08 Transitions= 4.66984e+08 Memory= 7351.077 
cpu0: Depth=    5007 States= 2.02e+08 Transitions= 4.69343e+08 Memory= 7381.595 
cpu1: Depth=    5007 States= 1.96e+08 Transitions= 4.55922e+08 Memory= 5981.641 
cpu0: Depth=    5007 States= 2.03e+08 Transitions= 4.71698e+08 Memory= 7412.112 
cpu0: Depth=    5007 States= 2.04e+08 Transitions= 4.74047e+08 Memory= 7442.630 
cpu0: Depth=    5007 States= 2.05e+08 Transitions= 4.764e+08 Memory= 7473.147 
cpu1: done -- local memcnt 6002.45 Mb
cpu1: states stored 1.9668175e+08	matched 2.6086363e+08
cpu2: done -- local memcnt 5742.63 Mb
cpu2: states stored 1.8816806e+08	matched 2.4900659e+08
cpu1: locks: global  76043598	other    55490300
cpu1: waits: states 2.0789904e+09	slots           0

cpu0: done -- local memcnt 7482.2 Mb
cpu2: locks: global  55751686	other    54062903
cpu2: waits: states 6.6420783e+09	slots           0

cpu2: dsk_written 353742 states in 1 files
cpu2: dsk_drained 353742 states
cpu0: states stored 2.052967e+08	matched 2.7180497e+08
cpu0: locks: global  83825062	other    67842195
cpu0: waits: states   5392955	slots           0

(Spin Version 5.0.0 -- 12 May 2007)
	+ Multi-Core (NCORE=3 -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.9014652e+08 states, stored
7.816752e+08 states, matched
1.3718217e+09 transitions (= stored+matched)
3.060754e+08 atomic steps
hash conflicts: 1.3778709e+09 (resolved)
hint: increase hashtable-size (-w) to reduce runtime

Stats on memory usage (in Megabytes):
553802.654	equivalent memory usage for states (stored*(State-vector + overhead))
18010.668	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)
192.000  	memory used for shared work-queues
192.150  	other (proc and chan stacks)
0.000    	memory lost to fragmentation
19227.277	total actual memory usage

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

cpu0: elapsed time 992 seconds (5.90147e+08 states)
cpu0: rate 595002 states/second