Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2023-input.r035-tajo-167813687900248.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2023-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is BridgeAndVehicles-PT-V50P20N50, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r035-tajo-167813687900248
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 15M
-rw-r--r-- 1 mcc users 29K Feb 25 12:48 CTLCardinality.txt
-rw-r--r-- 1 mcc users 156K Feb 25 12:48 CTLCardinality.xml
-rw-r--r-- 1 mcc users 589K Feb 25 12:44 CTLFireability.txt
-rw-r--r-- 1 mcc users 2.1M Feb 25 12:44 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 16K Feb 25 15:36 LTLCardinality.txt
-rw-r--r-- 1 mcc users 58K Feb 25 15:36 LTLCardinality.xml
-rw-r--r-- 1 mcc users 241K Feb 25 15:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 711K Feb 25 15:36 LTLFireability.xml
-rw-r--r-- 1 mcc users 46K Feb 25 14:08 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 253K Feb 25 14:08 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 1.4M Feb 25 14:04 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 5.1M Feb 25 14:03 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.6K Feb 25 15:36 UpperBounds.txt
-rw-r--r-- 1 mcc users 5.7K Feb 25 15:36 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 10 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 4.5M 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 1678464178324

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=BridgeAndVehicles-PT-V50P20N50
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BridgeAndVehicles (PT), instance V50P20N50
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: 168 places, 5408 transitions, 42330 arcs.
AT ITER 0 NEW BEST:: SOT 608712 SOS 595116 HAS SOPS 589566 HAS SOUS 42291 HAS SOUPS 42233 WITH SCORE 42828.116
AT ITER 20 NEW BEST:: SOT 608712 SOS 520438 HAS SOPS 516688 HAS SOUS 42256 HAS SOUPS 42216 WITH SCORE 42736.438
AT ITER 41 NEW BEST:: SOT 610947 SOS 522673 HAS SOPS 518923 HAS SOUS 41123 HAS SOUPS 41083 WITH SCORE 41605.673
AT ITER 48 NEW BEST:: SOT 611008 SOS 522734 HAS SOPS 518984 HAS SOUS 39652 HAS SOUPS 39612 WITH SCORE 40134.734
AT ITER 77 NEW BEST:: SOT 611173 SOS 522899 HAS SOPS 519149 HAS SOUS 38438 HAS SOUPS 38398 WITH SCORE 38920.899
AT ITER 87 NEW BEST:: SOT 611194 SOS 522920 HAS SOPS 519170 HAS SOUS 37621 HAS SOUPS 37581 WITH SCORE 38103.92
AT ITER 100 NEW BEST:: SOT 611193 SOS 522919 HAS SOPS 519169 HAS SOUS 37618 HAS SOUPS 37578 WITH SCORE 38100.919
AT ITER 175 NEW BEST:: SOT 611192 SOS 522918 HAS SOPS 519168 HAS SOUS 37615 HAS SOUPS 37575 WITH SCORE 38097.918
AT ITER 192 NEW BEST:: SOT 611281 SOS 523007 HAS SOPS 519257 HAS SOUS 36937 HAS SOUPS 36897 WITH SCORE 37420.007
AT ITER 209 NEW BEST:: SOT 612148 SOS 523874 HAS SOPS 520124 HAS SOUS 36915 HAS SOUPS 36875 WITH SCORE 37398.874
AT ITER 216 NEW BEST:: SOT 612234 SOS 523960 HAS SOPS 520210 HAS SOUS 33837 HAS SOUPS 33797 WITH SCORE 34320.96
AT ITER 247 NEW BEST:: SOT 612233 SOS 523959 HAS SOPS 520209 HAS SOUS 33834 HAS SOUPS 33794 WITH SCORE 34317.959
AT ITER 260 NEW BEST:: SOT 612222 SOS 523948 HAS SOPS 520198 HAS SOUS 33801 HAS SOUPS 33761 WITH SCORE 34284.948
AT ITER 262 NEW BEST:: SOT 612223 SOS 523949 HAS SOPS 520199 HAS SOUS 33749 HAS SOUPS 33709 WITH SCORE 34232.949
AT ITER 289 NEW BEST:: SOT 612222 SOS 523948 HAS SOPS 520198 HAS SOUS 33746 HAS SOUPS 33706 WITH SCORE 34229.948
AT ITER 290 NEW BEST:: SOT 612192 SOS 523918 HAS SOPS 520168 HAS SOUS 33730 HAS SOUPS 33690 WITH SCORE 34213.918
AT ITER 327 NEW BEST:: SOT 612192 SOS 523918 HAS SOPS 520168 HAS SOUS 31688 HAS SOUPS 31648 WITH SCORE 32171.918
AT ITER 343 NEW BEST:: SOT 612192 SOS 483150 HAS SOPS 481100 HAS SOUS 31654 HAS SOUPS 31631 WITH SCORE 32114.15
AT ITER 352 NEW BEST:: SOT 612333 SOS 483291 HAS SOPS 481241 HAS SOUS 31130 HAS SOUPS 31107 WITH SCORE 31590.291
AT ITER 356 NEW BEST:: SOT 612333 SOS 483291 HAS SOPS 481241 HAS SOUS 31128 HAS SOUPS 31105 WITH SCORE 31588.291
AT ITER 393 NEW BEST:: SOT 612332 SOS 483290 HAS SOPS 481240 HAS SOUS 31125 HAS SOUPS 31102 WITH SCORE 31585.29
AT ITER 401 NEW BEST:: SOT 612330 SOS 483288 HAS SOPS 481238 HAS SOUS 31075 HAS SOUPS 31052 WITH SCORE 31535.288
AT ITER 433 NEW BEST:: SOT 612328 SOS 483286 HAS SOPS 481236 HAS SOUS 31069 HAS SOUPS 31046 WITH SCORE 31529.286
AT ITER 439 NEW BEST:: SOT 612838 SOS 483796 HAS SOPS 481746 HAS SOUS 31047 HAS SOUPS 31024 WITH SCORE 31507.796
AT ITER 459 NEW BEST:: SOT 612838 SOS 484298 HAS SOPS 482248 HAS SOUS 31038 HAS SOUPS 31015 WITH SCORE 31499.298
AT ITER 469 NEW BEST:: SOT 612834 SOS 484294 HAS SOPS 482244 HAS SOUS 31030 HAS SOUPS 31007 WITH SCORE 31491.294
AT ITER 498 NEW BEST:: SOT 613023 SOS 484483 HAS SOPS 482433 HAS SOUS 30707 HAS SOUPS 30684 WITH SCORE 31168.483
AT ITER 523 NEW BEST:: SOT 613022 SOS 484482 HAS SOPS 482432 HAS SOUS 30704 HAS SOUPS 30681 WITH SCORE 31165.482
AT ITER 575 NEW BEST:: SOT 613359 SOS 484819 HAS SOPS 482769 HAS SOUS 30427 HAS SOUPS 30404 WITH SCORE 30888.819
AT ITER 583 NEW BEST:: SOT 613354 SOS 484814 HAS SOPS 482764 HAS SOUS 30412 HAS SOUPS 30389 WITH SCORE 30873.814
AT ITER 584 NEW BEST:: SOT 613353 SOS 484813 HAS SOPS 482763 HAS SOUS 30409 HAS SOUPS 30386 WITH SCORE 30870.813
AT ITER 598 NEW BEST:: SOT 613352 SOS 484812 HAS SOPS 482762 HAS SOUS 30406 HAS SOUPS 30383 WITH SCORE 30867.812
AT ITER 599 NEW BEST:: SOT 613352 SOS 484790 HAS SOPS 482740 HAS SOUS 30395 HAS SOUPS 30372 WITH SCORE 30856.79
AT ITER 602 NEW BEST:: SOT 613370 SOS 484808 HAS SOPS 482758 HAS SOUS 29624 HAS SOUPS 29601 WITH SCORE 30085.808
AT ITER 623 NEW BEST:: SOT 613369 SOS 484807 HAS SOPS 482757 HAS SOUS 29621 HAS SOUPS 29598 WITH SCORE 30082.807
AT ITER 624 NEW BEST:: SOT 613369 SOS 473325 HAS SOPS 472275 HAS SOUS 29601 HAS SOUPS 29588 WITH SCORE 30061.325
AT ITER 638 NEW BEST:: SOT 613365 SOS 473321 HAS SOPS 472271 HAS SOUS 29589 HAS SOUPS 29576 WITH SCORE 30049.321
AT ITER 658 NEW BEST:: SOT 613349 SOS 473305 HAS SOPS 472255 HAS SOUS 29541 HAS SOUPS 29528 WITH SCORE 30001.305
AT ITER 674 NEW BEST:: SOT 613349 SOS 471315 HAS SOPS 470765 HAS SOUS 29532 HAS SOUPS 29524 WITH SCORE 29995.315
AT ITER 678 NEW BEST:: SOT 613349 SOS 470384 HAS SOPS 469834 HAS SOUS 29512 HAS SOUPS 29504 WITH SCORE 29974.384
AT ITER 730 NEW BEST:: SOT 613346 SOS 470381 HAS SOPS 469831 HAS SOUS 29503 HAS SOUPS 29495 WITH SCORE 29965.381
AT ITER 748 NEW BEST:: SOT 613346 SOS 469007 HAS SOPS 468457 HAS SOUS 29475 HAS SOUPS 29467 WITH SCORE 29936.007
AT ITER 753 NEW BEST:: SOT 613601 SOS 469262 HAS SOPS 468712 HAS SOUS 29455 HAS SOUPS 29447 WITH SCORE 29916.262
AT ITER 803 NEW BEST:: SOT 613601 SOS 469260 HAS SOPS 468710 HAS SOUS 29455 HAS SOUPS 29447 WITH SCORE 29916.26
AT ITER 817 NEW BEST:: SOT 613601 SOS 469260 HAS SOPS 468710 HAS SOUS 29449 HAS SOUPS 29441 WITH SCORE 29910.26
AT ITER 858 NEW BEST:: SOT 613597 SOS 469256 HAS SOPS 468706 HAS SOUS 28264 HAS SOUPS 28256 WITH SCORE 28725.256
AT ITER 865 NEW BEST:: SOT 612515 SOS 468330 HAS SOPS 467780 HAS SOUS 27544 HAS SOUPS 27536 WITH SCORE 28004.33
AT ITER 897 NEW BEST:: SOT 612514 SOS 468329 HAS SOPS 467779 HAS SOUS 27541 HAS SOUPS 27533 WITH SCORE 28001.329
AT ITER 899 NEW BEST:: SOT 612513 SOS 468328 HAS SOPS 467778 HAS SOUS 27538 HAS SOUPS 27530 WITH SCORE 27998.328
AT ITER 914 NEW BEST:: SOT 612504 SOS 468319 HAS SOPS 467769 HAS SOUS 27525 HAS SOUPS 27517 WITH SCORE 27985.319
AT ITER 931 NEW BEST:: SOT 611898 SOS 467412 HAS SOPS 466862 HAS SOUS 27367 HAS SOUPS 27359 WITH SCORE 27826.412
AT ITER 938 NEW BEST:: SOT 611898 SOS 467380 HAS SOPS 466830 HAS SOUS 27367 HAS SOUPS 27359 WITH SCORE 27826.38
AT ITER 940 NEW BEST:: SOT 611882 SOS 467364 HAS SOPS 466814 HAS SOUS 27327 HAS SOUPS 27319 WITH SCORE 27786.364
AT ITER 944 NEW BEST:: SOT 612039 SOS 465569 HAS SOPS 465019 HAS SOUS 27151 HAS SOUPS 27143 WITH SCORE 27608.569
AT ITER 980 NEW BEST:: SOT 612039 SOS 465557 HAS SOPS 465007 HAS SOUS 27151 HAS SOUPS 27143 WITH SCORE 27608.557
AT ITER 995 NEW BEST:: SOT 612053 SOS 463783 HAS SOPS 463233 HAS SOUS 27136 HAS SOUPS 27128 WITH SCORE 27591.783
AT ITER 1021 NEW BEST:: SOT 612053 SOS 463761 HAS SOPS 463211 HAS SOUS 27136 HAS SOUPS 27128 WITH SCORE 27591.761
AT ITER 1030 NEW BEST:: SOT 612053 SOS 463659 HAS SOPS 463109 HAS SOUS 27134 HAS SOUPS 27126 WITH SCORE 27589.659
AT ITER 1063 NEW BEST:: SOT 612046 SOS 463652 HAS SOPS 463102 HAS SOUS 27113 HAS SOUPS 27105 WITH SCORE 27568.652
AT ITER 1116 NEW BEST:: SOT 612045 SOS 463651 HAS SOPS 463101 HAS SOUS 27110 HAS SOUPS 27102 WITH SCORE 27565.651
AT ITER 1118 NEW BEST:: SOT 612045 SOS 463619 HAS SOPS 463069 HAS SOUS 27096 HAS SOUPS 27088 WITH SCORE 27551.619
AT ITER 1129 NEW BEST:: SOT 612825 SOS 464399 HAS SOPS 463849 HAS SOUS 27005 HAS SOUPS 26997 WITH SCORE 27461.399
AT ITER 1132 NEW BEST:: SOT 612825 SOS 463697 HAS SOPS 463147 HAS SOUS 26991 HAS SOUPS 26983 WITH SCORE 27446.697
AT ITER 1138 NEW BEST:: SOT 612812 SOS 463684 HAS SOPS 463134 HAS SOUS 26952 HAS SOUPS 26944 WITH SCORE 27407.684
AT ITER 1143 NEW BEST:: SOT 613098 SOS 463970 HAS SOPS 463420 HAS SOUS 26775 HAS SOUPS 26767 WITH SCORE 27230.97
AT ITER 1217 NEW BEST:: SOT 613098 SOS 463968 HAS SOPS 463418 HAS SOUS 26775 HAS SOUPS 26767 WITH SCORE 27230.968
AT ITER 1281 NEW BEST:: SOT 613098 SOS 463966 HAS SOPS 463416 HAS SOUS 26775 HAS SOUPS 26767 WITH SCORE 27230.966
AT ITER 1284 NEW BEST:: SOT 613098 SOS 462891 HAS SOPS 462341 HAS SOUS 26754 HAS SOUPS 26746 WITH SCORE 27208.891
AT ITER 1303 NEW BEST:: SOT 613097 SOS 462890 HAS SOPS 462340 HAS SOUS 26751 HAS SOUPS 26743 WITH SCORE 27205.89
AT ITER 1318 NEW BEST:: SOT 613093 SOS 462886 HAS SOPS 462336 HAS SOUS 26739 HAS SOUPS 26731 WITH SCORE 27193.886
AT ITER 1365 NEW BEST:: SOT 613093 SOS 462884 HAS SOPS 462334 HAS SOUS 26739 HAS SOUPS 26731 WITH SCORE 27193.884
AT ITER 1393 NEW BEST:: SOT 613093 SOS 463078 HAS SOPS 462528 HAS SOUS 26725 HAS SOUPS 26717 WITH SCORE 27180.078
AT ITER 1423 NEW BEST:: SOT 612957 SOS 462942 HAS SOPS 462392 HAS SOUS 26670 HAS SOUPS 26662 WITH SCORE 27124.942
AT ITER 1426 NEW BEST:: SOT 612953 SOS 462938 HAS SOPS 462388 HAS SOUS 26658 HAS SOUPS 26650 WITH SCORE 27112.938
AT ITER 1438 NEW BEST:: SOT 612953 SOS 463490 HAS SOPS 462940 HAS SOUS 26416 HAS SOUPS 26408 WITH SCORE 26871.49
AT ITER 1463 NEW BEST:: SOT 612953 SOS 463489 HAS SOPS 462939 HAS SOUS 26408 HAS SOUPS 26400 WITH SCORE 26863.489
AT ITER 1469 NEW BEST:: SOT 612949 SOS 461985 HAS SOPS 461185 HAS SOUS 26394 HAS SOUPS 26390 WITH SCORE 26851.985
AT ITER 1497 NEW BEST:: SOT 612948 SOS 461984 HAS SOPS 461184 HAS SOUS 26391 HAS SOUPS 26387 WITH SCORE 26848.984
AT ITER 1541 NEW BEST:: SOT 612946 SOS 461982 HAS SOPS 461182 HAS SOUS 26389 HAS SOUPS 26385 WITH SCORE 26846.982
AT ITER 1585 NEW BEST:: SOT 612942 SOS 461978 HAS SOPS 461178 HAS SOUS 26377 HAS SOUPS 26373 WITH SCORE 26834.978
AT ITER 1674 NEW BEST:: SOT 612942 SOS 461978 HAS SOPS 461178 HAS SOUS 26357 HAS SOUPS 26353 WITH SCORE 26814.978
AT ITER 1740 NEW BEST:: SOT 612934 SOS 461970 HAS SOPS 461170 HAS SOUS 26333 HAS SOUPS 26329 WITH SCORE 26790.97
AT ITER 1870 NEW BEST:: SOT 612934 SOS 461770 HAS SOPS 461770 HAS SOUS 26320 HAS SOUPS 26320 WITH SCORE 26781.77
AT ITER 1908 NEW BEST:: SOT 612934 SOS 461746 HAS SOPS 461746 HAS SOUS 26320 HAS SOUPS 26320 WITH SCORE 26781.746
AT ITER 1927 NEW BEST:: SOT 612934 SOS 461744 HAS SOPS 461744 HAS SOUS 26320 HAS SOUPS 26320 WITH SCORE 26781.744
AT ITER 1936 NEW BEST:: SOT 612933 SOS 461743 HAS SOPS 461743 HAS SOUS 26317 HAS SOUPS 26317 WITH SCORE 26778.743
AT ITER 1944 NEW BEST:: SOT 612933 SOS 461741 HAS SOPS 461741 HAS SOUS 26317 HAS SOUPS 26317 WITH SCORE 26778.741
AT ITER 1958 NEW BEST:: SOT 612928 SOS 461730 HAS SOPS 461730 HAS SOUS 26303 HAS SOUPS 26303 WITH SCORE 26764.73
AT ITER 2095 NEW BEST:: SOT 612927 SOS 461729 HAS SOPS 461729 HAS SOUS 26300 HAS SOUPS 26300 WITH SCORE 26761.729
AT ITER 2112 NEW BEST:: SOT 612919 SOS 461721 HAS SOPS 461721 HAS SOUS 26276 HAS SOUPS 26276 WITH SCORE 26737.721
AT ITER 2114 NEW BEST:: SOT 612917 SOS 461719 HAS SOPS 461719 HAS SOUS 26270 HAS SOUPS 26270 WITH SCORE 26731.719
AT ITER 2119 NEW BEST:: SOT 612916 SOS 461718 HAS SOPS 461718 HAS SOUS 26267 HAS SOUPS 26267 WITH SCORE 26728.718
AT ITER 2129 NEW BEST:: SOT 613120 SOS 461922 HAS SOPS 461922 HAS SOUS 26214 HAS SOUPS 26214 WITH SCORE 26675.922
AT ITER 2147 NEW BEST:: SOT 613115 SOS 461917 HAS SOPS 461917 HAS SOUS 26199 HAS SOUPS 26199 WITH SCORE 26660.917
AT ITER 2184 NEW BEST:: SOT 613567 SOS 462369 HAS SOPS 462369 HAS SOUS 26162 HAS SOUPS 26162 WITH SCORE 26624.369
AT ITER 2209 NEW BEST:: SOT 613559 SOS 462361 HAS SOPS 462361 HAS SOUS 26138 HAS SOUPS 26138 WITH SCORE 26600.361
AT ITER 2211 NEW BEST:: SOT 613551 SOS 462353 HAS SOPS 462353 HAS SOUS 26114 HAS SOUPS 26114 WITH SCORE 26576.353
AT ITER 2236 NEW BEST:: SOT 613551 SOS 462351 HAS SOPS 462351 HAS SOUS 26114 HAS SOUPS 26114 WITH SCORE 26576.351
AT ITER 2254 NEW BEST:: SOT 613550 SOS 462350 HAS SOPS 462350 HAS SOUS 26111 HAS SOUPS 26111 WITH SCORE 26573.35
AT ITER 2260 NEW BEST:: SOT 613547 SOS 462347 HAS SOPS 462347 HAS SOUS 26104 HAS SOUPS 26104 WITH SCORE 26566.347
AT ITER 2316 NEW BEST:: SOT 613547 SOS 462345 HAS SOPS 462345 HAS SOUS 26104 HAS SOUPS 26104 WITH SCORE 26566.345
AT ITER 2340 NEW BEST:: SOT 613544 SOS 462342 HAS SOPS 462342 HAS SOUS 26095 HAS SOUPS 26095 WITH SCORE 26557.342
AT ITER 2497 NEW BEST:: SOT 613544 SOS 462338 HAS SOPS 462338 HAS SOUS 26095 HAS SOUPS 26095 WITH SCORE 26557.338
AT ITER 2523 NEW BEST:: SOT 613542 SOS 462336 HAS SOPS 462336 HAS SOUS 26089 HAS SOUPS 26089 WITH SCORE 26551.336
AT ITER 2549 NEW BEST:: SOT 613542 SOS 462332 HAS SOPS 462332 HAS SOUS 26089 HAS SOUPS 26089 WITH SCORE 26551.332
AT ITER 2674 NEW BEST:: SOT 613542 SOS 462328 HAS SOPS 462328 HAS SOUS 26089 HAS SOUPS 26089 WITH SCORE 26551.328
AT ITER 2717 NEW BEST:: SOT 613535 SOS 462369 HAS SOPS 462369 HAS SOUS 26084 HAS SOUPS 26084 WITH SCORE 26546.369
AT ITER 2722 NEW BEST:: SOT 613535 SOS 462368 HAS SOPS 462368 HAS SOUS 26083 HAS SOUPS 26083 WITH SCORE 26545.368
AT ITER 2730 NEW BEST:: SOT 613535 SOS 462315 HAS SOPS 462315 HAS SOUS 26082 HAS SOUPS 26082 WITH SCORE 26544.315
AT ITER 2747 NEW BEST:: SOT 613534 SOS 462314 HAS SOPS 462314 HAS SOUS 26081 HAS SOUPS 26081 WITH SCORE 26543.314
AT ITER 2785 NEW BEST:: SOT 613530 SOS 462310 HAS SOPS 462310 HAS SOUS 25865 HAS SOUPS 25865 WITH SCORE 26327.31
AT ITER 2830 NEW BEST:: SOT 613523 SOS 462303 HAS SOPS 462303 HAS SOUS 25858 HAS SOUPS 25858 WITH SCORE 26320.303
AT ITER 2833 NEW BEST:: SOT 613517 SOS 462297 HAS SOPS 462297 HAS SOUS 25840 HAS SOUPS 25840 WITH SCORE 26302.297
AT ITER 2836 NEW BEST:: SOT 613517 SOS 462295 HAS SOPS 462295 HAS SOUS 25840 HAS SOUPS 25840 WITH SCORE 26302.295
AT ITER 2850 NEW BEST:: SOT 613517 SOS 462292 HAS SOPS 462292 HAS SOUS 25837 HAS SOUPS 25837 WITH SCORE 26299.292
AT ITER 2959 NEW BEST:: SOT 613516 SOS 462291 HAS SOPS 462291 HAS SOUS 25834 HAS SOUPS 25834 WITH SCORE 26296.291
AT ITER 3009 NEW BEST:: SOT 613514 SOS 462289 HAS SOPS 462289 HAS SOUS 25828 HAS SOUPS 25828 WITH SCORE 26290.289
AT ITER 3133 NEW BEST:: SOT 613514 SOS 462285 HAS SOPS 462285 HAS SOUS 25828 HAS SOUPS 25828 WITH SCORE 26290.285
AT ITER 3142 NEW BEST:: SOT 613509 SOS 462280 HAS SOPS 462280 HAS SOUS 25813 HAS SOUPS 25813 WITH SCORE 26275.28
AT ITER 3168 NEW BEST:: SOT 613501 SOS 462272 HAS SOPS 462272 HAS SOUS 25789 HAS SOUPS 25789 WITH SCORE 26251.272
AT ITER 3190 NEW BEST:: SOT 613499 SOS 462270 HAS SOPS 462270 HAS SOUS 25783 HAS SOUPS 25783 WITH SCORE 26245.27
AT ITER 3194 NEW BEST:: SOT 613494 SOS 462265 HAS SOPS 462265 HAS SOUS 25768 HAS SOUPS 25768 WITH SCORE 26230.265
AT ITER 3260 NEW BEST:: SOT 613494 SOS 462259 HAS SOPS 462259 HAS SOUS 25768 HAS SOUPS 25768 WITH SCORE 26230.259
AT ITER 3301 NEW BEST:: SOT 613494 SOS 462635 HAS SOPS 462635 HAS SOUS 25592 HAS SOUPS 25592 WITH SCORE 26054.635
AT ITER 3311 NEW BEST:: SOT 613494 SOS 462621 HAS SOPS 462621 HAS SOUS 25592 HAS SOUPS 25592 WITH SCORE 26054.621
AT ITER 3325 NEW BEST:: SOT 613494 SOS 462717 HAS SOPS 462717 HAS SOUS 25546 HAS SOUPS 25546 WITH SCORE 26008.717
AT ITER 3375 NEW BEST:: SOT 613488 SOS 462711 HAS SOPS 462711 HAS SOUS 25222 HAS SOUPS 25222 WITH SCORE 25684.711
AT ITER 3396 NEW BEST:: SOT 613488 SOS 462707 HAS SOPS 462707 HAS SOUS 25222 HAS SOUPS 25222 WITH SCORE 25684.707
AT ITER 3424 NEW BEST:: SOT 613472 SOS 462691 HAS SOPS 462691 HAS SOUS 24919 HAS SOUPS 24919 WITH SCORE 25381.691
AT ITER 3429 NEW BEST:: SOT 613467 SOS 462686 HAS SOPS 462686 HAS SOUS 24904 HAS SOUPS 24904 WITH SCORE 25366.686
AT ITER 3441 NEW BEST:: SOT 613466 SOS 462685 HAS SOPS 462685 HAS SOUS 24901 HAS SOUPS 24901 WITH SCORE 25363.685
AT ITER 3483 NEW BEST:: SOT 613463 SOS 462682 HAS SOPS 462682 HAS SOUS 24892 HAS SOUPS 24892 WITH SCORE 25354.682
AT ITER 3519 NEW BEST:: SOT 613458 SOS 462627 HAS SOPS 462327 HAS SOUS 24850 HAS SOUPS 24848 WITH SCORE 25310.627
AT ITER 3592 NEW BEST:: SOT 613368 SOS 462787 HAS SOPS 462437 HAS SOUS 24804 HAS SOUPS 24802 WITH SCORE 25264.787
AT ITER 3617 NEW BEST:: SOT 612999 SOS 464367 HAS SOPS 464367 HAS SOUS 24784 HAS SOUPS 24784 WITH SCORE 25248.367
AT ITER 3646 NEW BEST:: SOT 612999 SOS 464210 HAS SOPS 464210 HAS SOUS 24781 HAS SOUPS 24781 WITH SCORE 25245.21
AT ITER 3661 NEW BEST:: SOT 612990 SOS 464245 HAS SOPS 464245 HAS SOUS 24764 HAS SOUPS 24764 WITH SCORE 25228.245
AT ITER 3673 NEW BEST:: SOT 612989 SOS 464244 HAS SOPS 464244 HAS SOUS 24763 HAS SOUPS 24763 WITH SCORE 25227.244
AT ITER 3688 NEW BEST:: SOT 612988 SOS 464243 HAS SOPS 464243 HAS SOUS 24709 HAS SOUPS 24709 WITH SCORE 25173.243
AT ITER 3796 NEW BEST:: SOT 612986 SOS 464241 HAS SOPS 464241 HAS SOUS 24709 HAS SOUPS 24709 WITH SCORE 25173.241
AT ITER 3836 NEW BEST:: SOT 612988 SOS 464243 HAS SOPS 464243 HAS SOUS 24460 HAS SOUPS 24460 WITH SCORE 24924.243
AT ITER 3918 NEW BEST:: SOT 612988 SOS 464235 HAS SOPS 464235 HAS SOUS 24460 HAS SOUPS 24460 WITH SCORE 24924.235
AT ITER 3942 NEW BEST:: SOT 612986 SOS 464233 HAS SOPS 464233 HAS SOUS 24454 HAS SOUPS 24454 WITH SCORE 24918.233
AT ITER 4152 NEW BEST:: SOT 612983 SOS 464230 HAS SOPS 464230 HAS SOUS 24445 HAS SOUPS 24445 WITH SCORE 24909.23
AT ITER 4198 NEW BEST:: SOT 612983 SOS 463748 HAS SOPS 463748 HAS SOUS 24436 HAS SOUPS 24436 WITH SCORE 24899.748
AT ITER 4456 NEW BEST:: SOT 612981 SOS 463746 HAS SOPS 463746 HAS SOUS 24430 HAS SOUPS 24430 WITH SCORE 24893.746
AT ITER 4543 NEW BEST:: SOT 612979 SOS 463744 HAS SOPS 463744 HAS SOUS 24424 HAS SOUPS 24424 WITH SCORE 24887.744
AT ITER 4598 NEW BEST:: SOT 612979 SOS 463484 HAS SOPS 463484 HAS SOUS 24419 HAS SOUPS 24419 WITH SCORE 24882.484
AT ITER 4683 NEW BEST:: SOT 612977 SOS 463482 HAS SOPS 463482 HAS SOUS 24413 HAS SOUPS 24413 WITH SCORE 24876.482
AT ITER 4704 NEW BEST:: SOT 612976 SOS 463481 HAS SOPS 463481 HAS SOUS 24410 HAS SOUPS 24410 WITH SCORE 24873.481
AT ITER 4732 NEW BEST:: SOT 612976 SOS 463477 HAS SOPS 463477 HAS SOUS 24410 HAS SOUPS 24410 WITH SCORE 24873.477
AT ITER 4739 NEW BEST:: SOT 612974 SOS 463475 HAS SOPS 463475 HAS SOUS 24404 HAS SOUPS 24404 WITH SCORE 24867.475
AT ITER 4742 NEW BEST:: SOT 612971 SOS 463472 HAS SOPS 463472 HAS SOUS 24395 HAS SOUPS 24395 WITH SCORE 24858.472
AT ITER 4802 NEW BEST:: SOT 612971 SOS 463468 HAS SOPS 463468 HAS SOUS 24395 HAS SOUPS 24395 WITH SCORE 24858.468
AT ITER 4892 NEW BEST:: SOT 612933 SOS 464990 HAS SOPS 464990 HAS SOUS 24359 HAS SOUPS 24359 WITH SCORE 24823.99
AT ITER 4900 NEW BEST:: SOT 612931 SOS 464962 HAS SOPS 464962 HAS SOUS 24353 HAS SOUPS 24353 WITH SCORE 24817.962
AT ITER 4962 NEW BEST:: SOT 612928 SOS 464959 HAS SOPS 464959 HAS SOUS 24344 HAS SOUPS 24344 WITH SCORE 24808.959
AT ITER 4999 NEW BEST:: SOT 612926 SOS 464957 HAS SOPS 464957 HAS SOUS 24338 HAS SOUPS 24338 WITH SCORE 24802.957
AT ITER 5019 NEW BEST:: SOT 612926 SOS 464955 HAS SOPS 464955 HAS SOUS 24338 HAS SOUPS 24338 WITH SCORE 24802.955
AT ITER 5049 NEW BEST:: SOT 612925 SOS 464550 HAS SOPS 464550 HAS SOUS 24336 HAS SOUPS 24336 WITH SCORE 24800.55
AT ITER 5090 NEW BEST:: SOT 612923 SOS 464548 HAS SOPS 464548 HAS SOUS 24330 HAS SOUPS 24330 WITH SCORE 24794.548
AT ITER 5112 NEW BEST:: SOT 612923 SOS 464540 HAS SOPS 464540 HAS SOUS 24330 HAS SOUPS 24330 WITH SCORE 24794.54
AT ITER 5127 NEW BEST:: SOT 612920 SOS 464537 HAS SOPS 464537 HAS SOUS 24321 HAS SOUPS 24321 WITH SCORE 24785.537
AT ITER 5132 NEW BEST:: SOT 612917 SOS 464534 HAS SOPS 464534 HAS SOUS 24312 HAS SOUPS 24312 WITH SCORE 24776.534
AT ITER 5151 NEW BEST:: SOT 612916 SOS 464533 HAS SOPS 464533 HAS SOUS 24309 HAS SOUPS 24309 WITH SCORE 24773.533
AT ITER 5269 NEW BEST:: SOT 612915 SOS 464532 HAS SOPS 464532 HAS SOUS 24306 HAS SOUPS 24306 WITH SCORE 24770.532
AT ITER 5375 NEW BEST:: SOT 612914 SOS 464531 HAS SOPS 464531 HAS SOUS 24303 HAS SOUPS 24303 WITH SCORE 24767.531
AT ITER 5416 NEW BEST:: SOT 612914 SOS 464527 HAS SOPS 464527 HAS SOUS 24303 HAS SOUPS 24303 WITH SCORE 24767.527
AT ITER 5431 NEW BEST:: SOT 613033 SOS 463295 HAS SOPS 463295 HAS SOUS 24254 HAS SOUPS 24254 WITH SCORE 24717.295
AT ITER 5486 NEW BEST:: SOT 613033 SOS 463133 HAS SOPS 463133 HAS SOUS 24251 HAS SOUPS 24251 WITH SCORE 24714.133
AT ITER 5493 NEW BEST:: SOT 613032 SOS 463132 HAS SOPS 463132 HAS SOUS 24248 HAS SOUPS 24248 WITH SCORE 24711.132
AT ITER 5543 NEW BEST:: SOT 613032 SOS 463081 HAS SOPS 463081 HAS SOUS 24247 HAS SOUPS 24247 WITH SCORE 24710.081
AT ITER 5826 NEW BEST:: SOT 613031 SOS 463080 HAS SOPS 463080 HAS SOUS 24244 HAS SOUPS 24244 WITH SCORE 24707.08
AT ITER 5867 NEW BEST:: SOT 613030 SOS 463079 HAS SOPS 463079 HAS SOUS 24241 HAS SOUPS 24241 WITH SCORE 24704.079
AT ITER 5891 NEW BEST:: SOT 613029 SOS 463077 HAS SOPS 463077 HAS SOUS 24235 HAS SOUPS 24235 WITH SCORE 24698.077
AT ITER 5919 NEW BEST:: SOT 613028 SOS 463076 HAS SOPS 463076 HAS SOUS 24232 HAS SOUPS 24232 WITH SCORE 24695.076
AT ITER 5959 NEW BEST:: SOT 613024 SOS 463072 HAS SOPS 463072 HAS SOUS 24220 HAS SOUPS 24220 WITH SCORE 24683.072
AT ITER 6093 NEW BEST:: SOT 613024 SOS 463070 HAS SOPS 463070 HAS SOUS 24220 HAS SOUPS 24220 WITH SCORE 24683.07
AT ITER 6149 NEW BEST:: SOT 613225 SOS 463271 HAS SOPS 463271 HAS SOUS 24209 HAS SOUPS 24209 WITH SCORE 24672.271
AT ITER 6175 NEW BEST:: SOT 613224 SOS 463270 HAS SOPS 463270 HAS SOUS 24204 HAS SOUPS 24204 WITH SCORE 24667.27
AT ITER 6234 NEW BEST:: SOT 613172 SOS 463219 HAS SOPS 463219 HAS SOUS 24153 HAS SOUPS 24153 WITH SCORE 24616.219
AT ITER 6312 NEW BEST:: SOT 613171 SOS 463218 HAS SOPS 463218 HAS SOUS 24150 HAS SOUPS 24150 WITH SCORE 24613.218
AT ITER 6435 NEW BEST:: SOT 613162 SOS 463209 HAS SOPS 463209 HAS SOUS 24123 HAS SOUPS 24123 WITH SCORE 24586.209
AT ITER 6452 NEW BEST:: SOT 613162 SOS 463205 HAS SOPS 463205 HAS SOUS 24123 HAS SOUPS 24123 WITH SCORE 24586.205
AT ITER 6528 NEW BEST:: SOT 613158 SOS 463201 HAS SOPS 463201 HAS SOUS 24111 HAS SOUPS 24111 WITH SCORE 24574.201
AT ITER 6583 NEW BEST:: SOT 613158 SOS 463189 HAS SOPS 463189 HAS SOUS 24111 HAS SOUPS 24111 WITH SCORE 24574.189
AT ITER 6677 NEW BEST:: SOT 613156 SOS 463187 HAS SOPS 463187 HAS SOUS 24101 HAS SOUPS 24101 WITH SCORE 24564.187
AT ITER 6693 NEW BEST:: SOT 613156 SOS 462193 HAS SOPS 462193 HAS SOUS 24057 HAS SOUPS 24057 WITH SCORE 24519.193
AT ITER 6767 NEW BEST:: SOT 613155 SOS 462192 HAS SOPS 462192 HAS SOUS 24054 HAS SOUPS 24054 WITH SCORE 24516.192
AT ITER 6783 NEW BEST:: SOT 613151 SOS 462188 HAS SOPS 462188 HAS SOUS 23940 HAS SOUPS 23940 WITH SCORE 24402.188
AT ITER 6841 NEW BEST:: SOT 613150 SOS 462187 HAS SOPS 462187 HAS SOUS 23937 HAS SOUPS 23937 WITH SCORE 24399.187
AT ITER 6856 NEW BEST:: SOT 613150 SOS 462183 HAS SOPS 462183 HAS SOUS 23937 HAS SOUPS 23937 WITH SCORE 24399.183
AT ITER 6891 NEW BEST:: SOT 613149 SOS 462182 HAS SOPS 462182 HAS SOUS 23934 HAS SOUPS 23934 WITH SCORE 24396.182
AT ITER 7042 NEW BEST:: SOT 613145 SOS 462178 HAS SOPS 462178 HAS SOUS 23922 HAS SOUPS 23922 WITH SCORE 24384.178
AT ITER 7057 NEW BEST:: SOT 613143 SOS 462176 HAS SOPS 462176 HAS SOUS 23916 HAS SOUPS 23916 WITH SCORE 24378.176
AT ITER 7099 NEW BEST:: SOT 613143 SOS 462174 HAS SOPS 462174 HAS SOUS 23916 HAS SOUPS 23916 WITH SCORE 24378.174
AT ITER 7109 NEW BEST:: SOT 613141 SOS 462172 HAS SOPS 462172 HAS SOUS 23910 HAS SOUPS 23910 WITH SCORE 24372.172
AT ITER 7210 NEW BEST:: SOT 613139 SOS 462170 HAS SOPS 462170 HAS SOUS 23904 HAS SOUPS 23904 WITH SCORE 24366.17
AT ITER 7548 NEW BEST:: SOT 613138 SOS 462169 HAS SOPS 462169 HAS SOUS 23901 HAS SOUPS 23901 WITH SCORE 24363.169
AT ITER 7695 NEW BEST:: SOT 613135 SOS 462166 HAS SOPS 462166 HAS SOUS 23892 HAS SOUPS 23892 WITH SCORE 24354.166
AT ITER 7863 NEW BEST:: SOT 613131 SOS 462162 HAS SOPS 462162 HAS SOUS 23880 HAS SOUPS 23880 WITH SCORE 24342.162
AT ITER 7873 NEW BEST:: SOT 613130 SOS 462161 HAS SOPS 462161 HAS SOUS 23877 HAS SOUPS 23877 WITH SCORE 24339.161
AT ITER 7962 NEW BEST:: SOT 613130 SOS 462145 HAS SOPS 462145 HAS SOUS 23877 HAS SOUPS 23877 WITH SCORE 24339.145
AT ITER 8006 NEW BEST:: SOT 613129 SOS 462144 HAS SOPS 462144 HAS SOUS 23874 HAS SOUPS 23874 WITH SCORE 24336.144
AT ITER 8070 NEW BEST:: SOT 613129 SOS 462142 HAS SOPS 462142 HAS SOUS 23874 HAS SOUPS 23874 WITH SCORE 24336.142
AT ITER 8162 NEW BEST:: SOT 613128 SOS 462141 HAS SOPS 462141 HAS SOUS 23871 HAS SOUPS 23871 WITH SCORE 24333.141
AT ITER 8305 NEW BEST:: SOT 613127 SOS 462140 HAS SOPS 462140 HAS SOUS 23868 HAS SOUPS 23868 WITH SCORE 24330.14
AT ITER 8400 NEW BEST:: SOT 613176 SOS 462189 HAS SOPS 462189 HAS SOUS 23862 HAS SOUPS 23862 WITH SCORE 24324.189
AT ITER 8663 NEW BEST:: SOT 613176 SOS 462187 HAS SOPS 462187 HAS SOUS 23862 HAS SOUPS 23862 WITH SCORE 24324.187
AT ITER 8713 NEW BEST:: SOT 613175 SOS 462186 HAS SOPS 462186 HAS SOUS 23859 HAS SOUPS 23859 WITH SCORE 24321.186
AT ITER 8775 NEW BEST:: SOT 613174 SOS 462185 HAS SOPS 462185 HAS SOUS 23856 HAS SOUPS 23856 WITH SCORE 24318.185
AT ITER 8819 NEW BEST:: SOT 613173 SOS 462184 HAS SOPS 462184 HAS SOUS 23853 HAS SOUPS 23853 WITH SCORE 24315.184
AT ITER 8973 NEW BEST:: SOT 613172 SOS 462183 HAS SOPS 462183 HAS SOUS 23850 HAS SOUPS 23850 WITH SCORE 24312.183
AT ITER 9223 NEW BEST:: SOT 613164 SOS 462175 HAS SOPS 462175 HAS SOUS 23826 HAS SOUPS 23826 WITH SCORE 24288.175
AT ITER 9309 NEW BEST:: SOT 613163 SOS 462174 HAS SOPS 462174 HAS SOUS 23823 HAS SOUPS 23823 WITH SCORE 24285.174
AT ITER 9313 NEW BEST:: SOT 613162 SOS 462173 HAS SOPS 462173 HAS SOUS 23820 HAS SOUPS 23820 WITH SCORE 24282.173
AT ITER 9392 NEW BEST:: SOT 613157 SOS 462168 HAS SOPS 462168 HAS SOUS 23805 HAS SOUPS 23805 WITH SCORE 24267.168
AT ITER 9399 NEW BEST:: SOT 613157 SOS 462156 HAS SOPS 462156 HAS SOUS 23805 HAS SOUPS 23805 WITH SCORE 24267.156
AT ITER 9433 NEW BEST:: SOT 613156 SOS 462155 HAS SOPS 462155 HAS SOUS 23802 HAS SOUPS 23802 WITH SCORE 24264.155
AT ITER 9510 NEW BEST:: SOT 613156 SOS 462147 HAS SOPS 462147 HAS SOUS 23802 HAS SOUPS 23802 WITH SCORE 24264.147
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16394036 kB
MemFree: 14429168 kB
After kill :
MemTotal: 16394036 kB
MemFree: 16132604 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

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="BridgeAndVehicles-PT-V50P20N50"
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 BridgeAndVehicles-PT-V50P20N50, 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 r035-tajo-167813687900248"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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