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.r011-oct2-167813600100384.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 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 AutoFlight-PT-01b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r011-oct2-167813600100384
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 400K
-rw-r--r-- 1 mcc users 7.9K Feb 25 18:06 CTLCardinality.txt
-rw-r--r-- 1 mcc users 90K Feb 25 18:06 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.2K Feb 25 18:05 CTLFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 25 18:05 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 15:31 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 15:31 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 15:31 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:31 LTLFireability.xml
-rw-r--r-- 1 mcc users 6.9K Feb 25 18:07 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 65K Feb 25 18:07 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.2K Feb 25 18:07 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 51K Feb 25 18:07 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:31 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:31 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 26K Mar 5 18:22 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 1678735124763

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=AutoFlight-PT-01b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-13 19:18:46] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-13 19:18:46] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 19:18:46] [INFO ] Load time of PNML (sax parser for PT used): 41 ms
[2023-03-13 19:18:46] [INFO ] Transformed 114 places.
[2023-03-13 19:18:46] [INFO ] Transformed 112 transitions.
[2023-03-13 19:18:46] [INFO ] Found NUPN structural information;
[2023-03-13 19:18:46] [INFO ] Parsed PT model containing 114 places and 112 transitions and 264 arcs in 117 ms.
[2023-03-13 19:18:46] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 114 places, 112 transitions and 264 arcs took 3 ms.
Total runtime 149 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AutoFlight (PT), instance 01b
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: 114 places, 112 transitions, 264 arcs.
AT ITER 0 NEW BEST:: SOT 7091 SOS 2356 HAS SOPS 2356 HAS SOUS 2081 HAS SOUPS 2081 WITH SCORE 2083.356
AT ITER 4 NEW BEST:: SOT 7092 SOS 2340 HAS SOPS 2340 HAS SOUS 2065 HAS SOUPS 2065 WITH SCORE 2067.34
AT ITER 7 NEW BEST:: SOT 7085 SOS 2330 HAS SOPS 2330 HAS SOUS 2058 HAS SOUPS 2058 WITH SCORE 2060.33
AT ITER 12 NEW BEST:: SOT 7065 SOS 2318 HAS SOPS 2318 HAS SOUS 2053 HAS SOUPS 2053 WITH SCORE 2055.318
AT ITER 20 NEW BEST:: SOT 7066 SOS 2318 HAS SOPS 2318 HAS SOUS 2052 HAS SOUPS 2052 WITH SCORE 2054.318
AT ITER 44 NEW BEST:: SOT 7066 SOS 2318 HAS SOPS 2318 HAS SOUS 2051 HAS SOUPS 2051 WITH SCORE 2053.318
AT ITER 54 NEW BEST:: SOT 7064 SOS 2312 HAS SOPS 2312 HAS SOUS 2047 HAS SOUPS 2047 WITH SCORE 2049.312
AT ITER 56 NEW BEST:: SOT 7056 SOS 2304 HAS SOPS 2304 HAS SOUS 2039 HAS SOUPS 2039 WITH SCORE 2041.304
AT ITER 58 NEW BEST:: SOT 7046 SOS 2287 HAS SOPS 2287 HAS SOUS 2022 HAS SOUPS 2022 WITH SCORE 2024.287
AT ITER 64 NEW BEST:: SOT 7038 SOS 2258 HAS SOPS 2258 HAS SOUS 2004 HAS SOUPS 2004 WITH SCORE 2006.258
AT ITER 66 NEW BEST:: SOT 7039 SOS 2240 HAS SOPS 2240 HAS SOUS 1999 HAS SOUPS 1999 WITH SCORE 2001.24
AT ITER 70 NEW BEST:: SOT 7026 SOS 2223 HAS SOPS 2223 HAS SOUS 1984 HAS SOUPS 1984 WITH SCORE 1986.223
AT ITER 74 NEW BEST:: SOT 7025 SOS 2213 HAS SOPS 2213 HAS SOUS 1977 HAS SOUPS 1977 WITH SCORE 1979.213
AT ITER 75 NEW BEST:: SOT 7015 SOS 2193 HAS SOPS 2193 HAS SOUS 1974 HAS SOUPS 1974 WITH SCORE 1976.193
AT ITER 98 NEW BEST:: SOT 7021 SOS 2188 HAS SOPS 2188 HAS SOUS 1969 HAS SOUPS 1969 WITH SCORE 1971.188
AT ITER 105 NEW BEST:: SOT 7018 SOS 2190 HAS SOPS 2190 HAS SOUS 1966 HAS SOUPS 1966 WITH SCORE 1968.19
AT ITER 128 NEW BEST:: SOT 7018 SOS 2185 HAS SOPS 2185 HAS SOUS 1961 HAS SOUPS 1961 WITH SCORE 1963.185
AT ITER 129 NEW BEST:: SOT 7002 SOS 2153 HAS SOPS 2153 HAS SOUS 1959 HAS SOUPS 1959 WITH SCORE 1961.153
AT ITER 134 NEW BEST:: SOT 6997 SOS 2148 HAS SOPS 2148 HAS SOUS 1954 HAS SOUPS 1954 WITH SCORE 1956.148
AT ITER 136 NEW BEST:: SOT 7009 SOS 2158 HAS SOPS 2158 HAS SOUS 1945 HAS SOUPS 1945 WITH SCORE 1947.158
AT ITER 138 NEW BEST:: SOT 7009 SOS 2150 HAS SOPS 2150 HAS SOUS 1945 HAS SOUPS 1945 WITH SCORE 1947.15
AT ITER 142 NEW BEST:: SOT 7007 SOS 2148 HAS SOPS 2148 HAS SOUS 1943 HAS SOUPS 1943 WITH SCORE 1945.148
AT ITER 170 NEW BEST:: SOT 7002 SOS 2119 HAS SOPS 2119 HAS SOUS 1933 HAS SOUPS 1933 WITH SCORE 1935.119
AT ITER 173 NEW BEST:: SOT 6996 SOS 2111 HAS SOPS 2111 HAS SOUS 1925 HAS SOUPS 1925 WITH SCORE 1927.111
AT ITER 177 NEW BEST:: SOT 6996 SOS 2109 HAS SOPS 2109 HAS SOUS 1910 HAS SOUPS 1910 WITH SCORE 1912.109
AT ITER 178 NEW BEST:: SOT 6992 SOS 2113 HAS SOPS 2113 HAS SOUS 1903 HAS SOUPS 1903 WITH SCORE 1905.113
AT ITER 181 NEW BEST:: SOT 6992 SOS 2110 HAS SOPS 2110 HAS SOUS 1902 HAS SOUPS 1902 WITH SCORE 1904.11
AT ITER 195 NEW BEST:: SOT 6996 SOS 2052 HAS SOPS 2052 HAS SOUS 1891 HAS SOUPS 1891 WITH SCORE 1893.052
AT ITER 214 NEW BEST:: SOT 6995 SOS 2050 HAS SOPS 2050 HAS SOUS 1889 HAS SOUPS 1889 WITH SCORE 1891.05
AT ITER 233 NEW BEST:: SOT 6994 SOS 2048 HAS SOPS 2048 HAS SOUS 1887 HAS SOUPS 1887 WITH SCORE 1889.048
AT ITER 237 NEW BEST:: SOT 6983 SOS 2026 HAS SOPS 2026 HAS SOUS 1865 HAS SOUPS 1865 WITH SCORE 1867.026
AT ITER 243 NEW BEST:: SOT 6980 SOS 2020 HAS SOPS 2020 HAS SOUS 1859 HAS SOUPS 1859 WITH SCORE 1861.02
AT ITER 244 NEW BEST:: SOT 6980 SOS 2016 HAS SOPS 2016 HAS SOUS 1859 HAS SOUPS 1859 WITH SCORE 1861.016
AT ITER 246 NEW BEST:: SOT 6977 SOS 2013 HAS SOPS 2013 HAS SOUS 1856 HAS SOUPS 1856 WITH SCORE 1858.013
AT ITER 253 NEW BEST:: SOT 6977 SOS 1995 HAS SOPS 1995 HAS SOUS 1838 HAS SOUPS 1838 WITH SCORE 1839.995
AT ITER 256 NEW BEST:: SOT 6977 SOS 1994 HAS SOPS 1994 HAS SOUS 1837 HAS SOUPS 1837 WITH SCORE 1838.994
AT ITER 261 NEW BEST:: SOT 6976 SOS 1993 HAS SOPS 1993 HAS SOUS 1836 HAS SOUPS 1836 WITH SCORE 1837.993
AT ITER 275 NEW BEST:: SOT 6963 SOS 1967 HAS SOPS 1967 HAS SOUS 1813 HAS SOUPS 1813 WITH SCORE 1814.967
AT ITER 285 NEW BEST:: SOT 6968 SOS 1965 HAS SOPS 1965 HAS SOUS 1811 HAS SOUPS 1811 WITH SCORE 1812.965
AT ITER 313 NEW BEST:: SOT 6968 SOS 1963 HAS SOPS 1963 HAS SOUS 1810 HAS SOUPS 1810 WITH SCORE 1811.963
AT ITER 335 NEW BEST:: SOT 6960 SOS 1947 HAS SOPS 1947 HAS SOUS 1806 HAS SOUPS 1806 WITH SCORE 1807.947
AT ITER 342 NEW BEST:: SOT 6960 SOS 1940 HAS SOPS 1940 HAS SOUS 1799 HAS SOUPS 1799 WITH SCORE 1800.94
AT ITER 359 NEW BEST:: SOT 6957 SOS 1934 HAS SOPS 1934 HAS SOUS 1793 HAS SOUPS 1793 WITH SCORE 1794.934
AT ITER 371 NEW BEST:: SOT 6955 SOS 1930 HAS SOPS 1930 HAS SOUS 1789 HAS SOUPS 1789 WITH SCORE 1790.93
AT ITER 379 NEW BEST:: SOT 6955 SOS 1925 HAS SOPS 1925 HAS SOUS 1784 HAS SOUPS 1784 WITH SCORE 1785.925
AT ITER 437 NEW BEST:: SOT 6947 SOS 1922 HAS SOPS 1922 HAS SOUS 1780 HAS SOUPS 1780 WITH SCORE 1781.922
AT ITER 443 NEW BEST:: SOT 6947 SOS 1868 HAS SOPS 1868 HAS SOUS 1736 HAS SOUPS 1736 WITH SCORE 1737.868
AT ITER 461 NEW BEST:: SOT 6947 SOS 1852 HAS SOPS 1852 HAS SOUS 1720 HAS SOUPS 1720 WITH SCORE 1721.852
AT ITER 503 NEW BEST:: SOT 6947 SOS 1852 HAS SOPS 1852 HAS SOUS 1719 HAS SOUPS 1719 WITH SCORE 1720.852
AT ITER 518 NEW BEST:: SOT 6941 SOS 1846 HAS SOPS 1846 HAS SOUS 1707 HAS SOUPS 1707 WITH SCORE 1708.846
AT ITER 575 NEW BEST:: SOT 6939 SOS 1842 HAS SOPS 1842 HAS SOUS 1703 HAS SOUPS 1703 WITH SCORE 1704.842
AT ITER 578 NEW BEST:: SOT 6934 SOS 1837 HAS SOPS 1837 HAS SOUS 1698 HAS SOUPS 1698 WITH SCORE 1699.837
AT ITER 599 NEW BEST:: SOT 6925 SOS 1819 HAS SOPS 1819 HAS SOUS 1680 HAS SOUPS 1680 WITH SCORE 1681.819
AT ITER 630 NEW BEST:: SOT 6919 SOS 1816 HAS SOPS 1816 HAS SOUS 1677 HAS SOUPS 1677 WITH SCORE 1678.816
AT ITER 640 NEW BEST:: SOT 6919 SOS 1816 HAS SOPS 1816 HAS SOUS 1675 HAS SOUPS 1675 WITH SCORE 1676.816
AT ITER 642 NEW BEST:: SOT 6905 SOS 1788 HAS SOPS 1788 HAS SOUS 1663 HAS SOUPS 1663 WITH SCORE 1664.788
AT ITER 648 NEW BEST:: SOT 6903 SOS 1784 HAS SOPS 1784 HAS SOUS 1659 HAS SOUPS 1659 WITH SCORE 1660.784
AT ITER 654 NEW BEST:: SOT 6899 SOS 1767 HAS SOPS 1767 HAS SOUS 1642 HAS SOUPS 1642 WITH SCORE 1643.767
AT ITER 672 NEW BEST:: SOT 6891 SOS 1734 HAS SOPS 1734 HAS SOUS 1619 HAS SOUPS 1619 WITH SCORE 1620.734
AT ITER 674 NEW BEST:: SOT 6891 SOS 1737 HAS SOPS 1737 HAS SOUS 1616 HAS SOUPS 1616 WITH SCORE 1617.737
AT ITER 710 NEW BEST:: SOT 6893 SOS 1735 HAS SOPS 1735 HAS SOUS 1614 HAS SOUPS 1614 WITH SCORE 1615.735
AT ITER 736 NEW BEST:: SOT 6887 SOS 1723 HAS SOPS 1723 HAS SOUS 1602 HAS SOUPS 1602 WITH SCORE 1603.723
AT ITER 747 NEW BEST:: SOT 6885 SOS 1720 HAS SOPS 1720 HAS SOUS 1600 HAS SOUPS 1600 WITH SCORE 1601.72
AT ITER 749 NEW BEST:: SOT 6882 SOS 1714 HAS SOPS 1714 HAS SOUS 1595 HAS SOUPS 1595 WITH SCORE 1596.714
AT ITER 759 NEW BEST:: SOT 6880 SOS 1714 HAS SOPS 1714 HAS SOUS 1594 HAS SOUPS 1594 WITH SCORE 1595.714
AT ITER 772 NEW BEST:: SOT 6877 SOS 1711 HAS SOPS 1711 HAS SOUS 1590 HAS SOUPS 1590 WITH SCORE 1591.711
AT ITER 781 NEW BEST:: SOT 6872 SOS 1701 HAS SOPS 1701 HAS SOUS 1580 HAS SOUPS 1580 WITH SCORE 1581.701
AT ITER 825 NEW BEST:: SOT 6870 SOS 1697 HAS SOPS 1697 HAS SOUS 1570 HAS SOUPS 1570 WITH SCORE 1571.697
AT ITER 858 NEW BEST:: SOT 6863 SOS 1687 HAS SOPS 1687 HAS SOUS 1560 HAS SOUPS 1560 WITH SCORE 1561.687
AT ITER 886 NEW BEST:: SOT 6862 SOS 1686 HAS SOPS 1686 HAS SOUS 1559 HAS SOUPS 1559 WITH SCORE 1560.686
AT ITER 888 NEW BEST:: SOT 6862 SOS 1686 HAS SOPS 1686 HAS SOUS 1556 HAS SOUPS 1556 WITH SCORE 1557.686
AT ITER 902 NEW BEST:: SOT 6843 SOS 1668 HAS SOPS 1668 HAS SOUS 1531 HAS SOUPS 1531 WITH SCORE 1532.668
AT ITER 907 NEW BEST:: SOT 6843 SOS 1664 HAS SOPS 1664 HAS SOUS 1527 HAS SOUPS 1527 WITH SCORE 1528.664
AT ITER 950 NEW BEST:: SOT 6842 SOS 1662 HAS SOPS 1662 HAS SOUS 1525 HAS SOUPS 1525 WITH SCORE 1526.662
AT ITER 967 NEW BEST:: SOT 6830 SOS 1621 HAS SOPS 1621 HAS SOUS 1501 HAS SOUPS 1501 WITH SCORE 1502.621
AT ITER 968 NEW BEST:: SOT 6830 SOS 1619 HAS SOPS 1619 HAS SOUS 1499 HAS SOUPS 1499 WITH SCORE 1500.619
AT ITER 988 NEW BEST:: SOT 6818 SOS 1604 HAS SOPS 1604 HAS SOUS 1484 HAS SOUPS 1484 WITH SCORE 1485.604
AT ITER 999 NEW BEST:: SOT 6819 SOS 1602 HAS SOPS 1602 HAS SOUS 1482 HAS SOUPS 1482 WITH SCORE 1483.602
AT ITER 1014 NEW BEST:: SOT 6818 SOS 1600 HAS SOPS 1600 HAS SOUS 1481 HAS SOUPS 1481 WITH SCORE 1482.6
AT ITER 1061 NEW BEST:: SOT 6819 SOS 1599 HAS SOPS 1599 HAS SOUS 1480 HAS SOUPS 1480 WITH SCORE 1481.599
AT ITER 1087 NEW BEST:: SOT 6819 SOS 1595 HAS SOPS 1595 HAS SOUS 1478 HAS SOUPS 1478 WITH SCORE 1479.595
AT ITER 1096 NEW BEST:: SOT 6819 SOS 1594 HAS SOPS 1594 HAS SOUS 1477 HAS SOUPS 1477 WITH SCORE 1478.594
AT ITER 1100 NEW BEST:: SOT 6818 SOS 1593 HAS SOPS 1593 HAS SOUS 1476 HAS SOUPS 1476 WITH SCORE 1477.593
AT ITER 1106 NEW BEST:: SOT 6818 SOS 1592 HAS SOPS 1592 HAS SOUS 1475 HAS SOUPS 1475 WITH SCORE 1476.592
AT ITER 1143 NEW BEST:: SOT 6818 SOS 1589 HAS SOPS 1589 HAS SOUS 1472 HAS SOUPS 1472 WITH SCORE 1473.589
AT ITER 1153 NEW BEST:: SOT 6818 SOS 1586 HAS SOPS 1586 HAS SOUS 1470 HAS SOUPS 1470 WITH SCORE 1471.586
AT ITER 1217 NEW BEST:: SOT 6819 SOS 1580 HAS SOPS 1580 HAS SOUS 1465 HAS SOUPS 1465 WITH SCORE 1466.58
AT ITER 1267 NEW BEST:: SOT 6816 SOS 1579 HAS SOPS 1579 HAS SOUS 1465 HAS SOUPS 1465 WITH SCORE 1466.579
AT ITER 1269 NEW BEST:: SOT 6812 SOS 1571 HAS SOPS 1571 HAS SOUS 1462 HAS SOUPS 1462 WITH SCORE 1463.571
AT ITER 1276 NEW BEST:: SOT 6803 SOS 1560 HAS SOPS 1560 HAS SOUS 1451 HAS SOUPS 1451 WITH SCORE 1452.56
AT ITER 1339 NEW BEST:: SOT 6802 SOS 1558 HAS SOPS 1558 HAS SOUS 1449 HAS SOUPS 1449 WITH SCORE 1450.558
AT ITER 1348 NEW BEST:: SOT 6805 SOS 1548 HAS SOPS 1548 HAS SOUS 1448 HAS SOUPS 1448 WITH SCORE 1449.548
AT ITER 1385 NEW BEST:: SOT 6805 SOS 1548 HAS SOPS 1548 HAS SOUS 1447 HAS SOUPS 1447 WITH SCORE 1448.548
AT ITER 1391 NEW BEST:: SOT 6804 SOS 1551 HAS SOPS 1551 HAS SOUS 1446 HAS SOUPS 1446 WITH SCORE 1447.551
AT ITER 1404 NEW BEST:: SOT 6803 SOS 1549 HAS SOPS 1549 HAS SOUS 1444 HAS SOUPS 1444 WITH SCORE 1445.549
AT ITER 1428 NEW BEST:: SOT 6789 SOS 1555 HAS SOPS 1555 HAS SOUS 1433 HAS SOUPS 1433 WITH SCORE 1434.555
AT ITER 1553 NEW BEST:: SOT 6789 SOS 1553 HAS SOPS 1553 HAS SOUS 1433 HAS SOUPS 1433 WITH SCORE 1434.553
AT ITER 1557 NEW BEST:: SOT 6788 SOS 1551 HAS SOPS 1551 HAS SOUS 1432 HAS SOUPS 1432 WITH SCORE 1433.551
AT ITER 1615 NEW BEST:: SOT 6788 SOS 1547 HAS SOPS 1547 HAS SOUS 1432 HAS SOUPS 1432 WITH SCORE 1433.547
AT ITER 1658 NEW BEST:: SOT 6786 SOS 1543 HAS SOPS 1543 HAS SOUS 1431 HAS SOUPS 1431 WITH SCORE 1432.543
AT ITER 1714 NEW BEST:: SOT 6782 SOS 1535 HAS SOPS 1535 HAS SOUS 1423 HAS SOUPS 1423 WITH SCORE 1424.535
AT ITER 1745 NEW BEST:: SOT 6781 SOS 1531 HAS SOPS 1531 HAS SOUS 1421 HAS SOUPS 1421 WITH SCORE 1422.531
AT ITER 1747 NEW BEST:: SOT 6780 SOS 1529 HAS SOPS 1529 HAS SOUS 1421 HAS SOUPS 1421 WITH SCORE 1422.529
AT ITER 1783 NEW BEST:: SOT 6781 SOS 1528 HAS SOPS 1528 HAS SOUS 1420 HAS SOUPS 1420 WITH SCORE 1421.528
AT ITER 1791 NEW BEST:: SOT 6783 SOS 1532 HAS SOPS 1532 HAS SOUS 1406 HAS SOUPS 1406 WITH SCORE 1407.532
AT ITER 1801 NEW BEST:: SOT 6783 SOS 1531 HAS SOPS 1531 HAS SOUS 1406 HAS SOUPS 1406 WITH SCORE 1407.531
AT ITER 1846 NEW BEST:: SOT 6783 SOS 1525 HAS SOPS 1525 HAS SOUS 1400 HAS SOUPS 1400 WITH SCORE 1401.525
AT ITER 1875 NEW BEST:: SOT 6772 SOS 1524 HAS SOPS 1524 HAS SOUS 1399 HAS SOUPS 1399 WITH SCORE 1400.524
AT ITER 1885 NEW BEST:: SOT 6771 SOS 1523 HAS SOPS 1523 HAS SOUS 1398 HAS SOUPS 1398 WITH SCORE 1399.523
AT ITER 1894 NEW BEST:: SOT 6770 SOS 1521 HAS SOPS 1521 HAS SOUS 1396 HAS SOUPS 1396 WITH SCORE 1397.521
AT ITER 1896 NEW BEST:: SOT 6770 SOS 1520 HAS SOPS 1520 HAS SOUS 1396 HAS SOUPS 1396 WITH SCORE 1397.52
AT ITER 1923 NEW BEST:: SOT 6770 SOS 1520 HAS SOPS 1520 HAS SOUS 1395 HAS SOUPS 1395 WITH SCORE 1396.52
AT ITER 1926 NEW BEST:: SOT 6769 SOS 1518 HAS SOPS 1518 HAS SOUS 1393 HAS SOUPS 1393 WITH SCORE 1394.518
AT ITER 1929 NEW BEST:: SOT 6769 SOS 1518 HAS SOPS 1518 HAS SOUS 1389 HAS SOUPS 1389 WITH SCORE 1390.518
AT ITER 2004 NEW BEST:: SOT 6759 SOS 1512 HAS SOPS 1512 HAS SOUS 1383 HAS SOUPS 1383 WITH SCORE 1384.512
AT ITER 2047 NEW BEST:: SOT 6765 SOS 1503 HAS SOPS 1503 HAS SOUS 1374 HAS SOUPS 1374 WITH SCORE 1375.503
AT ITER 2059 NEW BEST:: SOT 6759 SOS 1491 HAS SOPS 1491 HAS SOUS 1362 HAS SOUPS 1362 WITH SCORE 1363.491
AT ITER 2071 NEW BEST:: SOT 6758 SOS 1490 HAS SOPS 1490 HAS SOUS 1361 HAS SOUPS 1361 WITH SCORE 1362.49
AT ITER 2118 NEW BEST:: SOT 6757 SOS 1489 HAS SOPS 1489 HAS SOUS 1360 HAS SOUPS 1360 WITH SCORE 1361.489
AT ITER 2121 NEW BEST:: SOT 6757 SOS 1488 HAS SOPS 1488 HAS SOUS 1360 HAS SOUPS 1360 WITH SCORE 1361.488
AT ITER 2145 NEW BEST:: SOT 6754 SOS 1482 HAS SOPS 1482 HAS SOUS 1358 HAS SOUPS 1358 WITH SCORE 1359.482
AT ITER 2198 NEW BEST:: SOT 6754 SOS 1477 HAS SOPS 1477 HAS SOUS 1353 HAS SOUPS 1353 WITH SCORE 1354.477
AT ITER 2229 NEW BEST:: SOT 6756 SOS 1472 HAS SOPS 1472 HAS SOUS 1348 HAS SOUPS 1348 WITH SCORE 1349.472
AT ITER 2240 NEW BEST:: SOT 6756 SOS 1465 HAS SOPS 1465 HAS SOUS 1341 HAS SOUPS 1341 WITH SCORE 1342.465
AT ITER 2291 NEW BEST:: SOT 6760 SOS 1464 HAS SOPS 1464 HAS SOUS 1340 HAS SOUPS 1340 WITH SCORE 1341.464
AT ITER 2378 NEW BEST:: SOT 6760 SOS 1459 HAS SOPS 1459 HAS SOUS 1335 HAS SOUPS 1335 WITH SCORE 1336.459
AT ITER 2469 NEW BEST:: SOT 6759 SOS 1453 HAS SOPS 1453 HAS SOUS 1329 HAS SOUPS 1329 WITH SCORE 1330.453
AT ITER 2520 NEW BEST:: SOT 6757 SOS 1452 HAS SOPS 1452 HAS SOUS 1328 HAS SOUPS 1328 WITH SCORE 1329.452
AT ITER 2574 NEW BEST:: SOT 6756 SOS 1451 HAS SOPS 1451 HAS SOUS 1328 HAS SOUPS 1328 WITH SCORE 1329.451
AT ITER 2593 NEW BEST:: SOT 6753 SOS 1445 HAS SOPS 1445 HAS SOUS 1326 HAS SOUPS 1326 WITH SCORE 1327.445
AT ITER 2604 NEW BEST:: SOT 6754 SOS 1438 HAS SOPS 1438 HAS SOUS 1326 HAS SOUPS 1326 WITH SCORE 1327.438
AT ITER 2650 NEW BEST:: SOT 6754 SOS 1441 HAS SOPS 1441 HAS SOUS 1325 HAS SOUPS 1325 WITH SCORE 1326.441
AT ITER 2657 NEW BEST:: SOT 6747 SOS 1441 HAS SOPS 1441 HAS SOUS 1320 HAS SOUPS 1320 WITH SCORE 1321.441
AT ITER 2659 NEW BEST:: SOT 6746 SOS 1439 HAS SOPS 1439 HAS SOUS 1318 HAS SOUPS 1318 WITH SCORE 1319.439
AT ITER 2674 NEW BEST:: SOT 6746 SOS 1437 HAS SOPS 1437 HAS SOUS 1316 HAS SOUPS 1316 WITH SCORE 1317.437
AT ITER 2738 NEW BEST:: SOT 6747 SOS 1439 HAS SOPS 1439 HAS SOUS 1314 HAS SOUPS 1314 WITH SCORE 1315.439
AT ITER 2749 NEW BEST:: SOT 6747 SOS 1437 HAS SOPS 1437 HAS SOUS 1313 HAS SOUPS 1313 WITH SCORE 1314.437
AT ITER 2759 NEW BEST:: SOT 6744 SOS 1434 HAS SOPS 1434 HAS SOUS 1310 HAS SOUPS 1310 WITH SCORE 1311.434
AT ITER 2821 NEW BEST:: SOT 6741 SOS 1430 HAS SOPS 1430 HAS SOUS 1306 HAS SOUPS 1306 WITH SCORE 1307.43
AT ITER 2823 NEW BEST:: SOT 6738 SOS 1428 HAS SOPS 1428 HAS SOUS 1303 HAS SOUPS 1303 WITH SCORE 1304.428
AT ITER 2927 NEW BEST:: SOT 6737 SOS 1426 HAS SOPS 1426 HAS SOUS 1301 HAS SOUPS 1301 WITH SCORE 1302.426
AT ITER 2940 NEW BEST:: SOT 6736 SOS 1421 HAS SOPS 1421 HAS SOUS 1296 HAS SOUPS 1296 WITH SCORE 1297.421
AT ITER 3060 NEW BEST:: SOT 6736 SOS 1420 HAS SOPS 1420 HAS SOUS 1296 HAS SOUPS 1296 WITH SCORE 1297.42
AT ITER 3074 NEW BEST:: SOT 6734 SOS 1416 HAS SOPS 1416 HAS SOUS 1292 HAS SOUPS 1292 WITH SCORE 1293.416
AT ITER 3095 NEW BEST:: SOT 6733 SOS 1415 HAS SOPS 1415 HAS SOUS 1291 HAS SOUPS 1291 WITH SCORE 1292.415
AT ITER 3107 NEW BEST:: SOT 6732 SOS 1413 HAS SOPS 1413 HAS SOUS 1289 HAS SOUPS 1289 WITH SCORE 1290.413
AT ITER 3155 NEW BEST:: SOT 6731 SOS 1419 HAS SOPS 1419 HAS SOUS 1288 HAS SOUPS 1288 WITH SCORE 1289.419
AT ITER 3178 NEW BEST:: SOT 6728 SOS 1412 HAS SOPS 1412 HAS SOUS 1281 HAS SOUPS 1281 WITH SCORE 1282.412
AT ITER 3205 NEW BEST:: SOT 6727 SOS 1410 HAS SOPS 1410 HAS SOUS 1280 HAS SOUPS 1280 WITH SCORE 1281.41
AT ITER 3218 NEW BEST:: SOT 6728 SOS 1407 HAS SOPS 1407 HAS SOUS 1274 HAS SOUPS 1274 WITH SCORE 1275.407
AT ITER 3227 NEW BEST:: SOT 6728 SOS 1404 HAS SOPS 1404 HAS SOUS 1271 HAS SOUPS 1271 WITH SCORE 1272.404
AT ITER 3284 NEW BEST:: SOT 6726 SOS 1400 HAS SOPS 1400 HAS SOUS 1270 HAS SOUPS 1270 WITH SCORE 1271.4
AT ITER 3333 NEW BEST:: SOT 6726 SOS 1398 HAS SOPS 1398 HAS SOUS 1266 HAS SOUPS 1266 WITH SCORE 1267.398
AT ITER 3339 NEW BEST:: SOT 6721 SOS 1388 HAS SOPS 1388 HAS SOUS 1255 HAS SOUPS 1255 WITH SCORE 1256.388
AT ITER 3361 NEW BEST:: SOT 6723 SOS 1386 HAS SOPS 1386 HAS SOUS 1254 HAS SOUPS 1254 WITH SCORE 1255.386
AT ITER 3485 NEW BEST:: SOT 6723 SOS 1386 HAS SOPS 1386 HAS SOUS 1253 HAS SOUPS 1253 WITH SCORE 1254.386
AT ITER 3702 NEW BEST:: SOT 6724 SOS 1384 HAS SOPS 1384 HAS SOUS 1253 HAS SOUPS 1253 WITH SCORE 1254.384
AT ITER 3742 NEW BEST:: SOT 6724 SOS 1384 HAS SOPS 1384 HAS SOUS 1252 HAS SOUPS 1252 WITH SCORE 1253.384
AT ITER 3809 NEW BEST:: SOT 6724 SOS 1383 HAS SOPS 1383 HAS SOUS 1251 HAS SOUPS 1251 WITH SCORE 1252.383
AT ITER 3917 NEW BEST:: SOT 6723 SOS 1381 HAS SOPS 1381 HAS SOUS 1249 HAS SOUPS 1249 WITH SCORE 1250.381
AT ITER 4075 NEW BEST:: SOT 6722 SOS 1363 HAS SOPS 1363 HAS SOUS 1247 HAS SOUPS 1247 WITH SCORE 1248.363
AT ITER 4150 NEW BEST:: SOT 6721 SOS 1361 HAS SOPS 1361 HAS SOUS 1245 HAS SOUPS 1245 WITH SCORE 1246.361
AT ITER 4202 NEW BEST:: SOT 6721 SOS 1361 HAS SOPS 1361 HAS SOUS 1244 HAS SOUPS 1244 WITH SCORE 1245.361
AT ITER 4212 NEW BEST:: SOT 6721 SOS 1360 HAS SOPS 1360 HAS SOUS 1244 HAS SOUPS 1244 WITH SCORE 1245.36
AT ITER 4239 NEW BEST:: SOT 6719 SOS 1356 HAS SOPS 1356 HAS SOUS 1240 HAS SOUPS 1240 WITH SCORE 1241.356
AT ITER 4295 NEW BEST:: SOT 6719 SOS 1352 HAS SOPS 1352 HAS SOUS 1236 HAS SOUPS 1236 WITH SCORE 1237.352
AT ITER 4308 NEW BEST:: SOT 6719 SOS 1350 HAS SOPS 1350 HAS SOUS 1234 HAS SOUPS 1234 WITH SCORE 1235.35
AT ITER 4374 NEW BEST:: SOT 6718 SOS 1348 HAS SOPS 1348 HAS SOUS 1233 HAS SOUPS 1233 WITH SCORE 1234.348
AT ITER 4395 NEW BEST:: SOT 6710 SOS 1346 HAS SOPS 1346 HAS SOUS 1223 HAS SOUPS 1223 WITH SCORE 1224.346
AT ITER 4422 NEW BEST:: SOT 6709 SOS 1343 HAS SOPS 1343 HAS SOUS 1221 HAS SOUPS 1221 WITH SCORE 1222.343
AT ITER 4425 NEW BEST:: SOT 6709 SOS 1342 HAS SOPS 1342 HAS SOUS 1220 HAS SOUPS 1220 WITH SCORE 1221.342
AT ITER 4474 NEW BEST:: SOT 6708 SOS 1339 HAS SOPS 1339 HAS SOUS 1217 HAS SOUPS 1217 WITH SCORE 1218.339
AT ITER 4545 NEW BEST:: SOT 6708 SOS 1338 HAS SOPS 1338 HAS SOUS 1217 HAS SOUPS 1217 WITH SCORE 1218.338
AT ITER 4587 NEW BEST:: SOT 6707 SOS 1337 HAS SOPS 1337 HAS SOUS 1216 HAS SOUPS 1216 WITH SCORE 1217.337
AT ITER 4597 NEW BEST:: SOT 6706 SOS 1335 HAS SOPS 1335 HAS SOUS 1215 HAS SOUPS 1215 WITH SCORE 1216.335
AT ITER 5037 NEW BEST:: SOT 6704 SOS 1331 HAS SOPS 1331 HAS SOUS 1214 HAS SOUPS 1214 WITH SCORE 1215.331
AT ITER 5041 NEW BEST:: SOT 6704 SOS 1331 HAS SOPS 1331 HAS SOUS 1212 HAS SOUPS 1212 WITH SCORE 1213.331
AT ITER 5079 NEW BEST:: SOT 6703 SOS 1327 HAS SOPS 1327 HAS SOUS 1210 HAS SOUPS 1210 WITH SCORE 1211.327
AT ITER 5141 NEW BEST:: SOT 6703 SOS 1325 HAS SOPS 1325 HAS SOUS 1210 HAS SOUPS 1210 WITH SCORE 1211.325
AT ITER 5204 NEW BEST:: SOT 6702 SOS 1323 HAS SOPS 1323 HAS SOUS 1208 HAS SOUPS 1208 WITH SCORE 1209.323
AT ITER 5241 NEW BEST:: SOT 6698 SOS 1313 HAS SOPS 1313 HAS SOUS 1198 HAS SOUPS 1198 WITH SCORE 1199.313
AT ITER 5369 NEW BEST:: SOT 6697 SOS 1311 HAS SOPS 1311 HAS SOUS 1196 HAS SOUPS 1196 WITH SCORE 1197.311
AT ITER 5394 NEW BEST:: SOT 6697 SOS 1310 HAS SOPS 1310 HAS SOUS 1196 HAS SOUPS 1196 WITH SCORE 1197.31
AT ITER 5401 NEW BEST:: SOT 6696 SOS 1308 HAS SOPS 1308 HAS SOUS 1194 HAS SOUPS 1194 WITH SCORE 1195.308
AT ITER 5885 NEW BEST:: SOT 6693 SOS 1302 HAS SOPS 1302 HAS SOUS 1187 HAS SOUPS 1187 WITH SCORE 1188.302
AT ITER 5988 NEW BEST:: SOT 6693 SOS 1301 HAS SOPS 1301 HAS SOUS 1186 HAS SOUPS 1186 WITH SCORE 1187.301
AT ITER 6070 NEW BEST:: SOT 6692 SOS 1299 HAS SOPS 1299 HAS SOUS 1184 HAS SOUPS 1184 WITH SCORE 1185.299
AT ITER 6104 NEW BEST:: SOT 6691 SOS 1315 HAS SOPS 1315 HAS SOUS 1182 HAS SOUPS 1182 WITH SCORE 1183.315
AT ITER 6107 NEW BEST:: SOT 6691 SOS 1309 HAS SOPS 1309 HAS SOUS 1182 HAS SOUPS 1182 WITH SCORE 1183.309
AT ITER 6336 NEW BEST:: SOT 6690 SOS 1306 HAS SOPS 1306 HAS SOUS 1179 HAS SOUPS 1179 WITH SCORE 1180.306
AT ITER 6498 NEW BEST:: SOT 6689 SOS 1304 HAS SOPS 1304 HAS SOUS 1177 HAS SOUPS 1177 WITH SCORE 1178.304
AT ITER 6635 NEW BEST:: SOT 6683 SOS 1292 HAS SOPS 1292 HAS SOUS 1170 HAS SOUPS 1170 WITH SCORE 1171.292
AT ITER 6661 NEW BEST:: SOT 6682 SOS 1290 HAS SOPS 1290 HAS SOUS 1168 HAS SOUPS 1168 WITH SCORE 1169.29
AT ITER 6902 NEW BEST:: SOT 6683 SOS 1282 HAS SOPS 1282 HAS SOUS 1168 HAS SOUPS 1168 WITH SCORE 1169.282
AT ITER 7109 NEW BEST:: SOT 6684 SOS 1284 HAS SOPS 1284 HAS SOUS 1167 HAS SOUPS 1167 WITH SCORE 1168.284
AT ITER 7915 NEW BEST:: SOT 6684 SOS 1283 HAS SOPS 1283 HAS SOUS 1167 HAS SOUPS 1167 WITH SCORE 1168.283
AT ITER 8135 NEW BEST:: SOT 6683 SOS 1279 HAS SOPS 1279 HAS SOUS 1163 HAS SOUPS 1163 WITH SCORE 1164.279
AT ITER 8182 NEW BEST:: SOT 6683 SOS 1275 HAS SOPS 1275 HAS SOUS 1161 HAS SOUPS 1161 WITH SCORE 1162.275
AT ITER 8524 NEW BEST:: SOT 6683 SOS 1274 HAS SOPS 1274 HAS SOUS 1160 HAS SOUPS 1160 WITH SCORE 1161.274
AT ITER 8894 NEW BEST:: SOT 6682 SOS 1272 HAS SOPS 1272 HAS SOUS 1158 HAS SOUPS 1158 WITH SCORE 1159.272
AT ITER 9024 NEW BEST:: SOT 6681 SOS 1270 HAS SOPS 1270 HAS SOUS 1156 HAS SOUPS 1156 WITH SCORE 1157.27
AT ITER 9041 NEW BEST:: SOT 6680 SOS 1269 HAS SOPS 1269 HAS SOUS 1155 HAS SOUPS 1155 WITH SCORE 1156.269
AT ITER 9145 NEW BEST:: SOT 6680 SOS 1265 HAS SOPS 1265 HAS SOUS 1155 HAS SOUPS 1155 WITH SCORE 1156.265
AT ITER 9197 NEW BEST:: SOT 6677 SOS 1269 HAS SOPS 1269 HAS SOUS 1154 HAS SOUPS 1154 WITH SCORE 1155.269
AT ITER 9246 NEW BEST:: SOT 6674 SOS 1263 HAS SOPS 1263 HAS SOUS 1148 HAS SOUPS 1148 WITH SCORE 1149.263
AT ITER 9579 NEW BEST:: SOT 6674 SOS 1262 HAS SOPS 1262 HAS SOUS 1147 HAS SOUPS 1147 WITH SCORE 1148.262
AT ITER 9650 NEW BEST:: SOT 6674 SOS 1262 HAS SOPS 1262 HAS SOUS 1146 HAS SOUPS 1146 WITH SCORE 1147.262
STATE_SPACE STATES 48881955 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 9 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 354421862 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678735129526

--------------------
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//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
++ perl -pe 's/.*\.//g'
+ 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="AutoFlight-PT-01b"
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 AutoFlight-PT-01b, 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 r011-oct2-167813600100384"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/AutoFlight-PT-01b.tgz
mv AutoFlight-PT-01b 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 ;