df5244: spawning 10 racing children
df5244[1158]: alive lock/unlock=696 (fails=302) truncate=45037
df5244[1163]: alive lock/unlock=673 (fails=296) truncate=45211
df5244[1155]: alive lock/unlock=700 (fails=295) truncate=42736
df5244[1160]: alive lock/unlock=710 (fails=282) truncate=42949
df5244[1156]: alive lock/unlock=745 (fails=305) truncate=42391
df5244[1154]: alive lock/unlock=756 (fails=324) truncate=43748
df5244[1159]: alive lock/unlock=740 (fails=297) truncate=42549
df5244[1157]: alive lock/unlock=784 (fails=374) truncate=45230
df5244[1161]: alive lock/unlock=771 (fails=300) truncate=43915
df5244[1162]: alive lock/unlock=734 (fails=347) truncate=42457
df5244[1158]: alive lock/unlock=1428 (fails=602) truncate=90943
df5244[1163]: alive lock/unlock=1462 (fails=621) truncate=88541
df5244[1155]: alive lock/unlock=1408 (fails=569) truncate=87404
df5244[1160]: alive lock/unlock=1450 (fails=588) truncate=86922
df5244[1156]: alive lock/unlock=1493 (fails=609) truncate=83715
df5244[1154]: alive lock/unlock=1538 (fails=697) truncate=90984
df5244[1159]: alive lock/unlock=1487 (fails=633) truncate=88145
df5244[1157]: alive lock/unlock=1572 (fails=702) truncate=90510
df5244[1161]: alive lock/unlock=1587 (fails=624) truncate=86857
df5244[1162]: alive lock/unlock=1415 (fails=699) truncate=88959
df5244[1163]: alive lock/unlock=2325 (fails=958) truncate=132696
df5244[1158]: alive lock/unlock=2089 (fails=922) truncate=139846
df5244[1155]: alive lock/unlock=2006 (fails=873) truncate=134458
df5244[1160]: alive lock/unlock=2164 (fails=905) truncate=130407
df5244[1156]: alive lock/unlock=2288 (fails=899) truncate=128661
df5244[1154]: alive lock/unlock=2233 (fails=1007) truncate=135342
df5244[1159]: alive lock/unlock=2366 (fails=984) truncate=131522
df5244[1157]: alive lock/unlock=2362 (fails=1021) truncate=135441
df5244[1161]: alive lock/unlock=2443 (fails=954) truncate=130290
df5244[1162]: alive lock/unlock=2153 (fails=1031) truncate=133302
df5244[1163]: alive lock/unlock=3112 (fails=1273) truncate=177017
df5244[1158]: alive lock/unlock=2844 (fails=1249) truncate=184830
df5244[1155]: alive lock/unlock=2825 (fails=1171) truncate=182212
df5244[1160]: alive lock/unlock=2948 (fails=1231) truncate=174703
df5244[1156]: alive lock/unlock=2957 (fails=1210) truncate=172966
df5244[1154]: alive lock/unlock=3072 (fails=1327) truncate=178342
df5244[1159]: alive lock/unlock=3142 (fails=1259) truncate=175894
df5244[1157]: alive lock/unlock=3099 (fails=1318) truncate=178393
df5244[1161]: alive lock/unlock=3220 (fails=1229) truncate=174341
df5244[1162]: alive lock/unlock=3009 (fails=1341) truncate=178507
df5244[1163]: alive lock/unlock=3872 (fails=1574) truncate=221021
df5244[1158]: alive lock/unlock=3738 (fails=1589) truncate=227359
df5244[1155]: alive lock/unlock=3577 (fails=1519) truncate=223645
df5244[1160]: alive lock/unlock=3650 (fails=1548) truncate=219442
df5244[1156]: alive lock/unlock=3696 (fails=1493) truncate=217041
df5244[1154]: alive lock/unlock=3767 (fails=1635) truncate=222147
df5244[1159]: alive lock/unlock=3917 (fails=1589) truncate=220285
df5244[1157]: alive lock/unlock=3811 (fails=1653) truncate=221909
df5244[1161]: alive lock/unlock=3924 (fails=1505) truncate=215855
df5244[1162]: alive lock/unlock=3769 (fails=1650) truncate=225432
df5244[1163]: alive lock/unlock=4634 (fails=1888) truncate=264804
df5244[1155]: alive lock/unlock=4316 (fails=1820) truncate=269592
df5244[1158]: alive lock/unlock=4424 (fails=1876) truncate=272500
df5244[1160]: alive lock/unlock=4426 (fails=1865) truncate=261379
df5244[1156]: alive lock/unlock=4304 (fails=1813) truncate=259597
df5244[1154]: alive lock/unlock=4500 (fails=1923) truncate=265955
df5244[1159]: alive lock/unlock=4713 (fails=1903) truncate=266397
df5244[1157]: alive lock/unlock=4509 (fails=1958) truncate=265472
df5244[1161]: alive lock/unlock=4613 (fails=1773) truncate=259347
df5244[1162]: alive lock/unlock=4513 (fails=1953) truncate=268718
df5244[1163]: alive lock/unlock=5359 (fails=2195) truncate=309384
df5244[1155]: alive lock/unlock=5057 (fails=2146) truncate=312365
df5244[1160]: alive lock/unlock=5139 (fails=2176) truncate=304109
df5244[1158]: alive lock/unlock=5210 (fails=2188) truncate=317933
df5244[1156]: alive lock/unlock=4994 (fails=2085) truncate=305183
df5244[1154]: alive lock/unlock=5207 (fails=2222) truncate=310656
df5244[1159]: alive lock/unlock=5577 (fails=2207) truncate=310584
df5244[1157]: alive lock/unlock=5221 (fails=2247) truncate=307229
df5244[1161]: alive lock/unlock=5310 (fails=2052) truncate=301681
df5244[1162]: alive lock/unlock=5269 (fails=2274) truncate=311703
df5244[1163]: alive lock/unlock=6123 (fails=2532) truncate=353679
df5244[1155]: alive lock/unlock=5856 (fails=2453) truncate=356176
df5244[1156]: alive lock/unlock=5814 (fails=2375) truncate=348431
df5244[1159]: alive lock/unlock=6427 (fails=2540) truncate=353778
df5244[1158]: alive lock/unlock=6163 (fails=2570) truncate=364719
df5244[1160]: alive lock/unlock=5939 (fails=2509) truncate=347580
df5244[1157]: alive lock/unlock=6046 (fails=2558) truncate=350796
df5244[1154]: alive lock/unlock=6037 (fails=2549) truncate=356584
df5244[1161]: alive lock/unlock=5999 (fails=2357) truncate=345540
df5244[1162]: alive lock/unlock=6056 (fails=2638) truncate=356937
df5244[1163]: alive lock/unlock=6952 (fails=2838) truncate=399966
df5244[1155]: alive lock/unlock=6660 (fails=2768) truncate=400303
df5244[1156]: alive lock/unlock=6604 (fails=2734) truncate=394600
df5244[1159]: alive lock/unlock=7250 (fails=2851) truncate=397079
df5244[1158]: alive lock/unlock=7037 (fails=2902) truncate=408824
df5244[1160]: alive lock/unlock=6620 (fails=2822) truncate=391018
df5244[1157]: alive lock/unlock=6848 (fails=2877) truncate=396261
df5244[1154]: alive lock/unlock=6762 (fails=2866) truncate=402747
df5244[1161]: alive lock/unlock=6753 (fails=2640) truncate=388485
df5244[1162]: alive lock/unlock=6844 (fails=2948) truncate=400782
df5244[1163]: alive lock/unlock=7738 (fails=3152) truncate=443349
df5244[1155]: alive lock/unlock=7372 (fails=3064) truncate=444787
df5244[1159]: alive lock/unlock=8077 (fails=3179) truncate=439656
df5244[1160]: alive lock/unlock=7442 (fails=3146) truncate=433948
df5244[1156]: alive lock/unlock=7293 (fails=3045) truncate=438980
df5244[1161]: alive lock/unlock=7472 (fails=2940) truncate=435951
df5244[1154]: alive lock/unlock=7434 (fails=3218) truncate=445005
df5244[1157]: alive lock/unlock=7503 (fails=3147) truncate=439802
df5244[1158]: alive lock/unlock=7774 (fails=3222) truncate=452785
df5244[1162]: alive lock/unlock=7611 (fails=3274) truncate=444567
df5244[1163]: alive lock/unlock=8543 (fails=3480) truncate=487529
df5244[1155]: alive lock/unlock=8031 (fails=3350) truncate=488649
df5244[1159]: alive lock/unlock=8809 (fails=3510) truncate=483770
df5244[1160]: alive lock/unlock=8135 (fails=3451) truncate=478494
df5244[1156]: alive lock/unlock=8075 (fails=3358) truncate=481148
df5244[1161]: alive lock/unlock=8216 (fails=3229) truncate=477031
df5244[1154]: alive lock/unlock=8307 (fails=3546) truncate=487032
df5244[1157]: alive lock/unlock=8328 (fails=3453) truncate=483064
df5244[1158]: alive lock/unlock=8473 (fails=3529) truncate=493874
df5244[1162]: alive lock/unlock=8441 (fails=3624) truncate=488750
df5244[1163]: alive lock/unlock=9212 (fails=3783) truncate=528823
df5244[1155]: alive lock/unlock=8722 (fails=3662) truncate=533352
df5244[1159]: alive lock/unlock=9466 (fails=3804) truncate=529126
df5244[1160]: alive lock/unlock=8893 (fails=3736) truncate=522031
df5244[1156]: alive lock/unlock=8815 (fails=3653) truncate=523407
df5244[1161]: alive lock/unlock=8856 (fails=3492) truncate=519179
df5244[1154]: alive lock/unlock=9078 (fails=3848) truncate=530577
df5244[1157]: alive lock/unlock=9042 (fails=3732) truncate=529231
df5244[1158]: alive lock/unlock=9342 (fails=3842) truncate=537440
df5244[1162]: alive lock/unlock=9255 (fails=3927) truncate=532036
df5244[1163]: alive lock/unlock=9957 (fails=4124) truncate=572130
df5244[1155]: alive lock/unlock=9447 (fails=3977) truncate=578404
df5244[1159]: alive lock/unlock=10141 (fails=4120) truncate=576999
df5244[1160]: alive lock/unlock=9591 (fails=4070) truncate=564713
df5244[1156]: alive lock/unlock=9670 (fails=3944) truncate=567931
df5244[1161]: alive lock/unlock=9607 (fails=3786) truncate=565087
df5244[1154]: alive lock/unlock=9845 (fails=4136) truncate=577318
df5244[1157]: alive lock/unlock=9730 (fails=4029) truncate=572955
df5244[1158]: alive lock/unlock=10192 (fails=4163) truncate=580946
df5244[1162]: alive lock/unlock=10110 (fails=4237) truncate=577889
df5244[1163]: alive lock/unlock=10701 (fails=4448) truncate=613100
df5244[1155]: alive lock/unlock=10159 (fails=4319) truncate=622713
df5244[1159]: alive lock/unlock=10993 (fails=4440) truncate=621705
df5244[1160]: alive lock/unlock=10300 (fails=4418) truncate=610360
df5244[1156]: alive lock/unlock=10430 (fails=4318) truncate=612604
df5244[1161]: alive lock/unlock=10425 (fails=4134) truncate=609506
df5244[1154]: alive lock/unlock=10484 (fails=4448) truncate=621951
df5244[1157]: alive lock/unlock=10571 (fails=4371) truncate=615902
df5244[1158]: alive lock/unlock=11054 (fails=4549) truncate=628444
df5244[1162]: alive lock/unlock=10900 (fails=4596) truncate=621890
df5244[1163]: alive lock/unlock=11428 (fails=4739) truncate=657472
df5244[1155]: alive lock/unlock=10917 (fails=4659) truncate=668574
df5244[1159]: alive lock/unlock=11740 (fails=4746) truncate=664928
df5244[1160]: alive lock/unlock=11039 (fails=4723) truncate=653712
df5244[1156]: alive lock/unlock=11136 (fails=4645) truncate=654880
df5244[1161]: alive lock/unlock=11215 (fails=4457) truncate=653218
df5244[1154]: alive lock/unlock=11269 (fails=4758) truncate=664444
df5244[1157]: alive lock/unlock=11283 (fails=4675) truncate=657084
df5244[1158]: alive lock/unlock=11781 (fails=4851) truncate=672944
df5244[1162]: alive lock/unlock=11614 (fails=4916) truncate=666821
df5244[1163]: alive lock/unlock=12190 (fails=5032) truncate=701086
df5244[1155]: alive lock/unlock=11592 (fails=4981) truncate=712905
df5244[1159]: alive lock/unlock=12580 (fails=5080) truncate=708019
df5244[1160]: alive lock/unlock=11755 (fails=4996) truncate=697654
df5244[1156]: alive lock/unlock=11806 (fails=4953) truncate=697310
df5244[1161]: alive lock/unlock=11944 (fails=4757) truncate=698854
df5244[1154]: alive lock/unlock=11921 (fails=5051) truncate=707628
df5244[1157]: alive lock/unlock=12069 (fails=5004) truncate=703639
df5244[1158]: alive lock/unlock=12443 (fails=5143) truncate=715291
df5244[1162]: alive lock/unlock=12366 (fails=5218) truncate=709108
df5244[1163]: alive lock/unlock=13001 (fails=5331) truncate=746438
df5244[1155]: alive lock/unlock=12348 (fails=5262) truncate=757746
df5244[1159]: alive lock/unlock=13366 (fails=5372) truncate=752157
df5244[1160]: alive lock/unlock=12432 (fails=5299) truncate=742441
df5244[1156]: alive lock/unlock=12475 (fails=5256) truncate=737039
df5244[1161]: alive lock/unlock=12654 (fails=5047) truncate=745295
df5244[1154]: alive lock/unlock=12765 (fails=5349) truncate=751400
df5244[1157]: alive lock/unlock=12879 (fails=5353) truncate=747541
df5244[1158]: alive lock/unlock=13161 (fails=5463) truncate=759406
df5244[1162]: alive lock/unlock=13112 (fails=5519) truncate=753567
df5244[1163]: alive lock/unlock=13849 (fails=5660) truncate=792527
df5244[1155]: alive lock/unlock=13128 (fails=5576) truncate=801321
df5244[1159]: alive lock/unlock=14013 (fails=5664) truncate=795713
df5244[1160]: alive lock/unlock=13135 (fails=5613) truncate=787793
df5244[1156]: alive lock/unlock=13163 (fails=5594) truncate=782777
df5244[1161]: alive lock/unlock=13359 (fails=5380) truncate=789693
df5244[1154]: alive lock/unlock=13630 (fails=5659) truncate=797965
df5244[1157]: alive lock/unlock=13564 (fails=5648) truncate=792897
df5244[1158]: alive lock/unlock=13906 (fails=5761) truncate=802703
df5244[1162]: alive lock/unlock=13918 (fails=5850) truncate=799352
df5244[1163]: alive lock/unlock=14588 (fails=6011) truncate=836484
df5244[1155]: alive lock/unlock=13847 (fails=5938) truncate=846473
df5244[1159]: alive lock/unlock=14904 (fails=6042) truncate=838272
df5244[1160]: alive lock/unlock=13922 (fails=5940) truncate=832143
df5244[1156]: alive lock/unlock=13814 (fails=5939) truncate=827194
df5244[1161]: alive lock/unlock=14122 (fails=5685) truncate=831407
df5244[1154]: alive lock/unlock=14371 (fails=5989) truncate=839759
df5244[1157]: alive lock/unlock=14331 (fails=5996) truncate=837164
df5244[1158]: alive lock/unlock=14587 (fails=6049) truncate=844847
df5244[1162]: alive lock/unlock=14785 (fails=6194) truncate=842764
df5244[1163]: alive lock/unlock=15359 (fails=6279) truncate=881178
df5244[1155]: alive lock/unlock=14562 (fails=6241) truncate=890416
df5244[1159]: alive lock/unlock=15678 (fails=6362) truncate=883933
df5244[1160]: alive lock/unlock=14667 (fails=6253) truncate=875852
df5244[1156]: alive lock/unlock=14535 (fails=6206) truncate=868081
df5244[1161]: alive lock/unlock=14941 (fails=5980) truncate=876756
df5244[1154]: alive lock/unlock=15229 (fails=6297) truncate=884462
df5244[1157]: alive lock/unlock=15182 (fails=6308) truncate=880374
df5244[1158]: alive lock/unlock=15348 (fails=6364) truncate=889584
df5244[1162]: alive lock/unlock=15543 (fails=6479) truncate=889202
df5244[1163]: alive lock/unlock=16091 (fails=6589) truncate=923776
df5244[1155]: alive lock/unlock=15241 (fails=6554) truncate=934024
df5244[1159]: alive lock/unlock=16421 (fails=6700) truncate=928397
df5244[1160]: alive lock/unlock=15352 (fails=6545) truncate=920032
df5244[1156]: alive lock/unlock=15281 (fails=6538) truncate=911819
df5244[1161]: alive lock/unlock=15583 (fails=6279) truncate=919983
df5244[1154]: alive lock/unlock=15866 (fails=6586) truncate=928078
df5244[1157]: alive lock/unlock=15997 (fails=6611) truncate=925267
df5244[1158]: alive lock/unlock=16051 (fails=6654) truncate=933075
df5244[1162]: alive lock/unlock=16232 (fails=6809) truncate=931766
df5244[1163]: alive lock/unlock=16844 (fails=6899) truncate=964872
df5244[1155]: alive lock/unlock=16004 (fails=6867) truncate=978005
df5244[1159]: alive lock/unlock=17071 (fails=7000) truncate=972831
df5244[1160]: alive lock/unlock=16003 (fails=6830) truncate=964466
df5244[1156]: alive lock/unlock=16055 (fails=6851) truncate=955377
df5244[1161]: alive lock/unlock=16421 (fails=6551) truncate=961944
df5244[1154]: alive lock/unlock=16612 (fails=6888) truncate=972341
df5244[1157]: alive lock/unlock=16813 (fails=6908) truncate=969005
df5244[1158]: alive lock/unlock=16751 (fails=6929) truncate=977613
df5244[1162]: alive lock/unlock=16913 (fails=7104) truncate=975458
df5244[1163]: alive lock/unlock=17590 (fails=7244) truncate=1009052
df5244[1155]: alive lock/unlock=16701 (fails=7169) truncate=1024200
df5244[1159]: alive lock/unlock=17932 (fails=7332) truncate=1015920
df5244[1160]: alive lock/unlock=16752 (fails=7148) truncate=1008535
df5244[1161]: alive lock/unlock=17198 (fails=6864) truncate=1011644
df5244[1156]: alive lock/unlock=16826 (fails=7160) truncate=998563
df5244[1154]: alive lock/unlock=17582 (fails=7196) truncate=1013727
df5244[1157]: alive lock/unlock=17591 (fails=7216) truncate=1015129
df5244[1158]: alive lock/unlock=17479 (fails=7243) truncate=1021070