0 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554416387000 18 [main] DEBUG many.Container - newRule: pm: 1110559554438496000 18 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554438893000 19 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554439043000 19 [main] DEBUG many.Container - newRule: pm: 1110559554439196000 19 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554439639000 19 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554439784000 19 [main] DEBUG many.Container - newRule: pm: 1110559554439935000 20 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554440123000 20 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554440263000 20 [main] DEBUG many.Container - newRule: pm: 1110559554440432000 22 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554442070000 22 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554442208000 22 [main] DEBUG many.Container - newRule: pm: 1110559554442363000 22 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554442541000 22 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554442670000 22 [main] DEBUG many.Container - newRule: pm: 1110559554442808000 23 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554442989000 23 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554443118000 23 [main] DEBUG many.Container - newRule: pm: 1110559554443256000 23 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554443466000 23 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554443597000 23 [main] DEBUG many.Container - newRule: pm: 1110559554443736000 23 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554443911000 24 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554444042000 24 [main] DEBUG many.Container - newRule: pm: 1110559554444183000 24 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554444370000 24 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554444499000 24 [main] DEBUG many.Container - newRule: pm: 1110559554444636000 24 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554444812000 24 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554444940000 25 [main] DEBUG many.Container - newRule: pm: 1110559554445078000 25 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554445256000 25 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554445395000 25 [main] DEBUG many.Container - newRule: pm: 1110559554445533000 25 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554445709000 25 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554445837000 26 [main] DEBUG many.Container - newRule: pm: 1110559554445975000 27 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554446980000 27 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554447168000 27 [main] DEBUG many.Container - newRule: pm: 1110559554447341000 27 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554447520000 27 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554447649000 27 [main] DEBUG many.Container - newRule: pm: 1110559554447787000 27 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554447962000 28 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554448089000 28 [main] DEBUG many.Container - newRule: pm: 1110559554448226000 28 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554448465000 28 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554448595000 28 [main] DEBUG many.Container - newRule: pm: 1110559554448733000 28 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554448908000 30 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554450098000 30 [main] DEBUG many.Container - newRule: pm: 1110559554450243000 30 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554450431000 30 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554450558000 30 [main] DEBUG many.Container - newRule: pm: 1110559554450688000 30 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554450856000 31 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554450977000 31 [main] DEBUG many.Container - newRule: pm: 1110559554451107000 31 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554451274000 31 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554451405000 31 [main] DEBUG many.Container - newRule: pm: 1110559554451537000 31 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554451705000 31 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554451825000 31 [main] DEBUG many.Container - newRule: pm: 1110559554451955000 32 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554452122000 32 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554452242000 32 [main] DEBUG many.Container - newRule: pm: 1110559554452382000 32 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554452552000 32 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554452673000 32 [main] DEBUG many.Container - newRule: pm: 1110559554452803000 32 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554452969000 33 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554453090000 33 [main] DEBUG many.Container - newRule: pm: 1110559554453219000 33 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554453397000 33 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554453518000 33 [main] DEBUG many.Container - newRule: pm: 1110559554453650000 33 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554453817000 33 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554453937000 34 [main] DEBUG many.Container - newRule: pm: 1110559554454066000 35 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554454979000 35 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554455101000 35 [main] DEBUG many.Container - newRule: pm: 1110559554455230000 35 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554455412000 35 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554455531000 35 [main] DEBUG many.Container - newRule: pm: 1110559554455659000 35 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554455824000 35 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554455942000 36 [main] DEBUG many.Container - newRule: pm: 1110559554456070000 36 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554456235000 36 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554456362000 36 [main] DEBUG many.Container - newRule: pm: 1110559554456492000 36 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554456657000 36 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554456775000 36 [main] DEBUG many.Container - newRule: pm: 1110559554456934000 37 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554457102000 37 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554457220000 37 [main] DEBUG many.Container - newRule: pm: 1110559554457358000 37 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554457526000 37 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554457645000 37 [main] DEBUG many.Container - newRule: pm: 1110559554457773000 37 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554457960000 38 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554458078000 38 [main] DEBUG many.Container - newRule: pm: 1110559554458206000 38 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554458382000 39 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554459009000 39 [main] DEBUG many.Container - newRule: pm: 1110559554459144000 39 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554459323000 41 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554461846000 41 [main] DEBUG many.Container - newRule: pm: 1110559554461978000 42 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554462141000 42 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554462251000 42 [main] DEBUG many.Container - newRule: pm: 1110559554462381000 42 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554462541000 42 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554462649000 42 [main] DEBUG many.Container - newRule: pm: 1110559554462766000 42 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554462921000 44 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554464664000 44 [main] DEBUG many.Container - newRule: pm: 1110559554464791000 44 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554464952000 45 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554465063000 45 [main] DEBUG many.Container - newRule: pm: 1110559554465177000 45 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554465340000 45 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554465446000 45 [main] DEBUG many.Container - newRule: pm: 1110559554465560000 45 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554465712000 45 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554465817000 45 [main] DEBUG many.Container - newRule: pm: 1110559554465934000 46 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554466087000 46 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554466192000 46 [main] DEBUG many.Container - newRule: pm: 1110559554466319000 46 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554466472000 46 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554466576000 46 [main] DEBUG many.Container - newRule: pm: 1110559554466691000 46 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554466844000 46 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554466950000 47 [main] DEBUG many.Container - newRule: pm: 1110559554467064000 47 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554467216000 47 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554467331000 47 [main] DEBUG many.Container - newRule: pm: 1110559554467447000 47 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554467598000 47 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554467730000 47 [main] DEBUG many.Container - newRule: pm: 1110559554467850000 48 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554468001000 48 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554468107000 48 [main] DEBUG many.Container - newRule: pm: 1110559554468220000 48 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554468382000 48 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554468487000 48 [main] DEBUG many.Container - newRule: pm: 1110559554468601000 48 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554468754000 48 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554468860000 48 [main] DEBUG many.Container - newRule: pm: 1110559554468973000 49 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554469125000 49 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554469229000 49 [main] DEBUG many.Container - newRule: pm: 1110559554469354000 49 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554469505000 49 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554469609000 49 [main] DEBUG many.Container - newRule: pm: 1110559554469726000 49 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554469877000 49 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554469981000 50 [main] DEBUG many.Container - newRule: pm: 1110559554470095000 50 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554470246000 50 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554470361000 50 [main] DEBUG many.Container - newRule: pm: 1110559554470476000 50 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554470630000 50 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554470735000 50 [main] DEBUG many.Container - newRule: pm: 1110559554470849000 51 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554470999000 51 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554471104000 51 [main] DEBUG many.Container - newRule: pm: 1110559554471218000 51 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554471381000 51 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554471489000 51 [main] DEBUG many.Container - newRule: pm: 1110559554471603000 51 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554471755000 51 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554471860000 51 [main] DEBUG many.Container - newRule: pm: 1110559554471974000 52 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554472126000 52 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554472231000 52 [main] DEBUG many.Container - newRule: pm: 1110559554472355000 52 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554472510000 52 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554472615000 52 [main] DEBUG many.Container - newRule: pm: 1110559554472729000 52 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554472881000 53 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554472985000 53 [main] DEBUG many.Container - newRule: pm: 1110559554473100000 53 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554473251000 53 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554473457000 53 [main] DEBUG many.Container - newRule: pm: 1110559554473593000 53 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554473747000 53 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554473852000 53 [main] DEBUG many.Container - newRule: pm: 1110559554473966000 54 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554474117000 54 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554474222000 54 [main] DEBUG many.Container - newRule: pm: 1110559554474347000 54 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554474501000 54 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554474606000 54 [main] DEBUG many.Container - newRule: pm: 1110559554474720000 54 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554474872000 54 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554474976000 55 [main] DEBUG many.Container - newRule: pm: 1110559554475090000 55 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554475240000 55 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554475358000 55 [main] DEBUG many.Container - newRule: pm: 1110559554475472000 55 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554475623000 55 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554475727000 55 [main] DEBUG many.Container - newRule: pm: 1110559554475842000 56 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554475993000 56 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554476097000 56 [main] DEBUG many.Container - newRule: pm: 1110559554476214000 56 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554476420000 56 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554476526000 56 [main] DEBUG many.Container - newRule: pm: 1110559554476640000 56 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554476791000 56 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554476896000 57 [main] DEBUG many.Container - newRule: pm: 1110559554477010000 57 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554477163000 57 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554477268000 57 [main] DEBUG many.Container - newRule: pm: 1110559554477393000 57 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554477544000 57 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554477649000 57 [main] DEBUG many.Container - newRule: pm: 1110559554477763000 57 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554477914000 58 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554478019000 58 [main] DEBUG many.Container - newRule: pm: 1110559554478136000 58 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554478287000 58 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554478402000 58 [main] DEBUG many.Container - newRule: pm: 1110559554478516000 58 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554478667000 58 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554478772000 58 [main] DEBUG many.Container - newRule: pm: 1110559554478886000 59 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554479040000 59 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554479145000 59 [main] DEBUG many.Container - newRule: pm: 1110559554479259000 59 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554479421000 59 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554479546000 59 [main] DEBUG many.Container - newRule: pm: 1110559554479661000 59 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554479812000 59 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554479920000 60 [main] DEBUG many.Container - newRule: pm: 1110559554480034000 60 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554480186000 60 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554480291000 60 [main] DEBUG many.Container - newRule: pm: 1110559554480416000 60 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554480567000 60 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554480672000 60 [main] DEBUG many.Container - newRule: pm: 1110559554480787000 60 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554480941000 61 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554481046000 61 [main] DEBUG many.Container - newRule: pm: 1110559554481161000 61 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554481321000 61 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554481427000 64 [main] DEBUG many.Container - newRule: pm: 1110559554484068000 64 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554484268000 64 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554484389000 64 [main] DEBUG many.Container - newRule: pm: 1110559554484500000 64 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554484647000 64 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554484747000 64 [main] DEBUG many.Container - newRule: pm: 1110559554484855000 65 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554485003000 65 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554485103000 65 [main] DEBUG many.Container - newRule: pm: 1110559554485213000 65 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554485412000 65 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554485513000 65 [main] DEBUG many.Container - newRule: pm: 1110559554485622000 65 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554485768000 65 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554485867000 65 [main] DEBUG many.Container - newRule: pm: 1110559554485975000 66 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554486121000 66 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554486223000 66 [main] DEBUG many.Container - newRule: pm: 1110559554486342000 66 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554486490000 66 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554486589000 66 [main] DEBUG many.Container - newRule: pm: 1110559554486699000 66 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554486846000 66 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554486944000 67 [main] DEBUG many.Container - newRule: pm: 1110559554487056000 67 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554487203000 67 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554487314000 67 [main] DEBUG many.Container - newRule: pm: 1110559554487424000 67 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554487571000 67 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554487670000 67 [main] DEBUG many.Container - newRule: pm: 1110559554487779000 67 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554487953000 68 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554488055000 68 [main] DEBUG many.Container - newRule: pm: 1110559554488164000 68 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554488321000 68 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554488421000 68 [main] DEBUG many.Container - newRule: pm: 1110559554488529000 68 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554488675000 68 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554488775000 68 [main] DEBUG many.Container - newRule: pm: 1110559554488886000 69 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554489032000 69 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: init: 1110559554489132000 69 [main] DEBUG many.Container - newRule: pm: 1110559554489241000 69 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - newRule: update: 1110559554489397000 69 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - mountRule: init: 1110559554489515000 69 [main] DEBUG many.Container - mountRule: pm: 1110559554489647000 75 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - mountRule: update: 1110559554495458000 75 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554495622000 75 [main] DEBUG many.Container - requestRule: pm: 1110559554495837000 76 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554496000000 79 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554499033000 79 [main] DEBUG many.Container - requestRule: pm: 1110559554499517000 79 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554499811000 79 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554499916000 80 [main] DEBUG many.Container - requestRule: pm: 1110559554500075000 80 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554500191000 80 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554500286000 80 [main] DEBUG many.Container - requestRule: pm: 1110559554500455000 80 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554500569000 80 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554500663000 80 [main] DEBUG many.Container - requestRule: pm: 1110559554500835000 80 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554500948000 81 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554501042000 81 [main] DEBUG many.Container - requestRule: pm: 1110559554501225000 81 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554501348000 81 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554501442000 81 [main] DEBUG many.Container - requestRule: pm: 1110559554501641000 81 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554501753000 81 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554501847000 82 [main] DEBUG many.Container - requestRule: pm: 1110559554502056000 82 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554502171000 82 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554502265000 82 [main] DEBUG many.Container - requestRule: pm: 1110559554502497000 82 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554502619000 82 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554502714000 82 [main] DEBUG many.Container - requestRule: pm: 1110559554502951000 83 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554503098000 83 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554503194000 83 [main] DEBUG many.Container - requestRule: pm: 1110559554503455000 83 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554503568000 83 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554503662000 83 [main] DEBUG many.Container - requestRule: pm: 1110559554503924000 84 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554504037000 84 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554504133000 84 [main] DEBUG many.Container - requestRule: pm: 1110559554504419000 84 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554504532000 84 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554504625000 84 [main] DEBUG many.Container - requestRule: pm: 1110559554504915000 85 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554505028000 85 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554505122000 85 [main] DEBUG many.Container - requestRule: pm: 1110559554505437000 85 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554505550000 85 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554505644000 85 [main] DEBUG many.Container - requestRule: pm: 1110559554505959000 86 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554506073000 86 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554506166000 86 [main] DEBUG many.Container - requestRule: pm: 1110559554506507000 86 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554506621000 86 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554506715000 87 [main] DEBUG many.Container - requestRule: pm: 1110559554507058000 87 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554507184000 87 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554507278000 87 [main] DEBUG many.Container - requestRule: pm: 1110559554507645000 87 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554507759000 87 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554507852000 88 [main] DEBUG many.Container - requestRule: pm: 1110559554508220000 88 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554508343000 88 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554508438000 88 [main] DEBUG many.Container - requestRule: pm: 1110559554508821000 88 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554508933000 89 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554509026000 89 [main] DEBUG many.Container - requestRule: pm: 1110559554509431000 89 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554509544000 89 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554509638000 90 [main] DEBUG many.Container - requestRule: pm: 1110559554510048000 94 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554510161000 94 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554514220000 94 [main] DEBUG many.Container - requestRule: pm: 1110559554514681000 94 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554514804000 94 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554514898000 95 [main] DEBUG many.Container - requestRule: pm: 1110559554515342000 95 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554515486000 95 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554515582000 96 [main] DEBUG many.Container - requestRule: pm: 1110559554516031000 96 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554516144000 96 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554516238000 96 [main] DEBUG many.Container - requestRule: pm: 1110559554516710000 96 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554516823000 96 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554516917000 97 [main] DEBUG many.Container - requestRule: pm: 1110559554517402000 97 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554517515000 97 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554517608000 98 [main] DEBUG many.Container - requestRule: pm: 1110559554518093000 98 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554518206000 98 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554518312000 98 [main] DEBUG many.Container - requestRule: pm: 1110559554518812000 98 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554518925000 99 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554519018000 99 [main] DEBUG many.Container - requestRule: pm: 1110559554519543000 99 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554519656000 99 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554519750000 100 [main] DEBUG many.Container - requestRule: pm: 1110559554520278000 100 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554520402000 100 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554520496000 101 [main] DEBUG many.Container - requestRule: pm: 1110559554521036000 101 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554521148000 101 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554521242000 101 [main] DEBUG many.Container - requestRule: pm: 1110559554521807000 101 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554521920000 102 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554522013000 102 [main] DEBUG many.Container - requestRule: pm: 1110559554522590000 102 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554522704000 102 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554522800000 103 [main] DEBUG many.Container - requestRule: pm: 1110559554523395000 103 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554523530000 103 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554523625000 104 [main] DEBUG many.Container - requestRule: pm: 1110559554524217000 104 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554524340000 104 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554524437000 105 [main] DEBUG many.Container - requestRule: pm: 1110559554525044000 105 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554525157000 105 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554525251000 105 [main] DEBUG many.Container - requestRule: pm: 1110559554525882000 106 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554525997000 106 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554526092000 106 [main] DEBUG many.Container - requestRule: pm: 1110559554526758000 106 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554526872000 106 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554526966000 107 [main] DEBUG many.Container - requestRule: pm: 1110559554527624000 107 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554527738000 107 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554527831000 108 [main] DEBUG many.Container - requestRule: pm: 1110559554528501000 108 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554528614000 108 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554528707000 110 [main] DEBUG many.Container - requestRule: pm: 1110559554529989000 110 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554530121000 110 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554530216000 110 [main] DEBUG many.Container - requestRule: pm: 1110559554530911000 111 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554531025000 111 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554531120000 111 [main] DEBUG many.Container - requestRule: pm: 1110559554531821000 111 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554531937000 112 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554532034000 112 [main] DEBUG many.Container - requestRule: pm: 1110559554532745000 112 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554532858000 112 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554532952000 113 [main] DEBUG many.Container - requestRule: pm: 1110559554533686000 113 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554533799000 113 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554533893000 114 [main] DEBUG many.Container - requestRule: pm: 1110559554534634000 114 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554534748000 114 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554534841000 115 [main] DEBUG many.Container - requestRule: pm: 1110559554535593000 115 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554535706000 115 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554535800000 119 [main] DEBUG many.Container - requestRule: pm: 1110559554539349000 119 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554539512000 119 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554539611000 120 [main] DEBUG many.Container - requestRule: pm: 1110559554540870000 121 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554541005000 121 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554541103000 122 [main] DEBUG many.Container - requestRule: pm: 1110559554542055000 122 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554542177000 122 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554542276000 123 [main] DEBUG many.Container - requestRule: pm: 1110559554543734000 123 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554543868000 123 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554543968000 134 [main] DEBUG many.Container - requestRule: pm: 1110559554554585000 135 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554555001000 135 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554555107000 137 [main] DEBUG many.Container - requestRule: pm: 1110559554557347000 137 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554557524000 137 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554557619000 141 [main] DEBUG many.Container - requestRule: pm: 1110559554561357000 141 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554561555000 141 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554561651000 142 [main] DEBUG many.Container - requestRule: pm: 1110559554562250000 142 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554562372000 142 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554562464000 143 [main] DEBUG many.Container - requestRule: pm: 1110559554563062000 143 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554563172000 143 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554563263000 143 [main] DEBUG many.Container - requestRule: pm: 1110559554563879000 144 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554563988000 144 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554564079000 147 [main] DEBUG many.Container - requestRule: pm: 1110559554567465000 147 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554567614000 147 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554567708000 148 [main] DEBUG many.Container - requestRule: pm: 1110559554568341000 148 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554568451000 148 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554568542000 149 [main] DEBUG many.Container - requestRule: pm: 1110559554569174000 149 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554569283000 149 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554569387000 150 [main] DEBUG many.Container - requestRule: pm: 1110559554570019000 150 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554570129000 150 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554570219000 150 [main] DEBUG many.Container - requestRule: pm: 1110559554570870000 150 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554570979000 151 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554571070000 151 [main] DEBUG many.Container - requestRule: pm: 1110559554571731000 151 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554571840000 151 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554571930000 152 [main] DEBUG many.Container - requestRule: pm: 1110559554572599000 152 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554572707000 152 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554572798000 153 [main] DEBUG many.Container - requestRule: pm: 1110559554573565000 153 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554573677000 153 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554573768000 154 [main] DEBUG many.Container - requestRule: pm: 1110559554574456000 154 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554574565000 156 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554576412000 157 [main] DEBUG many.Container - requestRule: pm: 1110559554577139000 157 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554577252000 157 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554577388000 158 [main] DEBUG many.Container - requestRule: pm: 1110559554578092000 158 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554578200000 158 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554578312000 159 [main] DEBUG many.Container - requestRule: pm: 1110559554579025000 159 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554579135000 159 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554579224000 159 [main] DEBUG many.Container - requestRule: pm: 1110559554579954000 160 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554580103000 160 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554580192000 160 [main] DEBUG many.Container - requestRule: pm: 1110559554580930000 161 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554581038000 161 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554581127000 161 [main] DEBUG many.Container - requestRule: pm: 1110559554581875000 161 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554581983000 162 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554582071000 162 [main] DEBUG many.Container - requestRule: pm: 1110559554582828000 162 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554582935000 163 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554583024000 163 [main] DEBUG many.Container - requestRule: pm: 1110559554583792000 163 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554583899000 164 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554583987000 164 [main] DEBUG many.Container - requestRule: pm: 1110559554584760000 164 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554584868000 164 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554584956000 165 [main] DEBUG many.Container - requestRule: pm: 1110559554585739000 165 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554585846000 165 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554585936000 166 [main] DEBUG many.Container - requestRule: pm: 1110559554586728000 166 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554586835000 166 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554586923000 167 [main] DEBUG many.Container - requestRule: pm: 1110559554587725000 167 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554587832000 167 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554587920000 168 [main] DEBUG many.Container - requestRule: pm: 1110559554588725000 168 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554588832000 168 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554588921000 169 [main] DEBUG many.Container - requestRule: pm: 1110559554589782000 169 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554589891000 169 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554589980000 172 [main] DEBUG many.Container - requestRule: pm: 1110559554592017000 172 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554592145000 172 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554592235000 173 [main] DEBUG many.Container - requestRule: pm: 1110559554593070000 173 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554593236000 173 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554593336000 174 [main] DEBUG many.Container - requestRule: pm: 1110559554594164000 174 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554594271000 174 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554594372000 175 [main] DEBUG many.Container - requestRule: pm: 1110559554595208000 175 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554595460000 175 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554595557000 176 [main] DEBUG many.Container - requestRule: pm: 1110559554596418000 176 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554596526000 176 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554596614000 177 [main] DEBUG many.Container - requestRule: pm: 1110559554597481000 177 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554597588000 177 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554597676000 178 [main] DEBUG many.Container - requestRule: pm: 1110559554598552000 178 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554598658000 178 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554598747000 179 [main] DEBUG many.Container - requestRule: pm: 1110559554599632000 179 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554599739000 179 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554599828000 180 [main] DEBUG many.Container - requestRule: pm: 1110559554600721000 180 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554600828000 180 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554600916000 181 [main] DEBUG many.Container - requestRule: pm: 1110559554601817000 181 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554601924000 182 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554602012000 182 [main] DEBUG many.Container - requestRule: pm: 1110559554602919000 183 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554603027000 183 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554603115000 184 [main] DEBUG many.Container - requestRule: pm: 1110559554604035000 184 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554604142000 184 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554604230000 185 [main] DEBUG many.Container - requestRule: pm: 1110559554605158000 185 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554605266000 185 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554605365000 186 [main] DEBUG many.Container - requestRule: pm: 1110559554606302000 186 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554606408000 186 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554606496000 187 [main] DEBUG many.Container - requestRule: pm: 1110559554607439000 187 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554607547000 187 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554607634000 188 [main] DEBUG many.Container - requestRule: pm: 1110559554608591000 188 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554608698000 188 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554608786000 189 [main] DEBUG many.Container - requestRule: pm: 1110559554609779000 189 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554609886000 189 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: init: 1110559554609975000 190 [main] DEBUG many.Container - requestRule: pm: 1110559554610957000 191 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - requestRule: update: 1110559554611064000 191 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554611175000 191 [main] DEBUG many.Container - takeRulePP: pm: 1110559554611422000 191 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554611637000 191 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554611737000 192 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554612022000 192 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554612228000 192 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554612339000 192 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554612477000 192 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554612628000 192 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554612719000 196 [main] DEBUG many.Container - takeRulePP: pm: 1110559554616561000 196 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554616710000 196 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554616800000 196 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554616900000 197 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554617014000 197 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554617099000 197 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554617198000 197 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554617322000 197 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554617411000 198 [main] DEBUG many.Container - takeRulePP: pm: 1110559554618917000 199 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554619041000 199 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554619127000 199 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554619226000 199 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554619350000 199 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554619436000 199 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554619535000 199 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554619647000 199 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554619735000 201 [main] DEBUG many.Container - takeRulePP: pm: 1110559554621218000 201 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554621353000 201 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554621442000 201 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554621541000 201 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554621653000 201 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554621739000 201 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554621837000 202 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554622884000 202 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554622978000 204 [main] DEBUG many.Container - takeRulePP: pm: 1110559554624497000 204 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554624622000 204 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554624745000 204 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554624847000 204 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554624959000 205 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554625044000 205 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554625142000 205 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554625253000 205 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554625351000 206 [main] DEBUG many.Container - takeRulePP: pm: 1110559554626819000 206 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554626942000 207 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554627027000 207 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554627125000 207 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554627236000 207 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554627333000 207 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554627431000 207 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554627543000 207 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554627630000 209 [main] DEBUG many.Container - takeRulePP: pm: 1110559554629086000 209 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554629208000 209 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554629305000 209 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554629404000 209 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554629515000 209 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554629600000 209 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554629697000 209 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554629809000 209 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554629896000 211 [main] DEBUG many.Container - takeRulePP: pm: 1110559554631346000 211 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554631468000 211 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554631554000 211 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554631651000 211 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554631762000 211 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554631847000 211 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554631944000 212 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554632055000 212 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554632141000 213 [main] DEBUG many.Container - takeRulePP: pm: 1110559554633582000 213 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554633705000 213 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554633792000 213 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554633893000 214 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554634004000 214 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554634089000 214 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554634186000 214 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554634306000 214 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554634394000 223 [main] DEBUG many.Container - takeRulePP: pm: 1110559554643577000 224 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554644120000 224 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554644249000 224 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554644410000 224 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554644527000 224 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554644615000 224 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554644719000 224 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554644831000 224 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554644919000 226 [main] DEBUG many.Container - takeRulePP: pm: 1110559554646058000 226 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554646180000 226 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554646265000 226 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554646375000 226 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554646486000 226 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554646571000 226 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554646669000 226 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554646780000 226 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554646867000 228 [main] DEBUG many.Container - takeRulePP: pm: 1110559554648690000 228 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554648852000 228 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554648940000 232 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554652219000 232 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554652393000 232 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554652483000 232 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554652629000 232 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554652748000 232 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554652837000 233 [main] DEBUG many.Container - takeRulePP: pm: 1110559554653822000 233 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554653950000 234 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554654036000 234 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554654130000 234 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554654242000 234 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554654338000 234 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554654432000 234 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554654545000 234 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554654632000 235 [main] DEBUG many.Container - takeRulePP: pm: 1110559554655545000 235 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554655672000 235 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554655758000 235 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554655852000 235 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554655965000 236 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554656049000 236 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554656141000 236 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554656252000 236 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554656350000 237 [main] DEBUG many.Container - takeRulePP: pm: 1110559554657227000 237 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554657391000 237 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554657478000 237 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554657572000 237 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554657682000 237 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554657768000 237 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554657862000 237 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554657974000 238 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554658061000 240 [main] DEBUG many.Container - takeRulePP: pm: 1110559554660227000 240 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554660383000 240 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554660470000 240 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554660565000 240 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554660677000 240 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554660762000 240 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554660854000 240 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554660965000 241 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554661054000 241 [main] DEBUG many.Container - takeRulePP: pm: 1110559554661924000 242 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554662046000 242 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554662131000 242 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554662225000 242 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554662350000 242 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554662434000 242 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554662525000 242 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554662636000 244 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554664764000 246 [main] DEBUG many.Container - takeRulePP: pm: 1110559554666847000 247 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554667009000 247 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554667114000 247 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554667209000 247 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554667333000 247 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554667417000 247 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554667506000 247 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554667616000 247 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554667701000 248 [main] DEBUG many.Container - takeRulePP: pm: 1110559554668557000 248 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554668677000 248 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554668761000 248 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554668851000 248 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554668960000 249 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554669042000 249 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554669132000 249 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554669240000 249 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554669336000 250 [main] DEBUG many.Container - takeRulePP: pm: 1110559554670206000 250 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554670338000 250 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554670421000 250 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554670515000 250 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554670624000 250 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554670707000 250 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554670796000 250 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554670905000 251 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554670990000 251 [main] DEBUG many.Container - takeRulePP: pm: 1110559554671825000 251 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554671944000 252 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554672027000 252 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554672117000 252 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554672225000 252 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554672318000 252 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554672407000 252 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554672515000 252 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554672600000 254 [main] DEBUG many.Container - takeRulePP: pm: 1110559554674074000 254 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554674204000 254 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554674300000 254 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554674393000 254 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554674502000 254 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554674584000 254 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554674677000 254 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554674787000 254 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554674872000 255 [main] DEBUG many.Container - takeRulePP: pm: 1110559554675685000 255 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554675804000 255 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554675886000 255 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554675977000 256 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554676088000 256 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554676170000 256 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554676259000 256 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554676380000 256 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554676465000 257 [main] DEBUG many.Container - takeRulePP: pm: 1110559554677259000 257 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554677388000 257 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554677473000 257 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554677564000 257 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554677672000 257 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554677754000 257 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554677843000 257 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554677951000 258 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554678036000 258 [main] DEBUG many.Container - takeRulePP: pm: 1110559554678864000 259 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554678985000 259 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554679759000 259 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554679896000 260 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554680038000 260 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554680121000 260 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554680210000 260 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554680331000 260 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554680416000 262 [main] DEBUG many.Container - takeRulePP: pm: 1110559554681208000 262 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554682202000 262 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554682298000 262 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554682410000 262 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554682523000 262 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554682603000 262 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554682689000 262 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554682796000 262 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554682879000 263 [main] DEBUG many.Container - takeRulePP: pm: 1110559554683666000 263 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554683784000 263 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554683864000 263 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554683968000 264 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554684079000 264 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554684158000 264 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554684245000 264 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554684362000 264 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554684444000 265 [main] DEBUG many.Container - takeRulePP: pm: 1110559554685195000 265 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554685322000 265 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554685402000 265 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554685487000 265 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554685593000 265 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554685672000 265 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554685758000 265 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554685864000 265 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554685945000 266 [main] DEBUG many.Container - takeRulePP: pm: 1110559554686702000 266 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554686818000 267 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554687787000 267 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554687886000 268 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554688000000 268 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554688081000 268 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554688167000 268 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554688285000 268 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554688403000 269 [main] DEBUG many.Container - takeRulePP: pm: 1110559554689153000 269 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554689285000 269 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554689365000 269 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554689451000 269 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554689560000 269 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554689639000 269 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554689724000 269 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554689829000 269 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554689910000 270 [main] DEBUG many.Container - takeRulePP: pm: 1110559554690640000 270 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554690756000 270 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554690835000 273 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554690920000 273 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554693405000 273 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554693487000 273 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554693576000 273 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554693684000 273 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554693766000 274 [main] DEBUG many.Container - takeRulePP: pm: 1110559554694499000 278 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554698393000 278 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554698537000 278 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554698631000 278 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554698748000 278 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554698828000 278 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554698914000 279 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554699015000 279 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554699096000 280 [main] DEBUG many.Container - takeRulePP: pm: 1110559554699985000 280 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554700105000 280 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554700185000 280 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554700284000 280 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554700384000 280 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554700464000 280 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554700549000 280 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554700647000 280 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554700728000 281 [main] DEBUG many.Container - takeRulePP: pm: 1110559554701431000 281 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554701541000 281 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554701621000 281 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554701706000 281 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554701805000 281 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554701884000 281 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554701969000 282 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554702106000 282 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554702188000 282 [main] DEBUG many.Container - takeRulePP: pm: 1110559554702884000 283 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554702995000 283 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554703074000 283 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554703159000 283 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554703258000 283 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554703347000 283 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554703432000 283 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554703531000 283 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554703612000 284 [main] DEBUG many.Container - takeRulePP: pm: 1110559554704292000 284 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554704400000 284 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554704479000 284 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554704563000 284 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554704662000 284 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554704741000 284 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554704826000 284 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554704925000 285 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554705006000 285 [main] DEBUG many.Container - takeRulePP: pm: 1110559554705682000 285 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554705792000 285 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554705872000 285 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554705956000 286 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554706056000 286 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554706135000 286 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554706220000 286 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554706328000 286 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554706409000 287 [main] DEBUG many.Container - takeRulePP: pm: 1110559554707067000 287 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554707175000 287 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554707254000 287 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554707355000 287 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554707454000 287 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554707533000 287 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554707617000 287 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554707715000 287 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554707797000 288 [main] DEBUG many.Container - takeRulePP: pm: 1110559554708456000 288 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554708565000 288 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554708644000 288 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554708729000 288 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554708827000 288 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554708906000 289 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554709016000 289 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554709116000 289 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554709198000 289 [main] DEBUG many.Container - takeRulePP: pm: 1110559554709848000 289 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554709957000 290 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554710036000 290 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554710120000 290 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554710219000 290 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554710309000 290 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554710393000 290 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554710492000 290 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554710575000 291 [main] DEBUG many.Container - takeRulePP: pm: 1110559554711203000 291 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554711323000 291 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554711404000 291 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554711488000 291 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554711588000 291 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554711666000 291 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554711751000 291 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554711850000 291 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554711930000 292 [main] DEBUG many.Container - takeRulePP: pm: 1110559554712561000 292 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554712670000 292 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554712749000 292 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554712834000 292 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554712933000 293 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554713011000 293 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554713096000 293 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554713195000 293 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554713286000 293 [main] DEBUG many.Container - takeRulePP: pm: 1110559554713894000 294 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554714003000 294 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554714082000 294 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554714166000 294 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554714265000 294 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554714354000 294 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554714440000 294 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554714538000 294 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554714622000 295 [main] DEBUG many.Container - takeRulePP: pm: 1110559554715221000 295 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554715340000 295 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554715419000 295 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554715737000 295 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554715843000 295 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554715922000 296 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554716034000 296 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554716135000 296 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554716216000 296 [main] DEBUG many.Container - takeRulePP: pm: 1110559554716821000 296 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554716933000 297 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554717013000 297 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554717097000 297 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554717976000 298 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554718080000 298 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554718169000 298 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554718284000 298 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554718367000 299 [main] DEBUG many.Container - takeRulePP: pm: 1110559554718963000 299 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554719925000 300 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554720010000 301 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554721281000 301 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554721397000 301 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554721478000 301 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554721563000 301 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554721661000 301 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554721741000 302 [main] DEBUG many.Container - takeRulePP: pm: 1110559554722350000 302 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554722460000 302 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554722538000 302 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554722622000 302 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554722719000 302 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554722795000 302 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554722881000 302 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554722978000 303 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554723058000 303 [main] DEBUG many.Container - takeRulePP: pm: 1110559554723626000 303 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554723732000 303 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554723810000 303 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554723893000 304 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554723990000 304 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554724067000 304 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554724149000 304 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554724246000 304 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554724336000 304 [main] DEBUG many.Container - takeRulePP: pm: 1110559554724885000 305 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554724992000 305 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554725070000 305 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554725152000 305 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554725248000 305 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554725369000 305 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554725454000 305 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554725553000 305 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554725632000 307 [main] DEBUG many.Container - takeRulePP: pm: 1110559554727650000 307 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554727782000 307 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554727862000 307 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554727948000 308 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554728047000 308 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554728126000 308 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554728210000 308 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554728319000 308 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554728399000 308 [main] DEBUG many.Container - takeRulePP: pm: 1110559554728936000 309 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554729044000 309 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554729124000 309 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554729208000 309 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554729316000 309 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554729394000 309 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554729477000 309 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554729574000 309 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554729654000 310 [main] DEBUG many.Container - takeRulePP: pm: 1110559554730180000 310 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554730297000 310 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554730375000 310 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554730459000 310 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554730556000 310 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554730633000 310 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554730717000 310 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554730814000 310 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554730894000 311 [main] DEBUG many.Container - takeRulePP: pm: 1110559554731418000 311 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554731525000 311 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554731604000 311 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554731687000 311 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554731784000 311 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554731864000 311 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554731948000 312 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554732046000 312 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554732126000 312 [main] DEBUG many.Container - takeRulePP: pm: 1110559554732643000 312 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554732751000 312 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554732829000 312 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554732913000 313 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554733009000 313 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554733117000 313 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554733202000 313 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554733315000 313 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554733395000 313 [main] DEBUG many.Container - takeRulePP: pm: 1110559554733895000 314 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554734001000 314 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554734079000 314 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554734161000 314 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554734258000 314 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554734347000 314 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554734430000 315 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554735336000 315 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554735438000 315 [main] DEBUG many.Container - takeRulePP: pm: 1110559554735951000 316 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554736082000 316 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554736163000 316 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554736249000 316 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554736356000 316 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554736433000 316 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554736517000 316 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554736612000 316 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554736693000 317 [main] DEBUG many.Container - takeRulePP: pm: 1110559554737175000 317 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554737291000 317 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554737369000 317 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554737453000 317 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554737548000 317 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554737625000 317 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554737708000 317 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554737803000 317 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554737883000 318 [main] DEBUG many.Container - takeRulePP: pm: 1110559554738367000 318 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554738472000 318 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554738550000 318 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554738634000 318 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554738729000 318 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554738806000 318 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554738889000 318 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554738985000 319 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554739064000 319 [main] DEBUG many.Container - takeRulePP: pm: 1110559554739534000 319 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554739639000 319 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554739716000 319 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554739800000 319 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554739924000 320 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554740002000 320 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554740086000 320 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554740181000 320 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554740260000 320 [main] DEBUG many.Container - takeRulePP: pm: 1110559554740722000 320 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554740828000 320 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554740907000 321 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554740990000 321 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554741085000 321 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554741162000 321 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554741246000 321 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554741352000 321 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554741432000 321 [main] DEBUG many.Container - takeRulePP: pm: 1110559554741869000 321 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554741972000 322 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554742050000 322 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554742133000 322 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554742228000 322 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554742315000 322 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554742398000 322 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554742493000 322 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554742573000 323 [main] DEBUG many.Container - takeRulePP: pm: 1110559554743006000 323 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554743111000 323 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554743188000 324 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554744146000 324 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554744313000 324 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554744397000 324 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554744481000 324 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554744578000 324 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554744658000 325 [main] DEBUG many.Container - takeRulePP: pm: 1110559554745097000 325 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554745203000 325 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554745291000 325 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554745374000 325 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554745468000 325 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554745546000 325 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554745630000 325 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554745724000 325 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554745804000 326 [main] DEBUG many.Container - takeRulePP: pm: 1110559554746224000 326 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554746339000 326 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554746417000 326 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554746530000 326 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554746626000 326 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554746704000 326 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554746787000 326 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554746882000 327 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554747478000 327 [main] DEBUG many.Container - takeRulePP: pm: 1110559554747914000 328 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554748023000 328 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554748101000 328 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554748185000 328 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554748292000 328 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554748369000 328 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554748451000 328 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554748546000 328 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554748624000 329 [main] DEBUG many.Container - takeRulePP: pm: 1110559554749025000 329 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554749130000 329 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554749207000 329 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554749302000 329 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554749396000 329 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554749472000 329 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554749555000 329 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554749648000 329 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554749727000 330 [main] DEBUG many.Container - takeRulePP: pm: 1110559554750115000 330 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554750218000 330 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554750307000 330 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554750389000 330 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554750483000 330 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554750560000 330 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554750642000 330 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554750736000 331 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554751252000 331 [main] DEBUG many.Container - takeRulePP: pm: 1110559554751906000 332 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554752018000 332 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554752096000 332 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554752181000 332 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554752286000 332 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554752364000 332 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554752446000 332 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554752541000 332 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554752619000 333 [main] DEBUG many.Container - takeRulePP: pm: 1110559554752986000 333 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554753089000 333 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554753195000 333 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554753290000 333 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554753389000 333 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554753466000 333 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554753549000 333 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554753643000 333 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554753721000 334 [main] DEBUG many.Container - takeRulePP: pm: 1110559554754084000 334 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554754186000 334 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554754275000 334 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554754358000 334 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554754452000 334 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554754528000 334 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554754610000 334 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554754703000 334 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554754782000 335 [main] DEBUG many.Container - takeRulePP: pm: 1110559554755130000 335 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554755232000 335 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554755320000 335 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554755402000 335 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554755497000 335 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554755573000 335 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554755655000 335 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554755751000 335 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554755830000 336 [main] DEBUG many.Container - takeRulePP: pm: 1110559554756170000 336 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554756284000 336 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554756362000 336 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554756444000 336 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554756538000 336 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554756614000 336 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554756697000 336 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554756790000 336 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554756869000 337 [main] DEBUG many.Container - takeRulePP: pm: 1110559554757200000 337 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554757314000 337 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554757834000 337 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554757959000 338 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554758084000 338 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554758162000 338 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554758245000 338 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554758352000 338 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554758431000 338 [main] DEBUG many.Container - takeRulePP: pm: 1110559554758763000 338 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554758866000 338 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554758971000 339 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554759055000 339 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554759150000 341 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554761661000 341 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554761759000 343 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554763397000 343 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554763489000 343 [main] DEBUG many.Container - takeRulePP: pm: 1110559554763830000 343 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554763936000 344 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554764012000 344 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554764096000 344 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554764191000 344 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554764278000 344 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554764360000 344 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554764454000 344 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554764532000 344 [main] DEBUG many.Container - takeRulePP: pm: 1110559554764832000 344 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554764933000 345 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554765010000 345 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554765090000 345 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554765183000 345 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554765258000 345 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554765349000 345 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554765442000 345 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554765519000 345 [main] DEBUG many.Container - takeRulePP: pm: 1110559554765813000 345 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554765914000 346 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554765990000 346 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554766476000 346 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554766583000 346 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554766660000 346 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554766741000 346 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554766835000 346 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554766913000 347 [main] DEBUG many.Container - takeRulePP: pm: 1110559554767203000 347 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554767316000 347 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554767392000 347 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554767472000 347 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554767565000 347 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554767640000 347 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554767720000 348 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554768232000 349 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554769599000 350 [main] DEBUG many.Container - takeRulePP: pm: 1110559554770483000 350 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554770632000 350 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554770711000 350 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554770793000 352 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554772062000 352 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554772148000 352 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554772231000 352 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554772335000 352 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554772411000 352 [main] DEBUG many.Container - takeRulePP: pm: 1110559554772684000 352 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554772785000 352 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554772858000 352 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554772937000 353 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554773029000 353 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554773101000 353 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554773180000 353 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554773369000 353 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554773445000 353 [main] DEBUG many.Container - takeRulePP: pm: 1110559554773703000 353 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554773803000 353 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554773875000 353 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554773953000 354 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554774043000 354 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554774117000 354 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554774194000 354 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554774294000 354 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554774369000 354 [main] DEBUG many.Container - takeRulePP: pm: 1110559554774612000 354 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554774711000 354 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554774784000 354 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554774861000 354 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554774952000 355 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554775025000 355 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554775103000 355 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554775192000 355 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554775277000 355 [main] DEBUG many.Container - takeRulePP: pm: 1110559554775515000 355 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554775613000 355 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554775686000 355 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554775764000 355 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554775854000 355 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554775928000 356 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554776006000 356 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554776095000 356 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554776170000 356 [main] DEBUG many.Container - takeRulePP: pm: 1110559554776432000 356 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554776533000 356 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554776607000 356 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554776685000 356 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554776775000 356 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554776848000 356 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554776926000 357 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554777016000 357 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554777091000 357 [main] DEBUG many.Container - takeRulePP: pm: 1110559554777320000 357 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554777420000 357 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554777493000 357 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554777571000 357 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554777661000 357 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554777734000 357 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554777812000 357 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554777902000 357 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554777979000 358 [main] DEBUG many.Container - takeRulePP: pm: 1110559554778185000 358 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554778294000 358 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554778367000 358 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554778445000 358 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554778535000 358 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554778608000 358 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554778686000 358 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554778775000 358 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554778849000 359 [main] DEBUG many.Container - takeRulePP: pm: 1110559554779047000 359 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554779145000 359 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554779218000 359 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554779307000 359 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554779398000 359 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554779471000 359 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554779549000 359 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554779639000 359 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554779713000 365 [main] DEBUG many.Container - takeRulePP: pm: 1110559554785957000 366 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554786904000 367 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554786990000 367 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554787073000 367 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554787165000 367 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554787236000 367 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554787326000 367 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554787415000 367 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554787492000 367 [main] DEBUG many.Container - takeRulePP: pm: 1110559554787713000 367 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554787813000 367 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554787884000 367 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554787961000 368 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554788050000 368 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554788120000 368 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554788196000 368 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554788294000 368 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554788367000 368 [main] DEBUG many.Container - takeRulePP: pm: 1110559554788535000 368 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554788631000 368 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554788702000 368 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554788777000 368 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554788866000 368 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554788936000 369 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554789011000 369 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554789099000 369 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554789171000 369 [main] DEBUG many.Container - takeRulePP: pm: 1110559554789340000 369 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554789437000 369 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554789508000 369 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554789584000 369 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554789672000 369 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554789742000 369 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554789818000 369 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554789905000 369 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554789978000 370 [main] DEBUG many.Container - takeRulePP: pm: 1110559554790129000 370 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554790226000 370 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554790307000 370 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554790382000 370 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554790470000 370 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554790540000 370 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554790616000 370 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554790703000 370 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554790775000 370 [main] DEBUG many.Container - takeRulePP: pm: 1110559554790916000 371 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554791013000 371 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554791083000 371 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554791158000 371 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554791246000 371 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554791326000 371 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554791401000 371 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554791490000 371 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554791586000 371 [main] DEBUG many.Container - takeRulePP: pm: 1110559554791718000 371 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554791815000 371 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554791885000 371 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554791961000 372 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554792049000 372 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554792120000 372 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554792195000 372 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554792294000 372 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554792367000 372 [main] DEBUG many.Container - takeRulePP: pm: 1110559554792487000 372 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554792583000 372 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554792653000 372 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554792728000 372 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554792816000 372 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554792887000 372 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554792963000 375 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554794995000 375 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554795126000 375 [main] DEBUG many.Container - takeRulePP: pm: 1110559554795295000 376 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554796128000 376 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554796438000 376 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554796538000 376 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554796632000 376 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554796701000 376 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554796777000 376 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554796864000 376 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554796935000 377 [main] DEBUG many.Container - takeRulePP: pm: 1110559554797045000 377 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554797140000 377 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554797209000 377 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554797295000 377 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554797381000 377 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554797449000 377 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554797523000 377 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554797609000 377 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554797680000 377 [main] DEBUG many.Container - takeRulePP: pm: 1110559554797771000 377 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554797864000 377 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554797935000 378 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554798008000 378 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554798094000 378 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554798163000 378 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554798236000 378 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554798361000 378 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554798433000 378 [main] DEBUG many.Container - takeRulePP: pm: 1110559554798515000 378 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554798609000 380 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554800274000 380 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554800408000 380 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554800538000 380 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554800607000 380 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554800681000 380 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554800767000 380 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: init: 1110559554800836000 380 [main] DEBUG many.Container - takeRulePP: pm: 1110559554800905000 381 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - takeRulePP: update: 1110559554800996000 381 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: init: 1110559554801064000 381 [main] DEBUG many.Resource - releaseRulePP: pm: 1110559554801136000 384 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - releaseRulePP: update: 1110559554804548000 384 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: init: 1110559554804673000 384 [main] DEBUG many.Resource - giveRulePP: pm: 1110559554804764000 384 [main] DEBUG hu.bme.cs.benchmark.mutex.fujaba.STSmanyPP - giveRulePP: update: 1110559554804920000