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