Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r033-smll-158901926000323.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
....................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is CloudDeployment-PT-5b, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r033-smll-158901926000323
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.6M
-rw-r--r-- 1 mcc users 3.9K Mar 30 01:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Mar 30 01:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 28 15:43 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 28 15:43 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.4K Apr 8 14:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:45 LTLFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Mar 27 08:29 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 27 08:29 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 26 07:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 11K Mar 26 07:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 1.5M Mar 24 05:37 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME CloudDeployment-PT-5b-CTLCardinality-00
FORMULA_NAME CloudDeployment-PT-5b-CTLCardinality-01
FORMULA_NAME CloudDeployment-PT-5b-CTLCardinality-02
FORMULA_NAME CloudDeployment-PT-5b-CTLCardinality-03
FORMULA_NAME CloudDeployment-PT-5b-CTLCardinality-04
FORMULA_NAME CloudDeployment-PT-5b-CTLCardinality-05
FORMULA_NAME CloudDeployment-PT-5b-CTLCardinality-06
FORMULA_NAME CloudDeployment-PT-5b-CTLCardinality-07
FORMULA_NAME CloudDeployment-PT-5b-CTLCardinality-08
FORMULA_NAME CloudDeployment-PT-5b-CTLCardinality-09
FORMULA_NAME CloudDeployment-PT-5b-CTLCardinality-10
FORMULA_NAME CloudDeployment-PT-5b-CTLCardinality-11
FORMULA_NAME CloudDeployment-PT-5b-CTLCardinality-12
FORMULA_NAME CloudDeployment-PT-5b-CTLCardinality-13
FORMULA_NAME CloudDeployment-PT-5b-CTLCardinality-14
FORMULA_NAME CloudDeployment-PT-5b-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589151557094

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudDeployment (PT), instance 5b
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 1525 places, 3132 transitions, 24760 arcs.
AT ITER 0 NEW BEST:: SOT 3276105 SOS 964973 HAS SOPS 964973 HAS SOUS 489639 HAS SOUPS 489639 WITH SCORE 490603.973
AT ITER 7 NEW BEST:: SOT 3276105 SOS 965204 HAS SOPS 965204 HAS SOUS 489598 HAS SOUPS 489598 WITH SCORE 490563.204
AT ITER 13 NEW BEST:: SOT 3276078 SOS 965204 HAS SOPS 965204 HAS SOUS 489580 HAS SOUPS 489580 WITH SCORE 490545.204
AT ITER 16 NEW BEST:: SOT 3275873 SOS 965136 HAS SOPS 965136 HAS SOUS 489375 HAS SOUPS 489375 WITH SCORE 490340.136
AT ITER 20 NEW BEST:: SOT 3275783 SOS 965411 HAS SOPS 965411 HAS SOUS 489285 HAS SOUPS 489285 WITH SCORE 490250.411
AT ITER 47 NEW BEST:: SOT 3275737 SOS 965319 HAS SOPS 965319 HAS SOUS 489239 HAS SOUPS 489239 WITH SCORE 490204.319
AT ITER 52 NEW BEST:: SOT 3275786 SOS 965270 HAS SOPS 965270 HAS SOUS 489239 HAS SOUPS 489239 WITH SCORE 490204.27
AT ITER 59 NEW BEST:: SOT 3275797 SOS 965292 HAS SOPS 965292 HAS SOUS 489073 HAS SOUPS 489073 WITH SCORE 490038.292
AT ITER 61 NEW BEST:: SOT 3275698 SOS 965910 HAS SOPS 965910 HAS SOUS 489032 HAS SOUPS 489032 WITH SCORE 489997.91
AT ITER 70 NEW BEST:: SOT 3275605 SOS 965848 HAS SOPS 965848 HAS SOUS 488929 HAS SOUPS 488929 WITH SCORE 489894.848
AT ITER 73 NEW BEST:: SOT 3295450 SOS 987853 HAS SOPS 987853 HAS SOUS 453952 HAS SOUPS 453952 WITH SCORE 454939.853
AT ITER 86 NEW BEST:: SOT 3295232 SOS 987468 HAS SOPS 987468 HAS SOUS 453715 HAS SOUPS 453715 WITH SCORE 454702.468
AT ITER 102 NEW BEST:: SOT 3295232 SOS 987407 HAS SOPS 987407 HAS SOUS 453679 HAS SOUPS 453679 WITH SCORE 454666.407
AT ITER 116 NEW BEST:: SOT 3294926 SOS 987101 HAS SOPS 987101 HAS SOUS 453373 HAS SOUPS 453373 WITH SCORE 454360.101
AT ITER 135 NEW BEST:: SOT 3294950 SOS 988229 HAS SOPS 988229 HAS SOUS 453360 HAS SOUPS 453360 WITH SCORE 454348.229
AT ITER 146 NEW BEST:: SOT 3294950 SOS 988229 HAS SOPS 988229 HAS SOUS 453242 HAS SOUPS 453242 WITH SCORE 454230.229
AT ITER 164 NEW BEST:: SOT 3294950 SOS 988146 HAS SOPS 988146 HAS SOUS 453242 HAS SOUPS 453242 WITH SCORE 454230.146
AT ITER 165 NEW BEST:: SOT 3294950 SOS 988365 HAS SOPS 988365 HAS SOUS 453183 HAS SOUPS 453183 WITH SCORE 454171.365
AT ITER 186 NEW BEST:: SOT 3294950 SOS 988393 HAS SOPS 988393 HAS SOUS 453182 HAS SOUPS 453182 WITH SCORE 454170.393
AT ITER 190 NEW BEST:: SOT 3295031 SOS 989337 HAS SOPS 989337 HAS SOUS 453119 HAS SOUPS 453119 WITH SCORE 454108.337
AT ITER 197 NEW BEST:: SOT 3295031 SOS 989337 HAS SOPS 989337 HAS SOUS 453118 HAS SOUPS 453118 WITH SCORE 454107.337
AT ITER 212 NEW BEST:: SOT 3294982 SOS 989288 HAS SOPS 989288 HAS SOUS 453117 HAS SOUPS 453117 WITH SCORE 454106.288
AT ITER 213 NEW BEST:: SOT 3294901 SOS 989207 HAS SOPS 989207 HAS SOUS 453084 HAS SOUPS 453084 WITH SCORE 454073.207
AT ITER 255 NEW BEST:: SOT 3294803 SOS 989395 HAS SOPS 989395 HAS SOUS 453033 HAS SOUPS 453033 WITH SCORE 454022.395
AT ITER 263 NEW BEST:: SOT 3294519 SOS 989124 HAS SOPS 989124 HAS SOUS 452650 HAS SOUPS 452650 WITH SCORE 453639.124
AT ITER 278 NEW BEST:: SOT 3294518 SOS 989252 HAS SOPS 989252 HAS SOUS 452603 HAS SOUPS 452603 WITH SCORE 453592.252
AT ITER 288 NEW BEST:: SOT 3293841 SOS 988426 HAS SOPS 988426 HAS SOUS 451750 HAS SOUPS 451750 WITH SCORE 452738.426
AT ITER 299 NEW BEST:: SOT 3293830 SOS 988404 HAS SOPS 988404 HAS SOUS 451728 HAS SOUPS 451728 WITH SCORE 452716.404
AT ITER 301 NEW BEST:: SOT 3293830 SOS 988339 HAS SOPS 988339 HAS SOUS 451728 HAS SOUPS 451728 WITH SCORE 452716.339
AT ITER 328 NEW BEST:: SOT 3293830 SOS 988284 HAS SOPS 988284 HAS SOUS 451708 HAS SOUPS 451708 WITH SCORE 452696.284
AT ITER 336 NEW BEST:: SOT 3293823 SOS 988270 HAS SOPS 988270 HAS SOUS 451694 HAS SOUPS 451694 WITH SCORE 452682.27
AT ITER 340 NEW BEST:: SOT 3293774 SOS 988172 HAS SOPS 988172 HAS SOUS 451596 HAS SOUPS 451596 WITH SCORE 452584.172
AT ITER 343 NEW BEST:: SOT 3293774 SOS 988310 HAS SOPS 988310 HAS SOUS 451587 HAS SOUPS 451587 WITH SCORE 452575.31
AT ITER 352 NEW BEST:: SOT 3293657 SOS 988193 HAS SOPS 988193 HAS SOUS 451513 HAS SOUPS 451513 WITH SCORE 452501.193
AT ITER 359 NEW BEST:: SOT 3291292 SOS 990626 HAS SOPS 990626 HAS SOUS 449525 HAS SOUPS 449525 WITH SCORE 450515.626
AT ITER 360 NEW BEST:: SOT 3291161 SOS 991016 HAS SOPS 991016 HAS SOUS 449406 HAS SOUPS 449406 WITH SCORE 450397.016
AT ITER 372 NEW BEST:: SOT 3290698 SOS 989605 HAS SOPS 989605 HAS SOUS 448818 HAS SOUPS 448818 WITH SCORE 449807.605
AT ITER 376 NEW BEST:: SOT 3290698 SOS 989605 HAS SOPS 989605 HAS SOUS 448695 HAS SOUPS 448695 WITH SCORE 449684.605
AT ITER 385 NEW BEST:: SOT 3290046 SOS 998473 HAS SOPS 998473 HAS SOUS 448036 HAS SOUPS 448036 WITH SCORE 449034.473
AT ITER 388 NEW BEST:: SOT 3289798 SOS 1000131 HAS SOPS 1000131 HAS SOUS 447788 HAS SOUPS 447788 WITH SCORE 448788.131
AT ITER 413 NEW BEST:: SOT 3289743 SOS 1000076 HAS SOPS 1000076 HAS SOUS 447787 HAS SOUPS 447787 WITH SCORE 448787.076
AT ITER 448 NEW BEST:: SOT 3289743 SOS 999930 HAS SOPS 999930 HAS SOUS 447761 HAS SOUPS 447761 WITH SCORE 448760.93
AT ITER 492 NEW BEST:: SOT 3289743 SOS 999932 HAS SOPS 999932 HAS SOUS 447738 HAS SOUPS 447738 WITH SCORE 448737.932
AT ITER 495 NEW BEST:: SOT 3289741 SOS 999928 HAS SOPS 999928 HAS SOUS 447433 HAS SOUPS 447433 WITH SCORE 448432.928
AT ITER 498 NEW BEST:: SOT 3289649 SOS 999960 HAS SOPS 999960 HAS SOUS 447115 HAS SOUPS 447115 WITH SCORE 448114.96
AT ITER 508 NEW BEST:: SOT 3289649 SOS 999698 HAS SOPS 999698 HAS SOUS 446796 HAS SOUPS 446796 WITH SCORE 447795.698
AT ITER 514 NEW BEST:: SOT 3289649 SOS 999698 HAS SOPS 999698 HAS SOUS 446793 HAS SOUPS 446793 WITH SCORE 447792.698
AT ITER 516 NEW BEST:: SOT 3289648 SOS 999696 HAS SOPS 999696 HAS SOUS 446791 HAS SOUPS 446791 WITH SCORE 447790.696
AT ITER 537 NEW BEST:: SOT 3287460 SOS 998797 HAS SOPS 998797 HAS SOUS 444786 HAS SOUPS 444786 WITH SCORE 445784.797
AT ITER 544 NEW BEST:: SOT 3287374 SOS 999505 HAS SOPS 999505 HAS SOUS 444783 HAS SOUPS 444783 WITH SCORE 445782.505
AT ITER 569 NEW BEST:: SOT 3287332 SOS 999421 HAS SOPS 999421 HAS SOUS 444741 HAS SOUPS 444741 WITH SCORE 445740.421
AT ITER 573 NEW BEST:: SOT 3287332 SOS 999393 HAS SOPS 999393 HAS SOUS 444734 HAS SOUPS 444734 WITH SCORE 445733.393
AT ITER 587 NEW BEST:: SOT 3287332 SOS 999393 HAS SOPS 999393 HAS SOUS 444630 HAS SOUPS 444630 WITH SCORE 445629.393
AT ITER 610 NEW BEST:: SOT 3287310 SOS 999349 HAS SOPS 999349 HAS SOUS 444608 HAS SOUPS 444608 WITH SCORE 445607.349
AT ITER 616 NEW BEST:: SOT 3287158 SOS 999643 HAS SOPS 999643 HAS SOUS 444534 HAS SOUPS 444534 WITH SCORE 445533.643
AT ITER 619 NEW BEST:: SOT 3287118 SOS 999553 HAS SOPS 999553 HAS SOUS 444494 HAS SOUPS 444494 WITH SCORE 445493.553
AT ITER 637 NEW BEST:: SOT 3286878 SOS 999473 HAS SOPS 999473 HAS SOUS 444334 HAS SOUPS 444334 WITH SCORE 445333.473
AT ITER 647 NEW BEST:: SOT 3286873 SOS 999463 HAS SOPS 999463 HAS SOUS 444324 HAS SOUPS 444324 WITH SCORE 445323.463
AT ITER 651 NEW BEST:: SOT 3286858 SOS 999583 HAS SOPS 999583 HAS SOUS 444309 HAS SOUPS 444309 WITH SCORE 445308.583
AT ITER 700 NEW BEST:: SOT 3286836 SOS 999899 HAS SOPS 999899 HAS SOUS 444301 HAS SOUPS 444301 WITH SCORE 445300.899
AT ITER 703 NEW BEST:: SOT 3286511 SOS 999827 HAS SOPS 999827 HAS SOUS 443990 HAS SOUPS 443990 WITH SCORE 444989.827
AT ITER 718 NEW BEST:: SOT 3286523 SOS 1000111 HAS SOPS 1000111 HAS SOUS 443754 HAS SOUPS 443754 WITH SCORE 444754.111
AT ITER 724 NEW BEST:: SOT 3286523 SOS 999889 HAS SOPS 999889 HAS SOUS 443695 HAS SOUPS 443695 WITH SCORE 444694.889
AT ITER 732 NEW BEST:: SOT 3286523 SOS 999900 HAS SOPS 999900 HAS SOUS 443635 HAS SOUPS 443635 WITH SCORE 444634.9
AT ITER 734 NEW BEST:: SOT 3286441 SOS 999801 HAS SOPS 999801 HAS SOUS 443519 HAS SOUPS 443519 WITH SCORE 444518.801
AT ITER 757 NEW BEST:: SOT 3286570 SOS 1000059 HAS SOPS 1000059 HAS SOUS 443467 HAS SOUPS 443467 WITH SCORE 444467.059
AT ITER 763 NEW BEST:: SOT 3286432 SOS 999921 HAS SOPS 999921 HAS SOUS 443099 HAS SOUPS 443099 WITH SCORE 444098.921
AT ITER 765 NEW BEST:: SOT 3286368 SOS 999857 HAS SOPS 999857 HAS SOUS 443091 HAS SOUPS 443091 WITH SCORE 444090.857
AT ITER 779 NEW BEST:: SOT 3286367 SOS 999855 HAS SOPS 999855 HAS SOUS 443089 HAS SOUPS 443089 WITH SCORE 444088.855
AT ITER 783 NEW BEST:: SOT 3286251 SOS 1000247 HAS SOPS 1000247 HAS SOUS 442865 HAS SOUPS 442865 WITH SCORE 443865.247
AT ITER 802 NEW BEST:: SOT 3286251 SOS 1000247 HAS SOPS 1000247 HAS SOUS 442755 HAS SOUPS 442755 WITH SCORE 443755.247
AT ITER 806 NEW BEST:: SOT 3286121 SOS 1000261 HAS SOPS 1000261 HAS SOUS 442632 HAS SOUPS 442632 WITH SCORE 443632.261
AT ITER 824 NEW BEST:: SOT 3285957 SOS 1001653 HAS SOPS 1001653 HAS SOUS 442476 HAS SOUPS 442476 WITH SCORE 443477.653
AT ITER 843 NEW BEST:: SOT 3285791 SOS 1001487 HAS SOPS 1001487 HAS SOUS 441680 HAS SOUPS 441680 WITH SCORE 442681.487
AT ITER 847 NEW BEST:: SOT 3285563 SOS 1001981 HAS SOPS 1001981 HAS SOUS 441224 HAS SOUPS 441224 WITH SCORE 442225.981
AT ITER 863 NEW BEST:: SOT 3285618 SOS 1002305 HAS SOPS 1002305 HAS SOUS 441120 HAS SOUPS 441120 WITH SCORE 442122.305
AT ITER 866 NEW BEST:: SOT 3285588 SOS 1002355 HAS SOPS 1002355 HAS SOUS 441090 HAS SOUPS 441090 WITH SCORE 442092.355
AT ITER 874 NEW BEST:: SOT 3285235 SOS 1031939 HAS SOPS 1031939 HAS SOUS 440638 HAS SOUPS 440638 WITH SCORE 441669.939
AT ITER 877 NEW BEST:: SOT 3284941 SOS 1031841 HAS SOPS 1031841 HAS SOUS 440442 HAS SOUPS 440442 WITH SCORE 441473.841
AT ITER 878 NEW BEST:: SOT 3284941 SOS 1031911 HAS SOPS 1031911 HAS SOUS 440383 HAS SOUPS 440383 WITH SCORE 441414.911
AT ITER 916 NEW BEST:: SOT 3284940 SOS 1031909 HAS SOPS 1031909 HAS SOUS 440381 HAS SOUPS 440381 WITH SCORE 441412.909
AT ITER 931 NEW BEST:: SOT 3285034 SOS 1031710 HAS SOPS 1031710 HAS SOUS 440311 HAS SOUPS 440311 WITH SCORE 441342.71
AT ITER 945 NEW BEST:: SOT 3284951 SOS 1031627 HAS SOPS 1031627 HAS SOUS 440228 HAS SOUPS 440228 WITH SCORE 441259.627
AT ITER 975 NEW BEST:: SOT 3285010 SOS 1031579 HAS SOPS 1031579 HAS SOUS 440205 HAS SOUPS 440205 WITH SCORE 441236.579
AT ITER 976 NEW BEST:: SOT 3284873 SOS 1031665 HAS SOPS 1031665 HAS SOUS 439931 HAS SOUPS 439931 WITH SCORE 440962.665
AT ITER 983 NEW BEST:: SOT 3284756 SOS 1031100 HAS SOPS 1031100 HAS SOUS 439799 HAS SOUPS 439799 WITH SCORE 440830.1
AT ITER 988 NEW BEST:: SOT 3284633 SOS 1030854 HAS SOPS 1030854 HAS SOUS 439553 HAS SOUPS 439553 WITH SCORE 440583.854
AT ITER 989 NEW BEST:: SOT 3284633 SOS 1038560 HAS SOPS 1038560 HAS SOUS 439503 HAS SOUPS 439503 WITH SCORE 440541.56
AT ITER 1006 NEW BEST:: SOT 3284533 SOS 1038590 HAS SOPS 1038590 HAS SOUS 439449 HAS SOUPS 439449 WITH SCORE 440487.59
AT ITER 1010 NEW BEST:: SOT 3284533 SOS 1038547 HAS SOPS 1038547 HAS SOUS 439406 HAS SOUPS 439406 WITH SCORE 440444.547
AT ITER 1022 NEW BEST:: SOT 3284533 SOS 1038932 HAS SOPS 1038932 HAS SOUS 439386 HAS SOUPS 439386 WITH SCORE 440424.932
AT ITER 1025 NEW BEST:: SOT 3284499 SOS 1039000 HAS SOPS 1039000 HAS SOUS 439352 HAS SOUPS 439352 WITH SCORE 440391.0
AT ITER 1035 NEW BEST:: SOT 3284516 SOS 1056557 HAS SOPS 1056557 HAS SOUS 439235 HAS SOUPS 439235 WITH SCORE 440291.557
AT ITER 1049 NEW BEST:: SOT 3284228 SOS 1057865 HAS SOPS 1057865 HAS SOUS 439061 HAS SOUPS 439061 WITH SCORE 440118.865
AT ITER 1060 NEW BEST:: SOT 3284226 SOS 1057861 HAS SOPS 1057861 HAS SOUS 439057 HAS SOUPS 439057 WITH SCORE 440114.861
AT ITER 1067 NEW BEST:: SOT 3284226 SOS 1057825 HAS SOPS 1057825 HAS SOUS 439051 HAS SOUPS 439051 WITH SCORE 440108.825
AT ITER 1073 NEW BEST:: SOT 3284182 SOS 1057737 HAS SOPS 1057737 HAS SOUS 439042 HAS SOUPS 439042 WITH SCORE 440099.737
AT ITER 1087 NEW BEST:: SOT 3284051 SOS 1057627 HAS SOPS 1057627 HAS SOUS 439015 HAS SOUPS 439015 WITH SCORE 440072.627
AT ITER 1088 NEW BEST:: SOT 3284030 SOS 1057627 HAS SOPS 1057627 HAS SOUS 438976 HAS SOUPS 438976 WITH SCORE 440033.627
AT ITER 1096 NEW BEST:: SOT 3284030 SOS 1057604 HAS SOPS 1057604 HAS SOUS 438976 HAS SOUPS 438976 WITH SCORE 440033.604
AT ITER 1107 NEW BEST:: SOT 3283980 SOS 1057704 HAS SOPS 1057704 HAS SOUS 438926 HAS SOUPS 438926 WITH SCORE 439983.704
AT ITER 1108 NEW BEST:: SOT 3283969 SOS 1057682 HAS SOPS 1057682 HAS SOUS 438897 HAS SOUPS 438897 WITH SCORE 439954.682
AT ITER 1120 NEW BEST:: SOT 3283969 SOS 1057682 HAS SOPS 1057682 HAS SOUS 438893 HAS SOUPS 438893 WITH SCORE 439950.682
AT ITER 1123 NEW BEST:: SOT 3283943 SOS 1061582 HAS SOPS 1061582 HAS SOUS 438867 HAS SOUPS 438867 WITH SCORE 439928.582
AT ITER 1130 NEW BEST:: SOT 3284006 SOS 1061519 HAS SOPS 1061519 HAS SOUS 438867 HAS SOUPS 438867 WITH SCORE 439928.519
AT ITER 1132 NEW BEST:: SOT 3284023 SOS 1061553 HAS SOPS 1061553 HAS SOUS 438669 HAS SOUPS 438669 WITH SCORE 439730.553
AT ITER 1147 NEW BEST:: SOT 3283982 SOS 1061312 HAS SOPS 1061312 HAS SOUS 438628 HAS SOUPS 438628 WITH SCORE 439689.312
AT ITER 1179 NEW BEST:: SOT 3283982 SOS 1061312 HAS SOPS 1061312 HAS SOUS 438619 HAS SOUPS 438619 WITH SCORE 439680.312
AT ITER 1180 NEW BEST:: SOT 3283905 SOS 1061261 HAS SOPS 1061261 HAS SOUS 438568 HAS SOUPS 438568 WITH SCORE 439629.261
AT ITER 1194 NEW BEST:: SOT 3283791 SOS 1061147 HAS SOPS 1061147 HAS SOUS 438454 HAS SOUPS 438454 WITH SCORE 439515.147
AT ITER 1200 NEW BEST:: SOT 3283735 SOS 1061035 HAS SOPS 1061035 HAS SOUS 438175 HAS SOUPS 438175 WITH SCORE 439236.035
AT ITER 1209 NEW BEST:: SOT 3283609 SOS 1061548 HAS SOPS 1061548 HAS SOUS 437966 HAS SOUPS 437966 WITH SCORE 439027.548
AT ITER 1224 NEW BEST:: SOT 3283521 SOS 1061460 HAS SOPS 1061460 HAS SOUS 437878 HAS SOUPS 437878 WITH SCORE 438939.46
AT ITER 1245 NEW BEST:: SOT 3283671 SOS 1061310 HAS SOPS 1061310 HAS SOUS 437878 HAS SOUPS 437878 WITH SCORE 438939.31
AT ITER 1254 NEW BEST:: SOT 3283670 SOS 1061308 HAS SOPS 1061308 HAS SOUS 437876 HAS SOUPS 437876 WITH SCORE 438937.308
AT ITER 1264 NEW BEST:: SOT 3283560 SOS 1061088 HAS SOPS 1061088 HAS SOUS 437732 HAS SOUPS 437732 WITH SCORE 438793.088
AT ITER 1276 NEW BEST:: SOT 3283596 SOS 1061052 HAS SOPS 1061052 HAS SOUS 437610 HAS SOUPS 437610 WITH SCORE 438671.052
AT ITER 1281 NEW BEST:: SOT 3281763 SOS 1079738 HAS SOPS 1079738 HAS SOUS 436087 HAS SOUPS 436087 WITH SCORE 437166.738
AT ITER 1293 NEW BEST:: SOT 3281763 SOS 1079815 HAS SOPS 1079815 HAS SOUS 435856 HAS SOUPS 435856 WITH SCORE 436935.815
AT ITER 1298 NEW BEST:: SOT 3281763 SOS 1079815 HAS SOPS 1079815 HAS SOUS 435855 HAS SOUPS 435855 WITH SCORE 436934.815
AT ITER 1299 NEW BEST:: SOT 3281763 SOS 1079815 HAS SOPS 1079815 HAS SOUS 435655 HAS SOUPS 435655 WITH SCORE 436734.815
AT ITER 1303 NEW BEST:: SOT 3281587 SOS 1079582 HAS SOPS 1079582 HAS SOUS 435556 HAS SOUPS 435556 WITH SCORE 436635.582
AT ITER 1305 NEW BEST:: SOT 3281494 SOS 1079563 HAS SOPS 1079563 HAS SOUS 435538 HAS SOUPS 435538 WITH SCORE 436617.563
AT ITER 1307 NEW BEST:: SOT 3281325 SOS 1079225 HAS SOPS 1079225 HAS SOUS 435200 HAS SOUPS 435200 WITH SCORE 436279.225
AT ITER 1331 NEW BEST:: SOT 3281280 SOS 1079135 HAS SOPS 1079135 HAS SOUS 435022 HAS SOUPS 435022 WITH SCORE 436101.135
AT ITER 1341 NEW BEST:: SOT 3281312 SOS 1079199 HAS SOPS 1079199 HAS SOUS 434943 HAS SOUPS 434943 WITH SCORE 436022.199
AT ITER 1345 NEW BEST:: SOT 3281385 SOS 1079185 HAS SOPS 1079185 HAS SOUS 434929 HAS SOUPS 434929 WITH SCORE 436008.185
AT ITER 1349 NEW BEST:: SOT 3281385 SOS 1079253 HAS SOPS 1079253 HAS SOUS 434725 HAS SOUPS 434725 WITH SCORE 435804.253
AT ITER 1350 NEW BEST:: SOT 3281385 SOS 1079142 HAS SOPS 1079142 HAS SOUS 434725 HAS SOUPS 434725 WITH SCORE 435804.142
AT ITER 1363 NEW BEST:: SOT 3281385 SOS 1079244 HAS SOPS 1079244 HAS SOUS 434707 HAS SOUPS 434707 WITH SCORE 435786.244
AT ITER 1375 NEW BEST:: SOT 3281285 SOS 1079592 HAS SOPS 1079592 HAS SOUS 434644 HAS SOUPS 434644 WITH SCORE 435723.592
AT ITER 1387 NEW BEST:: SOT 3281285 SOS 1079592 HAS SOPS 1079592 HAS SOUS 434614 HAS SOUPS 434614 WITH SCORE 435693.592
AT ITER 1411 NEW BEST:: SOT 3281246 SOS 1079514 HAS SOPS 1079514 HAS SOUS 434575 HAS SOUPS 434575 WITH SCORE 435654.514
AT ITER 1443 NEW BEST:: SOT 3281246 SOS 1079480 HAS SOPS 1079480 HAS SOUS 434575 HAS SOUPS 434575 WITH SCORE 435654.48
AT ITER 1460 NEW BEST:: SOT 3281335 SOS 1079658 HAS SOPS 1079658 HAS SOUS 434412 HAS SOUPS 434412 WITH SCORE 435491.658
AT ITER 1461 NEW BEST:: SOT 3280863 SOS 1079368 HAS SOPS 1079368 HAS SOUS 433958 HAS SOUPS 433958 WITH SCORE 435037.368
AT ITER 1470 NEW BEST:: SOT 3280737 SOS 1079242 HAS SOPS 1079242 HAS SOUS 433748 HAS SOUPS 433748 WITH SCORE 434827.242
AT ITER 1486 NEW BEST:: SOT 3280781 SOS 1079223 HAS SOPS 1079223 HAS SOUS 433729 HAS SOUPS 433729 WITH SCORE 434808.223
AT ITER 1498 NEW BEST:: SOT 3280730 SOS 1079121 HAS SOPS 1079121 HAS SOUS 433627 HAS SOUPS 433627 WITH SCORE 434706.121
AT ITER 1509 NEW BEST:: SOT 3280801 SOS 1079071 HAS SOPS 1079071 HAS SOUS 433577 HAS SOUPS 433577 WITH SCORE 434656.071
AT ITER 1510 NEW BEST:: SOT 3280801 SOS 1079019 HAS SOPS 1079019 HAS SOUS 433525 HAS SOUPS 433525 WITH SCORE 434604.019
AT ITER 1514 NEW BEST:: SOT 3280754 SOS 1078964 HAS SOPS 1078964 HAS SOUS 433478 HAS SOUPS 433478 WITH SCORE 434556.964
AT ITER 1521 NEW BEST:: SOT 3280754 SOS 1078954 HAS SOPS 1078954 HAS SOUS 433478 HAS SOUPS 433478 WITH SCORE 434556.954
AT ITER 1523 NEW BEST:: SOT 3280754 SOS 1078954 HAS SOPS 1078954 HAS SOUS 433421 HAS SOUPS 433421 WITH SCORE 434499.954
AT ITER 1534 NEW BEST:: SOT 3280659 SOS 1078954 HAS SOPS 1078954 HAS SOUS 433418 HAS SOUPS 433418 WITH SCORE 434496.954
AT ITER 1541 NEW BEST:: SOT 3279519 SOS 1079092 HAS SOPS 1079092 HAS SOUS 432681 HAS SOUPS 432681 WITH SCORE 433760.092
AT ITER 1550 NEW BEST:: SOT 3279518 SOS 1079090 HAS SOPS 1079090 HAS SOUS 432679 HAS SOUPS 432679 WITH SCORE 433758.09
AT ITER 1569 NEW BEST:: SOT 3279674 SOS 1079402 HAS SOPS 1079402 HAS SOUS 432651 HAS SOUPS 432651 WITH SCORE 433730.402
AT ITER 1590 NEW BEST:: SOT 3279551 SOS 1079402 HAS SOPS 1079402 HAS SOUS 432528 HAS SOUPS 432528 WITH SCORE 433607.402
AT ITER 1593 NEW BEST:: SOT 3279492 SOS 1079284 HAS SOPS 1079284 HAS SOUS 432407 HAS SOUPS 432407 WITH SCORE 433486.284
AT ITER 1600 NEW BEST:: SOT 3279453 SOS 1079206 HAS SOPS 1079206 HAS SOUS 432329 HAS SOUPS 432329 WITH SCORE 433408.206
AT ITER 1603 NEW BEST:: SOT 3279186 SOS 1078855 HAS SOPS 1078855 HAS SOUS 431894 HAS SOUPS 431894 WITH SCORE 432972.855
AT ITER 1629 NEW BEST:: SOT 3279179 SOS 1078848 HAS SOPS 1078848 HAS SOUS 410938 HAS SOUPS 410938 WITH SCORE 412016.848
AT ITER 1637 NEW BEST:: SOT 3279012 SOS 1078461 HAS SOPS 1078461 HAS SOUS 410856 HAS SOUPS 410856 WITH SCORE 411934.461
AT ITER 1638 NEW BEST:: SOT 3279012 SOS 1078653 HAS SOPS 1078653 HAS SOUS 410834 HAS SOUPS 410834 WITH SCORE 411912.653
AT ITER 1640 NEW BEST:: SOT 3279217 SOS 1079063 HAS SOPS 1079063 HAS SOUS 410803 HAS SOUPS 410803 WITH SCORE 411882.063
AT ITER 1643 NEW BEST:: SOT 3278969 SOS 1078874 HAS SOPS 1078874 HAS SOUS 410307 HAS SOUPS 410307 WITH SCORE 411385.874
AT ITER 1663 NEW BEST:: SOT 3278857 SOS 1078701 HAS SOPS 1078701 HAS SOUS 409978 HAS SOUPS 409978 WITH SCORE 411056.701
AT ITER 1674 NEW BEST:: SOT 3278913 SOS 1079028 HAS SOPS 1079028 HAS SOUS 409670 HAS SOUPS 409670 WITH SCORE 410749.028
AT ITER 1690 NEW BEST:: SOT 3278885 SOS 1079042 HAS SOPS 1079042 HAS SOUS 409656 HAS SOUPS 409656 WITH SCORE 410735.042
AT ITER 1705 NEW BEST:: SOT 3278885 SOS 1079042 HAS SOPS 1079042 HAS SOUS 409632 HAS SOUPS 409632 WITH SCORE 410711.042
AT ITER 1707 NEW BEST:: SOT 3278745 SOS 1078902 HAS SOPS 1078902 HAS SOUS 407292 HAS SOUPS 407292 WITH SCORE 408370.902
AT ITER 1718 NEW BEST:: SOT 3278745 SOS 1078771 HAS SOPS 1078771 HAS SOUS 406863 HAS SOUPS 406863 WITH SCORE 407941.771
AT ITER 1733 NEW BEST:: SOT 3278745 SOS 1078660 HAS SOPS 1078660 HAS SOUS 406863 HAS SOUPS 406863 WITH SCORE 407941.66
AT ITER 1738 NEW BEST:: SOT 3278745 SOS 1078647 HAS SOPS 1078647 HAS SOUS 406863 HAS SOUPS 406863 WITH SCORE 407941.647
AT ITER 1743 NEW BEST:: SOT 3278380 SOS 1077599 HAS SOPS 1077599 HAS SOUS 406553 HAS SOUPS 406553 WITH SCORE 407630.599
AT ITER 1758 NEW BEST:: SOT 3278380 SOS 1077756 HAS SOPS 1077756 HAS SOUS 406510 HAS SOUPS 406510 WITH SCORE 407587.756
AT ITER 1762 NEW BEST:: SOT 3278184 SOS 1077560 HAS SOPS 1077560 HAS SOUS 405724 HAS SOUPS 405724 WITH SCORE 406801.56
AT ITER 1771 NEW BEST:: SOT 3278184 SOS 1078785 HAS SOPS 1078785 HAS SOUS 405662 HAS SOUPS 405662 WITH SCORE 406740.785
AT ITER 1791 NEW BEST:: SOT 3278184 SOS 1078673 HAS SOPS 1078673 HAS SOUS 405550 HAS SOUPS 405550 WITH SCORE 406628.673
AT ITER 1799 NEW BEST:: SOT 3278170 SOS 1078645 HAS SOPS 1078645 HAS SOUS 405536 HAS SOUPS 405536 WITH SCORE 406614.645
AT ITER 1809 NEW BEST:: SOT 3278113 SOS 1079042 HAS SOPS 1079042 HAS SOUS 405284 HAS SOUPS 405284 WITH SCORE 406363.042
AT ITER 1817 NEW BEST:: SOT 3277509 SOS 1078805 HAS SOPS 1078805 HAS SOUS 405044 HAS SOUPS 405044 WITH SCORE 406122.805
AT ITER 1822 NEW BEST:: SOT 3277253 SOS 1078677 HAS SOPS 1078677 HAS SOUS 404788 HAS SOUPS 404788 WITH SCORE 405866.677
AT ITER 1823 NEW BEST:: SOT 3276541 SOS 1077734 HAS SOPS 1077734 HAS SOUS 404076 HAS SOUPS 404076 WITH SCORE 405153.734
AT ITER 1835 NEW BEST:: SOT 3276505 SOS 1077779 HAS SOPS 1077779 HAS SOUS 403923 HAS SOUPS 403923 WITH SCORE 405000.779
AT ITER 1841 NEW BEST:: SOT 3276526 SOS 1077767 HAS SOPS 1077767 HAS SOUS 403911 HAS SOUPS 403911 WITH SCORE 404988.767
AT ITER 1842 NEW BEST:: SOT 3276417 SOS 1077549 HAS SOPS 1077549 HAS SOUS 403693 HAS SOUPS 403693 WITH SCORE 404770.549
AT ITER 1848 NEW BEST:: SOT 3276217 SOS 1077060 HAS SOPS 1077060 HAS SOUS 403575 HAS SOUPS 403575 WITH SCORE 404652.06
AT ITER 1853 NEW BEST:: SOT 3276217 SOS 1077120 HAS SOPS 1077120 HAS SOUS 403525 HAS SOUPS 403525 WITH SCORE 404602.12
AT ITER 1864 NEW BEST:: SOT 3276217 SOS 1077319 HAS SOPS 1077319 HAS SOUS 397356 HAS SOUPS 397356 WITH SCORE 398433.319
AT ITER 1874 NEW BEST:: SOT 3276106 SOS 1077097 HAS SOPS 1077097 HAS SOUS 397245 HAS SOUPS 397245 WITH SCORE 398322.097
AT ITER 1887 NEW BEST:: SOT 3276049 SOS 1076983 HAS SOPS 1076983 HAS SOUS 396900 HAS SOUPS 396900 WITH SCORE 397976.983
AT ITER 1893 NEW BEST:: SOT 3276049 SOS 1076934 HAS SOPS 1076934 HAS SOUS 396900 HAS SOUPS 396900 WITH SCORE 397976.934
AT ITER 1895 NEW BEST:: SOT 3275793 SOS 1077115 HAS SOPS 1077115 HAS SOUS 396517 HAS SOUPS 396517 WITH SCORE 397594.115
AT ITER 1897 NEW BEST:: SOT 3275671 SOS 1079380 HAS SOPS 1079380 HAS SOUS 396395 HAS SOUPS 396395 WITH SCORE 397474.38
AT ITER 1900 NEW BEST:: SOT 3275632 SOS 1079302 HAS SOPS 1079302 HAS SOUS 396317 HAS SOUPS 396317 WITH SCORE 397396.302
AT ITER 1912 NEW BEST:: SOT 3275561 SOS 1079344 HAS SOPS 1079344 HAS SOUS 396245 HAS SOUPS 396245 WITH SCORE 397324.344
AT ITER 1915 NEW BEST:: SOT 3275244 SOS 1078710 HAS SOPS 1078710 HAS SOUS 395732 HAS SOUPS 395732 WITH SCORE 396810.71
AT ITER 1919 NEW BEST:: SOT 3275090 SOS 1078890 HAS SOPS 1078890 HAS SOUS 395691 HAS SOUPS 395691 WITH SCORE 396769.89
AT ITER 1923 NEW BEST:: SOT 3274977 SOS 1078777 HAS SOPS 1078777 HAS SOUS 395659 HAS SOUPS 395659 WITH SCORE 396737.777
AT ITER 1929 NEW BEST:: SOT 3274977 SOS 1078552 HAS SOPS 1078552 HAS SOUS 395650 HAS SOUPS 395650 WITH SCORE 396728.552
AT ITER 1960 NEW BEST:: SOT 3274883 SOS 1078364 HAS SOPS 1078364 HAS SOUS 395607 HAS SOUPS 395607 WITH SCORE 396685.364
AT ITER 1971 NEW BEST:: SOT 3274776 SOS 1078377 HAS SOPS 1078377 HAS SOUS 395288 HAS SOUPS 395288 WITH SCORE 396366.377
AT ITER 1986 NEW BEST:: SOT 3274907 SOS 1078377 HAS SOPS 1078377 HAS SOUS 395157 HAS SOUPS 395157 WITH SCORE 396235.377
AT ITER 2053 NEW BEST:: SOT 3274869 SOS 1078225 HAS SOPS 1078225 HAS SOUS 395119 HAS SOUPS 395119 WITH SCORE 396197.225
AT ITER 2079 NEW BEST:: SOT 3274269 SOS 1081630 HAS SOPS 1081630 HAS SOUS 394589 HAS SOUPS 394589 WITH SCORE 395670.63
AT ITER 2098 NEW BEST:: SOT 3274226 SOS 1081588 HAS SOPS 1081588 HAS SOUS 394431 HAS SOUPS 394431 WITH SCORE 395512.588
AT ITER 2100 NEW BEST:: SOT 3274214 SOS 1081537 HAS SOPS 1081537 HAS SOUS 394265 HAS SOUPS 394265 WITH SCORE 395346.537
AT ITER 2148 NEW BEST:: SOT 3274173 SOS 1081518 HAS SOPS 1081518 HAS SOUS 394183 HAS SOUPS 394183 WITH SCORE 395264.518
AT ITER 2153 NEW BEST:: SOT 3274173 SOS 1081496 HAS SOPS 1081496 HAS SOUS 394179 HAS SOUPS 394179 WITH SCORE 395260.496
AT ITER 2155 NEW BEST:: SOT 3274112 SOS 1081373 HAS SOPS 1081373 HAS SOUS 394063 HAS SOUPS 394063 WITH SCORE 395144.373
AT ITER 2156 NEW BEST:: SOT 3273737 SOS 1081063 HAS SOPS 1081063 HAS SOUS 393699 HAS SOUPS 393699 WITH SCORE 394780.063
AT ITER 2181 NEW BEST:: SOT 3272354 SOS 1080123 HAS SOPS 1080123 HAS SOUS 393325 HAS SOUPS 393325 WITH SCORE 394405.123
AT ITER 2197 NEW BEST:: SOT 3272354 SOS 1080015 HAS SOPS 1080015 HAS SOUS 393325 HAS SOUPS 393325 WITH SCORE 394405.015
AT ITER 2238 NEW BEST:: SOT 3272363 SOS 1080168 HAS SOPS 1080168 HAS SOUS 393250 HAS SOUPS 393250 WITH SCORE 394330.168
AT ITER 2256 NEW BEST:: SOT 3272363 SOS 1079968 HAS SOPS 1079968 HAS SOUS 392994 HAS SOUPS 392994 WITH SCORE 394073.968
AT ITER 2278 NEW BEST:: SOT 3272474 SOS 1079872 HAS SOPS 1079872 HAS SOUS 392917 HAS SOUPS 392917 WITH SCORE 393996.872
AT ITER 2295 NEW BEST:: SOT 3272370 SOS 1079872 HAS SOPS 1079872 HAS SOUS 392813 HAS SOUPS 392813 WITH SCORE 393892.872
AT ITER 2303 NEW BEST:: SOT 3272252 SOS 1079813 HAS SOPS 1079813 HAS SOUS 392695 HAS SOUPS 392695 WITH SCORE 393774.813
AT ITER 2319 NEW BEST:: SOT 3272356 SOS 1080021 HAS SOPS 1080021 HAS SOUS 392576 HAS SOUPS 392576 WITH SCORE 393656.021
AT ITER 2332 NEW BEST:: SOT 3272333 SOS 1079975 HAS SOPS 1079975 HAS SOUS 392553 HAS SOUPS 392553 WITH SCORE 393632.975
AT ITER 2351 NEW BEST:: SOT 3272274 SOS 1079847 HAS SOPS 1079847 HAS SOUS 392425 HAS SOUPS 392425 WITH SCORE 393504.847
AT ITER 2357 NEW BEST:: SOT 3272134 SOS 1079567 HAS SOPS 1079567 HAS SOUS 392145 HAS SOUPS 392145 WITH SCORE 393224.567
AT ITER 2371 NEW BEST:: SOT 3272134 SOS 1079585 HAS SOPS 1079585 HAS SOUS 392073 HAS SOUPS 392073 WITH SCORE 393152.585
AT ITER 2379 NEW BEST:: SOT 3272027 SOS 1079371 HAS SOPS 1079371 HAS SOUS 391986 HAS SOUPS 391986 WITH SCORE 393065.371
AT ITER 2387 NEW BEST:: SOT 3272027 SOS 1079371 HAS SOPS 1079371 HAS SOUS 391947 HAS SOUPS 391947 WITH SCORE 393026.371
AT ITER 2395 NEW BEST:: SOT 3272035 SOS 1079624 HAS SOPS 1079624 HAS SOUS 391868 HAS SOUPS 391868 WITH SCORE 392947.624
AT ITER 2399 NEW BEST:: SOT 3271989 SOS 1079624 HAS SOPS 1079624 HAS SOUS 391730 HAS SOUPS 391730 WITH SCORE 392809.624
AT ITER 2410 NEW BEST:: SOT 3271873 SOS 1079553 HAS SOPS 1079553 HAS SOUS 391672 HAS SOUPS 391672 WITH SCORE 392751.553
AT ITER 2419 NEW BEST:: SOT 3272252 SOS 1079932 HAS SOPS 1079932 HAS SOUS 391201 HAS SOUPS 391201 WITH SCORE 392280.932
AT ITER 2425 NEW BEST:: SOT 3272153 SOS 1079734 HAS SOPS 1079734 HAS SOUS 391003 HAS SOUPS 391003 WITH SCORE 392082.734
AT ITER 2431 NEW BEST:: SOT 3272140 SOS 1079708 HAS SOPS 1079708 HAS SOUS 390977 HAS SOUPS 390977 WITH SCORE 392056.708
AT ITER 2434 NEW BEST:: SOT 3272072 SOS 1079742 HAS SOPS 1079742 HAS SOUS 390943 HAS SOUPS 390943 WITH SCORE 392022.742
AT ITER 2445 NEW BEST:: SOT 3272150 SOS 1079742 HAS SOPS 1079742 HAS SOUS 390937 HAS SOUPS 390937 WITH SCORE 392016.742
AT ITER 2446 NEW BEST:: SOT 3272113 SOS 1079704 HAS SOPS 1079704 HAS SOUS 390899 HAS SOUPS 390899 WITH SCORE 391978.704
AT ITER 2452 NEW BEST:: SOT 3272113 SOS 1079686 HAS SOPS 1079686 HAS SOUS 390899 HAS SOUPS 390899 WITH SCORE 391978.686
AT ITER 2473 NEW BEST:: SOT 3272116 SOS 1079689 HAS SOPS 1079689 HAS SOUS 390851 HAS SOUPS 390851 WITH SCORE 391930.689
AT ITER 2474 NEW BEST:: SOT 3272111 SOS 1079679 HAS SOPS 1079679 HAS SOUS 390846 HAS SOUPS 390846 WITH SCORE 391925.679
AT ITER 2485 NEW BEST:: SOT 3272111 SOS 1079679 HAS SOPS 1079679 HAS SOUS 390724 HAS SOUPS 390724 WITH SCORE 391803.679
AT ITER 2486 NEW BEST:: SOT 3271736 SOS 1079739 HAS SOPS 1079739 HAS SOUS 390433 HAS SOUPS 390433 WITH SCORE 391512.739
AT ITER 2494 NEW BEST:: SOT 3272050 SOS 1079242 HAS SOPS 1079242 HAS SOUS 390426 HAS SOUPS 390426 WITH SCORE 391505.242
AT ITER 2496 NEW BEST:: SOT 3271830 SOS 1078912 HAS SOPS 1078912 HAS SOUS 390206 HAS SOUPS 390206 WITH SCORE 391284.912
AT ITER 2499 NEW BEST:: SOT 3271830 SOS 1078912 HAS SOPS 1078912 HAS SOUS 390160 HAS SOUPS 390160 WITH SCORE 391238.912
AT ITER 2518 NEW BEST:: SOT 3271815 SOS 1078781 HAS SOPS 1078781 HAS SOUS 390029 HAS SOUPS 390029 WITH SCORE 391107.781
AT ITER 2526 NEW BEST:: SOT 3271939 SOS 1079130 HAS SOPS 1079130 HAS SOUS 389907 HAS SOUPS 389907 WITH SCORE 390986.13
AT ITER 2540 NEW BEST:: SOT 3271923 SOS 1079102 HAS SOPS 1079102 HAS SOUS 389893 HAS SOUPS 389893 WITH SCORE 390972.102
AT ITER 2544 NEW BEST:: SOT 3271923 SOS 1080475 HAS SOPS 1080475 HAS SOUS 389880 HAS SOUPS 389880 WITH SCORE 390960.475
AT ITER 2553 NEW BEST:: SOT 3271915 SOS 1080459 HAS SOPS 1080459 HAS SOUS 389864 HAS SOUPS 389864 WITH SCORE 390944.459
AT ITER 2578 NEW BEST:: SOT 3271894 SOS 1080438 HAS SOPS 1080438 HAS SOUS 389738 HAS SOUPS 389738 WITH SCORE 390818.438
AT ITER 2580 NEW BEST:: SOT 3271727 SOS 1080377 HAS SOPS 1080377 HAS SOUS 389495 HAS SOUPS 389495 WITH SCORE 390575.377
AT ITER 2588 NEW BEST:: SOT 3271838 SOS 1080599 HAS SOPS 1080599 HAS SOUS 389427 HAS SOUPS 389427 WITH SCORE 390507.599
AT ITER 2596 NEW BEST:: SOT 3271834 SOS 1080591 HAS SOPS 1080591 HAS SOUS 389419 HAS SOUPS 389419 WITH SCORE 390499.591
AT ITER 2598 NEW BEST:: SOT 3271834 SOS 1080564 HAS SOPS 1080564 HAS SOUS 389365 HAS SOUPS 389365 WITH SCORE 390445.564
AT ITER 2658 NEW BEST:: SOT 3271714 SOS 1080390 HAS SOPS 1080390 HAS SOUS 389310 HAS SOUPS 389310 WITH SCORE 390390.39
AT ITER 2662 NEW BEST:: SOT 3271714 SOS 1080339 HAS SOPS 1080339 HAS SOUS 389259 HAS SOUPS 389259 WITH SCORE 390339.339
AT ITER 2664 NEW BEST:: SOT 3271584 SOS 1080339 HAS SOPS 1080339 HAS SOUS 389243 HAS SOUPS 389243 WITH SCORE 390323.339
AT ITER 2668 NEW BEST:: SOT 3271578 SOS 1080327 HAS SOPS 1080327 HAS SOUS 389231 HAS SOUPS 389231 WITH SCORE 390311.327
AT ITER 2676 NEW BEST:: SOT 3271237 SOS 1079834 HAS SOPS 1079834 HAS SOUS 388701 HAS SOUPS 388701 WITH SCORE 389780.834
AT ITER 2678 NEW BEST:: SOT 3271237 SOS 1079573 HAS SOPS 1079573 HAS SOUS 388701 HAS SOUPS 388701 WITH SCORE 389780.573
AT ITER 2681 NEW BEST:: SOT 3271168 SOS 1079435 HAS SOPS 1079435 HAS SOUS 388632 HAS SOUPS 388632 WITH SCORE 389711.435
AT ITER 2726 NEW BEST:: SOT 3271145 SOS 1079412 HAS SOPS 1079412 HAS SOUS 388609 HAS SOUPS 388609 WITH SCORE 389688.412
AT ITER 2727 NEW BEST:: SOT 3271036 SOS 1079412 HAS SOPS 1079412 HAS SOUS 388500 HAS SOUPS 388500 WITH SCORE 389579.412
AT ITER 2734 NEW BEST:: SOT 3270850 SOS 1079040 HAS SOPS 1079040 HAS SOUS 388302 HAS SOUPS 388302 WITH SCORE 389381.04
AT ITER 2737 NEW BEST:: SOT 3270850 SOS 1079040 HAS SOPS 1079040 HAS SOUS 388299 HAS SOUPS 388299 WITH SCORE 389378.04
AT ITER 2773 NEW BEST:: SOT 3270850 SOS 1079005 HAS SOPS 1079005 HAS SOUS 388264 HAS SOUPS 388264 WITH SCORE 389343.005
AT ITER 2787 NEW BEST:: SOT 3270850 SOS 1078714 HAS SOPS 1078714 HAS SOUS 388206 HAS SOUPS 388206 WITH SCORE 389284.714
AT ITER 2790 NEW BEST:: SOT 3270665 SOS 1078344 HAS SOPS 1078344 HAS SOUS 387836 HAS SOUPS 387836 WITH SCORE 388914.344
AT ITER 2803 NEW BEST:: SOT 3270643 SOS 1078323 HAS SOPS 1078323 HAS SOUS 387769 HAS SOUPS 387769 WITH SCORE 388847.323
AT ITER 2813 NEW BEST:: SOT 3270643 SOS 1078323 HAS SOPS 1078323 HAS SOUS 387703 HAS SOUPS 387703 WITH SCORE 388781.323
AT ITER 2822 NEW BEST:: SOT 3270532 SOS 1078101 HAS SOPS 1078101 HAS SOUS 387698 HAS SOUPS 387698 WITH SCORE 388776.101
AT ITER 2826 NEW BEST:: SOT 3270532 SOS 1078101 HAS SOPS 1078101 HAS SOUS 387655 HAS SOUPS 387655 WITH SCORE 388733.101
AT ITER 2827 NEW BEST:: SOT 3270521 SOS 1078021 HAS SOPS 1078021 HAS SOUS 387570 HAS SOUPS 387570 WITH SCORE 388648.021
AT ITER 2829 NEW BEST:: SOT 3270457 SOS 1077807 HAS SOPS 1077807 HAS SOUS 387420 HAS SOUPS 387420 WITH SCORE 388497.807
AT ITER 2837 NEW BEST:: SOT 3270143 SOS 1078156 HAS SOPS 1078156 HAS SOUS 387333 HAS SOUPS 387333 WITH SCORE 388411.156
AT ITER 2839 NEW BEST:: SOT 3270174 SOS 1078218 HAS SOPS 1078218 HAS SOUS 387258 HAS SOUPS 387258 WITH SCORE 388336.218
AT ITER 2840 NEW BEST:: SOT 3269780 SOS 1078006 HAS SOPS 1078006 HAS SOUS 386864 HAS SOUPS 386864 WITH SCORE 387942.006
AT ITER 2841 NEW BEST:: SOT 3269879 SOS 1078165 HAS SOPS 1078165 HAS SOUS 386633 HAS SOUPS 386633 WITH SCORE 387711.165
AT ITER 2845 NEW BEST:: SOT 3269879 SOS 1078148 HAS SOPS 1078148 HAS SOUS 386592 HAS SOUPS 386592 WITH SCORE 387670.148
AT ITER 2860 NEW BEST:: SOT 3269857 SOS 1078104 HAS SOPS 1078104 HAS SOUS 386548 HAS SOUPS 386548 WITH SCORE 387626.104
AT ITER 2866 NEW BEST:: SOT 3269857 SOS 1078164 HAS SOPS 1078164 HAS SOUS 386491 HAS SOUPS 386491 WITH SCORE 387569.164
AT ITER 2867 NEW BEST:: SOT 3269854 SOS 1078161 HAS SOPS 1078161 HAS SOUS 386487 HAS SOUPS 386487 WITH SCORE 387565.161
AT ITER 2876 NEW BEST:: SOT 3269770 SOS 1077993 HAS SOPS 1077993 HAS SOUS 386458 HAS SOUPS 386458 WITH SCORE 387535.993
AT ITER 2895 NEW BEST:: SOT 3269692 SOS 1077613 HAS SOPS 1077613 HAS SOUS 386380 HAS SOUPS 386380 WITH SCORE 387457.613
AT ITER 2931 NEW BEST:: SOT 3269700 SOS 1077629 HAS SOPS 1077629 HAS SOUS 386370 HAS SOUPS 386370 WITH SCORE 387447.629
AT ITER 2955 NEW BEST:: SOT 3269682 SOS 1077584 HAS SOPS 1077584 HAS SOUS 386334 HAS SOUPS 386334 WITH SCORE 387411.584
AT ITER 2964 NEW BEST:: SOT 3269583 SOS 1077310 HAS SOPS 1077310 HAS SOUS 386264 HAS SOUPS 386264 WITH SCORE 387341.31
AT ITER 2975 NEW BEST:: SOT 3269621 SOS 1077648 HAS SOPS 1077648 HAS SOUS 386232 HAS SOUPS 386232 WITH SCORE 387309.648
AT ITER 2976 NEW BEST:: SOT 3269548 SOS 1077642 HAS SOPS 1077642 HAS SOUS 386202 HAS SOUPS 386202 WITH SCORE 387279.642
AT ITER 2984 NEW BEST:: SOT 3269463 SOS 1077472 HAS SOPS 1077472 HAS SOUS 386032 HAS SOUPS 386032 WITH SCORE 387109.472
AT ITER 2993 NEW BEST:: SOT 3269436 SOS 1077463 HAS SOPS 1077463 HAS SOUS 386014 HAS SOUPS 386014 WITH SCORE 387091.463
AT ITER 3009 NEW BEST:: SOT 3269564 SOS 1077719 HAS SOPS 1077719 HAS SOUS 385961 HAS SOUPS 385961 WITH SCORE 387038.719
AT ITER 3017 NEW BEST:: SOT 3269433 SOS 1077225 HAS SOPS 1077225 HAS SOUS 385626 HAS SOUPS 385626 WITH SCORE 386703.225
AT ITER 3022 NEW BEST:: SOT 3269266 SOS 1076815 HAS SOPS 1076815 HAS SOUS 385609 HAS SOUPS 385609 WITH SCORE 386685.815
AT ITER 3033 NEW BEST:: SOT 3269131 SOS 1076770 HAS SOPS 1076770 HAS SOUS 385519 HAS SOUPS 385519 WITH SCORE 386595.77
AT ITER 3041 NEW BEST:: SOT 3269176 SOS 1076860 HAS SOPS 1076860 HAS SOUS 385392 HAS SOUPS 385392 WITH SCORE 386468.86
AT ITER 3049 NEW BEST:: SOT 3269176 SOS 1076777 HAS SOPS 1076777 HAS SOUS 385309 HAS SOUPS 385309 WITH SCORE 386385.777
AT ITER 3051 NEW BEST:: SOT 3269176 SOS 1076833 HAS SOPS 1076833 HAS SOUS 385274 HAS SOUPS 385274 WITH SCORE 386350.833
AT ITER 3055 NEW BEST:: SOT 3269295 SOS 1076877 HAS SOPS 1076877 HAS SOUS 385041 HAS SOUPS 385041 WITH SCORE 386117.877
AT ITER 3060 NEW BEST:: SOT 3269282 SOS 1076864 HAS SOPS 1076864 HAS SOUS 385028 HAS SOUPS 385028 WITH SCORE 386104.864
AT ITER 3066 NEW BEST:: SOT 3269241 SOS 1076782 HAS SOPS 1076782 HAS SOUS 384798 HAS SOUPS 384798 WITH SCORE 385874.782
AT ITER 3069 NEW BEST:: SOT 3269126 SOS 1076584 HAS SOPS 1076584 HAS SOUS 384715 HAS SOUPS 384715 WITH SCORE 385791.584
AT ITER 3074 NEW BEST:: SOT 3269096 SOS 1076524 HAS SOPS 1076524 HAS SOUS 384595 HAS SOUPS 384595 WITH SCORE 385671.524
AT ITER 3082 NEW BEST:: SOT 3269064 SOS 1076508 HAS SOPS 1076508 HAS SOUS 384563 HAS SOUPS 384563 WITH SCORE 385639.508
AT ITER 3121 NEW BEST:: SOT 3268998 SOS 1076442 HAS SOPS 1076442 HAS SOUS 384504 HAS SOUPS 384504 WITH SCORE 385580.442
AT ITER 3158 NEW BEST:: SOT 3268946 SOS 1076442 HAS SOPS 1076442 HAS SOUS 384400 HAS SOUPS 384400 WITH SCORE 385476.442
AT ITER 3160 NEW BEST:: SOT 3268831 SOS 1076327 HAS SOPS 1076327 HAS SOUS 384339 HAS SOUPS 384339 WITH SCORE 385415.327
AT ITER 3209 NEW BEST:: SOT 3268819 SOS 1076519 HAS SOPS 1076519 HAS SOUS 384261 HAS SOUPS 384261 WITH SCORE 385337.519
AT ITER 3244 NEW BEST:: SOT 3268819 SOS 1076572 HAS SOPS 1076572 HAS SOUS 384049 HAS SOUPS 384049 WITH SCORE 385125.572
AT ITER 3275 NEW BEST:: SOT 3268801 SOS 1076527 HAS SOPS 1076527 HAS SOUS 384031 HAS SOUPS 384031 WITH SCORE 385107.527
AT ITER 3289 NEW BEST:: SOT 3268764 SOS 1076417 HAS SOPS 1076417 HAS SOUS 383921 HAS SOUPS 383921 WITH SCORE 384997.417
AT ITER 3291 NEW BEST:: SOT 3268764 SOS 1076375 HAS SOPS 1076375 HAS SOUS 383918 HAS SOUPS 383918 WITH SCORE 384994.375
AT ITER 3292 NEW BEST:: SOT 3268764 SOS 1076336 HAS SOPS 1076336 HAS SOUS 383822 HAS SOUPS 383822 WITH SCORE 384898.336
AT ITER 3293 NEW BEST:: SOT 3268679 SOS 1075950 HAS SOPS 1075950 HAS SOUS 383737 HAS SOUPS 383737 WITH SCORE 384812.95
AT ITER 3295 NEW BEST:: SOT 3268794 SOS 1076021 HAS SOPS 1076021 HAS SOUS 383693 HAS SOUPS 383693 WITH SCORE 384769.021
AT ITER 3311 NEW BEST:: SOT 3268606 SOS 1075927 HAS SOPS 1075927 HAS SOUS 383505 HAS SOUPS 383505 WITH SCORE 384580.927
AT ITER 3312 NEW BEST:: SOT 3268615 SOS 1075918 HAS SOPS 1075918 HAS SOUS 383505 HAS SOUPS 383505 WITH SCORE 384580.918
AT ITER 3314 NEW BEST:: SOT 3268615 SOS 1075784 HAS SOPS 1075784 HAS SOUS 383150 HAS SOUPS 383150 WITH SCORE 384225.784
AT ITER 3365 NEW BEST:: SOT 3268553 SOS 1075660 HAS SOPS 1075660 HAS SOUS 383026 HAS SOUPS 383026 WITH SCORE 384101.66
AT ITER 3366 NEW BEST:: SOT 3268553 SOS 1075818 HAS SOPS 1075818 HAS SOUS 382818 HAS SOUPS 382818 WITH SCORE 383893.818
AT ITER 3379 NEW BEST:: SOT 3268406 SOS 1075719 HAS SOPS 1075719 HAS SOUS 382671 HAS SOUPS 382671 WITH SCORE 383746.719
AT ITER 3405 NEW BEST:: SOT 3268305 SOS 1075517 HAS SOPS 1075517 HAS SOUS 382469 HAS SOUPS 382469 WITH SCORE 383544.517
AT ITER 3436 NEW BEST:: SOT 3268311 SOS 1063754 HAS SOPS 1063754 HAS SOUS 382431 HAS SOUPS 382431 WITH SCORE 383494.754
AT ITER 3461 NEW BEST:: SOT 3267189 SOS 1069243 HAS SOPS 1069243 HAS SOUS 381814 HAS SOUPS 381814 WITH SCORE 382883.243
AT ITER 3469 NEW BEST:: SOT 3267198 SOS 1069261 HAS SOPS 1069261 HAS SOUS 381504 HAS SOUPS 381504 WITH SCORE 382573.261
AT ITER 3476 NEW BEST:: SOT 3267189 SOS 1069243 HAS SOPS 1069243 HAS SOUS 381486 HAS SOUPS 381486 WITH SCORE 382555.243
AT ITER 3490 NEW BEST:: SOT 3267189 SOS 1069243 HAS SOPS 1069243 HAS SOUS 381429 HAS SOUPS 381429 WITH SCORE 382498.243
AT ITER 3491 NEW BEST:: SOT 3267179 SOS 1069213 HAS SOPS 1069213 HAS SOUS 381418 HAS SOUPS 381418 WITH SCORE 382487.213
AT ITER 3498 NEW BEST:: SOT 3267159 SOS 1069173 HAS SOPS 1069173 HAS SOUS 381378 HAS SOUPS 381378 WITH SCORE 382447.173
AT ITER 3500 NEW BEST:: SOT 3267153 SOS 1069161 HAS SOPS 1069161 HAS SOUS 381366 HAS SOUPS 381366 WITH SCORE 382435.161
AT ITER 3517 NEW BEST:: SOT 3267055 SOS 1068965 HAS SOPS 1068965 HAS SOUS 381282 HAS SOUPS 381282 WITH SCORE 382350.965
AT ITER 3546 NEW BEST:: SOT 3266805 SOS 1068965 HAS SOPS 1068965 HAS SOUS 381157 HAS SOUPS 381157 WITH SCORE 382225.965
AT ITER 3573 NEW BEST:: SOT 3266805 SOS 1068965 HAS SOPS 1068965 HAS SOUS 381154 HAS SOUPS 381154 WITH SCORE 382222.965
AT ITER 3574 NEW BEST:: SOT 3266805 SOS 1068830 HAS SOPS 1068830 HAS SOUS 381154 HAS SOUPS 381154 WITH SCORE 382222.83
AT ITER 3600 NEW BEST:: SOT 3266661 SOS 1068758 HAS SOPS 1068758 HAS SOUS 381010 HAS SOUPS 381010 WITH SCORE 382078.758
AT ITER 3613 NEW BEST:: SOT 3266759 SOS 1068154 HAS SOPS 1068154 HAS SOUS 380968 HAS SOUPS 380968 WITH SCORE 382036.154
AT ITER 3622 NEW BEST:: SOT 3266757 SOS 1068227 HAS SOPS 1068227 HAS SOUS 380952 HAS SOUPS 380952 WITH SCORE 382020.227
AT ITER 3627 NEW BEST:: SOT 3266744 SOS 1068190 HAS SOPS 1068190 HAS SOUS 380926 HAS SOUPS 380926 WITH SCORE 381994.19
AT ITER 3633 NEW BEST:: SOT 3266700 SOS 1068102 HAS SOPS 1068102 HAS SOUS 380838 HAS SOUPS 380838 WITH SCORE 381906.102
AT ITER 3639 NEW BEST:: SOT 3266631 SOS 1068416 HAS SOPS 1068416 HAS SOUS 380587 HAS SOUPS 380587 WITH SCORE 381655.416
AT ITER 3642 NEW BEST:: SOT 3265666 SOS 1074029 HAS SOPS 1074029 HAS SOUS 379962 HAS SOUPS 379962 WITH SCORE 381036.029
AT ITER 3650 NEW BEST:: SOT 3265667 SOS 1074029 HAS SOPS 1074029 HAS SOUS 379960 HAS SOUPS 379960 WITH SCORE 381034.029
AT ITER 3678 NEW BEST:: SOT 3265668 SOS 1073766 HAS SOPS 1073766 HAS SOUS 379908 HAS SOUPS 379908 WITH SCORE 380981.766
AT ITER 3683 NEW BEST:: SOT 3265618 SOS 1074586 HAS SOPS 1074586 HAS SOUS 379858 HAS SOUPS 379858 WITH SCORE 380932.586
AT ITER 3689 NEW BEST:: SOT 3265612 SOS 1074904 HAS SOPS 1074904 HAS SOUS 373745 HAS SOUPS 373745 WITH SCORE 374819.904
AT ITER 3697 NEW BEST:: SOT 3265604 SOS 1074664 HAS SOPS 1074664 HAS SOUS 373448 HAS SOUPS 373448 WITH SCORE 374522.664
AT ITER 3719 NEW BEST:: SOT 3265604 SOS 1074861 HAS SOPS 1074861 HAS SOUS 373321 HAS SOUPS 373321 WITH SCORE 374395.861
AT ITER 3723 NEW BEST:: SOT 3265372 SOS 1074761 HAS SOPS 1074761 HAS SOUS 373148 HAS SOUPS 373148 WITH SCORE 374222.761
AT ITER 3724 NEW BEST:: SOT 3265372 SOS 1092533 HAS SOPS 1092533 HAS SOUS 373117 HAS SOUPS 373117 WITH SCORE 374209.533
AT ITER 3727 NEW BEST:: SOT 3265358 SOS 1092503 HAS SOPS 1092503 HAS SOUS 373103 HAS SOUPS 373103 WITH SCORE 374195.503
AT ITER 3730 NEW BEST:: SOT 3265350 SOS 1092427 HAS SOPS 1092427 HAS SOUS 373095 HAS SOUPS 373095 WITH SCORE 374187.427
AT ITER 3758 NEW BEST:: SOT 3265239 SOS 1092429 HAS SOPS 1092429 HAS SOUS 373046 HAS SOUPS 373046 WITH SCORE 374138.429
AT ITER 3759 NEW BEST:: SOT 3265123 SOS 1092197 HAS SOPS 1092197 HAS SOUS 372814 HAS SOUPS 372814 WITH SCORE 373906.197
AT ITER 3762 NEW BEST:: SOT 3264816 SOS 1091934 HAS SOPS 1091934 HAS SOUS 372551 HAS SOUPS 372551 WITH SCORE 373642.934
AT ITER 3765 NEW BEST:: SOT 3264837 SOS 1091636 HAS SOPS 1091636 HAS SOUS 372540 HAS SOUPS 372540 WITH SCORE 373631.636
AT ITER 3770 NEW BEST:: SOT 3264891 SOS 1096510 HAS SOPS 1096510 HAS SOUS 372411 HAS SOUPS 372411 WITH SCORE 373507.51
AT ITER 3807 NEW BEST:: SOT 3265209 SOS 1096827 HAS SOPS 1096827 HAS SOUS 372410 HAS SOUPS 372410 WITH SCORE 373506.827
AT ITER 3847 NEW BEST:: SOT 3265119 SOS 1096647 HAS SOPS 1096647 HAS SOUS 372320 HAS SOUPS 372320 WITH SCORE 373416.647
AT ITER 3867 NEW BEST:: SOT 3265065 SOS 1096612 HAS SOPS 1096612 HAS SOUS 372285 HAS SOUPS 372285 WITH SCORE 373381.612
AT ITER 3875 NEW BEST:: SOT 3265101 SOS 1096632 HAS SOPS 1096632 HAS SOUS 372253 HAS SOUPS 372253 WITH SCORE 373349.632
AT ITER 3901 NEW BEST:: SOT 3265128 SOS 1096605 HAS SOPS 1096605 HAS SOUS 372226 HAS SOUPS 372226 WITH SCORE 373322.605
AT ITER 3927 NEW BEST:: SOT 3265128 SOS 1096638 HAS SOPS 1096638 HAS SOUS 372225 HAS SOUPS 372225 WITH SCORE 373321.638
AT ITER 3930 NEW BEST:: SOT 3265239 SOS 1096611 HAS SOPS 1096611 HAS SOUS 371995 HAS SOUPS 371995 WITH SCORE 373091.611
AT ITER 3934 NEW BEST:: SOT 3264982 SOS 1096325 HAS SOPS 1096325 HAS SOUS 371812 HAS SOUPS 371812 WITH SCORE 372908.325
AT ITER 3935 NEW BEST:: SOT 3264720 SOS 1096260 HAS SOPS 1096260 HAS SOUS 371541 HAS SOUPS 371541 WITH SCORE 372637.26
AT ITER 3939 NEW BEST:: SOT 3264698 SOS 1096216 HAS SOPS 1096216 HAS SOUS 371497 HAS SOUPS 371497 WITH SCORE 372593.216
AT ITER 3941 NEW BEST:: SOT 3264646 SOS 1096190 HAS SOPS 1096190 HAS SOUS 371445 HAS SOUPS 371445 WITH SCORE 372541.19
AT ITER 3942 NEW BEST:: SOT 3264640 SOS 1096468 HAS SOPS 1096468 HAS SOUS 371364 HAS SOUPS 371364 WITH SCORE 372460.468
AT ITER 3950 NEW BEST:: SOT 3264640 SOS 1096468 HAS SOPS 1096468 HAS SOUS 371281 HAS SOUPS 371281 WITH SCORE 372377.468
AT ITER 3955 NEW BEST:: SOT 3264640 SOS 1096418 HAS SOPS 1096418 HAS SOUS 371231 HAS SOUPS 371231 WITH SCORE 372327.418
AT ITER 3966 NEW BEST:: SOT 3264562 SOS 1096262 HAS SOPS 1096262 HAS SOUS 371075 HAS SOUPS 371075 WITH SCORE 372171.262
AT ITER 3972 NEW BEST:: SOT 3264670 SOS 1096302 HAS SOPS 1096302 HAS SOUS 370985 HAS SOUPS 370985 WITH SCORE 372081.302
AT ITER 4003 NEW BEST:: SOT 3264623 SOS 1096208 HAS SOPS 1096208 HAS SOUS 370891 HAS SOUPS 370891 WITH SCORE 371987.208
AT ITER 4042 NEW BEST:: SOT 3264611 SOS 1096196 HAS SOPS 1096196 HAS SOUS 370879 HAS SOUPS 370879 WITH SCORE 371975.196
AT ITER 4092 NEW BEST:: SOT 3264577 SOS 1096128 HAS SOPS 1096128 HAS SOUS 370811 HAS SOUPS 370811 WITH SCORE 371907.128
AT ITER 4097 NEW BEST:: SOT 3264577 SOS 1096128 HAS SOPS 1096128 HAS SOUS 370653 HAS SOUPS 370653 WITH SCORE 371749.128
AT ITER 4106 NEW BEST:: SOT 3263985 SOS 1095592 HAS SOPS 1095592 HAS SOUS 369845 HAS SOUPS 369845 WITH SCORE 370940.592
AT ITER 4142 NEW BEST:: SOT 3263985 SOS 1095513 HAS SOPS 1095513 HAS SOUS 369845 HAS SOUPS 369845 WITH SCORE 370940.513
AT ITER 4146 NEW BEST:: SOT 3263700 SOS 1095703 HAS SOPS 1095703 HAS SOUS 369655 HAS SOUPS 369655 WITH SCORE 370750.703
AT ITER 4159 NEW BEST:: SOT 3263661 SOS 1095664 HAS SOPS 1095664 HAS SOUS 369616 HAS SOUPS 369616 WITH SCORE 370711.664
AT ITER 4174 NEW BEST:: SOT 3263715 SOS 1095718 HAS SOPS 1095718 HAS SOUS 369503 HAS SOUPS 369503 WITH SCORE 370598.718
AT ITER 4177 NEW BEST:: SOT 3263709 SOS 1095706 HAS SOPS 1095706 HAS SOUS 369503 HAS SOUPS 369503 WITH SCORE 370598.706
AT ITER 4181 NEW BEST:: SOT 3263709 SOS 1095706 HAS SOPS 1095706 HAS SOUS 369278 HAS SOUPS 369278 WITH SCORE 370373.706
AT ITER 4196 NEW BEST:: SOT 3263709 SOS 1095706 HAS SOPS 1095706 HAS SOUS 369246 HAS SOUPS 369246 WITH SCORE 370341.706
AT ITER 4197 NEW BEST:: SOT 3262208 SOS 1094255 HAS SOPS 1094255 HAS SOUS 368466 HAS SOUPS 368466 WITH SCORE 369560.255
AT ITER 4205 NEW BEST:: SOT 3262208 SOS 1094002 HAS SOPS 1094002 HAS SOUS 368466 HAS SOUPS 368466 WITH SCORE 369560.002
AT ITER 4227 NEW BEST:: SOT 3262157 SOS 1093987 HAS SOPS 1093987 HAS SOUS 368454 HAS SOUPS 368454 WITH SCORE 369547.987
AT ITER 4231 NEW BEST:: SOT 3262051 SOS 1093643 HAS SOPS 1093643 HAS SOUS 367996 HAS SOUPS 367996 WITH SCORE 369089.643
AT ITER 4248 NEW BEST:: SOT 3260177 SOS 1098670 HAS SOPS 1098670 HAS SOUS 367806 HAS SOUPS 367806 WITH SCORE 368904.67
AT ITER 4264 NEW BEST:: SOT 3260165 SOS 1098655 HAS SOPS 1098655 HAS SOUS 367794 HAS SOUPS 367794 WITH SCORE 368892.655
AT ITER 4268 NEW BEST:: SOT 3260039 SOS 1098403 HAS SOPS 1098403 HAS SOUS 367792 HAS SOUPS 367792 WITH SCORE 368890.403
AT ITER 4277 NEW BEST:: SOT 3259966 SOS 1098257 HAS SOPS 1098257 HAS SOUS 367646 HAS SOUPS 367646 WITH SCORE 368744.257
AT ITER 4286 NEW BEST:: SOT 3259832 SOS 1098451 HAS SOPS 1098451 HAS SOUS 367549 HAS SOUPS 367549 WITH SCORE 368647.451
AT ITER 4289 NEW BEST:: SOT 3259832 SOS 1098515 HAS SOPS 1098515 HAS SOUS 367453 HAS SOUPS 367453 WITH SCORE 368551.515
AT ITER 4320 NEW BEST:: SOT 3259765 SOS 1098208 HAS SOPS 1098208 HAS SOUS 367146 HAS SOUPS 367146 WITH SCORE 368244.208
AT ITER 4333 NEW BEST:: SOT 3259765 SOS 1098208 HAS SOPS 1098208 HAS SOUS 367085 HAS SOUPS 367085 WITH SCORE 368183.208
AT ITER 4334 NEW BEST:: SOT 3259576 SOS 1097830 HAS SOPS 1097830 HAS SOUS 366707 HAS SOUPS 366707 WITH SCORE 367804.83
AT ITER 4373 NEW BEST:: SOT 3259380 SOS 1097385 HAS SOPS 1097385 HAS SOUS 366610 HAS SOUPS 366610 WITH SCORE 367707.385
AT ITER 4384 NEW BEST:: SOT 3258924 SOS 1096929 HAS SOPS 1096929 HAS SOUS 366327 HAS SOUPS 366327 WITH SCORE 367423.929
AT ITER 4394 NEW BEST:: SOT 3258943 SOS 1096795 HAS SOPS 1096795 HAS SOUS 366310 HAS SOUPS 366310 WITH SCORE 367406.795
AT ITER 4400 NEW BEST:: SOT 3258943 SOS 1096795 HAS SOPS 1096795 HAS SOUS 366193 HAS SOUPS 366193 WITH SCORE 367289.795
AT ITER 4405 NEW BEST:: SOT 3258943 SOS 1096789 HAS SOPS 1096789 HAS SOUS 366193 HAS SOUPS 366193 WITH SCORE 367289.789
AT ITER 4423 NEW BEST:: SOT 3258943 SOS 1096667 HAS SOPS 1096667 HAS SOUS 366122 HAS SOUPS 366122 WITH SCORE 367218.667
AT ITER 4429 NEW BEST:: SOT 3258694 SOS 1096169 HAS SOPS 1096169 HAS SOUS 365735 HAS SOUPS 365735 WITH SCORE 366831.169
AT ITER 4433 NEW BEST:: SOT 3258694 SOS 1096169 HAS SOPS 1096169 HAS SOUS 365692 HAS SOUPS 365692 WITH SCORE 366788.169
AT ITER 4438 NEW BEST:: SOT 3258694 SOS 1096088 HAS SOPS 1096088 HAS SOUS 365611 HAS SOUPS 365611 WITH SCORE 366707.088
AT ITER 4473 NEW BEST:: SOT 3258603 SOS 1095997 HAS SOPS 1095997 HAS SOUS 365520 HAS SOUPS 365520 WITH SCORE 366615.997
AT ITER 4500 NEW BEST:: SOT 3258614 SOS 1096019 HAS SOPS 1096019 HAS SOUS 365382 HAS SOUPS 365382 WITH SCORE 366478.019
AT ITER 4509 NEW BEST:: SOT 3258440 SOS 1099077 HAS SOPS 1099077 HAS SOUS 365214 HAS SOUPS 365214 WITH SCORE 366313.077
AT ITER 4527 NEW BEST:: SOT 3258256 SOS 1098682 HAS SOPS 1098682 HAS SOUS 365184 HAS SOUPS 365184 WITH SCORE 366282.682
AT ITER 4544 NEW BEST:: SOT 3257424 SOS 1098590 HAS SOPS 1098590 HAS SOUS 364603 HAS SOUPS 364603 WITH SCORE 365701.59
AT ITER 4545 NEW BEST:: SOT 3257366 SOS 1098474 HAS SOPS 1098474 HAS SOUS 364545 HAS SOUPS 364545 WITH SCORE 365643.474
AT ITER 4590 NEW BEST:: SOT 3257070 SOS 1098392 HAS SOPS 1098392 HAS SOUS 364293 HAS SOUPS 364293 WITH SCORE 365391.392
AT ITER 4595 NEW BEST:: SOT 3257048 SOS 1098267 HAS SOPS 1098267 HAS SOUS 364249 HAS SOUPS 364249 WITH SCORE 365347.267
AT ITER 4606 NEW BEST:: SOT 3256996 SOS 1098163 HAS SOPS 1098163 HAS SOUS 364117 HAS SOUPS 364117 WITH SCORE 365215.163
AT ITER 4613 NEW BEST:: SOT 3256903 SOS 1097977 HAS SOPS 1097977 HAS SOUS 364024 HAS SOUPS 364024 WITH SCORE 365121.977
AT ITER 4625 NEW BEST:: SOT 3256853 SOS 1097877 HAS SOPS 1097877 HAS SOUS 363964 HAS SOUPS 363964 WITH SCORE 365061.877
AT ITER 4639 NEW BEST:: SOT 3256750 SOS 1097802 HAS SOPS 1097802 HAS SOUS 363078 HAS SOUPS 363078 WITH SCORE 364175.802
AT ITER 4643 NEW BEST:: SOT 3256699 SOS 1097900 HAS SOPS 1097900 HAS SOUS 363026 HAS SOUPS 363026 WITH SCORE 364123.9
AT ITER 4648 NEW BEST:: SOT 3256555 SOS 1097709 HAS SOPS 1097709 HAS SOUS 362540 HAS SOUPS 362540 WITH SCORE 363637.709
AT ITER 4652 NEW BEST:: SOT 3256429 SOS 1097961 HAS SOPS 1097961 HAS SOUS 362414 HAS SOUPS 362414 WITH SCORE 363511.961
AT ITER 4653 NEW BEST:: SOT 3256396 SOS 1097932 HAS SOPS 1097932 HAS SOUS 362385 HAS SOUPS 362385 WITH SCORE 363482.932
AT ITER 4668 NEW BEST:: SOT 3256388 SOS 1097916 HAS SOPS 1097916 HAS SOUS 362369 HAS SOUPS 362369 WITH SCORE 363466.916
AT ITER 4679 NEW BEST:: SOT 3256388 SOS 1097878 HAS SOPS 1097878 HAS SOUS 362221 HAS SOUPS 362221 WITH SCORE 363318.878
AT ITER 4689 NEW BEST:: SOT 3256374 SOS 1097850 HAS SOPS 1097850 HAS SOUS 362179 HAS SOUPS 362179 WITH SCORE 363276.85
AT ITER 4702 NEW BEST:: SOT 3256122 SOS 1097346 HAS SOPS 1097346 HAS SOUS 361931 HAS SOUPS 361931 WITH SCORE 363028.346
AT ITER 4732 NEW BEST:: SOT 3256124 SOS 1097550 HAS SOPS 1097550 HAS SOUS 361929 HAS SOUPS 361929 WITH SCORE 363026.55
AT ITER 4746 NEW BEST:: SOT 3255800 SOS 1097475 HAS SOPS 1097475 HAS SOUS 361626 HAS SOUPS 361626 WITH SCORE 362723.475
AT ITER 4771 NEW BEST:: SOT 3255800 SOS 1097475 HAS SOPS 1097475 HAS SOUS 361612 HAS SOUPS 361612 WITH SCORE 362709.475
AT ITER 4791 NEW BEST:: SOT 3255798 SOS 1097467 HAS SOPS 1097467 HAS SOUS 361606 HAS SOUPS 361606 WITH SCORE 362703.467
AT ITER 4803 NEW BEST:: SOT 3255780 SOS 1097431 HAS SOPS 1097431 HAS SOUS 361570 HAS SOUPS 361570 WITH SCORE 362667.431
AT ITER 4826 NEW BEST:: SOT 3255729 SOS 1097380 HAS SOPS 1097380 HAS SOUS 361570 HAS SOUPS 361570 WITH SCORE 362667.38
AT ITER 4833 NEW BEST:: SOT 3255572 SOS 1097066 HAS SOPS 1097066 HAS SOUS 361256 HAS SOUPS 361256 WITH SCORE 362353.066
AT ITER 4839 NEW BEST:: SOT 3255572 SOS 1097037 HAS SOPS 1097037 HAS SOUS 361245 HAS SOUPS 361245 WITH SCORE 362342.037
AT ITER 4869 NEW BEST:: SOT 3255506 SOS 1096905 HAS SOPS 1096905 HAS SOUS 361113 HAS SOUPS 361113 WITH SCORE 362209.905
AT ITER 4875 NEW BEST:: SOT 3254570 SOS 1097067 HAS SOPS 1097067 HAS SOUS 360767 HAS SOUPS 360767 WITH SCORE 361864.067
AT ITER 4881 NEW BEST:: SOT 3234783 SOS 1286292 HAS SOPS 1286292 HAS SOUS 359983 HAS SOUPS 359983 WITH SCORE 361269.292
AT ITER 4886 NEW BEST:: SOT 3234766 SOS 1286258 HAS SOPS 1286258 HAS SOUS 359966 HAS SOUPS 359966 WITH SCORE 361252.258
AT ITER 4888 NEW BEST:: SOT 3234705 SOS 1286197 HAS SOPS 1286197 HAS SOUS 359801 HAS SOUPS 359801 WITH SCORE 361087.197
AT ITER 4912 NEW BEST:: SOT 3234721 SOS 1286229 HAS SOPS 1286229 HAS SOUS 359698 HAS SOUPS 359698 WITH SCORE 360984.229
AT ITER 4915 NEW BEST:: SOT 3234721 SOS 1286329 HAS SOPS 1286329 HAS SOUS 359625 HAS SOUPS 359625 WITH SCORE 360911.329
AT ITER 4924 NEW BEST:: SOT 3234411 SOS 1286119 HAS SOPS 1286119 HAS SOUS 359262 HAS SOUPS 359262 WITH SCORE 360548.119
AT ITER 4934 NEW BEST:: SOT 3234133 SOS 1286083 HAS SOPS 1286083 HAS SOUS 359210 HAS SOUPS 359210 WITH SCORE 360496.083
AT ITER 4945 NEW BEST:: SOT 3234080 SOS 1286155 HAS SOPS 1286155 HAS SOUS 359157 HAS SOUPS 359157 WITH SCORE 360443.155
AT ITER 4952 NEW BEST:: SOT 3234065 SOS 1284841 HAS SOPS 1284841 HAS SOUS 358913 HAS SOUPS 358913 WITH SCORE 360197.841
AT ITER 4966 NEW BEST:: SOT 3233946 SOS 1284603 HAS SOPS 1284603 HAS SOUS 358794 HAS SOUPS 358794 WITH SCORE 360078.603
AT ITER 4967 NEW BEST:: SOT 3233729 SOS 1284362 HAS SOPS 1284362 HAS SOUS 358553 HAS SOUPS 358553 WITH SCORE 359837.362
AT ITER 4973 NEW BEST:: SOT 3233237 SOS 1076124 HAS SOPS 1076124 HAS SOUS 356761 HAS SOUPS 356761 WITH SCORE 357837.124
AT ITER 4982 NEW BEST:: SOT 3233235 SOS 1076122 HAS SOPS 1076122 HAS SOUS 356759 HAS SOUPS 356759 WITH SCORE 357835.122
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: CloudDeployment-PT-5b-CTLCardinality-00 ( (! ( (! ( potential( ( 2 ) <= (tk(P1239)) ) | potential( (tk(P262)) <= (tk(P1081)) ) )) | ( potential( ( 2 ) <= (tk(P1259)) ) | potential( ( 1 ) <= (tk(P792)) ) ) )) & (AX( (EG( potential( (tk(P1266)) <= (tk(P453)) ))))) )
PROPERTY: CloudDeployment-PT-5b-CTLCardinality-01 (! (! (EU( potential( (tk(P873)) <= (tk(P1113)) ),potential( ( 1 ) <= (tk(P905)) ) ))))
PROPERTY: CloudDeployment-PT-5b-CTLCardinality-02 ( (AF(( ( potential( (tk(P203)) <= (tk(P1297)) ) | potential( (tk(P677)) <= (tk(P631)) ) ) & ( potential( ( 1 ) <= (tk(P1235)) ) | potential( ( 1 ) <= (tk(P817)) ) ) ))) & ( ( potential( ( 1 ) <= (tk(P919)) ) | (AX( potential( (tk(P262)) <= (tk(P85)) ))) ) & potential( (tk(P18)) <= (tk(P228)) ) ) )
PROPERTY: CloudDeployment-PT-5b-CTLCardinality-03 (EG( potential( (tk(P1106)) <= (tk(P712)) )))
PROPERTY: CloudDeployment-PT-5b-CTLCardinality-04 ( (EF(( ( potential( ( 3 ) <= (tk(P1465)) ) & potential( ( 2 ) <= (tk(P26)) ) ) & (! potential( (tk(P656)) <= (tk(P1122)) )) ))) | (! (AU( potential( (tk(P1052)) <= (tk(P98)) ),potential( ( 2 ) <= (tk(P458)) ) ))) )
PROPERTY: CloudDeployment-PT-5b-CTLCardinality-05 (AX( (AU( potential( (tk(P1187)) <= (tk(P1225)) ),potential( ( 2 ) <= (tk(P102)) ) ))))
PROPERTY: CloudDeployment-PT-5b-CTLCardinality-06 (EU( (AG( potential( (tk(P966)) <= (tk(P756)) ))),( (! potential( (tk(P1062)) <= (tk(P1183)) )) & potential( ( 3 ) <= (tk(P825)) ) ) ))
PROPERTY: CloudDeployment-PT-5b-CTLCardinality-07 (AG( ( (AX( potential( ( 1 ) <= (tk(P1146)) ))) | ( ( potential( (tk(P1189)) <= (tk(P886)) ) | potential( (tk(P221)) <= (tk(P1214)) ) ) | (! potential( ( 2 ) <= (tk(P1322)) )) ) )))
PROPERTY: CloudDeployment-PT-5b-CTLCardinality-08 (! ( (! (AF(potential( (tk(P751)) <= (tk(P831)) )))) | (EF(potential( ( 2 ) <= (tk(P433)) ))) ))
PROPERTY: CloudDeployment-PT-5b-CTLCardinality-09 (! (AF((EX( potential( ( 1 ) <= (tk(P788)) ))))))
PROPERTY: CloudDeployment-PT-5b-CTLCardinality-10 (AU( potential( (tk(P848)) <= (tk(P1030)) ),( ( potential( ( 2 ) <= (tk(P496)) ) & potential( ( 2 ) <= (tk(P1333)) ) ) & potential( (tk(P34)) <= (tk(P692)) ) ) ))
PROPERTY: CloudDeployment-PT-5b-CTLCardinality-11 (EF(( (AG( potential( (tk(P976)) <= (tk(P337)) ))) & (EX( potential( ( 3 ) <= (tk(P1073)) ))) )))
PROPERTY: CloudDeployment-PT-5b-CTLCardinality-12 ( (EG( (AX( potential( (tk(P741)) <= (tk(P1008)) ))))) & (EU( ( potential( (tk(P350)) <= (tk(P936)) ) & potential( (tk(P364)) <= (tk(P43)) ) ),potential( (tk(P768)) <= (tk(P1157)) ) )) )
PROPERTY: CloudDeployment-PT-5b-CTLCardinality-13 ( ( ( (AF(potential( ( 1 ) <= (tk(P1008)) ))) | potential( ( 1 ) <= (tk(P1234)) ) ) | ( ( ( potential( ( 3 ) <= (tk(P698)) ) & potential( ( 1 ) <= (tk(P901)) ) ) & (! potential( (tk(P1210)) <= (tk(P37)) )) ) & ( ( potential( (tk(P819)) <= (tk(P248)) ) & potential( (tk(P661)) <= (tk(P1218)) ) ) | ( potential( (tk(P503)) <= (tk(P528)) ) | potential( ( 1 ) <= (tk(P664)) ) ) ) ) ) & (AF((EG( potential( (tk(P1052)) <= (tk(P1252)) ))))) )
PROPERTY: CloudDeployment-PT-5b-CTLCardinality-14 (EU( potential( (tk(P326)) <= (tk(P1146)) ),(EG( potential( ( 3 ) <= (tk(P1322)) ))) ))
PROPERTY: CloudDeployment-PT-5b-CTLCardinality-15 (! (EG( ( ( potential( ( 2 ) <= (tk(P1)) ) | potential( (tk(P962)) <= (tk(P593)) ) ) & potential( (tk(P1000)) <= (tk(P1339)) ) ))))

BK_TIME_CONFINEMENT_REACHED

--------------------
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="CloudDeployment-PT-5b"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# 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-4028"
echo " Executing tool smart"
echo " Input is CloudDeployment-PT-5b, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r033-smll-158901926000323"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/CloudDeployment-PT-5b.tgz
mv CloudDeployment-PT-5b execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;