Execution Chart

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

Trace from the execution

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

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

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679336653382

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

Filename model.pnml
Petri model created: 46811 places, 79577 transitions, 191921 arcs.
AT ITER 0 NEW BEST:: SOT -1993024553 SOS 1782039844 HAS SOPS 1782039844 HAS SOUS 291814753 HAS SOUPS 291814753 WITH SCORE 2.93596792844E8
AT ITER 5 NEW BEST:: SOT -1993043223 SOS 1781955525 HAS SOPS 1781955525 HAS SOUS 291814337 HAS SOUPS 291814337 WITH SCORE 2.93596292525E8
AT ITER 6 NEW BEST:: SOT -1993057947 SOS 1781889253 HAS SOPS 1781889253 HAS SOUS 291814323 HAS SOUPS 291814323 WITH SCORE 2.93596212253E8
AT ITER 20 NEW BEST:: SOT -1993080423 SOS 1781788082 HAS SOPS 1781788082 HAS SOUS 291814294 HAS SOUPS 291814294 WITH SCORE 2.93596082082E8
AT ITER 25 NEW BEST:: SOT -1993097375 SOS 1781711782 HAS SOPS 1781711782 HAS SOUS 291814278 HAS SOUPS 291814278 WITH SCORE 2.93595989782E8
AT ITER 38 NEW BEST:: SOT -1993125091 SOS 1781587025 HAS SOPS 1781587025 HAS SOUS 291814233 HAS SOUPS 291814233 WITH SCORE 2.93595820025E8
AT ITER 54 NEW BEST:: SOT -1993147337 SOS 1781486898 HAS SOPS 1781486898 HAS SOUS 291814213 HAS SOUPS 291814213 WITH SCORE 2.93595699898E8
AT ITER 57 NEW BEST:: SOT -1993170445 SOS 1781382897 HAS SOPS 1781382897 HAS SOUS 291814198 HAS SOUPS 291814198 WITH SCORE 2.93595580897E8
AT ITER 58 NEW BEST:: SOT -1993174041 SOS 1781366498 HAS SOPS 1781366498 HAS SOUS 291813981 HAS SOUPS 291813981 WITH SCORE 2.93595347498E8
AT ITER 75 NEW BEST:: SOT -1993223715 SOS 1781142946 HAS SOPS 1781142946 HAS SOUS 291813962 HAS SOUPS 291813962 WITH SCORE 2.93595104946E8
AT ITER 78 NEW BEST:: SOT -1993250803 SOS 1781021027 HAS SOPS 1781021027 HAS SOUS 291813939 HAS SOUPS 291813939 WITH SCORE 2.93594960027E8
AT ITER 80 NEW BEST:: SOT -1993276929 SOS 1780903460 HAS SOPS 1780903460 HAS SOUS 291813939 HAS SOUPS 291813939 WITH SCORE 2.9359484246E8
AT ITER 92 NEW BEST:: SOT -1993303747 SOS 1780782760 HAS SOPS 1780782760 HAS SOUS 291813920 HAS SOUPS 291813920 WITH SCORE 2.9359470276E8
AT ITER 99 NEW BEST:: SOT -1993351517 SOS 1780567764 HAS SOPS 1780567764 HAS SOUS 291813883 HAS SOUPS 291813883 WITH SCORE 2.93594450764E8
AT ITER 100 NEW BEST:: SOT -1993396923 SOS 1780363408 HAS SOPS 1780363408 HAS SOUS 291813854 HAS SOUPS 291813854 WITH SCORE 2.93594217408E8
AT ITER 104 NEW BEST:: SOT -1993433963 SOS 1780196707 HAS SOPS 1780196707 HAS SOUS 291813833 HAS SOUPS 291813833 WITH SCORE 2.93594029707E8
AT ITER 105 NEW BEST:: SOT -1993451213 SOS 1780119055 HAS SOPS 1780119055 HAS SOUS 291813802 HAS SOUPS 291813802 WITH SCORE 2.93593921055E8
AT ITER 107 NEW BEST:: SOT -1993501553 SOS 1779892493 HAS SOPS 1779892493 HAS SOUS 291813770 HAS SOUPS 291813770 WITH SCORE 2.93593662493E8
AT ITER 121 NEW BEST:: SOT -1993555407 SOS 1779650146 HAS SOPS 1779650146 HAS SOUS 291813766 HAS SOUPS 291813766 WITH SCORE 2.93593416146E8
AT ITER 123 NEW BEST:: SOT -1993583137 SOS 1779525340 HAS SOPS 1779525340 HAS SOUS 291813745 HAS SOUPS 291813745 WITH SCORE 2.9359327034E8
AT ITER 126 NEW BEST:: SOT -1993599289 SOS 1779452638 HAS SOPS 1779452638 HAS SOUS 291813727 HAS SOUPS 291813727 WITH SCORE 2.93593179638E8
AT ITER 143 NEW BEST:: SOT -1993655477 SOS 1779199729 HAS SOPS 1779199729 HAS SOUS 291813664 HAS SOUPS 291813664 WITH SCORE 2.93592863729E8
AT ITER 149 NEW BEST:: SOT -1993694375 SOS 1779024664 HAS SOPS 1779024664 HAS SOUS 291813640 HAS SOUPS 291813640 WITH SCORE 2.93592664664E8
AT ITER 156 NEW BEST:: SOT -1993721331 SOS 1778903352 HAS SOPS 1778903352 HAS SOUS 291813630 HAS SOUPS 291813630 WITH SCORE 2.93592533352E8
AT ITER 171 NEW BEST:: SOT -1993725187 SOS 1778885992 HAS SOPS 1778885992 HAS SOUS 291813622 HAS SOUPS 291813622 WITH SCORE 2.93592507992E8
AT ITER 180 NEW BEST:: SOT -1993760085 SOS 1778728948 HAS SOPS 1778728948 HAS SOUS 291813619 HAS SOUPS 291813619 WITH SCORE 2.93592347948E8
AT ITER 196 NEW BEST:: SOT -1993801249 SOS 1778543630 HAS SOPS 1778543630 HAS SOUS 291813539 HAS SOUPS 291813539 WITH SCORE 2.9359208263E8
AT ITER 197 NEW BEST:: SOT -1993852787 SOS 1778311709 HAS SOPS 1778311709 HAS SOUS 291813539 HAS SOUPS 291813539 WITH SCORE 2.93591850709E8
AT ITER 219 NEW BEST:: SOT -1993859441 SOS 1778281761 HAS SOPS 1778281761 HAS SOUS 291813534 HAS SOUPS 291813534 WITH SCORE 2.93591815761E8
AT ITER 221 NEW BEST:: SOT -1993876347 SOS 1778205492 HAS SOPS 1778205492 HAS SOUS 291813342 HAS SOUPS 291813342 WITH SCORE 2.93591547492E8
AT ITER 225 NEW BEST:: SOT -1993910067 SOS 1778053752 HAS SOPS 1778053752 HAS SOUS 291813342 HAS SOUPS 291813342 WITH SCORE 2.93591395752E8
AT ITER 242 NEW BEST:: SOT -1993918725 SOS 1778014765 HAS SOPS 1778014765 HAS SOUS 291813316 HAS SOUPS 291813316 WITH SCORE 2.93591330765E8
AT ITER 245 NEW BEST:: SOT -1993942501 SOS 1777907480 HAS SOPS 1777907480 HAS SOUS 291813023 HAS SOUPS 291813023 WITH SCORE 2.9359093048E8
AT ITER 254 NEW BEST:: SOT -1993997861 SOS 1777658360 HAS SOPS 1777658360 HAS SOUS 291813023 HAS SOUPS 291813023 WITH SCORE 2.9359068136E8
AT ITER 255 NEW BEST:: SOT -1994034211 SOS 1777494765 HAS SOPS 1777494765 HAS SOUS 291813003 HAS SOUPS 291813003 WITH SCORE 2.93590497765E8
AT ITER 267 NEW BEST:: SOT -1994061319 SOS 1777372744 HAS SOPS 1777372744 HAS SOUS 291812958 HAS SOUPS 291812958 WITH SCORE 2.93590330744E8
AT ITER 293 NEW BEST:: SOT -1994091325 SOS 1777237703 HAS SOPS 1777237703 HAS SOUS 291812944 HAS SOUPS 291812944 WITH SCORE 2.93590181703E8
AT ITER 302 NEW BEST:: SOT -1994122075 SOS 1777099295 HAS SOPS 1777099295 HAS SOUS 291812899 HAS SOUPS 291812899 WITH SCORE 2.93589998295E8
AT ITER 304 NEW BEST:: SOT -1994170671 SOS 1776880579 HAS SOPS 1776880579 HAS SOUS 291812855 HAS SOUPS 291812855 WITH SCORE 2.93589735579E8
AT ITER 308 NEW BEST:: SOT -1994185603 SOS 1776805919 HAS SOPS 1776805919 HAS SOUS 291805389 HAS SOUPS 291805389 WITH SCORE 2.93582194919E8
AT ITER 319 NEW BEST:: SOT -1994197343 SOS 1776753089 HAS SOPS 1776753089 HAS SOUS 291805389 HAS SOUPS 291805389 WITH SCORE 2.93582142089E8
AT ITER 344 NEW BEST:: SOT -1994239929 SOS 1776561418 HAS SOPS 1776561418 HAS SOUS 291805343 HAS SOUPS 291805343 WITH SCORE 2.93581904418E8
AT ITER 350 NEW BEST:: SOT -1994296907 SOS 1776305000 HAS SOPS 1776305000 HAS SOUS 291805326 HAS SOUPS 291805326 WITH SCORE 2.93581631E8
AT ITER 353 NEW BEST:: SOT -1994314867 SOS 1776224156 HAS SOPS 1776224156 HAS SOUS 291805294 HAS SOUPS 291805294 WITH SCORE 2.93581518156E8
AT ITER 354 NEW BEST:: SOT -1994357741 SOS 1776031218 HAS SOPS 1776031218 HAS SOUS 291805289 HAS SOUPS 291805289 WITH SCORE 2.93581320218E8
AT ITER 363 NEW BEST:: SOT -1994383871 SOS 1775913618 HAS SOPS 1775913618 HAS SOUS 291805274 HAS SOUPS 291805274 WITH SCORE 2.93581187618E8
AT ITER 380 NEW BEST:: SOT -1994431313 SOS 1775700118 HAS SOPS 1775700118 HAS SOUS 291805263 HAS SOUPS 291805263 WITH SCORE 2.93580963118E8
AT ITER 395 NEW BEST:: SOT -1994433535 SOS 1775690102 HAS SOPS 1775690102 HAS SOUS 291805246 HAS SOUPS 291805246 WITH SCORE 2.93580936102E8
AT ITER 405 NEW BEST:: SOT -1994471961 SOS 1775517061 HAS SOPS 1775517061 HAS SOUS 291805122 HAS SOUPS 291805122 WITH SCORE 2.93580639061E8
AT ITER 414 NEW BEST:: SOT -1994495743 SOS 1775410042 HAS SOPS 1775410042 HAS SOUS 291805122 HAS SOUPS 291805122 WITH SCORE 2.93580532042E8
AT ITER 430 NEW BEST:: SOT -1994507493 SOS 1775357151 HAS SOPS 1775357151 HAS SOUS 291805106 HAS SOUPS 291805106 WITH SCORE 2.93580463151E8
AT ITER 432 NEW BEST:: SOT -1994520087 SOS 1775300474 HAS SOPS 1775300474 HAS SOUS 291805102 HAS SOUPS 291805102 WITH SCORE 2.93580402474E8
AT ITER 445 NEW BEST:: SOT -1994522625 SOS 1775289022 HAS SOPS 1775289022 HAS SOUS 291805059 HAS SOUPS 291805059 WITH SCORE 2.93580348022E8
AT ITER 450 NEW BEST:: SOT -1994620766 SOS 1774956281 HAS SOPS 1774956281 HAS SOUS 291778486 HAS SOUPS 291778486 WITH SCORE 2.93553442281E8
AT ITER 453 NEW BEST:: SOT -1994629746 SOS 1774915837 HAS SOPS 1774915837 HAS SOUS 291778442 HAS SOUPS 291778442 WITH SCORE 2.93553357837E8
AT ITER 459 NEW BEST:: SOT -1994641898 SOS 1774861102 HAS SOPS 1774861102 HAS SOUS 291778391 HAS SOUPS 291778391 WITH SCORE 2.93553252102E8
AT ITER 464 NEW BEST:: SOT -1994657864 SOS 1774789240 HAS SOPS 1774789240 HAS SOUS 291778376 HAS SOUPS 291778376 WITH SCORE 2.9355316524E8
AT ITER 468 NEW BEST:: SOT -1994690660 SOS 1774641649 HAS SOPS 1774641649 HAS SOUS 291778367 HAS SOUPS 291778367 WITH SCORE 2.93553008649E8
AT ITER 491 NEW BEST:: SOT -1994706884 SOS 1774568625 HAS SOPS 1774568625 HAS SOUS 291778351 HAS SOUPS 291778351 WITH SCORE 2.93552919625E8
AT ITER 499 NEW BEST:: SOT -1994726000 SOS 1774482598 HAS SOPS 1774482598 HAS SOUS 291778346 HAS SOUPS 291778346 WITH SCORE 2.93552828598E8
AT ITER 510 NEW BEST:: SOT -1994780992 SOS 1774235128 HAS SOPS 1774235128 HAS SOUS 291778340 HAS SOUPS 291778340 WITH SCORE 2.93552575128E8
AT ITER 515 NEW BEST:: SOT -1994816940 SOS 1774073335 HAS SOPS 1774073335 HAS SOUS 291778313 HAS SOUPS 291778313 WITH SCORE 2.93552386335E8
AT ITER 520 NEW BEST:: SOT -1994857592 SOS 1773890390 HAS SOPS 1773890390 HAS SOUS 291778302 HAS SOUPS 291778302 WITH SCORE 2.9355219239E8
AT ITER 530 NEW BEST:: SOT -1994885672 SOS 1773764030 HAS SOPS 1773764030 HAS SOUS 291778302 HAS SOUPS 291778302 WITH SCORE 2.9355206603E8
AT ITER 548 NEW BEST:: SOT -1994903962 SOS 1773681711 HAS SOPS 1773681711 HAS SOUS 291778288 HAS SOUPS 291778288 WITH SCORE 2.93551969711E8
AT ITER 592 NEW BEST:: SOT -1994933956 SOS 1773546707 HAS SOPS 1773546707 HAS SOUS 291778257 HAS SOUPS 291778257 WITH SCORE 2.93551803707E8
AT ITER 593 NEW BEST:: SOT -1994951458 SOS 1773467931 HAS SOPS 1773467931 HAS SOUS 291778240 HAS SOUPS 291778240 WITH SCORE 2.93551707931E8
AT ITER 609 NEW BEST:: SOT -1994963854 SOS 1773412140 HAS SOPS 1773412140 HAS SOUS 291778231 HAS SOUPS 291778231 WITH SCORE 2.9355164314E8
AT ITER 612 NEW BEST:: SOT -1994969584 SOS 1773386344 HAS SOPS 1773386344 HAS SOUS 291778220 HAS SOUPS 291778220 WITH SCORE 2.93551606344E8
AT ITER 633 NEW BEST:: SOT -1994975786 SOS 1773358433 HAS SOPS 1773358433 HAS SOUS 291778218 HAS SOUPS 291778218 WITH SCORE 2.93551576433E8
AT ITER 639 NEW BEST:: SOT -1994999820 SOS 1773250273 HAS SOPS 1773250273 HAS SOUS 291778211 HAS SOUPS 291778211 WITH SCORE 2.93551461273E8
AT ITER 665 NEW BEST:: SOT -1995034640 SOS 1773093571 HAS SOPS 1773093571 HAS SOUS 291778199 HAS SOUPS 291778199 WITH SCORE 2.93551292571E8
AT ITER 672 NEW BEST:: SOT -1995045264 SOS 1773045742 HAS SOPS 1773045742 HAS SOUS 291778178 HAS SOUPS 291778178 WITH SCORE 2.93551223742E8
AT ITER 681 NEW BEST:: SOT -1995081118 SOS 1772884380 HAS SOPS 1772884380 HAS SOUS 291778159 HAS SOUPS 291778159 WITH SCORE 2.9355104338E8
AT ITER 686 NEW BEST:: SOT -1995105116 SOS 1772776359 HAS SOPS 1772776359 HAS SOUS 291778117 HAS SOUPS 291778117 WITH SCORE 2.93550893359E8
AT ITER 692 NEW BEST:: SOT -1995125534 SOS 1772684469 HAS SOPS 1772684469 HAS SOUS 291778108 HAS SOUPS 291778108 WITH SCORE 2.93550792469E8
AT ITER 701 NEW BEST:: SOT -1995154608 SOS 1772553611 HAS SOPS 1772553611 HAS SOUS 291778083 HAS SOUPS 291778083 WITH SCORE 2.93550636611E8
AT ITER 710 NEW BEST:: SOT -1995199958 SOS 1772349503 HAS SOPS 1772349503 HAS SOUS 291778040 HAS SOUPS 291778040 WITH SCORE 2.93550389503E8
AT ITER 722 NEW BEST:: SOT -1995227140 SOS 1772227173 HAS SOPS 1772227173 HAS SOUS 291778029 HAS SOUPS 291778029 WITH SCORE 2.93550256173E8
AT ITER 730 NEW BEST:: SOT -1995244532 SOS 1772148899 HAS SOPS 1772148899 HAS SOUS 291778019 HAS SOUPS 291778019 WITH SCORE 2.93550167899E8
AT ITER 732 NEW BEST:: SOT -1995300932 SOS 1771895099 HAS SOPS 1771895099 HAS SOUS 291778019 HAS SOUPS 291778019 WITH SCORE 2.93549914099E8
AT ITER 738 NEW BEST:: SOT -1995310138 SOS 1771853647 HAS SOPS 1771853647 HAS SOUS 291777994 HAS SOUPS 291777994 WITH SCORE 2.93549847647E8
AT ITER 741 NEW BEST:: SOT -1995359880 SOS 1771629797 HAS SOPS 1771629797 HAS SOUS 291777983 HAS SOUPS 291777983 WITH SCORE 2.93549612797E8
AT ITER 745 NEW BEST:: SOT -1995394632 SOS 1771473400 HAS SOPS 1771473400 HAS SOUS 291777970 HAS SOUPS 291777970 WITH SCORE 2.935494434E8
AT ITER 747 NEW BEST:: SOT -1995441478 SOS 1771262563 HAS SOPS 1771262563 HAS SOUS 291777940 HAS SOUPS 291777940 WITH SCORE 2.93549202563E8
AT ITER 756 NEW BEST:: SOT -1995487040 SOS 1771057529 HAS SOPS 1771057529 HAS SOUS 291777935 HAS SOUPS 291777935 WITH SCORE 2.93548992529E8
AT ITER 773 NEW BEST:: SOT -1995508102 SOS 1770962726 HAS SOPS 1770962726 HAS SOUS 291777911 HAS SOUPS 291777911 WITH SCORE 2.93548873726E8
AT ITER 808 NEW BEST:: SOT -1995520152 SOS 1770908496 HAS SOPS 1770908496 HAS SOUS 291777906 HAS SOUPS 291777906 WITH SCORE 2.93548814496E8
AT ITER 827 NEW BEST:: SOT -1995545808 SOS 1770793044 HAS SOPS 1770793044 HAS SOUS 291777906 HAS SOUPS 291777906 WITH SCORE 2.93548699044E8
AT ITER 850 NEW BEST:: SOT -1995545142 SOS 1770789580 HAS SOPS 1770789580 HAS SOUS 291775192 HAS SOUPS 291775192 WITH SCORE 2.9354598158E8
AT ITER 869 NEW BEST:: SOT -1995588264 SOS 1770595501 HAS SOPS 1770595501 HAS SOUS 291775162 HAS SOUPS 291775162 WITH SCORE 2.93545757501E8
AT ITER 871 NEW BEST:: SOT -1995623616 SOS 1770436417 HAS SOPS 1770436417 HAS SOUS 291775162 HAS SOUPS 291775162 WITH SCORE 2.93545598417E8
AT ITER 875 NEW BEST:: SOT -1995641470 SOS 1770356057 HAS SOPS 1770356057 HAS SOUS 291775145 HAS SOUPS 291775145 WITH SCORE 2.93545501057E8
AT ITER 884 NEW BEST:: SOT -1995671536 SOS 1770220746 HAS SOPS 1770220746 HAS SOUS 291775131 HAS SOUPS 291775131 WITH SCORE 2.93545351746E8
AT ITER 902 NEW BEST:: SOT -1995710064 SOS 1770047365 HAS SOPS 1770047365 HAS SOUS 291775126 HAS SOUPS 291775126 WITH SCORE 2.93545173365E8
AT ITER 916 NEW BEST:: SOT -1995733296 SOS 1769942580 HAS SOPS 1769942580 HAS SOUS 291774885 HAS SOUPS 291774885 WITH SCORE 2.9354482758E8
AT ITER 917 NEW BEST:: SOT -1995795630 SOS 1769662059 HAS SOPS 1769662059 HAS SOUS 291774867 HAS SOUPS 291774867 WITH SCORE 2.93544529059E8
AT ITER 927 NEW BEST:: SOT -1995819828 SOS 1769553124 HAS SOPS 1769553124 HAS SOUS 291774823 HAS SOUPS 291774823 WITH SCORE 2.93544376124E8
AT ITER 947 NEW BEST:: SOT -1995866844 SOS 1769341535 HAS SOPS 1769341535 HAS SOUS 291774806 HAS SOUPS 291774806 WITH SCORE 2.93544147535E8
AT ITER 969 NEW BEST:: SOT -1995915304 SOS 1769123443 HAS SOPS 1769123443 HAS SOUS 291774784 HAS SOUPS 291774784 WITH SCORE 2.93543907443E8
AT ITER 977 NEW BEST:: SOT -1995945120 SOS 1768989245 HAS SOPS 1768989245 HAS SOUS 291774758 HAS SOUPS 291774758 WITH SCORE 2.93543747245E8
AT ITER 989 NEW BEST:: SOT -1995982980 SOS 1768818862 HAS SOPS 1768818862 HAS SOUS 291774745 HAS SOUPS 291774745 WITH SCORE 2.93543563862E8
AT ITER 998 NEW BEST:: SOT -1995997994 SOS 1768751283 HAS SOPS 1768751283 HAS SOUS 291774729 HAS SOUPS 291774729 WITH SCORE 2.93543480283E8
AT ITER 1014 NEW BEST:: SOT -1996038788 SOS 1768567681 HAS SOPS 1768567681 HAS SOUS 291774700 HAS SOUPS 291774700 WITH SCORE 2.93543267681E8
AT ITER 1015 NEW BEST:: SOT -1996048254 SOS 1768525059 HAS SOPS 1768525059 HAS SOUS 291774675 HAS SOUPS 291774675 WITH SCORE 2.93543200059E8
AT ITER 1023 NEW BEST:: SOT -1996058790 SOS 1768477641 HAS SOPS 1768477641 HAS SOUS 291774669 HAS SOUPS 291774669 WITH SCORE 2.93543146641E8
AT ITER 1025 NEW BEST:: SOT -1996077900 SOS 1768391638 HAS SOPS 1768391638 HAS SOUS 291774661 HAS SOUPS 291774661 WITH SCORE 2.93543052638E8
AT ITER 1030 NEW BEST:: SOT -1996091912 SOS 1768328196 HAS SOPS 1768328196 HAS SOUS 291774273 HAS SOUPS 291774273 WITH SCORE 2.93542601196E8
AT ITER 1037 NEW BEST:: SOT -1996099084 SOS 1768295902 HAS SOPS 1768295902 HAS SOUS 291774253 HAS SOUPS 291774253 WITH SCORE 2.93542548902E8
AT ITER 1038 NEW BEST:: SOT -1996120954 SOS 1768197454 HAS SOPS 1768197454 HAS SOUS 291774210 HAS SOUPS 291774210 WITH SCORE 2.93542407454E8
AT ITER 1051 NEW BEST:: SOT -1996151180 SOS 1768061404 HAS SOPS 1768061404 HAS SOUS 291774177 HAS SOUPS 291774177 WITH SCORE 2.93542238404E8
AT ITER 1057 NEW BEST:: SOT -1996154218 SOS 1768047583 HAS SOPS 1768047583 HAS SOUS 291774027 HAS SOUPS 291774027 WITH SCORE 2.93542074583E8
AT ITER 1058 NEW BEST:: SOT -1996163084 SOS 1768007666 HAS SOPS 1768007666 HAS SOUS 291774007 HAS SOUPS 291774007 WITH SCORE 2.93542014666E8
AT ITER 1072 NEW BEST:: SOT -1996218076 SOS 1767760189 HAS SOPS 1767760189 HAS SOUS 291773994 HAS SOUPS 291773994 WITH SCORE 2.93541754189E8
AT ITER 1076 NEW BEST:: SOT -1996229176 SOS 1767710159 HAS SOPS 1767710159 HAS SOUS 291773914 HAS SOUPS 291773914 WITH SCORE 2.93541624159E8
AT ITER 1084 NEW BEST:: SOT -1996246176 SOS 1767633645 HAS SOPS 1767633645 HAS SOUS 291773900 HAS SOUPS 291773900 WITH SCORE 2.93541533645E8
AT ITER 1107 NEW BEST:: SOT -1996259248 SOS 1767574817 HAS SOPS 1767574817 HAS SOUS 291773896 HAS SOUPS 291773896 WITH SCORE 2.93541470817E8
AT ITER 1111 NEW BEST:: SOT -1996271958 SOS 1767517595 HAS SOPS 1767517595 HAS SOUS 291773863 HAS SOUPS 291773863 WITH SCORE 2.93541380595E8
AT ITER 1120 NEW BEST:: SOT -1996334494 SOS 1767236178 HAS SOPS 1767236178 HAS SOUS 291773858 HAS SOUPS 291773858 WITH SCORE 2.93541094178E8
AT ITER 1122 NEW BEST:: SOT -1996357050 SOS 1767134645 HAS SOPS 1767134645 HAS SOUS 291773817 HAS SOUPS 291773817 WITH SCORE 2.93540951645E8
AT ITER 1141 NEW BEST:: SOT -1996375788 SOS 1767050308 HAS SOPS 1767050308 HAS SOUS 291773801 HAS SOUPS 291773801 WITH SCORE 2.93540851308E8
AT ITER 1143 NEW BEST:: SOT -1996404630 SOS 1766920487 HAS SOPS 1766920487 HAS SOUS 291773761 HAS SOUPS 291773761 WITH SCORE 2.93540681487E8
AT ITER 1145 NEW BEST:: SOT -1996411824 SOS 1766888087 HAS SOPS 1766888087 HAS SOUS 291773734 HAS SOUPS 291773734 WITH SCORE 2.93540622087E8
AT ITER 1220 NEW BEST:: SOT -1996427044 SOS 1766819351 HAS SOPS 1766819351 HAS SOUS 291773488 HAS SOUPS 291773488 WITH SCORE 2.93540307351E8
AT ITER 1226 NEW BEST:: SOT -1996438620 SOS 1766761471 HAS SOPS 1766761471 HAS SOUS 291767700 HAS SOUPS 291767700 WITH SCORE 2.93534461471E8
AT ITER 1228 NEW BEST:: SOT -1996471134 SOS 1766615158 HAS SOPS 1766615158 HAS SOUS 291767700 HAS SOUPS 291767700 WITH SCORE 2.93534315158E8
AT ITER 1232 NEW BEST:: SOT -1996500218 SOS 1766484280 HAS SOPS 1766484280 HAS SOUS 291767700 HAS SOUPS 291767700 WITH SCORE 2.9353418428E8
AT ITER 1247 NEW BEST:: SOT -1996519218 SOS 1766398768 HAS SOPS 1766398768 HAS SOUS 291767688 HAS SOUPS 291767688 WITH SCORE 2.93534086768E8
AT ITER 1256 NEW BEST:: SOT -1996530662 SOS 1766347253 HAS SOPS 1766347253 HAS SOUS 291767671 HAS SOUPS 291767671 WITH SCORE 2.93534018253E8
AT ITER 1259 NEW BEST:: SOT -1996571208 SOS 1766164789 HAS SOPS 1766164789 HAS SOUS 291767664 HAS SOUPS 291767664 WITH SCORE 2.93533828789E8
AT ITER 1268 NEW BEST:: SOT -1996594174 SOS 1766061358 HAS SOPS 1766061358 HAS SOUS 291767580 HAS SOUPS 291767580 WITH SCORE 2.93533641358E8
AT ITER 1275 NEW BEST:: SOT -1996636096 SOS 1765872698 HAS SOPS 1765872698 HAS SOUS 291767569 HAS SOUPS 291767569 WITH SCORE 2.93533441698E8
AT ITER 1292 NEW BEST:: SOT -1996679550 SOS 1765677139 HAS SOPS 1765677139 HAS SOUS 291767553 HAS SOUPS 291767553 WITH SCORE 2.93533230139E8
AT ITER 1296 NEW BEST:: SOT -1996713020 SOS 1765526505 HAS SOPS 1765526505 HAS SOUS 291767534 HAS SOUPS 291767534 WITH SCORE 2.93533060505E8
AT ITER 1297 NEW BEST:: SOT -1996730330 SOS 1765448602 HAS SOPS 1765448602 HAS SOUS 291767526 HAS SOUPS 291767526 WITH SCORE 2.93532974602E8
AT ITER 1338 NEW BEST:: SOT -1996764704 SOS 1765293906 HAS SOPS 1765293906 HAS SOUS 291767513 HAS SOUPS 291767513 WITH SCORE 2.93532806906E8
AT ITER 1352 NEW BEST:: SOT -1996769532 SOS 1765272148 HAS SOPS 1765272148 HAS SOUS 291767469 HAS SOUPS 291767469 WITH SCORE 2.93532741148E8
AT ITER 1374 NEW BEST:: SOT -1996783248 SOS 1765210166 HAS SOPS 1765210166 HAS SOUS 291767209 HAS SOUPS 291767209 WITH SCORE 2.93532419166E8
AT ITER 1375 NEW BEST:: SOT -1996789672 SOS 1765181245 HAS SOPS 1765181245 HAS SOUS 291767196 HAS SOUPS 291767196 WITH SCORE 2.93532377245E8
AT ITER 1376 NEW BEST:: SOT -1996840372 SOS 1764953073 HAS SOPS 1764953073 HAS SOUS 291767174 HAS SOUPS 291767174 WITH SCORE 2.93532127073E8
AT ITER 1380 NEW BEST:: SOT -1996856750 SOS 1764879341 HAS SOPS 1764879341 HAS SOUS 291767143 HAS SOUPS 291767143 WITH SCORE 2.93532022341E8
AT ITER 1381 NEW BEST:: SOT -1996881832 SOS 1764766439 HAS SOPS 1764766439 HAS SOUS 291767100 HAS SOUPS 291767100 WITH SCORE 2.93531866439E8
AT ITER 1384 NEW BEST:: SOT -1996902578 SOS 1764673078 HAS SOPS 1764673078 HAS SOUS 291767096 HAS SOUPS 291767096 WITH SCORE 2.93531769078E8
AT ITER 1407 NEW BEST:: SOT -1996942618 SOS 1764492864 HAS SOPS 1764492864 HAS SOUS 291767054 HAS SOUPS 291767054 WITH SCORE 2.93531546864E8
AT ITER 1415 NEW BEST:: SOT -1996980762 SOS 1764321196 HAS SOPS 1764321196 HAS SOUS 291767034 HAS SOUPS 291767034 WITH SCORE 2.93531355196E8
AT ITER 1417 NEW BEST:: SOT -1997026002 SOS 1764117601 HAS SOPS 1764117601 HAS SOUS 291767019 HAS SOUPS 291767019 WITH SCORE 2.93531136601E8
AT ITER 1427 NEW BEST:: SOT -1997040502 SOS 1764052325 HAS SOPS 1764052325 HAS SOUS 291766993 HAS SOUPS 291766993 WITH SCORE 2.93531045325E8
AT ITER 1432 NEW BEST:: SOT -1997132036 SOS 1763730457 HAS SOPS 1763730457 HAS SOUS 291757281 HAS SOUPS 291757281 WITH SCORE 2.93521011457E8
AT ITER 1436 NEW BEST:: SOT -1997149882 SOS 1763650150 HAS SOPS 1763650150 HAS SOUS 291757281 HAS SOUPS 291757281 WITH SCORE 2.9352093115E8
AT ITER 1445 NEW BEST:: SOT -1997163448 SOS 1763589084 HAS SOPS 1763589084 HAS SOUS 291757262 HAS SOUPS 291757262 WITH SCORE 2.93520851084E8
AT ITER 1477 NEW BEST:: SOT -1997168048 SOS 1763568384 HAS SOPS 1763568384 HAS SOUS 291757262 HAS SOUPS 291757262 WITH SCORE 2.93520830384E8
AT ITER 1488 NEW BEST:: SOT -1997221550 SOS 1763327625 HAS SOPS 1763327625 HAS SOUS 291757262 HAS SOUPS 291757262 WITH SCORE 2.93520589625E8
AT ITER 1492 NEW BEST:: SOT -1997265510 SOS 1763129669 HAS SOPS 1763129669 HAS SOUS 291757126 HAS SOUPS 291757126 WITH SCORE 2.93520255669E8
AT ITER 1500 NEW BEST:: SOT -1997283044 SOS 1763050758 HAS SOPS 1763050758 HAS SOUS 291757118 HAS SOUPS 291757118 WITH SCORE 2.93520168758E8
AT ITER 1505 NEW BEST:: SOT -1997343130 SOS 1762780346 HAS SOPS 1762780346 HAS SOUS 291757093 HAS SOUPS 291757093 WITH SCORE 2.93519873346E8
AT ITER 1508 NEW BEST:: SOT -1997381292 SOS 1762608587 HAS SOPS 1762608587 HAS SOUS 291757063 HAS SOUPS 291757063 WITH SCORE 2.93519671587E8
AT ITER 1511 NEW BEST:: SOT -1997381292 SOS 1762608574 HAS SOPS 1762608574 HAS SOUS 291757050 HAS SOUPS 291757050 WITH SCORE 2.93519658574E8
AT ITER 1518 NEW BEST:: SOT -1997398660 SOS 1762530386 HAS SOPS 1762530386 HAS SOUS 291757008 HAS SOUPS 291757008 WITH SCORE 2.93519538386E8
AT ITER 1520 NEW BEST:: SOT -1997415064 SOS 1762456537 HAS SOPS 1762456537 HAS SOUS 291756977 HAS SOUPS 291756977 WITH SCORE 2.93519433537E8
AT ITER 1523 NEW BEST:: SOT -1997431354 SOS 1762383201 HAS SOPS 1762383201 HAS SOUS 291756940 HAS SOUPS 291756940 WITH SCORE 2.93519323201E8
AT ITER 1534 NEW BEST:: SOT -1997493778 SOS 1762102276 HAS SOPS 1762102276 HAS SOUS 291756923 HAS SOUPS 291756923 WITH SCORE 2.93519025276E8
AT ITER 1541 NEW BEST:: SOT -1997548996 SOS 1761853768 HAS SOPS 1761853768 HAS SOUS 291756896 HAS SOUPS 291756896 WITH SCORE 2.93518749768E8
AT ITER 1556 NEW BEST:: SOT -1997585479 SOS 1761610818 HAS SOPS 1761610818 HAS SOUS 291756884 HAS SOUPS 291756884 WITH SCORE 2.93518494818E8
AT ITER 1562 NEW BEST:: SOT -1997610615 SOS 1761497706 HAS SOPS 1761497706 HAS SOUS 291756884 HAS SOUPS 291756884 WITH SCORE 2.93518381706E8
AT ITER 1566 NEW BEST:: SOT -1997623035 SOS 1761441805 HAS SOPS 1761441805 HAS SOUS 291756873 HAS SOUPS 291756873 WITH SCORE 2.93518314805E8
AT ITER 1574 NEW BEST:: SOT -1997653773 SOS 1761303480 HAS SOPS 1761303480 HAS SOUS 291756869 HAS SOUPS 291756869 WITH SCORE 2.9351817248E8
AT ITER 1576 NEW BEST:: SOT -1997672443 SOS 1761208291 HAS SOPS 1761208291 HAS SOUS 291752639 HAS SOUPS 291752639 WITH SCORE 2.93513847291E8
AT ITER 1601 NEW BEST:: SOT -1997689117 SOS 1761117251 HAS SOPS 1761117251 HAS SOUS 291750769 HAS SOUPS 291750769 WITH SCORE 2.93511886251E8
AT ITER 1608 NEW BEST:: SOT -1997703531 SOS 1761052388 HAS SOPS 1761052388 HAS SOUS 291750769 HAS SOUPS 291750769 WITH SCORE 2.93511821388E8
AT ITER 1617 NEW BEST:: SOT -1997761017 SOS 1760793698 HAS SOPS 1760793698 HAS SOUS 291750766 HAS SOUPS 291750766 WITH SCORE 2.93511559698E8
AT ITER 1628 NEW BEST:: SOT -1997801859 SOS 1760609874 HAS SOPS 1760609874 HAS SOUS 291750719 HAS SOUPS 291750719 WITH SCORE 2.93511328874E8
AT ITER 1646 NEW BEST:: SOT -1997829873 SOS 1760483777 HAS SOPS 1760483777 HAS SOUS 291750675 HAS SOUPS 291750675 WITH SCORE 2.93511158777E8
AT ITER 1664 NEW BEST:: SOT -1997851751 SOS 1760385326 HAS SOPS 1760385326 HAS SOUS 291750675 HAS SOUPS 291750675 WITH SCORE 2.93511060326E8
AT ITER 1671 NEW BEST:: SOT -1997918135 SOS 1760086592 HAS SOPS 1760086592 HAS SOUS 291750669 HAS SOUPS 291750669 WITH SCORE 2.93510755592E8
AT ITER 1675 NEW BEST:: SOT -1997935819 SOS 1760006976 HAS SOPS 1760006976 HAS SOUS 291750631 HAS SOUPS 291750631 WITH SCORE 2.93510637976E8
AT ITER 1679 NEW BEST:: SOT -1997941133 SOS 1759983048 HAS SOPS 1759983048 HAS SOUS 291750616 HAS SOUPS 291750616 WITH SCORE 2.93510599048E8
AT ITER 1686 NEW BEST:: SOT -1997995325 SOS 1759739173 HAS SOPS 1759739173 HAS SOUS 291750605 HAS SOUPS 291750605 WITH SCORE 2.93510344173E8
AT ITER 1690 NEW BEST:: SOT -1998008141 SOS 1759681494 HAS SOPS 1759681494 HAS SOUS 291750598 HAS SOUPS 291750598 WITH SCORE 2.93510279494E8
AT ITER 1691 NEW BEST:: SOT -1998020895 SOS 1759617749 HAS SOPS 1759617749 HAS SOUS 291744242 HAS SOUPS 291744242 WITH SCORE 2.93503859749E8
AT ITER 1694 NEW BEST:: SOT -1998074893 SOS 1759374725 HAS SOPS 1759374725 HAS SOUS 291744203 HAS SOUPS 291744203 WITH SCORE 2.93503577725E8
AT ITER 1698 NEW BEST:: SOT -1998086143 SOS 1759337202 HAS SOPS 1759337202 HAS SOUS 291740430 HAS SOUPS 291740430 WITH SCORE 2.93499767202E8
AT ITER 1734 NEW BEST:: SOT -1998182622 SOS 1759006256 HAS SOPS 1759006256 HAS SOUS 291718938 HAS SOUPS 291718938 WITH SCORE 2.93477944256E8
AT ITER 1737 NEW BEST:: SOT -1998198252 SOS 1758935916 HAS SOPS 1758935916 HAS SOUS 291718933 HAS SOUPS 291718933 WITH SCORE 2.93477868916E8
AT ITER 1740 NEW BEST:: SOT -1998206852 SOS 1758897195 HAS SOPS 1758897195 HAS SOUS 291718912 HAS SOUPS 291718912 WITH SCORE 2.93477809195E8
AT ITER 1741 NEW BEST:: SOT -1998249014 SOS 1758707353 HAS SOPS 1758707353 HAS SOUS 291718918 HAS SOUPS 291718918 WITH SCORE 2.93477625353E8
AT ITER 1743 NEW BEST:: SOT -1998275340 SOS 1758588867 HAS SOPS 1758588867 HAS SOUS 291718899 HAS SOUPS 291718899 WITH SCORE 2.93477487867E8
AT ITER 1755 NEW BEST:: SOT -1998299666 SOS 1758479394 HAS SOPS 1758479394 HAS SOUS 291718893 HAS SOUPS 291718893 WITH SCORE 2.93477372394E8
AT ITER 1756 NEW BEST:: SOT -1998387629 SOS 1758166158 HAS SOPS 1758166158 HAS SOUS 291708155 HAS SOUPS 291708155 WITH SCORE 2.93466321158E8
AT ITER 1767 NEW BEST:: SOT -1998391773 SOS 1758147495 HAS SOPS 1758147495 HAS SOUS 291708140 HAS SOUPS 291708140 WITH SCORE 2.93466287495E8
AT ITER 1768 NEW BEST:: SOT -1998399769 SOS 1758111485 HAS SOPS 1758111485 HAS SOUS 291708112 HAS SOUPS 291708112 WITH SCORE 2.93466223485E8
AT ITER 1774 NEW BEST:: SOT -1998436373 SOS 1757946753 HAS SOPS 1757946753 HAS SOUS 291708098 HAS SOUPS 291708098 WITH SCORE 2.93466044753E8
AT ITER 1777 NEW BEST:: SOT -1998436373 SOS 1757946732 HAS SOPS 1757946732 HAS SOUS 291708077 HAS SOUPS 291708077 WITH SCORE 2.93466023732E8
AT ITER 1788 NEW BEST:: SOT -1998458391 SOS 1757847645 HAS SOPS 1757847645 HAS SOUS 291708071 HAS SOUPS 291708071 WITH SCORE 2.93465918645E8
AT ITER 1793 NEW BEST:: SOT -1998461549 SOS 1757833413 HAS SOPS 1757833413 HAS SOUS 291708050 HAS SOUPS 291708050 WITH SCORE 2.93465883413E8
AT ITER 1805 NEW BEST:: SOT -1998502555 SOS 1757648863 HAS SOPS 1757648863 HAS SOUS 291708027 HAS SOUPS 291708027 WITH SCORE 2.93465675863E8
AT ITER 1807 NEW BEST:: SOT -1998553909 SOS 1757417756 HAS SOPS 1757417756 HAS SOUS 291708013 HAS SOUPS 291708013 WITH SCORE 2.93465430756E8
AT ITER 1809 NEW BEST:: SOT -1998590793 SOS 1757251762 HAS SOPS 1757251762 HAS SOUS 291707997 HAS SOUPS 291707997 WITH SCORE 2.93465248762E8
AT ITER 1818 NEW BEST:: SOT -1998622011 SOS 1757111271 HAS SOPS 1757111271 HAS SOUS 291707987 HAS SOUPS 291707987 WITH SCORE 2.93465098271E8
AT ITER 1820 NEW BEST:: SOT -1998648501 SOS 1756992057 HAS SOPS 1756992057 HAS SOUS 291707978 HAS SOUPS 291707978 WITH SCORE 2.93464970057E8
AT ITER 1825 NEW BEST:: SOT -1998672605 SOS 1756883582 HAS SOPS 1756883582 HAS SOUS 291707971 HAS SOUPS 291707971 WITH SCORE 2.93464854582E8
AT ITER 1834 NEW BEST:: SOT -1998714499 SOS 1756694839 HAS SOPS 1756694839 HAS SOUS 291707751 HAS SOUPS 291707751 WITH SCORE 2.93464445839E8
AT ITER 1844 NEW BEST:: SOT -1998730207 SOS 1756624023 HAS SOPS 1756624023 HAS SOUS 291707621 HAS SOUPS 291707621 WITH SCORE 2.93464245023E8
AT ITER 1850 NEW BEST:: SOT -1998750055 SOS 1756534686 HAS SOPS 1756534686 HAS SOUS 291707600 HAS SOUPS 291707600 WITH SCORE 2.93464134686E8
AT ITER 1876 NEW BEST:: SOT -1998784533 SOS 1756379535 HAS SOPS 1756379535 HAS SOUS 291707600 HAS SOUPS 291707600 WITH SCORE 2.93463979535E8
AT ITER 1878 NEW BEST:: SOT -1998784533 SOS 1756379531 HAS SOPS 1756379531 HAS SOUS 291707586 HAS SOUPS 291707586 WITH SCORE 2.93463965531E8
AT ITER 1879 NEW BEST:: SOT -1998795547 SOS 1756329956 HAS SOPS 1756329956 HAS SOUS 291707574 HAS SOUPS 291707574 WITH SCORE 2.93463903956E8
AT ITER 1886 NEW BEST:: SOT -1998802583 SOS 1756298188 HAS SOPS 1756298188 HAS SOUS 291707468 HAS SOUPS 291707468 WITH SCORE 2.93463766188E8
AT ITER 1907 NEW BEST:: SOT -1998815667 SOS 1756232768 HAS SOPS 1756232768 HAS SOUS 291700926 HAS SOUPS 291700926 WITH SCORE 2.93457158768E8
AT ITER 1921 NEW BEST:: SOT -1998839691 SOS 1756124647 HAS SOPS 1756124647 HAS SOUS 291700913 HAS SOUPS 291700913 WITH SCORE 2.93457037647E8
AT ITER 1929 NEW BEST:: SOT -1998876871 SOS 1755957313 HAS SOPS 1755957313 HAS SOUS 291700889 HAS SOUPS 291700889 WITH SCORE 2.93456846313E8
AT ITER 1933 NEW BEST:: SOT -1998915239 SOS 1755747298 HAS SOPS 1755747298 HAS SOUS 291692164 HAS SOUPS 291692164 WITH SCORE 2.93447911298E8
AT ITER 1941 NEW BEST:: SOT -1998969947 SOS 1755474027 HAS SOPS 1755474027 HAS SOUS 291665079 HAS SOUPS 291665079 WITH SCORE 2.93420553027E8
AT ITER 1948 NEW BEST:: SOT -1999025033 SOS 1755226108 HAS SOPS 1755226108 HAS SOUS 291665037 HAS SOUPS 291665037 WITH SCORE 2.93420263108E8
AT ITER 1949 NEW BEST:: SOT -1999046531 SOS 1755118618 HAS SOPS 1755118618 HAS SOUS 291654288 HAS SOUPS 291654288 WITH SCORE 2.93409406618E8
AT ITER 1952 NEW BEST:: SOT -1999055083 SOS 1755080099 HAS SOPS 1755080099 HAS SOUS 291654247 HAS SOUPS 291654247 WITH SCORE 2.93409327099E8
AT ITER 1963 NEW BEST:: SOT -1999079349 SOS 1754970890 HAS SOPS 1754970890 HAS SOUS 291654235 HAS SOUPS 291654235 WITH SCORE 2.9340920589E8
AT ITER 1981 NEW BEST:: SOT -1999097353 SOS 1754889872 HAS SOPS 1754889872 HAS SOUS 291654235 HAS SOUPS 291654235 WITH SCORE 2.93409124872E8
AT ITER 1988 NEW BEST:: SOT -1999112827 SOS 1754820235 HAS SOPS 1754820235 HAS SOUS 291654231 HAS SOUPS 291654231 WITH SCORE 2.93409051235E8
AT ITER 2004 NEW BEST:: SOT -1999167417 SOS 1754574562 HAS SOPS 1754574562 HAS SOUS 291654213 HAS SOUPS 291654213 WITH SCORE 2.93408787562E8
AT ITER 2009 NEW BEST:: SOT -1999176603 SOS 1754543919 HAS SOPS 1754543919 HAS SOUS 291651128 HAS SOUPS 291651128 WITH SCORE 2.93405671919E8
AT ITER 2013 NEW BEST:: SOT -1999230577 SOS 1754301002 HAS SOPS 1754301002 HAS SOUS 291651086 HAS SOUPS 291651086 WITH SCORE 2.93405387002E8
AT ITER 2016 NEW BEST:: SOT -1999239637 SOS 1754260197 HAS SOPS 1754260197 HAS SOUS 291651051 HAS SOUPS 291651051 WITH SCORE 2.93405311197E8
AT ITER 2035 NEW BEST:: SOT -1999259953 SOS 1754168755 HAS SOPS 1754168755 HAS SOUS 291651031 HAS SOUPS 291651031 WITH SCORE 2.93405199755E8
AT ITER 2079 NEW BEST:: SOT -1999317337 SOS 1753910493 HAS SOPS 1753910493 HAS SOUS 291650987 HAS SOUPS 291650987 WITH SCORE 2.93404897493E8
AT ITER 2080 NEW BEST:: SOT -1999343607 SOS 1753792268 HAS SOPS 1753792268 HAS SOUS 291650977 HAS SOUPS 291650977 WITH SCORE 2.93404769268E8
AT ITER 2090 NEW BEST:: SOT -1999373920 SOS 1753639215 HAS SOPS 1753639215 HAS SOUS 291640104 HAS SOUPS 291640104 WITH SCORE 2.93393743215E8
AT ITER 2105 NEW BEST:: SOT -1999380732 SOS 1753608525 HAS SOPS 1753608525 HAS SOUS 291640058 HAS SOUPS 291640058 WITH SCORE 2.93393666525E8
AT ITER 2118 NEW BEST:: SOT -1999410720 SOS 1753473564 HAS SOPS 1753473564 HAS SOUS 291640043 HAS SOUPS 291640043 WITH SCORE 2.93393516564E8
AT ITER 2121 NEW BEST:: SOT -1999419822 SOS 1753432583 HAS SOPS 1753432583 HAS SOUS 291640021 HAS SOUPS 291640021 WITH SCORE 2.93393453583E8
AT ITER 2125 NEW BEST:: SOT -1999441994 SOS 1753332780 HAS SOPS 1753332780 HAS SOUS 291639992 HAS SOUPS 291639992 WITH SCORE 2.9339332478E8
AT ITER 2134 NEW BEST:: SOT -1999466872 SOS 1753220812 HAS SOPS 1753220812 HAS SOUS 291639975 HAS SOUPS 291639975 WITH SCORE 2.93393195812E8
AT ITER 2145 NEW BEST:: SOT -1999486740 SOS 1753131375 HAS SOPS 1753131375 HAS SOUS 291639936 HAS SOUPS 291639936 WITH SCORE 2.93393067375E8
AT ITER 2161 NEW BEST:: SOT -1999543474 SOS 1752840619 HAS SOPS 1752840619 HAS SOUS 291618182 HAS SOUPS 291618182 WITH SCORE 2.93371022619E8
AT ITER 2167 NEW BEST:: SOT -1999573126 SOS 1752707158 HAS SOPS 1752707158 HAS SOUS 291618155 HAS SOUPS 291618155 WITH SCORE 2.93370862158E8
AT ITER 2179 NEW BEST:: SOT -1999600064 SOS 1752585929 HAS SOPS 1752585929 HAS SOUS 291618147 HAS SOUPS 291618147 WITH SCORE 2.93370732929E8
AT ITER 2186 NEW BEST:: SOT -1999652276 SOS 1752350975 HAS SOPS 1752350975 HAS SOUS 291618147 HAS SOUPS 291618147 WITH SCORE 2.93370497975E8
AT ITER 2194 NEW BEST:: SOT -1999667580 SOS 1752282087 HAS SOPS 1752282087 HAS SOUS 291618127 HAS SOUPS 291618127 WITH SCORE 2.93370409087E8
AT ITER 2200 NEW BEST:: SOT -1999692734 SOS 1752168857 HAS SOPS 1752168857 HAS SOUS 291618080 HAS SOUPS 291618080 WITH SCORE 2.93370248857E8
AT ITER 2207 NEW BEST:: SOT -1999716002 SOS 1752064119 HAS SOPS 1752064119 HAS SOUS 291618036 HAS SOUPS 291618036 WITH SCORE 2.93370100119E8
AT ITER 2210 NEW BEST:: SOT -1999761982 SOS 1751857204 HAS SOPS 1751857204 HAS SOUS 291618031 HAS SOUPS 291618031 WITH SCORE 2.93369888204E8
AT ITER 2227 NEW BEST:: SOT -1999770504 SOS 1751818851 HAS SOPS 1751818851 HAS SOUS 291618027 HAS SOUPS 291618027 WITH SCORE 2.93369845851E8
AT ITER 2235 NEW BEST:: SOT -1999810520 SOS 1751638749 HAS SOPS 1751638749 HAS SOUS 291617997 HAS SOUPS 291617997 WITH SCORE 2.93369635749E8
AT ITER 2291 NEW BEST:: SOT -1999860794 SOS 1751412490 HAS SOPS 1751412490 HAS SOUS 291617971 HAS SOUPS 291617971 WITH SCORE 2.9336938349E8
AT ITER 2333 NEW BEST:: SOT -1999910376 SOS 1751189371 HAS SOPS 1751189371 HAS SOUS 291617971 HAS SOUPS 291617971 WITH SCORE 2.93369160371E8
AT ITER 2345 NEW BEST:: SOT -1999922128 SOS 1751136478 HAS SOPS 1751136478 HAS SOUS 291617962 HAS SOUPS 291617962 WITH SCORE 2.93369098478E8
AT ITER 2352 NEW BEST:: SOT -1999922128 SOS 1751136456 HAS SOPS 1751136456 HAS SOUS 291617940 HAS SOUPS 291617940 WITH SCORE 2.93369076456E8
AT ITER 2364 NEW BEST:: SOT -1999951968 SOS 1751001842 HAS SOPS 1751001842 HAS SOUS 291617498 HAS SOUPS 291617498 WITH SCORE 2.93368499842E8
AT ITER 2366 NEW BEST:: SOT -1999968224 SOS 1750928685 HAS SOPS 1750928685 HAS SOUS 291617493 HAS SOUPS 291617493 WITH SCORE 2.93368421685E8
AT ITER 2393 NEW BEST:: SOT -2000031864 SOS 1750642290 HAS SOPS 1750642290 HAS SOUS 291617478 HAS SOUPS 291617478 WITH SCORE 2.9336812029E8
AT ITER 2396 NEW BEST:: SOT -2000031864 SOS 1750642257 HAS SOPS 1750642257 HAS SOUS 291617433 HAS SOUPS 291617433 WITH SCORE 2.93368075257E8
AT ITER 2407 NEW BEST:: SOT -2000044768 SOS 1750584189 HAS SOPS 1750584189 HAS SOUS 291617433 HAS SOUPS 291617433 WITH SCORE 2.93368017189E8
AT ITER 2414 NEW BEST:: SOT -2000138219 SOS 1750258529 HAS SOPS 1750258529 HAS SOUS 291603456 HAS SOUPS 291603456 WITH SCORE 2.93353714529E8
AT ITER 2431 NEW BEST:: SOT -2000156283 SOS 1750177217 HAS SOPS 1750177217 HAS SOUS 291603432 HAS SOUPS 291603432 WITH SCORE 2.93353609217E8
AT ITER 2432 NEW BEST:: SOT -2000216987 SOS 1749904027 HAS SOPS 1749904027 HAS SOUS 291603410 HAS SOUPS 291603410 WITH SCORE 2.93353314027E8
AT ITER 2434 NEW BEST:: SOT -2000272691 SOS 1749653326 HAS SOPS 1749653326 HAS SOUS 291603367 HAS SOUPS 291603367 WITH SCORE 2.93353020326E8
AT ITER 2449 NEW BEST:: SOT -2000302709 SOS 1749518233 HAS SOPS 1749518233 HAS SOUS 291603355 HAS SOUPS 291603355 WITH SCORE 2.93352873233E8
AT ITER 2453 NEW BEST:: SOT -2000355095 SOS 1749282496 HAS SOPS 1749282496 HAS SOUS 291603355 HAS SOUPS 291603355 WITH SCORE 2.93352637496E8
AT ITER 2455 NEW BEST:: SOT -2000403177 SOS 1749066106 HAS SOPS 1749066106 HAS SOUS 291603334 HAS SOUPS 291603334 WITH SCORE 2.93352400106E8
AT ITER 2467 NEW BEST:: SOT -2000403177 SOS 1749066075 HAS SOPS 1749066075 HAS SOUS 291603303 HAS SOUPS 291603303 WITH SCORE 2.93352369075E8
AT ITER 2469 NEW BEST:: SOT -2000426582 SOS 1748950389 HAS SOPS 1748950389 HAS SOUS 291593094 HAS SOUPS 291593094 WITH SCORE 2.93342044389E8
AT ITER 2510 NEW BEST:: SOT -2000455518 SOS 1748820143 HAS SOPS 1748820143 HAS SOUS 291593048 HAS SOUPS 291593048 WITH SCORE 2.93341868143E8
AT ITER 2516 NEW BEST:: SOT -2000494124 SOS 1748646416 HAS SOPS 1748646416 HAS SOUS 291593048 HAS SOUPS 291593048 WITH SCORE 2.93341694416E8
AT ITER 2529 NEW BEST:: SOT -2000531876 SOS 1748476528 HAS SOPS 1748476528 HAS SOUS 291593044 HAS SOUPS 291593044 WITH SCORE 2.93341520528E8
AT ITER 2530 NEW BEST:: SOT -2000573338 SOS 1748289949 HAS SOPS 1748289949 HAS SOUS 291593044 HAS SOUPS 291593044 WITH SCORE 2.93341333949E8
AT ITER 2534 NEW BEST:: SOT -2000611022 SOS 1748120357 HAS SOPS 1748120357 HAS SOUS 291593030 HAS SOUPS 291593030 WITH SCORE 2.93341150357E8
AT ITER 2539 NEW BEST:: SOT -2000631686 SOS 1748027369 HAS SOPS 1748027369 HAS SOUS 291593030 HAS SOUPS 291593030 WITH SCORE 2.93341057369E8
AT ITER 2554 NEW BEST:: SOT -2000682272 SOS 1747799732 HAS SOPS 1747799732 HAS SOUS 291593030 HAS SOUPS 291593030 WITH SCORE 2.93340829732E8
AT ITER 2569 NEW BEST:: SOT -2000713176 SOS 1747660649 HAS SOPS 1747660649 HAS SOUS 291593015 HAS SOUPS 291593015 WITH SCORE 2.93340675649E8
AT ITER 2570 NEW BEST:: SOT -2000730412 SOS 1747583065 HAS SOPS 1747583065 HAS SOUS 291592993 HAS SOUPS 291592993 WITH SCORE 2.93340576065E8
AT ITER 2578 NEW BEST:: SOT -2000771858 SOS 1747396535 HAS SOPS 1747396535 HAS SOUS 291592970 HAS SOUPS 291592970 WITH SCORE 2.93340366535E8
AT ITER 2592 NEW BEST:: SOT -2000819888 SOS 1747180365 HAS SOPS 1747180365 HAS SOUS 291592923 HAS SOUPS 291592923 WITH SCORE 2.93340103365E8
AT ITER 2596 NEW BEST:: SOT -2000839254 SOS 1747093198 HAS SOPS 1747093198 HAS SOUS 291592903 HAS SOUPS 291592903 WITH SCORE 2.93339996198E8
AT ITER 2606 NEW BEST:: SOT -2000842764 SOS 1747077395 HAS SOPS 1747077395 HAS SOUS 291592895 HAS SOUPS 291592895 WITH SCORE 2.93339972395E8
AT ITER 2610 NEW BEST:: SOT -2000855380 SOS 1747020405 HAS SOPS 1747020405 HAS SOUS 291592677 HAS SOUPS 291592677 WITH SCORE 2.93339697405E8
AT ITER 2627 NEW BEST:: SOT -2000869832 SOS 1746955354 HAS SOPS 1746955354 HAS SOUS 291592660 HAS SOUPS 291592660 WITH SCORE 2.93339615354E8
AT ITER 2629 NEW BEST:: SOT -2000961098 SOS 1746634108 HAS SOPS 1746634108 HAS SOUS 291583417 HAS SOUPS 291583417 WITH SCORE 2.93330051108E8
AT ITER 2656 NEW BEST:: SOT -2000972478 SOS 1746582887 HAS SOPS 1746582887 HAS SOUS 291583406 HAS SOUPS 291583406 WITH SCORE 2.93329988887E8
AT ITER 2660 NEW BEST:: SOT -2000995246 SOS 1746480400 HAS SOPS 1746480400 HAS SOUS 291583369 HAS SOUPS 291583369 WITH SCORE 2.933298494E8
AT ITER 2661 NEW BEST:: SOT -2001022026 SOS 1746359873 HAS SOPS 1746359873 HAS SOUS 291583352 HAS SOUPS 291583352 WITH SCORE 2.93329711873E8
AT ITER 2677 NEW BEST:: SOT -2001117095 SOS 1746031071 HAS SOPS 1746031071 HAS SOUS 291565608 HAS SOUPS 291565608 WITH SCORE 2.93311639071E8
AT ITER 2680 NEW BEST:: SOT -2001137459 SOS 1745939424 HAS SOPS 1745939424 HAS SOUS 291565599 HAS SOUPS 291565599 WITH SCORE 2.93311538424E8
AT ITER 2693 NEW BEST:: SOT -2001146527 SOS 1745898615 HAS SOPS 1745898615 HAS SOUS 291565596 HAS SOUPS 291565596 WITH SCORE 2.93311494615E8
AT ITER 2697 NEW BEST:: SOT -2001146527 SOS 1745898590 HAS SOPS 1745898590 HAS SOUS 291565571 HAS SOUPS 291565571 WITH SCORE 2.9331146959E8
AT ITER 2710 NEW BEST:: SOT -2001185643 SOS 1745722555 HAS SOPS 1745722555 HAS SOUS 291565558 HAS SOUPS 291565558 WITH SCORE 2.93311280555E8
AT ITER 2714 NEW BEST:: SOT -2001209133 SOS 1745616850 HAS SOPS 1745616850 HAS SOUS 291565558 HAS SOUPS 291565558 WITH SCORE 2.9331117485E8
AT ITER 2719 NEW BEST:: SOT -2001225237 SOS 1745544362 HAS SOPS 1745544362 HAS SOUS 291565538 HAS SOUPS 291565538 WITH SCORE 2.93311082362E8
AT ITER 2724 NEW BEST:: SOT -2001265215 SOS 1745364444 HAS SOPS 1745364444 HAS SOUS 291565521 HAS SOUPS 291565521 WITH SCORE 2.93310885444E8
AT ITER 2747 NEW BEST:: SOT -2001292054 SOS 1745225748 HAS SOPS 1745225748 HAS SOUS 291559875 HAS SOUPS 291559875 WITH SCORE 2.93305100748E8
AT ITER 2757 NEW BEST:: SOT -2001348202 SOS 1744935198 HAS SOPS 1744935198 HAS SOUS 291533426 HAS SOUPS 291533426 WITH SCORE 2.93278361198E8
AT ITER 2764 NEW BEST:: SOT -2001356476 SOS 1744897960 HAS SOPS 1744897960 HAS SOUS 291533421 HAS SOUPS 291533421 WITH SCORE 2.9327831896E8
AT ITER 2768 NEW BEST:: SOT -2001373942 SOS 1744819343 HAS SOPS 1744819343 HAS SOUS 291533401 HAS SOUPS 291533401 WITH SCORE 2.93278220343E8
AT ITER 2773 NEW BEST:: SOT -2001377474 SOS 1744803416 HAS SOPS 1744803416 HAS SOUS 291533368 HAS SOUPS 291533368 WITH SCORE 2.93278171416E8
AT ITER 2783 NEW BEST:: SOT -2001385500 SOS 1744767278 HAS SOPS 1744767278 HAS SOUS 291533347 HAS SOUPS 291533347 WITH SCORE 2.93278114278E8
AT ITER 2792 NEW BEST:: SOT -2001422072 SOS 1744584418 HAS SOPS 1744584418 HAS SOUS 291515061 HAS SOUPS 291515061 WITH SCORE 2.93259645418E8
AT ITER 2807 NEW BEST:: SOT -2001454376 SOS 1744439050 HAS SOPS 1744439050 HAS SOUS 291515061 HAS SOUPS 291515061 WITH SCORE 2.9325950005E8
AT ITER 2814 NEW BEST:: SOT -2001488552 SOS 1744285247 HAS SOPS 1744285247 HAS SOUS 291515050 HAS SOUPS 291515050 WITH SCORE 2.93259335247E8
AT ITER 2816 NEW BEST:: SOT -2001488552 SOS 1744285231 HAS SOPS 1744285231 HAS SOUS 291515034 HAS SOUPS 291515034 WITH SCORE 2.93259319231E8
AT ITER 2820 NEW BEST:: SOT -2001493238 SOS 1744264121 HAS SOPS 1744264121 HAS SOUS 291515011 HAS SOUPS 291515011 WITH SCORE 2.93259275121E8
AT ITER 2832 NEW BEST:: SOT -2001502782 SOS 1744221151 HAS SOPS 1744221151 HAS SOUS 291514989 HAS SOUPS 291514989 WITH SCORE 2.93259210151E8
AT ITER 2839 NEW BEST:: SOT -2001511458 SOS 1744182109 HAS SOPS 1744182109 HAS SOUS 291514989 HAS SOUPS 291514989 WITH SCORE 2.93259171109E8
AT ITER 2840 NEW BEST:: SOT -2001516368 SOS 1744160001 HAS SOPS 1744160001 HAS SOUS 291514976 HAS SOUPS 291514976 WITH SCORE 2.93259136001E8
AT ITER 2856 NEW BEST:: SOT -2001566398 SOS 1743934840 HAS SOPS 1743934840 HAS SOUS 291514950 HAS SOUPS 291514950 WITH SCORE 2.9325888484E8
AT ITER 2860 NEW BEST:: SOT -2001601236 SOS 1743778039 HAS SOPS 1743778039 HAS SOUS 291514920 HAS SOUPS 291514920 WITH SCORE 2.93258698039E8
AT ITER 2872 NEW BEST:: SOT -2001632263 SOS 1743632379 HAS SOPS 1743632379 HAS SOUS 291514408 HAS SOUPS 291514408 WITH SCORE 2.93258040379E8
AT ITER 2902 NEW BEST:: SOT -2001644861 SOS 1743575663 HAS SOPS 1743575663 HAS SOUS 291514383 HAS SOUPS 291514383 WITH SCORE 2.93257958663E8
AT ITER 2906 NEW BEST:: SOT -2001644861 SOS 1743575648 HAS SOPS 1743575648 HAS SOUS 291514368 HAS SOUPS 291514368 WITH SCORE 2.93257943648E8
AT ITER 2950 NEW BEST:: SOT -2001659759 SOS 1743508576 HAS SOPS 1743508576 HAS SOUS 291514337 HAS SOUPS 291514337 WITH SCORE 2.93257845576E8
AT ITER 2957 NEW BEST:: SOT -2001684633 SOS 1743396609 HAS SOPS 1743396609 HAS SOUS 291514295 HAS SOUPS 291514295 WITH SCORE 2.93257691609E8
AT ITER 2992 NEW BEST:: SOT -2001734985 SOS 1743144849 HAS SOPS 1743144849 HAS SOUS 291489119 HAS SOUPS 291489119 WITH SCORE 2.93232263849E8
AT ITER 3019 NEW BEST:: SOT -2001746483 SOS 1743089984 HAS SOPS 1743089984 HAS SOUS 291485995 HAS SOUPS 291485995 WITH SCORE 2.93229084984E8
AT ITER 3021 NEW BEST:: SOT -2001767585 SOS 1742994991 HAS SOPS 1742994991 HAS SOUS 291485951 HAS SOUPS 291485951 WITH SCORE 2.93228945991E8
AT ITER 3022 NEW BEST:: SOT -2001801427 SOS 1742842670 HAS SOPS 1742842670 HAS SOUS 291485919 HAS SOUPS 291485919 WITH SCORE 2.9322876167E8
AT ITER 3026 NEW BEST:: SOT -2001843309 SOS 1742654189 HAS SOPS 1742654189 HAS SOUS 291485907 HAS SOUPS 291485907 WITH SCORE 2.93228561189E8
AT ITER 3041 NEW BEST:: SOT -2001884549 SOS 1742468601 HAS SOPS 1742468601 HAS SOUS 291485899 HAS SOUPS 291485899 WITH SCORE 2.93228367601E8
AT ITER 3042 NEW BEST:: SOT -2001915061 SOS 1742331271 HAS SOPS 1742331271 HAS SOUS 291485873 HAS SOUPS 291485873 WITH SCORE 2.93228204271E8
AT ITER 3048 NEW BEST:: SOT -2001959465 SOS 1742109731 HAS SOPS 1742109731 HAS SOUS 291464151 HAS SOUPS 291464151 WITH SCORE 2.93206260731E8
AT ITER 3049 NEW BEST:: SOT -2001979633 SOS 1742018948 HAS SOPS 1742018948 HAS SOUS 291464118 HAS SOUPS 291464118 WITH SCORE 2.93206136948E8
AT ITER 3071 NEW BEST:: SOT -2001999549 SOS 1741929297 HAS SOPS 1741929297 HAS SOUS 291464089 HAS SOUPS 291464089 WITH SCORE 2.93206018297E8
AT ITER 3072 NEW BEST:: SOT -2002016645 SOS 1741852351 HAS SOPS 1741852351 HAS SOUS 291464075 HAS SOUPS 291464075 WITH SCORE 2.93205927351E8
AT ITER 3089 NEW BEST:: SOT -2002027369 SOS 1741804091 HAS SOPS 1741804091 HAS SOUS 291464073 HAS SOUPS 291464073 WITH SCORE 2.93205877091E8
AT ITER 3091 NEW BEST:: SOT -2002027369 SOS 1741803823 HAS SOPS 1741803823 HAS SOUS 291463805 HAS SOUPS 291463805 WITH SCORE 2.93205608823E8
AT ITER 3095 NEW BEST:: SOT -2002114864 SOS 1741473213 HAS SOPS 1741473213 HAS SOUS 291456656 HAS SOUPS 291456656 WITH SCORE 2.93198129213E8
AT ITER 3130 NEW BEST:: SOT -2002143099 SOS 1741327099 HAS SOPS 1741327099 HAS SOUS 291448912 HAS SOUPS 291448912 WITH SCORE 2.93190239099E8
AT ITER 3136 NEW BEST:: SOT -2002156265 SOS 1741267834 HAS SOPS 1741267834 HAS SOUS 291448894 HAS SOUPS 291448894 WITH SCORE 2.93190161834E8
AT ITER 3142 NEW BEST:: SOT -2002221935 SOS 1740940548 HAS SOPS 1740940548 HAS SOUS 291417123 HAS SOUPS 291417123 WITH SCORE 2.93158063548E8
AT ITER 3155 NEW BEST:: SOT -2002246793 SOS 1740828655 HAS SOPS 1740828655 HAS SOUS 291417083 HAS SOUPS 291417083 WITH SCORE 2.93157911655E8
AT ITER 3157 NEW BEST:: SOT -2002288719 SOS 1740639968 HAS SOPS 1740639968 HAS SOUS 291417063 HAS SOUPS 291417063 WITH SCORE 2.93157702968E8
AT ITER 3175 NEW BEST:: SOT -2002293021 SOS 1740620609 HAS SOPS 1740620609 HAS SOUS 291417063 HAS SOUPS 291417063 WITH SCORE 2.93157683609E8
AT ITER 3176 NEW BEST:: SOT -2002308537 SOS 1740550787 HAS SOPS 1740550787 HAS SOUS 291417063 HAS SOUPS 291417063 WITH SCORE 2.93157613787E8
AT ITER 3199 NEW BEST:: SOT -2002315329 SOS 1740520196 HAS SOPS 1740520196 HAS SOUS 291417036 HAS SOUPS 291417036 WITH SCORE 2.93157556196E8
AT ITER 3212 NEW BEST:: SOT -2002326585 SOS 1740469534 HAS SOPS 1740469534 HAS SOUS 291417026 HAS SOUPS 291417026 WITH SCORE 2.93157495534E8
AT ITER 3214 NEW BEST:: SOT -2002349441 SOS 1740366654 HAS SOPS 1740366654 HAS SOUS 291416998 HAS SOUPS 291416998 WITH SCORE 2.93157364654E8
AT ITER 3222 NEW BEST:: SOT -2002386183 SOS 1740179762 HAS SOPS 1740179762 HAS SOUS 291404577 HAS SOUPS 291404577 WITH SCORE 2.93144756762E8
AT ITER 3256 NEW BEST:: SOT -2002441297 SOS 1739904192 HAS SOPS 1739904192 HAS SOUS 291377020 HAS SOUPS 291377020 WITH SCORE 2.93116924192E8
AT ITER 3257 NEW BEST:: SOT -2002460507 SOS 1739817723 HAS SOPS 1739817723 HAS SOUS 291376996 HAS SOUPS 291376996 WITH SCORE 2.93116813723E8
AT ITER 3274 NEW BEST:: SOT -2002483785 SOS 1739712962 HAS SOPS 1739712962 HAS SOUS 291376986 HAS SOUPS 291376986 WITH SCORE 2.93116698962E8
AT ITER 3275 NEW BEST:: SOT -2002533175 SOS 1739490699 HAS SOPS 1739490699 HAS SOUS 291376978 HAS SOUPS 291376978 WITH SCORE 2.93116468699E8
AT ITER 3289 NEW BEST:: SOT -2002556597 SOS 1739385283 HAS SOPS 1739385283 HAS SOUS 291376961 HAS SOUPS 291376961 WITH SCORE 2.93116346283E8
AT ITER 3319 NEW BEST:: SOT -2002600719 SOS 1739186712 HAS SOPS 1739186712 HAS SOUS 291376939 HAS SOUPS 291376939 WITH SCORE 2.93116125712E8
AT ITER 3348 NEW BEST:: SOT -2002621333 SOS 1739093329 HAS SOPS 1739093329 HAS SOUS 291376319 HAS SOUPS 291376319 WITH SCORE 2.93115412329E8
AT ITER 3356 NEW BEST:: SOT -2002648422 SOS 1738955894 HAS SOPS 1738955894 HAS SOUS 291367039 HAS SOUPS 291367039 WITH SCORE 2.93105994894E8
AT ITER 3373 NEW BEST:: SOT -2002701244 SOS 1738718178 HAS SOPS 1738718178 HAS SOUS 291367022 HAS SOUPS 291367022 WITH SCORE 2.93105740178E8
AT ITER 3380 NEW BEST:: SOT -2002765836 SOS 1738427514 HAS SOPS 1738427514 HAS SOUS 291367022 HAS SOUPS 291367022 WITH SCORE 2.93105449514E8
AT ITER 3404 NEW BEST:: SOT -2002768636 SOS 1738414914 HAS SOPS 1738414914 HAS SOUS 291367022 HAS SOUPS 291367022 WITH SCORE 2.93105436914E8
AT ITER 3447 NEW BEST:: SOT -2002780082 SOS 1738363383 HAS SOPS 1738363383 HAS SOUS 291366998 HAS SOUPS 291366998 WITH SCORE 2.93105361383E8
AT ITER 3461 NEW BEST:: SOT -2002818274 SOS 1738191488 HAS SOPS 1738191488 HAS SOUS 291366957 HAS SOUPS 291366957 WITH SCORE 2.93105148488E8
AT ITER 3462 NEW BEST:: SOT -2002828314 SOS 1738146303 HAS SOPS 1738146303 HAS SOUS 291366952 HAS SOUPS 291366952 WITH SCORE 2.93105098303E8
AT ITER 3520 NEW BEST:: SOT -2002848702 SOS 1738054545 HAS SOPS 1738054545 HAS SOUS 291366940 HAS SOUPS 291366940 WITH SCORE 2.93104994545E8
AT ITER 3521 NEW BEST:: SOT -2002854558 SOS 1738028183 HAS SOPS 1738028183 HAS SOUS 291366930 HAS SOUPS 291366930 WITH SCORE 2.93104958183E8
AT ITER 3539 NEW BEST:: SOT -2002864110 SOS 1737981216 HAS SOPS 1737981216 HAS SOUS 291362947 HAS SOUPS 291362947 WITH SCORE 2.93100928216E8
AT ITER 3543 NEW BEST:: SOT -2002876644 SOS 1737924784 HAS SOPS 1737924784 HAS SOUS 291362918 HAS SOUPS 291362918 WITH SCORE 2.93100842784E8
AT ITER 3547 NEW BEST:: SOT -2002913688 SOS 1737758067 HAS SOPS 1737758067 HAS SOUS 291362899 HAS SOUPS 291362899 WITH SCORE 2.93100657067E8
AT ITER 3550 NEW BEST:: SOT -2002930350 SOS 1737682956 HAS SOPS 1737682956 HAS SOUS 291362767 HAS SOUPS 291362767 WITH SCORE 2.93100449956E8
AT ITER 3555 NEW BEST:: SOT -2002958164 SOS 1737557793 HAS SOPS 1737557793 HAS SOUS 291362767 HAS SOUPS 291362767 WITH SCORE 2.93100324793E8
AT ITER 3556 NEW BEST:: SOT -2003012156 SOS 1737314798 HAS SOPS 1737314798 HAS SOUS 291362728 HAS SOUPS 291362728 WITH SCORE 2.93100042798E8
AT ITER 3580 NEW BEST:: SOT -2003028450 SOS 1737241464 HAS SOPS 1737241464 HAS SOUS 291362717 HAS SOUPS 291362717 WITH SCORE 2.93099958464E8
AT ITER 3606 NEW BEST:: SOT -2003071594 SOS 1737047313 HAS SOPS 1737047313 HAS SOUS 291362714 HAS SOUPS 291362714 WITH SCORE 2.93099761313E8
AT ITER 3628 NEW BEST:: SOT -2003110972 SOS 1736869965 HAS SOPS 1736869965 HAS SOUS 291362567 HAS SOUPS 291362567 WITH SCORE 2.93099436965E8
AT ITER 3642 NEW BEST:: SOT -2003114514 SOS 1736852255 HAS SOPS 1736852255 HAS SOUS 291360796 HAS SOUPS 291360796 WITH SCORE 2.93097648255E8
AT ITER 3643 NEW BEST:: SOT -2003124153 SOS 1736820118 HAS SOPS 1736820118 HAS SOUS 291357576 HAS SOUPS 291357576 WITH SCORE 2.93094396118E8
AT ITER 3646 NEW BEST:: SOT -2003144485 SOS 1736728608 HAS SOPS 1736728608 HAS SOUS 291357560 HAS SOUPS 291357560 WITH SCORE 2.93094288608E8
AT ITER 3698 NEW BEST:: SOT -2003197399 SOS 1736490461 HAS SOPS 1736490461 HAS SOUS 291357516 HAS SOUPS 291357516 WITH SCORE 2.93094006461E8
AT ITER 3758 NEW BEST:: SOT -2003228939 SOS 1736348501 HAS SOPS 1736348501 HAS SOUS 291357486 HAS SOUPS 291357486 WITH SCORE 2.93093834501E8
AT ITER 3774 NEW BEST:: SOT -2003254643 SOS 1736232810 HAS SOPS 1736232810 HAS SOUS 291357463 HAS SOUPS 291357463 WITH SCORE 2.9309369581E8
AT ITER 3780 NEW BEST:: SOT -2003292803 SOS 1736061071 HAS SOPS 1736061071 HAS SOUS 291357444 HAS SOUPS 291357444 WITH SCORE 2.93093505071E8
AT ITER 3798 NEW BEST:: SOT -2003308015 SOS 1735992590 HAS SOPS 1735992590 HAS SOUS 291357407 HAS SOUPS 291357407 WITH SCORE 2.9309339959E8
AT ITER 3825 NEW BEST:: SOT -2003358571 SOS 1735740236 HAS SOPS 1735740236 HAS SOUS 291332545 HAS SOUPS 291332545 WITH SCORE 2.93068285236E8
AT ITER 3840 NEW BEST:: SOT -2003411637 SOS 1735501417 HAS SOPS 1735501417 HAS SOUS 291332523 HAS SOUPS 291332523 WITH SCORE 2.93068024417E8
AT ITER 3862 NEW BEST:: SOT -2003447049 SOS 1735342031 HAS SOPS 1735342031 HAS SOUS 291332485 HAS SOUPS 291332485 WITH SCORE 2.93067827031E8
AT ITER 3876 NEW BEST:: SOT -2003493501 SOS 1735132973 HAS SOPS 1735132973 HAS SOUS 291332461 HAS SOUPS 291332461 WITH SCORE 2.93067593973E8
AT ITER 3879 NEW BEST:: SOT -2003530209 SOS 1734967776 HAS SOPS 1734967776 HAS SOUS 291332450 HAS SOUPS 291332450 WITH SCORE 2.93067417776E8
AT ITER 3882 NEW BEST:: SOT -2003573593 SOS 1734772514 HAS SOPS 1734772514 HAS SOUS 291332408 HAS SOUPS 291332408 WITH SCORE 2.93067180514E8
AT ITER 3900 NEW BEST:: SOT -2003629437 SOS 1734521181 HAS SOPS 1734521181 HAS SOUS 291332365 HAS SOUPS 291332365 WITH SCORE 2.93066886181E8
AT ITER 3911 NEW BEST:: SOT -2003654268 SOS 1734394034 HAS SOPS 1734394034 HAS SOUS 291326614 HAS SOUPS 291326614 WITH SCORE 2.93061008034E8
AT ITER 3943 NEW BEST:: SOT -2003699416 SOS 1734190637 HAS SOPS 1734190637 HAS SOUS 291326383 HAS SOUPS 291326383 WITH SCORE 2.93060573637E8
AT ITER 3968 NEW BEST:: SOT -2003710646 SOS 1734140102 HAS SOPS 1734140102 HAS SOUS 291326383 HAS SOUPS 291326383 WITH SCORE 2.93060523102E8
AT ITER 3976 NEW BEST:: SOT -2003752828 SOS 1733950283 HAS SOPS 1733950283 HAS SOUS 291326383 HAS SOUPS 291326383 WITH SCORE 2.93060333283E8
AT ITER 3997 NEW BEST:: SOT -2003774828 SOS 1733851257 HAS SOPS 1733851257 HAS SOUS 291326357 HAS SOUPS 291326357 WITH SCORE 2.93060208257E8
AT ITER 4006 NEW BEST:: SOT -2003784838 SOS 1733806175 HAS SOPS 1733806175 HAS SOUS 291326312 HAS SOUPS 291326312 WITH SCORE 2.93060118175E8
AT ITER 4018 NEW BEST:: SOT -2003798860 SOS 1733743050 HAS SOPS 1733743050 HAS SOUS 291326286 HAS SOUPS 291326286 WITH SCORE 2.9306002905E8
AT ITER 4022 NEW BEST:: SOT -2003849136 SOS 1733516804 HAS SOPS 1733516804 HAS SOUS 291326282 HAS SOUPS 291326282 WITH SCORE 2.93059798804E8
AT ITER 4023 NEW BEST:: SOT -2003860052 SOS 1733467659 HAS SOPS 1733467659 HAS SOUS 291326259 HAS SOUPS 291326259 WITH SCORE 2.93059726659E8
AT ITER 4025 NEW BEST:: SOT -2003923504 SOS 1733182092 HAS SOPS 1733182092 HAS SOUS 291326216 HAS SOUPS 291326216 WITH SCORE 2.93059398092E8
AT ITER 4039 NEW BEST:: SOT -2003924214 SOS 1733178864 HAS SOPS 1733178864 HAS SOUS 291326175 HAS SOUPS 291326175 WITH SCORE 2.93059353864E8
AT ITER 4045 NEW BEST:: SOT -2003924214 SOS 1733178864 HAS SOPS 1733178864 HAS SOUS 291326041 HAS SOUPS 291326041 WITH SCORE 2.93059219864E8
AT ITER 4049 NEW BEST:: SOT -2003929436 SOS 1733155341 HAS SOPS 1733155341 HAS SOUS 291326017 HAS SOUPS 291326017 WITH SCORE 2.93059172341E8
AT ITER 4055 NEW BEST:: SOT -2003934752 SOS 1733131387 HAS SOPS 1733131387 HAS SOUS 291325985 HAS SOUPS 291325985 WITH SCORE 2.93059116387E8
AT ITER 4085 NEW BEST:: SOT -2003952472 SOS 1733051644 HAS SOPS 1733051644 HAS SOUS 291325982 HAS SOUPS 291325982 WITH SCORE 2.93059033644E8
AT ITER 4097 NEW BEST:: SOT -2004014342 SOS 1732773218 HAS SOPS 1732773218 HAS SOUS 291325971 HAS SOUPS 291325971 WITH SCORE 2.93058744218E8
AT ITER 4117 NEW BEST:: SOT -2004112785 SOS 1732443953 HAS SOPS 1732443953 HAS SOUS 291294426 HAS SOUPS 291294426 WITH SCORE 2.93026869953E8
AT ITER 4127 NEW BEST:: SOT -2004128825 SOS 1732371771 HAS SOPS 1732371771 HAS SOUS 291294424 HAS SOUPS 291294424 WITH SCORE 2.93026795771E8
AT ITER 4142 NEW BEST:: SOT -2004134547 SOS 1732345995 HAS SOPS 1732345995 HAS SOUS 291294397 HAS SOUPS 291294397 WITH SCORE 2.93026742995E8
AT ITER 4146 NEW BEST:: SOT -2004139197 SOS 1732325064 HAS SOPS 1732325064 HAS SOUS 291294391 HAS SOUPS 291294391 WITH SCORE 2.93026716064E8
AT ITER 4156 NEW BEST:: SOT -2004183343 SOS 1732126386 HAS SOPS 1732126386 HAS SOUS 291294370 HAS SOUPS 291294370 WITH SCORE 2.93026496386E8
AT ITER 4164 NEW BEST:: SOT -2004217061 SOS 1731974564 HAS SOPS 1731974564 HAS SOUS 291294279 HAS SOUPS 291294279 WITH SCORE 2.93026253564E8
AT ITER 4188 NEW BEST:: SOT -2004248923 SOS 1731815728 HAS SOPS 1731815728 HAS SOUS 291278822 HAS SOUPS 291278822 WITH SCORE 2.93010637728E8
AT ITER 4214 NEW BEST:: SOT -2004262403 SOS 1731755063 HAS SOPS 1731755063 HAS SOUS 291278817 HAS SOUPS 291278817 WITH SCORE 2.93010572063E8
AT ITER 4217 NEW BEST:: SOT -2004323615 SOS 1731448885 HAS SOPS 1731448885 HAS SOUS 291248636 HAS SOUPS 291248636 WITH SCORE 2.92980084885E8
AT ITER 4240 NEW BEST:: SOT -2004363347 SOS 1731270088 HAS SOPS 1731270088 HAS SOUS 291248633 HAS SOUPS 291248633 WITH SCORE 2.92979903088E8
AT ITER 4250 NEW BEST:: SOT -2004376819 SOS 1731209455 HAS SOPS 1731209455 HAS SOUS 291248624 HAS SOUPS 291248624 WITH SCORE 2.92979833455E8
AT ITER 4251 NEW BEST:: SOT -2004390828 SOS 1731135276 HAS SOPS 1731135276 HAS SOUS 291248045 HAS SOUPS 291248045 WITH SCORE 2.92979180276E8
AT ITER 4259 NEW BEST:: SOT -2004444678 SOS 1730892934 HAS SOPS 1730892934 HAS SOUS 291248028 HAS SOUPS 291248028 WITH SCORE 2.92978920934E8
AT ITER 4264 NEW BEST:: SOT -2004444678 SOS 1730892916 HAS SOPS 1730892916 HAS SOUS 291248010 HAS SOUPS 291248010 WITH SCORE 2.92978902916E8
AT ITER 4266 NEW BEST:: SOT -2004462872 SOS 1730800218 HAS SOPS 1730800218 HAS SOUS 291247608 HAS SOUPS 291247608 WITH SCORE 2.92978408218E8
AT ITER 4287 NEW BEST:: SOT -2004462872 SOS 1730796047 HAS SOPS 1730796047 HAS SOUS 291243437 HAS SOUPS 291243437 WITH SCORE 2.92974233047E8
AT ITER 4307 NEW BEST:: SOT -2004502062 SOS 1730619674 HAS SOPS 1730619674 HAS SOUS 291243419 HAS SOUPS 291243419 WITH SCORE 2.92974038674E8
AT ITER 4308 NEW BEST:: SOT -2004510184 SOS 1730583105 HAS SOPS 1730583105 HAS SOUS 291243399 HAS SOUPS 291243399 WITH SCORE 2.92973982105E8
AT ITER 4315 NEW BEST:: SOT -2004523418 SOS 1730516935 HAS SOPS 1730516935 HAS SOUS 291236782 HAS SOUPS 291236782 WITH SCORE 2.92967298935E8
AT ITER 4316 NEW BEST:: SOT -2004566868 SOS 1730321390 HAS SOPS 1730321390 HAS SOUS 291236762 HAS SOUPS 291236762 WITH SCORE 2.9296708339E8
AT ITER 4319 NEW BEST:: SOT -2004578368 SOS 1730269611 HAS SOPS 1730269611 HAS SOUS 291236723 HAS SOUPS 291236723 WITH SCORE 2.92966992611E8
AT ITER 4324 NEW BEST:: SOT -2004614270 SOS 1730108016 HAS SOPS 1730108016 HAS SOUS 291236675 HAS SOUPS 291236675 WITH SCORE 2.92966783016E8
AT ITER 4330 NEW BEST:: SOT -2004641664 SOS 1729984738 HAS SOPS 1729984738 HAS SOUS 291236670 HAS SOUPS 291236670 WITH SCORE 2.92966654738E8
AT ITER 4336 NEW BEST:: SOT -2004681640 SOS 1729804817 HAS SOPS 1729804817 HAS SOUS 291236641 HAS SOUPS 291236641 WITH SCORE 2.92966445817E8
AT ITER 4339 NEW BEST:: SOT -2004711932 SOS 1729668477 HAS SOPS 1729668477 HAS SOUS 291236615 HAS SOUPS 291236615 WITH SCORE 2.92966283477E8
AT ITER 4344 NEW BEST:: SOT -2004732004 SOS 1729578127 HAS SOPS 1729578127 HAS SOUS 291236589 HAS SOUPS 291236589 WITH SCORE 2.92966167127E8
AT ITER 4347 NEW BEST:: SOT -2004748360 SOS 1729504521 HAS SOPS 1729504521 HAS SOUS 291236585 HAS SOUPS 291236585 WITH SCORE 2.92966089521E8
AT ITER 4371 NEW BEST:: SOT -2004757600 SOS 1729462908 HAS SOPS 1729462908 HAS SOUS 291236542 HAS SOUPS 291236542 WITH SCORE 2.92966004908E8
AT ITER 4381 NEW BEST:: SOT -2004777637 SOS 1729362236 HAS SOPS 1729362236 HAS SOUS 291233047 HAS SOUPS 291233047 WITH SCORE 2.92962409236E8
AT ITER 4388 NEW BEST:: SOT -2004826627 SOS 1729141776 HAS SOPS 1729141776 HAS SOUS 291233042 HAS SOUPS 291233042 WITH SCORE 2.92962183776E8
AT ITER 4391 NEW BEST:: SOT -2004856211 SOS 1729008622 HAS SOPS 1729008622 HAS SOUS 291233010 HAS SOUPS 291233010 WITH SCORE 2.92962018622E8
AT ITER 4405 NEW BEST:: SOT -2004881835 SOS 1728880502 HAS SOPS 1728880502 HAS SOUS 291220198 HAS SOUPS 291220198 WITH SCORE 2.92949078502E8
AT ITER 4406 NEW BEST:: SOT -2004929287 SOS 1728644308 HAS SOPS 1728644308 HAS SOUS 291197538 HAS SOUPS 291197538 WITH SCORE 2.92926182308E8
AT ITER 4408 NEW BEST:: SOT -2004947867 SOS 1728560677 HAS SOPS 1728560677 HAS SOUS 291197517 HAS SOUPS 291197517 WITH SCORE 2.92926077677E8
AT ITER 4429 NEW BEST:: SOT -2004950393 SOS 1728549288 HAS SOPS 1728549288 HAS SOUS 291197495 HAS SOUPS 291197495 WITH SCORE 2.92926044288E8
AT ITER 4438 NEW BEST:: SOT -2004984091 SOS 1728381490 HAS SOPS 1728381490 HAS SOUS 291181338 HAS SOUPS 291181338 WITH SCORE 2.9290971949E8
AT ITER 4443 NEW BEST:: SOT -2005026389 SOS 1728191145 HAS SOPS 1728191145 HAS SOUS 291181334 HAS SOUPS 291181334 WITH SCORE 2.92909525145E8
AT ITER 4446 NEW BEST:: SOT -2005026389 SOS 1728190667 HAS SOPS 1728190667 HAS SOUS 291180856 HAS SOUPS 291180856 WITH SCORE 2.92909046667E8
AT ITER 4458 NEW BEST:: SOT -2005046541 SOS 1728099694 HAS SOPS 1728099694 HAS SOUS 291180567 HAS SOUPS 291180567 WITH SCORE 2.92908666694E8
AT ITER 4480 NEW BEST:: SOT -2005052101 SOS 1728074674 HAS SOPS 1728074674 HAS SOUS 291180567 HAS SOUPS 291180567 WITH SCORE 2.92908641674E8
AT ITER 4481 NEW BEST:: SOT -2005076919 SOS 1727962721 HAS SOPS 1727962721 HAS SOUS 291180295 HAS SOUPS 291180295 WITH SCORE 2.92908257721E8
AT ITER 4490 NEW BEST:: SOT -2005097857 SOS 1727858329 HAS SOPS 1727858329 HAS SOUS 291170965 HAS SOUPS 291170965 WITH SCORE 2.92898823329E8
AT ITER 4495 NEW BEST:: SOT -2005123013 SOS 1727745122 HAS SOPS 1727745122 HAS SOUS 291170960 HAS SOUPS 291170960 WITH SCORE 2.92898705122E8
AT ITER 4496 NEW BEST:: SOT -2005138193 SOS 1727676807 HAS SOPS 1727676807 HAS SOUS 291170955 HAS SOUPS 291170955 WITH SCORE 2.92898631807E8
AT ITER 4506 NEW BEST:: SOT -2005192493 SOS 1727432457 HAS SOPS 1727432457 HAS SOUS 291170955 HAS SOUPS 291170955 WITH SCORE 2.92898387457E8
AT ITER 4548 NEW BEST:: SOT -2005208681 SOS 1727359589 HAS SOPS 1727359589 HAS SOUS 291170933 HAS SOUPS 291170933 WITH SCORE 2.92898292589E8
AT ITER 4556 NEW BEST:: SOT -2005214543 SOS 1727333098 HAS SOPS 1727333098 HAS SOUS 291170821 HAS SOUPS 291170821 WITH SCORE 2.92898154098E8
AT ITER 4560 NEW BEST:: SOT -2005234153 SOS 1727244826 HAS SOPS 1727244826 HAS SOUS 291170784 HAS SOUPS 291170784 WITH SCORE 2.92898028826E8
AT ITER 4566 NEW BEST:: SOT -2005244373 SOS 1727198831 HAS SOPS 1727198831 HAS SOUS 291170779 HAS SOUPS 291170779 WITH SCORE 2.92897977831E8
AT ITER 4609 NEW BEST:: SOT -2005294223 SOS 1726974487 HAS SOPS 1726974487 HAS SOUS 291170760 HAS SOUPS 291170760 WITH SCORE 2.92897734487E8
AT ITER 4613 NEW BEST:: SOT -2005339075 SOS 1726772633 HAS SOPS 1726772633 HAS SOUS 291170740 HAS SOUPS 291170740 WITH SCORE 2.92897512633E8
AT ITER 4614 NEW BEST:: SOT -2005390141 SOS 1726542814 HAS SOPS 1726542814 HAS SOUS 291170718 HAS SOUPS 291170718 WITH SCORE 2.92897260814E8
AT ITER 4628 NEW BEST:: SOT -2005426353 SOS 1726379846 HAS SOPS 1726379846 HAS SOUS 291170704 HAS SOUPS 291170704 WITH SCORE 2.92897083846E8
AT ITER 4632 NEW BEST:: SOT -2005452861 SOS 1726260528 HAS SOPS 1726260528 HAS SOUS 291170660 HAS SOUPS 291170660 WITH SCORE 2.92896920528E8
AT ITER 4640 NEW BEST:: SOT -2005456109 SOS 1726245883 HAS SOPS 1726245883 HAS SOUS 291170631 HAS SOUPS 291170631 WITH SCORE 2.92896876883E8
AT ITER 4662 NEW BEST:: SOT -2005497329 SOS 1726060366 HAS SOPS 1726060366 HAS SOUS 291170604 HAS SOUPS 291170604 WITH SCORE 2.92896664366E8
AT ITER 4667 NEW BEST:: SOT -2005582251 SOS 1725734797 HAS SOPS 1725734797 HAS SOUS 291167861 HAS SOUPS 291167861 WITH SCORE 2.92893595797E8
AT ITER 4680 NEW BEST:: SOT -2005606313 SOS 1725626505 HAS SOPS 1725626505 HAS SOUS 291167848 HAS SOUPS 291167848 WITH SCORE 2.92893474505E8
AT ITER 4686 NEW BEST:: SOT -2005617816 SOS 1725585869 HAS SOPS 1725585869 HAS SOUS 291165521 HAS SOUPS 291165521 WITH SCORE 2.92891106869E8
AT ITER 4688 NEW BEST:: SOT -2005680782 SOS 1725302487 HAS SOPS 1725302487 HAS SOUS 291165476 HAS SOUPS 291165476 WITH SCORE 2.92890778487E8
AT ITER 4689 NEW BEST:: SOT -2005709089 SOS 1725115273 HAS SOPS 1725115273 HAS SOUS 291163353 HAS SOUPS 291163353 WITH SCORE 2.92888468273E8
AT ITER 4702 NEW BEST:: SOT -2005762093 SOS 1724876492 HAS SOPS 1724876492 HAS SOUS 291163090 HAS SOUPS 291163090 WITH SCORE 2.92887966492E8
AT ITER 4718 NEW BEST:: SOT -2005799965 SOS 1724706035 HAS SOPS 1724706035 HAS SOUS 291163047 HAS SOUPS 291163047 WITH SCORE 2.92887753035E8
AT ITER 4720 NEW BEST:: SOT -2005810939 SOS 1724656652 HAS SOPS 1724656652 HAS SOUS 291163047 HAS SOUPS 291163047 WITH SCORE 2.92887703652E8
AT ITER 4721 NEW BEST:: SOT -2005849511 SOS 1724461315 HAS SOPS 1724461315 HAS SOUS 291148956 HAS SOUPS 291148956 WITH SCORE 2.92873417315E8
AT ITER 4728 NEW BEST:: SOT -2005861949 SOS 1724405344 HAS SOPS 1724405344 HAS SOUS 291148956 HAS SOUPS 291148956 WITH SCORE 2.92873361344E8
AT ITER 4730 NEW BEST:: SOT -2005876591 SOS 1724339450 HAS SOPS 1724339450 HAS SOUS 291148951 HAS SOUPS 291148951 WITH SCORE 2.9287329045E8
AT ITER 4731 NEW BEST:: SOT -2005937375 SOS 1724065886 HAS SOPS 1724065886 HAS SOUS 291148905 HAS SOUPS 291148905 WITH SCORE 2.92872970886E8
AT ITER 4736 NEW BEST:: SOT -2005937039 SOS 1724068238 HAS SOPS 1724068238 HAS SOUS 291148569 HAS SOUPS 291148569 WITH SCORE 2.92872637238E8
AT ITER 4759 NEW BEST:: SOT -2005937039 SOS 1724068227 HAS SOPS 1724068227 HAS SOUS 291148558 HAS SOUPS 291148558 WITH SCORE 2.92872626227E8
AT ITER 4765 NEW BEST:: SOT -2005943947 SOS 1724037109 HAS SOPS 1724037109 HAS SOUS 291148518 HAS SOUPS 291148518 WITH SCORE 2.92872555109E8
AT ITER 4769 NEW BEST:: SOT -2005969497 SOS 1723922107 HAS SOPS 1723922107 HAS SOUS 291148491 HAS SOUPS 291148491 WITH SCORE 2.92872413107E8
AT ITER 4771 NEW BEST:: SOT -2006004639 SOS 1723746397 HAS SOPS 1723746397 HAS SOUS 291130920 HAS SOUPS 291130920 WITH SCORE 2.92854666397E8
AT ITER 4785 NEW BEST:: SOT -2006042065 SOS 1723577948 HAS SOPS 1723577948 HAS SOUS 291130888 HAS SOUPS 291130888 WITH SCORE 2.92854465948E8
AT ITER 4792 NEW BEST:: SOT -2006067159 SOS 1723465007 HAS SOPS 1723465007 HAS SOUS 291130870 HAS SOUPS 291130870 WITH SCORE 2.92854335007E8
AT ITER 4809 NEW BEST:: SOT -2006067159 SOS 1723464998 HAS SOPS 1723464998 HAS SOUS 291130861 HAS SOUPS 291130861 WITH SCORE 2.92854325998E8
AT ITER 4810 NEW BEST:: SOT -2006100577 SOS 1723314601 HAS SOPS 1723314601 HAS SOUS 291130845 HAS SOUPS 291130845 WITH SCORE 2.92854159601E8
AT ITER 4817 NEW BEST:: SOT -2006148107 SOS 1723100711 HAS SOPS 1723100711 HAS SOUS 291130840 HAS SOUPS 291130840 WITH SCORE 2.92853940711E8
AT ITER 4841 NEW BEST:: SOT -2006212285 SOS 1722811799 HAS SOPS 1722811799 HAS SOUS 291130729 HAS SOUPS 291130729 WITH SCORE 2.92853540799E8
AT ITER 4888 NEW BEST:: SOT -2006254177 SOS 1722623280 HAS SOPS 1722623280 HAS SOUS 291130724 HAS SOUPS 291130724 WITH SCORE 2.9285334728E8
AT ITER 4898 NEW BEST:: SOT -2006271179 SOS 1722546760 HAS SOPS 1722546760 HAS SOUS 291130713 HAS SOUPS 291130713 WITH SCORE 2.9285325976E8
AT ITER 4900 NEW BEST:: SOT -2006304848 SOS 1722375694 HAS SOPS 1722375694 HAS SOUS 291121409 HAS SOUPS 291121409 WITH SCORE 2.92843784694E8
AT ITER 4901 NEW BEST:: SOT -2006340856 SOS 1722213658 HAS SOPS 1722213658 HAS SOUS 291121409 HAS SOUPS 291121409 WITH SCORE 2.92843622658E8
AT ITER 4923 NEW BEST:: SOT -2006356880 SOS 1722141521 HAS SOPS 1722141521 HAS SOUS 291121374 HAS SOUPS 291121374 WITH SCORE 2.92843515521E8
AT ITER 4930 NEW BEST:: SOT -2006361894 SOS 1722118941 HAS SOPS 1722118941 HAS SOUS 291121357 HAS SOUPS 291121357 WITH SCORE 2.92843475941E8
AT ITER 4944 NEW BEST:: SOT -2006382226 SOS 1722027427 HAS SOPS 1722027427 HAS SOUS 291121337 HAS SOUPS 291121337 WITH SCORE 2.92843364427E8
AT ITER 4952 NEW BEST:: SOT -2006384824 SOS 1722015736 HAS SOPS 1722015736 HAS SOUS 291121337 HAS SOUPS 291121337 WITH SCORE 2.92843352736E8
AT ITER 4960 NEW BEST:: SOT -2006431666 SOS 1721804947 HAS SOPS 1721804947 HAS SOUS 291121337 HAS SOUPS 291121337 WITH SCORE 2.92843141947E8
AT ITER 4971 NEW BEST:: SOT -2006452508 SOS 1721711124 HAS SOPS 1721711124 HAS SOUS 291121295 HAS SOUPS 291121295 WITH SCORE 2.92843006124E8
AT ITER 5002 NEW BEST:: SOT -2006512941 SOS 1721402586 HAS SOPS 1721402586 HAS SOUS 291097400 HAS SOUPS 291097400 WITH SCORE 2.92818802586E8
AT ITER 5017 NEW BEST:: SOT -2006526053 SOS 1721343557 HAS SOPS 1721343557 HAS SOUS 291097375 HAS SOUPS 291097375 WITH SCORE 2.92818718557E8
AT ITER 5025 NEW BEST:: SOT -2006531849 SOS 1721314577 HAS SOPS 1721314577 HAS SOUS 291094477 HAS SOUPS 291094477 WITH SCORE 2.92815791577E8
AT ITER 5030 NEW BEST:: SOT -2006557227 SOS 1721189963 HAS SOPS 1721189963 HAS SOUS 291084064 HAS SOUPS 291084064 WITH SCORE 2.92805253963E8
AT ITER 5094 NEW BEST:: SOT -2006594395 SOS 1721022704 HAS SOPS 1721022704 HAS SOUS 291084061 HAS SOUPS 291084061 WITH SCORE 2.92805083704E8
AT ITER 5108 NEW BEST:: SOT -2006618433 SOS 1720914522 HAS SOPS 1720914522 HAS SOUS 291084050 HAS SOUPS 291084050 WITH SCORE 2.92804964522E8
AT ITER 5143 NEW BEST:: SOT -2006621973 SOS 1720898560 HAS SOPS 1720898560 HAS SOUS 291084010 HAS SOUPS 291084010 WITH SCORE 2.9280490856E8
AT ITER 5159 NEW BEST:: SOT -2006652925 SOS 1720737535 HAS SOPS 1720737535 HAS SOUS 291070347 HAS SOUPS 291070347 WITH SCORE 2.92791084535E8
AT ITER 5163 NEW BEST:: SOT -2006660811 SOS 1720702043 HAS SOPS 1720702043 HAS SOUS 291070342 HAS SOUPS 291070342 WITH SCORE 2.92791044043E8
AT ITER 5172 NEW BEST:: SOT -2006677815 SOS 1720625509 HAS SOPS 1720625509 HAS SOUS 291070326 HAS SOUPS 291070326 WITH SCORE 2.92790951509E8
AT ITER 5179 NEW BEST:: SOT -2006737617 SOS 1720356392 HAS SOPS 1720356392 HAS SOUS 291070318 HAS SOUPS 291070318 WITH SCORE 2.92790674392E8
AT ITER 5189 NEW BEST:: SOT -2006801407 SOS 1720069314 HAS SOPS 1720069314 HAS SOUS 291070295 HAS SOUPS 291070295 WITH SCORE 2.92790364314E8
AT ITER 5203 NEW BEST:: SOT -2006851767 SOS 1719842679 HAS SOPS 1719842679 HAS SOUS 291070280 HAS SOUPS 291070280 WITH SCORE 2.92790122679E8
AT ITER 5213 NEW BEST:: SOT -2006874573 SOS 1719724996 HAS SOPS 1719724996 HAS SOUS 291062931 HAS SOUPS 291062931 WITH SCORE 2.92782655996E8
AT ITER 5236 NEW BEST:: SOT -2006907355 SOS 1719577467 HAS SOPS 1719577467 HAS SOUS 291062921 HAS SOUPS 291062921 WITH SCORE 2.92782498467E8
AT ITER 5237 NEW BEST:: SOT -2006936433 SOS 1719446606 HAS SOPS 1719446606 HAS SOUS 291062911 HAS SOUPS 291062911 WITH SCORE 2.92782357606E8
AT ITER 5253 NEW BEST:: SOT -2006974875 SOS 1719273599 HAS SOPS 1719273599 HAS SOUS 291062893 HAS SOUPS 291062893 WITH SCORE 2.92782166599E8
AT ITER 5262 NEW BEST:: SOT -2007008737 SOS 1719106192 HAS SOPS 1719106192 HAS SOUS 291047865 HAS SOUPS 291047865 WITH SCORE 2.92766971192E8
AT ITER 5299 NEW BEST:: SOT -2007023437 SOS 1719040042 HAS SOPS 1719040042 HAS SOUS 291047865 HAS SOUPS 291047865 WITH SCORE 2.92766905042E8
AT ITER 5305 NEW BEST:: SOT -2007078929 SOS 1718790319 HAS SOPS 1718790319 HAS SOUS 291047856 HAS SOUPS 291047856 WITH SCORE 2.92766646319E8
AT ITER 5320 NEW BEST:: SOT -2007123623 SOS 1718589160 HAS SOPS 1718589160 HAS SOUS 291047810 HAS SOUPS 291047810 WITH SCORE 2.9276639916E8
AT ITER 5341 NEW BEST:: SOT -2007219391 SOS 1718262303 HAS SOPS 1718262303 HAS SOUS 291025306 HAS SOUPS 291025306 WITH SCORE 2.92743568303E8
AT ITER 5342 NEW BEST:: SOT -2007229223 SOS 1718218059 HAS SOPS 1718218059 HAS SOUS 291025306 HAS SOUPS 291025306 WITH SCORE 2.92743524059E8
AT ITER 5344 NEW BEST:: SOT -2007264449 SOS 1718059539 HAS SOPS 1718059539 HAS SOUS 291025303 HAS SOUPS 291025303 WITH SCORE 2.92743362539E8
AT ITER 5361 NEW BEST:: SOT -2007292619 SOS 1717932774 HAS SOPS 1717932774 HAS SOUS 291025303 HAS SOUPS 291025303 WITH SCORE 2.92743235774E8
AT ITER 5363 NEW BEST:: SOT -2007292619 SOS 1717932751 HAS SOPS 1717932751 HAS SOUS 291025280 HAS SOUPS 291025280 WITH SCORE 2.92743212751E8
AT ITER 5366 NEW BEST:: SOT -2007303297 SOS 1717884691 HAS SOPS 1717884691 HAS SOUS 291025271 HAS SOUPS 291025271 WITH SCORE 2.92743155691E8
AT ITER 5396 NEW BEST:: SOT -2007361835 SOS 1717621257 HAS SOPS 1717621257 HAS SOUS 291025258 HAS SOUPS 291025258 WITH SCORE 2.92742879257E8
AT ITER 5403 NEW BEST:: SOT -2007393913 SOS 1717476874 HAS SOPS 1717476874 HAS SOUS 291025218 HAS SOUPS 291025218 WITH SCORE 2.92742694874E8
AT ITER 5422 NEW BEST:: SOT -2007403049 SOS 1717435755 HAS SOPS 1717435755 HAS SOUS 291025211 HAS SOUPS 291025211 WITH SCORE 2.92742646755E8
AT ITER 5435 NEW BEST:: SOT -2007442523 SOS 1717258117 HAS SOPS 1717258117 HAS SOUS 291025206 HAS SOUPS 291025206 WITH SCORE 2.92742464117E8
AT ITER 5438 NEW BEST:: SOT -2007464759 SOS 1717158034 HAS SOPS 1717158034 HAS SOUS 291025185 HAS SOUPS 291025185 WITH SCORE 2.92742343034E8
AT ITER 5446 NEW BEST:: SOT -2007478663 SOS 1717095434 HAS SOPS 1717095434 HAS SOUS 291025147 HAS SOUPS 291025147 WITH SCORE 2.92742242434E8
AT ITER 5469 NEW BEST:: SOT -2007478663 SOS 1717095415 HAS SOPS 1717095415 HAS SOUS 291025128 HAS SOUPS 291025128 WITH SCORE 2.92742223415E8
AT ITER 5475 NEW BEST:: SOT -2007488629 SOS 1717050568 HAS SOPS 1717050568 HAS SOUS 291025128 HAS SOUPS 291025128 WITH SCORE 2.92742178568E8
AT ITER 5478 NEW BEST:: SOT -2007493751 SOS 1717027498 HAS SOPS 1717027498 HAS SOUS 291025107 HAS SOUPS 291025107 WITH SCORE 2.92742134498E8
AT ITER 5489 NEW BEST:: SOT -2007500713 SOS 1716996165 HAS SOPS 1716996165 HAS SOUS 291025103 HAS SOUPS 291025103 WITH SCORE 2.92742099165E8
AT ITER 5506 NEW BEST:: SOT -2007504679 SOS 1716978301 HAS SOPS 1716978301 HAS SOUS 291025086 HAS SOUPS 291025086 WITH SCORE 2.92742064301E8
AT ITER 5538 NEW BEST:: SOT -2007557937 SOS 1716738640 HAS SOPS 1716738640 HAS SOUS 291025086 HAS SOUPS 291025086 WITH SCORE 2.9274182464E8
AT ITER 5544 NEW BEST:: SOT -2007583135 SOS 1716625249 HAS SOPS 1716625249 HAS SOUS 291025086 HAS SOUPS 291025086 WITH SCORE 2.92741711249E8
AT ITER 5546 NEW BEST:: SOT -2007642813 SOS 1716356682 HAS SOPS 1716356682 HAS SOUS 291025070 HAS SOUPS 291025070 WITH SCORE 2.92741426682E8
AT ITER 5551 NEW BEST:: SOT -2007658177 SOS 1716271528 HAS SOPS 1716271528 HAS SOUS 291018777 HAS SOUPS 291018777 WITH SCORE 2.92735048528E8
AT ITER 5558 NEW BEST:: SOT -2007667947 SOS 1716227533 HAS SOPS 1716227533 HAS SOUS 291018747 HAS SOUPS 291018747 WITH SCORE 2.92734974533E8
AT ITER 5560 NEW BEST:: SOT -2007685295 SOS 1716149458 HAS SOPS 1716149458 HAS SOUS 291018738 HAS SOUPS 291018738 WITH SCORE 2.92734887458E8
AT ITER 5570 NEW BEST:: SOT -2007712869 SOS 1716025375 HAS SOPS 1716025375 HAS SOUS 291018738 HAS SOUPS 291018738 WITH SCORE 2.92734763375E8
AT ITER 5576 NEW BEST:: SOT -2007740359 SOS 1715884127 HAS SOPS 1715884127 HAS SOUS 291011261 HAS SOUPS 291011261 WITH SCORE 2.92727145127E8
AT ITER 5580 NEW BEST:: SOT -2007796057 SOS 1715633471 HAS SOPS 1715633471 HAS SOUS 291011246 HAS SOUPS 291011246 WITH SCORE 2.92726879471E8
AT ITER 5582 NEW BEST:: SOT -2007834913 SOS 1715443515 HAS SOPS 1715443515 HAS SOUS 290996142 HAS SOUPS 290996142 WITH SCORE 2.92711585515E8
AT ITER 5586 NEW BEST:: SOT -2007888375 SOS 1715202908 HAS SOPS 1715202908 HAS SOUS 290996114 HAS SOUPS 290996114 WITH SCORE 2.92711316908E8
AT ITER 5593 NEW BEST:: SOT -2007898871 SOS 1715155651 HAS SOPS 1715155651 HAS SOUS 290996089 HAS SOUPS 290996089 WITH SCORE 2.92711244651E8
AT ITER 5597 NEW BEST:: SOT -2007920593 SOS 1715057874 HAS SOPS 1715057874 HAS SOUS 290996061 HAS SOUPS 290996061 WITH SCORE 2.92711118874E8
AT ITER 5625 NEW BEST:: SOT -2007953513 SOS 1714909717 HAS SOPS 1714909717 HAS SOUS 290996044 HAS SOUPS 290996044 WITH SCORE 2.92710953717E8
AT ITER 5662 NEW BEST:: SOT -2007992117 SOS 1714734316 HAS SOPS 1714734316 HAS SOUS 290994361 HAS SOUPS 290994361 WITH SCORE 2.92709095316E8
AT ITER 5672 NEW BEST:: SOT -2008003411 SOS 1714683487 HAS SOPS 1714683487 HAS SOUS 290994355 HAS SOUPS 290994355 WITH SCORE 2.92709038487E8
AT ITER 5683 NEW BEST:: SOT -2008026358 SOS 1714567791 HAS SOPS 1714567791 HAS SOUS 290985102 HAS SOUPS 290985102 WITH SCORE 2.92699669791E8
AT ITER 5693 NEW BEST:: SOT -2008068692 SOS 1714377288 HAS SOPS 1714377288 HAS SOUS 290985102 HAS SOUPS 290985102 WITH SCORE 2.92699479288E8
AT ITER 5722 NEW BEST:: SOT -2008076910 SOS 1714340287 HAS SOPS 1714340287 HAS SOUS 290985082 HAS SOUPS 290985082 WITH SCORE 2.92699422287E8
AT ITER 5723 NEW BEST:: SOT -2008103456 SOS 1714220801 HAS SOPS 1714220801 HAS SOUS 290985053 HAS SOUPS 290985053 WITH SCORE 2.92699273801E8
AT ITER 5738 NEW BEST:: SOT -2008114890 SOS 1714169230 HAS SOPS 1714169230 HAS SOUS 290984935 HAS SOUPS 290984935 WITH SCORE 2.9269910423E8
AT ITER 5744 NEW BEST:: SOT -2008182388 SOS 1713865167 HAS SOPS 1713865167 HAS SOUS 290984513 HAS SOUPS 290984513 WITH SCORE 2.92698378167E8
AT ITER 5745 NEW BEST:: SOT -2008185576 SOS 1713850813 HAS SOPS 1713850813 HAS SOUS 290984505 HAS SOUPS 290984505 WITH SCORE 2.92698355813E8
AT ITER 5750 NEW BEST:: SOT -2008199630 SOS 1713781277 HAS SOPS 1713781277 HAS SOUS 290978212 HAS SOUPS 290978212 WITH SCORE 2.92691993277E8
AT ITER 5758 NEW BEST:: SOT -2008232714 SOS 1713615857 HAS SOPS 1713615857 HAS SOUS 290961670 HAS SOUPS 290961670 WITH SCORE 2.92675285857E8
AT ITER 5760 NEW BEST:: SOT -2008240840 SOS 1713579290 HAS SOPS 1713579290 HAS SOUS 290961670 HAS SOUPS 290961670 WITH SCORE 2.9267524929E8
AT ITER 5768 NEW BEST:: SOT -2008247776 SOS 1713548062 HAS SOPS 1713548062 HAS SOUS 290961654 HAS SOUPS 290961654 WITH SCORE 2.92675202062E8
AT ITER 5782 NEW BEST:: SOT -2008282910 SOS 1713389944 HAS SOPS 1713389944 HAS SOUS 290961639 HAS SOUPS 290961639 WITH SCORE 2.92675028944E8
AT ITER 5784 NEW BEST:: SOT -2008319920 SOS 1713223373 HAS SOPS 1713223373 HAS SOUS 290961613 HAS SOUPS 290961613 WITH SCORE 2.92674836373E8
AT ITER 5795 NEW BEST:: SOT -2008354384 SOS 1713051053 HAS SOPS 1713051053 HAS SOUS 290944381 HAS SOUPS 290944381 WITH SCORE 2.92657432053E8
AT ITER 5797 NEW BEST:: SOT -2008363506 SOS 1713009978 HAS SOPS 1713009978 HAS SOUS 290944355 HAS SOUPS 290944355 WITH SCORE 2.92657364978E8
AT ITER 5801 NEW BEST:: SOT -2008378416 SOS 1712942883 HAS SOPS 1712942883 HAS SOUS 290944355 HAS SOUPS 290944355 WITH SCORE 2.92657297883E8
AT ITER 5805 NEW BEST:: SOT -2008413508 SOS 1712784969 HAS SOPS 1712784969 HAS SOUS 290944355 HAS SOUPS 290944355 WITH SCORE 2.92657139969E8
AT ITER 5829 NEW BEST:: SOT -2008415916 SOS 1712774133 HAS SOPS 1712774133 HAS SOUS 290944355 HAS SOUPS 290944355 WITH SCORE 2.92657129133E8
AT ITER 5831 NEW BEST:: SOT -2008415916 SOS 1712774125 HAS SOPS 1712774125 HAS SOUS 290944347 HAS SOUPS 290944347 WITH SCORE 2.92657121125E8
AT ITER 5834 NEW BEST:: SOT -2008425482 SOS 1712731064 HAS SOPS 1712731064 HAS SOUS 290944333 HAS SOUPS 290944333 WITH SCORE 2.92657064064E8
AT ITER 5837 NEW BEST:: SOT -2008443586 SOS 1712649569 HAS SOPS 1712649569 HAS SOUS 290944298 HAS SOUPS 290944298 WITH SCORE 2.92656947569E8
AT ITER 5847 NEW BEST:: SOT -2008472414 SOS 1712519832 HAS SOPS 1712519832 HAS SOUS 290944287 HAS SOUPS 290944287 WITH SCORE 2.92656806832E8
AT ITER 5862 NEW BEST:: SOT -2008533816 SOS 1712243495 HAS SOPS 1712243495 HAS SOUS 290944259 HAS SOUPS 290944259 WITH SCORE 2.92656502495E8
AT ITER 5865 NEW BEST:: SOT -2008562512 SOS 1712114363 HAS SOPS 1712114363 HAS SOUS 290944259 HAS SOUPS 290944259 WITH SCORE 2.92656373363E8
AT ITER 5875 NEW BEST:: SOT -2008581134 SOS 1712030564 HAS SOPS 1712030564 HAS SOUS 290944259 HAS SOUPS 290944259 WITH SCORE 2.92656289564E8
AT ITER 5883 NEW BEST:: SOT -2008623440 SOS 1711804697 HAS SOPS 1711804697 HAS SOUS 290932009 HAS SOUPS 290932009 WITH SCORE 2.92643813697E8
AT ITER 5903 NEW BEST:: SOT -2008646436 SOS 1711701215 HAS SOPS 1711701215 HAS SOUS 290932009 HAS SOUPS 290932009 WITH SCORE 2.92643710215E8
AT ITER 5918 NEW BEST:: SOT -2008647182 SOS 1711697485 HAS SOPS 1711697485 HAS SOUS 290931636 HAS SOUPS 290931636 WITH SCORE 2.92643333485E8
AT ITER 5927 NEW BEST:: SOT -2008660554 SOS 1711637300 HAS SOPS 1711637300 HAS SOUS 290931625 HAS SOUPS 290931625 WITH SCORE 2.926432623E8
AT ITER 5941 NEW BEST:: SOT -2008695910 SOS 1711478171 HAS SOPS 1711478171 HAS SOUS 290931598 HAS SOUPS 290931598 WITH SCORE 2.92643076171E8
AT ITER 5942 NEW BEST:: SOT -2008695910 SOS 1711478147 HAS SOPS 1711478147 HAS SOUS 290931574 HAS SOUPS 290931574 WITH SCORE 2.92643052147E8
AT ITER 5963 NEW BEST:: SOT -2008706836 SOS 1711428980 HAS SOPS 1711428980 HAS SOUS 290931574 HAS SOUPS 290931574 WITH SCORE 2.9264300298E8
AT ITER 6002 NEW BEST:: SOT -2008715944 SOS 1711387857 HAS SOPS 1711387857 HAS SOUS 290931437 HAS SOUPS 290931437 WITH SCORE 2.92642824857E8
AT ITER 6010 NEW BEST:: SOT -2008782468 SOS 1711055237 HAS SOPS 1711055237 HAS SOUS 290896187 HAS SOUPS 290896187 WITH SCORE 2.92607242237E8
AT ITER 6025 NEW BEST:: SOT -2008828798 SOS 1710846718 HAS SOPS 1710846718 HAS SOUS 290896141 HAS SOUPS 290896141 WITH SCORE 2.92606987718E8
AT ITER 6027 NEW BEST:: SOT -2008850914 SOS 1710747177 HAS SOPS 1710747177 HAS SOUS 290896122 HAS SOUPS 290896122 WITH SCORE 2.92606869177E8
AT ITER 6030 NEW BEST:: SOT -2008860918 SOS 1710702134 HAS SOPS 1710702134 HAS SOUS 290896097 HAS SOUPS 290896097 WITH SCORE 2.92606799134E8
AT ITER 6037 NEW BEST:: SOT -2008918920 SOS 1710441125 HAS SOPS 1710441125 HAS SOUS 290896097 HAS SOUPS 290896097 WITH SCORE 2.92606538125E8
AT ITER 6038 NEW BEST:: SOT -2008931348 SOS 1710385180 HAS SOPS 1710385180 HAS SOUS 290896078 HAS SOUPS 290896078 WITH SCORE 2.9260646318E8
AT ITER 6039 NEW BEST:: SOT -2009027731 SOS 1710055263 HAS SOPS 1710055263 HAS SOUS 290874137 HAS SOUPS 290874137 WITH SCORE 2.92584192263E8
AT ITER 6044 NEW BEST:: SOT -2009030693 SOS 1710041920 HAS SOPS 1710041920 HAS SOUS 290874123 HAS SOUPS 290874123 WITH SCORE 2.9258416492E8
AT ITER 6057 NEW BEST:: SOT -2009071141 SOS 1709859889 HAS SOPS 1709859889 HAS SOUS 290874108 HAS SOUPS 290874108 WITH SCORE 2.92583967889E8
AT ITER 6083 NEW BEST:: SOT -2009096719 SOS 1709729942 HAS SOPS 1709729942 HAS SOUS 290869209 HAS SOUPS 290869209 WITH SCORE 2.92578938942E8
AT ITER 6090 NEW BEST:: SOT -2009161717 SOS 1709437438 HAS SOPS 1709437438 HAS SOUS 290869196 HAS SOUPS 290869196 WITH SCORE 2.92578633438E8
AT ITER 6095 NEW BEST:: SOT -2009213033 SOS 1709206479 HAS SOPS 1709206479 HAS SOUS 290869151 HAS SOUPS 290869151 WITH SCORE 2.92578357479E8
AT ITER 6123 NEW BEST:: SOT -2009259321 SOS 1708998149 HAS SOPS 1708998149 HAS SOUS 290869107 HAS SOUPS 290869107 WITH SCORE 2.92578105149E8
AT ITER 6135 NEW BEST:: SOT -2009268867 SOS 1708950419 HAS SOPS 1708950419 HAS SOUS 290864334 HAS SOUPS 290864334 WITH SCORE 2.92573284419E8
AT ITER 6139 NEW BEST:: SOT -2009287203 SOS 1708865673 HAS SOPS 1708865673 HAS SOUS 290862100 HAS SOUPS 290862100 WITH SCORE 2.92570965673E8
AT ITER 6170 NEW BEST:: SOT -2009382033 SOS 1708538032 HAS SOPS 1708538032 HAS SOUS 290844313 HAS SOUPS 290844313 WITH SCORE 2.92552851032E8
AT ITER 6174 NEW BEST:: SOT -2009387837 SOS 1708509012 HAS SOPS 1708509012 HAS SOUS 290841411 HAS SOUPS 290841411 WITH SCORE 2.92549920012E8
AT ITER 6191 NEW BEST:: SOT -2009400378 SOS 1708450706 HAS SOPS 1708450706 HAS SOUS 290840366 HAS SOUPS 290840366 WITH SCORE 2.92548816706E8
AT ITER 6204 NEW BEST:: SOT -2009435584 SOS 1708292258 HAS SOPS 1708292258 HAS SOUS 290840345 HAS SOUPS 290840345 WITH SCORE 2.92548637258E8
AT ITER 6229 NEW BEST:: SOT -2009440384 SOS 1708270627 HAS SOPS 1708270627 HAS SOUS 290840314 HAS SOUPS 290840314 WITH SCORE 2.92548584627E8
AT ITER 6233 NEW BEST:: SOT -2009447206 SOS 1708238986 HAS SOPS 1708238986 HAS SOUS 290839372 HAS SOUPS 290839372 WITH SCORE 2.92547610986E8
AT ITER 6234 NEW BEST:: SOT -2009471508 SOS 1708107946 HAS SOPS 1708107946 HAS SOUS 290830515 HAS SOUPS 290830515 WITH SCORE 2.92538622946E8
AT ITER 6237 NEW BEST:: SOT -2009531546 SOS 1707837767 HAS SOPS 1707837767 HAS SOUS 290830507 HAS SOUPS 290830507 WITH SCORE 2.92538344767E8
AT ITER 6270 NEW BEST:: SOT -2009574268 SOS 1707645511 HAS SOPS 1707645511 HAS SOUS 290830500 HAS SOUPS 290830500 WITH SCORE 2.92538145511E8
AT ITER 6276 NEW BEST:: SOT -2009625260 SOS 1707416035 HAS SOPS 1707416035 HAS SOUS 290830488 HAS SOUPS 290830488 WITH SCORE 2.92537904035E8
AT ITER 6280 NEW BEST:: SOT -2009645528 SOS 1707324800 HAS SOPS 1707324800 HAS SOUS 290830449 HAS SOUPS 290830449 WITH SCORE 2.925377738E8
AT ITER 6306 NEW BEST:: SOT -2009674054 SOS 1707196403 HAS SOPS 1707196403 HAS SOUS 290830419 HAS SOUPS 290830419 WITH SCORE 2.92537615403E8
AT ITER 6319 NEW BEST:: SOT -2009696428 SOS 1707095689 HAS SOPS 1707095689 HAS SOUS 290830388 HAS SOUPS 290830388 WITH SCORE 2.92537483689E8
AT ITER 6337 NEW BEST:: SOT -2009745904 SOS 1706848783 HAS SOPS 1706848783 HAS SOUS 290806124 HAS SOUPS 290806124 WITH SCORE 2.92512972783E8
AT ITER 6359 NEW BEST:: SOT -2009768162 SOS 1706748601 HAS SOPS 1706748601 HAS SOUS 290806103 HAS SOUPS 290806103 WITH SCORE 2.92512851601E8
AT ITER 6372 NEW BEST:: SOT -2009768162 SOS 1706748590 HAS SOPS 1706748590 HAS SOUS 290806092 HAS SOUPS 290806092 WITH SCORE 2.9251284059E8
AT ITER 6385 NEW BEST:: SOT -2009813666 SOS 1706543794 HAS SOPS 1706543794 HAS SOUS 290806064 HAS SOUPS 290806064 WITH SCORE 2.92512607794E8
AT ITER 6388 NEW BEST:: SOT -2009848798 SOS 1706385700 HAS SOPS 1706385700 HAS SOUS 290806064 HAS SOUPS 290806064 WITH SCORE 2.925124497E8
AT ITER 6415 NEW BEST:: SOT -2009871348 SOS 1706269880 HAS SOPS 1706269880 HAS SOUS 290799587 HAS SOUPS 290799587 WITH SCORE 2.9250585688E8
AT ITER 6416 NEW BEST:: SOT -2009885557 SOS 1706199399 HAS SOPS 1706199399 HAS SOUS 290795521 HAS SOUPS 290795521 WITH SCORE 2.92501720399E8
AT ITER 6436 NEW BEST:: SOT -2009910566 SOS 1706071094 HAS SOPS 1706071094 HAS SOUS 290789158 HAS SOUPS 290789158 WITH SCORE 2.92495229094E8
AT ITER 6449 NEW BEST:: SOT -2009942761 SOS 1705907762 HAS SOPS 1705907762 HAS SOUS 290778946 HAS SOUPS 290778946 WITH SCORE 2.92484853762E8
AT ITER 6455 NEW BEST:: SOT -2009971287 SOS 1705762263 HAS SOPS 1705762263 HAS SOUS 290769899 HAS SOUPS 290769899 WITH SCORE 2.92475661263E8
AT ITER 6480 NEW BEST:: SOT -2010036901 SOS 1705466989 HAS SOPS 1705466989 HAS SOUS 290769888 HAS SOUPS 290769888 WITH SCORE 2.92475354989E8
AT ITER 6488 NEW BEST:: SOT -2010045151 SOS 1705429841 HAS SOPS 1705429841 HAS SOUS 290769865 HAS SOUPS 290769865 WITH SCORE 2.92475294841E8
AT ITER 6514 NEW BEST:: SOT -2010076535 SOS 1705288593 HAS SOPS 1705288593 HAS SOUS 290769845 HAS SOUPS 290769845 WITH SCORE 2.92475133593E8
AT ITER 6516 NEW BEST:: SOT -2010140839 SOS 1704999196 HAS SOPS 1704999196 HAS SOUS 290769816 HAS SOUPS 290769816 WITH SCORE 2.92474815196E8
AT ITER 6517 NEW BEST:: SOT -2010145747 SOS 1704972184 HAS SOPS 1704972184 HAS SOUS 290767774 HAS SOUPS 290767774 WITH SCORE 2.92472746184E8
AT ITER 6519 NEW BEST:: SOT -2010147587 SOS 1704963904 HAS SOPS 1704963904 HAS SOUS 290767774 HAS SOUPS 290767774 WITH SCORE 2.92472737904E8
AT ITER 6523 NEW BEST:: SOT -2010162039 SOS 1704892320 HAS SOPS 1704892320 HAS SOUS 290761224 HAS SOUPS 290761224 WITH SCORE 2.9246611632E8
AT ITER 6530 NEW BEST:: SOT -2010176191 SOS 1704828627 HAS SOPS 1704828627 HAS SOUS 290761215 HAS SOUPS 290761215 WITH SCORE 2.92466043627E8
AT ITER 6553 NEW BEST:: SOT -2010197669 SOS 1704731955 HAS SOPS 1704731955 HAS SOUS 290761194 HAS SOUPS 290761194 WITH SCORE 2.92465925955E8
AT ITER 6558 NEW BEST:: SOT -2010237963 SOS 1704550626 HAS SOPS 1704550626 HAS SOUS 290761188 HAS SOUPS 290761188 WITH SCORE 2.92465738626E8
AT ITER 6566 NEW BEST:: SOT -2010291619 SOS 1704309164 HAS SOPS 1704309164 HAS SOUS 290761178 HAS SOUPS 290761178 WITH SCORE 2.92465487164E8
AT ITER 6587 NEW BEST:: SOT -2010313819 SOS 1704209242 HAS SOPS 1704209242 HAS SOUS 290761156 HAS SOUPS 290761156 WITH SCORE 2.92465365242E8
AT ITER 6591 NEW BEST:: SOT -2010323647 SOS 1704165000 HAS SOPS 1704165000 HAS SOUS 290761140 HAS SOUPS 290761140 WITH SCORE 2.92465305E8
AT ITER 6601 NEW BEST:: SOT -2010324867 SOS 1704159510 HAS SOPS 1704159510 HAS SOUS 290761140 HAS SOUPS 290761140 WITH SCORE 2.9246529951E8
AT ITER 6602 NEW BEST:: SOT -2010380242 SOS 1703876967 HAS SOPS 1703876967 HAS SOUS 290739121 HAS SOUPS 290739121 WITH SCORE 2.92442997967E8
AT ITER 6616 NEW BEST:: SOT -2010435666 SOS 1703627538 HAS SOPS 1703627538 HAS SOUS 290739100 HAS SOUPS 290739100 WITH SCORE 2.92442727538E8
AT ITER 6633 NEW BEST:: SOT -2010442710 SOS 1703595808 HAS SOPS 1703595808 HAS SOUS 290739068 HAS SOUPS 290739068 WITH SCORE 2.92442663808E8
AT ITER 6642 NEW BEST:: SOT -2010540867 SOS 1703247123 HAS SOPS 1703247123 HAS SOUS 290714072 HAS SOUPS 290714072 WITH SCORE 2.92417319123E8
AT ITER 6650 NEW BEST:: SOT -2010560919 SOS 1703140268 HAS SOPS 1703140268 HAS SOUS 290710023 HAS SOUPS 290710023 WITH SCORE 2.92413163268E8
AT ITER 6654 NEW BEST:: SOT -2010602531 SOS 1702952993 HAS SOPS 1702952993 HAS SOUS 290710002 HAS SOUPS 290710002 WITH SCORE 2.92412954993E8
AT ITER 6674 NEW BEST:: SOT -2010615659 SOS 1702893911 HAS SOPS 1702893911 HAS SOUS 290709996 HAS SOUPS 290709996 WITH SCORE 2.92412889911E8
AT ITER 6677 NEW BEST:: SOT -2010636183 SOS 1702792279 HAS SOPS 1702792279 HAS SOUS 290700722 HAS SOUPS 290700722 WITH SCORE 2.92403514279E8
AT ITER 6679 NEW BEST:: SOT -2010656623 SOS 1702700268 HAS SOPS 1702700268 HAS SOUS 290700691 HAS SOUPS 290700691 WITH SCORE 2.92403391268E8
AT ITER 6683 NEW BEST:: SOT -2010687063 SOS 1702563268 HAS SOPS 1702563268 HAS SOUS 290700671 HAS SOUPS 290700671 WITH SCORE 2.92403234268E8
AT ITER 6690 NEW BEST:: SOT -2010697763 SOS 1702515094 HAS SOPS 1702515094 HAS SOUS 290700647 HAS SOUPS 290700647 WITH SCORE 2.92403162094E8
AT ITER 6691 NEW BEST:: SOT -2010707305 SOS 1702472155 HAS SOPS 1702472155 HAS SOUS 290700647 HAS SOUPS 290700647 WITH SCORE 2.92403119155E8
AT ITER 6707 NEW BEST:: SOT -2010731335 SOS 1702363988 HAS SOPS 1702363988 HAS SOUS 290700603 HAS SOUPS 290700603 WITH SCORE 2.92402966988E8
AT ITER 6709 NEW BEST:: SOT -2010760793 SOS 1702231399 HAS SOPS 1702231399 HAS SOUS 290700565 HAS SOUPS 290700565 WITH SCORE 2.92402796399E8
AT ITER 6715 NEW BEST:: SOT -2010786491 SOS 1702115749 HAS SOPS 1702115749 HAS SOUS 290700556 HAS SOUPS 290700556 WITH SCORE 2.92402671749E8
AT ITER 6727 NEW BEST:: SOT -2010814093 SOS 1701991530 HAS SOPS 1701991530 HAS SOUS 290700546 HAS SOUPS 290700546 WITH SCORE 2.9240253753E8
AT ITER 6729 NEW BEST:: SOT -2010832935 SOS 1701906720 HAS SOPS 1701906720 HAS SOUS 290700525 HAS SOUPS 290700525 WITH SCORE 2.9240243172E8
AT ITER 6730 NEW BEST:: SOT -2010844953 SOS 1701852636 HAS SOPS 1701852636 HAS SOUS 290700522 HAS SOUPS 290700522 WITH SCORE 2.92402374636E8
AT ITER 6740 NEW BEST:: SOT -2010866001 SOS 1701757905 HAS SOPS 1701757905 HAS SOUS 290700507 HAS SOUPS 290700507 WITH SCORE 2.92402264905E8
AT ITER 6747 NEW BEST:: SOT -2010923753 SOS 1701470157 HAS SOPS 1701470157 HAS SOUS 290672643 HAS SOUPS 290672643 WITH SCORE 2.92374113157E8
AT ITER 6763 NEW BEST:: SOT -2010962349 SOS 1701277406 HAS SOPS 1701277406 HAS SOUS 290653574 HAS SOUPS 290653574 WITH SCORE 2.92354851406E8
AT ITER 6764 NEW BEST:: SOT -2011018675 SOS 1700996341 HAS SOPS 1700996341 HAS SOUS 290625976 HAS SOUPS 290625976 WITH SCORE 2.92326972341E8
AT ITER 6768 NEW BEST:: SOT -2011025013 SOS 1700967658 HAS SOPS 1700967658 HAS SOUS 290625814 HAS SOUPS 290625814 WITH SCORE 2.92326781658E8
AT ITER 6772 NEW BEST:: SOT -2011040287 SOS 1700898891 HAS SOPS 1700898891 HAS SOUS 290625772 HAS SOUPS 290625772 WITH SCORE 2.92326670891E8
AT ITER 6806 NEW BEST:: SOT -2011084475 SOS 1700700013 HAS SOPS 1700700013 HAS SOUS 290625732 HAS SOUPS 290625732 WITH SCORE 2.92326432013E8
AT ITER 6808 NEW BEST:: SOT -2011097822 SOS 1700632738 HAS SOPS 1700632738 HAS SOUS 290624059 HAS SOUPS 290624059 WITH SCORE 2.92324691738E8
AT ITER 6814 NEW BEST:: SOT -2011134296 SOS 1700468505 HAS SOPS 1700468505 HAS SOUS 290623959 HAS SOUPS 290623959 WITH SCORE 2.92324427505E8
AT ITER 6827 NEW BEST:: SOT -2011170188 SOS 1700306969 HAS SOPS 1700306969 HAS SOUS 290623937 HAS SOUPS 290623937 WITH SCORE 2.92324243969E8
AT ITER 6830 NEW BEST:: SOT -2011209140 SOS 1700131669 HAS SOPS 1700131669 HAS SOUS 290623921 HAS SOUPS 290623921 WITH SCORE 2.92324052669E8
AT ITER 6840 NEW BEST:: SOT -2011214719 SOS 1700097897 HAS SOPS 1700097897 HAS SOUS 290622111 HAS SOUPS 290622111 WITH SCORE 2.92322208897E8
AT ITER 6853 NEW BEST:: SOT -2011223859 SOS 1700056751 HAS SOPS 1700056751 HAS SOUS 290622095 HAS SOUPS 290622095 WITH SCORE 2.92322151751E8
AT ITER 6855 NEW BEST:: SOT -2011249403 SOS 1699941793 HAS SOPS 1699941793 HAS SOUS 290622085 HAS SOUPS 290622085 WITH SCORE 2.92322026793E8
AT ITER 6858 NEW BEST:: SOT -2011287501 SOS 1699770346 HAS SOPS 1699770346 HAS SOUS 290622079 HAS SOUPS 290622079 WITH SCORE 2.92321849346E8
AT ITER 6859 NEW BEST:: SOT -2011332851 SOS 1699566242 HAS SOPS 1699566242 HAS SOUS 290622038 HAS SOUPS 290622038 WITH SCORE 2.92321604242E8
AT ITER 6867 NEW BEST:: SOT -2011363965 SOS 1699426229 HAS SOPS 1699426229 HAS SOUS 290622038 HAS SOUPS 290622038 WITH SCORE 2.92321464229E8
AT ITER 6872 NEW BEST:: SOT -2011378805 SOS 1699359449 HAS SOPS 1699359449 HAS SOUS 290622038 HAS SOUPS 290622038 WITH SCORE 2.92321397449E8
AT ITER 6875 NEW BEST:: SOT -2011426023 SOS 1699146959 HAS SOPS 1699146959 HAS SOUS 290622029 HAS SOUPS 290622029 WITH SCORE 2.92321175959E8
AT ITER 6914 NEW BEST:: SOT -2011462241 SOS 1698983963 HAS SOPS 1698983963 HAS SOUS 290622014 HAS SOUPS 290622014 WITH SCORE 2.92320997963E8
AT ITER 6931 NEW BEST:: SOT -2011528887 SOS 1698684028 HAS SOPS 1698684028 HAS SOUS 290621986 HAS SOUPS 290621986 WITH SCORE 2.92320670028E8
AT ITER 6934 NEW BEST:: SOT -2011551635 SOS 1698581657 HAS SOPS 1698581657 HAS SOUS 290621981 HAS SOUPS 290621981 WITH SCORE 2.92320562657E8
AT ITER 6938 NEW BEST:: SOT -2011562415 SOS 1698533122 HAS SOPS 1698533122 HAS SOUS 290621950 HAS SOUPS 290621950 WITH SCORE 2.92320483122E8
AT ITER 6940 NEW BEST:: SOT -2011598879 SOS 1698369022 HAS SOPS 1698369022 HAS SOUS 290621938 HAS SOUPS 290621938 WITH SCORE 2.92320307022E8
AT ITER 6944 NEW BEST:: SOT -2011630271 SOS 1698210462 HAS SOPS 1698210462 HAS SOUS 290611481 HAS SOUPS 290611481 WITH SCORE 2.92309691462E8
AT ITER 6957 NEW BEST:: SOT -2011643137 SOS 1698146132 HAS SOPS 1698146132 HAS SOUS 290605048 HAS SOUPS 290605048 WITH SCORE 2.92303194132E8
AT ITER 6959 NEW BEST:: SOT -2011645979 SOS 1698133343 HAS SOPS 1698133343 HAS SOUS 290605048 HAS SOUPS 290605048 WITH SCORE 2.92303181343E8
AT ITER 6977 NEW BEST:: SOT -2011645979 SOS 1698121828 HAS SOPS 1698121828 HAS SOUS 290593533 HAS SOUPS 290593533 WITH SCORE 2.92291654828E8
AT ITER 6982 NEW BEST:: SOT -2011710551 SOS 1697831230 HAS SOPS 1697831230 HAS SOUS 290593509 HAS SOUPS 290593509 WITH SCORE 2.9229134023E8
AT ITER 7007 NEW BEST:: SOT -2011726051 SOS 1697753730 HAS SOPS 1697753730 HAS SOUS 290585747 HAS SOUPS 290585747 WITH SCORE 2.9228350073E8
AT ITER 7010 NEW BEST:: SOT -2011756305 SOS 1697617568 HAS SOPS 1697617568 HAS SOUS 290585728 HAS SOUPS 290585728 WITH SCORE 2.92283345568E8
AT ITER 7012 NEW BEST:: SOT -2011768691 SOS 1697561822 HAS SOPS 1697561822 HAS SOUS 290585719 HAS SOUPS 290585719 WITH SCORE 2.92283280822E8
AT ITER 7021 NEW BEST:: SOT -2011777725 SOS 1697518772 HAS SOPS 1697518772 HAS SOUS 290583322 HAS SOUPS 290583322 WITH SCORE 2.92280840772E8
AT ITER 7033 NEW BEST:: SOT -2011795231 SOS 1697431242 HAS SOPS 1697431242 HAS SOUS 290574569 HAS SOUPS 290574569 WITH SCORE 2.92272000242E8
AT ITER 7043 NEW BEST:: SOT -2011814937 SOS 1697342541 HAS SOPS 1697342541 HAS SOUS 290574545 HAS SOUPS 290574545 WITH SCORE 2.92271887541E8
AT ITER 7056 NEW BEST:: SOT -2011827099 SOS 1697287798 HAS SOPS 1697287798 HAS SOUS 290574531 HAS SOUPS 290574531 WITH SCORE 2.92271818798E8
AT ITER 7075 NEW BEST:: SOT -2011860197 SOS 1697138847 HAS SOPS 1697138847 HAS SOUS 290574521 HAS SOUPS 290574521 WITH SCORE 2.92271659847E8
AT ITER 7089 NEW BEST:: SOT -2011879949 SOS 1697049940 HAS SOPS 1697049940 HAS SOUS 290574498 HAS SOUPS 290574498 WITH SCORE 2.9227154794E8
AT ITER 7094 NEW BEST:: SOT -2011930155 SOS 1696824009 HAS SOPS 1696824009 HAS SOUS 290574494 HAS SOUPS 290574494 WITH SCORE 2.92271318009E8
AT ITER 7100 NEW BEST:: SOT -2011944727 SOS 1696753327 HAS SOPS 1696753327 HAS SOUS 290574076 HAS SOUPS 290574076 WITH SCORE 2.92270829327E8
AT ITER 7118 NEW BEST:: SOT -2011961829 SOS 1696676354 HAS SOPS 1696676354 HAS SOUS 290574062 HAS SOUPS 290574062 WITH SCORE 2.92270738354E8
AT ITER 7121 NEW BEST:: SOT -2011968802 SOS 1696621230 HAS SOPS 1696621230 HAS SOUS 290567193 HAS SOUPS 290567193 WITH SCORE 2.9226381423E8
AT ITER 7125 NEW BEST:: SOT -2012026482 SOS 1696361644 HAS SOPS 1696361644 HAS SOUS 290567167 HAS SOUPS 290567167 WITH SCORE 2.92263528644E8
AT ITER 7128 NEW BEST:: SOT -2012055518 SOS 1696230736 HAS SOPS 1696230736 HAS SOUS 290566921 HAS SOUPS 290566921 WITH SCORE 2.92263151736E8
AT ITER 7151 NEW BEST:: SOT -2012082134 SOS 1696097789 HAS SOPS 1696097789 HAS SOUS 290553738 HAS SOUPS 290553738 WITH SCORE 2.92249835789E8
AT ITER 7162 NEW BEST:: SOT -2012087716 SOS 1696072659 HAS SOPS 1696072659 HAS SOUS 290553727 HAS SOUPS 290553727 WITH SCORE 2.92249799659E8
AT ITER 7168 NEW BEST:: SOT -2012143848 SOS 1695793096 HAS SOPS 1695793096 HAS SOUS 290526758 HAS SOUPS 290526758 WITH SCORE 2.92222551096E8
AT ITER 7172 NEW BEST:: SOT -2012169050 SOS 1695668007 HAS SOPS 1695668007 HAS SOUS 290515078 HAS SOUPS 290515078 WITH SCORE 2.92210746007E8
AT ITER 7230 NEW BEST:: SOT -2012233482 SOS 1695378032 HAS SOPS 1695378032 HAS SOUS 290515037 HAS SOUPS 290515037 WITH SCORE 2.92210415032E8
AT ITER 7237 NEW BEST:: SOT -2012251736 SOS 1695295565 HAS SOPS 1695295565 HAS SOUS 290514617 HAS SOUPS 290514617 WITH SCORE 2.92209912565E8
AT ITER 7255 NEW BEST:: SOT -2012286082 SOS 1695140787 HAS SOPS 1695140787 HAS SOUS 290514396 HAS SOUPS 290514396 WITH SCORE 2.92209536787E8
AT ITER 7262 NEW BEST:: SOT -2012307090 SOS 1695033625 HAS SOPS 1695033625 HAS SOUS 290511934 HAS SOUPS 290511934 WITH SCORE 2.92206967625E8
AT ITER 7265 NEW BEST:: SOT -2012335582 SOS 1694905411 HAS SOPS 1694905411 HAS SOUS 290511934 HAS SOUPS 290511934 WITH SCORE 2.92206839411E8
AT ITER 7268 NEW BEST:: SOT -2012376086 SOS 1694723131 HAS SOPS 1694723131 HAS SOUS 290511922 HAS SOUPS 290511922 WITH SCORE 2.92206645131E8
AT ITER 7273 NEW BEST:: SOT -2012389224 SOS 1694663973 HAS SOPS 1694663973 HAS SOUS 290511875 HAS SOUPS 290511875 WITH SCORE 2.92206538973E8
AT ITER 7274 NEW BEST:: SOT -2012415774 SOS 1694544490 HAS SOPS 1694544490 HAS SOUS 290511867 HAS SOUPS 290511867 WITH SCORE 2.9220641149E8
AT ITER 7281 NEW BEST:: SOT -2012457518 SOS 1694336835 HAS SOPS 1694336835 HAS SOUS 290492060 HAS SOUPS 290492060 WITH SCORE 2.92186396835E8
AT ITER 7282 NEW BEST:: SOT -2012492034 SOS 1694181501 HAS SOPS 1694181501 HAS SOUS 290492048 HAS SOUPS 290492048 WITH SCORE 2.92186229501E8
AT ITER 7294 NEW BEST:: SOT -2012511940 SOS 1694082514 HAS SOPS 1694082514 HAS SOUS 290482638 HAS SOUPS 290482638 WITH SCORE 2.92176720514E8
AT ITER 7307 NEW BEST:: SOT -2012527948 SOS 1694010465 HAS SOPS 1694010465 HAS SOUS 290482625 HAS SOUPS 290482625 WITH SCORE 2.92176635465E8
AT ITER 7322 NEW BEST:: SOT -2012567632 SOS 1693831876 HAS SOPS 1693831876 HAS SOUS 290482614 HAS SOUPS 290482614 WITH SCORE 2.92176445876E8
AT ITER 7325 NEW BEST:: SOT -2012592000 SOS 1693722212 HAS SOPS 1693722212 HAS SOUS 290482606 HAS SOUPS 290482606 WITH SCORE 2.92176328212E8
AT ITER 7334 NEW BEST:: SOT -2012642186 SOS 1693465769 HAS SOPS 1693465769 HAS SOUS 290462087 HAS SOUPS 290462087 WITH SCORE 2.92155552769E8
AT ITER 7337 NEW BEST:: SOT -2012650940 SOS 1693426370 HAS SOPS 1693426370 HAS SOUS 290462081 HAS SOUPS 290462081 WITH SCORE 2.9215550737E8
AT ITER 7343 NEW BEST:: SOT -2012658147 SOS 1693375885 HAS SOPS 1693375885 HAS SOUS 290462031 HAS SOUPS 290462031 WITH SCORE 2.92155406885E8
AT ITER 7346 NEW BEST:: SOT -2012696615 SOS 1693202763 HAS SOPS 1693202763 HAS SOUS 290462015 HAS SOUPS 290462015 WITH SCORE 2.92155217763E8
AT ITER 7349 NEW BEST:: SOT -2012720669 SOS 1693094489 HAS SOPS 1693094489 HAS SOUS 290461984 HAS SOUPS 290461984 WITH SCORE 2.92155078489E8
AT ITER 7357 NEW BEST:: SOT -2012754609 SOS 1692941759 HAS SOPS 1692941759 HAS SOUS 290461984 HAS SOUPS 290461984 WITH SCORE 2.92154925759E8
AT ITER 7366 NEW BEST:: SOT -2012754609 SOS 1692941738 HAS SOPS 1692941738 HAS SOUS 290461963 HAS SOUPS 290461963 WITH SCORE 2.92154904738E8
AT ITER 7377 NEW BEST:: SOT -2012821319 SOS 1692641528 HAS SOPS 1692641528 HAS SOUS 290461948 HAS SOUPS 290461948 WITH SCORE 2.92154589528E8
AT ITER 7389 NEW BEST:: SOT -2012842661 SOS 1692545473 HAS SOPS 1692545473 HAS SOUS 290461932 HAS SOUPS 290461932 WITH SCORE 2.92154477473E8
AT ITER 7390 NEW BEST:: SOT -2012883331 SOS 1692362452 HAS SOPS 1692362452 HAS SOUS 290461926 HAS SOUPS 290461926 WITH SCORE 2.92154288452E8
AT ITER 7395 NEW BEST:: SOT -2012883331 SOS 1692362417 HAS SOPS 1692362417 HAS SOUS 290461883 HAS SOUPS 290461883 WITH SCORE 2.92154245417E8
AT ITER 7406 NEW BEST:: SOT -2012900899 SOS 1692283336 HAS SOPS 1692283336 HAS SOUS 290461850 HAS SOUPS 290461850 WITH SCORE 2.92154133336E8
AT ITER 7410 NEW BEST:: SOT -2012948994 SOS 1692036131 HAS SOPS 1692036131 HAS SOUS 290445055 HAS SOUPS 290445055 WITH SCORE 2.92137091131E8
AT ITER 7414 NEW BEST:: SOT -2012962850 SOS 1691973756 HAS SOPS 1691973756 HAS SOUS 290445032 HAS SOUPS 290445032 WITH SCORE 2.92137005756E8
AT ITER 7421 NEW BEST:: SOT -2012963802 SOS 1691969447 HAS SOPS 1691969447 HAS SOUS 290445007 HAS SOUPS 290445007 WITH SCORE 2.92136976447E8
AT ITER 7451 NEW BEST:: SOT -2012973456 SOS 1691925969 HAS SOPS 1691925969 HAS SOUS 290444964 HAS SOUPS 290444964 WITH SCORE 2.92136889969E8
AT ITER 7462 NEW BEST:: SOT -2012973456 SOS 1691925959 HAS SOPS 1691925959 HAS SOUS 290444954 HAS SOUPS 290444954 WITH SCORE 2.92136879959E8
AT ITER 7483 NEW BEST:: SOT -2012994379 SOS 1691811577 HAS SOPS 1691811577 HAS SOUS 290442618 HAS SOUPS 290442618 WITH SCORE 2.92134429577E8
AT ITER 7527 NEW BEST:: SOT -2013047257 SOS 1691573614 HAS SOPS 1691573614 HAS SOUS 290442606 HAS SOUPS 290442606 WITH SCORE 2.92134179614E8
AT ITER 7529 NEW BEST:: SOT -2013056057 SOS 1691533983 HAS SOPS 1691533983 HAS SOUS 290442575 HAS SOUPS 290442575 WITH SCORE 2.92134108983E8
AT ITER 7539 NEW BEST:: SOT -2013069779 SOS 1691472234 HAS SOPS 1691472234 HAS SOUS 290442575 HAS SOUPS 290442575 WITH SCORE 2.92134047234E8
AT ITER 7541 NEW BEST:: SOT -2013113983 SOS 1691246525 HAS SOPS 1691246525 HAS SOUS 290428677 HAS SOUPS 290428677 WITH SCORE 2.92119923525E8
AT ITER 7547 NEW BEST:: SOT -2013132373 SOS 1691154575 HAS SOPS 1691154575 HAS SOUS 290419476 HAS SOUPS 290419476 WITH SCORE 2.92110630575E8
AT ITER 7567 NEW BEST:: SOT -2013149381 SOS 1691078008 HAS SOPS 1691078008 HAS SOUS 290419445 HAS SOUPS 290419445 WITH SCORE 2.92110523008E8
AT ITER 7574 NEW BEST:: SOT -2013183893 SOS 1690922683 HAS SOPS 1690922683 HAS SOUS 290419424 HAS SOUPS 290419424 WITH SCORE 2.92110346683E8
AT ITER 7586 NEW BEST:: SOT -2013230465 SOS 1690706361 HAS SOPS 1690706361 HAS SOUS 290412676 HAS SOUPS 290412676 WITH SCORE 2.92103382361E8
AT ITER 7597 NEW BEST:: SOT -2013247729 SOS 1690628673 HAS SOPS 1690628673 HAS SOUS 290412676 HAS SOUPS 290412676 WITH SCORE 2.92103304673E8
AT ITER 7611 NEW BEST:: SOT -2013257921 SOS 1690557151 HAS SOPS 1690557151 HAS SOUS 290411007 HAS SOUPS 290411007 WITH SCORE 2.92101564151E8
AT ITER 7624 NEW BEST:: SOT -2013272163 SOS 1690493053 HAS SOPS 1690493053 HAS SOUS 290410998 HAS SOUPS 290410998 WITH SCORE 2.92101491053E8
AT ITER 7631 NEW BEST:: SOT -2013306271 SOS 1690339546 HAS SOPS 1690339546 HAS SOUS 290410977 HAS SOUPS 290410977 WITH SCORE 2.92101316546E8
AT ITER 7645 NEW BEST:: SOT -2013313311 SOS 1690304346 HAS SOPS 1690304346 HAS SOUS 290407457 HAS SOUPS 290407457 WITH SCORE 2.92097761346E8
AT ITER 7657 NEW BEST:: SOT -2013328263 SOS 1690237057 HAS SOPS 1690237057 HAS SOUS 290407452 HAS SOUPS 290407452 WITH SCORE 2.92097689057E8
AT ITER 7671 NEW BEST:: SOT -2013328263 SOS 1690217038 HAS SOPS 1690217038 HAS SOUS 290387427 HAS SOUPS 290387427 WITH SCORE 2.92077644038E8
AT ITER 7673 NEW BEST:: SOT -2013336923 SOS 1690173738 HAS SOPS 1690173738 HAS SOUS 290383097 HAS SOUPS 290383097 WITH SCORE 2.92073270738E8
AT ITER 7685 NEW BEST:: SOT -2013371230 SOS 1690008379 HAS SOPS 1690008379 HAS SOUS 290381909 HAS SOUPS 290381909 WITH SCORE 2.92071917379E8
AT ITER 7696 NEW BEST:: SOT -2013381758 SOS 1689960999 HAS SOPS 1689960999 HAS SOUS 290381905 HAS SOUPS 290381905 WITH SCORE 2.92071865999E8
AT ITER 7703 NEW BEST:: SOT -2013416101 SOS 1689784042 HAS SOPS 1689784042 HAS SOUS 290370198 HAS SOUPS 290370198 WITH SCORE 2.92059982042E8
AT ITER 7711 NEW BEST:: SOT -2013478717 SOS 1689502240 HAS SOPS 1689502240 HAS SOUS 290370168 HAS SOUPS 290370168 WITH SCORE 2.9205967024E8
AT ITER 7715 NEW BEST:: SOT -2013497743 SOS 1689405262 HAS SOPS 1689405262 HAS SOUS 290368719 HAS SOUPS 290368719 WITH SCORE 2.92058124262E8
AT ITER 7727 NEW BEST:: SOT -2013501201 SOS 1689387972 HAS SOPS 1689387972 HAS SOUS 290366990 HAS SOUPS 290366990 WITH SCORE 2.92056377972E8
AT ITER 7742 NEW BEST:: SOT -2013523195 SOS 1689288749 HAS SOPS 1689288749 HAS SOUS 290366740 HAS SOUPS 290366740 WITH SCORE 2.92056028749E8
AT ITER 7744 NEW BEST:: SOT -2013523195 SOS 1689288738 HAS SOPS 1689288738 HAS SOUS 290366729 HAS SOUPS 290366729 WITH SCORE 2.92056017738E8
AT ITER 7751 NEW BEST:: SOT -2013559343 SOS 1689108647 HAS SOPS 1689108647 HAS SOUS 290349304 HAS SOUPS 290349304 WITH SCORE 2.92038412647E8
AT ITER 7757 NEW BEST:: SOT -2013581491 SOS 1689008960 HAS SOPS 1689008960 HAS SOUS 290349283 HAS SOUPS 290349283 WITH SCORE 2.9203829196E8
AT ITER 7760 NEW BEST:: SOT -2013630279 SOS 1688789392 HAS SOPS 1688789392 HAS SOUS 290349261 HAS SOUPS 290349261 WITH SCORE 2.92038050392E8
AT ITER 7763 NEW BEST:: SOT -2013675929 SOS 1688583942 HAS SOPS 1688583942 HAS SOUS 290349236 HAS SOUPS 290349236 WITH SCORE 2.92037819942E8
AT ITER 7766 NEW BEST:: SOT -2013694169 SOS 1688501838 HAS SOPS 1688501838 HAS SOUS 290349212 HAS SOUPS 290349212 WITH SCORE 2.92037713838E8
AT ITER 7777 NEW BEST:: SOT -2013699297 SOS 1688476198 HAS SOPS 1688476198 HAS SOUS 290346648 HAS SOUPS 290346648 WITH SCORE 2.92035124198E8
AT ITER 7784 NEW BEST:: SOT -2013706887 SOS 1688441941 HAS SOPS 1688441941 HAS SOUS 290346546 HAS SOUPS 290346546 WITH SCORE 2.92034987941E8
AT ITER 7789 NEW BEST:: SOT -2013713055 SOS 1688411101 HAS SOPS 1688411101 HAS SOUS 290343462 HAS SOUPS 290343462 WITH SCORE 2.92031873101E8
AT ITER 7817 NEW BEST:: SOT -2013713055 SOS 1688411074 HAS SOPS 1688411074 HAS SOUS 290343435 HAS SOUPS 290343435 WITH SCORE 2.92031846074E8
AT ITER 7826 NEW BEST:: SOT -2013728345 SOS 1688342254 HAS SOPS 1688342254 HAS SOUS 290343420 HAS SOUPS 290343420 WITH SCORE 2.92031762254E8
AT ITER 7830 NEW BEST:: SOT -2013762561 SOS 1688188268 HAS SOPS 1688188268 HAS SOUS 290343406 HAS SOUPS 290343406 WITH SCORE 2.92031594268E8
AT ITER 7847 NEW BEST:: SOT -2013790773 SOS 1688061291 HAS SOPS 1688061291 HAS SOUS 290343383 HAS SOUPS 290343383 WITH SCORE 2.92031444291E8
AT ITER 7850 NEW BEST:: SOT -2013813630 SOS 1687943738 HAS SOPS 1687943738 HAS SOUS 290334387 HAS SOUPS 290334387 WITH SCORE 2.92022330738E8
AT ITER 7859 NEW BEST:: SOT -2013826170 SOS 1687887286 HAS SOPS 1687887286 HAS SOUS 290334365 HAS SOUPS 290334365 WITH SCORE 2.92022252286E8
AT ITER 7884 NEW BEST:: SOT -2013827134 SOS 1687885358 HAS SOPS 1687885358 HAS SOUS 290333292 HAS SOUPS 290333292 WITH SCORE 2.92021177358E8
AT ITER 7898 NEW BEST:: SOT -2013880088 SOS 1687647047 HAS SOPS 1687647047 HAS SOUS 290333274 HAS SOUPS 290333274 WITH SCORE 2.92020921047E8
AT ITER 7910 NEW BEST:: SOT -2013907391 SOS 1687506858 HAS SOPS 1687506858 HAS SOUS 290324695 HAS SOUPS 290324695 WITH SCORE 2.92012201858E8
AT ITER 7913 NEW BEST:: SOT -2013932959 SOS 1687341138 HAS SOPS 1687341138 HAS SOUS 290320607 HAS SOUPS 290320607 WITH SCORE 2.92007948138E8
AT ITER 7924 NEW BEST:: SOT -2013960463 SOS 1687217364 HAS SOPS 1687217364 HAS SOUS 290320601 HAS SOUPS 290320601 WITH SCORE 2.92007818364E8
AT ITER 7929 NEW BEST:: SOT -2013991875 SOS 1687076010 HAS SOPS 1687076010 HAS SOUS 290320601 HAS SOUPS 290320601 WITH SCORE 2.9200767701E8
AT ITER 7933 NEW BEST:: SOT -2014007093 SOS 1687007529 HAS SOPS 1687007529 HAS SOUS 290320601 HAS SOUPS 290320601 WITH SCORE 2.92007608529E8
AT ITER 7946 NEW BEST:: SOT -2014020389 SOS 1686944194 HAS SOPS 1686944194 HAS SOUS 290317098 HAS SOUPS 290317098 WITH SCORE 2.92004042194E8
AT ITER 7950 NEW BEST:: SOT -2014038657 SOS 1686861983 HAS SOPS 1686861983 HAS SOUS 290317093 HAS SOUPS 290317093 WITH SCORE 2.92003954983E8
AT ITER 7954 NEW BEST:: SOT -2014080927 SOS 1686650727 HAS SOPS 1686650727 HAS SOUS 290295940 HAS SOUPS 290295940 WITH SCORE 2.91982590727E8
AT ITER 7965 NEW BEST:: SOT -2014107465 SOS 1686518723 HAS SOPS 1686518723 HAS SOUS 290283357 HAS SOUPS 290283357 WITH SCORE 2.91969875723E8
AT ITER 7973 NEW BEST:: SOT -2014123693 SOS 1686445685 HAS SOPS 1686445685 HAS SOUS 290283345 HAS SOUPS 290283345 WITH SCORE 2.91969790685E8
AT ITER 7985 NEW BEST:: SOT -2014139203 SOS 1686369722 HAS SOPS 1686369722 HAS SOUS 290277177 HAS SOUPS 290277177 WITH SCORE 2.91963546722E8
AT ITER 7988 NEW BEST:: SOT -2014172169 SOS 1686221340 HAS SOPS 1686221340 HAS SOUS 290277130 HAS SOUPS 290277130 WITH SCORE 2.9196335134E8
AT ITER 7996 NEW BEST:: SOT -2014172169 SOS 1686221328 HAS SOPS 1686221328 HAS SOUS 290277118 HAS SOUPS 290277118 WITH SCORE 2.91963339328E8
AT ITER 8025 NEW BEST:: SOT -2014220005 SOS 1686006042 HAS SOPS 1686006042 HAS SOUS 290277094 HAS SOUPS 290277094 WITH SCORE 2.91963100042E8
AT ITER 8039 NEW BEST:: SOT -2014239357 SOS 1685918958 HAS SOPS 1685918958 HAS SOUS 290277094 HAS SOUPS 290277094 WITH SCORE 2.91963012958E8
AT ITER 8057 NEW BEST:: SOT -2014271919 SOS 1685772425 HAS SOPS 1685772425 HAS SOUS 290277090 HAS SOUPS 290277090 WITH SCORE 2.91962862425E8
AT ITER 8066 NEW BEST:: SOT -2014275657 SOS 1685753735 HAS SOPS 1685753735 HAS SOUS 290275221 HAS SOUPS 290275221 WITH SCORE 2.91960974735E8
AT ITER 8074 NEW BEST:: SOT -2014285524 SOS 1685720808 HAS SOPS 1685720808 HAS SOUS 290271885 HAS SOUPS 290271885 WITH SCORE 2.91957605808E8
AT ITER 8085 NEW BEST:: SOT -2014342812 SOS 1685462993 HAS SOPS 1685462993 HAS SOUS 290271866 HAS SOUPS 290271866 WITH SCORE 2.91957328993E8
AT ITER 8089 NEW BEST:: SOT -2014377238 SOS 1685308061 HAS SOPS 1685308061 HAS SOUS 290271851 HAS SOUPS 290271851 WITH SCORE 2.91957159061E8
AT ITER 8093 NEW BEST:: SOT -2014411289 SOS 1685133366 HAS SOPS 1685133366 HAS SOUS 290264305 HAS SOUPS 290264305 WITH SCORE 2.91949438366E8
AT ITER 8095 NEW BEST:: SOT -2014441037 SOS 1684982337 HAS SOPS 1684982337 HAS SOUS 290251811 HAS SOUPS 290251811 WITH SCORE 2.91936793337E8
AT ITER 8103 NEW BEST:: SOT -2014464587 SOS 1684876355 HAS SOPS 1684876355 HAS SOUS 290251804 HAS SOUPS 290251804 WITH SCORE 2.91936680355E8
AT ITER 8117 NEW BEST:: SOT -2014490481 SOS 1684759832 HAS SOPS 1684759832 HAS SOUS 290251804 HAS SOUPS 290251804 WITH SCORE 2.91936563832E8
AT ITER 8131 NEW BEST:: SOT -2014514037 SOS 1684633763 HAS SOPS 1684633763 HAS SOUS 290242822 HAS SOUPS 290242822 WITH SCORE 2.91927455763E8
AT ITER 8137 NEW BEST:: SOT -2014538971 SOS 1684505890 HAS SOPS 1684505890 HAS SOUS 290233529 HAS SOUPS 290233529 WITH SCORE 2.9191803489E8
AT ITER 8185 NEW BEST:: SOT -2014576835 SOS 1684335181 HAS SOPS 1684335181 HAS SOUS 290233094 HAS SOUPS 290233094 WITH SCORE 2.91917429181E8
AT ITER 8194 NEW BEST:: SOT -2014582865 SOS 1684308033 HAS SOPS 1684308033 HAS SOUS 290233081 HAS SOUPS 290233081 WITH SCORE 2.91917389033E8
AT ITER 8197 NEW BEST:: SOT -2014591121 SOS 1684270864 HAS SOPS 1684270864 HAS SOUS 290233064 HAS SOUPS 290233064 WITH SCORE 2.91917334864E8
AT ITER 8202 NEW BEST:: SOT -2014624665 SOS 1684119912 HAS SOPS 1684119912 HAS SOUS 290233060 HAS SOUPS 290233060 WITH SCORE 2.91917179912E8
AT ITER 8204 NEW BEST:: SOT -2014642937 SOS 1684037660 HAS SOPS 1684037660 HAS SOUS 290233026 HAS SOUPS 290233026 WITH SCORE 2.9191706366E8
AT ITER 8209 NEW BEST:: SOT -2014642937 SOS 1684025664 HAS SOPS 1684025664 HAS SOUS 290226430 HAS SOUPS 290226430 WITH SCORE 2.91910455664E8
AT ITER 8226 NEW BEST:: SOT -2014650777 SOS 1683986464 HAS SOPS 1683986464 HAS SOUS 290222510 HAS SOUPS 290222510 WITH SCORE 2.91906496464E8
AT ITER 8234 NEW BEST:: SOT -2014715647 SOS 1683662114 HAS SOPS 1683662114 HAS SOUS 290190075 HAS SOUPS 290190075 WITH SCORE 2.91873737114E8
AT ITER 8237 NEW BEST:: SOT -2014735807 SOS 1683571372 HAS SOPS 1683571372 HAS SOUS 290190053 HAS SOUPS 290190053 WITH SCORE 2.91873624372E8
AT ITER 8271 NEW BEST:: SOT -2014763775 SOS 1683431532 HAS SOPS 1683431532 HAS SOUS 290176061 HAS SOUPS 290176061 WITH SCORE 2.91859492532E8
AT ITER 8273 NEW BEST:: SOT -2014776637 SOS 1683373648 HAS SOPS 1683373648 HAS SOUS 290176056 HAS SOUPS 290176056 WITH SCORE 2.91859429648E8
AT ITER 8307 NEW BEST:: SOT -2014788828 SOS 1683314781 HAS SOPS 1683314781 HAS SOUS 290172952 HAS SOUPS 290172952 WITH SCORE 2.91856266781E8
AT ITER 8312 NEW BEST:: SOT -2014827924 SOS 1683138849 HAS SOPS 1683138849 HAS SOUS 290172952 HAS SOUPS 290172952 WITH SCORE 2.91856090849E8
AT ITER 8318 NEW BEST:: SOT -2014849842 SOS 1683040213 HAS SOPS 1683040213 HAS SOUS 290172947 HAS SOUPS 290172947 WITH SCORE 2.91855987213E8
AT ITER 8319 NEW BEST:: SOT -2014900308 SOS 1682813084 HAS SOPS 1682813084 HAS SOUS 290172905 HAS SOUPS 290172905 WITH SCORE 2.91855718084E8
AT ITER 8329 NEW BEST:: SOT -2014909836 SOS 1682769909 HAS SOPS 1682769909 HAS SOUS 290172508 HAS SOUPS 290172508 WITH SCORE 2.91855277909E8
AT ITER 8331 NEW BEST:: SOT -2014953102 SOS 1682575205 HAS SOPS 1682575205 HAS SOUS 290172501 HAS SOUPS 290172501 WITH SCORE 2.91855076205E8
AT ITER 8332 NEW BEST:: SOT -2014974034 SOS 1682481011 HAS SOPS 1682481011 HAS SOUS 290172501 HAS SOUPS 290172501 WITH SCORE 2.91854982011E8
AT ITER 8334 NEW BEST:: SOT -2014987696 SOS 1682419518 HAS SOPS 1682419518 HAS SOUS 290172487 HAS SOUPS 290172487 WITH SCORE 2.91854906518E8
AT ITER 8338 NEW BEST:: SOT -2015031729 SOS 1682195444 HAS SOPS 1682195444 HAS SOUS 290155462 HAS SOUPS 290155462 WITH SCORE 2.91837657444E8
AT ITER 8348 NEW BEST:: SOT -2015053363 SOS 1682098084 HAS SOPS 1682098084 HAS SOUS 290155455 HAS SOUPS 290155455 WITH SCORE 2.91837553084E8
AT ITER 8357 NEW BEST:: SOT -2015087835 SOS 1681925724 HAS SOPS 1681925724 HAS SOUS 290138219 HAS SOUPS 290138219 WITH SCORE 2.91820144724E8
AT ITER 8380 NEW BEST:: SOT -2015127611 SOS 1681746706 HAS SOPS 1681746706 HAS SOUS 290138193 HAS SOUPS 290138193 WITH SCORE 2.91819939706E8
AT ITER 8381 NEW BEST:: SOT -2015159389 SOS 1681602771 HAS SOPS 1681602771 HAS SOUS 290137259 HAS SOUPS 290137259 WITH SCORE 2.91818861771E8
AT ITER 8414 NEW BEST:: SOT -2015172699 SOS 1681542847 HAS SOPS 1681542847 HAS SOUS 290137230 HAS SOUPS 290137230 WITH SCORE 2.91818772847E8
AT ITER 8418 NEW BEST:: SOT -2015220309 SOS 1681328525 HAS SOPS 1681328525 HAS SOUS 290137153 HAS SOUPS 290137153 WITH SCORE 2.91818481525E8
AT ITER 8434 NEW BEST:: SOT -2015251005 SOS 1681190364 HAS SOPS 1681190364 HAS SOUS 290137124 HAS SOUPS 290137124 WITH SCORE 2.91818314364E8
AT ITER 8454 NEW BEST:: SOT -2015316559 SOS 1680862644 HAS SOPS 1680862644 HAS SOUS 290104301 HAS SOUPS 290104301 WITH SCORE 2.91785163644E8
AT ITER 8461 NEW BEST:: SOT -2015342367 SOS 1680746508 HAS SOPS 1680746508 HAS SOUS 290104301 HAS SOUPS 290104301 WITH SCORE 2.91785047508E8
AT ITER 8481 NEW BEST:: SOT -2015371409 SOS 1680615785 HAS SOPS 1680615785 HAS SOUS 290104257 HAS SOUPS 290104257 WITH SCORE 2.91784872785E8
AT ITER 8501 NEW BEST:: SOT -2015384677 SOS 1680549445 HAS SOPS 1680549445 HAS SOUS 290097623 HAS SOUPS 290097623 WITH SCORE 2.91778172445E8
AT ITER 8521 NEW BEST:: SOT -2015410947 SOS 1680414916 HAS SOPS 1680414916 HAS SOUS 290089933 HAS SOUPS 290089933 WITH SCORE 2.91770347916E8
AT ITER 8523 NEW BEST:: SOT -2015420269 SOS 1680368306 HAS SOPS 1680368306 HAS SOUS 290085272 HAS SOUPS 290085272 WITH SCORE 2.91765640306E8
AT ITER 8524 NEW BEST:: SOT -2015425915 SOS 1680340076 HAS SOPS 1680340076 HAS SOUS 290082449 HAS SOUPS 290082449 WITH SCORE 2.91762789076E8
AT ITER 8529 NEW BEST:: SOT -2015441105 SOS 1680271518 HAS SOPS 1680271518 HAS SOUS 290082246 HAS SOUPS 290082246 WITH SCORE 2.91762517518E8
AT ITER 8544 NEW BEST:: SOT -2015467125 SOS 1680154421 HAS SOPS 1680154421 HAS SOUS 290082239 HAS SOUPS 290082239 WITH SCORE 2.91762393421E8
AT ITER 8545 NEW BEST:: SOT -2015496123 SOS 1680023906 HAS SOPS 1680023906 HAS SOUS 290082215 HAS SOUPS 290082215 WITH SCORE 2.91762238906E8
AT ITER 8564 NEW BEST:: SOT -2015525919 SOS 1679889790 HAS SOPS 1679889790 HAS SOUS 290082169 HAS SOUPS 290082169 WITH SCORE 2.9176205879E8
AT ITER 8575 NEW BEST:: SOT -2015548401 SOS 1679771067 HAS SOPS 1679771067 HAS SOUS 290072340 HAS SOUPS 290072340 WITH SCORE 2.91752111067E8
AT ITER 8579 NEW BEST:: SOT -2015612037 SOS 1679484681 HAS SOPS 1679484681 HAS SOUS 290072316 HAS SOUPS 290072316 WITH SCORE 2.91751800681E8
AT ITER 8588 NEW BEST:: SOT -2015623819 SOS 1679427008 HAS SOPS 1679427008 HAS SOUS 290068187 HAS SOUPS 290068187 WITH SCORE 2.91747614008E8
AT ITER 8600 NEW BEST:: SOT -2015623819 SOS 1679426975 HAS SOPS 1679426975 HAS SOUS 290068146 HAS SOUPS 290068146 WITH SCORE 2.91747572975E8
AT ITER 8606 NEW BEST:: SOT -2015650427 SOS 1679307229 HAS SOPS 1679307229 HAS SOUS 290068136 HAS SOUPS 290068136 WITH SCORE 2.91747443229E8
AT ITER 8607 NEW BEST:: SOT -2015659863 SOS 1679264744 HAS SOPS 1679264744 HAS SOUS 290068113 HAS SOUPS 290068113 WITH SCORE 2.91747377744E8
AT ITER 8633 NEW BEST:: SOT -2015664043 SOS 1679243844 HAS SOPS 1679243844 HAS SOUS 290066023 HAS SOUPS 290066023 WITH SCORE 2.91745266844E8
AT ITER 8660 NEW BEST:: SOT -2015712194 SOS 1679015711 HAS SOPS 1679015711 HAS SOUS 290065680 HAS SOUPS 290065680 WITH SCORE 2.91744695711E8
AT ITER 8667 NEW BEST:: SOT -2015712194 SOS 1679001601 HAS SOPS 1679001601 HAS SOUS 290051570 HAS SOUPS 290051570 WITH SCORE 2.91730571601E8
AT ITER 8678 NEW BEST:: SOT -2015741486 SOS 1678857087 HAS SOPS 1678857087 HAS SOUS 290045623 HAS SOUPS 290045623 WITH SCORE 2.91724480087E8
AT ITER 8683 NEW BEST:: SOT -2015750378 SOS 1678812627 HAS SOPS 1678812627 HAS SOUS 290041169 HAS SOUPS 290041169 WITH SCORE 2.91719981627E8
AT ITER 8688 NEW BEST:: SOT -2015761409 SOS 1678754982 HAS SOPS 1678754982 HAS SOUS 290040342 HAS SOUPS 290040342 WITH SCORE 2.91719096982E8
AT ITER 8694 NEW BEST:: SOT -2015777689 SOS 1678681722 HAS SOPS 1678681722 HAS SOUS 290040342 HAS SOUPS 290040342 WITH SCORE 2.91719023722E8
AT ITER 8700 NEW BEST:: SOT -2015788803 SOS 1678631683 HAS SOPS 1678631683 HAS SOUS 290040316 HAS SOUPS 290040316 WITH SCORE 2.91718947683E8
AT ITER 8717 NEW BEST:: SOT -2015835079 SOS 1678423441 HAS SOPS 1678423441 HAS SOUS 290040316 HAS SOUPS 290040316 WITH SCORE 2.91718739441E8
AT ITER 8741 NEW BEST:: SOT -2015844685 SOS 1678377427 HAS SOPS 1678377427 HAS SOUS 290037529 HAS SOUPS 290037529 WITH SCORE 2.91715906427E8
AT ITER 8742 NEW BEST:: SOT -2015865457 SOS 1678283926 HAS SOPS 1678283926 HAS SOUS 290037502 HAS SOUPS 290037502 WITH SCORE 2.91715785926E8
AT ITER 8759 NEW BEST:: SOT -2015884577 SOS 1678197860 HAS SOPS 1678197860 HAS SOUS 290037476 HAS SOUPS 290037476 WITH SCORE 2.9171567386E8
AT ITER 8780 NEW BEST:: SOT -2015930471 SOS 1677991331 HAS SOPS 1677991331 HAS SOUS 290037470 HAS SOUPS 290037470 WITH SCORE 2.91715461331E8
AT ITER 8789 NEW BEST:: SOT -2015930471 SOS 1677976928 HAS SOPS 1677976928 HAS SOUS 290029555 HAS SOUPS 290029555 WITH SCORE 2.91707531928E8
AT ITER 8801 NEW BEST:: SOT -2015930471 SOS 1677976898 HAS SOPS 1677976898 HAS SOUS 290029525 HAS SOUPS 290029525 WITH SCORE 2.91707501898E8
AT ITER 8810 NEW BEST:: SOT -2015930471 SOS 1677976898 HAS SOPS 1677976898 HAS SOUS 290029517 HAS SOUPS 290029517 WITH SCORE 2.91707493898E8
AT ITER 8817 NEW BEST:: SOT -2015939425 SOS 1677936570 HAS SOPS 1677936570 HAS SOUS 290029474 HAS SOUPS 290029474 WITH SCORE 2.9170741057E8
AT ITER 8847 NEW BEST:: SOT -2015944135 SOS 1677915314 HAS SOPS 1677915314 HAS SOUS 290029413 HAS SOUPS 290029413 WITH SCORE 2.91707328314E8
AT ITER 8857 NEW BEST:: SOT -2015995481 SOS 1677684080 HAS SOPS 1677684080 HAS SOUS 290029236 HAS SOUPS 290029236 WITH SCORE 2.9170692008E8
AT ITER 8865 NEW BEST:: SOT -2016036398 SOS 1677420762 HAS SOPS 1677420762 HAS SOUS 290027562 HAS SOUPS 290027562 WITH SCORE 2.91704982762E8
AT ITER 8868 NEW BEST:: SOT -2016088388 SOS 1677186779 HAS SOPS 1677186779 HAS SOUS 290027534 HAS SOUPS 290027534 WITH SCORE 2.91704720779E8
AT ITER 8872 NEW BEST:: SOT -2016107560 SOS 1677100486 HAS SOPS 1677100486 HAS SOUS 290027515 HAS SOUPS 290027515 WITH SCORE 2.91704615486E8
AT ITER 8893 NEW BEST:: SOT -2016123100 SOS 1677030526 HAS SOPS 1677030526 HAS SOUS 290027485 HAS SOUPS 290027485 WITH SCORE 2.91704515526E8
AT ITER 8904 NEW BEST:: SOT -2016173188 SOS 1676805096 HAS SOPS 1676805096 HAS SOUS 290027443 HAS SOUPS 290027443 WITH SCORE 2.91704248096E8
AT ITER 8934 NEW BEST:: SOT -2016196528 SOS 1676699805 HAS SOPS 1676699805 HAS SOUS 290027182 HAS SOUPS 290027182 WITH SCORE 2.91703881805E8
AT ITER 8942 NEW BEST:: SOT -2016209034 SOS 1676643214 HAS SOPS 1676643214 HAS SOUS 290026784 HAS SOUPS 290026784 WITH SCORE 2.91703427214E8
AT ITER 8943 NEW BEST:: SOT -2016218690 SOS 1676599747 HAS SOPS 1676599747 HAS SOUS 290026769 HAS SOUPS 290026769 WITH SCORE 2.91703368747E8
AT ITER 8953 NEW BEST:: SOT -2016276894 SOS 1676337813 HAS SOPS 1676337813 HAS SOUS 290026753 HAS SOUPS 290026753 WITH SCORE 2.91703090813E8
AT ITER 8961 NEW BEST:: SOT -2016318140 SOS 1676125674 HAS SOPS 1676125674 HAS SOUS 290010945 HAS SOUPS 290010945 WITH SCORE 2.91687070674E8
AT ITER 8965 NEW BEST:: SOT -2016334267 SOS 1676041815 HAS SOPS 1676041815 HAS SOUS 290009209 HAS SOUPS 290009209 WITH SCORE 2.91685250815E8
AT ITER 8975 NEW BEST:: SOT -2016351159 SOS 1675925820 HAS SOPS 1675925820 HAS SOUS 290008036 HAS SOUPS 290008036 WITH SCORE 2.9168396182E8
AT ITER 8979 NEW BEST:: SOT -2016408607 SOS 1675667292 HAS SOPS 1675667292 HAS SOUS 290008024 HAS SOUPS 290008024 WITH SCORE 2.91683691292E8
AT ITER 8990 NEW BEST:: SOT -2016425167 SOS 1675584492 HAS SOPS 1675584492 HAS SOUS 289999744 HAS SOUPS 289999744 WITH SCORE 2.91675328492E8
AT ITER 9010 NEW BEST:: SOT -2016443105 SOS 1675503761 HAS SOPS 1675503761 HAS SOUS 289999734 HAS SOUPS 289999734 WITH SCORE 2.91675237761E8
AT ITER 9014 NEW BEST:: SOT -2016476279 SOS 1675354473 HAS SOPS 1675354473 HAS SOUS 289999729 HAS SOUPS 289999729 WITH SCORE 2.91675083473E8
AT ITER 9018 NEW BEST:: SOT -2016483615 SOS 1675321450 HAS SOPS 1675321450 HAS SOUS 289999718 HAS SOUPS 289999718 WITH SCORE 2.9167503945E8
AT ITER 9028 NEW BEST:: SOT -2016483615 SOS 1675321420 HAS SOPS 1675321420 HAS SOUS 289999688 HAS SOUPS 289999688 WITH SCORE 2.9167500942E8
AT ITER 9049 NEW BEST:: SOT -2016546599 SOS 1675037960 HAS SOPS 1675037960 HAS SOUS 289999650 HAS SOUPS 289999650 WITH SCORE 2.9167468796E8
AT ITER 9061 NEW BEST:: SOT -2016577347 SOS 1674899582 HAS SOPS 1674899582 HAS SOUS 289999638 HAS SOUPS 289999638 WITH SCORE 2.91674537582E8
AT ITER 9099 NEW BEST:: SOT -2016595933 SOS 1674815928 HAS SOPS 1674815928 HAS SOUS 289999621 HAS SOUPS 289999621 WITH SCORE 2.91674436928E8
AT ITER 9118 NEW BEST:: SOT -2016640279 SOS 1674616371 HAS SOPS 1674616371 HAS SOUS 289999621 HAS SOUPS 289999621 WITH SCORE 2.91674237371E8
AT ITER 9122 NEW BEST:: SOT -2016665574 SOS 1674486039 HAS SOPS 1674486039 HAS SOUS 289990571 HAS SOUPS 289990571 WITH SCORE 2.91665057039E8
AT ITER 9124 NEW BEST:: SOT -2016684654 SOS 1674400168 HAS SOPS 1674400168 HAS SOUS 289990560 HAS SOUPS 289990560 WITH SCORE 2.91664960168E8
AT ITER 9136 NEW BEST:: SOT -2016706286 SOS 1674302806 HAS SOPS 1674302806 HAS SOUS 289990542 HAS SOUPS 289990542 WITH SCORE 2.91664844806E8
AT ITER 9137 NEW BEST:: SOT -2016725832 SOS 1674214843 HAS SOPS 1674214843 HAS SOUS 289990536 HAS SOUPS 289990536 WITH SCORE 2.91664750843E8
AT ITER 9158 NEW BEST:: SOT -2016757785 SOS 1674048038 HAS SOPS 1674048038 HAS SOUS 289976420 HAS SOUPS 289976420 WITH SCORE 2.91650468038E8
AT ITER 9166 NEW BEST:: SOT -2016766956 SOS 1674017456 HAS SOPS 1674017456 HAS SOUS 289973351 HAS SOUPS 289973351 WITH SCORE 2.91647368456E8
AT ITER 9168 NEW BEST:: SOT -2016786190 SOS 1673922703 HAS SOPS 1673922703 HAS SOUS 289965151 HAS SOUPS 289965151 WITH SCORE 2.91639073703E8
AT ITER 9171 NEW BEST:: SOT -2016818558 SOS 1673776849 HAS SOPS 1673776849 HAS SOUS 289964953 HAS SOUPS 289964953 WITH SCORE 2.91638729849E8
AT ITER 9173 NEW BEST:: SOT -2016866657 SOS 1673530343 HAS SOPS 1673530343 HAS SOUS 289948935 HAS SOUPS 289948935 WITH SCORE 2.91622465343E8
AT ITER 9176 NEW BEST:: SOT -2016903099 SOS 1673366193 HAS SOPS 1673366193 HAS SOUS 289948774 HAS SOUPS 289948774 WITH SCORE 2.91622140193E8
AT ITER 9185 NEW BEST:: SOT -2016945311 SOS 1673155133 HAS SOPS 1673155133 HAS SOUS 289927646 HAS SOUPS 289927646 WITH SCORE 2.91600801133E8
AT ITER 9187 NEW BEST:: SOT -2016968281 SOS 1673051736 HAS SOPS 1673051736 HAS SOUS 289927608 HAS SOUPS 289927608 WITH SCORE 2.91600659736E8
AT ITER 9191 NEW BEST:: SOT -2016975131 SOS 1673020901 HAS SOPS 1673020901 HAS SOUS 289927598 HAS SOUPS 289927598 WITH SCORE 2.91600618901E8
AT ITER 9202 NEW BEST:: SOT -2017016833 SOS 1672833242 HAS SOPS 1672833242 HAS SOUS 289927598 HAS SOUPS 289927598 WITH SCORE 2.91600431242E8
AT ITER 9232 NEW BEST:: SOT -2017016833 SOS 1672833206 HAS SOPS 1672833206 HAS SOUS 289927552 HAS SOUPS 289927552 WITH SCORE 2.91600385206E8
AT ITER 9243 NEW BEST:: SOT -2017024761 SOS 1672797530 HAS SOPS 1672797530 HAS SOUS 289927552 HAS SOUPS 289927552 WITH SCORE 2.9160034953E8
AT ITER 9265 NEW BEST:: SOT -2017024761 SOS 1672797526 HAS SOPS 1672797526 HAS SOUS 289927548 HAS SOUPS 289927548 WITH SCORE 2.91600345526E8
AT ITER 9276 NEW BEST:: SOT -2017066029 SOS 1672611794 HAS SOPS 1672611794 HAS SOUS 289927522 HAS SOUPS 289927522 WITH SCORE 2.91600133794E8
AT ITER 9281 NEW BEST:: SOT -2017066029 SOS 1672611761 HAS SOPS 1672611761 HAS SOUS 289927481 HAS SOUPS 289927481 WITH SCORE 2.91600092761E8
AT ITER 9311 NEW BEST:: SOT -2017077099 SOS 1672543229 HAS SOPS 1672543229 HAS SOUS 289924143 HAS SOUPS 289924143 WITH SCORE 2.91596686229E8
AT ITER 9325 NEW BEST:: SOT -2017108855 SOS 1672400303 HAS SOPS 1672400303 HAS SOUS 289924119 HAS SOUPS 289924119 WITH SCORE 2.91596519303E8
AT ITER 9335 NEW BEST:: SOT -2017127173 SOS 1672317246 HAS SOPS 1672317246 HAS SOUS 289923493 HAS SOUPS 289923493 WITH SCORE 2.91595810246E8
AT ITER 9357 NEW BEST:: SOT -2017167523 SOS 1672135499 HAS SOPS 1672135499 HAS SOUS 289923321 HAS SOUPS 289923321 WITH SCORE 2.91595456499E8
AT ITER 9361 NEW BEST:: SOT -2017192779 SOS 1672009219 HAS SOPS 1672009219 HAS SOUS 289910693 HAS SOUPS 289910693 WITH SCORE 2.91582702219E8
AT ITER 9373 NEW BEST:: SOT -2017201641 SOS 1671969316 HAS SOPS 1671969316 HAS SOUS 289910669 HAS SOUPS 289910669 WITH SCORE 2.91582638316E8
AT ITER 9380 NEW BEST:: SOT -2017226080 SOS 1671847946 HAS SOPS 1671847946 HAS SOUS 289902960 HAS SOUPS 289902960 WITH SCORE 2.91574807946E8
AT ITER 9419 NEW BEST:: SOT -2017224172 SOS 1671861946 HAS SOPS 1671861946 HAS SOUS 289901696 HAS SOUPS 289901696 WITH SCORE 2.91573557946E8
AT ITER 9420 NEW BEST:: SOT -2017226724 SOS 1671849186 HAS SOPS 1671849186 HAS SOUS 289900420 HAS SOUPS 289900420 WITH SCORE 2.91572269186E8
AT ITER 9422 NEW BEST:: SOT -2017263468 SOS 1671683823 HAS SOPS 1671683823 HAS SOUS 289900405 HAS SOUPS 289900405 WITH SCORE 2.91572088823E8
AT ITER 9433 NEW BEST:: SOT -2017360176 SOS 1671348635 HAS SOPS 1671348635 HAS SOUS 289871847 HAS SOUPS 289871847 WITH SCORE 2.91543195635E8
AT ITER 9440 NEW BEST:: SOT -2017375828 SOS 1671278190 HAS SOPS 1671278190 HAS SOUS 289871836 HAS SOUPS 289871836 WITH SCORE 2.9154311419E8
AT ITER 9462 NEW BEST:: SOT -2017392561 SOS 1671154136 HAS SOPS 1671154136 HAS SOUS 289870201 HAS SOUPS 289870201 WITH SCORE 2.91541355136E8
AT ITER 9493 NEW BEST:: SOT -2017452596 SOS 1670883476 HAS SOPS 1670883476 HAS SOUS 289870402 HAS SOUPS 289870402 WITH SCORE 2.91541285476E8
AT ITER 9508 NEW BEST:: SOT -2017464816 SOS 1670828459 HAS SOPS 1670828459 HAS SOUS 289870375 HAS SOUPS 289870375 WITH SCORE 2.91541203459E8
AT ITER 9536 NEW BEST:: SOT -2017483180 SOS 1670738345 HAS SOPS 1670738345 HAS SOUS 289862899 HAS SOUPS 289862899 WITH SCORE 2.91533637345E8
AT ITER 9537 NEW BEST:: SOT -2017537128 SOS 1670483354 HAS SOPS 1670483354 HAS SOUS 289860894 HAS SOUPS 289860894 WITH SCORE 2.91531377354E8
AT ITER 9549 NEW BEST:: SOT -2017621229 SOS 1670185323 HAS SOPS 1670185323 HAS SOUS 289854811 HAS SOUPS 289854811 WITH SCORE 2.91524996323E8
AT ITER 9563 NEW BEST:: SOT -2017664321 SOS 1669991375 HAS SOPS 1669991375 HAS SOUS 289854773 HAS SOUPS 289854773 WITH SCORE 2.91524764375E8
AT ITER 9568 NEW BEST:: SOT -2017668683 SOS 1669982651 HAS SOPS 1669982651 HAS SOUS 289850680 HAS SOUPS 289850680 WITH SCORE 2.91520662651E8
AT ITER 9571 NEW BEST:: SOT -2017687525 SOS 1669897833 HAS SOPS 1669897833 HAS SOUS 289850647 HAS SOUPS 289850647 WITH SCORE 2.91520544833E8
AT ITER 9592 NEW BEST:: SOT -2017693847 SOS 1669869375 HAS SOPS 1669869375 HAS SOUS 289850638 HAS SOUPS 289850638 WITH SCORE 2.91520507375E8
AT ITER 9598 NEW BEST:: SOT -2017717543 SOS 1669762722 HAS SOPS 1669762722 HAS SOUS 289850617 HAS SOUPS 289850617 WITH SCORE 2.91520379722E8
AT ITER 9606 NEW BEST:: SOT -2017717543 SOS 1669753119 HAS SOPS 1669753119 HAS SOUS 289841014 HAS SOUPS 289841014 WITH SCORE 2.91510767119E8
AT ITER 9611 NEW BEST:: SOT -2017765427 SOS 1669537583 HAS SOPS 1669537583 HAS SOUS 289840956 HAS SOUPS 289840956 WITH SCORE 2.91510493583E8
AT ITER 9626 NEW BEST:: SOT -2017778989 SOS 1669476263 HAS SOPS 1669476263 HAS SOUS 289840665 HAS SOUPS 289840665 WITH SCORE 2.91510141263E8
AT ITER 9627 NEW BEST:: SOT -2017821609 SOS 1669284406 HAS SOPS 1669284406 HAS SOUS 289840598 HAS SOUPS 289840598 WITH SCORE 2.91509882406E8
AT ITER 9658 NEW BEST:: SOT -2017856061 SOS 1669129363 HAS SOPS 1669129363 HAS SOUS 289840589 HAS SOUPS 289840589 WITH SCORE 2.91509718363E8
AT ITER 9667 NEW BEST:: SOT -2017856061 SOS 1669129338 HAS SOPS 1669129338 HAS SOUS 289840564 HAS SOUPS 289840564 WITH SCORE 2.91509693338E8
AT ITER 9675 NEW BEST:: SOT -2017871335 SOS 1669060584 HAS SOPS 1669060584 HAS SOUS 289840543 HAS SOUPS 289840543 WITH SCORE 2.91509603584E8
AT ITER 9690 NEW BEST:: SOT -2017871335 SOS 1669058353 HAS SOPS 1669058353 HAS SOUS 289838312 HAS SOUPS 289838312 WITH SCORE 2.91507370353E8
AT ITER 9699 NEW BEST:: SOT -2017926861 SOS 1668808448 HAS SOPS 1668808448 HAS SOUS 289838274 HAS SOUPS 289838274 WITH SCORE 2.91507082448E8
AT ITER 9701 NEW BEST:: SOT -2017954263 SOS 1668671537 HAS SOPS 1668671537 HAS SOUS 289824672 HAS SOUPS 289824672 WITH SCORE 2.91493343537E8
AT ITER 9712 NEW BEST:: SOT -2017980211 SOS 1668543073 HAS SOPS 1668543073 HAS SOUS 289812974 HAS SOUPS 289812974 WITH SCORE 2.91481517073E8
AT ITER 9713 NEW BEST:: SOT -2018017650 SOS 1668351296 HAS SOPS 1668351296 HAS SOUS 289803683 HAS SOUPS 289803683 WITH SCORE 2.91472034296E8
AT ITER 9731 NEW BEST:: SOT -2018020402 SOS 1668338901 HAS SOPS 1668338901 HAS SOUS 289803672 HAS SOUPS 289803672 WITH SCORE 2.91472010901E8
AT ITER 9741 NEW BEST:: SOT -2018026968 SOS 1668309349 HAS SOPS 1668309349 HAS SOUS 289803667 HAS SOUPS 289803667 WITH SCORE 2.91471976349E8
AT ITER 9753 NEW BEST:: SOT -2018044772 SOS 1668229007 HAS SOPS 1668229007 HAS SOUS 289803443 HAS SOUPS 289803443 WITH SCORE 2.91471672007E8
AT ITER 9763 NEW BEST:: SOT -2018077826 SOS 1668080246 HAS SOPS 1668080246 HAS SOUS 289803425 HAS SOUPS 289803425 WITH SCORE 2.91471505246E8
AT ITER 9839 NEW BEST:: SOT -2018122776 SOS 1667877938 HAS SOPS 1667877938 HAS SOUS 289803382 HAS SOUPS 289803382 WITH SCORE 2.91471259938E8
AT ITER 9873 NEW BEST:: SOT -2018122776 SOS 1667877935 HAS SOPS 1667877935 HAS SOUS 289803379 HAS SOUPS 289803379 WITH SCORE 2.91471256935E8
AT ITER 9900 NEW BEST:: SOT -2018122844 SOS 1667877629 HAS SOPS 1667877629 HAS SOUS 289803379 HAS SOUPS 289803379 WITH SCORE 2.91471256629E8
AT ITER 9903 NEW BEST:: SOT -2018142996 SOS 1667786924 HAS SOPS 1667786924 HAS SOUS 289803358 HAS SOUPS 289803358 WITH SCORE 2.91471144924E8
AT ITER 9913 NEW BEST:: SOT -2018203242 SOS 1667515786 HAS SOPS 1667515786 HAS SOUS 289803321 HAS SOUPS 289803321 WITH SCORE 2.91470836786E8
AT ITER 9937 NEW BEST:: SOT -2018224268 SOS 1667421165 HAS SOPS 1667421165 HAS SOUS 289803317 HAS SOUPS 289803317 WITH SCORE 2.91470738165E8
AT ITER 9945 NEW BEST:: SOT -2018235191 SOS 1667334825 HAS SOPS 1667334825 HAS SOUS 289803143 HAS SOUPS 289803143 WITH SCORE 2.91470477825E8
AT ITER 9961 NEW BEST:: SOT -2018272947 SOS 1667132652 HAS SOPS 1667132652 HAS SOUS 289789993 HAS SOUPS 289789993 WITH SCORE 2.91457125652E8
AT ITER 9971 NEW BEST:: SOT -2018300501 SOS 1667008633 HAS SOPS 1667008633 HAS SOUS 289789967 HAS SOUPS 289789967 WITH SCORE 2.91456975633E8
AT ITER 9974 NEW BEST:: SOT -2018300501 SOS 1667008629 HAS SOPS 1667008629 HAS SOUS 289789963 HAS SOUPS 289789963 WITH SCORE 2.91456971629E8
AT ITER 9986 NEW BEST:: SOT -2018330169 SOS 1666875119 HAS SOPS 1666875119 HAS SOUS 289789959 HAS SOUPS 289789959 WITH SCORE 2.91456834119E8
AT ITER 9987 NEW BEST:: SOT -2018354925 SOS 1666763705 HAS SOPS 1666763705 HAS SOUS 289789947 HAS SOUPS 289789947 WITH SCORE 2.91456710705E8
AT ITER 9992 NEW BEST:: SOT -2018377547 SOS 1666649009 HAS SOPS 1666649009 HAS SOUS 289787179 HAS SOUPS 289787179 WITH SCORE 2.91453828009E8
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 8456864 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16030208 kB

BK_TIME_CONFINEMENT_REACHED

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

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ViralEpidemic-PT-S08D1C2A04"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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