Tue May 30 04:25:52 CEST 2017 Linux seals-4 2.6.32-42-pve #1 SMP Fri Oct 9 10:50:32 CEST 2015 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 MemTotal: 20447232 kB java version "1.8.0_101" Java(TM) SE Runtime Environment (build 1.8.0_101-b13) Java HotSpot(TM) 64-Bit Server VM (build 25.101-b13, mixed mode) Max. Heap Size (Estimated): 4.33G 997c4a9c1b698616c49342bb1fa5a6b8adf7faf8 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] 997c4a9c1b698616c49342bb1fa5a6b8adf7faf8 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: 2 seconds java -Dlog.level=INFO -cp lib/lazylav/ll.jar:lib/slf4j/logback-classic-1.1.9.jar:lib/slf4j/logback-core-1.1.9.jar:. fr.inria.exmo.lazylavender.engine.Monitor -DnbAgents=4 -DnbIterations=10000 -DnbRuns=10 -DreportPrecRec -DrevisionModality=replace -DexpandAlignments=clever -DnonRedundancy -Dgenerative -Dstartempty 2017-05-30 04:25:56,917 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2017-05-30 04:25:57,133 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 12; Precision = 1.0; Recall = 0.06976744186046512; incoherence = 0.0 2017-05-30 04:29:24,293 INFO main f.i.e.l.env.NOOEnvironment Final Size = 67; Precision = 0.835820895522388; Recall = 0.6395348837209303; incoherence = 0.1381734006734007 2017-05-30 04:29:24,550 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2017-05-30 04:29:24,622 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 12; Precision = 1.0; Recall = 0.06976744186046512; incoherence = 0.0 2017-05-30 04:32:49,341 INFO main f.i.e.l.env.NOOEnvironment Final Size = 63; Precision = 0.8888888888888888; Recall = 0.47674418604651164; incoherence = 0.07786195286195285 2017-05-30 04:32:49,431 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2017-05-30 04:32:49,504 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 12; Precision = 1.0; Recall = 0.06976744186046512; incoherence = 0.0 2017-05-30 04:36:19,208 INFO main f.i.e.l.env.NOOEnvironment Final Size = 74; Precision = 0.8378378378378378; Recall = 0.6046511627906976; incoherence = 0.14234261109261112 2017-05-30 04:36:19,287 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2017-05-30 04:36:19,359 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 12; Precision = 1.0; Recall = 0.06976744186046512; incoherence = 0.0 2017-05-30 04:39:44,966 INFO main f.i.e.l.env.NOOEnvironment Final Size = 72; Precision = 0.8333333333333334; Recall = 0.5930232558139535; incoherence = 0.11244588744588745 2017-05-30 04:39:45,052 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2017-05-30 04:39:45,123 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 12; Precision = 1.0; Recall = 0.06976744186046512; incoherence = 0.0 2017-05-30 04:43:17,367 INFO main f.i.e.l.env.NOOEnvironment Final Size = 76; Precision = 0.8026315789473685; Recall = 0.5813953488372093; incoherence = 0.14047831253713608 2017-05-30 04:43:17,612 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2017-05-30 04:43:17,675 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 12; Precision = 1.0; Recall = 0.06976744186046512; incoherence = 0.0 2017-05-30 04:46:40,060 INFO main f.i.e.l.env.NOOEnvironment Final Size = 62; Precision = 0.8548387096774194; Recall = 0.46511627906976744; incoherence = 0.12626262626262627 2017-05-30 04:46:40,156 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2017-05-30 04:46:40,239 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 12; Precision = 1.0; Recall = 0.06976744186046512; incoherence = 0.0 2017-05-30 04:50:09,884 INFO main f.i.e.l.env.NOOEnvironment Final Size = 75; Precision = 0.9333333333333333; Recall = 0.5930232558139535; incoherence = 0.05264894419306184 2017-05-30 04:50:09,969 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2017-05-30 04:50:10,037 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 12; Precision = 1.0; Recall = 0.06976744186046512; incoherence = 0.0 2017-05-30 04:53:38,462 INFO main f.i.e.l.env.NOOEnvironment Final Size = 75; Precision = 0.76; Recall = 0.6744186046511628; incoherence = 0.16397306397306396 2017-05-30 04:53:38,537 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2017-05-30 04:53:38,601 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 12; Precision = 1.0; Recall = 0.06976744186046512; incoherence = 0.0 2017-05-30 04:57:09,622 INFO main f.i.e.l.env.NOOEnvironment Final Size = 75; Precision = 0.8266666666666667; Recall = 0.6162790697674418; incoherence = 0.15726291252607044 2017-05-30 04:57:09,700 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2017-05-30 04:57:09,884 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 12; Precision = 1.0; Recall = 0.06976744186046512; incoherence = 0.0 2017-05-30 05:00:37,226 INFO main f.i.e.l.env.NOOEnvironment Final Size = 77; Precision = 0.8311688311688312; Recall = 0.686046511627907; incoherence = 0.1373196248196248 Tue May 30 05:00:37 CEST 2017