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.r291-tall-167873943400792.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.........................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is PolyORBNT-PT-S10J80, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r291-tall-167873943400792
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 25M
-rw-r--r-- 1 mcc users 30K Feb 26 01:31 CTLCardinality.txt
-rw-r--r-- 1 mcc users 171K Feb 26 01:31 CTLCardinality.xml
-rw-r--r-- 1 mcc users 786K Feb 26 01:03 CTLFireability.txt
-rw-r--r-- 1 mcc users 3.0M Feb 26 01:03 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 34K Feb 25 16:36 LTLCardinality.txt
-rw-r--r-- 1 mcc users 96K Feb 25 16:36 LTLCardinality.xml
-rw-r--r-- 1 mcc users 46K Feb 25 16:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 181K Feb 25 16:36 LTLFireability.xml
-rw-r--r-- 1 mcc users 38K Feb 26 03:16 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 197K Feb 26 03:16 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 1.2M Feb 26 02:49 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 4.7M Feb 26 02:49 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 4.2K Feb 25 16:36 UpperBounds.txt
-rw-r--r-- 1 mcc users 8.0K Feb 25 16:36 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 7 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 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 1678818645244

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=PolyORBNT-PT-S10J80
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBNT (PT), instance S10J80
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 1614 places, 13500 transitions, 119759 arcs.
AT ITER 0 NEW BEST:: SOT 12553997 SOS 5906961 HAS SOPS 5906961 HAS SOUS 1871492 HAS SOUPS 1871492 WITH SCORE 1877398.961
AT ITER 1 NEW BEST:: SOT 12556267 SOS 5908989 HAS SOPS 5908989 HAS SOUS 1871402 HAS SOUPS 1871402 WITH SCORE 1877310.989
AT ITER 4 NEW BEST:: SOT 12556834 SOS 5909314 HAS SOPS 5909314 HAS SOUS 1869579 HAS SOUPS 1869579 WITH SCORE 1875488.314
AT ITER 5 NEW BEST:: SOT 12556834 SOS 5909315 HAS SOPS 5909315 HAS SOUS 1869578 HAS SOUPS 1869578 WITH SCORE 1875487.315
AT ITER 12 NEW BEST:: SOT 12558319 SOS 5910590 HAS SOPS 5910590 HAS SOUS 1868675 HAS SOUPS 1868675 WITH SCORE 1874585.59
AT ITER 23 NEW BEST:: SOT 12558072 SOS 5910343 HAS SOPS 5910343 HAS SOUS 1868428 HAS SOUPS 1868428 WITH SCORE 1874338.343
AT ITER 26 NEW BEST:: SOT 12558072 SOS 5910343 HAS SOPS 5910343 HAS SOUS 1867988 HAS SOUPS 1867988 WITH SCORE 1873898.343
AT ITER 31 NEW BEST:: SOT 12558040 SOS 5910247 HAS SOPS 5910247 HAS SOUS 1867316 HAS SOUPS 1867316 WITH SCORE 1873226.247
AT ITER 55 NEW BEST:: SOT 12558040 SOS 5910247 HAS SOPS 5910247 HAS SOUS 1867142 HAS SOUPS 1867142 WITH SCORE 1873052.247
AT ITER 65 NEW BEST:: SOT 12558040 SOS 5910247 HAS SOPS 5910247 HAS SOUS 1866744 HAS SOUPS 1866744 WITH SCORE 1872654.247
AT ITER 66 NEW BEST:: SOT 12557548 SOS 5909755 HAS SOPS 5909755 HAS SOUS 1866252 HAS SOUPS 1866252 WITH SCORE 1872161.755
AT ITER 70 NEW BEST:: SOT 12557428 SOS 5909393 HAS SOPS 5909393 HAS SOUS 1863712 HAS SOUPS 1863712 WITH SCORE 1869621.393
AT ITER 88 NEW BEST:: SOT 12557278 SOS 5909001 HAS SOPS 5909001 HAS SOUS 1861142 HAS SOUPS 1861142 WITH SCORE 1867051.001
AT ITER 102 NEW BEST:: SOT 12557278 SOS 5909001 HAS SOPS 5909001 HAS SOUS 1860676 HAS SOUPS 1860676 WITH SCORE 1866585.001
AT ITER 104 NEW BEST:: SOT 12557142 SOS 5909085 HAS SOPS 5909085 HAS SOUS 1860672 HAS SOUPS 1860672 WITH SCORE 1866581.085
AT ITER 108 NEW BEST:: SOT 12557089 SOS 5909032 HAS SOPS 5909032 HAS SOUS 1860139 HAS SOUPS 1860139 WITH SCORE 1866048.032
AT ITER 112 NEW BEST:: SOT 12556834 SOS 5908547 HAS SOPS 5908547 HAS SOUS 1857584 HAS SOUPS 1857584 WITH SCORE 1863492.547
AT ITER 114 NEW BEST:: SOT 12556834 SOS 5908305 HAS SOPS 5908305 HAS SOUS 1855164 HAS SOUPS 1855164 WITH SCORE 1861072.305
AT ITER 116 NEW BEST:: SOT 12556668 SOS 5908139 HAS SOPS 5908139 HAS SOUS 1854998 HAS SOUPS 1854998 WITH SCORE 1860906.139
AT ITER 118 NEW BEST:: SOT 12556323 SOS 5907794 HAS SOPS 5907794 HAS SOUS 1854653 HAS SOUPS 1854653 WITH SCORE 1860560.794
AT ITER 119 NEW BEST:: SOT 12556280 SOS 5907509 HAS SOPS 5907509 HAS SOUS 1852432 HAS SOUPS 1852432 WITH SCORE 1858339.509
AT ITER 137 NEW BEST:: SOT 12556239 SOS 5907468 HAS SOPS 5907468 HAS SOUS 1852391 HAS SOUPS 1852391 WITH SCORE 1858298.468
AT ITER 153 NEW BEST:: SOT 12555924 SOS 5907153 HAS SOPS 5907153 HAS SOUS 1852076 HAS SOUPS 1852076 WITH SCORE 1857983.153
AT ITER 155 NEW BEST:: SOT 12556840 SOS 5907827 HAS SOPS 5907827 HAS SOUS 1850608 HAS SOUPS 1850608 WITH SCORE 1856515.827
AT ITER 161 NEW BEST:: SOT 12556370 SOS 5907115 HAS SOPS 5907115 HAS SOUS 1847718 HAS SOUPS 1847718 WITH SCORE 1853625.115
AT ITER 169 NEW BEST:: SOT 12557956 SOS 5908459 HAS SOPS 5908459 HAS SOUS 1847346 HAS SOUPS 1847346 WITH SCORE 1853254.459
AT ITER 174 NEW BEST:: SOT 12557689 SOS 5908192 HAS SOPS 5908192 HAS SOUS 1846813 HAS SOUPS 1846813 WITH SCORE 1852721.192
AT ITER 175 NEW BEST:: SOT 12557689 SOS 5908124 HAS SOPS 5908124 HAS SOUS 1844567 HAS SOUPS 1844567 WITH SCORE 1850475.124
AT ITER 179 NEW BEST:: SOT 12557797 SOS 5907987 HAS SOPS 5907987 HAS SOUS 1842270 HAS SOUPS 1842270 WITH SCORE 1848177.987
AT ITER 180 NEW BEST:: SOT 12557736 SOS 5907926 HAS SOPS 5907926 HAS SOUS 1842209 HAS SOUPS 1842209 WITH SCORE 1848116.926
AT ITER 204 NEW BEST:: SOT 12557536 SOS 5907484 HAS SOPS 5907484 HAS SOUS 1839589 HAS SOUPS 1839589 WITH SCORE 1845496.484
AT ITER 211 NEW BEST:: SOT 12557451 SOS 5907399 HAS SOPS 5907399 HAS SOUS 1839504 HAS SOUPS 1839504 WITH SCORE 1845411.399
AT ITER 219 NEW BEST:: SOT 12557512 SOS 5907107 HAS SOPS 5907107 HAS SOUS 1836388 HAS SOUPS 1836388 WITH SCORE 1842295.107
AT ITER 223 NEW BEST:: SOT 12557512 SOS 5907107 HAS SOPS 5907107 HAS SOUS 1835915 HAS SOUPS 1835915 WITH SCORE 1841822.107
AT ITER 225 NEW BEST:: SOT 12556744 SOS 5906165 HAS SOPS 5906165 HAS SOUS 1835037 HAS SOUPS 1835037 WITH SCORE 1840943.165
AT ITER 226 NEW BEST:: SOT 12556744 SOS 5906165 HAS SOPS 5906165 HAS SOUS 1834818 HAS SOUPS 1834818 WITH SCORE 1840724.165
AT ITER 230 NEW BEST:: SOT 12556744 SOS 5906131 HAS SOPS 5906131 HAS SOUS 1834512 HAS SOUPS 1834512 WITH SCORE 1840418.131
AT ITER 231 NEW BEST:: SOT 12557553 SOS 5906271 HAS SOPS 5906271 HAS SOUS 1828676 HAS SOUPS 1828676 WITH SCORE 1834582.271
AT ITER 249 NEW BEST:: SOT 12557553 SOS 5906271 HAS SOPS 5906271 HAS SOUS 1828386 HAS SOUPS 1828386 WITH SCORE 1834292.271
AT ITER 256 NEW BEST:: SOT 12557553 SOS 5906206 HAS SOPS 5906206 HAS SOUS 1827736 HAS SOUPS 1827736 WITH SCORE 1833642.206
AT ITER 263 NEW BEST:: SOT 12557301 SOS 5905954 HAS SOPS 5905954 HAS SOUS 1827484 HAS SOUPS 1827484 WITH SCORE 1833389.954
AT ITER 267 NEW BEST:: SOT 12557301 SOS 5905954 HAS SOPS 5905954 HAS SOUS 1827258 HAS SOUPS 1827258 WITH SCORE 1833163.954
AT ITER 274 NEW BEST:: SOT 12557301 SOS 5905837 HAS SOPS 5905837 HAS SOUS 1826088 HAS SOUPS 1826088 WITH SCORE 1831993.837
AT ITER 278 NEW BEST:: SOT 12557301 SOS 5906128 HAS SOPS 5906128 HAS SOUS 1825899 HAS SOUPS 1825899 WITH SCORE 1831805.128
AT ITER 280 NEW BEST:: SOT 12557301 SOS 5906128 HAS SOPS 5906128 HAS SOUS 1825659 HAS SOUPS 1825659 WITH SCORE 1831565.128
AT ITER 282 NEW BEST:: SOT 12264053 SOS 5856371 HAS SOPS 5856371 HAS SOUS 1534214 HAS SOUPS 1534214 WITH SCORE 1540070.371
AT ITER 312 NEW BEST:: SOT 12264003 SOS 5856321 HAS SOPS 5856321 HAS SOUS 1533714 HAS SOUPS 1533714 WITH SCORE 1539570.321
AT ITER 319 NEW BEST:: SOT 12263922 SOS 5856240 HAS SOPS 5856240 HAS SOUS 1533633 HAS SOUPS 1533633 WITH SCORE 1539489.24
AT ITER 331 NEW BEST:: SOT 12263725 SOS 5856043 HAS SOPS 5856043 HAS SOUS 1533436 HAS SOUPS 1533436 WITH SCORE 1539292.043
AT ITER 333 NEW BEST:: SOT 12263315 SOS 5855589 HAS SOPS 5855589 HAS SOUS 1531776 HAS SOUPS 1531776 WITH SCORE 1537631.589
AT ITER 339 NEW BEST:: SOT 12263158 SOS 5855432 HAS SOPS 5855432 HAS SOUS 1531619 HAS SOUPS 1531619 WITH SCORE 1537474.432
AT ITER 355 NEW BEST:: SOT 12263158 SOS 5855285 HAS SOPS 5855285 HAS SOUS 1529213 HAS SOUPS 1529213 WITH SCORE 1535068.285
AT ITER 359 NEW BEST:: SOT 12263156 SOS 5855283 HAS SOPS 5855283 HAS SOUS 1529209 HAS SOUPS 1529209 WITH SCORE 1535064.283
AT ITER 363 NEW BEST:: SOT 12263152 SOS 5855279 HAS SOPS 5855279 HAS SOUS 1529205 HAS SOUPS 1529205 WITH SCORE 1535060.279
AT ITER 368 NEW BEST:: SOT 12262902 SOS 5855029 HAS SOPS 5855029 HAS SOUS 1528955 HAS SOUPS 1528955 WITH SCORE 1534810.029
AT ITER 370 NEW BEST:: SOT 12262834 SOS 5854961 HAS SOPS 5854961 HAS SOUS 1528887 HAS SOUPS 1528887 WITH SCORE 1534741.961
AT ITER 371 NEW BEST:: SOT 12263464 SOS 5855447 HAS SOPS 5855447 HAS SOUS 1527437 HAS SOUPS 1527437 WITH SCORE 1533292.447
AT ITER 375 NEW BEST:: SOT 12263265 SOS 5855125 HAS SOPS 5855125 HAS SOUS 1525198 HAS SOUPS 1525198 WITH SCORE 1531053.125
AT ITER 398 NEW BEST:: SOT 12263110 SOS 5854815 HAS SOPS 5854815 HAS SOUS 1522683 HAS SOUPS 1522683 WITH SCORE 1528537.815
AT ITER 402 NEW BEST:: SOT 12264792 SOS 5856336 HAS SOPS 5856336 HAS SOUS 1522463 HAS SOUPS 1522463 WITH SCORE 1528319.336
AT ITER 411 NEW BEST:: SOT 12264792 SOS 5856336 HAS SOPS 5856336 HAS SOUS 1521999 HAS SOUPS 1521999 WITH SCORE 1527855.336
AT ITER 428 NEW BEST:: SOT 12264752 SOS 5856296 HAS SOPS 5856296 HAS SOUS 1521923 HAS SOUPS 1521923 WITH SCORE 1527779.296
AT ITER 431 NEW BEST:: SOT 12264500 SOS 5856044 HAS SOPS 5856044 HAS SOUS 1521671 HAS SOUPS 1521671 WITH SCORE 1527527.044
AT ITER 437 NEW BEST:: SOT 12265250 SOS 5856794 HAS SOPS 5856794 HAS SOUS 1519126 HAS SOUPS 1519126 WITH SCORE 1524982.794
AT ITER 442 NEW BEST:: SOT 12265188 SOS 5856732 HAS SOPS 5856732 HAS SOUS 1519064 HAS SOUPS 1519064 WITH SCORE 1524920.732
AT ITER 443 NEW BEST:: SOT 12264696 SOS 5856240 HAS SOPS 5856240 HAS SOUS 1518572 HAS SOUPS 1518572 WITH SCORE 1524428.24
AT ITER 444 NEW BEST:: SOT 12264566 SOS 5856016 HAS SOPS 5856016 HAS SOUS 1517502 HAS SOUPS 1517502 WITH SCORE 1523358.016
AT ITER 449 NEW BEST:: SOT 11187797 SOS 4779655 HAS SOPS 4779655 HAS SOUS 1419113 HAS SOUPS 1419113 WITH SCORE 1423892.655
AT ITER 450 NEW BEST:: SOT 11187560 SOS 4779418 HAS SOPS 4779418 HAS SOUS 1418943 HAS SOUPS 1418943 WITH SCORE 1423722.418
AT ITER 451 NEW BEST:: SOT 11187341 SOS 4779199 HAS SOPS 4779199 HAS SOUS 1418724 HAS SOUPS 1418724 WITH SCORE 1423503.199
AT ITER 455 NEW BEST:: SOT 11187183 SOS 4779041 HAS SOPS 4779041 HAS SOUS 1418566 HAS SOUPS 1418566 WITH SCORE 1423345.041
AT ITER 464 NEW BEST:: SOT 11187121 SOS 4779017 HAS SOPS 4779017 HAS SOUS 1418504 HAS SOUPS 1418504 WITH SCORE 1423283.017
AT ITER 465 NEW BEST:: SOT 11187121 SOS 4779017 HAS SOPS 4779017 HAS SOUS 1418398 HAS SOUPS 1418398 WITH SCORE 1423177.017
AT ITER 466 NEW BEST:: SOT 11188239 SOS 4780084 HAS SOPS 4780084 HAS SOUS 1417270 HAS SOUPS 1417270 WITH SCORE 1422050.084
AT ITER 471 NEW BEST:: SOT 11187565 SOS 4779410 HAS SOPS 4779410 HAS SOUS 1416330 HAS SOUPS 1416330 WITH SCORE 1421109.41
AT ITER 472 NEW BEST:: SOT 11188901 SOS 4780585 HAS SOPS 4780585 HAS SOUS 1415274 HAS SOUPS 1415274 WITH SCORE 1420054.585
AT ITER 487 NEW BEST:: SOT 11188623 SOS 4780307 HAS SOPS 4780307 HAS SOUS 1414996 HAS SOUPS 1414996 WITH SCORE 1419776.307
AT ITER 492 NEW BEST:: SOT 11188310 SOS 4779994 HAS SOPS 4779994 HAS SOUS 1414683 HAS SOUPS 1414683 WITH SCORE 1419462.994
AT ITER 493 NEW BEST:: SOT 11187572 SOS 4779256 HAS SOPS 4779256 HAS SOUS 1413831 HAS SOUPS 1413831 WITH SCORE 1418610.256
AT ITER 495 NEW BEST:: SOT 11187389 SOS 4779073 HAS SOPS 4779073 HAS SOUS 1411378 HAS SOUPS 1411378 WITH SCORE 1416157.073
AT ITER 501 NEW BEST:: SOT 11186621 SOS 4778305 HAS SOPS 4778305 HAS SOUS 1410610 HAS SOUPS 1410610 WITH SCORE 1415388.305
AT ITER 502 NEW BEST:: SOT 11186153 SOS 4777837 HAS SOPS 4777837 HAS SOUS 1410142 HAS SOUPS 1410142 WITH SCORE 1414919.837
AT ITER 504 NEW BEST:: SOT 11186048 SOS 4777805 HAS SOPS 4777805 HAS SOUS 1410055 HAS SOUPS 1410055 WITH SCORE 1414832.805
AT ITER 516 NEW BEST:: SOT 11185044 SOS 4776801 HAS SOPS 4776801 HAS SOUS 1409051 HAS SOUPS 1409051 WITH SCORE 1413827.801
AT ITER 523 NEW BEST:: SOT 11185044 SOS 4776801 HAS SOPS 4776801 HAS SOUS 1408745 HAS SOUPS 1408745 WITH SCORE 1413521.801
AT ITER 530 NEW BEST:: SOT 11184856 SOS 4776613 HAS SOPS 4776613 HAS SOUS 1408557 HAS SOUPS 1408557 WITH SCORE 1413333.613
AT ITER 531 NEW BEST:: SOT 11184397 SOS 4776154 HAS SOPS 4776154 HAS SOUS 1408098 HAS SOUPS 1408098 WITH SCORE 1412874.154
AT ITER 533 NEW BEST:: SOT 11184097 SOS 4775854 HAS SOPS 4775854 HAS SOUS 1407798 HAS SOUPS 1407798 WITH SCORE 1412573.854
AT ITER 536 NEW BEST:: SOT 11185733 SOS 4777329 HAS SOPS 4777329 HAS SOUS 1407272 HAS SOUPS 1407272 WITH SCORE 1412049.329
AT ITER 537 NEW BEST:: SOT 11185604 SOS 4777200 HAS SOPS 4777200 HAS SOUS 1405443 HAS SOUPS 1405443 WITH SCORE 1410220.2
AT ITER 538 NEW BEST:: SOT 11185274 SOS 4776870 HAS SOPS 4776870 HAS SOUS 1405113 HAS SOUPS 1405113 WITH SCORE 1409889.87
AT ITER 539 NEW BEST:: SOT 11185232 SOS 4776807 HAS SOPS 4776807 HAS SOUS 1404861 HAS SOUPS 1404861 WITH SCORE 1409637.807
AT ITER 545 NEW BEST:: SOT 11185232 SOS 4776807 HAS SOPS 4776807 HAS SOUS 1404767 HAS SOUPS 1404767 WITH SCORE 1409543.807
AT ITER 549 NEW BEST:: SOT 11184940 SOS 4776354 HAS SOPS 4776354 HAS SOUS 1402055 HAS SOUPS 1402055 WITH SCORE 1406831.354
AT ITER 559 NEW BEST:: SOT 11183756 SOS 4775170 HAS SOPS 4775170 HAS SOUS 1400871 HAS SOUPS 1400871 WITH SCORE 1405646.17
AT ITER 577 NEW BEST:: SOT 11183658 SOS 4775072 HAS SOPS 4775072 HAS SOUS 1400773 HAS SOUPS 1400773 WITH SCORE 1405548.072
AT ITER 578 NEW BEST:: SOT 11183568 SOS 4774982 HAS SOPS 4774982 HAS SOUS 1400683 HAS SOUPS 1400683 WITH SCORE 1405457.982
AT ITER 588 NEW BEST:: SOT 11183824 SOS 4774982 HAS SOPS 4774982 HAS SOUS 1398379 HAS SOUPS 1398379 WITH SCORE 1403153.982
AT ITER 594 NEW BEST:: SOT 11183824 SOS 4774982 HAS SOPS 4774982 HAS SOUS 1397938 HAS SOUPS 1397938 WITH SCORE 1402712.982
AT ITER 599 NEW BEST:: SOT 11182603 SOS 4773761 HAS SOPS 4773761 HAS SOUS 1396717 HAS SOUPS 1396717 WITH SCORE 1401490.761
AT ITER 606 NEW BEST:: SOT 11182430 SOS 4773588 HAS SOPS 4773588 HAS SOUS 1396544 HAS SOUPS 1396544 WITH SCORE 1401317.588
AT ITER 615 NEW BEST:: SOT 11181966 SOS 4773099 HAS SOPS 4773099 HAS SOUS 1393852 HAS SOUPS 1393852 WITH SCORE 1398625.099
AT ITER 616 NEW BEST:: SOT 11181889 SOS 4773022 HAS SOPS 4773022 HAS SOUS 1393795 HAS SOUPS 1393795 WITH SCORE 1398568.022
AT ITER 620 NEW BEST:: SOT 11181815 SOS 4772948 HAS SOPS 4772948 HAS SOUS 1393253 HAS SOUPS 1393253 WITH SCORE 1398025.948
AT ITER 628 NEW BEST:: SOT 11181280 SOS 4772413 HAS SOPS 4772413 HAS SOUS 1392718 HAS SOUPS 1392718 WITH SCORE 1397490.413
AT ITER 629 NEW BEST:: SOT 11181280 SOS 4772413 HAS SOPS 4772413 HAS SOUS 1392245 HAS SOUPS 1392245 WITH SCORE 1397017.413
AT ITER 642 NEW BEST:: SOT 11181384 SOS 4772159 HAS SOPS 4772159 HAS SOUS 1383624 HAS SOUPS 1383624 WITH SCORE 1388396.159
AT ITER 648 NEW BEST:: SOT 11181336 SOS 4772111 HAS SOPS 4772111 HAS SOUS 1383576 HAS SOUPS 1383576 WITH SCORE 1388348.111
AT ITER 652 NEW BEST:: SOT 11181336 SOS 4772005 HAS SOPS 4772005 HAS SOUS 1383189 HAS SOUPS 1383189 WITH SCORE 1387961.005
AT ITER 653 NEW BEST:: SOT 11181316 SOS 4771985 HAS SOPS 4771985 HAS SOUS 1383149 HAS SOUPS 1383149 WITH SCORE 1387920.985
AT ITER 659 NEW BEST:: SOT 11178868 SOS 4769509 HAS SOPS 4769509 HAS SOUS 1374321 HAS SOUPS 1374321 WITH SCORE 1379090.509
AT ITER 660 NEW BEST:: SOT 11178868 SOS 4769509 HAS SOPS 4769509 HAS SOUS 1374109 HAS SOUPS 1374109 WITH SCORE 1378878.509
AT ITER 663 NEW BEST:: SOT 11179175 SOS 4769119 HAS SOPS 4769119 HAS SOUS 1366855 HAS SOUPS 1366855 WITH SCORE 1371624.119
AT ITER 672 NEW BEST:: SOT 11179175 SOS 4769097 HAS SOPS 4769097 HAS SOUS 1366635 HAS SOUPS 1366635 WITH SCORE 1371404.097
AT ITER 675 NEW BEST:: SOT 11179183 SOS 4769702 HAS SOPS 4769702 HAS SOUS 1366442 HAS SOUPS 1366442 WITH SCORE 1371211.702
AT ITER 681 NEW BEST:: SOT 11179093 SOS 4769612 HAS SOPS 4769612 HAS SOUS 1366352 HAS SOUPS 1366352 WITH SCORE 1371121.612
AT ITER 683 NEW BEST:: SOT 11179087 SOS 4769606 HAS SOPS 4769606 HAS SOUS 1366346 HAS SOUPS 1366346 WITH SCORE 1371115.606
AT ITER 684 NEW BEST:: SOT 11178940 SOS 4769459 HAS SOPS 4769459 HAS SOUS 1365389 HAS SOUPS 1365389 WITH SCORE 1370158.459
AT ITER 685 NEW BEST:: SOT 11178706 SOS 4769225 HAS SOPS 4769225 HAS SOUS 1365155 HAS SOUPS 1365155 WITH SCORE 1369924.225
AT ITER 688 NEW BEST:: SOT 11178706 SOS 4769225 HAS SOPS 4769225 HAS SOUS 1365113 HAS SOUPS 1365113 WITH SCORE 1369882.225
AT ITER 690 NEW BEST:: SOT 11178706 SOS 4769225 HAS SOPS 4769225 HAS SOUS 1364660 HAS SOUPS 1364660 WITH SCORE 1369429.225
AT ITER 692 NEW BEST:: SOT 11178694 SOS 4769213 HAS SOPS 4769213 HAS SOUS 1364648 HAS SOUPS 1364648 WITH SCORE 1369417.213
AT ITER 727 NEW BEST:: SOT 11178702 SOS 4769221 HAS SOPS 4769221 HAS SOUS 1364516 HAS SOUPS 1364516 WITH SCORE 1369285.221
AT ITER 745 NEW BEST:: SOT 11178014 SOS 4768533 HAS SOPS 4768533 HAS SOUS 1363828 HAS SOUPS 1363828 WITH SCORE 1368596.533
AT ITER 747 NEW BEST:: SOT 11178014 SOS 4768533 HAS SOPS 4768533 HAS SOUS 1363428 HAS SOUPS 1363428 WITH SCORE 1368196.533
AT ITER 752 NEW BEST:: SOT 11177870 SOS 4768389 HAS SOPS 4768389 HAS SOUS 1363284 HAS SOUPS 1363284 WITH SCORE 1368052.389
AT ITER 754 NEW BEST:: SOT 11177739 SOS 4768258 HAS SOPS 4768258 HAS SOUS 1363279 HAS SOUPS 1363279 WITH SCORE 1368047.258
AT ITER 770 NEW BEST:: SOT 11177580 SOS 4768557 HAS SOPS 4768557 HAS SOUS 1363082 HAS SOUPS 1363082 WITH SCORE 1367850.557
AT ITER 772 NEW BEST:: SOT 11177689 SOS 4768145 HAS SOPS 4768145 HAS SOUS 1362901 HAS SOUPS 1362901 WITH SCORE 1367669.145
AT ITER 773 NEW BEST:: SOT 11177655 SOS 4768111 HAS SOPS 4768111 HAS SOUS 1362867 HAS SOUPS 1362867 WITH SCORE 1367635.111
AT ITER 775 NEW BEST:: SOT 11177055 SOS 4767511 HAS SOPS 4767511 HAS SOUS 1362573 HAS SOUPS 1362573 WITH SCORE 1367340.511
AT ITER 777 NEW BEST:: SOT 11176991 SOS 4767447 HAS SOPS 4767447 HAS SOUS 1362509 HAS SOUPS 1362509 WITH SCORE 1367276.447
AT ITER 779 NEW BEST:: SOT 11176874 SOS 4767330 HAS SOPS 4767330 HAS SOUS 1362392 HAS SOUPS 1362392 WITH SCORE 1367159.33
AT ITER 780 NEW BEST:: SOT 11176832 SOS 4767316 HAS SOPS 4767316 HAS SOUS 1362350 HAS SOUPS 1362350 WITH SCORE 1367117.316
AT ITER 783 NEW BEST:: SOT 11176832 SOS 4767316 HAS SOPS 4767316 HAS SOUS 1362074 HAS SOUPS 1362074 WITH SCORE 1366841.316
AT ITER 784 NEW BEST:: SOT 11176784 SOS 4767268 HAS SOPS 4767268 HAS SOUS 1362026 HAS SOUPS 1362026 WITH SCORE 1366793.268
AT ITER 792 NEW BEST:: SOT 11176928 SOS 4767634 HAS SOPS 4767634 HAS SOUS 1361810 HAS SOUPS 1361810 WITH SCORE 1366577.634
AT ITER 793 NEW BEST:: SOT 11177401 SOS 4767946 HAS SOPS 4767946 HAS SOUS 1360328 HAS SOUPS 1360328 WITH SCORE 1365095.946
AT ITER 798 NEW BEST:: SOT 11177039 SOS 4767584 HAS SOPS 4767584 HAS SOUS 1355373 HAS SOUPS 1355373 WITH SCORE 1360140.584
AT ITER 799 NEW BEST:: SOT 11177039 SOS 4767584 HAS SOPS 4767584 HAS SOUS 1355186 HAS SOUPS 1355186 WITH SCORE 1359953.584
AT ITER 801 NEW BEST:: SOT 11176961 SOS 4767506 HAS SOPS 4767506 HAS SOUS 1355108 HAS SOUPS 1355108 WITH SCORE 1359875.506
AT ITER 803 NEW BEST:: SOT 11176649 SOS 4767194 HAS SOPS 4767194 HAS SOUS 1354796 HAS SOUPS 1354796 WITH SCORE 1359563.194
AT ITER 815 NEW BEST:: SOT 11176603 SOS 4767148 HAS SOPS 4767148 HAS SOUS 1354750 HAS SOUPS 1354750 WITH SCORE 1359517.148
AT ITER 824 NEW BEST:: SOT 11176603 SOS 4767148 HAS SOPS 4767148 HAS SOUS 1354407 HAS SOUPS 1354407 WITH SCORE 1359174.148
AT ITER 828 NEW BEST:: SOT 11176603 SOS 4767132 HAS SOPS 4767132 HAS SOUS 1354375 HAS SOUPS 1354375 WITH SCORE 1359142.132
AT ITER 842 NEW BEST:: SOT 11176579 SOS 4766581 HAS SOPS 4766581 HAS SOUS 1348413 HAS SOUPS 1348413 WITH SCORE 1353179.581
AT ITER 843 NEW BEST:: SOT 11176746 SOS 4766671 HAS SOPS 4766671 HAS SOUS 1348390 HAS SOUPS 1348390 WITH SCORE 1353156.671
AT ITER 846 NEW BEST:: SOT 11176135 SOS 4766060 HAS SOPS 4766060 HAS SOUS 1347980 HAS SOUPS 1347980 WITH SCORE 1352746.06
AT ITER 850 NEW BEST:: SOT 11175800 SOS 4765725 HAS SOPS 4765725 HAS SOUS 1346160 HAS SOUPS 1346160 WITH SCORE 1350925.725
AT ITER 858 NEW BEST:: SOT 11175536 SOS 4765300 HAS SOPS 4765300 HAS SOUS 1343476 HAS SOUPS 1343476 WITH SCORE 1348241.3
AT ITER 869 NEW BEST:: SOT 11175269 SOS 4765033 HAS SOPS 4765033 HAS SOUS 1343209 HAS SOUPS 1343209 WITH SCORE 1347974.033
AT ITER 870 NEW BEST:: SOT 11174649 SOS 4764413 HAS SOPS 4764413 HAS SOUS 1342406 HAS SOUPS 1342406 WITH SCORE 1347170.413
AT ITER 896 NEW BEST:: SOT 11171412 SOS 4761176 HAS SOPS 4761176 HAS SOUS 1339169 HAS SOUPS 1339169 WITH SCORE 1343930.176
AT ITER 914 NEW BEST:: SOT 11170249 SOS 4760013 HAS SOPS 4760013 HAS SOUS 1338006 HAS SOUPS 1338006 WITH SCORE 1342766.013
AT ITER 919 NEW BEST:: SOT 11169732 SOS 4759335 HAS SOPS 4759335 HAS SOUS 1331600 HAS SOUPS 1331600 WITH SCORE 1336359.335
AT ITER 923 NEW BEST:: SOT 11169482 SOS 4759085 HAS SOPS 4759085 HAS SOUS 1327197 HAS SOUPS 1327197 WITH SCORE 1331956.085
AT ITER 940 NEW BEST:: SOT 11169460 SOS 4759081 HAS SOPS 4759081 HAS SOUS 1327175 HAS SOUPS 1327175 WITH SCORE 1331934.081
AT ITER 948 NEW BEST:: SOT 11169389 SOS 4759010 HAS SOPS 4759010 HAS SOUS 1327096 HAS SOUPS 1327096 WITH SCORE 1331855.01
AT ITER 953 NEW BEST:: SOT 11169131 SOS 4758591 HAS SOPS 4758591 HAS SOUS 1324418 HAS SOUPS 1324418 WITH SCORE 1329176.591
AT ITER 954 NEW BEST:: SOT 11168652 SOS 4758112 HAS SOPS 4758112 HAS SOUS 1323939 HAS SOUPS 1323939 WITH SCORE 1328697.112
AT ITER 963 NEW BEST:: SOT 11168652 SOS 4758112 HAS SOPS 4758112 HAS SOUS 1323773 HAS SOUPS 1323773 WITH SCORE 1328531.112
AT ITER 970 NEW BEST:: SOT 11168702 SOS 4758169 HAS SOPS 4758169 HAS SOUS 1323303 HAS SOUPS 1323303 WITH SCORE 1328061.169
AT ITER 973 NEW BEST:: SOT 11168714 SOS 4760941 HAS SOPS 4760941 HAS SOUS 1323111 HAS SOUPS 1323111 WITH SCORE 1327871.941
AT ITER 982 NEW BEST:: SOT 11167410 SOS 4759637 HAS SOPS 4759637 HAS SOUS 1321752 HAS SOUPS 1321752 WITH SCORE 1326511.637
AT ITER 995 NEW BEST:: SOT 11169587 SOS 4761814 HAS SOPS 4761814 HAS SOUS 1321616 HAS SOUPS 1321616 WITH SCORE 1326377.814
AT ITER 1002 NEW BEST:: SOT 11169488 SOS 4761715 HAS SOPS 4761715 HAS SOUS 1321517 HAS SOUPS 1321517 WITH SCORE 1326278.715
AT ITER 1008 NEW BEST:: SOT 11170986 SOS 4763052 HAS SOPS 4763052 HAS SOUS 1321019 HAS SOUPS 1321019 WITH SCORE 1325782.052
AT ITER 1012 NEW BEST:: SOT 11170933 SOS 4763027 HAS SOPS 4763027 HAS SOUS 1318977 HAS SOUPS 1318977 WITH SCORE 1323740.027
AT ITER 1032 NEW BEST:: SOT 11170417 SOS 4762511 HAS SOPS 4762511 HAS SOUS 1318461 HAS SOUPS 1318461 WITH SCORE 1323223.511
AT ITER 1033 NEW BEST:: SOT 11170194 SOS 4762167 HAS SOPS 4762167 HAS SOUS 1316218 HAS SOUPS 1316218 WITH SCORE 1320980.167
AT ITER 1034 NEW BEST:: SOT 11170031 SOS 4762004 HAS SOPS 4762004 HAS SOUS 1315395 HAS SOUPS 1315395 WITH SCORE 1320157.004
AT ITER 1040 NEW BEST:: SOT 11169974 SOS 4762004 HAS SOPS 4762004 HAS SOUS 1315389 HAS SOUPS 1315389 WITH SCORE 1320151.004
AT ITER 1042 NEW BEST:: SOT 11170891 SOS 4762921 HAS SOPS 4762921 HAS SOUS 1314066 HAS SOUPS 1314066 WITH SCORE 1318828.921
AT ITER 1043 NEW BEST:: SOT 11170891 SOS 4762921 HAS SOPS 4762921 HAS SOUS 1313666 HAS SOUPS 1313666 WITH SCORE 1318428.921
AT ITER 1048 NEW BEST:: SOT 11170885 SOS 4762915 HAS SOPS 4762915 HAS SOUS 1313554 HAS SOUPS 1313554 WITH SCORE 1318316.915
AT ITER 1056 NEW BEST:: SOT 11171100 SOS 4763130 HAS SOPS 4763130 HAS SOUS 1312959 HAS SOUPS 1312959 WITH SCORE 1317722.13
AT ITER 1064 NEW BEST:: SOT 11170724 SOS 4762754 HAS SOPS 4762754 HAS SOUS 1312583 HAS SOUPS 1312583 WITH SCORE 1317345.754
AT ITER 1065 NEW BEST:: SOT 11170571 SOS 4762294 HAS SOPS 4762294 HAS SOUS 1312123 HAS SOUPS 1312123 WITH SCORE 1316885.294
AT ITER 1067 NEW BEST:: SOT 11170191 SOS 4761914 HAS SOPS 4761914 HAS SOUS 1311331 HAS SOUPS 1311331 WITH SCORE 1316092.914
AT ITER 1072 NEW BEST:: SOT 11170059 SOS 4761782 HAS SOPS 4761782 HAS SOUS 1311199 HAS SOUPS 1311199 WITH SCORE 1315960.782
AT ITER 1082 NEW BEST:: SOT 11170010 SOS 4761733 HAS SOPS 4761733 HAS SOUS 1311150 HAS SOUPS 1311150 WITH SCORE 1315911.733
AT ITER 1086 NEW BEST:: SOT 11169859 SOS 4761582 HAS SOPS 4761582 HAS SOUS 1310999 HAS SOUPS 1310999 WITH SCORE 1315760.582
AT ITER 1090 NEW BEST:: SOT 11169344 SOS 4760906 HAS SOPS 4760906 HAS SOUS 1310323 HAS SOUPS 1310323 WITH SCORE 1315083.906
AT ITER 1094 NEW BEST:: SOT 11169107 SOS 4760669 HAS SOPS 4760669 HAS SOUS 1310086 HAS SOUPS 1310086 WITH SCORE 1314846.669
AT ITER 1101 NEW BEST:: SOT 11167921 SOS 4759483 HAS SOPS 4759483 HAS SOUS 1302970 HAS SOUPS 1302970 WITH SCORE 1307729.483
AT ITER 1122 NEW BEST:: SOT 11167865 SOS 4759427 HAS SOPS 4759427 HAS SOUS 1302886 HAS SOUPS 1302886 WITH SCORE 1307645.427
AT ITER 1134 NEW BEST:: SOT 11167777 SOS 4759420 HAS SOPS 4759420 HAS SOUS 1302838 HAS SOUPS 1302838 WITH SCORE 1307597.42
AT ITER 1135 NEW BEST:: SOT 11167632 SOS 4758579 HAS SOPS 4758579 HAS SOUS 1302208 HAS SOUPS 1302208 WITH SCORE 1306966.579
AT ITER 1138 NEW BEST:: SOT 11167378 SOS 4758325 HAS SOPS 4758325 HAS SOUS 1301954 HAS SOUPS 1301954 WITH SCORE 1306712.325
AT ITER 1156 NEW BEST:: SOT 11167351 SOS 4758298 HAS SOPS 4758298 HAS SOUS 1301927 HAS SOUPS 1301927 WITH SCORE 1306685.298
AT ITER 1158 NEW BEST:: SOT 11167398 SOS 4758345 HAS SOPS 4758345 HAS SOUS 1301494 HAS SOUPS 1301494 WITH SCORE 1306252.345
AT ITER 1165 NEW BEST:: SOT 11167398 SOS 4758345 HAS SOPS 4758345 HAS SOUS 1301272 HAS SOUPS 1301272 WITH SCORE 1306030.345
AT ITER 1174 NEW BEST:: SOT 11167398 SOS 4758290 HAS SOPS 4758290 HAS SOUS 1301217 HAS SOUPS 1301217 WITH SCORE 1305975.29
AT ITER 1182 NEW BEST:: SOT 11167406 SOS 4758572 HAS SOPS 4758572 HAS SOUS 1300922 HAS SOUPS 1300922 WITH SCORE 1305680.572
AT ITER 1183 NEW BEST:: SOT 11167502 SOS 4758235 HAS SOPS 4758235 HAS SOUS 1300872 HAS SOUPS 1300872 WITH SCORE 1305630.235
AT ITER 1184 NEW BEST:: SOT 11167462 SOS 4758195 HAS SOPS 4758195 HAS SOUS 1300832 HAS SOUPS 1300832 WITH SCORE 1305590.195
AT ITER 1188 NEW BEST:: SOT 11167350 SOS 4758179 HAS SOPS 4758179 HAS SOUS 1300764 HAS SOUPS 1300764 WITH SCORE 1305522.179
AT ITER 1192 NEW BEST:: SOT 11167140 SOS 4757969 HAS SOPS 4757969 HAS SOUS 1300554 HAS SOUPS 1300554 WITH SCORE 1305311.969
AT ITER 1201 NEW BEST:: SOT 11167023 SOS 4757852 HAS SOPS 4757852 HAS SOUS 1300437 HAS SOUPS 1300437 WITH SCORE 1305194.852
AT ITER 1204 NEW BEST:: SOT 11167296 SOS 4757249 HAS SOPS 4757249 HAS SOUS 1300348 HAS SOUPS 1300348 WITH SCORE 1305105.249
AT ITER 1205 NEW BEST:: SOT 11167296 SOS 4757088 HAS SOPS 4757088 HAS SOUS 1298354 HAS SOUPS 1298354 WITH SCORE 1303111.088
AT ITER 1209 NEW BEST:: SOT 11167296 SOS 4757088 HAS SOPS 4757088 HAS SOUS 1298327 HAS SOUPS 1298327 WITH SCORE 1303084.088
AT ITER 1218 NEW BEST:: SOT 11167296 SOS 4757088 HAS SOPS 4757088 HAS SOUS 1298265 HAS SOUPS 1298265 WITH SCORE 1303022.088
AT ITER 1226 NEW BEST:: SOT 11167903 SOS 4757160 HAS SOPS 4757160 HAS SOUS 1294590 HAS SOUPS 1294590 WITH SCORE 1299347.16
AT ITER 1235 NEW BEST:: SOT 11167833 SOS 4757090 HAS SOPS 4757090 HAS SOUS 1294520 HAS SOUPS 1294520 WITH SCORE 1299277.09
AT ITER 1244 NEW BEST:: SOT 11167728 SOS 4756985 HAS SOPS 4756985 HAS SOUS 1293179 HAS SOUPS 1293179 WITH SCORE 1297935.985
AT ITER 1247 NEW BEST:: SOT 11167728 SOS 4756804 HAS SOPS 4756804 HAS SOUS 1292779 HAS SOUPS 1292779 WITH SCORE 1297535.804
AT ITER 1250 NEW BEST:: SOT 11167605 SOS 4756558 HAS SOPS 4756558 HAS SOUS 1291846 HAS SOUPS 1291846 WITH SCORE 1296602.558
AT ITER 1257 NEW BEST:: SOT 11167446 SOS 4756399 HAS SOPS 4756399 HAS SOUS 1291687 HAS SOUPS 1291687 WITH SCORE 1296443.399
AT ITER 1259 NEW BEST:: SOT 11166890 SOS 4755655 HAS SOPS 4755655 HAS SOUS 1288847 HAS SOUPS 1288847 WITH SCORE 1293602.655
AT ITER 1260 NEW BEST:: SOT 11167042 SOS 4755807 HAS SOPS 4755807 HAS SOUS 1280877 HAS SOUPS 1280877 WITH SCORE 1285632.807
AT ITER 1269 NEW BEST:: SOT 11167030 SOS 4755783 HAS SOPS 4755783 HAS SOUS 1280757 HAS SOUPS 1280757 WITH SCORE 1285512.783
AT ITER 1279 NEW BEST:: SOT 11169141 SOS 4757733 HAS SOPS 4757733 HAS SOUS 1280478 HAS SOUPS 1280478 WITH SCORE 1285235.733
AT ITER 1284 NEW BEST:: SOT 11169091 SOS 4757683 HAS SOPS 4757683 HAS SOUS 1280428 HAS SOUPS 1280428 WITH SCORE 1285185.683
AT ITER 1288 NEW BEST:: SOT 11169039 SOS 4757636 HAS SOPS 4757636 HAS SOUS 1280324 HAS SOUPS 1280324 WITH SCORE 1285081.636
AT ITER 1294 NEW BEST:: SOT 11169202 SOS 4757719 HAS SOPS 4757719 HAS SOUS 1279820 HAS SOUPS 1279820 WITH SCORE 1284577.719
AT ITER 1299 NEW BEST:: SOT 11169202 SOS 4757719 HAS SOPS 4757719 HAS SOUS 1279785 HAS SOUPS 1279785 WITH SCORE 1284542.719
AT ITER 1306 NEW BEST:: SOT 11169148 SOS 4757665 HAS SOPS 4757665 HAS SOUS 1279731 HAS SOUPS 1279731 WITH SCORE 1284488.665
AT ITER 1323 NEW BEST:: SOT 11169148 SOS 4757665 HAS SOPS 4757665 HAS SOUS 1279476 HAS SOUPS 1279476 WITH SCORE 1284233.665
AT ITER 1326 NEW BEST:: SOT 11168954 SOS 4757471 HAS SOPS 4757471 HAS SOUS 1279282 HAS SOUPS 1279282 WITH SCORE 1284039.471
AT ITER 1327 NEW BEST:: SOT 11168870 SOS 4757387 HAS SOPS 4757387 HAS SOUS 1277821 HAS SOUPS 1277821 WITH SCORE 1282578.387
AT ITER 1338 NEW BEST:: SOT 11168680 SOS 4757197 HAS SOPS 4757197 HAS SOUS 1277631 HAS SOUPS 1277631 WITH SCORE 1282388.197
AT ITER 1339 NEW BEST:: SOT 11168792 SOS 4757361 HAS SOPS 4757361 HAS SOUS 1277509 HAS SOUPS 1277509 WITH SCORE 1282266.361
AT ITER 1340 NEW BEST:: SOT 11168722 SOS 4757508 HAS SOPS 4757508 HAS SOUS 1277346 HAS SOUPS 1277346 WITH SCORE 1282103.508
AT ITER 1344 NEW BEST:: SOT 11168609 SOS 4757395 HAS SOPS 4757395 HAS SOUS 1275133 HAS SOUPS 1275133 WITH SCORE 1279890.395
AT ITER 1349 NEW BEST:: SOT 11168527 SOS 4757313 HAS SOPS 4757313 HAS SOUS 1274206 HAS SOUPS 1274206 WITH SCORE 1278963.313
AT ITER 1354 NEW BEST:: SOT 11168099 SOS 4756649 HAS SOPS 4756649 HAS SOUS 1271462 HAS SOUPS 1271462 WITH SCORE 1276218.649
AT ITER 1358 NEW BEST:: SOT 11170151 SOS 4758701 HAS SOPS 4758701 HAS SOUS 1271008 HAS SOUPS 1271008 WITH SCORE 1275766.701
AT ITER 1373 NEW BEST:: SOT 11170119 SOS 4758669 HAS SOPS 4758669 HAS SOUS 1270944 HAS SOUPS 1270944 WITH SCORE 1275702.669
AT ITER 1374 NEW BEST:: SOT 11170045 SOS 4758595 HAS SOPS 4758595 HAS SOUS 1270870 HAS SOUPS 1270870 WITH SCORE 1275628.595
AT ITER 1376 NEW BEST:: SOT 11170045 SOS 4758595 HAS SOPS 4758595 HAS SOUS 1270684 HAS SOUPS 1270684 WITH SCORE 1275442.595
AT ITER 1381 NEW BEST:: SOT 11169947 SOS 4757886 HAS SOPS 4757886 HAS SOUS 1270246 HAS SOUPS 1270246 WITH SCORE 1275003.886
AT ITER 1413 NEW BEST:: SOT 11169947 SOS 4757873 HAS SOPS 4757873 HAS SOUS 1269986 HAS SOUPS 1269986 WITH SCORE 1274743.873
AT ITER 1415 NEW BEST:: SOT 11171083 SOS 4758848 HAS SOPS 4758848 HAS SOUS 1265674 HAS SOUPS 1265674 WITH SCORE 1270432.848
AT ITER 1419 NEW BEST:: SOT 11171183 SOS 4759036 HAS SOPS 4759036 HAS SOUS 1265622 HAS SOUPS 1265622 WITH SCORE 1270381.036
AT ITER 1421 NEW BEST:: SOT 11170817 SOS 4758670 HAS SOPS 4758670 HAS SOUS 1263726 HAS SOUPS 1263726 WITH SCORE 1268484.67
AT ITER 1438 NEW BEST:: SOT 11170817 SOS 4758670 HAS SOPS 4758670 HAS SOUS 1263676 HAS SOUPS 1263676 WITH SCORE 1268434.67
AT ITER 1450 NEW BEST:: SOT 11170447 SOS 4758300 HAS SOPS 4758300 HAS SOUS 1263306 HAS SOUPS 1263306 WITH SCORE 1268064.3
AT ITER 1455 NEW BEST:: SOT 11169767 SOS 4757620 HAS SOPS 4757620 HAS SOUS 1262213 HAS SOUPS 1262213 WITH SCORE 1266970.62
AT ITER 1456 NEW BEST:: SOT 11169719 SOS 4757572 HAS SOPS 4757572 HAS SOUS 1262117 HAS SOUPS 1262117 WITH SCORE 1266874.572
AT ITER 1457 NEW BEST:: SOT 11169719 SOS 4757572 HAS SOPS 4757572 HAS SOUS 1262098 HAS SOUPS 1262098 WITH SCORE 1266855.572
AT ITER 1467 NEW BEST:: SOT 11169683 SOS 4757536 HAS SOPS 4757536 HAS SOUS 1261942 HAS SOUPS 1261942 WITH SCORE 1266699.536
AT ITER 1473 NEW BEST:: SOT 11172340 SOS 4760193 HAS SOPS 4760193 HAS SOUS 1260612 HAS SOUPS 1260612 WITH SCORE 1265372.193
AT ITER 1485 NEW BEST:: SOT 11172012 SOS 4759865 HAS SOPS 4759865 HAS SOUS 1260284 HAS SOUPS 1260284 WITH SCORE 1265043.865
AT ITER 1488 NEW BEST:: SOT 11173346 SOS 4760825 HAS SOPS 4760825 HAS SOUS 1257152 HAS SOUPS 1257152 WITH SCORE 1261912.825
AT ITER 1489 NEW BEST:: SOT 11172967 SOS 4760446 HAS SOPS 4760446 HAS SOUS 1256773 HAS SOUPS 1256773 WITH SCORE 1261533.446
AT ITER 1492 NEW BEST:: SOT 11172953 SOS 4760432 HAS SOPS 4760432 HAS SOUS 1256759 HAS SOUPS 1256759 WITH SCORE 1261519.432
AT ITER 1494 NEW BEST:: SOT 11172961 SOS 4760734 HAS SOPS 4760734 HAS SOUS 1256474 HAS SOUPS 1256474 WITH SCORE 1261234.734
AT ITER 1499 NEW BEST:: SOT 11172056 SOS 4759829 HAS SOPS 4759829 HAS SOUS 1255569 HAS SOUPS 1255569 WITH SCORE 1260328.829
AT ITER 1504 NEW BEST:: SOT 11171871 SOS 4759644 HAS SOPS 4759644 HAS SOUS 1255384 HAS SOUPS 1255384 WITH SCORE 1260143.644
AT ITER 1516 NEW BEST:: SOT 11171755 SOS 4759698 HAS SOPS 4759698 HAS SOUS 1255313 HAS SOUPS 1255313 WITH SCORE 1260072.698
AT ITER 1517 NEW BEST:: SOT 11171451 SOS 4759394 HAS SOPS 4759394 HAS SOUS 1255009 HAS SOUPS 1255009 WITH SCORE 1259768.394
AT ITER 1523 NEW BEST:: SOT 11171254 SOS 4759191 HAS SOPS 4759191 HAS SOUS 1254770 HAS SOUPS 1254770 WITH SCORE 1259529.191
AT ITER 1526 NEW BEST:: SOT 11171105 SOS 4759042 HAS SOPS 4759042 HAS SOUS 1254621 HAS SOUPS 1254621 WITH SCORE 1259380.042
AT ITER 1529 NEW BEST:: SOT 11170584 SOS 4758521 HAS SOPS 4758521 HAS SOUS 1254100 HAS SOUPS 1254100 WITH SCORE 1258858.521
AT ITER 1531 NEW BEST:: SOT 11170584 SOS 4758521 HAS SOPS 4758521 HAS SOUS 1254053 HAS SOUPS 1254053 WITH SCORE 1258811.521
AT ITER 1533 NEW BEST:: SOT 11170584 SOS 4758439 HAS SOPS 4758439 HAS SOUS 1254053 HAS SOUPS 1254053 WITH SCORE 1258811.439
AT ITER 1534 NEW BEST:: SOT 11170584 SOS 4758439 HAS SOPS 4758439 HAS SOUS 1253973 HAS SOUPS 1253973 WITH SCORE 1258731.439
AT ITER 1548 NEW BEST:: SOT 11170584 SOS 4758276 HAS SOPS 4758276 HAS SOUS 1253725 HAS SOUPS 1253725 WITH SCORE 1258483.276
AT ITER 1550 NEW BEST:: SOT 11169413 SOS 4757105 HAS SOPS 4757105 HAS SOUS 1252554 HAS SOUPS 1252554 WITH SCORE 1257311.105
AT ITER 1564 NEW BEST:: SOT 11169201 SOS 4756893 HAS SOPS 4756893 HAS SOUS 1252342 HAS SOUPS 1252342 WITH SCORE 1257098.893
AT ITER 1568 NEW BEST:: SOT 11169151 SOS 4756513 HAS SOPS 4756513 HAS SOUS 1252139 HAS SOUPS 1252139 WITH SCORE 1256895.513
AT ITER 1569 NEW BEST:: SOT 11169151 SOS 4756513 HAS SOPS 4756513 HAS SOUS 1251701 HAS SOUPS 1251701 WITH SCORE 1256457.513
AT ITER 1576 NEW BEST:: SOT 11167642 SOS 4755175 HAS SOPS 4755175 HAS SOUS 1250363 HAS SOUPS 1250363 WITH SCORE 1255118.175
AT ITER 1578 NEW BEST:: SOT 11167442 SOS 4754975 HAS SOPS 4754975 HAS SOUS 1250163 HAS SOUPS 1250163 WITH SCORE 1254917.975
AT ITER 1580 NEW BEST:: SOT 11167087 SOS 4754620 HAS SOPS 4754620 HAS SOUS 1249808 HAS SOUPS 1249808 WITH SCORE 1254562.62
AT ITER 1593 NEW BEST:: SOT 11167087 SOS 4754620 HAS SOPS 4754620 HAS SOUS 1249709 HAS SOUPS 1249709 WITH SCORE 1254463.62
AT ITER 1598 NEW BEST:: SOT 11167049 SOS 4754582 HAS SOPS 4754582 HAS SOUS 1249671 HAS SOUPS 1249671 WITH SCORE 1254425.582
AT ITER 1600 NEW BEST:: SOT 11166937 SOS 4754470 HAS SOPS 4754470 HAS SOUS 1249495 HAS SOUPS 1249495 WITH SCORE 1254249.47
AT ITER 1604 NEW BEST:: SOT 11166879 SOS 4754412 HAS SOPS 4754412 HAS SOUS 1249437 HAS SOUPS 1249437 WITH SCORE 1254191.412
AT ITER 1605 NEW BEST:: SOT 11166751 SOS 4754284 HAS SOPS 4754284 HAS SOUS 1249309 HAS SOUPS 1249309 WITH SCORE 1254063.284
AT ITER 1610 NEW BEST:: SOT 11166751 SOS 4754284 HAS SOPS 4754284 HAS SOUS 1248925 HAS SOUPS 1248925 WITH SCORE 1253679.284
AT ITER 1612 NEW BEST:: SOT 11167849 SOS 4755221 HAS SOPS 4755221 HAS SOUS 1247699 HAS SOUPS 1247699 WITH SCORE 1252454.221
AT ITER 1617 NEW BEST:: SOT 11167790 SOS 4755162 HAS SOPS 4755162 HAS SOUS 1243799 HAS SOUPS 1243799 WITH SCORE 1248554.162
AT ITER 1620 NEW BEST:: SOT 11167650 SOS 4755022 HAS SOPS 4755022 HAS SOUS 1242127 HAS SOUPS 1242127 WITH SCORE 1246882.022
AT ITER 1646 NEW BEST:: SOT 11167384 SOS 4754738 HAS SOPS 4754738 HAS SOUS 1241681 HAS SOUPS 1241681 WITH SCORE 1246435.738
AT ITER 1653 NEW BEST:: SOT 11167374 SOS 4754728 HAS SOPS 4754728 HAS SOUS 1240996 HAS SOUPS 1240996 WITH SCORE 1245750.728
AT ITER 1662 NEW BEST:: SOT 11167302 SOS 4754656 HAS SOPS 4754656 HAS SOUS 1240924 HAS SOUPS 1240924 WITH SCORE 1245678.656
AT ITER 1669 NEW BEST:: SOT 11167035 SOS 4754389 HAS SOPS 4754389 HAS SOUS 1240657 HAS SOUPS 1240657 WITH SCORE 1245411.389
AT ITER 1673 NEW BEST:: SOT 11167161 SOS 4754371 HAS SOPS 4754371 HAS SOUS 1239013 HAS SOUPS 1239013 WITH SCORE 1243767.371
AT ITER 1684 NEW BEST:: SOT 11166855 SOS 4754065 HAS SOPS 4754065 HAS SOUS 1238707 HAS SOUPS 1238707 WITH SCORE 1243461.065
AT ITER 1689 NEW BEST:: SOT 11167096 SOS 4754306 HAS SOPS 4754306 HAS SOUS 1237580 HAS SOUPS 1237580 WITH SCORE 1242334.306
AT ITER 1693 NEW BEST:: SOT 11166912 SOS 4754122 HAS SOPS 4754122 HAS SOUS 1237396 HAS SOUPS 1237396 WITH SCORE 1242150.122
AT ITER 1694 NEW BEST:: SOT 11166909 SOS 4754119 HAS SOPS 4754119 HAS SOUS 1237393 HAS SOUPS 1237393 WITH SCORE 1242147.119
AT ITER 1724 NEW BEST:: SOT 11166755 SOS 4753316 HAS SOPS 4753316 HAS SOUS 1236781 HAS SOUPS 1236781 WITH SCORE 1241534.316
AT ITER 1740 NEW BEST:: SOT 11166593 SOS 4753154 HAS SOPS 4753154 HAS SOUS 1236619 HAS SOUPS 1236619 WITH SCORE 1241372.154
AT ITER 1745 NEW BEST:: SOT 11166420 SOS 4752808 HAS SOPS 4752808 HAS SOUS 1234889 HAS SOUPS 1234889 WITH SCORE 1239641.808
AT ITER 1753 NEW BEST:: SOT 11166318 SOS 4752860 HAS SOPS 4752860 HAS SOUS 1234865 HAS SOUPS 1234865 WITH SCORE 1239617.86
AT ITER 1754 NEW BEST:: SOT 11166196 SOS 4752872 HAS SOPS 4752872 HAS SOUS 1234809 HAS SOUPS 1234809 WITH SCORE 1239561.872
AT ITER 1760 NEW BEST:: SOT 11165870 SOS 4752546 HAS SOPS 4752546 HAS SOUS 1234349 HAS SOUPS 1234349 WITH SCORE 1239101.546
AT ITER 1796 NEW BEST:: SOT 11165876 SOS 4751936 HAS SOPS 4751936 HAS SOUS 1233890 HAS SOUPS 1233890 WITH SCORE 1238641.936
AT ITER 1800 NEW BEST:: SOT 11165847 SOS 4751907 HAS SOPS 4751907 HAS SOUS 1233861 HAS SOUPS 1233861 WITH SCORE 1238612.907
AT ITER 1804 NEW BEST:: SOT 11165812 SOS 4751872 HAS SOPS 4751872 HAS SOUS 1233791 HAS SOUPS 1233791 WITH SCORE 1238542.872
AT ITER 1805 NEW BEST:: SOT 11165722 SOS 4751672 HAS SOPS 4751672 HAS SOUS 1233474 HAS SOUPS 1233474 WITH SCORE 1238225.672
AT ITER 1808 NEW BEST:: SOT 11164817 SOS 4750767 HAS SOPS 4750767 HAS SOUS 1232569 HAS SOUPS 1232569 WITH SCORE 1237319.767
AT ITER 1810 NEW BEST:: SOT 11164603 SOS 4750700 HAS SOPS 4750700 HAS SOUS 1232481 HAS SOUPS 1232481 WITH SCORE 1237231.7
AT ITER 1822 NEW BEST:: SOT 11164611 SOS 4750708 HAS SOPS 4750708 HAS SOUS 1232372 HAS SOUPS 1232372 WITH SCORE 1237122.708
AT ITER 1827 NEW BEST:: SOT 11164597 SOS 4750694 HAS SOPS 4750694 HAS SOUS 1232358 HAS SOUPS 1232358 WITH SCORE 1237108.694
AT ITER 1831 NEW BEST:: SOT 11164597 SOS 4750672 HAS SOPS 4750672 HAS SOUS 1231859 HAS SOUPS 1231859 WITH SCORE 1236609.672
AT ITER 1837 NEW BEST:: SOT 11164254 SOS 4750037 HAS SOPS 4750037 HAS SOUS 1228066 HAS SOUPS 1228066 WITH SCORE 1232816.037
AT ITER 1846 NEW BEST:: SOT 11163677 SOS 4749460 HAS SOPS 4749460 HAS SOUS 1227061 HAS SOUPS 1227061 WITH SCORE 1231810.46
AT ITER 1856 NEW BEST:: SOT 11163537 SOS 4749159 HAS SOPS 4749159 HAS SOUS 1224501 HAS SOUPS 1224501 WITH SCORE 1229250.159
AT ITER 1860 NEW BEST:: SOT 11163527 SOS 4749020 HAS SOPS 4749020 HAS SOUS 1222791 HAS SOUPS 1222791 WITH SCORE 1227540.02
AT ITER 1862 NEW BEST:: SOT 11163438 SOS 4748931 HAS SOPS 4748931 HAS SOUS 1222079 HAS SOUPS 1222079 WITH SCORE 1226827.931
AT ITER 1867 NEW BEST:: SOT 11163035 SOS 4748572 HAS SOPS 4748572 HAS SOUS 1222060 HAS SOUPS 1222060 WITH SCORE 1226808.572
AT ITER 1876 NEW BEST:: SOT 11162978 SOS 4748515 HAS SOPS 4748515 HAS SOUS 1222003 HAS SOUPS 1222003 WITH SCORE 1226751.515
AT ITER 1878 NEW BEST:: SOT 11162607 SOS 4747983 HAS SOPS 4747983 HAS SOUS 1217143 HAS SOUPS 1217143 WITH SCORE 1221890.983
AT ITER 1879 NEW BEST:: SOT 11162339 SOS 4747715 HAS SOPS 4747715 HAS SOUS 1216875 HAS SOUPS 1216875 WITH SCORE 1221622.715
AT ITER 1884 NEW BEST:: SOT 11162401 SOS 4747746 HAS SOPS 4747746 HAS SOUS 1216703 HAS SOUPS 1216703 WITH SCORE 1221450.746
AT ITER 1887 NEW BEST:: SOT 11162252 SOS 4747448 HAS SOPS 4747448 HAS SOUS 1216405 HAS SOUPS 1216405 WITH SCORE 1221152.448
AT ITER 1891 NEW BEST:: SOT 11162252 SOS 4747934 HAS SOPS 4747934 HAS SOUS 1216196 HAS SOUPS 1216196 WITH SCORE 1220943.934
AT ITER 1898 NEW BEST:: SOT 11162110 SOS 4747792 HAS SOPS 4747792 HAS SOUS 1216054 HAS SOUPS 1216054 WITH SCORE 1220801.792
AT ITER 1927 NEW BEST:: SOT 11162332 SOS 4747775 HAS SOPS 4747775 HAS SOUS 1214369 HAS SOUPS 1214369 WITH SCORE 1219116.775
AT ITER 1928 NEW BEST:: SOT 11162286 SOS 4747729 HAS SOPS 4747729 HAS SOUS 1214323 HAS SOUPS 1214323 WITH SCORE 1219070.729
AT ITER 1935 NEW BEST:: SOT 11162286 SOS 4747511 HAS SOPS 4747511 HAS SOUS 1214235 HAS SOUPS 1214235 WITH SCORE 1218982.511
AT ITER 1943 NEW BEST:: SOT 11162113 SOS 4747338 HAS SOPS 4747338 HAS SOUS 1214057 HAS SOUPS 1214057 WITH SCORE 1218804.338
AT ITER 1960 NEW BEST:: SOT 11162113 SOS 4747338 HAS SOPS 4747338 HAS SOUS 1213933 HAS SOUPS 1213933 WITH SCORE 1218680.338
AT ITER 1966 NEW BEST:: SOT 11161970 SOS 4747260 HAS SOPS 4747260 HAS SOUS 1213855 HAS SOUPS 1213855 WITH SCORE 1218602.26
AT ITER 1972 NEW BEST:: SOT 11161946 SOS 4747220 HAS SOPS 4747220 HAS SOUS 1213671 HAS SOUPS 1213671 WITH SCORE 1218418.22
AT ITER 1978 NEW BEST:: SOT 11161917 SOS 4747191 HAS SOPS 4747191 HAS SOUS 1213511 HAS SOUPS 1213511 WITH SCORE 1218258.191
AT ITER 1981 NEW BEST:: SOT 11161872 SOS 4747146 HAS SOPS 4747146 HAS SOUS 1213466 HAS SOUPS 1213466 WITH SCORE 1218213.146
AT ITER 1984 NEW BEST:: SOT 11161872 SOS 4747146 HAS SOPS 4747146 HAS SOUS 1213296 HAS SOUPS 1213296 WITH SCORE 1218043.146
AT ITER 1986 NEW BEST:: SOT 11161754 SOS 4747166 HAS SOPS 4747166 HAS SOUS 1213283 HAS SOUPS 1213283 WITH SCORE 1218030.166
AT ITER 1991 NEW BEST:: SOT 11161737 SOS 4747132 HAS SOPS 4747132 HAS SOUS 1213130 HAS SOUPS 1213130 WITH SCORE 1217877.132
AT ITER 1993 NEW BEST:: SOT 11161737 SOS 4747132 HAS SOPS 4747132 HAS SOUS 1213016 HAS SOUPS 1213016 WITH SCORE 1217763.132
AT ITER 2021 NEW BEST:: SOT 11161734 SOS 4747126 HAS SOPS 4747126 HAS SOUS 1212995 HAS SOUPS 1212995 WITH SCORE 1217742.126
AT ITER 2025 NEW BEST:: SOT 11160237 SOS 4745629 HAS SOPS 4745629 HAS SOUS 1212907 HAS SOUPS 1212907 WITH SCORE 1217652.629
AT ITER 2026 NEW BEST:: SOT 11159307 SOS 4744699 HAS SOPS 4744699 HAS SOUS 1211977 HAS SOUPS 1211977 WITH SCORE 1216721.699
AT ITER 2036 NEW BEST:: SOT 11159307 SOS 4744922 HAS SOPS 4744922 HAS SOUS 1211679 HAS SOUPS 1211679 WITH SCORE 1216423.922
AT ITER 2042 NEW BEST:: SOT 11159219 SOS 4744783 HAS SOPS 4744783 HAS SOUS 1210673 HAS SOUPS 1210673 WITH SCORE 1215417.783
AT ITER 2059 NEW BEST:: SOT 11159739 SOS 4745303 HAS SOPS 4745303 HAS SOUS 1210265 HAS SOUPS 1210265 WITH SCORE 1215010.303
AT ITER 2061 NEW BEST:: SOT 11159636 SOS 4745533 HAS SOPS 4745533 HAS SOUS 1210168 HAS SOUPS 1210168 WITH SCORE 1214913.533
AT ITER 2062 NEW BEST:: SOT 11159622 SOS 4745519 HAS SOPS 4745519 HAS SOUS 1210154 HAS SOUPS 1210154 WITH SCORE 1214899.519
AT ITER 2075 NEW BEST:: SOT 11158952 SOS 4744849 HAS SOPS 4744849 HAS SOUS 1209484 HAS SOUPS 1209484 WITH SCORE 1214228.849
AT ITER 2094 NEW BEST:: SOT 11158784 SOS 4744681 HAS SOPS 4744681 HAS SOUS 1209316 HAS SOUPS 1209316 WITH SCORE 1214060.681
AT ITER 2113 NEW BEST:: SOT 11159192 SOS 4744452 HAS SOPS 4744452 HAS SOUS 1209087 HAS SOUPS 1209087 WITH SCORE 1213831.452
AT ITER 2115 NEW BEST:: SOT 11159038 SOS 4744400 HAS SOPS 4744400 HAS SOUS 1208990 HAS SOUPS 1208990 WITH SCORE 1213734.4
AT ITER 2121 NEW BEST:: SOT 11159038 SOS 4744400 HAS SOPS 4744400 HAS SOUS 1208884 HAS SOUPS 1208884 WITH SCORE 1213628.4
AT ITER 2124 NEW BEST:: SOT 11159038 SOS 4744378 HAS SOPS 4744378 HAS SOUS 1208708 HAS SOUPS 1208708 WITH SCORE 1213452.378
AT ITER 2141 NEW BEST:: SOT 11158974 SOS 4744315 HAS SOPS 4744315 HAS SOUS 1208165 HAS SOUPS 1208165 WITH SCORE 1212909.315
AT ITER 2147 NEW BEST:: SOT 11158982 SOS 4744315 HAS SOPS 4744315 HAS SOUS 1208101 HAS SOUPS 1208101 WITH SCORE 1212845.315
AT ITER 2148 NEW BEST:: SOT 11158918 SOS 4744187 HAS SOPS 4744187 HAS SOUS 1207397 HAS SOUPS 1207397 WITH SCORE 1212141.187
AT ITER 2149 NEW BEST:: SOT 11159083 SOS 4744535 HAS SOPS 4744535 HAS SOUS 1207265 HAS SOUPS 1207265 WITH SCORE 1212009.535
AT ITER 2157 NEW BEST:: SOT 11159711 SOS 4745421 HAS SOPS 4745421 HAS SOUS 1201544 HAS SOUPS 1201544 WITH SCORE 1206289.421
AT ITER 2161 NEW BEST:: SOT 11158041 SOS 4743751 HAS SOPS 4743751 HAS SOUS 1200178 HAS SOUPS 1200178 WITH SCORE 1204921.751
AT ITER 2162 NEW BEST:: SOT 11157990 SOS 4743648 HAS SOPS 4743648 HAS SOUS 1199659 HAS SOUPS 1199659 WITH SCORE 1204402.648
AT ITER 2174 NEW BEST:: SOT 11159359 SOS 4744809 HAS SOPS 4744809 HAS SOUS 1199323 HAS SOUPS 1199323 WITH SCORE 1204067.809
AT ITER 2184 NEW BEST:: SOT 11159157 SOS 4744607 HAS SOPS 4744607 HAS SOUS 1199121 HAS SOUPS 1199121 WITH SCORE 1203865.607
AT ITER 2188 NEW BEST:: SOT 11159064 SOS 4744514 HAS SOPS 4744514 HAS SOUS 1197967 HAS SOUPS 1197967 WITH SCORE 1202711.514
AT ITER 2209 NEW BEST:: SOT 11158419 SOS 4743869 HAS SOPS 4743869 HAS SOUS 1197322 HAS SOUPS 1197322 WITH SCORE 1202065.869
AT ITER 2217 NEW BEST:: SOT 11158398 SOS 4744010 HAS SOPS 4744010 HAS SOUS 1196589 HAS SOUPS 1196589 WITH SCORE 1201333.01
AT ITER 2219 NEW BEST:: SOT 11158500 SOS 4744112 HAS SOPS 4744112 HAS SOUS 1195632 HAS SOUPS 1195632 WITH SCORE 1200376.112
AT ITER 2229 NEW BEST:: SOT 11159395 SOS 4744846 HAS SOPS 4744846 HAS SOUS 1189202 HAS SOUPS 1189202 WITH SCORE 1193946.846
AT ITER 2237 NEW BEST:: SOT 11159395 SOS 4744846 HAS SOPS 4744846 HAS SOUS 1189089 HAS SOUPS 1189089 WITH SCORE 1193833.846
AT ITER 2244 NEW BEST:: SOT 11160586 SOS 4745889 HAS SOPS 4745889 HAS SOUS 1185218 HAS SOUPS 1185218 WITH SCORE 1189963.889
AT ITER 2245 NEW BEST:: SOT 11160586 SOS 4745873 HAS SOPS 4745873 HAS SOUS 1184930 HAS SOUPS 1184930 WITH SCORE 1189675.873
AT ITER 2259 NEW BEST:: SOT 11160626 SOS 4745726 HAS SOPS 4745726 HAS SOUS 1184923 HAS SOUPS 1184923 WITH SCORE 1189668.726
AT ITER 2274 NEW BEST:: SOT 11160767 SOS 4745765 HAS SOPS 4745765 HAS SOUS 1184907 HAS SOUPS 1184907 WITH SCORE 1189652.765
AT ITER 2276 NEW BEST:: SOT 11160757 SOS 4745473 HAS SOPS 4745473 HAS SOUS 1184731 HAS SOUPS 1184731 WITH SCORE 1189476.473
AT ITER 2283 NEW BEST:: SOT 11160631 SOS 4745347 HAS SOPS 4745347 HAS SOUS 1184605 HAS SOUPS 1184605 WITH SCORE 1189350.347
AT ITER 2292 NEW BEST:: SOT 11160495 SOS 4745211 HAS SOPS 4745211 HAS SOUS 1184469 HAS SOUPS 1184469 WITH SCORE 1189214.211
AT ITER 2299 NEW BEST:: SOT 11160429 SOS 4745292 HAS SOPS 4745292 HAS SOUS 1184337 HAS SOUPS 1184337 WITH SCORE 1189082.292
AT ITER 2305 NEW BEST:: SOT 11159932 SOS 4744294 HAS SOPS 4744294 HAS SOUS 1178830 HAS SOUPS 1178830 WITH SCORE 1183574.294
AT ITER 2307 NEW BEST:: SOT 11158898 SOS 4743260 HAS SOPS 4743260 HAS SOUS 1177642 HAS SOUPS 1177642 WITH SCORE 1182385.26
AT ITER 2310 NEW BEST:: SOT 11158849 SOS 4743171 HAS SOPS 4743171 HAS SOUS 1177041 HAS SOUPS 1177041 WITH SCORE 1181784.171
AT ITER 2334 NEW BEST:: SOT 11158849 SOS 4743171 HAS SOPS 4743171 HAS SOUS 1177028 HAS SOUPS 1177028 WITH SCORE 1181771.171
AT ITER 2338 NEW BEST:: SOT 11158834 SOS 4743156 HAS SOPS 4743156 HAS SOUS 1177013 HAS SOUPS 1177013 WITH SCORE 1181756.156
AT ITER 2355 NEW BEST:: SOT 11161352 SOS 4745419 HAS SOPS 4745419 HAS SOUS 1176774 HAS SOUPS 1176774 WITH SCORE 1181519.419
AT ITER 2358 NEW BEST:: SOT 11161322 SOS 4745389 HAS SOPS 4745389 HAS SOUS 1176744 HAS SOUPS 1176744 WITH SCORE 1181489.389
AT ITER 2364 NEW BEST:: SOT 11161352 SOS 4745419 HAS SOPS 4745419 HAS SOUS 1176564 HAS SOUPS 1176564 WITH SCORE 1181309.419
AT ITER 2386 NEW BEST:: SOT 11161352 SOS 4745149 HAS SOPS 4745149 HAS SOUS 1175954 HAS SOUPS 1175954 WITH SCORE 1180699.149
AT ITER 2390 NEW BEST:: SOT 11161352 SOS 4745149 HAS SOPS 4745149 HAS SOUS 1175945 HAS SOUPS 1175945 WITH SCORE 1180690.149
AT ITER 2407 NEW BEST:: SOT 11160932 SOS 4744729 HAS SOPS 4744729 HAS SOUS 1175515 HAS SOUPS 1175515 WITH SCORE 1180259.729
AT ITER 2409 NEW BEST:: SOT 11160638 SOS 4744435 HAS SOPS 4744435 HAS SOUS 1172575 HAS SOUPS 1172575 WITH SCORE 1177319.435
AT ITER 2410 NEW BEST:: SOT 11160606 SOS 4744403 HAS SOPS 4744403 HAS SOUS 1172520 HAS SOUPS 1172520 WITH SCORE 1177264.403
AT ITER 2418 NEW BEST:: SOT 11160537 SOS 4744334 HAS SOPS 4744334 HAS SOUS 1172428 HAS SOUPS 1172428 WITH SCORE 1177172.334
AT ITER 2437 NEW BEST:: SOT 11160595 SOS 4744443 HAS SOPS 4744443 HAS SOUS 1172057 HAS SOUPS 1172057 WITH SCORE 1176801.443
AT ITER 2438 NEW BEST:: SOT 11161978 SOS 4745826 HAS SOPS 4745826 HAS SOUS 1171939 HAS SOUPS 1171939 WITH SCORE 1176684.826
AT ITER 2442 NEW BEST:: SOT 11161955 SOS 4745780 HAS SOPS 4745780 HAS SOUS 1171686 HAS SOUPS 1171686 WITH SCORE 1176431.78
AT ITER 2446 NEW BEST:: SOT 11161619 SOS 4745205 HAS SOPS 4745205 HAS SOUS 1170148 HAS SOUPS 1170148 WITH SCORE 1174893.205
AT ITER 2452 NEW BEST:: SOT 11161851 SOS 4745399 HAS SOPS 4745399 HAS SOUS 1170095 HAS SOUPS 1170095 WITH SCORE 1174840.399
AT ITER 2453 NEW BEST:: SOT 11162436 SOS 4745458 HAS SOPS 4745458 HAS SOUS 1166371 HAS SOUPS 1166371 WITH SCORE 1171116.458
AT ITER 2460 NEW BEST:: SOT 11162424 SOS 4745446 HAS SOPS 4745446 HAS SOUS 1166359 HAS SOUPS 1166359 WITH SCORE 1171104.446
AT ITER 2461 NEW BEST:: SOT 11162234 SOS 4745256 HAS SOPS 4745256 HAS SOUS 1166169 HAS SOUPS 1166169 WITH SCORE 1170914.256
AT ITER 2465 NEW BEST:: SOT 11162020 SOS 4745034 HAS SOPS 4745034 HAS SOUS 1164655 HAS SOUPS 1164655 WITH SCORE 1169400.034
AT ITER 2466 NEW BEST:: SOT 11161802 SOS 4744816 HAS SOPS 4744816 HAS SOUS 1164468 HAS SOUPS 1164468 WITH SCORE 1169212.816
AT ITER 2470 NEW BEST:: SOT 11159119 SOS 4742181 HAS SOPS 4742181 HAS SOUS 1162525 HAS SOUPS 1162525 WITH SCORE 1167267.181
AT ITER 2488 NEW BEST:: SOT 11159287 SOS 4742349 HAS SOPS 4742349 HAS SOUS 1159573 HAS SOUPS 1159573 WITH SCORE 1164315.349
AT ITER 2496 NEW BEST:: SOT 11158880 SOS 4741942 HAS SOPS 4741942 HAS SOUS 1158876 HAS SOUPS 1158876 WITH SCORE 1163617.942
AT ITER 2520 NEW BEST:: SOT 11158815 SOS 4741877 HAS SOPS 4741877 HAS SOUS 1158811 HAS SOUPS 1158811 WITH SCORE 1163552.877
AT ITER 2529 NEW BEST:: SOT 11158647 SOS 4741709 HAS SOPS 4741709 HAS SOUS 1158475 HAS SOUPS 1158475 WITH SCORE 1163216.709
AT ITER 2543 NEW BEST:: SOT 11158615 SOS 4741677 HAS SOPS 4741677 HAS SOUS 1158443 HAS SOUPS 1158443 WITH SCORE 1163184.677
AT ITER 2548 NEW BEST:: SOT 11158393 SOS 4741455 HAS SOPS 4741455 HAS SOUS 1158221 HAS SOUPS 1158221 WITH SCORE 1162962.455
AT ITER 2554 NEW BEST:: SOT 11158405 SOS 4741034 HAS SOPS 4741034 HAS SOUS 1158096 HAS SOUPS 1158096 WITH SCORE 1162837.034
AT ITER 2555 NEW BEST:: SOT 11158381 SOS 4741010 HAS SOPS 4741010 HAS SOUS 1158044 HAS SOUPS 1158044 WITH SCORE 1162785.01
AT ITER 2561 NEW BEST:: SOT 11158381 SOS 4740832 HAS SOPS 4740832 HAS SOUS 1158041 HAS SOUPS 1158041 WITH SCORE 1162781.832
AT ITER 2563 NEW BEST:: SOT 11158364 SOS 4740815 HAS SOPS 4740815 HAS SOUS 1158024 HAS SOUPS 1158024 WITH SCORE 1162764.815
AT ITER 2583 NEW BEST:: SOT 11158373 SOS 4740734 HAS SOPS 4740734 HAS SOUS 1156609 HAS SOUPS 1156609 WITH SCORE 1161349.734
AT ITER 2593 NEW BEST:: SOT 11158373 SOS 4740734 HAS SOPS 4740734 HAS SOUS 1156558 HAS SOUPS 1156558 WITH SCORE 1161298.734
AT ITER 2606 NEW BEST:: SOT 11158373 SOS 4740734 HAS SOPS 4740734 HAS SOUS 1156486 HAS SOUPS 1156486 WITH SCORE 1161226.734
AT ITER 2607 NEW BEST:: SOT 11158373 SOS 4740734 HAS SOPS 4740734 HAS SOUS 1156073 HAS SOUPS 1156073 WITH SCORE 1160813.734
AT ITER 2622 NEW BEST:: SOT 11158197 SOS 4740558 HAS SOPS 4740558 HAS SOUS 1155897 HAS SOUPS 1155897 WITH SCORE 1160637.558
AT ITER 2625 NEW BEST:: SOT 11158178 SOS 4740539 HAS SOPS 4740539 HAS SOUS 1155831 HAS SOUPS 1155831 WITH SCORE 1160571.539
AT ITER 2632 NEW BEST:: SOT 11157704 SOS 4740065 HAS SOPS 4740065 HAS SOUS 1155127 HAS SOUPS 1155127 WITH SCORE 1159867.065
AT ITER 2633 NEW BEST:: SOT 11157764 SOS 4740125 HAS SOPS 4740125 HAS SOUS 1155029 HAS SOUPS 1155029 WITH SCORE 1159769.125
AT ITER 2634 NEW BEST:: SOT 11157682 SOS 4740043 HAS SOPS 4740043 HAS SOUS 1154127 HAS SOUPS 1154127 WITH SCORE 1158867.043
AT ITER 2637 NEW BEST:: SOT 11157464 SOS 4739825 HAS SOPS 4739825 HAS SOUS 1153865 HAS SOUPS 1153865 WITH SCORE 1158604.825
AT ITER 2640 NEW BEST:: SOT 11158348 SOS 4740709 HAS SOPS 4740709 HAS SOUS 1153660 HAS SOUPS 1153660 WITH SCORE 1158400.709
AT ITER 2658 NEW BEST:: SOT 11157226 SOS 4739587 HAS SOPS 4739587 HAS SOUS 1152538 HAS SOUPS 1152538 WITH SCORE 1157277.587
AT ITER 2665 NEW BEST:: SOT 11157215 SOS 4739576 HAS SOPS 4739576 HAS SOUS 1152377 HAS SOUPS 1152377 WITH SCORE 1157116.576
AT ITER 2666 NEW BEST:: SOT 11158019 SOS 4740132 HAS SOPS 4740132 HAS SOUS 1151117 HAS SOUPS 1151117 WITH SCORE 1155857.132
AT ITER 2668 NEW BEST:: SOT 11158076 SOS 4740132 HAS SOPS 4740132 HAS SOUS 1150729 HAS SOUPS 1150729 WITH SCORE 1155469.132
AT ITER 2689 NEW BEST:: SOT 11158076 SOS 4739741 HAS SOPS 4739741 HAS SOUS 1150396 HAS SOUPS 1150396 WITH SCORE 1155135.741
AT ITER 2692 NEW BEST:: SOT 11157932 SOS 4739597 HAS SOPS 4739597 HAS SOUS 1150332 HAS SOUPS 1150332 WITH SCORE 1155071.597
AT ITER 2708 NEW BEST:: SOT 11157903 SOS 4739568 HAS SOPS 4739568 HAS SOUS 1150274 HAS SOUPS 1150274 WITH SCORE 1155013.568
AT ITER 2730 NEW BEST:: SOT 11157526 SOS 4739191 HAS SOPS 4739191 HAS SOUS 1149813 HAS SOUPS 1149813 WITH SCORE 1154552.191
AT ITER 2733 NEW BEST:: SOT 11157391 SOS 4739056 HAS SOPS 4739056 HAS SOUS 1149678 HAS SOUPS 1149678 WITH SCORE 1154417.056
AT ITER 2738 NEW BEST:: SOT 11157008 SOS 4738680 HAS SOPS 4738680 HAS SOUS 1149340 HAS SOUPS 1149340 WITH SCORE 1154078.68
AT ITER 2740 NEW BEST:: SOT 11156742 SOS 4738414 HAS SOPS 4738414 HAS SOUS 1149074 HAS SOUPS 1149074 WITH SCORE 1153812.414
AT ITER 2745 NEW BEST:: SOT 11156456 SOS 4738126 HAS SOPS 4738126 HAS SOUS 1148714 HAS SOUPS 1148714 WITH SCORE 1153452.126
AT ITER 2765 NEW BEST:: SOT 11156318 SOS 4737988 HAS SOPS 4737988 HAS SOUS 1147212 HAS SOUPS 1147212 WITH SCORE 1151949.988
AT ITER 2769 NEW BEST:: SOT 11156376 SOS 4737900 HAS SOPS 4737900 HAS SOUS 1145435 HAS SOUPS 1145435 WITH SCORE 1150172.9
AT ITER 2771 NEW BEST:: SOT 11156376 SOS 4737900 HAS SOPS 4737900 HAS SOUS 1145094 HAS SOUPS 1145094 WITH SCORE 1149831.9
AT ITER 2789 NEW BEST:: SOT 11156352 SOS 4737876 HAS SOPS 4737876 HAS SOUS 1145058 HAS SOUPS 1145058 WITH SCORE 1149795.876
AT ITER 2812 NEW BEST:: SOT 11156352 SOS 4737876 HAS SOPS 4737876 HAS SOUS 1145018 HAS SOUPS 1145018 WITH SCORE 1149755.876
AT ITER 2816 NEW BEST:: SOT 11157287 SOS 4738698 HAS SOPS 4738698 HAS SOUS 1144930 HAS SOUPS 1144930 WITH SCORE 1149668.698
AT ITER 2831 NEW BEST:: SOT 11156603 SOS 4738014 HAS SOPS 4738014 HAS SOUS 1144078 HAS SOUPS 1144078 WITH SCORE 1148816.014
AT ITER 2835 NEW BEST:: SOT 11156242 SOS 4737653 HAS SOPS 4737653 HAS SOUS 1143717 HAS SOUPS 1143717 WITH SCORE 1148454.653
AT ITER 2843 NEW BEST:: SOT 11155908 SOS 4737319 HAS SOPS 4737319 HAS SOUS 1143215 HAS SOUPS 1143215 WITH SCORE 1147952.319
AT ITER 2858 NEW BEST:: SOT 11155908 SOS 4737319 HAS SOPS 4737319 HAS SOUS 1143185 HAS SOUPS 1143185 WITH SCORE 1147922.319
AT ITER 2860 NEW BEST:: SOT 11155901 SOS 4736999 HAS SOPS 4736999 HAS SOUS 1140998 HAS SOUPS 1140998 WITH SCORE 1145734.999
AT ITER 2863 NEW BEST:: SOT 11155895 SOS 4737006 HAS SOPS 4737006 HAS SOUS 1140948 HAS SOUPS 1140948 WITH SCORE 1145685.006
AT ITER 2880 NEW BEST:: SOT 11155833 SOS 4736944 HAS SOPS 4736944 HAS SOUS 1140864 HAS SOUPS 1140864 WITH SCORE 1145600.944
AT ITER 2904 NEW BEST:: SOT 11157063 SOS 4738013 HAS SOPS 4738013 HAS SOUS 1140361 HAS SOUPS 1140361 WITH SCORE 1145099.013
AT ITER 2909 NEW BEST:: SOT 11157133 SOS 4737468 HAS SOPS 4737468 HAS SOUS 1140335 HAS SOUPS 1140335 WITH SCORE 1145072.468
AT ITER 2915 NEW BEST:: SOT 11158477 SOS 4738598 HAS SOPS 4738598 HAS SOUS 1138191 HAS SOUPS 1138191 WITH SCORE 1142929.598
AT ITER 2929 NEW BEST:: SOT 11158078 SOS 4738199 HAS SOPS 4738199 HAS SOUS 1137439 HAS SOUPS 1137439 WITH SCORE 1142177.199
AT ITER 2931 NEW BEST:: SOT 11158078 SOS 4738199 HAS SOPS 4738199 HAS SOUS 1137430 HAS SOUPS 1137430 WITH SCORE 1142168.199
AT ITER 2934 NEW BEST:: SOT 11157580 SOS 4737701 HAS SOPS 4737701 HAS SOUS 1136507 HAS SOUPS 1136507 WITH SCORE 1141244.701
AT ITER 2940 NEW BEST:: SOT 11157660 SOS 4737770 HAS SOPS 4737770 HAS SOUS 1136215 HAS SOUPS 1136215 WITH SCORE 1140952.77
AT ITER 2943 NEW BEST:: SOT 11157096 SOS 4737311 HAS SOPS 4737311 HAS SOUS 1135615 HAS SOUPS 1135615 WITH SCORE 1140352.311
AT ITER 2953 NEW BEST:: SOT 11157054 SOS 4737269 HAS SOPS 4737269 HAS SOUS 1135573 HAS SOUPS 1135573 WITH SCORE 1140310.269
AT ITER 2954 NEW BEST:: SOT 11156989 SOS 4737204 HAS SOPS 4737204 HAS SOUS 1135490 HAS SOUPS 1135490 WITH SCORE 1140227.204
AT ITER 2959 NEW BEST:: SOT 11156925 SOS 4737043 HAS SOPS 4737043 HAS SOUS 1135342 HAS SOUPS 1135342 WITH SCORE 1140079.043
AT ITER 2963 NEW BEST:: SOT 11156417 SOS 4736535 HAS SOPS 4736535 HAS SOUS 1134645 HAS SOUPS 1134645 WITH SCORE 1139381.535
AT ITER 2964 NEW BEST:: SOT 11156343 SOS 4736461 HAS SOPS 4736461 HAS SOUS 1134571 HAS SOUPS 1134571 WITH SCORE 1139307.461
AT ITER 2966 NEW BEST:: SOT 11156305 SOS 4736423 HAS SOPS 4736423 HAS SOUS 1134533 HAS SOUPS 1134533 WITH SCORE 1139269.423
AT ITER 2967 NEW BEST:: SOT 11156400 SOS 4736374 HAS SOPS 4736374 HAS SOUS 1132531 HAS SOUPS 1132531 WITH SCORE 1137267.374
AT ITER 2980 NEW BEST:: SOT 11156008 SOS 4735983 HAS SOPS 4735983 HAS SOUS 1131831 HAS SOUPS 1131831 WITH SCORE 1136566.983
AT ITER 2984 NEW BEST:: SOT 11155992 SOS 4735967 HAS SOPS 4735967 HAS SOUS 1131815 HAS SOUPS 1131815 WITH SCORE 1136550.967
AT ITER 2986 NEW BEST:: SOT 11155984 SOS 4735966 HAS SOPS 4735966 HAS SOUS 1131807 HAS SOUPS 1131807 WITH SCORE 1136542.966
AT ITER 2998 NEW BEST:: SOT 11155984 SOS 4735946 HAS SOPS 4735946 HAS SOUS 1131797 HAS SOUPS 1131797 WITH SCORE 1136532.946
AT ITER 3014 NEW BEST:: SOT 11155894 SOS 4735856 HAS SOPS 4735856 HAS SOUS 1131707 HAS SOUPS 1131707 WITH SCORE 1136442.856
AT ITER 3015 NEW BEST:: SOT 11156313 SOS 4736275 HAS SOPS 4736275 HAS SOUS 1131655 HAS SOUPS 1131655 WITH SCORE 1136391.275
AT ITER 3042 NEW BEST:: SOT 11156313 SOS 4736271 HAS SOPS 4736271 HAS SOUS 1131653 HAS SOUPS 1131653 WITH SCORE 1136389.271
AT ITER 3046 NEW BEST:: SOT 11156313 SOS 4736266 HAS SOPS 4736266 HAS SOUS 1131648 HAS SOUPS 1131648 WITH SCORE 1136384.266
AT ITER 3059 NEW BEST:: SOT 11156125 SOS 4736078 HAS SOPS 4736078 HAS SOUS 1129614 HAS SOUPS 1129614 WITH SCORE 1134350.078
AT ITER 3069 NEW BEST:: SOT 11156413 SOS 4736366 HAS SOPS 4736366 HAS SOUS 1129258 HAS SOUPS 1129258 WITH SCORE 1133994.366
AT ITER 3075 NEW BEST:: SOT 11156462 SOS 4736415 HAS SOPS 4736415 HAS SOUS 1128957 HAS SOUPS 1128957 WITH SCORE 1133693.415
AT ITER 3076 NEW BEST:: SOT 11156312 SOS 4736265 HAS SOPS 4736265 HAS SOUS 1128807 HAS SOUPS 1128807 WITH SCORE 1133543.265
AT ITER 3081 NEW BEST:: SOT 11156240 SOS 4736193 HAS SOPS 4736193 HAS SOUS 1128695 HAS SOUPS 1128695 WITH SCORE 1133431.193
AT ITER 3088 NEW BEST:: SOT 11156201 SOS 4735548 HAS SOPS 4735548 HAS SOUS 1128476 HAS SOUPS 1128476 WITH SCORE 1133211.548
AT ITER 3095 NEW BEST:: SOT 11156172 SOS 4735519 HAS SOPS 4735519 HAS SOUS 1128447 HAS SOUPS 1128447 WITH SCORE 1133182.519
AT ITER 3099 NEW BEST:: SOT 11155963 SOS 4735310 HAS SOPS 4735310 HAS SOUS 1128238 HAS SOUPS 1128238 WITH SCORE 1132973.31
AT ITER 3100 NEW BEST:: SOT 11155706 SOS 4735053 HAS SOPS 4735053 HAS SOUS 1127878 HAS SOUPS 1127878 WITH SCORE 1132613.053
AT ITER 3117 NEW BEST:: SOT 11155624 SOS 4735227 HAS SOPS 4735227 HAS SOUS 1127764 HAS SOUPS 1127764 WITH SCORE 1132499.227
AT ITER 3126 NEW BEST:: SOT 11157000 SOS 4736403 HAS SOPS 4736403 HAS SOUS 1127149 HAS SOUPS 1127149 WITH SCORE 1131885.403
AT ITER 3148 NEW BEST:: SOT 11156915 SOS 4736318 HAS SOPS 4736318 HAS SOUS 1127064 HAS SOUPS 1127064 WITH SCORE 1131800.318
AT ITER 3149 NEW BEST:: SOT 11156913 SOS 4735761 HAS SOPS 4735761 HAS SOUS 1126756 HAS SOUPS 1126756 WITH SCORE 1131491.761
AT ITER 3154 NEW BEST:: SOT 11157396 SOS 4736244 HAS SOPS 4736244 HAS SOUS 1125065 HAS SOUPS 1125065 WITH SCORE 1129801.244
AT ITER 3160 NEW BEST:: SOT 11156924 SOS 4735772 HAS SOPS 4735772 HAS SOUS 1124485 HAS SOUPS 1124485 WITH SCORE 1129220.772
AT ITER 3161 NEW BEST:: SOT 11156924 SOS 4735776 HAS SOPS 4735776 HAS SOUS 1123965 HAS SOUPS 1123965 WITH SCORE 1128700.776
AT ITER 3162 NEW BEST:: SOT 11156972 SOS 4735824 HAS SOPS 4735824 HAS SOUS 1123903 HAS SOUPS 1123903 WITH SCORE 1128638.824
AT ITER 3166 NEW BEST:: SOT 11156720 SOS 4735421 HAS SOPS 4735421 HAS SOUS 1123810 HAS SOUPS 1123810 WITH SCORE 1128545.421
AT ITER 3192 NEW BEST:: SOT 11156675 SOS 4735412 HAS SOPS 4735412 HAS SOUS 1123626 HAS SOUPS 1123626 WITH SCORE 1128361.412
AT ITER 3193 NEW BEST:: SOT 11156320 SOS 4735057 HAS SOPS 4735057 HAS SOUS 1122948 HAS SOUPS 1122948 WITH SCORE 1127683.057
AT ITER 3205 NEW BEST:: SOT 11156188 SOS 4734925 HAS SOPS 4734925 HAS SOUS 1122816 HAS SOUPS 1122816 WITH SCORE 1127550.925
AT ITER 3206 NEW BEST:: SOT 11156258 SOS 4734925 HAS SOPS 4734925 HAS SOUS 1122258 HAS SOUPS 1122258 WITH SCORE 1126992.925
AT ITER 3207 NEW BEST:: SOT 11156214 SOS 4734837 HAS SOPS 4734837 HAS SOUS 1122170 HAS SOUPS 1122170 WITH SCORE 1126904.837
AT ITER 3208 NEW BEST:: SOT 11156218 SOS 4734841 HAS SOPS 4734841 HAS SOUS 1122083 HAS SOUPS 1122083 WITH SCORE 1126817.841
AT ITER 3224 NEW BEST:: SOT 11155918 SOS 4734541 HAS SOPS 4734541 HAS SOUS 1121783 HAS SOUPS 1121783 WITH SCORE 1126517.541
AT ITER 3251 NEW BEST:: SOT 11155886 SOS 4734509 HAS SOPS 4734509 HAS SOUS 1121751 HAS SOUPS 1121751 WITH SCORE 1126485.509
AT ITER 3253 NEW BEST:: SOT 11156567 SOS 4735190 HAS SOPS 4735190 HAS SOUS 1121524 HAS SOUPS 1121524 WITH SCORE 1126259.19
AT ITER 3256 NEW BEST:: SOT 11156120 SOS 4734743 HAS SOPS 4734743 HAS SOUS 1120985 HAS SOUPS 1120985 WITH SCORE 1125719.743
AT ITER 3259 NEW BEST:: SOT 11156120 SOS 4734470 HAS SOPS 4734470 HAS SOUS 1120832 HAS SOUPS 1120832 WITH SCORE 1125566.47
AT ITER 3267 NEW BEST:: SOT 11155920 SOS 4734270 HAS SOPS 4734270 HAS SOUS 1120807 HAS SOUPS 1120807 WITH SCORE 1125541.27
AT ITER 3271 NEW BEST:: SOT 11155569 SOS 4733919 HAS SOPS 4733919 HAS SOUS 1120527 HAS SOUPS 1120527 WITH SCORE 1125260.919
AT ITER 3279 NEW BEST:: SOT 11155531 SOS 4733883 HAS SOPS 4733883 HAS SOUS 1120477 HAS SOUPS 1120477 WITH SCORE 1125210.883
AT ITER 3289 NEW BEST:: SOT 11155321 SOS 4733673 HAS SOPS 4733673 HAS SOUS 1120174 HAS SOUPS 1120174 WITH SCORE 1124907.673
AT ITER 3290 NEW BEST:: SOT 11155312 SOS 4733664 HAS SOPS 4733664 HAS SOUS 1120069 HAS SOUPS 1120069 WITH SCORE 1124802.664
AT ITER 3292 NEW BEST:: SOT 11155254 SOS 4733040 HAS SOPS 4733040 HAS SOUS 1119711 HAS SOUPS 1119711 WITH SCORE 1124444.04
AT ITER 3311 NEW BEST:: SOT 11155175 SOS 4732962 HAS SOPS 4732962 HAS SOUS 1119359 HAS SOUPS 1119359 WITH SCORE 1124091.962
AT ITER 3317 NEW BEST:: SOT 11155029 SOS 4732793 HAS SOPS 4732793 HAS SOUS 1119178 HAS SOUPS 1119178 WITH SCORE 1123910.793
AT ITER 3320 NEW BEST:: SOT 11156332 SOS 4734096 HAS SOPS 4734096 HAS SOUS 1118891 HAS SOUPS 1118891 WITH SCORE 1123625.096
AT ITER 3327 NEW BEST:: SOT 11156224 SOS 4733988 HAS SOPS 4733988 HAS SOUS 1118783 HAS SOUPS 1118783 WITH SCORE 1123516.988
AT ITER 3329 NEW BEST:: SOT 11156208 SOS 4733968 HAS SOPS 4733968 HAS SOUS 1118707 HAS SOUPS 1118707 WITH SCORE 1123440.968
AT ITER 3335 NEW BEST:: SOT 11156208 SOS 4733968 HAS SOPS 4733968 HAS SOUS 1118308 HAS SOUPS 1118308 WITH SCORE 1123041.968
AT ITER 3344 NEW BEST:: SOT 11156203 SOS 4733225 HAS SOPS 4733225 HAS SOUS 1110865 HAS SOUPS 1110865 WITH SCORE 1115598.225
AT ITER 3346 NEW BEST:: SOT 11156360 SOS 4733382 HAS SOPS 4733382 HAS SOUS 1110845 HAS SOUPS 1110845 WITH SCORE 1115578.382
AT ITER 3356 NEW BEST:: SOT 11156360 SOS 4733382 HAS SOPS 4733382 HAS SOUS 1110827 HAS SOUPS 1110827 WITH SCORE 1115560.382
AT ITER 3357 NEW BEST:: SOT 11156340 SOS 4733362 HAS SOPS 4733362 HAS SOUS 1110751 HAS SOUPS 1110751 WITH SCORE 1115484.362
AT ITER 3359 NEW BEST:: SOT 11156534 SOS 4733879 HAS SOPS 4733879 HAS SOUS 1110550 HAS SOUPS 1110550 WITH SCORE 1115283.879
AT ITER 3360 NEW BEST:: SOT 11156333 SOS 4733678 HAS SOPS 4733678 HAS SOUS 1110349 HAS SOUPS 1110349 WITH SCORE 1115082.678
AT ITER 3368 NEW BEST:: SOT 11156029 SOS 4733374 HAS SOPS 4733374 HAS SOUS 1109907 HAS SOUPS 1109907 WITH SCORE 1114640.374
AT ITER 3379 NEW BEST:: SOT 11156029 SOS 4733283 HAS SOPS 4733283 HAS SOUS 1109827 HAS SOUPS 1109827 WITH SCORE 1114560.283
AT ITER 3384 NEW BEST:: SOT 11155658 SOS 4732912 HAS SOPS 4732912 HAS SOUS 1109456 HAS SOUPS 1109456 WITH SCORE 1114188.912
AT ITER 3391 NEW BEST:: SOT 11155658 SOS 4732912 HAS SOPS 4732912 HAS SOUS 1109453 HAS SOUPS 1109453 WITH SCORE 1114185.912
AT ITER 3392 NEW BEST:: SOT 11155404 SOS 4732658 HAS SOPS 4732658 HAS SOUS 1109385 HAS SOUPS 1109385 WITH SCORE 1114117.658
AT ITER 3393 NEW BEST:: SOT 11156543 SOS 4733818 HAS SOPS 4733818 HAS SOUS 1108229 HAS SOUPS 1108229 WITH SCORE 1112962.818
AT ITER 3394 NEW BEST:: SOT 11156188 SOS 4733463 HAS SOPS 4733463 HAS SOUS 1107874 HAS SOUPS 1107874 WITH SCORE 1112607.463
AT ITER 3395 NEW BEST:: SOT 11156132 SOS 4733386 HAS SOPS 4733386 HAS SOUS 1107741 HAS SOUPS 1107741 WITH SCORE 1112474.386
AT ITER 3403 NEW BEST:: SOT 11156052 SOS 4733306 HAS SOPS 4733306 HAS SOUS 1107405 HAS SOUPS 1107405 WITH SCORE 1112138.306
AT ITER 3437 NEW BEST:: SOT 11155824 SOS 4733211 HAS SOPS 4733211 HAS SOUS 1107279 HAS SOUPS 1107279 WITH SCORE 1112012.211
AT ITER 3438 NEW BEST:: SOT 11155738 SOS 4732810 HAS SOPS 4732810 HAS SOUS 1102134 HAS SOUPS 1102134 WITH SCORE 1106866.81
AT ITER 3439 NEW BEST:: SOT 11155695 SOS 4732767 HAS SOPS 4732767 HAS SOUS 1102091 HAS SOUPS 1102091 WITH SCORE 1106823.767
AT ITER 3449 NEW BEST:: SOT 11155659 SOS 4732731 HAS SOPS 4732731 HAS SOUS 1102037 HAS SOUPS 1102037 WITH SCORE 1106769.731
AT ITER 3463 NEW BEST:: SOT 11155637 SOS 4732709 HAS SOPS 4732709 HAS SOUS 1102015 HAS SOUPS 1102015 WITH SCORE 1106747.709
AT ITER 3467 NEW BEST:: SOT 11155610 SOS 4732655 HAS SOPS 4732655 HAS SOUS 1101975 HAS SOUPS 1101975 WITH SCORE 1106707.655
AT ITER 3468 NEW BEST:: SOT 11155459 SOS 4732353 HAS SOPS 4732353 HAS SOUS 1101707 HAS SOUPS 1101707 WITH SCORE 1106439.353
AT ITER 3481 NEW BEST:: SOT 11155440 SOS 4732334 HAS SOPS 4732334 HAS SOUS 1101688 HAS SOUPS 1101688 WITH SCORE 1106420.334
AT ITER 3484 NEW BEST:: SOT 11155345 SOS 4732384 HAS SOPS 4732384 HAS SOUS 1101639 HAS SOUPS 1101639 WITH SCORE 1106371.384
AT ITER 3486 NEW BEST:: SOT 11155245 SOS 4732284 HAS SOPS 4732284 HAS SOUS 1101498 HAS SOUPS 1101498 WITH SCORE 1106230.284
AT ITER 3487 NEW BEST:: SOT 11154554 SOS 4731593 HAS SOPS 4731593 HAS SOUS 1100426 HAS SOUPS 1100426 WITH SCORE 1105157.593
AT ITER 3491 NEW BEST:: SOT 11154394 SOS 4731433 HAS SOPS 4731433 HAS SOUS 1100266 HAS SOUPS 1100266 WITH SCORE 1104997.433
AT ITER 3498 NEW BEST:: SOT 11154383 SOS 4731422 HAS SOPS 4731422 HAS SOUS 1100244 HAS SOUPS 1100244 WITH SCORE 1104975.422
AT ITER 3514 NEW BEST:: SOT 11154164 SOS 4731200 HAS SOPS 4731200 HAS SOUS 1099929 HAS SOUPS 1099929 WITH SCORE 1104660.2
AT ITER 3519 NEW BEST:: SOT 11153475 SOS 4730557 HAS SOPS 4730557 HAS SOUS 1099647 HAS SOUPS 1099647 WITH SCORE 1104377.557
AT ITER 3520 NEW BEST:: SOT 11152475 SOS 4729557 HAS SOPS 4729557 HAS SOUS 1098647 HAS SOUPS 1098647 WITH SCORE 1103376.557
AT ITER 3521 NEW BEST:: SOT 11152972 SOS 4730086 HAS SOPS 4730086 HAS SOUS 1097399 HAS SOUPS 1097399 WITH SCORE 1102129.086
AT ITER 3522 NEW BEST:: SOT 11152972 SOS 4730078 HAS SOPS 4730078 HAS SOUS 1097395 HAS SOUPS 1097395 WITH SCORE 1102125.078
AT ITER 3523 NEW BEST:: SOT 11152966 SOS 4730072 HAS SOPS 4730072 HAS SOUS 1097329 HAS SOUPS 1097329 WITH SCORE 1102059.072
AT ITER 3526 NEW BEST:: SOT 11152966 SOS 4730072 HAS SOPS 4730072 HAS SOUS 1097209 HAS SOUPS 1097209 WITH SCORE 1101939.072
AT ITER 3531 NEW BEST:: SOT 11152883 SOS 4729989 HAS SOPS 4729989 HAS SOUS 1097126 HAS SOUPS 1097126 WITH SCORE 1101855.989
AT ITER 3543 NEW BEST:: SOT 11152996 SOS 4730102 HAS SOPS 4730102 HAS SOUS 1096335 HAS SOUPS 1096335 WITH SCORE 1101065.102
AT ITER 3550 NEW BEST:: SOT 11153298 SOS 4730008 HAS SOPS 4730008 HAS SOUS 1093222 HAS SOUPS 1093222 WITH SCORE 1097952.008
AT ITER 3555 NEW BEST:: SOT 11153298 SOS 4730008 HAS SOPS 4730008 HAS SOUS 1093204 HAS SOUPS 1093204 WITH SCORE 1097934.008
AT ITER 3559 NEW BEST:: SOT 11152758 SOS 4729468 HAS SOPS 4729468 HAS SOUS 1092664 HAS SOUPS 1092664 WITH SCORE 1097393.468
AT ITER 3562 NEW BEST:: SOT 11152679 SOS 4729389 HAS SOPS 4729389 HAS SOUS 1092420 HAS SOUPS 1092420 WITH SCORE 1097149.389
AT ITER 3565 NEW BEST:: SOT 11152671 SOS 4729381 HAS SOPS 4729381 HAS SOUS 1092332 HAS SOUPS 1092332 WITH SCORE 1097061.381
AT ITER 3572 NEW BEST:: SOT 11151973 SOS 4728683 HAS SOPS 4728683 HAS SOUS 1091470 HAS SOUPS 1091470 WITH SCORE 1096198.683
AT ITER 3573 NEW BEST:: SOT 11151316 SOS 4728122 HAS SOPS 4728122 HAS SOUS 1089527 HAS SOUPS 1089527 WITH SCORE 1094255.122
AT ITER 3578 NEW BEST:: SOT 11152015 SOS 4728768 HAS SOPS 4728768 HAS SOUS 1087741 HAS SOUPS 1087741 WITH SCORE 1092469.768
AT ITER 3611 NEW BEST:: SOT 11151868 SOS 4728727 HAS SOPS 4728727 HAS SOUS 1087653 HAS SOUPS 1087653 WITH SCORE 1092381.727
AT ITER 3613 NEW BEST:: SOT 11151590 SOS 4728449 HAS SOPS 4728449 HAS SOUS 1087203 HAS SOUPS 1087203 WITH SCORE 1091931.449
AT ITER 3618 NEW BEST:: SOT 11151558 SOS 4728417 HAS SOPS 4728417 HAS SOUS 1087023 HAS SOUPS 1087023 WITH SCORE 1091751.417
AT ITER 3640 NEW BEST:: SOT 11151558 SOS 4728417 HAS SOPS 4728417 HAS SOUS 1086961 HAS SOUPS 1086961 WITH SCORE 1091689.417
AT ITER 3649 NEW BEST:: SOT 11151124 SOS 4727983 HAS SOPS 4727983 HAS SOUS 1086224 HAS SOUPS 1086224 WITH SCORE 1090951.983
AT ITER 3650 NEW BEST:: SOT 11151191 SOS 4727983 HAS SOPS 4727983 HAS SOUS 1085621 HAS SOUPS 1085621 WITH SCORE 1090348.983
AT ITER 3663 NEW BEST:: SOT 11151188 SOS 4727977 HAS SOPS 4727977 HAS SOUS 1085618 HAS SOUPS 1085618 WITH SCORE 1090345.977
AT ITER 3675 NEW BEST:: SOT 11148715 SOS 4725504 HAS SOPS 4725504 HAS SOUS 1085198 HAS SOUPS 1085198 WITH SCORE 1089923.504
AT ITER 3676 NEW BEST:: SOT 11148715 SOS 4725504 HAS SOPS 4725504 HAS SOUS 1085130 HAS SOUPS 1085130 WITH SCORE 1089855.504
AT ITER 3681 NEW BEST:: SOT 11149110 SOS 4725504 HAS SOPS 4725504 HAS SOUS 1082391 HAS SOUPS 1082391 WITH SCORE 1087116.504
AT ITER 3687 NEW BEST:: SOT 11149118 SOS 4725624 HAS SOPS 4725624 HAS SOUS 1082049 HAS SOUPS 1082049 WITH SCORE 1086774.624
AT ITER 3694 NEW BEST:: SOT 11149072 SOS 4725578 HAS SOPS 4725578 HAS SOUS 1082003 HAS SOUPS 1082003 WITH SCORE 1086728.578
AT ITER 3700 NEW BEST:: SOT 11148932 SOS 4725345 HAS SOPS 4725345 HAS SOUS 1081954 HAS SOUPS 1081954 WITH SCORE 1086679.345
AT ITER 3706 NEW BEST:: SOT 11150949 SOS 4727360 HAS SOPS 4727360 HAS SOUS 1081694 HAS SOUPS 1081694 WITH SCORE 1086421.36
AT ITER 3708 NEW BEST:: SOT 11150949 SOS 4727354 HAS SOPS 4727354 HAS SOUS 1081634 HAS SOUPS 1081634 WITH SCORE 1086361.354
AT ITER 3719 NEW BEST:: SOT 11150949 SOS 4727006 HAS SOPS 4727006 HAS SOUS 1081392 HAS SOUPS 1081392 WITH SCORE 1086119.006
AT ITER 3725 NEW BEST:: SOT 11151387 SOS 4727283 HAS SOPS 4727283 HAS SOUS 1079719 HAS SOUPS 1079719 WITH SCORE 1084446.283
AT ITER 3726 NEW BEST:: SOT 11151385 SOS 4727285 HAS SOPS 4727285 HAS SOUS 1079715 HAS SOUPS 1079715 WITH SCORE 1084442.285
AT ITER 3728 NEW BEST:: SOT 11151369 SOS 4727269 HAS SOPS 4727269 HAS SOUS 1079699 HAS SOUPS 1079699 WITH SCORE 1084426.269
AT ITER 3731 NEW BEST:: SOT 11151319 SOS 4727126 HAS SOPS 4727126 HAS SOUS 1078668 HAS SOUPS 1078668 WITH SCORE 1083395.126
AT ITER 3740 NEW BEST:: SOT 11151314 SOS 4727121 HAS SOPS 4727121 HAS SOUS 1078663 HAS SOUPS 1078663 WITH SCORE 1083390.121
AT ITER 3747 NEW BEST:: SOT 11151303 SOS 4727110 HAS SOPS 4727110 HAS SOUS 1078564 HAS SOUPS 1078564 WITH SCORE 1083291.11
AT ITER 3754 NEW BEST:: SOT 11151267 SOS 4727074 HAS SOPS 4727074 HAS SOUS 1078528 HAS SOUPS 1078528 WITH SCORE 1083255.074
AT ITER 3755 NEW BEST:: SOT 11151758 SOS 4727565 HAS SOPS 4727565 HAS SOUS 1078036 HAS SOUPS 1078036 WITH SCORE 1082763.565
AT ITER 3758 NEW BEST:: SOT 11151652 SOS 4727459 HAS SOPS 4727459 HAS SOUS 1077930 HAS SOUPS 1077930 WITH SCORE 1082657.459
AT ITER 3759 NEW BEST:: SOT 11151652 SOS 4727459 HAS SOPS 4727459 HAS SOUS 1077885 HAS SOUPS 1077885 WITH SCORE 1082612.459
AT ITER 3767 NEW BEST:: SOT 11151497 SOS 4727304 HAS SOPS 4727304 HAS SOUS 1077730 HAS SOUPS 1077730 WITH SCORE 1082457.304
AT ITER 3769 NEW BEST:: SOT 11150363 SOS 4726170 HAS SOPS 4726170 HAS SOUS 1076596 HAS SOUPS 1076596 WITH SCORE 1081322.17
AT ITER 3770 NEW BEST:: SOT 11150321 SOS 4726086 HAS SOPS 4726086 HAS SOUS 1076138 HAS SOUPS 1076138 WITH SCORE 1080864.086
AT ITER 3790 NEW BEST:: SOT 11149962 SOS 4724872 HAS SOPS 4724872 HAS SOUS 1075234 HAS SOUPS 1075234 WITH SCORE 1079958.872
AT ITER 3796 NEW BEST:: SOT 11149904 SOS 4724814 HAS SOPS 4724814 HAS SOUS 1075176 HAS SOUPS 1075176 WITH SCORE 1079900.814
AT ITER 3813 NEW BEST:: SOT 11149804 SOS 4724714 HAS SOPS 4724714 HAS SOUS 1075076 HAS SOUPS 1075076 WITH SCORE 1079800.714
AT ITER 3848 NEW BEST:: SOT 11149874 SOS 4724784 HAS SOPS 4724784 HAS SOUS 1074586 HAS SOUPS 1074586 WITH SCORE 1079310.784
AT ITER 3849 NEW BEST:: SOT 11149882 SOS 4725320 HAS SOPS 4725320 HAS SOUS 1074430 HAS SOUPS 1074430 WITH SCORE 1079155.32
AT ITER 3854 NEW BEST:: SOT 11149812 SOS 4725250 HAS SOPS 4725250 HAS SOUS 1074360 HAS SOUPS 1074360 WITH SCORE 1079085.25
AT ITER 3860 NEW BEST:: SOT 11149795 SOS 4725233 HAS SOPS 4725233 HAS SOUS 1074343 HAS SOUPS 1074343 WITH SCORE 1079068.233
AT ITER 3865 NEW BEST:: SOT 11149704 SOS 4725142 HAS SOPS 4725142 HAS SOUS 1074252 HAS SOUPS 1074252 WITH SCORE 1078977.142
AT ITER 3876 NEW BEST:: SOT 11151544 SOS 4726982 HAS SOPS 4726982 HAS SOUS 1074155 HAS SOUPS 1074155 WITH SCORE 1078881.982
AT ITER 3884 NEW BEST:: SOT 11151612 SOS 4727014 HAS SOPS 4727014 HAS SOUS 1073883 HAS SOUPS 1073883 WITH SCORE 1078610.014
AT ITER 3885 NEW BEST:: SOT 11151595 SOS 4726997 HAS SOPS 4726997 HAS SOUS 1073862 HAS SOUPS 1073862 WITH SCORE 1078588.997
AT ITER 3889 NEW BEST:: SOT 11151595 SOS 4726993 HAS SOPS 4726993 HAS SOUS 1073650 HAS SOUPS 1073650 WITH SCORE 1078376.993
AT ITER 3893 NEW BEST:: SOT 11151595 SOS 4727212 HAS SOPS 4727212 HAS SOUS 1073271 HAS SOUPS 1073271 WITH SCORE 1077998.212
AT ITER 3894 NEW BEST:: SOT 11151580 SOS 4727197 HAS SOPS 4727197 HAS SOUS 1071170 HAS SOUPS 1071170 WITH SCORE 1075897.197
AT ITER 3896 NEW BEST:: SOT 11151622 SOS 4727239 HAS SOPS 4727239 HAS SOUS 1070806 HAS SOUPS 1070806 WITH SCORE 1075533.239
AT ITER 3900 NEW BEST:: SOT 11151622 SOS 4727239 HAS SOPS 4727239 HAS SOUS 1070629 HAS SOUPS 1070629 WITH SCORE 1075356.239
AT ITER 3910 NEW BEST:: SOT 11151515 SOS 4727132 HAS SOPS 4727132 HAS SOUS 1070472 HAS SOUPS 1070472 WITH SCORE 1075199.132
AT ITER 3925 NEW BEST:: SOT 11151461 SOS 4727078 HAS SOPS 4727078 HAS SOUS 1070413 HAS SOUPS 1070413 WITH SCORE 1075140.078
AT ITER 3933 NEW BEST:: SOT 11151120 SOS 4726737 HAS SOPS 4726737 HAS SOUS 1070031 HAS SOUPS 1070031 WITH SCORE 1074757.737
AT ITER 3942 NEW BEST:: SOT 11150944 SOS 4727060 HAS SOPS 4727060 HAS SOUS 1069970 HAS SOUPS 1069970 WITH SCORE 1074697.06
AT ITER 3954 NEW BEST:: SOT 11150558 SOS 4726674 HAS SOPS 4726674 HAS SOUS 1069274 HAS SOUPS 1069274 WITH SCORE 1074000.674
AT ITER 3957 NEW BEST:: SOT 11150368 SOS 4726484 HAS SOPS 4726484 HAS SOUS 1069084 HAS SOUPS 1069084 WITH SCORE 1073810.484
AT ITER 3959 NEW BEST:: SOT 11150412 SOS 4726528 HAS SOPS 4726528 HAS SOUS 1069078 HAS SOUPS 1069078 WITH SCORE 1073804.528
AT ITER 3980 NEW BEST:: SOT 11151686 SOS 4727802 HAS SOPS 4727802 HAS SOUS 1065578 HAS SOUPS 1065578 WITH SCORE 1070305.802
AT ITER 3989 NEW BEST:: SOT 11151726 SOS 4727842 HAS SOPS 4727842 HAS SOUS 1065363 HAS SOUPS 1065363 WITH SCORE 1070090.842
AT ITER 4001 NEW BEST:: SOT 11151195 SOS 4727311 HAS SOPS 4727311 HAS SOUS 1064769 HAS SOUPS 1064769 WITH SCORE 1069496.311
AT ITER 4002 NEW BEST:: SOT 11152326 SOS 4728334 HAS SOPS 4728334 HAS SOUS 1064735 HAS SOUPS 1064735 WITH SCORE 1069463.334
AT ITER 4008 NEW BEST:: SOT 11151885 SOS 4727895 HAS SOPS 4727895 HAS SOUS 1063949 HAS SOUPS 1063949 WITH SCORE 1068676.895
AT ITER 4009 NEW BEST:: SOT 11151885 SOS 4727886 HAS SOPS 4727886 HAS SOUS 1063893 HAS SOUPS 1063893 WITH SCORE 1068620.886
AT ITER 4015 NEW BEST:: SOT 8411932 SOS 2006480 HAS SOPS 2006480 HAS SOUS 845418 HAS SOUPS 845418 WITH SCORE 847424.48
AT ITER 4037 NEW BEST:: SOT 8411905 SOS 2006453 HAS SOPS 2006453 HAS SOUS 845391 HAS SOUPS 845391 WITH SCORE 847397.453
AT ITER 4047 NEW BEST:: SOT 8411507 SOS 2006055 HAS SOPS 2006055 HAS SOUS 843704 HAS SOUPS 843704 WITH SCORE 845710.055
AT ITER 4048 NEW BEST:: SOT 8411507 SOS 2003565 HAS SOPS 2003565 HAS SOUS 843704 HAS SOUPS 843704 WITH SCORE 845707.565
AT ITER 4054 NEW BEST:: SOT 8412661 SOS 2004719 HAS SOPS 2004719 HAS SOUS 843324 HAS SOUPS 843324 WITH SCORE 845328.719
AT ITER 4068 NEW BEST:: SOT 8412545 SOS 2004724 HAS SOPS 2004724 HAS SOUS 843192 HAS SOUPS 843192 WITH SCORE 845196.724
AT ITER 4070 NEW BEST:: SOT 8412306 SOS 2004485 HAS SOPS 2004485 HAS SOUS 842804 HAS SOUPS 842804 WITH SCORE 844808.485
AT ITER 4077 NEW BEST:: SOT 8412261 SOS 2004440 HAS SOPS 2004440 HAS SOUS 842759 HAS SOUPS 842759 WITH SCORE 844763.44
AT ITER 4082 NEW BEST:: SOT 8412261 SOS 2004440 HAS SOPS 2004440 HAS SOUS 842743 HAS SOUPS 842743 WITH SCORE 844747.44
AT ITER 4087 NEW BEST:: SOT 8412034 SOS 2004213 HAS SOPS 2004213 HAS SOUS 839656 HAS SOUPS 839656 WITH SCORE 841660.213
AT ITER 4099 NEW BEST:: SOT 8411604 SOS 2003783 HAS SOPS 2003783 HAS SOUS 839008 HAS SOUPS 839008 WITH SCORE 841011.783
AT ITER 4116 NEW BEST:: SOT 8411578 SOS 2003757 HAS SOPS 2003757 HAS SOUS 838982 HAS SOUPS 838982 WITH SCORE 840985.757
AT ITER 4117 NEW BEST:: SOT 8411553 SOS 2003732 HAS SOPS 2003732 HAS SOUS 838957 HAS SOUPS 838957 WITH SCORE 840960.732
AT ITER 4133 NEW BEST:: SOT 8412773 SOS 2004952 HAS SOPS 2004952 HAS SOUS 837826 HAS SOUPS 837826 WITH SCORE 839830.952
AT ITER 4148 NEW BEST:: SOT 8412755 SOS 2004934 HAS SOPS 2004934 HAS SOUS 837799 HAS SOUPS 837799 WITH SCORE 839803.934
AT ITER 4152 NEW BEST:: SOT 8412543 SOS 2004722 HAS SOPS 2004722 HAS SOUS 837457 HAS SOUPS 837457 WITH SCORE 839461.722
AT ITER 4163 NEW BEST:: SOT 8412377 SOS 2004556 HAS SOPS 2004556 HAS SOUS 837250 HAS SOUPS 837250 WITH SCORE 839254.556
AT ITER 4164 NEW BEST:: SOT 8412226 SOS 2004405 HAS SOPS 2004405 HAS SOUS 837067 HAS SOUPS 837067 WITH SCORE 839071.405
AT ITER 4178 NEW BEST:: SOT 8411506 SOS 2003685 HAS SOPS 2003685 HAS SOUS 836185 HAS SOUPS 836185 WITH SCORE 838188.685
AT ITER 4181 NEW BEST:: SOT 8411515 SOS 2003694 HAS SOPS 2003694 HAS SOUS 836128 HAS SOUPS 836128 WITH SCORE 838131.694
AT ITER 4192 NEW BEST:: SOT 8411609 SOS 2003788 HAS SOPS 2003788 HAS SOUS 835895 HAS SOUPS 835895 WITH SCORE 837898.788
AT ITER 4200 NEW BEST:: SOT 8411349 SOS 2003528 HAS SOPS 2003528 HAS SOUS 835154 HAS SOUPS 835154 WITH SCORE 837157.528
AT ITER 4215 NEW BEST:: SOT 8411293 SOS 2003444 HAS SOPS 2003444 HAS SOUS 834930 HAS SOUPS 834930 WITH SCORE 836933.444
AT ITER 4216 NEW BEST:: SOT 8411293 SOS 2003444 HAS SOPS 2003444 HAS SOUS 834925 HAS SOUPS 834925 WITH SCORE 836928.444
AT ITER 4238 NEW BEST:: SOT 8411247 SOS 2003398 HAS SOPS 2003398 HAS SOUS 834879 HAS SOUPS 834879 WITH SCORE 836882.398
AT ITER 4242 NEW BEST:: SOT 8410710 SOS 2002796 HAS SOPS 2002796 HAS SOUS 834491 HAS SOUPS 834491 WITH SCORE 836493.796
AT ITER 4249 NEW BEST:: SOT 8410685 SOS 2002240 HAS SOPS 2002240 HAS SOUS 834292 HAS SOUPS 834292 WITH SCORE 836294.24
AT ITER 4257 NEW BEST:: SOT 8410610 SOS 2002165 HAS SOPS 2002165 HAS SOUS 834274 HAS SOUPS 834274 WITH SCORE 836276.165
AT ITER 4260 NEW BEST:: SOT 8410610 SOS 2002455 HAS SOPS 2002455 HAS SOUS 834103 HAS SOUPS 834103 WITH SCORE 836105.455
AT ITER 4263 NEW BEST:: SOT 8410605 SOS 2002450 HAS SOPS 2002450 HAS SOUS 834098 HAS SOUPS 834098 WITH SCORE 836100.45
AT ITER 4265 NEW BEST:: SOT 8410601 SOS 2002446 HAS SOPS 2002446 HAS SOUS 834026 HAS SOUPS 834026 WITH SCORE 836028.446
AT ITER 4279 NEW BEST:: SOT 8410666 SOS 2002511 HAS SOPS 2002511 HAS SOUS 831087 HAS SOUPS 831087 WITH SCORE 833089.511
AT ITER 4281 NEW BEST:: SOT 8410302 SOS 2002147 HAS SOPS 2002147 HAS SOUS 830759 HAS SOUPS 830759 WITH SCORE 832761.147
AT ITER 4289 NEW BEST:: SOT 8409987 SOS 2001832 HAS SOPS 2001832 HAS SOUS 830444 HAS SOUPS 830444 WITH SCORE 832445.832
AT ITER 4301 NEW BEST:: SOT 8409935 SOS 2001780 HAS SOPS 2001780 HAS SOUS 830327 HAS SOUPS 830327 WITH SCORE 832328.78
AT ITER 4308 NEW BEST:: SOT 8409935 SOS 2001780 HAS SOPS 2001780 HAS SOUS 830298 HAS SOUPS 830298 WITH SCORE 832299.78
AT ITER 4311 NEW BEST:: SOT 8409673 SOS 2001518 HAS SOPS 2001518 HAS SOUS 829915 HAS SOUPS 829915 WITH SCORE 831916.518
AT ITER 4320 NEW BEST:: SOT 8409223 SOS 2001068 HAS SOPS 2001068 HAS SOUS 829465 HAS SOUPS 829465 WITH SCORE 831466.068
AT ITER 4325 NEW BEST:: SOT 8409378 SOS 2001223 HAS SOPS 2001223 HAS SOUS 829401 HAS SOUPS 829401 WITH SCORE 831402.223
AT ITER 4329 NEW BEST:: SOT 8409397 SOS 2001242 HAS SOPS 2001242 HAS SOUS 829346 HAS SOUPS 829346 WITH SCORE 831347.242
AT ITER 4335 NEW BEST:: SOT 8409397 SOS 2001303 HAS SOPS 2001303 HAS SOUS 829218 HAS SOUPS 829218 WITH SCORE 831219.303
AT ITER 4339 NEW BEST:: SOT 8408971 SOS 2000877 HAS SOPS 2000877 HAS SOUS 828744 HAS SOUPS 828744 WITH SCORE 830744.877
AT ITER 4340 NEW BEST:: SOT 8408552 SOS 2000458 HAS SOPS 2000458 HAS SOUS 828325 HAS SOUPS 828325 WITH SCORE 830325.458
AT ITER 4341 NEW BEST:: SOT 8408500 SOS 2000406 HAS SOPS 2000406 HAS SOUS 828273 HAS SOUPS 828273 WITH SCORE 830273.406
AT ITER 4346 NEW BEST:: SOT 8408485 SOS 2000391 HAS SOPS 2000391 HAS SOUS 828258 HAS SOUPS 828258 WITH SCORE 830258.391
AT ITER 4366 NEW BEST:: SOT 8407943 SOS 1999849 HAS SOPS 1999849 HAS SOUS 827716 HAS SOUPS 827716 WITH SCORE 829715.849
AT ITER 4378 NEW BEST:: SOT 8407885 SOS 1999791 HAS SOPS 1999791 HAS SOUS 827512 HAS SOUPS 827512 WITH SCORE 829511.791
AT ITER 4383 NEW BEST:: SOT 8407807 SOS 1999713 HAS SOPS 1999713 HAS SOUS 827278 HAS SOUPS 827278 WITH SCORE 829277.713
AT ITER 4415 NEW BEST:: SOT 8408076 SOS 1999982 HAS SOPS 1999982 HAS SOUS 827213 HAS SOUPS 827213 WITH SCORE 829212.982
AT ITER 4416 NEW BEST:: SOT 8407691 SOS 1999712 HAS SOPS 1999712 HAS SOUS 826943 HAS SOUPS 826943 WITH SCORE 828942.712
AT ITER 4430 NEW BEST:: SOT 8407616 SOS 1999768 HAS SOPS 1999768 HAS SOUS 826815 HAS SOUPS 826815 WITH SCORE 828814.768
AT ITER 4431 NEW BEST:: SOT 8407604 SOS 1999756 HAS SOPS 1999756 HAS SOUS 826803 HAS SOUPS 826803 WITH SCORE 828802.756
AT ITER 4441 NEW BEST:: SOT 8407343 SOS 1999495 HAS SOPS 1999495 HAS SOUS 825756 HAS SOUPS 825756 WITH SCORE 827755.495
AT ITER 4443 NEW BEST:: SOT 8407191 SOS 1999343 HAS SOPS 1999343 HAS SOUS 825611 HAS SOUPS 825611 WITH SCORE 827610.343
AT ITER 4446 NEW BEST:: SOT 8407191 SOS 1999343 HAS SOPS 1999343 HAS SOUS 825574 HAS SOUPS 825574 WITH SCORE 827573.343
AT ITER 4455 NEW BEST:: SOT 8407887 SOS 2000039 HAS SOPS 2000039 HAS SOUS 823086 HAS SOUPS 823086 WITH SCORE 825086.039
AT ITER 4457 NEW BEST:: SOT 8407261 SOS 1999413 HAS SOPS 1999413 HAS SOUS 821877 HAS SOUPS 821877 WITH SCORE 823876.413
AT ITER 4461 NEW BEST:: SOT 8407278 SOS 1999509 HAS SOPS 1999509 HAS SOUS 821839 HAS SOUPS 821839 WITH SCORE 823838.509
AT ITER 4471 NEW BEST:: SOT 8407073 SOS 1999304 HAS SOPS 1999304 HAS SOUS 821784 HAS SOUPS 821784 WITH SCORE 823783.304
AT ITER 4473 NEW BEST:: SOT 8407041 SOS 1999272 HAS SOPS 1999272 HAS SOUS 821752 HAS SOUPS 821752 WITH SCORE 823751.272
AT ITER 4480 NEW BEST:: SOT 8407041 SOS 1999272 HAS SOPS 1999272 HAS SOUS 821745 HAS SOUPS 821745 WITH SCORE 823744.272
AT ITER 4484 NEW BEST:: SOT 8406785 SOS 1999016 HAS SOPS 1999016 HAS SOUS 821518 HAS SOUPS 821518 WITH SCORE 823517.016
AT ITER 4492 NEW BEST:: SOT 8406847 SOS 1998192 HAS SOPS 1998192 HAS SOUS 821393 HAS SOUPS 821393 WITH SCORE 823391.192
AT ITER 4500 NEW BEST:: SOT 8406847 SOS 1998192 HAS SOPS 1998192 HAS SOUS 821366 HAS SOUPS 821366 WITH SCORE 823364.192
AT ITER 4507 NEW BEST:: SOT 8406531 SOS 1997876 HAS SOPS 1997876 HAS SOUS 821050 HAS SOUPS 821050 WITH SCORE 823047.876
AT ITER 4513 NEW BEST:: SOT 8406728 SOS 1998270 HAS SOPS 1998270 HAS SOUS 821044 HAS SOUPS 821044 WITH SCORE 823042.27
AT ITER 4519 NEW BEST:: SOT 8406631 SOS 1998173 HAS SOPS 1998173 HAS SOUS 820916 HAS SOUPS 820916 WITH SCORE 822914.173
AT ITER 4525 NEW BEST:: SOT 8406631 SOS 1998139 HAS SOPS 1998139 HAS SOUS 820848 HAS SOUPS 820848 WITH SCORE 822846.139
AT ITER 4529 NEW BEST:: SOT 8406431 SOS 1997939 HAS SOPS 1997939 HAS SOUS 820509 HAS SOUPS 820509 WITH SCORE 822506.939
AT ITER 4545 NEW BEST:: SOT 8406154 SOS 1998176 HAS SOPS 1997606 HAS SOUS 820233 HAS SOUPS 820176 WITH SCORE 822174.176
AT ITER 4552 NEW BEST:: SOT 8406116 SOS 1998138 HAS SOPS 1997568 HAS SOUS 820195 HAS SOUPS 820138 WITH SCORE 822136.138
AT ITER 4560 NEW BEST:: SOT 8405677 SOS 1997699 HAS SOPS 1997129 HAS SOUS 819894 HAS SOUPS 819837 WITH SCORE 821834.699
AT ITER 4565 NEW BEST:: SOT 8405488 SOS 1997510 HAS SOPS 1996940 HAS SOUS 819504 HAS SOUPS 819447 WITH SCORE 821444.51
AT ITER 4588 NEW BEST:: SOT 8405268 SOS 1997290 HAS SOPS 1996720 HAS SOUS 819212 HAS SOUPS 819155 WITH SCORE 821152.29
AT ITER 4591 NEW BEST:: SOT 8405199 SOS 1997264 HAS SOPS 1996694 HAS SOUS 819143 HAS SOUPS 819086 WITH SCORE 821083.264
AT ITER 4592 NEW BEST:: SOT 8405151 SOS 1997216 HAS SOPS 1996646 HAS SOUS 819047 HAS SOUPS 818990 WITH SCORE 820987.216
AT ITER 4596 NEW BEST:: SOT 8405175 SOS 1997113 HAS SOPS 1996543 HAS SOUS 818944 HAS SOUPS 818887 WITH SCORE 820884.113
AT ITER 4604 NEW BEST:: SOT 8405165 SOS 1997103 HAS SOPS 1996533 HAS SOUS 818934 HAS SOUPS 818877 WITH SCORE 820874.103
AT ITER 4608 NEW BEST:: SOT 8406346 SOS 1998284 HAS SOPS 1997714 HAS SOUS 815515 HAS SOUPS 815458 WITH SCORE 817456.284
AT ITER 4623 NEW BEST:: SOT 8406352 SOS 1998290 HAS SOPS 1997720 HAS SOUS 814347 HAS SOUPS 814290 WITH SCORE 816288.29
AT ITER 4631 NEW BEST:: SOT 8406334 SOS 1998272 HAS SOPS 1997702 HAS SOUS 814167 HAS SOUPS 814110 WITH SCORE 816108.272
AT ITER 4632 NEW BEST:: SOT 8406125 SOS 1998063 HAS SOPS 1997493 HAS SOUS 813752 HAS SOUPS 813695 WITH SCORE 815693.063
AT ITER 4635 NEW BEST:: SOT 8405795 SOS 1997725 HAS SOPS 1997155 HAS SOUS 810629 HAS SOUPS 810572 WITH SCORE 812569.725
AT ITER 4642 NEW BEST:: SOT 8405836 SOS 1997766 HAS SOPS 1997196 HAS SOUS 810605 HAS SOUPS 810548 WITH SCORE 812545.766
AT ITER 4653 NEW BEST:: SOT 8405722 SOS 1997652 HAS SOPS 1997082 HAS SOUS 810491 HAS SOUPS 810434 WITH SCORE 812431.652
AT ITER 4661 NEW BEST:: SOT 8405844 SOS 1997774 HAS SOPS 1997204 HAS SOUS 809641 HAS SOUPS 809584 WITH SCORE 811581.774
AT ITER 4664 NEW BEST:: SOT 8405836 SOS 1997766 HAS SOPS 1997196 HAS SOUS 809553 HAS SOUPS 809496 WITH SCORE 811493.766
AT ITER 4674 NEW BEST:: SOT 8405641 SOS 1997571 HAS SOPS 1997001 HAS SOUS 809358 HAS SOUPS 809301 WITH SCORE 811298.571
AT ITER 4676 NEW BEST:: SOT 8405849 SOS 1997989 HAS SOPS 1997419 HAS SOUS 808208 HAS SOUPS 808151 WITH SCORE 810148.989
AT ITER 4689 NEW BEST:: SOT 8405427 SOS 1997567 HAS SOPS 1996997 HAS SOUS 807532 HAS SOUPS 807475 WITH SCORE 809472.567
AT ITER 4691 NEW BEST:: SOT 8405243 SOS 1997406 HAS SOPS 1996836 HAS SOUS 807371 HAS SOUPS 807314 WITH SCORE 809311.406
AT ITER 4701 NEW BEST:: SOT 8405243 SOS 1997406 HAS SOPS 1996836 HAS SOUS 807358 HAS SOUPS 807301 WITH SCORE 809298.406
AT ITER 4702 NEW BEST:: SOT 8405243 SOS 1997406 HAS SOPS 1996836 HAS SOUS 806938 HAS SOUPS 806881 WITH SCORE 808878.406
AT ITER 4705 NEW BEST:: SOT 8405032 SOS 1997195 HAS SOPS 1996625 HAS SOUS 804317 HAS SOUPS 804260 WITH SCORE 806257.195
AT ITER 4719 NEW BEST:: SOT 8404908 SOS 1997071 HAS SOPS 1996501 HAS SOUS 804193 HAS SOUPS 804136 WITH SCORE 806133.071
AT ITER 4726 NEW BEST:: SOT 8404861 SOS 1997024 HAS SOPS 1996454 HAS SOUS 803682 HAS SOUPS 803625 WITH SCORE 805622.024
AT ITER 4734 NEW BEST:: SOT 8405334 SOS 1997497 HAS SOPS 1996927 HAS SOUS 800730 HAS SOUPS 800673 WITH SCORE 802670.497
AT ITER 4745 NEW BEST:: SOT 8404975 SOS 1997138 HAS SOPS 1996568 HAS SOUS 800371 HAS SOUPS 800314 WITH SCORE 802311.138
AT ITER 4748 NEW BEST:: SOT 8404975 SOS 1996994 HAS SOPS 1996424 HAS SOUS 799843 HAS SOUPS 799786 WITH SCORE 801782.994
AT ITER 4752 NEW BEST:: SOT 8405306 SOS 1997426 HAS SOPS 1996856 HAS SOUS 799543 HAS SOUPS 799486 WITH SCORE 801483.426
AT ITER 4761 NEW BEST:: SOT 8405266 SOS 1997386 HAS SOPS 1996816 HAS SOUS 799503 HAS SOUPS 799446 WITH SCORE 801443.386
AT ITER 4763 NEW BEST:: SOT 8405301 SOS 1997421 HAS SOPS 1996851 HAS SOUS 799245 HAS SOUPS 799188 WITH SCORE 801185.421
AT ITER 4764 NEW BEST:: SOT 8405130 SOS 1997253 HAS SOPS 1996683 HAS SOUS 798846 HAS SOUPS 798789 WITH SCORE 800786.253
AT ITER 4765 NEW BEST:: SOT 8404905 SOS 1997028 HAS SOPS 1996458 HAS SOUS 796523 HAS SOUPS 796466 WITH SCORE 798463.028
AT ITER 4780 NEW BEST:: SOT 8404882 SOS 1997025 HAS SOPS 1996455 HAS SOUS 796500 HAS SOUPS 796443 WITH SCORE 798440.025
AT ITER 4794 NEW BEST:: SOT 8404740 SOS 1996741 HAS SOPS 1996171 HAS SOUS 796216 HAS SOUPS 796159 WITH SCORE 798155.741
AT ITER 4798 NEW BEST:: SOT 8404686 SOS 1996687 HAS SOPS 1996117 HAS SOUS 795445 HAS SOUPS 795388 WITH SCORE 797384.687
AT ITER 4813 NEW BEST:: SOT 8404717 SOS 1971639 HAS SOPS 1971069 HAS SOUS 795445 HAS SOUPS 795388 WITH SCORE 797359.639
AT ITER 4828 NEW BEST:: SOT 8404751 SOS 1971673 HAS SOPS 1971103 HAS SOUS 795406 HAS SOUPS 795349 WITH SCORE 797320.673
AT ITER 4846 NEW BEST:: SOT 8404736 SOS 1971658 HAS SOPS 1971088 HAS SOUS 795264 HAS SOUPS 795207 WITH SCORE 797178.658
AT ITER 4872 NEW BEST:: SOT 8404576 SOS 1971498 HAS SOPS 1970928 HAS SOUS 794954 HAS SOUPS 794897 WITH SCORE 796868.498
AT ITER 4888 NEW BEST:: SOT 8404558 SOS 1971462 HAS SOPS 1970892 HAS SOUS 794918 HAS SOUPS 794861 WITH SCORE 796832.462
AT ITER 4892 NEW BEST:: SOT 8404558 SOS 1971462 HAS SOPS 1970892 HAS SOUS 794614 HAS SOUPS 794557 WITH SCORE 796528.462
AT ITER 4902 NEW BEST:: SOT 8404443 SOS 1971347 HAS SOPS 1970777 HAS SOUS 794530 HAS SOUPS 794473 WITH SCORE 796444.347
AT ITER 4904 NEW BEST:: SOT 8405787 SOS 1972691 HAS SOPS 1972121 HAS SOUS 794221 HAS SOUPS 794164 WITH SCORE 796136.691
AT ITER 4923 NEW BEST:: SOT 8406179 SOS 1973083 HAS SOPS 1972513 HAS SOUS 792035 HAS SOUPS 791978 WITH SCORE 793951.083
AT ITER 4924 NEW BEST:: SOT 8406105 SOS 1973009 HAS SOPS 1972439 HAS SOUS 791987 HAS SOUPS 791930 WITH SCORE 793903.009
AT ITER 4934 NEW BEST:: SOT 8406045 SOS 1972949 HAS SOPS 1972379 HAS SOUS 791920 HAS SOUPS 791863 WITH SCORE 793835.949
AT ITER 4940 NEW BEST:: SOT 8405914 SOS 1972818 HAS SOPS 1972248 HAS SOUS 791789 HAS SOUPS 791732 WITH SCORE 793704.818
AT ITER 4954 NEW BEST:: SOT 8405341 SOS 1972245 HAS SOPS 1971675 HAS SOUS 790998 HAS SOUPS 790941 WITH SCORE 792913.245
AT ITER 4955 NEW BEST:: SOT 8405341 SOS 1972245 HAS SOPS 1971675 HAS SOUS 790822 HAS SOUPS 790765 WITH SCORE 792737.245
AT ITER 4958 NEW BEST:: SOT 8405341 SOS 1972245 HAS SOPS 1971675 HAS SOUS 790665 HAS SOUPS 790608 WITH SCORE 792580.245
AT ITER 4974 NEW BEST:: SOT 8404894 SOS 1976428 HAS SOPS 1975858 HAS SOUS 790387 HAS SOUPS 790330 WITH SCORE 792306.428
AT ITER 4984 NEW BEST:: SOT 8404730 SOS 1976264 HAS SOPS 1975694 HAS SOUS 790179 HAS SOUPS 790122 WITH SCORE 792098.264
AT ITER 4991 NEW BEST:: SOT 8404715 SOS 1976249 HAS SOPS 1975679 HAS SOUS 790164 HAS SOUPS 790107 WITH SCORE 792083.249
AT ITER 5023 NEW BEST:: SOT 8404599 SOS 1976214 HAS SOPS 1975644 HAS SOUS 790059 HAS SOUPS 790002 WITH SCORE 791978.214
AT ITER 5030 NEW BEST:: SOT 8404616 SOS 1976231 HAS SOPS 1975661 HAS SOUS 789886 HAS SOUPS 789829 WITH SCORE 791805.231
AT ITER 5032 NEW BEST:: SOT 8404879 SOS 1976494 HAS SOPS 1975924 HAS SOUS 788817 HAS SOUPS 788760 WITH SCORE 790736.494
AT ITER 5040 NEW BEST:: SOT 8404689 SOS 1976134 HAS SOPS 1975564 HAS SOUS 788174 HAS SOUPS 788117 WITH SCORE 790093.134
AT ITER 5048 NEW BEST:: SOT 8404931 SOS 1976376 HAS SOPS 1975806 HAS SOUS 786487 HAS SOUPS 786430 WITH SCORE 788406.376
AT ITER 5051 NEW BEST:: SOT 8404629 SOS 1976074 HAS SOPS 1975504 HAS SOUS 786185 HAS SOUPS 786128 WITH SCORE 788104.074
AT ITER 5054 NEW BEST:: SOT 8404307 SOS 1975752 HAS SOPS 1975182 HAS SOUS 784653 HAS SOUPS 784596 WITH SCORE 786571.752
AT ITER 5066 NEW BEST:: SOT 8404249 SOS 1975694 HAS SOPS 1975124 HAS SOUS 784575 HAS SOUPS 784518 WITH SCORE 786493.694
AT ITER 5081 NEW BEST:: SOT 8404085 SOS 1975530 HAS SOPS 1974960 HAS SOUS 784411 HAS SOUPS 784354 WITH SCORE 786329.53
AT ITER 5096 NEW BEST:: SOT 8404021 SOS 1975466 HAS SOPS 1974896 HAS SOUS 784347 HAS SOUPS 784290 WITH SCORE 786265.466
AT ITER 5107 NEW BEST:: SOT 8403623 SOS 1975068 HAS SOPS 1974498 HAS SOUS 783769 HAS SOUPS 783712 WITH SCORE 785687.068
AT ITER 5109 NEW BEST:: SOT 8403304 SOS 1974595 HAS SOPS 1974025 HAS SOUS 783440 HAS SOUPS 783383 WITH SCORE 785357.595
AT ITER 5146 NEW BEST:: SOT 8403174 SOS 1975099 HAS SOPS 1974529 HAS SOUS 783333 HAS SOUPS 783276 WITH SCORE 785251.099
AT ITER 5147 NEW BEST:: SOT 8403174 SOS 1975118 HAS SOPS 1974548 HAS SOUS 783295 HAS SOUPS 783238 WITH SCORE 785213.118
AT ITER 5150 NEW BEST:: SOT 8403166 SOS 1975110 HAS SOPS 1974540 HAS SOUS 783279 HAS SOUPS 783222 WITH SCORE 785197.11
AT ITER 5162 NEW BEST:: SOT 8402950 SOS 1974894 HAS SOPS 1974324 HAS SOUS 782955 HAS SOUPS 782898 WITH SCORE 784872.894
AT ITER 5163 NEW BEST:: SOT 8402663 SOS 1974607 HAS SOPS 1974037 HAS SOUS 782844 HAS SOUPS 782787 WITH SCORE 784761.607
AT ITER 5178 NEW BEST:: SOT 8402696 SOS 1974640 HAS SOPS 1974070 HAS SOUS 782833 HAS SOUPS 782776 WITH SCORE 784750.64
AT ITER 5180 NEW BEST:: SOT 8402643 SOS 1974587 HAS SOPS 1974017 HAS SOUS 782780 HAS SOUPS 782723 WITH SCORE 784697.587
AT ITER 5189 NEW BEST:: SOT 8401934 SOS 1973847 HAS SOPS 1973277 HAS SOUS 782143 HAS SOUPS 782086 WITH SCORE 784059.847
AT ITER 5198 NEW BEST:: SOT 8401875 SOS 1973788 HAS SOPS 1973218 HAS SOUS 782080 HAS SOUPS 782023 WITH SCORE 783996.788
AT ITER 5199 NEW BEST:: SOT 8401561 SOS 1973474 HAS SOPS 1972904 HAS SOUS 781580 HAS SOUPS 781523 WITH SCORE 783496.474
AT ITER 5204 NEW BEST:: SOT 8401784 SOS 1973697 HAS SOPS 1973127 HAS SOUS 781446 HAS SOUPS 781389 WITH SCORE 783362.697
AT ITER 5245 NEW BEST:: SOT 8400928 SOS 1972841 HAS SOPS 1972271 HAS SOUS 779341 HAS SOUPS 779284 WITH SCORE 781256.841
AT ITER 5247 NEW BEST:: SOT 8400683 SOS 1972596 HAS SOPS 1972026 HAS SOUS 779078 HAS SOUPS 779021 WITH SCORE 780993.596
AT ITER 5249 NEW BEST:: SOT 8400567 SOS 1972364 HAS SOPS 1971794 HAS SOUS 778846 HAS SOUPS 778789 WITH SCORE 780761.364
AT ITER 5257 NEW BEST:: SOT 8400561 SOS 1972352 HAS SOPS 1971782 HAS SOUS 778834 HAS SOUPS 778777 WITH SCORE 780749.352
AT ITER 5281 NEW BEST:: SOT 8400295 SOS 1972086 HAS SOPS 1971516 HAS SOUS 778144 HAS SOUPS 778087 WITH SCORE 780059.086
AT ITER 5282 NEW BEST:: SOT 8399833 SOS 1971624 HAS SOPS 1971054 HAS SOUS 777374 HAS SOUPS 777317 WITH SCORE 779288.624
AT ITER 5302 NEW BEST:: SOT 8399767 SOS 1971561 HAS SOPS 1970991 HAS SOUS 777162 HAS SOUPS 777105 WITH SCORE 779076.561
AT ITER 5304 NEW BEST:: SOT 8399580 SOS 1971621 HAS SOPS 1971051 HAS SOUS 777126 HAS SOUPS 777069 WITH SCORE 779040.621
AT ITER 5309 NEW BEST:: SOT 8399580 SOS 1971621 HAS SOPS 1971051 HAS SOUS 777124 HAS SOUPS 777067 WITH SCORE 779038.621
AT ITER 5311 NEW BEST:: SOT 8399635 SOS 1971676 HAS SOPS 1971106 HAS SOUS 776738 HAS SOUPS 776681 WITH SCORE 778652.676
AT ITER 5314 NEW BEST:: SOT 8399593 SOS 1971634 HAS SOPS 1971064 HAS SOUS 776696 HAS SOUPS 776639 WITH SCORE 778610.634
AT ITER 5319 NEW BEST:: SOT 8399593 SOS 1971572 HAS SOPS 1971002 HAS SOUS 776634 HAS SOUPS 776577 WITH SCORE 778548.572
AT ITER 5324 NEW BEST:: SOT 8399593 SOS 1971572 HAS SOPS 1971002 HAS SOUS 776596 HAS SOUPS 776539 WITH SCORE 778510.572
AT ITER 5325 NEW BEST:: SOT 8399616 SOS 1971595 HAS SOPS 1971025 HAS SOUS 776445 HAS SOUPS 776388 WITH SCORE 778359.595
AT ITER 5345 NEW BEST:: SOT 8398577 SOS 1970556 HAS SOPS 1969986 HAS SOUS 775289 HAS SOUPS 775232 WITH SCORE 777202.556
AT ITER 5346 NEW BEST:: SOT 8398544 SOS 1970497 HAS SOPS 1969927 HAS SOUS 774704 HAS SOUPS 774647 WITH SCORE 776617.497
AT ITER 5353 NEW BEST:: SOT 8398394 SOS 1970347 HAS SOPS 1969777 HAS SOUS 774452 HAS SOUPS 774395 WITH SCORE 776365.347
AT ITER 5363 NEW BEST:: SOT 8398244 SOS 1970197 HAS SOPS 1969627 HAS SOUS 774302 HAS SOUPS 774245 WITH SCORE 776215.197
AT ITER 5366 NEW BEST:: SOT 8397862 SOS 1969815 HAS SOPS 1969245 HAS SOUS 773729 HAS SOUPS 773672 WITH SCORE 775641.815
AT ITER 5381 NEW BEST:: SOT 8397862 SOS 1969815 HAS SOPS 1969245 HAS SOUS 773716 HAS SOUPS 773659 WITH SCORE 775628.815
AT ITER 5407 NEW BEST:: SOT 8397786 SOS 1970015 HAS SOPS 1969445 HAS SOUS 770430 HAS SOUPS 770373 WITH SCORE 772343.015
AT ITER 5414 NEW BEST:: SOT 8397747 SOS 1969976 HAS SOPS 1969406 HAS SOUS 766545 HAS SOUPS 766488 WITH SCORE 768457.976
AT ITER 5424 NEW BEST:: SOT 8397736 SOS 1969965 HAS SOPS 1969395 HAS SOUS 766534 HAS SOUPS 766477 WITH SCORE 768446.965
AT ITER 5435 NEW BEST:: SOT 8397732 SOS 1969961 HAS SOPS 1969391 HAS SOUS 766530 HAS SOUPS 766473 WITH SCORE 768442.961
AT ITER 5436 NEW BEST:: SOT 8397680 SOS 1969909 HAS SOPS 1969339 HAS SOUS 766478 HAS SOUPS 766421 WITH SCORE 768390.909
AT ITER 5445 NEW BEST:: SOT 8397349 SOS 1969578 HAS SOPS 1969008 HAS SOUS 765720 HAS SOUPS 765663 WITH SCORE 767632.578
AT ITER 5446 NEW BEST:: SOT 8397280 SOS 1969509 HAS SOPS 1968939 HAS SOUS 765651 HAS SOUPS 765594 WITH SCORE 767563.509
AT ITER 5457 NEW BEST:: SOT 8397280 SOS 1969509 HAS SOPS 1968939 HAS SOUS 765618 HAS SOUPS 765561 WITH SCORE 767530.509
AT ITER 5478 NEW BEST:: SOT 8397222 SOS 1969393 HAS SOPS 1968823 HAS SOUS 765502 HAS SOUPS 765445 WITH SCORE 767414.393
AT ITER 5489 NEW BEST:: SOT 8396975 SOS 1969146 HAS SOPS 1968576 HAS SOUS 762456 HAS SOUPS 762399 WITH SCORE 764368.146
AT ITER 5491 NEW BEST:: SOT 8397164 SOS 1969335 HAS SOPS 1968765 HAS SOUS 760896 HAS SOUPS 760839 WITH SCORE 762808.335
AT ITER 5492 NEW BEST:: SOT 8397164 SOS 1969335 HAS SOPS 1968765 HAS SOUS 760860 HAS SOUPS 760803 WITH SCORE 762772.335
AT ITER 5504 NEW BEST:: SOT 8397164 SOS 1969087 HAS SOPS 1968517 HAS SOUS 760367 HAS SOUPS 760310 WITH SCORE 762279.087
AT ITER 5512 NEW BEST:: SOT 8397156 SOS 1969079 HAS SOPS 1968509 HAS SOUS 760359 HAS SOUPS 760302 WITH SCORE 762271.079
AT ITER 5514 NEW BEST:: SOT 8396851 SOS 1968744 HAS SOPS 1968174 HAS SOUS 754994 HAS SOUPS 754937 WITH SCORE 756905.744
AT ITER 5516 NEW BEST:: SOT 8396851 SOS 1968744 HAS SOPS 1968174 HAS SOUS 754984 HAS SOUPS 754927 WITH SCORE 756895.744
AT ITER 5522 NEW BEST:: SOT 8396838 SOS 1968731 HAS SOPS 1968161 HAS SOUS 754971 HAS SOUPS 754914 WITH SCORE 756882.731
AT ITER 5524 NEW BEST:: SOT 8396804 SOS 1968946 HAS SOPS 1968376 HAS SOUS 754854 HAS SOUPS 754797 WITH SCORE 756765.946
AT ITER 5534 NEW BEST:: SOT 8396796 SOS 1968938 HAS SOPS 1968368 HAS SOUS 754846 HAS SOUPS 754789 WITH SCORE 756757.938
AT ITER 5561 NEW BEST:: SOT 8396654 SOS 1968796 HAS SOPS 1968226 HAS SOUS 754651 HAS SOUPS 754594 WITH SCORE 756562.796
AT ITER 5570 NEW BEST:: SOT 8396453 SOS 1968595 HAS SOPS 1968025 HAS SOUS 754450 HAS SOUPS 754393 WITH SCORE 756361.595
AT ITER 5577 NEW BEST:: SOT 8396453 SOS 1968595 HAS SOPS 1968025 HAS SOUS 754341 HAS SOUPS 754284 WITH SCORE 756252.595
AT ITER 5580 NEW BEST:: SOT 8396395 SOS 1968537 HAS SOPS 1967967 HAS SOUS 754222 HAS SOUPS 754165 WITH SCORE 756133.537
AT ITER 5606 NEW BEST:: SOT 8396263 SOS 1968405 HAS SOPS 1967835 HAS SOUS 754002 HAS SOUPS 753945 WITH SCORE 755913.405
AT ITER 5612 NEW BEST:: SOT 8396208 SOS 1968350 HAS SOPS 1967780 HAS SOUS 753947 HAS SOUPS 753890 WITH SCORE 755858.35
AT ITER 5627 NEW BEST:: SOT 8396208 SOS 1968312 HAS SOPS 1967742 HAS SOUS 753947 HAS SOUPS 753890 WITH SCORE 755858.312
AT ITER 5636 NEW BEST:: SOT 8396139 SOS 1968427 HAS SOPS 1967857 HAS SOUS 753854 HAS SOUPS 753797 WITH SCORE 755765.427
AT ITER 5645 NEW BEST:: SOT 8395915 SOS 1968203 HAS SOPS 1967633 HAS SOUS 753443 HAS SOUPS 753386 WITH SCORE 755354.203
AT ITER 5657 NEW BEST:: SOT 8395831 SOS 1968119 HAS SOPS 1967549 HAS SOUS 753317 HAS SOUPS 753260 WITH SCORE 755228.119
AT ITER 5666 NEW BEST:: SOT 8396036 SOS 1968324 HAS SOPS 1967754 HAS SOUS 752076 HAS SOUPS 752019 WITH SCORE 753987.324
AT ITER 5668 NEW BEST:: SOT 8395866 SOS 1968154 HAS SOPS 1967584 HAS SOUS 751906 HAS SOUPS 751849 WITH SCORE 753817.154
AT ITER 5674 NEW BEST:: SOT 8395820 SOS 1968108 HAS SOPS 1967538 HAS SOUS 751829 HAS SOUPS 751772 WITH SCORE 753740.108
AT ITER 5681 NEW BEST:: SOT 8395022 SOS 1967310 HAS SOPS 1966740 HAS SOUS 750071 HAS SOUPS 750014 WITH SCORE 751981.31
AT ITER 5704 NEW BEST:: SOT 8395434 SOS 1967722 HAS SOPS 1967152 HAS SOUS 747954 HAS SOUPS 747897 WITH SCORE 749864.722
AT ITER 5715 NEW BEST:: SOT 8395439 SOS 1967727 HAS SOPS 1967157 HAS SOUS 747914 HAS SOUPS 747857 WITH SCORE 749824.727
AT ITER 5726 NEW BEST:: SOT 8395407 SOS 1967695 HAS SOPS 1967125 HAS SOUS 747830 HAS SOUPS 747773 WITH SCORE 749740.695
AT ITER 5730 NEW BEST:: SOT 8395218 SOS 1967183 HAS SOPS 1966613 HAS SOUS 747318 HAS SOUPS 747261 WITH SCORE 749228.183
AT ITER 5736 NEW BEST:: SOT 8394504 SOS 1966469 HAS SOPS 1965899 HAS SOUS 746130 HAS SOUPS 746073 WITH SCORE 748039.469
AT ITER 5739 NEW BEST:: SOT 8394444 SOS 1966409 HAS SOPS 1965839 HAS SOUS 745920 HAS SOUPS 745863 WITH SCORE 747829.409
AT ITER 5768 NEW BEST:: SOT 8394080 SOS 1966045 HAS SOPS 1965475 HAS SOUS 745192 HAS SOUPS 745135 WITH SCORE 747101.045
AT ITER 5805 NEW BEST:: SOT 8393911 SOS 1965738 HAS SOPS 1965168 HAS SOUS 744695 HAS SOUPS 744638 WITH SCORE 746603.738
AT ITER 5806 NEW BEST:: SOT 8393797 SOS 1965624 HAS SOPS 1965054 HAS SOUS 744313 HAS SOUPS 744256 WITH SCORE 746221.624
AT ITER 5836 NEW BEST:: SOT 8393687 SOS 1965514 HAS SOPS 1964944 HAS SOUS 743949 HAS SOUPS 743892 WITH SCORE 745857.514
AT ITER 5842 NEW BEST:: SOT 8393668 SOS 1965495 HAS SOPS 1964925 HAS SOUS 743930 HAS SOUPS 743873 WITH SCORE 745838.495
AT ITER 5847 NEW BEST:: SOT 8393444 SOS 1965268 HAS SOPS 1964698 HAS SOUS 743519 HAS SOUPS 743462 WITH SCORE 745427.268
AT ITER 5856 NEW BEST:: SOT 8393442 SOS 1965266 HAS SOPS 1964696 HAS SOUS 743517 HAS SOUPS 743460 WITH SCORE 745425.266
AT ITER 5861 NEW BEST:: SOT 8393188 SOS 1965012 HAS SOPS 1964442 HAS SOUS 743309 HAS SOUPS 743252 WITH SCORE 745217.012
AT ITER 5862 NEW BEST:: SOT 8392895 SOS 1964814 HAS SOPS 1964244 HAS SOUS 743076 HAS SOUPS 743019 WITH SCORE 744983.814
AT ITER 5863 NEW BEST:: SOT 8392865 SOS 1964784 HAS SOPS 1964214 HAS SOUS 743016 HAS SOUPS 742959 WITH SCORE 744923.784
AT ITER 5869 NEW BEST:: SOT 8392857 SOS 1964776 HAS SOPS 1964206 HAS SOUS 743008 HAS SOUPS 742951 WITH SCORE 744915.776
AT ITER 5883 NEW BEST:: SOT 8392857 SOS 1964841 HAS SOPS 1964271 HAS SOUS 742956 HAS SOUPS 742899 WITH SCORE 744863.841
AT ITER 5899 NEW BEST:: SOT 8392669 SOS 1964653 HAS SOPS 1964083 HAS SOUS 742664 HAS SOUPS 742607 WITH SCORE 744571.653
AT ITER 5920 NEW BEST:: SOT 8392608 SOS 1964592 HAS SOPS 1964022 HAS SOUS 742645 HAS SOUPS 742588 WITH SCORE 744552.592
AT ITER 5937 NEW BEST:: SOT 8392534 SOS 1964518 HAS SOPS 1963948 HAS SOUS 742571 HAS SOUPS 742514 WITH SCORE 744478.518
AT ITER 5941 NEW BEST:: SOT 8392534 SOS 1964518 HAS SOPS 1963948 HAS SOUS 742549 HAS SOUPS 742492 WITH SCORE 744456.518
AT ITER 5944 NEW BEST:: SOT 8392464 SOS 1964448 HAS SOPS 1963878 HAS SOUS 742479 HAS SOUPS 742422 WITH SCORE 744386.448
AT ITER 5945 NEW BEST:: SOT 8392464 SOS 1964420 HAS SOPS 1963850 HAS SOUS 741891 HAS SOUPS 741834 WITH SCORE 743798.42
AT ITER 5946 NEW BEST:: SOT 8392482 SOS 1964438 HAS SOPS 1963868 HAS SOUS 741715 HAS SOUPS 741658 WITH SCORE 743622.438
AT ITER 5962 NEW BEST:: SOT 8391964 SOS 1963258 HAS SOPS 1962688 HAS SOUS 740574 HAS SOUPS 740517 WITH SCORE 742480.258
AT ITER 5964 NEW BEST:: SOT 8391902 SOS 1963196 HAS SOPS 1962626 HAS SOUS 740425 HAS SOUPS 740368 WITH SCORE 742331.196
AT ITER 6008 NEW BEST:: SOT 8391795 SOS 1962982 HAS SOPS 1962412 HAS SOUS 740211 HAS SOUPS 740154 WITH SCORE 742116.982
AT ITER 6010 NEW BEST:: SOT 8391640 SOS 1962827 HAS SOPS 1962257 HAS SOUS 740056 HAS SOUPS 739999 WITH SCORE 741961.827
AT ITER 6019 NEW BEST:: SOT 8391640 SOS 1962763 HAS SOPS 1962193 HAS SOUS 739992 HAS SOUPS 739935 WITH SCORE 741897.763
AT ITER 6105 NEW BEST:: SOT 8392038 SOS 1963161 HAS SOPS 1962591 HAS SOUS 738977 HAS SOUPS 738920 WITH SCORE 740883.161
AT ITER 6107 NEW BEST:: SOT 8391853 SOS 1962976 HAS SOPS 1962406 HAS SOUS 738764 HAS SOUPS 738707 WITH SCORE 740669.976
AT ITER 6109 NEW BEST:: SOT 8391740 SOS 1962863 HAS SOPS 1962293 HAS SOUS 738651 HAS SOUPS 738594 WITH SCORE 740556.863
AT ITER 6119 NEW BEST:: SOT 8391673 SOS 1962796 HAS SOPS 1962226 HAS SOUS 735864 HAS SOUPS 735807 WITH SCORE 737769.796
AT ITER 6120 NEW BEST:: SOT 8391504 SOS 1962627 HAS SOPS 1962057 HAS SOUS 735695 HAS SOUPS 735638 WITH SCORE 737600.627
AT ITER 6161 NEW BEST:: SOT 8391508 SOS 1962631 HAS SOPS 1962061 HAS SOUS 735664 HAS SOUPS 735607 WITH SCORE 737569.631
AT ITER 6163 NEW BEST:: SOT 8391508 SOS 1962631 HAS SOPS 1962061 HAS SOUS 735634 HAS SOUPS 735577 WITH SCORE 737539.631
AT ITER 6166 NEW BEST:: SOT 8391290 SOS 1962195 HAS SOPS 1961625 HAS SOUS 735198 HAS SOUPS 735141 WITH SCORE 737103.195
AT ITER 6178 NEW BEST:: SOT 8391044 SOS 1961949 HAS SOPS 1961379 HAS SOUS 734952 HAS SOUPS 734895 WITH SCORE 736856.949
AT ITER 6179 NEW BEST:: SOT 8390404 SOS 1961309 HAS SOPS 1960739 HAS SOUS 733992 HAS SOUPS 733935 WITH SCORE 735896.309
AT ITER 6185 NEW BEST:: SOT 8390320 SOS 1961225 HAS SOPS 1960655 HAS SOUS 733908 HAS SOUPS 733851 WITH SCORE 735812.225
AT ITER 6203 NEW BEST:: SOT 8390080 SOS 1960985 HAS SOPS 1960415 HAS SOUS 731610 HAS SOUPS 731553 WITH SCORE 733513.985
AT ITER 6209 NEW BEST:: SOT 8389809 SOS 1960662 HAS SOPS 1960092 HAS SOUS 731175 HAS SOUPS 731118 WITH SCORE 733078.662
AT ITER 6222 NEW BEST:: SOT 8390111 SOS 1960964 HAS SOPS 1960394 HAS SOUS 730959 HAS SOUPS 730902 WITH SCORE 732862.964
AT ITER 6228 NEW BEST:: SOT 8390063 SOS 1960916 HAS SOPS 1960346 HAS SOUS 730806 HAS SOUPS 730749 WITH SCORE 732709.916
AT ITER 6232 NEW BEST:: SOT 8389985 SOS 1960838 HAS SOPS 1960268 HAS SOUS 730678 HAS SOUPS 730621 WITH SCORE 732581.838
AT ITER 6234 NEW BEST:: SOT 8390052 SOS 1960905 HAS SOPS 1960335 HAS SOUS 730615 HAS SOUPS 730558 WITH SCORE 732518.905
AT ITER 6245 NEW BEST:: SOT 8390052 SOS 1960757 HAS SOPS 1960187 HAS SOUS 730615 HAS SOUPS 730558 WITH SCORE 732518.757
AT ITER 6271 NEW BEST:: SOT 8389932 SOS 1960637 HAS SOPS 1960067 HAS SOUS 728946 HAS SOUPS 728889 WITH SCORE 730849.637
AT ITER 6272 NEW BEST:: SOT 8389932 SOS 1960611 HAS SOPS 1960041 HAS SOUS 728920 HAS SOUPS 728863 WITH SCORE 730823.611
AT ITER 6284 NEW BEST:: SOT 8389802 SOS 1960481 HAS SOPS 1959911 HAS SOUS 728506 HAS SOUPS 728449 WITH SCORE 730409.481
AT ITER 6297 NEW BEST:: SOT 8389708 SOS 1960387 HAS SOPS 1959817 HAS SOUS 728224 HAS SOUPS 728167 WITH SCORE 730127.387
AT ITER 6300 NEW BEST:: SOT 8389718 SOS 1960397 HAS SOPS 1959827 HAS SOUS 728186 HAS SOUPS 728129 WITH SCORE 730089.397
AT ITER 6309 NEW BEST:: SOT 8389465 SOS 1960144 HAS SOPS 1959574 HAS SOUS 727933 HAS SOUPS 727876 WITH SCORE 729836.144
AT ITER 6310 NEW BEST:: SOT 8389792 SOS 1960471 HAS SOPS 1959901 HAS SOUS 727797 HAS SOUPS 727740 WITH SCORE 729700.471
AT ITER 6316 NEW BEST:: SOT 8389699 SOS 1960381 HAS SOPS 1959811 HAS SOUS 727609 HAS SOUPS 727552 WITH SCORE 729512.381
AT ITER 6326 NEW BEST:: SOT 8389682 SOS 1960364 HAS SOPS 1959794 HAS SOUS 727592 HAS SOUPS 727535 WITH SCORE 729495.364
AT ITER 6343 NEW BEST:: SOT 8389682 SOS 1960364 HAS SOPS 1959794 HAS SOUS 727452 HAS SOUPS 727395 WITH SCORE 729355.364
AT ITER 6344 NEW BEST:: SOT 8389574 SOS 1960256 HAS SOPS 1959686 HAS SOUS 727344 HAS SOUPS 727287 WITH SCORE 729247.256
AT ITER 6374 NEW BEST:: SOT 8389825 SOS 1960487 HAS SOPS 1959917 HAS SOUS 727005 HAS SOUPS 726948 WITH SCORE 728908.487
AT ITER 6376 NEW BEST:: SOT 8389878 SOS 1960540 HAS SOPS 1959970 HAS SOUS 726865 HAS SOUPS 726808 WITH SCORE 728768.54
AT ITER 6382 NEW BEST:: SOT 8166747 SOS 2211584 HAS SOPS 2211014 HAS SOUS 711979 HAS SOUPS 711922 WITH SCORE 714133.584
AT ITER 6393 NEW BEST:: SOT 8166699 SOS 2211536 HAS SOPS 2210966 HAS SOUS 711521 HAS SOUPS 711464 WITH SCORE 713675.536
AT ITER 6406 NEW BEST:: SOT 8166740 SOS 2211577 HAS SOPS 2211007 HAS SOUS 711379 HAS SOUPS 711322 WITH SCORE 713533.577
AT ITER 6426 NEW BEST:: SOT 8167055 SOS 2211892 HAS SOPS 2211322 HAS SOUS 710399 HAS SOUPS 710342 WITH SCORE 712553.892
AT ITER 6442 NEW BEST:: SOT 8167049 SOS 2211886 HAS SOPS 2211316 HAS SOUS 710393 HAS SOUPS 710336 WITH SCORE 712547.886
AT ITER 6463 NEW BEST:: SOT 8166856 SOS 2211693 HAS SOPS 2211123 HAS SOUS 710112 HAS SOUPS 710055 WITH SCORE 712266.693
AT ITER 6477 NEW BEST:: SOT 8166635 SOS 2211472 HAS SOPS 2210902 HAS SOUS 709071 HAS SOUPS 709014 WITH SCORE 711225.472
AT ITER 6497 NEW BEST:: SOT 8167152 SOS 2211989 HAS SOPS 2211419 HAS SOUS 707245 HAS SOUPS 707188 WITH SCORE 709399.989
AT ITER 6514 NEW BEST:: SOT 8167152 SOS 2211705 HAS SOPS 2211135 HAS SOUS 707165 HAS SOUPS 707108 WITH SCORE 709319.705
AT ITER 6515 NEW BEST:: SOT 8167116 SOS 2211669 HAS SOPS 2211099 HAS SOUS 706661 HAS SOUPS 706604 WITH SCORE 708815.669
AT ITER 6521 NEW BEST:: SOT 8167085 SOS 2211638 HAS SOPS 2211068 HAS SOUS 706654 HAS SOUPS 706597 WITH SCORE 708808.638
AT ITER 6531 NEW BEST:: SOT 8166810 SOS 2211363 HAS SOPS 2210793 HAS SOUS 706003 HAS SOUPS 705946 WITH SCORE 708157.363
AT ITER 6552 NEW BEST:: SOT 8166803 SOS 2211356 HAS SOPS 2210786 HAS SOUS 705989 HAS SOUPS 705932 WITH SCORE 708143.356
AT ITER 6553 NEW BEST:: SOT 8166856 SOS 2211073 HAS SOPS 2210503 HAS SOUS 705928 HAS SOUPS 705871 WITH SCORE 708082.073
AT ITER 6562 NEW BEST:: SOT 8166722 SOS 2210939 HAS SOPS 2210369 HAS SOUS 705742 HAS SOUPS 705685 WITH SCORE 707895.939
AT ITER 6563 NEW BEST:: SOT 8166831 SOS 2211048 HAS SOPS 2210478 HAS SOUS 705666 HAS SOUPS 705609 WITH SCORE 707820.048
AT ITER 6567 NEW BEST:: SOT 8166831 SOS 2211037 HAS SOPS 2210467 HAS SOUS 705625 HAS SOUPS 705568 WITH SCORE 707779.037
AT ITER 6573 NEW BEST:: SOT 8166709 SOS 2210915 HAS SOPS 2210345 HAS SOUS 704658 HAS SOUPS 704601 WITH SCORE 706811.915
AT ITER 6574 NEW BEST:: SOT 8166607 SOS 2210813 HAS SOPS 2210243 HAS SOUS 704401 HAS SOUPS 704344 WITH SCORE 706554.813
AT ITER 6580 NEW BEST:: SOT 8166692 SOS 2210898 HAS SOPS 2210328 HAS SOUS 704356 HAS SOUPS 704299 WITH SCORE 706509.898
AT ITER 6593 NEW BEST:: SOT 8166639 SOS 2210472 HAS SOPS 2209902 HAS SOUS 704233 HAS SOUPS 704176 WITH SCORE 706386.472
AT ITER 6607 NEW BEST:: SOT 8165991 SOS 2209824 HAS SOPS 2209254 HAS SOUS 703118 HAS SOUPS 703061 WITH SCORE 705270.824
AT ITER 6614 NEW BEST:: SOT 8165752 SOS 2209585 HAS SOPS 2209015 HAS SOUS 702879 HAS SOUPS 702822 WITH SCORE 705031.585
AT ITER 6618 NEW BEST:: SOT 8165676 SOS 2209509 HAS SOPS 2208939 HAS SOUS 702587 HAS SOUPS 702530 WITH SCORE 704739.509
AT ITER 6627 NEW BEST:: SOT 8165178 SOS 2209011 HAS SOPS 2208441 HAS SOUS 701840 HAS SOUPS 701783 WITH SCORE 703992.011
AT ITER 6636 NEW BEST:: SOT 8165178 SOS 2209011 HAS SOPS 2208441 HAS SOUS 701799 HAS SOUPS 701742 WITH SCORE 703951.011
AT ITER 6639 NEW BEST:: SOT 8165195 SOS 2209190 HAS SOPS 2208620 HAS SOUS 701717 HAS SOUPS 701660 WITH SCORE 703869.19
AT ITER 6643 NEW BEST:: SOT 8164993 SOS 2208988 HAS SOPS 2208418 HAS SOUS 701515 HAS SOUPS 701458 WITH SCORE 703666.988
AT ITER 6646 NEW BEST:: SOT 8164953 SOS 2208948 HAS SOPS 2208378 HAS SOUS 701475 HAS SOUPS 701418 WITH SCORE 703626.948
AT ITER 6649 NEW BEST:: SOT 8164821 SOS 2208816 HAS SOPS 2208246 HAS SOUS 701211 HAS SOUPS 701154 WITH SCORE 703362.816
AT ITER 6656 NEW BEST:: SOT 8164821 SOS 2208816 HAS SOPS 2208246 HAS SOUS 701179 HAS SOUPS 701122 WITH SCORE 703330.816
AT ITER 6684 NEW BEST:: SOT 8164750 SOS 2208923 HAS SOPS 2208353 HAS SOUS 701023 HAS SOUPS 700966 WITH SCORE 703174.923
AT ITER 6693 NEW BEST:: SOT 8164642 SOS 2208682 HAS SOPS 2208112 HAS SOUS 700787 HAS SOUPS 700730 WITH SCORE 702938.682
AT ITER 6717 NEW BEST:: SOT 8164642 SOS 2208682 HAS SOPS 2208112 HAS SOUS 700343 HAS SOUPS 700286 WITH SCORE 702494.682
AT ITER 6733 NEW BEST:: SOT 8164236 SOS 2208852 HAS SOPS 2208282 HAS SOUS 700101 HAS SOUPS 700044 WITH SCORE 702252.852
AT ITER 6740 NEW BEST:: SOT 8163947 SOS 2208563 HAS SOPS 2207993 HAS SOUS 699234 HAS SOUPS 699177 WITH SCORE 701385.563
AT ITER 6757 NEW BEST:: SOT 8163977 SOS 2208593 HAS SOPS 2208023 HAS SOUS 699224 HAS SOUPS 699167 WITH SCORE 701375.593
AT ITER 6773 NEW BEST:: SOT 8164412 SOS 2209028 HAS SOPS 2208458 HAS SOUS 698417 HAS SOUPS 698360 WITH SCORE 700569.028
AT ITER 6774 NEW BEST:: SOT 8164213 SOS 2208549 HAS SOPS 2207979 HAS SOUS 698190 HAS SOUPS 698133 WITH SCORE 700341.549
AT ITER 6788 NEW BEST:: SOT 8164212 SOS 2208548 HAS SOPS 2207978 HAS SOUS 696756 HAS SOUPS 696699 WITH SCORE 698907.548
AT ITER 6794 NEW BEST:: SOT 8164072 SOS 2207996 HAS SOPS 2207426 HAS SOUS 696389 HAS SOUPS 696332 WITH SCORE 698539.996
AT ITER 6808 NEW BEST:: SOT 8164072 SOS 2207973 HAS SOPS 2207403 HAS SOUS 696389 HAS SOUPS 696332 WITH SCORE 698539.973
AT ITER 6809 NEW BEST:: SOT 8164048 SOS 2207949 HAS SOPS 2207379 HAS SOUS 696365 HAS SOUPS 696308 WITH SCORE 698515.949
AT ITER 6840 NEW BEST:: SOT 8163994 SOS 2207895 HAS SOPS 2207325 HAS SOUS 696346 HAS SOUPS 696289 WITH SCORE 698496.895
AT ITER 6852 NEW BEST:: SOT 8163724 SOS 2207625 HAS SOPS 2207055 HAS SOUS 696034 HAS SOUPS 695977 WITH SCORE 698184.625
AT ITER 6862 NEW BEST:: SOT 8163930 SOS 2207831 HAS SOPS 2207261 HAS SOUS 695974 HAS SOUPS 695917 WITH SCORE 698124.831
AT ITER 6864 NEW BEST:: SOT 8164221 SOS 2208122 HAS SOPS 2207552 HAS SOUS 694857 HAS SOUPS 694800 WITH SCORE 697008.122
AT ITER 6869 NEW BEST:: SOT 8164015 SOS 2207916 HAS SOPS 2207346 HAS SOUS 694445 HAS SOUPS 694388 WITH SCORE 696595.916
AT ITER 6873 NEW BEST:: SOT 8163811 SOS 2207712 HAS SOPS 2207142 HAS SOUS 694241 HAS SOUPS 694184 WITH SCORE 696391.712
AT ITER 6877 NEW BEST:: SOT 8163882 SOS 2207783 HAS SOPS 2207213 HAS SOUS 693632 HAS SOUPS 693575 WITH SCORE 695782.783
AT ITER 6881 NEW BEST:: SOT 8163932 SOS 2207220 HAS SOPS 2206650 HAS SOUS 693616 HAS SOUPS 693559 WITH SCORE 695766.22
AT ITER 6887 NEW BEST:: SOT 8163932 SOS 2207086 HAS SOPS 2206516 HAS SOUS 693616 HAS SOUPS 693559 WITH SCORE 695766.086
AT ITER 6892 NEW BEST:: SOT 8163862 SOS 2207016 HAS SOPS 2206446 HAS SOUS 693448 HAS SOUPS 693391 WITH SCORE 695598.016
AT ITER 6911 NEW BEST:: SOT 8163769 SOS 2206930 HAS SOPS 2206360 HAS SOUS 693298 HAS SOUPS 693241 WITH SCORE 695447.93
AT ITER 6912 NEW BEST:: SOT 8163691 SOS 2218763 HAS SOPS 2218193 HAS SOUS 693161 HAS SOUPS 693104 WITH SCORE 695322.763
AT ITER 6918 NEW BEST:: SOT 8163691 SOS 2218603 HAS SOPS 2218033 HAS SOUS 693161 HAS SOUPS 693104 WITH SCORE 695322.603
AT ITER 6924 NEW BEST:: SOT 8163686 SOS 2218598 HAS SOPS 2218028 HAS SOUS 693120 HAS SOUPS 693063 WITH SCORE 695281.598
AT ITER 6929 NEW BEST:: SOT 8163641 SOS 2218598 HAS SOPS 2218028 HAS SOUS 693030 HAS SOUPS 692973 WITH SCORE 695191.598
AT ITER 6934 NEW BEST:: SOT 8163260 SOS 2218148 HAS SOPS 2217578 HAS SOUS 692580 HAS SOUPS 692523 WITH SCORE 694741.148
AT ITER 6944 NEW BEST:: SOT 8163082 SOS 2217970 HAS SOPS 2217400 HAS SOUS 692402 HAS SOUPS 692345 WITH SCORE 694562.97
AT ITER 6969 NEW BEST:: SOT 8163141 SOS 2218029 HAS SOPS 2217459 HAS SOUS 692123 HAS SOUPS 692066 WITH SCORE 694284.029
AT ITER 6979 NEW BEST:: SOT 8163133 SOS 2217992 HAS SOPS 2217422 HAS SOUS 692086 HAS SOUPS 692029 WITH SCORE 694246.992
AT ITER 6994 NEW BEST:: SOT 8162977 SOS 2217680 HAS SOPS 2217110 HAS SOUS 691774 HAS SOUPS 691717 WITH SCORE 693934.68
AT ITER 7012 NEW BEST:: SOT 8162808 SOS 2217511 HAS SOPS 2216941 HAS SOUS 691605 HAS SOUPS 691548 WITH SCORE 693765.511
AT ITER 7018 NEW BEST:: SOT 8162805 SOS 2217508 HAS SOPS 2216938 HAS SOUS 689572 HAS SOUPS 689515 WITH SCORE 691732.508
AT ITER 7025 NEW BEST:: SOT 8161668 SOS 2216670 HAS SOPS 2216100 HAS SOUS 688189 HAS SOUPS 688132 WITH SCORE 690348.67
AT ITER 7031 NEW BEST:: SOT 8161553 SOS 2216555 HAS SOPS 2215985 HAS SOUS 688074 HAS SOUPS 688017 WITH SCORE 690233.555
AT ITER 7041 NEW BEST:: SOT 8161692 SOS 2216694 HAS SOPS 2216124 HAS SOUS 687365 HAS SOUPS 687308 WITH SCORE 689524.694
AT ITER 7044 NEW BEST:: SOT 8161524 SOS 2215944 HAS SOPS 2215374 HAS SOUS 686787 HAS SOUPS 686730 WITH SCORE 688945.944
AT ITER 7050 NEW BEST:: SOT 8161412 SOS 2216033 HAS SOPS 2215463 HAS SOUS 686769 HAS SOUPS 686712 WITH SCORE 688928.033
AT ITER 7079 NEW BEST:: SOT 8161407 SOS 2216028 HAS SOPS 2215458 HAS SOUS 686764 HAS SOUPS 686707 WITH SCORE 688923.028
AT ITER 7087 NEW BEST:: SOT 8160994 SOS 2215615 HAS SOPS 2215045 HAS SOUS 686328 HAS SOUPS 686271 WITH SCORE 688486.615
AT ITER 7093 NEW BEST:: SOT 8160994 SOS 2215618 HAS SOPS 2215048 HAS SOUS 686257 HAS SOUPS 686200 WITH SCORE 688415.618
AT ITER 7099 NEW BEST:: SOT 8160957 SOS 2215581 HAS SOPS 2215011 HAS SOUS 686173 HAS SOUPS 686116 WITH SCORE 688331.581
AT ITER 7111 NEW BEST:: SOT 8160975 SOS 2215635 HAS SOPS 2215065 HAS SOUS 685813 HAS SOUPS 685756 WITH SCORE 687971.635
AT ITER 7115 NEW BEST:: SOT 8160938 SOS 2214992 HAS SOPS 2214422 HAS SOUS 685583 HAS SOUPS 685526 WITH SCORE 687740.992
AT ITER 7127 NEW BEST:: SOT 8160926 SOS 2214980 HAS SOPS 2214410 HAS SOUS 685571 HAS SOUPS 685514 WITH SCORE 687728.98
AT ITER 7129 NEW BEST:: SOT 8160837 SOS 2214891 HAS SOPS 2214321 HAS SOUS 685274 HAS SOUPS 685217 WITH SCORE 687431.891
AT ITER 7141 NEW BEST:: SOT 8160832 SOS 2214886 HAS SOPS 2214316 HAS SOUS 685269 HAS SOUPS 685212 WITH SCORE 687426.886
AT ITER 7145 NEW BEST:: SOT 8160698 SOS 2227271 HAS SOPS 2226701 HAS SOUS 685099 HAS SOUPS 685042 WITH SCORE 687269.271
AT ITER 7149 NEW BEST:: SOT 8159774 SOS 2226347 HAS SOPS 2225777 HAS SOUS 683070 HAS SOUPS 683013 WITH SCORE 685239.347
AT ITER 7153 NEW BEST:: SOT 8159774 SOS 2226266 HAS SOPS 2225696 HAS SOUS 683070 HAS SOUPS 683013 WITH SCORE 685239.266
AT ITER 7160 NEW BEST:: SOT 8159774 SOS 2226317 HAS SOPS 2225747 HAS SOUS 683024 HAS SOUPS 682967 WITH SCORE 685193.317
AT ITER 7161 NEW BEST:: SOT 8159586 SOS 2226129 HAS SOPS 2225559 HAS SOUS 682648 HAS SOUPS 682591 WITH SCORE 684817.129
AT ITER 7168 NEW BEST:: SOT 8159428 SOS 2225971 HAS SOPS 2225401 HAS SOUS 680682 HAS SOUPS 680625 WITH SCORE 682850.971
AT ITER 7175 NEW BEST:: SOT 8159236 SOS 2225779 HAS SOPS 2225209 HAS SOUS 680403 HAS SOUPS 680346 WITH SCORE 682571.779
AT ITER 7177 NEW BEST:: SOT 8159212 SOS 2225731 HAS SOPS 2225161 HAS SOUS 680355 HAS SOUPS 680298 WITH SCORE 682523.731
AT ITER 7189 NEW BEST:: SOT 8159096 SOS 2225615 HAS SOPS 2225045 HAS SOUS 680123 HAS SOUPS 680066 WITH SCORE 682291.615
AT ITER 7209 NEW BEST:: SOT 8159091 SOS 2225610 HAS SOPS 2225040 HAS SOUS 680118 HAS SOUPS 680061 WITH SCORE 682286.61
AT ITER 7214 NEW BEST:: SOT 8158965 SOS 2225484 HAS SOPS 2224914 HAS SOUS 679992 HAS SOUPS 679935 WITH SCORE 682160.484
AT ITER 7223 NEW BEST:: SOT 8158590 SOS 2225109 HAS SOPS 2224539 HAS SOUS 679331 HAS SOUPS 679274 WITH SCORE 681499.109
AT ITER 7234 NEW BEST:: SOT 8158272 SOS 2224791 HAS SOPS 2224221 HAS SOUS 678960 HAS SOUPS 678903 WITH SCORE 681127.791
AT ITER 7244 NEW BEST:: SOT 8158193 SOS 2224791 HAS SOPS 2224221 HAS SOUS 678881 HAS SOUPS 678824 WITH SCORE 681048.791
AT ITER 7253 NEW BEST:: SOT 8157859 SOS 2224457 HAS SOPS 2223887 HAS SOUS 678345 HAS SOUPS 678288 WITH SCORE 680512.457
AT ITER 7256 NEW BEST:: SOT 8157775 SOS 2224373 HAS SOPS 2223803 HAS SOUS 678009 HAS SOUPS 677952 WITH SCORE 680176.373
AT ITER 7300 NEW BEST:: SOT 8158489 SOS 2225087 HAS SOPS 2224517 HAS SOUS 677813 HAS SOUPS 677756 WITH SCORE 679981.087
AT ITER 7301 NEW BEST:: SOT 8158394 SOS 2224992 HAS SOPS 2224422 HAS SOUS 675929 HAS SOUPS 675872 WITH SCORE 678096.992
AT ITER 7303 NEW BEST:: SOT 8158383 SOS 2224981 HAS SOPS 2224411 HAS SOUS 675150 HAS SOUPS 675093 WITH SCORE 677317.981
AT ITER 7312 NEW BEST:: SOT 8158656 SOS 2225254 HAS SOPS 2224684 HAS SOUS 674280 HAS SOUPS 674223 WITH SCORE 676448.254
AT ITER 7339 NEW BEST:: SOT 8158466 SOS 2225064 HAS SOPS 2224494 HAS SOUS 674043 HAS SOUPS 673986 WITH SCORE 676211.064
AT ITER 7357 NEW BEST:: SOT 8144440 SOS 2213248 HAS SOPS 2212678 HAS SOUS 660025 HAS SOUPS 659968 WITH SCORE 662181.248
AT ITER 7383 NEW BEST:: SOT 8144391 SOS 2213199 HAS SOPS 2212629 HAS SOUS 659956 HAS SOUPS 659899 WITH SCORE 662112.199
AT ITER 7385 NEW BEST:: SOT 8144380 SOS 2213188 HAS SOPS 2212618 HAS SOUS 659945 HAS SOUPS 659888 WITH SCORE 662101.188
AT ITER 7390 NEW BEST:: SOT 8144173 SOS 2212981 HAS SOPS 2212411 HAS SOUS 659738 HAS SOUPS 659681 WITH SCORE 661893.981
AT ITER 7399 NEW BEST:: SOT 8134116 SOS 2202924 HAS SOPS 2202395 HAS SOUS 659133 HAS SOUPS 659076 WITH SCORE 661278.924
AT ITER 7404 NEW BEST:: SOT 8134113 SOS 2202921 HAS SOPS 2202392 HAS SOUS 659129 HAS SOUPS 659072 WITH SCORE 661274.921
AT ITER 7410 NEW BEST:: SOT 8133771 SOS 2202579 HAS SOPS 2202050 HAS SOUS 658516 HAS SOUPS 658459 WITH SCORE 660661.579
AT ITER 7421 NEW BEST:: SOT 8133739 SOS 2202547 HAS SOPS 2202018 HAS SOUS 658484 HAS SOUPS 658427 WITH SCORE 660629.547
AT ITER 7446 NEW BEST:: SOT 8133481 SOS 2202289 HAS SOPS 2201760 HAS SOUS 658063 HAS SOUPS 658006 WITH SCORE 660208.289
AT ITER 7447 NEW BEST:: SOT 8133341 SOS 2202149 HAS SOPS 2201620 HAS SOUS 656383 HAS SOUPS 656326 WITH SCORE 658528.149
AT ITER 7451 NEW BEST:: SOT 8133462 SOS 2201600 HAS SOPS 2201071 HAS SOUS 655834 HAS SOUPS 655777 WITH SCORE 657978.6
AT ITER 7479 NEW BEST:: SOT 8133454 SOS 2201530 HAS SOPS 2201001 HAS SOUS 655818 HAS SOUPS 655761 WITH SCORE 657962.53
AT ITER 7490 NEW BEST:: SOT 8133414 SOS 2201490 HAS SOPS 2200961 HAS SOUS 655738 HAS SOUPS 655681 WITH SCORE 657882.49
AT ITER 7501 NEW BEST:: SOT 8133483 SOS 2201334 HAS SOPS 2200805 HAS SOUS 655426 HAS SOUPS 655369 WITH SCORE 657570.334
AT ITER 7531 NEW BEST:: SOT 8133491 SOS 2201342 HAS SOPS 2200813 HAS SOUS 655210 HAS SOUPS 655153 WITH SCORE 657354.342
AT ITER 7546 NEW BEST:: SOT 8133356 SOS 2201072 HAS SOPS 2200543 HAS SOUS 654940 HAS SOUPS 654883 WITH SCORE 657084.072
AT ITER 7550 NEW BEST:: SOT 8129696 SOS 2316079 HAS SOPS 2315550 HAS SOUS 654801 HAS SOUPS 654744 WITH SCORE 657060.079
AT ITER 7560 NEW BEST:: SOT 8129620 SOS 2316003 HAS SOPS 2315474 HAS SOUS 654123 HAS SOUPS 654066 WITH SCORE 656382.003
AT ITER 7580 NEW BEST:: SOT 8129405 SOS 2315907 HAS SOPS 2315378 HAS SOUS 653911 HAS SOUPS 653854 WITH SCORE 656169.907
AT ITER 7583 NEW BEST:: SOT 8129373 SOS 2315875 HAS SOPS 2315346 HAS SOUS 653863 HAS SOUPS 653806 WITH SCORE 656121.875
AT ITER 7592 NEW BEST:: SOT 8129833 SOS 2316335 HAS SOPS 2315806 HAS SOUS 653282 HAS SOUPS 653225 WITH SCORE 655541.335
AT ITER 7594 NEW BEST:: SOT 8129833 SOS 2316335 HAS SOPS 2315806 HAS SOUS 653213 HAS SOUPS 653156 WITH SCORE 655472.335
AT ITER 7601 NEW BEST:: SOT 8129662 SOS 2316164 HAS SOPS 2315635 HAS SOUS 652716 HAS SOUPS 652659 WITH SCORE 654975.164
AT ITER 7607 NEW BEST:: SOT 8129197 SOS 2315699 HAS SOPS 2315170 HAS SOUS 652251 HAS SOUPS 652194 WITH SCORE 654509.699
AT ITER 7619 NEW BEST:: SOT 8129158 SOS 2315660 HAS SOPS 2315131 HAS SOUS 652212 HAS SOUPS 652155 WITH SCORE 654470.66
AT ITER 7644 NEW BEST:: SOT 8129018 SOS 2265379 HAS SOPS 2264850 HAS SOUS 651961 HAS SOUPS 651904 WITH SCORE 654169.379
AT ITER 7647 NEW BEST:: SOT 8128954 SOS 2265315 HAS SOPS 2264786 HAS SOUS 651897 HAS SOUPS 651840 WITH SCORE 654105.315
AT ITER 7654 NEW BEST:: SOT 8128682 SOS 2265043 HAS SOPS 2264514 HAS SOUS 649177 HAS SOUPS 649120 WITH SCORE 651385.043
AT ITER 7665 NEW BEST:: SOT 8128564 SOS 2264925 HAS SOPS 2264396 HAS SOUS 648941 HAS SOUPS 648884 WITH SCORE 651148.925
AT ITER 7674 NEW BEST:: SOT 8128564 SOS 2264892 HAS SOPS 2264363 HAS SOUS 648941 HAS SOUPS 648884 WITH SCORE 651148.892
AT ITER 7680 NEW BEST:: SOT 8128278 SOS 2264786 HAS SOPS 2264257 HAS SOUS 648700 HAS SOUPS 648643 WITH SCORE 650907.786
AT ITER 7689 NEW BEST:: SOT 8128087 SOS 2264595 HAS SOPS 2264066 HAS SOUS 648412 HAS SOUPS 648355 WITH SCORE 650619.595
AT ITER 7703 NEW BEST:: SOT 8127586 SOS 2264425 HAS SOPS 2263896 HAS SOUS 648112 HAS SOUPS 648055 WITH SCORE 650319.425
AT ITER 7706 NEW BEST:: SOT 8127557 SOS 2243284 HAS SOPS 2242755 HAS SOUS 647967 HAS SOUPS 647910 WITH SCORE 650153.284
AT ITER 7711 NEW BEST:: SOT 8127499 SOS 2243226 HAS SOPS 2242697 HAS SOUS 647793 HAS SOUPS 647736 WITH SCORE 649979.226
AT ITER 7717 NEW BEST:: SOT 8127499 SOS 2243222 HAS SOPS 2242693 HAS SOUS 647792 HAS SOUPS 647735 WITH SCORE 649978.222
AT ITER 7724 NEW BEST:: SOT 8127474 SOS 2243197 HAS SOPS 2242668 HAS SOUS 647413 HAS SOUPS 647356 WITH SCORE 649599.197
AT ITER 7727 NEW BEST:: SOT 8127981 SOS 2243789 HAS SOPS 2243260 HAS SOUS 647248 HAS SOUPS 647191 WITH SCORE 649434.789
AT ITER 7747 NEW BEST:: SOT 8127979 SOS 2243787 HAS SOPS 2243258 HAS SOUS 647111 HAS SOUPS 647054 WITH SCORE 649297.787
AT ITER 7749 NEW BEST:: SOT 8127925 SOS 2243733 HAS SOPS 2243204 HAS SOUS 647057 HAS SOUPS 647000 WITH SCORE 649243.733
AT ITER 7775 NEW BEST:: SOT 8127925 SOS 2243733 HAS SOPS 2243204 HAS SOUS 647051 HAS SOUPS 646994 WITH SCORE 649237.733
AT ITER 7785 NEW BEST:: SOT 8127835 SOS 2243643 HAS SOPS 2243114 HAS SOUS 646961 HAS SOUPS 646904 WITH SCORE 649147.643
AT ITER 7793 NEW BEST:: SOT 8127589 SOS 2243392 HAS SOPS 2242863 HAS SOUS 644431 HAS SOUPS 644374 WITH SCORE 646617.392
AT ITER 7801 NEW BEST:: SOT 8127275 SOS 2243078 HAS SOPS 2242549 HAS SOUS 643967 HAS SOUPS 643910 WITH SCORE 646153.078
AT ITER 7825 NEW BEST:: SOT 8127268 SOS 2243064 HAS SOPS 2242535 HAS SOUS 643953 HAS SOUPS 643896 WITH SCORE 646139.064
AT ITER 7841 NEW BEST:: SOT 8127268 SOS 2243064 HAS SOPS 2242535 HAS SOUS 643906 HAS SOUPS 643849 WITH SCORE 646092.064
AT ITER 7848 NEW BEST:: SOT 8127484 SOS 2243280 HAS SOPS 2242751 HAS SOUS 642952 HAS SOUPS 642895 WITH SCORE 645138.28
AT ITER 7856 NEW BEST:: SOT 8127566 SOS 2243362 HAS SOPS 2242833 HAS SOUS 642909 HAS SOUPS 642852 WITH SCORE 645095.362
AT ITER 7860 NEW BEST:: SOT 8127474 SOS 2243270 HAS SOPS 2242741 HAS SOUS 642870 HAS SOUPS 642813 WITH SCORE 645056.27
AT ITER 7862 NEW BEST:: SOT 8127413 SOS 2245763 HAS SOPS 2245234 HAS SOUS 642548 HAS SOUPS 642491 WITH SCORE 644736.763
AT ITER 7863 NEW BEST:: SOT 8127191 SOS 2245541 HAS SOPS 2245012 HAS SOUS 642258 HAS SOUPS 642201 WITH SCORE 644446.541
AT ITER 7883 NEW BEST:: SOT 8127120 SOS 2245470 HAS SOPS 2244941 HAS SOUS 642117 HAS SOUPS 642060 WITH SCORE 644305.47
AT ITER 7887 NEW BEST:: SOT 8127233 SOS 2245583 HAS SOPS 2245054 HAS SOUS 641312 HAS SOUPS 641255 WITH SCORE 643500.583
AT ITER 7890 NEW BEST:: SOT 8124613 SOS 2259078 HAS SOPS 2258549 HAS SOUS 638528 HAS SOUPS 638471 WITH SCORE 640730.078
AT ITER 7897 NEW BEST:: SOT 8124486 SOS 2259091 HAS SOPS 2258562 HAS SOUS 638356 HAS SOUPS 638299 WITH SCORE 640558.091
AT ITER 7929 NEW BEST:: SOT 8125557 SOS 2260162 HAS SOPS 2259633 HAS SOUS 636890 HAS SOUPS 636833 WITH SCORE 639093.162
AT ITER 7935 NEW BEST:: SOT 8125527 SOS 2260132 HAS SOPS 2259603 HAS SOUS 636860 HAS SOUPS 636803 WITH SCORE 639063.132
AT ITER 7937 NEW BEST:: SOT 8125411 SOS 2260134 HAS SOPS 2259605 HAS SOUS 636614 HAS SOUPS 636557 WITH SCORE 638817.134
AT ITER 7943 NEW BEST:: SOT 8125411 SOS 2260132 HAS SOPS 2259603 HAS SOUS 636614 HAS SOUPS 636557 WITH SCORE 638817.132
AT ITER 7958 NEW BEST:: SOT 8125147 SOS 2259868 HAS SOPS 2259339 HAS SOUS 635519 HAS SOUPS 635462 WITH SCORE 637721.868
AT ITER 7962 NEW BEST:: SOT 8125796 SOS 2260517 HAS SOPS 2259988 HAS SOUS 634971 HAS SOUPS 634914 WITH SCORE 637174.517
AT ITER 7963 NEW BEST:: SOT 8125686 SOS 2260407 HAS SOPS 2259878 HAS SOUS 634798 HAS SOUPS 634741 WITH SCORE 637001.407
AT ITER 8000 NEW BEST:: SOT 8125665 SOS 2260386 HAS SOPS 2259857 HAS SOUS 634735 HAS SOUPS 634678 WITH SCORE 636938.386
AT ITER 8027 NEW BEST:: SOT 8125592 SOS 2260097 HAS SOPS 2259568 HAS SOUS 634446 HAS SOUPS 634389 WITH SCORE 636649.097
AT ITER 8041 NEW BEST:: SOT 8125430 SOS 2259935 HAS SOPS 2259406 HAS SOUS 634284 HAS SOUPS 634227 WITH SCORE 636486.935
AT ITER 8044 NEW BEST:: SOT 8125306 SOS 2259811 HAS SOPS 2259282 HAS SOUS 634160 HAS SOUPS 634103 WITH SCORE 636362.811
AT ITER 8047 NEW BEST:: SOT 8125298 SOS 2259803 HAS SOPS 2259274 HAS SOUS 633856 HAS SOUPS 633799 WITH SCORE 636058.803
AT ITER 8049 NEW BEST:: SOT 8125256 SOS 2259761 HAS SOPS 2259232 HAS SOUS 633814 HAS SOUPS 633757 WITH SCORE 636016.761
AT ITER 8056 NEW BEST:: SOT 8125212 SOS 2259673 HAS SOPS 2259144 HAS SOUS 633726 HAS SOUPS 633669 WITH SCORE 635928.673
AT ITER 8060 NEW BEST:: SOT 8125105 SOS 2259566 HAS SOPS 2259037 HAS SOUS 633619 HAS SOUPS 633562 WITH SCORE 635821.566
AT ITER 8064 NEW BEST:: SOT 8125000 SOS 2259461 HAS SOPS 2258932 HAS SOUS 633302 HAS SOUPS 633245 WITH SCORE 635504.461
AT ITER 8065 NEW BEST:: SOT 8125000 SOS 2259461 HAS SOPS 2258932 HAS SOUS 633148 HAS SOUPS 633091 WITH SCORE 635350.461
AT ITER 8066 NEW BEST:: SOT 8124919 SOS 2259380 HAS SOPS 2258851 HAS SOUS 633064 HAS SOUPS 633007 WITH SCORE 635266.38
AT ITER 8068 NEW BEST:: SOT 8124537 SOS 2258998 HAS SOPS 2258469 HAS SOUS 632502 HAS SOUPS 632445 WITH SCORE 634703.998
AT ITER 8074 NEW BEST:: SOT 8124221 SOS 2258682 HAS SOPS 2258153 HAS SOUS 632075 HAS SOUPS 632018 WITH SCORE 634276.682
AT ITER 8076 NEW BEST:: SOT 8125210 SOS 2259671 HAS SOPS 2259142 HAS SOUS 631881 HAS SOUPS 631824 WITH SCORE 634083.671
AT ITER 8079 NEW BEST:: SOT 8125070 SOS 2259531 HAS SOPS 2259002 HAS SOUS 631766 HAS SOUPS 631709 WITH SCORE 633968.531
AT ITER 8123 NEW BEST:: SOT 8125015 SOS 2259476 HAS SOPS 2258947 HAS SOUS 631211 HAS SOUPS 631154 WITH SCORE 633413.476
AT ITER 8127 NEW BEST:: SOT 8124070 SOS 2258531 HAS SOPS 2258002 HAS SOUS 629497 HAS SOUPS 629440 WITH SCORE 631698.531
AT ITER 8128 NEW BEST:: SOT 8124059 SOS 2258520 HAS SOPS 2257991 HAS SOUS 629464 HAS SOUPS 629407 WITH SCORE 631665.52
AT ITER 8168 NEW BEST:: SOT 8124032 SOS 2258466 HAS SOPS 2257937 HAS SOUS 629410 HAS SOUPS 629353 WITH SCORE 631611.466
AT ITER 8178 NEW BEST:: SOT 8123922 SOS 2258356 HAS SOPS 2257827 HAS SOUS 629164 HAS SOUPS 629107 WITH SCORE 631365.356
AT ITER 8198 NEW BEST:: SOT 8123868 SOS 2258302 HAS SOPS 2257773 HAS SOUS 629056 HAS SOUPS 628999 WITH SCORE 631257.302
AT ITER 8205 NEW BEST:: SOT 8124092 SOS 2258526 HAS SOPS 2257997 HAS SOUS 628672 HAS SOUPS 628615 WITH SCORE 630873.526
AT ITER 8247 NEW BEST:: SOT 8124146 SOS 2258580 HAS SOPS 2258051 HAS SOUS 626567 HAS SOUPS 626510 WITH SCORE 628768.58
AT ITER 8256 NEW BEST:: SOT 8124069 SOS 2258503 HAS SOPS 2257974 HAS SOUS 626258 HAS SOUPS 626201 WITH SCORE 628459.503
AT ITER 8269 NEW BEST:: SOT 8123983 SOS 2258518 HAS SOPS 2257989 HAS SOUS 626172 HAS SOUPS 626115 WITH SCORE 628373.518
AT ITER 8279 NEW BEST:: SOT 8123735 SOS 2258270 HAS SOPS 2257741 HAS SOUS 625845 HAS SOUPS 625788 WITH SCORE 628046.27
AT ITER 8297 NEW BEST:: SOT 8123593 SOS 2258128 HAS SOPS 2257599 HAS SOUS 625565 HAS SOUPS 625508 WITH SCORE 627766.128
AT ITER 8308 NEW BEST:: SOT 8123274 SOS 2257809 HAS SOPS 2257280 HAS SOUS 625246 HAS SOUPS 625189 WITH SCORE 627446.809
AT ITER 8310 NEW BEST:: SOT 8122726 SOS 2257261 HAS SOPS 2256732 HAS SOUS 624337 HAS SOUPS 624280 WITH SCORE 626537.261
AT ITER 8320 NEW BEST:: SOT 8122651 SOS 2257186 HAS SOPS 2256657 HAS SOUS 624256 HAS SOUPS 624199 WITH SCORE 626456.186
AT ITER 8321 NEW BEST:: SOT 8122415 SOS 2256950 HAS SOPS 2256421 HAS SOUS 624020 HAS SOUPS 623963 WITH SCORE 626219.95
AT ITER 8322 NEW BEST:: SOT 8122218 SOS 2256848 HAS SOPS 2256319 HAS SOUS 623816 HAS SOUPS 623759 WITH SCORE 626015.848
AT ITER 8331 NEW BEST:: SOT 8123070 SOS 2257700 HAS SOPS 2257171 HAS SOUS 622629 HAS SOUPS 622572 WITH SCORE 624829.7
AT ITER 8346 NEW BEST:: SOT 8123224 SOS 2257854 HAS SOPS 2257325 HAS SOUS 622169 HAS SOUPS 622112 WITH SCORE 624369.854
AT ITER 8360 NEW BEST:: SOT 8123198 SOS 2257828 HAS SOPS 2257299 HAS SOUS 622143 HAS SOUPS 622086 WITH SCORE 624343.828
AT ITER 8363 NEW BEST:: SOT 8123322 SOS 2258080 HAS SOPS 2257551 HAS SOUS 621995 HAS SOUPS 621938 WITH SCORE 624196.08
AT ITER 8364 NEW BEST:: SOT 8123228 SOS 2257986 HAS SOPS 2257457 HAS SOUS 621764 HAS SOUPS 621707 WITH SCORE 623964.986
AT ITER 8378 NEW BEST:: SOT 8123009 SOS 2257767 HAS SOPS 2257238 HAS SOUS 621326 HAS SOUPS 621269 WITH SCORE 623526.767
AT ITER 8395 NEW BEST:: SOT 8122913 SOS 2257671 HAS SOPS 2257142 HAS SOUS 621230 HAS SOUPS 621173 WITH SCORE 623430.671
AT ITER 8410 NEW BEST:: SOT 8122757 SOS 2257515 HAS SOPS 2256986 HAS SOUS 621048 HAS SOUPS 620991 WITH SCORE 623248.515
AT ITER 8417 NEW BEST:: SOT 8122534 SOS 2257292 HAS SOPS 2256763 HAS SOUS 620825 HAS SOUPS 620768 WITH SCORE 623025.292
AT ITER 8434 NEW BEST:: SOT 8122400 SOS 2257158 HAS SOPS 2256629 HAS SOUS 620671 HAS SOUPS 620614 WITH SCORE 622871.158
AT ITER 8459 NEW BEST:: SOT 8122348 SOS 2257106 HAS SOPS 2256577 HAS SOUS 620596 HAS SOUPS 620539 WITH SCORE 622796.106
AT ITER 8464 NEW BEST:: SOT 8122233 SOS 2256991 HAS SOPS 2256462 HAS SOUS 620481 HAS SOUPS 620424 WITH SCORE 622680.991
AT ITER 8474 NEW BEST:: SOT 8122199 SOS 2256957 HAS SOPS 2256428 HAS SOUS 620413 HAS SOUPS 620356 WITH SCORE 622612.957
AT ITER 8485 NEW BEST:: SOT 8122191 SOS 2256949 HAS SOPS 2256420 HAS SOUS 620397 HAS SOUPS 620340 WITH SCORE 622596.949
AT ITER 8487 NEW BEST:: SOT 8122165 SOS 2256988 HAS SOPS 2256459 HAS SOUS 620348 HAS SOUPS 620291 WITH SCORE 622547.988
AT ITER 8509 NEW BEST:: SOT 8122094 SOS 2256917 HAS SOPS 2256388 HAS SOUS 620259 HAS SOUPS 620202 WITH SCORE 622458.917
AT ITER 8511 NEW BEST:: SOT 8121247 SOS 2256070 HAS SOPS 2255541 HAS SOUS 619668 HAS SOUPS 619611 WITH SCORE 621867.07
AT ITER 8515 NEW BEST:: SOT 8121160 SOS 2255983 HAS SOPS 2255454 HAS SOUS 619563 HAS SOUPS 619506 WITH SCORE 621761.983
AT ITER 8517 NEW BEST:: SOT 8121013 SOS 2255836 HAS SOPS 2255307 HAS SOUS 619416 HAS SOUPS 619359 WITH SCORE 621614.836
AT ITER 8530 NEW BEST:: SOT 8121830 SOS 2256653 HAS SOPS 2256124 HAS SOUS 618917 HAS SOUPS 618860 WITH SCORE 621116.653
AT ITER 8532 NEW BEST:: SOT 8121770 SOS 2256593 HAS SOPS 2256064 HAS SOUS 618857 HAS SOUPS 618800 WITH SCORE 621056.593
AT ITER 8539 NEW BEST:: SOT 8121770 SOS 2256593 HAS SOPS 2256064 HAS SOUS 618650 HAS SOUPS 618593 WITH SCORE 620849.593
AT ITER 8557 NEW BEST:: SOT 8121234 SOS 2256371 HAS SOPS 2255842 HAS SOUS 618010 HAS SOUPS 617953 WITH SCORE 620209.371
AT ITER 8562 NEW BEST:: SOT 8121179 SOS 2256316 HAS SOPS 2255787 HAS SOUS 617875 HAS SOUPS 617818 WITH SCORE 620074.316
AT ITER 8584 NEW BEST:: SOT 8121211 SOS 2256348 HAS SOPS 2255819 HAS SOUS 617715 HAS SOUPS 617658 WITH SCORE 619914.348
AT ITER 8593 NEW BEST:: SOT 8121321 SOS 2256458 HAS SOPS 2255929 HAS SOUS 616490 HAS SOUPS 616433 WITH SCORE 618689.458
AT ITER 8605 NEW BEST:: SOT 8121258 SOS 2256395 HAS SOPS 2255866 HAS SOUS 616325 HAS SOUPS 616268 WITH SCORE 618524.395
AT ITER 8620 NEW BEST:: SOT 8121097 SOS 2256232 HAS SOPS 2255703 HAS SOUS 616140 HAS SOUPS 616083 WITH SCORE 618339.232
AT ITER 8637 NEW BEST:: SOT 8121065 SOS 2256200 HAS SOPS 2255671 HAS SOUS 615748 HAS SOUPS 615691 WITH SCORE 617947.2
AT ITER 8657 NEW BEST:: SOT 8120883 SOS 2256018 HAS SOPS 2255489 HAS SOUS 615566 HAS SOUPS 615509 WITH SCORE 617765.018
AT ITER 8661 NEW BEST:: SOT 8120837 SOS 2255972 HAS SOPS 2255443 HAS SOUS 615497 HAS SOUPS 615440 WITH SCORE 617695.972
AT ITER 8678 NEW BEST:: SOT 8120780 SOS 2255915 HAS SOPS 2255386 HAS SOUS 615184 HAS SOUPS 615127 WITH SCORE 617382.915
AT ITER 8680 NEW BEST:: SOT 8120773 SOS 2255908 HAS SOPS 2255379 HAS SOUS 615155 HAS SOUPS 615098 WITH SCORE 617353.908
AT ITER 8681 NEW BEST:: SOT 8120810 SOS 2255945 HAS SOPS 2255416 HAS SOUS 613279 HAS SOUPS 613222 WITH SCORE 615477.945
AT ITER 8720 NEW BEST:: SOT 8120810 SOS 2255883 HAS SOPS 2255354 HAS SOUS 613222 HAS SOUPS 613165 WITH SCORE 615420.883
AT ITER 8721 NEW BEST:: SOT 8120776 SOS 2255849 HAS SOPS 2255320 HAS SOUS 612970 HAS SOUPS 612913 WITH SCORE 615168.849
AT ITER 8737 NEW BEST:: SOT 8120649 SOS 2255777 HAS SOPS 2255248 HAS SOUS 612881 HAS SOUPS 612824 WITH SCORE 615079.777
AT ITER 8744 NEW BEST:: SOT 8120500 SOS 2255628 HAS SOPS 2255099 HAS SOUS 612524 HAS SOUPS 612467 WITH SCORE 614722.628
AT ITER 8752 NEW BEST:: SOT 8120164 SOS 2255292 HAS SOPS 2254763 HAS SOUS 611852 HAS SOUPS 611795 WITH SCORE 614050.292
AT ITER 8761 NEW BEST:: SOT 8120147 SOS 2255275 HAS SOPS 2254746 HAS SOUS 611835 HAS SOUPS 611778 WITH SCORE 614033.275
AT ITER 8764 NEW BEST:: SOT 8120532 SOS 2255660 HAS SOPS 2255131 HAS SOUS 610828 HAS SOUPS 610771 WITH SCORE 613026.66
AT ITER 8801 NEW BEST:: SOT 8120541 SOS 2255669 HAS SOPS 2255140 HAS SOUS 610786 HAS SOUPS 610729 WITH SCORE 612984.669
AT ITER 8802 NEW BEST:: SOT 8120541 SOS 2255669 HAS SOPS 2255140 HAS SOUS 610765 HAS SOUPS 610708 WITH SCORE 612963.669
AT ITER 8805 NEW BEST:: SOT 8120387 SOS 2255515 HAS SOPS 2254986 HAS SOUS 610500 HAS SOUPS 610443 WITH SCORE 612698.515
AT ITER 8840 NEW BEST:: SOT 8120340 SOS 2255468 HAS SOPS 2254939 HAS SOUS 610359 HAS SOUPS 610302 WITH SCORE 612557.468
AT ITER 8854 NEW BEST:: SOT 8120542 SOS 2255670 HAS SOPS 2255141 HAS SOUS 610261 HAS SOUPS 610204 WITH SCORE 612459.67
AT ITER 8891 NEW BEST:: SOT 8120290 SOS 2255642 HAS SOPS 2255113 HAS SOUS 610205 HAS SOUPS 610148 WITH SCORE 612403.642
AT ITER 8892 NEW BEST:: SOT 8120299 SOS 2255579 HAS SOPS 2255050 HAS SOUS 610125 HAS SOUPS 610068 WITH SCORE 612323.579
AT ITER 8943 NEW BEST:: SOT 8120238 SOS 2255518 HAS SOPS 2254989 HAS SOUS 610064 HAS SOUPS 610007 WITH SCORE 612262.518
AT ITER 8950 NEW BEST:: SOT 8119757 SOS 2255378 HAS SOPS 2254849 HAS SOUS 609784 HAS SOUPS 609727 WITH SCORE 611982.378
AT ITER 8953 NEW BEST:: SOT 8119632 SOS 2255253 HAS SOPS 2254724 HAS SOUS 609659 HAS SOUPS 609602 WITH SCORE 611857.253
AT ITER 8992 NEW BEST:: SOT 8119605 SOS 2255565 HAS SOPS 2255036 HAS SOUS 609605 HAS SOUPS 609548 WITH SCORE 611803.565
AT ITER 9001 NEW BEST:: SOT 8119579 SOS 2255513 HAS SOPS 2254984 HAS SOUS 609553 HAS SOUPS 609496 WITH SCORE 611751.513
AT ITER 9023 NEW BEST:: SOT 8119567 SOS 2255501 HAS SOPS 2254972 HAS SOUS 609541 HAS SOUPS 609484 WITH SCORE 611739.501
AT ITER 9028 NEW BEST:: SOT 8119148 SOS 2255082 HAS SOPS 2254553 HAS SOUS 609157 HAS SOUPS 609100 WITH SCORE 611355.082
AT ITER 9053 NEW BEST:: SOT 8119179 SOS 2255113 HAS SOPS 2254584 HAS SOUS 609150 HAS SOUPS 609093 WITH SCORE 611348.113
AT ITER 9055 NEW BEST:: SOT 8119025 SOS 2254959 HAS SOPS 2254430 HAS SOUS 608885 HAS SOUPS 608828 WITH SCORE 611082.959
AT ITER 9060 NEW BEST:: SOT 8118942 SOS 2254876 HAS SOPS 2254347 HAS SOUS 608742 HAS SOUPS 608685 WITH SCORE 610939.876
AT ITER 9067 NEW BEST:: SOT 8118926 SOS 2254860 HAS SOPS 2254331 HAS SOUS 608726 HAS SOUPS 608669 WITH SCORE 610923.86
AT ITER 9079 NEW BEST:: SOT 8118863 SOS 2254797 HAS SOPS 2254268 HAS SOUS 608573 HAS SOUPS 608516 WITH SCORE 610770.797
AT ITER 9081 NEW BEST:: SOT 8118784 SOS 2254718 HAS SOPS 2254189 HAS SOUS 608494 HAS SOUPS 608437 WITH SCORE 610691.718
AT ITER 9084 NEW BEST:: SOT 8118586 SOS 2254520 HAS SOPS 2253991 HAS SOUS 608442 HAS SOUPS 608385 WITH SCORE 610639.52
AT ITER 9104 NEW BEST:: SOT 8118285 SOS 2254219 HAS SOPS 2253690 HAS SOUS 608141 HAS SOUPS 608084 WITH SCORE 610338.219
AT ITER 9110 NEW BEST:: SOT 8118014 SOS 2253948 HAS SOPS 2253419 HAS SOUS 607677 HAS SOUPS 607620 WITH SCORE 609873.948
AT ITER 9124 NEW BEST:: SOT 8117858 SOS 2253792 HAS SOPS 2253263 HAS SOUS 607347 HAS SOUPS 607290 WITH SCORE 609543.792
AT ITER 9144 NEW BEST:: SOT 8117880 SOS 2253403 HAS SOPS 2252874 HAS SOUS 607325 HAS SOUPS 607268 WITH SCORE 609521.403
AT ITER 9149 NEW BEST:: SOT 8117396 SOS 2252919 HAS SOPS 2252390 HAS SOUS 606699 HAS SOUPS 606642 WITH SCORE 608894.919
AT ITER 9151 NEW BEST:: SOT 8117335 SOS 2252797 HAS SOPS 2252268 HAS SOUS 606577 HAS SOUPS 606520 WITH SCORE 608772.797
AT ITER 9179 NEW BEST:: SOT 8117135 SOS 2252934 HAS SOPS 2252405 HAS SOUS 606301 HAS SOUPS 606244 WITH SCORE 608496.934
AT ITER 9192 NEW BEST:: SOT 8117094 SOS 2253286 HAS SOPS 2252757 HAS SOUS 606275 HAS SOUPS 606218 WITH SCORE 608471.286
AT ITER 9198 NEW BEST:: SOT 8116870 SOS 2253062 HAS SOPS 2252533 HAS SOUS 605827 HAS SOUPS 605770 WITH SCORE 608023.062
AT ITER 9203 NEW BEST:: SOT 8116876 SOS 2253068 HAS SOPS 2252539 HAS SOUS 605791 HAS SOUPS 605734 WITH SCORE 607987.068
AT ITER 9235 NEW BEST:: SOT 8116688 SOS 2252880 HAS SOPS 2252351 HAS SOUS 605388 HAS SOUPS 605331 WITH SCORE 607583.88
AT ITER 9236 NEW BEST:: SOT 8116113 SOS 2252305 HAS SOPS 2251776 HAS SOUS 605208 HAS SOUPS 605151 WITH SCORE 607403.305
AT ITER 9242 NEW BEST:: SOT 8116104 SOS 2252296 HAS SOPS 2251767 HAS SOUS 605199 HAS SOUPS 605142 WITH SCORE 607394.296
AT ITER 9243 NEW BEST:: SOT 8116113 SOS 2252348 HAS SOPS 2251819 HAS SOUS 605175 HAS SOUPS 605118 WITH SCORE 607370.348
AT ITER 9257 NEW BEST:: SOT 8116095 SOS 2252330 HAS SOPS 2251801 HAS SOUS 605113 HAS SOUPS 605056 WITH SCORE 607308.33
AT ITER 9264 NEW BEST:: SOT 8115861 SOS 2252096 HAS SOPS 2251567 HAS SOUS 604879 HAS SOUPS 604822 WITH SCORE 607074.096
AT ITER 9267 NEW BEST:: SOT 8115661 SOS 2251897 HAS SOPS 2251368 HAS SOUS 604452 HAS SOUPS 604395 WITH SCORE 606646.897
AT ITER 9268 NEW BEST:: SOT 8115694 SOS 2251930 HAS SOPS 2251401 HAS SOUS 603783 HAS SOUPS 603726 WITH SCORE 605977.93
AT ITER 9273 NEW BEST:: SOT 8116333 SOS 2252569 HAS SOPS 2252040 HAS SOUS 603128 HAS SOUPS 603071 WITH SCORE 605323.569
AT ITER 9274 NEW BEST:: SOT 8116211 SOS 2252447 HAS SOPS 2251918 HAS SOUS 602985 HAS SOUPS 602928 WITH SCORE 605180.447
AT ITER 9302 NEW BEST:: SOT 8116211 SOS 2252447 HAS SOPS 2251918 HAS SOUS 602835 HAS SOUPS 602778 WITH SCORE 605030.447
AT ITER 9310 NEW BEST:: SOT 8116020 SOS 2252256 HAS SOPS 2251727 HAS SOUS 602481 HAS SOUPS 602424 WITH SCORE 604676.256
AT ITER 9326 NEW BEST:: SOT 8116114 SOS 2252350 HAS SOPS 2251821 HAS SOUS 602281 HAS SOUPS 602224 WITH SCORE 604476.35
AT ITER 9340 NEW BEST:: SOT 8116188 SOS 2252424 HAS SOPS 2251895 HAS SOUS 602194 HAS SOUPS 602137 WITH SCORE 604389.424
AT ITER 9354 NEW BEST:: SOT 8116188 SOS 2252430 HAS SOPS 2251901 HAS SOUS 602184 HAS SOUPS 602127 WITH SCORE 604379.43
AT ITER 9360 NEW BEST:: SOT 8116153 SOS 2252395 HAS SOPS 2251866 HAS SOUS 602156 HAS SOUPS 602099 WITH SCORE 604351.395
AT ITER 9362 NEW BEST:: SOT 8115873 SOS 2252115 HAS SOPS 2251586 HAS SOUS 601592 HAS SOUPS 601535 WITH SCORE 603787.115
AT ITER 9365 NEW BEST:: SOT 8115840 SOS 2252082 HAS SOPS 2251553 HAS SOUS 601538 HAS SOUPS 601481 WITH SCORE 603733.082
AT ITER 9366 NEW BEST:: SOT 8115825 SOS 2252067 HAS SOPS 2251538 HAS SOUS 601523 HAS SOUPS 601466 WITH SCORE 603718.067
AT ITER 9376 NEW BEST:: SOT 8115589 SOS 2252067 HAS SOPS 2251538 HAS SOUS 601051 HAS SOUPS 600994 WITH SCORE 603246.067
AT ITER 9388 NEW BEST:: SOT 8115579 SOS 2252057 HAS SOPS 2251528 HAS SOUS 601031 HAS SOUPS 600974 WITH SCORE 603226.057
AT ITER 9391 NEW BEST:: SOT 8115314 SOS 2251792 HAS SOPS 2251263 HAS SOUS 600766 HAS SOUPS 600709 WITH SCORE 602960.792
AT ITER 9394 NEW BEST:: SOT 8115313 SOS 2251791 HAS SOPS 2251262 HAS SOUS 600628 HAS SOUPS 600571 WITH SCORE 602822.791
AT ITER 9396 NEW BEST:: SOT 8115649 SOS 2252127 HAS SOPS 2251598 HAS SOUS 599120 HAS SOUPS 599063 WITH SCORE 601315.127
AT ITER 9412 NEW BEST:: SOT 8115586 SOS 2251951 HAS SOPS 2251422 HAS SOUS 598846 HAS SOUPS 598789 WITH SCORE 601040.951
AT ITER 9425 NEW BEST:: SOT 8115337 SOS 2251702 HAS SOPS 2251173 HAS SOUS 596152 HAS SOUPS 596095 WITH SCORE 598346.702
AT ITER 9434 NEW BEST:: SOT 8115491 SOS 2251856 HAS SOPS 2251327 HAS SOUS 596098 HAS SOUPS 596041 WITH SCORE 598292.856
AT ITER 9477 NEW BEST:: SOT 8115453 SOS 2251818 HAS SOPS 2251270 HAS SOUS 596041 HAS SOUPS 595984 WITH SCORE 598235.818
AT ITER 9484 NEW BEST:: SOT 8115112 SOS 2251477 HAS SOPS 2250929 HAS SOUS 595538 HAS SOUPS 595481 WITH SCORE 597732.477
AT ITER 9488 NEW BEST:: SOT 8115067 SOS 2251387 HAS SOPS 2250839 HAS SOUS 595448 HAS SOUPS 595391 WITH SCORE 597642.387
AT ITER 9502 NEW BEST:: SOT 8114966 SOS 2251286 HAS SOPS 2250738 HAS SOUS 595347 HAS SOUPS 595290 WITH SCORE 597541.286
AT ITER 9512 NEW BEST:: SOT 8115585 SOS 2251905 HAS SOPS 2251357 HAS SOUS 594995 HAS SOUPS 594938 WITH SCORE 597189.905
AT ITER 9526 NEW BEST:: SOT 8115511 SOS 2251831 HAS SOPS 2251283 HAS SOUS 594520 HAS SOUPS 594463 WITH SCORE 596714.831
AT ITER 9550 NEW BEST:: SOT 8115381 SOS 2251701 HAS SOPS 2251153 HAS SOUS 594520 HAS SOUPS 594463 WITH SCORE 596714.701
AT ITER 9559 NEW BEST:: SOT 8115160 SOS 2251480 HAS SOPS 2250932 HAS SOUS 594299 HAS SOUPS 594242 WITH SCORE 596493.48
AT ITER 9560 NEW BEST:: SOT 8115150 SOS 2251472 HAS SOPS 2250924 HAS SOUS 594291 HAS SOUPS 594234 WITH SCORE 596485.472
AT ITER 9569 NEW BEST:: SOT 8114972 SOS 2251294 HAS SOPS 2250746 HAS SOUS 594047 HAS SOUPS 593990 WITH SCORE 596241.294
AT ITER 9577 NEW BEST:: SOT 8114774 SOS 2251096 HAS SOPS 2250548 HAS SOUS 593777 HAS SOUPS 593720 WITH SCORE 595971.096
AT ITER 9585 NEW BEST:: SOT 8114584 SOS 2250906 HAS SOPS 2250358 HAS SOUS 593413 HAS SOUPS 593356 WITH SCORE 595606.906
AT ITER 9598 NEW BEST:: SOT 8114410 SOS 2250732 HAS SOPS 2250184 HAS SOUS 593266 HAS SOUPS 593209 WITH SCORE 595459.732
AT ITER 9624 NEW BEST:: SOT 8114315 SOS 2250542 HAS SOPS 2249994 HAS SOUS 593076 HAS SOUPS 593019 WITH SCORE 595269.542
AT ITER 9640 NEW BEST:: SOT 8114122 SOS 2250349 HAS SOPS 2249801 HAS SOUS 592813 HAS SOUPS 592756 WITH SCORE 595006.349
AT ITER 9651 NEW BEST:: SOT 8113002 SOS 2249229 HAS SOPS 2248681 HAS SOUS 592451 HAS SOUPS 592394 WITH SCORE 594643.229
AT ITER 9701 NEW BEST:: SOT 8112903 SOS 2249130 HAS SOPS 2248582 HAS SOUS 592352 HAS SOUPS 592295 WITH SCORE 594544.13
AT ITER 9702 NEW BEST:: SOT 8112865 SOS 2249054 HAS SOPS 2248506 HAS SOUS 592276 HAS SOUPS 592219 WITH SCORE 594468.054
AT ITER 9705 NEW BEST:: SOT 8112770 SOS 2248959 HAS SOPS 2248411 HAS SOUS 591641 HAS SOUPS 591584 WITH SCORE 593832.959
AT ITER 9727 NEW BEST:: SOT 8112633 SOS 2248822 HAS SOPS 2248274 HAS SOUS 591433 HAS SOUPS 591376 WITH SCORE 593624.822
AT ITER 9728 NEW BEST:: SOT 8112589 SOS 2248778 HAS SOPS 2248230 HAS SOUS 591257 HAS SOUPS 591200 WITH SCORE 593448.778
AT ITER 9731 NEW BEST:: SOT 8112279 SOS 2248468 HAS SOPS 2247920 HAS SOUS 590407 HAS SOUPS 590350 WITH SCORE 592598.468
AT ITER 9753 NEW BEST:: SOT 8112621 SOS 2248810 HAS SOPS 2248262 HAS SOUS 590349 HAS SOUPS 590292 WITH SCORE 592540.81
AT ITER 9756 NEW BEST:: SOT 8112621 SOS 2248810 HAS SOPS 2248262 HAS SOUS 590337 HAS SOUPS 590280 WITH SCORE 592528.81
AT ITER 9776 NEW BEST:: SOT 8112567 SOS 2248756 HAS SOPS 2248208 HAS SOUS 590283 HAS SOUPS 590226 WITH SCORE 592474.756
AT ITER 9802 NEW BEST:: SOT 8112582 SOS 2248771 HAS SOPS 2248223 HAS SOUS 590183 HAS SOUPS 590126 WITH SCORE 592374.771
AT ITER 9832 NEW BEST:: SOT 8112451 SOS 2248640 HAS SOPS 2248092 HAS SOUS 590052 HAS SOUPS 589995 WITH SCORE 592243.64
AT ITER 9842 NEW BEST:: SOT 8112168 SOS 2248548 HAS SOPS 2248000 HAS SOUS 589868 HAS SOUPS 589811 WITH SCORE 592059.548
AT ITER 9850 NEW BEST:: SOT 8111879 SOS 2248259 HAS SOPS 2247711 HAS SOUS 589579 HAS SOUPS 589522 WITH SCORE 591770.259
AT ITER 9854 NEW BEST:: SOT 8111879 SOS 2248259 HAS SOPS 2247711 HAS SOUS 589030 HAS SOUPS 588973 WITH SCORE 591221.259
AT ITER 9857 NEW BEST:: SOT 8111879 SOS 2248259 HAS SOPS 2247711 HAS SOUS 588919 HAS SOUPS 588862 WITH SCORE 591110.259
AT ITER 9858 NEW BEST:: SOT 8111869 SOS 2248249 HAS SOPS 2247701 HAS SOUS 588884 HAS SOUPS 588827 WITH SCORE 591075.249
AT ITER 9863 NEW BEST:: SOT 8111827 SOS 2248207 HAS SOPS 2247659 HAS SOUS 588776 HAS SOUPS 588719 WITH SCORE 590967.207
AT ITER 9871 NEW BEST:: SOT 8111652 SOS 2248032 HAS SOPS 2247484 HAS SOUS 587122 HAS SOUPS 587065 WITH SCORE 589313.032
AT ITER 9878 NEW BEST:: SOT 8111616 SOS 2247996 HAS SOPS 2247448 HAS SOUS 587050 HAS SOUPS 586993 WITH SCORE 589240.996
AT ITER 9884 NEW BEST:: SOT 8111440 SOS 2247820 HAS SOPS 2247272 HAS SOUS 586729 HAS SOUPS 586672 WITH SCORE 588919.82
AT ITER 9886 NEW BEST:: SOT 8111596 SOS 2247976 HAS SOPS 2247428 HAS SOUS 586328 HAS SOUPS 586271 WITH SCORE 588518.976
AT ITER 9888 NEW BEST:: SOT 8111588 SOS 2247968 HAS SOPS 2247420 HAS SOUS 586224 HAS SOUPS 586167 WITH SCORE 588414.968
AT ITER 9899 NEW BEST:: SOT 8111539 SOS 2247919 HAS SOPS 2247371 HAS SOUS 586175 HAS SOUPS 586118 WITH SCORE 588365.919
AT ITER 9901 NEW BEST:: SOT 8111515 SOS 2247895 HAS SOPS 2247347 HAS SOUS 586167 HAS SOUPS 586110 WITH SCORE 588357.895
AT ITER 9909 NEW BEST:: SOT 8111220 SOS 2247600 HAS SOPS 2247052 HAS SOUS 585739 HAS SOUPS 585682 WITH SCORE 587929.6
AT ITER 9919 NEW BEST:: SOT 8111277 SOS 2247657 HAS SOPS 2247109 HAS SOUS 585701 HAS SOUPS 585644 WITH SCORE 587891.657
AT ITER 9925 NEW BEST:: SOT 8111248 SOS 2247628 HAS SOPS 2247080 HAS SOUS 585685 HAS SOUPS 585628 WITH SCORE 587875.628
AT ITER 9929 NEW BEST:: SOT 8111203 SOS 2227900 HAS SOPS 2227352 HAS SOUS 585514 HAS SOUPS 585457 WITH SCORE 587684.9
AT ITER 9931 NEW BEST:: SOT 8111186 SOS 2227883 HAS SOPS 2227335 HAS SOUS 585492 HAS SOUPS 585435 WITH SCORE 587662.883
AT ITER 9938 NEW BEST:: SOT 8111193 SOS 2227890 HAS SOPS 2227342 HAS SOUS 585474 HAS SOUPS 585417 WITH SCORE 587644.89
AT ITER 9953 NEW BEST:: SOT 8111097 SOS 2227794 HAS SOPS 2227246 HAS SOUS 585378 HAS SOUPS 585321 WITH SCORE 587548.794
AT ITER 9954 NEW BEST:: SOT 8111073 SOS 2227782 HAS SOPS 2227234 HAS SOUS 585354 HAS SOUPS 585297 WITH SCORE 587524.782
AT ITER 9987 NEW BEST:: SOT 8111073 SOS 2227778 HAS SOPS 2227230 HAS SOUS 585334 HAS SOUPS 585277 WITH SCORE 587504.778
AT ITER 9990 NEW BEST:: SOT 8110944 SOS 2227649 HAS SOPS 2227101 HAS SOUS 585162 HAS SOUPS 585105 WITH SCORE 587332.649
AT ITER 9991 NEW BEST:: SOT 8110409 SOS 2227114 HAS SOPS 2226566 HAS SOUS 584161 HAS SOUPS 584104 WITH SCORE 586331.114
AT ITER 9998 NEW BEST:: SOT 8110226 SOS 2226931 HAS SOPS 2226383 HAS SOUS 583820 HAS SOUPS 583763 WITH SCORE 585989.931
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 15980876 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16112568 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is PolyORBNT-PT-S10J80, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r291-tall-167873943400792"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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