Mon Jan 15 18:07:55 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 Already up-to-date. 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=delete -DexpandAlignments=clever -DnonRedundancy -Dgenerative -Drealistic=1 2018-01-15 18:08:02,752 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 350; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-01-15 18:08:05,532 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 452; Precision = 0.1172566371681416; Recall = 0.92; incoherence = 0.42133874239350916 2018-01-15 19:54:40,540 INFO main f.i.e.l.env.NOOEnvironment Final Size = 214; Precision = 0.985981308411215; Recall = 0.3142857142857143; incoherence = 0.01607142857142857 2018-01-15 19:54:40,804 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 350; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-01-15 19:54:41,555 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 452; Precision = 0.12389380530973451; Recall = 0.92; incoherence = 0.4150669371196754 2018-01-15 21:42:30,803 INFO main f.i.e.l.env.NOOEnvironment Final Size = 229; Precision = 0.9475982532751092; Recall = 0.4; incoherence = 0.04124869754665151 2018-01-15 21:42:31,246 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 350; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-01-15 21:42:33,380 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 452; Precision = 0.11946902654867257; Recall = 0.92; incoherence = 0.4361622718052739 2018-01-15 23:29:15,094 INFO main f.i.e.l.env.NOOEnvironment Final Size = 217; Precision = 0.9907834101382489; Recall = 0.3171428571428571; incoherence = 0.0047619047619047615 2018-01-15 23:29:15,413 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 350; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-01-15 23:29:16,209 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 452; Precision = 0.11946902654867257; Recall = 0.8914285714285715; incoherence = 0.41071805273833667 2018-01-16 01:17:16,480 INFO main f.i.e.l.env.NOOEnvironment Final Size = 230; Precision = 0.9739130434782609; Recall = 0.36857142857142855; incoherence = 0.02282588190907376 2018-01-16 01:17:16,724 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 350; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-01-16 01:17:20,405 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 452; Precision = 0.14823008849557523; Recall = 0.9171428571428571; incoherence = 0.4370141987829615 2018-01-16 03:04:44,351 INFO main f.i.e.l.env.NOOEnvironment Final Size = 224; Precision = 0.9866071428571429; Recall = 0.37142857142857144; incoherence = 0.012698412698412698 2018-01-16 03:04:44,692 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 350; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-01-16 03:04:46,532 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 452; Precision = 0.11283185840707964; Recall = 0.9142857142857143; incoherence = 0.43804868154158216 2018-01-16 04:52:44,725 INFO main f.i.e.l.env.NOOEnvironment Final Size = 231; Precision = 0.987012987012987; Recall = 0.35714285714285715; incoherence = 0.01436639000598956 2018-01-16 04:52:44,967 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 350; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-01-16 04:52:46,313 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 452; Precision = 0.13495575221238937; Recall = 0.92; incoherence = 0.41479107505070995 2018-01-16 06:40:27,419 INFO main f.i.e.l.env.NOOEnvironment Final Size = 225; Precision = 0.9644444444444444; Recall = 0.4514285714285714; incoherence = 0.043886853886853885 2018-01-16 06:40:27,772 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 350; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-01-16 06:40:30,427 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 452; Precision = 0.12389380530973451; Recall = 0.9142857142857143; incoherence = 0.4341176470588235 2018-01-16 08:27:41,197 INFO main f.i.e.l.env.NOOEnvironment Final Size = 221; Precision = 0.9592760180995475; Recall = 0.3657142857142857; incoherence = 0.03235056446821153 2018-01-16 08:27:41,533 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 350; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-01-16 08:27:44,969 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 452; Precision = 0.13053097345132744; Recall = 0.92; incoherence = 0.4393346855983773 2018-01-16 10:15:35,836 INFO main f.i.e.l.env.NOOEnvironment Final Size = 229; Precision = 0.9694323144104804; Recall = 0.3657142857142857; incoherence = 0.021664594647647712 2018-01-16 10:15:36,076 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 350; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-01-16 10:15:37,088 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 452; Precision = 0.14601769911504425; Recall = 0.9057142857142857; incoherence = 0.41111156186612574 2018-01-16 12:04:01,216 INFO main f.i.e.l.env.NOOEnvironment Final Size = 236; Precision = 0.9745762711864406; Recall = 0.39714285714285713; incoherence = 0.018299335863377612 Tue Jan 16 12:04:02 CET 2018