Thu Jul 11 20:13:40 CEST 2019 Linux seals-4 4.15.17-1-pve #1 SMP PVE 4.15.17-9 (Wed, 9 May 2018 13:31:43 +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 CC: 24 * Intel(R) Xeon(R) CPU E5-2420 0 @ 1.90GHz with 20GB RAM OS: Linux 4.15.17-1-pve 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 JJ: Java(TM) SE Runtime Environment 1.8.0_151 with 4.33G max heap size abd46811f38e9c765b2980cbb2fe504aff7b3e5e 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 27 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] abd46811f38e9c765b2980cbb2fe504aff7b3e5e 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: 6 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 -DexpandAlignments=clever -DnonRedundancy -Dgenerative -DstartEmpty -DloadDir=expeRun -DloadEnv -DloadAgents -DreplayGames -DrevisionModality=add 2019-07-11 20:13:49,553 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2019-07-11 20:13:49,814 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 12; Precision = 1.0; Recall = 0.06976744186046512; incoherence = 0.0 2019-07-11 20:17:31,825 INFO main f.i.e.l.env.NOOEnvironment Final Size = 79; Precision = 0.8354430379746836; Recall = 0.6976744186046512; incoherence = 0.1349673202614379 2019-07-11 20:17:31,956 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2019-07-11 20:17:32,030 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 12; Precision = 1.0; Recall = 0.06976744186046512; incoherence = 0.0 2019-07-11 20:21:09,897 INFO main f.i.e.l.env.NOOEnvironment Final Size = 84; Precision = 0.7857142857142857; Recall = 0.813953488372093; incoherence = 0.19580770107085896 2019-07-11 20:21:10,144 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2019-07-11 20:21:10,211 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 12; Precision = 1.0; Recall = 0.06976744186046512; incoherence = 0.0 2019-07-11 20:24:45,348 INFO main f.i.e.l.env.NOOEnvironment Final Size = 82; Precision = 0.8048780487804879; Recall = 0.7558139534883721; incoherence = 0.15188729399255715 2019-07-11 20:24:45,454 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2019-07-11 20:24:45,526 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 12; Precision = 1.0; Recall = 0.06976744186046512; incoherence = 0.0 2019-07-11 20:28:22,363 INFO main f.i.e.l.env.NOOEnvironment Final Size = 79; Precision = 0.8734177215189873; Recall = 0.6976744186046512; incoherence = 0.10073099415204678 2019-07-11 20:28:22,462 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2019-07-11 20:28:22,526 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 12; Precision = 1.0; Recall = 0.06976744186046512; incoherence = 0.0 2019-07-11 20:31:59,618 INFO main f.i.e.l.env.NOOEnvironment Final Size = 83; Precision = 0.7831325301204819; Recall = 0.7906976744186046; incoherence = 0.20833333333333334 2019-07-11 20:31:59,707 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2019-07-11 20:31:59,774 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 12; Precision = 1.0; Recall = 0.06976744186046512; incoherence = 0.0 2019-07-11 20:35:34,173 INFO main f.i.e.l.env.NOOEnvironment Final Size = 79; Precision = 0.7721518987341772; Recall = 0.7674418604651163; incoherence = 0.16015417331206805 2019-07-11 20:35:34,265 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2019-07-11 20:35:34,334 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 12; Precision = 1.0; Recall = 0.06976744186046512; incoherence = 0.0 2019-07-11 20:39:09,915 INFO main f.i.e.l.env.NOOEnvironment Final Size = 79; Precision = 0.810126582278481; Recall = 0.7441860465116279; incoherence = 0.15205627705627703 2019-07-11 20:39:10,013 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2019-07-11 20:39:10,079 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 12; Precision = 1.0; Recall = 0.06976744186046512; incoherence = 0.0 2019-07-11 20:42:45,654 INFO main f.i.e.l.env.NOOEnvironment Final Size = 81; Precision = 0.7901234567901234; Recall = 0.7558139534883721; incoherence = 0.18798913504795858 2019-07-11 20:42:45,741 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2019-07-11 20:42:45,806 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 12; Precision = 1.0; Recall = 0.06976744186046512; incoherence = 0.0 2019-07-11 20:46:22,407 INFO main f.i.e.l.env.NOOEnvironment Final Size = 79; Precision = 0.7848101265822784; Recall = 0.6627906976744186; incoherence = 0.16668081373963728 2019-07-11 20:46:22,493 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2019-07-11 20:46:22,556 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 12; Precision = 1.0; Recall = 0.06976744186046512; incoherence = 0.0 2019-07-11 20:49:57,901 INFO main f.i.e.l.env.NOOEnvironment Final Size = 79; Precision = 0.7721518987341772; Recall = 0.8255813953488372; incoherence = 0.22669995696311485 Thu Jul 11 20:49:58 CEST 2019