Wed Jul 24 03:57:30 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 ff04e315c7a5912831407320a070a776250c91c2 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] ff04e315c7a5912831407320a070a776250c91c2 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=20000 -DnbRuns=10 -DreportPrecRec -DloadDir=expeRun -DloadEnv -DloadAgents -DreplayGames -DrevisionModality=refadd -DexpandAlignments=clever -DnonRedundancy -DimmediateRatio=80 -Dstrengthen=random 2019-07-24 03:57:39,222 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2019-07-24 03:57:39,514 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 54; Precision = 0.1111111111111111; Recall = 0.872093023255814; incoherence = 0.34259259259259256 2019-07-24 04:04:56,107 INFO main f.i.e.l.env.NOOEnvironment Final Size = 82; Precision = 1.0; Recall = 0.9534883720930233; incoherence = 0.0 2019-07-24 04:04:56,249 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2019-07-24 04:04:56,338 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 54; Precision = 0.1111111111111111; Recall = 0.8837209302325582; incoherence = 0.3611111111111111 2019-07-24 04:12:05,847 INFO main f.i.e.l.env.NOOEnvironment Final Size = 83; Precision = 1.0; Recall = 0.9651162790697675; incoherence = 0.0 2019-07-24 04:12:05,961 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2019-07-24 04:12:06,045 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 54; Precision = 0.1111111111111111; Recall = 0.8604651162790697; incoherence = 0.324074074074074 2019-07-24 04:19:12,771 INFO main f.i.e.l.env.NOOEnvironment Final Size = 83; Precision = 1.0; Recall = 0.9651162790697675; incoherence = 0.0 2019-07-24 04:19:12,886 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2019-07-24 04:19:12,962 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 54; Precision = 0.1111111111111111; Recall = 0.8837209302325582; incoherence = 0.3148148148148148 2019-07-24 04:26:24,175 INFO main f.i.e.l.env.NOOEnvironment Final Size = 85; Precision = 1.0; Recall = 0.9883720930232558; incoherence = 0.0 2019-07-24 04:26:24,287 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2019-07-24 04:26:24,365 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 54; Precision = 0.1111111111111111; Recall = 0.8372093023255814; incoherence = 0.34259259259259256 2019-07-24 04:33:30,371 INFO main f.i.e.l.env.NOOEnvironment Final Size = 81; Precision = 1.0; Recall = 0.9418604651162791; incoherence = 0.0 2019-07-24 04:33:30,473 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2019-07-24 04:33:30,560 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 54; Precision = 0.1111111111111111; Recall = 0.9534883720930233; incoherence = 0.34259259259259256 2019-07-24 04:40:40,828 INFO main f.i.e.l.env.NOOEnvironment Final Size = 83; Precision = 1.0; Recall = 0.9651162790697675; incoherence = 0.0 2019-07-24 04:40:40,929 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2019-07-24 04:40:41,023 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 54; Precision = 0.1111111111111111; Recall = 0.9186046511627907; incoherence = 0.35185185185185186 2019-07-24 04:47:48,856 INFO main f.i.e.l.env.NOOEnvironment Final Size = 83; Precision = 1.0; Recall = 0.9651162790697675; incoherence = 0.0 2019-07-24 04:47:48,988 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2019-07-24 04:47:49,120 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 54; Precision = 0.1111111111111111; Recall = 0.8837209302325582; incoherence = 0.3333333333333333 2019-07-24 04:54:52,399 INFO main f.i.e.l.env.NOOEnvironment Final Size = 82; Precision = 1.0; Recall = 0.9534883720930233; incoherence = 0.0 2019-07-24 04:54:52,659 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2019-07-24 04:54:52,729 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 54; Precision = 0.1111111111111111; Recall = 0.9418604651162791; incoherence = 0.35185185185185186 2019-07-24 05:01:55,854 INFO main f.i.e.l.env.NOOEnvironment Final Size = 82; Precision = 1.0; Recall = 0.9534883720930233; incoherence = 0.0 2019-07-24 05:01:55,961 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2019-07-24 05:01:56,034 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 54; Precision = 0.1111111111111111; Recall = 0.8372093023255814; incoherence = 0.2962962962962963 2019-07-24 05:09:03,653 INFO main f.i.e.l.env.NOOEnvironment Final Size = 84; Precision = 1.0; Recall = 0.9767441860465116; incoherence = 0.0 Wed Jul 24 05:09:04 CEST 2019