Sat Feb 3 01:51:57 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-03 01:52:05,335 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 350; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-02-03 01:52:09,689 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 452; Precision = 0.14380530973451328; Recall = 0.8971428571428571; incoherence = 0.42717647058823527 2018-02-03 03:40:49,006 INFO main f.i.e.l.env.NOOEnvironment Final Size = 246; Precision = 0.9349593495934959; Recall = 0.48; incoherence = 0.05873652320165603 2018-02-03 03:40:49,264 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 350; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-02-03 03:40:50,490 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 452; Precision = 0.13495575221238937; Recall = 0.9171428571428571; incoherence = 0.4314969574036511 2018-02-03 05:30:47,680 INFO main f.i.e.l.env.NOOEnvironment Final Size = 253; Precision = 0.9130434782608695; Recall = 0.5628571428571428; incoherence = 0.08685007974481658 2018-02-03 05:30:48,027 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 350; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-02-03 05:30:52,711 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 452; Precision = 0.12168141592920353; Recall = 0.9171428571428571; incoherence = 0.429525354969574 2018-02-03 07:20:24,094 INFO main f.i.e.l.env.NOOEnvironment Final Size = 252; Precision = 0.9484126984126984; Recall = 0.48; incoherence = 0.03783354366596152 2018-02-03 07:20:24,352 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 350; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-02-03 07:20:25,880 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 452; Precision = 0.09292035398230089; Recall = 0.9142857142857143; incoherence = 0.43306288032454365 2018-02-03 09:09:15,310 INFO main f.i.e.l.env.NOOEnvironment Final Size = 245; Precision = 0.9469387755102041; Recall = 0.5257142857142857; incoherence = 0.05455646188094006 2018-02-03 09:09:15,562 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 350; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-02-03 09:09:17,709 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 452; Precision = 0.12389380530973451; Recall = 0.9114285714285715; incoherence = 0.4380040567951318 2018-02-03 10:58:09,857 INFO main f.i.e.l.env.NOOEnvironment Final Size = 247; Precision = 0.9392712550607287; Recall = 0.5257142857142857; incoherence = 0.06618872549019608 2018-02-03 10:58:10,188 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 350; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-02-03 10:58:11,435 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 452; Precision = 0.12389380530973451; Recall = 0.92; incoherence = 0.43027991886409733 2018-02-03 12:46:25,553 INFO main f.i.e.l.env.NOOEnvironment Final Size = 236; Precision = 0.9152542372881356; Recall = 0.49142857142857144; incoherence = 0.07747089165139451 2018-02-03 12:46:25,800 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 350; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-02-03 12:46:26,979 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 452; Precision = 0.1261061946902655; Recall = 0.92; incoherence = 0.4348722109533469 2018-02-03 14:34:38,741 INFO main f.i.e.l.env.NOOEnvironment Final Size = 238; Precision = 0.9537815126050421; Recall = 0.4828571428571429; incoherence = 0.05228494623655914 2018-02-03 14:34:39,135 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 350; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-02-03 14:34:40,248 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 452; Precision = 0.12389380530973451; Recall = 0.9142857142857143; incoherence = 0.4213833671399595 2018-02-03 16:24:04,235 INFO main f.i.e.l.env.NOOEnvironment Final Size = 248; Precision = 0.9435483870967742; Recall = 0.5057142857142857; incoherence = 0.05833751935975297 2018-02-03 16:24:04,641 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 350; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-02-03 16:24:09,472 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 452; Precision = 0.14380530973451328; Recall = 0.92; incoherence = 0.44462474645030425 2018-02-03 18:13:57,841 INFO main f.i.e.l.env.NOOEnvironment Final Size = 251; Precision = 0.8844621513944223; Recall = 0.58; incoherence = 0.1116671392665725 2018-02-03 18:13:58,165 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 350; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-02-03 18:14:01,435 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 452; Precision = 0.12389380530973451; Recall = 0.92; incoherence = 0.4352941176470589 2018-02-03 20:02:13,020 INFO main f.i.e.l.env.NOOEnvironment Final Size = 241; Precision = 0.921161825726141; Recall = 0.5142857142857142; incoherence = 0.08230113550796661 Sat Feb 3 20:02:14 CET 2018