0 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567506666583000 58 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567506726474000 80 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567506748303000 80 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567506748499000 169 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567506837301000 170 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567506838772000 170 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567506838861000 172 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567506840380000 175 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567506843569000 175 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567506843688000 178 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567506846009000 181 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567506849827000 181 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567506849943000 186 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567506854082000 188 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567506856646000 188 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567506856750000 190 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567506858158000 192 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567506860684000 193 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567506861057000 194 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567506862799000 198 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567506866518000 198 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567506866630000 202 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567506870186000 205 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567506873870000 205 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - mountRule: init: 1110567506873982000 207 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - mountRule: pattern matching: 1110567506875858000 210 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - mountRule: update: 1110567506878319000 210 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567506878442000 219 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567506887047000 221 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567506889615000 221 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567506889742000 228 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567506895983000 229 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567506897116000 229 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567506897204000 233 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567506901026000 239 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567506907007000 239 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567506907142000 255 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567506923689000 256 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567506924800000 256 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567506924891000 263 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567506931614000 264 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567506932754000 264 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567506932843000 279 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567506947974000 281 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567506949063000 281 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567506949150000 294 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567506962115000 297 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567506965136000 297 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567506965251000 324 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567506992717000 325 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567506993784000 325 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567506993876000 340 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567507008370000 342 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567507010324000 342 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567507010447000 371 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567507039167000 381 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567507049433000 381 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567507049883000 390 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567507058167000 393 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567507061525000 393 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567507061602000 395 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567507063732000 399 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567507067304000 399 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567507067399000 400 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567507068778000 403 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567507071179000 403 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567507071537000 409 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567507077311000 413 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567507081106000 413 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567507081189000 415 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567507083143000 416 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567507084167000 416 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567507084221000 420 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567507088250000 451 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567507119252000 451 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567507119643000 453 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567507121926000 457 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567507125912000 458 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567507125997000 460 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567507128531000 462 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567507130251000 462 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567507130381000 463 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567507131698000 467 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567507135101000 467 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567507135469000 471 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567507138988000 474 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567507142763000 474 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567507142844000 478 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567507146356000 480 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567507148352000 480 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567507148428000 485 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567507153663000 486 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567507154866000 487 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567507155183000 489 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567507157310000 490 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567507158965000 491 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567507159031000 496 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567507164213000 497 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567507165729000 497 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567507165796000 500 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567507168538000 504 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567507172058000 506 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567507174233000 507 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567507175511000 509 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567507177831000 509 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567507177905000 513 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567507181173000 514 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567507182168000 514 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567507182219000 516 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567507184830000 519 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567507187287000 519 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567507187718000 522 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567507190824000 528 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567507196654000 528 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567507196745000 530 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567507198376000 531 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567507199237000 532 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567507200416000 533 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567507201725000 539 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567507207644000 540 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567507208028000 542 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567507210336000 543 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567507211538000 543 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567507211591000 545 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567507213131000 549 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567507217797000 549 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567507217887000 551 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567507219725000 552 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567507220791000 553 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567507221111000 565 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567507233161000 569 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567507237197000 569 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567507237282000 571 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567507239278000 572 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567507240150000 572 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567507240201000 576 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567507244213000 577 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567507245203000 577 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567507245535000 578 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567507246598000 581 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567507249310000 581 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567507249388000 584 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567507252164000 585 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567507253660000 585 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567507253728000 587 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567507255583000 588 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567507256605000