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 |
| 1746.960 | 90028.00 | 304432.00 | 284.00 | FFFFFFFFFFFFFFFF | 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-155234410100529.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 LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r052-oct2-155234410100529
=====================================================================
--------------------
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-LTLFireability-00
FORMULA_NAME DLCshifumi-PT-3a-LTLFireability-01
FORMULA_NAME DLCshifumi-PT-3a-LTLFireability-02
FORMULA_NAME DLCshifumi-PT-3a-LTLFireability-03
FORMULA_NAME DLCshifumi-PT-3a-LTLFireability-04
FORMULA_NAME DLCshifumi-PT-3a-LTLFireability-05
FORMULA_NAME DLCshifumi-PT-3a-LTLFireability-06
FORMULA_NAME DLCshifumi-PT-3a-LTLFireability-07
FORMULA_NAME DLCshifumi-PT-3a-LTLFireability-08
FORMULA_NAME DLCshifumi-PT-3a-LTLFireability-09
FORMULA_NAME DLCshifumi-PT-3a-LTLFireability-10
FORMULA_NAME DLCshifumi-PT-3a-LTLFireability-11
FORMULA_NAME DLCshifumi-PT-3a-LTLFireability-12
FORMULA_NAME DLCshifumi-PT-3a-LTLFireability-13
FORMULA_NAME DLCshifumi-PT-3a-LTLFireability-14
FORMULA_NAME DLCshifumi-PT-3a-LTLFireability-15
=== Now, execution of the tool begins
BK_START 1552639243744
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-ltl-linux64, --gc-threshold, 2000000, -i, /home/mcc/execution/LTLFireability.pnml.gal, -t, CGAL, -LTL, /home/mcc/execution/LTLFireability.ltl, -c, -stutter-deadlock], workingDir=/home/mcc/execution]
its-ltl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201903111103/bin/its-ltl-linux64 --gc-threshold 2000000 -i /home/mcc/execution/LTLFireability.pnml.gal -t CGAL -LTL /home/mcc/execution/LTLFireability.ltl -c -stutter-deadlock
Read 16 LTL properties
Checking formula 0 : !((X(F(G(X("(u31.p211>=1)"))))))
Formula 0 simplified : !XFGX"(u31.p211>=1)"
built 481 ordering constraints for composite.
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]
Reverse transition relation is exact ! Faster fixpoint algorithm enabled.
3 unique states visited
2 strongly connected components in search stack
4 transitions explored
3 items max in DFS search stack
548 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,5.63079,95824,1,0,32185,1247,12103,38079,365,1319,125488
an accepting run exists (use option '-e' to print it)
Formula 0 is FALSE accepting run found.
FORMULA DLCshifumi-PT-3a-LTLFireability-00 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Checking formula 1 : !((X((F(F("((u41.p292>=1)&&(u163.p424>=1))")))U(X(F("((u35.p239>=1)&&(u267.p528>=1))"))))))
Formula 1 simplified : !X(F"((u41.p292>=1)&&(u163.p424>=1))" U XF"((u35.p239>=1)&&(u267.p528>=1))")
4 unique states visited
4 strongly connected components in search stack
4 transitions explored
4 items max in DFS search stack
39 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,6.01292,113096,1,0,47976,1247,12362,61237,365,1584,156153
an accepting run exists (use option '-e' to print it)
Formula 1 is FALSE accepting run found.
FORMULA DLCshifumi-PT-3a-LTLFireability-01 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Checking formula 2 : !(("((u42.p303>=1)&&(u238.p499>=1))"))
Formula 2 simplified : !"((u42.p303>=1)&&(u238.p499>=1))"
3 unique states visited
3 strongly connected components in search stack
3 transitions explored
3 items max in DFS search stack
0 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,6.01532,113360,1,0,47976,1247,12370,61237,365,1584,156197
an accepting run exists (use option '-e' to print it)
Formula 2 is FALSE accepting run found.
FORMULA DLCshifumi-PT-3a-LTLFireability-02 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Checking formula 3 : !(("((u40.p277>=1)&&(u74.p335>=1))"))
Formula 3 simplified : !"((u40.p277>=1)&&(u74.p335>=1))"
3 unique states visited
3 strongly connected components in search stack
3 transitions explored
3 items max in DFS search stack
0 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,6.01694,113360,1,0,47976,1247,12374,61237,365,1584,156443
an accepting run exists (use option '-e' to print it)
Formula 3 is FALSE accepting run found.
FORMULA DLCshifumi-PT-3a-LTLFireability-03 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Checking formula 4 : !(((X(G(F("(u42.p297>=1)"))))U((G("((u49.p310>=1)&&(u40.p282>=1))"))U(X("((u42.p296>=1)&&(u252.p513>=1))")))))
Formula 4 simplified : !(XGF"(u42.p297>=1)" U (G"((u49.p310>=1)&&(u40.p282>=1))" U X"((u42.p296>=1)&&(u252.p513>=1))"))
4 unique states visited
4 strongly connected components in search stack
4 transitions explored
4 items max in DFS search stack
20 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,6.22393,120160,1,0,50276,1247,12627,63811,365,2054,161082
an accepting run exists (use option '-e' to print it)
Formula 4 is FALSE accepting run found.
FORMULA DLCshifumi-PT-3a-LTLFireability-04 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Checking formula 5 : !((F("((u34.p235>=1)&&(u187.p448>=1))")))
Formula 5 simplified : !F"((u34.p235>=1)&&(u187.p448>=1))"
2 unique states visited
2 strongly connected components in search stack
2 transitions explored
2 items max in DFS search stack
37 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,6.61684,134152,1,0,58022,1247,12886,78553,365,2148,172676
an accepting run exists (use option '-e' to print it)
Formula 5 is FALSE accepting run found.
FORMULA DLCshifumi-PT-3a-LTLFireability-05 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Checking formula 6 : !((X((F("((u41.p293>=1)&&(u178.p439>=1))"))U("((u41.p288>=1)&&(u134.p395>=1))"))))
Formula 6 simplified : !X(F"((u41.p293>=1)&&(u178.p439>=1))" U "((u41.p288>=1)&&(u134.p395>=1))")
2 unique states visited
2 strongly connected components in search stack
2 transitions explored
2 items max in DFS search stack
130 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,7.92552,172956,1,0,104918,1247,13893,137651,365,2747,235906
an accepting run exists (use option '-e' to print it)
Formula 6 is FALSE accepting run found.
FORMULA DLCshifumi-PT-3a-LTLFireability-06 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Checking formula 7 : !((G(G(F(("((u40.p279>=1)&&(u52.p313>=1))")U("((u42.p299>=1)&&(u252.p513>=1))"))))))
Formula 7 simplified : !GF("((u40.p279>=1)&&(u52.p313>=1))" U "((u42.p299>=1)&&(u252.p513>=1))")
4 unique states visited
4 strongly connected components in search stack
5 transitions explored
4 items max in DFS search stack
16 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,8.1105,177972,1,0,106016,1247,13997,138834,365,2817,238185
an accepting run exists (use option '-e' to print it)
Formula 7 is FALSE accepting run found.
FORMULA DLCshifumi-PT-3a-LTLFireability-07 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Checking formula 8 : !((G(X("((u222.p483>=1)&&(u42.p300>=1))"))))
Formula 8 simplified : !GX"((u222.p483>=1)&&(u42.p300>=1))"
4 unique states visited
4 strongly connected components in search stack
4 transitions explored
4 items max in DFS search stack
2 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,8.13451,179028,1,0,106016,1247,14019,138834,365,2817,238269
an accepting run exists (use option '-e' to print it)
Formula 8 is FALSE accepting run found.
FORMULA DLCshifumi-PT-3a-LTLFireability-08 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Checking formula 9 : !((F((X(F("((u41.p289>=1)&&(u142.p403>=1))")))U("((u131.p392>=1)&&(u41.p292>=1))"))))
Formula 9 simplified : !F(XF"((u41.p289>=1)&&(u142.p403>=1))" U "((u131.p392>=1)&&(u41.p292>=1))")
2 unique states visited
2 strongly connected components in search stack
2 transitions explored
2 items max in DFS search stack
66 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,8.79742,193548,1,0,116164,1247,14444,157431,365,2844,254945
an accepting run exists (use option '-e' to print it)
Formula 9 is FALSE accepting run found.
FORMULA DLCshifumi-PT-3a-LTLFireability-09 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Checking formula 10 : !((G(G(G(F("((u41.p288>=1)&&(u154.p415>=1))"))))))
Formula 10 simplified : !GF"((u41.p288>=1)&&(u154.p415>=1))"
4 unique states visited
4 strongly connected components in search stack
5 transitions explored
4 items max in DFS search stack
62 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,9.43306,209124,1,0,125511,1247,14788,175019,365,2923,268600
an accepting run exists (use option '-e' to print it)
Formula 10 is FALSE accepting run found.
FORMULA DLCshifumi-PT-3a-LTLFireability-10 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Checking formula 11 : !(((G(F(X("((u21.p147>=1)&&(u84.p345>=1))"))))U(X(G(X("((u40.p276>=1)&&(u120.p381>=1))"))))))
Formula 11 simplified : !(GFX"((u21.p147>=1)&&(u84.p345>=1))" U XGX"((u40.p276>=1)&&(u120.p381>=1))")
5 unique states visited
5 strongly connected components in search stack
5 transitions explored
5 items max in DFS search stack
381 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,13.2472,251824,1,0,174697,1247,15764,240911,365,3475,342692
an accepting run exists (use option '-e' to print it)
Formula 11 is FALSE accepting run found.
FORMULA DLCshifumi-PT-3a-LTLFireability-11 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Checking formula 12 : !((G(("((u42.p301>=1)&&(u226.p487>=1))")U("((u19.p127>=1)&&(u79.p340>=1))"))))
Formula 12 simplified : !G("((u42.p301>=1)&&(u226.p487>=1))" U "((u19.p127>=1)&&(u79.p340>=1))")
3 unique states visited
3 strongly connected components in search stack
3 transitions explored
3 items max in DFS search stack
2 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,13.269,253144,1,0,174697,1247,15799,240911,365,3475,343135
an accepting run exists (use option '-e' to print it)
Formula 12 is FALSE accepting run found.
FORMULA DLCshifumi-PT-3a-LTLFireability-12 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Checking formula 13 : !((G(F(F(F(G("((u9.p63>=1)&&(u216.p477>=1))")))))))
Formula 13 simplified : !GFG"((u9.p63>=1)&&(u216.p477>=1))"
Compilation finished in 23242 ms.
Running link step : CommandLine [args=[gcc, -shared, -o, gal.so, model.o], workingDir=/home/mcc/execution]
Link finished in 206 ms.
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, [](<>(<>(<>([]((LTLAP21==true)))))), --buchi-type=spotba], workingDir=/home/mcc/execution]
2 unique states visited
2 strongly connected components in search stack
2 transitions explored
2 items max in DFS search stack
2884 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,42.1135,1126456,1,0,2.39867e+06,1247,15826,3.76253e+06,365,5272,2819060
an accepting run exists (use option '-e' to print it)
Formula 13 is FALSE accepting run found.
FORMULA DLCshifumi-PT-3a-LTLFireability-13 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Checking formula 14 : !((G(G(F(("(u6.p39>=1)")U("((u27.p189>=1)&&(u252.p513>=1))"))))))
Formula 14 simplified : !GF("(u6.p39>=1)" U "((u27.p189>=1)&&(u252.p513>=1))")
4 unique states visited
4 strongly connected components in search stack
5 transitions explored
4 items max in DFS search stack
45 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,42.5638,1144408,1,0,2.40829e+06,1247,16139,3.78157e+06,365,5276,2831144
an accepting run exists (use option '-e' to print it)
Formula 14 is FALSE accepting run found.
FORMULA DLCshifumi-PT-3a-LTLFireability-14 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Checking formula 15 : !((F("((u14.p95>=1)&&(u147.p408>=1))")))
Formula 15 simplified : !F"((u14.p95>=1)&&(u147.p408>=1))"
2 unique states visited
2 strongly connected components in search stack
2 transitions explored
2 items max in DFS search stack
92 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,43.4817,1164208,1,0,2.42231e+06,1247,16586,3.80835e+06,365,5276,2854270
an accepting run exists (use option '-e' to print it)
Formula 15 is FALSE accepting run found.
FORMULA DLCshifumi-PT-3a-LTLFireability-15 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
WARNING : LTS min runner thread was asked to interrupt. Dying gracefully.
BK_STOP 1552639333772
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ LTLFireability = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution LTLFireability -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 LTLFireability -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:40:45 AM fr.lip6.move.gal.application.Application start
INFO: Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLFireability, -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:40:46 AM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Mar 15, 2019 8:40:46 AM fr.lip6.move.gal.nupn.PTNetReader loadFromXML
INFO: Load time of PNML (sax parser for PT used): 257 ms
Mar 15, 2019 8:40:46 AM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 544 places.
Mar 15, 2019 8:40:46 AM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 3097 transitions.
Mar 15, 2019 8:40:46 AM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Found NUPN structural information;
Mar 15, 2019 8:40:46 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/model.pnml.img.gal : 62 ms
Mar 15, 2019 8:40:46 AM fr.lip6.move.gal.application.MccTranslator applyOrder
INFO: Applying decomposition
Mar 15, 2019 8:40:47 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 524 ms
Mar 15, 2019 8:40:47 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 198 ms
Mar 15, 2019 8:40:47 AM fr.lip6.move.gal.instantiate.CompositeBuilder decomposeWithOrder
INFO: Decomposing Gal with order
Mar 15, 2019 8:40:47 AM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting arrays to variables to allow decomposition.
Mar 15, 2019 8:40:48 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:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2665,t2665,t2665,t2665,t2665,t2665,
Mar 15, 2019 8:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2763,t2763,t2763,t2763,t2763,t2763,
Mar 15, 2019 8:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2294,t2294,t2294,t2294,t2294,t2294,
Mar 15, 2019 8:40:48 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:40:48 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:40:48 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:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2098,t2098,t2098,t2098,t2098,t2098,
Mar 15, 2019 8:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2378,t2378,t2378,t2378,t2378,t2378,
Mar 15, 2019 8:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2644,t2644,t2644,t2644,t2644,t2644,
Mar 15, 2019 8:40:48 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:40:48 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:40:48 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:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2735,t2735,t2735,t2735,t2735,t2735,
Mar 15, 2019 8:40:48 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:40:48 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:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2077,t2077,t2077,t2077,t2077,t2077,
Mar 15, 2019 8:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2812,t2812,t2812,t2812,t2812,t2812,
Mar 15, 2019 8:40:48 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:40:48 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:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2231,t2231,t2231,t2231,t2231,t2231,
Mar 15, 2019 8:40:48 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:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2539,t2539,t2539,t2539,t2539,t2539,
Mar 15, 2019 8:40:48 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:40:48 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:40:48 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:40:48 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:40:48 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:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2434,t2434,t2434,t2434,t2434,t2434,
Mar 15, 2019 8:40:48 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:40:48 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:40:48 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:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2777,t2777,t2777,t2777,t2777,t2777,
Mar 15, 2019 8:40:48 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:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2728,t2728,t2728,t2728,t2728,t2728,
Mar 15, 2019 8:40:48 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:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2553,t2553,t2553,t2553,t2553,t2553,
Mar 15, 2019 8:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2427,t2427,t2427,t2427,t2427,t2427,
Mar 15, 2019 8:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2252,t2252,t2252,t2252,t2252,t2252,
Mar 15, 2019 8:40:48 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:40:48 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:40:48 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:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2721,t2721,t2721,t2721,t2721,t2721,
Mar 15, 2019 8:40:48 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:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2329,t2329,t2329,t2329,t2329,t2329,
Mar 15, 2019 8:40:48 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:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2462,t2462,t2462,t2462,t2462,t2462,
Mar 15, 2019 8:40:48 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:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2105,t2105,t2105,t2105,t2105,t2105,
Mar 15, 2019 8:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2133,t2133,t2133,t2133,t2133,t2133,
Mar 15, 2019 8:40:48 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:40:48 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:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2616,t2616,t2616,t2616,t2616,t2616,
Mar 15, 2019 8:40:48 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:40:48 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:40:48 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:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2672,t2672,t2672,t2672,t2672,t2672,
Mar 15, 2019 8:40:48 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:40:48 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:40:48 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:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2413,t2413,t2413,t2413,t2413,t2413,
Mar 15, 2019 8:40:48 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:40:48 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:40:48 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:40:48 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:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2112,t2112,t2112,t2112,t2112,t2112,
Mar 15, 2019 8:40:48 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:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2483,t2483,t2483,t2483,t2483,t2483,
Mar 15, 2019 8:40:48 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:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2210,t2210,t2210,t2210,t2210,t2210,
Mar 15, 2019 8:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2840,t2840,t2840,t2840,t2840,t2840,
Mar 15, 2019 8:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2784,t2784,t2784,t2784,t2784,t2784,
Mar 15, 2019 8:40:48 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:40:48 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:40:48 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:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2651,t2651,t2651,t2651,t2651,t2651,
Mar 15, 2019 8:40:48 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:40:48 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:40:48 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:40:48 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:40:48 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:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2476,t2476,t2476,t2476,t2476,t2476,
Mar 15, 2019 8:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2364,t2364,t2364,t2364,t2364,t2364,
Mar 15, 2019 8:40:48 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:40:48 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:40:48 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:40:48 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:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2399,t2399,t2399,t2399,t2399,t2399,
Mar 15, 2019 8:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2574,t2574,t2574,t2574,t2574,t2574,
Mar 15, 2019 8:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2091,t2091,t2091,t2091,t2091,t2091,
Mar 15, 2019 8:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2861,t2861,t2861,t2861,t2861,t2861,
Mar 15, 2019 8:40:48 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:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2217,t2217,t2217,t2217,t2217,t2217,
Mar 15, 2019 8:40:48 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:40:48 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:40:48 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:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2546,t2546,t2546,t2546,t2546,t2546,
Mar 15, 2019 8:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2497,t2497,t2497,t2497,t2497,t2497,
Mar 15, 2019 8:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2350,t2350,t2350,t2350,t2350,t2350,
Mar 15, 2019 8:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2385,t2385,t2385,t2385,t2385,t2385,
Mar 15, 2019 8:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2259,t2259,t2259,t2259,t2259,t2259,
Mar 15, 2019 8:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2686,t2686,t2686,t2686,t2686,t2686,
Mar 15, 2019 8:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2525,t2525,t2525,t2525,t2525,t2525,
Mar 15, 2019 8:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2518,t2518,t2518,t2518,t2518,t2518,
Mar 15, 2019 8:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2875,t2875,t2875,t2875,t2875,t2875,
Mar 15, 2019 8:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2791,t2791,t2791,t2791,t2791,t2791,
Mar 15, 2019 8:40:48 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:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2889,t2889,t2889,t2889,t2889,t2889,
Mar 15, 2019 8:40:48 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:40:48 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:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2315,t2315,t2315,t2315,t2315,t2315,
Mar 15, 2019 8:40:48 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:40:48 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:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2700,t2700,t2700,t2700,t2700,t2700,
Mar 15, 2019 8:40:48 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:40:48 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:40:48 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:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2882,t2882,t2882,t2882,t2882,t2882,
Mar 15, 2019 8:40:48 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:40:48 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:40:48 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:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2280,t2280,t2280,t2280,t2280,t2280,
Mar 15, 2019 8:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2168,t2168,t2168,t2168,t2168,t2168,
Mar 15, 2019 8:40:48 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:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2154,t2154,t2154,t2154,t2154,t2154,
Mar 15, 2019 8:40:48 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:40:48 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:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2714,t2714,t2714,t2714,t2714,t2714,
Mar 15, 2019 8:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2490,t2490,t2490,t2490,t2490,t2490,
Mar 15, 2019 8:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2126,t2126,t2126,t2126,t2126,t2126,
Mar 15, 2019 8:40:48 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:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2245,t2245,t2245,t2245,t2245,t2245,
Mar 15, 2019 8:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2749,t2749,t2749,t2749,t2749,t2749,
Mar 15, 2019 8:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2868,t2868,t2868,t2868,t2868,t2868,
Mar 15, 2019 8:40:48 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:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2560,t2560,t2560,t2560,t2560,t2560,
Mar 15, 2019 8:40:48 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:40:48 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:40:48 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:40:48 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:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2189,t2189,t2189,t2189,t2189,t2189,
Mar 15, 2019 8:40:48 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:40:48 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:40:48 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:40:48 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:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2140,t2140,t2140,t2140,t2140,t2140,
Mar 15, 2019 8:40:48 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:40:48 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:40:48 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:40:48 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:40:48 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:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2532,t2532,t2532,t2532,t2532,t2532,
Mar 15, 2019 8:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2147,t2147,t2147,t2147,t2147,t2147,
Mar 15, 2019 8:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2588,t2588,t2588,t2588,t2588,t2588,
Mar 15, 2019 8:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2798,t2798,t2798,t2798,t2798,t2798,
Mar 15, 2019 8:40:48 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:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2224,t2224,t2224,t2224,t2224,t2224,
Mar 15, 2019 8:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2770,t2770,t2770,t2770,t2770,t2770,
Mar 15, 2019 8:40:48 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:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2833,t2833,t2833,t2833,t2833,t2833,
Mar 15, 2019 8:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2819,t2819,t2819,t2819,t2819,t2819,
Mar 15, 2019 8:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2693,t2693,t2693,t2693,t2693,t2693,
Mar 15, 2019 8:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2847,t2847,t2847,t2847,t2847,t2847,
Mar 15, 2019 8:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2287,t2287,t2287,t2287,t2287,t2287,
Mar 15, 2019 8:40:48 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:40:48 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:40:48 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:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2196,t2196,t2196,t2196,t2196,t2196,
Mar 15, 2019 8:40:48 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:40:48 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:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2567,t2567,t2567,t2567,t2567,t2567,
Mar 15, 2019 8:40:48 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:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2406,t2406,t2406,t2406,t2406,t2406,
Mar 15, 2019 8:40:48 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:40:48 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:40:48 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:40:48 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:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2203,t2203,t2203,t2203,t2203,t2203,
Mar 15, 2019 8:40:48 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:40:48 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:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2826,t2826,t2826,t2826,t2826,t2826,
Mar 15, 2019 8:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2343,t2343,t2343,t2343,t2343,t2343,
Mar 15, 2019 8:40:48 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:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2119,t2119,t2119,t2119,t2119,t2119,
Mar 15, 2019 8:40:48 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:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2441,t2441,t2441,t2441,t2441,t2441,
Mar 15, 2019 8:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2658,t2658,t2658,t2658,t2658,t2658,
Mar 15, 2019 8:40:48 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:40:48 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:40:48 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:40:48 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:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2357,t2357,t2357,t2357,t2357,t2357,
Mar 15, 2019 8:40:48 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:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2679,t2679,t2679,t2679,t2679,t2679,
Mar 15, 2019 8:40:48 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:40:48 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:40:48 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:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2469,t2469,t2469,t2469,t2469,t2469,
Mar 15, 2019 8:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2238,t2238,t2238,t2238,t2238,t2238,
Mar 15, 2019 8:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2756,t2756,t2756,t2756,t2756,t2756,
Mar 15, 2019 8:40:48 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:40:48 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:40:48 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:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2602,t2602,t2602,t2602,t2602,t2602,
Mar 15, 2019 8:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2511,t2511,t2511,t2511,t2511,t2511,
Mar 15, 2019 8:40:48 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:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2707,t2707,t2707,t2707,t2707,t2707,
Mar 15, 2019 8:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2273,t2273,t2273,t2273,t2273,t2273,
Mar 15, 2019 8:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2805,t2805,t2805,t2805,t2805,t2805,
Mar 15, 2019 8:40:48 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:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2175,t2175,t2175,t2175,t2175,t2175,
Mar 15, 2019 8:40:48 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:40:48 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:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2336,t2336,t2336,t2336,t2336,t2336,
Mar 15, 2019 8:40:48 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:40:48 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:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2266,t2266,t2266,t2266,t2266,t2266,
Mar 15, 2019 8:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2455,t2455,t2455,t2455,t2455,t2455,
Mar 15, 2019 8:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2371,t2371,t2371,t2371,t2371,t2371,
Mar 15, 2019 8:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2595,t2595,t2595,t2595,t2595,t2595,
Mar 15, 2019 8:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2308,t2308,t2308,t2308,t2308,t2308,
Mar 15, 2019 8:40:48 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:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2301,t2301,t2301,t2301,t2301,t2301,
Mar 15, 2019 8:40:48 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:40:48 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:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2182,t2182,t2182,t2182,t2182,t2182,
Mar 15, 2019 8:40:48 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:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2322,t2322,t2322,t2322,t2322,t2322,
Mar 15, 2019 8:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2161,t2161,t2161,t2161,t2161,t2161,
Mar 15, 2019 8:40:48 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:40:48 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:40:48 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:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2854,t2854,t2854,t2854,t2854,t2854,
Mar 15, 2019 8:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2392,t2392,t2392,t2392,t2392,t2392,
Mar 15, 2019 8:40:48 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:40:48 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:40:48 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:40:48 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:40:48 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:40:48 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:40:48 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:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2623,t2623,t2623,t2623,t2623,t2623,
Mar 15, 2019 8:40:48 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:40:48 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:40:48 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:40:48 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:40:48 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:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2609,t2609,t2609,t2609,t2609,t2609,
Mar 15, 2019 8:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2448,t2448,t2448,t2448,t2448,t2448,
Mar 15, 2019 8:40:48 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:40:48 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:40:48 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:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2637,t2637,t2637,t2637,t2637,t2637,
Mar 15, 2019 8:40:48 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:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2630,t2630,t2630,t2630,t2630,t2630,
Mar 15, 2019 8:40:48 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:40:48 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:40:48 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:40:48 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:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2581,t2581,t2581,t2581,t2581,t2581,
Mar 15, 2019 8:40:48 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:40:48 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:40:48 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:40:48 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:40:48 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:40:48 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:40:48 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:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2742,t2742,t2742,t2742,t2742,t2742,
Mar 15, 2019 8:40:48 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:40:48 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:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2504,t2504,t2504,t2504,t2504,t2504,
Mar 15, 2019 8:40:48 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:40:48 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:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2084,t2084,t2084,t2084,t2084,t2084,
Mar 15, 2019 8:40:48 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:40:48 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:40:48 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:40:48 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:40:48 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:40:48 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:40:48 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:40:48 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2420,t2420,t2420,t2420,t2420,t2420,
Mar 15, 2019 8:40:48 AM fr.lip6.move.gal.instantiate.Instantiator fuseIsomorphicEffects
INFO: Removed a total of 4560 redundant transitions.
Mar 15, 2019 8:40:48 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 514 ms
Mar 15, 2019 8:40:48 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/LTLFireability.pnml.gal : 27 ms
Mar 15, 2019 8:40:48 AM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSLTLTools
INFO: Time to serialize properties into /home/mcc/execution/LTLFireability.ltl : 12 ms
Mar 15, 2019 8:40:49 AM fr.lip6.move.gal.semantics.CompositeNextBuilder getNextForLabel
INFO: Semantic construction discarded 405 identical transitions.
Mar 15, 2019 8:40:49 AM fr.lip6.move.gal.semantics.DeterministicNextBuilder getDeterministicNext
INFO: Input system was already deterministic with 2692 transitions.
Mar 15, 2019 8:40:49 AM fr.lip6.move.gal.gal2pins.Gal2PinsTransformerNext transform
INFO: Too many transitions (2692) to apply POR reductions. Disabling POR matrices.
Mar 15, 2019 8:40:49 AM fr.lip6.move.gal.gal2pins.Gal2PinsTransformerNext transform
INFO: Built C files in 748ms conformant to PINS in folder :/home/mcc/execution
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="LTLFireability"
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 LTLFireability"
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-155234410100529"
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 [ "LTLFireability" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "LTLFireability" = "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 [ "LTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLFireability" != "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 "LTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLFireability.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 ;