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.r107-tall-167814483900208.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 DBSingleClientW-PT-d0m07, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r107-tall-167814483900208
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 572K
-rw-r--r-- 1 mcc users 5.3K Feb 26 15:32 CTLCardinality.txt
-rw-r--r-- 1 mcc users 48K Feb 26 15:32 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.1K Feb 26 15:31 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 26 15:31 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 15:48 LTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Feb 25 15:48 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:48 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:48 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 26 15:33 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 140K Feb 26 15:33 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 26 15:32 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 103K Feb 26 15:32 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:48 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:48 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 119K 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 1678344476998

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=DBSingleClientW-PT-d0m07
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 06:47:58] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 06:47:58] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 06:47:58] [INFO ] Load time of PNML (sax parser for PT used): 52 ms
[2023-03-09 06:47:58] [INFO ] Transformed 553 places.
[2023-03-09 06:47:58] [INFO ] Transformed 150 transitions.
[2023-03-09 06:47:58] [INFO ] Parsed PT model containing 553 places and 150 transitions and 600 arcs in 111 ms.
[2023-03-09 06:47:58] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 553 places, 150 transitions and 600 arcs took 7 ms.
Total runtime 145 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DBSingleClientW (PT), instance d0m07
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: 553 places, 150 transitions, 600 arcs.
AT ITER 0 NEW BEST:: SOT 15880 SOS 14273 HAS SOPS 14254 HAS SOUS 10183 HAS SOUPS 10164 WITH SCORE 10178.273
AT ITER 2 NEW BEST:: SOT 15896 SOS 14264 HAS SOPS 14245 HAS SOUS 10123 HAS SOUPS 10104 WITH SCORE 10118.264
AT ITER 153 NEW BEST:: SOT 15953 SOS 14321 HAS SOPS 14302 HAS SOUS 10092 HAS SOUPS 10073 WITH SCORE 10087.321
AT ITER 204 NEW BEST:: SOT 15953 SOS 14321 HAS SOPS 14302 HAS SOUS 10091 HAS SOUPS 10072 WITH SCORE 10086.321
AT ITER 357 NEW BEST:: SOT 15971 SOS 14339 HAS SOPS 14320 HAS SOUS 10058 HAS SOUPS 10039 WITH SCORE 10053.339
AT ITER 432 NEW BEST:: SOT 15971 SOS 14339 HAS SOPS 14320 HAS SOUS 10056 HAS SOUPS 10037 WITH SCORE 10051.339
AT ITER 486 NEW BEST:: SOT 9798 SOS 9278 HAS SOPS 8253 HAS SOUS 3942 HAS SOUPS 3836 WITH SCORE 3845.278
AT ITER 561 NEW BEST:: SOT 9769 SOS 9249 HAS SOPS 8206 HAS SOUS 3906 HAS SOUPS 3800 WITH SCORE 3809.249
AT ITER 593 NEW BEST:: SOT 9756 SOS 9236 HAS SOPS 8193 HAS SOUS 3906 HAS SOUPS 3800 WITH SCORE 3809.236
AT ITER 610 NEW BEST:: SOT 9738 SOS 9218 HAS SOPS 8155 HAS SOUS 3868 HAS SOUPS 3762 WITH SCORE 3771.218
AT ITER 868 NEW BEST:: SOT 9729 SOS 9209 HAS SOPS 8146 HAS SOUS 3867 HAS SOUPS 3761 WITH SCORE 3770.209
AT ITER 874 NEW BEST:: SOT 9722 SOS 9202 HAS SOPS 8139 HAS SOUS 3853 HAS SOUPS 3747 WITH SCORE 3756.202
AT ITER 1004 NEW BEST:: SOT 9692 SOS 9172 HAS SOPS 8114 HAS SOUS 3828 HAS SOUPS 3722 WITH SCORE 3731.172
AT ITER 1268 NEW BEST:: SOT 9669 SOS 9149 HAS SOPS 8091 HAS SOUS 3805 HAS SOUPS 3699 WITH SCORE 3708.149
AT ITER 1321 NEW BEST:: SOT 9578 SOS 9058 HAS SOPS 8000 HAS SOUS 3701 HAS SOUPS 3595 WITH SCORE 3604.058
AT ITER 1371 NEW BEST:: SOT 9617 SOS 9097 HAS SOPS 8030 HAS SOUS 3692 HAS SOUPS 3586 WITH SCORE 3595.097
AT ITER 1374 NEW BEST:: SOT 9607 SOS 9087 HAS SOPS 8020 HAS SOUS 3687 HAS SOUPS 3581 WITH SCORE 3590.087
AT ITER 1571 NEW BEST:: SOT 9633 SOS 9113 HAS SOPS 8000 HAS SOUS 3663 HAS SOUPS 3557 WITH SCORE 3566.113
AT ITER 1588 NEW BEST:: SOT 9724 SOS 9204 HAS SOPS 8041 HAS SOUS 3626 HAS SOUPS 3520 WITH SCORE 3529.204
AT ITER 2159 NEW BEST:: SOT 9720 SOS 9200 HAS SOPS 8037 HAS SOUS 3626 HAS SOUPS 3520 WITH SCORE 3529.2
AT ITER 2278 NEW BEST:: SOT 9709 SOS 9189 HAS SOPS 8032 HAS SOUS 3592 HAS SOUPS 3492 WITH SCORE 3501.189
AT ITER 2329 NEW BEST:: SOT 9645 SOS 9125 HAS SOPS 7968 HAS SOUS 3582 HAS SOUPS 3482 WITH SCORE 3491.125
AT ITER 2470 NEW BEST:: SOT 9641 SOS 9121 HAS SOPS 7964 HAS SOUS 3578 HAS SOUPS 3478 WITH SCORE 3487.121
AT ITER 2592 NEW BEST:: SOT 9641 SOS 9121 HAS SOPS 7957 HAS SOUS 3571 HAS SOUPS 3471 WITH SCORE 3480.121
AT ITER 2775 NEW BEST:: SOT 9608 SOS 9088 HAS SOPS 7882 HAS SOUS 3564 HAS SOUPS 3464 WITH SCORE 3473.088
AT ITER 2794 NEW BEST:: SOT 9598 SOS 9078 HAS SOPS 7862 HAS SOUS 3544 HAS SOUPS 3444 WITH SCORE 3453.078
AT ITER 3062 NEW BEST:: SOT 9598 SOS 9078 HAS SOPS 7873 HAS SOUS 3533 HAS SOUPS 3433 WITH SCORE 3442.078
AT ITER 3139 NEW BEST:: SOT 9563 SOS 9043 HAS SOPS 7838 HAS SOUS 3521 HAS SOUPS 3421 WITH SCORE 3430.043
AT ITER 3161 NEW BEST:: SOT 9595 SOS 9075 HAS SOPS 7841 HAS SOUS 3520 HAS SOUPS 3420 WITH SCORE 3429.075
AT ITER 3284 NEW BEST:: SOT 9558 SOS 9038 HAS SOPS 7804 HAS SOUS 3500 HAS SOUPS 3400 WITH SCORE 3409.038
AT ITER 3338 NEW BEST:: SOT 9522 SOS 9002 HAS SOPS 7768 HAS SOUS 3469 HAS SOUPS 3369 WITH SCORE 3378.002
AT ITER 3517 NEW BEST:: SOT 9520 SOS 9000 HAS SOPS 7766 HAS SOUS 3467 HAS SOUPS 3367 WITH SCORE 3376.0
AT ITER 3609 NEW BEST:: SOT 9518 SOS 8998 HAS SOPS 7764 HAS SOUS 3463 HAS SOUPS 3363 WITH SCORE 3371.998
AT ITER 3652 NEW BEST:: SOT 9499 SOS 8979 HAS SOPS 7745 HAS SOUS 3460 HAS SOUPS 3360 WITH SCORE 3368.979
AT ITER 3730 NEW BEST:: SOT 9499 SOS 8951 HAS SOPS 7718 HAS SOUS 3459 HAS SOUPS 3360 WITH SCORE 3368.951
AT ITER 3747 NEW BEST:: SOT 9499 SOS 8951 HAS SOPS 7718 HAS SOUS 3457 HAS SOUPS 3358 WITH SCORE 3366.951
AT ITER 3870 NEW BEST:: SOT 9522 SOS 8974 HAS SOPS 7741 HAS SOUS 3438 HAS SOUPS 3339 WITH SCORE 3347.974
AT ITER 4303 NEW BEST:: SOT 9512 SOS 8964 HAS SOPS 7721 HAS SOUS 3418 HAS SOUPS 3319 WITH SCORE 3327.964
AT ITER 4330 NEW BEST:: SOT 9512 SOS 8964 HAS SOPS 7693 HAS SOUS 3381 HAS SOUPS 3282 WITH SCORE 3290.964
AT ITER 4519 NEW BEST:: SOT 9483 SOS 8935 HAS SOPS 7664 HAS SOUS 3358 HAS SOUPS 3259 WITH SCORE 3267.935
AT ITER 4547 NEW BEST:: SOT 9474 SOS 8926 HAS SOPS 7655 HAS SOUS 3336 HAS SOUPS 3237 WITH SCORE 3245.926
AT ITER 4727 NEW BEST:: SOT 9466 SOS 8918 HAS SOPS 7647 HAS SOUS 3320 HAS SOUPS 3221 WITH SCORE 3229.918
AT ITER 4855 NEW BEST:: SOT 9464 SOS 8916 HAS SOPS 7645 HAS SOUS 3318 HAS SOUPS 3219 WITH SCORE 3227.916
AT ITER 5159 NEW BEST:: SOT 9464 SOS 8916 HAS SOPS 7645 HAS SOUS 3287 HAS SOUPS 3188 WITH SCORE 3196.916
AT ITER 5334 NEW BEST:: SOT 9431 SOS 8883 HAS SOPS 7590 HAS SOUS 3267 HAS SOUPS 3168 WITH SCORE 3176.883
AT ITER 5424 NEW BEST:: SOT 9408 SOS 8854 HAS SOPS 7418 HAS SOUS 3256 HAS SOUPS 3157 WITH SCORE 3165.854
AT ITER 5642 NEW BEST:: SOT 9409 SOS 8855 HAS SOPS 7419 HAS SOUS 3254 HAS SOUPS 3155 WITH SCORE 3163.855
AT ITER 5794 NEW BEST:: SOT 9392 SOS 8838 HAS SOPS 7402 HAS SOUS 3254 HAS SOUPS 3155 WITH SCORE 3163.838
AT ITER 5795 NEW BEST:: SOT 9361 SOS 8807 HAS SOPS 7371 HAS SOUS 3251 HAS SOUPS 3152 WITH SCORE 3160.807
AT ITER 5910 NEW BEST:: SOT 9325 SOS 8771 HAS SOPS 7380 HAS SOUS 3218 HAS SOUPS 3125 WITH SCORE 3133.771
AT ITER 6805 NEW BEST:: SOT 9324 SOS 8770 HAS SOPS 7378 HAS SOUS 3210 HAS SOUPS 3117 WITH SCORE 3125.77
AT ITER 6845 NEW BEST:: SOT 9313 SOS 8759 HAS SOPS 7335 HAS SOUS 3210 HAS SOUPS 3117 WITH SCORE 3125.759
AT ITER 6869 NEW BEST:: SOT 9311 SOS 8757 HAS SOPS 7333 HAS SOUS 3210 HAS SOUPS 3117 WITH SCORE 3125.757
AT ITER 7003 NEW BEST:: SOT 9302 SOS 8748 HAS SOPS 7324 HAS SOUS 3174 HAS SOUPS 3081 WITH SCORE 3089.748
AT ITER 7329 NEW BEST:: SOT 9301 SOS 8747 HAS SOPS 7323 HAS SOUS 3173 HAS SOUPS 3080 WITH SCORE 3088.747
AT ITER 7832 NEW BEST:: SOT 9265 SOS 8711 HAS SOPS 7185 HAS SOUS 3132 HAS SOUPS 3039 WITH SCORE 3047.711
AT ITER 8040 NEW BEST:: SOT 9204 SOS 8650 HAS SOPS 7124 HAS SOUS 3107 HAS SOUPS 3014 WITH SCORE 3022.65
AT ITER 8133 NEW BEST:: SOT 9199 SOS 8645 HAS SOPS 7137 HAS SOUS 3097 HAS SOUPS 3004 WITH SCORE 3012.645
AT ITER 8200 NEW BEST:: SOT 9172 SOS 8617 HAS SOPS 7098 HAS SOUS 3094 HAS SOUPS 3001 WITH SCORE 3009.617
AT ITER 8257 NEW BEST:: SOT 9171 SOS 8616 HAS SOPS 7097 HAS SOUS 3092 HAS SOUPS 2999 WITH SCORE 3007.616
AT ITER 8448 NEW BEST:: SOT 9143 SOS 8588 HAS SOPS 7069 HAS SOUS 3064 HAS SOUPS 2971 WITH SCORE 2979.588
AT ITER 8741 NEW BEST:: SOT 9143 SOS 8588 HAS SOPS 7069 HAS SOUS 3029 HAS SOUPS 2936 WITH SCORE 2944.588
AT ITER 8788 NEW BEST:: SOT 9143 SOS 8588 HAS SOPS 7056 HAS SOUS 3023 HAS SOUPS 2930 WITH SCORE 2938.588
AT ITER 9062 NEW BEST:: SOT 9119 SOS 8564 HAS SOPS 7032 HAS SOUS 2999 HAS SOUPS 2906 WITH SCORE 2914.564
AT ITER 9134 NEW BEST:: SOT 9159 SOS 8604 HAS SOPS 6853 HAS SOUS 2988 HAS SOUPS 2895 WITH SCORE 2903.604
AT ITER 9179 NEW BEST:: SOT 9157 SOS 8602 HAS SOPS 6851 HAS SOUS 2988 HAS SOUPS 2895 WITH SCORE 2903.602
AT ITER 9382 NEW BEST:: SOT 9145 SOS 8590 HAS SOPS 6827 HAS SOUS 2976 HAS SOUPS 2883 WITH SCORE 2891.59
AT ITER 9636 NEW BEST:: SOT 9140 SOS 8585 HAS SOPS 6822 HAS SOUS 2976 HAS SOUPS 2883 WITH SCORE 2891.585
AT ITER 9684 NEW BEST:: SOT 9140 SOS 8585 HAS SOPS 6822 HAS SOUS 2972 HAS SOUPS 2879 WITH SCORE 2887.585
AT ITER 9935 NEW BEST:: SOT 9145 SOS 8590 HAS SOPS 6827 HAS SOUS 2909 HAS SOUPS 2816 WITH SCORE 2824.59
STATE_SPACE STATES 28010243 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 7 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 8 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 60785406 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678344582197

--------------------
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="DBSingleClientW-PT-d0m07"
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 DBSingleClientW-PT-d0m07, 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 r107-tall-167814483900208"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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