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.r459-smll-167912651500624.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is StigmergyElection-PT-06a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r459-smll-167912651500624
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 7.8K Feb 26 16:17 CTLCardinality.txt
-rw-r--r-- 1 mcc users 91K Feb 26 16:17 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.4K Feb 26 16:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 62K Feb 26 16:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 17:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 17:14 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 17:14 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 17:14 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 16:21 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 121K Feb 26 16:21 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 13K Feb 26 16:19 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 116K Feb 26 16:19 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 17:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 17:14 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 565K 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 1679440526541

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=StigmergyElection-PT-06a
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-21 23:15:29] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-21 23:15:29] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-21 23:15:30] [INFO ] Load time of PNML (sax parser for PT used): 353 ms
[2023-03-21 23:15:30] [INFO ] Transformed 86 places.
[2023-03-21 23:15:30] [INFO ] Transformed 1042 transitions.
[2023-03-21 23:15:30] [INFO ] Found NUPN structural information;
[2023-03-21 23:15:30] [INFO ] Parsed PT model containing 86 places and 1042 transitions and 11192 arcs in 471 ms.
[2023-03-21 23:15:30] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 86 places, 1042 transitions and 11192 arcs took 28 ms.
Total runtime 544 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running StigmergyElection (PT), instance 06a
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 86 places, 1042 transitions, 11192 arcs.
AT ITER 0 NEW BEST:: SOT 46830 SOS 16181 HAS SOPS 14751 HAS SOUS 3503 HAS SOUPS 3479 WITH SCORE 3495.181
AT ITER 1 NEW BEST:: SOT 46864 SOS 16163 HAS SOPS 14733 HAS SOUS 3455 HAS SOUPS 3431 WITH SCORE 3447.163
AT ITER 9 NEW BEST:: SOT 46296 SOS 17057 HAS SOPS 14142 HAS SOUS 3397 HAS SOUPS 3300 WITH SCORE 3317.057
AT ITER 22 NEW BEST:: SOT 46438 SOS 17093 HAS SOPS 14178 HAS SOUS 3393 HAS SOUPS 3296 WITH SCORE 3313.093
AT ITER 23 NEW BEST:: SOT 46409 SOS 17046 HAS SOPS 14142 HAS SOUS 3375 HAS SOUPS 3278 WITH SCORE 3295.046
AT ITER 26 NEW BEST:: SOT 46422 SOS 17035 HAS SOPS 14141 HAS SOUS 3374 HAS SOUPS 3277 WITH SCORE 3294.035
AT ITER 30 NEW BEST:: SOT 46437 SOS 17032 HAS SOPS 14138 HAS SOUS 3367 HAS SOUPS 3270 WITH SCORE 3287.032
AT ITER 31 NEW BEST:: SOT 46415 SOS 26905 HAS SOPS 17729 HAS SOUS 3367 HAS SOUPS 3259 WITH SCORE 3285.905
AT ITER 33 NEW BEST:: SOT 46415 SOS 26898 HAS SOPS 17722 HAS SOUS 3360 HAS SOUPS 3252 WITH SCORE 3278.898
AT ITER 37 NEW BEST:: SOT 46481 SOS 26878 HAS SOPS 17702 HAS SOUS 3340 HAS SOUPS 3232 WITH SCORE 3258.878
AT ITER 50 NEW BEST:: SOT 49111 SOS 20618 HAS SOPS 17160 HAS SOUS 3162 HAS SOUPS 3055 WITH SCORE 3075.618
AT ITER 58 NEW BEST:: SOT 49131 SOS 20632 HAS SOPS 17174 HAS SOUS 3156 HAS SOUPS 3049 WITH SCORE 3069.632
AT ITER 62 NEW BEST:: SOT 49181 SOS 20666 HAS SOPS 17160 HAS SOUS 3114 HAS SOUPS 3007 WITH SCORE 3027.666
AT ITER 66 NEW BEST:: SOT 49130 SOS 20577 HAS SOPS 17113 HAS SOUS 3078 HAS SOUPS 2971 WITH SCORE 2991.577
AT ITER 67 NEW BEST:: SOT 49162 SOS 20601 HAS SOPS 16989 HAS SOUS 3070 HAS SOUPS 2963 WITH SCORE 2983.601
AT ITER 77 NEW BEST:: SOT 49142 SOS 36633 HAS SOPS 23460 HAS SOUS 3043 HAS SOUPS 2916 WITH SCORE 2952.633
AT ITER 86 NEW BEST:: SOT 49142 SOS 36612 HAS SOPS 23255 HAS SOUS 3022 HAS SOUPS 2895 WITH SCORE 2931.612
AT ITER 89 NEW BEST:: SOT 49229 SOS 36606 HAS SOPS 23285 HAS SOUS 3016 HAS SOUPS 2889 WITH SCORE 2925.606
AT ITER 92 NEW BEST:: SOT 49226 SOS 36607 HAS SOPS 23286 HAS SOUS 3013 HAS SOUPS 2886 WITH SCORE 2922.607
AT ITER 98 NEW BEST:: SOT 49310 SOS 36590 HAS SOPS 23291 HAS SOUS 2998 HAS SOUPS 2871 WITH SCORE 2907.59
AT ITER 106 NEW BEST:: SOT 49308 SOS 36586 HAS SOPS 23287 HAS SOUS 2996 HAS SOUPS 2869 WITH SCORE 2905.586
AT ITER 109 NEW BEST:: SOT 49292 SOS 36570 HAS SOPS 23442 HAS SOUS 2980 HAS SOUPS 2853 WITH SCORE 2889.57
AT ITER 110 NEW BEST:: SOT 49302 SOS 36564 HAS SOPS 23440 HAS SOUS 2968 HAS SOUPS 2841 WITH SCORE 2877.564
AT ITER 113 NEW BEST:: SOT 49295 SOS 36486 HAS SOPS 23426 HAS SOUS 2960 HAS SOUPS 2833 WITH SCORE 2869.486
AT ITER 117 NEW BEST:: SOT 49307 SOS 36338 HAS SOPS 23342 HAS SOUS 2876 HAS SOUPS 2749 WITH SCORE 2785.338
AT ITER 119 NEW BEST:: SOT 49315 SOS 36336 HAS SOPS 23340 HAS SOUS 2866 HAS SOUPS 2739 WITH SCORE 2775.336
AT ITER 134 NEW BEST:: SOT 49317 SOS 36334 HAS SOPS 23338 HAS SOUS 2864 HAS SOUPS 2737 WITH SCORE 2773.334
AT ITER 143 NEW BEST:: SOT 49311 SOS 36314 HAS SOPS 23318 HAS SOUS 2852 HAS SOUPS 2725 WITH SCORE 2761.314
AT ITER 145 NEW BEST:: SOT 49332 SOS 36275 HAS SOPS 23297 HAS SOUS 2831 HAS SOUPS 2704 WITH SCORE 2740.275
AT ITER 152 NEW BEST:: SOT 49313 SOS 36264 HAS SOPS 23277 HAS SOUS 2821 HAS SOUPS 2694 WITH SCORE 2730.264
AT ITER 154 NEW BEST:: SOT 49309 SOS 36261 HAS SOPS 23340 HAS SOUS 2820 HAS SOUPS 2693 WITH SCORE 2729.261
AT ITER 166 NEW BEST:: SOT 49294 SOS 36260 HAS SOPS 23327 HAS SOUS 2805 HAS SOUPS 2678 WITH SCORE 2714.26
AT ITER 175 NEW BEST:: SOT 49292 SOS 36256 HAS SOPS 23308 HAS SOUS 2801 HAS SOUPS 2674 WITH SCORE 2710.256
AT ITER 176 NEW BEST:: SOT 47332 SOS 34306 HAS SOPS 21616 HAS SOUS 2768 HAS SOUPS 2645 WITH SCORE 2679.306
AT ITER 208 NEW BEST:: SOT 47310 SOS 34307 HAS SOPS 22976 HAS SOUS 2761 HAS SOUPS 2638 WITH SCORE 2672.307
AT ITER 230 NEW BEST:: SOT 47308 SOS 34305 HAS SOPS 22978 HAS SOUS 2761 HAS SOUPS 2638 WITH SCORE 2672.305
AT ITER 232 NEW BEST:: SOT 47309 SOS 34306 HAS SOPS 22978 HAS SOUS 2760 HAS SOUPS 2636 WITH SCORE 2670.306
AT ITER 237 NEW BEST:: SOT 47074 SOS 34025 HAS SOPS 22733 HAS SOUS 2757 HAS SOUPS 2633 WITH SCORE 2667.025
AT ITER 238 NEW BEST:: SOT 47038 SOS 33958 HAS SOPS 22696 HAS SOUS 2731 HAS SOUPS 2607 WITH SCORE 2640.958
AT ITER 241 NEW BEST:: SOT 47002 SOS 33901 HAS SOPS 22646 HAS SOUS 2724 HAS SOUPS 2600 WITH SCORE 2633.901
AT ITER 242 NEW BEST:: SOT 47405 SOS 34284 HAS SOPS 22897 HAS SOUS 2649 HAS SOUPS 2524 WITH SCORE 2558.284
AT ITER 246 NEW BEST:: SOT 47397 SOS 34276 HAS SOPS 22797 HAS SOUS 2577 HAS SOUPS 2452 WITH SCORE 2486.276
AT ITER 258 NEW BEST:: SOT 47382 SOS 34261 HAS SOPS 22782 HAS SOUS 2572 HAS SOUPS 2447 WITH SCORE 2481.261
AT ITER 281 NEW BEST:: SOT 47412 SOS 34233 HAS SOPS 22778 HAS SOUS 2570 HAS SOUPS 2445 WITH SCORE 2479.233
AT ITER 303 NEW BEST:: SOT 47415 SOS 34221 HAS SOPS 22766 HAS SOUS 2564 HAS SOUPS 2439 WITH SCORE 2473.221
AT ITER 321 NEW BEST:: SOT 47407 SOS 27891 HAS SOPS 20286 HAS SOUS 2563 HAS SOUPS 2445 WITH SCORE 2472.891
AT ITER 357 NEW BEST:: SOT 47407 SOS 27885 HAS SOPS 20280 HAS SOUS 2557 HAS SOUPS 2439 WITH SCORE 2466.885
AT ITER 368 NEW BEST:: SOT 47350 SOS 27863 HAS SOPS 20224 HAS SOUS 2551 HAS SOUPS 2433 WITH SCORE 2460.863
AT ITER 387 NEW BEST:: SOT 47357 SOS 27862 HAS SOPS 17499 HAS SOUS 2526 HAS SOUPS 2408 WITH SCORE 2435.862
AT ITER 405 NEW BEST:: SOT 47381 SOS 28530 HAS SOPS 19679 HAS SOUS 2520 HAS SOUPS 2402 WITH SCORE 2430.53
AT ITER 444 NEW BEST:: SOT 47392 SOS 28510 HAS SOPS 19659 HAS SOUS 2491 HAS SOUPS 2373 WITH SCORE 2401.51
AT ITER 453 NEW BEST:: SOT 47390 SOS 28510 HAS SOPS 19657 HAS SOUS 2490 HAS SOUPS 2372 WITH SCORE 2400.51
AT ITER 472 NEW BEST:: SOT 47388 SOS 28506 HAS SOPS 19654 HAS SOUS 2488 HAS SOUPS 2370 WITH SCORE 2398.506
AT ITER 473 NEW BEST:: SOT 47380 SOS 28494 HAS SOPS 19974 HAS SOUS 2487 HAS SOUPS 2369 WITH SCORE 2397.494
AT ITER 477 NEW BEST:: SOT 47428 SOS 28484 HAS SOPS 19992 HAS SOUS 2483 HAS SOUPS 2365 WITH SCORE 2393.484
AT ITER 491 NEW BEST:: SOT 47420 SOS 30256 HAS SOPS 21766 HAS SOUS 2475 HAS SOUPS 2357 WITH SCORE 2387.256
AT ITER 505 NEW BEST:: SOT 47456 SOS 30244 HAS SOPS 21732 HAS SOUS 2439 HAS SOUPS 2321 WITH SCORE 2351.244
AT ITER 515 NEW BEST:: SOT 47459 SOS 30214 HAS SOPS 21738 HAS SOUS 2405 HAS SOUPS 2287 WITH SCORE 2317.214
AT ITER 544 NEW BEST:: SOT 47435 SOS 30156 HAS SOPS 21690 HAS SOUS 2403 HAS SOUPS 2285 WITH SCORE 2315.156
AT ITER 562 NEW BEST:: SOT 47437 SOS 30155 HAS SOPS 21689 HAS SOUS 2402 HAS SOUPS 2284 WITH SCORE 2314.155
AT ITER 565 NEW BEST:: SOT 47417 SOS 30145 HAS SOPS 21474 HAS SOUS 2352 HAS SOUPS 2234 WITH SCORE 2264.145
AT ITER 568 NEW BEST:: SOT 47424 SOS 30136 HAS SOPS 21470 HAS SOUS 2347 HAS SOUPS 2229 WITH SCORE 2259.136
AT ITER 591 NEW BEST:: SOT 47424 SOS 30136 HAS SOPS 21470 HAS SOUS 2346 HAS SOUPS 2228 WITH SCORE 2258.136
AT ITER 612 NEW BEST:: SOT 47405 SOS 30114 HAS SOPS 21448 HAS SOUS 2340 HAS SOUPS 2222 WITH SCORE 2252.114
AT ITER 618 NEW BEST:: SOT 47397 SOS 30106 HAS SOPS 21572 HAS SOUS 2338 HAS SOUPS 2220 WITH SCORE 2250.106
AT ITER 622 NEW BEST:: SOT 47393 SOS 30098 HAS SOPS 21554 HAS SOUS 2324 HAS SOUPS 2206 WITH SCORE 2236.098
AT ITER 626 NEW BEST:: SOT 47386 SOS 30084 HAS SOPS 21540 HAS SOUS 2310 HAS SOUPS 2192 WITH SCORE 2222.084
AT ITER 656 NEW BEST:: SOT 47380 SOS 30056 HAS SOPS 21512 HAS SOUS 2296 HAS SOUPS 2178 WITH SCORE 2208.056
AT ITER 664 NEW BEST:: SOT 47372 SOS 30036 HAS SOPS 21094 HAS SOUS 2278 HAS SOUPS 2160 WITH SCORE 2190.036
AT ITER 674 NEW BEST:: SOT 47284 SOS 29948 HAS SOPS 20926 HAS SOUS 2273 HAS SOUPS 2155 WITH SCORE 2184.948
AT ITER 681 NEW BEST:: SOT 47282 SOS 29944 HAS SOPS 20922 HAS SOUS 2268 HAS SOUPS 2150 WITH SCORE 2179.944
AT ITER 739 NEW BEST:: SOT 47275 SOS 29930 HAS SOPS 20908 HAS SOUS 2254 HAS SOUPS 2136 WITH SCORE 2165.93
AT ITER 747 NEW BEST:: SOT 47223 SOS 29915 HAS SOPS 20877 HAS SOUS 2254 HAS SOUPS 2136 WITH SCORE 2165.915
AT ITER 850 NEW BEST:: SOT 47197 SOS 29863 HAS SOPS 20825 HAS SOUS 2213 HAS SOUPS 2095 WITH SCORE 2124.863
AT ITER 859 NEW BEST:: SOT 47197 SOS 29858 HAS SOPS 20820 HAS SOUS 2213 HAS SOUPS 2095 WITH SCORE 2124.858
AT ITER 863 NEW BEST:: SOT 47200 SOS 29859 HAS SOPS 20822 HAS SOUS 2211 HAS SOUPS 2093 WITH SCORE 2122.859
AT ITER 868 NEW BEST:: SOT 47178 SOS 29842 HAS SOPS 20805 HAS SOUS 2198 HAS SOUPS 2080 WITH SCORE 2109.842
AT ITER 898 NEW BEST:: SOT 47181 SOS 29822 HAS SOPS 20787 HAS SOUS 2186 HAS SOUPS 2068 WITH SCORE 2097.822
AT ITER 902 NEW BEST:: SOT 47177 SOS 29810 HAS SOPS 20775 HAS SOUS 2178 HAS SOUPS 2060 WITH SCORE 2089.81
AT ITER 927 NEW BEST:: SOT 47174 SOS 29805 HAS SOPS 20770 HAS SOUS 2176 HAS SOUPS 2058 WITH SCORE 2087.805
AT ITER 950 NEW BEST:: SOT 47183 SOS 29805 HAS SOPS 20770 HAS SOUS 2173 HAS SOUPS 2055 WITH SCORE 2084.805
AT ITER 980 NEW BEST:: SOT 47185 SOS 29801 HAS SOPS 20770 HAS SOUS 2171 HAS SOUPS 2053 WITH SCORE 2082.801
AT ITER 1024 NEW BEST:: SOT 47185 SOS 29796 HAS SOPS 20770 HAS SOUS 2167 HAS SOUPS 2053 WITH SCORE 2082.796
AT ITER 1041 NEW BEST:: SOT 47184 SOS 29795 HAS SOPS 20769 HAS SOUS 2167 HAS SOUPS 2053 WITH SCORE 2082.795
AT ITER 1046 NEW BEST:: SOT 47185 SOS 29793 HAS SOPS 20767 HAS SOUS 2167 HAS SOUPS 2053 WITH SCORE 2082.793
AT ITER 1055 NEW BEST:: SOT 47183 SOS 29792 HAS SOPS 20766 HAS SOUS 2166 HAS SOUPS 2052 WITH SCORE 2081.792
AT ITER 1093 NEW BEST:: SOT 47205 SOS 29752 HAS SOPS 20732 HAS SOUS 2163 HAS SOUPS 2049 WITH SCORE 2078.752
AT ITER 1112 NEW BEST:: SOT 47213 SOS 29760 HAS SOPS 20738 HAS SOUS 2161 HAS SOUPS 2047 WITH SCORE 2076.76
AT ITER 1113 NEW BEST:: SOT 47369 SOS 29916 HAS SOPS 20913 HAS SOUS 2147 HAS SOUPS 2033 WITH SCORE 2062.916
AT ITER 1115 NEW BEST:: SOT 47369 SOS 29916 HAS SOPS 20880 HAS SOUS 2114 HAS SOUPS 2000 WITH SCORE 2029.916
AT ITER 1123 NEW BEST:: SOT 47324 SOS 29966 HAS SOPS 20878 HAS SOUS 2087 HAS SOUPS 1973 WITH SCORE 2002.966
AT ITER 1143 NEW BEST:: SOT 47296 SOS 29938 HAS SOPS 20850 HAS SOUS 2087 HAS SOUPS 1973 WITH SCORE 2002.938
AT ITER 1151 NEW BEST:: SOT 47290 SOS 30450 HAS SOPS 21356 HAS SOUS 2081 HAS SOUPS 1967 WITH SCORE 1997.45
AT ITER 1183 NEW BEST:: SOT 47306 SOS 30454 HAS SOPS 21360 HAS SOUS 2077 HAS SOUPS 1963 WITH SCORE 1993.454
AT ITER 1227 NEW BEST:: SOT 47306 SOS 30450 HAS SOPS 21356 HAS SOUS 2075 HAS SOUPS 1961 WITH SCORE 1991.45
AT ITER 1231 NEW BEST:: SOT 47306 SOS 30438 HAS SOPS 21404 HAS SOUS 2075 HAS SOUPS 1961 WITH SCORE 1991.438
AT ITER 1258 NEW BEST:: SOT 47318 SOS 30838 HAS SOPS 21816 HAS SOUS 2074 HAS SOUPS 1960 WITH SCORE 1990.838
AT ITER 1282 NEW BEST:: SOT 47306 SOS 30840 HAS SOPS 21818 HAS SOUS 2062 HAS SOUPS 1948 WITH SCORE 1978.84
AT ITER 1328 NEW BEST:: SOT 47303 SOS 30838 HAS SOPS 21814 HAS SOUS 2061 HAS SOUPS 1947 WITH SCORE 1977.838
AT ITER 1342 NEW BEST:: SOT 47303 SOS 30832 HAS SOPS 21814 HAS SOUS 2061 HAS SOUPS 1947 WITH SCORE 1977.832
AT ITER 1343 NEW BEST:: SOT 47302 SOS 30830 HAS SOPS 21813 HAS SOUS 2061 HAS SOUPS 1947 WITH SCORE 1977.83
AT ITER 1344 NEW BEST:: SOT 47301 SOS 30830 HAS SOPS 21811 HAS SOUS 2054 HAS SOUPS 1940 WITH SCORE 1970.83
AT ITER 1368 NEW BEST:: SOT 47301 SOS 29942 HAS SOPS 20921 HAS SOUS 2054 HAS SOUPS 1940 WITH SCORE 1969.942
AT ITER 1380 NEW BEST:: SOT 47289 SOS 29514 HAS SOPS 20493 HAS SOUS 2040 HAS SOUPS 1926 WITH SCORE 1955.514
AT ITER 1423 NEW BEST:: SOT 47152 SOS 29400 HAS SOPS 20364 HAS SOUS 1996 HAS SOUPS 1882 WITH SCORE 1911.4
AT ITER 1438 NEW BEST:: SOT 47151 SOS 29402 HAS SOPS 20362 HAS SOUS 1995 HAS SOUPS 1881 WITH SCORE 1910.402
AT ITER 1459 NEW BEST:: SOT 47099 SOS 29350 HAS SOPS 20324 HAS SOUS 1993 HAS SOUPS 1879 WITH SCORE 1908.35
AT ITER 1503 NEW BEST:: SOT 47042 SOS 29314 HAS SOPS 20288 HAS SOUS 1975 HAS SOUPS 1861 WITH SCORE 1890.314
AT ITER 1505 NEW BEST:: SOT 47038 SOS 29312 HAS SOPS 20290 HAS SOUS 1973 HAS SOUPS 1859 WITH SCORE 1888.312
AT ITER 1528 NEW BEST:: SOT 47040 SOS 29311 HAS SOPS 20291 HAS SOUS 1971 HAS SOUPS 1857 WITH SCORE 1886.311
AT ITER 1568 NEW BEST:: SOT 47038 SOS 29303 HAS SOPS 20287 HAS SOUS 1969 HAS SOUPS 1855 WITH SCORE 1884.303
AT ITER 1607 NEW BEST:: SOT 47035 SOS 29300 HAS SOPS 20284 HAS SOUS 1966 HAS SOUPS 1852 WITH SCORE 1881.3
AT ITER 1630 NEW BEST:: SOT 47040 SOS 29295 HAS SOPS 20282 HAS SOUS 1962 HAS SOUPS 1848 WITH SCORE 1877.295
AT ITER 1694 NEW BEST:: SOT 47040 SOS 29277 HAS SOPS 20273 HAS SOUS 1962 HAS SOUPS 1848 WITH SCORE 1877.277
AT ITER 1747 NEW BEST:: SOT 47039 SOS 29276 HAS SOPS 20272 HAS SOUS 1961 HAS SOUPS 1847 WITH SCORE 1876.276
AT ITER 1748 NEW BEST:: SOT 47046 SOS 29280 HAS SOPS 20136 HAS SOUS 1959 HAS SOUPS 1845 WITH SCORE 1874.28
AT ITER 1778 NEW BEST:: SOT 47045 SOS 29280 HAS SOPS 20135 HAS SOUS 1958 HAS SOUPS 1844 WITH SCORE 1873.28
AT ITER 1780 NEW BEST:: SOT 47035 SOS 29268 HAS SOPS 20123 HAS SOUS 1956 HAS SOUPS 1842 WITH SCORE 1871.268
AT ITER 1810 NEW BEST:: SOT 47036 SOS 29264 HAS SOPS 20119 HAS SOUS 1953 HAS SOUPS 1839 WITH SCORE 1868.264
AT ITER 1850 NEW BEST:: SOT 47031 SOS 30904 HAS SOPS 20433 HAS SOUS 1954 HAS SOUPS 1837 WITH SCORE 1867.904
AT ITER 1869 NEW BEST:: SOT 47029 SOS 30900 HAS SOPS 20427 HAS SOUS 1952 HAS SOUPS 1835 WITH SCORE 1865.9
AT ITER 1874 NEW BEST:: SOT 47027 SOS 30898 HAS SOPS 20400 HAS SOUS 1935 HAS SOUPS 1818 WITH SCORE 1848.898
AT ITER 1933 NEW BEST:: SOT 47026 SOS 30897 HAS SOPS 20399 HAS SOUS 1934 HAS SOUPS 1817 WITH SCORE 1847.897
AT ITER 1935 NEW BEST:: SOT 47033 SOS 30894 HAS SOPS 20397 HAS SOUS 1931 HAS SOUPS 1814 WITH SCORE 1844.894
AT ITER 1953 NEW BEST:: SOT 47032 SOS 30892 HAS SOPS 20395 HAS SOUS 1929 HAS SOUPS 1812 WITH SCORE 1842.892
AT ITER 1986 NEW BEST:: SOT 47028 SOS 30884 HAS SOPS 20387 HAS SOUS 1925 HAS SOUPS 1808 WITH SCORE 1838.884
AT ITER 2053 NEW BEST:: SOT 47026 SOS 30882 HAS SOPS 20315 HAS SOUS 1922 HAS SOUPS 1805 WITH SCORE 1835.882
AT ITER 2121 NEW BEST:: SOT 47028 SOS 30878 HAS SOPS 20315 HAS SOUS 1920 HAS SOUPS 1803 WITH SCORE 1833.878
AT ITER 2165 NEW BEST:: SOT 47028 SOS 30878 HAS SOPS 20281 HAS SOUS 1913 HAS SOUPS 1796 WITH SCORE 1826.878
AT ITER 2207 NEW BEST:: SOT 47026 SOS 30874 HAS SOPS 20277 HAS SOUS 1912 HAS SOUPS 1795 WITH SCORE 1825.874
AT ITER 2277 NEW BEST:: SOT 47023 SOS 30868 HAS SOPS 20271 HAS SOUS 1895 HAS SOUPS 1778 WITH SCORE 1808.868
AT ITER 2322 NEW BEST:: SOT 47026 SOS 30871 HAS SOPS 20204 HAS SOUS 1894 HAS SOUPS 1777 WITH SCORE 1807.871
AT ITER 2380 NEW BEST:: SOT 47014 SOS 30862 HAS SOPS 20339 HAS SOUS 1891 HAS SOUPS 1774 WITH SCORE 1804.862
AT ITER 2383 NEW BEST:: SOT 47013 SOS 30859 HAS SOPS 20338 HAS SOUS 1890 HAS SOUPS 1773 WITH SCORE 1803.859
AT ITER 2403 NEW BEST:: SOT 47011 SOS 30857 HAS SOPS 20334 HAS SOUS 1888 HAS SOUPS 1771 WITH SCORE 1801.857
AT ITER 2489 NEW BEST:: SOT 47016 SOS 30867 HAS SOPS 20344 HAS SOUS 1886 HAS SOUPS 1769 WITH SCORE 1799.867
AT ITER 2517 NEW BEST:: SOT 47013 SOS 30861 HAS SOPS 20338 HAS SOUS 1883 HAS SOUPS 1766 WITH SCORE 1796.861
AT ITER 2533 NEW BEST:: SOT 47012 SOS 30859 HAS SOPS 20334 HAS SOUS 1882 HAS SOUPS 1765 WITH SCORE 1795.859
AT ITER 2633 NEW BEST:: SOT 47012 SOS 30857 HAS SOPS 20334 HAS SOUS 1882 HAS SOUPS 1765 WITH SCORE 1795.857
AT ITER 2719 NEW BEST:: SOT 47012 SOS 30856 HAS SOPS 20333 HAS SOUS 1882 HAS SOUPS 1765 WITH SCORE 1795.856
AT ITER 2722 NEW BEST:: SOT 47020 SOS 30872 HAS SOPS 20349 HAS SOUS 1880 HAS SOUPS 1763 WITH SCORE 1793.872
AT ITER 2759 NEW BEST:: SOT 47018 SOS 30872 HAS SOPS 20349 HAS SOUS 1876 HAS SOUPS 1759 WITH SCORE 1789.872
AT ITER 2779 NEW BEST:: SOT 47018 SOS 30866 HAS SOPS 20346 HAS SOUS 1876 HAS SOUPS 1759 WITH SCORE 1789.866
AT ITER 2825 NEW BEST:: SOT 47019 SOS 30687 HAS SOPS 20168 HAS SOUS 1876 HAS SOUPS 1759 WITH SCORE 1789.687
AT ITER 2842 NEW BEST:: SOT 47005 SOS 30666 HAS SOPS 20147 HAS SOUS 1876 HAS SOUPS 1759 WITH SCORE 1789.666
AT ITER 2852 NEW BEST:: SOT 47002 SOS 30665 HAS SOPS 20145 HAS SOUS 1875 HAS SOUPS 1758 WITH SCORE 1788.665
AT ITER 2903 NEW BEST:: SOT 47000 SOS 31733 HAS SOPS 21215 HAS SOUS 1873 HAS SOUPS 1756 WITH SCORE 1787.733
AT ITER 2928 NEW BEST:: SOT 46994 SOS 31729 HAS SOPS 21207 HAS SOUS 1871 HAS SOUPS 1754 WITH SCORE 1785.729
AT ITER 2936 NEW BEST:: SOT 46992 SOS 31725 HAS SOPS 21203 HAS SOUS 1869 HAS SOUPS 1752 WITH SCORE 1783.725
AT ITER 2947 NEW BEST:: SOT 46991 SOS 31723 HAS SOPS 21201 HAS SOUS 1868 HAS SOUPS 1751 WITH SCORE 1782.723
AT ITER 3029 NEW BEST:: SOT 47025 SOS 31757 HAS SOPS 21225 HAS SOUS 1853 HAS SOUPS 1736 WITH SCORE 1767.757
AT ITER 3032 NEW BEST:: SOT 47024 SOS 31755 HAS SOPS 21223 HAS SOUS 1852 HAS SOUPS 1735 WITH SCORE 1766.755
AT ITER 3069 NEW BEST:: SOT 47029 SOS 31762 HAS SOPS 21230 HAS SOUS 1851 HAS SOUPS 1734 WITH SCORE 1765.762
AT ITER 3265 NEW BEST:: SOT 47027 SOS 31761 HAS SOPS 21229 HAS SOUS 1851 HAS SOUPS 1734 WITH SCORE 1765.761
AT ITER 3329 NEW BEST:: SOT 47027 SOS 31758 HAS SOPS 21158 HAS SOUS 1847 HAS SOUPS 1730 WITH SCORE 1761.758
AT ITER 3346 NEW BEST:: SOT 47024 SOS 31757 HAS SOPS 21157 HAS SOUS 1847 HAS SOUPS 1730 WITH SCORE 1761.757
AT ITER 3352 NEW BEST:: SOT 47025 SOS 31754 HAS SOPS 21155 HAS SOUS 1845 HAS SOUPS 1728 WITH SCORE 1759.754
AT ITER 3387 NEW BEST:: SOT 47035 SOS 31766 HAS SOPS 21167 HAS SOUS 1844 HAS SOUPS 1727 WITH SCORE 1758.766
AT ITER 3430 NEW BEST:: SOT 47033 SOS 31768 HAS SOPS 21163 HAS SOUS 1841 HAS SOUPS 1724 WITH SCORE 1755.768
AT ITER 3456 NEW BEST:: SOT 47033 SOS 31758 HAS SOPS 21158 HAS SOUS 1841 HAS SOUPS 1724 WITH SCORE 1755.758
AT ITER 3480 NEW BEST:: SOT 47031 SOS 31750 HAS SOPS 21374 HAS SOUS 1841 HAS SOUPS 1724 WITH SCORE 1755.75
AT ITER 3651 NEW BEST:: SOT 47031 SOS 31743 HAS SOPS 21370 HAS SOUS 1839 HAS SOUPS 1723 WITH SCORE 1754.743
AT ITER 3765 NEW BEST:: SOT 47030 SOS 31742 HAS SOPS 21368 HAS SOUS 1838 HAS SOUPS 1722 WITH SCORE 1753.742
AT ITER 3770 NEW BEST:: SOT 47030 SOS 31564 HAS SOPS 21190 HAS SOUS 1838 HAS SOUPS 1722 WITH SCORE 1753.564
AT ITER 3781 NEW BEST:: SOT 47030 SOS 31561 HAS SOPS 21187 HAS SOUS 1835 HAS SOUPS 1719 WITH SCORE 1750.561
AT ITER 3812 NEW BEST:: SOT 47026 SOS 31560 HAS SOPS 21186 HAS SOUS 1834 HAS SOUPS 1718 WITH SCORE 1749.56
AT ITER 3964 NEW BEST:: SOT 47024 SOS 31559 HAS SOPS 21184 HAS SOUS 1834 HAS SOUPS 1718 WITH SCORE 1749.559
AT ITER 4086 NEW BEST:: SOT 47023 SOS 31555 HAS SOPS 21181 HAS SOUS 1832 HAS SOUPS 1716 WITH SCORE 1747.555
AT ITER 4167 NEW BEST:: SOT 47019 SOS 31551 HAS SOPS 21173 HAS SOUS 1828 HAS SOUPS 1712 WITH SCORE 1743.551
AT ITER 4272 NEW BEST:: SOT 47019 SOS 31547 HAS SOPS 21169 HAS SOUS 1826 HAS SOUPS 1710 WITH SCORE 1741.547
AT ITER 4475 NEW BEST:: SOT 47019 SOS 31543 HAS SOPS 21167 HAS SOUS 1826 HAS SOUPS 1710 WITH SCORE 1741.543
AT ITER 4523 NEW BEST:: SOT 47018 SOS 31545 HAS SOPS 21167 HAS SOUS 1827 HAS SOUPS 1709 WITH SCORE 1740.545
AT ITER 4551 NEW BEST:: SOT 47015 SOS 31544 HAS SOPS 21166 HAS SOUS 1827 HAS SOUPS 1709 WITH SCORE 1740.544
AT ITER 5032 NEW BEST:: SOT 47015 SOS 31366 HAS SOPS 20988 HAS SOUS 1827 HAS SOUPS 1709 WITH SCORE 1740.366
AT ITER 5245 NEW BEST:: SOT 47016 SOS 31364 HAS SOPS 20986 HAS SOUS 1825 HAS SOUPS 1707 WITH SCORE 1738.364
AT ITER 5395 NEW BEST:: SOT 47013 SOS 31358 HAS SOPS 20980 HAS SOUS 1823 HAS SOUPS 1705 WITH SCORE 1736.358
AT ITER 5513 NEW BEST:: SOT 47009 SOS 31360 HAS SOPS 20978 HAS SOUS 1825 HAS SOUPS 1703 WITH SCORE 1734.36
AT ITER 5531 NEW BEST:: SOT 47008 SOS 31360 HAS SOPS 20977 HAS SOUS 1824 HAS SOUPS 1702 WITH SCORE 1733.36
AT ITER 5650 NEW BEST:: SOT 46847 SOS 31198 HAS SOPS 20817 HAS SOUS 1794 HAS SOUPS 1672 WITH SCORE 1703.198
AT ITER 5711 NEW BEST:: SOT 46846 SOS 31196 HAS SOPS 20815 HAS SOUS 1792 HAS SOUPS 1670 WITH SCORE 1701.196
AT ITER 6133 NEW BEST:: SOT 46846 SOS 31195 HAS SOPS 20814 HAS SOUS 1791 HAS SOUPS 1669 WITH SCORE 1700.195
AT ITER 6370 NEW BEST:: SOT 46846 SOS 31194 HAS SOPS 20813 HAS SOUS 1791 HAS SOUPS 1669 WITH SCORE 1700.194
AT ITER 6527 NEW BEST:: SOT 46846 SOS 31192 HAS SOPS 20811 HAS SOUS 1791 HAS SOUPS 1669 WITH SCORE 1700.192
AT ITER 6573 NEW BEST:: SOT 46845 SOS 31190 HAS SOPS 20809 HAS SOUS 1790 HAS SOUPS 1668 WITH SCORE 1699.19
AT ITER 6742 NEW BEST:: SOT 47303 SOS 31645 HAS SOPS 21195 HAS SOUS 1777 HAS SOUPS 1654 WITH SCORE 1685.645
AT ITER 7116 NEW BEST:: SOT 47301 SOS 32365 HAS SOPS 21473 HAS SOUS 1777 HAS SOUPS 1653 WITH SCORE 1685.365
AT ITER 7277 NEW BEST:: SOT 47302 SOS 32364 HAS SOPS 21473 HAS SOUS 1776 HAS SOUPS 1653 WITH SCORE 1685.364
AT ITER 7306 NEW BEST:: SOT 47301 SOS 32362 HAS SOPS 21471 HAS SOUS 1776 HAS SOUPS 1653 WITH SCORE 1685.362
AT ITER 7531 NEW BEST:: SOT 47300 SOS 32360 HAS SOPS 21471 HAS SOUS 1776 HAS SOUPS 1653 WITH SCORE 1685.36
AT ITER 7558 NEW BEST:: SOT 47299 SOS 32360 HAS SOPS 21471 HAS SOUS 1775 HAS SOUPS 1652 WITH SCORE 1684.36
AT ITER 7604 NEW BEST:: SOT 47298 SOS 32362 HAS SOPS 21469 HAS SOUS 1774 HAS SOUPS 1651 WITH SCORE 1683.362
AT ITER 7744 NEW BEST:: SOT 47297 SOS 32364 HAS SOPS 21470 HAS SOUS 1772 HAS SOUPS 1649 WITH SCORE 1681.364
AT ITER 8044 NEW BEST:: SOT 47301 SOS 32366 HAS SOPS 21472 HAS SOUS 1770 HAS SOUPS 1647 WITH SCORE 1679.366
AT ITER 8251 NEW BEST:: SOT 47295 SOS 32360 HAS SOPS 21466 HAS SOUS 1768 HAS SOUPS 1645 WITH SCORE 1677.36
AT ITER 8671 NEW BEST:: SOT 47294 SOS 32359 HAS SOPS 21465 HAS SOUS 1767 HAS SOUPS 1644 WITH SCORE 1676.359
AT ITER 9018 NEW BEST:: SOT 47294 SOS 32359 HAS SOPS 21355 HAS SOUS 1766 HAS SOUPS 1643 WITH SCORE 1675.359
AT ITER 9161 NEW BEST:: SOT 47293 SOS 32358 HAS SOPS 21354 HAS SOUS 1765 HAS SOUPS 1642 WITH SCORE 1674.358
AT ITER 9354 NEW BEST:: SOT 47289 SOS 32359 HAS SOPS 21351 HAS SOUS 1762 HAS SOUPS 1639 WITH SCORE 1671.359
AT ITER 9611 NEW BEST:: SOT 47289 SOS 32357 HAS SOPS 21351 HAS SOUS 1762 HAS SOUPS 1639 WITH SCORE 1671.357
AT ITER 9937 NEW BEST:: SOT 47289 SOS 32356 HAS SOPS 21350 HAS SOUS 1762 HAS SOUPS 1639 WITH SCORE 1671.356
AT ITER 9980 NEW BEST:: SOT 47289 SOS 32353 HAS SOPS 21348 HAS SOUS 1761 HAS SOUPS 1638 WITH SCORE 1670.353
AT ITER 9990 NEW BEST:: SOT 47289 SOS 32348 HAS SOPS 21343 HAS SOUS 1760 HAS SOUPS 1637 WITH SCORE 1669.348
STATE_SPACE STATES 20473 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 7 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 215608 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679440741408

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="StigmergyElection-PT-06a"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is StigmergyElection-PT-06a, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r459-smll-167912651500624"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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