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.r451-smll-167912643600496.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 smart
Input is StigmergyCommit-PT-08a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r451-smll-167912643600496
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 18M
-rw-r--r-- 1 mcc users 6.7K Feb 26 11:04 CTLCardinality.txt
-rw-r--r-- 1 mcc users 71K Feb 26 11:04 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.3K Feb 26 11:02 CTLFireability.txt
-rw-r--r-- 1 mcc users 48K Feb 26 11:02 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 17:12 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 17:12 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 17:12 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 17:12 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 11:06 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 118K Feb 26 11:06 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.8K Feb 26 11:05 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 62K Feb 26 11:05 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 17:12 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:12 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 17M Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679285804138

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=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=StigmergyCommit-PT-08a
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running StigmergyCommit (PT), instance 08a
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 328 places, 18744 transitions, 330279 arcs.
AT ITER 0 NEW BEST:: SOT 2011129 SOS 1559225 HAS SOPS 834112 HAS SOUS 38682 HAS SOUPS 38586 WITH SCORE 40145.225
AT ITER 38 NEW BEST:: SOT 1995176 SOS 1557868 HAS SOPS 818389 HAS SOUS 27429 HAS SOUPS 27093 WITH SCORE 28650.868
AT ITER 43 NEW BEST:: SOT 1995163 SOS 1557864 HAS SOPS 818449 HAS SOUS 27416 HAS SOUPS 27080 WITH SCORE 28637.864
AT ITER 45 NEW BEST:: SOT 1995161 SOS 1557860 HAS SOPS 818445 HAS SOUS 27414 HAS SOUPS 27078 WITH SCORE 28635.86
AT ITER 51 NEW BEST:: SOT 1995141 SOS 1557764 HAS SOPS 818405 HAS SOUS 27394 HAS SOUPS 27058 WITH SCORE 28615.764
AT ITER 65 NEW BEST:: SOT 1995104 SOS 1557753 HAS SOPS 848081 HAS SOUS 27371 HAS SOUPS 27035 WITH SCORE 28592.753
AT ITER 97 NEW BEST:: SOT 1994994 SOS 1557791 HAS SOPS 954383 HAS SOUS 27322 HAS SOUPS 26986 WITH SCORE 28543.791
AT ITER 131 NEW BEST:: SOT 2020963 SOS 1583539 HAS SOPS 917653 HAS SOUS 23428 HAS SOUPS 23078 WITH SCORE 24661.539
AT ITER 137 NEW BEST:: SOT 2020941 SOS 1583700 HAS SOPS 1014305 HAS SOUS 23405 HAS SOUPS 23055 WITH SCORE 24638.7
AT ITER 162 NEW BEST:: SOT 2020931 SOS 1583743 HAS SOPS 1014355 HAS SOUS 23395 HAS SOUPS 23045 WITH SCORE 24628.743
AT ITER 195 NEW BEST:: SOT 2020973 SOS 1583781 HAS SOPS 1014393 HAS SOUS 23391 HAS SOUPS 23041 WITH SCORE 24624.781
AT ITER 201 NEW BEST:: SOT 2020945 SOS 1583753 HAS SOPS 1014365 HAS SOUS 23363 HAS SOUPS 23013 WITH SCORE 24596.753
AT ITER 224 NEW BEST:: SOT 2020991 SOS 1583717 HAS SOPS 1014329 HAS SOUS 23345 HAS SOUPS 22995 WITH SCORE 24578.717
AT ITER 225 NEW BEST:: SOT 2020940 SOS 1583663 HAS SOPS 1014297 HAS SOUS 23294 HAS SOUPS 22944 WITH SCORE 24527.663
AT ITER 228 NEW BEST:: SOT 2020890 SOS 1583645 HAS SOPS 1014279 HAS SOUS 23244 HAS SOUPS 22894 WITH SCORE 24477.645
AT ITER 237 NEW BEST:: SOT 2020908 SOS 1583625 HAS SOPS 1014259 HAS SOUS 23234 HAS SOUPS 22884 WITH SCORE 24467.625
AT ITER 261 NEW BEST:: SOT 2020907 SOS 1583623 HAS SOPS 1014257 HAS SOUS 23232 HAS SOUPS 22882 WITH SCORE 24465.623
AT ITER 282 NEW BEST:: SOT 2020899 SOS 1583615 HAS SOPS 1014241 HAS SOUS 23216 HAS SOUPS 22866 WITH SCORE 24449.615
AT ITER 289 NEW BEST:: SOT 2020821 SOS 1583413 HAS SOPS 1014085 HAS SOUS 23138 HAS SOUPS 22788 WITH SCORE 24371.413
AT ITER 308 NEW BEST:: SOT 2020864 SOS 1583317 HAS SOPS 1014037 HAS SOUS 23047 HAS SOUPS 22697 WITH SCORE 24280.317
AT ITER 350 NEW BEST:: SOT 2020856 SOS 1583368 HAS SOPS 1014142 HAS SOUS 23039 HAS SOUPS 22689 WITH SCORE 24272.368
AT ITER 366 NEW BEST:: SOT 2020860 SOS 1583367 HAS SOPS 1011540 HAS SOUS 23035 HAS SOUPS 22685 WITH SCORE 24268.367
AT ITER 372 NEW BEST:: SOT 2021041 SOS 1583244 HAS SOPS 1011486 HAS SOUS 23031 HAS SOUPS 22681 WITH SCORE 24264.244
AT ITER 396 NEW BEST:: SOT 2021387 SOS 1583694 HAS SOPS 1011936 HAS SOUS 23029 HAS SOUPS 22679 WITH SCORE 24262.694
AT ITER 403 NEW BEST:: SOT 2021379 SOS 1583759 HAS SOPS 1012004 HAS SOUS 23021 HAS SOUPS 22671 WITH SCORE 24254.759
AT ITER 414 NEW BEST:: SOT 2021371 SOS 1583725 HAS SOPS 1011988 HAS SOUS 23013 HAS SOUPS 22663 WITH SCORE 24246.725
AT ITER 451 NEW BEST:: SOT 2021371 SOS 1583724 HAS SOPS 1011988 HAS SOUS 23013 HAS SOUPS 22663 WITH SCORE 24246.724
AT ITER 460 NEW BEST:: SOT 2021296 SOS 1583642 HAS SOPS 1011906 HAS SOUS 23006 HAS SOUPS 22656 WITH SCORE 24239.642
AT ITER 462 NEW BEST:: SOT 2021278 SOS 1583606 HAS SOPS 1011870 HAS SOUS 22988 HAS SOUPS 22638 WITH SCORE 24221.606
AT ITER 473 NEW BEST:: SOT 2021277 SOS 1583605 HAS SOPS 1011868 HAS SOUS 22978 HAS SOUPS 22628 WITH SCORE 24211.605
AT ITER 475 NEW BEST:: SOT 2021306 SOS 1579641 HAS SOPS 1012018 HAS SOUS 22856 HAS SOUPS 22544 WITH SCORE 24123.641
AT ITER 519 NEW BEST:: SOT 2021292 SOS 1579569 HAS SOPS 1011946 HAS SOUS 22842 HAS SOUPS 22530 WITH SCORE 24109.569
AT ITER 524 NEW BEST:: SOT 2021435 SOS 1579635 HAS SOPS 995916 HAS SOUS 20782 HAS SOUPS 20470 WITH SCORE 22049.635
AT ITER 569 NEW BEST:: SOT 2021349 SOS 1579562 HAS SOPS 995830 HAS SOUS 20696 HAS SOUPS 20384 WITH SCORE 21963.562
AT ITER 614 NEW BEST:: SOT 2021343 SOS 1579594 HAS SOPS 995862 HAS SOUS 20676 HAS SOUPS 20364 WITH SCORE 21943.594
AT ITER 632 NEW BEST:: SOT 2021369 SOS 1579578 HAS SOPS 995846 HAS SOUS 20660 HAS SOUPS 20348 WITH SCORE 21927.578
AT ITER 638 NEW BEST:: SOT 2021368 SOS 1579576 HAS SOPS 995844 HAS SOUS 20650 HAS SOUPS 20338 WITH SCORE 21917.576
AT ITER 666 NEW BEST:: SOT 2021353 SOS 1579562 HAS SOPS 995830 HAS SOUS 20643 HAS SOUPS 20331 WITH SCORE 21910.562
AT ITER 670 NEW BEST:: SOT 2021353 SOS 1579562 HAS SOPS 995830 HAS SOUS 20641 HAS SOUPS 20329 WITH SCORE 21908.562
AT ITER 715 NEW BEST:: SOT 2021351 SOS 1579558 HAS SOPS 995826 HAS SOUS 20637 HAS SOUPS 20325 WITH SCORE 21904.558
AT ITER 740 NEW BEST:: SOT 2021459 SOS 1579602 HAS SOPS 995870 HAS SOUS 20617 HAS SOUPS 20305 WITH SCORE 21884.602
AT ITER 753 NEW BEST:: SOT 2021449 SOS 1579685 HAS SOPS 995953 HAS SOUS 20603 HAS SOUPS 20291 WITH SCORE 21870.685
AT ITER 761 NEW BEST:: SOT 2021482 SOS 1579751 HAS SOPS 996019 HAS SOUS 20601 HAS SOUPS 20289 WITH SCORE 21868.751
AT ITER 765 NEW BEST:: SOT 2021513 SOS 1579438 HAS SOPS 995654 HAS SOUS 20576 HAS SOUPS 20264 WITH SCORE 21843.438000000002
AT ITER 767 NEW BEST:: SOT 2010650 SOS 1568640 HAS SOPS 984856 HAS SOUS 19972 HAS SOUPS 19660 WITH SCORE 21228.64
AT ITER 798 NEW BEST:: SOT 2010666 SOS 1568632 HAS SOPS 984848 HAS SOUS 19948 HAS SOUPS 19636 WITH SCORE 21204.632
AT ITER 820 NEW BEST:: SOT 2001979 SOS 1579948 HAS SOPS 996164 HAS SOUS 19343 HAS SOUPS 19031 WITH SCORE 20610.948
AT ITER 855 NEW BEST:: SOT 2001979 SOS 1579990 HAS SOPS 996206 HAS SOUS 19335 HAS SOUPS 19023 WITH SCORE 20602.99
AT ITER 891 NEW BEST:: SOT 2001978 SOS 1579838 HAS SOPS 996053 HAS SOUS 19182 HAS SOUPS 18870 WITH SCORE 20449.838
AT ITER 894 NEW BEST:: SOT 2001921 SOS 1579852 HAS SOPS 996067 HAS SOUS 19117 HAS SOUPS 18805 WITH SCORE 20384.852
AT ITER 983 NEW BEST:: SOT 2001921 SOS 1579852 HAS SOPS 996067 HAS SOUS 19109 HAS SOUPS 18797 WITH SCORE 20376.852
AT ITER 1016 NEW BEST:: SOT 2001903 SOS 1579850 HAS SOPS 996065 HAS SOUS 19091 HAS SOUPS 18779 WITH SCORE 20358.85
AT ITER 1077 NEW BEST:: SOT 2001889 SOS 1579829 HAS SOPS 996044 HAS SOUS 19077 HAS SOUPS 18765 WITH SCORE 20344.829
AT ITER 1115 NEW BEST:: SOT 2001870 SOS 1579831 HAS SOPS 996046 HAS SOUS 19042 HAS SOUPS 18730 WITH SCORE 20309.831
AT ITER 1145 NEW BEST:: SOT 2001836 SOS 1579831 HAS SOPS 996046 HAS SOUS 19025 HAS SOUPS 18713 WITH SCORE 20292.831
AT ITER 1346 NEW BEST:: SOT 2001856 SOS 1579835 HAS SOPS 996050 HAS SOUS 19014 HAS SOUPS 18702 WITH SCORE 20281.835
AT ITER 1409 NEW BEST:: SOT 2001896 SOS 1579663 HAS SOPS 995836 HAS SOUS 19012 HAS SOUPS 18700 WITH SCORE 20279.663
AT ITER 1413 NEW BEST:: SOT 2001894 SOS 1579632 HAS SOPS 995832 HAS SOUS 19008 HAS SOUPS 18696 WITH SCORE 20275.632
AT ITER 1425 NEW BEST:: SOT 2002040 SOS 1579924 HAS SOPS 996124 HAS SOUS 19006 HAS SOUPS 18694 WITH SCORE 20273.924
AT ITER 1435 NEW BEST:: SOT 2002039 SOS 1579923 HAS SOPS 996122 HAS SOUS 19004 HAS SOUPS 18692 WITH SCORE 20271.923
AT ITER 1442 NEW BEST:: SOT 2002039 SOS 1579888 HAS SOPS 996087 HAS SOUS 18969 HAS SOUPS 18657 WITH SCORE 20236.888
AT ITER 1478 NEW BEST:: SOT 2002046 SOS 1579890 HAS SOPS 995895 HAS SOUS 18720 HAS SOUPS 18408 WITH SCORE 19987.89
AT ITER 1551 NEW BEST:: SOT 2002122 SOS 1579874 HAS SOPS 995879 HAS SOUS 18699 HAS SOUPS 18387 WITH SCORE 19966.874
AT ITER 1612 NEW BEST:: SOT 2002104 SOS 1579838 HAS SOPS 995843 HAS SOUS 18663 HAS SOUPS 18351 WITH SCORE 19930.838
AT ITER 1631 NEW BEST:: SOT 2002112 SOS 1579822 HAS SOPS 995827 HAS SOUS 18655 HAS SOUPS 18343 WITH SCORE 19922.822
AT ITER 1649 NEW BEST:: SOT 2002098 SOS 1579794 HAS SOPS 995799 HAS SOUS 18641 HAS SOUPS 18329 WITH SCORE 19908.794
AT ITER 1709 NEW BEST:: SOT 2002098 SOS 1579782 HAS SOPS 995785 HAS SOUS 18641 HAS SOUPS 18329 WITH SCORE 19908.782
AT ITER 1738 NEW BEST:: SOT 2002096 SOS 1579805 HAS SOPS 995781 HAS SOUS 18637 HAS SOUPS 18325 WITH SCORE 19904.805
AT ITER 1817 NEW BEST:: SOT 2002096 SOS 1579802 HAS SOPS 995778 HAS SOUS 18635 HAS SOUPS 18323 WITH SCORE 19902.802
AT ITER 1828 NEW BEST:: SOT 2002085 SOS 1559740 HAS SOPS 975716 HAS SOUS 18625 HAS SOUPS 18313 WITH SCORE 19872.74
AT ITER 1835 NEW BEST:: SOT 2002084 SOS 1559738 HAS SOPS 975714 HAS SOUS 18623 HAS SOUPS 18311 WITH SCORE 19870.738
AT ITER 1905 NEW BEST:: SOT 2002072 SOS 1559726 HAS SOPS 975690 HAS SOUS 18611 HAS SOUPS 18299 WITH SCORE 19858.726
AT ITER 1936 NEW BEST:: SOT 2002274 SOS 1151583 HAS SOPS 840838 HAS SOUS 18856 HAS SOUPS 18570 WITH SCORE 19721.583
AT ITER 1961 NEW BEST:: SOT 2002268 SOS 1151563 HAS SOPS 840818 HAS SOUS 18846 HAS SOUPS 18560 WITH SCORE 19711.563000000002
AT ITER 1966 NEW BEST:: SOT 2002231 SOS 1151503 HAS SOPS 840758 HAS SOUS 18803 HAS SOUPS 18517 WITH SCORE 19668.503
AT ITER 2050 NEW BEST:: SOT 2002248 SOS 1151441 HAS SOPS 840696 HAS SOUS 18789 HAS SOUPS 18503 WITH SCORE 19654.441
AT ITER 2081 NEW BEST:: SOT 2002244 SOS 1151437 HAS SOPS 840692 HAS SOUS 18785 HAS SOUPS 18499 WITH SCORE 19650.437
AT ITER 2082 NEW BEST:: SOT 2002218 SOS 1151753 HAS SOPS 841030 HAS SOUS 18759 HAS SOUPS 18473 WITH SCORE 19624.753
AT ITER 2083 NEW BEST:: SOT 2002244 SOS 1151877 HAS SOPS 841154 HAS SOUS 18737 HAS SOUPS 18451 WITH SCORE 19602.877
AT ITER 2096 NEW BEST:: SOT 2002244 SOS 1085209 HAS SOPS 744486 HAS SOUS 18793 HAS SOUPS 18507 WITH SCORE 19592.209
AT ITER 2119 NEW BEST:: SOT 2002242 SOS 1085205 HAS SOPS 744482 HAS SOUS 18789 HAS SOUPS 18503 WITH SCORE 19588.205
AT ITER 2141 NEW BEST:: SOT 2002222 SOS 1085165 HAS SOPS 744442 HAS SOUS 18769 HAS SOUPS 18483 WITH SCORE 19568.165
AT ITER 2152 NEW BEST:: SOT 2002168 SOS 1085143 HAS SOPS 744420 HAS SOUS 18758 HAS SOUPS 18472 WITH SCORE 19557.143
AT ITER 2203 NEW BEST:: SOT 2002387 SOS 1085399 HAS SOPS 744676 HAS SOUS 18650 HAS SOUPS 18364 WITH SCORE 19449.399
AT ITER 2205 NEW BEST:: SOT 2002375 SOS 1085387 HAS SOPS 744664 HAS SOUS 18650 HAS SOUPS 18364 WITH SCORE 19449.387
AT ITER 2207 NEW BEST:: SOT 2002355 SOS 1085321 HAS SOPS 744598 HAS SOUS 18630 HAS SOUPS 18344 WITH SCORE 19429.321
AT ITER 2212 NEW BEST:: SOT 2002290 SOS 1085311 HAS SOPS 790588 HAS SOUS 18577 HAS SOUPS 18291 WITH SCORE 19376.311
AT ITER 2222 NEW BEST:: SOT 2002275 SOS 1085090 HAS SOPS 790367 HAS SOUS 18562 HAS SOUPS 18276 WITH SCORE 19361.09
AT ITER 2232 NEW BEST:: SOT 2002263 SOS 1085110 HAS SOPS 790387 HAS SOUS 18549 HAS SOUPS 18263 WITH SCORE 19348.11
AT ITER 2388 NEW BEST:: SOT 2002252 SOS 1085088 HAS SOPS 790365 HAS SOUS 18498 HAS SOUPS 18212 WITH SCORE 19297.088
AT ITER 2414 NEW BEST:: SOT 2002207 SOS 1085053 HAS SOPS 790330 HAS SOUS 18463 HAS SOUPS 18177 WITH SCORE 19262.053
AT ITER 2506 NEW BEST:: SOT 2002202 SOS 1085027 HAS SOPS 790304 HAS SOUS 18443 HAS SOUPS 18157 WITH SCORE 19242.027000000002
AT ITER 2528 NEW BEST:: SOT 2002175 SOS 1085000 HAS SOPS 790250 HAS SOUS 18389 HAS SOUPS 18103 WITH SCORE 19188.0
AT ITER 2666 NEW BEST:: SOT 2002173 SOS 1084978 HAS SOPS 790228 HAS SOUS 18387 HAS SOUPS 18101 WITH SCORE 19185.978
AT ITER 2720 NEW BEST:: SOT 2002106 SOS 1084904 HAS SOPS 790154 HAS SOUS 18285 HAS SOUPS 17999 WITH SCORE 19083.904
AT ITER 2772 NEW BEST:: SOT 2002088 SOS 1084876 HAS SOPS 790126 HAS SOUS 18275 HAS SOUPS 17989 WITH SCORE 19073.876
AT ITER 2775 NEW BEST:: SOT 2002084 SOS 1084876 HAS SOPS 790126 HAS SOUS 18271 HAS SOUPS 17985 WITH SCORE 19069.876
AT ITER 2862 NEW BEST:: SOT 2002079 SOS 1084866 HAS SOPS 790116 HAS SOUS 18266 HAS SOUPS 17980 WITH SCORE 19064.866
AT ITER 2864 NEW BEST:: SOT 2002077 SOS 1084861 HAS SOPS 790112 HAS SOUS 18262 HAS SOUPS 17976 WITH SCORE 19060.861
AT ITER 2878 NEW BEST:: SOT 2002076 SOS 1084860 HAS SOPS 790110 HAS SOUS 18260 HAS SOUPS 17974 WITH SCORE 19058.86
AT ITER 2916 NEW BEST:: SOT 2002050 SOS 1084860 HAS SOPS 790110 HAS SOUS 18247 HAS SOUPS 17961 WITH SCORE 19045.86
AT ITER 2999 NEW BEST:: SOT 2002049 SOS 1084858 HAS SOPS 790108 HAS SOUS 18245 HAS SOUPS 17959 WITH SCORE 19043.858
AT ITER 3036 NEW BEST:: SOT 2002033 SOS 1084681 HAS SOPS 789926 HAS SOUS 18229 HAS SOUPS 17943 WITH SCORE 19027.681
AT ITER 3047 NEW BEST:: SOT 2002025 SOS 1084665 HAS SOPS 789910 HAS SOUS 18221 HAS SOUPS 17935 WITH SCORE 19019.665
AT ITER 3105 NEW BEST:: SOT 2001972 SOS 1084559 HAS SOPS 789804 HAS SOUS 18168 HAS SOUPS 17882 WITH SCORE 18966.559
AT ITER 3138 NEW BEST:: SOT 2002030 SOS 1084591 HAS SOPS 789836 HAS SOUS 18142 HAS SOUPS 17856 WITH SCORE 18940.591
AT ITER 3146 NEW BEST:: SOT 2002011 SOS 1084665 HAS SOPS 789910 HAS SOUS 18136 HAS SOUPS 17850 WITH SCORE 18934.665
AT ITER 3157 NEW BEST:: SOT 2002011 SOS 1084658 HAS SOPS 789903 HAS SOUS 18136 HAS SOUPS 17850 WITH SCORE 18934.658
AT ITER 3197 NEW BEST:: SOT 2002005 SOS 1084646 HAS SOPS 789891 HAS SOUS 18130 HAS SOUPS 17844 WITH SCORE 18928.646
AT ITER 3249 NEW BEST:: SOT 2002011 SOS 1084830 HAS SOPS 790075 HAS SOUS 18123 HAS SOUPS 17837 WITH SCORE 18921.83
AT ITER 3255 NEW BEST:: SOT 2001989 SOS 1084666 HAS SOPS 789881 HAS SOUS 18101 HAS SOUPS 17815 WITH SCORE 18899.666
AT ITER 3324 NEW BEST:: SOT 2001987 SOS 1084664 HAS SOPS 789877 HAS SOUS 18097 HAS SOUPS 17811 WITH SCORE 18895.664
AT ITER 3344 NEW BEST:: SOT 2002017 SOS 1084664 HAS SOPS 789877 HAS SOUS 18082 HAS SOUPS 17796 WITH SCORE 18880.664
AT ITER 3346 NEW BEST:: SOT 2002007 SOS 1084644 HAS SOPS 789857 HAS SOUS 18072 HAS SOUPS 17786 WITH SCORE 18870.644
AT ITER 3349 NEW BEST:: SOT 2002079 SOS 1029780 HAS SOPS 701099 HAS SOUS 18122 HAS SOUPS 17839 WITH SCORE 18868.78
AT ITER 3353 NEW BEST:: SOT 2002070 SOS 1029762 HAS SOPS 701081 HAS SOUS 18113 HAS SOUPS 17830 WITH SCORE 18859.762
AT ITER 3367 NEW BEST:: SOT 2002068 SOS 1029758 HAS SOPS 701077 HAS SOUS 18111 HAS SOUPS 17828 WITH SCORE 18857.758
AT ITER 3387 NEW BEST:: SOT 2002082 SOS 1029897 HAS SOPS 701231 HAS SOUS 18037 HAS SOUPS 17754 WITH SCORE 18783.897
AT ITER 3446 NEW BEST:: SOT 2002103 SOS 1029890 HAS SOPS 701224 HAS SOUS 18030 HAS SOUPS 17747 WITH SCORE 18776.89
AT ITER 3481 NEW BEST:: SOT 2002082 SOS 1029819 HAS SOPS 701153 HAS SOUS 18009 HAS SOUPS 17726 WITH SCORE 18755.819
AT ITER 3507 NEW BEST:: SOT 2002020 SOS 1029696 HAS SOPS 701090 HAS SOUS 18007 HAS SOUPS 17724 WITH SCORE 18753.696
AT ITER 3597 NEW BEST:: SOT 2002028 SOS 1029712 HAS SOPS 701106 HAS SOUS 17966 HAS SOUPS 17683 WITH SCORE 18712.712
AT ITER 3642 NEW BEST:: SOT 2002027 SOS 1029711 HAS SOPS 701104 HAS SOUS 17962 HAS SOUPS 17679 WITH SCORE 18708.711
AT ITER 3651 NEW BEST:: SOT 2002026 SOS 1029710 HAS SOPS 701102 HAS SOUS 17960 HAS SOUPS 17677 WITH SCORE 18706.71
AT ITER 3697 NEW BEST:: SOT 2001930 SOS 1029806 HAS SOPS 762218 HAS SOUS 17943 HAS SOUPS 17660 WITH SCORE 18689.806
AT ITER 3778 NEW BEST:: SOT 2001919 SOS 1029784 HAS SOPS 762196 HAS SOUS 17932 HAS SOUPS 17649 WITH SCORE 18678.784
AT ITER 3832 NEW BEST:: SOT 2001912 SOS 1029777 HAS SOPS 762182 HAS SOUS 17911 HAS SOUPS 17628 WITH SCORE 18657.777000000002
AT ITER 3834 NEW BEST:: SOT 2001912 SOS 1029771 HAS SOPS 762175 HAS SOUS 17910 HAS SOUPS 17627 WITH SCORE 18656.771
AT ITER 3965 NEW BEST:: SOT 2001905 SOS 1029806 HAS SOPS 762210 HAS SOUS 17903 HAS SOUPS 17620 WITH SCORE 18649.806
AT ITER 3981 NEW BEST:: SOT 2001898 SOS 1029792 HAS SOPS 762196 HAS SOUS 17889 HAS SOUPS 17606 WITH SCORE 18635.792
AT ITER 3985 NEW BEST:: SOT 2001924 SOS 1029792 HAS SOPS 762196 HAS SOUS 17879 HAS SOUPS 17596 WITH SCORE 18625.792
AT ITER 3992 NEW BEST:: SOT 2001925 SOS 1029792 HAS SOPS 762196 HAS SOUS 17878 HAS SOUPS 17595 WITH SCORE 18624.792
AT ITER 4103 NEW BEST:: SOT 2002005 SOS 1029736 HAS SOPS 762140 HAS SOUS 17876 HAS SOUPS 17593 WITH SCORE 18622.736
AT ITER 4110 NEW BEST:: SOT 2002001 SOS 1029728 HAS SOPS 762132 HAS SOUS 17872 HAS SOUPS 17589 WITH SCORE 18618.728
AT ITER 4123 NEW BEST:: SOT 2001992 SOS 1029716 HAS SOPS 762120 HAS SOUS 17869 HAS SOUPS 17586 WITH SCORE 18615.716
AT ITER 4138 NEW BEST:: SOT 2001991 SOS 1029714 HAS SOPS 762118 HAS SOUS 17869 HAS SOUPS 17586 WITH SCORE 18615.714
AT ITER 4177 NEW BEST:: SOT 2001992 SOS 1029710 HAS SOPS 762114 HAS SOUS 17864 HAS SOUPS 17581 WITH SCORE 18610.71
AT ITER 4251 NEW BEST:: SOT 2001991 SOS 1029816 HAS SOPS 762238 HAS SOUS 17863 HAS SOUPS 17580 WITH SCORE 18609.816
AT ITER 4295 NEW BEST:: SOT 2001990 SOS 1029815 HAS SOPS 762236 HAS SOUS 17861 HAS SOUPS 17578 WITH SCORE 18607.815
AT ITER 4379 NEW BEST:: SOT 2001939 SOS 1048148 HAS SOPS 829462 HAS SOUS 17834 HAS SOUPS 17550 WITH SCORE 18598.148
AT ITER 4538 NEW BEST:: SOT 2001937 SOS 1048144 HAS SOPS 829458 HAS SOUS 17832 HAS SOUPS 17548 WITH SCORE 18596.144
AT ITER 4630 NEW BEST:: SOT 2001936 SOS 1048115 HAS SOPS 829429 HAS SOUS 17831 HAS SOUPS 17547 WITH SCORE 18595.115
AT ITER 4652 NEW BEST:: SOT 2001944 SOS 1048167 HAS SOPS 829481 HAS SOUS 17815 HAS SOUPS 17531 WITH SCORE 18579.167
AT ITER 4677 NEW BEST:: SOT 2001972 SOS 1048127 HAS SOPS 829441 HAS SOUS 17795 HAS SOUPS 17511 WITH SCORE 18559.127
AT ITER 4738 NEW BEST:: SOT 2001966 SOS 1048115 HAS SOPS 829429 HAS SOUS 17789 HAS SOUPS 17505 WITH SCORE 18553.115
AT ITER 4795 NEW BEST:: SOT 2002062 SOS 1048095 HAS SOPS 829409 HAS SOUS 17783 HAS SOUPS 17499 WITH SCORE 18547.095
AT ITER 4811 NEW BEST:: SOT 2002026 SOS 1048095 HAS SOPS 829409 HAS SOUS 17770 HAS SOUPS 17486 WITH SCORE 18534.095
AT ITER 4849 NEW BEST:: SOT 2002016 SOS 1048075 HAS SOPS 829389 HAS SOUS 17760 HAS SOUPS 17476 WITH SCORE 18524.075
AT ITER 4852 NEW BEST:: SOT 2002017 SOS 1048063 HAS SOPS 829377 HAS SOUS 17760 HAS SOUPS 17476 WITH SCORE 18524.063000000002
AT ITER 4879 NEW BEST:: SOT 2002015 SOS 1048059 HAS SOPS 829373 HAS SOUS 17758 HAS SOUPS 17474 WITH SCORE 18522.059
AT ITER 4918 NEW BEST:: SOT 2002015 SOS 1048059 HAS SOPS 829373 HAS SOUS 17750 HAS SOUPS 17466 WITH SCORE 18514.059
AT ITER 4935 NEW BEST:: SOT 2002012 SOS 1048053 HAS SOPS 829367 HAS SOUS 17747 HAS SOUPS 17463 WITH SCORE 18511.053
AT ITER 4964 NEW BEST:: SOT 2002012 SOS 1048074 HAS SOPS 829367 HAS SOUS 17726 HAS SOUPS 17442 WITH SCORE 18490.074
AT ITER 4995 NEW BEST:: SOT 2001998 SOS 1048053 HAS SOPS 829346 HAS SOUS 17710 HAS SOUPS 17426 WITH SCORE 18474.053
AT ITER 5034 NEW BEST:: SOT 2002069 SOS 1047951 HAS SOPS 829244 HAS SOUS 17659 HAS SOUPS 17375 WITH SCORE 18422.951
AT ITER 5057 NEW BEST:: SOT 2002068 SOS 1047950 HAS SOPS 829242 HAS SOUS 17657 HAS SOUPS 17373 WITH SCORE 18420.95
AT ITER 5064 NEW BEST:: SOT 2002068 SOS 1047915 HAS SOPS 829207 HAS SOUS 17657 HAS SOUPS 17373 WITH SCORE 18420.915
AT ITER 5089 NEW BEST:: SOT 2002067 SOS 1047892 HAS SOPS 829205 HAS SOUS 17655 HAS SOUPS 17371 WITH SCORE 18418.892
AT ITER 5102 NEW BEST:: SOT 2002098 SOS 1047954 HAS SOPS 829267 HAS SOUS 17642 HAS SOUPS 17358 WITH SCORE 18405.954
AT ITER 5181 NEW BEST:: SOT 2002098 SOS 1047934 HAS SOPS 829247 HAS SOUS 17628 HAS SOUPS 17344 WITH SCORE 18391.934
AT ITER 5230 NEW BEST:: SOT 2002099 SOS 1047934 HAS SOPS 829247 HAS SOUS 17627 HAS SOUPS 17343 WITH SCORE 18390.934
AT ITER 5270 NEW BEST:: SOT 2001632 SOS 1056012 HAS SOPS 828770 HAS SOUS 17693 HAS SOUPS 17330 WITH SCORE 18386.012
AT ITER 5283 NEW BEST:: SOT 2001632 SOS 1055988 HAS SOPS 828758 HAS SOUS 17681 HAS SOUPS 17318 WITH SCORE 18373.988
AT ITER 5340 NEW BEST:: SOT 2001631 SOS 1055986 HAS SOPS 828756 HAS SOUS 17680 HAS SOUPS 17317 WITH SCORE 18372.986
AT ITER 5347 NEW BEST:: SOT 2011039 SOS 1065394 HAS SOPS 837975 HAS SOUS 17558 HAS SOUPS 17195 WITH SCORE 18260.394
AT ITER 5462 NEW BEST:: SOT 2011043 SOS 1065374 HAS SOPS 837969 HAS SOUS 17548 HAS SOUPS 17185 WITH SCORE 18250.374
AT ITER 5491 NEW BEST:: SOT 2011031 SOS 1065365 HAS SOPS 837960 HAS SOUS 17539 HAS SOUPS 17176 WITH SCORE 18241.365
AT ITER 5544 NEW BEST:: SOT 2011031 SOS 1065365 HAS SOPS 837960 HAS SOUS 17538 HAS SOUPS 17175 WITH SCORE 18240.365
AT ITER 5583 NEW BEST:: SOT 2011007 SOS 1065281 HAS SOPS 837876 HAS SOUS 17514 HAS SOUPS 17151 WITH SCORE 18216.281
AT ITER 5586 NEW BEST:: SOT 2011044 SOS 1065355 HAS SOPS 837950 HAS SOUS 17504 HAS SOUPS 17141 WITH SCORE 18206.355
AT ITER 5642 NEW BEST:: SOT 2011000 SOS 1065331 HAS SOPS 837894 HAS SOUS 17492 HAS SOUPS 17129 WITH SCORE 18194.331
AT ITER 5731 NEW BEST:: SOT 2011022 SOS 1065336 HAS SOPS 804779 HAS SOUS 17462 HAS SOUPS 17099 WITH SCORE 18164.336
AT ITER 5758 NEW BEST:: SOT 2011045 SOS 1065359 HAS SOPS 804825 HAS SOUS 17460 HAS SOUPS 17097 WITH SCORE 18162.359
AT ITER 5767 NEW BEST:: SOT 2011043 SOS 1065355 HAS SOPS 804821 HAS SOUS 17458 HAS SOUPS 17095 WITH SCORE 18160.355
AT ITER 5787 NEW BEST:: SOT 2011011 SOS 1065323 HAS SOPS 804757 HAS SOUS 17432 HAS SOUPS 17069 WITH SCORE 18134.323
AT ITER 5839 NEW BEST:: SOT 2011011 SOS 1065269 HAS SOPS 804703 HAS SOUS 17432 HAS SOUPS 17069 WITH SCORE 18134.269
AT ITER 5862 NEW BEST:: SOT 2011006 SOS 1065299 HAS SOPS 804693 HAS SOUS 17427 HAS SOUPS 17064 WITH SCORE 18129.299
AT ITER 5903 NEW BEST:: SOT 2010951 SOS 1065323 HAS SOPS 804679 HAS SOUS 17417 HAS SOUPS 17054 WITH SCORE 18119.323
AT ITER 5904 NEW BEST:: SOT 2010952 SOS 1065328 HAS SOPS 804684 HAS SOUS 17416 HAS SOUPS 17053 WITH SCORE 18118.328
AT ITER 5943 NEW BEST:: SOT 2010951 SOS 1065331 HAS SOPS 804682 HAS SOUS 17411 HAS SOUPS 17046 WITH SCORE 18111.331
AT ITER 5950 NEW BEST:: SOT 2010886 SOS 1065182 HAS SOPS 804552 HAS SOUS 17365 HAS SOUPS 17000 WITH SCORE 18065.182
AT ITER 5958 NEW BEST:: SOT 2010885 SOS 1065170 HAS SOPS 804539 HAS SOUS 17352 HAS SOUPS 16987 WITH SCORE 18052.17
AT ITER 6021 NEW BEST:: SOT 2010888 SOS 1065120 HAS SOPS 804489 HAS SOUS 17350 HAS SOUPS 16985 WITH SCORE 18050.12
AT ITER 6096 NEW BEST:: SOT 2010878 SOS 1065100 HAS SOPS 804469 HAS SOUS 17330 HAS SOUPS 16965 WITH SCORE 18030.1
AT ITER 6136 NEW BEST:: SOT 2010866 SOS 1065084 HAS SOPS 804453 HAS SOUS 17322 HAS SOUPS 16957 WITH SCORE 18022.084
AT ITER 6194 NEW BEST:: SOT 2010865 SOS 1065096 HAS SOPS 804465 HAS SOUS 17321 HAS SOUPS 16956 WITH SCORE 18021.096
AT ITER 6259 NEW BEST:: SOT 2010861 SOS 1065088 HAS SOPS 804457 HAS SOUS 17317 HAS SOUPS 16952 WITH SCORE 18017.088
AT ITER 6418 NEW BEST:: SOT 2010846 SOS 1065073 HAS SOPS 804427 HAS SOUS 17305 HAS SOUPS 16934 WITH SCORE 17999.073
AT ITER 6506 NEW BEST:: SOT 2010845 SOS 1065063 HAS SOPS 804417 HAS SOUS 17303 HAS SOUPS 16932 WITH SCORE 17997.063000000002
AT ITER 6590 NEW BEST:: SOT 2010844 SOS 1065061 HAS SOPS 804415 HAS SOUS 17303 HAS SOUPS 16932 WITH SCORE 17997.061
AT ITER 6671 NEW BEST:: SOT 2010837 SOS 1065005 HAS SOPS 804352 HAS SOUS 17296 HAS SOUPS 16925 WITH SCORE 17990.005
AT ITER 6675 NEW BEST:: SOT 2010823 SOS 1064977 HAS SOPS 804324 HAS SOUS 17295 HAS SOUPS 16924 WITH SCORE 17988.977
AT ITER 6704 NEW BEST:: SOT 2010843 SOS 1065017 HAS SOPS 804312 HAS SOUS 17289 HAS SOUPS 16918 WITH SCORE 17983.017
AT ITER 6712 NEW BEST:: SOT 2010843 SOS 1065018 HAS SOPS 804312 HAS SOUS 17288 HAS SOUPS 16917 WITH SCORE 17982.018
AT ITER 6734 NEW BEST:: SOT 2010859 SOS 1046739 HAS SOPS 783696 HAS SOUS 17292 HAS SOUPS 16922 WITH SCORE 17968.739
AT ITER 6901 NEW BEST:: SOT 2010880 SOS 1046721 HAS SOPS 783708 HAS SOUS 17290 HAS SOUPS 16920 WITH SCORE 17966.721
AT ITER 6945 NEW BEST:: SOT 2010875 SOS 1046726 HAS SOPS 783698 HAS SOUS 17280 HAS SOUPS 16910 WITH SCORE 17956.726
AT ITER 7041 NEW BEST:: SOT 2010874 SOS 1046723 HAS SOPS 783696 HAS SOUS 17278 HAS SOUPS 16908 WITH SCORE 17954.722999999998
AT ITER 7055 NEW BEST:: SOT 2010854 SOS 1046787 HAS SOPS 781000 HAS SOUS 17260 HAS SOUPS 16890 WITH SCORE 17936.787
AT ITER 7080 NEW BEST:: SOT 2010851 SOS 1046900 HAS SOPS 781113 HAS SOUS 17257 HAS SOUPS 16887 WITH SCORE 17933.9
AT ITER 7180 NEW BEST:: SOT 2010851 SOS 1046900 HAS SOPS 781112 HAS SOUS 17256 HAS SOUPS 16886 WITH SCORE 17932.9
AT ITER 7200 NEW BEST:: SOT 2010850 SOS 1046899 HAS SOPS 781110 HAS SOUS 17254 HAS SOUPS 16884 WITH SCORE 17930.899
AT ITER 7279 NEW BEST:: SOT 2010851 SOS 1047037 HAS SOPS 781222 HAS SOUS 17248 HAS SOUPS 16878 WITH SCORE 17925.037
AT ITER 7332 NEW BEST:: SOT 2010850 SOS 1047036 HAS SOPS 781220 HAS SOUS 17246 HAS SOUPS 16876 WITH SCORE 17923.036
AT ITER 7344 NEW BEST:: SOT 2010848 SOS 1047036 HAS SOPS 781216 HAS SOUS 17244 HAS SOUPS 16874 WITH SCORE 17921.036
AT ITER 7417 NEW BEST:: SOT 2010830 SOS 1047017 HAS SOPS 781180 HAS SOUS 17225 HAS SOUPS 16855 WITH SCORE 17902.017
AT ITER 7418 NEW BEST:: SOT 2010826 SOS 1047009 HAS SOPS 781172 HAS SOUS 17217 HAS SOUPS 16847 WITH SCORE 17894.009
AT ITER 7902 NEW BEST:: SOT 2010825 SOS 1046995 HAS SOPS 781158 HAS SOUS 17216 HAS SOUPS 16846 WITH SCORE 17892.995
AT ITER 7935 NEW BEST:: SOT 2010819 SOS 1046983 HAS SOPS 781146 HAS SOUS 17216 HAS SOUPS 16846 WITH SCORE 17892.983
AT ITER 7943 NEW BEST:: SOT 2010828 SOS 1046987 HAS SOPS 781150 HAS SOUS 17211 HAS SOUPS 16841 WITH SCORE 17887.987
AT ITER 8006 NEW BEST:: SOT 2010827 SOS 1046986 HAS SOPS 781148 HAS SOUS 17209 HAS SOUPS 16839 WITH SCORE 17885.986
AT ITER 8015 NEW BEST:: SOT 2010836 SOS 1046965 HAS SOPS 781127 HAS SOUS 17192 HAS SOUPS 16822 WITH SCORE 17868.965
AT ITER 8164 NEW BEST:: SOT 2010824 SOS 1046953 HAS SOPS 781103 HAS SOUS 17180 HAS SOUPS 16810 WITH SCORE 17856.953
AT ITER 8215 NEW BEST:: SOT 2010824 SOS 1046953 HAS SOPS 781103 HAS SOUS 17177 HAS SOUPS 16807 WITH SCORE 17853.953
AT ITER 8257 NEW BEST:: SOT 2010820 SOS 1046965 HAS SOPS 781115 HAS SOUS 17173 HAS SOUPS 16803 WITH SCORE 17849.965
AT ITER 8358 NEW BEST:: SOT 2010865 SOS 1046939 HAS SOPS 781143 HAS SOUS 17164 HAS SOUPS 16794 WITH SCORE 17840.939
AT ITER 8417 NEW BEST:: SOT 2010857 SOS 1046931 HAS SOPS 781127 HAS SOUS 17159 HAS SOUPS 16789 WITH SCORE 17835.931
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 15844072 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16137832 kB

BK_TIME_CONFINEMENT_REACHED

--------------------
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="StigmergyCommit-PT-08a"
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"
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 smart"
echo " Input is StigmergyCommit-PT-08a, 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 r451-smll-167912643600496"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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