Sat Jan 20 07:12:16 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-20 07:12:23,557 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 350; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-01-20 07:12:26,287 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 452; Precision = 0.14601769911504425; Recall = 0.9142857142857143; incoherence = 0.4339594320486816 2018-01-20 08:59:23,040 INFO main f.i.e.l.env.NOOEnvironment Final Size = 228; Precision = 0.9780701754385965; Recall = 0.33714285714285713; incoherence = 0.023568939512144383 2018-01-20 08:59:23,433 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 350; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-01-20 08:59:25,549 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 452; Precision = 0.1172566371681416; Recall = 0.92; incoherence = 0.4366693711967546 2018-01-20 10:46:26,583 INFO main f.i.e.l.env.NOOEnvironment Final Size = 231; Precision = 0.9826839826839827; Recall = 0.32285714285714284; incoherence = 0.0127789046653144 2018-01-20 10:46:26,942 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 350; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-01-20 10:46:30,165 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 452; Precision = 0.1172566371681416; Recall = 0.9114285714285715; incoherence = 0.446393509127789 2018-01-20 12:32:48,453 INFO main f.i.e.l.env.NOOEnvironment Final Size = 219; Precision = 0.9817351598173516; Recall = 0.34; incoherence = 0.015307250221043326 2018-01-20 12:32:48,694 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 350; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-01-20 12:32:49,799 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 452; Precision = 0.1415929203539823; Recall = 0.92; incoherence = 0.4165152129817444 2018-01-20 14:20:30,245 INFO main f.i.e.l.env.NOOEnvironment Final Size = 231; Precision = 0.9567099567099567; Recall = 0.35428571428571426; incoherence = 0.028444444444444446 2018-01-20 14:20:30,480 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 350; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-01-20 14:20:32,381 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 452; Precision = 0.13716814159292035; Recall = 0.92; incoherence = 0.4220040567951318 2018-01-20 16:08:30,421 INFO main f.i.e.l.env.NOOEnvironment Final Size = 234; Precision = 0.9615384615384616; Recall = 0.3657142857142857; incoherence = 0.03275843108504399 2018-01-20 16:08:30,720 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 350; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-01-20 16:08:34,269 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 452; Precision = 0.13495575221238937; Recall = 0.92; incoherence = 0.43306288032454365 2018-01-20 17:56:06,021 INFO main f.i.e.l.env.NOOEnvironment Final Size = 230; Precision = 0.9739130434782609; Recall = 0.37142857142857144; incoherence = 0.01962962962962963 2018-01-20 17:56:06,407 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 350; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-01-20 17:56:08,775 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 452; Precision = 0.1415929203539823; Recall = 0.92; incoherence = 0.4381176470588235 2018-01-20 19:44:07,351 INFO main f.i.e.l.env.NOOEnvironment Final Size = 234; Precision = 0.9786324786324786; Recall = 0.39714285714285713; incoherence = 0.021539918414918417 2018-01-20 19:44:07,598 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 350; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-01-20 19:44:09,558 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 452; Precision = 0.10619469026548672; Recall = 0.92; incoherence = 0.438235294117647 2018-01-20 21:30:49,719 INFO main f.i.e.l.env.NOOEnvironment Final Size = 220; Precision = 0.9954545454545455; Recall = 0.30857142857142855; incoherence = 0.005555555555555555 2018-01-20 21:30:50,016 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 350; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-01-20 21:30:51,473 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 452; Precision = 0.1084070796460177; Recall = 0.9171428571428571; incoherence = 0.4514929006085192 2018-01-20 23:17:18,524 INFO main f.i.e.l.env.NOOEnvironment Final Size = 214; Precision = 0.9719626168224299; Recall = 0.32857142857142857; incoherence = 0.026523476523476523 2018-01-20 23:17:18,776 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 350; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-01-20 23:17:19,859 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 452; Precision = 0.11061946902654868; Recall = 0.92; incoherence = 0.4324381338742393 2018-01-21 01:04:49,044 INFO main f.i.e.l.env.NOOEnvironment Final Size = 228; Precision = 0.9605263157894737; Recall = 0.36857142857142855; incoherence = 0.030872865275142315 Sun Jan 21 01:04:50 CET 2018