Ini file processed >>> Loading packages from /home/guancio/.ProM/packages/packages.xml >>> Scanning for packages took 0.154 seconds known jar file: file:/home/guancio/Downloads/prom6/ProM6.jar Loading plugins from packages. Processing Package: SPDiagram Scanning package: SPDiagram-1.2 scanning for plugins: file:/home/guancio/.ProM/packages/spdiagram-1.2/SPDiagram-1.2-all.jar Plugins found in cache. Method public org.processmining.models.graphbased.directed.simpleprecedencediagram.SPD org.processmining.plugins.simpleprecedencediagram.mining.SPDMiner.computeClusters(org.processmining.contexts.gui.GUIPluginContext,org.deckfour.xes.model.XLog) could not be added as a plugin. The context should be asked as first parameter and should be a the same, or a superclass of org.processmining.contexts.uitopia.UIPluginContext. Method public org.processmining.models.graphbased.directed.simpleprecedencediagram.SPD org.processmining.plugins.simpleprecedencediagram.mining.SPDMiner.computeClusters(org.processmining.contexts.gui.GUIPluginContext,org.deckfour.xes.model.XLog,org.deckfour.xes.info.XLogInfo) could not be added as a plugin. The context should be asked as first parameter and should be a the same, or a superclass of org.processmining.contexts.uitopia.UIPluginContext. Processing Package: BPMN Scanning package: BPMN-1.1 scanning for plugins: file:/home/guancio/.ProM/packages/bpmn-1.1/BPMN.jar Plugins found in cache. Processing Package: LpSolve Scanning package: LpSolve-5.5.0.15 adding to classpath: file:/home/guancio/.ProM/packages/lpsolve-5.5.0.15/lib/lpsolve55j.jar scanning for plugins: file:/home/guancio/.ProM/packages/lpsolve-5.5.0.15/LPSolve.jar Plugins found in cache. Processing Package: EPMLImportExport Scanning package: EPMLImportExport-1.1 scanning for plugins: file:/home/guancio/.ProM/packages/epmlimportexport-1.1/EPMLImportExport.jar Plugins found in cache. Processing Package: Performance Scanning package: Performance-1.2 scanning for plugins: file:/home/guancio/.ProM/packages/performance-1.2/Performance.jar Plugins found in cache. Processing Package: SocialNetwork Scanning package: SocialNetwork-1.1 scanning for plugins: file:/home/guancio/.ProM/packages/socialnetwork-1.1/SocialNetwork.jar Plugins found in cache. Processing Package: TSMiner Scanning package: TSMiner-1.5 scanning for plugins: file:/home/guancio/.ProM/packages/tsminer-1.5/TSMiner.jar Plugins found in cache. Processing Package: PNAnalysis Scanning package: PNAnalysis-1.3.6 scanning for plugins: file:/home/guancio/.ProM/packages/pnanalysis-1.3.6/PNAnalysis.jar Plugins found in cache. Processing Package: Abstractions Scanning package: Abstractions-1.2.4 scanning for plugins: file:/home/guancio/.ProM/packages/abstractions-1.2.4/Abstractions.jar Plugins found in cache. Plugin class org.processmining.plugins.abstractions.PatternAbstractionsConnection could not be added as a plugin. At least one variant has to be specified. Processing Package: LogInsertStart Scanning package: LogInsertStart-1.1 scanning for plugins: file:/home/guancio/.ProM/packages/loginsertstart-1.1/LogInsertStart.jar Plugins found in cache. Processing Package: GuideTreeMiner Scanning package: GuideTreeMiner-1.0.2 adding to classpath: file:/home/guancio/.ProM/packages/guidetreeminer-1.0.2/lib/prefuse.jar scanning for plugins: file:/home/guancio/.ProM/packages/guidetreeminer-1.0.2/GuideTreeMiner.jar Plugins found in cache. Processing Package: PNMLImportExport Scanning package: PNMLImportExport-1.4 scanning for plugins: file:/home/guancio/.ProM/packages/pnmlimportexport-1.4/PNMLImportExport.jar Plugins found in cache. Processing Package: CPlex Scanning package: CPlex-12.1 adding to classpath: file:/home/guancio/.ProM/packages/cplex-12.1/lib/oplall.jar scanning for plugins: file:/home/guancio/.ProM/packages/cplex-12.1/CPlex.jar Plugins found in cache. Processing Package: LogDialog Scanning package: LogDialog-1.6 scanning for plugins: file:/home/guancio/.ProM/packages/logdialog-1.6/LogDialog.jar Plugins found in cache. Processing Package: PNUnfolding Scanning package: PNUnfolding-1.3 scanning for plugins: file:/home/guancio/.ProM/packages/pnunfolding-1.3/PNUnfolding.jar Plugins found in cache. Processing Package: Woflan Scanning package: Woflan-1.8 scanning for plugins: file:/home/guancio/.ProM/packages/woflan-1.8/Woflan.jar Plugins found in cache. Processing Package: XPDLImportExport Scanning package: XPDLImportExport-1.2 scanning for plugins: file:/home/guancio/.ProM/packages/xpdlimportexport-1.2/XPDLImportExport.jar Plugins found in cache. Processing Package: LTLChecker Scanning package: LTLChecker-1.2.3 adding to classpath: file:/home/guancio/.ProM/packages/ltlchecker-1.2.3/lib/images.jar adding to classpath: file:/home/guancio/.ProM/packages/ltlchecker-1.2.3/lib/wsml2reasoner-noncom-v0_5.jar adding to classpath: file:/home/guancio/.ProM/packages/ltlchecker-1.2.3/lib/wsmo-api-0.6.1.jar scanning for plugins: file:/home/guancio/.ProM/packages/ltlchecker-1.2.3/LTLChecker.jar Plugins found in cache. Plugin class org.processmining.plugins.ltlchecker.CheckVisualizerConnection could not be added as a plugin. At least one variant has to be specified. Processing Package: TSAnalyzer Scanning package: TSAnalyzer-1.2 scanning for plugins: file:/home/guancio/.ProM/packages/tsanalyzer-1.2/TSAnalyzer.jar Plugins found in cache. Processing Package: LogAbstractions Scanning package: LogAbstractions-1.1 scanning for plugins: file:/home/guancio/.ProM/packages/logabstractions-1.1/LogAbstractions.jar Plugins found in cache. Processing Package: TestBed Scanning package: TestBed-1.6 scanning for plugins: file:/home/guancio/.ProM/packages/testbed-1.6/TestBed.jar Plugins found in cache. Method public void org.processmining.plugins.petrinet.importing.pnml.PnmlExport.exportResetInhibitorNet(org.processmining.contexts.gui.GUIPluginContext,org.processmining.models.graphbased.directed.petrinet.ResetInhibitorNet) throws java.io.IOException could not be added as a plugin. The context should be asked as first parameter and should be a the same, or a superclass of org.processmining.contexts.uitopia.UIPluginContext. Method public void org.processmining.plugins.petrinet.importing.pnml.PnmlExport.exportResetNet(org.processmining.contexts.gui.GUIPluginContext,org.processmining.models.graphbased.directed.petrinet.ResetNet) throws java.io.IOException could not be added as a plugin. The context should be asked as first parameter and should be a the same, or a superclass of org.processmining.contexts.uitopia.UIPluginContext. Method public void org.processmining.plugins.petrinet.importing.pnml.PnmlExport.exportInhibitorNet(org.processmining.contexts.gui.GUIPluginContext,org.processmining.models.graphbased.directed.petrinet.InhibitorNet) throws java.io.IOException could not be added as a plugin. The context should be asked as first parameter and should be a the same, or a superclass of org.processmining.contexts.uitopia.UIPluginContext. Method public void org.processmining.plugins.petrinet.importing.pnml.PnmlExport.exportPetriNet(org.processmining.contexts.gui.GUIPluginContext,org.processmining.models.graphbased.directed.petrinet.Petrinet) throws java.io.IOException could not be added as a plugin. The context should be asked as first parameter and should be a the same, or a superclass of org.processmining.contexts.uitopia.UIPluginContext. Processing Package: HeuristicsMiner Scanning package: HeuristicsMiner-1.2 scanning for plugins: file:/home/guancio/.ProM/packages/heuristicsminer-1.2/HeuristicsMiner.jar Plugins found in cache. Processing Package: DottedChart Scanning package: DottedChart-1.0 scanning for plugins: file:/home/guancio/.ProM/packages/dottedchart-1.0/DottedChart.jar Plugins found in cache. Processing Package: TraceAlignment Scanning package: TraceAlignment-1.0.2 scanning for plugins: file:/home/guancio/.ProM/packages/tracealignment-1.0.2/TraceAlignment.jar Plugins found in cache. Plugin class org.processmining.plugins.tracealignment.TraceAlignmentConnection could not be added as a plugin. At least one variant has to be specified. Processing Package: Workload Scanning package: Workload-1.1 scanning for plugins: file:/home/guancio/.ProM/packages/workload-1.1/Workload.jar Plugins found in cache. Processing Package: TransitionChecker Scanning package: TransitionChecker-1.2 scanning for plugins: file:/home/guancio/.ProM/packages/transitionchecker-1.2/TransitionChecker.jar Plugins found in cache. Processing Package: TPNImportExport Scanning package: TPNImportExport-1.1 scanning for plugins: file:/home/guancio/.ProM/packages/tpnimportexport-1.1/TPNImportExport.jar Plugins found in cache. Processing Package: ETConformance Scanning package: ETConformance-1.1 scanning for plugins: file:/home/guancio/.ProM/packages/etconformance-1.1/ETConformance.jar Plugins found in cache. Processing Package: Petrify Scanning package: Petrify-1.3 scanning for plugins: file:/home/guancio/.ProM/packages/petrify-1.3/Petrify.jar Plugins found in cache. Method public org.processmining.plugins.petrify.PetrifyDotSG org.processmining.plugins.petrify.PetrifyExportDotSG.write(org.processmining.contexts.gui.GUIPluginContext,org.processmining.models.graphbased.directed.transitionsystem.TransitionSystem) could not be added as a plugin. The context should be asked as first parameter and should be a the same, or a superclass of org.processmining.contexts.uitopia.UIPluginContext. Processing Package: AAPDiagram Scanning package: AAPDiagram-1.2 scanning for plugins: file:/home/guancio/.ProM/packages/aapdiagram-1.2/AAPDiagram.jar Plugins found in cache. Processing Package: ILPMiner Scanning package: ILPMiner-1.6 adding to classpath: file:/home/guancio/.ProM/packages/ilpminer-1.6/lib/javailp-1.1.jar adding to classpath: file:/home/guancio/.ProM/packages/ilpminer-1.6/lib/oplall.jar scanning for plugins: file:/home/guancio/.ProM/packages/ilpminer-1.6/ILPMiner.jar Plugins found in cache. Plugin class org.processmining.plugins.ilpminer.fitness.ILPFitnessConnection could not be added as a plugin. At least one variant has to be specified. Plugin class org.processmining.plugins.ilpminer.netproperties.NetPropertiesConnection could not be added as a plugin. At least one variant has to be specified. Processing Package: Murata Scanning package: Murata-1.1 scanning for plugins: file:/home/guancio/.ProM/packages/murata-1.1/Murata.jar Plugins found in cache. Processing Package: TSMLImportExport Scanning package: TSMLImportExport-1.1 scanning for plugins: file:/home/guancio/.ProM/packages/tsmlimportexport-1.1/TSMLImportExport.jar Plugins found in cache. Processing Package: SimpleLogFilter Scanning package: SimpleLogFilter-1.2 scanning for plugins: file:/home/guancio/.ProM/packages/simplelogfilter-1.2/SimpleLogFilter.jar Plugins found in cache. Processing Package: SignatureDiscovery Scanning package: SignatureDiscovery-1.0 scanning for plugins: file:/home/guancio/.ProM/packages/signaturediscovery-1.0/SignatureDiscovery.jar Plugins found in cache. Processing Package: AlphaMiner Scanning package: AlphaMiner-1.2 scanning for plugins: file:/home/guancio/.ProM/packages/alphaminer-1.2/AlphaMiner.jar Plugins found in cache. Processing Package: PerfMeasurement Scanning package: PerfMeasurement-1.3 scanning for plugins: file:/home/guancio/.ProM/packages/perfmeasurement-1.3/PerfMeasurement.jar Plugins found in cache. Method public java.lang.Object[] org.processmining.plugins.performancemeasurement.logreplayers.FPDAAPDLogReplayer.replayLog(org.processmining.contexts.gui.GUIPluginContext,org.processmining.models.graphbased.directed.simpleprecedencediagram.SPD) throws java.lang.Exception could not be added as a plugin. The context should be asked as first parameter and should be a the same, or a superclass of org.processmining.contexts.uitopia.UIPluginContext. Method public java.lang.Object[] org.processmining.plugins.performancemeasurement.logreplayers.FPDAAPDLogReplayer.replayLog(org.processmining.contexts.gui.GUIPluginContext,org.processmining.models.graphbased.directed.simpleprecedencediagram.SPD,org.deckfour.xes.model.XLog) throws java.lang.Exception could not be added as a plugin. The context should be asked as first parameter and should be a the same, or a superclass of org.processmining.contexts.uitopia.UIPluginContext. Method public java.lang.Object[] org.processmining.plugins.performancemeasurement.logreplayers.FPDAAPDLogReplayer.replayLog(org.processmining.contexts.gui.GUIPluginContext,org.processmining.models.graphbased.directed.simpleprecedencediagram.SPD,org.deckfour.xes.model.XLog,int) throws java.lang.Exception could not be added as a plugin. The context should be asked as first parameter and should be a the same, or a superclass of org.processmining.contexts.uitopia.UIPluginContext. Processing Package: GeneticMiner Scanning package: GeneticMiner-1.0.3 scanning for plugins: file:/home/guancio/.ProM/packages/geneticminer-1.0.3/GeneticMiner.jar Plugins found in cache. Processing Package: DeclareMiner Scanning package: DeclareMiner-1.2.3 adding to classpath: file:/home/guancio/.ProM/packages/declareminer-1.2.3/lib/ltl2aut.jar scanning for plugins: file:/home/guancio/.ProM/packages/declareminer-1.2.3/Declare.jar Plugins found in cache. Plugin class org.processmining.plugins.declare.declareminer.DeclareViewerConnection could not be added as a plugin. At least one variant has to be specified. Plugin class org.processmining.plugins.declare.declareminer.TemplateGUIConnection could not be added as a plugin. At least one variant has to be specified. Processing Package: PetriNet2EPC Scanning package: PetriNet2EPC-1.1 scanning for plugins: file:/home/guancio/.ProM/packages/petrinet2epc-1.1/PetriNet2EPC.jar Plugins found in cache. Processing Package: PetriNetReplayer Scanning package: PetriNetReplayer-1.2 scanning for plugins: file:/home/guancio/.ProM/packages/petrinetreplayer-1.2/PetriNetReplayer.jar Plugins found in cache. Plugin class org.processmining.plugins.petrinet.replayfitness.ReplayFitnessConnection could not be added as a plugin. At least one variant has to be specified. Processing Package: Fuzzy Scanning package: Fuzzy-1.2.2 scanning for plugins: file:/home/guancio/.ProM/packages/fuzzy-1.2.2/Fuzzy.jar Plugins found in cache. Processing Package: PomPom Scanning package: PomPom-1.2 scanning for plugins: file:/home/guancio/.ProM/packages/pompom-1.2/PomPom.jar Plugins found in cache. Processing Package: COSAImportExport Scanning package: COSAImportExport-1.1 scanning for plugins: file:/home/guancio/.ProM/packages/cosaimportexport-1.1/COSAImportExport.jar Plugins found in cache. Processing Package: TSPetrinet Scanning package: TSPetrinet-1.3 scanning for plugins: file:/home/guancio/.ProM/packages/tspetrinet-1.3/TSPetrinet.jar Plugins found in cache. Processing Package: BPM2010 Scanning package: BPM2010-1.1 scanning for plugins: file:/home/guancio/.ProM/packages/bpm2010-1.1/BPM2010.jar Plugins found in cache. Loading from: classpath Processing url: file:/home/guancio/Downloads/prom6/ProM6.jar Scanning for plugins: file:/home/guancio/Downloads/prom6/ProM6.jar Plugins found in cache. Plugin class org.processmining.models.connections.fuzzymodeladapted.FuzzyModelAdaptedConnection could not be added as a plugin. At least one variant has to be specified. Method public java.lang.Object org.processmining.plugins.log.OpenLogFilePlugin.openFile(org.processmining.contexts.gui.GUIPluginContext) throws java.lang.Exception could not be added as a plugin. The context should be asked as first parameter and should be a the same, or a superclass of org.processmining.contexts.uitopia.UIPluginContext. Method public org.processmining.models.connections.logmodel.LogPetrinetConnection org.processmining.plugins.connectionfactories.LogNetConnectionFactory.connect(org.processmining.contexts.gui.GUIPluginContext,org.deckfour.xes.model.XLog,org.deckfour.xes.classification.XEventClasses,org.processmining.models.graphbased.directed.petrinet.Petrinet) could not be added as a plugin. The context should be asked as first parameter and should be a the same, or a superclass of org.processmining.contexts.uitopia.UIPluginContext. Method public org.processmining.models.connections.logmodel.LogPetrinetConnection org.processmining.plugins.connectionfactories.LogNetConnectionFactory.connect(org.processmining.contexts.gui.GUIPluginContext,org.deckfour.xes.model.XLog,org.deckfour.xes.classification.XEventClasses,org.processmining.models.graphbased.directed.petrinet.ResetInhibitorNet) could not be added as a plugin. The context should be asked as first parameter and should be a the same, or a superclass of org.processmining.contexts.uitopia.UIPluginContext. Method public org.processmining.models.connections.logmodel.LogPetrinetConnection org.processmining.plugins.connectionfactories.LogNetConnectionFactory.connect(org.processmining.contexts.gui.GUIPluginContext,org.deckfour.xes.model.XLog,org.deckfour.xes.classification.XEventClasses,org.processmining.models.graphbased.directed.petrinet.ResetNet) could not be added as a plugin. The context should be asked as first parameter and should be a the same, or a superclass of org.processmining.contexts.uitopia.UIPluginContext. Method public org.processmining.models.connections.logmodel.LogPetrinetConnection org.processmining.plugins.connectionfactories.LogNetConnectionFactory.connect(org.processmining.contexts.gui.GUIPluginContext,org.deckfour.xes.model.XLog,org.deckfour.xes.classification.XEventClasses,org.processmining.models.graphbased.directed.petrinet.InhibitorNet) could not be added as a plugin. The context should be asked as first parameter and should be a the same, or a superclass of org.processmining.contexts.uitopia.UIPluginContext. Plugin class org.processmining.plugins.connectionfactories.LogNetConnectionFactory could not be added as a plugin. At least one variant has to be specified. Plugin class org.processmining.models.connections.fuzzymodel.FuzzyModelConnection could not be added as a plugin. At least one variant has to be specified. >>> Scanning for plugins took 1.277 seconds >>> Total startup took 3.162 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 2 max.) deserialization took: 5.724 seconds