Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 27M
-rw-r--r-- 1 mcc users 25K Feb 25 13:05 CTLCardinality.txt
-rw-r--r-- 1 mcc users 139K Feb 25 13:05 CTLCardinality.xml
-rw-r--r-- 1 mcc users 1.2M Feb 25 12:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 4.3M Feb 25 12:58 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 9.3K Feb 25 15:36 LTLCardinality.txt
-rw-r--r-- 1 mcc users 38K Feb 25 15:36 LTLCardinality.xml
-rw-r--r-- 1 mcc users 743K Feb 25 15:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 2.2M Feb 25 15:36 LTLFireability.xml
-rw-r--r-- 1 mcc users 53K Feb 25 14:42 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 261K Feb 25 14:42 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3M Feb 25 14:34 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 8.5M Feb 25 14:34 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Feb 25 15:36 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.1K Feb 25 15:36 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 10 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 7.1M Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678782628259

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=BridgeAndVehicles-PT-V80P20N50
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-14 08:30:30] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-14 08:30:30] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-14 08:30:30] [INFO ] Load time of PNML (sax parser for PT used): 347 ms
[2023-03-14 08:30:30] [INFO ] Transformed 228 places.
[2023-03-14 08:30:30] [INFO ] Transformed 8588 transitions.
[2023-03-14 08:30:30] [INFO ] Parsed PT model containing 228 places and 8588 transitions and 67470 arcs in 499 ms.
[2023-03-14 08:30:30] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 228 places, 8588 transitions and 67470 arcs took 88 ms.
Total runtime 624 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BridgeAndVehicles (PT), instance V80P20N50
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: 228 places, 8588 transitions, 67470 arcs.
AT ITER 0 NEW BEST:: SOT 1238184 SOS 1217952 HAS SOPS 1209072 HAS SOUS 45601 HAS SOUPS 45543 WITH SCORE 46760.952
AT ITER 20 NEW BEST:: SOT 1238183 SOS 1217951 HAS SOPS 1209071 HAS SOUS 45598 HAS SOUPS 45540 WITH SCORE 46757.951
AT ITER 22 NEW BEST:: SOT 1238181 SOS 1217949 HAS SOPS 1209069 HAS SOUS 45541 HAS SOUPS 45483 WITH SCORE 46700.949
AT ITER 38 NEW BEST:: SOT 1238226 SOS 1217994 HAS SOPS 1209114 HAS SOUS 45093 HAS SOUPS 45035 WITH SCORE 46252.994
AT ITER 72 NEW BEST:: SOT 1238225 SOS 1217993 HAS SOPS 1209113 HAS SOUS 45090 HAS SOUPS 45032 WITH SCORE 46249.993
AT ITER 123 NEW BEST:: SOT 1238174 SOS 1217942 HAS SOPS 1209062 HAS SOUS 44941 HAS SOUPS 44883 WITH SCORE 46100.942
AT ITER 205 NEW BEST:: SOT 1238173 SOS 1217941 HAS SOPS 1209061 HAS SOUS 44938 HAS SOUPS 44880 WITH SCORE 46097.941
AT ITER 266 NEW BEST:: SOT 1238171 SOS 1217939 HAS SOPS 1209059 HAS SOUS 44932 HAS SOUPS 44874 WITH SCORE 46091.939
AT ITER 269 NEW BEST:: SOT 1238102 SOS 1217870 HAS SOPS 1208990 HAS SOUS 44725 HAS SOUPS 44667 WITH SCORE 45884.87
AT ITER 292 NEW BEST:: SOT 1238102 SOS 1186834 HAS SOPS 1178594 HAS SOUS 44721 HAS SOUPS 44667 WITH SCORE 45853.834
AT ITER 294 NEW BEST:: SOT 1238100 SOS 1186832 HAS SOPS 1178592 HAS SOUS 44715 HAS SOUPS 44661 WITH SCORE 45847.832
AT ITER 332 NEW BEST:: SOT 1237846 SOS 1186345 HAS SOPS 1178105 HAS SOUS 44615 HAS SOUPS 44561 WITH SCORE 45747.345
AT ITER 486 NEW BEST:: SOT 1237845 SOS 1186344 HAS SOPS 1178104 HAS SOUS 44612 HAS SOUPS 44558 WITH SCORE 45744.344
AT ITER 577 NEW BEST:: SOT 1237845 SOS 1013950 HAS SOPS 1012750 HAS SOUS 44568 HAS SOUPS 44558 WITH SCORE 45571.95
AT ITER 594 NEW BEST:: SOT 1237855 SOS 1011521 HAS SOPS 1010321 HAS SOUS 44545 HAS SOUPS 44535 WITH SCORE 45546.521
AT ITER 600 NEW BEST:: SOT 1237853 SOS 1011519 HAS SOPS 1010319 HAS SOUS 44539 HAS SOUPS 44529 WITH SCORE 45540.519
AT ITER 659 NEW BEST:: SOT 1237861 SOS 1012333 HAS SOPS 1011133 HAS SOUS 44538 HAS SOUPS 44528 WITH SCORE 45540.333
AT ITER 701 NEW BEST:: SOT 1237861 SOS 1009710 HAS SOPS 1008510 HAS SOUS 44502 HAS SOUPS 44492 WITH SCORE 45501.71
AT ITER 726 NEW BEST:: SOT 1237861 SOS 1008997 HAS SOPS 1007797 HAS SOUS 44493 HAS SOUPS 44483 WITH SCORE 45491.997
AT ITER 791 NEW BEST:: SOT 1237861 SOS 1006758 HAS SOPS 1005558 HAS SOUS 44465 HAS SOUPS 44455 WITH SCORE 45461.758
AT ITER 818 NEW BEST:: SOT 1237529 SOS 1006430 HAS SOPS 1005230 HAS SOUS 44061 HAS SOUPS 44052 WITH SCORE 45058.43
AT ITER 872 NEW BEST:: SOT 1237520 SOS 1006396 HAS SOPS 1005196 HAS SOUS 44047 HAS SOUPS 44038 WITH SCORE 45044.396
AT ITER 1000 NEW BEST:: SOT 1237519 SOS 1006395 HAS SOPS 1005195 HAS SOUS 43738 HAS SOUPS 43729 WITH SCORE 44735.395
AT ITER 1016 NEW BEST:: SOT 1237519 SOS 1006393 HAS SOPS 1005193 HAS SOUS 43738 HAS SOUPS 43729 WITH SCORE 44735.393
AT ITER 1027 NEW BEST:: SOT 1237519 SOS 1006391 HAS SOPS 1005191 HAS SOUS 43738 HAS SOUPS 43729 WITH SCORE 44735.391
AT ITER 1181 NEW BEST:: SOT 1237503 SOS 1006375 HAS SOPS 1005175 HAS SOUS 43690 HAS SOUPS 43681 WITH SCORE 44687.375
AT ITER 1234 NEW BEST:: SOT 1237502 SOS 1006374 HAS SOPS 1005174 HAS SOUS 43687 HAS SOUPS 43678 WITH SCORE 44684.374
AT ITER 1280 NEW BEST:: SOT 1237544 SOS 1006416 HAS SOPS 1005216 HAS SOUS 43536 HAS SOUPS 43527 WITH SCORE 44533.416
AT ITER 1288 NEW BEST:: SOT 1237543 SOS 1006415 HAS SOPS 1005215 HAS SOUS 43074 HAS SOUPS 43065 WITH SCORE 44071.415
AT ITER 1372 NEW BEST:: SOT 1237543 SOS 1006413 HAS SOPS 1005213 HAS SOUS 43074 HAS SOUPS 43065 WITH SCORE 44071.413
AT ITER 1421 NEW BEST:: SOT 1237542 SOS 1006412 HAS SOPS 1005212 HAS SOUS 43071 HAS SOUPS 43062 WITH SCORE 44068.412
AT ITER 1428 NEW BEST:: SOT 1237542 SOS 1006408 HAS SOPS 1005208 HAS SOUS 43071 HAS SOUPS 43062 WITH SCORE 44068.408
AT ITER 1527 NEW BEST:: SOT 1237541 SOS 1006407 HAS SOPS 1005207 HAS SOUS 43068 HAS SOUPS 43059 WITH SCORE 44065.407
AT ITER 1630 NEW BEST:: SOT 1237541 SOS 1006405 HAS SOPS 1005205 HAS SOUS 43068 HAS SOUPS 43059 WITH SCORE 44065.405
AT ITER 1664 NEW BEST:: SOT 1237555 SOS 1004337 HAS SOPS 1003137 HAS SOUS 43044 HAS SOUPS 43035 WITH SCORE 44039.337
AT ITER 1716 NEW BEST:: SOT 1237555 SOS 1004335 HAS SOPS 1003135 HAS SOUS 43044 HAS SOUPS 43035 WITH SCORE 44039.335
AT ITER 1800 NEW BEST:: SOT 1237750 SOS 1004542 HAS SOPS 1003342 HAS SOUS 43040 HAS SOUPS 43031 WITH SCORE 44035.542
AT ITER 1804 NEW BEST:: SOT 1239575 SOS 1006404 HAS SOPS 1005204 HAS SOUS 42763 HAS SOUPS 42754 WITH SCORE 43760.404
AT ITER 1807 NEW BEST:: SOT 1239575 SOS 1006396 HAS SOPS 1005196 HAS SOUS 42763 HAS SOUPS 42754 WITH SCORE 43760.396
AT ITER 1840 NEW BEST:: SOT 1239575 SOS 1006442 HAS SOPS 1005242 HAS SOUS 42762 HAS SOUPS 42753 WITH SCORE 43759.442
AT ITER 1858 NEW BEST:: SOT 1239575 SOS 1006442 HAS SOPS 1005242 HAS SOUS 42748 HAS SOUPS 42739 WITH SCORE 43745.442
AT ITER 1860 NEW BEST:: SOT 1239575 SOS 1005538 HAS SOPS 1004338 HAS SOUS 42737 HAS SOUPS 42728 WITH SCORE 43733.538
AT ITER 1889 NEW BEST:: SOT 1239571 SOS 1005534 HAS SOPS 1004334 HAS SOUS 42725 HAS SOUPS 42716 WITH SCORE 43721.534
AT ITER 1992 NEW BEST:: SOT 1239571 SOS 1005530 HAS SOPS 1004330 HAS SOUS 42725 HAS SOUPS 42716 WITH SCORE 43721.53
AT ITER 2047 NEW BEST:: SOT 1239737 SOS 1005781 HAS SOPS 1004581 HAS SOUS 39839 HAS SOUPS 39830 WITH SCORE 40835.781
AT ITER 2108 NEW BEST:: SOT 1239737 SOS 1005779 HAS SOPS 1004579 HAS SOUS 39839 HAS SOUPS 39830 WITH SCORE 40835.779
AT ITER 2138 NEW BEST:: SOT 1239736 SOS 1005778 HAS SOPS 1004578 HAS SOUS 39836 HAS SOUPS 39827 WITH SCORE 40832.778
AT ITER 2141 NEW BEST:: SOT 1239735 SOS 1005777 HAS SOPS 1004577 HAS SOUS 39833 HAS SOUPS 39824 WITH SCORE 40829.777
AT ITER 2157 NEW BEST:: SOT 1243479 SOS 1009601 HAS SOPS 1008401 HAS SOUS 38375 HAS SOUPS 38366 WITH SCORE 39375.601
AT ITER 2163 NEW BEST:: SOT 1243406 SOS 1009528 HAS SOPS 1008328 HAS SOUS 36299 HAS SOUPS 36290 WITH SCORE 37299.528
AT ITER 2172 NEW BEST:: SOT 1243390 SOS 1009512 HAS SOPS 1008312 HAS SOUS 36267 HAS SOUPS 36258 WITH SCORE 37267.512
AT ITER 2196 NEW BEST:: SOT 1243388 SOS 1009510 HAS SOPS 1008310 HAS SOUS 36263 HAS SOUPS 36254 WITH SCORE 37263.51
AT ITER 2210 NEW BEST:: SOT 1243711 SOS 1009833 HAS SOPS 1008633 HAS SOUS 35870 HAS SOUPS 35861 WITH SCORE 36870.833
AT ITER 2224 NEW BEST:: SOT 1243709 SOS 1009831 HAS SOPS 1008631 HAS SOUS 35866 HAS SOUPS 35857 WITH SCORE 36866.831
AT ITER 2231 NEW BEST:: SOT 1243718 SOS 1009840 HAS SOPS 1008640 HAS SOUS 35481 HAS SOUPS 35472 WITH SCORE 36481.84
AT ITER 2232 NEW BEST:: SOT 1243718 SOS 1009838 HAS SOPS 1008638 HAS SOUS 35481 HAS SOUPS 35472 WITH SCORE 36481.838
AT ITER 2272 NEW BEST:: SOT 1243717 SOS 1009837 HAS SOPS 1008637 HAS SOUS 35478 HAS SOUPS 35469 WITH SCORE 36478.837
AT ITER 2273 NEW BEST:: SOT 1243717 SOS 1009829 HAS SOPS 1008629 HAS SOUS 35478 HAS SOUPS 35469 WITH SCORE 36478.829
AT ITER 2288 NEW BEST:: SOT 1243625 SOS 1009785 HAS SOPS 1008585 HAS SOUS 32964 HAS SOUPS 32955 WITH SCORE 33964.785
AT ITER 2329 NEW BEST:: SOT 1243594 SOS 1009754 HAS SOPS 1008554 HAS SOUS 32913 HAS SOUPS 32904 WITH SCORE 33913.754
AT ITER 2406 NEW BEST:: SOT 1243593 SOS 1009753 HAS SOPS 1008553 HAS SOUS 32910 HAS SOUPS 32901 WITH SCORE 33910.753
AT ITER 2468 NEW BEST:: SOT 1243592 SOS 1009752 HAS SOPS 1008552 HAS SOUS 32907 HAS SOUPS 32898 WITH SCORE 33907.752
AT ITER 2530 NEW BEST:: SOT 1243588 SOS 1005668 HAS SOPS 1005188 HAS SOUS 32887 HAS SOUPS 32885 WITH SCORE 33890.668
AT ITER 2551 NEW BEST:: SOT 1243587 SOS 1005667 HAS SOPS 1005187 HAS SOUS 32884 HAS SOUPS 32882 WITH SCORE 33887.667
AT ITER 2570 NEW BEST:: SOT 1247718 SOS 1009827 HAS SOPS 1009347 HAS SOUS 32350 HAS SOUPS 32348 WITH SCORE 33357.827
AT ITER 2573 NEW BEST:: SOT 1247718 SOS 1009823 HAS SOPS 1009343 HAS SOUS 32350 HAS SOUPS 32348 WITH SCORE 33357.823
AT ITER 2578 NEW BEST:: SOT 1247716 SOS 1009821 HAS SOPS 1009341 HAS SOUS 32346 HAS SOUPS 32344 WITH SCORE 33353.821
AT ITER 2582 NEW BEST:: SOT 1247716 SOS 1009817 HAS SOPS 1009337 HAS SOUS 32346 HAS SOUPS 32344 WITH SCORE 33353.817
AT ITER 2589 NEW BEST:: SOT 1247716 SOS 1009807 HAS SOPS 1009327 HAS SOUS 32346 HAS SOUPS 32344 WITH SCORE 33353.807
AT ITER 2632 NEW BEST:: SOT 1247715 SOS 1009806 HAS SOPS 1009326 HAS SOUS 32343 HAS SOUPS 32341 WITH SCORE 33350.806
AT ITER 2635 NEW BEST:: SOT 1247771 SOS 1009862 HAS SOPS 1009382 HAS SOUS 32193 HAS SOUPS 32191 WITH SCORE 33200.862
AT ITER 2645 NEW BEST:: SOT 1247771 SOS 1009622 HAS SOPS 1009622 HAS SOUS 32180 HAS SOUPS 32180 WITH SCORE 33189.622
AT ITER 2661 NEW BEST:: SOT 1247769 SOS 1009620 HAS SOPS 1009620 HAS SOUS 32176 HAS SOUPS 32176 WITH SCORE 33185.62
AT ITER 2662 NEW BEST:: SOT 1247711 SOS 1009562 HAS SOPS 1009562 HAS SOUS 32009 HAS SOUPS 32009 WITH SCORE 33018.562
AT ITER 2667 NEW BEST:: SOT 1247701 SOS 1009552 HAS SOPS 1009552 HAS SOUS 31989 HAS SOUPS 31989 WITH SCORE 32998.552
AT ITER 2698 NEW BEST:: SOT 1247700 SOS 1009551 HAS SOPS 1009551 HAS SOUS 31986 HAS SOUPS 31986 WITH SCORE 32995.551
AT ITER 2744 NEW BEST:: SOT 1247680 SOS 1009531 HAS SOPS 1009531 HAS SOUS 31920 HAS SOUPS 31920 WITH SCORE 32929.531
AT ITER 2837 NEW BEST:: SOT 1247680 SOS 1009529 HAS SOPS 1009529 HAS SOUS 31920 HAS SOUPS 31920 WITH SCORE 32929.529
AT ITER 2854 NEW BEST:: SOT 1247602 SOS 1009451 HAS SOPS 1009451 HAS SOUS 31764 HAS SOUPS 31764 WITH SCORE 32773.451
AT ITER 2870 NEW BEST:: SOT 1247600 SOS 1009449 HAS SOPS 1009449 HAS SOUS 31556 HAS SOUPS 31556 WITH SCORE 32565.449
AT ITER 2884 NEW BEST:: SOT 1247594 SOS 1009443 HAS SOPS 1009443 HAS SOUS 31544 HAS SOUPS 31544 WITH SCORE 32553.443
AT ITER 3048 NEW BEST:: SOT 1247594 SOS 1009421 HAS SOPS 1009421 HAS SOUS 31544 HAS SOUPS 31544 WITH SCORE 32553.421
AT ITER 3194 NEW BEST:: SOT 1247594 SOS 1009419 HAS SOPS 1009419 HAS SOUS 31544 HAS SOUPS 31544 WITH SCORE 32553.419
AT ITER 3270 NEW BEST:: SOT 1247596 SOS 1009421 HAS SOPS 1009421 HAS SOUS 31542 HAS SOUPS 31542 WITH SCORE 32551.421
AT ITER 3308 NEW BEST:: SOT 1247594 SOS 1009419 HAS SOPS 1009419 HAS SOUS 31538 HAS SOUPS 31538 WITH SCORE 32547.419
AT ITER 3376 NEW BEST:: SOT 1247582 SOS 1009407 HAS SOPS 1009407 HAS SOUS 31514 HAS SOUPS 31514 WITH SCORE 32523.407
AT ITER 3393 NEW BEST:: SOT 1247562 SOS 1009387 HAS SOPS 1009387 HAS SOUS 31474 HAS SOUPS 31474 WITH SCORE 32483.387
AT ITER 3395 NEW BEST:: SOT 1247562 SOS 1009361 HAS SOPS 1009361 HAS SOUS 31474 HAS SOUPS 31474 WITH SCORE 32483.361
AT ITER 3414 NEW BEST:: SOT 1247522 SOS 1009321 HAS SOPS 1009321 HAS SOUS 31394 HAS SOUPS 31394 WITH SCORE 32403.321
AT ITER 3417 NEW BEST:: SOT 1247522 SOS 1009081 HAS SOPS 1009081 HAS SOUS 31391 HAS SOUPS 31391 WITH SCORE 32400.081
AT ITER 3428 NEW BEST:: SOT 1248405 SOS 1009981 HAS SOPS 1009981 HAS SOUS 31388 HAS SOUPS 31388 WITH SCORE 32397.981
AT ITER 3455 NEW BEST:: SOT 1248403 SOS 1009979 HAS SOPS 1009979 HAS SOUS 31384 HAS SOUPS 31384 WITH SCORE 32393.979
AT ITER 3462 NEW BEST:: SOT 1249617 SOS 1011201 HAS SOPS 1011201 HAS SOUS 30768 HAS SOUPS 30768 WITH SCORE 31779.201
AT ITER 3491 NEW BEST:: SOT 1249615 SOS 1011199 HAS SOPS 1011199 HAS SOUS 30764 HAS SOUPS 30764 WITH SCORE 31775.199
AT ITER 3560 NEW BEST:: SOT 1249611 SOS 1011195 HAS SOPS 1011195 HAS SOUS 30756 HAS SOUPS 30756 WITH SCORE 31767.195
AT ITER 3624 NEW BEST:: SOT 1249605 SOS 1011189 HAS SOPS 1011189 HAS SOUS 30744 HAS SOUPS 30744 WITH SCORE 31755.189
AT ITER 3627 NEW BEST:: SOT 1249597 SOS 1011181 HAS SOPS 1011181 HAS SOUS 30728 HAS SOUPS 30728 WITH SCORE 31739.181
AT ITER 3650 NEW BEST:: SOT 1249591 SOS 1011175 HAS SOPS 1011175 HAS SOUS 30716 HAS SOUPS 30716 WITH SCORE 31727.175
AT ITER 3717 NEW BEST:: SOT 1249589 SOS 1011173 HAS SOPS 1011173 HAS SOUS 30712 HAS SOUPS 30712 WITH SCORE 31723.173
AT ITER 3786 NEW BEST:: SOT 1249619 SOS 1003690 HAS SOPS 1003690 HAS SOUS 30697 HAS SOUPS 30697 WITH SCORE 31700.69
AT ITER 3806 NEW BEST:: SOT 1249617 SOS 1003688 HAS SOPS 1003688 HAS SOUS 30695 HAS SOUPS 30695 WITH SCORE 31698.688
AT ITER 3808 NEW BEST:: SOT 1249617 SOS 1003688 HAS SOPS 1003688 HAS SOUS 30693 HAS SOUPS 30693 WITH SCORE 31696.688
AT ITER 3913 NEW BEST:: SOT 1249615 SOS 1003686 HAS SOPS 1003686 HAS SOUS 30687 HAS SOUPS 30687 WITH SCORE 31690.686
AT ITER 3928 NEW BEST:: SOT 1249611 SOS 1003682 HAS SOPS 1003682 HAS SOUS 30679 HAS SOUPS 30679 WITH SCORE 31682.682
AT ITER 3956 NEW BEST:: SOT 1249607 SOS 1003678 HAS SOPS 1003678 HAS SOUS 30671 HAS SOUPS 30671 WITH SCORE 31674.678
AT ITER 3962 NEW BEST:: SOT 1249607 SOS 1003662 HAS SOPS 1003662 HAS SOUS 30671 HAS SOUPS 30671 WITH SCORE 31674.662
AT ITER 4156 NEW BEST:: SOT 1249607 SOS 1003660 HAS SOPS 1003660 HAS SOUS 30671 HAS SOUPS 30671 WITH SCORE 31674.66
AT ITER 4174 NEW BEST:: SOT 1249597 SOS 1003650 HAS SOPS 1003650 HAS SOUS 30651 HAS SOUPS 30651 WITH SCORE 31654.65
AT ITER 4267 NEW BEST:: SOT 1249595 SOS 1003648 HAS SOPS 1003648 HAS SOUS 30647 HAS SOUPS 30647 WITH SCORE 31650.648
AT ITER 4270 NEW BEST:: SOT 1249595 SOS 1003646 HAS SOPS 1003646 HAS SOUS 30647 HAS SOUPS 30647 WITH SCORE 31650.646
AT ITER 4272 NEW BEST:: SOT 1249581 SOS 1003632 HAS SOPS 1003632 HAS SOUS 30619 HAS SOUPS 30619 WITH SCORE 31622.632
AT ITER 4349 NEW BEST:: SOT 1249581 SOS 1003630 HAS SOPS 1003630 HAS SOUS 30619 HAS SOUPS 30619 WITH SCORE 31622.63
AT ITER 4360 NEW BEST:: SOT 1249571 SOS 1003620 HAS SOPS 1003620 HAS SOUS 30599 HAS SOUPS 30599 WITH SCORE 31602.62
AT ITER 4399 NEW BEST:: SOT 1249557 SOS 1003606 HAS SOPS 1003606 HAS SOUS 30571 HAS SOUPS 30571 WITH SCORE 31574.606
AT ITER 4526 NEW BEST:: SOT 1249537 SOS 1003586 HAS SOPS 1003586 HAS SOUS 30542 HAS SOUPS 30542 WITH SCORE 31545.586
AT ITER 4574 NEW BEST:: SOT 1249537 SOS 1003584 HAS SOPS 1003584 HAS SOUS 30542 HAS SOUPS 30542 WITH SCORE 31545.584
AT ITER 4628 NEW BEST:: SOT 1249535 SOS 1003582 HAS SOPS 1003582 HAS SOUS 30538 HAS SOUPS 30538 WITH SCORE 31541.582
AT ITER 4743 NEW BEST:: SOT 1249535 SOS 1003501 HAS SOPS 1003501 HAS SOUS 30537 HAS SOUPS 30537 WITH SCORE 31540.501
AT ITER 4827 NEW BEST:: SOT 1249535 SOS 1003173 HAS SOPS 1003173 HAS SOUS 30533 HAS SOUPS 30533 WITH SCORE 31536.173
AT ITER 4845 NEW BEST:: SOT 1249535 SOS 1002764 HAS SOPS 1002764 HAS SOUS 30528 HAS SOUPS 30528 WITH SCORE 31530.764
AT ITER 4986 NEW BEST:: SOT 1249508 SOS 1002737 HAS SOPS 1002737 HAS SOUS 30473 HAS SOUPS 30473 WITH SCORE 31475.737
AT ITER 5080 NEW BEST:: SOT 1249500 SOS 1002729 HAS SOPS 1002729 HAS SOUS 30461 HAS SOUPS 30461 WITH SCORE 31463.729
AT ITER 5131 NEW BEST:: SOT 1249498 SOS 1002727 HAS SOPS 1002727 HAS SOUS 30457 HAS SOUPS 30457 WITH SCORE 31459.727
AT ITER 5173 NEW BEST:: SOT 1249490 SOS 1002719 HAS SOPS 1002719 HAS SOUS 30441 HAS SOUPS 30441 WITH SCORE 31443.719
AT ITER 5310 NEW BEST:: SOT 1249476 SOS 1002705 HAS SOPS 1002705 HAS SOUS 30413 HAS SOUPS 30413 WITH SCORE 31415.705
AT ITER 5365 NEW BEST:: SOT 1249472 SOS 1002701 HAS SOPS 1002701 HAS SOUS 30405 HAS SOUPS 30405 WITH SCORE 31407.701
AT ITER 5383 NEW BEST:: SOT 1249472 SOS 1002699 HAS SOPS 1002699 HAS SOUS 30405 HAS SOUPS 30405 WITH SCORE 31407.699
AT ITER 5389 NEW BEST:: SOT 1249452 SOS 1002679 HAS SOPS 1002679 HAS SOUS 30365 HAS SOUPS 30365 WITH SCORE 31367.679
AT ITER 5398 NEW BEST:: SOT 1249452 SOS 1002677 HAS SOPS 1002677 HAS SOUS 30365 HAS SOUPS 30365 WITH SCORE 31367.677
AT ITER 5497 NEW BEST:: SOT 1249448 SOS 1002673 HAS SOPS 1002673 HAS SOUS 30357 HAS SOUPS 30357 WITH SCORE 31359.673
AT ITER 5594 NEW BEST:: SOT 1249448 SOS 1002667 HAS SOPS 1002667 HAS SOUS 30357 HAS SOUPS 30357 WITH SCORE 31359.667
AT ITER 5728 NEW BEST:: SOT 1249448 SOS 1002659 HAS SOPS 1002659 HAS SOUS 30357 HAS SOUPS 30357 WITH SCORE 31359.659
AT ITER 5769 NEW BEST:: SOT 1249440 SOS 1002651 HAS SOPS 1002651 HAS SOUS 30341 HAS SOUPS 30341 WITH SCORE 31343.651
AT ITER 5815 NEW BEST:: SOT 1249438 SOS 1002649 HAS SOPS 1002649 HAS SOUS 30337 HAS SOUPS 30337 WITH SCORE 31339.649
AT ITER 5881 NEW BEST:: SOT 1254104 SOS 1007315 HAS SOPS 1007315 HAS SOUS 30324 HAS SOUPS 30324 WITH SCORE 31331.315
AT ITER 5891 NEW BEST:: SOT 1254104 SOS 1006584 HAS SOPS 1006584 HAS SOUS 30315 HAS SOUPS 30315 WITH SCORE 31321.584
AT ITER 5914 NEW BEST:: SOT 1255142 SOS 1007622 HAS SOPS 1007622 HAS SOUS 30291 HAS SOUPS 30291 WITH SCORE 31298.622
AT ITER 5917 NEW BEST:: SOT 1255140 SOS 1007620 HAS SOPS 1007620 HAS SOUS 30287 HAS SOUPS 30287 WITH SCORE 31294.62
AT ITER 5927 NEW BEST:: SOT 1255130 SOS 1007610 HAS SOPS 1007610 HAS SOUS 29706 HAS SOUPS 29706 WITH SCORE 30713.61
AT ITER 6058 NEW BEST:: SOT 1256114 SOS 1008594 HAS SOPS 1008594 HAS SOUS 29679 HAS SOUPS 29679 WITH SCORE 30687.594
AT ITER 6092 NEW BEST:: SOT 1256114 SOS 1008592 HAS SOPS 1008592 HAS SOUS 29679 HAS SOUPS 29679 WITH SCORE 30687.592
AT ITER 6107 NEW BEST:: SOT 1256100 SOS 1008578 HAS SOPS 1008578 HAS SOUS 29651 HAS SOUPS 29651 WITH SCORE 30659.578
AT ITER 6142 NEW BEST:: SOT 1256100 SOS 1008570 HAS SOPS 1008570 HAS SOUS 29651 HAS SOUPS 29651 WITH SCORE 30659.57
AT ITER 6178 NEW BEST:: SOT 1256132 SOS 1002792 HAS SOPS 1002723 HAS SOUS 29684 HAS SOUPS 29649 WITH SCORE 30651.792
AT ITER 6221 NEW BEST:: SOT 1256126 SOS 1002786 HAS SOPS 1002717 HAS SOUS 29672 HAS SOUPS 29637 WITH SCORE 30639.786
AT ITER 6261 NEW BEST:: SOT 1256124 SOS 1002784 HAS SOPS 1002715 HAS SOUS 29668 HAS SOUPS 29633 WITH SCORE 30635.784
AT ITER 6312 NEW BEST:: SOT 1256112 SOS 1002772 HAS SOPS 1002703 HAS SOUS 29644 HAS SOUPS 29609 WITH SCORE 30611.772
AT ITER 6318 NEW BEST:: SOT 1256098 SOS 1002758 HAS SOPS 1002689 HAS SOUS 29616 HAS SOUPS 29581 WITH SCORE 30583.758
AT ITER 6360 NEW BEST:: SOT 1256098 SOS 1002756 HAS SOPS 1002687 HAS SOUS 29616 HAS SOUPS 29581 WITH SCORE 30583.756
AT ITER 6380 NEW BEST:: SOT 1256094 SOS 1002752 HAS SOPS 1002683 HAS SOUS 29608 HAS SOUPS 29573 WITH SCORE 30575.752
AT ITER 6441 NEW BEST:: SOT 1256094 SOS 1002740 HAS SOPS 1002671 HAS SOUS 29608 HAS SOUPS 29573 WITH SCORE 30575.74
AT ITER 6468 NEW BEST:: SOT 1256092 SOS 1002738 HAS SOPS 1002669 HAS SOUS 29604 HAS SOUPS 29569 WITH SCORE 30571.738
AT ITER 6655 NEW BEST:: SOT 1256033 SOS 1010487 HAS SOPS 1010418 HAS SOUS 29589 HAS SOUPS 29554 WITH SCORE 30564.487
AT ITER 6671 NEW BEST:: SOT 1256013 SOS 1010467 HAS SOPS 1010398 HAS SOUS 29549 HAS SOUPS 29514 WITH SCORE 30524.467
AT ITER 6691 NEW BEST:: SOT 1256013 SOS 1010453 HAS SOPS 1010384 HAS SOUS 29549 HAS SOUPS 29514 WITH SCORE 30524.453
AT ITER 6711 NEW BEST:: SOT 1256013 SOS 1008773 HAS SOPS 1008680 HAS SOUS 29551 HAS SOUPS 29504 WITH SCORE 30512.773
AT ITER 7001 NEW BEST:: SOT 1256007 SOS 1008767 HAS SOPS 1008674 HAS SOUS 29539 HAS SOUPS 29492 WITH SCORE 30500.767
AT ITER 7048 NEW BEST:: SOT 1256005 SOS 1008765 HAS SOPS 1008672 HAS SOUS 29535 HAS SOUPS 29488 WITH SCORE 30496.765
AT ITER 7173 NEW BEST:: SOT 1256003 SOS 1008763 HAS SOPS 1008670 HAS SOUS 29531 HAS SOUPS 29484 WITH SCORE 30492.763
AT ITER 7177 NEW BEST:: SOT 1256003 SOS 1008761 HAS SOPS 1008668 HAS SOUS 29531 HAS SOUPS 29484 WITH SCORE 30492.761
AT ITER 7242 NEW BEST:: SOT 1255999 SOS 1008757 HAS SOPS 1008664 HAS SOUS 29527 HAS SOUPS 29480 WITH SCORE 30488.757
AT ITER 7271 NEW BEST:: SOT 1255996 SOS 1008754 HAS SOPS 1008661 HAS SOUS 29526 HAS SOUPS 29479 WITH SCORE 30487.754
AT ITER 7433 NEW BEST:: SOT 1255986 SOS 1008744 HAS SOPS 1008651 HAS SOUS 29506 HAS SOUPS 29459 WITH SCORE 30467.744
AT ITER 7492 NEW BEST:: SOT 1255980 SOS 1008738 HAS SOPS 1008645 HAS SOUS 29504 HAS SOUPS 29457 WITH SCORE 30465.738
AT ITER 7520 NEW BEST:: SOT 1255980 SOS 1008736 HAS SOPS 1008643 HAS SOUS 29504 HAS SOUPS 29457 WITH SCORE 30465.736
AT ITER 7576 NEW BEST:: SOT 1255976 SOS 1008732 HAS SOPS 1008639 HAS SOUS 29496 HAS SOUPS 29449 WITH SCORE 30457.732
AT ITER 7635 NEW BEST:: SOT 1255966 SOS 1008722 HAS SOPS 1008629 HAS SOUS 29478 HAS SOUPS 29431 WITH SCORE 30439.722
AT ITER 7647 NEW BEST:: SOT 1255966 SOS 1008716 HAS SOPS 1008623 HAS SOUS 29478 HAS SOUPS 29431 WITH SCORE 30439.716
AT ITER 7698 NEW BEST:: SOT 1255966 SOS 1008714 HAS SOPS 1008621 HAS SOUS 29478 HAS SOUPS 29431 WITH SCORE 30439.714
AT ITER 7725 NEW BEST:: SOT 1255966 SOS 1008702 HAS SOPS 1008609 HAS SOUS 29478 HAS SOUPS 29431 WITH SCORE 30439.702
AT ITER 7738 NEW BEST:: SOT 1255966 SOS 1008696 HAS SOPS 1008603 HAS SOUS 29478 HAS SOUPS 29431 WITH SCORE 30439.696
AT ITER 7815 NEW BEST:: SOT 1255966 SOS 1008692 HAS SOPS 1008599 HAS SOUS 29478 HAS SOUPS 29431 WITH SCORE 30439.692
AT ITER 7896 NEW BEST:: SOT 1255950 SOS 1008676 HAS SOPS 1008583 HAS SOUS 29446 HAS SOUPS 29399 WITH SCORE 30407.676
AT ITER 7948 NEW BEST:: SOT 1255938 SOS 1008664 HAS SOPS 1008571 HAS SOUS 29422 HAS SOUPS 29375 WITH SCORE 30383.664
AT ITER 8026 NEW BEST:: SOT 1255922 SOS 1008648 HAS SOPS 1008555 HAS SOUS 29390 HAS SOUPS 29343 WITH SCORE 30351.648
AT ITER 8221 NEW BEST:: SOT 1255920 SOS 1008646 HAS SOPS 1008553 HAS SOUS 29386 HAS SOUPS 29339 WITH SCORE 30347.646
AT ITER 8319 NEW BEST:: SOT 1255918 SOS 1008644 HAS SOPS 1008551 HAS SOUS 29382 HAS SOUPS 29335 WITH SCORE 30343.644
AT ITER 8332 NEW BEST:: SOT 1255918 SOS 1008636 HAS SOPS 1008543 HAS SOUS 29382 HAS SOUPS 29335 WITH SCORE 30343.636
AT ITER 8340 NEW BEST:: SOT 1255906 SOS 1008624 HAS SOPS 1008531 HAS SOUS 29358 HAS SOUPS 29311 WITH SCORE 30319.624
AT ITER 8469 NEW BEST:: SOT 1255896 SOS 1008614 HAS SOPS 1008521 HAS SOUS 29334 HAS SOUPS 29287 WITH SCORE 30295.614
AT ITER 8508 NEW BEST:: SOT 1255922 SOS 1000711 HAS SOPS 1000618 HAS SOUS 29308 HAS SOUPS 29261 WITH SCORE 30261.711
AT ITER 8554 NEW BEST:: SOT 1255920 SOS 1000709 HAS SOPS 1000616 HAS SOUS 29304 HAS SOUPS 29257 WITH SCORE 30257.709
AT ITER 8606 NEW BEST:: SOT 1255916 SOS 1000705 HAS SOPS 1000612 HAS SOUS 29296 HAS SOUPS 29249 WITH SCORE 30249.705
AT ITER 8625 NEW BEST:: SOT 1255914 SOS 1000703 HAS SOPS 1000610 HAS SOUS 29292 HAS SOUPS 29245 WITH SCORE 30245.703
AT ITER 8662 NEW BEST:: SOT 1255908 SOS 1000697 HAS SOPS 1000604 HAS SOUS 29280 HAS SOUPS 29233 WITH SCORE 30233.697
AT ITER 8752 NEW BEST:: SOT 1255890 SOS 1000679 HAS SOPS 1000586 HAS SOUS 29244 HAS SOUPS 29197 WITH SCORE 30197.679
AT ITER 8888 NEW BEST:: SOT 1255890 SOS 1000353 HAS SOPS 1000260 HAS SOUS 29240 HAS SOUPS 29193 WITH SCORE 30193.353
AT ITER 9053 NEW BEST:: SOT 1255888 SOS 1000351 HAS SOPS 1000258 HAS SOUS 29236 HAS SOUPS 29189 WITH SCORE 30189.351
AT ITER 9085 NEW BEST:: SOT 1255874 SOS 1000337 HAS SOPS 1000244 HAS SOUS 29208 HAS SOUPS 29161 WITH SCORE 30161.337
AT ITER 9133 NEW BEST:: SOT 1255872 SOS 1000335 HAS SOPS 1000242 HAS SOUS 29204 HAS SOUPS 29157 WITH SCORE 30157.335
AT ITER 9313 NEW BEST:: SOT 1255862 SOS 1000325 HAS SOPS 1000232 HAS SOUS 29184 HAS SOUPS 29137 WITH SCORE 30137.325
AT ITER 9332 NEW BEST:: SOT 1255862 SOS 1000323 HAS SOPS 1000230 HAS SOUS 29184 HAS SOUPS 29137 WITH SCORE 30137.323
AT ITER 9391 NEW BEST:: SOT 1255858 SOS 1000319 HAS SOPS 1000226 HAS SOUS 29176 HAS SOUPS 29129 WITH SCORE 30129.319
AT ITER 9470 NEW BEST:: SOT 1255856 SOS 1000317 HAS SOPS 1000224 HAS SOUS 29172 HAS SOUPS 29125 WITH SCORE 30125.317
AT ITER 9819 NEW BEST:: SOT 1255848 SOS 1000309 HAS SOPS 1000216 HAS SOUS 29156 HAS SOUPS 29109 WITH SCORE 30109.309
AT ITER 9835 NEW BEST:: SOT 1255848 SOS 1000287 HAS SOPS 1000194 HAS SOUS 29156 HAS SOUPS 29109 WITH SCORE 30109.287
AT ITER 9852 NEW BEST:: SOT 1255846 SOS 1000285 HAS SOPS 1000192 HAS SOUS 29152 HAS SOUPS 29105 WITH SCORE 30105.285
AT ITER 9862 NEW BEST:: SOT 1255846 SOS 1000279 HAS SOPS 1000186 HAS SOUS 29152 HAS SOUPS 29105 WITH SCORE 30105.279
AT ITER 9934 NEW BEST:: SOT 1255846 SOS 1000271 HAS SOPS 1000178 HAS SOUS 29152 HAS SOUPS 29105 WITH SCORE 30105.271
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393340 kB
MemFree: 6375852 kB
After kill :
MemTotal: 16393340 kB
MemFree: 16083800 kB

BK_TIME_CONFINEMENT_REACHED

--------------------
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
Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="BridgeAndVehicles-PT-V80P20N50"
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 BridgeAndVehicles-PT-V80P20N50, 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 r043-tajo-167813696600296"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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