Tue May 29 14:04:26 CEST 2018 Linux seals-4 4.4.98-3-pve #1 SMP PVE 4.4.98-103 (Mon, 8 Jan 2018 10:15:44 +0100) 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 d50e70f87bca76951ec2f149dc8ae1d42b9a1a28 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 19 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] d50e70f87bca76951ec2f149dc8ae1d42b9a1a28 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: 5 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=4 -DnbIterations=10000 -DnbRuns=10 -DreportPrecRec -DloadDir=expeRun -DloadEnv -DloadAgents -DreplayGames -DrevisionModality=replace -DexpandAlignments=clever 2018-05-29 14:04:33,971 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-05-29 14:04:34,247 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 54; Precision = 0.1111111111111111; Recall = 0.872093023255814; incoherence = 0.34259259259259256 2018-05-29 14:08:03,130 INFO main f.i.e.l.env.NOOEnvironment Final Size = 34; Precision = 0.8823529411764706; Recall = 0.3953488372093023; incoherence = 0.08564814814814814 2018-05-29 14:08:03,279 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-05-29 14:08:03,569 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 54; Precision = 0.1111111111111111; Recall = 0.8837209302325582; incoherence = 0.3611111111111111 2018-05-29 14:11:17,482 INFO main f.i.e.l.env.NOOEnvironment Final Size = 25; Precision = 0.92; Recall = 0.20930232558139536; incoherence = 0.048611111111111105 2018-05-29 14:11:17,755 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-05-29 14:11:17,838 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 54; Precision = 0.1111111111111111; Recall = 0.8604651162790697; incoherence = 0.32407407407407407 2018-05-29 14:14:30,104 INFO main f.i.e.l.env.NOOEnvironment Final Size = 27; Precision = 0.9629629629629629; Recall = 0.26744186046511625; incoherence = 0.020833333333333332 2018-05-29 14:14:30,223 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-05-29 14:14:30,303 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 54; Precision = 0.1111111111111111; Recall = 0.8837209302325582; incoherence = 0.3148148148148148 2018-05-29 14:17:47,287 INFO main f.i.e.l.env.NOOEnvironment Final Size = 29; Precision = 0.7931034482758621; Recall = 0.26744186046511625; incoherence = 0.06084656084656084 2018-05-29 14:17:47,397 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-05-29 14:17:47,475 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 54; Precision = 0.1111111111111111; Recall = 0.8372093023255814; incoherence = 0.34259259259259256 2018-05-29 14:20:58,704 INFO main f.i.e.l.env.NOOEnvironment Final Size = 25; Precision = 0.88; Recall = 0.2558139534883721; incoherence = 0.061111111111111116 2018-05-29 14:20:58,976 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-05-29 14:20:59,052 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 54; Precision = 0.1111111111111111; Recall = 0.9534883720930233; incoherence = 0.3425925925925926 2018-05-29 14:24:08,595 INFO main f.i.e.l.env.NOOEnvironment Final Size = 27; Precision = 0.8518518518518519; Recall = 0.27906976744186046; incoherence = 0.06944444444444443 2018-05-29 14:24:08,706 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-05-29 14:24:09,005 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 54; Precision = 0.1111111111111111; Recall = 0.9186046511627907; incoherence = 0.35185185185185186 2018-05-29 14:27:26,252 INFO main f.i.e.l.env.NOOEnvironment Final Size = 30; Precision = 0.8333333333333334; Recall = 0.3372093023255814; incoherence = 0.08796296296296295 2018-05-29 14:27:26,356 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-05-29 14:27:26,432 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 54; Precision = 0.1111111111111111; Recall = 0.8837209302325582; incoherence = 0.3333333333333333 2018-05-29 14:30:34,788 INFO main f.i.e.l.env.NOOEnvironment Final Size = 27; Precision = 0.8518518518518519; Recall = 0.29069767441860467; incoherence = 0.075 2018-05-29 14:30:35,119 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-05-29 14:30:35,196 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 54; Precision = 0.1111111111111111; Recall = 0.9418604651162791; incoherence = 0.35185185185185186 2018-05-29 14:33:48,196 INFO main f.i.e.l.env.NOOEnvironment Final Size = 28; Precision = 0.8571428571428571; Recall = 0.3372093023255814; incoherence = 0.10317460317460315 2018-05-29 14:33:48,304 INFO main f.i.e.l.env.NOOEnvironment Reference Size = 86; Precision = 1.0; Recall = 1.0; incoherence = 0.0 2018-05-29 14:33:48,373 INFO main f.i.e.l.env.NOOEnvironment Initial Size = 54; Precision = 0.1111111111111111; Recall = 0.8372093023255814; incoherence = 0.2962962962962963 2018-05-29 14:36:59,923 INFO main f.i.e.l.env.NOOEnvironment Final Size = 24; Precision = 0.9166666666666666; Recall = 0.2441860465116279; incoherence = 0.05714285714285714 Tue May 29 14:37:00 CEST 2018