Mon Jan 22 13:44:07 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=replace -DexpandAlignments=clever -DnonRedundancy -Dgenerative -Drealistic=1 2018-01-22 13:44:14,515 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 350; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-01-22 13:44:16,998 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 452; Precision = 0.1172566371681416; Recall = 0.92; incoherence = 0.42533874239350916 2018-01-22 15:32:10,609 INFO main f.i.e.l.env.NOOEnvironment Final Size = 231; Precision = 0.987012987012987; Recall = 0.39714285714285713; incoherence = 0.01875 2018-01-22 15:32:10,933 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 350; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-01-22 15:32:12,870 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 452; Precision = 0.14380530973451328; Recall = 0.9085714285714286; incoherence = 0.42227991886409744 2018-01-22 17:19:19,710 INFO main f.i.e.l.env.NOOEnvironment Final Size = 216; Precision = 0.9722222222222222; Recall = 0.3628571428571429; incoherence = 0.03225162636927343 2018-01-22 17:19:19,956 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 350; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-01-22 17:19:21,633 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 452; Precision = 0.13053097345132744; Recall = 0.92; incoherence = 0.41455983772819466 2018-01-22 19:07:32,743 INFO main f.i.e.l.env.NOOEnvironment Final Size = 231; Precision = 0.9783549783549783; Recall = 0.4114285714285714; incoherence = 0.020641258318209316 2018-01-22 19:07:32,982 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 350; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-01-22 19:07:36,257 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 452; Precision = 0.12168141592920353; Recall = 0.92; incoherence = 0.44988235294117657 2018-01-22 20:55:46,528 INFO main f.i.e.l.env.NOOEnvironment Final Size = 231; Precision = 0.9783549783549783; Recall = 0.3914285714285714; incoherence = 0.023529411764705882 2018-01-22 20:55:46,765 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 350; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-01-22 20:55:48,643 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 452; Precision = 0.14380530973451328; Recall = 0.92; incoherence = 0.4457687626774848 2018-01-22 22:43:53,402 INFO main f.i.e.l.env.NOOEnvironment Final Size = 230; Precision = 0.9739130434782609; Recall = 0.4057142857142857; incoherence = 0.027398234147460156 2018-01-22 22:43:53,716 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 350; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-01-22 22:43:55,716 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 452; Precision = 0.1415929203539823; Recall = 0.92; incoherence = 0.4294969574036512 2018-01-23 00:33:05,350 INFO main f.i.e.l.env.NOOEnvironment Final Size = 241; Precision = 0.9875518672199171; Recall = 0.42; incoherence = 0.01764705882352941 2018-01-23 00:33:05,653 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 350; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-01-23 00:33:07,687 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 452; Precision = 0.12831858407079647; Recall = 0.92; incoherence = 0.4344665314401623 2018-01-23 02:21:19,682 INFO main f.i.e.l.env.NOOEnvironment Final Size = 229; Precision = 0.982532751091703; Recall = 0.3657142857142857; incoherence = 0.01875 2018-01-23 02:21:20,017 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 350; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-01-23 02:21:20,966 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 452; Precision = 0.13938053097345132; Recall = 0.9142857142857143; incoherence = 0.44337931034482764 2018-01-23 04:09:06,239 INFO main f.i.e.l.env.NOOEnvironment Final Size = 226; Precision = 0.9867256637168141; Recall = 0.32857142857142857; incoherence = 0.0058823529411764705 2018-01-23 04:09:06,607 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 350; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-01-23 04:09:08,590 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 452; Precision = 0.13495575221238937; Recall = 0.9114285714285715; incoherence = 0.4343245436105477 2018-01-23 05:56:29,742 INFO main f.i.e.l.env.NOOEnvironment Final Size = 219; Precision = 0.9634703196347032; Recall = 0.3628571428571429; incoherence = 0.033994725375530326 2018-01-23 05:56:30,041 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 350; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-01-23 05:56:30,896 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 452; Precision = 0.12831858407079647; Recall = 0.92; incoherence = 0.4328316430020284 2018-01-23 07:44:26,747 INFO main f.i.e.l.env.NOOEnvironment Final Size = 229; Precision = 0.9650655021834061; Recall = 0.38571428571428573; incoherence = 0.04041021671826626 Tue Jan 23 07:44:28 CET 2018