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.r483-tall-167912696901336.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 smart
Input is ViralEpidemic-PT-S08D1C2A04, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r483-tall-167912696901336
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 27M
-rw-r--r-- 1 mcc users 7.6K Feb 25 21:32 CTLCardinality.txt
-rw-r--r-- 1 mcc users 68K Feb 25 21:32 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.1K Feb 25 20:57 CTLFireability.txt
-rw-r--r-- 1 mcc users 71K Feb 25 20:57 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.1K Feb 25 17:27 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 17:27 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Feb 25 17:27 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 17:27 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 25 22:53 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 133K Feb 25 22:53 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.6K Feb 25 22:16 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 69K Feb 25 22:16 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 17:27 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 17:27 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 11 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 27M Mar 5 18:23 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 1679200845264

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=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=ViralEpidemic-PT-S08D1C2A04
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ViralEpidemic (PT), instance S08D1C2A04
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 46811 places, 79577 transitions, 191921 arcs.
AT ITER 0 NEW BEST:: SOT -1993024553 SOS 1781676493 HAS SOPS 1781676493 HAS SOUS 290401190 HAS SOUPS 290401190 WITH SCORE 2.92182866493E8
AT ITER 3 NEW BEST:: SOT -1993034397 SOS 1781632194 HAS SOPS 1781632194 HAS SOUS 290401189 HAS SOUPS 290401189 WITH SCORE 2.92182821194E8
AT ITER 11 NEW BEST:: SOT -1993045217 SOS 1781583503 HAS SOPS 1781583503 HAS SOUS 290401188 HAS SOUPS 290401188 WITH SCORE 2.92182771503E8
AT ITER 27 NEW BEST:: SOT -1993141461 SOS 1781256943 HAS SOPS 1781256943 HAS SOUS 290376263 HAS SOUPS 290376263 WITH SCORE 2.92157519943E8
AT ITER 31 NEW BEST:: SOT -1993188925 SOS 1781043353 HAS SOPS 1781043353 HAS SOUS 290376261 HAS SOUPS 290376261 WITH SCORE 2.92157304353E8
AT ITER 41 NEW BEST:: SOT -1993219661 SOS 1780905035 HAS SOPS 1780905035 HAS SOUS 290376255 HAS SOUPS 290376255 WITH SCORE 2.92157160035E8
AT ITER 56 NEW BEST:: SOT -1993274665 SOS 1780657512 HAS SOPS 1780657512 HAS SOUS 290376250 HAS SOUPS 290376250 WITH SCORE 2.92156907512E8
AT ITER 58 NEW BEST:: SOT -1993331841 SOS 1780400216 HAS SOPS 1780400216 HAS SOUS 290376246 HAS SOUPS 290376246 WITH SCORE 2.92156646216E8
AT ITER 59 NEW BEST:: SOT -1993341301 SOS 1780357645 HAS SOPS 1780357645 HAS SOUS 290376245 HAS SOUPS 290376245 WITH SCORE 2.92156602645E8
AT ITER 76 NEW BEST:: SOT -1993391313 SOS 1780132591 HAS SOPS 1780132591 HAS SOUS 290376245 HAS SOUPS 290376245 WITH SCORE 2.92156377591E8
AT ITER 82 NEW BEST:: SOT -1993455433 SOS 1779844048 HAS SOPS 1779844048 HAS SOUS 290376242 HAS SOUPS 290376242 WITH SCORE 2.92156086048E8
AT ITER 87 NEW BEST:: SOT -1993488609 SOS 1779694752 HAS SOPS 1779694752 HAS SOUS 290376238 HAS SOUPS 290376238 WITH SCORE 2.92155932752E8
AT ITER 90 NEW BEST:: SOT -1993536601 SOS 1779478788 HAS SOPS 1779478788 HAS SOUS 290376238 HAS SOUPS 290376238 WITH SCORE 2.92155716788E8
AT ITER 95 NEW BEST:: SOT -1993553441 SOS 1779403001 HAS SOPS 1779403001 HAS SOUS 290376229 HAS SOUPS 290376229 WITH SCORE 2.92155632001E8
AT ITER 97 NEW BEST:: SOT -1993573089 SOS 1779314584 HAS SOPS 1779314584 HAS SOUS 290376228 HAS SOUPS 290376228 WITH SCORE 2.92155542584E8
AT ITER 124 NEW BEST:: SOT -1993587455 SOS 1779249937 HAS SOPS 1779249937 HAS SOUS 290376228 HAS SOUPS 290376228 WITH SCORE 2.92155477937E8
AT ITER 126 NEW BEST:: SOT -1993604189 SOS 1779174631 HAS SOPS 1779174631 HAS SOUS 290376225 HAS SOUPS 290376225 WITH SCORE 2.92155399631E8
AT ITER 128 NEW BEST:: SOT -1993668501 SOS 1778885221 HAS SOPS 1778885221 HAS SOUS 290376219 HAS SOUPS 290376219 WITH SCORE 2.92155104221E8
AT ITER 130 NEW BEST:: SOT -1993693785 SOS 1778771437 HAS SOPS 1778771437 HAS SOUS 290376213 HAS SOUPS 290376213 WITH SCORE 2.92154984437E8
AT ITER 141 NEW BEST:: SOT -1993726621 SOS 1778623670 HAS SOPS 1778623670 HAS SOUS 290376208 HAS SOUPS 290376208 WITH SCORE 2.9215483167E8
AT ITER 146 NEW BEST:: SOT -1993776485 SOS 1778399277 HAS SOPS 1778399277 HAS SOUS 290376203 HAS SOUPS 290376203 WITH SCORE 2.92154602277E8
AT ITER 167 NEW BEST:: SOT -1993795365 SOS 1778314310 HAS SOPS 1778314310 HAS SOUS 290376194 HAS SOUPS 290376194 WITH SCORE 2.9215450831E8
AT ITER 172 NEW BEST:: SOT -1993835531 SOS 1778133560 HAS SOPS 1778133560 HAS SOUS 290376191 HAS SOUPS 290376191 WITH SCORE 2.9215432456E8
AT ITER 192 NEW BEST:: SOT -1993935076 SOS 1777799878 HAS SOPS 1777799878 HAS SOUS 290344961 HAS SOUPS 290344961 WITH SCORE 2.92122760878E8
AT ITER 195 NEW BEST:: SOT -1993965766 SOS 1777661773 HAS SOPS 1777661773 HAS SOUS 290344961 HAS SOUPS 290344961 WITH SCORE 2.92122622773E8
AT ITER 204 NEW BEST:: SOT -1993995800 SOS 1777526618 HAS SOPS 1777526618 HAS SOUS 290344959 HAS SOUPS 290344959 WITH SCORE 2.92122485618E8
AT ITER 214 NEW BEST:: SOT -1994013786 SOS 1777445675 HAS SOPS 1777445675 HAS SOUS 290344953 HAS SOUPS 290344953 WITH SCORE 2.92122398675E8
AT ITER 216 NEW BEST:: SOT -1994062102 SOS 1777228248 HAS SOPS 1777228248 HAS SOUS 290344948 HAS SOUPS 290344948 WITH SCORE 2.92122176248E8
AT ITER 220 NEW BEST:: SOT -1994087312 SOS 1777114803 HAS SOPS 1777114803 HAS SOUS 290344948 HAS SOUPS 290344948 WITH SCORE 2.92122062803E8
AT ITER 225 NEW BEST:: SOT -1994105068 SOS 1777034897 HAS SOPS 1777034897 HAS SOUS 290344944 HAS SOUPS 290344944 WITH SCORE 2.92121978897E8
AT ITER 233 NEW BEST:: SOT -1994156060 SOS 1776805427 HAS SOPS 1776805427 HAS SOUS 290344938 HAS SOUPS 290344938 WITH SCORE 2.92121743427E8
AT ITER 263 NEW BEST:: SOT -1994214220 SOS 1776543706 HAS SOPS 1776543706 HAS SOUS 290344937 HAS SOUPS 290344937 WITH SCORE 2.92121480706E8
AT ITER 271 NEW BEST:: SOT -1994221374 SOS 1776511511 HAS SOPS 1776511511 HAS SOUS 290344935 HAS SOUPS 290344935 WITH SCORE 2.92121446511E8
AT ITER 283 NEW BEST:: SOT -1994233148 SOS 1776458523 HAS SOPS 1776458523 HAS SOUS 290344930 HAS SOUPS 290344930 WITH SCORE 2.92121388523E8
AT ITER 291 NEW BEST:: SOT -1994269858 SOS 1776293326 HAS SOPS 1776293326 HAS SOUS 290344928 HAS SOUPS 290344928 WITH SCORE 2.92121221326E8
AT ITER 292 NEW BEST:: SOT -1994319410 SOS 1776070341 HAS SOPS 1776070341 HAS SOUS 290344927 HAS SOUPS 290344927 WITH SCORE 2.92120997341E8
AT ITER 311 NEW BEST:: SOT -1994349862 SOS 1775933303 HAS SOPS 1775933303 HAS SOUS 290344923 HAS SOUPS 290344923 WITH SCORE 2.92120856303E8
AT ITER 324 NEW BEST:: SOT -1994365256 SOS 1775864025 HAS SOPS 1775864025 HAS SOUS 290344918 HAS SOUPS 290344918 WITH SCORE 2.92120782025E8
AT ITER 330 NEW BEST:: SOT -1994400288 SOS 1775706377 HAS SOPS 1775706377 HAS SOUS 290344914 HAS SOUPS 290344914 WITH SCORE 2.92120620377E8
AT ITER 332 NEW BEST:: SOT -1994402974 SOS 1775694290 HAS SOPS 1775694290 HAS SOUS 290344914 HAS SOUPS 290344914 WITH SCORE 2.9212060829E8
AT ITER 333 NEW BEST:: SOT -1994466134 SOS 1775410065 HAS SOPS 1775410065 HAS SOUS 290344909 HAS SOUPS 290344909 WITH SCORE 2.92120319065E8
AT ITER 335 NEW BEST:: SOT -1994490542 SOS 1775300224 HAS SOPS 1775300224 HAS SOUS 290344904 HAS SOUPS 290344904 WITH SCORE 2.92120204224E8
AT ITER 363 NEW BEST:: SOT -1994540502 SOS 1775075402 HAS SOPS 1775075402 HAS SOUS 290344902 HAS SOUPS 290344902 WITH SCORE 2.92119977402E8
AT ITER 369 NEW BEST:: SOT -1994572602 SOS 1774930951 HAS SOPS 1774930951 HAS SOUS 290344901 HAS SOUPS 290344901 WITH SCORE 2.92119831951E8
AT ITER 371 NEW BEST:: SOT -1994620766 SOS 1774714207 HAS SOPS 1774714207 HAS SOUS 290344895 HAS SOUPS 290344895 WITH SCORE 2.92119609207E8
AT ITER 372 NEW BEST:: SOT -1994637482 SOS 1774638985 HAS SOPS 1774638985 HAS SOUS 290344895 HAS SOUPS 290344895 WITH SCORE 2.92119533985E8
AT ITER 419 NEW BEST:: SOT -1994690288 SOS 1774401354 HAS SOPS 1774401354 HAS SOUS 290344891 HAS SOUPS 290344891 WITH SCORE 2.92119292354E8
AT ITER 429 NEW BEST:: SOT -1994732934 SOS 1774209446 HAS SOPS 1774209446 HAS SOUS 290344890 HAS SOUPS 290344890 WITH SCORE 2.92119099446E8
AT ITER 431 NEW BEST:: SOT -1994735270 SOS 1774198931 HAS SOPS 1774198931 HAS SOUS 290344887 HAS SOUPS 290344887 WITH SCORE 2.92119085931E8
AT ITER 459 NEW BEST:: SOT -1994783842 SOS 1773980350 HAS SOPS 1773980350 HAS SOUS 290344878 HAS SOUPS 290344878 WITH SCORE 2.9211885835E8
AT ITER 489 NEW BEST:: SOT -1994794220 SOS 1773933647 HAS SOPS 1773933647 HAS SOUS 290344876 HAS SOUPS 290344876 WITH SCORE 2.92118809647E8
AT ITER 507 NEW BEST:: SOT -1994809892 SOS 1773863122 HAS SOPS 1773863122 HAS SOUS 290344875 HAS SOUPS 290344875 WITH SCORE 2.92118738122E8
AT ITER 508 NEW BEST:: SOT -1994860368 SOS 1773635978 HAS SOPS 1773635978 HAS SOUS 290344873 HAS SOUPS 290344873 WITH SCORE 2.92118508978E8
AT ITER 523 NEW BEST:: SOT -1994869824 SOS 1773593420 HAS SOPS 1773593420 HAS SOUS 290344867 HAS SOUPS 290344867 WITH SCORE 2.9211846042E8
AT ITER 534 NEW BEST:: SOT -1994886984 SOS 1773516198 HAS SOPS 1773516198 HAS SOUS 290344865 HAS SOUPS 290344865 WITH SCORE 2.92118381198E8
AT ITER 540 NEW BEST:: SOT -1994900406 SOS 1773455792 HAS SOPS 1773455792 HAS SOUS 290344856 HAS SOUPS 290344856 WITH SCORE 2.92118311792E8
AT ITER 558 NEW BEST:: SOT -1994901672 SOS 1773450090 HAS SOPS 1773450090 HAS SOUS 290344851 HAS SOUPS 290344851 WITH SCORE 2.9211830109E8
AT ITER 567 NEW BEST:: SOT -1994917518 SOS 1773378777 HAS SOPS 1773378777 HAS SOUS 290344845 HAS SOUPS 290344845 WITH SCORE 2.92118223777E8
AT ITER 569 NEW BEST:: SOT -1994951562 SOS 1773208994 HAS SOPS 1773208994 HAS SOUS 290328260 HAS SOUPS 290328260 WITH SCORE 2.92101468994E8
AT ITER 590 NEW BEST:: SOT -1995004532 SOS 1772970624 HAS SOPS 1772970624 HAS SOUS 290328255 HAS SOUPS 290328255 WITH SCORE 2.92101225624E8
AT ITER 631 NEW BEST:: SOT -1995032320 SOS 1772845571 HAS SOPS 1772845571 HAS SOUS 290328246 HAS SOUPS 290328246 WITH SCORE 2.92101091571E8
AT ITER 632 NEW BEST:: SOT -1995041564 SOS 1772803971 HAS SOPS 1772803971 HAS SOUS 290328244 HAS SOUPS 290328244 WITH SCORE 2.92101047971E8
AT ITER 635 NEW BEST:: SOT -1995087706 SOS 1772596332 HAS SOPS 1772596332 HAS SOUS 290328244 HAS SOUPS 290328244 WITH SCORE 2.92100840332E8
AT ITER 641 NEW BEST:: SOT -1995099546 SOS 1772543046 HAS SOPS 1772543046 HAS SOUS 290328238 HAS SOUPS 290328238 WITH SCORE 2.92100781046E8
AT ITER 653 NEW BEST:: SOT -1995138274 SOS 1772368766 HAS SOPS 1772368766 HAS SOUS 290328234 HAS SOUPS 290328234 WITH SCORE 2.92100602766E8
AT ITER 654 NEW BEST:: SOT -1995145136 SOS 1772337885 HAS SOPS 1772337885 HAS SOUS 290328232 HAS SOUPS 290328232 WITH SCORE 2.92100569885E8
AT ITER 657 NEW BEST:: SOT -1995192376 SOS 1772125304 HAS SOPS 1772125304 HAS SOUS 290328231 HAS SOUPS 290328231 WITH SCORE 2.92100356304E8
AT ITER 662 NEW BEST:: SOT -1995203332 SOS 1772076001 HAS SOPS 1772076001 HAS SOUS 290328230 HAS SOUPS 290328230 WITH SCORE 2.92100306001E8
AT ITER 668 NEW BEST:: SOT -1995229060 SOS 1771960225 HAS SOPS 1771960225 HAS SOUS 290328230 HAS SOUPS 290328230 WITH SCORE 2.92100190225E8
AT ITER 687 NEW BEST:: SOT -1995250226 SOS 1771864976 HAS SOPS 1771864976 HAS SOUS 290328228 HAS SOUPS 290328228 WITH SCORE 2.92100092976E8
AT ITER 691 NEW BEST:: SOT -1995263320 SOS 1771806052 HAS SOPS 1771806052 HAS SOUS 290328227 HAS SOUPS 290328227 WITH SCORE 2.92100033052E8
AT ITER 703 NEW BEST:: SOT -1995272748 SOS 1771763624 HAS SOPS 1771763624 HAS SOUS 290328225 HAS SOUPS 290328225 WITH SCORE 2.92099988624E8
AT ITER 722 NEW BEST:: SOT -1995326388 SOS 1771522243 HAS SOPS 1771522243 HAS SOUS 290328224 HAS SOUPS 290328224 WITH SCORE 2.92099746243E8
AT ITER 723 NEW BEST:: SOT -1995388398 SOS 1771243192 HAS SOPS 1771243192 HAS SOUS 290328218 HAS SOUPS 290328218 WITH SCORE 2.92099461192E8
AT ITER 725 NEW BEST:: SOT -1995410358 SOS 1771144369 HAS SOPS 1771144369 HAS SOUS 290328215 HAS SOUPS 290328215 WITH SCORE 2.92099359369E8
AT ITER 747 NEW BEST:: SOT -1995437572 SOS 1771021904 HAS SOPS 1771021904 HAS SOUS 290328213 HAS SOUPS 290328213 WITH SCORE 2.92099234904E8
AT ITER 748 NEW BEST:: SOT -1995460590 SOS 1770918318 HAS SOPS 1770918318 HAS SOUS 290328208 HAS SOUPS 290328208 WITH SCORE 2.92099126318E8
AT ITER 775 NEW BEST:: SOT -1995497404 SOS 1770752649 HAS SOPS 1770752649 HAS SOUS 290328202 HAS SOUPS 290328202 WITH SCORE 2.92098954649E8
AT ITER 790 NEW BEST:: SOT -1995518532 SOS 1770657570 HAS SOPS 1770657570 HAS SOUS 290328199 HAS SOUPS 290328199 WITH SCORE 2.9209885657E8
AT ITER 791 NEW BEST:: SOT -1995548206 SOS 1770524032 HAS SOPS 1770524032 HAS SOUS 290328194 HAS SOUPS 290328194 WITH SCORE 2.92098718032E8
AT ITER 820 NEW BEST:: SOT -1995582244 SOS 1770370855 HAS SOPS 1770370855 HAS SOUS 290328188 HAS SOUPS 290328188 WITH SCORE 2.92098558855E8
AT ITER 826 NEW BEST:: SOT -1995604874 SOS 1770269018 HAS SOPS 1770269018 HAS SOUS 290328186 HAS SOUPS 290328186 WITH SCORE 2.92098455018E8
AT ITER 840 NEW BEST:: SOT -1995658766 SOS 1770026504 HAS SOPS 1770026504 HAS SOUS 290328186 HAS SOUPS 290328186 WITH SCORE 2.92098212504E8
AT ITER 842 NEW BEST:: SOT -1995677678 SOS 1769933036 HAS SOPS 1769933036 HAS SOUS 290319822 HAS SOUPS 290319822 WITH SCORE 2.92089755036E8
AT ITER 858 NEW BEST:: SOT -1995679966 SOS 1769922739 HAS SOPS 1769922739 HAS SOUS 290319821 HAS SOUPS 290319821 WITH SCORE 2.92089743739E8
AT ITER 863 NEW BEST:: SOT -1995690331 SOS 1769888185 HAS SOPS 1769888185 HAS SOUS 290316362 HAS SOUPS 290316362 WITH SCORE 2.92086250185E8
AT ITER 888 NEW BEST:: SOT -1995737891 SOS 1769674159 HAS SOPS 1769674159 HAS SOUS 290316356 HAS SOUPS 290316356 WITH SCORE 2.92086030159E8
AT ITER 891 NEW BEST:: SOT -1995790021 SOS 1769439567 HAS SOPS 1769439567 HAS SOUS 290316347 HAS SOUPS 290316347 WITH SCORE 2.92085786567E8
AT ITER 901 NEW BEST:: SOT -1995842567 SOS 1769203105 HAS SOPS 1769203105 HAS SOUS 290316342 HAS SOUPS 290316342 WITH SCORE 2.92085545105E8
AT ITER 912 NEW BEST:: SOT -1995854753 SOS 1769148261 HAS SOPS 1769148261 HAS SOUS 290316333 HAS SOUPS 290316333 WITH SCORE 2.92085481261E8
AT ITER 933 NEW BEST:: SOT -1995866729 SOS 1769094364 HAS SOPS 1769094364 HAS SOUS 290316328 HAS SOUPS 290316328 WITH SCORE 2.92085422364E8
AT ITER 955 NEW BEST:: SOT -1995905665 SOS 1768919148 HAS SOPS 1768919148 HAS SOUS 290316324 HAS SOUPS 290316324 WITH SCORE 2.92085243148E8
AT ITER 973 NEW BEST:: SOT -1995918739 SOS 1768860314 HAS SOPS 1768860314 HAS SOUS 290316323 HAS SOUPS 290316323 WITH SCORE 2.92085183314E8
AT ITER 981 NEW BEST:: SOT -1995948881 SOS 1768724674 HAS SOPS 1768724674 HAS SOUS 290316322 HAS SOUPS 290316322 WITH SCORE 2.92085046674E8
AT ITER 983 NEW BEST:: SOT -1995961765 SOS 1768666690 HAS SOPS 1768666690 HAS SOUS 290316316 HAS SOUPS 290316316 WITH SCORE 2.9208498269E8
AT ITER 1006 NEW BEST:: SOT -1996026075 SOS 1768377289 HAS SOPS 1768377289 HAS SOUS 290316310 HAS SOUPS 290316310 WITH SCORE 2.92084687289E8
AT ITER 1041 NEW BEST:: SOT -1996039547 SOS 1768316659 HAS SOPS 1768316659 HAS SOUS 290316304 HAS SOUPS 290316304 WITH SCORE 2.92084620659E8
AT ITER 1044 NEW BEST:: SOT -1996132351 SOS 1767991646 HAS SOPS 1767991646 HAS SOUS 290304434 HAS SOUPS 290304434 WITH SCORE 2.92072425646E8
AT ITER 1048 NEW BEST:: SOT -1996138961 SOS 1767961901 HAS SOPS 1767961901 HAS SOUS 290304434 HAS SOUPS 290304434 WITH SCORE 2.92072395901E8
AT ITER 1056 NEW BEST:: SOT -1996164979 SOS 1767844815 HAS SOPS 1767844815 HAS SOUS 290304429 HAS SOUPS 290304429 WITH SCORE 2.92072273815E8
AT ITER 1064 NEW BEST:: SOT -1996202113 SOS 1767677709 HAS SOPS 1767677709 HAS SOUS 290304426 HAS SOUPS 290304426 WITH SCORE 2.92072103709E8
AT ITER 1068 NEW BEST:: SOT -1996226763 SOS 1767566777 HAS SOPS 1767566777 HAS SOUS 290304417 HAS SOUPS 290304417 WITH SCORE 2.92071983777E8
AT ITER 1076 NEW BEST:: SOT -1996285415 SOS 1767302842 HAS SOPS 1767302842 HAS SOUS 290304416 HAS SOUPS 290304416 WITH SCORE 2.92071718842E8
AT ITER 1101 NEW BEST:: SOT -1996310813 SOS 1767188551 HAS SOPS 1767188551 HAS SOUS 290304416 HAS SOUPS 290304416 WITH SCORE 2.92071604551E8
AT ITER 1129 NEW BEST:: SOT -1996368625 SOS 1766928397 HAS SOPS 1766928397 HAS SOUS 290304416 HAS SOUPS 290304416 WITH SCORE 2.92071344397E8
AT ITER 1146 NEW BEST:: SOT -1996376463 SOS 1766893119 HAS SOPS 1766893119 HAS SOUS 290304407 HAS SOUPS 290304407 WITH SCORE 2.92071300119E8
AT ITER 1182 NEW BEST:: SOT -1996408847 SOS 1766747389 HAS SOPS 1766747389 HAS SOUS 290304405 HAS SOUPS 290304405 WITH SCORE 2.92071152389E8
AT ITER 1230 NEW BEST:: SOT -1996465569 SOS 1766463779 HAS SOPS 1766463779 HAS SOUS 290276044 HAS SOUPS 290276044 WITH SCORE 2.92042507779E8
AT ITER 1246 NEW BEST:: SOT -1996484317 SOS 1766379406 HAS SOPS 1766379406 HAS SOUS 290276035 HAS SOUPS 290276035 WITH SCORE 2.92042414406E8
AT ITER 1252 NEW BEST:: SOT -1996507131 SOS 1766276738 HAS SOPS 1766276738 HAS SOUS 290276030 HAS SOUPS 290276030 WITH SCORE 2.92042306738E8
AT ITER 1255 NEW BEST:: SOT -1996552761 SOS 1766071397 HAS SOPS 1766071397 HAS SOUS 290276024 HAS SOUPS 290276024 WITH SCORE 2.92042095397E8
AT ITER 1256 NEW BEST:: SOT -1996568295 SOS 1766001492 HAS SOPS 1766001492 HAS SOUS 290276022 HAS SOUPS 290276022 WITH SCORE 2.92042023492E8
AT ITER 1263 NEW BEST:: SOT -1996577487 SOS 1765960122 HAS SOPS 1765960122 HAS SOUS 290276016 HAS SOUPS 290276016 WITH SCORE 2.92041976122E8
AT ITER 1271 NEW BEST:: SOT -1996610799 SOS 1765810214 HAS SOPS 1765810214 HAS SOUS 290276012 HAS SOUPS 290276012 WITH SCORE 2.92041822214E8
AT ITER 1272 NEW BEST:: SOT -1996631435 SOS 1765717346 HAS SOPS 1765717346 HAS SOUS 290276006 HAS SOUPS 290276006 WITH SCORE 2.92041723346E8
AT ITER 1286 NEW BEST:: SOT -1996659025 SOS 1765593184 HAS SOPS 1765593184 HAS SOUS 290275997 HAS SOUPS 290275997 WITH SCORE 2.92041590184E8
AT ITER 1299 NEW BEST:: SOT -1996676223 SOS 1765515787 HAS SOPS 1765515787 HAS SOUS 290275991 HAS SOUPS 290275991 WITH SCORE 2.92041506787E8
AT ITER 1301 NEW BEST:: SOT -1996686955 SOS 1765467487 HAS SOPS 1765467487 HAS SOUS 290275985 HAS SOUPS 290275985 WITH SCORE 2.92041452487E8
AT ITER 1324 NEW BEST:: SOT -1996740243 SOS 1765227684 HAS SOPS 1765227684 HAS SOUS 290275976 HAS SOUPS 290275976 WITH SCORE 2.92041203684E8
AT ITER 1333 NEW BEST:: SOT -1996750137 SOS 1765183155 HAS SOPS 1765183155 HAS SOUS 290275970 HAS SOUPS 290275970 WITH SCORE 2.92041153155E8
AT ITER 1339 NEW BEST:: SOT -1996790059 SOS 1765003505 HAS SOPS 1765003505 HAS SOUS 290275969 HAS SOUPS 290275969 WITH SCORE 2.92040972505E8
AT ITER 1360 NEW BEST:: SOT -1996846229 SOS 1764750739 HAS SOPS 1764750739 HAS SOUS 290275968 HAS SOUPS 290275968 WITH SCORE 2.92040718739E8
AT ITER 1363 NEW BEST:: SOT -1996890413 SOS 1764551911 HAS SOPS 1764551911 HAS SOUS 290275968 HAS SOUPS 290275968 WITH SCORE 2.92040519911E8
AT ITER 1365 NEW BEST:: SOT -1996920317 SOS 1764417341 HAS SOPS 1764417341 HAS SOUS 290275966 HAS SOUPS 290275966 WITH SCORE 2.92040383341E8
AT ITER 1366 NEW BEST:: SOT -1996958445 SOS 1764245758 HAS SOPS 1764245758 HAS SOUS 290275957 HAS SOUPS 290275957 WITH SCORE 2.92040202758E8
AT ITER 1368 NEW BEST:: SOT -1996968775 SOS 1764199271 HAS SOPS 1764199271 HAS SOUS 290275955 HAS SOUPS 290275955 WITH SCORE 2.92040154271E8
AT ITER 1376 NEW BEST:: SOT -1996976111 SOS 1764166255 HAS SOPS 1764166255 HAS SOUS 290275951 HAS SOUPS 290275951 WITH SCORE 2.92040117255E8
AT ITER 1384 NEW BEST:: SOT -1996992053 SOS 1764094513 HAS SOPS 1764094513 HAS SOUS 290275948 HAS SOUPS 290275948 WITH SCORE 2.92040042513E8
AT ITER 1407 NEW BEST:: SOT -1997033089 SOS 1763909849 HAS SOPS 1763909849 HAS SOUS 290275946 HAS SOUPS 290275946 WITH SCORE 2.92039855849E8
AT ITER 1439 NEW BEST:: SOT -1997065471 SOS 1763740791 HAS SOPS 1763740791 HAS SOUS 290266229 HAS SOUPS 290266229 WITH SCORE 2.92029969791E8
AT ITER 1447 NEW BEST:: SOT -1997074217 SOS 1763701430 HAS SOPS 1763701430 HAS SOUS 290266225 HAS SOUPS 290266225 WITH SCORE 2.9202992643E8
AT ITER 1468 NEW BEST:: SOT -1997109475 SOS 1763542765 HAS SOPS 1763542765 HAS SOUS 290266221 HAS SOUPS 290266221 WITH SCORE 2.92029763765E8
AT ITER 1476 NEW BEST:: SOT -1997155279 SOS 1763336647 HAS SOPS 1763336647 HAS SOUS 290266221 HAS SOUPS 290266221 WITH SCORE 2.92029557647E8
AT ITER 1488 NEW BEST:: SOT -1997169491 SOS 1763272689 HAS SOPS 1763272689 HAS SOUS 290266217 HAS SOUPS 290266217 WITH SCORE 2.92029489689E8
AT ITER 1501 NEW BEST:: SOT -1997199559 SOS 1763137381 HAS SOPS 1763137381 HAS SOUS 290266215 HAS SOUPS 290266215 WITH SCORE 2.92029352381E8
AT ITER 1528 NEW BEST:: SOT -1997223223 SOS 1763014429 HAS SOPS 1763014429 HAS SOUS 290262736 HAS SOUPS 290262736 WITH SCORE 2.92025750429E8
AT ITER 1533 NEW BEST:: SOT -1997240607 SOS 1762936199 HAS SOPS 1762936199 HAS SOUS 290262734 HAS SOUPS 290262734 WITH SCORE 2.92025670199E8
AT ITER 1540 NEW BEST:: SOT -1997273857 SOS 1762786574 HAS SOPS 1762786574 HAS SOUS 290262734 HAS SOUPS 290262734 WITH SCORE 2.92025520574E8
AT ITER 1549 NEW BEST:: SOT -1997302601 SOS 1762657226 HAS SOPS 1762657226 HAS SOUS 290262734 HAS SOUPS 290262734 WITH SCORE 2.92025391226E8
AT ITER 1584 NEW BEST:: SOT -1997357957 SOS 1762408123 HAS SOPS 1762408123 HAS SOUS 290262733 HAS SOUPS 290262733 WITH SCORE 2.92025141123E8
AT ITER 1612 NEW BEST:: SOT -1997387903 SOS 1762273365 HAS SOPS 1762273365 HAS SOUS 290262732 HAS SOUPS 290262732 WITH SCORE 2.92025005365E8
AT ITER 1616 NEW BEST:: SOT -1997410767 SOS 1762170472 HAS SOPS 1762170472 HAS SOUS 290262727 HAS SOUPS 290262727 WITH SCORE 2.92024897472E8
AT ITER 1622 NEW BEST:: SOT -1997421523 SOS 1762122067 HAS SOPS 1762122067 HAS SOUS 290262724 HAS SOUPS 290262724 WITH SCORE 2.92024846067E8
AT ITER 1623 NEW BEST:: SOT -1997477913 SOS 1761868305 HAS SOPS 1761868305 HAS SOUS 290262715 HAS SOUPS 290262715 WITH SCORE 2.92024583305E8
AT ITER 1624 NEW BEST:: SOT -1997572287 SOS 1761543483 HAS SOPS 1761543483 HAS SOUS 290244026 HAS SOUPS 290244026 WITH SCORE 2.92005569483E8
AT ITER 1631 NEW BEST:: SOT -1997604339 SOS 1761399247 HAS SOPS 1761399247 HAS SOUS 290244024 HAS SOUPS 290244024 WITH SCORE 2.92005423247E8
AT ITER 1647 NEW BEST:: SOT -1997639457 SOS 1761241210 HAS SOPS 1761241210 HAS SOUS 290244018 HAS SOUPS 290244018 WITH SCORE 2.9200525921E8
AT ITER 1650 NEW BEST:: SOT -1997654116 SOS 1761163514 HAS SOPS 1761163514 HAS SOUS 290240425 HAS SOUPS 290240425 WITH SCORE 2.92001588514E8
AT ITER 1652 NEW BEST:: SOT -1997666718 SOS 1761106804 HAS SOPS 1761106804 HAS SOUS 290240424 HAS SOUPS 290240424 WITH SCORE 2.92001530804E8
AT ITER 1666 NEW BEST:: SOT -1997724272 SOS 1760847805 HAS SOPS 1760847805 HAS SOUS 290240418 HAS SOUPS 290240418 WITH SCORE 2.92001265805E8
AT ITER 1673 NEW BEST:: SOT -1997776454 SOS 1760612983 HAS SOPS 1760612983 HAS SOUS 290240415 HAS SOUPS 290240415 WITH SCORE 2.92001027983E8
AT ITER 1680 NEW BEST:: SOT -1997779073 SOS 1760604251 HAS SOPS 1760604251 HAS SOUS 290239540 HAS SOUPS 290239540 WITH SCORE 2.92000144251E8
AT ITER 1683 NEW BEST:: SOT -1997822627 SOS 1760408251 HAS SOPS 1760408251 HAS SOUS 290239531 HAS SOUPS 290239531 WITH SCORE 2.91999939251E8
AT ITER 1684 NEW BEST:: SOT -1997877757 SOS 1760160160 HAS SOPS 1760160160 HAS SOUS 290239525 HAS SOUPS 290239525 WITH SCORE 2.9199968516E8
AT ITER 1688 NEW BEST:: SOT -1997926493 SOS 1759940847 HAS SOPS 1759940847 HAS SOUS 290239524 HAS SOUPS 290239524 WITH SCORE 2.91999464847E8
AT ITER 1699 NEW BEST:: SOT -1997946205 SOS 1759852142 HAS SOPS 1759852142 HAS SOUS 290239523 HAS SOUPS 290239523 WITH SCORE 2.91999375142E8
AT ITER 1702 NEW BEST:: SOT -1997994413 SOS 1759635206 HAS SOPS 1759635206 HAS SOUS 290239523 HAS SOUPS 290239523 WITH SCORE 2.91999158206E8
AT ITER 1703 NEW BEST:: SOT -1998050289 SOS 1759383760 HAS SOPS 1759383760 HAS SOUS 290239519 HAS SOUPS 290239519 WITH SCORE 2.9199890276E8
AT ITER 1730 NEW BEST:: SOT -1998072167 SOS 1759285304 HAS SOPS 1759285304 HAS SOUS 290239514 HAS SOUPS 290239514 WITH SCORE 2.91998799304E8
AT ITER 1736 NEW BEST:: SOT -1998102965 SOS 1759146707 HAS SOPS 1759146707 HAS SOUS 290239508 HAS SOUPS 290239508 WITH SCORE 2.91998654707E8
AT ITER 1778 NEW BEST:: SOT -1998140609 SOS 1758977306 HAS SOPS 1758977306 HAS SOUS 290239505 HAS SOUPS 290239505 WITH SCORE 2.91998482306E8
AT ITER 1806 NEW BEST:: SOT -1998152261 SOS 1758924872 HAS SOPS 1758924872 HAS SOUS 290239505 HAS SOUPS 290239505 WITH SCORE 2.91998429872E8
AT ITER 1816 NEW BEST:: SOT -1998205403 SOS 1758685727 HAS SOPS 1758685727 HAS SOUS 290239499 HAS SOUPS 290239499 WITH SCORE 2.91998184727E8
AT ITER 1832 NEW BEST:: SOT -1998238315 SOS 1758537621 HAS SOPS 1758537621 HAS SOUS 290239497 HAS SOUPS 290239497 WITH SCORE 2.91998034621E8
AT ITER 1840 NEW BEST:: SOT -1998269991 SOS 1758395072 HAS SOPS 1758395072 HAS SOUS 290239488 HAS SOUPS 290239488 WITH SCORE 2.91997883072E8
AT ITER 1851 NEW BEST:: SOT -1998318345 SOS 1758177478 HAS SOPS 1758177478 HAS SOUS 290239487 HAS SOUPS 290239487 WITH SCORE 2.91997664478E8
AT ITER 1868 NEW BEST:: SOT -1998328573 SOS 1758131448 HAS SOPS 1758131448 HAS SOUS 290239483 HAS SOUPS 290239483 WITH SCORE 2.91997614448E8
AT ITER 1869 NEW BEST:: SOT -1998380411 SOS 1757898175 HAS SOPS 1757898175 HAS SOUS 290239481 HAS SOUPS 290239481 WITH SCORE 2.91997379175E8
AT ITER 1871 NEW BEST:: SOT -1998384067 SOS 1757881716 HAS SOPS 1757881716 HAS SOUS 290239472 HAS SOUPS 290239472 WITH SCORE 2.91997353716E8
AT ITER 1875 NEW BEST:: SOT -1998435027 SOS 1757652392 HAS SOPS 1757652392 HAS SOUS 290239468 HAS SOUPS 290239468 WITH SCORE 2.91997120392E8
AT ITER 1876 NEW BEST:: SOT -1998470355 SOS 1757493412 HAS SOPS 1757493412 HAS SOUS 290239464 HAS SOUPS 290239464 WITH SCORE 2.91996957412E8
AT ITER 1878 NEW BEST:: SOT -1998476669 SOS 1757464995 HAS SOPS 1757464995 HAS SOUS 290239460 HAS SOUPS 290239460 WITH SCORE 2.91996924995E8
AT ITER 1907 NEW BEST:: SOT -1998538695 SOS 1757185878 HAS SOPS 1757185878 HAS SOUS 290239460 HAS SOUPS 290239460 WITH SCORE 2.91996645878E8
AT ITER 1914 NEW BEST:: SOT -1998592573 SOS 1756943421 HAS SOPS 1756943421 HAS SOUS 290239454 HAS SOUPS 290239454 WITH SCORE 2.91996397421E8
AT ITER 1916 NEW BEST:: SOT -1998636069 SOS 1756747685 HAS SOPS 1756747685 HAS SOUS 290239450 HAS SOUPS 290239450 WITH SCORE 2.91996197685E8
AT ITER 1927 NEW BEST:: SOT -1998676365 SOS 1756566351 HAS SOPS 1756566351 HAS SOUS 290239448 HAS SOUPS 290239448 WITH SCORE 2.91996014351E8
AT ITER 1928 NEW BEST:: SOT -1998724623 SOS 1756349190 HAS SOPS 1756349190 HAS SOUS 290239448 HAS SOUPS 290239448 WITH SCORE 2.9199579719E8
AT ITER 1936 NEW BEST:: SOT -1998759773 SOS 1756191008 HAS SOPS 1756191008 HAS SOUS 290239439 HAS SOUPS 290239439 WITH SCORE 2.91995630008E8
AT ITER 1948 NEW BEST:: SOT -1998770641 SOS 1756142100 HAS SOPS 1756142100 HAS SOUS 290239437 HAS SOUPS 290239437 WITH SCORE 2.919955791E8
AT ITER 1952 NEW BEST:: SOT -1998784321 SOS 1756080535 HAS SOPS 1756080535 HAS SOUS 290239432 HAS SOUPS 290239432 WITH SCORE 2.91995512535E8
AT ITER 1954 NEW BEST:: SOT -1998791649 SOS 1756047553 HAS SOPS 1756047553 HAS SOUS 290239426 HAS SOUPS 290239426 WITH SCORE 2.91995473553E8
AT ITER 1955 NEW BEST:: SOT -1998815163 SOS 1755941739 HAS SOPS 1755941739 HAS SOUS 290239425 HAS SOUPS 290239425 WITH SCORE 2.91995366739E8
AT ITER 1979 NEW BEST:: SOT -1998854857 SOS 1755763110 HAS SOPS 1755763110 HAS SOUS 290239419 HAS SOUPS 290239419 WITH SCORE 2.9199518211E8
AT ITER 1986 NEW BEST:: SOT -1998892669 SOS 1755592955 HAS SOPS 1755592955 HAS SOUS 290239418 HAS SOUPS 290239418 WITH SCORE 2.91995010955E8
AT ITER 2004 NEW BEST:: SOT -1998944041 SOS 1755361776 HAS SOPS 1755361776 HAS SOUS 290239413 HAS SOUPS 290239413 WITH SCORE 2.91994774776E8
AT ITER 2011 NEW BEST:: SOT -1998974517 SOS 1755224627 HAS SOPS 1755224627 HAS SOUS 290239404 HAS SOUPS 290239404 WITH SCORE 2.91994628627E8
AT ITER 2026 NEW BEST:: SOT -1999003299 SOS 1755095103 HAS SOPS 1755095103 HAS SOUS 290239399 HAS SOUPS 290239399 WITH SCORE 2.91994494103E8
AT ITER 2035 NEW BEST:: SOT -1999017671 SOS 1755030427 HAS SOPS 1755030427 HAS SOUS 290239397 HAS SOUPS 290239397 WITH SCORE 2.91994427427E8
AT ITER 2046 NEW BEST:: SOT -1999041321 SOS 1754923997 HAS SOPS 1754923997 HAS SOUS 290239392 HAS SOUPS 290239392 WITH SCORE 2.91994315997E8
AT ITER 2055 NEW BEST:: SOT -1999047271 SOS 1754897218 HAS SOPS 1754897218 HAS SOUS 290239388 HAS SOUPS 290239388 WITH SCORE 2.91994285218E8
AT ITER 2062 NEW BEST:: SOT -1999091943 SOS 1754696191 HAS SOPS 1754696191 HAS SOUS 290239385 HAS SOUPS 290239385 WITH SCORE 2.91994081191E8
AT ITER 2082 NEW BEST:: SOT -1999141197 SOS 1754474541 HAS SOPS 1754474541 HAS SOUS 290239376 HAS SOUPS 290239376 WITH SCORE 2.91993850541E8
AT ITER 2088 NEW BEST:: SOT -1999157709 SOS 1754400235 HAS SOPS 1754400235 HAS SOUS 290239374 HAS SOUPS 290239374 WITH SCORE 2.91993774235E8
AT ITER 2108 NEW BEST:: SOT -1999168331 SOS 1754352436 HAS SOPS 1754352436 HAS SOUS 290239374 HAS SOUPS 290239374 WITH SCORE 2.91993726436E8
AT ITER 2119 NEW BEST:: SOT -1999200469 SOS 1754207810 HAS SOPS 1754207810 HAS SOUS 290239369 HAS SOUPS 290239369 WITH SCORE 2.9199357681E8
AT ITER 2126 NEW BEST:: SOT -1999218659 SOS 1754117536 HAS SOPS 1754117536 HAS SOUS 290230948 HAS SOUPS 290230948 WITH SCORE 2.91985065536E8
AT ITER 2133 NEW BEST:: SOT -1999253909 SOS 1753958908 HAS SOPS 1753958908 HAS SOUS 290230945 HAS SOUPS 290230945 WITH SCORE 2.91984903908E8
AT ITER 2146 NEW BEST:: SOT -1999306573 SOS 1753721918 HAS SOPS 1753721918 HAS SOUS 290230943 HAS SOUPS 290230943 WITH SCORE 2.91984664918E8
AT ITER 2150 NEW BEST:: SOT -1999326175 SOS 1753633706 HAS SOPS 1753633706 HAS SOUS 290230940 HAS SOUPS 290230940 WITH SCORE 2.91984573706E8
AT ITER 2161 NEW BEST:: SOT -1999354209 SOS 1753491417 HAS SOPS 1753491417 HAS SOUS 290221391 HAS SOUPS 290221391 WITH SCORE 2.91974882417E8
AT ITER 2164 NEW BEST:: SOT -1999358257 SOS 1753473201 HAS SOPS 1753473201 HAS SOUS 290221391 HAS SOUPS 290221391 WITH SCORE 2.91974864201E8
AT ITER 2165 NEW BEST:: SOT -1999360405 SOS 1753463535 HAS SOPS 1753463535 HAS SOUS 290221391 HAS SOUPS 290221391 WITH SCORE 2.91974854535E8
AT ITER 2167 NEW BEST:: SOT -1999402907 SOS 1753272274 HAS SOPS 1753272274 HAS SOUS 290221389 HAS SOUPS 290221389 WITH SCORE 2.91974661274E8
AT ITER 2168 NEW BEST:: SOT -1999415637 SOS 1753214985 HAS SOPS 1753214985 HAS SOUS 290221385 HAS SOUPS 290221385 WITH SCORE 2.91974599985E8
AT ITER 2176 NEW BEST:: SOT -1999434501 SOS 1753130090 HAS SOPS 1753130090 HAS SOUS 290221376 HAS SOUPS 290221376 WITH SCORE 2.9197450609E8
AT ITER 2187 NEW BEST:: SOT -1999460303 SOS 1753013981 HAS SOPS 1753013981 HAS SOUS 290221376 HAS SOUPS 290221376 WITH SCORE 2.91974389981E8
AT ITER 2208 NEW BEST:: SOT -1999491533 SOS 1752873444 HAS SOPS 1752873444 HAS SOUS 290221374 HAS SOUPS 290221374 WITH SCORE 2.91974247444E8
AT ITER 2211 NEW BEST:: SOT -1999531297 SOS 1752694505 HAS SOPS 1752694505 HAS SOUS 290221373 HAS SOUPS 290221373 WITH SCORE 2.91974067505E8
AT ITER 2214 NEW BEST:: SOT -1999550891 SOS 1752606328 HAS SOPS 1752606328 HAS SOUS 290221369 HAS SOUPS 290221369 WITH SCORE 2.91973975328E8
AT ITER 2222 NEW BEST:: SOT -1999581605 SOS 1752453125 HAS SOPS 1752453125 HAS SOUS 290211528 HAS SOUPS 290211528 WITH SCORE 2.91963981125E8
AT ITER 2244 NEW BEST:: SOT -1999590104 SOS 1752424792 HAS SOPS 1752424792 HAS SOUS 290208692 HAS SOUPS 290208692 WITH SCORE 2.91961116792E8
AT ITER 2261 NEW BEST:: SOT -1999634416 SOS 1752225382 HAS SOPS 1752225382 HAS SOUS 290208686 HAS SOUPS 290208686 WITH SCORE 2.91960911382E8
AT ITER 2275 NEW BEST:: SOT -1999664748 SOS 1752088887 HAS SOPS 1752088887 HAS SOUS 290208685 HAS SOUPS 290208685 WITH SCORE 2.91960773887E8
AT ITER 2283 NEW BEST:: SOT -1999697178 SOS 1751942947 HAS SOPS 1751942947 HAS SOUS 290208680 HAS SOUPS 290208680 WITH SCORE 2.91960622947E8
AT ITER 2298 NEW BEST:: SOT -1999737786 SOS 1751760208 HAS SOPS 1751760208 HAS SOUS 290208677 HAS SOUPS 290208677 WITH SCORE 2.91960437208E8
AT ITER 2318 NEW BEST:: SOT -1999763915 SOS 1751594481 HAS SOPS 1751594481 HAS SOUS 290203696 HAS SOUPS 290203696 WITH SCORE 2.91955290481E8
AT ITER 2322 NEW BEST:: SOT -1999779757 SOS 1751523187 HAS SOPS 1751523187 HAS SOUS 290203691 HAS SOUPS 290203691 WITH SCORE 2.91955214187E8
AT ITER 2325 NEW BEST:: SOT -1999813526 SOS 1751351951 HAS SOPS 1751351951 HAS SOUS 290189914 HAS SOUPS 290189914 WITH SCORE 2.91941265951E8
AT ITER 2327 NEW BEST:: SOT -1999864660 SOS 1751121847 HAS SOPS 1751121847 HAS SOUS 290189913 HAS SOUPS 290189913 WITH SCORE 2.91941034847E8
AT ITER 2338 NEW BEST:: SOT -1999864660 SOS 1751121843 HAS SOPS 1751121843 HAS SOUS 290189909 HAS SOUPS 290189909 WITH SCORE 2.91941030843E8
AT ITER 2345 NEW BEST:: SOT -1999876426 SOS 1751068891 HAS SOPS 1751068891 HAS SOUS 290189904 HAS SOUPS 290189904 WITH SCORE 2.91940972891E8
AT ITER 2352 NEW BEST:: SOT -1999907408 SOS 1750929472 HAS SOPS 1750929472 HAS SOUS 290189904 HAS SOUPS 290189904 WITH SCORE 2.91940833472E8
AT ITER 2353 NEW BEST:: SOT -1999943488 SOS 1750767106 HAS SOPS 1750767106 HAS SOUS 290189898 HAS SOUPS 290189898 WITH SCORE 2.91940665106E8
AT ITER 2367 NEW BEST:: SOT -2000006254 SOS 1750484652 HAS SOPS 1750484652 HAS SOUS 290189889 HAS SOUPS 290189889 WITH SCORE 2.91940373652E8
AT ITER 2379 NEW BEST:: SOT -2000047172 SOS 1750300516 HAS SOPS 1750300516 HAS SOUS 290189884 HAS SOUPS 290189884 WITH SCORE 2.91940184516E8
AT ITER 2416 NEW BEST:: SOT -2000110830 SOS 1750014052 HAS SOPS 1750014052 HAS SOUS 290189881 HAS SOUPS 290189881 WITH SCORE 2.91939895052E8
AT ITER 2424 NEW BEST:: SOT -2000142438 SOS 1749871816 HAS SOPS 1749871816 HAS SOUS 290189881 HAS SOUPS 290189881 WITH SCORE 2.91939752816E8
AT ITER 2426 NEW BEST:: SOT -2000174458 SOS 1749727725 HAS SOPS 1749727725 HAS SOUS 290189880 HAS SOUPS 290189880 WITH SCORE 2.91939607725E8
AT ITER 2433 NEW BEST:: SOT -2000174458 SOS 1749727723 HAS SOPS 1749727723 HAS SOUS 290189878 HAS SOUPS 290189878 WITH SCORE 2.91939605723E8
AT ITER 2465 NEW BEST:: SOT -2000177164 SOS 1749715540 HAS SOPS 1749715540 HAS SOUS 290189872 HAS SOUPS 290189872 WITH SCORE 2.9193958754E8
AT ITER 2469 NEW BEST:: SOT -2000191732 SOS 1749649979 HAS SOPS 1749649979 HAS SOUS 290189867 HAS SOUPS 290189867 WITH SCORE 2.91939516979E8
AT ITER 2480 NEW BEST:: SOT -2000221050 SOS 1749518042 HAS SOPS 1749518042 HAS SOUS 290189861 HAS SOUPS 290189861 WITH SCORE 2.91939379042E8
AT ITER 2492 NEW BEST:: SOT -2000236946 SOS 1749446508 HAS SOPS 1749446508 HAS SOUS 290189859 HAS SOUPS 290189859 WITH SCORE 2.91939305508E8
AT ITER 2509 NEW BEST:: SOT -2000257630 SOS 1749353424 HAS SOPS 1749353424 HAS SOUS 290189853 HAS SOUPS 290189853 WITH SCORE 2.91939206424E8
AT ITER 2515 NEW BEST:: SOT -2000284906 SOS 1749230679 HAS SOPS 1749230679 HAS SOUS 290189850 HAS SOUPS 290189850 WITH SCORE 2.91939080679E8
AT ITER 2520 NEW BEST:: SOT -2000334744 SOS 1749006406 HAS SOPS 1749006406 HAS SOUS 290189848 HAS SOUPS 290189848 WITH SCORE 2.91938854406E8
AT ITER 2546 NEW BEST:: SOT -2000388052 SOS 1748766518 HAS SOPS 1748766518 HAS SOUS 290189846 HAS SOUPS 290189846 WITH SCORE 2.91938612518E8
AT ITER 2552 NEW BEST:: SOT -2000427008 SOS 1748591212 HAS SOPS 1748591212 HAS SOUS 290189842 HAS SOUPS 290189842 WITH SCORE 2.91938433212E8
AT ITER 2562 NEW BEST:: SOT -2000454146 SOS 1748469090 HAS SOPS 1748469090 HAS SOUS 290189841 HAS SOUPS 290189841 WITH SCORE 2.9193831009E8
AT ITER 2577 NEW BEST:: SOT -2000466444 SOS 1748413742 HAS SOPS 1748413742 HAS SOUS 290189832 HAS SOUPS 290189832 WITH SCORE 2.91938245742E8
AT ITER 2595 NEW BEST:: SOT -2000473656 SOS 1748381283 HAS SOPS 1748381283 HAS SOUS 290189827 HAS SOUPS 290189827 WITH SCORE 2.91938208283E8
AT ITER 2596 NEW BEST:: SOT -2000486118 SOS 1748325203 HAS SOPS 1748325203 HAS SOUS 290189826 HAS SOUPS 290189826 WITH SCORE 2.91938151203E8
AT ITER 2629 NEW BEST:: SOT -2000533148 SOS 1748113562 HAS SOPS 1748113562 HAS SOUS 290189820 HAS SOUPS 290189820 WITH SCORE 2.91937933562E8
AT ITER 2633 NEW BEST:: SOT -2000589106 SOS 1747861748 HAS SOPS 1747861748 HAS SOUS 290189817 HAS SOUPS 290189817 WITH SCORE 2.91937678748E8
AT ITER 2641 NEW BEST:: SOT -2000596198 SOS 1747829831 HAS SOPS 1747829831 HAS SOUS 290189814 HAS SOUPS 290189814 WITH SCORE 2.91937643831E8
AT ITER 2650 NEW BEST:: SOT -2000652836 SOS 1747574958 HAS SOPS 1747574958 HAS SOUS 290189812 HAS SOUPS 290189812 WITH SCORE 2.91937386958E8
AT ITER 2651 NEW BEST:: SOT -2000680828 SOS 1747448993 HAS SOPS 1747448993 HAS SOUS 290189811 HAS SOUPS 290189811 WITH SCORE 2.91937259993E8
AT ITER 2656 NEW BEST:: SOT -2000712630 SOS 1747305884 HAS SOPS 1747305884 HAS SOUS 290189811 HAS SOUPS 290189811 WITH SCORE 2.91937116884E8
AT ITER 2681 NEW BEST:: SOT -2000729664 SOS 1747229231 HAS SOPS 1747229231 HAS SOUS 290189811 HAS SOUPS 290189811 WITH SCORE 2.91937040231E8
AT ITER 2705 NEW BEST:: SOT -2000752464 SOS 1747126628 HAS SOPS 1747126628 HAS SOUS 290189808 HAS SOUPS 290189808 WITH SCORE 2.91936934628E8
AT ITER 2707 NEW BEST:: SOT -2000816430 SOS 1746838781 HAS SOPS 1746838781 HAS SOUS 290189808 HAS SOUPS 290189808 WITH SCORE 2.91936646781E8
AT ITER 2725 NEW BEST:: SOT -2000865096 SOS 1746619782 HAS SOPS 1746619782 HAS SOUS 290189806 HAS SOUPS 290189806 WITH SCORE 2.91936425782E8
AT ITER 2726 NEW BEST:: SOT -2000903778 SOS 1746445711 HAS SOPS 1746445711 HAS SOUS 290189804 HAS SOUPS 290189804 WITH SCORE 2.91936249711E8
AT ITER 2776 NEW BEST:: SOT -2000926110 SOS 1746345216 HAS SOPS 1746345216 HAS SOUS 290189803 HAS SOUPS 290189803 WITH SCORE 2.91936148216E8
AT ITER 2780 NEW BEST:: SOT -2000985738 SOS 1746076883 HAS SOPS 1746076883 HAS SOUS 290189794 HAS SOUPS 290189794 WITH SCORE 2.91935870883E8
AT ITER 2781 NEW BEST:: SOT -2001000870 SOS 1746008785 HAS SOPS 1746008785 HAS SOUS 290189790 HAS SOUPS 290189790 WITH SCORE 2.91935798785E8
AT ITER 2785 NEW BEST:: SOT -2001014444 SOS 1745947701 HAS SOPS 1745947701 HAS SOUS 290189789 HAS SOUPS 290189789 WITH SCORE 2.91935736701E8
AT ITER 2789 NEW BEST:: SOT -2001043996 SOS 1745814714 HAS SOPS 1745814714 HAS SOUS 290189786 HAS SOUPS 290189786 WITH SCORE 2.91935600714E8
AT ITER 2791 NEW BEST:: SOT -2001068412 SOS 1745704836 HAS SOPS 1745704836 HAS SOUS 290189780 HAS SOUPS 290189780 WITH SCORE 2.91935484836E8
AT ITER 2822 NEW BEST:: SOT -2001079781 SOS 1745664447 HAS SOPS 1745664447 HAS SOUS 290188998 HAS SOUPS 290188998 WITH SCORE 2.91934662447E8
AT ITER 2824 NEW BEST:: SOT -2001120923 SOS 1745479306 HAS SOPS 1745479306 HAS SOUS 290188996 HAS SOUPS 290188996 WITH SCORE 2.91934475306E8
AT ITER 2841 NEW BEST:: SOT -2001120923 SOS 1745479299 HAS SOPS 1745479299 HAS SOUS 290188987 HAS SOUPS 290188987 WITH SCORE 2.91934466299E8
AT ITER 2852 NEW BEST:: SOT -2001141479 SOS 1745375869 HAS SOPS 1745375869 HAS SOUS 290182763 HAS SOUPS 290182763 WITH SCORE 2.91928138869E8
AT ITER 2857 NEW BEST:: SOT -2001195853 SOS 1745131182 HAS SOPS 1745131182 HAS SOUS 290182759 HAS SOUPS 290182759 WITH SCORE 2.91927890182E8
AT ITER 2879 NEW BEST:: SOT -2001212313 SOS 1745051674 HAS SOPS 1745051674 HAS SOUS 290177321 HAS SOUPS 290177321 WITH SCORE 2.91922372674E8
AT ITER 2880 NEW BEST:: SOT -2001273359 SOS 1744776964 HAS SOPS 1744776964 HAS SOUS 290177318 HAS SOUPS 290177318 WITH SCORE 2.91922094964E8
AT ITER 2886 NEW BEST:: SOT -2001289881 SOS 1744702615 HAS SOPS 1744702615 HAS SOUS 290177318 HAS SOUPS 290177318 WITH SCORE 2.91922020615E8
AT ITER 2905 NEW BEST:: SOT -2001318241 SOS 1744574994 HAS SOPS 1744574994 HAS SOUS 290177317 HAS SOUPS 290177317 WITH SCORE 2.91921891994E8
AT ITER 2908 NEW BEST:: SOT -2001378303 SOS 1744304715 HAS SOPS 1744304715 HAS SOUS 290177317 HAS SOUPS 290177317 WITH SCORE 2.91921621715E8
AT ITER 2927 NEW BEST:: SOT -2001385307 SOS 1744273194 HAS SOPS 1744273194 HAS SOUS 290177314 HAS SOUPS 290177314 WITH SCORE 2.91921587194E8
AT ITER 2928 NEW BEST:: SOT -2001417533 SOS 1744128172 HAS SOPS 1744128172 HAS SOUS 290177309 HAS SOUPS 290177309 WITH SCORE 2.91921437172E8
AT ITER 2949 NEW BEST:: SOT -2001444829 SOS 1743991692 HAS SOPS 1743991692 HAS SOUS 290163659 HAS SOUPS 290163659 WITH SCORE 2.91907650692E8
AT ITER 2963 NEW BEST:: SOT -2001508669 SOS 1743704408 HAS SOPS 1743704408 HAS SOUS 290163655 HAS SOUPS 290163655 WITH SCORE 2.91907359408E8
AT ITER 2968 NEW BEST:: SOT -2001521115 SOS 1743648395 HAS SOPS 1743648395 HAS SOUS 290163649 HAS SOUPS 290163649 WITH SCORE 2.91907297395E8
AT ITER 2976 NEW BEST:: SOT -2001529479 SOS 1743610757 HAS SOPS 1743610757 HAS SOUS 290163649 HAS SOUPS 290163649 WITH SCORE 2.91907259757E8
AT ITER 3000 NEW BEST:: SOT -2001561419 SOS 1743467021 HAS SOPS 1743467021 HAS SOUS 290163643 HAS SOUPS 290163643 WITH SCORE 2.91907110021E8
AT ITER 3007 NEW BEST:: SOT -2001620923 SOS 1743199251 HAS SOPS 1743199251 HAS SOUS 290163641 HAS SOUPS 290163641 WITH SCORE 2.91906840251E8
AT ITER 3011 NEW BEST:: SOT -2001720324 SOS 1742864911 HAS SOPS 1742864911 HAS SOUS 290133506 HAS SOUPS 290133506 WITH SCORE 2.91876370911E8
AT ITER 3014 NEW BEST:: SOT -2001778080 SOS 1742605009 HAS SOPS 1742605009 HAS SOUS 290133506 HAS SOUPS 290133506 WITH SCORE 2.91876111009E8
AT ITER 3016 NEW BEST:: SOT -2001821298 SOS 1742410523 HAS SOPS 1742410523 HAS SOUS 290133501 HAS SOUPS 290133501 WITH SCORE 2.91875911523E8
AT ITER 3042 NEW BEST:: SOT -2001846490 SOS 1742297152 HAS SOPS 1742297152 HAS SOUS 290133492 HAS SOUPS 290133492 WITH SCORE 2.91875789152E8
AT ITER 3050 NEW BEST:: SOT -2001903534 SOS 1742040453 HAS SOPS 1742040453 HAS SOUS 290133491 HAS SOUPS 290133491 WITH SCORE 2.91875531453E8
AT ITER 3051 NEW BEST:: SOT -2001928279 SOS 1741917907 HAS SOPS 1741917907 HAS SOUS 290127236 HAS SOUPS 290127236 WITH SCORE 2.91869153907E8
AT ITER 3055 NEW BEST:: SOT -2001946779 SOS 1741834654 HAS SOPS 1741834654 HAS SOUS 290127233 HAS SOUPS 290127233 WITH SCORE 2.91869067654E8
AT ITER 3063 NEW BEST:: SOT -2001967593 SOS 1741740986 HAS SOPS 1741740986 HAS SOUS 290127228 HAS SOUPS 290127228 WITH SCORE 2.91868968986E8
AT ITER 3064 NEW BEST:: SOT -2001978153 SOS 1741693459 HAS SOPS 1741693459 HAS SOUS 290127219 HAS SOUPS 290127219 WITH SCORE 2.91868912459E8
AT ITER 3070 NEW BEST:: SOT -2001986497 SOS 1741655905 HAS SOPS 1741655905 HAS SOUS 290127213 HAS SOUPS 290127213 WITH SCORE 2.91868868905E8
AT ITER 3080 NEW BEST:: SOT -2001994599 SOS 1741619442 HAS SOPS 1741619442 HAS SOUS 290127209 HAS SOUPS 290127209 WITH SCORE 2.91868828442E8
AT ITER 3092 NEW BEST:: SOT -2002018365 SOS 1741512488 HAS SOPS 1741512488 HAS SOUS 290127200 HAS SOUPS 290127200 WITH SCORE 2.91868712488E8
AT ITER 3128 NEW BEST:: SOT -2002062583 SOS 1741313501 HAS SOPS 1741313501 HAS SOUS 290127194 HAS SOUPS 290127194 WITH SCORE 2.91868507501E8
AT ITER 3129 NEW BEST:: SOT -2002082181 SOS 1741225306 HAS SOPS 1741225306 HAS SOUS 290127190 HAS SOUPS 290127190 WITH SCORE 2.91868415306E8
AT ITER 3141 NEW BEST:: SOT -2002121831 SOS 1741046878 HAS SOPS 1741046878 HAS SOUS 290127187 HAS SOUPS 290127187 WITH SCORE 2.91868233878E8
AT ITER 3150 NEW BEST:: SOT -2002153981 SOS 1740902197 HAS SOPS 1740902197 HAS SOUS 290127181 HAS SOUPS 290127181 WITH SCORE 2.91868083197E8
AT ITER 3151 NEW BEST:: SOT -2002162659 SOS 1740863144 HAS SOPS 1740863144 HAS SOUS 290127179 HAS SOUPS 290127179 WITH SCORE 2.91868042144E8
AT ITER 3153 NEW BEST:: SOT -2002182501 SOS 1740773853 HAS SOPS 1740773853 HAS SOUS 290127177 HAS SOUPS 290127177 WITH SCORE 2.91867950853E8
AT ITER 3154 NEW BEST:: SOT -2002210631 SOS 1740647262 HAS SOPS 1740647262 HAS SOUS 290127171 HAS SOUPS 290127171 WITH SCORE 2.91867818262E8
AT ITER 3169 NEW BEST:: SOT -2002237917 SOS 1740524468 HAS SOPS 1740524468 HAS SOUS 290127162 HAS SOUPS 290127162 WITH SCORE 2.91867686468E8
AT ITER 3178 NEW BEST:: SOT -2002293233 SOS 1740275541 HAS SOPS 1740275541 HAS SOUS 290127157 HAS SOUPS 290127157 WITH SCORE 2.91867432541E8
AT ITER 3187 NEW BEST:: SOT -2002307293 SOS 1740212270 HAS SOPS 1740212270 HAS SOUS 290127156 HAS SOUPS 290127156 WITH SCORE 2.9186736827E8
AT ITER 3204 NEW BEST:: SOT -2002323557 SOS 1740130950 HAS SOPS 1740130950 HAS SOUS 290119024 HAS SOUPS 290119024 WITH SCORE 2.9185915495E8
AT ITER 3221 NEW BEST:: SOT -2002342507 SOS 1740045675 HAS SOPS 1740045675 HAS SOUS 290119024 HAS SOUPS 290119024 WITH SCORE 2.91859069675E8
AT ITER 3243 NEW BEST:: SOT -2002357507 SOS 1739978170 HAS SOPS 1739978170 HAS SOUS 290119019 HAS SOUPS 290119019 WITH SCORE 2.9185899717E8
AT ITER 3250 NEW BEST:: SOT -2002362769 SOS 1739954491 HAS SOPS 1739954491 HAS SOUS 290119019 HAS SOUPS 290119019 WITH SCORE 2.91858973491E8
AT ITER 3251 NEW BEST:: SOT -2002394107 SOS 1739813468 HAS SOPS 1739813468 HAS SOUS 290119017 HAS SOUPS 290119017 WITH SCORE 2.91858830468E8
AT ITER 3260 NEW BEST:: SOT -2002417657 SOS 1739707490 HAS SOPS 1739707490 HAS SOUS 290119014 HAS SOUPS 290119014 WITH SCORE 2.9185872149E8
AT ITER 3273 NEW BEST:: SOT -2002438477 SOS 1739613798 HAS SOPS 1739613798 HAS SOUS 290119012 HAS SOUPS 290119012 WITH SCORE 2.91858625798E8
AT ITER 3276 NEW BEST:: SOT -2002461651 SOS 1739509515 HAS SOPS 1739509515 HAS SOUS 290119012 HAS SOUPS 290119012 WITH SCORE 2.91858521515E8
AT ITER 3296 NEW BEST:: SOT -2002516003 SOS 1739264930 HAS SOPS 1739264930 HAS SOUS 290119011 HAS SOUPS 290119011 WITH SCORE 2.9185827593E8
AT ITER 3301 NEW BEST:: SOT -2002542502 SOS 1739124710 HAS SOPS 1739124710 HAS SOUS 290109086 HAS SOUPS 290109086 WITH SCORE 2.9184821071E8
AT ITER 3314 NEW BEST:: SOT -2002576694 SOS 1738970842 HAS SOPS 1738970842 HAS SOUS 290109082 HAS SOUPS 290109082 WITH SCORE 2.91848052842E8
AT ITER 3321 NEW BEST:: SOT -2002608796 SOS 1738826378 HAS SOPS 1738826378 HAS SOUS 290109077 HAS SOUPS 290109077 WITH SCORE 2.91847903378E8
AT ITER 3329 NEW BEST:: SOT -2002609148 SOS 1738824794 HAS SOPS 1738824794 HAS SOUS 290109077 HAS SOUPS 290109077 WITH SCORE 2.91847901794E8
AT ITER 3375 NEW BEST:: SOT -2002628346 SOS 1738738403 HAS SOPS 1738738403 HAS SOUS 290109077 HAS SOUPS 290109077 WITH SCORE 2.91847815403E8
AT ITER 3378 NEW BEST:: SOT -2002651120 SOS 1738635918 HAS SOPS 1738635918 HAS SOUS 290109075 HAS SOUPS 290109075 WITH SCORE 2.91847710918E8
AT ITER 3379 NEW BEST:: SOT -2002655004 SOS 1738618436 HAS SOPS 1738618436 HAS SOUS 290109071 HAS SOUPS 290109071 WITH SCORE 2.91847689436E8
AT ITER 3400 NEW BEST:: SOT -2002661278 SOS 1738590196 HAS SOPS 1738590196 HAS SOUS 290109062 HAS SOUPS 290109062 WITH SCORE 2.91847652196E8
AT ITER 3421 NEW BEST:: SOT -2002715760 SOS 1738345025 HAS SOPS 1738345025 HAS SOUS 290109060 HAS SOUPS 290109060 WITH SCORE 2.91847405025E8
AT ITER 3441 NEW BEST:: SOT -2002735870 SOS 1738244701 HAS SOPS 1738244701 HAS SOUS 290099231 HAS SOUPS 290099231 WITH SCORE 2.91837475701E8
AT ITER 3459 NEW BEST:: SOT -2002753902 SOS 1738163554 HAS SOPS 1738163554 HAS SOUS 290099228 HAS SOUPS 290099228 WITH SCORE 2.91837391554E8
AT ITER 3462 NEW BEST:: SOT -2002770246 SOS 1738090002 HAS SOPS 1738090002 HAS SOUS 290099224 HAS SOUPS 290099224 WITH SCORE 2.91837314002E8
AT ITER 3468 NEW BEST:: SOT -2002811044 SOS 1737906408 HAS SOPS 1737906408 HAS SOUS 290099221 HAS SOUPS 290099221 WITH SCORE 2.91837127408E8
AT ITER 3470 NEW BEST:: SOT -2002854736 SOS 1737687948 HAS SOPS 1737687948 HAS SOUS 290077375 HAS SOUPS 290077375 WITH SCORE 2.91815062948E8
AT ITER 3483 NEW BEST:: SOT -2002857792 SOS 1737674193 HAS SOPS 1737674193 HAS SOUS 290077372 HAS SOUPS 290077372 WITH SCORE 2.91815046193E8
AT ITER 3498 NEW BEST:: SOT -2002913176 SOS 1737424958 HAS SOPS 1737424958 HAS SOUS 290077363 HAS SOUPS 290077363 WITH SCORE 2.91814787958E8
AT ITER 3500 NEW BEST:: SOT -2002957606 SOS 1737225017 HAS SOPS 1737225017 HAS SOUS 290077357 HAS SOUPS 290077357 WITH SCORE 2.91814582017E8
AT ITER 3512 NEW BEST:: SOT -2002981526 SOS 1737117374 HAS SOPS 1737117374 HAS SOUS 290077354 HAS SOUPS 290077354 WITH SCORE 2.91814471374E8
AT ITER 3524 NEW BEST:: SOT -2002993880 SOS 1737055778 HAS SOPS 1737055778 HAS SOUS 290074088 HAS SOUPS 290074088 WITH SCORE 2.91811143778E8
AT ITER 3525 NEW BEST:: SOT -2003004574 SOS 1737007655 HAS SOPS 1737007655 HAS SOUS 290074088 HAS SOUPS 290074088 WITH SCORE 2.91811095655E8
AT ITER 3532 NEW BEST:: SOT -2003051648 SOS 1736795818 HAS SOPS 1736795818 HAS SOUS 290074084 HAS SOUPS 290074084 WITH SCORE 2.91810879818E8
AT ITER 3546 NEW BEST:: SOT -2003115730 SOS 1736507444 HAS SOPS 1736507444 HAS SOUS 290074079 HAS SOUPS 290074079 WITH SCORE 2.91810586444E8
AT ITER 3550 NEW BEST:: SOT -2003131173 SOS 1736391772 HAS SOPS 1736391772 HAS SOUS 290072767 HAS SOUPS 290072767 WITH SCORE 2.91809158772E8
AT ITER 3552 NEW BEST:: SOT -2003165999 SOS 1736235053 HAS SOPS 1736235053 HAS SOUS 290072765 HAS SOUPS 290072765 WITH SCORE 2.91809000053E8
AT ITER 3559 NEW BEST:: SOT -2003193997 SOS 1736109056 HAS SOPS 1736109056 HAS SOUS 290072759 HAS SOUPS 290072759 WITH SCORE 2.91808868056E8
AT ITER 3567 NEW BEST:: SOT -2003211851 SOS 1736028711 HAS SOPS 1736028711 HAS SOUS 290072757 HAS SOUPS 290072757 WITH SCORE 2.91808785711E8
AT ITER 3574 NEW BEST:: SOT -2003257537 SOS 1735823120 HAS SOPS 1735823120 HAS SOUS 290072753 HAS SOUPS 290072753 WITH SCORE 2.9180857612E8
AT ITER 3575 NEW BEST:: SOT -2003292695 SOS 1735664907 HAS SOPS 1735664907 HAS SOUS 290072751 HAS SOUPS 290072751 WITH SCORE 2.91808415907E8
AT ITER 3584 NEW BEST:: SOT -2003321516 SOS 1735517367 HAS SOPS 1735517367 HAS SOUS 290063428 HAS SOUPS 290063428 WITH SCORE 2.91798945367E8
AT ITER 3590 NEW BEST:: SOT -2003336646 SOS 1735449277 HAS SOPS 1735449277 HAS SOUS 290063423 HAS SOUPS 290063423 WITH SCORE 2.91798872277E8
AT ITER 3593 NEW BEST:: SOT -2003377544 SOS 1735245874 HAS SOPS 1735245874 HAS SOUS 290044061 HAS SOUPS 290044061 WITH SCORE 2.91779306874E8
AT ITER 3597 NEW BEST:: SOT -2003393372 SOS 1735174645 HAS SOPS 1735174645 HAS SOUS 290044058 HAS SOUPS 290044058 WITH SCORE 2.91779232645E8
AT ITER 3601 NEW BEST:: SOT -2003405694 SOS 1735119193 HAS SOPS 1735119193 HAS SOUS 290044055 HAS SOUPS 290044055 WITH SCORE 2.91779174193E8
AT ITER 3611 NEW BEST:: SOT -2003462930 SOS 1734861628 HAS SOPS 1734861628 HAS SOUS 290044052 HAS SOUPS 290044052 WITH SCORE 2.91778913628E8
AT ITER 3636 NEW BEST:: SOT -2003491648 SOS 1734732390 HAS SOPS 1734732390 HAS SOUS 290044043 HAS SOUPS 290044043 WITH SCORE 2.9177877539E8
AT ITER 3649 NEW BEST:: SOT -2003501146 SOS 1734689649 HAS SOPS 1734689649 HAS SOUS 290044043 HAS SOUPS 290044043 WITH SCORE 2.91778732649E8
AT ITER 3677 NEW BEST:: SOT -2003514674 SOS 1734628770 HAS SOPS 1734628770 HAS SOUS 290044040 HAS SOUPS 290044040 WITH SCORE 2.9177866877E8
AT ITER 3696 NEW BEST:: SOT -2003550808 SOS 1734466164 HAS SOPS 1734466164 HAS SOUS 290044037 HAS SOUPS 290044037 WITH SCORE 2.91778503164E8
AT ITER 3709 NEW BEST:: SOT -2003588189 SOS 1734277214 HAS SOPS 1734277214 HAS SOUS 290030823 HAS SOUPS 290030823 WITH SCORE 2.91765100214E8
AT ITER 3749 NEW BEST:: SOT -2003636205 SOS 1734061139 HAS SOPS 1734061139 HAS SOUS 290030820 HAS SOUPS 290030820 WITH SCORE 2.91764881139E8
AT ITER 3751 NEW BEST:: SOT -2003675667 SOS 1733883560 HAS SOPS 1733883560 HAS SOUS 290030820 HAS SOUPS 290030820 WITH SCORE 2.9176470356E8
AT ITER 3752 NEW BEST:: SOT -2003682865 SOS 1733851169 HAS SOPS 1733851169 HAS SOUS 290030820 HAS SOUPS 290030820 WITH SCORE 2.91764671169E8
AT ITER 3769 NEW BEST:: SOT -2003719043 SOS 1733688364 HAS SOPS 1733688364 HAS SOUS 290030816 HAS SOUPS 290030816 WITH SCORE 2.91764504364E8
AT ITER 3773 NEW BEST:: SOT -2003738763 SOS 1733599619 HAS SOPS 1733599619 HAS SOUS 290030811 HAS SOUPS 290030811 WITH SCORE 2.91764410619E8
AT ITER 3774 NEW BEST:: SOT -2003774747 SOS 1733437684 HAS SOPS 1733437684 HAS SOUS 290030802 HAS SOUPS 290030802 WITH SCORE 2.91764239684E8
AT ITER 3790 NEW BEST:: SOT -2003792801 SOS 1733356437 HAS SOPS 1733356437 HAS SOUS 290030798 HAS SOUPS 290030798 WITH SCORE 2.91764154437E8
AT ITER 3792 NEW BEST:: SOT -2003840987 SOS 1733115507 HAS SOPS 1733115507 HAS SOUS 290006705 HAS SOUPS 290006705 WITH SCORE 2.91739820507E8
AT ITER 3794 NEW BEST:: SOT -2003845451 SOS 1733095419 HAS SOPS 1733095419 HAS SOUS 290006705 HAS SOUPS 290006705 WITH SCORE 2.91739800419E8
AT ITER 3798 NEW BEST:: SOT -2003862160 SOS 1733013873 HAS SOPS 1733013873 HAS SOUS 290001977 HAS SOUPS 290001977 WITH SCORE 2.91734990873E8
AT ITER 3802 NEW BEST:: SOT -2003905414 SOS 1732819229 HAS SOPS 1732819229 HAS SOUS 290001976 HAS SOUPS 290001976 WITH SCORE 2.91734795229E8
AT ITER 3806 NEW BEST:: SOT -2003954442 SOS 1732598597 HAS SOPS 1732598597 HAS SOUS 290001970 HAS SOUPS 290001970 WITH SCORE 2.91734568597E8
AT ITER 3812 NEW BEST:: SOT -2003985654 SOS 1732458143 HAS SOPS 1732458143 HAS SOUS 290001970 HAS SOUPS 290001970 WITH SCORE 2.91734428143E8
AT ITER 3813 NEW BEST:: SOT -2004027324 SOS 1732270623 HAS SOPS 1732270623 HAS SOUS 290001965 HAS SOUPS 290001965 WITH SCORE 2.91734235623E8
AT ITER 3817 NEW BEST:: SOT -2004037946 SOS 1732222823 HAS SOPS 1732222823 HAS SOUS 290001964 HAS SOUPS 290001964 WITH SCORE 2.91734186823E8
AT ITER 3834 NEW BEST:: SOT -2004050288 SOS 1732167283 HAS SOPS 1732167283 HAS SOUS 290001963 HAS SOUPS 290001963 WITH SCORE 2.91734130283E8
AT ITER 3837 NEW BEST:: SOT -2004053582 SOS 1732152459 HAS SOPS 1732152459 HAS SOUS 290001962 HAS SOUPS 290001962 WITH SCORE 2.91734114459E8
AT ITER 3844 NEW BEST:: SOT -2004067358 SOS 1732090463 HAS SOPS 1732090463 HAS SOUS 290001958 HAS SOUPS 290001958 WITH SCORE 2.91734048463E8
AT ITER 3866 NEW BEST:: SOT -2004083602 SOS 1732017364 HAS SOPS 1732017364 HAS SOUS 290001957 HAS SOUPS 290001957 WITH SCORE 2.91733974364E8
AT ITER 3876 NEW BEST:: SOT -2004115322 SOS 1731874617 HAS SOPS 1731874617 HAS SOUS 290001948 HAS SOUPS 290001948 WITH SCORE 2.91733822617E8
AT ITER 3898 NEW BEST:: SOT -2004146456 SOS 1731699658 HAS SOPS 1731699658 HAS SOUS 289996195 HAS SOUPS 289996195 WITH SCORE 2.91727894658E8
AT ITER 3909 NEW BEST:: SOT -2004146456 SOS 1731699651 HAS SOPS 1731699651 HAS SOUS 289996186 HAS SOUPS 289996186 WITH SCORE 2.91727885651E8
AT ITER 3946 NEW BEST:: SOT -2004157010 SOS 1731652157 HAS SOPS 1731652157 HAS SOUS 289996185 HAS SOUPS 289996185 WITH SCORE 2.91727837157E8
AT ITER 3961 NEW BEST:: SOT -2004167604 SOS 1731604480 HAS SOPS 1731604480 HAS SOUS 289996181 HAS SOUPS 289996181 WITH SCORE 2.9172778548E8
AT ITER 3974 NEW BEST:: SOT -2004229788 SOS 1731324650 HAS SOPS 1731324650 HAS SOUS 289996179 HAS SOUPS 289996179 WITH SCORE 2.9172750365E8
AT ITER 3982 NEW BEST:: SOT -2004257046 SOS 1731201986 HAS SOPS 1731201986 HAS SOUS 289996176 HAS SOUPS 289996176 WITH SCORE 2.91727377986E8
AT ITER 3991 NEW BEST:: SOT -2004292562 SOS 1731042161 HAS SOPS 1731042161 HAS SOUS 289996173 HAS SOUPS 289996173 WITH SCORE 2.91727215161E8
AT ITER 3996 NEW BEST:: SOT -2004299774 SOS 1731009703 HAS SOPS 1731009703 HAS SOUS 289996169 HAS SOUPS 289996169 WITH SCORE 2.91727178703E8
AT ITER 4036 NEW BEST:: SOT -2004325548 SOS 1730893719 HAS SOPS 1730893719 HAS SOUS 289996168 HAS SOUPS 289996168 WITH SCORE 2.91727061719E8
AT ITER 4041 NEW BEST:: SOT -2004365956 SOS 1730651374 HAS SOPS 1730651374 HAS SOUS 289985154 HAS SOUPS 289985154 WITH SCORE 2.91715805374E8
AT ITER 4056 NEW BEST:: SOT -2004365956 SOS 1730651367 HAS SOPS 1730651367 HAS SOUS 289985145 HAS SOUPS 289985145 WITH SCORE 2.91715796367E8
AT ITER 4071 NEW BEST:: SOT -2004403492 SOS 1730482452 HAS SOPS 1730482452 HAS SOUS 289985142 HAS SOUPS 289985142 WITH SCORE 2.91715624452E8
AT ITER 4076 NEW BEST:: SOT -2004435104 SOS 1730340197 HAS SOPS 1730340197 HAS SOUS 289985141 HAS SOUPS 289985141 WITH SCORE 2.91715481197E8
AT ITER 4077 NEW BEST:: SOT -2004442368 SOS 1730307504 HAS SOPS 1730307504 HAS SOUS 289985136 HAS SOUPS 289985136 WITH SCORE 2.91715443504E8
AT ITER 4095 NEW BEST:: SOT -2004453024 SOS 1730259546 HAS SOPS 1730259546 HAS SOUS 289985130 HAS SOUPS 289985130 WITH SCORE 2.91715389546E8
AT ITER 4098 NEW BEST:: SOT -2004497102 SOS 1730061188 HAS SOPS 1730061188 HAS SOUS 289985121 HAS SOUPS 289985121 WITH SCORE 2.91715182188E8
AT ITER 4104 NEW BEST:: SOT -2004508020 SOS 1730012054 HAS SOPS 1730012054 HAS SOUS 289985118 HAS SOUPS 289985118 WITH SCORE 2.91715130054E8
AT ITER 4105 NEW BEST:: SOT -2004524052 SOS 1729939903 HAS SOPS 1729939903 HAS SOUS 289985109 HAS SOUPS 289985109 WITH SCORE 2.91715048903E8
AT ITER 4118 NEW BEST:: SOT -2004568580 SOS 1729717421 HAS SOPS 1729717421 HAS SOUS 289963003 HAS SOUPS 289963003 WITH SCORE 2.91692720421E8
AT ITER 4122 NEW BEST:: SOT -2004589720 SOS 1729622289 HAS SOPS 1729622289 HAS SOUS 289963001 HAS SOUPS 289963001 WITH SCORE 2.91692623289E8
AT ITER 4127 NEW BEST:: SOT -2004615404 SOS 1729506704 HAS SOPS 1729506704 HAS SOUS 289962992 HAS SOUPS 289962992 WITH SCORE 2.91692498704E8
AT ITER 4134 NEW BEST:: SOT -2004631454 SOS 1729434473 HAS SOPS 1729434473 HAS SOUS 289962986 HAS SOUPS 289962986 WITH SCORE 2.91692420473E8
AT ITER 4145 NEW BEST:: SOT -2004706552 SOS 1729150368 HAS SOPS 1729150368 HAS SOUS 289954836 HAS SOUPS 289954836 WITH SCORE 2.91683986368E8
AT ITER 4148 NEW BEST:: SOT -2004727720 SOS 1729055106 HAS SOPS 1729055106 HAS SOUS 289954830 HAS SOUPS 289954830 WITH SCORE 2.91683885106E8
AT ITER 4174 NEW BEST:: SOT -2004750884 SOS 1728950867 HAS SOPS 1728950867 HAS SOUS 289954829 HAS SOUPS 289954829 WITH SCORE 2.91683779867E8
AT ITER 4204 NEW BEST:: SOT -2004759506 SOS 1728908761 HAS SOPS 1728908761 HAS SOUS 289951522 HAS SOUPS 289951522 WITH SCORE 2.91680430761E8
AT ITER 4211 NEW BEST:: SOT -2004796524 SOS 1728742174 HAS SOPS 1728742174 HAS SOUS 289951516 HAS SOUPS 289951516 WITH SCORE 2.91680258174E8
AT ITER 4214 NEW BEST:: SOT -2004825252 SOS 1728612895 HAS SOPS 1728612895 HAS SOUS 289951513 HAS SOUPS 289951513 WITH SCORE 2.91680125895E8
AT ITER 4244 NEW BEST:: SOT -2004852096 SOS 1728492091 HAS SOPS 1728492091 HAS SOUS 289951507 HAS SOUPS 289951507 WITH SCORE 2.91679999091E8
AT ITER 4251 NEW BEST:: SOT -2004893096 SOS 1728307584 HAS SOPS 1728307584 HAS SOUS 289951498 HAS SOUPS 289951498 WITH SCORE 2.91679805584E8
AT ITER 4256 NEW BEST:: SOT -2004907798 SOS 1728241420 HAS SOPS 1728241420 HAS SOUS 289951493 HAS SOUPS 289951493 WITH SCORE 2.9167973442E8
AT ITER 4290 NEW BEST:: SOT -2004923486 SOS 1728170824 HAS SOPS 1728170824 HAS SOUS 289951493 HAS SOUPS 289951493 WITH SCORE 2.91679663824E8
AT ITER 4299 NEW BEST:: SOT -2005020687 SOS 1727841907 HAS SOPS 1727841907 HAS SOUS 289925210 HAS SOUPS 289925210 WITH SCORE 2.91653051907E8
AT ITER 4304 NEW BEST:: SOT -2005042607 SOS 1727743261 HAS SOPS 1727743261 HAS SOUS 289925204 HAS SOUPS 289925204 WITH SCORE 2.91652947261E8
AT ITER 4311 NEW BEST:: SOT -2005070733 SOS 1727616689 HAS SOPS 1727616689 HAS SOUS 289925199 HAS SOUPS 289925199 WITH SCORE 2.91652815689E8
AT ITER 4326 NEW BEST:: SOT -2005070733 SOS 1727612930 HAS SOPS 1727612930 HAS SOUS 289921440 HAS SOUPS 289921440 WITH SCORE 2.9164905293E8
AT ITER 4348 NEW BEST:: SOT -2005099997 SOS 1727481237 HAS SOPS 1727481237 HAS SOUS 289921435 HAS SOUPS 289921435 WITH SCORE 2.91648916237E8
AT ITER 4349 NEW BEST:: SOT -2005147995 SOS 1727234017 HAS SOPS 1727234017 HAS SOUS 289903485 HAS SOUPS 289903485 WITH SCORE 2.91630719017E8
AT ITER 4354 NEW BEST:: SOT -2005157561 SOS 1727190963 HAS SOPS 1727190963 HAS SOUS 289903476 HAS SOUPS 289903476 WITH SCORE 2.91630666963E8
AT ITER 4375 NEW BEST:: SOT -2005171065 SOS 1727130194 HAS SOPS 1727130194 HAS SOUS 289903475 HAS SOUPS 289903475 WITH SCORE 2.91630605194E8
AT ITER 4377 NEW BEST:: SOT -2005223005 SOS 1726896458 HAS SOPS 1726896458 HAS SOUS 289903469 HAS SOUPS 289903469 WITH SCORE 2.91630365458E8
AT ITER 4386 NEW BEST:: SOT -2005247673 SOS 1726785449 HAS SOPS 1726785449 HAS SOUS 289903466 HAS SOUPS 289903466 WITH SCORE 2.91630251449E8
AT ITER 4408 NEW BEST:: SOT -2005270515 SOS 1726682655 HAS SOPS 1726682655 HAS SOUS 289903461 HAS SOUPS 289903461 WITH SCORE 2.91630143655E8
AT ITER 4420 NEW BEST:: SOT -2005308611 SOS 1726511222 HAS SOPS 1726511222 HAS SOUS 289903460 HAS SOUPS 289903460 WITH SCORE 2.91629971222E8
AT ITER 4440 NEW BEST:: SOT -2005390969 SOS 1726206134 HAS SOPS 1726206134 HAS SOUS 289903697 HAS SOUPS 289903697 WITH SCORE 2.91629903134E8
AT ITER 4458 NEW BEST:: SOT -2005402317 SOS 1726155067 HAS SOPS 1726155067 HAS SOUS 289903696 HAS SOUPS 289903696 WITH SCORE 2.91629851067E8
AT ITER 4460 NEW BEST:: SOT -2005408527 SOS 1726127118 HAS SOPS 1726127118 HAS SOUS 289903692 HAS SOUPS 289903692 WITH SCORE 2.91629819118E8
AT ITER 4463 NEW BEST:: SOT -2005443253 SOS 1725970845 HAS SOPS 1725970845 HAS SOUS 289903686 HAS SOUPS 289903686 WITH SCORE 2.91629656845E8
AT ITER 4490 NEW BEST:: SOT -2005447351 SOS 1725952397 HAS SOPS 1725952397 HAS SOUS 289903677 HAS SOUPS 289903677 WITH SCORE 2.91629629397E8
AT ITER 4491 NEW BEST:: SOT -2005465243 SOS 1725871879 HAS SOPS 1725871879 HAS SOUS 289903673 HAS SOUPS 289903673 WITH SCORE 2.91629544879E8
AT ITER 4497 NEW BEST:: SOT -2005473421 SOS 1725835074 HAS SOPS 1725835074 HAS SOUS 289903669 HAS SOUPS 289903669 WITH SCORE 2.91629504074E8
AT ITER 4505 NEW BEST:: SOT -2005503599 SOS 1725699269 HAS SOPS 1725699269 HAS SOUS 289903665 HAS SOUPS 289903665 WITH SCORE 2.91629364269E8
AT ITER 4507 NEW BEST:: SOT -2005542089 SOS 1725526064 HAS SOPS 1725526064 HAS SOUS 289903665 HAS SOUPS 289903665 WITH SCORE 2.91629191064E8
AT ITER 4511 NEW BEST:: SOT -2005593887 SOS 1725292971 HAS SOPS 1725292971 HAS SOUS 289903663 HAS SOUPS 289903663 WITH SCORE 2.91628955971E8
AT ITER 4527 NEW BEST:: SOT -2005622188 SOS 1725150052 HAS SOPS 1725150052 HAS SOUS 289896173 HAS SOUPS 289896173 WITH SCORE 2.91621323052E8
AT ITER 4549 NEW BEST:: SOT -2005647272 SOS 1725037173 HAS SOPS 1725037173 HAS SOUS 289896172 HAS SOUPS 289896172 WITH SCORE 2.91621209173E8
AT ITER 4555 NEW BEST:: SOT -2005661570 SOS 1724972832 HAS SOPS 1724972832 HAS SOUS 289896172 HAS SOUPS 289896172 WITH SCORE 2.91621144832E8
AT ITER 4565 NEW BEST:: SOT -2005699786 SOS 1724800860 HAS SOPS 1724800860 HAS SOUS 289896172 HAS SOUPS 289896172 WITH SCORE 2.9162097286E8
AT ITER 4570 NEW BEST:: SOT -2005712944 SOS 1724741649 HAS SOPS 1724741649 HAS SOUS 289896172 HAS SOUPS 289896172 WITH SCORE 2.91620913649E8
AT ITER 4572 NEW BEST:: SOT -2005760540 SOS 1724527460 HAS SOPS 1724527460 HAS SOUS 289896163 HAS SOUPS 289896163 WITH SCORE 2.9162069046E8
AT ITER 4584 NEW BEST:: SOT -2005812966 SOS 1724291543 HAS SOPS 1724291543 HAS SOUS 289896163 HAS SOUPS 289896163 WITH SCORE 2.91620454543E8
AT ITER 4587 NEW BEST:: SOT -2005825844 SOS 1724227501 HAS SOPS 1724227501 HAS SOUS 289890072 HAS SOUPS 289890072 WITH SCORE 2.91614299501E8
AT ITER 4598 NEW BEST:: SOT -2005861504 SOS 1724067027 HAS SOPS 1724067027 HAS SOUS 289890068 HAS SOUPS 289890068 WITH SCORE 2.91614135027E8
AT ITER 4604 NEW BEST:: SOT -2005869940 SOS 1724029063 HAS SOPS 1724029063 HAS SOUS 289890066 HAS SOUPS 289890066 WITH SCORE 2.91614095063E8
AT ITER 4606 NEW BEST:: SOT -2005898614 SOS 1723900030 HAS SOPS 1723900030 HAS SOUS 289890066 HAS SOUPS 289890066 WITH SCORE 2.9161396603E8
AT ITER 4621 NEW BEST:: SOT -2005927070 SOS 1723771972 HAS SOPS 1723771972 HAS SOUS 289890060 HAS SOUPS 289890060 WITH SCORE 2.91613831972E8
AT ITER 4636 NEW BEST:: SOT -2005955763 SOS 1723624828 HAS SOPS 1723624828 HAS SOUS 289881957 HAS SOUPS 289881957 WITH SCORE 2.91605581828E8
AT ITER 4665 NEW BEST:: SOT -2005978183 SOS 1723523931 HAS SOPS 1723523931 HAS SOUS 289881948 HAS SOUPS 289881948 WITH SCORE 2.91605471931E8
AT ITER 4675 NEW BEST:: SOT -2006004319 SOS 1723406314 HAS SOPS 1723406314 HAS SOUS 289881943 HAS SOUPS 289881943 WITH SCORE 2.91605349314E8
AT ITER 4689 NEW BEST:: SOT -2006053627 SOS 1723184424 HAS SOPS 1723184424 HAS SOUS 289881939 HAS SOUPS 289881939 WITH SCORE 2.91605123424E8
AT ITER 4698 NEW BEST:: SOT -2006106744 SOS 1722913788 HAS SOPS 1722913788 HAS SOUS 289860987 HAS SOUPS 289860987 WITH SCORE 2.91583900788E8
AT ITER 4700 NEW BEST:: SOT -2006114550 SOS 1722878661 HAS SOPS 1722878661 HAS SOUS 289860987 HAS SOUPS 289860987 WITH SCORE 2.91583865661E8
AT ITER 4702 NEW BEST:: SOT -2006139618 SOS 1722765853 HAS SOPS 1722765853 HAS SOUS 289860985 HAS SOUPS 289860985 WITH SCORE 2.91583750853E8
AT ITER 4716 NEW BEST:: SOT -2006156426 SOS 1722690215 HAS SOPS 1722690215 HAS SOUS 289860983 HAS SOUPS 289860983 WITH SCORE 2.91583673215E8
AT ITER 4724 NEW BEST:: SOT -2006176728 SOS 1722598852 HAS SOPS 1722598852 HAS SOUS 289860979 HAS SOUPS 289860979 WITH SCORE 2.91583577852E8
AT ITER 4725 NEW BEST:: SOT -2006238870 SOS 1722319211 HAS SOPS 1722319211 HAS SOUS 289860977 HAS SOUPS 289860977 WITH SCORE 2.91583296211E8
AT ITER 4731 NEW BEST:: SOT -2006296802 SOS 1722058513 HAS SOPS 1722058513 HAS SOUS 289860973 HAS SOUPS 289860973 WITH SCORE 2.91583031513E8
AT ITER 4743 NEW BEST:: SOT -2006357840 SOS 1721762320 HAS SOPS 1721762320 HAS SOUS 289853353 HAS SOUPS 289853353 WITH SCORE 2.9157511532E8
AT ITER 4746 NEW BEST:: SOT -2006393874 SOS 1721600162 HAS SOPS 1721600162 HAS SOUS 289853348 HAS SOUPS 289853348 WITH SCORE 2.91574948162E8
AT ITER 4751 NEW BEST:: SOT -2006415174 SOS 1721504309 HAS SOPS 1721504309 HAS SOUS 289853345 HAS SOUPS 289853345 WITH SCORE 2.91574849309E8
AT ITER 4757 NEW BEST:: SOT -2006427636 SOS 1721448229 HAS SOPS 1721448229 HAS SOUS 289853344 HAS SOUPS 289853344 WITH SCORE 2.91574792229E8
AT ITER 4771 NEW BEST:: SOT -2006449152 SOS 1721351407 HAS SOPS 1721351407 HAS SOUS 289853344 HAS SOUPS 289853344 WITH SCORE 2.91574695407E8
AT ITER 4774 NEW BEST:: SOT -2006476416 SOS 1721208171 HAS SOPS 1721208171 HAS SOUS 289845592 HAS SOUPS 289845592 WITH SCORE 2.91566800171E8
AT ITER 4790 NEW BEST:: SOT -2006482599 SOS 1721187556 HAS SOPS 1721187556 HAS SOUS 289843526 HAS SOUPS 289843526 WITH SCORE 2.91564713556E8
AT ITER 4799 NEW BEST:: SOT -2006482599 SOS 1721187553 HAS SOPS 1721187553 HAS SOUS 289843523 HAS SOUPS 289843523 WITH SCORE 2.91564710553E8
AT ITER 4807 NEW BEST:: SOT -2006535431 SOS 1720949802 HAS SOPS 1720949802 HAS SOUS 289843514 HAS SOUPS 289843514 WITH SCORE 2.91564463802E8
AT ITER 4820 NEW BEST:: SOT -2006546299 SOS 1720900889 HAS SOPS 1720900889 HAS SOUS 289843505 HAS SOUPS 289843505 WITH SCORE 2.91564405889E8
AT ITER 4831 NEW BEST:: SOT -2006598447 SOS 1720666222 HAS SOPS 1720666222 HAS SOUS 289843504 HAS SOUPS 289843504 WITH SCORE 2.91564170222E8
AT ITER 4833 NEW BEST:: SOT -2006598447 SOS 1720651581 HAS SOPS 1720651581 HAS SOUS 289831585 HAS SOUPS 289831585 WITH SCORE 2.91552236581E8
AT ITER 4836 NEW BEST:: SOT -2006600307 SOS 1720643211 HAS SOPS 1720643211 HAS SOUS 289831585 HAS SOUPS 289831585 WITH SCORE 2.91552228211E8
AT ITER 4845 NEW BEST:: SOT -2006625115 SOS 1720531568 HAS SOPS 1720531568 HAS SOUS 289831576 HAS SOUPS 289831576 WITH SCORE 2.91552107568E8
AT ITER 4850 NEW BEST:: SOT -2006666211 SOS 1720346635 HAS SOPS 1720346635 HAS SOUS 289831575 HAS SOUPS 289831575 WITH SCORE 2.91551921635E8
AT ITER 4860 NEW BEST:: SOT -2006687579 SOS 1720239795 HAS SOPS 1720239795 HAS SOUS 289820891 HAS SOUPS 289820891 WITH SCORE 2.91541130795E8
AT ITER 4867 NEW BEST:: SOT -2006731683 SOS 1720019695 HAS SOPS 1720019695 HAS SOUS 289799259 HAS SOUPS 289799259 WITH SCORE 2.91519278695E8
AT ITER 4876 NEW BEST:: SOT -2006752849 SOS 1719924442 HAS SOPS 1719924442 HAS SOUS 289799253 HAS SOUPS 289799253 WITH SCORE 2.91519177442E8
AT ITER 4881 NEW BEST:: SOT -2006756841 SOS 1719906472 HAS SOPS 1719906472 HAS SOUS 289799247 HAS SOUPS 289799247 WITH SCORE 2.91519153472E8
AT ITER 4889 NEW BEST:: SOT -2006756841 SOS 1719894122 HAS SOPS 1719894122 HAS SOUS 289786897 HAS SOUPS 289786897 WITH SCORE 2.91506791122E8
AT ITER 4891 NEW BEST:: SOT -2006796441 SOS 1719715922 HAS SOPS 1719715922 HAS SOUS 289786897 HAS SOUPS 289786897 WITH SCORE 2.91506612922E8
AT ITER 4901 NEW BEST:: SOT -2006854249 SOS 1719455785 HAS SOPS 1719455785 HAS SOUS 289786896 HAS SOUPS 289786896 WITH SCORE 2.91506351785E8
AT ITER 4904 NEW BEST:: SOT -2006900811 SOS 1719246250 HAS SOPS 1719246250 HAS SOUS 289786890 HAS SOUPS 289786890 WITH SCORE 2.9150613625E8
AT ITER 4946 NEW BEST:: SOT -2006906119 SOS 1719219710 HAS SOPS 1719219710 HAS SOUS 289784236 HAS SOUPS 289784236 WITH SCORE 2.9150345571E8
AT ITER 4960 NEW BEST:: SOT -2006959445 SOS 1718979740 HAS SOPS 1718979740 HAS SOUS 289784233 HAS SOUPS 289784233 WITH SCORE 2.9150321274E8
AT ITER 4971 NEW BEST:: SOT -2006969103 SOS 1718936277 HAS SOPS 1718936277 HAS SOUS 289784231 HAS SOUPS 289784231 WITH SCORE 2.91503167277E8
AT ITER 4987 NEW BEST:: SOT -2006988915 SOS 1718834921 HAS SOPS 1718834921 HAS SOUS 289783250 HAS SOUPS 289783250 WITH SCORE 2.91502084921E8
AT ITER 5003 NEW BEST:: SOT -2007053829 SOS 1718542804 HAS SOPS 1718542804 HAS SOUS 289783246 HAS SOUPS 289783246 WITH SCORE 2.91501788804E8
AT ITER 5006 NEW BEST:: SOT -2007053829 SOS 1718542802 HAS SOPS 1718542802 HAS SOUS 289783244 HAS SOUPS 289783244 WITH SCORE 2.91501786802E8
AT ITER 5031 NEW BEST:: SOT -2007075383 SOS 1718435032 HAS SOPS 1718435032 HAS SOUS 289772465 HAS SOUPS 289772465 WITH SCORE 2.91490900032E8
AT ITER 5054 NEW BEST:: SOT -2007094101 SOS 1718350796 HAS SOPS 1718350796 HAS SOUS 289772460 HAS SOUPS 289772460 WITH SCORE 2.91490810796E8
AT ITER 5065 NEW BEST:: SOT -2007160073 SOS 1718053918 HAS SOPS 1718053918 HAS SOUS 289772456 HAS SOUPS 289772456 WITH SCORE 2.91490509918E8
AT ITER 5081 NEW BEST:: SOT -2007207141 SOS 1717842107 HAS SOPS 1717842107 HAS SOUS 289772451 HAS SOUPS 289772451 WITH SCORE 2.91490293107E8
AT ITER 5085 NEW BEST:: SOT -2007221217 SOS 1717773414 HAS SOPS 1717773414 HAS SOUS 289767100 HAS SOUPS 289767100 WITH SCORE 2.91484873414E8
AT ITER 5088 NEW BEST:: SOT -2007232925 SOS 1717720727 HAS SOPS 1717720727 HAS SOUS 289767099 HAS SOUPS 289767099 WITH SCORE 2.91484819727E8
AT ITER 5093 NEW BEST:: SOT -2007269669 SOS 1717555376 HAS SOPS 1717555376 HAS SOUS 289767096 HAS SOUPS 289767096 WITH SCORE 2.91484651376E8
AT ITER 5100 NEW BEST:: SOT -2007319031 SOS 1717333244 HAS SOPS 1717333244 HAS SOUS 289767093 HAS SOUPS 289767093 WITH SCORE 2.91484426244E8
AT ITER 5105 NEW BEST:: SOT -2007363839 SOS 1717131603 HAS SOPS 1717131603 HAS SOUS 289767088 HAS SOUPS 289767088 WITH SCORE 2.91484219603E8
AT ITER 5109 NEW BEST:: SOT -2007390551 SOS 1717011395 HAS SOPS 1717011395 HAS SOUS 289767084 HAS SOUPS 289767084 WITH SCORE 2.91484095395E8
AT ITER 5126 NEW BEST:: SOT -2007397897 SOS 1716978337 HAS SOPS 1716978337 HAS SOUS 289767083 HAS SOUPS 289767083 WITH SCORE 2.91484061337E8
AT ITER 5130 NEW BEST:: SOT -2007406961 SOS 1716937543 HAS SOPS 1716937543 HAS SOUS 289767077 HAS SOUPS 289767077 WITH SCORE 2.91484014543E8
AT ITER 5137 NEW BEST:: SOT -2007458549 SOS 1716705397 HAS SOPS 1716705397 HAS SOUS 289767077 HAS SOUPS 289767077 WITH SCORE 2.91483782397E8
AT ITER 5152 NEW BEST:: SOT -2007510145 SOS 1716473208 HAS SOPS 1716473208 HAS SOUS 289767068 HAS SOUPS 289767068 WITH SCORE 2.91483541208E8
AT ITER 5160 NEW BEST:: SOT -2007543149 SOS 1716308786 HAS SOPS 1716308786 HAS SOUS 289751164 HAS SOUPS 289751164 WITH SCORE 2.91467472786E8
AT ITER 5163 NEW BEST:: SOT -2007573227 SOS 1716173433 HAS SOPS 1716173433 HAS SOUS 289751162 HAS SOUPS 289751162 WITH SCORE 2.91467335433E8
AT ITER 5166 NEW BEST:: SOT -2007631169 SOS 1715912692 HAS SOPS 1715912692 HAS SOUS 289751160 HAS SOUPS 289751160 WITH SCORE 2.91467072692E8
AT ITER 5175 NEW BEST:: SOT -2007630301 SOS 1715918768 HAS SOPS 1715918768 HAS SOUS 289750292 HAS SOUPS 289750292 WITH SCORE 2.91466210768E8
AT ITER 5180 NEW BEST:: SOT -2007672111 SOS 1715711279 HAS SOPS 1715711279 HAS SOUS 289730948 HAS SOUPS 289730948 WITH SCORE 2.91446659279E8
AT ITER 5200 NEW BEST:: SOT -2007738499 SOS 1715412531 HAS SOPS 1715412531 HAS SOUS 289730946 HAS SOUPS 289730946 WITH SCORE 2.91446358531E8
AT ITER 5226 NEW BEST:: SOT -2007775001 SOS 1715230259 HAS SOPS 1715230259 HAS SOUS 289712933 HAS SOUPS 289712933 WITH SCORE 2.91428163259E8
AT ITER 5228 NEW BEST:: SOT -2007775001 SOS 1715230254 HAS SOPS 1715230254 HAS SOUS 289712928 HAS SOUPS 289712928 WITH SCORE 2.91428158254E8
AT ITER 5241 NEW BEST:: SOT -2007788645 SOS 1715157232 HAS SOPS 1715157232 HAS SOUS 289711237 HAS SOUPS 289711237 WITH SCORE 2.91426394232E8
AT ITER 5243 NEW BEST:: SOT -2007840505 SOS 1714923861 HAS SOPS 1714923861 HAS SOUS 289711236 HAS SOUPS 289711236 WITH SCORE 2.91426159861E8
AT ITER 5251 NEW BEST:: SOT -2007887617 SOS 1714711856 HAS SOPS 1714711856 HAS SOUS 289711235 HAS SOUPS 289711235 WITH SCORE 2.91425946856E8
AT ITER 5258 NEW BEST:: SOT -2007902899 SOS 1714643085 HAS SOPS 1714643085 HAS SOUS 289711233 HAS SOUPS 289711233 WITH SCORE 2.91425876085E8
AT ITER 5261 NEW BEST:: SOT -2007919553 SOS 1714568138 HAS SOPS 1714568138 HAS SOUS 289711229 HAS SOUPS 289711229 WITH SCORE 2.91425797138E8
AT ITER 5263 NEW BEST:: SOT -2007949529 SOS 1714433241 HAS SOPS 1714433241 HAS SOUS 289711224 HAS SOUPS 289711224 WITH SCORE 2.91425657241E8
AT ITER 5266 NEW BEST:: SOT -2008008969 SOS 1714165755 HAS SOPS 1714165755 HAS SOUS 289711218 HAS SOUPS 289711218 WITH SCORE 2.91425383755E8
AT ITER 5268 NEW BEST:: SOT -2008031036 SOS 1714052763 HAS SOPS 1714052763 HAS SOUS 289709802 HAS SOUPS 289709802 WITH SCORE 2.91423854763E8
AT ITER 5270 NEW BEST:: SOT -2008045932 SOS 1713985730 HAS SOPS 1713985730 HAS SOUS 289709801 HAS SOUPS 289709801 WITH SCORE 2.9142378673E8
AT ITER 5279 NEW BEST:: SOT -2008084995 SOS 1713787262 HAS SOPS 1713787262 HAS SOUS 289700919 HAS SOUPS 289700919 WITH SCORE 2.91414706262E8
AT ITER 5281 NEW BEST:: SOT -2008084995 SOS 1713787256 HAS SOPS 1713787256 HAS SOUS 289700913 HAS SOUPS 289700913 WITH SCORE 2.91414700256E8
AT ITER 5289 NEW BEST:: SOT -2008105873 SOS 1713693301 HAS SOPS 1713693301 HAS SOUS 289700909 HAS SOUPS 289700909 WITH SCORE 2.91414602301E8
AT ITER 5307 NEW BEST:: SOT -2008156541 SOS 1713465295 HAS SOPS 1713465295 HAS SOUS 289700909 HAS SOUPS 289700909 WITH SCORE 2.91414374295E8
AT ITER 5316 NEW BEST:: SOT -2008177059 SOS 1713362786 HAS SOPS 1713362786 HAS SOUS 289696812 HAS SOUPS 289696812 WITH SCORE 2.91410174786E8
AT ITER 5322 NEW BEST:: SOT -2008215475 SOS 1713189907 HAS SOPS 1713189907 HAS SOUS 289696803 HAS SOUPS 289696803 WITH SCORE 2.91409992907E8
AT ITER 5332 NEW BEST:: SOT -2008254873 SOS 1713012609 HAS SOPS 1713012609 HAS SOUS 289696794 HAS SOUPS 289696794 WITH SCORE 2.91409806609E8
AT ITER 5342 NEW BEST:: SOT -2008264901 SOS 1712967479 HAS SOPS 1712967479 HAS SOUS 289696790 HAS SOUPS 289696790 WITH SCORE 2.91409757479E8
AT ITER 5343 NEW BEST:: SOT -2008307691 SOS 1712774920 HAS SOPS 1712774920 HAS SOUS 289696786 HAS SOUPS 289696786 WITH SCORE 2.9140956092E8
AT ITER 5345 NEW BEST:: SOT -2008333489 SOS 1712658829 HAS SOPS 1712658829 HAS SOUS 289696786 HAS SOUPS 289696786 WITH SCORE 2.91409444829E8
AT ITER 5372 NEW BEST:: SOT -2008376527 SOS 1712465153 HAS SOPS 1712465153 HAS SOUS 289696781 HAS SOUPS 289696781 WITH SCORE 2.91409246153E8
AT ITER 5387 NEW BEST:: SOT -2008443253 SOS 1712164883 HAS SOPS 1712164883 HAS SOUS 289696778 HAS SOUPS 289696778 WITH SCORE 2.91408942883E8
AT ITER 5407 NEW BEST:: SOT -2008456072 SOS 1712139244 HAS SOPS 1712139244 HAS SOUS 289683958 HAS SOUPS 289683958 WITH SCORE 2.91396097244E8
AT ITER 5412 NEW BEST:: SOT -2008464852 SOS 1712099729 HAS SOPS 1712099729 HAS SOUS 289683953 HAS SOUPS 289683953 WITH SCORE 2.91396052729E8
AT ITER 5426 NEW BEST:: SOT -2008475252 SOS 1712052929 HAS SOPS 1712052929 HAS SOUS 289683953 HAS SOUPS 289683953 WITH SCORE 2.91396005929E8
AT ITER 5443 NEW BEST:: SOT -2008512552 SOS 1711885074 HAS SOPS 1711885074 HAS SOUS 289683948 HAS SOUPS 289683948 WITH SCORE 2.91395833074E8
AT ITER 5464 NEW BEST:: SOT -2008561722 SOS 1711663802 HAS SOPS 1711663802 HAS SOUS 289683939 HAS SOUPS 289683939 WITH SCORE 2.91395602802E8
AT ITER 5468 NEW BEST:: SOT -2008586740 SOS 1711551221 HAS SOPS 1711551221 HAS SOUS 289683939 HAS SOUPS 289683939 WITH SCORE 2.91395490221E8
AT ITER 5480 NEW BEST:: SOT -2008590626 SOS 1711531859 HAS SOPS 1711531859 HAS SOUS 289682425 HAS SOUPS 289682425 WITH SCORE 2.91393956859E8
AT ITER 5498 NEW BEST:: SOT -2008612152 SOS 1711434990 HAS SOPS 1711434990 HAS SOUS 289682423 HAS SOUPS 289682423 WITH SCORE 2.9139385799E8
AT ITER 5509 NEW BEST:: SOT -2008630442 SOS 1711352681 HAS SOPS 1711352681 HAS SOUS 289682419 HAS SOUPS 289682419 WITH SCORE 2.91393771681E8
AT ITER 5513 NEW BEST:: SOT -2008682306 SOS 1711093953 HAS SOPS 1711093953 HAS SOUS 289657079 HAS SOUPS 289657079 WITH SCORE 2.91368172953E8
AT ITER 5529 NEW BEST:: SOT -2008696884 SOS 1711019653 HAS SOPS 1711019653 HAS SOUS 289652879 HAS SOUPS 289652879 WITH SCORE 2.91363898653E8
AT ITER 5530 NEW BEST:: SOT -2008731698 SOS 1710862987 HAS SOPS 1710862987 HAS SOUS 289652876 HAS SOUPS 289652876 WITH SCORE 2.91363738987E8
AT ITER 5538 NEW BEST:: SOT -2008768062 SOS 1710699343 HAS SOPS 1710699343 HAS SOUS 289652870 HAS SOUPS 289652870 WITH SCORE 2.91363569343E8
AT ITER 5540 NEW BEST:: SOT -2008776388 SOS 1710661869 HAS SOPS 1710661869 HAS SOUS 289652861 HAS SOUPS 289652861 WITH SCORE 2.91363522869E8
AT ITER 5541 NEW BEST:: SOT -2008804710 SOS 1710526931 HAS SOPS 1710526931 HAS SOUS 289645372 HAS SOUPS 289645372 WITH SCORE 2.91355898931E8
AT ITER 5559 NEW BEST:: SOT -2008830068 SOS 1710412820 HAS SOPS 1710412820 HAS SOUS 289645372 HAS SOUPS 289645372 WITH SCORE 2.9135578482E8
AT ITER 5578 NEW BEST:: SOT -2008851356 SOS 1710317022 HAS SOPS 1710317022 HAS SOUS 289645370 HAS SOUPS 289645370 WITH SCORE 2.91355687022E8
AT ITER 5598 NEW BEST:: SOT -2008876290 SOS 1710204813 HAS SOPS 1710204813 HAS SOUS 289645364 HAS SOUPS 289645364 WITH SCORE 2.91355568813E8
AT ITER 5606 NEW BEST:: SOT -2008902922 SOS 1710066283 HAS SOPS 1710066283 HAS SOUS 289639397 HAS SOUPS 289639397 WITH SCORE 2.91349463283E8
AT ITER 5608 NEW BEST:: SOT -2008914900 SOS 1710012378 HAS SOPS 1710012378 HAS SOUS 289639393 HAS SOUPS 289639393 WITH SCORE 2.91349405378E8
AT ITER 5615 NEW BEST:: SOT -2008929643 SOS 1709940753 HAS SOPS 1709940753 HAS SOUS 289636460 HAS SOUPS 289636460 WITH SCORE 2.91346400753E8
AT ITER 5621 NEW BEST:: SOT -2008951581 SOS 1709842027 HAS SOPS 1709842027 HAS SOUS 289636455 HAS SOUPS 289636455 WITH SCORE 2.91346297027E8
AT ITER 5623 NEW BEST:: SOT -2008967211 SOS 1709766575 HAS SOPS 1709766575 HAS SOUS 289631336 HAS SOUPS 289631336 WITH SCORE 2.91341102575E8
AT ITER 5624 NEW BEST:: SOT -2009021736 SOS 1709487213 HAS SOPS 1709487213 HAS SOUS 289609261 HAS SOUPS 289609261 WITH SCORE 2.91318748213E8
AT ITER 5626 NEW BEST:: SOT -2009068398 SOS 1709277228 HAS SOPS 1709277228 HAS SOUS 289609255 HAS SOUPS 289609255 WITH SCORE 2.91318532228E8
AT ITER 5632 NEW BEST:: SOT -2009083964 SOS 1709207178 HAS SOPS 1709207178 HAS SOUS 289609252 HAS SOUPS 289609252 WITH SCORE 2.91318459178E8
AT ITER 5655 NEW BEST:: SOT -2009127678 SOS 1709010459 HAS SOPS 1709010459 HAS SOUS 289609246 HAS SOUPS 289609246 WITH SCORE 2.91318256459E8
AT ITER 5656 NEW BEST:: SOT -2009178250 SOS 1708782879 HAS SOPS 1708782879 HAS SOUS 289609240 HAS SOUPS 289609240 WITH SCORE 2.91318022879E8
AT ITER 5657 NEW BEST:: SOT -2009218538 SOS 1708581439 HAS SOPS 1708581439 HAS SOUS 289589096 HAS SOUPS 289589096 WITH SCORE 2.91297677439E8
AT ITER 5683 NEW BEST:: SOT -2009256440 SOS 1708410875 HAS SOPS 1708410875 HAS SOUS 289589091 HAS SOUPS 289589091 WITH SCORE 2.91297501875E8
AT ITER 5691 NEW BEST:: SOT -2009289274 SOS 1708263120 HAS SOPS 1708263120 HAS SOUS 289589089 HAS SOUPS 289589089 WITH SCORE 2.9129735212E8
AT ITER 5693 NEW BEST:: SOT -2009302754 SOS 1708202453 HAS SOPS 1708202453 HAS SOUS 289589080 HAS SOUPS 289589080 WITH SCORE 2.91297282453E8
AT ITER 5696 NEW BEST:: SOT -2009321656 SOS 1708064515 HAS SOPS 1708064515 HAS SOUS 289586867 HAS SOUPS 289586867 WITH SCORE 2.91294931515E8
AT ITER 5701 NEW BEST:: SOT -2009321656 SOS 1708046265 HAS SOPS 1708046265 HAS SOUS 289568617 HAS SOUPS 289568617 WITH SCORE 2.91276663265E8
AT ITER 5703 NEW BEST:: SOT -2009355404 SOS 1707894395 HAS SOPS 1707894395 HAS SOUS 289568613 HAS SOUPS 289568613 WITH SCORE 2.91276507395E8
AT ITER 5718 NEW BEST:: SOT -2009378574 SOS 1707778545 HAS SOPS 1707778545 HAS SOUS 289557028 HAS SOUPS 289557028 WITH SCORE 2.91264806545E8
AT ITER 5721 NEW BEST:: SOT -2009430572 SOS 1707544547 HAS SOPS 1707544547 HAS SOUS 289557019 HAS SOUPS 289557019 WITH SCORE 2.91264563547E8
AT ITER 5725 NEW BEST:: SOT -2009435252 SOS 1707523484 HAS SOPS 1707523484 HAS SOUS 289557016 HAS SOUPS 289557016 WITH SCORE 2.91264539484E8
AT ITER 5726 NEW BEST:: SOT -2009455714 SOS 1707431400 HAS SOPS 1707431400 HAS SOUS 289557011 HAS SOUPS 289557011 WITH SCORE 2.912644424E8
AT ITER 5733 NEW BEST:: SOT -2009462604 SOS 1707398743 HAS SOPS 1707398743 HAS SOUS 289555359 HAS SOUPS 289555359 WITH SCORE 2.91262757743E8
AT ITER 5756 NEW BEST:: SOT -2009468078 SOS 1707374105 HAS SOPS 1707374105 HAS SOUS 289555354 HAS SOUPS 289555354 WITH SCORE 2.91262728105E8
AT ITER 5764 NEW BEST:: SOT -2009486626 SOS 1707280933 HAS SOPS 1707280933 HAS SOUS 289554087 HAS SOUPS 289554087 WITH SCORE 2.91261367933E8
AT ITER 5766 NEW BEST:: SOT -2009495382 SOS 1707241528 HAS SOPS 1707241528 HAS SOUS 289554084 HAS SOUPS 289554084 WITH SCORE 2.91261325528E8
AT ITER 5769 NEW BEST:: SOT -2009555254 SOS 1706972103 HAS SOPS 1706972103 HAS SOUS 289554083 HAS SOUPS 289554083 WITH SCORE 2.91261055103E8
AT ITER 5775 NEW BEST:: SOT -2009653318 SOS 1706640493 HAS SOPS 1706640493 HAS SOUS 289526958 HAS SOUPS 289526958 WITH SCORE 2.91233598493E8
AT ITER 5778 NEW BEST:: SOT -2009686396 SOS 1706491642 HAS SOPS 1706491642 HAS SOUS 289526958 HAS SOUPS 289526958 WITH SCORE 2.91233449642E8
AT ITER 5798 NEW BEST:: SOT -2009713368 SOS 1706370264 HAS SOPS 1706370264 HAS SOUS 289526954 HAS SOUPS 289526954 WITH SCORE 2.91233324264E8
AT ITER 5821 NEW BEST:: SOT -2009744674 SOS 1706208443 HAS SOPS 1706208443 HAS SOUS 289517574 HAS SOUPS 289517574 WITH SCORE 2.91223782443E8
AT ITER 5823 NEW BEST:: SOT -2009754332 SOS 1706160153 HAS SOPS 1706160153 HAS SOUS 289512745 HAS SOUPS 289512745 WITH SCORE 2.91218905153E8
AT ITER 5831 NEW BEST:: SOT -2009756128 SOS 1706152065 HAS SOPS 1706152065 HAS SOUS 289512739 HAS SOUPS 289512739 WITH SCORE 2.91218891065E8
AT ITER 5858 NEW BEST:: SOT -2009765122 SOS 1706111586 HAS SOPS 1706111586 HAS SOUS 289512733 HAS SOUPS 289512733 WITH SCORE 2.91218844586E8
AT ITER 5898 NEW BEST:: SOT -2009773376 SOS 1706070316 HAS SOPS 1706070316 HAS SOUS 289508606 HAS SOUPS 289508606 WITH SCORE 2.91214676316E8
AT ITER 5899 NEW BEST:: SOT -2009773376 SOS 1706070310 HAS SOPS 1706070310 HAS SOUS 289508600 HAS SOUPS 289508600 WITH SCORE 2.9121467031E8
AT ITER 5907 NEW BEST:: SOT -2009810426 SOS 1705903583 HAS SOPS 1705903583 HAS SOUS 289508598 HAS SOUPS 289508598 WITH SCORE 2.91214501583E8
AT ITER 5911 NEW BEST:: SOT -2009810426 SOS 1705898854 HAS SOPS 1705898854 HAS SOUS 289503869 HAS SOUPS 289503869 WITH SCORE 2.91209767854E8
AT ITER 5919 NEW BEST:: SOT -2009853128 SOS 1705706688 HAS SOPS 1705706688 HAS SOUS 289503860 HAS SOUPS 289503860 WITH SCORE 2.91209566688E8
AT ITER 5927 NEW BEST:: SOT -2009853128 SOS 1705706686 HAS SOPS 1705706686 HAS SOUS 289503858 HAS SOUPS 289503858 WITH SCORE 2.91209564686E8
AT ITER 5940 NEW BEST:: SOT -2009909148 SOS 1705454589 HAS SOPS 1705454589 HAS SOUS 289503849 HAS SOUPS 289503849 WITH SCORE 2.91209303589E8
AT ITER 5942 NEW BEST:: SOT -2009938704 SOS 1705301718 HAS SOPS 1705301718 HAS SOUS 289492919 HAS SOUPS 289492919 WITH SCORE 2.91198220718E8
AT ITER 5944 NEW BEST:: SOT -2009952308 SOS 1705234018 HAS SOPS 1705234018 HAS SOUS 289490371 HAS SOUPS 289490371 WITH SCORE 2.91195605018E8
AT ITER 5949 NEW BEST:: SOT -2009979724 SOS 1705110646 HAS SOPS 1705110646 HAS SOUS 289490371 HAS SOUPS 289490371 WITH SCORE 2.91195481646E8
AT ITER 5951 NEW BEST:: SOT -2010007458 SOS 1704971976 HAS SOPS 1704971976 HAS SOUS 289476504 HAS SOUPS 289476504 WITH SCORE 2.91181475976E8
AT ITER 5967 NEW BEST:: SOT -2010057122 SOS 1704748482 HAS SOPS 1704748482 HAS SOUS 289476498 HAS SOUPS 289476498 WITH SCORE 2.91181246482E8
AT ITER 5990 NEW BEST:: SOT -2010150192 SOS 1704423366 HAS SOPS 1704423366 HAS SOUS 289463663 HAS SOUPS 289463663 WITH SCORE 2.91168086366E8
AT ITER 5995 NEW BEST:: SOT -2010192484 SOS 1704233051 HAS SOPS 1704233051 HAS SOUS 289463662 HAS SOUPS 289463662 WITH SCORE 2.91167895051E8
AT ITER 6004 NEW BEST:: SOT -2010237385 SOS 1704005133 HAS SOPS 1704005133 HAS SOUS 289448239 HAS SOUPS 289448239 WITH SCORE 2.91152244133E8
AT ITER 6035 NEW BEST:: SOT -2010281117 SOS 1703808337 HAS SOPS 1703808337 HAS SOUS 289448237 HAS SOUPS 289448237 WITH SCORE 2.91152045337E8
AT ITER 6036 NEW BEST:: SOT -2010328229 SOS 1703596330 HAS SOPS 1703596330 HAS SOUS 289448234 HAS SOUPS 289448234 WITH SCORE 2.9115183033E8
AT ITER 6041 NEW BEST:: SOT -2010355941 SOS 1703471619 HAS SOPS 1703471619 HAS SOUS 289448225 HAS SOUPS 289448225 WITH SCORE 2.91151696619E8
AT ITER 6045 NEW BEST:: SOT -2010367693 SOS 1703418728 HAS SOPS 1703418728 HAS SOUS 289448216 HAS SOUPS 289448216 WITH SCORE 2.91151634728E8
AT ITER 6046 NEW BEST:: SOT -2010384525 SOS 1703342977 HAS SOPS 1703342977 HAS SOUS 289448207 HAS SOUPS 289448207 WITH SCORE 2.91151549977E8
AT ITER 6072 NEW BEST:: SOT -2010420475 SOS 1703181195 HAS SOPS 1703181195 HAS SOUS 289448198 HAS SOUPS 289448198 WITH SCORE 2.91151379195E8
AT ITER 6080 NEW BEST:: SOT -2010501157 SOS 1702880697 HAS SOPS 1702880697 HAS SOUS 289439502 HAS SOUPS 289439502 WITH SCORE 2.91142382697E8
AT ITER 6086 NEW BEST:: SOT -2010533509 SOS 1702735107 HAS SOPS 1702735107 HAS SOUS 289439496 HAS SOUPS 289439496 WITH SCORE 2.91142231107E8
AT ITER 6128 NEW BEST:: SOT -2010587791 SOS 1702490833 HAS SOPS 1702490833 HAS SOUS 289439491 HAS SOUPS 289439491 WITH SCORE 2.91141981833E8
AT ITER 6133 NEW BEST:: SOT -2010620447 SOS 1702343881 HAS SOPS 1702343881 HAS SOUS 289439491 HAS SOUPS 289439491 WITH SCORE 2.91141834881E8
AT ITER 6138 NEW BEST:: SOT -2010669133 SOS 1702124793 HAS SOPS 1702124793 HAS SOUS 289439490 HAS SOUPS 289439490 WITH SCORE 2.91141614793E8
AT ITER 6140 NEW BEST:: SOT -2010759521 SOS 1701787934 HAS SOPS 1701787934 HAS SOUS 289419585 HAS SOUPS 289419585 WITH SCORE 2.91121372934E8
AT ITER 6156 NEW BEST:: SOT -2010759521 SOS 1701787930 HAS SOPS 1701787930 HAS SOUS 289419581 HAS SOUPS 289419581 WITH SCORE 2.9112136893E8
AT ITER 6163 NEW BEST:: SOT -2010759521 SOS 1701787923 HAS SOPS 1701787923 HAS SOUS 289419572 HAS SOUPS 289419572 WITH SCORE 2.91121359923E8
AT ITER 6178 NEW BEST:: SOT -2010800015 SOS 1701605700 HAS SOPS 1701605700 HAS SOUS 289419572 HAS SOUPS 289419572 WITH SCORE 2.911211777E8
AT ITER 6184 NEW BEST:: SOT -2010828073 SOS 1701466598 HAS SOPS 1701466598 HAS SOUS 289406729 HAS SOUPS 289406729 WITH SCORE 2.91108195598E8
AT ITER 6192 NEW BEST:: SOT -2010849671 SOS 1701369405 HAS SOPS 1701369405 HAS SOUS 289406727 HAS SOUPS 289406727 WITH SCORE 2.91108096405E8
AT ITER 6214 NEW BEST:: SOT -2010858915 SOS 1701323185 HAS SOPS 1701323185 HAS SOUS 289402105 HAS SOUPS 289402105 WITH SCORE 2.91103428185E8
AT ITER 6223 NEW BEST:: SOT -2010861137 SOS 1701312075 HAS SOPS 1701312075 HAS SOUS 289400994 HAS SOUPS 289400994 WITH SCORE 2.91102306075E8
AT ITER 6224 NEW BEST:: SOT -2010861137 SOS 1701312068 HAS SOPS 1701312068 HAS SOUS 289400985 HAS SOUPS 289400985 WITH SCORE 2.91102297068E8
AT ITER 6235 NEW BEST:: SOT -2010883997 SOS 1701209196 HAS SOPS 1701209196 HAS SOUS 289400983 HAS SOUPS 289400983 WITH SCORE 2.91102192196E8
AT ITER 6237 NEW BEST:: SOT -2010911371 SOS 1701086010 HAS SOPS 1701086010 HAS SOUS 289400980 HAS SOUPS 289400980 WITH SCORE 2.9110206601E8
AT ITER 6280 NEW BEST:: SOT -2010948103 SOS 1700920712 HAS SOPS 1700920712 HAS SOUS 289400976 HAS SOUPS 289400976 WITH SCORE 2.91101896712E8
AT ITER 6295 NEW BEST:: SOT -2010948103 SOS 1700920706 HAS SOPS 1700920706 HAS SOUS 289400970 HAS SOUPS 289400970 WITH SCORE 2.91101890706E8
AT ITER 6300 NEW BEST:: SOT -2010992333 SOS 1700721671 HAS SOPS 1700721671 HAS SOUS 289400970 HAS SOUPS 289400970 WITH SCORE 2.91101691671E8
AT ITER 6304 NEW BEST:: SOT -2011027077 SOS 1700565320 HAS SOPS 1700565320 HAS SOUS 289400967 HAS SOUPS 289400967 WITH SCORE 2.9110153232E8
AT ITER 6310 NEW BEST:: SOT -2011035773 SOS 1700526185 HAS SOPS 1700526185 HAS SOUS 289400964 HAS SOUPS 289400964 WITH SCORE 2.91101490185E8
AT ITER 6315 NEW BEST:: SOT -2011054515 SOS 1700441843 HAS SOPS 1700441843 HAS SOUS 289400961 HAS SOUPS 289400961 WITH SCORE 2.91101402843E8
AT ITER 6325 NEW BEST:: SOT -2011105185 SOS 1700188849 HAS SOPS 1700188849 HAS SOUS 289375982 HAS SOUPS 289375982 WITH SCORE 2.91076170849E8
AT ITER 6332 NEW BEST:: SOT -2011124455 SOS 1700102133 HAS SOPS 1700102133 HAS SOUS 289375981 HAS SOUPS 289375981 WITH SCORE 2.91076083133E8
AT ITER 6335 NEW BEST:: SOT -2011124455 SOS 1700091550 HAS SOPS 1700091550 HAS SOUS 289365398 HAS SOUPS 289365398 WITH SCORE 2.9106548955E8
AT ITER 6336 NEW BEST:: SOT -2011146609 SOS 1699991853 HAS SOPS 1699991853 HAS SOUS 289365394 HAS SOUPS 289365394 WITH SCORE 2.91065385853E8
AT ITER 6342 NEW BEST:: SOT -2011160711 SOS 1699928387 HAS SOPS 1699928387 HAS SOUS 289365385 HAS SOUPS 289365385 WITH SCORE 2.91065313387E8
AT ITER 6361 NEW BEST:: SOT -2011185715 SOS 1699815862 HAS SOPS 1699815862 HAS SOUS 289365376 HAS SOUPS 289365376 WITH SCORE 2.91065191862E8
AT ITER 6403 NEW BEST:: SOT -2011213815 SOS 1699675362 HAS SOPS 1699675362 HAS SOUS 289351326 HAS SOUPS 289351326 WITH SCORE 2.91051001362E8
AT ITER 6413 NEW BEST:: SOT -2011213815 SOS 1699670584 HAS SOPS 1699670584 HAS SOUS 289346548 HAS SOUPS 289346548 WITH SCORE 2.91046218584E8
AT ITER 6426 NEW BEST:: SOT -2011247077 SOS 1699520898 HAS SOPS 1699520898 HAS SOUS 289346539 HAS SOUPS 289346539 WITH SCORE 2.91046059898E8
AT ITER 6450 NEW BEST:: SOT -2011253087 SOS 1699493218 HAS SOPS 1699493218 HAS SOUS 289345902 HAS SOUPS 289345902 WITH SCORE 2.91045395218E8
AT ITER 6460 NEW BEST:: SOT -2011262467 SOS 1699451002 HAS SOPS 1699451002 HAS SOUS 289345896 HAS SOUPS 289345896 WITH SCORE 2.91045347002E8
AT ITER 6463 NEW BEST:: SOT -2011298253 SOS 1699289962 HAS SOPS 1699289962 HAS SOUS 289345893 HAS SOUPS 289345893 WITH SCORE 2.91045182962E8
AT ITER 6471 NEW BEST:: SOT -2011306695 SOS 1699251968 HAS SOPS 1699251968 HAS SOUS 289345888 HAS SOUPS 289345888 WITH SCORE 2.91045139968E8
AT ITER 6489 NEW BEST:: SOT -2011356173 SOS 1699000546 HAS SOPS 1699000546 HAS SOUS 289326301 HAS SOUPS 289326301 WITH SCORE 2.91025301546E8
AT ITER 6491 NEW BEST:: SOT -2011366223 SOS 1698955319 HAS SOPS 1698955319 HAS SOUS 289326299 HAS SOUPS 289326299 WITH SCORE 2.91025254319E8
AT ITER 6507 NEW BEST:: SOT -2011378643 SOS 1698895125 HAS SOPS 1698895125 HAS SOUS 289325306 HAS SOUPS 289325306 WITH SCORE 2.91024201125E8
AT ITER 6511 NEW BEST:: SOT -2011412885 SOS 1698741036 HAS SOPS 1698741036 HAS SOUS 289325306 HAS SOUPS 289325306 WITH SCORE 2.91024047036E8
AT ITER 6517 NEW BEST:: SOT -2011426001 SOS 1698682014 HAS SOPS 1698682014 HAS SOUS 289325306 HAS SOUPS 289325306 WITH SCORE 2.91023988014E8
AT ITER 6528 NEW BEST:: SOT -2011455895 SOS 1698547489 HAS SOPS 1698547489 HAS SOUS 289325304 HAS SOUPS 289325304 WITH SCORE 2.91023851489E8
AT ITER 6541 NEW BEST:: SOT -2011506212 SOS 1698291124 HAS SOPS 1698291124 HAS SOUS 289306345 HAS SOUPS 289306345 WITH SCORE 2.91004636124E8
AT ITER 6552 NEW BEST:: SOT -2011533144 SOS 1698169927 HAS SOPS 1698169927 HAS SOUS 289306342 HAS SOUPS 289306342 WITH SCORE 2.91004511927E8
AT ITER 6553 NEW BEST:: SOT -2011588646 SOS 1697920163 HAS SOPS 1697920163 HAS SOUS 289306337 HAS SOUPS 289306337 WITH SCORE 2.91004257163E8
AT ITER 6579 NEW BEST:: SOT -2011624688 SOS 1697757968 HAS SOPS 1697757968 HAS SOUS 289306331 HAS SOUPS 289306331 WITH SCORE 2.91004088968E8
AT ITER 6614 NEW BEST:: SOT -2011700270 SOS 1697465893 HAS SOPS 1697465893 HAS SOUS 289300873 HAS SOUPS 289300873 WITH SCORE 2.90998338893E8
AT ITER 6618 NEW BEST:: SOT -2011746220 SOS 1697259113 HAS SOPS 1697259113 HAS SOUS 289300868 HAS SOUPS 289300868 WITH SCORE 2.90998127113E8
AT ITER 6632 NEW BEST:: SOT -2011751854 SOS 1697233755 HAS SOPS 1697233755 HAS SOUS 289300863 HAS SOUPS 289300863 WITH SCORE 2.90998096755E8
AT ITER 6638 NEW BEST:: SOT -2011783170 SOS 1697092828 HAS SOPS 1697092828 HAS SOUS 289300858 HAS SOUPS 289300858 WITH SCORE 2.90997950828E8
AT ITER 6648 NEW BEST:: SOT -2011825946 SOS 1696900329 HAS SOPS 1696900329 HAS SOUS 289300849 HAS SOUPS 289300849 WITH SCORE 2.90997749329E8
AT ITER 6657 NEW BEST:: SOT -2011840218 SOS 1696836104 HAS SOPS 1696836104 HAS SOUS 289300848 HAS SOUPS 289300848 WITH SCORE 2.90997684104E8
AT ITER 6693 NEW BEST:: SOT -2011846308 SOS 1696808698 HAS SOPS 1696808698 HAS SOUS 289300847 HAS SOUPS 289300847 WITH SCORE 2.90997655698E8
AT ITER 6726 NEW BEST:: SOT -2011886927 SOS 1696602749 HAS SOPS 1696602749 HAS SOUS 289284820 HAS SOUPS 289284820 WITH SCORE 2.90981422749E8
AT ITER 6741 NEW BEST:: SOT -2011921853 SOS 1696445576 HAS SOPS 1696445576 HAS SOUS 289284814 HAS SOUPS 289284814 WITH SCORE 2.90981259576E8
AT ITER 6742 NEW BEST:: SOT -2011957107 SOS 1696286928 HAS SOPS 1696286928 HAS SOUS 289284809 HAS SOUPS 289284809 WITH SCORE 2.90981095928E8
AT ITER 6743 NEW BEST:: SOT -2011971229 SOS 1696184846 HAS SOPS 1696184846 HAS SOUS 289283740 HAS SOUPS 289283740 WITH SCORE 2.90979924846E8
AT ITER 6747 NEW BEST:: SOT -2012002117 SOS 1696045847 HAS SOPS 1696045847 HAS SOUS 289283737 HAS SOUPS 289283737 WITH SCORE 2.90979782847E8
AT ITER 6753 NEW BEST:: SOT -2012012469 SOS 1695999256 HAS SOPS 1695999256 HAS SOUS 289283728 HAS SOUPS 289283728 WITH SCORE 2.90979727256E8
AT ITER 6758 NEW BEST:: SOT -2012048257 SOS 1695820316 HAS SOPS 1695820316 HAS SOUS 289265834 HAS SOUPS 289265834 WITH SCORE 2.90961654316E8
AT ITER 6768 NEW BEST:: SOT -2012101677 SOS 1695579925 HAS SOPS 1695579925 HAS SOUS 289265833 HAS SOUPS 289265833 WITH SCORE 2.90961412925E8
AT ITER 6771 NEW BEST:: SOT -2012110911 SOS 1695538366 HAS SOPS 1695538366 HAS SOUS 289265827 HAS SOUPS 289265827 WITH SCORE 2.90961365366E8
AT ITER 6772 NEW BEST:: SOT -2012146037 SOS 1695380294 HAS SOPS 1695380294 HAS SOUS 289265822 HAS SOUPS 289265822 WITH SCORE 2.90961202294E8
AT ITER 6776 NEW BEST:: SOT -2012159867 SOS 1695318053 HAS SOPS 1695318053 HAS SOUS 289265816 HAS SOUPS 289265816 WITH SCORE 2.90961134053E8
AT ITER 6796 NEW BEST:: SOT -2012179881 SOS 1695227983 HAS SOPS 1695227983 HAS SOUS 289265807 HAS SOUPS 289265807 WITH SCORE 2.90961034983E8
AT ITER 6805 NEW BEST:: SOT -2012213469 SOS 1695076835 HAS SOPS 1695076835 HAS SOUS 289265805 HAS SOUPS 289265805 WITH SCORE 2.90960881835E8
AT ITER 6823 NEW BEST:: SOT -2012246399 SOS 1694928648 HAS SOPS 1694928648 HAS SOUS 289265803 HAS SOUPS 289265803 WITH SCORE 2.90960731648E8
AT ITER 6825 NEW BEST:: SOT -2012262849 SOS 1694854616 HAS SOPS 1694854616 HAS SOUS 289265794 HAS SOUPS 289265794 WITH SCORE 2.90960648616E8
AT ITER 6842 NEW BEST:: SOT -2012273553 SOS 1694833203 HAS SOPS 1694833203 HAS SOUS 289255085 HAS SOUPS 289255085 WITH SCORE 2.90949918203E8
AT ITER 6861 NEW BEST:: SOT -2012285153 SOS 1694781002 HAS SOPS 1694781002 HAS SOUS 289255084 HAS SOUPS 289255084 WITH SCORE 2.90949865002E8
AT ITER 6865 NEW BEST:: SOT -2012293403 SOS 1694743876 HAS SOPS 1694743876 HAS SOUS 289255083 HAS SOUPS 289255083 WITH SCORE 2.90949826876E8
AT ITER 6869 NEW BEST:: SOT -2012318489 SOS 1694630989 HAS SOPS 1694630989 HAS SOUS 289255083 HAS SOUPS 289255083 WITH SCORE 2.90949713989E8
AT ITER 6872 NEW BEST:: SOT -2012355123 SOS 1694466134 HAS SOPS 1694466134 HAS SOUS 289255081 HAS SOUPS 289255081 WITH SCORE 2.90949547134E8
AT ITER 6879 NEW BEST:: SOT -2012384621 SOS 1694333393 HAS SOPS 1694333393 HAS SOUS 289255081 HAS SOUPS 289255081 WITH SCORE 2.90949414393E8
AT ITER 6888 NEW BEST:: SOT -2012402443 SOS 1694253191 HAS SOPS 1694253191 HAS SOUS 289255078 HAS SOUPS 289255078 WITH SCORE 2.90949331191E8
AT ITER 6893 NEW BEST:: SOT -2012434465 SOS 1694109090 HAS SOPS 1694109090 HAS SOUS 289255076 HAS SOUPS 289255076 WITH SCORE 2.9094918509E8
AT ITER 6898 NEW BEST:: SOT -2012449351 SOS 1694034660 HAS SOPS 1694034660 HAS SOUS 289247629 HAS SOUPS 289247629 WITH SCORE 2.9094166366E8
AT ITER 6899 NEW BEST:: SOT -2012479343 SOS 1693899692 HAS SOPS 1693899692 HAS SOUS 289247625 HAS SOUPS 289247625 WITH SCORE 2.90941524692E8
AT ITER 6903 NEW BEST:: SOT -2012514427 SOS 1693741809 HAS SOPS 1693741809 HAS SOUS 289247620 HAS SOUPS 289247620 WITH SCORE 2.90941361809E8
AT ITER 6916 NEW BEST:: SOT -2012544547 SOS 1693606269 HAS SOPS 1693606269 HAS SOUS 289247620 HAS SOUPS 289247620 WITH SCORE 2.90941226269E8
AT ITER 6933 NEW BEST:: SOT -2012560189 SOS 1693535877 HAS SOPS 1693535877 HAS SOUS 289247617 HAS SOUPS 289247617 WITH SCORE 2.90941152877E8
AT ITER 6950 NEW BEST:: SOT -2012605793 SOS 1693300302 HAS SOPS 1693300302 HAS SOUS 289230488 HAS SOUPS 289230488 WITH SCORE 2.90923788302E8
AT ITER 6958 NEW BEST:: SOT -2012612959 SOS 1693268051 HAS SOPS 1693268051 HAS SOUS 289230484 HAS SOUPS 289230484 WITH SCORE 2.90923752051E8
AT ITER 6969 NEW BEST:: SOT -2012645735 SOS 1693120559 HAS SOPS 1693120559 HAS SOUS 289230484 HAS SOUPS 289230484 WITH SCORE 2.90923604559E8
AT ITER 6976 NEW BEST:: SOT -2012665543 SOS 1693031416 HAS SOPS 1693031416 HAS SOUS 289230475 HAS SOUPS 289230475 WITH SCORE 2.90923506416E8
AT ITER 6991 NEW BEST:: SOT -2012669285 SOS 1693014574 HAS SOPS 1693014574 HAS SOUS 289230472 HAS SOUPS 289230472 WITH SCORE 2.90923486574E8
AT ITER 7001 NEW BEST:: SOT -2012691899 SOS 1692912806 HAS SOPS 1692912806 HAS SOUS 289230467 HAS SOUPS 289230467 WITH SCORE 2.90923379806E8
AT ITER 7005 NEW BEST:: SOT -2012706169 SOS 1692842355 HAS SOPS 1692842355 HAS SOUS 289224231 HAS SOUPS 289224231 WITH SCORE 2.90917073355E8
AT ITER 7010 NEW BEST:: SOT -2012745671 SOS 1692664595 HAS SOPS 1692664595 HAS SOUS 289224230 HAS SOUPS 289224230 WITH SCORE 2.90916894595E8
AT ITER 7016 NEW BEST:: SOT -2012784373 SOS 1692490430 HAS SOPS 1692490430 HAS SOUS 289224224 HAS SOUPS 289224224 WITH SCORE 2.9091671443E8
AT ITER 7029 NEW BEST:: SOT -2012817771 SOS 1692323513 HAS SOPS 1692323513 HAS SOUS 289207598 HAS SOUPS 289207598 WITH SCORE 2.90899921513E8
AT ITER 7036 NEW BEST:: SOT -2012834359 SOS 1692248865 HAS SOPS 1692248865 HAS SOUS 289207596 HAS SOUPS 289207596 WITH SCORE 2.90899844865E8
AT ITER 7043 NEW BEST:: SOT -2012834359 SOS 1692248861 HAS SOPS 1692248861 HAS SOUS 289207592 HAS SOUPS 289207592 WITH SCORE 2.90899840861E8
AT ITER 7053 NEW BEST:: SOT -2012856847 SOS 1692147661 HAS SOPS 1692147661 HAS SOUS 289207588 HAS SOUPS 289207588 WITH SCORE 2.90899735661E8
AT ITER 7060 NEW BEST:: SOT -2012873263 SOS 1692068380 HAS SOPS 1692068380 HAS SOUS 289202179 HAS SOUPS 289202179 WITH SCORE 2.9089424738E8
AT ITER 7089 NEW BEST:: SOT -2012882843 SOS 1692025267 HAS SOPS 1692025267 HAS SOUS 289202176 HAS SOUPS 289202176 WITH SCORE 2.90894201267E8
AT ITER 7131 NEW BEST:: SOT -2012894333 SOS 1691973560 HAS SOPS 1691973560 HAS SOUS 289202174 HAS SOUPS 289202174 WITH SCORE 2.9089414756E8
AT ITER 7138 NEW BEST:: SOT -2012943513 SOS 1691752250 HAS SOPS 1691752250 HAS SOUS 289202174 HAS SOUPS 289202174 WITH SCORE 2.9089392625E8
AT ITER 7170 NEW BEST:: SOT -2012964989 SOS 1691655607 HAS SOPS 1691655607 HAS SOUS 289202173 HAS SOUPS 289202173 WITH SCORE 2.90893828607E8
AT ITER 7181 NEW BEST:: SOT -2013031113 SOS 1691358043 HAS SOPS 1691358043 HAS SOUS 289202167 HAS SOUPS 289202167 WITH SCORE 2.90893525043E8
AT ITER 7226 NEW BEST:: SOT -2013058585 SOS 1691181185 HAS SOPS 1691181185 HAS SOUS 289201598 HAS SOUPS 289201598 WITH SCORE 2.90892779185E8
AT ITER 7253 NEW BEST:: SOT -2013060161 SOS 1691174093 HAS SOPS 1691174093 HAS SOUS 289201598 HAS SOUPS 289201598 WITH SCORE 2.90892772093E8
AT ITER 7254 NEW BEST:: SOT -2013074477 SOS 1691109667 HAS SOPS 1691109667 HAS SOUS 289201594 HAS SOUPS 289201594 WITH SCORE 2.90892703667E8
AT ITER 7258 NEW BEST:: SOT -2013097649 SOS 1691005389 HAS SOPS 1691005389 HAS SOUS 289201590 HAS SOUPS 289201590 WITH SCORE 2.90892595389E8
AT ITER 7277 NEW BEST:: SOT -2013097649 SOS 1691002914 HAS SOPS 1691002914 HAS SOUS 289199115 HAS SOUPS 289199115 WITH SCORE 2.90890117914E8
AT ITER 7301 NEW BEST:: SOT -2013153617 SOS 1690723074 HAS SOPS 1690723074 HAS SOUS 289171131 HAS SOUPS 289171131 WITH SCORE 2.90861854074E8
AT ITER 7328 NEW BEST:: SOT -2013181869 SOS 1690595933 HAS SOPS 1690595933 HAS SOUS 289171122 HAS SOUPS 289171122 WITH SCORE 2.90861717933E8
AT ITER 7335 NEW BEST:: SOT -2013181869 SOS 1690595931 HAS SOPS 1690595931 HAS SOUS 289171120 HAS SOUPS 289171120 WITH SCORE 2.90861715931E8
AT ITER 7349 NEW BEST:: SOT -2013186591 SOS 1690574676 HAS SOPS 1690574676 HAS SOUS 289171114 HAS SOUPS 289171114 WITH SCORE 2.90861688676E8
AT ITER 7353 NEW BEST:: SOT -2013232825 SOS 1690366617 HAS SOPS 1690366617 HAS SOUS 289171108 HAS SOUPS 289171108 WITH SCORE 2.90861474617E8
AT ITER 7354 NEW BEST:: SOT -2013238373 SOS 1690341645 HAS SOPS 1690341645 HAS SOUS 289171102 HAS SOUPS 289171102 WITH SCORE 2.90861443645E8
AT ITER 7355 NEW BEST:: SOT -2013323044 SOS 1690031050 HAS SOPS 1690031050 HAS SOUS 289169812 HAS SOUPS 289169812 WITH SCORE 2.9085984305E8
AT ITER 7372 NEW BEST:: SOT -2013358352 SOS 1689872158 HAS SOPS 1689872158 HAS SOUS 289169806 HAS SOUPS 289169806 WITH SCORE 2.90859678158E8
AT ITER 7377 NEW BEST:: SOT -2013375220 SOS 1689796250 HAS SOPS 1689796250 HAS SOUS 289169804 HAS SOUPS 289169804 WITH SCORE 2.9085960025E8
AT ITER 7383 NEW BEST:: SOT -2013405394 SOS 1689645380 HAS SOPS 1689645380 HAS SOUS 289154717 HAS SOUPS 289154717 WITH SCORE 2.9084436238E8
AT ITER 7389 NEW BEST:: SOT -2013405394 SOS 1689645379 HAS SOPS 1689645379 HAS SOUS 289154716 HAS SOUPS 289154716 WITH SCORE 2.90844361379E8
AT ITER 7394 NEW BEST:: SOT -2013423568 SOS 1689563591 HAS SOPS 1689563591 HAS SOUS 289154711 HAS SOUPS 289154711 WITH SCORE 2.90844274591E8
AT ITER 7415 NEW BEST:: SOT -2013423568 SOS 1689563586 HAS SOPS 1689563586 HAS SOUS 289154706 HAS SOUPS 289154706 WITH SCORE 2.90844269586E8
AT ITER 7435 NEW BEST:: SOT -2013455276 SOS 1689420894 HAS SOPS 1689420894 HAS SOUS 289154700 HAS SOUPS 289154700 WITH SCORE 2.90844120894E8
AT ITER 7446 NEW BEST:: SOT -2013457838 SOS 1689409361 HAS SOPS 1689409361 HAS SOUS 289154696 HAS SOUPS 289154696 WITH SCORE 2.90844105361E8
AT ITER 7458 NEW BEST:: SOT -2013552622 SOS 1689082072 HAS SOPS 1689082072 HAS SOUS 289136917 HAS SOUPS 289136917 WITH SCORE 2.90825999072E8
AT ITER 7467 NEW BEST:: SOT -2013551981 SOS 1689086559 HAS SOPS 1689086559 HAS SOUS 289136276 HAS SOUPS 289136276 WITH SCORE 2.90825362559E8
AT ITER 7474 NEW BEST:: SOT -2013560121 SOS 1689049928 HAS SOPS 1689049928 HAS SOUS 289136275 HAS SOUPS 289136275 WITH SCORE 2.90825324928E8
AT ITER 7500 NEW BEST:: SOT -2013608271 SOS 1688833248 HAS SOPS 1688833248 HAS SOUS 289136270 HAS SOUPS 289136270 WITH SCORE 2.90825103248E8
AT ITER 7510 NEW BEST:: SOT -2013646679 SOS 1688660411 HAS SOPS 1688660411 HAS SOUS 289136269 HAS SOUPS 289136269 WITH SCORE 2.90824929411E8
AT ITER 7517 NEW BEST:: SOT -2013712193 SOS 1688365598 HAS SOPS 1688365598 HAS SOUS 289136269 HAS SOUPS 289136269 WITH SCORE 2.90824634598E8
AT ITER 7542 NEW BEST:: SOT -2013732917 SOS 1688272335 HAS SOPS 1688272335 HAS SOUS 289136264 HAS SOUPS 289136264 WITH SCORE 2.90824536335E8
AT ITER 7543 NEW BEST:: SOT -2013795145 SOS 1687992304 HAS SOPS 1687992304 HAS SOUS 289136259 HAS SOUPS 289136259 WITH SCORE 2.90824251304E8
AT ITER 7557 NEW BEST:: SOT -2013848549 SOS 1687751985 HAS SOPS 1687751985 HAS SOUS 289136258 HAS SOUPS 289136258 WITH SCORE 2.90824009985E8
AT ITER 7558 NEW BEST:: SOT -2013864023 SOS 1687682345 HAS SOPS 1687682345 HAS SOUS 289136249 HAS SOUPS 289136249 WITH SCORE 2.90823931345E8
AT ITER 7562 NEW BEST:: SOT -2013901485 SOS 1687513761 HAS SOPS 1687513761 HAS SOUS 289136244 HAS SOUPS 289136244 WITH SCORE 2.90823757761E8
AT ITER 7568 NEW BEST:: SOT -2013914299 SOS 1687456091 HAS SOPS 1687456091 HAS SOUS 289136235 HAS SOUPS 289136235 WITH SCORE 2.90823691091E8
AT ITER 7587 NEW BEST:: SOT -2013952723 SOS 1687283181 HAS SOPS 1687283181 HAS SOUS 289136233 HAS SOUPS 289136233 WITH SCORE 2.90823516181E8
AT ITER 7600 NEW BEST:: SOT -2013981967 SOS 1687151576 HAS SOPS 1687151576 HAS SOUS 289136224 HAS SOUPS 289136224 WITH SCORE 2.90823375576E8
AT ITER 7637 NEW BEST:: SOT -2013990545 SOS 1687112975 HAS SOPS 1687112975 HAS SOUS 289136224 HAS SOUPS 289136224 WITH SCORE 2.90823336975E8
AT ITER 7655 NEW BEST:: SOT -2013992739 SOS 1687103102 HAS SOPS 1687103102 HAS SOUS 289136224 HAS SOUPS 289136224 WITH SCORE 2.90823327102E8
AT ITER 7667 NEW BEST:: SOT -2014017097 SOS 1686993484 HAS SOPS 1686993484 HAS SOUS 289136215 HAS SOUPS 289136215 WITH SCORE 2.90823208484E8
AT ITER 7677 NEW BEST:: SOT -2014036455 SOS 1686906367 HAS SOPS 1686906367 HAS SOUS 289136209 HAS SOUPS 289136209 WITH SCORE 2.90823115367E8
AT ITER 7699 NEW BEST:: SOT -2014049237 SOS 1686848848 HAS SOPS 1686848848 HAS SOUS 289136209 HAS SOUPS 289136209 WITH SCORE 2.90823057848E8
AT ITER 7716 NEW BEST:: SOT -2014049237 SOS 1686848843 HAS SOPS 1686848843 HAS SOUS 289136204 HAS SOUPS 289136204 WITH SCORE 2.90823052843E8
AT ITER 7744 NEW BEST:: SOT -2014049237 SOS 1686848840 HAS SOPS 1686848840 HAS SOUS 289136201 HAS SOUPS 289136201 WITH SCORE 2.9082304984E8
AT ITER 7749 NEW BEST:: SOT -2014068671 SOS 1686761387 HAS SOPS 1686761387 HAS SOUS 289136201 HAS SOUPS 289136201 WITH SCORE 2.90822962387E8
AT ITER 7762 NEW BEST:: SOT -2014117953 SOS 1686539615 HAS SOPS 1686539615 HAS SOUS 289136198 HAS SOUPS 289136198 WITH SCORE 2.90822737615E8
AT ITER 7779 NEW BEST:: SOT -2014166301 SOS 1686322042 HAS SOPS 1686322042 HAS SOUS 289136189 HAS SOUPS 289136189 WITH SCORE 2.90822511042E8
AT ITER 7799 NEW BEST:: SOT -2014207419 SOS 1686137005 HAS SOPS 1686137005 HAS SOUS 289136183 HAS SOUPS 289136183 WITH SCORE 2.90822320005E8
AT ITER 7820 NEW BEST:: SOT -2014239907 SOS 1685990806 HAS SOPS 1685990806 HAS SOUS 289136180 HAS SOUPS 289136180 WITH SCORE 2.90822170806E8
AT ITER 7821 NEW BEST:: SOT -2014268267 SOS 1685863179 HAS SOPS 1685863179 HAS SOUS 289136171 HAS SOUPS 289136171 WITH SCORE 2.90822034179E8
AT ITER 7832 NEW BEST:: SOT -2014325157 SOS 1685607169 HAS SOPS 1685607169 HAS SOUS 289136166 HAS SOUPS 289136166 WITH SCORE 2.90821773169E8
AT ITER 7846 NEW BEST:: SOT -2014361606 SOS 1685420017 HAS SOPS 1685420017 HAS SOUS 289123223 HAS SOUPS 289123223 WITH SCORE 2.90808643017E8
AT ITER 7852 NEW BEST:: SOT -2014361606 SOS 1685420011 HAS SOPS 1685420011 HAS SOUS 289123217 HAS SOUPS 289123217 WITH SCORE 2.90808637011E8
AT ITER 7866 NEW BEST:: SOT -2014382870 SOS 1685324321 HAS SOPS 1685324321 HAS SOUS 289123215 HAS SOUPS 289123215 WITH SCORE 2.90808539321E8
AT ITER 7875 NEW BEST:: SOT -2014413472 SOS 1685186606 HAS SOPS 1685186606 HAS SOUS 289123209 HAS SOUPS 289123209 WITH SCORE 2.90808395606E8
AT ITER 7914 NEW BEST:: SOT -2014430552 SOS 1685109744 HAS SOPS 1685109744 HAS SOUS 289123207 HAS SOUPS 289123207 WITH SCORE 2.90808316744E8
AT ITER 7919 NEW BEST:: SOT -2014484506 SOS 1684866944 HAS SOPS 1684866944 HAS SOUS 289123198 HAS SOUPS 289123198 WITH SCORE 2.90808064944E8
AT ITER 7927 NEW BEST:: SOT -2014532190 SOS 1684628524 HAS SOPS 1684628524 HAS SOUS 289099356 HAS SOUPS 289099356 WITH SCORE 2.90783984524E8
AT ITER 7930 NEW BEST:: SOT -2014618856 SOS 1684314393 HAS SOPS 1684314393 HAS SOUS 289089204 HAS SOUPS 289089204 WITH SCORE 2.90773518393E8
AT ITER 7941 NEW BEST:: SOT -2014666166 SOS 1684101491 HAS SOPS 1684101491 HAS SOUS 289089195 HAS SOUPS 289089195 WITH SCORE 2.90773296491E8
AT ITER 7953 NEW BEST:: SOT -2014691398 SOS 1683987941 HAS SOPS 1683987941 HAS SOUS 289089189 HAS SOUPS 289089189 WITH SCORE 2.90773176941E8
AT ITER 7956 NEW BEST:: SOT -2014697808 SOS 1683947984 HAS SOPS 1683947984 HAS SOUS 289088591 HAS SOUPS 289088591 WITH SCORE 2.90772538984E8
AT ITER 7960 NEW BEST:: SOT -2014741374 SOS 1683751934 HAS SOPS 1683751934 HAS SOUS 289088588 HAS SOUPS 289088588 WITH SCORE 2.90772339934E8
AT ITER 7968 NEW BEST:: SOT -2014751758 SOS 1683705204 HAS SOPS 1683705204 HAS SOUS 289088586 HAS SOUPS 289088586 WITH SCORE 2.90772291204E8
AT ITER 7972 NEW BEST:: SOT -2014799970 SOS 1683488248 HAS SOPS 1683488248 HAS SOUS 289088584 HAS SOUPS 289088584 WITH SCORE 2.90772072248E8
AT ITER 7978 NEW BEST:: SOT -2014811680 SOS 1683435547 HAS SOPS 1683435547 HAS SOUS 289088578 HAS SOUPS 289088578 WITH SCORE 2.90772013547E8
AT ITER 7984 NEW BEST:: SOT -2014812582 SOS 1683431488 HAS SOPS 1683431488 HAS SOUS 289088578 HAS SOUPS 289088578 WITH SCORE 2.90772009488E8
AT ITER 7993 NEW BEST:: SOT -2014827981 SOS 1683353395 HAS SOPS 1683353395 HAS SOUS 289082108 HAS SOUPS 289082108 WITH SCORE 2.90765461395E8
AT ITER 7994 NEW BEST:: SOT -2014864745 SOS 1683169575 HAS SOPS 1683169575 HAS SOUS 289063726 HAS SOUPS 289063726 WITH SCORE 2.90746895575E8
AT ITER 7997 NEW BEST:: SOT -2014906793 SOS 1682959523 HAS SOPS 1682959523 HAS SOUS 289042890 HAS SOUPS 289042890 WITH SCORE 2.90725849523E8
AT ITER 8020 NEW BEST:: SOT -2014906793 SOS 1682959519 HAS SOPS 1682959519 HAS SOUS 289042886 HAS SOUPS 289042886 WITH SCORE 2.90725845519E8
AT ITER 8028 NEW BEST:: SOT -2014929541 SOS 1682857152 HAS SOPS 1682857152 HAS SOUS 289042885 HAS SOUPS 289042885 WITH SCORE 2.90725742152E8
AT ITER 8038 NEW BEST:: SOT -2014973489 SOS 1682659380 HAS SOPS 1682659380 HAS SOUS 289042879 HAS SOUPS 289042879 WITH SCORE 2.9072553838E8
AT ITER 8041 NEW BEST:: SOT -2015000869 SOS 1682536163 HAS SOPS 1682536163 HAS SOUS 289042870 HAS SOUPS 289042870 WITH SCORE 2.90725406163E8
AT ITER 8045 NEW BEST:: SOT -2015031231 SOS 1682399534 HAS SOPS 1682399534 HAS SOUS 289042870 HAS SOUPS 289042870 WITH SCORE 2.90725269534E8
AT ITER 8046 NEW BEST:: SOT -2015045243 SOS 1682331689 HAS SOPS 1682331689 HAS SOUS 289038079 HAS SOUPS 289038079 WITH SCORE 2.90720410689E8
AT ITER 8053 NEW BEST:: SOT -2015055055 SOS 1682287533 HAS SOPS 1682287533 HAS SOUS 289038077 HAS SOUPS 289038077 WITH SCORE 2.90720364533E8
AT ITER 8063 NEW BEST:: SOT -2015084773 SOS 1682153798 HAS SOPS 1682153798 HAS SOUS 289038073 HAS SOUPS 289038073 WITH SCORE 2.90720226798E8
AT ITER 8073 NEW BEST:: SOT -2015107627 SOS 1682050949 HAS SOPS 1682050949 HAS SOUS 289038067 HAS SOUPS 289038067 WITH SCORE 2.90720117949E8
AT ITER 8097 NEW BEST:: SOT -2015156557 SOS 1681830758 HAS SOPS 1681830758 HAS SOUS 289038061 HAS SOUPS 289038061 WITH SCORE 2.90719891758E8
AT ITER 8100 NEW BEST:: SOT -2015173183 SOS 1681755935 HAS SOPS 1681755935 HAS SOUS 289038055 HAS SOUPS 289038055 WITH SCORE 2.90719810935E8
AT ITER 8112 NEW BEST:: SOT -2015173425 SOS 1681755448 HAS SOPS 1681755448 HAS SOUS 289037810 HAS SOUPS 289037810 WITH SCORE 2.90719565448E8
AT ITER 8136 NEW BEST:: SOT -2015217868 SOS 1681528999 HAS SOPS 1681528999 HAS SOUS 289024070 HAS SOUPS 289024070 WITH SCORE 2.90705598999E8
AT ITER 8148 NEW BEST:: SOT -2015225140 SOS 1681496270 HAS SOPS 1681496270 HAS SOUS 289024065 HAS SOUPS 289024065 WITH SCORE 2.9070556127E8
AT ITER 8177 NEW BEST:: SOT -2015233898 SOS 1681452480 HAS SOPS 1681452480 HAS SOUS 289019686 HAS SOUPS 289019686 WITH SCORE 2.9070113848E8
AT ITER 8198 NEW BEST:: SOT -2015258062 SOS 1681343737 HAS SOPS 1681343737 HAS SOUS 289019681 HAS SOUPS 289019681 WITH SCORE 2.90701024737E8
AT ITER 8219 NEW BEST:: SOT -2015295788 SOS 1681173965 HAS SOPS 1681173965 HAS SOUS 289019676 HAS SOUPS 289019676 WITH SCORE 2.90700849965E8
AT ITER 8243 NEW BEST:: SOT -2015324560 SOS 1681044485 HAS SOPS 1681044485 HAS SOUS 289019670 HAS SOUPS 289019670 WITH SCORE 2.90700714485E8
AT ITER 8253 NEW BEST:: SOT -2015326168 SOS 1681027518 HAS SOPS 1681027518 HAS SOUS 289011183 HAS SOUPS 289011183 WITH SCORE 2.90692210518E8
AT ITER 8259 NEW BEST:: SOT -2015348364 SOS 1680927635 HAS SOPS 1680927635 HAS SOUS 289011182 HAS SOUPS 289011182 WITH SCORE 2.90692109635E8
AT ITER 8261 NEW BEST:: SOT -2015351530 SOS 1680921303 HAS SOPS 1680921303 HAS SOUS 289008088 HAS SOUPS 289008088 WITH SCORE 2.90689009303E8
AT ITER 8274 NEW BEST:: SOT -2015356160 SOS 1680900468 HAS SOPS 1680900468 HAS SOUS 289008088 HAS SOUPS 289008088 WITH SCORE 2.90688988468E8
AT ITER 8277 NEW BEST:: SOT -2015409894 SOS 1680658660 HAS SOPS 1680658660 HAS SOUS 289008083 HAS SOUPS 289008083 WITH SCORE 2.9068874166E8
AT ITER 8291 NEW BEST:: SOT -2015448224 SOS 1680486172 HAS SOPS 1680486172 HAS SOUS 289008080 HAS SOUPS 289008080 WITH SCORE 2.90688566172E8
AT ITER 8316 NEW BEST:: SOT -2015489408 SOS 1680276532 HAS SOPS 1680276532 HAS SOUS 288991580 HAS SOUPS 288991580 WITH SCORE 2.90671856532E8
AT ITER 8363 NEW BEST:: SOT -2015547992 SOS 1680012897 HAS SOPS 1680012897 HAS SOUS 288991571 HAS SOUPS 288991571 WITH SCORE 2.90671583897E8
AT ITER 8367 NEW BEST:: SOT -2015583356 SOS 1679853754 HAS SOPS 1679853754 HAS SOUS 288991566 HAS SOUPS 288991566 WITH SCORE 2.90671419754E8
AT ITER 8404 NEW BEST:: SOT -2015604282 SOS 1679759586 HAS SOPS 1679759586 HAS SOUS 288991565 HAS SOUPS 288991565 WITH SCORE 2.90671324586E8
AT ITER 8408 NEW BEST:: SOT -2015632822 SOS 1679616886 HAS SOPS 1679616886 HAS SOUS 288977295 HAS SOUPS 288977295 WITH SCORE 2.90656911886E8
AT ITER 8411 NEW BEST:: SOT -2015687796 SOS 1679342317 HAS SOPS 1679342317 HAS SOUS 288950109 HAS SOUPS 288950109 WITH SCORE 2.90629451317E8
AT ITER 8422 NEW BEST:: SOT -2015714384 SOS 1679206431 HAS SOPS 1679206431 HAS SOUS 288942717 HAS SOUPS 288942717 WITH SCORE 2.90621923431E8
AT ITER 8426 NEW BEST:: SOT -2015732628 SOS 1679124328 HAS SOPS 1679124328 HAS SOUS 288942712 HAS SOUPS 288942712 WITH SCORE 2.90621836328E8
AT ITER 8428 NEW BEST:: SOT -2015772130 SOS 1678946563 HAS SOPS 1678946563 HAS SOUS 288942706 HAS SOUPS 288942706 WITH SCORE 2.90621652563E8
AT ITER 8430 NEW BEST:: SOT -2015796082 SOS 1678838774 HAS SOPS 1678838774 HAS SOUS 288942701 HAS SOUPS 288942701 WITH SCORE 2.90621539774E8
AT ITER 8432 NEW BEST:: SOT -2015809948 SOS 1678776375 HAS SOPS 1678776375 HAS SOUS 288942699 HAS SOUPS 288942699 WITH SCORE 2.90621475375E8
AT ITER 8441 NEW BEST:: SOT -2015829276 SOS 1678689393 HAS SOPS 1678689393 HAS SOUS 288942693 HAS SOUPS 288942693 WITH SCORE 2.90621382393E8
AT ITER 8454 NEW BEST:: SOT -2015843068 SOS 1678627327 HAS SOPS 1678627327 HAS SOUS 288942691 HAS SOUPS 288942691 WITH SCORE 2.90621318327E8
AT ITER 8457 NEW BEST:: SOT -2015907134 SOS 1678299675 HAS SOPS 1678299675 HAS SOUS 288917434 HAS SOUPS 288917434 WITH SCORE 2.90595733675E8
AT ITER 8458 NEW BEST:: SOT -2015918816 SOS 1678247104 HAS SOPS 1678247104 HAS SOUS 288917432 HAS SOUPS 288917432 WITH SCORE 2.90595679104E8
AT ITER 8467 NEW BEST:: SOT -2015918816 SOS 1678247097 HAS SOPS 1678247097 HAS SOUS 288917423 HAS SOUPS 288917423 WITH SCORE 2.90595670097E8
AT ITER 8485 NEW BEST:: SOT -2015918816 SOS 1678247095 HAS SOPS 1678247095 HAS SOUS 288917421 HAS SOUPS 288917421 WITH SCORE 2.90595668095E8
AT ITER 8494 NEW BEST:: SOT -2015949294 SOS 1678094158 HAS SOPS 1678094158 HAS SOUS 288910236 HAS SOUPS 288910236 WITH SCORE 2.90588330158E8
AT ITER 8502 NEW BEST:: SOT -2016000450 SOS 1677863954 HAS SOPS 1677863954 HAS SOUS 288910234 HAS SOUPS 288910234 WITH SCORE 2.90588097954E8
AT ITER 8504 NEW BEST:: SOT -2016026186 SOS 1677748135 HAS SOPS 1677748135 HAS SOUS 288910225 HAS SOUPS 288910225 WITH SCORE 2.90587973135E8
AT ITER 8513 NEW BEST:: SOT -2016028878 SOS 1677736021 HAS SOPS 1677736021 HAS SOUS 288910225 HAS SOUPS 288910225 WITH SCORE 2.90587961021E8
AT ITER 8524 NEW BEST:: SOT -2016058636 SOS 1677602107 HAS SOPS 1677602107 HAS SOUS 288910222 HAS SOUPS 288910222 WITH SCORE 2.90587824107E8
AT ITER 8526 NEW BEST:: SOT -2016084340 SOS 1677473901 HAS SOPS 1677473901 HAS SOUS 288897684 HAS SOUPS 288897684 WITH SCORE 2.90575157901E8
AT ITER 8538 NEW BEST:: SOT -2016120201 SOS 1677292978 HAS SOPS 1677292978 HAS SOUS 288884565 HAS SOUPS 288884565 WITH SCORE 2.90561857978E8
AT ITER 8546 NEW BEST:: SOT -2016174769 SOS 1677047422 HAS SOPS 1677047422 HAS SOUS 288884565 HAS SOUPS 288884565 WITH SCORE 2.90561612422E8
AT ITER 8550 NEW BEST:: SOT -2016201229 SOS 1676928352 HAS SOPS 1676928352 HAS SOUS 288884565 HAS SOUPS 288884565 WITH SCORE 2.90561493352E8
AT ITER 8559 NEW BEST:: SOT -2016215781 SOS 1676862867 HAS SOPS 1676862867 HAS SOUS 288884564 HAS SOUPS 288884564 WITH SCORE 2.90561426867E8
AT ITER 8568 NEW BEST:: SOT -2016251603 SOS 1676691666 HAS SOPS 1676691666 HAS SOUS 288874562 HAS SOUPS 288874562 WITH SCORE 2.90551253666E8
AT ITER 8583 NEW BEST:: SOT -2016269237 SOS 1676612306 HAS SOPS 1676612306 HAS SOUS 288874553 HAS SOUPS 288874553 WITH SCORE 2.90551165306E8
AT ITER 8584 NEW BEST:: SOT -2016287167 SOS 1676531619 HAS SOPS 1676531619 HAS SOUS 288874551 HAS SOUPS 288874551 WITH SCORE 2.90551082619E8
AT ITER 8616 NEW BEST:: SOT -2016291195 SOS 1676523563 HAS SOPS 1676523563 HAS SOUS 288870523 HAS SOUPS 288870523 WITH SCORE 2.90547046563E8
AT ITER 8619 NEW BEST:: SOT -2016323766 SOS 1676357765 HAS SOPS 1676357765 HAS SOUS 288860951 HAS SOUPS 288860951 WITH SCORE 2.90537308765E8
AT ITER 8633 NEW BEST:: SOT -2016348430 SOS 1676246772 HAS SOPS 1676246772 HAS SOUS 288860946 HAS SOUPS 288860946 WITH SCORE 2.90537192772E8
AT ITER 8672 NEW BEST:: SOT -2016372892 SOS 1676136691 HAS SOPS 1676136691 HAS SOUS 288860944 HAS SOUPS 288860944 WITH SCORE 2.90537080691E8
AT ITER 8676 NEW BEST:: SOT -2016406072 SOS 1675987378 HAS SOPS 1675987378 HAS SOUS 288860941 HAS SOUPS 288860941 WITH SCORE 2.90536928378E8
AT ITER 8678 NEW BEST:: SOT -2016436633 SOS 1675832288 HAS SOPS 1675832288 HAS SOUS 288857505 HAS SOUPS 288857505 WITH SCORE 2.90533337288E8
AT ITER 8681 NEW BEST:: SOT -2016452177 SOS 1675762340 HAS SOPS 1675762340 HAS SOUS 288857505 HAS SOUPS 288857505 WITH SCORE 2.9053326734E8
AT ITER 8682 NEW BEST:: SOT -2016482995 SOS 1675623654 HAS SOPS 1675623654 HAS SOUS 288857500 HAS SOUPS 288857500 WITH SCORE 2.90533123654E8
AT ITER 8719 NEW BEST:: SOT -2016507933 SOS 1675498964 HAS SOPS 1675498964 HAS SOUS 288845031 HAS SOUPS 288845031 WITH SCORE 2.90520529964E8
AT ITER 8736 NEW BEST:: SOT -2016527593 SOS 1675410487 HAS SOPS 1675410487 HAS SOUS 288845022 HAS SOUPS 288845022 WITH SCORE 2.90520432487E8
AT ITER 8739 NEW BEST:: SOT -2016586833 SOS 1675115321 HAS SOPS 1675115321 HAS SOUS 288816436 HAS SOUPS 288816436 WITH SCORE 2.90491551321E8
AT ITER 8743 NEW BEST:: SOT -2016617637 SOS 1674976700 HAS SOPS 1674976700 HAS SOUS 288816433 HAS SOUPS 288816433 WITH SCORE 2.904914097E8
AT ITER 8748 NEW BEST:: SOT -2016625113 SOS 1674943055 HAS SOPS 1674943055 HAS SOUS 288816430 HAS SOUPS 288816430 WITH SCORE 2.90491373055E8
AT ITER 8753 NEW BEST:: SOT -2016625113 SOS 1674943053 HAS SOPS 1674943053 HAS SOUS 288816428 HAS SOUPS 288816428 WITH SCORE 2.90491371053E8
AT ITER 8772 NEW BEST:: SOT -2016625113 SOS 1674936455 HAS SOPS 1674936455 HAS SOUS 288809830 HAS SOUPS 288809830 WITH SCORE 2.90484766455E8
AT ITER 8787 NEW BEST:: SOT -2016639405 SOS 1674872139 HAS SOPS 1674872139 HAS SOUS 288809828 HAS SOUPS 288809828 WITH SCORE 2.90484700139E8
AT ITER 8792 NEW BEST:: SOT -2016701829 SOS 1674591227 HAS SOPS 1674591227 HAS SOUS 288809824 HAS SOUPS 288809824 WITH SCORE 2.90484415227E8
AT ITER 8835 NEW BEST:: SOT -2016731810 SOS 1674483148 HAS SOPS 1674483148 HAS SOUS 288808651 HAS SOUPS 288808651 WITH SCORE 2.90483134148E8
AT ITER 8857 NEW BEST:: SOT -2016762244 SOS 1674346191 HAS SOPS 1674346191 HAS SOUS 288808647 HAS SOUPS 288808647 WITH SCORE 2.90482993191E8
AT ITER 8861 NEW BEST:: SOT -2016804866 SOS 1674154386 HAS SOPS 1674154386 HAS SOUS 288808641 HAS SOUPS 288808641 WITH SCORE 2.90482795386E8
AT ITER 8872 NEW BEST:: SOT -2016813643 SOS 1674095925 HAS SOPS 1674095925 HAS SOUS 288806795 HAS SOUPS 288806795 WITH SCORE 2.90480890925E8
AT ITER 8890 NEW BEST:: SOT -2016877207 SOS 1673809884 HAS SOPS 1673809884 HAS SOUS 288806792 HAS SOUPS 288806792 WITH SCORE 2.90480601884E8
AT ITER 8897 NEW BEST:: SOT -2016880111 SOS 1673796813 HAS SOPS 1673796813 HAS SOUS 288806789 HAS SOUPS 288806789 WITH SCORE 2.90480585813E8
AT ITER 8919 NEW BEST:: SOT -2016924703 SOS 1673571044 HAS SOPS 1673571044 HAS SOUS 288790553 HAS SOUPS 288790553 WITH SCORE 2.90464124044E8
AT ITER 8924 NEW BEST:: SOT -2016944481 SOS 1673482043 HAS SOPS 1673482043 HAS SOUS 288790553 HAS SOUPS 288790553 WITH SCORE 2.90464035043E8
AT ITER 8939 NEW BEST:: SOT -2017000721 SOS 1673228957 HAS SOPS 1673228957 HAS SOUS 288790547 HAS SOUPS 288790547 WITH SCORE 2.90463775957E8
AT ITER 8941 NEW BEST:: SOT -2017028863 SOS 1673102311 HAS SOPS 1673102311 HAS SOUS 288790538 HAS SOUPS 288790538 WITH SCORE 2.90463640311E8
AT ITER 8948 NEW BEST:: SOT -2017073439 SOS 1672901712 HAS SOPS 1672901712 HAS SOUS 288790529 HAS SOUPS 288790529 WITH SCORE 2.90463430712E8
AT ITER 8952 NEW BEST:: SOT -2017073439 SOS 1672901709 HAS SOPS 1672901709 HAS SOUS 288790526 HAS SOUPS 288790526 WITH SCORE 2.90463427709E8
AT ITER 8968 NEW BEST:: SOT -2017073439 SOS 1672899587 HAS SOPS 1672899587 HAS SOUS 288788404 HAS SOUPS 288788404 WITH SCORE 2.90461303587E8
AT ITER 8969 NEW BEST:: SOT -2017111713 SOS 1672709384 HAS SOPS 1672709384 HAS SOUS 288770434 HAS SOUPS 288770434 WITH SCORE 2.90443143384E8
AT ITER 8973 NEW BEST:: SOT -2017132565 SOS 1672615544 HAS SOPS 1672615544 HAS SOUS 288770428 HAS SOUPS 288770428 WITH SCORE 2.90443043544E8
AT ITER 9006 NEW BEST:: SOT -2017155977 SOS 1672510187 HAS SOPS 1672510187 HAS SOUS 288770425 HAS SOUPS 288770425 WITH SCORE 2.90442935187E8
AT ITER 9010 NEW BEST:: SOT -2017164499 SOS 1672471835 HAS SOPS 1672471835 HAS SOUS 288770422 HAS SOUPS 288770422 WITH SCORE 2.90442893835E8
AT ITER 9040 NEW BEST:: SOT -2017227384 SOS 1672151777 HAS SOPS 1672151777 HAS SOUS 288745929 HAS SOUPS 288745929 WITH SCORE 2.90418080777E8
AT ITER 9061 NEW BEST:: SOT -2017278840 SOS 1671920223 HAS SOPS 1671920223 HAS SOUS 288745927 HAS SOUPS 288745927 WITH SCORE 2.90417847223E8
AT ITER 9071 NEW BEST:: SOT -2017307992 SOS 1671789032 HAS SOPS 1671789032 HAS SOUS 288745918 HAS SOUPS 288745918 WITH SCORE 2.90417707032E8
AT ITER 9073 NEW BEST:: SOT -2017342012 SOS 1671635940 HAS SOPS 1671635940 HAS SOUS 288745916 HAS SOUPS 288745916 WITH SCORE 2.9041755194E8
AT ITER 9096 NEW BEST:: SOT -2017342012 SOS 1671624987 HAS SOPS 1671624987 HAS SOUS 288735157 HAS SOUPS 288735157 WITH SCORE 2.90406781987E8
AT ITER 9103 NEW BEST:: SOT -2017375850 SOS 1671421798 HAS SOPS 1671421798 HAS SOUS 288731790 HAS SOUPS 288731790 WITH SCORE 2.90403211798E8
AT ITER 9107 NEW BEST:: SOT -2017413648 SOS 1671251707 HAS SOPS 1671251707 HAS SOUS 288731790 HAS SOUPS 288731790 WITH SCORE 2.90403041707E8
AT ITER 9114 NEW BEST:: SOT -2017425886 SOS 1671196630 HAS SOPS 1671196630 HAS SOUS 288731784 HAS SOUPS 288731784 WITH SCORE 2.9040298063E8
AT ITER 9133 NEW BEST:: SOT -2017452300 SOS 1671077761 HAS SOPS 1671077761 HAS SOUS 288731778 HAS SOUPS 288731778 WITH SCORE 2.90402855761E8
AT ITER 9149 NEW BEST:: SOT -2017469842 SOS 1670998819 HAS SOPS 1670998819 HAS SOUS 288731775 HAS SOUPS 288731775 WITH SCORE 2.90402773819E8
AT ITER 9172 NEW BEST:: SOT -2017469842 SOS 1670998817 HAS SOPS 1670998817 HAS SOUS 288731773 HAS SOUPS 288731773 WITH SCORE 2.90402771817E8
AT ITER 9181 NEW BEST:: SOT -2017481706 SOS 1670945422 HAS SOPS 1670945422 HAS SOUS 288731764 HAS SOUPS 288731764 WITH SCORE 2.90402709422E8
AT ITER 9185 NEW BEST:: SOT -2017507146 SOS 1670830938 HAS SOPS 1670830938 HAS SOUS 288731760 HAS SOUPS 288731760 WITH SCORE 2.90402590938E8
AT ITER 9216 NEW BEST:: SOT -2017520782 SOS 1670769572 HAS SOPS 1670769572 HAS SOUS 288731756 HAS SOUPS 288731756 WITH SCORE 2.90402525572E8
AT ITER 9227 NEW BEST:: SOT -2017561822 SOS 1670564372 HAS SOPS 1670564372 HAS SOUS 288711232 HAS SOUPS 288711232 WITH SCORE 2.90381796372E8
AT ITER 9229 NEW BEST:: SOT -2017576225 SOS 1670452478 HAS SOPS 1670452478 HAS SOUS 288710677 HAS SOUPS 288710677 WITH SCORE 2.90381129478E8
AT ITER 9233 NEW BEST:: SOT -2017602431 SOS 1670321448 HAS SOPS 1670321448 HAS SOUS 288697574 HAS SOUPS 288697574 WITH SCORE 2.90367895448E8
AT ITER 9252 NEW BEST:: SOT -2017608179 SOS 1670295578 HAS SOPS 1670295578 HAS SOUS 288697570 HAS SOUPS 288697570 WITH SCORE 2.90367865578E8
AT ITER 9270 NEW BEST:: SOT -2017618909 SOS 1670241928 HAS SOPS 1670241928 HAS SOUS 288692205 HAS SOUPS 288692205 WITH SCORE 2.90362446928E8
AT ITER 9271 NEW BEST:: SOT -2017684031 SOS 1669948875 HAS SOPS 1669948875 HAS SOUS 288692201 HAS SOUPS 288692201 WITH SCORE 2.90362149875E8
AT ITER 9279 NEW BEST:: SOT -2017698679 SOS 1669882953 HAS SOPS 1669882953 HAS SOUS 288692195 HAS SOUPS 288692195 WITH SCORE 2.90362077953E8
AT ITER 9283 NEW BEST:: SOT -2017698679 SOS 1669882946 HAS SOPS 1669882946 HAS SOUS 288692186 HAS SOUPS 288692186 WITH SCORE 2.90362068946E8
AT ITER 9309 NEW BEST:: SOT -2017736073 SOS 1669714670 HAS SOPS 1669714670 HAS SOUS 288692183 HAS SOUPS 288692183 WITH SCORE 2.9036189767E8
AT ITER 9320 NEW BEST:: SOT -2017753299 SOS 1669637151 HAS SOPS 1669637151 HAS SOUS 288692181 HAS SOUPS 288692181 WITH SCORE 2.90361818151E8
AT ITER 9323 NEW BEST:: SOT -2017770600 SOS 1669544047 HAS SOPS 1669544047 HAS SOUS 288690763 HAS SOUPS 288690763 WITH SCORE 2.90360307047E8
AT ITER 9325 NEW BEST:: SOT -2017788580 SOS 1669451373 HAS SOPS 1669451373 HAS SOUS 288688876 HAS SOUPS 288688876 WITH SCORE 2.90358327373E8
AT ITER 9351 NEW BEST:: SOT -2017874312 SOS 1669143871 HAS SOPS 1669143871 HAS SOUS 288687426 HAS SOUPS 288687426 WITH SCORE 2.90356569871E8
AT ITER 9356 NEW BEST:: SOT -2017885386 SOS 1669094035 HAS SOPS 1669094035 HAS SOUS 288687423 HAS SOUPS 288687423 WITH SCORE 2.90356517035E8
AT ITER 9359 NEW BEST:: SOT -2017915028 SOS 1668960645 HAS SOPS 1668960645 HAS SOUS 288687422 HAS SOUPS 288687422 WITH SCORE 2.90356382645E8
AT ITER 9364 NEW BEST:: SOT -2017975928 SOS 1668686590 HAS SOPS 1668686590 HAS SOUS 288687417 HAS SOUPS 288687417 WITH SCORE 2.9035610359E8
AT ITER 9367 NEW BEST:: SOT -2017975928 SOS 1668678372 HAS SOPS 1668678372 HAS SOUS 288679199 HAS SOUPS 288679199 WITH SCORE 2.90347877372E8
AT ITER 9417 NEW BEST:: SOT -2018011844 SOS 1668516749 HAS SOPS 1668516749 HAS SOUS 288679198 HAS SOUPS 288679198 WITH SCORE 2.90347714749E8
AT ITER 9448 NEW BEST:: SOT -2018078608 SOS 1668216308 HAS SOPS 1668216308 HAS SOUS 288679195 HAS SOUPS 288679195 WITH SCORE 2.90347411308E8
AT ITER 9463 NEW BEST:: SOT -2018127267 SOS 1667968280 HAS SOPS 1667968280 HAS SOUS 288659971 HAS SOUPS 288659971 WITH SCORE 2.9032793928E8
AT ITER 9520 NEW BEST:: SOT -2018183163 SOS 1667716748 HAS SOPS 1667716748 HAS SOUS 288659971 HAS SOUPS 288659971 WITH SCORE 2.90327687748E8
AT ITER 9525 NEW BEST:: SOT -2018200701 SOS 1667629314 HAS SOPS 1667629314 HAS SOUS 288651458 HAS SOUPS 288651458 WITH SCORE 2.90319087314E8
AT ITER 9526 NEW BEST:: SOT -2018253847 SOS 1667355853 HAS SOPS 1667355853 HAS SOUS 288631329 HAS SOUPS 288631329 WITH SCORE 2.90298684853E8
AT ITER 9602 NEW BEST:: SOT -2018268261 SOS 1667290986 HAS SOPS 1667290986 HAS SOUS 288631325 HAS SOUPS 288631325 WITH SCORE 2.90298615986E8
AT ITER 9604 NEW BEST:: SOT -2018352132 SOS 1666983896 HAS SOPS 1666983896 HAS SOUS 288625537 HAS SOUPS 288625537 WITH SCORE 2.90292520896E8
AT ITER 9623 NEW BEST:: SOT -2018380456 SOS 1666856434 HAS SOPS 1666856434 HAS SOUS 288625533 HAS SOUPS 288625533 WITH SCORE 2.90292389434E8
AT ITER 9630 NEW BEST:: SOT -2018399636 SOS 1666770119 HAS SOPS 1666770119 HAS SOUS 288625528 HAS SOUPS 288625528 WITH SCORE 2.90292298119E8
AT ITER 9647 NEW BEST:: SOT -2018425672 SOS 1666652950 HAS SOPS 1666652950 HAS SOUS 288625519 HAS SOUPS 288625519 WITH SCORE 2.9029217195E8
AT ITER 9671 NEW BEST:: SOT -2018425672 SOS 1666652947 HAS SOPS 1666652947 HAS SOUS 288625516 HAS SOUPS 288625516 WITH SCORE 2.90292168947E8
AT ITER 9702 NEW BEST:: SOT -2018436972 SOS 1666602092 HAS SOPS 1666602092 HAS SOUS 288625511 HAS SOUPS 288625511 WITH SCORE 2.90292113092E8
AT ITER 9710 NEW BEST:: SOT -2018436972 SOS 1666602085 HAS SOPS 1666602085 HAS SOUS 288625502 HAS SOUPS 288625502 WITH SCORE 2.90292104085E8
AT ITER 9720 NEW BEST:: SOT -2018473105 SOS 1666415635 HAS SOPS 1666415635 HAS SOUS 288612567 HAS SOUPS 288612567 WITH SCORE 2.90278982635E8
AT ITER 9721 NEW BEST:: SOT -2018492838 SOS 1666259913 HAS SOPS 1666259913 HAS SOUS 288612210 HAS SOUPS 288612210 WITH SCORE 2.90278469913E8
AT ITER 9732 NEW BEST:: SOT -2018539670 SOS 1666049162 HAS SOPS 1666049162 HAS SOUS 288612201 HAS SOUPS 288612201 WITH SCORE 2.90278250162E8
AT ITER 9736 NEW BEST:: SOT -2018560572 SOS 1665955098 HAS SOPS 1665955098 HAS SOUS 288612196 HAS SOUPS 288612196 WITH SCORE 2.90278151098E8
AT ITER 9777 NEW BEST:: SOT -2018592780 SOS 1665810160 HAS SOPS 1665810160 HAS SOUS 288612194 HAS SOUPS 288612194 WITH SCORE 2.9027800416E8
AT ITER 9784 NEW BEST:: SOT -2018634978 SOS 1665620264 HAS SOPS 1665620264 HAS SOUS 288612189 HAS SOUPS 288612189 WITH SCORE 2.90277809264E8
AT ITER 9789 NEW BEST:: SOT -2018637336 SOS 1665612397 HAS SOPS 1665612397 HAS SOUS 288611394 HAS SOUPS 288611394 WITH SCORE 2.90277006397E8
AT ITER 9828 NEW BEST:: SOT -2018654502 SOS 1665535147 HAS SOPS 1665535147 HAS SOUS 288611391 HAS SOUPS 288611391 WITH SCORE 2.90276926147E8
AT ITER 9838 NEW BEST:: SOT -2018689192 SOS 1665379040 HAS SOPS 1665379040 HAS SOUS 288611389 HAS SOUPS 288611389 WITH SCORE 2.9027676804E8
AT ITER 9842 NEW BEST:: SOT -2018722644 SOS 1665228504 HAS SOPS 1665228504 HAS SOUS 288611387 HAS SOUPS 288611387 WITH SCORE 2.90276615504E8
AT ITER 9845 NEW BEST:: SOT -2018759280 SOS 1665063635 HAS SOPS 1665063635 HAS SOUS 288611378 HAS SOUPS 288611378 WITH SCORE 2.90276441635E8
AT ITER 9852 NEW BEST:: SOT -2018771848 SOS 1665007074 HAS SOPS 1665007074 HAS SOUS 288611373 HAS SOUPS 288611373 WITH SCORE 2.90276380074E8
AT ITER 9872 NEW BEST:: SOT -2018780678 SOS 1664967334 HAS SOPS 1664967334 HAS SOUS 288611368 HAS SOUPS 288611368 WITH SCORE 2.90276335334E8
AT ITER 9877 NEW BEST:: SOT -2018827834 SOS 1664755130 HAS SOPS 1664755130 HAS SOUS 288611366 HAS SOUPS 288611366 WITH SCORE 2.9027612113E8
AT ITER 9896 NEW BEST:: SOT -2018874450 SOS 1664545351 HAS SOPS 1664545351 HAS SOUS 288611357 HAS SOUPS 288611357 WITH SCORE 2.90275902351E8
AT ITER 9899 NEW BEST:: SOT -2018884264 SOS 1664501184 HAS SOPS 1664501184 HAS SOUS 288611353 HAS SOUPS 288611353 WITH SCORE 2.90275854184E8
AT ITER 9901 NEW BEST:: SOT -2018898014 SOS 1664435040 HAS SOPS 1664435040 HAS SOUS 288610444 HAS SOUPS 288610444 WITH SCORE 2.9027487904E8
AT ITER 9910 NEW BEST:: SOT -2018940558 SOS 1664243588 HAS SOPS 1664243588 HAS SOUS 288610440 HAS SOUPS 288610440 WITH SCORE 2.90274683588E8
AT ITER 9912 NEW BEST:: SOT -2018943912 SOS 1664228495 HAS SOPS 1664228495 HAS SOUS 288610440 HAS SOUPS 288610440 WITH SCORE 2.90274668495E8
AT ITER 9915 NEW BEST:: SOT -2018948414 SOS 1664208234 HAS SOPS 1664208234 HAS SOUS 288610438 HAS SOUPS 288610438 WITH SCORE 2.90274646234E8
AT ITER 9935 NEW BEST:: SOT -2018992996 SOS 1664007614 HAS SOPS 1664007614 HAS SOUS 288610437 HAS SOUPS 288610437 WITH SCORE 2.90274444614E8
AT ITER 9942 NEW BEST:: SOT -2019022284 SOS 1663875816 HAS SOPS 1663875816 HAS SOUS 288610435 HAS SOUPS 288610435 WITH SCORE 2.90274310816E8
AT ITER 9948 NEW BEST:: SOT -2019049268 SOS 1663754384 HAS SOPS 1663754384 HAS SOUS 288610431 HAS SOUPS 288610431 WITH SCORE 2.90274185384E8
AT ITER 9956 NEW BEST:: SOT -2019059198 SOS 1663709693 HAS SOPS 1663709693 HAS SOUS 288610425 HAS SOUPS 288610425 WITH SCORE 2.90274134693E8
AT ITER 9970 NEW BEST:: SOT -2019062376 SOS 1663695392 HAS SOPS 1663695392 HAS SOUS 288610425 HAS SOUPS 288610425 WITH SCORE 2.90274120392E8
AT ITER 9974 NEW BEST:: SOT -2019068466 SOS 1663667984 HAS SOPS 1663667984 HAS SOUS 288610422 HAS SOUPS 288610422 WITH SCORE 2.90274089984E8
AT ITER 9987 NEW BEST:: SOT -2019093806 SOS 1663553947 HAS SOPS 1663553947 HAS SOUS 288610413 HAS SOUPS 288610413 WITH SCORE 2.90273966947E8
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 13954068 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16093096 kB

BK_TIME_CONFINEMENT_REACHED

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

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="ViralEpidemic-PT-S08D1C2A04"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
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 smart"
echo " Input is ViralEpidemic-PT-S08D1C2A04, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r483-tall-167912696901336"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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