Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r491-tall-167912711401096.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is UtilityControlRoom-PT-Z2T3N04, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r491-tall-167912711401096
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 752K
-rw-r--r-- 1 mcc users 16K Feb 26 14:27 CTLCardinality.txt
-rw-r--r-- 1 mcc users 108K Feb 26 14:27 CTLCardinality.xml
-rw-r--r-- 1 mcc users 22K Feb 26 14:25 CTLFireability.txt
-rw-r--r-- 1 mcc users 116K Feb 26 14:25 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.4K Feb 25 17:24 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K Feb 25 17:24 LTLCardinality.xml
-rw-r--r-- 1 mcc users 5.6K Feb 25 17:24 LTLFireability.txt
-rw-r--r-- 1 mcc users 25K Feb 25 17:24 LTLFireability.xml
-rw-r--r-- 1 mcc users 21K Feb 26 14:30 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 129K Feb 26 14:30 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 30K Feb 26 14:28 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 151K Feb 26 14:28 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.7K Feb 25 17:24 UpperBounds.txt
-rw-r--r-- 1 mcc users 5.6K Feb 25 17:24 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 8 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 47K Mar 5 18:23 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679310416012

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=UtilityControlRoom-PT-Z2T3N04
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-20 11:06:57] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-20 11:06:57] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-20 11:06:58] [INFO ] Load time of PNML (sax parser for PT used): 38 ms
[2023-03-20 11:06:58] [INFO ] Transformed 72 places.
[2023-03-20 11:06:58] [INFO ] Transformed 108 transitions.
[2023-03-20 11:06:58] [INFO ] Parsed PT model containing 72 places and 108 transitions and 340 arcs in 353 ms.
[2023-03-20 11:06:58] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 72 places, 108 transitions and 340 arcs took 4 ms.
Total runtime 389 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running UtilityControlRoom (PT), instance Z2T3N04
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 72 places, 108 transitions, 340 arcs.
AT ITER 0 NEW BEST:: SOT 6082 SOS 4473 HAS SOPS 4473 HAS SOUS 2985 HAS SOUPS 2985 WITH SCORE 2989.473
AT ITER 3 NEW BEST:: SOT 6030 SOS 4430 HAS SOPS 4430 HAS SOUS 2941 HAS SOUPS 2941 WITH SCORE 2945.43
AT ITER 4 NEW BEST:: SOT 6030 SOS 4430 HAS SOPS 4430 HAS SOUS 2937 HAS SOUPS 2937 WITH SCORE 2941.43
AT ITER 5 NEW BEST:: SOT 5744 SOS 4218 HAS SOPS 4218 HAS SOUS 2753 HAS SOUPS 2753 WITH SCORE 2757.218
AT ITER 6 NEW BEST:: SOT 5744 SOS 4211 HAS SOPS 4211 HAS SOUS 2746 HAS SOUPS 2746 WITH SCORE 2750.211
AT ITER 7 NEW BEST:: SOT 5796 SOS 4237 HAS SOPS 4237 HAS SOUS 2563 HAS SOUPS 2563 WITH SCORE 2567.237
AT ITER 8 NEW BEST:: SOT 5736 SOS 4154 HAS SOPS 4154 HAS SOUS 2476 HAS SOUPS 2476 WITH SCORE 2480.154
AT ITER 10 NEW BEST:: SOT 5724 SOS 4142 HAS SOPS 4142 HAS SOUS 2454 HAS SOUPS 2454 WITH SCORE 2458.142
AT ITER 13 NEW BEST:: SOT 5710 SOS 4146 HAS SOPS 4146 HAS SOUS 2438 HAS SOUPS 2438 WITH SCORE 2442.146
AT ITER 22 NEW BEST:: SOT 5734 SOS 4153 HAS SOPS 4153 HAS SOUS 2430 HAS SOUPS 2430 WITH SCORE 2434.153
AT ITER 23 NEW BEST:: SOT 5707 SOS 4108 HAS SOPS 4108 HAS SOUS 2418 HAS SOUPS 2418 WITH SCORE 2422.108
AT ITER 26 NEW BEST:: SOT 5681 SOS 4082 HAS SOPS 4082 HAS SOUS 2377 HAS SOUPS 2377 WITH SCORE 2381.082
AT ITER 27 NEW BEST:: SOT 5689 SOS 4060 HAS SOPS 4060 HAS SOUS 2320 HAS SOUPS 2320 WITH SCORE 2324.06
AT ITER 29 NEW BEST:: SOT 5688 SOS 4051 HAS SOPS 4051 HAS SOUS 2310 HAS SOUPS 2310 WITH SCORE 2314.051
AT ITER 30 NEW BEST:: SOT 5663 SOS 4013 HAS SOPS 4013 HAS SOUS 2281 HAS SOUPS 2281 WITH SCORE 2285.013
AT ITER 36 NEW BEST:: SOT 5663 SOS 3341 HAS SOPS 3341 HAS SOUS 2210 HAS SOUPS 2210 WITH SCORE 2213.341
AT ITER 38 NEW BEST:: SOT 5662 SOS 3340 HAS SOPS 3340 HAS SOUS 2209 HAS SOUPS 2209 WITH SCORE 2212.34
AT ITER 41 NEW BEST:: SOT 5661 SOS 3340 HAS SOPS 3340 HAS SOUS 2208 HAS SOUPS 2208 WITH SCORE 2211.34
AT ITER 42 NEW BEST:: SOT 5661 SOS 3399 HAS SOPS 3399 HAS SOUS 2199 HAS SOUPS 2199 WITH SCORE 2202.399
AT ITER 44 NEW BEST:: SOT 5659 SOS 3397 HAS SOPS 3397 HAS SOUS 2197 HAS SOUPS 2197 WITH SCORE 2200.397
AT ITER 47 NEW BEST:: SOT 5667 SOS 3395 HAS SOPS 3395 HAS SOUS 2195 HAS SOUPS 2195 WITH SCORE 2198.395
AT ITER 54 NEW BEST:: SOT 5652 SOS 3374 HAS SOPS 3374 HAS SOUS 2182 HAS SOUPS 2182 WITH SCORE 2185.374
AT ITER 55 NEW BEST:: SOT 5649 SOS 3413 HAS SOPS 3413 HAS SOUS 2181 HAS SOUPS 2181 WITH SCORE 2184.413
AT ITER 58 NEW BEST:: SOT 5643 SOS 3407 HAS SOPS 3407 HAS SOUS 2171 HAS SOUPS 2171 WITH SCORE 2174.407
AT ITER 62 NEW BEST:: SOT 5631 SOS 3388 HAS SOPS 3388 HAS SOUS 2155 HAS SOUPS 2155 WITH SCORE 2158.388
AT ITER 72 NEW BEST:: SOT 5621 SOS 3378 HAS SOPS 3378 HAS SOUS 2145 HAS SOUPS 2145 WITH SCORE 2148.378
AT ITER 73 NEW BEST:: SOT 5611 SOS 3339 HAS SOPS 3339 HAS SOUS 2126 HAS SOUPS 2126 WITH SCORE 2129.339
AT ITER 75 NEW BEST:: SOT 5579 SOS 3189 HAS SOPS 3189 HAS SOUS 2052 HAS SOUPS 2052 WITH SCORE 2055.189
AT ITER 76 NEW BEST:: SOT 5562 SOS 3187 HAS SOPS 3187 HAS SOUS 2046 HAS SOUPS 2046 WITH SCORE 2049.187
AT ITER 77 NEW BEST:: SOT 5501 SOS 3184 HAS SOPS 3184 HAS SOUS 2020 HAS SOUPS 2020 WITH SCORE 2023.184
AT ITER 78 NEW BEST:: SOT 5501 SOS 3160 HAS SOPS 3160 HAS SOUS 2020 HAS SOUPS 2020 WITH SCORE 2023.16
AT ITER 80 NEW BEST:: SOT 5505 SOS 3152 HAS SOPS 3152 HAS SOUS 2020 HAS SOUPS 2020 WITH SCORE 2023.152
AT ITER 83 NEW BEST:: SOT 5507 SOS 3107 HAS SOPS 3107 HAS SOUS 2013 HAS SOUPS 2013 WITH SCORE 2016.107
AT ITER 84 NEW BEST:: SOT 5493 SOS 3099 HAS SOPS 3099 HAS SOUS 2005 HAS SOUPS 2005 WITH SCORE 2008.099
AT ITER 90 NEW BEST:: SOT 5497 SOS 3127 HAS SOPS 3127 HAS SOUS 1993 HAS SOUPS 1993 WITH SCORE 1996.127
AT ITER 93 NEW BEST:: SOT 5479 SOS 3091 HAS SOPS 3091 HAS SOUS 1969 HAS SOUPS 1969 WITH SCORE 1972.091
AT ITER 95 NEW BEST:: SOT 5479 SOS 3076 HAS SOPS 3076 HAS SOUS 1969 HAS SOUPS 1969 WITH SCORE 1972.076
AT ITER 96 NEW BEST:: SOT 5462 SOS 3035 HAS SOPS 3035 HAS SOUS 1942 HAS SOUPS 1942 WITH SCORE 1945.035
AT ITER 110 NEW BEST:: SOT 5462 SOS 3035 HAS SOPS 3035 HAS SOUS 1941 HAS SOUPS 1941 WITH SCORE 1944.035
AT ITER 111 NEW BEST:: SOT 5464 SOS 3033 HAS SOPS 3033 HAS SOUS 1937 HAS SOUPS 1937 WITH SCORE 1940.033
AT ITER 115 NEW BEST:: SOT 5461 SOS 3035 HAS SOPS 3035 HAS SOUS 1930 HAS SOUPS 1930 WITH SCORE 1933.035
AT ITER 119 NEW BEST:: SOT 5453 SOS 3005 HAS SOPS 3005 HAS SOUS 1920 HAS SOUPS 1920 WITH SCORE 1923.005
AT ITER 127 NEW BEST:: SOT 5445 SOS 2949 HAS SOPS 2949 HAS SOUS 1886 HAS SOUPS 1886 WITH SCORE 1888.949
AT ITER 136 NEW BEST:: SOT 5441 SOS 2953 HAS SOPS 2953 HAS SOUS 1882 HAS SOUPS 1882 WITH SCORE 1884.953
AT ITER 137 NEW BEST:: SOT 5428 SOS 2958 HAS SOPS 2958 HAS SOUS 1845 HAS SOUPS 1845 WITH SCORE 1847.958
AT ITER 140 NEW BEST:: SOT 5425 SOS 2955 HAS SOPS 2955 HAS SOUS 1845 HAS SOUPS 1845 WITH SCORE 1847.955
AT ITER 141 NEW BEST:: SOT 5421 SOS 2951 HAS SOPS 2951 HAS SOUS 1841 HAS SOUPS 1841 WITH SCORE 1843.951
AT ITER 144 NEW BEST:: SOT 5403 SOS 2885 HAS SOPS 2885 HAS SOUS 1836 HAS SOUPS 1836 WITH SCORE 1838.885
AT ITER 147 NEW BEST:: SOT 5394 SOS 2897 HAS SOPS 2897 HAS SOUS 1834 HAS SOUPS 1834 WITH SCORE 1836.897
AT ITER 149 NEW BEST:: SOT 5435 SOS 2946 HAS SOPS 2946 HAS SOUS 1824 HAS SOUPS 1824 WITH SCORE 1826.946
AT ITER 152 NEW BEST:: SOT 5440 SOS 2948 HAS SOPS 2948 HAS SOUS 1820 HAS SOUPS 1820 WITH SCORE 1822.948
AT ITER 156 NEW BEST:: SOT 5402 SOS 2879 HAS SOPS 2879 HAS SOUS 1771 HAS SOUPS 1771 WITH SCORE 1773.879
AT ITER 162 NEW BEST:: SOT 5402 SOS 2880 HAS SOPS 2880 HAS SOUS 1767 HAS SOUPS 1767 WITH SCORE 1769.88
AT ITER 165 NEW BEST:: SOT 5211 SOS 2689 HAS SOPS 2689 HAS SOUS 1628 HAS SOUPS 1628 WITH SCORE 1630.689
AT ITER 188 NEW BEST:: SOT 5196 SOS 2659 HAS SOPS 2659 HAS SOUS 1607 HAS SOUPS 1607 WITH SCORE 1609.659
AT ITER 193 NEW BEST:: SOT 5196 SOS 2658 HAS SOPS 2658 HAS SOUS 1606 HAS SOUPS 1606 WITH SCORE 1608.658
AT ITER 197 NEW BEST:: SOT 5175 SOS 2635 HAS SOPS 2635 HAS SOUS 1595 HAS SOUPS 1595 WITH SCORE 1597.635
AT ITER 212 NEW BEST:: SOT 5165 SOS 2604 HAS SOPS 2604 HAS SOUS 1585 HAS SOUPS 1585 WITH SCORE 1587.604
AT ITER 220 NEW BEST:: SOT 5131 SOS 2550 HAS SOPS 2550 HAS SOUS 1542 HAS SOUPS 1542 WITH SCORE 1544.55
AT ITER 239 NEW BEST:: SOT 5154 SOS 2559 HAS SOPS 2559 HAS SOUS 1540 HAS SOUPS 1540 WITH SCORE 1542.559
AT ITER 250 NEW BEST:: SOT 5151 SOS 2555 HAS SOPS 2555 HAS SOUS 1538 HAS SOUPS 1538 WITH SCORE 1540.555
AT ITER 256 NEW BEST:: SOT 5151 SOS 2553 HAS SOPS 2553 HAS SOUS 1532 HAS SOUPS 1532 WITH SCORE 1534.553
AT ITER 261 NEW BEST:: SOT 5150 SOS 2549 HAS SOPS 2549 HAS SOUS 1529 HAS SOUPS 1529 WITH SCORE 1531.549
AT ITER 266 NEW BEST:: SOT 5122 SOS 2519 HAS SOPS 2519 HAS SOUS 1526 HAS SOUPS 1526 WITH SCORE 1528.519
AT ITER 284 NEW BEST:: SOT 5112 SOS 2420 HAS SOPS 2420 HAS SOUS 1507 HAS SOUPS 1507 WITH SCORE 1509.42
AT ITER 297 NEW BEST:: SOT 5108 SOS 2416 HAS SOPS 2416 HAS SOUS 1505 HAS SOUPS 1505 WITH SCORE 1507.416
AT ITER 314 NEW BEST:: SOT 5119 SOS 2296 HAS SOPS 2296 HAS SOUS 1487 HAS SOUPS 1487 WITH SCORE 1489.296
AT ITER 317 NEW BEST:: SOT 5123 SOS 2303 HAS SOPS 2303 HAS SOUS 1486 HAS SOUPS 1486 WITH SCORE 1488.303
AT ITER 318 NEW BEST:: SOT 5121 SOS 2299 HAS SOPS 2299 HAS SOUS 1484 HAS SOUPS 1484 WITH SCORE 1486.299
AT ITER 333 NEW BEST:: SOT 5123 SOS 2293 HAS SOPS 2293 HAS SOUS 1481 HAS SOUPS 1481 WITH SCORE 1483.293
AT ITER 368 NEW BEST:: SOT 5107 SOS 2267 HAS SOPS 2267 HAS SOUS 1458 HAS SOUPS 1458 WITH SCORE 1460.267
AT ITER 381 NEW BEST:: SOT 5099 SOS 2201 HAS SOPS 2201 HAS SOUS 1452 HAS SOUPS 1452 WITH SCORE 1454.201
AT ITER 382 NEW BEST:: SOT 5081 SOS 2171 HAS SOPS 2171 HAS SOUS 1414 HAS SOUPS 1414 WITH SCORE 1416.171
AT ITER 383 NEW BEST:: SOT 5070 SOS 2190 HAS SOPS 2190 HAS SOUS 1410 HAS SOUPS 1410 WITH SCORE 1412.19
AT ITER 386 NEW BEST:: SOT 5063 SOS 2182 HAS SOPS 2182 HAS SOUS 1403 HAS SOUPS 1403 WITH SCORE 1405.182
AT ITER 404 NEW BEST:: SOT 5063 SOS 2184 HAS SOPS 2184 HAS SOUS 1402 HAS SOUPS 1402 WITH SCORE 1404.184
AT ITER 422 NEW BEST:: SOT 5063 SOS 2184 HAS SOPS 2184 HAS SOUS 1395 HAS SOUPS 1395 WITH SCORE 1397.184
AT ITER 438 NEW BEST:: SOT 5062 SOS 2182 HAS SOPS 2182 HAS SOUS 1393 HAS SOUPS 1393 WITH SCORE 1395.182
AT ITER 445 NEW BEST:: SOT 5059 SOS 2179 HAS SOPS 2179 HAS SOUS 1391 HAS SOUPS 1391 WITH SCORE 1393.179
AT ITER 462 NEW BEST:: SOT 5059 SOS 2180 HAS SOPS 2180 HAS SOUS 1390 HAS SOUPS 1390 WITH SCORE 1392.18
AT ITER 481 NEW BEST:: SOT 5082 SOS 2191 HAS SOPS 2191 HAS SOUS 1384 HAS SOUPS 1384 WITH SCORE 1386.191
AT ITER 487 NEW BEST:: SOT 5096 SOS 2141 HAS SOPS 2141 HAS SOUS 1370 HAS SOUPS 1370 WITH SCORE 1372.141
AT ITER 493 NEW BEST:: SOT 5097 SOS 2139 HAS SOPS 2139 HAS SOUS 1368 HAS SOUPS 1368 WITH SCORE 1370.139
AT ITER 497 NEW BEST:: SOT 5091 SOS 2141 HAS SOPS 2141 HAS SOUS 1366 HAS SOUPS 1366 WITH SCORE 1368.141
AT ITER 504 NEW BEST:: SOT 5062 SOS 2110 HAS SOPS 2110 HAS SOUS 1353 HAS SOUPS 1353 WITH SCORE 1355.11
AT ITER 515 NEW BEST:: SOT 5047 SOS 2121 HAS SOPS 2121 HAS SOUS 1337 HAS SOUPS 1337 WITH SCORE 1339.121
AT ITER 521 NEW BEST:: SOT 5050 SOS 2070 HAS SOPS 2070 HAS SOUS 1333 HAS SOUPS 1333 WITH SCORE 1335.07
AT ITER 522 NEW BEST:: SOT 5060 SOS 2065 HAS SOPS 2065 HAS SOUS 1328 HAS SOUPS 1328 WITH SCORE 1330.065
AT ITER 530 NEW BEST:: SOT 5057 SOS 2058 HAS SOPS 2058 HAS SOUS 1321 HAS SOUPS 1321 WITH SCORE 1323.058
AT ITER 536 NEW BEST:: SOT 5060 SOS 2055 HAS SOPS 2055 HAS SOUS 1320 HAS SOUPS 1320 WITH SCORE 1322.055
AT ITER 546 NEW BEST:: SOT 5058 SOS 2049 HAS SOPS 2049 HAS SOUS 1314 HAS SOUPS 1314 WITH SCORE 1316.049
AT ITER 556 NEW BEST:: SOT 5052 SOS 2041 HAS SOPS 2041 HAS SOUS 1305 HAS SOUPS 1305 WITH SCORE 1307.041
AT ITER 564 NEW BEST:: SOT 5048 SOS 2035 HAS SOPS 2035 HAS SOUS 1301 HAS SOUPS 1301 WITH SCORE 1303.035
AT ITER 570 NEW BEST:: SOT 5041 SOS 2037 HAS SOPS 2037 HAS SOUS 1294 HAS SOUPS 1294 WITH SCORE 1296.037
AT ITER 573 NEW BEST:: SOT 5012 SOS 1978 HAS SOPS 1978 HAS SOUS 1288 HAS SOUPS 1288 WITH SCORE 1289.978
AT ITER 582 NEW BEST:: SOT 4994 SOS 1966 HAS SOPS 1966 HAS SOUS 1282 HAS SOUPS 1282 WITH SCORE 1283.966
AT ITER 589 NEW BEST:: SOT 4984 SOS 1982 HAS SOPS 1982 HAS SOUS 1272 HAS SOUPS 1272 WITH SCORE 1273.982
AT ITER 597 NEW BEST:: SOT 4944 SOS 1875 HAS SOPS 1875 HAS SOUS 1214 HAS SOUPS 1214 WITH SCORE 1215.875
AT ITER 624 NEW BEST:: SOT 4904 SOS 1874 HAS SOPS 1874 HAS SOUS 1197 HAS SOUPS 1197 WITH SCORE 1198.874
AT ITER 626 NEW BEST:: SOT 4891 SOS 1878 HAS SOPS 1878 HAS SOUS 1186 HAS SOUPS 1186 WITH SCORE 1187.878
AT ITER 634 NEW BEST:: SOT 4893 SOS 1875 HAS SOPS 1875 HAS SOUS 1183 HAS SOUPS 1183 WITH SCORE 1184.875
AT ITER 636 NEW BEST:: SOT 4893 SOS 1869 HAS SOPS 1869 HAS SOUS 1183 HAS SOUPS 1183 WITH SCORE 1184.869
AT ITER 637 NEW BEST:: SOT 4895 SOS 1869 HAS SOPS 1869 HAS SOUS 1180 HAS SOUPS 1180 WITH SCORE 1181.869
AT ITER 680 NEW BEST:: SOT 4897 SOS 1861 HAS SOPS 1861 HAS SOUS 1180 HAS SOUPS 1180 WITH SCORE 1181.861
AT ITER 686 NEW BEST:: SOT 4886 SOS 1835 HAS SOPS 1835 HAS SOUS 1160 HAS SOUPS 1160 WITH SCORE 1161.835
AT ITER 699 NEW BEST:: SOT 4884 SOS 1833 HAS SOPS 1833 HAS SOUS 1158 HAS SOUPS 1158 WITH SCORE 1159.833
AT ITER 701 NEW BEST:: SOT 4880 SOS 1823 HAS SOPS 1823 HAS SOUS 1154 HAS SOUPS 1154 WITH SCORE 1155.823
AT ITER 746 NEW BEST:: SOT 4881 SOS 1831 HAS SOPS 1831 HAS SOUS 1152 HAS SOUPS 1152 WITH SCORE 1153.831
AT ITER 755 NEW BEST:: SOT 4883 SOS 1829 HAS SOPS 1829 HAS SOUS 1141 HAS SOUPS 1141 WITH SCORE 1142.829
AT ITER 785 NEW BEST:: SOT 4876 SOS 1829 HAS SOPS 1829 HAS SOUS 1128 HAS SOUPS 1128 WITH SCORE 1129.829
AT ITER 799 NEW BEST:: SOT 4875 SOS 1825 HAS SOPS 1825 HAS SOUS 1124 HAS SOUPS 1124 WITH SCORE 1125.825
AT ITER 806 NEW BEST:: SOT 4875 SOS 1822 HAS SOPS 1822 HAS SOUS 1123 HAS SOUPS 1123 WITH SCORE 1124.822
AT ITER 807 NEW BEST:: SOT 4873 SOS 1820 HAS SOPS 1820 HAS SOUS 1123 HAS SOUPS 1123 WITH SCORE 1124.82
AT ITER 838 NEW BEST:: SOT 4873 SOS 1819 HAS SOPS 1819 HAS SOUS 1120 HAS SOUPS 1120 WITH SCORE 1121.819
AT ITER 868 NEW BEST:: SOT 4873 SOS 1814 HAS SOPS 1814 HAS SOUS 1120 HAS SOUPS 1120 WITH SCORE 1121.814
AT ITER 872 NEW BEST:: SOT 4881 SOS 1831 HAS SOPS 1831 HAS SOUS 1119 HAS SOUPS 1119 WITH SCORE 1120.831
AT ITER 875 NEW BEST:: SOT 4879 SOS 1829 HAS SOPS 1829 HAS SOUS 1117 HAS SOUPS 1117 WITH SCORE 1118.829
AT ITER 884 NEW BEST:: SOT 4879 SOS 1823 HAS SOPS 1823 HAS SOUS 1117 HAS SOUPS 1117 WITH SCORE 1118.823
AT ITER 914 NEW BEST:: SOT 4879 SOS 1822 HAS SOPS 1822 HAS SOUS 1117 HAS SOUPS 1117 WITH SCORE 1118.822
AT ITER 929 NEW BEST:: SOT 4875 SOS 1814 HAS SOPS 1814 HAS SOUS 1100 HAS SOUPS 1100 WITH SCORE 1101.814
AT ITER 951 NEW BEST:: SOT 4871 SOS 1804 HAS SOPS 1804 HAS SOUS 1092 HAS SOUPS 1092 WITH SCORE 1093.804
AT ITER 957 NEW BEST:: SOT 4859 SOS 1786 HAS SOPS 1786 HAS SOUS 1080 HAS SOUPS 1080 WITH SCORE 1081.786
AT ITER 958 NEW BEST:: SOT 4864 SOS 1796 HAS SOPS 1796 HAS SOUS 1078 HAS SOUPS 1078 WITH SCORE 1079.796
AT ITER 962 NEW BEST:: SOT 4863 SOS 1797 HAS SOPS 1797 HAS SOUS 1077 HAS SOUPS 1077 WITH SCORE 1078.797
AT ITER 966 NEW BEST:: SOT 4861 SOS 1791 HAS SOPS 1791 HAS SOUS 1073 HAS SOUPS 1073 WITH SCORE 1074.791
AT ITER 1009 NEW BEST:: SOT 4861 SOS 1790 HAS SOPS 1790 HAS SOUS 1073 HAS SOUPS 1073 WITH SCORE 1074.79
AT ITER 1012 NEW BEST:: SOT 4862 SOS 1791 HAS SOPS 1791 HAS SOUS 1065 HAS SOUPS 1065 WITH SCORE 1066.791
AT ITER 1015 NEW BEST:: SOT 4849 SOS 1773 HAS SOPS 1773 HAS SOUS 1047 HAS SOUPS 1047 WITH SCORE 1048.773
AT ITER 1033 NEW BEST:: SOT 4838 SOS 1735 HAS SOPS 1735 HAS SOUS 1045 HAS SOUPS 1045 WITH SCORE 1046.735
AT ITER 1034 NEW BEST:: SOT 4847 SOS 1741 HAS SOPS 1741 HAS SOUS 1042 HAS SOUPS 1042 WITH SCORE 1043.741
AT ITER 1050 NEW BEST:: SOT 4847 SOS 1733 HAS SOPS 1733 HAS SOUS 1042 HAS SOUPS 1042 WITH SCORE 1043.733
AT ITER 1080 NEW BEST:: SOT 4846 SOS 1730 HAS SOPS 1730 HAS SOUS 1041 HAS SOUPS 1041 WITH SCORE 1042.73
AT ITER 1128 NEW BEST:: SOT 4845 SOS 1728 HAS SOPS 1728 HAS SOUS 1040 HAS SOUPS 1040 WITH SCORE 1041.728
AT ITER 1129 NEW BEST:: SOT 4844 SOS 1726 HAS SOPS 1726 HAS SOUS 1033 HAS SOUPS 1033 WITH SCORE 1034.726
AT ITER 1148 NEW BEST:: SOT 4847 SOS 1723 HAS SOPS 1723 HAS SOUS 1033 HAS SOUPS 1033 WITH SCORE 1034.723
AT ITER 1165 NEW BEST:: SOT 4851 SOS 1735 HAS SOPS 1735 HAS SOUS 1029 HAS SOUPS 1029 WITH SCORE 1030.735
AT ITER 1169 NEW BEST:: SOT 4861 SOS 1734 HAS SOPS 1734 HAS SOUS 1028 HAS SOUPS 1028 WITH SCORE 1029.734
AT ITER 1185 NEW BEST:: SOT 4854 SOS 1707 HAS SOPS 1707 HAS SOUS 1027 HAS SOUPS 1027 WITH SCORE 1028.707
AT ITER 1211 NEW BEST:: SOT 4852 SOS 1705 HAS SOPS 1705 HAS SOUS 1027 HAS SOUPS 1027 WITH SCORE 1028.705
AT ITER 1224 NEW BEST:: SOT 4851 SOS 1703 HAS SOPS 1703 HAS SOUS 1025 HAS SOUPS 1025 WITH SCORE 1026.703
AT ITER 1263 NEW BEST:: SOT 4852 SOS 1700 HAS SOPS 1700 HAS SOUS 1024 HAS SOUPS 1024 WITH SCORE 1025.7
AT ITER 1277 NEW BEST:: SOT 4852 SOS 1701 HAS SOPS 1701 HAS SOUS 1023 HAS SOUPS 1023 WITH SCORE 1024.701
AT ITER 1305 NEW BEST:: SOT 4850 SOS 1699 HAS SOPS 1699 HAS SOUS 1021 HAS SOUPS 1021 WITH SCORE 1022.699
AT ITER 1323 NEW BEST:: SOT 4831 SOS 1693 HAS SOPS 1693 HAS SOUS 1012 HAS SOUPS 1012 WITH SCORE 1013.693
AT ITER 1379 NEW BEST:: SOT 4839 SOS 1720 HAS SOPS 1720 HAS SOUS 1004 HAS SOUPS 1004 WITH SCORE 1005.72
AT ITER 1382 NEW BEST:: SOT 4839 SOS 1712 HAS SOPS 1712 HAS SOUS 1000 HAS SOUPS 1000 WITH SCORE 1001.712
AT ITER 1386 NEW BEST:: SOT 4843 SOS 1710 HAS SOPS 1710 HAS SOUS 998 HAS SOUPS 998 WITH SCORE 999.71
AT ITER 1409 NEW BEST:: SOT 4841 SOS 1720 HAS SOPS 1720 HAS SOUS 997 HAS SOUPS 997 WITH SCORE 998.72
AT ITER 1420 NEW BEST:: SOT 4839 SOS 1718 HAS SOPS 1718 HAS SOUS 996 HAS SOUPS 996 WITH SCORE 997.718
AT ITER 1514 NEW BEST:: SOT 4837 SOS 1716 HAS SOPS 1716 HAS SOUS 992 HAS SOUPS 992 WITH SCORE 993.716
AT ITER 1567 NEW BEST:: SOT 4835 SOS 1714 HAS SOPS 1714 HAS SOUS 990 HAS SOUPS 990 WITH SCORE 991.714
AT ITER 1620 NEW BEST:: SOT 4835 SOS 1712 HAS SOPS 1712 HAS SOUS 989 HAS SOUPS 989 WITH SCORE 990.712
AT ITER 1641 NEW BEST:: SOT 4831 SOS 1706 HAS SOPS 1706 HAS SOUS 989 HAS SOUPS 989 WITH SCORE 990.706
AT ITER 1685 NEW BEST:: SOT 4832 SOS 1706 HAS SOPS 1706 HAS SOUS 988 HAS SOUPS 988 WITH SCORE 989.706
AT ITER 1699 NEW BEST:: SOT 4828 SOS 1702 HAS SOPS 1702 HAS SOUS 986 HAS SOUPS 986 WITH SCORE 987.702
AT ITER 1723 NEW BEST:: SOT 4826 SOS 1705 HAS SOPS 1705 HAS SOUS 985 HAS SOUPS 985 WITH SCORE 986.705
AT ITER 1757 NEW BEST:: SOT 4826 SOS 1704 HAS SOPS 1704 HAS SOUS 984 HAS SOUPS 984 WITH SCORE 985.704
AT ITER 1758 NEW BEST:: SOT 4825 SOS 1702 HAS SOPS 1702 HAS SOUS 982 HAS SOUPS 982 WITH SCORE 983.702
AT ITER 1773 NEW BEST:: SOT 4820 SOS 1698 HAS SOPS 1698 HAS SOUS 981 HAS SOUPS 981 WITH SCORE 982.698
AT ITER 1827 NEW BEST:: SOT 4816 SOS 1696 HAS SOPS 1696 HAS SOUS 979 HAS SOUPS 979 WITH SCORE 980.696
AT ITER 1873 NEW BEST:: SOT 4796 SOS 1764 HAS SOPS 1764 HAS SOUS 977 HAS SOUPS 977 WITH SCORE 978.764
AT ITER 1957 NEW BEST:: SOT 4796 SOS 1763 HAS SOPS 1763 HAS SOUS 975 HAS SOUPS 975 WITH SCORE 976.763
AT ITER 1962 NEW BEST:: SOT 4795 SOS 1752 HAS SOPS 1752 HAS SOUS 974 HAS SOUPS 974 WITH SCORE 975.752
AT ITER 2077 NEW BEST:: SOT 4813 SOS 1750 HAS SOPS 1750 HAS SOUS 972 HAS SOUPS 972 WITH SCORE 973.75
AT ITER 2121 NEW BEST:: SOT 4812 SOS 1749 HAS SOPS 1749 HAS SOUS 972 HAS SOUPS 972 WITH SCORE 973.749
AT ITER 2298 NEW BEST:: SOT 4812 SOS 1748 HAS SOPS 1748 HAS SOUS 971 HAS SOUPS 971 WITH SCORE 972.748
AT ITER 2378 NEW BEST:: SOT 4810 SOS 1746 HAS SOPS 1746 HAS SOUS 969 HAS SOUPS 969 WITH SCORE 970.746
AT ITER 2573 NEW BEST:: SOT 4782 SOS 1791 HAS SOPS 1791 HAS SOUS 956 HAS SOUPS 956 WITH SCORE 957.791
AT ITER 2579 NEW BEST:: SOT 4782 SOS 1785 HAS SOPS 1785 HAS SOUS 953 HAS SOUPS 953 WITH SCORE 954.785
AT ITER 2606 NEW BEST:: SOT 4782 SOS 1784 HAS SOPS 1784 HAS SOUS 953 HAS SOUPS 953 WITH SCORE 954.784
AT ITER 2658 NEW BEST:: SOT 4780 SOS 1778 HAS SOPS 1778 HAS SOUS 950 HAS SOUPS 950 WITH SCORE 951.778
AT ITER 2709 NEW BEST:: SOT 4768 SOS 1847 HAS SOPS 1847 HAS SOUS 948 HAS SOUPS 948 WITH SCORE 949.847
AT ITER 2720 NEW BEST:: SOT 4764 SOS 1841 HAS SOPS 1841 HAS SOUS 944 HAS SOUPS 944 WITH SCORE 945.841
AT ITER 3096 NEW BEST:: SOT 4765 SOS 1840 HAS SOPS 1840 HAS SOUS 943 HAS SOUPS 943 WITH SCORE 944.84
AT ITER 3122 NEW BEST:: SOT 4762 SOS 1836 HAS SOPS 1836 HAS SOUS 941 HAS SOUPS 941 WITH SCORE 942.836
AT ITER 3207 NEW BEST:: SOT 4762 SOS 1835 HAS SOPS 1835 HAS SOUS 941 HAS SOUPS 941 WITH SCORE 942.835
AT ITER 3382 NEW BEST:: SOT 4765 SOS 1829 HAS SOPS 1829 HAS SOUS 941 HAS SOUPS 941 WITH SCORE 942.829
AT ITER 3429 NEW BEST:: SOT 4764 SOS 1826 HAS SOPS 1826 HAS SOUS 941 HAS SOUPS 941 WITH SCORE 942.826
AT ITER 3501 NEW BEST:: SOT 4758 SOS 1806 HAS SOPS 1806 HAS SOUS 941 HAS SOUPS 941 WITH SCORE 942.806
AT ITER 3502 NEW BEST:: SOT 4757 SOS 1807 HAS SOPS 1807 HAS SOUS 940 HAS SOUPS 940 WITH SCORE 941.807
AT ITER 3520 NEW BEST:: SOT 4756 SOS 1800 HAS SOPS 1800 HAS SOUS 939 HAS SOUPS 939 WITH SCORE 940.8
AT ITER 3588 NEW BEST:: SOT 4758 SOS 1770 HAS SOPS 1770 HAS SOUS 936 HAS SOUPS 936 WITH SCORE 937.77
AT ITER 3599 NEW BEST:: SOT 4758 SOS 1768 HAS SOPS 1768 HAS SOUS 935 HAS SOUPS 935 WITH SCORE 936.768
AT ITER 3612 NEW BEST:: SOT 4760 SOS 1766 HAS SOPS 1766 HAS SOUS 933 HAS SOUPS 933 WITH SCORE 934.766
AT ITER 3772 NEW BEST:: SOT 4760 SOS 1765 HAS SOPS 1765 HAS SOUS 933 HAS SOUPS 933 WITH SCORE 934.765
AT ITER 3847 NEW BEST:: SOT 4754 SOS 1761 HAS SOPS 1761 HAS SOUS 928 HAS SOUPS 928 WITH SCORE 929.761
AT ITER 3859 NEW BEST:: SOT 4755 SOS 1760 HAS SOPS 1760 HAS SOUS 926 HAS SOUPS 926 WITH SCORE 927.76
AT ITER 3904 NEW BEST:: SOT 4755 SOS 1756 HAS SOPS 1756 HAS SOUS 923 HAS SOUPS 923 WITH SCORE 924.756
AT ITER 4125 NEW BEST:: SOT 4755 SOS 1756 HAS SOPS 1756 HAS SOUS 921 HAS SOUPS 921 WITH SCORE 922.756
AT ITER 4128 NEW BEST:: SOT 4748 SOS 1742 HAS SOPS 1742 HAS SOUS 919 HAS SOUPS 919 WITH SCORE 920.742
AT ITER 4187 NEW BEST:: SOT 4746 SOS 1744 HAS SOPS 1744 HAS SOUS 917 HAS SOUPS 917 WITH SCORE 918.744
AT ITER 4228 NEW BEST:: SOT 4743 SOS 1738 HAS SOPS 1738 HAS SOUS 914 HAS SOUPS 914 WITH SCORE 915.738
AT ITER 4279 NEW BEST:: SOT 4749 SOS 1738 HAS SOPS 1738 HAS SOUS 911 HAS SOUPS 911 WITH SCORE 912.738
AT ITER 4435 NEW BEST:: SOT 4751 SOS 1707 HAS SOPS 1707 HAS SOUS 909 HAS SOUPS 909 WITH SCORE 910.707
AT ITER 4460 NEW BEST:: SOT 4753 SOS 1711 HAS SOPS 1711 HAS SOUS 908 HAS SOUPS 908 WITH SCORE 909.711
AT ITER 4540 NEW BEST:: SOT 4742 SOS 1707 HAS SOPS 1707 HAS SOUS 902 HAS SOUPS 902 WITH SCORE 903.707
AT ITER 4673 NEW BEST:: SOT 4740 SOS 1701 HAS SOPS 1701 HAS SOUS 902 HAS SOUPS 902 WITH SCORE 903.701
AT ITER 5009 NEW BEST:: SOT 4739 SOS 1698 HAS SOPS 1698 HAS SOUS 900 HAS SOUPS 900 WITH SCORE 901.698
AT ITER 5292 NEW BEST:: SOT 4735 SOS 1690 HAS SOPS 1690 HAS SOUS 894 HAS SOUPS 894 WITH SCORE 895.69
AT ITER 5814 NEW BEST:: SOT 4725 SOS 1712 HAS SOPS 1712 HAS SOUS 891 HAS SOUPS 891 WITH SCORE 892.712
AT ITER 6034 NEW BEST:: SOT 4726 SOS 1717 HAS SOPS 1717 HAS SOUS 888 HAS SOUPS 888 WITH SCORE 889.717
AT ITER 6221 NEW BEST:: SOT 4725 SOS 1716 HAS SOPS 1716 HAS SOUS 887 HAS SOUPS 887 WITH SCORE 888.716
AT ITER 6240 NEW BEST:: SOT 4722 SOS 1713 HAS SOPS 1713 HAS SOUS 885 HAS SOUPS 885 WITH SCORE 886.713
AT ITER 6783 NEW BEST:: SOT 4722 SOS 1713 HAS SOPS 1713 HAS SOUS 881 HAS SOUPS 881 WITH SCORE 882.713
AT ITER 7249 NEW BEST:: SOT 4724 SOS 1713 HAS SOPS 1713 HAS SOUS 880 HAS SOUPS 880 WITH SCORE 881.713
AT ITER 7302 NEW BEST:: SOT 4718 SOS 1712 HAS SOPS 1712 HAS SOUS 880 HAS SOUPS 880 WITH SCORE 881.712
AT ITER 7430 NEW BEST:: SOT 4714 SOS 1726 HAS SOPS 1726 HAS SOUS 875 HAS SOUPS 875 WITH SCORE 876.726
AT ITER 7497 NEW BEST:: SOT 4713 SOS 1725 HAS SOPS 1725 HAS SOUS 875 HAS SOUPS 875 WITH SCORE 876.725
AT ITER 8015 NEW BEST:: SOT 4713 SOS 1722 HAS SOPS 1722 HAS SOUS 875 HAS SOUPS 875 WITH SCORE 876.722
AT ITER 8136 NEW BEST:: SOT 4712 SOS 1721 HAS SOPS 1721 HAS SOUS 874 HAS SOUPS 874 WITH SCORE 875.721
AT ITER 8137 NEW BEST:: SOT 4710 SOS 1717 HAS SOPS 1717 HAS SOUS 874 HAS SOUPS 874 WITH SCORE 875.717
AT ITER 8453 NEW BEST:: SOT 4709 SOS 1716 HAS SOPS 1716 HAS SOUS 874 HAS SOUPS 874 WITH SCORE 875.716
AT ITER 8818 NEW BEST:: SOT 4709 SOS 1714 HAS SOPS 1714 HAS SOUS 874 HAS SOUPS 874 WITH SCORE 875.714
AT ITER 9342 NEW BEST:: SOT 4709 SOS 1713 HAS SOPS 1713 HAS SOUS 874 HAS SOUPS 874 WITH SCORE 875.713
STATE_SPACE STATES 208341 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 4 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 17 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 1393748 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679310423072

--------------------
content from stderr:

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="UtilityControlRoom-PT-Z2T3N04"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is UtilityControlRoom-PT-Z2T3N04, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r491-tall-167912711401096"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/UtilityControlRoom-PT-Z2T3N04.tgz
mv UtilityControlRoom-PT-Z2T3N04 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;