Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2019-input.r201-csrt-155286434000327.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2019-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
............................................................................
=====================================================================
Generated by BenchKit 2-3954
Executing tool itstoolsm
Input is SimpleLoadBal-PT-20, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r201-csrt-155286434000327
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.2M
-rw-r--r-- 1 mcc users 3.7K Feb 12 18:43 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 12 18:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.4K Feb 9 02:04 CTLFireability.txt
-rw-r--r-- 1 mcc users 25K Feb 9 02:04 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 106 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 344 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.7K Feb 5 01:30 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K Feb 5 01:30 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 4 22:48 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.4K Feb 4 22:48 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Feb 4 20:38 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 4 20:38 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.4K Feb 1 20:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 22K Feb 1 20:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:30 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 4 22:30 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:35 equiv_col
-rw-r--r-- 1 mcc users 3 Jan 29 09:35 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:35 iscolored
-rw-r--r-- 1 mcc users 2.0M Mar 10 17:31 model.pnml

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

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME SimpleLoadBal-PT-20-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1553804689750

Working with output stream class java.io.PrintStream
Flatten gal took : 1655 ms
Performed 2 Post agglomeration using F-continuation condition.
Constant places removed 2 places and 0 transitions.
Iterating post reduction 0 with 2 rules applied. Total rules applied 2 place count 192 transition count 2203
Performed 20 Post agglomeration using F-continuation condition.
Constant places removed 40 places and 0 transitions.
Iterating post reduction 1 with 40 rules applied. Total rules applied 42 place count 152 transition count 2183
Performed 20 Post agglomeration using F-continuation condition.
Constant places removed 20 places and 0 transitions.
Iterating post reduction 2 with 20 rules applied. Total rules applied 62 place count 132 transition count 2163
Applied a total of 62 rules in 217 ms. Remains 132 /194 variables (removed 62) and now considering 2163/2205 (removed 42) transitions.
Random walk for 250 k steps run took 10741 ms.
Normalized transition count is 1703
// Phase 1: matrix 1703 rows 132 cols
Random walk for 4 * 500 k steps run took 39970 ms.
Using solver Z3 to compute partial order matrices.
Built C files in :
/home/mcc/execution
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit//lts_install_dir//include, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/home/mcc/execution]
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit//greatspn//bin/pinvar, /home/mcc/execution/gspn], workingDir=/home/mcc/execution]
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit//greatspn//bin/RGMEDD2, /home/mcc/execution/gspn, -META, -varord-only], workingDir=/home/mcc/execution]
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Using order generated by GreatSPN with heuristic : META
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201903251645/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /home/mcc/execution/GlobalProperties.pnml.gal, -t, CGAL, -ctl, DEADLOCK, --load-order, /home/mcc/execution/model.ord], workingDir=/home/mcc/execution]

its-ctl command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201903251645/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /home/mcc/execution/GlobalProperties.pnml.gal -t CGAL -ctl DEADLOCK --load-order /home/mcc/execution/model.ord
Successfully loaded order from file /home/mcc/execution/model.ord
No direction supplied, using forward translation only.
Compilation finished in 69224 ms.
Running link step : CommandLine [args=[gcc, -shared, -o, gal.so, model.o], workingDir=/home/mcc/execution]
Link finished in 192 ms.
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, -d], workingDir=/home/mcc/execution]
Detected timeout of ITS tools.
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201903251645/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /home/mcc/execution/GlobalProperties.pnml.gal, -t, CGAL, -ctl, DEADLOCK], workingDir=/home/mcc/execution]

its-ctl command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201903251645/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /home/mcc/execution/GlobalProperties.pnml.gal -t CGAL -ctl DEADLOCK
No direction supplied, using forward translation only.
Detected timeout of ITS tools.
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.201903251645/bin/convert-linux64, -i, /tmp/graph8092378711734050801.txt, -o, /tmp/graph8092378711734050801.bin, -w, /tmp/graph8092378711734050801.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.201903251645/bin/louvain-linux64, /tmp/graph8092378711734050801.bin, -l, -1, -v, -w, /tmp/graph8092378711734050801.weights, -q, 0, -e, 0.001], workingDir=null]
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201903251645/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /home/mcc/execution/GlobalProperties.pnml.gal, -t, CGAL, -ctl, DEADLOCK], workingDir=/home/mcc/execution]

its-ctl command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201903251645/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /home/mcc/execution/GlobalProperties.pnml.gal -t CGAL -ctl DEADLOCK
No direction supplied, using forward translation only.
built 173 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 48 ordering constraints for composite.
built 40 ordering constraints for composite.
built 48 ordering constraints for composite.
built 46 ordering constraints for composite.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,1.06189e+11,5.43116,55392,3632,96,91818,400,2152,88271,107,1226,0


Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
dead,0,6.955,55392,1,0,91818,1538,5923,88271,374,5856,127835

System contains 0 deadlocks (shown below if less than --print-limit option) !
FORMULA SimpleLoadBal-PT-20-GlobalProperties-0 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
[ 0 ]
WARNING : LTS min runner thread was asked to interrupt. Dying gracefully.

BK_STOP 1553807186160

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

+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ GlobalProperties = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution GlobalProperties -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -greatspnpath /home/mcc/BenchKit//greatspn/ -order META -manyOrder -smt
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ /home/mcc/BenchKit//itstools/its-tools -data /home/mcc/execution/workspace -pnfolder /home/mcc/execution -examination GlobalProperties -z3path /home/mcc/BenchKit//z3/bin/z3 -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -greatspnpath /home/mcc/BenchKit//greatspn/ -order META -manyOrder -smt -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=/tmp/.eclipse -Xss8m -Xms40m -Xmx8192m -Dfile.encoding=UTF-8 -Dosgi.requiredJavaVersion=1.6
Mar 28, 2019 8:24:53 PM fr.lip6.move.gal.application.Application start
INFO: Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, GlobalProperties, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -its, -ltsminpath, /home/mcc/BenchKit//lts_install_dir/, -greatspnpath, /home/mcc/BenchKit//greatspn/, -order, META, -manyOrder, -smt]
Mar 28, 2019 8:24:53 PM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Mar 28, 2019 8:24:53 PM fr.lip6.move.gal.nupn.PTNetReader loadFromXML
INFO: Load time of PNML (sax parser for PT used): 337 ms
Mar 28, 2019 8:24:53 PM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 194 places.
Mar 28, 2019 8:24:54 PM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 2205 transitions.
Mar 28, 2019 8:24:55 PM fr.lip6.move.gal.instantiate.PropertySimplifier evalInInitialState
WARNING: Unexpected boolean logic operator in evalInInitialState fr.lip6.move.gal.impl.EXImpl
Mar 28, 2019 8:24:55 PM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property SimpleLoadBal-PT-20-GlobalProperties-0 is trivially true : it is verified in initial state.
Mar 28, 2019 8:24:55 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 1649 ms
Mar 28, 2019 8:24:56 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/model.pnml.simple.gal : 107 ms
Mar 28, 2019 8:24:57 PM fr.lip6.move.gal.semantics.DeterministicNextBuilder getDeterministicNext
INFO: Input system was already deterministic with 2205 transitions.
Mar 28, 2019 8:25:52 PM fr.lip6.move.gal.semantics.DeterministicNextBuilder getDeterministicNext
INFO: Input system was already deterministic with 2163 transitions.
Mar 28, 2019 8:25:52 PM fr.lip6.move.gal.gal2pins.Gal2PinsTransformerNext transform
INFO: Too many transitions (2163) to apply POR reductions. Disabling POR matrices.
Mar 28, 2019 8:25:52 PM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property SimpleLoadBal-PT-20-GlobalProperties-0 is trivially true : it is verified in initial state.
Mar 28, 2019 8:25:52 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 1462 ms
Mar 28, 2019 8:25:53 PM fr.lip6.move.gal.gal2pins.Gal2PinsTransformerNext transform
INFO: Built C files in 2439ms conformant to PINS in folder :/home/mcc/execution
Mar 28, 2019 8:25:53 PM fr.lip6.move.gal.semantics.DeterministicNextBuilder getDeterministicNext
INFO: Input system was already deterministic with 2163 transitions.
Mar 28, 2019 8:25:53 PM fr.lip6.move.gal.application.StructuralToGreatSPN handlePage
INFO: Transformed 132 places.
Mar 28, 2019 8:25:53 PM fr.lip6.move.gal.application.StructuralToGreatSPN handlePage
INFO: Transformed 2163 transitions.
Mar 28, 2019 8:25:54 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/GlobalProperties.pnml.gal : 46 ms
Mar 28, 2019 8:45:56 PM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property SimpleLoadBal-PT-20-GlobalProperties-0 is trivially true : it is verified in initial state.
Mar 28, 2019 8:45:56 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 1405 ms
Mar 28, 2019 8:45:56 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/GlobalProperties.pnml.gal : 79 ms
Mar 28, 2019 9:05:57 PM fr.lip6.move.gal.application.MccTranslator applyOrder
INFO: Applying decomposition
Mar 28, 2019 9:05:59 PM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property SimpleLoadBal-PT-20-GlobalProperties-0 is trivially true : it is verified in initial state.
Mar 28, 2019 9:05:59 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 1695 ms
Mar 28, 2019 9:06:00 PM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property SimpleLoadBal-PT-20-GlobalProperties-0 is trivially true : it is verified in initial state.
Mar 28, 2019 9:06:00 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 1233 ms
Begin: Thu Mar 28 21:06:02 2019

Computation of communities with the Newman-Girvan Modularity quality function

level 0:
start computation: Thu Mar 28 21:06:02 2019
network size: 132 nodes, 6078 links, 4326 weight
quality increased from -0.034356 to 0.208437
end computation: Thu Mar 28 21:06:02 2019
level 1:
start computation: Thu Mar 28 21:06:02 2019
network size: 33 nodes, 623 links, 4326 weight
quality increased from 0.208437 to 0.231722
end computation: Thu Mar 28 21:06:02 2019
level 2:
start computation: Thu Mar 28 21:06:02 2019
network size: 25 nodes, 281 links, 4326 weight
quality increased from 0.231722 to 0.231722
end computation: Thu Mar 28 21:06:02 2019
End: Thu Mar 28 21:06:02 2019
Total duration: 0 sec
0.231722
Mar 28, 2019 9:06:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder decomposeWithOrder
INFO: Decomposing Gal with order
Mar 28, 2019 9:06:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting arrays to variables to allow decomposition.
Mar 28, 2019 9:06:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 333 events :t1336,t1335,t1334,t1316,t1315,t1314,t916,t916,t916,t916,t916,t916,t916,t916,t916,t916,t916,t916,t916,t916,t916,t916,t916,t916,t916,t916,t2005,t2005,t2005,t2005,t2005,t2005,t2005,t2005,t2005,t2005,t2005,t2005,t2005,t2005,t2005,t2005,t2005,t2005,t2005,t1985,t1985,t1985,t1985,t1985,t1985,t1985,t1985,t1985,t1985,t1985,t1985,t1985,t1985,t1985,t1985,t1985,t1985,t1985,t1314,t1314,t1314,t1314,t1314,t1314,t1314,t1314,t1314,t1314,t1314,t1314,t1314,t1314,t1314,t1314,t1314,t1314,t1314,t1314,t129,t129,t129,t129,t129,t129,t129,t129,t129,t129,t129,t129,t129,t129,t129,t129,t129,t129,t129,t129,t1625,t1625,t1625,t1625,t1625,t1625,t1625,t1625,t1625,t1625,t1625,t1625,t1625,t1625,t1625,t1625,t1625,t1625,t1625,t1605,t1605,t1605,t1605,t1605,t1605,t1605,t1605,t1605,t1605,t1605,t1605,t1605,t1605,t1605,t1605,t1605,t1605,t1605,t1334,t1334,t1334,t1334,t1334,t1334,t1334,t1334,t1334,t1334,t1334,t1334,t1334,t1334,t1334,t1334,t1334,t1334,t1334,t1334,t916,t915,t914,t916,t915,t914,t916,t915,t914,t916,t915,t914,t916,t915,t914,t916,t915,t914,t916,t915,t914,t916,t915,t914,t916,t915,t914,t916,t915,t914,t916,t915,t914,t916,t915,t914,t916,t915,t914,t916,t915,t914,t916,t915,t914,t916,t915,t914,t916,t915,t914,t916,t915,t914,t916,t915,t914,t129,t128,t127,t126,t125,t124,t129,t128,t127,t126,t125,t124,t129,t128,t127,t126,t125,t124,t129,t128,t127,t126,t125,t124,t129,t128,t127,t126,t125,t124,t129,t128,t127,t126,t125,t124,t129,t128,t127,t126,t125,t124,t129,t128,t127,t126,t125,t124,t129,t128,t127,t126,t125,t124,t129,t128,t127,t126,t125,t124,t129,t128,t127,t126,t125,t124,t129,t128,t127,t126,t125,t124,t129,t128,t127,t126,t125,t124,t129,t128,t127,t126,t125,t124,t129,t128,t127,t126,t125,t124,t129,t128,t127,t126,t125,t124,t129,t128,t127,t126,t125,t124,t129,t128,t127,t126,t125,t124,t129,t128,t127,t126,t125,t124,
Mar 28, 2019 9:06:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 333 events :t1341,t1340,t1339,t1321,t1320,t1319,t921,t921,t921,t921,t921,t921,t921,t921,t921,t921,t921,t921,t921,t921,t921,t921,t921,t921,t921,t921,t2105,t2105,t2105,t2105,t2105,t2105,t2105,t2105,t2105,t2105,t2105,t2105,t2105,t2105,t2105,t2105,t2105,t2105,t2105,t2085,t2085,t2085,t2085,t2085,t2085,t2085,t2085,t2085,t2085,t2085,t2085,t2085,t2085,t2085,t2085,t2085,t2085,t2085,t1319,t1319,t1319,t1319,t1319,t1319,t1319,t1319,t1319,t1319,t1319,t1319,t1319,t1319,t1319,t1319,t1319,t1319,t1319,t1319,t139,t139,t139,t139,t139,t139,t139,t139,t139,t139,t139,t139,t139,t139,t139,t139,t139,t139,t139,t139,t1725,t1725,t1725,t1725,t1725,t1725,t1725,t1725,t1725,t1725,t1725,t1725,t1725,t1725,t1725,t1725,t1725,t1725,t1725,t1705,t1705,t1705,t1705,t1705,t1705,t1705,t1705,t1705,t1705,t1705,t1705,t1705,t1705,t1705,t1705,t1705,t1705,t1705,t1339,t1339,t1339,t1339,t1339,t1339,t1339,t1339,t1339,t1339,t1339,t1339,t1339,t1339,t1339,t1339,t1339,t1339,t1339,t1339,t921,t920,t919,t921,t920,t919,t921,t920,t919,t921,t920,t919,t921,t920,t919,t921,t920,t919,t921,t920,t919,t921,t920,t919,t921,t920,t919,t921,t920,t919,t921,t920,t919,t921,t920,t919,t921,t920,t919,t921,t920,t919,t921,t920,t919,t921,t920,t919,t921,t920,t919,t921,t920,t919,t921,t920,t919,t139,t138,t137,t136,t135,t134,t139,t138,t137,t136,t135,t134,t139,t138,t137,t136,t135,t134,t139,t138,t137,t136,t135,t134,t139,t138,t137,t136,t135,t134,t139,t138,t137,t136,t135,t134,t139,t138,t137,t136,t135,t134,t139,t138,t137,t136,t135,t134,t139,t138,t137,t136,t135,t134,t139,t138,t137,t136,t135,t134,t139,t138,t137,t136,t135,t134,t139,t138,t137,t136,t135,t134,t139,t138,t137,t136,t135,t134,t139,t138,t137,t136,t135,t134,t139,t138,t137,t136,t135,t134,t139,t138,t137,t136,t135,t134,t139,t138,t137,t136,t135,t134,t139,t138,t137,t136,t135,t134,t139,t138,t137,t136,t135,t134,
Mar 28, 2019 9:06:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 19 events :t60.t81.t20.t0,t60.t81.t20.t0,t60.t81.t20.t0,t60.t81.t20.t0,t60.t81.t20.t0,t60.t81.t20.t0,t60.t81.t20.t0,t60.t81.t20.t0,t60.t81.t20.t0,t60.t81.t20.t0,t60.t81.t20.t0,t60.t81.t20.t0,t60.t81.t20.t0,t60.t81.t20.t0,t60.t81.t20.t0,t60.t81.t20.t0,t60.t81.t20.t0,t60.t81.t20.t0,t60.t81.t20.t0,
Mar 28, 2019 9:06:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 293 events :t1343,t1342,t1341,t1323,t1322,t1321,t2145,t2145,t2145,t2145,t2145,t2145,t2145,t2145,t2145,t2145,t2145,t2145,t2145,t2145,t2145,t2145,t2145,t2145,t2145,t2125,t2125,t2125,t2125,t2125,t2125,t2125,t2125,t2125,t2125,t2125,t2125,t2125,t2125,t2125,t2125,t2125,t2125,t2125,t1321,t1321,t1321,t1321,t1321,t1321,t1321,t1321,t1321,t1321,t1321,t1321,t1321,t1321,t1321,t1321,t1321,t1321,t1321,t1321,t1765,t1765,t1765,t1765,t1765,t1765,t1765,t1765,t1765,t1765,t1765,t1765,t1765,t1765,t1765,t1765,t1765,t1765,t1765,t1745,t1745,t1745,t1745,t1745,t1745,t1745,t1745,t1745,t1745,t1745,t1745,t1745,t1745,t1745,t1745,t1745,t1745,t1745,t1341,t1341,t1341,t1341,t1341,t1341,t1341,t1341,t1341,t1341,t1341,t1341,t1341,t1341,t1341,t1341,t1341,t1341,t1341,t1341,t923,t922,t921,t923,t922,t921,t923,t922,t921,t923,t922,t921,t923,t922,t921,t923,t922,t921,t923,t922,t921,t923,t922,t921,t923,t922,t921,t923,t922,t921,t923,t922,t921,t923,t922,t921,t923,t922,t921,t923,t922,t921,t923,t922,t921,t923,t922,t921,t923,t922,t921,t923,t922,t921,t923,t922,t921,t143,t142,t141,t140,t139,t138,t143,t142,t141,t140,t139,t138,t143,t142,t141,t140,t139,t138,t143,t142,t141,t140,t139,t138,t143,t142,t141,t140,t139,t138,t143,t142,t141,t140,t139,t138,t143,t142,t141,t140,t139,t138,t143,t142,t141,t140,t139,t138,t143,t142,t141,t140,t139,t138,t143,t142,t141,t140,t139,t138,t143,t142,t141,t140,t139,t138,t143,t142,t141,t140,t139,t138,t143,t142,t141,t140,t139,t138,t143,t142,t141,t140,t139,t138,t143,t142,t141,t140,t139,t138,t143,t142,t141,t140,t139,t138,t143,t142,t141,t140,t139,t138,t143,t142,t141,t140,t139,t138,t143,t142,t141,t140,t139,t138,
Mar 28, 2019 9:06:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 94 events :t1798,t1798,t1798,t1798,t1798,t1798,t1798,t1798,t1798,t1798,t1798,t1798,t1798,t1798,t1798,t1798,t1798,t1798,t1418,t1418,t1418,t1418,t1418,t1418,t1418,t1418,t1418,t1418,t1418,t1418,t1418,t1418,t1418,t1418,t1418,t1418,t1164,t1164,t1164,t1164,t1164,t1164,t1164,t1164,t1164,t1164,t1164,t1164,t1164,t1164,t1164,t1164,t1164,t1164,t1164,t624,t624,t624,t624,t624,t624,t624,t624,t624,t624,t624,t624,t624,t624,t624,t624,t624,t624,t624,t624,t624,t624,t624,t624,t624,t624,t624,t624,t624,t624,t624,t624,t624,t624,t624,t624,t624,t624,t624,
Mar 28, 2019 9:06:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 94 events :t1797,t1797,t1797,t1797,t1797,t1797,t1797,t1797,t1797,t1797,t1797,t1797,t1797,t1797,t1797,t1797,t1797,t1797,t1417,t1417,t1417,t1417,t1417,t1417,t1417,t1417,t1417,t1417,t1417,t1417,t1417,t1417,t1417,t1417,t1417,t1417,t1144,t1144,t1144,t1144,t1144,t1144,t1144,t1144,t1144,t1144,t1144,t1144,t1144,t1144,t1144,t1144,t1144,t1144,t1144,t584,t584,t584,t584,t584,t584,t584,t584,t584,t584,t584,t584,t584,t584,t584,t584,t584,t584,t584,t584,t584,t584,t584,t584,t584,t584,t584,t584,t584,t584,t584,t584,t584,t584,t584,t584,t584,t584,t584,
Mar 28, 2019 9:06:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 430 events :t1339,t1338,t1337,t1336,t1319,t1318,t1317,t1316,t919,t919,t919,t919,t919,t919,t919,t919,t919,t919,t919,t919,t919,t919,t919,t919,t919,t919,t919,t919,t2065,t2065,t2065,t2065,t2065,t2065,t2065,t2065,t2065,t2065,t2065,t2065,t2065,t2065,t2065,t2065,t2065,t2065,t2065,t2045,t2045,t2045,t2045,t2045,t2045,t2045,t2045,t2045,t2045,t2045,t2045,t2045,t2045,t2045,t2045,t2045,t2045,t2045,t2025,t2025,t2025,t2025,t2025,t2025,t2025,t2025,t2025,t2025,t2025,t2025,t2025,t2025,t2025,t2025,t2025,t2025,t2025,t1316,t1316,t1316,t1316,t1316,t1316,t1316,t1316,t1316,t1316,t1316,t1316,t1316,t1316,t1316,t1316,t1316,t1316,t1316,t1316,t135,t135,t135,t135,t135,t135,t135,t135,t135,t135,t135,t135,t135,t135,t135,t135,t135,t135,t135,t135,t1685,t1685,t1685,t1685,t1685,t1685,t1685,t1685,t1685,t1685,t1685,t1685,t1685,t1685,t1685,t1685,t1685,t1685,t1685,t1665,t1665,t1665,t1665,t1665,t1665,t1665,t1665,t1665,t1665,t1665,t1665,t1665,t1665,t1665,t1665,t1665,t1665,t1665,t1645,t1645,t1645,t1645,t1645,t1645,t1645,t1645,t1645,t1645,t1645,t1645,t1645,t1645,t1645,t1645,t1645,t1645,t1645,t1336,t1336,t1336,t1336,t1336,t1336,t1336,t1336,t1336,t1336,t1336,t1336,t1336,t1336,t1336,t1336,t1336,t1336,t1336,t1336,t919,t918,t917,t916,t919,t918,t917,t916,t919,t918,t917,t916,t919,t918,t917,t916,t919,t918,t917,t916,t919,t918,t917,t916,t919,t918,t917,t916,t919,t918,t917,t916,t919,t918,t917,t916,t919,t918,t917,t916,t919,t918,t917,t916,t919,t918,t917,t916,t919,t918,t917,t916,t919,t918,t917,t916,t919,t918,t917,t916,t919,t918,t917,t916,t919,t918,t917,t916,t919,t918,t917,t916,t919,t918,t917,t916,t135,t134,t133,t132,t131,t130,t129,t128,t135,t134,t133,t132,t131,t130,t129,t128,t135,t134,t133,t132,t131,t130,t129,t128,t135,t134,t133,t132,t131,t130,t129,t128,t135,t134,t133,t132,t131,t130,t129,t128,t135,t134,t133,t132,t131,t130,t129,t128,t135,t134,t133,t132,t131,t130,t129,t128,t135,t134,t133,t132,t131,t130,t129,t128,t135,t134,t133,t132,t131,t130,t129,t128,t135,t134,t133,t132,t131,t130,t129,t128,t135,t134,t133,t132,t131,t130,t129,t128,t135,t134,t133,t132,t131,t130,t129,t128,t135,t134,t133,t132,t131,t130,t129,t128,t135,t134,t133,t132,t131,t130,t129,t128,t135,t134,t133,t132,t131,t130,t129,t128,t135,t134,t133,t132,t131,t130,t129,t128,t135,t134,t133,t132,t131,t130,t129,t128,t135,t134,t133,t132,t131,t130,t129,t128,t135,t134,t133,t132,t131,t130,t129,t128,
Mar 28, 2019 9:06:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 390 events :t1327,t1326,t1325,t1324,t1307,t1306,t1305,t1304,t907,t907,t907,t907,t907,t907,t907,t907,t907,t907,t907,t907,t907,t907,t907,t907,t907,t907,t907,t907,t1825,t1825,t1825,t1825,t1825,t1825,t1825,t1825,t1825,t1825,t1825,t1825,t1825,t1825,t1825,t1825,t1825,t1825,t1825,t1805,t1805,t1805,t1805,t1805,t1805,t1805,t1805,t1805,t1805,t1805,t1805,t1805,t1805,t1805,t1805,t1805,t1805,t1805,t1785,t1785,t1785,t1785,t1785,t1785,t1785,t1785,t1785,t1785,t1785,t1785,t1785,t1785,t1785,t1785,t1785,t1785,t1785,t111,t111,t111,t111,t111,t111,t111,t111,t111,t111,t111,t111,t111,t111,t111,t111,t111,t111,t111,t111,t1445,t1445,t1445,t1445,t1445,t1445,t1445,t1445,t1445,t1445,t1445,t1445,t1445,t1445,t1445,t1445,t1445,t1445,t1445,t1425,t1425,t1425,t1425,t1425,t1425,t1425,t1425,t1425,t1425,t1425,t1425,t1425,t1425,t1425,t1425,t1425,t1425,t1425,t1405,t1405,t1405,t1405,t1405,t1405,t1405,t1405,t1405,t1405,t1405,t1405,t1405,t1405,t1405,t1405,t1405,t1405,t1405,t907,t906,t905,t904,t907,t906,t905,t904,t907,t906,t905,t904,t907,t906,t905,t904,t907,t906,t905,t904,t907,t906,t905,t904,t907,t906,t905,t904,t907,t906,t905,t904,t907,t906,t905,t904,t907,t906,t905,t904,t907,t906,t905,t904,t907,t906,t905,t904,t907,t906,t905,t904,t907,t906,t905,t904,t907,t906,t905,t904,t907,t906,t905,t904,t907,t906,t905,t904,t907,t906,t905,t904,t907,t906,t905,t904,t111,t110,t109,t108,t107,t106,t105,t104,t111,t110,t109,t108,t107,t106,t105,t104,t111,t110,t109,t108,t107,t106,t105,t104,t111,t110,t109,t108,t107,t106,t105,t104,t111,t110,t109,t108,t107,t106,t105,t104,t111,t110,t109,t108,t107,t106,t105,t104,t111,t110,t109,t108,t107,t106,t105,t104,t111,t110,t109,t108,t107,t106,t105,t104,t111,t110,t109,t108,t107,t106,t105,t104,t111,t110,t109,t108,t107,t106,t105,t104,t111,t110,t109,t108,t107,t106,t105,t104,t111,t110,t109,t108,t107,t106,t105,t104,t111,t110,t109,t108,t107,t106,t105,t104,t111,t110,t109,t108,t107,t106,t105,t104,t111,t110,t109,t108,t107,t106,t105,t104,t111,t110,t109,t108,t107,t106,t105,t104,t111,t110,t109,t108,t107,t106,t105,t104,t111,t110,t109,t108,t107,t106,t105,t104,t111,t110,t109,t108,t107,t106,t105,t104,
Mar 28, 2019 9:06:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 94 events :t1802,t1802,t1802,t1802,t1802,t1802,t1802,t1802,t1802,t1802,t1802,t1802,t1802,t1802,t1802,t1802,t1802,t1802,t1422,t1422,t1422,t1422,t1422,t1422,t1422,t1422,t1422,t1422,t1422,t1422,t1422,t1422,t1422,t1422,t1422,t1422,t1244,t1244,t1244,t1244,t1244,t1244,t1244,t1244,t1244,t1244,t1244,t1244,t1244,t1244,t1244,t1244,t1244,t1244,t1244,t784,t784,t784,t784,t784,t784,t784,t784,t784,t784,t784,t784,t784,t784,t784,t784,t784,t784,t784,t784,t784,t784,t784,t784,t784,t784,t784,t784,t784,t784,t784,t784,t784,t784,t784,t784,t784,t784,t784,
Mar 28, 2019 9:06:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 94 events :t1799,t1799,t1799,t1799,t1799,t1799,t1799,t1799,t1799,t1799,t1799,t1799,t1799,t1799,t1799,t1799,t1799,t1799,t1419,t1419,t1419,t1419,t1419,t1419,t1419,t1419,t1419,t1419,t1419,t1419,t1419,t1419,t1419,t1419,t1419,t1419,t1184,t1184,t1184,t1184,t1184,t1184,t1184,t1184,t1184,t1184,t1184,t1184,t1184,t1184,t1184,t1184,t1184,t1184,t1184,t664,t664,t664,t664,t664,t664,t664,t664,t664,t664,t664,t664,t664,t664,t664,t664,t664,t664,t664,t664,t664,t664,t664,t664,t664,t664,t664,t664,t664,t664,t664,t664,t664,t664,t664,t664,t664,t664,t664,
Mar 28, 2019 9:06:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 94 events :t1796,t1796,t1796,t1796,t1796,t1796,t1796,t1796,t1796,t1796,t1796,t1796,t1796,t1796,t1796,t1796,t1796,t1796,t1416,t1416,t1416,t1416,t1416,t1416,t1416,t1416,t1416,t1416,t1416,t1416,t1416,t1416,t1416,t1416,t1416,t1416,t1124,t1124,t1124,t1124,t1124,t1124,t1124,t1124,t1124,t1124,t1124,t1124,t1124,t1124,t1124,t1124,t1124,t1124,t1124,t544,t544,t544,t544,t544,t544,t544,t544,t544,t544,t544,t544,t544,t544,t544,t544,t544,t544,t544,t544,t544,t544,t544,t544,t544,t544,t544,t544,t544,t544,t544,t544,t544,t544,t544,t544,t544,t544,t544,
Mar 28, 2019 9:06:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 94 events :t1795,t1795,t1795,t1795,t1795,t1795,t1795,t1795,t1795,t1795,t1795,t1795,t1795,t1795,t1795,t1795,t1795,t1795,t1415,t1415,t1415,t1415,t1415,t1415,t1415,t1415,t1415,t1415,t1415,t1415,t1415,t1415,t1415,t1415,t1415,t1415,t1104,t1104,t1104,t1104,t1104,t1104,t1104,t1104,t1104,t1104,t1104,t1104,t1104,t1104,t1104,t1104,t1104,t1104,t1104,t504,t504,t504,t504,t504,t504,t504,t504,t504,t504,t504,t504,t504,t504,t504,t504,t504,t504,t504,t504,t504,t504,t504,t504,t504,t504,t504,t504,t504,t504,t504,t504,t504,t504,t504,t504,t504,t504,t504,
Mar 28, 2019 9:06:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 94 events :t1793,t1793,t1793,t1793,t1793,t1793,t1793,t1793,t1793,t1793,t1793,t1793,t1793,t1793,t1793,t1793,t1793,t1793,t1413,t1413,t1413,t1413,t1413,t1413,t1413,t1413,t1413,t1413,t1413,t1413,t1413,t1413,t1413,t1413,t1413,t1413,t1064,t1064,t1064,t1064,t1064,t1064,t1064,t1064,t1064,t1064,t1064,t1064,t1064,t1064,t1064,t1064,t1064,t1064,t1064,t424,t424,t424,t424,t424,t424,t424,t424,t424,t424,t424,t424,t424,t424,t424,t424,t424,t424,t424,t424,t424,t424,t424,t424,t424,t424,t424,t424,t424,t424,t424,t424,t424,t424,t424,t424,t424,t424,t424,
Mar 28, 2019 9:06:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 94 events :t1790,t1790,t1790,t1790,t1790,t1790,t1790,t1790,t1790,t1790,t1790,t1790,t1790,t1790,t1790,t1790,t1790,t1790,t1410,t1410,t1410,t1410,t1410,t1410,t1410,t1410,t1410,t1410,t1410,t1410,t1410,t1410,t1410,t1410,t1410,t1410,t1004,t1004,t1004,t1004,t1004,t1004,t1004,t1004,t1004,t1004,t1004,t1004,t1004,t1004,t1004,t1004,t1004,t1004,t1004,t304,t304,t304,t304,t304,t304,t304,t304,t304,t304,t304,t304,t304,t304,t304,t304,t304,t304,t304,t304,t304,t304,t304,t304,t304,t304,t304,t304,t304,t304,t304,t304,t304,t304,t304,t304,t304,t304,t304,
Mar 28, 2019 9:06:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 430 events :t1334,t1333,t1332,t1331,t1314,t1313,t1312,t1311,t914,t914,t914,t914,t914,t914,t914,t914,t914,t914,t914,t914,t914,t914,t914,t914,t914,t914,t914,t914,t1965,t1965,t1965,t1965,t1965,t1965,t1965,t1965,t1965,t1965,t1965,t1965,t1965,t1965,t1965,t1965,t1965,t1965,t1965,t1945,t1945,t1945,t1945,t1945,t1945,t1945,t1945,t1945,t1945,t1945,t1945,t1945,t1945,t1945,t1945,t1945,t1945,t1945,t1925,t1925,t1925,t1925,t1925,t1925,t1925,t1925,t1925,t1925,t1925,t1925,t1925,t1925,t1925,t1925,t1925,t1925,t1925,t1311,t1311,t1311,t1311,t1311,t1311,t1311,t1311,t1311,t1311,t1311,t1311,t1311,t1311,t1311,t1311,t1311,t1311,t1311,t1311,t125,t125,t125,t125,t125,t125,t125,t125,t125,t125,t125,t125,t125,t125,t125,t125,t125,t125,t125,t125,t1585,t1585,t1585,t1585,t1585,t1585,t1585,t1585,t1585,t1585,t1585,t1585,t1585,t1585,t1585,t1585,t1585,t1585,t1585,t1565,t1565,t1565,t1565,t1565,t1565,t1565,t1565,t1565,t1565,t1565,t1565,t1565,t1565,t1565,t1565,t1565,t1565,t1565,t1545,t1545,t1545,t1545,t1545,t1545,t1545,t1545,t1545,t1545,t1545,t1545,t1545,t1545,t1545,t1545,t1545,t1545,t1545,t1331,t1331,t1331,t1331,t1331,t1331,t1331,t1331,t1331,t1331,t1331,t1331,t1331,t1331,t1331,t1331,t1331,t1331,t1331,t1331,t914,t913,t912,t911,t914,t913,t912,t911,t914,t913,t912,t911,t914,t913,t912,t911,t914,t913,t912,t911,t914,t913,t912,t911,t914,t913,t912,t911,t914,t913,t912,t911,t914,t913,t912,t911,t914,t913,t912,t911,t914,t913,t912,t911,t914,t913,t912,t911,t914,t913,t912,t911,t914,t913,t912,t911,t914,t913,t912,t911,t914,t913,t912,t911,t914,t913,t912,t911,t914,t913,t912,t911,t914,t913,t912,t911,t125,t124,t123,t122,t121,t120,t119,t118,t125,t124,t123,t122,t121,t120,t119,t118,t125,t124,t123,t122,t121,t120,t119,t118,t125,t124,t123,t122,t121,t120,t119,t118,t125,t124,t123,t122,t121,t120,t119,t118,t125,t124,t123,t122,t121,t120,t119,t118,t125,t124,t123,t122,t121,t120,t119,t118,t125,t124,t123,t122,t121,t120,t119,t118,t125,t124,t123,t122,t121,t120,t119,t118,t125,t124,t123,t122,t121,t120,t119,t118,t125,t124,t123,t122,t121,t120,t119,t118,t125,t124,t123,t122,t121,t120,t119,t118,t125,t124,t123,t122,t121,t120,t119,t118,t125,t124,t123,t122,t121,t120,t119,t118,t125,t124,t123,t122,t121,t120,t119,t118,t125,t124,t123,t122,t121,t120,t119,t118,t125,t124,t123,t122,t121,t120,t119,t118,t125,t124,t123,t122,t121,t120,t119,t118,t125,t124,t123,t122,t121,t120,t119,t118,
Mar 28, 2019 9:06:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 94 events :t1801,t1801,t1801,t1801,t1801,t1801,t1801,t1801,t1801,t1801,t1801,t1801,t1801,t1801,t1801,t1801,t1801,t1801,t1421,t1421,t1421,t1421,t1421,t1421,t1421,t1421,t1421,t1421,t1421,t1421,t1421,t1421,t1421,t1421,t1421,t1421,t1224,t1224,t1224,t1224,t1224,t1224,t1224,t1224,t1224,t1224,t1224,t1224,t1224,t1224,t1224,t1224,t1224,t1224,t1224,t744,t744,t744,t744,t744,t744,t744,t744,t744,t744,t744,t744,t744,t744,t744,t744,t744,t744,t744,t744,t744,t744,t744,t744,t744,t744,t744,t744,t744,t744,t744,t744,t744,t744,t744,t744,t744,t744,t744,
Mar 28, 2019 9:06:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 94 events :t1791,t1791,t1791,t1791,t1791,t1791,t1791,t1791,t1791,t1791,t1791,t1791,t1791,t1791,t1791,t1791,t1791,t1791,t1411,t1411,t1411,t1411,t1411,t1411,t1411,t1411,t1411,t1411,t1411,t1411,t1411,t1411,t1411,t1411,t1411,t1411,t1024,t1024,t1024,t1024,t1024,t1024,t1024,t1024,t1024,t1024,t1024,t1024,t1024,t1024,t1024,t1024,t1024,t1024,t1024,t344,t344,t344,t344,t344,t344,t344,t344,t344,t344,t344,t344,t344,t344,t344,t344,t344,t344,t344,t344,t344,t344,t344,t344,t344,t344,t344,t344,t344,t344,t344,t344,t344,t344,t344,t344,t344,t344,t344,
Mar 28, 2019 9:06:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 333 events :t1329,t1328,t1327,t1309,t1308,t1307,t909,t909,t909,t909,t909,t909,t909,t909,t909,t909,t909,t909,t909,t909,t909,t909,t909,t909,t909,t909,t1865,t1865,t1865,t1865,t1865,t1865,t1865,t1865,t1865,t1865,t1865,t1865,t1865,t1865,t1865,t1865,t1865,t1865,t1865,t1845,t1845,t1845,t1845,t1845,t1845,t1845,t1845,t1845,t1845,t1845,t1845,t1845,t1845,t1845,t1845,t1845,t1845,t1845,t1307,t1307,t1307,t1307,t1307,t1307,t1307,t1307,t1307,t1307,t1307,t1307,t1307,t1307,t1307,t1307,t1307,t1307,t1307,t1307,t115,t115,t115,t115,t115,t115,t115,t115,t115,t115,t115,t115,t115,t115,t115,t115,t115,t115,t115,t115,t1485,t1485,t1485,t1485,t1485,t1485,t1485,t1485,t1485,t1485,t1485,t1485,t1485,t1485,t1485,t1485,t1485,t1485,t1485,t1465,t1465,t1465,t1465,t1465,t1465,t1465,t1465,t1465,t1465,t1465,t1465,t1465,t1465,t1465,t1465,t1465,t1465,t1465,t1327,t1327,t1327,t1327,t1327,t1327,t1327,t1327,t1327,t1327,t1327,t1327,t1327,t1327,t1327,t1327,t1327,t1327,t1327,t1327,t909,t908,t907,t909,t908,t907,t909,t908,t907,t909,t908,t907,t909,t908,t907,t909,t908,t907,t909,t908,t907,t909,t908,t907,t909,t908,t907,t909,t908,t907,t909,t908,t907,t909,t908,t907,t909,t908,t907,t909,t908,t907,t909,t908,t907,t909,t908,t907,t909,t908,t907,t909,t908,t907,t909,t908,t907,t115,t114,t113,t112,t111,t110,t115,t114,t113,t112,t111,t110,t115,t114,t113,t112,t111,t110,t115,t114,t113,t112,t111,t110,t115,t114,t113,t112,t111,t110,t115,t114,t113,t112,t111,t110,t115,t114,t113,t112,t111,t110,t115,t114,t113,t112,t111,t110,t115,t114,t113,t112,t111,t110,t115,t114,t113,t112,t111,t110,t115,t114,t113,t112,t111,t110,t115,t114,t113,t112,t111,t110,t115,t114,t113,t112,t111,t110,t115,t114,t113,t112,t111,t110,t115,t114,t113,t112,t111,t110,t115,t114,t113,t112,t111,t110,t115,t114,t113,t112,t111,t110,t115,t114,t113,t112,t111,t110,t115,t114,t113,t112,t111,t110,
Mar 28, 2019 9:06:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 94 events :t1786,t1786,t1786,t1786,t1786,t1786,t1786,t1786,t1786,t1786,t1786,t1786,t1786,t1786,t1786,t1786,t1786,t1786,t1406,t1406,t1406,t1406,t1406,t1406,t1406,t1406,t1406,t1406,t1406,t1406,t1406,t1406,t1406,t1406,t1406,t1406,t924,t924,t924,t924,t924,t924,t924,t924,t924,t924,t924,t924,t924,t924,t924,t924,t924,t924,t924,t144,t144,t144,t144,t144,t144,t144,t144,t144,t144,t144,t144,t144,t144,t144,t144,t144,t144,t144,t144,t144,t144,t144,t144,t144,t144,t144,t144,t144,t144,t144,t144,t144,t144,t144,t144,t144,t144,t144,
Mar 28, 2019 9:06:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 94 events :t1800,t1800,t1800,t1800,t1800,t1800,t1800,t1800,t1800,t1800,t1800,t1800,t1800,t1800,t1800,t1800,t1800,t1800,t1420,t1420,t1420,t1420,t1420,t1420,t1420,t1420,t1420,t1420,t1420,t1420,t1420,t1420,t1420,t1420,t1420,t1420,t1204,t1204,t1204,t1204,t1204,t1204,t1204,t1204,t1204,t1204,t1204,t1204,t1204,t1204,t1204,t1204,t1204,t1204,t1204,t704,t704,t704,t704,t704,t704,t704,t704,t704,t704,t704,t704,t704,t704,t704,t704,t704,t704,t704,t704,t704,t704,t704,t704,t704,t704,t704,t704,t704,t704,t704,t704,t704,t704,t704,t704,t704,t704,t704,
Mar 28, 2019 9:06:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 94 events :t1785,t1785,t1785,t1785,t1785,t1785,t1785,t1785,t1785,t1785,t1785,t1785,t1785,t1785,t1785,t1785,t1785,t1785,t1405,t1405,t1405,t1405,t1405,t1405,t1405,t1405,t1405,t1405,t1405,t1405,t1405,t1405,t1405,t1405,t1405,t1405,t904,t904,t904,t904,t904,t904,t904,t904,t904,t904,t904,t904,t904,t904,t904,t904,t904,t904,t904,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,
Mar 28, 2019 9:06:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 58 events :t40.t80.t20.t0,t40.t80.t20.t0,t40.t80.t20.t0,t40.t80.t20.t0,t40.t80.t20.t0,t40.t80.t20.t0,t40.t80.t20.t0,t40.t80.t20.t0,t40.t80.t20.t0,t40.t80.t20.t0,t40.t80.t20.t0,t40.t80.t20.t0,t40.t80.t20.t0,t40.t80.t20.t0,t40.t80.t20.t0,t40.t80.t20.t0,t40.t80.t20.t0,t40.t80.t20.t0,t40.t80.t20.t0,t1304,t1304,t1304,t1304,t1304,t1304,t1304,t1304,t1304,t1304,t1304,t1304,t1304,t1304,t1304,t1304,t1304,t1304,t1304,t1304,t1304,t1304,t1304,t1304,t1304,t1304,t1304,t1304,t1304,t1304,t1304,t1304,t1304,t1304,t1304,t1304,t1304,t1304,t1304,
Mar 28, 2019 9:06:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 94 events :t1789,t1789,t1789,t1789,t1789,t1789,t1789,t1789,t1789,t1789,t1789,t1789,t1789,t1789,t1789,t1789,t1789,t1789,t1409,t1409,t1409,t1409,t1409,t1409,t1409,t1409,t1409,t1409,t1409,t1409,t1409,t1409,t1409,t1409,t1409,t1409,t984,t984,t984,t984,t984,t984,t984,t984,t984,t984,t984,t984,t984,t984,t984,t984,t984,t984,t984,t264,t264,t264,t264,t264,t264,t264,t264,t264,t264,t264,t264,t264,t264,t264,t264,t264,t264,t264,t264,t264,t264,t264,t264,t264,t264,t264,t264,t264,t264,t264,t264,t264,t264,t264,t264,t264,t264,t264,
Mar 28, 2019 9:06:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 94 events :t1804,t1804,t1804,t1804,t1804,t1804,t1804,t1804,t1804,t1804,t1804,t1804,t1804,t1804,t1804,t1804,t1804,t1804,t1424,t1424,t1424,t1424,t1424,t1424,t1424,t1424,t1424,t1424,t1424,t1424,t1424,t1424,t1424,t1424,t1424,t1424,t1284,t1284,t1284,t1284,t1284,t1284,t1284,t1284,t1284,t1284,t1284,t1284,t1284,t1284,t1284,t1284,t1284,t1284,t1284,t864,t864,t864,t864,t864,t864,t864,t864,t864,t864,t864,t864,t864,t864,t864,t864,t864,t864,t864,t864,t864,t864,t864,t864,t864,t864,t864,t864,t864,t864,t864,t864,t864,t864,t864,t864,t864,t864,t864,
Mar 28, 2019 9:06:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 2116 events :t2165,t2165,t2165,t2165,t2165,t2165,t2165,t2165,t2165,t2165,t2165,t2165,t2165,t2165,t2165,t2165,t2165,t2165,t2165,t2165,t2165,t2165,t2165,t2165,t2165,t2165,t2165,t2165,t2165,t2165,t2165,t2165,t2165,t2165,t2165,t2165,t2165,t2165,t2165,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1344,t1304,t1304,t1304,t1304,t1304,t1304,t1304,t1304,t1304,t1304,t1304,t1304,t1304,t1304,t1304,t1304,t1304,t1304,t1304,t1304,t1304,t1304,t1304,t1304,t1304,t1304,t1304,t1304,t1304,t1304,t1304,t1304,t1304,t1304,t1304,t1304,t1304,t1304,t1304,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t104,t84,t84,t84,t84,t84,t84,t84,t84,t84,t84,t84,t84,t84,t84,t84,t84,t84,t84,t84,
Mar 28, 2019 9:06:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 94 events :t1803,t1803,t1803,t1803,t1803,t1803,t1803,t1803,t1803,t1803,t1803,t1803,t1803,t1803,t1803,t1803,t1803,t1803,t1423,t1423,t1423,t1423,t1423,t1423,t1423,t1423,t1423,t1423,t1423,t1423,t1423,t1423,t1423,t1423,t1423,t1423,t1264,t1264,t1264,t1264,t1264,t1264,t1264,t1264,t1264,t1264,t1264,t1264,t1264,t1264,t1264,t1264,t1264,t1264,t1264,t824,t824,t824,t824,t824,t824,t824,t824,t824,t824,t824,t824,t824,t824,t824,t824,t824,t824,t824,t824,t824,t824,t824,t824,t824,t824,t824,t824,t824,t824,t824,t824,t824,t824,t824,t824,t824,t824,t824,
Mar 28, 2019 9:06:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 19 events :t40.t80.t20.t0,t40.t80.t20.t0,t40.t80.t20.t0,t40.t80.t20.t0,t40.t80.t20.t0,t40.t80.t20.t0,t40.t80.t20.t0,t40.t80.t20.t0,t40.t80.t20.t0,t40.t80.t20.t0,t40.t80.t20.t0,t40.t80.t20.t0,t40.t80.t20.t0,t40.t80.t20.t0,t40.t80.t20.t0,t40.t80.t20.t0,t40.t80.t20.t0,t40.t80.t20.t0,t40.t80.t20.t0,
Mar 28, 2019 9:06:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 94 events :t1787,t1787,t1787,t1787,t1787,t1787,t1787,t1787,t1787,t1787,t1787,t1787,t1787,t1787,t1787,t1787,t1787,t1787,t1407,t1407,t1407,t1407,t1407,t1407,t1407,t1407,t1407,t1407,t1407,t1407,t1407,t1407,t1407,t1407,t1407,t1407,t944,t944,t944,t944,t944,t944,t944,t944,t944,t944,t944,t944,t944,t944,t944,t944,t944,t944,t944,t184,t184,t184,t184,t184,t184,t184,t184,t184,t184,t184,t184,t184,t184,t184,t184,t184,t184,t184,t184,t184,t184,t184,t184,t184,t184,t184,t184,t184,t184,t184,t184,t184,t184,t184,t184,t184,t184,t184,
Mar 28, 2019 9:06:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 58 events :t60.t81.t20.t0,t60.t81.t20.t0,t60.t81.t20.t0,t60.t81.t20.t0,t60.t81.t20.t0,t60.t81.t20.t0,t60.t81.t20.t0,t60.t81.t20.t0,t60.t81.t20.t0,t60.t81.t20.t0,t60.t81.t20.t0,t60.t81.t20.t0,t60.t81.t20.t0,t60.t81.t20.t0,t60.t81.t20.t0,t60.t81.t20.t0,t60.t81.t20.t0,t60.t81.t20.t0,t60.t81.t20.t0,t1324,t1324,t1324,t1324,t1324,t1324,t1324,t1324,t1324,t1324,t1324,t1324,t1324,t1324,t1324,t1324,t1324,t1324,t1324,t1324,t1324,t1324,t1324,t1324,t1324,t1324,t1324,t1324,t1324,t1324,t1324,t1324,t1324,t1324,t1324,t1324,t1324,t1324,t1324,
Mar 28, 2019 9:06:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 333 events :t1331,t1330,t1329,t1311,t1310,t1309,t911,t911,t911,t911,t911,t911,t911,t911,t911,t911,t911,t911,t911,t911,t911,t911,t911,t911,t911,t911,t1905,t1905,t1905,t1905,t1905,t1905,t1905,t1905,t1905,t1905,t1905,t1905,t1905,t1905,t1905,t1905,t1905,t1905,t1905,t1885,t1885,t1885,t1885,t1885,t1885,t1885,t1885,t1885,t1885,t1885,t1885,t1885,t1885,t1885,t1885,t1885,t1885,t1885,t1309,t1309,t1309,t1309,t1309,t1309,t1309,t1309,t1309,t1309,t1309,t1309,t1309,t1309,t1309,t1309,t1309,t1309,t1309,t1309,t119,t119,t119,t119,t119,t119,t119,t119,t119,t119,t119,t119,t119,t119,t119,t119,t119,t119,t119,t119,t1525,t1525,t1525,t1525,t1525,t1525,t1525,t1525,t1525,t1525,t1525,t1525,t1525,t1525,t1525,t1525,t1525,t1525,t1525,t1505,t1505,t1505,t1505,t1505,t1505,t1505,t1505,t1505,t1505,t1505,t1505,t1505,t1505,t1505,t1505,t1505,t1505,t1505,t1329,t1329,t1329,t1329,t1329,t1329,t1329,t1329,t1329,t1329,t1329,t1329,t1329,t1329,t1329,t1329,t1329,t1329,t1329,t1329,t911,t910,t909,t911,t910,t909,t911,t910,t909,t911,t910,t909,t911,t910,t909,t911,t910,t909,t911,t910,t909,t911,t910,t909,t911,t910,t909,t911,t910,t909,t911,t910,t909,t911,t910,t909,t911,t910,t909,t911,t910,t909,t911,t910,t909,t911,t910,t909,t911,t910,t909,t911,t910,t909,t911,t910,t909,t119,t118,t117,t116,t115,t114,t119,t118,t117,t116,t115,t114,t119,t118,t117,t116,t115,t114,t119,t118,t117,t116,t115,t114,t119,t118,t117,t116,t115,t114,t119,t118,t117,t116,t115,t114,t119,t118,t117,t116,t115,t114,t119,t118,t117,t116,t115,t114,t119,t118,t117,t116,t115,t114,t119,t118,t117,t116,t115,t114,t119,t118,t117,t116,t115,t114,t119,t118,t117,t116,t115,t114,t119,t118,t117,t116,t115,t114,t119,t118,t117,t116,t115,t114,t119,t118,t117,t116,t115,t114,t119,t118,t117,t116,t115,t114,t119,t118,t117,t116,t115,t114,t119,t118,t117,t116,t115,t114,t119,t118,t117,t116,t115,t114,
Mar 28, 2019 9:06:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 94 events :t1794,t1794,t1794,t1794,t1794,t1794,t1794,t1794,t1794,t1794,t1794,t1794,t1794,t1794,t1794,t1794,t1794,t1794,t1414,t1414,t1414,t1414,t1414,t1414,t1414,t1414,t1414,t1414,t1414,t1414,t1414,t1414,t1414,t1414,t1414,t1414,t1084,t1084,t1084,t1084,t1084,t1084,t1084,t1084,t1084,t1084,t1084,t1084,t1084,t1084,t1084,t1084,t1084,t1084,t1084,t464,t464,t464,t464,t464,t464,t464,t464,t464,t464,t464,t464,t464,t464,t464,t464,t464,t464,t464,t464,t464,t464,t464,t464,t464,t464,t464,t464,t464,t464,t464,t464,t464,t464,t464,t464,t464,t464,t464,
Mar 28, 2019 9:06:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 94 events :t1788,t1788,t1788,t1788,t1788,t1788,t1788,t1788,t1788,t1788,t1788,t1788,t1788,t1788,t1788,t1788,t1788,t1788,t1408,t1408,t1408,t1408,t1408,t1408,t1408,t1408,t1408,t1408,t1408,t1408,t1408,t1408,t1408,t1408,t1408,t1408,t964,t964,t964,t964,t964,t964,t964,t964,t964,t964,t964,t964,t964,t964,t964,t964,t964,t964,t964,t224,t224,t224,t224,t224,t224,t224,t224,t224,t224,t224,t224,t224,t224,t224,t224,t224,t224,t224,t224,t224,t224,t224,t224,t224,t224,t224,t224,t224,t224,t224,t224,t224,t224,t224,t224,t224,t224,t224,
Mar 28, 2019 9:06:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 94 events :t1792,t1792,t1792,t1792,t1792,t1792,t1792,t1792,t1792,t1792,t1792,t1792,t1792,t1792,t1792,t1792,t1792,t1792,t1412,t1412,t1412,t1412,t1412,t1412,t1412,t1412,t1412,t1412,t1412,t1412,t1412,t1412,t1412,t1412,t1412,t1412,t1044,t1044,t1044,t1044,t1044,t1044,t1044,t1044,t1044,t1044,t1044,t1044,t1044,t1044,t1044,t1044,t1044,t1044,t1044,t384,t384,t384,t384,t384,t384,t384,t384,t384,t384,t384,t384,t384,t384,t384,t384,t384,t384,t384,t384,t384,t384,t384,t384,t384,t384,t384,t384,t384,t384,t384,t384,t384,t384,t384,t384,t384,t384,t384,
Mar 28, 2019 9:06:08 PM fr.lip6.move.gal.instantiate.Instantiator fuseIsomorphicEffects
INFO: Removed a total of 7025 redundant transitions.
Mar 28, 2019 9:06:08 PM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property SimpleLoadBal-PT-20-GlobalProperties-0 is trivially true : it is verified in initial state.
Mar 28, 2019 9:06:08 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 5200 ms
Mar 28, 2019 9:06:08 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu25_flat :[u25.t1348, u25.t1349, u25.t1344, u25.t1345, u25.t1346, u25.t1347, u25.t1351, u25.t1352, u25.t1353, u25.t1350]
Mar 28, 2019 9:06:08 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu28_flat :[u28.t1359, u28.t1358, u28.t1357, u28.t1356]
Mar 28, 2019 9:06:08 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub23 :[i23.u32.t1398, i23.u32.t1403, i23.u32.t1404, i23.u32.t1399, i23.u31.t1394, i23.u32.t1400, i23.u31.t1395, i23.u32.t1401, i23.u31.t1392, i23.u32.t1402, i23.u31.t1393]
Mar 28, 2019 9:06:08 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub21 :[i21.u28.t112, i21.u28.t113]
Mar 28, 2019 9:06:08 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub21 :[i21.u24.t2165, i21.u24.t1304]
Mar 28, 2019 9:06:08 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub20 :[i20.u26.t117, i20.u26.t116]
Mar 28, 2019 9:06:08 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub21 :[i21.u25.t108, i21.u25.t107, i21.u25.t109, i21.u25.t104, i21.u25.t106, i21.u25.t105]
Mar 28, 2019 9:06:08 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub22 :[i22.u30.t1338, i22.u30.t1337, i22.u29.t1335]
Mar 28, 2019 9:06:08 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub23 :[i23.u31.t1320, i23.u32.t1322, i23.u32.t1323]
Mar 28, 2019 9:06:08 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub21 :[i21.u25.t1785, i21.u25.t1805]
Mar 28, 2019 9:06:08 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub22 :[i22.u30.t918, i22.u30.t917]
Mar 28, 2019 9:06:08 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub22 :[i22.u30.t1386, i22.u30.t1385, i22.u30.t1384, i22.u30.t1383, i22.u29.t1377, i22.u30.t1389, i22.u30.t1388, i22.u30.t1387, i22.u29.t1378, i22.u29.t1379, i22.u29.t1380]
Mar 28, 2019 9:06:08 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub20 :[i20.u27.t913, i20.u27.t912]
Mar 28, 2019 9:06:08 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub23 :[i23.u32.t923, i23.u32.t922]
Mar 28, 2019 9:06:08 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub22 :[i22.u30.t130, i22.u30.t132, i22.u30.t131, i22.u30.t133]
Mar 28, 2019 9:06:08 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub20 :[i20.u27.t120, i20.u27.t121, i20.u27.t122, i20.u27.t123]
Mar 28, 2019 9:06:08 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub20 :[i20.u27.t1370, i20.u27.t1371, i20.u27.t1372, i20.u27.t1373, i20.u26.t1364, i20.u26.t1365, i20.u26.t1362, i20.u26.t1363, i20.u27.t1368, i20.u27.t1369, i20.u27.t1374]
Mar 28, 2019 9:06:08 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub23 :[i23.u31.t137, i23.u31.t136]
Mar 28, 2019 9:06:08 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub21 :[i21.u25.t1425, i21.u25.t1405]
Mar 28, 2019 9:06:09 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub20 :[i20.u26.t1330, i20.u27.t1332, i20.u27.t1333]
Mar 28, 2019 9:06:09 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub20 :[i20.u26.t1310, i20.u27.t1312, i20.u27.t1313]
Mar 28, 2019 9:06:09 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub21 :[i21.u25.t1324, i21.u25.t1325, i21.u25.t1326, i21.u28.t1328]
Mar 28, 2019 9:06:09 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub21 :[i21.u25.t1304, i21.u25.t1305, i21.u28.t1308, i21.u25.t1306]
Mar 28, 2019 9:06:09 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub21 :[i21.u25.t905, i21.u25.t906, i21.u25.t904]
Mar 28, 2019 9:06:09 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub22 :[i22.u29.t126, i22.u29.t127]
Mar 28, 2019 9:06:09 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub22 :[i22.u30.t1317, i22.u29.t1315, i22.u30.t1318]
Mar 28, 2019 9:06:09 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub23 :[i23.u32.t141, i23.u32.t142, i23.u32.t143, i23.u32.t140]
Mar 28, 2019 9:06:09 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub23 :[i23.u32.t1342, i23.u32.t1343, i23.u31.t1340]
Mar 28, 2019 9:06:09 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu27_flat :[u27.t913, u27.t912]
Mar 28, 2019 9:06:09 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu26_flat :[u26.t1363, u26.t1364, u26.t1362, u26.t1365]
Mar 28, 2019 9:06:09 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu27_flat :[u27.t1368, u27.t1369, u27.t1370, u27.t1371, u27.t1372, u27.t1373, u27.t1374]
Mar 28, 2019 9:06:09 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu27_flat :[u27.t1332, u27.t1333]
Mar 28, 2019 9:06:09 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu27_flat :[u27.t120, u27.t122, u27.t121, u27.t123]
Mar 28, 2019 9:06:09 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu27_flat :[u27.t1312, u27.t1313]
Mar 28, 2019 9:06:09 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu26_flat :[u26.t116, u26.t117]
Mar 28, 2019 9:06:09 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu25_flat :[u25.t109, u25.t108, u25.t107, u25.t106, u25.t105, u25.t104]
Mar 28, 2019 9:06:09 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu28_flat :[u28.t113, u28.t112]
Mar 28, 2019 9:06:09 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu25_flat :[u25.t1785, u25.t1805]
Mar 28, 2019 9:06:09 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu25_flat :[u25.t1425, u25.t1405]
Mar 28, 2019 9:06:09 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu25_flat :[u25.t904, u25.t906, u25.t905]
Mar 28, 2019 9:06:09 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu25_flat :[u25.t1304, u25.t1305, u25.t1306]
Mar 28, 2019 9:06:09 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu25_flat :[u25.t1326, u25.t1324, u25.t1325]
Mar 28, 2019 9:06:09 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu24_flat :[u24.t2165, u24.t1304]
Mar 28, 2019 9:06:09 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu29_flat :[u29.t1380, u29.t1378, u29.t1377, u29.t1379]
Mar 28, 2019 9:06:09 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu30_flat :[u30.t1384, u30.t1385, u30.t1383, u30.t1388, u30.t1389, u30.t1386, u30.t1387]
Mar 28, 2019 9:06:09 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu29_flat :[u29.t126, u29.t127]
Mar 28, 2019 9:06:09 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu30_flat :[u30.t918, u30.t917]
Mar 28, 2019 9:06:09 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu30_flat :[u30.t1337, u30.t1338]
Mar 28, 2019 9:06:09 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu30_flat :[u30.t1317, u30.t1318]
Mar 28, 2019 9:06:09 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu30_flat :[u30.t133, u30.t132, u30.t131, u30.t130]
Mar 28, 2019 9:06:09 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu32_flat :[u32.t1322, u32.t1323]
Mar 28, 2019 9:06:09 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu32_flat :[u32.t1403, u32.t1404, u32.t1398, u32.t1401, u32.t1402, u32.t1399, u32.t1400]
Mar 28, 2019 9:06:09 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu31_flat :[u31.t136, u31.t137]
Mar 28, 2019 9:06:09 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu32_flat :[u32.t1342, u32.t1343]
Mar 28, 2019 9:06:09 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu32_flat :[u32.t143, u32.t142, u32.t141, u32.t140]
Mar 28, 2019 9:06:09 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu31_flat :[u31.t1392, u31.t1393, u31.t1394, u31.t1395]
Mar 28, 2019 9:06:09 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu32_flat :[u32.t923, u32.t922]
Mar 28, 2019 9:06:09 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/GlobalProperties.pnml.gal : 49 ms

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.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="SimpleLoadBal-PT-20"
export BK_EXAMINATION="GlobalProperties"
export BK_TOOL="itstoolsm"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3954"
echo " Executing tool itstoolsm"
echo " Input is SimpleLoadBal-PT-20, examination is GlobalProperties"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r201-csrt-155286434000327"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/SimpleLoadBal-PT-20.tgz
mv SimpleLoadBal-PT-20 execution
cd execution
if [ "GlobalProperties" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "GlobalProperties" = "UpperBounds" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "GlobalProperties" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "GlobalProperties" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "GlobalProperties.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property GlobalProperties.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "GlobalProperties.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' GlobalProperties.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;