Introduction

Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

export BK_INPUT=IBMB2S565S3960-PT-none
export BK_EXAMINATION=StateSpace
export BK_TOOL=pnxdd
export BK_RESULT_DIR=/tmp
export BK_LOG_FILE=/tmp/BenchKit_head_log_file.1650
export BIN_DIR=/home/mcc/BenchKit/bin
cd /home/mcc/BenchKit/INPUTS/IBMB2S565S3960-PT-none
echo =====================================================================
echo ' Generated by BenchKit 1.0'
echo ' Executing tool pnxdd:'
echo ' Test is IBMB2S565S3960-PT-none, examination is StateSpace'
echo =====================================================================
echo
echo --------------------
echo 'content from stdout:'
echo
bash /home/mcc/BenchKit/BenchKit_head.sh

Execution Outputs of pnxdd for IBMB2S565S3960/none (P/T)

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

execution on node 19: quadhexa-2.u-paris10.fr (runId=137107419400001_n_19)
=====================================================================
runnning pnxdd on IBMB2S565S3960-PT-none (StateSpace)
We got on stdout:
Probing ssh
Waiting ssh to respond
Ssh up and responding
=====================================================================
Generated by BenchKit 1.0
Executing tool pnxdd:
Test is IBMB2S565S3960-PT-none, examination is StateSpace
=====================================================================

--------------------
content from stdout:

START 1371282030
STATE_SPACE 1.55106e+16 TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL
STOP 1371284183

--------------------
content from stderr:

Exporting into cami...
[DEBUG] IdrefLinker - 572
[DEBUG] IdrefLinker - [arcId255, callToTask.s00003963.inputCriterion.s00001053.used, arcId254, arcId257, callToTask.s00003968.output.s00001077, arcId256, arcId251, arcId250, join.s00001163.input.s00001259, arcId253, arcId252, arcId259, arcId258, arcId81, decision.s00001840.fire.s00001075, arcId82, decision.s00001158.activated, decision.s00001840.fire.s00001073, arcId80, callToProcess.s00003904.input.s00001066, arcId89, callToTask.s00003963.inputCriterion.s00001053, arcId87, arcId88, arcId260, arcId85, arcId86, arcId83, arcId84, arcId246, arcId245, arcId244, arcId243, arcId242, arcId241, arcId240, decision.s00001123.activate.s00001072, callToTask.s00003968.output.s00001080, callToTask.s00003970.outputCriterion.s00001055, callToTask.s00003971.inputCriterion.s00001053.used, arcId249, arcId248, arcId247, arcId90, callToTask.s00003970.input.s00001068, arcId91, arcId92, arcId93, callToTask.s00003970.input.s00001066, arcId98, arcId99, arcId94, callToProcess.s00003904.input.s00001052, endNode.s00001401.input.default, arcId95, arcId96, arcId97, arcId273, arcId272, arcId275, arcId69, arcId274, arcId277, arcId276, arcId279, arcId278, callToTask.s00003968.output.s00001054, callToProcess.s00003880.outputCriterion.s00001055, arcId60, arcId63, arcId64, arcId61, arcId62, arcId67, arcId68, arcId280, arcId65, arcId281, arcId66, arcId282, merge.s00002240.activate.s00001065, arcId264, merge.s00002240.activate.s00001064, arcId263, arcId262, merge.s00002240.activate.s00001062, arcId261, callToProcess.s00003957.outputCriterion.s00001055, arcId268, arcId267, arcId266, arcId265, callToProcess.s00003904.outputCriterion.s00001055, arcId269, callToTask.s00003970.input.s00001052, merge.s00001162.activate.s00001067, merge.s00001162.activate.s00001062, merge.s00001162.activate.s00001065, arcId70, merge.s00001162.activate.s00001064, arcId71, arcId72, arcId73, arcId74, arcId75, arcId76, arcId270, arcId77, arcId271, arcId78, callToTask.s00003973.outputCriterion.s00001055, decision.s00001126.activated, arcId79, callToTask.s00003975.input.s00001066, callToTask.s00003975.output.s00001054, fork.s00002500.activate.s00001072, arcId298, callToTask.s00003969.input.s00001066, arcId299, decision.s00001157.fire.s00001073, arcId49, arcId294, arcId295, decision.s00001157.fire.s00001075, callToTask.s00003975.input.s00001068, arcId47, arcId296, arcId48, arcId297, arcId497, arcId46, arcId496, arcId45, arcId499, arcId44, arcId498, arcId43, arcId493, arcId42, arcId492, arcId41, arcId495, merge.s00001162.input.s00001843, arcId40, arcId494, merge.s00001162.input.s00001299, callToTask.s00003978.output.s00001077, fork.s00002755.activated.s00001075, callToTask.s00003975.input.s00001052, callToTask.s00003973.inputCriterion.s00001053.used, merge.s00002241.activate.s00001062, arcId490, merge.s00002241.activate.s00001064, arcId289, arcId491, arcId287, arcId288, arcId58, arcId285, arcId59, arcId286, arcId283, callToTask.s00003965.inputCriterion.s00001053, callToTask.s00003968.inputCriterion.s00001053.used, arcId284, arcId488, callToProcess.s00003904.inputCriterion.s00001053.used, arcId55, arcId293, arcId487, arcId54, arcId292, arcId486, arcId57, arcId291, arcId485, arcId56, arcId290, arcId484, arcId51, arcId483, callToTask.s00003978.output.s00001080, arcId50, arcId482, arcId53, arcId481, arcId52, join.s00001163.input.s00001066, fork.s00002755.activated.s00001073, arcId489, callToTask.s00003968.outputCriterion.s00001055, callToProcess.s00003957.inputCriterion.s00001053, callToProcess.s00003957.output.s00001077, arcId27, arcId28, arcId25, arcId26, decision.s00001158.activate.s00001072, arcId29, arcId20, arcId24, arcId23, arcId22, arcId21, callToTask.s00003976.outputCriterion.s00001055, decision.s00002055.fire.s00001075, decision.s00003021.activated, decision.s00002055.fire.s00001073, callToTask.s00003962.inputCriterion.s00001053, arcId36, arcId37, callToProcess.s00003872.inputCriterion.s00001053.used, callToTask.s00003969.input.s00001052, arcId38, arcId39, callToTask.s00003975.inputCriterion.s00001053, arcId31, arcId30, arcId33, arcId32, arcId35, arcId34, callToProcess.s00003957.output.s00001080, join.s00002243.activated.s00001065, join.s00002243.activated.s00001062, join.s00002243.activated.s00001064, merge.s00002238.activate.s00001062, process.s00000565__s00003960.output.s00001249, callToTask.s00003961.outputCriterion.s00001055, callToTask.s00003962.outputCriterion.s00001055, callToTask.s00003966.input.s00001068, decision.s00003020.fire.s00001073, decision.s00003020.fire.s00001075, callToTask.s00003981.outputCriterion.s00001055, decision.s00002761.fire.s00001073, merge.s00002239.fire.s00001069, decision.s00002761.fire.s00001075, callToTask.s00003908.output.s00001054, merge.s00001162.input.s00001052, callToProcess.s00003859.output.s00001077, callToTask.s00003967.inputCriterion.s00001053, callToTask.s00003975.output.s00001080, callToProcess.s00003880.input.s00001066, merge.s00002238.activate.s00001064, decision.s00001157.activate.s00001072, join.s00001163.activate.s00001065, merge.s00002238.activate.s00001065, join.s00001163.activate.s00001064, join.s00001163.activate.s00001062, callToProcess.s00003859.output.s00001080, callToTask.s00003970.inputCriterion.s00001053, callToProcess.s00003859.output.s00001083, decision.s00002760.fire.s00001078, callToTask.s00003968.inputCriterion.s00001053, decision.s00002760.fire.s00001075, callToTask.s00003975.output.s00001077, decision.s00002760.fire.s00001073, callToProcess.s00003880.input.s00001052, merge.s00001161.activate.s00001064, merge.s00001161.activate.s00001062, callToTask.s00003966.input.s00001052, callToTask.s00003979.inputCriterion.s00001053, callToTask.s00003908.output.s00001077, callToProcess.s00003904.output.s00001077, merge.s00001162.activate.s00001300, decision.s00002760.fire.s00001081, callToTask.s00003908.output.s00001083, fork.s00002500.input.s00001052, callToTask.s00003977.output.s00001077, callToTask.s00003974.outputCriterion.s00001055, callToProcess.s00001108.inputCriterion.s00001053, decision.s00002055.activated, callToTask.s00003961.output.s00001080, merge.s00002240.input.s00001052, callToTask.s00003969.inputCriterion.s00001053, fork.s00001298.input.s00001066, callToProcess.s00003904.output.s00001054, merge.s00001162.fire.s00001069, merge.s00001161.fire.s00001069, join.s00001164.input.s00001066, fork.s00001298.input.s00001068, callToTask.s00003973.output.s00001077, callToTask.s00003962.input.s00001052, decision.s00001157.activated, callToProcess.s00001108.outputCriterion.s00001055, merge.s00002240.input.s00001068, merge.s00002240.input.s00001066, callToProcess.s00003880.inputCriterion.s00001053.used, merge.s00001162.input.s00001068, merge.s00001162.input.s00001066, callToTask.s00003981.inputCriterion.s00001053, callToTask.s00003977.output.s00001054, fork.s00001298.input.s00001052, callToTask.s00003967.output.s00001054, callToTask.s00003962.input.s00001066, callToTask.s00003962.input.s00001068, callToProcess.s00003859.output.s00001054, fork.s00002500.input.s00001066, callToTask.s00003973.output.s00001054, join.s00001164.activated.s00001062, join.s00001164.activated.s00001064, callToTask.s00003969.outputCriterion.s00001055, callToProcess.s00003957.input.s00001052, merge.s00002239.input.s00001052, merge.s00001061.fire.s00001069, callToTask.s00003974.output.s00001077, callToTask.s00003971.inputCriterion.s00001053, merge.s00001160.input.s00001052, callToProcess.s00003884.inputCriterion.s00001053, callToProcess.s00003880.output.s00001077, callToTask.s00001360.inputCriterion.s00001053, merge.s00002239.input.s00001066, merge.s00002239.input.s00001068, merge.s00002240.fire.s00001069, callToTask.s00003970.output.s00001054, callToTask.s00003913.outputCriterion.s00001055, arcId119, arcId118, arcId117, arcId116, decision.s00002762.activated, arcId115, arcId114, arcId113, callToTask.s00001360.output.s00001054, arcId112, arcId111, arcId110, arcId509, arcId508, arcId506, arcId507, arcId504, arcId505, arcId502, arcId503, arcId500, arcId501, fork.s00001403.fire.s00001078, arcId109, arcId108, arcId105, fork.s00001403.fire.s00001075, arcId104, arcId107, arcId106, arcId101, callToProcess.s00003880.output.s00001054, arcId100, arcId103, fork.s00001403.fire.s00001073, arcId102, arcId519, arcId515, callToProcess.s00003859.input.s00001068, arcId516, arcId517, callToProcess.s00003859.input.s00001066, arcId518, callToProcess.s00003957.input.s00001068, arcId511, arcId512, callToProcess.s00003957.input.s00001066, arcId513, arcId514, decision.s00001840.activate.s00001072, arcId510, callToProcess.s00001108.inputCriterion.s00001053.used, callToTask.s00001360.output.s00001077, join.s00002243.input.s00001052, decision.s00002760.activated, callToProcess.s00003859.input.s00001052, callToTask.s00003976.inputCriterion.s00001053.used, callToTask.s00003981.output.s00001077, callToTask.s00003975.outputCriterion.s00001055, join.s00002243.input.s00001066, join.s00002243.input.s00001068, join.s00001164.input.s00001127, merge.s00001160.input.s00001068, merge.s00001160.input.s00001066, callToTask.s00003976.inputCriterion.s00001053, callToTask.s00003913.inputCriterion.s00001053.used, callToTask.s00003964.inputCriterion.s00001053, callToProcess.s00003884.input.s00001127, callToTask.s00003981.output.s00001054, callToTask.s00001360.outputCriterion.s00001055, merge.s00001160.fire.s00001069, process.s00000565__s00003960.inputCriterion.s00001053, callToTask.s00003970.output.s00001077, arcId566, arcId567, callToTask.s00003980.input.s00001068, arcId568, arcId569, callToTask.s00003980.input.s00001066, fork.s00001403.input.s00001052, arcId560, arcId561, arcId562, arcId12, arcId563, arcId13, arcId564, arcId10, arcId565, arcId11, arcId17, decision.s00001123.fire.s00001075, merge.s00001161.input.s00001052, arcId16, arcId15, arcId14, merge.s00001061.input.s00001068, arcId19, decision.s00001123.fire.s00001073, callToTask.s00003964.output.s00001077, arcId18, merge.s00001061.input.s00001066, arcId571, arcId572, callToTask.s00003972.inputCriterion.s00001053, arcId570, fork.s00001403.input.s00001066, decision.s00002761.activate.s00001072, process.s00000565__s00003960.outputCriterion.s00001055_omega, callToTask.s00003976.input.s00001052, arcId301, arcId300, callToTask.s00003964.output.s00001054, decision.s00001841.activated, arcId307, arcId306, arcId309, arcId308, arcId303, arcId302, arcId305, arcId304, merge.s00001160.activate.s00001065, merge.s00001160.activate.s00001064, callToProcess.s00001108.output.s00001077, callToTask.s00003976.input.s00001066, merge.s00001160.activate.s00001067, join.s00001163.input.s00001052, merge.s00001160.activate.s00001062, callToProcess.s00003859.inputCriterion.s00001053, callToTask.s00003966.inputCriterion.s00001053, arcId312, arcId311, callToTask.s00003981.input.s00001068, arcId310, callToTask.s00003981.input.s00001066, arcId319, arcId318, arcId317, arcId316, arcId315, merge.s00001061.input.s00001052, arcId314, arcId313, callToTask.s00003974.inputCriterion.s00001053.used, arcId521, arcId520, arcId523, arcId522, arcId525, arcId524, arcId527, arcId526, arcId529, arcId528, decision.s00003020.activated, arcId324, arcId325, arcId326, arcId327, arcId328, arcId329, join.s00002243.input.s00001263, arcId320, arcId321, arcId322, arcId323, callToTask.s00003980.inputCriterion.s00001053, arcId532, arcId531, callToTask.s00003981.input.s00001052, arcId530, arcId536, fork.s00001298.activated.s00001073, arcId535, fork.s00002500.fire.s00001075, arcId534, arcId533, arcId539, callToTask.s00003979.outputCriterion.s00001055, arcId538, callToTask.s00003980.inputCriterion.s00001053.used, fork.s00001298.activated.s00001075, arcId537, fork.s00002500.fire.s00001073, arcId337, arcId338, arcId335, arcId336, decision.s00002948.fire.s00001075, arcId339, decision.s00002948.fire.s00001073, arcId330, arcId333, arcId334, arcId331, arcId332, arcId541, arcId540, arcId543, arcId542, decision.s00003021.fire.s00001073, arcId549, arcId548, decision.s00003020.activate.s00001072, decision.s00003021.fire.s00001075, arcId545, arcId544, arcId547, arcId546, callToTask.s00003978.inputCriterion.s00001053.used, callToTask.s00003980.input.s00001052, callToProcess.s00003876.outputCriterion.s00001055, arcId346, arcId347, arcId348, arcId349, arcId342, arcId343, arcId344, arcId345, arcId340, arcId341, arcId554, arcId553, arcId552, arcId551, arcId550, arcId559, arcId558, arcId557, arcId556, arcId555, merge.s00001161.input.s00001068, merge.s00001161.input.s00001066, arcId359, callToTask.s00003972.outputCriterion.s00001055, arcId357, arcId358, callToTask.s00003972.inputCriterion.s00001053.used, arcId355, merge.s00002238.activated, arcId356, arcId353, arcId354, arcId351, arcId352, callToTask.s00003974.output.s00001054, arcId350, arcId159, arcId152, arcId151, arcId154, arcId153, arcId156, arcId155, arcId158, arcId157, callToTask.s00003964.input.s00001052, join.s00001164.activate.s00001064, callToTask.s00003971.output.s00001077, join.s00001164.activate.s00001062, arcId160, arcId161, callToTask.s00003964.inputCriterion.s00001053.used, arcId149, process.s00000565__s00003960.outputCriterion.s00001055, arcId148, arcId143, decision.s00001841.fire.s00001073, arcId142, arcId141, arcId140, callToProcess.s00003859.outputCriterion.s00001055, arcId147, arcId146, callToTask.s00003963.output.s00001054, merge.s00002239.activate.s00001064, arcId145, arcId144, arcId150, decision.s00002056.activated, callToProcess.s00003876.inputCriterion.s00001053.used, arcId138, arcId137, join.s00001164.fire.s00001069, arcId139, arcId134, arcId133, callToTask.s00003962.output.s00001077, arcId136, arcId135, arcId130, arcId132, arcId131, decision.s00001841.fire.s00001075, merge.s00002239.activated, merge.s00002239.activate.s00001062, callToTask.s00003962.output.s00001080, callToTask.s00003966.inputCriterion.s00001053.used, arcId129, arcId128, arcId127, arcId126, arcId125, decision.s00001841.activate.s00001072, arcId124, arcId123, arcId122, arcId121, arcId120, callToTask.s00001360.inputCriterion.s00001053.used, callToTask.s00003964.input.s00001066, arcId195, decision.s00001126.fire.s00001073, arcId196, arcId197, arcId198, arcId199, arcId394, arcId393, arcId396, arcId395, arcId398, arcId397, arcId399, arcId186, arcId187, arcId184, arcId185, arcId391, arcId392, arcId188, arcId390, arcId189, decision.s00002056.fire.s00001073, decision.s00002056.fire.s00001075, arcId385, arcId190, arcId384, arcId383, arcId382, arcId389, decision.s00002056.fire.s00001078, arcId194, arcId388, arcId193, arcId387, arcId192, arcId386, callToTask.s00003961.inputCriterion.s00001053, merge.s00002240.input.s00001127, arcId191, arcId177, arcId178, arcId380, callToTask.s00003971.output.s00001054, arcId179, arcId381, callToProcess.s00003872.input.s00001052, arcId173, arcId174, merge.s00002240.input.s00001129, arcId175, arcId176, callToProcess.s00003884.inputCriterion.s00001053.used, arcId379, callToProcess.s00003904.inputCriterion.s00001053, decision.s00001159.activated, alpha, arcId376, arcId181, arcId375, arcId180, arcId378, arcId183, arcId377, arcId182, arcId372, arcId371, arcId374, arcId373, arcId168, arcId370, merge.s00001160.activated, arcId169, callToProcess.s00003872.input.s00001066, arcId166, arcId167, arcId164, arcId165, arcId162, arcId163, merge.s00002240.activated, join.s00002243.activate.s00001064, join.s00002243.activate.s00001065, merge.s00001162.input.s00001166, arcId369, arcId368, merge.s00001162.input.s00001165, join.s00002243.activate.s00001062, merge.s00002238.fire.s00001069, arcId367, decision.s00001126.fire.s00001075, arcId172, arcId366, arcId171, arcId365, arcId170, arcId364, arcId363, arcId362, arcId361, arcId360, callToProcess.s00003872.output.s00001077, callToTask.s00003963.input.s00001052, callToTask.s00003969.inputCriterion.s00001053.used, decision.s00002760.activate.s00001072, fork.s00002501.fire.s00001073, fork.s00002501.fire.s00001075, merge.s00001061.activate.s00001062, merge.s00001061.activate.s00001064, merge.s00001061.activate.s00001065, merge.s00001061.activate.s00001067, callToTask.s00003969.output.s00001054, callToTask.s00003972.output.s00001054, callToTask.s00003981.inputCriterion.s00001053.used, callToTask.s00003965.output.s00001054, callToTask.s00003965.input.s00001066, n1, merge.s00001161.activated, callToProcess.s00003872.output.s00001054, fork.s00002500.activated.s00001073, fork.s00002500.activated.s00001075, callToTask.s00003965.input.s00001052, merge.s00001162.input.s00001128, merge.s00001162.input.s00001129, callToTask.s00003963.input.s00001066, merge.s00001162.input.s00001127, merge.s00001061.activated, callToTask.s00003969.output.s00001077, callToTask.s00003972.output.s00001077, callToTask.s00003969.output.s00001080, decision.s00002762.activate.s00001072, callToTask.s00003965.output.s00001077, callToTask.s00003979.inputCriterion.s00001053.used, callToTask.s00003965.inputCriterion.s00001053.used, callToTask.s00003975.input.s00001127, callToTask.s00003908.outputCriterion.s00001055, callToTask.s00003962.output.s00001054, join.s00002243.fire.s00001069, callToTask.s00003980.outputCriterion.s00001055, callToTask.s00003962.inputCriterion.s00001053.used, decision.s00002948.activate.s00001072, merge.s00002241.fire.s00001069, fork.s00001403.activated.s00001078, callToTask.s00003963.output.s00001077, fork.s00001403.activated.s00001073, fork.s00001403.activated.s00001075, callToTask.s00003913.output.s00001054, callToProcess.s00003957.inputCriterion.s00001053.used, callToTask.s00003908.input.s00001052, arcId4, arcId3, arcId2, arcId1, callToTask.s00003963.outputCriterion.s00001055, callToTask.s00003980.input.s00001127, arcId9, arcId8, arcId7, arcId6, callToTask.s00003977.outputCriterion.s00001055, arcId5, merge.s00001061.input.s00001127, decision.s00001159.activate.s00001072, callToProcess.s00003876.output.s00001054, callToTask.s00003971.outputCriterion.s00001055, merge.s00001160.input.s00001166, join.s00001163.activated.s00001065, join.s00001163.activated.s00001064, callToTask.s00003913.output.s00001077, callToTask.s00003966.outputCriterion.s00001055, merge.s00001160.input.s00001165, callToTask.s00003979.output.s00001077, callToTask.s00003972.input.s00001052, callToTask.s00003964.outputCriterion.s00001055, join.s00001163.activated.s00001062, callToTask.s00003977.input.s00001052, endNode.s00001402.input.default, callToTask.s00003973.inputCriterion.s00001053, decision.s00002056.activate.s00001072, callToTask.s00003978.outputCriterion.s00001055, join.s00001163.fire.s00001069, callToProcess.s00003884.outputCriterion.s00001055, callToTask.s00003977.input.s00001066, callToProcess.s00003876.output.s00001077, callToTask.s00003970.inputCriterion.s00001053.used, callToTask.s00003972.input.s00001066, fork.s00002501.activated.s00001075, callToTask.s00003965.outputCriterion.s00001055, callToProcess.s00003876.input.s00001066, decision.s00002948.activated, callToTask.s00003979.output.s00001054, merge.s00001162.activate.s00001260, merge.s00001162.activate.s00001262, callToProcess.s00003859.inputCriterion.s00001053.used, fork.s00002501.activated.s00001073, merge.s00001061.input.s00001165, merge.s00001061.input.s00001166, join.s00001164.input.s00001052, callToProcess.s00003876.input.s00001052, callToProcess.s00003884.input.s00001052, callToTask.s00003980.output.s00001054, decision.s00002055.activate.s00001072, callToTask.s00003977.inputCriterion.s00001053, decision.s00001840.activated, merge.s00001162.activated, callToProcess.s00003884.input.s00001066, callToProcess.s00003884.input.s00001068, callToTask.s00003980.output.s00001080, callToProcess.s00003876.inputCriterion.s00001053, callToTask.s00003980.output.s00001083, callToTask.s00003908.inputCriterion.s00001053.used, callToTask.s00003974.inputCriterion.s00001053, callToTask.s00003980.output.s00001077, fork.s00001071.fire.s00001073, fork.s00001071.fire.s00001075, callToProcess.s00003876.input.s00001068, callToTask.s00003908.input.s00001066, arcId463, arcId464, arcId465, arcId466, callToTask.s00003913.input.s00001052, arcId460, arcId461, callToProcess.s00003880.inputCriterion.s00001053, arcId462, arcId467, callToTask.s00003976.output.s00001054, arcId468, arcId469, join.s00002243.input.s00001167, join.s00002243.input.s00001166, page, decision.s00001158.fire.s00001073, fork.s00001298.activate.s00001072, decision.s00001158.fire.s00001075, callToTask.s00003978.inputCriterion.s00001053, arcId476, arcId477, arcId474, callToTask.s00003913.input.s00001066, arcId475, arcId472, decision.s00001123.activated, fork.s00001298.fire.s00001073, arcId473, arcId470, fork.s00001298.fire.s00001075, arcId471, process.s00000565__s00003960.input.s00001052, arcId478, arcId479, callToProcess.s00003884.output.s00001054, arcId480, merge.s00002238.input.s00001052, decision.s00001126.activate.s00001072, arcId440, arcId441, arcId442, arcId443, arcId444, arcId445, arcId446, callToTask.s00003975.inputCriterion.s00001053.used, callToTask.s00003976.output.s00001077, arcId447, arcId448, arcId449, callToTask.s00003913.inputCriterion.s00001053, callToProcess.s00003884.output.s00001083, fork.s00002755.activate.s00001072, callToProcess.s00003872.inputCriterion.s00001053, merge.s00001161.input.s00001127, merge.s00001161.input.s00001128, arcId450, arcId451, merge.s00002238.input.s00001066, arcId454, arcId455, callToProcess.s00003872.outputCriterion.s00001055, arcId452, arcId453, merge.s00001161.input.s00001129, arcId458, arcId459, arcId456, arcId457, merge.s00002241.activated, decision.s00002762.fire.s00001073, decision.s00002762.fire.s00001075, fork.s00001403.activate.s00001072, arcId428, fork.s00002755.fire.s00001075, arcId427, join.s00002243.input.s00001127, fork.s00002755.fire.s00001073, arcId429, callToTask.s00003967.outputCriterion.s00001055, arcId424, arcId423, arcId426, arcId425, arcId420, arcId422, arcId421, arcId221, arcId222, arcId223, arcId224, arcId220, callToTask.s00003971.input.s00001066, arcId229, callToTask.s00003967.inputCriterion.s00001053.used, decision.s00001159.fire.s00001073, arcId225, arcId226, join.s00001163.input.s00001128, fork.s00002501.activate.s00001072, arcId227, arcId228, callToTask.s00003961.inputCriterion.s00001053.used, arcId439, arcId438, arcId437, arcId436, arcId435, decision.s00001159.fire.s00001075, arcId434, decision.s00002761.activated, arcId433, arcId432, arcId431, arcId430, fork.s00001071.activated.s00001075, fork.s00001071.activated.s00001073, arcId234, arcId235, arcId232, arcId233, arcId230, arcId231, callToTask.s00003971.input.s00001052, arcId238, arcId239, arcId236, arcId237, arcId402, arcId401, arcId404, arcId403, arcId406, arcId405, arcId408, arcId407, arcId400, callToProcess.s00001108.input.s00001066, callToTask.s00003966.output.s00001054, arcId200, arcId201, arcId202, arcId409, arcId203, arcId204, callToTask.s00003973.input.s00001052, endNode.s00002053.input.default, arcId205, arcId206, arcId207, arcId208, arcId209, merge.s00001160.input.s00001127, decision.s00003021.activate.s00001072, arcId415, arcId414, callToTask.s00003977.inputCriterion.s00001053.used, arcId413, arcId412, arcId419, arcId418, callToTask.s00003908.inputCriterion.s00001053, arcId417, arcId416, arcId411, arcId410, arcId212, arcId213, arcId210, arcId211, fork.s00001071.activate.s00001072, arcId216, arcId217, arcId214, arcId215, callToTask.s00003973.input.s00001068, arcId218, callToTask.s00003973.input.s00001066, arcId219]
Input PNML document contains PT net(s).
[INFO] monJournal - fr.lip6.move.pnml.cpnami.cami.constructor.CamiExporter#exportCamiNodes: Building model nodes...
[INFO] monJournal - fr.lip6.move.pnml.cpnami.cami.constructor.CamiExporter#exportCamiNodes: Building model nodes positions
[INFO] monJournal - fr.lip6.move.pnml.cpnami.cami.constructor.CamiExporter#exportCamiText: Building model textual attributes...
[INFO] monJournal - fr.lip6.move.pnml.cpnami.cami.constructor.CamiExporter#exportCamiText: Building model nodes textual attributes positions...
[INFO] monJournal - fr.lip6.move.pnml.cpnami.cami.constructor.CamiExporter#BuildCamiModelFromRepository: model built in model.cami
[INFO] monJournal - Runner: PNML model(s) exported into CAMI.
See: model.cami

--------------------
content from /tmp/BenchKit_head_log_file.1650: