fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r224-oct2-159033539000568
Last Updated
Jun 28, 2020

About the Execution of smart for ViralEpidemic-PT-S08D1C2A04

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15741.640 3600000.00 3600171.00 0.00 [undef] Time out reached

Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 54M
-rw-r--r-- 1 mcc users 3.8K May 14 05:32 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K May 14 05:32 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.4K May 13 23:31 CTLFireability.txt
-rw-r--r-- 1 mcc users 21K May 13 23:31 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.6K May 14 10:07 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K May 14 10:07 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 14 10:07 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 14 10:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 4.2K May 13 16:36 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K May 13 16:36 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.7K May 13 12:21 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 20K May 13 12:21 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K May 13 16:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K May 13 16:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 11 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 54M May 12 20:42 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 1590476671490

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ViralEpidemic (PT), instance S08D1C2A04
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/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 8 NEW BEST:: SOT -1993037947 SOS 1781616220 HAS SOPS 1781616220 HAS SOUS 290401190 HAS SOUPS 290401190 WITH SCORE 2.9218280622E8
AT ITER 19 NEW BEST:: SOT -1993094495 SOS 1781361753 HAS SOPS 1781361753 HAS SOUS 290401189 HAS SOUPS 290401189 WITH SCORE 2.92182550753E8
AT ITER 20 NEW BEST:: SOT -1993132299 SOS 1781191630 HAS SOPS 1781191630 HAS SOUS 290401184 HAS SOUPS 290401184 WITH SCORE 2.9218237563E8
AT ITER 23 NEW BEST:: SOT -1993177957 SOS 1780986167 HAS SOPS 1780986167 HAS SOUS 290401182 HAS SOUPS 290401182 WITH SCORE 2.92182168167E8
AT ITER 26 NEW BEST:: SOT -1993222231 SOS 1780786933 HAS SOPS 1780786933 HAS SOUS 290401181 HAS SOUPS 290401181 WITH SCORE 2.92181967933E8
AT ITER 30 NEW BEST:: SOT -1993271781 SOS 1780563958 HAS SOPS 1780563958 HAS SOUS 290401181 HAS SOUPS 290401181 WITH SCORE 2.92181744958E8
AT ITER 32 NEW BEST:: SOT -1993297115 SOS 1780449949 HAS SOPS 1780449949 HAS SOUS 290401175 HAS SOUPS 290401175 WITH SCORE 2.92181624949E8
AT ITER 46 NEW BEST:: SOT -1993323703 SOS 1780330300 HAS SOPS 1780330300 HAS SOUS 290401172 HAS SOUPS 290401172 WITH SCORE 2.921815023E8
AT ITER 50 NEW BEST:: SOT -1993331427 SOS 1780295539 HAS SOPS 1780295539 HAS SOUS 290401169 HAS SOUPS 290401169 WITH SCORE 2.92181464539E8
AT ITER 63 NEW BEST:: SOT -1993342007 SOS 1780247922 HAS SOPS 1780247922 HAS SOUS 290401160 HAS SOUPS 290401160 WITH SCORE 2.92181407922E8
AT ITER 78 NEW BEST:: SOT -1993354869 SOS 1780190039 HAS SOPS 1780190039 HAS SOUS 290401156 HAS SOUPS 290401156 WITH SCORE 2.92181346039E8
AT ITER 99 NEW BEST:: SOT -1993379943 SOS 1780077206 HAS SOPS 1780077206 HAS SOUS 290401156 HAS SOUPS 290401156 WITH SCORE 2.92181233206E8
AT ITER 101 NEW BEST:: SOT -1993381409 SOS 1780070603 HAS SOPS 1780070603 HAS SOUS 290401150 HAS SOUPS 290401150 WITH SCORE 2.92181220603E8
AT ITER 113 NEW BEST:: SOT -1993417279 SOS 1779909185 HAS SOPS 1779909185 HAS SOUS 290401147 HAS SOUPS 290401147 WITH SCORE 2.92181056185E8
AT ITER 127 NEW BEST:: SOT -1993474535 SOS 1779651533 HAS SOPS 1779651533 HAS SOUS 290401147 HAS SOUPS 290401147 WITH SCORE 2.92180798533E8
AT ITER 148 NEW BEST:: SOT -1993495325 SOS 1779557976 HAS SOPS 1779557976 HAS SOUS 290401145 HAS SOUPS 290401145 WITH SCORE 2.92180702976E8
AT ITER 160 NEW BEST:: SOT -1993592989 SOS 1779226047 HAS SOPS 1779226047 HAS SOUS 290375857 HAS SOUPS 290375857 WITH SCORE 2.92155083047E8
AT ITER 163 NEW BEST:: SOT -1993633271 SOS 1779044778 HAS SOPS 1779044778 HAS SOUS 290375857 HAS SOUPS 290375857 WITH SCORE 2.92154901778E8
AT ITER 164 NEW BEST:: SOT -1993681879 SOS 1778826042 HAS SOPS 1778826042 HAS SOUS 290375857 HAS SOUPS 290375857 WITH SCORE 2.92154683042E8
AT ITER 178 NEW BEST:: SOT -1993713651 SOS 1778683062 HAS SOPS 1778683062 HAS SOUS 290375851 HAS SOUPS 290375851 WITH SCORE 2.92154534062E8
AT ITER 180 NEW BEST:: SOT -1993771671 SOS 1778421968 HAS SOPS 1778421968 HAS SOUS 290375847 HAS SOUPS 290375847 WITH SCORE 2.92154268968E8
AT ITER 187 NEW BEST:: SOT -1993804745 SOS 1778273128 HAS SOPS 1778273128 HAS SOUS 290375838 HAS SOUPS 290375838 WITH SCORE 2.92154111128E8
AT ITER 220 NEW BEST:: SOT -1993840817 SOS 1778110798 HAS SOPS 1778110798 HAS SOUS 290375832 HAS SOUPS 290375832 WITH SCORE 2.92153942798E8
AT ITER 222 NEW BEST:: SOT -1993861833 SOS 1778016225 HAS SOPS 1778016225 HAS SOUS 290375831 HAS SOUPS 290375831 WITH SCORE 2.92153847225E8
AT ITER 256 NEW BEST:: SOT -1993870367 SOS 1777977822 HAS SOPS 1777977822 HAS SOUS 290375831 HAS SOUPS 290375831 WITH SCORE 2.92153808822E8
AT ITER 258 NEW BEST:: SOT -1993873031 SOS 1777965828 HAS SOPS 1777965828 HAS SOUS 290375825 HAS SOUPS 290375825 WITH SCORE 2.92153790828E8
AT ITER 259 NEW BEST:: SOT -1993892943 SOS 1777876220 HAS SOPS 1777876220 HAS SOUS 290375821 HAS SOUPS 290375821 WITH SCORE 2.9215369722E8
AT ITER 281 NEW BEST:: SOT -1993916139 SOS 1777771835 HAS SOPS 1777771835 HAS SOUS 290375818 HAS SOUPS 290375818 WITH SCORE 2.92153589835E8
AT ITER 284 NEW BEST:: SOT -1993929857 SOS 1777710097 HAS SOPS 1777710097 HAS SOUS 290375809 HAS SOUPS 290375809 WITH SCORE 2.92153519097E8
AT ITER 288 NEW BEST:: SOT -1993941041 SOS 1777659765 HAS SOPS 1777659765 HAS SOUS 290375805 HAS SOUPS 290375805 WITH SCORE 2.92153464765E8
AT ITER 289 NEW BEST:: SOT -1993952469 SOS 1777608338 HAS SOPS 1777608338 HAS SOUS 290375804 HAS SOUPS 290375804 WITH SCORE 2.92153412338E8
AT ITER 290 NEW BEST:: SOT -1994006471 SOS 1777365328 HAS SOPS 1777365328 HAS SOUS 290375803 HAS SOUPS 290375803 WITH SCORE 2.92153168328E8
AT ITER 297 NEW BEST:: SOT -1994023473 SOS 1777288816 HAS SOPS 1777288816 HAS SOUS 290375800 HAS SOUPS 290375800 WITH SCORE 2.92153088816E8
AT ITER 307 NEW BEST:: SOT -1994032833 SOS 1777246691 HAS SOPS 1777246691 HAS SOUS 290375795 HAS SOUPS 290375795 WITH SCORE 2.92153041691E8
AT ITER 311 NEW BEST:: SOT -1994060281 SOS 1777123171 HAS SOPS 1777123171 HAS SOUS 290375791 HAS SOUPS 290375791 WITH SCORE 2.92152914171E8
AT ITER 317 NEW BEST:: SOT -1994082341 SOS 1777023894 HAS SOPS 1777023894 HAS SOUS 290375782 HAS SOUPS 290375782 WITH SCORE 2.92152805894E8
AT ITER 336 NEW BEST:: SOT -1994096343 SOS 1776960885 HAS SOPS 1776960885 HAS SOUS 290375782 HAS SOUPS 290375782 WITH SCORE 2.92152742885E8
AT ITER 342 NEW BEST:: SOT -1994140103 SOS 1776763965 HAS SOPS 1776763965 HAS SOUS 290375782 HAS SOUPS 290375782 WITH SCORE 2.92152545965E8
AT ITER 348 NEW BEST:: SOT -1994173979 SOS 1776611516 HAS SOPS 1776611516 HAS SOUS 290375773 HAS SOUPS 290375773 WITH SCORE 2.92152384516E8
AT ITER 371 NEW BEST:: SOT -1994227999 SOS 1776368424 HAS SOPS 1776368424 HAS SOUS 290375771 HAS SOUPS 290375771 WITH SCORE 2.92152139424E8
AT ITER 386 NEW BEST:: SOT -1994241903 SOS 1776305856 HAS SOPS 1776305856 HAS SOUS 290375771 HAS SOUPS 290375771 WITH SCORE 2.92152076856E8
AT ITER 398 NEW BEST:: SOT -1994267319 SOS 1776191483 HAS SOPS 1776191483 HAS SOUS 290375770 HAS SOUPS 290375770 WITH SCORE 2.92151961483E8
AT ITER 400 NEW BEST:: SOT -1994299315 SOS 1776047495 HAS SOPS 1776047495 HAS SOUS 290375764 HAS SOUPS 290375764 WITH SCORE 2.92151811495E8
AT ITER 418 NEW BEST:: SOT -1994307415 SOS 1776011044 HAS SOPS 1776011044 HAS SOUS 290375763 HAS SOUPS 290375763 WITH SCORE 2.92151774044E8
AT ITER 444 NEW BEST:: SOT -1994336139 SOS 1775881783 HAS SOPS 1775881783 HAS SOUS 290375760 HAS SOUPS 290375760 WITH SCORE 2.92151641783E8
AT ITER 467 NEW BEST:: SOT -1994365233 SOS 1775750858 HAS SOPS 1775750858 HAS SOUS 290375758 HAS SOUPS 290375758 WITH SCORE 2.92151508858E8
AT ITER 476 NEW BEST:: SOT -1994377651 SOS 1775694976 HAS SOPS 1775694976 HAS SOUS 290375757 HAS SOUPS 290375757 WITH SCORE 2.92151451976E8
AT ITER 482 NEW BEST:: SOT -1994395405 SOS 1775615083 HAS SOPS 1775615083 HAS SOUS 290375757 HAS SOUPS 290375757 WITH SCORE 2.92151372083E8
AT ITER 491 NEW BEST:: SOT -1994428751 SOS 1775465020 HAS SOPS 1775465020 HAS SOUS 290375751 HAS SOUPS 290375751 WITH SCORE 2.9215121602E8
AT ITER 493 NEW BEST:: SOT -1994443355 SOS 1775399301 HAS SOPS 1775399301 HAS SOUS 290375750 HAS SOUPS 290375750 WITH SCORE 2.92151149301E8
AT ITER 497 NEW BEST:: SOT -1994479531 SOS 1775236503 HAS SOPS 1775236503 HAS SOUS 290375744 HAS SOUPS 290375744 WITH SCORE 2.92150980503E8
AT ITER 519 NEW BEST:: SOT -1994512141 SOS 1775089756 HAS SOPS 1775089756 HAS SOUS 290375742 HAS SOUPS 290375742 WITH SCORE 2.92150831756E8
AT ITER 531 NEW BEST:: SOT -1994543547 SOS 1774948423 HAS SOPS 1774948423 HAS SOUS 290375736 HAS SOUPS 290375736 WITH SCORE 2.92150684423E8
AT ITER 539 NEW BEST:: SOT -1994630816 SOS 1774618648 HAS SOPS 1774618648 HAS SOUS 290369487 HAS SOUPS 290369487 WITH SCORE 2.92144105648E8
AT ITER 542 NEW BEST:: SOT -1994638188 SOS 1774585472 HAS SOPS 1774585472 HAS SOUS 290369485 HAS SOUPS 290369485 WITH SCORE 2.92144070472E8
AT ITER 552 NEW BEST:: SOT -1994677252 SOS 1774409680 HAS SOPS 1774409680 HAS SOUS 290369481 HAS SOUPS 290369481 WITH SCORE 2.9214389068E8
AT ITER 573 NEW BEST:: SOT -1994716190 SOS 1774234453 HAS SOPS 1774234453 HAS SOUS 290369475 HAS SOUPS 290369475 WITH SCORE 2.92143709453E8
AT ITER 577 NEW BEST:: SOT -1994743618 SOS 1774111024 HAS SOPS 1774111024 HAS SOUS 290369472 HAS SOUPS 290369472 WITH SCORE 2.92143583024E8
AT ITER 588 NEW BEST:: SOT -1994761894 SOS 1774028781 HAS SOPS 1774028781 HAS SOUS 290369471 HAS SOUPS 290369471 WITH SCORE 2.92143499781E8
AT ITER 596 NEW BEST:: SOT -1994781364 SOS 1773941159 HAS SOPS 1773941159 HAS SOUS 290369462 HAS SOUPS 290369462 WITH SCORE 2.92143403159E8
AT ITER 602 NEW BEST:: SOT -1994806796 SOS 1773826709 HAS SOPS 1773826709 HAS SOUS 290369456 HAS SOUPS 290369456 WITH SCORE 2.92143282709E8
AT ITER 617 NEW BEST:: SOT -1994809834 SOS 1773813036 HAS SOPS 1773813036 HAS SOUS 290369454 HAS SOUPS 290369454 WITH SCORE 2.92143267036E8
AT ITER 629 NEW BEST:: SOT -1994827614 SOS 1773733026 HAS SOPS 1773733026 HAS SOUS 290369454 HAS SOUPS 290369454 WITH SCORE 2.92143187026E8
AT ITER 640 NEW BEST:: SOT -1994837232 SOS 1773689738 HAS SOPS 1773689738 HAS SOUS 290369445 HAS SOUPS 290369445 WITH SCORE 2.92143134738E8
AT ITER 644 NEW BEST:: SOT -1994844952 SOS 1773654998 HAS SOPS 1773654998 HAS SOUS 290369445 HAS SOUPS 290369445 WITH SCORE 2.92143099998E8
AT ITER 662 NEW BEST:: SOT -1994880564 SOS 1773494742 HAS SOPS 1773494742 HAS SOUS 290369443 HAS SOUPS 290369443 WITH SCORE 2.92142937742E8
AT ITER 684 NEW BEST:: SOT -1994925930 SOS 1773290588 HAS SOPS 1773290588 HAS SOUS 290369434 HAS SOUPS 290369434 WITH SCORE 2.92142724588E8
AT ITER 743 NEW BEST:: SOT -1994958024 SOS 1773146162 HAS SOPS 1773146162 HAS SOUS 290369431 HAS SOUPS 290369431 WITH SCORE 2.92142577162E8
AT ITER 766 NEW BEST:: SOT -1995013536 SOS 1772896357 HAS SOPS 1772896357 HAS SOUS 290369430 HAS SOUPS 290369430 WITH SCORE 2.92142326357E8
AT ITER 768 NEW BEST:: SOT -1995043774 SOS 1772760284 HAS SOPS 1772760284 HAS SOUS 290369428 HAS SOUPS 290369428 WITH SCORE 2.92142188284E8
AT ITER 772 NEW BEST:: SOT -1995052546 SOS 1772720808 HAS SOPS 1772720808 HAS SOUS 290369426 HAS SOUPS 290369426 WITH SCORE 2.92142146808E8
AT ITER 775 NEW BEST:: SOT -1995105480 SOS 1772482599 HAS SOPS 1772482599 HAS SOUS 290369420 HAS SOUPS 290369420 WITH SCORE 2.92141902599E8
AT ITER 787 NEW BEST:: SOT -1995120448 SOS 1772415236 HAS SOPS 1772415236 HAS SOUS 290369411 HAS SOUPS 290369411 WITH SCORE 2.92141826236E8
AT ITER 800 NEW BEST:: SOT -1995136384 SOS 1772343524 HAS SOPS 1772343524 HAS SOUS 290369411 HAS SOUPS 290369411 WITH SCORE 2.92141754524E8
AT ITER 806 NEW BEST:: SOT -1995163110 SOS 1772223252 HAS SOPS 1772223252 HAS SOUS 290369406 HAS SOUPS 290369406 WITH SCORE 2.92141629252E8
AT ITER 817 NEW BEST:: SOT -1995194206 SOS 1772083316 HAS SOPS 1772083316 HAS SOUS 290369402 HAS SOUPS 290369402 WITH SCORE 2.92141485316E8
AT ITER 829 NEW BEST:: SOT -1995233254 SOS 1771907595 HAS SOPS 1771907595 HAS SOUS 290369397 HAS SOUPS 290369397 WITH SCORE 2.92141304595E8
AT ITER 835 NEW BEST:: SOT -1995245578 SOS 1771852130 HAS SOPS 1771852130 HAS SOUS 290369388 HAS SOUPS 290369388 WITH SCORE 2.9214124013E8
AT ITER 844 NEW BEST:: SOT -1995287962 SOS 1771661395 HAS SOPS 1771661395 HAS SOUS 290369379 HAS SOUPS 290369379 WITH SCORE 2.92141040395E8
AT ITER 851 NEW BEST:: SOT -1995307662 SOS 1771572740 HAS SOPS 1771572740 HAS SOUS 290369374 HAS SOUPS 290369374 WITH SCORE 2.9214094674E8
AT ITER 857 NEW BEST:: SOT -1995342180 SOS 1771417405 HAS SOPS 1771417405 HAS SOUS 290369370 HAS SOUPS 290369370 WITH SCORE 2.92140787405E8
AT ITER 890 NEW BEST:: SOT -1995359072 SOS 1771341389 HAS SOPS 1771341389 HAS SOUS 290369368 HAS SOUPS 290369368 WITH SCORE 2.92140709389E8
AT ITER 892 NEW BEST:: SOT -1995364604 SOS 1771316494 HAS SOPS 1771316494 HAS SOUS 290369367 HAS SOUPS 290369367 WITH SCORE 2.92140683494E8
AT ITER 895 NEW BEST:: SOT -1995398540 SOS 1771163780 HAS SOPS 1771163780 HAS SOUS 290369365 HAS SOUPS 290369365 WITH SCORE 2.9214052878E8
AT ITER 900 NEW BEST:: SOT -1995452064 SOS 1770922918 HAS SOPS 1770922918 HAS SOUS 290369361 HAS SOUPS 290369361 WITH SCORE 2.92140283918E8
AT ITER 901 NEW BEST:: SOT -1995513860 SOS 1770644835 HAS SOPS 1770644835 HAS SOUS 290369360 HAS SOUPS 290369360 WITH SCORE 2.92140004835E8
AT ITER 903 NEW BEST:: SOT -1995546330 SOS 1770498720 HAS SOPS 1770498720 HAS SOUS 290369360 HAS SOUPS 290369360 WITH SCORE 2.9213985872E8
AT ITER 909 NEW BEST:: SOT -1995571078 SOS 1770387352 HAS SOPS 1770387352 HAS SOUS 290369358 HAS SOUPS 290369358 WITH SCORE 2.92139745352E8
AT ITER 934 NEW BEST:: SOT -1995615370 SOS 1770188031 HAS SOPS 1770188031 HAS SOUS 290369349 HAS SOUPS 290369349 WITH SCORE 2.92139537031E8
AT ITER 965 NEW BEST:: SOT -1995662560 SOS 1769975676 HAS SOPS 1769975676 HAS SOUS 290369349 HAS SOUPS 290369349 WITH SCORE 2.92139324676E8
AT ITER 968 NEW BEST:: SOT -1995696366 SOS 1769823549 HAS SOPS 1769823549 HAS SOUS 290369349 HAS SOUPS 290369349 WITH SCORE 2.92139172549E8
AT ITER 970 NEW BEST:: SOT -1995704998 SOS 1769784703 HAS SOPS 1769784703 HAS SOUS 290369347 HAS SOUPS 290369347 WITH SCORE 2.92139131703E8
AT ITER 992 NEW BEST:: SOT -1995751976 SOS 1769573302 HAS SOPS 1769573302 HAS SOUS 290369347 HAS SOUPS 290369347 WITH SCORE 2.92138920302E8
AT ITER 1009 NEW BEST:: SOT -1995794600 SOS 1769381488 HAS SOPS 1769381488 HAS SOUS 290369341 HAS SOUPS 290369341 WITH SCORE 2.92138722488E8
AT ITER 1014 NEW BEST:: SOT -1995809906 SOS 1769312607 HAS SOPS 1769312607 HAS SOUS 290369337 HAS SOUPS 290369337 WITH SCORE 2.92138649607E8
AT ITER 1020 NEW BEST:: SOT -1995815610 SOS 1769286935 HAS SOPS 1769286935 HAS SOUS 290369333 HAS SOUPS 290369333 WITH SCORE 2.92138619935E8
AT ITER 1079 NEW BEST:: SOT -1995858310 SOS 1769094783 HAS SOPS 1769094783 HAS SOUS 290369331 HAS SOUPS 290369331 WITH SCORE 2.92138425783E8
AT ITER 1096 NEW BEST:: SOT -1995890382 SOS 1768950457 HAS SOPS 1768950457 HAS SOUS 290369329 HAS SOUPS 290369329 WITH SCORE 2.92138279457E8
AT ITER 1156 NEW BEST:: SOT -1995904312 SOS 1768887770 HAS SOPS 1768887770 HAS SOUS 290369327 HAS SOUPS 290369327 WITH SCORE 2.9213821477E8
AT ITER 1164 NEW BEST:: SOT -1995927812 SOS 1768782016 HAS SOPS 1768782016 HAS SOUS 290369323 HAS SOUPS 290369323 WITH SCORE 2.92138105016E8
AT ITER 1199 NEW BEST:: SOT -1995964728 SOS 1768615893 HAS SOPS 1768615893 HAS SOUS 290369322 HAS SOUPS 290369322 WITH SCORE 2.92137937893E8
AT ITER 1203 NEW BEST:: SOT -1996024646 SOS 1768346258 HAS SOPS 1768346258 HAS SOUS 290369318 HAS SOUPS 290369318 WITH SCORE 2.92137664258E8
AT ITER 1213 NEW BEST:: SOT -1996080444 SOS 1768095165 HAS SOPS 1768095165 HAS SOUS 290369316 HAS SOUPS 290369316 WITH SCORE 2.92137411165E8
AT ITER 1214 NEW BEST:: SOT -1996098632 SOS 1768013313 HAS SOPS 1768013313 HAS SOUS 290369310 HAS SOUPS 290369310 WITH SCORE 2.92137323313E8
AT ITER 1230 NEW BEST:: SOT -1996147356 SOS 1767794052 HAS SOPS 1767794052 HAS SOUS 290369307 HAS SOUPS 290369307 WITH SCORE 2.92137101052E8
AT ITER 1255 NEW BEST:: SOT -1996179362 SOS 1767650023 HAS SOPS 1767650023 HAS SOUS 290369305 HAS SOUPS 290369305 WITH SCORE 2.92136955023E8
AT ITER 1259 NEW BEST:: SOT -1996198970 SOS 1767551983 HAS SOPS 1767551983 HAS SOUS 290359501 HAS SOUPS 290359501 WITH SCORE 2.92127052983E8
AT ITER 1278 NEW BEST:: SOT -1996207850 SOS 1767512023 HAS SOPS 1767512023 HAS SOUS 290359501 HAS SOUPS 290359501 WITH SCORE 2.92127013023E8
AT ITER 1288 NEW BEST:: SOT -1996263016 SOS 1767263776 HAS SOPS 1767263776 HAS SOUS 290359501 HAS SOUPS 290359501 WITH SCORE 2.92126764776E8
AT ITER 1289 NEW BEST:: SOT -1996278616 SOS 1767193573 HAS SOPS 1767193573 HAS SOUS 290359498 HAS SOUPS 290359498 WITH SCORE 2.92126691573E8
AT ITER 1308 NEW BEST:: SOT -1996296642 SOS 1767112450 HAS SOPS 1767112450 HAS SOUS 290359492 HAS SOUPS 290359492 WITH SCORE 2.9212660445E8
AT ITER 1317 NEW BEST:: SOT -1996305922 SOS 1767070689 HAS SOPS 1767070689 HAS SOUS 290359491 HAS SOUPS 290359491 WITH SCORE 2.92126561689E8
AT ITER 1326 NEW BEST:: SOT -1996321720 SOS 1766999592 HAS SOPS 1766999592 HAS SOUS 290359485 HAS SOUPS 290359485 WITH SCORE 2.92126484592E8
AT ITER 1331 NEW BEST:: SOT -1996378238 SOS 1766745254 HAS SOPS 1766745254 HAS SOUS 290359476 HAS SOUPS 290359476 WITH SCORE 2.92126221254E8
AT ITER 1338 NEW BEST:: SOT -1996404504 SOS 1766627055 HAS SOPS 1766627055 HAS SOUS 290359474 HAS SOUPS 290359474 WITH SCORE 2.92126101055E8
AT ITER 1342 NEW BEST:: SOT -1996418940 SOS 1766562088 HAS SOPS 1766562088 HAS SOUS 290359469 HAS SOUPS 290359469 WITH SCORE 2.92126031088E8
AT ITER 1350 NEW BEST:: SOT -1996440302 SOS 1766465952 HAS SOPS 1766465952 HAS SOUS 290359460 HAS SOUPS 290359460 WITH SCORE 2.92125925952E8
AT ITER 1361 NEW BEST:: SOT -1996447524 SOS 1766433453 HAS SOPS 1766433453 HAS SOUS 290359460 HAS SOUPS 290359460 WITH SCORE 2.92125893453E8
AT ITER 1371 NEW BEST:: SOT -1996479000 SOS 1766291804 HAS SOPS 1766291804 HAS SOUS 290359451 HAS SOUPS 290359451 WITH SCORE 2.92125742804E8
AT ITER 1390 NEW BEST:: SOT -1996501472 SOS 1766190678 HAS SOPS 1766190678 HAS SOUS 290359449 HAS SOUPS 290359449 WITH SCORE 2.92125639678E8
AT ITER 1399 NEW BEST:: SOT -1996520380 SOS 1766105587 HAS SOPS 1766105587 HAS SOUS 290359444 HAS SOUPS 290359444 WITH SCORE 2.92125549587E8
AT ITER 1405 NEW BEST:: SOT -1996563864 SOS 1765909908 HAS SOPS 1765909908 HAS SOUS 290359443 HAS SOUPS 290359443 WITH SCORE 2.92125352908E8
AT ITER 1415 NEW BEST:: SOT -1996575898 SOS 1765855748 HAS SOPS 1765855748 HAS SOUS 290359434 HAS SOUPS 290359434 WITH SCORE 2.92125289748E8
AT ITER 1418 NEW BEST:: SOT -1996587284 SOS 1765804506 HAS SOPS 1765804506 HAS SOUS 290359429 HAS SOUPS 290359429 WITH SCORE 2.92125233506E8
AT ITER 1431 NEW BEST:: SOT -1996614642 SOS 1765681388 HAS SOPS 1765681388 HAS SOUS 290359420 HAS SOUPS 290359420 WITH SCORE 2.92125101388E8
AT ITER 1440 NEW BEST:: SOT -1996643730 SOS 1765550485 HAS SOPS 1765550485 HAS SOUS 290359411 HAS SOUPS 290359411 WITH SCORE 2.92124961485E8
AT ITER 1446 NEW BEST:: SOT -1996655474 SOS 1765497630 HAS SOPS 1765497630 HAS SOUS 290359402 HAS SOUPS 290359402 WITH SCORE 2.9212489963E8
AT ITER 1479 NEW BEST:: SOT -1996705484 SOS 1765272580 HAS SOPS 1765272580 HAS SOUS 290359397 HAS SOUPS 290359397 WITH SCORE 2.9212466958E8
AT ITER 1481 NEW BEST:: SOT -1996720926 SOS 1765203088 HAS SOPS 1765203088 HAS SOUS 290359394 HAS SOUPS 290359394 WITH SCORE 2.92124597088E8
AT ITER 1485 NEW BEST:: SOT -1996773550 SOS 1764966274 HAS SOPS 1764966274 HAS SOUS 290359388 HAS SOUPS 290359388 WITH SCORE 2.92124354274E8
AT ITER 1499 NEW BEST:: SOT -1996826938 SOS 1764726028 HAS SOPS 1764726028 HAS SOUS 290359388 HAS SOUPS 290359388 WITH SCORE 2.92124114028E8
AT ITER 1544 NEW BEST:: SOT -1996857324 SOS 1764589286 HAS SOPS 1764589286 HAS SOUS 290359383 HAS SOUPS 290359383 WITH SCORE 2.92123972286E8
AT ITER 1545 NEW BEST:: SOT -1996919838 SOS 1764307969 HAS SOPS 1764307969 HAS SOUS 290359379 HAS SOUPS 290359379 WITH SCORE 2.92123686969E8
AT ITER 1555 NEW BEST:: SOT -1996957186 SOS 1764139896 HAS SOPS 1764139896 HAS SOUS 290359370 HAS SOUPS 290359370 WITH SCORE 2.92123509896E8
AT ITER 1561 NEW BEST:: SOT -1996975094 SOS 1764059303 HAS SOPS 1764059303 HAS SOUS 290359361 HAS SOUPS 290359361 WITH SCORE 2.92123420303E8
AT ITER 1573 NEW BEST:: SOT -1997025784 SOS 1763831195 HAS SOPS 1763831195 HAS SOUS 290359358 HAS SOUPS 290359358 WITH SCORE 2.92123189195E8
AT ITER 1598 NEW BEST:: SOT -1997049534 SOS 1763724316 HAS SOPS 1763724316 HAS SOUS 290359354 HAS SOUPS 290359354 WITH SCORE 2.92123078316E8
AT ITER 1601 NEW BEST:: SOT -1997084500 SOS 1763566966 HAS SOPS 1763566966 HAS SOUS 290359351 HAS SOUPS 290359351 WITH SCORE 2.92122917966E8
AT ITER 1606 NEW BEST:: SOT -1997131902 SOS 1763353654 HAS SOPS 1763353654 HAS SOUS 290359348 HAS SOUPS 290359348 WITH SCORE 2.92122701654E8
AT ITER 1623 NEW BEST:: SOT -1997191154 SOS 1763087014 HAS SOPS 1763087014 HAS SOUS 290359342 HAS SOUPS 290359342 WITH SCORE 2.92122429014E8
AT ITER 1629 NEW BEST:: SOT -1997226822 SOS 1762926508 HAS SOPS 1762926508 HAS SOUS 290359342 HAS SOUPS 290359342 WITH SCORE 2.92122268508E8
AT ITER 1640 NEW BEST:: SOT -1997233324 SOS 1762897249 HAS SOPS 1762897249 HAS SOUS 290359342 HAS SOUPS 290359342 WITH SCORE 2.92122239249E8
AT ITER 1646 NEW BEST:: SOT -1997299290 SOS 1762600395 HAS SOPS 1762600395 HAS SOUS 290359333 HAS SOUPS 290359333 WITH SCORE 2.92121933395E8
AT ITER 1655 NEW BEST:: SOT -1997313452 SOS 1762536664 HAS SOPS 1762536664 HAS SOUS 290359331 HAS SOUPS 290359331 WITH SCORE 2.92121867664E8
AT ITER 1662 NEW BEST:: SOT -1997323700 SOS 1762490543 HAS SOPS 1762490543 HAS SOUS 290359326 HAS SOUPS 290359326 WITH SCORE 2.92121816543E8
AT ITER 1669 NEW BEST:: SOT -1997343300 SOS 1762402340 HAS SOPS 1762402340 HAS SOUS 290359323 HAS SOUPS 290359323 WITH SCORE 2.9212172534E8
AT ITER 1672 NEW BEST:: SOT -1997390906 SOS 1762188113 HAS SOPS 1762188113 HAS SOUS 290359323 HAS SOUPS 290359323 WITH SCORE 2.92121511113E8
AT ITER 1677 NEW BEST:: SOT -1997417608 SOS 1762067947 HAS SOPS 1762067947 HAS SOUS 290359314 HAS SOUPS 290359314 WITH SCORE 2.92121381947E8
AT ITER 1694 NEW BEST:: SOT -1997421190 SOS 1762051825 HAS SOPS 1762051825 HAS SOUS 290359311 HAS SOUPS 290359311 WITH SCORE 2.92121362825E8
AT ITER 1697 NEW BEST:: SOT -1997455432 SOS 1761897729 HAS SOPS 1761897729 HAS SOUS 290359302 HAS SOUPS 290359302 WITH SCORE 2.92121199729E8
AT ITER 1707 NEW BEST:: SOT -1997470758 SOS 1761828761 HAS SOPS 1761828761 HAS SOUS 290359301 HAS SOUPS 290359301 WITH SCORE 2.92121129761E8
AT ITER 1712 NEW BEST:: SOT -1997510980 SOS 1761647757 HAS SOPS 1761647757 HAS SOUS 290359296 HAS SOUPS 290359296 WITH SCORE 2.92120943757E8
AT ITER 1719 NEW BEST:: SOT -1997530302 SOS 1761560807 HAS SOPS 1761560807 HAS SOUS 290359295 HAS SOUPS 290359295 WITH SCORE 2.92120855807E8
AT ITER 1772 NEW BEST:: SOT -1997569076 SOS 1761386323 HAS SOPS 1761386323 HAS SOUS 290359294 HAS SOUPS 290359294 WITH SCORE 2.92120680323E8
AT ITER 1785 NEW BEST:: SOT -1997588926 SOS 1761296992 HAS SOPS 1761296992 HAS SOUS 290359288 HAS SOUPS 290359288 WITH SCORE 2.92120584992E8
AT ITER 1791 NEW BEST:: SOT -1997616553 SOS 1761156128 HAS SOPS 1761156128 HAS SOUS 290353109 HAS SOUPS 290353109 WITH SCORE 2.92114265128E8
AT ITER 1800 NEW BEST:: SOT -1997634637 SOS 1761074745 HAS SOPS 1761074745 HAS SOUS 290353104 HAS SOUPS 290353104 WITH SCORE 2.92114178745E8
AT ITER 1801 NEW BEST:: SOT -1997671699 SOS 1760907965 HAS SOPS 1760907965 HAS SOUS 290353103 HAS SOUPS 290353103 WITH SCORE 2.92114010965E8
AT ITER 1814 NEW BEST:: SOT -1997727347 SOS 1760657549 HAS SOPS 1760657549 HAS SOUS 290353103 HAS SOUPS 290353103 WITH SCORE 2.92113760549E8
AT ITER 1822 NEW BEST:: SOT -1997729018 SOS 1760651977 HAS SOPS 1760651977 HAS SOUS 290352544 HAS SOUPS 290352544 WITH SCORE 2.92113195977E8
AT ITER 1829 NEW BEST:: SOT -1997763806 SOS 1760495430 HAS SOPS 1760495430 HAS SOUS 290352543 HAS SOUPS 290352543 WITH SCORE 2.9211303843E8
AT ITER 1836 NEW BEST:: SOT -1997794566 SOS 1760344297 HAS SOPS 1760344297 HAS SOUS 290339830 HAS SOUPS 290339830 WITH SCORE 2.92100174297E8
AT ITER 1863 NEW BEST:: SOT -1997823388 SOS 1760200232 HAS SOPS 1760200232 HAS SOUS 290325462 HAS SOUPS 290325462 WITH SCORE 2.92085662232E8
AT ITER 1884 NEW BEST:: SOT -1997853198 SOS 1760066082 HAS SOPS 1760066082 HAS SOUS 290325457 HAS SOUPS 290325457 WITH SCORE 2.92085523082E8
AT ITER 1891 NEW BEST:: SOT -1997877726 SOS 1759955704 HAS SOPS 1759955704 HAS SOUS 290325455 HAS SOUPS 290325455 WITH SCORE 2.92085410704E8
AT ITER 1892 NEW BEST:: SOT -1997899228 SOS 1759858941 HAS SOPS 1759858941 HAS SOUS 290325451 HAS SOUPS 290325451 WITH SCORE 2.92085309941E8
AT ITER 1896 NEW BEST:: SOT -1997994084 SOS 1759532363 HAS SOPS 1759532363 HAS SOUS 290306799 HAS SOUPS 290306799 WITH SCORE 2.92066331363E8
AT ITER 1901 NEW BEST:: SOT -1998015298 SOS 1759436900 HAS SOPS 1759436900 HAS SOUS 290306799 HAS SOUPS 290306799 WITH SCORE 2.920662359E8
AT ITER 1912 NEW BEST:: SOT -1998051584 SOS 1759273610 HAS SOPS 1759273610 HAS SOUS 290306796 HAS SOUPS 290306796 WITH SCORE 2.9206606961E8
AT ITER 1932 NEW BEST:: SOT -1998056166 SOS 1759252984 HAS SOPS 1759252984 HAS SOUS 290306787 HAS SOUPS 290306787 WITH SCORE 2.92066039984E8
AT ITER 1943 NEW BEST:: SOT -1998070758 SOS 1759187317 HAS SOPS 1759187317 HAS SOUS 290306784 HAS SOUPS 290306784 WITH SCORE 2.92065971317E8
AT ITER 1949 NEW BEST:: SOT -1998082110 SOS 1759136231 HAS SOPS 1759136231 HAS SOUS 290306782 HAS SOUPS 290306782 WITH SCORE 2.92065918231E8
AT ITER 1957 NEW BEST:: SOT -1998122174 SOS 1758955940 HAS SOPS 1758955940 HAS SOUS 290306779 HAS SOUPS 290306779 WITH SCORE 2.9206573494E8
AT ITER 1972 NEW BEST:: SOT -1998152238 SOS 1758820647 HAS SOPS 1758820647 HAS SOUS 290306774 HAS SOUPS 290306774 WITH SCORE 2.92065594647E8
AT ITER 1994 NEW BEST:: SOT -1998177046 SOS 1758709009 HAS SOPS 1758709009 HAS SOUS 290306772 HAS SOUPS 290306772 WITH SCORE 2.92065481009E8
AT ITER 2008 NEW BEST:: SOT -1998222830 SOS 1758480089 HAS SOPS 1758480089 HAS SOUS 290283880 HAS SOUPS 290283880 WITH SCORE 2.92042360089E8
AT ITER 2031 NEW BEST:: SOT -1998233086 SOS 1758433930 HAS SOPS 1758433930 HAS SOUS 290283871 HAS SOUPS 290283871 WITH SCORE 2.9204230493E8
AT ITER 2044 NEW BEST:: SOT -1998254932 SOS 1758335617 HAS SOPS 1758335617 HAS SOUS 290283865 HAS SOUPS 290283865 WITH SCORE 2.92042200617E8
AT ITER 2049 NEW BEST:: SOT -1998269986 SOS 1758267874 HAS SOPS 1758267874 HAS SOUS 290283865 HAS SOUPS 290283865 WITH SCORE 2.92042132874E8
AT ITER 2055 NEW BEST:: SOT -1998316302 SOS 1758059448 HAS SOPS 1758059448 HAS SOUS 290283861 HAS SOUPS 290283861 WITH SCORE 2.92041920448E8
AT ITER 2073 NEW BEST:: SOT -1998364506 SOS 1757842529 HAS SOPS 1757842529 HAS SOUS 290283860 HAS SOUPS 290283860 WITH SCORE 2.92041702529E8
AT ITER 2083 NEW BEST:: SOT -1998388818 SOS 1757733118 HAS SOPS 1757733118 HAS SOUS 290283851 HAS SOUPS 290283851 WITH SCORE 2.92041584118E8
AT ITER 2089 NEW BEST:: SOT -1998424960 SOS 1757570473 HAS SOPS 1757570473 HAS SOUS 290283845 HAS SOUPS 290283845 WITH SCORE 2.92041415473E8
AT ITER 2090 NEW BEST:: SOT -1998471346 SOS 1757361729 HAS SOPS 1757361729 HAS SOUS 290283836 HAS SOUPS 290283836 WITH SCORE 2.92041197729E8
AT ITER 2094 NEW BEST:: SOT -1998505386 SOS 1757208543 HAS SOPS 1757208543 HAS SOUS 290283830 HAS SOUPS 290283830 WITH SCORE 2.92041038543E8
AT ITER 2096 NEW BEST:: SOT -1998522984 SOS 1757129345 HAS SOPS 1757129345 HAS SOUS 290283821 HAS SOUPS 290283821 WITH SCORE 2.92040950345E8
AT ITER 2111 NEW BEST:: SOT -1998552250 SOS 1756997646 HAS SOPS 1756997646 HAS SOUS 290283819 HAS SOUPS 290283819 WITH SCORE 2.92040816646E8
AT ITER 2138 NEW BEST:: SOT -1998580616 SOS 1756869997 HAS SOPS 1756869997 HAS SOUS 290283817 HAS SOUPS 290283817 WITH SCORE 2.92040686997E8
AT ITER 2148 NEW BEST:: SOT -1998598290 SOS 1756790464 HAS SOPS 1756790464 HAS SOUS 290283817 HAS SOUPS 290283817 WITH SCORE 2.92040607464E8
AT ITER 2150 NEW BEST:: SOT -1998604546 SOS 1756762312 HAS SOPS 1756762312 HAS SOUS 290283817 HAS SOUPS 290283817 WITH SCORE 2.92040579312E8
AT ITER 2162 NEW BEST:: SOT -1998630910 SOS 1756643668 HAS SOPS 1756643668 HAS SOUS 290283811 HAS SOUPS 290283811 WITH SCORE 2.92040454668E8
AT ITER 2166 NEW BEST:: SOT -1998652656 SOS 1756545807 HAS SOPS 1756545807 HAS SOUS 290283807 HAS SOUPS 290283807 WITH SCORE 2.92040352807E8
AT ITER 2171 NEW BEST:: SOT -1998665254 SOS 1756489110 HAS SOPS 1756489110 HAS SOUS 290283801 HAS SOUPS 290283801 WITH SCORE 2.9204029011E8
AT ITER 2188 NEW BEST:: SOT -1998678842 SOS 1756427957 HAS SOPS 1756427957 HAS SOUS 290283792 HAS SOUPS 290283792 WITH SCORE 2.92040219957E8
AT ITER 2191 NEW BEST:: SOT -1998702086 SOS 1756323359 HAS SOPS 1756323359 HAS SOUS 290283792 HAS SOUPS 290283792 WITH SCORE 2.92040115359E8
AT ITER 2204 NEW BEST:: SOT -1998735216 SOS 1756174273 HAS SOPS 1756174273 HAS SOUS 290283791 HAS SOUPS 290283791 WITH SCORE 2.92039965273E8
AT ITER 2222 NEW BEST:: SOT -1998789888 SOS 1755928245 HAS SOPS 1755928245 HAS SOUS 290283787 HAS SOUPS 290283787 WITH SCORE 2.92039715245E8
AT ITER 2228 NEW BEST:: SOT -1998804798 SOS 1755861147 HAS SOPS 1755861147 HAS SOUS 290283784 HAS SOUPS 290283784 WITH SCORE 2.92039645147E8
AT ITER 2231 NEW BEST:: SOT -1998843036 SOS 1755689072 HAS SOPS 1755689072 HAS SOUS 290283780 HAS SOUPS 290283780 WITH SCORE 2.92039469072E8
AT ITER 2294 NEW BEST:: SOT -1998868892 SOS 1755572719 HAS SOPS 1755572719 HAS SOUS 290283779 HAS SOUPS 290283779 WITH SCORE 2.92039351719E8
AT ITER 2296 NEW BEST:: SOT -1998872758 SOS 1755555322 HAS SOPS 1755555322 HAS SOUS 290283779 HAS SOUPS 290283779 WITH SCORE 2.92039334322E8
AT ITER 2300 NEW BEST:: SOT -1998886377 SOS 1755481898 HAS SOPS 1755481898 HAS SOUS 290282655 HAS SOUPS 290282655 WITH SCORE 2.92038136898E8
AT ITER 2312 NEW BEST:: SOT -1998916123 SOS 1755348034 HAS SOPS 1755348034 HAS SOUS 290282646 HAS SOUPS 290282646 WITH SCORE 2.92037994034E8
AT ITER 2335 NEW BEST:: SOT -1998916123 SOS 1755348028 HAS SOPS 1755348028 HAS SOUS 290282640 HAS SOUPS 290282640 WITH SCORE 2.92037988028E8
AT ITER 2360 NEW BEST:: SOT -1998920593 SOS 1755327913 HAS SOPS 1755327913 HAS SOUS 290282640 HAS SOUPS 290282640 WITH SCORE 2.92037967913E8
AT ITER 2371 NEW BEST:: SOT -1998948637 SOS 1755201711 HAS SOPS 1755201711 HAS SOUS 290282636 HAS SOUPS 290282636 WITH SCORE 2.92037837711E8
AT ITER 2387 NEW BEST:: SOT -1998990565 SOS 1755013034 HAS SOPS 1755013034 HAS SOUS 290282635 HAS SOUPS 290282635 WITH SCORE 2.92037648034E8
AT ITER 2403 NEW BEST:: SOT -1999005243 SOS 1754946978 HAS SOPS 1754946978 HAS SOUS 290282630 HAS SOUPS 290282630 WITH SCORE 2.92037576978E8
AT ITER 2404 NEW BEST:: SOT -1999058553 SOS 1754707079 HAS SOPS 1754707079 HAS SOUS 290282626 HAS SOUPS 290282626 WITH SCORE 2.92037333079E8
AT ITER 2413 NEW BEST:: SOT -1999079813 SOS 1754611406 HAS SOPS 1754611406 HAS SOUS 290282623 HAS SOUPS 290282623 WITH SCORE 2.92037234406E8
AT ITER 2427 NEW BEST:: SOT -1999100605 SOS 1754517842 HAS SOPS 1754517842 HAS SOUS 290282623 HAS SOUPS 290282623 WITH SCORE 2.92037140842E8
AT ITER 2439 NEW BEST:: SOT -1999159805 SOS 1754251435 HAS SOPS 1754251435 HAS SOUS 290282614 HAS SOUPS 290282614 WITH SCORE 2.92036865435E8
AT ITER 2443 NEW BEST:: SOT -1999216653 SOS 1753995617 HAS SOPS 1753995617 HAS SOUS 290282612 HAS SOUPS 290282612 WITH SCORE 2.92036607617E8
AT ITER 2455 NEW BEST:: SOT -1999249953 SOS 1753845765 HAS SOPS 1753845765 HAS SOUS 290282610 HAS SOUPS 290282610 WITH SCORE 2.92036455765E8
AT ITER 2460 NEW BEST:: SOT -1999295883 SOS 1753639079 HAS SOPS 1753639079 HAS SOUS 290282609 HAS SOUPS 290282609 WITH SCORE 2.92036248079E8
AT ITER 2464 NEW BEST:: SOT -1999312900 SOS 1753552936 HAS SOPS 1753552936 HAS SOUS 290281278 HAS SOUPS 290281278 WITH SCORE 2.92034830936E8
AT ITER 2469 NEW BEST:: SOT -1999368420 SOS 1753303091 HAS SOPS 1753303091 HAS SOUS 290281273 HAS SOUPS 290281273 WITH SCORE 2.92034576091E8
AT ITER 2480 NEW BEST:: SOT -1999411448 SOS 1753109459 HAS SOPS 1753109459 HAS SOUS 290281267 HAS SOUPS 290281267 WITH SCORE 2.92034376459E8
AT ITER 2490 NEW BEST:: SOT -1999434856 SOS 1753004118 HAS SOPS 1753004118 HAS SOUS 290281262 HAS SOUPS 290281262 WITH SCORE 2.92034266118E8
AT ITER 2499 NEW BEST:: SOT -1999489180 SOS 1752759656 HAS SOPS 1752759656 HAS SOUS 290281258 HAS SOUPS 290281258 WITH SCORE 2.92034017656E8
AT ITER 2506 NEW BEST:: SOT -1999542406 SOS 1752520138 HAS SOPS 1752520138 HAS SOUS 290281257 HAS SOUPS 290281257 WITH SCORE 2.92033777138E8
AT ITER 2514 NEW BEST:: SOT -1999593306 SOS 1752291086 HAS SOPS 1752291086 HAS SOUS 290281255 HAS SOUPS 290281255 WITH SCORE 2.92033546086E8
AT ITER 2518 NEW BEST:: SOT -1999629254 SOS 1752129318 HAS SOPS 1752129318 HAS SOUS 290281253 HAS SOUPS 290281253 WITH SCORE 2.92033382318E8
AT ITER 2534 NEW BEST:: SOT -1999642986 SOS 1752067517 HAS SOPS 1752067517 HAS SOUS 290281244 HAS SOUPS 290281244 WITH SCORE 2.92033311517E8
AT ITER 2541 NEW BEST:: SOT -1999664550 SOS 1751970478 HAS SOPS 1751970478 HAS SOUS 290281243 HAS SOUPS 290281243 WITH SCORE 2.92033213478E8
AT ITER 2542 NEW BEST:: SOT -1999695140 SOS 1751832820 HAS SOPS 1751832820 HAS SOUS 290281240 HAS SOUPS 290281240 WITH SCORE 2.9203307282E8
AT ITER 2546 NEW BEST:: SOT -1999737604 SOS 1751641731 HAS SOPS 1751641731 HAS SOUS 290281239 HAS SOUPS 290281239 WITH SCORE 2.92032880731E8
AT ITER 2547 NEW BEST:: SOT -1999759812 SOS 1751541791 HAS SOPS 1751541791 HAS SOUS 290281235 HAS SOUPS 290281235 WITH SCORE 2.92032776791E8
AT ITER 2552 NEW BEST:: SOT -1999789024 SOS 1751410332 HAS SOPS 1751410332 HAS SOUS 290281230 HAS SOUPS 290281230 WITH SCORE 2.92032640332E8
AT ITER 2562 NEW BEST:: SOT -1999809376 SOS 1751318742 HAS SOPS 1751318742 HAS SOUS 290281224 HAS SOUPS 290281224 WITH SCORE 2.92032542742E8
AT ITER 2571 NEW BEST:: SOT -1999871854 SOS 1751037591 HAS SOPS 1751037591 HAS SOUS 290281224 HAS SOUPS 290281224 WITH SCORE 2.92032261591E8
AT ITER 2593 NEW BEST:: SOT -1999896732 SOS 1750925633 HAS SOPS 1750925633 HAS SOUS 290281215 HAS SOUPS 290281215 WITH SCORE 2.92032140633E8
AT ITER 2613 NEW BEST:: SOT -1999919432 SOS 1750823481 HAS SOPS 1750823481 HAS SOUS 290281213 HAS SOUPS 290281213 WITH SCORE 2.92032036481E8
AT ITER 2618 NEW BEST:: SOT -1999947354 SOS 1750697827 HAS SOPS 1750697827 HAS SOUS 290281208 HAS SOUPS 290281208 WITH SCORE 2.92031905827E8
AT ITER 2624 NEW BEST:: SOT -1999969112 SOS 1750599910 HAS SOPS 1750599910 HAS SOUS 290281202 HAS SOUPS 290281202 WITH SCORE 2.9203180191E8
AT ITER 2626 NEW BEST:: SOT -1999985648 SOS 1750525492 HAS SOPS 1750525492 HAS SOUS 290281196 HAS SOUPS 290281196 WITH SCORE 2.92031721492E8
AT ITER 2651 NEW BEST:: SOT -1999994106 SOS 1750487430 HAS SOPS 1750487430 HAS SOUS 290281195 HAS SOUPS 290281195 WITH SCORE 2.9203168243E8
AT ITER 2685 NEW BEST:: SOT -2000035140 SOS 1750302772 HAS SOPS 1750302772 HAS SOUS 290281190 HAS SOUPS 290281190 WITH SCORE 2.92031492772E8
AT ITER 2690 NEW BEST:: SOT -2000051830 SOS 1750227665 HAS SOPS 1750227665 HAS SOUS 290281188 HAS SOUPS 290281188 WITH SCORE 2.92031415665E8
AT ITER 2694 NEW BEST:: SOT -2000067624 SOS 1750156586 HAS SOPS 1750156586 HAS SOUS 290281182 HAS SOUPS 290281182 WITH SCORE 2.92031338586E8
AT ITER 2704 NEW BEST:: SOT -2000110954 SOS 1749961598 HAS SOPS 1749961598 HAS SOUS 290281179 HAS SOUPS 290281179 WITH SCORE 2.92031140598E8
AT ITER 2714 NEW BEST:: SOT -2000128080 SOS 1749884531 HAS SOPS 1749884531 HAS SOUS 290281179 HAS SOUPS 290281179 WITH SCORE 2.92031063531E8
AT ITER 2717 NEW BEST:: SOT -2000175988 SOS 1749668942 HAS SOPS 1749668942 HAS SOUS 290281176 HAS SOUPS 290281176 WITH SCORE 2.92030844942E8
AT ITER 2726 NEW BEST:: SOT -2000198588 SOS 1749555302 HAS SOPS 1749555302 HAS SOUS 290276950 HAS SOUPS 290276950 WITH SCORE 2.92026505302E8
AT ITER 2736 NEW BEST:: SOT -2000207856 SOS 1749513595 HAS SOPS 1749513595 HAS SOUS 290276949 HAS SOUPS 290276949 WITH SCORE 2.92026462595E8
AT ITER 2755 NEW BEST:: SOT -2000219648 SOS 1749460530 HAS SOPS 1749460530 HAS SOUS 290276948 HAS SOUPS 290276948 WITH SCORE 2.9202640853E8
AT ITER 2767 NEW BEST:: SOT -2000224259 SOS 1749445156 HAS SOPS 1749445156 HAS SOUS 290275407 HAS SOUPS 290275407 WITH SCORE 2.92024852156E8
AT ITER 2775 NEW BEST:: SOT -2000267155 SOS 1749252118 HAS SOPS 1749252118 HAS SOUS 290275401 HAS SOUPS 290275401 WITH SCORE 2.92024653118E8
AT ITER 2781 NEW BEST:: SOT -2000299151 SOS 1749108136 HAS SOPS 1749108136 HAS SOUS 290275401 HAS SOUPS 290275401 WITH SCORE 2.92024509136E8
AT ITER 2786 NEW BEST:: SOT -2000313055 SOS 1749045561 HAS SOPS 1749045561 HAS SOUS 290275392 HAS SOUPS 290275392 WITH SCORE 2.92024437561E8
AT ITER 2792 NEW BEST:: SOT -2000315143 SOS 1749036165 HAS SOPS 1749036165 HAS SOUS 290275392 HAS SOUPS 290275392 WITH SCORE 2.92024428165E8
AT ITER 2795 NEW BEST:: SOT -2000325781 SOS 1748988290 HAS SOPS 1748988290 HAS SOUS 290275388 HAS SOUPS 290275388 WITH SCORE 2.9202437629E8
AT ITER 2797 NEW BEST:: SOT -2000354805 SOS 1748857677 HAS SOPS 1748857677 HAS SOUS 290275383 HAS SOUPS 290275383 WITH SCORE 2.92024240677E8
AT ITER 2821 NEW BEST:: SOT -2000380507 SOS 1748742017 HAS SOPS 1748742017 HAS SOUS 290275382 HAS SOUPS 290275382 WITH SCORE 2.92024124017E8
AT ITER 2831 NEW BEST:: SOT -2000380507 SOS 1748742015 HAS SOPS 1748742015 HAS SOUS 290275380 HAS SOUPS 290275380 WITH SCORE 2.92024122015E8
AT ITER 2846 NEW BEST:: SOT -2000397375 SOS 1748666107 HAS SOPS 1748666107 HAS SOUS 290275378 HAS SOUPS 290275378 WITH SCORE 2.92024044107E8
AT ITER 2853 NEW BEST:: SOT -2000435367 SOS 1748495139 HAS SOPS 1748495139 HAS SOUS 290275374 HAS SOUPS 290275374 WITH SCORE 2.92023869139E8
AT ITER 2868 NEW BEST:: SOT -2000446563 SOS 1748444757 HAS SOPS 1748444757 HAS SOUS 290275374 HAS SOUPS 290275374 WITH SCORE 2.92023818757E8
AT ITER 2880 NEW BEST:: SOT -2000446563 SOS 1748444750 HAS SOPS 1748444750 HAS SOUS 290275365 HAS SOUPS 290275365 WITH SCORE 2.9202380975E8
AT ITER 2886 NEW BEST:: SOT -2000496573 SOS 1748219699 HAS SOPS 1748219699 HAS SOUS 290275359 HAS SOUPS 290275359 WITH SCORE 2.92023578699E8
AT ITER 2900 NEW BEST:: SOT -2000519155 SOS 1748118075 HAS SOPS 1748118075 HAS SOUS 290275354 HAS SOUPS 290275354 WITH SCORE 2.92023472075E8
AT ITER 2909 NEW BEST:: SOT -2000576457 SOS 1747860209 HAS SOPS 1747860209 HAS SOUS 290275345 HAS SOUPS 290275345 WITH SCORE 2.92023205209E8
AT ITER 2923 NEW BEST:: SOT -2000621535 SOS 1747657353 HAS SOPS 1747657353 HAS SOUS 290275340 HAS SOUPS 290275340 WITH SCORE 2.92022997353E8
AT ITER 2936 NEW BEST:: SOT -2000666099 SOS 1747456809 HAS SOPS 1747456809 HAS SOUS 290275334 HAS SOUPS 290275334 WITH SCORE 2.92022790809E8
AT ITER 2950 NEW BEST:: SOT -2000715703 SOS 1747233587 HAS SOPS 1747233587 HAS SOUS 290275330 HAS SOUPS 290275330 WITH SCORE 2.92022563587E8
AT ITER 2998 NEW BEST:: SOT -2000755379 SOS 1747055038 HAS SOPS 1747055038 HAS SOUS 290275321 HAS SOUPS 290275321 WITH SCORE 2.92022376038E8
AT ITER 3029 NEW BEST:: SOT -2000829853 SOS 1746737910 HAS SOPS 1746737910 HAS SOUS 290275048 HAS SOUPS 290275048 WITH SCORE 2.9202178591E8
AT ITER 3041 NEW BEST:: SOT -2000845187 SOS 1746668906 HAS SOPS 1746668906 HAS SOUS 290275047 HAS SOUPS 290275047 WITH SCORE 2.92021715906E8
AT ITER 3051 NEW BEST:: SOT -2000872825 SOS 1746544529 HAS SOPS 1746544529 HAS SOUS 290275041 HAS SOUPS 290275041 WITH SCORE 2.92021585529E8
AT ITER 3069 NEW BEST:: SOT -2000890809 SOS 1746463595 HAS SOPS 1746463595 HAS SOUS 290275035 HAS SOUPS 290275035 WITH SCORE 2.92021498595E8
AT ITER 3070 NEW BEST:: SOT -2000919295 SOS 1746321165 HAS SOPS 1746321165 HAS SOUS 290260792 HAS SOUPS 290260792 WITH SCORE 2.92007113165E8
AT ITER 3081 NEW BEST:: SOT -2000942193 SOS 1746218117 HAS SOPS 1746218117 HAS SOUS 290260783 HAS SOUPS 290260783 WITH SCORE 2.92007001117E8
AT ITER 3091 NEW BEST:: SOT -2000959552 SOS 1746131751 HAS SOPS 1746131751 HAS SOUS 290254571 HAS SOUPS 290254571 WITH SCORE 2.92000702751E8
AT ITER 3094 NEW BEST:: SOT -2001023814 SOS 1745842565 HAS SOPS 1745842565 HAS SOUS 290254562 HAS SOUPS 290254562 WITH SCORE 2.92000404565E8
AT ITER 3122 NEW BEST:: SOT -2001072640 SOS 1745622848 HAS SOPS 1745622848 HAS SOUS 290254562 HAS SOUPS 290254562 WITH SCORE 2.92000184848E8
AT ITER 3124 NEW BEST:: SOT -2001092784 SOS 1745532196 HAS SOPS 1745532196 HAS SOUS 290254558 HAS SOUPS 290254558 WITH SCORE 2.92000090196E8
AT ITER 3139 NEW BEST:: SOT -2001148980 SOS 1745279308 HAS SOPS 1745279308 HAS SOUS 290254552 HAS SOUPS 290254552 WITH SCORE 2.91999831308E8
AT ITER 3143 NEW BEST:: SOT -2001244821 SOS 1744952444 HAS SOPS 1744952444 HAS SOUS 290230220 HAS SOUPS 290230220 WITH SCORE 2.91975172444E8
AT ITER 3148 NEW BEST:: SOT -2001267071 SOS 1744852318 HAS SOPS 1744852318 HAS SOUS 290230219 HAS SOUPS 290230219 WITH SCORE 2.91975071318E8
AT ITER 3159 NEW BEST:: SOT -2001279627 SOS 1744795816 HAS SOPS 1744795816 HAS SOUS 290230219 HAS SOUPS 290230219 WITH SCORE 2.91975014816E8
AT ITER 3166 NEW BEST:: SOT -2001329325 SOS 1744572169 HAS SOPS 1744572169 HAS SOUS 290230213 HAS SOUPS 290230213 WITH SCORE 2.91974785169E8
AT ITER 3211 NEW BEST:: SOT -2001335257 SOS 1744545471 HAS SOPS 1744545471 HAS SOUS 290230209 HAS SOUPS 290230209 WITH SCORE 2.91974754471E8
AT ITER 3213 NEW BEST:: SOT -2001392257 SOS 1744288967 HAS SOPS 1744288967 HAS SOUS 290230205 HAS SOUPS 290230205 WITH SCORE 2.91974493967E8
AT ITER 3230 NEW BEST:: SOT -2001408107 SOS 1744217642 HAS SOPS 1744217642 HAS SOUS 290230205 HAS SOUPS 290230205 WITH SCORE 2.91974422642E8
AT ITER 3240 NEW BEST:: SOT -2001468237 SOS 1743947050 HAS SOPS 1743947050 HAS SOUS 290230196 HAS SOUPS 290230196 WITH SCORE 2.9197414305E8
AT ITER 3242 NEW BEST:: SOT -2001507083 SOS 1743772239 HAS SOPS 1743772239 HAS SOUS 290230192 HAS SOUPS 290230192 WITH SCORE 2.91973964239E8
AT ITER 3261 NEW BEST:: SOT -2001553213 SOS 1743564650 HAS SOPS 1743564650 HAS SOUS 290230188 HAS SOUPS 290230188 WITH SCORE 2.9197375265E8
AT ITER 3289 NEW BEST:: SOT -2001572519 SOS 1743477767 HAS SOPS 1743477767 HAS SOUS 290230182 HAS SOUPS 290230182 WITH SCORE 2.91973659767E8
AT ITER 3294 NEW BEST:: SOT -2001596625 SOS 1743369287 HAS SOPS 1743369287 HAS SOUS 290230179 HAS SOUPS 290230179 WITH SCORE 2.91973548287E8
AT ITER 3300 NEW BEST:: SOT -2001617225 SOS 1743264893 HAS SOPS 1743264893 HAS SOUS 290221817 HAS SOUPS 290221817 WITH SCORE 2.91965081893E8
AT ITER 3302 NEW BEST:: SOT -2001621525 SOS 1743245542 HAS SOPS 1743245542 HAS SOUS 290221816 HAS SOUPS 290221816 WITH SCORE 2.91965061542E8
AT ITER 3309 NEW BEST:: SOT -2001621525 SOS 1743245540 HAS SOPS 1743245540 HAS SOUS 290221814 HAS SOUPS 290221814 WITH SCORE 2.9196505954E8
AT ITER 3310 NEW BEST:: SOT -2001666051 SOS 1743045173 HAS SOPS 1743045173 HAS SOUS 290221814 HAS SOUPS 290221814 WITH SCORE 2.91964859173E8
AT ITER 3311 NEW BEST:: SOT -2001683939 SOS 1742955733 HAS SOPS 1742955733 HAS SOUS 290212870 HAS SOUPS 290212870 WITH SCORE 2.91955825733E8
AT ITER 3316 NEW BEST:: SOT -2001739755 SOS 1742704557 HAS SOPS 1742704557 HAS SOUS 290212866 HAS SOUPS 290212866 WITH SCORE 2.91955570557E8
AT ITER 3319 NEW BEST:: SOT -2001761893 SOS 1742604933 HAS SOPS 1742604933 HAS SOUS 290212863 HAS SOUPS 290212863 WITH SCORE 2.91955467933E8
AT ITER 3324 NEW BEST:: SOT -2001783173 SOS 1742501448 HAS SOPS 1742501448 HAS SOUS 290205136 HAS SOUPS 290205136 WITH SCORE 2.91947637448E8
AT ITER 3329 NEW BEST:: SOT -2001813845 SOS 1742363424 HAS SOPS 1742363424 HAS SOUS 290205136 HAS SOUPS 290205136 WITH SCORE 2.91947499424E8
AT ITER 3345 NEW BEST:: SOT -2001849353 SOS 1742203637 HAS SOPS 1742203637 HAS SOUS 290205135 HAS SOUPS 290205135 WITH SCORE 2.91947338637E8
AT ITER 3350 NEW BEST:: SOT -2001851735 SOS 1742195691 HAS SOPS 1742195691 HAS SOUS 290204335 HAS SOUPS 290204335 WITH SCORE 2.91946530691E8
AT ITER 3368 NEW BEST:: SOT -2001891737 SOS 1742015675 HAS SOPS 1742015675 HAS SOUS 290204326 HAS SOUPS 290204326 WITH SCORE 2.91946341675E8
AT ITER 3382 NEW BEST:: SOT -2001902321 SOS 1741968043 HAS SOPS 1741968043 HAS SOUS 290204322 HAS SOUPS 290204322 WITH SCORE 2.91946290043E8
AT ITER 3393 NEW BEST:: SOT -2001955545 SOS 1741728532 HAS SOPS 1741728532 HAS SOUS 290204319 HAS SOUPS 290204319 WITH SCORE 2.91946047532E8
AT ITER 3408 NEW BEST:: SOT -2001972719 SOS 1741651243 HAS SOPS 1741651243 HAS SOUS 290204313 HAS SOUPS 290204313 WITH SCORE 2.91945964243E8
AT ITER 3409 NEW BEST:: SOT -2002003229 SOS 1741513942 HAS SOPS 1741513942 HAS SOUS 290204307 HAS SOUPS 290204307 WITH SCORE 2.91945820942E8
AT ITER 3416 NEW BEST:: SOT -2002064609 SOS 1741237727 HAS SOPS 1741237727 HAS SOUS 290204302 HAS SOUPS 290204302 WITH SCORE 2.91945539727E8
AT ITER 3418 NEW BEST:: SOT -2002079681 SOS 1741163748 HAS SOPS 1741163748 HAS SOUS 290198147 HAS SOUPS 290198147 WITH SCORE 2.91939310748E8
AT ITER 3439 NEW BEST:: SOT -2002094097 SOS 1741098874 HAS SOPS 1741098874 HAS SOUS 290198145 HAS SOUPS 290198145 WITH SCORE 2.91939243874E8
AT ITER 3446 NEW BEST:: SOT -2002106207 SOS 1741044377 HAS SOPS 1741044377 HAS SOUS 290198143 HAS SOUPS 290198143 WITH SCORE 2.91939187377E8
AT ITER 3457 NEW BEST:: SOT -2002199140 SOS 1740721250 HAS SOPS 1740721250 HAS SOUS 290183833 HAS SOUPS 290183833 WITH SCORE 2.9192455425E8
AT ITER 3460 NEW BEST:: SOT -2002225560 SOS 1740589150 HAS SOPS 1740589150 HAS SOUS 290170623 HAS SOUPS 290170623 WITH SCORE 2.9191121215E8
AT ITER 3461 NEW BEST:: SOT -2002256284 SOS 1740450886 HAS SOPS 1740450886 HAS SOUS 290170617 HAS SOUPS 290170617 WITH SCORE 2.91911067886E8
AT ITER 3485 NEW BEST:: SOT -2002262914 SOS 1740421047 HAS SOPS 1740421047 HAS SOUS 290170613 HAS SOUPS 290170613 WITH SCORE 2.91911034047E8
AT ITER 3513 NEW BEST:: SOT -2002295620 SOS 1740273869 HAS SOPS 1740273869 HAS SOUS 290170612 HAS SOUPS 290170612 WITH SCORE 2.91910885869E8
AT ITER 3523 NEW BEST:: SOT -2002324487 SOS 1740128274 HAS SOPS 1740128274 HAS SOUS 290159717 HAS SOUPS 290159717 WITH SCORE 2.91899845274E8
AT ITER 3531 NEW BEST:: SOT -2002341227 SOS 1740052944 HAS SOPS 1740052944 HAS SOUS 290159717 HAS SOUPS 290159717 WITH SCORE 2.91899769944E8
AT ITER 3535 NEW BEST:: SOT -2002347881 SOS 1740022999 HAS SOPS 1740022999 HAS SOUS 290159715 HAS SOUPS 290159715 WITH SCORE 2.91899737999E8
AT ITER 3536 NEW BEST:: SOT -2002346251 SOS 1740034409 HAS SOPS 1740034409 HAS SOUS 290158085 HAS SOUPS 290158085 WITH SCORE 2.91898119409E8
AT ITER 3538 NEW BEST:: SOT -2002392787 SOS 1739824990 HAS SOPS 1739824990 HAS SOUS 290158076 HAS SOUPS 290158076 WITH SCORE 2.9189790099E8
AT ITER 3539 NEW BEST:: SOT -2002399489 SOS 1739794831 HAS SOPS 1739794831 HAS SOUS 290158076 HAS SOUPS 290158076 WITH SCORE 2.91897870831E8
AT ITER 3550 NEW BEST:: SOT -2002406387 SOS 1739763784 HAS SOPS 1739763784 HAS SOUS 290158070 HAS SOUPS 290158070 WITH SCORE 2.91897833784E8
AT ITER 3560 NEW BEST:: SOT -2002437497 SOS 1739623785 HAS SOPS 1739623785 HAS SOUS 290158066 HAS SOUPS 290158066 WITH SCORE 2.91897689785E8
AT ITER 3572 NEW BEST:: SOT -2002468879 SOS 1739482564 HAS SOPS 1739482564 HAS SOUS 290158064 HAS SOUPS 290158064 WITH SCORE 2.91897546564E8
AT ITER 3574 NEW BEST:: SOT -2002475255 SOS 1739453871 HAS SOPS 1739453871 HAS SOUS 290158063 HAS SOUPS 290158063 WITH SCORE 2.91897516871E8
AT ITER 3585 NEW BEST:: SOT -2002501147 SOS 1739337356 HAS SOPS 1739337356 HAS SOUS 290158062 HAS SOUPS 290158062 WITH SCORE 2.91897399356E8
AT ITER 3601 NEW BEST:: SOT -2002598272 SOS 1739009333 HAS SOPS 1739009333 HAS SOUS 290131008 HAS SOUPS 290131008 WITH SCORE 2.91870017333E8
AT ITER 3609 NEW BEST:: SOT -2002628708 SOS 1738872365 HAS SOPS 1738872365 HAS SOUS 290131002 HAS SOUPS 290131002 WITH SCORE 2.91869874365E8
AT ITER 3615 NEW BEST:: SOT -2002647260 SOS 1738788880 HAS SOPS 1738788880 HAS SOUS 290131001 HAS SOUPS 290131001 WITH SCORE 2.9186978988E8
AT ITER 3617 NEW BEST:: SOT -2002691120 SOS 1738591509 HAS SOPS 1738591509 HAS SOUS 290131000 HAS SOUPS 290131000 WITH SCORE 2.91869591509E8
AT ITER 3628 NEW BEST:: SOT -2002756760 SOS 1738296125 HAS SOPS 1738296125 HAS SOUS 290130996 HAS SOUPS 290130996 WITH SCORE 2.91869292125E8
AT ITER 3630 NEW BEST:: SOT -2002793698 SOS 1738111435 HAS SOPS 1738111435 HAS SOUS 290112527 HAS SOUPS 290112527 WITH SCORE 2.91850638435E8
AT ITER 3635 NEW BEST:: SOT -2002805892 SOS 1738056557 HAS SOPS 1738056557 HAS SOUS 290112522 HAS SOUPS 290112522 WITH SCORE 2.91850578557E8
AT ITER 3658 NEW BEST:: SOT -2002857462 SOS 1737824487 HAS SOPS 1737824487 HAS SOUS 290112517 HAS SOUPS 290112517 WITH SCORE 2.91850341487E8
AT ITER 3662 NEW BEST:: SOT -2002898244 SOS 1737640966 HAS SOPS 1737640966 HAS SOUS 290112515 HAS SOUPS 290112515 WITH SCORE 2.91850155966E8
AT ITER 3668 NEW BEST:: SOT -2002939526 SOS 1737455192 HAS SOPS 1737455192 HAS SOUS 290112510 HAS SOUPS 290112510 WITH SCORE 2.91849965192E8
AT ITER 3670 NEW BEST:: SOT -2002960080 SOS 1737362694 HAS SOPS 1737362694 HAS SOUS 290112505 HAS SOUPS 290112505 WITH SCORE 2.91849867694E8
AT ITER 3701 NEW BEST:: SOT -2002972414 SOS 1737307186 HAS SOPS 1737307186 HAS SOUS 290112500 HAS SOUPS 290112500 WITH SCORE 2.91849807186E8
AT ITER 3707 NEW BEST:: SOT -2003013222 SOS 1737123543 HAS SOPS 1737123543 HAS SOUS 290112491 HAS SOUPS 290112491 WITH SCORE 2.91849614543E8
AT ITER 3719 NEW BEST:: SOT -2003060384 SOS 1736911314 HAS SOPS 1736911314 HAS SOUS 290112491 HAS SOUPS 290112491 WITH SCORE 2.91849402314E8
AT ITER 3735 NEW BEST:: SOT -2003066114 SOS 1736885524 HAS SOPS 1736885524 HAS SOUS 290112486 HAS SOUPS 290112486 WITH SCORE 2.91849371524E8
AT ITER 3739 NEW BEST:: SOT -2003099504 SOS 1736735263 HAS SOPS 1736735263 HAS SOUS 290112480 HAS SOUPS 290112480 WITH SCORE 2.91849215263E8
AT ITER 3741 NEW BEST:: SOT -2003101222 SOS 1736727531 HAS SOPS 1736727531 HAS SOUS 290112479 HAS SOUPS 290112479 WITH SCORE 2.91849206531E8
AT ITER 3748 NEW BEST:: SOT -2003140504 SOS 1736531121 HAS SOPS 1736531121 HAS SOUS 290092838 HAS SOUPS 290092838 WITH SCORE 2.91829369121E8
AT ITER 3756 NEW BEST:: SOT -2003206062 SOS 1736236109 HAS SOPS 1736236109 HAS SOUS 290092837 HAS SOUPS 290092837 WITH SCORE 2.91829073109E8
AT ITER 3773 NEW BEST:: SOT -2003211424 SOS 1736211980 HAS SOPS 1736211980 HAS SOUS 290092837 HAS SOUPS 290092837 WITH SCORE 2.9182904898E8
AT ITER 3847 NEW BEST:: SOT -2003237532 SOS 1736094493 HAS SOPS 1736094493 HAS SOUS 290092836 HAS SOUPS 290092836 WITH SCORE 2.91828930493E8
AT ITER 3850 NEW BEST:: SOT -2003331260 SOS 1735770015 HAS SOPS 1735770015 HAS SOUS 290076624 HAS SOUPS 290076624 WITH SCORE 2.91812394015E8
AT ITER 3867 NEW BEST:: SOT -2003358971 SOS 1735627518 HAS SOPS 1735627518 HAS SOUS 290065746 HAS SOUPS 290065746 WITH SCORE 2.91801373518E8
AT ITER 3873 NEW BEST:: SOT -2003368155 SOS 1735586186 HAS SOPS 1735586186 HAS SOUS 290065742 HAS SOUPS 290065742 WITH SCORE 2.91801328186E8
AT ITER 3880 NEW BEST:: SOT -2003404785 SOS 1735421351 HAS SOPS 1735421351 HAS SOUS 290065742 HAS SOUPS 290065742 WITH SCORE 2.91801163351E8
AT ITER 3899 NEW BEST:: SOT -2003433359 SOS 1735292768 HAS SOPS 1735292768 HAS SOUS 290065742 HAS SOUPS 290065742 WITH SCORE 2.91801034768E8
AT ITER 3915 NEW BEST:: SOT -2003446297 SOS 1735234543 HAS SOPS 1735234543 HAS SOUS 290065738 HAS SOUPS 290065738 WITH SCORE 2.91800972543E8
AT ITER 3927 NEW BEST:: SOT -2003479199 SOS 1735086480 HAS SOPS 1735086480 HAS SOUS 290065734 HAS SOUPS 290065734 WITH SCORE 2.9180082048E8
AT ITER 3942 NEW BEST:: SOT -2003502225 SOS 1734982858 HAS SOPS 1734982858 HAS SOUS 290065729 HAS SOUPS 290065729 WITH SCORE 2.91800711858E8
AT ITER 3948 NEW BEST:: SOT -2003528005 SOS 1734866845 HAS SOPS 1734866845 HAS SOUS 290065726 HAS SOUPS 290065726 WITH SCORE 2.91800592845E8
AT ITER 3953 NEW BEST:: SOT -2003563817 SOS 1734705687 HAS SOPS 1734705687 HAS SOUS 290065722 HAS SOUPS 290065722 WITH SCORE 2.91800427687E8
AT ITER 3961 NEW BEST:: SOT -2003601767 SOS 1734534906 HAS SOPS 1734534906 HAS SOUS 290065716 HAS SOUPS 290065716 WITH SCORE 2.91800250906E8
AT ITER 3982 NEW BEST:: SOT -2003661515 SOS 1734266037 HAS SOPS 1734266037 HAS SOUS 290065713 HAS SOUPS 290065713 WITH SCORE 2.91799979037E8
AT ITER 3991 NEW BEST:: SOT -2003678999 SOS 1734187359 HAS SOPS 1734187359 HAS SOUS 290065713 HAS SOUPS 290065713 WITH SCORE 2.91799900359E8
AT ITER 3993 NEW BEST:: SOT -2003705381 SOS 1734068638 HAS SOPS 1734068638 HAS SOUS 290065711 HAS SOUPS 290065711 WITH SCORE 2.91799779638E8
AT ITER 4005 NEW BEST:: SOT -2003725541 SOS 1733977914 HAS SOPS 1733977914 HAS SOUS 290065707 HAS SOUPS 290065707 WITH SCORE 2.91799684914E8
AT ITER 4022 NEW BEST:: SOT -2003758857 SOS 1733827991 HAS SOPS 1733827991 HAS SOUS 290065706 HAS SOUPS 290065706 WITH SCORE 2.91799533991E8
AT ITER 4023 NEW BEST:: SOT -2003777065 SOS 1733746054 HAS SOPS 1733746054 HAS SOUS 290065705 HAS SOUPS 290065705 WITH SCORE 2.91799451054E8
AT ITER 4024 NEW BEST:: SOT -2003809107 SOS 1733601860 HAS SOPS 1733601860 HAS SOUS 290065700 HAS SOUPS 290065700 WITH SCORE 2.9179930186E8
AT ITER 4062 NEW BEST:: SOT -2003809107 SOS 1733601853 HAS SOPS 1733601853 HAS SOUS 290065691 HAS SOUPS 290065691 WITH SCORE 2.91799292853E8
AT ITER 4063 NEW BEST:: SOT -2003809107 SOS 1733601849 HAS SOPS 1733601849 HAS SOUS 290065687 HAS SOUPS 290065687 WITH SCORE 2.91799288849E8
AT ITER 4070 NEW BEST:: SOT -2003832935 SOS 1733494616 HAS SOPS 1733494616 HAS SOUS 290065678 HAS SOUPS 290065678 WITH SCORE 2.91799172616E8
AT ITER 4074 NEW BEST:: SOT -2003860117 SOS 1733372293 HAS SOPS 1733372293 HAS SOUS 290065674 HAS SOUPS 290065674 WITH SCORE 2.91799046293E8
AT ITER 4076 NEW BEST:: SOT -2003917721 SOS 1733113072 HAS SOPS 1733113072 HAS SOUS 290065671 HAS SOUPS 290065671 WITH SCORE 2.91798784072E8
AT ITER 4081 NEW BEST:: SOT -2003970589 SOS 1732875165 HAS SOPS 1732875165 HAS SOUS 290065670 HAS SOUPS 290065670 WITH SCORE 2.91798545165E8
AT ITER 4084 NEW BEST:: SOT -2003985435 SOS 1732808357 HAS SOPS 1732808357 HAS SOUS 290065669 HAS SOUPS 290065669 WITH SCORE 2.91798477357E8
AT ITER 4095 NEW BEST:: SOT -2004035029 SOS 1732585179 HAS SOPS 1732585179 HAS SOUS 290065664 HAS SOUPS 290065664 WITH SCORE 2.91798249179E8
AT ITER 4106 NEW BEST:: SOT -2004039075 SOS 1732566972 HAS SOPS 1732566972 HAS SOUS 290065664 HAS SOUPS 290065664 WITH SCORE 2.91798230972E8
AT ITER 4128 NEW BEST:: SOT -2004046763 SOS 1732532375 HAS SOPS 1732532375 HAS SOUS 290065663 HAS SOUPS 290065663 WITH SCORE 2.91798195375E8
AT ITER 4145 NEW BEST:: SOT -2004073011 SOS 1732414255 HAS SOPS 1732414255 HAS SOUS 290065659 HAS SOUPS 290065659 WITH SCORE 2.91798073255E8
AT ITER 4153 NEW BEST:: SOT -2004113605 SOS 1732231575 HAS SOPS 1732231575 HAS SOUS 290065650 HAS SOUPS 290065650 WITH SCORE 2.91797881575E8
AT ITER 4179 NEW BEST:: SOT -2004145511 SOS 1732087997 HAS SOPS 1732087997 HAS SOUS 290065649 HAS SOUPS 290065649 WITH SCORE 2.91797736997E8
AT ITER 4191 NEW BEST:: SOT -2004201447 SOS 1731836282 HAS SOPS 1731836282 HAS SOUS 290065646 HAS SOUPS 290065646 WITH SCORE 2.91797482282E8
AT ITER 4215 NEW BEST:: SOT -2004211777 SOS 1731789795 HAS SOPS 1731789795 HAS SOUS 290065644 HAS SOUPS 290065644 WITH SCORE 2.91797433795E8
AT ITER 4229 NEW BEST:: SOT -2004216465 SOS 1731766355 HAS SOPS 1731766355 HAS SOUS 290063300 HAS SOUPS 290063300 WITH SCORE 2.91795066355E8
AT ITER 4233 NEW BEST:: SOT -2004253925 SOS 1731597784 HAS SOPS 1731597784 HAS SOUS 290063299 HAS SOUPS 290063299 WITH SCORE 2.91794896784E8
AT ITER 4237 NEW BEST:: SOT -2004305563 SOS 1731365406 HAS SOPS 1731365406 HAS SOUS 290063290 HAS SOUPS 290063290 WITH SCORE 2.91794655406E8
AT ITER 4239 NEW BEST:: SOT -2004343995 SOS 1731192457 HAS SOPS 1731192457 HAS SOUS 290063285 HAS SOUPS 290063285 WITH SCORE 2.91794477457E8
AT ITER 4244 NEW BEST:: SOT -2004386279 SOS 1731002179 HAS SOPS 1731002179 HAS SOUS 290063285 HAS SOUPS 290063285 WITH SCORE 2.91794287179E8
AT ITER 4260 NEW BEST:: SOT -2004422783 SOS 1730837910 HAS SOPS 1730837910 HAS SOUS 290063284 HAS SOUPS 290063284 WITH SCORE 2.9179412191E8
AT ITER 4270 NEW BEST:: SOT -2004485827 SOS 1730554212 HAS SOPS 1730554212 HAS SOUS 290063284 HAS SOUPS 290063284 WITH SCORE 2.91793838212E8
AT ITER 4276 NEW BEST:: SOT -2004529249 SOS 1730358807 HAS SOPS 1730358807 HAS SOUS 290063278 HAS SOUPS 290063278 WITH SCORE 2.91793636807E8
AT ITER 4300 NEW BEST:: SOT -2004624666 SOS 1730027635 HAS SOPS 1730027635 HAS SOUS 290035217 HAS SOUPS 290035217 WITH SCORE 2.91765244635E8
AT ITER 4332 NEW BEST:: SOT -2004678860 SOS 1729757300 HAS SOPS 1729757300 HAS SOUS 290008755 HAS SOUPS 290008755 WITH SCORE 2.917385123E8
AT ITER 4337 NEW BEST:: SOT -2004707770 SOS 1729627203 HAS SOPS 1729627203 HAS SOUS 290008753 HAS SOUPS 290008753 WITH SCORE 2.91738380203E8
AT ITER 4338 NEW BEST:: SOT -2004713700 SOS 1729600514 HAS SOPS 1729600514 HAS SOUS 290008749 HAS SOUPS 290008749 WITH SCORE 2.91738349514E8
AT ITER 4364 NEW BEST:: SOT -2004721636 SOS 1729564802 HAS SOPS 1729564802 HAS SOUS 290008749 HAS SOUPS 290008749 WITH SCORE 2.91738313802E8
AT ITER 4365 NEW BEST:: SOT -2004768454 SOS 1729354115 HAS SOPS 1729354115 HAS SOUS 290008743 HAS SOUPS 290008743 WITH SCORE 2.91738097115E8
AT ITER 4373 NEW BEST:: SOT -2004818122 SOS 1729130606 HAS SOPS 1729130606 HAS SOUS 290008740 HAS SOUPS 290008740 WITH SCORE 2.91737870606E8
AT ITER 4387 NEW BEST:: SOT -2004829916 SOS 1729077533 HAS SOPS 1729077533 HAS SOUS 290008740 HAS SOUPS 290008740 WITH SCORE 2.91737817533E8
AT ITER 4402 NEW BEST:: SOT -2004857516 SOS 1728953333 HAS SOPS 1728953333 HAS SOUS 290008740 HAS SOUPS 290008740 WITH SCORE 2.91737693333E8
AT ITER 4403 NEW BEST:: SOT -2004899660 SOS 1728763678 HAS SOPS 1728763678 HAS SOUS 290008731 HAS SOUPS 290008731 WITH SCORE 2.91737494678E8
AT ITER 4409 NEW BEST:: SOT -2004939960 SOS 1728582327 HAS SOPS 1728582327 HAS SOUS 290008730 HAS SOUPS 290008730 WITH SCORE 2.91737312327E8
AT ITER 4425 NEW BEST:: SOT -2004946872 SOS 1728551217 HAS SOPS 1728551217 HAS SOUS 290008724 HAS SOUPS 290008724 WITH SCORE 2.91737275217E8
AT ITER 4431 NEW BEST:: SOT -2004960630 SOS 1728489301 HAS SOPS 1728489301 HAS SOUS 290008719 HAS SOUPS 290008719 WITH SCORE 2.91737208301E8
AT ITER 4434 NEW BEST:: SOT -2004966738 SOS 1728461815 HAS SOPS 1728461815 HAS SOUS 290008719 HAS SOUPS 290008719 WITH SCORE 2.91737180815E8
AT ITER 4442 NEW BEST:: SOT -2004980362 SOS 1728355475 HAS SOPS 1728355475 HAS SOUS 290008277 HAS SOUPS 290008277 WITH SCORE 2.91736632475E8
AT ITER 4443 NEW BEST:: SOT -2005016775 SOS 1728139789 HAS SOPS 1728139789 HAS SOUS 289995674 HAS SOUPS 289995674 WITH SCORE 2.91723813789E8
AT ITER 4445 NEW BEST:: SOT -2005030287 SOS 1728078985 HAS SOPS 1728078985 HAS SOUS 289995674 HAS SOUPS 289995674 WITH SCORE 2.91723752985E8
AT ITER 4456 NEW BEST:: SOT -2005053113 SOS 1727976263 HAS SOPS 1727976263 HAS SOUS 289995669 HAS SOUPS 289995669 WITH SCORE 2.91723645263E8
AT ITER 4459 NEW BEST:: SOT -2005079029 SOS 1727859641 HAS SOPS 1727859641 HAS SOUS 289995669 HAS SOUPS 289995669 WITH SCORE 2.91723528641E8
AT ITER 4467 NEW BEST:: SOT -2005111961 SOS 1727711440 HAS SOPS 1727711440 HAS SOUS 289995660 HAS SOUPS 289995660 WITH SCORE 2.9172337144E8
AT ITER 4468 NEW BEST:: SOT -2005122401 SOS 1727664454 HAS SOPS 1727664454 HAS SOUS 289995654 HAS SOUPS 289995654 WITH SCORE 2.91723318454E8
AT ITER 4475 NEW BEST:: SOT -2005147513 SOS 1727551443 HAS SOPS 1727551443 HAS SOUS 289995645 HAS SOUPS 289995645 WITH SCORE 2.91723196443E8
AT ITER 4482 NEW BEST:: SOT -2005158545 SOS 1727501795 HAS SOPS 1727501795 HAS SOUS 289995641 HAS SOUPS 289995641 WITH SCORE 2.91723142795E8
AT ITER 4485 NEW BEST:: SOT -2005203907 SOS 1727297666 HAS SOPS 1727297666 HAS SOUS 289995641 HAS SOUPS 289995641 WITH SCORE 2.91722938666E8
AT ITER 4488 NEW BEST:: SOT -2005210767 SOS 1727266794 HAS SOPS 1727266794 HAS SOUS 289995639 HAS SOUPS 289995639 WITH SCORE 2.91722905794E8
AT ITER 4507 NEW BEST:: SOT -2005216761 SOS 1727239819 HAS SOPS 1727239819 HAS SOUS 289995637 HAS SOUPS 289995637 WITH SCORE 2.91722876819E8
AT ITER 4517 NEW BEST:: SOT -2005234625 SOS 1727150534 HAS SOPS 1727150534 HAS SOUS 289986738 HAS SOUPS 289986738 WITH SCORE 2.91713888534E8
AT ITER 4523 NEW BEST:: SOT -2005259151 SOS 1727040162 HAS SOPS 1727040162 HAS SOUS 289986733 HAS SOUPS 289986733 WITH SCORE 2.91713773162E8
AT ITER 4534 NEW BEST:: SOT -2005259151 SOS 1727040156 HAS SOPS 1727040156 HAS SOUS 289986727 HAS SOUPS 289986727 WITH SCORE 2.91713767156E8
AT ITER 4553 NEW BEST:: SOT -2005301033 SOS 1726851685 HAS SOPS 1726851685 HAS SOUS 289986725 HAS SOUPS 289986725 WITH SCORE 2.91713576685E8
AT ITER 4556 NEW BEST:: SOT -2005313257 SOS 1726796675 HAS SOPS 1726796675 HAS SOUS 289986723 HAS SOUPS 289986723 WITH SCORE 2.91713519675E8
AT ITER 4563 NEW BEST:: SOT -2005377749 SOS 1726506457 HAS SOPS 1726506457 HAS SOUS 289986719 HAS SOUPS 289986719 WITH SCORE 2.91713225457E8
AT ITER 4585 NEW BEST:: SOT -2005411515 SOS 1726354510 HAS SOPS 1726354510 HAS SOUS 289986719 HAS SOUPS 289986719 WITH SCORE 2.9171307351E8
AT ITER 4586 NEW BEST:: SOT -2005446317 SOS 1726197896 HAS SOPS 1726197896 HAS SOUS 289986714 HAS SOUPS 289986714 WITH SCORE 2.91712911896E8
AT ITER 4598 NEW BEST:: SOT -2005465219 SOS 1726112831 HAS SOPS 1726112831 HAS SOUS 289986708 HAS SOUPS 289986708 WITH SCORE 2.91712820831E8
AT ITER 4604 NEW BEST:: SOT -2005484337 SOS 1726026799 HAS SOPS 1726026799 HAS SOUS 289986707 HAS SOUPS 289986707 WITH SCORE 2.91712733799E8
AT ITER 4643 NEW BEST:: SOT -2005534267 SOS 1725802108 HAS SOPS 1725802108 HAS SOUS 289986701 HAS SOUPS 289986701 WITH SCORE 2.91712503108E8
AT ITER 4655 NEW BEST:: SOT -2005569800 SOS 1725620879 HAS SOPS 1725620879 HAS SOUS 289972843 HAS SOUPS 289972843 WITH SCORE 2.91698463879E8
AT ITER 4664 NEW BEST:: SOT -2005576116 SOS 1725592453 HAS SOPS 1725592453 HAS SOUS 289972839 HAS SOUPS 289972839 WITH SCORE 2.91698431453E8
AT ITER 4678 NEW BEST:: SOT -2005581060 SOS 1725570204 HAS SOPS 1725570204 HAS SOUS 289972838 HAS SOUPS 289972838 WITH SCORE 2.91698408204E8
AT ITER 4689 NEW BEST:: SOT -2005625782 SOS 1725339260 HAS SOPS 1725339260 HAS SOUS 289956156 HAS SOUPS 289956156 WITH SCORE 2.9168149526E8
AT ITER 4690 NEW BEST:: SOT -2005642948 SOS 1725253430 HAS SOPS 1725253430 HAS SOUS 289947573 HAS SOUPS 289947573 WITH SCORE 2.9167282643E8
AT ITER 4696 NEW BEST:: SOT -2005691592 SOS 1725034530 HAS SOPS 1725034530 HAS SOUS 289947571 HAS SOUPS 289947571 WITH SCORE 2.9167260553E8
AT ITER 4701 NEW BEST:: SOT -2005728988 SOS 1724866245 HAS SOPS 1724866245 HAS SOUS 289947568 HAS SOUPS 289947568 WITH SCORE 2.91672434245E8
AT ITER 4714 NEW BEST:: SOT -2005732864 SOS 1724853321 HAS SOPS 1724853321 HAS SOUS 289946272 HAS SOUPS 289946272 WITH SCORE 2.91671125321E8
AT ITER 4734 NEW BEST:: SOT -2005744496 SOS 1724800974 HAS SOPS 1724800974 HAS SOUS 289946269 HAS SOUPS 289946269 WITH SCORE 2.91671069974E8
AT ITER 4749 NEW BEST:: SOT -2005769852 SOS 1724671748 HAS SOPS 1724671748 HAS SOUS 289939566 HAS SOUPS 289939566 WITH SCORE 2.91664237748E8
AT ITER 4783 NEW BEST:: SOT -2005847271 SOS 1724377839 HAS SOPS 1724377839 HAS SOUS 289939335 HAS SOUPS 289939335 WITH SCORE 2.91663712839E8
AT ITER 4796 NEW BEST:: SOT -2005862319 SOS 1724310120 HAS SOPS 1724310120 HAS SOUS 289939332 HAS SOUPS 289939332 WITH SCORE 2.9166364212E8
AT ITER 4808 NEW BEST:: SOT -2005873589 SOS 1724259398 HAS SOPS 1724259398 HAS SOUS 289939323 HAS SOUPS 289939323 WITH SCORE 2.91663582398E8
AT ITER 4827 NEW BEST:: SOT -2005883307 SOS 1724215666 HAS SOPS 1724215666 HAS SOUS 289939322 HAS SOUPS 289939322 WITH SCORE 2.91663537666E8
AT ITER 4836 NEW BEST:: SOT -2005894109 SOS 1724167054 HAS SOPS 1724167054 HAS SOUS 289939319 HAS SOUPS 289939319 WITH SCORE 2.91663486054E8
AT ITER 4837 NEW BEST:: SOT -2005923631 SOS 1724034204 HAS SOPS 1724034204 HAS SOUS 289939318 HAS SOUPS 289939318 WITH SCORE 2.91663352204E8
AT ITER 4865 NEW BEST:: SOT -2005927923 SOS 1724014884 HAS SOPS 1724014884 HAS SOUS 289939312 HAS SOUPS 289939312 WITH SCORE 2.91663326884E8
AT ITER 4895 NEW BEST:: SOT -2005940195 SOS 1723953965 HAS SOPS 1723953965 HAS SOUS 289933615 HAS SOUPS 289933615 WITH SCORE 2.91657568965E8
AT ITER 4905 NEW BEST:: SOT -2005951541 SOS 1723902907 HAS SOPS 1723902907 HAS SOUS 289933614 HAS SOUPS 289933614 WITH SCORE 2.91657516907E8
AT ITER 4917 NEW BEST:: SOT -2005991821 SOS 1723721642 HAS SOPS 1723721642 HAS SOUS 289933609 HAS SOUPS 289933609 WITH SCORE 2.91657330642E8
AT ITER 4920 NEW BEST:: SOT -2006010107 SOS 1723639352 HAS SOPS 1723639352 HAS SOUS 289933606 HAS SOUPS 289933606 WITH SCORE 2.91657245352E8
AT ITER 4924 NEW BEST:: SOT -2006011917 SOS 1723631200 HAS SOPS 1723631200 HAS SOUS 289933597 HAS SOUPS 289933597 WITH SCORE 2.916572282E8
AT ITER 4935 NEW BEST:: SOT -2006064357 SOS 1723395214 HAS SOPS 1723395214 HAS SOUS 289933591 HAS SOUPS 289933591 WITH SCORE 2.91656986214E8
AT ITER 4940 NEW BEST:: SOT -2006078849 SOS 1723329996 HAS SOPS 1723329996 HAS SOUS 289933587 HAS SOUPS 289933587 WITH SCORE 2.91656916996E8
AT ITER 4956 NEW BEST:: SOT -2006091941 SOS 1723271082 HAS SOPS 1723271082 HAS SOUS 289933587 HAS SOUPS 289933587 WITH SCORE 2.91656858082E8
AT ITER 4988 NEW BEST:: SOT -2006108000 SOS 1723164963 HAS SOPS 1723164963 HAS SOUS 289932035 HAS SOUPS 289932035 WITH SCORE 2.91655199963E8
AT ITER 5018 NEW BEST:: SOT -2006152456 SOS 1722964904 HAS SOPS 1722964904 HAS SOUS 289932026 HAS SOUPS 289932026 WITH SCORE 2.91654990904E8
AT ITER 5025 NEW BEST:: SOT -2006161710 SOS 1722923257 HAS SOPS 1722923257 HAS SOUS 289932022 HAS SOUPS 289932022 WITH SCORE 2.91654945257E8
AT ITER 5030 NEW BEST:: SOT -2006195464 SOS 1722771359 HAS SOPS 1722771359 HAS SOUS 289932017 HAS SOUPS 289932017 WITH SCORE 2.91654788359E8
AT ITER 5032 NEW BEST:: SOT -2006230442 SOS 1722613953 HAS SOPS 1722613953 HAS SOUS 289932012 HAS SOUPS 289932012 WITH SCORE 2.91654625953E8
AT ITER 5095 NEW BEST:: SOT -2006235476 SOS 1722588783 HAS SOPS 1722588783 HAS SOUS 289929495 HAS SOUPS 289929495 WITH SCORE 2.91652083783E8
AT ITER 5096 NEW BEST:: SOT -2006251802 SOS 1722515309 HAS SOPS 1722515309 HAS SOUS 289929486 HAS SOUPS 289929486 WITH SCORE 2.91652001309E8
AT ITER 5109 NEW BEST:: SOT -2006257026 SOS 1722491797 HAS SOPS 1722491797 HAS SOUS 289929482 HAS SOUPS 289929482 WITH SCORE 2.91651973797E8
AT ITER 5117 NEW BEST:: SOT -2006266820 SOS 1722443278 HAS SOPS 1722443278 HAS SOUS 289925036 HAS SOUPS 289925036 WITH SCORE 2.91647479278E8
AT ITER 5118 NEW BEST:: SOT -2006303312 SOS 1722279062 HAS SOPS 1722279062 HAS SOUS 289925034 HAS SOUPS 289925034 WITH SCORE 2.91647313062E8
AT ITER 5143 NEW BEST:: SOT -2006327689 SOS 1722158762 HAS SOPS 1722158762 HAS SOUS 289918221 HAS SOUPS 289918221 WITH SCORE 2.91640379762E8
AT ITER 5151 NEW BEST:: SOT -2006341685 SOS 1722095775 HAS SOPS 1722095775 HAS SOUS 289918216 HAS SOUPS 289918216 WITH SCORE 2.91640311775E8
AT ITER 5154 NEW BEST:: SOT -2006354969 SOS 1722035992 HAS SOPS 1722035992 HAS SOUS 289918211 HAS SOUPS 289918211 WITH SCORE 2.91640246992E8
AT ITER 5172 NEW BEST:: SOT -2006378223 SOS 1721931343 HAS SOPS 1721931343 HAS SOUS 289918205 HAS SOUPS 289918205 WITH SCORE 2.91640136343E8
AT ITER 5190 NEW BEST:: SOT -2006437995 SOS 1721662367 HAS SOPS 1721662367 HAS SOUS 289918203 HAS SOUPS 289918203 WITH SCORE 2.91639865367E8
AT ITER 5205 NEW BEST:: SOT -2006441381 SOS 1721647125 HAS SOPS 1721647125 HAS SOUS 289918198 HAS SOUPS 289918198 WITH SCORE 2.91639845125E8
AT ITER 5209 NEW BEST:: SOT -2006465313 SOS 1721539428 HAS SOPS 1721539428 HAS SOUS 289918195 HAS SOUPS 289918195 WITH SCORE 2.91639734428E8
AT ITER 5214 NEW BEST:: SOT -2006465313 SOS 1721539421 HAS SOPS 1721539421 HAS SOUS 289918186 HAS SOUPS 289918186 WITH SCORE 2.91639725421E8
AT ITER 5243 NEW BEST:: SOT -2006500859 SOS 1721379462 HAS SOPS 1721379462 HAS SOUS 289918184 HAS SOUPS 289918184 WITH SCORE 2.91639563462E8
AT ITER 5273 NEW BEST:: SOT -2006509715 SOS 1721339605 HAS SOPS 1721339605 HAS SOUS 289918179 HAS SOUPS 289918179 WITH SCORE 2.91639518605E8
AT ITER 5282 NEW BEST:: SOT -2006529833 SOS 1721239015 HAS SOPS 1721239015 HAS SOUS 289908120 HAS SOUPS 289908120 WITH SCORE 2.91629359015E8
AT ITER 5288 NEW BEST:: SOT -2006554467 SOS 1721128157 HAS SOPS 1721128157 HAS SOUS 289908115 HAS SOUPS 289908115 WITH SCORE 2.91629243157E8
AT ITER 5302 NEW BEST:: SOT -2006573300 SOS 1721033395 HAS SOPS 1721033395 HAS SOUS 289906258 HAS SOUPS 289906258 WITH SCORE 2.91627291395E8
AT ITER 5325 NEW BEST:: SOT -2006608432 SOS 1720875294 HAS SOPS 1720875294 HAS SOUS 289906249 HAS SOUPS 289906249 WITH SCORE 2.91627124294E8
AT ITER 5343 NEW BEST:: SOT -2006633630 SOS 1720761900 HAS SOPS 1720761900 HAS SOUS 289906246 HAS SOUPS 289906246 WITH SCORE 2.916270079E8
AT ITER 5349 NEW BEST:: SOT -2006687701 SOS 1720486459 HAS SOPS 1720486459 HAS SOUS 289884992 HAS SOUPS 289884992 WITH SCORE 2.91605478459E8
AT ITER 5351 NEW BEST:: SOT -2006702878 SOS 1720407058 HAS SOPS 1720407058 HAS SOUS 289881290 HAS SOUPS 289881290 WITH SCORE 2.91601697058E8
AT ITER 5357 NEW BEST:: SOT -2006712390 SOS 1720364253 HAS SOPS 1720364253 HAS SOUS 289881289 HAS SOUPS 289881289 WITH SCORE 2.91601653253E8
AT ITER 5360 NEW BEST:: SOT -2006757358 SOS 1720161891 HAS SOPS 1720161891 HAS SOUS 289881283 HAS SOUPS 289881283 WITH SCORE 2.91601444891E8
AT ITER 5362 NEW BEST:: SOT -2006773890 SOS 1720074658 HAS SOPS 1720074658 HAS SOUS 289879112 HAS SOUPS 289879112 WITH SCORE 2.91599186658E8
AT ITER 5366 NEW BEST:: SOT -2006809270 SOS 1719915441 HAS SOPS 1719915441 HAS SOUS 289879103 HAS SOUPS 289879103 WITH SCORE 2.91599018441E8
AT ITER 5397 NEW BEST:: SOT -2006829572 SOS 1719824075 HAS SOPS 1719824075 HAS SOUS 289879094 HAS SOUPS 289879094 WITH SCORE 2.91598918075E8
AT ITER 5416 NEW BEST:: SOT -2006865444 SOS 1719662646 HAS SOPS 1719662646 HAS SOUS 289879089 HAS SOUPS 289879089 WITH SCORE 2.91598751646E8
AT ITER 5419 NEW BEST:: SOT -2006872594 SOS 1719630466 HAS SOPS 1719630466 HAS SOUS 289879084 HAS SOUPS 289879084 WITH SCORE 2.91598714466E8
AT ITER 5425 NEW BEST:: SOT -2006903074 SOS 1719493299 HAS SOPS 1719493299 HAS SOUS 289879075 HAS SOUPS 289879075 WITH SCORE 2.91598568299E8
AT ITER 5438 NEW BEST:: SOT -2006941390 SOS 1719320871 HAS SOPS 1719320871 HAS SOUS 289879069 HAS SOUPS 289879069 WITH SCORE 2.91598389871E8
AT ITER 5447 NEW BEST:: SOT -2006955056 SOS 1719259372 HAS SOPS 1719259372 HAS SOUS 289879067 HAS SOUPS 289879067 WITH SCORE 2.91598326372E8
AT ITER 5514 NEW BEST:: SOT -2006969686 SOS 1719193532 HAS SOPS 1719193532 HAS SOUS 289879062 HAS SOUPS 289879062 WITH SCORE 2.91598255532E8
AT ITER 5521 NEW BEST:: SOT -2007014534 SOS 1718991709 HAS SOPS 1718991709 HAS SOUS 289879053 HAS SOUPS 289879053 WITH SCORE 2.91598044709E8
AT ITER 5522 NEW BEST:: SOT -2007030342 SOS 1718920567 HAS SOPS 1718920567 HAS SOUS 289879047 HAS SOUPS 289879047 WITH SCORE 2.91597967567E8
AT ITER 5529 NEW BEST:: SOT -2007052422 SOS 1718810419 HAS SOPS 1718810419 HAS SOUS 289868257 HAS SOUPS 289868257 WITH SCORE 2.91587067419E8
AT ITER 5532 NEW BEST:: SOT -2007062074 SOS 1718766984 HAS SOPS 1718766984 HAS SOUS 289868256 HAS SOUPS 289868256 WITH SCORE 2.91587022984E8
AT ITER 5535 NEW BEST:: SOT -2007072760 SOS 1718718891 HAS SOPS 1718718891 HAS SOUS 289868250 HAS SOUPS 289868250 WITH SCORE 2.91586968891E8
AT ITER 5566 NEW BEST:: SOT -2007079304 SOS 1718686171 HAS SOPS 1718686171 HAS SOUS 289864978 HAS SOUPS 289864978 WITH SCORE 2.91583664171E8
AT ITER 5579 NEW BEST:: SOT -2007079304 SOS 1718685648 HAS SOPS 1718685648 HAS SOUS 289864455 HAS SOUPS 289864455 WITH SCORE 2.91583140648E8
AT ITER 5581 NEW BEST:: SOT -2007086470 SOS 1718653401 HAS SOPS 1718653401 HAS SOUS 289864455 HAS SOUPS 289864455 WITH SCORE 2.91583108401E8
AT ITER 5595 NEW BEST:: SOT -2007114076 SOS 1718529173 HAS SOPS 1718529173 HAS SOUS 289864454 HAS SOUPS 289864454 WITH SCORE 2.91582983173E8
AT ITER 5598 NEW BEST:: SOT -2007144532 SOS 1718392116 HAS SOPS 1718392116 HAS SOUS 289864449 HAS SOUPS 289864449 WITH SCORE 2.91582841116E8
AT ITER 5610 NEW BEST:: SOT -2007146914 SOS 1718380206 HAS SOPS 1718380206 HAS SOUS 289863258 HAS SOUPS 289863258 WITH SCORE 2.91581638206E8
AT ITER 5615 NEW BEST:: SOT -2007180377 SOS 1718208282 HAS SOPS 1718208282 HAS SOUS 289853520 HAS SOUPS 289853520 WITH SCORE 2.91571728282E8
AT ITER 5624 NEW BEST:: SOT -2007216495 SOS 1718045744 HAS SOPS 1718045744 HAS SOUS 289853511 HAS SOUPS 289853511 WITH SCORE 2.91571556744E8
AT ITER 5625 NEW BEST:: SOT -2007277167 SOS 1717772717 HAS SOPS 1717772717 HAS SOUS 289853508 HAS SOUPS 289853508 WITH SCORE 2.91571280717E8
AT ITER 5626 NEW BEST:: SOT -2007277167 SOS 1717772710 HAS SOPS 1717772710 HAS SOUS 289853499 HAS SOUPS 289853499 WITH SCORE 2.9157127171E8
AT ITER 5650 NEW BEST:: SOT -2007374422 SOS 1717442145 HAS SOPS 1717442145 HAS SOUS 289825666 HAS SOUPS 289825666 WITH SCORE 2.91543108145E8
AT ITER 5678 NEW BEST:: SOT -2007418066 SOS 1717245744 HAS SOPS 1717245744 HAS SOUS 289825663 HAS SOUPS 289825663 WITH SCORE 2.91542908744E8
AT ITER 5700 NEW BEST:: SOT -2007428868 SOS 1717197131 HAS SOPS 1717197131 HAS SOUS 289825659 HAS SOUPS 289825659 WITH SCORE 2.91542856131E8
AT ITER 5703 NEW BEST:: SOT -2007429928 SOS 1717192358 HAS SOPS 1717192358 HAS SOUS 289825656 HAS SOUPS 289825656 WITH SCORE 2.91542848358E8
AT ITER 5707 NEW BEST:: SOT -2007469746 SOS 1717013176 HAS SOPS 1717013176 HAS SOUS 289825655 HAS SOUPS 289825655 WITH SCORE 2.91542668176E8
AT ITER 5715 NEW BEST:: SOT -2007476356 SOS 1716983430 HAS SOPS 1716983430 HAS SOUS 289825654 HAS SOUPS 289825654 WITH SCORE 2.9154263743E8
AT ITER 5717 NEW BEST:: SOT -2007520118 SOS 1716786499 HAS SOPS 1716786499 HAS SOUS 289825652 HAS SOUPS 289825652 WITH SCORE 2.91542438499E8
AT ITER 5724 NEW BEST:: SOT -2007540478 SOS 1716694879 HAS SOPS 1716694879 HAS SOUS 289825652 HAS SOUPS 289825652 WITH SCORE 2.91542346879E8
AT ITER 5729 NEW BEST:: SOT -2007591819 SOS 1716402873 HAS SOPS 1716402873 HAS SOUS 289820295 HAS SOUPS 289820295 WITH SCORE 2.91536697873E8
AT ITER 5733 NEW BEST:: SOT -2007635277 SOS 1716207311 HAS SOPS 1716207311 HAS SOUS 289820294 HAS SOUPS 289820294 WITH SCORE 2.91536501311E8
AT ITER 5734 NEW BEST:: SOT -2007649517 SOS 1716143226 HAS SOPS 1716143226 HAS SOUS 289820289 HAS SOUPS 289820289 WITH SCORE 2.91536432226E8
AT ITER 5742 NEW BEST:: SOT -2007672553 SOS 1716039557 HAS SOPS 1716039557 HAS SOUS 289820280 HAS SOUPS 289820280 WITH SCORE 2.91536319557E8
AT ITER 5744 NEW BEST:: SOT -2007686757 SOS 1715968680 HAS SOPS 1715968680 HAS SOUS 289813319 HAS SOUPS 289813319 WITH SCORE 2.9152928768E8
AT ITER 5782 NEW BEST:: SOT -2007728813 SOS 1715779425 HAS SOPS 1715779425 HAS SOUS 289813316 HAS SOUPS 289813316 WITH SCORE 2.91529095425E8
AT ITER 5792 NEW BEST:: SOT -2007774151 SOS 1715575401 HAS SOPS 1715575401 HAS SOUS 289813313 HAS SOUPS 289813313 WITH SCORE 2.91528888401E8
AT ITER 5796 NEW BEST:: SOT -2007774151 SOS 1715575397 HAS SOPS 1715575397 HAS SOUS 289813309 HAS SOUPS 289813309 WITH SCORE 2.91528884397E8
AT ITER 5804 NEW BEST:: SOT -2007785357 SOS 1715520541 HAS SOPS 1715520541 HAS SOUS 289808880 HAS SOUPS 289808880 WITH SCORE 2.91524400541E8
AT ITER 5821 NEW BEST:: SOT -2007795353 SOS 1715475554 HAS SOPS 1715475554 HAS SOUS 289808875 HAS SOUPS 289808875 WITH SCORE 2.91524350554E8
AT ITER 5841 NEW BEST:: SOT -2007825063 SOS 1715341855 HAS SOPS 1715341855 HAS SOUS 289808871 HAS SOUPS 289808871 WITH SCORE 2.91524212855E8
AT ITER 5845 NEW BEST:: SOT -2007838475 SOS 1715281500 HAS SOPS 1715281500 HAS SOUS 289808870 HAS SOUPS 289808870 WITH SCORE 2.915241515E8
AT ITER 5851 NEW BEST:: SOT -2007875322 SOS 1715062366 HAS SOPS 1715062366 HAS SOUS 289796263 HAS SOUPS 289796263 WITH SCORE 2.91511325366E8
AT ITER 5856 NEW BEST:: SOT -2007920410 SOS 1714859464 HAS SOPS 1714859464 HAS SOUS 289796257 HAS SOUPS 289796257 WITH SCORE 2.91511116464E8
AT ITER 5860 NEW BEST:: SOT -2007973826 SOS 1714619085 HAS SOPS 1714619085 HAS SOUS 289796248 HAS SOUPS 289796248 WITH SCORE 2.91510867085E8
AT ITER 5867 NEW BEST:: SOT -2007981574 SOS 1714584213 HAS SOPS 1714584213 HAS SOUS 289796242 HAS SOUPS 289796242 WITH SCORE 2.91510826213E8
AT ITER 5877 NEW BEST:: SOT -2008035674 SOS 1714313713 HAS SOPS 1714313713 HAS SOUS 289769192 HAS SOUPS 289769192 WITH SCORE 2.91483505713E8
AT ITER 5881 NEW BEST:: SOT -2008078286 SOS 1714121956 HAS SOPS 1714121956 HAS SOUS 289769189 HAS SOUPS 289769189 WITH SCORE 2.91483310956E8
AT ITER 5897 NEW BEST:: SOT -2008089428 SOS 1714071811 HAS SOPS 1714071811 HAS SOUS 289769183 HAS SOUPS 289769183 WITH SCORE 2.91483254811E8
AT ITER 5919 NEW BEST:: SOT -2008155246 SOS 1713775629 HAS SOPS 1713775629 HAS SOUS 289769182 HAS SOUPS 289769182 WITH SCORE 2.91482957629E8
AT ITER 5925 NEW BEST:: SOT -2008166358 SOS 1713725622 HAS SOPS 1713725622 HAS SOUS 289769179 HAS SOUPS 289769179 WITH SCORE 2.91482904622E8
AT ITER 5936 NEW BEST:: SOT -2008219788 SOS 1713485182 HAS SOPS 1713485182 HAS SOUS 289769174 HAS SOUPS 289769174 WITH SCORE 2.91482659182E8
AT ITER 5956 NEW BEST:: SOT -2008234326 SOS 1713419754 HAS SOPS 1713419754 HAS SOUS 289769165 HAS SOUPS 289769165 WITH SCORE 2.91482584754E8
AT ITER 5972 NEW BEST:: SOT -2008246926 SOS 1713363048 HAS SOPS 1713363048 HAS SOUS 289769159 HAS SOUPS 289769159 WITH SCORE 2.91482522048E8
AT ITER 5975 NEW BEST:: SOT -2008265448 SOS 1713279693 HAS SOPS 1713279693 HAS SOUS 289769153 HAS SOUPS 289769153 WITH SCORE 2.91482432693E8
AT ITER 6002 NEW BEST:: SOT -2008310044 SOS 1713079007 HAS SOPS 1713079007 HAS SOUS 289769149 HAS SOUPS 289769149 WITH SCORE 2.91482228007E8
AT ITER 6005 NEW BEST:: SOT -2008364514 SOS 1712833885 HAS SOPS 1712833885 HAS SOUS 289769140 HAS SOUPS 289769140 WITH SCORE 2.91481973885E8
AT ITER 6022 NEW BEST:: SOT -2008364872 SOS 1712832267 HAS SOPS 1712832267 HAS SOUS 289769131 HAS SOUPS 289769131 WITH SCORE 2.91481963267E8
AT ITER 6039 NEW BEST:: SOT -2008426972 SOS 1712552817 HAS SOPS 1712552817 HAS SOUS 289769131 HAS SOUPS 289769131 WITH SCORE 2.91481683817E8
AT ITER 6045 NEW BEST:: SOT -2008444562 SOS 1712465879 HAS SOPS 1712465879 HAS SOUS 289761348 HAS SOUPS 289761348 WITH SCORE 2.91473813879E8
AT ITER 6047 NEW BEST:: SOT -2008468040 SOS 1712360224 HAS SOPS 1712360224 HAS SOUS 289761344 HAS SOUPS 289761344 WITH SCORE 2.91473704224E8
AT ITER 6049 NEW BEST:: SOT -2008516634 SOS 1712141550 HAS SOPS 1712141550 HAS SOUS 289761343 HAS SOUPS 289761343 WITH SCORE 2.9147348455E8
AT ITER 6070 NEW BEST:: SOT -2008535938 SOS 1712054681 HAS SOPS 1712054681 HAS SOUS 289761342 HAS SOUPS 289761342 WITH SCORE 2.91473396681E8
AT ITER 6071 NEW BEST:: SOT -2008558264 SOS 1711954213 HAS SOPS 1711954213 HAS SOUS 289761341 HAS SOUPS 289761341 WITH SCORE 2.91473295213E8
AT ITER 6094 NEW BEST:: SOT -2008567884 SOS 1711910919 HAS SOPS 1711910919 HAS SOUS 289761337 HAS SOUPS 289761337 WITH SCORE 2.91473247919E8
AT ITER 6096 NEW BEST:: SOT -2008581620 SOS 1711849101 HAS SOPS 1711849101 HAS SOUS 289761331 HAS SOUPS 289761331 WITH SCORE 2.91473180101E8
AT ITER 6106 NEW BEST:: SOT -2008627194 SOS 1711644014 HAS SOPS 1711644014 HAS SOUS 289761327 HAS SOUPS 289761327 WITH SCORE 2.91472971014E8
AT ITER 6111 NEW BEST:: SOT -2008671042 SOS 1711446694 HAS SOPS 1711446694 HAS SOUS 289761323 HAS SOUPS 289761323 WITH SCORE 2.91472769694E8
AT ITER 6118 NEW BEST:: SOT -2008688678 SOS 1711367328 HAS SOPS 1711367328 HAS SOUS 289761319 HAS SOUPS 289761319 WITH SCORE 2.91472686328E8
AT ITER 6122 NEW BEST:: SOT -2008699886 SOS 1711302032 HAS SOPS 1711302032 HAS SOUS 289759423 HAS SOUPS 289759423 WITH SCORE 2.91470725032E8
AT ITER 6128 NEW BEST:: SOT -2008717656 SOS 1711222064 HAS SOPS 1711222064 HAS SOUS 289759420 HAS SOUPS 289759420 WITH SCORE 2.91470642064E8
AT ITER 6134 NEW BEST:: SOT -2008723346 SOS 1711196452 HAS SOPS 1711196452 HAS SOUS 289759411 HAS SOUPS 289759411 WITH SCORE 2.91470607452E8
AT ITER 6135 NEW BEST:: SOT -2008724548 SOS 1711191041 HAS SOPS 1711191041 HAS SOUS 289759409 HAS SOUPS 289759409 WITH SCORE 2.91470600041E8
AT ITER 6139 NEW BEST:: SOT -2008773790 SOS 1710969451 HAS SOPS 1710969451 HAS SOUS 289759408 HAS SOUPS 289759408 WITH SCORE 2.91470377451E8
AT ITER 6158 NEW BEST:: SOT -2008789034 SOS 1710900851 HAS SOPS 1710900851 HAS SOUS 289759406 HAS SOUPS 289759406 WITH SCORE 2.91470306851E8
AT ITER 6182 NEW BEST:: SOT -2008844838 SOS 1710649728 HAS SOPS 1710649728 HAS SOUS 289759401 HAS SOUPS 289759401 WITH SCORE 2.91470050728E8
AT ITER 6209 NEW BEST:: SOT -2008846348 SOS 1710642933 HAS SOPS 1710642933 HAS SOUS 289759401 HAS SOUPS 289759401 WITH SCORE 2.91470043933E8
AT ITER 6211 NEW BEST:: SOT -2008868334 SOS 1710533003 HAS SOPS 1710533003 HAS SOUS 289748408 HAS SOUPS 289748408 WITH SCORE 2.91458941003E8
AT ITER 6215 NEW BEST:: SOT -2008872358 SOS 1710514895 HAS SOPS 1710514895 HAS SOUS 289748408 HAS SOUPS 289748408 WITH SCORE 2.91458922895E8
AT ITER 6218 NEW BEST:: SOT -2008888010 SOS 1710444457 HAS SOPS 1710444457 HAS SOUS 289748404 HAS SOUPS 289748404 WITH SCORE 2.91458848457E8
AT ITER 6223 NEW BEST:: SOT -2008930052 SOS 1710255262 HAS SOPS 1710255262 HAS SOUS 289748398 HAS SOUPS 289748398 WITH SCORE 2.91458653262E8
AT ITER 6225 NEW BEST:: SOT -2008941984 SOS 1710195440 HAS SOPS 1710195440 HAS SOUS 289748010 HAS SOUPS 289748010 WITH SCORE 2.9145820544E8
AT ITER 6258 NEW BEST:: SOT -2008965124 SOS 1710091310 HAS SOPS 1710091310 HAS SOUS 289748010 HAS SOUPS 289748010 WITH SCORE 2.9145810131E8
AT ITER 6270 NEW BEST:: SOT -2008966698 SOS 1710084225 HAS SOPS 1710084225 HAS SOUS 289748008 HAS SOUPS 289748008 WITH SCORE 2.91458092225E8
AT ITER 6271 NEW BEST:: SOT -2008980812 SOS 1710020707 HAS SOPS 1710020707 HAS SOUS 289748003 HAS SOUPS 289748003 WITH SCORE 2.91458023707E8
AT ITER 6272 NEW BEST:: SOT -2009008314 SOS 1709896945 HAS SOPS 1709896945 HAS SOUS 289748000 HAS SOUPS 289748000 WITH SCORE 2.91457896945E8
AT ITER 6273 NEW BEST:: SOT -2009060093 SOS 1709632080 HAS SOPS 1709632080 HAS SOUS 289727211 HAS SOUPS 289727211 WITH SCORE 2.9143684308E8
AT ITER 6277 NEW BEST:: SOT -2009082521 SOS 1709531148 HAS SOPS 1709531148 HAS SOUS 289727205 HAS SOUPS 289727205 WITH SCORE 2.91436736148E8
AT ITER 6287 NEW BEST:: SOT -2009114181 SOS 1709388673 HAS SOPS 1709388673 HAS SOUS 289727200 HAS SOUPS 289727200 WITH SCORE 2.91436588673E8
AT ITER 6345 NEW BEST:: SOT -2009124803 SOS 1709340872 HAS SOPS 1709340872 HAS SOUS 289727198 HAS SOUPS 289727198 WITH SCORE 2.91436538872E8
AT ITER 6348 NEW BEST:: SOT -2009173633 SOS 1709121135 HAS SOPS 1709121135 HAS SOUS 289727196 HAS SOUPS 289727196 WITH SCORE 2.91436317135E8
AT ITER 6350 NEW BEST:: SOT -2009193059 SOS 1709024005 HAS SOPS 1709024005 HAS SOUS 289717481 HAS SOUPS 289717481 WITH SCORE 2.91426505005E8
AT ITER 6358 NEW BEST:: SOT -2009202871 SOS 1708979851 HAS SOPS 1708979851 HAS SOUS 289717481 HAS SOUPS 289717481 WITH SCORE 2.91426460851E8
AT ITER 6360 NEW BEST:: SOT -2009264817 SOS 1708701087 HAS SOPS 1708701087 HAS SOUS 289717472 HAS SOUPS 289717472 WITH SCORE 2.91426173087E8
AT ITER 6361 NEW BEST:: SOT -2009305767 SOS 1708516812 HAS SOPS 1708516812 HAS SOUS 289717472 HAS SOUPS 289717472 WITH SCORE 2.91425988812E8
AT ITER 6362 NEW BEST:: SOT -2009307918 SOS 1708509638 HAS SOPS 1708509638 HAS SOUS 289716751 HAS SOUPS 289716751 WITH SCORE 2.91425260638E8
AT ITER 6388 NEW BEST:: SOT -2009332504 SOS 1708399001 HAS SOPS 1708399001 HAS SOUS 289716751 HAS SOUPS 289716751 WITH SCORE 2.91425150001E8
AT ITER 6408 NEW BEST:: SOT -2009335810 SOS 1708384122 HAS SOPS 1708384122 HAS SOUS 289716749 HAS SOUPS 289716749 WITH SCORE 2.91425133122E8
AT ITER 6418 NEW BEST:: SOT -2009348046 SOS 1708329060 HAS SOPS 1708329060 HAS SOUS 289716749 HAS SOUPS 289716749 WITH SCORE 2.9142507806E8
AT ITER 6435 NEW BEST:: SOT -2009370522 SOS 1708227911 HAS SOPS 1708227911 HAS SOUS 289716740 HAS SOUPS 289716740 WITH SCORE 2.91424967911E8
AT ITER 6441 NEW BEST:: SOT -2009383368 SOS 1708170101 HAS SOPS 1708170101 HAS SOUS 289716737 HAS SOUPS 289716737 WITH SCORE 2.91424907101E8
AT ITER 6476 NEW BEST:: SOT -2009410068 SOS 1708033957 HAS SOPS 1708033957 HAS SOUS 289708273 HAS SOUPS 289708273 WITH SCORE 2.91416306957E8
AT ITER 6482 NEW BEST:: SOT -2009442852 SOS 1707886426 HAS SOPS 1707886426 HAS SOUS 289708270 HAS SOUPS 289708270 WITH SCORE 2.91416156426E8
AT ITER 6504 NEW BEST:: SOT -2009442852 SOS 1707886425 HAS SOPS 1707886425 HAS SOUS 289708269 HAS SOUPS 289708269 WITH SCORE 2.91416155425E8
AT ITER 6505 NEW BEST:: SOT -2009487328 SOS 1707686278 HAS SOPS 1707686278 HAS SOUS 289708264 HAS SOUPS 289708264 WITH SCORE 2.91415950278E8
AT ITER 6511 NEW BEST:: SOT -2009513804 SOS 1707567130 HAS SOPS 1707567130 HAS SOUS 289708258 HAS SOUPS 289708258 WITH SCORE 2.9141582513E8
AT ITER 6539 NEW BEST:: SOT -2009538982 SOS 1707453824 HAS SOPS 1707453824 HAS SOUS 289708253 HAS SOUPS 289708253 WITH SCORE 2.91415706824E8
AT ITER 6551 NEW BEST:: SOT -2009577600 SOS 1707280038 HAS SOPS 1707280038 HAS SOUS 289708248 HAS SOUPS 289708248 WITH SCORE 2.91415528038E8
AT ITER 6553 NEW BEST:: SOT -2009608462 SOS 1707141157 HAS SOPS 1707141157 HAS SOUS 289708246 HAS SOUPS 289708246 WITH SCORE 2.91415387157E8
AT ITER 6557 NEW BEST:: SOT -2009629276 SOS 1707047491 HAS SOPS 1707047491 HAS SOUS 289708243 HAS SOUPS 289708243 WITH SCORE 2.91415290491E8
AT ITER 6561 NEW BEST:: SOT -2009639206 SOS 1707002803 HAS SOPS 1707002803 HAS SOUS 289708240 HAS SOUPS 289708240 WITH SCORE 2.91415242803E8
AT ITER 6574 NEW BEST:: SOT -2009683824 SOS 1706802020 HAS SOPS 1706802020 HAS SOUS 289708238 HAS SOUPS 289708238 WITH SCORE 2.9141504002E8
AT ITER 6587 NEW BEST:: SOT -2009682227 SOS 1706813199 HAS SOPS 1706813199 HAS SOUS 289706641 HAS SOUPS 289706641 WITH SCORE 2.91413454199E8
AT ITER 6596 NEW BEST:: SOT -2009706852 SOS 1706685603 HAS SOPS 1706685603 HAS SOUS 289703411 HAS SOUPS 289703411 WITH SCORE 2.91410096603E8
AT ITER 6599 NEW BEST:: SOT -2009736010 SOS 1706554385 HAS SOPS 1706554385 HAS SOUS 289703402 HAS SOUPS 289703402 WITH SCORE 2.91409956385E8
AT ITER 6601 NEW BEST:: SOT -2009736010 SOS 1706554384 HAS SOPS 1706554384 HAS SOUS 289703401 HAS SOUPS 289703401 WITH SCORE 2.91409955384E8
AT ITER 6606 NEW BEST:: SOT -2009776692 SOS 1706371313 HAS SOPS 1706371313 HAS SOUS 289703399 HAS SOUPS 289703399 WITH SCORE 2.91409770313E8
AT ITER 6614 NEW BEST:: SOT -2009832084 SOS 1706095332 HAS SOPS 1706095332 HAS SOUS 289676680 HAS SOUPS 289676680 WITH SCORE 2.91382775332E8
AT ITER 6616 NEW BEST:: SOT -2009853440 SOS 1705999227 HAS SOPS 1705999227 HAS SOUS 289676677 HAS SOUPS 289676677 WITH SCORE 2.91382676227E8
AT ITER 6645 NEW BEST:: SOT -2009867164 SOS 1705937465 HAS SOPS 1705937465 HAS SOUS 289676673 HAS SOUPS 289676673 WITH SCORE 2.91382610465E8
AT ITER 6648 NEW BEST:: SOT -2009904860 SOS 1705767827 HAS SOPS 1705767827 HAS SOUS 289676667 HAS SOUPS 289676667 WITH SCORE 2.91382434827E8
AT ITER 6649 NEW BEST:: SOT -2009929252 SOS 1705658063 HAS SOPS 1705658063 HAS SOUS 289676667 HAS SOUPS 289676667 WITH SCORE 2.91382325063E8
AT ITER 6673 NEW BEST:: SOT -2009960534 SOS 1705499504 HAS SOPS 1705499504 HAS SOUS 289664638 HAS SOUPS 289664638 WITH SCORE 2.91370137504E8
AT ITER 6710 NEW BEST:: SOT -2009973050 SOS 1705443179 HAS SOPS 1705443179 HAS SOUS 289664635 HAS SOUPS 289664635 WITH SCORE 2.91370078179E8
AT ITER 6756 NEW BEST:: SOT -2009978616 SOS 1705418132 HAS SOPS 1705418132 HAS SOUS 289664635 HAS SOUPS 289664635 WITH SCORE 2.91370053132E8
AT ITER 6761 NEW BEST:: SOT -2010017904 SOS 1705241330 HAS SOPS 1705241330 HAS SOUS 289664629 HAS SOUPS 289664629 WITH SCORE 2.9136987033E8
AT ITER 6773 NEW BEST:: SOT -2010023844 SOS 1705214597 HAS SOPS 1705214597 HAS SOUS 289664626 HAS SOUPS 289664626 WITH SCORE 2.91369840597E8
AT ITER 6775 NEW BEST:: SOT -2010045053 SOS 1705110206 HAS SOPS 1705110206 HAS SOUS 289658815 HAS SOUPS 289658815 WITH SCORE 2.91363925206E8
AT ITER 6787 NEW BEST:: SOT -2010056007 SOS 1705060906 HAS SOPS 1705060906 HAS SOUS 289658806 HAS SOUPS 289658806 WITH SCORE 2.91363866906E8
AT ITER 6796 NEW BEST:: SOT -2010118765 SOS 1704778495 HAS SOPS 1704778495 HAS SOUS 289658806 HAS SOUPS 289658806 WITH SCORE 2.91363584495E8
AT ITER 6804 NEW BEST:: SOT -2010166275 SOS 1704564700 HAS SOPS 1704564700 HAS SOUS 289658806 HAS SOUPS 289658806 WITH SCORE 2.913633707E8
AT ITER 6808 NEW BEST:: SOT -2010202555 SOS 1704383300 HAS SOPS 1704383300 HAS SOUS 289640666 HAS SOUPS 289640666 WITH SCORE 2.913450493E8
AT ITER 6811 NEW BEST:: SOT -2010240893 SOS 1704210775 HAS SOPS 1704210775 HAS SOUS 289640662 HAS SOUPS 289640662 WITH SCORE 2.91344872775E8
AT ITER 6825 NEW BEST:: SOT -2010262957 SOS 1704111487 HAS SOPS 1704111487 HAS SOUS 289640662 HAS SOUPS 289640662 WITH SCORE 2.91344773487E8
AT ITER 6827 NEW BEST:: SOT -2010266770 SOS 1704098772 HAS SOPS 1704098772 HAS SOUS 289639386 HAS SOUPS 289639386 WITH SCORE 2.91343484772E8
AT ITER 6851 NEW BEST:: SOT -2010266770 SOS 1704098765 HAS SOPS 1704098765 HAS SOUS 289639377 HAS SOUPS 289639377 WITH SCORE 2.91343475765E8
AT ITER 6868 NEW BEST:: SOT -2010322248 SOS 1703849113 HAS SOPS 1703849113 HAS SOUS 289639376 HAS SOUPS 289639376 WITH SCORE 2.91343225113E8
AT ITER 6871 NEW BEST:: SOT -2010324240 SOS 1703840149 HAS SOPS 1703840149 HAS SOUS 289639376 HAS SOUPS 289639376 WITH SCORE 2.91343216149E8
AT ITER 6889 NEW BEST:: SOT -2010327802 SOS 1703824118 HAS SOPS 1703824118 HAS SOUS 289639374 HAS SOUPS 289639374 WITH SCORE 2.91343198118E8
AT ITER 6892 NEW BEST:: SOT -2010420116 SOS 1703499397 HAS SOPS 1703499397 HAS SOUS 289629183 HAS SOUPS 289629183 WITH SCORE 2.91332682397E8
AT ITER 6920 NEW BEST:: SOT -2010469300 SOS 1703278067 HAS SOPS 1703278067 HAS SOUS 289629181 HAS SOUPS 289629181 WITH SCORE 2.91332459067E8
AT ITER 6930 NEW BEST:: SOT -2010484382 SOS 1703210191 HAS SOPS 1703210191 HAS SOUS 289629172 HAS SOUPS 289629172 WITH SCORE 2.91332382191E8
AT ITER 6960 NEW BEST:: SOT -2010486983 SOS 1703201520 HAS SOPS 1703201520 HAS SOUS 289628304 HAS SOUPS 289628304 WITH SCORE 2.9133150552E8
AT ITER 6962 NEW BEST:: SOT -2010543981 SOS 1702917064 HAS SOPS 1702917064 HAS SOUS 289600339 HAS SOUPS 289600339 WITH SCORE 2.91303256064E8
AT ITER 6963 NEW BEST:: SOT -2010584143 SOS 1702736330 HAS SOPS 1702736330 HAS SOUS 289600334 HAS SOUPS 289600334 WITH SCORE 2.9130307033E8
AT ITER 6974 NEW BEST:: SOT -2010593323 SOS 1702685327 HAS SOPS 1702685327 HAS SOUS 289599188 HAS SOUPS 289599188 WITH SCORE 2.91301873327E8
AT ITER 6979 NEW BEST:: SOT -2010614171 SOS 1702591507 HAS SOPS 1702591507 HAS SOUS 289599184 HAS SOUPS 289599184 WITH SCORE 2.91301775507E8
AT ITER 6980 NEW BEST:: SOT -2010666705 SOS 1702355098 HAS SOPS 1702355098 HAS SOUS 289599178 HAS SOUPS 289599178 WITH SCORE 2.91301533098E8
AT ITER 6989 NEW BEST:: SOT -2010687271 SOS 1702262546 HAS SOPS 1702262546 HAS SOUS 289599173 HAS SOUPS 289599173 WITH SCORE 2.91301435546E8
AT ITER 6993 NEW BEST:: SOT -2010687987 SOS 1702265410 HAS SOPS 1702265410 HAS SOUS 289599163 HAS SOUPS 289599163 WITH SCORE 2.9130142841E8
AT ITER 7011 NEW BEST:: SOT -2010711859 SOS 1702157984 HAS SOPS 1702157984 HAS SOUS 289599161 HAS SOUPS 289599161 WITH SCORE 2.91301318984E8
AT ITER 7022 NEW BEST:: SOT -2010723101 SOS 1702107392 HAS SOPS 1702107392 HAS SOUS 289599158 HAS SOUPS 289599158 WITH SCORE 2.91301265392E8
AT ITER 7026 NEW BEST:: SOT -2010734902 SOS 1702049461 HAS SOPS 1702049461 HAS SOUS 289598080 HAS SOUPS 289598080 WITH SCORE 2.91300129461E8
AT ITER 7032 NEW BEST:: SOT -2010827484 SOS 1701726797 HAS SOPS 1701726797 HAS SOUS 289584764 HAS SOUPS 289584764 WITH SCORE 2.91286490797E8
AT ITER 7033 NEW BEST:: SOT -2010845350 SOS 1701646397 HAS SOPS 1701646397 HAS SOUS 289584761 HAS SOUPS 289584761 WITH SCORE 2.91286407397E8
AT ITER 7055 NEW BEST:: SOT -2010886372 SOS 1701441690 HAS SOPS 1701441690 HAS SOUS 289564653 HAS SOUPS 289564653 WITH SCORE 2.9126609469E8
AT ITER 7088 NEW BEST:: SOT -2010898316 SOS 1701387940 HAS SOPS 1701387940 HAS SOUS 289564651 HAS SOUPS 289564651 WITH SCORE 2.9126603894E8
AT ITER 7091 NEW BEST:: SOT -2010923446 SOS 1701274851 HAS SOPS 1701274851 HAS SOUS 289564647 HAS SOUPS 289564647 WITH SCORE 2.91265921851E8
AT ITER 7092 NEW BEST:: SOT -2010931630 SOS 1701238019 HAS SOPS 1701238019 HAS SOUS 289564643 HAS SOUPS 289564643 WITH SCORE 2.91265881019E8
AT ITER 7100 NEW BEST:: SOT -2010957614 SOS 1701121088 HAS SOPS 1701121088 HAS SOUS 289564640 HAS SOUPS 289564640 WITH SCORE 2.91265761088E8
AT ITER 7126 NEW BEST:: SOT -2010992938 SOS 1700962123 HAS SOPS 1700962123 HAS SOUS 289564631 HAS SOUPS 289564631 WITH SCORE 2.91265593123E8
AT ITER 7130 NEW BEST:: SOT -2011027595 SOS 1700782341 HAS SOPS 1700782341 HAS SOUS 289552828 HAS SOUPS 289552828 WITH SCORE 2.91253610341E8
AT ITER 7133 NEW BEST:: SOT -2011060483 SOS 1700617901 HAS SOPS 1700617901 HAS SOUS 289536384 HAS SOUPS 289536384 WITH SCORE 2.91237001901E8
AT ITER 7136 NEW BEST:: SOT -2011082857 SOS 1700509970 HAS SOPS 1700509970 HAS SOUS 289529136 HAS SOUPS 289529136 WITH SCORE 2.9122964597E8
AT ITER 7144 NEW BEST:: SOT -2011117645 SOS 1700353417 HAS SOPS 1700353417 HAS SOUS 289529127 HAS SOUPS 289529127 WITH SCORE 2.91229480417E8
AT ITER 7146 NEW BEST:: SOT -2011182033 SOS 1700063669 HAS SOPS 1700063669 HAS SOUS 289529125 HAS SOUPS 289529125 WITH SCORE 2.91229188669E8
AT ITER 7152 NEW BEST:: SOT -2011182033 SOS 1700063662 HAS SOPS 1700063662 HAS SOUS 289529116 HAS SOUPS 289529116 WITH SCORE 2.91229179662E8
AT ITER 7167 NEW BEST:: SOT -2011229029 SOS 1699823701 HAS SOPS 1699823701 HAS SOUS 289511193 HAS SOUPS 289511193 WITH SCORE 2.91211016701E8
AT ITER 7175 NEW BEST:: SOT -2011268715 SOS 1699645112 HAS SOPS 1699645112 HAS SOUS 289511191 HAS SOUPS 289511191 WITH SCORE 2.91210836112E8
AT ITER 7187 NEW BEST:: SOT -2011291953 SOS 1699540540 HAS SOPS 1699540540 HAS SOUS 289511190 HAS SOUPS 289511190 WITH SCORE 2.9121073054E8
AT ITER 7192 NEW BEST:: SOT -2011291953 SOS 1699538990 HAS SOPS 1699538990 HAS SOUS 289509640 HAS SOUPS 289509640 WITH SCORE 2.9120917899E8
AT ITER 7204 NEW BEST:: SOT -2011291953 SOS 1699534386 HAS SOPS 1699534386 HAS SOUS 289505036 HAS SOUPS 289505036 WITH SCORE 2.91204570386E8
AT ITER 7208 NEW BEST:: SOT -2011333983 SOS 1699345245 HAS SOPS 1699345245 HAS SOUS 289505030 HAS SOUPS 289505030 WITH SCORE 2.91204375245E8
AT ITER 7212 NEW BEST:: SOT -2011389047 SOS 1699097454 HAS SOPS 1699097454 HAS SOUS 289505027 HAS SOUPS 289505027 WITH SCORE 2.91204124454E8
AT ITER 7226 NEW BEST:: SOT -2011401818 SOS 1699029079 HAS SOPS 1699029079 HAS SOUS 289502217 HAS SOUPS 289502217 WITH SCORE 2.91201246079E8
AT ITER 7230 NEW BEST:: SOT -2011500118 SOS 1698696915 HAS SOPS 1698696915 HAS SOUS 289470734 HAS SOUPS 289470734 WITH SCORE 2.91169430915E8
AT ITER 7239 NEW BEST:: SOT -2011544860 SOS 1698495574 HAS SOPS 1698495574 HAS SOUS 289470732 HAS SOUPS 289470732 WITH SCORE 2.91169227574E8
AT ITER 7251 NEW BEST:: SOT -2011582242 SOS 1698327349 HAS SOPS 1698327349 HAS SOUS 289470726 HAS SOUPS 289470726 WITH SCORE 2.91169053349E8
AT ITER 7252 NEW BEST:: SOT -2011610204 SOS 1698201514 HAS SOPS 1698201514 HAS SOUS 289470720 HAS SOUPS 289470720 WITH SCORE 2.91168921514E8
AT ITER 7256 NEW BEST:: SOT -2011631872 SOS 1698104004 HAS SOPS 1698104004 HAS SOUS 289470716 HAS SOUPS 289470716 WITH SCORE 2.91168820004E8
AT ITER 7258 NEW BEST:: SOT -2011675244 SOS 1697908823 HAS SOPS 1697908823 HAS SOUS 289470707 HAS SOUPS 289470707 WITH SCORE 2.91168615823E8
AT ITER 7263 NEW BEST:: SOT -2011698884 SOS 1697830022 HAS SOPS 1697830022 HAS SOUS 289462826 HAS SOUPS 289462826 WITH SCORE 2.91160656022E8
AT ITER 7276 NEW BEST:: SOT -2011751100 SOS 1697595048 HAS SOPS 1697595048 HAS SOUS 289462824 HAS SOUPS 289462824 WITH SCORE 2.91160419048E8
AT ITER 7280 NEW BEST:: SOT -2011758610 SOS 1697561251 HAS SOPS 1697561251 HAS SOUS 289462822 HAS SOUPS 289462822 WITH SCORE 2.91160383251E8
AT ITER 7287 NEW BEST:: SOT -2011836223 SOS 1697302535 HAS SOPS 1697302535 HAS SOUS 289436945 HAS SOUPS 289436945 WITH SCORE 2.91134247535E8
AT ITER 7319 NEW BEST:: SOT -2011836223 SOS 1697302534 HAS SOPS 1697302534 HAS SOUS 289436944 HAS SOUPS 289436944 WITH SCORE 2.91134246534E8
AT ITER 7367 NEW BEST:: SOT -2011874175 SOS 1697131750 HAS SOPS 1697131750 HAS SOUS 289436944 HAS SOUPS 289436944 WITH SCORE 2.9113407575E8
AT ITER 7370 NEW BEST:: SOT -2011938433 SOS 1696842587 HAS SOPS 1696842587 HAS SOUS 289436942 HAS SOUPS 289436942 WITH SCORE 2.91133784587E8
AT ITER 7381 NEW BEST:: SOT -2011941867 SOS 1696827134 HAS SOPS 1696827134 HAS SOUS 289436942 HAS SOUPS 289436942 WITH SCORE 2.91133769134E8
AT ITER 7385 NEW BEST:: SOT -2011961819 SOS 1696737348 HAS SOPS 1696737348 HAS SOUS 289436940 HAS SOUPS 289436940 WITH SCORE 2.91133677348E8
AT ITER 7394 NEW BEST:: SOT -2011999117 SOS 1696569500 HAS SOPS 1696569500 HAS SOUS 289436931 HAS SOUPS 289436931 WITH SCORE 2.911335005E8
AT ITER 7398 NEW BEST:: SOT -2011999117 SOS 1696569497 HAS SOPS 1696569497 HAS SOUS 289436928 HAS SOUPS 289436928 WITH SCORE 2.91133497497E8
AT ITER 7405 NEW BEST:: SOT -2012008149 SOS 1696528847 HAS SOPS 1696528847 HAS SOUS 289436922 HAS SOUPS 289436922 WITH SCORE 2.91133450847E8
AT ITER 7456 NEW BEST:: SOT -2012047831 SOS 1696350274 HAS SOPS 1696350274 HAS SOUS 289436918 HAS SOUPS 289436918 WITH SCORE 2.91133268274E8
AT ITER 7468 NEW BEST:: SOT -2012068919 SOS 1696255376 HAS SOPS 1696255376 HAS SOUS 289436916 HAS SOUPS 289436916 WITH SCORE 2.91133171376E8
AT ITER 7469 NEW BEST:: SOT -2012115908 SOS 1696015969 HAS SOPS 1696015969 HAS SOUS 289417741 HAS SOUPS 289417741 WITH SCORE 2.91113756969E8
AT ITER 7477 NEW BEST:: SOT -2012178659 SOS 1695695674 HAS SOPS 1695695674 HAS SOUS 289393948 HAS SOUPS 289393948 WITH SCORE 2.91089643674E8
AT ITER 7488 NEW BEST:: SOT -2012196017 SOS 1695617556 HAS SOPS 1695617556 HAS SOUS 289393939 HAS SOUPS 289393939 WITH SCORE 2.91089556556E8
AT ITER 7499 NEW BEST:: SOT -2012245321 SOS 1695395682 HAS SOPS 1695395682 HAS SOUS 289393933 HAS SOUPS 289393933 WITH SCORE 2.91089328682E8
AT ITER 7500 NEW BEST:: SOT -2012286977 SOS 1695161986 HAS SOPS 1695161986 HAS SOUS 289379481 HAS SOUPS 289379481 WITH SCORE 2.91074642986E8
AT ITER 7502 NEW BEST:: SOT -2012384611 SOS 1694828311 HAS SOPS 1694828311 HAS SOUS 289349286 HAS SOUPS 289349286 WITH SCORE 2.91044114311E8
AT ITER 7504 NEW BEST:: SOT -2012384611 SOS 1694828307 HAS SOPS 1694828307 HAS SOUS 289349282 HAS SOUPS 289349282 WITH SCORE 2.91044110307E8
AT ITER 7519 NEW BEST:: SOT -2012391091 SOS 1694795907 HAS SOPS 1694795907 HAS SOUS 289346042 HAS SOUPS 289346042 WITH SCORE 2.91040837907E8
AT ITER 7562 NEW BEST:: SOT -2012398013 SOS 1694764752 HAS SOPS 1694764752 HAS SOUS 289346036 HAS SOUPS 289346036 WITH SCORE 2.91040800752E8
AT ITER 7575 NEW BEST:: SOT -2012425451 SOS 1694641276 HAS SOPS 1694641276 HAS SOUS 289346031 HAS SOUPS 289346031 WITH SCORE 2.91040672276E8
AT ITER 7578 NEW BEST:: SOT -2012470471 SOS 1694406463 HAS SOPS 1694406463 HAS SOUS 289332590 HAS SOUPS 289332590 WITH SCORE 2.91026996463E8
AT ITER 7604 NEW BEST:: SOT -2012495449 SOS 1694282547 HAS SOPS 1694282547 HAS SOUS 289321073 HAS SOUPS 289321073 WITH SCORE 2.91015355547E8
AT ITER 7607 NEW BEST:: SOT -2012514265 SOS 1694185514 HAS SOPS 1694185514 HAS SOUS 289318176 HAS SOUPS 289318176 WITH SCORE 2.91012361514E8
AT ITER 7609 NEW BEST:: SOT -2012565761 SOS 1693953775 HAS SOPS 1693953775 HAS SOUS 289318167 HAS SOUPS 289318167 WITH SCORE 2.91012120775E8
AT ITER 7625 NEW BEST:: SOT -2012593269 SOS 1693829989 HAS SOPS 1693829989 HAS SOUS 289318167 HAS SOUPS 289318167 WITH SCORE 2.91011996989E8
AT ITER 7630 NEW BEST:: SOT -2012619273 SOS 1693712971 HAS SOPS 1693712971 HAS SOUS 289318167 HAS SOUPS 289318167 WITH SCORE 2.91011879971E8
AT ITER 7634 NEW BEST:: SOT -2012658289 SOS 1693537395 HAS SOPS 1693537395 HAS SOUS 289318163 HAS SOUPS 289318163 WITH SCORE 2.91011700395E8
AT ITER 7644 NEW BEST:: SOT -2012675781 SOS 1693458679 HAS SOPS 1693458679 HAS SOUS 289318161 HAS SOUPS 289318161 WITH SCORE 2.91011619679E8
AT ITER 7653 NEW BEST:: SOT -2012695763 SOS 1693368754 HAS SOPS 1693368754 HAS SOUS 289318155 HAS SOUPS 289318155 WITH SCORE 2.91011523754E8
AT ITER 7667 NEW BEST:: SOT -2012759951 SOS 1693079901 HAS SOPS 1693079901 HAS SOUS 289318146 HAS SOUPS 289318146 WITH SCORE 2.91011225901E8
AT ITER 7670 NEW BEST:: SOT -2012802827 SOS 1692886954 HAS SOPS 1692886954 HAS SOUS 289318141 HAS SOUPS 289318141 WITH SCORE 2.91011027954E8
AT ITER 7676 NEW BEST:: SOT -2012824581 SOS 1692788458 HAS SOPS 1692788458 HAS SOUS 289317538 HAS SOUPS 289317538 WITH SCORE 2.91010326458E8
AT ITER 7682 NEW BEST:: SOT -2012836973 SOS 1692732690 HAS SOPS 1692732690 HAS SOUS 289317534 HAS SOUPS 289317534 WITH SCORE 2.9101026669E8
AT ITER 7684 NEW BEST:: SOT -2012889165 SOS 1692465900 HAS SOPS 1692465900 HAS SOUS 289296283 HAS SOUPS 289296283 WITH SCORE 2.909887489E8
AT ITER 7687 NEW BEST:: SOT -2012910476 SOS 1692352793 HAS SOPS 1692352793 HAS SOUS 289292064 HAS SOUPS 289292064 WITH SCORE 2.90984416793E8
AT ITER 7693 NEW BEST:: SOT -2012928396 SOS 1692272152 HAS SOPS 1692272152 HAS SOUS 289292063 HAS SOUPS 289292063 WITH SCORE 2.90984335152E8
AT ITER 7698 NEW BEST:: SOT -2012945942 SOS 1692185571 HAS SOPS 1692185571 HAS SOUS 289284439 HAS SOUPS 289284439 WITH SCORE 2.90976624571E8
AT ITER 7720 NEW BEST:: SOT -2012998174 SOS 1691950522 HAS SOPS 1691950522 HAS SOUS 289284434 HAS SOUPS 289284434 WITH SCORE 2.90976384522E8
AT ITER 7721 NEW BEST:: SOT -2012998174 SOS 1691950517 HAS SOPS 1691950517 HAS SOUS 289284429 HAS SOUPS 289284429 WITH SCORE 2.90976379517E8
AT ITER 7732 NEW BEST:: SOT -2013044998 SOS 1691739802 HAS SOPS 1691739802 HAS SOUS 289284420 HAS SOUPS 289284420 WITH SCORE 2.90976159802E8
AT ITER 7738 NEW BEST:: SOT -2013096548 SOS 1691507821 HAS SOPS 1691507821 HAS SOUS 289284414 HAS SOUPS 289284414 WITH SCORE 2.90975921821E8
AT ITER 7757 NEW BEST:: SOT -2013141636 SOS 1691304919 HAS SOPS 1691304919 HAS SOUS 289284408 HAS SOUPS 289284408 WITH SCORE 2.90975712919E8
AT ITER 7797 NEW BEST:: SOT -2013205018 SOS 1691019700 HAS SOPS 1691019700 HAS SOUS 289284408 HAS SOUPS 289284408 WITH SCORE 2.909754277E8
AT ITER 7801 NEW BEST:: SOT -2013219684 SOS 1690953702 HAS SOPS 1690953702 HAS SOUS 289284407 HAS SOUPS 289284407 WITH SCORE 2.90975360702E8
AT ITER 7814 NEW BEST:: SOT -2013229130 SOS 1690911188 HAS SOPS 1690911188 HAS SOUS 289284398 HAS SOUPS 289284398 WITH SCORE 2.90975309188E8
AT ITER 7815 NEW BEST:: SOT -2013249612 SOS 1690819017 HAS SOPS 1690819017 HAS SOUS 289284396 HAS SOUPS 289284396 WITH SCORE 2.90975215017E8
AT ITER 7819 NEW BEST:: SOT -2013295472 SOS 1690612642 HAS SOPS 1690612642 HAS SOUS 289284391 HAS SOUPS 289284391 WITH SCORE 2.90975003642E8
AT ITER 7820 NEW BEST:: SOT -2013327484 SOS 1690450785 HAS SOPS 1690450785 HAS SOUS 289273784 HAS SOUPS 289273784 WITH SCORE 2.90964234785E8
AT ITER 7823 NEW BEST:: SOT -2013381260 SOS 1690208793 HAS SOPS 1690208793 HAS SOUS 289273784 HAS SOUPS 289273784 WITH SCORE 2.90963992793E8
AT ITER 7843 NEW BEST:: SOT -2013382902 SOS 1690201404 HAS SOPS 1690201404 HAS SOUS 289273784 HAS SOUPS 289273784 WITH SCORE 2.90963985404E8
AT ITER 7860 NEW BEST:: SOT -2013400350 SOS 1690122888 HAS SOPS 1690122888 HAS SOUS 289273784 HAS SOUPS 289273784 WITH SCORE 2.90963906888E8
AT ITER 7880 NEW BEST:: SOT -2013444126 SOS 1689925890 HAS SOPS 1689925890 HAS SOUS 289273778 HAS SOUPS 289273778 WITH SCORE 2.9096370389E8
AT ITER 7893 NEW BEST:: SOT -2013487722 SOS 1689729705 HAS SOPS 1689729705 HAS SOUS 289273775 HAS SOUPS 289273775 WITH SCORE 2.90963504705E8
AT ITER 7898 NEW BEST:: SOT -2013511392 SOS 1689623186 HAS SOPS 1689623186 HAS SOUS 289273771 HAS SOUPS 289273771 WITH SCORE 2.90963394186E8
AT ITER 7902 NEW BEST:: SOT -2013546872 SOS 1689445786 HAS SOPS 1689445786 HAS SOUS 289256031 HAS SOUPS 289256031 WITH SCORE 2.90945476786E8
AT ITER 7918 NEW BEST:: SOT -2013572876 SOS 1689328762 HAS SOPS 1689328762 HAS SOUS 289256025 HAS SOUPS 289256025 WITH SCORE 2.90945353762E8
AT ITER 7925 NEW BEST:: SOT -2013572904 SOS 1689328622 HAS SOPS 1689328622 HAS SOUS 289256011 HAS SOUPS 289256011 WITH SCORE 2.90945339622E8
AT ITER 7927 NEW BEST:: SOT -2013664749 SOS 1689007547 HAS SOPS 1689007547 HAS SOUS 289244023 HAS SOUPS 289244023 WITH SCORE 2.90933030547E8
AT ITER 7945 NEW BEST:: SOT -2013674839 SOS 1688962135 HAS SOPS 1688962135 HAS SOUS 289244014 HAS SOUPS 289244014 WITH SCORE 2.90932976135E8
AT ITER 7960 NEW BEST:: SOT -2013696783 SOS 1688863382 HAS SOPS 1688863382 HAS SOUS 289244009 HAS SOUPS 289244009 WITH SCORE 2.90932872382E8
AT ITER 8000 NEW BEST:: SOT -2013724907 SOS 1688722762 HAS SOPS 1688722762 HAS SOUS 289229947 HAS SOUPS 289229947 WITH SCORE 2.90918669762E8
AT ITER 8017 NEW BEST:: SOT -2013754885 SOS 1688587857 HAS SOPS 1688587857 HAS SOUS 289229943 HAS SOUPS 289229943 WITH SCORE 2.90918530857E8
AT ITER 8043 NEW BEST:: SOT -2013766317 SOS 1688530697 HAS SOPS 1688530697 HAS SOUS 289224227 HAS SOUPS 289224227 WITH SCORE 2.90912757697E8
AT ITER 8047 NEW BEST:: SOT -2013811950 SOS 1688297357 HAS SOPS 1688297357 HAS SOUS 289207376 HAS SOUPS 289207376 WITH SCORE 2.90895673357E8
AT ITER 8088 NEW BEST:: SOT -2013869812 SOS 1688036972 HAS SOPS 1688036972 HAS SOUS 289207370 HAS SOUPS 289207370 WITH SCORE 2.90895406972E8
AT ITER 8133 NEW BEST:: SOT -2013887930 SOS 1687949146 HAS SOPS 1687949146 HAS SOUS 289201075 HAS SOUPS 289201075 WITH SCORE 2.90889024146E8
AT ITER 8135 NEW BEST:: SOT -2013903311 SOS 1687870467 HAS SOPS 1687870467 HAS SOUS 289196724 HAS SOUPS 289196724 WITH SCORE 2.90884594467E8
AT ITER 8138 NEW BEST:: SOT -2013925593 SOS 1687757447 HAS SOPS 1687757447 HAS SOUS 289187935 HAS SOUPS 289187935 WITH SCORE 2.90875692447E8
AT ITER 8146 NEW BEST:: SOT -2013927519 SOS 1687748775 HAS SOPS 1687748775 HAS SOUS 289187930 HAS SOUPS 289187930 WITH SCORE 2.90875678775E8
AT ITER 8158 NEW BEST:: SOT -2013975781 SOS 1687531595 HAS SOPS 1687531595 HAS SOUS 289187929 HAS SOUPS 289187929 WITH SCORE 2.90875460595E8
AT ITER 8166 NEW BEST:: SOT -2014035017 SOS 1687265032 HAS SOPS 1687265032 HAS SOUS 289187928 HAS SOUPS 289187928 WITH SCORE 2.90875193032E8
AT ITER 8184 NEW BEST:: SOT -2014053901 SOS 1687180051 HAS SOPS 1687180051 HAS SOUS 289187925 HAS SOUPS 289187925 WITH SCORE 2.90875105051E8
AT ITER 8191 NEW BEST:: SOT -2014097819 SOS 1686982418 HAS SOPS 1686982418 HAS SOUS 289187923 HAS SOUPS 289187923 WITH SCORE 2.90874905418E8
AT ITER 8193 NEW BEST:: SOT -2014117879 SOS 1686892143 HAS SOPS 1686892143 HAS SOUS 289187918 HAS SOUPS 289187918 WITH SCORE 2.90874810143E8
AT ITER 8200 NEW BEST:: SOT -2014144889 SOS 1686770596 HAS SOPS 1686770596 HAS SOUS 289187916 HAS SOUPS 289187916 WITH SCORE 2.90874686596E8
AT ITER 8209 NEW BEST:: SOT -2014171843 SOS 1686649298 HAS SOPS 1686649298 HAS SOUS 289187911 HAS SOUPS 289187911 WITH SCORE 2.90874560298E8
AT ITER 8275 NEW BEST:: SOT -2014206059 SOS 1686478218 HAS SOPS 1686478218 HAS SOUS 289170803 HAS SOUPS 289170803 WITH SCORE 2.90857281218E8
AT ITER 8285 NEW BEST:: SOT -2014259729 SOS 1686236702 HAS SOPS 1686236702 HAS SOUS 289170802 HAS SOUPS 289170802 WITH SCORE 2.90857038702E8
AT ITER 8293 NEW BEST:: SOT -2014288645 SOS 1686093444 HAS SOPS 1686093444 HAS SOUS 289157666 HAS SOUPS 289157666 WITH SCORE 2.90843759444E8
AT ITER 8300 NEW BEST:: SOT -2014336029 SOS 1685880209 HAS SOPS 1685880209 HAS SOUS 289157657 HAS SOUPS 289157657 WITH SCORE 2.90843537209E8
AT ITER 8305 NEW BEST:: SOT -2014341687 SOS 1685854745 HAS SOPS 1685854745 HAS SOUS 289157654 HAS SOUPS 289157654 WITH SCORE 2.90843508745E8
AT ITER 8322 NEW BEST:: SOT -2014341687 SOS 1685854743 HAS SOPS 1685854743 HAS SOUS 289157652 HAS SOUPS 289157652 WITH SCORE 2.90843506743E8
AT ITER 8330 NEW BEST:: SOT -2014356843 SOS 1685786539 HAS SOPS 1685786539 HAS SOUS 289157650 HAS SOUPS 289157650 WITH SCORE 2.90843436539E8
AT ITER 8336 NEW BEST:: SOT -2014372355 SOS 1685716733 HAS SOPS 1685716733 HAS SOUS 289157648 HAS SOUPS 289157648 WITH SCORE 2.90843364733E8
AT ITER 8342 NEW BEST:: SOT -2014372355 SOS 1685716728 HAS SOPS 1685716728 HAS SOUS 289157643 HAS SOUPS 289157643 WITH SCORE 2.90843359728E8
AT ITER 8351 NEW BEST:: SOT -2014390477 SOS 1685635172 HAS SOPS 1685635172 HAS SOUS 289157634 HAS SOUPS 289157634 WITH SCORE 2.90843269172E8
AT ITER 8373 NEW BEST:: SOT -2014396595 SOS 1685607641 HAS SOPS 1685607641 HAS SOUS 289157634 HAS SOUPS 289157634 WITH SCORE 2.90843241641E8
AT ITER 8388 NEW BEST:: SOT -2014447693 SOS 1685377696 HAS SOPS 1685377696 HAS SOUS 289157630 HAS SOUPS 289157630 WITH SCORE 2.90843007696E8
AT ITER 8391 NEW BEST:: SOT -2014492395 SOS 1685155526 HAS SOPS 1685155526 HAS SOUS 289136619 HAS SOUPS 289136619 WITH SCORE 2.90821774526E8
AT ITER 8413 NEW BEST:: SOT -2014495723 SOS 1685148870 HAS SOPS 1685148870 HAS SOUS 289132875 HAS SOUPS 289132875 WITH SCORE 2.9081802387E8
AT ITER 8414 NEW BEST:: SOT -2014522397 SOS 1685016235 HAS SOPS 1685016235 HAS SOUS 289120273 HAS SOUPS 289120273 WITH SCORE 2.90805289235E8
AT ITER 8425 NEW BEST:: SOT -2014551321 SOS 1684886074 HAS SOPS 1684886074 HAS SOUS 289120270 HAS SOUPS 289120270 WITH SCORE 2.90805156074E8
AT ITER 8434 NEW BEST:: SOT -2014578981 SOS 1684761603 HAS SOPS 1684761603 HAS SOUS 289120269 HAS SOUPS 289120269 WITH SCORE 2.90805030603E8
AT ITER 8450 NEW BEST:: SOT -2014578981 SOS 1684759197 HAS SOPS 1684759197 HAS SOUS 289117863 HAS SOUPS 289117863 WITH SCORE 2.90802622197E8
AT ITER 8462 NEW BEST:: SOT -2014597455 SOS 1684676061 HAS SOPS 1684676061 HAS SOUS 289117860 HAS SOUPS 289117860 WITH SCORE 2.90802536061E8
AT ITER 8482 NEW BEST:: SOT -2014623540 SOS 1684528851 HAS SOPS 1684528851 HAS SOUS 289107615 HAS SOUPS 289107615 WITH SCORE 2.90792143851E8
AT ITER 8492 NEW BEST:: SOT -2014644194 SOS 1684435903 HAS SOPS 1684435903 HAS SOUS 289107610 HAS SOUPS 289107610 WITH SCORE 2.90792045903E8
AT ITER 8493 NEW BEST:: SOT -2014672776 SOS 1684293102 HAS SOPS 1684293102 HAS SOUS 289093428 HAS SOUPS 289093428 WITH SCORE 2.90777721102E8
AT ITER 8498 NEW BEST:: SOT -2014692392 SOS 1684204823 HAS SOPS 1684204823 HAS SOUS 289093419 HAS SOUPS 289093419 WITH SCORE 2.90777623823E8
AT ITER 8507 NEW BEST:: SOT -2014729342 SOS 1684038548 HAS SOPS 1684038548 HAS SOUS 289093419 HAS SOUPS 289093419 WITH SCORE 2.90777457548E8
AT ITER 8513 NEW BEST:: SOT -2014749216 SOS 1683949115 HAS SOPS 1683949115 HAS SOUS 289093419 HAS SOUPS 289093419 WITH SCORE 2.90777368115E8
AT ITER 8525 NEW BEST:: SOT -2014809192 SOS 1683679223 HAS SOPS 1683679223 HAS SOUS 289093419 HAS SOUPS 289093419 WITH SCORE 2.90777098223E8
AT ITER 8536 NEW BEST:: SOT -2014858800 SOS 1683455984 HAS SOPS 1683455984 HAS SOUS 289093416 HAS SOUPS 289093416 WITH SCORE 2.90776871984E8
AT ITER 8546 NEW BEST:: SOT -2014872394 SOS 1683394807 HAS SOPS 1683394807 HAS SOUS 289093412 HAS SOUPS 289093412 WITH SCORE 2.90776806807E8
AT ITER 8557 NEW BEST:: SOT -2014885104 SOS 1683337606 HAS SOPS 1683337606 HAS SOUS 289093406 HAS SOUPS 289093406 WITH SCORE 2.90776743606E8
AT ITER 8570 NEW BEST:: SOT -2014925808 SOS 1683154437 HAS SOPS 1683154437 HAS SOUS 289093405 HAS SOUPS 289093405 WITH SCORE 2.90776559437E8
AT ITER 8586 NEW BEST:: SOT -2014938596 SOS 1683096886 HAS SOPS 1683096886 HAS SOUS 289093400 HAS SOUPS 289093400 WITH SCORE 2.90776496886E8
AT ITER 8601 NEW BEST:: SOT -2014983108 SOS 1682896580 HAS SOPS 1682896580 HAS SOUS 289093398 HAS SOUPS 289093398 WITH SCORE 2.9077629458E8
AT ITER 8605 NEW BEST:: SOT -2014992981 SOS 1682863666 HAS SOPS 1682863666 HAS SOUS 289090103 HAS SOUPS 289090103 WITH SCORE 2.90772966666E8
AT ITER 8619 NEW BEST:: SOT -2015038985 SOS 1682656648 HAS SOPS 1682656648 HAS SOUS 289090103 HAS SOUPS 289090103 WITH SCORE 2.90772759648E8
AT ITER 8641 NEW BEST:: SOT -2015039957 SOS 1682652268 HAS SOPS 1682652268 HAS SOUS 289090097 HAS SOUPS 289090097 WITH SCORE 2.90772749268E8
AT ITER 8674 NEW BEST:: SOT -2015065725 SOS 1682536308 HAS SOPS 1682536308 HAS SOUS 289090093 HAS SOUPS 289090093 WITH SCORE 2.90772629308E8
AT ITER 8676 NEW BEST:: SOT -2015102805 SOS 1682351762 HAS SOPS 1682351762 HAS SOUS 289072407 HAS SOUPS 289072407 WITH SCORE 2.90754758762E8
AT ITER 8691 NEW BEST:: SOT -2015154229 SOS 1682120348 HAS SOPS 1682120348 HAS SOUS 289072401 HAS SOUPS 289072401 WITH SCORE 2.90754521348E8
AT ITER 8714 NEW BEST:: SOT -2015211967 SOS 1681860520 HAS SOPS 1681860520 HAS SOUS 289072392 HAS SOUPS 289072392 WITH SCORE 2.9075425252E8
AT ITER 8724 NEW BEST:: SOT -2015220151 SOS 1681823692 HAS SOPS 1681823692 HAS SOUS 289072392 HAS SOUPS 289072392 WITH SCORE 2.90754215692E8
AT ITER 8727 NEW BEST:: SOT -2015233703 SOS 1681762702 HAS SOPS 1681762702 HAS SOUS 289072386 HAS SOUPS 289072386 WITH SCORE 2.90754148702E8
AT ITER 8752 NEW BEST:: SOT -2015257121 SOS 1681649057 HAS SOPS 1681649057 HAS SOUS 289064122 HAS SOUPS 289064122 WITH SCORE 2.90745771057E8
AT ITER 8766 NEW BEST:: SOT -2015257121 SOS 1681649056 HAS SOPS 1681649056 HAS SOUS 289064121 HAS SOUPS 289064121 WITH SCORE 2.90745770056E8
AT ITER 8767 NEW BEST:: SOT -2015285993 SOS 1681519131 HAS SOPS 1681519131 HAS SOUS 289064120 HAS SOUPS 289064120 WITH SCORE 2.90745639131E8
AT ITER 8802 NEW BEST:: SOT -2015290603 SOS 1681498381 HAS SOPS 1681498381 HAS SOUS 289064115 HAS SOUPS 289064115 WITH SCORE 2.90745613381E8
AT ITER 8805 NEW BEST:: SOT -2015334451 SOS 1681301065 HAS SOPS 1681301065 HAS SOUS 289064115 HAS SOUPS 289064115 WITH SCORE 2.90745416065E8
AT ITER 8825 NEW BEST:: SOT -2015383203 SOS 1681081678 HAS SOPS 1681081678 HAS SOUS 289064112 HAS SOUPS 289064112 WITH SCORE 2.90745193678E8
AT ITER 8837 NEW BEST:: SOT -2015414537 SOS 1680940671 HAS SOPS 1680940671 HAS SOUS 289064108 HAS SOUPS 289064108 WITH SCORE 2.90745048671E8
AT ITER 8858 NEW BEST:: SOT -2015469691 SOS 1680692474 HAS SOPS 1680692474 HAS SOUS 289064104 HAS SOUPS 289064104 WITH SCORE 2.90744796474E8
AT ITER 8894 NEW BEST:: SOT -2015505835 SOS 1680529820 HAS SOPS 1680529820 HAS SOUS 289064098 HAS SOUPS 289064098 WITH SCORE 2.9074462782E8
AT ITER 8906 NEW BEST:: SOT -2015507417 SOS 1680521910 HAS SOPS 1680521910 HAS SOUS 289063307 HAS SOUPS 289063307 WITH SCORE 2.9074382891E8
AT ITER 8910 NEW BEST:: SOT -2015521073 SOS 1680460455 HAS SOPS 1680460455 HAS SOUS 289063304 HAS SOUPS 289063304 WITH SCORE 2.90743764455E8
AT ITER 8913 NEW BEST:: SOT -2015521073 SOS 1680460451 HAS SOPS 1680460451 HAS SOUS 289063300 HAS SOUPS 289063300 WITH SCORE 2.90743760451E8
AT ITER 8918 NEW BEST:: SOT -2015555917 SOS 1680303648 HAS SOPS 1680303648 HAS SOUS 289063295 HAS SOUPS 289063295 WITH SCORE 2.90743598648E8
AT ITER 8919 NEW BEST:: SOT -2015568611 SOS 1680246520 HAS SOPS 1680246520 HAS SOUS 289063290 HAS SOUPS 289063290 WITH SCORE 2.9074353652E8
AT ITER 8934 NEW BEST:: SOT -2015583197 SOS 1680180880 HAS SOPS 1680180880 HAS SOUS 289063287 HAS SOUPS 289063287 WITH SCORE 2.9074346788E8
AT ITER 8939 NEW BEST:: SOT -2015624362 SOS 1679968707 HAS SOPS 1679968707 HAS SOUS 289048106 HAS SOUPS 289048106 WITH SCORE 2.90728074707E8
AT ITER 8963 NEW BEST:: SOT -2015644472 SOS 1679868407 HAS SOPS 1679868407 HAS SOUS 289038301 HAS SOUPS 289038301 WITH SCORE 2.90718169407E8
AT ITER 8972 NEW BEST:: SOT -2015671484 SOS 1679746851 HAS SOPS 1679746851 HAS SOUS 289038299 HAS SOUPS 289038299 WITH SCORE 2.90718045851E8
AT ITER 8976 NEW BEST:: SOT -2015725890 SOS 1679502018 HAS SOPS 1679502018 HAS SOUS 289038293 HAS SOUPS 289038293 WITH SCORE 2.90717795018E8
AT ITER 8981 NEW BEST:: SOT -2015749070 SOS 1679397705 HAS SOPS 1679397705 HAS SOUS 289038290 HAS SOUPS 289038290 WITH SCORE 2.90717687705E8
AT ITER 9002 NEW BEST:: SOT -2015801142 SOS 1679163380 HAS SOPS 1679163380 HAS SOUS 289038289 HAS SOUPS 289038289 WITH SCORE 2.9071745238E8
AT ITER 9029 NEW BEST:: SOT -2015831740 SOS 1679025687 HAS SOPS 1679025687 HAS SOUS 289038287 HAS SOUPS 289038287 WITH SCORE 2.90717312687E8
AT ITER 9031 NEW BEST:: SOT -2015869620 SOS 1678855224 HAS SOPS 1678855224 HAS SOUS 289038284 HAS SOUPS 289038284 WITH SCORE 2.90717139224E8
AT ITER 9039 NEW BEST:: SOT -2015878520 SOS 1678803756 HAS SOPS 1678803756 HAS SOUS 289036190 HAS SOUPS 289036190 WITH SCORE 2.90714993756E8
AT ITER 9059 NEW BEST:: SOT -2015934976 SOS 1678549697 HAS SOPS 1678549697 HAS SOUS 289036181 HAS SOUPS 289036181 WITH SCORE 2.90714730697E8
AT ITER 9074 NEW BEST:: SOT -2015954002 SOS 1678464074 HAS SOPS 1678464074 HAS SOUS 289036175 HAS SOUPS 289036175 WITH SCORE 2.90714639074E8
AT ITER 9077 NEW BEST:: SOT -2015957846 SOS 1678446775 HAS SOPS 1678446775 HAS SOUS 289036174 HAS SOUPS 289036174 WITH SCORE 2.90714620775E8
AT ITER 9087 NEW BEST:: SOT -2015983892 SOS 1678278392 HAS SOPS 1678278392 HAS SOUS 289033406 HAS SOUPS 289033406 WITH SCORE 2.90711684392E8
AT ITER 9103 NEW BEST:: SOT -2015997350 SOS 1678217830 HAS SOPS 1678217830 HAS SOUS 289033405 HAS SOUPS 289033405 WITH SCORE 2.9071162283E8
AT ITER 9114 NEW BEST:: SOT -2016047152 SOS 1677960173 HAS SOPS 1677960173 HAS SOUS 289015870 HAS SOUPS 289015870 WITH SCORE 2.90693830173E8
AT ITER 9119 NEW BEST:: SOT -2016104464 SOS 1677702266 HAS SOPS 1677702266 HAS SOUS 289015867 HAS SOUPS 289015867 WITH SCORE 2.90693569266E8
AT ITER 9124 NEW BEST:: SOT -2016110728 SOS 1677670946 HAS SOPS 1677670946 HAS SOUS 289012733 HAS SOUPS 289012733 WITH SCORE 2.90690403946E8
AT ITER 9142 NEW BEST:: SOT -2016110728 SOS 1677670944 HAS SOPS 1677670944 HAS SOUS 289012731 HAS SOUPS 289012731 WITH SCORE 2.90690401944E8
AT ITER 9152 NEW BEST:: SOT -2016133392 SOS 1677560924 HAS SOPS 1677560924 HAS SOUS 289012175 HAS SOUPS 289012175 WITH SCORE 2.90689735924E8
AT ITER 9182 NEW BEST:: SOT -2016192224 SOS 1677296175 HAS SOPS 1677296175 HAS SOUS 289012170 HAS SOUPS 289012170 WITH SCORE 2.90689466175E8
AT ITER 9185 NEW BEST:: SOT -2016200196 SOS 1677260296 HAS SOPS 1677260296 HAS SOUS 289012165 HAS SOUPS 289012165 WITH SCORE 2.90689425296E8
AT ITER 9190 NEW BEST:: SOT -2016220856 SOS 1677149993 HAS SOPS 1677149993 HAS SOUS 289008559 HAS SOUPS 289008559 WITH SCORE 2.90685708993E8
AT ITER 9196 NEW BEST:: SOT -2016241363 SOS 1677043593 HAS SOPS 1677043593 HAS SOUS 289002487 HAS SOUPS 289002487 WITH SCORE 2.90679530593E8
AT ITER 9200 NEW BEST:: SOT -2016246505 SOS 1677020452 HAS SOPS 1677020452 HAS SOUS 289002485 HAS SOUPS 289002485 WITH SCORE 2.90679505452E8
AT ITER 9205 NEW BEST:: SOT -2016268153 SOS 1676923029 HAS SOPS 1676923029 HAS SOUS 289002476 HAS SOUPS 289002476 WITH SCORE 2.90679399029E8
AT ITER 9208 NEW BEST:: SOT -2016317131 SOS 1676702622 HAS SOPS 1676702622 HAS SOUS 289002470 HAS SOUPS 289002470 WITH SCORE 2.90679172622E8
AT ITER 9220 NEW BEST:: SOT -2016339279 SOS 1676591882 HAS SOPS 1676591882 HAS SOUS 288991396 HAS SOUPS 288991396 WITH SCORE 2.90667987882E8
AT ITER 9251 NEW BEST:: SOT -2016365419 SOS 1676474245 HAS SOPS 1676474245 HAS SOUS 288991387 HAS SOUPS 288991387 WITH SCORE 2.90667861245E8
AT ITER 9278 NEW BEST:: SOT -2016370523 SOS 1676451276 HAS SOPS 1676451276 HAS SOUS 288991386 HAS SOUPS 288991386 WITH SCORE 2.90667837276E8
AT ITER 9311 NEW BEST:: SOT -2016406565 SOS 1676289083 HAS SOPS 1676289083 HAS SOUS 288991382 HAS SOUPS 288991382 WITH SCORE 2.90667671083E8
AT ITER 9319 NEW BEST:: SOT -2016431005 SOS 1676166883 HAS SOPS 1676166883 HAS SOUS 288979162 HAS SOUPS 288979162 WITH SCORE 2.90655328883E8
AT ITER 9332 NEW BEST:: SOT -2016433717 SOS 1676154675 HAS SOPS 1676154675 HAS SOUS 288979158 HAS SOUPS 288979158 WITH SCORE 2.90655312675E8
AT ITER 9352 NEW BEST:: SOT -2016464703 SOS 1676015235 HAS SOPS 1676015235 HAS SOUS 288979155 HAS SOUPS 288979155 WITH SCORE 2.90655170235E8
AT ITER 9356 NEW BEST:: SOT -2016479969 SOS 1675946535 HAS SOPS 1675946535 HAS SOUS 288979152 HAS SOUPS 288979152 WITH SCORE 2.90655098535E8
AT ITER 9361 NEW BEST:: SOT -2016522953 SOS 1675725075 HAS SOPS 1675725075 HAS SOUS 288964488 HAS SOUPS 288964488 WITH SCORE 2.90640213075E8
AT ITER 9368 NEW BEST:: SOT -2016575513 SOS 1675520923 HAS SOPS 1675520923 HAS SOUS 288962119 HAS SOUPS 288962119 WITH SCORE 2.90637639923E8
AT ITER 9391 NEW BEST:: SOT -2016600205 SOS 1675409803 HAS SOPS 1675409803 HAS SOUS 288962113 HAS SOUPS 288962113 WITH SCORE 2.90637522803E8
AT ITER 9399 NEW BEST:: SOT -2016622583 SOS 1675309096 HAS SOPS 1675309096 HAS SOUS 288962107 HAS SOUPS 288962107 WITH SCORE 2.90637416096E8
AT ITER 9407 NEW BEST:: SOT -2016672503 SOS 1675084456 HAS SOPS 1675084456 HAS SOUS 288962107 HAS SOUPS 288962107 WITH SCORE 2.90637191456E8
AT ITER 9415 NEW BEST:: SOT -2016684069 SOS 1675027370 HAS SOPS 1675027370 HAS SOUS 288957068 HAS SOUPS 288957068 WITH SCORE 2.9063209537E8
AT ITER 9425 NEW BEST:: SOT -2016708368 SOS 1674901782 HAS SOPS 1674901782 HAS SOUS 288953009 HAS SOUPS 288953009 WITH SCORE 2.90627910782E8
AT ITER 9432 NEW BEST:: SOT -2016736538 SOS 1674775013 HAS SOPS 1674775013 HAS SOUS 288953005 HAS SOUPS 288953005 WITH SCORE 2.90627780013E8
AT ITER 9449 NEW BEST:: SOT -2016739030 SOS 1674763799 HAS SOPS 1674763799 HAS SOUS 288953005 HAS SOUPS 288953005 WITH SCORE 2.90627768799E8
AT ITER 9480 NEW BEST:: SOT -2016757008 SOS 1674682891 HAS SOPS 1674682891 HAS SOUS 288952996 HAS SOUPS 288952996 WITH SCORE 2.90627678891E8
AT ITER 9482 NEW BEST:: SOT -2016757008 SOS 1674682890 HAS SOPS 1674682890 HAS SOUS 288952995 HAS SOUPS 288952995 WITH SCORE 2.9062767789E8
AT ITER 9487 NEW BEST:: SOT -2016768190 SOS 1674632568 HAS SOPS 1674632568 HAS SOUS 288952992 HAS SOUPS 288952992 WITH SCORE 2.90627624568E8
AT ITER 9505 NEW BEST:: SOT -2016796360 SOS 1674505803 HAS SOPS 1674505803 HAS SOUS 288952992 HAS SOUPS 288952992 WITH SCORE 2.90627497803E8
AT ITER 9511 NEW BEST:: SOT -2016854388 SOS 1674215663 HAS SOPS 1674215663 HAS SOUS 288923978 HAS SOUPS 288923978 WITH SCORE 2.90598193663E8
AT ITER 9518 NEW BEST:: SOT -2016906732 SOS 1673980109 HAS SOPS 1673980109 HAS SOUS 288923972 HAS SOUPS 288923972 WITH SCORE 2.90597952109E8
AT ITER 9519 NEW BEST:: SOT -2016935370 SOS 1673851238 HAS SOPS 1673851238 HAS SOUS 288923972 HAS SOUPS 288923972 WITH SCORE 2.90597823238E8
AT ITER 9524 NEW BEST:: SOT -2017000826 SOS 1673523958 HAS SOPS 1673523958 HAS SOUS 288891244 HAS SOUPS 288891244 WITH SCORE 2.90564767958E8
AT ITER 9525 NEW BEST:: SOT -2017030734 SOS 1673389366 HAS SOPS 1673389366 HAS SOUS 288891238 HAS SOUPS 288891238 WITH SCORE 2.90564627366E8
AT ITER 9528 NEW BEST:: SOT -2017078758 SOS 1673173256 HAS SOPS 1673173256 HAS SOUS 288891236 HAS SOUPS 288891236 WITH SCORE 2.90564409256E8
AT ITER 9546 NEW BEST:: SOT -2017138608 SOS 1672903924 HAS SOPS 1672903924 HAS SOUS 288891227 HAS SOUPS 288891227 WITH SCORE 2.90564130924E8
AT ITER 9547 NEW BEST:: SOT -2017198582 SOS 1672634041 HAS SOPS 1672634041 HAS SOUS 288891227 HAS SOUPS 288891227 WITH SCORE 2.90563861041E8
AT ITER 9556 NEW BEST:: SOT -2017209556 SOS 1672584652 HAS SOPS 1672584652 HAS SOUS 288891221 HAS SOUPS 288891221 WITH SCORE 2.90563805652E8
AT ITER 9559 NEW BEST:: SOT -2017221332 SOS 1672531656 HAS SOPS 1672531656 HAS SOUS 288891217 HAS SOUPS 288891217 WITH SCORE 2.90563748656E8
AT ITER 9581 NEW BEST:: SOT -2017252353 SOS 1672368138 HAS SOPS 1672368138 HAS SOUS 288879617 HAS SOUPS 288879617 WITH SCORE 2.90551985138E8
AT ITER 9587 NEW BEST:: SOT -2017284409 SOS 1672202745 HAS SOPS 1672202745 HAS SOUS 288870026 HAS SOUPS 288870026 WITH SCORE 2.90542228745E8
AT ITER 9590 NEW BEST:: SOT -2017300150 SOS 1672125908 HAS SOPS 1672125908 HAS SOUS 288866860 HAS SOUPS 288866860 WITH SCORE 2.90538985908E8
AT ITER 9592 NEW BEST:: SOT -2017341016 SOS 1671942004 HAS SOPS 1671942004 HAS SOUS 288866851 HAS SOUPS 288866851 WITH SCORE 2.90538793004E8
AT ITER 9630 NEW BEST:: SOT -2017384942 SOS 1671744334 HAS SOPS 1671744334 HAS SOUS 288866848 HAS SOUPS 288866848 WITH SCORE 2.90538592334E8
AT ITER 9641 NEW BEST:: SOT -2017422278 SOS 1671576319 HAS SOPS 1671576319 HAS SOUS 288866845 HAS SOUPS 288866845 WITH SCORE 2.90538421319E8
AT ITER 9644 NEW BEST:: SOT -2017438545 SOS 1671467341 HAS SOPS 1671467341 HAS SOUS 288865932 HAS SOUPS 288865932 WITH SCORE 2.90537399341E8
AT ITER 9651 NEW BEST:: SOT -2017462587 SOS 1671359149 HAS SOPS 1671359149 HAS SOUS 288865929 HAS SOUPS 288865929 WITH SCORE 2.90537288149E8
AT ITER 9653 NEW BEST:: SOT -2017478505 SOS 1671280466 HAS SOPS 1671280466 HAS SOUS 288864734 HAS SOUPS 288864734 WITH SCORE 2.90536014466E8
AT ITER 9678 NEW BEST:: SOT -2017486747 SOS 1671239256 HAS SOPS 1671239256 HAS SOUS 288860613 HAS SOUPS 288860613 WITH SCORE 2.90531852256E8
AT ITER 9688 NEW BEST:: SOT -2017506845 SOS 1671148810 HAS SOPS 1671148810 HAS SOUS 288860608 HAS SOUPS 288860608 WITH SCORE 2.9053175681E8
AT ITER 9691 NEW BEST:: SOT -2017520603 SOS 1671086899 HAS SOPS 1671086899 HAS SOUS 288860608 HAS SOUPS 288860608 WITH SCORE 2.90531694899E8
AT ITER 9693 NEW BEST:: SOT -2017523199 SOS 1671075216 HAS SOPS 1671075216 HAS SOUS 288860607 HAS SOUPS 288860607 WITH SCORE 2.90531682216E8
AT ITER 9706 NEW BEST:: SOT -2017536447 SOS 1671015598 HAS SOPS 1671015598 HAS SOUS 288860605 HAS SOUPS 288860605 WITH SCORE 2.90531620598E8
AT ITER 9717 NEW BEST:: SOT -2017556009 SOS 1670927564 HAS SOPS 1670927564 HAS SOUS 288860600 HAS SOUPS 288860600 WITH SCORE 2.90531527564E8
AT ITER 9751 NEW BEST:: SOT -2017577429 SOS 1670819866 HAS SOPS 1670819866 HAS SOUS 288857713 HAS SOUPS 288857713 WITH SCORE 2.90528532866E8
AT ITER 9755 NEW BEST:: SOT -2017631081 SOS 1670578429 HAS SOPS 1670578429 HAS SOUS 288857710 HAS SOUPS 288857710 WITH SCORE 2.90528288429E8
AT ITER 9756 NEW BEST:: SOT -2017632571 SOS 1670571724 HAS SOPS 1670571724 HAS SOUS 288857710 HAS SOUPS 288857710 WITH SCORE 2.90528281724E8
AT ITER 9760 NEW BEST:: SOT -2017693477 SOS 1670297646 HAS SOPS 1670297646 HAS SOUS 288857709 HAS SOUPS 288857709 WITH SCORE 2.90528006646E8
AT ITER 9803 NEW BEST:: SOT -2017737183 SOS 1670100969 HAS SOPS 1670100969 HAS SOUS 288857709 HAS SOUPS 288857709 WITH SCORE 2.90527809969E8
AT ITER 9807 NEW BEST:: SOT -2017764099 SOS 1669979844 HAS SOPS 1669979844 HAS SOUS 288857706 HAS SOUPS 288857706 WITH SCORE 2.90527685844E8
AT ITER 9810 NEW BEST:: SOT -2017793273 SOS 1669848558 HAS SOPS 1669848558 HAS SOUS 288857703 HAS SOUPS 288857703 WITH SCORE 2.90527551558E8
AT ITER 9816 NEW BEST:: SOT -2017850307 SOS 1669556409 HAS SOPS 1669556409 HAS SOUS 288836431 HAS SOUPS 288836431 WITH SCORE 2.90505987409E8
AT ITER 9818 NEW BEST:: SOT -2017850307 SOS 1669550511 HAS SOPS 1669550511 HAS SOUS 288830533 HAS SOUPS 288830533 WITH SCORE 2.90500083511E8
AT ITER 9824 NEW BEST:: SOT -2017850307 SOS 1669550505 HAS SOPS 1669550505 HAS SOUS 288830527 HAS SOUPS 288830527 WITH SCORE 2.90500077505E8
AT ITER 9827 NEW BEST:: SOT -2017947806 SOS 1669185150 HAS SOPS 1669185150 HAS SOUS 288771220 HAS SOUPS 288771220 WITH SCORE 2.9044040515E8
AT ITER 9836 NEW BEST:: SOT -2017965152 SOS 1669096194 HAS SOPS 1669096194 HAS SOUS 288762918 HAS SOUPS 288762918 WITH SCORE 2.90432014194E8
AT ITER 9843 NEW BEST:: SOT -2017971638 SOS 1669063764 HAS SOPS 1669063764 HAS SOUS 288759673 HAS SOUPS 288759673 WITH SCORE 2.90428736764E8
AT ITER 9844 NEW BEST:: SOT -2017980516 SOS 1669023807 HAS SOPS 1669023807 HAS SOUS 288759667 HAS SOUPS 288759667 WITH SCORE 2.90428690807E8
AT ITER 9848 NEW BEST:: SOT -2018029296 SOS 1668804295 HAS SOPS 1668804295 HAS SOUS 288759665 HAS SOUPS 288759665 WITH SCORE 2.90428469295E8
AT ITER 9857 NEW BEST:: SOT -2018044876 SOS 1668734185 HAS SOPS 1668734185 HAS SOUS 288759665 HAS SOUPS 288759665 WITH SCORE 2.90428399185E8
AT ITER 9871 NEW BEST:: SOT -2018047770 SOS 1668719835 HAS SOPS 1668719835 HAS SOUS 288758338 HAS SOUPS 288758338 WITH SCORE 2.90427057835E8
AT ITER 9883 NEW BEST:: SOT -2018112246 SOS 1668429692 HAS SOPS 1668429692 HAS SOUS 288758337 HAS SOUPS 288758337 WITH SCORE 2.90426766692E8
AT ITER 9896 NEW BEST:: SOT -2018126942 SOS 1668363554 HAS SOPS 1668363554 HAS SOUS 288758331 HAS SOUPS 288758331 WITH SCORE 2.90426694554E8
AT ITER 9912 NEW BEST:: SOT -2018188776 SOS 1668085297 HAS SOPS 1668085297 HAS SOUS 288758327 HAS SOUPS 288758327 WITH SCORE 2.90426412297E8
AT ITER 9914 NEW BEST:: SOT -2018199336 SOS 1668034935 HAS SOPS 1668034935 HAS SOUS 288755485 HAS SOUPS 288755485 WITH SCORE 2.90423519935E8
AT ITER 9932 NEW BEST:: SOT -2018247314 SOS 1667795045 HAS SOPS 1667795045 HAS SOUS 288731496 HAS SOUPS 288731496 WITH SCORE 2.90399291045E8
AT ITER 9934 NEW BEST:: SOT -2018270885 SOS 1667674834 HAS SOPS 1667674834 HAS SOUS 288721696 HAS SOUPS 288721696 WITH SCORE 2.90389370834E8
AT ITER 9936 NEW BEST:: SOT -2018288657 SOS 1667594857 HAS SOPS 1667594857 HAS SOUS 288721693 HAS SOUPS 288721693 WITH SCORE 2.90389287857E8
AT ITER 9954 NEW BEST:: SOT -2018298631 SOS 1667549973 HAS SOPS 1667549973 HAS SOUS 288721692 HAS SOUPS 288721692 WITH SCORE 2.90389241973E8
AT ITER 9956 NEW BEST:: SOT -2018317977 SOS 1667462912 HAS SOPS 1667462912 HAS SOUS 288721688 HAS SOUPS 288721688 WITH SCORE 2.90389150912E8
AT ITER 9962 NEW BEST:: SOT -2018332301 SOS 1667395259 HAS SOPS 1667395259 HAS SOUS 288718493 HAS SOUPS 288718493 WITH SCORE 2.90385888259E8
AT ITER 9975 NEW BEST:: SOT -2018380912 SOS 1667146781 HAS SOPS 1667146781 HAS SOUS 288700661 HAS SOUPS 288700661 WITH SCORE 2.90367807781E8
AT ITER 9984 NEW BEST:: SOT -2018419961 SOS 1666949399 HAS SOPS 1666949399 HAS SOUS 288685798 HAS SOUPS 288685798 WITH SCORE 2.90352747399E8
AT ITER 9989 NEW BEST:: SOT -2018438569 SOS 1666865663 HAS SOPS 1666865663 HAS SOUS 288685798 HAS SOUPS 288685798 WITH SCORE 2.90352663663E8

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="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"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is 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 r224-oct2-159033539000568"
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 ;