Wed Sep 20 23:25:31 CEST 2017 Linux seals-4 4.4.67-1-pve #1 SMP PVE 4.4.67-92 (Fri, 23 Jun 2017 08:22:06 +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_131" Java(TM) SE Runtime Environment (build 1.8.0_131-b11) Java HotSpot(TM) 64-Bit Server VM (build 25.131-b11, mixed mode) Max. Heap Size (Estimated): 4.33G 562f5c4b96893d30e2dc9fd59d935e013ce5219f 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 21 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] 562f5c4b96893d30e2dc9fd59d935e013ce5219f 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: 3 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=6 -DnbIterations=10000 -DnbRuns=10 -DreportPrecRec -DrevisionModality=refine -DexpandAlignments=clever -DnonRedundancy -DimmediateRatio=80 -Dgenerative -Dstartempty 2017-09-20 23:25:39,207 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 1191; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2017-09-20 23:25:40,609 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 30; Precision = 1.0; Recall = 0.012594458438287154; incoherence = 0.0 2017-09-20 23:56:58,257 INFO main f.i.e.l.env.NOOEnvironment Final Size = 704; Precision = 0.9204545454545454; Recall = 0.1897565071368598; incoherence = 0.0 2017-09-20 23:56:59,024 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 1191; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2017-09-20 23:57:00,090 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 30; Precision = 1.0; Recall = 0.012594458438287154; incoherence = 0.0 2017-09-21 00:27:51,249 INFO main f.i.e.l.env.NOOEnvironment Final Size = 689; Precision = 0.8998548621190131; Recall = 0.19563392107472713; incoherence = 0.0 2017-09-21 00:27:52,504 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 1191; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2017-09-21 00:27:53,091 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 30; Precision = 1.0; Recall = 0.012594458438287154; incoherence = 0.0 2017-09-21 00:58:38,945 INFO main f.i.e.l.env.NOOEnvironment Final Size = 703; Precision = 0.9260312944523471; Recall = 0.20235096557514692; incoherence = 0.0 2017-09-21 00:58:39,640 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 1191; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2017-09-21 00:58:40,294 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 30; Precision = 1.0; Recall = 0.012594458438287154; incoherence = 0.0 2017-09-21 01:29:39,003 INFO main f.i.e.l.env.NOOEnvironment Final Size = 675; Precision = 0.9259259259259259; Recall = 0.20906801007556675; incoherence = 0.0 2017-09-21 01:29:39,721 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 1191; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2017-09-21 01:29:40,877 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 30; Precision = 1.0; Recall = 0.012594458438287154; incoherence = 0.0 2017-09-21 02:00:35,057 INFO main f.i.e.l.env.NOOEnvironment Final Size = 675; Precision = 0.9333333333333333; Recall = 0.1897565071368598; incoherence = 0.0 2017-09-21 02:00:35,773 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 1191; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2017-09-21 02:00:36,383 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 30; Precision = 1.0; Recall = 0.012594458438287154; incoherence = 0.0 2017-09-21 02:31:23,543 INFO main f.i.e.l.env.NOOEnvironment Final Size = 694; Precision = 0.9121037463976945; Recall = 0.2031905961376994; incoherence = 0.0 2017-09-21 02:31:24,276 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 1191; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2017-09-21 02:31:25,459 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 30; Precision = 1.0; Recall = 0.012594458438287154; incoherence = 0.0 2017-09-21 03:02:02,162 INFO main f.i.e.l.env.NOOEnvironment Final Size = 698; Precision = 0.9183381088825215; Recall = 0.21662468513853905; incoherence = 0.0 2017-09-21 03:02:02,905 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 1191; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2017-09-21 03:02:03,512 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 30; Precision = 1.0; Recall = 0.012594458438287154; incoherence = 0.0 2017-09-21 03:32:34,815 INFO main f.i.e.l.env.NOOEnvironment Final Size = 694; Precision = 0.9164265129682997; Recall = 0.20486985726280438; incoherence = 0.0 2017-09-21 03:32:35,521 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 1191; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2017-09-21 03:32:36,114 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 30; Precision = 1.0; Recall = 0.012594458438287154; incoherence = 0.0 2017-09-21 04:03:47,532 INFO main f.i.e.l.env.NOOEnvironment Final Size = 713; Precision = 0.9172510518934082; Recall = 0.19479429051217464; incoherence = 0.0 2017-09-21 04:03:48,236 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 1191; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2017-09-21 04:03:48,843 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 30; Precision = 1.0; Recall = 0.012594458438287154; incoherence = 0.0 2017-09-21 04:34:41,745 INFO main f.i.e.l.env.NOOEnvironment Final Size = 699; Precision = 0.8927038626609443; Recall = 0.20822837951301426; incoherence = 0.0 Thu Sep 21 04:34:42 CEST 2017