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.r387-oct2-167903712100640.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 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 ShieldPPPt-PT-020B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r387-oct2-167903712100640
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 756K
-rw-r--r-- 1 mcc users 6.7K Feb 25 21:08 CTLCardinality.txt
-rw-r--r-- 1 mcc users 73K Feb 25 21:08 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.8K Feb 25 21:08 CTLFireability.txt
-rw-r--r-- 1 mcc users 41K Feb 25 21:08 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 17:00 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 17:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 17:00 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.6K Feb 25 21:09 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 83K Feb 25 21:09 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.3K Feb 25 21:09 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 59K Feb 25 21:09 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:00 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:00 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 376K 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 1679067754680

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=ShieldPPPt-PT-020B
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldPPPt (PT), instance 020B
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: 1563 places, 1423 transitions, 3566 arcs.
AT ITER 0 NEW BEST:: SOT 1148508 SOS 104557 HAS SOPS 104557 HAS SOUS 97150 HAS SOUPS 97150 WITH SCORE 97254.557
AT ITER 20 NEW BEST:: SOT 1148494 SOS 104543 HAS SOPS 104543 HAS SOUS 97122 HAS SOUPS 97122 WITH SCORE 97226.543
AT ITER 40 NEW BEST:: SOT 1148494 SOS 104505 HAS SOPS 104505 HAS SOUS 97084 HAS SOUPS 97084 WITH SCORE 97188.505
AT ITER 50 NEW BEST:: SOT 1148371 SOS 104318 HAS SOPS 104318 HAS SOUS 96962 HAS SOUPS 96962 WITH SCORE 97066.318
AT ITER 134 NEW BEST:: SOT 1148360 SOS 104307 HAS SOPS 104307 HAS SOUS 96951 HAS SOUPS 96951 WITH SCORE 97055.307
AT ITER 166 NEW BEST:: SOT 1148281 SOS 104270 HAS SOPS 104270 HAS SOUS 96914 HAS SOUPS 96914 WITH SCORE 97018.27
AT ITER 213 NEW BEST:: SOT 1148264 SOS 104270 HAS SOPS 104270 HAS SOUS 96897 HAS SOUPS 96897 WITH SCORE 97001.27
AT ITER 259 NEW BEST:: SOT 1148263 SOS 104172 HAS SOPS 104172 HAS SOUS 96853 HAS SOUPS 96853 WITH SCORE 96957.172
AT ITER 269 NEW BEST:: SOT 1148262 SOS 104137 HAS SOPS 104137 HAS SOUS 96850 HAS SOUPS 96850 WITH SCORE 96954.137
AT ITER 313 NEW BEST:: SOT 1148246 SOS 104105 HAS SOPS 104105 HAS SOUS 96818 HAS SOUPS 96818 WITH SCORE 96922.105
AT ITER 333 NEW BEST:: SOT 1148255 SOS 104073 HAS SOPS 104073 HAS SOUS 96801 HAS SOUPS 96801 WITH SCORE 96905.073
AT ITER 340 NEW BEST:: SOT 1148236 SOS 104054 HAS SOPS 104054 HAS SOUS 96782 HAS SOUPS 96782 WITH SCORE 96886.054
AT ITER 341 NEW BEST:: SOT 1148220 SOS 104022 HAS SOPS 104022 HAS SOUS 96750 HAS SOUPS 96750 WITH SCORE 96854.022
AT ITER 432 NEW BEST:: SOT 1148255 SOS 104082 HAS SOPS 104082 HAS SOUS 96722 HAS SOUPS 96722 WITH SCORE 96826.082
AT ITER 484 NEW BEST:: SOT 1148211 SOS 103918 HAS SOPS 103918 HAS SOUS 96601 HAS SOUPS 96601 WITH SCORE 96704.918
AT ITER 603 NEW BEST:: SOT 1148160 SOS 103867 HAS SOPS 103867 HAS SOUS 96550 HAS SOUPS 96550 WITH SCORE 96653.867
AT ITER 631 NEW BEST:: SOT 1148140 SOS 103818 HAS SOPS 103818 HAS SOUS 96460 HAS SOUPS 96460 WITH SCORE 96563.818
AT ITER 637 NEW BEST:: SOT 1148099 SOS 103736 HAS SOPS 103736 HAS SOUS 96419 HAS SOUPS 96419 WITH SCORE 96522.736
AT ITER 679 NEW BEST:: SOT 1148072 SOS 103682 HAS SOPS 103682 HAS SOUS 96392 HAS SOUPS 96392 WITH SCORE 96495.682
AT ITER 704 NEW BEST:: SOT 1148072 SOS 103681 HAS SOPS 103681 HAS SOUS 96391 HAS SOUPS 96391 WITH SCORE 96494.681
AT ITER 714 NEW BEST:: SOT 1148072 SOS 103678 HAS SOPS 103678 HAS SOUS 96388 HAS SOUPS 96388 WITH SCORE 96491.678
AT ITER 787 NEW BEST:: SOT 1148048 SOS 103630 HAS SOPS 103630 HAS SOUS 96340 HAS SOUPS 96340 WITH SCORE 96443.63
AT ITER 806 NEW BEST:: SOT 1148040 SOS 103582 HAS SOPS 103582 HAS SOUS 96251 HAS SOUPS 96251 WITH SCORE 96354.582
AT ITER 834 NEW BEST:: SOT 1148073 SOS 103558 HAS SOPS 103558 HAS SOUS 96227 HAS SOUPS 96227 WITH SCORE 96330.558
AT ITER 851 NEW BEST:: SOT 1148072 SOS 103534 HAS SOPS 103534 HAS SOUS 96203 HAS SOUPS 96203 WITH SCORE 96306.534
AT ITER 903 NEW BEST:: SOT 1148072 SOS 103499 HAS SOPS 103499 HAS SOUS 96198 HAS SOUPS 96198 WITH SCORE 96301.499
AT ITER 931 NEW BEST:: SOT 1148021 SOS 103426 HAS SOPS 103426 HAS SOUS 96118 HAS SOUPS 96118 WITH SCORE 96221.426
AT ITER 941 NEW BEST:: SOT 1147948 SOS 103416 HAS SOPS 103416 HAS SOUS 96080 HAS SOUPS 96080 WITH SCORE 96183.416
AT ITER 993 NEW BEST:: SOT 1147948 SOS 103408 HAS SOPS 103408 HAS SOUS 96072 HAS SOUPS 96072 WITH SCORE 96175.408
AT ITER 1127 NEW BEST:: SOT 1147933 SOS 103372 HAS SOPS 103372 HAS SOUS 95989 HAS SOUPS 95989 WITH SCORE 96092.372
AT ITER 1138 NEW BEST:: SOT 1147933 SOS 103371 HAS SOPS 103371 HAS SOUS 95988 HAS SOUPS 95988 WITH SCORE 96091.371
AT ITER 1182 NEW BEST:: SOT 1147932 SOS 103369 HAS SOPS 103369 HAS SOUS 95988 HAS SOUPS 95988 WITH SCORE 96091.369
AT ITER 1190 NEW BEST:: SOT 1147932 SOS 103369 HAS SOPS 103369 HAS SOUS 95937 HAS SOUPS 95937 WITH SCORE 96040.369
AT ITER 1204 NEW BEST:: SOT 1147914 SOS 103351 HAS SOPS 103351 HAS SOUS 95919 HAS SOUPS 95919 WITH SCORE 96022.351
AT ITER 1216 NEW BEST:: SOT 1147897 SOS 103300 HAS SOPS 103300 HAS SOUS 95885 HAS SOUPS 95885 WITH SCORE 95988.3
AT ITER 1233 NEW BEST:: SOT 1147796 SOS 103278 HAS SOPS 103278 HAS SOUS 95863 HAS SOUPS 95863 WITH SCORE 95966.278
AT ITER 1367 NEW BEST:: SOT 1147790 SOS 103266 HAS SOPS 103266 HAS SOUS 95851 HAS SOUPS 95851 WITH SCORE 95954.266
AT ITER 1377 NEW BEST:: SOT 1147790 SOS 103260 HAS SOPS 103260 HAS SOUS 95845 HAS SOUPS 95845 WITH SCORE 95948.26
AT ITER 1461 NEW BEST:: SOT 1147790 SOS 103259 HAS SOPS 103259 HAS SOUS 95844 HAS SOUPS 95844 WITH SCORE 95947.259
AT ITER 1509 NEW BEST:: SOT 1147808 SOS 103213 HAS SOPS 103213 HAS SOUS 95798 HAS SOUPS 95798 WITH SCORE 95901.213
AT ITER 1542 NEW BEST:: SOT 1147774 SOS 103196 HAS SOPS 103196 HAS SOUS 95781 HAS SOUPS 95781 WITH SCORE 95884.196
AT ITER 1589 NEW BEST:: SOT 1147760 SOS 103168 HAS SOPS 103168 HAS SOUS 95753 HAS SOUPS 95753 WITH SCORE 95856.168
AT ITER 1667 NEW BEST:: SOT 1147760 SOS 103129 HAS SOPS 103129 HAS SOUS 95714 HAS SOUPS 95714 WITH SCORE 95817.129
AT ITER 1695 NEW BEST:: SOT 1147751 SOS 103120 HAS SOPS 103120 HAS SOUS 95714 HAS SOUPS 95714 WITH SCORE 95817.12
AT ITER 1779 NEW BEST:: SOT 1147725 SOS 103042 HAS SOPS 103042 HAS SOUS 95662 HAS SOUPS 95662 WITH SCORE 95765.042
AT ITER 1803 NEW BEST:: SOT 1147672 SOS 102997 HAS SOPS 102997 HAS SOUS 95609 HAS SOUPS 95609 WITH SCORE 95711.997
AT ITER 1823 NEW BEST:: SOT 1147671 SOS 102990 HAS SOPS 102990 HAS SOUS 95605 HAS SOUPS 95605 WITH SCORE 95707.99
AT ITER 1825 NEW BEST:: SOT 1147630 SOS 102908 HAS SOPS 102908 HAS SOUS 95544 HAS SOUPS 95544 WITH SCORE 95646.908
AT ITER 1852 NEW BEST:: SOT 1147591 SOS 102907 HAS SOPS 102907 HAS SOUS 95543 HAS SOUPS 95543 WITH SCORE 95645.907
AT ITER 1898 NEW BEST:: SOT 1147590 SOS 102838 HAS SOPS 102838 HAS SOUS 95506 HAS SOUPS 95506 WITH SCORE 95608.838
AT ITER 1943 NEW BEST:: SOT 1147589 SOS 102824 HAS SOPS 102824 HAS SOUS 95504 HAS SOUPS 95504 WITH SCORE 95606.824
AT ITER 1959 NEW BEST:: SOT 1147585 SOS 102764 HAS SOPS 102764 HAS SOUS 95406 HAS SOUPS 95406 WITH SCORE 95508.764
AT ITER 2020 NEW BEST:: SOT 1147562 SOS 102749 HAS SOPS 102749 HAS SOUS 95388 HAS SOUPS 95388 WITH SCORE 95490.749
AT ITER 2099 NEW BEST:: SOT 1147539 SOS 102706 HAS SOPS 102706 HAS SOUS 95345 HAS SOUPS 95345 WITH SCORE 95447.706
AT ITER 2163 NEW BEST:: SOT 1147485 SOS 102706 HAS SOPS 102706 HAS SOUS 95291 HAS SOUPS 95291 WITH SCORE 95393.706
AT ITER 2188 NEW BEST:: SOT 1147435 SOS 102676 HAS SOPS 102676 HAS SOUS 95263 HAS SOUPS 95263 WITH SCORE 95365.676
AT ITER 2236 NEW BEST:: SOT 1147430 SOS 102666 HAS SOPS 102666 HAS SOUS 95258 HAS SOUPS 95258 WITH SCORE 95360.666
AT ITER 2331 NEW BEST:: SOT 1147412 SOS 102652 HAS SOPS 102652 HAS SOUS 95244 HAS SOUPS 95244 WITH SCORE 95346.652
AT ITER 2410 NEW BEST:: SOT 1147364 SOS 102604 HAS SOPS 102604 HAS SOUS 95196 HAS SOUPS 95196 WITH SCORE 95298.604
AT ITER 2437 NEW BEST:: SOT 1147363 SOS 102587 HAS SOPS 102587 HAS SOUS 95194 HAS SOUPS 95194 WITH SCORE 95296.587
AT ITER 2476 NEW BEST:: SOT 1147358 SOS 102577 HAS SOPS 102577 HAS SOUS 95189 HAS SOUPS 95189 WITH SCORE 95291.577
AT ITER 2524 NEW BEST:: SOT 1147358 SOS 102543 HAS SOPS 102543 HAS SOUS 95155 HAS SOUPS 95155 WITH SCORE 95257.543
AT ITER 2639 NEW BEST:: SOT 1147358 SOS 102528 HAS SOPS 102528 HAS SOUS 95155 HAS SOUPS 95155 WITH SCORE 95257.528
AT ITER 2652 NEW BEST:: SOT 1147357 SOS 102461 HAS SOPS 102461 HAS SOUS 95147 HAS SOUPS 95147 WITH SCORE 95249.461
AT ITER 2677 NEW BEST:: SOT 1147404 SOS 102554 HAS SOPS 102554 HAS SOUS 95134 HAS SOUPS 95134 WITH SCORE 95236.554
AT ITER 2717 NEW BEST:: SOT 1147444 SOS 102552 HAS SOPS 102552 HAS SOUS 95132 HAS SOUPS 95132 WITH SCORE 95234.552
AT ITER 2763 NEW BEST:: SOT 1147444 SOS 102551 HAS SOPS 102551 HAS SOUS 95131 HAS SOUPS 95131 WITH SCORE 95233.551
AT ITER 2810 NEW BEST:: SOT 1147439 SOS 102541 HAS SOPS 102541 HAS SOUS 95121 HAS SOUPS 95121 WITH SCORE 95223.541
AT ITER 2818 NEW BEST:: SOT 1147518 SOS 102663 HAS SOPS 102663 HAS SOUS 95109 HAS SOUPS 95109 WITH SCORE 95211.663
AT ITER 2828 NEW BEST:: SOT 1147552 SOS 102532 HAS SOPS 102532 HAS SOUS 95071 HAS SOUPS 95071 WITH SCORE 95173.532
AT ITER 2868 NEW BEST:: SOT 1147534 SOS 102523 HAS SOPS 102523 HAS SOUS 95062 HAS SOUPS 95062 WITH SCORE 95164.523
AT ITER 2878 NEW BEST:: SOT 1147515 SOS 102522 HAS SOPS 102522 HAS SOUS 95061 HAS SOUPS 95061 WITH SCORE 95163.522
AT ITER 2985 NEW BEST:: SOT 1147470 SOS 102477 HAS SOPS 102477 HAS SOUS 95016 HAS SOUPS 95016 WITH SCORE 95118.477
AT ITER 3118 NEW BEST:: SOT 1147470 SOS 102475 HAS SOPS 102475 HAS SOUS 95014 HAS SOUPS 95014 WITH SCORE 95116.475
AT ITER 3201 NEW BEST:: SOT 1147469 SOS 102473 HAS SOPS 102473 HAS SOUS 95013 HAS SOUPS 95013 WITH SCORE 95115.473
AT ITER 3280 NEW BEST:: SOT 1147451 SOS 102501 HAS SOPS 102501 HAS SOUS 95011 HAS SOUPS 95011 WITH SCORE 95113.501
AT ITER 3392 NEW BEST:: SOT 1147451 SOS 102494 HAS SOPS 102494 HAS SOUS 95004 HAS SOUPS 95004 WITH SCORE 95106.494
AT ITER 3404 NEW BEST:: SOT 1147346 SOS 102459 HAS SOPS 102459 HAS SOUS 94899 HAS SOUPS 94899 WITH SCORE 95001.459
AT ITER 3417 NEW BEST:: SOT 1147280 SOS 102321 HAS SOPS 102321 HAS SOUS 94795 HAS SOUPS 94795 WITH SCORE 94897.321
AT ITER 3478 NEW BEST:: SOT 1147280 SOS 102291 HAS SOPS 102291 HAS SOUS 94680 HAS SOUPS 94680 WITH SCORE 94782.291
AT ITER 3528 NEW BEST:: SOT 1147279 SOS 102205 HAS SOPS 102205 HAS SOUS 94672 HAS SOUPS 94672 WITH SCORE 94774.205
AT ITER 3555 NEW BEST:: SOT 1147265 SOS 102177 HAS SOPS 102177 HAS SOUS 94658 HAS SOUPS 94658 WITH SCORE 94760.177
AT ITER 3587 NEW BEST:: SOT 1147265 SOS 102177 HAS SOPS 102177 HAS SOUS 94656 HAS SOUPS 94656 WITH SCORE 94758.177
AT ITER 3589 NEW BEST:: SOT 1147212 SOS 102083 HAS SOPS 102083 HAS SOUS 94580 HAS SOUPS 94580 WITH SCORE 94682.083
AT ITER 3649 NEW BEST:: SOT 1147212 SOS 102083 HAS SOPS 102083 HAS SOUS 94577 HAS SOUPS 94577 WITH SCORE 94679.083
AT ITER 3668 NEW BEST:: SOT 1147181 SOS 101986 HAS SOPS 101986 HAS SOUS 94514 HAS SOUPS 94514 WITH SCORE 94615.986
AT ITER 3684 NEW BEST:: SOT 1147174 SOS 101972 HAS SOPS 101972 HAS SOUS 94488 HAS SOUPS 94488 WITH SCORE 94589.972
AT ITER 3691 NEW BEST:: SOT 1147112 SOS 101935 HAS SOPS 101935 HAS SOUS 94426 HAS SOUPS 94426 WITH SCORE 94527.935
AT ITER 3886 NEW BEST:: SOT 1147067 SOS 101889 HAS SOPS 101889 HAS SOUS 94380 HAS SOUPS 94380 WITH SCORE 94481.889
AT ITER 3940 NEW BEST:: SOT 1147089 SOS 101851 HAS SOPS 101851 HAS SOUS 94363 HAS SOUPS 94363 WITH SCORE 94464.851
AT ITER 3944 NEW BEST:: SOT 1147054 SOS 101780 HAS SOPS 101780 HAS SOUS 94292 HAS SOUPS 94292 WITH SCORE 94393.78
AT ITER 3968 NEW BEST:: SOT 1147054 SOS 101664 HAS SOPS 101664 HAS SOUS 94230 HAS SOUPS 94230 WITH SCORE 94331.664
AT ITER 4118 NEW BEST:: SOT 1147054 SOS 101663 HAS SOPS 101663 HAS SOUS 94229 HAS SOUPS 94229 WITH SCORE 94330.663
AT ITER 4197 NEW BEST:: SOT 1147051 SOS 101657 HAS SOPS 101657 HAS SOUS 94226 HAS SOUPS 94226 WITH SCORE 94327.657
AT ITER 4250 NEW BEST:: SOT 1147045 SOS 101642 HAS SOPS 101642 HAS SOUS 94211 HAS SOUPS 94211 WITH SCORE 94312.642
AT ITER 4370 NEW BEST:: SOT 1147015 SOS 101612 HAS SOPS 101612 HAS SOUS 94181 HAS SOUPS 94181 WITH SCORE 94282.612
AT ITER 4509 NEW BEST:: SOT 1147007 SOS 101596 HAS SOPS 101596 HAS SOUS 94181 HAS SOUPS 94181 WITH SCORE 94282.596
AT ITER 4511 NEW BEST:: SOT 1146971 SOS 101516 HAS SOPS 101516 HAS SOUS 94087 HAS SOUPS 94087 WITH SCORE 94188.516
AT ITER 4512 NEW BEST:: SOT 1146967 SOS 101504 HAS SOPS 101504 HAS SOUS 94075 HAS SOUPS 94075 WITH SCORE 94176.504
AT ITER 4513 NEW BEST:: SOT 1146951 SOS 101472 HAS SOPS 101472 HAS SOUS 94056 HAS SOUPS 94056 WITH SCORE 94157.472
AT ITER 4562 NEW BEST:: SOT 1146943 SOS 101456 HAS SOPS 101456 HAS SOUS 94040 HAS SOUPS 94040 WITH SCORE 94141.456
AT ITER 4588 NEW BEST:: SOT 1146943 SOS 101484 HAS SOPS 101484 HAS SOUS 94018 HAS SOUPS 94018 WITH SCORE 94119.484
AT ITER 4600 NEW BEST:: SOT 1146915 SOS 101532 HAS SOPS 101532 HAS SOUS 93989 HAS SOUPS 93989 WITH SCORE 94090.532
AT ITER 4671 NEW BEST:: SOT 1146892 SOS 101525 HAS SOPS 101525 HAS SOUS 93959 HAS SOUPS 93959 WITH SCORE 94060.525
AT ITER 4784 NEW BEST:: SOT 1146898 SOS 101537 HAS SOPS 101537 HAS SOUS 93942 HAS SOUPS 93942 WITH SCORE 94043.537
AT ITER 4787 NEW BEST:: SOT 1146898 SOS 101536 HAS SOPS 101536 HAS SOUS 93941 HAS SOUPS 93941 WITH SCORE 94042.536
AT ITER 4788 NEW BEST:: SOT 1146898 SOS 101536 HAS SOPS 101536 HAS SOUS 93917 HAS SOUPS 93917 WITH SCORE 94018.536
AT ITER 4854 NEW BEST:: SOT 1146864 SOS 101468 HAS SOPS 101468 HAS SOUS 93849 HAS SOUPS 93849 WITH SCORE 93950.468
AT ITER 4875 NEW BEST:: SOT 1146826 SOS 101354 HAS SOPS 101354 HAS SOUS 93735 HAS SOUPS 93735 WITH SCORE 93836.354
AT ITER 4893 NEW BEST:: SOT 1146820 SOS 101342 HAS SOPS 101342 HAS SOUS 93723 HAS SOUPS 93723 WITH SCORE 93824.342
AT ITER 4975 NEW BEST:: SOT 1146819 SOS 101299 HAS SOPS 101299 HAS SOUS 93721 HAS SOUPS 93721 WITH SCORE 93822.299
AT ITER 5007 NEW BEST:: SOT 1146819 SOS 101293 HAS SOPS 101293 HAS SOUS 93715 HAS SOUPS 93715 WITH SCORE 93816.293
AT ITER 5079 NEW BEST:: SOT 1146819 SOS 101287 HAS SOPS 101287 HAS SOUS 93709 HAS SOUPS 93709 WITH SCORE 93810.287
AT ITER 5137 NEW BEST:: SOT 1146775 SOS 101236 HAS SOPS 101236 HAS SOUS 93658 HAS SOUPS 93658 WITH SCORE 93759.236
AT ITER 5149 NEW BEST:: SOT 1146747 SOS 101180 HAS SOPS 101180 HAS SOUS 93602 HAS SOUPS 93602 WITH SCORE 93703.18
AT ITER 5154 NEW BEST:: SOT 1146706 SOS 101045 HAS SOPS 101045 HAS SOUS 93573 HAS SOUPS 93573 WITH SCORE 93674.045
AT ITER 5178 NEW BEST:: SOT 1146706 SOS 101039 HAS SOPS 101039 HAS SOUS 93487 HAS SOUPS 93487 WITH SCORE 93588.039
AT ITER 5217 NEW BEST:: SOT 1146705 SOS 100994 HAS SOPS 100994 HAS SOUS 93442 HAS SOUPS 93442 WITH SCORE 93542.994
AT ITER 5338 NEW BEST:: SOT 1146697 SOS 100978 HAS SOPS 100978 HAS SOUS 93426 HAS SOUPS 93426 WITH SCORE 93526.978
AT ITER 5375 NEW BEST:: SOT 1146636 SOS 100981 HAS SOPS 100981 HAS SOUS 93414 HAS SOUPS 93414 WITH SCORE 93514.981
AT ITER 5421 NEW BEST:: SOT 1146587 SOS 100973 HAS SOPS 100973 HAS SOUS 93406 HAS SOUPS 93406 WITH SCORE 93506.973
AT ITER 5498 NEW BEST:: SOT 1146587 SOS 100973 HAS SOPS 100973 HAS SOUS 93367 HAS SOUPS 93367 WITH SCORE 93467.973
AT ITER 5530 NEW BEST:: SOT 1146556 SOS 100895 HAS SOPS 100895 HAS SOUS 93272 HAS SOUPS 93272 WITH SCORE 93372.895
AT ITER 5615 NEW BEST:: SOT 1146549 SOS 100849 HAS SOPS 100849 HAS SOUS 93262 HAS SOUPS 93262 WITH SCORE 93362.849
AT ITER 5640 NEW BEST:: SOT 1146549 SOS 100780 HAS SOPS 100780 HAS SOUS 93259 HAS SOUPS 93259 WITH SCORE 93359.78
AT ITER 5686 NEW BEST:: SOT 1146579 SOS 100840 HAS SOPS 100840 HAS SOUS 93256 HAS SOUPS 93256 WITH SCORE 93356.84
AT ITER 5694 NEW BEST:: SOT 1146576 SOS 100837 HAS SOPS 100837 HAS SOUS 93256 HAS SOUPS 93256 WITH SCORE 93356.837
AT ITER 5695 NEW BEST:: SOT 1146576 SOS 100816 HAS SOPS 100816 HAS SOUS 93250 HAS SOUPS 93250 WITH SCORE 93350.816
AT ITER 5706 NEW BEST:: SOT 1146576 SOS 100816 HAS SOPS 100816 HAS SOUS 93235 HAS SOUPS 93235 WITH SCORE 93335.816
AT ITER 5785 NEW BEST:: SOT 1146603 SOS 100826 HAS SOPS 100826 HAS SOUS 93223 HAS SOUPS 93223 WITH SCORE 93323.826
AT ITER 5809 NEW BEST:: SOT 1146602 SOS 100784 HAS SOPS 100784 HAS SOUS 93221 HAS SOUPS 93221 WITH SCORE 93321.784
AT ITER 5873 NEW BEST:: SOT 1146601 SOS 100716 HAS SOPS 100716 HAS SOUS 93219 HAS SOUPS 93219 WITH SCORE 93319.716
AT ITER 5911 NEW BEST:: SOT 1146559 SOS 100695 HAS SOPS 100695 HAS SOUS 93192 HAS SOUPS 93192 WITH SCORE 93292.695
AT ITER 5951 NEW BEST:: SOT 1146559 SOS 100688 HAS SOPS 100688 HAS SOUS 93185 HAS SOUPS 93185 WITH SCORE 93285.688
AT ITER 6021 NEW BEST:: SOT 1146534 SOS 100638 HAS SOPS 100638 HAS SOUS 93135 HAS SOUPS 93135 WITH SCORE 93235.638
AT ITER 6109 NEW BEST:: SOT 1146534 SOS 100630 HAS SOPS 100630 HAS SOUS 93127 HAS SOUPS 93127 WITH SCORE 93227.63
AT ITER 6155 NEW BEST:: SOT 1146540 SOS 100642 HAS SOPS 100642 HAS SOUS 93100 HAS SOUPS 93100 WITH SCORE 93200.642
AT ITER 6194 NEW BEST:: SOT 1146517 SOS 100596 HAS SOPS 100596 HAS SOUS 93054 HAS SOUPS 93054 WITH SCORE 93154.596
AT ITER 6200 NEW BEST:: SOT 1146533 SOS 100595 HAS SOPS 100595 HAS SOUS 93053 HAS SOUPS 93053 WITH SCORE 93153.595
AT ITER 6201 NEW BEST:: SOT 1146533 SOS 100595 HAS SOPS 100595 HAS SOUS 93017 HAS SOUPS 93017 WITH SCORE 93117.595
AT ITER 6254 NEW BEST:: SOT 1146533 SOS 100589 HAS SOPS 100589 HAS SOUS 93017 HAS SOUPS 93017 WITH SCORE 93117.589
AT ITER 6260 NEW BEST:: SOT 1146528 SOS 100584 HAS SOPS 100584 HAS SOUS 93012 HAS SOUPS 93012 WITH SCORE 93112.584
AT ITER 6317 NEW BEST:: SOT 1146531 SOS 100590 HAS SOPS 100590 HAS SOUS 93007 HAS SOUPS 93007 WITH SCORE 93107.59
AT ITER 6432 NEW BEST:: SOT 1146498 SOS 100469 HAS SOPS 100469 HAS SOUS 92891 HAS SOUPS 92891 WITH SCORE 92991.469
AT ITER 6453 NEW BEST:: SOT 1146461 SOS 100432 HAS SOPS 100432 HAS SOUS 92854 HAS SOUPS 92854 WITH SCORE 92954.432
AT ITER 6481 NEW BEST:: SOT 1146412 SOS 100383 HAS SOPS 100383 HAS SOUS 92805 HAS SOUPS 92805 WITH SCORE 92905.383
AT ITER 6512 NEW BEST:: SOT 1146386 SOS 100331 HAS SOPS 100331 HAS SOUS 92766 HAS SOUPS 92766 WITH SCORE 92866.331
AT ITER 6528 NEW BEST:: SOT 1146365 SOS 100310 HAS SOPS 100310 HAS SOUS 92745 HAS SOUPS 92745 WITH SCORE 92845.31
AT ITER 6539 NEW BEST:: SOT 1146331 SOS 100275 HAS SOPS 100275 HAS SOUS 92710 HAS SOUPS 92710 WITH SCORE 92810.275
AT ITER 6597 NEW BEST:: SOT 1146286 SOS 100185 HAS SOPS 100185 HAS SOUS 92620 HAS SOUPS 92620 WITH SCORE 92720.185
AT ITER 6606 NEW BEST:: SOT 1146268 SOS 100167 HAS SOPS 100167 HAS SOUS 92602 HAS SOUPS 92602 WITH SCORE 92702.167
AT ITER 6629 NEW BEST:: SOT 1146268 SOS 100166 HAS SOPS 100166 HAS SOUS 92601 HAS SOUPS 92601 WITH SCORE 92701.166
AT ITER 6736 NEW BEST:: SOT 1146268 SOS 100159 HAS SOPS 100159 HAS SOUS 92594 HAS SOUPS 92594 WITH SCORE 92694.159
AT ITER 6738 NEW BEST:: SOT 1146268 SOS 100155 HAS SOPS 100155 HAS SOUS 92587 HAS SOUPS 92587 WITH SCORE 92687.155
AT ITER 6797 NEW BEST:: SOT 1146268 SOS 100214 HAS SOPS 100214 HAS SOUS 92586 HAS SOUPS 92586 WITH SCORE 92686.214
AT ITER 6889 NEW BEST:: SOT 1146213 SOS 100203 HAS SOPS 100203 HAS SOUS 92575 HAS SOUPS 92575 WITH SCORE 92675.203
AT ITER 6990 NEW BEST:: SOT 1146173 SOS 100215 HAS SOPS 100215 HAS SOUS 92569 HAS SOUPS 92569 WITH SCORE 92669.215
AT ITER 7014 NEW BEST:: SOT 1146172 SOS 100173 HAS SOPS 100173 HAS SOUS 92547 HAS SOUPS 92547 WITH SCORE 92647.173
AT ITER 7047 NEW BEST:: SOT 1146136 SOS 99970 HAS SOPS 99970 HAS SOUS 92344 HAS SOUPS 92344 WITH SCORE 92443.97
AT ITER 7092 NEW BEST:: SOT 1146136 SOS 99970 HAS SOPS 99970 HAS SOUS 92340 HAS SOUPS 92340 WITH SCORE 92439.97
AT ITER 7120 NEW BEST:: SOT 1146127 SOS 99931 HAS SOPS 99931 HAS SOUS 92310 HAS SOUPS 92310 WITH SCORE 92409.931
AT ITER 7204 NEW BEST:: SOT 1146110 SOS 99880 HAS SOPS 99880 HAS SOUS 92259 HAS SOUPS 92259 WITH SCORE 92358.88
AT ITER 7212 NEW BEST:: SOT 1146110 SOS 99879 HAS SOPS 99879 HAS SOUS 92258 HAS SOUPS 92258 WITH SCORE 92357.879
AT ITER 7244 NEW BEST:: SOT 1146145 SOS 99721 HAS SOPS 99721 HAS SOUS 92202 HAS SOUPS 92202 WITH SCORE 92301.721
AT ITER 7256 NEW BEST:: SOT 1146145 SOS 99713 HAS SOPS 99713 HAS SOUS 92194 HAS SOUPS 92194 WITH SCORE 92293.713
AT ITER 7312 NEW BEST:: SOT 1146133 SOS 99701 HAS SOPS 99701 HAS SOUS 92184 HAS SOUPS 92184 WITH SCORE 92283.701
AT ITER 7332 NEW BEST:: SOT 1146132 SOS 99687 HAS SOPS 99687 HAS SOUS 92182 HAS SOUPS 92182 WITH SCORE 92281.687
AT ITER 7378 NEW BEST:: SOT 1146128 SOS 99679 HAS SOPS 99679 HAS SOUS 92176 HAS SOUPS 92176 WITH SCORE 92275.679
AT ITER 7412 NEW BEST:: SOT 1146128 SOS 99678 HAS SOPS 99678 HAS SOUS 92175 HAS SOUPS 92175 WITH SCORE 92274.678
AT ITER 7506 NEW BEST:: SOT 1146128 SOS 99632 HAS SOPS 99632 HAS SOUS 92129 HAS SOUPS 92129 WITH SCORE 92228.632
AT ITER 7532 NEW BEST:: SOT 1146128 SOS 99631 HAS SOPS 99631 HAS SOUS 92128 HAS SOUPS 92128 WITH SCORE 92227.631
AT ITER 7555 NEW BEST:: SOT 1146029 SOS 99486 HAS SOPS 99486 HAS SOUS 91975 HAS SOUPS 91975 WITH SCORE 92074.486
AT ITER 7649 NEW BEST:: SOT 1146029 SOS 99486 HAS SOPS 99486 HAS SOUS 91935 HAS SOUPS 91935 WITH SCORE 92034.486
AT ITER 7688 NEW BEST:: SOT 1145997 SOS 99476 HAS SOPS 99476 HAS SOUS 91910 HAS SOUPS 91910 WITH SCORE 92009.476
AT ITER 7731 NEW BEST:: SOT 1145997 SOS 99469 HAS SOPS 99469 HAS SOUS 91903 HAS SOUPS 91903 WITH SCORE 92002.469
AT ITER 7759 NEW BEST:: SOT 1145996 SOS 99468 HAS SOPS 99468 HAS SOUS 91902 HAS SOUPS 91902 WITH SCORE 92001.468
AT ITER 7762 NEW BEST:: SOT 1145996 SOS 99467 HAS SOPS 99467 HAS SOUS 91901 HAS SOUPS 91901 WITH SCORE 92000.467
AT ITER 7777 NEW BEST:: SOT 1145996 SOS 99458 HAS SOPS 99458 HAS SOUS 91892 HAS SOUPS 91892 WITH SCORE 91991.458
AT ITER 7824 NEW BEST:: SOT 1145950 SOS 99366 HAS SOPS 99366 HAS SOUS 91800 HAS SOUPS 91800 WITH SCORE 91899.366
AT ITER 7903 NEW BEST:: SOT 1145906 SOS 99317 HAS SOPS 99317 HAS SOUS 91756 HAS SOUPS 91756 WITH SCORE 91855.317
AT ITER 8085 NEW BEST:: SOT 1145890 SOS 99309 HAS SOPS 99309 HAS SOUS 91748 HAS SOUPS 91748 WITH SCORE 91847.309
AT ITER 8115 NEW BEST:: SOT 1145977 SOS 99403 HAS SOPS 99403 HAS SOUS 91746 HAS SOUPS 91746 WITH SCORE 91845.403
AT ITER 8135 NEW BEST:: SOT 1145977 SOS 99336 HAS SOPS 99336 HAS SOUS 91741 HAS SOUPS 91741 WITH SCORE 91840.336
AT ITER 8201 NEW BEST:: SOT 1145971 SOS 99324 HAS SOPS 99324 HAS SOUS 91735 HAS SOUPS 91735 WITH SCORE 91834.324
AT ITER 8284 NEW BEST:: SOT 1146039 SOS 99313 HAS SOPS 99313 HAS SOUS 91724 HAS SOUPS 91724 WITH SCORE 91823.313
AT ITER 8331 NEW BEST:: SOT 1146039 SOS 99313 HAS SOPS 99313 HAS SOUS 91719 HAS SOUPS 91719 WITH SCORE 91818.313
AT ITER 8342 NEW BEST:: SOT 1146029 SOS 99293 HAS SOPS 99293 HAS SOUS 91704 HAS SOUPS 91704 WITH SCORE 91803.293
AT ITER 8387 NEW BEST:: SOT 1146011 SOS 99275 HAS SOPS 99275 HAS SOUS 91686 HAS SOUPS 91686 WITH SCORE 91785.275
AT ITER 8405 NEW BEST:: SOT 1146010 SOS 99254 HAS SOPS 99254 HAS SOUS 91665 HAS SOUPS 91665 WITH SCORE 91764.254
AT ITER 8499 NEW BEST:: SOT 1146010 SOS 99253 HAS SOPS 99253 HAS SOUS 91664 HAS SOUPS 91664 WITH SCORE 91763.253
AT ITER 8503 NEW BEST:: SOT 1146010 SOS 99219 HAS SOPS 99219 HAS SOUS 91630 HAS SOUPS 91630 WITH SCORE 91729.219
AT ITER 8563 NEW BEST:: SOT 1145977 SOS 99120 HAS SOPS 99120 HAS SOUS 91564 HAS SOUPS 91564 WITH SCORE 91663.12
AT ITER 8611 NEW BEST:: SOT 1145956 SOS 99098 HAS SOPS 99098 HAS SOUS 91542 HAS SOUPS 91542 WITH SCORE 91641.098
AT ITER 8819 NEW BEST:: SOT 1145915 SOS 99082 HAS SOPS 99082 HAS SOUS 91526 HAS SOUPS 91526 WITH SCORE 91625.082
AT ITER 8823 NEW BEST:: SOT 1145933 SOS 99118 HAS SOPS 99118 HAS SOUS 91474 HAS SOUPS 91474 WITH SCORE 91573.118
AT ITER 8953 NEW BEST:: SOT 1145939 SOS 99094 HAS SOPS 99094 HAS SOUS 91470 HAS SOUPS 91470 WITH SCORE 91569.094
AT ITER 8965 NEW BEST:: SOT 1145938 SOS 99036 HAS SOPS 99036 HAS SOUS 91440 HAS SOUPS 91440 WITH SCORE 91539.036
AT ITER 8978 NEW BEST:: SOT 1145921 SOS 99002 HAS SOPS 99002 HAS SOUS 91406 HAS SOUPS 91406 WITH SCORE 91505.002
AT ITER 9032 NEW BEST:: SOT 1145907 SOS 98988 HAS SOPS 98988 HAS SOUS 91392 HAS SOUPS 91392 WITH SCORE 91490.988
AT ITER 9040 NEW BEST:: SOT 1145907 SOS 98955 HAS SOPS 98955 HAS SOUS 91359 HAS SOUPS 91359 WITH SCORE 91457.955
AT ITER 9112 NEW BEST:: SOT 1145900 SOS 98941 HAS SOPS 98941 HAS SOUS 91345 HAS SOUPS 91345 WITH SCORE 91443.941
AT ITER 9131 NEW BEST:: SOT 1145811 SOS 98879 HAS SOPS 98879 HAS SOUS 91264 HAS SOUPS 91264 WITH SCORE 91362.879
AT ITER 9173 NEW BEST:: SOT 1145811 SOS 98871 HAS SOPS 98871 HAS SOUS 91263 HAS SOUPS 91263 WITH SCORE 91361.871
AT ITER 9187 NEW BEST:: SOT 1145811 SOS 98864 HAS SOPS 98864 HAS SOUS 91263 HAS SOUPS 91263 WITH SCORE 91361.864
AT ITER 9205 NEW BEST:: SOT 1145811 SOS 98842 HAS SOPS 98842 HAS SOUS 91241 HAS SOUPS 91241 WITH SCORE 91339.842
AT ITER 9280 NEW BEST:: SOT 1145825 SOS 98870 HAS SOPS 98870 HAS SOUS 91208 HAS SOUPS 91208 WITH SCORE 91306.87
AT ITER 9421 NEW BEST:: SOT 1145833 SOS 98946 HAS SOPS 98946 HAS SOUS 91207 HAS SOUPS 91207 WITH SCORE 91305.946
AT ITER 9481 NEW BEST:: SOT 1145758 SOS 98746 HAS SOPS 98746 HAS SOUS 91050 HAS SOUPS 91050 WITH SCORE 91148.746
AT ITER 9493 NEW BEST:: SOT 1145649 SOS 98943 HAS SOPS 98943 HAS SOUS 91010 HAS SOUPS 91010 WITH SCORE 91108.943
AT ITER 9494 NEW BEST:: SOT 1145604 SOS 98853 HAS SOPS 98853 HAS SOUS 90920 HAS SOUPS 90920 WITH SCORE 91018.853
AT ITER 9541 NEW BEST:: SOT 1145569 SOS 98865 HAS SOPS 98865 HAS SOUS 90906 HAS SOUPS 90906 WITH SCORE 91004.865
AT ITER 9542 NEW BEST:: SOT 1145569 SOS 98940 HAS SOPS 98940 HAS SOUS 90905 HAS SOUPS 90905 WITH SCORE 91003.94
AT ITER 9611 NEW BEST:: SOT 1145551 SOS 98874 HAS SOPS 98874 HAS SOUS 90888 HAS SOUPS 90888 WITH SCORE 90986.874
AT ITER 9713 NEW BEST:: SOT 1145518 SOS 98871 HAS SOPS 98871 HAS SOUS 90885 HAS SOUPS 90885 WITH SCORE 90983.871
AT ITER 9753 NEW BEST:: SOT 1145503 SOS 98865 HAS SOPS 98865 HAS SOUS 90885 HAS SOUPS 90885 WITH SCORE 90983.865
AT ITER 9800 NEW BEST:: SOT 1145503 SOS 98806 HAS SOPS 98806 HAS SOUS 90821 HAS SOUPS 90821 WITH SCORE 90919.806
AT ITER 9813 NEW BEST:: SOT 1145503 SOS 98801 HAS SOPS 98801 HAS SOUS 90816 HAS SOUPS 90816 WITH SCORE 90914.801
AT ITER 9856 NEW BEST:: SOT 1145444 SOS 98719 HAS SOPS 98719 HAS SOUS 90755 HAS SOUPS 90755 WITH SCORE 90853.719
AT ITER 9861 NEW BEST:: SOT 1145444 SOS 98700 HAS SOPS 98700 HAS SOUS 90755 HAS SOUPS 90755 WITH SCORE 90853.7
AT ITER 9891 NEW BEST:: SOT 1145444 SOS 98697 HAS SOPS 98697 HAS SOUS 90752 HAS SOUPS 90752 WITH SCORE 90850.697
AT ITER 9897 NEW BEST:: SOT 1145444 SOS 98684 HAS SOPS 98684 HAS SOUS 90726 HAS SOUPS 90726 WITH SCORE 90824.684
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 11578084 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16151956 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="ShieldPPPt-PT-020B"
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 ShieldPPPt-PT-020B, 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 r387-oct2-167903712100640"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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