[Termtools] termcomp updates - deadline is approaching

Tue Aug 22 10:54:29 CEST 2017

Hi Johannes,

> 2. in the test jobs, there are several instances of
> https://www.tapatalk.com/groups/starexec/job-pair-killed-immediately-setting
> -up-cpuset-cgro-t141.html Starexec is aware of this. I don't know the exact
> status.
> Let us hope they can implement a solution in time.
> Else, we could ignore (for scoring) the benchmarks
> where this happened.
It may be difficult to identify these job pairs. For us this problem seems to 
occur in different variations.

Variation1: We get the attached output after a few seconds. It seems like we 
cannot write to StarExec's temporary file system.

Variation2: The executions stops after 0s, we do not get an output but the 
status of the job is "complete".

Variation3: The executions stops after 0s, we do not get an output but the 
status of the job is "run script error".

In each run around 10% are affected. In each rerun different job pairs are 
affected with different variations of the problem.

Best,
Matthias
-------------- next part --------------
/export/starexec/sandbox2/solver/bin/starexec_run_NontrivialArrayWrites /export/starexec/sandbox2/benchmark/theBenchmark.c /export/starexec/sandbox2/output/output_files

--------------------------------------------------------------------------------

** (Ultimate:41793): WARNING **: Could not open X display
Ultimate: Cannot open display: 
[2017-08-22 02:55:05,847 INFO  L170        SettingsManager]: Resetting all preferences to default values...
[2017-08-22 02:55:05,850 INFO  L174        SettingsManager]: Resetting UltimateCore preferences to default values
!SESSION 2017-08-22 02:55:03.423 -----------------------------------------------
eclipse.buildId=unknown
java.version=1.8.0_121
java.vendor=Oracle Corporation
BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=en_US
Framework arguments:  -tc ./../AutomizerAndBuchiAutomizerCInlineWithBlockEncoding.xml -s ./../termcomp2017-NontrivialArrayWrites.epf -i /export/starexec/sandbox2/benchmark/theBenchmark.c
Command-line arguments:  -os linux -ws gtk -arch x86_64 -consoleLog -data @user.home/.ultimate -tc ./../AutomizerAndBuchiAutomizerCInlineWithBlockEncoding.xml -s ./../termcomp2017-NontrivialArrayWrites.epf -i /export/starexec/sandbox2/benchmark/theBenchmark.c

!ENTRY org.eclipse.equinox.preferences 4 4 2017-08-22 02:55:05.878
!MESSAGE Exception saving preferences to: /mnt/nfs/csgnas2/home/sandbox2/.ultimate/.metadata/.plugins/org.eclipse.core.runtime/.settings/UltimateCore.prefs.
!STACK 0
java.io.FileNotFoundException: /mnt/nfs/csgnas2/home/sandbox2/.ultimate/.metadata/.plugins/org.eclipse.core.runtime/.settings/UltimateCore.prefs.bak (No such file or directory)
	at java.io.FileInputStream.open0(Native Method)
	at java.io.FileInputStream.open(FileInputStream.java:195)
	at java.io.FileInputStream.<init>(FileInputStream.java:138)
	at org.eclipse.core.internal.preferences.SafeFileOutputStream.copy(SafeFileOutputStream.java:83)
	at org.eclipse.core.internal.preferences.SafeFileOutputStream.<init>(SafeFileOutputStream.java:49)
	at org.eclipse.core.internal.preferences.EclipsePreferences.write(EclipsePreferences.java:317)
	at org.eclipse.core.internal.preferences.EclipsePreferences.save(EclipsePreferences.java:1135)
	at org.eclipse.core.internal.preferences.EclipsePreferences.save(EclipsePreferences.java:1111)
	at org.eclipse.core.internal.preferences.EclipsePreferences.internalFlush(EclipsePreferences.java:471)
	at org.eclipse.core.internal.preferences.EclipsePreferences.flush(EclipsePreferences.java:429)
	at de.uni_freiburg.informatik.ultimate.core.preferences.util.RcpPreferenceBinder.flushEclipsePreferences(RcpPreferenceBinder.java:154)
	at de.uni_freiburg.informatik.ultimate.core.preferences.util.RcpPreferenceBinder.initializePreferences(RcpPreferenceBinder.java:98)
	at de.uni_freiburg.informatik.ultimate.core.preferences.util.RcpPreferenceBinder.resetToDefaultPreferences(RcpPreferenceBinder.java:135)
	at de.uni_freiburg.informatik.ultimate.core.coreplugin.SettingsManager.resetPreferences(SettingsManager.java:175)
	at de.uni_freiburg.informatik.ultimate.core.coreplugin.UltimateCore.resetPreferences(UltimateCore.java:215)
	at de.uni_freiburg.informatik.ultimate.cli.CommandLineController.prepareToolchain(CommandLineController.java:224)
	at de.uni_freiburg.informatik.ultimate.cli.CommandLineController.init(CommandLineController.java:164)
	at de.uni_freiburg.informatik.ultimate.core.coreplugin.UltimateCore.activateController(UltimateCore.java:170)
	at de.uni_freiburg.informatik.ultimate.core.coreplugin.UltimateCore.start(UltimateCore.java:142)
	at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:196)
	at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
	at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
	at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:380)
	at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:235)
	at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
	at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
	at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
	at java.lang.reflect.Method.invoke(Method.java:498)
	at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:669)
	at org.eclipse.equinox.launcher.Main.basicRun(Main.java:608)
	at org.eclipse.equinox.launcher.Main.run(Main.java:1515)
	at org.eclipse.equinox.launcher.Main.main(Main.java:1488)

!ENTRY org.eclipse.osgi 4 0 2017-08-22 02:55:05.885
!MESSAGE Application error
!STACK 1
UltimateCore threw an exception: org.osgi.service.prefs.BackingStoreException: Exception saving preferences to: /mnt/nfs/csgnas2/home/sandbox2/.ultimate/.metadata/.plugins/org.eclipse.core.runtime/.settings/UltimateCore.prefs.
	at de.uni_freiburg.informatik.ultimate.core.preferences.util.RcpPreferenceBinder.flushEclipsePreferences(RcpPreferenceBinder.java:157)
	at de.uni_freiburg.informatik.ultimate.core.preferences.util.RcpPreferenceBinder.initializePreferences(RcpPreferenceBinder.java:98)
	at de.uni_freiburg.informatik.ultimate.core.preferences.util.RcpPreferenceBinder.resetToDefaultPreferences(RcpPreferenceBinder.java:135)
	at de.uni_freiburg.informatik.ultimate.core.coreplugin.SettingsManager.resetPreferences(SettingsManager.java:175)
	at de.uni_freiburg.informatik.ultimate.core.coreplugin.UltimateCore.resetPreferences(UltimateCore.java:215)
	at de.uni_freiburg.informatik.ultimate.cli.CommandLineController.prepareToolchain(CommandLineController.java:224)
	at de.uni_freiburg.informatik.ultimate.cli.CommandLineController.init(CommandLineController.java:164)
	at de.uni_freiburg.informatik.ultimate.core.coreplugin.UltimateCore.activateController(UltimateCore.java:170)
	at de.uni_freiburg.informatik.ultimate.core.coreplugin.UltimateCore.start(UltimateCore.java:142)
	at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:196)
	at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
	at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
	at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:380)
	at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:235)
	at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
	at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
	at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
	at java.lang.reflect.Method.invoke(Method.java:498)
	at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:669)
	at org.eclipse.equinox.launcher.Main.basicRun(Main.java:608)
	at org.eclipse.equinox.launcher.Main.run(Main.java:1515)
	at org.eclipse.equinox.launcher.Main.main(Main.java:1488)
Caused by: org.osgi.service.prefs.BackingStoreException: Exception saving preferences to: /mnt/nfs/csgnas2/home/sandbox2/.ultimate/.metadata/.plugins/org.eclipse.core.runtime/.settings/UltimateCore.prefs.
	at org.eclipse.core.internal.preferences.EclipsePreferences.write(EclipsePreferences.java:323)
	at org.eclipse.core.internal.preferences.EclipsePreferences.save(EclipsePreferences.java:1135)
	at org.eclipse.core.internal.preferences.EclipsePreferences.save(EclipsePreferences.java:1111)
	at org.eclipse.core.internal.preferences.EclipsePreferences.internalFlush(EclipsePreferences.java:471)
	at org.eclipse.core.internal.preferences.EclipsePreferences.flush(EclipsePreferences.java:429)
	at de.uni_freiburg.informatik.ultimate.core.preferences.util.RcpPreferenceBinder.flushEclipsePreferences(RcpPreferenceBinder.java:154)
	... 21 more
Ultimate:
An error has occurred. See the log file
/mnt/nfs/csgnas2/home/sandbox2/.ultimate/.metadata/.log.
Ultimate:
GTK+ Version Check
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: This is a digitally signed message part.
URL: <http://lists.lri.fr/pipermail/termtools/attachments/20170822/88764cdb/attachment.sig>