0 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567514514415000 58 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567514574133000 80 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567514596070000 80 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567514596299000 168 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567514684649000 170 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567514686168000 170 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567514686264000 171 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567514687766000 174 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567514690934000 175 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567514691054000 177 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567514693365000 181 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567514697163000 181 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567514697287000 185 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567514701441000 188 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567514703985000 188 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567514704088000 189 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567514705501000 192 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567514708025000 192 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567514708379000 194 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567514710106000 197 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567514713760000 197 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567514713869000 201 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567514717510000 205 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567514721206000 205 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567514721312000 207 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567514723497000 210 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567514726868000 210 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567514726983000 212 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567514728688000 215 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567514731345000 215 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567514731460000 218 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567514734402000 220 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567514736541000 220 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567514736643000 222 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567514737991000 226 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567514742150000 226 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567514742275000 227 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567514743658000 231 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567514747071000 231 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567514747184000 232 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567514748559000 234 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567514750526000 234 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567514750702000 237 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567514753310000 242 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567514758252000 242 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567514758371000 245 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567514761892000 247 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567514763317000 247 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567514763400000 248 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567514764716000 250 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567514766807000 250 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567514766909000 253 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567514769684000 265 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567514781761000 265 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567514781901000 268 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567514784738000 270 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567514786927000 271 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567514787030000 272 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567514788469000 274 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567514790800000 274 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567514790903000 278 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567514794654000 283 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567514799895000 284 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567514800010000 285 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567514801450000 291 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567514807657000 291 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567514807776000 294 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567514810518000 298 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567514814009000 298 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567514814127000 299 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567514815669000 300 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567514816843000 300 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567514816924000 304 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567514820784000 310 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567514826383000 310 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567514826505000 312 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567514828223000 313 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567514829492000 313 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567514829577000 315 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567514830912000 319 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567514835044000 319 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567514835172000 320 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567514836625000 321 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567514837900000 321 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567514837984000 323 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567514839812000 327 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567514843135000 327 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567514843255000 329 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567514845550000 331 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567514847311000 331 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567514847408000 335 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567514851056000 337 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567514853734000 337 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567514853839000 339 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567514855373000 340 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567514856632000 340 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567514856717000 343 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567514859297000 351 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567514867918000 352 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567514868055000 354 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567514870278000 358 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567514874543000 359 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567514875291000 363 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567514879134000 366 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567514882404000 366 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567514882519000 369 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567514885282000 371 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567514887840000 371 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567514887947000 373 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567514889751000 376 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567514892269000 376 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567514892364000 378 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567514894895000 380 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567514896570000 380 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567514896660000 383 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567514899697000 386 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567514902341000 387 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567514903502000 389 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567514905265000 390 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567514906612000 390 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567514906685000 393 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567514909862000 395 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567514911218000 395 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567514911295000 396 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567514912662000 398 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567514914929000 399 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567514915031000 401 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567514917662000 404 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567514920452000 404 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567514920564000 405 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567514921968000 408 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567514924759000 408 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567514924865000 412 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567514928303000 414 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567514930428000 414 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567514930530000 415 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567514931938000 418 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567514934721000 418 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567514934821000 421 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567514937071000 422 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567514938535000 422 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567514938612000 425 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567514941225000 426 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567514942599000 426 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567514942678000 429 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567514945499000 432 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567514948574000 432 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567514948686000 434 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567514950064000 438 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567514954654000 438 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567514954768000 440 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567514956159000 442 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567514958963000 443 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567514959064000 446 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567514962337000 447 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567514963927000 448 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567514964007000 450 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567514966790000 452 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567514968239000 452 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567514968321000 453 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567514969622000 458 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567514974965000 459 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567514975090000 460 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567514976499000 462 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567514978002000 462 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567514978154000 465 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567514981671000 468 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567514983993000 468 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567514984093000 470 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567514986855000 473 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567514989804000 473 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567514989903000 475 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567514991297000 476 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567514992798000 476 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567514992878000 486 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567515002979000 488 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567515004679000 488 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567515004762000 491 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567515007136000 494 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567515010746000 494 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567515010863000 496 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567515012484000 498 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567515014176000 498 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567515014261000 501 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567515017396000 502 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567515018974000 503 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567515019058000 504 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567515020400000 507 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567515023162000 507 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567515023261000 508 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567515024639000 510 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567515026263000 510 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567515026343000 512 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567515028877000 514 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567515030432000 514 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567515030514000 515 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567515031853000 519 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567515035377000 519 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567515035495000 520 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567515036935000 522 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567515038514000 522 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567515038593000 525 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567515041177000 526 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567515042917000 527 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567515043003000 529 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567515045739000 532 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567515048839000 532 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567515048941000 535 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567515051680000 538 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567515054780000 538 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567515054891000 541 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567515057008000 542 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567515058922000 543 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567515059007000 547 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567515063280000 549 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567515065103000 549 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567515065235000 551 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567515067014000 554 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567515070536000 554 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567515070646000 556 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567515072091000 559 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567515075167000 559 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567515075294000 561 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567515077606000 563 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567515079369000 563 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567515079458000 567 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567515083198000 569 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567515085053000 569 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567515085154000 570 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567515086575000 573 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567515089836000 573 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567515089941000 575 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567515091384000 578 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567515094631000 578 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567515094748000 581 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567515097171000 583 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567515099088000 583 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567515099186000 585 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567515101769000 587 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567515103607000 587 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567515103696000 590 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567515106473000 592 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567515108359000 592 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567515108449000 593 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567515109895000 596 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567515112974000 597 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567515113085000 600 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567515116296000 603 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567515119662000 603 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567515119776000 606 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567515122848000 609 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567515125619000 609 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567515125725000 612 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567515128466000 614 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567515130694000 614 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567515130785000 617 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567515133399000 620 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567515136284000 620 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567515136395000 623 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567515139719000 627 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567515143026000 627 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567515143149000 628 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567515144661000 632 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567515148208000 632 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567515148319000 634 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567515150809000 638 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567515154241000 638 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567515154353000 640 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567515156399000 644 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567515160093000 644 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567515160230000 645 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567515161782000 648 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567515164015000 648 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567515164116000 650 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567515166767000 653 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567515169166000 653 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567515169261000 655 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567515171850000 658 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567515174162000 658 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567515174254000 661 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567515177076000 664 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567515180555000 664 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567515180666000 666 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567515182238000 669 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567515185790000 669 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567515185902000 671 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567515187463000 675 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567515191068000 675 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567515191252000 676 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567515192837000 680 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567515196484000 680 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: init: 1110567515196602000 682 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: pattern matching: 1110567515198202000 686 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - newRule: update: 1110567515202139000 686 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - mountRule: init: 1110567515202254000 687 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - mountRule: pattern matching: 1110567515203363000 688 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - mountRule: update: 1110567515204836000 688 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567515204929000 697 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567515213607000 699 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567515215303000 700 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567515216733000 708 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567515224341000 711 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567515227379000 711 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567515227505000 717 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567515233426000 720 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567515236451000 720 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567515236579000 728 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567515244795000 730 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567515246481000 730 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567515246591000 737 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567515253748000 739 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567515255369000 739 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567515255472000 746 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567515262739000 750 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567515266252000 750 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567515266382000 756 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567515272524000 759 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567515275643000 759 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567515275773000 766 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567515282918000 769 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567515285923000 770 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567515286056000 777 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567515293088000 778 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567515294711000 778 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567515294812000 788 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567515304217000 789 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567515305866000 789 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567515305974000 798 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567515314760000 800 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567515316523000 800 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567515316632000 812 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567515328467000 814 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567515330163000 814 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567515330271000 832 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567515348433000 835 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567515351750000 835 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567515351882000 843 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567515359354000 846 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567515362500000 846 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567515362629000 852 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567515368772000 855 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567515371849000 855 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567515371979000 867 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567515383854000 871 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567515387208000 871 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567515387344000 877 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567515393531000 880 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567515396649000 880 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567515396785000 888 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567515404137000 891 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567515407438000 891 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567515407580000 986 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567515502719000 988 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567515504426000 988 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567515504536000 995 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567515511916000 997 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567515513611000 997 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567515513726000 1007 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567515523472000 1009 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567515525250000 1009 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567515525368000 1016 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567515532949000 1018 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567515534706000 1018 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567515534821000 1026 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567515542252000 1027 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567515543934000 1028 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567515544059000 1036 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567515552499000 1038 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567515554280000 1038 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567515554403000 1046 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567515562490000 1050 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567515566681000 1050 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567515566843000 1060 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567515576213000 1063 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567515579262000 1064 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567515580008000 1093 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567515609563000 1095 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567515611384000 1095 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567515611505000 1103 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567515619164000 1105 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567515621295000 1105 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567515621426000 1117 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567515633076000 1120 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567515636354000 1120 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567515636496000 1129 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567515645411000 1132 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567515648531000 1132 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567515648665000 1145 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567515661960000 1147 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567515663716000 1147 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567515663835000 1162 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567515678128000 1163 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567515679958000 1164 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567515680088000 1216 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567515732299000 1218 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567515734080000 1218 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567515734201000 1238 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567515754804000 1242 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567515758196000 1242 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567515758354000 1255 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567515771089000 1256 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567515772849000 1256 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567515772969000 1265 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567515781522000 1267 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567515783310000 1267 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567515783431000 1275 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567515791707000 1278 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567515794951000 1279 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567515795112000 1286 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567515802304000 1289 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567515805555000 1289 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567515805705000 1298 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567515814533000 1301 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567515817042000 1301 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567515817183000 1316 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567515832446000 1319 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567515835489000 1320 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567515836420000 1329 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567515845422000 1331 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567515847249000 1331 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567515847375000 1351 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567515867031000 1354 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567515870038000 1354 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567515870181000 1361 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567515877906000 1363 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567515879744000 1363 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567515879871000 1393 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567515909088000 1395 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567515911189000 1395 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567515911319000 1403 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567515919436000 1406 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567515922725000 1406 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567515922881000 1414 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567515930541000 1417 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567515933675000 1417 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567515933821000 1428 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567515944324000 1430 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567515946204000 1430 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567515946338000 1448 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567515964518000 1450 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567515966405000 1450 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567515966537000 1458 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567515974578000 1461 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567515977771000 1461 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567515977923000 1496 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567516012108000 1499 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567516015158000 1499 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567516015308000 1507 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567516023228000 1590 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567516105996000 1590 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567516106819000 1613 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567516129366000 1616 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567516132601000 1616 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567516132758000 1630 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567516146473000 1633 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567516149686000 1633 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567516149840000 1663 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567516179102000 1665 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567516180988000 1665 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567516181122000 1685 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567516201512000 1689 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567516205013000 1689 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567516205178000 1705 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567516221527000 1708 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567516224777000 1708 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567516224947000 1716 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567516232818000 1719 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567516235394000 1719 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567516235538000 1734 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567516250536000 1740 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567516256511000 1740 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567516256752000 1749 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567516265057000 1752 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567516268215000 1752 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567516268371000 1765 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567516281426000 1768 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567516284447000 1768 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567516284605000 1796 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567516312377000 1799 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567516315507000 1799 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567516315668000 1813 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567516329050000 1816 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567516332159000 1816 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567516332319000 1850 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567516366432000 1852 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567516368457000 1852 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567516368602000 1860 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567516376866000 1864 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567516380613000 1864 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567516380782000 1925 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567516441318000 1927 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567516443270000 1927 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567516443414000 1948 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567516464603000 1951 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567516467839000 1952 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567516468015000 1991 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567516507033000 1994 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567516510049000 1994 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567516510210000 2004 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567516520622000 2008 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567516524769000 2009 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567516525720000 2020 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567516536861000 2022 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567516538944000 2023 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567516539093000 2056 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567516572355000 2058 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567516574342000 2058 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567516574488000 2081 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567516597869000 2083 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567516599860000 2084 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567516600015000 2131 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567516647850000 2134 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567516650881000 2135 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567516651045000 2154 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567516670891000 2156 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567516672881000 2157 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567516673026000 2193 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567516709074000 2196 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567516712365000 2196 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567516712536000 2217 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567516733829000 2221 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567516737010000 2221 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567516737178000 2355 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567516871153000 2357 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567516873281000 2357 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567516873436000 2376 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567516892866000 2380 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567516896091000 2380 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567516896262000 2399 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567516915439000 2402 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567516918934000 2403 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567516919110000 2419 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567516935545000 2421 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567516937588000 2421 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567516937738000 2504 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567517020782000 2508 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567517024176000 2508 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567517024350000 2598 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567517114368000 2601 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567517117668000 2601 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567517117849000 2663 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567517179396000 2665 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567517181458000 2665 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567517181610000 2681 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567517197209000 2684 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567517200477000 2684 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567517200648000 2732 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567517248109000 2735 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567517251413000 2735 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567517251587000 2790 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567517306423000 2792 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567517308503000 2792 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567517308659000 2808 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567517324539000 2812 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567517328381000 2812 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567517328572000 2834 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567517350550000 2837 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567517353893000 2838 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567517354068000 2917 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567517433274000 2920 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567517436704000 2921 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567517437547000 2965 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567517480992000 2969 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567517485393000 2969 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567517485578000 3039 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567517555493000 3041 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567517557602000 3041 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567517557769000 3113 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567517628982000 3116 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567517632349000 3116 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567517632526000 3137 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567517653929000 3141 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567517657180000 3141 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567517657356000 3236 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567517752534000 3238 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567517754675000 3238 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567517754844000 3505 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567518021786000 3509 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567518025376000 3509 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567518025562000 3525 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567518041201000 3527 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567518043432000 3527 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567518043602000 3588 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567518104563000 3590 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567518106789000 3590 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567518106959000 3630 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567518146133000 3634 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567518150059000 3634 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567518150251000 3712 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567518228470000 3715 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567518231934000 3716 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567518232123000 3844 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567518360055000 3846 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567518362344000 3846 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: init: 1110567518362520000 4413 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: pattern matching: 1110567518929005000 4415 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - requestRule: update: 1110567518931247000 4415 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567518931834000 4420 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567518936244000 4432 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567518948471000 4432 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567518948568000 4435 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567518951099000 4444 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567518960576000 4444 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567518960663000 4462 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567518978333000 4471 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567518987770000 4472 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567518988025000 4476 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567518992365000 4486 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567519002184000 4486 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567519002258000 4490 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567519006486000 4497 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567519013548000 4497 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567519013618000 4500 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567519016251000 4507 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567519023345000 4507 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567519023592000 4511 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567519027101000 4523 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567519039860000 4523 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567519039944000 4526 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567519042402000 4651 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567519167653000 4651 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567519167743000 4665 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567519181561000 4672 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567519188904000 4673 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567519189157000 4676 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567519192409000 4687 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567519203849000 4687 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567519203920000 4691 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567519207826000 4699 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567519215116000 4699 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567519215185000 4705 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567519221496000 4716 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567519232756000 4717 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567519233037000 4719 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567519235939000 4732 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567519248943000 4733 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567519249028000 4735 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567519251520000 4742 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567519258847000 4742 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567519258918000 4751 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567519267548000 4759 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567519275033000 4759 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567519275368000 4769 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567519285729000 4784 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567519300007000 4784 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567519300090000 4786 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567519302577000 4794 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567519310032000 4794 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567519310104000 4796 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567519312738000 4804 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567519320250000 4804 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567519320520000 4815 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567519331644000 4829 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567519345133000 4829 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567519345218000 4831 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567519347871000 4841 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567519357269000 4841 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567519357351000 4854 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567519370177000 4861 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567519377876000 4862 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567519378153000 4875 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567519391327000 4888 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567519404187000 4888 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567519404267000 4891 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567519407766000 4900 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567519416883000 4900 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567519416964000 4909 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567519425538000 4918 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567519434508000 4918 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567519434797000 4920 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567519436592000 4933 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567519449079000 4933 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567519449163000 4935 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567519451799000 4945 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567519461193000 4945 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567519461275000 4946 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567519462793000 4954 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567519470519000 4954 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567519470797000 4969 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567519485918000 4981 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567519497359000 4981 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567519497436000 4985 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567519501166000 4993 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567519509316000 4993 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567519509390000 5008 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567519524388000 5016 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567519532443000 5016 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567519532742000 5020 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567519536881000 5035 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567519551122000 5035 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567519551202000 5038 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567519554900000 5046 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567519562975000 5047 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567519563049000 5049 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567519565843000 5057 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567519573796000 5058 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567519574086000 5063 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567519579539000 5075 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567519591467000 5075 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567519591545000 5079 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567519595211000 5087 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567519603199000 5087 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567519603270000 5092 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567519608957000 5103 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567519618991000 5103 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567519619311000 5106 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567519622123000 5119 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567519635362000 5119 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567519635453000 5121 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567519637892000 5131 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567519647836000 5131 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567519647918000 5133 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567519649437000 5141 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567519657541000 5141 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567519657849000 5145 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567519661778000 5158 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567519674964000 5159 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567519675041000 5162 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567519678740000 5170 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567519686884000 5170 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567519686956000 5172 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567519688459000 5182 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567519698279000 5182 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567519698612000 5185 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567519701109000 5199 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567519715966000 5200 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567519716047000 5202 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567519718496000 5213 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567519729117000 5213 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567519729201000 5214 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567519730713000 5223 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567519739117000 5225 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567519741097000 5227 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567519743794000 5243 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567519759423000 5243 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567519759509000 5245 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567519761952000 5254 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567519770655000 5254 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567519770731000 5257 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567519773557000 5266 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567519782088000 5266 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567519782424000 5277 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567519793628000 5294 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567519810184000 5294 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567519810267000 5296 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567519812713000 5307 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567519823498000 5307 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567519823580000 5309 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567519825075000 5317 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567519833647000 5317 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567519833978000 5323 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567519839402000 5336 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567519852626000 5336 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567519852747000 5340 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567519856489000 5349 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567519865196000 5349 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567519865269000 5352 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567519868209000 5361 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567519877103000 5361 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567519877451000 5370 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567519886286000 5386 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567519902018000 5386 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567519902160000 5393 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567519909429000 5404 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567519920109000 5404 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567519920188000 5405 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567519921793000 5421 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567519937680000 5422 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567519938047000 5436 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567519952227000 5451 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567519967124000 5451 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567519967201000 5454 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567519970887000 5463 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567519979959000 5464 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567519980034000 5465 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567519981521000 5476 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567519992184000 5476 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567519992569000 5479 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567519995346000 5496 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567520012210000 5496 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567520012291000 5498 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567520014677000 5509 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567520025545000 5509 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567520025626000 5511 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567520027099000 5520 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567520036088000 5520 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567520036505000 5524 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567520040645000 5542 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567520058510000 5542 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567520058591000 5544 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567520060977000 5554 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567520070065000 5554 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567520070140000 5574 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567520090813000 5584 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567520100106000 5586 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567520100503000 5593 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567520109284000 5608 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567520124912000 5608 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567520124990000 5613 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567520128999000 5622 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567520138297000 5622 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567520138378000 5623 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567520139932000 5634 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567520150651000 5635 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567520151035000 5640 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567520156582000 5654 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567520170272000 5654 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567520170408000 5658 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567520174187000 5667 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567520183411000 5667 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567520183482000 5668 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567520184968000 5680 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567520195985000 5680 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567520196381000 5682 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567520198449000 5698 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567520214354000 5698 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567520214434000 5700 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567520216791000 5711 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567520227706000 5711 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567520227900000 5714 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567520230833000 5726 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567520242095000 5726 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567520242513000 5736 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567520252973000 5753 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567520269372000 5753 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567520269448000 5757 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567520273138000 5766 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567520282647000 5766 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567520282718000 5768 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567520284352000 5779 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567520295463000 5779 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567520295875000 5791 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567520307379000 5807 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567520323138000 5807 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567520323215000 5810 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567520326813000 5820 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567520336688000 5820 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567520336763000 5822 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567520338244000 5833 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567520349119000 5833 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567520349584000 5835 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567520351804000 5854 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567520370067000 5854 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567520370151000 5856 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567520372674000 5867 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567520383588000 5867 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567520383669000 5871 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567520387497000 5882 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567520398738000 5883 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567520399164000 5888 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567520404192000 5902 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567520418898000 5902 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567520418977000 5905 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567520421356000 5916 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567520432380000 5916 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567520432461000 5922 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567520438820000 5934 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567520450659000 5935 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567520451102000 5941 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567520457340000 5957 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567520473160000 5957 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567520473238000 5960 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567520476922000 5970 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567520486703000 5970 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567520486775000 5972 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567520488263000 5983 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567520499738000 5984 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567520500171000 5994 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567520510710000 6011 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567520527437000 6011 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567520527516000 6015 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567520531134000 6025 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567520541140000 6025 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567520541214000 6026 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567520542703000 6038 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567520554605000 6039 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567520555043000 6043 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567520559637000 6060 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567520576794000 6060 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567520576871000 6064 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567520580541000 6074 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567520590518000 6074 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567520590645000 6085 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567520601233000 6095 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567520611453000 6095 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567520611894000 6102 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567520618099000 6119 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567520635895000 6119 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567520635978000 6122 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567520638456000 6134 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567520650304000 6134 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567520650383000 6135 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567520651857000 6148 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567520664169000 6148 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567520664646000 6150 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567520666528000 6176 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567520692526000 6176 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567520692608000 6178 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567520694941000 6189 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567520705689000 6195 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567520711478000 6198 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567520714386000 6208 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567520724702000 6209 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567520725154000 6218 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567520734365000 6234 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567520750938000 6235 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567520751014000 6239 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567520755116000 6249 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567520765236000 6249 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567520765313000 6250 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567520766796000 6262 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567520778839000 6263 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567520779329000 6267 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567520783018000 6285 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567520801826000 6285 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567520801907000 6288 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567520804502000 6300 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567520816188000 6300 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567520816278000 6304 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567520820851000 6315 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567520831154000 6315 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567520831714000 6317 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567520833825000 6336 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567520852814000 6336 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567520852898000 6339 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567520855584000 6351 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567520867555000 6351 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567520867635000 6362 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567520878053000 6372 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567520888473000 6372 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567520888947000 6377 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567520893895000 6396 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567520912763000 6396 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567520912843000 6399 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567520915326000 6409 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567520925511000 6409 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567520925580000 6423 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567520939742000 6434 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567520950069000 6434 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567520950714000 6438 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567520954267000 6456 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567520972401000 6456 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567520972487000 6460 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567520976140000 6470 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567520986455000 6470 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567520986526000 6473 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567520989589000 6483 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567520999936000 6484 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567521000422000 6491 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567521007636000 6511 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567521027844000 6511 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567521027927000 6514 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567521030263000 6526 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567521042323000 6526 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567521042404000 6527 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567521043885000 6538 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567521054280000 6540 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567521056578000 6548 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567521064105000 6566 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567521082183000 6566 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567521082271000 6570 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567521085982000 6580 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567521096455000 6580 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567521096527000 6591 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567521107443000 6603 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567521119687000 6604 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567521120209000 6606 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567521122205000 6626 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567521142916000 6627 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567521142996000 6629 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567521145313000 6641 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567521157793000 6641 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567521157870000 6648 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567521164345000 6659 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567521175262000 6659 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567521175772000 6663 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567521179406000 6680 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567521196024000 6680 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567521196100000 6683 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567521199742000 6694 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567521210347000 6694 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567521210418000 6695 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567521211879000 6708 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567521224237000 6708 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567521224764000 6710 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567521226256000 6729 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567521245871000 6729 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567521245951000 6732 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567521248260000 6744 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567521260871000 6744 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567521260949000 6746 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567521262598000 6757 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567521273664000 6758 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567521274195000 6764 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567521279996000 6785 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567521301437000 6785 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567521301519000 6787 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567521303806000 6800 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567521316141000 6800 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567521316234000 6806 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567521322821000 6819 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567521335651000 6820 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567521336218000 6823 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567521339268000 6841 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567521357403000 6841 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567521357481000 6845 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567521360989000 6855 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567521371934000 6856 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567521372005000 6866 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567521382288000 6877 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567521393282000 6877 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567521393822000 6881 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567521397344000 6898 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567521414974000 6899 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567521415053000 6902 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567521418682000 6913 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567521429777000 6913 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567521429850000 6916 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567521432918000 6927 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567521443865000 6928 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567521444404000 6930 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567521446341000 6951 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567521467127000 6951 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567521467221000 6953 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567521469510000 6966 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567521482178000 6966 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567521482256000 6970 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567521486917000 6982 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567521498018000 6982 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567521498571000 6988 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567521504875000 7015 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567521531533000 7015 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567521531613000 7017 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567521533887000 7030 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567521546967000 7031 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567521547046000 7032 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567521548517000 7043 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567521559591000 7044 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567521560152000 7049 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567521565724000 7070 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567521586634000 7070 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567521586779000 7073 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567521589065000 7085 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567521601929000 7086 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567521602020000 7097 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567521613364000 7108 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567521624813000 7109 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567521625390000 7115 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567521631719000 7135 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567521651510000 7135 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567521651594000 7137 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567521653875000 7150 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567521666488000 7150 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567521666571000 7152 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567521668029000 7165 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567521681280000 7165 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567521681864000 7173 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567521689627000 7196 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567521712007000 7196 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567521712090000 7198 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567521714374000 7211 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567521727486000 7211 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567521727569000 7213 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567521729084000 7224 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567521740677000 7225 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567521741255000 7228 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567521744243000 7248 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567521764315000 7248 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567521764391000 7252 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567521768014000 7263 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567521779411000 7263 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567521779482000 7264 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567521780949000 7399 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567521915632000 7400 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567521916242000 7402 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567521918445000 7425 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567521941941000 7426 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567521942024000 7428 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567521944249000 7441 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567521957414000 7441 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567521957495000 7442 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567521958975000 7454 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567521970214000 7454 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567521970652000 7457 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567521973630000 7476 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567521992893000 7476 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567521992970000 7480 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567521996417000 7491 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567522007922000 7492 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567522007994000 7506 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567522022707000 7519 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567522035530000 7520 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567522036007000 7527 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567522043126000 7548 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567522064488000 7548 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567522064569000 7550 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567522066782000 7563 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567522079954000 7564 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567522080034000 7570 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567522086261000 7581 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567522097684000 7582 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567522098152000 7585 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567522101368000 7605 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567522121197000 7605 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567522121274000 7608 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567522124797000 7620 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567522136318000 7620 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567522136388000 7626 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567522142345000 7639 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567522155464000 7639 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567522155953000 7641 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567522157803000 7662 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567522177995000 7662 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567522178085000 7665 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567522181450000 7676 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567522192904000 7676 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567522192976000 7687 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567522203243000 7700 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567522216749000 7701 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567522217243000 7706 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567522222758000 7725 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567522241911000 7725 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567522241989000 7729 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567522245491000 7741 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567522257043000 7741 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567522257118000 7742 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567522258511000 7755 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567522271789000 7756 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567522272286000 7761 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567522277210000 7781 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567522297831000 7781 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567522297907000 7785 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567522301380000 7796 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567522312967000 7797 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567522313271000 7803 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567522319169000 7816 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567522332752000 7817 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567522333257000 7818 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567522334769000 7839 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567522355790000 7839 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567522355880000 7843 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567522359274000 7855 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567522371105000 7855 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567522371176000 7857 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567522373829000 7869 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567522385552000 7870 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567522386043000 7875 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567522391851000 7897 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567522413646000 7897 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567522413726000 7901 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567522417919000 7915 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567522431607000 7915 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567522431689000 7917 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567522433116000 7928 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567522444877000 7929 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567522445375000 7933 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567522449803000 7956 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567522472530000 7956 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567522472611000 7958 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567522474799000 7998 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567522514368000 7998 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567522514506000 8001 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567522517435000 8013 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567522529524000 8014 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567522530032000 8017 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567522533120000 8038 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567522554406000 8038 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567522554484000 8041 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567522557953000 8053 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567522569932000 8054 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567522570013000 8055 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567522571411000 8069 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567522585384000 8069 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567522585897000 8072 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567522588374000 8098 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567522614306000 8098 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567522614392000 8100 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567522616616000 8114 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567522630555000 8114 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567522630635000 8126 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567522642715000 8140 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567522656558000 8141 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567522657113000 8142 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567522658976000 8165 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567522681795000 8165 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567522681874000 8168 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567522684154000 8180 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567522696063000 8180 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567522696136000 8194 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567522710280000 8206 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567522722507000 8208 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567522724657000 8211 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567522727827000 8235 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567522751074000 8235 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567522751158000 8237 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567522753323000 8251 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567522767353000 8251 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567522767431000 8262 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567522778042000 8274 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567522790332000 8274 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567522790860000 8276 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567522792808000 8298 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567522814958000 8299 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567522815040000 8301 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567522817203000 8314 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567522830803000 8314 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567522830882000 8316 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567522832367000 8330 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567522846447000 8331 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567522847001000 8332 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567522848510000 8355 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567522871726000 8355 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567522871805000 8357 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567522873952000 8370 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567522886332000 8370 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567522886406000 8373 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567522889065000 8385 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567522901376000 8385 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567522901913000 8387 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567522903230000 8409 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567522925853000 8409 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567522925942000 8412 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567522928097000 8426 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567522942258000 8426 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567522942336000 8427 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567522943733000 8441 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567522957837000 8442 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567522958401000 8446 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567522962120000 8470 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567522986016000 8470 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567522986100000 8472 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567522988259000 8486 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567523002215000 8486 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567523002294000 8487 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567523003689000 8501 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567523017779000 8502 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567523018347000 8504 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567523020766000 8528 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567523044773000 8528 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567523044852000 8531 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567523047093000 8545 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567523061270000 8545 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567523061349000 8552 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567523068518000 8565 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567523081017000 8565 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567523081585000 8570 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567523086367000 8595 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567523111013000 8595 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567523111093000 8597 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567523113237000 8611 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567523127493000 8611 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567523127574000 8613 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567523128992000 8625 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567523141588000 8626 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567523142169000 8632 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567523148839000 8655 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567523171207000 8655 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567523171285000 8658 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567523174663000 8671 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567523187276000 8671 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567523187351000 8672 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567523188788000 8686 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567523202949000 8687 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567523203529000 8692 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567523208656000 8715 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567523231631000 8715 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567523231709000 8719 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567523235010000 8731 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567523247675000 8731 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567523247748000 8745 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567523261790000 8758 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567523274562000 8759 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567523275167000 8761 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567523277948000 8784 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567523300366000 8784 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567523300444000 8788 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567523304112000 8800 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567523316721000 8800 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567523316795000 8802 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567523318194000 8816 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567523332511000 8817 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567523333187000 8818 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567523334561000 8842 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567523358919000 8843 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567523359000000 8845 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567523361128000 8859 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567523375689000 8859 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567523375768000 8861 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567523377158000 8873 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567523389875000 8874 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567523390472000 8877 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567523393206000 8900 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567523416151000 8900 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567523416229000 8903 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567523419676000 8916 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567523432578000 8916 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567523432651000 8918 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567523434037000 8932 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567523448608000 8933 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567523449240000 8936 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567523452770000 8960 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567523476854000 8960 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567523476943000 8963 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567523479072000 8977 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567523493399000 8977 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567523493480000 8979 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567523495155000 8993 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567523509880000 8994 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567523510497000 8995 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567523511963000 9021 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567523536989000 9021 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567523537070000 9023 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567523539174000 9036 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567523552143000 9036 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567523552219000 9038 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567523554922000 9052 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567523568277000 9052 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567523568909000 9056 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567523572435000 9079 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567523595613000 9079 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567523595693000 9083 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567523599199000 9096 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567523612228000 9096 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567523612300000 9097 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567523613701000 9112 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567523628657000 9113 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567523629306000 9114 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567523630571000 9139 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567523655897000 9139 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567523655977000 9142 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567523658080000 9155 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567523671259000 9157 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567523673162000 9158 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567523674582000 9171 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567523687610000 9172 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567523688249000 9173 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567523689539000 9198 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567523714442000 9198 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567523714524000 9200 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567523716655000 9215 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567523731293000 9215 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567523731374000 9216 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567523732763000 9231 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567523747492000 9232 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567523748145000 9233 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567523749495000 9258 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567523774909000 9258 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567523774990000 9261 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567523777078000 9274 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567523790121000 9274 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567523790195000 9282 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567523798253000 9295 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567523811493000 9296 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567523812155000 9297 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567523813504000 9323 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567523838987000 9323 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567523839069000 9325 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567523841183000 9339 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567523855633000 9339 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567523855714000 9341 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567523857181000 9356 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567523872039000 9356 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567523872701000 9358 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567523874386000 9385 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567523901526000 9385 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567523901620000 9387 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567523903760000 9400 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567523916934000 9401 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567523917009000 9403 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567523919724000 9417 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567523933243000 9417 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567523933911000 9421 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567523937343000 9445 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567523961192000 9445 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567523961273000 9448 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567523964619000 9461 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567523977855000 9461 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567523977929000 9463 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567523979540000 9478 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567523994247000 9478 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567523994933000 9480 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567523996593000 9507 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567524023005000 9507 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567524023088000 9509 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567524025182000 9524 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567524040402000 9524 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567524040483000 9526 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567524042348000 9541 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567524057299000 9542 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567524058015000 9543 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567524059413000 9569 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567524085682000 9569 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567524085775000 9571 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567524087882000 9585 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567524101167000 9585 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567524101242000 9589 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567524105313000 9602 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567524118771000 9603 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567524119460000 9606 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567524122151000 9630 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567524146883000 9630 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567524146963000 9634 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567524150324000 9647 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567524163715000 9647 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567524163802000 9654 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567524170517000 9669 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567524185520000 9670 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567524186272000 9672 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567524188136000 9698 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567524214493000 9698 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567524214584000 9700 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567524216686000 9715 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567524231886000 9715 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567524231968000 9724 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567524240047000 9739 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567524255050000 9739 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567524255771000 9741 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567524256998000 9767 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567524283644000 9767 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567524283735000 9769 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567524285820000 9785 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567524301262000 9785 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567524301341000 9786 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567524302735000 9800 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567524316243000 9800 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567524316951000 9803 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567524319462000 9828 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567524344530000 9828 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567524344608000 9832 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567524348013000 9845 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567524361545000 9845 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567524361620000 9847 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567524363009000 9862 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567524378338000 9863 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567524379073000 9865 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567524381254000 9892 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567524408429000 9892 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567524408508000 9894 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567524410622000 9910 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567524426031000 9910 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567524426176000 9911 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567524427562000 9925 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567524441297000 9926 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567524442020000 9927 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567524443289000 9953 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567524469859000 9953 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567524469944000 9957 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567524473243000 9970 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567524486952000 9971 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567524487028000 9972 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567524488414000 9988 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567524503989000 9988 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567524504730000 9990 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567524505966000 10018 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567524534085000 10018 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567524534208000 10020 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567524536368000 10036 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567524552097000 10036 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567524552180000 10038 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567524554187000 10051 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567524567972000 10052 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567524568714000 10055 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567524571187000 10080 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567524596521000 10080 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567524596598000 10083 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567524599944000 10097 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567524613945000 10098 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567524614020000 10102 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567524618132000 10116 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567524632110000 10116 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567524632857000 10118 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567524634292000 10145 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567524661572000 10145 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567524661664000 10147 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567524663747000 10162 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567524678835000 10162 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567524678914000 10177 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567524693041000 10191 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567524707076000 10192 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567524708018000 10193 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567524709336000 10220 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567524736730000 10222 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567524737998000 10224 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567524740139000 10239 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567524755717000 10239 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567524755795000 10241 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567524757176000 10255 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567524771181000 10257 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: init: 1110567524773024000 10258 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: pattern matching: 1110567524774276000 10284 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - takeRule: update: 1110567524800050000 10284 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: init: 1110567524800128000 10287 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: pattern matching: 1110567524803358000 10301 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - releaseRule: update: 1110567524817503000 10301 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: init: 1110567524817576000 10302 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: pattern matching: 1110567524818972000 10318 [main] DEBUG hu.bme.cs.benchmark.mutex.agg.STSmanyPP - giveRule: update: 1110567524834483000