Wed Oct 3 00:12:31 CEST 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 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 759ff097b96520c12aa84f3749927f9a22022e62 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] 759ff097b96520c12aa84f3749927f9a22022e62 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=5 -DnbIterations=100000 -DnbRuns=10 -DreportPrecRec -DloadDir=expeRun -DloadEnv -DloadAgents -DreplayGames -DrevisionModality=replace -DexpandAlignments=clever -DnonRedundancy -Dgenerative -Dstartempty 2018-10-03 00:12:38,556 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 350; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-10-03 00:12:39,207 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 20; Precision = 1.0; Recall = 0.02857142857142857; incoherence = 0.0 2018-10-03 02:04:14,066 INFO main f.i.e.l.env.NOOEnvironment Final Size = 248; Precision = 0.782258064516129; Recall = 0.5628571428571428; incoherence = 0.15070531204534174 2018-10-03 02:04:14,559 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 350; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-10-03 02:04:14,771 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 20; Precision = 1.0; Recall = 0.02857142857142857; incoherence = 0.0 2018-10-03 03:56:28,254 INFO main f.i.e.l.env.NOOEnvironment Final Size = 258; Precision = 0.7945736434108527; Recall = 0.5685714285714286; incoherence = 0.14795810185568214 2018-10-03 03:56:28,528 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 350; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-10-03 03:56:28,728 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 20; Precision = 1.0; Recall = 0.02857142857142857; incoherence = 0.0 2018-10-03 05:48:03,121 INFO main f.i.e.l.env.NOOEnvironment Final Size = 252; Precision = 0.7738095238095238; Recall = 0.5657142857142857; incoherence = 0.1614916834936237 2018-10-03 05:48:03,390 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 350; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-10-03 05:48:03,589 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 20; Precision = 1.0; Recall = 0.02857142857142857; incoherence = 0.0 2018-10-03 07:40:54,925 INFO main f.i.e.l.env.NOOEnvironment Final Size = 267; Precision = 0.8164794007490637; Recall = 0.5542857142857143; incoherence = 0.14814928246670003 2018-10-03 07:40:55,185 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 350; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-10-03 07:40:55,382 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 20; Precision = 1.0; Recall = 0.02857142857142857; incoherence = 0.0 2018-10-03 09:33:01,923 INFO main f.i.e.l.env.NOOEnvironment Final Size = 258; Precision = 0.8062015503875969; Recall = 0.5914285714285714; incoherence = 0.15509786576026985 2018-10-03 09:33:02,266 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 350; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-10-03 09:33:02,457 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 20; Precision = 1.0; Recall = 0.02857142857142857; incoherence = 0.0 2018-10-03 11:24:17,460 INFO main f.i.e.l.env.NOOEnvironment Final Size = 246; Precision = 0.7967479674796748; Recall = 0.5885714285714285; incoherence = 0.15053832059671884 2018-10-03 11:24:17,718 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 350; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-10-03 11:24:17,911 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 20; Precision = 1.0; Recall = 0.02857142857142857; incoherence = 0.0 2018-10-03 13:16:18,057 INFO main f.i.e.l.env.NOOEnvironment Final Size = 257; Precision = 0.7976653696498055; Recall = 0.5685714285714286; incoherence = 0.16802020348369234 2018-10-03 13:16:18,313 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 350; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-10-03 13:16:18,548 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 20; Precision = 1.0; Recall = 0.02857142857142857; incoherence = 0.0 2018-10-03 15:06:39,576 INFO main f.i.e.l.env.NOOEnvironment Final Size = 237; Precision = 0.8143459915611815; Recall = 0.5685714285714286; incoherence = 0.14476664299940162 2018-10-03 15:06:39,907 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 350; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-10-03 15:06:40,096 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 20; Precision = 1.0; Recall = 0.02857142857142857; incoherence = 0.0 2018-10-03 16:57:27,277 INFO main f.i.e.l.env.NOOEnvironment Final Size = 241; Precision = 0.7883817427385892; Recall = 0.6171428571428571; incoherence = 0.17067356896443306 2018-10-03 16:57:27,626 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 350; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-10-03 16:57:27,813 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 20; Precision = 1.0; Recall = 0.02857142857142857; incoherence = 0.0 2018-10-03 18:48:29,090 INFO main f.i.e.l.env.NOOEnvironment Final Size = 246; Precision = 0.8170731707317073; Recall = 0.5428571428571428; incoherence = 0.1494148376908651 Wed Oct 3 18:48:30 CEST 2018