Log files for model bluetooth.1 and tool configuration storm_from-jani_check_sparse
Log file: storm_from-jani_check_sparse_bluetooth.1_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 7203.006 seconds
Return code: None (timeout)
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 09:23:19 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4965559/tmpwwm6w4bgstorm_from-jani_check_sparse_bluetooth.1_tmp_indir_/model.jani --janiproperty
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.004s.
##############################Output to stderr##############################
ERROR: The program received signal 15 and will be aborted in 3s.
Received signal 14
Log file: storm_from-jani_check_sparse_bluetooth.1_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 7203.013 seconds
Return code: None (timeout)
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 09:45:56 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4966743/tmpsw9gfnxrstorm_from-jani_check_sparse_bluetooth.1_tmp_indir_/model.jani --janiproperty
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.005s.
##############################Output to stderr##############################
ERROR: The program received signal 15 and will be aborted in 3s.
Received signal 14
Log file: storm_from-jani_check_sparse_bluetooth.1_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 7203.012 seconds
Return code: None (timeout)
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 07:42:00 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4962922/tmpu6e7ot8hstorm_from-jani_check_sparse_bluetooth.1_tmp_indir_/model.jani --janiproperty
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.005s.
##############################Output to stderr##############################
ERROR: The program received signal 15 and will be aborted in 3s.
Received signal 14
Log file: storm_from-jani_check_sparse_bluetooth.1_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 7203.013 seconds
Return code: None (timeout)
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 07:01:39 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4961204/tmpg2zrb4xustorm_from-jani_check_sparse_bluetooth.1_tmp_indir_/model.jani --janiproperty
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.004s.
##############################Output to stderr##############################
ERROR: The program received signal 15 and will be aborted in 3s.
Received signal 14
Log file: storm_from-jani_check_sparse_bluetooth.1_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --janiproperty
Wallclock time: 7203.004 seconds
Return code: None (timeout)
##############################
Storm 1.14.0 (dev)
Date: Tue Oct 13 07:32:37 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4962514/tmpmh5ixmcwstorm_from-jani_check_sparse_bluetooth.1_tmp_indir_/model.jani --janiproperty
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.004s.
##############################Output to stderr##############################
ERROR: The program received signal 15 and will be aborted in 3s.
Received signal 14