Tue May 29 16:28:51 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=refine -DexpandAlignments=protected -DnonRedundancy 2018-05-29 16:28:58,678 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-05-29 16:28:58,941 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 54; Precision = 0.1111111111111111; Recall = 0.872093023255814; incoherence = 0.34259259259259256 2018-05-29 16:32:57,943 INFO main f.i.e.l.env.NOOEnvironment Final Size = 107; Precision = 0.4672897196261682; Recall = 0.8953488372093024; incoherence = 0.31900584795321635 2018-05-29 16:32:58,129 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-05-29 16:32:58,224 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 54; Precision = 0.1111111111111111; Recall = 0.8837209302325582; incoherence = 0.3611111111111111 2018-05-29 16:37:02,033 INFO main f.i.e.l.env.NOOEnvironment Final Size = 109; Precision = 0.48623853211009177; Recall = 0.8255813953488372; incoherence = 0.313213589529379 2018-05-29 16:37:02,156 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-05-29 16:37:02,363 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 54; Precision = 0.1111111111111111; Recall = 0.8604651162790697; incoherence = 0.32407407407407407 2018-05-29 16:41:04,031 INFO main f.i.e.l.env.NOOEnvironment Final Size = 112; Precision = 0.42857142857142855; Recall = 0.8837209302325582; incoherence = 0.3307017543859649 2018-05-29 16:41:04,136 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-05-29 16:41:04,224 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 54; Precision = 0.1111111111111111; Recall = 0.8837209302325582; incoherence = 0.3148148148148148 2018-05-29 16:45:05,048 INFO main f.i.e.l.env.NOOEnvironment Final Size = 106; Precision = 0.5; Recall = 0.8023255813953488; incoherence = 0.3359649122807018 2018-05-29 16:45:05,156 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-05-29 16:45:05,235 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 54; Precision = 0.1111111111111111; Recall = 0.8372093023255814; incoherence = 0.34259259259259256 2018-05-29 16:49:05,325 INFO main f.i.e.l.env.NOOEnvironment Final Size = 108; Precision = 0.48148148148148145; Recall = 0.7906976744186046; incoherence = 0.3073099415204678 2018-05-29 16:49:05,492 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-05-29 16:49:05,632 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 54; Precision = 0.1111111111111111; Recall = 0.9534883720930233; incoherence = 0.34259259259259256 2018-05-29 16:53:06,103 INFO main f.i.e.l.env.NOOEnvironment Final Size = 110; Precision = 0.4727272727272727; Recall = 0.9302325581395349; incoherence = 0.32139376218323584 2018-05-29 16:53:06,343 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-05-29 16:53:06,421 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 54; Precision = 0.1111111111111111; Recall = 0.9186046511627907; incoherence = 0.3518518518518518 2018-05-29 16:57:07,369 INFO main f.i.e.l.env.NOOEnvironment Final Size = 107; Precision = 0.4766355140186916; Recall = 0.8372093023255814; incoherence = 0.29907407407407405 2018-05-29 16:57:07,473 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-05-29 16:57:07,549 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 54; Precision = 0.1111111111111111; Recall = 0.8837209302325582; incoherence = 0.3333333333333333 2018-05-29 17:01:10,542 INFO main f.i.e.l.env.NOOEnvironment Final Size = 106; Precision = 0.46226415094339623; Recall = 0.8953488372093024; incoherence = 0.32943469785575047 2018-05-29 17:01:10,644 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-05-29 17:01:10,718 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 54; Precision = 0.1111111111111111; Recall = 0.9418604651162791; incoherence = 0.3518518518518518 2018-05-29 17:05:12,151 INFO main f.i.e.l.env.NOOEnvironment Final Size = 111; Precision = 0.45045045045045046; Recall = 0.8837209302325582; incoherence = 0.34005151768309666 2018-05-29 17:05:12,250 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-05-29 17:05:12,318 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 54; Precision = 0.1111111111111111; Recall = 0.8372093023255814; incoherence = 0.29629629629629634 2018-05-29 17:09:15,453 INFO main f.i.e.l.env.NOOEnvironment Final Size = 109; Precision = 0.4954128440366973; Recall = 0.7674418604651163; incoherence = 0.31179337231968807 Tue May 29 17:09:15 CEST 2018