Fri Jan 26 08:40:14 CET 2018 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_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 ef0e80766f2b2177c5d3c1aadba6d0ca556780ef 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] ef0e80766f2b2177c5d3c1aadba6d0ca556780ef 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 -DrevisionModality=refine -DexpandAlignments=clever -DnonRedundancy -Dgenerative -Dstartempty 2018-01-26 08:40:22,234 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 350; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-01-26 08:40:22,973 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 20; Precision = 1.0; Recall = 0.02857142857142857; incoherence = 0.0 2018-01-26 10:29:40,874 INFO main f.i.e.l.env.NOOEnvironment Final Size = 260; Precision = 1.0; Recall = 0.3657142857142857; incoherence = 0.0 2018-01-26 10:29:41,192 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 350; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-01-26 10:29:41,520 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 20; Precision = 1.0; Recall = 0.02857142857142857; incoherence = 0.0 2018-01-26 12:19:19,528 INFO main f.i.e.l.env.NOOEnvironment Final Size = 260; Precision = 1.0; Recall = 0.3514285714285714; incoherence = 0.0 2018-01-26 12:19:19,882 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 350; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-01-26 12:19:20,077 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 20; Precision = 1.0; Recall = 0.02857142857142857; incoherence = 0.0 2018-01-26 14:08:57,657 INFO main f.i.e.l.env.NOOEnvironment Final Size = 260; Precision = 1.0; Recall = 0.3742857142857143; incoherence = 0.0 2018-01-26 14:08:58,017 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 350; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-01-26 14:08:58,215 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 20; Precision = 1.0; Recall = 0.02857142857142857; incoherence = 0.0 2018-01-26 15:58:39,827 INFO main f.i.e.l.env.NOOEnvironment Final Size = 260; Precision = 1.0; Recall = 0.38; incoherence = 0.0 2018-01-26 15:58:40,076 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 350; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-01-26 15:58:40,312 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 20; Precision = 1.0; Recall = 0.02857142857142857; incoherence = 0.0 2018-01-26 17:48:53,736 INFO main f.i.e.l.env.NOOEnvironment Final Size = 260; Precision = 1.0; Recall = 0.3628571428571429; incoherence = 0.0 2018-01-26 17:48:53,975 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 350; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-01-26 17:48:54,176 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 20; Precision = 1.0; Recall = 0.02857142857142857; incoherence = 0.0 2018-01-26 19:39:00,012 INFO main f.i.e.l.env.NOOEnvironment Final Size = 260; Precision = 1.0; Recall = 0.38285714285714284; incoherence = 0.0 2018-01-26 19:39:00,335 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 350; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-01-26 19:39:00,540 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 20; Precision = 1.0; Recall = 0.02857142857142857; incoherence = 0.0 2018-01-26 21:29:17,078 INFO main f.i.e.l.env.NOOEnvironment Final Size = 260; Precision = 1.0; Recall = 0.38285714285714284; incoherence = 0.0 2018-01-26 21:29:17,314 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 350; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-01-26 21:29:17,556 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 20; Precision = 1.0; Recall = 0.02857142857142857; incoherence = 0.0 2018-01-26 23:19:38,782 INFO main f.i.e.l.env.NOOEnvironment Final Size = 260; Precision = 1.0; Recall = 0.35714285714285715; incoherence = 0.0 2018-01-26 23:19:39,144 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 350; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-01-26 23:19:39,347 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 20; Precision = 1.0; Recall = 0.02857142857142857; incoherence = 0.0 2018-01-27 01:09:53,576 INFO main f.i.e.l.env.NOOEnvironment Final Size = 260; Precision = 1.0; Recall = 0.35714285714285715; incoherence = 0.0 2018-01-27 01:09:53,889 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 350; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-01-27 01:09:54,083 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 20; Precision = 1.0; Recall = 0.02857142857142857; incoherence = 0.0 2018-01-27 03:00:13,296 INFO main f.i.e.l.env.NOOEnvironment Final Size = 260; Precision = 1.0; Recall = 0.3514285714285714; incoherence = 0.0 Sat Jan 27 03:00:14 CET 2018