Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r033-smll-158901925700080.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
....................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is CircularTrains-PT-096, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r033-smll-158901925700080
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 244K
-rw-r--r-- 1 mcc users 4.2K Mar 30 01:01 CTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Mar 30 01:01 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 28 15:18 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 28 15:18 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Apr 8 14:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Apr 8 14:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Mar 27 08:13 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 27 08:13 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Mar 26 07:36 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 26 07:36 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 73K Mar 24 05:37 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 1589049588985

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CircularTrains (PT), instance 096
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 192 places, 96 transitions, 384 arcs.
AT ITER 0 NEW BEST:: SOT 9823 SOS 1118 HAS SOPS 1118 HAS SOUS 1118 HAS SOUPS 1118 WITH SCORE 1119.118
AT ITER 127 NEW BEST:: SOT 9823 SOS 1116 HAS SOPS 1116 HAS SOUS 1116 HAS SOUPS 1116 WITH SCORE 1117.116
AT ITER 150 NEW BEST:: SOT 9823 SOS 1115 HAS SOPS 1115 HAS SOUS 1115 HAS SOUPS 1115 WITH SCORE 1116.115
AT ITER 154 NEW BEST:: SOT 9821 SOS 1114 HAS SOPS 1114 HAS SOUS 1114 HAS SOUPS 1114 WITH SCORE 1115.114
AT ITER 203 NEW BEST:: SOT 9820 SOS 1111 HAS SOPS 1111 HAS SOUS 1111 HAS SOUPS 1111 WITH SCORE 1112.111
AT ITER 245 NEW BEST:: SOT 9819 SOS 1110 HAS SOPS 1110 HAS SOUS 1110 HAS SOUPS 1110 WITH SCORE 1111.11
AT ITER 271 NEW BEST:: SOT 9818 SOS 1108 HAS SOPS 1108 HAS SOUS 1108 HAS SOUPS 1108 WITH SCORE 1109.108
AT ITER 310 NEW BEST:: SOT 9813 SOS 1103 HAS SOPS 1103 HAS SOUS 1103 HAS SOUPS 1103 WITH SCORE 1104.103
AT ITER 480 NEW BEST:: SOT 9813 SOS 1102 HAS SOPS 1102 HAS SOUS 1102 HAS SOUPS 1102 WITH SCORE 1103.102
AT ITER 623 NEW BEST:: SOT 9811 SOS 1099 HAS SOPS 1099 HAS SOUS 1099 HAS SOUPS 1099 WITH SCORE 1100.099
AT ITER 642 NEW BEST:: SOT 9809 SOS 1097 HAS SOPS 1097 HAS SOUS 1097 HAS SOUPS 1097 WITH SCORE 1098.097
AT ITER 765 NEW BEST:: SOT 9809 SOS 1096 HAS SOPS 1096 HAS SOUS 1096 HAS SOUPS 1096 WITH SCORE 1097.096
AT ITER 935 NEW BEST:: SOT 9807 SOS 1092 HAS SOPS 1092 HAS SOUS 1092 HAS SOUPS 1092 WITH SCORE 1093.092
AT ITER 1010 NEW BEST:: SOT 9803 SOS 1091 HAS SOPS 1091 HAS SOUS 1091 HAS SOUPS 1091 WITH SCORE 1092.091
AT ITER 1011 NEW BEST:: SOT 9800 SOS 1087 HAS SOPS 1087 HAS SOUS 1087 HAS SOUPS 1087 WITH SCORE 1088.087
AT ITER 1054 NEW BEST:: SOT 9799 SOS 1084 HAS SOPS 1084 HAS SOUS 1084 HAS SOUPS 1084 WITH SCORE 1085.084
AT ITER 1072 NEW BEST:: SOT 9796 SOS 1081 HAS SOPS 1081 HAS SOUS 1081 HAS SOUPS 1081 WITH SCORE 1082.081
AT ITER 1085 NEW BEST:: SOT 9795 SOS 1080 HAS SOPS 1080 HAS SOUS 1080 HAS SOUPS 1080 WITH SCORE 1081.08
AT ITER 1108 NEW BEST:: SOT 9795 SOS 1079 HAS SOPS 1079 HAS SOUS 1079 HAS SOUPS 1079 WITH SCORE 1080.079
AT ITER 1177 NEW BEST:: SOT 9795 SOS 1077 HAS SOPS 1077 HAS SOUS 1077 HAS SOUPS 1077 WITH SCORE 1078.077
AT ITER 1243 NEW BEST:: SOT 9793 SOS 1073 HAS SOPS 1073 HAS SOUS 1073 HAS SOUPS 1073 WITH SCORE 1074.073
AT ITER 1280 NEW BEST:: SOT 9793 SOS 1072 HAS SOPS 1072 HAS SOUS 1072 HAS SOUPS 1072 WITH SCORE 1073.072
AT ITER 1295 NEW BEST:: SOT 9793 SOS 1070 HAS SOPS 1070 HAS SOUS 1070 HAS SOUPS 1070 WITH SCORE 1071.07
AT ITER 1327 NEW BEST:: SOT 9793 SOS 1067 HAS SOPS 1067 HAS SOUS 1067 HAS SOUPS 1067 WITH SCORE 1068.067
AT ITER 1401 NEW BEST:: SOT 9792 SOS 1066 HAS SOPS 1066 HAS SOUS 1066 HAS SOUPS 1066 WITH SCORE 1067.066
AT ITER 1537 NEW BEST:: SOT 9792 SOS 1064 HAS SOPS 1064 HAS SOUS 1064 HAS SOUPS 1064 WITH SCORE 1065.064
AT ITER 1892 NEW BEST:: SOT 9790 SOS 1062 HAS SOPS 1062 HAS SOUS 1062 HAS SOUPS 1062 WITH SCORE 1063.062
AT ITER 1914 NEW BEST:: SOT 9791 SOS 1061 HAS SOPS 1061 HAS SOUS 1061 HAS SOUPS 1061 WITH SCORE 1062.061
AT ITER 2140 NEW BEST:: SOT 9791 SOS 1057 HAS SOPS 1057 HAS SOUS 1057 HAS SOUPS 1057 WITH SCORE 1058.057
AT ITER 2284 NEW BEST:: SOT 9790 SOS 1056 HAS SOPS 1056 HAS SOUS 1056 HAS SOUPS 1056 WITH SCORE 1057.056
AT ITER 2334 NEW BEST:: SOT 9786 SOS 1053 HAS SOPS 1053 HAS SOUS 1053 HAS SOUPS 1053 WITH SCORE 1054.053
AT ITER 2371 NEW BEST:: SOT 9786 SOS 1049 HAS SOPS 1049 HAS SOUS 1049 HAS SOUPS 1049 WITH SCORE 1050.049
AT ITER 2456 NEW BEST:: SOT 9786 SOS 1047 HAS SOPS 1047 HAS SOUS 1047 HAS SOUPS 1047 WITH SCORE 1048.047
AT ITER 2465 NEW BEST:: SOT 9782 SOS 1043 HAS SOPS 1043 HAS SOUS 1043 HAS SOUPS 1043 WITH SCORE 1044.043
AT ITER 2467 NEW BEST:: SOT 9780 SOS 1041 HAS SOPS 1041 HAS SOUS 1041 HAS SOUPS 1041 WITH SCORE 1042.041
AT ITER 2708 NEW BEST:: SOT 9776 SOS 1035 HAS SOPS 1035 HAS SOUS 1035 HAS SOUPS 1035 WITH SCORE 1036.035
AT ITER 2800 NEW BEST:: SOT 9775 SOS 1033 HAS SOPS 1033 HAS SOUS 1033 HAS SOUPS 1033 WITH SCORE 1034.033
AT ITER 2964 NEW BEST:: SOT 9771 SOS 1030 HAS SOPS 1030 HAS SOUS 1030 HAS SOUPS 1030 WITH SCORE 1031.03
AT ITER 3009 NEW BEST:: SOT 9770 SOS 1028 HAS SOPS 1028 HAS SOUS 1028 HAS SOUPS 1028 WITH SCORE 1029.028
AT ITER 3117 NEW BEST:: SOT 9765 SOS 1024 HAS SOPS 1024 HAS SOUS 1024 HAS SOUPS 1024 WITH SCORE 1025.024
AT ITER 3165 NEW BEST:: SOT 9765 SOS 1023 HAS SOPS 1023 HAS SOUS 1023 HAS SOUPS 1023 WITH SCORE 1024.023
AT ITER 3360 NEW BEST:: SOT 9764 SOS 1022 HAS SOPS 1022 HAS SOUS 1022 HAS SOUPS 1022 WITH SCORE 1023.022
AT ITER 3446 NEW BEST:: SOT 9762 SOS 1021 HAS SOPS 1021 HAS SOUS 1021 HAS SOUPS 1021 WITH SCORE 1022.021
AT ITER 3716 NEW BEST:: SOT 9762 SOS 1019 HAS SOPS 1019 HAS SOUS 1019 HAS SOUPS 1019 WITH SCORE 1020.019
AT ITER 3842 NEW BEST:: SOT 9763 SOS 1018 HAS SOPS 1018 HAS SOUS 1018 HAS SOUPS 1018 WITH SCORE 1019.018
AT ITER 3862 NEW BEST:: SOT 9762 SOS 1016 HAS SOPS 1016 HAS SOUS 1016 HAS SOUPS 1016 WITH SCORE 1017.016
AT ITER 3876 NEW BEST:: SOT 9761 SOS 1012 HAS SOPS 1012 HAS SOUS 1012 HAS SOUPS 1012 WITH SCORE 1013.012
AT ITER 3909 NEW BEST:: SOT 9760 SOS 1011 HAS SOPS 1011 HAS SOUS 1011 HAS SOUPS 1011 WITH SCORE 1012.011
AT ITER 3965 NEW BEST:: SOT 9756 SOS 1010 HAS SOPS 1010 HAS SOUS 1010 HAS SOUPS 1010 WITH SCORE 1011.01
AT ITER 3987 NEW BEST:: SOT 9756 SOS 1009 HAS SOPS 1009 HAS SOUS 1009 HAS SOUPS 1009 WITH SCORE 1010.009
AT ITER 3992 NEW BEST:: SOT 9756 SOS 1008 HAS SOPS 1008 HAS SOUS 1008 HAS SOUPS 1008 WITH SCORE 1009.008
AT ITER 3997 NEW BEST:: SOT 9753 SOS 1004 HAS SOPS 1004 HAS SOUS 1004 HAS SOUPS 1004 WITH SCORE 1005.004
AT ITER 4060 NEW BEST:: SOT 9752 SOS 1003 HAS SOPS 1003 HAS SOUS 1003 HAS SOUPS 1003 WITH SCORE 1004.003
AT ITER 4117 NEW BEST:: SOT 9749 SOS 998 HAS SOPS 998 HAS SOUS 998 HAS SOUPS 998 WITH SCORE 998.998
AT ITER 4126 NEW BEST:: SOT 9748 SOS 996 HAS SOPS 996 HAS SOUS 996 HAS SOUPS 996 WITH SCORE 996.996
AT ITER 4243 NEW BEST:: SOT 9747 SOS 992 HAS SOPS 992 HAS SOUS 992 HAS SOUPS 992 WITH SCORE 992.992
AT ITER 4344 NEW BEST:: SOT 9745 SOS 989 HAS SOPS 989 HAS SOUS 989 HAS SOUPS 989 WITH SCORE 989.989
AT ITER 4516 NEW BEST:: SOT 9745 SOS 987 HAS SOPS 987 HAS SOUS 987 HAS SOUPS 987 WITH SCORE 987.987
AT ITER 4573 NEW BEST:: SOT 9744 SOS 985 HAS SOPS 985 HAS SOUS 985 HAS SOUPS 985 WITH SCORE 985.985
AT ITER 4871 NEW BEST:: SOT 9738 SOS 980 HAS SOPS 980 HAS SOUS 980 HAS SOUPS 980 WITH SCORE 980.98
AT ITER 4957 NEW BEST:: SOT 9738 SOS 978 HAS SOPS 978 HAS SOUS 978 HAS SOUPS 978 WITH SCORE 978.978
AT ITER 4989 NEW BEST:: SOT 9738 SOS 977 HAS SOPS 977 HAS SOUS 977 HAS SOUPS 977 WITH SCORE 977.977
AT ITER 5340 NEW BEST:: SOT 9734 SOS 972 HAS SOPS 972 HAS SOUS 972 HAS SOUPS 972 WITH SCORE 972.972
AT ITER 5349 NEW BEST:: SOT 9734 SOS 971 HAS SOPS 971 HAS SOUS 971 HAS SOUPS 971 WITH SCORE 971.971
AT ITER 5410 NEW BEST:: SOT 9733 SOS 970 HAS SOPS 970 HAS SOUS 970 HAS SOUPS 970 WITH SCORE 970.97
AT ITER 5471 NEW BEST:: SOT 9731 SOS 969 HAS SOPS 969 HAS SOUS 969 HAS SOUPS 969 WITH SCORE 969.969
AT ITER 5538 NEW BEST:: SOT 9729 SOS 967 HAS SOPS 967 HAS SOUS 967 HAS SOUPS 967 WITH SCORE 967.967
AT ITER 5553 NEW BEST:: SOT 9727 SOS 965 HAS SOPS 965 HAS SOUS 965 HAS SOUPS 965 WITH SCORE 965.965
AT ITER 5564 NEW BEST:: SOT 9727 SOS 964 HAS SOPS 964 HAS SOUS 964 HAS SOUPS 964 WITH SCORE 964.964
AT ITER 5639 NEW BEST:: SOT 9726 SOS 962 HAS SOPS 962 HAS SOUS 962 HAS SOUPS 962 WITH SCORE 962.962
AT ITER 5846 NEW BEST:: SOT 9725 SOS 961 HAS SOPS 961 HAS SOUS 961 HAS SOUPS 961 WITH SCORE 961.961
AT ITER 5951 NEW BEST:: SOT 9724 SOS 960 HAS SOPS 960 HAS SOUS 960 HAS SOUPS 960 WITH SCORE 960.96
AT ITER 6225 NEW BEST:: SOT 9722 SOS 959 HAS SOPS 959 HAS SOUS 959 HAS SOUPS 959 WITH SCORE 959.959
AT ITER 6358 NEW BEST:: SOT 9718 SOS 954 HAS SOPS 954 HAS SOUS 954 HAS SOUPS 954 WITH SCORE 954.954
AT ITER 6415 NEW BEST:: SOT 9717 SOS 953 HAS SOPS 953 HAS SOUS 953 HAS SOUPS 953 WITH SCORE 953.953
AT ITER 6416 NEW BEST:: SOT 9717 SOS 952 HAS SOPS 952 HAS SOUS 952 HAS SOUPS 952 WITH SCORE 952.952
AT ITER 6490 NEW BEST:: SOT 9716 SOS 950 HAS SOPS 950 HAS SOUS 950 HAS SOUPS 950 WITH SCORE 950.95
AT ITER 6622 NEW BEST:: SOT 9716 SOS 949 HAS SOPS 949 HAS SOUS 949 HAS SOUPS 949 WITH SCORE 949.949
AT ITER 6750 NEW BEST:: SOT 9713 SOS 947 HAS SOPS 947 HAS SOUS 947 HAS SOUPS 947 WITH SCORE 947.947
AT ITER 6873 NEW BEST:: SOT 9713 SOS 946 HAS SOPS 946 HAS SOUS 946 HAS SOUPS 946 WITH SCORE 946.946
AT ITER 6966 NEW BEST:: SOT 9712 SOS 944 HAS SOPS 944 HAS SOUS 944 HAS SOUPS 944 WITH SCORE 944.944
AT ITER 7042 NEW BEST:: SOT 9712 SOS 943 HAS SOPS 943 HAS SOUS 943 HAS SOUPS 943 WITH SCORE 943.943
AT ITER 7068 NEW BEST:: SOT 9708 SOS 940 HAS SOPS 940 HAS SOUS 940 HAS SOUPS 940 WITH SCORE 940.94
AT ITER 7126 NEW BEST:: SOT 9708 SOS 939 HAS SOPS 939 HAS SOUS 939 HAS SOUPS 939 WITH SCORE 939.939
AT ITER 7207 NEW BEST:: SOT 9708 SOS 938 HAS SOPS 938 HAS SOUS 938 HAS SOUPS 938 WITH SCORE 938.938
AT ITER 7432 NEW BEST:: SOT 9706 SOS 935 HAS SOPS 935 HAS SOUS 935 HAS SOUPS 935 WITH SCORE 935.935
AT ITER 7752 NEW BEST:: SOT 9704 SOS 932 HAS SOPS 932 HAS SOUS 932 HAS SOUPS 932 WITH SCORE 932.932
AT ITER 7836 NEW BEST:: SOT 9704 SOS 931 HAS SOPS 931 HAS SOUS 931 HAS SOUPS 931 WITH SCORE 931.931
AT ITER 7974 NEW BEST:: SOT 9703 SOS 930 HAS SOPS 930 HAS SOUS 930 HAS SOUPS 930 WITH SCORE 930.93
AT ITER 8260 NEW BEST:: SOT 9703 SOS 928 HAS SOPS 928 HAS SOUS 928 HAS SOUPS 928 WITH SCORE 928.928
AT ITER 8483 NEW BEST:: SOT 9702 SOS 927 HAS SOPS 927 HAS SOUS 927 HAS SOUPS 927 WITH SCORE 927.927
AT ITER 8589 NEW BEST:: SOT 9704 SOS 926 HAS SOPS 926 HAS SOUS 926 HAS SOUPS 926 WITH SCORE 926.926
AT ITER 9034 NEW BEST:: SOT 9704 SOS 925 HAS SOPS 925 HAS SOUS 925 HAS SOUPS 925 WITH SCORE 925.925
AT ITER 9775 NEW BEST:: SOT 9703 SOS 924 HAS SOPS 924 HAS SOUS 924 HAS SOUPS 924 WITH SCORE 924.924
STATE_SPACE STATES 2591300278296609652179 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 2 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 96 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 47120820836171502271104 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1589049595249

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

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="CircularTrains-PT-096"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# 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-4028"
echo " Executing tool smart"
echo " Input is CircularTrains-PT-096, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r033-smll-158901925700080"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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