fond
Model Checking Contest 2023
13th edition, Paris, France, April 26, 2023 (at TOOLympics II)
Execution of r331-tall-167889205000840
Last Updated
May 14, 2023

About the Execution of Smart+red for RingSingleMessageInMbox-PT-d1m005

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

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r331-tall-167889205000840.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 RingSingleMessageInMbox-PT-d1m005, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r331-tall-167889205000840
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 6.2M
-rw-r--r-- 1 mcc users 6.7K Feb 26 05:20 CTLCardinality.txt
-rw-r--r-- 1 mcc users 67K Feb 26 05:20 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 26 05:15 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 26 05:15 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:46 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:46 LTLFireability.xml
-rw-r--r-- 1 mcc users 6.9K Feb 26 05:26 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 60K Feb 26 05:26 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.7K Feb 26 05:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 70K Feb 26 05:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 16:46 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:46 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 7 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 5.8M 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 1679159196731

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=RingSingleMessageInMbox-PT-d1m005
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-18 17:06:38] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-18 17:06:38] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-18 17:06:39] [INFO ] Load time of PNML (sax parser for PT used): 375 ms
[2023-03-18 17:06:39] [INFO ] Transformed 6690 places.
[2023-03-18 17:06:39] [INFO ] Transformed 11934 transitions.
[2023-03-18 17:06:39] [INFO ] Parsed PT model containing 6690 places and 11934 transitions and 47736 arcs in 503 ms.
[2023-03-18 17:06:39] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 6690 places, 11934 transitions and 47736 arcs took 86 ms.
Total runtime 638 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RingSingleMessageInMbox (PT), instance d1m005
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: 6690 places, 11934 transitions, 47736 arcs.
AT ITER 0 NEW BEST:: SOT 28423187 SOS 27620147 HAS SOPS 27620064 HAS SOUS 22106591 HAS SOUPS 22106508 WITH SCORE 2.2134128147E7
AT ITER 34 NEW BEST:: SOT 28423187 SOS 27619375 HAS SOPS 27619292 HAS SOUS 22104161 HAS SOUPS 22104078 WITH SCORE 2.2131697375E7
AT ITER 37 NEW BEST:: SOT 28423187 SOS 27595292 HAS SOPS 27595209 HAS SOUS 22103791 HAS SOUPS 22103708 WITH SCORE 2.2131303292E7
AT ITER 61 NEW BEST:: SOT 28423187 SOS 27595170 HAS SOPS 27595087 HAS SOUS 22103791 HAS SOUPS 22103708 WITH SCORE 2.213130317E7
AT ITER 63 NEW BEST:: SOT 28423187 SOS 27595378 HAS SOPS 27595295 HAS SOUS 22100635 HAS SOUPS 22100552 WITH SCORE 2.2128147378E7
AT ITER 65 NEW BEST:: SOT 28423187 SOS 27595378 HAS SOPS 27595295 HAS SOUS 22100226 HAS SOUPS 22100143 WITH SCORE 2.2127738378E7
AT ITER 69 NEW BEST:: SOT 28423187 SOS 27595378 HAS SOPS 27595295 HAS SOUS 22100225 HAS SOUPS 22100142 WITH SCORE 2.2127737378E7
AT ITER 82 NEW BEST:: SOT 28423249 SOS 27595440 HAS SOPS 27595357 HAS SOUS 22099559 HAS SOUPS 22099476 WITH SCORE 2.212707144E7
AT ITER 84 NEW BEST:: SOT 28426547 SOS 27598738 HAS SOPS 27598655 HAS SOUS 22087198 HAS SOUPS 22087115 WITH SCORE 2.2114713738E7
AT ITER 89 NEW BEST:: SOT 28439501 SOS 27611692 HAS SOPS 27611609 HAS SOUS 22068429 HAS SOUPS 22068346 WITH SCORE 2.2095957692E7
AT ITER 99 NEW BEST:: SOT 28454631 SOS 27626822 HAS SOPS 27626739 HAS SOUS 22049237 HAS SOUPS 22049154 WITH SCORE 2.2076780822E7
AT ITER 100 NEW BEST:: SOT 28455206 SOS 27626811 HAS SOPS 27626727 HAS SOUS 22049066 HAS SOUPS 22048983 WITH SCORE 2.2076609811E7
AT ITER 103 NEW BEST:: SOT 28455206 SOS 27626811 HAS SOPS 27626727 HAS SOUS 22023683 HAS SOUPS 22023600 WITH SCORE 2.2051226811E7
AT ITER 110 NEW BEST:: SOT 28466511 SOS 27638116 HAS SOPS 27638032 HAS SOUS 21991225 HAS SOUPS 21991142 WITH SCORE 2.2018780116E7
AT ITER 111 NEW BEST:: SOT 28466511 SOS 27638116 HAS SOPS 27638032 HAS SOUS 21988990 HAS SOUPS 21988907 WITH SCORE 2.2016545116E7
AT ITER 116 NEW BEST:: SOT 28512734 SOS 27684339 HAS SOPS 27684255 HAS SOUS 21984573 HAS SOUPS 21984490 WITH SCORE 2.2012174339E7
AT ITER 122 NEW BEST:: SOT 28545935 SOS 27717540 HAS SOPS 27717456 HAS SOUS 21950454 HAS SOUPS 21950371 WITH SCORE 2.197808854E7
AT ITER 124 NEW BEST:: SOT 28545935 SOS 27717540 HAS SOPS 27717456 HAS SOUS 21942084 HAS SOUPS 21942001 WITH SCORE 2.196971854E7
AT ITER 147 NEW BEST:: SOT 28572285 SOS 27743890 HAS SOPS 27743806 HAS SOUS 21908222 HAS SOUPS 21908139 WITH SCORE 2.193588289E7
AT ITER 149 NEW BEST:: SOT 28642427 SOS 27814032 HAS SOPS 27813948 HAS SOUS 21898613 HAS SOUPS 21898530 WITH SCORE 2.1926344032E7
AT ITER 162 NEW BEST:: SOT 28647459 SOS 27819064 HAS SOPS 27818980 HAS SOUS 21862412 HAS SOUPS 21862329 WITH SCORE 2.1890148064E7
AT ITER 184 NEW BEST:: SOT 28647459 SOS 27818235 HAS SOPS 27818151 HAS SOUS 21862412 HAS SOUPS 21862329 WITH SCORE 2.1890147235E7
AT ITER 186 NEW BEST:: SOT 28647459 SOS 27818633 HAS SOPS 27818549 HAS SOUS 21862346 HAS SOUPS 21862263 WITH SCORE 2.1890081633E7
AT ITER 190 NEW BEST:: SOT 28683601 SOS 27854775 HAS SOPS 27854691 HAS SOUS 21849405 HAS SOUPS 21849322 WITH SCORE 2.1877176775E7
AT ITER 192 NEW BEST:: SOT 28813197 SOS 27979025 HAS SOPS 27978940 HAS SOUS 21811424 HAS SOUPS 21811341 WITH SCORE 2.1839320025E7
AT ITER 197 NEW BEST:: SOT 28846007 SOS 28011835 HAS SOPS 28011750 HAS SOUS 21779639 HAS SOUPS 21779556 WITH SCORE 2.1807567835E7
AT ITER 198 NEW BEST:: SOT 28846453 SOS 28012281 HAS SOPS 28012196 HAS SOUS 21777794 HAS SOUPS 21777711 WITH SCORE 2.1805723281E7
AT ITER 202 NEW BEST:: SOT 28848242 SOS 28014068 HAS SOPS 28013982 HAS SOUS 21777791 HAS SOUPS 21777708 WITH SCORE 2.1805722068E7
AT ITER 208 NEW BEST:: SOT 28848242 SOS 28013579 HAS SOPS 28013493 HAS SOUS 21777791 HAS SOUPS 21777708 WITH SCORE 2.1805721579E7
AT ITER 210 NEW BEST:: SOT 28908524 SOS 28073861 HAS SOPS 28073775 HAS SOUS 21750647 HAS SOUPS 21750564 WITH SCORE 2.1778637861E7
AT ITER 219 NEW BEST:: SOT 28971815 SOS 28137152 HAS SOPS 28137066 HAS SOUS 21721511 HAS SOUPS 21721428 WITH SCORE 2.1749565152E7
AT ITER 234 NEW BEST:: SOT 29023053 SOS 28188390 HAS SOPS 28188304 HAS SOUS 21690778 HAS SOUPS 21690695 WITH SCORE 2.171888339E7
AT ITER 237 NEW BEST:: SOT 29023053 SOS 28188390 HAS SOPS 28188304 HAS SOUS 21690777 HAS SOUPS 21690694 WITH SCORE 2.171888239E7
AT ITER 238 NEW BEST:: SOT 29023053 SOS 28189531 HAS SOPS 28189445 HAS SOUS 21673262 HAS SOUPS 21673179 WITH SCORE 2.1701368531E7
AT ITER 240 NEW BEST:: SOT 29043351 SOS 28209829 HAS SOPS 28209743 HAS SOUS 21639962 HAS SOUPS 21639879 WITH SCORE 2.1668088829E7
AT ITER 241 NEW BEST:: SOT 29092651 SOS 28259129 HAS SOPS 28259043 HAS SOUS 21608372 HAS SOUPS 21608289 WITH SCORE 2.1636548129E7
AT ITER 244 NEW BEST:: SOT 29092787 SOS 28259265 HAS SOPS 28259179 HAS SOUS 21608368 HAS SOUPS 21608285 WITH SCORE 2.1636544265E7
AT ITER 249 NEW BEST:: SOT 29154514 SOS 28320992 HAS SOPS 28320906 HAS SOUS 21580128 HAS SOUPS 21580045 WITH SCORE 2.1608365992E7
AT ITER 252 NEW BEST:: SOT 29187749 SOS 28354227 HAS SOPS 28354141 HAS SOUS 21552712 HAS SOUPS 21552629 WITH SCORE 2.1580983227E7
AT ITER 264 NEW BEST:: SOT 29199224 SOS 28365702 HAS SOPS 28365616 HAS SOUS 21518404 HAS SOUPS 21518321 WITH SCORE 2.1546686702E7
AT ITER 269 NEW BEST:: SOT 29211787 SOS 28378265 HAS SOPS 28378179 HAS SOUS 21487751 HAS SOUPS 21487668 WITH SCORE 2.1516046265E7
AT ITER 273 NEW BEST:: SOT 29226832 SOS 28393310 HAS SOPS 28393224 HAS SOUS 21457545 HAS SOUPS 21457462 WITH SCORE 2.148585531E7
AT ITER 279 NEW BEST:: SOT 29284275 SOS 28450753 HAS SOPS 28450667 HAS SOUS 21426191 HAS SOUPS 21426108 WITH SCORE 2.1454558753E7
AT ITER 281 NEW BEST:: SOT 29349062 SOS 28515540 HAS SOPS 28515454 HAS SOUS 21395974 HAS SOUPS 21395891 WITH SCORE 2.142440654E7
AT ITER 285 NEW BEST:: SOT 29349074 SOS 28515552 HAS SOPS 28515466 HAS SOUS 21395039 HAS SOUPS 21394956 WITH SCORE 2.1423471552E7
AT ITER 288 NEW BEST:: SOT 29387307 SOS 28553785 HAS SOPS 28553699 HAS SOUS 21364195 HAS SOUPS 21364112 WITH SCORE 2.1392665785E7
AT ITER 293 NEW BEST:: SOT 29390809 SOS 28557287 HAS SOPS 28557201 HAS SOUS 21331672 HAS SOUPS 21331589 WITH SCORE 2.1360146287E7
AT ITER 296 NEW BEST:: SOT 29411566 SOS 28578044 HAS SOPS 28577958 HAS SOUS 21300145 HAS SOUPS 21300062 WITH SCORE 2.1328640044E7
AT ITER 306 NEW BEST:: SOT 29411566 SOS 28578044 HAS SOPS 28577958 HAS SOUS 21298195 HAS SOUPS 21298112 WITH SCORE 2.1326690044E7
AT ITER 308 NEW BEST:: SOT 29459353 SOS 28625831 HAS SOPS 28625745 HAS SOUS 21266100 HAS SOUPS 21266017 WITH SCORE 2.1294642831E7
AT ITER 309 NEW BEST:: SOT 29490140 SOS 28656618 HAS SOPS 28656532 HAS SOUS 21229415 HAS SOUPS 21229332 WITH SCORE 2.1257988618E7
AT ITER 316 NEW BEST:: SOT 29490140 SOS 28656340 HAS SOPS 28656254 HAS SOUS 21228533 HAS SOUPS 21228450 WITH SCORE 2.125710634E7
AT ITER 317 NEW BEST:: SOT 29517442 SOS 28683642 HAS SOPS 28683556 HAS SOUS 21197217 HAS SOUPS 21197134 WITH SCORE 2.1225817642E7
AT ITER 321 NEW BEST:: SOT 29517442 SOS 28684103 HAS SOPS 28684017 HAS SOUS 21165043 HAS SOUPS 21164960 WITH SCORE 2.1193644103E7
AT ITER 345 NEW BEST:: SOT 29589148 SOS 28755809 HAS SOPS 28755723 HAS SOUS 21132150 HAS SOUPS 21132067 WITH SCORE 2.1160822809E7
AT ITER 353 NEW BEST:: SOT 29589284 SOS 28755945 HAS SOPS 28755859 HAS SOUS 21100407 HAS SOUPS 21100324 WITH SCORE 2.1129079945E7
AT ITER 354 NEW BEST:: SOT 29589284 SOS 28755945 HAS SOPS 28755859 HAS SOUS 21090311 HAS SOUPS 21090228 WITH SCORE 2.1118983945E7
AT ITER 375 NEW BEST:: SOT 29589284 SOS 28755498 HAS SOPS 28755412 HAS SOUS 21090311 HAS SOUPS 21090228 WITH SCORE 2.1118983498E7
AT ITER 381 NEW BEST:: SOT 29637360 SOS 28803574 HAS SOPS 28803488 HAS SOUS 21059297 HAS SOUPS 21059214 WITH SCORE 2.1088017574E7
AT ITER 384 NEW BEST:: SOT 29638167 SOS 28804381 HAS SOPS 28804295 HAS SOUS 21058979 HAS SOUPS 21058896 WITH SCORE 2.1087700381E7
AT ITER 387 NEW BEST:: SOT 29676927 SOS 28843141 HAS SOPS 28843055 HAS SOUS 21025346 HAS SOUPS 21025263 WITH SCORE 2.1054106141E7
AT ITER 393 NEW BEST:: SOT 29676927 SOS 28843141 HAS SOPS 28843055 HAS SOUS 21012697 HAS SOUPS 21012614 WITH SCORE 2.1041457141E7
AT ITER 395 NEW BEST:: SOT 29720940 SOS 28887154 HAS SOPS 28887068 HAS SOUS 20979640 HAS SOUPS 20979557 WITH SCORE 2.1008444154E7
AT ITER 397 NEW BEST:: SOT 29720940 SOS 28782569 HAS SOPS 28782483 HAS SOUS 20963195 HAS SOUPS 20963112 WITH SCORE 2.0991894569E7
AT ITER 406 NEW BEST:: SOT 29724051 SOS 28784924 HAS SOPS 28784838 HAS SOUS 20930493 HAS SOUPS 20930410 WITH SCORE 2.0959194924E7
AT ITER 411 NEW BEST:: SOT 29762981 SOS 28823854 HAS SOPS 28823768 HAS SOUS 20897737 HAS SOUPS 20897654 WITH SCORE 2.0926477854E7
AT ITER 427 NEW BEST:: SOT 29825405 SOS 28885334 HAS SOPS 28885248 HAS SOUS 20866562 HAS SOUPS 20866479 WITH SCORE 2.0895364334E7
AT ITER 436 NEW BEST:: SOT 29826522 SOS 28885685 HAS SOPS 28885598 HAS SOUS 20866354 HAS SOUPS 20866271 WITH SCORE 2.0895156685E7
AT ITER 440 NEW BEST:: SOT 29864619 SOS 28923782 HAS SOPS 28923695 HAS SOUS 20832270 HAS SOUPS 20832187 WITH SCORE 2.0861110782E7
AT ITER 448 NEW BEST:: SOT 29864619 SOS 28924170 HAS SOPS 28924083 HAS SOUS 20817790 HAS SOUPS 20817707 WITH SCORE 2.084663117E7
AT ITER 454 NEW BEST:: SOT 29864619 SOS 28923612 HAS SOPS 28923525 HAS SOUS 20817634 HAS SOUPS 20817551 WITH SCORE 2.0846474612E7
AT ITER 461 NEW BEST:: SOT 29908139 SOS 28966560 HAS SOPS 28966473 HAS SOUS 20790767 HAS SOUPS 20790684 WITH SCORE 2.081965056E7
AT ITER 462 NEW BEST:: SOT 29908748 SOS 28966661 HAS SOPS 28966573 HAS SOUS 20790348 HAS SOUPS 20790265 WITH SCORE 2.0819231661E7
AT ITER 470 NEW BEST:: SOT 29908748 SOS 28966661 HAS SOPS 28966573 HAS SOUS 20775846 HAS SOUPS 20775763 WITH SCORE 2.0804729661E7
AT ITER 471 NEW BEST:: SOT 29908748 SOS 28965949 HAS SOPS 28965861 HAS SOUS 20752761 HAS SOUPS 20752678 WITH SCORE 2.0781643949E7
AT ITER 480 NEW BEST:: SOT 29933772 SOS 28990402 HAS SOPS 28990314 HAS SOUS 20724811 HAS SOUPS 20724728 WITH SCORE 2.0753718402E7
AT ITER 499 NEW BEST:: SOT 29962604 SOS 29018528 HAS SOPS 29018440 HAS SOUS 20693962 HAS SOUPS 20693879 WITH SCORE 2.0722897528E7
AT ITER 500 NEW BEST:: SOT 30008419 SOS 29064343 HAS SOPS 29064255 HAS SOUS 20663114 HAS SOUPS 20663031 WITH SCORE 2.0692095343E7
AT ITER 501 NEW BEST:: SOT 30067579 SOS 29122684 HAS SOPS 29122596 HAS SOUS 20632927 HAS SOUPS 20632844 WITH SCORE 2.0661966684E7
AT ITER 510 NEW BEST:: SOT 30074247 SOS 29123196 HAS SOPS 29123107 HAS SOUS 20556210 HAS SOUPS 20556127 WITH SCORE 2.0585250196E7
AT ITER 513 NEW BEST:: SOT 30135702 SOS 29184071 HAS SOPS 29183982 HAS SOUS 20530358 HAS SOUPS 20530275 WITH SCORE 2.0559459071E7
AT ITER 515 NEW BEST:: SOT 30141006 SOS 29189375 HAS SOPS 29189286 HAS SOUS 20496308 HAS SOUPS 20496225 WITH SCORE 2.0525414375E7
AT ITER 520 NEW BEST:: SOT 30177199 SOS 29224684 HAS SOPS 29224595 HAS SOUS 20463816 HAS SOUPS 20463733 WITH SCORE 2.0492957684E7
AT ITER 522 NEW BEST:: SOT 30225190 SOS 29272675 HAS SOPS 29272586 HAS SOUS 20436108 HAS SOUPS 20436025 WITH SCORE 2.0465297675E7
AT ITER 525 NEW BEST:: SOT 30225190 SOS 29273461 HAS SOPS 29273372 HAS SOUS 20412721 HAS SOUPS 20412638 WITH SCORE 2.0441911461E7
AT ITER 528 NEW BEST:: SOT 18483850 SOS 17670528 HAS SOPS 17534830 HAS SOUS 8673405 HAS SOUPS 8672115 WITH SCORE 8689785.528
AT ITER 558 NEW BEST:: SOT 18513716 SOS 17699556 HAS SOPS 17563858 HAS SOUS 8660502 HAS SOUPS 8659212 WITH SCORE 8676911.556
AT ITER 560 NEW BEST:: SOT 18579710 SOS 17765550 HAS SOPS 17629852 HAS SOUS 8649381 HAS SOUPS 8648091 WITH SCORE 8665856.55
AT ITER 572 NEW BEST:: SOT 18579710 SOS 17765550 HAS SOPS 17629852 HAS SOUS 8649352 HAS SOUPS 8648062 WITH SCORE 8665827.55
AT ITER 573 NEW BEST:: SOT 18612620 SOS 17798460 HAS SOPS 17662762 HAS SOUS 8630942 HAS SOUPS 8629652 WITH SCORE 8647450.46
AT ITER 574 NEW BEST:: SOT 18613013 SOS 17798853 HAS SOPS 17662621 HAS SOUS 8630671 HAS SOUPS 8629381 WITH SCORE 8647179.853
AT ITER 583 NEW BEST:: SOT 18681455 SOS 17867295 HAS SOPS 17731063 HAS SOUS 8618756 HAS SOUPS 8617466 WITH SCORE 8635333.295
AT ITER 585 NEW BEST:: SOT 18733142 SOS 17918982 HAS SOPS 17782750 HAS SOUS 8601753 HAS SOUPS 8600463 WITH SCORE 8618381.982
AT ITER 589 NEW BEST:: SOT 18816917 SOS 18001932 HAS SOPS 17865700 HAS SOUS 8593013 HAS SOUPS 8591723 WITH SCORE 8609724.932
AT ITER 592 NEW BEST:: SOT 18871028 SOS 18056043 HAS SOPS 17919811 HAS SOUS 8581082 HAS SOUPS 8579792 WITH SCORE 8597848.043
AT ITER 593 NEW BEST:: SOT 18925939 SOS 18110388 HAS SOPS 17974156 HAS SOUS 8574185 HAS SOUPS 8572895 WITH SCORE 8591005.388
AT ITER 599 NEW BEST:: SOT 18925939 SOS 18110388 HAS SOPS 17974156 HAS SOUS 8562525 HAS SOUPS 8561235 WITH SCORE 8579345.388
AT ITER 601 NEW BEST:: SOT 18995469 SOS 18179490 HAS SOPS 18043258 HAS SOUS 8559003 HAS SOUPS 8557713 WITH SCORE 8575892.49
AT ITER 605 NEW BEST:: SOT 19033926 SOS 18217321 HAS SOPS 18081089 HAS SOUS 8548514 HAS SOUPS 8547224 WITH SCORE 8565441.321
AT ITER 610 NEW BEST:: SOT 19098352 SOS 18281747 HAS SOPS 18145515 HAS SOUS 8539819 HAS SOUPS 8538529 WITH SCORE 8556810.747
AT ITER 620 NEW BEST:: SOT 19102816 SOS 18287169 HAS SOPS 18151216 HAS SOUS 8525690 HAS SOUPS 8524400 WITH SCORE 8542687.169
AT ITER 621 NEW BEST:: SOT 19168878 SOS 18353231 HAS SOPS 18217278 HAS SOUS 8513826 HAS SOUPS 8512536 WITH SCORE 8530889.231
AT ITER 626 NEW BEST:: SOT 19192354 SOS 18375944 HAS SOPS 18239991 HAS SOUS 8501298 HAS SOUPS 8500008 WITH SCORE 8518383.944
AT ITER 627 NEW BEST:: SOT 19279785 SOS 18462424 HAS SOPS 18326471 HAS SOUS 8493563 HAS SOUPS 8492273 WITH SCORE 8510735.424
AT ITER 631 NEW BEST:: SOT 19279197 SOS 18461836 HAS SOPS 18325295 HAS SOUS 8492975 HAS SOUPS 8491685 WITH SCORE 8510146.836
AT ITER 632 NEW BEST:: SOT 19266362 SOS 18449001 HAS SOPS 18312460 HAS SOUS 8492220 HAS SOUPS 8490930 WITH SCORE 8509379.001
AT ITER 635 NEW BEST:: SOT 19266362 SOS 18446070 HAS SOPS 18309529 HAS SOUS 8485097 HAS SOUPS 8483807 WITH SCORE 8502253.07
AT ITER 636 NEW BEST:: SOT 19266388 SOS 18446096 HAS SOPS 18309981 HAS SOUS 8484723 HAS SOUPS 8483433 WITH SCORE 8501879.096
AT ITER 638 NEW BEST:: SOT 19266287 SOS 18445995 HAS SOPS 18309880 HAS SOUS 8484622 HAS SOUPS 8483332 WITH SCORE 8501777.995
AT ITER 640 NEW BEST:: SOT 19273937 SOS 18453645 HAS SOPS 18317530 HAS SOUS 8475247 HAS SOUPS 8473957 WITH SCORE 8492410.645
AT ITER 658 NEW BEST:: SOT 19363842 SOS 18543550 HAS SOPS 18407435 HAS SOUS 8468142 HAS SOUPS 8466852 WITH SCORE 8485395.55
AT ITER 664 NEW BEST:: SOT 19406800 SOS 18585887 HAS SOPS 18449772 HAS SOUS 8458346 HAS SOUPS 8457056 WITH SCORE 8475641.887
AT ITER 675 NEW BEST:: SOT 19406542 SOS 18585629 HAS SOPS 18449068 HAS SOUS 8458276 HAS SOUPS 8456986 WITH SCORE 8475571.629
AT ITER 679 NEW BEST:: SOT 19422867 SOS 18602145 HAS SOPS 18465584 HAS SOUS 8445128 HAS SOUPS 8443838 WITH SCORE 8462440.145
AT ITER 684 NEW BEST:: SOT 19422867 SOS 18602145 HAS SOPS 18465584 HAS SOUS 8444732 HAS SOUPS 8443442 WITH SCORE 8462044.145
AT ITER 690 NEW BEST:: SOT 19452481 SOS 18630879 HAS SOPS 18494318 HAS SOUS 8431228 HAS SOUPS 8429938 WITH SCORE 8448568.879
AT ITER 697 NEW BEST:: SOT 19510745 SOS 18688500 HAS SOPS 18551939 HAS SOUS 8421652 HAS SOUPS 8420362 WITH SCORE 8439050.5
AT ITER 700 NEW BEST:: SOT 19658205 SOS 18830691 HAS SOPS 18692922 HAS SOUS 8401440 HAS SOUPS 8400150 WITH SCORE 8418980.691
AT ITER 705 NEW BEST:: SOT 19733181 SOS 18904980 HAS SOPS 18767211 HAS SOUS 8392125 HAS SOUPS 8390835 WITH SCORE 8409739.98
AT ITER 706 NEW BEST:: SOT 19748506 SOS 18919747 HAS SOPS 18781978 HAS SOUS 8384615 HAS SOUPS 8383325 WITH SCORE 8402244.747
AT ITER 708 NEW BEST:: SOT 19832095 SOS 19002305 HAS SOPS 18864536 HAS SOUS 8372029 HAS SOUPS 8370739 WITH SCORE 8389741.305
AT ITER 715 NEW BEST:: SOT 19845050 SOS 19016018 HAS SOPS 18878249 HAS SOUS 8360202 HAS SOUPS 8358912 WITH SCORE 8377928.018
AT ITER 721 NEW BEST:: SOT 19922026 SOS 19091961 HAS SOPS 18954192 HAS SOUS 8347195 HAS SOUPS 8345905 WITH SCORE 8364996.961
AT ITER 728 NEW BEST:: SOT 19953048 SOS 19122222 HAS SOPS 18984453 HAS SOUS 8335141 HAS SOUPS 8333851 WITH SCORE 8352973.222
AT ITER 733 NEW BEST:: SOT 19953048 SOS 19122222 HAS SOPS 18984453 HAS SOUS 8334751 HAS SOUPS 8333461 WITH SCORE 8352583.222
AT ITER 736 NEW BEST:: SOT 20011149 SOS 19178913 HAS SOPS 19041144 HAS SOUS 8324353 HAS SOUPS 8323063 WITH SCORE 8342241.913
AT ITER 747 NEW BEST:: SOT 20188873 SOS 19351398 HAS SOPS 19212421 HAS SOUS 8283009 HAS SOUPS 8281719 WITH SCORE 8301070.398
AT ITER 753 NEW BEST:: SOT 20198073 SOS 19360598 HAS SOPS 19221621 HAS SOUS 8270845 HAS SOUPS 8269555 WITH SCORE 8288915.598
AT ITER 760 NEW BEST:: SOT 20258644 SOS 19420149 HAS SOPS 19281172 HAS SOUS 8257080 HAS SOUPS 8255790 WITH SCORE 8275210.149
AT ITER 765 NEW BEST:: SOT 20259284 SOS 19420789 HAS SOPS 19281812 HAS SOUS 8243790 HAS SOUPS 8242500 WITH SCORE 8261920.789
AT ITER 768 NEW BEST:: SOT 20258662 SOS 19420167 HAS SOPS 19280568 HAS SOUS 8243167 HAS SOUPS 8241877 WITH SCORE 8261297.167
AT ITER 770 NEW BEST:: SOT 20337465 SOS 19498970 HAS SOPS 19359371 HAS SOUS 8233624 HAS SOUPS 8232334 WITH SCORE 8251832.97
AT ITER 776 NEW BEST:: SOT 20386895 SOS 19547839 HAS SOPS 19408240 HAS SOUS 8226344 HAS SOUPS 8225054 WITH SCORE 8244601.839
AT ITER 778 NEW BEST:: SOT 20440731 SOS 19601675 HAS SOPS 19462076 HAS SOUS 8215980 HAS SOUPS 8214690 WITH SCORE 8234291.675
AT ITER 779 NEW BEST:: SOT 20470764 SOS 19631001 HAS SOPS 19491402 HAS SOUS 8203724 HAS SOUPS 8202434 WITH SCORE 8222065.001
AT ITER 798 NEW BEST:: SOT 20470764 SOS 19630333 HAS SOPS 19490734 HAS SOUS 8193704 HAS SOUPS 8192414 WITH SCORE 8212044.333
AT ITER 800 NEW BEST:: SOT 20544154 SOS 19703723 HAS SOPS 19564124 HAS SOUS 8177908 HAS SOUPS 8176618 WITH SCORE 8196321.723
AT ITER 805 NEW BEST:: SOT 20576590 SOS 19730928 HAS SOPS 19590428 HAS SOUS 8137032 HAS SOUPS 8135742 WITH SCORE 8155472.928
AT ITER 810 NEW BEST:: SOT 20635733 SOS 19789043 HAS SOPS 19648543 HAS SOUS 8123056 HAS SOUPS 8121766 WITH SCORE 8141555.043
AT ITER 815 NEW BEST:: SOT 20696339 SOS 19849010 HAS SOPS 19708510 HAS SOUS 8113678 HAS SOUPS 8112388 WITH SCORE 8132237.01
AT ITER 816 NEW BEST:: SOT 20696148 SOS 19848819 HAS SOPS 19708319 HAS SOUS 8113371 HAS SOUPS 8112081 WITH SCORE 8131929.819
AT ITER 818 NEW BEST:: SOT 20742638 SOS 19894601 HAS SOPS 19754101 HAS SOUS 8102133 HAS SOUPS 8100843 WITH SCORE 8120737.601
AT ITER 827 NEW BEST:: SOT 20742802 SOS 19894230 HAS SOPS 19753566 HAS SOUS 8099620 HAS SOUPS 8098330 WITH SCORE 8118224.23
AT ITER 828 NEW BEST:: SOT 20726822 SOS 19878250 HAS SOPS 19737586 HAS SOUS 8098680 HAS SOUPS 8097390 WITH SCORE 8117268.25
AT ITER 832 NEW BEST:: SOT 20804938 SOS 19955742 HAS SOPS 19815078 HAS SOUS 8090347 HAS SOUPS 8089057 WITH SCORE 8109012.742
AT ITER 846 NEW BEST:: SOT 20879164 SOS 20029968 HAS SOPS 19889304 HAS SOUS 8080672 HAS SOUPS 8079382 WITH SCORE 8099411.968
AT ITER 848 NEW BEST:: SOT 20877086 SOS 20027890 HAS SOPS 19887226 HAS SOUS 8080301 HAS SOUPS 8079011 WITH SCORE 8099038.89
AT ITER 854 NEW BEST:: SOT 20875369 SOS 20026173 HAS SOPS 19885509 HAS SOUS 8080200 HAS SOUPS 8078910 WITH SCORE 8098936.173
AT ITER 855 NEW BEST:: SOT 20966770 SOS 20117574 HAS SOPS 19976910 HAS SOUS 8071509 HAS SOUPS 8070219 WITH SCORE 8090336.574
AT ITER 856 NEW BEST:: SOT 21024179 SOS 20174983 HAS SOPS 20034319 HAS SOUS 8057905 HAS SOUPS 8056615 WITH SCORE 8076789.983
AT ITER 864 NEW BEST:: SOT 21091754 SOS 20242558 HAS SOPS 20101894 HAS SOUS 8047929 HAS SOUPS 8046639 WITH SCORE 8066881.558
AT ITER 866 NEW BEST:: SOT 21171033 SOS 20321191 HAS SOPS 20180527 HAS SOUS 8039583 HAS SOUPS 8038293 WITH SCORE 8058614.191
AT ITER 876 NEW BEST:: SOT 21171033 SOS 20321294 HAS SOPS 20180910 HAS SOUS 8039555 HAS SOUPS 8038265 WITH SCORE 8058586.294
AT ITER 904 NEW BEST:: SOT 21242110 SOS 20391337 HAS SOPS 20250953 HAS SOUS 8026186 HAS SOUPS 8024896 WITH SCORE 8045287.337
AT ITER 907 NEW BEST:: SOT 21275153 SOS 20424380 HAS SOPS 20283996 HAS SOUS 8014049 HAS SOUPS 8012759 WITH SCORE 8033183.38
AT ITER 920 NEW BEST:: SOT 21321509 SOS 20469913 HAS SOPS 20329529 HAS SOUS 8002338 HAS SOUPS 8001048 WITH SCORE 8021517.913
AT ITER 924 NEW BEST:: SOT 21355150 SOS 20503554 HAS SOPS 20363170 HAS SOUS 7990171 HAS SOUPS 7988881 WITH SCORE 8009384.554
AT ITER 928 NEW BEST:: SOT 21444825 SOS 20593229 HAS SOPS 20452845 HAS SOUS 7980698 HAS SOUPS 7979408 WITH SCORE 8000001.229
AT ITER 932 NEW BEST:: SOT 21536897 SOS 20685301 HAS SOPS 20544917 HAS SOUS 7966830 HAS SOUPS 7965540 WITH SCORE 7986225.301
AT ITER 939 NEW BEST:: SOT 21536897 SOS 20685157 HAS SOPS 20544773 HAS SOUS 7966830 HAS SOUPS 7965540 WITH SCORE 7986225.157
AT ITER 941 NEW BEST:: SOT 21537873 SOS 20685568 HAS SOPS 20545184 HAS SOUS 7952019 HAS SOUPS 7950729 WITH SCORE 7971414.568
AT ITER 948 NEW BEST:: SOT 21546881 SOS 20694576 HAS SOPS 20554192 HAS SOUS 7939007 HAS SOUPS 7937717 WITH SCORE 7958411.576
AT ITER 953 NEW BEST:: SOT 21628945 SOS 20776640 HAS SOPS 20636256 HAS SOUS 7929775 HAS SOUPS 7928485 WITH SCORE 7949261.64
AT ITER 954 NEW BEST:: SOT 21625426 SOS 20773121 HAS SOPS 20632737 HAS SOUS 7929568 HAS SOUPS 7928278 WITH SCORE 7949051.121
AT ITER 956 NEW BEST:: SOT 21624594 SOS 20771591 HAS SOPS 20631207 HAS SOUS 7927714 HAS SOUPS 7926424 WITH SCORE 7947195.591
AT ITER 958 NEW BEST:: SOT 21692981 SOS 20839978 HAS SOPS 20699594 HAS SOUS 7919006 HAS SOUPS 7917716 WITH SCORE 7938555.978
AT ITER 962 NEW BEST:: SOT 21756625 SOS 20902913 HAS SOPS 20762529 HAS SOUS 7908801 HAS SOUPS 7907511 WITH SCORE 7928413.913
AT ITER 972 NEW BEST:: SOT 21765877 SOS 20911597 HAS SOPS 20771213 HAS SOUS 7901025 HAS SOUPS 7899735 WITH SCORE 7920646.597
AT ITER 1005 NEW BEST:: SOT 21862832 SOS 21003320 HAS SOPS 20861728 HAS SOUS 7859309 HAS SOUPS 7858019 WITH SCORE 7879022.32
AT ITER 1009 NEW BEST:: SOT 21862832 SOS 21003320 HAS SOPS 20861728 HAS SOUS 7859293 HAS SOUPS 7858003 WITH SCORE 7879006.32
AT ITER 1011 NEW BEST:: SOT 21875482 SOS 21015970 HAS SOPS 20874378 HAS SOUS 7847933 HAS SOUPS 7846643 WITH SCORE 7867658.97
AT ITER 1017 NEW BEST:: SOT 21875265 SOS 21014999 HAS SOPS 20873407 HAS SOUS 7847499 HAS SOUPS 7846209 WITH SCORE 7867223.999
AT ITER 1025 NEW BEST:: SOT 21955856 SOS 21095590 HAS SOPS 20953998 HAS SOUS 7838138 HAS SOUPS 7836848 WITH SCORE 7857943.59
AT ITER 1042 NEW BEST:: SOT 22014915 SOS 21153823 HAS SOPS 21012231 HAS SOUS 7827131 HAS SOUPS 7825841 WITH SCORE 7846994.823
AT ITER 1044 NEW BEST:: SOT 22014915 SOS 21153823 HAS SOPS 21012231 HAS SOUS 7819979 HAS SOUPS 7818689 WITH SCORE 7839842.823
AT ITER 1047 NEW BEST:: SOT 22058078 SOS 21195964 HAS SOPS 21054372 HAS SOUS 7805158 HAS SOUPS 7803868 WITH SCORE 7825063.964
AT ITER 1049 NEW BEST:: SOT 22193596 SOS 21325648 HAS SOPS 21182684 HAS SOUS 7774255 HAS SOUPS 7772965 WITH SCORE 7794290.648
AT ITER 1052 NEW BEST:: SOT 22193596 SOS 21325267 HAS SOPS 21182303 HAS SOUS 7768540 HAS SOUPS 7767250 WITH SCORE 7788575.267
AT ITER 1053 NEW BEST:: SOT 22222530 SOS 21354201 HAS SOPS 21211237 HAS SOUS 7753466 HAS SOUPS 7752176 WITH SCORE 7773530.201
AT ITER 1056 NEW BEST:: SOT 22221406 SOS 21352506 HAS SOPS 21209542 HAS SOUS 7752184 HAS SOUPS 7750894 WITH SCORE 7772246.506
AT ITER 1070 NEW BEST:: SOT 22234848 SOS 21365119 HAS SOPS 21222155 HAS SOUS 7738667 HAS SOUPS 7737377 WITH SCORE 7758742.119
AT ITER 1074 NEW BEST:: SOT 22270918 SOS 21401189 HAS SOPS 21258225 HAS SOUS 7720378 HAS SOUPS 7719088 WITH SCORE 7740489.189
AT ITER 1077 NEW BEST:: SOT 22299291 SOS 21428975 HAS SOPS 21286011 HAS SOUS 7711851 HAS SOUPS 7710561 WITH SCORE 7731989.975
AT ITER 1082 NEW BEST:: SOT 22302497 SOS 21432181 HAS SOPS 21289217 HAS SOUS 7711166 HAS SOUPS 7709876 WITH SCORE 7731308.181
AT ITER 1090 NEW BEST:: SOT 22336922 SOS 21466606 HAS SOPS 21323642 HAS SOUS 7697346 HAS SOUPS 7696056 WITH SCORE 7717522.606
AT ITER 1093 NEW BEST:: SOT 22337466 SOS 21467150 HAS SOPS 21323755 HAS SOUS 7697295 HAS SOUPS 7696005 WITH SCORE 7717472.15
AT ITER 1095 NEW BEST:: SOT 22351352 SOS 21481036 HAS SOPS 21337641 HAS SOUS 7684616 HAS SOUPS 7683326 WITH SCORE 7704807.036
AT ITER 1097 NEW BEST:: SOT 22351352 SOS 21481514 HAS SOPS 21338119 HAS SOUS 7681607 HAS SOUPS 7680317 WITH SCORE 7701798.514
AT ITER 1098 NEW BEST:: SOT 22368296 SOS 21498950 HAS SOPS 21355555 HAS SOUS 7664863 HAS SOUPS 7663573 WITH SCORE 7685071.95
AT ITER 1100 NEW BEST:: SOT 22451727 SOS 21582381 HAS SOPS 21438986 HAS SOUS 7655878 HAS SOUPS 7654588 WITH SCORE 7676170.381
AT ITER 1101 NEW BEST:: SOT 22514507 SOS 21644601 HAS SOPS 21501206 HAS SOUS 7649377 HAS SOUPS 7648087 WITH SCORE 7669731.601
AT ITER 1126 NEW BEST:: SOT 22601644 SOS 21731089 HAS SOPS 21587694 HAS SOUS 7641898 HAS SOUPS 7640608 WITH SCORE 7662339.089
AT ITER 1132 NEW BEST:: SOT 22601235 SOS 21730680 HAS SOPS 21587285 HAS SOUS 7641483 HAS SOUPS 7640193 WITH SCORE 7661923.68
AT ITER 1134 NEW BEST:: SOT 22672172 SOS 21801617 HAS SOPS 21658222 HAS SOUS 7631560 HAS SOUPS 7630270 WITH SCORE 7652071.617
AT ITER 1140 NEW BEST:: SOT 22726049 SOS 21854745 HAS SOPS 21711350 HAS SOUS 7620903 HAS SOUPS 7619613 WITH SCORE 7641467.745
AT ITER 1168 NEW BEST:: SOT 22760532 SOS 21888583 HAS SOPS 21745188 HAS SOUS 7609833 HAS SOUPS 7608543 WITH SCORE 7630431.583
AT ITER 1171 NEW BEST:: SOT 22837083 SOS 21964186 HAS SOPS 21820791 HAS SOUS 7598082 HAS SOUPS 7596792 WITH SCORE 7618756.186
AT ITER 1174 NEW BEST:: SOT 22837083 SOS 21964186 HAS SOPS 21820791 HAS SOUS 7598077 HAS SOUPS 7596787 WITH SCORE 7618751.186
AT ITER 1182 NEW BEST:: SOT 22840098 SOS 21967225 HAS SOPS 21824031 HAS SOUS 7586603 HAS SOUPS 7585313 WITH SCORE 7607280.225
AT ITER 1184 NEW BEST:: SOT 22840098 SOS 21948994 HAS SOPS 21805800 HAS SOUS 7586270 HAS SOUPS 7584980 WITH SCORE 7606928.994
AT ITER 1189 NEW BEST:: SOT 22865324 SOS 21973509 HAS SOPS 21830315 HAS SOUS 7573671 HAS SOUPS 7572381 WITH SCORE 7594354.509
AT ITER 1201 NEW BEST:: SOT 22865324 SOS 21973509 HAS SOPS 21830315 HAS SOUS 7573654 HAS SOUPS 7572364 WITH SCORE 7594337.509
AT ITER 1206 NEW BEST:: SOT 22827613 SOS 21935798 HAS SOPS 21792604 HAS SOUS 7571527 HAS SOUPS 7570237 WITH SCORE 7592172.798
AT ITER 1239 NEW BEST:: SOT 22827613 SOS 21935798 HAS SOPS 21792604 HAS SOUS 7564251 HAS SOUPS 7562961 WITH SCORE 7584896.798
AT ITER 1241 NEW BEST:: SOT 22827613 SOS 21935711 HAS SOPS 21792517 HAS SOUS 7564251 HAS SOUPS 7562961 WITH SCORE 7584896.711
AT ITER 1242 NEW BEST:: SOT 22827070 SOS 21935168 HAS SOPS 21791431 HAS SOUS 7563708 HAS SOUPS 7562418 WITH SCORE 7584353.168
AT ITER 1244 NEW BEST:: SOT 22900433 SOS 22008531 HAS SOPS 21864794 HAS SOUS 7553747 HAS SOUPS 7552457 WITH SCORE 7574465.531
AT ITER 1275 NEW BEST:: SOT 22900433 SOS 22010088 HAS SOPS 21866351 HAS SOUS 7550114 HAS SOUPS 7548824 WITH SCORE 7570834.088
AT ITER 1280 NEW BEST:: SOT 22937204 SOS 22045853 HAS SOPS 21902116 HAS SOUS 7535172 HAS SOUPS 7533882 WITH SCORE 7555927.853
AT ITER 1284 NEW BEST:: SOT 22937204 SOS 22045853 HAS SOPS 21902116 HAS SOUS 7522370 HAS SOUPS 7521080 WITH SCORE 7543125.853
AT ITER 1285 NEW BEST:: SOT 23020963 SOS 22129612 HAS SOPS 21985875 HAS SOUS 7510204 HAS SOUPS 7508914 WITH SCORE 7531043.612
AT ITER 1299 NEW BEST:: SOT 23088978 SOS 22195976 HAS SOPS 22052239 HAS SOUS 7497677 HAS SOUPS 7496387 WITH SCORE 7518582.976
AT ITER 1306 NEW BEST:: SOT 23088978 SOS 22195938 HAS SOPS 22052201 HAS SOUS 7497677 HAS SOUPS 7496387 WITH SCORE 7518582.938
AT ITER 1311 NEW BEST:: SOT 23088978 SOS 22176488 HAS SOPS 22032751 HAS SOUS 7497111 HAS SOUPS 7495821 WITH SCORE 7517997.488
AT ITER 1317 NEW BEST:: SOT 23088978 SOS 22176488 HAS SOPS 22032751 HAS SOUS 7497083 HAS SOUPS 7495793 WITH SCORE 7517969.488
AT ITER 1320 NEW BEST:: SOT 23088629 SOS 22176139 HAS SOPS 22032402 HAS SOUS 7497055 HAS SOUPS 7495765 WITH SCORE 7517941.139
AT ITER 1358 NEW BEST:: SOT 23175482 SOS 22262992 HAS SOPS 22119255 HAS SOUS 7487599 HAS SOUPS 7486309 WITH SCORE 7508571.992
AT ITER 1365 NEW BEST:: SOT 23232356 SOS 22319866 HAS SOPS 22176129 HAS SOUS 7478123 HAS SOUPS 7476833 WITH SCORE 7499152.866
AT ITER 1366 NEW BEST:: SOT 23233427 SOS 22320937 HAS SOPS 22176670 HAS SOUS 7477947 HAS SOUPS 7476657 WITH SCORE 7498977.937
AT ITER 1372 NEW BEST:: SOT 23309757 SOS 22396260 HAS SOPS 22251993 HAS SOUS 7465316 HAS SOUPS 7464026 WITH SCORE 7486422.26
AT ITER 1375 NEW BEST:: SOT 23387910 SOS 22473599 HAS SOPS 22329332 HAS SOUS 7455609 HAS SOUPS 7454319 WITH SCORE 7476792.599
AT ITER 1378 NEW BEST:: SOT 23387910 SOS 22473778 HAS SOPS 22329714 HAS SOUS 7455580 HAS SOUPS 7454290 WITH SCORE 7476763.778
AT ITER 1379 NEW BEST:: SOT 23354352 SOS 22440220 HAS SOPS 22296156 HAS SOUS 7453606 HAS SOUPS 7452316 WITH SCORE 7474756.22
AT ITER 1384 NEW BEST:: SOT 23375024 SOS 22460179 HAS SOPS 22316115 HAS SOUS 7440709 HAS SOUPS 7439419 WITH SCORE 7461879.179
AT ITER 1390 NEW BEST:: SOT 23381294 SOS 22466449 HAS SOPS 22322385 HAS SOUS 7426849 HAS SOUPS 7425559 WITH SCORE 7448025.449
AT ITER 1403 NEW BEST:: SOT 23389976 SOS 22474357 HAS SOPS 22330293 HAS SOUS 7415593 HAS SOUPS 7414303 WITH SCORE 7436777.357
AT ITER 1407 NEW BEST:: SOT 23422171 SOS 22506552 HAS SOPS 22362488 HAS SOUS 7404813 HAS SOUPS 7403523 WITH SCORE 7426029.552
AT ITER 1412 NEW BEST:: SOT 23467936 SOS 22552317 HAS SOPS 22408253 HAS SOUS 7394012 HAS SOUPS 7392722 WITH SCORE 7415274.317
AT ITER 1433 NEW BEST:: SOT 23535443 SOS 22618874 HAS SOPS 22474810 HAS SOUS 7381697 HAS SOUPS 7380407 WITH SCORE 7403025.874
AT ITER 1438 NEW BEST:: SOT 23572705 SOS 22655571 HAS SOPS 22511507 HAS SOUS 7374207 HAS SOUPS 7372917 WITH SCORE 7395572.571
AT ITER 1441 NEW BEST:: SOT 23586002 SOS 22668892 HAS SOPS 22525709 HAS SOUS 7362690 HAS SOUPS 7361400 WITH SCORE 7384068.892
AT ITER 1446 NEW BEST:: SOT 23585370 SOS 22668260 HAS SOPS 22524669 HAS SOUS 7361834 HAS SOUPS 7360544 WITH SCORE 7383212.26
AT ITER 1448 NEW BEST:: SOT 23592925 SOS 22674922 HAS SOPS 22531331 HAS SOUS 7348507 HAS SOUPS 7347217 WITH SCORE 7369891.922
AT ITER 1449 NEW BEST:: SOT 23591831 SOS 22673557 HAS SOPS 22529966 HAS SOUS 7347442 HAS SOUPS 7346152 WITH SCORE 7368825.557
AT ITER 1450 NEW BEST:: SOT 23654190 SOS 22735916 HAS SOPS 22592325 HAS SOUS 7344683 HAS SOUPS 7343393 WITH SCORE 7366128.916
AT ITER 1452 NEW BEST:: SOT 23654190 SOS 22736750 HAS SOPS 22593159 HAS SOUS 7341764 HAS SOUPS 7340474 WITH SCORE 7363210.75
AT ITER 1457 NEW BEST:: SOT 23601235 SOS 22683795 HAS SOPS 22540204 HAS SOUS 7338649 HAS SOUPS 7337359 WITH SCORE 7360042.795
AT ITER 1462 NEW BEST:: SOT 23601231 SOS 22683791 HAS SOPS 22540196 HAS SOUS 7338645 HAS SOUPS 7337355 WITH SCORE 7360038.791
AT ITER 1463 NEW BEST:: SOT 23627428 SOS 22708967 HAS SOPS 22565372 HAS SOUS 7322842 HAS SOUPS 7321552 WITH SCORE 7344260.967
AT ITER 1465 NEW BEST:: SOT 23680522 SOS 22762061 HAS SOPS 22618466 HAS SOUS 7312407 HAS SOUPS 7311117 WITH SCORE 7333879.061
AT ITER 1485 NEW BEST:: SOT 23743189 SOS 22824728 HAS SOPS 22681133 HAS SOUS 7302505 HAS SOUPS 7301215 WITH SCORE 7324039.728
AT ITER 1495 NEW BEST:: SOT 23829168 SOS 22910707 HAS SOPS 22767112 HAS SOUS 7287045 HAS SOUPS 7285755 WITH SCORE 7308665.707
AT ITER 1497 NEW BEST:: SOT 23829168 SOS 22910707 HAS SOPS 22767112 HAS SOUS 7286157 HAS SOUPS 7284867 WITH SCORE 7307777.707
AT ITER 1505 NEW BEST:: SOT 23833698 SOS 22915261 HAS SOPS 22771968 HAS SOUS 7275602 HAS SOUPS 7274312 WITH SCORE 7297227.261
AT ITER 1507 NEW BEST:: SOT 23813988 SOS 22895551 HAS SOPS 22752258 HAS SOUS 7275602 HAS SOUPS 7274312 WITH SCORE 7297207.551
AT ITER 1528 NEW BEST:: SOT 23834728 SOS 22916291 HAS SOPS 22772998 HAS SOUS 7260110 HAS SOUPS 7258820 WITH SCORE 7281736.291
AT ITER 1534 NEW BEST:: SOT 23855523 SOS 22936524 HAS SOPS 22793231 HAS SOUS 7251181 HAS SOUPS 7249891 WITH SCORE 7272827.524
AT ITER 1536 NEW BEST:: SOT 23878679 SOS 22959680 HAS SOPS 22816387 HAS SOUS 7232317 HAS SOUPS 7231027 WITH SCORE 7253986.68
AT ITER 1537 NEW BEST:: SOT 23924120 SOS 23004369 HAS SOPS 22861076 HAS SOUS 7221138 HAS SOUPS 7219848 WITH SCORE 7242852.369
AT ITER 1539 NEW BEST:: SOT 23917133 SOS 22997382 HAS SOPS 22854089 HAS SOUS 7220727 HAS SOUPS 7219437 WITH SCORE 7242434.382
AT ITER 1549 NEW BEST:: SOT 24007935 SOS 23087498 HAS SOPS 22944205 HAS SOUS 7215702 HAS SOUPS 7214412 WITH SCORE 7237499.498
AT ITER 1552 NEW BEST:: SOT 23975567 SOS 23055130 HAS SOPS 22911837 HAS SOUS 7213798 HAS SOUPS 7212508 WITH SCORE 7235563.13
AT ITER 1574 NEW BEST:: SOT 23975567 SOS 23055268 HAS SOPS 22911975 HAS SOUS 7212832 HAS SOUPS 7211542 WITH SCORE 7234597.268
AT ITER 1584 NEW BEST:: SOT 24060258 SOS 23139959 HAS SOPS 22996666 HAS SOUS 7203775 HAS SOUPS 7202485 WITH SCORE 7225624.959
AT ITER 1591 NEW BEST:: SOT 24060231 SOS 23139932 HAS SOPS 22996639 HAS SOUS 7203730 HAS SOUPS 7202440 WITH SCORE 7225579.932
AT ITER 1597 NEW BEST:: SOT 24060155 SOS 23139856 HAS SOPS 22996563 HAS SOUS 7203578 HAS SOUPS 7202288 WITH SCORE 7225427.856
AT ITER 1599 NEW BEST:: SOT 24058006 SOS 23137946 HAS SOPS 22994653 HAS SOUS 7202400 HAS SOUPS 7201110 WITH SCORE 7224247.946
AT ITER 1600 NEW BEST:: SOT 24059862 SOS 23139802 HAS SOPS 22996509 HAS SOUS 7201531 HAS SOUPS 7200241 WITH SCORE 7223380.802
AT ITER 1621 NEW BEST:: SOT 24059862 SOS 23139463 HAS SOPS 22996170 HAS SOUS 7196446 HAS SOUPS 7195156 WITH SCORE 7218295.463
AT ITER 1627 NEW BEST:: SOT 24060238 SOS 23139839 HAS SOPS 22996040 HAS SOUS 7195901 HAS SOUPS 7194611 WITH SCORE 7217750.839
AT ITER 1631 NEW BEST:: SOT 24061822 SOS 23141423 HAS SOPS 22997624 HAS SOUS 7195121 HAS SOUPS 7193831 WITH SCORE 7216972.423
AT ITER 1648 NEW BEST:: SOT 24110714 SOS 23189729 HAS SOPS 23045930 HAS SOUS 7187807 HAS SOUPS 7186517 WITH SCORE 7209706.729
AT ITER 1655 NEW BEST:: SOT 24110922 SOS 23189937 HAS SOPS 23046138 HAS SOUS 7173113 HAS SOUPS 7171823 WITH SCORE 7195012.937
AT ITER 1659 NEW BEST:: SOT 24111754 SOS 23190769 HAS SOPS 23046970 HAS SOUS 7171502 HAS SOUPS 7170212 WITH SCORE 7193402.769
AT ITER 1666 NEW BEST:: SOT 24160544 SOS 23234219 HAS SOPS 23089212 HAS SOUS 7129608 HAS SOUPS 7128318 WITH SCORE 7151552.219
AT ITER 1669 NEW BEST:: SOT 24180553 SOS 23254228 HAS SOPS 23109221 HAS SOUS 7117630 HAS SOUPS 7116340 WITH SCORE 7139594.228
AT ITER 1685 NEW BEST:: SOT 24180553 SOS 23115762 HAS SOPS 22970755 HAS SOUS 7110464 HAS SOUPS 7109174 WITH SCORE 7132289.762
AT ITER 1717 NEW BEST:: SOT 24252582 SOS 23187043 HAS SOPS 23042036 HAS SOUS 7098005 HAS SOUPS 7096715 WITH SCORE 7119902.043
AT ITER 1719 NEW BEST:: SOT 24217579 SOS 23152040 HAS SOPS 23007033 HAS SOUS 7095946 HAS SOUPS 7094656 WITH SCORE 7117808.04
AT ITER 1738 NEW BEST:: SOT 24217579 SOS 23151550 HAS SOPS 23006543 HAS SOUS 7088596 HAS SOUPS 7087306 WITH SCORE 7110457.55
AT ITER 1741 NEW BEST:: SOT 24216562 SOS 23150533 HAS SOPS 23005526 HAS SOUS 7086986 HAS SOUPS 7085696 WITH SCORE 7108846.533
AT ITER 1757 NEW BEST:: SOT 24216562 SOS 23150197 HAS SOPS 23005190 HAS SOUS 7081610 HAS SOUPS 7080320 WITH SCORE 7103470.197
AT ITER 1758 NEW BEST:: SOT 24216135 SOS 23149770 HAS SOPS 23004339 HAS SOUS 7081180 HAS SOUPS 7079890 WITH SCORE 7103039.77
AT ITER 1772 NEW BEST:: SOT 24184959 SOS 23118594 HAS SOPS 22973163 HAS SOUS 7079631 HAS SOUPS 7078341 WITH SCORE 7101459.594
AT ITER 1781 NEW BEST:: SOT 24184356 SOS 23117991 HAS SOPS 22972560 HAS SOUS 7078160 HAS SOUPS 7076870 WITH SCORE 7099987.991
AT ITER 1786 NEW BEST:: SOT 24320935 SOS 23249588 HAS SOPS 23102949 HAS SOUS 7041606 HAS SOUPS 7040316 WITH SCORE 7063565.588
AT ITER 1789 NEW BEST:: SOT 24367271 SOS 23295373 HAS SOPS 23148734 HAS SOUS 7032406 HAS SOUPS 7031116 WITH SCORE 7054411.373
AT ITER 1804 NEW BEST:: SOT 24367158 SOS 23295260 HAS SOPS 23148621 HAS SOUS 7032211 HAS SOUPS 7030921 WITH SCORE 7054216.26
AT ITER 1825 NEW BEST:: SOT 24366430 SOS 23294532 HAS SOPS 23147893 HAS SOUS 7030397 HAS SOUPS 7029107 WITH SCORE 7052401.532
AT ITER 1830 NEW BEST:: SOT 24433518 SOS 23361236 HAS SOPS 23214597 HAS SOUS 7021496 HAS SOUPS 7020206 WITH SCORE 7043567.236
AT ITER 1843 NEW BEST:: SOT 24437312 SOS 23364217 HAS SOPS 23217578 HAS SOUS 7004653 HAS SOUPS 7003363 WITH SCORE 7026727.217
AT ITER 1862 NEW BEST:: SOT 24480373 SOS 23406462 HAS SOPS 23259823 HAS SOUS 6993327 HAS SOUPS 6992037 WITH SCORE 7015443.462
AT ITER 1867 NEW BEST:: SOT 24480373 SOS 23406030 HAS SOPS 23259391 HAS SOUS 6984372 HAS SOUPS 6983082 WITH SCORE 7006488.03
AT ITER 1876 NEW BEST:: SOT 24491029 SOS 23415792 HAS SOPS 23269153 HAS SOUS 6972073 HAS SOUPS 6970783 WITH SCORE 6994198.792
AT ITER 1882 NEW BEST:: SOT 24544171 SOS 23467918 HAS SOPS 23321279 HAS SOUS 6957935 HAS SOUPS 6956645 WITH SCORE 6980112.918
AT ITER 1897 NEW BEST:: SOT 24606157 SOS 23529522 HAS SOPS 23382883 HAS SOUS 6948976 HAS SOUPS 6947686 WITH SCORE 6971215.522
AT ITER 1899 NEW BEST:: SOT 24678781 SOS 23601114 HAS SOPS 23454475 HAS SOUS 6935729 HAS SOUPS 6934439 WITH SCORE 6958040.114
AT ITER 1902 NEW BEST:: SOT 24700145 SOS 23621913 HAS SOPS 23475274 HAS SOUS 6922888 HAS SOUPS 6921598 WITH SCORE 6945219.913
AT ITER 1907 NEW BEST:: SOT 24722451 SOS 23643839 HAS SOPS 23497200 HAS SOUS 6911483 HAS SOUPS 6910193 WITH SCORE 6933836.839
AT ITER 1918 NEW BEST:: SOT 24800056 SOS 23720425 HAS SOPS 23573786 HAS SOUS 6898736 HAS SOUPS 6897446 WITH SCORE 6921166.425
AT ITER 1920 NEW BEST:: SOT 24803790 SOS 23723318 HAS SOPS 23575471 HAS SOUS 6897045 HAS SOUPS 6895755 WITH SCORE 6919478.318
AT ITER 1924 NEW BEST:: SOT 24803567 SOS 23723095 HAS SOPS 23575248 HAS SOUS 6896598 HAS SOUPS 6895308 WITH SCORE 6919031.095
AT ITER 1931 NEW BEST:: SOT 24817648 SOS 23737176 HAS SOPS 23589329 HAS SOUS 6895795 HAS SOUPS 6894505 WITH SCORE 6918242.176
AT ITER 1960 NEW BEST:: SOT 24817386 SOS 23736914 HAS SOPS 23589067 HAS SOUS 6895347 HAS SOUPS 6894057 WITH SCORE 6917793.914
AT ITER 1963 NEW BEST:: SOT 24888564 SOS 23807270 HAS SOPS 23659423 HAS SOUS 6879373 HAS SOUPS 6878083 WITH SCORE 6901890.27
AT ITER 1974 NEW BEST:: SOT 24936011 SOS 23853770 HAS SOPS 23705923 HAS SOUS 6865925 HAS SOUPS 6864635 WITH SCORE 6888488.77
AT ITER 1978 NEW BEST:: SOT 24935800 SOS 23853559 HAS SOPS 23705501 HAS SOUS 6865714 HAS SOUPS 6864424 WITH SCORE 6888277.559
AT ITER 2001 NEW BEST:: SOT 24983655 SOS 23900573 HAS SOPS 23752515 HAS SOUS 6851544 HAS SOUPS 6850254 WITH SCORE 6874154.573
AT ITER 2015 NEW BEST:: SOT 25049205 SOS 23964694 HAS SOPS 23816636 HAS SOUS 6839344 HAS SOUPS 6838054 WITH SCORE 6862018.694
AT ITER 2017 NEW BEST:: SOT 25049813 SOS 23964339 HAS SOPS 23816281 HAS SOUS 6824901 HAS SOUPS 6823611 WITH SCORE 6847575.339
AT ITER 2035 NEW BEST:: SOT 25049171 SOS 23963697 HAS SOPS 23815308 HAS SOUS 6823948 HAS SOUPS 6822658 WITH SCORE 6846621.697
AT ITER 2036 NEW BEST:: SOT 25128557 SOS 24042725 HAS SOPS 23894336 HAS SOUS 6816387 HAS SOUPS 6815097 WITH SCORE 6839139.725
AT ITER 2049 NEW BEST:: SOT 25126585 SOS 24040753 HAS SOPS 23892364 HAS SOUS 6816271 HAS SOUPS 6814981 WITH SCORE 6839021.753
AT ITER 2050 NEW BEST:: SOT 25179523 SOS 24092676 HAS SOPS 23944287 HAS SOUS 6802137 HAS SOUPS 6800847 WITH SCORE 6824939.676
AT ITER 2051 NEW BEST:: SOT 25179523 SOS 24083874 HAS SOPS 23935485 HAS SOUS 6802043 HAS SOUPS 6800753 WITH SCORE 6824836.874
AT ITER 2064 NEW BEST:: SOT 25268263 SOS 24171647 HAS SOPS 24023258 HAS SOUS 6790706 HAS SOUPS 6789416 WITH SCORE 6813587.647
AT ITER 2070 NEW BEST:: SOT 25343436 SOS 24245980 HAS SOPS 24097591 HAS SOUS 6780438 HAS SOUPS 6779148 WITH SCORE 6803393.98
AT ITER 2084 NEW BEST:: SOT 25344028 SOS 24246572 HAS SOPS 24097588 HAS SOUS 6780048 HAS SOUPS 6778758 WITH SCORE 6803004.572
AT ITER 2097 NEW BEST:: SOT 25431979 SOS 24334006 HAS SOPS 24185022 HAS SOUS 6771045 HAS SOUPS 6769755 WITH SCORE 6794089.006
AT ITER 2111 NEW BEST:: SOT 25434220 SOS 24336247 HAS SOPS 24187263 HAS SOUS 6769274 HAS SOUPS 6767984 WITH SCORE 6792320.247
AT ITER 2116 NEW BEST:: SOT 25502866 SOS 24404149 HAS SOPS 24255165 HAS SOUS 6756679 HAS SOUPS 6755389 WITH SCORE 6779793.149
AT ITER 2122 NEW BEST:: SOT 25468186 SOS 24369469 HAS SOPS 24220485 HAS SOUS 6754639 HAS SOUPS 6753349 WITH SCORE 6777718.469
AT ITER 2134 NEW BEST:: SOT 25523957 SOS 24424851 HAS SOPS 24275867 HAS SOUS 6744997 HAS SOUPS 6743707 WITH SCORE 6768131.851
AT ITER 2138 NEW BEST:: SOT 25586061 SOS 24486738 HAS SOPS 24337754 HAS SOUS 6743998 HAS SOUPS 6742708 WITH SCORE 6767194.738
AT ITER 2157 NEW BEST:: SOT 25586091 SOS 24486079 HAS SOPS 24337095 HAS SOUS 6729229 HAS SOUPS 6727939 WITH SCORE 6752425.079
AT ITER 2159 NEW BEST:: SOT 25606772 SOS 24506314 HAS SOPS 24357330 HAS SOUS 6716814 HAS SOUPS 6715524 WITH SCORE 6740030.314
AT ITER 2177 NEW BEST:: SOT 25629225 SOS 24528406 HAS SOPS 24379422 HAS SOUS 6705682 HAS SOUPS 6704392 WITH SCORE 6728920.406
AT ITER 2179 NEW BEST:: SOT 25629225 SOS 24528406 HAS SOPS 24379608 HAS SOUS 6705496 HAS SOUPS 6704206 WITH SCORE 6728734.406
AT ITER 2182 NEW BEST:: SOT 25631525 SOS 24530706 HAS SOPS 24381908 HAS SOUS 6703928 HAS SOUPS 6702638 WITH SCORE 6727168.706
AT ITER 2183 NEW BEST:: SOT 25631525 SOS 24529055 HAS SOPS 24380257 HAS SOUS 6700215 HAS SOUPS 6698925 WITH SCORE 6723454.055
AT ITER 2188 NEW BEST:: SOT 25620169 SOS 24517699 HAS SOPS 24368901 HAS SOUS 6699547 HAS SOUPS 6698257 WITH SCORE 6722774.699
AT ITER 2196 NEW BEST:: SOT 25620169 SOS 24517327 HAS SOPS 24368529 HAS SOUS 6693967 HAS SOUPS 6692677 WITH SCORE 6717194.327
AT ITER 2201 NEW BEST:: SOT 25607597 SOS 24504755 HAS SOPS 24355957 HAS SOUS 6693753 HAS SOUPS 6692463 WITH SCORE 6716967.755
AT ITER 2209 NEW BEST:: SOT 25622096 SOS 24517716 HAS SOPS 24368918 HAS SOUS 6682866 HAS SOUPS 6681576 WITH SCORE 6706093.716
AT ITER 2210 NEW BEST:: SOT 25622096 SOS 24517716 HAS SOPS 24368918 HAS SOUS 6682857 HAS SOUPS 6681567 WITH SCORE 6706084.716
AT ITER 2225 NEW BEST:: SOT 25658889 SOS 24373532 HAS SOPS 24201852 HAS SOUS 6585595 HAS SOUPS 6584305 WITH SCORE 6608678.532
AT ITER 2226 NEW BEST:: SOT 25658927 SOS 24373570 HAS SOPS 24202309 HAS SOUS 6585520 HAS SOUPS 6584230 WITH SCORE 6608603.57
AT ITER 2230 NEW BEST:: SOT 25712549 SOS 24425396 HAS SOPS 24253918 HAS SOUS 6574015 HAS SOUPS 6572725 WITH SCORE 6597150.396
AT ITER 2256 NEW BEST:: SOT 25718435 SOS 24430861 HAS SOPS 24259549 HAS SOUS 6562232 HAS SOUPS 6560942 WITH SCORE 6585372.861
AT ITER 2260 NEW BEST:: SOT 25761362 SOS 24471113 HAS SOPS 24299584 HAS SOUS 6548091 HAS SOUPS 6546801 WITH SCORE 6571272.113
AT ITER 2261 NEW BEST:: SOT 25761362 SOS 24384173 HAS SOPS 24212644 HAS SOUS 6529378 HAS SOUPS 6528088 WITH SCORE 6552472.173
AT ITER 2271 NEW BEST:: SOT 25761362 SOS 24384173 HAS SOPS 24212644 HAS SOUS 6529314 HAS SOUPS 6528024 WITH SCORE 6552408.173
AT ITER 2275 NEW BEST:: SOT 25806025 SOS 24426930 HAS SOPS 24255184 HAS SOUS 6516535 HAS SOUPS 6515245 WITH SCORE 6539671.93
AT ITER 2280 NEW BEST:: SOT 25853258 SOS 24472857 HAS SOPS 24300894 HAS SOUS 6506570 HAS SOUPS 6505280 WITH SCORE 6529752.857
AT ITER 2285 NEW BEST:: SOT 25857777 SOS 24477376 HAS SOPS 24305413 HAS SOUS 6506149 HAS SOUPS 6504859 WITH SCORE 6529336.376
AT ITER 2288 NEW BEST:: SOT 25855462 SOS 24472997 HAS SOPS 24296310 HAS SOUS 6502902 HAS SOUPS 6501612 WITH SCORE 6526084.997
AT ITER 2291 NEW BEST:: SOT 25882234 SOS 24498654 HAS SOPS 24321967 HAS SOUS 6484549 HAS SOUPS 6483259 WITH SCORE 6507757.654
AT ITER 2311 NEW BEST:: SOT 25951850 SOS 24567179 HAS SOPS 24390492 HAS SOUS 6468661 HAS SOUPS 6467371 WITH SCORE 6491938.179
AT ITER 2312 NEW BEST:: SOT 26025908 SOS 24639681 HAS SOPS 24462777 HAS SOUS 6459658 HAS SOUPS 6458368 WITH SCORE 6483007.681
AT ITER 2320 NEW BEST:: SOT 26009673 SOS 24623446 HAS SOPS 24446542 HAS SOUS 6458703 HAS SOUPS 6457413 WITH SCORE 6482036.446
AT ITER 2329 NEW BEST:: SOT 26034544 SOS 24647610 HAS SOPS 24470706 HAS SOUS 6445556 HAS SOUPS 6444266 WITH SCORE 6468913.61
AT ITER 2335 NEW BEST:: SOT 26037784 SOS 24649972 HAS SOPS 24473068 HAS SOUS 6433048 HAS SOUPS 6431758 WITH SCORE 6456407.972
AT ITER 2338 NEW BEST:: SOT 26074046 SOS 24685810 HAS SOPS 24508906 HAS SOUS 6421875 HAS SOUPS 6420585 WITH SCORE 6445270.81
AT ITER 2358 NEW BEST:: SOT 26098273 SOS 24702373 HAS SOPS 24524573 HAS SOUS 6384276 HAS SOUPS 6382986 WITH SCORE 6407688.373
AT ITER 2374 NEW BEST:: SOT 26111143 SOS 24715243 HAS SOPS 24537443 HAS SOUS 6383213 HAS SOUPS 6381923 WITH SCORE 6406638.243
AT ITER 2375 NEW BEST:: SOT 26094908 SOS 24699008 HAS SOPS 24521208 HAS SOUS 6382258 HAS SOUPS 6380968 WITH SCORE 6405667.008
AT ITER 2376 NEW BEST:: SOT 26127960 SOS 24729966 HAS SOPS 24551949 HAS SOUS 6367467 HAS SOUPS 6366177 WITH SCORE 6390906.966
AT ITER 2379 NEW BEST:: SOT 26200843 SOS 24801067 HAS SOPS 24622833 HAS SOUS 6357199 HAS SOUPS 6355909 WITH SCORE 6380710.067
AT ITER 2405 NEW BEST:: SOT 26227150 SOS 24826885 HAS SOPS 24648651 HAS SOUS 6344712 HAS SOUPS 6343422 WITH SCORE 6368248.885
AT ITER 2413 NEW BEST:: SOT 26275070 SOS 24874481 HAS SOPS 24696247 HAS SOUS 6335464 HAS SOUPS 6334174 WITH SCORE 6359048.481
AT ITER 2423 NEW BEST:: SOT 26275070 SOS 24874209 HAS SOPS 24695975 HAS SOUS 6333560 HAS SOUPS 6332270 WITH SCORE 6357144.209
AT ITER 2427 NEW BEST:: SOT 26274722 SOS 24873861 HAS SOPS 24695627 HAS SOUS 6332864 HAS SOUPS 6331574 WITH SCORE 6356447.861
AT ITER 2438 NEW BEST:: SOT 26274722 SOS 24873861 HAS SOPS 24695627 HAS SOUS 6332701 HAS SOUPS 6331411 WITH SCORE 6356284.861
AT ITER 2451 NEW BEST:: SOT 26266528 SOS 24865667 HAS SOPS 24687433 HAS SOUS 6332219 HAS SOUPS 6330929 WITH SCORE 6355794.667
AT ITER 2461 NEW BEST:: SOT 26277580 SOS 24876086 HAS SOPS 24697635 HAS SOUS 6327265 HAS SOUPS 6325975 WITH SCORE 6350851.086
AT ITER 2465 NEW BEST:: SOT 26277092 SOS 24875598 HAS SOPS 24696893 HAS SOUS 6326543 HAS SOUPS 6325253 WITH SCORE 6350128.598
AT ITER 2493 NEW BEST:: SOT 26351782 SOS 24950288 HAS SOPS 24771276 HAS SOUS 6326236 HAS SOUPS 6324946 WITH SCORE 6349896.288
AT ITER 2502 NEW BEST:: SOT 26402987 SOS 25000049 HAS SOPS 24820820 HAS SOUS 6315686 HAS SOUPS 6314396 WITH SCORE 6339396.049
AT ITER 2507 NEW BEST:: SOT 26390526 SOS 24987588 HAS SOPS 24808359 HAS SOUS 6314953 HAS SOUPS 6313663 WITH SCORE 6338650.588
AT ITER 2509 NEW BEST:: SOT 26457952 SOS 25053214 HAS SOPS 24873768 HAS SOUS 6304230 HAS SOUPS 6302940 WITH SCORE 6327993.214
AT ITER 2530 NEW BEST:: SOT 26512056 SOS 25106930 HAS SOPS 24927484 HAS SOUS 6294822 HAS SOUPS 6293532 WITH SCORE 6318638.93
AT ITER 2536 NEW BEST:: SOT 26513181 SOS 25108055 HAS SOPS 24928609 HAS SOUS 6294257 HAS SOUPS 6292967 WITH SCORE 6318075.055
AT ITER 2546 NEW BEST:: SOT 26596836 SOS 25191274 HAS SOPS 25011828 HAS SOUS 6285695 HAS SOUPS 6284405 WITH SCORE 6309596.274
AT ITER 2553 NEW BEST:: SOT 26597053 SOS 25192507 HAS SOPS 25013278 HAS SOUS 6285150 HAS SOUPS 6283860 WITH SCORE 6309052.507
AT ITER 2561 NEW BEST:: SOT 26671717 SOS 25266336 HAS SOPS 25087107 HAS SOUS 6273994 HAS SOUPS 6272704 WITH SCORE 6297970.336
AT ITER 2562 NEW BEST:: SOT 26670667 SOS 25265286 HAS SOPS 25086019 HAS SOUS 6272905 HAS SOUPS 6271615 WITH SCORE 6296880.286
AT ITER 2563 NEW BEST:: SOT 26670667 SOS 25083261 HAS SOPS 24903994 HAS SOUS 6166080 HAS SOUPS 6164790 WITH SCORE 6189873.261
AT ITER 2564 NEW BEST:: SOT 26666604 SOS 25079198 HAS SOPS 24899931 HAS SOUS 6165841 HAS SOUPS 6164551 WITH SCORE 6189630.198
AT ITER 2572 NEW BEST:: SOT 26666442 SOS 25079036 HAS SOPS 24899769 HAS SOUS 6165715 HAS SOUPS 6164425 WITH SCORE 6189504.036
AT ITER 2576 NEW BEST:: SOT 26666442 SOS 25077901 HAS SOPS 24898634 HAS SOUS 6149834 HAS SOUPS 6148544 WITH SCORE 6173621.901
AT ITER 2580 NEW BEST:: SOT 26666442 SOS 25077532 HAS SOPS 24898265 HAS SOUS 6140594 HAS SOUPS 6139304 WITH SCORE 6164381.532
AT ITER 2583 NEW BEST:: SOT 26748437 SOS 25156720 HAS SOPS 24977236 HAS SOUS 6130574 HAS SOUPS 6129284 WITH SCORE 6154440.72
AT ITER 2591 NEW BEST:: SOT 26747859 SOS 25156142 HAS SOPS 24976658 HAS SOUS 6130540 HAS SOUPS 6129250 WITH SCORE 6154406.142
AT ITER 2610 NEW BEST:: SOT 26780714 SOS 25187426 HAS SOPS 25007725 HAS SOUS 6122153 HAS SOUPS 6120863 WITH SCORE 6146050.426
AT ITER 2629 NEW BEST:: SOT 26780714 SOS 25186671 HAS SOPS 25006970 HAS SOUS 6108798 HAS SOUPS 6107508 WITH SCORE 6132694.671
AT ITER 2637 NEW BEST:: SOT 26782954 SOS 25186674 HAS SOPS 25006813 HAS SOUS 6098155 HAS SOUPS 6096865 WITH SCORE 6122051.674
AT ITER 2641 NEW BEST:: SOT 26782722 SOS 25186442 HAS SOPS 25006465 HAS SOUS 6097807 HAS SOUPS 6096517 WITH SCORE 6121703.442
AT ITER 2643 NEW BEST:: SOT 26788091 SOS 25190237 HAS SOPS 25010043 HAS SOUS 6090122 HAS SOUPS 6088832 WITH SCORE 6114022.237
AT ITER 2646 NEW BEST:: SOT 26773437 SOS 25175583 HAS SOPS 24995389 HAS SOUS 6089260 HAS SOUPS 6087970 WITH SCORE 6113145.583
AT ITER 2657 NEW BEST:: SOT 26749042 SOS 25151188 HAS SOPS 24970994 HAS SOUS 6087825 HAS SOUPS 6086535 WITH SCORE 6111686.188
AT ITER 2661 NEW BEST:: SOT 26866294 SOS 25259825 HAS SOPS 25078206 HAS SOUS 6067471 HAS SOUPS 6066181 WITH SCORE 6091440.825
AT ITER 2692 NEW BEST:: SOT 26866294 SOS 25259758 HAS SOPS 25078139 HAS SOUS 6054328 HAS SOUPS 6053038 WITH SCORE 6078297.758
AT ITER 2697 NEW BEST:: SOT 26852207 SOS 25245671 HAS SOPS 25064052 HAS SOUS 6053634 HAS SOUPS 6052344 WITH SCORE 6077589.671
AT ITER 2699 NEW BEST:: SOT 26905523 SOS 25296375 HAS SOPS 25114539 HAS SOUS 6042759 HAS SOUPS 6041469 WITH SCORE 6066765.375
AT ITER 2705 NEW BEST:: SOT 26905430 SOS 25296282 HAS SOPS 25114446 HAS SOUS 6042594 HAS SOUPS 6041304 WITH SCORE 6066600.282
AT ITER 2709 NEW BEST:: SOT 26906915 SOS 25298021 HAS SOPS 25116185 HAS SOUS 6035219 HAS SOUPS 6033929 WITH SCORE 6059227.021
AT ITER 2710 NEW BEST:: SOT 26962688 SOS 25352651 HAS SOPS 25170815 HAS SOUS 6018043 HAS SOUPS 6016753 WITH SCORE 6042105.651
AT ITER 2711 NEW BEST:: SOT 26983527 SOS 25372913 HAS SOPS 25191077 HAS SOUS 6005388 HAS SOUPS 6004098 WITH SCORE 6029470.913
AT ITER 2722 NEW BEST:: SOT 26984744 SOS 25374130 HAS SOPS 25192294 HAS SOUS 6004999 HAS SOUPS 6003709 WITH SCORE 6029083.13
AT ITER 2731 NEW BEST:: SOT 27075088 SOS 25462630 HAS SOPS 25280577 HAS SOUS 5998331 HAS SOUPS 5997041 WITH SCORE 6022503.63
AT ITER 2732 NEW BEST:: SOT 27094767 SOS 25288318 HAS SOPS 25094317 HAS SOUS 5927009 HAS SOUPS 5925719 WITH SCORE 5951007.318
AT ITER 2736 NEW BEST:: SOT 27115420 SOS 25307384 HAS SOPS 25113279 HAS SOUS 5914027 HAS SOUPS 5912737 WITH SCORE 5938044.384
AT ITER 2742 NEW BEST:: SOT 27115197 SOS 25308114 HAS SOPS 25114122 HAS SOUS 5912655 HAS SOUPS 5911365 WITH SCORE 5936673.114
AT ITER 2744 NEW BEST:: SOT 27115197 SOS 25308323 HAS SOPS 25114638 HAS SOUS 5912496 HAS SOUPS 5911206 WITH SCORE 5936514.323
AT ITER 2755 NEW BEST:: SOT 27182854 SOS 25372620 HAS SOPS 25178718 HAS SOUS 5897508 HAS SOUPS 5896218 WITH SCORE 5921590.62
AT ITER 2776 NEW BEST:: SOT 27188870 SOS 25378029 HAS SOPS 25184411 HAS SOUS 5885832 HAS SOUPS 5884542 WITH SCORE 5909920.029
AT ITER 2778 NEW BEST:: SOT 27386311 SOS 25565045 HAS SOPS 25369734 HAS SOUS 5857958 HAS SOUPS 5856668 WITH SCORE 5882233.045
AT ITER 2793 NEW BEST:: SOT 27386311 SOS 25429785 HAS SOPS 25234474 HAS SOUS 5810794 HAS SOUPS 5809504 WITH SCORE 5834933.785
AT ITER 2794 NEW BEST:: SOT 27408345 SOS 25450111 HAS SOPS 25254583 HAS SOUS 5802859 HAS SOUPS 5801569 WITH SCORE 5827019.111
AT ITER 2811 NEW BEST:: SOT 27408175 SOS 25449941 HAS SOPS 25254413 HAS SOUS 5802058 HAS SOUPS 5800768 WITH SCORE 5826217.941
AT ITER 2813 NEW BEST:: SOT 27408175 SOS 25449991 HAS SOPS 25254903 HAS SOUS 5801701 HAS SOUPS 5800411 WITH SCORE 5825860.991
AT ITER 2817 NEW BEST:: SOT 27464481 SOS 25504293 HAS SOPS 25308988 HAS SOUS 5793101 HAS SOUPS 5791811 WITH SCORE 5817315.293
AT ITER 2834 NEW BEST:: SOT 27412597 SOS 25452409 HAS SOPS 25257104 HAS SOUS 5790049 HAS SOUPS 5788759 WITH SCORE 5814211.409
AT ITER 2849 NEW BEST:: SOT 27412597 SOS 25452628 HAS SOPS 25257323 HAS SOUS 5789830 HAS SOUPS 5788540 WITH SCORE 5813992.628
AT ITER 2855 NEW BEST:: SOT 27448488 SOS 25486007 HAS SOPS 25290485 HAS SOUS 5779537 HAS SOUPS 5778247 WITH SCORE 5803733.007
AT ITER 2861 NEW BEST:: SOT 27452696 SOS 25489191 HAS SOPS 25293565 HAS SOUS 5768978 HAS SOUPS 5767688 WITH SCORE 5793177.191
AT ITER 2870 NEW BEST:: SOT 27452696 SOS 25488881 HAS SOPS 25293255 HAS SOUS 5764638 HAS SOUPS 5763348 WITH SCORE 5788836.881
AT ITER 2875 NEW BEST:: SOT 27452592 SOS 25488777 HAS SOPS 25293151 HAS SOUS 5764534 HAS SOUPS 5763244 WITH SCORE 5788732.777
AT ITER 2883 NEW BEST:: SOT 27523819 SOS 25557856 HAS SOPS 25362126 HAS SOUS 5749637 HAS SOUPS 5748347 WITH SCORE 5773904.856
AT ITER 2898 NEW BEST:: SOT 27523819 SOS 25557861 HAS SOPS 25362407 HAS SOUS 5749356 HAS SOUPS 5748066 WITH SCORE 5773623.861
AT ITER 2914 NEW BEST:: SOT 27607219 SOS 25639257 HAS SOPS 25443699 HAS SOUS 5738284 HAS SOUPS 5736994 WITH SCORE 5762633.257
AT ITER 2917 NEW BEST:: SOT 27607219 SOS 25639257 HAS SOPS 25443699 HAS SOUS 5738262 HAS SOUPS 5736972 WITH SCORE 5762611.257
AT ITER 2940 NEW BEST:: SOT 27609095 SOS 25638057 HAS SOPS 25442365 HAS SOUS 5725772 HAS SOUPS 5724482 WITH SCORE 5750120.057
AT ITER 2949 NEW BEST:: SOT 27595036 SOS 25623998 HAS SOPS 25428306 HAS SOUS 5724945 HAS SOUPS 5723655 WITH SCORE 5749278.998
AT ITER 2963 NEW BEST:: SOT 27664972 SOS 25691710 HAS SOPS 25495801 HAS SOUS 5716562 HAS SOUPS 5715272 WITH SCORE 5740963.71
AT ITER 2975 NEW BEST:: SOT 27644140 SOS 25670878 HAS SOPS 25474969 HAS SOUS 5716562 HAS SOUPS 5715272 WITH SCORE 5740942.878
AT ITER 2988 NEW BEST:: SOT 27638768 SOS 25665506 HAS SOPS 25469597 HAS SOUS 5716246 HAS SOUPS 5714956 WITH SCORE 5740621.506
AT ITER 2992 NEW BEST:: SOT 27599447 SOS 25626185 HAS SOPS 25430276 HAS SOUS 5713933 HAS SOUPS 5712643 WITH SCORE 5738269.185
AT ITER 3000 NEW BEST:: SOT 27678790 SOS 25702304 HAS SOPS 25506178 HAS SOUS 5704495 HAS SOUPS 5703205 WITH SCORE 5728907.304
AT ITER 3001 NEW BEST:: SOT 27725332 SOS 25746802 HAS SOPS 25550459 HAS SOUS 5695131 HAS SOUPS 5693841 WITH SCORE 5719587.802
AT ITER 3004 NEW BEST:: SOT 27724551 SOS 25746021 HAS SOPS 25549678 HAS SOUS 5694342 HAS SOUPS 5693052 WITH SCORE 5718798.021
AT ITER 3017 NEW BEST:: SOT 27691775 SOS 25713245 HAS SOPS 25516902 HAS SOUS 5692414 HAS SOUPS 5691124 WITH SCORE 5716837.245
AT ITER 3018 NEW BEST:: SOT 27691775 SOS 25710776 HAS SOPS 25514433 HAS SOUS 5681070 HAS SOUPS 5679780 WITH SCORE 5705490.776
AT ITER 3020 NEW BEST:: SOT 27678056 SOS 25697057 HAS SOPS 25500714 HAS SOUS 5680263 HAS SOUPS 5678973 WITH SCORE 5704670.057
AT ITER 3025 NEW BEST:: SOT 27678853 SOS 25697854 HAS SOPS 25500979 HAS SOUS 5679949 HAS SOUPS 5678659 WITH SCORE 5704356.854
AT ITER 3029 NEW BEST:: SOT 27678853 SOS 25598372 HAS SOPS 25401497 HAS SOUS 5663500 HAS SOUPS 5662210 WITH SCORE 5687808.372
AT ITER 3032 NEW BEST:: SOT 27678305 SOS 25597824 HAS SOPS 25400620 HAS SOUS 5662733 HAS SOUPS 5661443 WITH SCORE 5687040.824
AT ITER 3040 NEW BEST:: SOT 27677965 SOS 25597484 HAS SOPS 25400280 HAS SOUS 5662713 HAS SOUPS 5661423 WITH SCORE 5687020.484
AT ITER 3041 NEW BEST:: SOT 27648691 SOS 25568210 HAS SOPS 25371006 HAS SOUS 5660991 HAS SOUPS 5659701 WITH SCORE 5685269.21
AT ITER 3043 NEW BEST:: SOT 27653912 SOS 25572920 HAS SOPS 25374225 HAS SOUS 5658082 HAS SOUPS 5656509 WITH SCORE 5682081.92
AT ITER 3055 NEW BEST:: SOT 27653912 SOS 25572678 HAS SOPS 25373983 HAS SOUS 5655264 HAS SOUPS 5653691 WITH SCORE 5679263.678
AT ITER 3059 NEW BEST:: SOT 27654603 SOS 25573369 HAS SOPS 25374152 HAS SOUS 5654867 HAS SOUPS 5653294 WITH SCORE 5678867.369
AT ITER 3063 NEW BEST:: SOT 27727446 SOS 25643853 HAS SOPS 25444532 HAS SOUS 5643344 HAS SOUPS 5641771 WITH SCORE 5667414.853
AT ITER 3065 NEW BEST:: SOT 27805142 SOS 25718785 HAS SOPS 25519247 HAS SOUS 5635127 HAS SOUPS 5633554 WITH SCORE 5659272.785
AT ITER 3076 NEW BEST:: SOT 27806707 SOS 25720350 HAS SOPS 25520812 HAS SOUS 5634992 HAS SOUPS 5633419 WITH SCORE 5659139.35
AT ITER 3083 NEW BEST:: SOT 27853945 SOS 25765612 HAS SOPS 25565857 HAS SOUS 5625872 HAS SOUPS 5624299 WITH SCORE 5650064.612
AT ITER 3087 NEW BEST:: SOT 27702807 SOS 25614474 HAS SOPS 25414911 HAS SOUS 5625220 HAS SOUPS 5623647 WITH SCORE 5649261.474
AT ITER 3100 NEW BEST:: SOT 27702263 SOS 25613930 HAS SOPS 25414367 HAS SOUS 5625188 HAS SOUPS 5623615 WITH SCORE 5649228.93
AT ITER 3101 NEW BEST:: SOT 27744141 SOS 25622184 HAS SOPS 25393143 HAS SOUS 5613614 HAS SOUPS 5612041 WITH SCORE 5637663.184
AT ITER 3107 NEW BEST:: SOT 27758465 SOS 25633639 HAS SOPS 25404252 HAS SOUS 5599045 HAS SOUPS 5597472 WITH SCORE 5623105.639
AT ITER 3108 NEW BEST:: SOT 27812434 SOS 25685587 HAS SOPS 25455854 HAS SOUS 5588299 HAS SOUPS 5586726 WITH SCORE 5612411.587
AT ITER 3109 NEW BEST:: SOT 27879884 SOS 25751004 HAS SOPS 25520925 HAS SOUS 5578308 HAS SOUPS 5576735 WITH SCORE 5602486.004
AT ITER 3127 NEW BEST:: SOT 27953617 SOS 25822233 HAS SOPS 25591937 HAS SOUS 5571583 HAS SOUPS 5570010 WITH SCORE 5595832.233
AT ITER 3130 NEW BEST:: SOT 27952897 SOS 25821513 HAS SOPS 25591217 HAS SOUS 5569730 HAS SOUPS 5568157 WITH SCORE 5593978.513
AT ITER 3137 NEW BEST:: SOT 27952710 SOS 25821326 HAS SOPS 25591030 HAS SOUS 5569356 HAS SOUPS 5567783 WITH SCORE 5593604.326
AT ITER 3147 NEW BEST:: SOT 28024735 SOS 25890875 HAS SOPS 25660362 HAS SOUS 5561233 HAS SOUPS 5559660 WITH SCORE 5585550.875
AT ITER 3152 NEW BEST:: SOT 28021631 SOS 25887771 HAS SOPS 25657258 HAS SOUS 5560986 HAS SOUPS 5559413 WITH SCORE 5585300.771
AT ITER 3156 NEW BEST:: SOT 28021631 SOS 25886888 HAS SOPS 25656375 HAS SOUS 5556487 HAS SOUPS 5554914 WITH SCORE 5580800.888
AT ITER 3157 NEW BEST:: SOT 28021270 SOS 25886527 HAS SOPS 25656014 HAS SOUS 5556363 HAS SOUPS 5554790 WITH SCORE 5580676.527
AT ITER 3158 NEW BEST:: SOT 28021890 SOS 25887147 HAS SOPS 25656634 HAS SOUS 5556361 HAS SOUPS 5554788 WITH SCORE 5580675.147
AT ITER 3170 NEW BEST:: SOT 28024796 SOS 25888290 HAS SOPS 25657673 HAS SOUS 5541080 HAS SOUPS 5539507 WITH SCORE 5565395.29
AT ITER 3172 NEW BEST:: SOT 28024796 SOS 25887159 HAS SOPS 25656542 HAS SOUS 5534034 HAS SOUPS 5532461 WITH SCORE 5558348.159
AT ITER 3206 NEW BEST:: SOT 28025349 SOS 25885288 HAS SOPS 25648983 HAS SOUS 5530819 HAS SOUPS 5529246 WITH SCORE 5555131.288
AT ITER 3222 NEW BEST:: SOT 28036037 SOS 25892472 HAS SOPS 25655950 HAS SOUS 5517572 HAS SOUPS 5515999 WITH SCORE 5541891.472
AT ITER 3227 NEW BEST:: SOT 28103266 SOS 25957493 HAS SOPS 25720754 HAS SOUS 5509078 HAS SOUPS 5507505 WITH SCORE 5533462.493
AT ITER 3236 NEW BEST:: SOT 28158078 SOS 26009321 HAS SOPS 25772365 HAS SOUS 5498899 HAS SOUPS 5497326 WITH SCORE 5523335.321
AT ITER 3242 NEW BEST:: SOT 28153488 SOS 26004731 HAS SOPS 25767775 HAS SOUS 5498629 HAS SOUPS 5497056 WITH SCORE 5523060.731
AT ITER 3243 NEW BEST:: SOT 28173431 SOS 26023394 HAS SOPS 25786092 HAS SOUS 5487394 HAS SOUPS 5485821 WITH SCORE 5511844.394
AT ITER 3265 NEW BEST:: SOT 28253790 SOS 26102389 HAS SOPS 25864741 HAS SOUS 5479217 HAS SOUPS 5477644 WITH SCORE 5503746.389
AT ITER 3271 NEW BEST:: SOT 28282612 SOS 26128679 HAS SOPS 25890814 HAS SOUS 5468510 HAS SOUPS 5466937 WITH SCORE 5493065.679
AT ITER 3281 NEW BEST:: SOT 28282434 SOS 26128501 HAS SOPS 25890636 HAS SOUS 5467701 HAS SOUPS 5466128 WITH SCORE 5492256.501
AT ITER 3282 NEW BEST:: SOT 28282434 SOS 26127978 HAS SOPS 25890113 HAS SOUS 5465578 HAS SOUPS 5464005 WITH SCORE 5490132.978
AT ITER 3299 NEW BEST:: SOT 28232588 SOS 26078132 HAS SOPS 25840267 HAS SOUS 5465126 HAS SOUPS 5463553 WITH SCORE 5489631.132
AT ITER 3313 NEW BEST:: SOT 28261926 SOS 26106574 HAS SOPS 25868492 HAS SOUS 5459680 HAS SOUPS 5458107 WITH SCORE 5484213.574
AT ITER 3332 NEW BEST:: SOT 28255296 SOS 26099944 HAS SOPS 25861862 HAS SOUS 5459290 HAS SOUPS 5457717 WITH SCORE 5483816.944
AT ITER 3343 NEW BEST:: SOT 28255368 SOS 26073064 HAS SOPS 25834982 HAS SOUS 5458905 HAS SOUPS 5457332 WITH SCORE 5483405.064
AT ITER 3346 NEW BEST:: SOT 28255368 SOS 26072340 HAS SOPS 25834258 HAS SOUS 5456371 HAS SOUPS 5454798 WITH SCORE 5480870.34
AT ITER 3350 NEW BEST:: SOT 28316198 SOS 26129906 HAS SOPS 25891607 HAS SOUS 5445715 HAS SOUPS 5444142 WITH SCORE 5470271.906
AT ITER 3364 NEW BEST:: SOT 28316198 SOS 26129852 HAS SOPS 25891553 HAS SOUS 5445079 HAS SOUPS 5443506 WITH SCORE 5469635.852
AT ITER 3373 NEW BEST:: SOT 28399944 SOS 26211818 HAS SOPS 25973302 HAS SOUS 5441296 HAS SOUPS 5439723 WITH SCORE 5465934.818
AT ITER 3385 NEW BEST:: SOT 28443332 SOS 26251886 HAS SOPS 26013153 HAS SOUS 5429433 HAS SOUPS 5427860 WITH SCORE 5454111.886
AT ITER 3392 NEW BEST:: SOT 28445833 SOS 26254387 HAS SOPS 26015654 HAS SOUS 5429058 HAS SOUPS 5427485 WITH SCORE 5453739.387
AT ITER 3397 NEW BEST:: SOT 28445586 SOS 26254140 HAS SOPS 26015407 HAS SOUS 5428544 HAS SOUPS 5426971 WITH SCORE 5453225.14
AT ITER 3412 NEW BEST:: SOT 28511426 SOS 26318417 HAS SOPS 26079338 HAS SOUS 5418891 HAS SOUPS 5417318 WITH SCORE 5443636.417
AT ITER 3414 NEW BEST:: SOT 28511045 SOS 26318036 HAS SOPS 26078576 HAS SOUS 5418510 HAS SOUPS 5416937 WITH SCORE 5443255.036
AT ITER 3416 NEW BEST:: SOT 28511268 SOS 26318259 HAS SOPS 26078799 HAS SOUS 5417724 HAS SOUPS 5416151 WITH SCORE 5442469.259
AT ITER 3421 NEW BEST:: SOT 28581465 SOS 26386704 HAS SOPS 26147027 HAS SOUS 5412676 HAS SOUPS 5411103 WITH SCORE 5437489.704
AT ITER 3425 NEW BEST:: SOT 28585287 SOS 26390526 HAS SOPS 26150849 HAS SOUS 5412202 HAS SOUPS 5410629 WITH SCORE 5437019.526
AT ITER 3441 NEW BEST:: SOT 28584953 SOS 26390192 HAS SOPS 26150515 HAS SOUS 5411530 HAS SOUPS 5409957 WITH SCORE 5436347.192
AT ITER 3464 NEW BEST:: SOT 28585581 SOS 26390820 HAS SOPS 26150698 HAS SOUS 5411476 HAS SOUPS 5409903 WITH SCORE 5436293.82
AT ITER 3466 NEW BEST:: SOT 28517418 SOS 26322657 HAS SOPS 26082616 HAS SOUS 5410588 HAS SOUPS 5409015 WITH SCORE 5435337.657
AT ITER 3468 NEW BEST:: SOT 28549134 SOS 26352100 HAS SOPS 26111713 HAS SOUS 5397800 HAS SOUPS 5396227 WITH SCORE 5422579.1
AT ITER 3476 NEW BEST:: SOT 28532610 SOS 26335576 HAS SOPS 26095189 HAS SOUS 5396828 HAS SOUPS 5395255 WITH SCORE 5421590.576
AT ITER 3484 NEW BEST:: SOT 28532610 SOS 26333881 HAS SOPS 26093494 HAS SOUS 5390299 HAS SOUPS 5388726 WITH SCORE 5415059.881
AT ITER 3497 NEW BEST:: SOT 28610270 SOS 26408245 HAS SOPS 26167641 HAS SOUS 5380866 HAS SOUPS 5379293 WITH SCORE 5405701.245
AT ITER 3503 NEW BEST:: SOT 28610049 SOS 26408024 HAS SOPS 26167420 HAS SOUS 5380853 HAS SOUPS 5379280 WITH SCORE 5405688.024
AT ITER 3504 NEW BEST:: SOT 28613852 SOS 26410067 HAS SOPS 26169246 HAS SOUS 5373097 HAS SOUPS 5371524 WITH SCORE 5397934.067
AT ITER 3523 NEW BEST:: SOT 28613476 SOS 26408155 HAS SOPS 26162730 HAS SOUS 5372590 HAS SOUPS 5371017 WITH SCORE 5397425.155
AT ITER 3534 NEW BEST:: SOT 28644036 SOS 26438409 HAS SOPS 26192638 HAS SOUS 5371871 HAS SOUPS 5370298 WITH SCORE 5396736.409
AT ITER 3536 NEW BEST:: SOT 28656103 SOS 26449786 HAS SOPS 26203669 HAS SOUS 5366290 HAS SOUPS 5364717 WITH SCORE 5391166.786
AT ITER 3547 NEW BEST:: SOT 28640939 SOS 26434622 HAS SOPS 26188505 HAS SOUS 5365398 HAS SOUPS 5363825 WITH SCORE 5390259.622
AT ITER 3558 NEW BEST:: SOT 28651953 SOS 26443019 HAS SOPS 26196556 HAS SOUS 5353157 HAS SOUPS 5351584 WITH SCORE 5378027.019
AT ITER 3567 NEW BEST:: SOT 28651953 SOS 26440068 HAS SOPS 26193605 HAS SOUS 5345184 HAS SOUPS 5343611 WITH SCORE 5370051.068
AT ITER 3579 NEW BEST:: SOT 28656585 SOS 26443701 HAS SOPS 26196030 HAS SOUS 5345153 HAS SOUPS 5343580 WITH SCORE 5370023.701
AT ITER 3591 NEW BEST:: SOT 28658873 SOS 26443769 HAS SOPS 26195922 HAS SOUS 5334951 HAS SOUPS 5333378 WITH SCORE 5359821.769
AT ITER 3592 NEW BEST:: SOT 28663276 SOS 26446180 HAS SOPS 26198116 HAS SOUS 5324880 HAS SOUPS 5323307 WITH SCORE 5349753.18
AT ITER 3593 NEW BEST:: SOT 28664063 SOS 26446967 HAS SOPS 26198903 HAS SOUS 5324852 HAS SOUPS 5323279 WITH SCORE 5349725.967
AT ITER 3595 NEW BEST:: SOT 28664063 SOS 26447992 HAS SOPS 26200298 HAS SOUS 5324381 HAS SOUPS 5322808 WITH SCORE 5349255.992
AT ITER 3596 NEW BEST:: SOT 28658997 SOS 26442926 HAS SOPS 26195232 HAS SOUS 5324083 HAS SOUPS 5322510 WITH SCORE 5348952.926
AT ITER 3598 NEW BEST:: SOT 28686478 SOS 26467206 HAS SOPS 26219166 HAS SOUS 5310008 HAS SOUPS 5308435 WITH SCORE 5334902.206
AT ITER 3600 NEW BEST:: SOT 28722570 SOS 26501900 HAS SOPS 26253514 HAS SOUS 5298990 HAS SOUPS 5297417 WITH SCORE 5323918.9
AT ITER 3622 NEW BEST:: SOT 28764309 SOS 26540075 HAS SOPS 26291472 HAS SOUS 5286315 HAS SOUPS 5284742 WITH SCORE 5311282.075
AT ITER 3628 NEW BEST:: SOT 28729901 SOS 26505667 HAS SOPS 26257064 HAS SOUS 5284291 HAS SOUPS 5282718 WITH SCORE 5309223.667
AT ITER 3650 NEW BEST:: SOT 28730217 SOS 26505983 HAS SOPS 26257380 HAS SOUS 5283975 HAS SOUPS 5282402 WITH SCORE 5308907.983
AT ITER 3660 NEW BEST:: SOT 28705431 SOS 26481197 HAS SOPS 26232594 HAS SOUS 5282517 HAS SOUPS 5280944 WITH SCORE 5307425.197
AT ITER 3662 NEW BEST:: SOT 28704797 SOS 26480563 HAS SOPS 26231960 HAS SOUS 5281870 HAS SOUPS 5280297 WITH SCORE 5306777.563
AT ITER 3673 NEW BEST:: SOT 28788215 SOS 26562383 HAS SOPS 26313434 HAS SOUS 5273887 HAS SOUPS 5272314 WITH SCORE 5298876.383
AT ITER 3683 NEW BEST:: SOT 28826204 SOS 26597815 HAS SOPS 26348520 HAS SOUS 5260624 HAS SOUPS 5259051 WITH SCORE 5285648.815
AT ITER 3689 NEW BEST:: SOT 28884365 SOS 26652648 HAS SOPS 26403136 HAS SOUS 5249605 HAS SOUPS 5248032 WITH SCORE 5274684.648
AT ITER 3701 NEW BEST:: SOT 28926026 SOS 26691224 HAS SOPS 26441366 HAS SOUS 5234837 HAS SOUPS 5233264 WITH SCORE 5259955.224
AT ITER 3719 NEW BEST:: SOT 28976051 SOS 26738452 HAS SOPS 26488248 HAS SOUS 5221611 HAS SOUPS 5220038 WITH SCORE 5246776.452
AT ITER 3723 NEW BEST:: SOT 28975895 SOS 26738433 HAS SOPS 26488229 HAS SOUS 5221299 HAS SOUPS 5219726 WITH SCORE 5246464.433
AT ITER 3732 NEW BEST:: SOT 28973825 SOS 26736363 HAS SOPS 26486159 HAS SOUS 5219229 HAS SOUPS 5217656 WITH SCORE 5244392.363
AT ITER 3733 NEW BEST:: SOT 29005102 SOS 26764905 HAS SOPS 26514484 HAS SOUS 5209870 HAS SOUPS 5208297 WITH SCORE 5235061.905
AT ITER 3742 NEW BEST:: SOT 29003902 SOS 26763705 HAS SOPS 26513284 HAS SOUS 5207452 HAS SOUPS 5205879 WITH SCORE 5232642.705
AT ITER 3748 NEW BEST:: SOT 29092867 SOS 26849602 HAS SOPS 26598964 HAS SOUS 5199790 HAS SOUPS 5198217 WITH SCORE 5225066.602
AT ITER 3754 NEW BEST:: SOT 29158695 SOS 26913642 HAS SOPS 26662787 HAS SOUS 5194467 HAS SOUPS 5192894 WITH SCORE 5219807.642
AT ITER 3762 NEW BEST:: SOT 29158269 SOS 26913216 HAS SOPS 26662361 HAS SOUS 5193615 HAS SOUPS 5192042 WITH SCORE 5218955.216
AT ITER 3767 NEW BEST:: SOT 29138909 SOS 26893856 HAS SOPS 26643001 HAS SOUS 5193308 HAS SOUPS 5191735 WITH SCORE 5218628.856
AT ITER 3769 NEW BEST:: SOT 29138909 SOS 26893856 HAS SOPS 26643001 HAS SOUS 5192645 HAS SOUPS 5191072 WITH SCORE 5217965.856
AT ITER 3780 NEW BEST:: SOT 29141498 SOS 26896445 HAS SOPS 26644743 HAS SOUS 5192574 HAS SOUPS 5191001 WITH SCORE 5217897.445
AT ITER 3786 NEW BEST:: SOT 29141498 SOS 26895250 HAS SOPS 26643548 HAS SOUS 5189228 HAS SOUPS 5187655 WITH SCORE 5214550.25
AT ITER 3799 NEW BEST:: SOT 29141270 SOS 26895022 HAS SOPS 26643320 HAS SOUS 5188489 HAS SOUPS 5186916 WITH SCORE 5213811.022
AT ITER 3816 NEW BEST:: SOT 29193245 SOS 26945591 HAS SOPS 26693543 HAS SOUS 5179397 HAS SOUPS 5177824 WITH SCORE 5204769.591
AT ITER 3845 NEW BEST:: SOT 29176789 SOS 26929135 HAS SOPS 26677087 HAS SOUS 5178429 HAS SOUPS 5176856 WITH SCORE 5203785.135
AT ITER 3846 NEW BEST:: SOT 29168969 SOS 26921315 HAS SOPS 26669267 HAS SOUS 5177969 HAS SOUPS 5176396 WITH SCORE 5203317.315
AT ITER 3855 NEW BEST:: SOT 29185587 SOS 26936056 HAS SOPS 26684845 HAS SOUS 5167666 HAS SOUPS 5166093 WITH SCORE 5193029.056
AT ITER 3860 NEW BEST:: SOT 29185500 SOS 26935969 HAS SOPS 26684758 HAS SOUS 5167492 HAS SOUPS 5165919 WITH SCORE 5192854.969
AT ITER 3877 NEW BEST:: SOT 29205409 SOS 26953716 HAS SOPS 26703779 HAS SOUS 5159376 HAS SOUPS 5157841 WITH SCORE 5184794.716
AT ITER 3896 NEW BEST:: SOT 29267246 SOS 27013589 HAS SOPS 26763435 HAS SOUS 5151356 HAS SOUPS 5149821 WITH SCORE 5176834.589
AT ITER 3904 NEW BEST:: SOT 29298452 SOS 27042778 HAS SOPS 26792278 HAS SOUS 5139284 HAS SOUPS 5137749 WITH SCORE 5164791.778
AT ITER 3905 NEW BEST:: SOT 29271949 SOS 27016275 HAS SOPS 26765775 HAS SOUS 5137725 HAS SOUPS 5136190 WITH SCORE 5163206.275
AT ITER 3908 NEW BEST:: SOT 29263721 SOS 27008047 HAS SOPS 26757547 HAS SOUS 5137241 HAS SOUPS 5135706 WITH SCORE 5162714.047
AT ITER 3920 NEW BEST:: SOT 29240856 SOS 26985182 HAS SOPS 26734682 HAS SOUS 5135896 HAS SOUPS 5134361 WITH SCORE 5161346.182
AT ITER 3922 NEW BEST:: SOT 29240856 SOS 26983571 HAS SOPS 26733071 HAS SOUS 5127667 HAS SOUPS 5126132 WITH SCORE 5153115.571
AT ITER 3925 NEW BEST:: SOT 29302056 SOS 27042938 HAS SOPS 26792092 HAS SOUS 5117803 HAS SOUPS 5116268 WITH SCORE 5143310.938
AT ITER 3934 NEW BEST:: SOT 29302056 SOS 27042842 HAS SOPS 26791996 HAS SOUS 5117467 HAS SOUPS 5115932 WITH SCORE 5142974.842
AT ITER 3935 NEW BEST:: SOT 29289561 SOS 27030347 HAS SOPS 26779501 HAS SOUS 5116732 HAS SOUPS 5115197 WITH SCORE 5142227.347
AT ITER 3938 NEW BEST:: SOT 29289561 SOS 27028375 HAS SOPS 26777529 HAS SOUS 5111217 HAS SOUPS 5109682 WITH SCORE 5136710.375
AT ITER 3940 NEW BEST:: SOT 29328268 SOS 27065094 HAS SOPS 26814031 HAS SOUS 5101559 HAS SOUPS 5100024 WITH SCORE 5127089.094
AT ITER 3942 NEW BEST:: SOT 29339415 SOS 27074396 HAS SOPS 26822987 HAS SOUS 5091146 HAS SOUPS 5089611 WITH SCORE 5116685.396
AT ITER 3955 NEW BEST:: SOT 29341769 SOS 27076750 HAS SOPS 26825341 HAS SOUS 5090626 HAS SOUPS 5089091 WITH SCORE 5116167.75
AT ITER 3974 NEW BEST:: SOT 29341769 SOS 27075866 HAS SOPS 26824457 HAS SOUS 5087532 HAS SOUPS 5085997 WITH SCORE 5113072.866
AT ITER 3978 NEW BEST:: SOT 29343710 SOS 27077807 HAS SOPS 26826398 HAS SOUS 5085755 HAS SOUPS 5084220 WITH SCORE 5111297.807
AT ITER 3985 NEW BEST:: SOT 29341326 SOS 27075423 HAS SOPS 26824014 HAS SOUS 5085351 HAS SOUPS 5083816 WITH SCORE 5110891.423
AT ITER 3987 NEW BEST:: SOT 29356084 SOS 27087393 HAS SOPS 26835767 HAS SOUS 5076396 HAS SOUPS 5074861 WITH SCORE 5101948.393
AT ITER 3994 NEW BEST:: SOT 29388065 SOS 27115802 HAS SOPS 26863959 HAS SOUS 5063121 HAS SOUPS 5061586 WITH SCORE 5088701.802
AT ITER 3996 NEW BEST:: SOT 29439069 SOS 27163474 HAS SOPS 26911414 HAS SOUS 5052115 HAS SOUPS 5050580 WITH SCORE 5077743.474
AT ITER 3997 NEW BEST:: SOT 29438440 SOS 27162845 HAS SOPS 26910785 HAS SOUS 5052078 HAS SOUPS 5050543 WITH SCORE 5077705.845
AT ITER 4002 NEW BEST:: SOT 29438608 SOS 27134391 HAS SOPS 26882352 HAS SOUS 5051079 HAS SOUPS 5049544 WITH SCORE 5076678.391
AT ITER 4029 NEW BEST:: SOT 29412921 SOS 27108704 HAS SOPS 26856665 HAS SOUS 5049568 HAS SOUPS 5048033 WITH SCORE 5075141.704
AT ITER 4064 NEW BEST:: SOT 29370183 SOS 27065966 HAS SOPS 26813927 HAS SOUS 5047054 HAS SOUPS 5045519 WITH SCORE 5072584.966
AT ITER 4079 NEW BEST:: SOT 29445979 SOS 27138982 HAS SOPS 26886726 HAS SOUS 5038677 HAS SOUPS 5037142 WITH SCORE 5064280.982
AT ITER 4083 NEW BEST:: SOT 29445979 SOS 27138982 HAS SOPS 26886726 HAS SOUS 5038629 HAS SOUPS 5037094 WITH SCORE 5064232.982
AT ITER 4086 NEW BEST:: SOT 29453725 SOS 27145462 HAS SOPS 26892860 HAS SOUS 5028195 HAS SOUPS 5026660 WITH SCORE 5053805.462
AT ITER 4093 NEW BEST:: SOT 29453357 SOS 27145094 HAS SOPS 26892492 HAS SOUS 5027355 HAS SOUPS 5025820 WITH SCORE 5052965.094
AT ITER 4095 NEW BEST:: SOT 29457337 SOS 27149074 HAS SOPS 26896472 HAS SOUS 5027102 HAS SOUPS 5025567 WITH SCORE 5052716.074
AT ITER 4096 NEW BEST:: SOT 29457337 SOS 27147219 HAS SOPS 26894617 HAS SOUS 5016365 HAS SOUPS 5014830 WITH SCORE 5041977.219
AT ITER 4103 NEW BEST:: SOT 29462436 SOS 27151634 HAS SOPS 26899049 HAS SOUS 5010863 HAS SOUPS 5009328 WITH SCORE 5036479.634
AT ITER 4107 NEW BEST:: SOT 29462436 SOS 27149712 HAS SOPS 26897127 HAS SOUS 5004769 HAS SOUPS 5003234 WITH SCORE 5030383.712
AT ITER 4116 NEW BEST:: SOT 29459254 SOS 27146530 HAS SOPS 26893945 HAS SOUS 5001587 HAS SOUPS 5000052 WITH SCORE 5027198.53
AT ITER 4126 NEW BEST:: SOT 29462184 SOS 27149460 HAS SOPS 26896875 HAS SOUS 5000340 HAS SOUPS 4998805 WITH SCORE 5025954.46
AT ITER 4130 NEW BEST:: SOT 29473784 SOS 27158227 HAS SOPS 26905296 HAS SOUS 4985432 HAS SOUPS 4983897 WITH SCORE 5011055.227
AT ITER 4137 NEW BEST:: SOT 29511813 SOS 27194260 HAS SOPS 26941112 HAS SOUS 4975710 HAS SOUPS 4974175 WITH SCORE 5001369.26
AT ITER 4152 NEW BEST:: SOT 29545537 SOS 27226538 HAS SOPS 26973044 HAS SOUS 4965869 HAS SOUPS 4964334 WITH SCORE 4991560.538
AT ITER 4157 NEW BEST:: SOT 29545366 SOS 27226367 HAS SOPS 26972873 HAS SOUS 4965658 HAS SOUPS 4964123 WITH SCORE 4991349.367
AT ITER 4158 NEW BEST:: SOT 29545375 SOS 27226565 HAS SOPS 26973071 HAS SOUS 4965010 HAS SOUPS 4963475 WITH SCORE 4990701.565
AT ITER 4163 NEW BEST:: SOT 29610676 SOS 27288814 HAS SOPS 27035103 HAS SOUS 4955229 HAS SOUPS 4953694 WITH SCORE 4980982.814
AT ITER 4170 NEW BEST:: SOT 29591840 SOS 27269978 HAS SOPS 27016267 HAS SOUS 4954121 HAS SOUPS 4952586 WITH SCORE 4979855.978
AT ITER 4184 NEW BEST:: SOT 29591421 SOS 27269559 HAS SOPS 27015848 HAS SOUS 4953283 HAS SOUPS 4951748 WITH SCORE 4979017.559
AT ITER 4186 NEW BEST:: SOT 29593821 SOS 27271959 HAS SOPS 27018248 HAS SOUS 4952853 HAS SOUPS 4951318 WITH SCORE 4978589.959
AT ITER 4193 NEW BEST:: SOT 29656487 SOS 27332381 HAS SOPS 27078453 HAS SOUS 4945946 HAS SOUPS 4944411 WITH SCORE 4971743.381
AT ITER 4194 NEW BEST:: SOT 29616333 SOS 27292227 HAS SOPS 27038299 HAS SOUS 4942608 HAS SOUPS 4941073 WITH SCORE 4968365.227
AT ITER 4217 NEW BEST:: SOT 29614416 SOS 27290310 HAS SOPS 27036382 HAS SOUS 4941295 HAS SOUPS 4939760 WITH SCORE 4967050.31
AT ITER 4225 NEW BEST:: SOT 29586978 SOS 27262872 HAS SOPS 27008436 HAS SOUS 4940807 HAS SOUPS 4939272 WITH SCORE 4966534.872
AT ITER 4233 NEW BEST:: SOT 29586978 SOS 27262452 HAS SOPS 27008016 HAS SOUS 4940719 HAS SOUPS 4939184 WITH SCORE 4966446.452
AT ITER 4236 NEW BEST:: SOT 29586708 SOS 27262182 HAS SOPS 27007746 HAS SOUS 4940163 HAS SOUPS 4938628 WITH SCORE 4965890.182
AT ITER 4243 NEW BEST:: SOT 29589196 SOS 27264670 HAS SOPS 27010234 HAS SOUS 4938992 HAS SOUPS 4937457 WITH SCORE 4964721.67
AT ITER 4256 NEW BEST:: SOT 29679130 SOS 27351388 HAS SOPS 27096735 HAS SOUS 4930203 HAS SOUPS 4928668 WITH SCORE 4956019.388
AT ITER 4258 NEW BEST:: SOT 29670986 SOS 27343244 HAS SOPS 27088591 HAS SOUS 4929111 HAS SOUPS 4927576 WITH SCORE 4954919.244
AT ITER 4259 NEW BEST:: SOT 29757656 SOS 27428122 HAS SOPS 27173252 HAS SOUS 4925011 HAS SOUPS 4923476 WITH SCORE 4950904.122
AT ITER 4264 NEW BEST:: SOT 29730201 SOS 27400667 HAS SOPS 27145797 HAS SOUS 4923396 HAS SOUPS 4921861 WITH SCORE 4949261.667
AT ITER 4277 NEW BEST:: SOT 29773290 SOS 27441431 HAS SOPS 27186215 HAS SOUS 4911109 HAS SOUPS 4909574 WITH SCORE 4937015.431
AT ITER 4290 NEW BEST:: SOT 29823189 SOS 27488286 HAS SOPS 27232853 HAS SOUS 4900448 HAS SOUPS 4898913 WITH SCORE 4926401.286
AT ITER 4293 NEW BEST:: SOT 29797519 SOS 27462616 HAS SOPS 27207183 HAS SOUS 4898938 HAS SOUPS 4897403 WITH SCORE 4924865.616
AT ITER 4308 NEW BEST:: SOT 29793007 SOS 27458104 HAS SOPS 27202389 HAS SOUS 4898656 HAS SOUPS 4897121 WITH SCORE 4924579.104
AT ITER 4309 NEW BEST:: SOT 29825736 SOS 27487821 HAS SOPS 27231889 HAS SOUS 4887087 HAS SOUPS 4885552 WITH SCORE 4913039.821
AT ITER 4314 NEW BEST:: SOT 29828541 SOS 27490626 HAS SOPS 27234694 HAS SOUS 4885550 HAS SOUPS 4884015 WITH SCORE 4911505.626
AT ITER 4346 NEW BEST:: SOT 29893689 SOS 27554372 HAS SOPS 27298094 HAS SOUS 4876215 HAS SOUPS 4874680 WITH SCORE 4902234.372
AT ITER 4352 NEW BEST:: SOT 29892229 SOS 27552912 HAS SOPS 27296634 HAS SOUS 4875858 HAS SOUPS 4874323 WITH SCORE 4901875.912
AT ITER 4361 NEW BEST:: SOT 29981521 SOS 27640008 HAS SOPS 27383513 HAS SOUS 4868698 HAS SOUPS 4867163 WITH SCORE 4894803.008
AT ITER 4373 NEW BEST:: SOT 30061916 SOS 27718798 HAS SOPS 27461957 HAS SOUS 4859862 HAS SOUPS 4858327 WITH SCORE 4886045.798
AT ITER 4377 NEW BEST:: SOT 30071923 SOS 27725281 HAS SOPS 27468223 HAS SOUS 4848208 HAS SOUPS 4846673 WITH SCORE 4874398.281
AT ITER 4386 NEW BEST:: SOT 30004083 SOS 27657441 HAS SOPS 27399398 HAS SOUS 4847315 HAS SOUPS 4845780 WITH SCORE 4873437.441
AT ITER 4397 NEW BEST:: SOT 29980538 SOS 27633896 HAS SOPS 27375853 HAS SOUS 4845930 HAS SOUPS 4844395 WITH SCORE 4872028.896
AT ITER 4403 NEW BEST:: SOT 29983669 SOS 27637027 HAS SOPS 27378984 HAS SOUS 4845250 HAS SOUPS 4843715 WITH SCORE 4871352.027
AT ITER 4411 NEW BEST:: SOT 29976852 SOS 27630210 HAS SOPS 27372167 HAS SOUS 4844849 HAS SOUPS 4843314 WITH SCORE 4870944.21
AT ITER 4412 NEW BEST:: SOT 29962977 SOS 27616335 HAS SOPS 27358292 HAS SOUS 4844849 HAS SOUPS 4843314 WITH SCORE 4870930.335
AT ITER 4415 NEW BEST:: SOT 29962776 SOS 27616134 HAS SOPS 27357890 HAS SOUS 4844648 HAS SOUPS 4843113 WITH SCORE 4870729.134
AT ITER 4419 NEW BEST:: SOT 30019507 SOS 27671446 HAS SOPS 27412856 HAS SOUS 4837155 HAS SOUPS 4835620 WITH SCORE 4863291.446
AT ITER 4420 NEW BEST:: SOT 29994211 SOS 27646150 HAS SOPS 27387560 HAS SOUS 4835667 HAS SOUPS 4834132 WITH SCORE 4861778.15
AT ITER 4425 NEW BEST:: SOT 29999625 SOS 27651552 HAS SOPS 27392616 HAS SOUS 4835341 HAS SOUPS 4833806 WITH SCORE 4861457.552
AT ITER 4430 NEW BEST:: SOT 30001208 SOS 27652165 HAS SOPS 27393229 HAS SOUS 4832307 HAS SOUPS 4830772 WITH SCORE 4858424.165
AT ITER 4434 NEW BEST:: SOT 30077022 SOS 27725922 HAS SOPS 27466640 HAS SOUS 4822730 HAS SOUPS 4821195 WITH SCORE 4848920.922
AT ITER 4443 NEW BEST:: SOT 30079515 SOS 27728415 HAS SOPS 27469133 HAS SOUS 4821212 HAS SOUPS 4819677 WITH SCORE 4847405.415
AT ITER 4446 NEW BEST:: SOT 30088114 SOS 27734912 HAS SOPS 27475413 HAS SOUS 4810622 HAS SOUPS 4809087 WITH SCORE 4836821.912
AT ITER 4456 NEW BEST:: SOT 30089998 SOS 27736796 HAS SOPS 27477297 HAS SOUS 4810463 HAS SOUPS 4808928 WITH SCORE 4836664.796
AT ITER 4458 NEW BEST:: SOT 30172287 SOS 27817845 HAS SOPS 27558000 HAS SOUS 4803112 HAS SOUPS 4801577 WITH SCORE 4829394.845
AT ITER 4462 NEW BEST:: SOT 30175238 SOS 27820796 HAS SOPS 27560951 HAS SOUS 4801140 HAS SOUPS 4799605 WITH SCORE 4827425.796
AT ITER 4472 NEW BEST:: SOT 30168183 SOS 27813741 HAS SOPS 27553896 HAS SOUS 4800725 HAS SOUPS 4799190 WITH SCORE 4827003.741
AT ITER 4475 NEW BEST:: SOT 30146446 SOS 27792004 HAS SOPS 27532159 HAS SOUS 4800331 HAS SOUPS 4798796 WITH SCORE 4826588.004
AT ITER 4481 NEW BEST:: SOT 30126063 SOS 27771621 HAS SOPS 27511776 HAS SOUS 4799132 HAS SOUPS 4797597 WITH SCORE 4825368.621
AT ITER 4485 NEW BEST:: SOT 30096058 SOS 27741616 HAS SOPS 27481771 HAS SOUS 4797367 HAS SOUPS 4795832 WITH SCORE 4823573.616
AT ITER 4497 NEW BEST:: SOT 30172324 SOS 27814894 HAS SOPS 27554832 HAS SOUS 4788437 HAS SOUPS 4786902 WITH SCORE 4814716.894
AT ITER 4508 NEW BEST:: SOT 30175208 SOS 27816245 HAS SOPS 27556183 HAS SOUS 4779204 HAS SOUPS 4777669 WITH SCORE 4805485.245
AT ITER 4521 NEW BEST:: SOT 30179454 SOS 27818920 HAS SOPS 27558799 HAS SOUS 4766238 HAS SOUPS 4764703 WITH SCORE 4792521.92
AT ITER 4527 NEW BEST:: SOT 30163695 SOS 27803161 HAS SOPS 27543040 HAS SOUS 4765311 HAS SOUPS 4763776 WITH SCORE 4791579.161
AT ITER 4530 NEW BEST:: SOT 30198345 SOS 27834499 HAS SOPS 27574161 HAS SOUS 4752960 HAS SOUPS 4751425 WITH SCORE 4779259.499
AT ITER 4533 NEW BEST:: SOT 30141021 SOS 27777175 HAS SOPS 27516837 HAS SOUS 4749588 HAS SOUPS 4748053 WITH SCORE 4775830.175
AT ITER 4536 NEW BEST:: SOT 30141021 SOS 27776411 HAS SOPS 27516073 HAS SOUS 4744240 HAS SOUPS 4742705 WITH SCORE 4770481.411
AT ITER 4542 NEW BEST:: SOT 30111492 SOS 27746882 HAS SOPS 27486544 HAS SOUS 4742503 HAS SOUPS 4740968 WITH SCORE 4768714.882
AT ITER 4560 NEW BEST:: SOT 30106068 SOS 27741458 HAS SOPS 27481120 HAS SOUS 4742503 HAS SOUPS 4740968 WITH SCORE 4768709.458
AT ITER 4580 NEW BEST:: SOT 30107254 SOS 27742644 HAS SOPS 27481795 HAS SOUS 4742359 HAS SOUPS 4740824 WITH SCORE 4768566.644
AT ITER 4582 NEW BEST:: SOT 30109051 SOS 27744441 HAS SOPS 27483592 HAS SOUS 4741718 HAS SOUPS 4740183 WITH SCORE 4767927.441
AT ITER 4586 NEW BEST:: SOT 30109051 SOS 27740980 HAS SOPS 27480131 HAS SOUS 4732394 HAS SOUPS 4730859 WITH SCORE 4758599.98
AT ITER 4587 NEW BEST:: SOT 30143947 SOS 27773255 HAS SOPS 27512060 HAS SOUS 4716202 HAS SOUPS 4714667 WITH SCORE 4742440.255
AT ITER 4593 NEW BEST:: SOT 30143947 SOS 27773255 HAS SOPS 27512060 HAS SOUS 4716201 HAS SOUPS 4714666 WITH SCORE 4742439.255
AT ITER 4601 NEW BEST:: SOT 30233502 SOS 27860981 HAS SOPS 27599440 HAS SOUS 4708017 HAS SOUPS 4706482 WITH SCORE 4734342.981
AT ITER 4608 NEW BEST:: SOT 30237026 SOS 27862140 HAS SOPS 27600253 HAS SOUS 4694661 HAS SOUPS 4693126 WITH SCORE 4720988.14
AT ITER 4628 NEW BEST:: SOT 30300933 SOS 27924965 HAS SOPS 27662861 HAS SOUS 4692048 HAS SOUPS 4690513 WITH SCORE 4718437.965
AT ITER 4633 NEW BEST:: SOT 30301785 SOS 27925817 HAS SOPS 27663713 HAS SOUS 4691196 HAS SOUPS 4689661 WITH SCORE 4717586.817
AT ITER 4634 NEW BEST:: SOT 30303829 SOS 27925236 HAS SOPS 27662986 HAS SOUS 4682574 HAS SOUPS 4681039 WITH SCORE 4708964.236
AT ITER 4641 NEW BEST:: SOT 30285979 SOS 27907386 HAS SOPS 27645136 HAS SOUS 4681524 HAS SOUPS 4679989 WITH SCORE 4707896.386
AT ITER 4650 NEW BEST:: SOT 30287585 SOS 27908626 HAS SOPS 27646376 HAS SOUS 4679572 HAS SOUPS 4678037 WITH SCORE 4705945.626
AT ITER 4662 NEW BEST:: SOT 30288929 SOS 27909404 HAS SOPS 27646962 HAS SOUS 4675231 HAS SOUPS 4673696 WITH SCORE 4701605.404
AT ITER 4667 NEW BEST:: SOT 30254436 SOS 27874911 HAS SOPS 27612469 HAS SOUS 4673202 HAS SOUPS 4671667 WITH SCORE 4699541.911
AT ITER 4670 NEW BEST:: SOT 30254436 SOS 27875204 HAS SOPS 27612762 HAS SOUS 4668591 HAS SOUPS 4667056 WITH SCORE 4694931.204
AT ITER 4675 NEW BEST:: SOT 30254257 SOS 27874944 HAS SOPS 27612502 HAS SOUS 4668152 HAS SOUPS 4666617 WITH SCORE 4694491.944
AT ITER 4685 NEW BEST:: SOT 30219849 SOS 27840536 HAS SOPS 27578094 HAS SOUS 4661896 HAS SOUPS 4660361 WITH SCORE 4688201.536
AT ITER 4690 NEW BEST:: SOT 30419973 SOS 28028915 HAS SOPS 27764538 HAS SOUS 4643636 HAS SOUPS 4642101 WITH SCORE 4670129.915
AT ITER 4702 NEW BEST:: SOT 30419466 SOS 28028179 HAS SOPS 27763802 HAS SOUS 4642142 HAS SOUPS 4640607 WITH SCORE 4668635.179
AT ITER 4709 NEW BEST:: SOT 30419514 SOS 28027309 HAS SOPS 27762924 HAS SOUS 4637540 HAS SOUPS 4636005 WITH SCORE 4664032.309
AT ITER 4712 NEW BEST:: SOT 30420668 SOS 28028463 HAS SOPS 27764078 HAS SOUS 4636668 HAS SOUPS 4635133 WITH SCORE 4663161.463
AT ITER 4714 NEW BEST:: SOT 30508302 SOS 28113297 HAS SOPS 27848695 HAS SOUS 4628929 HAS SOUPS 4627394 WITH SCORE 4655507.297
AT ITER 4744 NEW BEST:: SOT 30538371 SOS 28142096 HAS SOPS 27877148 HAS SOUS 4618802 HAS SOUPS 4617267 WITH SCORE 4645409.096
AT ITER 4748 NEW BEST:: SOT 30538371 SOS 28142096 HAS SOPS 27877148 HAS SOUS 4618801 HAS SOUPS 4617266 WITH SCORE 4645408.096
AT ITER 4753 NEW BEST:: SOT 30538371 SOS 28138211 HAS SOPS 27873263 HAS SOUS 4618579 HAS SOUPS 4617044 WITH SCORE 4645182.211
AT ITER 4758 NEW BEST:: SOT 30541167 SOS 28140186 HAS SOPS 27874030 HAS SOUS 4617807 HAS SOUPS 4616272 WITH SCORE 4644412.186
AT ITER 4763 NEW BEST:: SOT 30543649 SOS 28142668 HAS SOPS 27876512 HAS SOUS 4614727 HAS SOUPS 4613192 WITH SCORE 4641334.668
AT ITER 4767 NEW BEST:: SOT 30486919 SOS 28085938 HAS SOPS 27819812 HAS SOUS 4614757 HAS SOUPS 4613222 WITH SCORE 4641307.938
AT ITER 4769 NEW BEST:: SOT 30550390 SOS 28148027 HAS SOPS 27881555 HAS SOUS 4605462 HAS SOUPS 4603927 WITH SCORE 4632075.027
AT ITER 4770 NEW BEST:: SOT 30550390 SOS 28142919 HAS SOPS 27876447 HAS SOUS 4605172 HAS SOUPS 4603637 WITH SCORE 4631779.919
AT ITER 4779 NEW BEST:: SOT 30549999 SOS 28142528 HAS SOPS 27876056 HAS SOUS 4605149 HAS SOUPS 4603614 WITH SCORE 4631756.528
AT ITER 4780 NEW BEST:: SOT 30597042 SOS 28186911 HAS SOPS 27920222 HAS SOUS 4596347 HAS SOUPS 4594812 WITH SCORE 4622998.911
AT ITER 4788 NEW BEST:: SOT 30596040 SOS 28185909 HAS SOPS 27919220 HAS SOUS 4592960 HAS SOUPS 4591425 WITH SCORE 4619610.909
AT ITER 4796 NEW BEST:: SOT 30599410 SOS 28189279 HAS SOPS 27922590 HAS SOUS 4592789 HAS SOUPS 4591254 WITH SCORE 4619443.279
AT ITER 4799 NEW BEST:: SOT 30542870 SOS 28132739 HAS SOPS 27865385 HAS SOUS 4592124 HAS SOUPS 4590589 WITH SCORE 4618721.739
AT ITER 4805 NEW BEST:: SOT 30547392 SOS 28135045 HAS SOPS 27867474 HAS SOUS 4582457 HAS SOUPS 4580922 WITH SCORE 4609057.045
AT ITER 4819 NEW BEST:: SOT 30549426 SOS 28137079 HAS SOPS 27869508 HAS SOUS 4581369 HAS SOUPS 4579834 WITH SCORE 4607971.079
AT ITER 4823 NEW BEST:: SOT 30507472 SOS 28095125 HAS SOPS 27826943 HAS SOUS 4580242 HAS SOUPS 4578707 WITH SCORE 4606802.125
AT ITER 4829 NEW BEST:: SOT 30509270 SOS 28096923 HAS SOPS 27828741 HAS SOUS 4579971 HAS SOUPS 4578436 WITH SCORE 4606532.923
AT ITER 4841 NEW BEST:: SOT 30509270 SOS 28096867 HAS SOPS 27828685 HAS SOUS 4579803 HAS SOUPS 4578268 WITH SCORE 4606364.867
AT ITER 4848 NEW BEST:: SOT 30507110 SOS 28094707 HAS SOPS 27826525 HAS SOUS 4579803 HAS SOUPS 4578268 WITH SCORE 4606362.707
AT ITER 4850 NEW BEST:: SOT 30499052 SOS 28086649 HAS SOPS 27818467 HAS SOUS 4579329 HAS SOUPS 4577794 WITH SCORE 4605880.649
AT ITER 4855 NEW BEST:: SOT 30481491 SOS 28069088 HAS SOPS 27800906 HAS SOUS 4578296 HAS SOUPS 4576761 WITH SCORE 4604830.088
AT ITER 4877 NEW BEST:: SOT 30480301 SOS 28067898 HAS SOPS 27799716 HAS SOUS 4578226 HAS SOUPS 4576691 WITH SCORE 4604758.898
AT ITER 4892 NEW BEST:: SOT 30557888 SOS 28143761 HAS SOPS 27875362 HAS SOUS 4573596 HAS SOUPS 4572061 WITH SCORE 4600204.761
AT ITER 4898 NEW BEST:: SOT 30549660 SOS 28135533 HAS SOPS 27867134 HAS SOUS 4573112 HAS SOUPS 4571577 WITH SCORE 4599712.533
AT ITER 4907 NEW BEST:: SOT 30618656 SOS 28201972 HAS SOPS 27933227 HAS SOUS 4563954 HAS SOUPS 4562419 WITH SCORE 4590620.972
AT ITER 4914 NEW BEST:: SOT 30624807 SOS 28206355 HAS SOPS 27937393 HAS SOUS 4556760 HAS SOUPS 4555225 WITH SCORE 4583431.355
AT ITER 4921 NEW BEST:: SOT 30626658 SOS 28208156 HAS SOPS 27937986 HAS SOUS 4555654 HAS SOUPS 4554119 WITH SCORE 4582327.156
AT ITER 4926 NEW BEST:: SOT 30612939 SOS 28194437 HAS SOPS 27924267 HAS SOUS 4554847 HAS SOUPS 4553312 WITH SCORE 4581506.437
AT ITER 4962 NEW BEST:: SOT 30705141 SOS 28284086 HAS SOPS 28013570 HAS SOUS 4545570 HAS SOUPS 4544035 WITH SCORE 4572319.086
AT ITER 4965 NEW BEST:: SOT 30712038 SOS 28288641 HAS SOPS 28018350 HAS SOUS 4533768 HAS SOUPS 4532233 WITH SCORE 4560521.641
AT ITER 4968 NEW BEST:: SOT 30791235 SOS 28365081 HAS SOPS 28094444 HAS SOUS 4522670 HAS SOUPS 4521135 WITH SCORE 4549500.081
AT ITER 4982 NEW BEST:: SOT 30795270 SOS 28368775 HAS SOPS 28098138 HAS SOUS 4521596 HAS SOUPS 4520061 WITH SCORE 4548429.775
AT ITER 4998 NEW BEST:: SOT 30795109 SOS 28368614 HAS SOPS 28097977 HAS SOUS 4521274 HAS SOUPS 4519739 WITH SCORE 4548107.614
AT ITER 5006 NEW BEST:: SOT 30795109 SOS 28367669 HAS SOPS 28097032 HAS SOUS 4515147 HAS SOUPS 4513612 WITH SCORE 4541979.669
AT ITER 5009 NEW BEST:: SOT 30739403 SOS 28311963 HAS SOPS 28041375 HAS SOUS 4515196 HAS SOUPS 4513661 WITH SCORE 4541972.963
AT ITER 5012 NEW BEST:: SOT 30790356 SOS 28361662 HAS SOPS 28090728 HAS SOUS 4505913 HAS SOUPS 4504378 WITH SCORE 4532739.662
AT ITER 5024 NEW BEST:: SOT 30790356 SOS 28361662 HAS SOPS 28090728 HAS SOUS 4505910 HAS SOUPS 4504375 WITH SCORE 4532736.662
AT ITER 5036 NEW BEST:: SOT 30790356 SOS 28361662 HAS SOPS 28090728 HAS SOUS 4505886 HAS SOUPS 4504351 WITH SCORE 4532712.662
AT ITER 5045 NEW BEST:: SOT 30776501 SOS 28347807 HAS SOPS 28076188 HAS SOUS 4505201 HAS SOUPS 4503666 WITH SCORE 4532013.807
AT ITER 5048 NEW BEST:: SOT 30842268 SOS 28411277 HAS SOPS 28139312 HAS SOUS 4494339 HAS SOUPS 4492804 WITH SCORE 4521215.277
AT ITER 5065 NEW BEST:: SOT 30951368 SOS 28520377 HAS SOPS 28247883 HAS SOUS 4493810 HAS SOUPS 4492275 WITH SCORE 4520795.377
AT ITER 5086 NEW BEST:: SOT 30951368 SOS 28519701 HAS SOPS 28247207 HAS SOUS 4489622 HAS SOUPS 4488087 WITH SCORE 4516606.701
AT ITER 5094 NEW BEST:: SOT 30954478 SOS 28522811 HAS SOPS 28250317 HAS SOUS 4488877 HAS SOUPS 4487342 WITH SCORE 4515864.811
AT ITER 5104 NEW BEST:: SOT 30954340 SOS 28521648 HAS SOPS 28249016 HAS SOUS 4488516 HAS SOUPS 4486981 WITH SCORE 4515502.648
AT ITER 5114 NEW BEST:: SOT 30986415 SOS 28551962 HAS SOPS 28278984 HAS SOUS 4477150 HAS SOUPS 4475615 WITH SCORE 4504166.962
AT ITER 5117 NEW BEST:: SOT 31013209 SOS 28448941 HAS SOPS 28135931 HAS SOUS 4413665 HAS SOUPS 4412130 WITH SCORE 4440578.941
AT ITER 5119 NEW BEST:: SOT 31016580 SOS 28452129 HAS SOPS 28139119 HAS SOUS 4412928 HAS SOUPS 4411393 WITH SCORE 4439845.129
AT ITER 5137 NEW BEST:: SOT 31095501 SOS 28528049 HAS SOPS 28214453 HAS SOUS 4405225 HAS SOUPS 4403690 WITH SCORE 4432218.049
AT ITER 5141 NEW BEST:: SOT 31095501 SOS 28527521 HAS SOPS 28213925 HAS SOUS 4404697 HAS SOUPS 4403162 WITH SCORE 4431689.521
AT ITER 5142 NEW BEST:: SOT 31095250 SOS 28527270 HAS SOPS 28213674 HAS SOUS 4403507 HAS SOUPS 4401972 WITH SCORE 4430499.27
AT ITER 5152 NEW BEST:: SOT 31095250 SOS 28524988 HAS SOPS 28211392 HAS SOUS 4394921 HAS SOUPS 4393386 WITH SCORE 4421910.988
AT ITER 5162 NEW BEST:: SOT 31113289 SOS 28541407 HAS SOPS 28227594 HAS SOUS 4389850 HAS SOUPS 4388315 WITH SCORE 4416856.407
AT ITER 5163 NEW BEST:: SOT 31139390 SOS 28564921 HAS SOPS 28251730 HAS SOUS 4378323 HAS SOUPS 4376788 WITH SCORE 4405352.921
AT ITER 5184 NEW BEST:: SOT 31128646 SOS 28554177 HAS SOPS 28240986 HAS SOUS 4377691 HAS SOUPS 4376156 WITH SCORE 4404710.177
AT ITER 5190 NEW BEST:: SOT 31214148 SOS 28637603 HAS SOPS 28323826 HAS SOUS 4372825 HAS SOUPS 4371290 WITH SCORE 4399927.603
AT ITER 5198 NEW BEST:: SOT 31214148 SOS 28637629 HAS SOPS 28323852 HAS SOUS 4372312 HAS SOUPS 4370777 WITH SCORE 4399414.629
AT ITER 5199 NEW BEST:: SOT 31166882 SOS 28590363 HAS SOPS 28275595 HAS SOUS 4371321 HAS SOUPS 4369786 WITH SCORE 4398376.363
AT ITER 5201 NEW BEST:: SOT 31165850 SOS 28589331 HAS SOPS 28274563 HAS SOUS 4370191 HAS SOUPS 4368656 WITH SCORE 4397245.331
AT ITER 5202 NEW BEST:: SOT 31143410 SOS 28566891 HAS SOPS 28252123 HAS SOUS 4368871 HAS SOUPS 4367336 WITH SCORE 4395902.891
AT ITER 5205 NEW BEST:: SOT 31142212 SOS 28565693 HAS SOPS 28250925 HAS SOUS 4366699 HAS SOUPS 4365164 WITH SCORE 4393729.693
AT ITER 5207 NEW BEST:: SOT 31144163 SOS 28567644 HAS SOPS 28252876 HAS SOUS 4365884 HAS SOUPS 4364349 WITH SCORE 4392916.644
AT ITER 5221 NEW BEST:: SOT 31147797 SOS 28571278 HAS SOPS 28256510 HAS SOUS 4363631 HAS SOUPS 4362096 WITH SCORE 4390667.278
AT ITER 5223 NEW BEST:: SOT 31150117 SOS 28572271 HAS SOPS 28256482 HAS SOUS 4360364 HAS SOUPS 4358829 WITH SCORE 4387401.271
AT ITER 5228 NEW BEST:: SOT 31159942 SOS 28578213 HAS SOPS 28261838 HAS SOUS 4348960 HAS SOUPS 4347425 WITH SCORE 4376003.213
AT ITER 5236 NEW BEST:: SOT 31159703 SOS 28577974 HAS SOPS 28261599 HAS SOUS 4348482 HAS SOUPS 4346947 WITH SCORE 4375524.974
AT ITER 5237 NEW BEST:: SOT 31188020 SOS 28603775 HAS SOPS 28287183 HAS SOUS 4337745 HAS SOUPS 4336210 WITH SCORE 4364813.775
AT ITER 5244 NEW BEST:: SOT 31158366 SOS 28574121 HAS SOPS 28256945 HAS SOUS 4336711 HAS SOUPS 4335176 WITH SCORE 4363750.121
AT ITER 5250 NEW BEST:: SOT 31161554 SOS 28577309 HAS SOPS 28260133 HAS SOUS 4335992 HAS SOUPS 4334457 WITH SCORE 4363034.309
AT ITER 5260 NEW BEST:: SOT 31229319 SOS 28643190 HAS SOPS 28325428 HAS SOUS 4328326 HAS SOUPS 4326791 WITH SCORE 4355434.19
AT ITER 5262 NEW BEST:: SOT 31227823 SOS 28641694 HAS SOPS 28323932 HAS SOUS 4328238 HAS SOUPS 4326703 WITH SCORE 4355344.694
AT ITER 5264 NEW BEST:: SOT 31229323 SOS 28643194 HAS SOPS 28325432 HAS SOUS 4328210 HAS SOUPS 4326675 WITH SCORE 4355318.194
AT ITER 5266 NEW BEST:: SOT 31229297 SOS 28643168 HAS SOPS 28325406 HAS SOUS 4328184 HAS SOUPS 4326649 WITH SCORE 4355292.168
AT ITER 5269 NEW BEST:: SOT 31229297 SOS 28614881 HAS SOPS 28297119 HAS SOUS 4326903 HAS SOUPS 4325368 WITH SCORE 4353982.881
AT ITER 5281 NEW BEST:: SOT 31232985 SOS 28618569 HAS SOPS 28300807 HAS SOUS 4325422 HAS SOUPS 4323887 WITH SCORE 4352505.569
AT ITER 5286 NEW BEST:: SOT 31234557 SOS 28620141 HAS SOPS 28302379 HAS SOUS 4324262 HAS SOUPS 4322727 WITH SCORE 4351347.141
AT ITER 5288 NEW BEST:: SOT 31236275 SOS 28621859 HAS SOPS 28304097 HAS SOUS 4323917 HAS SOUPS 4322382 WITH SCORE 4351003.859
AT ITER 5298 NEW BEST:: SOT 31223678 SOS 28609262 HAS SOPS 28291500 HAS SOUS 4323176 HAS SOUPS 4321641 WITH SCORE 4350250.262
AT ITER 5306 NEW BEST:: SOT 31223678 SOS 28609262 HAS SOPS 28291500 HAS SOUS 4322675 HAS SOUPS 4321140 WITH SCORE 4349749.262
AT ITER 5315 NEW BEST:: SOT 31289705 SOS 28673240 HAS SOPS 28354892 HAS SOUS 4314338 HAS SOUPS 4312803 WITH SCORE 4341476.24
AT ITER 5318 NEW BEST:: SOT 31289357 SOS 28672892 HAS SOPS 28354544 HAS SOUS 4313642 HAS SOUPS 4312107 WITH SCORE 4340779.892
AT ITER 5347 NEW BEST:: SOT 31377834 SOS 28759101 HAS SOPS 28440167 HAS SOUS 4306045 HAS SOUPS 4304510 WITH SCORE 4333269.101
AT ITER 5359 NEW BEST:: SOT 31377611 SOS 28758878 HAS SOPS 28439944 HAS SOUS 4305434 HAS SOUPS 4303899 WITH SCORE 4332657.878
AT ITER 5365 NEW BEST:: SOT 31377611 SOS 28756191 HAS SOPS 28437257 HAS SOUS 4296231 HAS SOUPS 4294696 WITH SCORE 4323452.191
AT ITER 5368 NEW BEST:: SOT 31321817 SOS 28700397 HAS SOPS 28381461 HAS SOUS 4292742 HAS SOUPS 4291207 WITH SCORE 4319907.397
AT ITER 5383 NEW BEST:: SOT 31322712 SOS 28701292 HAS SOPS 28382356 HAS SOUS 4292178 HAS SOUPS 4290643 WITH SCORE 4319344.292
AT ITER 5396 NEW BEST:: SOT 31322662 SOS 28701242 HAS SOPS 28382306 HAS SOUS 4292128 HAS SOUPS 4290593 WITH SCORE 4319294.242
AT ITER 5398 NEW BEST:: SOT 31325384 SOS 28703964 HAS SOPS 28385028 HAS SOUS 4289365 HAS SOUPS 4287830 WITH SCORE 4316533.964
AT ITER 5400 NEW BEST:: SOT 31325163 SOS 28703743 HAS SOPS 28384807 HAS SOUS 4288554 HAS SOUPS 4287019 WITH SCORE 4315722.743
AT ITER 5405 NEW BEST:: SOT 31326502 SOS 28705082 HAS SOPS 28385557 HAS SOUS 4288542 HAS SOUPS 4287007 WITH SCORE 4315712.082
AT ITER 5409 NEW BEST:: SOT 31332523 SOS 28709969 HAS SOPS 28389236 HAS SOUS 4287200 HAS SOUPS 4285665 WITH SCORE 4314374.969
AT ITER 5418 NEW BEST:: SOT 31319756 SOS 28697202 HAS SOPS 28376469 HAS SOUS 4286449 HAS SOUPS 4284914 WITH SCORE 4313611.202
AT ITER 5425 NEW BEST:: SOT 31282509 SOS 28659955 HAS SOPS 28339222 HAS SOUS 4284258 HAS SOUPS 4282723 WITH SCORE 4311382.955
AT ITER 5426 NEW BEST:: SOT 31275964 SOS 28653410 HAS SOPS 28332677 HAS SOUS 4283873 HAS SOUPS 4282338 WITH SCORE 4310991.41
AT ITER 5434 NEW BEST:: SOT 31285906 SOS 28663236 HAS SOPS 28342286 HAS SOUS 4283110 HAS SOUPS 4281575 WITH SCORE 4310238.236
AT ITER 5446 NEW BEST:: SOT 31285447 SOS 28662586 HAS SOPS 28341636 HAS SOUS 4282192 HAS SOUPS 4280657 WITH SCORE 4309319.586
AT ITER 5465 NEW BEST:: SOT 31261893 SOS 28639032 HAS SOPS 28317178 HAS SOUS 4281288 HAS SOUPS 4279753 WITH SCORE 4308392.032
AT ITER 5468 NEW BEST:: SOT 31300060 SOS 28673422 HAS SOPS 28351351 HAS SOUS 4269833 HAS SOUPS 4268298 WITH SCORE 4296971.422
AT ITER 5493 NEW BEST:: SOT 31304169 SOS 28677531 HAS SOPS 28354947 HAS SOUS 4269733 HAS SOUPS 4268198 WITH SCORE 4296875.531
AT ITER 5502 NEW BEST:: SOT 31284364 SOS 28657726 HAS SOPS 28335142 HAS SOUS 4268568 HAS SOUPS 4267033 WITH SCORE 4295690.726
AT ITER 5549 NEW BEST:: SOT 31348628 SOS 28718478 HAS SOPS 28395677 HAS SOUS 4257386 HAS SOUPS 4255851 WITH SCORE 4284569.478
AT ITER 5556 NEW BEST:: SOT 31351757 SOS 28721607 HAS SOPS 28398806 HAS SOUS 4256393 HAS SOUPS 4254858 WITH SCORE 4283579.607
AT ITER 5561 NEW BEST:: SOT 31413137 SOS 28780023 HAS SOPS 28457005 HAS SOUS 4244940 HAS SOUPS 4243405 WITH SCORE 4272185.023
AT ITER 5562 NEW BEST:: SOT 31454978 SOS 28820611 HAS SOPS 28497376 HAS SOUS 4240072 HAS SOUPS 4238537 WITH SCORE 4267357.611
AT ITER 5567 NEW BEST:: SOT 31441956 SOS 28807589 HAS SOPS 28484354 HAS SOUS 4239306 HAS SOUPS 4237771 WITH SCORE 4266578.589
AT ITER 5568 NEW BEST:: SOT 31445563 SOS 28811196 HAS SOPS 28487961 HAS SOUS 4236876 HAS SOUPS 4235341 WITH SCORE 4264152.196
AT ITER 5586 NEW BEST:: SOT 31445563 SOS 28808864 HAS SOPS 28485629 HAS SOUS 4226569 HAS SOUPS 4225034 WITH SCORE 4253842.864
AT ITER 5587 NEW BEST:: SOT 31445563 SOS 28808864 HAS SOPS 28485629 HAS SOUS 4226385 HAS SOUPS 4224850 WITH SCORE 4253658.864
AT ITER 5591 NEW BEST:: SOT 31446097 SOS 28809398 HAS SOPS 28486163 HAS SOUS 4226383 HAS SOUPS 4224848 WITH SCORE 4253657.398
AT ITER 5602 NEW BEST:: SOT 31414952 SOS 28778253 HAS SOPS 28455018 HAS SOUS 4224645 HAS SOUPS 4223110 WITH SCORE 4251888.253
AT ITER 5606 NEW BEST:: SOT 31477417 SOS 28838526 HAS SOPS 28515074 HAS SOUS 4215919 HAS SOUPS 4214384 WITH SCORE 4243222.526
AT ITER 5613 NEW BEST:: SOT 31482397 SOS 28843506 HAS SOPS 28520054 HAS SOUS 4215347 HAS SOUPS 4213812 WITH SCORE 4242655.506
AT ITER 5614 NEW BEST:: SOT 31522330 SOS 28879628 HAS SOPS 28555590 HAS SOUS 4203440 HAS SOUPS 4201905 WITH SCORE 4230784.628
AT ITER 5620 NEW BEST:: SOT 31521202 SOS 28878500 HAS SOPS 28554462 HAS SOUS 4200168 HAS SOUPS 4198633 WITH SCORE 4227511.5
AT ITER 5625 NEW BEST:: SOT 31579951 SOS 28937249 HAS SOPS 28613019 HAS SOUS 4197348 HAS SOUPS 4195813 WITH SCORE 4224750.249
AT ITER 5628 NEW BEST:: SOT 31581008 SOS 28938306 HAS SOPS 28614076 HAS SOUS 4197039 HAS SOUPS 4195504 WITH SCORE 4224442.306
AT ITER 5632 NEW BEST:: SOT 31566779 SOS 28924077 HAS SOPS 28599847 HAS SOUS 4196202 HAS SOUPS 4194667 WITH SCORE 4223591.077
AT ITER 5636 NEW BEST:: SOT 31564876 SOS 28922174 HAS SOPS 28597944 HAS SOUS 4195030 HAS SOUPS 4193495 WITH SCORE 4222417.174
AT ITER 5644 NEW BEST:: SOT 31569185 SOS 28926483 HAS SOPS 28602253 HAS SOUS 4194334 HAS SOUPS 4192799 WITH SCORE 4221725.483
AT ITER 5659 NEW BEST:: SOT 31639358 SOS 28994672 HAS SOPS 28670225 HAS SOUS 4186539 HAS SOUPS 4185004 WITH SCORE 4213998.672
AT ITER 5667 NEW BEST:: SOT 31638435 SOS 28993749 HAS SOPS 28668379 HAS SOUS 4185616 HAS SOUPS 4184081 WITH SCORE 4213074.749
AT ITER 5671 NEW BEST:: SOT 31606305 SOS 28961619 HAS SOPS 28636249 HAS SOUS 4183726 HAS SOUPS 4182191 WITH SCORE 4211152.619
AT ITER 5678 NEW BEST:: SOT 31568089 SOS 28923403 HAS SOPS 28598033 HAS SOUS 4181478 HAS SOUPS 4179943 WITH SCORE 4208866.403
AT ITER 5679 NEW BEST:: SOT 31616964 SOS 28970040 HAS SOPS 28644084 HAS SOUS 4171585 HAS SOUPS 4170050 WITH SCORE 4199020.04
AT ITER 5692 NEW BEST:: SOT 31651495 SOS 29003930 HAS SOPS 28677757 HAS SOUS 4169582 HAS SOUPS 4168047 WITH SCORE 4197050.93
AT ITER 5713 NEW BEST:: SOT 31656348 SOS 29008783 HAS SOPS 28682610 HAS SOUS 4169282 HAS SOUPS 4167747 WITH SCORE 4196755.783
AT ITER 5718 NEW BEST:: SOT 31658066 SOS 29010501 HAS SOPS 28684328 HAS SOUS 4166709 HAS SOUPS 4165174 WITH SCORE 4194184.501
AT ITER 5724 NEW BEST:: SOT 31680893 SOS 29031616 HAS SOPS 28705226 HAS SOUS 4158828 HAS SOUPS 4157293 WITH SCORE 4186324.616
AT ITER 5727 NEW BEST:: SOT 31680603 SOS 29031326 HAS SOPS 28704936 HAS SOUS 4158094 HAS SOUPS 4156559 WITH SCORE 4185590.326
AT ITER 5730 NEW BEST:: SOT 31680276 SOS 29030709 HAS SOPS 28704319 HAS SOUS 4157440 HAS SOUPS 4155905 WITH SCORE 4184935.709
AT ITER 5743 NEW BEST:: SOT 31663157 SOS 29013590 HAS SOPS 28687200 HAS SOUS 4156433 HAS SOUPS 4154898 WITH SCORE 4183911.59
AT ITER 5770 NEW BEST:: SOT 31717627 SOS 29067251 HAS SOPS 28740644 HAS SOUS 4152351 HAS SOUPS 4150816 WITH SCORE 4179883.251
AT ITER 5779 NEW BEST:: SOT 31732521 SOS 29078662 HAS SOPS 28751469 HAS SOUS 4138471 HAS SOUPS 4136936 WITH SCORE 4166014.662
AT ITER 5787 NEW BEST:: SOT 31732521 SOS 29075235 HAS SOPS 28748042 HAS SOUS 4127702 HAS SOUPS 4126167 WITH SCORE 4155242.235
AT ITER 5802 NEW BEST:: SOT 31771494 SOS 29111441 HAS SOPS 28783662 HAS SOUS 4116648 HAS SOUPS 4115113 WITH SCORE 4144224.441
AT ITER 5809 NEW BEST:: SOT 31830969 SOS 29168405 HAS SOPS 28840040 HAS SOUS 4107471 HAS SOUPS 4105936 WITH SCORE 4135104.405
AT ITER 5812 NEW BEST:: SOT 31835690 SOS 29173126 HAS SOPS 28844761 HAS SOUS 4106988 HAS SOUPS 4105453 WITH SCORE 4134626.126
AT ITER 5818 NEW BEST:: SOT 31795468 SOS 29132904 HAS SOPS 28804539 HAS SOUS 4104622 HAS SOUPS 4103087 WITH SCORE 4132219.904
AT ITER 5825 NEW BEST:: SOT 31788311 SOS 29125747 HAS SOPS 28797382 HAS SOUS 4104201 HAS SOUPS 4102666 WITH SCORE 4131791.747
AT ITER 5828 NEW BEST:: SOT 31788311 SOS 29124461 HAS SOPS 28796096 HAS SOUS 4103292 HAS SOUPS 4101757 WITH SCORE 4130881.461
AT ITER 5834 NEW BEST:: SOT 31750078 SOS 29086228 HAS SOPS 28757863 HAS SOUS 4101043 HAS SOUPS 4099508 WITH SCORE 4128594.228
AT ITER 5839 NEW BEST:: SOT 31750429 SOS 29086579 HAS SOPS 28758214 HAS SOUS 4100692 HAS SOUPS 4099157 WITH SCORE 4128243.579
AT ITER 5852 NEW BEST:: SOT 31753336 SOS 29089486 HAS SOPS 28761121 HAS SOUS 4100094 HAS SOUPS 4098559 WITH SCORE 4127648.486
AT ITER 5857 NEW BEST:: SOT 31754531 SOS 29090681 HAS SOPS 28762316 HAS SOUS 4098899 HAS SOUPS 4097364 WITH SCORE 4126454.681
AT ITER 5859 NEW BEST:: SOT 31843247 SOS 29177429 HAS SOPS 28848847 HAS SOUS 4092243 HAS SOUPS 4090708 WITH SCORE 4119885.429
AT ITER 5887 NEW BEST:: SOT 31843247 SOS 29177429 HAS SOPS 28848847 HAS SOUS 4091527 HAS SOUPS 4089992 WITH SCORE 4119169.429
AT ITER 5893 NEW BEST:: SOT 31842695 SOS 29176877 HAS SOPS 28848295 HAS SOUS 4091251 HAS SOUPS 4089716 WITH SCORE 4118892.877
AT ITER 5907 NEW BEST:: SOT 31905032 SOS 29237120 HAS SOPS 28907952 HAS SOUS 4082503 HAS SOUPS 4080968 WITH SCORE 4110205.12
AT ITER 5909 NEW BEST:: SOT 31906462 SOS 29236116 HAS SOPS 28906608 HAS SOUS 4072869 HAS SOUPS 4071334 WITH SCORE 4100570.116
AT ITER 5912 NEW BEST:: SOT 31906236 SOS 29235890 HAS SOPS 28906382 HAS SOUS 4072416 HAS SOUPS 4070881 WITH SCORE 4100116.89
AT ITER 5915 NEW BEST:: SOT 31927739 SOS 29255865 HAS SOPS 28926140 HAS SOUS 4065237 HAS SOUPS 4063702 WITH SCORE 4092957.865
AT ITER 5929 NEW BEST:: SOT 31995155 SOS 29321883 HAS SOPS 28991572 HAS SOUS 4060920 HAS SOUPS 4059385 WITH SCORE 4088706.883
AT ITER 5936 NEW BEST:: SOT 32048347 SOS 29373236 HAS SOPS 29042339 HAS SOUS 4052515 HAS SOUPS 4050980 WITH SCORE 4080353.236
AT ITER 5967 NEW BEST:: SOT 32051758 SOS 29376647 HAS SOPS 29045750 HAS SOUS 4051345 HAS SOUPS 4049810 WITH SCORE 4079186.647
AT ITER 5973 NEW BEST:: SOT 32110127 SOS 29432461 HAS SOPS 29100978 HAS SOUS 4041980 HAS SOUPS 4040445 WITH SCORE 4069877.461
AT ITER 5981 NEW BEST:: SOT 32110127 SOS 29432239 HAS SOPS 29100756 HAS SOUS 4041746 HAS SOUPS 4040211 WITH SCORE 4069643.239
AT ITER 5984 NEW BEST:: SOT 32112147 SOS 29459742 HAS SOPS 29127673 HAS SOUS 4030830 HAS SOUPS 4029295 WITH SCORE 4058754.742
AT ITER 5998 NEW BEST:: SOT 32112563 SOS 29460158 HAS SOPS 29128089 HAS SOUS 4030804 HAS SOUPS 4029269 WITH SCORE 4058729.158
AT ITER 6026 NEW BEST:: SOT 32070675 SOS 29418270 HAS SOPS 29086201 HAS SOUS 4028340 HAS SOUPS 4026805 WITH SCORE 4056223.27
AT ITER 6031 NEW BEST:: SOT 32070648 SOS 29418243 HAS SOPS 29086174 HAS SOUS 4028288 HAS SOUPS 4026753 WITH SCORE 4056171.243
AT ITER 6034 NEW BEST:: SOT 32129812 SOS 29475207 HAS SOPS 29142921 HAS SOUS 4021260 HAS SOUPS 4019725 WITH SCORE 4049200.207
AT ITER 6035 NEW BEST:: SOT 32162051 SOS 29505190 HAS SOPS 29172687 HAS SOUS 4010565 HAS SOUPS 4009030 WITH SCORE 4038535.19
AT ITER 6040 NEW BEST:: SOT 32204135 SOS 29545192 HAS SOPS 29212103 HAS SOUS 4002527 HAS SOUPS 4000992 WITH SCORE 4030537.192
AT ITER 6042 NEW BEST:: SOT 32208260 SOS 29549317 HAS SOPS 29216228 HAS SOUS 4000443 HAS SOUPS 3998908 WITH SCORE 4028457.317
AT ITER 6051 NEW BEST:: SOT 32210214 SOS 29550735 HAS SOPS 29216557 HAS SOUS 3995938 HAS SOUPS 3994403 WITH SCORE 4023953.735
AT ITER 6055 NEW BEST:: SOT 32210223 SOS 29550767 HAS SOPS 29216944 HAS SOUS 3995569 HAS SOUPS 3994034 WITH SCORE 4023584.767
AT ITER 6056 NEW BEST:: SOT 32298660 SOS 29635637 HAS SOPS 29301228 HAS SOUS 3982309 HAS SOUPS 3980774 WITH SCORE 4010409.637
AT ITER 6058 NEW BEST:: SOT 32298660 SOS 29634253 HAS SOPS 29299844 HAS SOUS 3977465 HAS SOUPS 3975930 WITH SCORE 4005564.253
AT ITER 6059 NEW BEST:: SOT 32354645 SOS 29686766 HAS SOPS 29352140 HAS SOUS 3965925 HAS SOUPS 3964390 WITH SCORE 3994076.766
AT ITER 6100 NEW BEST:: SOT 32337695 SOS 29669816 HAS SOPS 29335190 HAS SOUS 3965247 HAS SOUPS 3963712 WITH SCORE 3993381.816
AT ITER 6109 NEW BEST:: SOT 32375864 SOS 29704757 HAS SOPS 29369914 HAS SOUS 3953374 HAS SOUPS 3951839 WITH SCORE 3981543.757
AT ITER 6112 NEW BEST:: SOT 32406881 SOS 29734019 HAS SOPS 29398590 HAS SOUS 3946273 HAS SOUPS 3944738 WITH SCORE 3974472.019
AT ITER 6120 NEW BEST:: SOT 32410627 SOS 29737765 HAS SOPS 29402336 HAS SOUS 3946247 HAS SOUPS 3944712 WITH SCORE 3974449.765
AT ITER 6133 NEW BEST:: SOT 32410613 SOS 29737751 HAS SOPS 29402322 HAS SOUS 3946050 HAS SOUPS 3944515 WITH SCORE 3974252.751
AT ITER 6135 NEW BEST:: SOT 32410713 SOS 29708240 HAS SOPS 29372811 HAS SOUS 3942192 HAS SOUPS 3940657 WITH SCORE 3970365.24
AT ITER 6136 NEW BEST:: SOT 32365918 SOS 29663445 HAS SOPS 29328016 HAS SOUS 3939557 HAS SOUPS 3938022 WITH SCORE 3967685.445
AT ITER 6152 NEW BEST:: SOT 32358761 SOS 29656288 HAS SOPS 29320859 HAS SOUS 3939136 HAS SOUPS 3937601 WITH SCORE 3967257.288
AT ITER 6163 NEW BEST:: SOT 32358761 SOS 29655007 HAS SOPS 29319578 HAS SOUS 3934016 HAS SOUPS 3932481 WITH SCORE 3962136.007
AT ITER 6168 NEW BEST:: SOT 32360635 SOS 29656881 HAS SOPS 29321452 HAS SOUS 3931614 HAS SOUPS 3930079 WITH SCORE 3959735.881
AT ITER 6176 NEW BEST:: SOT 32360808 SOS 29657498 HAS SOPS 29322428 HAS SOUS 3931489 HAS SOUPS 3929954 WITH SCORE 3959611.498
AT ITER 6180 NEW BEST:: SOT 32360582 SOS 29657272 HAS SOPS 29322202 HAS SOUS 3931037 HAS SOUPS 3929502 WITH SCORE 3959159.272
AT ITER 6183 NEW BEST:: SOT 32382657 SOS 29675491 HAS SOPS 29339835 HAS SOUS 3917125 HAS SOUPS 3915590 WITH SCORE 3945265.491
AT ITER 6185 NEW BEST:: SOT 32335448 SOS 29628282 HAS SOPS 29292626 HAS SOUS 3914348 HAS SOUPS 3912813 WITH SCORE 3942441.282
AT ITER 6191 NEW BEST:: SOT 32335381 SOS 29628215 HAS SOPS 29292559 HAS SOUS 3914281 HAS SOUPS 3912746 WITH SCORE 3942374.215
AT ITER 6213 NEW BEST:: SOT 32305411 SOS 29598245 HAS SOPS 29262589 HAS SOUS 3914281 HAS SOUPS 3912746 WITH SCORE 3942344.245
AT ITER 6225 NEW BEST:: SOT 32309947 SOS 29601787 HAS SOPS 29264923 HAS SOUS 3913894 HAS SOUPS 3912359 WITH SCORE 3941960.787
AT ITER 6240 NEW BEST:: SOT 32380790 SOS 29669354 HAS SOPS 29332273 HAS SOUS 3903788 HAS SOUPS 3902253 WITH SCORE 3931922.354
AT ITER 6257 NEW BEST:: SOT 32380790 SOS 29667385 HAS SOPS 29330304 HAS SOUS 3895767 HAS SOUPS 3894232 WITH SCORE 3923899.385
AT ITER 6260 NEW BEST:: SOT 32383090 SOS 29669685 HAS SOPS 29332604 HAS SOUS 3895706 HAS SOUPS 3894171 WITH SCORE 3923840.685
AT ITER 6269 NEW BEST:: SOT 32383310 SOS 29669905 HAS SOPS 29332320 HAS SOUS 3895084 HAS SOUPS 3893549 WITH SCORE 3923218.905
AT ITER 6282 NEW BEST:: SOT 32385122 SOS 29671717 HAS SOPS 29334132 HAS SOUS 3894033 HAS SOUPS 3892498 WITH SCORE 3922169.717
AT ITER 6284 NEW BEST:: SOT 32372492 SOS 29659087 HAS SOPS 29321502 HAS SOUS 3894033 HAS SOUPS 3892498 WITH SCORE 3922157.087
AT ITER 6285 NEW BEST:: SOT 32374897 SOS 29661429 HAS SOPS 29323844 HAS SOUS 3889532 HAS SOUPS 3887997 WITH SCORE 3917658.429
AT ITER 6289 NEW BEST:: SOT 32373537 SOS 29660069 HAS SOPS 29322484 HAS SOUS 3889452 HAS SOUPS 3887917 WITH SCORE 3917577.069
AT ITER 6290 NEW BEST:: SOT 32375319 SOS 29661851 HAS SOPS 29324266 HAS SOUS 3888879 HAS SOUPS 3887344 WITH SCORE 3917005.851
AT ITER 6295 NEW BEST:: SOT 32378045 SOS 29664577 HAS SOPS 29326992 HAS SOUS 3888316 HAS SOUPS 3886781 WITH SCORE 3916445.577
AT ITER 6305 NEW BEST:: SOT 32381548 SOS 29668080 HAS SOPS 29330495 HAS SOUS 3887192 HAS SOUPS 3885657 WITH SCORE 3915325.08
AT ITER 6307 NEW BEST:: SOT 32381548 SOS 29656691 HAS SOPS 29319106 HAS SOUS 3861803 HAS SOUPS 3860268 WITH SCORE 3889924.691
AT ITER 6318 NEW BEST:: SOT 32385751 SOS 29660894 HAS SOPS 29323309 HAS SOUS 3861727 HAS SOUPS 3860192 WITH SCORE 3889852.894
AT ITER 6324 NEW BEST:: SOT 32377591 SOS 29652734 HAS SOPS 29315149 HAS SOUS 3861247 HAS SOUPS 3859712 WITH SCORE 3889364.734
AT ITER 6325 NEW BEST:: SOT 32377703 SOS 29652846 HAS SOPS 29315261 HAS SOUS 3861240 HAS SOUPS 3859705 WITH SCORE 3889357.846
AT ITER 6345 NEW BEST:: SOT 32377093 SOS 29652236 HAS SOPS 29314651 HAS SOUS 3861240 HAS SOUPS 3859705 WITH SCORE 3889357.236
AT ITER 6364 NEW BEST:: SOT 32378064 SOS 29653207 HAS SOPS 29315622 HAS SOUS 3860269 HAS SOUPS 3858734 WITH SCORE 3888387.207
AT ITER 6369 NEW BEST:: SOT 32380495 SOS 29655638 HAS SOPS 29318053 HAS SOUS 3859905 HAS SOUPS 3858370 WITH SCORE 3888025.638
AT ITER 6371 NEW BEST:: SOT 32383942 SOS 29659085 HAS SOPS 29321500 HAS SOUS 3859694 HAS SOUPS 3858159 WITH SCORE 3887818.085
AT ITER 6378 NEW BEST:: SOT 32390572 SOS 29665715 HAS SOPS 29328130 HAS SOUS 3859149 HAS SOUPS 3857614 WITH SCORE 3887279.715
AT ITER 6380 NEW BEST:: SOT 32480632 SOS 29752799 HAS SOPS 29414628 HAS SOUS 3851697 HAS SOUPS 3850162 WITH SCORE 3879914.799
AT ITER 6385 NEW BEST:: SOT 32489716 SOS 29761883 HAS SOPS 29423712 HAS SOUS 3851451 HAS SOUPS 3849916 WITH SCORE 3879677.883
AT ITER 6386 NEW BEST:: SOT 32489409 SOS 29761576 HAS SOPS 29423405 HAS SOUS 3850837 HAS SOUPS 3849302 WITH SCORE 3879063.576
AT ITER 6410 NEW BEST:: SOT 32508392 SOS 29778291 HAS SOPS 29439903 HAS SOUS 3841848 HAS SOUPS 3840313 WITH SCORE 3870091.291
AT ITER 6417 NEW BEST:: SOT 32508553 SOS 29778452 HAS SOPS 29440064 HAS SOUS 3841687 HAS SOUPS 3840152 WITH SCORE 3869930.452
AT ITER 6419 NEW BEST:: SOT 32583901 SOS 29851880 HAS SOPS 29513275 HAS SOUS 3836621 HAS SOUPS 3835086 WITH SCORE 3864937.88
AT ITER 6469 NEW BEST:: SOT 32605863 SOS 29871285 HAS SOPS 29532094 HAS SOUS 3825156 HAS SOUPS 3823621 WITH SCORE 3853492.285
AT ITER 6470 NEW BEST:: SOT 32604901 SOS 29870323 HAS SOPS 29530955 HAS SOUS 3823561 HAS SOUPS 3822026 WITH SCORE 3851896.323
AT ITER 6471 NEW BEST:: SOT 32604901 SOS 29868089 HAS SOPS 29528721 HAS SOUS 3814099 HAS SOUPS 3812564 WITH SCORE 3842432.089
AT ITER 6477 NEW BEST:: SOT 32644945 SOS 29905130 HAS SOPS 29565176 HAS SOUS 3802427 HAS SOUPS 3800892 WITH SCORE 3830797.13
AT ITER 6488 NEW BEST:: SOT 32597838 SOS 29858023 HAS SOPS 29518069 HAS SOUS 3799656 HAS SOUPS 3798121 WITH SCORE 3827979.023
AT ITER 6489 NEW BEST:: SOT 32578716 SOS 29838901 HAS SOPS 29498998 HAS SOUS 3798291 HAS SOUPS 3796756 WITH SCORE 3826594.901
AT ITER 6490 NEW BEST:: SOT 32580777 SOS 29840962 HAS SOPS 29501059 HAS SOUS 3798285 HAS SOUPS 3796750 WITH SCORE 3826590.962
AT ITER 6494 NEW BEST:: SOT 32582234 SOS 29842377 HAS SOPS 29502474 HAS SOUS 3797003 HAS SOUPS 3795468 WITH SCORE 3825310.377
AT ITER 6496 NEW BEST:: SOT 32583651 SOS 29843014 HAS SOPS 29502773 HAS SOUS 3793129 HAS SOUPS 3791594 WITH SCORE 3821437.014
AT ITER 6497 NEW BEST:: SOT 32583651 SOS 29840389 HAS SOPS 29500148 HAS SOUS 3784372 HAS SOUPS 3782837 WITH SCORE 3812677.389
AT ITER 6510 NEW BEST:: SOT 32585600 SOS 29811722 HAS SOPS 29471481 HAS SOUS 3784391 HAS SOUPS 3782856 WITH SCORE 3812667.722
AT ITER 6519 NEW BEST:: SOT 32583384 SOS 29809803 HAS SOPS 29469562 HAS SOUS 3784187 HAS SOUPS 3782652 WITH SCORE 3812461.803
AT ITER 6533 NEW BEST:: SOT 32570464 SOS 29796883 HAS SOPS 29456642 HAS SOUS 3783427 HAS SOUPS 3781892 WITH SCORE 3811688.883
AT ITER 6543 NEW BEST:: SOT 32589957 SOS 29815448 HAS SOPS 29476177 HAS SOUS 3775785 HAS SOUPS 3774250 WITH SCORE 3804065.448
AT ITER 6570 NEW BEST:: SOT 32589957 SOS 29815448 HAS SOPS 29476326 HAS SOUS 3775636 HAS SOUPS 3774101 WITH SCORE 3803916.448
AT ITER 6571 NEW BEST:: SOT 32639906 SOS 29861724 HAS SOPS 29522385 HAS SOUS 3761071 HAS SOUPS 3759536 WITH SCORE 3789397.724
AT ITER 6572 NEW BEST:: SOT 32642177 SOS 29861859 HAS SOPS 29515382 HAS SOUS 3759675 HAS SOUPS 3757641 WITH SCORE 3787502.859
AT ITER 6573 NEW BEST:: SOT 32651665 SOS 29869095 HAS SOPS 29522401 HAS SOUS 3750142 HAS SOUPS 3748108 WITH SCORE 3777977.095
AT ITER 6574 NEW BEST:: SOT 32651665 SOS 29865974 HAS SOPS 29519280 HAS SOUS 3744284 HAS SOUPS 3742250 WITH SCORE 3772115.974
AT ITER 6578 NEW BEST:: SOT 32654893 SOS 29869202 HAS SOPS 29522508 HAS SOUS 3743505 HAS SOUPS 3741471 WITH SCORE 3771340.202
AT ITER 6599 NEW BEST:: SOT 32632640 SOS 29846949 HAS SOPS 29500255 HAS SOUS 3742196 HAS SOUPS 3740162 WITH SCORE 3770008.949
AT ITER 6611 NEW BEST:: SOT 32629266 SOS 29843575 HAS SOPS 29496881 HAS SOUS 3740487 HAS SOUPS 3738453 WITH SCORE 3768296.575
AT ITER 6614 NEW BEST:: SOT 32629097 SOS 29843405 HAS SOPS 29496711 HAS SOUS 3739687 HAS SOUPS 3737653 WITH SCORE 3767496.405
AT ITER 6619 NEW BEST:: SOT 32632349 SOS 29846657 HAS SOPS 29499963 HAS SOUS 3739466 HAS SOUPS 3737432 WITH SCORE 3767278.657
AT ITER 6620 NEW BEST:: SOT 32632349 SOS 29824962 HAS SOPS 29478268 HAS SOUS 3739031 HAS SOUPS 3736997 WITH SCORE 3766821.962
AT ITER 6623 NEW BEST:: SOT 32632165 SOS 29824778 HAS SOPS 29478084 HAS SOUS 3738216 HAS SOUPS 3736182 WITH SCORE 3766006.778
AT ITER 6629 NEW BEST:: SOT 32723349 SOS 29913170 HAS SOPS 29566259 HAS SOUS 3730708 HAS SOUPS 3728674 WITH SCORE 3758587.17
AT ITER 6665 NEW BEST:: SOT 32723409 SOS 29912733 HAS SOPS 29565822 HAS SOUS 3728944 HAS SOUPS 3726910 WITH SCORE 3756822.733
AT ITER 6675 NEW BEST:: SOT 32724789 SOS 29914113 HAS SOPS 29567202 HAS SOUS 3728912 HAS SOUPS 3726878 WITH SCORE 3756792.113
AT ITER 6679 NEW BEST:: SOT 32728061 SOS 29917385 HAS SOPS 29570353 HAS SOUS 3728587 HAS SOUPS 3726553 WITH SCORE 3756470.385
AT ITER 6680 NEW BEST:: SOT 32741074 SOS 29930398 HAS SOPS 29583366 HAS SOUS 3728093 HAS SOUPS 3726059 WITH SCORE 3755989.398
AT ITER 6699 NEW BEST:: SOT 32741074 SOS 29930398 HAS SOPS 29584228 HAS SOUS 3727231 HAS SOUPS 3725197 WITH SCORE 3755127.398
AT ITER 6707 NEW BEST:: SOT 32739469 SOS 29928793 HAS SOPS 29582623 HAS SOUS 3727231 HAS SOUPS 3725197 WITH SCORE 3755125.793
AT ITER 6708 NEW BEST:: SOT 32736841 SOS 29926165 HAS SOPS 29579995 HAS SOUS 3725917 HAS SOUPS 3723883 WITH SCORE 3753809.165
AT ITER 6712 NEW BEST:: SOT 32739272 SOS 29928596 HAS SOPS 29582426 HAS SOUS 3725760 HAS SOUPS 3723726 WITH SCORE 3753654.596
AT ITER 6713 NEW BEST:: SOT 32814504 SOS 30000599 HAS SOPS 29653843 HAS SOUS 3717591 HAS SOUPS 3715557 WITH SCORE 3745557.599
AT ITER 6749 NEW BEST:: SOT 32812719 SOS 29998814 HAS SOPS 29652058 HAS SOUS 3717486 HAS SOUPS 3715452 WITH SCORE 3745450.814
AT ITER 6760 NEW BEST:: SOT 32768587 SOS 29954682 HAS SOPS 29607926 HAS SOUS 3714890 HAS SOUPS 3712856 WITH SCORE 3742810.682
AT ITER 6776 NEW BEST:: SOT 32772349 SOS 29958444 HAS SOPS 29611688 HAS SOUS 3712156 HAS SOUPS 3710122 WITH SCORE 3740080.444
AT ITER 6777 NEW BEST:: SOT 32740319 SOS 29926414 HAS SOPS 29579658 HAS SOUS 3710825 HAS SOUPS 3708791 WITH SCORE 3738717.414
AT ITER 6778 NEW BEST:: SOT 32750015 SOS 29936110 HAS SOPS 29589354 HAS SOUS 3710219 HAS SOUPS 3708185 WITH SCORE 3738121.11
AT ITER 6796 NEW BEST:: SOT 32836256 SOS 30018958 HAS SOPS 29671985 HAS SOUS 3702403 HAS SOUPS 3700369 WITH SCORE 3730387.958
AT ITER 6819 NEW BEST:: SOT 32823122 SOS 30005824 HAS SOPS 29658851 HAS SOUS 3698934 HAS SOUPS 3696900 WITH SCORE 3726905.824
AT ITER 6837 NEW BEST:: SOT 32804490 SOS 29987192 HAS SOPS 29640219 HAS SOUS 3697838 HAS SOUPS 3695804 WITH SCORE 3725791.192
AT ITER 6848 NEW BEST:: SOT 32807855 SOS 29990557 HAS SOPS 29643584 HAS SOUS 3694490 HAS SOUPS 3692456 WITH SCORE 3722446.557
AT ITER 6852 NEW BEST:: SOT 32802175 SOS 29984877 HAS SOPS 29637904 HAS SOUS 3694490 HAS SOUPS 3692456 WITH SCORE 3722440.877
AT ITER 6862 NEW BEST:: SOT 32800091 SOS 29983412 HAS SOPS 29637647 HAS SOUS 3689399 HAS SOUPS 3687365 WITH SCORE 3717348.412
AT ITER 6869 NEW BEST:: SOT 32799605 SOS 29982926 HAS SOPS 29637161 HAS SOUS 3689156 HAS SOUPS 3687122 WITH SCORE 3717104.926
AT ITER 6870 NEW BEST:: SOT 32799730 SOS 29982326 HAS SOPS 29636436 HAS SOUS 3688104 HAS SOUPS 3686070 WITH SCORE 3716052.326
AT ITER 6877 NEW BEST:: SOT 32793678 SOS 29976274 HAS SOPS 29630384 HAS SOUS 3687748 HAS SOUPS 3685714 WITH SCORE 3715690.274
AT ITER 6879 NEW BEST:: SOT 32794886 SOS 29977482 HAS SOPS 29631592 HAS SOUS 3686959 HAS SOUPS 3684925 WITH SCORE 3714902.482
AT ITER 6889 NEW BEST:: SOT 32790864 SOS 29973460 HAS SOPS 29627570 HAS SOUS 3684948 HAS SOUPS 3682914 WITH SCORE 3712887.46
AT ITER 6894 NEW BEST:: SOT 32794265 SOS 29976861 HAS SOPS 29630971 HAS SOUS 3682378 HAS SOUPS 3680344 WITH SCORE 3710320.861
AT ITER 6895 NEW BEST:: SOT 32794027 SOS 29976623 HAS SOPS 29630733 HAS SOUS 3681902 HAS SOUPS 3679868 WITH SCORE 3709844.623
AT ITER 6897 NEW BEST:: SOT 32739222 SOS 29921818 HAS SOPS 29575488 HAS SOUS 3681212 HAS SOUPS 3679178 WITH SCORE 3709099.818
AT ITER 6898 NEW BEST:: SOT 32741378 SOS 29923974 HAS SOPS 29577640 HAS SOUS 3681208 HAS SOUPS 3679174 WITH SCORE 3709097.974
AT ITER 6899 NEW BEST:: SOT 32696872 SOS 29879468 HAS SOPS 29533134 HAS SOUS 3678590 HAS SOUPS 3676556 WITH SCORE 3706435.468
AT ITER 6900 NEW BEST:: SOT 32698704 SOS 29881300 HAS SOPS 29534966 HAS SOUS 3678439 HAS SOUPS 3676405 WITH SCORE 3706286.3
AT ITER 6901 NEW BEST:: SOT 32784726 SOS 29963201 HAS SOPS 29616650 HAS SOUS 3668282 HAS SOUPS 3666248 WITH SCORE 3696211.201
AT ITER 6903 NEW BEST:: SOT 32786091 SOS 29963941 HAS SOPS 29617390 HAS SOUS 3666718 HAS SOUPS 3664684 WITH SCORE 3694647.941
AT ITER 6906 NEW BEST:: SOT 32836709 SOS 30011832 HAS SOPS 29664695 HAS SOUS 3656478 HAS SOUPS 3654444 WITH SCORE 3684455.832
AT ITER 6919 NEW BEST:: SOT 32835678 SOS 30010801 HAS SOPS 29663664 HAS SOUS 3654416 HAS SOUPS 3652382 WITH SCORE 3682392.801
AT ITER 6924 NEW BEST:: SOT 32832334 SOS 30007457 HAS SOPS 29660320 HAS SOUS 3653819 HAS SOUPS 3651785 WITH SCORE 3681792.457
AT ITER 6936 NEW BEST:: SOT 32871494 SOS 30043322 HAS SOPS 29695599 HAS SOUS 3641224 HAS SOUPS 3639190 WITH SCORE 3669233.322
AT ITER 6945 NEW BEST:: SOT 32930853 SOS 30100125 HAS SOPS 29752185 HAS SOUS 3632305 HAS SOUPS 3630271 WITH SCORE 3660371.125
AT ITER 6950 NEW BEST:: SOT 32930328 SOS 30099600 HAS SOPS 29751660 HAS SOUS 3631780 HAS SOUPS 3629746 WITH SCORE 3659845.6
AT ITER 6956 NEW BEST:: SOT 32931716 SOS 30100988 HAS SOPS 29753048 HAS SOUS 3631169 HAS SOUPS 3629135 WITH SCORE 3659235.988
AT ITER 6964 NEW BEST:: SOT 32931881 SOS 30072636 HAS SOPS 29724690 HAS SOUS 3629865 HAS SOUPS 3627831 WITH SCORE 3657903.636
AT ITER 6967 NEW BEST:: SOT 32917873 SOS 30058628 HAS SOPS 29710682 HAS SOUS 3629041 HAS SOUPS 3627007 WITH SCORE 3657065.628
AT ITER 6968 NEW BEST:: SOT 32894090 SOS 30034845 HAS SOPS 29686899 HAS SOUS 3627642 HAS SOUPS 3625608 WITH SCORE 3655642.845
AT ITER 6970 NEW BEST:: SOT 32899256 SOS 30040011 HAS SOPS 29692065 HAS SOUS 3627270 HAS SOUPS 3625236 WITH SCORE 3655276.011
AT ITER 6972 NEW BEST:: SOT 32959256 SOS 30096406 HAS SOPS 29747874 HAS SOUS 3617397 HAS SOUPS 3615363 WITH SCORE 3645459.406
AT ITER 6979 NEW BEST:: SOT 32960637 SOS 30097644 HAS SOPS 29749112 HAS SOUS 3615972 HAS SOUPS 3613938 WITH SCORE 3644035.644
AT ITER 6990 NEW BEST:: SOT 32960596 SOS 30097603 HAS SOPS 29749071 HAS SOUS 3615931 HAS SOUPS 3613897 WITH SCORE 3643994.603
AT ITER 6993 NEW BEST:: SOT 32962832 SOS 30099839 HAS SOPS 29751307 HAS SOUS 3615547 HAS SOUPS 3613513 WITH SCORE 3643612.839
AT ITER 6999 NEW BEST:: SOT 33037662 SOS 30172142 HAS SOPS 29823024 HAS SOUS 3607225 HAS SOUPS 3605191 WITH SCORE 3635363.142
AT ITER 7002 NEW BEST:: SOT 33037520 SOS 30172000 HAS SOPS 29822882 HAS SOUS 3607083 HAS SOUPS 3605049 WITH SCORE 3635221.0
AT ITER 7020 NEW BEST:: SOT 33037230 SOS 30171710 HAS SOPS 29822189 HAS SOUS 3606906 HAS SOUPS 3604872 WITH SCORE 3635043.71
AT ITER 7027 NEW BEST:: SOT 33041255 SOS 30174797 HAS SOPS 29825276 HAS SOUS 3606612 HAS SOUPS 3604578 WITH SCORE 3634752.797
AT ITER 7048 NEW BEST:: SOT 33045027 SOS 30178569 HAS SOPS 29829048 HAS SOUS 3604779 HAS SOUPS 3602745 WITH SCORE 3632923.569
AT ITER 7053 NEW BEST:: SOT 33032056 SOS 30165598 HAS SOPS 29816077 HAS SOUS 3604016 HAS SOUPS 3601982 WITH SCORE 3632147.598
AT ITER 7100 NEW BEST:: SOT 33151760 SOS 30283875 HAS SOPS 29930233 HAS SOUS 3597895 HAS SOUPS 3595861 WITH SCORE 3626144.875
AT ITER 7107 NEW BEST:: SOT 33126290 SOS 30258405 HAS SOPS 29904763 HAS SOUS 3597895 HAS SOUPS 3595861 WITH SCORE 3626119.405
AT ITER 7109 NEW BEST:: SOT 33126896 SOS 30259011 HAS SOPS 29905369 HAS SOUS 3597289 HAS SOUPS 3595255 WITH SCORE 3625514.011
AT ITER 7112 NEW BEST:: SOT 33175746 SOS 30304806 HAS SOPS 29950578 HAS SOUS 3586707 HAS SOUPS 3584673 WITH SCORE 3614977.806
AT ITER 7129 NEW BEST:: SOT 33175445 SOS 30304505 HAS SOPS 29950277 HAS SOUS 3586105 HAS SOUPS 3584071 WITH SCORE 3614375.505
AT ITER 7130 NEW BEST:: SOT 33177341 SOS 30305980 HAS SOPS 29951752 HAS SOUS 3583844 HAS SOUPS 3581810 WITH SCORE 3612115.98
AT ITER 7146 NEW BEST:: SOT 33185416 SOS 30312013 HAS SOPS 29958092 HAS SOUS 3572599 HAS SOUPS 3570565 WITH SCORE 3600877.013
AT ITER 7153 NEW BEST:: SOT 33185034 SOS 30311631 HAS SOPS 29957710 HAS SOUS 3572408 HAS SOUPS 3570374 WITH SCORE 3600685.631
AT ITER 7154 NEW BEST:: SOT 33183818 SOS 30310415 HAS SOPS 29956494 HAS SOUS 3572408 HAS SOUPS 3570374 WITH SCORE 3600684.415
AT ITER 7155 NEW BEST:: SOT 33185827 SOS 30312424 HAS SOPS 29958503 HAS SOUS 3571287 HAS SOUPS 3569253 WITH SCORE 3599565.424
AT ITER 7156 NEW BEST:: SOT 33190645 SOS 30317242 HAS SOPS 29963321 HAS SOUS 3569461 HAS SOUPS 3567427 WITH SCORE 3597744.242
AT ITER 7158 NEW BEST:: SOT 33183760 SOS 30310357 HAS SOPS 29956436 HAS SOUS 3569461 HAS SOUPS 3567427 WITH SCORE 3597737.357
AT ITER 7169 NEW BEST:: SOT 33184132 SOS 30310729 HAS SOPS 29956808 HAS SOUS 3568331 HAS SOUPS 3566297 WITH SCORE 3596607.729
AT ITER 7174 NEW BEST:: SOT 33122034 SOS 30248631 HAS SOPS 29894710 HAS SOUS 3565575 HAS SOUPS 3563541 WITH SCORE 3593789.631
AT ITER 7187 NEW BEST:: SOT 33121115 SOS 30247712 HAS SOPS 29893791 HAS SOUS 3563633 HAS SOUPS 3561599 WITH SCORE 3591846.712
AT ITER 7189 NEW BEST:: SOT 33121115 SOS 30245580 HAS SOPS 29889003 HAS SOUS 3563633 HAS SOUPS 3561599 WITH SCORE 3591844.58
AT ITER 7205 NEW BEST:: SOT 33120653 SOS 30245118 HAS SOPS 29888541 HAS SOUS 3563402 HAS SOUPS 3561368 WITH SCORE 3591613.118
AT ITER 7206 NEW BEST:: SOT 33193679 SOS 30315684 HAS SOPS 29958890 HAS SOUS 3555324 HAS SOUPS 3553290 WITH SCORE 3583605.684
AT ITER 7223 NEW BEST:: SOT 33219233 SOS 30338731 HAS SOPS 29982928 HAS SOUS 3545209 HAS SOUPS 3543175 WITH SCORE 3573513.731
AT ITER 7230 NEW BEST:: SOT 33222699 SOS 30342197 HAS SOPS 29986394 HAS SOUS 3545101 HAS SOUPS 3543067 WITH SCORE 3573409.197
AT ITER 7243 NEW BEST:: SOT 33226879 SOS 30346377 HAS SOPS 29990574 HAS SOUS 3544869 HAS SOUPS 3542835 WITH SCORE 3573181.377
AT ITER 7245 NEW BEST:: SOT 33205935 SOS 30325433 HAS SOPS 29969630 HAS SOUS 3543637 HAS SOUPS 3541603 WITH SCORE 3571928.433
AT ITER 7251 NEW BEST:: SOT 33211853 SOS 30331351 HAS SOPS 29975548 HAS SOUS 3541128 HAS SOUPS 3539094 WITH SCORE 3569425.351
AT ITER 7261 NEW BEST:: SOT 33256065 SOS 30371523 HAS SOPS 30015503 HAS SOUS 3529241 HAS SOUPS 3527207 WITH SCORE 3557578.523
AT ITER 7265 NEW BEST:: SOT 33256065 SOS 30229506 HAS SOPS 29873486 HAS SOUS 3519210 HAS SOUPS 3517176 WITH SCORE 3547405.506
AT ITER 7275 NEW BEST:: SOT 33256065 SOS 30087901 HAS SOPS 29731881 HAS SOUS 3504579 HAS SOUPS 3502545 WITH SCORE 3532632.901
AT ITER 7281 NEW BEST:: SOT 33257815 SOS 30088602 HAS SOPS 29731374 HAS SOUS 3501480 HAS SOUPS 3499446 WITH SCORE 3529534.602
AT ITER 7293 NEW BEST:: SOT 33261224 SOS 30092011 HAS SOPS 29734783 HAS SOUS 3498815 HAS SOUPS 3496781 WITH SCORE 3526873.011
AT ITER 7301 NEW BEST:: SOT 33261190 SOS 30092333 HAS SOPS 29735105 HAS SOUS 3498608 HAS SOUPS 3496574 WITH SCORE 3526666.333
AT ITER 7306 NEW BEST:: SOT 33262284 SOS 30093427 HAS SOPS 29736199 HAS SOUS 3497514 HAS SOUPS 3495480 WITH SCORE 3525573.427
AT ITER 7308 NEW BEST:: SOT 33261477 SOS 30092620 HAS SOPS 29735392 HAS SOUS 3497514 HAS SOUPS 3495480 WITH SCORE 3525572.62
AT ITER 7319 NEW BEST:: SOT 33254490 SOS 30085633 HAS SOPS 29728405 HAS SOUS 3497103 HAS SOUPS 3495069 WITH SCORE 3525154.633
AT ITER 7332 NEW BEST:: SOT 33225622 SOS 30056765 HAS SOPS 29699537 HAS SOUS 3496699 HAS SOUPS 3494665 WITH SCORE 3524721.765
AT ITER 7343 NEW BEST:: SOT 33225409 SOS 30056552 HAS SOPS 29699324 HAS SOUS 3496273 HAS SOUPS 3494239 WITH SCORE 3524295.552
AT ITER 7368 NEW BEST:: SOT 33226797 SOS 30057940 HAS SOPS 29700712 HAS SOUS 3495300 HAS SOUPS 3493266 WITH SCORE 3523323.94
AT ITER 7369 NEW BEST:: SOT 33228279 SOS 30059422 HAS SOPS 29702194 HAS SOUS 3493714 HAS SOUPS 3491680 WITH SCORE 3521739.422
AT ITER 7383 NEW BEST:: SOT 33228279 SOS 30059451 HAS SOPS 29702223 HAS SOUS 3493656 HAS SOUPS 3491622 WITH SCORE 3521681.451
AT ITER 7388 NEW BEST:: SOT 33232526 SOS 30063674 HAS SOPS 29706446 HAS SOUS 3491009 HAS SOUPS 3488975 WITH SCORE 3519038.674
AT ITER 7393 NEW BEST:: SOT 33233466 SOS 30064614 HAS SOPS 29706860 HAS SOUS 3490736 HAS SOUPS 3488702 WITH SCORE 3518766.614
AT ITER 7397 NEW BEST:: SOT 33201234 SOS 30032382 HAS SOPS 29674628 HAS SOUS 3488840 HAS SOUPS 3486806 WITH SCORE 3516838.382
AT ITER 7399 NEW BEST:: SOT 33200822 SOS 30031970 HAS SOPS 29674216 HAS SOUS 3488634 HAS SOUPS 3486600 WITH SCORE 3516631.97
AT ITER 7403 NEW BEST:: SOT 33200578 SOS 30031726 HAS SOPS 29673972 HAS SOUS 3488512 HAS SOUPS 3486478 WITH SCORE 3516509.726
AT ITER 7404 NEW BEST:: SOT 33199505 SOS 30030653 HAS SOPS 29672899 HAS SOUS 3486016 HAS SOUPS 3483982 WITH SCORE 3514012.653
AT ITER 7405 NEW BEST:: SOT 33200599 SOS 30031747 HAS SOPS 29673993 HAS SOUS 3484922 HAS SOUPS 3482888 WITH SCORE 3512919.747
AT ITER 7425 NEW BEST:: SOT 33161647 SOS 29992795 HAS SOPS 29635041 HAS SOUS 3482654 HAS SOUPS 3480620 WITH SCORE 3510612.795
AT ITER 7428 NEW BEST:: SOT 33156343 SOS 29987491 HAS SOPS 29629737 HAS SOUS 3482342 HAS SOUPS 3480308 WITH SCORE 3510295.491
AT ITER 7450 NEW BEST:: SOT 33156221 SOS 29987369 HAS SOPS 29629615 HAS SOUS 3482323 HAS SOUPS 3480289 WITH SCORE 3510276.369
AT ITER 7451 NEW BEST:: SOT 33085876 SOS 29917704 HAS SOPS 29560167 HAS SOUS 3481730 HAS SOUPS 3479696 WITH SCORE 3509613.704
AT ITER 7455 NEW BEST:: SOT 33167502 SOS 29996934 HAS SOPS 29639180 HAS SOUS 3474048 HAS SOUPS 3472014 WITH SCORE 3502010.934
AT ITER 7459 NEW BEST:: SOT 33171285 SOS 30000717 HAS SOPS 29642451 HAS SOUS 3473939 HAS SOUPS 3471905 WITH SCORE 3501905.717
AT ITER 7463 NEW BEST:: SOT 33155798 SOS 29985230 HAS SOPS 29626964 HAS SOUS 3473028 HAS SOUPS 3470994 WITH SCORE 3500979.23
AT ITER 7482 NEW BEST:: SOT 33153640 SOS 29983334 HAS SOPS 29625068 HAS SOUS 3472277 HAS SOUPS 3470243 WITH SCORE 3500226.334
AT ITER 7489 NEW BEST:: SOT 33154721 SOS 29984415 HAS SOPS 29626149 HAS SOUS 3471687 HAS SOUPS 3469653 WITH SCORE 3499637.415
AT ITER 7499 NEW BEST:: SOT 33154175 SOS 29983869 HAS SOPS 29625603 HAS SOUS 3471687 HAS SOUPS 3469653 WITH SCORE 3499636.869
AT ITER 7506 NEW BEST:: SOT 33172320 SOS 29998608 HAS SOPS 29640125 HAS SOUS 3461781 HAS SOUPS 3459747 WITH SCORE 3489745.608
AT ITER 7517 NEW BEST:: SOT 33138813 SOS 29965101 HAS SOPS 29606618 HAS SOUS 3459810 HAS SOUPS 3457776 WITH SCORE 3487741.101
AT ITER 7521 NEW BEST:: SOT 33140047 SOS 29966335 HAS SOPS 29607852 HAS SOUS 3458576 HAS SOUPS 3456542 WITH SCORE 3486508.335
AT ITER 7522 NEW BEST:: SOT 33140047 SOS 29963833 HAS SOPS 29605350 HAS SOUS 3449302 HAS SOUPS 3447268 WITH SCORE 3477231.833
AT ITER 7535 NEW BEST:: SOT 33140710 SOS 29960757 HAS SOPS 29602121 HAS SOUS 3437116 HAS SOUPS 3435082 WITH SCORE 3465042.757
AT ITER 7537 NEW BEST:: SOT 33142780 SOS 29960853 HAS SOPS 29602217 HAS SOUS 3427335 HAS SOUPS 3425301 WITH SCORE 3455261.853
AT ITER 7538 NEW BEST:: SOT 33144070 SOS 29959872 HAS SOPS 29601150 HAS SOUS 3418744 HAS SOUPS 3416710 WITH SCORE 3446669.872
AT ITER 7545 NEW BEST:: SOT 33138239 SOS 29954041 HAS SOPS 29595319 HAS SOUS 3418401 HAS SOUPS 3416367 WITH SCORE 3446321.041
AT ITER 7553 NEW BEST:: SOT 33136266 SOS 29952068 HAS SOPS 29593346 HAS SOUS 3418307 HAS SOUPS 3416273 WITH SCORE 3446225.068
AT ITER 7554 NEW BEST:: SOT 33135722 SOS 29951524 HAS SOPS 29592802 HAS SOUS 3418035 HAS SOUPS 3416001 WITH SCORE 3445952.524
AT ITER 7555 NEW BEST:: SOT 33136979 SOS 29952781 HAS SOPS 29594059 HAS SOUS 3416925 HAS SOUPS 3414891 WITH SCORE 3444843.781
AT ITER 7568 NEW BEST:: SOT 33136979 SOS 29940760 HAS SOPS 29582038 HAS SOUS 3416925 HAS SOUPS 3414891 WITH SCORE 3444831.76
AT ITER 7597 NEW BEST:: SOT 33142958 SOS 29946739 HAS SOPS 29588017 HAS SOUS 3415983 HAS SOUPS 3413949 WITH SCORE 3443895.739
AT ITER 7606 NEW BEST:: SOT 33143576 SOS 29947357 HAS SOPS 29588635 HAS SOUS 3415365 HAS SOUPS 3413331 WITH SCORE 3443278.357
AT ITER 7616 NEW BEST:: SOT 33143576 SOS 29877623 HAS SOPS 29518901 HAS SOUS 3412819 HAS SOUPS 3410785 WITH SCORE 3440662.623
AT ITER 7630 NEW BEST:: SOT 33164461 SOS 29898199 HAS SOPS 29538891 HAS SOUS 3412398 HAS SOUPS 3410364 WITH SCORE 3440262.199
AT ITER 7632 NEW BEST:: SOT 33236869 SOS 29968376 HAS SOPS 29608482 HAS SOUS 3404285 HAS SOUPS 3402251 WITH SCORE 3432219.376
AT ITER 7633 NEW BEST:: SOT 33233214 SOS 29964721 HAS SOPS 29604962 HAS SOUS 3404260 HAS SOUPS 3402226 WITH SCORE 3432190.721
AT ITER 7635 NEW BEST:: SOT 33232033 SOS 29963540 HAS SOPS 29603781 HAS SOUS 3402070 HAS SOUPS 3400036 WITH SCORE 3429999.54
AT ITER 7641 NEW BEST:: SOT 33231861 SOS 29963368 HAS SOPS 29603609 HAS SOUS 3401898 HAS SOUPS 3399864 WITH SCORE 3429827.368
AT ITER 7660 NEW BEST:: SOT 33230637 SOS 29962144 HAS SOPS 29602385 HAS SOUS 3401826 HAS SOUPS 3399792 WITH SCORE 3429754.144
AT ITER 7667 NEW BEST:: SOT 33230709 SOS 29962216 HAS SOPS 29602445 HAS SOUS 3401814 HAS SOUPS 3399780 WITH SCORE 3429742.216
AT ITER 7669 NEW BEST:: SOT 33218837 SOS 29950344 HAS SOPS 29590573 HAS SOUS 3401814 HAS SOUPS 3399780 WITH SCORE 3429730.344
AT ITER 7672 NEW BEST:: SOT 33217714 SOS 29949221 HAS SOPS 29589450 HAS SOUS 3399461 HAS SOUPS 3397427 WITH SCORE 3427376.221
AT ITER 7674 NEW BEST:: SOT 33184343 SOS 29915850 HAS SOPS 29556079 HAS SOUS 3397498 HAS SOUPS 3395464 WITH SCORE 3425379.85
AT ITER 7699 NEW BEST:: SOT 33184093 SOS 29915600 HAS SOPS 29555829 HAS SOUS 3396998 HAS SOUPS 3394964 WITH SCORE 3424879.6
AT ITER 7702 NEW BEST:: SOT 33159953 SOS 29891460 HAS SOPS 29531689 HAS SOUS 3395578 HAS SOUPS 3393544 WITH SCORE 3423435.46
AT ITER 7742 NEW BEST:: SOT 33182436 SOS 29910828 HAS SOPS 29550471 HAS SOUS 3384856 HAS SOUPS 3382822 WITH SCORE 3412732.828
AT ITER 7753 NEW BEST:: SOT 33184527 SOS 29912919 HAS SOPS 29552562 HAS SOUS 3384129 HAS SOUPS 3382095 WITH SCORE 3412007.919
AT ITER 7761 NEW BEST:: SOT 33231830 SOS 29959259 HAS SOPS 29598316 HAS SOUS 3382154 HAS SOUPS 3380120 WITH SCORE 3410079.259
AT ITER 7763 NEW BEST:: SOT 33231970 SOS 29959399 HAS SOPS 29598456 HAS SOUS 3382014 HAS SOUPS 3379980 WITH SCORE 3409939.399
AT ITER 7765 NEW BEST:: SOT 33238443 SOS 29965872 HAS SOPS 29604929 HAS SOUS 3380614 HAS SOUPS 3378580 WITH SCORE 3408545.872
AT ITER 7767 NEW BEST:: SOT 33244998 SOS 29971363 HAS SOPS 29605986 HAS SOUS 3379521 HAS SOUPS 3377222 WITH SCORE 3407193.363
AT ITER 7768 NEW BEST:: SOT 33245873 SOS 29972238 HAS SOPS 29606861 HAS SOUS 3378857 HAS SOUPS 3376558 WITH SCORE 3406530.238
AT ITER 7775 NEW BEST:: SOT 33244550 SOS 29970915 HAS SOPS 29605538 HAS SOUS 3378844 HAS SOUPS 3376545 WITH SCORE 3406515.915
AT ITER 7780 NEW BEST:: SOT 33190140 SOS 29916505 HAS SOPS 29552160 HAS SOUS 3378502 HAS SOUPS 3376203 WITH SCORE 3406119.505
AT ITER 7787 NEW BEST:: SOT 33195646 SOS 29922011 HAS SOPS 29557666 HAS SOUS 3376858 HAS SOUPS 3374559 WITH SCORE 3404481.011
AT ITER 7792 NEW BEST:: SOT 33245958 SOS 29970124 HAS SOPS 29605193 HAS SOUS 3369977 HAS SOUPS 3367678 WITH SCORE 3397648.124
AT ITER 7802 NEW BEST:: SOT 33201656 SOS 29925822 HAS SOPS 29560891 HAS SOUS 3367371 HAS SOUPS 3365072 WITH SCORE 3394997.822
AT ITER 7806 NEW BEST:: SOT 33278981 SOS 30002196 HAS SOPS 29636679 HAS SOUS 3367146 HAS SOUPS 3364847 WITH SCORE 3394849.196
AT ITER 7827 NEW BEST:: SOT 33329820 SOS 30049422 HAS SOPS 29683319 HAS SOUS 3356065 HAS SOUPS 3353766 WITH SCORE 3383815.422
AT ITER 7828 NEW BEST:: SOT 33408449 SOS 30125375 HAS SOPS 29759055 HAS SOUS 3349725 HAS SOUPS 3347426 WITH SCORE 3377551.375
AT ITER 7837 NEW BEST:: SOT 33368652 SOS 30085578 HAS SOPS 29718652 HAS SOUS 3348167 HAS SOUPS 3345868 WITH SCORE 3375953.578
AT ITER 7844 NEW BEST:: SOT 33351414 SOS 30068340 HAS SOPS 29701414 HAS SOUS 3347153 HAS SOUPS 3344854 WITH SCORE 3374922.34
AT ITER 7847 NEW BEST:: SOT 33353169 SOS 30069199 HAS SOPS 29702273 HAS SOUS 3343606 HAS SOUPS 3341307 WITH SCORE 3371376.199
AT ITER 7863 NEW BEST:: SOT 33352661 SOS 30068691 HAS SOPS 29701765 HAS SOUS 3343606 HAS SOUPS 3341307 WITH SCORE 3371375.691
AT ITER 7864 NEW BEST:: SOT 33356187 SOS 30072217 HAS SOPS 29705291 HAS SOUS 3343362 HAS SOUPS 3341063 WITH SCORE 3371135.217
AT ITER 7878 NEW BEST:: SOT 33356187 SOS 30072217 HAS SOPS 29705291 HAS SOUS 3343210 HAS SOUPS 3340911 WITH SCORE 3370983.217
AT ITER 7897 NEW BEST:: SOT 33358185 SOS 30074215 HAS SOPS 29707289 HAS SOUS 3342699 HAS SOUPS 3340400 WITH SCORE 3370474.215
AT ITER 7903 NEW BEST:: SOT 33359966 SOS 30075996 HAS SOPS 29709070 HAS SOUS 3342425 HAS SOUPS 3340126 WITH SCORE 3370201.996
AT ITER 7908 NEW BEST:: SOT 33343034 SOS 30059064 HAS SOPS 29692138 HAS SOUS 3341429 HAS SOUPS 3339130 WITH SCORE 3369189.064
AT ITER 7914 NEW BEST:: SOT 33342930 SOS 30058960 HAS SOPS 29692034 HAS SOUS 3341051 HAS SOUPS 3338752 WITH SCORE 3368810.96
AT ITER 7924 NEW BEST:: SOT 33355589 SOS 30069456 HAS SOPS 29701944 HAS SOUS 3331980 HAS SOUPS 3329681 WITH SCORE 3359750.456
AT ITER 7929 NEW BEST:: SOT 33391919 SOS 30105786 HAS SOPS 29738274 HAS SOUS 3331888 HAS SOUPS 3329589 WITH SCORE 3359694.786
AT ITER 7939 NEW BEST:: SOT 33356134 SOS 30070001 HAS SOPS 29702489 HAS SOUS 3329783 HAS SOUPS 3327484 WITH SCORE 3357554.001
AT ITER 7941 NEW BEST:: SOT 33328199 SOS 30042066 HAS SOPS 29673950 HAS SOUS 3329387 HAS SOUPS 3327088 WITH SCORE 3357130.066
AT ITER 7943 NEW BEST:: SOT 33315063 SOS 30028930 HAS SOPS 29659993 HAS SOUS 3328566 HAS SOUPS 3326267 WITH SCORE 3356295.93
AT ITER 7946 NEW BEST:: SOT 33315508 SOS 30029375 HAS SOPS 29660438 HAS SOUS 3328151 HAS SOUPS 3325852 WITH SCORE 3355881.375
AT ITER 7968 NEW BEST:: SOT 33263845 SOS 29977712 HAS SOPS 29608775 HAS SOUS 3325112 HAS SOUPS 3322813 WITH SCORE 3352790.712
AT ITER 7978 NEW BEST:: SOT 33209159 SOS 29923821 HAS SOPS 29555470 HAS SOUS 3322970 HAS SOUPS 3320671 WITH SCORE 3350594.821
AT ITER 7981 NEW BEST:: SOT 33160556 SOS 29875218 HAS SOPS 29506867 HAS SOUS 3320111 HAS SOUPS 3317812 WITH SCORE 3347687.218
AT ITER 7997 NEW BEST:: SOT 33162138 SOS 29876800 HAS SOPS 29508449 HAS SOUS 3318254 HAS SOUPS 3315955 WITH SCORE 3345831.8
AT ITER 8002 NEW BEST:: SOT 33149371 SOS 29864033 HAS SOPS 29495682 HAS SOUS 3317503 HAS SOUPS 3315204 WITH SCORE 3345068.033
AT ITER 8014 NEW BEST:: SOT 33145138 SOS 29859800 HAS SOPS 29491449 HAS SOUS 3317254 HAS SOUPS 3314955 WITH SCORE 3344814.8
AT ITER 8016 NEW BEST:: SOT 33147479 SOS 29862141 HAS SOPS 29493790 HAS SOUS 3317232 HAS SOUPS 3314933 WITH SCORE 3344795.141
AT ITER 8028 NEW BEST:: SOT 33147180 SOS 29861842 HAS SOPS 29493327 HAS SOUS 3316798 HAS SOUPS 3314499 WITH SCORE 3344360.842
AT ITER 8031 NEW BEST:: SOT 33138901 SOS 29853563 HAS SOPS 29485048 HAS SOUS 3316311 HAS SOUPS 3314012 WITH SCORE 3343865.563
AT ITER 8039 NEW BEST:: SOT 33140036 SOS 29854698 HAS SOPS 29486183 HAS SOUS 3315176 HAS SOUPS 3312877 WITH SCORE 3342731.698
AT ITER 8054 NEW BEST:: SOT 33141028 SOS 29855690 HAS SOPS 29487175 HAS SOUS 3314184 HAS SOUPS 3311885 WITH SCORE 3341740.69
AT ITER 8058 NEW BEST:: SOT 33142751 SOS 29857413 HAS SOPS 29488898 HAS SOUS 3313334 HAS SOUPS 3311035 WITH SCORE 3340892.413
AT ITER 8063 NEW BEST:: SOT 33142751 SOS 29857040 HAS SOPS 29488525 HAS SOUS 3312588 HAS SOUPS 3310289 WITH SCORE 3340146.04
AT ITER 8079 NEW BEST:: SOT 33191565 SOS 29902654 HAS SOPS 29533922 HAS SOUS 3302836 HAS SOUPS 3300537 WITH SCORE 3330439.654
AT ITER 8087 NEW BEST:: SOT 33190507 SOS 29901596 HAS SOPS 29532864 HAS SOUS 3301862 HAS SOUPS 3299563 WITH SCORE 3329464.596
AT ITER 8093 NEW BEST:: SOT 33190247 SOS 29901336 HAS SOPS 29532604 HAS SOUS 3301732 HAS SOUPS 3299433 WITH SCORE 3329334.336
AT ITER 8095 NEW BEST:: SOT 33188121 SOS 29899210 HAS SOPS 29530478 HAS SOUS 3301281 HAS SOUPS 3298982 WITH SCORE 3328881.21
AT ITER 8101 NEW BEST:: SOT 33191305 SOS 29902394 HAS SOPS 29533662 HAS SOUS 3299728 HAS SOUPS 3297429 WITH SCORE 3327331.394
AT ITER 8119 NEW BEST:: SOT 33190984 SOS 29902073 HAS SOPS 29533020 HAS SOUS 3299407 HAS SOUPS 3297108 WITH SCORE 3327010.073
AT ITER 8129 NEW BEST:: SOT 33191890 SOS 29902979 HAS SOPS 29533926 HAS SOUS 3298501 HAS SOUPS 3296202 WITH SCORE 3326104.979
AT ITER 8136 NEW BEST:: SOT 33231220 SOS 29939683 HAS SOPS 29570413 HAS SOUS 3289086 HAS SOUPS 3286787 WITH SCORE 3316726.683
AT ITER 8154 NEW BEST:: SOT 33228330 SOS 29936793 HAS SOPS 29567523 HAS SOUS 3288916 HAS SOUPS 3286617 WITH SCORE 3316553.793
AT ITER 8167 NEW BEST:: SOT 33229890 SOS 29938353 HAS SOPS 29569083 HAS SOUS 3287188 HAS SOUPS 3284889 WITH SCORE 3314827.353
AT ITER 8168 NEW BEST:: SOT 33207535 SOS 29915998 HAS SOPS 29546728 HAS SOUS 3287164 HAS SOUPS 3284865 WITH SCORE 3314780.998
AT ITER 8170 NEW BEST:: SOT 33288034 SOS 29994716 HAS SOPS 29625229 HAS SOUS 3283225 HAS SOUPS 3280926 WITH SCORE 3310920.716
AT ITER 8172 NEW BEST:: SOT 33280044 SOS 29986726 HAS SOPS 29617441 HAS SOUS 3282303 HAS SOUPS 3280004 WITH SCORE 3309990.726
AT ITER 8175 NEW BEST:: SOT 33279998 SOS 29986680 HAS SOPS 29617395 HAS SOUS 3282092 HAS SOUPS 3279793 WITH SCORE 3309779.68
AT ITER 8194 NEW BEST:: SOT 33368946 SOS 30072642 HAS SOPS 29703140 HAS SOUS 3275056 HAS SOUPS 3272757 WITH SCORE 3302829.642
AT ITER 8195 NEW BEST:: SOT 33369475 SOS 30073171 HAS SOPS 29703669 HAS SOUS 3274527 HAS SOUPS 3272228 WITH SCORE 3302301.171
AT ITER 8196 NEW BEST:: SOT 33369371 SOS 30073067 HAS SOPS 29703461 HAS SOUS 3274502 HAS SOUPS 3272203 WITH SCORE 3302276.067
AT ITER 8199 NEW BEST:: SOT 33369371 SOS 29930856 HAS SOPS 29561250 HAS SOUS 3263964 HAS SOUPS 3261665 WITH SCORE 3291595.856
AT ITER 8205 NEW BEST:: SOT 33368218 SOS 29929703 HAS SOPS 29560513 HAS SOUS 3263738 HAS SOUPS 3261439 WITH SCORE 3291368.703
AT ITER 8209 NEW BEST:: SOT 33359157 SOS 29920642 HAS SOPS 29551452 HAS SOUS 3263205 HAS SOUPS 3260906 WITH SCORE 3290826.642
AT ITER 8210 NEW BEST:: SOT 33359157 SOS 29763212 HAS SOPS 29394022 HAS SOUS 3249024 HAS SOUPS 3246725 WITH SCORE 3276488.212
AT ITER 8211 NEW BEST:: SOT 33360180 SOS 29764235 HAS SOPS 29395045 HAS SOUS 3248001 HAS SOUPS 3245702 WITH SCORE 3275466.235
AT ITER 8216 NEW BEST:: SOT 33352955 SOS 29757010 HAS SOPS 29387820 HAS SOUS 3247576 HAS SOUPS 3245277 WITH SCORE 3275034.01
AT ITER 8217 NEW BEST:: SOT 33352555 SOS 29756610 HAS SOPS 29387420 HAS SOUS 3246776 HAS SOUPS 3244477 WITH SCORE 3274233.61
AT ITER 8235 NEW BEST:: SOT 33355013 SOS 29759068 HAS SOPS 29389878 HAS SOUS 3244740 HAS SOUPS 3242441 WITH SCORE 3272200.068
AT ITER 8240 NEW BEST:: SOT 33360508 SOS 29762995 HAS SOPS 29392597 HAS SOUS 3243811 HAS SOUPS 3241512 WITH SCORE 3271274.995
AT ITER 8242 NEW BEST:: SOT 33360404 SOS 29762891 HAS SOPS 29392493 HAS SOUS 3243707 HAS SOUPS 3241408 WITH SCORE 3271170.891
AT ITER 8244 NEW BEST:: SOT 33360404 SOS 29762891 HAS SOPS 29392794 HAS SOUS 3243406 HAS SOUPS 3241107 WITH SCORE 3270869.891
AT ITER 8247 NEW BEST:: SOT 33361969 SOS 29764456 HAS SOPS 29394359 HAS SOUS 3242948 HAS SOUPS 3240649 WITH SCORE 3270413.456
AT ITER 8251 NEW BEST:: SOT 33344595 SOS 29747082 HAS SOPS 29376985 HAS SOUS 3241926 HAS SOUPS 3239627 WITH SCORE 3269374.082
AT ITER 8254 NEW BEST:: SOT 33420789 SOS 29820945 HAS SOPS 29450631 HAS SOUS 3235165 HAS SOUPS 3232866 WITH SCORE 3262686.945
AT ITER 8263 NEW BEST:: SOT 33420076 SOS 29820232 HAS SOPS 29449205 HAS SOUS 3234452 HAS SOUPS 3232153 WITH SCORE 3261973.232
AT ITER 8267 NEW BEST:: SOT 33354915 SOS 29755071 HAS SOPS 29384044 HAS SOUS 3230619 HAS SOUPS 3228320 WITH SCORE 3258075.071
AT ITER 8279 NEW BEST:: SOT 33392540 SOS 29792288 HAS SOPS 29420675 HAS SOUS 3228826 HAS SOUPS 3226527 WITH SCORE 3256319.288
AT ITER 8282 NEW BEST:: SOT 33421580 SOS 29817352 HAS SOPS 29445522 HAS SOUS 3215968 HAS SOUPS 3213669 WITH SCORE 3243486.352
AT ITER 8306 NEW BEST:: SOT 33426805 SOS 29822577 HAS SOPS 29450747 HAS SOUS 3214169 HAS SOUPS 3211870 WITH SCORE 3241692.577
AT ITER 8327 NEW BEST:: SOT 33426805 SOS 29707052 HAS SOPS 29335222 HAS SOUS 3194945 HAS SOUPS 3192646 WITH SCORE 3222353.052
AT ITER 8329 NEW BEST:: SOT 33437162 SOS 29716275 HAS SOPS 29344850 HAS SOUS 3191000 HAS SOUPS 3188701 WITH SCORE 3218417.275
AT ITER 8336 NEW BEST:: SOT 33436420 SOS 29715533 HAS SOPS 29344108 HAS SOUS 3189515 HAS SOUPS 3187216 WITH SCORE 3216931.533
AT ITER 8343 NEW BEST:: SOT 33420151 SOS 29699264 HAS SOPS 29327839 HAS SOUS 3188254 HAS SOUPS 3185955 WITH SCORE 3215654.264
AT ITER 8355 NEW BEST:: SOT 33409206 SOS 29688319 HAS SOPS 29316894 HAS SOUS 3188174 HAS SOUPS 3185875 WITH SCORE 3215563.319
AT ITER 8368 NEW BEST:: SOT 33411524 SOS 29690637 HAS SOPS 29319212 HAS SOUS 3186444 HAS SOUPS 3184145 WITH SCORE 3213835.637
AT ITER 8372 NEW BEST:: SOT 33384341 SOS 29663454 HAS SOPS 29292029 HAS SOUS 3184845 HAS SOUPS 3182546 WITH SCORE 3212209.454
AT ITER 8386 NEW BEST:: SOT 33422192 SOS 29700555 HAS SOPS 29328544 HAS SOUS 3183364 HAS SOUPS 3181065 WITH SCORE 3210765.555
AT ITER 8420 NEW BEST:: SOT 33380644 SOS 29659007 HAS SOPS 29286996 HAS SOUS 3180920 HAS SOUPS 3178621 WITH SCORE 3208280.007
AT ITER 8421 NEW BEST:: SOT 33384237 SOS 29662600 HAS SOPS 29290589 HAS SOUS 3180113 HAS SOUPS 3177814 WITH SCORE 3207476.6
AT ITER 8430 NEW BEST:: SOT 33355286 SOS 29633649 HAS SOPS 29261638 HAS SOUS 3178410 HAS SOUPS 3176111 WITH SCORE 3205744.649
AT ITER 8435 NEW BEST:: SOT 33357013 SOS 29635376 HAS SOPS 29263365 HAS SOUS 3177829 HAS SOUPS 3175530 WITH SCORE 3205165.376
AT ITER 8436 NEW BEST:: SOT 33357013 SOS 29634552 HAS SOPS 29262541 HAS SOUS 3174532 HAS SOUPS 3172233 WITH SCORE 3201867.552
AT ITER 8439 NEW BEST:: SOT 33362687 SOS 29640226 HAS SOPS 29268215 HAS SOUS 3174126 HAS SOUPS 3171827 WITH SCORE 3201467.226
AT ITER 8441 NEW BEST:: SOT 33362687 SOS 29635694 HAS SOPS 29263683 HAS SOUS 3166441 HAS SOUPS 3164142 WITH SCORE 3193777.694
AT ITER 8443 NEW BEST:: SOT 33434380 SOS 29705800 HAS SOPS 29333203 HAS SOUS 3161714 HAS SOUPS 3159415 WITH SCORE 3189120.8
AT ITER 8448 NEW BEST:: SOT 33490744 SOS 29759843 HAS SOPS 29386660 HAS SOUS 3155079 HAS SOUPS 3152780 WITH SCORE 3182539.843
AT ITER 8466 NEW BEST:: SOT 33490744 SOS 29759843 HAS SOPS 29386701 HAS SOUS 3155038 HAS SOUPS 3152739 WITH SCORE 3182498.843
AT ITER 8473 NEW BEST:: SOT 33462269 SOS 29731368 HAS SOPS 29358226 HAS SOUS 3153363 HAS SOUPS 3151064 WITH SCORE 3180795.368
AT ITER 8477 NEW BEST:: SOT 33466153 SOS 29735252 HAS SOPS 29362110 HAS SOUS 3153088 HAS SOUPS 3150789 WITH SCORE 3180524.252
AT ITER 8480 NEW BEST:: SOT 33465082 SOS 29734181 HAS SOPS 29361039 HAS SOUS 3153025 HAS SOUPS 3150726 WITH SCORE 3180460.181
AT ITER 8483 NEW BEST:: SOT 33525968 SOS 29791500 HAS SOPS 29417772 HAS SOUS 3144365 HAS SOUPS 3142066 WITH SCORE 3171857.5
AT ITER 8485 NEW BEST:: SOT 33528044 SOS 29792883 HAS SOPS 29419155 HAS SOUS 3140637 HAS SOUPS 3138338 WITH SCORE 3168130.883
AT ITER 8486 NEW BEST:: SOT 33528044 SOS 29792717 HAS SOPS 29418989 HAS SOUS 3140564 HAS SOUPS 3138265 WITH SCORE 3168057.717
AT ITER 8487 NEW BEST:: SOT 33529756 SOS 29794429 HAS SOPS 29420701 HAS SOUS 3139918 HAS SOUPS 3137619 WITH SCORE 3167413.429
AT ITER 8492 NEW BEST:: SOT 33524112 SOS 29788785 HAS SOPS 29415057 HAS SOUS 3139586 HAS SOUPS 3137287 WITH SCORE 3167075.785
AT ITER 8498 NEW BEST:: SOT 33468902 SOS 29733575 HAS SOPS 29359847 HAS SOUS 3138413 HAS SOUPS 3136114 WITH SCORE 3165847.575
AT ITER 8505 NEW BEST:: SOT 33465179 SOS 29729852 HAS SOPS 29356124 HAS SOUS 3138194 HAS SOUPS 3135895 WITH SCORE 3165624.852
AT ITER 8507 NEW BEST:: SOT 33461728 SOS 29726401 HAS SOPS 29352673 HAS SOUS 3137658 HAS SOUPS 3135359 WITH SCORE 3165085.401
AT ITER 8515 NEW BEST:: SOT 33463586 SOS 29728259 HAS SOPS 29354531 HAS SOUS 3135364 HAS SOUPS 3133065 WITH SCORE 3162793.259
AT ITER 8522 NEW BEST:: SOT 33466046 SOS 29730974 HAS SOPS 29357738 HAS SOUS 3132217 HAS SOUPS 3129918 WITH SCORE 3159648.974
AT ITER 8523 NEW BEST:: SOT 33467188 SOS 29732116 HAS SOPS 29358880 HAS SOUS 3131840 HAS SOUPS 3129541 WITH SCORE 3159273.116
AT ITER 8527 NEW BEST:: SOT 33345235 SOS 29610163 HAS SOPS 29236927 HAS SOUS 3131542 HAS SOUPS 3129243 WITH SCORE 3158853.163
AT ITER 8529 NEW BEST:: SOT 33315629 SOS 29580557 HAS SOPS 29207321 HAS SOUS 3130245 HAS SOUPS 3127946 WITH SCORE 3157526.557
AT ITER 8533 NEW BEST:: SOT 33390764 SOS 29652672 HAS SOPS 29278850 HAS SOUS 3122405 HAS SOUPS 3120106 WITH SCORE 3149758.672
AT ITER 8536 NEW BEST:: SOT 33390764 SOS 29652672 HAS SOPS 29278850 HAS SOUS 3121730 HAS SOUPS 3119431 WITH SCORE 3149083.672
AT ITER 8537 NEW BEST:: SOT 33389506 SOS 29651414 HAS SOPS 29277592 HAS SOUS 3121656 HAS SOUPS 3119357 WITH SCORE 3149008.414
AT ITER 8541 NEW BEST:: SOT 33392023 SOS 29653931 HAS SOPS 29280109 HAS SOUS 3121417 HAS SOUPS 3119118 WITH SCORE 3148771.931
AT ITER 8545 NEW BEST:: SOT 33402110 SOS 29661175 HAS SOPS 29287136 HAS SOUS 3110803 HAS SOUPS 3108504 WITH SCORE 3138165.175
AT ITER 8549 NEW BEST:: SOT 33491492 SOS 29747389 HAS SOPS 29373133 HAS SOUS 3104354 HAS SOUPS 3102055 WITH SCORE 3131802.389
AT ITER 8558 NEW BEST:: SOT 33491956 SOS 29748101 HAS SOPS 29374598 HAS SOUS 3104281 HAS SOUPS 3101982 WITH SCORE 3131730.101
AT ITER 8593 NEW BEST:: SOT 33494966 SOS 29751111 HAS SOPS 29377608 HAS SOUS 3104190 HAS SOUPS 3101891 WITH SCORE 3131642.111
AT ITER 8599 NEW BEST:: SOT 33494725 SOS 29750048 HAS SOPS 29376545 HAS SOUS 3103708 HAS SOUPS 3101409 WITH SCORE 3131159.048
AT ITER 8615 NEW BEST:: SOT 33474036 SOS 29729359 HAS SOPS 29355856 HAS SOUS 3102491 HAS SOUPS 3100192 WITH SCORE 3129921.359
AT ITER 8616 NEW BEST:: SOT 33439283 SOS 29694606 HAS SOPS 29320584 HAS SOUS 3101364 HAS SOUPS 3099065 WITH SCORE 3128759.606
AT ITER 8621 NEW BEST:: SOT 33438693 SOS 29694016 HAS SOPS 29319994 HAS SOUS 3101171 HAS SOUPS 3098872 WITH SCORE 3128566.016
AT ITER 8633 NEW BEST:: SOT 33484172 SOS 29737382 HAS SOPS 29363143 HAS SOUS 3093343 HAS SOUPS 3091044 WITH SCORE 3120781.382
AT ITER 8635 NEW BEST:: SOT 33474344 SOS 29727554 HAS SOPS 29353315 HAS SOUS 3093343 HAS SOUPS 3091044 WITH SCORE 3120771.554
AT ITER 8649 NEW BEST:: SOT 33474163 SOS 29727373 HAS SOPS 29353134 HAS SOUS 3092981 HAS SOUPS 3090682 WITH SCORE 3120409.373
AT ITER 8654 NEW BEST:: SOT 33476258 SOS 29729468 HAS SOPS 29355229 HAS SOUS 3090886 HAS SOUPS 3088587 WITH SCORE 3118316.468
AT ITER 8664 NEW BEST:: SOT 33480100 SOS 29733310 HAS SOPS 29359071 HAS SOUS 3089568 HAS SOUPS 3087269 WITH SCORE 3117002.31
AT ITER 8667 NEW BEST:: SOT 33482097 SOS 29735307 HAS SOPS 29361068 HAS SOUS 3087571 HAS SOUPS 3085272 WITH SCORE 3115007.307
AT ITER 8671 NEW BEST:: SOT 33482097 SOS 29734068 HAS SOPS 29359829 HAS SOUS 3082825 HAS SOUPS 3080526 WITH SCORE 3110260.068
AT ITER 8705 NEW BEST:: SOT 33484586 SOS 29736557 HAS SOPS 29362318 HAS SOUS 3081549 HAS SOUPS 3079250 WITH SCORE 3108986.557
AT ITER 8718 NEW BEST:: SOT 33486182 SOS 29738153 HAS SOPS 29363914 HAS SOUS 3079953 HAS SOUPS 3077654 WITH SCORE 3107392.153
AT ITER 8727 NEW BEST:: SOT 33558973 SOS 29807776 HAS SOPS 29432951 HAS SOUS 3072391 HAS SOUPS 3070092 WITH SCORE 3099899.776
AT ITER 8728 NEW BEST:: SOT 33558973 SOS 29807776 HAS SOPS 29432951 HAS SOUS 3071783 HAS SOUPS 3069484 WITH SCORE 3099291.776
AT ITER 8745 NEW BEST:: SOT 33546138 SOS 29794941 HAS SOPS 29420116 HAS SOUS 3071028 HAS SOUPS 3068729 WITH SCORE 3098523.941
AT ITER 8749 NEW BEST:: SOT 33537672 SOS 29786475 HAS SOPS 29411650 HAS SOUS 3070530 HAS SOUPS 3068231 WITH SCORE 3098017.475
AT ITER 8753 NEW BEST:: SOT 33538523 SOS 29787326 HAS SOPS 29412501 HAS SOUS 3070492 HAS SOUPS 3068193 WITH SCORE 3097980.326
AT ITER 8754 NEW BEST:: SOT 33537861 SOS 29786790 HAS SOPS 29413173 HAS SOUS 3067946 HAS SOUPS 3065647 WITH SCORE 3095433.79
AT ITER 8763 NEW BEST:: SOT 33537667 SOS 29786596 HAS SOPS 29412785 HAS SOUS 3067752 HAS SOUPS 3065453 WITH SCORE 3095239.596
AT ITER 8765 NEW BEST:: SOT 33626484 SOS 29871194 HAS SOPS 29496797 HAS SOUS 3060046 HAS SOUPS 3057747 WITH SCORE 3087618.194
AT ITER 8767 NEW BEST:: SOT 33579462 SOS 29824172 HAS SOPS 29449775 HAS SOUS 3057280 HAS SOUPS 3054981 WITH SCORE 3084805.172
AT ITER 8795 NEW BEST:: SOT 33581362 SOS 29826072 HAS SOPS 29451675 HAS SOUS 3055380 HAS SOUPS 3053081 WITH SCORE 3082907.072
AT ITER 8799 NEW BEST:: SOT 33584501 SOS 29829211 HAS SOPS 29454814 HAS SOUS 3055313 HAS SOUPS 3053014 WITH SCORE 3082843.211
AT ITER 8801 NEW BEST:: SOT 33610756 SOS 29855466 HAS SOPS 29480934 HAS SOUS 3055257 HAS SOUPS 3052958 WITH SCORE 3082813.466
AT ITER 8810 NEW BEST:: SOT 33611354 SOS 29856064 HAS SOPS 29481095 HAS SOUS 3055105 HAS SOUPS 3052806 WITH SCORE 3082662.064
AT ITER 8816 NEW BEST:: SOT 33672364 SOS 29914219 HAS SOPS 29538664 HAS SOUS 3046426 HAS SOUPS 3044127 WITH SCORE 3074041.219
AT ITER 8827 NEW BEST:: SOT 33652465 SOS 29894320 HAS SOPS 29518765 HAS SOUS 3046329 HAS SOUPS 3044030 WITH SCORE 3073924.32
AT ITER 8831 NEW BEST:: SOT 33651497 SOS 29893352 HAS SOPS 29517797 HAS SOUS 3045845 HAS SOUPS 3043546 WITH SCORE 3073439.352
AT ITER 8834 NEW BEST:: SOT 33654436 SOS 29896291 HAS SOPS 29520736 HAS SOUS 3044809 HAS SOUPS 3042510 WITH SCORE 3072406.291
AT ITER 8846 NEW BEST:: SOT 33745131 SOS 29983797 HAS SOPS 29607656 HAS SOUS 3038273 HAS SOUPS 3035974 WITH SCORE 3065957.797
AT ITER 8851 NEW BEST:: SOT 33745835 SOS 29984501 HAS SOPS 29608360 HAS SOUS 3037175 HAS SOUPS 3034876 WITH SCORE 3064860.501
AT ITER 8857 NEW BEST:: SOT 33749926 SOS 29988486 HAS SOPS 29612057 HAS SOUS 3036307 HAS SOUPS 3034008 WITH SCORE 3063996.486
AT ITER 8867 NEW BEST:: SOT 33756415 SOS 29994975 HAS SOPS 29618300 HAS SOUS 3036183 HAS SOUPS 3033884 WITH SCORE 3063878.975
AT ITER 8869 NEW BEST:: SOT 33758456 SOS 29997016 HAS SOPS 29620341 HAS SOUS 3034142 HAS SOUPS 3031843 WITH SCORE 3061840.016
AT ITER 8870 NEW BEST:: SOT 33844485 SOS 30081689 HAS SOPS 29704428 HAS SOUS 3032667 HAS SOUPS 3030368 WITH SCORE 3060449.689
AT ITER 8878 NEW BEST:: SOT 33844485 SOS 30081689 HAS SOPS 29704428 HAS SOUS 3032484 HAS SOUPS 3030185 WITH SCORE 3060266.689
AT ITER 8907 NEW BEST:: SOT 33844054 SOS 30081258 HAS SOPS 29703309 HAS SOUS 3032310 HAS SOUPS 3030011 WITH SCORE 3060092.258
AT ITER 8920 NEW BEST:: SOT 33834500 SOS 30071704 HAS SOPS 29693755 HAS SOUS 3031748 HAS SOUPS 3029449 WITH SCORE 3059520.704
AT ITER 8923 NEW BEST:: SOT 33834500 SOS 30068318 HAS SOPS 29690369 HAS SOUS 3022273 HAS SOUPS 3019974 WITH SCORE 3050042.318
AT ITER 8926 NEW BEST:: SOT 33837264 SOS 30071082 HAS SOPS 29693133 HAS SOUS 3018913 HAS SOUPS 3016614 WITH SCORE 3046685.082
AT ITER 8939 NEW BEST:: SOT 33837849 SOS 30071667 HAS SOPS 29692878 HAS SOUS 3017989 HAS SOUPS 3015690 WITH SCORE 3045761.667
AT ITER 8947 NEW BEST:: SOT 33837584 SOS 30071402 HAS SOPS 29692613 HAS SOUS 3017459 HAS SOUPS 3015160 WITH SCORE 3045231.402
AT ITER 8949 NEW BEST:: SOT 33837338 SOS 30071285 HAS SOPS 29692496 HAS SOUS 3016646 HAS SOUPS 3014347 WITH SCORE 3044418.285
AT ITER 8963 NEW BEST:: SOT 33822004 SOS 30055951 HAS SOPS 29677162 HAS SOUS 3015744 HAS SOUPS 3013445 WITH SCORE 3043500.951
AT ITER 8969 NEW BEST:: SOT 33809029 SOS 30042976 HAS SOPS 29664187 HAS SOUS 3015744 HAS SOUPS 3013445 WITH SCORE 3043487.976
AT ITER 8979 NEW BEST:: SOT 33809331 SOS 30043278 HAS SOPS 29664489 HAS SOUS 3015442 HAS SOUPS 3013143 WITH SCORE 3043186.278
AT ITER 8983 NEW BEST:: SOT 33809331 SOS 30043278 HAS SOPS 29664633 HAS SOUS 3015298 HAS SOUPS 3012999 WITH SCORE 3043042.278
AT ITER 8991 NEW BEST:: SOT 33812201 SOS 30046148 HAS SOPS 29667503 HAS SOUS 3014888 HAS SOUPS 3012589 WITH SCORE 3042635.148
AT ITER 8992 NEW BEST:: SOT 33812925 SOS 30046872 HAS SOPS 29668227 HAS SOUS 3014164 HAS SOUPS 3011865 WITH SCORE 3041911.872
AT ITER 9009 NEW BEST:: SOT 33812377 SOS 30046324 HAS SOPS 29667679 HAS SOUS 3013950 HAS SOUPS 3011651 WITH SCORE 3041697.324
AT ITER 9016 NEW BEST:: SOT 33809861 SOS 30043808 HAS SOPS 29665163 HAS SOUS 3013802 HAS SOUPS 3011503 WITH SCORE 3041546.808
AT ITER 9046 NEW BEST:: SOT 33811541 SOS 30045488 HAS SOPS 29666843 HAS SOUS 3012689 HAS SOUPS 3010390 WITH SCORE 3040435.488
AT ITER 9058 NEW BEST:: SOT 33811255 SOS 30045202 HAS SOPS 29666557 HAS SOUS 3012117 HAS SOUPS 3009818 WITH SCORE 3039863.202
AT ITER 9066 NEW BEST:: SOT 33813426 SOS 30046879 HAS SOPS 29668434 HAS SOUS 3009467 HAS SOUPS 3007168 WITH SCORE 3037214.879
AT ITER 9074 NEW BEST:: SOT 33813378 SOS 30046831 HAS SOPS 29668386 HAS SOUS 3009371 HAS SOUPS 3007072 WITH SCORE 3037118.831
AT ITER 9076 NEW BEST:: SOT 33812462 SOS 30045915 HAS SOPS 29667470 HAS SOUS 3007252 HAS SOUPS 3004953 WITH SCORE 3034998.915
AT ITER 9079 NEW BEST:: SOT 33815400 SOS 30048853 HAS SOPS 29670408 HAS SOUS 3004968 HAS SOUPS 3002669 WITH SCORE 3032717.853
AT ITER 9082 NEW BEST:: SOT 33814620 SOS 30048073 HAS SOPS 29669628 HAS SOUS 3004916 HAS SOUPS 3002617 WITH SCORE 3032665.073
AT ITER 9085 NEW BEST:: SOT 33816299 SOS 30049752 HAS SOPS 29671307 HAS SOUS 3003237 HAS SOUPS 3000938 WITH SCORE 3030987.752
AT ITER 9096 NEW BEST:: SOT 33819574 SOS 30052831 HAS SOPS 29674386 HAS SOUS 3002602 HAS SOUPS 3000303 WITH SCORE 3030355.831
AT ITER 9098 NEW BEST:: SOT 33818452 SOS 30051709 HAS SOPS 29673264 HAS SOUS 3002536 HAS SOUPS 3000237 WITH SCORE 3030288.709
AT ITER 9101 NEW BEST:: SOT 33815738 SOS 30048995 HAS SOPS 29670550 HAS SOUS 3001179 HAS SOUPS 2998880 WITH SCORE 3028928.995
AT ITER 9104 NEW BEST:: SOT 33816533 SOS 30049790 HAS SOPS 29671345 HAS SOUS 3000384 HAS SOUPS 2998085 WITH SCORE 3028134.79
AT ITER 9111 NEW BEST:: SOT 33815445 SOS 30048702 HAS SOPS 29670257 HAS SOUS 3000320 HAS SOUPS 2998021 WITH SCORE 3028069.702
AT ITER 9115 NEW BEST:: SOT 33814877 SOS 30047170 HAS SOPS 29666453 HAS SOUS 2999752 HAS SOUPS 2997453 WITH SCORE 3027500.17
AT ITER 9118 NEW BEST:: SOT 33819229 SOS 30051113 HAS SOPS 29670396 HAS SOUS 2995659 HAS SOUPS 2993360 WITH SCORE 3023411.113
AT ITER 9119 NEW BEST:: SOT 33820034 SOS 30050514 HAS SOPS 29668973 HAS SOUS 2994236 HAS SOUPS 2991937 WITH SCORE 3021987.514
AT ITER 9126 NEW BEST:: SOT 33801523 SOS 30032003 HAS SOPS 29650603 HAS SOUS 2993703 HAS SOUPS 2991404 WITH SCORE 3021436.003
AT ITER 9138 NEW BEST:: SOT 33799118 SOS 30029598 HAS SOPS 29648198 HAS SOUS 2992652 HAS SOUPS 2990353 WITH SCORE 3020382.598
AT ITER 9149 NEW BEST:: SOT 33804304 SOS 30034784 HAS SOPS 29653384 HAS SOUS 2992214 HAS SOUPS 2989915 WITH SCORE 3019949.784
AT ITER 9151 NEW BEST:: SOT 33802412 SOS 30032892 HAS SOPS 29651492 HAS SOUS 2991268 HAS SOUPS 2988969 WITH SCORE 3019001.892
AT ITER 9157 NEW BEST:: SOT 33793814 SOS 30024422 HAS SOPS 29643608 HAS SOUS 2991135 HAS SOUPS 2988836 WITH SCORE 3018860.422
AT ITER 9160 NEW BEST:: SOT 33796374 SOS 30026982 HAS SOPS 29646168 HAS SOUS 2989889 HAS SOUPS 2987590 WITH SCORE 3017616.982
AT ITER 9166 NEW BEST:: SOT 33796374 SOS 30026982 HAS SOPS 29646168 HAS SOUS 2989861 HAS SOUPS 2987562 WITH SCORE 3017588.982
AT ITER 9168 NEW BEST:: SOT 33799792 SOS 30030400 HAS SOPS 29649586 HAS SOUS 2988375 HAS SOUPS 2986076 WITH SCORE 3016106.4
AT ITER 9179 NEW BEST:: SOT 33804249 SOS 30034857 HAS SOPS 29654043 HAS SOUS 2986580 HAS SOUPS 2984281 WITH SCORE 3014315.857
AT ITER 9197 NEW BEST:: SOT 33807547 SOS 30038155 HAS SOPS 29657341 HAS SOUS 2984045 HAS SOUPS 2981746 WITH SCORE 3011784.155
AT ITER 9232 NEW BEST:: SOT 33814202 SOS 30044810 HAS SOPS 29663996 HAS SOUS 2983955 HAS SOUPS 2981656 WITH SCORE 3011700.81
AT ITER 9237 NEW BEST:: SOT 33893584 SOS 30119501 HAS SOPS 29738101 HAS SOUS 2975241 HAS SOUPS 2972942 WITH SCORE 3003061.501
AT ITER 9274 NEW BEST:: SOT 33884982 SOS 30110899 HAS SOPS 29729499 HAS SOUS 2974735 HAS SOUPS 2972436 WITH SCORE 3002546.899
AT ITER 9275 NEW BEST:: SOT 33887446 SOS 30113363 HAS SOPS 29731963 HAS SOUS 2974241 HAS SOUPS 2971942 WITH SCORE 3002055.363
AT ITER 9279 NEW BEST:: SOT 33903917 SOS 30126251 HAS SOPS 29744634 HAS SOUS 2965838 HAS SOUPS 2963539 WITH SCORE 2993665.251
AT ITER 9297 NEW BEST:: SOT 33903548 SOS 30125882 HAS SOPS 29744265 HAS SOUS 2965838 HAS SOUPS 2963539 WITH SCORE 2993664.882
AT ITER 9300 NEW BEST:: SOT 33908756 SOS 30130196 HAS SOPS 29747371 HAS SOUS 2965402 HAS SOUPS 2963103 WITH SCORE 2993233.196
AT ITER 9303 NEW BEST:: SOT 33888926 SOS 30110366 HAS SOPS 29727541 HAS SOUS 2965402 HAS SOUPS 2963103 WITH SCORE 2993213.366
AT ITER 9312 NEW BEST:: SOT 33866622 SOS 30088062 HAS SOPS 29705237 HAS SOUS 2964090 HAS SOUPS 2961791 WITH SCORE 2991879.062
AT ITER 9329 NEW BEST:: SOT 33878142 SOS 30099582 HAS SOPS 29716757 HAS SOUS 2963370 HAS SOUPS 2961071 WITH SCORE 2991170.582
AT ITER 9331 NEW BEST:: SOT 33935254 SOS 30154061 HAS SOPS 29770650 HAS SOUS 2956119 HAS SOUPS 2953820 WITH SCORE 2983974.061
AT ITER 9338 NEW BEST:: SOT 33937833 SOS 30156640 HAS SOPS 29773229 HAS SOUS 2954318 HAS SOUPS 2952019 WITH SCORE 2982175.64
AT ITER 9345 NEW BEST:: SOT 33951198 SOS 30169736 HAS SOPS 29786108 HAS SOUS 2950477 HAS SOUPS 2948178 WITH SCORE 2978347.736
AT ITER 9350 NEW BEST:: SOT 33951189 SOS 30169727 HAS SOPS 29786099 HAS SOUS 2950242 HAS SOUPS 2947943 WITH SCORE 2978112.727
AT ITER 9372 NEW BEST:: SOT 33932642 SOS 30151180 HAS SOPS 29767552 HAS SOUS 2949151 HAS SOUPS 2946852 WITH SCORE 2977003.18
AT ITER 9378 NEW BEST:: SOT 33930818 SOS 30149356 HAS SOPS 29765728 HAS SOUS 2948239 HAS SOUPS 2945940 WITH SCORE 2976089.356
AT ITER 9383 NEW BEST:: SOT 33934839 SOS 30153377 HAS SOPS 29769749 HAS SOUS 2947257 HAS SOUPS 2944958 WITH SCORE 2975111.377
AT ITER 9391 NEW BEST:: SOT 33934839 SOS 30153189 HAS SOPS 29769561 HAS SOUS 2947225 HAS SOUPS 2944926 WITH SCORE 2975079.189
AT ITER 9402 NEW BEST:: SOT 33893903 SOS 30112253 HAS SOPS 29728625 HAS SOUS 2944817 HAS SOUPS 2942518 WITH SCORE 2972630.253
AT ITER 9406 NEW BEST:: SOT 33894083 SOS 30112433 HAS SOPS 29728805 HAS SOUS 2944637 HAS SOUPS 2942338 WITH SCORE 2972450.433
AT ITER 9413 NEW BEST:: SOT 33892253 SOS 30110603 HAS SOPS 29726975 HAS SOUS 2943694 HAS SOUPS 2941395 WITH SCORE 2971505.603
AT ITER 9415 NEW BEST:: SOT 33892719 SOS 30111023 HAS SOPS 29727395 HAS SOUS 2943136 HAS SOUPS 2940837 WITH SCORE 2970948.023
AT ITER 9421 NEW BEST:: SOT 33903584 SOS 30119405 HAS SOPS 29735191 HAS SOUS 2932994 HAS SOUPS 2930695 WITH SCORE 2960814.405
AT ITER 9427 NEW BEST:: SOT 33903683 SOS 30119504 HAS SOPS 29734990 HAS SOUS 2932295 HAS SOUPS 2929996 WITH SCORE 2960115.504
AT ITER 9438 NEW BEST:: SOT 33903683 SOS 30116469 HAS SOPS 29731955 HAS SOUS 2925725 HAS SOUPS 2923426 WITH SCORE 2953542.469
AT ITER 9443 NEW BEST:: SOT 33885875 SOS 30098661 HAS SOPS 29714147 HAS SOUS 2923499 HAS SOUPS 2921200 WITH SCORE 2951298.661
AT ITER 9454 NEW BEST:: SOT 33871935 SOS 30084721 HAS SOPS 29700207 HAS SOUS 2922679 HAS SOUPS 2920380 WITH SCORE 2950464.721
AT ITER 9455 NEW BEST:: SOT 33871829 SOS 30084615 HAS SOPS 29700101 HAS SOUS 2922467 HAS SOUPS 2920168 WITH SCORE 2950252.615
AT ITER 9481 NEW BEST:: SOT 33892677 SOS 30105463 HAS SOPS 29720949 HAS SOUS 2921164 HAS SOUPS 2918865 WITH SCORE 2948970.463
AT ITER 9486 NEW BEST:: SOT 33892677 SOS 30105200 HAS SOPS 29720686 HAS SOUS 2920638 HAS SOUPS 2918339 WITH SCORE 2948444.2
AT ITER 9490 NEW BEST:: SOT 33892677 SOS 30088386 HAS SOPS 29703872 HAS SOUS 2920638 HAS SOUPS 2918339 WITH SCORE 2948427.386
AT ITER 9495 NEW BEST:: SOT 33892677 SOS 30072137 HAS SOPS 29687623 HAS SOUS 2919258 HAS SOUPS 2916959 WITH SCORE 2947031.137
AT ITER 9498 NEW BEST:: SOT 33875847 SOS 30055307 HAS SOPS 29670793 HAS SOUS 2918268 HAS SOUPS 2915969 WITH SCORE 2946024.307
AT ITER 9499 NEW BEST:: SOT 33864049 SOS 30043509 HAS SOPS 29658995 HAS SOUS 2917574 HAS SOUPS 2915275 WITH SCORE 2945318.509
AT ITER 9501 NEW BEST:: SOT 33864049 SOS 30043509 HAS SOPS 29658995 HAS SOUS 2917210 HAS SOUPS 2914911 WITH SCORE 2944954.509
AT ITER 9518 NEW BEST:: SOT 33862219 SOS 30041679 HAS SOPS 29657165 HAS SOUS 2917210 HAS SOUPS 2914911 WITH SCORE 2944952.679
AT ITER 9522 NEW BEST:: SOT 33861870 SOS 30041330 HAS SOPS 29656816 HAS SOUS 2916280 HAS SOUPS 2913981 WITH SCORE 2944022.33
AT ITER 9526 NEW BEST:: SOT 33865910 SOS 30045370 HAS SOPS 29660856 HAS SOUS 2913049 HAS SOUPS 2910750 WITH SCORE 2940795.37
AT ITER 9532 NEW BEST:: SOT 33865836 SOS 30045296 HAS SOPS 29660782 HAS SOUS 2912901 HAS SOUPS 2910602 WITH SCORE 2940647.296
AT ITER 9539 NEW BEST:: SOT 33854607 SOS 30034067 HAS SOPS 29649039 HAS SOUS 2912287 HAS SOUPS 2909988 WITH SCORE 2940022.067
AT ITER 9544 NEW BEST:: SOT 33851639 SOS 30031099 HAS SOPS 29646071 HAS SOUS 2910803 HAS SOUPS 2908504 WITH SCORE 2938535.099
AT ITER 9553 NEW BEST:: SOT 33849639 SOS 30029520 HAS SOPS 29644492 HAS SOUS 2910791 HAS SOUPS 2908492 WITH SCORE 2938521.52
AT ITER 9555 NEW BEST:: SOT 33871170 SOS 30050778 HAS SOPS 29665164 HAS SOUS 2910576 HAS SOUPS 2908277 WITH SCORE 2938327.778
AT ITER 9557 NEW BEST:: SOT 33874575 SOS 30054183 HAS SOPS 29668569 HAS SOUS 2908981 HAS SOUPS 2906682 WITH SCORE 2936736.183
AT ITER 9569 NEW BEST:: SOT 33877398 SOS 30053738 HAS SOPS 29668124 HAS SOUS 2898831 HAS SOUPS 2896532 WITH SCORE 2926585.738
AT ITER 9574 NEW BEST:: SOT 33826035 SOS 30002375 HAS SOPS 29616761 HAS SOUS 2898831 HAS SOUPS 2896532 WITH SCORE 2926534.375
AT ITER 9576 NEW BEST:: SOT 33791967 SOS 29968307 HAS SOPS 29582693 HAS SOUS 2896827 HAS SOUPS 2894528 WITH SCORE 2924496.307
AT ITER 9600 NEW BEST:: SOT 33770133 SOS 29946473 HAS SOPS 29560859 HAS SOUS 2895729 HAS SOUPS 2893430 WITH SCORE 2923376.473
AT ITER 9603 NEW BEST:: SOT 33770133 SOS 29946473 HAS SOPS 29560859 HAS SOUS 2895563 HAS SOUPS 2893264 WITH SCORE 2923210.473
AT ITER 9610 NEW BEST:: SOT 33769535 SOS 29945875 HAS SOPS 29559583 HAS SOUS 2895045 HAS SOUPS 2892746 WITH SCORE 2922691.875
AT ITER 9618 NEW BEST:: SOT 33769005 SOS 29945345 HAS SOPS 29559053 HAS SOUS 2893779 HAS SOUPS 2891480 WITH SCORE 2921425.345
AT ITER 9625 NEW BEST:: SOT 33772540 SOS 29948880 HAS SOPS 29562588 HAS SOUS 2893640 HAS SOUPS 2891341 WITH SCORE 2921289.88
AT ITER 9636 NEW BEST:: SOT 33788016 SOS 29964356 HAS SOPS 29578064 HAS SOUS 2893374 HAS SOUPS 2891075 WITH SCORE 2921039.356
AT ITER 9637 NEW BEST:: SOT 33717670 SOS 29894010 HAS SOPS 29507718 HAS SOUS 2888436 HAS SOUPS 2886137 WITH SCORE 2916031.01
AT ITER 9640 NEW BEST:: SOT 33674692 SOS 29851032 HAS SOPS 29464740 HAS SOUS 2888436 HAS SOUPS 2886137 WITH SCORE 2915988.032
AT ITER 9666 NEW BEST:: SOT 33675873 SOS 29852213 HAS SOPS 29465921 HAS SOUS 2887255 HAS SOUPS 2884956 WITH SCORE 2914808.213
AT ITER 9667 NEW BEST:: SOT 33675675 SOS 29852015 HAS SOPS 29465723 HAS SOUS 2886940 HAS SOUPS 2884641 WITH SCORE 2914493.015
AT ITER 9668 NEW BEST:: SOT 33645432 SOS 29821772 HAS SOPS 29434577 HAS SOUS 2886037 HAS SOUPS 2883738 WITH SCORE 2913559.772
AT ITER 9676 NEW BEST:: SOT 33678457 SOS 29853860 HAS SOPS 29466448 HAS SOUS 2883329 HAS SOUPS 2881030 WITH SCORE 2910883.86
AT ITER 9695 NEW BEST:: SOT 33683890 SOS 29858781 HAS SOPS 29470161 HAS SOUS 2882907 HAS SOUPS 2880608 WITH SCORE 2910466.781
AT ITER 9697 NEW BEST:: SOT 33686663 SOS 29861554 HAS SOPS 29472934 HAS SOUS 2881389 HAS SOUPS 2879090 WITH SCORE 2908951.554
AT ITER 9705 NEW BEST:: SOT 33690974 SOS 29865772 HAS SOPS 29477152 HAS SOUS 2880070 HAS SOUPS 2877771 WITH SCORE 2907636.772
AT ITER 9708 NEW BEST:: SOT 33695950 SOS 29870748 HAS SOPS 29482128 HAS SOUS 2878286 HAS SOUPS 2875987 WITH SCORE 2905857.748
AT ITER 9737 NEW BEST:: SOT 33698779 SOS 29872731 HAS SOPS 29482903 HAS SOUS 2878241 HAS SOUPS 2875942 WITH SCORE 2905814.731
AT ITER 9763 NEW BEST:: SOT 33701045 SOS 29874997 HAS SOPS 29485169 HAS SOUS 2877799 HAS SOUPS 2875500 WITH SCORE 2905374.997
AT ITER 9765 NEW BEST:: SOT 33703317 SOS 29877269 HAS SOPS 29487441 HAS SOUS 2876300 HAS SOUPS 2874001 WITH SCORE 2903878.269
AT ITER 9776 NEW BEST:: SOT 33703317 SOS 29874862 HAS SOPS 29485034 HAS SOUS 2870545 HAS SOUPS 2868246 WITH SCORE 2898120.862
AT ITER 9778 NEW BEST:: SOT 33782189 SOS 29949847 HAS SOPS 29559433 HAS SOUS 2863566 HAS SOUPS 2861267 WITH SCORE 2891216.847
AT ITER 9808 NEW BEST:: SOT 33786880 SOS 29954538 HAS SOPS 29564124 HAS SOUS 2861722 HAS SOUPS 2859423 WITH SCORE 2889377.538
AT ITER 9820 NEW BEST:: SOT 33785047 SOS 29952705 HAS SOPS 29564124 HAS SOUS 2860500 HAS SOUPS 2858201 WITH SCORE 2888153.705
AT ITER 9837 NEW BEST:: SOT 33784042 SOS 29951700 HAS SOPS 29563186 HAS SOUS 2860500 HAS SOUPS 2858201 WITH SCORE 2888152.7
AT ITER 9846 NEW BEST:: SOT 33786894 SOS 29954475 HAS SOPS 29565961 HAS SOUS 2860185 HAS SOUPS 2857886 WITH SCORE 2887840.475
AT ITER 9850 NEW BEST:: SOT 33786894 SOS 29953190 HAS SOPS 29564676 HAS SOUS 2856844 HAS SOUPS 2854545 WITH SCORE 2884498.19
AT ITER 9863 NEW BEST:: SOT 33762584 SOS 29928880 HAS SOPS 29540366 HAS SOUS 2855414 HAS SOUPS 2853115 WITH SCORE 2883043.88
AT ITER 9864 NEW BEST:: SOT 33750548 SOS 29916844 HAS SOPS 29528330 HAS SOUS 2854706 HAS SOUPS 2852407 WITH SCORE 2882323.844
AT ITER 9869 NEW BEST:: SOT 33770708 SOS 29937004 HAS SOPS 29548490 HAS SOUS 2853814 HAS SOUPS 2851515 WITH SCORE 2881452.004
AT ITER 9874 NEW BEST:: SOT 33770708 SOS 29815702 HAS SOPS 29427188 HAS SOUS 2848070 HAS SOUPS 2845771 WITH SCORE 2875586.702
AT ITER 9886 NEW BEST:: SOT 33788193 SOS 29830584 HAS SOPS 29441484 HAS SOUS 2839220 HAS SOUPS 2836921 WITH SCORE 2866751.584
AT ITER 9890 NEW BEST:: SOT 33788849 SOS 29831240 HAS SOPS 29442140 HAS SOUS 2838690 HAS SOUPS 2836391 WITH SCORE 2866222.24
AT ITER 9901 NEW BEST:: SOT 33751278 SOS 29793669 HAS SOPS 29404569 HAS SOUS 2837963 HAS SOUPS 2835664 WITH SCORE 2865457.669
AT ITER 9908 NEW BEST:: SOT 33751278 SOS 29674812 HAS SOPS 29285712 HAS SOUS 2833944 HAS SOUPS 2831645 WITH SCORE 2861319.812
AT ITER 9914 NEW BEST:: SOT 33752148 SOS 29675682 HAS SOPS 29286582 HAS SOUS 2833935 HAS SOUPS 2831636 WITH SCORE 2861311.682
AT ITER 9926 NEW BEST:: SOT 33752117 SOS 29675651 HAS SOPS 29286551 HAS SOUS 2833873 HAS SOUPS 2831574 WITH SCORE 2861249.651
AT ITER 9945 NEW BEST:: SOT 33756738 SOS 29680272 HAS SOPS 29291172 HAS SOUS 2832960 HAS SOUPS 2830661 WITH SCORE 2860341.272
AT ITER 9948 NEW BEST:: SOT 33759658 SOS 29683192 HAS SOPS 29294092 HAS SOUS 2830040 HAS SOUPS 2827741 WITH SCORE 2857424.192
AT ITER 9954 NEW BEST:: SOT 33775732 SOS 29693722 HAS SOPS 29304036 HAS SOUS 2817929 HAS SOUPS 2815630 WITH SCORE 2845323.722
AT ITER 9983 NEW BEST:: SOT 33848820 SOS 29764813 HAS SOPS 29374541 HAS SOUS 2812385 HAS SOUPS 2810086 WITH SCORE 2839850.813
AT ITER 9992 NEW BEST:: SOT 33847621 SOS 29763614 HAS SOPS 29373342 HAS SOUS 2811186 HAS SOUPS 2808887 WITH SCORE 2838650.614
AT ITER 9999 NEW BEST:: SOT 33845861 SOS 29761854 HAS SOPS 29371582 HAS SOUS 2811019 HAS SOUPS 2808720 WITH SCORE 2838481.854
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 7729740 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16105484 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="RingSingleMessageInMbox-PT-d1m005"
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 RingSingleMessageInMbox-PT-d1m005, 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 r331-tall-167889205000840"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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