test mount ctx = 0xfffff80117b51ee0
debug.df2832_target: 9223372036854775807 -> 9223372036854775807
--- iteration 0 ---
[1] 3345
[1] 3349
[1] 3353
[1] 3357
[1] 3361
[1] 3365
[1] 3372
[1] 3376
[1] 3380
[1] 3389
[1] 3393
[1] 3397
[1] 3401
[1] 3405
[1] 3409
[1] 3416
[1] 3420
[1] 3424
[1] 3434
[1] 3438
[1] 3442
[1] 3446
[1]    Exit 1                        /tmp/df2832/churn_open /mnt/t 600 >& /dev/null
[1] 3450
[1] 3454
[1] 3461
[1] 3465
[1] 3469
dmesg: sysctl kern.msgbuf: Cannot allocate memory
[1] 3488
[1] 3492
[1] 3496
[1] 3500
[1] 3504
[1] 3519
[1] 3526
[1] 3530
[1] 3534
[1] 3543
[1] 3547
[1] 3551
[1] 3555
[1] 3559
[1] 3563
[1] 3570
[1] 3574
[1] 3578
[1] 3587
[1] 3591
[1] 3595
[1] 3599
[1] 3603
[1] 3607
[1] 3614
[1] 3618
[1] 3622
[1] 3631
[1] 3635
[1] 3639
[1] 3643
[1] 3647
[1] 3651
[1] 3658
[1] 3662
[1] 3666
[1] 3675
[1] 3679
[1] 3683
[1] 3687
[1] 3691
[1] 3695
[1] 3702
[1] 3706
[1] 3710
[1] 3719
[1] 3723
[1] 3727
[1] 3731
[1] 3735
[1] 3739
[1] 3746
[1] 3750
--- iteration 1 ---
[1] 3756
[1] 3777
[1] 3781
[1] 3785
[1] 3789
[1] 3793
[1] 3797
[1] 3804
[1] 3808
[1] 3812
[1] 3831
[1] 3835
[1] 3839
[1] 3843
[1] 3847
[1] 3851
[1] 3858
[1] 3862
[1] 3866
[1] 3875
[1] 3879
[1] 3883
[1] 3887
[1] 3891
[1] 3895
[1] 3902
[1] 3906
[1] 3910
[1] 3919
[1] 3923
[1] 3927
[1] 3931
[1] 3935
[1] 3939
[1] 3946
[1] 3950
[1] 3954
[1] 3963
[1] 3967
[1] 3971
[1] 3975
[1] 3979
[1] 3983
[1] 3990
[1] 3994
[1] 3998
[1] 4007
[1] 4011
[1] 4015
[1] 4019
[1] 4034
[1] 4038
[1] 4045
[1] 4049
[1] 4053
--- iteration 2 ---
[1] 4065
[1] 4069
[1] 4073
[1] 4077
[1] 4081
[1] 4085
[1] 4092
[1] 4096
[1] 4100
[1] 4109
[1] 4113
[1] 4119
[1] 4123
[1] 4127
[1] 4137
[1] 4146
[1] 4150
[1] 4154
[1] 4163
[1] 4167
[1] 4171
[1] 4175
[1] 4179
[1] 4183
[1] 4190
[1] 4194
[1] 4198
[1] 4207
[1] 4211
[1] 4215
[1] 4219
[1] 4223
[1] 4227
[1] 4234
[1] 4238
[1] 4242
[1] 4251
[1] 4255
[1] 4259
[1] 4263
[1] 4267
[1] 4271
[1] 4278
[1] 4293
[1] 4297
[1] 4306
[1] 4310
[1] 4314
[1] 4318
[1] 4322
[1] 4326
[1] 4333
[1] 4337
[1] 4341
[1] 4350
[1] 4354
[1] 4358
[1] 4362
[1] 4366
[1] 4370
[1] 4377
[1] 4381
[1] 4385
--- iteration 3 ---
[1] 4397
[1] 4401
[1] 4405
[1] 4409
[1] 4413
[1] 4417
[1] 4424
[1] 4428
[1] 4432
[1] 4451
[1] 4455
[1] 4459
[1] 4463
[1] 4467
[1] 4471
[1] 4478
[1] 4482
[1] 4486
[1] 4495
[1] 4499
[1] 4503
[1] 4507
[1] 4511
[1] 4515
[1] 4522
[1] 4526
[1] 4530
[1] 4550
[1] 4554
[1] 4558
[1] 4562
[1] 4566
[1] 4570
[1] 4577
[1] 4581
[1] 4585
[1] 4594
[1] 4598
[1] 4602
[1] 4606
[1]    Exit 1                        /tmp/df2832/churn_open /mnt/t 600 >& /dev/null
[1] 4610
[1] 4614
[1] 4621
[1] 4625
[1] 4629
[1] 4638
[1] 4642
[1] 4646
[1] 4650
[1] 4654
[1] 4658
[1] 4665
[1] 4669
[1] 4673
--- iteration 4 ---
[1] 4685
[1] 4689
[1] 4693
[1] 4697
[1] 4701
[1] 4705
[1] 4712
[1] 4716
[1] 4720
[1] 4739
[1] 4743
[1] 4747
[1] 4751
[1] 4755
[1] 4759
[1] 4766
[1] 4770
[1] 4774
[1] 4783
[1] 4787
[1] 4791
[1] 4806
[1] 4810
[1] 4814
[1] 4821
[1] 4825
[1] 4829
[1] 4838
[1] 4842
[1] 4846
[1] 4850
[1] 4854
[1] 4858
[1] 4865
[1] 4869
[1] 4873
[1] 4882
[1] 4886
[1] 4890
[1] 4894
[1] 4898
[1] 4902
[1] 4909
[1] 4913
[1] 4917
[1] 4926
[1] 4930
[1] 4934
[1] 4938
[1] 4942
[1] 4946
[1] 4953
[1] 4957
[1] 4961
[1] 4970
[1] 4974
[1] 4978
[1] 4982
--- iteration 5 ---
[1] 4986
[1] 4992
[1] 4999
[1] 5003
[1] 5007
[1] 5017
[1] 5021
[1] 5025
[1] 5029
[1] 5033
[1] 5037
[1] 5044
[1] 5048
[1] 5063
[1] 5082
[1] 5086
[1] 5090
[1] 5094
[1] 5098
[1] 5102
[1] 5109
[1] 5113
[1] 5117
[1] 5126
[1] 5130
[1] 5134
[1] 5138
[1] 5142
[1] 5146
[1] 5153
[1] 5157
[1] 5161
[1] 5170
[1] 5174
[1] 5178
[1] 5182
[1] 5186
[1] 5190
[1] 5197
[1] 5201
[1] 5205
[1] 5214
[1] 5218
[1] 5222
[1] 5226
[1] 5230
[1] 5234
[1] 5241
[1] 5245
[1] 5249
[1] 5258
[1] 5262
[1] 5266
[1] 5270
[1] 5274
[1] 5278
[1] 5285
[1] 5289
[1] 5293
--- iteration 6 ---
[1] 5305
[1] 5309
[1] 5324
[1] 5328
[1] 5332
[1] 5336
[1] 5343
[1] 5347
[1] 5351
[1] 5362
[1] 5366
[1] 5370
[1] 5374
[1] 5378
[1] 5388
[1] 5395
[1] 5401
[1] 5405
[1] 5414
[1] 5418
[1] 5422
[1] 5426
[1] 5430
[1] 5434
[1] 5441
[1] 5445
[1] 5449
[1] 5458
[1] 5462
[1] 5466
[1] 5470
[1] 5474
[1] 5478
[1] 5485
[1] 5489
[1] 5493
[1] 5502
[1] 5506
[1] 5510
[1]    Exit 1                        /tmp/df2832/churn_open /mnt/t 600 >& /dev/null
[1] 5514
[1] 5518
[1] 5522
[1] 5529
[1] 5533
[1] 5537
[1] 5546
[1] 5550
[1]    Exit 1                        /tmp/df2832/churn_open /mnt/t 600 >& /dev/null
[1] 5554
[1] 5558
[1] 5562
[1] 5566
[1] 5584
[1] 5588
[1] 5592
[1] 5601
[1] 5605
[1] 5609
[1] 5613
[1] 5617
[1] 5621
[1] 5628
[1] 5632
[1] 5636
--- iteration 7 ---
[1] 5648
[1] 5652
[1] 5656
[1] 5660
[1]    Exit 1                        /tmp/df2832/churn_open /mnt/t 600 >& /dev/null
[1] 5664
[1] 5668
[1] 5675
[1] 5679
[1] 5683
[1] 5702
[1] 5706
[1] 5710
[1] 5714
[1] 5718
[1] 5722
[1] 5729
[1] 5733
[1] 5737
[1] 5746
[1] 5750
[1] 5754
[1] 5758
[1] 5762
[1] 5766
[1] 5773
[1] 5777
[1] 5781
[1] 5790
[1] 5794
[1] 5798
[1] 5802
[1] 5806
[1] 5810
[1] 5817
[1] 5821
[1] 5836
[1] 5845
[1] 5849
[1] 5853
[1] 5857
[1] 5861
[1] 5865
[1] 5872
[1] 5876
[1] 5880
[1] 5889
[1] 5893
[1]    Exit 1                        /tmp/df2832/churn_open /mnt/t 600 >& /dev/null
[1] 5897
[1] 5901
[1] 5905
[1] 5909
[1] 5916
[1] 5920
[1] 5924
--- iteration 8 ---
[1] 5935
[1] 5939
[1] 5944
[1] 5948
[1] 5952
[1] 5956
[1] 5963
[1] 5967
[1] 5971
[1] 5980
[1] 5984
[1] 5988
[1] 5992
[1] 5998
dmesg: sysctl kern.msgbuf: Cannot allocate memory
[1] 6009
[1] 6017
[1] 6021
[1] 6025
[1] 6034
[1] 6038
[1] 6042
[1] 6046
[1] 6050
[1] 6054
[1] 6061
[1] 6065
[1] 6069
[1] 6078
[1] 6082
[1] 6097
[1] 6101
[1] 6105
[1] 6109
[1] 6116
[1] 6120
[1] 6124
[1] 6133
[1] 6137
[1] 6141
[1] 6145
[1] 6149
[1] 6153
[1] 6160
[1] 6164
[1] 6168
[1] 6177
[1] 6181
[1] 6185
[1] 6189
[1] 6193
[1] 6197
[1] 6204
[1] 6208
[1] 6212
[1] 6221
[1] 6225
[1] 6229
[1] 6233
[1] 6237
[1] 6241
[1] 6248
[1] 6252
[1] 6256
--- iteration 9 ---
[1] 6268
[1] 6272
[1] 6276
[1] 6280
[1] 6284
[1] 6288
[1] 6295
[1] 6299
[1] 6303
[1] 6322
[1] 6326
[1] 6330
[1] 6334
[1] 6338
[1] 6353
[1] 6360
[1] 6364
[1] 6368
[1] 6377
[1] 6381
[1] 6385
[1] 6389
[1] 6393
[1] 6397
[1] 6404
[1] 6408
[1] 6412
[1] 6421
[1] 6425
[1] 6429
[1] 6433
[1] 6437
[1] 6441
[1] 6448
[1] 6452
[1] 6456
[1] 6465
[1] 6469
[1] 6473
[1] 6477
[1] 6481
[1] 6485
[1] 6492
[1] 6496
[1] 6500
[1] 6509
[1] 6513
[1] 6517
[1] 6521
[1] 6525
[1] 6529
[1] 6536
[1] 6540
[1] 6544
[1] 6553
[1] 6557
[1] 6563
=== counters ===
debug.df2832_starts: 4
debug.df2832_hits: 0
=== DF2832 lines ===
DF2832: thr_stop FREE ctx=0xfffff80117b51ee0 mp=0xfffff8008dcd9800
DF2832: CREATE ctx=0xfffff80117b51ee0 mp=0xfffff8008dcd9800
DF2832: thr_stop FREE ctx=0xfffff80117b51ee0 mp=0xfffff8008dcd9800
DF2832: CREATE ctx=0xfffff80117b51ee0 mp=0xfffff8008dcd9800
DF2832: thr_stop FREE ctx=0xfffff80117b51ee0 mp=0xfffff8008dcd9800
DF2832: CREATE ctx=0xfffff80117b51ee0 mp=0xfffff8008dcd9800
DF2832: thr_stop FREE ctx=0xfffff80117b51ee0 mp=0xfffff8008dcd9800
DF2832: CREATE ctx=0xfffff80117b51ee0 mp=0xfffff8008dcd9800
DF2832: thr_stop FREE ctx=0xfffff80117b51ee0 mp=0xfffff8008dcd9800
DF2832: CREATE ctx=0xfffff80117b51ee0 mp=0xfffff8008dcd9800
DF2832: thr_stop FREE ctx=0xfffff80117b51ee0 mp=0xfffff8008dcd9800
DF2832: CREATE ctx=0xfffff8004f1ae0a0 mp=0xfffff8008db3d800
DF2832: thr_stop FREE ctx=0xfffff8004f1ae0a0 mp=0xfffff8008db3d800
DF2832: CREATE ctx=0xfffff8011752e9a0 mp=0xfffff8008fa6b000
DF2832: thr_stop FREE ctx=0xfffff8011752e9a0 mp=0xfffff8008fa6b000
DF2832: CREATE ctx=0xfffff8011752e9a0 mp=0xfffff8008fa6b000
DF2832: thr_stop FREE ctx=0xfffff8011752e9a0 mp=0xfffff8008fa6b000
DF2832: CREATE ctx=0xfffff8011752e9a0 mp=0xfffff8008fa6b000
DF2832: thr_stop FREE ctx=0xfffff8011752e9a0 mp=0xfffff8008fa6b000
DF2832: CREATE ctx=0xfffff8011752e9a0 mp=0xfffff8008fa6b000
DF2832: thr_stop FREE ctx=0xfffff8011752e9a0 mp=0xfffff8008fa6b000
DF2832: CREATE ctx=0xfffff8011752e9a0 mp=0xfffff8008fa6b000
DF2832: thr_stop FREE ctx=0xfffff8011752e9a0 mp=0xfffff8008fa6b000
DF2832: CREATE ctx=0xfffff8011752e9a0 mp=0xfffff8008fa6b000
DF2832: thr_stop FREE ctx=0xfffff8011752e9a0 mp=0xfffff8008fa6b000
DF2832: CREATE ctx=0xfffff8011752e9a0 mp=0xfffff8008fa6b000
DF2832: thr_stop FREE ctx=0xfffff8011752e9a0 mp=0xfffff8008fa6b000
DF2832: CREATE ctx=0xfffff8011752e9a0 mp=0xfffff8008fa6b000
DF2832: thr_stop FREE ctx=0xfffff8011752e9a0 mp=0xfffff8008fa6b000
DF2832: CREATE ctx=0xfffff8011752e9a0 mp=0xfffff8008fa6b000
race_witness2: done