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-158901926000347.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-7a, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r033-smll-158901926000347
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 600K
-rw-r--r-- 1 mcc users 3.1K Mar 30 01:41 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 30 01:41 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 28 16:02 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K Mar 28 16:01 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.7K Apr 8 14:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:45 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Mar 27 08:43 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 27 08:43 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 26 08:09 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 26 08:09 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 420K 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-7a-CTLCardinality-00
FORMULA_NAME CloudDeployment-PT-7a-CTLCardinality-01
FORMULA_NAME CloudDeployment-PT-7a-CTLCardinality-02
FORMULA_NAME CloudDeployment-PT-7a-CTLCardinality-03
FORMULA_NAME CloudDeployment-PT-7a-CTLCardinality-04
FORMULA_NAME CloudDeployment-PT-7a-CTLCardinality-05
FORMULA_NAME CloudDeployment-PT-7a-CTLCardinality-06
FORMULA_NAME CloudDeployment-PT-7a-CTLCardinality-07
FORMULA_NAME CloudDeployment-PT-7a-CTLCardinality-08
FORMULA_NAME CloudDeployment-PT-7a-CTLCardinality-09
FORMULA_NAME CloudDeployment-PT-7a-CTLCardinality-10
FORMULA_NAME CloudDeployment-PT-7a-CTLCardinality-11
FORMULA_NAME CloudDeployment-PT-7a-CTLCardinality-12
FORMULA_NAME CloudDeployment-PT-7a-CTLCardinality-13
FORMULA_NAME CloudDeployment-PT-7a-CTLCardinality-14
FORMULA_NAME CloudDeployment-PT-7a-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589164707097

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudDeployment (PT), instance 7a
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: 264 places, 1174 transitions, 7331 arcs.
AT ITER 0 NEW BEST:: SOT 247899 SOS 145437 HAS SOPS 137733 HAS SOUS 116467 HAS SOUPS 109891 WITH SCORE 110036.437
AT ITER 3 NEW BEST:: SOT 247732 SOS 145185 HAS SOPS 137481 HAS SOUS 116387 HAS SOUPS 109811 WITH SCORE 109956.185
AT ITER 10 NEW BEST:: SOT 247724 SOS 145217 HAS SOPS 137521 HAS SOUS 116363 HAS SOUPS 109795 WITH SCORE 109940.217
AT ITER 11 NEW BEST:: SOT 247724 SOS 144928 HAS SOPS 137232 HAS SOUS 116208 HAS SOUPS 109640 WITH SCORE 109784.928
AT ITER 15 NEW BEST:: SOT 247808 SOS 144991 HAS SOPS 137274 HAS SOUS 116208 HAS SOUPS 109619 WITH SCORE 109763.991
AT ITER 16 NEW BEST:: SOT 248127 SOS 145526 HAS SOPS 137969 HAS SOUS 115974 HAS SOUPS 109553 WITH SCORE 109698.526
AT ITER 17 NEW BEST:: SOT 248368 SOS 145454 HAS SOPS 137897 HAS SOUS 115022 HAS SOUPS 108601 WITH SCORE 108746.454
AT ITER 18 NEW BEST:: SOT 248622 SOS 145834 HAS SOPS 138404 HAS SOUS 114513 HAS SOUPS 108219 WITH SCORE 108364.834
AT ITER 19 NEW BEST:: SOT 248526 SOS 145742 HAS SOPS 138312 HAS SOUS 114478 HAS SOUPS 108184 WITH SCORE 108329.742
AT ITER 21 NEW BEST:: SOT 248778 SOS 145904 HAS SOPS 138474 HAS SOUS 114289 HAS SOUPS 107995 WITH SCORE 108140.904
AT ITER 24 NEW BEST:: SOT 249221 SOS 146342 HAS SOPS 139050 HAS SOUS 113725 HAS SOUPS 107581 WITH SCORE 107727.342
AT ITER 25 NEW BEST:: SOT 248933 SOS 147176 HAS SOPS 138990 HAS SOUS 113535 HAS SOUPS 107511 WITH SCORE 107658.176
AT ITER 27 NEW BEST:: SOT 248064 SOS 146445 HAS SOPS 138287 HAS SOUS 112828 HAS SOUPS 106808 WITH SCORE 106954.445
AT ITER 28 NEW BEST:: SOT 248998 SOS 147151 HAS SOPS 138993 HAS SOUS 112403 HAS SOUPS 106383 WITH SCORE 106530.151
AT ITER 30 NEW BEST:: SOT 248998 SOS 147127 HAS SOPS 138961 HAS SOUS 112379 HAS SOUPS 106351 WITH SCORE 106498.127
AT ITER 31 NEW BEST:: SOT 249390 SOS 147510 HAS SOPS 139496 HAS SOUS 111690 HAS SOUPS 105822 WITH SCORE 105969.51
AT ITER 33 NEW BEST:: SOT 249942 SOS 147970 HAS SOPS 139956 HAS SOUS 111181 HAS SOUPS 105313 WITH SCORE 105460.97
AT ITER 34 NEW BEST:: SOT 249689 SOS 147739 HAS SOPS 139725 HAS SOUS 111149 HAS SOUPS 105281 WITH SCORE 105428.739
AT ITER 35 NEW BEST:: SOT 249904 SOS 147854 HAS SOPS 139840 HAS SOUS 110535 HAS SOUPS 104667 WITH SCORE 104814.854
AT ITER 36 NEW BEST:: SOT 250558 SOS 148565 HAS SOPS 140551 HAS SOUS 110202 HAS SOUPS 104334 WITH SCORE 104482.565
AT ITER 37 NEW BEST:: SOT 250963 SOS 148803 HAS SOPS 140789 HAS SOUS 109415 HAS SOUPS 103547 WITH SCORE 103695.803
AT ITER 39 NEW BEST:: SOT 251026 SOS 148805 HAS SOPS 140853 HAS SOUS 109300 HAS SOUPS 103494 WITH SCORE 103642.805
AT ITER 43 NEW BEST:: SOT 250989 SOS 148879 HAS SOPS 140927 HAS SOUS 109263 HAS SOUPS 103457 WITH SCORE 103605.879
AT ITER 44 NEW BEST:: SOT 250277 SOS 151388 HAS SOPS 140458 HAS SOUS 108885 HAS SOUPS 103080 WITH SCORE 103231.388
AT ITER 46 NEW BEST:: SOT 250249 SOS 151302 HAS SOPS 140402 HAS SOUS 108776 HAS SOUPS 103001 WITH SCORE 103152.302
AT ITER 51 NEW BEST:: SOT 250244 SOS 151158 HAS SOPS 140258 HAS SOUS 108740 HAS SOUPS 102965 WITH SCORE 103116.158
AT ITER 55 NEW BEST:: SOT 249667 SOS 150922 HAS SOPS 140022 HAS SOUS 102707 HAS SOUPS 96932 WITH SCORE 97082.922
AT ITER 56 NEW BEST:: SOT 249685 SOS 150904 HAS SOPS 140004 HAS SOUS 102689 HAS SOUPS 96914 WITH SCORE 97064.904
AT ITER 57 NEW BEST:: SOT 249998 SOS 150977 HAS SOPS 140354 HAS SOUS 101774 HAS SOUPS 96156 WITH SCORE 96306.977
AT ITER 60 NEW BEST:: SOT 250267 SOS 151421 HAS SOPS 140968 HAS SOUS 101075 HAS SOUPS 95631 WITH SCORE 95782.421
AT ITER 66 NEW BEST:: SOT 250236 SOS 151390 HAS SOPS 140937 HAS SOUS 101044 HAS SOUPS 95600 WITH SCORE 95751.39
AT ITER 67 NEW BEST:: SOT 251026 SOS 151903 HAS SOPS 141450 HAS SOUS 100287 HAS SOUPS 94843 WITH SCORE 94994.903
AT ITER 70 NEW BEST:: SOT 250531 SOS 152463 HAS SOPS 141383 HAS SOUS 100088 HAS SOUPS 94776 WITH SCORE 94928.463
AT ITER 71 NEW BEST:: SOT 250531 SOS 152463 HAS SOPS 141383 HAS SOUS 100082 HAS SOUPS 94770 WITH SCORE 94922.463
AT ITER 72 NEW BEST:: SOT 250406 SOS 152154 HAS SOPS 141059 HAS SOUS 92414 HAS SOUPS 87102 WITH SCORE 87254.154
AT ITER 75 NEW BEST:: SOT 250648 SOS 152329 HAS SOPS 141234 HAS SOUS 92050 HAS SOUPS 86738 WITH SCORE 86890.329
AT ITER 76 NEW BEST:: SOT 250692 SOS 152329 HAS SOPS 141256 HAS SOUS 91918 HAS SOUPS 86628 WITH SCORE 86780.329
AT ITER 77 NEW BEST:: SOT 250691 SOS 152292 HAS SOPS 141254 HAS SOUS 91916 HAS SOUPS 86626 WITH SCORE 86778.292
AT ITER 79 NEW BEST:: SOT 250963 SOS 152401 HAS SOPS 141508 HAS SOUS 91237 HAS SOUPS 86092 WITH SCORE 86244.401
AT ITER 85 NEW BEST:: SOT 250939 SOS 152384 HAS SOPS 141491 HAS SOUS 91184 HAS SOUPS 86039 WITH SCORE 86191.384
AT ITER 88 NEW BEST:: SOT 250939 SOS 152383 HAS SOPS 141490 HAS SOUS 91183 HAS SOUPS 86038 WITH SCORE 86190.383
AT ITER 89 NEW BEST:: SOT 250927 SOS 152350 HAS SOPS 141457 HAS SOUS 91181 HAS SOUPS 86036 WITH SCORE 86188.35
AT ITER 90 NEW BEST:: SOT 251369 SOS 152644 HAS SOPS 141882 HAS SOUS 90582 HAS SOUPS 85579 WITH SCORE 85731.644
AT ITER 96 NEW BEST:: SOT 251351 SOS 152626 HAS SOPS 141864 HAS SOUS 90564 HAS SOUPS 85561 WITH SCORE 85713.626
AT ITER 98 NEW BEST:: SOT 251595 SOS 152991 HAS SOPS 142351 HAS SOUS 90300 HAS SOUPS 85419 WITH SCORE 85571.991
AT ITER 99 NEW BEST:: SOT 252322 SOS 153463 HAS SOPS 142823 HAS SOUS 89990 HAS SOUPS 85109 WITH SCORE 85262.463
AT ITER 102 NEW BEST:: SOT 252411 SOS 137927 HAS SOPS 111604 HAS SOUS 86609 HAS SOUPS 79711 WITH SCORE 79848.927
AT ITER 104 NEW BEST:: SOT 252656 SOS 137602 HAS SOPS 111314 HAS SOUS 86473 HAS SOUPS 79609 WITH SCORE 79746.602
AT ITER 107 NEW BEST:: SOT 252596 SOS 137502 HAS SOPS 111234 HAS SOUS 86393 HAS SOUPS 79529 WITH SCORE 79666.502
AT ITER 110 NEW BEST:: SOT 252516 SOS 137182 HAS SOPS 111234 HAS SOUS 86125 HAS SOUPS 79341 WITH SCORE 79478.182
AT ITER 116 NEW BEST:: SOT 253056 SOS 137032 HAS SOPS 111624 HAS SOUS 85410 HAS SOUPS 78787 WITH SCORE 78924.032
AT ITER 119 NEW BEST:: SOT 253072 SOS 136890 HAS SOPS 111482 HAS SOUS 85252 HAS SOUPS 78629 WITH SCORE 78765.89
AT ITER 120 NEW BEST:: SOT 253015 SOS 136526 HAS SOPS 111426 HAS SOUS 85160 HAS SOUPS 78434 WITH SCORE 78570.526
AT ITER 124 NEW BEST:: SOT 253015 SOS 136525 HAS SOPS 111425 HAS SOUS 85159 HAS SOUPS 78433 WITH SCORE 78569.525
AT ITER 125 NEW BEST:: SOT 253066 SOS 136043 HAS SOPS 110943 HAS SOUS 84715 HAS SOUPS 77989 WITH SCORE 78125.043
AT ITER 128 NEW BEST:: SOT 253186 SOS 136067 HAS SOPS 111399 HAS SOUS 84464 HAS SOUPS 77846 WITH SCORE 77982.067
AT ITER 131 NEW BEST:: SOT 253186 SOS 135987 HAS SOPS 111319 HAS SOUS 84344 HAS SOUPS 77726 WITH SCORE 77861.987
AT ITER 132 NEW BEST:: SOT 253419 SOS 135748 HAS SOPS 111713 HAS SOUS 83553 HAS SOUPS 77106 WITH SCORE 77241.748
AT ITER 133 NEW BEST:: SOT 253258 SOS 130693 HAS SOPS 101877 HAS SOUS 76980 HAS SOUPS 70379 WITH SCORE 70509.693
AT ITER 134 NEW BEST:: SOT 253387 SOS 130363 HAS SOPS 101547 HAS SOUS 76789 HAS SOUPS 70188 WITH SCORE 70318.363
AT ITER 135 NEW BEST:: SOT 252543 SOS 130761 HAS SOPS 100998 HAS SOUS 76649 HAS SOUPS 69908 WITH SCORE 70038.761
AT ITER 136 NEW BEST:: SOT 252538 SOS 125784 HAS SOPS 91234 HAS SOUS 68887 HAS SOUPS 62146 WITH SCORE 62271.784
AT ITER 138 NEW BEST:: SOT 250976 SOS 134262 HAS SOPS 90778 HAS SOUS 68384 HAS SOUPS 61740 WITH SCORE 61874.262
AT ITER 142 NEW BEST:: SOT 250976 SOS 130061 HAS SOPS 81045 HAS SOUS 61782 HAS SOUPS 55138 WITH SCORE 55268.061
AT ITER 144 NEW BEST:: SOT 250981 SOS 129927 HAS SOPS 80919 HAS SOUS 61696 HAS SOUPS 55045 WITH SCORE 55174.927
AT ITER 147 NEW BEST:: SOT 250927 SOS 129851 HAS SOPS 80650 HAS SOUS 61679 HAS SOUPS 55001 WITH SCORE 55130.851
AT ITER 153 NEW BEST:: SOT 250873 SOS 129969 HAS SOPS 80564 HAS SOUS 61658 HAS SOUPS 54946 WITH SCORE 55075.969
AT ITER 154 NEW BEST:: SOT 250836 SOS 129895 HAS SOPS 80490 HAS SOUS 61656 HAS SOUPS 54944 WITH SCORE 55073.895
AT ITER 155 NEW BEST:: SOT 251031 SOS 129712 HAS SOPS 80808 HAS SOUS 61314 HAS SOUPS 54885 WITH SCORE 55014.712
AT ITER 156 NEW BEST:: SOT 250572 SOS 129658 HAS SOPS 80544 HAS SOUS 61303 HAS SOUPS 54766 WITH SCORE 54895.658
AT ITER 158 NEW BEST:: SOT 250678 SOS 129522 HAS SOPS 80408 HAS SOUS 60874 HAS SOUPS 54337 WITH SCORE 54466.522
AT ITER 159 NEW BEST:: SOT 250678 SOS 129516 HAS SOPS 80402 HAS SOUS 60856 HAS SOUPS 54319 WITH SCORE 54448.516
AT ITER 166 NEW BEST:: SOT 250645 SOS 129628 HAS SOPS 80206 HAS SOUS 60860 HAS SOUPS 54280 WITH SCORE 54409.628
AT ITER 170 NEW BEST:: SOT 250591 SOS 129573 HAS SOPS 80151 HAS SOUS 60805 HAS SOUPS 54225 WITH SCORE 54354.573
AT ITER 177 NEW BEST:: SOT 250685 SOS 129337 HAS SOPS 80244 HAS SOUS 60757 HAS SOUPS 54224 WITH SCORE 54353.337
AT ITER 178 NEW BEST:: SOT 250417 SOS 129221 HAS SOPS 80128 HAS SOUS 60694 HAS SOUPS 54161 WITH SCORE 54290.221
AT ITER 180 NEW BEST:: SOT 250453 SOS 129108 HAS SOPS 79992 HAS SOUS 60476 HAS SOUPS 53943 WITH SCORE 54072.108
AT ITER 181 NEW BEST:: SOT 250447 SOS 129096 HAS SOPS 79987 HAS SOUS 60388 HAS SOUPS 53855 WITH SCORE 53984.096
AT ITER 186 NEW BEST:: SOT 250958 SOS 129345 HAS SOPS 80236 HAS SOUS 60079 HAS SOUPS 53637 WITH SCORE 53766.345
AT ITER 189 NEW BEST:: SOT 250885 SOS 129286 HAS SOPS 80177 HAS SOUS 60063 HAS SOUPS 53621 WITH SCORE 53750.286
AT ITER 192 NEW BEST:: SOT 250884 SOS 128834 HAS SOPS 80306 HAS SOUS 59903 HAS SOUPS 53544 WITH SCORE 53672.834
AT ITER 193 NEW BEST:: SOT 250840 SOS 128898 HAS SOPS 80370 HAS SOUS 59865 HAS SOUPS 53506 WITH SCORE 53634.898
AT ITER 194 NEW BEST:: SOT 250822 SOS 128864 HAS SOPS 80318 HAS SOUS 59390 HAS SOUPS 53031 WITH SCORE 53159.864
AT ITER 196 NEW BEST:: SOT 250794 SOS 128835 HAS SOPS 80289 HAS SOUS 59361 HAS SOUPS 53002 WITH SCORE 53130.835
AT ITER 200 NEW BEST:: SOT 250752 SOS 128783 HAS SOPS 80269 HAS SOUS 59351 HAS SOUPS 52992 WITH SCORE 53120.783
AT ITER 203 NEW BEST:: SOT 248744 SOS 129789 HAS SOPS 79337 HAS SOUS 58206 HAS SOUPS 51922 WITH SCORE 52051.789
AT ITER 210 NEW BEST:: SOT 248448 SOS 131152 HAS SOPS 79254 HAS SOUS 58014 HAS SOUPS 51735 WITH SCORE 51866.152
AT ITER 211 NEW BEST:: SOT 248310 SOS 131318 HAS SOPS 79120 HAS SOUS 57996 HAS SOUPS 51667 WITH SCORE 51798.318
AT ITER 213 NEW BEST:: SOT 248314 SOS 131286 HAS SOPS 79116 HAS SOUS 57980 HAS SOUPS 51655 WITH SCORE 51786.286
AT ITER 215 NEW BEST:: SOT 248313 SOS 131140 HAS SOPS 79080 HAS SOUS 57944 HAS SOUPS 51619 WITH SCORE 51750.14
AT ITER 216 NEW BEST:: SOT 248257 SOS 131293 HAS SOPS 78968 HAS SOUS 57965 HAS SOUPS 51602 WITH SCORE 51733.293
AT ITER 217 NEW BEST:: SOT 248343 SOS 131357 HAS SOPS 78912 HAS SOUS 57984 HAS SOUPS 51585 WITH SCORE 51716.357
AT ITER 220 NEW BEST:: SOT 248095 SOS 131984 HAS SOPS 78664 HAS SOUS 57977 HAS SOUPS 51454 WITH SCORE 51585.984
AT ITER 225 NEW BEST:: SOT 248189 SOS 132058 HAS SOPS 78852 HAS SOUS 57729 HAS SOUPS 51434 WITH SCORE 51566.058
AT ITER 227 NEW BEST:: SOT 248171 SOS 131968 HAS SOPS 78762 HAS SOUS 57729 HAS SOUPS 51434 WITH SCORE 51565.968
AT ITER 232 NEW BEST:: SOT 248452 SOS 132249 HAS SOPS 78931 HAS SOUS 57683 HAS SOUPS 51433 WITH SCORE 51565.249
AT ITER 235 NEW BEST:: SOT 248604 SOS 132043 HAS SOPS 78951 HAS SOUS 57386 HAS SOUPS 51234 WITH SCORE 51366.043
AT ITER 238 NEW BEST:: SOT 248550 SOS 132039 HAS SOPS 78947 HAS SOUS 57165 HAS SOUPS 51013 WITH SCORE 51145.039
AT ITER 240 NEW BEST:: SOT 249032 SOS 126263 HAS SOPS 78229 HAS SOUS 56964 HAS SOUPS 50241 WITH SCORE 50367.263
AT ITER 241 NEW BEST:: SOT 249018 SOS 126168 HAS SOPS 78134 HAS SOUS 56945 HAS SOUPS 50222 WITH SCORE 50348.168
AT ITER 243 NEW BEST:: SOT 248950 SOS 126090 HAS SOPS 78076 HAS SOUS 56920 HAS SOUPS 50207 WITH SCORE 50333.09
AT ITER 245 NEW BEST:: SOT 248950 SOS 125900 HAS SOPS 78078 HAS SOUS 56914 HAS SOUPS 50203 WITH SCORE 50328.9
AT ITER 246 NEW BEST:: SOT 248977 SOS 126072 HAS SOPS 78014 HAS SOUS 56943 HAS SOUPS 50114 WITH SCORE 50240.072
AT ITER 249 NEW BEST:: SOT 248847 SOS 126272 HAS SOPS 78260 HAS SOUS 56763 HAS SOUPS 50026 WITH SCORE 50152.272
AT ITER 251 NEW BEST:: SOT 248699 SOS 126156 HAS SOPS 78164 HAS SOUS 56660 HAS SOUPS 49930 WITH SCORE 50056.156
AT ITER 252 NEW BEST:: SOT 248182 SOS 125964 HAS SOPS 77696 HAS SOUS 56187 HAS SOUPS 49390 WITH SCORE 49515.964
AT ITER 257 NEW BEST:: SOT 248118 SOS 125880 HAS SOPS 77612 HAS SOUS 56103 HAS SOUPS 49306 WITH SCORE 49431.88
AT ITER 267 NEW BEST:: SOT 247807 SOS 125568 HAS SOPS 77309 HAS SOUS 55870 HAS SOUPS 49073 WITH SCORE 49198.568
AT ITER 268 NEW BEST:: SOT 247761 SOS 123627 HAS SOPS 77304 HAS SOUS 55810 HAS SOUPS 49022 WITH SCORE 49145.627
AT ITER 269 NEW BEST:: SOT 247436 SOS 123301 HAS SOPS 77050 HAS SOUS 55771 HAS SOUPS 48967 WITH SCORE 49090.301
AT ITER 270 NEW BEST:: SOT 247342 SOS 123207 HAS SOPS 76956 HAS SOUS 55677 HAS SOUPS 48873 WITH SCORE 48996.207
AT ITER 278 NEW BEST:: SOT 247308 SOS 123377 HAS SOPS 76888 HAS SOUS 55677 HAS SOUPS 48839 WITH SCORE 48962.377
AT ITER 282 NEW BEST:: SOT 244719 SOS 136410 HAS SOPS 76576 HAS SOUS 55751 HAS SOUPS 48787 WITH SCORE 48923.41
AT ITER 283 NEW BEST:: SOT 243409 SOS 135376 HAS SOPS 75837 HAS SOUS 54869 HAS SOUPS 47930 WITH SCORE 48065.376
AT ITER 293 NEW BEST:: SOT 243384 SOS 135337 HAS SOPS 75811 HAS SOUS 54843 HAS SOUPS 47904 WITH SCORE 48039.337
AT ITER 295 NEW BEST:: SOT 243290 SOS 135395 HAS SOPS 75869 HAS SOUS 54797 HAS SOUPS 47858 WITH SCORE 47993.395
AT ITER 296 NEW BEST:: SOT 243192 SOS 135915 HAS SOPS 75885 HAS SOUS 54774 HAS SOUPS 47726 WITH SCORE 47861.915
AT ITER 299 NEW BEST:: SOT 243255 SOS 135899 HAS SOPS 75869 HAS SOUS 54759 HAS SOUPS 47710 WITH SCORE 47845.899
AT ITER 308 NEW BEST:: SOT 243232 SOS 128142 HAS SOPS 76037 HAS SOUS 54513 HAS SOUPS 47544 WITH SCORE 47672.142
AT ITER 311 NEW BEST:: SOT 243790 SOS 127622 HAS SOPS 76249 HAS SOUS 54376 HAS SOUPS 47529 WITH SCORE 47656.622
AT ITER 314 NEW BEST:: SOT 243621 SOS 127453 HAS SOPS 76080 HAS SOUS 54207 HAS SOUPS 47360 WITH SCORE 47487.453
AT ITER 324 NEW BEST:: SOT 243729 SOS 127270 HAS SOPS 75897 HAS SOUS 54183 HAS SOUPS 47336 WITH SCORE 47463.27
AT ITER 335 NEW BEST:: SOT 243717 SOS 127246 HAS SOPS 75873 HAS SOUS 54165 HAS SOUPS 47318 WITH SCORE 47445.246
AT ITER 338 NEW BEST:: SOT 243769 SOS 126861 HAS SOPS 75572 HAS SOUS 53973 HAS SOUPS 47126 WITH SCORE 47252.861
AT ITER 340 NEW BEST:: SOT 243767 SOS 126857 HAS SOPS 75568 HAS SOUS 53970 HAS SOUPS 47123 WITH SCORE 47249.857
AT ITER 341 NEW BEST:: SOT 243767 SOS 126807 HAS SOPS 75518 HAS SOUS 53954 HAS SOUPS 47107 WITH SCORE 47233.807
AT ITER 342 NEW BEST:: SOT 244107 SOS 126711 HAS SOPS 75422 HAS SOUS 53916 HAS SOUPS 47069 WITH SCORE 47195.711
AT ITER 344 NEW BEST:: SOT 244147 SOS 126709 HAS SOPS 75420 HAS SOUS 53916 HAS SOUPS 47069 WITH SCORE 47195.709
AT ITER 346 NEW BEST:: SOT 244277 SOS 126319 HAS SOPS 75485 HAS SOUS 53838 HAS SOUPS 47056 WITH SCORE 47182.319
AT ITER 347 NEW BEST:: SOT 244347 SOS 126350 HAS SOPS 75683 HAS SOUS 53582 HAS SOUPS 46800 WITH SCORE 46926.35
AT ITER 350 NEW BEST:: SOT 244537 SOS 125452 HAS SOPS 75637 HAS SOUS 53225 HAS SOUPS 46585 WITH SCORE 46710.452
AT ITER 355 NEW BEST:: SOT 244652 SOS 125060 HAS SOPS 75245 HAS SOUS 53052 HAS SOUPS 46412 WITH SCORE 46537.06
AT ITER 360 NEW BEST:: SOT 243505 SOS 124120 HAS SOPS 74727 HAS SOUS 52500 HAS SOUPS 45896 WITH SCORE 46020.12
AT ITER 365 NEW BEST:: SOT 243484 SOS 124057 HAS SOPS 74664 HAS SOUS 52479 HAS SOUPS 45875 WITH SCORE 45999.057
AT ITER 377 NEW BEST:: SOT 243735 SOS 123919 HAS SOPS 74526 HAS SOUS 52435 HAS SOUPS 45831 WITH SCORE 45954.919
AT ITER 378 NEW BEST:: SOT 243577 SOS 124086 HAS SOPS 74241 HAS SOUS 52347 HAS SOUPS 45664 WITH SCORE 45788.086
AT ITER 380 NEW BEST:: SOT 243445 SOS 123803 HAS SOPS 73900 HAS SOUS 52006 HAS SOUPS 45323 WITH SCORE 45446.803
AT ITER 388 NEW BEST:: SOT 243396 SOS 123763 HAS SOPS 73860 HAS SOUS 51991 HAS SOUPS 45308 WITH SCORE 45431.763
AT ITER 390 NEW BEST:: SOT 242125 SOS 123502 HAS SOPS 72553 HAS SOUS 52086 HAS SOUPS 45230 WITH SCORE 45353.502
AT ITER 393 NEW BEST:: SOT 242231 SOS 122778 HAS SOPS 72645 HAS SOUS 51675 HAS SOUPS 44954 WITH SCORE 45076.778
AT ITER 397 NEW BEST:: SOT 241719 SOS 122266 HAS SOPS 72265 HAS SOUS 51550 HAS SOUPS 44764 WITH SCORE 44886.266
AT ITER 400 NEW BEST:: SOT 241725 SOS 122248 HAS SOPS 72265 HAS SOUS 51544 HAS SOUPS 44761 WITH SCORE 44883.248
AT ITER 405 NEW BEST:: SOT 241686 SOS 122656 HAS SOPS 71821 HAS SOUS 51444 HAS SOUPS 44542 WITH SCORE 44664.656
AT ITER 419 NEW BEST:: SOT 241652 SOS 122605 HAS SOPS 71753 HAS SOUS 51325 HAS SOUPS 44423 WITH SCORE 44545.605
AT ITER 423 NEW BEST:: SOT 241676 SOS 122653 HAS SOPS 71801 HAS SOUS 51173 HAS SOUPS 44271 WITH SCORE 44393.653
AT ITER 428 NEW BEST:: SOT 241617 SOS 122422 HAS SOPS 71570 HAS SOUS 51160 HAS SOUPS 44258 WITH SCORE 44380.422
AT ITER 439 NEW BEST:: SOT 239897 SOS 121503 HAS SOPS 71076 HAS SOUS 50557 HAS SOUPS 43768 WITH SCORE 43889.503
AT ITER 448 NEW BEST:: SOT 236711 SOS 126088 HAS SOPS 70780 HAS SOUS 49929 HAS SOUPS 43305 WITH SCORE 43431.088
AT ITER 451 NEW BEST:: SOT 234010 SOS 124944 HAS SOPS 70228 HAS SOUS 49250 HAS SOUPS 42765 WITH SCORE 42889.944
AT ITER 453 NEW BEST:: SOT 234010 SOS 124940 HAS SOPS 70182 HAS SOUS 49238 HAS SOUPS 42753 WITH SCORE 42877.94
AT ITER 458 NEW BEST:: SOT 233959 SOS 124963 HAS SOPS 70230 HAS SOUS 49224 HAS SOUPS 42739 WITH SCORE 42863.963
AT ITER 459 NEW BEST:: SOT 234689 SOS 119625 HAS SOPS 70165 HAS SOUS 48948 HAS SOUPS 42550 WITH SCORE 42669.625
AT ITER 469 NEW BEST:: SOT 234704 SOS 119589 HAS SOPS 70167 HAS SOUS 48947 HAS SOUPS 42550 WITH SCORE 42669.589
AT ITER 470 NEW BEST:: SOT 234679 SOS 119579 HAS SOPS 70157 HAS SOUS 48633 HAS SOUPS 42236 WITH SCORE 42355.579
AT ITER 471 NEW BEST:: SOT 234494 SOS 120211 HAS SOPS 70003 HAS SOUS 48690 HAS SOUPS 42185 WITH SCORE 42305.211
AT ITER 475 NEW BEST:: SOT 234494 SOS 120175 HAS SOPS 70003 HAS SOUS 48690 HAS SOUPS 42185 WITH SCORE 42305.175
AT ITER 476 NEW BEST:: SOT 234487 SOS 119960 HAS SOPS 69794 HAS SOUS 48546 HAS SOUPS 42031 WITH SCORE 42150.96
AT ITER 489 NEW BEST:: SOT 234377 SOS 120292 HAS SOPS 69741 HAS SOUS 48351 HAS SOUPS 41781 WITH SCORE 41901.292
AT ITER 493 NEW BEST:: SOT 234365 SOS 120276 HAS SOPS 69725 HAS SOUS 48335 HAS SOUPS 41765 WITH SCORE 41885.276
AT ITER 515 NEW BEST:: SOT 234369 SOS 120272 HAS SOPS 69721 HAS SOUS 48331 HAS SOUPS 41761 WITH SCORE 41881.272
AT ITER 522 NEW BEST:: SOT 234258 SOS 120161 HAS SOPS 69620 HAS SOUS 48188 HAS SOUPS 41618 WITH SCORE 41738.161
AT ITER 529 NEW BEST:: SOT 234182 SOS 119867 HAS SOPS 69602 HAS SOUS 48102 HAS SOUPS 41578 WITH SCORE 41697.867
AT ITER 535 NEW BEST:: SOT 234084 SOS 119863 HAS SOPS 69562 HAS SOUS 48078 HAS SOUPS 41538 WITH SCORE 41657.863
AT ITER 537 NEW BEST:: SOT 234181 SOS 119735 HAS SOPS 69618 HAS SOUS 48062 HAS SOUPS 41522 WITH SCORE 41641.735
AT ITER 538 NEW BEST:: SOT 233921 SOS 119475 HAS SOPS 69358 HAS SOUS 47874 HAS SOUPS 41334 WITH SCORE 41453.475
AT ITER 546 NEW BEST:: SOT 231939 SOS 119178 HAS SOPS 68928 HAS SOUS 47185 HAS SOUPS 40921 WITH SCORE 41040.178
AT ITER 547 NEW BEST:: SOT 231949 SOS 119158 HAS SOPS 68908 HAS SOUS 47175 HAS SOUPS 40911 WITH SCORE 41030.158
AT ITER 548 NEW BEST:: SOT 230824 SOS 123674 HAS SOPS 68856 HAS SOUS 47156 HAS SOUPS 40766 WITH SCORE 40889.674
AT ITER 549 NEW BEST:: SOT 231807 SOS 124657 HAS SOPS 69868 HAS SOUS 46679 HAS SOUPS 40289 WITH SCORE 40413.657
AT ITER 555 NEW BEST:: SOT 231783 SOS 124705 HAS SOPS 69832 HAS SOUS 46679 HAS SOUPS 40277 WITH SCORE 40401.705
AT ITER 560 NEW BEST:: SOT 231454 SOS 123994 HAS SOPS 69094 HAS SOUS 45859 HAS SOUPS 39457 WITH SCORE 39580.994
AT ITER 561 NEW BEST:: SOT 231454 SOS 123966 HAS SOPS 69066 HAS SOUS 45831 HAS SOUPS 39429 WITH SCORE 39552.966
AT ITER 564 NEW BEST:: SOT 229342 SOS 122274 HAS SOPS 68423 HAS SOUS 45380 HAS SOUPS 38761 WITH SCORE 38883.274
AT ITER 568 NEW BEST:: SOT 229252 SOS 122019 HAS SOPS 68168 HAS SOUS 45264 HAS SOUPS 38645 WITH SCORE 38767.019
AT ITER 570 NEW BEST:: SOT 228935 SOS 122731 HAS SOPS 68953 HAS SOUS 45079 HAS SOUPS 38460 WITH SCORE 38582.731
AT ITER 571 NEW BEST:: SOT 229051 SOS 122689 HAS SOPS 68953 HAS SOUS 44906 HAS SOUPS 38344 WITH SCORE 38466.689
AT ITER 586 NEW BEST:: SOT 228781 SOS 130280 HAS SOPS 68803 HAS SOUS 45002 HAS SOUPS 38295 WITH SCORE 38425.28
AT ITER 592 NEW BEST:: SOT 228726 SOS 130225 HAS SOPS 68748 HAS SOUS 44947 HAS SOUPS 38240 WITH SCORE 38370.225
AT ITER 593 NEW BEST:: SOT 228717 SOS 130216 HAS SOPS 68729 HAS SOUS 44918 HAS SOUPS 38221 WITH SCORE 38351.216
AT ITER 594 NEW BEST:: SOT 228733 SOS 130178 HAS SOPS 68691 HAS SOUS 44918 HAS SOUPS 38221 WITH SCORE 38351.178
AT ITER 599 NEW BEST:: SOT 228739 SOS 130184 HAS SOPS 68697 HAS SOUS 44868 HAS SOUPS 38171 WITH SCORE 38301.184
AT ITER 613 NEW BEST:: SOT 228551 SOS 129987 HAS SOPS 68488 HAS SOUS 44835 HAS SOUPS 38138 WITH SCORE 38267.987
AT ITER 615 NEW BEST:: SOT 228548 SOS 129873 HAS SOPS 68778 HAS SOUS 44793 HAS SOUPS 38128 WITH SCORE 38257.873
AT ITER 617 NEW BEST:: SOT 228819 SOS 129959 HAS SOPS 68964 HAS SOUS 44592 HAS SOUPS 38013 WITH SCORE 38142.959
AT ITER 622 NEW BEST:: SOT 228842 SOS 129782 HAS SOPS 68547 HAS SOUS 44415 HAS SOUPS 37836 WITH SCORE 37965.782
AT ITER 623 NEW BEST:: SOT 228941 SOS 129833 HAS SOPS 69512 HAS SOUS 44306 HAS SOUPS 37799 WITH SCORE 37928.833
AT ITER 627 NEW BEST:: SOT 228929 SOS 129881 HAS SOPS 69515 HAS SOUS 44288 HAS SOUPS 37790 WITH SCORE 37919.881
AT ITER 628 NEW BEST:: SOT 228869 SOS 129735 HAS SOPS 69577 HAS SOUS 44241 HAS SOUPS 37769 WITH SCORE 37898.735
AT ITER 630 NEW BEST:: SOT 228984 SOS 129625 HAS SOPS 69567 HAS SOUS 44216 HAS SOUPS 37749 WITH SCORE 37878.625
AT ITER 631 NEW BEST:: SOT 228945 SOS 129482 HAS SOPS 69468 HAS SOUS 44029 HAS SOUPS 37606 WITH SCORE 37735.482
AT ITER 632 NEW BEST:: SOT 228897 SOS 129462 HAS SOPS 69416 HAS SOUS 43984 HAS SOUPS 37563 WITH SCORE 37692.462
AT ITER 633 NEW BEST:: SOT 228888 SOS 129478 HAS SOPS 69432 HAS SOUS 43932 HAS SOUPS 37511 WITH SCORE 37640.478
AT ITER 645 NEW BEST:: SOT 228769 SOS 129484 HAS SOPS 69366 HAS SOUS 43798 HAS SOUPS 37394 WITH SCORE 37523.484
AT ITER 647 NEW BEST:: SOT 228605 SOS 128816 HAS SOPS 69274 HAS SOUS 43798 HAS SOUPS 37394 WITH SCORE 37522.816
AT ITER 649 NEW BEST:: SOT 228621 SOS 128824 HAS SOPS 69274 HAS SOUS 43763 HAS SOUPS 37364 WITH SCORE 37492.824
AT ITER 655 NEW BEST:: SOT 228571 SOS 128779 HAS SOPS 69174 HAS SOUS 43764 HAS SOUPS 37307 WITH SCORE 37435.779
AT ITER 684 NEW BEST:: SOT 228696 SOS 129053 HAS SOPS 69440 HAS SOUS 43745 HAS SOUPS 37289 WITH SCORE 37418.053
AT ITER 707 NEW BEST:: SOT 228766 SOS 128787 HAS SOPS 69344 HAS SOUS 43674 HAS SOUPS 37251 WITH SCORE 37379.787
AT ITER 710 NEW BEST:: SOT 228939 SOS 127625 HAS SOPS 61047 HAS SOUS 37793 HAS SOUPS 31169 WITH SCORE 31296.625
AT ITER 712 NEW BEST:: SOT 228909 SOS 127585 HAS SOPS 61007 HAS SOUS 37753 HAS SOUPS 31129 WITH SCORE 31256.585
AT ITER 727 NEW BEST:: SOT 228273 SOS 127007 HAS SOPS 60701 HAS SOUS 37564 HAS SOUPS 30919 WITH SCORE 31046.007
AT ITER 730 NEW BEST:: SOT 228186 SOS 126920 HAS SOPS 60631 HAS SOUS 37479 HAS SOUPS 30849 WITH SCORE 30975.92
AT ITER 732 NEW BEST:: SOT 226265 SOS 134223 HAS SOPS 59730 HAS SOUS 37325 HAS SOUPS 30616 WITH SCORE 30750.223
AT ITER 738 NEW BEST:: SOT 226217 SOS 134121 HAS SOPS 59599 HAS SOUS 37373 HAS SOUPS 30616 WITH SCORE 30750.121
AT ITER 742 NEW BEST:: SOT 226119 SOS 136472 HAS SOPS 59549 HAS SOUS 37352 HAS SOUPS 30566 WITH SCORE 30702.472
AT ITER 744 NEW BEST:: SOT 226119 SOS 136472 HAS SOPS 59504 HAS SOUS 37306 HAS SOUPS 30565 WITH SCORE 30701.472
AT ITER 745 NEW BEST:: SOT 226444 SOS 136117 HAS SOPS 59462 HAS SOUS 37276 HAS SOUPS 30535 WITH SCORE 30671.117
AT ITER 746 NEW BEST:: SOT 226292 SOS 140423 HAS SOPS 58977 HAS SOUS 37323 HAS SOUPS 30494 WITH SCORE 30634.423
AT ITER 748 NEW BEST:: SOT 226383 SOS 140514 HAS SOPS 59043 HAS SOUS 37273 HAS SOUPS 30444 WITH SCORE 30584.514
AT ITER 749 NEW BEST:: SOT 226303 SOS 140373 HAS SOPS 58947 HAS SOUS 37295 HAS SOUPS 30421 WITH SCORE 30561.373
AT ITER 755 NEW BEST:: SOT 226270 SOS 140340 HAS SOPS 58914 HAS SOUS 37273 HAS SOUPS 30399 WITH SCORE 30539.34
AT ITER 758 NEW BEST:: SOT 226058 SOS 140712 HAS SOPS 58617 HAS SOUS 37304 HAS SOUPS 30304 WITH SCORE 30444.712
AT ITER 763 NEW BEST:: SOT 226038 SOS 140700 HAS SOPS 58619 HAS SOUS 37198 HAS SOUPS 30222 WITH SCORE 30362.7
AT ITER 773 NEW BEST:: SOT 226028 SOS 140690 HAS SOPS 58599 HAS SOUS 37178 HAS SOUPS 30202 WITH SCORE 30342.69
AT ITER 775 NEW BEST:: SOT 226036 SOS 140690 HAS SOPS 58591 HAS SOUS 37170 HAS SOUPS 30194 WITH SCORE 30334.69
AT ITER 776 NEW BEST:: SOT 226037 SOS 140593 HAS SOPS 58494 HAS SOUS 36943 HAS SOUPS 29981 WITH SCORE 30121.593
AT ITER 783 NEW BEST:: SOT 226068 SOS 140573 HAS SOPS 58474 HAS SOUS 36925 HAS SOUPS 29963 WITH SCORE 30103.573
AT ITER 785 NEW BEST:: SOT 226080 SOS 140573 HAS SOPS 58462 HAS SOUS 36877 HAS SOUPS 29927 WITH SCORE 30067.573
AT ITER 787 NEW BEST:: SOT 226094 SOS 139957 HAS SOPS 58553 HAS SOUS 36870 HAS SOUPS 29927 WITH SCORE 30066.957
AT ITER 792 NEW BEST:: SOT 226084 SOS 139972 HAS SOPS 58533 HAS SOUS 36860 HAS SOUPS 29917 WITH SCORE 30056.972
AT ITER 795 NEW BEST:: SOT 226088 SOS 139968 HAS SOPS 58515 HAS SOUS 36860 HAS SOUPS 29917 WITH SCORE 30056.968
AT ITER 799 NEW BEST:: SOT 225798 SOS 140308 HAS SOPS 58399 HAS SOUS 36739 HAS SOUPS 29738 WITH SCORE 29878.308
AT ITER 800 NEW BEST:: SOT 225623 SOS 140133 HAS SOPS 58247 HAS SOUS 36651 HAS SOUPS 29652 WITH SCORE 29792.133
AT ITER 807 NEW BEST:: SOT 225667 SOS 139731 HAS SOPS 57845 HAS SOUS 36481 HAS SOUPS 29482 WITH SCORE 29621.731
AT ITER 812 NEW BEST:: SOT 225860 SOS 139696 HAS SOPS 57983 HAS SOUS 36360 HAS SOUPS 29455 WITH SCORE 29594.696
AT ITER 813 NEW BEST:: SOT 225586 SOS 139574 HAS SOPS 57861 HAS SOUS 36319 HAS SOUPS 29414 WITH SCORE 29553.574
AT ITER 814 NEW BEST:: SOT 225543 SOS 139531 HAS SOPS 57818 HAS SOUS 36276 HAS SOUPS 29371 WITH SCORE 29510.531
AT ITER 815 NEW BEST:: SOT 225543 SOS 139508 HAS SOPS 57772 HAS SOUS 36240 HAS SOUPS 29335 WITH SCORE 29474.508
AT ITER 819 NEW BEST:: SOT 225520 SOS 138932 HAS SOPS 57574 HAS SOUS 36206 HAS SOUPS 29247 WITH SCORE 29385.932
AT ITER 828 NEW BEST:: SOT 225483 SOS 138920 HAS SOPS 57182 HAS SOUS 36200 HAS SOUPS 29241 WITH SCORE 29379.92
AT ITER 831 NEW BEST:: SOT 225416 SOS 138898 HAS SOPS 57104 HAS SOUS 36179 HAS SOUPS 29220 WITH SCORE 29358.898
AT ITER 834 NEW BEST:: SOT 225401 SOS 138883 HAS SOPS 57089 HAS SOUS 36136 HAS SOUPS 29177 WITH SCORE 29315.883
AT ITER 841 NEW BEST:: SOT 225320 SOS 139326 HAS SOPS 57532 HAS SOUS 36128 HAS SOUPS 29169 WITH SCORE 29308.326
AT ITER 847 NEW BEST:: SOT 225401 SOS 139299 HAS SOPS 57505 HAS SOUS 36128 HAS SOUPS 29169 WITH SCORE 29308.299
AT ITER 856 NEW BEST:: SOT 225401 SOS 139203 HAS SOPS 57353 HAS SOUS 36128 HAS SOUPS 29169 WITH SCORE 29308.203
AT ITER 860 NEW BEST:: SOT 225491 SOS 139266 HAS SOPS 57413 HAS SOUS 36074 HAS SOUPS 29155 WITH SCORE 29294.266
AT ITER 863 NEW BEST:: SOT 225449 SOS 139088 HAS SOPS 57235 HAS SOUS 35943 HAS SOUPS 29024 WITH SCORE 29163.088
AT ITER 864 NEW BEST:: SOT 225443 SOS 139620 HAS SOPS 57767 HAS SOUS 35937 HAS SOUPS 29018 WITH SCORE 29157.62
AT ITER 865 NEW BEST:: SOT 225450 SOS 139627 HAS SOPS 57767 HAS SOUS 35930 HAS SOUPS 29004 WITH SCORE 29143.627
AT ITER 869 NEW BEST:: SOT 225370 SOS 139436 HAS SOPS 57576 HAS SOUS 35833 HAS SOUPS 28907 WITH SCORE 29046.436
AT ITER 872 NEW BEST:: SOT 225376 SOS 139428 HAS SOPS 57574 HAS SOUS 35831 HAS SOUPS 28905 WITH SCORE 29044.428
AT ITER 876 NEW BEST:: SOT 225395 SOS 139447 HAS SOPS 57609 HAS SOUS 35773 HAS SOUPS 28863 WITH SCORE 29002.447
AT ITER 882 NEW BEST:: SOT 225334 SOS 139369 HAS SOPS 57509 HAS SOUS 35701 HAS SOUPS 28791 WITH SCORE 28930.369
AT ITER 895 NEW BEST:: SOT 225366 SOS 139353 HAS SOPS 57509 HAS SOUS 35669 HAS SOUPS 28791 WITH SCORE 28930.353
AT ITER 897 NEW BEST:: SOT 225366 SOS 139474 HAS SOPS 57630 HAS SOUS 35647 HAS SOUPS 28769 WITH SCORE 28908.474
AT ITER 905 NEW BEST:: SOT 225288 SOS 139318 HAS SOPS 57493 HAS SOUS 35588 HAS SOUPS 28687 WITH SCORE 28826.318
AT ITER 908 NEW BEST:: SOT 225272 SOS 139294 HAS SOPS 57473 HAS SOUS 35576 HAS SOUPS 28671 WITH SCORE 28810.294
AT ITER 910 NEW BEST:: SOT 225633 SOS 139576 HAS SOPS 57755 HAS SOUS 35518 HAS SOUPS 28613 WITH SCORE 28752.576
AT ITER 928 NEW BEST:: SOT 225598 SOS 139534 HAS SOPS 55141 HAS SOUS 35476 HAS SOUPS 28225 WITH SCORE 28364.534
AT ITER 930 NEW BEST:: SOT 225487 SOS 140052 HAS SOPS 54931 HAS SOUS 35360 HAS SOUPS 28015 WITH SCORE 28155.052
AT ITER 937 NEW BEST:: SOT 225487 SOS 139974 HAS SOPS 54853 HAS SOUS 35282 HAS SOUPS 27937 WITH SCORE 28076.974
AT ITER 948 NEW BEST:: SOT 225480 SOS 139966 HAS SOPS 54851 HAS SOUS 35270 HAS SOUPS 27937 WITH SCORE 28076.966
AT ITER 960 NEW BEST:: SOT 225426 SOS 139912 HAS SOPS 54815 HAS SOUS 35221 HAS SOUPS 27888 WITH SCORE 28027.912
AT ITER 966 NEW BEST:: SOT 225336 SOS 140040 HAS SOPS 55258 HAS SOUS 35042 HAS SOUPS 27709 WITH SCORE 27849.04
AT ITER 968 NEW BEST:: SOT 224551 SOS 139255 HAS SOPS 54473 HAS SOUS 34957 HAS SOUPS 27624 WITH SCORE 27763.255
AT ITER 970 NEW BEST:: SOT 224473 SOS 139177 HAS SOPS 54403 HAS SOUS 34951 HAS SOUPS 27618 WITH SCORE 27757.177
AT ITER 975 NEW BEST:: SOT 224341 SOS 138649 HAS SOPS 53735 HAS SOUS 34713 HAS SOUPS 27353 WITH SCORE 27491.649
AT ITER 977 NEW BEST:: SOT 224265 SOS 138275 HAS SOPS 53665 HAS SOUS 34681 HAS SOUPS 27321 WITH SCORE 27459.275
AT ITER 998 NEW BEST:: SOT 224244 SOS 138684 HAS SOPS 54055 HAS SOUS 34660 HAS SOUPS 27300 WITH SCORE 27438.684
AT ITER 999 NEW BEST:: SOT 224064 SOS 138573 HAS SOPS 53915 HAS SOUS 34602 HAS SOUPS 27230 WITH SCORE 27368.573
AT ITER 1004 NEW BEST:: SOT 224059 SOS 138554 HAS SOPS 54096 HAS SOUS 34592 HAS SOUPS 27220 WITH SCORE 27358.554
AT ITER 1005 NEW BEST:: SOT 224051 SOS 138195 HAS SOPS 54080 HAS SOUS 34617 HAS SOUPS 27196 WITH SCORE 27334.195
AT ITER 1008 NEW BEST:: SOT 223774 SOS 137918 HAS SOPS 53777 HAS SOUS 34583 HAS SOUPS 27108 WITH SCORE 27245.918
AT ITER 1009 NEW BEST:: SOT 223790 SOS 137901 HAS SOPS 53074 HAS SOUS 34517 HAS SOUPS 27042 WITH SCORE 27179.901
AT ITER 1012 NEW BEST:: SOT 223791 SOS 137892 HAS SOPS 53065 HAS SOUS 34517 HAS SOUPS 27042 WITH SCORE 27179.892
AT ITER 1014 NEW BEST:: SOT 223791 SOS 137876 HAS SOPS 53049 HAS SOUS 34501 HAS SOUPS 27026 WITH SCORE 27163.876
AT ITER 1015 NEW BEST:: SOT 223791 SOS 137934 HAS SOPS 52846 HAS SOUS 34390 HAS SOUPS 26915 WITH SCORE 27052.934
AT ITER 1016 NEW BEST:: SOT 223743 SOS 137662 HAS SOPS 52519 HAS SOUS 34057 HAS SOUPS 26639 WITH SCORE 26776.662
AT ITER 1020 NEW BEST:: SOT 223998 SOS 137917 HAS SOPS 52774 HAS SOUS 33983 HAS SOUPS 26565 WITH SCORE 26702.917
AT ITER 1021 NEW BEST:: SOT 223977 SOS 137924 HAS SOPS 52823 HAS SOUS 33979 HAS SOUPS 26561 WITH SCORE 26698.924
AT ITER 1035 NEW BEST:: SOT 224118 SOS 134049 HAS SOPS 52815 HAS SOUS 33932 HAS SOUPS 26553 WITH SCORE 26687.049
AT ITER 1045 NEW BEST:: SOT 224118 SOS 134045 HAS SOPS 52813 HAS SOUS 33930 HAS SOUPS 26553 WITH SCORE 26687.045
AT ITER 1047 NEW BEST:: SOT 223977 SOS 133978 HAS SOPS 52746 HAS SOUS 33900 HAS SOUPS 26523 WITH SCORE 26656.978
AT ITER 1054 NEW BEST:: SOT 223973 SOS 133983 HAS SOPS 52744 HAS SOUS 33900 HAS SOUPS 26522 WITH SCORE 26655.983
AT ITER 1058 NEW BEST:: SOT 223995 SOS 133999 HAS SOPS 52861 HAS SOUS 33896 HAS SOUPS 26518 WITH SCORE 26651.999
AT ITER 1064 NEW BEST:: SOT 223971 SOS 133969 HAS SOPS 52831 HAS SOUS 33884 HAS SOUPS 26506 WITH SCORE 26639.969
AT ITER 1072 NEW BEST:: SOT 224003 SOS 134073 HAS SOPS 52856 HAS SOUS 33859 HAS SOUPS 26460 WITH SCORE 26594.073
AT ITER 1078 NEW BEST:: SOT 224009 SOS 134079 HAS SOPS 52814 HAS SOUS 33817 HAS SOUPS 26418 WITH SCORE 26552.079
AT ITER 1080 NEW BEST:: SOT 224009 SOS 134002 HAS SOPS 52660 HAS SOUS 33663 HAS SOUPS 26264 WITH SCORE 26398.002
AT ITER 1081 NEW BEST:: SOT 224005 SOS 134002 HAS SOPS 52656 HAS SOUS 33657 HAS SOUPS 26258 WITH SCORE 26392.002
AT ITER 1084 NEW BEST:: SOT 223983 SOS 134008 HAS SOPS 52662 HAS SOUS 33589 HAS SOUPS 26190 WITH SCORE 26324.008
AT ITER 1102 NEW BEST:: SOT 223683 SOS 134565 HAS SOPS 52687 HAS SOUS 33591 HAS SOUPS 26116 WITH SCORE 26250.565
AT ITER 1104 NEW BEST:: SOT 223518 SOS 134376 HAS SOPS 52498 HAS SOUS 33457 HAS SOUPS 25927 WITH SCORE 26061.376
AT ITER 1115 NEW BEST:: SOT 223516 SOS 134356 HAS SOPS 52474 HAS SOUS 33449 HAS SOUPS 25923 WITH SCORE 26057.356
AT ITER 1133 NEW BEST:: SOT 223514 SOS 134350 HAS SOPS 52470 HAS SOUS 33437 HAS SOUPS 25911 WITH SCORE 26045.35
AT ITER 1145 NEW BEST:: SOT 223513 SOS 134349 HAS SOPS 52469 HAS SOUS 33431 HAS SOUPS 25905 WITH SCORE 26039.349
AT ITER 1161 NEW BEST:: SOT 223505 SOS 134333 HAS SOPS 52453 HAS SOUS 33423 HAS SOUPS 25897 WITH SCORE 26031.333
AT ITER 1162 NEW BEST:: SOT 223269 SOS 134303 HAS SOPS 52369 HAS SOUS 33320 HAS SOUPS 25775 WITH SCORE 25909.303
AT ITER 1164 NEW BEST:: SOT 223268 SOS 134289 HAS SOPS 52355 HAS SOUS 33320 HAS SOUPS 25775 WITH SCORE 25909.289
AT ITER 1169 NEW BEST:: SOT 223240 SOS 134268 HAS SOPS 52334 HAS SOUS 33313 HAS SOUPS 25768 WITH SCORE 25902.268
AT ITER 1190 NEW BEST:: SOT 223143 SOS 137406 HAS SOPS 52369 HAS SOUS 33352 HAS SOUPS 25738 WITH SCORE 25875.406
AT ITER 1194 NEW BEST:: SOT 223123 SOS 137485 HAS SOPS 52322 HAS SOUS 33314 HAS SOUPS 25685 WITH SCORE 25822.485
AT ITER 1207 NEW BEST:: SOT 223123 SOS 137475 HAS SOPS 52322 HAS SOUS 33304 HAS SOUPS 25685 WITH SCORE 25822.475
AT ITER 1211 NEW BEST:: SOT 223002 SOS 137443 HAS SOPS 52255 HAS SOUS 33307 HAS SOUPS 25653 WITH SCORE 25790.443
AT ITER 1221 NEW BEST:: SOT 223018 SOS 137295 HAS SOPS 51848 HAS SOUS 33196 HAS SOUPS 25497 WITH SCORE 25634.295
AT ITER 1234 NEW BEST:: SOT 223008 SOS 137285 HAS SOPS 51828 HAS SOUS 33186 HAS SOUPS 25477 WITH SCORE 25614.285
AT ITER 1240 NEW BEST:: SOT 222926 SOS 137233 HAS SOPS 51776 HAS SOUS 33150 HAS SOUPS 25441 WITH SCORE 25578.233
AT ITER 1241 NEW BEST:: SOT 222404 SOS 136814 HAS SOPS 51448 HAS SOUS 33076 HAS SOUPS 25361 WITH SCORE 25497.814
AT ITER 1245 NEW BEST:: SOT 222392 SOS 136797 HAS SOPS 51416 HAS SOUS 33011 HAS SOUPS 25296 WITH SCORE 25432.797
AT ITER 1250 NEW BEST:: SOT 222350 SOS 136741 HAS SOPS 51374 HAS SOUS 32983 HAS SOUPS 25268 WITH SCORE 25404.741
AT ITER 1278 NEW BEST:: SOT 222292 SOS 136711 HAS SOPS 51374 HAS SOUS 32979 HAS SOUPS 25266 WITH SCORE 25402.711
AT ITER 1279 NEW BEST:: SOT 222316 SOS 136725 HAS SOPS 51388 HAS SOUS 32969 HAS SOUPS 25256 WITH SCORE 25392.725
AT ITER 1280 NEW BEST:: SOT 222147 SOS 136705 HAS SOPS 51368 HAS SOUS 32949 HAS SOUPS 25236 WITH SCORE 25372.705
AT ITER 1289 NEW BEST:: SOT 221637 SOS 137931 HAS SOPS 51214 HAS SOUS 32948 HAS SOUPS 25082 WITH SCORE 25219.931
AT ITER 1290 NEW BEST:: SOT 221631 SOS 137529 HAS SOPS 50800 HAS SOUS 32755 HAS SOUPS 24889 WITH SCORE 25026.529
AT ITER 1291 NEW BEST:: SOT 221655 SOS 137457 HAS SOPS 51288 HAS SOUS 32739 HAS SOUPS 24873 WITH SCORE 25010.457
AT ITER 1292 NEW BEST:: SOT 221221 SOS 137399 HAS SOPS 51260 HAS SOUS 32644 HAS SOUPS 24825 WITH SCORE 24962.399
AT ITER 1293 NEW BEST:: SOT 221202 SOS 137380 HAS SOPS 51260 HAS SOUS 32625 HAS SOUPS 24825 WITH SCORE 24962.38
AT ITER 1297 NEW BEST:: SOT 221176 SOS 137351 HAS SOPS 51231 HAS SOUS 32537 HAS SOUPS 24737 WITH SCORE 24874.351
AT ITER 1303 NEW BEST:: SOT 221176 SOS 137260 HAS SOPS 51165 HAS SOUS 32537 HAS SOUPS 24737 WITH SCORE 24874.26
AT ITER 1306 NEW BEST:: SOT 220299 SOS 136383 HAS SOPS 50314 HAS SOUS 31663 HAS SOUPS 23863 WITH SCORE 23999.383
AT ITER 1315 NEW BEST:: SOT 220426 SOS 133186 HAS SOPS 50314 HAS SOUS 31548 HAS SOUPS 23861 WITH SCORE 23994.186
AT ITER 1327 NEW BEST:: SOT 220450 SOS 132570 HAS SOPS 50314 HAS SOUS 31559 HAS SOUPS 23861 WITH SCORE 23993.57
AT ITER 1331 NEW BEST:: SOT 220441 SOS 132671 HAS SOPS 50296 HAS SOUS 31571 HAS SOUPS 23856 WITH SCORE 23988.671
AT ITER 1347 NEW BEST:: SOT 220434 SOS 132677 HAS SOPS 50287 HAS SOUS 31550 HAS SOUPS 23846 WITH SCORE 23978.677
AT ITER 1353 NEW BEST:: SOT 220419 SOS 133082 HAS SOPS 50257 HAS SOUS 31534 HAS SOUPS 23755 WITH SCORE 23888.082
AT ITER 1361 NEW BEST:: SOT 220605 SOS 133268 HAS SOPS 50443 HAS SOUS 31532 HAS SOUPS 23753 WITH SCORE 23886.268
AT ITER 1373 NEW BEST:: SOT 220579 SOS 133370 HAS SOPS 50433 HAS SOUS 31542 HAS SOUPS 23749 WITH SCORE 23882.37
AT ITER 1375 NEW BEST:: SOT 220575 SOS 133206 HAS SOPS 50409 HAS SOUS 31530 HAS SOUPS 23741 WITH SCORE 23874.206
AT ITER 1376 NEW BEST:: SOT 220550 SOS 133181 HAS SOPS 50384 HAS SOUS 31505 HAS SOUPS 23716 WITH SCORE 23849.181
AT ITER 1379 NEW BEST:: SOT 220529 SOS 133097 HAS SOPS 50307 HAS SOUS 31456 HAS SOUPS 23667 WITH SCORE 23800.097
AT ITER 1382 NEW BEST:: SOT 220483 SOS 133022 HAS SOPS 50222 HAS SOUS 31393 HAS SOUPS 23599 WITH SCORE 23732.022
AT ITER 1390 NEW BEST:: SOT 220133 SOS 132696 HAS SOPS 49896 HAS SOUS 31281 HAS SOUPS 23374 WITH SCORE 23506.696
AT ITER 1393 NEW BEST:: SOT 219629 SOS 133009 HAS SOPS 50198 HAS SOUS 31390 HAS SOUPS 23286 WITH SCORE 23419.009
AT ITER 1406 NEW BEST:: SOT 219707 SOS 132327 HAS SOPS 50211 HAS SOUS 31337 HAS SOUPS 23286 WITH SCORE 23418.327
AT ITER 1408 NEW BEST:: SOT 219687 SOS 132317 HAS SOPS 50201 HAS SOUS 31337 HAS SOUPS 23286 WITH SCORE 23418.317
AT ITER 1411 NEW BEST:: SOT 219735 SOS 131162 HAS SOPS 50203 HAS SOUS 31269 HAS SOUPS 23287 WITH SCORE 23418.162
AT ITER 1412 NEW BEST:: SOT 219735 SOS 131142 HAS SOPS 50199 HAS SOUS 31263 HAS SOUPS 23283 WITH SCORE 23414.142
AT ITER 1416 NEW BEST:: SOT 219735 SOS 131023 HAS SOPS 50199 HAS SOUS 31309 HAS SOUPS 23254 WITH SCORE 23385.023
AT ITER 1418 NEW BEST:: SOT 219728 SOS 130986 HAS SOPS 50165 HAS SOUS 31292 HAS SOUPS 23237 WITH SCORE 23367.986
AT ITER 1420 NEW BEST:: SOT 219638 SOS 131916 HAS SOPS 50015 HAS SOUS 31292 HAS SOUPS 23207 WITH SCORE 23338.916
AT ITER 1423 NEW BEST:: SOT 219544 SOS 131822 HAS SOPS 49921 HAS SOUS 31198 HAS SOUPS 23113 WITH SCORE 23244.822
AT ITER 1429 NEW BEST:: SOT 219487 SOS 131776 HAS SOPS 49921 HAS SOUS 31195 HAS SOUPS 23113 WITH SCORE 23244.776
AT ITER 1433 NEW BEST:: SOT 219487 SOS 131407 HAS SOPS 49921 HAS SOUS 31195 HAS SOUPS 23113 WITH SCORE 23244.407
AT ITER 1438 NEW BEST:: SOT 219546 SOS 131378 HAS SOPS 49843 HAS SOUS 31063 HAS SOUPS 23030 WITH SCORE 23161.378
AT ITER 1439 NEW BEST:: SOT 219544 SOS 131374 HAS SOPS 49839 HAS SOUS 31079 HAS SOUPS 23027 WITH SCORE 23158.374
AT ITER 1442 NEW BEST:: SOT 219551 SOS 131336 HAS SOPS 49829 HAS SOUS 31075 HAS SOUPS 23027 WITH SCORE 23158.336
AT ITER 1449 NEW BEST:: SOT 219532 SOS 131317 HAS SOPS 49829 HAS SOUS 31075 HAS SOUPS 23027 WITH SCORE 23158.317
AT ITER 1455 NEW BEST:: SOT 219347 SOS 131136 HAS SOPS 49812 HAS SOUS 31022 HAS SOUPS 23006 WITH SCORE 23137.136
AT ITER 1459 NEW BEST:: SOT 219205 SOS 131159 HAS SOPS 49835 HAS SOUS 30962 HAS SOUPS 22946 WITH SCORE 23077.159
AT ITER 1471 NEW BEST:: SOT 219187 SOS 131195 HAS SOPS 49853 HAS SOUS 30975 HAS SOUPS 22941 WITH SCORE 23072.195
AT ITER 1485 NEW BEST:: SOT 219178 SOS 131183 HAS SOPS 49844 HAS SOUS 30972 HAS SOUPS 22935 WITH SCORE 23066.183
AT ITER 1487 NEW BEST:: SOT 219277 SOS 131401 HAS SOPS 51195 HAS SOUS 30971 HAS SOUPS 22934 WITH SCORE 23065.401
AT ITER 1501 NEW BEST:: SOT 218980 SOS 131358 HAS SOPS 51153 HAS SOUS 31020 HAS SOUPS 22905 WITH SCORE 23036.358
AT ITER 1513 NEW BEST:: SOT 218925 SOS 131295 HAS SOPS 51091 HAS SOUS 30983 HAS SOUPS 22845 WITH SCORE 22976.295
AT ITER 1530 NEW BEST:: SOT 218952 SOS 131349 HAS SOPS 51145 HAS SOUS 30946 HAS SOUPS 22808 WITH SCORE 22939.349
AT ITER 1536 NEW BEST:: SOT 218854 SOS 131211 HAS SOPS 51007 HAS SOUS 30801 HAS SOUPS 22663 WITH SCORE 22794.211
AT ITER 1542 NEW BEST:: SOT 218893 SOS 131238 HAS SOPS 51078 HAS SOUS 30793 HAS SOUPS 22662 WITH SCORE 22793.238
AT ITER 1545 NEW BEST:: SOT 218893 SOS 131153 HAS SOPS 50993 HAS SOUS 30708 HAS SOUPS 22577 WITH SCORE 22708.153
AT ITER 1547 NEW BEST:: SOT 218865 SOS 131069 HAS SOPS 50909 HAS SOUS 30652 HAS SOUPS 22521 WITH SCORE 22652.069
AT ITER 1556 NEW BEST:: SOT 218748 SOS 130910 HAS SOPS 50750 HAS SOUS 30575 HAS SOUPS 22444 WITH SCORE 22574.91
AT ITER 1563 NEW BEST:: SOT 218583 SOS 130815 HAS SOPS 50687 HAS SOUS 30254 HAS SOUPS 22036 WITH SCORE 22166.815
AT ITER 1570 NEW BEST:: SOT 218553 SOS 130587 HAS SOPS 50459 HAS SOUS 30246 HAS SOUPS 22028 WITH SCORE 22158.587
AT ITER 1581 NEW BEST:: SOT 218553 SOS 130598 HAS SOPS 50462 HAS SOUS 30243 HAS SOUPS 22024 WITH SCORE 22154.598
AT ITER 1590 NEW BEST:: SOT 218519 SOS 130581 HAS SOPS 50411 HAS SOUS 30213 HAS SOUPS 21990 WITH SCORE 22120.581
AT ITER 1596 NEW BEST:: SOT 218518 SOS 130573 HAS SOPS 50411 HAS SOUS 30213 HAS SOUPS 21990 WITH SCORE 22120.573
AT ITER 1598 NEW BEST:: SOT 218518 SOS 130553 HAS SOPS 50415 HAS SOUS 30213 HAS SOUPS 21990 WITH SCORE 22120.553
AT ITER 1603 NEW BEST:: SOT 217629 SOS 130804 HAS SOPS 50358 HAS SOUS 30107 HAS SOUPS 21933 WITH SCORE 22063.804
AT ITER 1607 NEW BEST:: SOT 217585 SOS 130716 HAS SOPS 50214 HAS SOUS 30073 HAS SOUPS 21899 WITH SCORE 22029.716
AT ITER 1611 NEW BEST:: SOT 218201 SOS 127932 HAS SOPS 50218 HAS SOUS 29895 HAS SOUPS 21859 WITH SCORE 21986.932
AT ITER 1613 NEW BEST:: SOT 218085 SOS 127816 HAS SOPS 50108 HAS SOUS 29860 HAS SOUPS 21776 WITH SCORE 21903.816
AT ITER 1625 NEW BEST:: SOT 218089 SOS 127788 HAS SOPS 50080 HAS SOUS 29846 HAS SOUPS 21762 WITH SCORE 21889.788
AT ITER 1631 NEW BEST:: SOT 218064 SOS 127763 HAS SOPS 50060 HAS SOUS 29821 HAS SOUPS 21742 WITH SCORE 21869.763
AT ITER 1636 NEW BEST:: SOT 218063 SOS 127759 HAS SOPS 50057 HAS SOUS 29818 HAS SOUPS 21739 WITH SCORE 21866.759
AT ITER 1649 NEW BEST:: SOT 218050 SOS 127756 HAS SOPS 50065 HAS SOUS 29794 HAS SOUPS 21726 WITH SCORE 21853.756
AT ITER 1656 NEW BEST:: SOT 217995 SOS 127721 HAS SOPS 50033 HAS SOUS 29762 HAS SOUPS 21694 WITH SCORE 21821.721
AT ITER 1671 NEW BEST:: SOT 217878 SOS 127604 HAS SOPS 49854 HAS SOUS 29638 HAS SOUPS 21570 WITH SCORE 21697.604
AT ITER 1683 NEW BEST:: SOT 217864 SOS 127625 HAS SOPS 49826 HAS SOUS 29638 HAS SOUPS 21563 WITH SCORE 21690.625
AT ITER 1754 NEW BEST:: SOT 217860 SOS 127615 HAS SOPS 49818 HAS SOUS 29638 HAS SOUPS 21561 WITH SCORE 21688.615
AT ITER 1755 NEW BEST:: SOT 217879 SOS 127555 HAS SOPS 49744 HAS SOUS 29638 HAS SOUPS 21561 WITH SCORE 21688.555
AT ITER 1766 NEW BEST:: SOT 215897 SOS 126014 HAS SOPS 49556 HAS SOUS 29277 HAS SOUPS 21397 WITH SCORE 21523.014
AT ITER 1770 NEW BEST:: SOT 215827 SOS 125944 HAS SOPS 49486 HAS SOUS 29207 HAS SOUPS 21347 WITH SCORE 21472.944
AT ITER 1772 NEW BEST:: SOT 215821 SOS 126031 HAS SOPS 49258 HAS SOUS 29218 HAS SOUPS 21335 WITH SCORE 21461.031
AT ITER 1779 NEW BEST:: SOT 215821 SOS 126011 HAS SOPS 49228 HAS SOUS 29203 HAS SOUPS 21325 WITH SCORE 21451.011
AT ITER 1790 NEW BEST:: SOT 215810 SOS 126012 HAS SOPS 49217 HAS SOUS 29192 HAS SOUPS 21314 WITH SCORE 21440.012
AT ITER 1798 NEW BEST:: SOT 215980 SOS 126049 HAS SOPS 49117 HAS SOUS 29104 HAS SOUPS 21214 WITH SCORE 21340.049
AT ITER 1810 NEW BEST:: SOT 215809 SOS 125714 HAS SOPS 48923 HAS SOUS 29212 HAS SOUPS 21173 WITH SCORE 21298.714
AT ITER 1818 NEW BEST:: SOT 215865 SOS 125796 HAS SOPS 49005 HAS SOUS 29112 HAS SOUPS 21073 WITH SCORE 21198.796
AT ITER 1824 NEW BEST:: SOT 215862 SOS 125796 HAS SOPS 49005 HAS SOUS 29094 HAS SOUPS 21055 WITH SCORE 21180.796
AT ITER 1825 NEW BEST:: SOT 215698 SOS 125725 HAS SOPS 48813 HAS SOUS 29003 HAS SOUPS 20964 WITH SCORE 21089.725
AT ITER 1828 NEW BEST:: SOT 215653 SOS 125635 HAS SOPS 48768 HAS SOUS 29001 HAS SOUPS 20942 WITH SCORE 21067.635
AT ITER 1834 NEW BEST:: SOT 215621 SOS 125603 HAS SOPS 48736 HAS SOUS 28703 HAS SOUPS 20644 WITH SCORE 20769.603
AT ITER 1838 NEW BEST:: SOT 215591 SOS 125553 HAS SOPS 48696 HAS SOUS 28643 HAS SOUPS 20574 WITH SCORE 20699.553
AT ITER 1870 NEW BEST:: SOT 215591 SOS 125541 HAS SOPS 48516 HAS SOUS 28619 HAS SOUPS 20550 WITH SCORE 20675.541
AT ITER 1898 NEW BEST:: SOT 215528 SOS 125522 HAS SOPS 48466 HAS SOUS 28637 HAS SOUPS 20544 WITH SCORE 20669.522
AT ITER 1901 NEW BEST:: SOT 215562 SOS 125527 HAS SOPS 48471 HAS SOUS 28616 HAS SOUPS 20543 WITH SCORE 20668.527
AT ITER 1910 NEW BEST:: SOT 215525 SOS 125533 HAS SOPS 48477 HAS SOUS 28610 HAS SOUPS 20497 WITH SCORE 20622.533
AT ITER 1918 NEW BEST:: SOT 215449 SOS 125525 HAS SOPS 48469 HAS SOUS 28589 HAS SOUPS 20476 WITH SCORE 20601.525
AT ITER 1920 NEW BEST:: SOT 215381 SOS 125524 HAS SOPS 48378 HAS SOUS 28610 HAS SOUPS 20452 WITH SCORE 20577.524
AT ITER 1922 NEW BEST:: SOT 215335 SOS 125523 HAS SOPS 48332 HAS SOUS 28610 HAS SOUPS 20429 WITH SCORE 20554.523
AT ITER 1935 NEW BEST:: SOT 215601 SOS 125431 HAS SOPS 48240 HAS SOUS 28455 HAS SOUPS 20274 WITH SCORE 20399.431
AT ITER 1952 NEW BEST:: SOT 215597 SOS 125419 HAS SOPS 48228 HAS SOUS 28439 HAS SOUPS 20262 WITH SCORE 20387.419
AT ITER 1962 NEW BEST:: SOT 215563 SOS 125405 HAS SOPS 48214 HAS SOUS 28451 HAS SOUPS 20257 WITH SCORE 20382.405
AT ITER 1970 NEW BEST:: SOT 215223 SOS 125369 HAS SOPS 48202 HAS SOUS 28539 HAS SOUPS 20256 WITH SCORE 20381.369
AT ITER 1979 NEW BEST:: SOT 215157 SOS 125303 HAS SOPS 48130 HAS SOUS 28383 HAS SOUPS 20100 WITH SCORE 20225.303
AT ITER 2008 NEW BEST:: SOT 215151 SOS 125291 HAS SOPS 48118 HAS SOUS 28365 HAS SOUPS 20082 WITH SCORE 20207.291
AT ITER 2016 NEW BEST:: SOT 215250 SOS 125078 HAS SOPS 47982 HAS SOUS 28227 HAS SOUPS 20055 WITH SCORE 20180.078
AT ITER 2020 NEW BEST:: SOT 215261 SOS 125089 HAS SOPS 47947 HAS SOUS 28220 HAS SOUPS 20020 WITH SCORE 20145.089
AT ITER 2023 NEW BEST:: SOT 215136 SOS 125071 HAS SOPS 47858 HAS SOUS 28193 HAS SOUPS 19993 WITH SCORE 20118.071
AT ITER 2041 NEW BEST:: SOT 215124 SOS 125071 HAS SOPS 47858 HAS SOUS 28154 HAS SOUPS 19954 WITH SCORE 20079.071
AT ITER 2064 NEW BEST:: SOT 215098 SOS 125045 HAS SOPS 47836 HAS SOUS 28132 HAS SOUPS 19932 WITH SCORE 20057.045
AT ITER 2065 NEW BEST:: SOT 215083 SOS 125039 HAS SOPS 47815 HAS SOUS 28108 HAS SOUPS 19908 WITH SCORE 20033.039
AT ITER 2090 NEW BEST:: SOT 214914 SOS 124870 HAS SOPS 47666 HAS SOUS 28062 HAS SOUPS 19877 WITH SCORE 20001.87
AT ITER 2112 NEW BEST:: SOT 214859 SOS 124815 HAS SOPS 47611 HAS SOUS 28006 HAS SOUPS 19821 WITH SCORE 19945.815
AT ITER 2129 NEW BEST:: SOT 214864 SOS 124810 HAS SOPS 47611 HAS SOUS 28001 HAS SOUPS 19816 WITH SCORE 19940.81
AT ITER 2135 NEW BEST:: SOT 214928 SOS 124781 HAS SOPS 47639 HAS SOUS 27982 HAS SOUPS 19797 WITH SCORE 19921.781
AT ITER 2137 NEW BEST:: SOT 214957 SOS 123754 HAS SOPS 47121 HAS SOUS 27988 HAS SOUPS 19780 WITH SCORE 19903.754
AT ITER 2140 NEW BEST:: SOT 215127 SOS 122950 HAS SOPS 47059 HAS SOUS 27934 HAS SOUPS 19752 WITH SCORE 19874.95
AT ITER 2157 NEW BEST:: SOT 215100 SOS 122966 HAS SOPS 47186 HAS SOUS 27920 HAS SOUPS 19738 WITH SCORE 19860.966
AT ITER 2161 NEW BEST:: SOT 215106 SOS 122906 HAS SOPS 47126 HAS SOUS 27890 HAS SOUPS 19708 WITH SCORE 19830.906
AT ITER 2165 NEW BEST:: SOT 215021 SOS 122821 HAS SOPS 47037 HAS SOUS 27803 HAS SOUPS 19646 WITH SCORE 19768.821
AT ITER 2221 NEW BEST:: SOT 215053 SOS 122765 HAS SOPS 47005 HAS SOUS 27809 HAS SOUPS 19628 WITH SCORE 19750.765
AT ITER 2230 NEW BEST:: SOT 215103 SOS 120890 HAS SOPS 46923 HAS SOUS 27641 HAS SOUPS 19580 WITH SCORE 19700.89
AT ITER 2243 NEW BEST:: SOT 215055 SOS 120758 HAS SOPS 46059 HAS SOUS 27545 HAS SOUPS 19484 WITH SCORE 19604.758
AT ITER 2260 NEW BEST:: SOT 215067 SOS 120770 HAS SOPS 46036 HAS SOUS 27556 HAS SOUPS 19461 WITH SCORE 19581.77
AT ITER 2277 NEW BEST:: SOT 214920 SOS 120733 HAS SOPS 45600 HAS SOUS 27553 HAS SOUPS 19400 WITH SCORE 19520.733
AT ITER 2290 NEW BEST:: SOT 214923 SOS 120739 HAS SOPS 45606 HAS SOUS 27549 HAS SOUPS 19396 WITH SCORE 19516.739
AT ITER 2292 NEW BEST:: SOT 214860 SOS 120699 HAS SOPS 45566 HAS SOUS 27548 HAS SOUPS 19395 WITH SCORE 19515.699
AT ITER 2295 NEW BEST:: SOT 214880 SOS 120719 HAS SOPS 45578 HAS SOUS 27540 HAS SOUPS 19387 WITH SCORE 19507.719
AT ITER 2303 NEW BEST:: SOT 214738 SOS 120739 HAS SOPS 45598 HAS SOUS 27536 HAS SOUPS 19383 WITH SCORE 19503.739
AT ITER 2323 NEW BEST:: SOT 214704 SOS 120834 HAS SOPS 45564 HAS SOUS 27452 HAS SOUPS 19281 WITH SCORE 19401.834
AT ITER 2353 NEW BEST:: SOT 214649 SOS 120740 HAS SOPS 45451 HAS SOUS 27336 HAS SOUPS 19168 WITH SCORE 19288.74
AT ITER 2375 NEW BEST:: SOT 214696 SOS 120659 HAS SOPS 45397 HAS SOUS 27318 HAS SOUPS 19150 WITH SCORE 19270.659
AT ITER 2397 NEW BEST:: SOT 215088 SOS 119646 HAS SOPS 45354 HAS SOUS 27229 HAS SOUPS 19080 WITH SCORE 19199.646
AT ITER 2406 NEW BEST:: SOT 215063 SOS 119621 HAS SOPS 45304 HAS SOUS 27136 HAS SOUPS 19007 WITH SCORE 19126.621
AT ITER 2409 NEW BEST:: SOT 215095 SOS 119355 HAS SOPS 45038 HAS SOUS 27102 HAS SOUPS 18973 WITH SCORE 19092.355
AT ITER 2423 NEW BEST:: SOT 214972 SOS 119150 HAS SOPS 44833 HAS SOUS 26938 HAS SOUPS 18850 WITH SCORE 18969.15
AT ITER 2440 NEW BEST:: SOT 214968 SOS 119142 HAS SOPS 44799 HAS SOUS 26921 HAS SOUPS 18846 WITH SCORE 18965.142
AT ITER 2444 NEW BEST:: SOT 214964 SOS 119138 HAS SOPS 44791 HAS SOUS 26913 HAS SOUPS 18838 WITH SCORE 18957.138
AT ITER 2457 NEW BEST:: SOT 215021 SOS 118994 HAS SOPS 44791 HAS SOUS 26901 HAS SOUPS 18832 WITH SCORE 18950.994
AT ITER 2466 NEW BEST:: SOT 214974 SOS 119172 HAS SOPS 44697 HAS SOUS 26879 HAS SOUPS 18789 WITH SCORE 18908.172
AT ITER 2467 NEW BEST:: SOT 214898 SOS 119107 HAS SOPS 44625 HAS SOUS 26858 HAS SOUPS 18728 WITH SCORE 18847.107
AT ITER 2477 NEW BEST:: SOT 214886 SOS 119095 HAS SOPS 44607 HAS SOUS 26852 HAS SOUPS 18722 WITH SCORE 18841.095
AT ITER 2478 NEW BEST:: SOT 214896 SOS 118843 HAS SOPS 44627 HAS SOUS 26802 HAS SOUPS 18706 WITH SCORE 18824.843
AT ITER 2479 NEW BEST:: SOT 214887 SOS 118321 HAS SOPS 44357 HAS SOUS 26739 HAS SOUPS 18679 WITH SCORE 18797.321
AT ITER 2484 NEW BEST:: SOT 214896 SOS 118318 HAS SOPS 44363 HAS SOUS 26739 HAS SOUPS 18679 WITH SCORE 18797.318
AT ITER 2490 NEW BEST:: SOT 214883 SOS 118283 HAS SOPS 44316 HAS SOUS 26720 HAS SOUPS 18672 WITH SCORE 18790.283
AT ITER 2500 NEW BEST:: SOT 214893 SOS 118293 HAS SOPS 44288 HAS SOUS 26682 HAS SOUPS 18634 WITH SCORE 18752.293
AT ITER 2503 NEW BEST:: SOT 214874 SOS 118256 HAS SOPS 44224 HAS SOUS 26629 HAS SOUPS 18582 WITH SCORE 18700.256
AT ITER 2512 NEW BEST:: SOT 214868 SOS 118250 HAS SOPS 44218 HAS SOUS 26626 HAS SOUPS 18579 WITH SCORE 18697.25
AT ITER 2515 NEW BEST:: SOT 214898 SOS 118350 HAS SOPS 44238 HAS SOUS 26656 HAS SOUPS 18569 WITH SCORE 18687.35
AT ITER 2532 NEW BEST:: SOT 214844 SOS 118649 HAS SOPS 44130 HAS SOUS 26623 HAS SOUPS 18493 WITH SCORE 18611.649
AT ITER 2537 NEW BEST:: SOT 214828 SOS 118841 HAS SOPS 44066 HAS SOUS 26642 HAS SOUPS 18480 WITH SCORE 18598.841
AT ITER 2546 NEW BEST:: SOT 216392 SOS 120405 HAS SOPS 45438 HAS SOUS 25944 HAS SOUPS 17778 WITH SCORE 17898.405
AT ITER 2548 NEW BEST:: SOT 216409 SOS 120400 HAS SOPS 45440 HAS SOUS 25907 HAS SOUPS 17741 WITH SCORE 17861.4
AT ITER 2568 NEW BEST:: SOT 216418 SOS 120256 HAS SOPS 45658 HAS SOUS 25880 HAS SOUPS 17732 WITH SCORE 17852.256
AT ITER 2571 NEW BEST:: SOT 216409 SOS 120206 HAS SOPS 45654 HAS SOUS 25876 HAS SOUPS 17728 WITH SCORE 17848.206
AT ITER 2608 NEW BEST:: SOT 216436 SOS 120168 HAS SOPS 45485 HAS SOUS 25846 HAS SOUPS 17698 WITH SCORE 17818.168
AT ITER 2616 NEW BEST:: SOT 216242 SOS 119046 HAS SOPS 44361 HAS SOUS 25815 HAS SOUPS 17667 WITH SCORE 17786.046
AT ITER 2617 NEW BEST:: SOT 216244 SOS 119042 HAS SOPS 44357 HAS SOUS 25811 HAS SOUPS 17663 WITH SCORE 17782.042
AT ITER 2627 NEW BEST:: SOT 216192 SOS 118990 HAS SOPS 44357 HAS SOUS 25811 HAS SOUPS 17663 WITH SCORE 17781.99
AT ITER 2642 NEW BEST:: SOT 216179 SOS 118977 HAS SOPS 44345 HAS SOUS 25798 HAS SOUPS 17651 WITH SCORE 17769.977
AT ITER 2644 NEW BEST:: SOT 216182 SOS 118980 HAS SOPS 44348 HAS SOUS 25795 HAS SOUPS 17648 WITH SCORE 17766.98
AT ITER 2649 NEW BEST:: SOT 216182 SOS 118917 HAS SOPS 44362 HAS SOUS 25794 HAS SOUPS 17648 WITH SCORE 17766.917
AT ITER 2672 NEW BEST:: SOT 216044 SOS 118676 HAS SOPS 44164 HAS SOUS 25731 HAS SOUPS 17573 WITH SCORE 17691.676
AT ITER 2689 NEW BEST:: SOT 216042 SOS 118822 HAS SOPS 44110 HAS SOUS 25750 HAS SOUPS 17567 WITH SCORE 17685.822
AT ITER 2700 NEW BEST:: SOT 216040 SOS 118838 HAS SOPS 44126 HAS SOUS 25748 HAS SOUPS 17565 WITH SCORE 17683.838
AT ITER 2713 NEW BEST:: SOT 216204 SOS 119002 HAS SOPS 44109 HAS SOUS 25732 HAS SOUPS 17548 WITH SCORE 17667.002
AT ITER 2715 NEW BEST:: SOT 216204 SOS 119002 HAS SOPS 44109 HAS SOUS 25712 HAS SOUPS 17538 WITH SCORE 17657.002
AT ITER 2725 NEW BEST:: SOT 216151 SOS 119148 HAS SOPS 44059 HAS SOUS 25631 HAS SOUPS 17485 WITH SCORE 17604.148
AT ITER 2732 NEW BEST:: SOT 216139 SOS 119142 HAS SOPS 44041 HAS SOUS 25619 HAS SOUPS 17473 WITH SCORE 17592.142
AT ITER 2747 NEW BEST:: SOT 216162 SOS 119156 HAS SOPS 44055 HAS SOUS 25613 HAS SOUPS 17467 WITH SCORE 17586.156
AT ITER 2756 NEW BEST:: SOT 216186 SOS 119152 HAS SOPS 44005 HAS SOUS 25563 HAS SOUPS 17417 WITH SCORE 17536.152
AT ITER 2761 NEW BEST:: SOT 216186 SOS 119139 HAS SOPS 43992 HAS SOUS 25550 HAS SOUPS 17404 WITH SCORE 17523.139
AT ITER 2765 NEW BEST:: SOT 215887 SOS 118862 HAS SOPS 43646 HAS SOUS 25369 HAS SOUPS 17156 WITH SCORE 17274.862
AT ITER 2803 NEW BEST:: SOT 215662 SOS 118846 HAS SOPS 43588 HAS SOUS 25417 HAS SOUPS 17107 WITH SCORE 17225.846
AT ITER 2810 NEW BEST:: SOT 215748 SOS 117699 HAS SOPS 42441 HAS SOUS 25375 HAS SOUPS 17065 WITH SCORE 17182.699
AT ITER 2812 NEW BEST:: SOT 215742 SOS 117687 HAS SOPS 42429 HAS SOUS 25369 HAS SOUPS 17059 WITH SCORE 17176.687
AT ITER 2814 NEW BEST:: SOT 215732 SOS 117677 HAS SOPS 42409 HAS SOUS 25353 HAS SOUPS 17039 WITH SCORE 17156.677
AT ITER 2828 NEW BEST:: SOT 215724 SOS 117673 HAS SOPS 42405 HAS SOUS 25350 HAS SOUPS 17036 WITH SCORE 17153.673
AT ITER 2830 NEW BEST:: SOT 215742 SOS 117667 HAS SOPS 42441 HAS SOUS 25331 HAS SOUPS 17035 WITH SCORE 17152.667
AT ITER 2855 NEW BEST:: SOT 215742 SOS 117667 HAS SOPS 42441 HAS SOUS 25324 HAS SOUPS 17028 WITH SCORE 17145.667
AT ITER 2858 NEW BEST:: SOT 215715 SOS 118006 HAS SOPS 42387 HAS SOUS 25362 HAS SOUPS 17020 WITH SCORE 17138.006
AT ITER 2864 NEW BEST:: SOT 215707 SOS 117998 HAS SOPS 42379 HAS SOUS 25346 HAS SOUPS 17004 WITH SCORE 17121.998
AT ITER 2885 NEW BEST:: SOT 215695 SOS 117986 HAS SOPS 42355 HAS SOUS 25322 HAS SOUPS 16980 WITH SCORE 17097.986
AT ITER 2901 NEW BEST:: SOT 215779 SOS 117872 HAS SOPS 42355 HAS SOUS 25310 HAS SOUPS 16980 WITH SCORE 17097.872
AT ITER 2923 NEW BEST:: SOT 215777 SOS 117870 HAS SOPS 42353 HAS SOUS 25308 HAS SOUPS 16978 WITH SCORE 17095.87
AT ITER 2928 NEW BEST:: SOT 215847 SOS 117905 HAS SOPS 42388 HAS SOUS 25286 HAS SOUPS 16956 WITH SCORE 17073.905
AT ITER 2944 NEW BEST:: SOT 215938 SOS 117700 HAS SOPS 42388 HAS SOUS 25278 HAS SOUPS 16956 WITH SCORE 17073.7
AT ITER 2984 NEW BEST:: SOT 215920 SOS 117647 HAS SOPS 42335 HAS SOUS 25271 HAS SOUPS 16949 WITH SCORE 17066.647
AT ITER 3009 NEW BEST:: SOT 215907 SOS 117634 HAS SOPS 42335 HAS SOUS 25271 HAS SOUPS 16949 WITH SCORE 17066.634
AT ITER 3018 NEW BEST:: SOT 215797 SOS 117606 HAS SOPS 42243 HAS SOUS 25247 HAS SOUPS 16925 WITH SCORE 17042.606
AT ITER 3024 NEW BEST:: SOT 215791 SOS 117618 HAS SOPS 42243 HAS SOUS 25241 HAS SOUPS 16919 WITH SCORE 17036.618
AT ITER 3047 NEW BEST:: SOT 215768 SOS 117638 HAS SOPS 42274 HAS SOUS 25243 HAS SOUPS 16910 WITH SCORE 17027.638
AT ITER 3053 NEW BEST:: SOT 215767 SOS 117720 HAS SOPS 42244 HAS SOUS 25235 HAS SOUPS 16888 WITH SCORE 17005.72
AT ITER 3104 NEW BEST:: SOT 215780 SOS 117733 HAS SOPS 42230 HAS SOUS 25222 HAS SOUPS 16874 WITH SCORE 16991.733
AT ITER 3114 NEW BEST:: SOT 215780 SOS 117733 HAS SOPS 42202 HAS SOUS 25208 HAS SOUPS 16846 WITH SCORE 16963.733
AT ITER 3123 NEW BEST:: SOT 215766 SOS 117736 HAS SOPS 42174 HAS SOUS 25199 HAS SOUPS 16818 WITH SCORE 16935.736
AT ITER 3132 NEW BEST:: SOT 215772 SOS 117561 HAS SOPS 42135 HAS SOUS 25151 HAS SOUPS 16787 WITH SCORE 16904.561
AT ITER 3137 NEW BEST:: SOT 215744 SOS 117659 HAS SOPS 42142 HAS SOUS 25152 HAS SOUPS 16780 WITH SCORE 16897.659
AT ITER 3156 NEW BEST:: SOT 215757 SOS 117685 HAS SOPS 42155 HAS SOUS 25139 HAS SOUPS 16779 WITH SCORE 16896.685
AT ITER 3160 NEW BEST:: SOT 215749 SOS 117678 HAS SOPS 42148 HAS SOUS 25132 HAS SOUPS 16772 WITH SCORE 16889.678
AT ITER 3172 NEW BEST:: SOT 215841 SOS 117338 HAS SOPS 42148 HAS SOUS 25088 HAS SOUPS 16772 WITH SCORE 16889.338
AT ITER 3185 NEW BEST:: SOT 215769 SOS 117502 HAS SOPS 42088 HAS SOUS 25096 HAS SOUPS 16752 WITH SCORE 16869.502
AT ITER 3187 NEW BEST:: SOT 215718 SOS 117617 HAS SOPS 42234 HAS SOUS 25076 HAS SOUPS 16732 WITH SCORE 16849.617
AT ITER 3235 NEW BEST:: SOT 215741 SOS 117576 HAS SOPS 42220 HAS SOUS 25023 HAS SOUPS 16679 WITH SCORE 16796.576
AT ITER 3240 NEW BEST:: SOT 215689 SOS 117524 HAS SOPS 42155 HAS SOUS 25011 HAS SOUPS 16641 WITH SCORE 16758.524
AT ITER 3245 NEW BEST:: SOT 215689 SOS 117545 HAS SOPS 42176 HAS SOUS 25002 HAS SOUPS 16632 WITH SCORE 16749.545
AT ITER 3258 NEW BEST:: SOT 215673 SOS 117529 HAS SOPS 42159 HAS SOUS 24995 HAS SOUPS 16621 WITH SCORE 16738.529
AT ITER 3306 NEW BEST:: SOT 215771 SOS 117576 HAS SOPS 42158 HAS SOUS 24994 HAS SOUPS 16620 WITH SCORE 16737.576
AT ITER 3314 NEW BEST:: SOT 215762 SOS 117579 HAS SOPS 42174 HAS SOUS 24995 HAS SOUPS 16608 WITH SCORE 16725.579
AT ITER 3327 NEW BEST:: SOT 215756 SOS 117570 HAS SOPS 42165 HAS SOUS 24986 HAS SOUPS 16599 WITH SCORE 16716.57
AT ITER 3334 NEW BEST:: SOT 215724 SOS 117576 HAS SOPS 42157 HAS SOUS 24966 HAS SOUPS 16579 WITH SCORE 16696.576
AT ITER 3340 NEW BEST:: SOT 215675 SOS 118760 HAS SOPS 43245 HAS SOUS 24886 HAS SOUPS 16499 WITH SCORE 16617.76
AT ITER 3362 NEW BEST:: SOT 215683 SOS 118768 HAS SOPS 43249 HAS SOUS 24881 HAS SOUPS 16494 WITH SCORE 16612.768
AT ITER 3376 NEW BEST:: SOT 215613 SOS 118008 HAS SOPS 42121 HAS SOUS 24943 HAS SOUPS 16466 WITH SCORE 16584.008
AT ITER 3386 NEW BEST:: SOT 215613 SOS 118000 HAS SOPS 42113 HAS SOUS 24935 HAS SOUPS 16458 WITH SCORE 16576.0
AT ITER 3406 NEW BEST:: SOT 215515 SOS 118268 HAS SOPS 42035 HAS SOUS 24930 HAS SOUPS 16400 WITH SCORE 16518.268
AT ITER 3408 NEW BEST:: SOT 215507 SOS 118252 HAS SOPS 42019 HAS SOUS 24922 HAS SOUPS 16392 WITH SCORE 16510.252
AT ITER 3410 NEW BEST:: SOT 215504 SOS 118242 HAS SOPS 42005 HAS SOUS 24927 HAS SOUPS 16389 WITH SCORE 16507.242
AT ITER 3417 NEW BEST:: SOT 215497 SOS 118228 HAS SOPS 41991 HAS SOUS 24913 HAS SOUPS 16375 WITH SCORE 16493.228
AT ITER 3434 NEW BEST:: SOT 215471 SOS 118320 HAS SOPS 41987 HAS SOUS 24911 HAS SOUPS 16361 WITH SCORE 16479.32
AT ITER 3446 NEW BEST:: SOT 215531 SOS 118360 HAS SOPS 42007 HAS SOUS 24891 HAS SOUPS 16341 WITH SCORE 16459.36
AT ITER 3472 NEW BEST:: SOT 215503 SOS 118272 HAS SOPS 41919 HAS SOUS 24831 HAS SOUPS 16281 WITH SCORE 16399.272
AT ITER 3483 NEW BEST:: SOT 215543 SOS 118295 HAS SOPS 41907 HAS SOUS 24823 HAS SOUPS 16269 WITH SCORE 16387.295
AT ITER 3501 NEW BEST:: SOT 215542 SOS 118300 HAS SOPS 41912 HAS SOUS 24822 HAS SOUPS 16268 WITH SCORE 16386.3
AT ITER 3541 NEW BEST:: SOT 215611 SOS 118163 HAS SOPS 41775 HAS SOUS 24817 HAS SOUPS 16263 WITH SCORE 16381.163
AT ITER 3563 NEW BEST:: SOT 215489 SOS 118051 HAS SOPS 41767 HAS SOUS 24773 HAS SOUPS 16255 WITH SCORE 16373.051
AT ITER 3569 NEW BEST:: SOT 215465 SOS 117889 HAS SOPS 41757 HAS SOUS 24714 HAS SOUPS 16215 WITH SCORE 16332.889
AT ITER 3584 NEW BEST:: SOT 215452 SOS 117876 HAS SOPS 41744 HAS SOUS 24701 HAS SOUPS 16202 WITH SCORE 16319.876
AT ITER 3607 NEW BEST:: SOT 215396 SOS 117819 HAS SOPS 41686 HAS SOUS 24643 HAS SOUPS 16143 WITH SCORE 16260.819
AT ITER 3633 NEW BEST:: SOT 215396 SOS 117807 HAS SOPS 41674 HAS SOUS 24641 HAS SOUPS 16141 WITH SCORE 16258.807
AT ITER 3637 NEW BEST:: SOT 214532 SOS 116943 HAS SOPS 40810 HAS SOUS 24206 HAS SOUPS 15706 WITH SCORE 15822.943
AT ITER 3641 NEW BEST:: SOT 214504 SOS 116915 HAS SOPS 40789 HAS SOUS 24199 HAS SOUPS 15692 WITH SCORE 15808.915
AT ITER 3666 NEW BEST:: SOT 214467 SOS 117885 HAS SOPS 40787 HAS SOUS 24189 HAS SOUPS 15682 WITH SCORE 15799.885
AT ITER 3673 NEW BEST:: SOT 214686 SOS 117522 HAS SOPS 40787 HAS SOUS 24184 HAS SOUPS 15677 WITH SCORE 15794.522
AT ITER 3695 NEW BEST:: SOT 214677 SOS 117584 HAS SOPS 40789 HAS SOUS 24187 HAS SOUPS 15675 WITH SCORE 15792.584
AT ITER 3704 NEW BEST:: SOT 214671 SOS 117602 HAS SOPS 40786 HAS SOUS 24181 HAS SOUPS 15666 WITH SCORE 15783.602
AT ITER 3709 NEW BEST:: SOT 214531 SOS 117533 HAS SOPS 40758 HAS SOUS 24194 HAS SOUPS 15645 WITH SCORE 15762.533
AT ITER 3718 NEW BEST:: SOT 214542 SOS 117482 HAS SOPS 40758 HAS SOUS 24195 HAS SOUPS 15645 WITH SCORE 15762.482
AT ITER 3758 NEW BEST:: SOT 214534 SOS 117431 HAS SOPS 40747 HAS SOUS 24189 HAS SOUPS 15644 WITH SCORE 15761.431
AT ITER 3771 NEW BEST:: SOT 214523 SOS 117409 HAS SOPS 40725 HAS SOUS 24172 HAS SOUPS 15627 WITH SCORE 15744.409
AT ITER 3772 NEW BEST:: SOT 214518 SOS 117364 HAS SOPS 40725 HAS SOUS 24167 HAS SOUPS 15627 WITH SCORE 15744.364
AT ITER 3774 NEW BEST:: SOT 214516 SOS 117362 HAS SOPS 40685 HAS SOUS 24161 HAS SOUPS 15621 WITH SCORE 15738.362
AT ITER 3796 NEW BEST:: SOT 214514 SOS 117162 HAS SOPS 40683 HAS SOUS 24161 HAS SOUPS 15621 WITH SCORE 15738.162
AT ITER 3858 NEW BEST:: SOT 214521 SOS 117077 HAS SOPS 40829 HAS SOUS 24149 HAS SOUPS 15620 WITH SCORE 15737.077
AT ITER 3863 NEW BEST:: SOT 214519 SOS 117025 HAS SOPS 40841 HAS SOUS 24140 HAS SOUPS 15619 WITH SCORE 15736.025
AT ITER 3882 NEW BEST:: SOT 214523 SOS 117023 HAS SOPS 40839 HAS SOUS 24140 HAS SOUPS 15619 WITH SCORE 15736.023
AT ITER 3893 NEW BEST:: SOT 214497 SOS 116945 HAS SOPS 40956 HAS SOUS 24127 HAS SOUPS 15619 WITH SCORE 15735.945
AT ITER 3901 NEW BEST:: SOT 214403 SOS 116898 HAS SOPS 40956 HAS SOUS 24123 HAS SOUPS 15619 WITH SCORE 15735.898
AT ITER 3948 NEW BEST:: SOT 214415 SOS 116806 HAS SOPS 40864 HAS SOUS 24082 HAS SOUPS 15578 WITH SCORE 15694.806
AT ITER 3965 NEW BEST:: SOT 214414 SOS 116790 HAS SOPS 40855 HAS SOUS 24078 HAS SOUPS 15575 WITH SCORE 15691.79
AT ITER 3987 NEW BEST:: SOT 214399 SOS 116620 HAS SOPS 40845 HAS SOUS 24050 HAS SOUPS 15567 WITH SCORE 15683.62
AT ITER 3988 NEW BEST:: SOT 214356 SOS 116233 HAS SOPS 40802 HAS SOUS 24007 HAS SOUPS 15567 WITH SCORE 15683.233
AT ITER 4029 NEW BEST:: SOT 214353 SOS 116227 HAS SOPS 40826 HAS SOUS 23933 HAS SOUPS 15508 WITH SCORE 15624.227
AT ITER 4055 NEW BEST:: SOT 214238 SOS 116363 HAS SOPS 40831 HAS SOUS 23938 HAS SOUPS 15489 WITH SCORE 15605.363
AT ITER 4063 NEW BEST:: SOT 214227 SOS 116352 HAS SOPS 40809 HAS SOUS 23927 HAS SOUPS 15467 WITH SCORE 15583.352
AT ITER 4081 NEW BEST:: SOT 214190 SOS 116339 HAS SOPS 40772 HAS SOUS 23911 HAS SOUPS 15451 WITH SCORE 15567.339
AT ITER 4088 NEW BEST:: SOT 213676 SOS 119987 HAS SOPS 40705 HAS SOUS 24231 HAS SOUPS 15446 WITH SCORE 15565.987
AT ITER 4130 NEW BEST:: SOT 213669 SOS 119980 HAS SOPS 40697 HAS SOUS 24223 HAS SOUPS 15438 WITH SCORE 15557.98
AT ITER 4132 NEW BEST:: SOT 213334 SOS 119918 HAS SOPS 40674 HAS SOUS 24148 HAS SOUPS 15415 WITH SCORE 15534.918
AT ITER 4137 NEW BEST:: SOT 213312 SOS 119874 HAS SOPS 40645 HAS SOUS 24154 HAS SOUPS 15406 WITH SCORE 15525.874
AT ITER 4157 NEW BEST:: SOT 213295 SOS 119966 HAS SOPS 40627 HAS SOUS 24158 HAS SOUPS 15404 WITH SCORE 15523.966
AT ITER 4171 NEW BEST:: SOT 213253 SOS 119924 HAS SOPS 40585 HAS SOUS 24116 HAS SOUPS 15362 WITH SCORE 15481.924
AT ITER 4234 NEW BEST:: SOT 213241 SOS 119892 HAS SOPS 40609 HAS SOUS 24108 HAS SOUPS 15358 WITH SCORE 15477.892
AT ITER 4252 NEW BEST:: SOT 213235 SOS 119886 HAS SOPS 40564 HAS SOUS 24099 HAS SOUPS 15349 WITH SCORE 15468.886
AT ITER 4287 NEW BEST:: SOT 213232 SOS 119877 HAS SOPS 40558 HAS SOUS 24102 HAS SOUPS 15349 WITH SCORE 15468.877
AT ITER 4307 NEW BEST:: SOT 213217 SOS 119868 HAS SOPS 40546 HAS SOUS 24108 HAS SOUPS 15349 WITH SCORE 15468.868
AT ITER 4317 NEW BEST:: SOT 213195 SOS 119846 HAS SOPS 40771 HAS SOUS 24105 HAS SOUPS 15346 WITH SCORE 15465.846
AT ITER 4324 NEW BEST:: SOT 213187 SOS 119782 HAS SOPS 40771 HAS SOUS 24089 HAS SOUPS 15338 WITH SCORE 15457.782
AT ITER 4334 NEW BEST:: SOT 213232 SOS 119467 HAS SOPS 40661 HAS SOUS 24064 HAS SOUPS 15338 WITH SCORE 15457.467
AT ITER 4337 NEW BEST:: SOT 213230 SOS 119463 HAS SOPS 40657 HAS SOUS 24070 HAS SOUPS 15338 WITH SCORE 15457.463
AT ITER 4341 NEW BEST:: SOT 213062 SOS 119522 HAS SOPS 40652 HAS SOUS 24105 HAS SOUPS 15333 WITH SCORE 15452.522
AT ITER 4352 NEW BEST:: SOT 213092 SOS 119543 HAS SOPS 40667 HAS SOUS 24102 HAS SOUPS 15330 WITH SCORE 15449.543
AT ITER 4391 NEW BEST:: SOT 213200 SOS 119213 HAS SOPS 40598 HAS SOUS 24054 HAS SOUPS 15329 WITH SCORE 15448.213
AT ITER 4439 NEW BEST:: SOT 213115 SOS 119313 HAS SOPS 40518 HAS SOUS 24047 HAS SOUPS 15317 WITH SCORE 15436.313
AT ITER 4450 NEW BEST:: SOT 213111 SOS 119305 HAS SOPS 40514 HAS SOUS 24051 HAS SOUPS 15317 WITH SCORE 15436.305
AT ITER 4451 NEW BEST:: SOT 213332 SOS 118653 HAS SOPS 40514 HAS SOUS 23989 HAS SOUPS 15317 WITH SCORE 15435.653
AT ITER 4489 NEW BEST:: SOT 213351 SOS 118616 HAS SOPS 40512 HAS SOUS 23949 HAS SOUPS 15312 WITH SCORE 15430.616
AT ITER 4505 NEW BEST:: SOT 213361 SOS 118616 HAS SOPS 40492 HAS SOUS 23939 HAS SOUPS 15292 WITH SCORE 15410.616
AT ITER 4513 NEW BEST:: SOT 213384 SOS 118455 HAS SOPS 40331 HAS SOUS 23875 HAS SOUPS 15228 WITH SCORE 15346.455
AT ITER 4519 NEW BEST:: SOT 213371 SOS 118441 HAS SOPS 40233 HAS SOUS 23873 HAS SOUPS 15226 WITH SCORE 15344.441
AT ITER 4529 NEW BEST:: SOT 213387 SOS 118401 HAS SOPS 40169 HAS SOUS 23837 HAS SOUPS 15202 WITH SCORE 15320.401
AT ITER 4539 NEW BEST:: SOT 213370 SOS 118384 HAS SOPS 40185 HAS SOUS 23824 HAS SOUPS 15189 WITH SCORE 15307.384
AT ITER 4546 NEW BEST:: SOT 213333 SOS 118409 HAS SOPS 40177 HAS SOUS 23787 HAS SOUPS 15152 WITH SCORE 15270.409
AT ITER 4583 NEW BEST:: SOT 213343 SOS 118394 HAS SOPS 40157 HAS SOUS 23777 HAS SOUPS 15147 WITH SCORE 15265.394
AT ITER 4591 NEW BEST:: SOT 213335 SOS 118450 HAS SOPS 40141 HAS SOUS 23770 HAS SOUPS 15140 WITH SCORE 15258.45
AT ITER 4596 NEW BEST:: SOT 213375 SOS 118468 HAS SOPS 40159 HAS SOUS 23737 HAS SOUPS 15129 WITH SCORE 15247.468
AT ITER 4609 NEW BEST:: SOT 213346 SOS 118457 HAS SOPS 40137 HAS SOUS 23727 HAS SOUPS 15119 WITH SCORE 15237.457
AT ITER 4631 NEW BEST:: SOT 213346 SOS 118444 HAS SOPS 40124 HAS SOUS 23714 HAS SOUPS 15106 WITH SCORE 15224.444
AT ITER 4632 NEW BEST:: SOT 213343 SOS 118441 HAS SOPS 40118 HAS SOUS 23708 HAS SOUPS 15100 WITH SCORE 15218.441
AT ITER 4736 NEW BEST:: SOT 213356 SOS 118454 HAS SOPS 40116 HAS SOUS 23706 HAS SOUPS 15098 WITH SCORE 15216.454
AT ITER 4746 NEW BEST:: SOT 213159 SOS 118879 HAS SOPS 40052 HAS SOUS 23686 HAS SOUPS 15034 WITH SCORE 15152.879
AT ITER 4762 NEW BEST:: SOT 213117 SOS 118837 HAS SOPS 40052 HAS SOUS 23686 HAS SOUPS 15034 WITH SCORE 15152.837
AT ITER 4765 NEW BEST:: SOT 213109 SOS 118829 HAS SOPS 40044 HAS SOUS 23678 HAS SOUPS 15026 WITH SCORE 15144.829
AT ITER 4780 NEW BEST:: SOT 213115 SOS 118802 HAS SOPS 40023 HAS SOUS 23657 HAS SOUPS 15016 WITH SCORE 15134.802
AT ITER 4846 NEW BEST:: SOT 213100 SOS 118786 HAS SOPS 40007 HAS SOUS 23655 HAS SOUPS 15007 WITH SCORE 15125.786
AT ITER 4903 NEW BEST:: SOT 213095 SOS 118776 HAS SOPS 39997 HAS SOUS 23650 HAS SOUPS 15002 WITH SCORE 15120.776
AT ITER 4920 NEW BEST:: SOT 213033 SOS 118913 HAS SOPS 39951 HAS SOUS 23630 HAS SOUPS 14960 WITH SCORE 15078.913
AT ITER 4937 NEW BEST:: SOT 213024 SOS 118913 HAS SOPS 39957 HAS SOUS 23630 HAS SOUPS 14957 WITH SCORE 15075.913
AT ITER 4962 NEW BEST:: SOT 213004 SOS 118886 HAS SOPS 39930 HAS SOUS 23609 HAS SOUPS 14936 WITH SCORE 15054.886
AT ITER 4969 NEW BEST:: SOT 212922 SOS 118810 HAS SOPS 39874 HAS SOUS 23553 HAS SOUPS 14880 WITH SCORE 14998.81
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: CloudDeployment-PT-7a-CTLCardinality-00 (EX( (! (EG( potential( (tk(P120)) <= (tk(P224)) ))))))
PROPERTY: CloudDeployment-PT-7a-CTLCardinality-01 ( ( (AF((! potential( (tk(P8)) <= (tk(P225)) )))) | ( ( potential( ( 2 ) <= (tk(P234)) ) & potential( (tk(P129)) <= (tk(P173)) ) ) & (EG( potential( ( 1 ) <= (tk(P58)) ))) ) ) & (EF(( potential( (tk(P161)) <= (tk(P226)) ) | (! potential( ( 2 ) <= (tk(P13)) )) ))) )
PROPERTY: CloudDeployment-PT-7a-CTLCardinality-02 (AG( (EF(potential( (tk(P241)) <= (tk(P85)) )))))
PROPERTY: CloudDeployment-PT-7a-CTLCardinality-03 (! (AG( (AX( potential( (tk(P2)) <= (tk(P176)) ))))))
PROPERTY: CloudDeployment-PT-7a-CTLCardinality-04 (EG( (! ( ( potential( ( 2 ) <= (tk(P154)) ) & potential( ( 2 ) <= (tk(P100)) ) ) & ( potential( (tk(P58)) <= (tk(P29)) ) | potential( ( 3 ) <= (tk(P220)) ) ) ))))
PROPERTY: CloudDeployment-PT-7a-CTLCardinality-05 (EU( ( potential( (tk(P14)) <= (tk(P87)) ) | potential( ( 1 ) <= (tk(P72)) ) ),(AG( potential( ( 1 ) <= (tk(P163)) ))) ))
PROPERTY: CloudDeployment-PT-7a-CTLCardinality-06 (AG( ( (! ( potential( (tk(P76)) <= (tk(P172)) ) & potential( (tk(P208)) <= (tk(P80)) ) )) | (AG( potential( (tk(P63)) <= (tk(P207)) ))) )))
PROPERTY: CloudDeployment-PT-7a-CTLCardinality-07 (AG( potential( (tk(P9)) <= (tk(P67)) )))
PROPERTY: CloudDeployment-PT-7a-CTLCardinality-08 (EU( (AF(potential( (tk(P185)) <= (tk(P155)) ))),potential( ( 2 ) <= (tk(P213)) ) ))
PROPERTY: CloudDeployment-PT-7a-CTLCardinality-09 ( (EF((! (! potential( ( 3 ) <= (tk(P197)) ))))) | (AG( ( ( potential( ( 2 ) <= (tk(P107)) ) & potential( ( 2 ) <= (tk(P5)) ) ) | ( potential( ( 3 ) <= (tk(P119)) ) | potential( (tk(P85)) <= (tk(P124)) ) ) ))) )
PROPERTY: CloudDeployment-PT-7a-CTLCardinality-10 (AG( (AU( potential( ( 1 ) <= (tk(P165)) ),potential( (tk(P183)) <= (tk(P173)) ) ))))
PROPERTY: CloudDeployment-PT-7a-CTLCardinality-11 (EF((AX( ( potential( (tk(P50)) <= (tk(P218)) ) & potential( ( 1 ) <= (tk(P248)) ) )))))
PROPERTY: CloudDeployment-PT-7a-CTLCardinality-12 ( ( (EU( potential( ( 3 ) <= (tk(P84)) ),potential( (tk(P129)) <= (tk(P48)) ) )) & potential( (tk(P97)) <= (tk(P226)) ) ) & (! (! (EF(potential( ( 1 ) <= (tk(P50)) ))))) )
PROPERTY: CloudDeployment-PT-7a-CTLCardinality-13 (EG( ( (EF(potential( ( 2 ) <= (tk(P57)) ))) | (AX( potential( (tk(P146)) <= (tk(P65)) ))) )))
PROPERTY: CloudDeployment-PT-7a-CTLCardinality-14 ( potential( ( 2 ) <= (tk(P191)) ) | (! (EF((! potential( (tk(P73)) <= (tk(P52)) ))))) )
PROPERTY: CloudDeployment-PT-7a-CTLCardinality-15 (AG( (EX( (! potential( ( 1 ) <= (tk(P147)) ))))))

BK_STOP 1589166320269

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

terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 478 Aborted ${SMART} ${INPUT_SM}

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

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