Mon Feb 5 08:44:17 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=addjoin -DexpandAlignments=clever -DnonRedundancy -Dgenerative -Drealistic=1 2018-02-05 08:44:24,657 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 350; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-02-05 08:44:26,272 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 452; Precision = 0.11504424778761062; Recall = 0.92; incoherence = 0.4348722109533469 2018-02-05 10:33:34,524 INFO main f.i.e.l.env.NOOEnvironment Final Size = 242; Precision = 0.9297520661157025; Recall = 0.47714285714285715; incoherence = 0.058515786079827825 2018-02-05 10:33:34,795 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 350; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-02-05 10:33:36,172 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 452; Precision = 0.1172566371681416; Recall = 0.92; incoherence = 0.41589046653144024 2018-02-05 12:22:46,435 INFO main f.i.e.l.env.NOOEnvironment Final Size = 241; Precision = 0.941908713692946; Recall = 0.5; incoherence = 0.05177358260019551 2018-02-05 12:22:46,800 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 350; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-02-05 12:22:48,880 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 452; Precision = 0.12168141592920353; Recall = 0.9085714285714286; incoherence = 0.4314523326572009 2018-02-05 14:13:19,364 INFO main f.i.e.l.env.NOOEnvironment Final Size = 256; Precision = 0.93359375; Recall = 0.5314285714285715; incoherence = 0.06271819254017395 2018-02-05 14:13:19,727 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 350; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-02-05 14:13:20,212 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 452; Precision = 0.13938053097345132; Recall = 0.92; incoherence = 0.4188762677484787 2018-02-05 16:03:37,022 INFO main f.i.e.l.env.NOOEnvironment Final Size = 250; Precision = 0.904; Recall = 0.5742857142857143; incoherence = 0.09570196143725555 2018-02-05 16:03:37,387 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 350; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-02-05 16:03:38,423 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 452; Precision = 0.13938053097345132; Recall = 0.9171428571428571; incoherence = 0.44161054766734276 2018-02-05 17:53:27,276 INFO main f.i.e.l.env.NOOEnvironment Final Size = 245; Precision = 0.8734693877551021; Recall = 0.62; incoherence = 0.09801330978962558 2018-02-05 17:53:27,516 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 350; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-02-05 17:53:29,013 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 452; Precision = 0.1261061946902655; Recall = 0.92; incoherence = 0.43306288032454365 2018-02-05 19:42:23,247 INFO main f.i.e.l.env.NOOEnvironment Final Size = 242; Precision = 0.9338842975206612; Recall = 0.52; incoherence = 0.05989622095172379 2018-02-05 19:42:23,558 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 350; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-02-05 19:42:24,701 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 452; Precision = 0.1415929203539823; Recall = 0.9171428571428571; incoherence = 0.44655172413793104 2018-02-05 21:32:31,233 INFO main f.i.e.l.env.NOOEnvironment Final Size = 250; Precision = 0.908; Recall = 0.5971428571428572; incoherence = 0.07797688870269515 2018-02-05 21:32:31,472 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 350; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-02-05 21:32:34,067 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 452; Precision = 0.09513274336283185; Recall = 0.9171428571428571; incoherence = 0.44784178498985805 2018-02-05 23:21:38,010 INFO main f.i.e.l.env.NOOEnvironment Final Size = 241; Precision = 0.9377593360995851; Recall = 0.5085714285714286; incoherence = 0.06021138294027288 2018-02-05 23:21:38,256 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 350; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-02-05 23:21:41,422 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 452; Precision = 0.1172566371681416; Recall = 0.9114285714285715; incoherence = 0.4367139959432048 2018-02-06 01:10:43,853 INFO main f.i.e.l.env.NOOEnvironment Final Size = 235; Precision = 0.9234042553191489; Recall = 0.5; incoherence = 0.06780125222131864 2018-02-06 01:10:44,096 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 350; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-02-06 01:10:46,273 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 452; Precision = 0.13495575221238937; Recall = 0.9171428571428571; incoherence = 0.44662474645030426 2018-02-06 02:59:48,774 INFO main f.i.e.l.env.NOOEnvironment Final Size = 235; Precision = 0.9063829787234042; Recall = 0.5142857142857142; incoherence = 0.07836546384086952 Tue Feb 6 02:59:51 CET 2018