Fri Jul 12 23:33:29 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: 5 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=20000 -DnbRuns=10 -DreportPrecRec -DexpandAlignments=clever -DnonRedundancy -Dgenerative -DstartEmpty -DloadDir=expeRun -DloadEnv -DloadAgents -DreplayGames -DrevisionModality=refadd -DimmediateRatio=80 2019-07-12 23:33:37,847 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2019-07-12 23:33:38,127 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 12; Precision = 1.0; Recall = 0.06976744186046512; incoherence = 0.0 2019-07-12 23:41:05,456 INFO main f.i.e.l.env.NOOEnvironment Final Size = 79; Precision = 1.0; Recall = 0.6511627906976745; incoherence = 0.0 2019-07-12 23:41:05,614 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2019-07-12 23:41:05,708 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 12; Precision = 1.0; Recall = 0.06976744186046512; incoherence = 0.0 2019-07-12 23:48:27,080 INFO main f.i.e.l.env.NOOEnvironment Final Size = 79; Precision = 1.0; Recall = 0.7093023255813954; incoherence = 0.0 2019-07-12 23:48:27,334 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2019-07-12 23:48:27,403 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 12; Precision = 1.0; Recall = 0.06976744186046512; incoherence = 0.0 2019-07-12 23:55:43,835 INFO main f.i.e.l.env.NOOEnvironment Final Size = 83; Precision = 1.0; Recall = 0.6976744186046512; incoherence = 0.0 2019-07-12 23:55:44,107 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2019-07-12 23:55:44,184 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 12; Precision = 1.0; Recall = 0.06976744186046512; incoherence = 0.0 2019-07-13 00:02:56,460 INFO main f.i.e.l.env.NOOEnvironment Final Size = 81; Precision = 1.0; Recall = 0.7209302325581395; incoherence = 0.0 2019-07-13 00:02:56,566 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2019-07-13 00:02:56,645 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 12; Precision = 1.0; Recall = 0.06976744186046512; incoherence = 0.0 2019-07-13 00:09:53,491 INFO main f.i.e.l.env.NOOEnvironment Final Size = 77; Precision = 1.0; Recall = 0.686046511627907; incoherence = 0.0 2019-07-13 00:09:53,583 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2019-07-13 00:09:53,790 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 12; Precision = 1.0; Recall = 0.06976744186046512; incoherence = 0.0 2019-07-13 00:16:52,341 INFO main f.i.e.l.env.NOOEnvironment Final Size = 81; Precision = 1.0; Recall = 0.686046511627907; incoherence = 0.0 2019-07-13 00:16:52,434 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2019-07-13 00:16:52,507 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 12; Precision = 1.0; Recall = 0.06976744186046512; incoherence = 0.0 2019-07-13 00:23:47,524 INFO main f.i.e.l.env.NOOEnvironment Final Size = 76; Precision = 1.0; Recall = 0.627906976744186; incoherence = 0.0 2019-07-13 00:23:47,619 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2019-07-13 00:23:47,900 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 12; Precision = 1.0; Recall = 0.06976744186046512; incoherence = 0.0 2019-07-13 00:30:48,928 INFO main f.i.e.l.env.NOOEnvironment Final Size = 82; Precision = 1.0; Recall = 0.7209302325581395; incoherence = 0.0 2019-07-13 00:30:49,015 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2019-07-13 00:30:49,265 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 12; Precision = 1.0; Recall = 0.06976744186046512; incoherence = 0.0 2019-07-13 00:37:49,056 INFO main f.i.e.l.env.NOOEnvironment Final Size = 79; Precision = 1.0; Recall = 0.6744186046511628; incoherence = 0.0 2019-07-13 00:37:49,145 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2019-07-13 00:37:49,212 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 12; Precision = 1.0; Recall = 0.06976744186046512; incoherence = 0.0 2019-07-13 00:44:51,628 INFO main f.i.e.l.env.NOOEnvironment Final Size = 83; Precision = 1.0; Recall = 0.6627906976744186; incoherence = 0.0 Sat Jul 13 00:44:52 CEST 2019