Ini file processed >>> Loading packages from /home/macuyiko/.ProM61/packages/packages.xml >>> Scanning for packages took 0.317 seconds known jar file: file:/home/macuyiko/Downloads/prom-6.1-all-platforms/ProM61.jar Loading plugins from packages. Processing Package: Log Scanning package: Log-6.1.55 adding to classpath: file:/home/macuyiko/.ProM61/packages/log-6.1.55/lib/OpenXES-XStream.jar adding to classpath: file:/home/macuyiko/.ProM61/packages/log-6.1.55/lib/OpenXES.jar scanning for plugins: file:/home/macuyiko/.ProM61/packages/log-6.1.55/Log.jar Plugins found in cache. Processing Package: DottedChart Scanning package: DottedChart-6.1.37 scanning for plugins: file:/home/macuyiko/.ProM61/packages/dottedchart-6.1.37/DottedChart.jar Plugins found in cache. Processing Package: Animation Scanning package: Animation-6.1.34 scanning for plugins: file:/home/macuyiko/.ProM61/packages/animation-6.1.34/Animation.jar Plugins found in cache. Processing Package: Performance Scanning package: Performance-6.1.34 scanning for plugins: file:/home/macuyiko/.ProM61/packages/performance-6.1.34/Performance.jar Plugins found in cache. Processing Package: LogAbstractions Scanning package: LogAbstractions-6.1.35 scanning for plugins: file:/home/macuyiko/.ProM61/packages/logabstractions-6.1.35/LogAbstractions.jar Plugins found in cache. Processing Package: ConceptDrift Scanning package: ConceptDrift-6.1.9 adding to classpath: file:/home/macuyiko/.ProM61/packages/conceptdrift-6.1.9/lib/jsc.jar scanning for plugins: file:/home/macuyiko/.ProM61/packages/conceptdrift-6.1.9/ConceptDrift.jar Plugins found in cache. Processing Package: SignatureDiscovery Scanning package: SignatureDiscovery-6.1.32 adding to classpath: file:/home/macuyiko/.ProM61/packages/signaturediscovery-6.1.32/lib/jgrapht-jdk1.6.jar scanning for plugins: file:/home/macuyiko/.ProM61/packages/signaturediscovery-6.1.32/SignatureDiscovery.jar Plugins found in cache. Processing Package: SocialNetwork Scanning package: SocialNetwork-6.1.34 scanning for plugins: file:/home/macuyiko/.ProM61/packages/socialnetwork-6.1.34/SocialNetwork.jar Plugins found in cache. Processing Package: Widgets Scanning package: Widgets-6.1.35 adding to classpath: file:/home/macuyiko/.ProM61/packages/widgets-6.1.35/lib/japura-1.12.3.jar scanning for plugins: file:/home/macuyiko/.ProM61/packages/widgets-6.1.35/Widgets.jar Plugins found in cache. Processing Package: OperationalSupport Scanning package: OperationalSupport-6.1.74 scanning for plugins: file:/home/macuyiko/.ProM61/packages/operationalsupport-6.1.74/OperationalSupport.jar Plugins found in cache. Processing Package: LpSolve Scanning package: LpSolve-5.5.0.15 adding to classpath: file:/home/macuyiko/.ProM61/packages/lpsolve-5.5.0.15/lib/lpsolve55j.jar Processing Package: GuideTreeMiner Scanning package: GuideTreeMiner-6.1.33 adding to classpath: file:/home/macuyiko/.ProM61/packages/guidetreeminer-6.1.33/lib/prefuse.jar scanning for plugins: file:/home/macuyiko/.ProM61/packages/guidetreeminer-6.1.33/GuideTreeMiner.jar Plugins found in cache. Processing Package: LTLChecker Scanning package: LTLChecker-6.1.46 adding to classpath: file:/home/macuyiko/.ProM61/packages/ltlchecker-6.1.46/lib/wsml2reasoner-noncom-v0_5.jar adding to classpath: file:/home/macuyiko/.ProM61/packages/ltlchecker-6.1.46/lib/wsmo-api-0.6.1.jar adding to classpath: file:/home/macuyiko/.ProM61/packages/ltlchecker-6.1.46/lib/images.jar adding to classpath: file:/home/macuyiko/.ProM61/packages/ltlchecker-6.1.46/lib/resources.jar scanning for plugins: file:/home/macuyiko/.ProM61/packages/ltlchecker-6.1.46/LTLChecker.jar Plugins found in cache. Processing Package: EPC Scanning package: EPC-6.1.32 scanning for plugins: file:/home/macuyiko/.ProM61/packages/epc-6.1.32/EPC.jar Plugins found in cache. Processing Package: LogMerge Scanning package: LogMerge-6.1.5 scanning for plugins: file:/home/macuyiko/.ProM61/packages/logmerge-6.1.5/LogMerge.jar Plugins found in cache. Processing Package: KeyValue Scanning package: KeyValue-6.1.8 adding to classpath: file:/home/macuyiko/.ProM61/packages/keyvalue-6.1.8/lib/trove-3.0.0rc2.jar scanning for plugins: file:/home/macuyiko/.ProM61/packages/keyvalue-6.1.8/KeyValue.jar Plugins found in cache. Processing Package: LogTimeFrame Scanning package: LogTimeFrame-6.1.33 scanning for plugins: file:/home/macuyiko/.ProM61/packages/logtimeframe-6.1.33/LogTimeFrame.jar Plugins found in cache. Processing Package: OSService Scanning package: OSService-6.1.34 scanning for plugins: file:/home/macuyiko/.ProM61/packages/osservice-6.1.34/OSService.jar Plugins found in cache. Processing Package: InteractiveVisualization Scanning package: InteractiveVisualization-6.1.22 scanning for plugins: file:/home/macuyiko/.ProM61/packages/interactivevisualization-6.1.22/InteractiveVisualization.jar Plugins found in cache. Processing Package: TraceAlignmentWithGuideTree Scanning package: TraceAlignmentWithGuideTree-6.1.9 scanning for plugins: file:/home/macuyiko/.ProM61/packages/tracealignmentwithguidetree-6.1.9/TraceAlignmentWithGuideTree.jar Plugins found in cache. Processing Package: CPNet Scanning package: CPNet-6.1.47 adding to classpath: file:/home/macuyiko/.ProM61/packages/cpnet-6.1.47/lib/org.cpntools.accesscpn.engine.highlevel_2.0.2.jar adding to classpath: file:/home/macuyiko/.ProM61/packages/cpnet-6.1.47/lib/org.eclipse.emf.ecore.xmi_2.5.0.v20100521-1846.jar adding to classpath: file:/home/macuyiko/.ProM61/packages/cpnet-6.1.47/lib/org.eclipse.emf.common_2.6.0.v20100914-1218.jar adding to classpath: file:/home/macuyiko/.ProM61/packages/cpnet-6.1.47/lib/org.cpntools.accesscpn.model_2.0.0.jar adding to classpath: file:/home/macuyiko/.ProM61/packages/cpnet-6.1.47/lib/org.eclipse.emf.ecore_2.6.1.v20100914-1218.jar adding to classpath: file:/home/macuyiko/.ProM61/packages/cpnet-6.1.47/lib/org.cpntools.accesscpn.engine.proxy_2.0.0.jar adding to classpath: file:/home/macuyiko/.ProM61/packages/cpnet-6.1.47/lib/org.cpntools.accesscpn.model.importer_2.0.0.jar adding to classpath: file:/home/macuyiko/.ProM61/packages/cpnet-6.1.47/lib/org.cpntools.accesscpn.engine_2.0.2.jar scanning for plugins: file:/home/macuyiko/.ProM61/packages/cpnet-6.1.47/CPNet.jar Plugins found in cache. Processing Package: Fuzzy Scanning package: Fuzzy-6.1.66 adding to classpath: file:/home/macuyiko/.ProM61/packages/fuzzy-6.1.66/lib/jgrapht-jdk1.6.jar scanning for plugins: file:/home/macuyiko/.ProM61/packages/fuzzy-6.1.66/Fuzzy.jar Plugins found in cache. Processing Package: BPMN Scanning package: BPMN-6.1.32 scanning for plugins: file:/home/macuyiko/.ProM61/packages/bpmn-6.1.32/BPMN.jar Plugins found in cache. Processing Package: XQueryProvider Scanning package: XQueryProvider-6.1.28 adding to classpath: file:/home/macuyiko/.ProM61/packages/xqueryprovider-6.1.28/lib/kawa-1.11.jar scanning for plugins: file:/home/macuyiko/.ProM61/packages/xqueryprovider-6.1.28/XQueryProvider.jar Plugins found in cache. Processing Package: LogDialog Scanning package: LogDialog-6.1.50 scanning for plugins: file:/home/macuyiko/.ProM61/packages/logdialog-6.1.50/LogDialog.jar Plugins found in cache. Processing Package: PatternAbstractions Scanning package: PatternAbstractions-6.1.12 adding to classpath: file:/home/macuyiko/.ProM61/packages/patternabstractions-6.1.12/lib/jgrapht-jdk-1.5.jar scanning for plugins: file:/home/macuyiko/.ProM61/packages/patternabstractions-6.1.12/PatternAbstractions.jar Plugins found in cache. Processing Package: TransitionSystems Scanning package: TransitionSystems-6.1.62 scanning for plugins: file:/home/macuyiko/.ProM61/packages/transitionsystems-6.1.62/TransitionSystems.jar Plugins found in cache. Processing Package: Cosimulation Scanning package: Cosimulation-6.1.58 adding to classpath: file:/home/macuyiko/.ProM61/packages/cosimulation-6.1.58/lib/org.cpntools.accesscpn.cosimulation_2.0.2.jar scanning for plugins: file:/home/macuyiko/.ProM61/packages/cosimulation-6.1.58/Cosimulation.jar Plugins found in cache. Processing Package: Declare Scanning package: Declare-6.1.75 adding to classpath: file:/home/macuyiko/.ProM61/packages/declare-6.1.75/lib/yawl_service.jar adding to classpath: file:/home/macuyiko/.ProM61/packages/declare-6.1.75/lib/java-cup-11a-runtime.jar adding to classpath: file:/home/macuyiko/.ProM61/packages/declare-6.1.75/lib/declare.jar adding to classpath: file:/home/macuyiko/.ProM61/packages/declare-6.1.75/lib/jep-2.4.0.jar adding to classpath: file:/home/macuyiko/.ProM61/packages/declare-6.1.75/lib/ltl2aut.jar scanning for plugins: file:/home/macuyiko/.ProM61/packages/declare-6.1.75/Declare.jar Plugins found in cache. Processing Package: PetriNets Scanning package: PetriNets-6.1.55 scanning for plugins: file:/home/macuyiko/.ProM61/packages/petrinets-6.1.55/PetriNets.jar Plugins found in cache. Processing Package: ILPMiner Scanning package: ILPMiner-6.1.47 adding to classpath: file:/home/macuyiko/.ProM61/packages/ilpminer-6.1.47/lib/javailp-1.1.jar adding to classpath: file:/home/macuyiko/.ProM61/packages/ilpminer-6.1.47/lib/oplall.jar scanning for plugins: file:/home/macuyiko/.ProM61/packages/ilpminer-6.1.47/ILPMiner.jar Plugins found in cache. Processing Package: LogMetrics Scanning package: LogMetrics-6.1.46 adding to classpath: file:/home/macuyiko/.ProM61/packages/logmetrics-6.1.46/lib/jcalendar-1.3.3.jar scanning for plugins: file:/home/macuyiko/.ProM61/packages/logmetrics-6.1.46/LogMetrics.jar Plugins found in cache. Processing Package: Petrify Scanning package: Petrify-6.1.46 scanning for plugins: file:/home/macuyiko/.ProM61/packages/petrify-6.1.46/Petrify.jar Plugins found in cache. Processing Package: TSPetrinet Scanning package: TSPetrinet-6.1.48 scanning for plugins: file:/home/macuyiko/.ProM61/packages/tspetrinet-6.1.48/TSPetrinet.jar Plugins found in cache. Processing Package: PNAnalysis Scanning package: PNAnalysis-6.1.53 scanning for plugins: file:/home/macuyiko/.ProM61/packages/pnanalysis-6.1.53/PNAnalysis.jar Plugins found in cache. Processing Package: PetriNetReplayer Scanning package: PetriNetReplayer-6.1.46 scanning for plugins: file:/home/macuyiko/.ProM61/packages/petrinetreplayer-6.1.46/PetriNetReplayer.jar Plugins found in cache. Processing Package: DeclareMiner Scanning package: DeclareMiner-6.1.55 adding to classpath: file:/home/macuyiko/.ProM61/packages/declareminer-6.1.55/lib/resources.jar scanning for plugins: file:/home/macuyiko/.ProM61/packages/declareminer-6.1.55/DeclareMiner.jar Plugins found in cache. Processing Package: ETConformance Scanning package: ETConformance-6.1.55 adding to classpath: file:/home/macuyiko/.ProM61/packages/etconformance-6.1.55/lib/javailp-1.1.jar scanning for plugins: file:/home/macuyiko/.ProM61/packages/etconformance-6.1.55/ETConformance.jar Plugins found in cache. Processing Package: ServiceTech Scanning package: ServiceTech-6.1.46 scanning for plugins: file:/home/macuyiko/.ProM61/packages/servicetech-6.1.46/ServiceTech.jar Plugins found in cache. Processing Package: MoBuConLTL Scanning package: MoBuConLTL-6.1.13 scanning for plugins: file:/home/macuyiko/.ProM61/packages/mobuconltl-6.1.13/MoBuConLTL.jar Plugins found in cache. Processing Package: Woflan Scanning package: Woflan-6.1.40 scanning for plugins: file:/home/macuyiko/.ProM61/packages/woflan-6.1.40/Woflan.jar Plugins found in cache. Processing Package: AlphaMiner Scanning package: AlphaMiner-6.1.66 scanning for plugins: file:/home/macuyiko/.ProM61/packages/alphaminer-6.1.66/AlphaMiner.jar Plugins found in cache. Processing Package: Uma Scanning package: Uma-6.1.83 adding to classpath: file:/home/macuyiko/.ProM61/packages/uma-6.1.83/lib/uma.jar adding to classpath: file:/home/macuyiko/.ProM61/packages/uma-6.1.83/lib/pnapi-java.jar scanning for plugins: file:/home/macuyiko/.ProM61/packages/uma-6.1.83/Uma.jar Plugins found in cache. Processing Package: Flex Scanning package: Flex-6.2.116 scanning for plugins: file:/home/macuyiko/.ProM61/packages/flex-6.2.116/Flex.jar Plugins found in cache. Processing Package: Murata Scanning package: Murata-6.1.42 scanning for plugins: file:/home/macuyiko/.ProM61/packages/murata-6.1.42/Murata.jar Plugins found in cache. Processing Package: CTLStar Scanning package: CTLStar-6.1.43 scanning for plugins: file:/home/macuyiko/.ProM61/packages/ctlstar-6.1.43/CTLStar.jar Plugins found in cache. Processing Package: COSAImportExport Scanning package: COSAImportExport-6.1.37 scanning for plugins: file:/home/macuyiko/.ProM61/packages/cosaimportexport-6.1.37/COSAImportExport.jar Plugins found in cache. Processing Package: HeuristicsMiner Scanning package: HeuristicsMiner-6.1.64 scanning for plugins: file:/home/macuyiko/.ProM61/packages/heuristicsminer-6.1.64/HeuristicsMiner.jar Plugins found in cache. Processing Package: GeneticMiner Scanning package: GeneticMiner-6.1.44 scanning for plugins: file:/home/macuyiko/.ProM61/packages/geneticminer-6.1.44/GeneticMiner.jar Plugins found in cache. Processing Package: YAWLReplay Scanning package: YAWLReplay-6.1.58 adding to classpath: file:/home/macuyiko/.ProM61/packages/yawlreplay-6.1.58/lib/YAWLEditor2.1beta.jar scanning for plugins: file:/home/macuyiko/.ProM61/packages/yawlreplay-6.1.58/YAWLReplay.jar Plugins found in cache. Processing Package: EPCConversion Scanning package: EPCConversion-6.1.41 scanning for plugins: file:/home/macuyiko/.ProM61/packages/epcconversion-6.1.41/EPCConversion.jar Plugins found in cache. Processing Package: Clustering Scanning package: Clustering-6.1.36 scanning for plugins: file:/home/macuyiko/.ProM61/packages/clustering-6.1.36/Clustering.jar Plugins found in cache. Processing Package: Grid Scanning package: Grid-6.1.37 scanning for plugins: file:/home/macuyiko/.ProM61/packages/grid-6.1.37/Grid.jar Plugins found in cache. Processing Package: Replayer Scanning package: Replayer-6.1.173 adding to classpath: file:/home/macuyiko/.ProM61/packages/replayer-6.1.173/lib/jbpt-20100706.jar scanning for plugins: file:/home/macuyiko/.ProM61/packages/replayer-6.1.173/Replayer.jar Plugins found in cache. Processing Package: AProMore Scanning package: AProMore-6.2.79 scanning for plugins: file:/home/macuyiko/.ProM61/packages/apromore-6.2.79/AProMore.jar Plugins found in cache. Processing Package: PomPomView Scanning package: PomPomView-6.1.46 scanning for plugins: file:/home/macuyiko/.ProM61/packages/pompomview-6.1.46/PomPomView.jar Plugins found in cache. Processing Package: AllPackages Scanning package: AllPackages-6.1.29 scanning for plugins: file:/home/macuyiko/.ProM61/packages/allpackages-6.1.29/AllPackages.jar Plugins found in cache. Loading from: classpath Processing url: file:/home/macuyiko/Downloads/prom-6.1-all-platforms/ProM61.jar Scanning for plugins: file:/home/macuyiko/Downloads/prom-6.1-all-platforms/ProM61.jar Plugins found in cache. >>> Scanning for plugins took 3.565 seconds >>> Total startup took 7.766 seconds Keeping references: [] deserialization took: 0 seconds NikeFS2: Allocating new swap file. (#1: 67108864 bytes) NikeFS2: cleaned up 0 stale swap files (from 0 sessions). NikeFS2: Populating shadow map 1 (of 4 max.)