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.r299-tall-167873952800336.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 PhilosophersDyn-PT-20, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r299-tall-167873952800336
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 52M
-rw-r--r-- 1 mcc users 118K Feb 26 13:09 CTLCardinality.txt
-rw-r--r-- 1 mcc users 462K Feb 26 13:09 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0M Feb 26 13:04 CTLFireability.txt
-rw-r--r-- 1 mcc users 9.6M Feb 26 13:04 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 66K Feb 25 16:34 LTLCardinality.txt
-rw-r--r-- 1 mcc users 189K Feb 25 16:34 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.6M Feb 25 16:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 5.6M Feb 25 16:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 335K Feb 26 14:31 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 1.4M Feb 26 14:31 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.0M Feb 26 14:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15M Feb 26 14:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 16:34 UpperBounds.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:34 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 14M 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 1679483121229

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=PhilosophersDyn-PT-20
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-22 11:05:22] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-22 11:05:22] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-22 11:05:23] [INFO ] Load time of PNML (sax parser for PT used): 713 ms
[2023-03-22 11:05:23] [INFO ] Transformed 540 places.
[2023-03-22 11:05:23] [INFO ] Transformed 17220 transitions.
[2023-03-22 11:05:23] [INFO ] Parsed PT model containing 540 places and 17220 transitions and 140780 arcs in 932 ms.
[2023-03-22 11:05:23] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 540 places, 17220 transitions and 140780 arcs took 202 ms.
Total runtime 1164 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PhilosophersDyn (PT), instance 20
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: 540 places, 17220 transitions, 140780 arcs.
AT ITER 0 NEW BEST:: SOT 6875845 SOS 6405119 HAS SOPS 6222048 HAS SOUS 4128631 HAS SOUPS 4118486 WITH SCORE 4124891.119
AT ITER 6 NEW BEST:: SOT 6871925 SOS 6401199 HAS SOPS 6218128 HAS SOUS 4124385 HAS SOUPS 4114240 WITH SCORE 4120641.199
AT ITER 7 NEW BEST:: SOT 6872173 SOS 6401447 HAS SOPS 6218376 HAS SOUS 4124153 HAS SOUPS 4114008 WITH SCORE 4120409.447
AT ITER 8 NEW BEST:: SOT 6871988 SOS 6401262 HAS SOPS 6218191 HAS SOUS 4123732 HAS SOUPS 4113587 WITH SCORE 4119988.262
AT ITER 9 NEW BEST:: SOT 6868255 SOS 6397529 HAS SOPS 6214458 HAS SOUS 4117601 HAS SOUPS 4107456 WITH SCORE 4113853.529
AT ITER 10 NEW BEST:: SOT 6867589 SOS 6396863 HAS SOPS 6213792 HAS SOUS 4117471 HAS SOUPS 4107326 WITH SCORE 4113722.863
AT ITER 12 NEW BEST:: SOT 6867575 SOS 6396849 HAS SOPS 6213778 HAS SOUS 4117112 HAS SOUPS 4106967 WITH SCORE 4113363.849
AT ITER 16 NEW BEST:: SOT 6867543 SOS 6396817 HAS SOPS 6213746 HAS SOUS 4116414 HAS SOUPS 4106269 WITH SCORE 4112665.817
AT ITER 18 NEW BEST:: SOT 6866741 SOS 6396015 HAS SOPS 6212944 HAS SOUS 4115828 HAS SOUPS 4105683 WITH SCORE 4112079.015
AT ITER 24 NEW BEST:: SOT 6859734 SOS 6388674 HAS SOPS 6205937 HAS SOUS 4108470 HAS SOUPS 4098659 WITH SCORE 4105047.674
AT ITER 26 NEW BEST:: SOT 6859702 SOS 6388642 HAS SOPS 6205905 HAS SOUS 4108378 HAS SOUPS 4098567 WITH SCORE 4104955.642
AT ITER 27 NEW BEST:: SOT 6859483 SOS 6388423 HAS SOPS 6205686 HAS SOUS 4107314 HAS SOUPS 4097503 WITH SCORE 4103891.423
AT ITER 29 NEW BEST:: SOT 6857849 SOS 6386789 HAS SOPS 6204052 HAS SOUS 4103844 HAS SOUPS 4094033 WITH SCORE 4100419.789
AT ITER 30 NEW BEST:: SOT 6834729 SOS 6365416 HAS SOPS 6183735 HAS SOUS 4086747 HAS SOUPS 4076949 WITH SCORE 4083314.416
AT ITER 33 NEW BEST:: SOT 6835549 SOS 6366236 HAS SOPS 6184555 HAS SOUS 4086685 HAS SOUPS 4076887 WITH SCORE 4083253.236
AT ITER 35 NEW BEST:: SOT 6834881 SOS 6365568 HAS SOPS 6183887 HAS SOUS 4085112 HAS SOUPS 4075314 WITH SCORE 4081679.568
AT ITER 40 NEW BEST:: SOT 6834789 SOS 6365476 HAS SOPS 6183795 HAS SOUS 4084993 HAS SOUPS 4075195 WITH SCORE 4081560.476
AT ITER 41 NEW BEST:: SOT 6834791 SOS 6365478 HAS SOPS 6183797 HAS SOUS 4084906 HAS SOUPS 4075108 WITH SCORE 4081473.478
AT ITER 43 NEW BEST:: SOT 6839588 SOS 6369893 HAS SOPS 6188594 HAS SOUS 4077671 HAS SOUPS 4068255 WITH SCORE 4074624.893
AT ITER 44 NEW BEST:: SOT 6839126 SOS 6369431 HAS SOPS 6188132 HAS SOUS 4077297 HAS SOUPS 4067881 WITH SCORE 4074250.431
AT ITER 47 NEW BEST:: SOT 6838808 SOS 6369113 HAS SOPS 6187814 HAS SOUS 4077228 HAS SOUPS 4067812 WITH SCORE 4074181.113
AT ITER 48 NEW BEST:: SOT 6863756 SOS 6374636 HAS SOPS 6197353 HAS SOUS 4042714 HAS SOUPS 4031500 WITH SCORE 4037874.636
AT ITER 49 NEW BEST:: SOT 6863209 SOS 6374089 HAS SOPS 6196806 HAS SOUS 4041164 HAS SOUPS 4029950 WITH SCORE 4036324.089
AT ITER 50 NEW BEST:: SOT 6862234 SOS 6373114 HAS SOPS 6195831 HAS SOUS 4040592 HAS SOUPS 4029378 WITH SCORE 4035751.114
AT ITER 52 NEW BEST:: SOT 6862208 SOS 6373070 HAS SOPS 6195805 HAS SOUS 4040493 HAS SOUPS 4029297 WITH SCORE 4035670.07
AT ITER 54 NEW BEST:: SOT 6861832 SOS 6372573 HAS SOPS 6195429 HAS SOUS 4039927 HAS SOUPS 4028852 WITH SCORE 4035224.573
AT ITER 55 NEW BEST:: SOT 6861643 SOS 6372380 HAS SOPS 6195240 HAS SOUS 4039694 HAS SOUPS 4028623 WITH SCORE 4034995.38
AT ITER 57 NEW BEST:: SOT 6855212 SOS 6365949 HAS SOPS 6188809 HAS SOUS 4029766 HAS SOUPS 4018695 WITH SCORE 4025060.949
AT ITER 58 NEW BEST:: SOT 6901259 SOS 6393262 HAS SOPS 6219181 HAS SOUS 4003051 HAS SOUPS 3989585 WITH SCORE 3995978.262
AT ITER 64 NEW BEST:: SOT 6882013 SOS 6377503 HAS SOPS 6204064 HAS SOUS 3990078 HAS SOUPS 3976601 WITH SCORE 3982978.503
AT ITER 65 NEW BEST:: SOT 6877806 SOS 6373263 HAS SOPS 6199857 HAS SOUS 3984849 HAS SOUPS 3971405 WITH SCORE 3977778.263
AT ITER 66 NEW BEST:: SOT 6870573 SOS 6365904 HAS SOPS 6192624 HAS SOUS 3975828 HAS SOUPS 3962510 WITH SCORE 3968875.904
AT ITER 67 NEW BEST:: SOT 6869892 SOS 6365223 HAS SOPS 6191943 HAS SOUS 3975333 HAS SOUPS 3962015 WITH SCORE 3968380.223
AT ITER 68 NEW BEST:: SOT 6869822 SOS 6365153 HAS SOPS 6191873 HAS SOUS 3974773 HAS SOUPS 3961455 WITH SCORE 3967820.153
AT ITER 70 NEW BEST:: SOT 6867903 SOS 6363234 HAS SOPS 6189954 HAS SOUS 3972317 HAS SOUPS 3958999 WITH SCORE 3965362.234
AT ITER 75 NEW BEST:: SOT 6867925 SOS 6351588 HAS SOPS 6180139 HAS SOUS 3941662 HAS SOUPS 3928560 WITH SCORE 3934911.588
AT ITER 76 NEW BEST:: SOT 6873841 SOS 6357504 HAS SOPS 6186055 HAS SOUS 3934247 HAS SOUPS 3921145 WITH SCORE 3927502.504
AT ITER 78 NEW BEST:: SOT 6869297 SOS 6352815 HAS SOPS 6181511 HAS SOUS 3928632 HAS SOUPS 3915675 WITH SCORE 3922027.815
AT ITER 85 NEW BEST:: SOT 6867109 SOS 6350627 HAS SOPS 6179323 HAS SOUS 3925739 HAS SOUPS 3912782 WITH SCORE 3919132.627
AT ITER 88 NEW BEST:: SOT 6894494 SOS 6359253 HAS SOPS 6190883 HAS SOUS 3877593 HAS SOUPS 3863090 WITH SCORE 3869449.253
AT ITER 89 NEW BEST:: SOT 6894060 SOS 6359124 HAS SOPS 6190754 HAS SOUS 3877192 HAS SOUPS 3862689 WITH SCORE 3869048.124
AT ITER 95 NEW BEST:: SOT 6893731 SOS 6358787 HAS SOPS 6190425 HAS SOUS 3876797 HAS SOUPS 3862302 WITH SCORE 3868660.787
AT ITER 96 NEW BEST:: SOT 6892522 SOS 6357578 HAS SOPS 6189216 HAS SOUS 3871214 HAS SOUPS 3856719 WITH SCORE 3863076.578
AT ITER 99 NEW BEST:: SOT 6882557 SOS 6347613 HAS SOPS 6179251 HAS SOUS 3865013 HAS SOUPS 3850518 WITH SCORE 3856865.613
AT ITER 100 NEW BEST:: SOT 6877150 SOS 6342010 HAS SOPS 6173844 HAS SOUS 3852087 HAS SOUPS 3837788 WITH SCORE 3844130.01
AT ITER 101 NEW BEST:: SOT 6877692 SOS 6336725 HAS SOPS 6171217 HAS SOUS 3831596 HAS SOUPS 3817476 WITH SCORE 3823812.725
AT ITER 104 NEW BEST:: SOT 6877668 SOS 6336701 HAS SOPS 6171193 HAS SOUS 3831495 HAS SOUPS 3817375 WITH SCORE 3823711.701
AT ITER 115 NEW BEST:: SOT 6908551 SOS 6346108 HAS SOPS 6188560 HAS SOUS 3810784 HAS SOUPS 3794549 WITH SCORE 3800895.108
AT ITER 119 NEW BEST:: SOT 6908409 SOS 6345966 HAS SOPS 6188405 HAS SOUS 3810642 HAS SOUPS 3794394 WITH SCORE 3800739.966
AT ITER 122 NEW BEST:: SOT 6906191 SOS 6343748 HAS SOPS 6186187 HAS SOUS 3807529 HAS SOUPS 3791281 WITH SCORE 3797624.748
AT ITER 126 NEW BEST:: SOT 6898793 SOS 6336037 HAS SOPS 6178789 HAS SOUS 3792554 HAS SOUPS 3776619 WITH SCORE 3782955.037
AT ITER 128 NEW BEST:: SOT 6896898 SOS 6334142 HAS SOPS 6176894 HAS SOUS 3790621 HAS SOUPS 3774686 WITH SCORE 3781020.142
AT ITER 132 NEW BEST:: SOT 6896059 SOS 6333303 HAS SOPS 6176055 HAS SOUS 3790160 HAS SOUPS 3774225 WITH SCORE 3780558.303
AT ITER 138 NEW BEST:: SOT 6888358 SOS 6325602 HAS SOPS 6168354 HAS SOUS 3777532 HAS SOUPS 3761597 WITH SCORE 3767922.602
AT ITER 141 NEW BEST:: SOT 6887500 SOS 6324569 HAS SOPS 6167496 HAS SOUS 3774519 HAS SOUPS 3758759 WITH SCORE 3765083.569
AT ITER 142 NEW BEST:: SOT 6883698 SOS 6320767 HAS SOPS 6163694 HAS SOUS 3768360 HAS SOUPS 3752600 WITH SCORE 3758920.767
AT ITER 160 NEW BEST:: SOT 6883638 SOS 6320707 HAS SOPS 6163634 HAS SOUS 3767946 HAS SOUPS 3752186 WITH SCORE 3758506.707
AT ITER 161 NEW BEST:: SOT 6882444 SOS 6318708 HAS SOPS 6162213 HAS SOUS 3765275 HAS SOUPS 3749837 WITH SCORE 3756155.708
AT ITER 164 NEW BEST:: SOT 6882089 SOS 6318353 HAS SOPS 6161858 HAS SOUS 3763647 HAS SOUPS 3748209 WITH SCORE 3754527.353
AT ITER 165 NEW BEST:: SOT 6897199 SOS 6315774 HAS SOPS 6165220 HAS SOUS 3735880 HAS SOUPS 3718597 WITH SCORE 3724912.774
AT ITER 167 NEW BEST:: SOT 6885510 SOS 6304290 HAS SOPS 6154245 HAS SOUS 3725801 HAS SOUPS 3709027 WITH SCORE 3715331.29
AT ITER 176 NEW BEST:: SOT 6879559 SOS 6298236 HAS SOPS 6148294 HAS SOUS 3719332 HAS SOUPS 3702661 WITH SCORE 3708959.236
AT ITER 182 NEW BEST:: SOT 6930550 SOS 6334063 HAS SOPS 6185461 HAS SOUS 3696217 HAS SOUPS 3676949 WITH SCORE 3683283.063
AT ITER 186 NEW BEST:: SOT 6924613 SOS 6327927 HAS SOPS 6179524 HAS SOUS 3684561 HAS SOUPS 3665492 WITH SCORE 3671819.927
AT ITER 191 NEW BEST:: SOT 6924216 SOS 6327524 HAS SOPS 6179127 HAS SOUS 3684080 HAS SOUPS 3665017 WITH SCORE 3671344.524
AT ITER 192 NEW BEST:: SOT 6899440 SOS 6303064 HAS SOPS 6154833 HAS SOUS 3658750 HAS SOUPS 3639687 WITH SCORE 3645990.064
AT ITER 194 NEW BEST:: SOT 6899220 SOS 6304134 HAS SOPS 6156422 HAS SOUS 3648253 HAS SOUPS 3629190 WITH SCORE 3635494.134
AT ITER 198 NEW BEST:: SOT 6899296 SOS 6304182 HAS SOPS 6156498 HAS SOUS 3647606 HAS SOUPS 3628571 WITH SCORE 3634875.182
AT ITER 199 NEW BEST:: SOT 6909076 SOS 6283963 HAS SOPS 6148145 HAS SOUS 3606755 HAS SOUPS 3586225 WITH SCORE 3592508.963
AT ITER 200 NEW BEST:: SOT 6909069 SOS 6283957 HAS SOPS 6148138 HAS SOUS 3606746 HAS SOUPS 3586215 WITH SCORE 3592498.957
AT ITER 207 NEW BEST:: SOT 6909016 SOS 6283887 HAS SOPS 6148085 HAS SOUS 3606259 HAS SOUPS 3585745 WITH SCORE 3592028.887
AT ITER 215 NEW BEST:: SOT 6907852 SOS 6282723 HAS SOPS 6146921 HAS SOUS 3603970 HAS SOUPS 3583456 WITH SCORE 3589738.723
AT ITER 219 NEW BEST:: SOT 6906900 SOS 6281754 HAS SOPS 6145945 HAS SOUS 3603018 HAS SOUPS 3582497 WITH SCORE 3588778.754
AT ITER 222 NEW BEST:: SOT 6906680 SOS 6281534 HAS SOPS 6145725 HAS SOUS 3599094 HAS SOUPS 3578573 WITH SCORE 3584854.534
AT ITER 225 NEW BEST:: SOT 6906572 SOS 6281426 HAS SOPS 6145617 HAS SOUS 3597693 HAS SOUPS 3577172 WITH SCORE 3583453.426
AT ITER 231 NEW BEST:: SOT 6906384 SOS 6281232 HAS SOPS 6145429 HAS SOUS 3597475 HAS SOUPS 3576960 WITH SCORE 3583241.232
AT ITER 233 NEW BEST:: SOT 6906157 SOS 6281005 HAS SOPS 6145202 HAS SOUS 3596396 HAS SOUPS 3575881 WITH SCORE 3582162.005
AT ITER 241 NEW BEST:: SOT 6906293 SOS 6281126 HAS SOPS 6145338 HAS SOUS 3596332 HAS SOUPS 3575832 WITH SCORE 3582113.126
AT ITER 243 NEW BEST:: SOT 6903914 SOS 6278747 HAS SOPS 6142959 HAS SOUS 3589567 HAS SOUPS 3569067 WITH SCORE 3575345.747
AT ITER 245 NEW BEST:: SOT 6903812 SOS 6278633 HAS SOPS 6142857 HAS SOUS 3589308 HAS SOUPS 3568820 WITH SCORE 3575098.633
AT ITER 251 NEW BEST:: SOT 6901736 SOS 6276557 HAS SOPS 6140781 HAS SOUS 3584644 HAS SOUPS 3564156 WITH SCORE 3570432.557
AT ITER 253 NEW BEST:: SOT 6899789 SOS 6274555 HAS SOPS 6138834 HAS SOUS 3582676 HAS SOUPS 3562243 WITH SCORE 3568517.555
AT ITER 257 NEW BEST:: SOT 6895863 SOS 6270563 HAS SOPS 6134908 HAS SOUS 3577902 HAS SOUPS 3557535 WITH SCORE 3563805.563
AT ITER 260 NEW BEST:: SOT 6895210 SOS 6269899 HAS SOPS 6134255 HAS SOUS 3577131 HAS SOUPS 3556775 WITH SCORE 3563044.899
AT ITER 262 NEW BEST:: SOT 6895132 SOS 6269821 HAS SOPS 6134162 HAS SOUS 3577053 HAS SOUPS 3556682 WITH SCORE 3562951.821
AT ITER 265 NEW BEST:: SOT 6894698 SOS 6269339 HAS SOPS 6133728 HAS SOUS 3575077 HAS SOUPS 3554754 WITH SCORE 3561023.339
AT ITER 269 NEW BEST:: SOT 6892529 SOS 6267003 HAS SOPS 6131559 HAS SOUS 3570014 HAS SOUPS 3549858 WITH SCORE 3556125.003
AT ITER 278 NEW BEST:: SOT 6892484 SOS 6266958 HAS SOPS 6131514 HAS SOUS 3569596 HAS SOUPS 3549440 WITH SCORE 3555706.958
AT ITER 279 NEW BEST:: SOT 6888449 SOS 6262923 HAS SOPS 6127479 HAS SOUS 3561048 HAS SOUPS 3540892 WITH SCORE 3547154.923
AT ITER 283 NEW BEST:: SOT 6888077 SOS 6262472 HAS SOPS 6127107 HAS SOUS 3559168 HAS SOUPS 3539091 WITH SCORE 3545353.472
AT ITER 284 NEW BEST:: SOT 6872014 SOS 6246471 HAS SOPS 6111548 HAS SOUS 3543342 HAS SOUPS 3523707 WITH SCORE 3529953.471
AT ITER 285 NEW BEST:: SOT 6870753 SOS 6245210 HAS SOPS 6110287 HAS SOUS 3539756 HAS SOUPS 3520121 WITH SCORE 3526366.21
AT ITER 288 NEW BEST:: SOT 6867517 SOS 6241978 HAS SOPS 6107051 HAS SOUS 3531481 HAS SOUPS 3511842 WITH SCORE 3518083.978
AT ITER 292 NEW BEST:: SOT 6867558 SOS 6242010 HAS SOPS 6107092 HAS SOUS 3531384 HAS SOUPS 3511754 WITH SCORE 3517996.01
AT ITER 294 NEW BEST:: SOT 6864658 SOS 6239081 HAS SOPS 6104192 HAS SOUS 3525067 HAS SOUPS 3505466 WITH SCORE 3511705.081
AT ITER 303 NEW BEST:: SOT 6863750 SOS 6238194 HAS SOPS 6103278 HAS SOUS 3524184 HAS SOUPS 3504556 WITH SCORE 3510794.194
AT ITER 312 NEW BEST:: SOT 6863127 SOS 6237553 HAS SOPS 6102655 HAS SOUS 3523316 HAS SOUPS 3503706 WITH SCORE 3509943.553
AT ITER 316 NEW BEST:: SOT 6860701 SOS 6235094 HAS SOPS 6100229 HAS SOUS 3522881 HAS SOUPS 3503304 WITH SCORE 3509539.094
AT ITER 317 NEW BEST:: SOT 6860609 SOS 6235062 HAS SOPS 6100137 HAS SOUS 3521418 HAS SOUPS 3501781 WITH SCORE 3508016.062
AT ITER 322 NEW BEST:: SOT 6857281 SOS 6231671 HAS SOPS 6096809 HAS SOUS 3517596 HAS SOUPS 3498022 WITH SCORE 3504253.671
AT ITER 325 NEW BEST:: SOT 6873273 SOS 6231086 HAS SOPS 6102881 HAS SOUS 3501426 HAS SOUPS 3480419 WITH SCORE 3486650.086
AT ITER 326 NEW BEST:: SOT 6870244 SOS 6228057 HAS SOPS 6099852 HAS SOUS 3492610 HAS SOUPS 3471603 WITH SCORE 3477831.057
AT ITER 332 NEW BEST:: SOT 6867681 SOS 6225408 HAS SOPS 6097289 HAS SOUS 3488399 HAS SOUPS 3467478 WITH SCORE 3473703.408
AT ITER 333 NEW BEST:: SOT 6867121 SOS 6224858 HAS SOPS 6096719 HAS SOUS 3487859 HAS SOUPS 3466918 WITH SCORE 3473142.858
AT ITER 335 NEW BEST:: SOT 6864344 SOS 6221217 HAS SOPS 6093864 HAS SOUS 3484730 HAS SOUPS 3464086 WITH SCORE 3470307.217
AT ITER 338 NEW BEST:: SOT 6861979 SOS 6218852 HAS SOPS 6091499 HAS SOUS 3476932 HAS SOUPS 3456288 WITH SCORE 3462506.852
AT ITER 343 NEW BEST:: SOT 6869197 SOS 6228597 HAS SOPS 6101293 HAS SOUS 3472813 HAS SOUPS 3452218 WITH SCORE 3458446.597
AT ITER 345 NEW BEST:: SOT 6864765 SOS 6224165 HAS SOPS 6096861 HAS SOUS 3468229 HAS SOUPS 3447634 WITH SCORE 3453858.165
AT ITER 349 NEW BEST:: SOT 6865805 SOS 6210897 HAS SOPS 6087868 HAS SOUS 3444446 HAS SOUPS 3423461 WITH SCORE 3429671.897
AT ITER 350 NEW BEST:: SOT 6864620 SOS 6209713 HAS SOPS 6086683 HAS SOUS 3441965 HAS SOUPS 3420979 WITH SCORE 3427188.713
AT ITER 363 NEW BEST:: SOT 6863351 SOS 6209189 HAS SOPS 6086200 HAS SOUS 3440802 HAS SOUPS 3419869 WITH SCORE 3426078.189
AT ITER 366 NEW BEST:: SOT 6863351 SOS 6208717 HAS SOPS 6085752 HAS SOUS 3440798 HAS SOUPS 3419869 WITH SCORE 3426077.717
AT ITER 377 NEW BEST:: SOT 6863344 SOS 6208687 HAS SOPS 6085745 HAS SOUS 3440695 HAS SOUPS 3419789 WITH SCORE 3425997.687
AT ITER 378 NEW BEST:: SOT 6863032 SOS 6194514 HAS SOPS 6064489 HAS SOUS 3440427 HAS SOUPS 3418799 WITH SCORE 3424993.514
AT ITER 379 NEW BEST:: SOT 6861923 SOS 6193437 HAS SOPS 6063380 HAS SOUS 3439144 HAS SOUPS 3417484 WITH SCORE 3423677.437
AT ITER 384 NEW BEST:: SOT 6861914 SOS 6175644 HAS SOPS 6053494 HAS SOUS 3430957 HAS SOUPS 3409574 WITH SCORE 3415749.644
AT ITER 387 NEW BEST:: SOT 6861785 SOS 6175405 HAS SOPS 6053365 HAS SOUS 3429066 HAS SOUPS 3407793 WITH SCORE 3413968.405
AT ITER 397 NEW BEST:: SOT 6857132 SOS 6170752 HAS SOPS 6048712 HAS SOUS 3422171 HAS SOUPS 3400898 WITH SCORE 3407068.752
AT ITER 401 NEW BEST:: SOT 6853730 SOS 6167350 HAS SOPS 6045310 HAS SOUS 3417066 HAS SOUPS 3395793 WITH SCORE 3401960.35
AT ITER 410 NEW BEST:: SOT 6853730 SOS 6161402 HAS SOPS 6054763 HAS SOUS 3414318 HAS SOUPS 3393356 WITH SCORE 3399517.402
AT ITER 411 NEW BEST:: SOT 6852710 SOS 6160298 HAS SOPS 6053743 HAS SOUS 3411632 HAS SOUPS 3390754 WITH SCORE 3396914.298
AT ITER 415 NEW BEST:: SOT 6851893 SOS 6159492 HAS SOPS 6052926 HAS SOUS 3410337 HAS SOUPS 3389448 WITH SCORE 3395607.492
AT ITER 420 NEW BEST:: SOT 6851851 SOS 6159450 HAS SOPS 6052884 HAS SOUS 3410292 HAS SOUPS 3389403 WITH SCORE 3395562.45
AT ITER 421 NEW BEST:: SOT 6857731 SOS 6149254 HAS SOPS 6051286 HAS SOUS 3380029 HAS SOUPS 3358607 WITH SCORE 3364756.254
AT ITER 425 NEW BEST:: SOT 6860917 SOS 6125173 HAS SOPS 6040979 HAS SOUS 3352151 HAS SOUPS 3330398 WITH SCORE 3336523.173
AT ITER 427 NEW BEST:: SOT 6860294 SOS 6124463 HAS SOPS 6040356 HAS SOUS 3349488 HAS SOUPS 3327822 WITH SCORE 3333946.463
AT ITER 431 NEW BEST:: SOT 6850267 SOS 6114544 HAS SOPS 6030842 HAS SOUS 3340216 HAS SOUPS 3318955 WITH SCORE 3325069.544
AT ITER 435 NEW BEST:: SOT 6850842 SOS 6113603 HAS SOPS 6029667 HAS SOUS 3326445 HAS SOUPS 3304950 WITH SCORE 3311063.603
AT ITER 436 NEW BEST:: SOT 6849521 SOS 6112250 HAS SOPS 6028346 HAS SOUS 3323082 HAS SOUPS 3301619 WITH SCORE 3307731.25
AT ITER 441 NEW BEST:: SOT 6761835 SOS 6024757 HAS SOPS 5941694 HAS SOUS 3236873 HAS SOUPS 3216251 WITH SCORE 3222275.757
AT ITER 442 NEW BEST:: SOT 6761586 SOS 6024439 HAS SOPS 5941445 HAS SOUS 3235833 HAS SOUPS 3215280 WITH SCORE 3221304.439
AT ITER 447 NEW BEST:: SOT 6761553 SOS 6024406 HAS SOPS 5941412 HAS SOUS 3235570 HAS SOUPS 3215017 WITH SCORE 3221041.406
AT ITER 448 NEW BEST:: SOT 6761523 SOS 6024376 HAS SOPS 5941382 HAS SOUS 3235461 HAS SOUPS 3214908 WITH SCORE 3220932.376
AT ITER 452 NEW BEST:: SOT 6761051 SOS 6023904 HAS SOPS 5940910 HAS SOUS 3234565 HAS SOUPS 3214012 WITH SCORE 3220035.904
AT ITER 454 NEW BEST:: SOT 6759729 SOS 6023249 HAS SOPS 5940255 HAS SOUS 3232982 HAS SOUPS 3212429 WITH SCORE 3218452.249
AT ITER 457 NEW BEST:: SOT 6754126 SOS 6017512 HAS SOPS 5934652 HAS SOUS 3222078 HAS SOUPS 3201659 WITH SCORE 3207676.512
AT ITER 459 NEW BEST:: SOT 6750353 SOS 6013752 HAS SOPS 5930879 HAS SOUS 3216704 HAS SOUPS 3196272 WITH SCORE 3202285.752
AT ITER 461 NEW BEST:: SOT 6750347 SOS 6013746 HAS SOPS 5930873 HAS SOUS 3216640 HAS SOUPS 3196208 WITH SCORE 3202221.746
AT ITER 463 NEW BEST:: SOT 6748309 SOS 6011680 HAS SOPS 5928835 HAS SOUS 3214072 HAS SOUPS 3193668 WITH SCORE 3199679.68
AT ITER 464 NEW BEST:: SOT 6748326 SOS 6011697 HAS SOPS 5928852 HAS SOUS 3213768 HAS SOUPS 3193364 WITH SCORE 3199375.697
AT ITER 469 NEW BEST:: SOT 6747876 SOS 6011367 HAS SOPS 5928402 HAS SOUS 3213814 HAS SOUPS 3193290 WITH SCORE 3199301.367
AT ITER 478 NEW BEST:: SOT 6747269 SOS 6010752 HAS SOPS 5927795 HAS SOUS 3212544 HAS SOUPS 3192028 WITH SCORE 3198038.752
AT ITER 484 NEW BEST:: SOT 6719548 SOS 5983899 HAS SOPS 5902074 HAS SOUS 3191001 HAS SOUPS 3171617 WITH SCORE 3177600.899
AT ITER 486 NEW BEST:: SOT 6705891 SOS 5973949 HAS SOPS 5892787 HAS SOUS 3189374 HAS SOUPS 3169657 WITH SCORE 3175630.949
AT ITER 491 NEW BEST:: SOT 6705475 SOS 5973533 HAS SOPS 5892371 HAS SOUS 3188978 HAS SOUPS 3169261 WITH SCORE 3175234.533
AT ITER 492 NEW BEST:: SOT 6707355 SOS 5975413 HAS SOPS 5894251 HAS SOUS 3183339 HAS SOUPS 3163622 WITH SCORE 3169597.413
AT ITER 493 NEW BEST:: SOT 6706623 SOS 5974681 HAS SOPS 5893519 HAS SOUS 3180757 HAS SOUPS 3161040 WITH SCORE 3167014.681
AT ITER 495 NEW BEST:: SOT 6706716 SOS 5974889 HAS SOPS 5893612 HAS SOUS 3178318 HAS SOUPS 3158486 WITH SCORE 3164460.889
AT ITER 502 NEW BEST:: SOT 6702281 SOS 5970316 HAS SOPS 5889177 HAS SOUS 3169616 HAS SOUPS 3149922 WITH SCORE 3155892.316
AT ITER 503 NEW BEST:: SOT 6702213 SOS 5970248 HAS SOPS 5889109 HAS SOUS 3169502 HAS SOUPS 3149808 WITH SCORE 3155778.248
AT ITER 504 NEW BEST:: SOT 6713121 SOS 5953603 HAS SOPS 5888246 HAS SOUS 3149312 HAS SOUPS 3129079 WITH SCORE 3135032.603
AT ITER 506 NEW BEST:: SOT 6712015 SOS 5952406 HAS SOPS 5887140 HAS SOUS 3147187 HAS SOUPS 3127045 WITH SCORE 3132997.406
AT ITER 509 NEW BEST:: SOT 6712239 SOS 5952630 HAS SOPS 5887364 HAS SOUS 3147025 HAS SOUPS 3126883 WITH SCORE 3132835.63
AT ITER 513 NEW BEST:: SOT 6712231 SOS 5952609 HAS SOPS 5887356 HAS SOUS 3147011 HAS SOUPS 3126882 WITH SCORE 3132834.609
AT ITER 519 NEW BEST:: SOT 6712231 SOS 5960026 HAS SOPS 5896042 HAS SOUS 3146203 HAS SOUPS 3126117 WITH SCORE 3132077.026
AT ITER 527 NEW BEST:: SOT 6711955 SOS 5959749 HAS SOPS 5895766 HAS SOUS 3145475 HAS SOUPS 3125390 WITH SCORE 3131349.749
AT ITER 530 NEW BEST:: SOT 6706879 SOS 5954561 HAS SOPS 5890690 HAS SOUS 3136642 HAS SOUPS 3116669 WITH SCORE 3122623.561
AT ITER 531 NEW BEST:: SOT 6706807 SOS 5954489 HAS SOPS 5890618 HAS SOUS 3136416 HAS SOUPS 3116443 WITH SCORE 3122397.489
AT ITER 544 NEW BEST:: SOT 6705810 SOS 5953484 HAS SOPS 5889621 HAS SOUS 3133082 HAS SOUPS 3113117 WITH SCORE 3119070.484
AT ITER 546 NEW BEST:: SOT 6705816 SOS 5953490 HAS SOPS 5889627 HAS SOUS 3133057 HAS SOUPS 3113092 WITH SCORE 3119045.49
AT ITER 550 NEW BEST:: SOT 6705888 SOS 5953542 HAS SOPS 5889699 HAS SOUS 3132851 HAS SOUPS 3112906 WITH SCORE 3118859.542
AT ITER 555 NEW BEST:: SOT 6705714 SOS 5953375 HAS SOPS 5889525 HAS SOUS 3132787 HAS SOUPS 3112835 WITH SCORE 3118788.375
AT ITER 570 NEW BEST:: SOT 6703790 SOS 5951358 HAS SOPS 5887601 HAS SOUS 3130057 HAS SOUPS 3110203 WITH SCORE 3116154.358
AT ITER 579 NEW BEST:: SOT 6702837 SOS 5952652 HAS SOPS 5888928 HAS SOUS 3129817 HAS SOUPS 3109963 WITH SCORE 3115915.652
AT ITER 593 NEW BEST:: SOT 6702783 SOS 5952598 HAS SOPS 5888874 HAS SOUS 3129725 HAS SOUPS 3109871 WITH SCORE 3115823.598
AT ITER 594 NEW BEST:: SOT 6678085 SOS 5929552 HAS SOPS 5867116 HAS SOUS 3127571 HAS SOUPS 3109005 WITH SCORE 3114934.552
AT ITER 597 NEW BEST:: SOT 6675669 SOS 5927009 HAS SOPS 5864700 HAS SOUS 3122766 HAS SOUPS 3104327 WITH SCORE 3110254.009
AT ITER 605 NEW BEST:: SOT 6674735 SOS 5926047 HAS SOPS 5863766 HAS SOUS 3121382 HAS SOUPS 3102971 WITH SCORE 3108897.047
AT ITER 607 NEW BEST:: SOT 6684066 SOS 5937257 HAS SOPS 5875777 HAS SOUS 3116527 HAS SOUPS 3098917 WITH SCORE 3104854.257
AT ITER 609 NEW BEST:: SOT 6682374 SOS 5935496 HAS SOPS 5874085 HAS SOUS 3112925 HAS SOUPS 3095384 WITH SCORE 3101319.496
AT ITER 610 NEW BEST:: SOT 6681910 SOS 5935066 HAS SOPS 5873621 HAS SOUS 3110277 HAS SOUPS 3092702 WITH SCORE 3098637.066
AT ITER 611 NEW BEST:: SOT 6679036 SOS 5932022 HAS SOPS 5870747 HAS SOUS 3102648 HAS SOUPS 3085243 WITH SCORE 3091175.022
AT ITER 620 NEW BEST:: SOT 6678315 SOS 5931392 HAS SOPS 5870026 HAS SOUS 3100809 HAS SOUPS 3083313 WITH SCORE 3089244.392
AT ITER 623 NEW BEST:: SOT 6678583 SOS 5931707 HAS SOPS 5870294 HAS SOUS 3100685 HAS SOUPS 3083142 WITH SCORE 3089073.707
AT ITER 630 NEW BEST:: SOT 6677594 SOS 5930718 HAS SOPS 5869305 HAS SOUS 3099095 HAS SOUPS 3081552 WITH SCORE 3087482.718
AT ITER 636 NEW BEST:: SOT 6677596 SOS 5930720 HAS SOPS 5869307 HAS SOUS 3099091 HAS SOUPS 3081548 WITH SCORE 3087478.72
AT ITER 643 NEW BEST:: SOT 6677438 SOS 5930562 HAS SOPS 5869149 HAS SOUS 3095677 HAS SOUPS 3078134 WITH SCORE 3084064.562
AT ITER 654 NEW BEST:: SOT 6675998 SOS 5929122 HAS SOPS 5867709 HAS SOUS 3093760 HAS SOUPS 3076217 WITH SCORE 3082146.122
AT ITER 655 NEW BEST:: SOT 6675985 SOS 5927793 HAS SOPS 5866880 HAS SOUS 3093615 HAS SOUPS 3076103 WITH SCORE 3082030.793
AT ITER 656 NEW BEST:: SOT 6692632 SOS 5924185 HAS SOPS 5872275 HAS SOUS 3084422 HAS SOUPS 3065622 WITH SCORE 3071546.185
AT ITER 658 NEW BEST:: SOT 6692830 SOS 5924475 HAS SOPS 5872473 HAS SOUS 3084494 HAS SOUPS 3065602 WITH SCORE 3071526.475
AT ITER 663 NEW BEST:: SOT 6692782 SOS 5924427 HAS SOPS 5872425 HAS SOUS 3084447 HAS SOUPS 3065555 WITH SCORE 3071479.427
AT ITER 665 NEW BEST:: SOT 6688289 SOS 5919884 HAS SOPS 5867932 HAS SOUS 3074461 HAS SOUPS 3055619 WITH SCORE 3061538.884
AT ITER 675 NEW BEST:: SOT 6688122 SOS 5919717 HAS SOPS 5867765 HAS SOUS 3074225 HAS SOUPS 3055383 WITH SCORE 3061302.717
AT ITER 676 NEW BEST:: SOT 6688061 SOS 5919617 HAS SOPS 5867704 HAS SOUS 3073703 HAS SOUPS 3054900 WITH SCORE 3060819.617
AT ITER 682 NEW BEST:: SOT 6683017 SOS 5914472 HAS SOPS 5862660 HAS SOUS 3069396 HAS SOUPS 3050694 WITH SCORE 3056608.472
AT ITER 690 NEW BEST:: SOT 6682981 SOS 5914436 HAS SOPS 5862624 HAS SOUS 3068485 HAS SOUPS 3049783 WITH SCORE 3055697.436
AT ITER 696 NEW BEST:: SOT 6680734 SOS 5912036 HAS SOPS 5860377 HAS SOUS 3064193 HAS SOUPS 3045644 WITH SCORE 3051556.036
AT ITER 715 NEW BEST:: SOT 6679685 SOS 5910987 HAS SOPS 5859328 HAS SOUS 3063337 HAS SOUPS 3044788 WITH SCORE 3050698.987
AT ITER 718 NEW BEST:: SOT 6679669 SOS 5910971 HAS SOPS 5859312 HAS SOUS 3063323 HAS SOUPS 3044774 WITH SCORE 3050684.971
AT ITER 726 NEW BEST:: SOT 6678512 SOS 5909670 HAS SOPS 5858155 HAS SOUS 3061030 HAS SOUPS 3042625 WITH SCORE 3048534.67
AT ITER 728 NEW BEST:: SOT 6678758 SOS 5909749 HAS SOPS 5858353 HAS SOUS 3059765 HAS SOUPS 3041317 WITH SCORE 3047226.749
AT ITER 729 NEW BEST:: SOT 6679952 SOS 5909372 HAS SOPS 5857789 HAS SOUS 3054260 HAS SOUPS 3035409 WITH SCORE 3041318.372
AT ITER 730 NEW BEST:: SOT 6679621 SOS 5909041 HAS SOPS 5857458 HAS SOUS 3053638 HAS SOUPS 3034787 WITH SCORE 3040696.041
AT ITER 732 NEW BEST:: SOT 6679621 SOS 5892332 HAS SOPS 5838478 HAS SOUS 3053268 HAS SOUPS 3034378 WITH SCORE 3040270.332
AT ITER 740 NEW BEST:: SOT 6679575 SOS 5892286 HAS SOPS 5838432 HAS SOUS 3053210 HAS SOUPS 3034320 WITH SCORE 3040212.286
AT ITER 743 NEW BEST:: SOT 6679088 SOS 5891683 HAS SOPS 5837945 HAS SOUS 3051569 HAS SOUPS 3032795 WITH SCORE 3038686.683
AT ITER 749 NEW BEST:: SOT 6678882 SOS 5891477 HAS SOPS 5837739 HAS SOUS 3051358 HAS SOUPS 3032584 WITH SCORE 3038475.477
AT ITER 753 NEW BEST:: SOT 6670391 SOS 5882854 HAS SOPS 5829248 HAS SOUS 3037134 HAS SOUPS 3018492 WITH SCORE 3024374.854
AT ITER 759 NEW BEST:: SOT 6670327 SOS 5882790 HAS SOPS 5829184 HAS SOUS 3037010 HAS SOUPS 3018368 WITH SCORE 3024250.79
AT ITER 767 NEW BEST:: SOT 6668227 SOS 5880657 HAS SOPS 5827084 HAS SOUS 3034757 HAS SOUPS 3016148 WITH SCORE 3022028.657
AT ITER 769 NEW BEST:: SOT 6663591 SOS 5875418 HAS SOPS 5821844 HAS SOUS 3025188 HAS SOUPS 3006559 WITH SCORE 3012434.418
AT ITER 770 NEW BEST:: SOT 6663175 SOS 5874994 HAS SOPS 5821428 HAS SOUS 3025175 HAS SOUPS 3006554 WITH SCORE 3012428.994
AT ITER 777 NEW BEST:: SOT 6655142 SOS 5867088 HAS SOPS 5813899 HAS SOUS 3017546 HAS SOUPS 2999302 WITH SCORE 3005169.088
AT ITER 797 NEW BEST:: SOT 6655128 SOS 5867165 HAS SOPS 5813885 HAS SOUS 3014512 HAS SOUPS 2996177 WITH SCORE 3002044.165
AT ITER 802 NEW BEST:: SOT 6650452 SOS 5862433 HAS SOPS 5809209 HAS SOUS 3006538 HAS SOUPS 2988259 WITH SCORE 2994121.433
AT ITER 808 NEW BEST:: SOT 6650452 SOS 5862455 HAS SOPS 5809209 HAS SOUS 3006449 HAS SOUPS 2988148 WITH SCORE 2994010.455
AT ITER 817 NEW BEST:: SOT 6648675 SOS 5858953 HAS SOPS 5806036 HAS SOUS 3003428 HAS SOUPS 2984884 WITH SCORE 2990742.953
AT ITER 819 NEW BEST:: SOT 6648526 SOS 5858804 HAS SOPS 5805887 HAS SOUS 3003112 HAS SOUPS 2984568 WITH SCORE 2990426.804
AT ITER 821 NEW BEST:: SOT 6647578 SOS 5857858 HAS SOPS 5804939 HAS SOUS 3002849 HAS SOUPS 2984303 WITH SCORE 2990160.858
AT ITER 822 NEW BEST:: SOT 6645233 SOS 5855455 HAS SOPS 5802594 HAS SOUS 2999335 HAS SOUPS 2980847 WITH SCORE 2986702.455
AT ITER 826 NEW BEST:: SOT 6645467 SOS 5855060 HAS SOPS 5802828 HAS SOUS 2998145 HAS SOUPS 2980286 WITH SCORE 2986141.06
AT ITER 845 NEW BEST:: SOT 6662698 SOS 5872032 HAS SOPS 5819273 HAS SOUS 2997212 HAS SOUPS 2979393 WITH SCORE 2985265.032
AT ITER 848 NEW BEST:: SOT 6649831 SOS 5860434 HAS SOPS 5808306 HAS SOUS 2994158 HAS SOUPS 2976970 WITH SCORE 2982830.434
AT ITER 864 NEW BEST:: SOT 6646819 SOS 5857422 HAS SOPS 5805294 HAS SOUS 2991210 HAS SOUPS 2974022 WITH SCORE 2979879.422
AT ITER 865 NEW BEST:: SOT 6644409 SOS 5854816 HAS SOPS 5802884 HAS SOUS 2988248 HAS SOUPS 2971256 WITH SCORE 2977110.816
AT ITER 869 NEW BEST:: SOT 6644409 SOS 5854794 HAS SOPS 5802884 HAS SOUS 2987947 HAS SOUPS 2970977 WITH SCORE 2976831.794
AT ITER 881 NEW BEST:: SOT 6644217 SOS 5854602 HAS SOPS 5802692 HAS SOUS 2987376 HAS SOUPS 2970406 WITH SCORE 2976260.602
AT ITER 887 NEW BEST:: SOT 6644368 SOS 5854744 HAS SOPS 5802843 HAS SOUS 2986648 HAS SOUPS 2969687 WITH SCORE 2975541.744
AT ITER 901 NEW BEST:: SOT 6642839 SOS 5853055 HAS SOPS 5801314 HAS SOUS 2984833 HAS SOUPS 2968032 WITH SCORE 2973885.055
AT ITER 907 NEW BEST:: SOT 6642516 SOS 5852732 HAS SOPS 5800991 HAS SOUS 2984502 HAS SOUPS 2967701 WITH SCORE 2973553.732
AT ITER 908 NEW BEST:: SOT 6642190 SOS 5852406 HAS SOPS 5800665 HAS SOUS 2983888 HAS SOUPS 2967087 WITH SCORE 2972939.406
AT ITER 911 NEW BEST:: SOT 6640191 SOS 5850314 HAS SOPS 5798666 HAS SOUS 2980415 HAS SOUPS 2963707 WITH SCORE 2969557.314
AT ITER 929 NEW BEST:: SOT 6640191 SOS 5849841 HAS SOPS 5798214 HAS SOUS 2980385 HAS SOUPS 2963682 WITH SCORE 2969531.841
AT ITER 930 NEW BEST:: SOT 6640024 SOS 5849776 HAS SOPS 5798047 HAS SOUS 2980306 HAS SOUPS 2963501 WITH SCORE 2969350.776
AT ITER 932 NEW BEST:: SOT 6640024 SOS 5843826 HAS SOPS 5791543 HAS SOUS 2979852 HAS SOUPS 2963047 WITH SCORE 2968890.826
AT ITER 940 NEW BEST:: SOT 6639350 SOS 5843152 HAS SOPS 5790869 HAS SOUS 2979020 HAS SOUPS 2962215 WITH SCORE 2968058.152
AT ITER 944 NEW BEST:: SOT 6631892 SOS 5836027 HAS SOPS 5784076 HAS SOUS 2974992 HAS SOUPS 2958519 WITH SCORE 2964355.027
AT ITER 946 NEW BEST:: SOT 6631892 SOS 5865674 HAS SOPS 5815411 HAS SOUS 2974552 HAS SOUPS 2958150 WITH SCORE 2964015.674
AT ITER 947 NEW BEST:: SOT 6631528 SOS 5865755 HAS SOPS 5815483 HAS SOUS 2973643 HAS SOUPS 2957241 WITH SCORE 2963106.755
AT ITER 949 NEW BEST:: SOT 6631607 SOS 5865690 HAS SOPS 5815400 HAS SOUS 2972627 HAS SOUPS 2956207 WITH SCORE 2962072.69
AT ITER 951 NEW BEST:: SOT 6631216 SOS 5865282 HAS SOPS 5815009 HAS SOUS 2971390 HAS SOUPS 2954987 WITH SCORE 2960852.282
AT ITER 954 NEW BEST:: SOT 6631053 SOS 5865093 HAS SOPS 5814846 HAS SOUS 2971051 HAS SOUPS 2954674 WITH SCORE 2960539.093
AT ITER 968 NEW BEST:: SOT 6628443 SOS 5862454 HAS SOPS 5812236 HAS SOUS 2969530 HAS SOUPS 2953182 WITH SCORE 2959044.454
AT ITER 970 NEW BEST:: SOT 6625973 SOS 5859862 HAS SOPS 5809766 HAS SOUS 2962689 HAS SOUPS 2946463 WITH SCORE 2952322.862
AT ITER 973 NEW BEST:: SOT 6624367 SOS 5858256 HAS SOPS 5808160 HAS SOUS 2960468 HAS SOUPS 2944242 WITH SCORE 2950100.256
AT ITER 974 NEW BEST:: SOT 6623981 SOS 5857870 HAS SOPS 5807774 HAS SOUS 2959776 HAS SOUPS 2943550 WITH SCORE 2949407.87
AT ITER 977 NEW BEST:: SOT 6623929 SOS 5857818 HAS SOPS 5807722 HAS SOUS 2959327 HAS SOUPS 2943101 WITH SCORE 2948958.818
AT ITER 988 NEW BEST:: SOT 6623870 SOS 5858066 HAS SOPS 5807951 HAS SOUS 2958370 HAS SOUPS 2942144 WITH SCORE 2948002.066
AT ITER 992 NEW BEST:: SOT 6623873 SOS 5855877 HAS SOPS 5806109 HAS SOUS 2957130 HAS SOUPS 2941031 WITH SCORE 2946886.877
AT ITER 1011 NEW BEST:: SOT 6623740 SOS 5855744 HAS SOPS 5805976 HAS SOUS 2956944 HAS SOUPS 2940845 WITH SCORE 2946700.744
AT ITER 1013 NEW BEST:: SOT 6623914 SOS 5855918 HAS SOPS 5806150 HAS SOUS 2956070 HAS SOUPS 2939971 WITH SCORE 2945826.918
AT ITER 1014 NEW BEST:: SOT 6624239 SOS 5853828 HAS SOPS 5804361 HAS SOUS 2955537 HAS SOUPS 2939391 WITH SCORE 2945244.828
AT ITER 1015 NEW BEST:: SOT 6623964 SOS 5853553 HAS SOPS 5804086 HAS SOUS 2954245 HAS SOUPS 2938099 WITH SCORE 2943952.553
AT ITER 1021 NEW BEST:: SOT 6623964 SOS 5853551 HAS SOPS 5804086 HAS SOUS 2954147 HAS SOUPS 2938003 WITH SCORE 2943856.551
AT ITER 1036 NEW BEST:: SOT 6620568 SOS 5849648 HAS SOPS 5800264 HAS SOUS 2948092 HAS SOUPS 2932017 WITH SCORE 2937866.648
AT ITER 1037 NEW BEST:: SOT 6620548 SOS 5849627 HAS SOPS 5800244 HAS SOUS 2948054 HAS SOUPS 2931980 WITH SCORE 2937829.627
AT ITER 1040 NEW BEST:: SOT 6619392 SOS 5848374 HAS SOPS 5799088 HAS SOUS 2945717 HAS SOUPS 2929740 WITH SCORE 2935588.374
AT ITER 1045 NEW BEST:: SOT 6610101 SOS 5839311 HAS SOPS 5790481 HAS SOUS 2940115 HAS SOUPS 2924594 WITH SCORE 2930433.311
AT ITER 1053 NEW BEST:: SOT 6610101 SOS 5813741 HAS SOPS 5764651 HAS SOUS 2940045 HAS SOUPS 2924471 WITH SCORE 2930284.741
AT ITER 1055 NEW BEST:: SOT 6609728 SOS 5813368 HAS SOPS 5764278 HAS SOUS 2939554 HAS SOUPS 2923980 WITH SCORE 2929793.368
AT ITER 1056 NEW BEST:: SOT 6610007 SOS 5813696 HAS SOPS 5764557 HAS SOUS 2939382 HAS SOUPS 2923759 WITH SCORE 2929572.696
AT ITER 1060 NEW BEST:: SOT 6607338 SOS 5811027 HAS SOPS 5761888 HAS SOUS 2935423 HAS SOUPS 2919800 WITH SCORE 2925611.027
AT ITER 1069 NEW BEST:: SOT 6605341 SOS 5810147 HAS SOPS 5761261 HAS SOUS 2928928 HAS SOUPS 2913558 WITH SCORE 2919368.147
AT ITER 1073 NEW BEST:: SOT 6605364 SOS 5838089 HAS SOPS 5790852 HAS SOUS 2927502 HAS SOUPS 2912249 WITH SCORE 2918087.089
AT ITER 1078 NEW BEST:: SOT 6600170 SOS 5832959 HAS SOPS 5785658 HAS SOUS 2920753 HAS SOUPS 2905436 WITH SCORE 2911268.959
AT ITER 1081 NEW BEST:: SOT 6599420 SOS 5832209 HAS SOPS 5784908 HAS SOUS 2920003 HAS SOUPS 2904686 WITH SCORE 2910518.209
AT ITER 1089 NEW BEST:: SOT 6598871 SOS 5831660 HAS SOPS 5784359 HAS SOUS 2919214 HAS SOUPS 2903897 WITH SCORE 2909728.66
AT ITER 1090 NEW BEST:: SOT 6598654 SOS 5831443 HAS SOPS 5784142 HAS SOUS 2918907 HAS SOUPS 2903590 WITH SCORE 2909421.443
AT ITER 1105 NEW BEST:: SOT 6598929 SOS 5831800 HAS SOPS 5784783 HAS SOUS 2918055 HAS SOUPS 2902950 WITH SCORE 2908781.8
AT ITER 1111 NEW BEST:: SOT 6597677 SOS 5830548 HAS SOPS 5783531 HAS SOUS 2916344 HAS SOUPS 2901239 WITH SCORE 2907069.548
AT ITER 1112 NEW BEST:: SOT 6595471 SOS 5828342 HAS SOPS 5781325 HAS SOUS 2912303 HAS SOUPS 2897198 WITH SCORE 2903026.342
AT ITER 1114 NEW BEST:: SOT 6593136 SOS 5826031 HAS SOPS 5779098 HAS SOUS 2910217 HAS SOUPS 2895196 WITH SCORE 2901022.031
AT ITER 1120 NEW BEST:: SOT 6593136 SOS 5825995 HAS SOPS 5779028 HAS SOUS 2910203 HAS SOUPS 2895186 WITH SCORE 2901011.995
AT ITER 1130 NEW BEST:: SOT 6592579 SOS 5825413 HAS SOPS 5778471 HAS SOUS 2908686 HAS SOUPS 2893694 WITH SCORE 2899519.413
AT ITER 1131 NEW BEST:: SOT 6596765 SOS 5828784 HAS SOPS 5781523 HAS SOUS 2907502 HAS SOUPS 2892191 WITH SCORE 2898019.784
AT ITER 1132 NEW BEST:: SOT 6596975 SOS 5828924 HAS SOPS 5781733 HAS SOUS 2905021 HAS SOUPS 2889780 WITH SCORE 2895608.924
AT ITER 1135 NEW BEST:: SOT 6596975 SOS 5828924 HAS SOPS 5781733 HAS SOUS 2904951 HAS SOUPS 2889710 WITH SCORE 2895538.924
AT ITER 1137 NEW BEST:: SOT 6576542 SOS 5809531 HAS SOPS 5763154 HAS SOUS 2883536 HAS SOUPS 2869109 WITH SCORE 2874918.531
AT ITER 1144 NEW BEST:: SOT 6575645 SOS 5808634 HAS SOPS 5762257 HAS SOUS 2882176 HAS SOUPS 2867749 WITH SCORE 2873557.634
AT ITER 1149 NEW BEST:: SOT 6575707 SOS 5808696 HAS SOPS 5762319 HAS SOUS 2881964 HAS SOUPS 2867537 WITH SCORE 2873345.696
AT ITER 1150 NEW BEST:: SOT 6556985 SOS 5790671 HAS SOPS 5745397 HAS SOUS 2864567 HAS SOUPS 2851243 WITH SCORE 2857033.671
AT ITER 1158 NEW BEST:: SOT 6554860 SOS 5788489 HAS SOPS 5743272 HAS SOUS 2862347 HAS SOUPS 2849080 WITH SCORE 2854868.489
AT ITER 1161 NEW BEST:: SOT 6554280 SOS 5787909 HAS SOPS 5742692 HAS SOUS 2861767 HAS SOUPS 2848500 WITH SCORE 2854287.909
AT ITER 1176 NEW BEST:: SOT 6549278 SOS 5783488 HAS SOPS 5738608 HAS SOUS 2859620 HAS SOUPS 2846690 WITH SCORE 2852473.488
AT ITER 1177 NEW BEST:: SOT 6548463 SOS 5782673 HAS SOPS 5737793 HAS SOUS 2859166 HAS SOUPS 2846236 WITH SCORE 2852018.673
AT ITER 1182 NEW BEST:: SOT 6548078 SOS 5782288 HAS SOPS 5737408 HAS SOUS 2858379 HAS SOUPS 2845449 WITH SCORE 2851231.288
AT ITER 1194 NEW BEST:: SOT 6548078 SOS 5787542 HAS SOPS 5743485 HAS SOUS 2855288 HAS SOUPS 2842441 WITH SCORE 2848228.542
AT ITER 1206 NEW BEST:: SOT 6548516 SOS 5787969 HAS SOPS 5743923 HAS SOUS 2855070 HAS SOUPS 2842234 WITH SCORE 2848021.969
AT ITER 1222 NEW BEST:: SOT 6548516 SOS 5787969 HAS SOPS 5743923 HAS SOUS 2854755 HAS SOUPS 2841919 WITH SCORE 2847706.969
AT ITER 1223 NEW BEST:: SOT 6548339 SOS 5787792 HAS SOPS 5743746 HAS SOUS 2854607 HAS SOUPS 2841771 WITH SCORE 2847558.792
AT ITER 1243 NEW BEST:: SOT 6548023 SOS 5787476 HAS SOPS 5743430 HAS SOUS 2854299 HAS SOUPS 2841463 WITH SCORE 2847250.476
AT ITER 1244 NEW BEST:: SOT 6548023 SOS 5785376 HAS SOPS 5741045 HAS SOUS 2854167 HAS SOUPS 2841331 WITH SCORE 2847116.376
AT ITER 1249 NEW BEST:: SOT 6548039 SOS 5785392 HAS SOPS 5741061 HAS SOUS 2854001 HAS SOUPS 2841165 WITH SCORE 2846950.392
AT ITER 1251 NEW BEST:: SOT 6548027 SOS 5785380 HAS SOPS 5741049 HAS SOUS 2853990 HAS SOUPS 2841154 WITH SCORE 2846939.38
AT ITER 1256 NEW BEST:: SOT 6545546 SOS 5782811 HAS SOPS 5738568 HAS SOUS 2850366 HAS SOUPS 2837618 WITH SCORE 2843400.811
AT ITER 1262 NEW BEST:: SOT 6544629 SOS 5781813 HAS SOPS 5737651 HAS SOUS 2849250 HAS SOUPS 2836583 WITH SCORE 2842364.813
AT ITER 1264 NEW BEST:: SOT 6544627 SOS 5781811 HAS SOPS 5737649 HAS SOUS 2849244 HAS SOUPS 2836577 WITH SCORE 2842358.811
AT ITER 1265 NEW BEST:: SOT 6542582 SOS 5779695 HAS SOPS 5735604 HAS SOUS 2845347 HAS SOUPS 2832751 WITH SCORE 2838530.695
AT ITER 1269 NEW BEST:: SOT 6540911 SOS 5778020 HAS SOPS 5733933 HAS SOUS 2843020 HAS SOUPS 2830428 WITH SCORE 2836206.02
AT ITER 1276 NEW BEST:: SOT 6540955 SOS 5778064 HAS SOPS 5733977 HAS SOUS 2842736 HAS SOUPS 2830144 WITH SCORE 2835922.064
AT ITER 1290 NEW BEST:: SOT 6540054 SOS 5778630 HAS SOPS 5734642 HAS SOUS 2841698 HAS SOUPS 2829204 WITH SCORE 2834982.63
AT ITER 1292 NEW BEST:: SOT 6540102 SOS 5778678 HAS SOPS 5734690 HAS SOUS 2841667 HAS SOUPS 2829173 WITH SCORE 2834951.678
AT ITER 1296 NEW BEST:: SOT 6538351 SOS 5776925 HAS SOPS 5732939 HAS SOUS 2839083 HAS SOUPS 2826591 WITH SCORE 2832367.925
AT ITER 1300 NEW BEST:: SOT 6537709 SOS 5776377 HAS SOPS 5732459 HAS SOUS 2838924 HAS SOUPS 2826500 WITH SCORE 2832276.377
AT ITER 1301 NEW BEST:: SOT 6537040 SOS 5775698 HAS SOPS 5731790 HAS SOUS 2837741 HAS SOUPS 2825327 WITH SCORE 2831102.698
AT ITER 1304 NEW BEST:: SOT 6537040 SOS 5747793 HAS SOPS 5701836 HAS SOUS 2837693 HAS SOUPS 2825205 WITH SCORE 2830952.793
AT ITER 1314 NEW BEST:: SOT 6533624 SOS 5744377 HAS SOPS 5698420 HAS SOUS 2834347 HAS SOUPS 2821859 WITH SCORE 2827603.377
AT ITER 1318 NEW BEST:: SOT 6533620 SOS 5744638 HAS SOPS 5698681 HAS SOUS 2834313 HAS SOUPS 2821825 WITH SCORE 2827569.638
AT ITER 1322 NEW BEST:: SOT 6533620 SOS 5744702 HAS SOPS 5698681 HAS SOUS 2833627 HAS SOUPS 2821075 WITH SCORE 2826819.702
AT ITER 1325 NEW BEST:: SOT 6530719 SOS 5741703 HAS SOPS 5695780 HAS SOUS 2826232 HAS SOUPS 2813778 WITH SCORE 2819519.703
AT ITER 1327 NEW BEST:: SOT 6530368 SOS 5741352 HAS SOPS 5695429 HAS SOUS 2825105 HAS SOUPS 2812651 WITH SCORE 2818392.352
AT ITER 1336 NEW BEST:: SOT 6524764 SOS 5735744 HAS SOPS 5689769 HAS SOUS 2818155 HAS SOUPS 2805663 WITH SCORE 2811398.744
AT ITER 1346 NEW BEST:: SOT 6524516 SOS 5735496 HAS SOPS 5689521 HAS SOUS 2816156 HAS SOUPS 2803664 WITH SCORE 2809399.496
AT ITER 1348 NEW BEST:: SOT 6523886 SOS 5734866 HAS SOPS 5688891 HAS SOUS 2815526 HAS SOUPS 2803034 WITH SCORE 2808768.866
AT ITER 1362 NEW BEST:: SOT 6522980 SOS 5733960 HAS SOPS 5687985 HAS SOUS 2814250 HAS SOUPS 2801758 WITH SCORE 2807491.96
AT ITER 1367 NEW BEST:: SOT 6521704 SOS 5732724 HAS SOPS 5686709 HAS SOUS 2813222 HAS SOUPS 2800690 WITH SCORE 2806422.724
AT ITER 1375 NEW BEST:: SOT 6521274 SOS 5732294 HAS SOPS 5686279 HAS SOUS 2812811 HAS SOUPS 2800279 WITH SCORE 2806011.294
AT ITER 1376 NEW BEST:: SOT 6520788 SOS 5731808 HAS SOPS 5685793 HAS SOUS 2811544 HAS SOUPS 2799012 WITH SCORE 2804743.808
AT ITER 1379 NEW BEST:: SOT 6520703 SOS 5731723 HAS SOPS 5685708 HAS SOUS 2811335 HAS SOUPS 2798803 WITH SCORE 2804534.723
AT ITER 1389 NEW BEST:: SOT 6519656 SOS 5730676 HAS SOPS 5684661 HAS SOUS 2806989 HAS SOUPS 2794457 WITH SCORE 2800187.676
AT ITER 1392 NEW BEST:: SOT 6519001 SOS 5730021 HAS SOPS 5684006 HAS SOUS 2804110 HAS SOUPS 2791578 WITH SCORE 2797308.021
AT ITER 1396 NEW BEST:: SOT 6518325 SOS 5729345 HAS SOPS 5683330 HAS SOUS 2802634 HAS SOUPS 2790102 WITH SCORE 2795831.345
AT ITER 1403 NEW BEST:: SOT 6516202 SOS 5727207 HAS SOPS 5681207 HAS SOUS 2800415 HAS SOUPS 2787898 WITH SCORE 2793625.207
AT ITER 1404 NEW BEST:: SOT 6516009 SOS 5726961 HAS SOPS 5681014 HAS SOUS 2799130 HAS SOUPS 2786666 WITH SCORE 2792392.961
AT ITER 1415 NEW BEST:: SOT 6518445 SOS 5714545 HAS SOPS 5678016 HAS SOUS 2793099 HAS SOUPS 2779987 WITH SCORE 2785701.545
AT ITER 1416 NEW BEST:: SOT 6517520 SOS 5713597 HAS SOPS 5677091 HAS SOUS 2791335 HAS SOUPS 2778246 WITH SCORE 2783959.597
AT ITER 1424 NEW BEST:: SOT 6511876 SOS 5707953 HAS SOPS 5671447 HAS SOUS 2781967 HAS SOUPS 2768878 WITH SCORE 2774585.953
AT ITER 1430 NEW BEST:: SOT 6511672 SOS 5707817 HAS SOPS 5671243 HAS SOUS 2781273 HAS SOUPS 2768116 WITH SCORE 2773823.817
AT ITER 1433 NEW BEST:: SOT 6511063 SOS 5707208 HAS SOPS 5670634 HAS SOUS 2780671 HAS SOUPS 2767514 WITH SCORE 2773221.208
AT ITER 1435 NEW BEST:: SOT 6510301 SOS 5706446 HAS SOPS 5669872 HAS SOUS 2778330 HAS SOUPS 2765173 WITH SCORE 2770879.446
AT ITER 1442 NEW BEST:: SOT 6506358 SOS 5702511 HAS SOPS 5665929 HAS SOUS 2771395 HAS SOUPS 2758230 WITH SCORE 2763932.511
AT ITER 1450 NEW BEST:: SOT 6504881 SOS 5701013 HAS SOPS 5664452 HAS SOUS 2768637 HAS SOUPS 2755493 WITH SCORE 2761194.013
AT ITER 1454 NEW BEST:: SOT 6503303 SOS 5699435 HAS SOPS 5662874 HAS SOUS 2766908 HAS SOUPS 2753764 WITH SCORE 2759463.435
AT ITER 1465 NEW BEST:: SOT 6503277 SOS 5699818 HAS SOPS 5663342 HAS SOUS 2765746 HAS SOUPS 2752687 WITH SCORE 2758386.818
AT ITER 1483 NEW BEST:: SOT 6503128 SOS 5699642 HAS SOPS 5663193 HAS SOUS 2765654 HAS SOUPS 2752622 WITH SCORE 2758321.642
AT ITER 1484 NEW BEST:: SOT 6503145 SOS 5699659 HAS SOPS 5663210 HAS SOUS 2765594 HAS SOUPS 2752562 WITH SCORE 2758261.659
AT ITER 1509 NEW BEST:: SOT 6500595 SOS 5697059 HAS SOPS 5660660 HAS SOUS 2760372 HAS SOUPS 2747390 WITH SCORE 2753087.059
AT ITER 1514 NEW BEST:: SOT 6500543 SOS 5697017 HAS SOPS 5660608 HAS SOUS 2760238 HAS SOUPS 2747246 WITH SCORE 2752943.017
AT ITER 1520 NEW BEST:: SOT 6499740 SOS 5696179 HAS SOPS 5659805 HAS SOUS 2758776 HAS SOUPS 2745819 WITH SCORE 2751515.179
AT ITER 1527 NEW BEST:: SOT 6496796 SOS 5693215 HAS SOPS 5656861 HAS SOUS 2752147 HAS SOUPS 2739210 WITH SCORE 2744903.215
AT ITER 1552 NEW BEST:: SOT 6494919 SOS 5691338 HAS SOPS 5654984 HAS SOUS 2749615 HAS SOUPS 2736678 WITH SCORE 2742369.338
AT ITER 1561 NEW BEST:: SOT 6492967 SOS 5689378 HAS SOPS 5653032 HAS SOUS 2748236 HAS SOUPS 2735307 WITH SCORE 2740996.378
AT ITER 1578 NEW BEST:: SOT 6492869 SOS 5689280 HAS SOPS 5652934 HAS SOUS 2747845 HAS SOUPS 2734916 WITH SCORE 2740605.28
AT ITER 1601 NEW BEST:: SOT 6492577 SOS 5688988 HAS SOPS 5652642 HAS SOUS 2747539 HAS SOUPS 2734610 WITH SCORE 2740298.988
AT ITER 1607 NEW BEST:: SOT 6492635 SOS 5689076 HAS SOPS 5652700 HAS SOUS 2747470 HAS SOUPS 2734511 WITH SCORE 2740200.076
AT ITER 1609 NEW BEST:: SOT 6492577 SOS 5689018 HAS SOPS 5652642 HAS SOUS 2747383 HAS SOUPS 2734424 WITH SCORE 2740113.018
AT ITER 1611 NEW BEST:: SOT 6492347 SOS 5688788 HAS SOPS 5652412 HAS SOUS 2747135 HAS SOUPS 2734176 WITH SCORE 2739864.788
AT ITER 1613 NEW BEST:: SOT 6490476 SOS 5686889 HAS SOPS 5650541 HAS SOUS 2744609 HAS SOUPS 2731678 WITH SCORE 2737364.889
AT ITER 1615 NEW BEST:: SOT 6490508 SOS 5686857 HAS SOPS 5650573 HAS SOUS 2743887 HAS SOUPS 2731020 WITH SCORE 2736706.857
AT ITER 1627 NEW BEST:: SOT 6488472 SOS 5684686 HAS SOPS 5648537 HAS SOUS 2740734 HAS SOUPS 2728002 WITH SCORE 2733686.686
AT ITER 1630 NEW BEST:: SOT 6488402 SOS 5684616 HAS SOPS 5648467 HAS SOUS 2740655 HAS SOUPS 2727923 WITH SCORE 2733607.616
AT ITER 1639 NEW BEST:: SOT 6488307 SOS 5684521 HAS SOPS 5648372 HAS SOUS 2740560 HAS SOUPS 2727828 WITH SCORE 2733512.521
AT ITER 1641 NEW BEST:: SOT 6488101 SOS 5684315 HAS SOPS 5648166 HAS SOUS 2740195 HAS SOUPS 2727463 WITH SCORE 2733147.315
AT ITER 1648 NEW BEST:: SOT 6486796 SOS 5682944 HAS SOPS 5646861 HAS SOUS 2736985 HAS SOUPS 2724319 WITH SCORE 2730001.944
AT ITER 1653 NEW BEST:: SOT 6487235 SOS 5683053 HAS SOPS 5646898 HAS SOUS 2736664 HAS SOUPS 2723906 WITH SCORE 2729589.053
AT ITER 1667 NEW BEST:: SOT 6486008 SOS 5681826 HAS SOPS 5645671 HAS SOUS 2733858 HAS SOUPS 2721100 WITH SCORE 2726781.826
AT ITER 1674 NEW BEST:: SOT 6485828 SOS 5681646 HAS SOPS 5645491 HAS SOUS 2733678 HAS SOUPS 2720920 WITH SCORE 2726601.646
AT ITER 1689 NEW BEST:: SOT 6483681 SOS 5679437 HAS SOPS 5643344 HAS SOUS 2731529 HAS SOUPS 2718833 WITH SCORE 2724512.437
AT ITER 1699 NEW BEST:: SOT 6480803 SOS 5676686 HAS SOPS 5640466 HAS SOUS 2728839 HAS SOUPS 2716016 WITH SCORE 2721692.686
AT ITER 1710 NEW BEST:: SOT 6481184 SOS 5677067 HAS SOPS 5640847 HAS SOUS 2728792 HAS SOUPS 2715969 WITH SCORE 2721646.067
AT ITER 1720 NEW BEST:: SOT 6479697 SOS 5675531 HAS SOPS 5639360 HAS SOUS 2726564 HAS SOUPS 2713790 WITH SCORE 2719465.531
AT ITER 1723 NEW BEST:: SOT 6479679 SOS 5675513 HAS SOPS 5639342 HAS SOUS 2725657 HAS SOUPS 2712883 WITH SCORE 2718558.513
AT ITER 1724 NEW BEST:: SOT 6479049 SOS 5674883 HAS SOPS 5638712 HAS SOUS 2724242 HAS SOUPS 2711468 WITH SCORE 2717142.883
AT ITER 1728 NEW BEST:: SOT 6478439 SOS 5674273 HAS SOPS 5638102 HAS SOUS 2723073 HAS SOUPS 2710299 WITH SCORE 2715973.273
AT ITER 1729 NEW BEST:: SOT 6477879 SOS 5673713 HAS SOPS 5637542 HAS SOUS 2722275 HAS SOUPS 2709501 WITH SCORE 2715174.713
AT ITER 1737 NEW BEST:: SOT 6477599 SOS 5673403 HAS SOPS 5637262 HAS SOUS 2722017 HAS SOUPS 2709273 WITH SCORE 2714946.403
AT ITER 1738 NEW BEST:: SOT 6476424 SOS 5672285 HAS SOPS 5636205 HAS SOUS 2718914 HAS SOUPS 2706221 WITH SCORE 2711893.285
AT ITER 1750 NEW BEST:: SOT 6476445 SOS 5672283 HAS SOPS 5636226 HAS SOUS 2718668 HAS SOUPS 2705998 WITH SCORE 2711670.283
AT ITER 1753 NEW BEST:: SOT 6475933 SOS 5671771 HAS SOPS 5635714 HAS SOUS 2718217 HAS SOUPS 2705547 WITH SCORE 2711218.771
AT ITER 1765 NEW BEST:: SOT 6474885 SOS 5670723 HAS SOPS 5634666 HAS SOUS 2716690 HAS SOUPS 2704020 WITH SCORE 2709690.723
AT ITER 1774 NEW BEST:: SOT 6473677 SOS 5669422 HAS SOPS 5633458 HAS SOUS 2712951 HAS SOUPS 2700374 WITH SCORE 2706043.422
AT ITER 1786 NEW BEST:: SOT 6473113 SOS 5668995 HAS SOPS 5632894 HAS SOUS 2711762 HAS SOUPS 2699048 WITH SCORE 2704716.995
AT ITER 1788 NEW BEST:: SOT 6473023 SOS 5668905 HAS SOPS 5632804 HAS SOUS 2711576 HAS SOUPS 2698862 WITH SCORE 2704530.905
AT ITER 1789 NEW BEST:: SOT 6472047 SOS 5667929 HAS SOPS 5631828 HAS SOUS 2710617 HAS SOUPS 2697903 WITH SCORE 2703570.929
AT ITER 1790 NEW BEST:: SOT 6472022 SOS 5667904 HAS SOPS 5631803 HAS SOUS 2710586 HAS SOUPS 2697872 WITH SCORE 2703539.904
AT ITER 1797 NEW BEST:: SOT 6468804 SOS 5664686 HAS SOPS 5628585 HAS SOUS 2705864 HAS SOUPS 2693150 WITH SCORE 2698814.686
AT ITER 1798 NEW BEST:: SOT 6468664 SOS 5664546 HAS SOPS 5628445 HAS SOUS 2705626 HAS SOUPS 2692912 WITH SCORE 2698576.546
AT ITER 1799 NEW BEST:: SOT 6466711 SOS 5662479 HAS SOPS 5626492 HAS SOUS 2701587 HAS SOUPS 2688987 WITH SCORE 2694649.479
AT ITER 1800 NEW BEST:: SOT 6462677 SOS 5658402 HAS SOPS 5622458 HAS SOUS 2694818 HAS SOUPS 2682261 WITH SCORE 2687919.402
AT ITER 1808 NEW BEST:: SOT 6462408 SOS 5658133 HAS SOPS 5622189 HAS SOUS 2694080 HAS SOUPS 2681523 WITH SCORE 2687181.133
AT ITER 1817 NEW BEST:: SOT 6462408 SOS 5657836 HAS SOPS 5621910 HAS SOUS 2694077 HAS SOUPS 2681523 WITH SCORE 2687180.836
AT ITER 1845 NEW BEST:: SOT 6463599 SOS 5659125 HAS SOPS 5623101 HAS SOUS 2694068 HAS SOUPS 2681416 WITH SCORE 2687075.125
AT ITER 1851 NEW BEST:: SOT 6463899 SOS 5659383 HAS SOPS 5623347 HAS SOUS 2693937 HAS SOUPS 2681273 WITH SCORE 2686932.383
AT ITER 1874 NEW BEST:: SOT 6463025 SOS 5658509 HAS SOPS 5622473 HAS SOUS 2693237 HAS SOUPS 2680573 WITH SCORE 2686231.509
AT ITER 1875 NEW BEST:: SOT 6463018 SOS 5658502 HAS SOPS 5622466 HAS SOUS 2693230 HAS SOUPS 2680566 WITH SCORE 2686224.502
AT ITER 1880 NEW BEST:: SOT 6462962 SOS 5658446 HAS SOPS 5622410 HAS SOUS 2693163 HAS SOUPS 2680499 WITH SCORE 2686157.446
AT ITER 1882 NEW BEST:: SOT 6462882 SOS 5658366 HAS SOPS 5622330 HAS SOUS 2693063 HAS SOUPS 2680399 WITH SCORE 2686057.366
AT ITER 1948 NEW BEST:: SOT 6460590 SOS 5656074 HAS SOPS 5620038 HAS SOUS 2689850 HAS SOUPS 2677186 WITH SCORE 2682842.074
AT ITER 1950 NEW BEST:: SOT 6460546 SOS 5656069 HAS SOPS 5619994 HAS SOUS 2689479 HAS SOUPS 2676776 WITH SCORE 2682432.069
AT ITER 1951 NEW BEST:: SOT 6459752 SOS 5655246 HAS SOPS 5619200 HAS SOUS 2688083 HAS SOUPS 2675409 WITH SCORE 2681064.246
AT ITER 1952 NEW BEST:: SOT 6459519 SOS 5654987 HAS SOPS 5618967 HAS SOUS 2687678 HAS SOUPS 2675030 WITH SCORE 2680684.987
AT ITER 1955 NEW BEST:: SOT 6459917 SOS 5655385 HAS SOPS 5619365 HAS SOUS 2687326 HAS SOUPS 2674678 WITH SCORE 2680333.385
AT ITER 1963 NEW BEST:: SOT 6458597 SOS 5654065 HAS SOPS 5618045 HAS SOUS 2685817 HAS SOUPS 2673169 WITH SCORE 2678823.065
AT ITER 1965 NEW BEST:: SOT 6458570 SOS 5654052 HAS SOPS 5618018 HAS SOUS 2685408 HAS SOUPS 2672746 WITH SCORE 2678400.052
AT ITER 1970 NEW BEST:: SOT 6457553 SOS 5653016 HAS SOPS 5617001 HAS SOUS 2683571 HAS SOUPS 2670928 WITH SCORE 2676581.016
AT ITER 1975 NEW BEST:: SOT 6456534 SOS 5651995 HAS SOPS 5615982 HAS SOUS 2681795 HAS SOUPS 2669154 WITH SCORE 2674805.995
AT ITER 1977 NEW BEST:: SOT 6455545 SOS 5651009 HAS SOPS 5614993 HAS SOUS 2680934 HAS SOUPS 2668290 WITH SCORE 2673941.009
AT ITER 1982 NEW BEST:: SOT 6455544 SOS 5651008 HAS SOPS 5614992 HAS SOUS 2680900 HAS SOUPS 2668256 WITH SCORE 2673907.008
AT ITER 1986 NEW BEST:: SOT 6454612 SOS 5650076 HAS SOPS 5614060 HAS SOUS 2679959 HAS SOUPS 2667315 WITH SCORE 2672965.076
AT ITER 1989 NEW BEST:: SOT 6453869 SOS 5649413 HAS SOPS 5613317 HAS SOUS 2676235 HAS SOUPS 2663511 WITH SCORE 2669160.413
AT ITER 1991 NEW BEST:: SOT 6447769 SOS 5643215 HAS SOPS 5607217 HAS SOUS 2670064 HAS SOUPS 2657438 WITH SCORE 2663081.215
AT ITER 1999 NEW BEST:: SOT 6447266 SOS 5642712 HAS SOPS 5606714 HAS SOUS 2669426 HAS SOUPS 2656800 WITH SCORE 2662442.712
AT ITER 2000 NEW BEST:: SOT 6445957 SOS 5641384 HAS SOPS 5605405 HAS SOUS 2667216 HAS SOUPS 2654609 WITH SCORE 2660250.384
AT ITER 2008 NEW BEST:: SOT 6444808 SOS 5640235 HAS SOPS 5604256 HAS SOUS 2664828 HAS SOUPS 2652221 WITH SCORE 2657861.235
AT ITER 2009 NEW BEST:: SOT 6444282 SOS 5639709 HAS SOPS 5603730 HAS SOUS 2664170 HAS SOUPS 2651563 WITH SCORE 2657202.709
AT ITER 2014 NEW BEST:: SOT 6443505 SOS 5638484 HAS SOPS 5602605 HAS SOUS 2662692 HAS SOUPS 2650171 WITH SCORE 2655809.484
AT ITER 2016 NEW BEST:: SOT 6443214 SOS 5638193 HAS SOPS 5602314 HAS SOUS 2661985 HAS SOUPS 2649464 WITH SCORE 2655102.193
AT ITER 2018 NEW BEST:: SOT 6443335 SOS 5638333 HAS SOPS 5602435 HAS SOUS 2661752 HAS SOUPS 2649212 WITH SCORE 2654850.333
AT ITER 2022 NEW BEST:: SOT 6443335 SOS 5649506 HAS SOPS 5614413 HAS SOUS 2661667 HAS SOUPS 2649189 WITH SCORE 2654838.506
AT ITER 2031 NEW BEST:: SOT 6443287 SOS 5649458 HAS SOPS 5614365 HAS SOUS 2661619 HAS SOUPS 2649141 WITH SCORE 2654790.458
AT ITER 2039 NEW BEST:: SOT 6443411 SOS 5649582 HAS SOPS 5614489 HAS SOUS 2661036 HAS SOUPS 2648558 WITH SCORE 2654207.582
AT ITER 2044 NEW BEST:: SOT 6443368 SOS 5649539 HAS SOPS 5614446 HAS SOUS 2661008 HAS SOUPS 2648530 WITH SCORE 2654179.539
AT ITER 2046 NEW BEST:: SOT 6443114 SOS 5649285 HAS SOPS 5614192 HAS SOUS 2660848 HAS SOUPS 2648370 WITH SCORE 2654019.285
AT ITER 2051 NEW BEST:: SOT 6443190 SOS 5649361 HAS SOPS 5614268 HAS SOUS 2660250 HAS SOUPS 2647772 WITH SCORE 2653421.361
AT ITER 2061 NEW BEST:: SOT 6443584 SOS 5649804 HAS SOPS 5614662 HAS SOUS 2659895 HAS SOUPS 2647368 WITH SCORE 2653017.804
AT ITER 2063 NEW BEST:: SOT 6442363 SOS 5648678 HAS SOPS 5613441 HAS SOUS 2657667 HAS SOUPS 2645045 WITH SCORE 2650693.678
AT ITER 2070 NEW BEST:: SOT 6441641 SOS 5647956 HAS SOPS 5612719 HAS SOUS 2656120 HAS SOUPS 2643498 WITH SCORE 2649145.956
AT ITER 2071 NEW BEST:: SOT 6420753 SOS 5627478 HAS SOPS 5592983 HAS SOUS 2637129 HAS SOUPS 2625249 WITH SCORE 2630876.478
AT ITER 2091 NEW BEST:: SOT 6419697 SOS 5626433 HAS SOPS 5591927 HAS SOUS 2635411 HAS SOUPS 2623520 WITH SCORE 2629146.433
AT ITER 2092 NEW BEST:: SOT 6419507 SOS 5626243 HAS SOPS 5591737 HAS SOUS 2635200 HAS SOUPS 2623309 WITH SCORE 2628935.243
AT ITER 2095 NEW BEST:: SOT 6420208 SOS 5627104 HAS SOPS 5592438 HAS SOUS 2634306 HAS SOUPS 2622255 WITH SCORE 2627882.104
AT ITER 2097 NEW BEST:: SOT 6420206 SOS 5627102 HAS SOPS 5592436 HAS SOUS 2634226 HAS SOUPS 2622175 WITH SCORE 2627802.102
AT ITER 2103 NEW BEST:: SOT 6418925 SOS 5625821 HAS SOPS 5591155 HAS SOUS 2632414 HAS SOUPS 2620363 WITH SCORE 2625988.821
AT ITER 2109 NEW BEST:: SOT 6418677 SOS 5625573 HAS SOPS 5590907 HAS SOUS 2632054 HAS SOUPS 2620003 WITH SCORE 2625628.573
AT ITER 2112 NEW BEST:: SOT 6418677 SOS 5625591 HAS SOPS 5590923 HAS SOUS 2632052 HAS SOUPS 2620001 WITH SCORE 2625626.591
AT ITER 2114 NEW BEST:: SOT 6418677 SOS 5625609 HAS SOPS 5590923 HAS SOUS 2632052 HAS SOUPS 2619983 WITH SCORE 2625608.609
AT ITER 2116 NEW BEST:: SOT 6418677 SOS 5625288 HAS SOPS 5590529 HAS SOUS 2631902 HAS SOUPS 2619833 WITH SCORE 2625458.288
AT ITER 2127 NEW BEST:: SOT 6417913 SOS 5624524 HAS SOPS 5589765 HAS SOUS 2631182 HAS SOUPS 2619113 WITH SCORE 2624737.524
AT ITER 2133 NEW BEST:: SOT 6417293 SOS 5623904 HAS SOPS 5589145 HAS SOUS 2630299 HAS SOUPS 2618230 WITH SCORE 2623853.904
AT ITER 2139 NEW BEST:: SOT 6417005 SOS 5623616 HAS SOPS 5588857 HAS SOUS 2629583 HAS SOUPS 2617514 WITH SCORE 2623137.616
AT ITER 2146 NEW BEST:: SOT 6416955 SOS 5623566 HAS SOPS 5588807 HAS SOUS 2629467 HAS SOUPS 2617398 WITH SCORE 2623021.566
AT ITER 2156 NEW BEST:: SOT 6415712 SOS 5622312 HAS SOPS 5587564 HAS SOUS 2626512 HAS SOUPS 2614454 WITH SCORE 2620076.312
AT ITER 2173 NEW BEST:: SOT 6414020 SOS 5620620 HAS SOPS 5585872 HAS SOUS 2624363 HAS SOUPS 2612305 WITH SCORE 2617925.62
AT ITER 2179 NEW BEST:: SOT 6413990 SOS 5620557 HAS SOPS 5585842 HAS SOUS 2624157 HAS SOUPS 2612132 WITH SCORE 2617752.557
AT ITER 2196 NEW BEST:: SOT 6413041 SOS 5620298 HAS SOPS 5585602 HAS SOUS 2623313 HAS SOUPS 2611331 WITH SCORE 2616951.298
AT ITER 2201 NEW BEST:: SOT 6418737 SOS 5625334 HAS SOPS 5590310 HAS SOUS 2619444 HAS SOUPS 2607134 WITH SCORE 2612759.334
AT ITER 2237 NEW BEST:: SOT 6417791 SOS 5624306 HAS SOPS 5589364 HAS SOUS 2617826 HAS SOUPS 2605598 WITH SCORE 2611222.306
AT ITER 2240 NEW BEST:: SOT 6417792 SOS 5624305 HAS SOPS 5589365 HAS SOUS 2617796 HAS SOUPS 2605570 WITH SCORE 2611194.305
AT ITER 2243 NEW BEST:: SOT 6414752 SOS 5621229 HAS SOPS 5586325 HAS SOUS 2614528 HAS SOUPS 2602338 WITH SCORE 2607959.229
AT ITER 2245 NEW BEST:: SOT 6413817 SOS 5620253 HAS SOPS 5585390 HAS SOUS 2613512 HAS SOUPS 2601363 WITH SCORE 2606983.253
AT ITER 2247 NEW BEST:: SOT 6409202 SOS 5615638 HAS SOPS 5580775 HAS SOUS 2605647 HAS SOUPS 2593498 WITH SCORE 2599113.638
AT ITER 2250 NEW BEST:: SOT 6408510 SOS 5614946 HAS SOPS 5580083 HAS SOUS 2604639 HAS SOUPS 2592490 WITH SCORE 2598104.946
AT ITER 2262 NEW BEST:: SOT 6408510 SOS 5609292 HAS SOPS 5594085 HAS SOUS 2602362 HAS SOUPS 2590295 WITH SCORE 2595904.292
AT ITER 2267 NEW BEST:: SOT 6408446 SOS 5609174 HAS SOPS 5594021 HAS SOUS 2602042 HAS SOUPS 2590029 WITH SCORE 2595638.174
AT ITER 2268 NEW BEST:: SOT 6408446 SOS 5609174 HAS SOPS 5594021 HAS SOUS 2602040 HAS SOUPS 2590027 WITH SCORE 2595636.174
AT ITER 2279 NEW BEST:: SOT 6406291 SOS 5606889 HAS SOPS 5591866 HAS SOUS 2599226 HAS SOUPS 2587343 WITH SCORE 2592949.889
AT ITER 2282 NEW BEST:: SOT 6406168 SOS 5606805 HAS SOPS 5591800 HAS SOUS 2599049 HAS SOUPS 2587184 WITH SCORE 2592790.805
AT ITER 2293 NEW BEST:: SOT 6406156 SOS 5606793 HAS SOPS 5591788 HAS SOUS 2599035 HAS SOUPS 2587170 WITH SCORE 2592776.793
AT ITER 2302 NEW BEST:: SOT 6402760 SOS 5603397 HAS SOPS 5588392 HAS SOUS 2594985 HAS SOUPS 2583120 WITH SCORE 2588723.397
AT ITER 2304 NEW BEST:: SOT 6400731 SOS 5601328 HAS SOPS 5586363 HAS SOUS 2590393 HAS SOUPS 2578568 WITH SCORE 2584169.328
AT ITER 2305 NEW BEST:: SOT 6400711 SOS 5601308 HAS SOPS 5586343 HAS SOUS 2590363 HAS SOUPS 2578538 WITH SCORE 2584139.308
AT ITER 2326 NEW BEST:: SOT 6400708 SOS 5601302 HAS SOPS 5586340 HAS SOUS 2590319 HAS SOUPS 2578497 WITH SCORE 2584098.302
AT ITER 2327 NEW BEST:: SOT 6400233 SOS 5600812 HAS SOPS 5585865 HAS SOUS 2589464 HAS SOUPS 2577657 WITH SCORE 2583257.812
AT ITER 2335 NEW BEST:: SOT 6405601 SOS 5605644 HAS SOPS 5590261 HAS SOUS 2584411 HAS SOUPS 2572168 WITH SCORE 2577773.644
AT ITER 2349 NEW BEST:: SOT 6404303 SOS 5604346 HAS SOPS 5588963 HAS SOUS 2582971 HAS SOUPS 2570728 WITH SCORE 2576332.346
AT ITER 2356 NEW BEST:: SOT 6399269 SOS 5599175 HAS SOPS 5583929 HAS SOUS 2575282 HAS SOUPS 2563164 WITH SCORE 2568763.175
AT ITER 2359 NEW BEST:: SOT 6394141 SOS 5593904 HAS SOPS 5578801 HAS SOUS 2566033 HAS SOUPS 2554058 WITH SCORE 2559651.904
AT ITER 2361 NEW BEST:: SOT 6391916 SOS 5591703 HAS SOPS 5576594 HAS SOUS 2563429 HAS SOUPS 2551454 WITH SCORE 2557045.703
AT ITER 2365 NEW BEST:: SOT 6391198 SOS 5590985 HAS SOPS 5575876 HAS SOUS 2562270 HAS SOUPS 2550295 WITH SCORE 2555885.985
AT ITER 2369 NEW BEST:: SOT 6390008 SOS 5589795 HAS SOPS 5574686 HAS SOUS 2560197 HAS SOUPS 2548222 WITH SCORE 2553811.795
AT ITER 2371 NEW BEST:: SOT 6387631 SOS 5587357 HAS SOPS 5572309 HAS SOUS 2555405 HAS SOUPS 2543491 WITH SCORE 2549078.357
AT ITER 2372 NEW BEST:: SOT 6387272 SOS 5587088 HAS SOPS 5571950 HAS SOUS 2554668 HAS SOUPS 2542664 WITH SCORE 2548251.088
AT ITER 2378 NEW BEST:: SOT 6387229 SOS 5587075 HAS SOPS 5571907 HAS SOUS 2554587 HAS SOUPS 2542553 WITH SCORE 2548140.075
AT ITER 2382 NEW BEST:: SOT 6386217 SOS 5586061 HAS SOPS 5570895 HAS SOUS 2553522 HAS SOUPS 2541490 WITH SCORE 2547076.061
AT ITER 2388 NEW BEST:: SOT 6385472 SOS 5585316 HAS SOPS 5570150 HAS SOUS 2552526 HAS SOUPS 2540494 WITH SCORE 2546079.316
AT ITER 2395 NEW BEST:: SOT 6385344 SOS 5585188 HAS SOPS 5570022 HAS SOUS 2552354 HAS SOUPS 2540322 WITH SCORE 2545907.188
AT ITER 2396 NEW BEST:: SOT 6384446 SOS 5584335 HAS SOPS 5569214 HAS SOUS 2551371 HAS SOUPS 2539384 WITH SCORE 2544968.335
AT ITER 2398 NEW BEST:: SOT 6384439 SOS 5584328 HAS SOPS 5569207 HAS SOUS 2551353 HAS SOUPS 2539366 WITH SCORE 2544950.328
AT ITER 2408 NEW BEST:: SOT 6383850 SOS 5583716 HAS SOPS 5568618 HAS SOUS 2550063 HAS SOUPS 2538099 WITH SCORE 2543682.716
AT ITER 2411 NEW BEST:: SOT 6382534 SOS 5582368 HAS SOPS 5567302 HAS SOUS 2548493 HAS SOUPS 2536561 WITH SCORE 2542143.368
AT ITER 2412 NEW BEST:: SOT 6382534 SOS 5582119 HAS SOPS 5567012 HAS SOUS 2548374 HAS SOUPS 2536444 WITH SCORE 2542026.119
AT ITER 2431 NEW BEST:: SOT 6379835 SOS 5579390 HAS SOPS 5564313 HAS SOUS 2544836 HAS SOUPS 2532936 WITH SCORE 2538515.39
AT ITER 2432 NEW BEST:: SOT 6379132 SOS 5579597 HAS SOPS 5564520 HAS SOUS 2543698 HAS SOUPS 2531798 WITH SCORE 2537377.597
AT ITER 2436 NEW BEST:: SOT 6378693 SOS 5579143 HAS SOPS 5564081 HAS SOUS 2542734 HAS SOUPS 2530849 WITH SCORE 2536428.143
AT ITER 2442 NEW BEST:: SOT 6369993 SOS 5570404 HAS SOPS 5555381 HAS SOUS 2530377 HAS SOUPS 2518531 WITH SCORE 2524101.404
AT ITER 2448 NEW BEST:: SOT 6367921 SOS 5568332 HAS SOPS 5553309 HAS SOUS 2527449 HAS SOUPS 2515603 WITH SCORE 2521171.332
AT ITER 2449 NEW BEST:: SOT 6367921 SOS 5564219 HAS SOPS 5549133 HAS SOUS 2527420 HAS SOUPS 2515568 WITH SCORE 2521132.219
AT ITER 2450 NEW BEST:: SOT 6367921 SOS 5563467 HAS SOPS 5548523 HAS SOUS 2527355 HAS SOUPS 2515521 WITH SCORE 2521084.467
AT ITER 2466 NEW BEST:: SOT 6365643 SOS 5561101 HAS SOPS 5546245 HAS SOUS 2523800 HAS SOUPS 2512054 WITH SCORE 2517615.101
AT ITER 2493 NEW BEST:: SOT 6365887 SOS 5561240 HAS SOPS 5546384 HAS SOUS 2523650 HAS SOUPS 2511904 WITH SCORE 2517465.24
AT ITER 2502 NEW BEST:: SOT 6365161 SOS 5560556 HAS SOPS 5545658 HAS SOUS 2523534 HAS SOUPS 2511746 WITH SCORE 2517306.556
AT ITER 2505 NEW BEST:: SOT 6364253 SOS 5559648 HAS SOPS 5544750 HAS SOUS 2523042 HAS SOUPS 2511254 WITH SCORE 2516813.648
AT ITER 2510 NEW BEST:: SOT 6364045 SOS 5559440 HAS SOPS 5544542 HAS SOUS 2522799 HAS SOUPS 2511011 WITH SCORE 2516570.44
AT ITER 2530 NEW BEST:: SOT 6363540 SOS 5558935 HAS SOPS 5544037 HAS SOUS 2521613 HAS SOUPS 2509825 WITH SCORE 2515383.935
AT ITER 2545 NEW BEST:: SOT 6362037 SOS 5557444 HAS SOPS 5542534 HAS SOUS 2520971 HAS SOUPS 2509171 WITH SCORE 2514728.444
AT ITER 2551 NEW BEST:: SOT 6361367 SOS 5556774 HAS SOPS 5541864 HAS SOUS 2519969 HAS SOUPS 2508169 WITH SCORE 2513725.774
AT ITER 2559 NEW BEST:: SOT 6361322 SOS 5556709 HAS SOPS 5541819 HAS SOUS 2519897 HAS SOUPS 2508117 WITH SCORE 2513673.709
AT ITER 2560 NEW BEST:: SOT 6361084 SOS 5556471 HAS SOPS 5541581 HAS SOUS 2519183 HAS SOUPS 2507403 WITH SCORE 2512959.471
AT ITER 2571 NEW BEST:: SOT 6361084 SOS 5555020 HAS SOPS 5540125 HAS SOUS 2519096 HAS SOUPS 2507314 WITH SCORE 2512869.02
AT ITER 2573 NEW BEST:: SOT 6360894 SOS 5554830 HAS SOPS 5539935 HAS SOUS 2518918 HAS SOUPS 2507136 WITH SCORE 2512690.83
AT ITER 2580 NEW BEST:: SOT 6359868 SOS 5553804 HAS SOPS 5538909 HAS SOUS 2517034 HAS SOUPS 2505252 WITH SCORE 2510805.804
AT ITER 2584 NEW BEST:: SOT 6359810 SOS 5553518 HAS SOPS 5538585 HAS SOUS 2516715 HAS SOUPS 2504933 WITH SCORE 2510486.518
AT ITER 2586 NEW BEST:: SOT 6359594 SOS 5553302 HAS SOPS 5538369 HAS SOUS 2516364 HAS SOUPS 2504582 WITH SCORE 2510135.302
AT ITER 2590 NEW BEST:: SOT 6356552 SOS 5550247 HAS SOPS 5535327 HAS SOUS 2512699 HAS SOUPS 2500930 WITH SCORE 2506480.247
AT ITER 2594 NEW BEST:: SOT 6355017 SOS 5548712 HAS SOPS 5533792 HAS SOUS 2510065 HAS SOUPS 2498296 WITH SCORE 2503844.712
AT ITER 2606 NEW BEST:: SOT 6355033 SOS 5548728 HAS SOPS 5533808 HAS SOUS 2510049 HAS SOUPS 2498280 WITH SCORE 2503828.728
AT ITER 2611 NEW BEST:: SOT 6354775 SOS 5548470 HAS SOPS 5533550 HAS SOUS 2509442 HAS SOUPS 2497673 WITH SCORE 2503221.47
AT ITER 2624 NEW BEST:: SOT 6354119 SOS 5547814 HAS SOPS 5532894 HAS SOUS 2508538 HAS SOUPS 2496769 WITH SCORE 2502316.814
AT ITER 2633 NEW BEST:: SOT 6353811 SOS 5547506 HAS SOPS 5532586 HAS SOUS 2506579 HAS SOUPS 2494810 WITH SCORE 2500357.506
AT ITER 2647 NEW BEST:: SOT 6353419 SOS 5547114 HAS SOPS 5532194 HAS SOUS 2506016 HAS SOUPS 2494247 WITH SCORE 2499794.114
AT ITER 2680 NEW BEST:: SOT 6353450 SOS 5547207 HAS SOPS 5532237 HAS SOUS 2505697 HAS SOUPS 2493914 WITH SCORE 2499461.207
AT ITER 2685 NEW BEST:: SOT 6351922 SOS 5545679 HAS SOPS 5530709 HAS SOUS 2503524 HAS SOUPS 2491741 WITH SCORE 2497286.679
AT ITER 2690 NEW BEST:: SOT 6351286 SOS 5545043 HAS SOPS 5530073 HAS SOUS 2502425 HAS SOUPS 2490642 WITH SCORE 2496187.043
AT ITER 2701 NEW BEST:: SOT 6350823 SOS 5544580 HAS SOPS 5529610 HAS SOUS 2501240 HAS SOUPS 2489457 WITH SCORE 2495001.58
AT ITER 2705 NEW BEST:: SOT 6348389 SOS 5542146 HAS SOPS 5527176 HAS SOUS 2496873 HAS SOUPS 2485090 WITH SCORE 2490632.146
AT ITER 2721 NEW BEST:: SOT 6343112 SOS 5536801 HAS SOPS 5521899 HAS SOUS 2488570 HAS SOUPS 2476855 WITH SCORE 2482391.801
AT ITER 2736 NEW BEST:: SOT 6340563 SOS 5534212 HAS SOPS 5519350 HAS SOUS 2485230 HAS SOUPS 2473555 WITH SCORE 2479089.212
AT ITER 2744 NEW BEST:: SOT 6340314 SOS 5533963 HAS SOPS 5519101 HAS SOUS 2484431 HAS SOUPS 2472756 WITH SCORE 2478289.963
AT ITER 2745 NEW BEST:: SOT 6339870 SOS 5533507 HAS SOPS 5518657 HAS SOUS 2484386 HAS SOUPS 2472723 WITH SCORE 2478256.507
AT ITER 2750 NEW BEST:: SOT 6337022 SOS 5530659 HAS SOPS 5515809 HAS SOUS 2482389 HAS SOUPS 2470726 WITH SCORE 2476256.659
AT ITER 2751 NEW BEST:: SOT 6337267 SOS 5530928 HAS SOPS 5516054 HAS SOUS 2482336 HAS SOUPS 2470649 WITH SCORE 2476179.928
AT ITER 2755 NEW BEST:: SOT 6337262 SOS 5530923 HAS SOPS 5516049 HAS SOUS 2482300 HAS SOUPS 2470613 WITH SCORE 2476143.923
AT ITER 2756 NEW BEST:: SOT 6336700 SOS 5530361 HAS SOPS 5515487 HAS SOUS 2480750 HAS SOUPS 2469063 WITH SCORE 2474593.361
AT ITER 2757 NEW BEST:: SOT 6331984 SOS 5525691 HAS SOPS 5510803 HAS SOUS 2473894 HAS SOUPS 2462239 WITH SCORE 2467764.691
AT ITER 2762 NEW BEST:: SOT 6331984 SOS 5525699 HAS SOPS 5510803 HAS SOUS 2473816 HAS SOUPS 2462153 WITH SCORE 2467678.699
AT ITER 2764 NEW BEST:: SOT 6331404 SOS 5525111 HAS SOPS 5510223 HAS SOUS 2473214 HAS SOUPS 2461559 WITH SCORE 2467084.111
AT ITER 2772 NEW BEST:: SOT 6330969 SOS 5524618 HAS SOPS 5509788 HAS SOUS 2472243 HAS SOUPS 2460646 WITH SCORE 2466170.618
AT ITER 2777 NEW BEST:: SOT 6330527 SOS 5524176 HAS SOPS 5509346 HAS SOUS 2471356 HAS SOUPS 2459759 WITH SCORE 2465283.176
AT ITER 2778 NEW BEST:: SOT 6330527 SOS 5524176 HAS SOPS 5509346 HAS SOUS 2471188 HAS SOUPS 2459591 WITH SCORE 2465115.176
AT ITER 2785 NEW BEST:: SOT 6329579 SOS 5523210 HAS SOPS 5508398 HAS SOUS 2470206 HAS SOUPS 2458627 WITH SCORE 2464150.21
AT ITER 2797 NEW BEST:: SOT 6329423 SOS 5523051 HAS SOPS 5508242 HAS SOUS 2469990 HAS SOUPS 2458414 WITH SCORE 2463937.051
AT ITER 2798 NEW BEST:: SOT 6329196 SOS 5522908 HAS SOPS 5508015 HAS SOUS 2469076 HAS SOUPS 2457416 WITH SCORE 2462938.908
AT ITER 2799 NEW BEST:: SOT 6328782 SOS 5522494 HAS SOPS 5507601 HAS SOUS 2468750 HAS SOUPS 2457090 WITH SCORE 2462612.494
AT ITER 2804 NEW BEST:: SOT 6328609 SOS 5522303 HAS SOPS 5507428 HAS SOUS 2468628 HAS SOUPS 2456986 WITH SCORE 2462508.303
AT ITER 2805 NEW BEST:: SOT 6328341 SOS 5522035 HAS SOPS 5507160 HAS SOUS 2468168 HAS SOUPS 2456526 WITH SCORE 2462048.035
AT ITER 2806 NEW BEST:: SOT 6327952 SOS 5522382 HAS SOPS 5507449 HAS SOUS 2467593 HAS SOUPS 2455932 WITH SCORE 2461454.382
AT ITER 2807 NEW BEST:: SOT 6328014 SOS 5522443 HAS SOPS 5507511 HAS SOUS 2466699 HAS SOUPS 2455038 WITH SCORE 2460560.443
AT ITER 2839 NEW BEST:: SOT 6327985 SOS 5522414 HAS SOPS 5507482 HAS SOUS 2466377 HAS SOUPS 2454716 WITH SCORE 2460238.414
AT ITER 2842 NEW BEST:: SOT 6327661 SOS 5522098 HAS SOPS 5507158 HAS SOUS 2466188 HAS SOUPS 2454519 WITH SCORE 2460041.098
AT ITER 2848 NEW BEST:: SOT 6327631 SOS 5522038 HAS SOPS 5507128 HAS SOUS 2466140 HAS SOUPS 2454501 WITH SCORE 2460023.038
AT ITER 2852 NEW BEST:: SOT 6327537 SOS 5521844 HAS SOPS 5507034 HAS SOUS 2465322 HAS SOUPS 2453783 WITH SCORE 2459304.844
AT ITER 2858 NEW BEST:: SOT 6326306 SOS 5520553 HAS SOPS 5505803 HAS SOUS 2463142 HAS SOUPS 2451663 WITH SCORE 2457183.553
AT ITER 2860 NEW BEST:: SOT 6324762 SOS 5518969 HAS SOPS 5504259 HAS SOUS 2462823 HAS SOUPS 2451384 WITH SCORE 2456902.969
AT ITER 2864 NEW BEST:: SOT 6324295 SOS 5518502 HAS SOPS 5503792 HAS SOUS 2462283 HAS SOUPS 2450844 WITH SCORE 2456362.502
AT ITER 2875 NEW BEST:: SOT 6323639 SOS 5517846 HAS SOPS 5503136 HAS SOUS 2461859 HAS SOUPS 2450420 WITH SCORE 2455937.846
AT ITER 2876 NEW BEST:: SOT 6323632 SOS 5517839 HAS SOPS 5503129 HAS SOUS 2461439 HAS SOUPS 2450000 WITH SCORE 2455517.839
AT ITER 2879 NEW BEST:: SOT 6322278 SOS 5516485 HAS SOPS 5501775 HAS SOUS 2459736 HAS SOUPS 2448297 WITH SCORE 2453813.485
AT ITER 2890 NEW BEST:: SOT 6322186 SOS 5516414 HAS SOPS 5501683 HAS SOUS 2459416 HAS SOUPS 2447956 WITH SCORE 2453472.414
AT ITER 2892 NEW BEST:: SOT 6315554 SOS 5509774 HAS SOPS 5495051 HAS SOUS 2450534 HAS SOUPS 2439082 WITH SCORE 2444591.774
AT ITER 2897 NEW BEST:: SOT 6315479 SOS 5509694 HAS SOPS 5494976 HAS SOUS 2450457 HAS SOUPS 2439010 WITH SCORE 2444519.694
AT ITER 2900 NEW BEST:: SOT 6315479 SOS 5492234 HAS SOPS 5477326 HAS SOUS 2449189 HAS SOUPS 2437737 WITH SCORE 2443229.234
AT ITER 2904 NEW BEST:: SOT 6315479 SOS 5492234 HAS SOPS 5477326 HAS SOUS 2449167 HAS SOUPS 2437715 WITH SCORE 2443207.234
AT ITER 2906 NEW BEST:: SOT 6315479 SOS 5492234 HAS SOPS 5477326 HAS SOUS 2449061 HAS SOUPS 2437609 WITH SCORE 2443101.234
AT ITER 2926 NEW BEST:: SOT 6315456 SOS 5492211 HAS SOPS 5477303 HAS SOUS 2448788 HAS SOUPS 2437336 WITH SCORE 2442828.211
AT ITER 2934 NEW BEST:: SOT 6329435 SOS 5506558 HAS SOPS 5491833 HAS SOUS 2448171 HAS SOUPS 2436902 WITH SCORE 2442408.558
AT ITER 2955 NEW BEST:: SOT 6329190 SOS 5506313 HAS SOPS 5491588 HAS SOUS 2447592 HAS SOUPS 2436323 WITH SCORE 2441829.313
AT ITER 2958 NEW BEST:: SOT 6317957 SOS 5495527 HAS SOPS 5481417 HAS SOUS 2441836 HAS SOUPS 2431182 WITH SCORE 2436677.527
AT ITER 2968 NEW BEST:: SOT 6315393 SOS 5492963 HAS SOPS 5478853 HAS SOUS 2440128 HAS SOUPS 2429474 WITH SCORE 2434966.963
AT ITER 2969 NEW BEST:: SOT 6314777 SOS 5492347 HAS SOPS 5478237 HAS SOUS 2439551 HAS SOUPS 2428897 WITH SCORE 2434389.347
AT ITER 2972 NEW BEST:: SOT 6314199 SOS 5491769 HAS SOPS 5477659 HAS SOUS 2438732 HAS SOUPS 2428078 WITH SCORE 2433569.769
AT ITER 2988 NEW BEST:: SOT 6313777 SOS 5491347 HAS SOPS 5477237 HAS SOUS 2437739 HAS SOUPS 2427085 WITH SCORE 2432576.347
AT ITER 2989 NEW BEST:: SOT 6313513 SOS 5490737 HAS SOPS 5476761 HAS SOUS 2437315 HAS SOUPS 2426661 WITH SCORE 2432151.737
AT ITER 2991 NEW BEST:: SOT 6312906 SOS 5490130 HAS SOPS 5476154 HAS SOUS 2436779 HAS SOUPS 2426125 WITH SCORE 2431615.13
AT ITER 2996 NEW BEST:: SOT 6312268 SOS 5489539 HAS SOPS 5475516 HAS SOUS 2435985 HAS SOUPS 2425284 WITH SCORE 2430773.539
AT ITER 3002 NEW BEST:: SOT 6311758 SOS 5489015 HAS SOPS 5475006 HAS SOUS 2434963 HAS SOUPS 2424276 WITH SCORE 2429765.015
AT ITER 3004 NEW BEST:: SOT 6309400 SOS 5486683 HAS SOPS 5472648 HAS SOUS 2431061 HAS SOUPS 2420348 WITH SCORE 2425834.683
AT ITER 3007 NEW BEST:: SOT 6307206 SOS 5484455 HAS SOPS 5470454 HAS SOUS 2426178 HAS SOUPS 2415499 WITH SCORE 2420983.455
AT ITER 3014 NEW BEST:: SOT 6305274 SOS 5482480 HAS SOPS 5468522 HAS SOUS 2422572 HAS SOUPS 2411936 WITH SCORE 2417418.48
AT ITER 3034 NEW BEST:: SOT 6304014 SOS 5481193 HAS SOPS 5467262 HAS SOUS 2420113 HAS SOUPS 2409504 WITH SCORE 2414985.193
AT ITER 3037 NEW BEST:: SOT 6303420 SOS 5479001 HAS SOPS 5465038 HAS SOUS 2419599 HAS SOUPS 2409005 WITH SCORE 2414484.001
AT ITER 3052 NEW BEST:: SOT 6302877 SOS 5478458 HAS SOPS 5464495 HAS SOUS 2418735 HAS SOUPS 2408141 WITH SCORE 2413619.458
AT ITER 3053 NEW BEST:: SOT 6302845 SOS 5478426 HAS SOPS 5464463 HAS SOUS 2418681 HAS SOUPS 2408087 WITH SCORE 2413565.426
AT ITER 3059 NEW BEST:: SOT 6302215 SOS 5477796 HAS SOPS 5463833 HAS SOUS 2417781 HAS SOUPS 2407187 WITH SCORE 2412664.796
AT ITER 3064 NEW BEST:: SOT 6302084 SOS 5477665 HAS SOPS 5463702 HAS SOUS 2417414 HAS SOUPS 2406820 WITH SCORE 2412297.665
AT ITER 3071 NEW BEST:: SOT 6302084 SOS 5476916 HAS SOPS 5462931 HAS SOUS 2417397 HAS SOUPS 2406802 WITH SCORE 2412278.916
AT ITER 3078 NEW BEST:: SOT 6301288 SOS 5476120 HAS SOPS 5462135 HAS SOUS 2416425 HAS SOUPS 2405830 WITH SCORE 2411306.12
AT ITER 3079 NEW BEST:: SOT 6299290 SOS 5474095 HAS SOPS 5460137 HAS SOUS 2413590 HAS SOUPS 2403022 WITH SCORE 2408496.095
AT ITER 3086 NEW BEST:: SOT 6297689 SOS 5472478 HAS SOPS 5458536 HAS SOUS 2411074 HAS SOUPS 2400522 WITH SCORE 2405994.478
AT ITER 3092 NEW BEST:: SOT 6297744 SOS 5472533 HAS SOPS 5458591 HAS SOUS 2410838 HAS SOUPS 2400286 WITH SCORE 2405758.533
AT ITER 3097 NEW BEST:: SOT 6297488 SOS 5472269 HAS SOPS 5458335 HAS SOUS 2410373 HAS SOUPS 2399829 WITH SCORE 2405301.269
AT ITER 3115 NEW BEST:: SOT 6297455 SOS 5471730 HAS SOPS 5457828 HAS SOUS 2410117 HAS SOUPS 2399573 WITH SCORE 2405044.73
AT ITER 3139 NEW BEST:: SOT 6297567 SOS 5471861 HAS SOPS 5457940 HAS SOUS 2410060 HAS SOUPS 2399497 WITH SCORE 2404968.861
AT ITER 3147 NEW BEST:: SOT 6293728 SOS 5467863 HAS SOPS 5454101 HAS SOUS 2405411 HAS SOUPS 2395007 WITH SCORE 2400474.863
AT ITER 3149 NEW BEST:: SOT 6293716 SOS 5467851 HAS SOPS 5454089 HAS SOUS 2404726 HAS SOUPS 2394322 WITH SCORE 2399789.851
AT ITER 3150 NEW BEST:: SOT 6292148 SOS 5466283 HAS SOPS 5452521 HAS SOUS 2402646 HAS SOUPS 2392242 WITH SCORE 2397708.283
AT ITER 3151 NEW BEST:: SOT 6290428 SOS 5464586 HAS SOPS 5450869 HAS SOUS 2401517 HAS SOUPS 2391160 WITH SCORE 2396624.586
AT ITER 3153 NEW BEST:: SOT 6290307 SOS 5464456 HAS SOPS 5450748 HAS SOUS 2401347 HAS SOUPS 2390999 WITH SCORE 2396463.456
AT ITER 3154 NEW BEST:: SOT 6287402 SOS 5461546 HAS SOPS 5447843 HAS SOUS 2396749 HAS SOUPS 2386406 WITH SCORE 2391867.546
AT ITER 3159 NEW BEST:: SOT 6287185 SOS 5461329 HAS SOPS 5447626 HAS SOUS 2396532 HAS SOUPS 2386189 WITH SCORE 2391650.329
AT ITER 3164 NEW BEST:: SOT 6287183 SOS 5461327 HAS SOPS 5447624 HAS SOUS 2396501 HAS SOUPS 2386158 WITH SCORE 2391619.327
AT ITER 3167 NEW BEST:: SOT 6286341 SOS 5460467 HAS SOPS 5446782 HAS SOUS 2394783 HAS SOUPS 2384458 WITH SCORE 2389918.467
AT ITER 3170 NEW BEST:: SOT 6285477 SOS 5459584 HAS SOPS 5445918 HAS SOUS 2392793 HAS SOUPS 2382487 WITH SCORE 2387946.584
AT ITER 3171 NEW BEST:: SOT 6283152 SOS 5457355 HAS SOPS 5443593 HAS SOUS 2392024 HAS SOUPS 2381622 WITH SCORE 2387079.355
AT ITER 3174 NEW BEST:: SOT 6277837 SOS 5452040 HAS SOPS 5438278 HAS SOUS 2383654 HAS SOUPS 2373252 WITH SCORE 2378704.04
AT ITER 3196 NEW BEST:: SOT 6274902 SOS 5449044 HAS SOPS 5435343 HAS SOUS 2378639 HAS SOUPS 2368298 WITH SCORE 2373747.044
AT ITER 3213 NEW BEST:: SOT 6273092 SOS 5447201 HAS SOPS 5433533 HAS SOUS 2376544 HAS SOUPS 2366236 WITH SCORE 2371683.201
AT ITER 3219 NEW BEST:: SOT 6272944 SOS 5447043 HAS SOPS 5433385 HAS SOUS 2376251 HAS SOUPS 2365953 WITH SCORE 2371400.043
AT ITER 3221 NEW BEST:: SOT 6274540 SOS 5448639 HAS SOPS 5434981 HAS SOUS 2375181 HAS SOUPS 2364883 WITH SCORE 2370331.639
AT ITER 3233 NEW BEST:: SOT 6274036 SOS 5448135 HAS SOPS 5434477 HAS SOUS 2374472 HAS SOUPS 2364174 WITH SCORE 2369622.135
AT ITER 3235 NEW BEST:: SOT 6270311 SOS 5444376 HAS SOPS 5430752 HAS SOUS 2369891 HAS SOUPS 2359627 WITH SCORE 2365071.376
AT ITER 3244 NEW BEST:: SOT 6268581 SOS 5442646 HAS SOPS 5429022 HAS SOUS 2367660 HAS SOUPS 2357396 WITH SCORE 2362838.646
AT ITER 3250 NEW BEST:: SOT 6268457 SOS 5442522 HAS SOPS 5428898 HAS SOUS 2367333 HAS SOUPS 2357069 WITH SCORE 2362511.522
AT ITER 3260 NEW BEST:: SOT 6268449 SOS 5442514 HAS SOPS 5428890 HAS SOUS 2367320 HAS SOUPS 2357056 WITH SCORE 2362498.514
AT ITER 3262 NEW BEST:: SOT 6268394 SOS 5442459 HAS SOPS 5428835 HAS SOUS 2367222 HAS SOUPS 2356958 WITH SCORE 2362400.459
AT ITER 3263 NEW BEST:: SOT 6268403 SOS 5443661 HAS SOPS 5429914 HAS SOUS 2367192 HAS SOUPS 2356920 WITH SCORE 2362363.661
AT ITER 3267 NEW BEST:: SOT 6265553 SOS 5440715 HAS SOPS 5427064 HAS SOUS 2361841 HAS SOUPS 2351665 WITH SCORE 2357105.715
AT ITER 3268 NEW BEST:: SOT 6265311 SOS 5440473 HAS SOPS 5426822 HAS SOUS 2361542 HAS SOUPS 2351366 WITH SCORE 2356806.473
AT ITER 3278 NEW BEST:: SOT 6265171 SOS 5440333 HAS SOPS 5426682 HAS SOUS 2361330 HAS SOUPS 2351154 WITH SCORE 2356594.333
AT ITER 3283 NEW BEST:: SOT 6265090 SOS 5440232 HAS SOPS 5426601 HAS SOUS 2361207 HAS SOUPS 2351051 WITH SCORE 2356491.232
AT ITER 3293 NEW BEST:: SOT 6265010 SOS 5440152 HAS SOPS 5426521 HAS SOUS 2359929 HAS SOUPS 2349773 WITH SCORE 2355213.152
AT ITER 3339 NEW BEST:: SOT 6264816 SOS 5439958 HAS SOPS 5426327 HAS SOUS 2359692 HAS SOUPS 2349536 WITH SCORE 2354975.958
AT ITER 3345 NEW BEST:: SOT 6264548 SOS 5439662 HAS SOPS 5426059 HAS SOUS 2359098 HAS SOUPS 2348970 WITH SCORE 2354409.662
AT ITER 3353 NEW BEST:: SOT 6263665 SOS 5438779 HAS SOPS 5425176 HAS SOUS 2358224 HAS SOUPS 2348096 WITH SCORE 2353534.779
AT ITER 3354 NEW BEST:: SOT 6258465 SOS 5433579 HAS SOPS 5419976 HAS SOUS 2349774 HAS SOUPS 2339646 WITH SCORE 2345079.579
AT ITER 3380 NEW BEST:: SOT 6256666 SOS 5431799 HAS SOPS 5418177 HAS SOUS 2346928 HAS SOUPS 2336781 WITH SCORE 2342212.799
AT ITER 3397 NEW BEST:: SOT 6253556 SOS 5428670 HAS SOPS 5415067 HAS SOUS 2341031 HAS SOUPS 2330903 WITH SCORE 2336331.67
AT ITER 3400 NEW BEST:: SOT 6253371 SOS 5428450 HAS SOPS 5414882 HAS SOUS 2340812 HAS SOUPS 2330719 WITH SCORE 2336147.45
AT ITER 3408 NEW BEST:: SOT 6251537 SOS 5426694 HAS SOPS 5413048 HAS SOUS 2336635 HAS SOUPS 2326464 WITH SCORE 2331890.694
AT ITER 3409 NEW BEST:: SOT 6251537 SOS 5416190 HAS SOPS 5402354 HAS SOUS 2335926 HAS SOUPS 2325755 WITH SCORE 2331171.19
AT ITER 3418 NEW BEST:: SOT 6251515 SOS 5416168 HAS SOPS 5402332 HAS SOUS 2335910 HAS SOUPS 2325739 WITH SCORE 2331155.168
AT ITER 3422 NEW BEST:: SOT 6251503 SOS 5416156 HAS SOPS 5402320 HAS SOUS 2335888 HAS SOUPS 2325717 WITH SCORE 2331133.156
AT ITER 3425 NEW BEST:: SOT 6251312 SOS 5415965 HAS SOPS 5402129 HAS SOUS 2335570 HAS SOUPS 2325399 WITH SCORE 2330814.965
AT ITER 3431 NEW BEST:: SOT 6251192 SOS 5415845 HAS SOPS 5402009 HAS SOUS 2335431 HAS SOUPS 2325260 WITH SCORE 2330675.845
AT ITER 3432 NEW BEST:: SOT 6251192 SOS 5415243 HAS SOPS 5401419 HAS SOUS 2335354 HAS SOUPS 2325145 WITH SCORE 2330560.243
AT ITER 3433 NEW BEST:: SOT 6251119 SOS 5415170 HAS SOPS 5401346 HAS SOUS 2335263 HAS SOUPS 2325054 WITH SCORE 2330469.17
AT ITER 3434 NEW BEST:: SOT 6251002 SOS 5415029 HAS SOPS 5401229 HAS SOUS 2334985 HAS SOUPS 2324800 WITH SCORE 2330215.029
AT ITER 3443 NEW BEST:: SOT 6249651 SOS 5413669 HAS SOPS 5399878 HAS SOUS 2333408 HAS SOUPS 2323232 WITH SCORE 2328645.669
AT ITER 3468 NEW BEST:: SOT 6247135 SOS 5411124 HAS SOPS 5397362 HAS SOUS 2330083 HAS SOUPS 2319936 WITH SCORE 2325347.124
AT ITER 3500 NEW BEST:: SOT 6246457 SOS 5410429 HAS SOPS 5396684 HAS SOUS 2328830 HAS SOUPS 2318700 WITH SCORE 2324110.429
AT ITER 3524 NEW BEST:: SOT 6245818 SOS 5409737 HAS SOPS 5396045 HAS SOUS 2327338 HAS SOUPS 2317261 WITH SCORE 2322670.737
AT ITER 3530 NEW BEST:: SOT 6242849 SOS 5406711 HAS SOPS 5393076 HAS SOUS 2322398 HAS SOUPS 2312378 WITH SCORE 2317784.711
AT ITER 3531 NEW BEST:: SOT 6242435 SOS 5406297 HAS SOPS 5392662 HAS SOUS 2321754 HAS SOUPS 2311734 WITH SCORE 2317140.297
AT ITER 3532 NEW BEST:: SOT 6242189 SOS 5406051 HAS SOPS 5392416 HAS SOUS 2321358 HAS SOUPS 2311338 WITH SCORE 2316744.051
AT ITER 3548 NEW BEST:: SOT 6242129 SOS 5405991 HAS SOPS 5392356 HAS SOUS 2321248 HAS SOUPS 2311228 WITH SCORE 2316633.991
AT ITER 3554 NEW BEST:: SOT 6242102 SOS 5405951 HAS SOPS 5392329 HAS SOUS 2321195 HAS SOUPS 2311188 WITH SCORE 2316593.951
AT ITER 3565 NEW BEST:: SOT 6242126 SOS 5405975 HAS SOPS 5392353 HAS SOUS 2319953 HAS SOUPS 2309946 WITH SCORE 2315351.975
AT ITER 3579 NEW BEST:: SOT 6241958 SOS 5405807 HAS SOPS 5392185 HAS SOUS 2319719 HAS SOUPS 2309712 WITH SCORE 2315117.807
AT ITER 3583 NEW BEST:: SOT 6241844 SOS 5405693 HAS SOPS 5392071 HAS SOUS 2319588 HAS SOUPS 2309581 WITH SCORE 2314986.693
AT ITER 3593 NEW BEST:: SOT 6240698 SOS 5404547 HAS SOPS 5390925 HAS SOUS 2318267 HAS SOUPS 2308260 WITH SCORE 2313664.547
AT ITER 3600 NEW BEST:: SOT 6239658 SOS 5403507 HAS SOPS 5389885 HAS SOUS 2316979 HAS SOUPS 2306972 WITH SCORE 2312375.507
AT ITER 3608 NEW BEST:: SOT 6237814 SOS 5401663 HAS SOPS 5388041 HAS SOUS 2314154 HAS SOUPS 2304147 WITH SCORE 2309548.663
AT ITER 3617 NEW BEST:: SOT 6236949 SOS 5400798 HAS SOPS 5387176 HAS SOUS 2313262 HAS SOUPS 2303255 WITH SCORE 2308655.798
AT ITER 3619 NEW BEST:: SOT 6237165 SOS 5401143 HAS SOPS 5387392 HAS SOUS 2312651 HAS SOUPS 2302515 WITH SCORE 2307916.143
AT ITER 3624 NEW BEST:: SOT 6237165 SOS 5401143 HAS SOPS 5387392 HAS SOUS 2312622 HAS SOUPS 2302486 WITH SCORE 2307887.143
AT ITER 3637 NEW BEST:: SOT 6233911 SOS 5397979 HAS SOPS 5384372 HAS SOUS 2310348 HAS SOUPS 2300356 WITH SCORE 2305753.979
AT ITER 3644 NEW BEST:: SOT 6233909 SOS 5399036 HAS SOPS 5385370 HAS SOUS 2310311 HAS SOUPS 2300325 WITH SCORE 2305724.036
AT ITER 3654 NEW BEST:: SOT 6232993 SOS 5398120 HAS SOPS 5384454 HAS SOUS 2309227 HAS SOUPS 2299241 WITH SCORE 2304639.12
AT ITER 3659 NEW BEST:: SOT 6232957 SOS 5398084 HAS SOPS 5384418 HAS SOUS 2309189 HAS SOUPS 2299203 WITH SCORE 2304601.084
AT ITER 3660 NEW BEST:: SOT 6232719 SOS 5397846 HAS SOPS 5384180 HAS SOUS 2308911 HAS SOUPS 2298925 WITH SCORE 2304322.846
AT ITER 3671 NEW BEST:: SOT 6232719 SOS 5396870 HAS SOPS 5383266 HAS SOUS 2308711 HAS SOUPS 2298725 WITH SCORE 2304121.87
AT ITER 3674 NEW BEST:: SOT 6232861 SOS 5397012 HAS SOPS 5383408 HAS SOUS 2308241 HAS SOUPS 2298255 WITH SCORE 2303652.012
AT ITER 3681 NEW BEST:: SOT 6232919 SOS 5397095 HAS SOPS 5383466 HAS SOUS 2307724 HAS SOUPS 2297713 WITH SCORE 2303110.095
AT ITER 3687 NEW BEST:: SOT 6230412 SOS 5394588 HAS SOPS 5380959 HAS SOUS 2303338 HAS SOUPS 2293327 WITH SCORE 2298721.588
AT ITER 3691 NEW BEST:: SOT 6227966 SOS 5392158 HAS SOPS 5378513 HAS SOUS 2298962 HAS SOUPS 2288935 WITH SCORE 2294327.158
AT ITER 3700 NEW BEST:: SOT 6225583 SOS 5389775 HAS SOPS 5376130 HAS SOUS 2294668 HAS SOUPS 2284641 WITH SCORE 2290030.775
AT ITER 3702 NEW BEST:: SOT 6225087 SOS 5389279 HAS SOPS 5375634 HAS SOUS 2294186 HAS SOUPS 2284159 WITH SCORE 2289548.279
AT ITER 3706 NEW BEST:: SOT 6223426 SOS 5387498 HAS SOPS 5373973 HAS SOUS 2290747 HAS SOUPS 2280840 WITH SCORE 2286227.498
AT ITER 3725 NEW BEST:: SOT 6223258 SOS 5387330 HAS SOPS 5373805 HAS SOUS 2290579 HAS SOUPS 2280672 WITH SCORE 2286059.33
AT ITER 3726 NEW BEST:: SOT 6223255 SOS 5387318 HAS SOPS 5373802 HAS SOUS 2290570 HAS SOUPS 2280672 WITH SCORE 2286059.318
AT ITER 3745 NEW BEST:: SOT 6222895 SOS 5386975 HAS SOPS 5373442 HAS SOUS 2289130 HAS SOUPS 2279215 WITH SCORE 2284601.975
AT ITER 3787 NEW BEST:: SOT 6224020 SOS 5388099 HAS SOPS 5374567 HAS SOUS 2288846 HAS SOUPS 2278932 WITH SCORE 2284320.099
AT ITER 3808 NEW BEST:: SOT 6224041 SOS 5388165 HAS SOPS 5374588 HAS SOUS 2288520 HAS SOUPS 2278561 WITH SCORE 2283949.165
AT ITER 3809 NEW BEST:: SOT 6224029 SOS 5388153 HAS SOPS 5374576 HAS SOUS 2288504 HAS SOUPS 2278545 WITH SCORE 2283933.153
AT ITER 3812 NEW BEST:: SOT 6220602 SOS 5385212 HAS SOPS 5371941 HAS SOUS 2285010 HAS SOUPS 2275357 WITH SCORE 2280742.212
AT ITER 3842 NEW BEST:: SOT 6220602 SOS 5385209 HAS SOPS 5371941 HAS SOUS 2284986 HAS SOUPS 2275336 WITH SCORE 2280721.209
AT ITER 3850 NEW BEST:: SOT 6218316 SOS 5382923 HAS SOPS 5369655 HAS SOUS 2282800 HAS SOUPS 2273150 WITH SCORE 2278532.923
AT ITER 3852 NEW BEST:: SOT 6217257 SOS 5381890 HAS SOPS 5368596 HAS SOUS 2281990 HAS SOUPS 2272314 WITH SCORE 2277695.89
AT ITER 3856 NEW BEST:: SOT 6213745 SOS 5378306 HAS SOPS 5365084 HAS SOUS 2275294 HAS SOUPS 2265690 WITH SCORE 2271068.306
AT ITER 3866 NEW BEST:: SOT 6213737 SOS 5378298 HAS SOPS 5365076 HAS SOUS 2275286 HAS SOUPS 2265682 WITH SCORE 2271060.298
AT ITER 3869 NEW BEST:: SOT 6213541 SOS 5378102 HAS SOPS 5364880 HAS SOUS 2275089 HAS SOUPS 2265485 WITH SCORE 2270863.102
AT ITER 3882 NEW BEST:: SOT 6211548 SOS 5376041 HAS SOPS 5362887 HAS SOUS 2271922 HAS SOUPS 2262386 WITH SCORE 2267762.041
AT ITER 3884 NEW BEST:: SOT 6211237 SOS 5375730 HAS SOPS 5362576 HAS SOUS 2271712 HAS SOUPS 2262176 WITH SCORE 2267551.73
AT ITER 3895 NEW BEST:: SOT 6208941 SOS 5373830 HAS SOPS 5361090 HAS SOUS 2270809 HAS SOUPS 2261687 WITH SCORE 2267060.83
AT ITER 3899 NEW BEST:: SOT 6209319 SOS 5374265 HAS SOPS 5361468 HAS SOUS 2270731 HAS SOUPS 2261552 WITH SCORE 2266926.265
AT ITER 3913 NEW BEST:: SOT 6208047 SOS 5372993 HAS SOPS 5360196 HAS SOUS 2268576 HAS SOUPS 2259397 WITH SCORE 2264769.993
AT ITER 3918 NEW BEST:: SOT 6207595 SOS 5372541 HAS SOPS 5359744 HAS SOUS 2267851 HAS SOUPS 2258672 WITH SCORE 2264044.541
AT ITER 3922 NEW BEST:: SOT 6207600 SOS 5372529 HAS SOPS 5359749 HAS SOUS 2267494 HAS SOUPS 2258332 WITH SCORE 2263704.529
AT ITER 3924 NEW BEST:: SOT 6207211 SOS 5372140 HAS SOPS 5359360 HAS SOUS 2267125 HAS SOUPS 2257963 WITH SCORE 2263335.14
AT ITER 3937 NEW BEST:: SOT 6207235 SOS 5372164 HAS SOPS 5359384 HAS SOUS 2267123 HAS SOUPS 2257961 WITH SCORE 2263333.164
AT ITER 3961 NEW BEST:: SOT 6207148 SOS 5372045 HAS SOPS 5359297 HAS SOUS 2266700 HAS SOUPS 2257570 WITH SCORE 2262942.045
AT ITER 3968 NEW BEST:: SOT 6206479 SOS 5371366 HAS SOPS 5358628 HAS SOUS 2265531 HAS SOUPS 2256411 WITH SCORE 2261782.366
AT ITER 3971 NEW BEST:: SOT 6206427 SOS 5371314 HAS SOPS 5358576 HAS SOUS 2265458 HAS SOUPS 2256338 WITH SCORE 2261709.314
AT ITER 3975 NEW BEST:: SOT 6206093 SOS 5370980 HAS SOPS 5358242 HAS SOUS 2264989 HAS SOUPS 2255869 WITH SCORE 2261239.98
AT ITER 3983 NEW BEST:: SOT 6205941 SOS 5370828 HAS SOPS 5358090 HAS SOUS 2264149 HAS SOUPS 2255029 WITH SCORE 2260399.828
AT ITER 4004 NEW BEST:: SOT 6205391 SOS 5370278 HAS SOPS 5357540 HAS SOUS 2263335 HAS SOUPS 2254215 WITH SCORE 2259585.278
AT ITER 4006 NEW BEST:: SOT 6205333 SOS 5370220 HAS SOPS 5357482 HAS SOUS 2263158 HAS SOUPS 2254038 WITH SCORE 2259408.22
AT ITER 4019 NEW BEST:: SOT 6205364 SOS 5370267 HAS SOPS 5357513 HAS SOUS 2262988 HAS SOUPS 2253852 WITH SCORE 2259222.267
AT ITER 4054 NEW BEST:: SOT 6204878 SOS 5369781 HAS SOPS 5357027 HAS SOUS 2262671 HAS SOUPS 2253535 WITH SCORE 2258904.781
AT ITER 4101 NEW BEST:: SOT 6203642 SOS 5367916 HAS SOPS 5355125 HAS SOUS 2258473 HAS SOUPS 2249300 WITH SCORE 2254667.916
AT ITER 4111 NEW BEST:: SOT 6203164 SOS 5367438 HAS SOPS 5354647 HAS SOUS 2257649 HAS SOUPS 2248476 WITH SCORE 2253843.438
AT ITER 4122 NEW BEST:: SOT 6201237 SOS 5365511 HAS SOPS 5352720 HAS SOUS 2253877 HAS SOUPS 2244704 WITH SCORE 2250069.511
AT ITER 4144 NEW BEST:: SOT 6201406 SOS 5365696 HAS SOPS 5352889 HAS SOUS 2253853 HAS SOUPS 2244664 WITH SCORE 2250029.696
AT ITER 4160 NEW BEST:: SOT 6201244 SOS 5365531 HAS SOPS 5352727 HAS SOUS 2253547 HAS SOUPS 2244361 WITH SCORE 2249726.531
AT ITER 4169 NEW BEST:: SOT 6201212 SOS 5365497 HAS SOPS 5352695 HAS SOUS 2253481 HAS SOUPS 2244297 WITH SCORE 2249662.497
AT ITER 4184 NEW BEST:: SOT 6201212 SOS 5365497 HAS SOPS 5352695 HAS SOUS 2253462 HAS SOUPS 2244278 WITH SCORE 2249643.497
AT ITER 4200 NEW BEST:: SOT 6201212 SOS 5367090 HAS SOPS 5354199 HAS SOUS 2253450 HAS SOUPS 2244266 WITH SCORE 2249633.09
AT ITER 4216 NEW BEST:: SOT 6199928 SOS 5365408 HAS SOPS 5352639 HAS SOUS 2251866 HAS SOUPS 2242767 WITH SCORE 2248132.408
AT ITER 4225 NEW BEST:: SOT 6199993 SOS 5365473 HAS SOPS 5352704 HAS SOUS 2251702 HAS SOUPS 2242603 WITH SCORE 2247968.473
AT ITER 4236 NEW BEST:: SOT 6195458 SOS 5360938 HAS SOPS 5348169 HAS SOUS 2243721 HAS SOUPS 2234622 WITH SCORE 2239982.938
AT ITER 4242 NEW BEST:: SOT 6195078 SOS 5360558 HAS SOPS 5347789 HAS SOUS 2243192 HAS SOUPS 2234093 WITH SCORE 2239453.558
AT ITER 4246 NEW BEST:: SOT 6194424 SOS 5359904 HAS SOPS 5347135 HAS SOUS 2242645 HAS SOUPS 2233546 WITH SCORE 2238905.904
AT ITER 4253 NEW BEST:: SOT 6194288 SOS 5359768 HAS SOPS 5346999 HAS SOUS 2242424 HAS SOUPS 2233325 WITH SCORE 2238684.768
AT ITER 4273 NEW BEST:: SOT 6193779 SOS 5359222 HAS SOPS 5346490 HAS SOUS 2241930 HAS SOUPS 2232868 WITH SCORE 2238227.222
AT ITER 4281 NEW BEST:: SOT 6192559 SOS 5358002 HAS SOPS 5345270 HAS SOUS 2240276 HAS SOUPS 2231214 WITH SCORE 2236572.002
AT ITER 4329 NEW BEST:: SOT 6192160 SOS 5357571 HAS SOPS 5344871 HAS SOUS 2240201 HAS SOUPS 2231171 WITH SCORE 2236528.571
AT ITER 4331 NEW BEST:: SOT 6191915 SOS 5357349 HAS SOPS 5344626 HAS SOUS 2239525 HAS SOUPS 2230472 WITH SCORE 2235829.349
AT ITER 4339 NEW BEST:: SOT 6191908 SOS 5357324 HAS SOPS 5344619 HAS SOUS 2238770 HAS SOUPS 2229735 WITH SCORE 2235092.324
AT ITER 4348 NEW BEST:: SOT 6191676 SOS 5357741 HAS SOPS 5345067 HAS SOUS 2238025 HAS SOUPS 2229076 WITH SCORE 2234433.741
AT ITER 4358 NEW BEST:: SOT 6191453 SOS 5357478 HAS SOPS 5344844 HAS SOUS 2237129 HAS SOUPS 2228220 WITH SCORE 2233577.478
AT ITER 4365 NEW BEST:: SOT 6188841 SOS 5354866 HAS SOPS 5342232 HAS SOUS 2234619 HAS SOUPS 2225710 WITH SCORE 2231064.866
AT ITER 4379 NEW BEST:: SOT 6189714 SOS 5355109 HAS SOPS 5342112 HAS SOUS 2234105 HAS SOUPS 2224833 WITH SCORE 2230188.109
AT ITER 4385 NEW BEST:: SOT 6189714 SOS 5355067 HAS SOPS 5342070 HAS SOUS 2234105 HAS SOUPS 2224833 WITH SCORE 2230188.067
AT ITER 4390 NEW BEST:: SOT 6189606 SOS 5354957 HAS SOPS 5341962 HAS SOUS 2233901 HAS SOUPS 2224631 WITH SCORE 2229985.957
AT ITER 4403 NEW BEST:: SOT 6188624 SOS 5353975 HAS SOPS 5340980 HAS SOUS 2233298 HAS SOUPS 2224028 WITH SCORE 2229381.975
AT ITER 4405 NEW BEST:: SOT 6188214 SOS 5353565 HAS SOPS 5340570 HAS SOUS 2232791 HAS SOUPS 2223521 WITH SCORE 2228874.565
AT ITER 4417 NEW BEST:: SOT 6188214 SOS 5353508 HAS SOPS 5340510 HAS SOUS 2232785 HAS SOUPS 2223515 WITH SCORE 2228868.508
AT ITER 4423 NEW BEST:: SOT 6184736 SOS 5350030 HAS SOPS 5337032 HAS SOUS 2228244 HAS SOUPS 2218974 WITH SCORE 2224324.03
AT ITER 4426 NEW BEST:: SOT 6184736 SOS 5342570 HAS SOPS 5329464 HAS SOUS 2227748 HAS SOUPS 2218478 WITH SCORE 2223820.57
AT ITER 4427 NEW BEST:: SOT 6183427 SOS 5341403 HAS SOPS 5328389 HAS SOUS 2226725 HAS SOUPS 2217547 WITH SCORE 2222888.403
AT ITER 4432 NEW BEST:: SOT 6183427 SOS 5342308 HAS SOPS 5328507 HAS SOUS 2226273 HAS SOUPS 2217112 WITH SCORE 2222454.308
AT ITER 4434 NEW BEST:: SOT 6182371 SOS 5341229 HAS SOPS 5327451 HAS SOUS 2225024 HAS SOUPS 2215886 WITH SCORE 2221227.229
AT ITER 4438 NEW BEST:: SOT 6182171 SOS 5341029 HAS SOPS 5327251 HAS SOUS 2224824 HAS SOUPS 2215686 WITH SCORE 2221027.029
AT ITER 4442 NEW BEST:: SOT 6179497 SOS 5338355 HAS SOPS 5324577 HAS SOUS 2222160 HAS SOUPS 2213022 WITH SCORE 2218360.355
AT ITER 4447 NEW BEST:: SOT 6177825 SOS 5336683 HAS SOPS 5322905 HAS SOUS 2220845 HAS SOUPS 2211707 WITH SCORE 2217043.683
AT ITER 4451 NEW BEST:: SOT 6174027 SOS 5332871 HAS SOPS 5319107 HAS SOUS 2215008 HAS SOUPS 2205884 WITH SCORE 2211216.871
AT ITER 4460 NEW BEST:: SOT 6173842 SOS 5332995 HAS SOPS 5319190 HAS SOUS 2214380 HAS SOUPS 2205256 WITH SCORE 2210588.995
AT ITER 4461 NEW BEST:: SOT 6170090 SOS 5332734 HAS SOPS 5319097 HAS SOUS 2211629 HAS SOUPS 2202673 WITH SCORE 2208005.734
AT ITER 4464 NEW BEST:: SOT 6169918 SOS 5332562 HAS SOPS 5318925 HAS SOUS 2211368 HAS SOUPS 2202412 WITH SCORE 2207744.562
AT ITER 4472 NEW BEST:: SOT 6169741 SOS 5332371 HAS SOPS 5318748 HAS SOUS 2210784 HAS SOUPS 2201842 WITH SCORE 2207174.371
AT ITER 4477 NEW BEST:: SOT 6167093 SOS 5329698 HAS SOPS 5316100 HAS SOUS 2207073 HAS SOUPS 2198156 WITH SCORE 2203485.698
AT ITER 4490 NEW BEST:: SOT 6167093 SOS 5328580 HAS SOPS 5315074 HAS SOUS 2206463 HAS SOUPS 2197568 WITH SCORE 2202896.58
AT ITER 4509 NEW BEST:: SOT 6165213 SOS 5326700 HAS SOPS 5313194 HAS SOUS 2204602 HAS SOUPS 2195707 WITH SCORE 2201033.7
AT ITER 4523 NEW BEST:: SOT 6173589 SOS 5334390 HAS SOPS 5320670 HAS SOUS 2203871 HAS SOUPS 2194762 WITH SCORE 2200096.39
AT ITER 4547 NEW BEST:: SOT 6172440 SOS 5332811 HAS SOPS 5319062 HAS SOUS 2200530 HAS SOUPS 2191392 WITH SCORE 2196724.811
AT ITER 4556 NEW BEST:: SOT 6165050 SOS 5325421 HAS SOPS 5311672 HAS SOUS 2189795 HAS SOUPS 2180657 WITH SCORE 2185982.421
AT ITER 4569 NEW BEST:: SOT 6164810 SOS 5325181 HAS SOPS 5311432 HAS SOUS 2189602 HAS SOUPS 2180464 WITH SCORE 2185789.181
AT ITER 4573 NEW BEST:: SOT 6164810 SOS 5334609 HAS SOPS 5321241 HAS SOUS 2189008 HAS SOUPS 2179911 WITH SCORE 2185245.609
AT ITER 4575 NEW BEST:: SOT 6167822 SOS 5336884 HAS SOPS 5323353 HAS SOUS 2173306 HAS SOUPS 2164046 WITH SCORE 2169382.884
AT ITER 4593 NEW BEST:: SOT 6167629 SOS 5336691 HAS SOPS 5323160 HAS SOUS 2173229 HAS SOUPS 2163969 WITH SCORE 2169305.691
AT ITER 4601 NEW BEST:: SOT 6167455 SOS 5336577 HAS SOPS 5322986 HAS SOUS 2172127 HAS SOUPS 2162807 WITH SCORE 2168143.577
AT ITER 4635 NEW BEST:: SOT 6166657 SOS 5335779 HAS SOPS 5322188 HAS SOUS 2171117 HAS SOUPS 2161797 WITH SCORE 2167132.779
AT ITER 4645 NEW BEST:: SOT 6166657 SOS 5334953 HAS SOPS 5321404 HAS SOUS 2171110 HAS SOUPS 2161797 WITH SCORE 2167131.953
AT ITER 4652 NEW BEST:: SOT 6166657 SOS 5334811 HAS SOPS 5321308 HAS SOUS 2170451 HAS SOUPS 2161155 WITH SCORE 2166489.811
AT ITER 4660 NEW BEST:: SOT 6166683 SOS 5334893 HAS SOPS 5321334 HAS SOUS 2169971 HAS SOUPS 2160619 WITH SCORE 2165953.893
AT ITER 4669 NEW BEST:: SOT 6166239 SOS 5334449 HAS SOPS 5320890 HAS SOUS 2169235 HAS SOUPS 2159883 WITH SCORE 2165217.449
AT ITER 4681 NEW BEST:: SOT 6166458 SOS 5334633 HAS SOPS 5321109 HAS SOUS 2168878 HAS SOUPS 2159561 WITH SCORE 2164895.633
AT ITER 4696 NEW BEST:: SOT 6166428 SOS 5334603 HAS SOPS 5321079 HAS SOUS 2168864 HAS SOUPS 2159547 WITH SCORE 2164881.603
AT ITER 4704 NEW BEST:: SOT 6164617 SOS 5332745 HAS SOPS 5319268 HAS SOUS 2165903 HAS SOUPS 2156633 WITH SCORE 2161965.745
AT ITER 4715 NEW BEST:: SOT 6164615 SOS 5332743 HAS SOPS 5319266 HAS SOUS 2165720 HAS SOUPS 2156450 WITH SCORE 2161782.743
AT ITER 4738 NEW BEST:: SOT 6164615 SOS 5341299 HAS SOPS 5328168 HAS SOUS 2165529 HAS SOUPS 2156289 WITH SCORE 2161630.299
AT ITER 4743 NEW BEST:: SOT 6164118 SOS 5340802 HAS SOPS 5327671 HAS SOUS 2164085 HAS SOUPS 2154845 WITH SCORE 2160185.802
AT ITER 4785 NEW BEST:: SOT 6163980 SOS 5340649 HAS SOPS 5327533 HAS SOUS 2163935 HAS SOUPS 2154710 WITH SCORE 2160050.649
AT ITER 4797 NEW BEST:: SOT 6163048 SOS 5339769 HAS SOPS 5326673 HAS SOUS 2163698 HAS SOUPS 2154493 WITH SCORE 2159832.769
AT ITER 4802 NEW BEST:: SOT 6163048 SOS 5340139 HAS SOPS 5327013 HAS SOUS 2163523 HAS SOUPS 2154318 WITH SCORE 2159658.139
AT ITER 4825 NEW BEST:: SOT 6163184 SOS 5340275 HAS SOPS 5327149 HAS SOUS 2163323 HAS SOUPS 2154118 WITH SCORE 2159458.275
AT ITER 4841 NEW BEST:: SOT 6159596 SOS 5336687 HAS SOPS 5323561 HAS SOUS 2157978 HAS SOUPS 2148773 WITH SCORE 2154109.687
AT ITER 4854 NEW BEST:: SOT 6156054 SOS 5333105 HAS SOPS 5320019 HAS SOUS 2151644 HAS SOUPS 2142479 WITH SCORE 2147812.105
AT ITER 4884 NEW BEST:: SOT 6155157 SOS 5332208 HAS SOPS 5319122 HAS SOUS 2149929 HAS SOUPS 2140764 WITH SCORE 2146096.208
AT ITER 4892 NEW BEST:: SOT 6153172 SOS 5330223 HAS SOPS 5317137 HAS SOUS 2147135 HAS SOUPS 2137970 WITH SCORE 2143300.223
AT ITER 4897 NEW BEST:: SOT 6150820 SOS 5327871 HAS SOPS 5314785 HAS SOUS 2144851 HAS SOUPS 2135686 WITH SCORE 2141013.871
AT ITER 4908 NEW BEST:: SOT 6150820 SOS 5327871 HAS SOPS 5314785 HAS SOUS 2144843 HAS SOUPS 2135678 WITH SCORE 2141005.871
AT ITER 4929 NEW BEST:: SOT 6149996 SOS 5327035 HAS SOPS 5313961 HAS SOUS 2143684 HAS SOUPS 2134531 WITH SCORE 2139858.035
AT ITER 4944 NEW BEST:: SOT 6149863 SOS 5326902 HAS SOPS 5313828 HAS SOUS 2143551 HAS SOUPS 2134398 WITH SCORE 2139724.902
AT ITER 4958 NEW BEST:: SOT 6149784 SOS 5326812 HAS SOPS 5313749 HAS SOUS 2143352 HAS SOUPS 2134210 WITH SCORE 2139536.812
AT ITER 4961 NEW BEST:: SOT 6148969 SOS 5326168 HAS SOPS 5313078 HAS SOUS 2143000 HAS SOUPS 2133901 WITH SCORE 2139227.168
AT ITER 4973 NEW BEST:: SOT 6148681 SOS 5325871 HAS SOPS 5312790 HAS SOUS 2142595 HAS SOUPS 2133505 WITH SCORE 2138830.871
AT ITER 4993 NEW BEST:: SOT 6147887 SOS 5325077 HAS SOPS 5311996 HAS SOUS 2142471 HAS SOUPS 2133381 WITH SCORE 2138706.077
AT ITER 4996 NEW BEST:: SOT 6144296 SOS 5326219 HAS SOPS 5313464 HAS SOUS 2140019 HAS SOUPS 2131255 WITH SCORE 2136581.219
AT ITER 5009 NEW BEST:: SOT 6144171 SOS 5326084 HAS SOPS 5313329 HAS SOUS 2139877 HAS SOUPS 2131113 WITH SCORE 2136439.084
AT ITER 5013 NEW BEST:: SOT 6143578 SOS 5325469 HAS SOPS 5312736 HAS SOUS 2138541 HAS SOUPS 2129799 WITH SCORE 2135124.469
AT ITER 5019 NEW BEST:: SOT 6143539 SOS 5325430 HAS SOPS 5312697 HAS SOUS 2138125 HAS SOUPS 2129383 WITH SCORE 2134708.43
AT ITER 5029 NEW BEST:: SOT 6143532 SOS 5325435 HAS SOPS 5312690 HAS SOUS 2137919 HAS SOUPS 2129165 WITH SCORE 2134490.435
AT ITER 5031 NEW BEST:: SOT 6143460 SOS 5325363 HAS SOPS 5312618 HAS SOUS 2137366 HAS SOUPS 2128612 WITH SCORE 2133937.363
AT ITER 5071 NEW BEST:: SOT 6143358 SOS 5325261 HAS SOPS 5312516 HAS SOUS 2137188 HAS SOUPS 2128434 WITH SCORE 2133759.261
AT ITER 5088 NEW BEST:: SOT 6143348 SOS 5325251 HAS SOPS 5312506 HAS SOUS 2137168 HAS SOUPS 2128414 WITH SCORE 2133739.251
AT ITER 5094 NEW BEST:: SOT 6143329 SOS 5325228 HAS SOPS 5312487 HAS SOUS 2137118 HAS SOUPS 2128368 WITH SCORE 2133693.228
AT ITER 5119 NEW BEST:: SOT 6143229 SOS 5325128 HAS SOPS 5312387 HAS SOUS 2137018 HAS SOUPS 2128268 WITH SCORE 2133593.128
AT ITER 5120 NEW BEST:: SOT 6142913 SOS 5324812 HAS SOPS 5312071 HAS SOUS 2136554 HAS SOUPS 2127804 WITH SCORE 2133128.812
AT ITER 5122 NEW BEST:: SOT 6142098 SOS 5323997 HAS SOPS 5311256 HAS SOUS 2135231 HAS SOUPS 2126481 WITH SCORE 2131804.997
AT ITER 5162 NEW BEST:: SOT 6141995 SOS 5323894 HAS SOPS 5311153 HAS SOUS 2134778 HAS SOUPS 2126028 WITH SCORE 2131351.894
AT ITER 5166 NEW BEST:: SOT 6141546 SOS 5323445 HAS SOPS 5310704 HAS SOUS 2134002 HAS SOUPS 2125252 WITH SCORE 2130575.445
AT ITER 5170 NEW BEST:: SOT 6141161 SOS 5323115 HAS SOPS 5310319 HAS SOUS 2132485 HAS SOUPS 2123680 WITH SCORE 2129003.115
AT ITER 5175 NEW BEST:: SOT 6140917 SOS 5322871 HAS SOPS 5310075 HAS SOUS 2132241 HAS SOUPS 2123436 WITH SCORE 2128758.871
AT ITER 5177 NEW BEST:: SOT 6140470 SOS 5322410 HAS SOPS 5309628 HAS SOUS 2131189 HAS SOUPS 2122398 WITH SCORE 2127720.41
AT ITER 5194 NEW BEST:: SOT 6140226 SOS 5322196 HAS SOPS 5309384 HAS SOUS 2130048 HAS SOUPS 2121227 WITH SCORE 2126549.196
AT ITER 5210 NEW BEST:: SOT 6140221 SOS 5322191 HAS SOPS 5309379 HAS SOUS 2130043 HAS SOUPS 2121222 WITH SCORE 2126544.191
AT ITER 5229 NEW BEST:: SOT 6140218 SOS 5322197 HAS SOPS 5309376 HAS SOUS 2130001 HAS SOUPS 2121171 WITH SCORE 2126493.197
AT ITER 5241 NEW BEST:: SOT 6140182 SOS 5322233 HAS SOPS 5309340 HAS SOUS 2129609 HAS SOUPS 2120707 WITH SCORE 2126029.233
AT ITER 5245 NEW BEST:: SOT 6140182 SOS 5347745 HAS SOPS 5334878 HAS SOUS 2128588 HAS SOUPS 2119731 WITH SCORE 2125078.745
AT ITER 5250 NEW BEST:: SOT 6139854 SOS 5347365 HAS SOPS 5334550 HAS SOUS 2127933 HAS SOUPS 2119128 WITH SCORE 2124475.365
AT ITER 5260 NEW BEST:: SOT 6137998 SOS 5345481 HAS SOPS 5332694 HAS SOUS 2125006 HAS SOUPS 2116229 WITH SCORE 2121574.481
AT ITER 5272 NEW BEST:: SOT 6150046 SOS 5359790 HAS SOPS 5347242 HAS SOUS 2123169 HAS SOUPS 2114631 WITH SCORE 2119990.79
AT ITER 5293 NEW BEST:: SOT 6149534 SOS 5359278 HAS SOPS 5346730 HAS SOUS 2122819 HAS SOUPS 2114281 WITH SCORE 2119640.278
AT ITER 5300 NEW BEST:: SOT 6149334 SOS 5359738 HAS SOPS 5347212 HAS SOUS 2122746 HAS SOUPS 2114263 WITH SCORE 2119622.738
AT ITER 5303 NEW BEST:: SOT 6149387 SOS 5359791 HAS SOPS 5347265 HAS SOUS 2122663 HAS SOUPS 2114180 WITH SCORE 2119539.791
AT ITER 5325 NEW BEST:: SOT 6149060 SOS 5359464 HAS SOPS 5346938 HAS SOUS 2122098 HAS SOUPS 2113615 WITH SCORE 2118974.464
AT ITER 5338 NEW BEST:: SOT 6149018 SOS 5359422 HAS SOPS 5346896 HAS SOUS 2122038 HAS SOUPS 2113555 WITH SCORE 2118914.422
AT ITER 5346 NEW BEST:: SOT 6147285 SOS 5357689 HAS SOPS 5345163 HAS SOUS 2120363 HAS SOUPS 2111880 WITH SCORE 2117237.689
AT ITER 5360 NEW BEST:: SOT 6146268 SOS 5356672 HAS SOPS 5344146 HAS SOUS 2118608 HAS SOUPS 2110125 WITH SCORE 2115481.672
AT ITER 5367 NEW BEST:: SOT 6146821 SOS 5357244 HAS SOPS 5344699 HAS SOUS 2118108 HAS SOUPS 2109606 WITH SCORE 2114963.244
AT ITER 5368 NEW BEST:: SOT 6146234 SOS 5356657 HAS SOPS 5344112 HAS SOUS 2116349 HAS SOUPS 2107847 WITH SCORE 2113203.657
AT ITER 5377 NEW BEST:: SOT 6145498 SOS 5355921 HAS SOPS 5343376 HAS SOUS 2115637 HAS SOUPS 2107135 WITH SCORE 2112490.921
AT ITER 5395 NEW BEST:: SOT 6142028 SOS 5352451 HAS SOPS 5339906 HAS SOUS 2109962 HAS SOUPS 2101460 WITH SCORE 2106812.451
AT ITER 5399 NEW BEST:: SOT 6141423 SOS 5351854 HAS SOPS 5339301 HAS SOUS 2109424 HAS SOUPS 2100914 WITH SCORE 2106265.854
AT ITER 5429 NEW BEST:: SOT 6149757 SOS 5360077 HAS SOPS 5347635 HAS SOUS 2108204 HAS SOUPS 2099805 WITH SCORE 2105165.077
AT ITER 5442 NEW BEST:: SOT 6149752 SOS 5356848 HAS SOPS 5344312 HAS SOUS 2107973 HAS SOUPS 2099574 WITH SCORE 2104930.848
AT ITER 5459 NEW BEST:: SOT 6148717 SOS 5355813 HAS SOPS 5343277 HAS SOUS 2105900 HAS SOUPS 2097501 WITH SCORE 2102856.813
AT ITER 5475 NEW BEST:: SOT 6148713 SOS 5355809 HAS SOPS 5343273 HAS SOUS 2105898 HAS SOUPS 2097499 WITH SCORE 2102854.809
AT ITER 5483 NEW BEST:: SOT 6146022 SOS 5353118 HAS SOPS 5340582 HAS SOUS 2100921 HAS SOUPS 2092522 WITH SCORE 2097875.118
AT ITER 5486 NEW BEST:: SOT 6146022 SOS 5353116 HAS SOPS 5340582 HAS SOUS 2100831 HAS SOUPS 2092434 WITH SCORE 2097787.116
AT ITER 5490 NEW BEST:: SOT 6146096 SOS 5352047 HAS SOPS 5339566 HAS SOUS 2100438 HAS SOUPS 2092038 WITH SCORE 2097390.047
AT ITER 5500 NEW BEST:: SOT 6146096 SOS 5351005 HAS SOPS 5337934 HAS SOUS 2099928 HAS SOUPS 2091547 WITH SCORE 2096898.005
AT ITER 5510 NEW BEST:: SOT 6145128 SOS 5350037 HAS SOPS 5336966 HAS SOUS 2097774 HAS SOUPS 2089393 WITH SCORE 2094743.037
AT ITER 5513 NEW BEST:: SOT 6144558 SOS 5349432 HAS SOPS 5336396 HAS SOUS 2097289 HAS SOUPS 2088943 WITH SCORE 2094292.432
AT ITER 5535 NEW BEST:: SOT 6144110 SOS 5348984 HAS SOPS 5335948 HAS SOUS 2096645 HAS SOUPS 2088299 WITH SCORE 2093647.984
AT ITER 5559 NEW BEST:: SOT 6144596 SOS 5349470 HAS SOPS 5336434 HAS SOUS 2096142 HAS SOUPS 2087796 WITH SCORE 2093145.47
AT ITER 5583 NEW BEST:: SOT 6143645 SOS 5348486 HAS SOPS 5335483 HAS SOUS 2094446 HAS SOUPS 2086133 WITH SCORE 2091481.486
AT ITER 5597 NEW BEST:: SOT 6143746 SOS 5348587 HAS SOPS 5335584 HAS SOUS 2094254 HAS SOUPS 2085941 WITH SCORE 2091289.587
AT ITER 5629 NEW BEST:: SOT 6142648 SOS 5347489 HAS SOPS 5334486 HAS SOUS 2093449 HAS SOUPS 2085136 WITH SCORE 2090483.489
AT ITER 5636 NEW BEST:: SOT 6142562 SOS 5347400 HAS SOPS 5334400 HAS SOUS 2093212 HAS SOUPS 2084902 WITH SCORE 2090249.4
AT ITER 5651 NEW BEST:: SOT 6141951 SOS 5346793 HAS SOPS 5333789 HAS SOUS 2091843 HAS SOUPS 2083529 WITH SCORE 2088875.793
AT ITER 5652 NEW BEST:: SOT 6141965 SOS 5346814 HAS SOPS 5333803 HAS SOUS 2091780 HAS SOUPS 2083459 WITH SCORE 2088805.814
AT ITER 5659 NEW BEST:: SOT 6141965 SOS 5347295 HAS SOPS 5334229 HAS SOUS 2091554 HAS SOUPS 2083218 WITH SCORE 2088565.295
AT ITER 5692 NEW BEST:: SOT 6141970 SOS 5347300 HAS SOPS 5334234 HAS SOUS 2091539 HAS SOUPS 2083203 WITH SCORE 2088550.3
AT ITER 5698 NEW BEST:: SOT 6135164 SOS 5340422 HAS SOPS 5327428 HAS SOUS 2079166 HAS SOUPS 2070902 WITH SCORE 2076242.422
AT ITER 5706 NEW BEST:: SOT 6135310 SOS 5340515 HAS SOPS 5327574 HAS SOUS 2078586 HAS SOUPS 2070375 WITH SCORE 2075715.515
AT ITER 5720 NEW BEST:: SOT 6133608 SOS 5338813 HAS SOPS 5325872 HAS SOUS 2076850 HAS SOUPS 2068639 WITH SCORE 2073977.813
AT ITER 5725 NEW BEST:: SOT 6133388 SOS 5338593 HAS SOPS 5325652 HAS SOUS 2076630 HAS SOUPS 2068419 WITH SCORE 2073757.593
AT ITER 5729 NEW BEST:: SOT 6132450 SOS 5337670 HAS SOPS 5324714 HAS SOUS 2074982 HAS SOUPS 2066756 WITH SCORE 2072093.67
AT ITER 5736 NEW BEST:: SOT 6132409 SOS 5337629 HAS SOPS 5324673 HAS SOUS 2074950 HAS SOUPS 2066724 WITH SCORE 2072061.629
AT ITER 5747 NEW BEST:: SOT 6132277 SOS 5337497 HAS SOPS 5324541 HAS SOUS 2074864 HAS SOUPS 2066638 WITH SCORE 2071975.497
AT ITER 5755 NEW BEST:: SOT 6132277 SOS 5330637 HAS SOPS 5317371 HAS SOUS 2074775 HAS SOUPS 2066537 WITH SCORE 2071867.637
AT ITER 5765 NEW BEST:: SOT 6131931 SOS 5329372 HAS SOPS 5316106 HAS SOUS 2073985 HAS SOUPS 2065747 WITH SCORE 2071076.372
AT ITER 5791 NEW BEST:: SOT 6131921 SOS 5329362 HAS SOPS 5316096 HAS SOUS 2073955 HAS SOUPS 2065717 WITH SCORE 2071046.362
AT ITER 5794 NEW BEST:: SOT 6131797 SOS 5329238 HAS SOPS 5315972 HAS SOUS 2073798 HAS SOUPS 2065560 WITH SCORE 2070889.238
AT ITER 5795 NEW BEST:: SOT 6128722 SOS 5326128 HAS SOPS 5312897 HAS SOUS 2069008 HAS SOUPS 2060805 WITH SCORE 2066131.128
AT ITER 5796 NEW BEST:: SOT 6127586 SOS 5324992 HAS SOPS 5311761 HAS SOUS 2067819 HAS SOUPS 2059616 WITH SCORE 2064940.992
AT ITER 5821 NEW BEST:: SOT 6127226 SOS 5324632 HAS SOPS 5311401 HAS SOUS 2066420 HAS SOUPS 2058217 WITH SCORE 2063541.632
AT ITER 5841 NEW BEST:: SOT 6127200 SOS 5324605 HAS SOPS 5311375 HAS SOUS 2066380 HAS SOUPS 2058178 WITH SCORE 2063502.605
AT ITER 5844 NEW BEST:: SOT 6127168 SOS 5324573 HAS SOPS 5311343 HAS SOUS 2066350 HAS SOUPS 2058148 WITH SCORE 2063472.573
AT ITER 5846 NEW BEST:: SOT 6126884 SOS 5324304 HAS SOPS 5311059 HAS SOUS 2065559 HAS SOUPS 2057342 WITH SCORE 2062666.304
AT ITER 5872 NEW BEST:: SOT 6125757 SOS 5323197 HAS SOPS 5309992 HAS SOUS 2064664 HAS SOUPS 2056487 WITH SCORE 2061810.197
AT ITER 5876 NEW BEST:: SOT 6126155 SOS 5323595 HAS SOPS 5310390 HAS SOUS 2062418 HAS SOUPS 2054241 WITH SCORE 2059564.595
AT ITER 5881 NEW BEST:: SOT 6125877 SOS 5323275 HAS SOPS 5310112 HAS SOUS 2062008 HAS SOUPS 2053873 WITH SCORE 2059196.275
AT ITER 5883 NEW BEST:: SOT 6125867 SOS 5323298 HAS SOPS 5310102 HAS SOUS 2062000 HAS SOUPS 2053832 WITH SCORE 2059155.298
AT ITER 5892 NEW BEST:: SOT 6124845 SOS 5322276 HAS SOPS 5309080 HAS SOUS 2060212 HAS SOUPS 2052044 WITH SCORE 2057366.276
AT ITER 5907 NEW BEST:: SOT 6125451 SOS 5322885 HAS SOPS 5309689 HAS SOUS 2055265 HAS SOUPS 2047097 WITH SCORE 2052419.885
AT ITER 5932 NEW BEST:: SOT 6126336 SOS 5323672 HAS SOPS 5310439 HAS SOUS 2054907 HAS SOUPS 2046702 WITH SCORE 2052025.672
AT ITER 5935 NEW BEST:: SOT 6126006 SOS 5323408 HAS SOPS 5310229 HAS SOUS 2054759 HAS SOUPS 2046608 WITH SCORE 2051931.408
AT ITER 5940 NEW BEST:: SOT 6126006 SOS 5323003 HAS SOPS 5309709 HAS SOUS 2054741 HAS SOUPS 2046590 WITH SCORE 2051913.003
AT ITER 5954 NEW BEST:: SOT 6126001 SOS 5322979 HAS SOPS 5309704 HAS SOUS 2054444 HAS SOUPS 2046312 WITH SCORE 2051634.979
AT ITER 5968 NEW BEST:: SOT 6124050 SOS 5321028 HAS SOPS 5307753 HAS SOUS 2051334 HAS SOUPS 2043202 WITH SCORE 2048523.028
AT ITER 5972 NEW BEST:: SOT 6123480 SOS 5320458 HAS SOPS 5307183 HAS SOUS 2050596 HAS SOUPS 2042464 WITH SCORE 2047784.458
AT ITER 6020 NEW BEST:: SOT 6123470 SOS 5320438 HAS SOPS 5307173 HAS SOUS 2050540 HAS SOUPS 2042418 WITH SCORE 2047738.438
AT ITER 6023 NEW BEST:: SOT 6122330 SOS 5319298 HAS SOPS 5306033 HAS SOUS 2050466 HAS SOUPS 2042344 WITH SCORE 2047663.298
AT ITER 6030 NEW BEST:: SOT 6122072 SOS 5319040 HAS SOPS 5305775 HAS SOUS 2050211 HAS SOUPS 2042089 WITH SCORE 2047408.04
AT ITER 6036 NEW BEST:: SOT 6121505 SOS 5318517 HAS SOPS 5305208 HAS SOUS 2048210 HAS SOUPS 2040044 WITH SCORE 2045362.517
AT ITER 6054 NEW BEST:: SOT 6121506 SOS 5318580 HAS SOPS 5305209 HAS SOUS 2047127 HAS SOUPS 2038899 WITH SCORE 2044217.58
AT ITER 6064 NEW BEST:: SOT 6120389 SOS 5317286 HAS SOPS 5303962 HAS SOUS 2044220 HAS SOUPS 2036022 WITH SCORE 2041339.286
AT ITER 6079 NEW BEST:: SOT 6120398 SOS 5317295 HAS SOPS 5303971 HAS SOUS 2044198 HAS SOUPS 2036000 WITH SCORE 2041317.295
AT ITER 6091 NEW BEST:: SOT 6115758 SOS 5311408 HAS SOPS 5298084 HAS SOUS 2039015 HAS SOUPS 2030817 WITH SCORE 2036128.408
AT ITER 6105 NEW BEST:: SOT 6115629 SOS 5312308 HAS SOPS 5298984 HAS SOUS 2038880 HAS SOUPS 2030682 WITH SCORE 2035994.308
AT ITER 6119 NEW BEST:: SOT 6115629 SOS 5312308 HAS SOPS 5298984 HAS SOUS 2038794 HAS SOUPS 2030596 WITH SCORE 2035908.308
AT ITER 6130 NEW BEST:: SOT 6115534 SOS 5312213 HAS SOPS 5298889 HAS SOUS 2038595 HAS SOUPS 2030397 WITH SCORE 2035709.213
AT ITER 6159 NEW BEST:: SOT 6115251 SOS 5311930 HAS SOPS 5298606 HAS SOUS 2038581 HAS SOUPS 2030383 WITH SCORE 2035694.93
AT ITER 6161 NEW BEST:: SOT 6114942 SOS 5311621 HAS SOPS 5298297 HAS SOUS 2037822 HAS SOUPS 2029624 WITH SCORE 2034935.621
AT ITER 6174 NEW BEST:: SOT 6114809 SOS 5311478 HAS SOPS 5298164 HAS SOUS 2037523 HAS SOUPS 2029327 WITH SCORE 2034638.478
AT ITER 6177 NEW BEST:: SOT 6114720 SOS 5311374 HAS SOPS 5298075 HAS SOUS 2037276 HAS SOUPS 2029095 WITH SCORE 2034406.374
AT ITER 6180 NEW BEST:: SOT 6113165 SOS 5309812 HAS SOPS 5296520 HAS SOUS 2035720 HAS SOUPS 2027546 WITH SCORE 2032855.812
AT ITER 6194 NEW BEST:: SOT 6111896 SOS 5308543 HAS SOPS 5295251 HAS SOUS 2034816 HAS SOUPS 2026642 WITH SCORE 2031950.543
AT ITER 6203 NEW BEST:: SOT 6111512 SOS 5308159 HAS SOPS 5294867 HAS SOUS 2034202 HAS SOUPS 2026028 WITH SCORE 2031336.159
AT ITER 6214 NEW BEST:: SOT 6111103 SOS 5307736 HAS SOPS 5294458 HAS SOUS 2033302 HAS SOUPS 2025142 WITH SCORE 2030449.736
AT ITER 6216 NEW BEST:: SOT 6111103 SOS 5307191 HAS SOPS 5293998 HAS SOUS 2033291 HAS SOUPS 2025131 WITH SCORE 2030438.191
AT ITER 6230 NEW BEST:: SOT 6104840 SOS 5302117 HAS SOPS 5289399 HAS SOUS 2031886 HAS SOUPS 2024201 WITH SCORE 2029503.117
AT ITER 6236 NEW BEST:: SOT 6104637 SOS 5301929 HAS SOPS 5289196 HAS SOUS 2031582 HAS SOUPS 2023882 WITH SCORE 2029183.929
AT ITER 6267 NEW BEST:: SOT 6104635 SOS 5301927 HAS SOPS 5289194 HAS SOUS 2031482 HAS SOUPS 2023782 WITH SCORE 2029083.927
AT ITER 6268 NEW BEST:: SOT 6104649 SOS 5301941 HAS SOPS 5289208 HAS SOUS 2031424 HAS SOUPS 2023724 WITH SCORE 2029025.941
AT ITER 6279 NEW BEST:: SOT 6102366 SOS 5299693 HAS SOPS 5286925 HAS SOUS 2027314 HAS SOUPS 2019579 WITH SCORE 2024878.693
AT ITER 6282 NEW BEST:: SOT 6102799 SOS 5300126 HAS SOPS 5287358 HAS SOUS 2026885 HAS SOUPS 2019150 WITH SCORE 2024450.126
AT ITER 6295 NEW BEST:: SOT 6102531 SOS 5301216 HAS SOPS 5288499 HAS SOUS 2026714 HAS SOUPS 2018979 WITH SCORE 2024280.216
AT ITER 6296 NEW BEST:: SOT 6102062 SOS 5300747 HAS SOPS 5288030 HAS SOUS 2025558 HAS SOUPS 2017823 WITH SCORE 2023123.747
AT ITER 6309 NEW BEST:: SOT 6102062 SOS 5303128 HAS SOPS 5290638 HAS SOUS 2025528 HAS SOUPS 2017793 WITH SCORE 2023096.128
AT ITER 6322 NEW BEST:: SOT 6102062 SOS 5303128 HAS SOPS 5290638 HAS SOUS 2025524 HAS SOUPS 2017789 WITH SCORE 2023092.128
AT ITER 6340 NEW BEST:: SOT 6099813 SOS 5300911 HAS SOPS 5288389 HAS SOUS 2019747 HAS SOUPS 2011980 WITH SCORE 2017280.911
AT ITER 6391 NEW BEST:: SOT 6099813 SOS 5300911 HAS SOPS 5288389 HAS SOUS 2019696 HAS SOUPS 2011929 WITH SCORE 2017229.911
AT ITER 6393 NEW BEST:: SOT 6099548 SOS 5300646 HAS SOPS 5288124 HAS SOUS 2019276 HAS SOUPS 2011509 WITH SCORE 2016809.646
AT ITER 6398 NEW BEST:: SOT 6098874 SOS 5299972 HAS SOPS 5287450 HAS SOUS 2018582 HAS SOUPS 2010815 WITH SCORE 2016114.972
AT ITER 6400 NEW BEST:: SOT 6095238 SOS 5296336 HAS SOPS 5283814 HAS SOUS 2012820 HAS SOUPS 2005053 WITH SCORE 2010349.336
AT ITER 6439 NEW BEST:: SOT 6095305 SOS 5296432 HAS SOPS 5283881 HAS SOUS 2012374 HAS SOUPS 2004578 WITH SCORE 2009874.432
AT ITER 6440 NEW BEST:: SOT 6095305 SOS 5283893 HAS SOPS 5271235 HAS SOUS 2012363 HAS SOUPS 2004550 WITH SCORE 2009833.893
AT ITER 6448 NEW BEST:: SOT 6095049 SOS 5283637 HAS SOPS 5270979 HAS SOUS 2011949 HAS SOUPS 2004136 WITH SCORE 2009419.637
AT ITER 6508 NEW BEST:: SOT 6095044 SOS 5283632 HAS SOPS 5270974 HAS SOUS 2011925 HAS SOUPS 2004112 WITH SCORE 2009395.632
AT ITER 6518 NEW BEST:: SOT 6095081 SOS 5283669 HAS SOPS 5271011 HAS SOUS 2011901 HAS SOUPS 2004088 WITH SCORE 2009371.669
AT ITER 6522 NEW BEST:: SOT 6094750 SOS 5283338 HAS SOPS 5270680 HAS SOUS 2010915 HAS SOUPS 2003102 WITH SCORE 2008385.338
AT ITER 6535 NEW BEST:: SOT 6094676 SOS 5283264 HAS SOPS 5270606 HAS SOUS 2010841 HAS SOUPS 2003028 WITH SCORE 2008311.264
AT ITER 6564 NEW BEST:: SOT 6092487 SOS 5281036 HAS SOPS 5268417 HAS SOUS 2005348 HAS SOUPS 1997574 WITH SCORE 2002855.036
AT ITER 6588 NEW BEST:: SOT 6092487 SOS 5314198 HAS SOPS 5302709 HAS SOUS 2004462 HAS SOUPS 1996769 WITH SCORE 2002083.198
AT ITER 6617 NEW BEST:: SOT 6092487 SOS 5314198 HAS SOPS 5302709 HAS SOUS 2004402 HAS SOUPS 1996709 WITH SCORE 2002023.198
AT ITER 6621 NEW BEST:: SOT 6092202 SOS 5313913 HAS SOPS 5302424 HAS SOUS 2003839 HAS SOUPS 1996146 WITH SCORE 2001459.913
AT ITER 6633 NEW BEST:: SOT 6087037 SOS 5311531 HAS SOPS 5300756 HAS SOUS 1999101 HAS SOUPS 1992080 WITH SCORE 1997391.531
AT ITER 6673 NEW BEST:: SOT 6086645 SOS 5311139 HAS SOPS 5300364 HAS SOUS 1998383 HAS SOUPS 1991362 WITH SCORE 1996673.139
AT ITER 6688 NEW BEST:: SOT 6086504 SOS 5311035 HAS SOPS 5300223 HAS SOUS 1997515 HAS SOUPS 1990457 WITH SCORE 1995768.035
AT ITER 6694 NEW BEST:: SOT 6086116 SOS 5310647 HAS SOPS 5299835 HAS SOUS 1997127 HAS SOUPS 1990069 WITH SCORE 1995379.647
AT ITER 6707 NEW BEST:: SOT 6086074 SOS 5310605 HAS SOPS 5299793 HAS SOUS 1997085 HAS SOUPS 1990027 WITH SCORE 1995337.605
AT ITER 6712 NEW BEST:: SOT 6086074 SOS 5310407 HAS SOPS 5299601 HAS SOUS 1997079 HAS SOUPS 1990023 WITH SCORE 1995333.407
AT ITER 6720 NEW BEST:: SOT 6086074 SOS 5310053 HAS SOPS 5299265 HAS SOUS 1997076 HAS SOUPS 1990023 WITH SCORE 1995333.053
AT ITER 6746 NEW BEST:: SOT 6085396 SOS 5309364 HAS SOPS 5298587 HAS SOUS 1996647 HAS SOUPS 1989605 WITH SCORE 1994914.364
AT ITER 6751 NEW BEST:: SOT 6085396 SOS 5289256 HAS SOPS 5277981 HAS SOUS 1995951 HAS SOUPS 1988909 WITH SCORE 1994198.256
AT ITER 6754 NEW BEST:: SOT 6083099 SOS 5286959 HAS SOPS 5275684 HAS SOUS 1992676 HAS SOUPS 1985634 WITH SCORE 1990920.959
AT ITER 6774 NEW BEST:: SOT 6082995 SOS 5286855 HAS SOPS 5275580 HAS SOUS 1991942 HAS SOUPS 1984900 WITH SCORE 1990186.855
AT ITER 6783 NEW BEST:: SOT 6082391 SOS 5286251 HAS SOPS 5274976 HAS SOUS 1991282 HAS SOUPS 1984240 WITH SCORE 1989526.251
AT ITER 6788 NEW BEST:: SOT 6082361 SOS 5286221 HAS SOPS 5274946 HAS SOUS 1991270 HAS SOUPS 1984228 WITH SCORE 1989514.221
AT ITER 6791 NEW BEST:: SOT 6079402 SOS 5283262 HAS SOPS 5271987 HAS SOUS 1986411 HAS SOUPS 1979369 WITH SCORE 1984652.262
AT ITER 6808 NEW BEST:: SOT 6075276 SOS 5282854 HAS SOPS 5272416 HAS SOUS 1982902 HAS SOUPS 1976642 WITH SCORE 1981924.854
AT ITER 6811 NEW BEST:: SOT 6075416 SOS 5282987 HAS SOPS 5272542 HAS SOUS 1982850 HAS SOUPS 1976583 WITH SCORE 1981865.987
AT ITER 6834 NEW BEST:: SOT 6075157 SOS 5282736 HAS SOPS 5272297 HAS SOUS 1982570 HAS SOUPS 1976309 WITH SCORE 1981591.736
AT ITER 6836 NEW BEST:: SOT 6075185 SOS 5282763 HAS SOPS 5272325 HAS SOUS 1982492 HAS SOUPS 1976232 WITH SCORE 1981514.763
AT ITER 6844 NEW BEST:: SOT 6074957 SOS 5282533 HAS SOPS 5272097 HAS SOUS 1982231 HAS SOUPS 1975973 WITH SCORE 1981255.533
AT ITER 6853 NEW BEST:: SOT 6073279 SOS 5280855 HAS SOPS 5270419 HAS SOUS 1981673 HAS SOUPS 1975415 WITH SCORE 1980695.855
AT ITER 6854 NEW BEST:: SOT 6066958 SOS 5274534 HAS SOPS 5264098 HAS SOUS 1969135 HAS SOUPS 1962877 WITH SCORE 1968151.534
AT ITER 6863 NEW BEST:: SOT 6066159 SOS 5273792 HAS SOPS 5263299 HAS SOUS 1968473 HAS SOUPS 1962158 WITH SCORE 1967431.792
AT ITER 6869 NEW BEST:: SOT 6060581 SOS 5268564 HAS SOPS 5258189 HAS SOUS 1963386 HAS SOUPS 1957189 WITH SCORE 1962457.564
AT ITER 6902 NEW BEST:: SOT 6060544 SOS 5268527 HAS SOPS 5258152 HAS SOUS 1963369 HAS SOUPS 1957172 WITH SCORE 1962440.527
AT ITER 6921 NEW BEST:: SOT 6059732 SOS 5267715 HAS SOPS 5257340 HAS SOUS 1962315 HAS SOUPS 1956118 WITH SCORE 1961385.715
AT ITER 6955 NEW BEST:: SOT 6059290 SOS 5267273 HAS SOPS 5256898 HAS SOUS 1961511 HAS SOUPS 1955314 WITH SCORE 1960581.273
AT ITER 6958 NEW BEST:: SOT 6059266 SOS 5267249 HAS SOPS 5256874 HAS SOUS 1961363 HAS SOUPS 1955166 WITH SCORE 1960433.249
AT ITER 6973 NEW BEST:: SOT 6059245 SOS 5268644 HAS SOPS 5258083 HAS SOUS 1961259 HAS SOUPS 1955006 WITH SCORE 1960274.644
AT ITER 6974 NEW BEST:: SOT 6059236 SOS 5268635 HAS SOPS 5258074 HAS SOUS 1961119 HAS SOUPS 1954866 WITH SCORE 1960134.635
AT ITER 6980 NEW BEST:: SOT 6056507 SOS 5265870 HAS SOPS 5255345 HAS SOUS 1956315 HAS SOUPS 1950098 WITH SCORE 1955363.87
AT ITER 6983 NEW BEST:: SOT 6056058 SOS 5265404 HAS SOPS 5254896 HAS SOUS 1955761 HAS SOUPS 1949561 WITH SCORE 1954826.404
AT ITER 6987 NEW BEST:: SOT 6055812 SOS 5265158 HAS SOPS 5254650 HAS SOUS 1955622 HAS SOUPS 1949422 WITH SCORE 1954687.158
AT ITER 6999 NEW BEST:: SOT 6055788 SOS 5265134 HAS SOPS 5254626 HAS SOUS 1955598 HAS SOUPS 1949398 WITH SCORE 1954663.134
AT ITER 7015 NEW BEST:: SOT 6053381 SOS 5262727 HAS SOPS 5252219 HAS SOUS 1951565 HAS SOUPS 1945365 WITH SCORE 1950627.727
AT ITER 7025 NEW BEST:: SOT 6053387 SOS 5262733 HAS SOPS 5252225 HAS SOUS 1951528 HAS SOUPS 1945328 WITH SCORE 1950590.733
AT ITER 7030 NEW BEST:: SOT 6050932 SOS 5260278 HAS SOPS 5249770 HAS SOUS 1946959 HAS SOUPS 1940759 WITH SCORE 1946019.278
AT ITER 7043 NEW BEST:: SOT 6050882 SOS 5260113 HAS SOPS 5249720 HAS SOUS 1945660 HAS SOUPS 1939575 WITH SCORE 1944835.113
AT ITER 7085 NEW BEST:: SOT 6050311 SOS 5259565 HAS SOPS 5249149 HAS SOUS 1944384 HAS SOUPS 1938276 WITH SCORE 1943535.565
AT ITER 7099 NEW BEST:: SOT 6050271 SOS 5259525 HAS SOPS 5249109 HAS SOUS 1944292 HAS SOUPS 1938184 WITH SCORE 1943443.525
AT ITER 7142 NEW BEST:: SOT 6050211 SOS 5259465 HAS SOPS 5249049 HAS SOUS 1944210 HAS SOUPS 1938102 WITH SCORE 1943361.465
AT ITER 7152 NEW BEST:: SOT 6048586 SOS 5257840 HAS SOPS 5247424 HAS SOUS 1941674 HAS SOUPS 1935566 WITH SCORE 1940823.84
AT ITER 7185 NEW BEST:: SOT 6044857 SOS 5254081 HAS SOPS 5243695 HAS SOUS 1935425 HAS SOUPS 1929347 WITH SCORE 1934601.081
AT ITER 7242 NEW BEST:: SOT 6044549 SOS 5253773 HAS SOPS 5243387 HAS SOUS 1934688 HAS SOUPS 1928610 WITH SCORE 1933863.773
AT ITER 7250 NEW BEST:: SOT 6040557 SOS 5249897 HAS SOPS 5239642 HAS SOUS 1931679 HAS SOUPS 1925732 WITH SCORE 1930981.897
AT ITER 7251 NEW BEST:: SOT 6040557 SOS 5249897 HAS SOPS 5239642 HAS SOUS 1931596 HAS SOUPS 1925649 WITH SCORE 1930898.897
AT ITER 7258 NEW BEST:: SOT 6040120 SOS 5249434 HAS SOPS 5239205 HAS SOUS 1930740 HAS SOUPS 1924819 WITH SCORE 1930068.434
AT ITER 7275 NEW BEST:: SOT 6040151 SOS 5249465 HAS SOPS 5239236 HAS SOUS 1930120 HAS SOUPS 1924199 WITH SCORE 1929448.465
AT ITER 7276 NEW BEST:: SOT 6039947 SOS 5249261 HAS SOPS 5239032 HAS SOUS 1929922 HAS SOUPS 1924001 WITH SCORE 1929250.261
AT ITER 7279 NEW BEST:: SOT 6039972 SOS 5249295 HAS SOPS 5239057 HAS SOUS 1929896 HAS SOUPS 1923966 WITH SCORE 1929215.295
AT ITER 7310 NEW BEST:: SOT 6039972 SOS 5252014 HAS SOPS 5241812 HAS SOUS 1929891 HAS SOUPS 1923961 WITH SCORE 1929213.014
AT ITER 7313 NEW BEST:: SOT 6037530 SOS 5249572 HAS SOPS 5239370 HAS SOUS 1927486 HAS SOUPS 1921556 WITH SCORE 1926805.572
AT ITER 7327 NEW BEST:: SOT 6031512 SOS 5244399 HAS SOPS 5234197 HAS SOUS 1921089 HAS SOUPS 1915159 WITH SCORE 1920403.399
AT ITER 7330 NEW BEST:: SOT 6031171 SOS 5244092 HAS SOPS 5233856 HAS SOUS 1920278 HAS SOUPS 1914314 WITH SCORE 1919558.092
AT ITER 7351 NEW BEST:: SOT 6030979 SOS 5243899 HAS SOPS 5233664 HAS SOUS 1920119 HAS SOUPS 1914156 WITH SCORE 1919399.899
AT ITER 7381 NEW BEST:: SOT 6026693 SOS 5238674 HAS SOPS 5229078 HAS SOUS 1914935 HAS SOUPS 1909587 WITH SCORE 1914825.674
AT ITER 7394 NEW BEST:: SOT 6026693 SOS 5238666 HAS SOPS 5229070 HAS SOUS 1914927 HAS SOUPS 1909579 WITH SCORE 1914817.666
AT ITER 7400 NEW BEST:: SOT 6025816 SOS 5237776 HAS SOPS 5228193 HAS SOUS 1913429 HAS SOUPS 1908094 WITH SCORE 1913331.776
AT ITER 7401 NEW BEST:: SOT 6023317 SOS 5235292 HAS SOPS 5225694 HAS SOUS 1908557 HAS SOUPS 1903207 WITH SCORE 1908442.292
AT ITER 7402 NEW BEST:: SOT 6023284 SOS 5235259 HAS SOPS 5225661 HAS SOUS 1908524 HAS SOUPS 1903174 WITH SCORE 1908409.259
AT ITER 7410 NEW BEST:: SOT 6023188 SOS 5235163 HAS SOPS 5225565 HAS SOUS 1908190 HAS SOUPS 1902840 WITH SCORE 1908075.163
AT ITER 7413 NEW BEST:: SOT 6024833 SOS 5236808 HAS SOPS 5227210 HAS SOUS 1907270 HAS SOUPS 1901920 WITH SCORE 1907156.808
AT ITER 7423 NEW BEST:: SOT 6024711 SOS 5236686 HAS SOPS 5227088 HAS SOUS 1907053 HAS SOUPS 1901703 WITH SCORE 1906939.686
AT ITER 7444 NEW BEST:: SOT 6024669 SOS 5236644 HAS SOPS 5227046 HAS SOUS 1906742 HAS SOUPS 1901392 WITH SCORE 1906628.644
AT ITER 7449 NEW BEST:: SOT 6026038 SOS 5235922 HAS SOPS 5226316 HAS SOUS 1905537 HAS SOUPS 1900179 WITH SCORE 1905414.922
AT ITER 7460 NEW BEST:: SOT 6025962 SOS 5235846 HAS SOPS 5226240 HAS SOUS 1905033 HAS SOUPS 1899675 WITH SCORE 1904910.846
AT ITER 7466 NEW BEST:: SOT 6024809 SOS 5234693 HAS SOPS 5225087 HAS SOUS 1903903 HAS SOUPS 1898545 WITH SCORE 1903779.693
AT ITER 7473 NEW BEST:: SOT 6024371 SOS 5234255 HAS SOPS 5224649 HAS SOUS 1902803 HAS SOUPS 1897445 WITH SCORE 1902679.255
AT ITER 7483 NEW BEST:: SOT 6024231 SOS 5234115 HAS SOPS 5224509 HAS SOUS 1902651 HAS SOUPS 1897293 WITH SCORE 1902527.115
AT ITER 7494 NEW BEST:: SOT 6024302 SOS 5234849 HAS SOPS 5225090 HAS SOUS 1901933 HAS SOUPS 1896500 WITH SCORE 1901734.849
AT ITER 7498 NEW BEST:: SOT 6024292 SOS 5234839 HAS SOPS 5225080 HAS SOUS 1901901 HAS SOUPS 1896468 WITH SCORE 1901702.839
AT ITER 7501 NEW BEST:: SOT 6024292 SOS 5266041 HAS SOPS 5256802 HAS SOUS 1901518 HAS SOUPS 1896144 WITH SCORE 1901410.041
AT ITER 7578 NEW BEST:: SOT 6024429 SOS 5266235 HAS SOPS 5256939 HAS SOUS 1900972 HAS SOUPS 1895541 WITH SCORE 1900807.235
AT ITER 7623 NEW BEST:: SOT 6023621 SOS 5265427 HAS SOPS 5256131 HAS SOUS 1899740 HAS SOUPS 1894309 WITH SCORE 1899574.427
AT ITER 7628 NEW BEST:: SOT 6023621 SOS 5263476 HAS SOPS 5254081 HAS SOUS 1899741 HAS SOUPS 1894212 WITH SCORE 1899475.476
AT ITER 7632 NEW BEST:: SOT 6022295 SOS 5262150 HAS SOPS 5252755 HAS SOUS 1897686 HAS SOUPS 1892157 WITH SCORE 1897419.15
AT ITER 7667 NEW BEST:: SOT 6020826 SOS 5260655 HAS SOPS 5251286 HAS SOUS 1895299 HAS SOUPS 1889796 WITH SCORE 1895056.655
AT ITER 7705 NEW BEST:: SOT 6020802 SOS 5260631 HAS SOPS 5251262 HAS SOUS 1895275 HAS SOUPS 1889772 WITH SCORE 1895032.631
AT ITER 7710 NEW BEST:: SOT 6020839 SOS 5260668 HAS SOPS 5251299 HAS SOUS 1895165 HAS SOUPS 1889662 WITH SCORE 1894922.668
AT ITER 7726 NEW BEST:: SOT 6020585 SOS 5260414 HAS SOPS 5251045 HAS SOUS 1894626 HAS SOUPS 1889123 WITH SCORE 1894383.414
AT ITER 7728 NEW BEST:: SOT 6020516 SOS 5260345 HAS SOPS 5250976 HAS SOUS 1894512 HAS SOUPS 1889009 WITH SCORE 1894269.345
AT ITER 7734 NEW BEST:: SOT 6020359 SOS 5260188 HAS SOPS 5250819 HAS SOUS 1894196 HAS SOUPS 1888693 WITH SCORE 1893953.188
AT ITER 7740 NEW BEST:: SOT 6019247 SOS 5259054 HAS SOPS 5249707 HAS SOUS 1892623 HAS SOUPS 1887142 WITH SCORE 1892401.054
AT ITER 7747 NEW BEST:: SOT 6019235 SOS 5259042 HAS SOPS 5249695 HAS SOUS 1892623 HAS SOUPS 1887142 WITH SCORE 1892401.042
AT ITER 7753 NEW BEST:: SOT 6019122 SOS 5258908 HAS SOPS 5249582 HAS SOUS 1892530 HAS SOUPS 1887070 WITH SCORE 1892328.908
AT ITER 7768 NEW BEST:: SOT 6018675 SOS 5258417 HAS SOPS 5249135 HAS SOUS 1891789 HAS SOUPS 1886373 WITH SCORE 1891631.417
AT ITER 7791 NEW BEST:: SOT 6015749 SOS 5255491 HAS SOPS 5246209 HAS SOUS 1888956 HAS SOUPS 1883540 WITH SCORE 1888795.491
AT ITER 7793 NEW BEST:: SOT 6015546 SOS 5255288 HAS SOPS 5246006 HAS SOUS 1888525 HAS SOUPS 1883109 WITH SCORE 1888364.288
AT ITER 7805 NEW BEST:: SOT 6015546 SOS 5255111 HAS SOPS 5245829 HAS SOUS 1888519 HAS SOUPS 1883103 WITH SCORE 1888358.111
AT ITER 7817 NEW BEST:: SOT 6015531 SOS 5255096 HAS SOPS 5245814 HAS SOUS 1888449 HAS SOUPS 1883033 WITH SCORE 1888288.096
AT ITER 7826 NEW BEST:: SOT 6015296 SOS 5254790 HAS SOPS 5245561 HAS SOUS 1887690 HAS SOUPS 1882327 WITH SCORE 1887581.79
AT ITER 7829 NEW BEST:: SOT 6014526 SOS 5254006 HAS SOPS 5244791 HAS SOUS 1886246 HAS SOUPS 1880897 WITH SCORE 1886151.006
AT ITER 7835 NEW BEST:: SOT 6014524 SOS 5253982 HAS SOPS 5244789 HAS SOUS 1886031 HAS SOUPS 1880704 WITH SCORE 1885957.982
AT ITER 7846 NEW BEST:: SOT 6014524 SOS 5254023 HAS SOPS 5244833 HAS SOUS 1886027 HAS SOUPS 1880700 WITH SCORE 1885954.023
AT ITER 7848 NEW BEST:: SOT 6007286 SOS 5247325 HAS SOPS 5238337 HAS SOUS 1884706 HAS SOUPS 1879581 WITH SCORE 1884828.325
AT ITER 7865 NEW BEST:: SOT 6007280 SOS 5247319 HAS SOPS 5238331 HAS SOUS 1884615 HAS SOUPS 1879490 WITH SCORE 1884737.319
AT ITER 7877 NEW BEST:: SOT 6007144 SOS 5247152 HAS SOPS 5238195 HAS SOUS 1884279 HAS SOUPS 1879185 WITH SCORE 1884432.152
AT ITER 7881 NEW BEST:: SOT 6006922 SOS 5246930 HAS SOPS 5237973 HAS SOUS 1883727 HAS SOUPS 1878633 WITH SCORE 1883879.93
AT ITER 7885 NEW BEST:: SOT 6005064 SOS 5245072 HAS SOPS 5236115 HAS SOUS 1880944 HAS SOUPS 1875850 WITH SCORE 1881095.072
AT ITER 7892 NEW BEST:: SOT 6004909 SOS 5245611 HAS SOPS 5236654 HAS SOUS 1880772 HAS SOUPS 1875678 WITH SCORE 1880923.611
AT ITER 7914 NEW BEST:: SOT 6004129 SOS 5244735 HAS SOPS 5235874 HAS SOUS 1880613 HAS SOUPS 1875615 WITH SCORE 1880859.735
AT ITER 7926 NEW BEST:: SOT 6004059 SOS 5244658 HAS SOPS 5235804 HAS SOUS 1880436 HAS SOUPS 1875445 WITH SCORE 1880689.658
AT ITER 7931 NEW BEST:: SOT 6003734 SOS 5244333 HAS SOPS 5235479 HAS SOUS 1879641 HAS SOUPS 1874650 WITH SCORE 1879894.333
AT ITER 7938 NEW BEST:: SOT 6002865 SOS 5243563 HAS SOPS 5234745 HAS SOUS 1879513 HAS SOUPS 1874558 WITH SCORE 1879801.563
AT ITER 7984 NEW BEST:: SOT 6002784 SOS 5243482 HAS SOPS 5234664 HAS SOUS 1879098 HAS SOUPS 1874143 WITH SCORE 1879386.482
AT ITER 7993 NEW BEST:: SOT 6000698 SOS 5241396 HAS SOPS 5232578 HAS SOUS 1875515 HAS SOUPS 1870560 WITH SCORE 1875801.396
AT ITER 8028 NEW BEST:: SOT 6000591 SOS 5241276 HAS SOPS 5232471 HAS SOUS 1875405 HAS SOUPS 1870463 WITH SCORE 1875704.276
AT ITER 8043 NEW BEST:: SOT 6000438 SOS 5241034 HAS SOPS 5232318 HAS SOUS 1874891 HAS SOUPS 1870038 WITH SCORE 1875279.034
AT ITER 8051 NEW BEST:: SOT 6000402 SOS 5240998 HAS SOPS 5232282 HAS SOUS 1874855 HAS SOUPS 1870002 WITH SCORE 1875242.998
AT ITER 8057 NEW BEST:: SOT 6000009 SOS 5240648 HAS SOPS 5231889 HAS SOUS 1873460 HAS SOUPS 1868564 WITH SCORE 1873804.648
AT ITER 8074 NEW BEST:: SOT 6000144 SOS 5240816 HAS SOPS 5232024 HAS SOUS 1873340 HAS SOUPS 1868411 WITH SCORE 1873651.816
AT ITER 8079 NEW BEST:: SOT 5997261 SOS 5237855 HAS SOPS 5229141 HAS SOUS 1868099 HAS SOUPS 1863248 WITH SCORE 1868485.855
AT ITER 8082 NEW BEST:: SOT 5996667 SOS 5237261 HAS SOPS 5228547 HAS SOUS 1867565 HAS SOUPS 1862714 WITH SCORE 1867951.261
AT ITER 8090 NEW BEST:: SOT 5996667 SOS 5237261 HAS SOPS 5228547 HAS SOUS 1867561 HAS SOUPS 1862710 WITH SCORE 1867947.261
AT ITER 8119 NEW BEST:: SOT 5996658 SOS 5237252 HAS SOPS 5228538 HAS SOUS 1867540 HAS SOUPS 1862689 WITH SCORE 1867926.252
AT ITER 8170 NEW BEST:: SOT 5996330 SOS 5236891 HAS SOPS 5228210 HAS SOUS 1867434 HAS SOUPS 1862616 WITH SCORE 1867852.891
AT ITER 8177 NEW BEST:: SOT 5996330 SOS 5235974 HAS SOPS 5227390 HAS SOUS 1867319 HAS SOUPS 1862501 WITH SCORE 1867736.974
AT ITER 8182 NEW BEST:: SOT 5996362 SOS 5236006 HAS SOPS 5227422 HAS SOUS 1866837 HAS SOUPS 1862019 WITH SCORE 1867255.006
AT ITER 8185 NEW BEST:: SOT 5996390 SOS 5236034 HAS SOPS 5227450 HAS SOUS 1866225 HAS SOUPS 1861407 WITH SCORE 1866643.034
AT ITER 8203 NEW BEST:: SOT 5996173 SOS 5235817 HAS SOPS 5227233 HAS SOUS 1865715 HAS SOUPS 1860897 WITH SCORE 1866132.817
AT ITER 8228 NEW BEST:: SOT 5994449 SOS 5234057 HAS SOPS 5225509 HAS SOUS 1862838 HAS SOUPS 1858056 WITH SCORE 1863290.057
AT ITER 8241 NEW BEST:: SOT 5993499 SOS 5233107 HAS SOPS 5224559 HAS SOUS 1862267 HAS SOUPS 1857485 WITH SCORE 1862718.107
AT ITER 8253 NEW BEST:: SOT 5992256 SOS 5231840 HAS SOPS 5223316 HAS SOUS 1859289 HAS SOUPS 1854531 WITH SCORE 1859762.84
AT ITER 8264 NEW BEST:: SOT 5991778 SOS 5231534 HAS SOPS 5223108 HAS SOUS 1859075 HAS SOUPS 1854415 WITH SCORE 1859646.534
AT ITER 8269 NEW BEST:: SOT 5991795 SOS 5231551 HAS SOPS 5223143 HAS SOUS 1858915 HAS SOUPS 1854273 WITH SCORE 1859504.551
AT ITER 8288 NEW BEST:: SOT 5991795 SOS 5230299 HAS SOPS 5221841 HAS SOUS 1858842 HAS SOUPS 1854200 WITH SCORE 1859430.299
AT ITER 8291 NEW BEST:: SOT 5991213 SOS 5229717 HAS SOPS 5221259 HAS SOUS 1858009 HAS SOUPS 1853367 WITH SCORE 1858596.717
AT ITER 8296 NEW BEST:: SOT 5991125 SOS 5229629 HAS SOPS 5221171 HAS SOUS 1857941 HAS SOUPS 1853299 WITH SCORE 1858528.629
AT ITER 8297 NEW BEST:: SOT 5991125 SOS 5224825 HAS SOPS 5216215 HAS SOUS 1857928 HAS SOUPS 1853279 WITH SCORE 1858503.825
AT ITER 8323 NEW BEST:: SOT 5991125 SOS 5242289 HAS SOPS 5234107 HAS SOUS 1857857 HAS SOUPS 1853232 WITH SCORE 1858474.289
AT ITER 8334 NEW BEST:: SOT 5990801 SOS 5241965 HAS SOPS 5233783 HAS SOUS 1857451 HAS SOUPS 1852826 WITH SCORE 1858067.965
AT ITER 8346 NEW BEST:: SOT 5990321 SOS 5241509 HAS SOPS 5233303 HAS SOUS 1856243 HAS SOUPS 1851594 WITH SCORE 1856835.509
AT ITER 8348 NEW BEST:: SOT 5990373 SOS 5241561 HAS SOPS 5233355 HAS SOUS 1856199 HAS SOUPS 1851550 WITH SCORE 1856791.561
AT ITER 8357 NEW BEST:: SOT 5989977 SOS 5241230 HAS SOPS 5233029 HAS SOUS 1856065 HAS SOUPS 1851421 WITH SCORE 1856662.23
AT ITER 8392 NEW BEST:: SOT 5989734 SOS 5240987 HAS SOPS 5232786 HAS SOUS 1855752 HAS SOUPS 1851108 WITH SCORE 1856348.987
AT ITER 8427 NEW BEST:: SOT 5989690 SOS 5240943 HAS SOPS 5232742 HAS SOUS 1855666 HAS SOUPS 1851022 WITH SCORE 1856262.943
AT ITER 8452 NEW BEST:: SOT 5986520 SOS 5237814 HAS SOPS 5229572 HAS SOUS 1851136 HAS SOUPS 1846451 WITH SCORE 1851688.814
AT ITER 8460 NEW BEST:: SOT 5984665 SOS 5235943 HAS SOPS 5227717 HAS SOUS 1848550 HAS SOUPS 1843881 WITH SCORE 1849116.943
AT ITER 8467 NEW BEST:: SOT 5984552 SOS 5235806 HAS SOPS 5227604 HAS SOUS 1848358 HAS SOUPS 1843713 WITH SCORE 1848948.806
AT ITER 8470 NEW BEST:: SOT 5984467 SOS 5235721 HAS SOPS 5227519 HAS SOUS 1848221 HAS SOUPS 1843576 WITH SCORE 1848811.721
AT ITER 8515 NEW BEST:: SOT 5984463 SOS 5235718 HAS SOPS 5227515 HAS SOUS 1848192 HAS SOUPS 1843546 WITH SCORE 1848781.718
AT ITER 8537 NEW BEST:: SOT 5985134 SOS 5235927 HAS SOPS 5227601 HAS SOUS 1847807 HAS SOUPS 1843038 WITH SCORE 1848273.927
AT ITER 8540 NEW BEST:: SOT 5985090 SOS 5235883 HAS SOPS 5227557 HAS SOUS 1847753 HAS SOUPS 1842984 WITH SCORE 1848219.883
AT ITER 8562 NEW BEST:: SOT 5984812 SOS 5235611 HAS SOPS 5227293 HAS SOUS 1847568 HAS SOUPS 1842807 WITH SCORE 1848042.611
AT ITER 8564 NEW BEST:: SOT 5984812 SOS 5228136 HAS SOPS 5219645 HAS SOUS 1847310 HAS SOUPS 1842549 WITH SCORE 1847777.136
AT ITER 8579 NEW BEST:: SOT 5984812 SOS 5228149 HAS SOPS 5219629 HAS SOUS 1847168 HAS SOUPS 1842378 WITH SCORE 1847606.149
AT ITER 8589 NEW BEST:: SOT 5984470 SOS 5227807 HAS SOPS 5219287 HAS SOUS 1846826 HAS SOUPS 1842036 WITH SCORE 1847263.807
AT ITER 8596 NEW BEST:: SOT 5984246 SOS 5227578 HAS SOPS 5219063 HAS SOUS 1846448 HAS SOUPS 1841663 WITH SCORE 1846890.578
AT ITER 8601 NEW BEST:: SOT 5986360 SOS 5229565 HAS SOPS 5221009 HAS SOUS 1845910 HAS SOUPS 1841084 WITH SCORE 1846313.565
AT ITER 8626 NEW BEST:: SOT 5986360 SOS 5229565 HAS SOPS 5221009 HAS SOUS 1845904 HAS SOUPS 1841078 WITH SCORE 1846307.565
AT ITER 8669 NEW BEST:: SOT 5983443 SOS 5226610 HAS SOPS 5218092 HAS SOUS 1840993 HAS SOUPS 1836205 WITH SCORE 1841431.61
AT ITER 8670 NEW BEST:: SOT 5983339 SOS 5226504 HAS SOPS 5217988 HAS SOUS 1840815 HAS SOUPS 1836029 WITH SCORE 1841255.504
AT ITER 8689 NEW BEST:: SOT 5983183 SOS 5226348 HAS SOPS 5217832 HAS SOUS 1840493 HAS SOUPS 1835707 WITH SCORE 1840933.348
AT ITER 8710 NEW BEST:: SOT 5983015 SOS 5226162 HAS SOPS 5217664 HAS SOUS 1840447 HAS SOUPS 1835679 WITH SCORE 1840905.162
AT ITER 8730 NEW BEST:: SOT 5982938 SOS 5226085 HAS SOPS 5217587 HAS SOUS 1840370 HAS SOUPS 1835602 WITH SCORE 1840828.085
AT ITER 8771 NEW BEST:: SOT 5982364 SOS 5225511 HAS SOPS 5217013 HAS SOUS 1840227 HAS SOUPS 1835459 WITH SCORE 1840684.511
AT ITER 8802 NEW BEST:: SOT 5981064 SOS 5224231 HAS SOPS 5215713 HAS SOUS 1839434 HAS SOUPS 1834646 WITH SCORE 1839870.231
AT ITER 8805 NEW BEST:: SOT 5980915 SOS 5224082 HAS SOPS 5215564 HAS SOUS 1838943 HAS SOUPS 1834155 WITH SCORE 1839379.082
AT ITER 8810 NEW BEST:: SOT 5979023 SOS 5222190 HAS SOPS 5213672 HAS SOUS 1835738 HAS SOUPS 1830950 WITH SCORE 1836172.19
AT ITER 8815 NEW BEST:: SOT 5979023 SOS 5222192 HAS SOPS 5213672 HAS SOUS 1835730 HAS SOUPS 1830940 WITH SCORE 1836162.192
AT ITER 8816 NEW BEST:: SOT 5978633 SOS 5221802 HAS SOPS 5213282 HAS SOUS 1834880 HAS SOUPS 1830090 WITH SCORE 1835311.802
AT ITER 8821 NEW BEST:: SOT 5975179 SOS 5222585 HAS SOPS 5214125 HAS SOUS 1833757 HAS SOUPS 1829027 WITH SCORE 1834249.585
AT ITER 8846 NEW BEST:: SOT 5974177 SOS 5221583 HAS SOPS 5213123 HAS SOUS 1832245 HAS SOUPS 1827515 WITH SCORE 1832736.583
AT ITER 8864 NEW BEST:: SOT 5976119 SOS 5223393 HAS SOPS 5214911 HAS SOUS 1831255 HAS SOUPS 1826503 WITH SCORE 1831726.393
AT ITER 8872 NEW BEST:: SOT 5975113 SOS 5221695 HAS SOPS 5213291 HAS SOUS 1829868 HAS SOUPS 1825158 WITH SCORE 1830379.695
AT ITER 8892 NEW BEST:: SOT 5974543 SOS 5221125 HAS SOPS 5212721 HAS SOUS 1829298 HAS SOUPS 1824588 WITH SCORE 1829809.125
AT ITER 8895 NEW BEST:: SOT 5973680 SOS 5220262 HAS SOPS 5211858 HAS SOUS 1827926 HAS SOUPS 1823216 WITH SCORE 1828436.262
AT ITER 8897 NEW BEST:: SOT 5973663 SOS 5220244 HAS SOPS 5211841 HAS SOUS 1827881 HAS SOUPS 1823172 WITH SCORE 1828392.244
AT ITER 8919 NEW BEST:: SOT 5973639 SOS 5220200 HAS SOPS 5211817 HAS SOUS 1827828 HAS SOUPS 1823139 WITH SCORE 1828359.2
AT ITER 8931 NEW BEST:: SOT 5976775 SOS 5223336 HAS SOPS 5214953 HAS SOUS 1826830 HAS SOUPS 1822141 WITH SCORE 1827364.336
AT ITER 8935 NEW BEST:: SOT 5976571 SOS 5223116 HAS SOPS 5214749 HAS SOUS 1826732 HAS SOUPS 1822059 WITH SCORE 1827282.116
AT ITER 8937 NEW BEST:: SOT 5976577 SOS 5223122 HAS SOPS 5214755 HAS SOUS 1826628 HAS SOUPS 1821955 WITH SCORE 1827178.122
AT ITER 8939 NEW BEST:: SOT 5976285 SOS 5222830 HAS SOPS 5214463 HAS SOUS 1826339 HAS SOUPS 1821666 WITH SCORE 1826888.83
AT ITER 8943 NEW BEST:: SOT 5976285 SOS 5222830 HAS SOPS 5214463 HAS SOUS 1826318 HAS SOUPS 1821645 WITH SCORE 1826867.83
AT ITER 8977 NEW BEST:: SOT 5976436 SOS 5223031 HAS SOPS 5214614 HAS SOUS 1826219 HAS SOUPS 1821496 WITH SCORE 1826719.031
AT ITER 8995 NEW BEST:: SOT 5976414 SOS 5223009 HAS SOPS 5214592 HAS SOUS 1826115 HAS SOUPS 1821392 WITH SCORE 1826615.009
AT ITER 8998 NEW BEST:: SOT 5974399 SOS 5220856 HAS SOPS 5212577 HAS SOUS 1825147 HAS SOUPS 1820562 WITH SCORE 1825782.856
AT ITER 9009 NEW BEST:: SOT 5974354 SOS 5220811 HAS SOPS 5212532 HAS SOUS 1825083 HAS SOUPS 1820498 WITH SCORE 1825718.811
AT ITER 9051 NEW BEST:: SOT 5971733 SOS 5218190 HAS SOPS 5209911 HAS SOUS 1820678 HAS SOUPS 1816093 WITH SCORE 1821311.19
AT ITER 9053 NEW BEST:: SOT 5971732 SOS 5218189 HAS SOPS 5209910 HAS SOUS 1820677 HAS SOUPS 1816092 WITH SCORE 1821310.189
AT ITER 9057 NEW BEST:: SOT 5971727 SOS 5218184 HAS SOPS 5209905 HAS SOUS 1820654 HAS SOUPS 1816069 WITH SCORE 1821287.184
AT ITER 9064 NEW BEST:: SOT 5971579 SOS 5218036 HAS SOPS 5209757 HAS SOUS 1819850 HAS SOUPS 1815265 WITH SCORE 1820483.036
AT ITER 9066 NEW BEST:: SOT 5970753 SOS 5217196 HAS SOPS 5208931 HAS SOUS 1818509 HAS SOUPS 1813938 WITH SCORE 1819155.196
AT ITER 9097 NEW BEST:: SOT 5975829 SOS 5221800 HAS SOPS 5213475 HAS SOUS 1816511 HAS SOUPS 1811880 WITH SCORE 1817101.8
AT ITER 9114 NEW BEST:: SOT 5975829 SOS 5223671 HAS SOPS 5215235 HAS SOUS 1816301 HAS SOUPS 1811682 WITH SCORE 1816905.671
AT ITER 9141 NEW BEST:: SOT 5975785 SOS 5223627 HAS SOPS 5215191 HAS SOUS 1816257 HAS SOUPS 1811638 WITH SCORE 1816861.627
AT ITER 9143 NEW BEST:: SOT 5975785 SOS 5223586 HAS SOPS 5215169 HAS SOUS 1815671 HAS SOUPS 1811065 WITH SCORE 1816288.586
AT ITER 9150 NEW BEST:: SOT 5975798 SOS 5223581 HAS SOPS 5215182 HAS SOUS 1814968 HAS SOUPS 1810380 WITH SCORE 1815603.581
AT ITER 9158 NEW BEST:: SOT 5975690 SOS 5223473 HAS SOPS 5215074 HAS SOUS 1814806 HAS SOUPS 1810218 WITH SCORE 1815441.473
AT ITER 9165 NEW BEST:: SOT 5975179 SOS 5222927 HAS SOPS 5214563 HAS SOUS 1814147 HAS SOUPS 1809594 WITH SCORE 1814816.927
AT ITER 9226 NEW BEST:: SOT 5967815 SOS 5215784 HAS SOPS 5207647 HAS SOUS 1809468 HAS SOUPS 1805142 WITH SCORE 1810357.784
AT ITER 9237 NEW BEST:: SOT 5967815 SOS 5217783 HAS SOPS 5208489 HAS SOUS 1809240 HAS SOUPS 1804928 WITH SCORE 1810145.783
AT ITER 9259 NEW BEST:: SOT 5967815 SOS 5215719 HAS SOPS 5206396 HAS SOUS 1809133 HAS SOUPS 1804821 WITH SCORE 1810036.719
AT ITER 9266 NEW BEST:: SOT 5967181 SOS 5215085 HAS SOPS 5205762 HAS SOUS 1807730 HAS SOUPS 1803418 WITH SCORE 1808633.085
AT ITER 9295 NEW BEST:: SOT 5967127 SOS 5215031 HAS SOPS 5205708 HAS SOUS 1807678 HAS SOUPS 1803366 WITH SCORE 1808581.031
AT ITER 9298 NEW BEST:: SOT 5967127 SOS 5208051 HAS SOPS 5198430 HAS SOUS 1807477 HAS SOUPS 1803165 WITH SCORE 1808373.051
AT ITER 9357 NEW BEST:: SOT 5966903 SOS 5207822 HAS SOPS 5198206 HAS SOUS 1807155 HAS SOUPS 1802848 WITH SCORE 1808055.822
AT ITER 9368 NEW BEST:: SOT 5966925 SOS 5207851 HAS SOPS 5198228 HAS SOUS 1807157 HAS SOUPS 1802843 WITH SCORE 1808050.851
AT ITER 9405 NEW BEST:: SOT 5966212 SOS 5207085 HAS SOPS 5197515 HAS SOUS 1806457 HAS SOUPS 1802196 WITH SCORE 1807403.085
AT ITER 9437 NEW BEST:: SOT 5966531 SOS 5207404 HAS SOPS 5197834 HAS SOUS 1806344 HAS SOUPS 1802083 WITH SCORE 1807290.404
AT ITER 9443 NEW BEST:: SOT 5966448 SOS 5207321 HAS SOPS 5197751 HAS SOUS 1806105 HAS SOUPS 1801844 WITH SCORE 1807051.321
AT ITER 9460 NEW BEST:: SOT 5966486 SOS 5207371 HAS SOPS 5197801 HAS SOUS 1805657 HAS SOUPS 1801396 WITH SCORE 1806603.371
AT ITER 9474 NEW BEST:: SOT 5966411 SOS 5207296 HAS SOPS 5197726 HAS SOUS 1805519 HAS SOUPS 1801258 WITH SCORE 1806465.296
AT ITER 9518 NEW BEST:: SOT 5965822 SOS 5206669 HAS SOPS 5197137 HAS SOUS 1804871 HAS SOUPS 1800648 WITH SCORE 1805854.669
AT ITER 9546 NEW BEST:: SOT 5965822 SOS 5208337 HAS SOPS 5198713 HAS SOUS 1804741 HAS SOUPS 1800494 WITH SCORE 1805702.337
AT ITER 9550 NEW BEST:: SOT 5965647 SOS 5208162 HAS SOPS 5198538 HAS SOUS 1804051 HAS SOUPS 1799804 WITH SCORE 1805012.162
AT ITER 9559 NEW BEST:: SOT 5965011 SOS 5207521 HAS SOPS 5197902 HAS SOUS 1803202 HAS SOUPS 1798960 WITH SCORE 1804167.521
AT ITER 9562 NEW BEST:: SOT 5963212 SOS 5205765 HAS SOPS 5196207 HAS SOUS 1802506 HAS SOUPS 1798325 WITH SCORE 1803530.765
AT ITER 9582 NEW BEST:: SOT 5962949 SOS 5205502 HAS SOPS 5195944 HAS SOUS 1802173 HAS SOUPS 1797992 WITH SCORE 1803197.502
AT ITER 9592 NEW BEST:: SOT 5962526 SOS 5205052 HAS SOPS 5195521 HAS SOUS 1800419 HAS SOUPS 1796265 WITH SCORE 1801470.052
AT ITER 9597 NEW BEST:: SOT 5961627 SOS 5204215 HAS SOPS 5194706 HAS SOUS 1799484 HAS SOUPS 1795352 WITH SCORE 1800556.215
AT ITER 9603 NEW BEST:: SOT 5961227 SOS 5203807 HAS SOPS 5194306 HAS SOUS 1798822 HAS SOUPS 1794698 WITH SCORE 1799901.807
AT ITER 9608 NEW BEST:: SOT 5961080 SOS 5203648 HAS SOPS 5194159 HAS SOUS 1798546 HAS SOUPS 1794434 WITH SCORE 1799637.648
AT ITER 9610 NEW BEST:: SOT 5962857 SOS 5205217 HAS SOPS 5195712 HAS SOUS 1797619 HAS SOUPS 1793491 WITH SCORE 1798696.217
AT ITER 9619 NEW BEST:: SOT 5962841 SOS 5205187 HAS SOPS 5195696 HAS SOUS 1797576 HAS SOUPS 1793462 WITH SCORE 1798667.187
AT ITER 9621 NEW BEST:: SOT 5962048 SOS 5204394 HAS SOPS 5194903 HAS SOUS 1796669 HAS SOUPS 1792555 WITH SCORE 1797759.394
AT ITER 9628 NEW BEST:: SOT 5960067 SOS 5202370 HAS SOPS 5192922 HAS SOUS 1793335 HAS SOUPS 1789264 WITH SCORE 1794466.37
AT ITER 9641 NEW BEST:: SOT 5959847 SOS 5202150 HAS SOPS 5192702 HAS SOUS 1793021 HAS SOUPS 1788950 WITH SCORE 1794152.15
AT ITER 9703 NEW BEST:: SOT 5959504 SOS 5201807 HAS SOPS 5192359 HAS SOUS 1792587 HAS SOUPS 1788516 WITH SCORE 1793717.807
AT ITER 9712 NEW BEST:: SOT 5956604 SOS 5198942 HAS SOPS 5189557 HAS SOUS 1790081 HAS SOUPS 1786073 WITH SCORE 1791271.942
AT ITER 9748 NEW BEST:: SOT 5956604 SOS 5198938 HAS SOPS 5189555 HAS SOUS 1789991 HAS SOUPS 1785985 WITH SCORE 1791183.938
AT ITER 9763 NEW BEST:: SOT 5956144 SOS 5198478 HAS SOPS 5189095 HAS SOUS 1789516 HAS SOUPS 1785510 WITH SCORE 1790708.478
AT ITER 9771 NEW BEST:: SOT 5956158 SOS 5199031 HAS SOPS 5189633 HAS SOUS 1789392 HAS SOUPS 1785386 WITH SCORE 1790585.031
AT ITER 9782 NEW BEST:: SOT 5956110 SOS 5197011 HAS SOPS 5187643 HAS SOUS 1789364 HAS SOUPS 1785358 WITH SCORE 1790555.011
AT ITER 9788 NEW BEST:: SOT 5953511 SOS 5194532 HAS SOPS 5185184 HAS SOUS 1786625 HAS SOUPS 1782639 WITH SCORE 1787833.532
AT ITER 9798 NEW BEST:: SOT 5953196 SOS 5194217 HAS SOPS 5184869 HAS SOUS 1786172 HAS SOUPS 1782186 WITH SCORE 1787380.217
AT ITER 9807 NEW BEST:: SOT 5949013 SOS 5190401 HAS SOPS 5181148 HAS SOUS 1784110 HAS SOUPS 1780219 WITH SCORE 1785409.401
AT ITER 9842 NEW BEST:: SOT 5949378 SOS 5190787 HAS SOPS 5181513 HAS SOUS 1783470 HAS SOUPS 1779558 WITH SCORE 1784748.787
AT ITER 9844 NEW BEST:: SOT 5949377 SOS 5190786 HAS SOPS 5181512 HAS SOUS 1783469 HAS SOUPS 1779557 WITH SCORE 1784747.786
AT ITER 9857 NEW BEST:: SOT 5949245 SOS 5190654 HAS SOPS 5181380 HAS SOUS 1783361 HAS SOUPS 1779449 WITH SCORE 1784639.654
AT ITER 9858 NEW BEST:: SOT 5949199 SOS 5190608 HAS SOPS 5181334 HAS SOUS 1782665 HAS SOUPS 1778753 WITH SCORE 1783943.608
AT ITER 9868 NEW BEST:: SOT 5948356 SOS 5189695 HAS SOPS 5180491 HAS SOUS 1781358 HAS SOUPS 1777516 WITH SCORE 1782705.695
AT ITER 9876 NEW BEST:: SOT 5947930 SOS 5189269 HAS SOPS 5180065 HAS SOUS 1780602 HAS SOUPS 1776760 WITH SCORE 1781949.269
AT ITER 9887 NEW BEST:: SOT 5947915 SOS 5189254 HAS SOPS 5180050 HAS SOUS 1780575 HAS SOUPS 1776733 WITH SCORE 1781922.254
AT ITER 9892 NEW BEST:: SOT 5947777 SOS 5189113 HAS SOPS 5179912 HAS SOUS 1780319 HAS SOUPS 1776480 WITH SCORE 1781669.113
AT ITER 9895 NEW BEST:: SOT 5947403 SOS 5188739 HAS SOPS 5179538 HAS SOUS 1779411 HAS SOUPS 1775572 WITH SCORE 1780760.739
AT ITER 9896 NEW BEST:: SOT 5947403 SOS 5190071 HAS SOPS 5180578 HAS SOUS 1779409 HAS SOUPS 1775569 WITH SCORE 1780759.071
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393232 kB
MemFree: 15220512 kB
After kill :
MemTotal: 16393232 kB
MemFree: 16035496 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="PhilosophersDyn-PT-20"
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 PhilosophersDyn-PT-20, 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 r299-tall-167873952800336"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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