About the Execution of ITS-Tools for DLCshifumi-PT-3a
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
528.490 | 3600000.00 | 7288890.00 | 949.90 | TTTFTFFFFTFTTTFT | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fko/mcc2019-input.r052-oct2-155234410100530.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2019-input.qcow2 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 itstools
Input is DLCshifumi-PT-3a, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r052-oct2-155234410100530
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 956K
-rw-r--r-- 1 mcc users 4.2K Feb 10 08:38 CTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 10 08:38 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 6 07:11 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 6 07:11 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K Mar 10 17:31 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 103 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 341 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.4K Feb 4 23:23 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K Feb 4 23:23 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Feb 4 22:33 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.9K Feb 4 22:33 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Feb 3 00:11 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Feb 3 00:11 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Jan 30 14:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 20K Jan 30 14:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 4 22:19 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 4 22:19 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 3 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 778K 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 DLCshifumi-PT-3a-ReachabilityCardinality-00
FORMULA_NAME DLCshifumi-PT-3a-ReachabilityCardinality-01
FORMULA_NAME DLCshifumi-PT-3a-ReachabilityCardinality-02
FORMULA_NAME DLCshifumi-PT-3a-ReachabilityCardinality-03
FORMULA_NAME DLCshifumi-PT-3a-ReachabilityCardinality-04
FORMULA_NAME DLCshifumi-PT-3a-ReachabilityCardinality-05
FORMULA_NAME DLCshifumi-PT-3a-ReachabilityCardinality-06
FORMULA_NAME DLCshifumi-PT-3a-ReachabilityCardinality-07
FORMULA_NAME DLCshifumi-PT-3a-ReachabilityCardinality-08
FORMULA_NAME DLCshifumi-PT-3a-ReachabilityCardinality-09
FORMULA_NAME DLCshifumi-PT-3a-ReachabilityCardinality-10
FORMULA_NAME DLCshifumi-PT-3a-ReachabilityCardinality-11
FORMULA_NAME DLCshifumi-PT-3a-ReachabilityCardinality-12
FORMULA_NAME DLCshifumi-PT-3a-ReachabilityCardinality-13
FORMULA_NAME DLCshifumi-PT-3a-ReachabilityCardinality-14
FORMULA_NAME DLCshifumi-PT-3a-ReachabilityCardinality-15
=== Now, execution of the tool begins
BK_START 1552639257703
Working with output stream class java.io.PrintStream
Using solver Z3 to compute partial order matrices.
Built C files in :
/home/mcc/execution
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201903111103/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /home/mcc/execution/ReachabilityCardinality.pnml.gal, -t, CGAL, -reachable-file, ReachabilityCardinality.prop, --nowitness], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201903111103/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /home/mcc/execution/ReachabilityCardinality.pnml.gal -t CGAL -reachable-file ReachabilityCardinality.prop --nowitness
Loading property file ReachabilityCardinality.prop.
Read [invariant] property : DLCshifumi-PT-3a-ReachabilityCardinality-00 with value :(((u177.p438==0)||(u208.p469==1))||(!(u173.p434>=3)))
Read [reachable] property : DLCshifumi-PT-3a-ReachabilityCardinality-01 with value :(!((((u38.p261==0)||(u24.p165==1))&&((u141.p402==0)||(u188.p449==1)))||((u66.p327>=2)&&(u265.p526>=1))))
Read [invariant] property : DLCshifumi-PT-3a-ReachabilityCardinality-02 with value :(((u16.p112==0)||(u198.p459==1))||((u262.p523==0)||(u71.p332==1)))
Read [reachable] property : DLCshifumi-PT-3a-ReachabilityCardinality-03 with value :(u14.p98>=2)
Read [invariant] property : DLCshifumi-PT-3a-ReachabilityCardinality-04 with value :((u104.p365==0)||(u202.p463==1))
Read [reachable] property : DLCshifumi-PT-3a-ReachabilityCardinality-05 with value :(u66.p327>=2)
Read [reachable] property : DLCshifumi-PT-3a-ReachabilityCardinality-06 with value :(u176.p437>=3)
Read [reachable] property : DLCshifumi-PT-3a-ReachabilityCardinality-07 with value :(((!(u239.p500>=1))||(!(u5.p31>=2)))&&(!((u226.p487==0)||(u189.p450==1))))
Read [reachable] property : DLCshifumi-PT-3a-ReachabilityCardinality-08 with value :(u92.p353>=3)
Read [invariant] property : DLCshifumi-PT-3a-ReachabilityCardinality-09 with value :(((u36.p251==0)||(u25.p174==1))||(((u46.p307>=3)&&(u137.p398>=3))||(((u68.p329==0)||(u212.p473==1))&&((u36.p248==0)||(u164.p425==1)))))
Read [reachable] property : DLCshifumi-PT-3a-ReachabilityCardinality-10 with value :(((!((u265.p526==0)||(u91.p352==1)))&&((u213.p474>=2)&&((u25.p175==0)||(u36.p252==1))))&&((!(u41.p287>=3))&&(u97.p358>=2)))
Read [invariant] property : DLCshifumi-PT-3a-ReachabilityCardinality-11 with value :((!((u40.p277>=1)&&(u23.p157>=3)))||(((u13.p88>=2)||((u99.p360==0)||(u30.p210==1)))||(u207.p468>=3)))
Read [invariant] property : DLCshifumi-PT-3a-ReachabilityCardinality-12 with value :((u176.p437==0)||(u242.p503==1))
Read [invariant] property : DLCshifumi-PT-3a-ReachabilityCardinality-13 with value :(((((u41.p284==0)||(u20.p140==1))||((u28.p190==0)||(u177.p438==1)))||(((u206.p467==0)||(u42.p301==1))&&((u24.p167==0)||(u40.p283==1))))||((!((u24.p162==0)||(u72.p333==1)))&&((u28.p195>=2)&&((u40.p277==0)||(u189.p450==1)))))
Read [invariant] property : DLCshifumi-PT-3a-ReachabilityCardinality-14 with value :(((!((u61.p322==0)||(u25.p171==1)))||(((u1.p6==0)||(u6.p39==1))||(u18.p125>=2)))&&((u249.p510==0)||(u46.p307==1)))
Read [invariant] property : DLCshifumi-PT-3a-ReachabilityCardinality-15 with value :((u16.p108==0)||(u173.p434==1))
built 481 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
DLCshifumi\_PT\_3a\_flat\_flat\_flat\_mod\_flat,9.09544e+35,3.69527,29156,572,21,14663,1247,3203,13814,68,1302,0
Total reachable state count : 909543680129861140661984462869889024
Verifying 16 reachability properties.
Invariant property DLCshifumi-PT-3a-ReachabilityCardinality-00 is true.
FORMULA DLCshifumi-PT-3a-ReachabilityCardinality-00 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL COLLATERAL_PROCESSING USE_NUPN
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
DLCshifumi-PT-3a-ReachabilityCardinality-00,0,3.69705,29188,1,0,14663,1247,3215,13814,75,1302,86
Reachability property DLCshifumi-PT-3a-ReachabilityCardinality-01 is true.
FORMULA DLCshifumi-PT-3a-ReachabilityCardinality-01 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL COLLATERAL_PROCESSING USE_NUPN
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
DLCshifumi-PT-3a-ReachabilityCardinality-01,1.11373e+35,3.69946,29252,290,29,14663,1247,3233,13814,80,1302,774
Invariant property DLCshifumi-PT-3a-ReachabilityCardinality-02 is true.
FORMULA DLCshifumi-PT-3a-ReachabilityCardinality-02 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL COLLATERAL_PROCESSING USE_NUPN
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
DLCshifumi-PT-3a-ReachabilityCardinality-02,0,3.70046,29252,1,0,14663,1247,3244,13814,82,1302,1246
Reachability property DLCshifumi-PT-3a-ReachabilityCardinality-03 does not hold.
FORMULA DLCshifumi-PT-3a-ReachabilityCardinality-03 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL COLLATERAL_PROCESSING USE_NUPN
No reachable states exhibit your property : DLCshifumi-PT-3a-ReachabilityCardinality-03
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
DLCshifumi-PT-3a-ReachabilityCardinality-03,0,3.70099,29252,1,0,14663,1247,3246,13814,83,1302,1246
Invariant property DLCshifumi-PT-3a-ReachabilityCardinality-04 is true.
FORMULA DLCshifumi-PT-3a-ReachabilityCardinality-04 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL COLLATERAL_PROCESSING USE_NUPN
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
DLCshifumi-PT-3a-ReachabilityCardinality-04,0,3.70148,29252,1,0,14663,1247,3250,13814,83,1302,1472
Reachability property DLCshifumi-PT-3a-ReachabilityCardinality-05 does not hold.
FORMULA DLCshifumi-PT-3a-ReachabilityCardinality-05 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL COLLATERAL_PROCESSING USE_NUPN
No reachable states exhibit your property : DLCshifumi-PT-3a-ReachabilityCardinality-05
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
DLCshifumi-PT-3a-ReachabilityCardinality-05,0,3.71477,29252,1,0,14663,1247,3250,13814,83,1302,1472
Reachability property DLCshifumi-PT-3a-ReachabilityCardinality-06 does not hold.
FORMULA DLCshifumi-PT-3a-ReachabilityCardinality-06 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL COLLATERAL_PROCESSING USE_NUPN
No reachable states exhibit your property : DLCshifumi-PT-3a-ReachabilityCardinality-06
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
DLCshifumi-PT-3a-ReachabilityCardinality-06,0,3.71516,29252,1,0,14663,1247,3251,13814,83,1302,1472
Reachability property DLCshifumi-PT-3a-ReachabilityCardinality-07 does not hold.
FORMULA DLCshifumi-PT-3a-ReachabilityCardinality-07 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL COLLATERAL_PROCESSING USE_NUPN
No reachable states exhibit your property : DLCshifumi-PT-3a-ReachabilityCardinality-07
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
DLCshifumi-PT-3a-ReachabilityCardinality-07,0,3.71698,29252,1,0,14663,1247,3264,13814,88,1302,1970
Reachability property DLCshifumi-PT-3a-ReachabilityCardinality-08 does not hold.
FORMULA DLCshifumi-PT-3a-ReachabilityCardinality-08 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL COLLATERAL_PROCESSING USE_NUPN
No reachable states exhibit your property : DLCshifumi-PT-3a-ReachabilityCardinality-08
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
DLCshifumi-PT-3a-ReachabilityCardinality-08,0,3.71734,29252,1,0,14663,1247,3265,13814,88,1302,1970
Invariant property DLCshifumi-PT-3a-ReachabilityCardinality-09 is true.
FORMULA DLCshifumi-PT-3a-ReachabilityCardinality-09 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL COLLATERAL_PROCESSING USE_NUPN
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
DLCshifumi-PT-3a-ReachabilityCardinality-09,0,3.71895,29252,1,0,14663,1247,3288,13814,93,1302,2650
Reachability property DLCshifumi-PT-3a-ReachabilityCardinality-10 does not hold.
FORMULA DLCshifumi-PT-3a-ReachabilityCardinality-10 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL COLLATERAL_PROCESSING USE_NUPN
No reachable states exhibit your property : DLCshifumi-PT-3a-ReachabilityCardinality-10
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
DLCshifumi-PT-3a-ReachabilityCardinality-10,0,3.71968,29252,1,0,14663,1247,3308,13814,94,1302,3064
Invariant property DLCshifumi-PT-3a-ReachabilityCardinality-11 is true.
FORMULA DLCshifumi-PT-3a-ReachabilityCardinality-11 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL COLLATERAL_PROCESSING USE_NUPN
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
DLCshifumi-PT-3a-ReachabilityCardinality-11,0,3.7207,29252,1,0,14663,1247,3326,13814,97,1302,3370
Invariant property DLCshifumi-PT-3a-ReachabilityCardinality-12 is true.
FORMULA DLCshifumi-PT-3a-ReachabilityCardinality-12 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL COLLATERAL_PROCESSING USE_NUPN
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
DLCshifumi-PT-3a-ReachabilityCardinality-12,0,3.72108,29252,1,0,14663,1247,3330,13814,97,1302,3518
Invariant property DLCshifumi-PT-3a-ReachabilityCardinality-13 is true.
FORMULA DLCshifumi-PT-3a-ReachabilityCardinality-13 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL COLLATERAL_PROCESSING USE_NUPN
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
DLCshifumi-PT-3a-ReachabilityCardinality-13,0,3.72441,29252,1,0,14663,1247,3364,13814,100,1302,4954
Invariant property DLCshifumi-PT-3a-ReachabilityCardinality-14 does not hold.
FORMULA DLCshifumi-PT-3a-ReachabilityCardinality-14 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL COLLATERAL_PROCESSING USE_NUPN
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
DLCshifumi-PT-3a-ReachabilityCardinality-14,1.59104e+34,3.74051,29252,291,31,14663,1247,3381,13814,101,1302,6152
Invariant property DLCshifumi-PT-3a-ReachabilityCardinality-15 is true.
FORMULA DLCshifumi-PT-3a-ReachabilityCardinality-15 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL COLLATERAL_PROCESSING USE_NUPN
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
DLCshifumi-PT-3a-ReachabilityCardinality-15,0,3.74247,29252,1,0,14663,1247,3385,13814,101,1302,6346
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ ReachabilityCardinality = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution ReachabilityCardinality -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -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 ReachabilityCardinality -z3path /home/mcc/BenchKit//z3/bin/z3 -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -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 15, 2019 8:41:00 AM fr.lip6.move.gal.application.Application start
INFO: Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityCardinality, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -its, -ltsminpath, /home/mcc/BenchKit//lts_install_dir/, -smt]
Mar 15, 2019 8:41:00 AM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Mar 15, 2019 8:41:00 AM fr.lip6.move.gal.nupn.PTNetReader loadFromXML
INFO: Load time of PNML (sax parser for PT used): 247 ms
Mar 15, 2019 8:41:00 AM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 544 places.
Mar 15, 2019 8:41:01 AM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 3097 transitions.
Mar 15, 2019 8:41:01 AM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Found NUPN structural information;
Mar 15, 2019 8:41:01 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/model.pnml.img.gal : 86 ms
Mar 15, 2019 8:41:02 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 794 ms
Mar 15, 2019 8:41:02 AM fr.lip6.move.gal.application.MccTranslator applyOrder
INFO: Applying decomposition
Mar 15, 2019 8:41:02 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 649 ms
Mar 15, 2019 8:41:02 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 519 ms
Mar 15, 2019 8:41:03 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 969 ms
Mar 15, 2019 8:41:03 AM fr.lip6.move.gal.instantiate.CompositeBuilder decomposeWithOrder
INFO: Decomposing Gal with order
Mar 15, 2019 8:41:04 AM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting arrays to variables to allow decomposition.
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 18 events :t2090,t2089,t968,t2087,t2090,t2089,t968,t2087,t968,t970,t968,t968,t967,t970,t968,t968,t967,t968,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1503,t1503,t1503,t1503,t1503,t1503,t1503,t1503,t1503,t1503,t1503,t1503,t1503,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2455,t2455,t2455,t2455,t2455,t2455,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2574,t2574,t2574,t2574,t2574,t2574,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 18 events :t2188,t2187,t772,t2185,t2188,t2187,t772,t2185,t772,t774,t772,t772,t771,t774,t772,t772,t771,t772,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2644,t2644,t2644,t2644,t2644,t2644,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t565,t565,t565,t565,t565,t565,t565,t565,t565,t565,t565,t565,t565,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 18 events :t2132,t2131,t884,t2129,t2132,t2131,t884,t2129,t884,t886,t884,t884,t883,t886,t884,t884,t883,t884,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2462,t2462,t2462,t2462,t2462,t2462,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t413,t413,t413,t413,t413,t413,t413,t413,t413,t413,t413,t413,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2560,t2560,t2560,t2560,t2560,t2560,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2441,t2441,t2441,t2441,t2441,t2441,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2770,t2770,t2770,t2770,t2770,t2770,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1881,t1881,t1881,t1881,t1881,t1881,t1881,t1881,t1881,t1881,t1881,t1881,t1881,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 18 events :t2181,t786,t2179,t2178,t2181,t786,t2179,t2178,t786,t788,t786,t786,t785,t788,t786,t786,t785,t786,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2798,t2798,t2798,t2798,t2798,t2798,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 18 events :t2139,t870,t2137,t2136,t2139,t870,t2137,t2136,t870,t872,t870,t870,t869,t872,t870,t870,t869,t870,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2595,t2595,t2595,t2595,t2595,t2595,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2518,t2518,t2518,t2518,t2518,t2518,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2266,t2266,t2266,t2266,t2266,t2266,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 18 events :t2286,t2285,t576,t2283,t2286,t2285,t576,t2283,t576,t578,t576,t576,t575,t578,t576,t576,t575,t576,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 18 events :t2279,t590,t2277,t2276,t2279,t590,t2277,t2276,t590,t592,t590,t590,t589,t592,t590,t590,t589,t590,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t635,t635,t635,t635,t635,t635,t635,t635,t635,t635,t635,t635,t635,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1349,t1349,t1349,t1349,t1349,t1349,t1349,t1349,t1349,t1349,t1349,t1349,t1349,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2532,t2532,t2532,t2532,t2532,t2532,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t481,t481,t481,t481,t481,t481,t481,t481,t481,t481,t481,t481,t481,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2616,t2616,t2616,t2616,t2616,t2616,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1139,t1139,t1139,t1139,t1139,t1139,t1139,t1139,t1139,t1139,t1139,t1139,t1139,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2553,t2553,t2553,t2553,t2553,t2553,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2721,t2721,t2721,t2721,t2721,t2721,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t2035,t2035,t2035,t2035,t2035,t2035,t2035,t2035,t2035,t2035,t2035,t2035,t2035,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t2922,t2922,t2922,t2922,t2922,t2922,t2922,t2922,t2922,t2922,t2922,t2922,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2609,t2609,t2609,t2609,t2609,t2609,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1629,t1629,t1629,t1629,t1629,t1629,t1629,t1629,t1629,t1629,t1629,t1629,t1629,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2238,t2238,t2238,t2238,t2238,t2238,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t971,t971,t971,t971,t971,t971,t971,t971,t971,t971,t971,t971,t971,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2707,t2707,t2707,t2707,t2707,t2707,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2203,t2203,t2203,t2203,t2203,t2203,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 18 events :t2272,t2271,t604,t2269,t2272,t2271,t604,t2269,t604,t606,t604,t604,t603,t606,t604,t604,t603,t604,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2588,t2588,t2588,t2588,t2588,t2588,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2133,t2133,t2133,t2133,t2133,t2133,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2567,t2567,t2567,t2567,t2567,t2567,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1391,t1391,t1391,t1391,t1391,t1391,t1391,t1391,t1391,t1391,t1391,t1391,t1391,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1167,t1167,t1167,t1167,t1167,t1167,t1167,t1167,t1167,t1167,t1167,t1167,t1167,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1461,t1461,t1461,t1461,t1461,t1461,t1461,t1461,t1461,t1461,t1461,t1461,t1461,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2511,t2511,t2511,t2511,t2511,t2511,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 18 events :t2230,t2229,t688,t2227,t2230,t2229,t688,t2227,t688,t690,t688,t688,t687,t690,t688,t688,t687,t688,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t887,t887,t887,t887,t887,t887,t887,t887,t887,t887,t887,t887,t887,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2868,t2868,t2868,t2868,t2868,t2868,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1923,t1923,t1923,t1923,t1923,t1923,t1923,t1923,t1923,t1923,t1923,t1923,t1923,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1979,t1979,t1979,t1979,t1979,t1979,t1979,t1979,t1979,t1979,t1979,t1979,t1979,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 18 events :t2146,t2145,t856,t2143,t2146,t2145,t856,t2143,t856,t858,t856,t856,t855,t858,t856,t856,t855,t856,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2378,t2378,t2378,t2378,t2378,t2378,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 18 events :t2293,t562,t2291,t2290,t2293,t562,t2291,t2290,t562,t564,t562,t562,t561,t564,t562,t562,t561,t562,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t691,t691,t691,t691,t691,t691,t691,t691,t691,t691,t691,t691,t691,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t845,t845,t845,t845,t845,t845,t845,t845,t845,t845,t845,t845,t845,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t495,t495,t495,t495,t495,t495,t495,t495,t495,t495,t495,t495,t495,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2406,t2406,t2406,t2406,t2406,t2406,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 18 events :t2335,t478,t2333,t2332,t2335,t478,t2333,t2332,t478,t480,t478,t478,t477,t480,t478,t478,t477,t478,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t439,t439,t439,t439,t439,t439,t439,t439,t439,t439,t439,t439,t439,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1475,t1475,t1475,t1475,t1475,t1475,t1475,t1475,t1475,t1475,t1475,t1475,t1475,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 18 events :t2111,t926,t2109,t2108,t2111,t926,t2109,t2108,t926,t928,t926,t926,t925,t928,t926,t926,t925,t926,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2861,t2861,t2861,t2861,t2861,t2861,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2119,t2119,t2119,t2119,t2119,t2119,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t579,t579,t579,t579,t579,t579,t579,t579,t579,t579,t579,t579,t579,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1223,t1223,t1223,t1223,t1223,t1223,t1223,t1223,t1223,t1223,t1223,t1223,t1223,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2546,t2546,t2546,t2546,t2546,t2546,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 18 events :t2174,t2173,t800,t2171,t2174,t2173,t800,t2171,t800,t802,t800,t800,t799,t802,t800,t800,t799,t800,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2196,t2196,t2196,t2196,t2196,t2196,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2301,t2301,t2301,t2301,t2301,t2301,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1727,t1727,t1727,t1727,t1727,t1727,t1727,t1727,t1727,t1727,t1727,t1727,t1727,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2693,t2693,t2693,t2693,t2693,t2693,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1405,t1405,t1405,t1405,t1405,t1405,t1405,t1405,t1405,t1405,t1405,t1405,t1405,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1601,t1601,t1601,t1601,t1601,t1601,t1601,t1601,t1601,t1601,t1601,t1601,t1601,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 18 events :t2097,t954,t2095,t2094,t2097,t954,t2095,t2094,t954,t956,t954,t954,t953,t956,t954,t954,t953,t954,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2126,t2126,t2126,t2126,t2126,t2126,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t607,t607,t607,t607,t607,t607,t607,t607,t607,t607,t607,t607,t607,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2420,t2420,t2420,t2420,t2420,t2420,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t719,t719,t719,t719,t719,t719,t719,t719,t719,t719,t719,t719,t719,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 521 events :t409,t408,t407,t401,t405,t404,t403,t402,t401,t400,t425,t424,t423,t425,t424,t423,t425,t424,t423,t425,t424,t423,t425,t424,t423,t425,t424,t423,t425,t424,t423,t425,t424,t423,t425,t424,t423,t425,t424,t423,t425,t424,t423,t425,t424,t423,t425,t424,t423,t425,t424,t423,t425,t424,t423,t425,t424,t423,t425,t424,t423,t425,t424,t423,t425,t424,t423,t425,t424,t423,t425,t424,t423,t425,t424,t423,t425,t424,t423,t425,t424,t423,t425,t424,t423,t425,t424,t423,t425,t424,t423,t425,t424,t423,t425,t424,t423,t425,t424,t423,t425,t424,t423,t425,t424,t423,t425,t424,t423,t425,t424,t423,t425,t424,t423,t425,t424,t423,t425,t424,t423,t425,t424,t423,t425,t424,t423,t409,t408,t407,t401,t405,t404,t403,t402,t401,t400,t409,t408,t407,t401,t405,t404,t403,t402,t401,t400,t409,t408,t407,t401,t405,t404,t403,t402,t401,t400,t409,t408,t407,t401,t405,t404,t403,t402,t401,t400,t409,t408,t407,t401,t405,t404,t403,t402,t401,t400,t409,t408,t407,t401,t405,t404,t403,t402,t401,t400,t409,t408,t407,t401,t405,t404,t403,t402,t401,t400,t409,t408,t407,t401,t405,t404,t403,t402,t401,t400,t409,t408,t407,t401,t405,t404,t403,t402,t401,t400,t409,t408,t407,t401,t405,t404,t403,t402,t401,t400,t409,t408,t407,t401,t405,t404,t403,t402,t401,t400,t409,t408,t407,t401,t405,t404,t403,t402,t401,t400,t409,t408,t407,t401,t405,t404,t403,t402,t401,t400,t409,t408,t407,t401,t405,t404,t403,t402,t401,t400,t409,t408,t407,t401,t405,t404,t403,t402,t401,t400,t409,t408,t407,t401,t405,t404,t403,t402,t401,t400,t409,t408,t407,t401,t405,t404,t403,t402,t401,t400,t409,t408,t407,t401,t405,t404,t403,t402,t401,t400,t409,t408,t407,t401,t405,t404,t403,t402,t401,t400,t409,t408,t407,t401,t405,t404,t403,t402,t401,t400,t409,t408,t407,t401,t405,t404,t403,t402,t401,t400,t409,t408,t407,t401,t405,t404,t403,t402,t401,t400,t409,t408,t407,t401,t405,t404,t403,t402,t401,t400,t409,t408,t407,t401,t405,t404,t403,t402,t401,t400,t409,t408,t407,t401,t405,t404,t403,t402,t401,t400,t409,t408,t407,t401,t405,t404,t403,t402,t401,t400,t409,t408,t407,t401,t405,t404,t403,t402,t401,t400,t409,t408,t407,t401,t405,t404,t403,t402,t401,t400,t409,t408,t407,t401,t405,t404,t403,t402,t401,t400,t409,t408,t407,t401,t405,t404,t403,t402,t401,t400,t409,t408,t407,t401,t405,t404,t403,t402,t401,t400,t409,t408,t407,t401,t405,t404,t403,t402,t401,t400,t409,t408,t407,t401,t405,t404,t403,t402,t401,t400,t409,t408,t407,t401,t405,t404,t403,t402,t401,t400,t409,t408,t407,t401,t405,t404,t403,t402,t401,t400,t409,t408,t407,t401,t405,t404,t403,t402,t401,t400,t409,t408,t407,t401,t405,t404,t403,t402,t401,t400,t409,t408,t407,t401,t405,t404,t403,t402,t401,t400,t409,t408,t407,t401,t405,t404,t403,t402,t401,t400,t425,t424,t423,t401,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2784,t2784,t2784,t2784,t2784,t2784,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1671,t1671,t1671,t1671,t1671,t1671,t1671,t1671,t1671,t1671,t1671,t1671,t1671,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2413,t2413,t2413,t2413,t2413,t2413,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t747,t747,t747,t747,t747,t747,t747,t747,t747,t747,t747,t747,t747,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t761,t761,t761,t761,t761,t761,t761,t761,t761,t761,t761,t761,t761,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1377,t1377,t1377,t1377,t1377,t1377,t1377,t1377,t1377,t1377,t1377,t1377,t1377,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 18 events :t2223,t702,t2221,t2220,t2223,t702,t2221,t2220,t702,t704,t702,t702,t701,t704,t702,t702,t701,t702,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2791,t2791,t2791,t2791,t2791,t2791,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1041,t1041,t1041,t1041,t1041,t1041,t1041,t1041,t1041,t1041,t1041,t1041,t1041,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1937,t1937,t1937,t1937,t1937,t1937,t1937,t1937,t1937,t1937,t1937,t1937,t1937,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1993,t1993,t1993,t1993,t1993,t1993,t1993,t1993,t1993,t1993,t1993,t1993,t1993,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t2007,t2007,t2007,t2007,t2007,t2007,t2007,t2007,t2007,t2007,t2007,t2007,t2007,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t523,t523,t523,t523,t523,t523,t523,t523,t523,t523,t523,t523,t523,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 18 events :t2349,t450,t2347,t2346,t2349,t450,t2347,t2346,t450,t452,t450,t450,t449,t452,t450,t450,t449,t450,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 18 events :t2160,t2159,t828,t2157,t2160,t2159,t828,t2157,t828,t830,t828,t828,t827,t830,t828,t828,t827,t828,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1853,t1853,t1853,t1853,t1853,t1853,t1853,t1853,t1853,t1853,t1853,t1853,t1853,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2315,t2315,t2315,t2315,t2315,t2315,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1293,t1293,t1293,t1293,t1293,t1293,t1293,t1293,t1293,t1293,t1293,t1293,t1293,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1699,t1699,t1699,t1699,t1699,t1699,t1699,t1699,t1699,t1699,t1699,t1699,t1699,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2182,t2182,t2182,t2182,t2182,t2182,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 18 events :t2104,t2103,t940,t2101,t2104,t2103,t940,t2101,t940,t942,t940,t940,t939,t942,t940,t940,t939,t940,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1447,t1447,t1447,t1447,t1447,t1447,t1447,t1447,t1447,t1447,t1447,t1447,t1447,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t621,t621,t621,t621,t621,t621,t621,t621,t621,t621,t621,t621,t621,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2777,t2777,t2777,t2777,t2777,t2777,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2084,t2084,t2084,t2084,t2084,t2084,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 18 events :t2118,t2117,t912,t2115,t2118,t2117,t912,t2115,t912,t914,t912,t912,t911,t914,t912,t912,t911,t912,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t593,t593,t593,t593,t593,t593,t593,t593,t593,t593,t593,t593,t593,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2147,t2147,t2147,t2147,t2147,t2147,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2140,t2140,t2140,t2140,t2140,t2140,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2105,t2105,t2105,t2105,t2105,t2105,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2427,t2427,t2427,t2427,t2427,t2427,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2840,t2840,t2840,t2840,t2840,t2840,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t775,t775,t775,t775,t775,t775,t775,t775,t775,t775,t775,t775,t775,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t943,t943,t943,t943,t943,t943,t943,t943,t943,t943,t943,t943,t943,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 18 events :t2209,t730,t2207,t2206,t2209,t730,t2207,t2206,t730,t732,t730,t730,t729,t732,t730,t730,t729,t730,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2602,t2602,t2602,t2602,t2602,t2602,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2651,t2651,t2651,t2651,t2651,t2651,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1027,t1027,t1027,t1027,t1027,t1027,t1027,t1027,t1027,t1027,t1027,t1027,t1027,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t957,t957,t957,t957,t957,t957,t957,t957,t957,t957,t957,t957,t957,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2399,t2399,t2399,t2399,t2399,t2399,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2280,t2280,t2280,t2280,t2280,t2280,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2672,t2672,t2672,t2672,t2672,t2672,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2343,t2343,t2343,t2343,t2343,t2343,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1279,t1279,t1279,t1279,t1279,t1279,t1279,t1279,t1279,t1279,t1279,t1279,t1279,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t803,t803,t803,t803,t803,t803,t803,t803,t803,t803,t803,t803,t803,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2637,t2637,t2637,t2637,t2637,t2637,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1783,t1783,t1783,t1783,t1783,t1783,t1783,t1783,t1783,t1783,t1783,t1783,t1783,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1965,t1965,t1965,t1965,t1965,t1965,t1965,t1965,t1965,t1965,t1965,t1965,t1965,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1153,t1153,t1153,t1153,t1153,t1153,t1153,t1153,t1153,t1153,t1153,t1153,t1153,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2882,t2882,t2882,t2882,t2882,t2882,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1013,t1013,t1013,t1013,t1013,t1013,t1013,t1013,t1013,t1013,t1013,t1013,t1013,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1643,t1643,t1643,t1643,t1643,t1643,t1643,t1643,t1643,t1643,t1643,t1643,t1643,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 18 events :t2314,t2313,t520,t2311,t2314,t2313,t520,t2311,t520,t522,t520,t520,t519,t522,t520,t520,t519,t520,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2763,t2763,t2763,t2763,t2763,t2763,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t985,t985,t985,t985,t985,t985,t985,t985,t985,t985,t985,t985,t985,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2497,t2497,t2497,t2497,t2497,t2497,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2686,t2686,t2686,t2686,t2686,t2686,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1419,t1419,t1419,t1419,t1419,t1419,t1419,t1419,t1419,t1419,t1419,t1419,t1419,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1307,t1307,t1307,t1307,t1307,t1307,t1307,t1307,t1307,t1307,t1307,t1307,t1307,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1489,t1489,t1489,t1489,t1489,t1489,t1489,t1489,t1489,t1489,t1489,t1489,t1489,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2077,t2077,t2077,t2077,t2077,t2077,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1559,t1559,t1559,t1559,t1559,t1559,t1559,t1559,t1559,t1559,t1559,t1559,t1559,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t400,t400,t400,t400,t400,t400,t400,t400,t400,t400,t400,t400,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1685,t1685,t1685,t1685,t1685,t1685,t1685,t1685,t1685,t1685,t1685,t1685,t1685,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1181,t1181,t1181,t1181,t1181,t1181,t1181,t1181,t1181,t1181,t1181,t1181,t1181,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 521 events :t422,t416,t420,t419,t418,t417,t416,t415,t414,t413,t412,t411,t410,t412,t411,t410,t412,t411,t410,t412,t411,t410,t412,t411,t410,t412,t411,t410,t412,t411,t410,t412,t411,t410,t412,t411,t410,t412,t411,t410,t412,t411,t410,t412,t411,t410,t412,t411,t410,t412,t411,t410,t412,t411,t410,t412,t411,t410,t412,t411,t410,t412,t411,t410,t412,t411,t410,t412,t411,t410,t412,t411,t410,t412,t411,t410,t412,t411,t410,t412,t411,t410,t412,t411,t410,t412,t411,t410,t412,t411,t410,t412,t411,t410,t412,t411,t410,t412,t411,t410,t412,t411,t410,t412,t411,t410,t412,t411,t410,t412,t411,t410,t412,t411,t410,t412,t411,t410,t412,t411,t410,t412,t411,t410,t412,t411,t410,t412,t411,t410,t422,t416,t420,t419,t418,t417,t416,t415,t414,t413,t422,t416,t420,t419,t418,t417,t416,t415,t414,t413,t422,t416,t420,t419,t418,t417,t416,t415,t414,t413,t422,t416,t420,t419,t418,t417,t416,t415,t414,t413,t422,t416,t420,t419,t418,t417,t416,t415,t414,t413,t422,t416,t420,t419,t418,t417,t416,t415,t414,t413,t422,t416,t420,t419,t418,t417,t416,t415,t414,t413,t422,t416,t420,t419,t418,t417,t416,t415,t414,t413,t422,t416,t420,t419,t418,t417,t416,t415,t414,t413,t422,t416,t420,t419,t418,t417,t416,t415,t414,t413,t422,t416,t420,t419,t418,t417,t416,t415,t414,t413,t422,t416,t420,t419,t418,t417,t416,t415,t414,t413,t422,t416,t420,t419,t418,t417,t416,t415,t414,t413,t422,t416,t420,t419,t418,t417,t416,t415,t414,t413,t422,t416,t420,t419,t418,t417,t416,t415,t414,t413,t422,t416,t420,t419,t418,t417,t416,t415,t414,t413,t422,t416,t420,t419,t418,t417,t416,t415,t414,t413,t422,t416,t420,t419,t418,t417,t416,t415,t414,t413,t422,t416,t420,t419,t418,t417,t416,t415,t414,t413,t422,t416,t420,t419,t418,t417,t416,t415,t414,t413,t422,t416,t420,t419,t418,t417,t416,t415,t414,t413,t422,t416,t420,t419,t418,t417,t416,t415,t414,t413,t422,t416,t420,t419,t418,t417,t416,t415,t414,t413,t422,t416,t420,t419,t418,t417,t416,t415,t414,t413,t422,t416,t420,t419,t418,t417,t416,t415,t414,t413,t422,t416,t420,t419,t418,t417,t416,t415,t414,t413,t422,t416,t420,t419,t418,t417,t416,t415,t414,t413,t422,t416,t420,t419,t418,t417,t416,t415,t414,t413,t422,t416,t420,t419,t418,t417,t416,t415,t414,t413,t422,t416,t420,t419,t418,t417,t416,t415,t414,t413,t422,t416,t420,t419,t418,t417,t416,t415,t414,t413,t422,t416,t420,t419,t418,t417,t416,t415,t414,t413,t422,t416,t420,t419,t418,t417,t416,t415,t414,t413,t422,t416,t420,t419,t418,t417,t416,t415,t414,t413,t422,t416,t420,t419,t418,t417,t416,t415,t414,t413,t422,t416,t420,t419,t418,t417,t416,t415,t414,t413,t422,t416,t420,t419,t418,t417,t416,t415,t414,t413,t422,t416,t420,t419,t418,t417,t416,t415,t414,t413,t422,t416,t420,t419,t418,t417,t416,t415,t414,t413,t416,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1111,t1111,t1111,t1111,t1111,t1111,t1111,t1111,t1111,t1111,t1111,t1111,t1111,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 18 events :t2251,t646,t2249,t2248,t2251,t646,t2249,t2248,t646,t648,t646,t646,t645,t648,t646,t646,t645,t646,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2350,t2350,t2350,t2350,t2350,t2350,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1335,t1335,t1335,t1335,t1335,t1335,t1335,t1335,t1335,t1335,t1335,t1335,t1335,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t677,t677,t677,t677,t677,t677,t677,t677,t677,t677,t677,t677,t677,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2854,t2854,t2854,t2854,t2854,t2854,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2623,t2623,t2623,t2623,t2623,t2623,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1657,t1657,t1657,t1657,t1657,t1657,t1657,t1657,t1657,t1657,t1657,t1657,t1657,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2749,t2749,t2749,t2749,t2749,t2749,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1125,t1125,t1125,t1125,t1125,t1125,t1125,t1125,t1125,t1125,t1125,t1125,t1125,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t453,t453,t453,t453,t453,t453,t453,t453,t453,t453,t453,t453,t453,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t789,t789,t789,t789,t789,t789,t789,t789,t789,t789,t789,t789,t789,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 18 events :t2202,t2201,t744,t2199,t2202,t2201,t744,t2199,t744,t746,t744,t744,t743,t746,t744,t744,t743,t744,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2679,t2679,t2679,t2679,t2679,t2679,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2189,t2189,t2189,t2189,t2189,t2189,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2448,t2448,t2448,t2448,t2448,t2448,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1839,t1839,t1839,t1839,t1839,t1839,t1839,t1839,t1839,t1839,t1839,t1839,t1839,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1055,t1055,t1055,t1055,t1055,t1055,t1055,t1055,t1055,t1055,t1055,t1055,t1055,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2329,t2329,t2329,t2329,t2329,t2329,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t915,t915,t915,t915,t915,t915,t915,t915,t915,t915,t915,t915,t915,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2630,t2630,t2630,t2630,t2630,t2630,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1097,t1097,t1097,t1097,t1097,t1097,t1097,t1097,t1097,t1097,t1097,t1097,t1097,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2175,t2175,t2175,t2175,t2175,t2175,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2091,t2091,t2091,t2091,t2091,t2091,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 18 events :t2321,t506,t2319,t2318,t2321,t506,t2319,t2318,t506,t508,t506,t506,t505,t508,t506,t506,t505,t506,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t831,t831,t831,t831,t831,t831,t831,t831,t831,t831,t831,t831,t831,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1587,t1587,t1587,t1587,t1587,t1587,t1587,t1587,t1587,t1587,t1587,t1587,t1587,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1769,t1769,t1769,t1769,t1769,t1769,t1769,t1769,t1769,t1769,t1769,t1769,t1769,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2371,t2371,t2371,t2371,t2371,t2371,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1713,t1713,t1713,t1713,t1713,t1713,t1713,t1713,t1713,t1713,t1713,t1713,t1713,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2168,t2168,t2168,t2168,t2168,t2168,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1825,t1825,t1825,t1825,t1825,t1825,t1825,t1825,t1825,t1825,t1825,t1825,t1825,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t733,t733,t733,t733,t733,t733,t733,t733,t733,t733,t733,t733,t733,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2714,t2714,t2714,t2714,t2714,t2714,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2434,t2434,t2434,t2434,t2434,t2434,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 18 events :t2342,t2341,t464,t2339,t2342,t2341,t464,t2339,t464,t466,t464,t464,t463,t466,t464,t464,t463,t464,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1909,t1909,t1909,t1909,t1909,t1909,t1909,t1909,t1909,t1909,t1909,t1909,t1909,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 18 events :t2153,t842,t2151,t2150,t2153,t842,t2151,t2150,t842,t844,t842,t842,t841,t844,t842,t842,t841,t842,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2504,t2504,t2504,t2504,t2504,t2504,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1251,t1251,t1251,t1251,t1251,t1251,t1251,t1251,t1251,t1251,t1251,t1251,t1251,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2322,t2322,t2322,t2322,t2322,t2322,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2224,t2224,t2224,t2224,t2224,t2224,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 18 events :t2300,t2299,t548,t2297,t2300,t2299,t548,t2297,t548,t550,t548,t548,t547,t550,t548,t548,t547,t548,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2665,t2665,t2665,t2665,t2665,t2665,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2259,t2259,t2259,t2259,t2259,t2259,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 18 events :t2237,t674,t2235,t2234,t2237,t674,t2235,t2234,t674,t676,t674,t674,t673,t676,t674,t674,t673,t674,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t649,t649,t649,t649,t649,t649,t649,t649,t649,t649,t649,t649,t649,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1321,t1321,t1321,t1321,t1321,t1321,t1321,t1321,t1321,t1321,t1321,t1321,t1321,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 521 events :t2083,t2082,t2081,t2083,t2082,t2081,t435,t434,t433,t427,t431,t430,t429,t428,t427,t426,t2083,t2082,t2081,t2083,t2082,t2081,t2083,t2082,t2081,t2083,t2082,t2081,t2083,t2082,t2081,t2083,t2082,t2081,t2083,t2082,t2081,t2083,t2082,t2081,t2083,t2082,t2081,t2083,t2082,t2081,t2083,t2082,t2081,t2083,t2082,t2081,t2083,t2082,t2081,t2083,t2082,t2081,t2083,t2082,t2081,t2083,t2082,t2081,t2083,t2082,t2081,t2083,t2082,t2081,t2083,t2082,t2081,t2083,t2082,t2081,t2083,t2082,t2081,t2083,t2082,t2081,t2083,t2082,t2081,t2083,t2082,t2081,t2083,t2082,t2081,t2083,t2082,t2081,t2083,t2082,t2081,t2083,t2082,t2081,t2083,t2082,t2081,t2083,t2082,t2081,t2083,t2082,t2081,t2083,t2082,t2081,t2083,t2082,t2081,t2083,t2082,t2081,t2083,t2082,t2081,t2083,t2082,t2081,t2083,t2082,t2081,t2083,t2082,t2081,t435,t434,t433,t427,t431,t430,t429,t428,t427,t426,t435,t434,t433,t427,t431,t430,t429,t428,t427,t426,t435,t434,t433,t427,t431,t430,t429,t428,t427,t426,t435,t434,t433,t427,t431,t430,t429,t428,t427,t426,t435,t434,t433,t427,t431,t430,t429,t428,t427,t426,t435,t434,t433,t427,t431,t430,t429,t428,t427,t426,t435,t434,t433,t427,t431,t430,t429,t428,t427,t426,t435,t434,t433,t427,t431,t430,t429,t428,t427,t426,t435,t434,t433,t427,t431,t430,t429,t428,t427,t426,t435,t434,t433,t427,t431,t430,t429,t428,t427,t426,t435,t434,t433,t427,t431,t430,t429,t428,t427,t426,t435,t434,t433,t427,t431,t430,t429,t428,t427,t426,t435,t434,t433,t427,t431,t430,t429,t428,t427,t426,t435,t434,t433,t427,t431,t430,t429,t428,t427,t426,t435,t434,t433,t427,t431,t430,t429,t428,t427,t426,t435,t434,t433,t427,t431,t430,t429,t428,t427,t426,t435,t434,t433,t427,t431,t430,t429,t428,t427,t426,t435,t434,t433,t427,t431,t430,t429,t428,t427,t426,t435,t434,t433,t427,t431,t430,t429,t428,t427,t426,t435,t434,t433,t427,t431,t430,t429,t428,t427,t426,t435,t434,t433,t427,t431,t430,t429,t428,t427,t426,t435,t434,t433,t427,t431,t430,t429,t428,t427,t426,t435,t434,t433,t427,t431,t430,t429,t428,t427,t426,t435,t434,t433,t427,t431,t430,t429,t428,t427,t426,t435,t434,t433,t427,t431,t430,t429,t428,t427,t426,t435,t434,t433,t427,t431,t430,t429,t428,t427,t426,t435,t434,t433,t427,t431,t430,t429,t428,t427,t426,t435,t434,t433,t427,t431,t430,t429,t428,t427,t426,t435,t434,t433,t427,t431,t430,t429,t428,t427,t426,t435,t434,t433,t427,t431,t430,t429,t428,t427,t426,t435,t434,t433,t427,t431,t430,t429,t428,t427,t426,t435,t434,t433,t427,t431,t430,t429,t428,t427,t426,t435,t434,t433,t427,t431,t430,t429,t428,t427,t426,t435,t434,t433,t427,t431,t430,t429,t428,t427,t426,t435,t434,t433,t427,t431,t430,t429,t428,t427,t426,t435,t434,t433,t427,t431,t430,t429,t428,t427,t426,t435,t434,t433,t427,t431,t430,t429,t428,t427,t426,t435,t434,t433,t427,t431,t430,t429,t428,t427,t426,t435,t434,t433,t427,t431,t430,t429,t428,t427,t426,t427,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1069,t1069,t1069,t1069,t1069,t1069,t1069,t1069,t1069,t1069,t1069,t1069,t1069,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t426,t426,t426,t426,t426,t426,t426,t426,t426,t426,t426,t426,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2525,t2525,t2525,t2525,t2525,t2525,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2539,t2539,t2539,t2539,t2539,t2539,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t999,t999,t999,t999,t999,t999,t999,t999,t999,t999,t999,t999,t999,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t2909,t2909,t2909,t2909,t2909,t2909,t2909,t2909,t2909,t2909,t2909,t2909,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1083,t1083,t1083,t1083,t1083,t1083,t1083,t1083,t1083,t1083,t1083,t1083,t1083,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 18 events :t2080,t2079,t982,t2077,t2080,t2079,t982,t2077,t982,t984,t982,t982,t981,t984,t982,t982,t981,t982,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2252,t2252,t2252,t2252,t2252,t2252,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2364,t2364,t2364,t2364,t2364,t2364,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2161,t2161,t2161,t2161,t2161,t2161,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 18 events :t2195,t758,t2193,t2192,t2195,t758,t2193,t2192,t758,t760,t758,t758,t757,t760,t758,t758,t757,t758,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t901,t901,t901,t901,t901,t901,t901,t901,t901,t901,t901,t901,t901,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 18 events :t2307,t534,t2305,t2304,t2307,t534,t2305,t2304,t534,t536,t534,t534,t533,t536,t534,t534,t533,t534,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2392,t2392,t2392,t2392,t2392,t2392,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1741,t1741,t1741,t1741,t1741,t1741,t1741,t1741,t1741,t1741,t1741,t1741,t1741,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t2021,t2021,t2021,t2021,t2021,t2021,t2021,t2021,t2021,t2021,t2021,t2021,t2021,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2812,t2812,t2812,t2812,t2812,t2812,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 18 events :t2244,t2243,t660,t2241,t2244,t2243,t660,t2241,t660,t662,t660,t660,t659,t662,t660,t660,t659,t660,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2805,t2805,t2805,t2805,t2805,t2805,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2476,t2476,t2476,t2476,t2476,t2476,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1867,t1867,t1867,t1867,t1867,t1867,t1867,t1867,t1867,t1867,t1867,t1867,t1867,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2308,t2308,t2308,t2308,t2308,t2308,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2483,t2483,t2483,t2483,t2483,t2483,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2700,t2700,t2700,t2700,t2700,t2700,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2581,t2581,t2581,t2581,t2581,t2581,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1797,t1797,t1797,t1797,t1797,t1797,t1797,t1797,t1797,t1797,t1797,t1797,t1797,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t551,t551,t551,t551,t551,t551,t551,t551,t551,t551,t551,t551,t551,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2385,t2385,t2385,t2385,t2385,t2385,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 18 events :t2125,t898,t2123,t2122,t2125,t898,t2123,t2122,t898,t900,t898,t898,t897,t900,t898,t898,t897,t898,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t705,t705,t705,t705,t705,t705,t705,t705,t705,t705,t705,t705,t705,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2735,t2735,t2735,t2735,t2735,t2735,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1755,t1755,t1755,t1755,t1755,t1755,t1755,t1755,t1755,t1755,t1755,t1755,t1755,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1433,t1433,t1433,t1433,t1433,t1433,t1433,t1433,t1433,t1433,t1433,t1433,t1433,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1209,t1209,t1209,t1209,t1209,t1209,t1209,t1209,t1209,t1209,t1209,t1209,t1209,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2658,t2658,t2658,t2658,t2658,t2658,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2245,t2245,t2245,t2245,t2245,t2245,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2210,t2210,t2210,t2210,t2210,t2210,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2154,t2154,t2154,t2154,t2154,t2154,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 18 events :t2216,t2215,t716,t2213,t2216,t2215,t716,t2213,t716,t718,t716,t716,t715,t718,t716,t716,t715,t716,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2294,t2294,t2294,t2294,t2294,t2294,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1237,t1237,t1237,t1237,t1237,t1237,t1237,t1237,t1237,t1237,t1237,t1237,t1237,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1363,t1363,t1363,t1363,t1363,t1363,t1363,t1363,t1363,t1363,t1363,t1363,t1363,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t663,t663,t663,t663,t663,t663,t663,t663,t663,t663,t663,t663,t663,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2231,t2231,t2231,t2231,t2231,t2231,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1811,t1811,t1811,t1811,t1811,t1811,t1811,t1811,t1811,t1811,t1811,t1811,t1811,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2112,t2112,t2112,t2112,t2112,t2112,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t2896,t2896,t2896,t2896,t2896,t2896,t2896,t2896,t2896,t2896,t2896,t2896,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t817,t817,t817,t817,t817,t817,t817,t817,t817,t817,t817,t817,t817,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 18 events :t2265,t618,t2263,t2262,t2265,t618,t2263,t2262,t618,t620,t618,t618,t617,t620,t618,t618,t617,t618,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1195,t1195,t1195,t1195,t1195,t1195,t1195,t1195,t1195,t1195,t1195,t1195,t1195,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t2063,t2063,t2063,t2063,t2063,t2063,t2063,t2063,t2063,t2063,t2063,t2063,t2063,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2728,t2728,t2728,t2728,t2728,t2728,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2098,t2098,t2098,t2098,t2098,t2098,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t873,t873,t873,t873,t873,t873,t873,t873,t873,t873,t873,t873,t873,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2742,t2742,t2742,t2742,t2742,t2742,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 18 events :t2258,t2257,t632,t2255,t2258,t2257,t632,t2255,t632,t634,t632,t632,t631,t634,t632,t632,t631,t632,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2336,t2336,t2336,t2336,t2336,t2336,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1951,t1951,t1951,t1951,t1951,t1951,t1951,t1951,t1951,t1951,t1951,t1951,t1951,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2826,t2826,t2826,t2826,t2826,t2826,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1573,t1573,t1573,t1573,t1573,t1573,t1573,t1573,t1573,t1573,t1573,t1573,t1573,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1517,t1517,t1517,t1517,t1517,t1517,t1517,t1517,t1517,t1517,t1517,t1517,t1517,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2847,t2847,t2847,t2847,t2847,t2847,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2287,t2287,t2287,t2287,t2287,t2287,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t467,t467,t467,t467,t467,t467,t467,t467,t467,t467,t467,t467,t467,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2833,t2833,t2833,t2833,t2833,t2833,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t2049,t2049,t2049,t2049,t2049,t2049,t2049,t2049,t2049,t2049,t2049,t2049,t2049,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t929,t929,t929,t929,t929,t929,t929,t929,t929,t929,t929,t929,t929,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2469,t2469,t2469,t2469,t2469,t2469,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1615,t1615,t1615,t1615,t1615,t1615,t1615,t1615,t1615,t1615,t1615,t1615,t1615,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2217,t2217,t2217,t2217,t2217,t2217,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 18 events :t2167,t814,t2165,t2164,t2167,t814,t2165,t2164,t814,t816,t814,t814,t813,t816,t814,t814,t813,t814,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t509,t509,t509,t509,t509,t509,t509,t509,t509,t509,t509,t509,t509,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2889,t2889,t2889,t2889,t2889,t2889,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1531,t1531,t1531,t1531,t1531,t1531,t1531,t1531,t1531,t1531,t1531,t1531,t1531,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2756,t2756,t2756,t2756,t2756,t2756,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2490,t2490,t2490,t2490,t2490,t2490,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1265,t1265,t1265,t1265,t1265,t1265,t1265,t1265,t1265,t1265,t1265,t1265,t1265,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t859,t859,t859,t859,t859,t859,t859,t859,t859,t859,t859,t859,t859,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2819,t2819,t2819,t2819,t2819,t2819,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1545,t1545,t1545,t1545,t1545,t1545,t1545,t1545,t1545,t1545,t1545,t1545,t1545,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2357,t2357,t2357,t2357,t2357,t2357,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1895,t1895,t1895,t1895,t1895,t1895,t1895,t1895,t1895,t1895,t1895,t1895,t1895,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2273,t2273,t2273,t2273,t2273,t2273,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t537,t537,t537,t537,t537,t537,t537,t537,t537,t537,t537,t537,t537,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2875,t2875,t2875,t2875,t2875,t2875,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 18 events :t2328,t2327,t492,t2325,t2328,t2327,t492,t2325,t492,t494,t492,t492,t491,t494,t492,t492,t491,t492,
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.Instantiator fuseIsomorphicEffects
INFO: Removed a total of 4560 redundant transitions.
Mar 15, 2019 8:41:05 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 975 ms
Mar 15, 2019 8:41:05 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/ReachabilityCardinality.pnml.gal : 43 ms
Mar 15, 2019 8:41:05 AM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSTools
INFO: Time to serialize properties into /home/mcc/execution/ReachabilityCardinality.prop : 0 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="DLCshifumi-PT-3a"
export BK_EXAMINATION="ReachabilityCardinality"
export BK_TOOL="itstools"
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 itstools"
echo " Input is DLCshifumi-PT-3a, examination is ReachabilityCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r052-oct2-155234410100530"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DLCshifumi-PT-3a.tgz
mv DLCshifumi-PT-3a execution
cd execution
if [ "ReachabilityCardinality" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "ReachabilityCardinality" = "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 [ "ReachabilityCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityCardinality" != "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 "ReachabilityCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityCardinality.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 '
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 ;