Log files for model resource-gathering.1300-100-100 and tool configuration storm_from-jani_to-umb-xz_sparse
[17.707, 18.015, 20.903, 19.41, 20.442]
Log file: storm_from-jani_to-umb-xz_sparse_resource-gathering.1300-100-100_rep1.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.xz umb --compression xz
Wallclock time: 21.238 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 23:13:02 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956657/tmpzv3btbljstorm_from-jani_to-umb-xz_sparse_resource-gathering.1300-100-100_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956657/tmpzkrahoqhstorm_from-jani_to-umb-xz_sparse_resource-gathering.1300-100-100_tmp_outdir_/model.umb.xz umb --compression xz
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.001s.
Time for model construction: 3.496s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 958894
Transitions: 3325526
Choices: 3080702
Reward Models: none
State Labels: 3 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* success -> 94 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4956657/tmpzkrahoqhstorm_from-jani_to-umb-xz_sparse_resource-gathering.1300-100-100_tmp_outdir_/model.umb.xz'.
Time for model export: 17.707s.
Performance statistics:
* peak memory usage: 304MB
* CPU time: 21.098s
* wallclock time: 21.207s
############################## Output files ##############################
model.umb.xz: Size of output file is 4062440 bytes
Log file: storm_from-jani_to-umb-xz_sparse_resource-gathering.1300-100-100_rep2.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.xz umb --compression xz
Wallclock time: 21.854 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:50:08 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955756/tmp64oejoocstorm_from-jani_to-umb-xz_sparse_resource-gathering.1300-100-100_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955756/tmpb7_l8swnstorm_from-jani_to-umb-xz_sparse_resource-gathering.1300-100-100_tmp_outdir_/model.umb.xz umb --compression xz
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.001s.
Time for model construction: 3.807s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 958894
Transitions: 3325526
Choices: 3080702
Reward Models: none
State Labels: 3 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* success -> 94 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4955756/tmpb7_l8swnstorm_from-jani_to-umb-xz_sparse_resource-gathering.1300-100-100_tmp_outdir_/model.umb.xz'.
Time for model export: 18.015s.
Performance statistics:
* peak memory usage: 305MB
* CPU time: 21.713s
* wallclock time: 21.827s
############################## Output files ##############################
model.umb.xz: Size of output file is 4053268 bytes
Log file: storm_from-jani_to-umb-xz_sparse_resource-gathering.1300-100-100_rep3.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.xz umb --compression xz
Wallclock time: 25.437 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:35:51 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4955183/tmpdpj2inlgstorm_from-jani_to-umb-xz_sparse_resource-gathering.1300-100-100_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4955183/tmpbh3p8ge5storm_from-jani_to-umb-xz_sparse_resource-gathering.1300-100-100_tmp_outdir_/model.umb.xz umb --compression xz
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.002s.
Time for model construction: 4.134s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 958894
Transitions: 3325526
Choices: 3080702
Reward Models: none
State Labels: 3 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* success -> 94 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4955183/tmpbh3p8ge5storm_from-jani_to-umb-xz_sparse_resource-gathering.1300-100-100_tmp_outdir_/model.umb.xz'.
Time for model export: 20.903s.
Performance statistics:
* peak memory usage: 304MB
* CPU time: 24.861s
* wallclock time: 25.044s
############################## Output files ##############################
model.umb.xz: Size of output file is 4053720 bytes
Log file: storm_from-jani_to-umb-xz_sparse_resource-gathering.1300-100-100_rep4.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.xz umb --compression xz
Wallclock time: 24.138 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:28:24 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4954885/tmpgb6y7tbpstorm_from-jani_to-umb-xz_sparse_resource-gathering.1300-100-100_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4954885/tmpku0wckv9storm_from-jani_to-umb-xz_sparse_resource-gathering.1300-100-100_tmp_outdir_/model.umb.xz umb --compression xz
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.002s.
Time for model construction: 3.905s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 958894
Transitions: 3325526
Choices: 3080702
Reward Models: none
State Labels: 3 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* success -> 94 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4954885/tmpku0wckv9storm_from-jani_to-umb-xz_sparse_resource-gathering.1300-100-100_tmp_outdir_/model.umb.xz'.
Time for model export: 19.410s.
Performance statistics:
* peak memory usage: 304MB
* CPU time: 23.175s
* wallclock time: 23.321s
############################## Output files ##############################
model.umb.xz: Size of output file is 4050676 bytes
Log file: storm_from-jani_to-umb-xz_sparse_resource-gathering.1300-100-100_rep5.log
Command(s):
../bin/storm --timemem --buildfull --jani %indir/model.jani --exportbuild %outdir/model.umb.xz umb --compression xz
Wallclock time: 24.376 seconds
Return code: 0
##############################
Storm 1.14.0 (dev)
Date: Mon Oct 12 22:57:44 2026
Command line arguments: --timemem --buildfull --jani /w0/tmp/slurm_tq429871.4956066/tmp7drammw5storm_from-jani_to-umb-xz_sparse_resource-gathering.1300-100-100_tmp_indir_/model.jani --exportbuild /w0/tmp/slurm_tq429871.4956066/tmpwvvk6xx_storm_from-jani_to-umb-xz_sparse_resource-gathering.1300-100-100_tmp_outdir_/model.umb.xz umb --compression xz
Current working directory: /rwthfs/rz/cluster/hpcwork/rwth1632/umb-benchmarking/experiments
Time for model input parsing: 0.001s.
Time for model construction: 3.903s.
--------------------------------------------------------------
Model type: MDP (sparse)
States: 958894
Transitions: 3325526
Choices: 3080702
Reward Models: none
State Labels: 3 labels
* deadlock -> 0 item(s)
* init -> 1 item(s)
* success -> 94 item(s)
Choice Labels: none
--------------------------------------------------------------
Exporting model to '/w0/tmp/slurm_tq429871.4956066/tmpwvvk6xx_storm_from-jani_to-umb-xz_sparse_resource-gathering.1300-100-100_tmp_outdir_/model.umb.xz'.
Time for model export: 20.442s.
Performance statistics:
* peak memory usage: 304MB
* CPU time: 24.179s
* wallclock time: 24.350s
############################## Output files ##############################
model.umb.xz: Size of output file is 4057080 bytes