Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2020-input.r093-oct2-158940140400320.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.........................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is HypertorusGrid-PT-d5k3p2b10, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r093-oct2-158940140400320
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 14M
-rw-r--r-- 1 mcc users 5.5K Apr 27 15:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 27 15:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.8K Apr 27 15:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 27 15:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 27 15:14 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.6K Apr 27 15:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Apr 27 15:14 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 5.3K Apr 27 15:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 27 15:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.9K Apr 27 15:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 22K Apr 27 15:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Apr 27 15:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Apr 27 15:14 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Apr 27 15:14 equiv_col
-rw-r--r-- 1 mcc users 10 Apr 27 15:14 instance
-rw-r--r-- 1 mcc users 6 Apr 27 15:14 iscolored
-rwxr-xr-x 1 mcc users 14M Apr 27 15:14 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 1589614121610

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

Filename model.pnml
Petri model created: 7533 places, 24300 transitions, 97200 arcs.
AT ITER 0 NEW BEST:: SOT 108058065 SOS 35417755 HAS SOPS 35417755 HAS SOUS 12933793 HAS SOUPS 12933793 WITH SCORE 1.2969210755E7
AT ITER 17 NEW BEST:: SOT 108054924 SOS 35411473 HAS SOPS 35411473 HAS SOUS 12930303 HAS SOUPS 12930303 WITH SCORE 1.2965714473E7
AT ITER 19 NEW BEST:: SOT 108054476 SOS 35407409 HAS SOPS 35407409 HAS SOUS 12929055 HAS SOUPS 12929055 WITH SCORE 1.2964462409E7
AT ITER 25 NEW BEST:: SOT 108054476 SOS 35407409 HAS SOPS 35407409 HAS SOUS 12927930 HAS SOUPS 12927930 WITH SCORE 1.2963337409E7
AT ITER 26 NEW BEST:: SOT 108054288 SOS 35407221 HAS SOPS 35407221 HAS SOUS 12927930 HAS SOUPS 12927930 WITH SCORE 1.2963337221E7
AT ITER 30 NEW BEST:: SOT 108054288 SOS 35407221 HAS SOPS 35407221 HAS SOUS 12927842 HAS SOUPS 12927842 WITH SCORE 1.2963249221E7
AT ITER 35 NEW BEST:: SOT 108050373 SOS 35398956 HAS SOPS 35398956 HAS SOUS 12923057 HAS SOUPS 12923057 WITH SCORE 1.2958455956E7
AT ITER 66 NEW BEST:: SOT 108050373 SOS 35398956 HAS SOPS 35398956 HAS SOUS 12921737 HAS SOUPS 12921737 WITH SCORE 1.2957135956E7
AT ITER 72 NEW BEST:: SOT 108049637 SOS 35398220 HAS SOPS 35398220 HAS SOUS 12921001 HAS SOUPS 12921001 WITH SCORE 1.295639922E7
AT ITER 74 NEW BEST:: SOT 108048895 SOS 35390058 HAS SOPS 35390058 HAS SOUS 12918775 HAS SOUPS 12918775 WITH SCORE 1.2954165058E7
AT ITER 78 NEW BEST:: SOT 108043585 SOS 35379438 HAS SOPS 35379438 HAS SOUS 12912875 HAS SOUPS 12912875 WITH SCORE 1.2948254438E7
AT ITER 92 NEW BEST:: SOT 108037089 SOS 35366446 HAS SOPS 35366446 HAS SOUS 12906155 HAS SOUPS 12906155 WITH SCORE 1.2941521446E7
AT ITER 120 NEW BEST:: SOT 108036824 SOS 35363531 HAS SOPS 35363531 HAS SOUS 12905360 HAS SOUPS 12905360 WITH SCORE 1.2940723531E7
AT ITER 127 NEW BEST:: SOT 108036824 SOS 35362790 HAS SOPS 35362790 HAS SOUS 12904619 HAS SOUPS 12904619 WITH SCORE 1.293998179E7
AT ITER 142 NEW BEST:: SOT 108036599 SOS 35360540 HAS SOPS 35360540 HAS SOUS 12904169 HAS SOUPS 12904169 WITH SCORE 1.293952954E7
AT ITER 150 NEW BEST:: SOT 108036268 SOS 35359915 HAS SOPS 35359915 HAS SOUS 12903803 HAS SOUPS 12903803 WITH SCORE 1.2939162915E7
AT ITER 156 NEW BEST:: SOT 108031588 SOS 35350035 HAS SOPS 35350035 HAS SOUS 12898083 HAS SOUPS 12898083 WITH SCORE 1.2933433035E7
AT ITER 174 NEW BEST:: SOT 108033308 SOS 35353475 HAS SOPS 35353475 HAS SOUS 12895027 HAS SOUPS 12895027 WITH SCORE 1.2930380475E7
AT ITER 180 NEW BEST:: SOT 108031328 SOS 35349295 HAS SOPS 35349295 HAS SOUS 12892607 HAS SOUPS 12892607 WITH SCORE 1.2927956295E7
AT ITER 199 NEW BEST:: SOT 108030752 SOS 35342959 HAS SOPS 35342959 HAS SOUS 12890879 HAS SOUPS 12890879 WITH SCORE 1.2926221959E7
AT ITER 215 NEW BEST:: SOT 108030358 SOS 35338625 HAS SOPS 35338625 HAS SOUS 12889697 HAS SOUPS 12889697 WITH SCORE 1.2925035625E7
AT ITER 236 NEW BEST:: SOT 108030358 SOS 35338064 HAS SOPS 35338064 HAS SOUS 12889136 HAS SOUPS 12889136 WITH SCORE 1.2924474064E7
AT ITER 263 NEW BEST:: SOT 108030358 SOS 35331053 HAS SOPS 35331053 HAS SOUS 12888357 HAS SOUPS 12888357 WITH SCORE 1.2923688053E7
AT ITER 275 NEW BEST:: SOT 108024850 SOS 35324933 HAS SOPS 35324933 HAS SOUS 12881653 HAS SOUPS 12881653 WITH SCORE 1.2916977933E7
AT ITER 277 NEW BEST:: SOT 108026011 SOS 35326936 HAS SOPS 35326936 HAS SOUS 12880605 HAS SOUPS 12880605 WITH SCORE 1.2915931936E7
AT ITER 279 NEW BEST:: SOT 108025330 SOS 35320126 HAS SOPS 35320126 HAS SOUS 12879243 HAS SOUPS 12879243 WITH SCORE 1.2914563126E7
AT ITER 282 NEW BEST:: SOT 108025330 SOS 35320012 HAS SOPS 35320012 HAS SOUS 12879129 HAS SOUPS 12879129 WITH SCORE 1.2914449012E7
AT ITER 285 NEW BEST:: SOT 108025330 SOS 35320012 HAS SOPS 35320012 HAS SOUS 12878673 HAS SOUPS 12878673 WITH SCORE 1.2913993012E7
AT ITER 293 NEW BEST:: SOT 108019288 SOS 35307928 HAS SOPS 35307928 HAS SOUS 12874896 HAS SOUPS 12874896 WITH SCORE 1.2910203928E7
AT ITER 297 NEW BEST:: SOT 108020170 SOS 35309062 HAS SOPS 35309062 HAS SOUS 12874005 HAS SOUPS 12874005 WITH SCORE 1.2909314062E7
AT ITER 321 NEW BEST:: SOT 108016187 SOS 35301096 HAS SOPS 35301096 HAS SOUS 12870064 HAS SOUPS 12870064 WITH SCORE 1.2905365096E7
AT ITER 350 NEW BEST:: SOT 108016187 SOS 35301096 HAS SOPS 35301096 HAS SOUS 12869994 HAS SOUPS 12869994 WITH SCORE 1.2905295096E7
AT ITER 352 NEW BEST:: SOT 108016369 SOS 35296546 HAS SOPS 35296546 HAS SOUS 12869812 HAS SOUPS 12869812 WITH SCORE 1.2905108546E7
AT ITER 364 NEW BEST:: SOT 108011509 SOS 35291146 HAS SOPS 35291146 HAS SOUS 12862252 HAS SOUPS 12862252 WITH SCORE 1.2897543146E7
AT ITER 373 NEW BEST:: SOT 108005749 SOS 35284746 HAS SOPS 35284746 HAS SOUS 12852748 HAS SOUPS 12852748 WITH SCORE 1.2888032746E7
AT ITER 376 NEW BEST:: SOT 107999305 SOS 35277586 HAS SOPS 35277586 HAS SOUS 12844207 HAS SOUPS 12844207 WITH SCORE 1.2879484586E7
AT ITER 377 NEW BEST:: SOT 107998513 SOS 35276706 HAS SOPS 35276706 HAS SOUS 12842535 HAS SOUPS 12842535 WITH SCORE 1.2877811706E7
AT ITER 378 NEW BEST:: SOT 107998513 SOS 35280387 HAS SOPS 35280387 HAS SOUS 12839395 HAS SOUPS 12839395 WITH SCORE 1.2874675387E7
AT ITER 387 NEW BEST:: SOT 107998765 SOS 35280039 HAS SOPS 35280039 HAS SOUS 12838135 HAS SOUPS 12838135 WITH SCORE 1.2873415039E7
AT ITER 398 NEW BEST:: SOT 107992607 SOS 35267723 HAS SOPS 35267723 HAS SOUS 12835017 HAS SOUPS 12835017 WITH SCORE 1.2870284723E7
AT ITER 401 NEW BEST:: SOT 107992607 SOS 35267723 HAS SOPS 35267723 HAS SOUS 12834889 HAS SOUPS 12834889 WITH SCORE 1.2870156723E7
AT ITER 403 NEW BEST:: SOT 107991744 SOS 35259093 HAS SOPS 35259093 HAS SOUS 12833163 HAS SOUPS 12833163 WITH SCORE 1.2868422093E7
AT ITER 407 NEW BEST:: SOT 107991744 SOS 35258404 HAS SOPS 35258404 HAS SOUS 12832474 HAS SOUPS 12832474 WITH SCORE 1.2867732404E7
AT ITER 419 NEW BEST:: SOT 107991744 SOS 35261580 HAS SOPS 35261580 HAS SOUS 12828901 HAS SOUPS 12828901 WITH SCORE 1.286416258E7
AT ITER 433 NEW BEST:: SOT 107991744 SOS 35253957 HAS SOPS 35253957 HAS SOUS 12828054 HAS SOUPS 12828054 WITH SCORE 1.2863307957E7
AT ITER 438 NEW BEST:: SOT 107991744 SOS 35253957 HAS SOPS 35253957 HAS SOUS 12828051 HAS SOUPS 12828051 WITH SCORE 1.2863304957E7
AT ITER 439 NEW BEST:: SOT 107990944 SOS 35253157 HAS SOPS 35253157 HAS SOUS 12827251 HAS SOUPS 12827251 WITH SCORE 1.2862504157E7
AT ITER 454 NEW BEST:: SOT 107990944 SOS 35252357 HAS SOPS 35252357 HAS SOUS 12825683 HAS SOUPS 12825683 WITH SCORE 1.2860935357E7
AT ITER 468 NEW BEST:: SOT 107991684 SOS 35253837 HAS SOPS 35253837 HAS SOUS 12821382 HAS SOUPS 12821382 WITH SCORE 1.2856635837E7
AT ITER 477 NEW BEST:: SOT 107984304 SOS 35245637 HAS SOPS 35245637 HAS SOUS 12810884 HAS SOUPS 12810884 WITH SCORE 1.2846129637E7
AT ITER 485 NEW BEST:: SOT 107984064 SOS 35245397 HAS SOPS 35245397 HAS SOUS 12810644 HAS SOUPS 12810644 WITH SCORE 1.2845889397E7
AT ITER 486 NEW BEST:: SOT 107984064 SOS 35249661 HAS SOPS 35249661 HAS SOUS 12806293 HAS SOUPS 12806293 WITH SCORE 1.2841542661E7
AT ITER 509 NEW BEST:: SOT 107982003 SOS 35247371 HAS SOPS 35247371 HAS SOUS 12804003 HAS SOUPS 12804003 WITH SCORE 1.2839250371E7
AT ITER 516 NEW BEST:: SOT 107982003 SOS 35250059 HAS SOPS 35250059 HAS SOUS 12801608 HAS SOUPS 12801608 WITH SCORE 1.2836858059E7
AT ITER 552 NEW BEST:: SOT 107982003 SOS 35243606 HAS SOPS 35243606 HAS SOUS 12800891 HAS SOUPS 12800891 WITH SCORE 1.2836134606E7
AT ITER 573 NEW BEST:: SOT 107981275 SOS 35238019 HAS SOPS 35238019 HAS SOUS 12798976 HAS SOUPS 12798976 WITH SCORE 1.2834214019E7
AT ITER 580 NEW BEST:: SOT 107981205 SOS 35237949 HAS SOPS 35237949 HAS SOUS 12798836 HAS SOUPS 12798836 WITH SCORE 1.2834073949E7
AT ITER 590 NEW BEST:: SOT 107975121 SOS 35231189 HAS SOPS 35231189 HAS SOUS 12791360 HAS SOUPS 12791360 WITH SCORE 1.2826591189E7
AT ITER 638 NEW BEST:: SOT 107975261 SOS 35226177 HAS SOPS 35226177 HAS SOUS 12791052 HAS SOUPS 12791052 WITH SCORE 1.2826278177E7
AT ITER 644 NEW BEST:: SOT 107974533 SOS 35220212 HAS SOPS 35220212 HAS SOUS 12789095 HAS SOUPS 12789095 WITH SCORE 1.2824315212E7
AT ITER 647 NEW BEST:: SOT 107973653 SOS 35215005 HAS SOPS 35215005 HAS SOUS 12786952 HAS SOUPS 12786952 WITH SCORE 1.2822167005E7
AT ITER 651 NEW BEST:: SOT 107971337 SOS 35210373 HAS SOPS 35210373 HAS SOUS 12785552 HAS SOUPS 12785552 WITH SCORE 1.2820762373E7
AT ITER 653 NEW BEST:: SOT 107971169 SOS 35210205 HAS SOPS 35210205 HAS SOUS 12785384 HAS SOUPS 12785384 WITH SCORE 1.2820594205E7
AT ITER 671 NEW BEST:: SOT 107970991 SOS 35209849 HAS SOPS 35209849 HAS SOUS 12783864 HAS SOUPS 12783864 WITH SCORE 1.2819073849E7
AT ITER 684 NEW BEST:: SOT 107970263 SOS 35202525 HAS SOPS 35202525 HAS SOUS 12781756 HAS SOUPS 12781756 WITH SCORE 1.2816958525E7
AT ITER 686 NEW BEST:: SOT 107970067 SOS 35202133 HAS SOPS 35202133 HAS SOUS 12780756 HAS SOUPS 12780756 WITH SCORE 1.2815958133E7
AT ITER 699 NEW BEST:: SOT 107969765 SOS 35201831 HAS SOPS 35201831 HAS SOUS 12780668 HAS SOUPS 12780668 WITH SCORE 1.2815869831E7
AT ITER 700 NEW BEST:: SOT 107962808 SOS 35194101 HAS SOPS 35194101 HAS SOUS 12766586 HAS SOUPS 12766586 WITH SCORE 1.2801780101E7
AT ITER 713 NEW BEST:: SOT 107962756 SOS 35193997 HAS SOPS 35193997 HAS SOUS 12766022 HAS SOUPS 12766022 WITH SCORE 1.2801215997E7
AT ITER 722 NEW BEST:: SOT 107956411 SOS 35186947 HAS SOPS 35186947 HAS SOUS 12754569 HAS SOUPS 12754569 WITH SCORE 1.2789755947E7
AT ITER 754 NEW BEST:: SOT 107956411 SOS 35186947 HAS SOPS 35186947 HAS SOUS 12754502 HAS SOUPS 12754502 WITH SCORE 1.2789688947E7
AT ITER 755 NEW BEST:: SOT 107959949 SOS 35194023 HAS SOPS 35194023 HAS SOUS 12752986 HAS SOUPS 12752986 WITH SCORE 1.2788180023E7
AT ITER 762 NEW BEST:: SOT 107959949 SOS 35195031 HAS SOPS 35195031 HAS SOUS 12751852 HAS SOUPS 12751852 WITH SCORE 1.2787047031E7
AT ITER 766 NEW BEST:: SOT 107955917 SOS 35186845 HAS SOPS 35186845 HAS SOUS 12750043 HAS SOUPS 12750043 WITH SCORE 1.2785229845E7
AT ITER 773 NEW BEST:: SOT 107955189 SOS 35181510 HAS SOPS 35181510 HAS SOUS 12748156 HAS SOUPS 12748156 WITH SCORE 1.278333751E7
AT ITER 776 NEW BEST:: SOT 107955189 SOS 35181377 HAS SOPS 35181377 HAS SOUS 12748023 HAS SOUPS 12748023 WITH SCORE 1.2783204377E7
AT ITER 793 NEW BEST:: SOT 107955189 SOS 35181377 HAS SOPS 35181377 HAS SOUS 12747825 HAS SOUPS 12747825 WITH SCORE 1.2783006377E7
AT ITER 812 NEW BEST:: SOT 107955189 SOS 35174987 HAS SOPS 35174987 HAS SOUS 12746547 HAS SOUPS 12746547 WITH SCORE 1.2781721987E7
AT ITER 813 NEW BEST:: SOT 107955189 SOS 35174987 HAS SOPS 35174987 HAS SOUS 12745991 HAS SOUPS 12745991 WITH SCORE 1.2781165987E7
AT ITER 896 NEW BEST:: SOT 107952183 SOS 35171647 HAS SOPS 35171647 HAS SOUS 12742495 HAS SOUPS 12742495 WITH SCORE 1.2777666647E7
AT ITER 915 NEW BEST:: SOT 107944263 SOS 35155205 HAS SOPS 35155205 HAS SOUS 12735433 HAS SOUPS 12735433 WITH SCORE 1.2770588205E7
AT ITER 935 NEW BEST:: SOT 107944263 SOS 35155205 HAS SOPS 35155205 HAS SOUS 12735384 HAS SOUPS 12735384 WITH SCORE 1.2770539205E7
AT ITER 946 NEW BEST:: SOT 107936803 SOS 35140285 HAS SOPS 35140285 HAS SOUS 12731644 HAS SOUPS 12731644 WITH SCORE 1.2766784285E7
AT ITER 974 NEW BEST:: SOT 107936115 SOS 35139597 HAS SOPS 35139597 HAS SOUS 12730956 HAS SOUPS 12730956 WITH SCORE 1.2766095597E7
AT ITER 995 NEW BEST:: SOT 107935562 SOS 35139044 HAS SOPS 35139044 HAS SOUS 12729346 HAS SOUPS 12729346 WITH SCORE 1.2764485044E7
AT ITER 1012 NEW BEST:: SOT 107929865 SOS 35127017 HAS SOPS 35127017 HAS SOUS 12722383 HAS SOUPS 12722383 WITH SCORE 1.2757510017E7
AT ITER 1023 NEW BEST:: SOT 107933196 SOS 35133679 HAS SOPS 35133679 HAS SOUS 12719714 HAS SOUPS 12719714 WITH SCORE 1.2754847679E7
AT ITER 1077 NEW BEST:: SOT 107933196 SOS 35133679 HAS SOPS 35133679 HAS SOUS 12718738 HAS SOUPS 12718738 WITH SCORE 1.2753871679E7
AT ITER 1083 NEW BEST:: SOT 107933196 SOS 35133679 HAS SOPS 35133679 HAS SOUS 12718014 HAS SOUPS 12718014 WITH SCORE 1.2753147679E7
AT ITER 1090 NEW BEST:: SOT 107925638 SOS 35118563 HAS SOPS 35118563 HAS SOUS 12712072 HAS SOUPS 12712072 WITH SCORE 1.2747190563E7
AT ITER 1094 NEW BEST:: SOT 107925638 SOS 35118563 HAS SOPS 35118563 HAS SOUS 12712023 HAS SOUPS 12712023 WITH SCORE 1.2747141563E7
AT ITER 1105 NEW BEST:: SOT 107919806 SOS 35112731 HAS SOPS 35112731 HAS SOUS 12706191 HAS SOUPS 12706191 WITH SCORE 1.2741303731E7
AT ITER 1140 NEW BEST:: SOT 107919806 SOS 35112731 HAS SOPS 35112731 HAS SOUS 12706135 HAS SOUPS 12706135 WITH SCORE 1.2741247731E7
AT ITER 1157 NEW BEST:: SOT 107919806 SOS 35116790 HAS SOPS 35116790 HAS SOUS 12702887 HAS SOUPS 12702887 WITH SCORE 1.273800379E7
AT ITER 1197 NEW BEST:: SOT 107919517 SOS 35116501 HAS SOPS 35116501 HAS SOUS 12702333 HAS SOUPS 12702333 WITH SCORE 1.2737449501E7
AT ITER 1199 NEW BEST:: SOT 107919470 SOS 35116031 HAS SOPS 35116031 HAS SOUS 12702239 HAS SOUPS 12702239 WITH SCORE 1.2737355031E7
AT ITER 1203 NEW BEST:: SOT 107919897 SOS 35116458 HAS SOPS 35116458 HAS SOUS 12701385 HAS SOUPS 12701385 WITH SCORE 1.2736501458E7
AT ITER 1222 NEW BEST:: SOT 107913687 SOS 35103348 HAS SOPS 35103348 HAS SOUS 12693795 HAS SOUPS 12693795 WITH SCORE 1.2728898348E7
AT ITER 1237 NEW BEST:: SOT 107913687 SOS 35106759 HAS SOPS 35106759 HAS SOUS 12690893 HAS SOUPS 12690893 WITH SCORE 1.2725999759E7
AT ITER 1262 NEW BEST:: SOT 107913438 SOS 35104269 HAS SOPS 35104269 HAS SOUS 12690395 HAS SOUPS 12690395 WITH SCORE 1.2725499269E7
AT ITER 1263 NEW BEST:: SOT 107906940 SOS 35097049 HAS SOPS 35097049 HAS SOUS 12683175 HAS SOUPS 12683175 WITH SCORE 1.2718272049E7
AT ITER 1280 NEW BEST:: SOT 107906906 SOS 35097015 HAS SOPS 35097015 HAS SOUS 12683073 HAS SOUPS 12683073 WITH SCORE 1.2718170015E7
AT ITER 1290 NEW BEST:: SOT 107901479 SOS 35090985 HAS SOPS 35090985 HAS SOUS 12672819 HAS SOUPS 12672819 WITH SCORE 1.2707909985E7
AT ITER 1304 NEW BEST:: SOT 107899859 SOS 35089185 HAS SOPS 35089185 HAS SOUS 12671019 HAS SOUPS 12671019 WITH SCORE 1.2706108185E7
AT ITER 1316 NEW BEST:: SOT 107899318 SOS 35083775 HAS SOPS 35083775 HAS SOUS 12669937 HAS SOUPS 12669937 WITH SCORE 1.2705020775E7
AT ITER 1357 NEW BEST:: SOT 107895457 SOS 35079485 HAS SOPS 35079485 HAS SOUS 12664530 HAS SOUPS 12664530 WITH SCORE 1.2699609485E7
AT ITER 1358 NEW BEST:: SOT 107894875 SOS 35078903 HAS SOPS 35078903 HAS SOUS 12663278 HAS SOUPS 12663278 WITH SCORE 1.2698356903E7
AT ITER 1386 NEW BEST:: SOT 107894481 SOS 35078509 HAS SOPS 35078509 HAS SOUS 12662490 HAS SOUPS 12662490 WITH SCORE 1.2697568509E7
AT ITER 1387 NEW BEST:: SOT 107893805 SOS 35071073 HAS SOPS 35071073 HAS SOUS 12660462 HAS SOUPS 12660462 WITH SCORE 1.2695533073E7
AT ITER 1428 NEW BEST:: SOT 107893805 SOS 35064313 HAS SOPS 35064313 HAS SOUS 12659110 HAS SOUPS 12659110 WITH SCORE 1.2694174313E7
AT ITER 1429 NEW BEST:: SOT 107892926 SOS 35055523 HAS SOPS 35055523 HAS SOUS 12657352 HAS SOUPS 12657352 WITH SCORE 1.2692407523E7
AT ITER 1433 NEW BEST:: SOT 107895332 SOS 35061538 HAS SOPS 35061538 HAS SOUS 12657343 HAS SOUPS 12657343 WITH SCORE 1.2692404538E7
AT ITER 1446 NEW BEST:: SOT 107888240 SOS 35047354 HAS SOPS 35047354 HAS SOUS 12649463 HAS SOUPS 12649463 WITH SCORE 1.2684510354E7
AT ITER 1450 NEW BEST:: SOT 107888240 SOS 35040712 HAS SOPS 35040712 HAS SOUS 12648725 HAS SOUPS 12648725 WITH SCORE 1.2683765712E7
AT ITER 1456 NEW BEST:: SOT 107888240 SOS 35040712 HAS SOPS 35040712 HAS SOUS 12648659 HAS SOUPS 12648659 WITH SCORE 1.2683699712E7
AT ITER 1470 NEW BEST:: SOT 107885657 SOS 35038242 HAS SOPS 35038242 HAS SOUS 12646189 HAS SOUPS 12646189 WITH SCORE 1.2681227242E7
AT ITER 1480 NEW BEST:: SOT 107879105 SOS 35024489 HAS SOPS 35024489 HAS SOUS 12638892 HAS SOUPS 12638892 WITH SCORE 1.2673916489E7
AT ITER 1504 NEW BEST:: SOT 107871707 SOS 35009693 HAS SOPS 35009693 HAS SOUS 12635489 HAS SOUPS 12635489 WITH SCORE 1.2670498693E7
AT ITER 1561 NEW BEST:: SOT 107871285 SOS 35008849 HAS SOPS 35008849 HAS SOUS 12633261 HAS SOUPS 12633261 WITH SCORE 1.2668269849E7
AT ITER 1568 NEW BEST:: SOT 107870640 SOS 35007559 HAS SOPS 35007559 HAS SOUS 12631387 HAS SOUPS 12631387 WITH SCORE 1.2666394559E7
AT ITER 1585 NEW BEST:: SOT 107870585 SOS 35007504 HAS SOPS 35007504 HAS SOUS 12631332 HAS SOUPS 12631332 WITH SCORE 1.2666339504E7
AT ITER 1586 NEW BEST:: SOT 107864033 SOS 34993719 HAS SOPS 34993719 HAS SOUS 12623747 HAS SOUPS 12623747 WITH SCORE 1.2658740719E7
AT ITER 1591 NEW BEST:: SOT 107861459 SOS 34991145 HAS SOPS 34991145 HAS SOUS 12621173 HAS SOUPS 12621173 WITH SCORE 1.2656164145E7
AT ITER 1592 NEW BEST:: SOT 107861315 SOS 34989705 HAS SOPS 34989705 HAS SOUS 12620885 HAS SOUPS 12620885 WITH SCORE 1.2655874705E7
AT ITER 1605 NEW BEST:: SOT 107860523 SOS 34988913 HAS SOPS 34988913 HAS SOUS 12620093 HAS SOUPS 12620093 WITH SCORE 1.2655081913E7
AT ITER 1608 NEW BEST:: SOT 107860523 SOS 34991892 HAS SOPS 34991892 HAS SOUS 12618352 HAS SOUPS 12618352 WITH SCORE 1.2653343892E7
AT ITER 1626 NEW BEST:: SOT 107856374 SOS 34987282 HAS SOPS 34987282 HAS SOUS 12613742 HAS SOUPS 12613742 WITH SCORE 1.2648729282E7
AT ITER 1630 NEW BEST:: SOT 107856374 SOS 34988042 HAS SOPS 34988042 HAS SOUS 12612887 HAS SOUPS 12612887 WITH SCORE 1.2647875042E7
AT ITER 1670 NEW BEST:: SOT 107856374 SOS 34988042 HAS SOPS 34988042 HAS SOUS 12612717 HAS SOUPS 12612717 WITH SCORE 1.2647705042E7
AT ITER 1681 NEW BEST:: SOT 107855831 SOS 34982612 HAS SOPS 34982612 HAS SOUS 12611631 HAS SOUPS 12611631 WITH SCORE 1.2646613612E7
AT ITER 1686 NEW BEST:: SOT 107855831 SOS 34982612 HAS SOPS 34982612 HAS SOUS 12610799 HAS SOUPS 12610799 WITH SCORE 1.2645781612E7
AT ITER 1692 NEW BEST:: SOT 107855831 SOS 34978792 HAS SOPS 34978792 HAS SOUS 12610035 HAS SOUPS 12610035 WITH SCORE 1.2645013792E7
AT ITER 1716 NEW BEST:: SOT 107855831 SOS 34978792 HAS SOPS 34978792 HAS SOUS 12609523 HAS SOUPS 12609523 WITH SCORE 1.2644501792E7
AT ITER 1722 NEW BEST:: SOT 107849099 SOS 34964580 HAS SOPS 34964580 HAS SOUS 12601295 HAS SOUPS 12601295 WITH SCORE 1.263625958E7
AT ITER 1727 NEW BEST:: SOT 107844158 SOS 34959090 HAS SOPS 34959090 HAS SOUS 12594237 HAS SOUPS 12594237 WITH SCORE 1.262919609E7
AT ITER 1728 NEW BEST:: SOT 107844158 SOS 34959513 HAS SOPS 34959513 HAS SOUS 12593861 HAS SOUPS 12593861 WITH SCORE 1.2628820513E7
AT ITER 1732 NEW BEST:: SOT 107837949 SOS 34947095 HAS SOPS 34947095 HAS SOUS 12587755 HAS SOUPS 12587755 WITH SCORE 1.2622702095E7
AT ITER 1734 NEW BEST:: SOT 107840937 SOS 34952675 HAS SOPS 34952675 HAS SOUS 12586962 HAS SOUPS 12586962 WITH SCORE 1.2621914675E7
AT ITER 1737 NEW BEST:: SOT 107840937 SOS 34947125 HAS SOPS 34947125 HAS SOUS 12585852 HAS SOUPS 12585852 WITH SCORE 1.2620799125E7
AT ITER 1760 NEW BEST:: SOT 107841053 SOS 34941849 HAS SOPS 34941849 HAS SOUS 12585472 HAS SOUPS 12585472 WITH SCORE 1.2620413849E7
AT ITER 1764 NEW BEST:: SOT 107838731 SOS 34936947 HAS SOPS 34936947 HAS SOUS 12582634 HAS SOUPS 12582634 WITH SCORE 1.2617570947E7
AT ITER 1765 NEW BEST:: SOT 107838731 SOS 34931977 HAS SOPS 34931977 HAS SOUS 12581640 HAS SOUPS 12581640 WITH SCORE 1.2616571977E7
AT ITER 1768 NEW BEST:: SOT 107835401 SOS 34925317 HAS SOPS 34925317 HAS SOUS 12577940 HAS SOUPS 12577940 WITH SCORE 1.2612865317E7
AT ITER 1809 NEW BEST:: SOT 107835343 SOS 34924679 HAS SOPS 34924679 HAS SOUS 12577766 HAS SOUPS 12577766 WITH SCORE 1.2612690679E7
AT ITER 1810 NEW BEST:: SOT 107835343 SOS 34924679 HAS SOPS 34924679 HAS SOUS 12577443 HAS SOUPS 12577443 WITH SCORE 1.2612367679E7
AT ITER 1827 NEW BEST:: SOT 107835343 SOS 34924534 HAS SOPS 34924534 HAS SOUS 12577298 HAS SOUPS 12577298 WITH SCORE 1.2612222534E7
AT ITER 1837 NEW BEST:: SOT 107827613 SOS 34909074 HAS SOPS 34909074 HAS SOUS 12570588 HAS SOUPS 12570588 WITH SCORE 1.2605497074E7
AT ITER 1843 NEW BEST:: SOT 107827118 SOS 34908579 HAS SOPS 34908579 HAS SOUS 12570093 HAS SOUPS 12570093 WITH SCORE 1.2605001579E7
AT ITER 1852 NEW BEST:: SOT 107827118 SOS 34901899 HAS SOPS 34901899 HAS SOUS 12568757 HAS SOUPS 12568757 WITH SCORE 1.2603658899E7
AT ITER 1857 NEW BEST:: SOT 107824693 SOS 34897049 HAS SOPS 34897049 HAS SOUS 12566267 HAS SOUPS 12566267 WITH SCORE 1.2601164049E7
AT ITER 1859 NEW BEST:: SOT 107824693 SOS 34897319 HAS SOPS 34897319 HAS SOUS 12566057 HAS SOUPS 12566057 WITH SCORE 1.2600954319E7
AT ITER 1884 NEW BEST:: SOT 107821372 SOS 34890677 HAS SOPS 34890677 HAS SOUS 12562367 HAS SOUPS 12562367 WITH SCORE 1.2597257677E7
AT ITER 1893 NEW BEST:: SOT 107821372 SOS 34884602 HAS SOPS 34884602 HAS SOUS 12561692 HAS SOUPS 12561692 WITH SCORE 1.2596576602E7
AT ITER 1894 NEW BEST:: SOT 107822841 SOS 34890212 HAS SOPS 34890212 HAS SOUS 12559546 HAS SOUPS 12559546 WITH SCORE 1.2594436212E7
AT ITER 1895 NEW BEST:: SOT 107816397 SOS 34883052 HAS SOPS 34883052 HAS SOUS 12547897 HAS SOUPS 12547897 WITH SCORE 1.2582780052E7
AT ITER 1919 NEW BEST:: SOT 107815677 SOS 34882252 HAS SOPS 34882252 HAS SOUS 12547097 HAS SOUPS 12547097 WITH SCORE 1.2581979252E7
AT ITER 1933 NEW BEST:: SOT 107814988 SOS 34874673 HAS SOPS 34874673 HAS SOUS 12545030 HAS SOUPS 12545030 WITH SCORE 1.2579904673E7
AT ITER 1939 NEW BEST:: SOT 107814274 SOS 34873959 HAS SOPS 34873959 HAS SOUS 12544464 HAS SOUPS 12544464 WITH SCORE 1.2579337959E7
AT ITER 1940 NEW BEST:: SOT 107813681 SOS 34872773 HAS SOPS 34872773 HAS SOUS 12542694 HAS SOUPS 12542694 WITH SCORE 1.2577566773E7
AT ITER 1944 NEW BEST:: SOT 107812529 SOS 34871621 HAS SOPS 34871621 HAS SOUS 12541542 HAS SOUPS 12541542 WITH SCORE 1.2576413621E7
AT ITER 1952 NEW BEST:: SOT 107806173 SOS 34858909 HAS SOPS 34858909 HAS SOUS 12536253 HAS SOUPS 12536253 WITH SCORE 1.2571111909E7
AT ITER 1954 NEW BEST:: SOT 107804517 SOS 34855413 HAS SOPS 34855413 HAS SOUS 12534229 HAS SOUPS 12534229 WITH SCORE 1.2569084413E7
AT ITER 1958 NEW BEST:: SOT 107798532 SOS 34843443 HAS SOPS 34843443 HAS SOUS 12527579 HAS SOUPS 12527579 WITH SCORE 1.2562422443E7
AT ITER 1963 NEW BEST:: SOT 107797804 SOS 34835651 HAS SOPS 34835651 HAS SOUS 12525419 HAS SOUPS 12525419 WITH SCORE 1.2560254651E7
AT ITER 1985 NEW BEST:: SOT 107794897 SOS 34832421 HAS SOPS 34832421 HAS SOUS 12522189 HAS SOUPS 12522189 WITH SCORE 1.2557021421E7
AT ITER 1992 NEW BEST:: SOT 107794897 SOS 34829741 HAS SOPS 34829741 HAS SOUS 12521653 HAS SOUPS 12521653 WITH SCORE 1.2556482741E7
AT ITER 1995 NEW BEST:: SOT 107794734 SOS 34829578 HAS SOPS 34829578 HAS SOUS 12521490 HAS SOUPS 12521490 WITH SCORE 1.2556319578E7
AT ITER 1997 NEW BEST:: SOT 107791701 SOS 34826208 HAS SOPS 34826208 HAS SOUS 12517686 HAS SOUPS 12517686 WITH SCORE 1.2552512208E7
AT ITER 2003 NEW BEST:: SOT 107791253 SOS 34822567 HAS SOPS 34822567 HAS SOUS 12516485 HAS SOUPS 12516485 WITH SCORE 1.2551307567E7
AT ITER 2006 NEW BEST:: SOT 107790628 SOS 34821317 HAS SOPS 34821317 HAS SOUS 12511338 HAS SOUPS 12511338 WITH SCORE 1.2546159317E7
AT ITER 2017 NEW BEST:: SOT 107789900 SOS 34817224 HAS SOPS 34817224 HAS SOUS 12509589 HAS SOUPS 12509589 WITH SCORE 1.2544406224E7
AT ITER 2019 NEW BEST:: SOT 107789900 SOS 34811077 HAS SOPS 34811077 HAS SOUS 12508906 HAS SOUPS 12508906 WITH SCORE 1.2543717077E7
AT ITER 2040 NEW BEST:: SOT 107790084 SOS 34806549 HAS SOPS 34806549 HAS SOUS 12508730 HAS SOUPS 12508730 WITH SCORE 1.2543536549E7
AT ITER 2041 NEW BEST:: SOT 107789986 SOS 34806451 HAS SOPS 34806451 HAS SOUS 12508730 HAS SOUPS 12508730 WITH SCORE 1.2543536451E7
AT ITER 2067 NEW BEST:: SOT 107791307 SOS 34809093 HAS SOPS 34809093 HAS SOUS 12508420 HAS SOUPS 12508420 WITH SCORE 1.2543229093E7
AT ITER 2070 NEW BEST:: SOT 107789507 SOS 34805493 HAS SOPS 34805493 HAS SOUS 12506420 HAS SOUPS 12506420 WITH SCORE 1.2541225493E7
AT ITER 2076 NEW BEST:: SOT 107788779 SOS 34800248 HAS SOPS 34800248 HAS SOUS 12504543 HAS SOUPS 12504543 WITH SCORE 1.2539343248E7
AT ITER 2088 NEW BEST:: SOT 107780859 SOS 34783841 HAS SOPS 34783841 HAS SOUS 12497993 HAS SOUPS 12497993 WITH SCORE 1.2532776841E7
AT ITER 2091 NEW BEST:: SOT 107780698 SOS 34783519 HAS SOPS 34783519 HAS SOUS 12497167 HAS SOUPS 12497167 WITH SCORE 1.2531950519E7
AT ITER 2097 NEW BEST:: SOT 107779087 SOS 34781908 HAS SOPS 34781908 HAS SOUS 12495556 HAS SOUPS 12495556 WITH SCORE 1.2530337908E7
AT ITER 2100 NEW BEST:: SOT 107772920 SOS 34769574 HAS SOPS 34769574 HAS SOUS 12492195 HAS SOUPS 12492195 WITH SCORE 1.2526964574E7
AT ITER 2120 NEW BEST:: SOT 107766008 SOS 34761894 HAS SOPS 34761894 HAS SOUS 12483747 HAS SOUPS 12483747 WITH SCORE 1.2518508894E7
AT ITER 2121 NEW BEST:: SOT 107765501 SOS 34760880 HAS SOPS 34760880 HAS SOUS 12482733 HAS SOUPS 12482733 WITH SCORE 1.251749388E7
AT ITER 2123 NEW BEST:: SOT 107766401 SOS 34768572 HAS SOPS 34768572 HAS SOUS 12482414 HAS SOUPS 12482414 WITH SCORE 1.2517182572E7
AT ITER 2162 NEW BEST:: SOT 107762711 SOS 34764472 HAS SOPS 34764472 HAS SOUS 12475986 HAS SOUPS 12475986 WITH SCORE 1.2510750472E7
AT ITER 2173 NEW BEST:: SOT 107762515 SOS 34764276 HAS SOPS 34764276 HAS SOUS 12475594 HAS SOUPS 12475594 WITH SCORE 1.2510358276E7
AT ITER 2181 NEW BEST:: SOT 107762434 SOS 34764195 HAS SOPS 34764195 HAS SOUS 12475513 HAS SOUPS 12475513 WITH SCORE 1.2510277195E7
AT ITER 2197 NEW BEST:: SOT 107762776 SOS 34764469 HAS SOPS 34764469 HAS SOUS 12473371 HAS SOUPS 12473371 WITH SCORE 1.2508135469E7
AT ITER 2216 NEW BEST:: SOT 107762048 SOS 34757370 HAS SOPS 34757370 HAS SOUS 12471288 HAS SOUPS 12471288 WITH SCORE 1.250604537E7
AT ITER 2217 NEW BEST:: SOT 107761669 SOS 34753580 HAS SOPS 34753580 HAS SOUS 12470530 HAS SOUPS 12470530 WITH SCORE 1.250528358E7
AT ITER 2255 NEW BEST:: SOT 107761669 SOS 34749680 HAS SOPS 34749680 HAS SOUS 12469750 HAS SOUPS 12469750 WITH SCORE 1.250449968E7
AT ITER 2284 NEW BEST:: SOT 107753844 SOS 34734030 HAS SOPS 34734030 HAS SOUS 12461900 HAS SOUPS 12461900 WITH SCORE 1.249663403E7
AT ITER 2297 NEW BEST:: SOT 107746851 SOS 34725980 HAS SOPS 34725980 HAS SOUS 12456619 HAS SOUPS 12456619 WITH SCORE 1.249134498E7
AT ITER 2309 NEW BEST:: SOT 107746851 SOS 34726124 HAS SOPS 34726124 HAS SOUS 12456457 HAS SOUPS 12456457 WITH SCORE 1.2491183124E7
AT ITER 2323 NEW BEST:: SOT 107746851 SOS 34718644 HAS SOPS 34718644 HAS SOUS 12454961 HAS SOUPS 12454961 WITH SCORE 1.2489679644E7
AT ITER 2329 NEW BEST:: SOT 107746851 SOS 34723228 HAS SOPS 34723228 HAS SOUS 12454377 HAS SOUPS 12454377 WITH SCORE 1.2489100228E7
AT ITER 2333 NEW BEST:: SOT 107746851 SOS 34723177 HAS SOPS 34723177 HAS SOUS 12454326 HAS SOUPS 12454326 WITH SCORE 1.2489049177E7
AT ITER 2351 NEW BEST:: SOT 107738931 SOS 34706520 HAS SOPS 34706520 HAS SOUS 12445213 HAS SOUPS 12445213 WITH SCORE 1.247991952E7
AT ITER 2366 NEW BEST:: SOT 107738931 SOS 34709751 HAS SOPS 34709751 HAS SOUS 12443383 HAS SOUPS 12443383 WITH SCORE 1.2478092751E7
AT ITER 2370 NEW BEST:: SOT 107738931 SOS 34702803 HAS SOPS 34702803 HAS SOUS 12442611 HAS SOUPS 12442611 WITH SCORE 1.2477313803E7
AT ITER 2382 NEW BEST:: SOT 107738617 SOS 34702489 HAS SOPS 34702489 HAS SOUS 12442555 HAS SOUPS 12442555 WITH SCORE 1.2477257489E7
AT ITER 2383 NEW BEST:: SOT 107737906 SOS 34701067 HAS SOPS 34701067 HAS SOUS 12435744 HAS SOUPS 12435744 WITH SCORE 1.2470445067E7
AT ITER 2395 NEW BEST:: SOT 107737906 SOS 34700803 HAS SOPS 34700803 HAS SOUS 12435480 HAS SOUPS 12435480 WITH SCORE 1.2470180803E7
AT ITER 2399 NEW BEST:: SOT 107735089 SOS 34697673 HAS SOPS 34697673 HAS SOUS 12431766 HAS SOUPS 12431766 WITH SCORE 1.2466463673E7
AT ITER 2400 NEW BEST:: SOT 107735836 SOS 34698370 HAS SOPS 34698370 HAS SOUS 12425076 HAS SOUPS 12425076 WITH SCORE 1.245977437E7
AT ITER 2415 NEW BEST:: SOT 107734796 SOS 34697330 HAS SOPS 34697330 HAS SOUS 12424036 HAS SOUPS 12424036 WITH SCORE 1.245873333E7
AT ITER 2417 NEW BEST:: SOT 107735831 SOS 34698635 HAS SOPS 34698635 HAS SOUS 12423733 HAS SOUPS 12423733 WITH SCORE 1.2458431635E7
AT ITER 2435 NEW BEST:: SOT 107735831 SOS 34698579 HAS SOPS 34698579 HAS SOUS 12423677 HAS SOUPS 12423677 WITH SCORE 1.2458375579E7
AT ITER 2442 NEW BEST:: SOT 107733257 SOS 34693431 HAS SOPS 34693431 HAS SOUS 12420817 HAS SOUPS 12420817 WITH SCORE 1.2455510431E7
AT ITER 2479 NEW BEST:: SOT 107732680 SOS 34687661 HAS SOPS 34687661 HAS SOUS 12419663 HAS SOUPS 12419663 WITH SCORE 1.2454350661E7
AT ITER 2485 NEW BEST:: SOT 107732517 SOS 34687498 HAS SOPS 34687498 HAS SOUS 12419663 HAS SOUPS 12419663 WITH SCORE 1.2454350498E7
AT ITER 2535 NEW BEST:: SOT 107732318 SOS 34692460 HAS SOPS 34692460 HAS SOUS 12411699 HAS SOUPS 12411699 WITH SCORE 1.244639146E7
AT ITER 2573 NEW BEST:: SOT 107731438 SOS 34686371 HAS SOPS 34686371 HAS SOUS 12409458 HAS SOUPS 12409458 WITH SCORE 1.2444144371E7
AT ITER 2587 NEW BEST:: SOT 107730494 SOS 34683387 HAS SOPS 34683387 HAS SOUS 12408106 HAS SOUPS 12408106 WITH SCORE 1.2442789387E7
AT ITER 2590 NEW BEST:: SOT 107730494 SOS 34682882 HAS SOPS 34682882 HAS SOUS 12407601 HAS SOUPS 12407601 WITH SCORE 1.2442283882E7
AT ITER 2592 NEW BEST:: SOT 107725436 SOS 34677262 HAS SOPS 34677262 HAS SOUS 12399457 HAS SOUPS 12399457 WITH SCORE 1.2434134262E7
AT ITER 2593 NEW BEST:: SOT 107725958 SOS 34681946 HAS SOPS 34681946 HAS SOUS 12394339 HAS SOUPS 12394339 WITH SCORE 1.2429020946E7
AT ITER 2597 NEW BEST:: SOT 107725634 SOS 34678706 HAS SOPS 34678706 HAS SOUS 12393691 HAS SOUPS 12393691 WITH SCORE 1.2428369706E7
AT ITER 2600 NEW BEST:: SOT 107719514 SOS 34666466 HAS SOPS 34666466 HAS SOUS 12386891 HAS SOUPS 12386891 WITH SCORE 1.2421557466E7
AT ITER 2612 NEW BEST:: SOT 107719514 SOS 34666466 HAS SOPS 34666466 HAS SOUS 12386451 HAS SOUPS 12386451 WITH SCORE 1.2421117466E7
AT ITER 2616 NEW BEST:: SOT 107719002 SOS 34661346 HAS SOPS 34661346 HAS SOUS 12385427 HAS SOUPS 12385427 WITH SCORE 1.2420088346E7
AT ITER 2666 NEW BEST:: SOT 107719002 SOS 34661043 HAS SOPS 34661043 HAS SOUS 12383948 HAS SOUPS 12383948 WITH SCORE 1.2418609043E7
AT ITER 2668 NEW BEST:: SOT 107714223 SOS 34655733 HAS SOPS 34655733 HAS SOUS 12374194 HAS SOUPS 12374194 WITH SCORE 1.2408849733E7
AT ITER 2673 NEW BEST:: SOT 107714223 SOS 34655733 HAS SOPS 34655733 HAS SOUS 12372434 HAS SOUPS 12372434 WITH SCORE 1.2407089733E7
AT ITER 2681 NEW BEST:: SOT 107713343 SOS 34656077 HAS SOPS 34656077 HAS SOUS 12371594 HAS SOUPS 12371594 WITH SCORE 1.2406250077E7
AT ITER 2682 NEW BEST:: SOT 107712734 SOS 34649987 HAS SOPS 34649987 HAS SOUS 12370376 HAS SOUPS 12370376 WITH SCORE 1.2405025987E7
AT ITER 2695 NEW BEST:: SOT 107712734 SOS 34649426 HAS SOPS 34649426 HAS SOUS 12369815 HAS SOUPS 12369815 WITH SCORE 1.2404464426E7
AT ITER 2722 NEW BEST:: SOT 107712570 SOS 34649262 HAS SOPS 34649262 HAS SOUS 12369487 HAS SOUPS 12369487 WITH SCORE 1.2404136262E7
AT ITER 2738 NEW BEST:: SOT 107712570 SOS 34643853 HAS SOPS 34643853 HAS SOUS 12368886 HAS SOUPS 12368886 WITH SCORE 1.2403529853E7
AT ITER 2741 NEW BEST:: SOT 107712570 SOS 34640183 HAS SOPS 34640183 HAS SOUS 12368152 HAS SOUPS 12368152 WITH SCORE 1.2402792183E7
AT ITER 2778 NEW BEST:: SOT 107712562 SOS 34640175 HAS SOPS 34640175 HAS SOUS 12368144 HAS SOUPS 12368144 WITH SCORE 1.2402784175E7
AT ITER 2783 NEW BEST:: SOT 107706164 SOS 34627379 HAS SOPS 34627379 HAS SOUS 12362472 HAS SOUPS 12362472 WITH SCORE 1.2397099379E7
AT ITER 2790 NEW BEST:: SOT 107706164 SOS 34627379 HAS SOPS 34627379 HAS SOUS 12360518 HAS SOUPS 12360518 WITH SCORE 1.2395145379E7
AT ITER 2796 NEW BEST:: SOT 107706560 SOS 34627335 HAS SOPS 34627335 HAS SOUS 12359434 HAS SOUPS 12359434 WITH SCORE 1.2394061335E7
AT ITER 2816 NEW BEST:: SOT 107706059 SOS 34622325 HAS SOPS 34622325 HAS SOUS 12358432 HAS SOUPS 12358432 WITH SCORE 1.2393054325E7
AT ITER 2823 NEW BEST:: SOT 107700110 SOS 34609766 HAS SOPS 34609766 HAS SOUS 12351161 HAS SOUPS 12351161 WITH SCORE 1.2385770766E7
AT ITER 2835 NEW BEST:: SOT 107700110 SOS 34607876 HAS SOPS 34607876 HAS SOUS 12350783 HAS SOUPS 12350783 WITH SCORE 1.2385390876E7
AT ITER 2855 NEW BEST:: SOT 107699230 SOS 34599563 HAS SOPS 34599563 HAS SOUS 12347894 HAS SOUPS 12347894 WITH SCORE 1.2382493563E7
AT ITER 2857 NEW BEST:: SOT 107698863 SOS 34599196 HAS SOPS 34599196 HAS SOUS 12347527 HAS SOUPS 12347527 WITH SCORE 1.2382126196E7
AT ITER 2864 NEW BEST:: SOT 107698863 SOS 34591663 HAS SOPS 34591663 HAS SOUS 12346690 HAS SOUPS 12346690 WITH SCORE 1.2381281663E7
AT ITER 2870 NEW BEST:: SOT 107697983 SOS 34586087 HAS SOPS 34586087 HAS SOUS 12344506 HAS SOUPS 12344506 WITH SCORE 1.2379092087E7
AT ITER 2876 NEW BEST:: SOT 107697310 SOS 34578684 HAS SOPS 34578684 HAS SOUS 12342487 HAS SOUPS 12342487 WITH SCORE 1.2377065684E7
AT ITER 2878 NEW BEST:: SOT 107697310 SOS 34578684 HAS SOPS 34578684 HAS SOUS 12342410 HAS SOUPS 12342410 WITH SCORE 1.2376988684E7
AT ITER 2892 NEW BEST:: SOT 107691190 SOS 34572564 HAS SOPS 34572564 HAS SOUS 12336290 HAS SOUPS 12336290 WITH SCORE 1.2370862564E7
AT ITER 2902 NEW BEST:: SOT 107691117 SOS 34572418 HAS SOPS 34572418 HAS SOUS 12335560 HAS SOUPS 12335560 WITH SCORE 1.2370132418E7
AT ITER 2914 NEW BEST:: SOT 107691117 SOS 34572264 HAS SOPS 34572264 HAS SOUS 12334626 HAS SOUPS 12334626 WITH SCORE 1.2369198264E7
AT ITER 2915 NEW BEST:: SOT 107689623 SOS 34569276 HAS SOPS 34569276 HAS SOUS 12332966 HAS SOUPS 12332966 WITH SCORE 1.2367535276E7
AT ITER 2926 NEW BEST:: SOT 107689623 SOS 34563336 HAS SOPS 34563336 HAS SOUS 12332306 HAS SOUPS 12332306 WITH SCORE 1.2366869336E7
AT ITER 2928 NEW BEST:: SOT 107689015 SOS 34562728 HAS SOPS 34562728 HAS SOUS 12331698 HAS SOUPS 12331698 WITH SCORE 1.2366260728E7
AT ITER 2944 NEW BEST:: SOT 107683714 SOS 34556838 HAS SOPS 34556838 HAS SOUS 12324632 HAS SOUPS 12324632 WITH SCORE 1.2359188838E7
AT ITER 2957 NEW BEST:: SOT 107683714 SOS 34553928 HAS SOPS 34553928 HAS SOUS 12324050 HAS SOUPS 12324050 WITH SCORE 1.2358603928E7
AT ITER 2976 NEW BEST:: SOT 107681491 SOS 34551458 HAS SOPS 34551458 HAS SOUS 12319357 HAS SOUPS 12319357 WITH SCORE 1.2353908458E7
AT ITER 2979 NEW BEST:: SOT 107681491 SOS 34550887 HAS SOPS 34550887 HAS SOUS 12318786 HAS SOUPS 12318786 WITH SCORE 1.2353336887E7
AT ITER 2989 NEW BEST:: SOT 107678989 SOS 34545398 HAS SOPS 34545398 HAS SOUS 12315912 HAS SOUPS 12315912 WITH SCORE 1.2350457398E7
AT ITER 2991 NEW BEST:: SOT 107678989 SOS 34546590 HAS SOPS 34546590 HAS SOUS 12314571 HAS SOUPS 12314571 WITH SCORE 1.234911759E7
AT ITER 2998 NEW BEST:: SOT 107679024 SOS 34539055 HAS SOPS 34539055 HAS SOUS 12313796 HAS SOUPS 12313796 WITH SCORE 1.2348335055E7
AT ITER 3051 NEW BEST:: SOT 107678588 SOS 34538183 HAS SOPS 34538183 HAS SOUS 12310716 HAS SOUPS 12310716 WITH SCORE 1.2345254183E7
AT ITER 3079 NEW BEST:: SOT 107678181 SOS 34537369 HAS SOPS 34537369 HAS SOUS 12308661 HAS SOUPS 12308661 WITH SCORE 1.2343198369E7
AT ITER 3087 NEW BEST:: SOT 107682142 SOS 34545291 HAS SOPS 34545291 HAS SOUS 12306617 HAS SOUPS 12306617 WITH SCORE 1.2341162291E7
AT ITER 3093 NEW BEST:: SOT 107681574 SOS 34539611 HAS SOPS 34539611 HAS SOUS 12305481 HAS SOUPS 12305481 WITH SCORE 1.2340020611E7
AT ITER 3102 NEW BEST:: SOT 107681127 SOS 34534694 HAS SOPS 34534694 HAS SOUS 12304140 HAS SOUPS 12304140 WITH SCORE 1.2338674694E7
AT ITER 3114 NEW BEST:: SOT 107673207 SOS 34518283 HAS SOPS 34518283 HAS SOUS 12297550 HAS SOUPS 12297550 WITH SCORE 1.2332068283E7
AT ITER 3121 NEW BEST:: SOT 107673228 SOS 34517449 HAS SOPS 34517449 HAS SOUS 12297476 HAS SOUPS 12297476 WITH SCORE 1.2331993449E7
AT ITER 3133 NEW BEST:: SOT 107673228 SOS 34515829 HAS SOPS 34515829 HAS SOUS 12297152 HAS SOUPS 12297152 WITH SCORE 1.2331667829E7
AT ITER 3146 NEW BEST:: SOT 107673228 SOS 34513049 HAS SOPS 34513049 HAS SOUS 12296596 HAS SOUPS 12296596 WITH SCORE 1.2331109049E7
AT ITER 3160 NEW BEST:: SOT 107673228 SOS 34513049 HAS SOPS 34513049 HAS SOUS 12295532 HAS SOUPS 12295532 WITH SCORE 1.2330045049E7
AT ITER 3161 NEW BEST:: SOT 107673143 SOS 34512964 HAS SOPS 34512964 HAS SOUS 12295532 HAS SOUPS 12295532 WITH SCORE 1.2330044964E7
AT ITER 3165 NEW BEST:: SOT 107668913 SOS 34508734 HAS SOPS 34508734 HAS SOUS 12291302 HAS SOUPS 12291302 WITH SCORE 1.2325810734E7
AT ITER 3184 NEW BEST:: SOT 107668913 SOS 34507870 HAS SOPS 34507870 HAS SOUS 12291206 HAS SOUPS 12291206 WITH SCORE 1.232571387E7
AT ITER 3195 NEW BEST:: SOT 107665201 SOS 34504158 HAS SOPS 34504158 HAS SOUS 12287494 HAS SOUPS 12287494 WITH SCORE 1.2321998158E7
AT ITER 3197 NEW BEST:: SOT 107665201 SOS 34501588 HAS SOPS 34501588 HAS SOUS 12286980 HAS SOUPS 12286980 WITH SCORE 1.2321481588E7
AT ITER 3203 NEW BEST:: SOT 107665190 SOS 34501566 HAS SOPS 34501566 HAS SOUS 12286958 HAS SOUPS 12286958 WITH SCORE 1.2321459566E7
AT ITER 3231 NEW BEST:: SOT 107665413 SOS 34496099 HAS SOPS 34496099 HAS SOUS 12286747 HAS SOUPS 12286747 WITH SCORE 1.2321243099E7
AT ITER 3243 NEW BEST:: SOT 107665413 SOS 34487599 HAS SOPS 34487599 HAS SOUS 12285047 HAS SOUPS 12285047 WITH SCORE 1.2319534599E7
AT ITER 3244 NEW BEST:: SOT 107665413 SOS 34488223 HAS SOPS 34488223 HAS SOUS 12284345 HAS SOUPS 12284345 WITH SCORE 1.2318833223E7
AT ITER 3258 NEW BEST:: SOT 107665413 SOS 34489618 HAS SOPS 34489618 HAS SOUS 12283105 HAS SOUPS 12283105 WITH SCORE 1.2317594618E7
AT ITER 3283 NEW BEST:: SOT 107665413 SOS 34489890 HAS SOPS 34489890 HAS SOUS 12282833 HAS SOUPS 12282833 WITH SCORE 1.231732289E7
AT ITER 3291 NEW BEST:: SOT 107659527 SOS 34483350 HAS SOPS 34483350 HAS SOUS 12271304 HAS SOUPS 12271304 WITH SCORE 1.230578735E7
AT ITER 3292 NEW BEST:: SOT 107659527 SOS 34482981 HAS SOPS 34482981 HAS SOUS 12270935 HAS SOUPS 12270935 WITH SCORE 1.2305417981E7
AT ITER 3305 NEW BEST:: SOT 107659243 SOS 34479857 HAS SOPS 34479857 HAS SOUS 12270083 HAS SOUPS 12270083 WITH SCORE 1.2304562857E7
AT ITER 3307 NEW BEST:: SOT 107659901 SOS 34481173 HAS SOPS 34481173 HAS SOUS 12266139 HAS SOUPS 12266139 WITH SCORE 1.2300620173E7
AT ITER 3311 NEW BEST:: SOT 107659901 SOS 34481173 HAS SOPS 34481173 HAS SOUS 12265746 HAS SOUPS 12265746 WITH SCORE 1.2300227173E7
AT ITER 3335 NEW BEST:: SOT 107659901 SOS 34481933 HAS SOPS 34481933 HAS SOUS 12264900 HAS SOUPS 12264900 WITH SCORE 1.2299381933E7
AT ITER 3341 NEW BEST:: SOT 107659344 SOS 34475806 HAS SOPS 34475806 HAS SOUS 12263229 HAS SOUPS 12263229 WITH SCORE 1.2297704806E7
AT ITER 3348 NEW BEST:: SOT 107659344 SOS 34471225 HAS SOPS 34471225 HAS SOUS 12262720 HAS SOUPS 12262720 WITH SCORE 1.2297191225E7
AT ITER 3350 NEW BEST:: SOT 107659344 SOS 34464875 HAS SOPS 34464875 HAS SOUS 12261450 HAS SOUPS 12261450 WITH SCORE 1.2295914875E7
AT ITER 3354 NEW BEST:: SOT 107659344 SOS 34461113 HAS SOPS 34461113 HAS SOUS 12261032 HAS SOUPS 12261032 WITH SCORE 1.2295493113E7
AT ITER 3356 NEW BEST:: SOT 107658932 SOS 34456581 HAS SOPS 34456581 HAS SOUS 12259796 HAS SOUPS 12259796 WITH SCORE 1.2294252581E7
AT ITER 3394 NEW BEST:: SOT 107652470 SOS 34449401 HAS SOPS 34449401 HAS SOUS 12246538 HAS SOUPS 12246538 WITH SCORE 1.2280987401E7
AT ITER 3402 NEW BEST:: SOT 107652470 SOS 34448671 HAS SOPS 34448671 HAS SOUS 12243578 HAS SOUPS 12243578 WITH SCORE 1.2278026671E7
AT ITER 3417 NEW BEST:: SOT 107652470 SOS 34441876 HAS SOPS 34441876 HAS SOUS 12242823 HAS SOUPS 12242823 WITH SCORE 1.2277264876E7
AT ITER 3419 NEW BEST:: SOT 107652351 SOS 34440686 HAS SOPS 34440686 HAS SOUS 12242585 HAS SOUPS 12242585 WITH SCORE 1.2277025686E7
AT ITER 3437 NEW BEST:: SOT 107652119 SOS 34440222 HAS SOPS 34440222 HAS SOUS 12237566 HAS SOUPS 12237566 WITH SCORE 1.2272006222E7
AT ITER 3458 NEW BEST:: SOT 107652231 SOS 34437422 HAS SOPS 34437422 HAS SOUS 12237454 HAS SOUPS 12237454 WITH SCORE 1.2271891422E7
AT ITER 3480 NEW BEST:: SOT 107652231 SOS 34437422 HAS SOPS 34437422 HAS SOUS 12237366 HAS SOUPS 12237366 WITH SCORE 1.2271803422E7
AT ITER 3493 NEW BEST:: SOT 107652647 SOS 34437838 HAS SOPS 34437838 HAS SOUS 12237046 HAS SOUPS 12237046 WITH SCORE 1.2271483838E7
AT ITER 3577 NEW BEST:: SOT 107650082 SOS 34435273 HAS SOPS 34435273 HAS SOUS 12234481 HAS SOUPS 12234481 WITH SCORE 1.2268916273E7
AT ITER 3596 NEW BEST:: SOT 107648471 SOS 34428283 HAS SOPS 34428283 HAS SOUS 12233739 HAS SOUPS 12233739 WITH SCORE 1.2268167283E7
AT ITER 3597 NEW BEST:: SOT 107645501 SOS 34422343 HAS SOPS 34422343 HAS SOUS 12230439 HAS SOUPS 12230439 WITH SCORE 1.2264861343E7
AT ITER 3607 NEW BEST:: SOT 107646321 SOS 34423983 HAS SOPS 34423983 HAS SOUS 12228423 HAS SOUPS 12228423 WITH SCORE 1.2262846983E7
AT ITER 3621 NEW BEST:: SOT 107646321 SOS 34423787 HAS SOPS 34423787 HAS SOUS 12227843 HAS SOUPS 12227843 WITH SCORE 1.2262266787E7
AT ITER 3639 NEW BEST:: SOT 107639166 SOS 34415837 HAS SOPS 34415837 HAS SOUS 12217657 HAS SOUPS 12217657 WITH SCORE 1.2252072837E7
AT ITER 3647 NEW BEST:: SOT 107637614 SOS 34414285 HAS SOPS 34414285 HAS SOUS 12216105 HAS SOUPS 12216105 WITH SCORE 1.2250519285E7
AT ITER 3661 NEW BEST:: SOT 107637030 SOS 34413701 HAS SOPS 34413701 HAS SOUS 12215521 HAS SOUPS 12215521 WITH SCORE 1.2249934701E7
AT ITER 3667 NEW BEST:: SOT 107636690 SOS 34413021 HAS SOPS 34413021 HAS SOUS 12208183 HAS SOUPS 12208183 WITH SCORE 1.2242596021E7
AT ITER 3673 NEW BEST:: SOT 107636690 SOS 34413019 HAS SOPS 34413019 HAS SOUS 12208181 HAS SOUPS 12208181 WITH SCORE 1.2242594019E7
AT ITER 3676 NEW BEST:: SOT 107636690 SOS 34412703 HAS SOPS 34412703 HAS SOUS 12207865 HAS SOUPS 12207865 WITH SCORE 1.2242277703E7
AT ITER 3681 NEW BEST:: SOT 107636690 SOS 34406403 HAS SOPS 34406403 HAS SOUS 12206605 HAS SOUPS 12206605 WITH SCORE 1.2241011403E7
AT ITER 3692 NEW BEST:: SOT 107633909 SOS 34403313 HAS SOPS 34403313 HAS SOUS 12200734 HAS SOUPS 12200734 WITH SCORE 1.2235137313E7
AT ITER 3701 NEW BEST:: SOT 107633909 SOS 34403257 HAS SOPS 34403257 HAS SOUS 12200678 HAS SOUPS 12200678 WITH SCORE 1.2235081257E7
AT ITER 3709 NEW BEST:: SOT 107634629 SOS 34406649 HAS SOPS 34406649 HAS SOUS 12200102 HAS SOUPS 12200102 WITH SCORE 1.2234508649E7
AT ITER 3712 NEW BEST:: SOT 107628077 SOS 34392822 HAS SOPS 34392822 HAS SOUS 12192099 HAS SOUPS 12192099 WITH SCORE 1.2226491822E7
AT ITER 3714 NEW BEST:: SOT 107625998 SOS 34390512 HAS SOPS 34390512 HAS SOUS 12187723 HAS SOUPS 12187723 WITH SCORE 1.2222113512E7
AT ITER 3758 NEW BEST:: SOT 107618170 SOS 34374856 HAS SOPS 34374856 HAS SOUS 12179107 HAS SOUPS 12179107 WITH SCORE 1.2213481856E7
AT ITER 3770 NEW BEST:: SOT 107618170 SOS 34372836 HAS SOPS 34372836 HAS SOUS 12178703 HAS SOUPS 12178703 WITH SCORE 1.2213075836E7
AT ITER 3794 NEW BEST:: SOT 107617290 SOS 34367881 HAS SOPS 34367881 HAS SOUS 12176588 HAS SOUPS 12176588 WITH SCORE 1.2210955881E7
AT ITER 3815 NEW BEST:: SOT 107615643 SOS 34366234 HAS SOPS 34366234 HAS SOUS 12174941 HAS SOUPS 12174941 WITH SCORE 1.2209307234E7
AT ITER 3826 NEW BEST:: SOT 107617362 SOS 34369415 HAS SOPS 34369415 HAS SOUS 12172839 HAS SOUPS 12172839 WITH SCORE 1.2207208415E7
AT ITER 3845 NEW BEST:: SOT 107616507 SOS 34368465 HAS SOPS 34368465 HAS SOUS 12171129 HAS SOUPS 12171129 WITH SCORE 1.2205497465E7
AT ITER 3847 NEW BEST:: SOT 107615893 SOS 34362325 HAS SOPS 34362325 HAS SOUS 12169901 HAS SOUPS 12169901 WITH SCORE 1.2204263325E7
AT ITER 3850 NEW BEST:: SOT 107615893 SOS 34362325 HAS SOPS 34362325 HAS SOUS 12168669 HAS SOUPS 12168669 WITH SCORE 1.2203031325E7
AT ITER 3857 NEW BEST:: SOT 107615893 SOS 34362325 HAS SOPS 34362325 HAS SOUS 12168605 HAS SOUPS 12168605 WITH SCORE 1.2202967325E7
AT ITER 3870 NEW BEST:: SOT 107618526 SOS 34366967 HAS SOPS 34366967 HAS SOUS 12162847 HAS SOUPS 12162847 WITH SCORE 1.2197213967E7
AT ITER 3876 NEW BEST:: SOT 107617960 SOS 34366401 HAS SOPS 34366401 HAS SOUS 12162281 HAS SOUPS 12162281 WITH SCORE 1.2196647401E7
AT ITER 3882 NEW BEST:: SOT 107619033 SOS 34368547 HAS SOPS 34368547 HAS SOUS 12158712 HAS SOUPS 12158712 WITH SCORE 1.2193080547E7
AT ITER 3883 NEW BEST:: SOT 107620365 SOS 34370479 HAS SOPS 34370479 HAS SOUS 12154056 HAS SOUPS 12154056 WITH SCORE 1.2188426479E7
AT ITER 3884 NEW BEST:: SOT 107620325 SOS 34370439 HAS SOPS 34370439 HAS SOUS 12154016 HAS SOUPS 12154016 WITH SCORE 1.2188386439E7
AT ITER 3907 NEW BEST:: SOT 107620325 SOS 34370763 HAS SOPS 34370763 HAS SOUS 12153728 HAS SOUPS 12153728 WITH SCORE 1.2188098763E7
AT ITER 3921 NEW BEST:: SOT 107621370 SOS 34372853 HAS SOPS 34372853 HAS SOUS 12151138 HAS SOUPS 12151138 WITH SCORE 1.2185510853E7
AT ITER 3925 NEW BEST:: SOT 107617707 SOS 34365527 HAS SOPS 34365527 HAS SOUS 12147068 HAS SOUPS 12147068 WITH SCORE 1.2181433527E7
AT ITER 3927 NEW BEST:: SOT 107611317 SOS 34358427 HAS SOPS 34358427 HAS SOUS 12135904 HAS SOUPS 12135904 WITH SCORE 1.2170262427E7
AT ITER 3928 NEW BEST:: SOT 107607365 SOS 34350507 HAS SOPS 34350507 HAS SOUS 12132322 HAS SOUPS 12132322 WITH SCORE 1.2166672507E7
AT ITER 3960 NEW BEST:: SOT 107601084 SOS 34337945 HAS SOPS 34337945 HAS SOUS 12127752 HAS SOUPS 12127752 WITH SCORE 1.2162089945E7
AT ITER 3964 NEW BEST:: SOT 107601084 SOS 34338665 HAS SOPS 34338665 HAS SOUS 12127032 HAS SOUPS 12127032 WITH SCORE 1.2161370665E7
AT ITER 3968 NEW BEST:: SOT 107601084 SOS 34340249 HAS SOPS 34340249 HAS SOUS 12125800 HAS SOUPS 12125800 WITH SCORE 1.2160140249E7
AT ITER 3992 NEW BEST:: SOT 107601011 SOS 34340176 HAS SOPS 34340176 HAS SOUS 12125670 HAS SOUPS 12125670 WITH SCORE 1.2160010176E7
AT ITER 4030 NEW BEST:: SOT 107600590 SOS 34339755 HAS SOPS 34339755 HAS SOUS 12125249 HAS SOUPS 12125249 WITH SCORE 1.2159588755E7
AT ITER 4054 NEW BEST:: SOT 107594555 SOS 34327685 HAS SOPS 34327685 HAS SOUS 12123656 HAS SOUPS 12123656 WITH SCORE 1.2157983685E7
AT ITER 4060 NEW BEST:: SOT 107593882 SOS 34320955 HAS SOPS 34320955 HAS SOUS 12122310 HAS SOUPS 12122310 WITH SCORE 1.2156630955E7
AT ITER 4064 NEW BEST:: SOT 107588251 SOS 34315517 HAS SOPS 34315517 HAS SOUS 12116872 HAS SOUPS 12116872 WITH SCORE 1.2151187517E7
AT ITER 4086 NEW BEST:: SOT 107583508 SOS 34306031 HAS SOPS 34306031 HAS SOUS 12111602 HAS SOUPS 12111602 WITH SCORE 1.2145908031E7
AT ITER 4097 NEW BEST:: SOT 107583508 SOS 34305521 HAS SOPS 34305521 HAS SOUS 12111500 HAS SOUPS 12111500 WITH SCORE 1.2145805521E7
AT ITER 4130 NEW BEST:: SOT 107582923 SOS 34299671 HAS SOPS 34299671 HAS SOUS 12110330 HAS SOUPS 12110330 WITH SCORE 1.2144629671E7
AT ITER 4172 NEW BEST:: SOT 107575003 SOS 34283769 HAS SOPS 34283769 HAS SOUS 12108561 HAS SOUPS 12108561 WITH SCORE 1.2142844769E7
AT ITER 4173 NEW BEST:: SOT 107575589 SOS 34284941 HAS SOPS 34284941 HAS SOUS 12107981 HAS SOUPS 12107981 WITH SCORE 1.2142265941E7
AT ITER 4183 NEW BEST:: SOT 107575589 SOS 34284941 HAS SOPS 34284941 HAS SOUS 12107837 HAS SOUPS 12107837 WITH SCORE 1.2142121941E7
AT ITER 4192 NEW BEST:: SOT 107575503 SOS 34284855 HAS SOPS 34284855 HAS SOUS 12107751 HAS SOUPS 12107751 WITH SCORE 1.2142035855E7
AT ITER 4197 NEW BEST:: SOT 107573118 SOS 34280085 HAS SOPS 34280085 HAS SOUS 12105724 HAS SOUPS 12105724 WITH SCORE 1.2140004085E7
AT ITER 4202 NEW BEST:: SOT 107573254 SOS 34280221 HAS SOPS 34280221 HAS SOUS 12105452 HAS SOUPS 12105452 WITH SCORE 1.2139732221E7
AT ITER 4228 NEW BEST:: SOT 107574750 SOS 34283213 HAS SOPS 34283213 HAS SOUS 12103398 HAS SOUPS 12103398 WITH SCORE 1.2137681213E7
AT ITER 4238 NEW BEST:: SOT 107574750 SOS 34283213 HAS SOPS 34283213 HAS SOUS 12102108 HAS SOUPS 12102108 WITH SCORE 1.2136391213E7
AT ITER 4242 NEW BEST:: SOT 107567973 SOS 34275683 HAS SOPS 34275683 HAS SOUS 12092586 HAS SOUPS 12092586 WITH SCORE 1.2126861683E7
AT ITER 4252 NEW BEST:: SOT 107563919 SOS 34270439 HAS SOPS 34270439 HAS SOUS 12090160 HAS SOUPS 12090160 WITH SCORE 1.2124430439E7
AT ITER 4268 NEW BEST:: SOT 107563636 SOS 34270156 HAS SOPS 34270156 HAS SOUS 12090096 HAS SOUPS 12090096 WITH SCORE 1.2124366156E7
AT ITER 4274 NEW BEST:: SOT 107563990 SOS 34267099 HAS SOPS 34267099 HAS SOUS 12090071 HAS SOUPS 12090071 WITH SCORE 1.2124338099E7
AT ITER 4275 NEW BEST:: SOT 107563990 SOS 34267025 HAS SOPS 34267025 HAS SOUS 12089997 HAS SOUPS 12089997 WITH SCORE 1.2124264025E7
AT ITER 4291 NEW BEST:: SOT 107563990 SOS 34263645 HAS SOPS 34263645 HAS SOUS 12089321 HAS SOUPS 12089321 WITH SCORE 1.2123584645E7
AT ITER 4304 NEW BEST:: SOT 107563990 SOS 34263115 HAS SOPS 34263115 HAS SOUS 12084630 HAS SOUPS 12084630 WITH SCORE 1.2118893115E7
AT ITER 4362 NEW BEST:: SOT 107557631 SOS 34250397 HAS SOPS 34250397 HAS SOUS 12078152 HAS SOUPS 12078152 WITH SCORE 1.2112402397E7
AT ITER 4373 NEW BEST:: SOT 107557766 SOS 34250547 HAS SOPS 34250547 HAS SOUS 12077258 HAS SOUPS 12077258 WITH SCORE 1.2111508547E7
AT ITER 4375 NEW BEST:: SOT 107557766 SOS 34250204 HAS SOPS 34250204 HAS SOUS 12076915 HAS SOUPS 12076915 WITH SCORE 1.2111165204E7
AT ITER 4376 NEW BEST:: SOT 107551682 SOS 34243444 HAS SOPS 34243444 HAS SOUS 12067921 HAS SOUPS 12067921 WITH SCORE 1.2102164444E7
AT ITER 4391 NEW BEST:: SOT 107551659 SOS 34243421 HAS SOPS 34243421 HAS SOUS 12067921 HAS SOUPS 12067921 WITH SCORE 1.2102164421E7
AT ITER 4463 NEW BEST:: SOT 107547087 SOS 34233769 HAS SOPS 34233769 HAS SOUS 12062333 HAS SOUPS 12062333 WITH SCORE 1.2096566769E7
AT ITER 4492 NEW BEST:: SOT 107547087 SOS 34237641 HAS SOPS 34237641 HAS SOUS 12058026 HAS SOUPS 12058026 WITH SCORE 1.2092263641E7
AT ITER 4509 NEW BEST:: SOT 107547087 SOS 34241799 HAS SOPS 34241799 HAS SOUS 12054581 HAS SOUPS 12054581 WITH SCORE 1.2088822799E7
AT ITER 4512 NEW BEST:: SOT 107549866 SOS 34248151 HAS SOPS 34248151 HAS SOUS 12054238 HAS SOUPS 12054238 WITH SCORE 1.2088486151E7
AT ITER 4531 NEW BEST:: SOT 107549344 SOS 34246137 HAS SOPS 34246137 HAS SOUS 12052768 HAS SOUPS 12052768 WITH SCORE 1.2087014137E7
AT ITER 4564 NEW BEST:: SOT 107549344 SOS 34246137 HAS SOPS 34246137 HAS SOUS 12052328 HAS SOUPS 12052328 WITH SCORE 1.2086574137E7
AT ITER 4579 NEW BEST:: SOT 107547376 SOS 34244224 HAS SOPS 34244224 HAS SOUS 12050910 HAS SOUPS 12050910 WITH SCORE 1.2085154224E7
AT ITER 4596 NEW BEST:: SOT 107546811 SOS 34243659 HAS SOPS 34243659 HAS SOUS 12050206 HAS SOUPS 12050206 WITH SCORE 1.2084449659E7
AT ITER 4597 NEW BEST:: SOT 107546811 SOS 34243659 HAS SOPS 34243659 HAS SOUS 12049739 HAS SOUPS 12049739 WITH SCORE 1.2083982659E7
AT ITER 4616 NEW BEST:: SOT 107544408 SOS 34236797 HAS SOPS 34236797 HAS SOUS 12049382 HAS SOUPS 12049382 WITH SCORE 1.2083618797E7
AT ITER 4637 NEW BEST:: SOT 107544103 SOS 34233442 HAS SOPS 34233442 HAS SOUS 12049260 HAS SOUPS 12049260 WITH SCORE 1.2083493442E7
AT ITER 4661 NEW BEST:: SOT 107538505 SOS 34227222 HAS SOPS 34227222 HAS SOUS 12040485 HAS SOUPS 12040485 WITH SCORE 1.2074712222E7
AT ITER 4720 NEW BEST:: SOT 107538372 SOS 34225759 HAS SOPS 34225759 HAS SOUS 12040086 HAS SOUPS 12040086 WITH SCORE 1.2074311759E7
AT ITER 4726 NEW BEST:: SOT 107538244 SOS 34225631 HAS SOPS 34225631 HAS SOUS 12039958 HAS SOUPS 12039958 WITH SCORE 1.2074183631E7
AT ITER 4728 NEW BEST:: SOT 107538244 SOS 34226463 HAS SOPS 34226463 HAS SOUS 12039022 HAS SOUPS 12039022 WITH SCORE 1.2073248463E7
AT ITER 4740 NEW BEST:: SOT 107538244 SOS 34218093 HAS SOPS 34218093 HAS SOUS 12037348 HAS SOUPS 12037348 WITH SCORE 1.2071566093E7
AT ITER 4759 NEW BEST:: SOT 107541259 SOS 34223578 HAS SOPS 34223578 HAS SOUS 12034723 HAS SOUPS 12034723 WITH SCORE 1.2068946578E7
AT ITER 4768 NEW BEST:: SOT 107540629 SOS 34222318 HAS SOPS 34222318 HAS SOUS 12034023 HAS SOUPS 12034023 WITH SCORE 1.2068245318E7
AT ITER 4771 NEW BEST:: SOT 107540629 SOS 34220848 HAS SOPS 34220848 HAS SOUS 12033729 HAS SOUPS 12033729 WITH SCORE 1.2067949848E7
AT ITER 4778 NEW BEST:: SOT 107539469 SOS 34219688 HAS SOPS 34219688 HAS SOUS 12032569 HAS SOUPS 12032569 WITH SCORE 1.2066788688E7
AT ITER 4796 NEW BEST:: SOT 107539611 SOS 34219830 HAS SOPS 34219830 HAS SOUS 12032427 HAS SOUPS 12032427 WITH SCORE 1.206664683E7
AT ITER 4814 NEW BEST:: SOT 107539611 SOS 34218200 HAS SOPS 34218200 HAS SOUS 12032101 HAS SOUPS 12032101 WITH SCORE 1.20663192E7
AT ITER 4835 NEW BEST:: SOT 107539611 SOS 34219730 HAS SOPS 34219730 HAS SOUS 12030784 HAS SOUPS 12030784 WITH SCORE 1.206500373E7
AT ITER 4838 NEW BEST:: SOT 107539432 SOS 34219372 HAS SOPS 34219372 HAS SOUS 12028994 HAS SOUPS 12028994 WITH SCORE 1.2063213372E7
AT ITER 4848 NEW BEST:: SOT 107539432 SOS 34218509 HAS SOPS 34218509 HAS SOUS 12028131 HAS SOUPS 12028131 WITH SCORE 1.2062349509E7
AT ITER 4855 NEW BEST:: SOT 107539432 SOS 34217849 HAS SOPS 34217849 HAS SOUS 12027999 HAS SOUPS 12027999 WITH SCORE 1.2062216849E7
AT ITER 4856 NEW BEST:: SOT 107538872 SOS 34212749 HAS SOPS 34212749 HAS SOUS 12026531 HAS SOUPS 12026531 WITH SCORE 1.2060743749E7
AT ITER 4862 NEW BEST:: SOT 107538615 SOS 34212492 HAS SOPS 34212492 HAS SOUS 12025313 HAS SOUPS 12025313 WITH SCORE 1.2059525492E7
AT ITER 4874 NEW BEST:: SOT 107538634 SOS 34208669 HAS SOPS 34208669 HAS SOUS 12024922 HAS SOUPS 12024922 WITH SCORE 1.2059130669E7
AT ITER 4875 NEW BEST:: SOT 107538433 SOS 34208468 HAS SOPS 34208468 HAS SOUS 12024834 HAS SOUPS 12024834 WITH SCORE 1.2059042468E7
AT ITER 4897 NEW BEST:: SOT 107541973 SOS 34215420 HAS SOPS 34215420 HAS SOUS 12024626 HAS SOUPS 12024626 WITH SCORE 1.205884142E7
AT ITER 4931 NEW BEST:: SOT 107541973 SOS 34215420 HAS SOPS 34215420 HAS SOUS 12021646 HAS SOUPS 12021646 WITH SCORE 1.205586142E7
AT ITER 4936 NEW BEST:: SOT 107541868 SOS 34215315 HAS SOPS 34215315 HAS SOUS 12021564 HAS SOUPS 12021564 WITH SCORE 1.2055779315E7
AT ITER 4953 NEW BEST:: SOT 107540526 SOS 34213807 HAS SOPS 34213807 HAS SOUS 12020056 HAS SOUPS 12020056 WITH SCORE 1.2054269807E7
AT ITER 4956 NEW BEST:: SOT 107539931 SOS 34207857 HAS SOPS 34207857 HAS SOUS 12018866 HAS SOUPS 12018866 WITH SCORE 1.2053073857E7
AT ITER 4961 NEW BEST:: SOT 107539911 SOS 34207657 HAS SOPS 34207657 HAS SOUS 12018826 HAS SOUPS 12018826 WITH SCORE 1.2053033657E7
AT ITER 4968 NEW BEST:: SOT 107537265 SOS 34201669 HAS SOPS 34201669 HAS SOUS 12016086 HAS SOUPS 12016086 WITH SCORE 1.2050287669E7
AT ITER 4969 NEW BEST:: SOT 107537028 SOS 34201432 HAS SOPS 34201432 HAS SOUS 12015849 HAS SOUPS 12015849 WITH SCORE 1.2050050432E7
AT ITER 5003 NEW BEST:: SOT 107532375 SOS 34191609 HAS SOPS 34191609 HAS SOUS 12010162 HAS SOUPS 12010162 WITH SCORE 1.2044353609E7
AT ITER 5034 NEW BEST:: SOT 107532287 SOS 34191521 HAS SOPS 34191521 HAS SOUS 12010074 HAS SOUPS 12010074 WITH SCORE 1.2044265521E7
AT ITER 5077 NEW BEST:: SOT 107525762 SOS 34176405 HAS SOPS 34176405 HAS SOUS 12003879 HAS SOUPS 12003879 WITH SCORE 1.2038055405E7
AT ITER 5126 NEW BEST:: SOT 107519807 SOS 34164367 HAS SOPS 34164367 HAS SOUS 12001663 HAS SOUPS 12001663 WITH SCORE 1.2035827367E7
AT ITER 5131 NEW BEST:: SOT 107514452 SOS 34158572 HAS SOPS 34158572 HAS SOUS 11996220 HAS SOUPS 11996220 WITH SCORE 1.2030378572E7
AT ITER 5136 NEW BEST:: SOT 107514452 SOS 34158572 HAS SOPS 34158572 HAS SOUS 11994636 HAS SOUPS 11994636 WITH SCORE 1.2028794572E7
AT ITER 5141 NEW BEST:: SOT 107514426 SOS 34158546 HAS SOPS 34158546 HAS SOUS 11994610 HAS SOUPS 11994610 WITH SCORE 1.2028768546E7
AT ITER 5142 NEW BEST:: SOT 107513187 SOS 34157338 HAS SOPS 34157338 HAS SOUS 11993681 HAS SOUPS 11993681 WITH SCORE 1.2027838338E7
AT ITER 5149 NEW BEST:: SOT 107511612 SOS 34155588 HAS SOPS 34155588 HAS SOUS 11991931 HAS SOUPS 11991931 WITH SCORE 1.2026086588E7
AT ITER 5158 NEW BEST:: SOT 107511612 SOS 34155588 HAS SOPS 34155588 HAS SOUS 11990857 HAS SOUPS 11990857 WITH SCORE 1.2025012588E7
AT ITER 5192 NEW BEST:: SOT 107511656 SOS 34155632 HAS SOPS 34155632 HAS SOUS 11990593 HAS SOUPS 11990593 WITH SCORE 1.2024748632E7
AT ITER 5212 NEW BEST:: SOT 107511656 SOS 34155441 HAS SOPS 34155441 HAS SOUS 11990402 HAS SOUPS 11990402 WITH SCORE 1.2024557441E7
AT ITER 5216 NEW BEST:: SOT 107511443 SOS 34155015 HAS SOPS 34155015 HAS SOUS 11989208 HAS SOUPS 11989208 WITH SCORE 1.2023363015E7
AT ITER 5225 NEW BEST:: SOT 107511011 SOS 34154103 HAS SOPS 34154103 HAS SOUS 11988680 HAS SOUPS 11988680 WITH SCORE 1.2022834103E7
AT ITER 5226 NEW BEST:: SOT 107511777 SOS 34154611 HAS SOPS 34154611 HAS SOUS 11985780 HAS SOUPS 11985780 WITH SCORE 1.2019934611E7
AT ITER 5235 NEW BEST:: SOT 107509801 SOS 34152635 HAS SOPS 34152635 HAS SOUS 11983804 HAS SOUPS 11983804 WITH SCORE 1.2017956635E7
AT ITER 5247 NEW BEST:: SOT 107509585 SOS 34154891 HAS SOPS 34154891 HAS SOUS 11983780 HAS SOUPS 11983780 WITH SCORE 1.2017934891E7
AT ITER 5250 NEW BEST:: SOT 107502268 SOS 34146761 HAS SOPS 34146761 HAS SOUS 11970596 HAS SOUPS 11970596 WITH SCORE 1.2004742761E7
AT ITER 5253 NEW BEST:: SOT 107501540 SOS 34139797 HAS SOPS 34139797 HAS SOUS 11968528 HAS SOUPS 11968528 WITH SCORE 1.2002667797E7
AT ITER 5278 NEW BEST:: SOT 107497704 SOS 34130391 HAS SOPS 34130391 HAS SOUS 11963578 HAS SOUPS 11963578 WITH SCORE 1.1997708391E7
AT ITER 5283 NEW BEST:: SOT 107497278 SOS 34129539 HAS SOPS 34129539 HAS SOUS 11960638 HAS SOUPS 11960638 WITH SCORE 1.1994767539E7
AT ITER 5321 NEW BEST:: SOT 107496902 SOS 34129163 HAS SOPS 34129163 HAS SOUS 11960262 HAS SOUPS 11960262 WITH SCORE 1.1994391163E7
AT ITER 5325 NEW BEST:: SOT 107496902 SOS 34121993 HAS SOPS 34121993 HAS SOUS 11958828 HAS SOUPS 11958828 WITH SCORE 1.1992949993E7
AT ITER 5336 NEW BEST:: SOT 107496174 SOS 34118170 HAS SOPS 34118170 HAS SOUS 11957109 HAS SOUPS 11957109 WITH SCORE 1.199122717E7
AT ITER 5339 NEW BEST:: SOT 107490351 SOS 34111700 HAS SOPS 34111700 HAS SOUS 11946573 HAS SOUPS 11946573 WITH SCORE 1.19806847E7
AT ITER 5352 NEW BEST:: SOT 107490351 SOS 34111700 HAS SOPS 34111700 HAS SOUS 11946377 HAS SOUPS 11946377 WITH SCORE 1.19804887E7
AT ITER 5360 NEW BEST:: SOT 107490351 SOS 34112740 HAS SOPS 34112740 HAS SOUS 11945337 HAS SOUPS 11945337 WITH SCORE 1.197944974E7
AT ITER 5411 NEW BEST:: SOT 107489959 SOS 34112348 HAS SOPS 34112348 HAS SOUS 11944945 HAS SOUPS 11944945 WITH SCORE 1.1979057348E7
AT ITER 5446 NEW BEST:: SOT 107489959 SOS 34112348 HAS SOPS 34112348 HAS SOUS 11944711 HAS SOUPS 11944711 WITH SCORE 1.1978823348E7
AT ITER 5464 NEW BEST:: SOT 107489959 SOS 34106282 HAS SOPS 34106282 HAS SOUS 11944037 HAS SOUPS 11944037 WITH SCORE 1.1978143282E7
AT ITER 5477 NEW BEST:: SOT 107483650 SOS 34099991 HAS SOPS 34099991 HAS SOUS 11937890 HAS SOUPS 11937890 WITH SCORE 1.1971989991E7
AT ITER 5489 NEW BEST:: SOT 107483650 SOS 34091701 HAS SOPS 34091701 HAS SOUS 11936232 HAS SOUPS 11936232 WITH SCORE 1.1970323701E7
AT ITER 5537 NEW BEST:: SOT 107483650 SOS 34094671 HAS SOPS 34094671 HAS SOUS 11934202 HAS SOUPS 11934202 WITH SCORE 1.1968296671E7
AT ITER 5545 NEW BEST:: SOT 107483650 SOS 34094671 HAS SOPS 34094671 HAS SOUS 11934186 HAS SOUPS 11934186 WITH SCORE 1.1968280671E7
AT ITER 5550 NEW BEST:: SOT 107483650 SOS 34097677 HAS SOPS 34097677 HAS SOUS 11931514 HAS SOUPS 11931514 WITH SCORE 1.1965611677E7
AT ITER 5563 NEW BEST:: SOT 107483466 SOS 34097493 HAS SOPS 34097493 HAS SOUS 11931330 HAS SOUPS 11931330 WITH SCORE 1.1965427493E7
AT ITER 5569 NEW BEST:: SOT 107482999 SOS 34097026 HAS SOPS 34097026 HAS SOUS 11931107 HAS SOUPS 11931107 WITH SCORE 1.1965204026E7
AT ITER 5576 NEW BEST:: SOT 107482837 SOS 34096846 HAS SOPS 34096846 HAS SOUS 11930927 HAS SOUPS 11930927 WITH SCORE 1.1965023846E7
AT ITER 5583 NEW BEST:: SOT 107482590 SOS 34094376 HAS SOPS 34094376 HAS SOUS 11930433 HAS SOUPS 11930433 WITH SCORE 1.1964527376E7
AT ITER 5607 NEW BEST:: SOT 107482590 SOS 34085776 HAS SOPS 34085776 HAS SOUS 11928713 HAS SOUPS 11928713 WITH SCORE 1.1962798776E7
AT ITER 5628 NEW BEST:: SOT 107482590 SOS 34083616 HAS SOPS 34083616 HAS SOUS 11928281 HAS SOUPS 11928281 WITH SCORE 1.1962364616E7
AT ITER 5676 NEW BEST:: SOT 107476650 SOS 34072672 HAS SOPS 34072672 HAS SOUS 11921785 HAS SOUPS 11921785 WITH SCORE 1.1955857672E7
AT ITER 5678 NEW BEST:: SOT 107476162 SOS 34066972 HAS SOPS 34066972 HAS SOUS 11919989 HAS SOUPS 11919989 WITH SCORE 1.1954055972E7
AT ITER 5693 NEW BEST:: SOT 107474200 SOS 34063048 HAS SOPS 34063048 HAS SOUS 11917809 HAS SOUPS 11917809 WITH SCORE 1.1951872048E7
AT ITER 5718 NEW BEST:: SOT 107473560 SOS 34062408 HAS SOPS 34062408 HAS SOUS 11917169 HAS SOUPS 11917169 WITH SCORE 1.1951231408E7
AT ITER 5738 NEW BEST:: SOT 107473560 SOS 34060608 HAS SOPS 34060608 HAS SOUS 11916809 HAS SOUPS 11916809 WITH SCORE 1.1950869608E7
AT ITER 5753 NEW BEST:: SOT 107472760 SOS 34052608 HAS SOPS 34052608 HAS SOUS 11915209 HAS SOUPS 11915209 WITH SCORE 1.1949261608E7
AT ITER 5766 NEW BEST:: SOT 107470699 SOS 34050591 HAS SOPS 34050591 HAS SOUS 11913490 HAS SOUPS 11913490 WITH SCORE 1.1947540591E7
AT ITER 5768 NEW BEST:: SOT 107470574 SOS 34049341 HAS SOPS 34049341 HAS SOUS 11913240 HAS SOUPS 11913240 WITH SCORE 1.1947289341E7
AT ITER 5772 NEW BEST:: SOT 107470574 SOS 34049341 HAS SOPS 34049341 HAS SOUS 11912085 HAS SOUPS 11912085 WITH SCORE 1.1946134341E7
AT ITER 5780 NEW BEST:: SOT 107470574 SOS 34052410 HAS SOPS 34052410 HAS SOUS 11909357 HAS SOUPS 11909357 WITH SCORE 1.194340941E7
AT ITER 5849 NEW BEST:: SOT 107464877 SOS 34038599 HAS SOPS 34038599 HAS SOUS 11908288 HAS SOUPS 11908288 WITH SCORE 1.1942326599E7
AT ITER 5874 NEW BEST:: SOT 107464656 SOS 34036389 HAS SOPS 34036389 HAS SOUS 11907846 HAS SOUPS 11907846 WITH SCORE 1.1941882389E7
AT ITER 5875 NEW BEST:: SOT 107458194 SOS 34023465 HAS SOPS 34023465 HAS SOUS 11900666 HAS SOUPS 11900666 WITH SCORE 1.1934689465E7
AT ITER 5876 NEW BEST:: SOT 107461506 SOS 34029577 HAS SOPS 34029577 HAS SOUS 11899682 HAS SOUPS 11899682 WITH SCORE 1.1933711577E7
AT ITER 5901 NEW BEST:: SOT 107457696 SOS 34021957 HAS SOPS 34021957 HAS SOUS 11897644 HAS SOUPS 11897644 WITH SCORE 1.1931665957E7
AT ITER 5909 NEW BEST:: SOT 107460549 SOS 34027100 HAS SOPS 34027100 HAS SOUS 11894368 HAS SOUPS 11894368 WITH SCORE 1.19283951E7
AT ITER 5910 NEW BEST:: SOT 107460360 SOS 34026890 HAS SOPS 34026890 HAS SOUS 11893990 HAS SOUPS 11893990 WITH SCORE 1.192801689E7
AT ITER 5912 NEW BEST:: SOT 107459804 SOS 34020774 HAS SOPS 34020774 HAS SOUS 11892322 HAS SOUPS 11892322 WITH SCORE 1.1926342774E7
AT ITER 5927 NEW BEST:: SOT 107458319 SOS 34019124 HAS SOPS 34019124 HAS SOUS 11890672 HAS SOUPS 11890672 WITH SCORE 1.1924691124E7
AT ITER 5945 NEW BEST:: SOT 107458222 SOS 34019027 HAS SOPS 34019027 HAS SOUS 11890575 HAS SOUPS 11890575 WITH SCORE 1.1924594027E7
AT ITER 5969 NEW BEST:: SOT 107455405 SOS 34014310 HAS SOPS 34014310 HAS SOUS 11887378 HAS SOUPS 11887378 WITH SCORE 1.192139231E7
AT ITER 5971 NEW BEST:: SOT 107452282 SOS 34011187 HAS SOPS 34011187 HAS SOUS 11884255 HAS SOUPS 11884255 WITH SCORE 1.1918266187E7
AT ITER 5994 NEW BEST:: SOT 107452282 SOS 34011102 HAS SOPS 34011102 HAS SOUS 11884170 HAS SOUPS 11884170 WITH SCORE 1.1918181102E7
AT ITER 5995 NEW BEST:: SOT 107451970 SOS 34010790 HAS SOPS 34010790 HAS SOUS 11883466 HAS SOUPS 11883466 WITH SCORE 1.191747679E7
AT ITER 6008 NEW BEST:: SOT 107451970 SOS 34010277 HAS SOPS 34010277 HAS SOUS 11878849 HAS SOUPS 11878849 WITH SCORE 1.1912859277E7
AT ITER 6031 NEW BEST:: SOT 107451970 SOS 34002762 HAS SOPS 34002762 HAS SOUS 11878014 HAS SOUPS 11878014 WITH SCORE 1.1912016762E7
AT ITER 6046 NEW BEST:: SOT 107451970 SOS 34002762 HAS SOPS 34002762 HAS SOUS 11877317 HAS SOUPS 11877317 WITH SCORE 1.1911319762E7
AT ITER 6058 NEW BEST:: SOT 107451925 SOS 34001824 HAS SOPS 34001824 HAS SOUS 11877267 HAS SOUPS 11877267 WITH SCORE 1.1911268824E7
AT ITER 6078 NEW BEST:: SOT 107449036 SOS 33993854 HAS SOPS 33993854 HAS SOUS 11876249 HAS SOUPS 11876249 WITH SCORE 1.1910242854E7
AT ITER 6101 NEW BEST:: SOT 107449036 SOS 33991394 HAS SOPS 33991394 HAS SOUS 11875757 HAS SOUPS 11875757 WITH SCORE 1.1909748394E7
AT ITER 6106 NEW BEST:: SOT 107448726 SOS 33991084 HAS SOPS 33991084 HAS SOUS 11875137 HAS SOUPS 11875137 WITH SCORE 1.1909128084E7
AT ITER 6108 NEW BEST:: SOT 107448568 SOS 33990926 HAS SOPS 33990926 HAS SOUS 11875137 HAS SOUPS 11875137 WITH SCORE 1.1909127926E7
AT ITER 6150 NEW BEST:: SOT 107440677 SOS 33975144 HAS SOPS 33975144 HAS SOUS 11866395 HAS SOUPS 11866395 WITH SCORE 1.1900370144E7
AT ITER 6153 NEW BEST:: SOT 107436852 SOS 33967494 HAS SOPS 33967494 HAS SOUS 11862145 HAS SOUPS 11862145 WITH SCORE 1.1896112494E7
AT ITER 6166 NEW BEST:: SOT 107436852 SOS 33967379 HAS SOPS 33967379 HAS SOUS 11862030 HAS SOUPS 11862030 WITH SCORE 1.1895997379E7
AT ITER 6172 NEW BEST:: SOT 107436852 SOS 33966591 HAS SOPS 33966591 HAS SOUS 11856141 HAS SOUPS 11856141 WITH SCORE 1.1890107591E7
AT ITER 6178 NEW BEST:: SOT 107436852 SOS 33966591 HAS SOPS 33966591 HAS SOUS 11855997 HAS SOUPS 11855997 WITH SCORE 1.1889963591E7
AT ITER 6209 NEW BEST:: SOT 107436852 SOS 33964131 HAS SOPS 33964131 HAS SOUS 11855505 HAS SOUPS 11855505 WITH SCORE 1.1889469131E7
AT ITER 6216 NEW BEST:: SOT 107436852 SOS 33970395 HAS SOPS 33970395 HAS SOUS 11850558 HAS SOUPS 11850558 WITH SCORE 1.1884528395E7
AT ITER 6237 NEW BEST:: SOT 107436852 SOS 33970140 HAS SOPS 33970140 HAS SOUS 11850303 HAS SOUPS 11850303 WITH SCORE 1.188427314E7
AT ITER 6266 NEW BEST:: SOT 107436893 SOS 33962671 HAS SOPS 33962671 HAS SOUS 11849546 HAS SOUPS 11849546 WITH SCORE 1.1883508671E7
AT ITER 6275 NEW BEST:: SOT 107432861 SOS 33954348 HAS SOPS 33954348 HAS SOUS 11846508 HAS SOUPS 11846508 WITH SCORE 1.1880462348E7
AT ITER 6277 NEW BEST:: SOT 107432644 SOS 33954131 HAS SOPS 33954131 HAS SOUS 11846508 HAS SOUPS 11846508 WITH SCORE 1.1880462131E7
AT ITER 6295 NEW BEST:: SOT 107432598 SOS 33954085 HAS SOPS 33954085 HAS SOUS 11846462 HAS SOUPS 11846462 WITH SCORE 1.1880416085E7
AT ITER 6320 NEW BEST:: SOT 107432598 SOS 33954085 HAS SOPS 33954085 HAS SOUS 11846448 HAS SOUPS 11846448 WITH SCORE 1.1880402085E7
AT ITER 6351 NEW BEST:: SOT 107432949 SOS 33954475 HAS SOPS 33954475 HAS SOUS 11845921 HAS SOUPS 11845921 WITH SCORE 1.1879875475E7
AT ITER 6354 NEW BEST:: SOT 107426910 SOS 33942397 HAS SOPS 33942397 HAS SOUS 11842879 HAS SOUPS 11842879 WITH SCORE 1.1876821397E7
AT ITER 6361 NEW BEST:: SOT 107429862 SOS 33953459 HAS SOPS 33953459 HAS SOUS 11839005 HAS SOUPS 11839005 WITH SCORE 1.1872958459E7
AT ITER 6373 NEW BEST:: SOT 107429862 SOS 33946097 HAS SOPS 33946097 HAS SOUS 11838187 HAS SOUPS 11838187 WITH SCORE 1.1872133097E7
AT ITER 6400 NEW BEST:: SOT 107429761 SOS 33945087 HAS SOPS 33945087 HAS SOUS 11837985 HAS SOUPS 11837985 WITH SCORE 1.1871930087E7
AT ITER 6421 NEW BEST:: SOT 107429761 SOS 33944826 HAS SOPS 33944826 HAS SOUS 11837724 HAS SOUPS 11837724 WITH SCORE 1.1871668826E7
AT ITER 6430 NEW BEST:: SOT 107429761 SOS 33947779 HAS SOPS 33947779 HAS SOUS 11833469 HAS SOUPS 11833469 WITH SCORE 1.1867416779E7
AT ITER 6436 NEW BEST:: SOT 107429737 SOS 33947755 HAS SOPS 33947755 HAS SOUS 11833445 HAS SOUPS 11833445 WITH SCORE 1.1867392755E7
AT ITER 6442 NEW BEST:: SOT 107424536 SOS 33939881 HAS SOPS 33939881 HAS SOUS 11827947 HAS SOUPS 11827947 WITH SCORE 1.1861886881E7
AT ITER 6453 NEW BEST:: SOT 107420360 SOS 33935705 HAS SOPS 33935705 HAS SOUS 11823771 HAS SOUPS 11823771 WITH SCORE 1.1857706705E7
AT ITER 6459 NEW BEST:: SOT 107420230 SOS 33935575 HAS SOPS 33935575 HAS SOUS 11823641 HAS SOUPS 11823641 WITH SCORE 1.1857576575E7
AT ITER 6465 NEW BEST:: SOT 107419825 SOS 33931525 HAS SOPS 33931525 HAS SOUS 11822831 HAS SOUPS 11822831 WITH SCORE 1.1856762525E7
AT ITER 6474 NEW BEST:: SOT 107419552 SOS 33928795 HAS SOPS 33928795 HAS SOUS 11822285 HAS SOUPS 11822285 WITH SCORE 1.1856213795E7
AT ITER 6503 NEW BEST:: SOT 107419472 SOS 33928715 HAS SOPS 33928715 HAS SOUS 11822205 HAS SOUPS 11822205 WITH SCORE 1.1856133715E7
AT ITER 6526 NEW BEST:: SOT 107419472 SOS 33927941 HAS SOPS 33927941 HAS SOUS 11822119 HAS SOUPS 11822119 WITH SCORE 1.1856046941E7
AT ITER 6587 NEW BEST:: SOT 107419515 SOS 33928027 HAS SOPS 33928027 HAS SOUS 11820107 HAS SOUPS 11820107 WITH SCORE 1.1854035027E7
AT ITER 6630 NEW BEST:: SOT 107419418 SOS 33927930 HAS SOPS 33927930 HAS SOUS 11820010 HAS SOUPS 11820010 WITH SCORE 1.185393793E7
AT ITER 6671 NEW BEST:: SOT 107419418 SOS 33927930 HAS SOPS 33927930 HAS SOUS 11819858 HAS SOUPS 11819858 WITH SCORE 1.185378593E7
AT ITER 6700 NEW BEST:: SOT 107415647 SOS 33924159 HAS SOPS 33924159 HAS SOUS 11816087 HAS SOUPS 11816087 WITH SCORE 1.1850011159E7
AT ITER 6721 NEW BEST:: SOT 107415199 SOS 33919465 HAS SOPS 33919465 HAS SOUS 11814769 HAS SOUPS 11814769 WITH SCORE 1.1848688465E7
AT ITER 6761 NEW BEST:: SOT 107414155 SOS 33918305 HAS SOPS 33918305 HAS SOUS 11812565 HAS SOUPS 11812565 WITH SCORE 1.1846483305E7
AT ITER 6781 NEW BEST:: SOT 107414155 SOS 33917998 HAS SOPS 33917998 HAS SOUS 11809802 HAS SOUPS 11809802 WITH SCORE 1.1843719998E7
AT ITER 6787 NEW BEST:: SOT 107412497 SOS 33916602 HAS SOPS 33916602 HAS SOUS 11808406 HAS SOUPS 11808406 WITH SCORE 1.1842322602E7
AT ITER 6803 NEW BEST:: SOT 107412497 SOS 33916602 HAS SOPS 33916602 HAS SOUS 11806983 HAS SOUPS 11806983 WITH SCORE 1.1840899602E7
AT ITER 6864 NEW BEST:: SOT 107412124 SOS 33916229 HAS SOPS 33916229 HAS SOUS 11806610 HAS SOUPS 11806610 WITH SCORE 1.1840526229E7
AT ITER 6887 NEW BEST:: SOT 107414799 SOS 33918619 HAS SOPS 33918619 HAS SOUS 11806435 HAS SOUPS 11806435 WITH SCORE 1.1840353619E7
AT ITER 6889 NEW BEST:: SOT 107419067 SOS 33927155 HAS SOPS 33927155 HAS SOUS 11803010 HAS SOUPS 11803010 WITH SCORE 1.1836937155E7
AT ITER 6943 NEW BEST:: SOT 107419067 SOS 33925605 HAS SOPS 33925605 HAS SOUS 11802700 HAS SOUPS 11802700 WITH SCORE 1.1836625605E7
AT ITER 6987 NEW BEST:: SOT 107419067 SOS 33925310 HAS SOPS 33925310 HAS SOUS 11800493 HAS SOUPS 11800493 WITH SCORE 1.183441831E7
AT ITER 6993 NEW BEST:: SOT 107419067 SOS 33924436 HAS SOPS 33924436 HAS SOUS 11799619 HAS SOUPS 11799619 WITH SCORE 1.1833543436E7
AT ITER 7008 NEW BEST:: SOT 107418730 SOS 33927370 HAS SOPS 33927370 HAS SOUS 11798257 HAS SOUPS 11798257 WITH SCORE 1.183218437E7
AT ITER 7023 NEW BEST:: SOT 107418730 SOS 33923390 HAS SOPS 33923390 HAS SOUS 11797461 HAS SOUPS 11797461 WITH SCORE 1.183138439E7
AT ITER 7024 NEW BEST:: SOT 107418136 SOS 33917450 HAS SOPS 33917450 HAS SOUS 11796273 HAS SOUPS 11796273 WITH SCORE 1.183019045E7
AT ITER 7059 NEW BEST:: SOT 107418136 SOS 33917450 HAS SOPS 33917450 HAS SOUS 11796009 HAS SOUPS 11796009 WITH SCORE 1.182992645E7
AT ITER 7072 NEW BEST:: SOT 107417893 SOS 33917207 HAS SOPS 33917207 HAS SOUS 11795766 HAS SOUPS 11795766 WITH SCORE 1.1829683207E7
AT ITER 7078 NEW BEST:: SOT 107417893 SOS 33909037 HAS SOPS 33909037 HAS SOUS 11794132 HAS SOUPS 11794132 WITH SCORE 1.1828041037E7
AT ITER 7080 NEW BEST:: SOT 107418288 SOS 33909432 HAS SOPS 33909432 HAS SOUS 11794028 HAS SOUPS 11794028 WITH SCORE 1.1827937432E7
AT ITER 7081 NEW BEST:: SOT 107418288 SOS 33909246 HAS SOPS 33909246 HAS SOUS 11791184 HAS SOUPS 11791184 WITH SCORE 1.1825093246E7
AT ITER 7088 NEW BEST:: SOT 107418402 SOS 33909360 HAS SOPS 33909360 HAS SOUS 11790956 HAS SOUPS 11790956 WITH SCORE 1.182486536E7
AT ITER 7109 NEW BEST:: SOT 107413263 SOS 33903650 HAS SOPS 33903650 HAS SOUS 11785246 HAS SOUPS 11785246 WITH SCORE 1.181914965E7
AT ITER 7115 NEW BEST:: SOT 107416774 SOS 33913912 HAS SOPS 33913912 HAS SOUS 11783019 HAS SOUPS 11783019 WITH SCORE 1.1816932912E7
AT ITER 7121 NEW BEST:: SOT 107416112 SOS 33912588 HAS SOPS 33912588 HAS SOUS 11778331 HAS SOUPS 11778331 WITH SCORE 1.1812243588E7
AT ITER 7127 NEW BEST:: SOT 107416091 SOS 33912567 HAS SOPS 33912567 HAS SOUS 11778331 HAS SOUPS 11778331 WITH SCORE 1.1812243567E7
AT ITER 7133 NEW BEST:: SOT 107416091 SOS 33909141 HAS SOPS 33909141 HAS SOUS 11777969 HAS SOUPS 11777969 WITH SCORE 1.1811878141E7
AT ITER 7135 NEW BEST:: SOT 107416067 SOS 33909117 HAS SOPS 33909117 HAS SOUS 11777945 HAS SOUPS 11777945 WITH SCORE 1.1811854117E7
AT ITER 7151 NEW BEST:: SOT 107411387 SOS 33904437 HAS SOPS 33904437 HAS SOUS 11773265 HAS SOUPS 11773265 WITH SCORE 1.1807169437E7
AT ITER 7154 NEW BEST:: SOT 107411387 SOS 33898047 HAS SOPS 33898047 HAS SOUS 11771987 HAS SOUPS 11771987 WITH SCORE 1.1805885047E7
AT ITER 7162 NEW BEST:: SOT 107410343 SOS 33895843 HAS SOPS 33895843 HAS SOUS 11770711 HAS SOUPS 11770711 WITH SCORE 1.1804606843E7
AT ITER 7175 NEW BEST:: SOT 107414078 SOS 33902848 HAS SOPS 33902848 HAS SOUS 11770481 HAS SOUPS 11770481 WITH SCORE 1.1804383848E7
AT ITER 7225 NEW BEST:: SOT 107414078 SOS 33898708 HAS SOPS 33898708 HAS SOUS 11769653 HAS SOUPS 11769653 WITH SCORE 1.1803551708E7
AT ITER 7231 NEW BEST:: SOT 107413936 SOS 33898566 HAS SOPS 33898566 HAS SOUS 11769653 HAS SOUPS 11769653 WITH SCORE 1.1803551566E7
AT ITER 7243 NEW BEST:: SOT 107413928 SOS 33898558 HAS SOPS 33898558 HAS SOUS 11769653 HAS SOUPS 11769653 WITH SCORE 1.1803551558E7
AT ITER 7246 NEW BEST:: SOT 107412506 SOS 33896978 HAS SOPS 33896978 HAS SOUS 11768073 HAS SOUPS 11768073 WITH SCORE 1.1801969978E7
AT ITER 7294 NEW BEST:: SOT 107405423 SOS 33882812 HAS SOPS 33882812 HAS SOUS 11760203 HAS SOUPS 11760203 WITH SCORE 1.1794085812E7
AT ITER 7295 NEW BEST:: SOT 107405423 SOS 33883649 HAS SOPS 33883649 HAS SOUS 11759552 HAS SOUPS 11759552 WITH SCORE 1.1793435649E7
AT ITER 7302 NEW BEST:: SOT 107404695 SOS 33879189 HAS SOPS 33879189 HAS SOUS 11757812 HAS SOUPS 11757812 WITH SCORE 1.1791691189E7
AT ITER 7304 NEW BEST:: SOT 107404695 SOS 33875769 HAS SOPS 33875769 HAS SOUS 11757432 HAS SOUPS 11757432 WITH SCORE 1.1791307769E7
AT ITER 7309 NEW BEST:: SOT 107404695 SOS 33874801 HAS SOPS 33874801 HAS SOUS 11757432 HAS SOUPS 11757432 WITH SCORE 1.1791306801E7
AT ITER 7346 NEW BEST:: SOT 107405451 SOS 33890438 HAS SOPS 33890438 HAS SOUS 11756147 HAS SOUPS 11756147 WITH SCORE 1.1790037438E7
AT ITER 7372 NEW BEST:: SOT 107406758 SOS 33893052 HAS SOPS 33893052 HAS SOUS 11753709 HAS SOUPS 11753709 WITH SCORE 1.1787602052E7
AT ITER 7390 NEW BEST:: SOT 107406854 SOS 33893148 HAS SOPS 33893148 HAS SOUS 11753557 HAS SOUPS 11753557 WITH SCORE 1.1787450148E7
AT ITER 7392 NEW BEST:: SOT 107406854 SOS 33893148 HAS SOPS 33893148 HAS SOUS 11753478 HAS SOUPS 11753478 WITH SCORE 1.1787371148E7
AT ITER 7406 NEW BEST:: SOT 107406854 SOS 33887244 HAS SOPS 33887244 HAS SOUS 11752822 HAS SOUPS 11752822 WITH SCORE 1.1786709244E7
AT ITER 7411 NEW BEST:: SOT 107406854 SOS 33886884 HAS SOPS 33886884 HAS SOUS 11752750 HAS SOUPS 11752750 WITH SCORE 1.1786636884E7
AT ITER 7431 NEW BEST:: SOT 107406854 SOS 33880744 HAS SOPS 33880744 HAS SOUS 11751522 HAS SOUPS 11751522 WITH SCORE 1.1785402744E7
AT ITER 7442 NEW BEST:: SOT 107406312 SOS 33875324 HAS SOPS 33875324 HAS SOUS 11750438 HAS SOUPS 11750438 WITH SCORE 1.1784313324E7
AT ITER 7448 NEW BEST:: SOT 107401489 SOS 33871014 HAS SOPS 33871014 HAS SOUS 11749296 HAS SOUPS 11749296 WITH SCORE 1.1783167014E7
AT ITER 7453 NEW BEST:: SOT 107401489 SOS 33870323 HAS SOPS 33870323 HAS SOUS 11748605 HAS SOUPS 11748605 WITH SCORE 1.1782475323E7
AT ITER 7471 NEW BEST:: SOT 107401176 SOS 33867193 HAS SOPS 33867193 HAS SOUS 11747979 HAS SOUPS 11747979 WITH SCORE 1.1781846193E7
AT ITER 7506 NEW BEST:: SOT 107396703 SOS 33862223 HAS SOPS 33862223 HAS SOUS 11742714 HAS SOUPS 11742714 WITH SCORE 1.1776576223E7
AT ITER 7511 NEW BEST:: SOT 107394895 SOS 33860415 HAS SOPS 33860415 HAS SOUS 11740906 HAS SOUPS 11740906 WITH SCORE 1.1774766415E7
AT ITER 7518 NEW BEST:: SOT 107396020 SOS 33861910 HAS SOPS 33861910 HAS SOUS 11734361 HAS SOUPS 11734361 WITH SCORE 1.176822291E7
AT ITER 7532 NEW BEST:: SOT 107396020 SOS 33861630 HAS SOPS 33861630 HAS SOUS 11734305 HAS SOUPS 11734305 WITH SCORE 1.176816663E7
AT ITER 7564 NEW BEST:: SOT 107396020 SOS 33859820 HAS SOPS 33859820 HAS SOUS 11733943 HAS SOUPS 11733943 WITH SCORE 1.176780282E7
AT ITER 7583 NEW BEST:: SOT 107396020 SOS 33860604 HAS SOPS 33860604 HAS SOUS 11733061 HAS SOUPS 11733061 WITH SCORE 1.1766921604E7
AT ITER 7586 NEW BEST:: SOT 107396020 SOS 33852114 HAS SOPS 33852114 HAS SOUS 11731363 HAS SOUPS 11731363 WITH SCORE 1.1765215114E7
AT ITER 7641 NEW BEST:: SOT 107389297 SOS 33837740 HAS SOPS 33837740 HAS SOUS 11726450 HAS SOUPS 11726450 WITH SCORE 1.176028774E7
AT ITER 7646 NEW BEST:: SOT 107389297 SOS 33837740 HAS SOPS 33837740 HAS SOUS 11724021 HAS SOUPS 11724021 WITH SCORE 1.175785874E7
AT ITER 7671 NEW BEST:: SOT 107389297 SOS 33834640 HAS SOPS 33834640 HAS SOUS 11723401 HAS SOUPS 11723401 WITH SCORE 1.175723564E7
AT ITER 7684 NEW BEST:: SOT 107388962 SOS 33834305 HAS SOPS 33834305 HAS SOUS 11723401 HAS SOUPS 11723401 WITH SCORE 1.1757235305E7
AT ITER 7688 NEW BEST:: SOT 107388962 SOS 33834305 HAS SOPS 33834305 HAS SOUS 11723373 HAS SOUPS 11723373 WITH SCORE 1.1757207305E7
AT ITER 7692 NEW BEST:: SOT 107385587 SOS 33830930 HAS SOPS 33830930 HAS SOUS 11719998 HAS SOUPS 11719998 WITH SCORE 1.175382893E7
AT ITER 7713 NEW BEST:: SOT 107385587 SOS 33830930 HAS SOPS 33830930 HAS SOUS 11719910 HAS SOUPS 11719910 WITH SCORE 1.175374093E7
AT ITER 7723 NEW BEST:: SOT 107385496 SOS 33830684 HAS SOPS 33830684 HAS SOUS 11719664 HAS SOUPS 11719664 WITH SCORE 1.1753494684E7
AT ITER 7727 NEW BEST:: SOT 107382526 SOS 33824414 HAS SOPS 33824414 HAS SOUS 11716034 HAS SOUPS 11716034 WITH SCORE 1.1749858414E7
AT ITER 7747 NEW BEST:: SOT 107382526 SOS 33825647 HAS SOPS 33825647 HAS SOUS 11714979 HAS SOUPS 11714979 WITH SCORE 1.1748804647E7
AT ITER 7753 NEW BEST:: SOT 107389017 SOS 33838133 HAS SOPS 33838133 HAS SOUS 11714047 HAS SOUPS 11714047 WITH SCORE 1.1747885133E7
AT ITER 7762 NEW BEST:: SOT 107388954 SOS 33838070 HAS SOPS 33838070 HAS SOUS 11714047 HAS SOUPS 11714047 WITH SCORE 1.174788507E7
AT ITER 7783 NEW BEST:: SOT 107387749 SOS 33828065 HAS SOPS 33828065 HAS SOUS 11711082 HAS SOUPS 11711082 WITH SCORE 1.1744910065E7
AT ITER 7789 NEW BEST:: SOT 107386869 SOS 33825489 HAS SOPS 33825489 HAS SOUS 11709578 HAS SOUPS 11709578 WITH SCORE 1.1743403489E7
AT ITER 7816 NEW BEST:: SOT 107387427 SOS 33825939 HAS SOPS 33825939 HAS SOUS 11703568 HAS SOUPS 11703568 WITH SCORE 1.1737393939E7
AT ITER 7826 NEW BEST:: SOT 107387427 SOS 33825860 HAS SOPS 33825860 HAS SOUS 11703489 HAS SOUPS 11703489 WITH SCORE 1.173731486E7
AT ITER 7830 NEW BEST:: SOT 107387120 SOS 33825553 HAS SOPS 33825553 HAS SOUS 11703182 HAS SOUPS 11703182 WITH SCORE 1.1737007553E7
AT ITER 7845 NEW BEST:: SOT 107386283 SOS 33823879 HAS SOPS 33823879 HAS SOUS 11702252 HAS SOUPS 11702252 WITH SCORE 1.1736075879E7
AT ITER 7876 NEW BEST:: SOT 107386283 SOS 33820689 HAS SOPS 33820689 HAS SOUS 11701614 HAS SOUPS 11701614 WITH SCORE 1.1735434689E7
AT ITER 7887 NEW BEST:: SOT 107386283 SOS 33819582 HAS SOPS 33819582 HAS SOUS 11701491 HAS SOUPS 11701491 WITH SCORE 1.1735310582E7
AT ITER 7889 NEW BEST:: SOT 107386171 SOS 33819470 HAS SOPS 33819470 HAS SOUS 11701379 HAS SOUPS 11701379 WITH SCORE 1.173519847E7
AT ITER 7908 NEW BEST:: SOT 107386168 SOS 33819440 HAS SOPS 33819440 HAS SOUS 11701373 HAS SOUPS 11701373 WITH SCORE 1.173519244E7
AT ITER 7939 NEW BEST:: SOT 107386168 SOS 33816700 HAS SOPS 33816700 HAS SOUS 11700825 HAS SOUPS 11700825 WITH SCORE 1.17346417E7
AT ITER 7941 NEW BEST:: SOT 107385946 SOS 33816478 HAS SOPS 33816478 HAS SOUS 11700381 HAS SOUPS 11700381 WITH SCORE 1.1734197478E7
AT ITER 7942 NEW BEST:: SOT 107385946 SOS 33803928 HAS SOPS 33803928 HAS SOUS 11697871 HAS SOUPS 11697871 WITH SCORE 1.1731674928E7
AT ITER 7952 NEW BEST:: SOT 107385845 SOS 33802918 HAS SOPS 33802918 HAS SOUS 11697669 HAS SOUPS 11697669 WITH SCORE 1.1731471918E7
AT ITER 7969 NEW BEST:: SOT 107383667 SOS 33798562 HAS SOPS 33798562 HAS SOUS 11695249 HAS SOUPS 11695249 WITH SCORE 1.1729047562E7
AT ITER 7981 NEW BEST:: SOT 107383965 SOS 33798860 HAS SOPS 33798860 HAS SOUS 11694653 HAS SOUPS 11694653 WITH SCORE 1.172845186E7
AT ITER 7989 NEW BEST:: SOT 107379060 SOS 33793844 HAS SOPS 33793844 HAS SOUS 11693048 HAS SOUPS 11693048 WITH SCORE 1.1726841844E7
AT ITER 7995 NEW BEST:: SOT 107379060 SOS 33793844 HAS SOPS 33793844 HAS SOUS 11692024 HAS SOUPS 11692024 WITH SCORE 1.1725817844E7
AT ITER 8050 NEW BEST:: SOT 107378016 SOS 33792684 HAS SOPS 33792684 HAS SOUS 11689504 HAS SOUPS 11689504 WITH SCORE 1.1723296684E7
AT ITER 8071 NEW BEST:: SOT 107378016 SOS 33795332 HAS SOPS 33795332 HAS SOUS 11687519 HAS SOUPS 11687519 WITH SCORE 1.1721314332E7
AT ITER 8079 NEW BEST:: SOT 107378016 SOS 33795508 HAS SOPS 33795508 HAS SOUS 11687321 HAS SOUPS 11687321 WITH SCORE 1.1721116508E7
AT ITER 8129 NEW BEST:: SOT 107377566 SOS 33795058 HAS SOPS 33795058 HAS SOUS 11686871 HAS SOUPS 11686871 WITH SCORE 1.1720666058E7
AT ITER 8168 NEW BEST:: SOT 107381211 SOS 33802025 HAS SOPS 33802025 HAS SOUS 11684121 HAS SOUPS 11684121 WITH SCORE 1.1717923025E7
AT ITER 8176 NEW BEST:: SOT 107381211 SOS 33804913 HAS SOPS 33804913 HAS SOUS 11682767 HAS SOUPS 11682767 WITH SCORE 1.1716571913E7
AT ITER 8208 NEW BEST:: SOT 107381188 SOS 33804683 HAS SOPS 33804683 HAS SOUS 11682721 HAS SOUPS 11682721 WITH SCORE 1.1716525683E7
AT ITER 8218 NEW BEST:: SOT 107381188 SOS 33802573 HAS SOPS 33802573 HAS SOUS 11682299 HAS SOUPS 11682299 WITH SCORE 1.1716101573E7
AT ITER 8223 NEW BEST:: SOT 107380718 SOS 33801633 HAS SOPS 33801633 HAS SOUS 11681359 HAS SOUPS 11681359 WITH SCORE 1.1715160633E7
AT ITER 8236 NEW BEST:: SOT 107380718 SOS 33804234 HAS SOPS 33804234 HAS SOUS 11679468 HAS SOUPS 11679468 WITH SCORE 1.1713272234E7
AT ITER 8249 NEW BEST:: SOT 107373869 SOS 33796624 HAS SOPS 33796624 HAS SOUS 11665147 HAS SOUPS 11665147 WITH SCORE 1.1698943624E7
AT ITER 8277 NEW BEST:: SOT 107371601 SOS 33792088 HAS SOPS 33792088 HAS SOUS 11662627 HAS SOUPS 11662627 WITH SCORE 1.1696419088E7
AT ITER 8290 NEW BEST:: SOT 107363429 SOS 33776512 HAS SOPS 33776512 HAS SOUS 11655311 HAS SOUPS 11655311 WITH SCORE 1.1689087512E7
AT ITER 8318 NEW BEST:: SOT 107363429 SOS 33775882 HAS SOPS 33775882 HAS SOUS 11655185 HAS SOUPS 11655185 WITH SCORE 1.1688960882E7
AT ITER 8362 NEW BEST:: SOT 107363122 SOS 33775268 HAS SOPS 33775268 HAS SOUS 11652675 HAS SOUPS 11652675 WITH SCORE 1.1686450268E7
AT ITER 8364 NEW BEST:: SOT 107358522 SOS 33770668 HAS SOPS 33770668 HAS SOUS 11648075 HAS SOUPS 11648075 WITH SCORE 1.1681845668E7
AT ITER 8399 NEW BEST:: SOT 107352402 SOS 33764548 HAS SOPS 33764548 HAS SOUS 11641955 HAS SOUPS 11641955 WITH SCORE 1.1675719548E7
AT ITER 8408 NEW BEST:: SOT 107352402 SOS 33757498 HAS SOPS 33757498 HAS SOUS 11640545 HAS SOUPS 11640545 WITH SCORE 1.1674302498E7
AT ITER 8411 NEW BEST:: SOT 107347596 SOS 33746902 HAS SOPS 33746902 HAS SOUS 11636312 HAS SOUPS 11636312 WITH SCORE 1.1670058902E7
AT ITER 8443 NEW BEST:: SOT 107347200 SOS 33746462 HAS SOPS 33746462 HAS SOUS 11635872 HAS SOUPS 11635872 WITH SCORE 1.1669618462E7
AT ITER 8470 NEW BEST:: SOT 107346408 SOS 33745582 HAS SOPS 33745582 HAS SOUS 11633823 HAS SOUPS 11633823 WITH SCORE 1.1667568582E7
AT ITER 8503 NEW BEST:: SOT 107343150 SOS 33738704 HAS SOPS 33738704 HAS SOUS 11629841 HAS SOUPS 11629841 WITH SCORE 1.1663579704E7
AT ITER 8510 NEW BEST:: SOT 107340198 SOS 33735424 HAS SOPS 33735424 HAS SOUS 11625345 HAS SOUPS 11625345 WITH SCORE 1.1659080424E7
AT ITER 8528 NEW BEST:: SOT 107339318 SOS 33731468 HAS SOPS 33731468 HAS SOUS 11623309 HAS SOUPS 11623309 WITH SCORE 1.1657040468E7
AT ITER 8535 NEW BEST:: SOT 107338966 SOS 33731116 HAS SOPS 33731116 HAS SOUS 11622957 HAS SOUPS 11622957 WITH SCORE 1.1656688116E7
AT ITER 8538 NEW BEST:: SOT 107338172 SOS 33724555 HAS SOPS 33724555 HAS SOUS 11620740 HAS SOUPS 11620740 WITH SCORE 1.1654464555E7
AT ITER 8544 NEW BEST:: SOT 107338133 SOS 33724165 HAS SOPS 33724165 HAS SOUS 11620662 HAS SOUPS 11620662 WITH SCORE 1.1654386165E7
AT ITER 8565 NEW BEST:: SOT 107338064 SOS 33724096 HAS SOPS 33724096 HAS SOUS 11620662 HAS SOUPS 11620662 WITH SCORE 1.1654386096E7
AT ITER 8566 NEW BEST:: SOT 107337692 SOS 33720376 HAS SOPS 33720376 HAS SOUS 11619918 HAS SOUPS 11619918 WITH SCORE 1.1653638376E7
AT ITER 8596 NEW BEST:: SOT 107335316 SOS 33718267 HAS SOPS 33718267 HAS SOUS 11617809 HAS SOUPS 11617809 WITH SCORE 1.1651527267E7
AT ITER 8603 NEW BEST:: SOT 107332247 SOS 33712129 HAS SOPS 33712129 HAS SOUS 11614399 HAS SOUPS 11614399 WITH SCORE 1.1648111129E7
AT ITER 8610 NEW BEST:: SOT 107331534 SOS 33704999 HAS SOPS 33704999 HAS SOUS 11612973 HAS SOUPS 11612973 WITH SCORE 1.1646677999E7
AT ITER 8636 NEW BEST:: SOT 107324739 SOS 33689538 HAS SOPS 33689538 HAS SOUS 11605660 HAS SOUPS 11605660 WITH SCORE 1.1639349538E7
AT ITER 8644 NEW BEST:: SOT 107324460 SOS 33689259 HAS SOPS 33689259 HAS SOUS 11605381 HAS SOUPS 11605381 WITH SCORE 1.1639070259E7
AT ITER 8645 NEW BEST:: SOT 107324460 SOS 33689259 HAS SOPS 33689259 HAS SOUS 11605249 HAS SOUPS 11605249 WITH SCORE 1.1638938259E7
AT ITER 8664 NEW BEST:: SOT 107320428 SOS 33681195 HAS SOPS 33681195 HAS SOUS 11600769 HAS SOUPS 11600769 WITH SCORE 1.1634450195E7
AT ITER 8676 NEW BEST:: SOT 107320858 SOS 33681625 HAS SOPS 33681625 HAS SOUS 11599909 HAS SOUPS 11599909 WITH SCORE 1.1633590625E7
AT ITER 8685 NEW BEST:: SOT 107320858 SOS 33678410 HAS SOPS 33678410 HAS SOUS 11599606 HAS SOUPS 11599606 WITH SCORE 1.163328441E7
AT ITER 8691 NEW BEST:: SOT 107320858 SOS 33682577 HAS SOPS 33682577 HAS SOUS 11599381 HAS SOUPS 11599381 WITH SCORE 1.1633063577E7
AT ITER 8696 NEW BEST:: SOT 107320858 SOS 33682577 HAS SOPS 33682577 HAS SOUS 11599038 HAS SOUPS 11599038 WITH SCORE 1.1632720577E7
AT ITER 8783 NEW BEST:: SOT 107312938 SOS 33665964 HAS SOPS 33665964 HAS SOUS 11590428 HAS SOUPS 11590428 WITH SCORE 1.1624093964E7
AT ITER 8790 NEW BEST:: SOT 107313199 SOS 33666243 HAS SOPS 33666243 HAS SOUS 11588927 HAS SOUPS 11588927 WITH SCORE 1.1622593243E7
AT ITER 8792 NEW BEST:: SOT 107313067 SOS 33664923 HAS SOPS 33664923 HAS SOUS 11588663 HAS SOUPS 11588663 WITH SCORE 1.1622327923E7
AT ITER 8805 NEW BEST:: SOT 107309701 SOS 33661183 HAS SOPS 33661183 HAS SOUS 11584923 HAS SOUPS 11584923 WITH SCORE 1.1618584183E7
AT ITER 8847 NEW BEST:: SOT 107309340 SOS 33660461 HAS SOPS 33660461 HAS SOUS 11583817 HAS SOUPS 11583817 WITH SCORE 1.1617477461E7
AT ITER 8857 NEW BEST:: SOT 107302824 SOS 33653945 HAS SOPS 33653945 HAS SOUS 11577301 HAS SOUPS 11577301 WITH SCORE 1.1610954945E7
AT ITER 8870 NEW BEST:: SOT 107303125 SOS 33654246 HAS SOPS 33654246 HAS SOUS 11576720 HAS SOUPS 11576720 WITH SCORE 1.1610374246E7
AT ITER 8879 NEW BEST:: SOT 107303125 SOS 33654237 HAS SOPS 33654237 HAS SOUS 11576639 HAS SOUPS 11576639 WITH SCORE 1.1610293237E7
AT ITER 8900 NEW BEST:: SOT 107303505 SOS 33654617 HAS SOPS 33654617 HAS SOUS 11575995 HAS SOUPS 11575995 WITH SCORE 1.1609649617E7
AT ITER 8911 NEW BEST:: SOT 107302867 SOS 33640478 HAS SOPS 33640478 HAS SOUS 11574081 HAS SOUPS 11574081 WITH SCORE 1.1607721478E7
AT ITER 8912 NEW BEST:: SOT 107295571 SOS 33626630 HAS SOPS 33626630 HAS SOUS 11566057 HAS SOUPS 11566057 WITH SCORE 1.159968363E7
AT ITER 8925 NEW BEST:: SOT 107295571 SOS 33631955 HAS SOPS 33631955 HAS SOUS 11562586 HAS SOUPS 11562586 WITH SCORE 1.1596217955E7
AT ITER 8931 NEW BEST:: SOT 107295571 SOS 33630115 HAS SOPS 33630115 HAS SOUS 11562218 HAS SOUPS 11562218 WITH SCORE 1.1595848115E7
AT ITER 8951 NEW BEST:: SOT 107295571 SOS 33630115 HAS SOPS 33630115 HAS SOUS 11561746 HAS SOUPS 11561746 WITH SCORE 1.1595376115E7
AT ITER 8967 NEW BEST:: SOT 107295571 SOS 33630115 HAS SOPS 33630115 HAS SOUS 11561740 HAS SOUPS 11561740 WITH SCORE 1.1595370115E7
AT ITER 8970 NEW BEST:: SOT 107294455 SOS 33628999 HAS SOPS 33628999 HAS SOUS 11560624 HAS SOUPS 11560624 WITH SCORE 1.1594252999E7
AT ITER 8998 NEW BEST:: SOT 107294455 SOS 33631465 HAS SOPS 33631465 HAS SOUS 11558432 HAS SOUPS 11558432 WITH SCORE 1.1592063465E7
AT ITER 9005 NEW BEST:: SOT 107287813 SOS 33618181 HAS SOPS 33618181 HAS SOUS 11551052 HAS SOUPS 11551052 WITH SCORE 1.1584670181E7
AT ITER 9021 NEW BEST:: SOT 107285878 SOS 33616031 HAS SOPS 33616031 HAS SOUS 11548902 HAS SOUPS 11548902 WITH SCORE 1.1582518031E7
AT ITER 9046 NEW BEST:: SOT 107283286 SOS 33611879 HAS SOPS 33611879 HAS SOUS 11545998 HAS SOUPS 11545998 WITH SCORE 1.1579609879E7
AT ITER 9056 NEW BEST:: SOT 107289280 SOS 33618343 HAS SOPS 33618343 HAS SOUS 11543636 HAS SOUPS 11543636 WITH SCORE 1.1577254343E7
AT ITER 9073 NEW BEST:: SOT 107289694 SOS 33618757 HAS SOPS 33618757 HAS SOUS 11542838 HAS SOUPS 11542838 WITH SCORE 1.1576456757E7
AT ITER 9079 NEW BEST:: SOT 107286139 SOS 33614807 HAS SOPS 33614807 HAS SOUS 11538304 HAS SOUPS 11538304 WITH SCORE 1.1571918807E7
AT ITER 9083 NEW BEST:: SOT 107286139 SOS 33607418 HAS SOPS 33607418 HAS SOUS 11537483 HAS SOUPS 11537483 WITH SCORE 1.1571090418E7
AT ITER 9139 NEW BEST:: SOT 107286139 SOS 33606608 HAS SOPS 33606608 HAS SOUS 11537321 HAS SOUPS 11537321 WITH SCORE 1.1570927608E7
AT ITER 9151 NEW BEST:: SOT 107285797 SOS 33606228 HAS SOPS 33606228 HAS SOUS 11536941 HAS SOUPS 11536941 WITH SCORE 1.1570547228E7
AT ITER 9173 NEW BEST:: SOT 107285784 SOS 33606215 HAS SOPS 33606215 HAS SOUS 11536928 HAS SOUPS 11536928 WITH SCORE 1.1570534215E7
AT ITER 9181 NEW BEST:: SOT 107283123 SOS 33603616 HAS SOPS 33603616 HAS SOUS 11534887 HAS SOUPS 11534887 WITH SCORE 1.1568490616E7
AT ITER 9182 NEW BEST:: SOT 107283123 SOS 33605320 HAS SOPS 33605320 HAS SOUS 11534599 HAS SOUPS 11534599 WITH SCORE 1.156820432E7
AT ITER 9204 NEW BEST:: SOT 107282851 SOS 33602600 HAS SOPS 33602600 HAS SOUS 11534055 HAS SOUPS 11534055 WITH SCORE 1.15676576E7
AT ITER 9219 NEW BEST:: SOT 107282043 SOS 33594520 HAS SOPS 33594520 HAS SOUS 11532439 HAS SOUPS 11532439 WITH SCORE 1.156603352E7
AT ITER 9222 NEW BEST:: SOT 107281665 SOS 33593722 HAS SOPS 33593722 HAS SOUS 11531977 HAS SOUPS 11531977 WITH SCORE 1.1565570722E7
AT ITER 9225 NEW BEST:: SOT 107281665 SOS 33590266 HAS SOPS 33590266 HAS SOUS 11531977 HAS SOUPS 11531977 WITH SCORE 1.1565567266E7
AT ITER 9226 NEW BEST:: SOT 107280889 SOS 33589490 HAS SOPS 33589490 HAS SOUS 11531201 HAS SOUPS 11531201 WITH SCORE 1.156479049E7
AT ITER 9243 NEW BEST:: SOT 107280889 SOS 33585250 HAS SOPS 33585250 HAS SOUS 11530353 HAS SOUPS 11530353 WITH SCORE 1.156393825E7
AT ITER 9276 NEW BEST:: SOT 107280623 SOS 33584984 HAS SOPS 33584984 HAS SOUS 11530161 HAS SOUPS 11530161 WITH SCORE 1.1563745984E7
AT ITER 9277 NEW BEST:: SOT 107281071 SOS 33585856 HAS SOPS 33585856 HAS SOUS 11528014 HAS SOUPS 11528014 WITH SCORE 1.1561599856E7
AT ITER 9290 NEW BEST:: SOT 107280480 SOS 33584674 HAS SOPS 33584674 HAS SOUS 11524367 HAS SOUPS 11524367 WITH SCORE 1.1557951674E7
AT ITER 9294 NEW BEST:: SOT 107274540 SOS 33578074 HAS SOPS 33578074 HAS SOUS 11514417 HAS SOUPS 11514417 WITH SCORE 1.1547995074E7
AT ITER 9296 NEW BEST:: SOT 107272092 SOS 33575354 HAS SOPS 33575354 HAS SOUS 11511473 HAS SOUPS 11511473 WITH SCORE 1.1545048354E7
AT ITER 9310 NEW BEST:: SOT 107271456 SOS 33568994 HAS SOPS 33568994 HAS SOUS 11510201 HAS SOUPS 11510201 WITH SCORE 1.1543769994E7
AT ITER 9311 NEW BEST:: SOT 107271217 SOS 33570196 HAS SOPS 33570196 HAS SOUS 11506035 HAS SOUPS 11506035 WITH SCORE 1.1539605196E7
AT ITER 9331 NEW BEST:: SOT 107265043 SOS 33563336 HAS SOPS 33563336 HAS SOUS 11498865 HAS SOUPS 11498865 WITH SCORE 1.1532428336E7
AT ITER 9352 NEW BEST:: SOT 107261038 SOS 33559331 HAS SOPS 33559331 HAS SOUS 11494860 HAS SOUPS 11494860 WITH SCORE 1.1528419331E7
AT ITER 9403 NEW BEST:: SOT 107261038 SOS 33559331 HAS SOPS 33559331 HAS SOUS 11494666 HAS SOUPS 11494666 WITH SCORE 1.1528225331E7
AT ITER 9415 NEW BEST:: SOT 107260639 SOS 33558142 HAS SOPS 33558142 HAS SOUS 11494109 HAS SOUPS 11494109 WITH SCORE 1.1527667142E7
AT ITER 9427 NEW BEST:: SOT 107260539 SOS 33558042 HAS SOPS 33558042 HAS SOUS 11494109 HAS SOUPS 11494109 WITH SCORE 1.1527667042E7
AT ITER 9434 NEW BEST:: SOT 107260558 SOS 33557836 HAS SOPS 33557836 HAS SOUS 11494103 HAS SOUPS 11494103 WITH SCORE 1.1527660836E7
AT ITER 9439 NEW BEST:: SOT 107259752 SOS 33557080 HAS SOPS 33557080 HAS SOUS 11493347 HAS SOUPS 11493347 WITH SCORE 1.152690408E7
AT ITER 9450 NEW BEST:: SOT 107259752 SOS 33558180 HAS SOPS 33558180 HAS SOUS 11492159 HAS SOUPS 11492159 WITH SCORE 1.152571718E7
AT ITER 9457 NEW BEST:: SOT 107259752 SOS 33557811 HAS SOPS 33557811 HAS SOUS 11492118 HAS SOUPS 11492118 WITH SCORE 1.1525675811E7
AT ITER 9493 NEW BEST:: SOT 107259752 SOS 33556933 HAS SOPS 33556933 HAS SOUS 11491240 HAS SOUPS 11491240 WITH SCORE 1.1524796933E7
AT ITER 9510 NEW BEST:: SOT 107258632 SOS 33555813 HAS SOPS 33555813 HAS SOUS 11490120 HAS SOUPS 11490120 WITH SCORE 1.1523675813E7
AT ITER 9519 NEW BEST:: SOT 107258326 SOS 33555507 HAS SOPS 33555507 HAS SOUS 11490032 HAS SOUPS 11490032 WITH SCORE 1.1523587507E7
AT ITER 9525 NEW BEST:: SOT 107258741 SOS 33556337 HAS SOPS 33556337 HAS SOUS 11489846 HAS SOUPS 11489846 WITH SCORE 1.1523402337E7
AT ITER 9536 NEW BEST:: SOT 107256878 SOS 33552611 HAS SOPS 33552611 HAS SOUS 11487776 HAS SOUPS 11487776 WITH SCORE 1.1521328611E7
AT ITER 9539 NEW BEST:: SOT 107256878 SOS 33552611 HAS SOPS 33552611 HAS SOUS 11487512 HAS SOUPS 11487512 WITH SCORE 1.1521064611E7
AT ITER 9551 NEW BEST:: SOT 107256619 SOS 33552093 HAS SOPS 33552093 HAS SOUS 11484922 HAS SOUPS 11484922 WITH SCORE 1.1518474093E7
AT ITER 9575 NEW BEST:: SOT 107253835 SOS 33549309 HAS SOPS 33549309 HAS SOUS 11482138 HAS SOUPS 11482138 WITH SCORE 1.1515687309E7
AT ITER 9593 NEW BEST:: SOT 107251414 SOS 33544259 HAS SOPS 33544259 HAS SOUS 11479682 HAS SOUPS 11479682 WITH SCORE 1.1513226259E7
AT ITER 9617 NEW BEST:: SOT 107251414 SOS 33543091 HAS SOPS 33543091 HAS SOUS 11479682 HAS SOUPS 11479682 WITH SCORE 1.1513225091E7
AT ITER 9621 NEW BEST:: SOT 107251381 SOS 33542761 HAS SOPS 33542761 HAS SOUS 11479616 HAS SOUPS 11479616 WITH SCORE 1.1513158761E7
AT ITER 9628 NEW BEST:: SOT 107251381 SOS 33542761 HAS SOPS 33542761 HAS SOUS 11479595 HAS SOUPS 11479595 WITH SCORE 1.1513137761E7
AT ITER 9647 NEW BEST:: SOT 107250573 SOS 33541145 HAS SOPS 33541145 HAS SOUS 11470736 HAS SOUPS 11470736 WITH SCORE 1.1504277145E7
AT ITER 9650 NEW BEST:: SOT 107250125 SOS 33537459 HAS SOPS 33537459 HAS SOUS 11469530 HAS SOUPS 11469530 WITH SCORE 1.1503067459E7
AT ITER 9669 NEW BEST:: SOT 107250125 SOS 33541209 HAS SOPS 33541209 HAS SOUS 11466320 HAS SOUPS 11466320 WITH SCORE 1.1499861209E7
AT ITER 9677 NEW BEST:: SOT 107252699 SOS 33581255 HAS SOPS 33581255 HAS SOUS 11465786 HAS SOUPS 11465786 WITH SCORE 1.1499367255E7
AT ITER 9683 NEW BEST:: SOT 107252699 SOS 33578545 HAS SOPS 33578545 HAS SOUS 11465244 HAS SOUPS 11465244 WITH SCORE 1.1498822545E7
AT ITER 9709 NEW BEST:: SOT 107252699 SOS 33578545 HAS SOPS 33578545 HAS SOUS 11464584 HAS SOUPS 11464584 WITH SCORE 1.1498162545E7
AT ITER 9720 NEW BEST:: SOT 107252699 SOS 33580156 HAS SOPS 33580156 HAS SOUS 11463152 HAS SOUPS 11463152 WITH SCORE 1.1496732156E7
AT ITER 9754 NEW BEST:: SOT 107252699 SOS 33580156 HAS SOPS 33580156 HAS SOUS 11462615 HAS SOUPS 11462615 WITH SCORE 1.1496195156E7
AT ITER 9768 NEW BEST:: SOT 107245990 SOS 33573778 HAS SOPS 33573778 HAS SOUS 11459216 HAS SOUPS 11459216 WITH SCORE 1.1492789778E7
AT ITER 9794 NEW BEST:: SOT 107245990 SOS 33571408 HAS SOPS 33571408 HAS SOUS 11458742 HAS SOUPS 11458742 WITH SCORE 1.1492313408E7
AT ITER 9810 NEW BEST:: SOT 107245990 SOS 33567862 HAS SOPS 33567862 HAS SOUS 11458556 HAS SOUPS 11458556 WITH SCORE 1.1492123862E7
AT ITER 9813 NEW BEST:: SOT 107246775 SOS 33569432 HAS SOPS 33569432 HAS SOUS 11450813 HAS SOUPS 11450813 WITH SCORE 1.1484382432E7
AT ITER 9823 NEW BEST:: SOT 107246730 SOS 33569387 HAS SOPS 33569387 HAS SOUS 11450813 HAS SOUPS 11450813 WITH SCORE 1.1484382387E7
AT ITER 9834 NEW BEST:: SOT 107246730 SOS 33568786 HAS SOPS 33568786 HAS SOUS 11449964 HAS SOUPS 11449964 WITH SCORE 1.1483532786E7
AT ITER 9840 NEW BEST:: SOT 107246659 SOS 33568076 HAS SOPS 33568076 HAS SOUS 11449822 HAS SOUPS 11449822 WITH SCORE 1.1483390076E7
AT ITER 9891 NEW BEST:: SOT 107246625 SOS 33567356 HAS SOPS 33567356 HAS SOUS 11449374 HAS SOUPS 11449374 WITH SCORE 1.1482941356E7
AT ITER 9914 NEW BEST:: SOT 107246625 SOS 33566679 HAS SOPS 33566679 HAS SOUS 11448113 HAS SOUPS 11448113 WITH SCORE 1.1481679679E7
AT ITER 9918 NEW BEST:: SOT 107246178 SOS 33561762 HAS SOPS 33561762 HAS SOUS 11446772 HAS SOUPS 11446772 WITH SCORE 1.1480333762E7
AT ITER 9930 NEW BEST:: SOT 107245874 SOS 33561458 HAS SOPS 33561458 HAS SOUS 11446164 HAS SOUPS 11446164 WITH SCORE 1.1479725458E7
AT ITER 9964 NEW BEST:: SOT 107245874 SOS 33555635 HAS SOPS 33555635 HAS SOUS 11445517 HAS SOUPS 11445517 WITH SCORE 1.1479072635E7
AT ITER 9983 NEW BEST:: SOT 107243040 SOS 33552914 HAS SOPS 33552914 HAS SOUS 11443813 HAS SOUPS 11443813 WITH SCORE 1.1477365914E7

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="HypertorusGrid-PT-d5k3p2b10"
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 HypertorusGrid-PT-d5k3p2b10, 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 r093-oct2-158940140400320"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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