loops 4
many 30 level 10 total_locks: 310
init level 0
init level 1
init level 2
init level 3
init level 4
init level 5
init level 6
init level 7
init level 8
init level 9
locking level 0
locking level 1
locking level 2
locking level 3
locking level 4
locking level 5
locking level 6
locking level 7
locking level 8
locking level 9
unlocking level 0
unlocking level 1
unlocking level 2
unlocking level 3
unlocking level 4
unlocking level 5
unlocking level 6
unlocking level 7
unlocking level 8
unlocking level 9
deleting level 0
deleting level 1
deleting level 2
deleting level 3
deleting level 4
deleting level 5
deleting level 6
deleting level 7
deleting level 8
deleting level 9
many 30 level 10 total_locks: 310
init level 0
init level 1
init level 2
init level 3
init level 4
init level 5
init level 6
init level 7
init level 8
init level 9
locking level 0
locking level 1
locking level 2
locking level 3
locking level 4
locking level 5
locking level 6
locking level 7
locking level 8
locking level 9
unlocking level 0
unlocking level 1
unlocking level 2
unlocking level 3
unlocking level 4
unlocking level 5
unlocking level 6
unlocking level 7
unlocking level 8
unlocking level 9
deleting level 0
deleting level 1
deleting level 2
deleting level 3
deleting level 4
deleting level 5
deleting level 6
deleting level 7
deleting level 8
deleting level 9
many 30 level 10 total_locks: 310
init level 0
init level 1
init level 2
init level 3
init level 4
init level 5
init level 6
init level 7
init level 8
init level 9
locking level 0
locking level 1
locking level 2
locking level 3
locking level 4
locking level 5
locking level 6
locking level 7
locking level 8
locking level 9
unlocking level 0
unlocking level 1
unlocking level 2
unlocking level 3
unlocking level 4
unlocking level 5
unlocking level 6
unlocking level 7
unlocking level 8
unlocking level 9
deleting level 0
deleting level 1
deleting level 2
deleting level 3
deleting level 4
deleting level 5
deleting level 6
deleting level 7
deleting level 8
deleting level 9
many 30 level 10 total_locks: 310
init level 0
init level 1
init level 2
init level 3
init level 4
init level 5
init level 6
init level 7
init level 8
init level 9
locking level 0
locking level 1
locking level 2
locking level 3
locking level 4
locking level 5
locking level 6
locking level 7
locking level 8
locking level 9
unlocking level 0
unlocking level 1
unlocking level 2
unlocking level 3
unlocking level 4
unlocking level 5
unlocking level 6
unlocking level 7
unlocking level 8
unlocking level 9
deleting level 0
deleting level 1
deleting level 2
deleting level 3
deleting level 4
deleting level 5
deleting level 6
deleting level 7
deleting level 8
deleting level 9
stats: init 1240 lock 1240 unlock 1240 destroy 1240
