Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r235-tall-167856421200072.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is HypertorusGrid-PT-d5k3p2b10, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r235-tall-167856421200072
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 14M
-rw-r--r-- 1 mcc users 6.9K Feb 26 16:20 CTLCardinality.txt
-rw-r--r-- 1 mcc users 50K Feb 26 16:20 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.0K Feb 26 13:27 CTLFireability.txt
-rw-r--r-- 1 mcc users 44K Feb 26 13:27 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.2K Feb 25 16:17 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K Feb 25 16:17 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Feb 25 16:17 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:17 LTLFireability.xml
-rw-r--r-- 1 mcc users 16K Feb 26 22:39 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 124K Feb 26 22:39 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 16K Feb 26 21:01 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 92K Feb 26 21:01 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Feb 25 16:17 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Feb 25 16:17 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 10 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rwxr-xr-x 1 mcc users 14M Mar 5 18:22 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 1678632963877

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=HypertorusGrid-PT-d5k3p2b10
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-12 14:56:05] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-12 14:56:05] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-12 14:56:05] [INFO ] Load time of PNML (sax parser for PT used): 543 ms
[2023-03-12 14:56:05] [INFO ] Transformed 7533 places.
[2023-03-12 14:56:06] [INFO ] Transformed 24300 transitions.
[2023-03-12 14:56:06] [INFO ] Parsed PT model containing 7533 places and 24300 transitions and 97200 arcs in 857 ms.
[2023-03-12 14:56:06] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 7533 places, 24300 transitions and 97200 arcs took 118 ms.
Total runtime 1005 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running HypertorusGrid (PT), instance d5k3p2b10
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 7533 places, 24300 transitions, 97200 arcs.
AT ITER 0 NEW BEST:: SOT 108048172 SOS 35407862 HAS SOPS 35407862 HAS SOUS 12924602 HAS SOUPS 12924602 WITH SCORE 1.2960009862E7
AT ITER 38 NEW BEST:: SOT 108049441 SOS 35409813 HAS SOPS 35409813 HAS SOUS 12923169 HAS SOUPS 12923169 WITH SCORE 1.2958578813E7
AT ITER 50 NEW BEST:: SOT 108047087 SOS 35405105 HAS SOPS 35405105 HAS SOUS 12920925 HAS SOUPS 12920925 WITH SCORE 1.2956330105E7
AT ITER 75 NEW BEST:: SOT 108046493 SOS 35399165 HAS SOPS 35399165 HAS SOUS 12919737 HAS SOUPS 12919737 WITH SCORE 1.2955136165E7
AT ITER 90 NEW BEST:: SOT 108046433 SOS 35398565 HAS SOPS 35398565 HAS SOUS 12919617 HAS SOUPS 12919617 WITH SCORE 1.2955015565E7
AT ITER 94 NEW BEST:: SOT 108046433 SOS 35398565 HAS SOPS 35398565 HAS SOUS 12918483 HAS SOUPS 12918483 WITH SCORE 1.2953881565E7
AT ITER 97 NEW BEST:: SOT 108044228 SOS 35396360 HAS SOPS 35396360 HAS SOUS 12916278 HAS SOUPS 12916278 WITH SCORE 1.295167436E7
AT ITER 99 NEW BEST:: SOT 108040646 SOS 35392380 HAS SOPS 35392380 HAS SOUS 12911930 HAS SOUPS 12911930 WITH SCORE 1.294732238E7
AT ITER 136 NEW BEST:: SOT 108040375 SOS 35392109 HAS SOPS 35392109 HAS SOUS 12911535 HAS SOUPS 12911535 WITH SCORE 1.2946927109E7
AT ITER 138 NEW BEST:: SOT 108040291 SOS 35391941 HAS SOPS 35391941 HAS SOUS 12911367 HAS SOUPS 12911367 WITH SCORE 1.2946758941E7
AT ITER 140 NEW BEST:: SOT 108036259 SOS 35383757 HAS SOPS 35383757 HAS SOUS 12909527 HAS SOUPS 12909527 WITH SCORE 1.2944910757E7
AT ITER 143 NEW BEST:: SOT 108035379 SOS 35375589 HAS SOPS 35375589 HAS SOUS 12907055 HAS SOUPS 12907055 WITH SCORE 1.2942430589E7
AT ITER 149 NEW BEST:: SOT 108035055 SOS 35372025 HAS SOPS 35372025 HAS SOUS 12906083 HAS SOUPS 12906083 WITH SCORE 1.2941455025E7
AT ITER 156 NEW BEST:: SOT 108033390 SOS 35370360 HAS SOPS 35370360 HAS SOUS 12904418 HAS SOUPS 12904418 WITH SCORE 1.293978836E7
AT ITER 181 NEW BEST:: SOT 108033390 SOS 35366810 HAS SOPS 35366810 HAS SOUS 12903708 HAS SOUPS 12903708 WITH SCORE 1.293907481E7
AT ITER 200 NEW BEST:: SOT 108033142 SOS 35364330 HAS SOPS 35364330 HAS SOUS 12903212 HAS SOUPS 12903212 WITH SCORE 1.293857633E7
AT ITER 204 NEW BEST:: SOT 108033142 SOS 35364890 HAS SOPS 35364890 HAS SOUS 12902582 HAS SOUPS 12902582 WITH SCORE 1.293794689E7
AT ITER 217 NEW BEST:: SOT 108033142 SOS 35364165 HAS SOPS 35364165 HAS SOUS 12896471 HAS SOUPS 12896471 WITH SCORE 1.2931835165E7
AT ITER 255 NEW BEST:: SOT 108033067 SOS 35364015 HAS SOPS 35364015 HAS SOUS 12896321 HAS SOUPS 12896321 WITH SCORE 1.2931685015E7
AT ITER 305 NEW BEST:: SOT 108032327 SOS 35355875 HAS SOPS 35355875 HAS SOUS 12894101 HAS SOUPS 12894101 WITH SCORE 1.2929456875E7
AT ITER 309 NEW BEST:: SOT 108025868 SOS 35342957 HAS SOPS 35342957 HAS SOUS 12887844 HAS SOUPS 12887844 WITH SCORE 1.2923186957E7
AT ITER 329 NEW BEST:: SOT 108025868 SOS 35338331 HAS SOPS 35338331 HAS SOUS 12887330 HAS SOUPS 12887330 WITH SCORE 1.2922668331E7
AT ITER 338 NEW BEST:: SOT 108025868 SOS 35340581 HAS SOPS 35340581 HAS SOUS 12885330 HAS SOUPS 12885330 WITH SCORE 1.2920670581E7
AT ITER 340 NEW BEST:: SOT 108024988 SOS 35332350 HAS SOPS 35332350 HAS SOUS 12882851 HAS SOUPS 12882851 WITH SCORE 1.291818335E7
AT ITER 342 NEW BEST:: SOT 108024988 SOS 35333466 HAS SOPS 35333466 HAS SOUS 12881859 HAS SOUPS 12881859 WITH SCORE 1.2917192466E7
AT ITER 344 NEW BEST:: SOT 108017068 SOS 35316800 HAS SOPS 35316800 HAS SOUS 12872665 HAS SOUPS 12872665 WITH SCORE 1.29079818E7
AT ITER 365 NEW BEST:: SOT 108011020 SOS 35310080 HAS SOPS 35310080 HAS SOUS 12863105 HAS SOUPS 12863105 WITH SCORE 1.289841508E7
AT ITER 378 NEW BEST:: SOT 108011003 SOS 35310046 HAS SOPS 35310046 HAS SOUS 12861447 HAS SOUPS 12861447 WITH SCORE 1.2896757046E7
AT ITER 379 NEW BEST:: SOT 108011003 SOS 35310046 HAS SOPS 35310046 HAS SOUS 12860895 HAS SOUPS 12860895 WITH SCORE 1.2896205046E7
AT ITER 385 NEW BEST:: SOT 108011003 SOS 35310046 HAS SOPS 35310046 HAS SOUS 12860774 HAS SOUPS 12860774 WITH SCORE 1.2896084046E7
AT ITER 407 NEW BEST:: SOT 108009163 SOS 35308206 HAS SOPS 35308206 HAS SOUS 12858934 HAS SOUPS 12858934 WITH SCORE 1.2894242206E7
AT ITER 427 NEW BEST:: SOT 108009163 SOS 35308206 HAS SOPS 35308206 HAS SOUS 12858214 HAS SOUPS 12858214 WITH SCORE 1.2893522206E7
AT ITER 452 NEW BEST:: SOT 108009015 SOS 35308058 HAS SOPS 35308058 HAS SOUS 12857918 HAS SOUPS 12857918 WITH SCORE 1.2893226058E7
AT ITER 470 NEW BEST:: SOT 108006261 SOS 35304998 HAS SOPS 35304998 HAS SOUS 12853617 HAS SOUPS 12853617 WITH SCORE 1.2888921998E7
AT ITER 477 NEW BEST:: SOT 108006261 SOS 35304317 HAS SOPS 35304317 HAS SOUS 12852936 HAS SOUPS 12852936 WITH SCORE 1.2888240317E7
AT ITER 482 NEW BEST:: SOT 108004191 SOS 35302017 HAS SOPS 35302017 HAS SOUS 12847249 HAS SOUPS 12847249 WITH SCORE 1.2882551017E7
AT ITER 491 NEW BEST:: SOT 107997693 SOS 35294797 HAS SOPS 35294797 HAS SOUS 12837554 HAS SOUPS 12837554 WITH SCORE 1.2872848797E7
AT ITER 518 NEW BEST:: SOT 107992572 SOS 35289107 HAS SOPS 35289107 HAS SOUS 12830182 HAS SOUPS 12830182 WITH SCORE 1.2865471107E7
AT ITER 569 NEW BEST:: SOT 107988540 SOS 35280760 HAS SOPS 35280760 HAS SOUS 12826904 HAS SOUPS 12826904 WITH SCORE 1.286218476E7
AT ITER 605 NEW BEST:: SOT 107980757 SOS 35265194 HAS SOPS 35265194 HAS SOUS 12819611 HAS SOUPS 12819611 WITH SCORE 1.2854876194E7
AT ITER 617 NEW BEST:: SOT 107973485 SOS 35257922 HAS SOPS 35257922 HAS SOUS 12812339 HAS SOUPS 12812339 WITH SCORE 1.2847596922E7
AT ITER 620 NEW BEST:: SOT 107972885 SOS 35257322 HAS SOPS 35257322 HAS SOUS 12810901 HAS SOUPS 12810901 WITH SCORE 1.2846158322E7
AT ITER 634 NEW BEST:: SOT 107972311 SOS 35251582 HAS SOPS 35251582 HAS SOUS 12809753 HAS SOUPS 12809753 WITH SCORE 1.2845004582E7
AT ITER 636 NEW BEST:: SOT 107971546 SOS 35250817 HAS SOPS 35250817 HAS SOUS 12808988 HAS SOUPS 12808988 WITH SCORE 1.2844238817E7
AT ITER 654 NEW BEST:: SOT 107971546 SOS 35250817 HAS SOPS 35250817 HAS SOUS 12808884 HAS SOUPS 12808884 WITH SCORE 1.2844134817E7
AT ITER 660 NEW BEST:: SOT 107963747 SOS 35235219 HAS SOPS 35235219 HAS SOUS 12801415 HAS SOUPS 12801415 WITH SCORE 1.2836650219E7
AT ITER 664 NEW BEST:: SOT 107956179 SOS 35220083 HAS SOPS 35220083 HAS SOUS 12794703 HAS SOUPS 12794703 WITH SCORE 1.2829923083E7
AT ITER 665 NEW BEST:: SOT 107948502 SOS 35211553 HAS SOPS 35211553 HAS SOUS 12782909 HAS SOUPS 12782909 WITH SCORE 1.2818120553E7
AT ITER 673 NEW BEST:: SOT 107945590 SOS 35208641 HAS SOPS 35208641 HAS SOUS 12779997 HAS SOUPS 12779997 WITH SCORE 1.2815205641E7
AT ITER 682 NEW BEST:: SOT 107944839 SOS 35201131 HAS SOPS 35201131 HAS SOUS 12778495 HAS SOUPS 12778495 WITH SCORE 1.2813696131E7
AT ITER 684 NEW BEST:: SOT 107944839 SOS 35200970 HAS SOPS 35200970 HAS SOUS 12778334 HAS SOUPS 12778334 WITH SCORE 1.281353497E7
AT ITER 689 NEW BEST:: SOT 107941023 SOS 35197154 HAS SOPS 35197154 HAS SOUS 12774518 HAS SOUPS 12774518 WITH SCORE 1.2809715154E7
AT ITER 698 NEW BEST:: SOT 107941023 SOS 35199332 HAS SOPS 35199332 HAS SOUS 12772582 HAS SOUPS 12772582 WITH SCORE 1.2807781332E7
AT ITER 702 NEW BEST:: SOT 107940143 SOS 35191740 HAS SOPS 35191740 HAS SOUS 12770174 HAS SOUPS 12770174 WITH SCORE 1.280536574E7
AT ITER 712 NEW BEST:: SOT 107935703 SOS 35187300 HAS SOPS 35187300 HAS SOUS 12765734 HAS SOUPS 12765734 WITH SCORE 1.28009213E7
AT ITER 719 NEW BEST:: SOT 107934986 SOS 35185866 HAS SOPS 35185866 HAS SOUS 12763059 HAS SOUPS 12763059 WITH SCORE 1.2798244866E7
AT ITER 741 NEW BEST:: SOT 107927895 SOS 35177436 HAS SOPS 35177436 HAS SOUS 12756821 HAS SOUPS 12756821 WITH SCORE 1.2791998436E7
AT ITER 742 NEW BEST:: SOT 107924827 SOS 35173108 HAS SOPS 35173108 HAS SOUS 12753613 HAS SOUPS 12753613 WITH SCORE 1.2788786108E7
AT ITER 747 NEW BEST:: SOT 107924827 SOS 35170399 HAS SOPS 35170399 HAS SOUS 12753312 HAS SOUPS 12753312 WITH SCORE 1.2788482399E7
AT ITER 749 NEW BEST:: SOT 107924827 SOS 35170399 HAS SOPS 35170399 HAS SOUS 12753278 HAS SOUPS 12753278 WITH SCORE 1.2788448399E7
AT ITER 751 NEW BEST:: SOT 107924827 SOS 35170399 HAS SOPS 35170399 HAS SOUS 12752986 HAS SOUPS 12752986 WITH SCORE 1.2788156399E7
AT ITER 772 NEW BEST:: SOT 107924882 SOS 35170509 HAS SOPS 35170509 HAS SOUS 12750072 HAS SOUPS 12750072 WITH SCORE 1.2785242509E7
AT ITER 790 NEW BEST:: SOT 107924882 SOS 35171125 HAS SOPS 35171125 HAS SOUS 12749456 HAS SOUPS 12749456 WITH SCORE 1.2784627125E7
AT ITER 793 NEW BEST:: SOT 107924874 SOS 35171117 HAS SOPS 35171117 HAS SOUS 12749448 HAS SOUPS 12749448 WITH SCORE 1.2784619117E7
AT ITER 799 NEW BEST:: SOT 107924874 SOS 35167387 HAS SOPS 35167387 HAS SOUS 12748702 HAS SOUPS 12748702 WITH SCORE 1.2783869387E7
AT ITER 804 NEW BEST:: SOT 107924874 SOS 35167387 HAS SOPS 35167387 HAS SOUS 12745759 HAS SOUPS 12745759 WITH SCORE 1.2780926387E7
AT ITER 810 NEW BEST:: SOT 107916954 SOS 35150852 HAS SOPS 35150852 HAS SOUS 12737929 HAS SOUPS 12737929 WITH SCORE 1.2773079852E7
AT ITER 812 NEW BEST:: SOT 107910698 SOS 35138340 HAS SOPS 35138340 HAS SOUS 12733832 HAS SOUPS 12733832 WITH SCORE 1.276897034E7
AT ITER 816 NEW BEST:: SOT 107910639 SOS 35138281 HAS SOPS 35138281 HAS SOUS 12733832 HAS SOUPS 12733832 WITH SCORE 1.2768970281E7
AT ITER 867 NEW BEST:: SOT 107910639 SOS 35135961 HAS SOPS 35135961 HAS SOUS 12733368 HAS SOUPS 12733368 WITH SCORE 1.2768503961E7
AT ITER 893 NEW BEST:: SOT 107909809 SOS 35126831 HAS SOPS 35126831 HAS SOUS 12730878 HAS SOUPS 12730878 WITH SCORE 1.2766004831E7
AT ITER 912 NEW BEST:: SOT 107906740 SOS 35123421 HAS SOPS 35123421 HAS SOUS 12726193 HAS SOUPS 12726193 WITH SCORE 1.2761316421E7
AT ITER 924 NEW BEST:: SOT 107906740 SOS 35120141 HAS SOPS 35120141 HAS SOUS 12725537 HAS SOUPS 12725537 WITH SCORE 1.2760657141E7
AT ITER 938 NEW BEST:: SOT 107906301 SOS 35115751 HAS SOPS 35115751 HAS SOUS 12724659 HAS SOUPS 12724659 WITH SCORE 1.2759774751E7
AT ITER 973 NEW BEST:: SOT 107904717 SOS 35113991 HAS SOPS 35113991 HAS SOUS 12722899 HAS SOUPS 12722899 WITH SCORE 1.2758012991E7
AT ITER 977 NEW BEST:: SOT 107901504 SOS 35107208 HAS SOPS 35107208 HAS SOUS 12718972 HAS SOUPS 12718972 WITH SCORE 1.2754079208E7
AT ITER 978 NEW BEST:: SOT 107901504 SOS 35107208 HAS SOPS 35107208 HAS SOUS 12718883 HAS SOUPS 12718883 WITH SCORE 1.2753990208E7
AT ITER 980 NEW BEST:: SOT 107901504 SOS 35107208 HAS SOPS 35107208 HAS SOUS 12717450 HAS SOUPS 12717450 WITH SCORE 1.2752557208E7
AT ITER 985 NEW BEST:: SOT 107901504 SOS 35107208 HAS SOPS 35107208 HAS SOUS 12716915 HAS SOUPS 12716915 WITH SCORE 1.2752022208E7
AT ITER 986 NEW BEST:: SOT 107893647 SOS 35091494 HAS SOPS 35091494 HAS SOUS 12708808 HAS SOUPS 12708808 WITH SCORE 1.2743899494E7
AT ITER 992 NEW BEST:: SOT 107896797 SOS 35097416 HAS SOPS 35097416 HAS SOUS 12708498 HAS SOUPS 12708498 WITH SCORE 1.2743595416E7
AT ITER 1007 NEW BEST:: SOT 107889570 SOS 35082159 HAS SOPS 35082159 HAS SOUS 12699665 HAS SOUPS 12699665 WITH SCORE 1.2734747159E7
AT ITER 1011 NEW BEST:: SOT 107881773 SOS 35066565 HAS SOPS 35066565 HAS SOUS 12692218 HAS SOUPS 12692218 WITH SCORE 1.2727284565E7
AT ITER 1027 NEW BEST:: SOT 107887076 SOS 35077171 HAS SOPS 35077171 HAS SOUS 12691491 HAS SOUPS 12691491 WITH SCORE 1.2726568171E7
AT ITER 1029 NEW BEST:: SOT 107887076 SOS 35075251 HAS SOPS 35075251 HAS SOUS 12691107 HAS SOUPS 12691107 WITH SCORE 1.2726182251E7
AT ITER 1030 NEW BEST:: SOT 107887076 SOS 35074967 HAS SOPS 35074967 HAS SOUS 12690135 HAS SOUPS 12690135 WITH SCORE 1.2725209967E7
AT ITER 1042 NEW BEST:: SOT 107886516 SOS 35074407 HAS SOPS 35074407 HAS SOUS 12689575 HAS SOUPS 12689575 WITH SCORE 1.2724649407E7
AT ITER 1057 NEW BEST:: SOT 107886309 SOS 35074200 HAS SOPS 35074200 HAS SOUS 12689368 HAS SOUPS 12689368 WITH SCORE 1.27244422E7
AT ITER 1062 NEW BEST:: SOT 107886309 SOS 35071510 HAS SOPS 35071510 HAS SOUS 12688830 HAS SOUPS 12688830 WITH SCORE 1.272390151E7
AT ITER 1101 NEW BEST:: SOT 107885429 SOS 35062066 HAS SOPS 35062066 HAS SOUS 12686106 HAS SOUPS 12686106 WITH SCORE 1.2721168066E7
AT ITER 1166 NEW BEST:: SOT 107882819 SOS 35056556 HAS SOPS 35056556 HAS SOUS 12682916 HAS SOUPS 12682916 WITH SCORE 1.2717972556E7
AT ITER 1174 NEW BEST:: SOT 107878058 SOS 35051266 HAS SOPS 35051266 HAS SOUS 12676051 HAS SOUPS 12676051 WITH SCORE 1.2711102266E7
AT ITER 1197 NEW BEST:: SOT 107877427 SOS 35044956 HAS SOPS 35044956 HAS SOUS 12674789 HAS SOUPS 12674789 WITH SCORE 1.2709833956E7
AT ITER 1198 NEW BEST:: SOT 107882242 SOS 35054393 HAS SOPS 35054393 HAS SOUS 12674385 HAS SOUPS 12674385 WITH SCORE 1.2709439393E7
AT ITER 1227 NEW BEST:: SOT 107882242 SOS 35057804 HAS SOPS 35057804 HAS SOUS 12671353 HAS SOUPS 12671353 WITH SCORE 1.2706410804E7
AT ITER 1238 NEW BEST:: SOT 107881809 SOS 35053041 HAS SOPS 35053041 HAS SOUS 12670054 HAS SOUPS 12670054 WITH SCORE 1.2705107041E7
AT ITER 1247 NEW BEST:: SOT 107881002 SOS 35044164 HAS SOPS 35044164 HAS SOUS 12667633 HAS SOUPS 12667633 WITH SCORE 1.2702677164E7
AT ITER 1251 NEW BEST:: SOT 107877168 SOS 35039904 HAS SOPS 35039904 HAS SOUS 12665064 HAS SOUPS 12665064 WITH SCORE 1.2700103904E7
AT ITER 1260 NEW BEST:: SOT 107876699 SOS 35034745 HAS SOPS 35034745 HAS SOUS 12663657 HAS SOUPS 12663657 WITH SCORE 1.2698691745E7
AT ITER 1275 NEW BEST:: SOT 107876173 SOS 35033693 HAS SOPS 35033693 HAS SOUS 12662605 HAS SOUPS 12662605 WITH SCORE 1.2697638693E7
AT ITER 1292 NEW BEST:: SOT 107875786 SOS 35029823 HAS SOPS 35029823 HAS SOUS 12661831 HAS SOUPS 12661831 WITH SCORE 1.2696860823E7
AT ITER 1293 NEW BEST:: SOT 107875786 SOS 35029444 HAS SOPS 35029444 HAS SOUS 12661452 HAS SOUPS 12661452 WITH SCORE 1.2696481444E7
AT ITER 1309 NEW BEST:: SOT 107875528 SOS 35026606 HAS SOPS 35026606 HAS SOUS 12660678 HAS SOUPS 12660678 WITH SCORE 1.2695704606E7
AT ITER 1318 NEW BEST:: SOT 107867608 SOS 35010664 HAS SOPS 35010664 HAS SOUS 12657538 HAS SOUPS 12657538 WITH SCORE 1.2692548664E7
AT ITER 1321 NEW BEST:: SOT 107867608 SOS 35010643 HAS SOPS 35010643 HAS SOUS 12657517 HAS SOUPS 12657517 WITH SCORE 1.2692527643E7
AT ITER 1329 NEW BEST:: SOT 107867160 SOS 35007047 HAS SOPS 35007047 HAS SOUS 12656321 HAS SOUPS 12656321 WITH SCORE 1.2691328047E7
AT ITER 1336 NEW BEST:: SOT 107867087 SOS 35006317 HAS SOPS 35006317 HAS SOUS 12656175 HAS SOUPS 12656175 WITH SCORE 1.2691181317E7
AT ITER 1355 NEW BEST:: SOT 107867087 SOS 35006179 HAS SOPS 35006179 HAS SOUS 12656037 HAS SOUPS 12656037 WITH SCORE 1.2691043179E7
AT ITER 1387 NEW BEST:: SOT 107867087 SOS 35006179 HAS SOPS 35006179 HAS SOUS 12655878 HAS SOUPS 12655878 WITH SCORE 1.2690884179E7
AT ITER 1388 NEW BEST:: SOT 107859311 SOS 34990627 HAS SOPS 34990627 HAS SOUS 12648662 HAS SOUPS 12648662 WITH SCORE 1.2683652627E7
AT ITER 1392 NEW BEST:: SOT 107858883 SOS 34989771 HAS SOPS 34989771 HAS SOUS 12644124 HAS SOUPS 12644124 WITH SCORE 1.2679113771E7
AT ITER 1418 NEW BEST:: SOT 107854949 SOS 34985887 HAS SOPS 34985887 HAS SOUS 12640240 HAS SOUPS 12640240 WITH SCORE 1.2675225887E7
AT ITER 1420 NEW BEST:: SOT 107854643 SOS 34982827 HAS SOPS 34982827 HAS SOUS 12639628 HAS SOUPS 12639628 WITH SCORE 1.2674610827E7
AT ITER 1424 NEW BEST:: SOT 107854610 SOS 34982794 HAS SOPS 34982794 HAS SOUS 12639397 HAS SOUPS 12639397 WITH SCORE 1.2674379794E7
AT ITER 1441 NEW BEST:: SOT 107854610 SOS 34982230 HAS SOPS 34982230 HAS SOUS 12637371 HAS SOUPS 12637371 WITH SCORE 1.267235323E7
AT ITER 1446 NEW BEST:: SOT 107853118 SOS 34980813 HAS SOPS 34980813 HAS SOUS 12636629 HAS SOUPS 12636629 WITH SCORE 1.2671609813E7
AT ITER 1465 NEW BEST:: SOT 107851326 SOS 34979021 HAS SOPS 34979021 HAS SOUS 12634837 HAS SOUPS 12634837 WITH SCORE 1.2669816021E7
AT ITER 1492 NEW BEST:: SOT 107845089 SOS 34966547 HAS SOPS 34966547 HAS SOUS 12627907 HAS SOUPS 12627907 WITH SCORE 1.2662873547E7
AT ITER 1493 NEW BEST:: SOT 107845089 SOS 34966547 HAS SOPS 34966547 HAS SOUS 12627769 HAS SOUPS 12627769 WITH SCORE 1.2662735547E7
AT ITER 1510 NEW BEST:: SOT 107840931 SOS 34957769 HAS SOPS 34957769 HAS SOUS 12622687 HAS SOUPS 12622687 WITH SCORE 1.2657644769E7
AT ITER 1515 NEW BEST:: SOT 107834091 SOS 34950169 HAS SOPS 34950169 HAS SOUS 12615087 HAS SOUPS 12615087 WITH SCORE 1.2650037169E7
AT ITER 1539 NEW BEST:: SOT 107826171 SOS 34933731 HAS SOPS 34933731 HAS SOUS 12605689 HAS SOUPS 12605689 WITH SCORE 1.2640622731E7
AT ITER 1557 NEW BEST:: SOT 107825555 SOS 34932499 HAS SOPS 34932499 HAS SOUS 12604457 HAS SOUPS 12604457 WITH SCORE 1.2639389499E7
AT ITER 1558 NEW BEST:: SOT 107825555 SOS 34933894 HAS SOPS 34933894 HAS SOUS 12603217 HAS SOUPS 12603217 WITH SCORE 1.2638150894E7
AT ITER 1562 NEW BEST:: SOT 107825062 SOS 34932908 HAS SOPS 34932908 HAS SOUS 12600425 HAS SOUPS 12600425 WITH SCORE 1.2635357908E7
AT ITER 1577 NEW BEST:: SOT 107825062 SOS 34924218 HAS SOPS 34924218 HAS SOUS 12598687 HAS SOUPS 12598687 WITH SCORE 1.2633611218E7
AT ITER 1590 NEW BEST:: SOT 107824888 SOS 34924044 HAS SOPS 34924044 HAS SOUS 12598513 HAS SOUPS 12598513 WITH SCORE 1.2633437044E7
AT ITER 1595 NEW BEST:: SOT 107824888 SOS 34929084 HAS SOPS 34929084 HAS SOUS 12594880 HAS SOUPS 12594880 WITH SCORE 1.2629809084E7
AT ITER 1599 NEW BEST:: SOT 107825440 SOS 34929636 HAS SOPS 34929636 HAS SOUS 12593776 HAS SOUPS 12593776 WITH SCORE 1.2628705636E7
AT ITER 1603 NEW BEST:: SOT 107825440 SOS 34929980 HAS SOPS 34929980 HAS SOUS 12593389 HAS SOUPS 12593389 WITH SCORE 1.262831898E7
AT ITER 1616 NEW BEST:: SOT 107818888 SOS 34916253 HAS SOPS 34916253 HAS SOUS 12585742 HAS SOUPS 12585742 WITH SCORE 1.2620658253E7
AT ITER 1620 NEW BEST:: SOT 107818888 SOS 34916253 HAS SOPS 34916253 HAS SOUS 12585422 HAS SOUPS 12585422 WITH SCORE 1.2620338253E7
AT ITER 1625 NEW BEST:: SOT 107818888 SOS 34915183 HAS SOPS 34915183 HAS SOUS 12585208 HAS SOUPS 12585208 WITH SCORE 1.2620123183E7
AT ITER 1663 NEW BEST:: SOT 107817682 SOS 34913977 HAS SOPS 34913977 HAS SOUS 12584002 HAS SOUPS 12584002 WITH SCORE 1.2618915977E7
AT ITER 1676 NEW BEST:: SOT 107817313 SOS 34913608 HAS SOPS 34913608 HAS SOUS 12583633 HAS SOUPS 12583633 WITH SCORE 1.2618546608E7
AT ITER 1688 NEW BEST:: SOT 107817313 SOS 34913608 HAS SOPS 34913608 HAS SOUS 12581984 HAS SOUPS 12581984 WITH SCORE 1.2616897608E7
AT ITER 1691 NEW BEST:: SOT 107809393 SOS 34897188 HAS SOPS 34897188 HAS SOUS 12575304 HAS SOUPS 12575304 WITH SCORE 1.2610201188E7
AT ITER 1693 NEW BEST:: SOT 107809028 SOS 34896458 HAS SOPS 34896458 HAS SOUS 12571886 HAS SOUPS 12571886 WITH SCORE 1.2606782458E7
AT ITER 1744 NEW BEST:: SOT 107808943 SOS 34896373 HAS SOPS 34896373 HAS SOUS 12571716 HAS SOUPS 12571716 WITH SCORE 1.2606612373E7
AT ITER 1746 NEW BEST:: SOT 107803300 SOS 34888551 HAS SOPS 34888551 HAS SOUS 12570538 HAS SOUPS 12570538 WITH SCORE 1.2605426551E7
AT ITER 1750 NEW BEST:: SOT 107802878 SOS 34883909 HAS SOPS 34883909 HAS SOUS 12569272 HAS SOUPS 12569272 WITH SCORE 1.2604155909E7
AT ITER 1782 NEW BEST:: SOT 107802878 SOS 34876969 HAS SOPS 34876969 HAS SOUS 12567884 HAS SOUPS 12567884 WITH SCORE 1.2602760969E7
AT ITER 1801 NEW BEST:: SOT 107802718 SOS 34876809 HAS SOPS 34876809 HAS SOUS 12567724 HAS SOUPS 12567724 WITH SCORE 1.2602600809E7
AT ITER 1804 NEW BEST:: SOT 107794798 SOS 34860262 HAS SOPS 34860262 HAS SOUS 12559774 HAS SOUPS 12559774 WITH SCORE 1.2594634262E7
AT ITER 1811 NEW BEST:: SOT 107788498 SOS 34847662 HAS SOPS 34847662 HAS SOUS 12552774 HAS SOUPS 12552774 WITH SCORE 1.2587621662E7
AT ITER 1815 NEW BEST:: SOT 107788498 SOS 34849356 HAS SOPS 34849356 HAS SOUS 12552180 HAS SOUPS 12552180 WITH SCORE 1.2587029356E7
AT ITER 1841 NEW BEST:: SOT 107788498 SOS 34848636 HAS SOPS 34848636 HAS SOUS 12552036 HAS SOUPS 12552036 WITH SCORE 1.2586884636E7
AT ITER 1847 NEW BEST:: SOT 107788498 SOS 34848636 HAS SOPS 34848636 HAS SOUS 12551581 HAS SOUPS 12551581 WITH SCORE 1.2586429636E7
AT ITER 1852 NEW BEST:: SOT 107785330 SOS 34845116 HAS SOPS 34845116 HAS SOUS 12547477 HAS SOUPS 12547477 WITH SCORE 1.2582322116E7
AT ITER 1861 NEW BEST:: SOT 107777488 SOS 34829432 HAS SOPS 34829432 HAS SOUS 12539535 HAS SOUPS 12539535 WITH SCORE 1.2574364432E7
AT ITER 1863 NEW BEST:: SOT 107777367 SOS 34827725 HAS SOPS 34827725 HAS SOUS 12538796 HAS SOUPS 12538796 WITH SCORE 1.2573623725E7
AT ITER 1871 NEW BEST:: SOT 107777367 SOS 34827725 HAS SOPS 34827725 HAS SOUS 12538054 HAS SOUPS 12538054 WITH SCORE 1.2572881725E7
AT ITER 1873 NEW BEST:: SOT 107777430 SOS 34826978 HAS SOPS 34826978 HAS SOUS 12537251 HAS SOUPS 12537251 WITH SCORE 1.2572077978E7
AT ITER 1877 NEW BEST:: SOT 107777063 SOS 34826244 HAS SOPS 34826244 HAS SOUS 12529396 HAS SOUPS 12529396 WITH SCORE 1.2564222244E7
AT ITER 1879 NEW BEST:: SOT 107776545 SOS 34821064 HAS SOPS 34821064 HAS SOUS 12528360 HAS SOUPS 12528360 WITH SCORE 1.2563181064E7
AT ITER 1912 NEW BEST:: SOT 107775821 SOS 34819616 HAS SOPS 34819616 HAS SOUS 12523312 HAS SOUPS 12523312 WITH SCORE 1.2558131616E7
AT ITER 1915 NEW BEST:: SOT 107774399 SOS 34818251 HAS SOPS 34818251 HAS SOUS 12522403 HAS SOUPS 12522403 WITH SCORE 1.2557221251E7
AT ITER 1920 NEW BEST:: SOT 107776694 SOS 34824677 HAS SOPS 34824677 HAS SOUS 12522293 HAS SOUPS 12522293 WITH SCORE 1.2557117677E7
AT ITER 1924 NEW BEST:: SOT 107774246 SOS 34821957 HAS SOPS 34821957 HAS SOUS 12518793 HAS SOUPS 12518793 WITH SCORE 1.2553614957E7
AT ITER 1929 NEW BEST:: SOT 107773650 SOS 34815401 HAS SOPS 34815401 HAS SOUS 12517005 HAS SOUPS 12517005 WITH SCORE 1.2551820401E7
AT ITER 1939 NEW BEST:: SOT 107773151 SOS 34814902 HAS SOPS 34814902 HAS SOUS 12516506 HAS SOUPS 12516506 WITH SCORE 1.2551320902E7
AT ITER 1942 NEW BEST:: SOT 107773151 SOS 34811422 HAS SOPS 34811422 HAS SOUS 12515810 HAS SOUPS 12515810 WITH SCORE 1.2550621422E7
AT ITER 1951 NEW BEST:: SOT 107772708 SOS 34806992 HAS SOPS 34806992 HAS SOUS 12514924 HAS SOUPS 12514924 WITH SCORE 1.2549730992E7
AT ITER 1977 NEW BEST:: SOT 107771241 SOS 34805525 HAS SOPS 34805525 HAS SOUS 12513457 HAS SOUPS 12513457 WITH SCORE 1.2548262525E7
AT ITER 1981 NEW BEST:: SOT 107770902 SOS 34805186 HAS SOPS 34805186 HAS SOUS 12513118 HAS SOUPS 12513118 WITH SCORE 1.2547923186E7
AT ITER 2012 NEW BEST:: SOT 107770902 SOS 34799096 HAS SOPS 34799096 HAS SOUS 12511900 HAS SOUPS 12511900 WITH SCORE 1.2546699096E7
AT ITER 2038 NEW BEST:: SOT 107770869 SOS 34799063 HAS SOPS 34799063 HAS SOUS 12511900 HAS SOUPS 12511900 WITH SCORE 1.2546699063E7
AT ITER 2052 NEW BEST:: SOT 107770706 SOS 34798900 HAS SOPS 34798900 HAS SOUS 12511737 HAS SOUPS 12511737 WITH SCORE 1.25465359E7
AT ITER 2053 NEW BEST:: SOT 107770706 SOS 34801148 HAS SOPS 34801148 HAS SOUS 12509311 HAS SOUPS 12509311 WITH SCORE 1.2544112148E7
AT ITER 2063 NEW BEST:: SOT 107770050 SOS 34799836 HAS SOPS 34799836 HAS SOUS 12507351 HAS SOUPS 12507351 WITH SCORE 1.2542150836E7
AT ITER 2075 NEW BEST:: SOT 107769854 SOS 34799444 HAS SOPS 34799444 HAS SOUS 12506959 HAS SOUPS 12506959 WITH SCORE 1.2541758444E7
AT ITER 2081 NEW BEST:: SOT 107764643 SOS 34793654 HAS SOPS 34793654 HAS SOUS 12496138 HAS SOUPS 12496138 WITH SCORE 1.2530931654E7
AT ITER 2095 NEW BEST:: SOT 107764294 SOS 34790164 HAS SOPS 34790164 HAS SOUS 12495440 HAS SOUPS 12495440 WITH SCORE 1.2530230164E7
AT ITER 2122 NEW BEST:: SOT 107763963 SOS 34789833 HAS SOPS 34789833 HAS SOUS 12494484 HAS SOUPS 12494484 WITH SCORE 1.2529273833E7
AT ITER 2139 NEW BEST:: SOT 107763963 SOS 34789729 HAS SOPS 34789729 HAS SOUS 12494380 HAS SOUPS 12494380 WITH SCORE 1.2529169729E7
AT ITER 2157 NEW BEST:: SOT 107762515 SOS 34788281 HAS SOPS 34788281 HAS SOUS 12492932 HAS SOUPS 12492932 WITH SCORE 1.2527720281E7
AT ITER 2178 NEW BEST:: SOT 107762577 SOS 34784931 HAS SOPS 34784931 HAS SOUS 12492670 HAS SOUPS 12492670 WITH SCORE 1.2527454931E7
AT ITER 2194 NEW BEST:: SOT 107762577 SOS 34784931 HAS SOPS 34784931 HAS SOUS 12492526 HAS SOUPS 12492526 WITH SCORE 1.2527310931E7
AT ITER 2207 NEW BEST:: SOT 107762336 SOS 34784690 HAS SOPS 34784690 HAS SOUS 12492526 HAS SOUPS 12492526 WITH SCORE 1.252731069E7
AT ITER 2224 NEW BEST:: SOT 107762336 SOS 34787410 HAS SOPS 34787410 HAS SOUS 12489806 HAS SOUPS 12489806 WITH SCORE 1.252459341E7
AT ITER 2236 NEW BEST:: SOT 107755917 SOS 34774572 HAS SOPS 34774572 HAS SOUS 12483870 HAS SOUPS 12483870 WITH SCORE 1.2518644572E7
AT ITER 2276 NEW BEST:: SOT 107755917 SOS 34774653 HAS SOPS 34774653 HAS SOUS 12483798 HAS SOUPS 12483798 WITH SCORE 1.2518572653E7
AT ITER 2290 NEW BEST:: SOT 107755917 SOS 34776021 HAS SOPS 34776021 HAS SOUS 12483262 HAS SOUPS 12483262 WITH SCORE 1.2518038021E7
AT ITER 2295 NEW BEST:: SOT 107755917 SOS 34773861 HAS SOPS 34773861 HAS SOUS 12483022 HAS SOUPS 12483022 WITH SCORE 1.2517795861E7
AT ITER 2297 NEW BEST:: SOT 107755917 SOS 34769352 HAS SOPS 34769352 HAS SOUS 12482521 HAS SOUPS 12482521 WITH SCORE 1.2517290352E7
AT ITER 2323 NEW BEST:: SOT 107750580 SOS 34763422 HAS SOPS 34763422 HAS SOUS 12476007 HAS SOUPS 12476007 WITH SCORE 1.2510770422E7
AT ITER 2329 NEW BEST:: SOT 107748519 SOS 34761361 HAS SOPS 34761361 HAS SOUS 12473946 HAS SOUPS 12473946 WITH SCORE 1.2508707361E7
AT ITER 2339 NEW BEST:: SOT 107748452 SOS 34761294 HAS SOPS 34761294 HAS SOUS 12473879 HAS SOUPS 12473879 WITH SCORE 1.2508640294E7
AT ITER 2346 NEW BEST:: SOT 107748452 SOS 34754148 HAS SOPS 34754148 HAS SOUS 12473085 HAS SOUPS 12473085 WITH SCORE 1.2507839148E7
AT ITER 2356 NEW BEST:: SOT 107748452 SOS 34754004 HAS SOPS 34754004 HAS SOUS 12471716 HAS SOUPS 12471716 WITH SCORE 1.2506470004E7
AT ITER 2359 NEW BEST:: SOT 107748181 SOS 34751294 HAS SOPS 34751294 HAS SOUS 12471174 HAS SOUPS 12471174 WITH SCORE 1.2505925294E7
AT ITER 2365 NEW BEST:: SOT 107748336 SOS 34751449 HAS SOPS 34751449 HAS SOUS 12470864 HAS SOUPS 12470864 WITH SCORE 1.2505615449E7
AT ITER 2406 NEW BEST:: SOT 107748336 SOS 34751449 HAS SOPS 34751449 HAS SOUS 12470699 HAS SOUPS 12470699 WITH SCORE 1.2505450449E7
AT ITER 2417 NEW BEST:: SOT 107748167 SOS 34751111 HAS SOPS 34751111 HAS SOUS 12470361 HAS SOUPS 12470361 WITH SCORE 1.2505112111E7
AT ITER 2421 NEW BEST:: SOT 107748167 SOS 34748401 HAS SOPS 34748401 HAS SOUS 12469819 HAS SOUPS 12469819 WITH SCORE 1.2504567401E7
AT ITER 2443 NEW BEST:: SOT 107748167 SOS 34748331 HAS SOPS 34748331 HAS SOUS 12469749 HAS SOUPS 12469749 WITH SCORE 1.2504497331E7
AT ITER 2446 NEW BEST:: SOT 107746799 SOS 34745443 HAS SOPS 34745443 HAS SOUS 12468077 HAS SOUPS 12468077 WITH SCORE 1.2502822443E7
AT ITER 2510 NEW BEST:: SOT 107746269 SOS 34744383 HAS SOPS 34744383 HAS SOUS 12461118 HAS SOUPS 12461118 WITH SCORE 1.2495862383E7
AT ITER 2516 NEW BEST:: SOT 107749798 SOS 34751441 HAS SOPS 34751441 HAS SOUS 12458133 HAS SOUPS 12458133 WITH SCORE 1.2492884441E7
AT ITER 2572 NEW BEST:: SOT 107749198 SOS 34750841 HAS SOPS 34750841 HAS SOUS 12457533 HAS SOUPS 12457533 WITH SCORE 1.2492283841E7
AT ITER 2599 NEW BEST:: SOT 107744293 SOS 34740486 HAS SOPS 34740486 HAS SOUS 12451538 HAS SOUPS 12451538 WITH SCORE 1.2486278486E7
AT ITER 2634 NEW BEST:: SOT 107744293 SOS 34740486 HAS SOPS 34740486 HAS SOUS 12451408 HAS SOUPS 12451408 WITH SCORE 1.2486148486E7
AT ITER 2646 NEW BEST:: SOT 107744293 SOS 34741190 HAS SOPS 34741190 HAS SOUS 12451168 HAS SOUPS 12451168 WITH SCORE 1.248590919E7
AT ITER 2666 NEW BEST:: SOT 107743060 SOS 34739820 HAS SOPS 34739820 HAS SOUS 12448734 HAS SOUPS 12448734 WITH SCORE 1.248347382E7
AT ITER 2678 NEW BEST:: SOT 107739568 SOS 34736328 HAS SOPS 34736328 HAS SOUS 12445242 HAS SOUPS 12445242 WITH SCORE 1.2479978328E7
AT ITER 2686 NEW BEST:: SOT 107739568 SOS 34736328 HAS SOPS 34736328 HAS SOUS 12443650 HAS SOUPS 12443650 WITH SCORE 1.2478386328E7
AT ITER 2692 NEW BEST:: SOT 107739568 SOS 34738104 HAS SOPS 34738104 HAS SOUS 12442466 HAS SOUPS 12442466 WITH SCORE 1.2477204104E7
AT ITER 2707 NEW BEST:: SOT 107739511 SOS 34738047 HAS SOPS 34738047 HAS SOUS 12442352 HAS SOUPS 12442352 WITH SCORE 1.2477090047E7
AT ITER 2710 NEW BEST:: SOT 107739511 SOS 34733610 HAS SOPS 34733610 HAS SOUS 12441859 HAS SOUPS 12441859 WITH SCORE 1.247659261E7
AT ITER 2748 NEW BEST:: SOT 107739511 SOS 34732260 HAS SOPS 34732260 HAS SOUS 12441709 HAS SOUPS 12441709 WITH SCORE 1.247644126E7
AT ITER 2750 NEW BEST:: SOT 107731591 SOS 34715638 HAS SOPS 34715638 HAS SOUS 12432127 HAS SOUPS 12432127 WITH SCORE 1.2466842638E7
AT ITER 2754 NEW BEST:: SOT 107730881 SOS 34708538 HAS SOPS 34708538 HAS SOUS 12430707 HAS SOUPS 12430707 WITH SCORE 1.2465415538E7
AT ITER 2771 NEW BEST:: SOT 107730881 SOS 34708283 HAS SOPS 34708283 HAS SOUS 12430452 HAS SOUPS 12430452 WITH SCORE 1.2465160283E7
AT ITER 2804 NEW BEST:: SOT 107730881 SOS 34703270 HAS SOPS 34703270 HAS SOUS 12429895 HAS SOUPS 12429895 WITH SCORE 1.246459827E7
AT ITER 2831 NEW BEST:: SOT 107727461 SOS 34699470 HAS SOPS 34699470 HAS SOUS 12425327 HAS SOUPS 12425327 WITH SCORE 1.246002647E7
AT ITER 2845 NEW BEST:: SOT 107726971 SOS 34698980 HAS SOPS 34698980 HAS SOUS 12424837 HAS SOUPS 12424837 WITH SCORE 1.245953598E7
AT ITER 2848 NEW BEST:: SOT 107726192 SOS 34691190 HAS SOPS 34691190 HAS SOUS 12423279 HAS SOUPS 12423279 WITH SCORE 1.245797019E7
AT ITER 2858 NEW BEST:: SOT 107718272 SOS 34674500 HAS SOPS 34674500 HAS SOUS 12413899 HAS SOUPS 12413899 WITH SCORE 1.24485735E7
AT ITER 2865 NEW BEST:: SOT 107718272 SOS 34674413 HAS SOPS 34674413 HAS SOUS 12413812 HAS SOUPS 12413812 WITH SCORE 1.2448486413E7
AT ITER 2866 NEW BEST:: SOT 107718272 SOS 34674413 HAS SOPS 34674413 HAS SOUS 12413654 HAS SOUPS 12413654 WITH SCORE 1.2448328413E7
AT ITER 2894 NEW BEST:: SOT 107720306 SOS 34680913 HAS SOPS 34680913 HAS SOUS 12413522 HAS SOUPS 12413522 WITH SCORE 1.2448202913E7
AT ITER 2948 NEW BEST:: SOT 107720306 SOS 34672483 HAS SOPS 34672483 HAS SOUS 12411836 HAS SOUPS 12411836 WITH SCORE 1.2446508483E7
AT ITER 2970 NEW BEST:: SOT 107719578 SOS 34666023 HAS SOPS 34666023 HAS SOUS 12409824 HAS SOUPS 12409824 WITH SCORE 1.2444490023E7
AT ITER 2980 NEW BEST:: SOT 107715807 SOS 34661833 HAS SOPS 34661833 HAS SOUS 12405634 HAS SOUPS 12405634 WITH SCORE 1.2440295833E7
AT ITER 2981 NEW BEST:: SOT 107715807 SOS 34663498 HAS SOPS 34663498 HAS SOUS 12405235 HAS SOUPS 12405235 WITH SCORE 1.2439898498E7
AT ITER 3003 NEW BEST:: SOT 107715453 SOS 34659958 HAS SOPS 34659958 HAS SOUS 12404527 HAS SOUPS 12404527 WITH SCORE 1.2439186958E7
AT ITER 3005 NEW BEST:: SOT 107715186 SOS 34657288 HAS SOPS 34657288 HAS SOUS 12403993 HAS SOUPS 12403993 WITH SCORE 1.2438650288E7
AT ITER 3010 NEW BEST:: SOT 107715186 SOS 34656763 HAS SOPS 34656763 HAS SOUS 12403468 HAS SOUPS 12403468 WITH SCORE 1.2438124763E7
AT ITER 3037 NEW BEST:: SOT 107716482 SOS 34663585 HAS SOPS 34663585 HAS SOUS 12401678 HAS SOUPS 12401678 WITH SCORE 1.2436341585E7
AT ITER 3042 NEW BEST:: SOT 107716482 SOS 34661135 HAS SOPS 34661135 HAS SOUS 12401188 HAS SOUPS 12401188 WITH SCORE 1.2435849135E7
AT ITER 3052 NEW BEST:: SOT 107716034 SOS 34661631 HAS SOPS 34661631 HAS SOUS 12398977 HAS SOUPS 12398977 WITH SCORE 1.2433638631E7
AT ITER 3075 NEW BEST:: SOT 107716034 SOS 34661655 HAS SOPS 34661655 HAS SOUS 12398950 HAS SOUPS 12398950 WITH SCORE 1.2433611655E7
AT ITER 3077 NEW BEST:: SOT 107709689 SOS 34654605 HAS SOPS 34654605 HAS SOUS 12387321 HAS SOUPS 12387321 WITH SCORE 1.2421975605E7
AT ITER 3089 NEW BEST:: SOT 107709689 SOS 34650745 HAS SOPS 34650745 HAS SOUS 12386549 HAS SOUPS 12386549 WITH SCORE 1.2421199745E7
AT ITER 3095 NEW BEST:: SOT 107712876 SOS 34657119 HAS SOPS 34657119 HAS SOUS 12385304 HAS SOUPS 12385304 WITH SCORE 1.2419961119E7
AT ITER 3105 NEW BEST:: SOT 107712118 SOS 34648781 HAS SOPS 34648781 HAS SOUS 12383030 HAS SOUPS 12383030 WITH SCORE 1.2417678781E7
AT ITER 3112 NEW BEST:: SOT 107708968 SOS 34645281 HAS SOPS 34645281 HAS SOUS 12382546 HAS SOUPS 12382546 WITH SCORE 1.2417191281E7
AT ITER 3123 NEW BEST:: SOT 107708968 SOS 34640051 HAS SOPS 34640051 HAS SOUS 12381500 HAS SOUPS 12381500 WITH SCORE 1.2416140051E7
AT ITER 3143 NEW BEST:: SOT 107708882 SOS 34644607 HAS SOPS 34644607 HAS SOUS 12381328 HAS SOUPS 12381328 WITH SCORE 1.2415972607E7
AT ITER 3145 NEW BEST:: SOT 107700999 SOS 34628841 HAS SOPS 34628841 HAS SOUS 12372935 HAS SOUPS 12372935 WITH SCORE 1.2407563841E7
AT ITER 3163 NEW BEST:: SOT 107700999 SOS 34628822 HAS SOPS 34628822 HAS SOUS 12372764 HAS SOUPS 12372764 WITH SCORE 1.2407392822E7
AT ITER 3171 NEW BEST:: SOT 107700999 SOS 34623422 HAS SOPS 34623422 HAS SOUS 12372164 HAS SOUPS 12372164 WITH SCORE 1.2406787422E7
AT ITER 3234 NEW BEST:: SOT 107700999 SOS 34623422 HAS SOPS 34623422 HAS SOUS 12372002 HAS SOUPS 12372002 WITH SCORE 1.2406625422E7
AT ITER 3236 NEW BEST:: SOT 107694840 SOS 34610952 HAS SOPS 34610952 HAS SOUS 12367284 HAS SOUPS 12367284 WITH SCORE 1.2401894952E7
AT ITER 3248 NEW BEST:: SOT 107688693 SOS 34597975 HAS SOPS 34597975 HAS SOUS 12359771 HAS SOUPS 12359771 WITH SCORE 1.2394368975E7
AT ITER 3270 NEW BEST:: SOT 107682474 SOS 34585537 HAS SOPS 34585537 HAS SOUS 12354195 HAS SOUPS 12354195 WITH SCORE 1.2388780537E7
AT ITER 3277 NEW BEST:: SOT 107680692 SOS 34581973 HAS SOPS 34581973 HAS SOUS 12352215 HAS SOUPS 12352215 WITH SCORE 1.2386796973E7
AT ITER 3282 NEW BEST:: SOT 107680692 SOS 34581496 HAS SOPS 34581496 HAS SOUS 12351738 HAS SOUPS 12351738 WITH SCORE 1.2386319496E7
AT ITER 3310 NEW BEST:: SOT 107674455 SOS 34574566 HAS SOPS 34574566 HAS SOUS 12345123 HAS SOUPS 12345123 WITH SCORE 1.2379697566E7
AT ITER 3319 NEW BEST:: SOT 107674455 SOS 34574566 HAS SOPS 34574566 HAS SOUS 12345023 HAS SOUPS 12345023 WITH SCORE 1.2379597566E7
AT ITER 3341 NEW BEST:: SOT 107662827 SOS 34554138 HAS SOPS 34554138 HAS SOUS 12331635 HAS SOUPS 12331635 WITH SCORE 1.2366189138E7
AT ITER 3360 NEW BEST:: SOT 107662425 SOS 34553736 HAS SOPS 34553736 HAS SOUS 12331635 HAS SOUPS 12331635 WITH SCORE 1.2366188736E7
AT ITER 3364 NEW BEST:: SOT 107662425 SOS 34553736 HAS SOPS 34553736 HAS SOUS 12331545 HAS SOUPS 12331545 WITH SCORE 1.2366098736E7
AT ITER 3376 NEW BEST:: SOT 107660121 SOS 34551432 HAS SOPS 34551432 HAS SOUS 12329241 HAS SOUPS 12329241 WITH SCORE 1.2363792432E7
AT ITER 3384 NEW BEST:: SOT 107657225 SOS 34548536 HAS SOPS 34548536 HAS SOUS 12326345 HAS SOUPS 12326345 WITH SCORE 1.2360893536E7
AT ITER 3392 NEW BEST:: SOT 107657225 SOS 34548536 HAS SOPS 34548536 HAS SOUS 12325943 HAS SOUPS 12325943 WITH SCORE 1.2360491536E7
AT ITER 3395 NEW BEST:: SOT 107657225 SOS 34543286 HAS SOPS 34543286 HAS SOUS 12324893 HAS SOUPS 12324893 WITH SCORE 1.2359436286E7
AT ITER 3400 NEW BEST:: SOT 107655245 SOS 34541086 HAS SOPS 34541086 HAS SOUS 12322613 HAS SOUPS 12322613 WITH SCORE 1.2357154086E7
AT ITER 3404 NEW BEST:: SOT 107655224 SOS 34540897 HAS SOPS 34540897 HAS SOUS 12322567 HAS SOUPS 12322567 WITH SCORE 1.2357107897E7
AT ITER 3418 NEW BEST:: SOT 107655224 SOS 34540818 HAS SOPS 34540818 HAS SOUS 12322488 HAS SOUPS 12322488 WITH SCORE 1.2357028818E7
AT ITER 3439 NEW BEST:: SOT 107655224 SOS 34536948 HAS SOPS 34536948 HAS SOUS 12321714 HAS SOUPS 12321714 WITH SCORE 1.2356250948E7
AT ITER 3443 NEW BEST:: SOT 107654997 SOS 34536721 HAS SOPS 34536721 HAS SOUS 12321714 HAS SOUPS 12321714 WITH SCORE 1.2356250721E7
AT ITER 3452 NEW BEST:: SOT 107654997 SOS 34540788 HAS SOPS 34540788 HAS SOUS 12316314 HAS SOUPS 12316314 WITH SCORE 1.2350854788E7
AT ITER 3482 NEW BEST:: SOT 107654997 SOS 34536918 HAS SOPS 34536918 HAS SOUS 12315540 HAS SOUPS 12315540 WITH SCORE 1.2350076918E7
AT ITER 3490 NEW BEST:: SOT 107654997 SOS 34531482 HAS SOPS 34531482 HAS SOUS 12314936 HAS SOUPS 12314936 WITH SCORE 1.2349467482E7
AT ITER 3495 NEW BEST:: SOT 107654707 SOS 34531192 HAS SOPS 34531192 HAS SOUS 12314646 HAS SOUPS 12314646 WITH SCORE 1.2349177192E7
AT ITER 3523 NEW BEST:: SOT 107653763 SOS 34530248 HAS SOPS 34530248 HAS SOUS 12313702 HAS SOUPS 12313702 WITH SCORE 1.2348232248E7
AT ITER 3529 NEW BEST:: SOT 107653763 SOS 34529854 HAS SOPS 34529854 HAS SOUS 12311924 HAS SOUPS 12311924 WITH SCORE 1.2346453854E7
AT ITER 3553 NEW BEST:: SOT 107653763 SOS 34529854 HAS SOPS 34529854 HAS SOUS 12311462 HAS SOUPS 12311462 WITH SCORE 1.2345991854E7
AT ITER 3556 NEW BEST:: SOT 107652971 SOS 34529294 HAS SOPS 34529294 HAS SOUS 12311419 HAS SOUPS 12311419 WITH SCORE 1.2345948294E7
AT ITER 3571 NEW BEST:: SOT 107645761 SOS 34514874 HAS SOPS 34514874 HAS SOUS 12309483 HAS SOUPS 12309483 WITH SCORE 1.2343997874E7
AT ITER 3572 NEW BEST:: SOT 107638692 SOS 34505504 HAS SOPS 34505504 HAS SOUS 12304594 HAS SOUPS 12304594 WITH SCORE 1.2339099504E7
AT ITER 3577 NEW BEST:: SOT 107638692 SOS 34505504 HAS SOPS 34505504 HAS SOUS 12304584 HAS SOUPS 12304584 WITH SCORE 1.2339089504E7
AT ITER 3592 NEW BEST:: SOT 107638692 SOS 34502154 HAS SOPS 34502154 HAS SOUS 12303914 HAS SOUPS 12303914 WITH SCORE 1.2338416154E7
AT ITER 3606 NEW BEST:: SOT 107638674 SOS 34502134 HAS SOPS 34502134 HAS SOUS 12303878 HAS SOUPS 12303878 WITH SCORE 1.2338380134E7
AT ITER 3615 NEW BEST:: SOT 107638512 SOS 34501972 HAS SOPS 34501972 HAS SOUS 12303716 HAS SOUPS 12303716 WITH SCORE 1.2338217972E7
AT ITER 3648 NEW BEST:: SOT 107638512 SOS 34503612 HAS SOPS 34503612 HAS SOUS 12302420 HAS SOUPS 12302420 WITH SCORE 1.2336923612E7
AT ITER 3654 NEW BEST:: SOT 107638102 SOS 34499512 HAS SOPS 34499512 HAS SOUS 12301600 HAS SOUPS 12301600 WITH SCORE 1.2336099512E7
AT ITER 3670 NEW BEST:: SOT 107637497 SOS 34498907 HAS SOPS 34498907 HAS SOUS 12301487 HAS SOUPS 12301487 WITH SCORE 1.2335985907E7
AT ITER 3698 NEW BEST:: SOT 107635643 SOS 34497053 HAS SOPS 34497053 HAS SOUS 12299633 HAS SOUPS 12299633 WITH SCORE 1.2334130053E7
AT ITER 3714 NEW BEST:: SOT 107627773 SOS 34481313 HAS SOPS 34481313 HAS SOUS 12290933 HAS SOUPS 12290933 WITH SCORE 1.2325414313E7
AT ITER 3742 NEW BEST:: SOT 107625289 SOS 34478829 HAS SOPS 34478829 HAS SOUS 12288449 HAS SOUPS 12288449 WITH SCORE 1.2322927829E7
AT ITER 3754 NEW BEST:: SOT 107626081 SOS 34479621 HAS SOPS 34479621 HAS SOUS 12287002 HAS SOUPS 12287002 WITH SCORE 1.2321481621E7
AT ITER 3796 NEW BEST:: SOT 107626081 SOS 34479621 HAS SOPS 34479621 HAS SOUS 12286480 HAS SOUPS 12286480 WITH SCORE 1.2320959621E7
AT ITER 3798 NEW BEST:: SOT 107620177 SOS 34467157 HAS SOPS 34467157 HAS SOUS 12279264 HAS SOUPS 12279264 WITH SCORE 1.2313731157E7
AT ITER 3799 NEW BEST:: SOT 107620177 SOS 34467116 HAS SOPS 34467116 HAS SOUS 12279223 HAS SOUPS 12279223 WITH SCORE 1.2313690116E7
AT ITER 3807 NEW BEST:: SOT 107616209 SOS 34463148 HAS SOPS 34463148 HAS SOUS 12275255 HAS SOUPS 12275255 WITH SCORE 1.2309718148E7
AT ITER 3821 NEW BEST:: SOT 107615587 SOS 34456273 HAS SOPS 34456273 HAS SOUS 12273356 HAS SOUPS 12273356 WITH SCORE 1.2307812273E7
AT ITER 3823 NEW BEST:: SOT 107615587 SOS 34456273 HAS SOPS 34456273 HAS SOUS 12273138 HAS SOUPS 12273138 WITH SCORE 1.2307594273E7
AT ITER 3830 NEW BEST:: SOT 107615587 SOS 34459189 HAS SOPS 34459189 HAS SOUS 12270546 HAS SOUPS 12270546 WITH SCORE 1.2305005189E7
AT ITER 3848 NEW BEST:: SOT 107615643 SOS 34459301 HAS SOPS 34459301 HAS SOUS 12263726 HAS SOUPS 12263726 WITH SCORE 1.2298185301E7
AT ITER 3854 NEW BEST:: SOT 107614554 SOS 34457123 HAS SOPS 34457123 HAS SOUS 12262516 HAS SOUPS 12262516 WITH SCORE 1.2296973123E7
AT ITER 3878 NEW BEST:: SOT 107614100 SOS 34456669 HAS SOPS 34456669 HAS SOUS 12262037 HAS SOUPS 12262037 WITH SCORE 1.2296493669E7
AT ITER 3934 NEW BEST:: SOT 107613947 SOS 34456516 HAS SOPS 34456516 HAS SOUS 12261884 HAS SOUPS 12261884 WITH SCORE 1.2296340516E7
AT ITER 3940 NEW BEST:: SOT 107613947 SOS 34456516 HAS SOPS 34456516 HAS SOUS 12261450 HAS SOUPS 12261450 WITH SCORE 1.2295906516E7
AT ITER 3947 NEW BEST:: SOT 107613947 SOS 34452176 HAS SOPS 34452176 HAS SOUS 12260582 HAS SOUPS 12260582 WITH SCORE 1.2295034176E7
AT ITER 3953 NEW BEST:: SOT 107613947 SOS 34452896 HAS SOPS 34452896 HAS SOUS 12259956 HAS SOUPS 12259956 WITH SCORE 1.2294408896E7
AT ITER 3956 NEW BEST:: SOT 107613499 SOS 34451604 HAS SOPS 34451604 HAS SOUS 12259016 HAS SOUPS 12259016 WITH SCORE 1.2293467604E7
AT ITER 3968 NEW BEST:: SOT 107612683 SOS 34449972 HAS SOPS 34449972 HAS SOUS 12250332 HAS SOUPS 12250332 WITH SCORE 1.2284781972E7
AT ITER 3969 NEW BEST:: SOT 107612783 SOS 34444753 HAS SOPS 34444753 HAS SOUS 12249841 HAS SOUPS 12249841 WITH SCORE 1.2284285753E7
AT ITER 3989 NEW BEST:: SOT 107611903 SOS 34436585 HAS SOPS 34436585 HAS SOUS 12247081 HAS SOUPS 12247081 WITH SCORE 1.2281517585E7
AT ITER 3997 NEW BEST:: SOT 107610967 SOS 34435545 HAS SOPS 34435545 HAS SOUS 12246041 HAS SOUPS 12246041 WITH SCORE 1.2280476545E7
AT ITER 4036 NEW BEST:: SOT 107604612 SOS 34422835 HAS SOPS 34422835 HAS SOUS 12239739 HAS SOUPS 12239739 WITH SCORE 1.2274161835E7
AT ITER 4045 NEW BEST:: SOT 107604345 SOS 34422568 HAS SOPS 34422568 HAS SOUS 12239205 HAS SOUPS 12239205 WITH SCORE 1.2273627568E7
AT ITER 4052 NEW BEST:: SOT 107596722 SOS 34407322 HAS SOPS 34407322 HAS SOUS 12233428 HAS SOUPS 12233428 WITH SCORE 1.2267835322E7
AT ITER 4058 NEW BEST:: SOT 107596722 SOS 34407322 HAS SOPS 34407322 HAS SOUS 12231800 HAS SOUPS 12231800 WITH SCORE 1.2266207322E7
AT ITER 4063 NEW BEST:: SOT 107596689 SOS 34406992 HAS SOPS 34406992 HAS SOUS 12231734 HAS SOUPS 12231734 WITH SCORE 1.2266140992E7
AT ITER 4083 NEW BEST:: SOT 107592657 SOS 34398718 HAS SOPS 34398718 HAS SOUS 12229098 HAS SOUPS 12229098 WITH SCORE 1.2263496718E7
AT ITER 4096 NEW BEST:: SOT 107592657 SOS 34399348 HAS SOPS 34399348 HAS SOUS 12228608 HAS SOUPS 12228608 WITH SCORE 1.2263007348E7
AT ITER 4128 NEW BEST:: SOT 107592576 SOS 34399258 HAS SOPS 34399258 HAS SOUS 12228518 HAS SOUPS 12228518 WITH SCORE 1.2262917258E7
AT ITER 4153 NEW BEST:: SOT 107592576 SOS 34399258 HAS SOPS 34399258 HAS SOUS 12226808 HAS SOUPS 12226808 WITH SCORE 1.2261207258E7
AT ITER 4154 NEW BEST:: SOT 107591999 SOS 34398104 HAS SOPS 34398104 HAS SOUS 12224446 HAS SOUPS 12224446 WITH SCORE 1.2258844104E7
AT ITER 4177 NEW BEST:: SOT 107588189 SOS 34390484 HAS SOPS 34390484 HAS SOUS 12220714 HAS SOUPS 12220714 WITH SCORE 1.2255104484E7
AT ITER 4183 NEW BEST:: SOT 107588213 SOS 34382828 HAS SOPS 34382828 HAS SOUS 12219906 HAS SOUPS 12219906 WITH SCORE 1.2254288828E7
AT ITER 4196 NEW BEST:: SOT 107582795 SOS 34371992 HAS SOPS 34371992 HAS SOUS 12213886 HAS SOUPS 12213886 WITH SCORE 1.2248257992E7
AT ITER 4199 NEW BEST:: SOT 107582795 SOS 34365082 HAS SOPS 34365082 HAS SOUS 12212504 HAS SOUPS 12212504 WITH SCORE 1.2246869082E7
AT ITER 4200 NEW BEST:: SOT 107582776 SOS 34365063 HAS SOPS 34365063 HAS SOUS 12212485 HAS SOUPS 12212485 WITH SCORE 1.2246850063E7
AT ITER 4229 NEW BEST:: SOT 107582776 SOS 34364133 HAS SOPS 34364133 HAS SOUS 12212299 HAS SOUPS 12212299 WITH SCORE 1.2246663133E7
AT ITER 4230 NEW BEST:: SOT 107579806 SOS 34358193 HAS SOPS 34358193 HAS SOUS 12208999 HAS SOUPS 12208999 WITH SCORE 1.2243357193E7
AT ITER 4252 NEW BEST:: SOT 107579628 SOS 34356413 HAS SOPS 34356413 HAS SOUS 12208643 HAS SOUPS 12208643 WITH SCORE 1.2242999413E7
AT ITER 4255 NEW BEST:: SOT 107579060 SOS 34350733 HAS SOPS 34350733 HAS SOUS 12207507 HAS SOUPS 12207507 WITH SCORE 1.2241857733E7
AT ITER 4269 NEW BEST:: SOT 107578574 SOS 34349707 HAS SOPS 34349707 HAS SOUS 12206913 HAS SOUPS 12206913 WITH SCORE 1.2241262707E7
AT ITER 4272 NEW BEST:: SOT 107577955 SOS 34348469 HAS SOPS 34348469 HAS SOUS 12205051 HAS SOUPS 12205051 WITH SCORE 1.2239399469E7
AT ITER 4300 NEW BEST:: SOT 107577955 SOS 34345109 HAS SOPS 34345109 HAS SOUS 12204379 HAS SOUPS 12204379 WITH SCORE 1.2238724109E7
AT ITER 4315 NEW BEST:: SOT 107577955 SOS 34344542 HAS SOPS 34344542 HAS SOUS 12203124 HAS SOUPS 12203124 WITH SCORE 1.2237468542E7
AT ITER 4332 NEW BEST:: SOT 107576452 SOS 34342872 HAS SOPS 34342872 HAS SOUS 12200894 HAS SOUPS 12200894 WITH SCORE 1.2235236872E7
AT ITER 4341 NEW BEST:: SOT 107571268 SOS 34330714 HAS SOPS 34330714 HAS SOUS 12196482 HAS SOUPS 12196482 WITH SCORE 1.2230812714E7
AT ITER 4357 NEW BEST:: SOT 107571268 SOS 34326444 HAS SOPS 34326444 HAS SOUS 12195628 HAS SOUPS 12195628 WITH SCORE 1.2229954444E7
AT ITER 4364 NEW BEST:: SOT 107571268 SOS 34325688 HAS SOPS 34325688 HAS SOUS 12195544 HAS SOUPS 12195544 WITH SCORE 1.2229869688E7
AT ITER 4367 NEW BEST:: SOT 107570482 SOS 34324116 HAS SOPS 34324116 HAS SOUS 12189820 HAS SOUPS 12189820 WITH SCORE 1.2224144116E7
AT ITER 4379 NEW BEST:: SOT 107566279 SOS 34319446 HAS SOPS 34319446 HAS SOUS 12181414 HAS SOUPS 12181414 WITH SCORE 1.2215733446E7
AT ITER 4384 NEW BEST:: SOT 107566075 SOS 34317202 HAS SOPS 34317202 HAS SOUS 12180802 HAS SOUPS 12180802 WITH SCORE 1.2215119202E7
AT ITER 4405 NEW BEST:: SOT 107565553 SOS 34316680 HAS SOPS 34316680 HAS SOUS 12180280 HAS SOUPS 12180280 WITH SCORE 1.221459668E7
AT ITER 4411 NEW BEST:: SOT 107564899 SOS 34315372 HAS SOPS 34315372 HAS SOUS 12173162 HAS SOUPS 12173162 WITH SCORE 1.2207477372E7
AT ITER 4428 NEW BEST:: SOT 107564899 SOS 34314990 HAS SOPS 34314990 HAS SOUS 12172780 HAS SOUPS 12172780 WITH SCORE 1.220709499E7
AT ITER 4434 NEW BEST:: SOT 107558878 SOS 34302279 HAS SOPS 34302279 HAS SOUS 12165421 HAS SOUPS 12165421 WITH SCORE 1.2199723279E7
AT ITER 4438 NEW BEST:: SOT 107552578 SOS 34288979 HAS SOPS 34288979 HAS SOUS 12157721 HAS SOUPS 12157721 WITH SCORE 1.2192009979E7
AT ITER 4446 NEW BEST:: SOT 107549746 SOS 34286147 HAS SOPS 34286147 HAS SOUS 12154889 HAS SOUPS 12154889 WITH SCORE 1.2189175147E7
AT ITER 4462 NEW BEST:: SOT 107542942 SOS 34270835 HAS SOPS 34270835 HAS SOUS 12149245 HAS SOUPS 12149245 WITH SCORE 1.2183515835E7
AT ITER 4476 NEW BEST:: SOT 107542851 SOS 34270744 HAS SOPS 34270744 HAS SOUS 12149245 HAS SOUPS 12149245 WITH SCORE 1.2183515744E7
AT ITER 4479 NEW BEST:: SOT 107542531 SOS 34270424 HAS SOPS 34270424 HAS SOUS 12148925 HAS SOUPS 12148925 WITH SCORE 1.2183195424E7
AT ITER 4482 NEW BEST:: SOT 107542531 SOS 34270208 HAS SOPS 34270208 HAS SOUS 12148709 HAS SOUPS 12148709 WITH SCORE 1.2182979208E7
AT ITER 4484 NEW BEST:: SOT 107546230 SOS 34285937 HAS SOPS 34285937 HAS SOUS 12146372 HAS SOUPS 12146372 WITH SCORE 1.2180657937E7
AT ITER 4505 NEW BEST:: SOT 107546230 SOS 34285937 HAS SOPS 34285937 HAS SOUS 12146147 HAS SOUPS 12146147 WITH SCORE 1.2180432937E7
AT ITER 4514 NEW BEST:: SOT 107548156 SOS 34313380 HAS SOPS 34313380 HAS SOUS 12145504 HAS SOUPS 12145504 WITH SCORE 1.217981738E7
AT ITER 4520 NEW BEST:: SOT 107545771 SOS 34310995 HAS SOPS 34310995 HAS SOUS 12143119 HAS SOUPS 12143119 WITH SCORE 1.2177429995E7
AT ITER 4522 NEW BEST:: SOT 107545771 SOS 34310995 HAS SOPS 34310995 HAS SOUS 12142634 HAS SOUPS 12142634 WITH SCORE 1.2176944995E7
AT ITER 4525 NEW BEST:: SOT 107544907 SOS 34310131 HAS SOPS 34310131 HAS SOUS 12141770 HAS SOUPS 12141770 WITH SCORE 1.2176080131E7
AT ITER 4530 NEW BEST:: SOT 107544907 SOS 34302501 HAS SOPS 34302501 HAS SOUS 12140244 HAS SOUPS 12140244 WITH SCORE 1.2174546501E7
AT ITER 4545 NEW BEST:: SOT 107544907 SOS 34302360 HAS SOPS 34302360 HAS SOUS 12140103 HAS SOUPS 12140103 WITH SCORE 1.217440536E7
AT ITER 4553 NEW BEST:: SOT 107545854 SOS 34304254 HAS SOPS 34304254 HAS SOUS 12134717 HAS SOUPS 12134717 WITH SCORE 1.2169021254E7
AT ITER 4560 NEW BEST:: SOT 107541710 SOS 34300110 HAS SOPS 34300110 HAS SOUS 12130573 HAS SOUPS 12130573 WITH SCORE 1.216487311E7
AT ITER 4595 NEW BEST:: SOT 107541710 SOS 34300110 HAS SOPS 34300110 HAS SOUS 12130497 HAS SOUPS 12130497 WITH SCORE 1.216479711E7
AT ITER 4607 NEW BEST:: SOT 107541710 SOS 34300110 HAS SOPS 34300110 HAS SOUS 12129451 HAS SOUPS 12129451 WITH SCORE 1.216375111E7
AT ITER 4623 NEW BEST:: SOT 107541546 SOS 34301294 HAS SOPS 34301294 HAS SOUS 12125949 HAS SOUPS 12125949 WITH SCORE 1.2160250294E7
AT ITER 4679 NEW BEST:: SOT 107539134 SOS 34296470 HAS SOPS 34296470 HAS SOUS 12123589 HAS SOUPS 12123589 WITH SCORE 1.215788547E7
AT ITER 4695 NEW BEST:: SOT 107539134 SOS 34296470 HAS SOPS 34296470 HAS SOUS 12123547 HAS SOUPS 12123547 WITH SCORE 1.215784347E7
AT ITER 4713 NEW BEST:: SOT 107539139 SOS 34296475 HAS SOPS 34296475 HAS SOUS 12123537 HAS SOUPS 12123537 WITH SCORE 1.2157833475E7
AT ITER 4728 NEW BEST:: SOT 107539031 SOS 34296367 HAS SOPS 34296367 HAS SOUS 12123358 HAS SOUPS 12123358 WITH SCORE 1.2157654367E7
AT ITER 4733 NEW BEST:: SOT 107539031 SOS 34296367 HAS SOPS 34296367 HAS SOUS 12123233 HAS SOUPS 12123233 WITH SCORE 1.2157529367E7
AT ITER 4760 NEW BEST:: SOT 107539031 SOS 34291264 HAS SOPS 34291264 HAS SOUS 12122666 HAS SOUPS 12122666 WITH SCORE 1.2156957264E7
AT ITER 4768 NEW BEST:: SOT 107539031 SOS 34291624 HAS SOPS 34291624 HAS SOUS 12122306 HAS SOUPS 12122306 WITH SCORE 1.2156597624E7
AT ITER 4773 NEW BEST:: SOT 107539031 SOS 34291263 HAS SOPS 34291263 HAS SOUS 12121784 HAS SOUPS 12121784 WITH SCORE 1.2156075263E7
AT ITER 4776 NEW BEST:: SOT 107539355 SOS 34291031 HAS SOPS 34291031 HAS SOUS 12119979 HAS SOUPS 12119979 WITH SCORE 1.2154270031E7
AT ITER 4784 NEW BEST:: SOT 107539355 SOS 34292839 HAS SOPS 34292839 HAS SOUS 12118019 HAS SOUPS 12118019 WITH SCORE 1.2152311839E7
AT ITER 4785 NEW BEST:: SOT 107539355 SOS 34296610 HAS SOPS 34296610 HAS SOUS 12115562 HAS SOUPS 12115562 WITH SCORE 1.214985861E7
AT ITER 4811 NEW BEST:: SOT 107539355 SOS 34296610 HAS SOPS 34296610 HAS SOUS 12114978 HAS SOUPS 12114978 WITH SCORE 1.214927461E7
AT ITER 4812 NEW BEST:: SOT 107539332 SOS 34296587 HAS SOPS 34296587 HAS SOUS 12114955 HAS SOUPS 12114955 WITH SCORE 1.2149251587E7
AT ITER 4817 NEW BEST:: SOT 107539332 SOS 34298477 HAS SOPS 34298477 HAS SOUS 12113275 HAS SOUPS 12113275 WITH SCORE 1.2147573477E7
AT ITER 4819 NEW BEST:: SOT 107539181 SOS 34296967 HAS SOPS 34296967 HAS SOUS 12112973 HAS SOUPS 12112973 WITH SCORE 1.2147269967E7
AT ITER 4827 NEW BEST:: SOT 107539181 SOS 34296967 HAS SOPS 34296967 HAS SOUS 12112606 HAS SOUPS 12112606 WITH SCORE 1.2146902967E7
AT ITER 4835 NEW BEST:: SOT 107538495 SOS 34290107 HAS SOPS 34290107 HAS SOUS 12111234 HAS SOUPS 12111234 WITH SCORE 1.2145524107E7
AT ITER 4857 NEW BEST:: SOT 107537767 SOS 34285789 HAS SOPS 34285789 HAS SOUS 12109460 HAS SOUPS 12109460 WITH SCORE 1.2143745789E7
AT ITER 4859 NEW BEST:: SOT 107537425 SOS 34286313 HAS SOPS 34286313 HAS SOUS 12106360 HAS SOUPS 12106360 WITH SCORE 1.2140646313E7
AT ITER 4889 NEW BEST:: SOT 107529919 SOS 34270467 HAS SOPS 34270467 HAS SOUS 12097186 HAS SOUPS 12097186 WITH SCORE 1.2131456467E7
AT ITER 4891 NEW BEST:: SOT 107529703 SOS 34270251 HAS SOPS 34270251 HAS SOUS 12096970 HAS SOUPS 12096970 WITH SCORE 1.2131240251E7
AT ITER 4897 NEW BEST:: SOT 107529627 SOS 34270099 HAS SOPS 34270099 HAS SOUS 12096210 HAS SOUPS 12096210 WITH SCORE 1.2130480099E7
AT ITER 4919 NEW BEST:: SOT 107529315 SOS 34269787 HAS SOPS 34269787 HAS SOUS 12095898 HAS SOUPS 12095898 WITH SCORE 1.2130167787E7
AT ITER 4939 NEW BEST:: SOT 107529315 SOS 34269787 HAS SOPS 34269787 HAS SOUS 12095804 HAS SOUPS 12095804 WITH SCORE 1.2130073787E7
AT ITER 4940 NEW BEST:: SOT 107526849 SOS 34267047 HAS SOPS 34267047 HAS SOUS 12090924 HAS SOUPS 12090924 WITH SCORE 1.2125191047E7
AT ITER 4946 NEW BEST:: SOT 107527408 SOS 34268165 HAS SOPS 34268165 HAS SOUS 12089714 HAS SOUPS 12089714 WITH SCORE 1.2123982165E7
AT ITER 4961 NEW BEST:: SOT 107527408 SOS 34268165 HAS SOPS 34268165 HAS SOUS 12089606 HAS SOUPS 12089606 WITH SCORE 1.2123874165E7
AT ITER 4986 NEW BEST:: SOT 107527350 SOS 34268049 HAS SOPS 34268049 HAS SOUS 12089490 HAS SOUPS 12089490 WITH SCORE 1.2123758049E7
AT ITER 4991 NEW BEST:: SOT 107527350 SOS 34268049 HAS SOPS 34268049 HAS SOUS 12089244 HAS SOUPS 12089244 WITH SCORE 1.2123512049E7
AT ITER 5004 NEW BEST:: SOT 107527485 SOS 34268184 HAS SOPS 34268184 HAS SOUS 12089051 HAS SOUPS 12089051 WITH SCORE 1.2123319184E7
AT ITER 5008 NEW BEST:: SOT 107520933 SOS 34254360 HAS SOPS 34254360 HAS SOUS 12081123 HAS SOUPS 12081123 WITH SCORE 1.211537736E7
AT ITER 5013 NEW BEST:: SOT 107516901 SOS 34244732 HAS SOPS 34244732 HAS SOUS 12077187 HAS SOUPS 12077187 WITH SCORE 1.2111431732E7
AT ITER 5020 NEW BEST:: SOT 107514336 SOS 34242167 HAS SOPS 34242167 HAS SOUS 12074622 HAS SOUPS 12074622 WITH SCORE 1.2108864167E7
AT ITER 5058 NEW BEST:: SOT 107513957 SOS 34237955 HAS SOPS 34237955 HAS SOUS 12073170 HAS SOUPS 12073170 WITH SCORE 1.2107407955E7
AT ITER 5059 NEW BEST:: SOT 107513643 SOS 34233545 HAS SOPS 34233545 HAS SOUS 12073174 HAS SOUPS 12073174 WITH SCORE 1.2107407545E7
AT ITER 5064 NEW BEST:: SOT 107513125 SOS 34232509 HAS SOPS 34232509 HAS SOUS 12068718 HAS SOUPS 12068718 WITH SCORE 1.2102950509E7
AT ITER 5073 NEW BEST:: SOT 107509128 SOS 34224515 HAS SOPS 34224515 HAS SOUS 12064623 HAS SOUPS 12064623 WITH SCORE 1.2098847515E7
AT ITER 5085 NEW BEST:: SOT 107507850 SOS 34223095 HAS SOPS 34223095 HAS SOUS 12062531 HAS SOUPS 12062531 WITH SCORE 1.2096754095E7
AT ITER 5096 NEW BEST:: SOT 107507850 SOS 34214305 HAS SOPS 34214305 HAS SOUS 12060773 HAS SOUPS 12060773 WITH SCORE 1.2094987305E7
AT ITER 5110 NEW BEST:: SOT 107506131 SOS 34212586 HAS SOPS 34212586 HAS SOUS 12059054 HAS SOUPS 12059054 WITH SCORE 1.2093266586E7
AT ITER 5117 NEW BEST:: SOT 107506336 SOS 34208289 HAS SOPS 34208289 HAS SOUS 12058941 HAS SOUPS 12058941 WITH SCORE 1.2093149289E7
AT ITER 5124 NEW BEST:: SOT 107504905 SOS 34205268 HAS SOPS 34205268 HAS SOUS 12057192 HAS SOUPS 12057192 WITH SCORE 1.2091397268E7
AT ITER 5135 NEW BEST:: SOT 107504618 SOS 34203751 HAS SOPS 34203751 HAS SOUS 12057192 HAS SOUPS 12057192 WITH SCORE 1.2091395751E7
AT ITER 5171 NEW BEST:: SOT 107504618 SOS 34207743 HAS SOPS 34207743 HAS SOUS 12056504 HAS SOUPS 12056504 WITH SCORE 1.2090711743E7
AT ITER 5183 NEW BEST:: SOT 107497760 SOS 34200123 HAS SOPS 34200123 HAS SOUS 12045477 HAS SOUPS 12045477 WITH SCORE 1.2079677123E7
AT ITER 5185 NEW BEST:: SOT 107494808 SOS 34194219 HAS SOPS 34194219 HAS SOUS 12042197 HAS SOUPS 12042197 WITH SCORE 1.2076391219E7
AT ITER 5191 NEW BEST:: SOT 107490722 SOS 34189679 HAS SOPS 34189679 HAS SOUS 12037657 HAS SOUPS 12037657 WITH SCORE 1.2071846679E7
AT ITER 5209 NEW BEST:: SOT 107489489 SOS 34176926 HAS SOPS 34176926 HAS SOUS 12034120 HAS SOUPS 12034120 WITH SCORE 1.2068296926E7
AT ITER 5223 NEW BEST:: SOT 107489489 SOS 34173356 HAS SOPS 34173356 HAS SOUS 12033406 HAS SOUPS 12033406 WITH SCORE 1.2067579356E7
AT ITER 5235 NEW BEST:: SOT 107489303 SOS 34171045 HAS SOPS 34171045 HAS SOUS 12032583 HAS SOUPS 12032583 WITH SCORE 1.2066754045E7
AT ITER 5236 NEW BEST:: SOT 107483723 SOS 34163575 HAS SOPS 34163575 HAS SOUS 12026625 HAS SOUPS 12026625 WITH SCORE 1.2060788575E7
AT ITER 5237 NEW BEST:: SOT 107480186 SOS 34159645 HAS SOPS 34159645 HAS SOUS 12022695 HAS SOUPS 12022695 WITH SCORE 1.2056854645E7
AT ITER 5240 NEW BEST:: SOT 107480186 SOS 34159645 HAS SOPS 34159645 HAS SOUS 12020772 HAS SOUPS 12020772 WITH SCORE 1.2054931645E7
AT ITER 5241 NEW BEST:: SOT 107474168 SOS 34147609 HAS SOPS 34147609 HAS SOUS 12019119 HAS SOUPS 12019119 WITH SCORE 1.2053266609E7
AT ITER 5246 NEW BEST:: SOT 107472552 SOS 34145993 HAS SOPS 34145993 HAS SOUS 12017503 HAS SOUPS 12017503 WITH SCORE 1.2051648993E7
AT ITER 5265 NEW BEST:: SOT 107472552 SOS 34145862 HAS SOPS 34145862 HAS SOUS 12017372 HAS SOUPS 12017372 WITH SCORE 1.2051517862E7
AT ITER 5271 NEW BEST:: SOT 107472606 SOS 34146156 HAS SOPS 34146156 HAS SOUS 12017278 HAS SOUPS 12017278 WITH SCORE 1.2051424156E7
AT ITER 5286 NEW BEST:: SOT 107471981 SOS 34145531 HAS SOPS 34145531 HAS SOUS 12015893 HAS SOUPS 12015893 WITH SCORE 1.2050038531E7
AT ITER 5323 NEW BEST:: SOT 107471981 SOS 34145309 HAS SOPS 34145309 HAS SOUS 12013911 HAS SOUPS 12013911 WITH SCORE 1.2048056309E7
AT ITER 5338 NEW BEST:: SOT 107467013 SOS 34137533 HAS SOPS 34137533 HAS SOUS 12008631 HAS SOUPS 12008631 WITH SCORE 1.2042768533E7
AT ITER 5343 NEW BEST:: SOT 107466776 SOS 34137296 HAS SOPS 34137296 HAS SOUS 12008394 HAS SOUPS 12008394 WITH SCORE 1.2042531296E7
AT ITER 5344 NEW BEST:: SOT 107466584 SOS 34136912 HAS SOPS 34136912 HAS SOUS 12008010 HAS SOUPS 12008010 WITH SCORE 1.2042146912E7
AT ITER 5359 NEW BEST:: SOT 107467049 SOS 34139002 HAS SOPS 34139002 HAS SOUS 12005080 HAS SOUPS 12005080 WITH SCORE 1.2039219002E7
AT ITER 5378 NEW BEST:: SOT 107466321 SOS 34140200 HAS SOPS 34140200 HAS SOUS 12004566 HAS SOUPS 12004566 WITH SCORE 1.20387062E7
AT ITER 5379 NEW BEST:: SOT 107466321 SOS 34143431 HAS SOPS 34143431 HAS SOUS 12002788 HAS SOUPS 12002788 WITH SCORE 1.2036931431E7
AT ITER 5396 NEW BEST:: SOT 107466047 SOS 34140691 HAS SOPS 34140691 HAS SOUS 12002240 HAS SOUPS 12002240 WITH SCORE 1.2036380691E7
AT ITER 5413 NEW BEST:: SOT 107465904 SOS 34139261 HAS SOPS 34139261 HAS SOUS 12001954 HAS SOUPS 12001954 WITH SCORE 1.2036093261E7
AT ITER 5422 NEW BEST:: SOT 107466086 SOS 34139625 HAS SOPS 34139625 HAS SOUS 12001270 HAS SOUPS 12001270 WITH SCORE 1.2035409625E7
AT ITER 5453 NEW BEST:: SOT 107463548 SOS 34132813 HAS SOPS 34132813 HAS SOUS 12000336 HAS SOUPS 12000336 WITH SCORE 1.2034468813E7
AT ITER 5464 NEW BEST:: SOT 107462588 SOS 34131853 HAS SOPS 34131853 HAS SOUS 11999376 HAS SOUPS 11999376 WITH SCORE 1.2033507853E7
AT ITER 5475 NEW BEST:: SOT 107462129 SOS 34130935 HAS SOPS 34130935 HAS SOUS 11994786 HAS SOUPS 11994786 WITH SCORE 1.2028916935E7
AT ITER 5477 NEW BEST:: SOT 107462129 SOS 34130935 HAS SOPS 34130935 HAS SOUS 11994388 HAS SOUPS 11994388 WITH SCORE 1.2028518935E7
AT ITER 5485 NEW BEST:: SOT 107462129 SOS 34124158 HAS SOPS 34124158 HAS SOUS 11993635 HAS SOUPS 11993635 WITH SCORE 1.2027759158E7
AT ITER 5510 NEW BEST:: SOT 107459753 SOS 34121782 HAS SOPS 34121782 HAS SOUS 11991259 HAS SOUPS 11991259 WITH SCORE 1.2025380782E7
AT ITER 5511 NEW BEST:: SOT 107459266 SOS 34116425 HAS SOPS 34116425 HAS SOUS 11989798 HAS SOUPS 11989798 WITH SCORE 1.2023914425E7
AT ITER 5561 NEW BEST:: SOT 107459266 SOS 34112315 HAS SOPS 34112315 HAS SOUS 11988976 HAS SOUPS 11988976 WITH SCORE 1.2023088315E7
AT ITER 5581 NEW BEST:: SOT 107452948 SOS 34098977 HAS SOPS 34098977 HAS SOUS 11981254 HAS SOUPS 11981254 WITH SCORE 1.2015352977E7
AT ITER 5584 NEW BEST:: SOT 107452500 SOS 34095120 HAS SOPS 34095120 HAS SOUS 11980029 HAS SOUPS 11980029 WITH SCORE 1.201412412E7
AT ITER 5586 NEW BEST:: SOT 107452284 SOS 34094904 HAS SOPS 34094904 HAS SOUS 11979813 HAS SOUPS 11979813 WITH SCORE 1.2013907904E7
AT ITER 5609 NEW BEST:: SOT 107452284 SOS 34096152 HAS SOPS 34096152 HAS SOUS 11978565 HAS SOUPS 11978565 WITH SCORE 1.2012661152E7
AT ITER 5611 NEW BEST:: SOT 107452046 SOS 34095676 HAS SOPS 34095676 HAS SOUS 11978089 HAS SOUPS 11978089 WITH SCORE 1.2012184676E7
AT ITER 5617 NEW BEST:: SOT 107452046 SOS 34095405 HAS SOPS 34095405 HAS SOUS 11977818 HAS SOUPS 11977818 WITH SCORE 1.2011913405E7
AT ITER 5636 NEW BEST:: SOT 107452046 SOS 34095405 HAS SOPS 34095405 HAS SOUS 11975595 HAS SOUPS 11975595 WITH SCORE 1.2009690405E7
AT ITER 5666 NEW BEST:: SOT 107451817 SOS 34095176 HAS SOPS 34095176 HAS SOUS 11975366 HAS SOUPS 11975366 WITH SCORE 1.2009461176E7
AT ITER 5705 NEW BEST:: SOT 107448937 SOS 34092296 HAS SOPS 34092296 HAS SOUS 11972486 HAS SOUPS 11972486 WITH SCORE 1.2006578296E7
AT ITER 5714 NEW BEST:: SOT 107448741 SOS 34092100 HAS SOPS 34092100 HAS SOUS 11972290 HAS SOUPS 11972290 WITH SCORE 1.20063821E7
AT ITER 5722 NEW BEST:: SOT 107448741 SOS 34089840 HAS SOPS 34089840 HAS SOUS 11971838 HAS SOUPS 11971838 WITH SCORE 1.200592784E7
AT ITER 5735 NEW BEST:: SOT 107448037 SOS 34082800 HAS SOPS 34082800 HAS SOUS 11970430 HAS SOUPS 11970430 WITH SCORE 1.20045128E7
AT ITER 5742 NEW BEST:: SOT 107441485 SOS 34075520 HAS SOPS 34075520 HAS SOUS 11963150 HAS SOUPS 11963150 WITH SCORE 1.199722552E7
AT ITER 5787 NEW BEST:: SOT 107441957 SOS 34075992 HAS SOPS 34075992 HAS SOUS 11962726 HAS SOUPS 11962726 WITH SCORE 1.1996801992E7
AT ITER 5806 NEW BEST:: SOT 107439293 SOS 34073328 HAS SOPS 34073328 HAS SOUS 11960062 HAS SOUPS 11960062 WITH SCORE 1.1994135328E7
AT ITER 5809 NEW BEST:: SOT 107442144 SOS 34078240 HAS SOPS 34078240 HAS SOUS 11959673 HAS SOUPS 11959673 WITH SCORE 1.199375124E7
AT ITER 5832 NEW BEST:: SOT 107442010 SOS 34077972 HAS SOPS 34077972 HAS SOUS 11959405 HAS SOUPS 11959405 WITH SCORE 1.1993482972E7
AT ITER 5883 NEW BEST:: SOT 107437231 SOS 34067883 HAS SOPS 34067883 HAS SOUS 11953564 HAS SOUPS 11953564 WITH SCORE 1.1987631883E7
AT ITER 5915 NEW BEST:: SOT 107436471 SOS 34060283 HAS SOPS 34060283 HAS SOUS 11952044 HAS SOUPS 11952044 WITH SCORE 1.1986104283E7
AT ITER 5939 NEW BEST:: SOT 107436392 SOS 34059493 HAS SOPS 34059493 HAS SOUS 11951886 HAS SOUPS 11951886 WITH SCORE 1.1985945493E7
AT ITER 5978 NEW BEST:: SOT 107435717 SOS 34058068 HAS SOPS 34058068 HAS SOUS 11951061 HAS SOUPS 11951061 WITH SCORE 1.1985119068E7
AT ITER 5981 NEW BEST:: SOT 107435450 SOS 34057801 HAS SOPS 34057801 HAS SOUS 11950527 HAS SOUPS 11950527 WITH SCORE 1.1984584801E7
AT ITER 5991 NEW BEST:: SOT 107435422 SOS 34057773 HAS SOPS 34057773 HAS SOUS 11950527 HAS SOUPS 11950527 WITH SCORE 1.1984584773E7
AT ITER 6000 NEW BEST:: SOT 107427913 SOS 34042755 HAS SOPS 34042755 HAS SOUS 11946248 HAS SOUPS 11946248 WITH SCORE 1.1980290755E7
AT ITER 6021 NEW BEST:: SOT 107423701 SOS 34034331 HAS SOPS 34034331 HAS SOUS 11941568 HAS SOUPS 11941568 WITH SCORE 1.1975602331E7
AT ITER 6027 NEW BEST:: SOT 107421321 SOS 34029571 HAS SOPS 34029571 HAS SOUS 11939064 HAS SOUPS 11939064 WITH SCORE 1.1973093571E7
AT ITER 6038 NEW BEST:: SOT 107416101 SOS 34024281 HAS SOPS 34024281 HAS SOUS 11933830 HAS SOUPS 11933830 WITH SCORE 1.1967854281E7
AT ITER 6051 NEW BEST:: SOT 107415382 SOS 34017091 HAS SOPS 34017091 HAS SOUS 11932392 HAS SOUPS 11932392 WITH SCORE 1.1966409091E7
AT ITER 6052 NEW BEST:: SOT 107415382 SOS 34016381 HAS SOPS 34016381 HAS SOUS 11932250 HAS SOUPS 11932250 WITH SCORE 1.1966266381E7
AT ITER 6053 NEW BEST:: SOT 107415076 SOS 34014035 HAS SOPS 34014035 HAS SOUS 11932250 HAS SOUPS 11932250 WITH SCORE 1.1966264035E7
AT ITER 6080 NEW BEST:: SOT 107415076 SOS 34014547 HAS SOPS 34014547 HAS SOUS 11931674 HAS SOUPS 11931674 WITH SCORE 1.1965688547E7
AT ITER 6112 NEW BEST:: SOT 107415076 SOS 34014547 HAS SOPS 34014547 HAS SOUS 11930752 HAS SOUPS 11930752 WITH SCORE 1.1964766547E7
AT ITER 6196 NEW BEST:: SOT 107413684 SOS 34013155 HAS SOPS 34013155 HAS SOUS 11929360 HAS SOUPS 11929360 WITH SCORE 1.1963373155E7
AT ITER 6213 NEW BEST:: SOT 107413252 SOS 34012723 HAS SOPS 34012723 HAS SOUS 11928928 HAS SOUPS 11928928 WITH SCORE 1.1962940723E7
AT ITER 6223 NEW BEST:: SOT 107415367 SOS 34016308 HAS SOPS 34016308 HAS SOUS 11922713 HAS SOUPS 11922713 WITH SCORE 1.1956729308E7
AT ITER 6237 NEW BEST:: SOT 107414836 SOS 34015777 HAS SOPS 34015777 HAS SOUS 11922182 HAS SOUPS 11922182 WITH SCORE 1.1956197777E7
AT ITER 6285 NEW BEST:: SOT 107413500 SOS 34014441 HAS SOPS 34014441 HAS SOUS 11920846 HAS SOUPS 11920846 WITH SCORE 1.1954860441E7
AT ITER 6290 NEW BEST:: SOT 107413500 SOS 34015537 HAS SOPS 34015537 HAS SOUS 11919750 HAS SOUPS 11919750 WITH SCORE 1.1953765537E7
AT ITER 6291 NEW BEST:: SOT 107413500 SOS 34015527 HAS SOPS 34015527 HAS SOUS 11919748 HAS SOUPS 11919748 WITH SCORE 1.1953763527E7
AT ITER 6339 NEW BEST:: SOT 107415129 SOS 34016921 HAS SOPS 34016921 HAS SOUS 11919211 HAS SOUPS 11919211 WITH SCORE 1.1953227921E7
AT ITER 6344 NEW BEST:: SOT 107415129 SOS 34016921 HAS SOPS 34016921 HAS SOUS 11918428 HAS SOUPS 11918428 WITH SCORE 1.1952444921E7
AT ITER 6358 NEW BEST:: SOT 107414541 SOS 34010453 HAS SOPS 34010453 HAS SOUS 11916664 HAS SOUPS 11916664 WITH SCORE 1.1950674453E7
AT ITER 6361 NEW BEST:: SOT 107414541 SOS 34010453 HAS SOPS 34010453 HAS SOUS 11916000 HAS SOUPS 11916000 WITH SCORE 1.1950010453E7
AT ITER 6363 NEW BEST:: SOT 107414541 SOS 34010451 HAS SOPS 34010451 HAS SOUS 11915998 HAS SOUPS 11915998 WITH SCORE 1.1950008451E7
AT ITER 6404 NEW BEST:: SOT 107414541 SOS 34010730 HAS SOPS 34010730 HAS SOUS 11915750 HAS SOUPS 11915750 WITH SCORE 1.194976073E7
AT ITER 6411 NEW BEST:: SOT 107414541 SOS 34007526 HAS SOPS 34007526 HAS SOUS 11915642 HAS SOUPS 11915642 WITH SCORE 1.1949649526E7
AT ITER 6421 NEW BEST:: SOT 107414074 SOS 34007059 HAS SOPS 34007059 HAS SOUS 11914805 HAS SOUPS 11914805 WITH SCORE 1.1948812059E7
AT ITER 6422 NEW BEST:: SOT 107413829 SOS 34006814 HAS SOPS 34006814 HAS SOUS 11914315 HAS SOUPS 11914315 WITH SCORE 1.1948321814E7
AT ITER 6424 NEW BEST:: SOT 107410813 SOS 34003798 HAS SOPS 34003798 HAS SOUS 11911299 HAS SOUPS 11911299 WITH SCORE 1.1945302798E7
AT ITER 6427 NEW BEST:: SOT 107410813 SOS 34002298 HAS SOPS 34002298 HAS SOUS 11910999 HAS SOUPS 11910999 WITH SCORE 1.1945001298E7
AT ITER 6451 NEW BEST:: SOT 107410813 SOS 34003730 HAS SOPS 34003730 HAS SOUS 11909388 HAS SOUPS 11909388 WITH SCORE 1.194339173E7
AT ITER 6453 NEW BEST:: SOT 107407366 SOS 34000283 HAS SOPS 34000283 HAS SOUS 11905941 HAS SOUPS 11905941 WITH SCORE 1.1939941283E7
AT ITER 6462 NEW BEST:: SOT 107407072 SOS 33997343 HAS SOPS 33997343 HAS SOUS 11905353 HAS SOUPS 11905353 WITH SCORE 1.1939350343E7
AT ITER 6472 NEW BEST:: SOT 107406624 SOS 33992505 HAS SOPS 33992505 HAS SOUS 11904019 HAS SOUPS 11904019 WITH SCORE 1.1938011505E7
AT ITER 6483 NEW BEST:: SOT 107400819 SOS 33980895 HAS SOPS 33980895 HAS SOUS 11897569 HAS SOUPS 11897569 WITH SCORE 1.1931549895E7
AT ITER 6504 NEW BEST:: SOT 107400819 SOS 33980185 HAS SOPS 33980185 HAS SOUS 11897427 HAS SOUPS 11897427 WITH SCORE 1.1931407185E7
AT ITER 6510 NEW BEST:: SOT 107400498 SOS 33979864 HAS SOPS 33979864 HAS SOUS 11897427 HAS SOUPS 11897427 WITH SCORE 1.1931406864E7
AT ITER 6564 NEW BEST:: SOT 107402244 SOS 33983102 HAS SOPS 33983102 HAS SOUS 11895580 HAS SOUPS 11895580 WITH SCORE 1.1929563102E7
AT ITER 6569 NEW BEST:: SOT 107402244 SOS 33983102 HAS SOPS 33983102 HAS SOUS 11894468 HAS SOUPS 11894468 WITH SCORE 1.1928451102E7
AT ITER 6580 NEW BEST:: SOT 107402244 SOS 33979532 HAS SOPS 33979532 HAS SOUS 11893754 HAS SOUPS 11893754 WITH SCORE 1.1927733532E7
AT ITER 6625 NEW BEST:: SOT 107401543 SOS 33971821 HAS SOPS 33971821 HAS SOUS 11891651 HAS SOUPS 11891651 WITH SCORE 1.1925622821E7
AT ITER 6628 NEW BEST:: SOT 107406531 SOS 33981797 HAS SOPS 33981797 HAS SOUS 11891189 HAS SOUPS 11891189 WITH SCORE 1.1925170797E7
AT ITER 6648 NEW BEST:: SOT 107404155 SOS 33976781 HAS SOPS 33976781 HAS SOUS 11888285 HAS SOUPS 11888285 WITH SCORE 1.1922261781E7
AT ITER 6664 NEW BEST:: SOT 107404155 SOS 33969671 HAS SOPS 33969671 HAS SOUS 11887495 HAS SOUPS 11887495 WITH SCORE 1.1921464671E7
AT ITER 6668 NEW BEST:: SOT 107403628 SOS 33969144 HAS SOPS 33969144 HAS SOUS 11886441 HAS SOUPS 11886441 WITH SCORE 1.1920410144E7
AT ITER 6706 NEW BEST:: SOT 107397904 SOS 33957060 HAS SOPS 33957060 HAS SOUS 11879445 HAS SOUPS 11879445 WITH SCORE 1.191340206E7
AT ITER 6715 NEW BEST:: SOT 107397904 SOS 33956070 HAS SOPS 33956070 HAS SOUS 11879247 HAS SOUPS 11879247 WITH SCORE 1.191320307E7
AT ITER 6719 NEW BEST:: SOT 107395456 SOS 33951174 HAS SOPS 33951174 HAS SOUS 11876527 HAS SOUPS 11876527 WITH SCORE 1.1910478174E7
AT ITER 6721 NEW BEST:: SOT 107395456 SOS 33951174 HAS SOPS 33951174 HAS SOUS 11876453 HAS SOUPS 11876453 WITH SCORE 1.1910404174E7
AT ITER 6727 NEW BEST:: SOT 107395456 SOS 33943844 HAS SOPS 33943844 HAS SOUS 11874987 HAS SOUPS 11874987 WITH SCORE 1.1908930844E7
AT ITER 6739 NEW BEST:: SOT 107395456 SOS 33943844 HAS SOPS 33943844 HAS SOUS 11874873 HAS SOUPS 11874873 WITH SCORE 1.1908816844E7
AT ITER 6743 NEW BEST:: SOT 107395456 SOS 33940974 HAS SOPS 33940974 HAS SOUS 11874299 HAS SOUPS 11874299 WITH SCORE 1.1908239974E7
AT ITER 6764 NEW BEST:: SOT 107395456 SOS 33940974 HAS SOPS 33940974 HAS SOUS 11874254 HAS SOUPS 11874254 WITH SCORE 1.1908194974E7
AT ITER 6775 NEW BEST:: SOT 107395456 SOS 33937514 HAS SOPS 33937514 HAS SOUS 11873562 HAS SOUPS 11873562 WITH SCORE 1.1907499514E7
AT ITER 6791 NEW BEST:: SOT 107395456 SOS 33934256 HAS SOPS 33934256 HAS SOUS 11873200 HAS SOUPS 11873200 WITH SCORE 1.1907134256E7
AT ITER 6800 NEW BEST:: SOT 107396484 SOS 33936312 HAS SOPS 33936312 HAS SOUS 11872872 HAS SOUPS 11872872 WITH SCORE 1.1906808312E7
AT ITER 6808 NEW BEST:: SOT 107394594 SOS 33930636 HAS SOPS 33930636 HAS SOUS 11871663 HAS SOUPS 11871663 WITH SCORE 1.1905593636E7
AT ITER 6814 NEW BEST:: SOT 107394594 SOS 33930420 HAS SOPS 33930420 HAS SOUS 11871447 HAS SOUPS 11871447 WITH SCORE 1.190537742E7
AT ITER 6847 NEW BEST:: SOT 107394188 SOS 33925954 HAS SOPS 33925954 HAS SOUS 11870229 HAS SOUPS 11870229 WITH SCORE 1.1904154954E7
AT ITER 6856 NEW BEST:: SOT 107394188 SOS 33919690 HAS SOPS 33919690 HAS SOUS 11869533 HAS SOUPS 11869533 WITH SCORE 1.190345269E7
AT ITER 6859 NEW BEST:: SOT 107394278 SOS 33914128 HAS SOPS 33914128 HAS SOUS 11869075 HAS SOUPS 11869075 WITH SCORE 1.1902989128E7
AT ITER 6864 NEW BEST:: SOT 107394278 SOS 33917638 HAS SOPS 33917638 HAS SOUS 11866809 HAS SOUPS 11866809 WITH SCORE 1.1900726638E7
AT ITER 6869 NEW BEST:: SOT 107393550 SOS 33909363 HAS SOPS 33909363 HAS SOUS 11864358 HAS SOUPS 11864358 WITH SCORE 1.1898267363E7
AT ITER 6896 NEW BEST:: SOT 107393002 SOS 33908815 HAS SOPS 33908815 HAS SOUS 11862814 HAS SOUPS 11862814 WITH SCORE 1.1896722815E7
AT ITER 6952 NEW BEST:: SOT 107393002 SOS 33908815 HAS SOPS 33908815 HAS SOUS 11862321 HAS SOUPS 11862321 WITH SCORE 1.1896229815E7
AT ITER 6966 NEW BEST:: SOT 107393002 SOS 33900235 HAS SOPS 33900235 HAS SOUS 11860605 HAS SOUPS 11860605 WITH SCORE 1.1894505235E7
AT ITER 6980 NEW BEST:: SOT 107392949 SOS 33900182 HAS SOPS 33900182 HAS SOUS 11860552 HAS SOUPS 11860552 WITH SCORE 1.1894452182E7
AT ITER 6996 NEW BEST:: SOT 107387189 SOS 33888662 HAS SOPS 33888662 HAS SOUS 11854152 HAS SOUPS 11854152 WITH SCORE 1.1888040662E7
AT ITER 7034 NEW BEST:: SOT 107386958 SOS 33886121 HAS SOPS 33886121 HAS SOUS 11853459 HAS SOUPS 11853459 WITH SCORE 1.1887345121E7
AT ITER 7050 NEW BEST:: SOT 107380325 SOS 33872855 HAS SOPS 33872855 HAS SOUS 11846089 HAS SOUPS 11846089 WITH SCORE 1.1879961855E7
AT ITER 7066 NEW BEST:: SOT 107379696 SOS 33866565 HAS SOPS 33866565 HAS SOUS 11844831 HAS SOUPS 11844831 WITH SCORE 1.1878697565E7
AT ITER 7079 NEW BEST:: SOT 107379696 SOS 33868669 HAS SOPS 33868669 HAS SOUS 11842524 HAS SOUPS 11842524 WITH SCORE 1.1876392669E7
AT ITER 7080 NEW BEST:: SOT 107379696 SOS 33862252 HAS SOPS 33862252 HAS SOUS 11841811 HAS SOUPS 11841811 WITH SCORE 1.1875673252E7
AT ITER 7097 NEW BEST:: SOT 107379696 SOS 33854585 HAS SOPS 33854585 HAS SOUS 11841184 HAS SOUPS 11841184 WITH SCORE 1.1875038585E7
AT ITER 7146 NEW BEST:: SOT 107382191 SOS 33856783 HAS SOPS 33856783 HAS SOUS 11840953 HAS SOUPS 11840953 WITH SCORE 1.1874809783E7
AT ITER 7150 NEW BEST:: SOT 107379464 SOS 33851026 HAS SOPS 33851026 HAS SOUS 11837620 HAS SOUPS 11837620 WITH SCORE 1.1871471026E7
AT ITER 7151 NEW BEST:: SOT 107371548 SOS 33835194 HAS SOPS 33835194 HAS SOUS 11828864 HAS SOUPS 11828864 WITH SCORE 1.1862699194E7
AT ITER 7170 NEW BEST:: SOT 107371953 SOS 33837884 HAS SOPS 33837884 HAS SOUS 11827295 HAS SOUPS 11827295 WITH SCORE 1.1861132884E7
AT ITER 7184 NEW BEST:: SOT 107371953 SOS 33841916 HAS SOPS 33841916 HAS SOUS 11823650 HAS SOUPS 11823650 WITH SCORE 1.1857491916E7
AT ITER 7203 NEW BEST:: SOT 107375806 SOS 33853078 HAS SOPS 33853078 HAS SOUS 11821829 HAS SOUPS 11821829 WITH SCORE 1.1855682078E7
AT ITER 7223 NEW BEST:: SOT 107374206 SOS 33851478 HAS SOPS 33851478 HAS SOUS 11820229 HAS SOUPS 11820229 WITH SCORE 1.1854080478E7
AT ITER 7236 NEW BEST:: SOT 107375748 SOS 33860563 HAS SOPS 33860563 HAS SOUS 11816105 HAS SOUPS 11816105 WITH SCORE 1.1849965563E7
AT ITER 7247 NEW BEST:: SOT 107375869 SOS 33860684 HAS SOPS 33860684 HAS SOUS 11815826 HAS SOUPS 11815826 WITH SCORE 1.1849686684E7
AT ITER 7264 NEW BEST:: SOT 107375482 SOS 33860639 HAS SOPS 33860639 HAS SOUS 11815781 HAS SOUPS 11815781 WITH SCORE 1.1849641639E7
AT ITER 7275 NEW BEST:: SOT 107374602 SOS 33852966 HAS SOPS 33852966 HAS SOUS 11813364 HAS SOUPS 11813364 WITH SCORE 1.1847216966E7
AT ITER 7285 NEW BEST:: SOT 107374094 SOS 33847886 HAS SOPS 33847886 HAS SOUS 11812348 HAS SOUPS 11812348 WITH SCORE 1.1846195886E7
AT ITER 7289 NEW BEST:: SOT 107373797 SOS 33847015 HAS SOPS 33847015 HAS SOUS 11811205 HAS SOUPS 11811205 WITH SCORE 1.1845052015E7
AT ITER 7344 NEW BEST:: SOT 107366872 SOS 33840205 HAS SOPS 33840205 HAS SOUS 11805315 HAS SOUPS 11805315 WITH SCORE 1.1839155205E7
AT ITER 7363 NEW BEST:: SOT 107366620 SOS 33837685 HAS SOPS 33837685 HAS SOUS 11804811 HAS SOUPS 11804811 WITH SCORE 1.1838648685E7
AT ITER 7364 NEW BEST:: SOT 107366172 SOS 33833333 HAS SOPS 33833333 HAS SOUS 11803531 HAS SOUPS 11803531 WITH SCORE 1.1837364333E7
AT ITER 7373 NEW BEST:: SOT 107364404 SOS 33831565 HAS SOPS 33831565 HAS SOUS 11801763 HAS SOUPS 11801763 WITH SCORE 1.1835594565E7
AT ITER 7375 NEW BEST:: SOT 107363835 SOS 33830996 HAS SOPS 33830996 HAS SOUS 11801194 HAS SOUPS 11801194 WITH SCORE 1.1835024996E7
AT ITER 7403 NEW BEST:: SOT 107363715 SOS 33833128 HAS SOPS 33833128 HAS SOUS 11800542 HAS SOUPS 11800542 WITH SCORE 1.1834375128E7
AT ITER 7407 NEW BEST:: SOT 107363715 SOS 33827858 HAS SOPS 33827858 HAS SOUS 11799488 HAS SOUPS 11799488 WITH SCORE 1.1833315858E7
AT ITER 7418 NEW BEST:: SOT 107363590 SOS 33826608 HAS SOPS 33826608 HAS SOUS 11799238 HAS SOUPS 11799238 WITH SCORE 1.1833064608E7
AT ITER 7432 NEW BEST:: SOT 107363590 SOS 33825758 HAS SOPS 33825758 HAS SOUS 11799068 HAS SOUPS 11799068 WITH SCORE 1.1832893758E7
AT ITER 7469 NEW BEST:: SOT 107360107 SOS 33821888 HAS SOPS 33821888 HAS SOUS 11793168 HAS SOUPS 11793168 WITH SCORE 1.1826989888E7
AT ITER 7473 NEW BEST:: SOT 107358739 SOS 33819000 HAS SOPS 33819000 HAS SOUS 11791496 HAS SOUPS 11791496 WITH SCORE 1.1825315E7
AT ITER 7478 NEW BEST:: SOT 107360350 SOS 33821673 HAS SOPS 33821673 HAS SOUS 11790833 HAS SOUPS 11790833 WITH SCORE 1.1824654673E7
AT ITER 7479 NEW BEST:: SOT 107360222 SOS 33821417 HAS SOPS 33821417 HAS SOUS 11788361 HAS SOUPS 11788361 WITH SCORE 1.1822182417E7
AT ITER 7492 NEW BEST:: SOT 107360222 SOS 33821417 HAS SOPS 33821417 HAS SOUS 11786233 HAS SOUPS 11786233 WITH SCORE 1.1820054417E7
AT ITER 7503 NEW BEST:: SOT 107356658 SOS 33817457 HAS SOPS 33817457 HAS SOUS 11782273 HAS SOUPS 11782273 WITH SCORE 1.1816090457E7
AT ITER 7504 NEW BEST:: SOT 107356658 SOS 33817637 HAS SOPS 33817637 HAS SOUS 11782133 HAS SOUPS 11782133 WITH SCORE 1.1815950637E7
AT ITER 7507 NEW BEST:: SOT 107356658 SOS 33817237 HAS SOPS 33817237 HAS SOUS 11782133 HAS SOUPS 11782133 WITH SCORE 1.1815950237E7
AT ITER 7539 NEW BEST:: SOT 107356658 SOS 33816013 HAS SOPS 33816013 HAS SOUS 11781997 HAS SOUPS 11781997 WITH SCORE 1.1815813013E7
AT ITER 7574 NEW BEST:: SOT 107356658 SOS 33819317 HAS SOPS 33819317 HAS SOUS 11780616 HAS SOUPS 11780616 WITH SCORE 1.1814435317E7
AT ITER 7591 NEW BEST:: SOT 107356292 SOS 33818585 HAS SOPS 33818585 HAS SOUS 11778444 HAS SOUPS 11778444 WITH SCORE 1.1812262585E7
AT ITER 7623 NEW BEST:: SOT 107355760 SOS 33818053 HAS SOPS 33818053 HAS SOUS 11778253 HAS SOUPS 11778253 WITH SCORE 1.1812071053E7
AT ITER 7628 NEW BEST:: SOT 107351700 SOS 33806765 HAS SOPS 33806765 HAS SOUS 11775685 HAS SOUPS 11775685 WITH SCORE 1.1809491765E7
AT ITER 7635 NEW BEST:: SOT 107351911 SOS 33806976 HAS SOPS 33806976 HAS SOUS 11774802 HAS SOUPS 11774802 WITH SCORE 1.1808608976E7
AT ITER 7642 NEW BEST:: SOT 107348905 SOS 33803636 HAS SOPS 33803636 HAS SOUS 11768030 HAS SOUPS 11768030 WITH SCORE 1.1801833636E7
AT ITER 7649 NEW BEST:: SOT 107348349 SOS 33803080 HAS SOPS 33803080 HAS SOUS 11767324 HAS SOUPS 11767324 WITH SCORE 1.180112708E7
AT ITER 7652 NEW BEST:: SOT 107348349 SOS 33802480 HAS SOPS 33802480 HAS SOUS 11767324 HAS SOUPS 11767324 WITH SCORE 1.180112648E7
AT ITER 7660 NEW BEST:: SOT 107341910 SOS 33789602 HAS SOPS 33789602 HAS SOUS 11760270 HAS SOUPS 11760270 WITH SCORE 1.1794059602E7
AT ITER 7676 NEW BEST:: SOT 107344385 SOS 33831623 HAS SOPS 33831623 HAS SOUS 11760143 HAS SOUPS 11760143 WITH SCORE 1.1793974623E7
AT ITER 7698 NEW BEST:: SOT 107343664 SOS 33824413 HAS SOPS 33824413 HAS SOUS 11758701 HAS SOUPS 11758701 WITH SCORE 1.1792525413E7
AT ITER 7701 NEW BEST:: SOT 107343664 SOS 33824413 HAS SOPS 33824413 HAS SOUS 11758642 HAS SOUPS 11758642 WITH SCORE 1.1792466413E7
AT ITER 7708 NEW BEST:: SOT 107343415 SOS 33821923 HAS SOPS 33821923 HAS SOUS 11758144 HAS SOUPS 11758144 WITH SCORE 1.1791965923E7
AT ITER 7709 NEW BEST:: SOT 107342146 SOS 33820513 HAS SOPS 33820513 HAS SOUS 11756734 HAS SOUPS 11756734 WITH SCORE 1.1790554513E7
AT ITER 7714 NEW BEST:: SOT 107346214 SOS 33825836 HAS SOPS 33825836 HAS SOUS 11756492 HAS SOUPS 11756492 WITH SCORE 1.1790317836E7
AT ITER 7730 NEW BEST:: SOT 107346214 SOS 33823976 HAS SOPS 33823976 HAS SOUS 11756120 HAS SOUPS 11756120 WITH SCORE 1.1789943976E7
AT ITER 7746 NEW BEST:: SOT 107346081 SOS 33823843 HAS SOPS 33823843 HAS SOUS 11755987 HAS SOUPS 11755987 WITH SCORE 1.1789810843E7
AT ITER 7773 NEW BEST:: SOT 107346081 SOS 33823843 HAS SOPS 33823843 HAS SOUS 11755572 HAS SOUPS 11755572 WITH SCORE 1.1789395843E7
AT ITER 7783 NEW BEST:: SOT 107339835 SOS 33811351 HAS SOPS 33811351 HAS SOUS 11748632 HAS SOUPS 11748632 WITH SCORE 1.1782443351E7
AT ITER 7803 NEW BEST:: SOT 107338197 SOS 33808075 HAS SOPS 33808075 HAS SOUS 11746812 HAS SOUPS 11746812 WITH SCORE 1.1780620075E7
AT ITER 7809 NEW BEST:: SOT 107338954 SOS 33809589 HAS SOPS 33809589 HAS SOUS 11745854 HAS SOUPS 11745854 WITH SCORE 1.1779663589E7
AT ITER 7814 NEW BEST:: SOT 107338954 SOS 33808894 HAS SOPS 33808894 HAS SOUS 11739599 HAS SOUPS 11739599 WITH SCORE 1.1773407894E7
AT ITER 7822 NEW BEST:: SOT 107338496 SOS 33807978 HAS SOPS 33807978 HAS SOUS 11738683 HAS SOUPS 11738683 WITH SCORE 1.1772490978E7
AT ITER 7825 NEW BEST:: SOT 107338496 SOS 33809682 HAS SOPS 33809682 HAS SOUS 11736905 HAS SOUPS 11736905 WITH SCORE 1.1770714682E7
AT ITER 7828 NEW BEST:: SOT 107338478 SOS 33809502 HAS SOPS 33809502 HAS SOUS 11736869 HAS SOUPS 11736869 WITH SCORE 1.1770678502E7
AT ITER 7860 NEW BEST:: SOT 107335490 SOS 33803194 HAS SOPS 33803194 HAS SOUS 11733217 HAS SOUPS 11733217 WITH SCORE 1.1767020194E7
AT ITER 7877 NEW BEST:: SOT 107334712 SOS 33801638 HAS SOPS 33801638 HAS SOUS 11731661 HAS SOUPS 11731661 WITH SCORE 1.1765462638E7
AT ITER 7883 NEW BEST:: SOT 107334614 SOS 33800658 HAS SOPS 33800658 HAS SOUS 11731465 HAS SOUPS 11731465 WITH SCORE 1.1765265658E7
AT ITER 7906 NEW BEST:: SOT 107334614 SOS 33797578 HAS SOPS 33797578 HAS SOUS 11730849 HAS SOUPS 11730849 WITH SCORE 1.1764646578E7
AT ITER 7907 NEW BEST:: SOT 107332491 SOS 33795455 HAS SOPS 33795455 HAS SOUS 11728726 HAS SOUPS 11728726 WITH SCORE 1.1762521455E7
AT ITER 7909 NEW BEST:: SOT 107332491 SOS 33794999 HAS SOPS 33794999 HAS SOUS 11728270 HAS SOUPS 11728270 WITH SCORE 1.1762064999E7
AT ITER 7910 NEW BEST:: SOT 107324571 SOS 33778345 HAS SOPS 33778345 HAS SOUS 11719184 HAS SOUPS 11719184 WITH SCORE 1.1752962345E7
AT ITER 7918 NEW BEST:: SOT 107324571 SOS 33781315 HAS SOPS 33781315 HAS SOUS 11717746 HAS SOUPS 11717746 WITH SCORE 1.1751527315E7
AT ITER 7955 NEW BEST:: SOT 107324043 SOS 33778401 HAS SOPS 33778401 HAS SOUS 11716728 HAS SOUPS 11716728 WITH SCORE 1.1750506401E7
AT ITER 7962 NEW BEST:: SOT 107319066 SOS 33772871 HAS SOPS 33772871 HAS SOUS 11716199 HAS SOUPS 11716199 WITH SCORE 1.1749971871E7
AT ITER 7983 NEW BEST:: SOT 107314314 SOS 33762839 HAS SOPS 33762839 HAS SOUS 11710391 HAS SOUPS 11710391 WITH SCORE 1.1744153839E7
AT ITER 7985 NEW BEST:: SOT 107314305 SOS 33762208 HAS SOPS 33762208 HAS SOUS 11709832 HAS SOUPS 11709832 WITH SCORE 1.1743594208E7
AT ITER 7988 NEW BEST:: SOT 107314305 SOS 33764448 HAS SOPS 33764448 HAS SOUS 11707312 HAS SOUPS 11707312 WITH SCORE 1.1741076448E7
AT ITER 8018 NEW BEST:: SOT 107311973 SOS 33759784 HAS SOPS 33759784 HAS SOUS 11705808 HAS SOUPS 11705808 WITH SCORE 1.1739567784E7
AT ITER 8028 NEW BEST:: SOT 107308382 SOS 33752203 HAS SOPS 33752203 HAS SOUS 11701419 HAS SOUPS 11701419 WITH SCORE 1.1735171203E7
AT ITER 8058 NEW BEST:: SOT 107308292 SOS 33751303 HAS SOPS 33751303 HAS SOUS 11701239 HAS SOUPS 11701239 WITH SCORE 1.1734990303E7
AT ITER 8060 NEW BEST:: SOT 107308292 SOS 33751287 HAS SOPS 33751287 HAS SOUS 11701223 HAS SOUPS 11701223 WITH SCORE 1.1734974287E7
AT ITER 8061 NEW BEST:: SOT 107304872 SOS 33747867 HAS SOPS 33747867 HAS SOUS 11697803 HAS SOUPS 11697803 WITH SCORE 1.1731550867E7
AT ITER 8070 NEW BEST:: SOT 107304872 SOS 33747637 HAS SOPS 33747637 HAS SOUS 11697757 HAS SOUPS 11697757 WITH SCORE 1.1731504637E7
AT ITER 8072 NEW BEST:: SOT 107304305 SOS 33747070 HAS SOPS 33747070 HAS SOUS 11697190 HAS SOUPS 11697190 WITH SCORE 1.173093707E7
AT ITER 8078 NEW BEST:: SOT 107304305 SOS 33746770 HAS SOPS 33746770 HAS SOUS 11694826 HAS SOUPS 11694826 WITH SCORE 1.172857277E7
AT ITER 8086 NEW BEST:: SOT 107304305 SOS 33739970 HAS SOPS 33739970 HAS SOUS 11693466 HAS SOUPS 11693466 WITH SCORE 1.172720597E7
AT ITER 8108 NEW BEST:: SOT 107296476 SOS 33724312 HAS SOPS 33724312 HAS SOUS 11685667 HAS SOUPS 11685667 WITH SCORE 1.1719391312E7
AT ITER 8121 NEW BEST:: SOT 107293296 SOS 33716362 HAS SOPS 33716362 HAS SOUS 11681957 HAS SOUPS 11681957 WITH SCORE 1.1715673362E7
AT ITER 8123 NEW BEST:: SOT 107288625 SOS 33711172 HAS SOPS 33711172 HAS SOUS 11677344 HAS SOUPS 11677344 WITH SCORE 1.1711055172E7
AT ITER 8152 NEW BEST:: SOT 107289185 SOS 33712292 HAS SOPS 33712292 HAS SOUS 11676383 HAS SOUPS 11676383 WITH SCORE 1.1710095292E7
AT ITER 8164 NEW BEST:: SOT 107288719 SOS 33711826 HAS SOPS 33711826 HAS SOUS 11676383 HAS SOUPS 11676383 WITH SCORE 1.1710094826E7
AT ITER 8175 NEW BEST:: SOT 107288719 SOS 33711467 HAS SOPS 33711467 HAS SOUS 11673854 HAS SOUPS 11673854 WITH SCORE 1.1707565467E7
AT ITER 8189 NEW BEST:: SOT 107288265 SOS 33711013 HAS SOPS 33711013 HAS SOUS 11672706 HAS SOUPS 11672706 WITH SCORE 1.1706417013E7
AT ITER 8193 NEW BEST:: SOT 107287710 SOS 33710458 HAS SOPS 33710458 HAS SOUS 11672151 HAS SOUPS 11672151 WITH SCORE 1.1705861458E7
AT ITER 8227 NEW BEST:: SOT 107284766 SOS 33707514 HAS SOPS 33707514 HAS SOUS 11669207 HAS SOUPS 11669207 WITH SCORE 1.1702914514E7
AT ITER 8232 NEW BEST:: SOT 107284766 SOS 33705021 HAS SOPS 33705021 HAS SOUS 11668930 HAS SOUPS 11668930 WITH SCORE 1.1702635021E7
AT ITER 8281 NEW BEST:: SOT 107284766 SOS 33705975 HAS SOPS 33705975 HAS SOUS 11668113 HAS SOUPS 11668113 WITH SCORE 1.1701818975E7
AT ITER 8328 NEW BEST:: SOT 107284766 SOS 33700435 HAS SOPS 33700435 HAS SOUS 11667005 HAS SOUPS 11667005 WITH SCORE 1.1700705435E7
AT ITER 8333 NEW BEST:: SOT 107284766 SOS 33699697 HAS SOPS 33699697 HAS SOUS 11666923 HAS SOUPS 11666923 WITH SCORE 1.1700622697E7
AT ITER 8341 NEW BEST:: SOT 107284142 SOS 33699073 HAS SOPS 33699073 HAS SOUS 11666299 HAS SOUPS 11666299 WITH SCORE 1.1699998073E7
AT ITER 8362 NEW BEST:: SOT 107284102 SOS 33699033 HAS SOPS 33699033 HAS SOUS 11666259 HAS SOUPS 11666259 WITH SCORE 1.1699958033E7
AT ITER 8409 NEW BEST:: SOT 107284201 SOS 33699132 HAS SOPS 33699132 HAS SOUS 11666149 HAS SOUPS 11666149 WITH SCORE 1.1699848132E7
AT ITER 8413 NEW BEST:: SOT 107284201 SOS 33699753 HAS SOPS 33699753 HAS SOUS 11665666 HAS SOUPS 11665666 WITH SCORE 1.1699365753E7
AT ITER 8424 NEW BEST:: SOT 107283715 SOS 33699267 HAS SOPS 33699267 HAS SOUS 11665126 HAS SOUPS 11665126 WITH SCORE 1.1698825267E7
AT ITER 8466 NEW BEST:: SOT 107282835 SOS 33692551 HAS SOPS 33692551 HAS SOUS 11662938 HAS SOUPS 11662938 WITH SCORE 1.1696630551E7
AT ITER 8472 NEW BEST:: SOT 107282039 SOS 33684591 HAS SOPS 33684591 HAS SOUS 11661346 HAS SOUPS 11661346 WITH SCORE 1.1695030591E7
AT ITER 8480 NEW BEST:: SOT 107282006 SOS 33684261 HAS SOPS 33684261 HAS SOUS 11661280 HAS SOUPS 11661280 WITH SCORE 1.1694964261E7
AT ITER 8493 NEW BEST:: SOT 107277974 SOS 33675896 HAS SOPS 33675896 HAS SOUS 11657822 HAS SOUPS 11657822 WITH SCORE 1.1691497896E7
AT ITER 8499 NEW BEST:: SOT 107274392 SOS 33665382 HAS SOPS 33665382 HAS SOUS 11655044 HAS SOUPS 11655044 WITH SCORE 1.1688709382E7
AT ITER 8510 NEW BEST:: SOT 107274392 SOS 33665382 HAS SOPS 33665382 HAS SOUS 11653914 HAS SOUPS 11653914 WITH SCORE 1.1687579382E7
AT ITER 8515 NEW BEST:: SOT 107273780 SOS 33664090 HAS SOPS 33664090 HAS SOUS 11653166 HAS SOUPS 11653166 WITH SCORE 1.168683009E7
AT ITER 8526 NEW BEST:: SOT 107273683 SOS 33662828 HAS SOPS 33662828 HAS SOUS 11652680 HAS SOUPS 11652680 WITH SCORE 1.1686342828E7
AT ITER 8543 NEW BEST:: SOT 107273342 SOS 33662146 HAS SOPS 33662146 HAS SOUS 11651044 HAS SOUPS 11651044 WITH SCORE 1.1684706146E7
AT ITER 8559 NEW BEST:: SOT 107273198 SOS 33661986 HAS SOPS 33661986 HAS SOUS 11650601 HAS SOUPS 11650601 WITH SCORE 1.1684262986E7
AT ITER 8564 NEW BEST:: SOT 107272648 SOS 33661607 HAS SOPS 33661607 HAS SOUS 11650070 HAS SOUPS 11650070 WITH SCORE 1.1683731607E7
AT ITER 8572 NEW BEST:: SOT 107271768 SOS 33656328 HAS SOPS 33656328 HAS SOUS 11647919 HAS SOUPS 11647919 WITH SCORE 1.1681575328E7
AT ITER 8575 NEW BEST:: SOT 107269610 SOS 33654373 HAS SOPS 33654373 HAS SOUS 11647671 HAS SOUPS 11647671 WITH SCORE 1.1681325373E7
AT ITER 8592 NEW BEST:: SOT 107269090 SOS 33653853 HAS SOPS 33653853 HAS SOUS 11647580 HAS SOUPS 11647580 WITH SCORE 1.1681233853E7
AT ITER 8599 NEW BEST:: SOT 107268759 SOS 33653522 HAS SOPS 33653522 HAS SOUS 11646886 HAS SOUPS 11646886 WITH SCORE 1.1680539522E7
AT ITER 8614 NEW BEST:: SOT 107268642 SOS 33653405 HAS SOPS 33653405 HAS SOUS 11646886 HAS SOUPS 11646886 WITH SCORE 1.1680539405E7
AT ITER 8619 NEW BEST:: SOT 107264529 SOS 33649499 HAS SOPS 33649499 HAS SOUS 11644636 HAS SOUPS 11644636 WITH SCORE 1.1678285499E7
AT ITER 8635 NEW BEST:: SOT 107263822 SOS 33642429 HAS SOPS 33642429 HAS SOUS 11643222 HAS SOUPS 11643222 WITH SCORE 1.1676864429E7
AT ITER 8654 NEW BEST:: SOT 107263748 SOS 33642355 HAS SOPS 33642355 HAS SOUS 11643065 HAS SOUPS 11643065 WITH SCORE 1.1676707355E7
AT ITER 8665 NEW BEST:: SOT 107261696 SOS 33640075 HAS SOPS 33640075 HAS SOUS 11638961 HAS SOUPS 11638961 WITH SCORE 1.1672601075E7
AT ITER 8674 NEW BEST:: SOT 107258987 SOS 33637065 HAS SOPS 33637065 HAS SOUS 11633830 HAS SOUPS 11633830 WITH SCORE 1.1667467065E7
AT ITER 8687 NEW BEST:: SOT 107258987 SOS 33637011 HAS SOPS 33637011 HAS SOUS 11633824 HAS SOUPS 11633824 WITH SCORE 1.1667461011E7
AT ITER 8713 NEW BEST:: SOT 107258821 SOS 33636845 HAS SOPS 33636845 HAS SOUS 11633447 HAS SOUPS 11633447 WITH SCORE 1.1667083845E7
AT ITER 8720 NEW BEST:: SOT 107258122 SOS 33629855 HAS SOPS 33629855 HAS SOUS 11632049 HAS SOUPS 11632049 WITH SCORE 1.1665678855E7
AT ITER 8730 NEW BEST:: SOT 107257042 SOS 33629321 HAS SOPS 33629321 HAS SOUS 11631515 HAS SOUPS 11631515 WITH SCORE 1.1665144321E7
AT ITER 8736 NEW BEST:: SOT 107257042 SOS 33632233 HAS SOPS 33632233 HAS SOUS 11630539 HAS SOUPS 11630539 WITH SCORE 1.1664171233E7
AT ITER 8767 NEW BEST:: SOT 107257042 SOS 33632233 HAS SOPS 33632233 HAS SOUS 11629831 HAS SOUPS 11629831 WITH SCORE 1.1663463233E7
AT ITER 8783 NEW BEST:: SOT 107257042 SOS 33625003 HAS SOPS 33625003 HAS SOUS 11628385 HAS SOUPS 11628385 WITH SCORE 1.1662010003E7
AT ITER 8786 NEW BEST:: SOT 107256988 SOS 33624895 HAS SOPS 33624895 HAS SOUS 11628325 HAS SOUPS 11628325 WITH SCORE 1.1661949895E7
AT ITER 8787 NEW BEST:: SOT 107256738 SOS 33624645 HAS SOPS 33624645 HAS SOUS 11628325 HAS SOUPS 11628325 WITH SCORE 1.1661949645E7
AT ITER 8826 NEW BEST:: SOT 107256895 SOS 33624802 HAS SOPS 33624802 HAS SOUS 11628011 HAS SOUPS 11628011 WITH SCORE 1.1661635802E7
AT ITER 8834 NEW BEST:: SOT 107256208 SOS 33617932 HAS SOPS 33617932 HAS SOUS 11626637 HAS SOUPS 11626637 WITH SCORE 1.1660254932E7
AT ITER 8841 NEW BEST:: SOT 107248824 SOS 33603852 HAS SOPS 33603852 HAS SOUS 11618509 HAS SOUPS 11618509 WITH SCORE 1.1652112852E7
AT ITER 8842 NEW BEST:: SOT 107248576 SOS 33602597 HAS SOPS 33602597 HAS SOUS 11617502 HAS SOUPS 11617502 WITH SCORE 1.1651104597E7
AT ITER 8857 NEW BEST:: SOT 107248576 SOS 33602484 HAS SOPS 33602484 HAS SOUS 11617389 HAS SOUPS 11617389 WITH SCORE 1.1650991484E7
AT ITER 8869 NEW BEST:: SOT 107247818 SOS 33600968 HAS SOPS 33600968 HAS SOUS 11610418 HAS SOUPS 11610418 WITH SCORE 1.1644018968E7
AT ITER 8887 NEW BEST:: SOT 107248898 SOS 33605576 HAS SOPS 33605576 HAS SOUS 11608930 HAS SOUPS 11608930 WITH SCORE 1.1642535576E7
AT ITER 8924 NEW BEST:: SOT 107245433 SOS 33601726 HAS SOPS 33601726 HAS SOUS 11604392 HAS SOUPS 11604392 WITH SCORE 1.1637993726E7
AT ITER 8944 NEW BEST:: SOT 107245433 SOS 33600866 HAS SOPS 33600866 HAS SOUS 11604220 HAS SOUPS 11604220 WITH SCORE 1.1637820866E7
AT ITER 8968 NEW BEST:: SOT 107243553 SOS 33598986 HAS SOPS 33598986 HAS SOUS 11602340 HAS SOUPS 11602340 WITH SCORE 1.1635938986E7
AT ITER 8970 NEW BEST:: SOT 107236767 SOS 33591446 HAS SOPS 33591446 HAS SOUS 11590504 HAS SOUPS 11590504 WITH SCORE 1.1624095446E7
AT ITER 8973 NEW BEST:: SOT 107230810 SOS 33579532 HAS SOPS 33579532 HAS SOUS 11588602 HAS SOUPS 11588602 WITH SCORE 1.1622181532E7
AT ITER 8985 NEW BEST:: SOT 107230681 SOS 33577480 HAS SOPS 33577480 HAS SOUS 11587582 HAS SOUPS 11587582 WITH SCORE 1.162115948E7
AT ITER 8993 NEW BEST:: SOT 107230681 SOS 33572836 HAS SOPS 33572836 HAS SOUS 11587066 HAS SOUPS 11587066 WITH SCORE 1.1620638836E7
AT ITER 9008 NEW BEST:: SOT 107230222 SOS 33572326 HAS SOPS 33572326 HAS SOUS 11586900 HAS SOUPS 11586900 WITH SCORE 1.1620472326E7
AT ITER 9009 NEW BEST:: SOT 107229342 SOS 33565985 HAS SOPS 33565985 HAS SOUS 11584631 HAS SOUPS 11584631 WITH SCORE 1.1618196985E7
AT ITER 9011 NEW BEST:: SOT 107229307 SOS 33565009 HAS SOPS 33565009 HAS SOUS 11583935 HAS SOUPS 11583935 WITH SCORE 1.1617500009E7
AT ITER 9033 NEW BEST:: SOT 107229307 SOS 33566206 HAS SOPS 33566206 HAS SOUS 11582908 HAS SOUPS 11582908 WITH SCORE 1.1616474206E7
AT ITER 9091 NEW BEST:: SOT 107229307 SOS 33572158 HAS SOPS 33572158 HAS SOUS 11580817 HAS SOUPS 11580817 WITH SCORE 1.1614389158E7
AT ITER 9093 NEW BEST:: SOT 107229307 SOS 33571448 HAS SOPS 33571448 HAS SOUS 11580675 HAS SOUPS 11580675 WITH SCORE 1.1614246448E7
AT ITER 9104 NEW BEST:: SOT 107228579 SOS 33564168 HAS SOPS 33564168 HAS SOUS 11579219 HAS SOUPS 11579219 WITH SCORE 1.1612783168E7
AT ITER 9114 NEW BEST:: SOT 107222094 SOS 33551198 HAS SOPS 33551198 HAS SOUS 11572662 HAS SOUPS 11572662 WITH SCORE 1.1606213198E7
AT ITER 9118 NEW BEST:: SOT 107222094 SOS 33548598 HAS SOPS 33548598 HAS SOUS 11572390 HAS SOUPS 11572390 WITH SCORE 1.1605938598E7
AT ITER 9130 NEW BEST:: SOT 107222094 SOS 33548598 HAS SOPS 33548598 HAS SOUS 11571564 HAS SOUPS 11571564 WITH SCORE 1.1605112598E7
AT ITER 9137 NEW BEST:: SOT 107222462 SOS 33548966 HAS SOPS 33548966 HAS SOUS 11570828 HAS SOUPS 11570828 WITH SCORE 1.1604376966E7
AT ITER 9160 NEW BEST:: SOT 107218430 SOS 33541472 HAS SOPS 33541472 HAS SOUS 11567456 HAS SOUPS 11567456 WITH SCORE 1.1600997472E7
AT ITER 9171 NEW BEST:: SOT 107218430 SOS 33541472 HAS SOPS 33541472 HAS SOUS 11567282 HAS SOUPS 11567282 WITH SCORE 1.1600823472E7
AT ITER 9179 NEW BEST:: SOT 107218366 SOS 33546632 HAS SOPS 33546632 HAS SOUS 11562442 HAS SOUPS 11562442 WITH SCORE 1.1595988632E7
AT ITER 9183 NEW BEST:: SOT 107218637 SOS 33546903 HAS SOPS 33546903 HAS SOUS 11562429 HAS SOUPS 11562429 WITH SCORE 1.1595975903E7
AT ITER 9198 NEW BEST:: SOT 107218817 SOS 33547083 HAS SOPS 33547083 HAS SOUS 11562415 HAS SOUPS 11562415 WITH SCORE 1.1595962083E7
AT ITER 9208 NEW BEST:: SOT 107210897 SOS 33526993 HAS SOPS 33526993 HAS SOUS 11556569 HAS SOUPS 11556569 WITH SCORE 1.1590095993E7
AT ITER 9212 NEW BEST:: SOT 107210897 SOS 33526993 HAS SOPS 33526993 HAS SOUS 11556076 HAS SOUPS 11556076 WITH SCORE 1.1589602993E7
AT ITER 9217 NEW BEST:: SOT 107210897 SOS 33526993 HAS SOPS 33526993 HAS SOUS 11555540 HAS SOUPS 11555540 WITH SCORE 1.1589066993E7
AT ITER 9240 NEW BEST:: SOT 107210897 SOS 33523663 HAS SOPS 33523663 HAS SOUS 11554874 HAS SOUPS 11554874 WITH SCORE 1.1588397663E7
AT ITER 9259 NEW BEST:: SOT 107210859 SOS 33523625 HAS SOPS 33523625 HAS SOUS 11554836 HAS SOUPS 11554836 WITH SCORE 1.1588359625E7
AT ITER 9262 NEW BEST:: SOT 107209979 SOS 33514413 HAS SOPS 33514413 HAS SOUS 11552248 HAS SOUPS 11552248 WITH SCORE 1.1585762413E7
AT ITER 9307 NEW BEST:: SOT 107209972 SOS 33514275 HAS SOPS 33514275 HAS SOUS 11552166 HAS SOUPS 11552166 WITH SCORE 1.1585680275E7
AT ITER 9318 NEW BEST:: SOT 107206912 SOS 33508155 HAS SOPS 33508155 HAS SOUS 11548766 HAS SOUPS 11548766 WITH SCORE 1.1582274155E7
AT ITER 9344 NEW BEST:: SOT 107206032 SOS 33499029 HAS SOPS 33499029 HAS SOUS 11545752 HAS SOUPS 11545752 WITH SCORE 1.1579251029E7
AT ITER 9353 NEW BEST:: SOT 107204628 SOS 33497469 HAS SOPS 33497469 HAS SOUS 11543608 HAS SOUPS 11543608 WITH SCORE 1.1577105469E7
AT ITER 9408 NEW BEST:: SOT 107198034 SOS 33491321 HAS SOPS 33491321 HAS SOUS 11541388 HAS SOUPS 11541388 WITH SCORE 1.1574879321E7
AT ITER 9410 NEW BEST:: SOT 107197731 SOS 33490715 HAS SOPS 33490715 HAS SOUS 11540171 HAS SOUPS 11540171 WITH SCORE 1.1573661715E7
AT ITER 9421 NEW BEST:: SOT 107197731 SOS 33492857 HAS SOPS 33492857 HAS SOUS 11538267 HAS SOUPS 11538267 WITH SCORE 1.1571759857E7
AT ITER 9464 NEW BEST:: SOT 107194752 SOS 33486899 HAS SOPS 33486899 HAS SOUS 11534957 HAS SOUPS 11534957 WITH SCORE 1.1568443899E7
AT ITER 9476 NEW BEST:: SOT 107191764 SOS 33483771 HAS SOPS 33483771 HAS SOUS 11531941 HAS SOUPS 11531941 WITH SCORE 1.1565424771E7
AT ITER 9491 NEW BEST:: SOT 107183889 SOS 33475021 HAS SOPS 33475021 HAS SOUS 11520841 HAS SOUPS 11520841 WITH SCORE 1.1554316021E7
AT ITER 9499 NEW BEST:: SOT 107186940 SOS 33477747 HAS SOPS 33477747 HAS SOUS 11520642 HAS SOUPS 11520642 WITH SCORE 1.1554119747E7
AT ITER 9506 NEW BEST:: SOT 107185914 SOS 33475695 HAS SOPS 33475695 HAS SOUS 11519502 HAS SOUPS 11519502 WITH SCORE 1.1552977695E7
AT ITER 9513 NEW BEST:: SOT 107185637 SOS 33472925 HAS SOPS 33472925 HAS SOUS 11518948 HAS SOUPS 11518948 WITH SCORE 1.1552420925E7
AT ITER 9523 NEW BEST:: SOT 107184909 SOS 33468082 HAS SOPS 33468082 HAS SOUS 11517265 HAS SOUPS 11517265 WITH SCORE 1.1550733082E7
AT ITER 9526 NEW BEST:: SOT 107184909 SOS 33468082 HAS SOPS 33468082 HAS SOUS 11516620 HAS SOUPS 11516620 WITH SCORE 1.1550088082E7
AT ITER 9557 NEW BEST:: SOT 107184909 SOS 33468026 HAS SOPS 33468026 HAS SOUS 11516060 HAS SOUPS 11516060 WITH SCORE 1.1549528026E7
AT ITER 9558 NEW BEST:: SOT 107184750 SOS 33467867 HAS SOPS 33467867 HAS SOUS 11516060 HAS SOUPS 11516060 WITH SCORE 1.1549527867E7
AT ITER 9591 NEW BEST:: SOT 107184345 SOS 33467462 HAS SOPS 33467462 HAS SOUS 11515655 HAS SOUPS 11515655 WITH SCORE 1.1549122462E7
AT ITER 9596 NEW BEST:: SOT 107184345 SOS 33467322 HAS SOPS 33467322 HAS SOUS 11515627 HAS SOUPS 11515627 WITH SCORE 1.1549094322E7
AT ITER 9603 NEW BEST:: SOT 107184325 SOS 33467122 HAS SOPS 33467122 HAS SOUS 11515587 HAS SOUPS 11515587 WITH SCORE 1.1549054122E7
AT ITER 9620 NEW BEST:: SOT 107184325 SOS 33467122 HAS SOPS 33467122 HAS SOUS 11515501 HAS SOUPS 11515501 WITH SCORE 1.1548968122E7
AT ITER 9632 NEW BEST:: SOT 107184325 SOS 33465822 HAS SOPS 33465822 HAS SOUS 11515241 HAS SOUPS 11515241 WITH SCORE 1.1548706822E7
AT ITER 9635 NEW BEST:: SOT 107184325 SOS 33465822 HAS SOPS 33465822 HAS SOUS 11514777 HAS SOUPS 11514777 WITH SCORE 1.1548242822E7
AT ITER 9638 NEW BEST:: SOT 107182246 SOS 33463512 HAS SOPS 33463512 HAS SOUS 11510388 HAS SOUPS 11510388 WITH SCORE 1.1543851512E7
AT ITER 9644 NEW BEST:: SOT 107182246 SOS 33462132 HAS SOPS 33462132 HAS SOUS 11510112 HAS SOUPS 11510112 WITH SCORE 1.1543574132E7
AT ITER 9647 NEW BEST:: SOT 107182246 SOS 33456342 HAS SOPS 33456342 HAS SOUS 11508954 HAS SOUPS 11508954 WITH SCORE 1.1542410342E7
AT ITER 9676 NEW BEST:: SOT 107182537 SOS 33452844 HAS SOPS 33452844 HAS SOUS 11508824 HAS SOUPS 11508824 WITH SCORE 1.1542276844E7
AT ITER 9686 NEW BEST:: SOT 107183595 SOS 33454644 HAS SOPS 33454644 HAS SOUS 11507800 HAS SOUPS 11507800 WITH SCORE 1.1541254644E7
AT ITER 9712 NEW BEST:: SOT 107183289 SOS 33451584 HAS SOPS 33451584 HAS SOUS 11507188 HAS SOUPS 11507188 WITH SCORE 1.1540639584E7
AT ITER 9727 NEW BEST:: SOT 107182438 SOS 33449882 HAS SOPS 33449882 HAS SOUS 11500964 HAS SOUPS 11500964 WITH SCORE 1.1534413882E7
AT ITER 9728 NEW BEST:: SOT 107181899 SOS 33444492 HAS SOPS 33444492 HAS SOUS 11499886 HAS SOUPS 11499886 WITH SCORE 1.1533330492E7
AT ITER 9737 NEW BEST:: SOT 107181899 SOS 33440912 HAS SOPS 33440912 HAS SOUS 11499170 HAS SOUPS 11499170 WITH SCORE 1.1532610912E7
AT ITER 9742 NEW BEST:: SOT 107181899 SOS 33440912 HAS SOPS 33440912 HAS SOUS 11499156 HAS SOUPS 11499156 WITH SCORE 1.1532596912E7
AT ITER 9746 NEW BEST:: SOT 107181639 SOS 33438052 HAS SOPS 33438052 HAS SOUS 11498376 HAS SOUPS 11498376 WITH SCORE 1.1531814052E7
AT ITER 9762 NEW BEST:: SOT 107181087 SOS 33437500 HAS SOPS 33437500 HAS SOUS 11497824 HAS SOUPS 11497824 WITH SCORE 1.15312615E7
AT ITER 9779 NEW BEST:: SOT 107180853 SOS 33434926 HAS SOPS 33434926 HAS SOUS 11497122 HAS SOUPS 11497122 WITH SCORE 1.1530556926E7
AT ITER 9780 NEW BEST:: SOT 107180853 SOS 33426166 HAS SOPS 33426166 HAS SOUS 11495370 HAS SOUPS 11495370 WITH SCORE 1.1528796166E7
AT ITER 9798 NEW BEST:: SOT 107183085 SOS 33436454 HAS SOPS 33436454 HAS SOUS 11495124 HAS SOUPS 11495124 WITH SCORE 1.1528560454E7
AT ITER 9816 NEW BEST:: SOT 107183085 SOS 33436131 HAS SOPS 33436131 HAS SOUS 11494801 HAS SOUPS 11494801 WITH SCORE 1.1528237131E7
AT ITER 9894 NEW BEST:: SOT 107179053 SOS 33427652 HAS SOPS 33427652 HAS SOUS 11490203 HAS SOUPS 11490203 WITH SCORE 1.1523630652E7
AT ITER 9898 NEW BEST:: SOT 107178844 SOS 33427443 HAS SOPS 33427443 HAS SOUS 11489994 HAS SOUPS 11489994 WITH SCORE 1.1523421443E7
AT ITER 9908 NEW BEST:: SOT 107178844 SOS 33425623 HAS SOPS 33425623 HAS SOUS 11489630 HAS SOUPS 11489630 WITH SCORE 1.1523055623E7
AT ITER 9915 NEW BEST:: SOT 107178844 SOS 33425623 HAS SOPS 33425623 HAS SOUS 11489627 HAS SOUPS 11489627 WITH SCORE 1.1523052623E7
AT ITER 9942 NEW BEST:: SOT 107178361 SOS 33420793 HAS SOPS 33420793 HAS SOUS 11488661 HAS SOUPS 11488661 WITH SCORE 1.1522081793E7
AT ITER 9982 NEW BEST:: SOT 107178361 SOS 33420793 HAS SOPS 33420793 HAS SOUS 11488619 HAS SOUPS 11488619 WITH SCORE 1.1522039793E7
AT ITER 9987 NEW BEST:: SOT 107178361 SOS 33420793 HAS SOPS 33420793 HAS SOUS 11488531 HAS SOUPS 11488531 WITH SCORE 1.1521951793E7
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 11676572 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16084620 kB

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.

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="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
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 4"
echo " Run identifier is r235-tall-167856421200072"
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 ;