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.r003-smll-158897508300281.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 AirplaneLD-PT-0500, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-smll-158897508300281
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 7.3M
-rw-r--r-- 1 mcc users 104K Mar 24 10:48 CTLCardinality.txt
-rw-r--r-- 1 mcc users 241K Mar 24 10:48 CTLCardinality.xml
-rw-r--r-- 1 mcc users 69K Mar 24 09:29 CTLFireability.txt
-rw-r--r-- 1 mcc users 279K Mar 24 09:29 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 116K Apr 8 14:40 LTLCardinality.txt
-rw-r--r-- 1 mcc users 325K Apr 29 06:16 LTLCardinality.xml
-rw-r--r-- 1 mcc users 128K Apr 8 14:40 LTLFireability.txt
-rw-r--r-- 1 mcc users 515K Apr 29 06:16 LTLFireability.xml
-rw-r--r-- 1 mcc users 182K Mar 24 08:00 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 442K Mar 24 08:00 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 177K Mar 24 06:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 720K Mar 24 06:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 29K Mar 24 08:44 UpperBounds.txt
-rw-r--r-- 1 mcc users 50K Mar 24 08:44 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 3.9M Mar 24 05:37 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1589099665738

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AirplaneLD (PT), instance 0500
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 3519 places, 4008 transitions, 15278 arcs.
AT ITER 0 NEW BEST:: SOT 10946094 SOS 5574808 HAS SOPS 4701051 HAS SOUS 3899901 HAS SOUPS 3026147 WITH SCORE 3031721.808
AT ITER 5 NEW BEST:: SOT 10945550 SOS 5574808 HAS SOPS 4701051 HAS SOUS 3899712 HAS SOUPS 3025958 WITH SCORE 3031532.808
AT ITER 7 NEW BEST:: SOT 10944637 SOS 5572982 HAS SOPS 4700138 HAS SOUS 3897886 HAS SOUPS 3025045 WITH SCORE 3030617.982
AT ITER 11 NEW BEST:: SOT 10944013 SOS 5572982 HAS SOPS 4700716 HAS SOUS 3897262 HAS SOUPS 3024999 WITH SCORE 3030571.982
AT ITER 15 NEW BEST:: SOT 10943798 SOS 5572552 HAS SOPS 4700501 HAS SOUS 3896832 HAS SOUPS 3024784 WITH SCORE 3030356.552
AT ITER 20 NEW BEST:: SOT 10942333 SOS 5571969 HAS SOPS 4699918 HAS SOUS 3896099 HAS SOUPS 3024051 WITH SCORE 3029622.969
AT ITER 21 NEW BEST:: SOT 10941423 SOS 5570149 HAS SOPS 4699008 HAS SOUS 3894279 HAS SOUPS 3023141 WITH SCORE 3028711.149
AT ITER 25 NEW BEST:: SOT 10940580 SOS 5568149 HAS SOPS 4698165 HAS SOUS 3892593 HAS SOUPS 3022612 WITH SCORE 3028180.149
AT ITER 31 NEW BEST:: SOT 10939181 SOS 5567567 HAS SOPS 4697583 HAS SOUS 3891194 HAS SOUPS 3021213 WITH SCORE 3026780.567
AT ITER 34 NEW BEST:: SOT 10939045 SOS 5567567 HAS SOPS 4697583 HAS SOUS 3891058 HAS SOUPS 3021077 WITH SCORE 3026644.567
AT ITER 38 NEW BEST:: SOT 10937793 SOS 5567095 HAS SOPS 4697111 HAS SOUS 3890460 HAS SOUPS 3020479 WITH SCORE 3026046.095
AT ITER 39 NEW BEST:: SOT 10937793 SOS 5568370 HAS SOPS 4697111 HAS SOUS 3890607 HAS SOUPS 3019915 WITH SCORE 3025483.37
AT ITER 48 NEW BEST:: SOT 10936960 SOS 5568388 HAS SOPS 4697468 HAS SOUS 3889792 HAS SOUPS 3019439 WITH SCORE 3025007.388
AT ITER 59 NEW BEST:: SOT 10935542 SOS 5567876 HAS SOPS 4696956 HAS SOUS 3888374 HAS SOUPS 3018021 WITH SCORE 3023588.876
AT ITER 62 NEW BEST:: SOT 10934322 SOS 5567241 HAS SOPS 4696321 HAS SOUS 3887154 HAS SOUPS 3016801 WITH SCORE 3022368.241
AT ITER 67 NEW BEST:: SOT 10934322 SOS 5568445 HAS SOPS 4696321 HAS SOUS 3887166 HAS SOUPS 3016205 WITH SCORE 3021773.445
AT ITER 69 NEW BEST:: SOT 10934750 SOS 5571317 HAS SOPS 4696749 HAS SOUS 3888108 HAS SOUPS 3016052 WITH SCORE 3021623.317
AT ITER 78 NEW BEST:: SOT 10933411 SOS 5570611 HAS SOPS 4696043 HAS SOUS 3886769 HAS SOUPS 3014713 WITH SCORE 3020283.611
AT ITER 83 NEW BEST:: SOT 10932688 SOS 5569165 HAS SOPS 4695320 HAS SOUS 3885323 HAS SOUPS 3013990 WITH SCORE 3019559.165
AT ITER 92 NEW BEST:: SOT 10931369 SOS 5568544 HAS SOPS 4694699 HAS SOUS 3884462 HAS SOUPS 3013129 WITH SCORE 3018697.544
AT ITER 97 NEW BEST:: SOT 10930789 SOS 5567384 HAS SOPS 4694119 HAS SOUS 3883302 HAS SOUPS 3012549 WITH SCORE 3018116.384
AT ITER 105 NEW BEST:: SOT 10930009 SOS 5565824 HAS SOPS 4693339 HAS SOUS 3881742 HAS SOUPS 3011769 WITH SCORE 3017334.824
AT ITER 107 NEW BEST:: SOT 10929779 SOS 5565824 HAS SOPS 4693339 HAS SOUS 3881512 HAS SOUPS 3011539 WITH SCORE 3017104.824
AT ITER 130 NEW BEST:: SOT 10928995 SOS 5563824 HAS SOPS 4692555 HAS SOUS 3879944 HAS SOUPS 3011187 WITH SCORE 3016750.824
AT ITER 131 NEW BEST:: SOT 10928512 SOS 5563824 HAS SOPS 4692555 HAS SOUS 3879461 HAS SOUPS 3010704 WITH SCORE 3016267.824
AT ITER 133 NEW BEST:: SOT 10927021 SOS 5563319 HAS SOPS 4692050 HAS SOUS 3878002 HAS SOUPS 3009245 WITH SCORE 3014808.319
AT ITER 136 NEW BEST:: SOT 10926728 SOS 5563319 HAS SOPS 4692050 HAS SOUS 3877709 HAS SOUPS 3008952 WITH SCORE 3014515.319
AT ITER 139 NEW BEST:: SOT 10926000 SOS 5561863 HAS SOPS 4691322 HAS SOUS 3876253 HAS SOUPS 3008224 WITH SCORE 3013785.863
AT ITER 145 NEW BEST:: SOT 10925580 SOS 5561023 HAS SOPS 4690902 HAS SOUS 3875413 HAS SOUPS 3007804 WITH SCORE 3013365.023
AT ITER 147 NEW BEST:: SOT 10925183 SOS 5560229 HAS SOPS 4690505 HAS SOUS 3874619 HAS SOUPS 3007407 WITH SCORE 3012967.229
AT ITER 154 NEW BEST:: SOT 10924241 SOS 5558345 HAS SOPS 4689563 HAS SOUS 3872735 HAS SOUPS 3006465 WITH SCORE 3012023.345
AT ITER 156 NEW BEST:: SOT 10922827 SOS 5557700 HAS SOPS 4688918 HAS SOUS 3871507 HAS SOUPS 3005237 WITH SCORE 3010794.7
AT ITER 157 NEW BEST:: SOT 10922250 SOS 5557700 HAS SOPS 4688918 HAS SOUS 3870930 HAS SOUPS 3004660 WITH SCORE 3010217.7
AT ITER 159 NEW BEST:: SOT 10921304 SOS 5555808 HAS SOPS 4687972 HAS SOUS 3869038 HAS SOUPS 3003714 WITH SCORE 3009269.808
AT ITER 165 NEW BEST:: SOT 10920499 SOS 5555808 HAS SOPS 4688094 HAS SOUS 3868233 HAS SOUPS 3003031 WITH SCORE 3008586.808
AT ITER 167 NEW BEST:: SOT 10919855 SOS 5554520 HAS SOPS 4687450 HAS SOUS 3866945 HAS SOUPS 3002387 WITH SCORE 3007941.52
AT ITER 169 NEW BEST:: SOT 10919141 SOS 5552520 HAS SOPS 4686736 HAS SOUS 3865517 HAS SOUPS 3002245 WITH SCORE 3007797.52
AT ITER 176 NEW BEST:: SOT 10919141 SOS 5554187 HAS SOPS 4686736 HAS SOUS 3865718 HAS SOUPS 3001512 WITH SCORE 3007066.187
AT ITER 189 NEW BEST:: SOT 10917700 SOS 5553401 HAS SOPS 4685950 HAS SOUS 3864452 HAS SOUPS 3000246 WITH SCORE 3005799.401
AT ITER 195 NEW BEST:: SOT 10917107 SOS 5552215 HAS SOPS 4685357 HAS SOUS 3863266 HAS SOUPS 2999653 WITH SCORE 3005205.215
AT ITER 199 NEW BEST:: SOT 10916248 SOS 5550497 HAS SOPS 4684498 HAS SOUS 3861548 HAS SOUPS 2998794 WITH SCORE 3004344.497
AT ITER 200 NEW BEST:: SOT 10916248 SOS 5552014 HAS SOPS 4684498 HAS SOUS 3861707 HAS SOUPS 2998115 WITH SCORE 3003667.014
AT ITER 201 NEW BEST:: SOT 10915908 SOS 5551334 HAS SOPS 4684158 HAS SOUS 3861027 HAS SOUPS 2997775 WITH SCORE 3003326.334
AT ITER 203 NEW BEST:: SOT 10914916 SOS 5549334 HAS SOPS 4683166 HAS SOUS 3859043 HAS SOUPS 2996799 WITH SCORE 3002348.334
AT ITER 205 NEW BEST:: SOT 10914254 SOS 5549334 HAS SOPS 4683166 HAS SOUS 3858381 HAS SOUPS 2996137 WITH SCORE 3001686.334
AT ITER 208 NEW BEST:: SOT 10913047 SOS 5548691 HAS SOPS 4682523 HAS SOUS 3857174 HAS SOUPS 2994930 WITH SCORE 3000478.691
AT ITER 214 NEW BEST:: SOT 10912566 SOS 5547729 HAS SOPS 4682042 HAS SOUS 3856212 HAS SOUPS 2994449 WITH SCORE 2999996.729
AT ITER 218 NEW BEST:: SOT 10912566 SOS 5549644 HAS SOPS 4682042 HAS SOUS 3856519 HAS SOUPS 2993645 WITH SCORE 2999194.644
AT ITER 226 NEW BEST:: SOT 10912566 SOS 5551494 HAS SOPS 4682042 HAS SOUS 3856911 HAS SOUPS 2992916 WITH SCORE 2998467.494
AT ITER 232 NEW BEST:: SOT 10911805 SOS 5551494 HAS SOPS 4682042 HAS SOUS 3856150 HAS SOUPS 2992155 WITH SCORE 2997706.494
AT ITER 233 NEW BEST:: SOT 10911061 SOS 5551494 HAS SOPS 4682042 HAS SOUS 3855406 HAS SOUPS 2991411 WITH SCORE 2996962.494
AT ITER 241 NEW BEST:: SOT 10910198 SOS 5551277 HAS SOPS 4681825 HAS SOUS 3854839 HAS SOUPS 2990844 WITH SCORE 2996395.277
AT ITER 247 NEW BEST:: SOT 10909521 SOS 5549923 HAS SOPS 4681148 HAS SOUS 3853485 HAS SOUPS 2990167 WITH SCORE 2995716.923
AT ITER 250 NEW BEST:: SOT 10909521 SOS 5551745 HAS SOPS 4681148 HAS SOUS 3853797 HAS SOUPS 2989412 WITH SCORE 2994963.745
AT ITER 251 NEW BEST:: SOT 10908532 SOS 5549767 HAS SOPS 4680159 HAS SOUS 3851819 HAS SOUPS 2988423 WITH SCORE 2993972.767
AT ITER 264 NEW BEST:: SOT 10907770 SOS 5549304 HAS SOPS 4679696 HAS SOUS 3851496 HAS SOUPS 2988100 WITH SCORE 2993649.304
AT ITER 266 NEW BEST:: SOT 10906924 SOS 5549542 HAS SOPS 4680137 HAS SOUS 3850888 HAS SOUPS 2987695 WITH SCORE 2993244.542
AT ITER 267 NEW BEST:: SOT 10906817 SOS 5549328 HAS SOPS 4680030 HAS SOUS 3850674 HAS SOUPS 2987588 WITH SCORE 2993137.328
AT ITER 268 NEW BEST:: SOT 10905736 SOS 5548824 HAS SOPS 4679526 HAS SOUS 3849593 HAS SOUPS 2986507 WITH SCORE 2992055.824
AT ITER 276 NEW BEST:: SOT 10904947 SOS 5547246 HAS SOPS 4678737 HAS SOUS 3848015 HAS SOUPS 2985718 WITH SCORE 2991265.246
AT ITER 280 NEW BEST:: SOT 10904221 SOS 5545794 HAS SOPS 4678011 HAS SOUS 3846563 HAS SOUPS 2984992 WITH SCORE 2990537.794
AT ITER 285 NEW BEST:: SOT 10904221 SOS 5547272 HAS SOPS 4678011 HAS SOUS 3846639 HAS SOUPS 2984291 WITH SCORE 2989838.272
AT ITER 297 NEW BEST:: SOT 10902741 SOS 5546783 HAS SOPS 4677522 HAS SOUS 3845213 HAS SOUPS 2982865 WITH SCORE 2988411.783
AT ITER 307 NEW BEST:: SOT 10902294 SOS 5546783 HAS SOPS 4677522 HAS SOUS 3844766 HAS SOUPS 2982418 WITH SCORE 2987964.783
AT ITER 309 NEW BEST:: SOT 10901484 SOS 5546783 HAS SOPS 4677522 HAS SOUS 3843956 HAS SOUPS 2981608 WITH SCORE 2987154.783
AT ITER 310 NEW BEST:: SOT 10901277 SOS 5546783 HAS SOPS 4677522 HAS SOUS 3843749 HAS SOUPS 2981401 WITH SCORE 2986947.783
AT ITER 312 NEW BEST:: SOT 10900425 SOS 5546963 HAS SOPS 4677922 HAS SOUS 3843077 HAS SOUPS 2980949 WITH SCORE 2986495.963
AT ITER 323 NEW BEST:: SOT 10899654 SOS 5546997 HAS SOPS 4678411 HAS SOUS 3842340 HAS SOUPS 2980667 WITH SCORE 2986213.997
AT ITER 329 NEW BEST:: SOT 10899032 SOS 5545753 HAS SOPS 4677789 HAS SOUS 3841096 HAS SOUPS 2980045 WITH SCORE 2985590.753
AT ITER 337 NEW BEST:: SOT 10898396 SOS 5545753 HAS SOPS 4677905 HAS SOUS 3840460 HAS SOUPS 2979525 WITH SCORE 2985070.753
AT ITER 342 NEW BEST:: SOT 10898396 SOS 5547383 HAS SOPS 4677905 HAS SOUS 3840784 HAS SOUPS 2978872 WITH SCORE 2984419.383
AT ITER 348 NEW BEST:: SOT 10897505 SOS 5547527 HAS SOPS 4678049 HAS SOUS 3840756 HAS SOUPS 2978844 WITH SCORE 2984391.527
AT ITER 349 NEW BEST:: SOT 10896964 SOS 5547527 HAS SOPS 4678575 HAS SOUS 3840215 HAS SOUPS 2978829 WITH SCORE 2984376.527
AT ITER 352 NEW BEST:: SOT 10896385 SOS 5547527 HAS SOPS 4678575 HAS SOUS 3839636 HAS SOUPS 2978250 WITH SCORE 2983797.527
AT ITER 355 NEW BEST:: SOT 10895648 SOS 5547571 HAS SOPS 4679137 HAS SOUS 3838943 HAS SOUPS 2978075 WITH SCORE 2983622.571
AT ITER 363 NEW BEST:: SOT 10895183 SOS 5547571 HAS SOPS 4679137 HAS SOUS 3838478 HAS SOUPS 2977610 WITH SCORE 2983157.571
AT ITER 364 NEW BEST:: SOT 10895599 SOS 5550419 HAS SOPS 4679553 HAS SOUS 3839328 HAS SOUPS 2977433 WITH SCORE 2982983.419
AT ITER 366 NEW BEST:: SOT 10895599 SOS 5552849 HAS SOPS 4679553 HAS SOUS 3839760 HAS SOUPS 2976434 WITH SCORE 2981986.849
AT ITER 367 NEW BEST:: SOT 10895098 SOS 5552849 HAS SOPS 4679553 HAS SOUS 3839259 HAS SOUPS 2975933 WITH SCORE 2981485.849
AT ITER 369 NEW BEST:: SOT 10895098 SOS 5554306 HAS SOPS 4679553 HAS SOUS 3839426 HAS SOUPS 2975288 WITH SCORE 2980842.306
AT ITER 374 NEW BEST:: SOT 10895585 SOS 5557296 HAS SOPS 4680040 HAS SOUS 3840850 HAS SOUPS 2975253 WITH SCORE 2980810.296
AT ITER 376 NEW BEST:: SOT 10895585 SOS 5558439 HAS SOPS 4680040 HAS SOUS 3840895 HAS SOUPS 2974704 WITH SCORE 2980262.439
AT ITER 380 NEW BEST:: SOT 10895585 SOS 5560092 HAS SOPS 4680040 HAS SOUS 3841226 HAS SOUPS 2974043 WITH SCORE 2979603.092
AT ITER 386 NEW BEST:: SOT 10894912 SOS 5560092 HAS SOPS 4680040 HAS SOUS 3840553 HAS SOUPS 2973370 WITH SCORE 2978930.092
AT ITER 390 NEW BEST:: SOT 10894912 SOS 5561645 HAS SOPS 4680040 HAS SOUS 3840922 HAS SOUPS 2972778 WITH SCORE 2978339.645
AT ITER 401 NEW BEST:: SOT 10894149 SOS 5562065 HAS SOPS 4680738 HAS SOUS 3840579 HAS SOUPS 2972713 WITH SCORE 2978275.065
AT ITER 404 NEW BEST:: SOT 10894288 SOS 5564359 HAS SOPS 4680877 HAS SOUS 3840961 HAS SOUPS 2971982 WITH SCORE 2977546.359
AT ITER 406 NEW BEST:: SOT 10893827 SOS 5563898 HAS SOPS 4680416 HAS SOUS 3840500 HAS SOUPS 2971521 WITH SCORE 2977084.898
AT ITER 416 NEW BEST:: SOT 10892549 SOS 5563506 HAS SOPS 4680024 HAS SOUS 3839680 HAS SOUPS 2970701 WITH SCORE 2976264.506
AT ITER 418 NEW BEST:: SOT 10891643 SOS 5561694 HAS SOPS 4679118 HAS SOUS 3837868 HAS SOUPS 2969795 WITH SCORE 2975356.694
AT ITER 420 NEW BEST:: SOT 10891201 SOS 5560810 HAS SOPS 4678676 HAS SOUS 3836984 HAS SOUPS 2969353 WITH SCORE 2974913.81
AT ITER 421 NEW BEST:: SOT 10890877 SOS 5560162 HAS SOPS 4678352 HAS SOUS 3836336 HAS SOUPS 2969029 WITH SCORE 2974589.162
AT ITER 423 NEW BEST:: SOT 10890066 SOS 5559937 HAS SOPS 4678127 HAS SOUS 3835525 HAS SOUPS 2968218 WITH SCORE 2973777.937
AT ITER 424 NEW BEST:: SOT 10890066 SOS 5559818 HAS SOPS 4678127 HAS SOUS 3835406 HAS SOUPS 2968218 WITH SCORE 2973777.818
AT ITER 430 NEW BEST:: SOT 10890066 SOS 5561579 HAS SOPS 4678127 HAS SOUS 3835531 HAS SOUPS 2967400 WITH SCORE 2972961.579
AT ITER 433 NEW BEST:: SOT 10889729 SOS 5561579 HAS SOPS 4678127 HAS SOUS 3835194 HAS SOUPS 2967063 WITH SCORE 2972624.579
AT ITER 434 NEW BEST:: SOT 10889197 SOS 5561579 HAS SOPS 4678127 HAS SOUS 3834662 HAS SOUPS 2966531 WITH SCORE 2972092.579
AT ITER 436 NEW BEST:: SOT 10888377 SOS 5559939 HAS SOPS 4677307 HAS SOUS 3833022 HAS SOUPS 2965711 WITH SCORE 2971270.939
AT ITER 445 NEW BEST:: SOT 10888151 SOS 5559939 HAS SOPS 4677307 HAS SOUS 3832796 HAS SOUPS 2965485 WITH SCORE 2971044.939
AT ITER 448 NEW BEST:: SOT 10887354 SOS 5559939 HAS SOPS 4677717 HAS SOUS 3831999 HAS SOUPS 2965098 WITH SCORE 2970657.939
AT ITER 458 NEW BEST:: SOT 10887167 SOS 5559752 HAS SOPS 4677530 HAS SOUS 3831625 HAS SOUPS 2964724 WITH SCORE 2970283.752
AT ITER 468 NEW BEST:: SOT 10886482 SOS 5559752 HAS SOPS 4677530 HAS SOUS 3830940 HAS SOUPS 2964039 WITH SCORE 2969598.752
AT ITER 472 NEW BEST:: SOT 10885882 SOS 5559752 HAS SOPS 4677530 HAS SOUS 3830340 HAS SOUPS 2963439 WITH SCORE 2968998.752
AT ITER 473 NEW BEST:: SOT 10885411 SOS 5559752 HAS SOPS 4677530 HAS SOUS 3829869 HAS SOUPS 2962968 WITH SCORE 2968527.752
AT ITER 476 NEW BEST:: SOT 10885009 SOS 5559752 HAS SOPS 4677530 HAS SOUS 3829467 HAS SOUPS 2962566 WITH SCORE 2968125.752
AT ITER 480 NEW BEST:: SOT 10884268 SOS 5558270 HAS SOPS 4676789 HAS SOUS 3827985 HAS SOUPS 2961825 WITH SCORE 2967383.27
AT ITER 482 NEW BEST:: SOT 10884174 SOS 5558082 HAS SOPS 4676695 HAS SOUS 3827797 HAS SOUPS 2961731 WITH SCORE 2967289.082
AT ITER 483 NEW BEST:: SOT 10883696 SOS 5558082 HAS SOPS 4676695 HAS SOUS 3827319 HAS SOUPS 2961253 WITH SCORE 2966811.082
AT ITER 485 NEW BEST:: SOT 10883003 SOS 5558082 HAS SOPS 4676695 HAS SOUS 3826626 HAS SOUPS 2960560 WITH SCORE 2966118.082
AT ITER 488 NEW BEST:: SOT 10882444 SOS 5556964 HAS SOPS 4676136 HAS SOUS 3825508 HAS SOUPS 2960001 WITH SCORE 2965557.964
AT ITER 491 NEW BEST:: SOT 10881733 SOS 5556964 HAS SOPS 4676136 HAS SOUS 3824797 HAS SOUPS 2959290 WITH SCORE 2964846.964
AT ITER 498 NEW BEST:: SOT 10881120 SOS 5555738 HAS SOPS 4676136 HAS SOUS 3824184 HAS SOUPS 2959290 WITH SCORE 2964845.738
AT ITER 504 NEW BEST:: SOT 11049066 SOS 5579603 HAS SOPS 4232638 HAS SOUS 3524396 HAS SOUPS 2660002 WITH SCORE 2665581.603
AT ITER 509 NEW BEST:: SOT 11048379 SOS 5579530 HAS SOPS 4232565 HAS SOUS 3524165 HAS SOUPS 2659771 WITH SCORE 2665350.53
AT ITER 510 NEW BEST:: SOT 11048184 SOS 5578945 HAS SOPS 4232370 HAS SOUS 3523970 HAS SOUPS 2659771 WITH SCORE 2665349.945
AT ITER 512 NEW BEST:: SOT 11047706 SOS 5577511 HAS SOPS 4231892 HAS SOUS 3523492 HAS SOUPS 2659771 WITH SCORE 2665348.511
AT ITER 515 NEW BEST:: SOT 11048162 SOS 5580624 HAS SOPS 4232348 HAS SOUS 3524404 HAS SOUPS 2659489 WITH SCORE 2665069.624
AT ITER 520 NEW BEST:: SOT 11048448 SOS 5583326 HAS SOPS 4232634 HAS SOUS 3524976 HAS SOUPS 2658938 WITH SCORE 2664521.326
AT ITER 521 NEW BEST:: SOT 11048217 SOS 5583326 HAS SOPS 4232634 HAS SOUS 3524745 HAS SOUPS 2658707 WITH SCORE 2664290.326
AT ITER 522 NEW BEST:: SOT 11047640 SOS 5582114 HAS SOPS 4232057 HAS SOUS 3524168 HAS SOUPS 2658707 WITH SCORE 2664289.114
AT ITER 539 NEW BEST:: SOT 11046350 SOS 5581699 HAS SOPS 4231642 HAS SOUS 3523312 HAS SOUPS 2657851 WITH SCORE 2663432.699
AT ITER 540 NEW BEST:: SOT 11045588 SOS 5581699 HAS SOPS 4231642 HAS SOUS 3522550 HAS SOUPS 2657089 WITH SCORE 2662670.699
AT ITER 543 NEW BEST:: SOT 11045095 SOS 5581699 HAS SOPS 4231642 HAS SOUS 3522057 HAS SOUPS 2656596 WITH SCORE 2662177.699
AT ITER 551 NEW BEST:: SOT 11044664 SOS 5581268 HAS SOPS 4231211 HAS SOUS 3521626 HAS SOUPS 2656165 WITH SCORE 2661746.268
AT ITER 553 NEW BEST:: SOT 11045123 SOS 5584366 HAS SOPS 4231670 HAS SOUS 3522544 HAS SOUPS 2655910 WITH SCORE 2661494.366
AT ITER 560 NEW BEST:: SOT 11044810 SOS 5584516 HAS SOPS 4231820 HAS SOUS 3522381 HAS SOUPS 2655747 WITH SCORE 2661331.516
AT ITER 561 NEW BEST:: SOT 11043376 SOS 5584004 HAS SOPS 4231308 HAS SOUS 3521093 HAS SOUPS 2654459 WITH SCORE 2660043.004
AT ITER 568 NEW BEST:: SOT 11043295 SOS 5584004 HAS SOPS 4231308 HAS SOUS 3521012 HAS SOUPS 2654378 WITH SCORE 2659962.004
AT ITER 571 NEW BEST:: SOT 11043035 SOS 5583224 HAS SOPS 4231048 HAS SOUS 3520752 HAS SOUPS 2654378 WITH SCORE 2659961.224
AT ITER 578 NEW BEST:: SOT 11043035 SOS 5585794 HAS SOPS 4231048 HAS SOUS 3520752 HAS SOUPS 2653093 WITH SCORE 2658678.794
AT ITER 584 NEW BEST:: SOT 11043035 SOS 5585786 HAS SOPS 4231048 HAS SOUS 3520752 HAS SOUPS 2653093 WITH SCORE 2658678.786
AT ITER 590 NEW BEST:: SOT 11042296 SOS 5583569 HAS SOPS 4230309 HAS SOUS 3520013 HAS SOUPS 2653093 WITH SCORE 2658676.569
AT ITER 592 NEW BEST:: SOT 11040912 SOS 5582918 HAS SOPS 4229658 HAS SOUS 3518875 HAS SOUPS 2651955 WITH SCORE 2657537.918
AT ITER 594 NEW BEST:: SOT 11039418 SOS 5582049 HAS SOPS 4228789 HAS SOUS 3517381 HAS SOUPS 2650461 WITH SCORE 2656043.049
AT ITER 595 NEW BEST:: SOT 11038830 SOS 5580285 HAS SOPS 4228201 HAS SOUS 3516793 HAS SOUPS 2650461 WITH SCORE 2656041.285
AT ITER 603 NEW BEST:: SOT 11037540 SOS 5579860 HAS SOPS 4227776 HAS SOUS 3515937 HAS SOUPS 2649605 WITH SCORE 2655184.86
AT ITER 605 NEW BEST:: SOT 11037540 SOS 5581590 HAS SOPS 4227776 HAS SOUS 3515937 HAS SOUPS 2648740 WITH SCORE 2654321.59
AT ITER 614 NEW BEST:: SOT 11038037 SOS 5584797 HAS SOPS 4228273 HAS SOUS 3516931 HAS SOUPS 2648528 WITH SCORE 2654112.797
AT ITER 615 NEW BEST:: SOT 11037841 SOS 5584797 HAS SOPS 4228273 HAS SOUS 3516735 HAS SOUPS 2648332 WITH SCORE 2653916.797
AT ITER 621 NEW BEST:: SOT 11036459 SOS 5583975 HAS SOPS 4227451 HAS SOUS 3515353 HAS SOUPS 2646950 WITH SCORE 2652533.975
AT ITER 623 NEW BEST:: SOT 11036459 SOS 5583689 HAS SOPS 4227451 HAS SOUS 3515353 HAS SOUPS 2646950 WITH SCORE 2652533.689
AT ITER 624 NEW BEST:: SOT 11035812 SOS 5583689 HAS SOPS 4227451 HAS SOUS 3514706 HAS SOUPS 2646303 WITH SCORE 2651886.689
AT ITER 625 NEW BEST:: SOT 11036375 SOS 5587115 HAS SOPS 4228014 HAS SOUS 3515832 HAS SOUPS 2646136 WITH SCORE 2651723.115
AT ITER 627 NEW BEST:: SOT 11035815 SOS 5585435 HAS SOPS 4227454 HAS SOUS 3515272 HAS SOUPS 2646136 WITH SCORE 2651721.435
AT ITER 628 NEW BEST:: SOT 11036055 SOS 5588092 HAS SOPS 4227694 HAS SOUS 3515752 HAS SOUPS 2645446 WITH SCORE 2651034.092
AT ITER 638 NEW BEST:: SOT 11036055 SOS 5590768 HAS SOPS 4227694 HAS SOUS 3515752 HAS SOUPS 2644108 WITH SCORE 2649698.768
AT ITER 642 NEW BEST:: SOT 11035569 SOS 5589310 HAS SOPS 4227208 HAS SOUS 3515266 HAS SOUPS 2644108 WITH SCORE 2649697.31
AT ITER 650 NEW BEST:: SOT 11035569 SOS 5591542 HAS SOPS 4227208 HAS SOUS 3515266 HAS SOUPS 2642992 WITH SCORE 2648583.542
AT ITER 668 NEW BEST:: SOT 11035954 SOS 5594469 HAS SOPS 4227593 HAS SOUS 3516036 HAS SOUPS 2642612 WITH SCORE 2648206.469
AT ITER 672 NEW BEST:: SOT 11035357 SOS 5594826 HAS SOPS 4227950 HAS SOUS 3515805 HAS SOUPS 2642381 WITH SCORE 2647975.826
AT ITER 674 NEW BEST:: SOT 11035357 SOS 5597260 HAS SOPS 4227950 HAS SOUS 3515805 HAS SOUPS 2641164 WITH SCORE 2646761.26
AT ITER 675 NEW BEST:: SOT 11035357 SOS 5599612 HAS SOPS 4227950 HAS SOUS 3515805 HAS SOUPS 2639988 WITH SCORE 2645587.612
AT ITER 676 NEW BEST:: SOT 11035981 SOS 5603278 HAS SOPS 4228574 HAS SOUS 3517053 HAS SOUPS 2639825 WITH SCORE 2645428.278
AT ITER 680 NEW BEST:: SOT 11034689 SOS 5602752 HAS SOPS 4228048 HAS SOUS 3515761 HAS SOUPS 2638533 WITH SCORE 2644135.752
AT ITER 688 NEW BEST:: SOT 11033475 SOS 5602451 HAS SOPS 4227747 HAS SOUS 3515133 HAS SOUPS 2637905 WITH SCORE 2643507.451
AT ITER 704 NEW BEST:: SOT 11033103 SOS 5601335 HAS SOPS 4227375 HAS SOUS 3514761 HAS SOUPS 2637905 WITH SCORE 2643506.335
AT ITER 716 NEW BEST:: SOT 11033103 SOS 5604129 HAS SOPS 4227375 HAS SOUS 3514761 HAS SOUPS 2636508 WITH SCORE 2642112.129
AT ITER 717 NEW BEST:: SOT 11032690 SOS 5604129 HAS SOPS 4227375 HAS SOUS 3514348 HAS SOUPS 2636095 WITH SCORE 2641699.129
AT ITER 718 NEW BEST:: SOT 11033470 SOS 5608275 HAS SOPS 4228155 HAS SOUS 3515908 HAS SOUPS 2636076 WITH SCORE 2641684.275
AT ITER 721 NEW BEST:: SOT 11032132 SOS 5607863 HAS SOPS 4227743 HAS SOUS 3514908 HAS SOUPS 2635076 WITH SCORE 2640683.863
AT ITER 722 NEW BEST:: SOT 11032065 SOS 5607863 HAS SOPS 4227743 HAS SOUS 3514841 HAS SOUPS 2635009 WITH SCORE 2640616.863
AT ITER 726 NEW BEST:: SOT 11031544 SOS 5607863 HAS SOPS 4227743 HAS SOUS 3514320 HAS SOUPS 2634488 WITH SCORE 2640095.863
AT ITER 731 NEW BEST:: SOT 11031544 SOS 5609947 HAS SOPS 4227743 HAS SOUS 3514320 HAS SOUPS 2633446 WITH SCORE 2639055.947
AT ITER 735 NEW BEST:: SOT 11030069 SOS 5609311 HAS SOPS 4227107 HAS SOUS 3512845 HAS SOUPS 2631971 WITH SCORE 2637580.311
AT ITER 740 NEW BEST:: SOT 11029802 SOS 5609311 HAS SOPS 4227107 HAS SOUS 3512578 HAS SOUPS 2631704 WITH SCORE 2637313.311
AT ITER 743 NEW BEST:: SOT 11029773 SOS 5609282 HAS SOPS 4227107 HAS SOUS 3512549 HAS SOUPS 2631704 WITH SCORE 2637313.282
AT ITER 744 NEW BEST:: SOT 11029093 SOS 5609282 HAS SOPS 4227253 HAS SOUS 3511869 HAS SOUPS 2631170 WITH SCORE 2636779.282
AT ITER 748 NEW BEST:: SOT 11028572 SOS 5609282 HAS SOPS 4227327 HAS SOUS 3511348 HAS SOUPS 2630723 WITH SCORE 2636332.282
AT ITER 766 NEW BEST:: SOT 11029112 SOS 5612595 HAS SOPS 4227867 HAS SOUS 3512428 HAS SOUPS 2630577 WITH SCORE 2636189.595
AT ITER 775 NEW BEST:: SOT 11028517 SOS 5610810 HAS SOPS 4227272 HAS SOUS 3511833 HAS SOUPS 2630577 WITH SCORE 2636187.81
AT ITER 777 NEW BEST:: SOT 11028517 SOS 5612978 HAS SOPS 4227272 HAS SOUS 3511833 HAS SOUPS 2629493 WITH SCORE 2635105.978
AT ITER 782 NEW BEST:: SOT 11027901 SOS 5611130 HAS SOPS 4226656 HAS SOUS 3511217 HAS SOUPS 2629493 WITH SCORE 2635104.13
AT ITER 783 NEW BEST:: SOT 11027337 SOS 5611130 HAS SOPS 4226656 HAS SOUS 3510653 HAS SOUPS 2628929 WITH SCORE 2634540.13
AT ITER 784 NEW BEST:: SOT 11027100 SOS 5611130 HAS SOPS 4226656 HAS SOUS 3510416 HAS SOUPS 2628692 WITH SCORE 2634303.13
AT ITER 797 NEW BEST:: SOT 11026601 SOS 5611130 HAS SOPS 4226656 HAS SOUS 3509917 HAS SOUPS 2628193 WITH SCORE 2633804.13
AT ITER 798 NEW BEST:: SOT 11026531 SOS 5610920 HAS SOPS 4226586 HAS SOUS 3509777 HAS SOUPS 2628123 WITH SCORE 2633733.92
AT ITER 801 NEW BEST:: SOT 11026531 SOS 5612336 HAS SOPS 4226586 HAS SOUS 3509777 HAS SOUPS 2627415 WITH SCORE 2633027.336
AT ITER 806 NEW BEST:: SOT 11026867 SOS 5615135 HAS SOPS 4226922 HAS SOUS 3510449 HAS SOUPS 2626967 WITH SCORE 2632582.135
AT ITER 821 NEW BEST:: SOT 11026994 SOS 5615554 HAS SOPS 4227015 HAS SOUS 3510541 HAS SOUPS 2626896 WITH SCORE 2632511.554
AT ITER 832 NEW BEST:: SOT 11025769 SOS 5614950 HAS SOPS 4226411 HAS SOUS 3509316 HAS SOUPS 2625671 WITH SCORE 2631285.95
AT ITER 834 NEW BEST:: SOT 11024841 SOS 5614773 HAS SOPS 4226234 HAS SOUS 3508771 HAS SOUPS 2625126 WITH SCORE 2630740.773
AT ITER 835 NEW BEST:: SOT 11024308 SOS 5613707 HAS SOPS 4226234 HAS SOUS 3508238 HAS SOUPS 2625126 WITH SCORE 2630739.707
AT ITER 838 NEW BEST:: SOT 11023405 SOS 5613707 HAS SOPS 4226256 HAS SOUS 3507335 HAS SOUPS 2624245 WITH SCORE 2629858.707
AT ITER 862 NEW BEST:: SOT 11023943 SOS 5617154 HAS SOPS 4226794 HAS SOUS 3508411 HAS SOUPS 2623957 WITH SCORE 2629574.154
AT ITER 871 NEW BEST:: SOT 11023943 SOS 5618138 HAS SOPS 4226794 HAS SOUS 3508411 HAS SOUPS 2623703 WITH SCORE 2629321.138
AT ITER 873 NEW BEST:: SOT 11024631 SOS 5621834 HAS SOPS 4227482 HAS SOUS 3509787 HAS SOUPS 2623575 WITH SCORE 2629196.834
AT ITER 876 NEW BEST:: SOT 11024250 SOS 5620691 HAS SOPS 4227101 HAS SOUS 3509406 HAS SOUPS 2623575 WITH SCORE 2629195.691
AT ITER 888 NEW BEST:: SOT 11023499 SOS 5620945 HAS SOPS 4227740 HAS SOUS 3508909 HAS SOUPS 2623463 WITH SCORE 2629083.945
AT ITER 898 NEW BEST:: SOT 11023231 SOS 5620945 HAS SOPS 4227740 HAS SOUS 3508641 HAS SOUPS 2623195 WITH SCORE 2628815.945
AT ITER 899 NEW BEST:: SOT 11023775 SOS 5624412 HAS SOPS 4228284 HAS SOUS 3509729 HAS SOUPS 2622911 WITH SCORE 2628535.412
AT ITER 902 NEW BEST:: SOT 11022969 SOS 5624412 HAS SOPS 4228620 HAS SOUS 3508923 HAS SOUPS 2622441 WITH SCORE 2628065.412
AT ITER 909 NEW BEST:: SOT 11022969 SOS 5624805 HAS SOPS 4228620 HAS SOUS 3508923 HAS SOUPS 2622256 WITH SCORE 2627880.805
AT ITER 913 NEW BEST:: SOT 11022476 SOS 5623326 HAS SOPS 4228127 HAS SOUS 3508430 HAS SOUPS 2622256 WITH SCORE 2627879.326
AT ITER 914 NEW BEST:: SOT 11022476 SOS 5625266 HAS SOPS 4228127 HAS SOUS 3508430 HAS SOUPS 2621286 WITH SCORE 2626911.266
AT ITER 922 NEW BEST:: SOT 11022443 SOS 5625266 HAS SOPS 4228127 HAS SOUS 3508397 HAS SOUPS 2621253 WITH SCORE 2626878.266
AT ITER 924 NEW BEST:: SOT 11020946 SOS 5624317 HAS SOPS 4227178 HAS SOUS 3506920 HAS SOUPS 2619776 WITH SCORE 2625400.317
AT ITER 928 NEW BEST:: SOT 11020143 SOS 5624317 HAS SOPS 4227178 HAS SOUS 3506117 HAS SOUPS 2618973 WITH SCORE 2624597.317
AT ITER 933 NEW BEST:: SOT 11020143 SOS 5624317 HAS SOPS 4227178 HAS SOUS 3505939 HAS SOUPS 2618795 WITH SCORE 2624419.317
AT ITER 936 NEW BEST:: SOT 11020743 SOS 5627914 HAS SOPS 4227778 HAS SOUS 3507139 HAS SOUPS 2618605 WITH SCORE 2624232.914
AT ITER 946 NEW BEST:: SOT 11021209 SOS 5631006 HAS SOPS 4228244 HAS SOUS 3508071 HAS SOUPS 2618384 WITH SCORE 2624015.006
AT ITER 963 NEW BEST:: SOT 11021684 SOS 5634323 HAS SOPS 4228719 HAS SOUS 3509021 HAS SOUPS 2617974 WITH SCORE 2623608.323
AT ITER 969 NEW BEST:: SOT 11021695 SOS 5637370 HAS SOPS 4228730 HAS SOUS 3509043 HAS SOUPS 2616478 WITH SCORE 2622115.37
AT ITER 980 NEW BEST:: SOT 11021135 SOS 5635690 HAS SOPS 4228170 HAS SOUS 3508483 HAS SOUPS 2616478 WITH SCORE 2622113.69
AT ITER 981 NEW BEST:: SOT 11020801 SOS 5635356 HAS SOPS 4227502 HAS SOUS 3507815 HAS SOUPS 2615810 WITH SCORE 2621445.356
AT ITER 990 NEW BEST:: SOT 11020303 SOS 5633862 HAS SOPS 4227004 HAS SOUS 3507317 HAS SOUPS 2615810 WITH SCORE 2621443.862
AT ITER 995 NEW BEST:: SOT 11019852 SOS 5632509 HAS SOPS 4226553 HAS SOUS 3506866 HAS SOUPS 2615810 WITH SCORE 2621442.509
AT ITER 998 NEW BEST:: SOT 11019852 SOS 5632895 HAS SOPS 4226553 HAS SOUS 3506866 HAS SOUPS 2615617 WITH SCORE 2621249.895
AT ITER 1008 NEW BEST:: SOT 11019852 SOS 5633954 HAS SOPS 4226553 HAS SOUS 3506866 HAS SOUPS 2615269 WITH SCORE 2620902.954
AT ITER 1013 NEW BEST:: SOT 11018363 SOS 5630436 HAS SOPS 4226013 HAS SOUS 3505377 HAS SOUPS 2615269 WITH SCORE 2620899.436
AT ITER 1020 NEW BEST:: SOT 11017655 SOS 5630436 HAS SOPS 4226303 HAS SOUS 3504669 HAS SOUPS 2614851 WITH SCORE 2620481.436
AT ITER 1021 NEW BEST:: SOT 11016766 SOS 5630436 HAS SOPS 4226395 HAS SOUS 3503780 HAS SOUPS 2614054 WITH SCORE 2619684.436
AT ITER 1025 NEW BEST:: SOT 11017255 SOS 5633689 HAS SOPS 4226884 HAS SOUS 3504758 HAS SOUPS 2613764 WITH SCORE 2619397.689
AT ITER 1029 NEW BEST:: SOT 11016916 SOS 5632672 HAS SOPS 4226545 HAS SOUS 3504419 HAS SOUPS 2613764 WITH SCORE 2619396.672
AT ITER 1032 NEW BEST:: SOT 11016761 SOS 5632672 HAS SOPS 4226545 HAS SOUS 3504264 HAS SOUPS 2613609 WITH SCORE 2619241.672
AT ITER 1033 NEW BEST:: SOT 11016761 SOS 5634510 HAS SOPS 4226545 HAS SOUS 3504264 HAS SOUPS 2612690 WITH SCORE 2618324.51
AT ITER 1047 NEW BEST:: SOT 11016506 SOS 5634255 HAS SOPS 4226290 HAS SOUS 3503754 HAS SOUPS 2612180 WITH SCORE 2617814.255
AT ITER 1059 NEW BEST:: SOT 11016293 SOS 5634255 HAS SOPS 4226290 HAS SOUS 3503541 HAS SOUPS 2611967 WITH SCORE 2617601.255
AT ITER 1062 NEW BEST:: SOT 11016293 SOS 5636231 HAS SOPS 4226290 HAS SOUS 3503541 HAS SOUPS 2610979 WITH SCORE 2616615.231
AT ITER 1077 NEW BEST:: SOT 11014864 SOS 5635524 HAS SOPS 4225583 HAS SOUS 3502112 HAS SOUPS 2609550 WITH SCORE 2615185.524
AT ITER 1088 NEW BEST:: SOT 11014864 SOS 5637512 HAS SOPS 4225583 HAS SOUS 3502112 HAS SOUPS 2608556 WITH SCORE 2614193.512
AT ITER 1105 NEW BEST:: SOT 11014864 SOS 5639936 HAS SOPS 4225583 HAS SOUS 3502112 HAS SOUPS 2607344 WITH SCORE 2612983.936
AT ITER 1106 NEW BEST:: SOT 11015269 SOS 5642801 HAS SOPS 4225988 HAS SOUS 3502922 HAS SOUPS 2607106 WITH SCORE 2612748.801
AT ITER 1113 NEW BEST:: SOT 11015269 SOS 5643872 HAS SOPS 4225988 HAS SOUS 3502922 HAS SOUPS 2606470 WITH SCORE 2612113.872
AT ITER 1119 NEW BEST:: SOT 11013886 SOS 5643369 HAS SOPS 4225485 HAS SOUS 3501787 HAS SOUPS 2605335 WITH SCORE 2610978.369
AT ITER 1120 NEW BEST:: SOT 11012978 SOS 5642858 HAS SOPS 4224974 HAS SOUS 3500879 HAS SOUPS 2604427 WITH SCORE 2610069.858
AT ITER 1122 NEW BEST:: SOT 11012654 SOS 5642534 HAS SOPS 4224650 HAS SOUS 3500231 HAS SOUPS 2603779 WITH SCORE 2609421.534
AT ITER 1127 NEW BEST:: SOT 11011508 SOS 5642170 HAS SOPS 4224286 HAS SOUS 3499085 HAS SOUPS 2602633 WITH SCORE 2608275.17
AT ITER 1129 NEW BEST:: SOT 11010819 SOS 5640103 HAS SOPS 4223597 HAS SOUS 3498396 HAS SOUPS 2602633 WITH SCORE 2608273.103
AT ITER 1133 NEW BEST:: SOT 11010577 SOS 5639377 HAS SOPS 4223355 HAS SOUS 3498154 HAS SOUPS 2602633 WITH SCORE 2608272.377
AT ITER 1140 NEW BEST:: SOT 11010271 SOS 5639377 HAS SOPS 4223355 HAS SOUS 3497848 HAS SOUPS 2602327 WITH SCORE 2607966.377
AT ITER 1147 NEW BEST:: SOT 11010501 SOS 5641877 HAS SOPS 4223585 HAS SOUS 3498308 HAS SOUPS 2601754 WITH SCORE 2607395.877
AT ITER 1150 NEW BEST:: SOT 11009717 SOS 5641877 HAS SOPS 4223585 HAS SOUS 3497524 HAS SOUPS 2600970 WITH SCORE 2606611.877
AT ITER 1156 NEW BEST:: SOT 11009085 SOS 5641877 HAS SOPS 4223727 HAS SOUS 3496892 HAS SOUPS 2600480 WITH SCORE 2606121.877
AT ITER 1169 NEW BEST:: SOT 11008719 SOS 5641511 HAS SOPS 4223361 HAS SOUS 3496160 HAS SOUPS 2599748 WITH SCORE 2605389.511
AT ITER 1178 NEW BEST:: SOT 11007772 SOS 5641339 HAS SOPS 4223189 HAS SOUS 3495596 HAS SOUPS 2599184 WITH SCORE 2604825.339
AT ITER 1181 NEW BEST:: SOT 11007278 SOS 5641603 HAS SOPS 4223453 HAS SOUS 3495366 HAS SOUPS 2598954 WITH SCORE 2604595.603
AT ITER 1189 NEW BEST:: SOT 11007278 SOS 5643847 HAS SOPS 4223453 HAS SOUS 3495366 HAS SOUPS 2597832 WITH SCORE 2603475.847
AT ITER 1195 NEW BEST:: SOT 11006428 SOS 5643847 HAS SOPS 4223639 HAS SOUS 3494516 HAS SOUPS 2597168 WITH SCORE 2602811.847
AT ITER 1199 NEW BEST:: SOT 11006146 SOS 5643876 HAS SOPS 4223668 HAS SOUS 3494263 HAS SOUPS 2596915 WITH SCORE 2602558.876
AT ITER 1201 NEW BEST:: SOT 11005637 SOS 5642349 HAS SOPS 4223159 HAS SOUS 3493754 HAS SOUPS 2596915 WITH SCORE 2602557.349
AT ITER 1219 NEW BEST:: SOT 11004315 SOS 5641570 HAS SOPS 4222380 HAS SOUS 3492432 HAS SOUPS 2595593 WITH SCORE 2601234.57
AT ITER 1224 NEW BEST:: SOT 11003563 SOS 5641976 HAS SOPS 4223093 HAS SOUS 3492086 HAS SOUPS 2595554 WITH SCORE 2601195.976
AT ITER 1233 NEW BEST:: SOT 11003563 SOS 5644598 HAS SOPS 4223093 HAS SOUS 3492086 HAS SOUPS 2594243 WITH SCORE 2599887.598
AT ITER 1246 NEW BEST:: SOT 11002878 SOS 5644598 HAS SOPS 4223093 HAS SOUS 3491401 HAS SOUPS 2593558 WITH SCORE 2599202.598
AT ITER 1248 NEW BEST:: SOT 11002717 SOS 5644598 HAS SOPS 4223093 HAS SOUS 3491240 HAS SOUPS 2593397 WITH SCORE 2599041.598
AT ITER 1274 NEW BEST:: SOT 11002012 SOS 5643893 HAS SOPS 4222388 HAS SOUS 3489830 HAS SOUPS 2591987 WITH SCORE 2597630.893
AT ITER 1275 NEW BEST:: SOT 11002393 SOS 5646671 HAS SOPS 4222769 HAS SOUS 3490592 HAS SOUPS 2591675 WITH SCORE 2597321.671
AT ITER 1293 NEW BEST:: SOT 11002254 SOS 5646671 HAS SOPS 4222769 HAS SOUS 3490453 HAS SOUPS 2591536 WITH SCORE 2597182.671
AT ITER 1300 NEW BEST:: SOT 11002254 SOS 5646664 HAS SOPS 4222755 HAS SOUS 3490446 HAS SOUPS 2591522 WITH SCORE 2597168.664
AT ITER 1302 NEW BEST:: SOT 11001347 SOS 5646538 HAS SOPS 4222629 HAS SOUS 3490144 HAS SOUPS 2591220 WITH SCORE 2596866.538
AT ITER 1311 NEW BEST:: SOT 11000762 SOS 5644783 HAS SOPS 4222044 HAS SOUS 3489559 HAS SOUPS 2591220 WITH SCORE 2596864.783
AT ITER 1315 NEW BEST:: SOT 11000762 SOS 5645373 HAS SOPS 4222044 HAS SOUS 3489559 HAS SOUPS 2590925 WITH SCORE 2596570.373
AT ITER 1325 NEW BEST:: SOT 11000732 SOS 5645344 HAS SOPS 4222015 HAS SOUS 3489372 HAS SOUPS 2590738 WITH SCORE 2596383.344
AT ITER 1339 NEW BEST:: SOT 10999482 SOS 5644665 HAS SOPS 4221336 HAS SOUS 3488122 HAS SOUPS 2589488 WITH SCORE 2595132.665
AT ITER 1341 NEW BEST:: SOT 10998235 SOS 5644214 HAS SOPS 4220885 HAS SOUS 3487395 HAS SOUPS 2588761 WITH SCORE 2594405.214
AT ITER 1356 NEW BEST:: SOT 10997429 SOS 5644214 HAS SOPS 4220885 HAS SOUS 3486589 HAS SOUPS 2587955 WITH SCORE 2593599.214
AT ITER 1360 NEW BEST:: SOT 10997424 SOS 5644209 HAS SOPS 4220880 HAS SOUS 3486579 HAS SOUPS 2587945 WITH SCORE 2593589.209
AT ITER 1363 NEW BEST:: SOT 10997824 SOS 5647334 HAS SOPS 4221280 HAS SOUS 3487379 HAS SOUPS 2587427 WITH SCORE 2593074.334
AT ITER 1370 NEW BEST:: SOT 10996895 SOS 5644547 HAS SOPS 4220351 HAS SOUS 3486450 HAS SOUPS 2587427 WITH SCORE 2593071.547
AT ITER 1386 NEW BEST:: SOT 10995530 SOS 5644159 HAS SOPS 4219963 HAS SOUS 3485275 HAS SOUPS 2586252 WITH SCORE 2591896.159
AT ITER 1387 NEW BEST:: SOT 10996134 SOS 5645986 HAS SOPS 4219816 HAS SOUS 3485496 HAS SOUPS 2585486 WITH SCORE 2591131.986
AT ITER 1392 NEW BEST:: SOT 10995342 SOS 5643610 HAS SOPS 4219024 HAS SOUS 3484704 HAS SOUPS 2585486 WITH SCORE 2591129.61
AT ITER 1394 NEW BEST:: SOT 10994613 SOS 5643610 HAS SOPS 4219024 HAS SOUS 3483975 HAS SOUPS 2584757 WITH SCORE 2590400.61
AT ITER 1397 NEW BEST:: SOT 10994613 SOS 5645044 HAS SOPS 4219024 HAS SOUS 3483975 HAS SOUPS 2584040 WITH SCORE 2589685.044
AT ITER 1398 NEW BEST:: SOT 10995505 SOS 5647137 HAS SOPS 4219147 HAS SOUS 3484774 HAS SOUPS 2583854 WITH SCORE 2589501.137
AT ITER 1412 NEW BEST:: SOT 10995505 SOS 5648071 HAS SOPS 4219147 HAS SOUS 3484774 HAS SOUPS 2583387 WITH SCORE 2589035.071
AT ITER 1421 NEW BEST:: SOT 10994654 SOS 5648177 HAS SOPS 4219512 HAS SOUS 3484029 HAS SOUPS 2582901 WITH SCORE 2588549.177
AT ITER 1423 NEW BEST:: SOT 10994559 SOS 5648177 HAS SOPS 4219512 HAS SOUS 3483934 HAS SOUPS 2582806 WITH SCORE 2588454.177
AT ITER 1427 NEW BEST:: SOT 10994785 SOS 5651869 HAS SOPS 4219738 HAS SOUS 3484386 HAS SOUPS 2581525 WITH SCORE 2587176.869
AT ITER 1430 NEW BEST:: SOT 10994319 SOS 5651403 HAS SOPS 4219272 HAS SOUS 3483454 HAS SOUPS 2580593 WITH SCORE 2586244.403
AT ITER 1433 NEW BEST:: SOT 10994317 SOS 5651397 HAS SOPS 4219270 HAS SOUS 3483450 HAS SOUPS 2580591 WITH SCORE 2586242.397
AT ITER 1439 NEW BEST:: SOT 10995049 SOS 5653271 HAS SOPS 4219304 HAS SOUS 3483994 HAS SOUPS 2580215 WITH SCORE 2585868.271
AT ITER 1445 NEW BEST:: SOT 10994553 SOS 5653271 HAS SOPS 4219304 HAS SOUS 3483498 HAS SOUPS 2579719 WITH SCORE 2585372.271
AT ITER 1452 NEW BEST:: SOT 10994553 SOS 5653701 HAS SOPS 4219304 HAS SOUS 3483498 HAS SOUPS 2579504 WITH SCORE 2585157.701
AT ITER 1454 NEW BEST:: SOT 10994538 SOS 5653656 HAS SOPS 4219289 HAS SOUS 3483483 HAS SOUPS 2579504 WITH SCORE 2585157.656
AT ITER 1457 NEW BEST:: SOT 10993272 SOS 5653091 HAS SOPS 4218724 HAS SOUS 3482217 HAS SOUPS 2578238 WITH SCORE 2583891.091
AT ITER 1458 NEW BEST:: SOT 10993135 SOS 5653091 HAS SOPS 4218724 HAS SOUS 3482080 HAS SOUPS 2578101 WITH SCORE 2583754.091
AT ITER 1467 NEW BEST:: SOT 10993135 SOS 5654989 HAS SOPS 4218724 HAS SOUS 3482080 HAS SOUPS 2577152 WITH SCORE 2582806.989
AT ITER 1490 NEW BEST:: SOT 10992720 SOS 5653744 HAS SOPS 4218309 HAS SOUS 3481665 HAS SOUPS 2577152 WITH SCORE 2582805.744
AT ITER 1493 NEW BEST:: SOT 10991952 SOS 5653744 HAS SOPS 4218617 HAS SOUS 3480897 HAS SOUPS 2576692 WITH SCORE 2582345.744
AT ITER 1494 NEW BEST:: SOT 10992278 SOS 5656529 HAS SOPS 4218943 HAS SOUS 3481549 HAS SOUPS 2576218 WITH SCORE 2581874.529
AT ITER 1496 NEW BEST:: SOT 10992278 SOS 5656266 HAS SOPS 4218680 HAS SOUS 3481549 HAS SOUPS 2576218 WITH SCORE 2581874.266
AT ITER 1499 NEW BEST:: SOT 10991731 SOS 5654625 HAS SOPS 4218133 HAS SOUS 3481002 HAS SOUPS 2576218 WITH SCORE 2581872.625
AT ITER 1500 NEW BEST:: SOT 10992093 SOS 5657613 HAS SOPS 4218495 HAS SOUS 3481726 HAS SOUPS 2575685 WITH SCORE 2581342.613
AT ITER 1504 NEW BEST:: SOT 10992093 SOS 5657565 HAS SOPS 4218447 HAS SOUS 3481726 HAS SOUPS 2575685 WITH SCORE 2581342.565
AT ITER 1517 NEW BEST:: SOT 10992389 SOS 5660246 HAS SOPS 4218743 HAS SOUS 3482318 HAS SOUPS 2575195 WITH SCORE 2580855.246
AT ITER 1518 NEW BEST:: SOT 10992667 SOS 5662983 HAS SOPS 4219021 HAS SOUS 3482874 HAS SOUPS 2574577 WITH SCORE 2580239.983
AT ITER 1520 NEW BEST:: SOT 10992667 SOS 5664425 HAS SOPS 4219021 HAS SOUS 3482874 HAS SOUPS 2573856 WITH SCORE 2579520.425
AT ITER 1524 NEW BEST:: SOT 10991174 SOS 5663853 HAS SOPS 4218449 HAS SOUS 3481409 HAS SOUPS 2572391 WITH SCORE 2578054.853
AT ITER 1525 NEW BEST:: SOT 10990786 SOS 5665079 HAS SOPS 4217662 HAS SOUS 3482644 HAS SOUPS 2571615 WITH SCORE 2577280.079
AT ITER 1530 NEW BEST:: SOT 10991438 SOS 5668886 HAS SOPS 4218314 HAS SOUS 3483948 HAS SOUPS 2571423 WITH SCORE 2577091.886
AT ITER 1535 NEW BEST:: SOT 10991384 SOS 5668886 HAS SOPS 4218314 HAS SOUS 3483894 HAS SOUPS 2571369 WITH SCORE 2577037.886
AT ITER 1543 NEW BEST:: SOT 10990922 SOS 5667500 HAS SOPS 4217852 HAS SOUS 3483432 HAS SOUPS 2571369 WITH SCORE 2577036.5
AT ITER 1544 NEW BEST:: SOT 10991522 SOS 5671143 HAS SOPS 4218452 HAS SOUS 3484632 HAS SOUPS 2571133 WITH SCORE 2576804.143
AT ITER 1545 NEW BEST:: SOT 10990226 SOS 5670836 HAS SOPS 4218145 HAS SOUS 3483758 HAS SOUPS 2570259 WITH SCORE 2575929.836
AT ITER 1548 NEW BEST:: SOT 10990153 SOS 5670836 HAS SOPS 4218145 HAS SOUS 3483685 HAS SOUPS 2570186 WITH SCORE 2575856.836
AT ITER 1551 NEW BEST:: SOT 10990748 SOS 5674319 HAS SOPS 4218740 HAS SOUS 3484875 HAS SOUPS 2570090 WITH SCORE 2575764.319
AT ITER 1555 NEW BEST:: SOT 10990376 SOS 5673203 HAS SOPS 4218368 HAS SOUS 3484503 HAS SOUPS 2570090 WITH SCORE 2575763.203
AT ITER 1556 NEW BEST:: SOT 10990376 SOS 5673413 HAS SOPS 4218158 HAS SOUS 3484293 HAS SOUPS 2569670 WITH SCORE 2575343.413
AT ITER 1561 NEW BEST:: SOT 10990090 SOS 5673413 HAS SOPS 4218158 HAS SOUS 3484007 HAS SOUPS 2569384 WITH SCORE 2575057.413
AT ITER 1569 NEW BEST:: SOT 10989885 SOS 5672798 HAS SOPS 4217953 HAS SOUS 3483802 HAS SOUPS 2569384 WITH SCORE 2575056.798
AT ITER 1570 NEW BEST:: SOT 10990300 SOS 5673213 HAS SOPS 4217536 HAS SOUS 3484217 HAS SOUPS 2569383 WITH SCORE 2575056.213
AT ITER 1571 NEW BEST:: SOT 10990252 SOS 5673165 HAS SOPS 4217488 HAS SOUS 3484121 HAS SOUPS 2569287 WITH SCORE 2574960.165
AT ITER 1592 NEW BEST:: SOT 10990252 SOS 5673682 HAS SOPS 4217488 HAS SOUS 3484121 HAS SOUPS 2569180 WITH SCORE 2574853.682
AT ITER 1598 NEW BEST:: SOT 10990822 SOS 5677131 HAS SOPS 4218058 HAS SOUS 3485261 HAS SOUPS 2569018 WITH SCORE 2574695.131
AT ITER 1603 NEW BEST:: SOT 10990582 SOS 5676891 HAS SOPS 4217818 HAS SOUS 3484781 HAS SOUPS 2568538 WITH SCORE 2574214.891
AT ITER 1619 NEW BEST:: SOT 10990573 SOS 5676882 HAS SOPS 4217809 HAS SOUS 3484763 HAS SOUPS 2568520 WITH SCORE 2574196.882
AT ITER 1620 NEW BEST:: SOT 10990016 SOS 5675211 HAS SOPS 4217252 HAS SOUS 3484206 HAS SOUPS 2568520 WITH SCORE 2574195.211
AT ITER 1621 NEW BEST:: SOT 10990016 SOS 5676929 HAS SOPS 4217252 HAS SOUS 3484206 HAS SOUPS 2567661 WITH SCORE 2573337.929
AT ITER 1622 NEW BEST:: SOT 10990035 SOS 5676813 HAS SOPS 4217136 HAS SOUS 3484069 HAS SOUPS 2567524 WITH SCORE 2573200.813
AT ITER 1631 NEW BEST:: SOT 10990458 SOS 5679729 HAS SOPS 4217559 HAS SOUS 3484915 HAS SOUPS 2567307 WITH SCORE 2572986.729
AT ITER 1632 NEW BEST:: SOT 10990458 SOS 5681501 HAS SOPS 4217559 HAS SOUS 3484915 HAS SOUPS 2566421 WITH SCORE 2572102.501
AT ITER 1635 NEW BEST:: SOT 10990454 SOS 5681497 HAS SOPS 4217555 HAS SOUS 3484907 HAS SOUPS 2566413 WITH SCORE 2572094.497
AT ITER 1637 NEW BEST:: SOT 10990454 SOS 5683589 HAS SOPS 4217555 HAS SOUS 3484907 HAS SOUPS 2565367 WITH SCORE 2571050.589
AT ITER 1639 NEW BEST:: SOT 10989693 SOS 5681306 HAS SOPS 4216794 HAS SOUS 3484146 HAS SOUPS 2565367 WITH SCORE 2571048.306
AT ITER 1642 NEW BEST:: SOT 10988941 SOS 5679050 HAS SOPS 4216042 HAS SOUS 3483394 HAS SOUPS 2565367 WITH SCORE 2571046.05
AT ITER 1645 NEW BEST:: SOT 10603625 SOS 6786148 HAS SOPS 5323517 HAS SOUS 3103288 HAS SOUPS 2185638 WITH SCORE 2192424.148
AT ITER 1647 NEW BEST:: SOT 10603447 SOS 6786148 HAS SOPS 5323517 HAS SOUS 3103110 HAS SOUPS 2185460 WITH SCORE 2192246.148
AT ITER 1648 NEW BEST:: SOT 10602936 SOS 6786148 HAS SOPS 5323569 HAS SOUS 3102599 HAS SOUPS 2185001 WITH SCORE 2191787.148
AT ITER 1651 NEW BEST:: SOT 10602936 SOS 6786148 HAS SOPS 5323459 HAS SOUS 3102599 HAS SOUPS 2184891 WITH SCORE 2191677.148
AT ITER 1658 NEW BEST:: SOT 10602864 SOS 6785932 HAS SOPS 5323387 HAS SOUS 3102455 HAS SOUPS 2184819 WITH SCORE 2191604.932
AT ITER 1660 NEW BEST:: SOT 10602864 SOS 6786587 HAS SOPS 5323387 HAS SOUS 3102455 HAS SOUPS 2184539 WITH SCORE 2191325.587
AT ITER 1672 NEW BEST:: SOT 10601372 SOS 6785751 HAS SOPS 5322551 HAS SOUS 3100993 HAS SOUPS 2183077 WITH SCORE 2189862.751
AT ITER 1678 NEW BEST:: SOT 10601372 SOS 6786979 HAS SOPS 5322551 HAS SOUS 3100993 HAS SOUPS 2182463 WITH SCORE 2189249.979
AT ITER 1679 NEW BEST:: SOT 10601649 SOS 6789682 HAS SOPS 5322828 HAS SOUS 3101547 HAS SOUPS 2181875 WITH SCORE 2188664.682
AT ITER 1694 NEW BEST:: SOT 10601442 SOS 6789682 HAS SOPS 5322828 HAS SOUS 3101340 HAS SOUPS 2181668 WITH SCORE 2188457.682
AT ITER 1705 NEW BEST:: SOT 10600568 SOS 6789877 HAS SOPS 5323085 HAS SOUS 3101232 HAS SOUPS 2181622 WITH SCORE 2188411.877
AT ITER 1710 NEW BEST:: SOT 10599092 SOS 6789107 HAS SOPS 5322315 HAS SOUS 3099818 HAS SOUPS 2180208 WITH SCORE 2186997.107
AT ITER 1711 NEW BEST:: SOT 10598628 SOS 6789107 HAS SOPS 5322315 HAS SOUS 3099354 HAS SOUPS 2179744 WITH SCORE 2186533.107
AT ITER 1747 NEW BEST:: SOT 10598606 SOS 6789085 HAS SOPS 5322293 HAS SOUS 3099310 HAS SOUPS 2179700 WITH SCORE 2186489.085
AT ITER 1749 NEW BEST:: SOT 10598011 SOS 6788490 HAS SOPS 5321103 HAS SOUS 3098120 HAS SOUPS 2178510 WITH SCORE 2185298.49
AT ITER 1750 NEW BEST:: SOT 10597265 SOS 6788490 HAS SOPS 5321103 HAS SOUS 3097374 HAS SOUPS 2177764 WITH SCORE 2184552.49
AT ITER 1759 NEW BEST:: SOT 10595803 SOS 6787574 HAS SOPS 5320187 HAS SOUS 3095912 HAS SOUPS 2176302 WITH SCORE 2183089.574
AT ITER 1761 NEW BEST:: SOT 10595284 SOS 6787055 HAS SOPS 5319668 HAS SOUS 3095393 HAS SOUPS 2175783 WITH SCORE 2182570.055
AT ITER 1776 NEW BEST:: SOT 10595721 SOS 6789994 HAS SOPS 5320105 HAS SOUS 3096267 HAS SOUPS 2175599 WITH SCORE 2182388.994
AT ITER 1781 NEW BEST:: SOT 10595014 SOS 6789344 HAS SOPS 5319455 HAS SOUS 3095823 HAS SOUPS 2175155 WITH SCORE 2181944.344
AT ITER 1783 NEW BEST:: SOT 10594493 SOS 6789344 HAS SOPS 5319455 HAS SOUS 3095302 HAS SOUPS 2174634 WITH SCORE 2181423.344
AT ITER 1798 NEW BEST:: SOT 10594388 SOS 6789344 HAS SOPS 5319455 HAS SOUS 3095197 HAS SOUPS 2174529 WITH SCORE 2181318.344
AT ITER 1801 NEW BEST:: SOT 10593367 SOS 6789155 HAS SOPS 5319266 HAS SOUS 3094494 HAS SOUPS 2173826 WITH SCORE 2180615.155
AT ITER 1804 NEW BEST:: SOT 10593555 SOS 6792733 HAS SOPS 5319454 HAS SOUS 3094870 HAS SOUPS 2172507 WITH SCORE 2179299.733
AT ITER 1810 NEW BEST:: SOT 10594113 SOS 6796004 HAS SOPS 5320012 HAS SOUS 3095986 HAS SOUPS 2172475 WITH SCORE 2179271.004
AT ITER 1812 NEW BEST:: SOT 10594607 SOS 6799100 HAS SOPS 5320506 HAS SOUS 3096974 HAS SOUPS 2172362 WITH SCORE 2179161.1
AT ITER 1816 NEW BEST:: SOT 10593196 SOS 6798287 HAS SOPS 5319693 HAS SOUS 3095563 HAS SOUPS 2170951 WITH SCORE 2177749.287
AT ITER 1832 NEW BEST:: SOT 10594013 SOS 6800183 HAS SOPS 5320115 HAS SOUS 3096120 HAS SOUPS 2170771 WITH SCORE 2177571.183
AT ITER 1834 NEW BEST:: SOT 10593153 SOS 6799920 HAS SOPS 5319852 HAS SOUS 3095690 HAS SOUPS 2170341 WITH SCORE 2177140.92
AT ITER 1835 NEW BEST:: SOT 10592404 SOS 6799202 HAS SOPS 5319134 HAS SOUS 3095090 HAS SOUPS 2169741 WITH SCORE 2176540.202
AT ITER 1844 NEW BEST:: SOT 10592404 SOS 6801426 HAS SOPS 5319134 HAS SOUS 3095090 HAS SOUPS 2168629 WITH SCORE 2175430.426
AT ITER 1848 NEW BEST:: SOT 10591551 SOS 6801426 HAS SOPS 5319134 HAS SOUS 3094237 HAS SOUPS 2167776 WITH SCORE 2174577.426
AT ITER 1856 NEW BEST:: SOT 10591905 SOS 6801404 HAS SOPS 5319112 HAS SOUS 3093859 HAS SOUPS 2167398 WITH SCORE 2174199.404
AT ITER 1860 NEW BEST:: SOT 10591213 SOS 6801454 HAS SOPS 5319767 HAS SOUS 3093217 HAS SOUPS 2167361 WITH SCORE 2174162.454
AT ITER 1861 NEW BEST:: SOT 10591837 SOS 6805131 HAS SOPS 5320391 HAS SOUS 3094465 HAS SOUPS 2167187 WITH SCORE 2173992.131
AT ITER 1867 NEW BEST:: SOT 10591711 SOS 6804952 HAS SOPS 5320139 HAS SOUS 3094286 HAS SOUPS 2166935 WITH SCORE 2173739.952
AT ITER 1877 NEW BEST:: SOT 10590246 SOS 6804184 HAS SOPS 5319371 HAS SOUS 3092821 HAS SOUPS 2165470 WITH SCORE 2172274.184
AT ITER 1879 NEW BEST:: SOT 10589896 SOS 6803484 HAS SOPS 5319021 HAS SOUS 3092471 HAS SOUPS 2165470 WITH SCORE 2172273.484
AT ITER 1885 NEW BEST:: SOT 10588547 SOS 6803091 HAS SOPS 5318628 HAS SOUS 3091438 HAS SOUPS 2164437 WITH SCORE 2171240.091
AT ITER 1890 NEW BEST:: SOT 10587828 SOS 6803103 HAS SOPS 5319210 HAS SOUS 3090731 HAS SOUPS 2164300 WITH SCORE 2171103.103
AT ITER 1892 NEW BEST:: SOT 10586516 SOS 6802588 HAS SOPS 5318695 HAS SOUS 3089419 HAS SOUPS 2162988 WITH SCORE 2169790.588
AT ITER 1893 NEW BEST:: SOT 10586516 SOS 6804148 HAS SOPS 5318695 HAS SOUS 3089419 HAS SOUPS 2162208 WITH SCORE 2169012.148
AT ITER 1901 NEW BEST:: SOT 10587345 SOS 6806231 HAS SOPS 5319158 HAS SOUS 3089825 HAS SOUPS 2161804 WITH SCORE 2168610.231
AT ITER 1915 NEW BEST:: SOT 10587214 SOS 6806100 HAS SOPS 5319027 HAS SOUS 3089694 HAS SOUPS 2161673 WITH SCORE 2168479.1
AT ITER 1917 NEW BEST:: SOT 10586906 SOS 6805176 HAS SOPS 5318719 HAS SOUS 3089386 HAS SOUPS 2161673 WITH SCORE 2168478.176
AT ITER 1929 NEW BEST:: SOT 10587093 SOS 6805968 HAS SOPS 5318679 HAS SOUS 3089157 HAS SOUPS 2161028 WITH SCORE 2167833.968
AT ITER 1936 NEW BEST:: SOT 10587691 SOS 6809587 HAS SOPS 5319277 HAS SOUS 3090353 HAS SOUPS 2160808 WITH SCORE 2167617.587
AT ITER 1943 NEW BEST:: SOT 10586214 SOS 6808645 HAS SOPS 5318335 HAS SOUS 3088936 HAS SOUPS 2159391 WITH SCORE 2166199.645
AT ITER 1955 NEW BEST:: SOT 10585423 SOS 6808566 HAS SOPS 5318256 HAS SOUS 3088145 HAS SOUPS 2158600 WITH SCORE 2165408.566
AT ITER 1972 NEW BEST:: SOT 10584411 SOS 6807770 HAS SOPS 5317460 HAS SOUS 3087243 HAS SOUPS 2157698 WITH SCORE 2164505.77
AT ITER 1980 NEW BEST:: SOT 10583564 SOS 6807770 HAS SOPS 5317634 HAS SOUS 3086396 HAS SOUPS 2157025 WITH SCORE 2163832.77
AT ITER 1986 NEW BEST:: SOT 10583509 SOS 6807605 HAS SOPS 5317579 HAS SOUS 3086341 HAS SOUPS 2157025 WITH SCORE 2163832.605
AT ITER 1990 NEW BEST:: SOT 10583509 SOS 6809917 HAS SOPS 5317579 HAS SOUS 3086341 HAS SOUPS 2155869 WITH SCORE 2162678.917
AT ITER 1998 NEW BEST:: SOT 10583864 SOS 6812899 HAS SOPS 5317934 HAS SOUS 3087051 HAS SOUPS 2155314 WITH SCORE 2162126.899
AT ITER 2008 NEW BEST:: SOT 10583864 SOS 6812524 HAS SOPS 5317559 HAS SOUS 3086676 HAS SOUPS 2154939 WITH SCORE 2161751.524
AT ITER 2018 NEW BEST:: SOT 10583508 SOS 6812524 HAS SOPS 5317559 HAS SOUS 3086320 HAS SOUPS 2154583 WITH SCORE 2161395.524
AT ITER 2023 NEW BEST:: SOT 10583508 SOS 6814088 HAS SOPS 5317559 HAS SOUS 3086320 HAS SOUPS 2153801 WITH SCORE 2160615.088
AT ITER 2031 NEW BEST:: SOT 10583293 SOS 6814090 HAS SOPS 5317561 HAS SOUS 3086107 HAS SOUPS 2153588 WITH SCORE 2160402.09
AT ITER 2032 NEW BEST:: SOT 10582786 SOS 6812569 HAS SOPS 5317054 HAS SOUS 3085600 HAS SOUPS 2153588 WITH SCORE 2160400.569
AT ITER 2036 NEW BEST:: SOT 10582208 SOS 6812569 HAS SOPS 5317606 HAS SOUS 3085022 HAS SOUPS 2153562 WITH SCORE 2160374.569
AT ITER 2040 NEW BEST:: SOT 10581669 SOS 6810952 HAS SOPS 5317067 HAS SOUS 3084483 HAS SOUPS 2153562 WITH SCORE 2160372.952
AT ITER 2049 NEW BEST:: SOT 10581431 SOS 6810714 HAS SOPS 5317089 HAS SOUS 3084400 HAS SOUPS 2153479 WITH SCORE 2160289.714
AT ITER 2050 NEW BEST:: SOT 10582038 SOS 6814690 HAS SOPS 5317696 HAS SOUS 3085614 HAS SOUPS 2153246 WITH SCORE 2160060.69
AT ITER 2061 NEW BEST:: SOT 10581442 SOS 6814690 HAS SOPS 5317696 HAS SOUS 3085018 HAS SOUPS 2152650 WITH SCORE 2159464.69
AT ITER 2065 NEW BEST:: SOT 10581426 SOS 6814674 HAS SOPS 5317680 HAS SOUS 3084986 HAS SOUPS 2152618 WITH SCORE 2159432.674
AT ITER 2067 NEW BEST:: SOT 10582307 SOS 6816830 HAS SOPS 5317964 HAS SOUS 3085812 HAS SOUPS 2152508 WITH SCORE 2159324.83
AT ITER 2069 NEW BEST:: SOT 10582285 SOS 6816764 HAS SOPS 5317942 HAS SOUS 3085790 HAS SOUPS 2152508 WITH SCORE 2159324.764
AT ITER 2071 NEW BEST:: SOT 10581891 SOS 6815582 HAS SOPS 5317548 HAS SOUS 3085396 HAS SOUPS 2152508 WITH SCORE 2159323.582
AT ITER 2079 NEW BEST:: SOT 10581682 SOS 6815582 HAS SOPS 5317548 HAS SOUS 3085187 HAS SOUPS 2152299 WITH SCORE 2159114.582
AT ITER 2081 NEW BEST:: SOT 10581775 SOS 6815337 HAS SOPS 5317303 HAS SOUS 3084847 HAS SOUPS 2151959 WITH SCORE 2158774.337
AT ITER 2100 NEW BEST:: SOT 10580458 SOS 6814648 HAS SOPS 5316614 HAS SOUS 3083530 HAS SOUPS 2150642 WITH SCORE 2157456.648
AT ITER 2131 NEW BEST:: SOT 10579682 SOS 6814764 HAS SOPS 5317134 HAS SOUS 3082870 HAS SOUPS 2150386 WITH SCORE 2157200.764
AT ITER 2134 NEW BEST:: SOT 10579682 SOS 6816948 HAS SOPS 5317134 HAS SOUS 3082870 HAS SOUPS 2149294 WITH SCORE 2156110.948
AT ITER 2142 NEW BEST:: SOT 10580350 SOS 6820797 HAS SOPS 5317802 HAS SOUS 3084206 HAS SOUPS 2149124 WITH SCORE 2155944.797
AT ITER 2145 NEW BEST:: SOT 10579503 SOS 6818256 HAS SOPS 5316955 HAS SOUS 3083359 HAS SOUPS 2149124 WITH SCORE 2155942.256
AT ITER 2151 NEW BEST:: SOT 10579488 SOS 6818241 HAS SOPS 5316940 HAS SOUS 3083329 HAS SOUPS 2149094 WITH SCORE 2155912.241
AT ITER 2157 NEW BEST:: SOT 10579488 SOS 6820049 HAS SOPS 5316940 HAS SOUS 3083329 HAS SOUPS 2148190 WITH SCORE 2155010.049
AT ITER 2158 NEW BEST:: SOT 10578643 SOS 6820265 HAS SOPS 5317372 HAS SOUS 3082700 HAS SOUPS 2147777 WITH SCORE 2154597.265
AT ITER 2164 NEW BEST:: SOT 10577859 SOS 6820424 HAS SOPS 5317531 HAS SOUS 3082152 HAS SOUPS 2147229 WITH SCORE 2154049.424
AT ITER 2167 NEW BEST:: SOT 10577859 SOS 6822866 HAS SOPS 5317531 HAS SOUS 3082152 HAS SOUPS 2146008 WITH SCORE 2152830.866
AT ITER 2168 NEW BEST:: SOT 10577313 SOS 6821228 HAS SOPS 5316985 HAS SOUS 3081606 HAS SOUPS 2146008 WITH SCORE 2152829.228
AT ITER 2185 NEW BEST:: SOT 10575932 SOS 6820816 HAS SOPS 5316573 HAS SOUS 3080477 HAS SOUPS 2144879 WITH SCORE 2151699.816
AT ITER 2240 NEW BEST:: SOT 10575932 SOS 6823100 HAS SOPS 5316573 HAS SOUS 3080477 HAS SOUPS 2143737 WITH SCORE 2150560.1
AT ITER 2242 NEW BEST:: SOT 10575932 SOS 6824168 HAS SOPS 5316573 HAS SOUS 3080477 HAS SOUPS 2143203 WITH SCORE 2150027.168
AT ITER 2253 NEW BEST:: SOT 10575800 SOS 6823772 HAS SOPS 5316441 HAS SOUS 3080213 HAS SOUPS 2143071 WITH SCORE 2149894.772
AT ITER 2257 NEW BEST:: SOT 10575908 SOS 6824181 HAS SOPS 5316492 HAS SOUS 3080250 HAS SOUPS 2142929 WITH SCORE 2149753.181
AT ITER 2266 NEW BEST:: SOT 10575520 SOS 6824181 HAS SOPS 5316492 HAS SOUS 3079862 HAS SOUPS 2142541 WITH SCORE 2149365.181
AT ITER 2267 NEW BEST:: SOT 10575183 SOS 6823170 HAS SOPS 5316155 HAS SOUS 3079525 HAS SOUPS 2142541 WITH SCORE 2149364.17
AT ITER 2270 NEW BEST:: SOT 10575071 SOS 6823170 HAS SOPS 5316155 HAS SOUS 3079413 HAS SOUPS 2142429 WITH SCORE 2149252.17
AT ITER 2277 NEW BEST:: SOT 10574543 SOS 6821586 HAS SOPS 5315627 HAS SOUS 3078885 HAS SOUPS 2142429 WITH SCORE 2149250.586
AT ITER 2293 NEW BEST:: SOT 10573981 SOS 6821586 HAS SOPS 5315919 HAS SOUS 3078323 HAS SOUPS 2142159 WITH SCORE 2148980.586
AT ITER 2303 NEW BEST:: SOT 10573625 SOS 6821230 HAS SOPS 5315563 HAS SOUS 3077611 HAS SOUPS 2141447 WITH SCORE 2148268.23
AT ITER 2312 NEW BEST:: SOT 10572931 SOS 6819148 HAS SOPS 5314869 HAS SOUS 3076917 HAS SOUPS 2141447 WITH SCORE 2148266.148
AT ITER 2317 NEW BEST:: SOT 10572233 SOS 6817054 HAS SOPS 5314171 HAS SOUS 3076219 HAS SOUPS 2141447 WITH SCORE 2148264.054
AT ITER 2320 NEW BEST:: SOT 10572317 SOS 6818330 HAS SOPS 5314255 HAS SOUS 3076387 HAS SOUPS 2140711 WITH SCORE 2147529.33
AT ITER 2327 NEW BEST:: SOT 10571846 SOS 6818330 HAS SOPS 5314255 HAS SOUS 3075916 HAS SOUPS 2140240 WITH SCORE 2147058.33
AT ITER 2328 NEW BEST:: SOT 10571334 SOS 6816794 HAS SOPS 5313743 HAS SOUS 3075404 HAS SOUPS 2140240 WITH SCORE 2147056.794
AT ITER 2350 NEW BEST:: SOT 10571334 SOS 6819500 HAS SOPS 5313743 HAS SOUS 3075404 HAS SOUPS 2138887 WITH SCORE 2145706.5
AT ITER 2379 NEW BEST:: SOT 10571057 SOS 6819223 HAS SOPS 5313466 HAS SOUS 3074850 HAS SOUPS 2138333 WITH SCORE 2145152.223
AT ITER 2381 NEW BEST:: SOT 10571360 SOS 6820034 HAS SOPS 5313515 HAS SOUS 3074950 HAS SOUPS 2138052 WITH SCORE 2144872.034
AT ITER 2389 NEW BEST:: SOT 10570960 SOS 6819634 HAS SOPS 5313115 HAS SOUS 3074150 HAS SOUPS 2137252 WITH SCORE 2144071.634
AT ITER 2390 NEW BEST:: SOT 10570233 SOS 6819518 HAS SOPS 5312999 HAS SOUS 3073508 HAS SOUPS 2136610 WITH SCORE 2143429.518
AT ITER 2391 NEW BEST:: SOT 10569019 SOS 6819261 HAS SOPS 5312742 HAS SOUS 3072880 HAS SOUPS 2135982 WITH SCORE 2142801.261
AT ITER 2392 NEW BEST:: SOT 10568114 SOS 6819261 HAS SOPS 5312832 HAS SOUS 3071975 HAS SOUPS 2135167 WITH SCORE 2141986.261
AT ITER 2408 NEW BEST:: SOT 10568114 SOS 6820977 HAS SOPS 5312832 HAS SOUS 3071975 HAS SOUPS 2134309 WITH SCORE 2141129.977
AT ITER 2410 NEW BEST:: SOT 10568024 SOS 6820977 HAS SOPS 5312888 HAS SOUS 3071885 HAS SOUPS 2134275 WITH SCORE 2141095.977
AT ITER 2416 NEW BEST:: SOT 10569015 SOS 6823422 HAS SOPS 5313331 HAS SOUS 3072866 HAS SOUPS 2134255 WITH SCORE 2141078.422
AT ITER 2433 NEW BEST:: SOT 10567819 SOS 6822847 HAS SOPS 5312756 HAS SOUS 3071864 HAS SOUPS 2133253 WITH SCORE 2140075.847
AT ITER 2435 NEW BEST:: SOT 10567463 SOS 6822847 HAS SOPS 5312756 HAS SOUS 3071508 HAS SOUPS 2132897 WITH SCORE 2139719.847
AT ITER 2450 NEW BEST:: SOT 10567798 SOS 6823978 HAS SOPS 5312799 HAS SOUS 3071384 HAS SOUPS 2132229 WITH SCORE 2139052.978
AT ITER 2478 NEW BEST:: SOT 10567798 SOS 6826420 HAS SOPS 5312799 HAS SOUS 3071384 HAS SOUPS 2131008 WITH SCORE 2137834.42
AT ITER 2480 NEW BEST:: SOT 10567405 SOS 6825634 HAS SOPS 5312799 HAS SOUS 3070991 HAS SOUPS 2131008 WITH SCORE 2137833.634
AT ITER 2482 NEW BEST:: SOT 10566980 SOS 6825634 HAS SOPS 5312799 HAS SOUS 3070566 HAS SOUPS 2130583 WITH SCORE 2137408.634
AT ITER 2483 NEW BEST:: SOT 10566680 SOS 6825804 HAS SOPS 5312969 HAS SOUS 3070436 HAS SOUPS 2130453 WITH SCORE 2137278.804
AT ITER 2489 NEW BEST:: SOT 10566808 SOS 5772907 HAS SOPS 4260072 HAS SOUS 3070564 HAS SOUPS 2130581 WITH SCORE 2136353.907
AT ITER 2503 NEW BEST:: SOT 10566750 SOS 5772849 HAS SOPS 4260014 HAS SOUS 3070448 HAS SOUPS 2130465 WITH SCORE 2136237.849
AT ITER 2513 NEW BEST:: SOT 10566193 SOS 5771178 HAS SOPS 4259457 HAS SOUS 3069891 HAS SOUPS 2130465 WITH SCORE 2136236.178
AT ITER 2515 NEW BEST:: SOT 10564835 SOS 5767622 HAS SOPS 4258617 HAS SOUS 3068533 HAS SOUPS 2130465 WITH SCORE 2136232.622
AT ITER 2533 NEW BEST:: SOT 10564762 SOS 5767549 HAS SOPS 4258544 HAS SOUS 3068387 HAS SOUPS 2130319 WITH SCORE 2136086.549
AT ITER 2538 NEW BEST:: SOT 10564292 SOS 5767549 HAS SOPS 4258544 HAS SOUS 3067917 HAS SOUPS 2129849 WITH SCORE 2135616.549
AT ITER 2543 NEW BEST:: SOT 10564292 SOS 5768319 HAS SOPS 4258544 HAS SOUS 3067917 HAS SOUPS 2129680 WITH SCORE 2135448.319
AT ITER 2551 NEW BEST:: SOT 10564292 SOS 5767988 HAS SOPS 4258544 HAS SOUS 3067917 HAS SOUPS 2129680 WITH SCORE 2135447.988
AT ITER 2555 NEW BEST:: SOT 10564292 SOS 5769720 HAS SOPS 4258544 HAS SOUS 3067917 HAS SOUPS 2128814 WITH SCORE 2134583.72
AT ITER 2571 NEW BEST:: SOT 10564826 SOS 5773192 HAS SOPS 4259078 HAS SOUS 3068985 HAS SOUPS 2128485 WITH SCORE 2134258.192
AT ITER 2574 NEW BEST:: SOT 10565304 SOS 5776183 HAS SOPS 4259556 HAS SOUS 3069941 HAS SOUPS 2128413 WITH SCORE 2134189.183
AT ITER 2589 NEW BEST:: SOT 10565078 SOS 5775957 HAS SOPS 4259665 HAS SOUS 3069824 HAS SOUPS 2128296 WITH SCORE 2134071.957
AT ITER 2600 NEW BEST:: SOT 10521113 SOS 5731992 HAS SOPS 4215655 HAS SOUS 3025814 HAS SOUPS 2084241 WITH SCORE 2089972.992
AT ITER 2605 NEW BEST:: SOT 10520361 SOS 5731992 HAS SOPS 4215655 HAS SOUS 3025062 HAS SOUPS 2083489 WITH SCORE 2089220.992
AT ITER 2606 NEW BEST:: SOT 10519492 SOS 5732050 HAS SOPS 4215960 HAS SOUS 3024251 HAS SOUPS 2082925 WITH SCORE 2088657.05
AT ITER 2607 NEW BEST:: SOT 10519492 SOS 5731896 HAS SOPS 4215960 HAS SOUS 3024251 HAS SOUPS 2082925 WITH SCORE 2088656.896
AT ITER 2611 NEW BEST:: SOT 10519492 SOS 5734582 HAS SOPS 4215960 HAS SOUS 3024251 HAS SOUPS 2081582 WITH SCORE 2087316.582
AT ITER 2632 NEW BEST:: SOT 10518713 SOS 5734651 HAS SOPS 4216029 HAS SOUS 3023658 HAS SOUPS 2080989 WITH SCORE 2086723.651
AT ITER 2650 NEW BEST:: SOT 10518089 SOS 5732073 HAS SOPS 4215405 HAS SOUS 3022410 HAS SOUPS 2080718 WITH SCORE 2086450.073
AT ITER 2651 NEW BEST:: SOT 10518089 SOS 5732297 HAS SOPS 4215405 HAS SOUS 3022410 HAS SOUPS 2080606 WITH SCORE 2086338.297
AT ITER 2654 NEW BEST:: SOT 10517939 SOS 5732147 HAS SOPS 4215255 HAS SOUS 3022110 HAS SOUPS 2080306 WITH SCORE 2086038.147
AT ITER 2663 NEW BEST:: SOT 10517287 SOS 5731495 HAS SOPS 4214603 HAS SOUS 3020806 HAS SOUPS 2079002 WITH SCORE 2084733.495
AT ITER 2673 NEW BEST:: SOT 10515949 SOS 5731056 HAS SOPS 4214164 HAS SOUS 3019806 HAS SOUPS 2078002 WITH SCORE 2083733.056
AT ITER 2683 NEW BEST:: SOT 10515776 SOS 5730537 HAS SOPS 4213991 HAS SOUS 3019460 HAS SOUPS 2077829 WITH SCORE 2083559.537
AT ITER 2692 NEW BEST:: SOT 10514781 SOS 5730112 HAS SOPS 4213566 HAS SOUS 3019026 HAS SOUPS 2077395 WITH SCORE 2083125.112
AT ITER 2699 NEW BEST:: SOT 10514781 SOS 5731728 HAS SOPS 4213566 HAS SOUS 3019026 HAS SOUPS 2076755 WITH SCORE 2082486.728
AT ITER 2701 NEW BEST:: SOT 10514781 SOS 5733736 HAS SOPS 4213566 HAS SOUS 3019026 HAS SOUPS 2075751 WITH SCORE 2081484.736
AT ITER 2704 NEW BEST:: SOT 10514781 SOS 5736188 HAS SOPS 4213566 HAS SOUS 3019026 HAS SOUPS 2074525 WITH SCORE 2080261.188
AT ITER 2708 NEW BEST:: SOT 10515059 SOS 5736254 HAS SOPS 4213632 HAS SOUS 3018812 HAS SOUPS 2074311 WITH SCORE 2080047.254
AT ITER 2711 NEW BEST:: SOT 10514834 SOS 5736029 HAS SOPS 4213407 HAS SOUS 3018362 HAS SOUPS 2073861 WITH SCORE 2079597.029
AT ITER 2714 NEW BEST:: SOT 10514834 SOS 5738115 HAS SOPS 4213407 HAS SOUS 3018362 HAS SOUPS 2072818 WITH SCORE 2078556.115
AT ITER 2721 NEW BEST:: SOT 10514290 SOS 5736483 HAS SOPS 4212863 HAS SOUS 3017818 HAS SOUPS 2072818 WITH SCORE 2078554.483
AT ITER 2730 NEW BEST:: SOT 10513791 SOS 5736483 HAS SOPS 4212863 HAS SOUS 3017319 HAS SOUPS 2072319 WITH SCORE 2078055.483
AT ITER 2731 NEW BEST:: SOT 10512968 SOS 5736817 HAS SOPS 4213398 HAS SOUS 3016830 HAS SOUPS 2072031 WITH SCORE 2077767.817
AT ITER 2740 NEW BEST:: SOT 10512231 SOS 5736837 HAS SOPS 4213580 HAS SOUS 3016113 HAS SOUPS 2071476 WITH SCORE 2077212.837
AT ITER 2744 NEW BEST:: SOT 10513068 SOS 5736458 HAS SOPS 4212923 HAS SOUS 3016313 HAS SOUPS 2071398 WITH SCORE 2077134.458
AT ITER 2751 NEW BEST:: SOT 10512639 SOS 5736029 HAS SOPS 4212494 HAS SOUS 3016112 HAS SOUPS 2071197 WITH SCORE 2076933.029
AT ITER 2755 NEW BEST:: SOT 10511424 SOS 5735115 HAS SOPS 4211580 HAS SOUS 3014897 HAS SOUPS 2069982 WITH SCORE 2075717.115
AT ITER 2766 NEW BEST:: SOT 10510521 SOS 5732406 HAS SOPS 4210677 HAS SOUS 3013994 HAS SOUPS 2069982 WITH SCORE 2075714.406
AT ITER 2769 NEW BEST:: SOT 10510521 SOS 5734412 HAS SOPS 4210677 HAS SOUS 3013994 HAS SOUPS 2068979 WITH SCORE 2074713.412
AT ITER 2774 NEW BEST:: SOT 10510521 SOS 5734125 HAS SOPS 4210677 HAS SOUS 3013994 HAS SOUPS 2068979 WITH SCORE 2074713.125
AT ITER 2776 NEW BEST:: SOT 10510553 SOS 5734157 HAS SOPS 4210709 HAS SOUS 3013805 HAS SOUPS 2068790 WITH SCORE 2074524.157
AT ITER 2782 NEW BEST:: SOT 10510040 SOS 5733644 HAS SOPS 4210196 HAS SOUS 3013593 HAS SOUPS 2068578 WITH SCORE 2074311.644
AT ITER 2783 NEW BEST:: SOT 10510040 SOS 5735794 HAS SOPS 4210196 HAS SOUS 3013593 HAS SOUPS 2067503 WITH SCORE 2073238.794
AT ITER 2784 NEW BEST:: SOT 10509506 SOS 5734467 HAS SOPS 4209662 HAS SOUS 3013059 HAS SOUPS 2067503 WITH SCORE 2073237.467
AT ITER 2785 NEW BEST:: SOT 10509287 SOS 5734467 HAS SOPS 4209662 HAS SOUS 3012840 HAS SOUPS 2067284 WITH SCORE 2073018.467
AT ITER 2794 NEW BEST:: SOT 10509382 SOS 5737766 HAS SOPS 4209757 HAS SOUS 3013030 HAS SOUPS 2065872 WITH SCORE 2071609.766
AT ITER 2798 NEW BEST:: SOT 10509121 SOS 5737244 HAS SOPS 4209757 HAS SOUS 3012769 HAS SOUPS 2065872 WITH SCORE 2071609.244
AT ITER 2815 NEW BEST:: SOT 10508910 SOS 5737244 HAS SOPS 4209757 HAS SOUS 3012558 HAS SOUPS 2065661 WITH SCORE 2071398.244
AT ITER 2818 NEW BEST:: SOT 10508910 SOS 5737536 HAS SOPS 4209757 HAS SOUS 3012558 HAS SOUPS 2065515 WITH SCORE 2071252.536
AT ITER 2824 NEW BEST:: SOT 10509091 SOS 5737718 HAS SOPS 4209939 HAS SOUS 3012387 HAS SOUPS 2065344 WITH SCORE 2071081.718
AT ITER 2828 NEW BEST:: SOT 10509046 SOS 5737583 HAS SOPS 4209894 HAS SOUS 3012297 HAS SOUPS 2065299 WITH SCORE 2071036.583
AT ITER 2844 NEW BEST:: SOT 10508154 SOS 5735799 HAS SOPS 4209894 HAS SOUS 3011405 HAS SOUPS 2065299 WITH SCORE 2071034.799
AT ITER 2853 NEW BEST:: SOT 10507898 SOS 5735287 HAS SOPS 4209894 HAS SOUS 3011149 HAS SOUPS 2065299 WITH SCORE 2071034.287
AT ITER 2855 NEW BEST:: SOT 10507898 SOS 5736809 HAS SOPS 4209894 HAS SOUS 3011149 HAS SOUPS 2064538 WITH SCORE 2070274.809
AT ITER 2866 NEW BEST:: SOT 10507431 SOS 5735408 HAS SOPS 4209427 HAS SOUS 3010682 HAS SOUPS 2064538 WITH SCORE 2070273.408
AT ITER 2868 NEW BEST:: SOT 10507100 SOS 5735077 HAS SOPS 4209096 HAS SOUS 3010635 HAS SOUPS 2064491 WITH SCORE 2070226.077
AT ITER 2876 NEW BEST:: SOT 10506262 SOS 5732563 HAS SOPS 4208258 HAS SOUS 3009797 HAS SOUPS 2064491 WITH SCORE 2070223.563
AT ITER 2893 NEW BEST:: SOT 10505633 SOS 5731943 HAS SOPS 4207638 HAS SOUS 3009168 HAS SOUPS 2063862 WITH SCORE 2069593.943
AT ITER 2894 NEW BEST:: SOT 10504763 SOS 5731746 HAS SOPS 4207441 HAS SOUS 3008298 HAS SOUPS 2062992 WITH SCORE 2068723.746
AT ITER 2900 NEW BEST:: SOT 10504763 SOS 5731822 HAS SOPS 4207441 HAS SOUS 3008298 HAS SOUPS 2062954 WITH SCORE 2068685.822
AT ITER 2910 NEW BEST:: SOT 10504197 SOS 5730124 HAS SOPS 4206875 HAS SOUS 3007732 HAS SOUPS 2062954 WITH SCORE 2068684.124
AT ITER 2923 NEW BEST:: SOT 10503942 SOS 5729359 HAS SOPS 4206620 HAS SOUS 3007477 HAS SOUPS 2062954 WITH SCORE 2068683.359
AT ITER 2924 NEW BEST:: SOT 10503890 SOS 5729255 HAS SOPS 4206620 HAS SOUS 3007425 HAS SOUPS 2062954 WITH SCORE 2068683.255
AT ITER 2930 NEW BEST:: SOT 10503135 SOS 5728508 HAS SOPS 4205873 HAS SOUS 3006824 HAS SOUPS 2062353 WITH SCORE 2068081.508
AT ITER 2932 NEW BEST:: SOT 10503135 SOS 5728450 HAS SOPS 4205873 HAS SOUS 3006766 HAS SOUPS 2062353 WITH SCORE 2068081.45
AT ITER 2934 NEW BEST:: SOT 10502455 SOS 5728450 HAS SOPS 4205873 HAS SOUS 3006086 HAS SOUPS 2061673 WITH SCORE 2067401.45
AT ITER 2940 NEW BEST:: SOT 10501888 SOS 5728450 HAS SOPS 4205873 HAS SOUS 3005519 HAS SOUPS 2061106 WITH SCORE 2066834.45
AT ITER 2943 NEW BEST:: SOT 10500490 SOS 5727582 HAS SOPS 4205005 HAS SOUS 3004121 HAS SOUPS 2059708 WITH SCORE 2065435.582
AT ITER 2958 NEW BEST:: SOT 10500219 SOS 5727582 HAS SOPS 4205005 HAS SOUS 3003850 HAS SOUPS 2059437 WITH SCORE 2065164.582
AT ITER 2961 NEW BEST:: SOT 10500219 SOS 5729542 HAS SOPS 4205005 HAS SOUS 3003850 HAS SOUPS 2058457 WITH SCORE 2064186.542
AT ITER 2973 NEW BEST:: SOT 10499993 SOS 5728864 HAS SOPS 4204779 HAS SOUS 3003624 HAS SOUPS 2058457 WITH SCORE 2064185.864
AT ITER 2988 NEW BEST:: SOT 10499844 SOS 5728417 HAS SOPS 4204630 HAS SOUS 3003475 HAS SOUPS 2058457 WITH SCORE 2064185.417
AT ITER 2999 NEW BEST:: SOT 10499844 SOS 5730453 HAS SOPS 4204630 HAS SOUS 3003475 HAS SOUPS 2057507 WITH SCORE 2063237.453
AT ITER 3006 NEW BEST:: SOT 10499844 SOS 5731095 HAS SOPS 4204630 HAS SOUS 3003475 HAS SOUPS 2057367 WITH SCORE 2063098.095
AT ITER 3008 NEW BEST:: SOT 10499314 SOS 5731095 HAS SOPS 4204858 HAS SOUS 3002945 HAS SOUPS 2057065 WITH SCORE 2062796.095
AT ITER 3012 NEW BEST:: SOT 10498653 SOS 5731095 HAS SOPS 4205228 HAS SOUS 3002284 HAS SOUPS 2056774 WITH SCORE 2062505.095
AT ITER 3013 NEW BEST:: SOT 10498317 SOS 5730087 HAS SOPS 4204892 HAS SOUS 3001948 HAS SOUPS 2056774 WITH SCORE 2062504.087
AT ITER 3016 NEW BEST:: SOT 10498728 SOS 5733302 HAS SOPS 4205303 HAS SOUS 3002770 HAS SOUPS 2056210 WITH SCORE 2061943.302
AT ITER 3034 NEW BEST:: SOT 10498252 SOS 5731874 HAS SOPS 4204827 HAS SOUS 3002294 HAS SOUPS 2056210 WITH SCORE 2061941.874
AT ITER 3063 NEW BEST:: SOT 10497803 SOS 5730527 HAS SOPS 4204378 HAS SOUS 3001845 HAS SOUPS 2056210 WITH SCORE 2061940.527
AT ITER 3073 NEW BEST:: SOT 10498489 SOS 5734331 HAS SOPS 4205064 HAS SOUS 3003217 HAS SOUPS 2056157 WITH SCORE 2061891.331
AT ITER 3081 NEW BEST:: SOT 10498136 SOS 5734331 HAS SOPS 4205064 HAS SOUS 3002864 HAS SOUPS 2055804 WITH SCORE 2061538.331
AT ITER 3083 NEW BEST:: SOT 10497337 SOS 5734354 HAS SOPS 4205087 HAS SOUS 3002621 HAS SOUPS 2055561 WITH SCORE 2061295.354
AT ITER 3104 NEW BEST:: SOT 10497001 SOS 5733682 HAS SOPS 4205087 HAS SOUS 3002285 HAS SOUPS 2055561 WITH SCORE 2061294.682
AT ITER 3110 NEW BEST:: SOT 10496508 SOS 5733682 HAS SOPS 4205087 HAS SOUS 3001792 HAS SOUPS 2055068 WITH SCORE 2060801.682
AT ITER 3111 NEW BEST:: SOT 10496738 SOS 5736206 HAS SOPS 4205317 HAS SOUS 3002252 HAS SOUPS 2054471 WITH SCORE 2060207.206
AT ITER 3131 NEW BEST:: SOT 10495921 SOS 5736284 HAS SOPS 4205736 HAS SOUS 3001513 HAS SOUPS 2054073 WITH SCORE 2059809.284
AT ITER 3137 NEW BEST:: SOT 10495921 SOS 5736438 HAS SOPS 4205736 HAS SOUS 3001513 HAS SOUPS 2054007 WITH SCORE 2059743.438
AT ITER 3144 NEW BEST:: SOT 10494991 SOS 5734578 HAS SOPS 4205736 HAS SOUS 3000583 HAS SOUPS 2054007 WITH SCORE 2059741.578
AT ITER 3155 NEW BEST:: SOT 10494524 SOS 5734578 HAS SOPS 4205736 HAS SOUS 3000116 HAS SOUPS 2053540 WITH SCORE 2059274.578
AT ITER 3176 NEW BEST:: SOT 10495043 SOS 5737885 HAS SOPS 4206255 HAS SOUS 3001154 HAS SOUPS 2053316 WITH SCORE 2059053.885
AT ITER 3182 NEW BEST:: SOT 10495043 SOS 5737610 HAS SOPS 4206255 HAS SOUS 3001154 HAS SOUPS 2053316 WITH SCORE 2059053.61
AT ITER 3184 NEW BEST:: SOT 10493583 SOS 5737081 HAS SOPS 4205726 HAS SOUS 2999788 HAS SOUPS 2051950 WITH SCORE 2057687.081
AT ITER 3186 NEW BEST:: SOT 10493583 SOS 5738467 HAS SOPS 4205726 HAS SOUS 2999788 HAS SOUPS 2051257 WITH SCORE 2056995.467
AT ITER 3192 NEW BEST:: SOT 10493583 SOS 5738913 HAS SOPS 4205726 HAS SOUS 2999788 HAS SOUPS 2051034 WITH SCORE 2056772.913
AT ITER 3193 NEW BEST:: SOT 10493553 SOS 5738883 HAS SOPS 4205696 HAS SOUS 2999728 HAS SOUPS 2050974 WITH SCORE 2056712.883
AT ITER 3196 NEW BEST:: SOT 10493553 SOS 5740116 HAS SOPS 4205696 HAS SOUS 2999728 HAS SOUPS 2050551 WITH SCORE 2056291.116
AT ITER 3207 NEW BEST:: SOT 10493887 SOS 5740889 HAS SOPS 4205715 HAS SOUS 2999959 HAS SOUPS 2050405 WITH SCORE 2056145.889
AT ITER 3214 NEW BEST:: SOT 10493682 SOS 5740889 HAS SOPS 4205715 HAS SOUS 2999754 HAS SOUPS 2050200 WITH SCORE 2055940.889
AT ITER 3215 NEW BEST:: SOT 10493393 SOS 5740889 HAS SOPS 4205715 HAS SOUS 2999465 HAS SOUPS 2049911 WITH SCORE 2055651.889
AT ITER 3227 NEW BEST:: SOT 10493393 SOS 5742277 HAS SOPS 4205715 HAS SOUS 2999465 HAS SOUPS 2049217 WITH SCORE 2054959.277
AT ITER 3228 NEW BEST:: SOT 10492942 SOS 5742277 HAS SOPS 4205715 HAS SOUS 2999014 HAS SOUPS 2048766 WITH SCORE 2054508.277
AT ITER 3241 NEW BEST:: SOT 10492511 SOS 5741415 HAS SOPS 4205715 HAS SOUS 2998583 HAS SOUPS 2048766 WITH SCORE 2054507.415
AT ITER 3246 NEW BEST:: SOT 10491620 SOS 5741511 HAS SOPS 4205811 HAS SOUS 2997818 HAS SOUPS 2048001 WITH SCORE 2053742.511
AT ITER 3283 NEW BEST:: SOT 10490723 SOS 5738820 HAS SOPS 4204914 HAS SOUS 2996921 HAS SOUPS 2048001 WITH SCORE 2053739.82
AT ITER 3289 NEW BEST:: SOT 10490720 SOS 5738817 HAS SOPS 4204911 HAS SOUS 2996915 HAS SOUPS 2047995 WITH SCORE 2053733.817
AT ITER 3298 NEW BEST:: SOT 10490720 SOS 5741571 HAS SOPS 4204911 HAS SOUS 2996915 HAS SOUPS 2046618 WITH SCORE 2052359.571
AT ITER 3305 NEW BEST:: SOT 10491088 SOS 5744361 HAS SOPS 4205279 HAS SOUS 2997651 HAS SOUPS 2046307 WITH SCORE 2052051.361
AT ITER 3308 NEW BEST:: SOT 10490815 SOS 5744361 HAS SOPS 4205279 HAS SOUS 2997378 HAS SOUPS 2046034 WITH SCORE 2051778.361
AT ITER 3317 NEW BEST:: SOT 10490600 SOS 5744146 HAS SOPS 4205064 HAS SOUS 2997189 HAS SOUPS 2045845 WITH SCORE 2051589.146
AT ITER 3338 NEW BEST:: SOT 10490149 SOS 5744146 HAS SOPS 4205064 HAS SOUS 2996738 HAS SOUPS 2045394 WITH SCORE 2051138.146
AT ITER 3342 NEW BEST:: SOT 10490077 SOS 5744074 HAS SOPS 4204992 HAS SOUS 2996594 HAS SOUPS 2045250 WITH SCORE 2050994.074
AT ITER 3359 NEW BEST:: SOT 10490077 SOS 5745216 HAS SOPS 4204992 HAS SOUS 2996594 HAS SOUPS 2044679 WITH SCORE 2050424.216
AT ITER 3369 NEW BEST:: SOT 10490077 SOS 5746372 HAS SOPS 4204992 HAS SOUS 2996594 HAS SOUPS 2044101 WITH SCORE 2049847.372
AT ITER 3374 NEW BEST:: SOT 10490077 SOS 5746372 HAS SOPS 4204992 HAS SOUS 2996543 HAS SOUPS 2044050 WITH SCORE 2049796.372
AT ITER 3383 NEW BEST:: SOT 10488907 SOS 5743296 HAS SOPS 4204256 HAS SOUS 2995373 HAS SOUPS 2044050 WITH SCORE 2049793.296
AT ITER 3384 NEW BEST:: SOT 10488907 SOS 5744604 HAS SOPS 4204256 HAS SOUS 2995373 HAS SOUPS 2043396 WITH SCORE 2049140.604
AT ITER 3388 NEW BEST:: SOT 10488386 SOS 5743041 HAS SOPS 4203735 HAS SOUS 2994852 HAS SOUPS 2043396 WITH SCORE 2049139.041
AT ITER 3390 NEW BEST:: SOT 10488747 SOS 5745841 HAS SOPS 4204096 HAS SOUS 2995574 HAS SOUPS 2043047 WITH SCORE 2048792.841
AT ITER 3392 NEW BEST:: SOT 10488410 SOS 5745841 HAS SOPS 4204138 HAS SOUS 2995237 HAS SOUPS 2042752 WITH SCORE 2048497.841
AT ITER 3394 NEW BEST:: SOT 10487481 SOS 5745262 HAS SOPS 4203559 HAS SOUS 2994377 HAS SOUPS 2041892 WITH SCORE 2047637.262
AT ITER 3395 NEW BEST:: SOT 10486943 SOS 5745262 HAS SOPS 4203559 HAS SOUS 2993839 HAS SOUPS 2041354 WITH SCORE 2047099.262
AT ITER 3401 NEW BEST:: SOT 10486943 SOS 5747358 HAS SOPS 4203559 HAS SOUS 2993839 HAS SOUPS 2040306 WITH SCORE 2046053.358
AT ITER 3428 NEW BEST:: SOT 10486943 SOS 5749092 HAS SOPS 4203559 HAS SOUS 2993839 HAS SOUPS 2039439 WITH SCORE 2045188.092
AT ITER 3431 NEW BEST:: SOT 10486670 SOS 5748819 HAS SOPS 4203286 HAS SOUS 2993293 HAS SOUPS 2038893 WITH SCORE 2044641.819
AT ITER 3432 NEW BEST:: SOT 10486670 SOS 5748616 HAS SOPS 4203286 HAS SOUS 2993090 HAS SOUPS 2038893 WITH SCORE 2044641.616
AT ITER 3434 NEW BEST:: SOT 10486670 SOS 5748496 HAS SOPS 4203286 HAS SOUS 2993090 HAS SOUPS 2038893 WITH SCORE 2044641.496
AT ITER 3437 NEW BEST:: SOT 10487289 SOS 5752124 HAS SOPS 4203905 HAS SOUS 2994328 HAS SOUPS 2038748 WITH SCORE 2044500.124
AT ITER 3445 NEW BEST:: SOT 10486615 SOS 5752124 HAS SOPS 4204449 HAS SOUS 2993654 HAS SOUPS 2038618 WITH SCORE 2044370.124
AT ITER 3450 NEW BEST:: SOT 10486355 SOS 5751864 HAS SOPS 4204189 HAS SOUS 2993134 HAS SOUPS 2038098 WITH SCORE 2043849.864
AT ITER 3452 NEW BEST:: SOT 10486347 SOS 5751840 HAS SOPS 4204181 HAS SOUS 2993126 HAS SOUPS 2038098 WITH SCORE 2043849.84
AT ITER 3455 NEW BEST:: SOT 10486839 SOS 5754996 HAS SOPS 4204673 HAS SOUS 2994110 HAS SOUPS 2037917 WITH SCORE 2043671.996
AT ITER 3490 NEW BEST:: SOT 10486839 SOS 5757230 HAS SOPS 4204673 HAS SOUS 2994110 HAS SOUPS 2036800 WITH SCORE 2042557.23
AT ITER 3502 NEW BEST:: SOT 10486792 SOS 5757183 HAS SOPS 4204626 HAS SOUS 2994016 HAS SOUPS 2036706 WITH SCORE 2042463.183
AT ITER 3503 NEW BEST:: SOT 10486274 SOS 5755629 HAS SOPS 4204108 HAS SOUS 2993498 HAS SOUPS 2036706 WITH SCORE 2042461.629
AT ITER 3504 NEW BEST:: SOT 10486819 SOS 5758956 HAS SOPS 4204653 HAS SOUS 2994588 HAS SOUPS 2036566 WITH SCORE 2042324.956
AT ITER 3518 NEW BEST:: SOT 10486819 SOS 5760900 HAS SOPS 4204653 HAS SOUS 2994588 HAS SOUPS 2035594 WITH SCORE 2041354.9
AT ITER 3520 NEW BEST:: SOT 10486215 SOS 5761212 HAS SOPS 4204965 HAS SOUS 2994324 HAS SOUPS 2035330 WITH SCORE 2041091.212
AT ITER 3530 NEW BEST:: SOT 10486969 SOS 5765486 HAS SOPS 4205719 HAS SOUS 2995832 HAS SOUPS 2035079 WITH SCORE 2040844.486
AT ITER 3536 NEW BEST:: SOT 10486938 SOS 5765455 HAS SOPS 4205688 HAS SOUS 2995770 HAS SOUPS 2035017 WITH SCORE 2040782.455
AT ITER 3538 NEW BEST:: SOT 10486874 SOS 5765391 HAS SOPS 4205624 HAS SOUS 2995642 HAS SOUPS 2034889 WITH SCORE 2040654.391
AT ITER 3539 NEW BEST:: SOT 10486874 SOS 5767203 HAS SOPS 4205624 HAS SOUS 2995642 HAS SOUPS 2033983 WITH SCORE 2039750.203
AT ITER 3581 NEW BEST:: SOT 10486578 SOS 5766907 HAS SOPS 4205328 HAS SOUS 2995050 HAS SOUPS 2033391 WITH SCORE 2039157.907
AT ITER 3582 NEW BEST:: SOT 10487363 SOS 5771190 HAS SOPS 4206113 HAS SOUS 2996620 HAS SOUPS 2033255 WITH SCORE 2039026.19
AT ITER 3584 NEW BEST:: SOT 10966178 SOS 5845551 HAS SOPS 3764661 HAS SOUS 3475834 HAS SOUPS 1996656 WITH SCORE 2002501.551
AT ITER 3609 NEW BEST:: SOT 10966326 SOS 5845849 HAS SOPS 3763841 HAS SOUS 3475982 HAS SOUPS 1995686 WITH SCORE 2001531.849
AT ITER 3621 NEW BEST:: SOT 10966834 SOS 5847771 HAS SOPS 3762963 HAS SOUS 3476490 HAS SOUPS 1994342 WITH SCORE 2000189.771
AT ITER 3636 NEW BEST:: SOT 10966825 SOS 5847744 HAS SOPS 3762954 HAS SOUS 3476481 HAS SOUPS 1994342 WITH SCORE 2000189.744
AT ITER 3639 NEW BEST:: SOT 10966817 SOS 5847720 HAS SOPS 3762946 HAS SOUS 3476473 HAS SOUPS 1994342 WITH SCORE 2000189.72
AT ITER 3645 NEW BEST:: SOT 10966817 SOS 5847427 HAS SOPS 3762946 HAS SOUS 3476180 HAS SOUPS 1994342 WITH SCORE 2000189.427
AT ITER 3649 NEW BEST:: SOT 10966817 SOS 5847427 HAS SOPS 3760724 HAS SOUS 3476180 HAS SOUPS 1992120 WITH SCORE 1997967.427
AT ITER 3650 NEW BEST:: SOT 10966539 SOS 5846177 HAS SOPS 3760446 HAS SOUS 3475416 HAS SOUPS 1991842 WITH SCORE 1997688.177
AT ITER 3654 NEW BEST:: SOT 10966539 SOS 5847641 HAS SOPS 3760446 HAS SOUS 3475416 HAS SOUPS 1991634 WITH SCORE 1997481.641
AT ITER 3663 NEW BEST:: SOT 10966539 SOS 5847261 HAS SOPS 3760446 HAS SOUS 3475416 HAS SOUPS 1991634 WITH SCORE 1997481.261
AT ITER 3666 NEW BEST:: SOT 10966539 SOS 5847166 HAS SOPS 3760446 HAS SOUS 3475321 HAS SOUPS 1991634 WITH SCORE 1997481.166
AT ITER 3673 NEW BEST:: SOT 10966507 SOS 5847134 HAS SOPS 3760414 HAS SOUS 3475312 HAS SOUPS 1991625 WITH SCORE 1997472.134
AT ITER 3679 NEW BEST:: SOT 10966507 SOS 5847073 HAS SOPS 3759532 HAS SOUS 3475251 HAS SOUPS 1990743 WITH SCORE 1996590.073
AT ITER 3689 NEW BEST:: SOT 10966507 SOS 5847073 HAS SOPS 3758804 HAS SOUS 3475251 HAS SOUPS 1990015 WITH SCORE 1995862.073
AT ITER 3691 NEW BEST:: SOT 10966507 SOS 5847073 HAS SOPS 3758154 HAS SOUS 3475251 HAS SOUPS 1989365 WITH SCORE 1995212.073
AT ITER 3697 NEW BEST:: SOT 10966552 SOS 5847165 HAS SOPS 3757952 HAS SOUS 3475296 HAS SOUPS 1989116 WITH SCORE 1994963.165
AT ITER 3701 NEW BEST:: SOT 10967084 SOS 5847051 HAS SOPS 3757624 HAS SOUS 3474648 HAS SOUPS 1988254 WITH SCORE 1994101.051
AT ITER 3704 NEW BEST:: SOT 10967718 SOS 5848107 HAS SOPS 3757656 HAS SOUS 3475282 HAS SOUPS 1987864 WITH SCORE 1993712.107
AT ITER 3727 NEW BEST:: SOT 10968698 SOS 5851120 HAS SOPS 3756956 HAS SOUS 3476414 HAS SOUPS 1986614 WITH SCORE 1992465.12
AT ITER 3730 NEW BEST:: SOT 10969025 SOS 5852168 HAS SOPS 3756828 HAS SOUS 3476741 HAS SOUPS 1986157 WITH SCORE 1992009.168
AT ITER 3736 NEW BEST:: SOT 10968726 SOS 5851271 HAS SOPS 3756529 HAS SOUS 3476143 HAS SOUPS 1985858 WITH SCORE 1991709.271
AT ITER 3737 NEW BEST:: SOT 10968726 SOS 5851186 HAS SOPS 3756529 HAS SOUS 3476143 HAS SOUPS 1985858 WITH SCORE 1991709.186
AT ITER 3745 NEW BEST:: SOT 10968726 SOS 5851005 HAS SOPS 3756529 HAS SOUS 3476143 HAS SOUPS 1985858 WITH SCORE 1991709.005
AT ITER 3761 NEW BEST:: SOT 10968726 SOS 5851355 HAS SOPS 3756179 HAS SOUS 3476143 HAS SOUPS 1985158 WITH SCORE 1991009.355
AT ITER 3762 NEW BEST:: SOT 10968726 SOS 5851355 HAS SOPS 3755975 HAS SOUS 3476143 HAS SOUPS 1984954 WITH SCORE 1990805.355
AT ITER 3771 NEW BEST:: SOT 10968726 SOS 5851216 HAS SOPS 3755975 HAS SOUS 3476004 HAS SOUPS 1984954 WITH SCORE 1990805.216
AT ITER 3786 NEW BEST:: SOT 10969134 SOS 5851436 HAS SOPS 3754595 HAS SOUS 3475814 HAS SOUPS 1983164 WITH SCORE 1989015.436
AT ITER 3795 NEW BEST:: SOT 10970370 SOS 5853094 HAS SOPS 3753925 HAS SOUS 3477157 HAS SOUPS 1982179 WITH SCORE 1988032.094
AT ITER 3798 NEW BEST:: SOT 10971479 SOS 5854147 HAS SOPS 3753700 HAS SOUS 3477711 HAS SOUPS 1981455 WITH SCORE 1987309.147
AT ITER 3801 NEW BEST:: SOT 10971479 SOS 5853791 HAS SOPS 3753700 HAS SOUS 3477711 HAS SOUPS 1981455 WITH SCORE 1987308.791
AT ITER 3803 NEW BEST:: SOT 10971750 SOS 5855013 HAS SOPS 3752888 HAS SOUS 3477982 HAS SOUPS 1980370 WITH SCORE 1986225.013
AT ITER 3820 NEW BEST:: SOT 10972982 SOS 5857976 HAS SOPS 3753548 HAS SOUS 3479214 HAS SOUPS 1980202 WITH SCORE 1986059.976
AT ITER 3835 NEW BEST:: SOT 10972982 SOS 5857976 HAS SOPS 3753436 HAS SOUS 3479102 HAS SOUPS 1979978 WITH SCORE 1985835.976
AT ITER 3839 NEW BEST:: SOT 10974206 SOS 5861172 HAS SOPS 3753590 HAS SOUS 3480326 HAS SOUPS 1979308 WITH SCORE 1985169.172
AT ITER 3841 NEW BEST:: SOT 10973905 SOS 5859873 HAS SOPS 3753289 HAS SOUS 3479724 HAS SOUPS 1979189 WITH SCORE 1985048.873
AT ITER 3848 NEW BEST:: SOT 10974020 SOS 5859819 HAS SOPS 3752349 HAS SOUS 3479553 HAS SOUPS 1978132 WITH SCORE 1983991.819
AT ITER 3867 NEW BEST:: SOT 10974378 SOS 5861654 HAS SOPS 3750833 HAS SOUS 3479911 HAS SOUPS 1976256 WITH SCORE 1982117.654
AT ITER 3871 NEW BEST:: SOT 10974378 SOS 5861333 HAS SOPS 3750833 HAS SOUS 3479590 HAS SOUPS 1976256 WITH SCORE 1982117.333
AT ITER 3875 NEW BEST:: SOT 10974378 SOS 5860270 HAS SOPS 3750833 HAS SOUS 3479590 HAS SOUPS 1976256 WITH SCORE 1982116.27
AT ITER 3880 NEW BEST:: SOT 10974378 SOS 5860259 HAS SOPS 3750833 HAS SOUS 3479590 HAS SOUPS 1976256 WITH SCORE 1982116.259
AT ITER 3886 NEW BEST:: SOT 10974428 SOS 5859967 HAS SOPS 3750147 HAS SOUS 3479246 HAS SOUPS 1975518 WITH SCORE 1981377.967
AT ITER 3891 NEW BEST:: SOT 10974428 SOS 5860955 HAS SOPS 3748109 HAS SOUS 3478906 HAS SOUPS 1973274 WITH SCORE 1979134.955
AT ITER 3902 NEW BEST:: SOT 10974504 SOS 5861109 HAS SOPS 3746203 HAS SOUS 3478982 HAS SOUPS 1971290 WITH SCORE 1977151.109
AT ITER 3915 NEW BEST:: SOT 10974922 SOS 5862575 HAS SOPS 3745785 HAS SOUS 3479400 HAS SOUPS 1970452 WITH SCORE 1976314.575
AT ITER 3944 NEW BEST:: SOT 10974922 SOS 5862553 HAS SOPS 3744355 HAS SOUS 3479378 HAS SOUPS 1969022 WITH SCORE 1974884.553
AT ITER 3946 NEW BEST:: SOT 10974922 SOS 5862367 HAS SOPS 3743785 HAS SOUS 3479192 HAS SOUPS 1968452 WITH SCORE 1974314.367
AT ITER 3949 NEW BEST:: SOT 10974922 SOS 5862159 HAS SOPS 3743785 HAS SOUS 3479165 HAS SOUPS 1968452 WITH SCORE 1974314.159
AT ITER 3971 NEW BEST:: SOT 10975524 SOS 5863183 HAS SOPS 3742829 HAS SOUS 3479767 HAS SOUPS 1967074 WITH SCORE 1972937.183
AT ITER 3973 NEW BEST:: SOT 10975524 SOS 5863530 HAS SOPS 3742829 HAS SOUS 3479767 HAS SOUPS 1966903 WITH SCORE 1972766.53
AT ITER 3994 NEW BEST:: SOT 10975524 SOS 5863530 HAS SOPS 3741939 HAS SOUS 3479767 HAS SOUPS 1966013 WITH SCORE 1971876.53
AT ITER 4003 NEW BEST:: SOT 10975524 SOS 5863455 HAS SOPS 3741939 HAS SOUS 3479692 HAS SOUPS 1966013 WITH SCORE 1971876.455
AT ITER 4010 NEW BEST:: SOT 10975524 SOS 5863073 HAS SOPS 3741557 HAS SOUS 3479310 HAS SOUPS 1965631 WITH SCORE 1971494.073
AT ITER 4011 NEW BEST:: SOT 10975524 SOS 5864231 HAS SOPS 3741557 HAS SOUS 3479310 HAS SOUPS 1965561 WITH SCORE 1971425.231
AT ITER 4015 NEW BEST:: SOT 10975524 SOS 5865310 HAS SOPS 3739485 HAS SOUS 3479074 HAS SOUPS 1963303 WITH SCORE 1969168.31
AT ITER 4029 NEW BEST:: SOT 10975202 SOS 5864713 HAS SOPS 3739162 HAS SOUS 3478752 HAS SOUPS 1962981 WITH SCORE 1968845.713
AT ITER 4032 NEW BEST:: SOT 10975202 SOS 5864603 HAS SOPS 3739162 HAS SOUS 3478752 HAS SOUPS 1962981 WITH SCORE 1968845.603
AT ITER 4059 NEW BEST:: SOT 10975314 SOS 5864595 HAS SOPS 3738920 HAS SOUS 3478630 HAS SOUPS 1962625 WITH SCORE 1968489.595
AT ITER 4077 NEW BEST:: SOT 10975834 SOS 5865003 HAS SOPS 3738732 HAS SOUS 3478616 HAS SOUPS 1962015 WITH SCORE 1967880.003
AT ITER 4085 NEW BEST:: SOT 10975834 SOS 5864913 HAS SOPS 3737536 HAS SOUS 3478526 HAS SOUPS 1960819 WITH SCORE 1966683.913
AT ITER 4093 NEW BEST:: SOT 10975834 SOS 5864884 HAS SOPS 3737024 HAS SOUS 3478497 HAS SOUPS 1960307 WITH SCORE 1966171.884
AT ITER 4099 NEW BEST:: SOT 10975784 SOS 5864834 HAS SOPS 3736974 HAS SOUS 3478397 HAS SOUPS 1960207 WITH SCORE 1966071.834
AT ITER 4115 NEW BEST:: SOT 10976058 SOS 5865364 HAS SOPS 3736434 HAS SOUS 3478651 HAS SOUPS 1959391 WITH SCORE 1965256.364
AT ITER 4120 NEW BEST:: SOT 10976058 SOS 5865009 HAS SOPS 3736434 HAS SOUS 3478296 HAS SOUPS 1959391 WITH SCORE 1965256.009
AT ITER 4124 NEW BEST:: SOT 10976058 SOS 5866105 HAS SOPS 3734527 HAS SOUS 3478296 HAS SOUPS 1957389 WITH SCORE 1963255.105
AT ITER 4128 NEW BEST:: SOT 10976304 SOS 5867148 HAS SOPS 3733923 HAS SOUS 3478542 HAS SOUPS 1956537 WITH SCORE 1962404.148
AT ITER 4150 NEW BEST:: SOT 10976304 SOS 5867148 HAS SOPS 3733729 HAS SOUS 3478542 HAS SOUPS 1956343 WITH SCORE 1962210.148
AT ITER 4153 NEW BEST:: SOT 10976304 SOS 5868894 HAS SOPS 3730336 HAS SOUS 3478029 HAS SOUPS 1952575 WITH SCORE 1958443.894
AT ITER 4167 NEW BEST:: SOT 10976703 SOS 5871519 HAS SOPS 3729142 HAS SOUS 3478428 HAS SOUPS 1950561 WITH SCORE 1956432.519
AT ITER 4172 NEW BEST:: SOT 10976800 SOS 5872100 HAS SOPS 3728568 HAS SOUS 3478525 HAS SOUPS 1949888 WITH SCORE 1955760.1
AT ITER 4179 NEW BEST:: SOT 10976800 SOS 5872792 HAS SOPS 3728210 HAS SOUS 3478525 HAS SOUPS 1949188 WITH SCORE 1955060.792
AT ITER 4180 NEW BEST:: SOT 10976908 SOS 5873010 HAS SOPS 3728026 HAS SOUS 3478633 HAS SOUPS 1948894 WITH SCORE 1954767.01
AT ITER 4182 NEW BEST:: SOT 10977356 SOS 5873879 HAS SOPS 3726289 HAS SOUS 3479081 HAS SOUPS 1946736 WITH SCORE 1952609.879
AT ITER 4184 NEW BEST:: SOT 10977575 SOS 5874319 HAS SOPS 3724183 HAS SOUS 3479300 HAS SOUPS 1944409 WITH SCORE 1950283.319
AT ITER 4199 NEW BEST:: SOT 10977406 SOS 5873550 HAS SOPS 3724014 HAS SOUS 3478962 HAS SOUPS 1944371 WITH SCORE 1950244.55
AT ITER 4215 NEW BEST:: SOT 10978868 SOS 5877381 HAS SOPS 3724088 HAS SOUS 3480516 HAS SOUPS 1943594 WITH SCORE 1949471.381
AT ITER 4242 NEW BEST:: SOT 10978517 SOS 5876328 HAS SOPS 3723737 HAS SOUS 3480165 HAS SOUPS 1943594 WITH SCORE 1949470.328
AT ITER 4243 NEW BEST:: SOT 10978381 SOS 5875920 HAS SOPS 3723601 HAS SOUS 3480029 HAS SOUPS 1943594 WITH SCORE 1949469.92
AT ITER 4276 NEW BEST:: SOT 10978381 SOS 5875895 HAS SOPS 3722039 HAS SOUS 3480004 HAS SOUPS 1942032 WITH SCORE 1947907.895
AT ITER 4279 NEW BEST:: SOT 10978189 SOS 5875703 HAS SOPS 3721847 HAS SOUS 3479620 HAS SOUPS 1941648 WITH SCORE 1947523.703
AT ITER 4305 NEW BEST:: SOT 10978189 SOS 5874207 HAS SOPS 3721847 HAS SOUS 3479620 HAS SOUPS 1941648 WITH SCORE 1947522.207
AT ITER 4316 NEW BEST:: SOT 10978189 SOS 5874542 HAS SOPS 3721177 HAS SOUS 3479620 HAS SOUPS 1940978 WITH SCORE 1946852.542
AT ITER 4318 NEW BEST:: SOT 10978189 SOS 5874542 HAS SOPS 3719535 HAS SOUS 3479620 HAS SOUPS 1939336 WITH SCORE 1945210.542
AT ITER 4324 NEW BEST:: SOT 10978189 SOS 5874332 HAS SOPS 3717689 HAS SOUS 3479410 HAS SOUPS 1937490 WITH SCORE 1943364.332
AT ITER 4331 NEW BEST:: SOT 10978583 SOS 5875122 HAS SOPS 3716875 HAS SOUS 3479804 HAS SOUPS 1936280 WITH SCORE 1942155.122
AT ITER 4336 NEW BEST:: SOT 10978589 SOS 5875236 HAS SOPS 3716689 HAS SOUS 3479810 HAS SOUPS 1936086 WITH SCORE 1941961.236
AT ITER 4356 NEW BEST:: SOT 10978589 SOS 5873626 HAS SOPS 3716689 HAS SOUS 3479810 HAS SOUPS 1936087 WITH SCORE 1941960.626
AT ITER 4361 NEW BEST:: SOT 10979189 SOS 5874648 HAS SOPS 3716253 HAS SOUS 3480410 HAS SOUPS 1935229 WITH SCORE 1941103.648
AT ITER 4369 NEW BEST:: SOT 10978804 SOS 5874263 HAS SOPS 3715868 HAS SOUS 3480136 HAS SOUPS 1934955 WITH SCORE 1940829.263
AT ITER 4371 NEW BEST:: SOT 10978804 SOS 5874234 HAS SOPS 3714014 HAS SOUS 3480107 HAS SOUPS 1933101 WITH SCORE 1938975.234
AT ITER 4372 NEW BEST:: SOT 10978921 SOS 5874919 HAS SOPS 3713352 HAS SOUS 3480224 HAS SOUPS 1932320 WITH SCORE 1938194.919
AT ITER 4379 NEW BEST:: SOT 10978921 SOS 5874916 HAS SOPS 3713352 HAS SOUS 3480224 HAS SOUPS 1932320 WITH SCORE 1938194.916
AT ITER 4383 NEW BEST:: SOT 10979447 SOS 5877221 HAS SOPS 3711798 HAS SOUS 3480750 HAS SOUPS 1930291 WITH SCORE 1936168.221
AT ITER 4386 NEW BEST:: SOT 10979447 SOS 5876561 HAS SOPS 3711798 HAS SOUS 3480420 HAS SOUPS 1930291 WITH SCORE 1936167.561
AT ITER 4389 NEW BEST:: SOT 10979447 SOS 5876812 HAS SOPS 3711296 HAS SOUS 3480420 HAS SOUPS 1929789 WITH SCORE 1935665.812
AT ITER 4390 NEW BEST:: SOT 10979447 SOS 5876703 HAS SOPS 3710878 HAS SOUS 3480311 HAS SOUPS 1929371 WITH SCORE 1935247.703
AT ITER 4394 NEW BEST:: SOT 10979549 SOS 5877363 HAS SOPS 3710176 HAS SOUS 3480413 HAS SOUPS 1928565 WITH SCORE 1934442.363
AT ITER 4396 NEW BEST:: SOT 10979549 SOS 5877341 HAS SOPS 3710176 HAS SOUS 3480391 HAS SOUPS 1928565 WITH SCORE 1934442.341
AT ITER 4404 NEW BEST:: SOT 10979671 SOS 5878142 HAS SOPS 3709312 HAS SOUS 3480513 HAS SOUPS 1927577 WITH SCORE 1933455.142
AT ITER 4408 NEW BEST:: SOT 10979671 SOS 5877753 HAS SOPS 3708534 HAS SOUS 3480124 HAS SOUPS 1926799 WITH SCORE 1932676.753
AT ITER 4414 NEW BEST:: SOT 10979671 SOS 5876320 HAS SOPS 3708534 HAS SOUS 3480071 HAS SOUPS 1926799 WITH SCORE 1932675.32
AT ITER 4424 NEW BEST:: SOT 10980763 SOS 5877834 HAS SOPS 3708928 HAS SOUS 3481163 HAS SOUPS 1926771 WITH SCORE 1932648.834
AT ITER 4428 NEW BEST:: SOT 10980763 SOS 5877735 HAS SOPS 3708362 HAS SOUS 3481064 HAS SOUPS 1926205 WITH SCORE 1932082.735
AT ITER 4432 NEW BEST:: SOT 10980621 SOS 5876934 HAS SOPS 3708220 HAS SOUS 3480780 HAS SOUPS 1926078 WITH SCORE 1931954.934
AT ITER 4443 NEW BEST:: SOT 10982061 SOS 5880734 HAS SOPS 3708246 HAS SOUS 3482220 HAS SOUPS 1925172 WITH SCORE 1931052.734
AT ITER 4444 NEW BEST:: SOT 10982061 SOS 5880734 HAS SOPS 3706354 HAS SOUS 3482220 HAS SOUPS 1923280 WITH SCORE 1929160.734
AT ITER 4445 NEW BEST:: SOT 10982725 SOS 5881820 HAS SOPS 3705868 HAS SOUS 3482884 HAS SOUPS 1922372 WITH SCORE 1928253.82
AT ITER 4449 NEW BEST:: SOT 10983763 SOS 5883280 HAS SOPS 3705406 HAS SOUS 3483638 HAS SOUPS 1921204 WITH SCORE 1927087.28
AT ITER 4452 NEW BEST:: SOT 10983763 SOS 5883278 HAS SOPS 3705406 HAS SOUS 3483636 HAS SOUPS 1921204 WITH SCORE 1927087.278
AT ITER 4453 NEW BEST:: SOT 10984279 SOS 5884216 HAS SOPS 3705286 HAS SOUS 3484152 HAS SOUPS 1920662 WITH SCORE 1926546.216
AT ITER 4456 NEW BEST:: SOT 10984279 SOS 5883779 HAS SOPS 3705286 HAS SOUS 3483715 HAS SOUPS 1920662 WITH SCORE 1926545.779
AT ITER 4464 NEW BEST:: SOT 10984279 SOS 5883648 HAS SOPS 3705286 HAS SOUS 3483715 HAS SOUPS 1920662 WITH SCORE 1926545.648
AT ITER 4473 NEW BEST:: SOT 10984789 SOS 5885565 HAS SOPS 3704428 HAS SOUS 3484225 HAS SOUPS 1919337 WITH SCORE 1925222.565
AT ITER 4486 NEW BEST:: SOT 10984789 SOS 5885383 HAS SOPS 3704428 HAS SOUS 3484225 HAS SOUPS 1919337 WITH SCORE 1925222.383
AT ITER 4489 NEW BEST:: SOT 10984789 SOS 5887387 HAS SOPS 3704428 HAS SOUS 3484225 HAS SOUPS 1919291 WITH SCORE 1925178.387
AT ITER 4524 NEW BEST:: SOT 10984751 SOS 5887349 HAS SOPS 3704390 HAS SOUS 3484187 HAS SOUPS 1919253 WITH SCORE 1925140.349
AT ITER 4533 NEW BEST:: SOT 10984751 SOS 5887216 HAS SOPS 3704390 HAS SOUS 3484054 HAS SOUPS 1919253 WITH SCORE 1925140.216
AT ITER 4539 NEW BEST:: SOT 10984895 SOS 5888044 HAS SOPS 3703604 HAS SOUS 3484198 HAS SOUPS 1918321 WITH SCORE 1924209.044
AT ITER 4551 NEW BEST:: SOT 10984947 SOS 5889392 HAS SOPS 3702535 HAS SOUS 3484250 HAS SOUPS 1916779 WITH SCORE 1922668.392
AT ITER 4569 NEW BEST:: SOT 10985332 SOS 5891602 HAS SOPS 3700431 HAS SOUS 3484635 HAS SOUPS 1914288 WITH SCORE 1920179.602
AT ITER 4575 NEW BEST:: SOT 10986632 SOS 5895296 HAS SOPS 3699969 HAS SOUS 3485935 HAS SOUPS 1912964 WITH SCORE 1918859.296
AT ITER 4605 NEW BEST:: SOT 10986632 SOS 5896268 HAS SOPS 3697967 HAS SOUS 3485642 HAS SOUPS 1910786 WITH SCORE 1916682.268
AT ITER 4634 NEW BEST:: SOT 10986632 SOS 5896059 HAS SOPS 3697967 HAS SOUS 3485642 HAS SOUPS 1910786 WITH SCORE 1916682.059
AT ITER 4650 NEW BEST:: SOT 10986442 SOS 5895869 HAS SOPS 3697777 HAS SOUS 3485452 HAS SOUPS 1910596 WITH SCORE 1916491.869
AT ITER 4680 NEW BEST:: SOT 10986442 SOS 5895345 HAS SOPS 3697777 HAS SOUS 3485452 HAS SOUPS 1910596 WITH SCORE 1916491.345
AT ITER 4686 NEW BEST:: SOT 10986442 SOS 5896645 HAS SOPS 3697777 HAS SOUS 3485452 HAS SOUPS 1910201 WITH SCORE 1916097.645
AT ITER 4687 NEW BEST:: SOT 10986442 SOS 5896645 HAS SOPS 3696891 HAS SOUS 3485452 HAS SOUPS 1909315 WITH SCORE 1915211.645
AT ITER 4695 NEW BEST:: SOT 10986488 SOS 5896739 HAS SOPS 3696171 HAS SOUS 3485498 HAS SOUPS 1908547 WITH SCORE 1914443.739
AT ITER 4710 NEW BEST:: SOT 10986488 SOS 5896169 HAS SOPS 3696171 HAS SOUS 3484928 HAS SOUPS 1908547 WITH SCORE 1914443.169
AT ITER 4721 NEW BEST:: SOT 10986708 SOS 5897355 HAS SOPS 3696391 HAS SOUS 3485368 HAS SOUPS 1908504 WITH SCORE 1914401.355
AT ITER 4726 NEW BEST:: SOT 10986907 SOS 5897975 HAS SOPS 3694619 HAS SOUS 3485567 HAS SOUPS 1906311 WITH SCORE 1912208.975
AT ITER 4728 NEW BEST:: SOT 10986907 SOS 5897975 HAS SOPS 3693145 HAS SOUS 3485567 HAS SOUPS 1904837 WITH SCORE 1910734.975
AT ITER 4729 NEW BEST:: SOT 10986907 SOS 5897873 HAS SOPS 3692435 HAS SOUS 3485465 HAS SOUPS 1904127 WITH SCORE 1910024.873
AT ITER 4735 NEW BEST:: SOT 10987973 SOS 5900776 HAS SOPS 3692385 HAS SOUS 3486531 HAS SOUPS 1903332 WITH SCORE 1909232.776
AT ITER 4736 NEW BEST:: SOT 10988910 SOS 5902135 HAS SOPS 3692554 HAS SOUS 3487445 HAS SOUPS 1903056 WITH SCORE 1908958.135
AT ITER 4738 NEW BEST:: SOT 10988936 SOS 5901981 HAS SOPS 3691648 HAS SOUS 3487263 HAS SOUPS 1902122 WITH SCORE 1908023.981
AT ITER 4763 NEW BEST:: SOT 10988936 SOS 5902194 HAS SOPS 3691204 HAS SOUS 3487254 HAS SOUPS 1901678 WITH SCORE 1907580.194
AT ITER 4770 NEW BEST:: SOT 10988905 SOS 5902163 HAS SOPS 3691173 HAS SOUS 3487192 HAS SOUPS 1901616 WITH SCORE 1907518.163
AT ITER 4771 NEW BEST:: SOT 10989897 SOS 5903577 HAS SOPS 3690345 HAS SOUS 3488184 HAS SOUPS 1900366 WITH SCORE 1906269.577
AT ITER 4787 NEW BEST:: SOT 10990493 SOS 5905270 HAS SOPS 3690365 HAS SOUS 3488780 HAS SOUPS 1899876 WITH SCORE 1905781.27
AT ITER 4794 NEW BEST:: SOT 10990396 SOS 5905172 HAS SOPS 3690267 HAS SOUS 3488683 HAS SOUPS 1899779 WITH SCORE 1905684.172
AT ITER 4809 NEW BEST:: SOT 10990396 SOS 5905576 HAS SOPS 3690267 HAS SOUS 3488481 HAS SOUPS 1899375 WITH SCORE 1905280.576
AT ITER 4816 NEW BEST:: SOT 10990396 SOS 5905576 HAS SOPS 3688991 HAS SOUS 3488481 HAS SOUPS 1898099 WITH SCORE 1904004.576
AT ITER 4819 NEW BEST:: SOT 10990016 SOS 5904436 HAS SOPS 3688611 HAS SOUS 3488101 HAS SOUPS 1898099 WITH SCORE 1904003.436
AT ITER 4823 NEW BEST:: SOT 10990054 SOS 5905512 HAS SOPS 3686693 HAS SOUS 3488139 HAS SOUPS 1896141 WITH SCORE 1902046.512
AT ITER 4843 NEW BEST:: SOT 10990634 SOS 5907658 HAS SOPS 3687070 HAS SOUS 3488719 HAS SOUPS 1895735 WITH SCORE 1901642.658
AT ITER 4845 NEW BEST:: SOT 10990788 SOS 5907968 HAS SOPS 3686176 HAS SOUS 3488873 HAS SOUPS 1894685 WITH SCORE 1900592.968
AT ITER 4862 NEW BEST:: SOT 10990788 SOS 5907968 HAS SOPS 3685434 HAS SOUS 3488873 HAS SOUPS 1893943 WITH SCORE 1899850.968
AT ITER 4869 NEW BEST:: SOT 10990654 SOS 5907394 HAS SOPS 3685300 HAS SOUS 3488519 HAS SOUPS 1893809 WITH SCORE 1899716.394
AT ITER 4877 NEW BEST:: SOT 10990687 SOS 5907707 HAS SOPS 3685333 HAS SOUS 3488585 HAS SOUPS 1893798 WITH SCORE 1899705.707
AT ITER 4906 NEW BEST:: SOT 10990687 SOS 5908577 HAS SOPS 3683956 HAS SOUS 3488585 HAS SOUPS 1892300 WITH SCORE 1898208.577
AT ITER 4922 NEW BEST:: SOT 10990687 SOS 5908577 HAS SOPS 3683934 HAS SOUS 3488585 HAS SOUPS 1892278 WITH SCORE 1898186.577
AT ITER 4939 NEW BEST:: SOT 10990827 SOS 5908429 HAS SOPS 3683472 HAS SOUS 3488295 HAS SOUPS 1891674 WITH SCORE 1897582.429
AT ITER 4948 NEW BEST:: SOT 10991798 SOS 5909822 HAS SOPS 3682319 HAS SOUS 3488973 HAS SOUPS 1889806 WITH SCORE 1895715.822
AT ITER 4949 NEW BEST:: SOT 10991798 SOS 5910567 HAS SOPS 3680829 HAS SOUS 3488973 HAS SOUPS 1888316 WITH SCORE 1894226.567
AT ITER 4955 NEW BEST:: SOT 10991294 SOS 5909055 HAS SOPS 3680325 HAS SOUS 3488469 HAS SOUPS 1888316 WITH SCORE 1894225.055
AT ITER 4968 NEW BEST:: SOT 10991294 SOS 5910992 HAS SOPS 3680325 HAS SOUS 3488469 HAS SOUPS 1887820 WITH SCORE 1893730.992
AT ITER 4969 NEW BEST:: SOT 10991294 SOS 5910992 HAS SOPS 3680273 HAS SOUS 3488469 HAS SOUPS 1887768 WITH SCORE 1893678.992
AT ITER 4985 NEW BEST:: SOT 10991294 SOS 5910992 HAS SOPS 3679029 HAS SOUS 3488469 HAS SOUPS 1886524 WITH SCORE 1892434.992
AT ITER 4988 NEW BEST:: SOT 10992496 SOS 5913964 HAS SOPS 3679521 HAS SOUS 3489671 HAS SOUPS 1886203 WITH SCORE 1892116.964
AT ITER 5008 NEW BEST:: SOT 10992579 SOS 5914468 HAS SOPS 3677941 HAS SOUS 3489754 HAS SOUPS 1884202 WITH SCORE 1890116.468
AT ITER 5030 NEW BEST:: SOT 10992579 SOS 5915322 HAS SOPS 3676233 HAS SOUS 3489754 HAS SOUPS 1882494 WITH SCORE 1888409.322
AT ITER 5044 NEW BEST:: SOT 10992579 SOS 5915288 HAS SOPS 3676233 HAS SOUS 3489720 HAS SOUPS 1882494 WITH SCORE 1888409.288
AT ITER 5046 NEW BEST:: SOT 10992579 SOS 5915288 HAS SOPS 3675167 HAS SOUS 3489720 HAS SOUPS 1881428 WITH SCORE 1887343.288
AT ITER 5056 NEW BEST:: SOT 10992579 SOS 5915263 HAS SOPS 3675167 HAS SOUS 3489720 HAS SOUPS 1881428 WITH SCORE 1887343.263
AT ITER 5058 NEW BEST:: SOT 10993081 SOS 5916187 HAS SOPS 3674877 HAS SOUS 3490222 HAS SOUPS 1880716 WITH SCORE 1886632.187
AT ITER 5072 NEW BEST:: SOT 10993284 SOS 5916827 HAS SOPS 3674821 HAS SOUS 3490425 HAS SOUPS 1880455 WITH SCORE 1886371.827
AT ITER 5073 NEW BEST:: SOT 10993135 SOS 5916380 HAS SOPS 3674672 HAS SOUS 3490276 HAS SOUPS 1880455 WITH SCORE 1886371.38
AT ITER 5078 NEW BEST:: SOT 10993135 SOS 5916412 HAS SOPS 3674608 HAS SOUS 3490276 HAS SOUPS 1880391 WITH SCORE 1886307.412
AT ITER 5082 NEW BEST:: SOT 10992843 SOS 5915536 HAS SOPS 3674316 HAS SOUS 3489984 HAS SOUPS 1880391 WITH SCORE 1886306.536
AT ITER 5099 NEW BEST:: SOT 10992843 SOS 5915071 HAS SOPS 3674316 HAS SOUS 3489984 HAS SOUPS 1880391 WITH SCORE 1886306.071
AT ITER 5102 NEW BEST:: SOT 10992843 SOS 5914911 HAS SOPS 3674316 HAS SOUS 3489984 HAS SOUPS 1880391 WITH SCORE 1886305.911
AT ITER 5103 NEW BEST:: SOT 10992625 SOS 5914257 HAS SOPS 3674098 HAS SOUS 3489766 HAS SOUPS 1880391 WITH SCORE 1886305.257
AT ITER 5114 NEW BEST:: SOT 10992625 SOS 5913711 HAS SOPS 3674098 HAS SOUS 3489766 HAS SOUPS 1880391 WITH SCORE 1886304.711
AT ITER 5139 NEW BEST:: SOT 10992625 SOS 5913219 HAS SOPS 3674098 HAS SOUS 3489766 HAS SOUPS 1880391 WITH SCORE 1886304.219
AT ITER 5162 NEW BEST:: SOT 10992625 SOS 5913186 HAS SOPS 3674098 HAS SOUS 3489733 HAS SOUPS 1880391 WITH SCORE 1886304.186
AT ITER 5163 NEW BEST:: SOT 10992625 SOS 5913118 HAS SOPS 3674098 HAS SOUS 3489733 HAS SOUPS 1880391 WITH SCORE 1886304.118
AT ITER 5178 NEW BEST:: SOT 10992625 SOS 5912656 HAS SOPS 3674098 HAS SOUS 3489733 HAS SOUPS 1880391 WITH SCORE 1886303.656
AT ITER 5181 NEW BEST:: SOT 10992977 SOS 5913324 HAS SOPS 3671532 HAS SOUS 3490047 HAS SOUPS 1877471 WITH SCORE 1883384.324
AT ITER 5185 NEW BEST:: SOT 10993031 SOS 5913268 HAS SOPS 3669920 HAS SOUS 3489935 HAS SOUPS 1875803 WITH SCORE 1881716.268
AT ITER 5186 NEW BEST:: SOT 10993031 SOS 5913243 HAS SOPS 3669920 HAS SOUS 3489910 HAS SOUPS 1875803 WITH SCORE 1881716.243
AT ITER 5190 NEW BEST:: SOT 10993031 SOS 5914483 HAS SOPS 3669920 HAS SOUS 3489910 HAS SOUPS 1875688 WITH SCORE 1881602.483
AT ITER 5204 NEW BEST:: SOT 10993031 SOS 5913851 HAS SOPS 3669920 HAS SOUS 3489910 HAS SOUPS 1875688 WITH SCORE 1881601.851
AT ITER 5214 NEW BEST:: SOT 10626684 SOS 5685775 HAS SOPS 3781359 HAS SOUS 3123563 HAS SOUPS 1848856 WITH SCORE 1854541.775
AT ITER 5241 NEW BEST:: SOT 10626684 SOS 5685775 HAS SOPS 3780765 HAS SOUS 3123563 HAS SOUPS 1848262 WITH SCORE 1853947.775
AT ITER 5242 NEW BEST:: SOT 10626684 SOS 5685652 HAS SOPS 3780765 HAS SOUS 3123440 HAS SOUPS 1848262 WITH SCORE 1853947.652
AT ITER 5246 NEW BEST:: SOT 10627034 SOS 5687790 HAS SOPS 3781115 HAS SOUS 3124140 HAS SOUPS 1848068 WITH SCORE 1853755.79
AT ITER 5255 NEW BEST:: SOT 10627020 SOS 5687776 HAS SOPS 3781101 HAS SOUS 3124112 HAS SOUPS 1848040 WITH SCORE 1853727.776
AT ITER 5264 NEW BEST:: SOT 10627020 SOS 5689341 HAS SOPS 3781101 HAS SOUS 3124112 HAS SOUPS 1847421 WITH SCORE 1853110.341
AT ITER 5266 NEW BEST:: SOT 10627020 SOS 5689118 HAS SOPS 3781101 HAS SOUS 3124112 HAS SOUPS 1847421 WITH SCORE 1853110.118
AT ITER 5285 NEW BEST:: SOT 10627020 SOS 5690620 HAS SOPS 3781101 HAS SOUS 3124112 HAS SOUPS 1846923 WITH SCORE 1852613.62
AT ITER 5300 NEW BEST:: SOT 10627020 SOS 5692427 HAS SOPS 3781101 HAS SOUS 3124112 HAS SOUPS 1846077 WITH SCORE 1851769.427
AT ITER 5306 NEW BEST:: SOT 10627020 SOS 5692913 HAS SOPS 3781101 HAS SOUS 3124112 HAS SOUPS 1845834 WITH SCORE 1851526.913
AT ITER 5310 NEW BEST:: SOT 10626867 SOS 5692454 HAS SOPS 3780948 HAS SOUS 3123959 HAS SOUPS 1845834 WITH SCORE 1851526.454
AT ITER 5311 NEW BEST:: SOT 10626495 SOS 5691366 HAS SOPS 3780604 HAS SOUS 3123587 HAS SOUPS 1845834 WITH SCORE 1851525.366
AT ITER 5313 NEW BEST:: SOT 10626495 SOS 5691050 HAS SOPS 3780604 HAS SOUS 3123587 HAS SOUPS 1845834 WITH SCORE 1851525.05
AT ITER 5321 NEW BEST:: SOT 10625412 SOS 5687984 HAS SOPS 3779704 HAS SOUS 3122504 HAS SOUPS 1845834 WITH SCORE 1851521.984
AT ITER 5335 NEW BEST:: SOT 10625412 SOS 5687984 HAS SOPS 3779704 HAS SOUS 3122486 HAS SOUPS 1845816 WITH SCORE 1851503.984
AT ITER 5338 NEW BEST:: SOT 10625412 SOS 5688396 HAS SOPS 3779704 HAS SOUS 3122486 HAS SOUPS 1845610 WITH SCORE 1851298.396
AT ITER 5339 NEW BEST:: SOT 10625396 SOS 5688348 HAS SOPS 3779688 HAS SOUS 3122470 HAS SOUPS 1845610 WITH SCORE 1851298.348
AT ITER 5347 NEW BEST:: SOT 10625854 SOS 5689309 HAS SOPS 3779761 HAS SOUS 3122885 HAS SOUPS 1845581 WITH SCORE 1851270.309
AT ITER 5357 NEW BEST:: SOT 10625517 SOS 5688298 HAS SOPS 3779424 HAS SOUS 3122548 HAS SOUPS 1845581 WITH SCORE 1851269.298
AT ITER 5373 NEW BEST:: SOT 10625516 SOS 5688295 HAS SOPS 3779423 HAS SOUS 3122547 HAS SOUPS 1845581 WITH SCORE 1851269.295
AT ITER 5375 NEW BEST:: SOT 10625516 SOS 5688081 HAS SOPS 3778611 HAS SOUS 3122333 HAS SOUPS 1844769 WITH SCORE 1850457.081
AT ITER 5381 NEW BEST:: SOT 10625516 SOS 5688039 HAS SOPS 3778611 HAS SOUS 3122333 HAS SOUPS 1844769 WITH SCORE 1850457.039
AT ITER 5396 NEW BEST:: SOT 10624931 SOS 5686284 HAS SOPS 3778026 HAS SOUS 3121748 HAS SOUPS 1844769 WITH SCORE 1850455.284
AT ITER 5402 NEW BEST:: SOT 10625200 SOS 5686115 HAS SOPS 3777641 HAS SOUS 3121349 HAS SOUPS 1844154 WITH SCORE 1849840.115
AT ITER 5408 NEW BEST:: SOT 10625200 SOS 5685393 HAS SOPS 3777641 HAS SOUS 3121349 HAS SOUPS 1844154 WITH SCORE 1849839.393
AT ITER 5409 NEW BEST:: SOT 10625453 SOS 5687192 HAS SOPS 3777894 HAS SOUS 3121855 HAS SOUPS 1843887 WITH SCORE 1849574.192
AT ITER 5415 NEW BEST:: SOT 10624996 SOS 5685821 HAS SOPS 3777437 HAS SOUS 3121398 HAS SOUPS 1843887 WITH SCORE 1849572.821
AT ITER 5420 NEW BEST:: SOT 10624996 SOS 5686445 HAS SOPS 3777437 HAS SOUS 3121398 HAS SOUPS 1843575 WITH SCORE 1849261.445
AT ITER 5477 NEW BEST:: SOT 10625311 SOS 5688339 HAS SOPS 3777752 HAS SOUS 3122028 HAS SOUPS 1843573 WITH SCORE 1849261.339
AT ITER 5487 NEW BEST:: SOT 10625456 SOS 5690206 HAS SOPS 3777897 HAS SOUS 3122318 HAS SOUPS 1843293 WITH SCORE 1848983.206
AT ITER 5488 NEW BEST:: SOT 10625526 SOS 5691614 HAS SOPS 3777967 HAS SOUS 3122458 HAS SOUPS 1842764 WITH SCORE 1848455.614
AT ITER 5495 NEW BEST:: SOT 10626475 SOS 5693863 HAS SOPS 3777781 HAS SOUS 3123407 HAS SOUPS 1842321 WITH SCORE 1848014.863
AT ITER 5511 NEW BEST:: SOT 10626528 SOS 5693863 HAS SOPS 3777567 HAS SOUS 3123460 HAS SOUPS 1842160 WITH SCORE 1847853.863
AT ITER 5524 NEW BEST:: SOT 10625260 SOS 5693220 HAS SOPS 3777111 HAS SOUS 3122386 HAS SOUPS 1841273 WITH SCORE 1846966.22
AT ITER 5527 NEW BEST:: SOT 10625260 SOS 5695602 HAS SOPS 3777111 HAS SOUS 3122386 HAS SOUPS 1840349 WITH SCORE 1846044.602
AT ITER 5530 NEW BEST:: SOT 10625296 SOS 5695639 HAS SOPS 3777148 HAS SOUS 3121903 HAS SOUPS 1839866 WITH SCORE 1845561.639
AT ITER 5536 NEW BEST:: SOT 10625252 SOS 5695469 HAS SOPS 3777104 HAS SOUS 3121689 HAS SOUPS 1839778 WITH SCORE 1845473.469
AT ITER 5540 NEW BEST:: SOT 10624667 SOS 5694923 HAS SOPS 3776558 HAS SOUS 3121213 HAS SOUPS 1839302 WITH SCORE 1844996.923
AT ITER 5543 NEW BEST:: SOT 10623723 SOS 5694417 HAS SOPS 3776238 HAS SOUS 3120269 HAS SOUPS 1838544 WITH SCORE 1844238.417
AT ITER 5547 NEW BEST:: SOT 10623015 SOS 5692293 HAS SOPS 3775530 HAS SOUS 3119561 HAS SOUPS 1838544 WITH SCORE 1844236.293
AT ITER 5562 NEW BEST:: SOT 10623015 SOS 5693163 HAS SOPS 3775530 HAS SOUS 3119561 HAS SOUPS 1838402 WITH SCORE 1844095.163
AT ITER 5572 NEW BEST:: SOT 10623124 SOS 5693490 HAS SOPS 3775530 HAS SOUS 3119561 HAS SOUPS 1838293 WITH SCORE 1843986.49
AT ITER 5597 NEW BEST:: SOT 10623045 SOS 5693490 HAS SOPS 3775586 HAS SOUS 3119482 HAS SOUPS 1838270 WITH SCORE 1843963.49
AT ITER 5599 NEW BEST:: SOT 10623045 SOS 5693490 HAS SOPS 3775532 HAS SOUS 3119482 HAS SOUPS 1838216 WITH SCORE 1843909.49
AT ITER 5610 NEW BEST:: SOT 10622859 SOS 5693490 HAS SOPS 3775532 HAS SOUS 3119296 HAS SOUPS 1838030 WITH SCORE 1843723.49
AT ITER 5620 NEW BEST:: SOT 10623760 SOS 5695430 HAS SOPS 3775708 HAS SOUS 3120197 HAS SOUPS 1837973 WITH SCORE 1843668.43
AT ITER 5622 NEW BEST:: SOT 10623572 SOS 5695242 HAS SOPS 3775817 HAS SOUS 3120150 HAS SOUPS 1837926 WITH SCORE 1843621.242
AT ITER 5628 NEW BEST:: SOT 10623277 SOS 5695242 HAS SOPS 3776017 HAS SOUS 3119855 HAS SOUPS 1837831 WITH SCORE 1843526.242
AT ITER 5645 NEW BEST:: SOT 10623277 SOS 5695210 HAS SOPS 3776017 HAS SOUS 3119823 HAS SOUPS 1837831 WITH SCORE 1843526.21
AT ITER 5649 NEW BEST:: SOT 10623065 SOS 5694574 HAS SOPS 3775805 HAS SOUS 3119611 HAS SOUPS 1837831 WITH SCORE 1843525.574
AT ITER 5656 NEW BEST:: SOT 10621317 SOS 5693263 HAS SOPS 3775260 HAS SOUS 3118238 HAS SOUPS 1837224 WITH SCORE 1842917.263
AT ITER 5659 NEW BEST:: SOT 10621317 SOS 5692533 HAS SOPS 3775260 HAS SOUS 3118238 HAS SOUPS 1837224 WITH SCORE 1842916.533
AT ITER 5664 NEW BEST:: SOT 10621657 SOS 5692874 HAS SOPS 3775601 HAS SOUS 3118086 HAS SOUPS 1837072 WITH SCORE 1842764.874
AT ITER 5671 NEW BEST:: SOT 10621289 SOS 5692506 HAS SOPS 3775233 HAS SOUS 3117828 HAS SOUPS 1836814 WITH SCORE 1842506.506
AT ITER 5674 NEW BEST:: SOT 10621289 SOS 5694802 HAS SOPS 3775233 HAS SOUS 3117828 HAS SOUPS 1835881 WITH SCORE 1841575.802
AT ITER 5689 NEW BEST:: SOT 10621512 SOS 5696863 HAS SOPS 3775456 HAS SOUS 3118274 HAS SOUPS 1835719 WITH SCORE 1841415.863
AT ITER 5710 NEW BEST:: SOT 10621512 SOS 5698151 HAS SOPS 3775456 HAS SOUS 3118274 HAS SOUPS 1835222 WITH SCORE 1840920.151
AT ITER 5730 NEW BEST:: SOT 10621320 SOS 5697337 HAS SOPS 3775264 HAS SOUS 3117890 HAS SOUPS 1835149 WITH SCORE 1840846.337
AT ITER 5734 NEW BEST:: SOT 10621019 SOS 5697036 HAS SOPS 3774963 HAS SOUS 3117288 HAS SOUPS 1834547 WITH SCORE 1840244.036
AT ITER 5741 NEW BEST:: SOT 10621019 SOS 5698455 HAS SOPS 3774963 HAS SOUS 3117288 HAS SOUPS 1834039 WITH SCORE 1839737.455
AT ITER 5750 NEW BEST:: SOT 10621019 SOS 5698831 HAS SOPS 3774963 HAS SOUS 3117288 HAS SOUPS 1833851 WITH SCORE 1839549.831
AT ITER 5753 NEW BEST:: SOT 10620829 SOS 5698831 HAS SOPS 3774963 HAS SOUS 3117098 HAS SOUPS 1833661 WITH SCORE 1839359.831
AT ITER 5776 NEW BEST:: SOT 10620829 SOS 5698804 HAS SOPS 3774963 HAS SOUS 3117071 HAS SOUPS 1833661 WITH SCORE 1839359.804
AT ITER 5784 NEW BEST:: SOT 10621444 SOS 5700304 HAS SOPS 3774605 HAS SOUS 3117686 HAS SOUPS 1833213 WITH SCORE 1838913.304
AT ITER 5793 NEW BEST:: SOT 10620302 SOS 5699749 HAS SOPS 3774607 HAS SOUS 3116693 HAS SOUPS 1832777 WITH SCORE 1838476.749
AT ITER 5800 NEW BEST:: SOT 10619687 SOS 5697904 HAS SOPS 3773992 HAS SOUS 3116078 HAS SOUPS 1832777 WITH SCORE 1838474.904
AT ITER 5809 NEW BEST:: SOT 10621239 SOS 5702282 HAS SOPS 3774786 HAS SOUS 3117638 HAS SOUPS 1832465 WITH SCORE 1838167.282
AT ITER 5815 NEW BEST:: SOT 10620643 SOS 5700494 HAS SOPS 3774190 HAS SOUS 3117042 HAS SOUPS 1832465 WITH SCORE 1838165.494
AT ITER 5819 NEW BEST:: SOT 10619276 SOS 5699565 HAS SOPS 3773417 HAS SOUS 3115675 HAS SOUPS 1831254 WITH SCORE 1836953.565
AT ITER 5831 NEW BEST:: SOT 10619236 SOS 5699525 HAS SOPS 3773377 HAS SOUS 3115654 HAS SOUPS 1831233 WITH SCORE 1836932.525
AT ITER 5832 NEW BEST:: SOT 10619126 SOS 5699415 HAS SOPS 3773267 HAS SOUS 3115434 HAS SOUPS 1831013 WITH SCORE 1836712.415
AT ITER 5833 NEW BEST:: SOT 10619255 SOS 5699545 HAS SOPS 3772899 HAS SOUS 3115409 HAS SOUPS 1830988 WITH SCORE 1836687.545
AT ITER 5840 NEW BEST:: SOT 10619255 SOS 5699999 HAS SOPS 3772899 HAS SOUS 3115409 HAS SOUPS 1830761 WITH SCORE 1836460.999
AT ITER 5855 NEW BEST:: SOT 10618504 SOS 5697746 HAS SOPS 3772148 HAS SOUS 3114658 HAS SOUPS 1830761 WITH SCORE 1836458.746
AT ITER 5864 NEW BEST:: SOT 10618504 SOS 5697746 HAS SOPS 3771635 HAS SOUS 3114145 HAS SOUPS 1830248 WITH SCORE 1835945.746
AT ITER 5866 NEW BEST:: SOT 10617876 SOS 5697616 HAS SOPS 3771841 HAS SOUS 3113577 HAS SOUPS 1830016 WITH SCORE 1835713.616
AT ITER 5870 NEW BEST:: SOT 10617698 SOS 5697438 HAS SOPS 3771663 HAS SOUS 3113399 HAS SOUPS 1829838 WITH SCORE 1835535.438
AT ITER 5875 NEW BEST:: SOT 10616703 SOS 5696881 HAS SOPS 3771748 HAS SOUS 3112404 HAS SOUPS 1829485 WITH SCORE 1835181.881
AT ITER 5891 NEW BEST:: SOT 10616882 SOS 5697058 HAS SOPS 3771927 HAS SOUS 3112238 HAS SOUPS 1829319 WITH SCORE 1835016.058
AT ITER 5899 NEW BEST:: SOT 10616877 SOS 5697058 HAS SOPS 3771927 HAS SOUS 3112233 HAS SOUPS 1829314 WITH SCORE 1835011.058
AT ITER 5904 NEW BEST:: SOT 10617674 SOS 5698781 HAS SOPS 3772033 HAS SOUS 3113030 HAS SOUPS 1829239 WITH SCORE 1834937.781
AT ITER 5906 NEW BEST:: SOT 10619483 SOS 5703143 HAS SOPS 3771805 HAS SOUS 3114781 HAS SOUPS 1828324 WITH SCORE 1834027.143
AT ITER 5907 NEW BEST:: SOT 10620139 SOS 5706940 HAS SOPS 3772461 HAS SOUS 3116093 HAS SOUPS 1828308 WITH SCORE 1834014.94
AT ITER 5914 NEW BEST:: SOT 10620118 SOS 5706919 HAS SOPS 3772440 HAS SOUS 3116072 HAS SOUPS 1828287 WITH SCORE 1833993.919
AT ITER 5921 NEW BEST:: SOT 10620118 SOS 5706496 HAS SOPS 3772440 HAS SOUS 3116012 HAS SOUPS 1828287 WITH SCORE 1833993.496
AT ITER 5922 NEW BEST:: SOT 10619468 SOS 5705947 HAS SOPS 3771891 HAS SOUS 3115739 HAS SOUPS 1828014 WITH SCORE 1833719.947
AT ITER 5926 NEW BEST:: SOT 10619468 SOS 5705947 HAS SOPS 3771891 HAS SOUS 3115553 HAS SOUPS 1827828 WITH SCORE 1833533.947
AT ITER 5928 NEW BEST:: SOT 10619291 SOS 5705416 HAS SOPS 3771714 HAS SOUS 3115376 HAS SOUPS 1827828 WITH SCORE 1833533.416
AT ITER 5937 NEW BEST:: SOT 10619110 SOS 5705235 HAS SOPS 3771533 HAS SOUS 3115195 HAS SOUPS 1827647 WITH SCORE 1833352.235
AT ITER 5938 NEW BEST:: SOT 10619110 SOS 5704808 HAS SOPS 3771533 HAS SOUS 3115195 HAS SOUPS 1827647 WITH SCORE 1833351.808
AT ITER 5946 NEW BEST:: SOT 10618745 SOS 5704443 HAS SOPS 3771168 HAS SOUS 3114830 HAS SOUPS 1827282 WITH SCORE 1832986.443
AT ITER 5950 NEW BEST:: SOT 10618433 SOS 5704443 HAS SOPS 3771400 HAS SOUS 3114518 HAS SOUPS 1827202 WITH SCORE 1832906.443
AT ITER 5953 NEW BEST:: SOT 10618433 SOS 5707222 HAS SOPS 3771400 HAS SOUS 3114518 HAS SOUPS 1826271 WITH SCORE 1831978.222
AT ITER 5968 NEW BEST:: SOT 10617522 SOS 5706749 HAS SOPS 3771559 HAS SOUS 3113607 HAS SOUPS 1825992 WITH SCORE 1831698.749
AT ITER 5974 NEW BEST:: SOT 10617137 SOS 5706364 HAS SOPS 3771174 HAS SOUS 3113222 HAS SOUPS 1825607 WITH SCORE 1831313.364
AT ITER 5980 NEW BEST:: SOT 10616688 SOS 5705915 HAS SOPS 3770725 HAS SOUS 3112324 HAS SOUPS 1824709 WITH SCORE 1830414.915
AT ITER 5993 NEW BEST:: SOT 10616688 SOS 5707123 HAS SOPS 3770725 HAS SOUS 3112324 HAS SOUPS 1824105 WITH SCORE 1829812.123
AT ITER 6000 NEW BEST:: SOT 10616576 SOS 5707011 HAS SOPS 3770613 HAS SOUS 3112100 HAS SOUPS 1823881 WITH SCORE 1829588.011
AT ITER 6020 NEW BEST:: SOT 10616569 SOS 5707004 HAS SOPS 3770606 HAS SOUS 3112086 HAS SOUPS 1823867 WITH SCORE 1829574.004
AT ITER 6021 NEW BEST:: SOT 10616112 SOS 5706547 HAS SOPS 3770149 HAS SOUS 3111629 HAS SOUPS 1823410 WITH SCORE 1829116.547
AT ITER 6044 NEW BEST:: SOT 10616112 SOS 5706519 HAS SOPS 3770149 HAS SOUS 3111629 HAS SOUPS 1823410 WITH SCORE 1829116.519
AT ITER 6069 NEW BEST:: SOT 10615459 SOS 5705866 HAS SOPS 3769496 HAS SOUS 3110323 HAS SOUPS 1822104 WITH SCORE 1827809.866
AT ITER 6070 NEW BEST:: SOT 10614617 SOS 5705198 HAS SOPS 3768828 HAS SOUS 3109728 HAS SOUPS 1821509 WITH SCORE 1827214.198
AT ITER 6078 NEW BEST:: SOT 10614617 SOS 5705154 HAS SOPS 3768828 HAS SOUS 3109728 HAS SOUPS 1821509 WITH SCORE 1827214.154
AT ITER 6085 NEW BEST:: SOT 10614756 SOS 5705140 HAS SOPS 3767862 HAS SOUS 3109853 HAS SOUPS 1820682 WITH SCORE 1826387.14
AT ITER 6106 NEW BEST:: SOT 10614760 SOS 5706707 HAS SOPS 3767866 HAS SOUS 3109861 HAS SOUPS 1819944 WITH SCORE 1825650.707
AT ITER 6111 NEW BEST:: SOT 10614760 SOS 5707678 HAS SOPS 3767866 HAS SOUS 3109861 HAS SOUPS 1819599 WITH SCORE 1825306.678
AT ITER 6115 NEW BEST:: SOT 10615971 SOS 5711274 HAS SOPS 3767837 HAS SOUS 3111072 HAS SOUPS 1818797 WITH SCORE 1824508.274
AT ITER 6138 NEW BEST:: SOT 10615778 SOS 5710695 HAS SOPS 3767644 HAS SOUS 3110879 HAS SOUPS 1818797 WITH SCORE 1824507.695
AT ITER 6150 NEW BEST:: SOT 10615606 SOS 5710523 HAS SOPS 3767472 HAS SOUS 3110535 HAS SOUPS 1818453 WITH SCORE 1824163.523
AT ITER 6152 NEW BEST:: SOT 10614567 SOS 5707684 HAS SOPS 3766711 HAS SOUS 3109496 HAS SOUPS 1818453 WITH SCORE 1824160.684
AT ITER 6178 NEW BEST:: SOT 10614461 SOS 5707578 HAS SOPS 3766605 HAS SOUS 3109390 HAS SOUPS 1818347 WITH SCORE 1824054.578
AT ITER 6187 NEW BEST:: SOT 10613555 SOS 5705766 HAS SOPS 3765699 HAS SOUS 3108484 HAS SOUPS 1817894 WITH SCORE 1823599.766
AT ITER 6192 NEW BEST:: SOT 10613555 SOS 5706908 HAS SOPS 3765699 HAS SOUS 3108484 HAS SOUPS 1817545 WITH SCORE 1823251.908
AT ITER 6198 NEW BEST:: SOT 10613507 SOS 5706860 HAS SOPS 3765651 HAS SOUS 3108388 HAS SOUPS 1817449 WITH SCORE 1823155.86
AT ITER 6203 NEW BEST:: SOT 10613507 SOS 5706643 HAS SOPS 3765651 HAS SOUS 3108171 HAS SOUPS 1817449 WITH SCORE 1823155.643
AT ITER 6204 NEW BEST:: SOT 10612870 SOS 5704732 HAS SOPS 3765014 HAS SOUS 3107534 HAS SOUPS 1817449 WITH SCORE 1823153.732
AT ITER 6208 NEW BEST:: SOT 10612870 SOS 5704093 HAS SOPS 3765014 HAS SOUS 3107534 HAS SOUPS 1817449 WITH SCORE 1823153.093
AT ITER 6219 NEW BEST:: SOT 10612712 SOS 5703935 HAS SOPS 3764856 HAS SOUS 3107218 HAS SOUPS 1817133 WITH SCORE 1822836.935
AT ITER 6221 NEW BEST:: SOT 10612789 SOS 5704774 HAS SOPS 3764933 HAS SOUS 3107372 HAS SOUPS 1816906 WITH SCORE 1822610.774
AT ITER 6224 NEW BEST:: SOT 10612756 SOS 5704741 HAS SOPS 3764900 HAS SOUS 3107306 HAS SOUPS 1816840 WITH SCORE 1822544.741
AT ITER 6225 NEW BEST:: SOT 10612756 SOS 5704741 HAS SOPS 3764266 HAS SOUS 3107306 HAS SOUPS 1816206 WITH SCORE 1821910.741
AT ITER 6244 NEW BEST:: SOT 10612756 SOS 5705423 HAS SOPS 3764266 HAS SOUS 3107306 HAS SOUPS 1815865 WITH SCORE 1821570.423
AT ITER 6253 NEW BEST:: SOT 10611637 SOS 5704742 HAS SOPS 3764085 HAS SOUS 3106187 HAS SOUPS 1815246 WITH SCORE 1820950.742
AT ITER 6255 NEW BEST:: SOT 10612811 SOS 5707914 HAS SOPS 3764475 HAS SOUS 3107276 HAS SOUPS 1814900 WITH SCORE 1820607.914
AT ITER 6257 NEW BEST:: SOT 10614132 SOS 5711074 HAS SOPS 3764327 HAS SOUS 3108597 HAS SOUPS 1814309 WITH SCORE 1820020.074
AT ITER 6286 NEW BEST:: SOT 10614150 SOS 5712920 HAS SOPS 3764345 HAS SOUS 3108633 HAS SOUPS 1813700 WITH SCORE 1819412.92
AT ITER 6306 NEW BEST:: SOT 10613300 SOS 5712507 HAS SOPS 3764326 HAS SOUS 3107914 HAS SOUPS 1813375 WITH SCORE 1819087.507
AT ITER 6308 NEW BEST:: SOT 10613653 SOS 5712422 HAS SOPS 3763145 HAS SOUS 3108132 HAS SOUPS 1812497 WITH SCORE 1818209.422
AT ITER 6321 NEW BEST:: SOT 10613649 SOS 5712418 HAS SOPS 3763141 HAS SOUS 3108124 HAS SOUPS 1812489 WITH SCORE 1818201.418
AT ITER 6328 NEW BEST:: SOT 10613324 SOS 5712093 HAS SOPS 3762816 HAS SOUS 3107474 HAS SOUPS 1811839 WITH SCORE 1817551.093
AT ITER 6371 NEW BEST:: SOT 10613075 SOS 5711971 HAS SOPS 3762694 HAS SOUS 3107225 HAS SOUPS 1811590 WITH SCORE 1817301.971
AT ITER 6374 NEW BEST:: SOT 10613075 SOS 5711433 HAS SOPS 3762694 HAS SOUS 3107225 HAS SOUPS 1811590 WITH SCORE 1817301.433
AT ITER 6375 NEW BEST:: SOT 10612995 SOS 5711353 HAS SOPS 3762614 HAS SOUS 3107184 HAS SOUPS 1811549 WITH SCORE 1817260.353
AT ITER 6398 NEW BEST:: SOT 10612995 SOS 5711121 HAS SOPS 3762614 HAS SOUS 3107184 HAS SOUPS 1811549 WITH SCORE 1817260.121
AT ITER 6400 NEW BEST:: SOT 10612995 SOS 5712095 HAS SOPS 3762614 HAS SOUS 3107184 HAS SOUPS 1811062 WITH SCORE 1816774.095
AT ITER 6407 NEW BEST:: SOT 10612995 SOS 5711968 HAS SOPS 3762024 HAS SOUS 3107057 HAS SOUPS 1810472 WITH SCORE 1816183.968
AT ITER 6411 NEW BEST:: SOT 10613502 SOS 5712038 HAS SOPS 3761478 HAS SOUS 3107396 HAS SOUPS 1810195 WITH SCORE 1815907.038
AT ITER 6413 NEW BEST:: SOT 10613342 SOS 5711878 HAS SOPS 3761318 HAS SOUS 3107076 HAS SOUPS 1809875 WITH SCORE 1815586.878
AT ITER 6438 NEW BEST:: SOT 10612746 SOS 5711282 HAS SOPS 3760722 HAS SOUS 3106531 HAS SOUPS 1809330 WITH SCORE 1815041.282
AT ITER 6478 NEW BEST:: SOT 10612213 SOS 5710749 HAS SOPS 3760189 HAS SOUS 3106531 HAS SOUPS 1809330 WITH SCORE 1815040.749
AT ITER 6491 NEW BEST:: SOT 10612213 SOS 5712003 HAS SOPS 3760189 HAS SOUS 3106531 HAS SOUPS 1808811 WITH SCORE 1814523.003
AT ITER 6496 NEW BEST:: SOT 10611535 SOS 5711520 HAS SOPS 3759706 HAS SOUS 3105882 HAS SOUPS 1808162 WITH SCORE 1813873.52
AT ITER 6506 NEW BEST:: SOT 10611079 SOS 5711064 HAS SOPS 3759250 HAS SOUS 3104970 HAS SOUPS 1807250 WITH SCORE 1812961.064
AT ITER 6540 NEW BEST:: SOT 10611079 SOS 5711055 HAS SOPS 3759250 HAS SOUS 3104970 HAS SOUPS 1807250 WITH SCORE 1812961.055
AT ITER 6553 NEW BEST:: SOT 10611079 SOS 5710826 HAS SOPS 3759250 HAS SOUS 3104741 HAS SOUPS 1807250 WITH SCORE 1812960.826
AT ITER 6569 NEW BEST:: SOT 10610261 SOS 5709190 HAS SOPS 3758432 HAS SOUS 3103923 HAS SOUPS 1806841 WITH SCORE 1812550.19
AT ITER 6571 NEW BEST:: SOT 10610064 SOS 5709213 HAS SOPS 3758455 HAS SOUS 3103780 HAS SOUPS 1806698 WITH SCORE 1812407.213
AT ITER 6588 NEW BEST:: SOT 10609513 SOS 5708744 HAS SOPS 3757986 HAS SOUS 3103630 HAS SOUPS 1806548 WITH SCORE 1812256.744
AT ITER 6612 NEW BEST:: SOT 10609290 SOS 5708521 HAS SOPS 3757763 HAS SOUS 3103184 HAS SOUPS 1806102 WITH SCORE 1811810.521
AT ITER 6648 NEW BEST:: SOT 10609290 SOS 5708262 HAS SOPS 3757763 HAS SOUS 3103184 HAS SOUPS 1806102 WITH SCORE 1811810.262
AT ITER 6677 NEW BEST:: SOT 10608020 SOS 5707520 HAS SOPS 3757111 HAS SOUS 3102034 HAS SOUPS 1805042 WITH SCORE 1810749.52
AT ITER 6700 NEW BEST:: SOT 10608020 SOS 5708973 HAS SOPS 3757111 HAS SOUS 3102034 HAS SOUPS 1804427 WITH SCORE 1810135.973
AT ITER 6708 NEW BEST:: SOT 10608020 SOS 5708935 HAS SOPS 3757111 HAS SOUS 3101996 HAS SOUPS 1804427 WITH SCORE 1810135.935
AT ITER 6715 NEW BEST:: SOT 10607485 SOS 5708400 HAS SOPS 3756576 HAS SOUS 3101555 HAS SOUPS 1803986 WITH SCORE 1809694.4
AT ITER 6716 NEW BEST:: SOT 10607485 SOS 5711118 HAS SOPS 3756576 HAS SOUS 3101555 HAS SOUPS 1803094 WITH SCORE 1808805.118
AT ITER 6743 NEW BEST:: SOT 10606311 SOS 5710599 HAS SOPS 3756450 HAS SOUS 3100598 HAS SOUPS 1802530 WITH SCORE 1808240.599
AT ITER 6745 NEW BEST:: SOT 10604460 SOS 5706546 HAS SOPS 3755734 HAS SOUS 3098747 HAS SOUPS 1802522 WITH SCORE 1808228.546
AT ITER 6750 NEW BEST:: SOT 10604460 SOS 5706435 HAS SOPS 3755734 HAS SOUS 3098636 HAS SOUPS 1802522 WITH SCORE 1808228.435
AT ITER 6758 NEW BEST:: SOT 10604439 SOS 5706372 HAS SOPS 3755713 HAS SOUS 3098594 HAS SOUPS 1802501 WITH SCORE 1808207.372
AT ITER 6759 NEW BEST:: SOT 10604330 SOS 5706263 HAS SOPS 3755604 HAS SOUS 3098495 HAS SOUPS 1802402 WITH SCORE 1808108.263
AT ITER 6771 NEW BEST:: SOT 10604010 SOS 5705943 HAS SOPS 3755284 HAS SOUS 3098315 HAS SOUPS 1802222 WITH SCORE 1807927.943
AT ITER 6780 NEW BEST:: SOT 10604026 SOS 5706334 HAS SOPS 3754961 HAS SOUS 3097974 HAS SOUPS 1801524 WITH SCORE 1807230.334
AT ITER 6788 NEW BEST:: SOT 10603658 SOS 5705230 HAS SOPS 3754593 HAS SOUS 3097606 HAS SOUPS 1801524 WITH SCORE 1807229.23
AT ITER 6789 NEW BEST:: SOT 10603658 SOS 5704924 HAS SOPS 3754593 HAS SOUS 3097606 HAS SOUPS 1801524 WITH SCORE 1807228.924
AT ITER 6791 NEW BEST:: SOT 10603658 SOS 5705505 HAS SOPS 3754593 HAS SOUS 3097606 HAS SOUPS 1801437 WITH SCORE 1807142.505
AT ITER 6811 NEW BEST:: SOT 10603178 SOS 5704065 HAS SOPS 3754113 HAS SOUS 3097126 HAS SOUPS 1801437 WITH SCORE 1807141.065
AT ITER 6821 NEW BEST:: SOT 10603178 SOS 5704422 HAS SOPS 3753399 HAS SOUS 3097126 HAS SOUPS 1800723 WITH SCORE 1806427.422
AT ITER 6822 NEW BEST:: SOT 10603209 SOS 5704422 HAS SOPS 3753243 HAS SOUS 3097157 HAS SOUPS 1800598 WITH SCORE 1806302.422
AT ITER 6838 NEW BEST:: SOT 10603209 SOS 5705933 HAS SOPS 3753243 HAS SOUS 3097157 HAS SOUPS 1799907 WITH SCORE 1805612.933
AT ITER 6843 NEW BEST:: SOT 10602387 SOS 5705617 HAS SOPS 3753207 HAS SOUS 3096403 HAS SOUPS 1799433 WITH SCORE 1805138.617
AT ITER 6848 NEW BEST:: SOT 10602001 SOS 5705231 HAS SOPS 3752821 HAS SOUS 3096285 HAS SOUPS 1799315 WITH SCORE 1805020.231
AT ITER 6850 NEW BEST:: SOT 10602001 SOS 5705231 HAS SOPS 3752595 HAS SOUS 3096285 HAS SOUPS 1799089 WITH SCORE 1804794.231
AT ITER 6854 NEW BEST:: SOT 10602091 SOS 5705422 HAS SOPS 3752573 HAS SOUS 3096375 HAS SOUPS 1799067 WITH SCORE 1804772.422
AT ITER 6874 NEW BEST:: SOT 10602091 SOS 5706911 HAS SOPS 3752573 HAS SOUS 3096375 HAS SOUPS 1798528 WITH SCORE 1804234.911
AT ITER 6875 NEW BEST:: SOT 10602169 SOS 5706911 HAS SOPS 3751379 HAS SOUS 3096453 HAS SOUPS 1797412 WITH SCORE 1803118.911
AT ITER 6884 NEW BEST:: SOT 10602061 SOS 5706587 HAS SOPS 3751271 HAS SOUS 3096237 HAS SOUPS 1797304 WITH SCORE 1803010.587
AT ITER 6897 NEW BEST:: SOT 10602061 SOS 5706587 HAS SOPS 3750657 HAS SOUS 3096237 HAS SOUPS 1796690 WITH SCORE 1802396.587
AT ITER 6900 NEW BEST:: SOT 10602159 SOS 5706812 HAS SOPS 3750599 HAS SOUS 3096335 HAS SOUPS 1796632 WITH SCORE 1802338.812
AT ITER 6901 NEW BEST:: SOT 10602047 SOS 5706866 HAS SOPS 3750659 HAS SOUS 3096277 HAS SOUPS 1796580 WITH SCORE 1802286.866
AT ITER 6903 NEW BEST:: SOT 10602023 SOS 5706843 HAS SOPS 3750636 HAS SOUS 3096228 HAS SOUPS 1796531 WITH SCORE 1802237.843
AT ITER 6916 NEW BEST:: SOT 10602294 SOS 5708563 HAS SOPS 3750907 HAS SOUS 3096770 HAS SOUPS 1796527 WITH SCORE 1802235.563
AT ITER 6925 NEW BEST:: SOT 10602740 SOS 5710057 HAS SOPS 3751183 HAS SOUS 3096616 HAS SOUPS 1795764 WITH SCORE 1801474.057
AT ITER 6939 NEW BEST:: SOT 10602740 SOS 5711040 HAS SOPS 3751183 HAS SOUS 3096616 HAS SOUPS 1795453 WITH SCORE 1801164.04
AT ITER 6942 NEW BEST:: SOT 10602311 SOS 5708558 HAS SOPS 3750754 HAS SOUS 3095758 HAS SOUPS 1795416 WITH SCORE 1801124.558
AT ITER 6951 NEW BEST:: SOT 10602275 SOS 5708522 HAS SOPS 3750718 HAS SOUS 3095686 HAS SOUPS 1795344 WITH SCORE 1801052.522
AT ITER 6953 NEW BEST:: SOT 10602340 SOS 5708588 HAS SOPS 3750784 HAS SOUS 3095609 HAS SOUPS 1795267 WITH SCORE 1800975.588
AT ITER 6978 NEW BEST:: SOT 10602340 SOS 5708588 HAS SOPS 3749620 HAS SOUS 3095609 HAS SOUPS 1794103 WITH SCORE 1799811.588
AT ITER 7005 NEW BEST:: SOT 10601407 SOS 5705789 HAS SOPS 3748687 HAS SOUS 3094676 HAS SOUPS 1794103 WITH SCORE 1799808.789
AT ITER 7011 NEW BEST:: SOT 10600984 SOS 5704520 HAS SOPS 3748264 HAS SOUS 3094253 HAS SOUPS 1794103 WITH SCORE 1799807.52
AT ITER 7023 NEW BEST:: SOT 10600984 SOS 5704134 HAS SOPS 3748264 HAS SOUS 3094253 HAS SOUPS 1794103 WITH SCORE 1799807.134
AT ITER 7024 NEW BEST:: SOT 10600984 SOS 5704134 HAS SOPS 3748056 HAS SOUS 3094253 HAS SOUPS 1793895 WITH SCORE 1799599.134
AT ITER 7039 NEW BEST:: SOT 10600835 SOS 5703687 HAS SOPS 3747907 HAS SOUS 3094104 HAS SOUPS 1793895 WITH SCORE 1799598.687
AT ITER 7041 NEW BEST:: SOT 10601175 SOS 5704602 HAS SOPS 3747437 HAS SOUS 3094444 HAS SOUPS 1793425 WITH SCORE 1799129.602
AT ITER 7043 NEW BEST:: SOT 10601119 SOS 5704546 HAS SOPS 3747381 HAS SOUS 3094388 HAS SOUPS 1793369 WITH SCORE 1799073.546
AT ITER 7071 NEW BEST:: SOT 10599771 SOS 5701850 HAS SOPS 3746033 HAS SOUS 3093040 HAS SOUPS 1792695 WITH SCORE 1798396.85
AT ITER 7072 NEW BEST:: SOT 10599366 SOS 5700095 HAS SOPS 3745628 HAS SOUS 3092230 HAS SOUPS 1792364 WITH SCORE 1798064.095
AT ITER 7075 NEW BEST:: SOT 10599318 SOS 5700041 HAS SOPS 3745580 HAS SOUS 3092128 HAS SOUPS 1792268 WITH SCORE 1797968.041
AT ITER 7116 NEW BEST:: SOT 10599318 SOS 5700876 HAS SOPS 3745580 HAS SOUS 3092128 HAS SOUPS 1792205 WITH SCORE 1797905.876
AT ITER 7119 NEW BEST:: SOT 10599318 SOS 5700369 HAS SOPS 3745580 HAS SOUS 3092128 HAS SOUPS 1792205 WITH SCORE 1797905.369
AT ITER 7120 NEW BEST:: SOT 10599318 SOS 5700934 HAS SOPS 3745580 HAS SOUS 3092128 HAS SOUPS 1792050 WITH SCORE 1797750.934
AT ITER 7149 NEW BEST:: SOT 10599318 SOS 5700838 HAS SOPS 3745580 HAS SOUS 3092032 HAS SOUPS 1792050 WITH SCORE 1797750.838
AT ITER 7153 NEW BEST:: SOT 10598977 SOS 5700156 HAS SOPS 3744557 HAS SOUS 3091350 HAS SOUPS 1791027 WITH SCORE 1796727.156
AT ITER 7154 NEW BEST:: SOT 10598464 SOS 5698617 HAS SOPS 3744044 HAS SOUS 3090837 HAS SOUPS 1791027 WITH SCORE 1796725.617
AT ITER 7177 NEW BEST:: SOT 10597640 SOS 5696145 HAS SOPS 3743220 HAS SOUS 3090013 HAS SOUPS 1791027 WITH SCORE 1796723.145
AT ITER 7192 NEW BEST:: SOT 10597640 SOS 5697117 HAS SOPS 3743220 HAS SOUS 3090013 HAS SOUPS 1790914 WITH SCORE 1796611.117
AT ITER 7201 NEW BEST:: SOT 10597456 SOS 5697147 HAS SOPS 3743250 HAS SOUS 3089859 HAS SOUPS 1790760 WITH SCORE 1796457.147
AT ITER 7212 NEW BEST:: SOT 10597642 SOS 5698974 HAS SOPS 3743436 HAS SOUS 3090231 HAS SOUPS 1790684 WITH SCORE 1796382.974
AT ITER 7225 NEW BEST:: SOT 10597642 SOS 5700507 HAS SOPS 3743436 HAS SOUS 3090231 HAS SOUPS 1790086 WITH SCORE 1795786.507
AT ITER 7226 NEW BEST:: SOT 10597642 SOS 5702421 HAS SOPS 3743436 HAS SOUS 3090231 HAS SOUPS 1789236 WITH SCORE 1794938.421
AT ITER 7236 NEW BEST:: SOT 10597736 SOS 5704031 HAS SOPS 3743530 HAS SOUS 3090419 HAS SOUPS 1788748 WITH SCORE 1794452.031
AT ITER 7240 NEW BEST:: SOT 10597707 SOS 5703944 HAS SOPS 3743501 HAS SOUS 3090390 HAS SOUPS 1788748 WITH SCORE 1794451.944
AT ITER 7261 NEW BEST:: SOT 10597707 SOS 5704416 HAS SOPS 3743501 HAS SOUS 3090390 HAS SOUPS 1788641 WITH SCORE 1794345.416
AT ITER 7262 NEW BEST:: SOT 10597982 SOS 5706579 HAS SOPS 3743776 HAS SOUS 3090940 HAS SOUPS 1788585 WITH SCORE 1794291.579
AT ITER 7294 NEW BEST:: SOT 10597753 SOS 5705892 HAS SOPS 3743547 HAS SOUS 3090711 HAS SOUPS 1788585 WITH SCORE 1794290.892
AT ITER 7329 NEW BEST:: SOT 10599064 SOS 5709069 HAS SOPS 3743315 HAS SOUS 3092022 HAS SOUPS 1787915 WITH SCORE 1793624.069
AT ITER 7336 NEW BEST:: SOT 10599064 SOS 5708928 HAS SOPS 3743315 HAS SOUS 3092022 HAS SOUPS 1787915 WITH SCORE 1793623.928
AT ITER 7347 NEW BEST:: SOT 10599064 SOS 5708977 HAS SOPS 3743217 HAS SOUS 3092022 HAS SOUPS 1787817 WITH SCORE 1793525.977
AT ITER 7363 NEW BEST:: SOT 10599665 SOS 5710821 HAS SOPS 3742101 HAS SOUS 3092623 HAS SOUPS 1786618 WITH SCORE 1792328.821
AT ITER 7368 NEW BEST:: SOT 10599802 SOS 5711099 HAS SOPS 3742093 HAS SOUS 3092760 HAS SOUPS 1786610 WITH SCORE 1792321.099
AT ITER 7371 NEW BEST:: SOT 10599718 SOS 5711015 HAS SOPS 3742009 HAS SOUS 3092592 HAS SOUPS 1786442 WITH SCORE 1792153.015
AT ITER 7390 NEW BEST:: SOT 10599891 SOS 5711549 HAS SOPS 3742007 HAS SOUS 3092579 HAS SOUPS 1786161 WITH SCORE 1791872.549
AT ITER 7415 NEW BEST:: SOT 10600986 SOS 5714397 HAS SOPS 3741353 HAS SOUS 3093674 HAS SOUPS 1785177 WITH SCORE 1790891.397
AT ITER 7417 NEW BEST:: SOT 10601743 SOS 5714678 HAS SOPS 3740155 HAS SOUS 3094392 HAS SOUPS 1784416 WITH SCORE 1790130.678
AT ITER 7432 NEW BEST:: SOT 10601743 SOS 5715986 HAS SOPS 3740155 HAS SOUS 3094392 HAS SOUPS 1784131 WITH SCORE 1789846.986
AT ITER 7437 NEW BEST:: SOT 10600941 SOS 5714382 HAS SOPS 3739353 HAS SOUS 3093590 HAS SOUPS 1783730 WITH SCORE 1789444.382
AT ITER 7441 NEW BEST:: SOT 10601024 SOS 5715952 HAS SOPS 3739436 HAS SOUS 3093756 HAS SOUPS 1783499 WITH SCORE 1789214.952
AT ITER 7451 NEW BEST:: SOT 10601733 SOS 5717594 HAS SOPS 3739264 HAS SOUS 3094465 HAS SOUPS 1783190 WITH SCORE 1788907.594
AT ITER 7454 NEW BEST:: SOT 10601733 SOS 5717594 HAS SOPS 3739264 HAS SOUS 3094187 HAS SOUPS 1782912 WITH SCORE 1788629.594
AT ITER 7457 NEW BEST:: SOT 10601920 SOS 5719957 HAS SOPS 3739451 HAS SOUS 3094561 HAS SOUPS 1782445 WITH SCORE 1788164.957
AT ITER 7460 NEW BEST:: SOT 10601920 SOS 5719766 HAS SOPS 3739451 HAS SOUS 3094561 HAS SOUPS 1782445 WITH SCORE 1788164.766
AT ITER 7471 NEW BEST:: SOT 10601826 SOS 5719672 HAS SOPS 3739357 HAS SOUS 3094373 HAS SOUPS 1782257 WITH SCORE 1787976.672
AT ITER 7481 NEW BEST:: SOT 10601480 SOS 5719672 HAS SOPS 3739571 HAS SOUS 3094027 HAS SOUPS 1782125 WITH SCORE 1787844.672
AT ITER 7500 NEW BEST:: SOT 10601547 SOS 5721221 HAS SOPS 3739638 HAS SOUS 3094161 HAS SOUPS 1781556 WITH SCORE 1787277.221
AT ITER 7570 NEW BEST:: SOT 10600924 SOS 5721036 HAS SOPS 3739657 HAS SOUS 3093538 HAS SOUPS 1781137 WITH SCORE 1786858.036
AT ITER 7577 NEW BEST:: SOT 9983019 SOS 5102195 HAS SOPS 3121752 HAS SOUS 2474915 HAS SOUPS 1163232 WITH SCORE 1168334.195
AT ITER 7627 NEW BEST:: SOT 9983011 SOS 5102187 HAS SOPS 3121744 HAS SOUS 2474899 HAS SOUPS 1163216 WITH SCORE 1168318.187
AT ITER 7629 NEW BEST:: SOT 9983049 SOS 5102333 HAS SOPS 3121782 HAS SOUS 2474867 HAS SOUPS 1163076 WITH SCORE 1168178.333
AT ITER 7631 NEW BEST:: SOT 9983049 SOS 5102290 HAS SOPS 3121782 HAS SOUS 2474867 HAS SOUPS 1163076 WITH SCORE 1168178.29
AT ITER 7640 NEW BEST:: SOT 9983512 SOS 5103601 HAS SOPS 3120771 HAS SOUS 2475172 HAS SOUPS 1162040 WITH SCORE 1167143.601
AT ITER 7652 NEW BEST:: SOT 9983512 SOS 5105434 HAS SOPS 3120771 HAS SOUS 2475172 HAS SOUPS 1161215 WITH SCORE 1166320.434
AT ITER 7667 NEW BEST:: SOT 9983261 SOS 5105183 HAS SOPS 3120520 HAS SOUS 2474967 HAS SOUPS 1161010 WITH SCORE 1166115.183
AT ITER 7693 NEW BEST:: SOT 9983266 SOS 5105998 HAS SOPS 3120525 HAS SOUS 2474977 HAS SOUPS 1160615 WITH SCORE 1165720.998
AT ITER 7696 NEW BEST:: SOT 9983266 SOS 5106233 HAS SOPS 3120055 HAS SOUS 2474977 HAS SOUPS 1160145 WITH SCORE 1165251.233
AT ITER 7703 NEW BEST:: SOT 9983266 SOS 5106233 HAS SOPS 3118829 HAS SOUS 2474977 HAS SOUPS 1158919 WITH SCORE 1164025.233
AT ITER 7721 NEW BEST:: SOT 9983389 SOS 5108407 HAS SOPS 3118952 HAS SOUS 2475223 HAS SOUPS 1158400 WITH SCORE 1163508.407
AT ITER 7728 NEW BEST:: SOT 9983379 SOS 5108397 HAS SOPS 3118942 HAS SOUS 2475203 HAS SOUPS 1158380 WITH SCORE 1163488.397
AT ITER 7729 NEW BEST:: SOT 9983379 SOS 5108168 HAS SOPS 3118942 HAS SOUS 2475203 HAS SOUPS 1158380 WITH SCORE 1163488.168
AT ITER 7736 NEW BEST:: SOT 9983285 SOS 5108074 HAS SOPS 3118848 HAS SOUS 2475015 HAS SOUPS 1158192 WITH SCORE 1163300.074
AT ITER 7752 NEW BEST:: SOT 9985262 SOS 5112525 HAS SOPS 3119398 HAS SOUS 2476992 HAS SOUPS 1157971 WITH SCORE 1163083.525
AT ITER 7753 NEW BEST:: SOT 9986067 SOS 5115013 HAS SOPS 3118743 HAS SOUS 2477797 HAS SOUPS 1156949 WITH SCORE 1162064.013
AT ITER 7760 NEW BEST:: SOT 9985721 SOS 5113975 HAS SOPS 3118397 HAS SOUS 2477451 HAS SOUPS 1156949 WITH SCORE 1162062.975
AT ITER 7781 NEW BEST:: SOT 9985053 SOS 5113307 HAS SOPS 3117729 HAS SOUS 2477217 HAS SOUPS 1156715 WITH SCORE 1161828.307
AT ITER 7791 NEW BEST:: SOT 9985236 SOS 5113307 HAS SOPS 3117105 HAS SOUS 2477400 HAS SOUPS 1156274 WITH SCORE 1161387.307
AT ITER 7822 NEW BEST:: SOT 9985016 SOS 5113307 HAS SOPS 3117189 HAS SOUS 2477180 HAS SOUPS 1156138 WITH SCORE 1161251.307
AT ITER 7825 NEW BEST:: SOT 9985016 SOS 5113170 HAS SOPS 3117189 HAS SOUS 2477180 HAS SOUPS 1156138 WITH SCORE 1161251.17
AT ITER 7840 NEW BEST:: SOT 9985003 SOS 5113157 HAS SOPS 3117176 HAS SOUS 2477154 HAS SOUPS 1156112 WITH SCORE 1161225.157
AT ITER 7842 NEW BEST:: SOT 9985003 SOS 5113375 HAS SOPS 3117176 HAS SOUS 2477154 HAS SOUPS 1156003 WITH SCORE 1161116.375
AT ITER 7844 NEW BEST:: SOT 9984985 SOS 5113357 HAS SOPS 3116438 HAS SOUS 2476416 HAS SOUPS 1155265 WITH SCORE 1160378.357
AT ITER 7876 NEW BEST:: SOT 9984928 SOS 5113186 HAS SOPS 3116381 HAS SOUS 2476359 HAS SOUPS 1155265 WITH SCORE 1160378.186
AT ITER 7885 NEW BEST:: SOT 9984935 SOS 5113367 HAS SOPS 3116388 HAS SOUS 2476373 HAS SOUPS 1155192 WITH SCORE 1160305.367
AT ITER 7887 NEW BEST:: SOT 9984850 SOS 5113283 HAS SOPS 3116304 HAS SOUS 2476121 HAS SOUPS 1154940 WITH SCORE 1160053.283
AT ITER 7902 NEW BEST:: SOT 9984850 SOS 5113167 HAS SOPS 3116304 HAS SOUS 2476121 HAS SOUPS 1154940 WITH SCORE 1160053.167
AT ITER 7923 NEW BEST:: SOT 9984363 SOS 5112865 HAS SOPS 3116002 HAS SOUS 2475882 HAS SOUPS 1154701 WITH SCORE 1159813.865
AT ITER 7929 NEW BEST:: SOT 9985423 SOS 5113276 HAS SOPS 3115522 HAS SOUS 2476731 HAS SOUPS 1154659 WITH SCORE 1159772.276
AT ITER 7931 NEW BEST:: SOT 9985486 SOS 5113501 HAS SOPS 3115585 HAS SOUS 2476776 HAS SOUPS 1154623 WITH SCORE 1159736.501
AT ITER 7933 NEW BEST:: SOT 9984473 SOS 5113311 HAS SOPS 3115780 HAS SOUS 2476235 HAS SOUPS 1154467 WITH SCORE 1159580.311
AT ITER 7955 NEW BEST:: SOT 9984473 SOS 5113735 HAS SOPS 3115780 HAS SOUS 2476235 HAS SOUPS 1154255 WITH SCORE 1159368.735
AT ITER 7962 NEW BEST:: SOT 9984473 SOS 5113143 HAS SOPS 3115780 HAS SOUS 2476235 HAS SOUPS 1154255 WITH SCORE 1159368.143
AT ITER 7980 NEW BEST:: SOT 9984473 SOS 5113143 HAS SOPS 3115709 HAS SOUS 2476164 HAS SOUPS 1154184 WITH SCORE 1159297.143
AT ITER 7986 NEW BEST:: SOT 9984929 SOS 5114220 HAS SOPS 3115433 HAS SOUS 2476620 HAS SOUPS 1153890 WITH SCORE 1159004.22
AT ITER 7994 NEW BEST:: SOT 9984929 SOS 5113816 HAS SOPS 3115433 HAS SOUS 2476620 HAS SOUPS 1153890 WITH SCORE 1159003.816
AT ITER 8002 NEW BEST:: SOT 9986270 SOS 5116893 HAS SOPS 3115551 HAS SOUS 2477961 HAS SOUPS 1153555 WITH SCORE 1158671.893
AT ITER 8006 NEW BEST:: SOT 9986270 SOS 5116375 HAS SOPS 3115551 HAS SOUS 2477914 HAS SOUPS 1153555 WITH SCORE 1158671.375
AT ITER 8011 NEW BEST:: SOT 9986270 SOS 5116375 HAS SOPS 3115439 HAS SOUS 2477914 HAS SOUPS 1153443 WITH SCORE 1158559.375
AT ITER 8066 NEW BEST:: SOT 9985932 SOS 5116375 HAS SOPS 3115669 HAS SOUS 2477576 HAS SOUPS 1153335 WITH SCORE 1158451.375
AT ITER 8078 NEW BEST:: SOT 9985953 SOS 5116396 HAS SOPS 3115690 HAS SOUS 2477488 HAS SOUPS 1153247 WITH SCORE 1158363.396
AT ITER 8082 NEW BEST:: SOT 9985566 SOS 5115235 HAS SOPS 3115303 HAS SOUS 2477101 HAS SOUPS 1153247 WITH SCORE 1158362.235
AT ITER 8085 NEW BEST:: SOT 9985566 SOS 5116738 HAS SOPS 3115303 HAS SOUS 2477101 HAS SOUPS 1152702 WITH SCORE 1157818.738
AT ITER 8095 NEW BEST:: SOT 9985764 SOS 5120042 HAS SOPS 3115501 HAS SOUS 2477497 HAS SOUPS 1151697 WITH SCORE 1156817.042
AT ITER 8098 NEW BEST:: SOT 9985764 SOS 5120378 HAS SOPS 3115501 HAS SOUS 2477497 HAS SOUPS 1151529 WITH SCORE 1156649.378
AT ITER 8118 NEW BEST:: SOT 9984737 SOS 5119789 HAS SOPS 3115318 HAS SOUS 2476470 HAS SOUPS 1150908 WITH SCORE 1156027.789
AT ITER 8135 NEW BEST:: SOT 9983698 SOS 5119490 HAS SOPS 3115583 HAS SOUS 2475733 HAS SOUPS 1150735 WITH SCORE 1155854.49
AT ITER 8143 NEW BEST:: SOT 9983242 SOS 5118122 HAS SOPS 3115127 HAS SOUS 2475277 HAS SOUPS 1150735 WITH SCORE 1155853.122
AT ITER 8168 NEW BEST:: SOT 9983270 SOS 5118122 HAS SOPS 3114967 HAS SOUS 2475305 HAS SOUPS 1150603 WITH SCORE 1155721.122
AT ITER 8172 NEW BEST:: SOT 9983270 SOS 5117977 HAS SOPS 3114967 HAS SOUS 2475305 HAS SOUPS 1150603 WITH SCORE 1155720.977
AT ITER 8176 NEW BEST:: SOT 9983849 SOS 5119798 HAS SOPS 3113647 HAS SOUS 2475814 HAS SOUPS 1149211 WITH SCORE 1154330.798
AT ITER 8189 NEW BEST:: SOT 9983849 SOS 5120449 HAS SOPS 3113484 HAS SOUS 2476058 HAS SOUPS 1149048 WITH SCORE 1154168.449
AT ITER 8198 NEW BEST:: SOT 9983296 SOS 5119995 HAS SOPS 3113030 HAS SOUS 2475515 HAS SOUPS 1148505 WITH SCORE 1153624.995
AT ITER 8201 NEW BEST:: SOT 9983296 SOS 5119995 HAS SOPS 3112608 HAS SOUS 2475515 HAS SOUPS 1148083 WITH SCORE 1153202.995
AT ITER 8208 NEW BEST:: SOT 9983285 SOS 5119962 HAS SOPS 3112597 HAS SOUS 2475504 HAS SOUPS 1148083 WITH SCORE 1153202.962
AT ITER 8212 NEW BEST:: SOT 9984474 SOS 5122886 HAS SOPS 3112261 HAS SOUS 2476693 HAS SOUPS 1147370 WITH SCORE 1152492.886
AT ITER 8226 NEW BEST:: SOT 9984752 SOS 5122886 HAS SOPS 3111213 HAS SOUS 2476971 HAS SOUPS 1146600 WITH SCORE 1151722.886
AT ITER 8241 NEW BEST:: SOT 9984752 SOS 5123883 HAS SOPS 3111213 HAS SOUS 2476971 HAS SOUPS 1146594 WITH SCORE 1151717.883
AT ITER 8252 NEW BEST:: SOT 9984752 SOS 5124284 HAS SOPS 3110411 HAS SOUS 2476971 HAS SOUPS 1145792 WITH SCORE 1150916.284
AT ITER 8253 NEW BEST:: SOT 9984752 SOS 5125054 HAS SOPS 3110411 HAS SOUS 2476971 HAS SOUPS 1145407 WITH SCORE 1150532.054
AT ITER 8280 NEW BEST:: SOT 9984665 SOS 5124582 HAS SOPS 3110324 HAS SOUS 2476412 HAS SOUPS 1145233 WITH SCORE 1150357.582
AT ITER 8283 NEW BEST:: SOT 9984239 SOS 5124582 HAS SOPS 3110480 HAS SOUS 2475986 HAS SOUPS 1144963 WITH SCORE 1150087.582
AT ITER 8344 NEW BEST:: SOT 9984239 SOS 5124582 HAS SOPS 3110480 HAS SOUS 2475856 HAS SOUPS 1144833 WITH SCORE 1149957.582
AT ITER 8354 NEW BEST:: SOT 9984239 SOS 5124183 HAS SOPS 3110480 HAS SOUS 2475856 HAS SOUPS 1144833 WITH SCORE 1149957.183
AT ITER 8362 NEW BEST:: SOT 9984239 SOS 5124183 HAS SOPS 3109656 HAS SOUS 2475856 HAS SOUPS 1144009 WITH SCORE 1149133.183
AT ITER 8365 NEW BEST:: SOT 9984862 SOS 5125792 HAS SOPS 3109983 HAS SOUS 2476118 HAS SOUPS 1143630 WITH SCORE 1148755.792
AT ITER 8368 NEW BEST:: SOT 9983744 SOS 5125112 HAS SOPS 3109963 HAS SOUS 2475000 HAS SOUPS 1143172 WITH SCORE 1148297.112
AT ITER 8371 NEW BEST:: SOT 9983985 SOS 5125354 HAS SOPS 3110205 HAS SOUS 2474742 HAS SOUPS 1142914 WITH SCORE 1148039.354
AT ITER 8382 NEW BEST:: SOT 9984253 SOS 5125299 HAS SOPS 3110150 HAS SOUS 2474739 HAS SOUPS 1142911 WITH SCORE 1148036.299
AT ITER 8388 NEW BEST:: SOT 9983972 SOS 5125018 HAS SOPS 3109869 HAS SOUS 2474727 HAS SOUPS 1142899 WITH SCORE 1148024.018
AT ITER 8409 NEW BEST:: SOT 9983972 SOS 5125018 HAS SOPS 3109495 HAS SOUS 2474727 HAS SOUPS 1142525 WITH SCORE 1147650.018
AT ITER 8428 NEW BEST:: SOT 9984324 SOS 5127269 HAS SOPS 3109847 HAS SOUS 2475431 HAS SOUPS 1142485 WITH SCORE 1147612.269
AT ITER 8442 NEW BEST:: SOT 9984481 SOS 5129038 HAS SOPS 3110004 HAS SOUS 2475745 HAS SOUPS 1141993 WITH SCORE 1147122.038
AT ITER 8482 NEW BEST:: SOT 9984481 SOS 5128283 HAS SOPS 3110004 HAS SOUS 2475745 HAS SOUPS 1141993 WITH SCORE 1147121.283
AT ITER 8485 NEW BEST:: SOT 9984419 SOS 5128221 HAS SOPS 3109942 HAS SOUS 2475683 HAS SOUPS 1141931 WITH SCORE 1147059.221
AT ITER 8494 NEW BEST:: SOT 9984419 SOS 5128064 HAS SOPS 3109942 HAS SOUS 2475683 HAS SOUPS 1141931 WITH SCORE 1147059.064
AT ITER 8507 NEW BEST:: SOT 9984466 SOS 5128509 HAS SOPS 3109989 HAS SOUS 2475777 HAS SOUPS 1141826 WITH SCORE 1146954.509
AT ITER 8515 NEW BEST:: SOT 9984570 SOS 5128945 HAS SOPS 3109973 HAS SOUS 2475655 HAS SOUPS 1141478 WITH SCORE 1146606.945
AT ITER 8518 NEW BEST:: SOT 9983427 SOS 5128239 HAS SOPS 3110295 HAS SOUS 2474512 HAS SOUPS 1141363 WITH SCORE 1146491.239
AT ITER 8521 NEW BEST:: SOT 9983427 SOS 5128526 HAS SOPS 3109721 HAS SOUS 2474512 HAS SOUPS 1140789 WITH SCORE 1145917.526
AT ITER 8542 NEW BEST:: SOT 9983629 SOS 5130966 HAS SOPS 3109923 HAS SOUS 2474916 HAS SOUPS 1140324 WITH SCORE 1145454.966
AT ITER 8560 NEW BEST:: SOT 9983629 SOS 5130631 HAS SOPS 3109923 HAS SOUS 2474916 HAS SOUPS 1140324 WITH SCORE 1145454.631
AT ITER 8585 NEW BEST:: SOT 9982956 SOS 5130092 HAS SOPS 3109384 HAS SOUS 2474243 HAS SOUPS 1139651 WITH SCORE 1144781.092
AT ITER 8598 NEW BEST:: SOT 9982956 SOS 5130946 HAS SOPS 3109384 HAS SOUS 2474243 HAS SOUPS 1139224 WITH SCORE 1144354.946
AT ITER 8600 NEW BEST:: SOT 9982933 SOS 5130923 HAS SOPS 3109361 HAS SOUS 2474197 HAS SOUPS 1139178 WITH SCORE 1144308.923
AT ITER 8616 NEW BEST:: SOT 9982836 SOS 5130632 HAS SOPS 3109264 HAS SOUS 2474100 HAS SOUPS 1139178 WITH SCORE 1144308.632
AT ITER 8621 NEW BEST:: SOT 9982503 SOS 5129633 HAS SOPS 3108931 HAS SOUS 2473767 HAS SOUPS 1139178 WITH SCORE 1144307.633
AT ITER 8651 NEW BEST:: SOT 9982833 SOS 5129416 HAS SOPS 3108321 HAS SOUS 2473880 HAS SOUPS 1138898 WITH SCORE 1144027.416
AT ITER 8657 NEW BEST:: SOT 9982833 SOS 5131262 HAS SOPS 3108321 HAS SOUS 2473880 HAS SOUPS 1138212 WITH SCORE 1143343.262
AT ITER 8665 NEW BEST:: SOT 9982448 SOS 5131262 HAS SOPS 3108437 HAS SOUS 2473495 HAS SOUPS 1137943 WITH SCORE 1143074.262
AT ITER 8671 NEW BEST:: SOT 9981673 SOS 5130925 HAS SOPS 3108748 HAS SOUS 2472720 HAS SOUPS 1137816 WITH SCORE 1142946.925
AT ITER 8687 NEW BEST:: SOT 9981673 SOS 5130776 HAS SOPS 3108748 HAS SOUS 2472571 HAS SOUPS 1137816 WITH SCORE 1142946.776
AT ITER 8690 NEW BEST:: SOT 9981673 SOS 5132065 HAS SOPS 3108748 HAS SOUS 2472571 HAS SOUPS 1137551 WITH SCORE 1142683.065
AT ITER 8716 NEW BEST:: SOT 9981673 SOS 5132065 HAS SOPS 3108748 HAS SOUS 2472458 HAS SOUPS 1137438 WITH SCORE 1142570.065
AT ITER 8717 NEW BEST:: SOT 9981643 SOS 5132035 HAS SOPS 3108718 HAS SOUS 2472398 HAS SOUPS 1137378 WITH SCORE 1142510.035
AT ITER 8726 NEW BEST:: SOT 9981574 SOS 5131897 HAS SOPS 3108718 HAS SOUS 2472329 HAS SOUPS 1137378 WITH SCORE 1142509.897
AT ITER 8766 NEW BEST:: SOT 9981574 SOS 5131959 HAS SOPS 3108718 HAS SOUS 2472329 HAS SOUPS 1137347 WITH SCORE 1142478.959
AT ITER 8773 NEW BEST:: SOT 9982305 SOS 5132253 HAS SOPS 3107814 HAS SOUS 2473060 HAS SOUPS 1136880 WITH SCORE 1142012.253
AT ITER 8789 NEW BEST:: SOT 9982450 SOS 5132746 HAS SOPS 3107408 HAS SOUS 2473205 HAS SOUPS 1136474 WITH SCORE 1141606.746
AT ITER 8796 NEW BEST:: SOT 9982444 SOS 5132716 HAS SOPS 3107378 HAS SOUS 2473169 HAS SOUPS 1136438 WITH SCORE 1141570.716
AT ITER 8812 NEW BEST:: SOT 9982512 SOS 5132716 HAS SOPS 3106402 HAS SOUS 2473237 HAS SOUPS 1135530 WITH SCORE 1140662.716
AT ITER 8814 NEW BEST:: SOT 9981718 SOS 5132267 HAS SOPS 3105953 HAS SOUS 2472968 HAS SOUPS 1135261 WITH SCORE 1140393.267
AT ITER 8819 NEW BEST:: SOT 9981644 SOS 5132193 HAS SOPS 3105879 HAS SOUS 2472894 HAS SOUPS 1135187 WITH SCORE 1140319.193
AT ITER 8824 NEW BEST:: SOT 9981644 SOS 5132120 HAS SOPS 3105879 HAS SOUS 2472821 HAS SOUPS 1135187 WITH SCORE 1140319.12
AT ITER 8830 NEW BEST:: SOT 9981636 SOS 5132096 HAS SOPS 3105871 HAS SOUS 2472813 HAS SOUPS 1135187 WITH SCORE 1140319.096
AT ITER 8848 NEW BEST:: SOT 9982049 SOS 5136073 HAS SOPS 3106284 HAS SOUS 2473639 HAS SOUPS 1134764 WITH SCORE 1139900.073
AT ITER 8875 NEW BEST:: SOT 9980736 SOS 5133445 HAS SOPS 3105400 HAS SOUS 2472326 HAS SOUPS 1134323 WITH SCORE 1139456.445
AT ITER 8891 NEW BEST:: SOT 9980699 SOS 5133408 HAS SOPS 3105363 HAS SOUS 2472326 HAS SOUPS 1134323 WITH SCORE 1139456.408
AT ITER 8892 NEW BEST:: SOT 9980775 SOS 5135303 HAS SOPS 3105439 HAS SOUS 2472478 HAS SOUPS 1133794 WITH SCORE 1138929.303
AT ITER 8900 NEW BEST:: SOT 9980775 SOS 5134825 HAS SOPS 3105439 HAS SOUS 2472478 HAS SOUPS 1133794 WITH SCORE 1138928.825
AT ITER 8919 NEW BEST:: SOT 9980775 SOS 5136863 HAS SOPS 3105439 HAS SOUS 2472478 HAS SOUPS 1133311 WITH SCORE 1138447.863
AT ITER 8934 NEW BEST:: SOT 9980775 SOS 5136983 HAS SOPS 3105199 HAS SOUS 2472478 HAS SOUPS 1133071 WITH SCORE 1138207.983
AT ITER 8951 NEW BEST:: SOT 9980864 SOS 5138611 HAS SOPS 3105288 HAS SOUS 2472656 HAS SOUPS 1132806 WITH SCORE 1137944.611
AT ITER 8962 NEW BEST:: SOT 9981240 SOS 5138549 HAS SOPS 3105116 HAS SOUS 2472531 HAS SOUPS 1132571 WITH SCORE 1137709.549
AT ITER 8970 NEW BEST:: SOT 9981240 SOS 5138312 HAS SOPS 3105116 HAS SOUS 2472531 HAS SOUPS 1132571 WITH SCORE 1137709.312
AT ITER 9014 NEW BEST:: SOT 9981157 SOS 5138312 HAS SOPS 3105116 HAS SOUS 2472448 HAS SOUPS 1132488 WITH SCORE 1137626.312
AT ITER 9020 NEW BEST:: SOT 9981771 SOS 5142293 HAS SOPS 3105730 HAS SOUS 2473676 HAS SOUPS 1132297 WITH SCORE 1137439.293
AT ITER 9024 NEW BEST:: SOT 9981771 SOS 5142290 HAS SOPS 3105730 HAS SOUS 2473676 HAS SOUPS 1132297 WITH SCORE 1137439.29
AT ITER 9027 NEW BEST:: SOT 9982327 SOS 5143978 HAS SOPS 3106286 HAS SOUS 2474222 HAS SOUPS 1132277 WITH SCORE 1137420.978
AT ITER 9048 NEW BEST:: SOT 9982442 SOS 5144093 HAS SOPS 3106401 HAS SOUS 2474215 HAS SOUPS 1132270 WITH SCORE 1137414.093
AT ITER 9063 NEW BEST:: SOT 9982777 SOS 5146432 HAS SOPS 3106736 HAS SOUS 2474885 HAS SOUPS 1131938 WITH SCORE 1137084.432
AT ITER 9084 NEW BEST:: SOT 9982967 SOS 5146185 HAS SOPS 3106041 HAS SOUS 2474694 HAS SOUPS 1131299 WITH SCORE 1136445.185
AT ITER 9111 NEW BEST:: SOT 9983005 SOS 5147944 HAS SOPS 3106079 HAS SOUS 2474770 HAS SOUPS 1130738 WITH SCORE 1135885.944
AT ITER 9153 NEW BEST:: SOT 9982670 SOS 5146403 HAS SOPS 3105744 HAS SOUS 2474100 HAS SOUPS 1130671 WITH SCORE 1135817.403
AT ITER 9167 NEW BEST:: SOT 9982670 SOS 5146156 HAS SOPS 3105744 HAS SOUS 2474100 HAS SOUPS 1130671 WITH SCORE 1135817.156
AT ITER 9182 NEW BEST:: SOT 9982388 SOS 5145874 HAS SOPS 3105462 HAS SOUS 2473974 HAS SOUPS 1130545 WITH SCORE 1135690.874
AT ITER 9198 NEW BEST:: SOT 9982064 SOS 5145988 HAS SOPS 3105654 HAS SOUS 2473885 HAS SOUPS 1130534 WITH SCORE 1135679.988
AT ITER 9209 NEW BEST:: SOT 9982064 SOS 5146111 HAS SOPS 3105408 HAS SOUS 2473885 HAS SOUPS 1130288 WITH SCORE 1135434.111
AT ITER 9217 NEW BEST:: SOT 9982064 SOS 5145443 HAS SOPS 3105408 HAS SOUS 2473885 HAS SOUPS 1130288 WITH SCORE 1135433.443
AT ITER 9220 NEW BEST:: SOT 9982064 SOS 5146803 HAS SOPS 3105408 HAS SOUS 2473885 HAS SOUPS 1129771 WITH SCORE 1134917.803
AT ITER 9245 NEW BEST:: SOT 9982034 SOS 5146773 HAS SOPS 3105378 HAS SOUS 2473825 HAS SOUPS 1129711 WITH SCORE 1134857.773
AT ITER 9250 NEW BEST:: SOT 9982034 SOS 5146701 HAS SOPS 3105234 HAS SOUS 2473753 HAS SOUPS 1129567 WITH SCORE 1134713.701
AT ITER 9309 NEW BEST:: SOT 9982034 SOS 5148236 HAS SOPS 3105234 HAS SOUS 2473753 HAS SOUPS 1128826 WITH SCORE 1133974.236
AT ITER 9348 NEW BEST:: SOT 9981339 SOS 5147979 HAS SOPS 3105527 HAS SOUS 2473058 HAS SOUPS 1128681 WITH SCORE 1133828.979
AT ITER 9351 NEW BEST:: SOT 9983700 SOS 5153365 HAS SOPS 3106127 HAS SOUS 2475439 HAS SOUPS 1128338 WITH SCORE 1133491.365
AT ITER 9352 NEW BEST:: SOT 9983623 SOS 5153288 HAS SOPS 3106050 HAS SOUS 2475403 HAS SOUPS 1128302 WITH SCORE 1133455.288
AT ITER 9394 NEW BEST:: SOT 9983536 SOS 5153201 HAS SOPS 3105963 HAS SOUS 2475229 HAS SOUPS 1128128 WITH SCORE 1133281.201
AT ITER 9419 NEW BEST:: SOT 9983677 SOS 5153575 HAS SOPS 3105779 HAS SOUS 2475370 HAS SOUPS 1127944 WITH SCORE 1133097.575
AT ITER 9449 NEW BEST:: SOT 9983800 SOS 5156394 HAS SOPS 3105902 HAS SOUS 2475616 HAS SOUPS 1127319 WITH SCORE 1132475.394
AT ITER 9467 NEW BEST:: SOT 9983800 SOS 5155938 HAS SOPS 3105902 HAS SOUS 2475616 HAS SOUPS 1127319 WITH SCORE 1132474.938
AT ITER 9486 NEW BEST:: SOT 9983654 SOS 5155791 HAS SOPS 3105755 HAS SOUS 2475470 HAS SOUPS 1127173 WITH SCORE 1132328.791
AT ITER 9509 NEW BEST:: SOT 9983229 SOS 5155366 HAS SOPS 3105330 HAS SOUS 2475292 HAS SOUPS 1126995 WITH SCORE 1132150.366
AT ITER 9515 NEW BEST:: SOT 9983251 SOS 5156248 HAS SOPS 3105352 HAS SOUS 2475336 HAS SOUPS 1126851 WITH SCORE 1132007.248
AT ITER 9517 NEW BEST:: SOT 9985063 SOS 5157623 HAS SOPS 3105011 HAS SOUS 2476623 HAS SOUPS 1126422 WITH SCORE 1131579.623
AT ITER 9521 NEW BEST:: SOT 9985012 SOS 5157436 HAS SOPS 3104960 HAS SOUS 2476521 HAS SOUPS 1126388 WITH SCORE 1131545.436
AT ITER 9522 NEW BEST:: SOT 9984526 SOS 5156950 HAS SOPS 3104474 HAS SOUS 2476521 HAS SOUPS 1126388 WITH SCORE 1131544.95
AT ITER 9536 NEW BEST:: SOT 9984296 SOS 5156720 HAS SOPS 3104244 HAS SOUS 2476061 HAS SOUPS 1125928 WITH SCORE 1131084.72
AT ITER 9540 NEW BEST:: SOT 9984287 SOS 5156711 HAS SOPS 3104235 HAS SOUS 2476043 HAS SOUPS 1125910 WITH SCORE 1131066.711
AT ITER 9541 NEW BEST:: SOT 9984287 SOS 5156711 HAS SOPS 3103855 HAS SOUS 2476043 HAS SOUPS 1125530 WITH SCORE 1130686.711
AT ITER 9559 NEW BEST:: SOT 9984661 SOS 5159783 HAS SOPS 3104229 HAS SOUS 2476791 HAS SOUPS 1125133 WITH SCORE 1130292.783
AT ITER 9561 NEW BEST:: SOT 9984661 SOS 5159912 HAS SOPS 3103971 HAS SOUS 2476791 HAS SOUPS 1124875 WITH SCORE 1130034.912
AT ITER 9596 NEW BEST:: SOT 9983963 SOS 5157818 HAS SOPS 3103273 HAS SOUS 2476093 HAS SOUPS 1124875 WITH SCORE 1130032.818
AT ITER 9597 NEW BEST:: SOT 9983963 SOS 5157818 HAS SOPS 3103261 HAS SOUS 2476087 HAS SOUPS 1124863 WITH SCORE 1130020.818
AT ITER 9601 NEW BEST:: SOT 9984084 SOS 5159590 HAS SOPS 3103382 HAS SOUS 2476329 HAS SOUPS 1124582 WITH SCORE 1129741.59
AT ITER 9604 NEW BEST:: SOT 9984401 SOS 5160255 HAS SOPS 3103320 HAS SOUS 2476646 HAS SOUPS 1124520 WITH SCORE 1129680.255
AT ITER 9606 NEW BEST:: SOT 9984130 SOS 5159442 HAS SOPS 3103049 HAS SOUS 2476375 HAS SOUPS 1124520 WITH SCORE 1129679.442
AT ITER 9609 NEW BEST:: SOT 9983974 SOS 5159286 HAS SOPS 3102893 HAS SOUS 2476219 HAS SOUPS 1124364 WITH SCORE 1129523.286
AT ITER 9628 NEW BEST:: SOT 9983832 SOS 5159286 HAS SOPS 3102893 HAS SOUS 2476077 HAS SOUPS 1124222 WITH SCORE 1129381.286
AT ITER 9633 NEW BEST:: SOT 9983638 SOS 5159092 HAS SOPS 3102699 HAS SOUS 2475689 HAS SOUPS 1123834 WITH SCORE 1128993.092
AT ITER 9641 NEW BEST:: SOT 9983638 SOS 5161817 HAS SOPS 3102699 HAS SOUS 2475689 HAS SOUPS 1122560 WITH SCORE 1127721.817
AT ITER 9654 NEW BEST:: SOT 9983996 SOS 5161807 HAS SOPS 3101103 HAS SOUS 2476037 HAS SOUPS 1121322 WITH SCORE 1126483.807
AT ITER 9659 NEW BEST:: SOT 9983855 SOS 5161444 HAS SOPS 3100962 HAS SOUS 2475896 HAS SOUPS 1121292 WITH SCORE 1126453.444
AT ITER 9673 NEW BEST:: SOT 9983370 SOS 5161282 HAS SOPS 3100800 HAS SOUS 2475411 HAS SOUPS 1120807 WITH SCORE 1125968.282
AT ITER 9679 NEW BEST:: SOT 9983232 SOS 5160868 HAS SOPS 3100662 HAS SOUS 2475273 HAS SOUPS 1120807 WITH SCORE 1125967.868
AT ITER 9682 NEW BEST:: SOT 9982961 SOS 5160055 HAS SOPS 3100391 HAS SOUS 2475002 HAS SOUPS 1120807 WITH SCORE 1125967.055
AT ITER 9688 NEW BEST:: SOT 9982884 SOS 5159846 HAS SOPS 3100314 HAS SOUS 2474716 HAS SOUPS 1120653 WITH SCORE 1125812.846
AT ITER 9696 NEW BEST:: SOT 9983082 SOS 5161774 HAS SOPS 3100512 HAS SOUS 2475112 HAS SOUPS 1120316 WITH SCORE 1125477.774
AT ITER 9724 NEW BEST:: SOT 9983369 SOS 5165199 HAS SOPS 3100799 HAS SOUS 2475686 HAS SOUPS 1119555 WITH SCORE 1124720.199
AT ITER 9733 NEW BEST:: SOT 9983369 SOS 5165092 HAS SOPS 3100799 HAS SOUS 2475686 HAS SOUPS 1119555 WITH SCORE 1124720.092
AT ITER 9737 NEW BEST:: SOT 9983600 SOS 5165324 HAS SOPS 3101031 HAS SOUS 2475682 HAS SOUPS 1119551 WITH SCORE 1124716.324
AT ITER 9763 NEW BEST:: SOT 9983306 SOS 5164736 HAS SOPS 3100737 HAS SOUS 2475388 HAS SOUPS 1119404 WITH SCORE 1124568.736
AT ITER 9799 NEW BEST:: SOT 9983354 SOS 5166402 HAS SOPS 3100785 HAS SOUS 2475484 HAS SOUPS 1118891 WITH SCORE 1124057.402
AT ITER 9807 NEW BEST:: SOT 9982934 SOS 5165142 HAS SOPS 3100365 HAS SOUS 2475064 HAS SOUPS 1118891 WITH SCORE 1124056.142
AT ITER 9812 NEW BEST:: SOT 9982180 SOS 5161860 HAS SOPS 3099611 HAS SOUS 2473556 HAS SOUPS 1118573 WITH SCORE 1123734.86
AT ITER 9818 NEW BEST:: SOT 9982180 SOS 5163790 HAS SOPS 3099611 HAS SOUS 2473556 HAS SOUPS 1117778 WITH SCORE 1122941.79
AT ITER 9831 NEW BEST:: SOT 9981902 SOS 5163790 HAS SOPS 3099771 HAS SOUS 2473278 HAS SOUPS 1117660 WITH SCORE 1122823.79
AT ITER 9833 NEW BEST:: SOT 9980533 SOS 5162858 HAS SOPS 3100159 HAS SOUS 2471909 HAS SOUPS 1117611 WITH SCORE 1122773.858
AT ITER 9837 NEW BEST:: SOT 9980533 SOS 5162779 HAS SOPS 3100159 HAS SOUS 2471830 HAS SOUPS 1117611 WITH SCORE 1122773.779
AT ITER 9849 NEW BEST:: SOT 9980533 SOS 5163348 HAS SOPS 3099021 HAS SOUS 2471830 HAS SOUPS 1116473 WITH SCORE 1121636.348
AT ITER 9874 NEW BEST:: SOT 9980533 SOS 5163348 HAS SOPS 3099021 HAS SOUS 2471482 HAS SOUPS 1116125 WITH SCORE 1121288.348
AT ITER 9901 NEW BEST:: SOT 9980047 SOS 5162028 HAS SOPS 3098535 HAS SOUS 2470996 HAS SOUPS 1116056 WITH SCORE 1121218.028
AT ITER 9916 NEW BEST:: SOT 9980876 SOS 5162420 HAS SOPS 3098031 HAS SOUS 2471627 HAS SOUPS 1115791 WITH SCORE 1120953.42
AT ITER 9918 NEW BEST:: SOT 9980876 SOS 5162420 HAS SOPS 3098031 HAS SOUS 2471599 HAS SOUPS 1115763 WITH SCORE 1120925.42
AT ITER 9919 NEW BEST:: SOT 9979710 SOS 5161824 HAS SOPS 3098249 HAS SOUS 2470565 HAS SOUPS 1115543 WITH SCORE 1120704.824
AT ITER 9928 NEW BEST:: SOT 9979445 SOS 5161029 HAS SOPS 3097984 HAS SOUS 2470300 HAS SOUPS 1115543 WITH SCORE 1120704.029
AT ITER 9931 NEW BEST:: SOT 9979441 SOS 5160838 HAS SOPS 3097980 HAS SOUS 2470105 HAS SOUPS 1115535 WITH SCORE 1120695.838
AT ITER 9932 NEW BEST:: SOT 9979232 SOS 5160629 HAS SOPS 3097771 HAS SOUS 2469954 HAS SOUPS 1115384 WITH SCORE 1120544.629
AT ITER 9934 NEW BEST:: SOT 9979232 SOS 5160398 HAS SOPS 3097771 HAS SOUS 2469954 HAS SOUPS 1115384 WITH SCORE 1120544.398
AT ITER 9940 NEW BEST:: SOT 9979096 SOS 5160262 HAS SOPS 3097635 HAS SOUS 2469546 HAS SOUPS 1114976 WITH SCORE 1120136.262
AT ITER 9945 NEW BEST:: SOT 9978627 SOS 5158855 HAS SOPS 3097166 HAS SOUS 2469077 HAS SOUPS 1114976 WITH SCORE 1120134.855
AT ITER 9958 NEW BEST:: SOT 9979096 SOS 5160262 HAS SOPS 3097166 HAS SOUS 2469077 HAS SOUPS 1114507 WITH SCORE 1119667.262
AT ITER 9963 NEW BEST:: SOT 9979096 SOS 5162030 HAS SOPS 3097166 HAS SOUS 2469077 HAS SOUPS 1114077 WITH SCORE 1119239.03
AT ITER 9992 NEW BEST:: SOT 9979230 SOS 5162432 HAS SOPS 3097166 HAS SOUS 2469077 HAS SOUPS 1113943 WITH SCORE 1119105.432
AT ITER 9993 NEW BEST:: SOT 9979951 SOS 5162715 HAS SOPS 3096681 HAS SOUS 2469798 HAS SOUPS 1113896 WITH SCORE 1119058.715
STATE_SPACE STATES 4271787023 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 1508 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 19074837024 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1589100142174

--------------------
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="AirplaneLD-PT-0500"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# 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 AirplaneLD-PT-0500, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r003-smll-158897508300281"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/AirplaneLD-PT-0500.tgz
mv AirplaneLD-PT-0500 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;