Thu Jul 11 18:26:51 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=replace -DimmediateRatio=80 2019-07-11 18:27:00,108 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2019-07-11 18:27:00,345 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 12; Precision = 1.0; Recall = 0.06976744186046512; incoherence = 0.0 2019-07-11 18:30:47,719 INFO main f.i.e.l.env.NOOEnvironment Final Size = 49; Precision = 1.0; Recall = 0.3372093023255814; incoherence = 0.0 2019-07-11 18:30:48,044 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2019-07-11 18:30:48,133 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 12; Precision = 1.0; Recall = 0.06976744186046512; incoherence = 0.0 2019-07-11 18:34:25,187 INFO main f.i.e.l.env.NOOEnvironment Final Size = 45; Precision = 0.9777777777777777; Recall = 0.32558139534883723; incoherence = 0.0 2019-07-11 18:34:25,307 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2019-07-11 18:34:25,384 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 12; Precision = 1.0; Recall = 0.06976744186046512; incoherence = 0.0 2019-07-11 18:38:08,917 INFO main f.i.e.l.env.NOOEnvironment Final Size = 53; Precision = 1.0; Recall = 0.43023255813953487; incoherence = 0.0 2019-07-11 18:38:09,035 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2019-07-11 18:38:09,114 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 12; Precision = 1.0; Recall = 0.06976744186046512; incoherence = 0.0 2019-07-11 18:41:47,244 INFO main f.i.e.l.env.NOOEnvironment Final Size = 49; Precision = 1.0; Recall = 0.38372093023255816; incoherence = 0.0 2019-07-11 18:41:47,348 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2019-07-11 18:41:47,428 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 12; Precision = 1.0; Recall = 0.06976744186046512; incoherence = 0.0 2019-07-11 18:45:25,281 INFO main f.i.e.l.env.NOOEnvironment Final Size = 50; Precision = 1.0; Recall = 0.3953488372093023; incoherence = 0.0 2019-07-11 18:45:25,576 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2019-07-11 18:45:25,651 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 12; Precision = 1.0; Recall = 0.06976744186046512; incoherence = 0.0 2019-07-11 18:49:00,124 INFO main f.i.e.l.env.NOOEnvironment Final Size = 46; Precision = 1.0; Recall = 0.37209302325581395; incoherence = 0.0 2019-07-11 18:49:00,229 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2019-07-11 18:49:00,312 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 12; Precision = 1.0; Recall = 0.06976744186046512; incoherence = 0.0 2019-07-11 18:52:35,948 INFO main f.i.e.l.env.NOOEnvironment Final Size = 48; Precision = 1.0; Recall = 0.3488372093023256; incoherence = 0.0 2019-07-11 18:52:36,062 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2019-07-11 18:52:36,137 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 12; Precision = 1.0; Recall = 0.06976744186046512; incoherence = 0.0 2019-07-11 18:56:17,533 INFO main f.i.e.l.env.NOOEnvironment Final Size = 49; Precision = 1.0; Recall = 0.3372093023255814; incoherence = 0.0 2019-07-11 18:56:17,774 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2019-07-11 18:56:17,840 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 12; Precision = 1.0; Recall = 0.06976744186046512; incoherence = 0.0 2019-07-11 18:59:59,771 INFO main f.i.e.l.env.NOOEnvironment Final Size = 56; Precision = 1.0; Recall = 0.47674418604651164; incoherence = 0.0 2019-07-11 18:59:59,878 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2019-07-11 18:59:59,952 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 12; Precision = 1.0; Recall = 0.06976744186046512; incoherence = 0.0 2019-07-11 19:03:39,599 INFO main f.i.e.l.env.NOOEnvironment Final Size = 51; Precision = 1.0; Recall = 0.38372093023255816; incoherence = 0.0 Thu Jul 11 19:03:40 CEST 2019