SPUR large timeout

[FAMILIAR-project]

SPUR process killed (I suspect an internal, huge timeout)

+ BENCH='/home/samplingfm/Benchmarks/FMEasy/2.6.32-2var.cnf /home/samplingfm/Benchmarks/FMEasy/2.6.33.3-2var.cnf'
+ VM_CMD='docker run -v /mnt/srv/tempdd/macher/usampling-exp/:/home/usampling-exp:z macher/usampling:squashed /bin/bash -c '\''cd /home/usampling-exp/; echo STARTING; python3 usampling-experiments.py --spur -t 43050 -flas /home/samplingfm/Benchmarks/FMEasy/2.6.32-2var.cnf /home/samplingfm/Benchmarks/FMEasy/2.6.33.3-2var.cnf; echo END'\'''
+ gvirt exec vm-19939 'until [ -S /var/run/docker.sock ]; do sleep 1; done'
Warning: Permanently added '[localhost]:22001' (ECDSA) to the list of known hosts.
+ gvirt exec vm-19939 'docker run -v /mnt/srv/tempdd/macher/usampling-exp/:/home/usampling-exp:z macher/usampling:squashed /bin/bash -c '\''cd /home/usampling-exp/; echo STARTING; python3 usampling-experiments.py --spur -t 43050 -flas /home/samplingfm/Benchmarks/FMEasy/2.6.32-2var.cnf /home/samplingfm/Benchmarks/FMEasy/2.6.33.3-2var.cnf; echo END'\'''
Warning: Permanently added '[localhost]:22001' (ECDSA) to the list of known hosts.
Traceback (most recent call last):
  File "usampling-experiments.py", line 571, in <module>
    experiment_SPUR(flas=flas_to_process, timeout=timeout, nsamples=nsamples, savecsv_onthefly=OUTPUT_DIR + "experiments-SPUR.csv")
  File "usampling-experiments.py", line 123, in experiment_SPUR
    output = check_output(full_cmd.split(" "), stderr=STDOUT, timeout=timeout, encoding='UTF-8') #, shell=True not recommended # https://stackoverflow.com/questions/36952245/subprocess-timeout-failure
  File "/usr/local/lib/python3.7/subprocess.py", line 395, in check_output
    **kwargs).stdout
  File "/usr/local/lib/python3.7/subprocess.py", line 487, in run
    output=stdout, stderr=stderr)
subprocess.CalledProcessError: Command '['./samplers/spur', '-s', '10', '-cnf', '/home/samplingfm/Benchmarks/FMEasy/2.6.32-2var.cnf']' died with <Signals.SIGKILL: 9>.