Mon Mar 5 19:12:39 CET 2018 Linux seals-4 4.4.67-1-pve #1 SMP PVE 4.4.67-92 (Fri, 23 Jun 2017 08:22:06 +0200) x86_64 GNU/Linux model name : Intel(R) Xeon(R) CPU E5-2420 0 @ 1.90GHz model name : Intel(R) Xeon(R) CPU E5-2420 0 @ 1.90GHz model name : Intel(R) Xeon(R) CPU E5-2420 0 @ 1.90GHz model name : Intel(R) Xeon(R) CPU E5-2420 0 @ 1.90GHz model name : Intel(R) Xeon(R) CPU E5-2420 0 @ 1.90GHz model name : Intel(R) Xeon(R) CPU E5-2420 0 @ 1.90GHz model name : Intel(R) Xeon(R) CPU E5-2420 0 @ 1.90GHz model name : Intel(R) Xeon(R) CPU E5-2420 0 @ 1.90GHz model name : Intel(R) Xeon(R) CPU E5-2420 0 @ 1.90GHz model name : Intel(R) Xeon(R) CPU E5-2420 0 @ 1.90GHz model name : Intel(R) Xeon(R) CPU E5-2420 0 @ 1.90GHz model name : Intel(R) Xeon(R) CPU E5-2420 0 @ 1.90GHz model name : Intel(R) Xeon(R) CPU E5-2420 0 @ 1.90GHz model name : Intel(R) Xeon(R) CPU E5-2420 0 @ 1.90GHz model name : Intel(R) Xeon(R) CPU E5-2420 0 @ 1.90GHz model name : Intel(R) Xeon(R) CPU E5-2420 0 @ 1.90GHz model name : Intel(R) Xeon(R) CPU E5-2420 0 @ 1.90GHz model name : Intel(R) Xeon(R) CPU E5-2420 0 @ 1.90GHz model name : Intel(R) Xeon(R) CPU E5-2420 0 @ 1.90GHz model name : Intel(R) Xeon(R) CPU E5-2420 0 @ 1.90GHz model name : Intel(R) Xeon(R) CPU E5-2420 0 @ 1.90GHz model name : Intel(R) Xeon(R) CPU E5-2420 0 @ 1.90GHz model name : Intel(R) Xeon(R) CPU E5-2420 0 @ 1.90GHz model name : Intel(R) Xeon(R) CPU E5-2420 0 @ 1.90GHz MemTotal: 20447232 kB java version "1.8.0_151" Java(TM) SE Runtime Environment (build 1.8.0_151-b12) Java HotSpot(TM) 64-Bit Server VM (build 25.151-b12, mixed mode) Max. Heap Size (Estimated): 4.33G fa69a4569fb2ecd7d8f24759d1ce0cd71080811a Already up-to-date. Buildfile: /scratch/LazyLav/lazylav/build.xml compileall: [echo] Erasing... cleanjar: [echo] Erasing... [delete] Deleting: /scratch/LazyLav/lazylav/lib/lazylav/lazylav.jar [delete] Deleting: /scratch/LazyLav/lazylav/lib/lazylav/ll.jar bind: compile: [echo] Compiling... [javac] Compiling 19 source files to /scratch/LazyLav/lazylav/classes [javac] Note: Some input files use unchecked or unsafe operations. [javac] Note: Recompile with -Xlint:unchecked for details. git.revision: versionnumber: [echo] fa69a4569fb2ecd7d8f24759d1ce0cd71080811a jar: [echo] Jarchiving... [copy] Copying 1 file to /scratch/LazyLav/lazylav/lib/lazylav [jar] Building jar: /scratch/LazyLav/lazylav/lib/lazylav/lazylav.jar [copy] Copying 1 file to /scratch/LazyLav/lazylav/lib/lazylav [jar] Building jar: /scratch/LazyLav/lazylav/lib/lazylav/ll.jar BUILD SUCCESSFUL Total time: 4 seconds java -Dlog.level=INFO -cp lib/lazylav/ll.jar:lib/slf4j/logback-classic-1.2.3.jar:lib/slf4j/logback-core-1.2.3.jar:. fr.inria.exmo.lazylavender.engine.Monitor -DnbAgents=4 -DnbIterations=1000 -DnbRuns=10 -DreportPrecRec -Drealistic -DrevisionModality=addjoin -Dsyntactic=true -DloadDir=expeRun -DloadEnv -DloadAgents -DreplayGames -DsaveDir=addjoinRes -DsaveFinal nohup: ignoring input 2018-03-05 19:12:46,581 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-03-05 19:12:46,763 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 92; Precision = 0.1956521739130435; Recall = 0.20930232558139536; incoherence = 0.3412698412698412 2018-03-05 19:12:48,752 INFO main f.i.e.l.env.NOOEnvironment Final Size = 48; Precision = 0.625; Recall = 0.3488372093023256; incoherence = 0.126473063973064 2018-03-05 19:12:49,102 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-03-05 19:12:49,195 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 92; Precision = 0.13043478260869565; Recall = 0.13953488372093023; incoherence = 0.36507936507936506 2018-03-05 19:12:50,272 INFO main f.i.e.l.env.NOOEnvironment Final Size = 50; Precision = 0.42; Recall = 0.2441860465116279; incoherence = 0.1875 2018-03-05 19:12:50,613 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-03-05 19:12:50,738 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 92; Precision = 0.21739130434782608; Recall = 0.23255813953488372; incoherence = 0.27777777777777773 2018-03-05 19:12:51,570 INFO main f.i.e.l.env.NOOEnvironment Final Size = 52; Precision = 0.5576923076923077; Recall = 0.3372093023255814; incoherence = 0.1412037037037037 2018-03-05 19:12:51,690 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-03-05 19:12:51,759 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 92; Precision = 0.10869565217391304; Recall = 0.11627906976744186; incoherence = 0.2896825396825397 2018-03-05 19:12:52,808 INFO main f.i.e.l.env.NOOEnvironment Final Size = 33; Precision = 0.45454545454545453; Recall = 0.1744186046511628; incoherence = 0.1275132275132275 2018-03-05 19:12:52,933 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-03-05 19:12:52,999 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 92; Precision = 0.17391304347826086; Recall = 0.18604651162790697; incoherence = 0.376984126984127 2018-03-05 19:12:53,762 INFO main f.i.e.l.env.NOOEnvironment Final Size = 56; Precision = 0.5178571428571429; Recall = 0.3372093023255814; incoherence = 0.2324915824915825 2018-03-05 19:12:53,867 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-03-05 19:12:53,929 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 92; Precision = 0.13043478260869565; Recall = 0.13953488372093023; incoherence = 0.32275132275132273 2018-03-05 19:12:54,696 INFO main f.i.e.l.env.NOOEnvironment Final Size = 43; Precision = 0.5116279069767442; Recall = 0.2558139534883721; incoherence = 0.16805555555555554 2018-03-05 19:12:55,018 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-03-05 19:12:55,177 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 92; Precision = 0.15217391304347827; Recall = 0.16279069767441862; incoherence = 0.3862433862433862 2018-03-05 19:12:56,067 INFO main f.i.e.l.env.NOOEnvironment Final Size = 47; Precision = 0.44680851063829785; Recall = 0.2441860465116279; incoherence = 0.1675925925925926 2018-03-05 19:12:56,172 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-03-05 19:12:56,269 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 92; Precision = 0.13043478260869565; Recall = 0.13953488372093023; incoherence = 0.3412698412698412 2018-03-05 19:12:56,993 INFO main f.i.e.l.env.NOOEnvironment Final Size = 38; Precision = 0.5526315789473685; Recall = 0.2441860465116279; incoherence = 0.08564814814814814 2018-03-05 19:12:57,127 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-03-05 19:12:57,312 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 92; Precision = 0.20652173913043478; Recall = 0.22093023255813954; incoherence = 0.35052910052910047 2018-03-05 19:12:58,025 INFO main f.i.e.l.env.NOOEnvironment Final Size = 55; Precision = 0.5272727272727272; Recall = 0.3372093023255814; incoherence = 0.18532948532948534 2018-03-05 19:12:58,123 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-03-05 19:12:58,178 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 92; Precision = 0.18478260869565216; Recall = 0.19767441860465115; incoherence = 0.3650793650793651 2018-03-05 19:12:59,969 INFO main f.i.e.l.env.NOOEnvironment Final Size = 45; Precision = 0.4888888888888889; Recall = 0.2558139534883721; incoherence = 0.18162578162578166 Mon Mar 5 19:13:00 CET 2018