Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2020-input.r093-oct2-158940140300251.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is HypercubeGrid-PT-C3K4P4B12, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r093-oct2-158940140300251
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.5M
-rw-r--r-- 1 mcc users 4.7K Apr 27 15:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 27 15:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.3K Apr 27 15:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 27 15:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 27 15:14 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.9K Apr 27 15:14 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 4.4K Apr 27 15:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Apr 27 15:14 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.3K Apr 27 15:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 27 15:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.9K Apr 27 15:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 27 15:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Apr 27 15:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Apr 27 15:14 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Apr 27 15:14 equiv_col
-rw-r--r-- 1 mcc users 10 Apr 27 15:14 instance
-rw-r--r-- 1 mcc users 6 Apr 27 15:14 iscolored
-rwxr-xr-x 1 mcc users 1.3M Apr 27 15:14 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME HypercubeGrid-PT-C3K4P4B12-CTLCardinality-00
FORMULA_NAME HypercubeGrid-PT-C3K4P4B12-CTLCardinality-01
FORMULA_NAME HypercubeGrid-PT-C3K4P4B12-CTLCardinality-02
FORMULA_NAME HypercubeGrid-PT-C3K4P4B12-CTLCardinality-03
FORMULA_NAME HypercubeGrid-PT-C3K4P4B12-CTLCardinality-04
FORMULA_NAME HypercubeGrid-PT-C3K4P4B12-CTLCardinality-05
FORMULA_NAME HypercubeGrid-PT-C3K4P4B12-CTLCardinality-06
FORMULA_NAME HypercubeGrid-PT-C3K4P4B12-CTLCardinality-07
FORMULA_NAME HypercubeGrid-PT-C3K4P4B12-CTLCardinality-08
FORMULA_NAME HypercubeGrid-PT-C3K4P4B12-CTLCardinality-09
FORMULA_NAME HypercubeGrid-PT-C3K4P4B12-CTLCardinality-10
FORMULA_NAME HypercubeGrid-PT-C3K4P4B12-CTLCardinality-11
FORMULA_NAME HypercubeGrid-PT-C3K4P4B12-CTLCardinality-12
FORMULA_NAME HypercubeGrid-PT-C3K4P4B12-CTLCardinality-13
FORMULA_NAME HypercubeGrid-PT-C3K4P4B12-CTLCardinality-14
FORMULA_NAME HypercubeGrid-PT-C3K4P4B12-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589613906862

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running HypercubeGrid (PT), instance C3K4P4B12
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 1408 places, 2400 transitions, 9600 arcs.
AT ITER 0 NEW BEST:: SOT 1859212 SOS 340389 HAS SOPS 340389 HAS SOUS 163880 HAS SOUPS 163880 WITH SCORE 164220.389
AT ITER 3 NEW BEST:: SOT 1859238 SOS 340441 HAS SOPS 340441 HAS SOUS 163800 HAS SOUPS 163800 WITH SCORE 164140.441
AT ITER 4 NEW BEST:: SOT 1859238 SOS 340593 HAS SOPS 340593 HAS SOUS 163696 HAS SOUPS 163696 WITH SCORE 164036.593
AT ITER 25 NEW BEST:: SOT 1859238 SOS 340593 HAS SOPS 340593 HAS SOUS 163664 HAS SOUPS 163664 WITH SCORE 164004.593
AT ITER 47 NEW BEST:: SOT 1859226 SOS 340509 HAS SOPS 340509 HAS SOUS 163656 HAS SOUPS 163656 WITH SCORE 163996.509
AT ITER 58 NEW BEST:: SOT 1859226 SOS 340594 HAS SOPS 340594 HAS SOUS 163625 HAS SOUPS 163625 WITH SCORE 163965.594
AT ITER 70 NEW BEST:: SOT 1858881 SOS 340180 HAS SOPS 340180 HAS SOUS 163123 HAS SOUPS 163123 WITH SCORE 163463.18
AT ITER 113 NEW BEST:: SOT 1858837 SOS 340136 HAS SOPS 340136 HAS SOUS 163079 HAS SOUPS 163079 WITH SCORE 163419.136
AT ITER 119 NEW BEST:: SOT 1858627 SOS 339716 HAS SOPS 339716 HAS SOUS 162839 HAS SOUPS 162839 WITH SCORE 163178.716
AT ITER 134 NEW BEST:: SOT 1858702 SOS 339812 HAS SOPS 339812 HAS SOUS 162823 HAS SOUPS 162823 WITH SCORE 163162.812
AT ITER 168 NEW BEST:: SOT 1858702 SOS 339812 HAS SOPS 339812 HAS SOUS 162814 HAS SOUPS 162814 WITH SCORE 163153.812
AT ITER 190 NEW BEST:: SOT 1858702 SOS 339812 HAS SOPS 339812 HAS SOUS 162787 HAS SOUPS 162787 WITH SCORE 163126.812
AT ITER 232 NEW BEST:: SOT 1858638 SOS 339684 HAS SOPS 339684 HAS SOUS 162555 HAS SOUPS 162555 WITH SCORE 162894.684
AT ITER 291 NEW BEST:: SOT 1858608 SOS 339624 HAS SOPS 339624 HAS SOUS 162487 HAS SOUPS 162487 WITH SCORE 162826.624
AT ITER 307 NEW BEST:: SOT 1858608 SOS 339624 HAS SOPS 339624 HAS SOUS 162460 HAS SOUPS 162460 WITH SCORE 162799.624
AT ITER 308 NEW BEST:: SOT 1858608 SOS 339281 HAS SOPS 339281 HAS SOUS 162417 HAS SOUPS 162417 WITH SCORE 162756.281
AT ITER 382 NEW BEST:: SOT 1858607 SOS 339280 HAS SOPS 339280 HAS SOUS 162416 HAS SOUPS 162416 WITH SCORE 162755.28
AT ITER 400 NEW BEST:: SOT 1858463 SOS 339136 HAS SOPS 339136 HAS SOUS 162272 HAS SOUPS 162272 WITH SCORE 162611.136
AT ITER 416 NEW BEST:: SOT 1858463 SOS 339124 HAS SOPS 339124 HAS SOUS 162260 HAS SOUPS 162260 WITH SCORE 162599.124
AT ITER 464 NEW BEST:: SOT 1858456 SOS 339110 HAS SOPS 339110 HAS SOUS 162246 HAS SOUPS 162246 WITH SCORE 162585.11
AT ITER 497 NEW BEST:: SOT 1858527 SOS 339252 HAS SOPS 339252 HAS SOUS 162232 HAS SOUPS 162232 WITH SCORE 162571.252
AT ITER 531 NEW BEST:: SOT 1858527 SOS 339252 HAS SOPS 339252 HAS SOUS 162229 HAS SOUPS 162229 WITH SCORE 162568.252
AT ITER 533 NEW BEST:: SOT 1858394 SOS 338986 HAS SOPS 338986 HAS SOUS 162081 HAS SOUPS 162081 WITH SCORE 162419.986
AT ITER 545 NEW BEST:: SOT 1858385 SOS 338865 HAS SOPS 338865 HAS SOUS 162068 HAS SOUPS 162068 WITH SCORE 162406.865
AT ITER 548 NEW BEST:: SOT 1858081 SOS 338257 HAS SOPS 338257 HAS SOUS 161796 HAS SOUPS 161796 WITH SCORE 162134.257
AT ITER 564 NEW BEST:: SOT 1857861 SOS 337993 HAS SOPS 337993 HAS SOUS 161532 HAS SOUPS 161532 WITH SCORE 161869.993
AT ITER 569 NEW BEST:: SOT 1857793 SOS 337585 HAS SOPS 337585 HAS SOUS 161396 HAS SOUPS 161396 WITH SCORE 161733.585
AT ITER 591 NEW BEST:: SOT 1857755 SOS 337547 HAS SOPS 337547 HAS SOUS 161264 HAS SOUPS 161264 WITH SCORE 161601.547
AT ITER 595 NEW BEST:: SOT 1857735 SOS 337427 HAS SOPS 337427 HAS SOUS 161224 HAS SOUPS 161224 WITH SCORE 161561.427
AT ITER 662 NEW BEST:: SOT 1857685 SOS 337377 HAS SOPS 337377 HAS SOUS 161174 HAS SOUPS 161174 WITH SCORE 161511.377
AT ITER 667 NEW BEST:: SOT 1857549 SOS 337241 HAS SOPS 337241 HAS SOUS 161038 HAS SOUPS 161038 WITH SCORE 161375.241
AT ITER 778 NEW BEST:: SOT 1857492 SOS 336899 HAS SOPS 336899 HAS SOUS 160924 HAS SOUPS 160924 WITH SCORE 161260.899
AT ITER 804 NEW BEST:: SOT 1857452 SOS 336859 HAS SOPS 336859 HAS SOUS 160900 HAS SOUPS 160900 WITH SCORE 161236.859
AT ITER 840 NEW BEST:: SOT 1857187 SOS 336541 HAS SOPS 336541 HAS SOUS 160582 HAS SOUPS 160582 WITH SCORE 160918.541
AT ITER 842 NEW BEST:: SOT 1857318 SOS 336803 HAS SOPS 336803 HAS SOUS 160568 HAS SOUPS 160568 WITH SCORE 160904.803
AT ITER 847 NEW BEST:: SOT 1857043 SOS 336473 HAS SOPS 336473 HAS SOUS 160198 HAS SOUPS 160198 WITH SCORE 160534.473
AT ITER 849 NEW BEST:: SOT 1857043 SOS 336153 HAS SOPS 336153 HAS SOUS 160134 HAS SOUPS 160134 WITH SCORE 160470.153
AT ITER 952 NEW BEST:: SOT 1857037 SOS 336117 HAS SOPS 336117 HAS SOUS 160122 HAS SOUPS 160122 WITH SCORE 160458.117
AT ITER 986 NEW BEST:: SOT 1857002 SOS 335872 HAS SOPS 335872 HAS SOUS 160017 HAS SOUPS 160017 WITH SCORE 160352.872
AT ITER 998 NEW BEST:: SOT 1856986 SOS 335840 HAS SOPS 335840 HAS SOUS 159985 HAS SOUPS 159985 WITH SCORE 160320.84
AT ITER 1036 NEW BEST:: SOT 1856951 SOS 335819 HAS SOPS 335819 HAS SOUS 159964 HAS SOUPS 159964 WITH SCORE 160299.819
AT ITER 1039 NEW BEST:: SOT 1856751 SOS 335419 HAS SOPS 335419 HAS SOUS 159724 HAS SOUPS 159724 WITH SCORE 160059.419
AT ITER 1070 NEW BEST:: SOT 1856435 SOS 334787 HAS SOPS 334787 HAS SOUS 159492 HAS SOUPS 159492 WITH SCORE 159826.787
AT ITER 1143 NEW BEST:: SOT 1856315 SOS 334528 HAS SOPS 334528 HAS SOUS 159349 HAS SOUPS 159349 WITH SCORE 159683.528
AT ITER 1172 NEW BEST:: SOT 1856315 SOS 334528 HAS SOPS 334528 HAS SOUS 159259 HAS SOUPS 159259 WITH SCORE 159593.528
AT ITER 1178 NEW BEST:: SOT 1856085 SOS 334252 HAS SOPS 334252 HAS SOUS 158959 HAS SOUPS 158959 WITH SCORE 159293.252
AT ITER 1202 NEW BEST:: SOT 1856085 SOS 334252 HAS SOPS 334252 HAS SOUS 158929 HAS SOUPS 158929 WITH SCORE 159263.252
AT ITER 1218 NEW BEST:: SOT 1856058 SOS 334063 HAS SOPS 334063 HAS SOUS 158848 HAS SOUPS 158848 WITH SCORE 159182.063
AT ITER 1243 NEW BEST:: SOT 1856019 SOS 333985 HAS SOPS 333985 HAS SOUS 158714 HAS SOUPS 158714 WITH SCORE 159047.985
AT ITER 1257 NEW BEST:: SOT 1856019 SOS 333957 HAS SOPS 333957 HAS SOUS 158686 HAS SOUPS 158686 WITH SCORE 159019.957
AT ITER 1301 NEW BEST:: SOT 1855958 SOS 333591 HAS SOPS 333591 HAS SOUS 158564 HAS SOUPS 158564 WITH SCORE 158897.591
AT ITER 1302 NEW BEST:: SOT 1855958 SOS 333339 HAS SOPS 333339 HAS SOUS 158480 HAS SOUPS 158480 WITH SCORE 158813.339
AT ITER 1335 NEW BEST:: SOT 1855842 SOS 333223 HAS SOPS 333223 HAS SOUS 158364 HAS SOUPS 158364 WITH SCORE 158697.223
AT ITER 1369 NEW BEST:: SOT 1855567 SOS 332673 HAS SOPS 332673 HAS SOUS 158034 HAS SOUPS 158034 WITH SCORE 158366.673
AT ITER 1395 NEW BEST:: SOT 1855496 SOS 332247 HAS SOPS 332247 HAS SOUS 157892 HAS SOUPS 157892 WITH SCORE 158224.247
AT ITER 1399 NEW BEST:: SOT 1855205 SOS 331821 HAS SOPS 331821 HAS SOUS 157790 HAS SOUPS 157790 WITH SCORE 158121.821
AT ITER 1432 NEW BEST:: SOT 1855205 SOS 331821 HAS SOPS 331821 HAS SOUS 157784 HAS SOUPS 157784 WITH SCORE 158115.821
AT ITER 1466 NEW BEST:: SOT 1855205 SOS 331821 HAS SOPS 331821 HAS SOUS 157770 HAS SOUPS 157770 WITH SCORE 158101.821
AT ITER 1476 NEW BEST:: SOT 1855191 SOS 331793 HAS SOPS 331793 HAS SOUS 157742 HAS SOUPS 157742 WITH SCORE 158073.793
AT ITER 1546 NEW BEST:: SOT 1855191 SOS 331903 HAS SOPS 331903 HAS SOUS 157705 HAS SOUPS 157705 WITH SCORE 158036.903
AT ITER 1561 NEW BEST:: SOT 1855169 SOS 331859 HAS SOPS 331859 HAS SOUS 157661 HAS SOUPS 157661 WITH SCORE 157992.859
AT ITER 1581 NEW BEST:: SOT 1855169 SOS 331859 HAS SOPS 331859 HAS SOUS 157655 HAS SOUPS 157655 WITH SCORE 157986.859
AT ITER 1606 NEW BEST:: SOT 1855151 SOS 331733 HAS SOPS 331733 HAS SOUS 157601 HAS SOUPS 157601 WITH SCORE 157932.733
AT ITER 1618 NEW BEST:: SOT 1855151 SOS 331733 HAS SOPS 331733 HAS SOUS 157589 HAS SOUPS 157589 WITH SCORE 157920.733
AT ITER 1636 NEW BEST:: SOT 1855111 SOS 331431 HAS SOPS 331431 HAS SOUS 157447 HAS SOUPS 157447 WITH SCORE 157778.431
AT ITER 1642 NEW BEST:: SOT 1855111 SOS 331191 HAS SOPS 331191 HAS SOUS 157367 HAS SOUPS 157367 WITH SCORE 157698.191
AT ITER 1672 NEW BEST:: SOT 1855107 SOS 331167 HAS SOPS 331167 HAS SOUS 157359 HAS SOUPS 157359 WITH SCORE 157690.167
AT ITER 1687 NEW BEST:: SOT 1854767 SOS 330759 HAS SOPS 330759 HAS SOUS 156899 HAS SOUPS 156899 WITH SCORE 157229.759
AT ITER 1750 NEW BEST:: SOT 1854749 SOS 330741 HAS SOPS 330741 HAS SOUS 156899 HAS SOUPS 156899 WITH SCORE 157229.741
AT ITER 1809 NEW BEST:: SOT 1854743 SOS 330736 HAS SOPS 330736 HAS SOUS 156894 HAS SOUPS 156894 WITH SCORE 157224.736
AT ITER 1921 NEW BEST:: SOT 1854705 SOS 330660 HAS SOPS 330660 HAS SOUS 156774 HAS SOUPS 156774 WITH SCORE 157104.66
AT ITER 1953 NEW BEST:: SOT 1854670 SOS 330625 HAS SOPS 330625 HAS SOUS 156737 HAS SOUPS 156737 WITH SCORE 157067.625
AT ITER 1959 NEW BEST:: SOT 1854625 SOS 330580 HAS SOPS 330580 HAS SOUS 156692 HAS SOUPS 156692 WITH SCORE 157022.58
AT ITER 1964 NEW BEST:: SOT 1854636 SOS 330591 HAS SOPS 330591 HAS SOUS 156685 HAS SOUPS 156685 WITH SCORE 157015.591
AT ITER 1965 NEW BEST:: SOT 1854612 SOS 330447 HAS SOPS 330447 HAS SOUS 156637 HAS SOUPS 156637 WITH SCORE 156967.447
AT ITER 1984 NEW BEST:: SOT 1854616 SOS 330451 HAS SOPS 330451 HAS SOUS 156629 HAS SOUPS 156629 WITH SCORE 156959.451
AT ITER 2002 NEW BEST:: SOT 1854555 SOS 330024 HAS SOPS 330024 HAS SOUS 156446 HAS SOUPS 156446 WITH SCORE 156776.024
AT ITER 2011 NEW BEST:: SOT 1854420 SOS 329862 HAS SOPS 329862 HAS SOUS 156184 HAS SOUPS 156184 WITH SCORE 156513.862
AT ITER 2025 NEW BEST:: SOT 1854400 SOS 329838 HAS SOPS 329838 HAS SOUS 156116 HAS SOUPS 156116 WITH SCORE 156445.838
AT ITER 2027 NEW BEST:: SOT 1854400 SOS 329543 HAS SOPS 329543 HAS SOUS 156057 HAS SOUPS 156057 WITH SCORE 156386.543
AT ITER 2049 NEW BEST:: SOT 1854359 SOS 329297 HAS SOPS 329297 HAS SOUS 155975 HAS SOUPS 155975 WITH SCORE 156304.297
AT ITER 2088 NEW BEST:: SOT 1854294 SOS 329219 HAS SOPS 329219 HAS SOUS 155809 HAS SOUPS 155809 WITH SCORE 156138.219
AT ITER 2108 NEW BEST:: SOT 1854090 SOS 329015 HAS SOPS 329015 HAS SOUS 155605 HAS SOUPS 155605 WITH SCORE 155934.015
AT ITER 2109 NEW BEST:: SOT 1854087 SOS 329012 HAS SOPS 329012 HAS SOUS 155602 HAS SOUPS 155602 WITH SCORE 155931.012
AT ITER 2149 NEW BEST:: SOT 1853952 SOS 328747 HAS SOPS 328747 HAS SOUS 155490 HAS SOUPS 155490 WITH SCORE 155818.747
AT ITER 2164 NEW BEST:: SOT 1853936 SOS 328731 HAS SOPS 328731 HAS SOUS 155474 HAS SOUPS 155474 WITH SCORE 155802.731
AT ITER 2167 NEW BEST:: SOT 1853927 SOS 328677 HAS SOPS 328677 HAS SOUS 155456 HAS SOUPS 155456 WITH SCORE 155784.677
AT ITER 2168 NEW BEST:: SOT 1853927 SOS 328629 HAS SOPS 328629 HAS SOUS 155440 HAS SOUPS 155440 WITH SCORE 155768.629
AT ITER 2219 NEW BEST:: SOT 1853885 SOS 328587 HAS SOPS 328587 HAS SOUS 155404 HAS SOUPS 155404 WITH SCORE 155732.587
AT ITER 2244 NEW BEST:: SOT 1853829 SOS 328251 HAS SOPS 328251 HAS SOUS 155292 HAS SOUPS 155292 WITH SCORE 155620.251
AT ITER 2250 NEW BEST:: SOT 1853520 SOS 327633 HAS SOPS 327633 HAS SOUS 155120 HAS SOUPS 155120 WITH SCORE 155447.633
AT ITER 2267 NEW BEST:: SOT 1853520 SOS 327633 HAS SOPS 327633 HAS SOUS 155094 HAS SOUPS 155094 WITH SCORE 155421.633
AT ITER 2275 NEW BEST:: SOT 1853520 SOS 327625 HAS SOPS 327625 HAS SOUS 155086 HAS SOUPS 155086 WITH SCORE 155413.625
AT ITER 2291 NEW BEST:: SOT 1853300 SOS 327387 HAS SOPS 327387 HAS SOUS 154860 HAS SOUPS 154860 WITH SCORE 155187.387
AT ITER 2297 NEW BEST:: SOT 1853239 SOS 326960 HAS SOPS 326960 HAS SOUS 154677 HAS SOUPS 154677 WITH SCORE 155003.96
AT ITER 2316 NEW BEST:: SOT 1853239 SOS 326953 HAS SOPS 326953 HAS SOUS 154666 HAS SOUPS 154666 WITH SCORE 154992.953
AT ITER 2320 NEW BEST:: SOT 1853239 SOS 326947 HAS SOPS 326947 HAS SOUS 154660 HAS SOUPS 154660 WITH SCORE 154986.947
AT ITER 2324 NEW BEST:: SOT 1853184 SOS 326801 HAS SOPS 326801 HAS SOUS 154610 HAS SOUPS 154610 WITH SCORE 154936.801
AT ITER 2345 NEW BEST:: SOT 1853192 SOS 326512 HAS SOPS 326512 HAS SOUS 154565 HAS SOUPS 154565 WITH SCORE 154891.512
AT ITER 2376 NEW BEST:: SOT 1853192 SOS 326465 HAS SOPS 326465 HAS SOUS 154518 HAS SOUPS 154518 WITH SCORE 154844.465
AT ITER 2380 NEW BEST:: SOT 1853191 SOS 326464 HAS SOPS 326464 HAS SOUS 154517 HAS SOUPS 154517 WITH SCORE 154843.464
AT ITER 2472 NEW BEST:: SOT 1853178 SOS 326459 HAS SOPS 326459 HAS SOUS 154512 HAS SOUPS 154512 WITH SCORE 154838.459
AT ITER 2482 NEW BEST:: SOT 1853149 SOS 326461 HAS SOPS 326461 HAS SOUS 154454 HAS SOUPS 154454 WITH SCORE 154780.461
AT ITER 2484 NEW BEST:: SOT 1853149 SOS 326693 HAS SOPS 326693 HAS SOUS 154396 HAS SOUPS 154396 WITH SCORE 154722.693
AT ITER 2543 NEW BEST:: SOT 1853031 SOS 326457 HAS SOPS 326457 HAS SOUS 154333 HAS SOUPS 154333 WITH SCORE 154659.457
AT ITER 2544 NEW BEST:: SOT 1853021 SOS 326437 HAS SOPS 326437 HAS SOUS 154313 HAS SOUPS 154313 WITH SCORE 154639.437
AT ITER 2568 NEW BEST:: SOT 1853146 SOS 326831 HAS SOPS 326831 HAS SOUS 154293 HAS SOUPS 154293 WITH SCORE 154619.831
AT ITER 2626 NEW BEST:: SOT 1853131 SOS 326497 HAS SOPS 326497 HAS SOUS 154235 HAS SOUPS 154235 WITH SCORE 154561.497
AT ITER 2668 NEW BEST:: SOT 1853316 SOS 326829 HAS SOPS 326829 HAS SOUS 154191 HAS SOUPS 154191 WITH SCORE 154517.829
AT ITER 2682 NEW BEST:: SOT 1853304 SOS 326525 HAS SOPS 326525 HAS SOUS 154163 HAS SOUPS 154163 WITH SCORE 154489.525
AT ITER 2704 NEW BEST:: SOT 1853304 SOS 326525 HAS SOPS 326525 HAS SOUS 154121 HAS SOUPS 154121 WITH SCORE 154447.525
AT ITER 2707 NEW BEST:: SOT 1853295 SOS 326236 HAS SOPS 326236 HAS SOUS 154108 HAS SOUPS 154108 WITH SCORE 154434.236
AT ITER 2753 NEW BEST:: SOT 1853235 SOS 326116 HAS SOPS 326116 HAS SOUS 154036 HAS SOUPS 154036 WITH SCORE 154362.116
AT ITER 2755 NEW BEST:: SOT 1853235 SOS 326116 HAS SOPS 326116 HAS SOUS 154018 HAS SOUPS 154018 WITH SCORE 154344.116
AT ITER 2756 NEW BEST:: SOT 1853223 SOS 326095 HAS SOPS 326095 HAS SOUS 153997 HAS SOUPS 153997 WITH SCORE 154323.095
AT ITER 2757 NEW BEST:: SOT 1853043 SOS 325879 HAS SOPS 325879 HAS SOUS 153741 HAS SOUPS 153741 WITH SCORE 154066.879
AT ITER 2767 NEW BEST:: SOT 1853044 SOS 325872 HAS SOPS 325872 HAS SOUS 153702 HAS SOUPS 153702 WITH SCORE 154027.872
AT ITER 2821 NEW BEST:: SOT 1853044 SOS 325872 HAS SOPS 325872 HAS SOUS 153670 HAS SOUPS 153670 WITH SCORE 153995.872
AT ITER 2960 NEW BEST:: SOT 1853044 SOS 326002 HAS SOPS 326002 HAS SOUS 153586 HAS SOUPS 153586 WITH SCORE 153912.002
AT ITER 2962 NEW BEST:: SOT 1853031 SOS 325976 HAS SOPS 325976 HAS SOUS 153560 HAS SOUPS 153560 WITH SCORE 153885.976
AT ITER 3008 NEW BEST:: SOT 1852966 SOS 325911 HAS SOPS 325911 HAS SOUS 153495 HAS SOUPS 153495 WITH SCORE 153820.911
AT ITER 3013 NEW BEST:: SOT 1852961 SOS 325906 HAS SOPS 325906 HAS SOUS 153490 HAS SOUPS 153490 WITH SCORE 153815.906
AT ITER 3036 NEW BEST:: SOT 1852711 SOS 325406 HAS SOPS 325406 HAS SOUS 153190 HAS SOUPS 153190 WITH SCORE 153515.406
AT ITER 3103 NEW BEST:: SOT 1852705 SOS 325370 HAS SOPS 325370 HAS SOUS 153178 HAS SOUPS 153178 WITH SCORE 153503.37
AT ITER 3206 NEW BEST:: SOT 1852705 SOS 325343 HAS SOPS 325343 HAS SOUS 153151 HAS SOUPS 153151 WITH SCORE 153476.343
AT ITER 3211 NEW BEST:: SOT 1852705 SOS 325007 HAS SOPS 325007 HAS SOUS 153143 HAS SOUPS 153143 WITH SCORE 153468.007
AT ITER 3273 NEW BEST:: SOT 1852669 SOS 324991 HAS SOPS 324991 HAS SOUS 153059 HAS SOUPS 153059 WITH SCORE 153383.991
AT ITER 3276 NEW BEST:: SOT 1852661 SOS 324975 HAS SOPS 324975 HAS SOUS 153043 HAS SOUPS 153043 WITH SCORE 153367.975
AT ITER 3279 NEW BEST:: SOT 1852589 SOS 324903 HAS SOPS 324903 HAS SOUS 152971 HAS SOUPS 152971 WITH SCORE 153295.903
AT ITER 3306 NEW BEST:: SOT 1852589 SOS 324933 HAS SOPS 324933 HAS SOUS 152937 HAS SOUPS 152937 WITH SCORE 153261.933
AT ITER 3311 NEW BEST:: SOT 1852589 SOS 324921 HAS SOPS 324921 HAS SOUS 152898 HAS SOUPS 152898 WITH SCORE 153222.921
AT ITER 3321 NEW BEST:: SOT 1852586 SOS 324915 HAS SOPS 324915 HAS SOUS 152892 HAS SOUPS 152892 WITH SCORE 153216.915
AT ITER 3366 NEW BEST:: SOT 1852585 SOS 324909 HAS SOPS 324909 HAS SOUS 152890 HAS SOUPS 152890 WITH SCORE 153214.909
AT ITER 3388 NEW BEST:: SOT 1852585 SOS 324909 HAS SOPS 324909 HAS SOUS 152845 HAS SOUPS 152845 WITH SCORE 153169.909
AT ITER 3447 NEW BEST:: SOT 1852585 SOS 324909 HAS SOPS 324909 HAS SOUS 152841 HAS SOUPS 152841 WITH SCORE 153165.909
AT ITER 3451 NEW BEST:: SOT 1852710 SOS 325060 HAS SOPS 325060 HAS SOUS 152804 HAS SOUPS 152804 WITH SCORE 153129.06
AT ITER 3469 NEW BEST:: SOT 1852480 SOS 324600 HAS SOPS 324600 HAS SOUS 152528 HAS SOUPS 152528 WITH SCORE 152852.6
AT ITER 3526 NEW BEST:: SOT 1852480 SOS 324600 HAS SOPS 324600 HAS SOUS 152468 HAS SOUPS 152468 WITH SCORE 152792.6
AT ITER 3540 NEW BEST:: SOT 1852459 SOS 324579 HAS SOPS 324579 HAS SOUS 152459 HAS SOUPS 152459 WITH SCORE 152783.579
AT ITER 3697 NEW BEST:: SOT 1852279 SOS 324183 HAS SOPS 324183 HAS SOUS 152207 HAS SOUPS 152207 WITH SCORE 152531.183
AT ITER 3735 NEW BEST:: SOT 1852269 SOS 324173 HAS SOPS 324173 HAS SOUS 152197 HAS SOUPS 152197 WITH SCORE 152521.173
AT ITER 3752 NEW BEST:: SOT 1852269 SOS 324173 HAS SOPS 324173 HAS SOUS 152185 HAS SOUPS 152185 WITH SCORE 152509.173
AT ITER 3753 NEW BEST:: SOT 1852265 SOS 324165 HAS SOPS 324165 HAS SOUS 152177 HAS SOUPS 152177 WITH SCORE 152501.165
AT ITER 3763 NEW BEST:: SOT 1852265 SOS 324102 HAS SOPS 324102 HAS SOUS 152114 HAS SOUPS 152114 WITH SCORE 152438.102
AT ITER 3780 NEW BEST:: SOT 1852186 SOS 323944 HAS SOPS 323944 HAS SOUS 151956 HAS SOUPS 151956 WITH SCORE 152279.944
AT ITER 3796 NEW BEST:: SOT 1852185 SOS 323943 HAS SOPS 323943 HAS SOUS 151955 HAS SOUPS 151955 WITH SCORE 152278.943
AT ITER 3799 NEW BEST:: SOT 1852040 SOS 323541 HAS SOPS 323541 HAS SOUS 151921 HAS SOUPS 151921 WITH SCORE 152244.541
AT ITER 3885 NEW BEST:: SOT 1852017 SOS 323495 HAS SOPS 323495 HAS SOUS 151875 HAS SOUPS 151875 WITH SCORE 152198.495
AT ITER 3899 NEW BEST:: SOT 1851787 SOS 323219 HAS SOPS 323219 HAS SOUS 151499 HAS SOUPS 151499 WITH SCORE 151822.219
AT ITER 3910 NEW BEST:: SOT 1851567 SOS 322955 HAS SOPS 322955 HAS SOUS 151046 HAS SOUPS 151046 WITH SCORE 151368.955
AT ITER 3914 NEW BEST:: SOT 1851382 SOS 322677 HAS SOPS 322677 HAS SOUS 150924 HAS SOUPS 150924 WITH SCORE 151246.677
AT ITER 3920 NEW BEST:: SOT 1851277 SOS 322551 HAS SOPS 322551 HAS SOUS 150798 HAS SOUPS 150798 WITH SCORE 151120.551
AT ITER 3950 NEW BEST:: SOT 1851067 SOS 321986 HAS SOPS 321986 HAS SOUS 150736 HAS SOUPS 150736 WITH SCORE 151057.986
AT ITER 3986 NEW BEST:: SOT 1851051 SOS 321954 HAS SOPS 321954 HAS SOUS 150704 HAS SOUPS 150704 WITH SCORE 151025.954
AT ITER 4010 NEW BEST:: SOT 1850926 SOS 321620 HAS SOPS 321620 HAS SOUS 150649 HAS SOUPS 150649 WITH SCORE 150970.62
AT ITER 4044 NEW BEST:: SOT 1850810 SOS 320924 HAS SOPS 320924 HAS SOUS 150417 HAS SOUPS 150417 WITH SCORE 150737.924
AT ITER 4067 NEW BEST:: SOT 1850803 SOS 320917 HAS SOPS 320917 HAS SOUS 150408 HAS SOUPS 150408 WITH SCORE 150728.917
AT ITER 4086 NEW BEST:: SOT 1850799 SOS 321005 HAS SOPS 321005 HAS SOUS 150279 HAS SOUPS 150279 WITH SCORE 150600.005
AT ITER 4091 NEW BEST:: SOT 1850764 SOS 321002 HAS SOPS 321002 HAS SOUS 150276 HAS SOUPS 150276 WITH SCORE 150597.002
AT ITER 4140 NEW BEST:: SOT 1850755 SOS 320984 HAS SOPS 320984 HAS SOUS 150213 HAS SOUPS 150213 WITH SCORE 150533.984
AT ITER 4141 NEW BEST:: SOT 1850630 SOS 320501 HAS SOPS 320501 HAS SOUS 150158 HAS SOUPS 150158 WITH SCORE 150478.501
AT ITER 4158 NEW BEST:: SOT 1850626 SOS 320497 HAS SOPS 320497 HAS SOUS 150154 HAS SOUPS 150154 WITH SCORE 150474.497
AT ITER 4175 NEW BEST:: SOT 1850371 SOS 319941 HAS SOPS 319941 HAS SOUS 149827 HAS SOUPS 149827 WITH SCORE 150146.941
AT ITER 4181 NEW BEST:: SOT 1850330 SOS 319900 HAS SOPS 319900 HAS SOUS 149730 HAS SOUPS 149730 WITH SCORE 150049.9
AT ITER 4265 NEW BEST:: SOT 1850330 SOS 319915 HAS SOPS 319915 HAS SOUS 149721 HAS SOUPS 149721 WITH SCORE 150040.915
AT ITER 4283 NEW BEST:: SOT 1850330 SOS 319707 HAS SOPS 319707 HAS SOUS 149717 HAS SOUPS 149717 WITH SCORE 150036.707
AT ITER 4317 NEW BEST:: SOT 1849985 SOS 319324 HAS SOPS 319324 HAS SOUS 149374 HAS SOUPS 149374 WITH SCORE 149693.324
AT ITER 4386 NEW BEST:: SOT 1849985 SOS 318985 HAS SOPS 318985 HAS SOUS 149311 HAS SOUPS 149311 WITH SCORE 149629.985
AT ITER 4404 NEW BEST:: SOT 1849936 SOS 318648 HAS SOPS 318648 HAS SOUS 149166 HAS SOUPS 149166 WITH SCORE 149484.648
AT ITER 4420 NEW BEST:: SOT 1849876 SOS 318516 HAS SOPS 318516 HAS SOUS 149082 HAS SOUPS 149082 WITH SCORE 149400.516
AT ITER 4445 NEW BEST:: SOT 1849796 SOS 318356 HAS SOPS 318356 HAS SOUS 148986 HAS SOUPS 148986 WITH SCORE 149304.356
AT ITER 4446 NEW BEST:: SOT 1849506 SOS 318008 HAS SOPS 318008 HAS SOUS 148501 HAS SOUPS 148501 WITH SCORE 148819.008
AT ITER 4496 NEW BEST:: SOT 1849474 SOS 317944 HAS SOPS 317944 HAS SOUS 148437 HAS SOUPS 148437 WITH SCORE 148754.944
AT ITER 4580 NEW BEST:: SOT 1849474 SOS 317757 HAS SOPS 317757 HAS SOUS 148402 HAS SOUPS 148402 WITH SCORE 148719.757
AT ITER 4612 NEW BEST:: SOT 1849228 SOS 317541 HAS SOPS 317541 HAS SOUS 148336 HAS SOUPS 148336 WITH SCORE 148653.541
AT ITER 4637 NEW BEST:: SOT 1849152 SOS 317465 HAS SOPS 317465 HAS SOUS 148260 HAS SOUPS 148260 WITH SCORE 148577.465
AT ITER 4646 NEW BEST:: SOT 1849162 SOS 317330 HAS SOPS 317330 HAS SOUS 148241 HAS SOUPS 148241 WITH SCORE 148558.33
AT ITER 4677 NEW BEST:: SOT 1849116 SOS 317054 HAS SOPS 317054 HAS SOUS 148149 HAS SOUPS 148149 WITH SCORE 148466.054
AT ITER 4682 NEW BEST:: SOT 1849111 SOS 317052 HAS SOPS 317052 HAS SOUS 148147 HAS SOUPS 148147 WITH SCORE 148464.052
AT ITER 4747 NEW BEST:: SOT 1849111 SOS 316967 HAS SOPS 316967 HAS SOUS 148130 HAS SOUPS 148130 WITH SCORE 148446.967
AT ITER 4757 NEW BEST:: SOT 1849100 SOS 316956 HAS SOPS 316956 HAS SOUS 148097 HAS SOUPS 148097 WITH SCORE 148413.956
AT ITER 4803 NEW BEST:: SOT 1849043 SOS 316614 HAS SOPS 316614 HAS SOUS 147983 HAS SOUPS 147983 WITH SCORE 148299.614
AT ITER 4951 NEW BEST:: SOT 1849043 SOS 316554 HAS SOPS 316554 HAS SOUS 147923 HAS SOUPS 147923 WITH SCORE 148239.554
AT ITER 4954 NEW BEST:: SOT 1849043 SOS 316539 HAS SOPS 316539 HAS SOUS 147920 HAS SOUPS 147920 WITH SCORE 148236.539
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: HypercubeGrid-PT-C3K4P4B12-CTLCardinality-00 (EX( (! (EF(potential( (tk(P1166)) <= (tk(P591)) ))))))
PROPERTY: HypercubeGrid-PT-C3K4P4B12-CTLCardinality-01 ( (AF((! ( potential( ( 1 ) <= (tk(P1339)) ) & potential( ( 1 ) <= (tk(P78)) ) )))) | (! (EF(( potential( ( 3 ) <= (tk(P744)) ) & potential( (tk(P608)) <= (tk(P258)) ) )))) )
PROPERTY: HypercubeGrid-PT-C3K4P4B12-CTLCardinality-02 (AU( (EF(potential( ( 3 ) <= (tk(P755)) ))),(! potential( (tk(P299)) <= (tk(P260)) )) ))
PROPERTY: HypercubeGrid-PT-C3K4P4B12-CTLCardinality-03 (! ( (! (! ( potential( ( 3 ) <= (tk(P583)) ) & potential( ( 3 ) <= (tk(P1220)) ) ))) | (EF((! potential( ( 2 ) <= (tk(P255)) )))) ))
PROPERTY: HypercubeGrid-PT-C3K4P4B12-CTLCardinality-04 (AF(( (EF(potential( (tk(P1232)) <= (tk(P900)) ))) & ( potential( (tk(P434)) <= (tk(P1152)) ) | (! potential( ( 1 ) <= (tk(P110)) )) ) )))
PROPERTY: HypercubeGrid-PT-C3K4P4B12-CTLCardinality-05 (AU( ( potential( ( 1 ) <= (tk(P44)) ) & ( potential( (tk(P1017)) <= (tk(P219)) ) & potential( ( 3 ) <= (tk(P297)) ) ) ),( ( potential( (tk(P1334)) <= (tk(P599)) ) & potential( ( 3 ) <= (tk(P796)) ) ) & ( potential( ( 3 ) <= (tk(P476)) ) & potential( ( 2 ) <= (tk(P1213)) ) ) ) ))
PROPERTY: HypercubeGrid-PT-C3K4P4B12-CTLCardinality-06 (EG( (! potential( (tk(P772)) <= (tk(P504)) ))))
PROPERTY: HypercubeGrid-PT-C3K4P4B12-CTLCardinality-07 ( (! (AG( ( potential( (tk(P1308)) <= (tk(P38)) ) | potential( ( 3 ) <= (tk(P683)) ) )))) | ( ( ( potential( ( 2 ) <= (tk(P563)) ) & ( potential( ( 2 ) <= (tk(P1288)) ) & potential( ( 1 ) <= (tk(P1289)) ) ) ) | ( (! potential( ( 2 ) <= (tk(P309)) )) | ( potential( (tk(P326)) <= (tk(P950)) ) & potential( (tk(P1382)) <= (tk(P639)) ) ) ) ) & (AG( ( potential( (tk(P81)) <= (tk(P910)) ) | potential( ( 3 ) <= (tk(P897)) ) ))) ) )
PROPERTY: HypercubeGrid-PT-C3K4P4B12-CTLCardinality-08 (! (AG( (! potential( ( 3 ) <= (tk(P1398)) )))))
PROPERTY: HypercubeGrid-PT-C3K4P4B12-CTLCardinality-09 ( ( ( (EF(potential( (tk(P262)) <= (tk(P537)) ))) & (AF(potential( ( 1 ) <= (tk(P158)) ))) ) & (AU( potential( ( 3 ) <= (tk(P894)) ),potential( ( 1 ) <= (tk(P58)) ) )) ) | (AX( ( (! potential( (tk(P941)) <= (tk(P814)) )) & ( potential( ( 1 ) <= (tk(P119)) ) | potential( ( 1 ) <= (tk(P1229)) ) ) ))) )
PROPERTY: HypercubeGrid-PT-C3K4P4B12-CTLCardinality-10 (AU( ( potential( (tk(P954)) <= (tk(P84)) ) & ( potential( ( 1 ) <= (tk(P993)) ) | potential( ( 1 ) <= (tk(P16)) ) ) ),(EG( potential( (tk(P252)) <= (tk(P941)) ))) ))
PROPERTY: HypercubeGrid-PT-C3K4P4B12-CTLCardinality-11 (EX( (EG( ( potential( (tk(P334)) <= (tk(P43)) ) | potential( ( 3 ) <= (tk(P374)) ) )))))
PROPERTY: HypercubeGrid-PT-C3K4P4B12-CTLCardinality-12 (EF((AG( (! potential( ( 3 ) <= (tk(P1094)) ))))))
PROPERTY: HypercubeGrid-PT-C3K4P4B12-CTLCardinality-13 (! ( (! ( potential( (tk(P934)) <= (tk(P705)) ) & ( potential( ( 1 ) <= (tk(P32)) ) | potential( (tk(P1149)) <= (tk(P1121)) ) ) )) | (AF(( potential( (tk(P328)) <= (tk(P320)) ) & potential( ( 3 ) <= (tk(P912)) ) ))) ))
PROPERTY: HypercubeGrid-PT-C3K4P4B12-CTLCardinality-14 ( (EG( (! (! potential( (tk(P1302)) <= (tk(P382)) ))))) & potential( ( 3 ) <= (tk(P256)) ) )
PROPERTY: HypercubeGrid-PT-C3K4P4B12-CTLCardinality-15 (AU( potential( (tk(P705)) <= (tk(P204)) ),( potential( ( 1 ) <= (tk(P682)) ) & ( potential( (tk(P1402)) <= (tk(P241)) ) | potential( (tk(P553)) <= (tk(P606)) ) ) ) ))

BK_STOP 1589616441626

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

terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 468 Aborted ${SMART} ${INPUT_SM}

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="HypercubeGrid-PT-C3K4P4B12"
export BK_EXAMINATION="CTLCardinality"
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 HypercubeGrid-PT-C3K4P4B12, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r093-oct2-158940140300251"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/HypercubeGrid-PT-C3K4P4B12.tgz
mv HypercubeGrid-PT-C3K4P4B12 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;