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.r299-tall-167873952800344.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 Planning-PT-none, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r299-tall-167873952800344
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 500K
-rw-r--r-- 1 mcc users 7.2K Feb 26 15:18 CTLCardinality.txt
-rw-r--r-- 1 mcc users 83K Feb 26 15:18 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.9K Feb 26 15:16 CTLFireability.txt
-rw-r--r-- 1 mcc users 72K Feb 26 15:16 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:34 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:34 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 16:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.8K Feb 26 15:20 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 75K Feb 26 15:20 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.8K Feb 26 15:19 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 91K Feb 26 15:19 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:34 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:34 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 56K Mar 5 18:23 model.pnml
-rw-r--r-- 1 mcc users 1 Mar 5 18:23 unfinite

--------------------
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 1679483977871

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=Planning-PT-none
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-22 11:19:39] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-22 11:19:39] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-22 11:19:39] [INFO ] Load time of PNML (sax parser for PT used): 39 ms
[2023-03-22 11:19:39] [INFO ] Transformed 126 places.
[2023-03-22 11:19:39] [INFO ] Transformed 128 transitions.
[2023-03-22 11:19:39] [INFO ] Parsed PT model containing 126 places and 128 transitions and 652 arcs in 100 ms.
[2023-03-22 11:19:39] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 126 places, 128 transitions and 652 arcs took 5 ms.
Total runtime 132 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Planning (PT), instance none
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: 126 places, 128 transitions, 652 arcs.
AT ITER 0 NEW BEST:: SOT 9605 SOS 4091 HAS SOPS 3575 HAS SOUS 3405 HAS SOUPS 3188 WITH SCORE 3192.091
AT ITER 6 NEW BEST:: SOT 9597 SOS 4085 HAS SOPS 3567 HAS SOUS 3397 HAS SOUPS 3180 WITH SCORE 3184.085
AT ITER 15 NEW BEST:: SOT 9594 SOS 4115 HAS SOPS 3597 HAS SOUS 3396 HAS SOUPS 3179 WITH SCORE 3183.115
AT ITER 18 NEW BEST:: SOT 9548 SOS 4055 HAS SOPS 3505 HAS SOUS 3357 HAS SOUPS 3117 WITH SCORE 3121.055
AT ITER 22 NEW BEST:: SOT 9553 SOS 4045 HAS SOPS 3495 HAS SOUS 3342 HAS SOUPS 3102 WITH SCORE 3106.045
AT ITER 37 NEW BEST:: SOT 9527 SOS 4043 HAS SOPS 3443 HAS SOUS 3330 HAS SOUPS 3055 WITH SCORE 3059.043
AT ITER 38 NEW BEST:: SOT 9517 SOS 4057 HAS SOPS 3430 HAS SOUS 3331 HAS SOUPS 3042 WITH SCORE 3046.057
AT ITER 41 NEW BEST:: SOT 9365 SOS 3919 HAS SOPS 3292 HAS SOUS 3192 HAS SOUPS 2903 WITH SCORE 2906.919
AT ITER 57 NEW BEST:: SOT 9365 SOS 3891 HAS SOPS 3264 HAS SOUS 3190 HAS SOUPS 2901 WITH SCORE 2904.891
AT ITER 59 NEW BEST:: SOT 9351 SOS 3905 HAS SOPS 3278 HAS SOUS 3176 HAS SOUPS 2887 WITH SCORE 2890.905
AT ITER 104 NEW BEST:: SOT 9333 SOS 3898 HAS SOPS 3242 HAS SOUS 3149 HAS SOUPS 2851 WITH SCORE 2854.898
AT ITER 115 NEW BEST:: SOT 9333 SOS 3918 HAS SOPS 3262 HAS SOUS 3139 HAS SOUPS 2841 WITH SCORE 2844.918
AT ITER 118 NEW BEST:: SOT 9333 SOS 3918 HAS SOPS 3262 HAS SOUS 3134 HAS SOUPS 2836 WITH SCORE 2839.918
AT ITER 126 NEW BEST:: SOT 9327 SOS 3919 HAS SOPS 3239 HAS SOUS 3126 HAS SOUPS 2819 WITH SCORE 2822.919
AT ITER 132 NEW BEST:: SOT 9319 SOS 3923 HAS SOPS 3233 HAS SOUS 3125 HAS SOUPS 2813 WITH SCORE 2816.923
AT ITER 137 NEW BEST:: SOT 9303 SOS 3939 HAS SOPS 3217 HAS SOUS 3103 HAS SOUPS 2783 WITH SCORE 2786.939
AT ITER 142 NEW BEST:: SOT 9298 SOS 3929 HAS SOPS 3207 HAS SOUS 3098 HAS SOUPS 2778 WITH SCORE 2781.929
AT ITER 202 NEW BEST:: SOT 9297 SOS 3928 HAS SOPS 3201 HAS SOUS 3092 HAS SOUPS 2772 WITH SCORE 2775.928
AT ITER 209 NEW BEST:: SOT 9295 SOS 3917 HAS SOPS 3197 HAS SOUS 3086 HAS SOUPS 2771 WITH SCORE 2774.917
AT ITER 264 NEW BEST:: SOT 9261 SOS 3875 HAS SOPS 3129 HAS SOUS 3031 HAS SOUPS 2703 WITH SCORE 2706.875
AT ITER 268 NEW BEST:: SOT 9191 SOS 3859 HAS SOPS 3059 HAS SOUS 3000 HAS SOUPS 2633 WITH SCORE 2636.859
AT ITER 275 NEW BEST:: SOT 9191 SOS 3859 HAS SOPS 3059 HAS SOUS 2999 HAS SOUPS 2632 WITH SCORE 2635.859
AT ITER 281 NEW BEST:: SOT 9185 SOS 4054 HAS SOPS 3014 HAS SOUS 3029 HAS SOUPS 2625 WITH SCORE 2629.054
AT ITER 284 NEW BEST:: SOT 9173 SOS 4124 HAS SOPS 2990 HAS SOUS 3065 HAS SOUPS 2610 WITH SCORE 2614.124
AT ITER 317 NEW BEST:: SOT 9173 SOS 4128 HAS SOPS 2978 HAS SOUS 3058 HAS SOUPS 2598 WITH SCORE 2602.128
AT ITER 335 NEW BEST:: SOT 9149 SOS 3980 HAS SOPS 2918 HAS SOUS 3010 HAS SOUPS 2550 WITH SCORE 2553.98
AT ITER 360 NEW BEST:: SOT 9149 SOS 3964 HAS SOPS 2918 HAS SOUS 3006 HAS SOUPS 2550 WITH SCORE 2553.964
AT ITER 371 NEW BEST:: SOT 9145 SOS 3960 HAS SOPS 2906 HAS SOUS 2998 HAS SOUPS 2538 WITH SCORE 2541.96
AT ITER 373 NEW BEST:: SOT 9149 SOS 3964 HAS SOPS 2905 HAS SOUS 2997 HAS SOUPS 2537 WITH SCORE 2540.964
AT ITER 374 NEW BEST:: SOT 9138 SOS 3969 HAS SOPS 2896 HAS SOUS 2995 HAS SOUPS 2528 WITH SCORE 2531.969
AT ITER 388 NEW BEST:: SOT 9138 SOS 3969 HAS SOPS 2896 HAS SOUS 2988 HAS SOUPS 2521 WITH SCORE 2524.969
AT ITER 389 NEW BEST:: SOT 9143 SOS 4114 HAS SOPS 2867 HAS SOUS 3009 HAS SOUPS 2496 WITH SCORE 2500.114
AT ITER 392 NEW BEST:: SOT 9141 SOS 4114 HAS SOPS 2865 HAS SOUS 3006 HAS SOUPS 2492 WITH SCORE 2496.114
AT ITER 405 NEW BEST:: SOT 9125 SOS 4148 HAS SOPS 2859 HAS SOUS 2994 HAS SOUPS 2460 WITH SCORE 2464.148
AT ITER 409 NEW BEST:: SOT 9117 SOS 4136 HAS SOPS 2752 HAS SOUS 2991 HAS SOUPS 2438 WITH SCORE 2442.136
AT ITER 411 NEW BEST:: SOT 9115 SOS 4138 HAS SOPS 2754 HAS SOUS 2987 HAS SOUPS 2434 WITH SCORE 2438.138
AT ITER 419 NEW BEST:: SOT 9115 SOS 4097 HAS SOPS 2754 HAS SOUS 2980 HAS SOUPS 2434 WITH SCORE 2438.097
AT ITER 434 NEW BEST:: SOT 9113 SOS 4097 HAS SOPS 2750 HAS SOUS 2980 HAS SOUPS 2432 WITH SCORE 2436.097
AT ITER 439 NEW BEST:: SOT 9112 SOS 4096 HAS SOPS 2748 HAS SOUS 2978 HAS SOUPS 2430 WITH SCORE 2434.096
AT ITER 440 NEW BEST:: SOT 9112 SOS 4085 HAS SOPS 2733 HAS SOUS 2983 HAS SOUPS 2430 WITH SCORE 2434.085
AT ITER 442 NEW BEST:: SOT 9087 SOS 4063 HAS SOPS 2718 HAS SOUS 2968 HAS SOUPS 2415 WITH SCORE 2419.063
AT ITER 459 NEW BEST:: SOT 9086 SOS 4061 HAS SOPS 2716 HAS SOUS 2966 HAS SOUPS 2413 WITH SCORE 2417.061
AT ITER 497 NEW BEST:: SOT 9074 SOS 4050 HAS SOPS 2704 HAS SOUS 2954 HAS SOUPS 2401 WITH SCORE 2405.05
AT ITER 498 NEW BEST:: SOT 9069 SOS 4045 HAS SOPS 2677 HAS SOUS 2938 HAS SOUPS 2374 WITH SCORE 2378.045
AT ITER 504 NEW BEST:: SOT 9069 SOS 4052 HAS SOPS 2677 HAS SOUS 2933 HAS SOUPS 2369 WITH SCORE 2373.052
AT ITER 515 NEW BEST:: SOT 9065 SOS 4048 HAS SOPS 2669 HAS SOUS 2927 HAS SOUPS 2361 WITH SCORE 2365.048
AT ITER 532 NEW BEST:: SOT 9050 SOS 4019 HAS SOPS 2669 HAS SOUS 2844 HAS SOUPS 2349 WITH SCORE 2353.019
AT ITER 533 NEW BEST:: SOT 9050 SOS 4019 HAS SOPS 2669 HAS SOUS 2839 HAS SOUPS 2344 WITH SCORE 2348.019
AT ITER 535 NEW BEST:: SOT 9046 SOS 4007 HAS SOPS 2673 HAS SOUS 2831 HAS SOUPS 2340 WITH SCORE 2344.007
AT ITER 556 NEW BEST:: SOT 9034 SOS 3983 HAS SOPS 2649 HAS SOUS 2813 HAS SOUPS 2322 WITH SCORE 2325.983
AT ITER 566 NEW BEST:: SOT 9030 SOS 3979 HAS SOPS 2640 HAS SOUS 2804 HAS SOUPS 2313 WITH SCORE 2316.979
AT ITER 572 NEW BEST:: SOT 9028 SOS 3979 HAS SOPS 2636 HAS SOUS 2802 HAS SOUPS 2309 WITH SCORE 2312.979
AT ITER 579 NEW BEST:: SOT 9016 SOS 3970 HAS SOPS 2612 HAS SOUS 2778 HAS SOUPS 2285 WITH SCORE 2288.97
AT ITER 655 NEW BEST:: SOT 9012 SOS 3964 HAS SOPS 2606 HAS SOUS 2772 HAS SOUPS 2279 WITH SCORE 2282.964
AT ITER 700 NEW BEST:: SOT 9016 SOS 3970 HAS SOPS 2597 HAS SOUS 2770 HAS SOUPS 2277 WITH SCORE 2280.97
AT ITER 713 NEW BEST:: SOT 9013 SOS 3965 HAS SOPS 2588 HAS SOUS 2764 HAS SOUPS 2271 WITH SCORE 2274.965
AT ITER 717 NEW BEST:: SOT 9012 SOS 3964 HAS SOPS 2586 HAS SOUS 2762 HAS SOUPS 2269 WITH SCORE 2272.964
AT ITER 809 NEW BEST:: SOT 9008 SOS 3941 HAS SOPS 2561 HAS SOUS 2752 HAS SOUPS 2259 WITH SCORE 2262.941
AT ITER 897 NEW BEST:: SOT 9009 SOS 3892 HAS SOPS 2506 HAS SOUS 2750 HAS SOUPS 2257 WITH SCORE 2260.892
AT ITER 914 NEW BEST:: SOT 9009 SOS 3892 HAS SOPS 2494 HAS SOUS 2748 HAS SOUPS 2253 WITH SCORE 2256.892
AT ITER 927 NEW BEST:: SOT 9047 SOS 3973 HAS SOPS 2490 HAS SOUS 2787 HAS SOUPS 2249 WITH SCORE 2252.973
AT ITER 936 NEW BEST:: SOT 9033 SOS 3952 HAS SOPS 2455 HAS SOUS 2752 HAS SOUPS 2214 WITH SCORE 2217.952
AT ITER 944 NEW BEST:: SOT 9033 SOS 3880 HAS SOPS 2455 HAS SOUS 2736 HAS SOUPS 2214 WITH SCORE 2217.88
AT ITER 963 NEW BEST:: SOT 9027 SOS 3848 HAS SOPS 2423 HAS SOUS 2724 HAS SOUPS 2202 WITH SCORE 2205.848
AT ITER 980 NEW BEST:: SOT 9023 SOS 3875 HAS SOPS 2415 HAS SOUS 2725 HAS SOUPS 2197 WITH SCORE 2200.875
AT ITER 983 NEW BEST:: SOT 9017 SOS 3881 HAS SOPS 2409 HAS SOUS 2716 HAS SOUPS 2185 WITH SCORE 2188.881
AT ITER 998 NEW BEST:: SOT 9009 SOS 3873 HAS SOPS 2401 HAS SOUS 2708 HAS SOUPS 2177 WITH SCORE 2180.873
AT ITER 1015 NEW BEST:: SOT 9017 SOS 3836 HAS SOPS 2385 HAS SOUS 2687 HAS SOUPS 2162 WITH SCORE 2165.836
AT ITER 1016 NEW BEST:: SOT 9012 SOS 3918 HAS SOPS 2353 HAS SOUS 2708 HAS SOUPS 2156 WITH SCORE 2159.918
AT ITER 1043 NEW BEST:: SOT 9007 SOS 3913 HAS SOPS 2346 HAS SOUS 2701 HAS SOUPS 2149 WITH SCORE 2152.913
AT ITER 1048 NEW BEST:: SOT 9011 SOS 3923 HAS SOPS 2392 HAS SOUS 2667 HAS SOUPS 2136 WITH SCORE 2139.923
AT ITER 1065 NEW BEST:: SOT 9005 SOS 3915 HAS SOPS 2376 HAS SOUS 2645 HAS SOUPS 2124 WITH SCORE 2127.915
AT ITER 1075 NEW BEST:: SOT 8999 SOS 3909 HAS SOPS 2334 HAS SOUS 2626 HAS SOUPS 2092 WITH SCORE 2095.909
AT ITER 1103 NEW BEST:: SOT 8995 SOS 3905 HAS SOPS 2330 HAS SOUS 2618 HAS SOUPS 2084 WITH SCORE 2087.905
AT ITER 1131 NEW BEST:: SOT 9073 SOS 4788 HAS SOPS 2311 HAS SOUS 2719 HAS SOUPS 2071 WITH SCORE 2075.788
AT ITER 1149 NEW BEST:: SOT 9051 SOS 4730 HAS SOPS 2253 HAS SOUS 2693 HAS SOUPS 2045 WITH SCORE 2049.73
AT ITER 1200 NEW BEST:: SOT 9053 SOS 4727 HAS SOPS 2253 HAS SOUS 2691 HAS SOUPS 2045 WITH SCORE 2049.727
AT ITER 1205 NEW BEST:: SOT 9027 SOS 4714 HAS SOPS 2188 HAS SOUS 2639 HAS SOUPS 1980 WITH SCORE 1984.714
AT ITER 1212 NEW BEST:: SOT 9012 SOS 4699 HAS SOPS 2180 HAS SOUS 2631 HAS SOUPS 1972 WITH SCORE 1976.699
AT ITER 1232 NEW BEST:: SOT 9012 SOS 4693 HAS SOPS 2174 HAS SOUS 2631 HAS SOUPS 1972 WITH SCORE 1976.693
AT ITER 1283 NEW BEST:: SOT 9008 SOS 4679 HAS SOPS 2172 HAS SOUS 2623 HAS SOUPS 1970 WITH SCORE 1974.679
AT ITER 1302 NEW BEST:: SOT 8990 SOS 4657 HAS SOPS 2145 HAS SOUS 2596 HAS SOUPS 1943 WITH SCORE 1947.657
AT ITER 1321 NEW BEST:: SOT 8979 SOS 4634 HAS SOPS 2139 HAS SOUS 2582 HAS SOUPS 1929 WITH SCORE 1933.634
AT ITER 1373 NEW BEST:: SOT 8967 SOS 4634 HAS SOPS 2115 HAS SOUS 2570 HAS SOUPS 1911 WITH SCORE 1915.634
AT ITER 1386 NEW BEST:: SOT 8965 SOS 4640 HAS SOPS 2113 HAS SOUS 2568 HAS SOUPS 1907 WITH SCORE 1911.64
AT ITER 1400 NEW BEST:: SOT 8964 SOS 4643 HAS SOPS 2111 HAS SOUS 2567 HAS SOUPS 1905 WITH SCORE 1909.643
AT ITER 1421 NEW BEST:: SOT 8963 SOS 4641 HAS SOPS 2109 HAS SOUS 2567 HAS SOUPS 1905 WITH SCORE 1909.641
AT ITER 1426 NEW BEST:: SOT 8961 SOS 4638 HAS SOPS 2105 HAS SOUS 2563 HAS SOUPS 1901 WITH SCORE 1905.638
AT ITER 1462 NEW BEST:: SOT 8955 SOS 4636 HAS SOPS 2099 HAS SOUS 2552 HAS SOUPS 1889 WITH SCORE 1893.636
AT ITER 1533 NEW BEST:: SOT 8953 SOS 4632 HAS SOPS 2099 HAS SOUS 2550 HAS SOUPS 1889 WITH SCORE 1893.632
AT ITER 1534 NEW BEST:: SOT 8949 SOS 4628 HAS SOPS 2091 HAS SOUS 2544 HAS SOUPS 1881 WITH SCORE 1885.628
AT ITER 1588 NEW BEST:: SOT 8945 SOS 4624 HAS SOPS 2087 HAS SOUS 2540 HAS SOUPS 1877 WITH SCORE 1881.624
AT ITER 1602 NEW BEST:: SOT 8938 SOS 4617 HAS SOPS 2073 HAS SOUS 2526 HAS SOUPS 1863 WITH SCORE 1867.617
AT ITER 1638 NEW BEST:: SOT 8934 SOS 4613 HAS SOPS 2069 HAS SOUS 2522 HAS SOUPS 1859 WITH SCORE 1863.613
AT ITER 1663 NEW BEST:: SOT 8917 SOS 4596 HAS SOPS 2066 HAS SOUS 2524 HAS SOUPS 1858 WITH SCORE 1862.596
AT ITER 1700 NEW BEST:: SOT 8917 SOS 4599 HAS SOPS 2067 HAS SOUS 2524 HAS SOUPS 1857 WITH SCORE 1861.599
AT ITER 1776 NEW BEST:: SOT 8915 SOS 4595 HAS SOPS 2063 HAS SOUS 2520 HAS SOUPS 1853 WITH SCORE 1857.595
AT ITER 1796 NEW BEST:: SOT 8925 SOS 4615 HAS SOPS 2059 HAS SOUS 2530 HAS SOUPS 1849 WITH SCORE 1853.615
AT ITER 1812 NEW BEST:: SOT 8918 SOS 4606 HAS SOPS 2063 HAS SOUS 2525 HAS SOUPS 1844 WITH SCORE 1848.606
AT ITER 1857 NEW BEST:: SOT 9002 SOS 4716 HAS SOPS 2021 HAS SOUS 2584 HAS SOUPS 1840 WITH SCORE 1844.716
AT ITER 1861 NEW BEST:: SOT 9003 SOS 4717 HAS SOPS 2014 HAS SOUS 2581 HAS SOUPS 1833 WITH SCORE 1837.717
AT ITER 1891 NEW BEST:: SOT 9000 SOS 4714 HAS SOPS 2009 HAS SOUS 2576 HAS SOUPS 1828 WITH SCORE 1832.714
AT ITER 1907 NEW BEST:: SOT 9001 SOS 4715 HAS SOPS 2006 HAS SOUS 2575 HAS SOUPS 1825 WITH SCORE 1829.715
AT ITER 1912 NEW BEST:: SOT 8997 SOS 4707 HAS SOPS 1994 HAS SOUS 2562 HAS SOUPS 1813 WITH SCORE 1817.707
AT ITER 1933 NEW BEST:: SOT 8997 SOS 4707 HAS SOPS 1989 HAS SOUS 2557 HAS SOUPS 1808 WITH SCORE 1812.707
AT ITER 1940 NEW BEST:: SOT 8941 SOS 4646 HAS SOPS 1942 HAS SOUS 2498 HAS SOUPS 1758 WITH SCORE 1762.646
AT ITER 1946 NEW BEST:: SOT 8941 SOS 4644 HAS SOPS 1942 HAS SOUS 2498 HAS SOUPS 1758 WITH SCORE 1762.644
AT ITER 1975 NEW BEST:: SOT 8937 SOS 4640 HAS SOPS 1938 HAS SOUS 2494 HAS SOUPS 1754 WITH SCORE 1758.64
AT ITER 1977 NEW BEST:: SOT 8935 SOS 4638 HAS SOPS 1934 HAS SOUS 2491 HAS SOUPS 1750 WITH SCORE 1754.638
AT ITER 1980 NEW BEST:: SOT 8931 SOS 4656 HAS SOPS 1924 HAS SOUS 2488 HAS SOUPS 1740 WITH SCORE 1744.656
AT ITER 1985 NEW BEST:: SOT 8931 SOS 4660 HAS SOPS 1920 HAS SOUS 2488 HAS SOUPS 1736 WITH SCORE 1740.66
AT ITER 2008 NEW BEST:: SOT 8914 SOS 4649 HAS SOPS 1896 HAS SOUS 2472 HAS SOUPS 1712 WITH SCORE 1716.649
AT ITER 2025 NEW BEST:: SOT 8909 SOS 4644 HAS SOPS 1886 HAS SOUS 2462 HAS SOUPS 1702 WITH SCORE 1706.644
AT ITER 2048 NEW BEST:: SOT 8896 SOS 4631 HAS SOPS 1873 HAS SOUS 2477 HAS SOUPS 1695 WITH SCORE 1699.631
AT ITER 2064 NEW BEST:: SOT 8892 SOS 4622 HAS SOPS 1870 HAS SOUS 2456 HAS SOUPS 1692 WITH SCORE 1696.622
AT ITER 2086 NEW BEST:: SOT 8891 SOS 4621 HAS SOPS 1868 HAS SOUS 2454 HAS SOUPS 1690 WITH SCORE 1694.621
AT ITER 2090 NEW BEST:: SOT 8885 SOS 4657 HAS SOPS 1856 HAS SOUS 2454 HAS SOUPS 1678 WITH SCORE 1682.657
AT ITER 2121 NEW BEST:: SOT 8883 SOS 4649 HAS SOPS 1852 HAS SOUS 2448 HAS SOUPS 1674 WITH SCORE 1678.649
AT ITER 2138 NEW BEST:: SOT 8871 SOS 4637 HAS SOPS 1841 HAS SOUS 2456 HAS SOUPS 1663 WITH SCORE 1667.637
AT ITER 2147 NEW BEST:: SOT 8878 SOS 4647 HAS SOPS 1834 HAS SOUS 2446 HAS SOUPS 1656 WITH SCORE 1660.647
AT ITER 2162 NEW BEST:: SOT 8876 SOS 4645 HAS SOPS 1832 HAS SOUS 2442 HAS SOUPS 1654 WITH SCORE 1658.645
AT ITER 2203 NEW BEST:: SOT 8878 SOS 4649 HAS SOPS 1828 HAS SOUS 2438 HAS SOUPS 1650 WITH SCORE 1654.649
AT ITER 2301 NEW BEST:: SOT 8885 SOS 4664 HAS SOPS 1827 HAS SOUS 2477 HAS SOUPS 1649 WITH SCORE 1653.664
AT ITER 2320 NEW BEST:: SOT 8883 SOS 4662 HAS SOPS 1823 HAS SOUS 2473 HAS SOUPS 1645 WITH SCORE 1649.662
AT ITER 2339 NEW BEST:: SOT 8883 SOS 4661 HAS SOPS 1823 HAS SOUS 2472 HAS SOUPS 1645 WITH SCORE 1649.661
AT ITER 2372 NEW BEST:: SOT 8883 SOS 4705 HAS SOPS 1807 HAS SOUS 2476 HAS SOUPS 1643 WITH SCORE 1647.705
AT ITER 2428 NEW BEST:: SOT 8877 SOS 4687 HAS SOPS 1797 HAS SOUS 2464 HAS SOUPS 1635 WITH SCORE 1639.687
AT ITER 2483 NEW BEST:: SOT 8877 SOS 4642 HAS SOPS 1797 HAS SOUS 2455 HAS SOUPS 1635 WITH SCORE 1639.642
AT ITER 2610 NEW BEST:: SOT 8873 SOS 4638 HAS SOPS 1789 HAS SOUS 2449 HAS SOUPS 1627 WITH SCORE 1631.638
AT ITER 2613 NEW BEST:: SOT 8872 SOS 4632 HAS SOPS 1788 HAS SOUS 2448 HAS SOUPS 1626 WITH SCORE 1630.632
AT ITER 2646 NEW BEST:: SOT 8870 SOS 4630 HAS SOPS 1784 HAS SOUS 2444 HAS SOUPS 1622 WITH SCORE 1626.63
AT ITER 2736 NEW BEST:: SOT 8870 SOS 4630 HAS SOPS 1782 HAS SOUS 2447 HAS SOUPS 1620 WITH SCORE 1624.63
AT ITER 2766 NEW BEST:: SOT 8867 SOS 4623 HAS SOPS 1779 HAS SOUS 2443 HAS SOUPS 1617 WITH SCORE 1621.623
AT ITER 2767 NEW BEST:: SOT 8866 SOS 4619 HAS SOPS 1779 HAS SOUS 2442 HAS SOUPS 1617 WITH SCORE 1621.619
AT ITER 2770 NEW BEST:: SOT 8865 SOS 4617 HAS SOPS 1777 HAS SOUS 2439 HAS SOUPS 1615 WITH SCORE 1619.617
AT ITER 2814 NEW BEST:: SOT 8853 SOS 4596 HAS SOPS 1764 HAS SOUS 2409 HAS SOUPS 1602 WITH SCORE 1606.596
AT ITER 2836 NEW BEST:: SOT 8849 SOS 4589 HAS SOPS 1757 HAS SOUS 2402 HAS SOUPS 1595 WITH SCORE 1599.589
AT ITER 2856 NEW BEST:: SOT 8849 SOS 4589 HAS SOPS 1743 HAS SOUS 2395 HAS SOUPS 1581 WITH SCORE 1585.589
AT ITER 2946 NEW BEST:: SOT 8861 SOS 4613 HAS SOPS 1731 HAS SOUS 2406 HAS SOUPS 1569 WITH SCORE 1573.613
AT ITER 2987 NEW BEST:: SOT 8861 SOS 4611 HAS SOPS 1731 HAS SOUS 2406 HAS SOUPS 1569 WITH SCORE 1573.611
AT ITER 3008 NEW BEST:: SOT 8855 SOS 4661 HAS SOPS 1729 HAS SOUS 2403 HAS SOUPS 1557 WITH SCORE 1561.661
AT ITER 3025 NEW BEST:: SOT 8841 SOS 4641 HAS SOPS 1709 HAS SOUS 2376 HAS SOUPS 1536 WITH SCORE 1540.641
AT ITER 3072 NEW BEST:: SOT 8837 SOS 4653 HAS SOPS 1705 HAS SOUS 2368 HAS SOUPS 1528 WITH SCORE 1532.653
AT ITER 3096 NEW BEST:: SOT 8877 SOS 4943 HAS SOPS 1692 HAS SOUS 2403 HAS SOUPS 1515 WITH SCORE 1519.943
AT ITER 3126 NEW BEST:: SOT 8875 SOS 4931 HAS SOPS 1680 HAS SOUS 2395 HAS SOUPS 1507 WITH SCORE 1511.931
AT ITER 3167 NEW BEST:: SOT 8876 SOS 4933 HAS SOPS 1679 HAS SOUS 2397 HAS SOUPS 1506 WITH SCORE 1510.933
AT ITER 3186 NEW BEST:: SOT 8872 SOS 4929 HAS SOPS 1663 HAS SOUS 2389 HAS SOUPS 1490 WITH SCORE 1494.929
AT ITER 3197 NEW BEST:: SOT 8868 SOS 4925 HAS SOPS 1659 HAS SOUS 2381 HAS SOUPS 1482 WITH SCORE 1486.925
AT ITER 3212 NEW BEST:: SOT 8867 SOS 4924 HAS SOPS 1657 HAS SOUS 2380 HAS SOUPS 1480 WITH SCORE 1484.924
AT ITER 3336 NEW BEST:: SOT 8864 SOS 4919 HAS SOPS 1657 HAS SOUS 2378 HAS SOUPS 1478 WITH SCORE 1482.919
AT ITER 3378 NEW BEST:: SOT 8858 SOS 4913 HAS SOPS 1648 HAS SOUS 2369 HAS SOUPS 1469 WITH SCORE 1473.913
AT ITER 3505 NEW BEST:: SOT 8858 SOS 4911 HAS SOPS 1646 HAS SOUS 2366 HAS SOUPS 1466 WITH SCORE 1470.911
AT ITER 3510 NEW BEST:: SOT 8854 SOS 4905 HAS SOPS 1638 HAS SOUS 2359 HAS SOUPS 1458 WITH SCORE 1462.905
AT ITER 3569 NEW BEST:: SOT 8851 SOS 4901 HAS SOPS 1634 HAS SOUS 2355 HAS SOUPS 1454 WITH SCORE 1458.901
AT ITER 3594 NEW BEST:: SOT 8850 SOS 4901 HAS SOPS 1632 HAS SOUS 2354 HAS SOUPS 1452 WITH SCORE 1456.901
AT ITER 3617 NEW BEST:: SOT 8849 SOS 4901 HAS SOPS 1631 HAS SOUS 2352 HAS SOUPS 1450 WITH SCORE 1454.901
AT ITER 3628 NEW BEST:: SOT 8847 SOS 4898 HAS SOPS 1627 HAS SOUS 2348 HAS SOUPS 1446 WITH SCORE 1450.898
AT ITER 3684 NEW BEST:: SOT 8844 SOS 4895 HAS SOPS 1621 HAS SOUS 2342 HAS SOUPS 1440 WITH SCORE 1444.895
AT ITER 3742 NEW BEST:: SOT 8844 SOS 4893 HAS SOPS 1619 HAS SOUS 2342 HAS SOUPS 1440 WITH SCORE 1444.893
AT ITER 3876 NEW BEST:: SOT 8844 SOS 4885 HAS SOPS 1619 HAS SOUS 2340 HAS SOUPS 1440 WITH SCORE 1444.885
AT ITER 4004 NEW BEST:: SOT 8841 SOS 4882 HAS SOPS 1615 HAS SOUS 2336 HAS SOUPS 1436 WITH SCORE 1440.882
AT ITER 4028 NEW BEST:: SOT 8839 SOS 4882 HAS SOPS 1611 HAS SOUS 2334 HAS SOUPS 1432 WITH SCORE 1436.882
AT ITER 4093 NEW BEST:: SOT 8839 SOS 4874 HAS SOPS 1611 HAS SOUS 2332 HAS SOUPS 1432 WITH SCORE 1436.874
AT ITER 4238 NEW BEST:: SOT 8836 SOS 4871 HAS SOPS 1608 HAS SOUS 2329 HAS SOUPS 1429 WITH SCORE 1433.871
AT ITER 4255 NEW BEST:: SOT 8834 SOS 4867 HAS SOPS 1604 HAS SOUS 2325 HAS SOUPS 1425 WITH SCORE 1429.867
AT ITER 4420 NEW BEST:: SOT 8834 SOS 4867 HAS SOPS 1603 HAS SOUS 2324 HAS SOUPS 1424 WITH SCORE 1428.867
AT ITER 4447 NEW BEST:: SOT 8834 SOS 4859 HAS SOPS 1603 HAS SOUS 2323 HAS SOUPS 1424 WITH SCORE 1428.859
AT ITER 4494 NEW BEST:: SOT 8832 SOS 4856 HAS SOPS 1600 HAS SOUS 2320 HAS SOUPS 1421 WITH SCORE 1425.856
AT ITER 4532 NEW BEST:: SOT 8832 SOS 4852 HAS SOPS 1600 HAS SOUS 2319 HAS SOUPS 1421 WITH SCORE 1425.852
AT ITER 4579 NEW BEST:: SOT 8829 SOS 4849 HAS SOPS 1595 HAS SOUS 2314 HAS SOUPS 1416 WITH SCORE 1420.849
AT ITER 4637 NEW BEST:: SOT 8828 SOS 4848 HAS SOPS 1593 HAS SOUS 2312 HAS SOUPS 1414 WITH SCORE 1418.848
AT ITER 4683 NEW BEST:: SOT 8829 SOS 4852 HAS SOPS 1584 HAS SOUS 2303 HAS SOUPS 1405 WITH SCORE 1409.852
AT ITER 4689 NEW BEST:: SOT 8827 SOS 4849 HAS SOPS 1580 HAS SOUS 2299 HAS SOUPS 1401 WITH SCORE 1405.849
AT ITER 4725 NEW BEST:: SOT 8815 SOS 4875 HAS SOPS 1577 HAS SOUS 2280 HAS SOUPS 1398 WITH SCORE 1402.875
AT ITER 4773 NEW BEST:: SOT 8814 SOS 4873 HAS SOPS 1575 HAS SOUS 2276 HAS SOUPS 1396 WITH SCORE 1400.873
AT ITER 4868 NEW BEST:: SOT 8814 SOS 4831 HAS SOPS 1533 HAS SOUS 2272 HAS SOUPS 1392 WITH SCORE 1396.831
AT ITER 4963 NEW BEST:: SOT 8820 SOS 4817 HAS SOPS 1527 HAS SOUS 2282 HAS SOUPS 1386 WITH SCORE 1390.817
AT ITER 4980 NEW BEST:: SOT 8820 SOS 4813 HAS SOPS 1527 HAS SOUS 2278 HAS SOUPS 1386 WITH SCORE 1390.813
AT ITER 4996 NEW BEST:: SOT 8803 SOS 4790 HAS SOPS 1508 HAS SOUS 2253 HAS SOUPS 1367 WITH SCORE 1371.79
AT ITER 5067 NEW BEST:: SOT 8802 SOS 4789 HAS SOPS 1503 HAS SOUS 2248 HAS SOUPS 1362 WITH SCORE 1366.789
AT ITER 5150 NEW BEST:: SOT 8798 SOS 4787 HAS SOPS 1501 HAS SOUS 2246 HAS SOUPS 1360 WITH SCORE 1364.787
AT ITER 5181 NEW BEST:: SOT 8792 SOS 4775 HAS SOPS 1489 HAS SOUS 2240 HAS SOUPS 1354 WITH SCORE 1358.775
AT ITER 5304 NEW BEST:: SOT 8792 SOS 4763 HAS SOPS 1489 HAS SOUS 2237 HAS SOUPS 1354 WITH SCORE 1358.763
AT ITER 5457 NEW BEST:: SOT 8792 SOS 4927 HAS SOPS 1469 HAS SOUS 2226 HAS SOUPS 1334 WITH SCORE 1338.927
AT ITER 5491 NEW BEST:: SOT 8792 SOS 4926 HAS SOPS 1469 HAS SOUS 2225 HAS SOUPS 1334 WITH SCORE 1338.926
AT ITER 5605 NEW BEST:: SOT 8791 SOS 4922 HAS SOPS 1467 HAS SOUS 2222 HAS SOUPS 1332 WITH SCORE 1336.922
AT ITER 5609 NEW BEST:: SOT 8789 SOS 4920 HAS SOPS 1463 HAS SOUS 2218 HAS SOUPS 1328 WITH SCORE 1332.92
AT ITER 5652 NEW BEST:: SOT 8786 SOS 4917 HAS SOPS 1461 HAS SOUS 2216 HAS SOUPS 1326 WITH SCORE 1330.917
AT ITER 5698 NEW BEST:: SOT 8785 SOS 4915 HAS SOPS 1460 HAS SOUS 2215 HAS SOUPS 1325 WITH SCORE 1329.915
AT ITER 5885 NEW BEST:: SOT 8779 SOS 4912 HAS SOPS 1458 HAS SOUS 2207 HAS SOUPS 1323 WITH SCORE 1327.912
AT ITER 5890 NEW BEST:: SOT 8777 SOS 4910 HAS SOPS 1451 HAS SOUS 2204 HAS SOUPS 1316 WITH SCORE 1320.91
AT ITER 5915 NEW BEST:: SOT 8776 SOS 4915 HAS SOPS 1450 HAS SOUS 2206 HAS SOUPS 1315 WITH SCORE 1319.915
AT ITER 5938 NEW BEST:: SOT 8775 SOS 4913 HAS SOPS 1448 HAS SOUS 2204 HAS SOUPS 1313 WITH SCORE 1317.913
AT ITER 6223 NEW BEST:: SOT 8773 SOS 4913 HAS SOPS 1446 HAS SOUS 2200 HAS SOUPS 1311 WITH SCORE 1315.913
AT ITER 6314 NEW BEST:: SOT 8767 SOS 4907 HAS SOPS 1436 HAS SOUS 2194 HAS SOUPS 1301 WITH SCORE 1305.907
AT ITER 6331 NEW BEST:: SOT 8762 SOS 4895 HAS SOPS 1433 HAS SOUS 2191 HAS SOUPS 1298 WITH SCORE 1302.895
AT ITER 6333 NEW BEST:: SOT 8758 SOS 4893 HAS SOPS 1431 HAS SOUS 2189 HAS SOUPS 1296 WITH SCORE 1300.893
AT ITER 6349 NEW BEST:: SOT 8758 SOS 4889 HAS SOPS 1429 HAS SOUS 2189 HAS SOUPS 1294 WITH SCORE 1298.889
AT ITER 6476 NEW BEST:: SOT 8754 SOS 4885 HAS SOPS 1421 HAS SOUS 2183 HAS SOUPS 1286 WITH SCORE 1290.885
AT ITER 7010 NEW BEST:: SOT 8757 SOS 4883 HAS SOPS 1421 HAS SOUS 2183 HAS SOUPS 1286 WITH SCORE 1290.883
AT ITER 7136 NEW BEST:: SOT 8757 SOS 4879 HAS SOPS 1421 HAS SOUS 2182 HAS SOUPS 1286 WITH SCORE 1290.879
AT ITER 7280 NEW BEST:: SOT 8746 SOS 4868 HAS SOPS 1410 HAS SOUS 2206 HAS SOUPS 1273 WITH SCORE 1277.868
AT ITER 7552 NEW BEST:: SOT 8743 SOS 4865 HAS SOPS 1410 HAS SOUS 2206 HAS SOUPS 1273 WITH SCORE 1277.865
AT ITER 7775 NEW BEST:: SOT 8741 SOS 4862 HAS SOPS 1407 HAS SOUS 2203 HAS SOUPS 1270 WITH SCORE 1274.862
AT ITER 8140 NEW BEST:: SOT 8741 SOS 4862 HAS SOPS 1406 HAS SOUS 2202 HAS SOUPS 1269 WITH SCORE 1273.862
AT ITER 8526 NEW BEST:: SOT 8740 SOS 4860 HAS SOPS 1404 HAS SOUS 2200 HAS SOUPS 1267 WITH SCORE 1271.86
AT ITER 8982 NEW BEST:: SOT 8740 SOS 4856 HAS SOPS 1404 HAS SOUS 2199 HAS SOUPS 1267 WITH SCORE 1271.856
AT ITER 9280 NEW BEST:: SOT 8739 SOS 4857 HAS SOPS 1402 HAS SOUS 2199 HAS SOUPS 1265 WITH SCORE 1269.857
AT ITER 9309 NEW BEST:: SOT 8737 SOS 4855 HAS SOPS 1400 HAS SOUS 2195 HAS SOUPS 1261 WITH SCORE 1265.855
AT ITER 9742 NEW BEST:: SOT 8736 SOS 4853 HAS SOPS 1398 HAS SOUS 2191 HAS SOUPS 1259 WITH SCORE 1263.853
AT ITER 9920 NEW BEST:: SOT 8732 SOS 4845 HAS SOPS 1396 HAS SOUS 2189 HAS SOUPS 1257 WITH SCORE 1261.845
AT ITER 9970 NEW BEST:: SOT 8730 SOS 4841 HAS SOPS 1392 HAS SOUS 2185 HAS SOUPS 1253 WITH SCORE 1257.841

BK_STOP 1679484617446

--------------------
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
ERROR:
Generation failed in Meddly with error code:
Insufficient memory
within model automodel instantiated in file model.sm near line 985
/home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//smart.sh: line 116: 479 Segmentation fault ${SMART}/smart ${INPUT_SM}

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="Planning-PT-none"
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 Planning-PT-none, 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 r299-tall-167873952800344"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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