0 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566162731989000
57 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566162791772000
79 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566162813602000
79 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566162813796000
142 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566162876115000
143 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566162877602000
143 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566162877698000
145 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566162879182000
154 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566162888108000
154 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566162888246000
163 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566162897055000
169 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566162902980000
169 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566162903105000
173 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566162907557000
188 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566162922720000
188 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566162922837000
190 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566162924266000
193 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566162927238000
193 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566162927352000
195 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566162929148000
198 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566162932875000
199 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566162932989000
203 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566162937149000
206 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566162940884000
207 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566162940997000
209 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566162943160000
212 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566162946568000
212 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566162946699000
214 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566162948396000
219 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566162953210000
219 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566162953347000
220 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566162954777000
222 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566162956819000
222 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566162956923000
224 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566162958266000
228 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566162962416000
228 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566162962534000
231 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566162965696000
233 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566162967163000
233 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566162967250000
234 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566162968598000
236 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566162970563000
236 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566162970756000
239 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566162973211000
244 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566162978161000
244 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566162978282000
247 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566162981123000
248 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566162982531000
248 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566162982613000
249 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566162983905000
252 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566162985996000
252 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566162986105000
256 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566162990472000
267 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566163001372000
267 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566163001507000
270 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566163004358000
272 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566163006562000
272 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566163006675000
274 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566163008096000
277 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566163011865000
277 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566163011984000
280 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566163014182000
285 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566163019427000
285 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566163019547000
286 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566163020981000
292 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566163026813000
292 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566163026936000
295 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566163029886000
299 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566163033635000
299 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566163033767000
301 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566163035210000
302 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566163036372000
302 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566163036451000
308 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566163042692000
312 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566163046930000
313 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566163047048000
314 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566163048750000
316 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566163050016000
316 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566163050100000
319 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566163052791000
321 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566163055548000
321 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566163055670000
323 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566163057108000
324 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566163058290000
324 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566163058432000
326 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566163060262000
329 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566163063708000
329 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566163063821000
332 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566163066124000
333 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566163067920000
334 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566163068020000
337 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566163071699000
340 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566163074368000
340 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566163074472000
341 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566163075878000
344 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566163078273000
344 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566163078390000
345 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566163079833000
354 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566163088500000
354 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566163088636000
357 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566163091434000
361 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566163095735000
362 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566163096480000
365 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566163099901000
369 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566163103191000
369 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566163103310000
372 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566163106052000
374 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566163108553000
374 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566163108677000
376 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566163110473000
379 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566163113146000
379 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566163113246000
383 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566163117047000
384 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566163118729000
384 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566163118823000
388 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566163122297000
389 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566163123608000
390 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566163124694000
392 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566163126435000
393 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566163127706000
393 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566163127780000
396 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566163130629000
397 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566163131946000
398 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566163132027000
399 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566163133296000
403 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566163137147000
403 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566163137324000
404 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566163138723000
407 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566163141446000
407 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566163141568000
408 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566163142972000
411 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566163145748000
411 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566163145847000
415 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566163149277000
417 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566163151446000
417 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566163151548000
420 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566163154968000
422 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566163156323000
422 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566163156401000
424 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566163158605000
425 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566163159980000
426 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566163160069000
428 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566163162746000
430 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566163164183000
430 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566163164264000
433 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566163167469000
436 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566163170384000
436 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566163170486000
437 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566163171881000
442 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566163176370000
442 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566163176485000
445 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566163179599000
447 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566163181190000
447 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566163181272000
450 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566163184326000
453 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566163187506000
453 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566163187623000
455 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566163189000000
456 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566163190503000
456 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566163190582000
457 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566163191843000
463 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566163197418000
463 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566163197540000
464 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566163198974000
466 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566163200531000
466 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566163200613000
470 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566163204154000
472 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566163206454000
472 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566163206619000
475 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566163209372000
478 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566163212200000
478 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566163212303000
479 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566163213666000
481 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566163215083000
481 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566163215162000
491 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566163225220000
492 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566163226888000
492 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566163226977000
495 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566163229288000
498 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566163232730000
498 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566163232846000
500 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566163234248000
501 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566163235954000
502 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566163236036000
504 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566163238570000
506 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566163240408000
506 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566163240496000
507 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566163241811000
510 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566163244730000
510 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566163244833000
512 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566163246156000
513 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566163247656000
513 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566163247729000
516 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566163250296000
518 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566163252048000
518 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566163252135000
519 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566163253445000
522 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566163256924000
523 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566163257046000
524 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566163258446000
527 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566163261597000
527 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566163261730000
529 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566163263131000
530 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566163264788000
530 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566163264873000
534 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566163268850000
536 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566163270566000
536 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566163270666000
539 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566163273360000
542 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566163276295000
542 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566163276459000
543 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566163277891000
545 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566163279515000
545 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566163279597000
550 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566163284166000
552 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566163286141000
552 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566163286233000
554 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566163288087000
557 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566163291769000
557 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566163291888000
559 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566163293306000
562 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566163296263000
562 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566163296377000
564 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566163298665000
566 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566163300427000
566 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566163300511000
570 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566163304201000
572 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566163306189000
572 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566163306281000
573 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566163307676000
576 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566163310566000
576 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566163310688000
578 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566163312093000
581 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566163315133000
581 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566163315243000
583 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566163317646000
587 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566163321136000
587 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566163321269000
588 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566163322772000
590 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566163324827000
590 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566163324914000
593 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566163327525000
595 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566163329750000
595 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566163329845000
597 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566163331265000
600 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566163334505000
600 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566163334634000
603 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566163337468000
606 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566163340654000
606 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566163340768000
610 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566163344014000
613 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566163347916000
614 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566163348092000
615 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566163349598000
617 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566163351483000
617 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566163351572000
620 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566163354221000
647 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566163381337000
647 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566163381458000
651 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566163385882000
654 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566163388272000
654 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566163388369000
655 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566163389837000
659 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566163393193000
659 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566163393302000
661 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566163395918000
665 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566163399428000
665 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566163399541000
667 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566163401550000
670 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566163404863000
670 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566163404980000
672 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566163406545000
676 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566163410081000
676 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566163410210000
677 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566163411743000
679 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566163413836000
679 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566163413927000
682 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566163416629000
684 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566163418575000
684 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566163418677000
688 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566163422452000
690 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566163424818000
690 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566163424922000
692 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566163426429000
695 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566163429511000
695 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566163429633000
697 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566163431150000
700 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566163434499000
700 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566163434621000
702 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566163436140000
705 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566163439396000
705 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: init: 1110566163439511000
707 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: pattern matching: 1110566163441069000
710 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - newRule: update: 1110566163444717000
710 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - mountRule: init: 1110566163444892000
712 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - mountRule: pattern matching: 1110566163446039000
715 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - mountRule: update: 1110566163449486000
715 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566163449643000
723 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566163457111000
724 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566163458752000
726 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566163460198000
733 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566163467230000
736 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566163470274000
736 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566163470403000
742 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566163476306000
745 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566163479445000
745 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566163479574000
753 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566163487811000
757 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566163491016000
757 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566163491160000
763 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566163497496000
765 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566163499208000
765 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566163499317000
774 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566163508031000
775 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566163509761000
775 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566163509874000
781 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566163515935000
785 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566163519029000
785 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566163519158000
792 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566163526348000
795 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566163529468000
795 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566163529614000
802 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566163536697000
805 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566163539707000
805 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566163539843000
814 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566163548235000
815 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566163549925000
816 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566163550030000
825 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566163559047000
826 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566163560717000
826 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566163560826000
838 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566163572565000
840 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566163574257000
840 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566163574369000
860 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566163594120000
862 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566163596009000
862 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566163596132000
871 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566163605402000
873 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566163607082000
873 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566163607196000
879 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566163613335000
882 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566163616390000
882 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566163616527000
895 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566163629870000
897 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566163631554000
897 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566163631683000
905 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566163639249000
906 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566163640944000
907 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566163641059000
915 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566163649767000
917 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566163651484000
917 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566163651616000
936 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566163670842000
940 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566163674175000
940 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566163674310000
948 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566163682073000
949 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566163683804000
949 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566163683920000
965 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566163699690000
967 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566163701485000
967 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566163701615000
980 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566163714782000
982 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566163716489000
982 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566163716621000
991 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566163725273000
993 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566163726996000
993 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566163727115000
1006 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566163740797000
1076 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566163810050000
1078 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566163812833000
1089 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566163822984000
1093 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566163827087000
1093 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566163827233000
1099 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566163833599000
1102 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566163836756000
1103 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566163837598000
1111 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566163845605000
1113 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566163847332000
1113 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566163847449000
1122 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566163856358000
1124 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566163858158000
1124 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566163858279000
1136 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566163870942000
1138 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566163872709000
1138 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566163872827000
1149 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566163883823000
1151 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566163885672000
1151 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566163885795000
1174 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566163908304000
1176 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566163910071000
1176 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566163910190000
1184 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566163918095000
1185 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566163919866000
1185 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566163919983000
1195 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566163929165000
1197 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566163931019000
1197 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566163931141000
1205 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566163939463000
1208 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566163942935000
1209 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566163943100000
1223 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566163957358000
1226 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566163960554000
1226 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566163960693000
1236 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566163970448000
1238 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566163972284000
1238 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566163972408000
1246 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566163980378000
1248 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566163982186000
1248 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566163982308000
1268 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566164002900000
1270 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566164004741000
1270 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566164004869000
1278 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566164012726000
1281 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566164015198000
1281 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566164015343000
1290 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566164024150000
1293 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566164027253000
1293 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566164027403000
1309 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566164043872000
1311 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566164045773000
1311 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566164045902000
1328 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566164062436000
1330 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566164064285000
1330 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566164064413000
1338 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566164072264000
1341 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566164075593000
1341 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566164075744000
1356 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566164090351000
1358 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566164092217000
1358 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566164092347000
1372 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566164106864000
1375 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566164109896000
1376 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566164110043000
1383 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566164117908000
1385 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566164119765000
1385 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566164119893000
1395 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566164129279000
1398 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566164132425000
1398 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566164132591000
1417 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566164151282000
1419 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566164153557000
1419 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566164153696000
1427 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566164161975000
1431 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566164165232000
1431 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566164165386000
1448 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566164182925000
1452 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566164186338000
1452 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566164186594000
1460 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566164194301000
1463 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566164197312000
1464 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566164198119000
1473 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566164207847000
1477 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566164211186000
1477 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566164211355000
1497 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566164231153000
1500 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566164234309000
1500 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566164234480000
1508 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566164242375000
1510 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566164244277000
1510 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566164244413000
1530 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566164264737000
1534 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566164268096000
1534 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566164268258000
1541 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566164275219000
1544 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566164278326000
1544 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566164278652000
1649 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566164383705000
1651 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566164385673000
1651 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566164385811000
1682 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566164416135000
1689 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566164423304000
1689 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566164423565000
1698 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566164432670000
1702 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566164436008000
1702 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566164436175000
1710 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566164444127000
1712 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566164446074000
1712 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566164446217000
1734 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566164468167000
1737 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566164471097000
1737 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566164471256000
1745 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566164479367000
1748 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566164482597000
1748 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566164482763000
1774 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566164508225000
1776 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566164510165000
1776 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566164510307000
1784 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566164518946000
1788 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566164522022000
1788 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566164522185000
1804 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566164537990000
1807 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566164541160000
1807 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566164541327000
1846 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566164580071000
1848 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566164582111000
1848 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566164582257000
1856 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566164590813000
1859 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566164593923000
1860 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566164594088000
1887 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566164621541000
1891 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566164625435000
1892 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566164626363000
1920 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566164653991000
1923 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566164657337000
1923 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566164657520000
1937 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566164671170000
1940 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566164674260000
1940 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566164674437000
1983 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566164717488000
1986 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566164720809000
1986 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566164720977000
2038 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566164772164000
2041 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566164775674000
2041 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566164775847000
2061 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566164794991000
2064 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566164798200000
2064 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566164798373000
2085 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566164819412000
2087 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566164821426000
2087 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566164821577000
2121 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566164855906000
2125 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566164859312000
2125 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566164859497000
2152 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566164886949000
2156 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566164890151000
2156 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566164890322000
2184 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566164918519000
2186 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566164920540000
2186 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566164920690000
2345 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566165079076000
2348 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566165082317000
2348 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566165082508000
2374 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566165108427000
2377 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566165111756000
2378 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566165112006000
2388 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566165122531000
2392 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566165126022000
2392 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566165126200000
2484 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566165218536000
2487 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566165221897000
2488 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566165222075000
2570 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566165304498000
2573 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566165307936000
2574 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566165308115000
2673 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566165407676000
2677 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566165411001000
2677 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566165411180000
2693 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566165427359000
2696 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566165430790000
2696 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566165430967000
2725 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566165459790000
2729 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566165463278000
2729 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566165463474000
2745 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566165479574000
2748 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566165482253000
2748 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566165482462000
2834 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566165568856000
2838 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566165572173000
2838 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566165572365000
2968 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566165702752000
2971 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566165705970000
2972 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566165706151000
3112 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566165846664000
3116 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566165850717000
3116 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566165850905000
3147 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566165881180000
3150 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566165884391000
3150 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566165884572000
3175 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566165909324000
3178 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566165912775000
3178 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566165912959000
3216 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566165950515000
3219 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566165953842000
3220 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566165954029000
3268 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566166002825000
3272 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566166006121000
3272 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566166006315000
3453 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566166187320000
3457 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566166191014000
3457 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566166191222000
3562 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566166296438000
3564 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566166298667000
3564 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566166298835000
3587 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566166321564000
3591 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566166325315000
3591 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566166325508000
3645 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566166379298000
3647 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566166381549000
3647 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566166381721000
3741 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566166475617000
3745 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566166479184000
3745 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566166479377000
4342 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566167076262000
4346 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566167079994000
4346 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: init: 1110566167080200000
5047 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: pattern matching: 1110566167781155000
5051 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - requestRule: update: 1110566167785051000
5051 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566167785336000
5056 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566167790273000
5066 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566167800579000
5066 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566167800727000
5069 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566167803219000
5077 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566167811833000
5077 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566167811981000
5088 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566167822645000
5097 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566167831250000
5097 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566167831391000
5099 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566167833051000
5110 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566167844558000
5110 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566167844706000
5113 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566167847237000
5120 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566167854393000
5120 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566167854523000
5123 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566167857375000
5130 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566167864512000
5130 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566167864636000
5141 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566167875290000
5151 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566167885597000
5151 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566167885731000
5155 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566167889590000
5162 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566167896613000
5162 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566167896736000
5165 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566167899690000
5172 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566167906925000
5173 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566167907052000
5185 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566167919503000
5198 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566167932308000
5198 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566167932452000
5200 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566167934966000
5209 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566167943638000
5209 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566167943775000
5211 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566167945340000
5220 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566167954597000
5220 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566167954737000
5224 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566167958554000
5235 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566167969275000
5235 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566167969406000
5239 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566167973104000
5246 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566167980180000
5246 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566167980305000
5257 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566167991634000
5266 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566168000445000
5266 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566168000584000
5278 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566168012016000
5289 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566168023630000
5289 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566168023762000
5293 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566168027543000
5300 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566168034706000
5300 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566168034833000
5305 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566168039494000
5312 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566168046776000
5312 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566168046914000
5314 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566168048793000
5326 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566168060237000
5326 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566168060380000
5328 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566168062944000
5337 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566168071642000
5337 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566168071781000
5339 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566168073343000
5348 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566168082395000
5348 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566168082554000
5350 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566168084281000
5360 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566168094258000
5360 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566168094388000
5365 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566168099117000
5372 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566168106337000
5372 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566168106460000
5376 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566168110788000
5384 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566168118113000
5384 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566168118240000
5395 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566168129003000
5407 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566168141103000
5407 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566168141253000
5409 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566168143760000
5417 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566168151013000
5417 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566168151143000
5420 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566168154213000
5427 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566168161746000
5427 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566168161891000
5431 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566168165127000
5442 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566168176089000
5442 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566168176222000
5446 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566168180041000
5453 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566168187424000
5453 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566168187552000
5455 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566168189089000
5464 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566168198038000
5464 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566168198180000
5465 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566168199978000
5478 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566168212064000
5478 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566168212208000
5481 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566168215976000
5489 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566168223340000
5489 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566168223471000
5496 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566168230118000
5505 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566168238994000
5505 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566168239211000
5517 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566168251405000
5529 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566168263649000
5529 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566168263795000
5532 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566168266496000
5541 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566168275701000
5541 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566168275878000
5543 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566168277431000
5550 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566168284791000
5550 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566168284931000
5553 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566168287898000
5564 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566168298258000
5564 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566168298389000
5566 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566168300862000
5575 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566168309797000
5575 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566168309954000
5591 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566168325617000
5600 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566168334545000
5600 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566168334692000
5603 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566168337343000
5616 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566168350859000
5617 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566168351008000
5619 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566168353486000
5628 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566168362660000
5628 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566168362806000
5630 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566168364365000
5638 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566168372037000
5638 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566168372173000
5640 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566168374866000
5652 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566168386905000
5653 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566168387040000
5656 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566168390852000
5665 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566168399035000
5665 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566168399175000
5666 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566168400707000
5675 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566168409778000
5675 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566168409933000
5678 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566168412788000
5691 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566168425166000
5691 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566168425312000
5693 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566168427771000
5702 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566168436877000
5703 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566168437018000
5704 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566168438560000
5712 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566168446061000
5712 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566168446192000
5716 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566168450419000
5729 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566168463921000
5730 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566168464084000
5732 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566168466551000
5740 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566168474274000
5740 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566168474413000
5743 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566168477285000
5750 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566168484891000
5751 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566168485024000
5753 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566168487195000
5766 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566168500383000
5766 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566168500531000
5769 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566168502987000
5778 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566168512102000
5778 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566168512251000
5790 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566168524854000
5800 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566168534325000
5800 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566168534473000
5810 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566168544946000
5822 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566168556151000
5822 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566168556295000
5824 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566168558744000
5833 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566168567965000
5834 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566168568112000
5835 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566168569643000
5845 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566168579442000
5845 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566168579611000
5849 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566168583654000
5862 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566168596730000
5862 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566168596893000
5865 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566168599333000
5874 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566168608509000
5874 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566168608656000
5888 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566168622377000
5897 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566168631924000
5898 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566168632147000
5903 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566168637881000
5915 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566168649046000
5915 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566168649187000
5919 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566168653033000
5926 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566168660704000
5926 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566168660846000
5928 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566168662369000
5937 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566168671682000
5937 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566168671839000
5945 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566168679099000
5959 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566168693941000
5960 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566168694090000
5963 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566168697809000
5971 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566168705596000
5971 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566168705731000
5990 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566168724890000
5998 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566168732920000
5999 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566168733068000
6008 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566168742011000
6020 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566168754417000
6020 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566168754558000
6024 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566168758383000
6032 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566168766158000
6032 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566168766294000
6033 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566168767826000
6043 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566168777352000
6043 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566168777501000
6052 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566168786080000
6065 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566168799272000
6065 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566168799428000
6067 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566168801894000
6077 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566168811324000
6077 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566168811470000
6079 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566168813030000
6086 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566168820810000
6086 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566168820947000
6090 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566168824362000
6102 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566168836025000
6102 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566168836179000
6105 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566168839901000
6113 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566168847780000
6113 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566168847915000
6115 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566168849441000
6125 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566168859006000
6125 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566168859161000
6127 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566168861393000
6141 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566168875671000
6141 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566168875836000
6144 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566168878308000
6154 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566168888313000
6154 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566168888482000
6156 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566168890038000
6163 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566168897883000
6164 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566168898018000
6166 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566168900881000
6178 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566168912547000
6178 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566168912688000
6181 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566168915115000
6190 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566168924451000
6190 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566168924600000
6195 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566168929662000
6203 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566168937652000
6203 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566168937806000
6205 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566168939334000
6218 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566168952710000
6218 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566168952875000
6221 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566168955304000
6230 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566168964816000
6230 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566168964966000
6232 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566168966516000
6240 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566168974415000
6240 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566168974553000
6248 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566168982692000
6260 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566168994951000
6261 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566168995102000
6264 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566168998829000
6272 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566169006814000
6272 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566169006952000
6274 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566169008479000
6284 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566169018067000
6284 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566169018221000
6292 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566169026909000
6307 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566169041182000
6307 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566169041338000
6309 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566169043883000
6319 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566169053407000
6319 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566169053560000
6322 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566169056421000
6332 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566169066066000
6332 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566169066224000
6333 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566169067856000
6347 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566169081848000
6348 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566169082016000
6350 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566169084445000
6358 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566169092530000
6358 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566169092673000
6361 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566169095542000
6369 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566169103829000
6369 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566169103975000
6373 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566169107967000
6387 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566169120984000
6387 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566169121131000
6390 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566169124911000
6398 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566169132961000
6399 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566169133101000
6400 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566169134630000
6410 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566169144437000
6410 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566169144595000
6422 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566169156770000
6435 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566169169915000
6436 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566169170063000
6439 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566169173810000
6447 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566169181921000
6448 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566169182062000
6449 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566169183585000
6459 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566169193484000
6459 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566169193641000
6462 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566169196747000
6477 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566169211684000
6477 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566169211857000
6480 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566169214264000
6490 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566169224570000
6494 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566169228027000
6495 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566169229686000
6503 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566169237865000
6504 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566169238012000
6507 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566169241574000
6520 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566169254558000
6520 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566169254720000
6527 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566169261449000
6535 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566169269670000
6535 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566169269828000
6537 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566169271362000
6546 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566169280930000
6547 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566169281089000
6552 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566169286608000
6566 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566169300774000
6566 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566169300960000
6570 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566169304866000
6579 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566169313027000
6579 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566169313164000
6592 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566169326737000
6601 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566169335101000
6601 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566169335250000
6602 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566169336836000
6616 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566169350914000
6617 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566169351070000
6619 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566169353480000
6629 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566169363825000
6630 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566169364006000
6641 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566169375349000
6649 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566169383632000
6649 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566169383798000
6660 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566169394031000
6673 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566169407625000
6674 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566169407996000
6677 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566169411659000
6685 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566169419877000
6686 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566169420018000
6694 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566169428214000
6702 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566169436590000
6702 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566169436751000
6708 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566169442319000
6720 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566169454847000
6721 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566169454998000
6724 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566169458817000
6733 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566169467164000
6733 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566169467309000
6745 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566169479281000
6754 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566169488845000
6755 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566169489004000
6756 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566169490716000
6772 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566169506414000
6772 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566169506573000
6775 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566169508993000
6785 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566169519343000
6785 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566169519526000
6793 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566169527918000
6804 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566169538117000
6804 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566169538280000
6806 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566169540049000
6818 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566169552765000
6818 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566169552922000
6822 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566169556589000
6831 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566169565013000
6831 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566169565163000
6834 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566169568065000
6842 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566169576410000
6842 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566169576557000
6844 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566169578685000
6860 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566169594179000
6860 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566169594345000
6862 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566169596741000
6872 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566169606575000
6872 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566169606741000
6874 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566169608286000
6882 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566169616821000
6882 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566169616977000
6885 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566169619980000
6899 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566169633681000
6899 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566169633832000
6903 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566169637493000
6911 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566169645891000
6912 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566169646109000
6913 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566169647642000
6923 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566169657642000
6923 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566169657816000
6926 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566169660238000
6940 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566169674760000
6940 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566169674922000
6943 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566169677307000
6953 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566169687609000
6953 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566169687791000
6960 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566169694977000
6969 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566169703496000
6969 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566169703663000
6972 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566169706430000
6988 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566169722719000
6988 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566169722951000
6992 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566169726703000
7001 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566169735092000
7001 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566169735239000
7012 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566169746875000
7023 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566169757279000
7023 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566169757464000
7025 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566169759175000
7038 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566169772399000
7038 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566169772552000
7042 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566169776166000
7050 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566169784566000
7050 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566169784724000
7052 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566169786330000
7062 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566169796210000
7062 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566169796372000
7064 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566169798701000
7079 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566169813764000
7079 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566169813930000
7082 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566169816315000
7092 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566169826552000
7092 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566169826731000
7100 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566169834430000
7110 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566169844858000
7111 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566169845034000
7114 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566169848396000
7130 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566169864532000
7130 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566169864750000
7133 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566169867127000
7143 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566169877541000
7143 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566169877719000
7149 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566169883445000
7158 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566169892099000
7158 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566169892253000
7163 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566169897961000
7179 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566169913282000
7179 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566169913482000
7181 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566169915865000
7190 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566169924363000
7190 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566169924512000
7193 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566169927424000
7202 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566169936179000
7202 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566169936334000
7204 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566169938569000
7219 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566169953670000
7219 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566169953842000
7223 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566169957099000
7233 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566169967293000
7233 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566169967460000
7235 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566169969050000
7243 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566169977533000
7243 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566169977691000
7251 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566169985487000
7265 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566169999726000
7265 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566169999883000
7271 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566170005059000
7279 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566170013635000
7279 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566170013786000
7291 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566170025753000
7302 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566170036395000
7302 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566170036572000
7304 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566170038109000
7318 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566170052348000
7318 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566170052502000
7322 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566170056687000
7331 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566170065256000
7331 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566170065477000
7337 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566170071168000
7475 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566170209420000
7475 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566170209633000
7483 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566170217309000
7497 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566170231795000
7497 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566170231948000
7505 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566170239274000
7515 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566170249465000
7515 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566170249640000
7517 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566170251188000
7530 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566170264051000
7530 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566170264306000
7536 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566170270792000
7550 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566170284969000
7551 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566170285127000
7555 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566170289512000
7567 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566170301233000
7567 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566170301516000
7577 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566170311607000
7586 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566170320345000
7586 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566170320504000
7589 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566170323893000
7604 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566170338503000
7604 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566170338673000
7609 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566170343273000
7618 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566170352058000
7618 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566170352210000
7619 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566170353585000
7629 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566170363639000
7629 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566170363806000
7634 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566170368606000
7649 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566170383207000
7649 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566170383366000
7652 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566170386905000
7662 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566170396908000
7663 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566170397078000
7664 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566170398464000
7674 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566170408847000
7675 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566170409036000
7676 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566170410453000
7690 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566170424794000
7690 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566170424951000
7695 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566170429238000
7703 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566170437910000
7704 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566170438057000
7705 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566170439427000
7715 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566170449781000
7715 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566170449957000
7718 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566170452098000
7734 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566170468347000
7734 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566170468516000
7736 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566170470791000
7747 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566170481164000
7747 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566170481336000
7748 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566170482756000
7757 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566170491511000
7757 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566170491674000
7762 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566170496037000
7778 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566170512111000
7778 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566170512313000
7780 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566170514586000
7789 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566170523218000
7789 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566170523975000
7792 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566170526688000
7801 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566170535454000
7801 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566170535621000
7803 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566170537232000
7819 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566170553766000
7819 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566170553943000
7822 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566170556211000
7832 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566170566468000
7832 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566170566649000
7834 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566170568045000
7842 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566170576729000
7842 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566170576883000
7845 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566170579561000
7860 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566170594307000
7860 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566170594467000
7863 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566170597857000
7872 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566170606730000
7872 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566170606958000
7874 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566170608344000
7884 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566170618810000
7885 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566170618998000
7886 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566170620444000
7900 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566170634552000
7900 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566170634712000
7904 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566170638200000
7912 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566170646972000
7913 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566170647127000
7926 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566170660526000
7935 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566170669380000
7935 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566170669559000
7941 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566170675353000
7958 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566170692264000
7958 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566170692468000
7962 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566170696572000
7971 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566170705433000
7971 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566170705601000
7974 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566170708745000
7983 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566170717600000
7983 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566170717755000
7985 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566170719176000
8000 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566170734810000
8000 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566170734984000
8003 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566170737236000
8013 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566170747569000
8013 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566170747746000
8015 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566170749140000
8023 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566170757887000
8024 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566170758047000
8027 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566170761016000
8045 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566170779136000
8045 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566170779407000
8048 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566170782978000
8057 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566170791970000
8058 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566170792135000
8059 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566170793523000
8070 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566170804035000
8070 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566170804213000
8071 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566170805786000
8087 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566170821424000
8087 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566170821599000
8090 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566170824967000
8099 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566170833783000
8099 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566170833942000
8102 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566170836627000
8111 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566170845429000
8111 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566170845600000
8113 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566170847180000
8130 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566170864080000
8130 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566170864276000
8132 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566170866534000
8143 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566170877085000
8143 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566170877274000
8144 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566170878683000
8153 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566170887563000
8153 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566170887723000
8156 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566170890597000
8171 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566170905258000
8171 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566170905425000
8173 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566170907667000
8183 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566170917913000
8184 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566170918091000
8189 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566170923280000
8198 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566170932277000
8198 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566170932445000
8199 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566170933860000
8216 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566170950422000
8216 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566170950607000
8219 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566170953429000
8229 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566170963792000
8229 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566170963970000
8235 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566170969227000
8244 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566170978176000
8244 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566170978340000
8247 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566170981088000
8262 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566170996507000
8262 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566170996676000
8267 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566171001008000
8275 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566171009958000
8276 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566171010115000
8291 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566171024979000
8300 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566171034014000
8300 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566171034186000
8304 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566171038445000
8319 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566171053191000
8319 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566171053367000
8322 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566171056786000
8331 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566171065758000
8331 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566171065920000
8338 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566171072250000
8349 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566171083091000
8349 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566171083278000
8354 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566171088775000
8369 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566171103880000
8370 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566171104051000
8373 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566171107507000
8382 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566171116459000
8382 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566171116623000
8394 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566171128572000
8404 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566171138909000
8405 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566171139095000
8407 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566171141673000
8424 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566171158390000
8424 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566171158580000
8426 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566171160789000
8437 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566171171209000
8437 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566171171388000
8438 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566171172773000
8447 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566171181955000
8448 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566171182127000
8450 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566171184852000
8465 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566171199803000
8465 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566171199974000
8469 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566171203473000
8478 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566171212432000
8478 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566171212592000
8490 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566171224459000
8501 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566171235246000
8501 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566171235444000
8504 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566171238856000
8521 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566171255440000
8521 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566171255626000
8523 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566171257838000
8534 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566171268128000
8534 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566171268307000
8541 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566171275467000
8552 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566171286520000
8552 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566171286730000
8554 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566171288435000
8569 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566171303335000
8569 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566171303519000
8572 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566171306881000
8581 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566171315864000
8582 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566171316029000
8584 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566171318665000
8593 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566171327718000
8593 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566171327882000
8598 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566171332836000
8614 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566171348426000
8614 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566171348604000
8618 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566171352052000
8627 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566171361026000
8627 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566171361190000
8641 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566171375362000
8650 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566171384507000
8650 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566171384686000
8655 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566171389605000
8671 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566171405656000
8671 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566171405833000
8675 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566171409373000
8684 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566171418440000
8684 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566171418607000
8685 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566171419967000
8696 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566171430520000
8696 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566171430706000
8699 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566171433417000
8716 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566171450678000
8716 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566171450866000
8719 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566171453070000
8729 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566171463603000
8729 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566171463783000
8741 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566171475464000
8752 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566171486284000
8752 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566171486584000
8754 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566171488076000
8770 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566171504183000
8770 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566171504354000
8773 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566171507764000
8782 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566171516808000
8782 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566171516972000
8791 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566171525941000
8801 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566171535198000
8801 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566171535385000
8805 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566171539636000
8821 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566171555601000
8821 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566171555781000
8825 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566171559320000
8834 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566171568402000
8834 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566171568569000
8836 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566171570390000
8847 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566171581026000
8847 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566171581212000
8848 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566171582544000
8866 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566171600139000
8866 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566171600327000
8868 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566171602533000
8877 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566171611518000
8877 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566171611686000
8880 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566171614374000
8889 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566171623502000
8889 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566171623673000
8891 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566171625223000
8908 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566171642732000
8908 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566171642918000
8911 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566171645116000
8921 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566171655815000
8922 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566171656002000
8935 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566171669230000
8945 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566171679857000
8946 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566171680053000
8947 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566171681581000
8965 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566171699150000
8965 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566171699428000
8967 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566171701635000
8976 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566171710651000
8976 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566171710824000
8979 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566171713489000
8988 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566171722627000
8988 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566171722798000
8990 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566171724153000
9007 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566171741247000
9007 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566171741442000
9009 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566171743622000
9020 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566171754292000
9020 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566171754494000
9028 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566171762193000
9039 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566171773108000
9039 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566171773304000
9041 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566171775109000
9057 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566171791528000
9057 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566171791703000
9061 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566171795003000
9071 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566171805644000
9071 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566171805923000
9086 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566171820515000
9095 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566171829805000
9095 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566171829987000
9099 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566171833766000
9117 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566171851881000
9118 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566171852115000
9120 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566171854450000
9129 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566171863523000
9129 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566171863695000
9132 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566171866463000
9141 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566171875669000
9141 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566171875842000
9143 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566171877200000
9161 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566171895027000
9161 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566171895216000
9163 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566171897423000
9174 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566171908482000
9174 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566171908704000
9176 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566171910076000
9185 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566171919297000
9185 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566171919479000
9188 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566171922925000
9205 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566171939010000
9205 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566171939192000
9208 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566171942681000
9217 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566171951897000
9218 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566171952069000
9232 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566171966167000
9241 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566171975457000
9241 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566171975646000
9242 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566171976947000
9260 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566171994563000
9260 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566171994758000
9263 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566171996985000
9273 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566172007914000
9274 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566172008130000
9275 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566172009716000
9284 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566172018910000
9285 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566172019082000
9287 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566172021902000
9304 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566172038075000
9304 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566172038252000
9306 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566172040422000
9316 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566172050963000
9317 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566172051147000
9318 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566172052527000
9329 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566172063582000
9329 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566172063819000
9331 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566172065181000
9347 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566172081383000
9347 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566172081564000
9351 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566172085021000
9360 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566172094305000
9360 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566172094483000
9361 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566172095837000
9372 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566172106597000
9372 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566172106790000
9374 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566172108184000
9392 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566172126469000
9392 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566172126755000
9394 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566172128926000
9404 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566172138066000
9404 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566172138249000
9410 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566172144254000
9421 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566172155112000
9421 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566172155372000
9422 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566172156661000
9441 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566172175000000
9441 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566172175194000
9443 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566172177378000
9452 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566172186643000
9452 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566172186824000
9455 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566172189511000
9464 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566172198817000
9465 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566172198994000
9466 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566172200813000
9484 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566172218734000
9484 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566172218940000
9487 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566172221166000
9497 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566172231701000
9497 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566172231894000
9499 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566172233296000
9508 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566172242494000
9508 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566172242672000
9511 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566172245378000
9528 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566172262651000
9528 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566172262881000
9532 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566172266301000
9541 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566172275696000
9541 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566172275873000
9543 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566172277234000
9554 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566172288199000
9554 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566172288413000
9555 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566172289744000
9572 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566172306090000
9572 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566172306281000
9575 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566172309728000
9584 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566172318915000
9585 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566172319092000
9596 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566172330192000
9607 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566172341214000
9607 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566172341435000
9608 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566172342736000
9625 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566172359147000
9625 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566172359389000
9628 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566172362805000
9638 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566172372041000
9638 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566172372221000
9639 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566172373717000
9650 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566172384408000
9650 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566172384603000
9651 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566172385963000
9670 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566172404373000
9671 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566172405838000
9674 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566172408059000
9683 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566172417340000
9683 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566172417517000
9694 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566172428696000
9705 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566172439200000
9705 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: init: 1110566172439415000
9706 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: pattern matching: 1110566172440696000
9725 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - takeRule: update: 1110566172459082000
9725 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: init: 1110566172459287000
9727 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: pattern matching: 1110566172461428000
9736 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - releaseRule: update: 1110566172470735000
9736 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: init: 1110566172470917000
9739 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: pattern matching: 1110566172473634000
9749 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmany  - giveRule: update: 1110566172483051000