Thu May 31 02:09:07 CEST 2018 Linux seals-4 4.4.98-3-pve #1 SMP PVE 4.4.98-103 (Mon, 8 Jan 2018 10:15:44 +0100) 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 d50e70f87bca76951ec2f149dc8ae1d42b9a1a28 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] d50e70f87bca76951ec2f149dc8ae1d42b9a1a28 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=10000 -DnbRuns=10 -DreportPrecRec -DloadDir=expeRun -DloadEnv -DloadAgents -DreplayGames -DrevisionModality=replace -DexpandAlignments=clever -DnonRedundancy 2018-05-31 02:09:14,075 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-05-31 02:09:14,358 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 92; Precision = 0.25; Recall = 0.872093023255814; incoherence = 0.3412698412698412 2018-05-31 02:12:27,993 INFO main f.i.e.l.env.NOOEnvironment Final Size = 39; Precision = 0.8717948717948718; Recall = 0.3372093023255814; incoherence = 0.09417989417989418 2018-05-31 02:12:28,164 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-05-31 02:12:28,372 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 92; Precision = 0.2391304347826087; Recall = 0.9418604651162791; incoherence = 0.34391534391534395 2018-05-31 02:15:39,914 INFO main f.i.e.l.env.NOOEnvironment Final Size = 49; Precision = 0.7959183673469388; Recall = 0.4418604651162791; incoherence = 0.17979797979797976 2018-05-31 02:15:40,028 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-05-31 02:15:40,104 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 92; Precision = 0.2826086956521739; Recall = 0.8837209302325582; incoherence = 0.32010582010582006 2018-05-31 02:18:51,724 INFO main f.i.e.l.env.NOOEnvironment Final Size = 48; Precision = 0.8541666666666666; Recall = 0.4418604651162791; incoherence = 0.12453703703703704 2018-05-31 02:18:51,830 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-05-31 02:18:51,904 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 92; Precision = 0.20652173913043478; Recall = 0.8255813953488372; incoherence = 0.33201058201058203 2018-05-31 02:21:59,874 INFO main f.i.e.l.env.NOOEnvironment Final Size = 42; Precision = 0.8333333333333334; Recall = 0.37209302325581395; incoherence = 0.13425925925925924 2018-05-31 02:21:59,979 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-05-31 02:22:00,185 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 92; Precision = 0.22826086956521738; Recall = 0.9418604651162791; incoherence = 0.33201058201058203 2018-05-31 02:25:05,605 INFO main f.i.e.l.env.NOOEnvironment Final Size = 36; Precision = 0.9166666666666666; Recall = 0.27906976744186046; incoherence = 0.08492063492063491 2018-05-31 02:25:05,746 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-05-31 02:25:05,828 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 92; Precision = 0.2608695652173913; Recall = 0.9186046511627907; incoherence = 0.3981481481481482 2018-05-31 02:28:14,337 INFO main f.i.e.l.env.NOOEnvironment Final Size = 42; Precision = 0.8333333333333334; Recall = 0.3488372093023256; incoherence = 0.1351190476190476 2018-05-31 02:28:14,448 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-05-31 02:28:14,528 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 92; Precision = 0.25; Recall = 0.8604651162790697; incoherence = 0.3558201058201058 2018-05-31 02:31:20,118 INFO main f.i.e.l.env.NOOEnvironment Final Size = 39; Precision = 0.8461538461538461; Recall = 0.3488372093023256; incoherence = 0.1063011063011063 2018-05-31 02:31:20,220 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-05-31 02:31:20,291 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 92; Precision = 0.30434782608695654; Recall = 0.9418604651162791; incoherence = 0.3677248677248677 2018-05-31 02:34:34,608 INFO main f.i.e.l.env.NOOEnvironment Final Size = 52; Precision = 0.8269230769230769; Recall = 0.5; incoherence = 0.13333333333333333 2018-05-31 02:34:34,706 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-05-31 02:34:34,779 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 92; Precision = 0.25; Recall = 0.8255813953488372; incoherence = 0.32010582010582006 2018-05-31 02:37:45,352 INFO main f.i.e.l.env.NOOEnvironment Final Size = 47; Precision = 0.851063829787234; Recall = 0.4069767441860465; incoherence = 0.12797619047619047 2018-05-31 02:37:45,449 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-05-31 02:37:45,522 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 92; Precision = 0.25; Recall = 0.8953488372093024; incoherence = 0.3624338624338625 2018-05-31 02:40:55,290 INFO main f.i.e.l.env.NOOEnvironment Final Size = 46; Precision = 0.782608695652174; Recall = 0.45348837209302323; incoherence = 0.1749338624338624 Thu May 31 02:40:55 CEST 2018