Warning, /testsuites/smptests/smpmutex02/smpmutex02.scn is written in an unsupported language. File is not indexed.
0001 *** BEGIN OF TEST SMPMUTEX 2 ***
0002 worker[0][0]
0003 obtain counter = 51907
0004 deadlock counter = 715
0005 timeout counter = 8988
0006 release counter = 51907
0007 max nest level = 19
0008 worker[0][1]
0009 obtain counter = 41396
0010 deadlock counter = 586
0011 timeout counter = 8969
0012 release counter = 41396
0013 max nest level = 15
0014 worker[0][2]
0015 obtain counter = 34336
0016 deadlock counter = 501
0017 timeout counter = 8830
0018 release counter = 34336
0019 max nest level = 17
0020 worker[0][3]
0021 obtain counter = 28769
0022 deadlock counter = 469
0023 timeout counter = 8489
0024 release counter = 28769
0025 max nest level = 14
0026 worker[1][0]
0027 obtain counter = 53631
0028 deadlock counter = 736
0029 timeout counter = 9088
0030 release counter = 53631
0031 max nest level = 26
0032 worker[1][1]
0033 obtain counter = 41380
0034 deadlock counter = 583
0035 timeout counter = 8970
0036 release counter = 41380
0037 max nest level = 21
0038 worker[1][2]
0039 obtain counter = 33968
0040 deadlock counter = 466
0041 timeout counter = 8863
0042 release counter = 33968
0043 max nest level = 14
0044 worker[1][3]
0045 obtain counter = 28544
0046 deadlock counter = 505
0047 timeout counter = 8626
0048 release counter = 28544
0049 max nest level = 15
0050 worker[2][0]
0051 obtain counter = 52627
0052 deadlock counter = 757
0053 timeout counter = 9017
0054 release counter = 52627
0055 max nest level = 15
0056 worker[2][1]
0057 obtain counter = 41139
0058 deadlock counter = 572
0059 timeout counter = 9019
0060 release counter = 41139
0061 max nest level = 15
0062 worker[2][2]
0063 obtain counter = 33561
0064 deadlock counter = 521
0065 timeout counter = 8836
0066 release counter = 33561
0067 max nest level = 16
0068 worker[2][3]
0069 obtain counter = 28694
0070 deadlock counter = 461
0071 timeout counter = 8539
0072 release counter = 28694
0073 max nest level = 15
0074 worker[3][0]
0075 obtain counter = 52529
0076 deadlock counter = 757
0077 timeout counter = 9048
0078 release counter = 52529
0079 max nest level = 19
0080 worker[3][1]
0081 obtain counter = 42471
0082 deadlock counter = 579
0083 timeout counter = 8974
0084 release counter = 42471
0085 max nest level = 18
0086 worker[3][2]
0087 obtain counter = 34548
0088 deadlock counter = 491
0089 timeout counter = 8825
0090 release counter = 34548
0091 max nest level = 13
0092 worker[3][3]
0093 obtain counter = 29352
0094 deadlock counter = 473
0095 timeout counter = 8544
0096 release counter = 29352
0097 max nest level = 14
0098 worker[4][0]
0099 obtain counter = 53538
0100 deadlock counter = 809
0101 timeout counter = 8992
0102 release counter = 53538
0103 max nest level = 18
0104 worker[4][1]
0105 obtain counter = 41041
0106 deadlock counter = 554
0107 timeout counter = 8968
0108 release counter = 41041
0109 max nest level = 16
0110 worker[4][2]
0111 obtain counter = 33978
0112 deadlock counter = 522
0113 timeout counter = 8869
0114 release counter = 33978
0115 max nest level = 20
0116 worker[4][3]
0117 obtain counter = 28704
0118 deadlock counter = 486
0119 timeout counter = 8491
0120 release counter = 28704
0121 max nest level = 20
0122 worker[5][0]
0123 obtain counter = 52314
0124 deadlock counter = 737
0125 timeout counter = 9038
0126 release counter = 52314
0127 max nest level = 18
0128 worker[5][1]
0129 obtain counter = 41360
0130 deadlock counter = 570
0131 timeout counter = 8998
0132 release counter = 41360
0133 max nest level = 15
0134 worker[5][2]
0135 obtain counter = 34465
0136 deadlock counter = 534
0137 timeout counter = 8864
0138 release counter = 34465
0139 max nest level = 16
0140 worker[5][3]
0141 obtain counter = 29187
0142 deadlock counter = 460
0143 timeout counter = 8542
0144 release counter = 29187
0145 max nest level = 15
0146 worker[6][0]
0147 obtain counter = 52360
0148 deadlock counter = 755
0149 timeout counter = 8995
0150 release counter = 52360
0151 max nest level = 17
0152 worker[6][1]
0153 obtain counter = 41846
0154 deadlock counter = 589
0155 timeout counter = 8992
0156 release counter = 41846
0157 max nest level = 16
0158 worker[6][2]
0159 obtain counter = 33975
0160 deadlock counter = 506
0161 timeout counter = 8839
0162 release counter = 33975
0163 max nest level = 15
0164 worker[6][3]
0165 obtain counter = 29100
0166 deadlock counter = 499
0167 timeout counter = 8545
0168 release counter = 29100
0169 max nest level = 18
0170 worker[7][0]
0171 obtain counter = 52167
0172 deadlock counter = 727
0173 timeout counter = 9017
0174 release counter = 52167
0175 max nest level = 16
0176 worker[7][1]
0177 obtain counter = 41557
0178 deadlock counter = 559
0179 timeout counter = 8952
0180 release counter = 41557
0181 max nest level = 15
0182 worker[7][2]
0183 obtain counter = 34522
0184 deadlock counter = 465
0185 timeout counter = 8897
0186 release counter = 34522
0187 max nest level = 15
0188 worker[7][3]
0189 obtain counter = 29819
0190 deadlock counter = 516
0191 timeout counter = 8527
0192 release counter = 29819
0193 max nest level = 13
0194 worker[8][0]
0195 obtain counter = 52131
0196 deadlock counter = 734
0197 timeout counter = 9063
0198 release counter = 52131
0199 max nest level = 15
0200 worker[8][1]
0201 obtain counter = 41638
0202 deadlock counter = 613
0203 timeout counter = 8941
0204 release counter = 41638
0205 max nest level = 16
0206 worker[8][2]
0207 obtain counter = 34214
0208 deadlock counter = 506
0209 timeout counter = 8928
0210 release counter = 34214
0211 max nest level = 13
0212 worker[8][3]
0213 obtain counter = 28708
0214 deadlock counter = 465
0215 timeout counter = 8580
0216 release counter = 28708
0217 max nest level = 15
0218 worker[9][0]
0219 obtain counter = 52433
0220 deadlock counter = 720
0221 timeout counter = 9072
0222 release counter = 52433
0223 max nest level = 17
0224 worker[9][1]
0225 obtain counter = 41126
0226 deadlock counter = 560
0227 timeout counter = 9021
0228 release counter = 41126
0229 max nest level = 15
0230 worker[9][2]
0231 obtain counter = 34017
0232 deadlock counter = 483
0233 timeout counter = 8838
0234 release counter = 34017
0235 max nest level = 14
0236 worker[9][3]
0237 obtain counter = 29667
0238 deadlock counter = 496
0239 timeout counter = 8514
0240 release counter = 29667
0241 max nest level = 12
0242 worker[10][0]
0243 obtain counter = 53342
0244 deadlock counter = 763
0245 timeout counter = 9004
0246 release counter = 53342
0247 max nest level = 18
0248 worker[10][1]
0249 obtain counter = 41054
0250 deadlock counter = 569
0251 timeout counter = 8972
0252 release counter = 41054
0253 max nest level = 18
0254 worker[10][2]
0255 obtain counter = 34550
0256 deadlock counter = 483
0257 timeout counter = 8856
0258 release counter = 34550
0259 max nest level = 16
0260 worker[10][3]
0261 obtain counter = 28848
0262 deadlock counter = 489
0263 timeout counter = 8561
0264 release counter = 28848
0265 max nest level = 13
0266 worker[11][0]
0267 obtain counter = 52358
0268 deadlock counter = 725
0269 timeout counter = 9047
0270 release counter = 52358
0271 max nest level = 18
0272 worker[11][1]
0273 obtain counter = 41938
0274 deadlock counter = 588
0275 timeout counter = 8968
0276 release counter = 41938
0277 max nest level = 18
0278 worker[11][2]
0279 obtain counter = 33982
0280 deadlock counter = 495
0281 timeout counter = 8849
0282 release counter = 33982
0283 max nest level = 15
0284 worker[11][3]
0285 obtain counter = 28805
0286 deadlock counter = 518
0287 timeout counter = 8543
0288 release counter = 28805
0289 max nest level = 14
0290 worker[12][0]
0291 obtain counter = 52059
0292 deadlock counter = 771
0293 timeout counter = 9046
0294 release counter = 52059
0295 max nest level = 15
0296 worker[12][1]
0297 obtain counter = 41761
0298 deadlock counter = 590
0299 timeout counter = 8970
0300 release counter = 41761
0301 max nest level = 15
0302 worker[12][2]
0303 obtain counter = 34276
0304 deadlock counter = 470
0305 timeout counter = 8869
0306 release counter = 34276
0307 max nest level = 14
0308 worker[12][3]
0309 obtain counter = 28757
0310 deadlock counter = 471
0311 timeout counter = 8561
0312 release counter = 28757
0313 max nest level = 13
0314 worker[13][0]
0315 obtain counter = 52597
0316 deadlock counter = 744
0317 timeout counter = 9084
0318 release counter = 52597
0319 max nest level = 16
0320 worker[13][1]
0321 obtain counter = 41730
0322 deadlock counter = 587
0323 timeout counter = 8941
0324 release counter = 41730
0325 max nest level = 17
0326 worker[13][2]
0327 obtain counter = 33988
0328 deadlock counter = 490
0329 timeout counter = 8880
0330 release counter = 33988
0331 max nest level = 16
0332 worker[13][3]
0333 obtain counter = 29466
0334 deadlock counter = 535
0335 timeout counter = 8506
0336 release counter = 29466
0337 max nest level = 15
0338 worker[14][0]
0339 obtain counter = 52533
0340 deadlock counter = 735
0341 timeout counter = 9061
0342 release counter = 52533
0343 max nest level = 16
0344 worker[14][1]
0345 obtain counter = 41830
0346 deadlock counter = 560
0347 timeout counter = 8972
0348 release counter = 41830
0349 max nest level = 16
0350 worker[14][2]
0351 obtain counter = 34281
0352 deadlock counter = 513
0353 timeout counter = 8854
0354 release counter = 34281
0355 max nest level = 13
0356 worker[14][3]
0357 obtain counter = 28792
0358 deadlock counter = 434
0359 timeout counter = 8518
0360 release counter = 28792
0361 max nest level = 14
0362 worker[15][0]
0363 obtain counter = 52669
0364 deadlock counter = 716
0365 timeout counter = 9009
0366 release counter = 52669
0367 max nest level = 16
0368 worker[15][1]
0369 obtain counter = 42030
0370 deadlock counter = 585
0371 timeout counter = 9043
0372 release counter = 42030
0373 max nest level = 17
0374 worker[15][2]
0375 obtain counter = 34077
0376 deadlock counter = 516
0377 timeout counter = 8869
0378 release counter = 34077
0379 max nest level = 19
0380 worker[15][3]
0381 obtain counter = 29137
0382 deadlock counter = 494
0383 timeout counter = 8615
0384 release counter = 29137
0385 max nest level = 17
0386 worker[16][0]
0387 obtain counter = 51925
0388 deadlock counter = 712
0389 timeout counter = 9080
0390 release counter = 51925
0391 max nest level = 20
0392 worker[16][1]
0393 obtain counter = 40857
0394 deadlock counter = 535
0395 timeout counter = 8959
0396 release counter = 40857
0397 max nest level = 16
0398 worker[16][2]
0399 obtain counter = 34229
0400 deadlock counter = 512
0401 timeout counter = 8872
0402 release counter = 34229
0403 max nest level = 15
0404 worker[16][3]
0405 obtain counter = 28378
0406 deadlock counter = 483
0407 timeout counter = 8583
0408 release counter = 28378
0409 max nest level = 18
0410 worker[17][0]
0411 obtain counter = 52464
0412 deadlock counter = 768
0413 timeout counter = 9065
0414 release counter = 52464
0415 max nest level = 14
0416 worker[17][1]
0417 obtain counter = 41477
0418 deadlock counter = 565
0419 timeout counter = 9044
0420 release counter = 41477
0421 max nest level = 13
0422 worker[17][2]
0423 obtain counter = 34544
0424 deadlock counter = 536
0425 timeout counter = 8834
0426 release counter = 34544
0427 max nest level = 16
0428 worker[17][3]
0429 obtain counter = 28936
0430 deadlock counter = 483
0431 timeout counter = 8571
0432 release counter = 28936
0433 max nest level = 14
0434 worker[18][0]
0435 obtain counter = 52721
0436 deadlock counter = 769
0437 timeout counter = 9014
0438 release counter = 52721
0439 max nest level = 17
0440 worker[18][1]
0441 obtain counter = 42097
0442 deadlock counter = 590
0443 timeout counter = 8999
0444 release counter = 42097
0445 max nest level = 16
0446 worker[18][2]
0447 obtain counter = 34721
0448 deadlock counter = 498
0449 timeout counter = 8862
0450 release counter = 34721
0451 max nest level = 14
0452 worker[18][3]
0453 obtain counter = 29136
0454 deadlock counter = 450
0455 timeout counter = 8548
0456 release counter = 29136
0457 max nest level = 15
0458 worker[19][0]
0459 obtain counter = 52705
0460 deadlock counter = 765
0461 timeout counter = 9060
0462 release counter = 52705
0463 max nest level = 15
0464 worker[19][1]
0465 obtain counter = 41902
0466 deadlock counter = 565
0467 timeout counter = 8978
0468 release counter = 41902
0469 max nest level = 17
0470 worker[19][2]
0471 obtain counter = 34705
0472 deadlock counter = 509
0473 timeout counter = 8823
0474 release counter = 34705
0475 max nest level = 16
0476 worker[19][3]
0477 obtain counter = 28769
0478 deadlock counter = 484
0479 timeout counter = 8571
0480 release counter = 28769
0481 max nest level = 16
0482 worker[20][0]
0483 obtain counter = 52805
0484 deadlock counter = 793
0485 timeout counter = 8996
0486 release counter = 52805
0487 max nest level = 17
0488 worker[20][1]
0489 obtain counter = 42269
0490 deadlock counter = 586
0491 timeout counter = 8929
0492 release counter = 42269
0493 max nest level = 15
0494 worker[20][2]
0495 obtain counter = 34024
0496 deadlock counter = 520
0497 timeout counter = 8856
0498 release counter = 34024
0499 max nest level = 13
0500 worker[20][3]
0501 obtain counter = 29271
0502 deadlock counter = 461
0503 timeout counter = 8472
0504 release counter = 29271
0505 max nest level = 13
0506 worker[21][0]
0507 obtain counter = 52960
0508 deadlock counter = 735
0509 timeout counter = 9046
0510 release counter = 52960
0511 max nest level = 18
0512 worker[21][1]
0513 obtain counter = 41663
0514 deadlock counter = 566
0515 timeout counter = 9069
0516 release counter = 41663
0517 max nest level = 15
0518 worker[21][2]
0519 obtain counter = 33648
0520 deadlock counter = 485
0521 timeout counter = 8902
0522 release counter = 33648
0523 max nest level = 17
0524 worker[21][3]
0525 obtain counter = 29317
0526 deadlock counter = 468
0527 timeout counter = 8622
0528 release counter = 29317
0529 max nest level = 15
0530 worker[22][0]
0531 obtain counter = 52242
0532 deadlock counter = 749
0533 timeout counter = 9052
0534 release counter = 52242
0535 max nest level = 15
0536 worker[22][1]
0537 obtain counter = 41871
0538 deadlock counter = 592
0539 timeout counter = 8986
0540 release counter = 41871
0541 max nest level = 16
0542 worker[22][2]
0543 obtain counter = 33978
0544 deadlock counter = 490
0545 timeout counter = 8843
0546 release counter = 33978
0547 max nest level = 13
0548 worker[22][3]
0549 obtain counter = 28944
0550 deadlock counter = 465
0551 timeout counter = 8559
0552 release counter = 28944
0553 max nest level = 15
0554 worker[23][0]
0555 obtain counter = 52578
0556 deadlock counter = 737
0557 timeout counter = 8993
0558 release counter = 52578
0559 max nest level = 16
0560 worker[23][1]
0561 obtain counter = 42033
0562 deadlock counter = 585
0563 timeout counter = 8968
0564 release counter = 42033
0565 max nest level = 17
0566 worker[23][2]
0567 obtain counter = 34715
0568 deadlock counter = 579
0569 timeout counter = 8783
0570 release counter = 34715
0571 max nest level = 14
0572 worker[23][3]
0573 obtain counter = 29175
0574 deadlock counter = 493
0575 timeout counter = 8591
0576 release counter = 29175
0577 max nest level = 17
0578 *** END OF TEST SMPMUTEX 2 ***
