1loops 4
2many 30 level 10 total_locks: 310
3init level 0
4init level 1
5init level 2
6init level 3
7init level 4
8init level 5
9init level 6
10init level 7
11init level 8
12init level 9
13locking level 0
14locking level 1
15locking level 2
16locking level 3
17locking level 4
18locking level 5
19locking level 6
20locking level 7
21locking level 8
22locking level 9
23unlocking level 0
24unlocking level 1
25unlocking level 2
26unlocking level 3
27unlocking level 4
28unlocking level 5
29unlocking level 6
30unlocking level 7
31unlocking level 8
32unlocking level 9
33deleting level 0
34deleting level 1
35deleting level 2
36deleting level 3
37deleting level 4
38deleting level 5
39deleting level 6
40deleting level 7
41deleting level 8
42deleting level 9
43many 30 level 10 total_locks: 310
44init level 0
45init level 1
46init level 2
47init level 3
48init level 4
49init level 5
50init level 6
51init level 7
52init level 8
53init level 9
54locking level 0
55locking level 1
56locking level 2
57locking level 3
58locking level 4
59locking level 5
60locking level 6
61locking level 7
62locking level 8
63locking level 9
64unlocking level 0
65unlocking level 1
66unlocking level 2
67unlocking level 3
68unlocking level 4
69unlocking level 5
70unlocking level 6
71unlocking level 7
72unlocking level 8
73unlocking level 9
74deleting level 0
75deleting level 1
76deleting level 2
77deleting level 3
78deleting level 4
79deleting level 5
80deleting level 6
81deleting level 7
82deleting level 8
83deleting level 9
84many 30 level 10 total_locks: 310
85init level 0
86init level 1
87init level 2
88init level 3
89init level 4
90init level 5
91init level 6
92init level 7
93init level 8
94init level 9
95locking level 0
96locking level 1
97locking level 2
98locking level 3
99locking level 4
100locking level 5
101locking level 6
102locking level 7
103locking level 8
104locking level 9
105unlocking level 0
106unlocking level 1
107unlocking level 2
108unlocking level 3
109unlocking level 4
110unlocking level 5
111unlocking level 6
112unlocking level 7
113unlocking level 8
114unlocking level 9
115deleting level 0
116deleting level 1
117deleting level 2
118deleting level 3
119deleting level 4
120deleting level 5
121deleting level 6
122deleting level 7
123deleting level 8
124deleting level 9
125many 30 level 10 total_locks: 310
126init level 0
127init level 1
128init level 2
129init level 3
130init level 4
131init level 5
132init level 6
133init level 7
134init level 8
135init level 9
136locking level 0
137locking level 1
138locking level 2
139locking level 3
140locking level 4
141locking level 5
142locking level 6
143locking level 7
144locking level 8
145locking level 9
146unlocking level 0
147unlocking level 1
148unlocking level 2
149unlocking level 3
150unlocking level 4
151unlocking level 5
152unlocking level 6
153unlocking level 7
154unlocking level 8
155unlocking level 9
156deleting level 0
157deleting level 1
158deleting level 2
159deleting level 3
160deleting level 4
161deleting level 5
162deleting level 6
163deleting level 7
164deleting level 8
165deleting level 9
166stats: init 1240 lock 1240 unlock 1240 destroy 1240
167