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.r451-smll-167912643700600.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 smart
Input is StigmergyElection-PT-04b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r451-smll-167912643700600
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 644K
-rw-r--r-- 1 mcc users 6.8K Feb 26 16:30 CTLCardinality.txt
-rw-r--r-- 1 mcc users 73K Feb 26 16:30 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.2K Feb 26 16:29 CTLFireability.txt
-rw-r--r-- 1 mcc users 56K Feb 26 16:29 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Feb 25 17:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K Feb 25 17:14 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 17:14 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:14 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 16:31 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 109K Feb 26 16:31 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.1K Feb 26 16:30 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 69K Feb 26 16:30 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 203K 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 1679318392087

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=StigmergyElection-PT-04b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running StigmergyElection (PT), instance 04b
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 563 places, 780 transitions, 2680 arcs.
AT ITER 0 NEW BEST:: SOT 273723 SOS 51249 HAS SOPS 51249 HAS SOUS 47008 HAS SOUPS 47008 WITH SCORE 47059.249
AT ITER 97 NEW BEST:: SOT 273640 SOS 51166 HAS SOPS 51166 HAS SOUS 46925 HAS SOUPS 46925 WITH SCORE 46976.166
AT ITER 101 NEW BEST:: SOT 273640 SOS 51102 HAS SOPS 51102 HAS SOUS 46861 HAS SOUPS 46861 WITH SCORE 46912.102
AT ITER 110 NEW BEST:: SOT 273631 SOS 51084 HAS SOPS 51084 HAS SOUS 46843 HAS SOUPS 46843 WITH SCORE 46894.084
AT ITER 145 NEW BEST:: SOT 273617 SOS 51070 HAS SOPS 51070 HAS SOUS 46829 HAS SOUPS 46829 WITH SCORE 46880.07
AT ITER 160 NEW BEST:: SOT 273615 SOS 51068 HAS SOPS 51068 HAS SOUS 46827 HAS SOUPS 46827 WITH SCORE 46878.068
AT ITER 189 NEW BEST:: SOT 272647 SOS 54348 HAS SOPS 54348 HAS SOUS 46250 HAS SOUPS 46250 WITH SCORE 46304.348
AT ITER 218 NEW BEST:: SOT 272555 SOS 54164 HAS SOPS 54164 HAS SOUS 46112 HAS SOUPS 46112 WITH SCORE 46166.164
AT ITER 239 NEW BEST:: SOT 270828 SOS 53020 HAS SOPS 53020 HAS SOUS 44453 HAS SOUPS 44453 WITH SCORE 44506.02
AT ITER 242 NEW BEST:: SOT 270789 SOS 52942 HAS SOPS 52942 HAS SOUS 44414 HAS SOUPS 44414 WITH SCORE 44466.942
AT ITER 261 NEW BEST:: SOT 270663 SOS 52816 HAS SOPS 52816 HAS SOUS 44297 HAS SOUPS 44297 WITH SCORE 44349.816
AT ITER 264 NEW BEST:: SOT 270662 SOS 52814 HAS SOPS 52814 HAS SOUS 44295 HAS SOUPS 44295 WITH SCORE 44347.814
AT ITER 295 NEW BEST:: SOT 270661 SOS 52812 HAS SOPS 52812 HAS SOUS 44293 HAS SOUPS 44293 WITH SCORE 44345.812
AT ITER 296 NEW BEST:: SOT 270556 SOS 52707 HAS SOPS 52707 HAS SOUS 44203 HAS SOUPS 44203 WITH SCORE 44255.707
AT ITER 305 NEW BEST:: SOT 270497 SOS 52589 HAS SOPS 52589 HAS SOUS 44059 HAS SOUPS 44059 WITH SCORE 44111.589
AT ITER 330 NEW BEST:: SOT 270463 SOS 52521 HAS SOPS 52521 HAS SOUS 44025 HAS SOUPS 44025 WITH SCORE 44077.521
AT ITER 338 NEW BEST:: SOT 270463 SOS 52521 HAS SOPS 52521 HAS SOUS 44024 HAS SOUPS 44024 WITH SCORE 44076.521
AT ITER 348 NEW BEST:: SOT 269348 SOS 53900 HAS SOPS 53900 HAS SOUS 43203 HAS SOUPS 43203 WITH SCORE 43256.9
AT ITER 350 NEW BEST:: SOT 269333 SOS 53870 HAS SOPS 53870 HAS SOUS 43173 HAS SOUPS 43173 WITH SCORE 43226.87
AT ITER 359 NEW BEST:: SOT 269232 SOS 53668 HAS SOPS 53668 HAS SOUS 43092 HAS SOUPS 43092 WITH SCORE 43145.668
AT ITER 366 NEW BEST:: SOT 269231 SOS 53642 HAS SOPS 53642 HAS SOUS 43090 HAS SOUPS 43090 WITH SCORE 43143.642
AT ITER 378 NEW BEST:: SOT 269131 SOS 53648 HAS SOPS 53648 HAS SOUS 43008 HAS SOUPS 43008 WITH SCORE 43061.648
AT ITER 417 NEW BEST:: SOT 269073 SOS 53532 HAS SOPS 53532 HAS SOUS 42950 HAS SOUPS 42950 WITH SCORE 43003.532
AT ITER 426 NEW BEST:: SOT 269044 SOS 53474 HAS SOPS 53474 HAS SOUS 42921 HAS SOUPS 42921 WITH SCORE 42974.474
AT ITER 434 NEW BEST:: SOT 269020 SOS 53426 HAS SOPS 53426 HAS SOUS 42897 HAS SOUPS 42897 WITH SCORE 42950.426
AT ITER 482 NEW BEST:: SOT 268944 SOS 53334 HAS SOPS 53334 HAS SOUS 42875 HAS SOUPS 42875 WITH SCORE 42928.334
AT ITER 495 NEW BEST:: SOT 268934 SOS 53319 HAS SOPS 53319 HAS SOUS 42865 HAS SOUPS 42865 WITH SCORE 42918.319
AT ITER 498 NEW BEST:: SOT 268934 SOS 54356 HAS SOPS 54356 HAS SOUS 42830 HAS SOUPS 42830 WITH SCORE 42884.356
AT ITER 510 NEW BEST:: SOT 267064 SOS 56096 HAS SOPS 56096 HAS SOUS 41721 HAS SOUPS 41721 WITH SCORE 41777.096
AT ITER 512 NEW BEST:: SOT 267050 SOS 56082 HAS SOPS 56082 HAS SOUS 41718 HAS SOUPS 41718 WITH SCORE 41774.082
AT ITER 513 NEW BEST:: SOT 266747 SOS 55779 HAS SOPS 55779 HAS SOUS 41469 HAS SOUPS 41469 WITH SCORE 41524.779
AT ITER 526 NEW BEST:: SOT 266657 SOS 55599 HAS SOPS 55599 HAS SOUS 41419 HAS SOUPS 41419 WITH SCORE 41474.599
AT ITER 561 NEW BEST:: SOT 266477 SOS 55431 HAS SOPS 55431 HAS SOUS 41263 HAS SOUPS 41263 WITH SCORE 41318.431
AT ITER 574 NEW BEST:: SOT 266414 SOS 55305 HAS SOPS 55305 HAS SOUS 41137 HAS SOUPS 41137 WITH SCORE 41192.305
AT ITER 577 NEW BEST:: SOT 266370 SOS 55217 HAS SOPS 55217 HAS SOUS 41093 HAS SOUPS 41093 WITH SCORE 41148.217
AT ITER 578 NEW BEST:: SOT 266348 SOS 55173 HAS SOPS 55173 HAS SOUS 41049 HAS SOUPS 41049 WITH SCORE 41104.173
AT ITER 582 NEW BEST:: SOT 266294 SOS 55119 HAS SOPS 55119 HAS SOUS 40995 HAS SOUPS 40995 WITH SCORE 41050.119
AT ITER 598 NEW BEST:: SOT 266216 SOS 54963 HAS SOPS 54963 HAS SOUS 40978 HAS SOUPS 40978 WITH SCORE 41032.963
AT ITER 614 NEW BEST:: SOT 266205 SOS 54941 HAS SOPS 54941 HAS SOUS 40956 HAS SOUPS 40956 WITH SCORE 41010.941
AT ITER 643 NEW BEST:: SOT 266150 SOS 54831 HAS SOPS 54831 HAS SOUS 40846 HAS SOUPS 40846 WITH SCORE 40900.831
AT ITER 674 NEW BEST:: SOT 266138 SOS 54807 HAS SOPS 54807 HAS SOUS 40834 HAS SOUPS 40834 WITH SCORE 40888.807
AT ITER 685 NEW BEST:: SOT 266136 SOS 54803 HAS SOPS 54803 HAS SOUS 40830 HAS SOUPS 40830 WITH SCORE 40884.803
AT ITER 687 NEW BEST:: SOT 266136 SOS 55323 HAS SOPS 55323 HAS SOUS 40810 HAS SOUPS 40810 WITH SCORE 40865.323
AT ITER 690 NEW BEST:: SOT 266147 SOS 55345 HAS SOPS 55345 HAS SOUS 40730 HAS SOUPS 40730 WITH SCORE 40785.345
AT ITER 695 NEW BEST:: SOT 266123 SOS 55321 HAS SOPS 55321 HAS SOUS 40706 HAS SOUPS 40706 WITH SCORE 40761.321
AT ITER 698 NEW BEST:: SOT 265841 SOS 55934 HAS SOPS 55934 HAS SOUS 40648 HAS SOUPS 40648 WITH SCORE 40703.934
AT ITER 703 NEW BEST:: SOT 265840 SOS 55957 HAS SOPS 55957 HAS SOUS 40646 HAS SOUPS 40646 WITH SCORE 40701.957
AT ITER 721 NEW BEST:: SOT 265679 SOS 55730 HAS SOPS 55730 HAS SOUS 40418 HAS SOUPS 40418 WITH SCORE 40473.73
AT ITER 741 NEW BEST:: SOT 265674 SOS 55723 HAS SOPS 55723 HAS SOUS 40411 HAS SOUPS 40411 WITH SCORE 40466.723
AT ITER 742 NEW BEST:: SOT 265574 SOS 55523 HAS SOPS 55523 HAS SOUS 40311 HAS SOUPS 40311 WITH SCORE 40366.523
AT ITER 756 NEW BEST:: SOT 265495 SOS 55365 HAS SOPS 55365 HAS SOUS 40231 HAS SOUPS 40231 WITH SCORE 40286.365
AT ITER 760 NEW BEST:: SOT 265013 SOS 57129 HAS SOPS 57129 HAS SOUS 40061 HAS SOUPS 40061 WITH SCORE 40118.129
AT ITER 781 NEW BEST:: SOT 265051 SOS 57205 HAS SOPS 57205 HAS SOUS 40027 HAS SOUPS 40027 WITH SCORE 40084.205
AT ITER 783 NEW BEST:: SOT 265050 SOS 57203 HAS SOPS 57203 HAS SOUS 40025 HAS SOUPS 40025 WITH SCORE 40082.203
AT ITER 798 NEW BEST:: SOT 264900 SOS 56903 HAS SOPS 56903 HAS SOUS 39800 HAS SOUPS 39800 WITH SCORE 39856.903
AT ITER 827 NEW BEST:: SOT 264720 SOS 56543 HAS SOPS 56543 HAS SOUS 39602 HAS SOUPS 39602 WITH SCORE 39658.543
AT ITER 859 NEW BEST:: SOT 264696 SOS 56529 HAS SOPS 56529 HAS SOUS 39588 HAS SOUPS 39588 WITH SCORE 39644.529
AT ITER 873 NEW BEST:: SOT 264711 SOS 56505 HAS SOPS 56505 HAS SOUS 39564 HAS SOUPS 39564 WITH SCORE 39620.505
AT ITER 967 NEW BEST:: SOT 264701 SOS 56485 HAS SOPS 56485 HAS SOUS 39549 HAS SOUPS 39549 WITH SCORE 39605.485
AT ITER 997 NEW BEST:: SOT 264665 SOS 56346 HAS SOPS 56346 HAS SOUS 39513 HAS SOUPS 39513 WITH SCORE 39569.346
AT ITER 999 NEW BEST:: SOT 264628 SOS 55064 HAS SOPS 55064 HAS SOUS 39366 HAS SOUPS 39366 WITH SCORE 39421.064
AT ITER 1012 NEW BEST:: SOT 264605 SOS 55018 HAS SOPS 55018 HAS SOUS 39320 HAS SOUPS 39320 WITH SCORE 39375.018
AT ITER 1024 NEW BEST:: SOT 264725 SOS 53337 HAS SOPS 53337 HAS SOUS 39165 HAS SOUPS 39165 WITH SCORE 39218.337
AT ITER 1026 NEW BEST:: SOT 264721 SOS 53329 HAS SOPS 53329 HAS SOUS 39157 HAS SOUPS 39157 WITH SCORE 39210.329
AT ITER 1034 NEW BEST:: SOT 264694 SOS 53275 HAS SOPS 53275 HAS SOUS 39103 HAS SOUPS 39103 WITH SCORE 39156.275
AT ITER 1061 NEW BEST:: SOT 264623 SOS 53133 HAS SOPS 53133 HAS SOUS 38961 HAS SOUPS 38961 WITH SCORE 39014.133
AT ITER 1100 NEW BEST:: SOT 264624 SOS 53130 HAS SOPS 53130 HAS SOUS 38959 HAS SOUPS 38959 WITH SCORE 39012.13
AT ITER 1108 NEW BEST:: SOT 264547 SOS 52976 HAS SOPS 52976 HAS SOUS 38880 HAS SOUPS 38880 WITH SCORE 38932.976
AT ITER 1114 NEW BEST:: SOT 264533 SOS 53033 HAS SOPS 53033 HAS SOUS 38840 HAS SOUPS 38840 WITH SCORE 38893.033
AT ITER 1118 NEW BEST:: SOT 264497 SOS 52961 HAS SOPS 52961 HAS SOUS 38768 HAS SOUPS 38768 WITH SCORE 38820.961
AT ITER 1136 NEW BEST:: SOT 264495 SOS 52957 HAS SOPS 52957 HAS SOUS 38764 HAS SOUPS 38764 WITH SCORE 38816.957
AT ITER 1140 NEW BEST:: SOT 264495 SOS 52957 HAS SOPS 52957 HAS SOUS 38763 HAS SOUPS 38763 WITH SCORE 38815.957
AT ITER 1179 NEW BEST:: SOT 264495 SOS 52932 HAS SOPS 52932 HAS SOUS 38738 HAS SOUPS 38738 WITH SCORE 38790.932
AT ITER 1186 NEW BEST:: SOT 264451 SOS 52844 HAS SOPS 52844 HAS SOUS 38706 HAS SOUPS 38706 WITH SCORE 38758.844
AT ITER 1193 NEW BEST:: SOT 264449 SOS 52751 HAS SOPS 52751 HAS SOUS 38702 HAS SOUPS 38702 WITH SCORE 38754.751
AT ITER 1232 NEW BEST:: SOT 264372 SOS 52745 HAS SOPS 52745 HAS SOUS 38670 HAS SOUPS 38670 WITH SCORE 38722.745
AT ITER 1233 NEW BEST:: SOT 264309 SOS 52619 HAS SOPS 52619 HAS SOUS 38612 HAS SOUPS 38612 WITH SCORE 38664.619
AT ITER 1254 NEW BEST:: SOT 264232 SOS 52542 HAS SOPS 52542 HAS SOUS 38546 HAS SOUPS 38546 WITH SCORE 38598.542
AT ITER 1288 NEW BEST:: SOT 264231 SOS 52540 HAS SOPS 52540 HAS SOUS 38544 HAS SOUPS 38544 WITH SCORE 38596.54
AT ITER 1316 NEW BEST:: SOT 264197 SOS 52509 HAS SOPS 52509 HAS SOUS 38511 HAS SOUPS 38511 WITH SCORE 38563.509
AT ITER 1323 NEW BEST:: SOT 264185 SOS 52485 HAS SOPS 52485 HAS SOUS 38487 HAS SOUPS 38487 WITH SCORE 38539.485
AT ITER 1326 NEW BEST:: SOT 264177 SOS 52476 HAS SOPS 52476 HAS SOUS 38478 HAS SOUPS 38478 WITH SCORE 38530.476
AT ITER 1332 NEW BEST:: SOT 264111 SOS 52344 HAS SOPS 52344 HAS SOUS 38415 HAS SOUPS 38415 WITH SCORE 38467.344
AT ITER 1346 NEW BEST:: SOT 264099 SOS 52320 HAS SOPS 52320 HAS SOUS 38391 HAS SOUPS 38391 WITH SCORE 38443.32
AT ITER 1358 NEW BEST:: SOT 264097 SOS 52318 HAS SOPS 52318 HAS SOUS 38389 HAS SOUPS 38389 WITH SCORE 38441.318
AT ITER 1407 NEW BEST:: SOT 264082 SOS 52288 HAS SOPS 52288 HAS SOUS 38359 HAS SOUPS 38359 WITH SCORE 38411.288
AT ITER 1417 NEW BEST:: SOT 264045 SOS 52214 HAS SOPS 52214 HAS SOUS 38285 HAS SOUPS 38285 WITH SCORE 38337.214
AT ITER 1428 NEW BEST:: SOT 263994 SOS 52112 HAS SOPS 52112 HAS SOUS 38183 HAS SOUPS 38183 WITH SCORE 38235.112
AT ITER 1430 NEW BEST:: SOT 263983 SOS 52090 HAS SOPS 52090 HAS SOUS 38161 HAS SOUPS 38161 WITH SCORE 38213.09
AT ITER 1434 NEW BEST:: SOT 263977 SOS 52078 HAS SOPS 52078 HAS SOUS 38155 HAS SOUPS 38155 WITH SCORE 38207.078
AT ITER 1439 NEW BEST:: SOT 263970 SOS 52064 HAS SOPS 52064 HAS SOUS 38141 HAS SOUPS 38141 WITH SCORE 38193.064
AT ITER 1453 NEW BEST:: SOT 264045 SOS 52214 HAS SOPS 52214 HAS SOUS 38136 HAS SOUPS 38136 WITH SCORE 38188.214
AT ITER 1457 NEW BEST:: SOT 264199 SOS 52559 HAS SOPS 52559 HAS SOUS 38082 HAS SOUPS 38082 WITH SCORE 38134.559
AT ITER 1486 NEW BEST:: SOT 264195 SOS 52551 HAS SOPS 52551 HAS SOUS 38074 HAS SOUPS 38074 WITH SCORE 38126.551
AT ITER 1554 NEW BEST:: SOT 264151 SOS 52530 HAS SOPS 52530 HAS SOUS 38053 HAS SOUPS 38053 WITH SCORE 38105.53
AT ITER 1592 NEW BEST:: SOT 264136 SOS 52528 HAS SOPS 52528 HAS SOUS 38044 HAS SOUPS 38044 WITH SCORE 38096.528
AT ITER 1599 NEW BEST:: SOT 264075 SOS 52406 HAS SOPS 52406 HAS SOUS 37983 HAS SOUPS 37983 WITH SCORE 38035.406
AT ITER 1605 NEW BEST:: SOT 264069 SOS 52394 HAS SOPS 52394 HAS SOUS 37971 HAS SOUPS 37971 WITH SCORE 38023.394
AT ITER 1609 NEW BEST:: SOT 264015 SOS 52286 HAS SOPS 52286 HAS SOUS 37877 HAS SOUPS 37877 WITH SCORE 37929.286
AT ITER 1617 NEW BEST:: SOT 264015 SOS 52284 HAS SOPS 52284 HAS SOUS 37877 HAS SOUPS 37877 WITH SCORE 37929.284
AT ITER 1622 NEW BEST:: SOT 264063 SOS 52264 HAS SOPS 52264 HAS SOUS 37857 HAS SOUPS 37857 WITH SCORE 37909.264
AT ITER 1641 NEW BEST:: SOT 263861 SOS 52330 HAS SOPS 52330 HAS SOUS 37636 HAS SOUPS 37636 WITH SCORE 37688.33
AT ITER 1658 NEW BEST:: SOT 263872 SOS 52352 HAS SOPS 52352 HAS SOUS 37572 HAS SOUPS 37572 WITH SCORE 37624.352
AT ITER 1698 NEW BEST:: SOT 263466 SOS 51981 HAS SOPS 51981 HAS SOUS 37233 HAS SOUPS 37233 WITH SCORE 37284.981
AT ITER 1706 NEW BEST:: SOT 263439 SOS 51927 HAS SOPS 51927 HAS SOUS 37205 HAS SOUPS 37205 WITH SCORE 37256.927
AT ITER 1707 NEW BEST:: SOT 263404 SOS 51857 HAS SOPS 51857 HAS SOUS 37135 HAS SOUPS 37135 WITH SCORE 37186.857
AT ITER 1710 NEW BEST:: SOT 263369 SOS 51822 HAS SOPS 51822 HAS SOUS 37124 HAS SOUPS 37124 WITH SCORE 37175.822
AT ITER 1723 NEW BEST:: SOT 263357 SOS 51798 HAS SOPS 51798 HAS SOUS 37097 HAS SOUPS 37097 WITH SCORE 37148.798
AT ITER 1749 NEW BEST:: SOT 263297 SOS 51678 HAS SOPS 51678 HAS SOUS 36977 HAS SOUPS 36977 WITH SCORE 37028.678
AT ITER 1765 NEW BEST:: SOT 263296 SOS 51676 HAS SOPS 51676 HAS SOUS 36975 HAS SOUPS 36975 WITH SCORE 37026.676
AT ITER 1782 NEW BEST:: SOT 263295 SOS 51674 HAS SOPS 51674 HAS SOUS 36973 HAS SOUPS 36973 WITH SCORE 37024.674
AT ITER 1812 NEW BEST:: SOT 263162 SOS 51408 HAS SOPS 51408 HAS SOUS 36707 HAS SOUPS 36707 WITH SCORE 36758.408
AT ITER 1823 NEW BEST:: SOT 263162 SOS 51406 HAS SOPS 51406 HAS SOUS 36707 HAS SOUPS 36707 WITH SCORE 36758.406
AT ITER 1837 NEW BEST:: SOT 262845 SOS 51115 HAS SOPS 51115 HAS SOUS 36627 HAS SOUPS 36627 WITH SCORE 36678.115
AT ITER 1850 NEW BEST:: SOT 262844 SOS 51139 HAS SOPS 51139 HAS SOUS 36626 HAS SOUPS 36626 WITH SCORE 36677.139
AT ITER 1905 NEW BEST:: SOT 262764 SOS 50979 HAS SOPS 50979 HAS SOUS 36466 HAS SOUPS 36466 WITH SCORE 36516.979
AT ITER 1906 NEW BEST:: SOT 262479 SOS 52511 HAS SOPS 52511 HAS SOUS 36435 HAS SOUPS 36435 WITH SCORE 36487.511
AT ITER 1940 NEW BEST:: SOT 262458 SOS 52784 HAS SOPS 52784 HAS SOUS 36355 HAS SOUPS 36355 WITH SCORE 36407.784
AT ITER 1979 NEW BEST:: SOT 262362 SOS 52694 HAS SOPS 52694 HAS SOUS 36271 HAS SOUPS 36271 WITH SCORE 36323.694
AT ITER 1994 NEW BEST:: SOT 262362 SOS 52672 HAS SOPS 52672 HAS SOUS 36249 HAS SOUPS 36249 WITH SCORE 36301.672
AT ITER 2011 NEW BEST:: SOT 262344 SOS 52636 HAS SOPS 52636 HAS SOUS 36234 HAS SOUPS 36234 WITH SCORE 36286.636
AT ITER 2039 NEW BEST:: SOT 262332 SOS 52555 HAS SOPS 52555 HAS SOUS 36222 HAS SOUPS 36222 WITH SCORE 36274.555
AT ITER 2090 NEW BEST:: SOT 262260 SOS 52411 HAS SOPS 52411 HAS SOUS 36150 HAS SOUPS 36150 WITH SCORE 36202.411
AT ITER 2105 NEW BEST:: SOT 262247 SOS 52398 HAS SOPS 52398 HAS SOUS 36137 HAS SOUPS 36137 WITH SCORE 36189.398
AT ITER 2125 NEW BEST:: SOT 262226 SOS 52350 HAS SOPS 52350 HAS SOUS 35864 HAS SOUPS 35864 WITH SCORE 35916.35
AT ITER 2137 NEW BEST:: SOT 262222 SOS 52342 HAS SOPS 52342 HAS SOUS 35856 HAS SOUPS 35856 WITH SCORE 35908.342
AT ITER 2189 NEW BEST:: SOT 262222 SOS 52318 HAS SOPS 52318 HAS SOUS 35856 HAS SOUPS 35856 WITH SCORE 35908.318
AT ITER 2194 NEW BEST:: SOT 262214 SOS 51902 HAS SOPS 51902 HAS SOUS 35834 HAS SOUPS 35834 WITH SCORE 35885.902
AT ITER 2216 NEW BEST:: SOT 262144 SOS 51762 HAS SOPS 51762 HAS SOUS 35719 HAS SOUPS 35719 WITH SCORE 35770.762
AT ITER 2226 NEW BEST:: SOT 262144 SOS 51762 HAS SOPS 51762 HAS SOUS 35709 HAS SOUPS 35709 WITH SCORE 35760.762
AT ITER 2251 NEW BEST:: SOT 262120 SOS 51714 HAS SOPS 51714 HAS SOUS 35661 HAS SOUPS 35661 WITH SCORE 35712.714
AT ITER 2252 NEW BEST:: SOT 262083 SOS 51640 HAS SOPS 51640 HAS SOUS 35587 HAS SOUPS 35587 WITH SCORE 35638.64
AT ITER 2259 NEW BEST:: SOT 262061 SOS 51596 HAS SOPS 51596 HAS SOUS 35543 HAS SOUPS 35543 WITH SCORE 35594.596
AT ITER 2265 NEW BEST:: SOT 262012 SOS 51498 HAS SOPS 51498 HAS SOUS 35474 HAS SOUPS 35474 WITH SCORE 35525.498
AT ITER 2274 NEW BEST:: SOT 261955 SOS 51384 HAS SOPS 51384 HAS SOUS 35403 HAS SOUPS 35403 WITH SCORE 35454.384
AT ITER 2366 NEW BEST:: SOT 261947 SOS 51368 HAS SOPS 51368 HAS SOUS 35387 HAS SOUPS 35387 WITH SCORE 35438.368
AT ITER 2376 NEW BEST:: SOT 261930 SOS 51334 HAS SOPS 51334 HAS SOUS 35353 HAS SOUPS 35353 WITH SCORE 35404.334
AT ITER 2462 NEW BEST:: SOT 261928 SOS 51330 HAS SOPS 51330 HAS SOUS 35349 HAS SOUPS 35349 WITH SCORE 35400.33
AT ITER 2473 NEW BEST:: SOT 261928 SOS 51330 HAS SOPS 51330 HAS SOUS 35334 HAS SOUPS 35334 WITH SCORE 35385.33
AT ITER 2505 NEW BEST:: SOT 261927 SOS 51328 HAS SOPS 51328 HAS SOUS 35332 HAS SOUPS 35332 WITH SCORE 35383.328
AT ITER 2509 NEW BEST:: SOT 261910 SOS 51294 HAS SOPS 51294 HAS SOUS 35330 HAS SOUPS 35330 WITH SCORE 35381.294
AT ITER 2525 NEW BEST:: SOT 261880 SOS 51277 HAS SOPS 51277 HAS SOUS 35300 HAS SOUPS 35300 WITH SCORE 35351.277
AT ITER 2548 NEW BEST:: SOT 261876 SOS 51265 HAS SOPS 51265 HAS SOUS 35296 HAS SOUPS 35296 WITH SCORE 35347.265
AT ITER 2580 NEW BEST:: SOT 261827 SOS 51167 HAS SOPS 51167 HAS SOUS 35296 HAS SOUPS 35296 WITH SCORE 35347.167
AT ITER 2592 NEW BEST:: SOT 261808 SOS 51129 HAS SOPS 51129 HAS SOUS 35277 HAS SOUPS 35277 WITH SCORE 35328.129
AT ITER 2611 NEW BEST:: SOT 261803 SOS 51119 HAS SOPS 51119 HAS SOUS 35267 HAS SOUPS 35267 WITH SCORE 35318.119
AT ITER 2624 NEW BEST:: SOT 261792 SOS 51097 HAS SOPS 51097 HAS SOUS 35245 HAS SOUPS 35245 WITH SCORE 35296.097
AT ITER 2635 NEW BEST:: SOT 261786 SOS 51085 HAS SOPS 51085 HAS SOUS 35233 HAS SOUPS 35233 WITH SCORE 35284.085
AT ITER 2643 NEW BEST:: SOT 261749 SOS 51011 HAS SOPS 51011 HAS SOUS 35159 HAS SOUPS 35159 WITH SCORE 35210.011
AT ITER 2669 NEW BEST:: SOT 261716 SOS 50945 HAS SOPS 50945 HAS SOUS 35060 HAS SOUPS 35060 WITH SCORE 35110.945
AT ITER 2672 NEW BEST:: SOT 261694 SOS 50901 HAS SOPS 50901 HAS SOUS 34947 HAS SOUPS 34947 WITH SCORE 34997.901
AT ITER 2677 NEW BEST:: SOT 261727 SOS 50967 HAS SOPS 50967 HAS SOUS 34898 HAS SOUPS 34898 WITH SCORE 34948.967
AT ITER 2687 NEW BEST:: SOT 261732 SOS 50956 HAS SOPS 50956 HAS SOUS 34887 HAS SOUPS 34887 WITH SCORE 34937.956
AT ITER 2695 NEW BEST:: SOT 261732 SOS 50885 HAS SOPS 50885 HAS SOUS 34887 HAS SOUPS 34887 WITH SCORE 34937.885
AT ITER 2744 NEW BEST:: SOT 261732 SOS 50885 HAS SOPS 50885 HAS SOUS 34873 HAS SOUPS 34873 WITH SCORE 34923.885
AT ITER 2772 NEW BEST:: SOT 261712 SOS 50845 HAS SOPS 50845 HAS SOUS 34833 HAS SOUPS 34833 WITH SCORE 34883.845
AT ITER 2775 NEW BEST:: SOT 261695 SOS 50828 HAS SOPS 50828 HAS SOUS 34817 HAS SOUPS 34817 WITH SCORE 34867.828
AT ITER 2778 NEW BEST:: SOT 261695 SOS 50828 HAS SOPS 50828 HAS SOUS 34816 HAS SOUPS 34816 WITH SCORE 34866.828
AT ITER 2832 NEW BEST:: SOT 261637 SOS 50712 HAS SOPS 50712 HAS SOUS 34767 HAS SOUPS 34767 WITH SCORE 34817.712
AT ITER 2849 NEW BEST:: SOT 261620 SOS 50678 HAS SOPS 50678 HAS SOUS 34733 HAS SOUPS 34733 WITH SCORE 34783.678
AT ITER 2870 NEW BEST:: SOT 261574 SOS 50586 HAS SOPS 50586 HAS SOUS 34702 HAS SOUPS 34702 WITH SCORE 34752.586
AT ITER 2875 NEW BEST:: SOT 261569 SOS 50576 HAS SOPS 50576 HAS SOUS 34692 HAS SOUPS 34692 WITH SCORE 34742.576
AT ITER 2908 NEW BEST:: SOT 261563 SOS 50564 HAS SOPS 50564 HAS SOUS 34680 HAS SOUPS 34680 WITH SCORE 34730.564
AT ITER 2915 NEW BEST:: SOT 261550 SOS 50538 HAS SOPS 50538 HAS SOUS 34654 HAS SOUPS 34654 WITH SCORE 34704.538
AT ITER 2968 NEW BEST:: SOT 261550 SOS 49862 HAS SOPS 49862 HAS SOUS 34654 HAS SOUPS 34654 WITH SCORE 34703.862
AT ITER 3009 NEW BEST:: SOT 261501 SOS 49764 HAS SOPS 49764 HAS SOUS 34651 HAS SOUPS 34651 WITH SCORE 34700.764
AT ITER 3022 NEW BEST:: SOT 261465 SOS 49692 HAS SOPS 49692 HAS SOUS 34535 HAS SOUPS 34535 WITH SCORE 34584.692
AT ITER 3056 NEW BEST:: SOT 261378 SOS 49715 HAS SOPS 49715 HAS SOUS 34459 HAS SOUPS 34459 WITH SCORE 34508.715
AT ITER 3088 NEW BEST:: SOT 261378 SOS 49715 HAS SOPS 49715 HAS SOUS 34455 HAS SOUPS 34455 WITH SCORE 34504.715
AT ITER 3099 NEW BEST:: SOT 261341 SOS 49699 HAS SOPS 49699 HAS SOUS 34439 HAS SOUPS 34439 WITH SCORE 34488.699
AT ITER 3107 NEW BEST:: SOT 261341 SOS 49686 HAS SOPS 49686 HAS SOUS 34439 HAS SOUPS 34439 WITH SCORE 34488.686
AT ITER 3203 NEW BEST:: SOT 261338 SOS 49680 HAS SOPS 49680 HAS SOUS 34433 HAS SOUPS 34433 WITH SCORE 34482.68
AT ITER 3212 NEW BEST:: SOT 261329 SOS 49662 HAS SOPS 49662 HAS SOUS 34415 HAS SOUPS 34415 WITH SCORE 34464.662
AT ITER 3227 NEW BEST:: SOT 261312 SOS 49628 HAS SOPS 49628 HAS SOUS 34397 HAS SOUPS 34397 WITH SCORE 34446.628
AT ITER 3249 NEW BEST:: SOT 261275 SOS 49493 HAS SOPS 49493 HAS SOUS 34116 HAS SOUPS 34116 WITH SCORE 34165.493
AT ITER 3280 NEW BEST:: SOT 261199 SOS 49507 HAS SOPS 49507 HAS SOUS 34109 HAS SOUPS 34109 WITH SCORE 34158.507
AT ITER 3305 NEW BEST:: SOT 261151 SOS 49411 HAS SOPS 49411 HAS SOUS 34013 HAS SOUPS 34013 WITH SCORE 34062.411
AT ITER 3309 NEW BEST:: SOT 261132 SOS 49373 HAS SOPS 49373 HAS SOUS 33985 HAS SOUPS 33985 WITH SCORE 34034.373
AT ITER 3341 NEW BEST:: SOT 261118 SOS 49361 HAS SOPS 49361 HAS SOUS 33967 HAS SOUPS 33967 WITH SCORE 34016.361
AT ITER 3361 NEW BEST:: SOT 261118 SOS 49361 HAS SOPS 49361 HAS SOUS 33888 HAS SOUPS 33888 WITH SCORE 33937.361
AT ITER 3379 NEW BEST:: SOT 261118 SOS 49361 HAS SOPS 49361 HAS SOUS 33822 HAS SOUPS 33822 WITH SCORE 33871.361
AT ITER 3402 NEW BEST:: SOT 261116 SOS 49357 HAS SOPS 49357 HAS SOUS 33820 HAS SOUPS 33820 WITH SCORE 33869.357
AT ITER 3403 NEW BEST:: SOT 261095 SOS 49315 HAS SOPS 49315 HAS SOUS 33787 HAS SOUPS 33787 WITH SCORE 33836.315
AT ITER 3482 NEW BEST:: SOT 261050 SOS 49225 HAS SOPS 49225 HAS SOUS 33697 HAS SOUPS 33697 WITH SCORE 33746.225
AT ITER 3491 NEW BEST:: SOT 261049 SOS 49196 HAS SOPS 49196 HAS SOUS 33695 HAS SOUPS 33695 WITH SCORE 33744.196
AT ITER 3497 NEW BEST:: SOT 260215 SOS 50268 HAS SOPS 50268 HAS SOUS 33531 HAS SOUPS 33531 WITH SCORE 33581.268
AT ITER 3549 NEW BEST:: SOT 260206 SOS 50250 HAS SOPS 50250 HAS SOUS 33513 HAS SOUPS 33513 WITH SCORE 33563.25
AT ITER 3562 NEW BEST:: SOT 260204 SOS 50248 HAS SOPS 50248 HAS SOUS 33511 HAS SOUPS 33511 WITH SCORE 33561.248
AT ITER 3581 NEW BEST:: SOT 260192 SOS 50224 HAS SOPS 50224 HAS SOUS 33487 HAS SOUPS 33487 WITH SCORE 33537.224
AT ITER 3591 NEW BEST:: SOT 260195 SOS 50214 HAS SOPS 50214 HAS SOUS 33475 HAS SOUPS 33475 WITH SCORE 33525.214
AT ITER 3626 NEW BEST:: SOT 260145 SOS 50114 HAS SOPS 50114 HAS SOUS 33375 HAS SOUPS 33375 WITH SCORE 33425.114
AT ITER 3639 NEW BEST:: SOT 260139 SOS 50102 HAS SOPS 50102 HAS SOUS 33363 HAS SOUPS 33363 WITH SCORE 33413.102
AT ITER 3697 NEW BEST:: SOT 260103 SOS 50030 HAS SOPS 50030 HAS SOUS 33327 HAS SOUPS 33327 WITH SCORE 33377.03
AT ITER 3700 NEW BEST:: SOT 260148 SOS 49780 HAS SOPS 49780 HAS SOUS 33311 HAS SOUPS 33311 WITH SCORE 33360.78
AT ITER 3706 NEW BEST:: SOT 259953 SOS 50272 HAS SOPS 50272 HAS SOUS 33190 HAS SOUPS 33190 WITH SCORE 33240.272
AT ITER 3724 NEW BEST:: SOT 259949 SOS 50264 HAS SOPS 50264 HAS SOUS 33184 HAS SOUPS 33184 WITH SCORE 33234.264
AT ITER 3767 NEW BEST:: SOT 259948 SOS 50261 HAS SOPS 50261 HAS SOUS 33178 HAS SOUPS 33178 WITH SCORE 33228.261
AT ITER 3793 NEW BEST:: SOT 259034 SOS 49983 HAS SOPS 49983 HAS SOUS 32794 HAS SOUPS 32794 WITH SCORE 32843.983
AT ITER 3842 NEW BEST:: SOT 259034 SOS 49983 HAS SOPS 49983 HAS SOUS 32785 HAS SOUPS 32785 WITH SCORE 32834.983
AT ITER 3905 NEW BEST:: SOT 259020 SOS 49766 HAS SOPS 49766 HAS SOUS 32769 HAS SOUPS 32769 WITH SCORE 32818.766
AT ITER 3962 NEW BEST:: SOT 259011 SOS 49757 HAS SOPS 49757 HAS SOUS 32769 HAS SOUPS 32769 WITH SCORE 32818.757
AT ITER 3988 NEW BEST:: SOT 259004 SOS 49743 HAS SOPS 49743 HAS SOUS 32762 HAS SOUPS 32762 WITH SCORE 32811.743
AT ITER 4076 NEW BEST:: SOT 258997 SOS 49729 HAS SOPS 49729 HAS SOUS 32748 HAS SOUPS 32748 WITH SCORE 32797.729
AT ITER 4191 NEW BEST:: SOT 259042 SOS 49819 HAS SOPS 49819 HAS SOUS 32746 HAS SOUPS 32746 WITH SCORE 32795.819
AT ITER 4237 NEW BEST:: SOT 259042 SOS 49818 HAS SOPS 49818 HAS SOUS 32745 HAS SOUPS 32745 WITH SCORE 32794.818
AT ITER 4276 NEW BEST:: SOT 259037 SOS 49808 HAS SOPS 49808 HAS SOUS 32740 HAS SOUPS 32740 WITH SCORE 32789.808
AT ITER 4290 NEW BEST:: SOT 258986 SOS 49706 HAS SOPS 49706 HAS SOUS 32698 HAS SOUPS 32698 WITH SCORE 32747.706
AT ITER 4310 NEW BEST:: SOT 258971 SOS 49676 HAS SOPS 49676 HAS SOUS 32668 HAS SOUPS 32668 WITH SCORE 32717.676
AT ITER 4322 NEW BEST:: SOT 258967 SOS 49668 HAS SOPS 49668 HAS SOUS 32660 HAS SOUPS 32660 WITH SCORE 32709.668
AT ITER 4467 NEW BEST:: SOT 258940 SOS 49614 HAS SOPS 49614 HAS SOUS 32651 HAS SOUPS 32651 WITH SCORE 32700.614
AT ITER 4494 NEW BEST:: SOT 258915 SOS 49564 HAS SOPS 49564 HAS SOUS 32601 HAS SOUPS 32601 WITH SCORE 32650.564
AT ITER 4526 NEW BEST:: SOT 258914 SOS 49562 HAS SOPS 49562 HAS SOUS 32599 HAS SOUPS 32599 WITH SCORE 32648.562
AT ITER 4584 NEW BEST:: SOT 258659 SOS 49286 HAS SOPS 49286 HAS SOUS 32323 HAS SOUPS 32323 WITH SCORE 32372.286
AT ITER 4653 NEW BEST:: SOT 258649 SOS 49266 HAS SOPS 49266 HAS SOUS 32303 HAS SOUPS 32303 WITH SCORE 32352.266
AT ITER 4698 NEW BEST:: SOT 258649 SOS 49215 HAS SOPS 49215 HAS SOUS 32303 HAS SOUPS 32303 WITH SCORE 32352.215
AT ITER 4718 NEW BEST:: SOT 258649 SOS 49192 HAS SOPS 49192 HAS SOUS 32257 HAS SOUPS 32257 WITH SCORE 32306.192
AT ITER 4721 NEW BEST:: SOT 258652 SOS 49054 HAS SOPS 49054 HAS SOUS 32245 HAS SOUPS 32245 WITH SCORE 32294.054
AT ITER 4730 NEW BEST:: SOT 258640 SOS 49030 HAS SOPS 49030 HAS SOUS 32221 HAS SOUPS 32221 WITH SCORE 32270.03
AT ITER 4731 NEW BEST:: SOT 258639 SOS 49028 HAS SOPS 49028 HAS SOUS 32219 HAS SOUPS 32219 WITH SCORE 32268.028
AT ITER 4734 NEW BEST:: SOT 258587 SOS 48988 HAS SOPS 48988 HAS SOUS 32172 HAS SOUPS 32172 WITH SCORE 32220.988
AT ITER 4778 NEW BEST:: SOT 258549 SOS 48912 HAS SOPS 48912 HAS SOUS 32134 HAS SOUPS 32134 WITH SCORE 32182.912
AT ITER 4785 NEW BEST:: SOT 258544 SOS 48902 HAS SOPS 48902 HAS SOUS 32124 HAS SOUPS 32124 WITH SCORE 32172.902
AT ITER 4877 NEW BEST:: SOT 258543 SOS 48900 HAS SOPS 48900 HAS SOUS 32122 HAS SOUPS 32122 WITH SCORE 32170.9
AT ITER 4889 NEW BEST:: SOT 258493 SOS 48800 HAS SOPS 48800 HAS SOUS 32112 HAS SOUPS 32112 WITH SCORE 32160.8
AT ITER 4904 NEW BEST:: SOT 258485 SOS 48784 HAS SOPS 48784 HAS SOUS 32096 HAS SOUPS 32096 WITH SCORE 32144.784
AT ITER 4927 NEW BEST:: SOT 258485 SOS 48814 HAS SOPS 48814 HAS SOUS 32095 HAS SOUPS 32095 WITH SCORE 32143.814
AT ITER 4941 NEW BEST:: SOT 258484 SOS 48812 HAS SOPS 48812 HAS SOUS 32093 HAS SOUPS 32093 WITH SCORE 32141.812
AT ITER 4963 NEW BEST:: SOT 258483 SOS 48798 HAS SOPS 48798 HAS SOUS 32086 HAS SOUPS 32086 WITH SCORE 32134.798
AT ITER 5015 NEW BEST:: SOT 258456 SOS 48802 HAS SOPS 48802 HAS SOUS 32075 HAS SOUPS 32075 WITH SCORE 32123.802
AT ITER 5080 NEW BEST:: SOT 258374 SOS 48638 HAS SOPS 48638 HAS SOUS 31993 HAS SOUPS 31993 WITH SCORE 32041.638
AT ITER 5081 NEW BEST:: SOT 258373 SOS 48636 HAS SOPS 48636 HAS SOUS 31991 HAS SOUPS 31991 WITH SCORE 32039.636
AT ITER 5091 NEW BEST:: SOT 258372 SOS 48594 HAS SOPS 48594 HAS SOUS 31989 HAS SOUPS 31989 WITH SCORE 32037.594
AT ITER 5139 NEW BEST:: SOT 258372 SOS 48594 HAS SOPS 48594 HAS SOUS 31985 HAS SOUPS 31985 WITH SCORE 32033.594
AT ITER 5154 NEW BEST:: SOT 258384 SOS 48618 HAS SOPS 48618 HAS SOUS 31950 HAS SOUPS 31950 WITH SCORE 31998.618
AT ITER 5160 NEW BEST:: SOT 258383 SOS 48616 HAS SOPS 48616 HAS SOUS 31948 HAS SOUPS 31948 WITH SCORE 31996.616
AT ITER 5203 NEW BEST:: SOT 258379 SOS 48593 HAS SOPS 48593 HAS SOUS 31944 HAS SOUPS 31944 WITH SCORE 31992.593
AT ITER 5306 NEW BEST:: SOT 258385 SOS 48605 HAS SOPS 48605 HAS SOUS 31872 HAS SOUPS 31872 WITH SCORE 31920.605
AT ITER 5329 NEW BEST:: SOT 258384 SOS 48603 HAS SOPS 48603 HAS SOUS 31870 HAS SOUPS 31870 WITH SCORE 31918.603
AT ITER 5334 NEW BEST:: SOT 258333 SOS 48450 HAS SOPS 48450 HAS SOUS 31819 HAS SOUPS 31819 WITH SCORE 31867.45
AT ITER 5339 NEW BEST:: SOT 258416 SOS 48529 HAS SOPS 48529 HAS SOUS 31811 HAS SOUPS 31811 WITH SCORE 31859.529
AT ITER 5340 NEW BEST:: SOT 258391 SOS 48137 HAS SOPS 48137 HAS SOUS 31700 HAS SOUPS 31700 WITH SCORE 31748.137
AT ITER 5347 NEW BEST:: SOT 258334 SOS 48023 HAS SOPS 48023 HAS SOUS 31643 HAS SOUPS 31643 WITH SCORE 31691.023
AT ITER 5376 NEW BEST:: SOT 258333 SOS 48021 HAS SOPS 48021 HAS SOUS 31641 HAS SOUPS 31641 WITH SCORE 31689.021
AT ITER 5380 NEW BEST:: SOT 258327 SOS 47956 HAS SOPS 47956 HAS SOUS 31576 HAS SOUPS 31576 WITH SCORE 31623.956
AT ITER 5395 NEW BEST:: SOT 258317 SOS 47936 HAS SOPS 47936 HAS SOUS 31566 HAS SOUPS 31566 WITH SCORE 31613.936
AT ITER 5405 NEW BEST:: SOT 258201 SOS 47704 HAS SOPS 47704 HAS SOUS 31411 HAS SOUPS 31411 WITH SCORE 31458.704
AT ITER 5462 NEW BEST:: SOT 258201 SOS 47691 HAS SOPS 47691 HAS SOUS 31398 HAS SOUPS 31398 WITH SCORE 31445.691
AT ITER 5533 NEW BEST:: SOT 258179 SOS 46153 HAS SOPS 46153 HAS SOUS 31352 HAS SOUPS 31352 WITH SCORE 31398.153
AT ITER 5573 NEW BEST:: SOT 258130 SOS 46173 HAS SOPS 46173 HAS SOUS 31331 HAS SOUPS 31331 WITH SCORE 31377.173
AT ITER 5636 NEW BEST:: SOT 258130 SOS 45075 HAS SOPS 45075 HAS SOUS 31324 HAS SOUPS 31324 WITH SCORE 31369.075
AT ITER 5642 NEW BEST:: SOT 258120 SOS 45055 HAS SOPS 45055 HAS SOUS 31316 HAS SOUPS 31316 WITH SCORE 31361.055
AT ITER 5650 NEW BEST:: SOT 258112 SOS 45095 HAS SOPS 45095 HAS SOUS 31302 HAS SOUPS 31302 WITH SCORE 31347.095
AT ITER 5727 NEW BEST:: SOT 258091 SOS 45053 HAS SOPS 45053 HAS SOUS 31294 HAS SOUPS 31294 WITH SCORE 31339.053
AT ITER 5734 NEW BEST:: SOT 258079 SOS 45029 HAS SOPS 45029 HAS SOUS 31270 HAS SOUPS 31270 WITH SCORE 31315.029
AT ITER 5774 NEW BEST:: SOT 258060 SOS 45010 HAS SOPS 45010 HAS SOUS 31251 HAS SOUPS 31251 WITH SCORE 31296.01
AT ITER 5830 NEW BEST:: SOT 258039 SOS 44968 HAS SOPS 44968 HAS SOUS 31209 HAS SOUPS 31209 WITH SCORE 31253.968
AT ITER 5834 NEW BEST:: SOT 258039 SOS 44967 HAS SOPS 44967 HAS SOUS 31208 HAS SOUPS 31208 WITH SCORE 31252.967
AT ITER 5914 NEW BEST:: SOT 258032 SOS 44963 HAS SOPS 44963 HAS SOUS 31202 HAS SOUPS 31202 WITH SCORE 31246.963
AT ITER 5945 NEW BEST:: SOT 258025 SOS 44949 HAS SOPS 44949 HAS SOUS 31188 HAS SOUPS 31188 WITH SCORE 31232.949
AT ITER 5948 NEW BEST:: SOT 258019 SOS 44918 HAS SOPS 44918 HAS SOUS 31176 HAS SOUPS 31176 WITH SCORE 31220.918
AT ITER 5954 NEW BEST:: SOT 258013 SOS 44906 HAS SOPS 44906 HAS SOUS 31164 HAS SOUPS 31164 WITH SCORE 31208.906
AT ITER 5967 NEW BEST:: SOT 258012 SOS 44904 HAS SOPS 44904 HAS SOUS 31162 HAS SOUPS 31162 WITH SCORE 31206.904
AT ITER 6110 NEW BEST:: SOT 258000 SOS 44880 HAS SOPS 44880 HAS SOUS 31138 HAS SOUPS 31138 WITH SCORE 31182.88
AT ITER 6113 NEW BEST:: SOT 257998 SOS 44876 HAS SOPS 44876 HAS SOUS 31136 HAS SOUPS 31136 WITH SCORE 31180.876
AT ITER 6120 NEW BEST:: SOT 257911 SOS 44702 HAS SOPS 44702 HAS SOUS 30981 HAS SOUPS 30981 WITH SCORE 31025.702
AT ITER 6139 NEW BEST:: SOT 257903 SOS 44686 HAS SOPS 44686 HAS SOUS 30971 HAS SOUPS 30971 WITH SCORE 31015.686
AT ITER 6182 NEW BEST:: SOT 257884 SOS 44648 HAS SOPS 44648 HAS SOUS 30933 HAS SOUPS 30933 WITH SCORE 30977.648
AT ITER 6201 NEW BEST:: SOT 257841 SOS 44562 HAS SOPS 44562 HAS SOUS 30847 HAS SOUPS 30847 WITH SCORE 30891.562
AT ITER 6216 NEW BEST:: SOT 257817 SOS 44322 HAS SOPS 44322 HAS SOUS 30811 HAS SOUPS 30811 WITH SCORE 30855.322
AT ITER 6218 NEW BEST:: SOT 257795 SOS 44300 HAS SOPS 44300 HAS SOUS 30789 HAS SOUPS 30789 WITH SCORE 30833.3
AT ITER 6238 NEW BEST:: SOT 257764 SOS 44238 HAS SOPS 44238 HAS SOUS 30727 HAS SOUPS 30727 WITH SCORE 30771.238
AT ITER 6243 NEW BEST:: SOT 257752 SOS 44214 HAS SOPS 44214 HAS SOUS 30703 HAS SOUPS 30703 WITH SCORE 30747.214
AT ITER 6248 NEW BEST:: SOT 257650 SOS 44010 HAS SOPS 44010 HAS SOUS 30572 HAS SOUPS 30572 WITH SCORE 30616.01
AT ITER 6282 NEW BEST:: SOT 257641 SOS 43992 HAS SOPS 43992 HAS SOUS 30569 HAS SOUPS 30569 WITH SCORE 30612.992
AT ITER 6400 NEW BEST:: SOT 257628 SOS 43450 HAS SOPS 43450 HAS SOUS 30412 HAS SOUPS 30412 WITH SCORE 30455.45
AT ITER 6458 NEW BEST:: SOT 257613 SOS 43405 HAS SOPS 43405 HAS SOUS 30367 HAS SOUPS 30367 WITH SCORE 30410.405
AT ITER 6504 NEW BEST:: SOT 257592 SOS 43342 HAS SOPS 43342 HAS SOUS 30346 HAS SOUPS 30346 WITH SCORE 30389.342
AT ITER 6526 NEW BEST:: SOT 257571 SOS 43300 HAS SOPS 43300 HAS SOUS 30304 HAS SOUPS 30304 WITH SCORE 30347.3
AT ITER 6536 NEW BEST:: SOT 257578 SOS 43314 HAS SOPS 43314 HAS SOUS 30296 HAS SOUPS 30296 WITH SCORE 30339.314
AT ITER 6617 NEW BEST:: SOT 257535 SOS 43270 HAS SOPS 43270 HAS SOUS 30253 HAS SOUPS 30253 WITH SCORE 30296.27
AT ITER 6639 NEW BEST:: SOT 257528 SOS 43256 HAS SOPS 43256 HAS SOUS 30246 HAS SOUPS 30246 WITH SCORE 30289.256
AT ITER 6665 NEW BEST:: SOT 257527 SOS 43254 HAS SOPS 43254 HAS SOUS 30244 HAS SOUPS 30244 WITH SCORE 30287.254
AT ITER 6745 NEW BEST:: SOT 257446 SOS 43232 HAS SOPS 43232 HAS SOUS 30167 HAS SOUPS 30167 WITH SCORE 30210.232
AT ITER 6798 NEW BEST:: SOT 257433 SOS 43206 HAS SOPS 43206 HAS SOUS 30141 HAS SOUPS 30141 WITH SCORE 30184.206
AT ITER 6865 NEW BEST:: SOT 257433 SOS 42868 HAS SOPS 42868 HAS SOUS 30141 HAS SOUPS 30141 WITH SCORE 30183.868
AT ITER 6883 NEW BEST:: SOT 257432 SOS 42849 HAS SOPS 42849 HAS SOUS 30123 HAS SOUPS 30123 WITH SCORE 30165.849
AT ITER 6884 NEW BEST:: SOT 257429 SOS 42843 HAS SOPS 42843 HAS SOUS 30100 HAS SOUPS 30100 WITH SCORE 30142.843
AT ITER 6895 NEW BEST:: SOT 257428 SOS 42841 HAS SOPS 42841 HAS SOUS 30099 HAS SOUPS 30099 WITH SCORE 30141.841
AT ITER 6905 NEW BEST:: SOT 257426 SOS 42837 HAS SOPS 42837 HAS SOUS 30095 HAS SOUPS 30095 WITH SCORE 30137.837
AT ITER 6906 NEW BEST:: SOT 257425 SOS 42835 HAS SOPS 42835 HAS SOUS 30093 HAS SOUPS 30093 WITH SCORE 30135.835
AT ITER 6931 NEW BEST:: SOT 257425 SOS 43499 HAS SOPS 43499 HAS SOUS 30081 HAS SOUPS 30081 WITH SCORE 30124.499
AT ITER 6967 NEW BEST:: SOT 257423 SOS 43495 HAS SOPS 43495 HAS SOUS 30077 HAS SOUPS 30077 WITH SCORE 30120.495
AT ITER 6981 NEW BEST:: SOT 257377 SOS 43403 HAS SOPS 43403 HAS SOUS 30027 HAS SOUPS 30027 WITH SCORE 30070.403
AT ITER 7009 NEW BEST:: SOT 257362 SOS 43373 HAS SOPS 43373 HAS SOUS 29997 HAS SOUPS 29997 WITH SCORE 30040.373
AT ITER 7027 NEW BEST:: SOT 257319 SOS 43287 HAS SOPS 43287 HAS SOUS 29911 HAS SOUPS 29911 WITH SCORE 29954.287
AT ITER 7041 NEW BEST:: SOT 257307 SOS 43263 HAS SOPS 43263 HAS SOUS 29887 HAS SOUPS 29887 WITH SCORE 29930.263
AT ITER 7063 NEW BEST:: SOT 257160 SOS 43155 HAS SOPS 43155 HAS SOUS 29795 HAS SOUPS 29795 WITH SCORE 29838.155
AT ITER 7110 NEW BEST:: SOT 257160 SOS 43134 HAS SOPS 43134 HAS SOUS 29795 HAS SOUPS 29795 WITH SCORE 29838.134
AT ITER 7166 NEW BEST:: SOT 257140 SOS 43050 HAS SOPS 43050 HAS SOUS 29755 HAS SOUPS 29755 WITH SCORE 29798.05
AT ITER 7219 NEW BEST:: SOT 257107 SOS 42984 HAS SOPS 42984 HAS SOUS 29689 HAS SOUPS 29689 WITH SCORE 29731.984
AT ITER 7245 NEW BEST:: SOT 257105 SOS 42980 HAS SOPS 42980 HAS SOUS 29685 HAS SOUPS 29685 WITH SCORE 29727.98
AT ITER 7256 NEW BEST:: SOT 257105 SOS 42988 HAS SOPS 42988 HAS SOUS 29682 HAS SOUPS 29682 WITH SCORE 29724.988
AT ITER 7317 NEW BEST:: SOT 257097 SOS 42972 HAS SOPS 42972 HAS SOUS 29666 HAS SOUPS 29666 WITH SCORE 29708.972
AT ITER 7326 NEW BEST:: SOT 257083 SOS 42944 HAS SOPS 42944 HAS SOUS 29638 HAS SOUPS 29638 WITH SCORE 29680.944
AT ITER 7374 NEW BEST:: SOT 257076 SOS 42921 HAS SOPS 42921 HAS SOUS 29624 HAS SOUPS 29624 WITH SCORE 29666.921
AT ITER 7544 NEW BEST:: SOT 257060 SOS 42839 HAS SOPS 42839 HAS SOUS 29592 HAS SOUPS 29592 WITH SCORE 29634.839
AT ITER 7577 NEW BEST:: SOT 257049 SOS 42817 HAS SOPS 42817 HAS SOUS 29570 HAS SOUPS 29570 WITH SCORE 29612.817
AT ITER 7633 NEW BEST:: SOT 257049 SOS 42816 HAS SOPS 42816 HAS SOUS 29570 HAS SOUPS 29570 WITH SCORE 29612.816
AT ITER 7639 NEW BEST:: SOT 257044 SOS 42806 HAS SOPS 42806 HAS SOUS 29565 HAS SOUPS 29565 WITH SCORE 29607.806
AT ITER 7694 NEW BEST:: SOT 257029 SOS 42776 HAS SOPS 42776 HAS SOUS 29550 HAS SOUPS 29550 WITH SCORE 29592.776
AT ITER 7696 NEW BEST:: SOT 257033 SOS 42715 HAS SOPS 42715 HAS SOUS 29443 HAS SOUPS 29443 WITH SCORE 29485.715
AT ITER 7722 NEW BEST:: SOT 257016 SOS 42681 HAS SOPS 42681 HAS SOUS 29408 HAS SOUPS 29408 WITH SCORE 29450.681
AT ITER 7735 NEW BEST:: SOT 257016 SOS 42106 HAS SOPS 42106 HAS SOUS 29408 HAS SOUPS 29408 WITH SCORE 29450.106
AT ITER 7787 NEW BEST:: SOT 256971 SOS 42016 HAS SOPS 42016 HAS SOUS 29377 HAS SOUPS 29377 WITH SCORE 29419.016
AT ITER 7810 NEW BEST:: SOT 256969 SOS 42013 HAS SOPS 42013 HAS SOUS 29375 HAS SOUPS 29375 WITH SCORE 29417.013
AT ITER 7928 NEW BEST:: SOT 256943 SOS 41961 HAS SOPS 41961 HAS SOUS 29373 HAS SOUPS 29373 WITH SCORE 29414.961
AT ITER 8078 NEW BEST:: SOT 256915 SOS 41905 HAS SOPS 41905 HAS SOUS 29317 HAS SOUPS 29317 WITH SCORE 29358.905
AT ITER 8159 NEW BEST:: SOT 256912 SOS 41899 HAS SOPS 41899 HAS SOUS 29311 HAS SOUPS 29311 WITH SCORE 29352.899
AT ITER 8187 NEW BEST:: SOT 256912 SOS 41899 HAS SOPS 41899 HAS SOUS 29306 HAS SOUPS 29306 WITH SCORE 29347.899
AT ITER 8267 NEW BEST:: SOT 256912 SOS 41899 HAS SOPS 41899 HAS SOUS 29285 HAS SOUPS 29285 WITH SCORE 29326.899
AT ITER 8275 NEW BEST:: SOT 256904 SOS 41891 HAS SOPS 41891 HAS SOUS 29277 HAS SOUPS 29277 WITH SCORE 29318.891
AT ITER 8397 NEW BEST:: SOT 256890 SOS 41863 HAS SOPS 41863 HAS SOUS 29255 HAS SOUPS 29255 WITH SCORE 29296.863
AT ITER 8422 NEW BEST:: SOT 256813 SOS 41833 HAS SOPS 41833 HAS SOUS 29219 HAS SOUPS 29219 WITH SCORE 29260.833
AT ITER 8456 NEW BEST:: SOT 256789 SOS 41785 HAS SOPS 41785 HAS SOUS 29171 HAS SOUPS 29171 WITH SCORE 29212.785
AT ITER 8480 NEW BEST:: SOT 256708 SOS 41704 HAS SOPS 41704 HAS SOUS 29087 HAS SOUPS 29087 WITH SCORE 29128.704
AT ITER 8559 NEW BEST:: SOT 256704 SOS 41696 HAS SOPS 41696 HAS SOUS 29079 HAS SOUPS 29079 WITH SCORE 29120.696
AT ITER 8610 NEW BEST:: SOT 256704 SOS 41635 HAS SOPS 41635 HAS SOUS 29018 HAS SOUPS 29018 WITH SCORE 29059.635
AT ITER 8742 NEW BEST:: SOT 256704 SOS 41629 HAS SOPS 41629 HAS SOUS 29017 HAS SOUPS 29017 WITH SCORE 29058.629
AT ITER 8797 NEW BEST:: SOT 256704 SOS 41629 HAS SOPS 41629 HAS SOUS 29015 HAS SOUPS 29015 WITH SCORE 29056.629
AT ITER 8806 NEW BEST:: SOT 256685 SOS 41591 HAS SOPS 41591 HAS SOUS 29006 HAS SOUPS 29006 WITH SCORE 29047.591
AT ITER 8815 NEW BEST:: SOT 256680 SOS 41581 HAS SOPS 41581 HAS SOUS 28996 HAS SOUPS 28996 WITH SCORE 29037.581
AT ITER 9049 NEW BEST:: SOT 256667 SOS 41555 HAS SOPS 41555 HAS SOUS 28970 HAS SOUPS 28970 WITH SCORE 29011.555
AT ITER 9100 NEW BEST:: SOT 256660 SOS 41541 HAS SOPS 41541 HAS SOUS 28956 HAS SOUPS 28956 WITH SCORE 28997.541
AT ITER 9205 NEW BEST:: SOT 256653 SOS 41527 HAS SOPS 41527 HAS SOUS 28942 HAS SOUPS 28942 WITH SCORE 28983.527
AT ITER 9236 NEW BEST:: SOT 256635 SOS 41491 HAS SOPS 41491 HAS SOUS 28939 HAS SOUPS 28939 WITH SCORE 28980.491
AT ITER 9317 NEW BEST:: SOT 256636 SOS 41493 HAS SOPS 41493 HAS SOUS 28923 HAS SOUPS 28923 WITH SCORE 28964.493
AT ITER 9376 NEW BEST:: SOT 256624 SOS 41487 HAS SOPS 41487 HAS SOUS 28914 HAS SOUPS 28914 WITH SCORE 28955.487
AT ITER 9408 NEW BEST:: SOT 256619 SOS 41482 HAS SOPS 41482 HAS SOUS 28909 HAS SOUPS 28909 WITH SCORE 28950.482
AT ITER 9476 NEW BEST:: SOT 256615 SOS 41474 HAS SOPS 41474 HAS SOUS 28901 HAS SOUPS 28901 WITH SCORE 28942.474
AT ITER 9507 NEW BEST:: SOT 256585 SOS 41414 HAS SOPS 41414 HAS SOUS 28871 HAS SOUPS 28871 WITH SCORE 28912.414
AT ITER 9518 NEW BEST:: SOT 256585 SOS 41320 HAS SOPS 41320 HAS SOUS 28871 HAS SOUPS 28871 WITH SCORE 28912.32
AT ITER 9520 NEW BEST:: SOT 256562 SOS 41274 HAS SOPS 41274 HAS SOUS 28825 HAS SOUPS 28825 WITH SCORE 28866.274
AT ITER 9550 NEW BEST:: SOT 256553 SOS 41256 HAS SOPS 41256 HAS SOUS 28807 HAS SOUPS 28807 WITH SCORE 28848.256
AT ITER 9577 NEW BEST:: SOT 256543 SOS 41236 HAS SOPS 41236 HAS SOUS 28800 HAS SOUPS 28800 WITH SCORE 28841.236
AT ITER 9580 NEW BEST:: SOT 256517 SOS 41184 HAS SOPS 41184 HAS SOUS 28748 HAS SOUPS 28748 WITH SCORE 28789.184
AT ITER 9686 NEW BEST:: SOT 256515 SOS 41180 HAS SOPS 41180 HAS SOUS 28744 HAS SOUPS 28744 WITH SCORE 28785.18
AT ITER 9736 NEW BEST:: SOT 256512 SOS 41174 HAS SOPS 41174 HAS SOUS 28741 HAS SOUPS 28741 WITH SCORE 28782.174
AT ITER 9854 NEW BEST:: SOT 256511 SOS 41205 HAS SOPS 41205 HAS SOUS 28740 HAS SOUPS 28740 WITH SCORE 28781.205
AT ITER 9867 NEW BEST:: SOT 256504 SOS 41191 HAS SOPS 41191 HAS SOUS 28726 HAS SOUPS 28726 WITH SCORE 28767.191
AT ITER 9919 NEW BEST:: SOT 256501 SOS 41185 HAS SOPS 41185 HAS SOUS 28720 HAS SOUPS 28720 WITH SCORE 28761.185
AT ITER 9958 NEW BEST:: SOT 256496 SOS 41175 HAS SOPS 41175 HAS SOUS 28710 HAS SOUPS 28710 WITH SCORE 28751.175
AT ITER 9996 NEW BEST:: SOT 256499 SOS 41172 HAS SOPS 41172 HAS SOUS 28698 HAS SOUPS 28698 WITH SCORE 28739.172
STATE_SPACE STATES 1460670308 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 5 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 7273657981 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679318591286

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

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-04b"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is StigmergyElection-PT-04b, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r451-smll-167912643700600"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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