Tue Nov 13 09:33:09 CET 2018 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 d230f8c69b7c97c4c570785e554aabcb2bbe09e1 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] d230f8c69b7c97c4c570785e554aabcb2bbe09e1 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=refadd -DexpandAlignments=clever -DnonRedundancy -Dstrengthen=random 2018-11-13 09:33:16,063 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-11-13 09:33:16,360 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 54; Precision = 0.1111111111111111; Recall = 0.872093023255814; incoherence = 0.34259259259259256 2018-11-13 09:37:00,789 INFO main f.i.e.l.env.NOOEnvironment Final Size = 78; Precision = 0.6410256410256411; Recall = 0.9186046511627907; incoherence = 0.31759702286018077 2018-11-13 09:37:00,977 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-11-13 09:37:01,068 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 54; Precision = 0.1111111111111111; Recall = 0.8837209302325582; incoherence = 0.3611111111111111 2018-11-13 09:40:33,331 INFO main f.i.e.l.env.NOOEnvironment Final Size = 72; Precision = 0.5972222222222222; Recall = 0.9186046511627907; incoherence = 0.37269756387403447 2018-11-13 09:40:33,452 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-11-13 09:40:33,650 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 54; Precision = 0.1111111111111111; Recall = 0.8604651162790697; incoherence = 0.32407407407407407 2018-11-13 09:44:06,140 INFO main f.i.e.l.env.NOOEnvironment Final Size = 75; Precision = 0.6; Recall = 0.9069767441860465; incoherence = 0.36901913875598086 2018-11-13 09:44:06,259 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-11-13 09:44:06,439 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 54; Precision = 0.1111111111111111; Recall = 0.8837209302325582; incoherence = 0.3148148148148148 2018-11-13 09:47:40,670 INFO main f.i.e.l.env.NOOEnvironment Final Size = 73; Precision = 0.5753424657534246; Recall = 0.9418604651162791; incoherence = 0.4030451574569222 2018-11-13 09:47:40,889 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-11-13 09:47:40,968 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 54; Precision = 0.1111111111111111; Recall = 0.8372093023255814; incoherence = 0.34259259259259256 2018-11-13 09:51:12,846 INFO main f.i.e.l.env.NOOEnvironment Final Size = 75; Precision = 0.5866666666666667; Recall = 0.9186046511627907; incoherence = 0.38910742035742035 2018-11-13 09:51:12,947 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-11-13 09:51:13,024 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 54; Precision = 0.1111111111111111; Recall = 0.9534883720930233; incoherence = 0.3425925925925926 2018-11-13 09:54:47,439 INFO main f.i.e.l.env.NOOEnvironment Final Size = 77; Precision = 0.5584415584415584; Recall = 0.9302325581395349; incoherence = 0.40931685273790536 2018-11-13 09:54:47,540 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-11-13 09:54:47,617 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 54; Precision = 0.1111111111111111; Recall = 0.9186046511627907; incoherence = 0.3518518518518518 2018-11-13 09:58:17,281 INFO main f.i.e.l.env.NOOEnvironment Final Size = 72; Precision = 0.5972222222222222; Recall = 0.9186046511627907; incoherence = 0.3727504113533526 2018-11-13 09:58:17,383 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-11-13 09:58:17,568 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 54; Precision = 0.1111111111111111; Recall = 0.8837209302325582; incoherence = 0.3333333333333333 2018-11-13 10:01:48,589 INFO main f.i.e.l.env.NOOEnvironment Final Size = 73; Precision = 0.6027397260273972; Recall = 0.9186046511627907; incoherence = 0.36760178819002354 2018-11-13 10:01:48,694 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-11-13 10:01:48,770 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 54; Precision = 0.1111111111111111; Recall = 0.9418604651162791; incoherence = 0.3518518518518518 2018-11-13 10:05:21,017 INFO main f.i.e.l.env.NOOEnvironment Final Size = 74; Precision = 0.581081081081081; Recall = 0.9069767441860465; incoherence = 0.3806748806748807 2018-11-13 10:05:21,120 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-11-13 10:05:21,305 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 54; Precision = 0.1111111111111111; Recall = 0.8372093023255814; incoherence = 0.29629629629629634 2018-11-13 10:08:56,997 INFO main f.i.e.l.env.NOOEnvironment Final Size = 80; Precision = 0.575; Recall = 0.9883720930232558; incoherence = 0.40050505050505053 Tue Nov 13 10:08:57 CET 2018