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-167912651200432.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 StigmergyCommit-PT-04a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r459-smll-167912651200432
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 612K
-rw-r--r-- 1 mcc users 6.6K Feb 26 10:59 CTLCardinality.txt
-rw-r--r-- 1 mcc users 68K Feb 26 10:59 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Feb 26 10:56 CTLFireability.txt
-rw-r--r-- 1 mcc users 54K Feb 26 10:56 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 17:11 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 17:11 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 17:11 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 17:11 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.8K Feb 26 11:02 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 90K Feb 26 11:02 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.3K Feb 26 11:00 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 60K Feb 26 11:00 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 17:11 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:11 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 227K 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 1679350896492

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=StigmergyCommit-PT-04a
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-20 22:21:39] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-20 22:21:39] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-20 22:21:40] [INFO ] Load time of PNML (sax parser for PT used): 186 ms
[2023-03-20 22:21:40] [INFO ] Transformed 184 places.
[2023-03-20 22:21:40] [INFO ] Transformed 592 transitions.
[2023-03-20 22:21:40] [INFO ] Found NUPN structural information;
[2023-03-20 22:21:40] [INFO ] Parsed PT model containing 184 places and 592 transitions and 4011 arcs in 393 ms.
[2023-03-20 22:21:40] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 184 places, 592 transitions and 4011 arcs took 19 ms.
Total runtime 454 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running StigmergyCommit (PT), instance 04a
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: 184 places, 592 transitions, 4011 arcs.
AT ITER 0 NEW BEST:: SOT 46513 SOS 26346 HAS SOPS 19122 HAS SOUS 7818 HAS SOUPS 7766 WITH SCORE 7792.346
AT ITER 4 NEW BEST:: SOT 46515 SOS 26372 HAS SOPS 19148 HAS SOUS 7807 HAS SOUPS 7755 WITH SCORE 7781.372
AT ITER 55 NEW BEST:: SOT 46514 SOS 26370 HAS SOPS 19146 HAS SOUS 7806 HAS SOUPS 7754 WITH SCORE 7780.37
AT ITER 74 NEW BEST:: SOT 46547 SOS 26364 HAS SOPS 19140 HAS SOUS 7803 HAS SOUPS 7751 WITH SCORE 7777.364
AT ITER 89 NEW BEST:: SOT 46545 SOS 26360 HAS SOPS 19136 HAS SOUS 7803 HAS SOUPS 7751 WITH SCORE 7777.36
AT ITER 109 NEW BEST:: SOT 46575 SOS 26348 HAS SOPS 19124 HAS SOUS 7797 HAS SOUPS 7745 WITH SCORE 7771.348
AT ITER 117 NEW BEST:: SOT 46573 SOS 26344 HAS SOPS 19120 HAS SOUS 7795 HAS SOUPS 7743 WITH SCORE 7769.344
AT ITER 122 NEW BEST:: SOT 46572 SOS 26343 HAS SOPS 19119 HAS SOUS 7794 HAS SOUPS 7742 WITH SCORE 7768.343
AT ITER 128 NEW BEST:: SOT 46535 SOS 26399 HAS SOPS 20163 HAS SOUS 7782 HAS SOUPS 7730 WITH SCORE 7756.399
AT ITER 144 NEW BEST:: SOT 46521 SOS 26343 HAS SOPS 20107 HAS SOUS 7743 HAS SOUPS 7691 WITH SCORE 7717.343
AT ITER 159 NEW BEST:: SOT 46497 SOS 26317 HAS SOPS 20081 HAS SOUS 7706 HAS SOUPS 7654 WITH SCORE 7680.317
AT ITER 163 NEW BEST:: SOT 46493 SOS 26336 HAS SOPS 20100 HAS SOUS 7702 HAS SOUPS 7650 WITH SCORE 7676.336
AT ITER 189 NEW BEST:: SOT 46473 SOS 26315 HAS SOPS 20079 HAS SOUS 7701 HAS SOUPS 7649 WITH SCORE 7675.315
AT ITER 246 NEW BEST:: SOT 46461 SOS 26279 HAS SOPS 20037 HAS SOUS 7701 HAS SOUPS 7649 WITH SCORE 7675.279
AT ITER 251 NEW BEST:: SOT 46515 SOS 26291 HAS SOPS 20049 HAS SOUS 7667 HAS SOUPS 7615 WITH SCORE 7641.291
AT ITER 269 NEW BEST:: SOT 46503 SOS 26303 HAS SOPS 20361 HAS SOUS 7661 HAS SOUPS 7609 WITH SCORE 7635.303
AT ITER 298 NEW BEST:: SOT 46505 SOS 26277 HAS SOPS 20335 HAS SOUS 7648 HAS SOUPS 7596 WITH SCORE 7622.277
AT ITER 305 NEW BEST:: SOT 46465 SOS 26235 HAS SOPS 20293 HAS SOUS 7606 HAS SOUPS 7554 WITH SCORE 7580.235
AT ITER 308 NEW BEST:: SOT 46471 SOS 26223 HAS SOPS 20281 HAS SOUS 7600 HAS SOUPS 7548 WITH SCORE 7574.223
AT ITER 328 NEW BEST:: SOT 44485 SOS 24456 HAS SOPS 18326 HAS SOUS 5988 HAS SOUPS 5910 WITH SCORE 5934.456
AT ITER 344 NEW BEST:: SOT 44501 SOS 24424 HAS SOPS 18294 HAS SOUS 5972 HAS SOUPS 5894 WITH SCORE 5918.424
AT ITER 382 NEW BEST:: SOT 44482 SOS 24464 HAS SOPS 18334 HAS SOUS 5964 HAS SOUPS 5886 WITH SCORE 5910.464
AT ITER 403 NEW BEST:: SOT 44479 SOS 24461 HAS SOPS 18331 HAS SOUS 5964 HAS SOUPS 5886 WITH SCORE 5910.461
AT ITER 423 NEW BEST:: SOT 44557 SOS 24487 HAS SOPS 18357 HAS SOUS 5954 HAS SOUPS 5876 WITH SCORE 5900.487
AT ITER 467 NEW BEST:: SOT 44541 SOS 24471 HAS SOPS 18341 HAS SOUS 5952 HAS SOUPS 5874 WITH SCORE 5898.471
AT ITER 499 NEW BEST:: SOT 44542 SOS 24462 HAS SOPS 18332 HAS SOUS 5949 HAS SOUPS 5871 WITH SCORE 5895.462
AT ITER 507 NEW BEST:: SOT 44478 SOS 24438 HAS SOPS 18308 HAS SOUS 5925 HAS SOUPS 5847 WITH SCORE 5871.438
AT ITER 521 NEW BEST:: SOT 44478 SOS 24438 HAS SOPS 18308 HAS SOUS 5915 HAS SOUPS 5837 WITH SCORE 5861.438
AT ITER 529 NEW BEST:: SOT 44502 SOS 24406 HAS SOPS 18276 HAS SOUS 5899 HAS SOUPS 5821 WITH SCORE 5845.406
AT ITER 536 NEW BEST:: SOT 44500 SOS 24402 HAS SOPS 18272 HAS SOUS 5896 HAS SOUPS 5818 WITH SCORE 5842.402
AT ITER 574 NEW BEST:: SOT 44465 SOS 24384 HAS SOPS 18254 HAS SOUS 5861 HAS SOUPS 5783 WITH SCORE 5807.384
AT ITER 681 NEW BEST:: SOT 43254 SOS 23653 HAS SOPS 17065 HAS SOUS 4971 HAS SOUPS 4868 WITH SCORE 4891.653
AT ITER 683 NEW BEST:: SOT 42687 SOS 23518 HAS SOPS 16513 HAS SOUS 4604 HAS SOUPS 4486 WITH SCORE 4509.518
AT ITER 704 NEW BEST:: SOT 41773 SOS 24077 HAS SOPS 15633 HAS SOUS 4201 HAS SOUPS 4048 WITH SCORE 4072.077
AT ITER 725 NEW BEST:: SOT 41766 SOS 24063 HAS SOPS 15619 HAS SOUS 4187 HAS SOUPS 4034 WITH SCORE 4058.063
AT ITER 738 NEW BEST:: SOT 41764 SOS 24115 HAS SOPS 15671 HAS SOUS 4177 HAS SOUPS 4024 WITH SCORE 4048.115
AT ITER 762 NEW BEST:: SOT 41778 SOS 24115 HAS SOPS 15671 HAS SOUS 4163 HAS SOUPS 4010 WITH SCORE 4034.115
AT ITER 767 NEW BEST:: SOT 41589 SOS 25340 HAS SOPS 15504 HAS SOUS 4185 HAS SOUPS 4007 WITH SCORE 4032.34
AT ITER 777 NEW BEST:: SOT 41600 SOS 25286 HAS SOPS 15472 HAS SOUS 4144 HAS SOUPS 3966 WITH SCORE 3991.286
AT ITER 805 NEW BEST:: SOT 41606 SOS 25297 HAS SOPS 15484 HAS SOUS 4129 HAS SOUPS 3951 WITH SCORE 3976.297
AT ITER 822 NEW BEST:: SOT 41617 SOS 25283 HAS SOPS 15470 HAS SOUS 4121 HAS SOUPS 3943 WITH SCORE 3968.283
AT ITER 907 NEW BEST:: SOT 41616 SOS 25284 HAS SOPS 15468 HAS SOUS 4121 HAS SOUPS 3941 WITH SCORE 3966.284
AT ITER 934 NEW BEST:: SOT 41602 SOS 25270 HAS SOPS 15450 HAS SOUS 4110 HAS SOUPS 3930 WITH SCORE 3955.27
AT ITER 946 NEW BEST:: SOT 41598 SOS 25262 HAS SOPS 15442 HAS SOUS 4102 HAS SOUPS 3922 WITH SCORE 3947.262
AT ITER 1034 NEW BEST:: SOT 41598 SOS 25262 HAS SOPS 15442 HAS SOUS 4101 HAS SOUPS 3921 WITH SCORE 3946.262
AT ITER 1047 NEW BEST:: SOT 41597 SOS 25274 HAS SOPS 15454 HAS SOUS 4100 HAS SOUPS 3920 WITH SCORE 3945.274
AT ITER 1064 NEW BEST:: SOT 41604 SOS 25246 HAS SOPS 15419 HAS SOUS 4100 HAS SOUPS 3920 WITH SCORE 3945.246
AT ITER 1154 NEW BEST:: SOT 41682 SOS 25310 HAS SOPS 15387 HAS SOUS 4083 HAS SOUPS 3901 WITH SCORE 3926.31
AT ITER 1229 NEW BEST:: SOT 41681 SOS 25309 HAS SOPS 15385 HAS SOUS 4082 HAS SOUPS 3900 WITH SCORE 3925.309
AT ITER 1335 NEW BEST:: SOT 41667 SOS 25319 HAS SOPS 15395 HAS SOUS 4068 HAS SOUPS 3886 WITH SCORE 3911.319
AT ITER 1338 NEW BEST:: SOT 41756 SOS 25289 HAS SOPS 15365 HAS SOUS 4057 HAS SOUPS 3875 WITH SCORE 3900.289
AT ITER 1344 NEW BEST:: SOT 41767 SOS 25281 HAS SOPS 15356 HAS SOUS 4048 HAS SOUPS 3866 WITH SCORE 3891.281
AT ITER 1429 NEW BEST:: SOT 41675 SOS 25150 HAS SOPS 15225 HAS SOUS 4041 HAS SOUPS 3859 WITH SCORE 3884.15
AT ITER 1438 NEW BEST:: SOT 41665 SOS 25130 HAS SOPS 15205 HAS SOUS 4036 HAS SOUPS 3854 WITH SCORE 3879.13
AT ITER 1527 NEW BEST:: SOT 41664 SOS 25129 HAS SOPS 15203 HAS SOUS 4031 HAS SOUPS 3849 WITH SCORE 3874.129
AT ITER 1538 NEW BEST:: SOT 41743 SOS 25111 HAS SOPS 14693 HAS SOUS 3942 HAS SOUPS 3759 WITH SCORE 3784.111
AT ITER 1548 NEW BEST:: SOT 41740 SOS 25178 HAS SOPS 14771 HAS SOUS 3939 HAS SOUPS 3756 WITH SCORE 3781.178
AT ITER 1551 NEW BEST:: SOT 41740 SOS 25178 HAS SOPS 14771 HAS SOUS 3938 HAS SOUPS 3755 WITH SCORE 3780.178
AT ITER 1555 NEW BEST:: SOT 41756 SOS 25230 HAS SOPS 14803 HAS SOUS 3935 HAS SOUPS 3752 WITH SCORE 3777.23
AT ITER 1580 NEW BEST:: SOT 41733 SOS 29291 HAS SOPS 16309 HAS SOUS 3924 HAS SOUPS 3729 WITH SCORE 3758.291
AT ITER 1670 NEW BEST:: SOT 41730 SOS 29285 HAS SOPS 16303 HAS SOUS 3921 HAS SOUPS 3726 WITH SCORE 3755.285
AT ITER 1686 NEW BEST:: SOT 41724 SOS 29273 HAS SOPS 16291 HAS SOUS 3915 HAS SOUPS 3720 WITH SCORE 3749.273
AT ITER 1778 NEW BEST:: SOT 41723 SOS 29263 HAS SOPS 16281 HAS SOUS 3913 HAS SOUPS 3718 WITH SCORE 3747.263
AT ITER 1791 NEW BEST:: SOT 41722 SOS 29260 HAS SOPS 16279 HAS SOUS 3911 HAS SOUPS 3716 WITH SCORE 3745.26
AT ITER 1857 NEW BEST:: SOT 41600 SOS 29138 HAS SOPS 16157 HAS SOUS 3895 HAS SOUPS 3700 WITH SCORE 3729.138
AT ITER 1918 NEW BEST:: SOT 41592 SOS 29132 HAS SOPS 16151 HAS SOUS 3889 HAS SOUPS 3694 WITH SCORE 3723.132
AT ITER 1941 NEW BEST:: SOT 41577 SOS 29117 HAS SOPS 16121 HAS SOUS 3859 HAS SOUPS 3664 WITH SCORE 3693.117
AT ITER 1951 NEW BEST:: SOT 41580 SOS 29111 HAS SOPS 16115 HAS SOUS 3859 HAS SOUPS 3664 WITH SCORE 3693.111
AT ITER 1990 NEW BEST:: SOT 41568 SOS 29110 HAS SOPS 16114 HAS SOUS 3858 HAS SOUPS 3663 WITH SCORE 3692.11
AT ITER 2003 NEW BEST:: SOT 41568 SOS 29109 HAS SOPS 16113 HAS SOUS 3857 HAS SOUPS 3662 WITH SCORE 3691.109
AT ITER 2040 NEW BEST:: SOT 41560 SOS 29087 HAS SOPS 16091 HAS SOUS 3849 HAS SOUPS 3654 WITH SCORE 3683.087
AT ITER 2041 NEW BEST:: SOT 41560 SOS 29087 HAS SOPS 16091 HAS SOUS 3838 HAS SOUPS 3643 WITH SCORE 3672.087
AT ITER 2117 NEW BEST:: SOT 41521 SOS 29048 HAS SOPS 16013 HAS SOUS 3825 HAS SOUPS 3630 WITH SCORE 3659.048
AT ITER 2137 NEW BEST:: SOT 41519 SOS 29045 HAS SOPS 16009 HAS SOUS 3821 HAS SOUPS 3626 WITH SCORE 3655.045
AT ITER 2152 NEW BEST:: SOT 41517 SOS 29045 HAS SOPS 16009 HAS SOUS 3820 HAS SOUPS 3625 WITH SCORE 3654.045
AT ITER 2163 NEW BEST:: SOT 41503 SOS 28937 HAS SOPS 15981 HAS SOUS 3793 HAS SOUPS 3598 WITH SCORE 3626.937
AT ITER 2165 NEW BEST:: SOT 41490 SOS 28924 HAS SOPS 15955 HAS SOUS 3788 HAS SOUPS 3593 WITH SCORE 3621.924
AT ITER 2169 NEW BEST:: SOT 41489 SOS 28922 HAS SOPS 15953 HAS SOUS 3787 HAS SOUPS 3592 WITH SCORE 3620.922
AT ITER 2225 NEW BEST:: SOT 41488 SOS 28920 HAS SOPS 15951 HAS SOUS 3786 HAS SOUPS 3591 WITH SCORE 3619.92
AT ITER 2280 NEW BEST:: SOT 41485 SOS 28900 HAS SOPS 15931 HAS SOUS 3776 HAS SOUPS 3581 WITH SCORE 3609.9
AT ITER 2388 NEW BEST:: SOT 41492 SOS 28907 HAS SOPS 15923 HAS SOUS 3768 HAS SOUPS 3573 WITH SCORE 3601.907
AT ITER 2395 NEW BEST:: SOT 41483 SOS 28825 HAS SOPS 15825 HAS SOUS 3759 HAS SOUPS 3564 WITH SCORE 3592.825
AT ITER 2455 NEW BEST:: SOT 41424 SOS 28721 HAS SOPS 15721 HAS SOUS 3728 HAS SOUPS 3533 WITH SCORE 3561.721
AT ITER 2462 NEW BEST:: SOT 41401 SOS 28727 HAS SOPS 15727 HAS SOUS 3725 HAS SOUPS 3530 WITH SCORE 3558.727
AT ITER 2472 NEW BEST:: SOT 41394 SOS 28699 HAS SOPS 15699 HAS SOUS 3718 HAS SOUPS 3523 WITH SCORE 3551.699
AT ITER 2502 NEW BEST:: SOT 41393 SOS 28698 HAS SOPS 15697 HAS SOUS 3716 HAS SOUPS 3521 WITH SCORE 3549.698
AT ITER 2507 NEW BEST:: SOT 41380 SOS 28772 HAS SOPS 16539 HAS SOUS 3713 HAS SOUPS 3518 WITH SCORE 3546.772
AT ITER 2575 NEW BEST:: SOT 41395 SOS 28692 HAS SOPS 15615 HAS SOUS 3706 HAS SOUPS 3511 WITH SCORE 3539.692
AT ITER 2630 NEW BEST:: SOT 41393 SOS 28679 HAS SOPS 15602 HAS SOUS 3697 HAS SOUPS 3502 WITH SCORE 3530.679
AT ITER 2662 NEW BEST:: SOT 41392 SOS 28678 HAS SOPS 15600 HAS SOUS 3696 HAS SOUPS 3500 WITH SCORE 3528.678
AT ITER 2668 NEW BEST:: SOT 41352 SOS 28637 HAS SOPS 15520 HAS SOUS 3672 HAS SOUPS 3476 WITH SCORE 3504.637
AT ITER 2772 NEW BEST:: SOT 41349 SOS 28637 HAS SOPS 15520 HAS SOUS 3669 HAS SOUPS 3473 WITH SCORE 3501.637
AT ITER 2780 NEW BEST:: SOT 41346 SOS 28641 HAS SOPS 15524 HAS SOUS 3668 HAS SOUPS 3472 WITH SCORE 3500.641
AT ITER 2878 NEW BEST:: SOT 41346 SOS 28637 HAS SOPS 15520 HAS SOUS 3668 HAS SOUPS 3472 WITH SCORE 3500.637
AT ITER 3046 NEW BEST:: SOT 41346 SOS 28625 HAS SOPS 15506 HAS SOUS 3666 HAS SOUPS 3470 WITH SCORE 3498.625
AT ITER 3051 NEW BEST:: SOT 41345 SOS 28623 HAS SOPS 15504 HAS SOUS 3664 HAS SOUPS 3468 WITH SCORE 3496.623
AT ITER 3064 NEW BEST:: SOT 41344 SOS 28621 HAS SOPS 15502 HAS SOUS 3662 HAS SOUPS 3466 WITH SCORE 3494.621
AT ITER 3066 NEW BEST:: SOT 41388 SOS 28617 HAS SOPS 15498 HAS SOUS 3658 HAS SOUPS 3462 WITH SCORE 3490.617
AT ITER 3193 NEW BEST:: SOT 41387 SOS 28616 HAS SOPS 15496 HAS SOUS 3656 HAS SOUPS 3460 WITH SCORE 3488.616
AT ITER 3209 NEW BEST:: SOT 41386 SOS 28614 HAS SOPS 15466 HAS SOUS 3628 HAS SOUPS 3430 WITH SCORE 3458.614
AT ITER 3278 NEW BEST:: SOT 41369 SOS 28597 HAS SOPS 15432 HAS SOUS 3594 HAS SOUPS 3396 WITH SCORE 3424.597
AT ITER 3375 NEW BEST:: SOT 41364 SOS 28587 HAS SOPS 15422 HAS SOUS 3584 HAS SOUPS 3386 WITH SCORE 3414.587
AT ITER 3398 NEW BEST:: SOT 41324 SOS 28547 HAS SOPS 15382 HAS SOUS 3572 HAS SOUPS 3374 WITH SCORE 3402.547
AT ITER 3412 NEW BEST:: SOT 41323 SOS 28545 HAS SOPS 15380 HAS SOUS 3570 HAS SOUPS 3372 WITH SCORE 3400.545
AT ITER 3414 NEW BEST:: SOT 41322 SOS 28544 HAS SOPS 15378 HAS SOUS 3568 HAS SOUPS 3370 WITH SCORE 3398.544
AT ITER 3443 NEW BEST:: SOT 41321 SOS 28536 HAS SOPS 15370 HAS SOUS 3566 HAS SOUPS 3368 WITH SCORE 3396.536
AT ITER 3448 NEW BEST:: SOT 41320 SOS 28542 HAS SOPS 15368 HAS SOUS 3562 HAS SOUPS 3364 WITH SCORE 3392.542
AT ITER 3468 NEW BEST:: SOT 41319 SOS 28541 HAS SOPS 15366 HAS SOUS 3550 HAS SOUPS 3352 WITH SCORE 3380.541
AT ITER 3491 NEW BEST:: SOT 41318 SOS 28545 HAS SOPS 15370 HAS SOUS 3549 HAS SOUPS 3351 WITH SCORE 3379.545
AT ITER 3541 NEW BEST:: SOT 41315 SOS 28602 HAS SOPS 15365 HAS SOUS 3548 HAS SOUPS 3349 WITH SCORE 3377.602
AT ITER 3686 NEW BEST:: SOT 41313 SOS 28600 HAS SOPS 15361 HAS SOUS 3544 HAS SOUPS 3345 WITH SCORE 3373.6
AT ITER 3702 NEW BEST:: SOT 41306 SOS 28599 HAS SOPS 15359 HAS SOUS 3542 HAS SOUPS 3343 WITH SCORE 3371.599
AT ITER 3781 NEW BEST:: SOT 41306 SOS 28599 HAS SOPS 15359 HAS SOUS 3540 HAS SOUPS 3341 WITH SCORE 3369.599
AT ITER 3790 NEW BEST:: SOT 41304 SOS 28598 HAS SOPS 15355 HAS SOUS 3536 HAS SOUPS 3337 WITH SCORE 3365.598
AT ITER 3800 NEW BEST:: SOT 41302 SOS 28594 HAS SOPS 15351 HAS SOUS 3532 HAS SOUPS 3333 WITH SCORE 3361.594
AT ITER 3965 NEW BEST:: SOT 41288 SOS 28826 HAS SOPS 15327 HAS SOUS 3530 HAS SOUPS 3327 WITH SCORE 3355.826
AT ITER 4040 NEW BEST:: SOT 41285 SOS 28820 HAS SOPS 15321 HAS SOUS 3527 HAS SOUPS 3324 WITH SCORE 3352.82
AT ITER 4050 NEW BEST:: SOT 41284 SOS 28818 HAS SOPS 15319 HAS SOUS 3525 HAS SOUPS 3322 WITH SCORE 3350.818
AT ITER 4094 NEW BEST:: SOT 41283 SOS 28821 HAS SOPS 15317 HAS SOUS 3523 HAS SOUPS 3320 WITH SCORE 3348.821
AT ITER 4148 NEW BEST:: SOT 41280 SOS 28815 HAS SOPS 15311 HAS SOUS 3517 HAS SOUPS 3314 WITH SCORE 3342.815
AT ITER 4153 NEW BEST:: SOT 41280 SOS 28816 HAS SOPS 15311 HAS SOUS 3516 HAS SOUPS 3313 WITH SCORE 3341.816
AT ITER 4230 NEW BEST:: SOT 41276 SOS 28808 HAS SOPS 15303 HAS SOUS 3512 HAS SOUPS 3309 WITH SCORE 3337.808
AT ITER 4270 NEW BEST:: SOT 41276 SOS 28802 HAS SOPS 15303 HAS SOUS 3512 HAS SOUPS 3309 WITH SCORE 3337.802
AT ITER 4298 NEW BEST:: SOT 41276 SOS 28800 HAS SOPS 15303 HAS SOUS 3512 HAS SOUPS 3309 WITH SCORE 3337.8
AT ITER 4323 NEW BEST:: SOT 41276 SOS 28796 HAS SOPS 15299 HAS SOUS 3512 HAS SOUPS 3309 WITH SCORE 3337.796
AT ITER 4328 NEW BEST:: SOT 41273 SOS 28788 HAS SOPS 15293 HAS SOUS 3506 HAS SOUPS 3303 WITH SCORE 3331.788
AT ITER 4406 NEW BEST:: SOT 41272 SOS 28787 HAS SOPS 15291 HAS SOUS 3497 HAS SOUPS 3294 WITH SCORE 3322.787
AT ITER 4410 NEW BEST:: SOT 41272 SOS 28785 HAS SOPS 15291 HAS SOUS 3497 HAS SOUPS 3294 WITH SCORE 3322.785
AT ITER 4483 NEW BEST:: SOT 41271 SOS 28784 HAS SOPS 15289 HAS SOUS 3494 HAS SOUPS 3291 WITH SCORE 3319.784
AT ITER 4489 NEW BEST:: SOT 41265 SOS 28778 HAS SOPS 15283 HAS SOUS 3494 HAS SOUPS 3291 WITH SCORE 3319.778
AT ITER 4599 NEW BEST:: SOT 41267 SOS 28715 HAS SOPS 15284 HAS SOUS 3492 HAS SOUPS 3290 WITH SCORE 3318.715
AT ITER 4680 NEW BEST:: SOT 41265 SOS 28711 HAS SOPS 15280 HAS SOUS 3490 HAS SOUPS 3288 WITH SCORE 3316.711
AT ITER 5092 NEW BEST:: SOT 41265 SOS 28704 HAS SOPS 15273 HAS SOUS 3483 HAS SOUPS 3281 WITH SCORE 3309.704
AT ITER 5198 NEW BEST:: SOT 41263 SOS 28702 HAS SOPS 15269 HAS SOUS 3479 HAS SOUPS 3277 WITH SCORE 3305.702
AT ITER 5369 NEW BEST:: SOT 41261 SOS 28710 HAS SOPS 15279 HAS SOUS 3477 HAS SOUPS 3275 WITH SCORE 3303.71
AT ITER 5395 NEW BEST:: SOT 41256 SOS 28700 HAS SOPS 15269 HAS SOUS 3472 HAS SOUPS 3270 WITH SCORE 3298.7
AT ITER 5489 NEW BEST:: SOT 41254 SOS 28696 HAS SOPS 15265 HAS SOUS 3468 HAS SOUPS 3266 WITH SCORE 3294.696
AT ITER 5530 NEW BEST:: SOT 41252 SOS 28693 HAS SOPS 15261 HAS SOUS 3468 HAS SOUPS 3266 WITH SCORE 3294.693
AT ITER 5583 NEW BEST:: SOT 41246 SOS 28711 HAS SOPS 15507 HAS SOUS 3465 HAS SOUPS 3263 WITH SCORE 3291.711
AT ITER 5727 NEW BEST:: SOT 41240 SOS 28699 HAS SOPS 15495 HAS SOUS 3459 HAS SOUPS 3257 WITH SCORE 3285.699
AT ITER 5922 NEW BEST:: SOT 41247 SOS 28709 HAS SOPS 15483 HAS SOUS 3447 HAS SOUPS 3245 WITH SCORE 3273.709
AT ITER 5942 NEW BEST:: SOT 41246 SOS 28708 HAS SOPS 15481 HAS SOUS 3447 HAS SOUPS 3245 WITH SCORE 3273.708
AT ITER 5992 NEW BEST:: SOT 41245 SOS 28706 HAS SOPS 15479 HAS SOUS 3446 HAS SOUPS 3244 WITH SCORE 3272.706
AT ITER 6024 NEW BEST:: SOT 41270 SOS 28714 HAS SOPS 15495 HAS SOUS 3445 HAS SOUPS 3243 WITH SCORE 3271.714
AT ITER 6063 NEW BEST:: SOT 41120 SOS 28526 HAS SOPS 15343 HAS SOUS 3445 HAS SOUPS 3243 WITH SCORE 3271.526
AT ITER 6088 NEW BEST:: SOT 41117 SOS 28520 HAS SOPS 15337 HAS SOUS 3442 HAS SOUPS 3240 WITH SCORE 3268.52
AT ITER 6135 NEW BEST:: SOT 41115 SOS 28522 HAS SOPS 15340 HAS SOUS 3440 HAS SOUPS 3238 WITH SCORE 3266.522
AT ITER 6239 NEW BEST:: SOT 41110 SOS 28509 HAS SOPS 15330 HAS SOUS 3430 HAS SOUPS 3228 WITH SCORE 3256.509
AT ITER 6389 NEW BEST:: SOT 41108 SOS 28517 HAS SOPS 15341 HAS SOUS 3428 HAS SOUPS 3226 WITH SCORE 3254.517
AT ITER 6434 NEW BEST:: SOT 41108 SOS 28516 HAS SOPS 15341 HAS SOUS 3428 HAS SOUPS 3226 WITH SCORE 3254.516
AT ITER 6490 NEW BEST:: SOT 41105 SOS 28515 HAS SOPS 15339 HAS SOUS 3428 HAS SOUPS 3226 WITH SCORE 3254.515
AT ITER 6507 NEW BEST:: SOT 41102 SOS 28509 HAS SOPS 15333 HAS SOUS 3425 HAS SOUPS 3223 WITH SCORE 3251.509
AT ITER 6543 NEW BEST:: SOT 41102 SOS 28487 HAS SOPS 15333 HAS SOUS 3425 HAS SOUPS 3223 WITH SCORE 3251.487
AT ITER 6570 NEW BEST:: SOT 41102 SOS 28484 HAS SOPS 15333 HAS SOUS 3425 HAS SOUPS 3223 WITH SCORE 3251.484
AT ITER 6633 NEW BEST:: SOT 41096 SOS 28444 HAS SOPS 15283 HAS SOUS 3419 HAS SOUPS 3217 WITH SCORE 3245.444
AT ITER 6783 NEW BEST:: SOT 40827 SOS 28134 HAS SOPS 15221 HAS SOUS 3412 HAS SOUPS 3210 WITH SCORE 3238.134
AT ITER 6857 NEW BEST:: SOT 40826 SOS 28132 HAS SOPS 15219 HAS SOUS 3410 HAS SOUPS 3208 WITH SCORE 3236.132
AT ITER 6929 NEW BEST:: SOT 40823 SOS 28131 HAS SOPS 15217 HAS SOUS 3410 HAS SOUPS 3208 WITH SCORE 3236.131
AT ITER 7030 NEW BEST:: SOT 40822 SOS 28136 HAS SOPS 15215 HAS SOUS 3408 HAS SOUPS 3206 WITH SCORE 3234.136
AT ITER 7105 NEW BEST:: SOT 40820 SOS 28134 HAS SOPS 15183 HAS SOUS 3402 HAS SOUPS 3200 WITH SCORE 3228.134
AT ITER 7136 NEW BEST:: SOT 40819 SOS 28133 HAS SOPS 15181 HAS SOUS 3401 HAS SOUPS 3199 WITH SCORE 3227.133
AT ITER 7194 NEW BEST:: SOT 40803 SOS 28117 HAS SOPS 15169 HAS SOUS 3398 HAS SOUPS 3196 WITH SCORE 3224.117
AT ITER 7210 NEW BEST:: SOT 40799 SOS 28113 HAS SOPS 15165 HAS SOUS 3398 HAS SOUPS 3196 WITH SCORE 3224.113
AT ITER 7365 NEW BEST:: SOT 40778 SOS 28105 HAS SOPS 15149 HAS SOUS 3395 HAS SOUPS 3193 WITH SCORE 3221.105
AT ITER 7378 NEW BEST:: SOT 40858 SOS 27187 HAS SOPS 15247 HAS SOUS 3373 HAS SOUPS 3189 WITH SCORE 3216.187
AT ITER 7410 NEW BEST:: SOT 40857 SOS 27186 HAS SOPS 15246 HAS SOUS 3372 HAS SOUPS 3188 WITH SCORE 3215.186
AT ITER 7530 NEW BEST:: SOT 40857 SOS 27174 HAS SOPS 15234 HAS SOUS 3366 HAS SOUPS 3182 WITH SCORE 3209.174
AT ITER 7581 NEW BEST:: SOT 40856 SOS 27173 HAS SOPS 15232 HAS SOUS 3366 HAS SOUPS 3182 WITH SCORE 3209.173
AT ITER 7623 NEW BEST:: SOT 40855 SOS 27172 HAS SOPS 15230 HAS SOUS 3365 HAS SOUPS 3181 WITH SCORE 3208.172
AT ITER 7738 NEW BEST:: SOT 40856 SOS 27172 HAS SOPS 15230 HAS SOUS 3364 HAS SOUPS 3180 WITH SCORE 3207.172
AT ITER 7937 NEW BEST:: SOT 40855 SOS 27170 HAS SOPS 15228 HAS SOUS 3363 HAS SOUPS 3179 WITH SCORE 3206.17
AT ITER 8103 NEW BEST:: SOT 40850 SOS 27174 HAS SOPS 15232 HAS SOUS 3360 HAS SOUPS 3176 WITH SCORE 3203.174
AT ITER 8318 NEW BEST:: SOT 40850 SOS 27173 HAS SOPS 15232 HAS SOUS 3360 HAS SOUPS 3176 WITH SCORE 3203.173
AT ITER 8319 NEW BEST:: SOT 40848 SOS 27181 HAS SOPS 15242 HAS SOUS 3359 HAS SOUPS 3175 WITH SCORE 3202.181
AT ITER 8334 NEW BEST:: SOT 40848 SOS 27182 HAS SOPS 15242 HAS SOUS 3358 HAS SOUPS 3174 WITH SCORE 3201.182
AT ITER 8529 NEW BEST:: SOT 40843 SOS 27172 HAS SOPS 15232 HAS SOUS 3349 HAS SOUPS 3165 WITH SCORE 3192.172
AT ITER 8643 NEW BEST:: SOT 40843 SOS 27171 HAS SOPS 15231 HAS SOUS 3349 HAS SOUPS 3165 WITH SCORE 3192.171
AT ITER 8844 NEW BEST:: SOT 40830 SOS 27215 HAS SOPS 15807 HAS SOUS 3344 HAS SOUPS 3160 WITH SCORE 3187.215
AT ITER 8848 NEW BEST:: SOT 40828 SOS 27209 HAS SOPS 15801 HAS SOUS 3342 HAS SOUPS 3158 WITH SCORE 3185.209
AT ITER 8860 NEW BEST:: SOT 40695 SOS 28641 HAS SOPS 15679 HAS SOUS 3346 HAS SOUPS 3136 WITH SCORE 3164.641
AT ITER 8874 NEW BEST:: SOT 40695 SOS 28635 HAS SOPS 15673 HAS SOUS 3346 HAS SOUPS 3136 WITH SCORE 3164.635
AT ITER 9044 NEW BEST:: SOT 40694 SOS 28583 HAS SOPS 15621 HAS SOUS 3339 HAS SOUPS 3129 WITH SCORE 3157.583
AT ITER 9200 NEW BEST:: SOT 40696 SOS 28567 HAS SOPS 15453 HAS SOUS 3339 HAS SOUPS 3129 WITH SCORE 3157.567
AT ITER 9209 NEW BEST:: SOT 40695 SOS 28565 HAS SOPS 15451 HAS SOUS 3337 HAS SOUPS 3127 WITH SCORE 3155.565
AT ITER 9370 NEW BEST:: SOT 40691 SOS 28565 HAS SOPS 15451 HAS SOUS 3336 HAS SOUPS 3126 WITH SCORE 3154.565
AT ITER 9373 NEW BEST:: SOT 40692 SOS 28567 HAS SOPS 15453 HAS SOUS 3335 HAS SOUPS 3125 WITH SCORE 3153.567
AT ITER 9526 NEW BEST:: SOT 40692 SOS 28568 HAS SOPS 15453 HAS SOUS 3334 HAS SOUPS 3124 WITH SCORE 3152.568
AT ITER 9528 NEW BEST:: SOT 40666 SOS 28536 HAS SOPS 15401 HAS SOUS 3326 HAS SOUPS 3116 WITH SCORE 3144.536
AT ITER 9597 NEW BEST:: SOT 40666 SOS 28537 HAS SOPS 15401 HAS SOUS 3325 HAS SOUPS 3115 WITH SCORE 3143.537
AT ITER 9627 NEW BEST:: SOT 40658 SOS 28533 HAS SOPS 15391 HAS SOUS 3323 HAS SOUPS 3113 WITH SCORE 3141.533
AT ITER 9741 NEW BEST:: SOT 40657 SOS 28531 HAS SOPS 15389 HAS SOUS 3321 HAS SOUPS 3111 WITH SCORE 3139.531
AT ITER 9793 NEW BEST:: SOT 40660 SOS 28534 HAS SOPS 15395 HAS SOUS 3315 HAS SOUPS 3105 WITH SCORE 3133.534
AT ITER 9796 NEW BEST:: SOT 40660 SOS 28533 HAS SOPS 15395 HAS SOUS 3315 HAS SOUPS 3105 WITH SCORE 3133.533
STATE_SPACE STATES 25867 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 6 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 130861 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679350969295

--------------------
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="StigmergyCommit-PT-04a"
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 StigmergyCommit-PT-04a, 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-167912651200432"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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