Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 584K
-rw-r--r-- 1 mcc users 7.5K Feb 25 23:48 CTLCardinality.txt
-rw-r--r-- 1 mcc users 71K Feb 25 23:48 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.2K Feb 25 23:45 CTLFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 25 23:45 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:36 LTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Feb 25 16:36 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 16:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:36 LTLFireability.xml
-rw-r--r-- 1 mcc users 16K Feb 26 00:01 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 146K Feb 26 00:01 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 25 23:58 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 93K Feb 25 23:58 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:36 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:36 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 7 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 94K 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 1679529378817

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=PolyORBNT-COL-S05J80
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-22 23:56:20] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-22 23:56:20] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-22 23:56:20] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-22 23:56:20] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-22 23:56:21] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 630 ms
[2023-03-22 23:56:21] [INFO ] Imported 48 HL places and 38 HL transitions for a total of 1269 PT places and 2592.0 transition bindings in 18 ms.
[2023-03-22 23:56:21] [INFO ] Unfolded HLPN to a Petri net with 1269 places and 2430 transitions 14624 arcs in 61 ms.
[2023-03-22 23:56:21] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-22 23:56:21] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1269 places, 2430 transitions and 14624 arcs took 31 ms.
Total runtime 827 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBNT (COL), instance S05J80
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 1269 places, 2430 transitions, 14624 arcs.
AT ITER 0 NEW BEST:: SOT 2449065 SOS 1001633 HAS SOPS 1001604 HAS SOUS 575580 HAS SOUPS 575551 WITH SCORE 576552.633
AT ITER 1 NEW BEST:: SOT 2447912 SOS 1000713 HAS SOPS 1000684 HAS SOUS 574805 HAS SOUPS 574776 WITH SCORE 575776.713
AT ITER 2 NEW BEST:: SOT 2447640 SOS 1000713 HAS SOPS 1000684 HAS SOUS 574728 HAS SOUPS 574699 WITH SCORE 575699.713
AT ITER 20 NEW BEST:: SOT 2447442 SOS 1000877 HAS SOPS 1000848 HAS SOUS 574607 HAS SOUPS 574578 WITH SCORE 575578.877
AT ITER 21 NEW BEST:: SOT 2447411 SOS 1000846 HAS SOPS 1000817 HAS SOUS 574572 HAS SOUPS 574543 WITH SCORE 575543.846
AT ITER 22 NEW BEST:: SOT 2446491 SOS 1000043 HAS SOPS 1000014 HAS SOUS 573843 HAS SOUPS 573814 WITH SCORE 574814.043
AT ITER 26 NEW BEST:: SOT 2445930 SOS 999052 HAS SOPS 999023 HAS SOUS 573137 HAS SOUPS 573108 WITH SCORE 574107.052
AT ITER 27 NEW BEST:: SOT 2444681 SOS 998120 HAS SOPS 998091 HAS SOUS 572251 HAS SOUPS 572222 WITH SCORE 573220.12
AT ITER 30 NEW BEST:: SOT 2444494 SOS 997503 HAS SOPS 997474 HAS SOUS 571831 HAS SOUPS 571802 WITH SCORE 572799.503
AT ITER 33 NEW BEST:: SOT 2400320 SOS 953559 HAS SOPS 953530 HAS SOUS 527657 HAS SOUPS 527628 WITH SCORE 528581.559
AT ITER 65 NEW BEST:: SOT 2400341 SOS 954106 HAS SOPS 954077 HAS SOUS 527613 HAS SOUPS 527584 WITH SCORE 528538.106
AT ITER 85 NEW BEST:: SOT 2400341 SOS 953806 HAS SOPS 953777 HAS SOUS 527553 HAS SOUPS 527524 WITH SCORE 528477.806
AT ITER 102 NEW BEST:: SOT 2400229 SOS 953189 HAS SOPS 953160 HAS SOUS 527302 HAS SOUPS 527273 WITH SCORE 528226.189
AT ITER 103 NEW BEST:: SOT 2400032 SOS 952562 HAS SOPS 952533 HAS SOUS 526882 HAS SOUPS 526853 WITH SCORE 527805.562
AT ITER 124 NEW BEST:: SOT 2399554 SOS 952367 HAS SOPS 952338 HAS SOUS 526761 HAS SOUPS 526732 WITH SCORE 527684.367
AT ITER 125 NEW BEST:: SOT 2399554 SOS 952301 HAS SOPS 952272 HAS SOUS 526614 HAS SOUPS 526585 WITH SCORE 527537.301
AT ITER 133 NEW BEST:: SOT 2398744 SOS 951061 HAS SOPS 951032 HAS SOUS 525642 HAS SOUPS 525613 WITH SCORE 526564.061
AT ITER 135 NEW BEST:: SOT 2398744 SOS 950921 HAS SOPS 950892 HAS SOUS 525614 HAS SOUPS 525585 WITH SCORE 526535.921
AT ITER 183 NEW BEST:: SOT 2397851 SOS 950233 HAS SOPS 950204 HAS SOUS 524846 HAS SOUPS 524817 WITH SCORE 525767.233
AT ITER 184 NEW BEST:: SOT 2397851 SOS 950161 HAS SOPS 950132 HAS SOUS 524642 HAS SOUPS 524613 WITH SCORE 525563.161
AT ITER 191 NEW BEST:: SOT 2397851 SOS 950037 HAS SOPS 950008 HAS SOUS 524462 HAS SOUPS 524433 WITH SCORE 525383.037
AT ITER 194 NEW BEST:: SOT 2397712 SOS 949898 HAS SOPS 949869 HAS SOUS 524197 HAS SOUPS 524168 WITH SCORE 525117.898
AT ITER 195 NEW BEST:: SOT 2397565 SOS 949751 HAS SOPS 949722 HAS SOUS 523903 HAS SOUPS 523874 WITH SCORE 524823.751
AT ITER 202 NEW BEST:: SOT 2397491 SOS 949946 HAS SOPS 949917 HAS SOUS 523829 HAS SOUPS 523800 WITH SCORE 524749.946
AT ITER 207 NEW BEST:: SOT 2396495 SOS 949244 HAS SOPS 949215 HAS SOUS 522908 HAS SOUPS 522879 WITH SCORE 523828.244
AT ITER 215 NEW BEST:: SOT 2395746 SOS 948592 HAS SOPS 948563 HAS SOUS 522039 HAS SOUPS 522010 WITH SCORE 522958.592
AT ITER 239 NEW BEST:: SOT 2395746 SOS 948512 HAS SOPS 948483 HAS SOUS 521820 HAS SOUPS 521791 WITH SCORE 522739.512
AT ITER 244 NEW BEST:: SOT 2395797 SOS 948320 HAS SOPS 948291 HAS SOUS 521607 HAS SOUPS 521578 WITH SCORE 522526.32
AT ITER 247 NEW BEST:: SOT 2395834 SOS 948357 HAS SOPS 948328 HAS SOUS 521173 HAS SOUPS 521144 WITH SCORE 522092.357
AT ITER 255 NEW BEST:: SOT 2395310 SOS 947931 HAS SOPS 947902 HAS SOUS 520748 HAS SOUPS 520719 WITH SCORE 521666.931
AT ITER 257 NEW BEST:: SOT 2395387 SOS 947773 HAS SOPS 947744 HAS SOUS 520355 HAS SOUPS 520326 WITH SCORE 521273.773
AT ITER 261 NEW BEST:: SOT 2395317 SOS 947703 HAS SOPS 947674 HAS SOUS 520215 HAS SOUPS 520186 WITH SCORE 521133.703
AT ITER 263 NEW BEST:: SOT 2395166 SOS 947877 HAS SOPS 947848 HAS SOUS 520015 HAS SOUPS 519986 WITH SCORE 520933.877
AT ITER 275 NEW BEST:: SOT 2395036 SOS 947747 HAS SOPS 947718 HAS SOUS 519885 HAS SOUPS 519856 WITH SCORE 520803.747
AT ITER 276 NEW BEST:: SOT 2395036 SOS 947750 HAS SOPS 947721 HAS SOUS 519718 HAS SOUPS 519689 WITH SCORE 520636.75
AT ITER 277 NEW BEST:: SOT 2390068 SOS 970062 HAS SOPS 970033 HAS SOUS 515323 HAS SOUPS 515294 WITH SCORE 516264.062
AT ITER 288 NEW BEST:: SOT 2389878 SOS 969442 HAS SOPS 969413 HAS SOUS 514931 HAS SOUPS 514902 WITH SCORE 515871.442
AT ITER 290 NEW BEST:: SOT 2389094 SOS 968920 HAS SOPS 968891 HAS SOUS 514328 HAS SOUPS 514299 WITH SCORE 515267.92
AT ITER 291 NEW BEST:: SOT 2388718 SOS 968590 HAS SOPS 968561 HAS SOUS 514091 HAS SOUPS 514062 WITH SCORE 515030.59
AT ITER 296 NEW BEST:: SOT 2376330 SOS 956355 HAS SOPS 956173 HAS SOUS 501850 HAS SOUPS 501668 WITH SCORE 502624.355
AT ITER 327 NEW BEST:: SOT 2375774 SOS 955590 HAS SOPS 955408 HAS SOUS 501179 HAS SOUPS 500997 WITH SCORE 501952.59
AT ITER 337 NEW BEST:: SOT 2374986 SOS 955095 HAS SOPS 954913 HAS SOUS 500667 HAS SOUPS 500485 WITH SCORE 501440.095
AT ITER 352 NEW BEST:: SOT 2374455 SOS 954564 HAS SOPS 954382 HAS SOUS 499992 HAS SOUPS 499810 WITH SCORE 500764.564
AT ITER 362 NEW BEST:: SOT 2374197 SOS 954306 HAS SOPS 954124 HAS SOUS 499703 HAS SOUPS 499521 WITH SCORE 500475.306
AT ITER 363 NEW BEST:: SOT 2374229 SOS 954151 HAS SOPS 953969 HAS SOUS 499319 HAS SOUPS 499137 WITH SCORE 500091.151
AT ITER 365 NEW BEST:: SOT 2358905 SOS 1045307 HAS SOPS 1045125 HAS SOUS 492836 HAS SOUPS 492654 WITH SCORE 493699.307
AT ITER 369 NEW BEST:: SOT 2358737 SOS 1044709 HAS SOPS 1044527 HAS SOUS 492416 HAS SOUPS 492234 WITH SCORE 493278.709
AT ITER 375 NEW BEST:: SOT 2334299 SOS 1030779 HAS SOPS 1029865 HAS SOUS 468759 HAS SOUPS 467845 WITH SCORE 468875.779
AT ITER 376 NEW BEST:: SOT 2334299 SOS 1030489 HAS SOPS 1029575 HAS SOUS 468701 HAS SOUPS 467787 WITH SCORE 468817.489
AT ITER 395 NEW BEST:: SOT 2334255 SOS 1030445 HAS SOPS 1029531 HAS SOUS 468672 HAS SOUPS 467758 WITH SCORE 468788.445
AT ITER 399 NEW BEST:: SOT 2334180 SOS 1024951 HAS SOPS 1024112 HAS SOUS 468522 HAS SOUPS 467683 WITH SCORE 468707.951
AT ITER 414 NEW BEST:: SOT 2333810 SOS 1024805 HAS SOPS 1023966 HAS SOUS 468341 HAS SOUPS 467502 WITH SCORE 468526.805
AT ITER 426 NEW BEST:: SOT 2333884 SOS 1025468 HAS SOPS 1024629 HAS SOUS 468322 HAS SOUPS 467483 WITH SCORE 468508.468
AT ITER 431 NEW BEST:: SOT 2333884 SOS 1025395 HAS SOPS 1024556 HAS SOUS 468236 HAS SOUPS 467397 WITH SCORE 468422.395
AT ITER 434 NEW BEST:: SOT 2333140 SOS 1024405 HAS SOPS 1023566 HAS SOUS 467398 HAS SOUPS 466559 WITH SCORE 467583.405
AT ITER 436 NEW BEST:: SOT 2332619 SOS 1023884 HAS SOPS 1023045 HAS SOUS 466779 HAS SOUPS 465940 WITH SCORE 466963.884
AT ITER 443 NEW BEST:: SOT 2332611 SOS 1023876 HAS SOPS 1023037 HAS SOUS 466763 HAS SOUPS 465924 WITH SCORE 466947.876
AT ITER 452 NEW BEST:: SOT 2332647 SOS 1024503 HAS SOPS 1023664 HAS SOUS 466668 HAS SOUPS 465829 WITH SCORE 466853.503
AT ITER 453 NEW BEST:: SOT 2317130 SOS 1071546 HAS SOPS 1070707 HAS SOUS 463177 HAS SOUPS 462338 WITH SCORE 463409.546
AT ITER 469 NEW BEST:: SOT 2316348 SOS 1070518 HAS SOPS 1069679 HAS SOUS 462327 HAS SOUPS 461488 WITH SCORE 462558.518
AT ITER 472 NEW BEST:: SOT 2315509 SOS 1069249 HAS SOPS 1068410 HAS SOUS 461276 HAS SOUPS 460437 WITH SCORE 461506.249
AT ITER 494 NEW BEST:: SOT 2315509 SOS 1069249 HAS SOPS 1068410 HAS SOUS 461261 HAS SOUPS 460422 WITH SCORE 461491.249
AT ITER 499 NEW BEST:: SOT 2315544 SOS 1069554 HAS SOPS 1068715 HAS SOUS 461210 HAS SOUPS 460371 WITH SCORE 461440.554
AT ITER 502 NEW BEST:: SOT 2315489 SOS 1069444 HAS SOPS 1068605 HAS SOUS 461100 HAS SOUPS 460261 WITH SCORE 461330.444
AT ITER 526 NEW BEST:: SOT 2315000 SOS 1069064 HAS SOPS 1068225 HAS SOUS 460820 HAS SOUPS 459981 WITH SCORE 461050.064
AT ITER 530 NEW BEST:: SOT 2314931 SOS 1068995 HAS SOPS 1068156 HAS SOUS 460753 HAS SOUPS 459914 WITH SCORE 460982.995
AT ITER 549 NEW BEST:: SOT 2314111 SOS 1068243 HAS SOPS 1067404 HAS SOUS 459918 HAS SOUPS 459079 WITH SCORE 460147.243
AT ITER 560 NEW BEST:: SOT 2314111 SOS 1068116 HAS SOPS 1067277 HAS SOUS 459638 HAS SOUPS 458799 WITH SCORE 459867.116
AT ITER 571 NEW BEST:: SOT 2314232 SOS 1068019 HAS SOPS 1067180 HAS SOUS 459498 HAS SOUPS 458659 WITH SCORE 459727.019
AT ITER 574 NEW BEST:: SOT 2314355 SOS 1068213 HAS SOPS 1067374 HAS SOUS 459215 HAS SOUPS 458376 WITH SCORE 459444.213
AT ITER 575 NEW BEST:: SOT 2313607 SOS 1067465 HAS SOPS 1066626 HAS SOUS 458341 HAS SOUPS 457502 WITH SCORE 458569.465
AT ITER 581 NEW BEST:: SOT 2313659 SOS 1067386 HAS SOPS 1066547 HAS SOUS 458174 HAS SOUPS 457335 WITH SCORE 458402.386
AT ITER 585 NEW BEST:: SOT 2313553 SOS 1067256 HAS SOPS 1066417 HAS SOUS 458015 HAS SOUPS 457176 WITH SCORE 458243.256
AT ITER 601 NEW BEST:: SOT 2313719 SOS 1067422 HAS SOPS 1066583 HAS SOUS 457942 HAS SOUPS 457103 WITH SCORE 458170.422
AT ITER 603 NEW BEST:: SOT 2313568 SOS 1067271 HAS SOPS 1066432 HAS SOUS 457938 HAS SOUPS 457099 WITH SCORE 458166.271
AT ITER 609 NEW BEST:: SOT 2313568 SOS 1067267 HAS SOPS 1066428 HAS SOUS 457930 HAS SOUPS 457091 WITH SCORE 458158.267
AT ITER 615 NEW BEST:: SOT 2313568 SOS 1067152 HAS SOPS 1066313 HAS SOUS 457620 HAS SOUPS 456781 WITH SCORE 457848.152
AT ITER 628 NEW BEST:: SOT 2313349 SOS 1067073 HAS SOPS 1066234 HAS SOUS 457514 HAS SOUPS 456675 WITH SCORE 457742.073
AT ITER 641 NEW BEST:: SOT 2313349 SOS 1067073 HAS SOPS 1066234 HAS SOUS 457463 HAS SOUPS 456624 WITH SCORE 457691.073
AT ITER 643 NEW BEST:: SOT 2313349 SOS 1067073 HAS SOPS 1066234 HAS SOUS 457411 HAS SOUPS 456572 WITH SCORE 457639.073
AT ITER 646 NEW BEST:: SOT 2313409 SOS 1067633 HAS SOPS 1066794 HAS SOUS 457364 HAS SOUPS 456525 WITH SCORE 457592.633
AT ITER 649 NEW BEST:: SOT 2313409 SOS 1067576 HAS SOPS 1066737 HAS SOUS 457196 HAS SOUPS 456357 WITH SCORE 457424.576
AT ITER 651 NEW BEST:: SOT 2313376 SOS 1067543 HAS SOPS 1066704 HAS SOUS 457188 HAS SOUPS 456349 WITH SCORE 457416.543
AT ITER 667 NEW BEST:: SOT 2313376 SOS 1067355 HAS SOPS 1066516 HAS SOUS 457188 HAS SOUPS 456349 WITH SCORE 457416.355
AT ITER 670 NEW BEST:: SOT 2313376 SOS 1066925 HAS SOPS 1066086 HAS SOUS 457102 HAS SOUPS 456263 WITH SCORE 457329.925
AT ITER 672 NEW BEST:: SOT 2313199 SOS 1066243 HAS SOPS 1065404 HAS SOUS 456647 HAS SOUPS 455808 WITH SCORE 456874.243
AT ITER 674 NEW BEST:: SOT 2313257 SOS 1066929 HAS SOPS 1066090 HAS SOUS 456596 HAS SOUPS 455757 WITH SCORE 456823.929
AT ITER 687 NEW BEST:: SOT 2312929 SOS 1066537 HAS SOPS 1065698 HAS SOUS 456204 HAS SOUPS 455365 WITH SCORE 456431.537
AT ITER 691 NEW BEST:: SOT 2312767 SOS 1066375 HAS SOPS 1065536 HAS SOUS 456042 HAS SOUPS 455203 WITH SCORE 456269.375
AT ITER 704 NEW BEST:: SOT 2312811 SOS 1066163 HAS SOPS 1065324 HAS SOUS 455527 HAS SOUPS 454688 WITH SCORE 455754.163
AT ITER 706 NEW BEST:: SOT 2312848 SOS 1066200 HAS SOPS 1065361 HAS SOUS 455126 HAS SOUPS 454287 WITH SCORE 455353.2
AT ITER 736 NEW BEST:: SOT 2312602 SOS 1065954 HAS SOPS 1065115 HAS SOUS 454880 HAS SOUPS 454041 WITH SCORE 455106.954
AT ITER 746 NEW BEST:: SOT 2311855 SOS 1065373 HAS SOPS 1064534 HAS SOUS 454322 HAS SOUPS 453483 WITH SCORE 454548.373
AT ITER 752 NEW BEST:: SOT 2311304 SOS 1064865 HAS SOPS 1064026 HAS SOUS 453964 HAS SOUPS 453125 WITH SCORE 454189.865
AT ITER 755 NEW BEST:: SOT 2311215 SOS 1065074 HAS SOPS 1064235 HAS SOUS 453875 HAS SOUPS 453036 WITH SCORE 454101.074
AT ITER 779 NEW BEST:: SOT 2311244 SOS 1064915 HAS SOPS 1064076 HAS SOUS 453583 HAS SOUPS 452744 WITH SCORE 453808.915
AT ITER 797 NEW BEST:: SOT 2311315 SOS 1064793 HAS SOPS 1063954 HAS SOUS 453386 HAS SOUPS 452547 WITH SCORE 453611.793
AT ITER 798 NEW BEST:: SOT 2310415 SOS 1063647 HAS SOPS 1062808 HAS SOUS 452386 HAS SOUPS 451547 WITH SCORE 452610.647
AT ITER 807 NEW BEST:: SOT 2310415 SOS 1063217 HAS SOPS 1062378 HAS SOUS 452300 HAS SOUPS 451461 WITH SCORE 452524.217
AT ITER 816 NEW BEST:: SOT 2310402 SOS 1063678 HAS SOPS 1062839 HAS SOUS 452215 HAS SOUPS 451376 WITH SCORE 452439.678
AT ITER 817 NEW BEST:: SOT 2310316 SOS 1063521 HAS SOPS 1062682 HAS SOUS 452215 HAS SOUPS 451376 WITH SCORE 452439.521
AT ITER 825 NEW BEST:: SOT 2310170 SOS 1063386 HAS SOPS 1062547 HAS SOUS 451923 HAS SOUPS 451084 WITH SCORE 452147.386
AT ITER 835 NEW BEST:: SOT 2316549 SOS 1028625 HAS SOPS 1027786 HAS SOUS 450325 HAS SOUPS 449486 WITH SCORE 450514.625
AT ITER 836 NEW BEST:: SOT 2316553 SOS 1028458 HAS SOPS 1027619 HAS SOUS 450090 HAS SOUPS 449251 WITH SCORE 450279.458
AT ITER 839 NEW BEST:: SOT 2316434 SOS 1028314 HAS SOPS 1027475 HAS SOUS 449880 HAS SOUPS 449041 WITH SCORE 450069.314
AT ITER 843 NEW BEST:: SOT 2316314 SOS 1027764 HAS SOPS 1026925 HAS SOUS 449674 HAS SOUPS 448835 WITH SCORE 449862.764
AT ITER 845 NEW BEST:: SOT 2316227 SOS 1027677 HAS SOPS 1026838 HAS SOUS 449587 HAS SOUPS 448748 WITH SCORE 449775.677
AT ITER 851 NEW BEST:: SOT 2316215 SOS 1027783 HAS SOPS 1026944 HAS SOUS 449573 HAS SOUPS 448734 WITH SCORE 449761.783
AT ITER 852 NEW BEST:: SOT 2315455 SOS 1026536 HAS SOPS 1025697 HAS SOUS 449120 HAS SOUPS 448281 WITH SCORE 449307.536
AT ITER 858 NEW BEST:: SOT 2315412 SOS 1026278 HAS SOPS 1025439 HAS SOUS 449077 HAS SOUPS 448238 WITH SCORE 449264.278
AT ITER 859 NEW BEST:: SOT 2315477 SOS 1026038 HAS SOPS 1025199 HAS SOUS 448667 HAS SOUPS 447828 WITH SCORE 448854.038
AT ITER 890 NEW BEST:: SOT 2315477 SOS 1026031 HAS SOPS 1025192 HAS SOUS 448646 HAS SOUPS 447807 WITH SCORE 448833.031
AT ITER 899 NEW BEST:: SOT 2315429 SOS 1026015 HAS SOPS 1025176 HAS SOUS 448550 HAS SOUPS 447711 WITH SCORE 448737.015
AT ITER 901 NEW BEST:: SOT 2315250 SOS 1025836 HAS SOPS 1024997 HAS SOUS 448192 HAS SOUPS 447353 WITH SCORE 448378.836
AT ITER 914 NEW BEST:: SOT 2314788 SOS 1025374 HAS SOPS 1024535 HAS SOUS 447730 HAS SOUPS 446891 WITH SCORE 447916.374
AT ITER 916 NEW BEST:: SOT 2313829 SOS 1024235 HAS SOPS 1024080 HAS SOUS 446915 HAS SOUPS 446760 WITH SCORE 447784.235
AT ITER 917 NEW BEST:: SOT 2313091 SOS 1023497 HAS SOPS 1023342 HAS SOUS 446009 HAS SOUPS 445854 WITH SCORE 446877.497
AT ITER 918 NEW BEST:: SOT 2313091 SOS 1023359 HAS SOPS 1023204 HAS SOUS 445673 HAS SOUPS 445518 WITH SCORE 446541.359
AT ITER 920 NEW BEST:: SOT 2312539 SOS 1022588 HAS SOPS 1022433 HAS SOUS 445007 HAS SOUPS 444852 WITH SCORE 445874.588
AT ITER 930 NEW BEST:: SOT 2311902 SOS 1021477 HAS SOPS 1021322 HAS SOUS 444505 HAS SOUPS 444350 WITH SCORE 445371.477
AT ITER 948 NEW BEST:: SOT 2312065 SOS 1021960 HAS SOPS 1021805 HAS SOUS 444396 HAS SOUPS 444241 WITH SCORE 445262.96
AT ITER 961 NEW BEST:: SOT 2311924 SOS 1021819 HAS SOPS 1021664 HAS SOUS 444255 HAS SOUPS 444100 WITH SCORE 445121.819
AT ITER 974 NEW BEST:: SOT 2311894 SOS 1021804 HAS SOPS 1021649 HAS SOUS 444225 HAS SOUPS 444070 WITH SCORE 445091.804
AT ITER 989 NEW BEST:: SOT 2311894 SOS 1021234 HAS SOPS 1021079 HAS SOUS 444086 HAS SOUPS 443931 WITH SCORE 444952.234
AT ITER 991 NEW BEST:: SOT 2311003 SOS 1020367 HAS SOPS 1020212 HAS SOUS 443038 HAS SOUPS 442883 WITH SCORE 443903.367
AT ITER 1007 NEW BEST:: SOT 2310978 SOS 1020342 HAS SOPS 1020187 HAS SOUS 442988 HAS SOUPS 442833 WITH SCORE 443853.342
AT ITER 1011 NEW BEST:: SOT 2309915 SOS 1019447 HAS SOPS 1019292 HAS SOUS 442253 HAS SOUPS 442098 WITH SCORE 443117.447
AT ITER 1022 NEW BEST:: SOT 2309875 SOS 1019407 HAS SOPS 1019252 HAS SOUS 442213 HAS SOUPS 442058 WITH SCORE 443077.407
AT ITER 1027 NEW BEST:: SOT 2309338 SOS 1018310 HAS SOPS 1018155 HAS SOUS 441444 HAS SOUPS 441289 WITH SCORE 442307.31
AT ITER 1029 NEW BEST:: SOT 2297535 SOS 1026479 HAS SOPS 1026324 HAS SOUS 437399 HAS SOUPS 437244 WITH SCORE 438270.479
AT ITER 1036 NEW BEST:: SOT 2297318 SOS 1026262 HAS SOPS 1026107 HAS SOUS 437323 HAS SOUPS 437168 WITH SCORE 438194.262
AT ITER 1049 NEW BEST:: SOT 2297318 SOS 1026262 HAS SOPS 1026107 HAS SOUS 437312 HAS SOUPS 437157 WITH SCORE 438183.262
AT ITER 1054 NEW BEST:: SOT 2297311 SOS 1026255 HAS SOPS 1026100 HAS SOUS 437289 HAS SOUPS 437134 WITH SCORE 438160.255
AT ITER 1056 NEW BEST:: SOT 2297375 SOS 1026473 HAS SOPS 1026318 HAS SOUS 437250 HAS SOUPS 437095 WITH SCORE 438121.473
AT ITER 1059 NEW BEST:: SOT 2297388 SOS 1026297 HAS SOPS 1026142 HAS SOUS 436871 HAS SOUPS 436716 WITH SCORE 437742.297
AT ITER 1074 NEW BEST:: SOT 2297139 SOS 1025969 HAS SOPS 1025814 HAS SOUS 436628 HAS SOUPS 436473 WITH SCORE 437498.969
AT ITER 1078 NEW BEST:: SOT 2296862 SOS 1025262 HAS SOPS 1025107 HAS SOUS 436375 HAS SOUPS 436220 WITH SCORE 437245.262
AT ITER 1094 NEW BEST:: SOT 2296819 SOS 1025219 HAS SOPS 1025064 HAS SOUS 436367 HAS SOUPS 436212 WITH SCORE 437237.219
AT ITER 1104 NEW BEST:: SOT 2296819 SOS 1024814 HAS SOPS 1024659 HAS SOUS 436286 HAS SOUPS 436131 WITH SCORE 437155.814
AT ITER 1112 NEW BEST:: SOT 2296932 SOS 1024914 HAS SOPS 1024759 HAS SOUS 436235 HAS SOUPS 436080 WITH SCORE 437104.914
AT ITER 1120 NEW BEST:: SOT 2297014 SOS 1025170 HAS SOPS 1025015 HAS SOUS 435866 HAS SOUPS 435711 WITH SCORE 436736.17
AT ITER 1134 NEW BEST:: SOT 2296902 SOS 1025058 HAS SOPS 1024903 HAS SOUS 435566 HAS SOUPS 435411 WITH SCORE 436436.058
AT ITER 1147 NEW BEST:: SOT 2295916 SOS 1024203 HAS SOPS 1024048 HAS SOUS 434544 HAS SOUPS 434389 WITH SCORE 435413.203
AT ITER 1148 NEW BEST:: SOT 2295916 SOS 1024076 HAS SOPS 1023921 HAS SOUS 434290 HAS SOUPS 434135 WITH SCORE 435159.076
AT ITER 1167 NEW BEST:: SOT 2295939 SOS 1024054 HAS SOPS 1023899 HAS SOUS 434241 HAS SOUPS 434086 WITH SCORE 435110.054
AT ITER 1174 NEW BEST:: SOT 2296001 SOS 1024713 HAS SOPS 1024558 HAS SOUS 434209 HAS SOUPS 434054 WITH SCORE 435078.713
AT ITER 1175 NEW BEST:: SOT 2296001 SOS 1024530 HAS SOPS 1024375 HAS SOUS 434209 HAS SOUPS 434054 WITH SCORE 435078.53
AT ITER 1188 NEW BEST:: SOT 2295808 SOS 1024312 HAS SOPS 1024157 HAS SOUS 433870 HAS SOUPS 433715 WITH SCORE 434739.312
AT ITER 1191 NEW BEST:: SOT 2296013 SOS 1026062 HAS SOPS 1025907 HAS SOUS 433674 HAS SOUPS 433519 WITH SCORE 434545.062
AT ITER 1196 NEW BEST:: SOT 2296007 SOS 1026056 HAS SOPS 1025901 HAS SOUS 433662 HAS SOUPS 433507 WITH SCORE 434533.056
AT ITER 1201 NEW BEST:: SOT 2295994 SOS 1025978 HAS SOPS 1025823 HAS SOUS 433636 HAS SOUPS 433481 WITH SCORE 434506.978
AT ITER 1202 NEW BEST:: SOT 2295994 SOS 1025850 HAS SOPS 1025695 HAS SOUS 433304 HAS SOUPS 433149 WITH SCORE 434174.85
AT ITER 1247 NEW BEST:: SOT 2295817 SOS 1025378 HAS SOPS 1025223 HAS SOUS 433127 HAS SOUPS 432972 WITH SCORE 433997.378
AT ITER 1268 NEW BEST:: SOT 2295164 SOS 1024761 HAS SOPS 1024606 HAS SOUS 432655 HAS SOUPS 432500 WITH SCORE 433524.761
AT ITER 1269 NEW BEST:: SOT 2295085 SOS 1024682 HAS SOPS 1024527 HAS SOUS 432655 HAS SOUPS 432500 WITH SCORE 433524.682
AT ITER 1276 NEW BEST:: SOT 2294977 SOS 1024144 HAS SOPS 1023989 HAS SOUS 432353 HAS SOUPS 432198 WITH SCORE 433222.144
AT ITER 1280 NEW BEST:: SOT 2294446 SOS 1023367 HAS SOPS 1023212 HAS SOUS 432015 HAS SOUPS 431860 WITH SCORE 432883.367
AT ITER 1294 NEW BEST:: SOT 2293762 SOS 1022683 HAS SOPS 1022528 HAS SOUS 431175 HAS SOUPS 431020 WITH SCORE 432042.683
AT ITER 1298 NEW BEST:: SOT 2293762 SOS 1022665 HAS SOPS 1022510 HAS SOUS 431175 HAS SOUPS 431020 WITH SCORE 432042.665
AT ITER 1300 NEW BEST:: SOT 2292874 SOS 1022023 HAS SOPS 1021868 HAS SOUS 430615 HAS SOUPS 430460 WITH SCORE 431482.023
AT ITER 1302 NEW BEST:: SOT 2292848 SOS 1021997 HAS SOPS 1021842 HAS SOUS 430589 HAS SOUPS 430434 WITH SCORE 431455.997
AT ITER 1308 NEW BEST:: SOT 2292030 SOS 1020783 HAS SOPS 1020628 HAS SOUS 429529 HAS SOUPS 429374 WITH SCORE 430394.783
AT ITER 1318 NEW BEST:: SOT 2292003 SOS 1020952 HAS SOPS 1020797 HAS SOUS 429502 HAS SOUPS 429347 WITH SCORE 430367.952
AT ITER 1329 NEW BEST:: SOT 2292013 SOS 1020902 HAS SOPS 1020747 HAS SOUS 429370 HAS SOUPS 429215 WITH SCORE 430235.902
AT ITER 1340 NEW BEST:: SOT 2292013 SOS 1020902 HAS SOPS 1020747 HAS SOUS 429356 HAS SOUPS 429201 WITH SCORE 430221.902
AT ITER 1341 NEW BEST:: SOT 2291802 SOS 1020261 HAS SOPS 1020106 HAS SOUS 429103 HAS SOUPS 428948 WITH SCORE 429968.261
AT ITER 1343 NEW BEST:: SOT 2291802 SOS 1020071 HAS SOPS 1019916 HAS SOUS 428629 HAS SOUPS 428474 WITH SCORE 429494.071
AT ITER 1348 NEW BEST:: SOT 2291756 SOS 1020025 HAS SOPS 1019870 HAS SOUS 428614 HAS SOUPS 428459 WITH SCORE 429479.025
AT ITER 1350 NEW BEST:: SOT 2291756 SOS 1019950 HAS SOPS 1019795 HAS SOUS 428453 HAS SOUPS 428298 WITH SCORE 429317.95
AT ITER 1355 NEW BEST:: SOT 2291605 SOS 1019799 HAS SOPS 1019644 HAS SOUS 428151 HAS SOUPS 427996 WITH SCORE 429015.799
AT ITER 1362 NEW BEST:: SOT 2290659 SOS 1019081 HAS SOPS 1018926 HAS SOUS 427548 HAS SOUPS 427393 WITH SCORE 428412.081
AT ITER 1377 NEW BEST:: SOT 2290615 SOS 1019059 HAS SOPS 1018904 HAS SOUS 427504 HAS SOUPS 427349 WITH SCORE 428368.059
AT ITER 1378 NEW BEST:: SOT 2290484 SOS 1018661 HAS SOPS 1018506 HAS SOUS 427391 HAS SOUPS 427236 WITH SCORE 428254.661
AT ITER 1384 NEW BEST:: SOT 2289385 SOS 1017691 HAS SOPS 1017536 HAS SOUS 426117 HAS SOUPS 425962 WITH SCORE 426979.691
AT ITER 1397 NEW BEST:: SOT 2289360 SOS 1017813 HAS SOPS 1017572 HAS SOUS 426185 HAS SOUPS 425944 WITH SCORE 426961.813
AT ITER 1399 NEW BEST:: SOT 2288635 SOS 1017214 HAS SOPS 1016973 HAS SOUS 425647 HAS SOUPS 425406 WITH SCORE 426423.214
AT ITER 1405 NEW BEST:: SOT 2288501 SOS 1017013 HAS SOPS 1016772 HAS SOUS 425420 HAS SOUPS 425179 WITH SCORE 426196.013
AT ITER 1425 NEW BEST:: SOT 2287880 SOS 1016442 HAS SOPS 1016201 HAS SOUS 424766 HAS SOUPS 424525 WITH SCORE 425541.442
AT ITER 1429 NEW BEST:: SOT 2288018 SOS 1016400 HAS SOPS 1016159 HAS SOUS 424603 HAS SOUPS 424362 WITH SCORE 425378.4
AT ITER 1430 NEW BEST:: SOT 2287941 SOS 1015938 HAS SOPS 1015697 HAS SOUS 424372 HAS SOUPS 424131 WITH SCORE 425146.938
AT ITER 1432 NEW BEST:: SOT 2288130 SOS 1015889 HAS SOPS 1015648 HAS SOUS 424301 HAS SOUPS 424060 WITH SCORE 425075.889
AT ITER 1439 NEW BEST:: SOT 2288126 SOS 1015685 HAS SOPS 1015448 HAS SOUS 424293 HAS SOUPS 424056 WITH SCORE 425071.685
AT ITER 1440 NEW BEST:: SOT 2287568 SOS 1015237 HAS SOPS 1015000 HAS SOUS 423735 HAS SOUPS 423498 WITH SCORE 424513.237
AT ITER 1449 NEW BEST:: SOT 2287578 SOS 1015194 HAS SOPS 1014957 HAS SOUS 423625 HAS SOUPS 423388 WITH SCORE 424403.194
AT ITER 1458 NEW BEST:: SOT 2287178 SOS 1014774 HAS SOPS 1014537 HAS SOUS 423202 HAS SOUPS 422965 WITH SCORE 423979.774
AT ITER 1481 NEW BEST:: SOT 2287168 SOS 1014754 HAS SOPS 1014517 HAS SOUS 423150 HAS SOUPS 422913 WITH SCORE 423927.754
AT ITER 1498 NEW BEST:: SOT 2286917 SOS 1014674 HAS SOPS 1014437 HAS SOUS 422648 HAS SOUPS 422411 WITH SCORE 423425.674
AT ITER 1505 NEW BEST:: SOT 2286894 SOS 1014651 HAS SOPS 1014414 HAS SOUS 422602 HAS SOUPS 422365 WITH SCORE 423379.651
AT ITER 1514 NEW BEST:: SOT 2286747 SOS 1014074 HAS SOPS 1013837 HAS SOUS 422222 HAS SOUPS 421985 WITH SCORE 422999.074
AT ITER 1543 NEW BEST:: SOT 2286427 SOS 1013754 HAS SOPS 1013517 HAS SOUS 421915 HAS SOUPS 421678 WITH SCORE 422691.754
AT ITER 1548 NEW BEST:: SOT 2286338 SOS 1013235 HAS SOPS 1012998 HAS SOUS 421651 HAS SOUPS 421414 WITH SCORE 422427.235
AT ITER 1549 NEW BEST:: SOT 2286338 SOS 1013088 HAS SOPS 1012851 HAS SOUS 421631 HAS SOUPS 421394 WITH SCORE 422407.088
AT ITER 1564 NEW BEST:: SOT 2286011 SOS 1012890 HAS SOPS 1012653 HAS SOUS 421619 HAS SOUPS 421382 WITH SCORE 422394.89
AT ITER 1566 NEW BEST:: SOT 2285768 SOS 1012647 HAS SOPS 1012410 HAS SOUS 421379 HAS SOUPS 421142 WITH SCORE 422154.647
AT ITER 1567 NEW BEST:: SOT 2285581 SOS 1012305 HAS SOPS 1012068 HAS SOUS 421042 HAS SOUPS 420805 WITH SCORE 421817.305
AT ITER 1575 NEW BEST:: SOT 2285567 SOS 1012284 HAS SOPS 1012047 HAS SOUS 421028 HAS SOUPS 420791 WITH SCORE 421803.284
AT ITER 1592 NEW BEST:: SOT 2285567 SOS 1012268 HAS SOPS 1012031 HAS SOUS 420980 HAS SOUPS 420743 WITH SCORE 421755.268
AT ITER 1597 NEW BEST:: SOT 2285567 SOS 1012158 HAS SOPS 1011921 HAS SOUS 420958 HAS SOUPS 420721 WITH SCORE 421733.158
AT ITER 1605 NEW BEST:: SOT 2285697 SOS 1013318 HAS SOPS 1013081 HAS SOUS 420851 HAS SOUPS 420614 WITH SCORE 421627.318
AT ITER 1610 NEW BEST:: SOT 2285697 SOS 1012568 HAS SOPS 1012331 HAS SOUS 420851 HAS SOUPS 420614 WITH SCORE 421626.568
AT ITER 1615 NEW BEST:: SOT 2285895 SOS 1014188 HAS SOPS 1013951 HAS SOUS 420486 HAS SOUPS 420249 WITH SCORE 421263.188
AT ITER 1626 NEW BEST:: SOT 2285861 SOS 1014037 HAS SOPS 1013847 HAS SOUS 420439 HAS SOUPS 420249 WITH SCORE 421263.037
AT ITER 1630 NEW BEST:: SOT 2285861 SOS 1013607 HAS SOPS 1013417 HAS SOUS 420353 HAS SOUPS 420163 WITH SCORE 421176.607
AT ITER 1632 NEW BEST:: SOT 2285550 SOS 1013509 HAS SOPS 1013319 HAS SOUS 420088 HAS SOUPS 419898 WITH SCORE 420911.509
AT ITER 1638 NEW BEST:: SOT 2285550 SOS 1013509 HAS SOPS 1013319 HAS SOUS 419928 HAS SOUPS 419738 WITH SCORE 420751.509
AT ITER 1644 NEW BEST:: SOT 2285386 SOS 1013345 HAS SOPS 1013155 HAS SOUS 419928 HAS SOUPS 419738 WITH SCORE 420751.345
AT ITER 1652 NEW BEST:: SOT 2283492 SOS 1014691 HAS SOPS 1014501 HAS SOUS 419761 HAS SOUPS 419571 WITH SCORE 420585.691
AT ITER 1655 NEW BEST:: SOT 2283310 SOS 1014640 HAS SOPS 1014450 HAS SOUS 419743 HAS SOUPS 419553 WITH SCORE 420567.64
AT ITER 1662 NEW BEST:: SOT 2283294 SOS 1014850 HAS SOPS 1014660 HAS SOUS 419727 HAS SOUPS 419537 WITH SCORE 420551.85
AT ITER 1663 NEW BEST:: SOT 2283294 SOS 1014850 HAS SOPS 1014660 HAS SOUS 419725 HAS SOUPS 419535 WITH SCORE 420549.85
AT ITER 1701 NEW BEST:: SOT 2283217 SOS 1014773 HAS SOPS 1014583 HAS SOUS 419571 HAS SOUPS 419381 WITH SCORE 420395.773
AT ITER 1709 NEW BEST:: SOT 2283283 SOS 1014878 HAS SOPS 1014688 HAS SOUS 419236 HAS SOUPS 419046 WITH SCORE 420060.878
AT ITER 1712 NEW BEST:: SOT 2283238 SOS 1014608 HAS SOPS 1014418 HAS SOUS 419146 HAS SOUPS 418956 WITH SCORE 419970.608
AT ITER 1723 NEW BEST:: SOT 2283238 SOS 1014496 HAS SOPS 1014306 HAS SOUS 418949 HAS SOUPS 418759 WITH SCORE 419773.496
AT ITER 1740 NEW BEST:: SOT 2283115 SOS 1014373 HAS SOPS 1014183 HAS SOUS 418898 HAS SOUPS 418708 WITH SCORE 419722.373
AT ITER 1744 NEW BEST:: SOT 2283115 SOS 1014373 HAS SOPS 1014183 HAS SOUS 418878 HAS SOUPS 418688 WITH SCORE 419702.373
AT ITER 1761 NEW BEST:: SOT 2283017 SOS 1014275 HAS SOPS 1014085 HAS SOUS 418626 HAS SOUPS 418436 WITH SCORE 419450.275
AT ITER 1765 NEW BEST:: SOT 2282686 SOS 1012982 HAS SOPS 1012792 HAS SOUS 418193 HAS SOUPS 418003 WITH SCORE 419015.982
AT ITER 1778 NEW BEST:: SOT 2282014 SOS 1012537 HAS SOPS 1012347 HAS SOUS 418019 HAS SOUPS 417829 WITH SCORE 418841.537
AT ITER 1792 NEW BEST:: SOT 2281405 SOS 1010933 HAS SOPS 1010743 HAS SOUS 417398 HAS SOUPS 417208 WITH SCORE 418218.933
AT ITER 1813 NEW BEST:: SOT 2281222 SOS 1010750 HAS SOPS 1010560 HAS SOUS 417215 HAS SOUPS 417025 WITH SCORE 418035.75
AT ITER 1822 NEW BEST:: SOT 2281091 SOS 1010947 HAS SOPS 1010757 HAS SOUS 416953 HAS SOUPS 416763 WITH SCORE 417773.947
AT ITER 1824 NEW BEST:: SOT 2280215 SOS 1009801 HAS SOPS 1009611 HAS SOUS 416419 HAS SOUPS 416229 WITH SCORE 417238.801
AT ITER 1825 NEW BEST:: SOT 2279376 SOS 1008962 HAS SOPS 1008772 HAS SOUS 415454 HAS SOUPS 415264 WITH SCORE 416272.962
AT ITER 1829 NEW BEST:: SOT 2279376 SOS 1008962 HAS SOPS 1008772 HAS SOUS 415432 HAS SOUPS 415242 WITH SCORE 416250.962
AT ITER 1833 NEW BEST:: SOT 2279249 SOS 1009040 HAS SOPS 1008850 HAS SOUS 415249 HAS SOUPS 415059 WITH SCORE 416068.04
AT ITER 1835 NEW BEST:: SOT 2279249 SOS 1008735 HAS SOPS 1008545 HAS SOUS 415188 HAS SOUPS 414998 WITH SCORE 416006.735
AT ITER 1847 NEW BEST:: SOT 2279145 SOS 1009124 HAS SOPS 1008934 HAS SOUS 414980 HAS SOUPS 414790 WITH SCORE 415799.124
AT ITER 1848 NEW BEST:: SOT 2278750 SOS 1008516 HAS SOPS 1008326 HAS SOUS 414643 HAS SOUPS 414453 WITH SCORE 415461.516
AT ITER 1849 NEW BEST:: SOT 2278651 SOS 1008143 HAS SOPS 1007953 HAS SOUS 413897 HAS SOUPS 413707 WITH SCORE 414715.143
AT ITER 1852 NEW BEST:: SOT 2278647 SOS 1008375 HAS SOPS 1008185 HAS SOUS 413893 HAS SOUPS 413703 WITH SCORE 414711.375
AT ITER 1853 NEW BEST:: SOT 2278528 SOS 1008256 HAS SOPS 1008066 HAS SOUS 413764 HAS SOUPS 413574 WITH SCORE 414582.256
AT ITER 1864 NEW BEST:: SOT 2278009 SOS 1007737 HAS SOPS 1007547 HAS SOUS 413398 HAS SOUPS 413208 WITH SCORE 414215.737
AT ITER 1875 NEW BEST:: SOT 2277157 SOS 1007081 HAS SOPS 1006891 HAS SOUS 412494 HAS SOUPS 412304 WITH SCORE 413311.081
AT ITER 1908 NEW BEST:: SOT 2277157 SOS 1007081 HAS SOPS 1006891 HAS SOUS 412402 HAS SOUPS 412212 WITH SCORE 413219.081
AT ITER 1909 NEW BEST:: SOT 2277167 SOS 1007117 HAS SOPS 1006927 HAS SOUS 412326 HAS SOUPS 412136 WITH SCORE 413143.117
AT ITER 1919 NEW BEST:: SOT 2276969 SOS 1006919 HAS SOPS 1006729 HAS SOUS 412062 HAS SOUPS 411872 WITH SCORE 412878.919
AT ITER 1921 NEW BEST:: SOT 2276949 SOS 1006899 HAS SOPS 1006709 HAS SOUS 412022 HAS SOUPS 411832 WITH SCORE 412838.899
AT ITER 1933 NEW BEST:: SOT 2277031 SOS 1006850 HAS SOPS 1006660 HAS SOUS 411965 HAS SOUPS 411775 WITH SCORE 412781.85
AT ITER 1934 NEW BEST:: SOT 2277019 SOS 1006838 HAS SOPS 1006648 HAS SOUS 411957 HAS SOUPS 411767 WITH SCORE 412773.838
AT ITER 1944 NEW BEST:: SOT 2276960 SOS 1004168 HAS SOPS 1004037 HAS SOUS 411839 HAS SOUPS 411708 WITH SCORE 412712.168
AT ITER 1947 NEW BEST:: SOT 2276574 SOS 1003862 HAS SOPS 1003731 HAS SOUS 411773 HAS SOUPS 411642 WITH SCORE 412645.862
AT ITER 1950 NEW BEST:: SOT 2276310 SOS 1004493 HAS SOPS 1004362 HAS SOUS 411688 HAS SOUPS 411557 WITH SCORE 412561.493
AT ITER 1952 NEW BEST:: SOT 2276260 SOS 1004443 HAS SOPS 1004312 HAS SOUS 411617 HAS SOUPS 411486 WITH SCORE 412490.443
AT ITER 1957 NEW BEST:: SOT 2276138 SOS 1004443 HAS SOPS 1004312 HAS SOUS 411373 HAS SOUPS 411242 WITH SCORE 412246.443
AT ITER 1963 NEW BEST:: SOT 2276063 SOS 1003918 HAS SOPS 1003787 HAS SOUS 411148 HAS SOUPS 411017 WITH SCORE 412020.918
AT ITER 1967 NEW BEST:: SOT 2274489 SOS 1002647 HAS SOPS 1002516 HAS SOUS 409796 HAS SOUPS 409665 WITH SCORE 410667.647
AT ITER 1970 NEW BEST:: SOT 2274707 SOS 1002548 HAS SOPS 1002417 HAS SOUS 409264 HAS SOUPS 409133 WITH SCORE 410135.548
AT ITER 1972 NEW BEST:: SOT 2274707 SOS 1002407 HAS SOPS 1002276 HAS SOUS 409223 HAS SOUPS 409092 WITH SCORE 410094.407
AT ITER 1974 NEW BEST:: SOT 2274707 SOS 1002185 HAS SOPS 1002054 HAS SOUS 409223 HAS SOUPS 409092 WITH SCORE 410094.185
AT ITER 1977 NEW BEST:: SOT 2274707 SOS 1001900 HAS SOPS 1001769 HAS SOUS 409166 HAS SOUPS 409035 WITH SCORE 410036.9
AT ITER 1982 NEW BEST:: SOT 2274648 SOS 1001841 HAS SOPS 1001710 HAS SOUS 409166 HAS SOUPS 409035 WITH SCORE 410036.841
AT ITER 1995 NEW BEST:: SOT 2274259 SOS 1001521 HAS SOPS 1001390 HAS SOUS 409126 HAS SOUPS 408995 WITH SCORE 409996.521
AT ITER 1996 NEW BEST:: SOT 2274085 SOS 1001347 HAS SOPS 1001216 HAS SOUS 408952 HAS SOUPS 408821 WITH SCORE 409822.347
AT ITER 2005 NEW BEST:: SOT 2274085 SOS 1001347 HAS SOPS 1001216 HAS SOUS 408897 HAS SOUPS 408766 WITH SCORE 409767.347
AT ITER 2006 NEW BEST:: SOT 2273964 SOS 1001635 HAS SOPS 1001504 HAS SOUS 408768 HAS SOUPS 408637 WITH SCORE 409638.635
AT ITER 2012 NEW BEST:: SOT 2273964 SOS 1001635 HAS SOPS 1001504 HAS SOUS 408721 HAS SOUPS 408590 WITH SCORE 409591.635
AT ITER 2018 NEW BEST:: SOT 2273964 SOS 1001635 HAS SOPS 1001504 HAS SOUS 408611 HAS SOUPS 408480 WITH SCORE 409481.635
AT ITER 2026 NEW BEST:: SOT 2273964 SOS 1001495 HAS SOPS 1001364 HAS SOUS 408252 HAS SOUPS 408121 WITH SCORE 409122.495
AT ITER 2033 NEW BEST:: SOT 2273854 SOS 1001055 HAS SOPS 1000924 HAS SOUS 408142 HAS SOUPS 408011 WITH SCORE 409012.055
AT ITER 2040 NEW BEST:: SOT 2273643 SOS 1000844 HAS SOPS 1000713 HAS SOUS 408043 HAS SOUPS 407912 WITH SCORE 408912.844
AT ITER 2042 NEW BEST:: SOT 2273168 SOS 1000484 HAS SOPS 1000353 HAS SOUS 407881 HAS SOUPS 407750 WITH SCORE 408750.484
AT ITER 2061 NEW BEST:: SOT 2273164 SOS 1000480 HAS SOPS 1000349 HAS SOUS 407873 HAS SOUPS 407742 WITH SCORE 408742.48
AT ITER 2067 NEW BEST:: SOT 2273158 SOS 1000474 HAS SOPS 1000343 HAS SOUS 407861 HAS SOUPS 407730 WITH SCORE 408730.474
AT ITER 2068 NEW BEST:: SOT 2273190 SOS 1000506 HAS SOPS 1000375 HAS SOUS 407699 HAS SOUPS 407568 WITH SCORE 408568.506
AT ITER 2074 NEW BEST:: SOT 2273190 SOS 1000482 HAS SOPS 1000351 HAS SOUS 407699 HAS SOUPS 407568 WITH SCORE 408568.482
AT ITER 2084 NEW BEST:: SOT 2273042 SOS 1000334 HAS SOPS 1000203 HAS SOUS 407697 HAS SOUPS 407566 WITH SCORE 408566.334
AT ITER 2085 NEW BEST:: SOT 2272916 SOS 1000208 HAS SOPS 1000077 HAS SOUS 407571 HAS SOUPS 407440 WITH SCORE 408440.208
AT ITER 2094 NEW BEST:: SOT 2272914 SOS 1000206 HAS SOPS 1000075 HAS SOUS 407567 HAS SOUPS 407436 WITH SCORE 408436.206
AT ITER 2097 NEW BEST:: SOT 2272914 SOS 1000152 HAS SOPS 1000021 HAS SOUS 407459 HAS SOUPS 407328 WITH SCORE 408328.152
AT ITER 2103 NEW BEST:: SOT 2272812 SOS 1000130 HAS SOPS 999999 HAS SOUS 407271 HAS SOUPS 407140 WITH SCORE 408140.13
AT ITER 2105 NEW BEST:: SOT 2272994 SOS 1000395 HAS SOPS 1000264 HAS SOUS 406984 HAS SOUPS 406853 WITH SCORE 407853.395
AT ITER 2114 NEW BEST:: SOT 2258899 SOS 1004179 HAS SOPS 1004048 HAS SOUS 406720 HAS SOUPS 406589 WITH SCORE 407593.179
AT ITER 2117 NEW BEST:: SOT 2259061 SOS 1004367 HAS SOPS 1004236 HAS SOUS 406688 HAS SOUPS 406557 WITH SCORE 407561.367
AT ITER 2120 NEW BEST:: SOT 2259185 SOS 1004243 HAS SOPS 1004112 HAS SOUS 406394 HAS SOUPS 406263 WITH SCORE 407267.243
AT ITER 2129 NEW BEST:: SOT 2258985 SOS 1004060 HAS SOPS 1003929 HAS SOUS 406394 HAS SOUPS 406263 WITH SCORE 407267.06
AT ITER 2132 NEW BEST:: SOT 2259064 SOS 1004139 HAS SOPS 1004008 HAS SOUS 406142 HAS SOUPS 406011 WITH SCORE 407015.139
AT ITER 2134 NEW BEST:: SOT 2258652 SOS 1003062 HAS SOPS 1002931 HAS SOUS 405811 HAS SOUPS 405680 WITH SCORE 406683.062
AT ITER 2156 NEW BEST:: SOT 2258582 SOS 1004747 HAS SOPS 1004616 HAS SOUS 405430 HAS SOUPS 405299 WITH SCORE 406303.747
AT ITER 2169 NEW BEST:: SOT 2257581 SOS 1003316 HAS SOPS 1003185 HAS SOUS 404438 HAS SOUPS 404307 WITH SCORE 405310.316
AT ITER 2170 NEW BEST:: SOT 2257548 SOS 1003283 HAS SOPS 1003152 HAS SOUS 404249 HAS SOUPS 404118 WITH SCORE 405121.283
AT ITER 2174 NEW BEST:: SOT 2257526 SOS 1003261 HAS SOPS 1003130 HAS SOUS 404205 HAS SOUPS 404074 WITH SCORE 405077.261
AT ITER 2182 NEW BEST:: SOT 2257533 SOS 1003268 HAS SOPS 1003137 HAS SOUS 404135 HAS SOUPS 404004 WITH SCORE 405007.268
AT ITER 2187 NEW BEST:: SOT 2257471 SOS 1003206 HAS SOPS 1003075 HAS SOUS 404131 HAS SOUPS 404000 WITH SCORE 405003.206
AT ITER 2195 NEW BEST:: SOT 2257374 SOS 1003109 HAS SOPS 1002978 HAS SOUS 404020 HAS SOUPS 403889 WITH SCORE 404892.109
AT ITER 2196 NEW BEST:: SOT 2257412 SOS 1003061 HAS SOPS 1002930 HAS SOUS 403968 HAS SOUPS 403837 WITH SCORE 404840.061
AT ITER 2199 NEW BEST:: SOT 2256603 SOS 1002435 HAS SOPS 1002304 HAS SOUS 403291 HAS SOUPS 403160 WITH SCORE 404162.435
AT ITER 2204 NEW BEST:: SOT 2256632 SOS 1002322 HAS SOPS 1002191 HAS SOUS 402968 HAS SOUPS 402837 WITH SCORE 403839.322
AT ITER 2257 NEW BEST:: SOT 2256638 SOS 1002177 HAS SOPS 1002046 HAS SOUS 402862 HAS SOUPS 402731 WITH SCORE 403733.177
AT ITER 2269 NEW BEST:: SOT 2253555 SOS 1006761 HAS SOPS 1006630 HAS SOUS 399962 HAS SOUPS 399831 WITH SCORE 400837.761
AT ITER 2278 NEW BEST:: SOT 2253772 SOS 1006799 HAS SOPS 1006668 HAS SOUS 399917 HAS SOUPS 399786 WITH SCORE 400792.799
AT ITER 2284 NEW BEST:: SOT 2253772 SOS 1006799 HAS SOPS 1006668 HAS SOUS 399911 HAS SOUPS 399780 WITH SCORE 400786.799
AT ITER 2290 NEW BEST:: SOT 2253685 SOS 1006717 HAS SOPS 1006586 HAS SOUS 399738 HAS SOUPS 399607 WITH SCORE 400613.717
AT ITER 2293 NEW BEST:: SOT 2253681 SOS 1006713 HAS SOPS 1006582 HAS SOUS 399738 HAS SOUPS 399607 WITH SCORE 400613.713
AT ITER 2310 NEW BEST:: SOT 2253646 SOS 1006628 HAS SOPS 1006497 HAS SOUS 399738 HAS SOUPS 399607 WITH SCORE 400613.628
AT ITER 2316 NEW BEST:: SOT 2253213 SOS 1006195 HAS SOPS 1006064 HAS SOUS 399305 HAS SOUPS 399174 WITH SCORE 400180.195
AT ITER 2331 NEW BEST:: SOT 2253205 SOS 1005531 HAS SOPS 1005400 HAS SOUS 399281 HAS SOUPS 399150 WITH SCORE 400155.531
AT ITER 2335 NEW BEST:: SOT 2253165 SOS 1005491 HAS SOPS 1005360 HAS SOUS 399189 HAS SOUPS 399058 WITH SCORE 400063.491
AT ITER 2340 NEW BEST:: SOT 2253157 SOS 1005483 HAS SOPS 1005352 HAS SOUS 399181 HAS SOUPS 399050 WITH SCORE 400055.483
AT ITER 2345 NEW BEST:: SOT 2253184 SOS 1005546 HAS SOPS 1005415 HAS SOUS 399083 HAS SOUPS 398952 WITH SCORE 399957.546
AT ITER 2365 NEW BEST:: SOT 2253118 SOS 1005480 HAS SOPS 1005349 HAS SOUS 399017 HAS SOUPS 398886 WITH SCORE 399891.48
AT ITER 2368 NEW BEST:: SOT 2252891 SOS 1005085 HAS SOPS 1004954 HAS SOUS 398196 HAS SOUPS 398065 WITH SCORE 399070.085
AT ITER 2382 NEW BEST:: SOT 2253067 SOS 1005248 HAS SOPS 1004928 HAS SOUS 398381 HAS SOUPS 398061 WITH SCORE 399066.248
AT ITER 2397 NEW BEST:: SOT 2253149 SOS 1005289 HAS SOPS 1004969 HAS SOUS 398306 HAS SOUPS 397986 WITH SCORE 398991.289
AT ITER 2407 NEW BEST:: SOT 2252902 SOS 1005042 HAS SOPS 1004722 HAS SOUS 398056 HAS SOUPS 397736 WITH SCORE 398741.042
AT ITER 2410 NEW BEST:: SOT 2253027 SOS 1005167 HAS SOPS 1004847 HAS SOUS 398053 HAS SOUPS 397733 WITH SCORE 398738.167
AT ITER 2427 NEW BEST:: SOT 2252555 SOS 1004893 HAS SOPS 1004573 HAS SOUS 397643 HAS SOUPS 397323 WITH SCORE 398327.893
AT ITER 2438 NEW BEST:: SOT 2252444 SOS 1004822 HAS SOPS 1004502 HAS SOUS 397572 HAS SOUPS 397252 WITH SCORE 398256.822
AT ITER 2443 NEW BEST:: SOT 2252320 SOS 1004698 HAS SOPS 1004378 HAS SOUS 397487 HAS SOUPS 397167 WITH SCORE 398171.698
AT ITER 2444 NEW BEST:: SOT 2251975 SOS 1004353 HAS SOPS 1004033 HAS SOUS 397142 HAS SOUPS 396822 WITH SCORE 397826.353
AT ITER 2455 NEW BEST:: SOT 2251975 SOS 1004353 HAS SOPS 1004033 HAS SOUS 397141 HAS SOUPS 396821 WITH SCORE 397825.353
AT ITER 2458 NEW BEST:: SOT 2251975 SOS 1004353 HAS SOPS 1004033 HAS SOUS 397115 HAS SOUPS 396795 WITH SCORE 397799.353
AT ITER 2472 NEW BEST:: SOT 2251903 SOS 1004281 HAS SOPS 1003961 HAS SOUS 397091 HAS SOUPS 396771 WITH SCORE 397775.281
AT ITER 2512 NEW BEST:: SOT 2251736 SOS 1003947 HAS SOPS 1003627 HAS SOUS 396757 HAS SOUPS 396437 WITH SCORE 397440.947
AT ITER 2520 NEW BEST:: SOT 2251585 SOS 1003041 HAS SOPS 1002721 HAS SOUS 396455 HAS SOUPS 396135 WITH SCORE 397138.041
AT ITER 2549 NEW BEST:: SOT 2251483 SOS 1002837 HAS SOPS 1002517 HAS SOUS 396279 HAS SOUPS 395959 WITH SCORE 396961.837
AT ITER 2554 NEW BEST:: SOT 2251613 SOS 1003176 HAS SOPS 1002856 HAS SOUS 396070 HAS SOUPS 395750 WITH SCORE 396753.176
AT ITER 2573 NEW BEST:: SOT 2251656 SOS 1003928 HAS SOPS 1003608 HAS SOUS 396058 HAS SOUPS 395738 WITH SCORE 396741.928
AT ITER 2577 NEW BEST:: SOT 2251260 SOS 1003532 HAS SOPS 1003212 HAS SOUS 395800 HAS SOUPS 395480 WITH SCORE 396483.532
AT ITER 2578 NEW BEST:: SOT 2251260 SOS 1003547 HAS SOPS 1003227 HAS SOUS 395795 HAS SOUPS 395475 WITH SCORE 396478.547
AT ITER 2580 NEW BEST:: SOT 2251228 SOS 1003515 HAS SOPS 1003195 HAS SOUS 395795 HAS SOUPS 395475 WITH SCORE 396478.515
AT ITER 2594 NEW BEST:: SOT 2251228 SOS 1003430 HAS SOPS 1003110 HAS SOUS 395778 HAS SOUPS 395458 WITH SCORE 396461.43
AT ITER 2635 NEW BEST:: SOT 2251012 SOS 1001474 HAS SOPS 1001154 HAS SOUS 395322 HAS SOUPS 395002 WITH SCORE 396003.474
AT ITER 2646 NEW BEST:: SOT 2250886 SOS 1001348 HAS SOPS 1001028 HAS SOUS 395190 HAS SOUPS 394870 WITH SCORE 395871.348
AT ITER 2655 NEW BEST:: SOT 2250827 SOS 1001289 HAS SOPS 1000969 HAS SOUS 395179 HAS SOUPS 394859 WITH SCORE 395860.289
AT ITER 2665 NEW BEST:: SOT 2250653 SOS 1000430 HAS SOPS 1000110 HAS SOUS 394827 HAS SOUPS 394507 WITH SCORE 395507.43
AT ITER 2667 NEW BEST:: SOT 2250365 SOS 999712 HAS SOPS 999392 HAS SOUS 394389 HAS SOUPS 394069 WITH SCORE 395068.712
AT ITER 2668 NEW BEST:: SOT 2250331 SOS 999678 HAS SOPS 999358 HAS SOUS 394383 HAS SOUPS 394063 WITH SCORE 395062.678
AT ITER 2675 NEW BEST:: SOT 2250235 SOS 999652 HAS SOPS 999332 HAS SOUS 394331 HAS SOUPS 394011 WITH SCORE 395010.652
AT ITER 2684 NEW BEST:: SOT 2250213 SOS 999702 HAS SOPS 999382 HAS SOUS 394287 HAS SOUPS 393967 WITH SCORE 394966.702
AT ITER 2698 NEW BEST:: SOT 2250213 SOS 999681 HAS SOPS 999361 HAS SOUS 394245 HAS SOUPS 393925 WITH SCORE 394924.681
AT ITER 2708 NEW BEST:: SOT 2250213 SOS 999251 HAS SOPS 998931 HAS SOUS 394159 HAS SOUPS 393839 WITH SCORE 394838.251
AT ITER 2724 NEW BEST:: SOT 2250107 SOS 999145 HAS SOPS 998825 HAS SOUS 393973 HAS SOUPS 393653 WITH SCORE 394652.145
AT ITER 2726 NEW BEST:: SOT 2250054 SOS 999092 HAS SOPS 998772 HAS SOUS 393967 HAS SOUPS 393647 WITH SCORE 394646.092
AT ITER 2734 NEW BEST:: SOT 2249495 SOS 998103 HAS SOPS 997783 HAS SOUS 393524 HAS SOUPS 393204 WITH SCORE 394202.103
AT ITER 2770 NEW BEST:: SOT 2249441 SOS 998049 HAS SOPS 997729 HAS SOUS 393352 HAS SOUPS 393032 WITH SCORE 394030.049
AT ITER 2778 NEW BEST:: SOT 2249270 SOS 997878 HAS SOPS 997558 HAS SOUS 393180 HAS SOUPS 392860 WITH SCORE 393857.878
AT ITER 2787 NEW BEST:: SOT 2248803 SOS 997388 HAS SOPS 997068 HAS SOUS 392412 HAS SOUPS 392092 WITH SCORE 393089.388
AT ITER 2802 NEW BEST:: SOT 2248481 SOS 996111 HAS SOPS 995791 HAS SOUS 391899 HAS SOUPS 391579 WITH SCORE 392575.111
AT ITER 2803 NEW BEST:: SOT 2248481 SOS 996111 HAS SOPS 995791 HAS SOUS 391896 HAS SOUPS 391576 WITH SCORE 392572.111
AT ITER 2809 NEW BEST:: SOT 2248481 SOS 996111 HAS SOPS 995791 HAS SOUS 391884 HAS SOUPS 391564 WITH SCORE 392560.111
AT ITER 2846 NEW BEST:: SOT 2248416 SOS 996227 HAS SOPS 995907 HAS SOUS 391754 HAS SOUPS 391434 WITH SCORE 392430.227
AT ITER 2847 NEW BEST:: SOT 2247908 SOS 995529 HAS SOPS 995209 HAS SOUS 391246 HAS SOUPS 390926 WITH SCORE 391921.529
AT ITER 2872 NEW BEST:: SOT 2247908 SOS 994725 HAS SOPS 994405 HAS SOUS 391045 HAS SOUPS 390725 WITH SCORE 391719.725
AT ITER 2882 NEW BEST:: SOT 2247776 SOS 994163 HAS SOPS 993843 HAS SOUS 390827 HAS SOUPS 390507 WITH SCORE 391501.163
AT ITER 2900 NEW BEST:: SOT 2247569 SOS 993983 HAS SOPS 993642 HAS SOUS 390813 HAS SOUPS 390472 WITH SCORE 391465.983
AT ITER 2902 NEW BEST:: SOT 2247543 SOS 993957 HAS SOPS 993616 HAS SOUS 390811 HAS SOUPS 390470 WITH SCORE 391463.957
AT ITER 2917 NEW BEST:: SOT 2247397 SOS 993881 HAS SOPS 993540 HAS SOUS 390679 HAS SOUPS 390338 WITH SCORE 391331.881
AT ITER 2919 NEW BEST:: SOT 2247275 SOS 993742 HAS SOPS 993401 HAS SOUS 390540 HAS SOUPS 390199 WITH SCORE 391192.742
AT ITER 2929 NEW BEST:: SOT 2247301 SOS 993677 HAS SOPS 993336 HAS SOUS 390475 HAS SOUPS 390134 WITH SCORE 391127.677
AT ITER 2942 NEW BEST:: SOT 2242194 SOS 988687 HAS SOPS 988346 HAS SOUS 387642 HAS SOUPS 387301 WITH SCORE 388289.687
AT ITER 2958 NEW BEST:: SOT 2242165 SOS 988495 HAS SOPS 988154 HAS SOUS 387600 HAS SOUPS 387259 WITH SCORE 388247.495
AT ITER 2970 NEW BEST:: SOT 2242079 SOS 988409 HAS SOPS 988068 HAS SOUS 387428 HAS SOUPS 387087 WITH SCORE 388075.409
AT ITER 3002 NEW BEST:: SOT 2242087 SOS 988256 HAS SOPS 987915 HAS SOUS 387299 HAS SOUPS 386958 WITH SCORE 387946.256
AT ITER 3006 NEW BEST:: SOT 2241999 SOS 988168 HAS SOPS 987827 HAS SOUS 387102 HAS SOUPS 386761 WITH SCORE 387749.168
AT ITER 3010 NEW BEST:: SOT 2241971 SOS 988140 HAS SOPS 987799 HAS SOUS 387046 HAS SOUPS 386705 WITH SCORE 387693.14
AT ITER 3011 NEW BEST:: SOT 2241795 SOS 987964 HAS SOPS 987623 HAS SOUS 386818 HAS SOUPS 386477 WITH SCORE 387464.964
AT ITER 3035 NEW BEST:: SOT 2241647 SOS 987570 HAS SOPS 987229 HAS SOUS 386522 HAS SOUPS 386181 WITH SCORE 387168.57
AT ITER 3037 NEW BEST:: SOT 2241269 SOS 986247 HAS SOPS 985906 HAS SOUS 386324 HAS SOUPS 385983 WITH SCORE 386969.247
AT ITER 3039 NEW BEST:: SOT 2241191 SOS 986680 HAS SOPS 986339 HAS SOUS 386168 HAS SOUPS 385827 WITH SCORE 386813.68
AT ITER 3041 NEW BEST:: SOT 2240965 SOS 986396 HAS SOPS 986055 HAS SOUS 385980 HAS SOUPS 385639 WITH SCORE 386625.396
AT ITER 3048 NEW BEST:: SOT 2240947 SOS 986378 HAS SOPS 986037 HAS SOUS 385944 HAS SOUPS 385603 WITH SCORE 386589.378
AT ITER 3051 NEW BEST:: SOT 2240815 SOS 986555 HAS SOPS 986214 HAS SOUS 385701 HAS SOUPS 385360 WITH SCORE 386346.555
AT ITER 3065 NEW BEST:: SOT 2240493 SOS 986365 HAS SOPS 986024 HAS SOUS 385627 HAS SOUPS 385286 WITH SCORE 386272.365
AT ITER 3079 NEW BEST:: SOT 2240347 SOS 985973 HAS SOPS 985632 HAS SOUS 385335 HAS SOUPS 384994 WITH SCORE 385979.973
AT ITER 3082 NEW BEST:: SOT 2240309 SOS 985910 HAS SOPS 985569 HAS SOUS 385254 HAS SOUPS 384913 WITH SCORE 385898.91
AT ITER 3084 NEW BEST:: SOT 2240222 SOS 985483 HAS SOPS 985142 HAS SOUS 385099 HAS SOUPS 384758 WITH SCORE 385743.483
AT ITER 3086 NEW BEST:: SOT 2239745 SOS 984731 HAS SOPS 984390 HAS SOUS 384818 HAS SOUPS 384477 WITH SCORE 385461.731
AT ITER 3089 NEW BEST:: SOT 2239727 SOS 984695 HAS SOPS 984354 HAS SOUS 384782 HAS SOUPS 384441 WITH SCORE 385425.695
AT ITER 3107 NEW BEST:: SOT 2239414 SOS 984378 HAS SOPS 984037 HAS SOUS 384465 HAS SOUPS 384124 WITH SCORE 385108.378
AT ITER 3117 NEW BEST:: SOT 2239356 SOS 984175 HAS SOPS 983834 HAS SOUS 384349 HAS SOUPS 384008 WITH SCORE 384992.175
AT ITER 3120 NEW BEST:: SOT 2239165 SOS 983652 HAS SOPS 983311 HAS SOUS 383967 HAS SOUPS 383626 WITH SCORE 384609.652
AT ITER 3123 NEW BEST:: SOT 2239162 SOS 983649 HAS SOPS 983308 HAS SOUS 383967 HAS SOUPS 383626 WITH SCORE 384609.649
AT ITER 3145 NEW BEST:: SOT 2239162 SOS 983251 HAS SOPS 982910 HAS SOUS 383967 HAS SOUPS 383626 WITH SCORE 384609.251
AT ITER 3149 NEW BEST:: SOT 2238935 SOS 983024 HAS SOPS 982683 HAS SOUS 383740 HAS SOUPS 383399 WITH SCORE 384382.024
AT ITER 3158 NEW BEST:: SOT 2238891 SOS 982980 HAS SOPS 982639 HAS SOUS 383564 HAS SOUPS 383223 WITH SCORE 384205.98
AT ITER 3159 NEW BEST:: SOT 2238891 SOS 982220 HAS SOPS 981879 HAS SOUS 383412 HAS SOUPS 383071 WITH SCORE 384053.22
AT ITER 3161 NEW BEST:: SOT 2238753 SOS 982082 HAS SOPS 981741 HAS SOUS 383320 HAS SOUPS 382979 WITH SCORE 383961.082
AT ITER 3210 NEW BEST:: SOT 2238565 SOS 981763 HAS SOPS 981422 HAS SOUS 383151 HAS SOUPS 382810 WITH SCORE 383791.763
AT ITER 3232 NEW BEST:: SOT 2238309 SOS 981672 HAS SOPS 981331 HAS SOUS 382969 HAS SOUPS 382628 WITH SCORE 383609.672
AT ITER 3238 NEW BEST:: SOT 2238224 SOS 981247 HAS SOPS 980906 HAS SOUS 382799 HAS SOUPS 382458 WITH SCORE 383439.247
AT ITER 3242 NEW BEST:: SOT 2238082 SOS 981105 HAS SOPS 980764 HAS SOUS 382688 HAS SOUPS 382347 WITH SCORE 383328.105
AT ITER 3251 NEW BEST:: SOT 2237963 SOS 980986 HAS SOPS 980645 HAS SOUS 382569 HAS SOUPS 382228 WITH SCORE 383208.986
AT ITER 3255 NEW BEST:: SOT 2237859 SOS 979687 HAS SOPS 979346 HAS SOUS 382387 HAS SOUPS 382046 WITH SCORE 383025.687
AT ITER 3262 NEW BEST:: SOT 2237613 SOS 979285 HAS SOPS 978944 HAS SOUS 382082 HAS SOUPS 381741 WITH SCORE 382720.285
AT ITER 3265 NEW BEST:: SOT 2237613 SOS 979285 HAS SOPS 978944 HAS SOUS 382080 HAS SOUPS 381739 WITH SCORE 382718.285
AT ITER 3279 NEW BEST:: SOT 2237524 SOS 978346 HAS SOPS 978005 HAS SOUS 381902 HAS SOUPS 381561 WITH SCORE 382539.346
AT ITER 3296 NEW BEST:: SOT 2237306 SOS 978103 HAS SOPS 977762 HAS SOUS 381570 HAS SOUPS 381229 WITH SCORE 382207.103
AT ITER 3329 NEW BEST:: SOT 2237099 SOS 978020 HAS SOPS 977679 HAS SOUS 381404 HAS SOUPS 381063 WITH SCORE 382041.02
AT ITER 3347 NEW BEST:: SOT 2237096 SOS 977893 HAS SOPS 977552 HAS SOUS 381398 HAS SOUPS 381057 WITH SCORE 382034.893
AT ITER 3368 NEW BEST:: SOT 2237393 SOS 977983 HAS SOPS 977642 HAS SOUS 381250 HAS SOUPS 380909 WITH SCORE 381886.983
AT ITER 3375 NEW BEST:: SOT 2237393 SOS 977218 HAS SOPS 976877 HAS SOUS 381164 HAS SOUPS 380823 WITH SCORE 381800.218
AT ITER 3377 NEW BEST:: SOT 2237204 SOS 976829 HAS SOPS 976488 HAS SOUS 380935 HAS SOUPS 380594 WITH SCORE 381570.829
AT ITER 3393 NEW BEST:: SOT 2237041 SOS 976346 HAS SOPS 976005 HAS SOUS 380609 HAS SOUPS 380268 WITH SCORE 381244.346
AT ITER 3409 NEW BEST:: SOT 2237024 SOS 976329 HAS SOPS 975988 HAS SOUS 380574 HAS SOUPS 380233 WITH SCORE 381209.329
AT ITER 3411 NEW BEST:: SOT 2236833 SOS 976138 HAS SOPS 975797 HAS SOUS 380519 HAS SOUPS 380178 WITH SCORE 381154.138
AT ITER 3416 NEW BEST:: SOT 2236707 SOS 976482 HAS SOPS 976141 HAS SOUS 380361 HAS SOUPS 380020 WITH SCORE 380996.482
AT ITER 3428 NEW BEST:: SOT 2235643 SOS 975729 HAS SOPS 975388 HAS SOUS 379505 HAS SOUPS 379164 WITH SCORE 380139.729
AT ITER 3443 NEW BEST:: SOT 2235864 SOS 976626 HAS SOPS 976285 HAS SOUS 379474 HAS SOUPS 379133 WITH SCORE 380109.626
AT ITER 3449 NEW BEST:: SOT 2235864 SOS 976366 HAS SOPS 976025 HAS SOUS 379422 HAS SOUPS 379081 WITH SCORE 380057.366
AT ITER 3458 NEW BEST:: SOT 2235803 SOS 976305 HAS SOPS 975964 HAS SOUS 379300 HAS SOUPS 378959 WITH SCORE 379935.305
AT ITER 3481 NEW BEST:: SOT 2235958 SOS 978712 HAS SOPS 978371 HAS SOUS 379292 HAS SOUPS 378951 WITH SCORE 379929.712
AT ITER 3488 NEW BEST:: SOT 2235951 SOS 978565 HAS SOPS 978224 HAS SOUS 379250 HAS SOUPS 378909 WITH SCORE 379887.565
AT ITER 3520 NEW BEST:: SOT 2235951 SOS 978155 HAS SOPS 977814 HAS SOUS 379168 HAS SOUPS 378827 WITH SCORE 379805.155
AT ITER 3525 NEW BEST:: SOT 2235842 SOS 978046 HAS SOPS 977705 HAS SOUS 378972 HAS SOUPS 378631 WITH SCORE 379609.046
AT ITER 3530 NEW BEST:: SOT 2235782 SOS 977986 HAS SOPS 977645 HAS SOUS 378912 HAS SOUPS 378571 WITH SCORE 379548.986
AT ITER 3531 NEW BEST:: SOT 2235728 SOS 977932 HAS SOPS 977591 HAS SOUS 378804 HAS SOUPS 378463 WITH SCORE 379440.932
AT ITER 3540 NEW BEST:: SOT 2235572 SOS 977619 HAS SOPS 977497 HAS SOUS 378491 HAS SOUPS 378369 WITH SCORE 379346.619
AT ITER 3551 NEW BEST:: SOT 2235494 SOS 977541 HAS SOPS 977419 HAS SOUS 378333 HAS SOUPS 378211 WITH SCORE 379188.541
AT ITER 3561 NEW BEST:: SOT 2234834 SOS 976736 HAS SOPS 976614 HAS SOUS 377644 HAS SOUPS 377522 WITH SCORE 378498.736
AT ITER 3575 NEW BEST:: SOT 2234728 SOS 976496 HAS SOPS 976374 HAS SOUS 377197 HAS SOUPS 377075 WITH SCORE 378051.496
AT ITER 3585 NEW BEST:: SOT 2234543 SOS 976249 HAS SOPS 975900 HAS SOUS 377295 HAS SOUPS 376946 WITH SCORE 377922.249
AT ITER 3596 NEW BEST:: SOT 2234381 SOS 976087 HAS SOPS 975738 HAS SOUS 376939 HAS SOUPS 376590 WITH SCORE 377566.087
AT ITER 3610 NEW BEST:: SOT 2234381 SOS 976087 HAS SOPS 975738 HAS SOUS 376923 HAS SOUPS 376574 WITH SCORE 377550.087
AT ITER 3613 NEW BEST:: SOT 2234381 SOS 976000 HAS SOPS 975651 HAS SOUS 376743 HAS SOUPS 376394 WITH SCORE 377370.0
AT ITER 3637 NEW BEST:: SOT 2234381 SOS 975974 HAS SOPS 975625 HAS SOUS 376691 HAS SOUPS 376342 WITH SCORE 377317.974
AT ITER 3639 NEW BEST:: SOT 2234379 SOS 975972 HAS SOPS 975623 HAS SOUS 376691 HAS SOUPS 376342 WITH SCORE 377317.972
AT ITER 3663 NEW BEST:: SOT 2234379 SOS 975788 HAS SOPS 975439 HAS SOUS 376691 HAS SOUPS 376342 WITH SCORE 377317.788
AT ITER 3683 NEW BEST:: SOT 2234354 SOS 975763 HAS SOPS 975414 HAS SOUS 376641 HAS SOUPS 376292 WITH SCORE 377267.763
AT ITER 3701 NEW BEST:: SOT 2234333 SOS 975742 HAS SOPS 975393 HAS SOUS 376580 HAS SOUPS 376231 WITH SCORE 377206.742
AT ITER 3708 NEW BEST:: SOT 2234237 SOS 975262 HAS SOPS 974913 HAS SOUS 376484 HAS SOUPS 376135 WITH SCORE 377110.262
AT ITER 3714 NEW BEST:: SOT 2234225 SOS 975226 HAS SOPS 974877 HAS SOUS 376460 HAS SOUPS 376111 WITH SCORE 377086.226
AT ITER 3719 NEW BEST:: SOT 2233999 SOS 975403 HAS SOPS 975054 HAS SOUS 376008 HAS SOUPS 375659 WITH SCORE 376634.403
AT ITER 3723 NEW BEST:: SOT 2233887 SOS 975291 HAS SOPS 974942 HAS SOUS 375724 HAS SOUPS 375375 WITH SCORE 376350.291
AT ITER 3724 NEW BEST:: SOT 2236980 SOS 975542 HAS SOPS 975193 HAS SOUS 375012 HAS SOUPS 374663 WITH SCORE 375638.542
AT ITER 3726 NEW BEST:: SOT 2236962 SOS 975488 HAS SOPS 975139 HAS SOUS 374985 HAS SOUPS 374636 WITH SCORE 375611.488
AT ITER 3742 NEW BEST:: SOT 2236929 SOS 975455 HAS SOPS 975106 HAS SOUS 374977 HAS SOUPS 374628 WITH SCORE 375603.455
AT ITER 3743 NEW BEST:: SOT 2236676 SOS 975425 HAS SOPS 975076 HAS SOUS 374941 HAS SOUPS 374592 WITH SCORE 375567.425
AT ITER 3777 NEW BEST:: SOT 2236741 SOS 982299 HAS SOPS 981950 HAS SOUS 374906 HAS SOUPS 374557 WITH SCORE 375539.299
AT ITER 3794 NEW BEST:: SOT 2236657 SOS 982220 HAS SOPS 981871 HAS SOUS 374827 HAS SOUPS 374478 WITH SCORE 375460.22
AT ITER 3827 NEW BEST:: SOT 2236656 SOS 982219 HAS SOPS 981870 HAS SOUS 374825 HAS SOUPS 374476 WITH SCORE 375458.219
AT ITER 3837 NEW BEST:: SOT 2235570 SOS 981133 HAS SOPS 980784 HAS SOUS 373942 HAS SOUPS 373593 WITH SCORE 374574.133
AT ITER 3839 NEW BEST:: SOT 2235298 SOS 980181 HAS SOPS 979832 HAS SOUS 373419 HAS SOUPS 373070 WITH SCORE 374050.181
AT ITER 3871 NEW BEST:: SOT 2235298 SOS 980181 HAS SOPS 979832 HAS SOUS 373314 HAS SOUPS 372965 WITH SCORE 373945.181
AT ITER 3874 NEW BEST:: SOT 2235317 SOS 979962 HAS SOPS 979613 HAS SOUS 372941 HAS SOUPS 372592 WITH SCORE 373571.962
AT ITER 3886 NEW BEST:: SOT 2235301 SOS 979946 HAS SOPS 979597 HAS SOUS 372909 HAS SOUPS 372560 WITH SCORE 373539.946
AT ITER 3889 NEW BEST:: SOT 2234964 SOS 978141 HAS SOPS 977792 HAS SOUS 372436 HAS SOUPS 372087 WITH SCORE 373065.141
AT ITER 3900 NEW BEST:: SOT 2234805 SOS 977982 HAS SOPS 977633 HAS SOUS 372358 HAS SOUPS 372009 WITH SCORE 372986.982
AT ITER 3905 NEW BEST:: SOT 2234751 SOS 979766 HAS SOPS 979417 HAS SOUS 372253 HAS SOUPS 371904 WITH SCORE 372883.766
AT ITER 3908 NEW BEST:: SOT 2234663 SOS 979678 HAS SOPS 979329 HAS SOUS 372121 HAS SOUPS 371772 WITH SCORE 372751.678
AT ITER 3915 NEW BEST:: SOT 2235986 SOS 978481 HAS SOPS 978132 HAS SOUS 372022 HAS SOUPS 371673 WITH SCORE 372651.481
AT ITER 3928 NEW BEST:: SOT 2235986 SOS 978481 HAS SOPS 978132 HAS SOUS 372017 HAS SOUPS 371668 WITH SCORE 372646.481
AT ITER 3930 NEW BEST:: SOT 2235844 SOS 978155 HAS SOPS 977806 HAS SOUS 371978 HAS SOUPS 371629 WITH SCORE 372607.155
AT ITER 3931 NEW BEST:: SOT 2235664 SOS 977698 HAS SOPS 977349 HAS SOUS 371064 HAS SOUPS 370715 WITH SCORE 371692.698
AT ITER 3993 NEW BEST:: SOT 2235592 SOS 977989 HAS SOPS 977640 HAS SOUS 370833 HAS SOUPS 370484 WITH SCORE 371461.989
AT ITER 4011 NEW BEST:: SOT 2235455 SOS 978227 HAS SOPS 977878 HAS SOUS 370559 HAS SOUPS 370210 WITH SCORE 371188.227
AT ITER 4036 NEW BEST:: SOT 2235455 SOS 978226 HAS SOPS 977877 HAS SOUS 370559 HAS SOUPS 370210 WITH SCORE 371188.226
AT ITER 4037 NEW BEST:: SOT 2235441 SOS 978212 HAS SOPS 977863 HAS SOUS 370531 HAS SOUPS 370182 WITH SCORE 371160.212
AT ITER 4080 NEW BEST:: SOT 2235412 SOS 978183 HAS SOPS 977834 HAS SOUS 370356 HAS SOUPS 370007 WITH SCORE 370985.183
AT ITER 4093 NEW BEST:: SOT 2235412 SOS 978183 HAS SOPS 977834 HAS SOUS 370298 HAS SOUPS 369949 WITH SCORE 370927.183
AT ITER 4098 NEW BEST:: SOT 2235393 SOS 978164 HAS SOPS 977815 HAS SOUS 370260 HAS SOUPS 369911 WITH SCORE 370889.164
AT ITER 4099 NEW BEST:: SOT 2235330 SOS 978101 HAS SOPS 977752 HAS SOUS 370134 HAS SOUPS 369785 WITH SCORE 370763.101
AT ITER 4114 NEW BEST:: SOT 2235284 SOS 978101 HAS SOPS 977752 HAS SOUS 370088 HAS SOUPS 369739 WITH SCORE 370717.101
AT ITER 4116 NEW BEST:: SOT 2235304 SOS 978121 HAS SOPS 977772 HAS SOUS 369750 HAS SOUPS 369401 WITH SCORE 370379.121
AT ITER 4127 NEW BEST:: SOT 2235103 SOS 977920 HAS SOPS 977571 HAS SOUS 369441 HAS SOUPS 369092 WITH SCORE 370069.92
AT ITER 4129 NEW BEST:: SOT 2235031 SOS 977848 HAS SOPS 977499 HAS SOUS 369297 HAS SOUPS 368948 WITH SCORE 369925.848
AT ITER 4134 NEW BEST:: SOT 2235010 SOS 977887 HAS SOPS 977538 HAS SOUS 369288 HAS SOUPS 368939 WITH SCORE 369916.887
AT ITER 4154 NEW BEST:: SOT 2235006 SOS 977883 HAS SOPS 977534 HAS SOUS 369280 HAS SOUPS 368931 WITH SCORE 369908.883
AT ITER 4157 NEW BEST:: SOT 2234736 SOS 977048 HAS SOPS 976699 HAS SOUS 368897 HAS SOUPS 368548 WITH SCORE 369525.048
AT ITER 4159 NEW BEST:: SOT 2235161 SOS 979458 HAS SOPS 979109 HAS SOUS 368704 HAS SOUPS 368355 WITH SCORE 369334.458
AT ITER 4168 NEW BEST:: SOT 2235161 SOS 979352 HAS SOPS 979003 HAS SOUS 368453 HAS SOUPS 368104 WITH SCORE 369083.352
AT ITER 4199 NEW BEST:: SOT 2235147 SOS 979338 HAS SOPS 978989 HAS SOUS 368425 HAS SOUPS 368076 WITH SCORE 369055.338
AT ITER 4234 NEW BEST:: SOT 2234906 SOS 979017 HAS SOPS 978668 HAS SOUS 368261 HAS SOUPS 367912 WITH SCORE 368891.017
AT ITER 4251 NEW BEST:: SOT 2234852 SOS 978990 HAS SOPS 978641 HAS SOUS 368207 HAS SOUPS 367858 WITH SCORE 368836.99
AT ITER 4256 NEW BEST:: SOT 2234638 SOS 978776 HAS SOPS 978427 HAS SOUS 367886 HAS SOUPS 367537 WITH SCORE 368515.776
AT ITER 4300 NEW BEST:: SOT 2234722 SOS 978830 HAS SOPS 978481 HAS SOUS 367871 HAS SOUPS 367522 WITH SCORE 368500.83
AT ITER 4326 NEW BEST:: SOT 2234880 SOS 979884 HAS SOPS 979535 HAS SOUS 367730 HAS SOUPS 367381 WITH SCORE 368360.884
AT ITER 4330 NEW BEST:: SOT 2234860 SOS 982006 HAS SOPS 981657 HAS SOUS 367690 HAS SOUPS 367341 WITH SCORE 368323.006
AT ITER 4337 NEW BEST:: SOT 2234760 SOS 981806 HAS SOPS 981457 HAS SOUS 367476 HAS SOUPS 367127 WITH SCORE 368108.806
AT ITER 4349 NEW BEST:: SOT 2234681 SOS 981332 HAS SOPS 980983 HAS SOUS 367318 HAS SOUPS 366969 WITH SCORE 367950.332
AT ITER 4354 NEW BEST:: SOT 2234595 SOS 981055 HAS SOPS 980706 HAS SOUS 367122 HAS SOUPS 366773 WITH SCORE 367754.055
AT ITER 4369 NEW BEST:: SOT 2234644 SOS 980931 HAS SOPS 980582 HAS SOUS 367000 HAS SOUPS 366651 WITH SCORE 367631.931
AT ITER 4380 NEW BEST:: SOT 2234701 SOS 981236 HAS SOPS 980887 HAS SOUS 366933 HAS SOUPS 366584 WITH SCORE 367565.236
AT ITER 4406 NEW BEST:: SOT 2234597 SOS 980953 HAS SOPS 980604 HAS SOUS 366490 HAS SOUPS 366141 WITH SCORE 367121.953
AT ITER 4410 NEW BEST:: SOT 2234538 SOS 980894 HAS SOPS 980545 HAS SOUS 366364 HAS SOUPS 366015 WITH SCORE 366995.894
AT ITER 4411 NEW BEST:: SOT 2234403 SOS 980459 HAS SOPS 980110 HAS SOUS 366131 HAS SOUPS 365782 WITH SCORE 366762.459
AT ITER 4413 NEW BEST:: SOT 2234380 SOS 980436 HAS SOPS 980087 HAS SOUS 366108 HAS SOUPS 365759 WITH SCORE 366739.436
AT ITER 4417 NEW BEST:: SOT 2234380 SOS 980436 HAS SOPS 980087 HAS SOUS 366034 HAS SOUPS 365685 WITH SCORE 366665.436
AT ITER 4427 NEW BEST:: SOT 2234380 SOS 979760 HAS SOPS 979411 HAS SOUS 365920 HAS SOUPS 365571 WITH SCORE 366550.76
AT ITER 4451 NEW BEST:: SOT 2234315 SOS 979295 HAS SOPS 978946 HAS SOUS 365735 HAS SOUPS 365386 WITH SCORE 366365.295
AT ITER 4457 NEW BEST:: SOT 2234447 SOS 979315 HAS SOPS 978966 HAS SOUS 365589 HAS SOUPS 365240 WITH SCORE 366219.315
AT ITER 4460 NEW BEST:: SOT 2234445 SOS 979313 HAS SOPS 978964 HAS SOUS 365589 HAS SOUPS 365240 WITH SCORE 366219.313
AT ITER 4461 NEW BEST:: SOT 2234445 SOS 979244 HAS SOPS 978895 HAS SOUS 365451 HAS SOUPS 365102 WITH SCORE 366081.244
AT ITER 4477 NEW BEST:: SOT 2234359 SOS 978728 HAS SOPS 978379 HAS SOUS 365279 HAS SOUPS 364930 WITH SCORE 365908.728
AT ITER 4486 NEW BEST:: SOT 2234190 SOS 978514 HAS SOPS 978165 HAS SOUS 365279 HAS SOUPS 364930 WITH SCORE 365908.514
AT ITER 4492 NEW BEST:: SOT 2234163 SOS 978487 HAS SOPS 978138 HAS SOUS 365235 HAS SOUPS 364886 WITH SCORE 365864.487
AT ITER 4498 NEW BEST:: SOT 2234094 SOS 978395 HAS SOPS 978046 HAS SOUS 365165 HAS SOUPS 364816 WITH SCORE 365794.395
AT ITER 4524 NEW BEST:: SOT 2234108 SOS 978472 HAS SOPS 978123 HAS SOUS 365144 HAS SOUPS 364795 WITH SCORE 365773.472
AT ITER 4530 NEW BEST:: SOT 2233940 SOS 978431 HAS SOPS 978082 HAS SOUS 365062 HAS SOUPS 364713 WITH SCORE 365691.431
AT ITER 4543 NEW BEST:: SOT 2233834 SOS 978121 HAS SOPS 977772 HAS SOUS 364997 HAS SOUPS 364648 WITH SCORE 365626.121
AT ITER 4579 NEW BEST:: SOT 2233834 SOS 978656 HAS SOPS 978307 HAS SOUS 364975 HAS SOUPS 364626 WITH SCORE 365604.656
AT ITER 4584 NEW BEST:: SOT 2233690 SOS 978462 HAS SOPS 978113 HAS SOUS 364687 HAS SOUPS 364338 WITH SCORE 365316.462
AT ITER 4591 NEW BEST:: SOT 2233690 SOS 978422 HAS SOPS 978073 HAS SOUS 364647 HAS SOUPS 364298 WITH SCORE 365276.422
AT ITER 4594 NEW BEST:: SOT 2233620 SOS 978352 HAS SOPS 978003 HAS SOUS 364612 HAS SOUPS 364263 WITH SCORE 365241.352
AT ITER 4597 NEW BEST:: SOT 2233620 SOS 978352 HAS SOPS 978003 HAS SOUS 364610 HAS SOUPS 364261 WITH SCORE 365239.352
AT ITER 4617 NEW BEST:: SOT 2233424 SOS 978416 HAS SOPS 978067 HAS SOUS 364270 HAS SOUPS 363921 WITH SCORE 364899.416
AT ITER 4626 NEW BEST:: SOT 2233334 SOS 978326 HAS SOPS 977977 HAS SOUS 364090 HAS SOUPS 363741 WITH SCORE 364719.326
AT ITER 4641 NEW BEST:: SOT 2233334 SOS 978314 HAS SOPS 977965 HAS SOUS 363981 HAS SOUPS 363632 WITH SCORE 364610.314
AT ITER 4654 NEW BEST:: SOT 2233068 SOS 978653 HAS SOPS 978304 HAS SOUS 363836 HAS SOUPS 363487 WITH SCORE 364465.653
AT ITER 4661 NEW BEST:: SOT 2233068 SOS 978653 HAS SOPS 978304 HAS SOUS 363834 HAS SOUPS 363485 WITH SCORE 364463.653
AT ITER 4670 NEW BEST:: SOT 2233045 SOS 978630 HAS SOPS 978281 HAS SOUS 363799 HAS SOUPS 363450 WITH SCORE 364428.63
AT ITER 4685 NEW BEST:: SOT 2233034 SOS 978619 HAS SOPS 978270 HAS SOUS 363777 HAS SOUPS 363428 WITH SCORE 364406.619
AT ITER 4698 NEW BEST:: SOT 2232588 SOS 977723 HAS SOPS 977374 HAS SOUS 363329 HAS SOUPS 362980 WITH SCORE 363957.723
AT ITER 4723 NEW BEST:: SOT 2232588 SOS 977723 HAS SOPS 977374 HAS SOUS 363310 HAS SOUPS 362961 WITH SCORE 363938.723
AT ITER 4739 NEW BEST:: SOT 2232526 SOS 977661 HAS SOPS 977312 HAS SOUS 363275 HAS SOUPS 362926 WITH SCORE 363903.661
AT ITER 4762 NEW BEST:: SOT 2232526 SOS 977661 HAS SOPS 977312 HAS SOUS 363254 HAS SOUPS 362905 WITH SCORE 363882.661
AT ITER 4774 NEW BEST:: SOT 2232411 SOS 977827 HAS SOPS 977478 HAS SOUS 363067 HAS SOUPS 362718 WITH SCORE 363695.827
AT ITER 4778 NEW BEST:: SOT 2232411 SOS 977827 HAS SOPS 977478 HAS SOUS 363066 HAS SOUPS 362717 WITH SCORE 363694.827
AT ITER 4783 NEW BEST:: SOT 2232108 SOS 977524 HAS SOPS 977175 HAS SOUS 362763 HAS SOUPS 362414 WITH SCORE 363391.524
AT ITER 4785 NEW BEST:: SOT 2231989 SOS 977405 HAS SOPS 977056 HAS SOUS 362460 HAS SOUPS 362111 WITH SCORE 363088.405
AT ITER 4788 NEW BEST:: SOT 2231967 SOS 977394 HAS SOPS 977045 HAS SOUS 362449 HAS SOUPS 362100 WITH SCORE 363077.394
AT ITER 4802 NEW BEST:: SOT 2228937 SOS 974456 HAS SOPS 974107 HAS SOUS 359511 HAS SOUPS 359162 WITH SCORE 360136.456
AT ITER 4803 NEW BEST:: SOT 2228914 SOS 974433 HAS SOPS 974084 HAS SOUS 359488 HAS SOUPS 359139 WITH SCORE 360113.433
AT ITER 4817 NEW BEST:: SOT 2228673 SOS 974167 HAS SOPS 973818 HAS SOUS 359242 HAS SOUPS 358893 WITH SCORE 359867.167
AT ITER 4831 NEW BEST:: SOT 2228679 SOS 974842 HAS SOPS 974493 HAS SOUS 359053 HAS SOUPS 358704 WITH SCORE 359678.842
AT ITER 4842 NEW BEST:: SOT 2228111 SOS 974089 HAS SOPS 973740 HAS SOUS 358705 HAS SOUPS 358356 WITH SCORE 359330.089
AT ITER 4858 NEW BEST:: SOT 2227936 SOS 973739 HAS SOPS 973390 HAS SOUS 358705 HAS SOUPS 358356 WITH SCORE 359329.739
AT ITER 4862 NEW BEST:: SOT 2227568 SOS 973719 HAS SOPS 973370 HAS SOUS 358665 HAS SOUPS 358316 WITH SCORE 359289.719
AT ITER 4869 NEW BEST:: SOT 2227681 SOS 973717 HAS SOPS 973368 HAS SOUS 358661 HAS SOUPS 358312 WITH SCORE 359285.717
AT ITER 4876 NEW BEST:: SOT 2227650 SOS 973637 HAS SOPS 973288 HAS SOUS 358025 HAS SOUPS 357676 WITH SCORE 358649.637
AT ITER 4895 NEW BEST:: SOT 2227413 SOS 973235 HAS SOPS 972886 HAS SOUS 357755 HAS SOUPS 357406 WITH SCORE 358379.235
AT ITER 4903 NEW BEST:: SOT 2227358 SOS 973745 HAS SOPS 973396 HAS SOUS 357660 HAS SOUPS 357311 WITH SCORE 358284.745
AT ITER 4904 NEW BEST:: SOT 2227379 SOS 973766 HAS SOPS 973417 HAS SOUS 357656 HAS SOUPS 357307 WITH SCORE 358280.766
AT ITER 4912 NEW BEST:: SOT 2227379 SOS 973146 HAS SOPS 972797 HAS SOUS 357605 HAS SOUPS 357256 WITH SCORE 358229.146
AT ITER 4916 NEW BEST:: SOT 2227338 SOS 973105 HAS SOPS 972756 HAS SOUS 357523 HAS SOUPS 357174 WITH SCORE 358147.105
AT ITER 4932 NEW BEST:: SOT 2227263 SOS 973330 HAS SOPS 972981 HAS SOUS 357448 HAS SOUPS 357099 WITH SCORE 358072.33
AT ITER 4936 NEW BEST:: SOT 2227218 SOS 972642 HAS SOPS 972293 HAS SOUS 357384 HAS SOUPS 357035 WITH SCORE 358007.642
AT ITER 4953 NEW BEST:: SOT 2227136 SOS 972560 HAS SOPS 972211 HAS SOUS 357329 HAS SOUPS 356980 WITH SCORE 357952.56
AT ITER 4954 NEW BEST:: SOT 2226765 SOS 972179 HAS SOPS 971835 HAS SOUS 356948 HAS SOUPS 356604 WITH SCORE 357576.179
AT ITER 4955 NEW BEST:: SOT 2226736 SOS 972150 HAS SOPS 971806 HAS SOUS 356948 HAS SOUPS 356604 WITH SCORE 357576.15
AT ITER 4966 NEW BEST:: SOT 2226662 SOS 971891 HAS SOPS 971547 HAS SOUS 356800 HAS SOUPS 356456 WITH SCORE 357427.891
AT ITER 4977 NEW BEST:: SOT 2226640 SOS 971869 HAS SOPS 971525 HAS SOUS 356768 HAS SOUPS 356424 WITH SCORE 357395.869
AT ITER 5004 NEW BEST:: SOT 2226625 SOS 971854 HAS SOPS 971510 HAS SOUS 356751 HAS SOUPS 356407 WITH SCORE 357378.854
AT ITER 5009 NEW BEST:: SOT 2226595 SOS 971824 HAS SOPS 971480 HAS SOUS 356682 HAS SOUPS 356338 WITH SCORE 357309.824
AT ITER 5037 NEW BEST:: SOT 2226563 SOS 971712 HAS SOPS 971368 HAS SOUS 356650 HAS SOUPS 356306 WITH SCORE 357277.712
AT ITER 5040 NEW BEST:: SOT 2226592 SOS 971661 HAS SOPS 971317 HAS SOUS 356548 HAS SOUPS 356204 WITH SCORE 357175.661
AT ITER 5043 NEW BEST:: SOT 2226578 SOS 971647 HAS SOPS 971303 HAS SOUS 356506 HAS SOUPS 356162 WITH SCORE 357133.647
AT ITER 5051 NEW BEST:: SOT 2226266 SOS 971335 HAS SOPS 970991 HAS SOUS 356245 HAS SOUPS 355901 WITH SCORE 356872.335
AT ITER 5057 NEW BEST:: SOT 2226160 SOS 971020 HAS SOPS 970676 HAS SOUS 355615 HAS SOUPS 355271 WITH SCORE 356242.02
AT ITER 5072 NEW BEST:: SOT 2226140 SOS 970980 HAS SOPS 970636 HAS SOUS 355575 HAS SOUPS 355231 WITH SCORE 356201.98
AT ITER 5097 NEW BEST:: SOT 2226140 SOS 970980 HAS SOPS 970636 HAS SOUS 355535 HAS SOUPS 355191 WITH SCORE 356161.98
AT ITER 5114 NEW BEST:: SOT 2226110 SOS 970935 HAS SOPS 970591 HAS SOUS 355505 HAS SOUPS 355161 WITH SCORE 356131.935
AT ITER 5142 NEW BEST:: SOT 2226044 SOS 970869 HAS SOPS 970525 HAS SOUS 355373 HAS SOUPS 355029 WITH SCORE 355999.869
AT ITER 5200 NEW BEST:: SOT 2226136 SOS 971761 HAS SOPS 971417 HAS SOUS 355353 HAS SOUPS 355009 WITH SCORE 355980.761
AT ITER 5219 NEW BEST:: SOT 2226192 SOS 971743 HAS SOPS 971399 HAS SOUS 355335 HAS SOUPS 354991 WITH SCORE 355962.743
AT ITER 5230 NEW BEST:: SOT 2225733 SOS 971284 HAS SOPS 970940 HAS SOUS 354876 HAS SOUPS 354532 WITH SCORE 355503.284
AT ITER 5247 NEW BEST:: SOT 2225726 SOS 971270 HAS SOPS 970926 HAS SOUS 354862 HAS SOUPS 354518 WITH SCORE 355489.27
AT ITER 5258 NEW BEST:: SOT 2225692 SOS 971236 HAS SOPS 970892 HAS SOUS 354828 HAS SOUPS 354484 WITH SCORE 355455.236
AT ITER 5274 NEW BEST:: SOT 2225669 SOS 971213 HAS SOPS 970869 HAS SOUS 354782 HAS SOUPS 354438 WITH SCORE 355409.213
AT ITER 5314 NEW BEST:: SOT 2225596 SOS 970848 HAS SOPS 970504 HAS SOUS 354636 HAS SOUPS 354292 WITH SCORE 355262.848
AT ITER 5319 NEW BEST:: SOT 2225585 SOS 970837 HAS SOPS 970493 HAS SOUS 354614 HAS SOUPS 354270 WITH SCORE 355240.837
AT ITER 5332 NEW BEST:: SOT 2226007 SOS 965539 HAS SOPS 965195 HAS SOUS 354379 HAS SOUPS 354035 WITH SCORE 355000.539
AT ITER 5340 NEW BEST:: SOT 2225954 SOS 965564 HAS SOPS 965220 HAS SOUS 354273 HAS SOUPS 353929 WITH SCORE 354894.564
AT ITER 5341 NEW BEST:: SOT 2225897 SOS 965227 HAS SOPS 964883 HAS SOUS 354131 HAS SOUPS 353787 WITH SCORE 354752.227
AT ITER 5347 NEW BEST:: SOT 2225875 SOS 965134 HAS SOPS 964790 HAS SOUS 354087 HAS SOUPS 353743 WITH SCORE 354708.134
AT ITER 5363 NEW BEST:: SOT 2225812 SOS 965071 HAS SOPS 964727 HAS SOUS 353957 HAS SOUPS 353613 WITH SCORE 354578.071
AT ITER 5384 NEW BEST:: SOT 2225743 SOS 965512 HAS SOPS 965168 HAS SOUS 353819 HAS SOUPS 353475 WITH SCORE 354440.512
AT ITER 5385 NEW BEST:: SOT 2225804 SOS 965432 HAS SOPS 965088 HAS SOUS 353600 HAS SOUPS 353256 WITH SCORE 354221.432
AT ITER 5395 NEW BEST:: SOT 2225786 SOS 965414 HAS SOPS 965070 HAS SOUS 353564 HAS SOUPS 353220 WITH SCORE 354185.414
AT ITER 5408 NEW BEST:: SOT 2225810 SOS 965362 HAS SOPS 965018 HAS SOUS 353460 HAS SOUPS 353116 WITH SCORE 354081.362
AT ITER 5417 NEW BEST:: SOT 2225657 SOS 965260 HAS SOPS 964916 HAS SOUS 353256 HAS SOUPS 352912 WITH SCORE 353877.26
AT ITER 5427 NEW BEST:: SOT 2225768 SOS 965371 HAS SOPS 965027 HAS SOUS 353178 HAS SOUPS 352834 WITH SCORE 353799.371
AT ITER 5432 NEW BEST:: SOT 2225768 SOS 964987 HAS SOPS 964643 HAS SOUS 353178 HAS SOUPS 352834 WITH SCORE 353798.987
AT ITER 5450 NEW BEST:: SOT 2222584 SOS 961827 HAS SOPS 961483 HAS SOUS 350427 HAS SOUPS 350083 WITH SCORE 351044.827
AT ITER 5452 NEW BEST:: SOT 2222515 SOS 961758 HAS SOPS 961414 HAS SOUS 350358 HAS SOUPS 350014 WITH SCORE 350975.758
AT ITER 5461 NEW BEST:: SOT 2222515 SOS 961674 HAS SOPS 961330 HAS SOUS 350358 HAS SOUPS 350014 WITH SCORE 350975.674
AT ITER 5464 NEW BEST:: SOT 2222623 SOS 961872 HAS SOPS 961528 HAS SOUS 350202 HAS SOUPS 349858 WITH SCORE 350819.872
AT ITER 5468 NEW BEST:: SOT 2222541 SOS 961790 HAS SOPS 961446 HAS SOUS 350038 HAS SOUPS 349694 WITH SCORE 350655.79
AT ITER 5478 NEW BEST:: SOT 2222254 SOS 961731 HAS SOPS 961387 HAS SOUS 349920 HAS SOUPS 349576 WITH SCORE 350537.731
AT ITER 5488 NEW BEST:: SOT 2222254 SOS 961731 HAS SOPS 961387 HAS SOUS 349917 HAS SOUPS 349573 WITH SCORE 350534.731
AT ITER 5530 NEW BEST:: SOT 2222146 SOS 961656 HAS SOPS 961312 HAS SOUS 349869 HAS SOUPS 349525 WITH SCORE 350486.656
AT ITER 5533 NEW BEST:: SOT 2222146 SOS 961656 HAS SOPS 961312 HAS SOUS 349866 HAS SOUPS 349522 WITH SCORE 350483.656
AT ITER 5558 NEW BEST:: SOT 2222113 SOS 961623 HAS SOPS 961279 HAS SOUS 349800 HAS SOUPS 349456 WITH SCORE 350417.623
AT ITER 5575 NEW BEST:: SOT 2221838 SOS 961348 HAS SOPS 961004 HAS SOUS 349412 HAS SOUPS 349068 WITH SCORE 350029.348
AT ITER 5633 NEW BEST:: SOT 2221659 SOS 961169 HAS SOPS 960825 HAS SOUS 349322 HAS SOUPS 348978 WITH SCORE 349939.169
AT ITER 5645 NEW BEST:: SOT 2221642 SOS 961346 HAS SOPS 961002 HAS SOUS 349288 HAS SOUPS 348944 WITH SCORE 349905.346
AT ITER 5650 NEW BEST:: SOT 2221642 SOS 961335 HAS SOPS 960991 HAS SOUS 349288 HAS SOUPS 348944 WITH SCORE 349905.335
AT ITER 5687 NEW BEST:: SOT 2221642 SOS 961335 HAS SOPS 960991 HAS SOUS 349269 HAS SOUPS 348925 WITH SCORE 349886.335
AT ITER 5703 NEW BEST:: SOT 2221630 SOS 961293 HAS SOPS 960949 HAS SOUS 349257 HAS SOUPS 348913 WITH SCORE 349874.293
AT ITER 5720 NEW BEST:: SOT 2221491 SOS 961154 HAS SOPS 960810 HAS SOUS 348955 HAS SOUPS 348611 WITH SCORE 349572.154
AT ITER 5726 NEW BEST:: SOT 2221409 SOS 961072 HAS SOPS 960728 HAS SOUS 348791 HAS SOUPS 348447 WITH SCORE 349408.072
AT ITER 5739 NEW BEST:: SOT 2221260 SOS 960453 HAS SOPS 960109 HAS SOUS 348548 HAS SOUPS 348204 WITH SCORE 349164.453
AT ITER 5746 NEW BEST:: SOT 2221021 SOS 959509 HAS SOPS 959165 HAS SOUS 348172 HAS SOUPS 347828 WITH SCORE 348787.509
AT ITER 5753 NEW BEST:: SOT 2220996 SOS 959484 HAS SOPS 959140 HAS SOUS 348097 HAS SOUPS 347753 WITH SCORE 348712.484
AT ITER 5762 NEW BEST:: SOT 2220865 SOS 959353 HAS SOPS 959009 HAS SOUS 347835 HAS SOUPS 347491 WITH SCORE 348450.353
AT ITER 5763 NEW BEST:: SOT 2220448 SOS 958759 HAS SOPS 958415 HAS SOUS 347561 HAS SOUPS 347217 WITH SCORE 348175.759
AT ITER 5766 NEW BEST:: SOT 2220436 SOS 958747 HAS SOPS 958403 HAS SOUS 347557 HAS SOUPS 347213 WITH SCORE 348171.747
AT ITER 5777 NEW BEST:: SOT 2220446 SOS 958649 HAS SOPS 958305 HAS SOUS 347361 HAS SOUPS 347017 WITH SCORE 347975.649
AT ITER 5780 NEW BEST:: SOT 2220446 SOS 958647 HAS SOPS 958303 HAS SOUS 347361 HAS SOUPS 347017 WITH SCORE 347975.647
AT ITER 5787 NEW BEST:: SOT 2220441 SOS 958642 HAS SOPS 958298 HAS SOUS 347351 HAS SOUPS 347007 WITH SCORE 347965.642
AT ITER 5790 NEW BEST:: SOT 2220359 SOS 958150 HAS SOPS 957806 HAS SOUS 347269 HAS SOUPS 346925 WITH SCORE 347883.15
AT ITER 5797 NEW BEST:: SOT 2220343 SOS 958134 HAS SOPS 957790 HAS SOUS 347265 HAS SOUPS 346921 WITH SCORE 347879.134
AT ITER 5841 NEW BEST:: SOT 2220309 SOS 957969 HAS SOPS 957625 HAS SOUS 347192 HAS SOUPS 346848 WITH SCORE 347805.969
AT ITER 5845 NEW BEST:: SOT 2220197 SOS 957857 HAS SOPS 957513 HAS SOUS 347047 HAS SOUPS 346703 WITH SCORE 347660.857
AT ITER 5848 NEW BEST:: SOT 2220120 SOS 957786 HAS SOPS 957442 HAS SOUS 347040 HAS SOUPS 346696 WITH SCORE 347653.786
AT ITER 5851 NEW BEST:: SOT 2220119 SOS 957785 HAS SOPS 957441 HAS SOUS 347040 HAS SOUPS 346696 WITH SCORE 347653.785
AT ITER 5874 NEW BEST:: SOT 2220127 SOS 957765 HAS SOPS 957421 HAS SOUS 347000 HAS SOUPS 346656 WITH SCORE 347613.765
AT ITER 5912 NEW BEST:: SOT 2219720 SOS 957462 HAS SOPS 957118 HAS SOUS 346876 HAS SOUPS 346532 WITH SCORE 347489.462
AT ITER 5917 NEW BEST:: SOT 2219323 SOS 957065 HAS SOPS 956721 HAS SOUS 346621 HAS SOUPS 346277 WITH SCORE 347234.065
AT ITER 5934 NEW BEST:: SOT 2219268 SOS 957055 HAS SOPS 956711 HAS SOUS 346601 HAS SOUPS 346257 WITH SCORE 347214.055
AT ITER 5940 NEW BEST:: SOT 2219257 SOS 957044 HAS SOPS 956700 HAS SOUS 346579 HAS SOUPS 346235 WITH SCORE 347192.044
AT ITER 5966 NEW BEST:: SOT 2211807 SOS 949683 HAS SOPS 949339 HAS SOUS 342094 HAS SOUPS 341750 WITH SCORE 342699.683
AT ITER 5978 NEW BEST:: SOT 2211739 SOS 949615 HAS SOPS 949271 HAS SOUS 341996 HAS SOUPS 341652 WITH SCORE 342601.615
AT ITER 5979 NEW BEST:: SOT 2211816 SOS 949774 HAS SOPS 949430 HAS SOUS 341846 HAS SOUPS 341502 WITH SCORE 342451.774
AT ITER 6045 NEW BEST:: SOT 2211766 SOS 949724 HAS SOPS 949380 HAS SOUS 341796 HAS SOUPS 341452 WITH SCORE 342401.724
AT ITER 6069 NEW BEST:: SOT 2211669 SOS 949627 HAS SOPS 949283 HAS SOUS 341699 HAS SOUPS 341355 WITH SCORE 342304.627
AT ITER 6079 NEW BEST:: SOT 2211396 SOS 949274 HAS SOPS 948930 HAS SOUS 341420 HAS SOUPS 341076 WITH SCORE 342025.274
AT ITER 6082 NEW BEST:: SOT 2211388 SOS 949226 HAS SOPS 948882 HAS SOUS 341404 HAS SOUPS 341060 WITH SCORE 342009.226
AT ITER 6093 NEW BEST:: SOT 2211521 SOS 950919 HAS SOPS 950575 HAS SOUS 341365 HAS SOUPS 341021 WITH SCORE 341971.919
AT ITER 6097 NEW BEST:: SOT 2211479 SOS 950877 HAS SOPS 950533 HAS SOUS 341353 HAS SOUPS 341009 WITH SCORE 341959.877
AT ITER 6103 NEW BEST:: SOT 2211456 SOS 950854 HAS SOPS 950510 HAS SOUS 341328 HAS SOUPS 340984 WITH SCORE 341934.854
AT ITER 6129 NEW BEST:: SOT 2211144 SOS 950197 HAS SOPS 949853 HAS SOUS 340843 HAS SOUPS 340499 WITH SCORE 341449.197
AT ITER 6142 NEW BEST:: SOT 2211005 SOS 950058 HAS SOPS 949714 HAS SOUS 340476 HAS SOUPS 340132 WITH SCORE 341082.058
AT ITER 6162 NEW BEST:: SOT 2210990 SOS 950093 HAS SOPS 949749 HAS SOUS 340471 HAS SOUPS 340127 WITH SCORE 341077.093
AT ITER 6181 NEW BEST:: SOT 2210990 SOS 950158 HAS SOPS 949814 HAS SOUS 340462 HAS SOUPS 340118 WITH SCORE 341068.158
AT ITER 6208 NEW BEST:: SOT 2210558 SOS 949362 HAS SOPS 949018 HAS SOUS 340198 HAS SOUPS 339854 WITH SCORE 340803.362
AT ITER 6212 NEW BEST:: SOT 2210570 SOS 949329 HAS SOPS 948985 HAS SOUS 340165 HAS SOUPS 339821 WITH SCORE 340770.329
AT ITER 6215 NEW BEST:: SOT 2210442 SOS 950881 HAS SOPS 950537 HAS SOUS 339909 HAS SOUPS 339565 WITH SCORE 340515.881
AT ITER 6251 NEW BEST:: SOT 2210442 SOS 950881 HAS SOPS 950537 HAS SOUS 339661 HAS SOUPS 339317 WITH SCORE 340267.881
AT ITER 6252 NEW BEST:: SOT 2210414 SOS 950853 HAS SOPS 950509 HAS SOUS 339605 HAS SOUPS 339261 WITH SCORE 340211.853
AT ITER 6256 NEW BEST:: SOT 2210403 SOS 950831 HAS SOPS 950487 HAS SOUS 339583 HAS SOUPS 339239 WITH SCORE 340189.831
AT ITER 6263 NEW BEST:: SOT 2210403 SOS 950831 HAS SOPS 950487 HAS SOUS 339568 HAS SOUPS 339224 WITH SCORE 340174.831
AT ITER 6271 NEW BEST:: SOT 2210333 SOS 950901 HAS SOPS 950557 HAS SOUS 339487 HAS SOUPS 339143 WITH SCORE 340093.901
AT ITER 6272 NEW BEST:: SOT 2210333 SOS 950901 HAS SOPS 950557 HAS SOUS 339484 HAS SOUPS 339140 WITH SCORE 340090.901
AT ITER 6288 NEW BEST:: SOT 2210283 SOS 950223 HAS SOPS 949879 HAS SOUS 339434 HAS SOUPS 339090 WITH SCORE 340040.223
AT ITER 6299 NEW BEST:: SOT 2210305 SOS 950213 HAS SOPS 949869 HAS SOUS 339414 HAS SOUPS 339070 WITH SCORE 340020.213
AT ITER 6320 NEW BEST:: SOT 2210299 SOS 950201 HAS SOPS 949857 HAS SOUS 339390 HAS SOUPS 339046 WITH SCORE 339996.201
AT ITER 6325 NEW BEST:: SOT 2210289 SOS 950361 HAS SOPS 950017 HAS SOUS 339370 HAS SOUPS 339026 WITH SCORE 339976.361
AT ITER 6334 NEW BEST:: SOT 2210252 SOS 951169 HAS SOPS 950825 HAS SOUS 339296 HAS SOUPS 338952 WITH SCORE 339903.169
AT ITER 6342 NEW BEST:: SOT 2210233 SOS 951150 HAS SOPS 950806 HAS SOUS 339294 HAS SOUPS 338950 WITH SCORE 339901.15
AT ITER 6356 NEW BEST:: SOT 2210232 SOS 951149 HAS SOPS 950805 HAS SOUS 339292 HAS SOUPS 338948 WITH SCORE 339899.149
AT ITER 6359 NEW BEST:: SOT 2210155 SOS 951072 HAS SOPS 950728 HAS SOUS 339215 HAS SOUPS 338871 WITH SCORE 339822.072
AT ITER 6379 NEW BEST:: SOT 2209891 SOS 950544 HAS SOPS 950200 HAS SOUS 338868 HAS SOUPS 338524 WITH SCORE 339474.544
AT ITER 6399 NEW BEST:: SOT 2209897 SOS 950497 HAS SOPS 950153 HAS SOUS 338676 HAS SOUPS 338332 WITH SCORE 339282.497
AT ITER 6406 NEW BEST:: SOT 2209807 SOS 950407 HAS SOPS 950063 HAS SOUS 338496 HAS SOUPS 338152 WITH SCORE 339102.407
AT ITER 6441 NEW BEST:: SOT 2209809 SOS 950399 HAS SOPS 950055 HAS SOUS 338496 HAS SOUPS 338152 WITH SCORE 339102.399
AT ITER 6447 NEW BEST:: SOT 2209789 SOS 950379 HAS SOPS 950035 HAS SOUS 338456 HAS SOUPS 338112 WITH SCORE 339062.379
AT ITER 6454 NEW BEST:: SOT 2209639 SOS 951870 HAS SOPS 951331 HAS SOUS 338301 HAS SOUPS 337762 WITH SCORE 338713.87
AT ITER 6455 NEW BEST:: SOT 2209643 SOS 951874 HAS SOPS 951335 HAS SOUS 338297 HAS SOUPS 337758 WITH SCORE 338709.874
AT ITER 6485 NEW BEST:: SOT 2209601 SOS 951082 HAS SOPS 950543 HAS SOUS 338200 HAS SOUPS 337661 WITH SCORE 338612.082
AT ITER 6489 NEW BEST:: SOT 2209601 SOS 950072 HAS SOPS 949533 HAS SOUS 338030 HAS SOUPS 337491 WITH SCORE 338441.072
AT ITER 6506 NEW BEST:: SOT 2209592 SOS 950063 HAS SOPS 949533 HAS SOUS 338012 HAS SOUPS 337482 WITH SCORE 338432.063
AT ITER 6516 NEW BEST:: SOT 2209592 SOS 950052 HAS SOPS 949522 HAS SOUS 337990 HAS SOUPS 337460 WITH SCORE 338410.052
AT ITER 6541 NEW BEST:: SOT 2209549 SOS 950009 HAS SOPS 949479 HAS SOUS 337904 HAS SOUPS 337374 WITH SCORE 338324.009
AT ITER 6558 NEW BEST:: SOT 2209217 SOS 949842 HAS SOPS 949312 HAS SOUS 337624 HAS SOUPS 337094 WITH SCORE 338043.842
AT ITER 6559 NEW BEST:: SOT 2209217 SOS 949842 HAS SOPS 949312 HAS SOUS 337553 HAS SOUPS 337023 WITH SCORE 337972.842
AT ITER 6585 NEW BEST:: SOT 2209156 SOS 949781 HAS SOPS 949251 HAS SOUS 337431 HAS SOUPS 336901 WITH SCORE 337850.781
AT ITER 6595 NEW BEST:: SOT 2209105 SOS 949730 HAS SOPS 949200 HAS SOUS 337329 HAS SOUPS 336799 WITH SCORE 337748.73
AT ITER 6608 NEW BEST:: SOT 2209138 SOS 949616 HAS SOPS 949086 HAS SOUS 337021 HAS SOUPS 336491 WITH SCORE 337440.616
AT ITER 6637 NEW BEST:: SOT 2209138 SOS 948806 HAS SOPS 948276 HAS SOUS 337021 HAS SOUPS 336491 WITH SCORE 337439.806
AT ITER 6653 NEW BEST:: SOT 2208219 SOS 947935 HAS SOPS 947357 HAS SOUS 336940 HAS SOUPS 336362 WITH SCORE 337309.935
AT ITER 6696 NEW BEST:: SOT 2208101 SOS 947663 HAS SOPS 947085 HAS SOUS 336427 HAS SOUPS 335849 WITH SCORE 336796.663
AT ITER 6697 NEW BEST:: SOT 2207963 SOS 948085 HAS SOPS 947507 HAS SOUS 336263 HAS SOUPS 335685 WITH SCORE 336633.085
AT ITER 6743 NEW BEST:: SOT 2207958 SOS 949710 HAS SOPS 949132 HAS SOUS 336235 HAS SOUPS 335657 WITH SCORE 336606.71
AT ITER 6813 NEW BEST:: SOT 2208261 SOS 949732 HAS SOPS 949154 HAS SOUS 335664 HAS SOUPS 335086 WITH SCORE 336035.732
AT ITER 6820 NEW BEST:: SOT 2208018 SOS 949581 HAS SOPS 949003 HAS SOUS 335362 HAS SOUPS 334784 WITH SCORE 335733.581
AT ITER 6829 NEW BEST:: SOT 2208016 SOS 949579 HAS SOPS 949001 HAS SOUS 335358 HAS SOUPS 334780 WITH SCORE 335729.579
AT ITER 6849 NEW BEST:: SOT 2208025 SOS 949353 HAS SOPS 948775 HAS SOUS 335329 HAS SOUPS 334751 WITH SCORE 335700.353
AT ITER 6853 NEW BEST:: SOT 2207900 SOS 949671 HAS SOPS 949093 HAS SOUS 335079 HAS SOUPS 334501 WITH SCORE 335450.671
AT ITER 6854 NEW BEST:: SOT 2207906 SOS 949667 HAS SOPS 949089 HAS SOUS 335075 HAS SOUPS 334497 WITH SCORE 335446.667
AT ITER 6857 NEW BEST:: SOT 2207894 SOS 949655 HAS SOPS 949077 HAS SOUS 335020 HAS SOUPS 334442 WITH SCORE 335391.655
AT ITER 6858 NEW BEST:: SOT 2208196 SOS 949746 HAS SOPS 949168 HAS SOUS 334696 HAS SOUPS 334118 WITH SCORE 335067.746
AT ITER 6889 NEW BEST:: SOT 2208178 SOS 949728 HAS SOPS 949150 HAS SOUS 334678 HAS SOUPS 334100 WITH SCORE 335049.728
AT ITER 6906 NEW BEST:: SOT 2208170 SOS 949720 HAS SOPS 949142 HAS SOUS 334662 HAS SOUPS 334084 WITH SCORE 335033.72
AT ITER 6916 NEW BEST:: SOT 2207924 SOS 949474 HAS SOPS 948896 HAS SOUS 334416 HAS SOUPS 333838 WITH SCORE 334787.474
AT ITER 6921 NEW BEST:: SOT 2207911 SOS 949371 HAS SOPS 948793 HAS SOUS 334390 HAS SOUPS 333812 WITH SCORE 334761.371
AT ITER 6929 NEW BEST:: SOT 2207739 SOS 949273 HAS SOPS 948695 HAS SOUS 334292 HAS SOUPS 333714 WITH SCORE 334663.273
AT ITER 6945 NEW BEST:: SOT 2207727 SOS 949261 HAS SOPS 948683 HAS SOUS 334268 HAS SOUPS 333690 WITH SCORE 334639.261
AT ITER 6958 NEW BEST:: SOT 2207727 SOS 949261 HAS SOPS 948683 HAS SOUS 334266 HAS SOUPS 333688 WITH SCORE 334637.261
AT ITER 6970 NEW BEST:: SOT 2207727 SOS 948697 HAS SOPS 948119 HAS SOUS 334266 HAS SOUPS 333688 WITH SCORE 334636.697
AT ITER 6988 NEW BEST:: SOT 2207619 SOS 948589 HAS SOPS 948011 HAS SOUS 334158 HAS SOUPS 333580 WITH SCORE 334528.589
AT ITER 6991 NEW BEST:: SOT 2207733 SOS 950529 HAS SOPS 949951 HAS SOUS 333968 HAS SOUPS 333390 WITH SCORE 334340.529
AT ITER 6995 NEW BEST:: SOT 2207851 SOS 950647 HAS SOPS 950069 HAS SOUS 333926 HAS SOUPS 333348 WITH SCORE 334298.647
AT ITER 7007 NEW BEST:: SOT 2207850 SOS 950646 HAS SOPS 950068 HAS SOUS 333856 HAS SOUPS 333278 WITH SCORE 334228.646
AT ITER 7009 NEW BEST:: SOT 2207808 SOS 950604 HAS SOPS 950026 HAS SOUS 333810 HAS SOUPS 333232 WITH SCORE 334182.604
AT ITER 7019 NEW BEST:: SOT 2207808 SOS 950358 HAS SOPS 949780 HAS SOUS 333619 HAS SOUPS 333041 WITH SCORE 333991.358
AT ITER 7026 NEW BEST:: SOT 2207683 SOS 950828 HAS SOPS 950250 HAS SOUS 333613 HAS SOUPS 333035 WITH SCORE 333985.828
AT ITER 7028 NEW BEST:: SOT 2207626 SOS 950771 HAS SOPS 950193 HAS SOUS 333499 HAS SOUPS 332921 WITH SCORE 333871.771
AT ITER 7030 NEW BEST:: SOT 2207626 SOS 950771 HAS SOPS 950193 HAS SOUS 333316 HAS SOUPS 332738 WITH SCORE 333688.771
AT ITER 7050 NEW BEST:: SOT 2207449 SOS 950269 HAS SOPS 949691 HAS SOUS 333092 HAS SOUPS 332514 WITH SCORE 333464.269
AT ITER 7053 NEW BEST:: SOT 2207174 SOS 949419 HAS SOPS 948841 HAS SOUS 332772 HAS SOUPS 332194 WITH SCORE 333143.419
AT ITER 7075 NEW BEST:: SOT 2207193 SOS 949438 HAS SOPS 948860 HAS SOUS 332692 HAS SOUPS 332114 WITH SCORE 333063.438
AT ITER 7083 NEW BEST:: SOT 2207184 SOS 949429 HAS SOPS 948851 HAS SOUS 332674 HAS SOUPS 332096 WITH SCORE 333045.429
AT ITER 7085 NEW BEST:: SOT 2207184 SOS 948804 HAS SOPS 948226 HAS SOUS 332549 HAS SOUPS 331971 WITH SCORE 332919.804
AT ITER 7087 NEW BEST:: SOT 2207184 SOS 948804 HAS SOPS 948226 HAS SOUS 332518 HAS SOUPS 331940 WITH SCORE 332888.804
AT ITER 7088 NEW BEST:: SOT 2207122 SOS 948973 HAS SOPS 948395 HAS SOUS 332394 HAS SOUPS 331816 WITH SCORE 332764.973
AT ITER 7124 NEW BEST:: SOT 2207061 SOS 949242 HAS SOPS 948664 HAS SOUS 332260 HAS SOUPS 331682 WITH SCORE 332631.242
AT ITER 7146 NEW BEST:: SOT 2207040 SOS 949221 HAS SOPS 948643 HAS SOUS 332218 HAS SOUPS 331640 WITH SCORE 332589.221
AT ITER 7170 NEW BEST:: SOT 2206972 SOS 948773 HAS SOPS 948195 HAS SOUS 332092 HAS SOUPS 331514 WITH SCORE 332462.773
AT ITER 7176 NEW BEST:: SOT 2206925 SOS 948726 HAS SOPS 948148 HAS SOUS 331998 HAS SOUPS 331420 WITH SCORE 332368.726
AT ITER 7228 NEW BEST:: SOT 2206912 SOS 948919 HAS SOPS 948341 HAS SOUS 331985 HAS SOUPS 331407 WITH SCORE 332355.919
AT ITER 7253 NEW BEST:: SOT 2206838 SOS 948760 HAS SOPS 948182 HAS SOUS 331894 HAS SOUPS 331316 WITH SCORE 332264.76
AT ITER 7257 NEW BEST:: SOT 2206628 SOS 948550 HAS SOPS 947972 HAS SOUS 331476 HAS SOUPS 330898 WITH SCORE 331846.55
AT ITER 7271 NEW BEST:: SOT 2206572 SOS 948494 HAS SOPS 947916 HAS SOUS 331364 HAS SOUPS 330786 WITH SCORE 331734.494
AT ITER 7272 NEW BEST:: SOT 2206593 SOS 948410 HAS SOPS 947832 HAS SOUS 331364 HAS SOUPS 330786 WITH SCORE 331734.41
AT ITER 7297 NEW BEST:: SOT 2206656 SOS 948524 HAS SOPS 947946 HAS SOUS 331330 HAS SOUPS 330752 WITH SCORE 331700.524
AT ITER 7334 NEW BEST:: SOT 2206656 SOS 948509 HAS SOPS 947931 HAS SOUS 330729 HAS SOUPS 330151 WITH SCORE 331099.509
AT ITER 7429 NEW BEST:: SOT 2206585 SOS 948438 HAS SOPS 947860 HAS SOUS 330620 HAS SOUPS 330042 WITH SCORE 330990.438
AT ITER 7430 NEW BEST:: SOT 2206580 SOS 948403 HAS SOPS 947825 HAS SOUS 330550 HAS SOUPS 329972 WITH SCORE 330920.403
AT ITER 7445 NEW BEST:: SOT 2206224 SOS 947977 HAS SOPS 947399 HAS SOUS 330300 HAS SOUPS 329722 WITH SCORE 330669.977
AT ITER 7446 NEW BEST:: SOT 2206169 SOS 947922 HAS SOPS 947344 HAS SOUS 330242 HAS SOUPS 329664 WITH SCORE 330611.922
AT ITER 7452 NEW BEST:: SOT 2206156 SOS 947844 HAS SOPS 947266 HAS SOUS 330216 HAS SOUPS 329638 WITH SCORE 330585.844
AT ITER 7475 NEW BEST:: SOT 2206020 SOS 947708 HAS SOPS 947130 HAS SOUS 330212 HAS SOUPS 329634 WITH SCORE 330581.708
AT ITER 7478 NEW BEST:: SOT 2206020 SOS 947708 HAS SOPS 947130 HAS SOUS 330204 HAS SOUPS 329626 WITH SCORE 330573.708
AT ITER 7490 NEW BEST:: SOT 2206020 SOS 947700 HAS SOPS 947122 HAS SOUS 330204 HAS SOUPS 329626 WITH SCORE 330573.7
AT ITER 7500 NEW BEST:: SOT 2206011 SOS 947106 HAS SOPS 946528 HAS SOUS 330186 HAS SOUPS 329608 WITH SCORE 330555.106
AT ITER 7501 NEW BEST:: SOT 2205714 SOS 946643 HAS SOPS 946065 HAS SOUS 329924 HAS SOUPS 329346 WITH SCORE 330292.643
AT ITER 7505 NEW BEST:: SOT 2205692 SOS 946731 HAS SOPS 946153 HAS SOUS 329880 HAS SOUPS 329302 WITH SCORE 330248.731
AT ITER 7506 NEW BEST:: SOT 2205685 SOS 946349 HAS SOPS 945771 HAS SOUS 329866 HAS SOUPS 329288 WITH SCORE 330234.349
AT ITER 7515 NEW BEST:: SOT 2205567 SOS 946349 HAS SOPS 945771 HAS SOUS 329630 HAS SOUPS 329052 WITH SCORE 329998.349
AT ITER 7523 NEW BEST:: SOT 2205545 SOS 946327 HAS SOPS 945749 HAS SOUS 329608 HAS SOUPS 329030 WITH SCORE 329976.327
AT ITER 7546 NEW BEST:: SOT 2205504 SOS 946243 HAS SOPS 945665 HAS SOUS 329440 HAS SOUPS 328862 WITH SCORE 329808.243
AT ITER 7549 NEW BEST:: SOT 2205495 SOS 946234 HAS SOPS 945656 HAS SOUS 329440 HAS SOUPS 328862 WITH SCORE 329808.234
AT ITER 7559 NEW BEST:: SOT 2205473 SOS 946212 HAS SOPS 945634 HAS SOUS 329396 HAS SOUPS 328818 WITH SCORE 329764.212
AT ITER 7561 NEW BEST:: SOT 2205475 SOS 946204 HAS SOPS 945626 HAS SOUS 329396 HAS SOUPS 328818 WITH SCORE 329764.204
AT ITER 7572 NEW BEST:: SOT 2205619 SOS 946342 HAS SOPS 945764 HAS SOUS 329395 HAS SOUPS 328817 WITH SCORE 329763.342
AT ITER 7581 NEW BEST:: SOT 2205638 SOS 946361 HAS SOPS 945783 HAS SOUS 329342 HAS SOUPS 328764 WITH SCORE 329710.361
AT ITER 7585 NEW BEST:: SOT 2205560 SOS 946283 HAS SOPS 945705 HAS SOUS 329264 HAS SOUPS 328686 WITH SCORE 329632.283
AT ITER 7587 NEW BEST:: SOT 2207031 SOS 939174 HAS SOPS 938596 HAS SOUS 328735 HAS SOUPS 328157 WITH SCORE 329096.174
AT ITER 7588 NEW BEST:: SOT 2207044 SOS 939164 HAS SOPS 938586 HAS SOUS 328715 HAS SOUPS 328137 WITH SCORE 329076.164
AT ITER 7590 NEW BEST:: SOT 2207000 SOS 939120 HAS SOPS 938542 HAS SOUS 328677 HAS SOUPS 328099 WITH SCORE 329038.12
AT ITER 7596 NEW BEST:: SOT 2206633 SOS 938816 HAS SOPS 938238 HAS SOUS 328306 HAS SOUPS 327728 WITH SCORE 328666.816
AT ITER 7613 NEW BEST:: SOT 2206596 SOS 938499 HAS SOPS 937921 HAS SOUS 328214 HAS SOUPS 327636 WITH SCORE 328574.499
AT ITER 7619 NEW BEST:: SOT 2206541 SOS 938389 HAS SOPS 937811 HAS SOUS 328214 HAS SOUPS 327636 WITH SCORE 328574.389
AT ITER 7624 NEW BEST:: SOT 2206332 SOS 938262 HAS SOPS 937684 HAS SOUS 327823 HAS SOUPS 327245 WITH SCORE 328183.262
AT ITER 7639 NEW BEST:: SOT 2206329 SOS 938259 HAS SOPS 937681 HAS SOUS 327817 HAS SOUPS 327239 WITH SCORE 328177.259
AT ITER 7647 NEW BEST:: SOT 2206294 SOS 938224 HAS SOPS 937646 HAS SOUS 327817 HAS SOUPS 327239 WITH SCORE 328177.224
AT ITER 7671 NEW BEST:: SOT 2206291 SOS 938221 HAS SOPS 937643 HAS SOUS 327814 HAS SOUPS 327236 WITH SCORE 328174.221
AT ITER 7673 NEW BEST:: SOT 2206291 SOS 938096 HAS SOPS 937518 HAS SOUS 327814 HAS SOUPS 327236 WITH SCORE 328174.096
AT ITER 7683 NEW BEST:: SOT 2206244 SOS 938049 HAS SOPS 937471 HAS SOUS 327720 HAS SOUPS 327142 WITH SCORE 328080.049
AT ITER 7692 NEW BEST:: SOT 2206188 SOS 937993 HAS SOPS 937415 HAS SOUS 327611 HAS SOUPS 327033 WITH SCORE 327970.993
AT ITER 7709 NEW BEST:: SOT 2206188 SOS 937970 HAS SOPS 937392 HAS SOUS 327588 HAS SOUPS 327010 WITH SCORE 327947.97
AT ITER 7712 NEW BEST:: SOT 2206039 SOS 937791 HAS SOPS 937213 HAS SOUS 327548 HAS SOUPS 326970 WITH SCORE 327907.791
AT ITER 7748 NEW BEST:: SOT 2205869 SOS 938186 HAS SOPS 937608 HAS SOUS 327491 HAS SOUPS 326913 WITH SCORE 327851.186
AT ITER 7766 NEW BEST:: SOT 2205663 SOS 937053 HAS SOPS 936475 HAS SOUS 327285 HAS SOUPS 326707 WITH SCORE 327644.053
AT ITER 7773 NEW BEST:: SOT 2205584 SOS 936487 HAS SOPS 935909 HAS SOUS 327191 HAS SOUPS 326613 WITH SCORE 327549.487
AT ITER 7811 NEW BEST:: SOT 2205532 SOS 936608 HAS SOPS 936030 HAS SOUS 327087 HAS SOUPS 326509 WITH SCORE 327445.608
AT ITER 7812 NEW BEST:: SOT 2205413 SOS 936279 HAS SOPS 935701 HAS SOUS 326849 HAS SOUPS 326271 WITH SCORE 327207.279
AT ITER 7823 NEW BEST:: SOT 2205147 SOS 936013 HAS SOPS 935435 HAS SOUS 326317 HAS SOUPS 325739 WITH SCORE 326675.013
AT ITER 7845 NEW BEST:: SOT 2205083 SOS 936306 HAS SOPS 935728 HAS SOUS 326189 HAS SOUPS 325611 WITH SCORE 326547.306
AT ITER 7849 NEW BEST:: SOT 2204959 SOS 936182 HAS SOPS 935604 HAS SOUS 326143 HAS SOUPS 325565 WITH SCORE 326501.182
AT ITER 7851 NEW BEST:: SOT 2204941 SOS 936155 HAS SOPS 935577 HAS SOUS 326125 HAS SOUPS 325547 WITH SCORE 326483.155
AT ITER 7863 NEW BEST:: SOT 2204941 SOS 936070 HAS SOPS 935492 HAS SOUS 326125 HAS SOUPS 325547 WITH SCORE 326483.07
AT ITER 7870 NEW BEST:: SOT 2204941 SOS 935830 HAS SOPS 935252 HAS SOUS 326125 HAS SOUPS 325547 WITH SCORE 326482.83
AT ITER 7889 NEW BEST:: SOT 2204931 SOS 935770 HAS SOPS 935192 HAS SOUS 326125 HAS SOUPS 325547 WITH SCORE 326482.77
AT ITER 7936 NEW BEST:: SOT 2204909 SOS 935682 HAS SOPS 935104 HAS SOUS 326081 HAS SOUPS 325503 WITH SCORE 326438.682
AT ITER 7947 NEW BEST:: SOT 2204787 SOS 934255 HAS SOPS 933677 HAS SOUS 325837 HAS SOUPS 325259 WITH SCORE 326193.255
AT ITER 7959 NEW BEST:: SOT 2204720 SOS 934188 HAS SOPS 933610 HAS SOUS 325716 HAS SOUPS 325138 WITH SCORE 326072.188
AT ITER 7994 NEW BEST:: SOT 2204897 SOS 935193 HAS SOPS 934615 HAS SOUS 325656 HAS SOUPS 325078 WITH SCORE 326013.193
AT ITER 7995 NEW BEST:: SOT 2204897 SOS 935098 HAS SOPS 934520 HAS SOUS 325656 HAS SOUPS 325078 WITH SCORE 326013.098
AT ITER 8014 NEW BEST:: SOT 2204890 SOS 935084 HAS SOPS 934506 HAS SOUS 325656 HAS SOUPS 325078 WITH SCORE 326013.084
AT ITER 8021 NEW BEST:: SOT 2204835 SOS 935224 HAS SOPS 934646 HAS SOUS 325640 HAS SOUPS 325062 WITH SCORE 325997.224
AT ITER 8022 NEW BEST:: SOT 2204821 SOS 935210 HAS SOPS 934632 HAS SOUS 325612 HAS SOUPS 325034 WITH SCORE 325969.21
AT ITER 8031 NEW BEST:: SOT 2204821 SOS 935195 HAS SOPS 934617 HAS SOUS 325609 HAS SOUPS 325031 WITH SCORE 325966.195
AT ITER 8042 NEW BEST:: SOT 2204760 SOS 935165 HAS SOPS 934587 HAS SOUS 325549 HAS SOUPS 324971 WITH SCORE 325906.165
AT ITER 8048 NEW BEST:: SOT 2204764 SOS 935154 HAS SOPS 934576 HAS SOUS 325527 HAS SOUPS 324949 WITH SCORE 325884.154
AT ITER 8057 NEW BEST:: SOT 2204764 SOS 935104 HAS SOPS 934526 HAS SOUS 325427 HAS SOUPS 324849 WITH SCORE 325784.104
AT ITER 8064 NEW BEST:: SOT 2204518 SOS 933628 HAS SOPS 933050 HAS SOUS 325427 HAS SOUPS 324849 WITH SCORE 325782.628
AT ITER 8087 NEW BEST:: SOT 2204523 SOS 933618 HAS SOPS 933040 HAS SOUS 325407 HAS SOUPS 324829 WITH SCORE 325762.618
AT ITER 8097 NEW BEST:: SOT 2204479 SOS 933574 HAS SOPS 932996 HAS SOUS 325319 HAS SOUPS 324741 WITH SCORE 325674.574
AT ITER 8101 NEW BEST:: SOT 2204440 SOS 933490 HAS SOPS 932912 HAS SOUS 325151 HAS SOUPS 324573 WITH SCORE 325506.49
AT ITER 8104 NEW BEST:: SOT 2204437 SOS 933487 HAS SOPS 932909 HAS SOUS 325145 HAS SOUPS 324567 WITH SCORE 325500.487
AT ITER 8125 NEW BEST:: SOT 2204465 SOS 933423 HAS SOPS 932845 HAS SOUS 325017 HAS SOUPS 324439 WITH SCORE 325372.423
AT ITER 8178 NEW BEST:: SOT 2204465 SOS 933458 HAS SOPS 932880 HAS SOUS 324970 HAS SOUPS 324392 WITH SCORE 325325.458
AT ITER 8181 NEW BEST:: SOT 2204426 SOS 934075 HAS SOPS 933497 HAS SOUS 324892 HAS SOUPS 324314 WITH SCORE 325248.075
AT ITER 8213 NEW BEST:: SOT 2204408 SOS 934057 HAS SOPS 933479 HAS SOUS 324856 HAS SOUPS 324278 WITH SCORE 325212.057
AT ITER 8221 NEW BEST:: SOT 2204393 SOS 934027 HAS SOPS 933449 HAS SOUS 324826 HAS SOUPS 324248 WITH SCORE 325182.027
AT ITER 8243 NEW BEST:: SOT 2204376 SOS 934019 HAS SOPS 933441 HAS SOUS 324810 HAS SOUPS 324232 WITH SCORE 325166.019
AT ITER 8319 NEW BEST:: SOT 2204364 SOS 934067 HAS SOPS 933489 HAS SOUS 324786 HAS SOUPS 324208 WITH SCORE 325142.067
AT ITER 8320 NEW BEST:: SOT 2204364 SOS 934027 HAS SOPS 933449 HAS SOUS 324778 HAS SOUPS 324200 WITH SCORE 325134.027
AT ITER 8345 NEW BEST:: SOT 2204347 SOS 933976 HAS SOPS 933398 HAS SOUS 324744 HAS SOUPS 324166 WITH SCORE 325099.976
AT ITER 8354 NEW BEST:: SOT 2204341 SOS 933964 HAS SOPS 933386 HAS SOUS 324726 HAS SOUPS 324148 WITH SCORE 325081.964
AT ITER 8363 NEW BEST:: SOT 2204237 SOS 933600 HAS SOPS 933022 HAS SOUS 324518 HAS SOUPS 323940 WITH SCORE 324873.6
AT ITER 8383 NEW BEST:: SOT 2204237 SOS 933572 HAS SOPS 932994 HAS SOUS 324518 HAS SOUPS 323940 WITH SCORE 324873.572
AT ITER 8387 NEW BEST:: SOT 2204111 SOS 933446 HAS SOPS 932868 HAS SOUS 324266 HAS SOUPS 323688 WITH SCORE 324621.446
AT ITER 8401 NEW BEST:: SOT 2204012 SOS 933837 HAS SOPS 933259 HAS SOUS 324265 HAS SOUPS 323687 WITH SCORE 324620.837
AT ITER 8414 NEW BEST:: SOT 2203940 SOS 933765 HAS SOPS 933187 HAS SOUS 324247 HAS SOUPS 323669 WITH SCORE 324602.765
AT ITER 8418 NEW BEST:: SOT 2203887 SOS 933686 HAS SOPS 933108 HAS SOUS 324195 HAS SOUPS 323617 WITH SCORE 324550.686
AT ITER 8436 NEW BEST:: SOT 2203870 SOS 934068 HAS SOPS 933490 HAS SOUS 324161 HAS SOUPS 323583 WITH SCORE 324517.068
AT ITER 8484 NEW BEST:: SOT 2203864 SOS 934062 HAS SOPS 933484 HAS SOUS 324152 HAS SOUPS 323574 WITH SCORE 324508.062
AT ITER 8492 NEW BEST:: SOT 2203614 SOS 933812 HAS SOPS 933234 HAS SOUS 323707 HAS SOUPS 323129 WITH SCORE 324062.812
AT ITER 8522 NEW BEST:: SOT 2203614 SOS 933812 HAS SOPS 933234 HAS SOUS 323705 HAS SOUPS 323127 WITH SCORE 324060.812
AT ITER 8528 NEW BEST:: SOT 2203314 SOS 931697 HAS SOPS 931119 HAS SOUS 323241 HAS SOUPS 322663 WITH SCORE 323594.697
AT ITER 8544 NEW BEST:: SOT 2203242 SOS 931625 HAS SOPS 931047 HAS SOUS 323214 HAS SOUPS 322636 WITH SCORE 323567.625
AT ITER 8545 NEW BEST:: SOT 2202770 SOS 931153 HAS SOPS 930575 HAS SOUS 322927 HAS SOUPS 322349 WITH SCORE 323280.153
AT ITER 8587 NEW BEST:: SOT 2202770 SOS 931483 HAS SOPS 930905 HAS SOUS 322861 HAS SOUPS 322283 WITH SCORE 323214.483
AT ITER 8588 NEW BEST:: SOT 2202672 SOS 931228 HAS SOPS 930650 HAS SOUS 322665 HAS SOUPS 322087 WITH SCORE 323018.228
AT ITER 8619 NEW BEST:: SOT 2202672 SOS 931108 HAS SOPS 930530 HAS SOUS 322665 HAS SOUPS 322087 WITH SCORE 323018.108
AT ITER 8626 NEW BEST:: SOT 2202571 SOS 931007 HAS SOPS 930429 HAS SOUS 322655 HAS SOUPS 322077 WITH SCORE 323008.007
AT ITER 8653 NEW BEST:: SOT 2202430 SOS 930866 HAS SOPS 930288 HAS SOUS 322647 HAS SOUPS 322069 WITH SCORE 322999.866
AT ITER 8670 NEW BEST:: SOT 2202281 SOS 930717 HAS SOPS 930139 HAS SOUS 322349 HAS SOUPS 321771 WITH SCORE 322701.717
AT ITER 8675 NEW BEST:: SOT 2202227 SOS 930663 HAS SOPS 930085 HAS SOUS 322343 HAS SOUPS 321765 WITH SCORE 322695.663
AT ITER 8690 NEW BEST:: SOT 2201915 SOS 930428 HAS SOPS 929850 HAS SOUS 322107 HAS SOUPS 321529 WITH SCORE 322459.428
AT ITER 8701 NEW BEST:: SOT 2201872 SOS 930018 HAS SOPS 929440 HAS SOUS 322069 HAS SOUPS 321491 WITH SCORE 322421.018
AT ITER 8702 NEW BEST:: SOT 2201872 SOS 930018 HAS SOPS 929440 HAS SOUS 322063 HAS SOUPS 321485 WITH SCORE 322415.018
AT ITER 8706 NEW BEST:: SOT 2201835 SOS 929921 HAS SOPS 929343 HAS SOUS 321989 HAS SOUPS 321411 WITH SCORE 322340.921
AT ITER 8710 NEW BEST:: SOT 2201835 SOS 929865 HAS SOPS 929287 HAS SOUS 321989 HAS SOUPS 321411 WITH SCORE 322340.865
AT ITER 8740 NEW BEST:: SOT 2201705 SOS 929735 HAS SOPS 929157 HAS SOUS 321741 HAS SOUPS 321163 WITH SCORE 322092.735
AT ITER 8746 NEW BEST:: SOT 2201737 SOS 936422 HAS SOPS 935741 HAS SOUS 321805 HAS SOUPS 321124 WITH SCORE 322060.422
AT ITER 8755 NEW BEST:: SOT 2201537 SOS 936267 HAS SOPS 935586 HAS SOUS 321614 HAS SOUPS 320933 WITH SCORE 321869.267
AT ITER 8770 NEW BEST:: SOT 2201525 SOS 936255 HAS SOPS 935574 HAS SOUS 321590 HAS SOUPS 320909 WITH SCORE 321845.255
AT ITER 8793 NEW BEST:: SOT 2201573 SOS 936303 HAS SOPS 935622 HAS SOUS 321528 HAS SOUPS 320847 WITH SCORE 321783.303
AT ITER 8815 NEW BEST:: SOT 2201567 SOS 936297 HAS SOPS 935616 HAS SOUS 321522 HAS SOUPS 320841 WITH SCORE 321777.297
AT ITER 8821 NEW BEST:: SOT 2201422 SOS 937067 HAS SOPS 936386 HAS SOUS 321232 HAS SOUPS 320551 WITH SCORE 321488.067
AT ITER 8872 NEW BEST:: SOT 2201249 SOS 936639 HAS SOPS 935958 HAS SOUS 321008 HAS SOUPS 320327 WITH SCORE 321263.639
AT ITER 8874 NEW BEST:: SOT 2201184 SOS 936574 HAS SOPS 935893 HAS SOUS 320943 HAS SOUPS 320262 WITH SCORE 321198.574
AT ITER 8903 NEW BEST:: SOT 2200963 SOS 936353 HAS SOPS 935672 HAS SOUS 320516 HAS SOUPS 319835 WITH SCORE 320771.353
AT ITER 8926 NEW BEST:: SOT 2200967 SOS 936357 HAS SOPS 935676 HAS SOUS 320382 HAS SOUPS 319701 WITH SCORE 320637.357
AT ITER 8941 NEW BEST:: SOT 2200967 SOS 936345 HAS SOPS 935664 HAS SOUS 320382 HAS SOUPS 319701 WITH SCORE 320637.345
AT ITER 8942 NEW BEST:: SOT 2199216 SOS 934649 HAS SOPS 933968 HAS SOUS 320094 HAS SOUPS 319413 WITH SCORE 320347.649
AT ITER 8950 NEW BEST:: SOT 2199133 SOS 934355 HAS SOPS 933674 HAS SOUS 319928 HAS SOUPS 319247 WITH SCORE 320181.355
AT ITER 8953 NEW BEST:: SOT 2199023 SOS 934245 HAS SOPS 933564 HAS SOUS 319708 HAS SOUPS 319027 WITH SCORE 319961.245
AT ITER 9023 NEW BEST:: SOT 2198929 SOS 934198 HAS SOPS 933517 HAS SOUS 319614 HAS SOUPS 318933 WITH SCORE 319867.198
AT ITER 9029 NEW BEST:: SOT 2198731 SOS 934056 HAS SOPS 933375 HAS SOUS 319542 HAS SOUPS 318861 WITH SCORE 319795.056
AT ITER 9055 NEW BEST:: SOT 2198691 SOS 934016 HAS SOPS 933335 HAS SOUS 319462 HAS SOUPS 318781 WITH SCORE 319715.016
AT ITER 9094 NEW BEST:: SOT 2198673 SOS 933998 HAS SOPS 933317 HAS SOUS 319426 HAS SOUPS 318745 WITH SCORE 319678.998
AT ITER 9102 NEW BEST:: SOT 2198667 SOS 933986 HAS SOPS 933305 HAS SOUS 319426 HAS SOUPS 318745 WITH SCORE 319678.986
AT ITER 9110 NEW BEST:: SOT 2198510 SOS 934614 HAS SOPS 933933 HAS SOUS 319409 HAS SOUPS 318728 WITH SCORE 319662.614
AT ITER 9113 NEW BEST:: SOT 2198248 SOS 934022 HAS SOPS 933341 HAS SOUS 319339 HAS SOUPS 318658 WITH SCORE 319592.022
AT ITER 9124 NEW BEST:: SOT 2198253 SOS 934027 HAS SOPS 933346 HAS SOUS 319314 HAS SOUPS 318633 WITH SCORE 319567.027
AT ITER 9134 NEW BEST:: SOT 2198237 SOS 934003 HAS SOPS 933322 HAS SOUS 319298 HAS SOUPS 318617 WITH SCORE 319551.003
AT ITER 9140 NEW BEST:: SOT 2198152 SOS 934858 HAS SOPS 934177 HAS SOUS 319128 HAS SOUPS 318447 WITH SCORE 319381.858
AT ITER 9143 NEW BEST:: SOT 2198089 SOS 934795 HAS SOPS 934114 HAS SOUS 319002 HAS SOUPS 318321 WITH SCORE 319255.795
AT ITER 9144 NEW BEST:: SOT 2198028 SOS 934734 HAS SOPS 934053 HAS SOUS 318887 HAS SOUPS 318206 WITH SCORE 319140.734
AT ITER 9145 NEW BEST:: SOT 2197991 SOS 936605 HAS SOPS 935924 HAS SOUS 318780 HAS SOUPS 318099 WITH SCORE 319035.605
AT ITER 9152 NEW BEST:: SOT 2197989 SOS 936603 HAS SOPS 935922 HAS SOUS 318778 HAS SOUPS 318097 WITH SCORE 319033.603
AT ITER 9155 NEW BEST:: SOT 2197989 SOS 936579 HAS SOPS 935898 HAS SOUS 318730 HAS SOUPS 318049 WITH SCORE 318985.579
AT ITER 9169 NEW BEST:: SOT 2197921 SOS 936171 HAS SOPS 935490 HAS SOUS 318594 HAS SOUPS 317913 WITH SCORE 318849.171
AT ITER 9175 NEW BEST:: SOT 2197781 SOS 936121 HAS SOPS 935440 HAS SOUS 318494 HAS SOUPS 317813 WITH SCORE 318749.121
AT ITER 9185 NEW BEST:: SOT 2197774 SOS 937331 HAS SOPS 936650 HAS SOUS 318480 HAS SOUPS 317799 WITH SCORE 318736.331
AT ITER 9190 NEW BEST:: SOT 2197693 SOS 937250 HAS SOPS 936569 HAS SOUS 318480 HAS SOUPS 317799 WITH SCORE 318736.25
AT ITER 9237 NEW BEST:: SOT 2197509 SOS 937098 HAS SOPS 936417 HAS SOUS 318328 HAS SOUPS 317647 WITH SCORE 318584.098
AT ITER 9281 NEW BEST:: SOT 2197509 SOS 937103 HAS SOPS 936422 HAS SOUS 318252 HAS SOUPS 317571 WITH SCORE 318508.103
AT ITER 9296 NEW BEST:: SOT 2197509 SOS 937090 HAS SOPS 936409 HAS SOUS 318239 HAS SOUPS 317558 WITH SCORE 318495.09
AT ITER 9305 NEW BEST:: SOT 2197747 SOS 936138 HAS SOPS 935457 HAS SOUS 318239 HAS SOUPS 317558 WITH SCORE 318494.138
AT ITER 9309 NEW BEST:: SOT 2197734 SOS 936193 HAS SOPS 935512 HAS SOUS 318213 HAS SOUPS 317532 WITH SCORE 318468.193
AT ITER 9343 NEW BEST:: SOT 2197550 SOS 936009 HAS SOPS 935328 HAS SOUS 317961 HAS SOUPS 317280 WITH SCORE 318216.009
AT ITER 9372 NEW BEST:: SOT 2197547 SOS 936006 HAS SOPS 935325 HAS SOUS 317955 HAS SOUPS 317274 WITH SCORE 318210.006
AT ITER 9373 NEW BEST:: SOT 2197476 SOS 935580 HAS SOPS 934899 HAS SOUS 317813 HAS SOUPS 317132 WITH SCORE 318067.58
AT ITER 9381 NEW BEST:: SOT 2197423 SOS 935850 HAS SOPS 935169 HAS SOUS 317707 HAS SOUPS 317026 WITH SCORE 317961.85
AT ITER 9389 NEW BEST:: SOT 2197423 SOS 935734 HAS SOPS 935053 HAS SOUS 317707 HAS SOUPS 317026 WITH SCORE 317961.734
AT ITER 9396 NEW BEST:: SOT 2197420 SOS 935731 HAS SOPS 935050 HAS SOUS 317701 HAS SOUPS 317020 WITH SCORE 317955.731
AT ITER 9418 NEW BEST:: SOT 2197373 SOS 935684 HAS SOPS 935003 HAS SOUS 317654 HAS SOUPS 316973 WITH SCORE 317908.684
AT ITER 9421 NEW BEST:: SOT 2197373 SOS 935499 HAS SOPS 934818 HAS SOUS 317617 HAS SOUPS 316936 WITH SCORE 317871.499
AT ITER 9424 NEW BEST:: SOT 2197354 SOS 935385 HAS SOPS 934704 HAS SOUS 317617 HAS SOUPS 316936 WITH SCORE 317871.385
AT ITER 9482 NEW BEST:: SOT 2197321 SOS 935352 HAS SOPS 934671 HAS SOUS 317617 HAS SOUPS 316936 WITH SCORE 317871.352
AT ITER 9495 NEW BEST:: SOT 2197315 SOS 935346 HAS SOPS 934665 HAS SOUS 317605 HAS SOUPS 316924 WITH SCORE 317859.346
AT ITER 9506 NEW BEST:: SOT 2197296 SOS 935327 HAS SOPS 934646 HAS SOUS 317567 HAS SOUPS 316886 WITH SCORE 317821.327
AT ITER 9518 NEW BEST:: SOT 2197273 SOS 935304 HAS SOPS 934623 HAS SOUS 317480 HAS SOUPS 316799 WITH SCORE 317734.304
AT ITER 9521 NEW BEST:: SOT 2197230 SOS 935261 HAS SOPS 934580 HAS SOUS 317394 HAS SOUPS 316713 WITH SCORE 317648.261
AT ITER 9524 NEW BEST:: SOT 2197224 SOS 935255 HAS SOPS 934574 HAS SOUS 317388 HAS SOUPS 316707 WITH SCORE 317642.255
AT ITER 9527 NEW BEST:: SOT 2197221 SOS 935548 HAS SOPS 934867 HAS SOUS 317382 HAS SOUPS 316701 WITH SCORE 317636.548
AT ITER 9541 NEW BEST:: SOT 2197221 SOS 935672 HAS SOPS 934991 HAS SOUS 317320 HAS SOUPS 316639 WITH SCORE 317574.672
AT ITER 9562 NEW BEST:: SOT 2197213 SOS 935664 HAS SOPS 934983 HAS SOUS 317304 HAS SOUPS 316623 WITH SCORE 317558.664
AT ITER 9564 NEW BEST:: SOT 2197213 SOS 934724 HAS SOPS 934043 HAS SOUS 317304 HAS SOUPS 316623 WITH SCORE 317557.724
AT ITER 9629 NEW BEST:: SOT 2197213 SOS 934724 HAS SOPS 934043 HAS SOUS 317299 HAS SOUPS 316618 WITH SCORE 317552.724
AT ITER 9645 NEW BEST:: SOT 2197202 SOS 935203 HAS SOPS 934522 HAS SOUS 317081 HAS SOUPS 316400 WITH SCORE 317335.203
AT ITER 9646 NEW BEST:: SOT 2197110 SOS 935111 HAS SOPS 934430 HAS SOUS 316869 HAS SOUPS 316188 WITH SCORE 317123.111
AT ITER 9651 NEW BEST:: SOT 2197032 SOS 935033 HAS SOPS 934352 HAS SOUS 316791 HAS SOUPS 316110 WITH SCORE 317045.033
AT ITER 9670 NEW BEST:: SOT 2196883 SOS 934486 HAS SOPS 933805 HAS SOUS 316526 HAS SOUPS 315845 WITH SCORE 316779.486
AT ITER 9678 NEW BEST:: SOT 2196869 SOS 934542 HAS SOPS 933861 HAS SOUS 316498 HAS SOUPS 315817 WITH SCORE 316751.542
AT ITER 9685 NEW BEST:: SOT 2196786 SOS 934834 HAS SOPS 934153 HAS SOUS 316490 HAS SOUPS 315809 WITH SCORE 316743.834
AT ITER 9801 NEW BEST:: SOT 2196786 SOS 935019 HAS SOPS 934338 HAS SOUS 316474 HAS SOUPS 315793 WITH SCORE 316728.019
AT ITER 9803 NEW BEST:: SOT 2196538 SOS 934406 HAS SOPS 933725 HAS SOUS 316349 HAS SOUPS 315668 WITH SCORE 316602.406
AT ITER 9811 NEW BEST:: SOT 2196527 SOS 934395 HAS SOPS 933714 HAS SOUS 316337 HAS SOUPS 315656 WITH SCORE 316590.395
AT ITER 9852 NEW BEST:: SOT 2196527 SOS 933580 HAS SOPS 932899 HAS SOUS 316246 HAS SOUPS 315565 WITH SCORE 316498.58
AT ITER 9867 NEW BEST:: SOT 2194229 SOS 931282 HAS SOPS 930601 HAS SOUS 313944 HAS SOUPS 313263 WITH SCORE 314194.282
AT ITER 9872 NEW BEST:: SOT 2194206 SOS 931133 HAS SOPS 930452 HAS SOUS 313898 HAS SOUPS 313217 WITH SCORE 314148.133
AT ITER 9892 NEW BEST:: SOT 2193009 SOS 930020 HAS SOPS 929339 HAS SOUS 313856 HAS SOUPS 313175 WITH SCORE 314105.02
AT ITER 9931 NEW BEST:: SOT 2192844 SOS 929855 HAS SOPS 929174 HAS SOUS 313636 HAS SOUPS 312955 WITH SCORE 313884.855
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 13261372 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16114296 kB

BK_TIME_CONFINEMENT_REACHED

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

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is PolyORBNT-COL-S05J80, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r299-tall-167873953300672"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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