About the Execution of Smart for ASLink-PT-03b
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
3852.695 | 3600000.00 | 3600148.00 | 0.00 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r003-oct2-167813590400056.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
......................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is ASLink-PT-03b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-oct2-167813590400056
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 944K
-rw-r--r-- 1 mcc users 6.5K Feb 26 13:07 CTLCardinality.txt
-rw-r--r-- 1 mcc users 70K Feb 26 13:07 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.7K Feb 26 13:06 CTLFireability.txt
-rw-r--r-- 1 mcc users 53K Feb 26 13:06 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:29 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 15:29 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 15:29 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:29 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.8K Feb 26 13:07 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 89K Feb 26 13:07 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.6K Feb 26 13:07 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 63K Feb 26 13:07 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:29 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:29 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 544K Mar 5 18:22 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 1678469050348
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=ASLink-PT-03b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ASLink (PT), instance 03b
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart
Filename model.pnml
Petri model created: 1638 places, 2094 transitions, 6458 arcs.
AT ITER 0 NEW BEST:: SOT 1980091 SOS 601265 HAS SOPS 601265 HAS SOUS 472325 HAS SOUPS 472325 WITH SCORE 472926.265
AT ITER 3 NEW BEST:: SOT 1979900 SOS 601066 HAS SOPS 601066 HAS SOUS 472126 HAS SOUPS 472126 WITH SCORE 472727.066
AT ITER 19 NEW BEST:: SOT 1979900 SOS 600955 HAS SOPS 600955 HAS SOUS 472126 HAS SOUPS 472126 WITH SCORE 472726.955
AT ITER 23 NEW BEST:: SOT 1978419 SOS 603506 HAS SOPS 603506 HAS SOUS 470789 HAS SOUPS 470789 WITH SCORE 471392.506
AT ITER 30 NEW BEST:: SOT 1978419 SOS 603504 HAS SOPS 603504 HAS SOUS 470787 HAS SOUPS 470787 WITH SCORE 471390.504
AT ITER 35 NEW BEST:: SOT 1978340 SOS 603425 HAS SOPS 603425 HAS SOUS 470708 HAS SOUPS 470708 WITH SCORE 471311.425
AT ITER 69 NEW BEST:: SOT 1978316 SOS 603401 HAS SOPS 603401 HAS SOUS 470684 HAS SOUPS 470684 WITH SCORE 471287.401
AT ITER 77 NEW BEST:: SOT 1978292 SOS 603081 HAS SOPS 603081 HAS SOUS 470293 HAS SOUPS 470293 WITH SCORE 470896.081
AT ITER 83 NEW BEST:: SOT 1978292 SOS 603061 HAS SOPS 603061 HAS SOUS 470273 HAS SOUPS 470273 WITH SCORE 470876.061
AT ITER 91 NEW BEST:: SOT 1978232 SOS 602900 HAS SOPS 602900 HAS SOUS 470204 HAS SOUPS 470204 WITH SCORE 470806.9
AT ITER 94 NEW BEST:: SOT 1978189 SOS 602814 HAS SOPS 602814 HAS SOUS 470118 HAS SOUPS 470118 WITH SCORE 470720.814
AT ITER 120 NEW BEST:: SOT 1978083 SOS 603599 HAS SOPS 603599 HAS SOUS 470093 HAS SOUPS 470093 WITH SCORE 470696.599
AT ITER 146 NEW BEST:: SOT 1978083 SOS 603595 HAS SOPS 603595 HAS SOUS 470089 HAS SOUPS 470089 WITH SCORE 470692.595
AT ITER 150 NEW BEST:: SOT 1977816 SOS 603328 HAS SOPS 603328 HAS SOUS 469822 HAS SOUPS 469822 WITH SCORE 470425.328
AT ITER 180 NEW BEST:: SOT 1977816 SOS 603326 HAS SOPS 603326 HAS SOUS 469820 HAS SOUPS 469820 WITH SCORE 470423.326
AT ITER 181 NEW BEST:: SOT 1977816 SOS 603000 HAS SOPS 603000 HAS SOUS 469657 HAS SOUPS 469657 WITH SCORE 470260.0
AT ITER 198 NEW BEST:: SOT 1977399 SOS 602913 HAS SOPS 602913 HAS SOUS 469510 HAS SOUPS 469510 WITH SCORE 470112.913
AT ITER 209 NEW BEST:: SOT 1977264 SOS 602814 HAS SOPS 602814 HAS SOUS 469410 HAS SOUPS 469410 WITH SCORE 470012.814
AT ITER 211 NEW BEST:: SOT 1977264 SOS 602789 HAS SOPS 602789 HAS SOUS 469385 HAS SOUPS 469385 WITH SCORE 469987.789
AT ITER 232 NEW BEST:: SOT 1977161 SOS 602421 HAS SOPS 602421 HAS SOUS 469179 HAS SOUPS 469179 WITH SCORE 469781.421
AT ITER 248 NEW BEST:: SOT 1976964 SOS 602027 HAS SOPS 602027 HAS SOUS 468785 HAS SOUPS 468785 WITH SCORE 469387.027
AT ITER 269 NEW BEST:: SOT 1976195 SOS 602269 HAS SOPS 602269 HAS SOUS 468106 HAS SOUPS 468106 WITH SCORE 468708.269
AT ITER 276 NEW BEST:: SOT 1976195 SOS 603560 HAS SOPS 603560 HAS SOUS 468041 HAS SOUPS 468041 WITH SCORE 468644.56
AT ITER 277 NEW BEST:: SOT 1976064 SOS 603552 HAS SOPS 603552 HAS SOUS 467957 HAS SOUPS 467957 WITH SCORE 468560.552
AT ITER 281 NEW BEST:: SOT 1975850 SOS 603338 HAS SOPS 603338 HAS SOUS 467743 HAS SOUPS 467743 WITH SCORE 468346.338
AT ITER 286 NEW BEST:: SOT 1975626 SOS 603089 HAS SOPS 603089 HAS SOUS 467494 HAS SOUPS 467494 WITH SCORE 468097.089
AT ITER 309 NEW BEST:: SOT 1975447 SOS 602731 HAS SOPS 602731 HAS SOUS 467096 HAS SOUPS 467096 WITH SCORE 467698.731
AT ITER 333 NEW BEST:: SOT 1975372 SOS 602600 HAS SOPS 602600 HAS SOUS 466965 HAS SOUPS 466965 WITH SCORE 467567.6
AT ITER 341 NEW BEST:: SOT 1975196 SOS 602157 HAS SOPS 602157 HAS SOUS 466667 HAS SOUPS 466667 WITH SCORE 467269.157
AT ITER 346 NEW BEST:: SOT 1974779 SOS 601773 HAS SOPS 601773 HAS SOUS 466283 HAS SOUPS 466283 WITH SCORE 466884.773
AT ITER 353 NEW BEST:: SOT 1974442 SOS 601436 HAS SOPS 601436 HAS SOUS 466022 HAS SOUPS 466022 WITH SCORE 466623.436
AT ITER 367 NEW BEST:: SOT 1974252 SOS 601056 HAS SOPS 601056 HAS SOUS 465830 HAS SOUPS 465830 WITH SCORE 466431.056
AT ITER 371 NEW BEST:: SOT 1974140 SOS 600334 HAS SOPS 600334 HAS SOUS 465605 HAS SOUPS 465605 WITH SCORE 466205.334
AT ITER 381 NEW BEST:: SOT 1973884 SOS 599822 HAS SOPS 599822 HAS SOUS 465341 HAS SOUPS 465341 WITH SCORE 465940.822
AT ITER 406 NEW BEST:: SOT 1973884 SOS 599761 HAS SOPS 599761 HAS SOUS 465341 HAS SOUPS 465341 WITH SCORE 465940.761
AT ITER 408 NEW BEST:: SOT 1973726 SOS 599249 HAS SOPS 599249 HAS SOUS 464773 HAS SOUPS 464773 WITH SCORE 465372.249
AT ITER 409 NEW BEST:: SOT 1973610 SOS 599133 HAS SOPS 599133 HAS SOUS 464657 HAS SOUPS 464657 WITH SCORE 465256.133
AT ITER 424 NEW BEST:: SOT 1973577 SOS 599100 HAS SOPS 599100 HAS SOUS 464624 HAS SOUPS 464624 WITH SCORE 465223.1
AT ITER 431 NEW BEST:: SOT 1972054 SOS 599810 HAS SOPS 599810 HAS SOUS 463438 HAS SOUPS 463438 WITH SCORE 464037.81
AT ITER 441 NEW BEST:: SOT 1972114 SOS 599290 HAS SOPS 599290 HAS SOUS 463274 HAS SOUPS 463274 WITH SCORE 463873.29
AT ITER 444 NEW BEST:: SOT 1970308 SOS 597782 HAS SOPS 597782 HAS SOUS 461725 HAS SOUPS 461725 WITH SCORE 462322.782
AT ITER 455 NEW BEST:: SOT 1969049 SOS 601580 HAS SOPS 601580 HAS SOUS 461267 HAS SOUPS 461267 WITH SCORE 461868.58
AT ITER 463 NEW BEST:: SOT 1968979 SOS 601369 HAS SOPS 601369 HAS SOUS 461148 HAS SOUPS 461148 WITH SCORE 461749.369
AT ITER 466 NEW BEST:: SOT 1968979 SOS 601369 HAS SOPS 601369 HAS SOUS 461147 HAS SOUPS 461147 WITH SCORE 461748.369
AT ITER 468 NEW BEST:: SOT 1968454 SOS 600278 HAS SOPS 600278 HAS SOUS 460097 HAS SOUPS 460097 WITH SCORE 460697.278
AT ITER 470 NEW BEST:: SOT 1968454 SOS 600235 HAS SOPS 600235 HAS SOUS 460054 HAS SOUPS 460054 WITH SCORE 460654.235
AT ITER 477 NEW BEST:: SOT 1968442 SOS 600211 HAS SOPS 600211 HAS SOUS 460030 HAS SOUPS 460030 WITH SCORE 460630.211
AT ITER 484 NEW BEST:: SOT 1968180 SOS 600774 HAS SOPS 600774 HAS SOUS 459767 HAS SOUPS 459767 WITH SCORE 460367.774
AT ITER 487 NEW BEST:: SOT 1968180 SOS 600772 HAS SOPS 600772 HAS SOUS 459765 HAS SOUPS 459765 WITH SCORE 460365.772
AT ITER 488 NEW BEST:: SOT 1967941 SOS 600098 HAS SOPS 600098 HAS SOUS 459707 HAS SOUPS 459707 WITH SCORE 460307.098
AT ITER 501 NEW BEST:: SOT 1967906 SOS 599811 HAS SOPS 599811 HAS SOUS 459596 HAS SOUPS 459596 WITH SCORE 460195.811
AT ITER 519 NEW BEST:: SOT 1967577 SOS 599596 HAS SOPS 599596 HAS SOUS 459381 HAS SOUPS 459381 WITH SCORE 459980.596
AT ITER 534 NEW BEST:: SOT 1967577 SOS 598638 HAS SOPS 598638 HAS SOUS 459346 HAS SOUPS 459346 WITH SCORE 459944.638
AT ITER 540 NEW BEST:: SOT 1967688 SOS 601087 HAS SOPS 601087 HAS SOUS 459342 HAS SOUPS 459342 WITH SCORE 459943.087
AT ITER 541 NEW BEST:: SOT 1967688 SOS 601204 HAS SOPS 601204 HAS SOUS 459302 HAS SOUPS 459302 WITH SCORE 459903.204
AT ITER 543 NEW BEST:: SOT 1967090 SOS 601046 HAS SOPS 601046 HAS SOUS 458852 HAS SOUPS 458852 WITH SCORE 459453.046
AT ITER 553 NEW BEST:: SOT 1967013 SOS 600969 HAS SOPS 600969 HAS SOUS 458775 HAS SOUPS 458775 WITH SCORE 459375.969
AT ITER 562 NEW BEST:: SOT 1966898 SOS 601544 HAS SOPS 601544 HAS SOUS 458660 HAS SOUPS 458660 WITH SCORE 459261.544
AT ITER 576 NEW BEST:: SOT 1966867 SOS 600790 HAS SOPS 600790 HAS SOUS 458611 HAS SOUPS 458611 WITH SCORE 459211.79
AT ITER 601 NEW BEST:: SOT 1966722 SOS 600500 HAS SOPS 600500 HAS SOUS 458464 HAS SOUPS 458464 WITH SCORE 459064.5
AT ITER 604 NEW BEST:: SOT 1965665 SOS 599316 HAS SOPS 599316 HAS SOUS 457097 HAS SOUPS 457097 WITH SCORE 457696.316
AT ITER 629 NEW BEST:: SOT 1965653 SOS 599304 HAS SOPS 599304 HAS SOUS 457087 HAS SOUPS 457087 WITH SCORE 457686.304
AT ITER 633 NEW BEST:: SOT 1965569 SOS 599230 HAS SOPS 599230 HAS SOUS 456294 HAS SOUPS 456294 WITH SCORE 456893.23
AT ITER 635 NEW BEST:: SOT 1965569 SOS 599163 HAS SOPS 599163 HAS SOUS 456294 HAS SOUPS 456294 WITH SCORE 456893.163
AT ITER 655 NEW BEST:: SOT 1965569 SOS 598962 HAS SOPS 598962 HAS SOUS 456093 HAS SOUPS 456093 WITH SCORE 456691.962
AT ITER 661 NEW BEST:: SOT 1964861 SOS 600241 HAS SOPS 600241 HAS SOUS 455513 HAS SOUPS 455513 WITH SCORE 456113.241
AT ITER 663 NEW BEST:: SOT 1964861 SOS 600239 HAS SOPS 600239 HAS SOUS 455512 HAS SOUPS 455512 WITH SCORE 456112.239
AT ITER 684 NEW BEST:: SOT 1964763 SOS 600141 HAS SOPS 600141 HAS SOUS 455414 HAS SOUPS 455414 WITH SCORE 456014.141
AT ITER 699 NEW BEST:: SOT 1964462 SOS 599739 HAS SOPS 599739 HAS SOUS 455111 HAS SOUPS 455111 WITH SCORE 455710.739
AT ITER 706 NEW BEST:: SOT 1964375 SOS 599565 HAS SOPS 599565 HAS SOUS 454937 HAS SOUPS 454937 WITH SCORE 455536.565
AT ITER 714 NEW BEST:: SOT 1964280 SOS 599375 HAS SOPS 599375 HAS SOUS 454841 HAS SOUPS 454841 WITH SCORE 455440.375
AT ITER 715 NEW BEST:: SOT 1964009 SOS 599104 HAS SOPS 599104 HAS SOUS 454558 HAS SOUPS 454558 WITH SCORE 455157.104
AT ITER 720 NEW BEST:: SOT 1963936 SOS 598945 HAS SOPS 598945 HAS SOUS 454360 HAS SOUPS 454360 WITH SCORE 454958.945
AT ITER 721 NEW BEST:: SOT 1963936 SOS 598944 HAS SOPS 598944 HAS SOUS 454359 HAS SOUPS 454359 WITH SCORE 454957.944
AT ITER 723 NEW BEST:: SOT 1963634 SOS 598254 HAS SOPS 598254 HAS SOUS 453648 HAS SOUPS 453648 WITH SCORE 454246.254
AT ITER 724 NEW BEST:: SOT 1963372 SOS 598229 HAS SOPS 598229 HAS SOUS 453648 HAS SOUPS 453648 WITH SCORE 454246.229
AT ITER 730 NEW BEST:: SOT 1963372 SOS 596549 HAS SOPS 596549 HAS SOUS 453406 HAS SOUPS 453406 WITH SCORE 454002.549
AT ITER 731 NEW BEST:: SOT 1963069 SOS 596347 HAS SOPS 596347 HAS SOUS 453204 HAS SOUPS 453204 WITH SCORE 453800.347
AT ITER 734 NEW BEST:: SOT 1961986 SOS 600178 HAS SOPS 600178 HAS SOUS 453057 HAS SOUPS 453057 WITH SCORE 453657.178
AT ITER 736 NEW BEST:: SOT 1961015 SOS 599565 HAS SOPS 599565 HAS SOUS 452438 HAS SOUPS 452438 WITH SCORE 453037.565
AT ITER 742 NEW BEST:: SOT 1960976 SOS 599487 HAS SOPS 599487 HAS SOUS 452360 HAS SOUPS 452360 WITH SCORE 452959.487
AT ITER 753 NEW BEST:: SOT 1960683 SOS 598736 HAS SOPS 598736 HAS SOUS 451909 HAS SOUPS 451909 WITH SCORE 452507.736
AT ITER 755 NEW BEST:: SOT 1960742 SOS 598727 HAS SOPS 598727 HAS SOUS 451900 HAS SOUPS 451900 WITH SCORE 452498.727
AT ITER 758 NEW BEST:: SOT 1960581 SOS 598561 HAS SOPS 598561 HAS SOUS 451617 HAS SOUPS 451617 WITH SCORE 452215.561
AT ITER 766 NEW BEST:: SOT 1960400 SOS 598089 HAS SOPS 598089 HAS SOUS 451145 HAS SOUPS 451145 WITH SCORE 451743.089
AT ITER 767 NEW BEST:: SOT 1960262 SOS 597813 HAS SOPS 597813 HAS SOUS 451007 HAS SOUPS 451007 WITH SCORE 451604.813
AT ITER 785 NEW BEST:: SOT 1957859 SOS 595574 HAS SOPS 595574 HAS SOUS 448768 HAS SOUPS 448768 WITH SCORE 449363.574
AT ITER 789 NEW BEST:: SOT 1957859 SOS 594301 HAS SOPS 594301 HAS SOUS 448767 HAS SOUPS 448767 WITH SCORE 449361.301
AT ITER 793 NEW BEST:: SOT 1957616 SOS 594198 HAS SOPS 594198 HAS SOUS 448400 HAS SOUPS 448400 WITH SCORE 448994.198
AT ITER 812 NEW BEST:: SOT 1957458 SOS 594040 HAS SOPS 594040 HAS SOUS 448240 HAS SOUPS 448240 WITH SCORE 448834.04
AT ITER 824 NEW BEST:: SOT 1957265 SOS 594103 HAS SOPS 594103 HAS SOUS 448203 HAS SOUPS 448203 WITH SCORE 448797.103
AT ITER 844 NEW BEST:: SOT 1957909 SOS 594631 HAS SOPS 594631 HAS SOUS 447291 HAS SOUPS 447291 WITH SCORE 447885.631
AT ITER 845 NEW BEST:: SOT 1957794 SOS 594480 HAS SOPS 594480 HAS SOUS 447019 HAS SOUPS 447019 WITH SCORE 447613.48
AT ITER 857 NEW BEST:: SOT 1957629 SOS 594264 HAS SOPS 594264 HAS SOUS 446812 HAS SOUPS 446812 WITH SCORE 447406.264
AT ITER 868 NEW BEST:: SOT 1957565 SOS 594192 HAS SOPS 594192 HAS SOUS 446740 HAS SOUPS 446740 WITH SCORE 447334.192
AT ITER 876 NEW BEST:: SOT 1957219 SOS 593765 HAS SOPS 593765 HAS SOUS 446025 HAS SOUPS 446025 WITH SCORE 446618.765
AT ITER 889 NEW BEST:: SOT 1957219 SOS 596469 HAS SOPS 596469 HAS SOUS 445385 HAS SOUPS 445385 WITH SCORE 445981.469
AT ITER 896 NEW BEST:: SOT 1953649 SOS 597939 HAS SOPS 597939 HAS SOUS 442532 HAS SOUPS 442532 WITH SCORE 443129.939
AT ITER 911 NEW BEST:: SOT 1953214 SOS 597841 HAS SOPS 597841 HAS SOUS 442278 HAS SOUPS 442278 WITH SCORE 442875.841
AT ITER 927 NEW BEST:: SOT 1953214 SOS 597771 HAS SOPS 597771 HAS SOUS 442278 HAS SOUPS 442278 WITH SCORE 442875.771
AT ITER 933 NEW BEST:: SOT 1953213 SOS 597676 HAS SOPS 597676 HAS SOUS 442275 HAS SOUPS 442275 WITH SCORE 442872.676
AT ITER 936 NEW BEST:: SOT 1953151 SOS 597251 HAS SOPS 597251 HAS SOUS 442081 HAS SOUPS 442081 WITH SCORE 442678.251
AT ITER 939 NEW BEST:: SOT 1953149 SOS 597567 HAS SOPS 597567 HAS SOUS 442045 HAS SOUPS 442045 WITH SCORE 442642.567
AT ITER 940 NEW BEST:: SOT 1953080 SOS 597519 HAS SOPS 597519 HAS SOUS 441997 HAS SOUPS 441997 WITH SCORE 442594.519
AT ITER 945 NEW BEST:: SOT 1952976 SOS 597311 HAS SOPS 597311 HAS SOUS 441789 HAS SOUPS 441789 WITH SCORE 442386.311
AT ITER 954 NEW BEST:: SOT 1952738 SOS 597209 HAS SOPS 597209 HAS SOUS 441585 HAS SOUPS 441585 WITH SCORE 442182.209
AT ITER 964 NEW BEST:: SOT 1952899 SOS 596846 HAS SOPS 596846 HAS SOUS 441412 HAS SOUPS 441412 WITH SCORE 442008.846
AT ITER 979 NEW BEST:: SOT 1952053 SOS 596095 HAS SOPS 596095 HAS SOUS 440661 HAS SOUPS 440661 WITH SCORE 441257.095
AT ITER 996 NEW BEST:: SOT 1952040 SOS 596082 HAS SOPS 596082 HAS SOUS 440635 HAS SOUPS 440635 WITH SCORE 441231.082
AT ITER 1018 NEW BEST:: SOT 1951487 SOS 596789 HAS SOPS 596789 HAS SOUS 440494 HAS SOUPS 440494 WITH SCORE 441090.789
AT ITER 1030 NEW BEST:: SOT 1951361 SOS 597644 HAS SOPS 597644 HAS SOUS 440268 HAS SOUPS 440268 WITH SCORE 440865.644
AT ITER 1037 NEW BEST:: SOT 1951356 SOS 597592 HAS SOPS 597592 HAS SOUS 440262 HAS SOUPS 440262 WITH SCORE 440859.592
AT ITER 1039 NEW BEST:: SOT 1951358 SOS 595109 HAS SOPS 595109 HAS SOUS 440263 HAS SOUPS 440263 WITH SCORE 440858.109
AT ITER 1064 NEW BEST:: SOT 1951312 SOS 595017 HAS SOPS 595017 HAS SOUS 440171 HAS SOUPS 440171 WITH SCORE 440766.017
AT ITER 1065 NEW BEST:: SOT 1951264 SOS 594921 HAS SOPS 594921 HAS SOUS 440074 HAS SOUPS 440074 WITH SCORE 440668.921
AT ITER 1077 NEW BEST:: SOT 1951239 SOS 594596 HAS SOPS 594596 HAS SOUS 439749 HAS SOUPS 439749 WITH SCORE 440343.596
AT ITER 1106 NEW BEST:: SOT 1951227 SOS 594572 HAS SOPS 594572 HAS SOUS 439725 HAS SOUPS 439725 WITH SCORE 440319.572
AT ITER 1107 NEW BEST:: SOT 1951227 SOS 594396 HAS SOPS 594396 HAS SOUS 439723 HAS SOUPS 439723 WITH SCORE 440317.396
AT ITER 1145 NEW BEST:: SOT 1950004 SOS 594865 HAS SOPS 594865 HAS SOUS 438965 HAS SOUPS 438965 WITH SCORE 439559.865
AT ITER 1171 NEW BEST:: SOT 1949920 SOS 594835 HAS SOPS 594835 HAS SOUS 438678 HAS SOUPS 438678 WITH SCORE 439272.835
AT ITER 1188 NEW BEST:: SOT 1949860 SOS 594770 HAS SOPS 594770 HAS SOUS 438616 HAS SOUPS 438616 WITH SCORE 439210.77
AT ITER 1198 NEW BEST:: SOT 1949859 SOS 594504 HAS SOPS 594504 HAS SOUS 438350 HAS SOUPS 438350 WITH SCORE 438944.504
AT ITER 1204 NEW BEST:: SOT 1949805 SOS 594396 HAS SOPS 594396 HAS SOUS 438242 HAS SOUPS 438242 WITH SCORE 438836.396
AT ITER 1223 NEW BEST:: SOT 1949469 SOS 593938 HAS SOPS 593938 HAS SOUS 437882 HAS SOUPS 437882 WITH SCORE 438475.938
AT ITER 1240 NEW BEST:: SOT 1949294 SOS 593763 HAS SOPS 593763 HAS SOUS 437707 HAS SOUPS 437707 WITH SCORE 438300.763
AT ITER 1253 NEW BEST:: SOT 1949257 SOS 593726 HAS SOPS 593726 HAS SOUS 437670 HAS SOUPS 437670 WITH SCORE 438263.726
AT ITER 1279 NEW BEST:: SOT 1949257 SOS 593888 HAS SOPS 593888 HAS SOUS 437638 HAS SOUPS 437638 WITH SCORE 438231.888
AT ITER 1297 NEW BEST:: SOT 1949251 SOS 593795 HAS SOPS 593795 HAS SOUS 437600 HAS SOUPS 437600 WITH SCORE 438193.795
AT ITER 1306 NEW BEST:: SOT 1948983 SOS 593521 HAS SOPS 593521 HAS SOUS 436522 HAS SOUPS 436522 WITH SCORE 437115.521
AT ITER 1315 NEW BEST:: SOT 1948983 SOS 591153 HAS SOPS 591153 HAS SOUS 436522 HAS SOUPS 436522 WITH SCORE 437113.153
AT ITER 1320 NEW BEST:: SOT 1948749 SOS 590604 HAS SOPS 590604 HAS SOUS 436310 HAS SOUPS 436310 WITH SCORE 436900.604
AT ITER 1327 NEW BEST:: SOT 1948720 SOS 590557 HAS SOPS 590557 HAS SOUS 436263 HAS SOUPS 436263 WITH SCORE 436853.557
AT ITER 1369 NEW BEST:: SOT 1948509 SOS 590356 HAS SOPS 590356 HAS SOUS 435831 HAS SOUPS 435831 WITH SCORE 436421.356
AT ITER 1387 NEW BEST:: SOT 1948348 SOS 590195 HAS SOPS 590195 HAS SOUS 435670 HAS SOUPS 435670 WITH SCORE 436260.195
AT ITER 1421 NEW BEST:: SOT 1947720 SOS 589761 HAS SOPS 589761 HAS SOUS 435236 HAS SOUPS 435236 WITH SCORE 435825.761
AT ITER 1422 NEW BEST:: SOT 1947559 SOS 589770 HAS SOPS 589770 HAS SOUS 435055 HAS SOUPS 435055 WITH SCORE 435644.77
AT ITER 1460 NEW BEST:: SOT 1947627 SOS 589490 HAS SOPS 589490 HAS SOUS 434775 HAS SOUPS 434775 WITH SCORE 435364.49
AT ITER 1461 NEW BEST:: SOT 1947615 SOS 589353 HAS SOPS 589353 HAS SOUS 434638 HAS SOUPS 434638 WITH SCORE 435227.353
AT ITER 1466 NEW BEST:: SOT 1947447 SOS 589144 HAS SOPS 589144 HAS SOUS 433192 HAS SOUPS 433192 WITH SCORE 433781.144
AT ITER 1467 NEW BEST:: SOT 1947240 SOS 588686 HAS SOPS 588686 HAS SOUS 431850 HAS SOUPS 431850 WITH SCORE 432438.686
AT ITER 1477 NEW BEST:: SOT 1947266 SOS 588447 HAS SOPS 588447 HAS SOUS 428720 HAS SOUPS 428720 WITH SCORE 429308.447
AT ITER 1494 NEW BEST:: SOT 1947042 SOS 587999 HAS SOPS 587999 HAS SOUS 428272 HAS SOUPS 428272 WITH SCORE 428859.999
AT ITER 1497 NEW BEST:: SOT 1946876 SOS 587299 HAS SOPS 587299 HAS SOUS 427939 HAS SOUPS 427939 WITH SCORE 428526.299
AT ITER 1502 NEW BEST:: SOT 1946371 SOS 587133 HAS SOPS 587133 HAS SOUS 427773 HAS SOUPS 427773 WITH SCORE 428360.133
AT ITER 1517 NEW BEST:: SOT 1946377 SOS 587127 HAS SOPS 587127 HAS SOUS 427745 HAS SOUPS 427745 WITH SCORE 428332.127
AT ITER 1519 NEW BEST:: SOT 1946377 SOS 587104 HAS SOPS 587104 HAS SOUS 427745 HAS SOUPS 427745 WITH SCORE 428332.104
AT ITER 1523 NEW BEST:: SOT 1946265 SOS 587092 HAS SOPS 587092 HAS SOUS 427516 HAS SOUPS 427516 WITH SCORE 428103.092
AT ITER 1529 NEW BEST:: SOT 1946265 SOS 586958 HAS SOPS 586958 HAS SOUS 427382 HAS SOUPS 427382 WITH SCORE 427968.958
AT ITER 1531 NEW BEST:: SOT 1946233 SOS 586926 HAS SOPS 586926 HAS SOUS 427350 HAS SOUPS 427350 WITH SCORE 427936.926
AT ITER 1547 NEW BEST:: SOT 1946233 SOS 586926 HAS SOPS 586926 HAS SOUS 427349 HAS SOUPS 427349 WITH SCORE 427935.926
AT ITER 1554 NEW BEST:: SOT 1946208 SOS 586901 HAS SOPS 586901 HAS SOUS 427320 HAS SOUPS 427320 WITH SCORE 427906.901
AT ITER 1557 NEW BEST:: SOT 1945931 SOS 586623 HAS SOPS 586623 HAS SOUS 427042 HAS SOUPS 427042 WITH SCORE 427628.623
AT ITER 1601 NEW BEST:: SOT 1945931 SOS 586426 HAS SOPS 586426 HAS SOUS 427042 HAS SOUPS 427042 WITH SCORE 427628.426
AT ITER 1608 NEW BEST:: SOT 1945734 SOS 586229 HAS SOPS 586229 HAS SOUS 426845 HAS SOUPS 426845 WITH SCORE 427431.229
AT ITER 1627 NEW BEST:: SOT 1945324 SOS 585961 HAS SOPS 585961 HAS SOUS 426592 HAS SOUPS 426592 WITH SCORE 427177.961
AT ITER 1639 NEW BEST:: SOT 1944352 SOS 586462 HAS SOPS 586462 HAS SOUS 426435 HAS SOUPS 426435 WITH SCORE 427021.462
AT ITER 1644 NEW BEST:: SOT 1944375 SOS 586594 HAS SOPS 586594 HAS SOUS 426408 HAS SOUPS 426408 WITH SCORE 426994.594
AT ITER 1661 NEW BEST:: SOT 1944230 SOS 586459 HAS SOPS 586459 HAS SOUS 426276 HAS SOUPS 426276 WITH SCORE 426862.459
AT ITER 1674 NEW BEST:: SOT 1943936 SOS 586183 HAS SOPS 586183 HAS SOUS 425785 HAS SOUPS 425785 WITH SCORE 426371.183
AT ITER 1692 NEW BEST:: SOT 1943936 SOS 586186 HAS SOPS 586186 HAS SOUS 425630 HAS SOUPS 425630 WITH SCORE 426216.186
AT ITER 1709 NEW BEST:: SOT 1943883 SOS 585705 HAS SOPS 585705 HAS SOUS 425472 HAS SOUPS 425472 WITH SCORE 426057.705
AT ITER 1720 NEW BEST:: SOT 1943823 SOS 585597 HAS SOPS 585597 HAS SOUS 425064 HAS SOUPS 425064 WITH SCORE 425649.597
AT ITER 1726 NEW BEST:: SOT 1943431 SOS 585198 HAS SOPS 585198 HAS SOUS 425051 HAS SOUPS 425051 WITH SCORE 425636.198
AT ITER 1771 NEW BEST:: SOT 1943221 SOS 584988 HAS SOPS 584988 HAS SOUS 424841 HAS SOUPS 424841 WITH SCORE 425425.988
AT ITER 1776 NEW BEST:: SOT 1942783 SOS 584077 HAS SOPS 584077 HAS SOUS 424251 HAS SOUPS 424251 WITH SCORE 424835.077
AT ITER 1784 NEW BEST:: SOT 1942735 SOS 584029 HAS SOPS 584029 HAS SOUS 424202 HAS SOUPS 424202 WITH SCORE 424786.029
AT ITER 1799 NEW BEST:: SOT 1942520 SOS 584036 HAS SOPS 584036 HAS SOUS 423932 HAS SOUPS 423932 WITH SCORE 424516.036
AT ITER 1810 NEW BEST:: SOT 1942295 SOS 583811 HAS SOPS 583811 HAS SOUS 423632 HAS SOUPS 423632 WITH SCORE 424215.811
AT ITER 1833 NEW BEST:: SOT 1942295 SOS 583745 HAS SOPS 583745 HAS SOUS 423614 HAS SOUPS 423614 WITH SCORE 424197.745
AT ITER 1852 NEW BEST:: SOT 1942312 SOS 583646 HAS SOPS 583646 HAS SOUS 423515 HAS SOUPS 423515 WITH SCORE 424098.646
AT ITER 1864 NEW BEST:: SOT 1945882 SOS 586955 HAS SOPS 586955 HAS SOUS 422746 HAS SOUPS 422746 WITH SCORE 423332.955
AT ITER 1869 NEW BEST:: SOT 1945831 SOS 586904 HAS SOPS 586904 HAS SOUS 422287 HAS SOUPS 422287 WITH SCORE 422873.904
AT ITER 1881 NEW BEST:: SOT 1945764 SOS 586770 HAS SOPS 586770 HAS SOUS 422153 HAS SOUPS 422153 WITH SCORE 422739.77
AT ITER 1887 NEW BEST:: SOT 1945718 SOS 586533 HAS SOPS 586533 HAS SOUS 422106 HAS SOUPS 422106 WITH SCORE 422692.533
AT ITER 1904 NEW BEST:: SOT 1945647 SOS 586462 HAS SOPS 586462 HAS SOUS 422035 HAS SOUPS 422035 WITH SCORE 422621.462
AT ITER 1906 NEW BEST:: SOT 1945647 SOS 586437 HAS SOPS 586437 HAS SOUS 422010 HAS SOUPS 422010 WITH SCORE 422596.437
AT ITER 1924 NEW BEST:: SOT 1945647 SOS 586371 HAS SOPS 586371 HAS SOUS 421944 HAS SOUPS 421944 WITH SCORE 422530.371
AT ITER 1929 NEW BEST:: SOT 1945703 SOS 586427 HAS SOPS 586427 HAS SOUS 421936 HAS SOUPS 421936 WITH SCORE 422522.427
AT ITER 1930 NEW BEST:: SOT 1945608 SOS 586209 HAS SOPS 586209 HAS SOUS 421813 HAS SOUPS 421813 WITH SCORE 422399.209
AT ITER 1932 NEW BEST:: SOT 1945608 SOS 586093 HAS SOPS 586093 HAS SOUS 421765 HAS SOUPS 421765 WITH SCORE 422351.093
AT ITER 1948 NEW BEST:: SOT 1945537 SOS 586022 HAS SOPS 586022 HAS SOUS 421694 HAS SOUPS 421694 WITH SCORE 422280.022
AT ITER 1949 NEW BEST:: SOT 1945536 SOS 585657 HAS SOPS 585657 HAS SOUS 421602 HAS SOUPS 421602 WITH SCORE 422187.657
AT ITER 1964 NEW BEST:: SOT 1945530 SOS 585643 HAS SOPS 585643 HAS SOUS 421594 HAS SOUPS 421594 WITH SCORE 422179.643
AT ITER 1982 NEW BEST:: SOT 1945553 SOS 585489 HAS SOPS 585489 HAS SOUS 421440 HAS SOUPS 421440 WITH SCORE 422025.489
AT ITER 2000 NEW BEST:: SOT 1945553 SOS 585363 HAS SOPS 585363 HAS SOUS 421430 HAS SOUPS 421430 WITH SCORE 422015.363
AT ITER 2014 NEW BEST:: SOT 1945553 SOS 585342 HAS SOPS 585342 HAS SOUS 421409 HAS SOUPS 421409 WITH SCORE 421994.342
AT ITER 2017 NEW BEST:: SOT 1945302 SOS 585027 HAS SOPS 585027 HAS SOUS 421094 HAS SOUPS 421094 WITH SCORE 421679.027
AT ITER 2018 NEW BEST:: SOT 1945101 SOS 584825 HAS SOPS 584825 HAS SOUS 420892 HAS SOUPS 420892 WITH SCORE 421476.825
AT ITER 2028 NEW BEST:: SOT 1945053 SOS 584281 HAS SOPS 584281 HAS SOUS 420571 HAS SOUPS 420571 WITH SCORE 421155.281
AT ITER 2048 NEW BEST:: SOT 1945031 SOS 583871 HAS SOPS 583871 HAS SOUS 420404 HAS SOUPS 420404 WITH SCORE 420987.871
AT ITER 2059 NEW BEST:: SOT 1945029 SOS 583827 HAS SOPS 583827 HAS SOUS 420400 HAS SOUPS 420400 WITH SCORE 420983.827
AT ITER 2090 NEW BEST:: SOT 1945019 SOS 583797 HAS SOPS 583797 HAS SOUS 420380 HAS SOUPS 420380 WITH SCORE 420963.797
AT ITER 2091 NEW BEST:: SOT 1944955 SOS 583700 HAS SOPS 583700 HAS SOUS 420283 HAS SOUPS 420283 WITH SCORE 420866.7
AT ITER 2098 NEW BEST:: SOT 1944926 SOS 583642 HAS SOPS 583642 HAS SOUS 420257 HAS SOUPS 420257 WITH SCORE 420840.642
AT ITER 2102 NEW BEST:: SOT 1944103 SOS 583088 HAS SOPS 583088 HAS SOUS 419471 HAS SOUPS 419471 WITH SCORE 420054.088
AT ITER 2104 NEW BEST:: SOT 1944103 SOS 582936 HAS SOPS 582936 HAS SOUS 419460 HAS SOUPS 419460 WITH SCORE 420042.936
AT ITER 2108 NEW BEST:: SOT 1944081 SOS 583352 HAS SOPS 583352 HAS SOUS 419407 HAS SOUPS 419407 WITH SCORE 419990.352
AT ITER 2116 NEW BEST:: SOT 1944079 SOS 583348 HAS SOPS 583348 HAS SOUS 419403 HAS SOUPS 419403 WITH SCORE 419986.348
AT ITER 2123 NEW BEST:: SOT 1944056 SOS 584975 HAS SOPS 584975 HAS SOUS 419380 HAS SOUPS 419380 WITH SCORE 419964.975
AT ITER 2125 NEW BEST:: SOT 1944056 SOS 584971 HAS SOPS 584971 HAS SOUS 419376 HAS SOUPS 419376 WITH SCORE 419960.971
AT ITER 2131 NEW BEST:: SOT 1944056 SOS 585293 HAS SOPS 585293 HAS SOUS 419332 HAS SOUPS 419332 WITH SCORE 419917.293
AT ITER 2134 NEW BEST:: SOT 1944056 SOS 585275 HAS SOPS 585275 HAS SOUS 419324 HAS SOUPS 419324 WITH SCORE 419909.275
AT ITER 2166 NEW BEST:: SOT 1943904 SOS 584971 HAS SOPS 584971 HAS SOUS 418716 HAS SOUPS 418716 WITH SCORE 419300.971
AT ITER 2168 NEW BEST:: SOT 1943821 SOS 584805 HAS SOPS 584805 HAS SOUS 418384 HAS SOUPS 418384 WITH SCORE 418968.805
AT ITER 2173 NEW BEST:: SOT 1943082 SOS 584425 HAS SOPS 584425 HAS SOUS 418002 HAS SOUPS 418002 WITH SCORE 418586.425
AT ITER 2179 NEW BEST:: SOT 1942688 SOS 584031 HAS SOPS 584031 HAS SOUS 417607 HAS SOUPS 417607 WITH SCORE 418191.031
AT ITER 2190 NEW BEST:: SOT 1943581 SOS 590933 HAS SOPS 590933 HAS SOUS 416099 HAS SOUPS 416099 WITH SCORE 416689.933
AT ITER 2192 NEW BEST:: SOT 1943544 SOS 590917 HAS SOPS 590917 HAS SOUS 416083 HAS SOUPS 416083 WITH SCORE 416673.917
AT ITER 2200 NEW BEST:: SOT 1943541 SOS 590724 HAS SOPS 590724 HAS SOUS 415890 HAS SOUPS 415890 WITH SCORE 416480.724
AT ITER 2204 NEW BEST:: SOT 1943540 SOS 590721 HAS SOPS 590721 HAS SOUS 415887 HAS SOUPS 415887 WITH SCORE 416477.721
AT ITER 2217 NEW BEST:: SOT 1943464 SOS 590569 HAS SOPS 590569 HAS SOUS 415734 HAS SOUPS 415734 WITH SCORE 416324.569
AT ITER 2222 NEW BEST:: SOT 1943265 SOS 590448 HAS SOPS 590448 HAS SOUS 415612 HAS SOUPS 415612 WITH SCORE 416202.448
AT ITER 2250 NEW BEST:: SOT 1943265 SOS 590163 HAS SOPS 590163 HAS SOUS 415612 HAS SOUPS 415612 WITH SCORE 416202.163
AT ITER 2265 NEW BEST:: SOT 1943265 SOS 590035 HAS SOPS 590035 HAS SOUS 415484 HAS SOUPS 415484 WITH SCORE 416074.035
AT ITER 2269 NEW BEST:: SOT 1941291 SOS 588205 HAS SOPS 588205 HAS SOUS 413270 HAS SOUPS 413270 WITH SCORE 413858.205
AT ITER 2293 NEW BEST:: SOT 1940830 SOS 587785 HAS SOPS 587785 HAS SOUS 412579 HAS SOUPS 412579 WITH SCORE 413166.785
AT ITER 2296 NEW BEST:: SOT 1940825 SOS 587763 HAS SOPS 587763 HAS SOUS 412557 HAS SOUPS 412557 WITH SCORE 413144.763
AT ITER 2316 NEW BEST:: SOT 1940681 SOS 587317 HAS SOPS 587317 HAS SOUS 412341 HAS SOUPS 412341 WITH SCORE 412928.317
AT ITER 2319 NEW BEST:: SOT 1940567 SOS 587404 HAS SOPS 587404 HAS SOUS 410406 HAS SOUPS 410406 WITH SCORE 410993.404
AT ITER 2325 NEW BEST:: SOT 1940410 SOS 586933 HAS SOPS 586933 HAS SOUS 410091 HAS SOUPS 410091 WITH SCORE 410677.933
AT ITER 2333 NEW BEST:: SOT 1940409 SOS 586701 HAS SOPS 586701 HAS SOUS 410087 HAS SOUPS 410087 WITH SCORE 410673.701
AT ITER 2340 NEW BEST:: SOT 1939701 SOS 585816 HAS SOPS 585816 HAS SOUS 409202 HAS SOUPS 409202 WITH SCORE 409787.816
AT ITER 2343 NEW BEST:: SOT 1939685 SOS 585736 HAS SOPS 585736 HAS SOUS 409170 HAS SOUPS 409170 WITH SCORE 409755.736
AT ITER 2368 NEW BEST:: SOT 1939559 SOS 585610 HAS SOPS 585610 HAS SOUS 409170 HAS SOUPS 409170 WITH SCORE 409755.61
AT ITER 2381 NEW BEST:: SOT 1939558 SOS 585281 HAS SOPS 585281 HAS SOUS 409168 HAS SOUPS 409168 WITH SCORE 409753.281
AT ITER 2383 NEW BEST:: SOT 1939574 SOS 585158 HAS SOPS 585158 HAS SOUS 409153 HAS SOUPS 409153 WITH SCORE 409738.158
AT ITER 2387 NEW BEST:: SOT 1939574 SOS 585102 HAS SOPS 585102 HAS SOUS 409097 HAS SOUPS 409097 WITH SCORE 409682.102
AT ITER 2398 NEW BEST:: SOT 1939493 SOS 584941 HAS SOPS 584941 HAS SOUS 409031 HAS SOUPS 409031 WITH SCORE 409615.941
AT ITER 2400 NEW BEST:: SOT 1939394 SOS 585634 HAS SOPS 585634 HAS SOUS 408833 HAS SOUPS 408833 WITH SCORE 409418.634
AT ITER 2412 NEW BEST:: SOT 1939394 SOS 585539 HAS SOPS 585539 HAS SOUS 408738 HAS SOUPS 408738 WITH SCORE 409323.539
AT ITER 2419 NEW BEST:: SOT 1939357 SOS 585465 HAS SOPS 585465 HAS SOUS 408700 HAS SOUPS 408700 WITH SCORE 409285.465
AT ITER 2428 NEW BEST:: SOT 1939357 SOS 585371 HAS SOPS 585371 HAS SOUS 408606 HAS SOUPS 408606 WITH SCORE 409191.371
AT ITER 2446 NEW BEST:: SOT 1939322 SOS 585301 HAS SOPS 585301 HAS SOUS 408256 HAS SOUPS 408256 WITH SCORE 408841.301
AT ITER 2458 NEW BEST:: SOT 1939493 SOS 584121 HAS SOPS 584121 HAS SOUS 408252 HAS SOUPS 408252 WITH SCORE 408836.121
AT ITER 2491 NEW BEST:: SOT 1939493 SOS 584121 HAS SOPS 584121 HAS SOUS 408221 HAS SOUPS 408221 WITH SCORE 408805.121
AT ITER 2515 NEW BEST:: SOT 1939375 SOS 583997 HAS SOPS 583997 HAS SOUS 408069 HAS SOUPS 408069 WITH SCORE 408652.997
AT ITER 2531 NEW BEST:: SOT 1939375 SOS 583621 HAS SOPS 583621 HAS SOUS 407714 HAS SOUPS 407714 WITH SCORE 408297.621
AT ITER 2532 NEW BEST:: SOT 1939342 SOS 583522 HAS SOPS 583522 HAS SOUS 407615 HAS SOUPS 407615 WITH SCORE 408198.522
AT ITER 2537 NEW BEST:: SOT 1939206 SOS 583380 HAS SOPS 583380 HAS SOUS 407481 HAS SOUPS 407481 WITH SCORE 408064.38
AT ITER 2543 NEW BEST:: SOT 1939056 SOS 580674 HAS SOPS 580674 HAS SOUS 407325 HAS SOUPS 407325 WITH SCORE 407905.674
AT ITER 2546 NEW BEST:: SOT 1939024 SOS 580642 HAS SOPS 580642 HAS SOUS 407325 HAS SOUPS 407325 WITH SCORE 407905.642
AT ITER 2569 NEW BEST:: SOT 1938926 SOS 580648 HAS SOPS 580648 HAS SOUS 407230 HAS SOUPS 407230 WITH SCORE 407810.648
AT ITER 2593 NEW BEST:: SOT 1938906 SOS 580628 HAS SOPS 580628 HAS SOUS 407210 HAS SOUPS 407210 WITH SCORE 407790.628
AT ITER 2603 NEW BEST:: SOT 1938818 SOS 580449 HAS SOPS 580449 HAS SOUS 407029 HAS SOUPS 407029 WITH SCORE 407609.449
AT ITER 2609 NEW BEST:: SOT 1938818 SOS 580449 HAS SOPS 580449 HAS SOUS 406869 HAS SOUPS 406869 WITH SCORE 407449.449
AT ITER 2631 NEW BEST:: SOT 1938479 SOS 580478 HAS SOPS 580478 HAS SOUS 406488 HAS SOUPS 406488 WITH SCORE 407068.478
AT ITER 2650 NEW BEST:: SOT 1939551 SOS 582110 HAS SOPS 582110 HAS SOUS 406189 HAS SOUPS 406189 WITH SCORE 406771.11
AT ITER 2655 NEW BEST:: SOT 1939525 SOS 581703 HAS SOPS 581703 HAS SOUS 406050 HAS SOUPS 406050 WITH SCORE 406631.703
AT ITER 2685 NEW BEST:: SOT 1939524 SOS 581702 HAS SOPS 581702 HAS SOUS 406028 HAS SOUPS 406028 WITH SCORE 406609.702
AT ITER 2693 NEW BEST:: SOT 1939520 SOS 581698 HAS SOPS 581698 HAS SOUS 406020 HAS SOUPS 406020 WITH SCORE 406601.698
AT ITER 2705 NEW BEST:: SOT 1939597 SOS 581681 HAS SOPS 581681 HAS SOUS 406003 HAS SOUPS 406003 WITH SCORE 406584.681
AT ITER 2710 NEW BEST:: SOT 1939638 SOS 581573 HAS SOPS 581573 HAS SOUS 405895 HAS SOUPS 405895 WITH SCORE 406476.573
AT ITER 2711 NEW BEST:: SOT 1939638 SOS 581517 HAS SOPS 581517 HAS SOUS 405895 HAS SOUPS 405895 WITH SCORE 406476.517
AT ITER 2716 NEW BEST:: SOT 1939624 SOS 581353 HAS SOPS 581353 HAS SOUS 405731 HAS SOUPS 405731 WITH SCORE 406312.353
AT ITER 2729 NEW BEST:: SOT 1939617 SOS 581580 HAS SOPS 581580 HAS SOUS 405721 HAS SOUPS 405721 WITH SCORE 406302.58
AT ITER 2732 NEW BEST:: SOT 1939617 SOS 581172 HAS SOPS 581172 HAS SOUS 405653 HAS SOUPS 405653 WITH SCORE 406234.172
AT ITER 2735 NEW BEST:: SOT 1939543 SOS 581172 HAS SOPS 581172 HAS SOUS 405579 HAS SOUPS 405579 WITH SCORE 406160.172
AT ITER 2759 NEW BEST:: SOT 1939059 SOS 580758 HAS SOPS 580758 HAS SOUS 405384 HAS SOUPS 405384 WITH SCORE 405964.758
AT ITER 2777 NEW BEST:: SOT 1938829 SOS 580417 HAS SOPS 580417 HAS SOUS 404941 HAS SOUPS 404941 WITH SCORE 405521.417
AT ITER 2788 NEW BEST:: SOT 1938585 SOS 580173 HAS SOPS 580173 HAS SOUS 404697 HAS SOUPS 404697 WITH SCORE 405277.173
AT ITER 2790 NEW BEST:: SOT 1938585 SOS 580053 HAS SOPS 580053 HAS SOUS 404682 HAS SOUPS 404682 WITH SCORE 405262.053
AT ITER 2805 NEW BEST:: SOT 1938556 SOS 579991 HAS SOPS 579991 HAS SOUS 404619 HAS SOUPS 404619 WITH SCORE 405198.991
AT ITER 2833 NEW BEST:: SOT 1938528 SOS 579935 HAS SOPS 579935 HAS SOUS 404487 HAS SOUPS 404487 WITH SCORE 405066.935
AT ITER 2838 NEW BEST:: SOT 1938465 SOS 579908 HAS SOPS 579908 HAS SOUS 404439 HAS SOUPS 404439 WITH SCORE 405018.908
AT ITER 2839 NEW BEST:: SOT 1938478 SOS 579934 HAS SOPS 579934 HAS SOUS 404218 HAS SOUPS 404218 WITH SCORE 404797.934
AT ITER 2848 NEW BEST:: SOT 1938423 SOS 579871 HAS SOPS 579871 HAS SOUS 404155 HAS SOUPS 404155 WITH SCORE 404734.871
AT ITER 2849 NEW BEST:: SOT 1938425 SOS 579711 HAS SOPS 579711 HAS SOUS 403995 HAS SOUPS 403995 WITH SCORE 404574.711
AT ITER 2858 NEW BEST:: SOT 1938301 SOS 579801 HAS SOPS 579801 HAS SOUS 403988 HAS SOUPS 403988 WITH SCORE 404567.801
AT ITER 2861 NEW BEST:: SOT 1937327 SOS 579739 HAS SOPS 579739 HAS SOUS 403217 HAS SOUPS 403217 WITH SCORE 403796.739
AT ITER 2863 NEW BEST:: SOT 1937327 SOS 579514 HAS SOPS 579514 HAS SOUS 403164 HAS SOUPS 403164 WITH SCORE 403743.514
AT ITER 2876 NEW BEST:: SOT 1937509 SOS 578824 HAS SOPS 578824 HAS SOUS 401670 HAS SOUPS 401670 WITH SCORE 402248.824
AT ITER 2880 NEW BEST:: SOT 1937509 SOS 578824 HAS SOPS 578824 HAS SOUS 401537 HAS SOUPS 401537 WITH SCORE 402115.824
AT ITER 2881 NEW BEST:: SOT 1937293 SOS 578457 HAS SOPS 578457 HAS SOUS 401286 HAS SOUPS 401286 WITH SCORE 401864.457
AT ITER 2888 NEW BEST:: SOT 1937092 SOS 578055 HAS SOPS 578055 HAS SOUS 400884 HAS SOUPS 400884 WITH SCORE 401462.055
AT ITER 2889 NEW BEST:: SOT 1937138 SOS 577582 HAS SOPS 577582 HAS SOUS 400413 HAS SOUPS 400413 WITH SCORE 400990.582
AT ITER 2890 NEW BEST:: SOT 1937098 SOS 577545 HAS SOPS 577545 HAS SOUS 400376 HAS SOUPS 400376 WITH SCORE 400953.545
AT ITER 2893 NEW BEST:: SOT 1936519 SOS 577159 HAS SOPS 577159 HAS SOUS 399990 HAS SOUPS 399990 WITH SCORE 400567.159
AT ITER 2934 NEW BEST:: SOT 1936347 SOS 576810 HAS SOPS 576810 HAS SOUS 399617 HAS SOUPS 399617 WITH SCORE 400193.81
AT ITER 2935 NEW BEST:: SOT 1936332 SOS 576790 HAS SOPS 576790 HAS SOUS 399597 HAS SOUPS 399597 WITH SCORE 400173.79
AT ITER 2941 NEW BEST:: SOT 1936088 SOS 576693 HAS SOPS 576693 HAS SOUS 399502 HAS SOUPS 399502 WITH SCORE 400078.693
AT ITER 2944 NEW BEST:: SOT 1936124 SOS 576578 HAS SOPS 576578 HAS SOUS 398105 HAS SOUPS 398105 WITH SCORE 398681.578
AT ITER 2961 NEW BEST:: SOT 1936088 SOS 576506 HAS SOPS 576506 HAS SOUS 398033 HAS SOUPS 398033 WITH SCORE 398609.506
AT ITER 2969 NEW BEST:: SOT 1936088 SOS 576739 HAS SOPS 576739 HAS SOUS 396394 HAS SOUPS 396394 WITH SCORE 396970.739
AT ITER 2983 NEW BEST:: SOT 1936043 SOS 576694 HAS SOPS 576694 HAS SOUS 396349 HAS SOUPS 396349 WITH SCORE 396925.694
AT ITER 2987 NEW BEST:: SOT 1935981 SOS 576632 HAS SOPS 576632 HAS SOUS 396225 HAS SOUPS 396225 WITH SCORE 396801.632
AT ITER 2995 NEW BEST:: SOT 1935981 SOS 576606 HAS SOPS 576606 HAS SOUS 396225 HAS SOUPS 396225 WITH SCORE 396801.606
AT ITER 2999 NEW BEST:: SOT 1935979 SOS 576602 HAS SOPS 576602 HAS SOUS 396070 HAS SOUPS 396070 WITH SCORE 396646.602
AT ITER 3008 NEW BEST:: SOT 1935169 SOS 575900 HAS SOPS 575900 HAS SOUS 396070 HAS SOUPS 396070 WITH SCORE 396645.9
AT ITER 3020 NEW BEST:: SOT 1934992 SOS 575702 HAS SOPS 575702 HAS SOUS 395695 HAS SOUPS 395695 WITH SCORE 396270.702
AT ITER 3026 NEW BEST:: SOT 1934975 SOS 575651 HAS SOPS 575651 HAS SOUS 395648 HAS SOUPS 395648 WITH SCORE 396223.651
AT ITER 3027 NEW BEST:: SOT 1934927 SOS 575483 HAS SOPS 575483 HAS SOUS 395494 HAS SOUPS 395494 WITH SCORE 396069.483
AT ITER 3059 NEW BEST:: SOT 1934341 SOS 574965 HAS SOPS 574965 HAS SOUS 395415 HAS SOUPS 395415 WITH SCORE 395989.965
AT ITER 3098 NEW BEST:: SOT 1934049 SOS 574948 HAS SOPS 574948 HAS SOUS 395398 HAS SOUPS 395398 WITH SCORE 395972.948
AT ITER 3131 NEW BEST:: SOT 1933899 SOS 573754 HAS SOPS 573754 HAS SOUS 395189 HAS SOUPS 395189 WITH SCORE 395762.754
AT ITER 3136 NEW BEST:: SOT 1933899 SOS 573641 HAS SOPS 573641 HAS SOUS 395180 HAS SOUPS 395180 WITH SCORE 395753.641
AT ITER 3151 NEW BEST:: SOT 1933836 SOS 573515 HAS SOPS 573515 HAS SOUS 395116 HAS SOUPS 395116 WITH SCORE 395689.515
AT ITER 3153 NEW BEST:: SOT 1933738 SOS 573398 HAS SOPS 573398 HAS SOUS 395102 HAS SOUPS 395102 WITH SCORE 395675.398
AT ITER 3157 NEW BEST:: SOT 1933662 SOS 573251 HAS SOPS 573251 HAS SOUS 394727 HAS SOUPS 394727 WITH SCORE 395300.251
AT ITER 3164 NEW BEST:: SOT 1933158 SOS 573167 HAS SOPS 573167 HAS SOUS 394307 HAS SOUPS 394307 WITH SCORE 394880.167
AT ITER 3175 NEW BEST:: SOT 1933114 SOS 573079 HAS SOPS 573079 HAS SOUS 394219 HAS SOUPS 394219 WITH SCORE 394792.079
AT ITER 3219 NEW BEST:: SOT 1933223 SOS 573048 HAS SOPS 573048 HAS SOUS 394188 HAS SOUPS 394188 WITH SCORE 394761.048
AT ITER 3222 NEW BEST:: SOT 1933145 SOS 572892 HAS SOPS 572892 HAS SOUS 393876 HAS SOUPS 393876 WITH SCORE 394448.892
AT ITER 3229 NEW BEST:: SOT 1933144 SOS 572890 HAS SOPS 572890 HAS SOUS 393874 HAS SOUPS 393874 WITH SCORE 394446.89
AT ITER 3235 NEW BEST:: SOT 1931869 SOS 571615 HAS SOPS 571615 HAS SOUS 392599 HAS SOUPS 392599 WITH SCORE 393170.615
AT ITER 3243 NEW BEST:: SOT 1931710 SOS 571456 HAS SOPS 571456 HAS SOUS 392438 HAS SOUPS 392438 WITH SCORE 393009.456
AT ITER 3253 NEW BEST:: SOT 1931709 SOS 571326 HAS SOPS 571326 HAS SOUS 392436 HAS SOUPS 392436 WITH SCORE 393007.326
AT ITER 3277 NEW BEST:: SOT 1931418 SOS 570907 HAS SOPS 570907 HAS SOUS 392146 HAS SOUPS 392146 WITH SCORE 392716.907
AT ITER 3280 NEW BEST:: SOT 1931395 SOS 570861 HAS SOPS 570861 HAS SOUS 392100 HAS SOUPS 392100 WITH SCORE 392670.861
AT ITER 3285 NEW BEST:: SOT 1931303 SOS 570677 HAS SOPS 570677 HAS SOUS 391824 HAS SOUPS 391824 WITH SCORE 392394.677
AT ITER 3286 NEW BEST:: SOT 1931279 SOS 570629 HAS SOPS 570629 HAS SOUS 391736 HAS SOUPS 391736 WITH SCORE 392306.629
AT ITER 3306 NEW BEST:: SOT 1931270 SOS 570491 HAS SOPS 570491 HAS SOUS 391598 HAS SOUPS 391598 WITH SCORE 392168.491
AT ITER 3318 NEW BEST:: SOT 1931114 SOS 570709 HAS SOPS 570709 HAS SOUS 391286 HAS SOUPS 391286 WITH SCORE 391856.709
AT ITER 3330 NEW BEST:: SOT 1931060 SOS 570527 HAS SOPS 570527 HAS SOUS 391244 HAS SOUPS 391244 WITH SCORE 391814.527
AT ITER 3367 NEW BEST:: SOT 1930855 SOS 570078 HAS SOPS 570078 HAS SOUS 390795 HAS SOUPS 390795 WITH SCORE 391365.078
AT ITER 3381 NEW BEST:: SOT 1930760 SOS 569575 HAS SOPS 569575 HAS SOUS 390558 HAS SOUPS 390558 WITH SCORE 391127.575
AT ITER 3385 NEW BEST:: SOT 1930627 SOS 568533 HAS SOPS 568533 HAS SOUS 390517 HAS SOUPS 390517 WITH SCORE 391085.533
AT ITER 3388 NEW BEST:: SOT 1930625 SOS 568531 HAS SOPS 568531 HAS SOUS 390515 HAS SOUPS 390515 WITH SCORE 391083.531
AT ITER 3399 NEW BEST:: SOT 1930187 SOS 568297 HAS SOPS 568297 HAS SOUS 390281 HAS SOUPS 390281 WITH SCORE 390849.297
AT ITER 3401 NEW BEST:: SOT 1930049 SOS 568296 HAS SOPS 568296 HAS SOUS 390182 HAS SOUPS 390182 WITH SCORE 390750.296
AT ITER 3408 NEW BEST:: SOT 1930049 SOS 568359 HAS SOPS 568359 HAS SOUS 390056 HAS SOUPS 390056 WITH SCORE 390624.359
AT ITER 3419 NEW BEST:: SOT 1930049 SOS 568333 HAS SOPS 568333 HAS SOUS 390030 HAS SOUPS 390030 WITH SCORE 390598.333
AT ITER 3422 NEW BEST:: SOT 1930017 SOS 568269 HAS SOPS 568269 HAS SOUS 389965 HAS SOUPS 389965 WITH SCORE 390533.269
AT ITER 3431 NEW BEST:: SOT 1930017 SOS 568267 HAS SOPS 568267 HAS SOUS 389964 HAS SOUPS 389964 WITH SCORE 390532.267
AT ITER 3438 NEW BEST:: SOT 1929980 SOS 568518 HAS SOPS 568518 HAS SOUS 389894 HAS SOUPS 389894 WITH SCORE 390462.518
AT ITER 3466 NEW BEST:: SOT 1929980 SOS 568404 HAS SOPS 568404 HAS SOUS 389893 HAS SOUPS 389893 WITH SCORE 390461.404
AT ITER 3467 NEW BEST:: SOT 1929931 SOS 568468 HAS SOPS 568468 HAS SOUS 389854 HAS SOUPS 389854 WITH SCORE 390422.468
AT ITER 3486 NEW BEST:: SOT 1929854 SOS 568313 HAS SOPS 568313 HAS SOUS 389084 HAS SOUPS 389084 WITH SCORE 389652.313
AT ITER 3496 NEW BEST:: SOT 1929745 SOS 568095 HAS SOPS 568095 HAS SOUS 388975 HAS SOUPS 388975 WITH SCORE 389543.095
AT ITER 3529 NEW BEST:: SOT 1929152 SOS 567542 HAS SOPS 567542 HAS SOUS 388381 HAS SOUPS 388381 WITH SCORE 388948.542
AT ITER 3535 NEW BEST:: SOT 1929152 SOS 567542 HAS SOPS 567542 HAS SOUS 388380 HAS SOUPS 388380 WITH SCORE 388947.542
AT ITER 3541 NEW BEST:: SOT 1929091 SOS 567481 HAS SOPS 567481 HAS SOUS 388258 HAS SOUPS 388258 WITH SCORE 388825.481
AT ITER 3548 NEW BEST:: SOT 1929090 SOS 567479 HAS SOPS 567479 HAS SOUS 388256 HAS SOUPS 388256 WITH SCORE 388823.479
AT ITER 3552 NEW BEST:: SOT 1929076 SOS 567465 HAS SOPS 567465 HAS SOUS 388228 HAS SOUPS 388228 WITH SCORE 388795.465
AT ITER 3557 NEW BEST:: SOT 1929076 SOS 567465 HAS SOPS 567465 HAS SOUS 388116 HAS SOUPS 388116 WITH SCORE 388683.465
AT ITER 3575 NEW BEST:: SOT 1929737 SOS 568175 HAS SOPS 568175 HAS SOUS 388013 HAS SOUPS 388013 WITH SCORE 388581.175
AT ITER 3582 NEW BEST:: SOT 1929685 SOS 568014 HAS SOPS 568014 HAS SOUS 387960 HAS SOUPS 387960 WITH SCORE 388528.014
AT ITER 3593 NEW BEST:: SOT 1929591 SOS 567829 HAS SOPS 567829 HAS SOUS 387858 HAS SOUPS 387858 WITH SCORE 388425.829
AT ITER 3594 NEW BEST:: SOT 1929442 SOS 567113 HAS SOPS 567113 HAS SOUS 387560 HAS SOUPS 387560 WITH SCORE 388127.113
AT ITER 3600 NEW BEST:: SOT 1929194 SOS 566617 HAS SOPS 566617 HAS SOUS 386904 HAS SOUPS 386904 WITH SCORE 387470.617
AT ITER 3626 NEW BEST:: SOT 1929142 SOS 566530 HAS SOPS 566530 HAS SOUS 386785 HAS SOUPS 386785 WITH SCORE 387351.53
AT ITER 3629 NEW BEST:: SOT 1929088 SOS 566471 HAS SOPS 566471 HAS SOUS 386027 HAS SOUPS 386027 WITH SCORE 386593.471
AT ITER 3632 NEW BEST:: SOT 1929003 SOS 566386 HAS SOPS 566386 HAS SOUS 385942 HAS SOUPS 385942 WITH SCORE 386508.386
AT ITER 3646 NEW BEST:: SOT 1928775 SOS 565715 HAS SOPS 565715 HAS SOUS 385597 HAS SOUPS 385597 WITH SCORE 386162.715
AT ITER 3647 NEW BEST:: SOT 1928774 SOS 565619 HAS SOPS 565619 HAS SOUS 385501 HAS SOUPS 385501 WITH SCORE 386066.619
AT ITER 3664 NEW BEST:: SOT 1928543 SOS 565388 HAS SOPS 565388 HAS SOUS 385368 HAS SOUPS 385368 WITH SCORE 385933.388
AT ITER 3674 NEW BEST:: SOT 1928509 SOS 565354 HAS SOPS 565354 HAS SOUS 385334 HAS SOUPS 385334 WITH SCORE 385899.354
AT ITER 3677 NEW BEST:: SOT 1928489 SOS 565334 HAS SOPS 565334 HAS SOUS 385314 HAS SOUPS 385314 WITH SCORE 385879.334
AT ITER 3688 NEW BEST:: SOT 1928489 SOS 565334 HAS SOPS 565334 HAS SOUS 385305 HAS SOUPS 385305 WITH SCORE 385870.334
AT ITER 3702 NEW BEST:: SOT 1928406 SOS 565160 HAS SOPS 565160 HAS SOUS 385222 HAS SOUPS 385222 WITH SCORE 385787.16
AT ITER 3707 NEW BEST:: SOT 1928235 SOS 564989 HAS SOPS 564989 HAS SOUS 384880 HAS SOUPS 384880 WITH SCORE 385444.989
AT ITER 3721 NEW BEST:: SOT 1928065 SOS 564792 HAS SOPS 564792 HAS SOUS 384683 HAS SOUPS 384683 WITH SCORE 385247.792
AT ITER 3727 NEW BEST:: SOT 1928064 SOS 564153 HAS SOPS 564153 HAS SOUS 384681 HAS SOUPS 384681 WITH SCORE 385245.153
AT ITER 3739 NEW BEST:: SOT 1927974 SOS 563937 HAS SOPS 563937 HAS SOUS 384629 HAS SOUPS 384629 WITH SCORE 385192.937
AT ITER 3773 NEW BEST:: SOT 1928005 SOS 563829 HAS SOPS 563829 HAS SOUS 384520 HAS SOUPS 384520 WITH SCORE 385083.829
AT ITER 3785 NEW BEST:: SOT 1927916 SOS 563740 HAS SOPS 563740 HAS SOUS 384431 HAS SOUPS 384431 WITH SCORE 384994.74
AT ITER 3801 NEW BEST:: SOT 1927916 SOS 563567 HAS SOPS 563567 HAS SOUS 384258 HAS SOUPS 384258 WITH SCORE 384821.567
AT ITER 3803 NEW BEST:: SOT 1927963 SOS 563614 HAS SOPS 563614 HAS SOUS 384233 HAS SOUPS 384233 WITH SCORE 384796.614
AT ITER 3830 NEW BEST:: SOT 1927963 SOS 563515 HAS SOPS 563515 HAS SOUS 384134 HAS SOUPS 384134 WITH SCORE 384697.515
AT ITER 3836 NEW BEST:: SOT 1927850 SOS 562993 HAS SOPS 562993 HAS SOUS 383849 HAS SOUPS 383849 WITH SCORE 384411.993
AT ITER 3849 NEW BEST:: SOT 1927850 SOS 562954 HAS SOPS 562954 HAS SOUS 383810 HAS SOUPS 383810 WITH SCORE 384372.954
AT ITER 3855 NEW BEST:: SOT 1927805 SOS 562805 HAS SOPS 562805 HAS SOUS 383435 HAS SOUPS 383435 WITH SCORE 383997.805
AT ITER 3861 NEW BEST:: SOT 1927767 SOS 563053 HAS SOPS 563053 HAS SOUS 383383 HAS SOUPS 383383 WITH SCORE 383946.053
AT ITER 3864 NEW BEST:: SOT 1926792 SOS 562401 HAS SOPS 562401 HAS SOUS 382742 HAS SOUPS 382742 WITH SCORE 383304.401
AT ITER 3870 NEW BEST:: SOT 1926792 SOS 562401 HAS SOPS 562401 HAS SOUS 382710 HAS SOUPS 382710 WITH SCORE 383272.401
AT ITER 3874 NEW BEST:: SOT 1926778 SOS 562387 HAS SOPS 562387 HAS SOUS 382696 HAS SOUPS 382696 WITH SCORE 383258.387
AT ITER 3875 NEW BEST:: SOT 1926008 SOS 561694 HAS SOPS 561694 HAS SOUS 382008 HAS SOUPS 382008 WITH SCORE 382569.694
AT ITER 3886 NEW BEST:: SOT 1925970 SOS 561532 HAS SOPS 561532 HAS SOUS 381960 HAS SOUPS 381960 WITH SCORE 382521.532
AT ITER 3912 NEW BEST:: SOT 1926441 SOS 562302 HAS SOPS 562302 HAS SOUS 381575 HAS SOUPS 381575 WITH SCORE 382137.302
AT ITER 3920 NEW BEST:: SOT 1926067 SOS 561855 HAS SOPS 561855 HAS SOUS 381535 HAS SOUPS 381535 WITH SCORE 382096.855
AT ITER 3941 NEW BEST:: SOT 1925943 SOS 561412 HAS SOPS 561412 HAS SOUS 381092 HAS SOUPS 381092 WITH SCORE 381653.412
AT ITER 3969 NEW BEST:: SOT 1925930 SOS 561294 HAS SOPS 561294 HAS SOUS 381013 HAS SOUPS 381013 WITH SCORE 381574.294
AT ITER 3974 NEW BEST:: SOT 1925915 SOS 561106 HAS SOPS 561106 HAS SOUS 380934 HAS SOUPS 380934 WITH SCORE 381495.106
AT ITER 3989 NEW BEST:: SOT 1925766 SOS 560659 HAS SOPS 560659 HAS SOUS 380636 HAS SOUPS 380636 WITH SCORE 381196.659
AT ITER 3995 NEW BEST:: SOT 1925758 SOS 561287 HAS SOPS 561287 HAS SOUS 380620 HAS SOUPS 380620 WITH SCORE 381181.287
AT ITER 4009 NEW BEST:: SOT 1925840 SOS 561113 HAS SOPS 561113 HAS SOUS 380513 HAS SOUPS 380513 WITH SCORE 381074.113
AT ITER 4023 NEW BEST:: SOT 1925646 SOS 560881 HAS SOPS 560881 HAS SOUS 380116 HAS SOUPS 380116 WITH SCORE 380676.881
AT ITER 4035 NEW BEST:: SOT 1925719 SOS 560863 HAS SOPS 560863 HAS SOUS 380098 HAS SOUPS 380098 WITH SCORE 380658.863
AT ITER 4045 NEW BEST:: SOT 1925539 SOS 560493 HAS SOPS 560493 HAS SOUS 379907 HAS SOUPS 379907 WITH SCORE 380467.493
AT ITER 4046 NEW BEST:: SOT 1925503 SOS 560466 HAS SOPS 560466 HAS SOUS 379880 HAS SOUPS 379880 WITH SCORE 380440.466
AT ITER 4058 NEW BEST:: SOT 1925363 SOS 560186 HAS SOPS 560186 HAS SOUS 379740 HAS SOUPS 379740 WITH SCORE 380300.186
AT ITER 4071 NEW BEST:: SOT 1925095 SOS 559722 HAS SOPS 559722 HAS SOUS 379276 HAS SOUPS 379276 WITH SCORE 379835.722
AT ITER 4075 NEW BEST:: SOT 1925095 SOS 559700 HAS SOPS 559700 HAS SOUS 379254 HAS SOUPS 379254 WITH SCORE 379813.7
AT ITER 4100 NEW BEST:: SOT 1925095 SOS 559696 HAS SOPS 559696 HAS SOUS 379250 HAS SOUPS 379250 WITH SCORE 379809.696
AT ITER 4103 NEW BEST:: SOT 1925095 SOS 559693 HAS SOPS 559693 HAS SOUS 379248 HAS SOUPS 379248 WITH SCORE 379807.693
AT ITER 4115 NEW BEST:: SOT 1925095 SOS 559463 HAS SOPS 559463 HAS SOUS 379018 HAS SOUPS 379018 WITH SCORE 379577.463
AT ITER 4137 NEW BEST:: SOT 1925095 SOS 559466 HAS SOPS 559466 HAS SOUS 379010 HAS SOUPS 379010 WITH SCORE 379569.466
AT ITER 4158 NEW BEST:: SOT 1925002 SOS 559266 HAS SOPS 559266 HAS SOUS 378902 HAS SOUPS 378902 WITH SCORE 379461.266
AT ITER 4162 NEW BEST:: SOT 1924911 SOS 558823 HAS SOPS 558823 HAS SOUS 378736 HAS SOUPS 378736 WITH SCORE 379294.823
AT ITER 4182 NEW BEST:: SOT 1924583 SOS 559171 HAS SOPS 559171 HAS SOUS 378572 HAS SOUPS 378572 WITH SCORE 379131.171
AT ITER 4223 NEW BEST:: SOT 1924450 SOS 559038 HAS SOPS 559038 HAS SOUS 378439 HAS SOUPS 378439 WITH SCORE 378998.038
AT ITER 4225 NEW BEST:: SOT 1924391 SOS 558920 HAS SOPS 558920 HAS SOUS 378321 HAS SOUPS 378321 WITH SCORE 378879.92
AT ITER 4231 NEW BEST:: SOT 1923516 SOS 557930 HAS SOPS 557930 HAS SOUS 378321 HAS SOUPS 378321 WITH SCORE 378878.93
AT ITER 4243 NEW BEST:: SOT 1923480 SOS 557926 HAS SOPS 557926 HAS SOUS 378317 HAS SOUPS 378317 WITH SCORE 378874.926
AT ITER 4332 NEW BEST:: SOT 1923321 SOS 559487 HAS SOPS 559487 HAS SOUS 378158 HAS SOUPS 378158 WITH SCORE 378717.487
AT ITER 4336 NEW BEST:: SOT 1923320 SOS 559486 HAS SOPS 559486 HAS SOUS 378157 HAS SOUPS 378157 WITH SCORE 378716.486
AT ITER 4349 NEW BEST:: SOT 1923161 SOS 559168 HAS SOPS 559168 HAS SOUS 377839 HAS SOUPS 377839 WITH SCORE 378398.168
AT ITER 4367 NEW BEST:: SOT 1923160 SOS 559231 HAS SOPS 559231 HAS SOUS 377837 HAS SOUPS 377837 WITH SCORE 378396.231
AT ITER 4374 NEW BEST:: SOT 1923160 SOS 559175 HAS SOPS 559175 HAS SOUS 377829 HAS SOUPS 377829 WITH SCORE 378388.175
AT ITER 4377 NEW BEST:: SOT 1923117 SOS 559132 HAS SOPS 559132 HAS SOUS 377786 HAS SOUPS 377786 WITH SCORE 378345.132
AT ITER 4378 NEW BEST:: SOT 1923091 SOS 559106 HAS SOPS 559106 HAS SOUS 377747 HAS SOUPS 377747 WITH SCORE 378306.106
AT ITER 4399 NEW BEST:: SOT 1923090 SOS 555959 HAS SOPS 555959 HAS SOUS 377743 HAS SOUPS 377743 WITH SCORE 378298.959
AT ITER 4419 NEW BEST:: SOT 1922915 SOS 555609 HAS SOPS 555609 HAS SOUS 377568 HAS SOUPS 377568 WITH SCORE 378123.609
AT ITER 4421 NEW BEST:: SOT 1922882 SOS 555576 HAS SOPS 555576 HAS SOUS 377535 HAS SOUPS 377535 WITH SCORE 378090.576
AT ITER 4430 NEW BEST:: SOT 1922836 SOS 555346 HAS SOPS 555346 HAS SOUS 377489 HAS SOUPS 377489 WITH SCORE 378044.346
AT ITER 4439 NEW BEST:: SOT 1922834 SOS 555344 HAS SOPS 555344 HAS SOUS 377487 HAS SOUPS 377487 WITH SCORE 378042.344
AT ITER 4473 NEW BEST:: SOT 1922761 SOS 555198 HAS SOPS 555198 HAS SOUS 377341 HAS SOUPS 377341 WITH SCORE 377896.198
AT ITER 4474 NEW BEST:: SOT 1922641 SOS 554568 HAS SOPS 554568 HAS SOUS 377221 HAS SOUPS 377221 WITH SCORE 377775.568
AT ITER 4482 NEW BEST:: SOT 1922621 SOS 554548 HAS SOPS 554548 HAS SOUS 377201 HAS SOUPS 377201 WITH SCORE 377755.548
AT ITER 4486 NEW BEST:: SOT 1922435 SOS 554992 HAS SOPS 554992 HAS SOUS 377189 HAS SOUPS 377189 WITH SCORE 377743.992
AT ITER 4508 NEW BEST:: SOT 1922431 SOS 554988 HAS SOPS 554988 HAS SOUS 377185 HAS SOUPS 377185 WITH SCORE 377739.988
AT ITER 4511 NEW BEST:: SOT 1922326 SOS 554778 HAS SOPS 554778 HAS SOUS 377092 HAS SOUPS 377092 WITH SCORE 377646.778
AT ITER 4522 NEW BEST:: SOT 1922108 SOS 554543 HAS SOPS 554543 HAS SOUS 376639 HAS SOUPS 376639 WITH SCORE 377193.543
AT ITER 4531 NEW BEST:: SOT 1921979 SOS 554285 HAS SOPS 554285 HAS SOUS 376325 HAS SOUPS 376325 WITH SCORE 376879.285
AT ITER 4582 NEW BEST:: SOT 1921965 SOS 554229 HAS SOPS 554229 HAS SOUS 376304 HAS SOUPS 376304 WITH SCORE 376858.229
AT ITER 4591 NEW BEST:: SOT 1921923 SOS 554187 HAS SOPS 554187 HAS SOUS 376262 HAS SOUPS 376262 WITH SCORE 376816.187
AT ITER 4622 NEW BEST:: SOT 1921814 SOS 553784 HAS SOPS 553784 HAS SOUS 376044 HAS SOUPS 376044 WITH SCORE 376597.784
AT ITER 4656 NEW BEST:: SOT 1921814 SOS 553780 HAS SOPS 553780 HAS SOUS 376040 HAS SOUPS 376040 WITH SCORE 376593.78
AT ITER 4661 NEW BEST:: SOT 1921739 SOS 553625 HAS SOPS 553625 HAS SOUS 375885 HAS SOUPS 375885 WITH SCORE 376438.625
AT ITER 4669 NEW BEST:: SOT 1921781 SOS 553517 HAS SOPS 553517 HAS SOUS 375777 HAS SOUPS 375777 WITH SCORE 376330.517
AT ITER 4684 NEW BEST:: SOT 1921751 SOS 553247 HAS SOPS 553247 HAS SOUS 375698 HAS SOUPS 375698 WITH SCORE 376251.247
AT ITER 4688 NEW BEST:: SOT 1921748 SOS 552740 HAS SOPS 552740 HAS SOUS 375683 HAS SOUPS 375683 WITH SCORE 376235.74
AT ITER 4715 NEW BEST:: SOT 1921670 SOS 552662 HAS SOPS 552662 HAS SOUS 375605 HAS SOUPS 375605 WITH SCORE 376157.662
AT ITER 4716 NEW BEST:: SOT 1921482 SOS 552474 HAS SOPS 552474 HAS SOUS 375417 HAS SOUPS 375417 WITH SCORE 375969.474
AT ITER 4727 NEW BEST:: SOT 1921368 SOS 551226 HAS SOPS 551226 HAS SOUS 375045 HAS SOUPS 375045 WITH SCORE 375596.226
AT ITER 4738 NEW BEST:: SOT 1921314 SOS 550780 HAS SOPS 550780 HAS SOUS 374945 HAS SOUPS 374945 WITH SCORE 375495.78
AT ITER 4756 NEW BEST:: SOT 1921307 SOS 550415 HAS SOPS 550415 HAS SOUS 374807 HAS SOUPS 374807 WITH SCORE 375357.415
AT ITER 4799 NEW BEST:: SOT 1921244 SOS 550370 HAS SOPS 550370 HAS SOUS 374762 HAS SOUPS 374762 WITH SCORE 375312.37
AT ITER 4835 NEW BEST:: SOT 1920289 SOS 549492 HAS SOPS 549492 HAS SOUS 374396 HAS SOUPS 374396 WITH SCORE 374945.492
AT ITER 4842 NEW BEST:: SOT 1920247 SOS 549587 HAS SOPS 549587 HAS SOUS 374320 HAS SOUPS 374320 WITH SCORE 374869.587
AT ITER 4855 NEW BEST:: SOT 1919905 SOS 548919 HAS SOPS 548919 HAS SOUS 373274 HAS SOUPS 373274 WITH SCORE 373822.919
AT ITER 4858 NEW BEST:: SOT 1919870 SOS 548951 HAS SOPS 548951 HAS SOUS 373251 HAS SOUPS 373251 WITH SCORE 373799.951
AT ITER 4874 NEW BEST:: SOT 1919785 SOS 548326 HAS SOPS 548326 HAS SOUS 373039 HAS SOUPS 373039 WITH SCORE 373587.326
AT ITER 4877 NEW BEST:: SOT 1919764 SOS 548284 HAS SOPS 548284 HAS SOUS 372997 HAS SOUPS 372997 WITH SCORE 373545.284
AT ITER 4900 NEW BEST:: SOT 1919764 SOS 548218 HAS SOPS 548218 HAS SOUS 372997 HAS SOUPS 372997 WITH SCORE 373545.218
AT ITER 4902 NEW BEST:: SOT 1919686 SOS 548140 HAS SOPS 548140 HAS SOUS 372919 HAS SOUPS 372919 WITH SCORE 373467.14
AT ITER 4918 NEW BEST:: SOT 1919522 SOS 547894 HAS SOPS 547894 HAS SOUS 372591 HAS SOUPS 372591 WITH SCORE 373138.894
AT ITER 4924 NEW BEST:: SOT 1919725 SOS 543348 HAS SOPS 543348 HAS SOUS 372484 HAS SOUPS 372484 WITH SCORE 373027.348
AT ITER 4929 NEW BEST:: SOT 1919725 SOS 543150 HAS SOPS 543150 HAS SOUS 370671 HAS SOUPS 370671 WITH SCORE 371214.15
AT ITER 4950 NEW BEST:: SOT 1919768 SOS 543347 HAS SOPS 543347 HAS SOUS 370501 HAS SOUPS 370501 WITH SCORE 371044.347
AT ITER 5000 NEW BEST:: SOT 1918433 SOS 543044 HAS SOPS 543044 HAS SOUS 369675 HAS SOUPS 369675 WITH SCORE 370218.044
AT ITER 5010 NEW BEST:: SOT 1918433 SOS 543039 HAS SOPS 543039 HAS SOUS 369675 HAS SOUPS 369675 WITH SCORE 370218.039
AT ITER 5026 NEW BEST:: SOT 1917726 SOS 542291 HAS SOPS 542291 HAS SOUS 368927 HAS SOUPS 368927 WITH SCORE 369469.291
AT ITER 5029 NEW BEST:: SOT 1917700 SOS 542213 HAS SOPS 542213 HAS SOUS 368849 HAS SOUPS 368849 WITH SCORE 369391.213
AT ITER 5033 NEW BEST:: SOT 1917682 SOS 542177 HAS SOPS 542177 HAS SOUS 368813 HAS SOUPS 368813 WITH SCORE 369355.177
AT ITER 5036 NEW BEST:: SOT 1917682 SOS 542105 HAS SOPS 542105 HAS SOUS 368813 HAS SOUPS 368813 WITH SCORE 369355.105
AT ITER 5063 NEW BEST:: SOT 1917602 SOS 541992 HAS SOPS 541992 HAS SOUS 368700 HAS SOUPS 368700 WITH SCORE 369241.992
AT ITER 5073 NEW BEST:: SOT 1917601 SOS 541897 HAS SOPS 541897 HAS SOUS 368698 HAS SOUPS 368698 WITH SCORE 369239.897
AT ITER 5074 NEW BEST:: SOT 1917538 SOS 542546 HAS SOPS 542546 HAS SOUS 368563 HAS SOUPS 368563 WITH SCORE 369105.546
AT ITER 5079 NEW BEST:: SOT 1917530 SOS 542426 HAS SOPS 542426 HAS SOUS 368539 HAS SOUPS 368539 WITH SCORE 369081.426
AT ITER 5123 NEW BEST:: SOT 1917155 SOS 542201 HAS SOPS 542201 HAS SOUS 368164 HAS SOUPS 368164 WITH SCORE 368706.201
AT ITER 5130 NEW BEST:: SOT 1917155 SOS 542186 HAS SOPS 542186 HAS SOUS 368153 HAS SOUPS 368153 WITH SCORE 368695.186
AT ITER 5136 NEW BEST:: SOT 1917154 SOS 542011 HAS SOPS 542011 HAS SOUS 368033 HAS SOUPS 368033 WITH SCORE 368575.011
AT ITER 5175 NEW BEST:: SOT 1917330 SOS 542283 HAS SOPS 542283 HAS SOUS 367328 HAS SOUPS 367328 WITH SCORE 367870.283
AT ITER 5181 NEW BEST:: SOT 1916994 SOS 542227 HAS SOPS 542227 HAS SOUS 367036 HAS SOUPS 367036 WITH SCORE 367578.227
AT ITER 5198 NEW BEST:: SOT 1916997 SOS 542225 HAS SOPS 542225 HAS SOUS 367034 HAS SOUPS 367034 WITH SCORE 367576.225
AT ITER 5222 NEW BEST:: SOT 1916997 SOS 542167 HAS SOPS 542167 HAS SOUS 366976 HAS SOUPS 366976 WITH SCORE 367518.167
AT ITER 5229 NEW BEST:: SOT 1916961 SOS 542095 HAS SOPS 542095 HAS SOUS 366904 HAS SOUPS 366904 WITH SCORE 367446.095
AT ITER 5234 NEW BEST:: SOT 1916949 SOS 542071 HAS SOPS 542071 HAS SOUS 366880 HAS SOUPS 366880 WITH SCORE 367422.071
AT ITER 5255 NEW BEST:: SOT 1916930 SOS 542033 HAS SOPS 542033 HAS SOUS 366705 HAS SOUPS 366705 WITH SCORE 367247.033
AT ITER 5267 NEW BEST:: SOT 1916930 SOS 541910 HAS SOPS 541910 HAS SOUS 366703 HAS SOUPS 366703 WITH SCORE 367244.91
AT ITER 5271 NEW BEST:: SOT 1916849 SOS 541586 HAS SOPS 541586 HAS SOUS 366460 HAS SOUPS 366460 WITH SCORE 367001.586
AT ITER 5278 NEW BEST:: SOT 1916849 SOS 541768 HAS SOPS 541768 HAS SOUS 366278 HAS SOUPS 366278 WITH SCORE 366819.768
AT ITER 5315 NEW BEST:: SOT 1916401 SOS 541296 HAS SOPS 541296 HAS SOUS 365806 HAS SOUPS 365806 WITH SCORE 366347.296
AT ITER 5331 NEW BEST:: SOT 1916401 SOS 541169 HAS SOPS 541169 HAS SOUS 365806 HAS SOUPS 365806 WITH SCORE 366347.169
AT ITER 5334 NEW BEST:: SOT 1916401 SOS 541057 HAS SOPS 541057 HAS SOUS 365694 HAS SOUPS 365694 WITH SCORE 366235.057
AT ITER 5364 NEW BEST:: SOT 1916401 SOS 541036 HAS SOPS 541036 HAS SOUS 365673 HAS SOUPS 365673 WITH SCORE 366214.036
AT ITER 5375 NEW BEST:: SOT 1916274 SOS 540909 HAS SOPS 540909 HAS SOUS 365604 HAS SOUPS 365604 WITH SCORE 366144.909
AT ITER 5420 NEW BEST:: SOT 1915679 SOS 540314 HAS SOPS 540314 HAS SOUS 365604 HAS SOUPS 365604 WITH SCORE 366144.314
AT ITER 5422 NEW BEST:: SOT 1915614 SOS 540120 HAS SOPS 540120 HAS SOUS 364064 HAS SOUPS 364064 WITH SCORE 364604.12
AT ITER 5424 NEW BEST:: SOT 1915426 SOS 539899 HAS SOPS 539899 HAS SOUS 363688 HAS SOUPS 363688 WITH SCORE 364227.899
AT ITER 5436 NEW BEST:: SOT 1915338 SOS 544239 HAS SOPS 544239 HAS SOUS 362947 HAS SOUPS 362947 WITH SCORE 363491.239
AT ITER 5445 NEW BEST:: SOT 1915298 SOS 544199 HAS SOPS 544199 HAS SOUS 362867 HAS SOUPS 362867 WITH SCORE 363411.199
AT ITER 5454 NEW BEST:: SOT 1914086 SOS 542549 HAS SOPS 542549 HAS SOUS 361328 HAS SOUPS 361328 WITH SCORE 361870.549
AT ITER 5456 NEW BEST:: SOT 1914058 SOS 542281 HAS SOPS 542281 HAS SOUS 361060 HAS SOUPS 361060 WITH SCORE 361602.281
AT ITER 5466 NEW BEST:: SOT 1914010 SOS 542270 HAS SOPS 542270 HAS SOUS 361049 HAS SOUPS 361049 WITH SCORE 361591.27
AT ITER 5481 NEW BEST:: SOT 1914028 SOS 542180 HAS SOPS 542180 HAS SOUS 360959 HAS SOUPS 360959 WITH SCORE 361501.18
AT ITER 5490 NEW BEST:: SOT 1913891 SOS 541906 HAS SOPS 541906 HAS SOUS 360685 HAS SOUPS 360685 WITH SCORE 361226.906
AT ITER 5499 NEW BEST:: SOT 1913891 SOS 541899 HAS SOPS 541899 HAS SOUS 360678 HAS SOUPS 360678 WITH SCORE 361219.899
AT ITER 5529 NEW BEST:: SOT 1913894 SOS 542028 HAS SOPS 542028 HAS SOUS 360651 HAS SOUPS 360651 WITH SCORE 361193.028
AT ITER 5549 NEW BEST:: SOT 1913831 SOS 541944 HAS SOPS 541944 HAS SOUS 360470 HAS SOUPS 360470 WITH SCORE 361011.944
AT ITER 5560 NEW BEST:: SOT 1913831 SOS 541942 HAS SOPS 541942 HAS SOUS 360468 HAS SOUPS 360468 WITH SCORE 361009.942
AT ITER 5568 NEW BEST:: SOT 1913850 SOS 541468 HAS SOPS 541468 HAS SOUS 360349 HAS SOUPS 360349 WITH SCORE 360890.468
AT ITER 5569 NEW BEST:: SOT 1913728 SOS 541189 HAS SOPS 541189 HAS SOUS 360227 HAS SOUPS 360227 WITH SCORE 360768.189
AT ITER 5580 NEW BEST:: SOT 1913652 SOS 541765 HAS SOPS 541765 HAS SOUS 360091 HAS SOUPS 360091 WITH SCORE 360632.765
AT ITER 5591 NEW BEST:: SOT 1913426 SOS 541456 HAS SOPS 541456 HAS SOUS 359762 HAS SOUPS 359762 WITH SCORE 360303.456
AT ITER 5599 NEW BEST:: SOT 1913175 SOS 541024 HAS SOPS 541024 HAS SOUS 359330 HAS SOUPS 359330 WITH SCORE 359871.024
AT ITER 5605 NEW BEST:: SOT 1913170 SOS 541014 HAS SOPS 541014 HAS SOUS 359325 HAS SOUPS 359325 WITH SCORE 359866.014
AT ITER 5636 NEW BEST:: SOT 1913183 SOS 540998 HAS SOPS 540998 HAS SOUS 359309 HAS SOUPS 359309 WITH SCORE 359849.998
AT ITER 5667 NEW BEST:: SOT 1913183 SOS 540994 HAS SOPS 540994 HAS SOUS 359305 HAS SOUPS 359305 WITH SCORE 359845.994
AT ITER 5684 NEW BEST:: SOT 1912902 SOS 540572 HAS SOPS 540572 HAS SOUS 359024 HAS SOUPS 359024 WITH SCORE 359564.572
AT ITER 5689 NEW BEST:: SOT 1912902 SOS 540659 HAS SOPS 540659 HAS SOUS 358937 HAS SOUPS 358937 WITH SCORE 359477.659
AT ITER 5693 NEW BEST:: SOT 1912763 SOS 540381 HAS SOPS 540381 HAS SOUS 358659 HAS SOUPS 358659 WITH SCORE 359199.381
AT ITER 5704 NEW BEST:: SOT 1912874 SOS 540559 HAS SOPS 540559 HAS SOUS 358510 HAS SOUPS 358510 WITH SCORE 359050.559
AT ITER 5709 NEW BEST:: SOT 1912874 SOS 540492 HAS SOPS 540492 HAS SOUS 358443 HAS SOUPS 358443 WITH SCORE 358983.492
AT ITER 5744 NEW BEST:: SOT 1912799 SOS 540364 HAS SOPS 540364 HAS SOUS 358315 HAS SOUPS 358315 WITH SCORE 358855.364
AT ITER 5745 NEW BEST:: SOT 1912798 SOS 539900 HAS SOPS 539900 HAS SOUS 358313 HAS SOUPS 358313 WITH SCORE 358852.9
AT ITER 5749 NEW BEST:: SOT 1912781 SOS 539863 HAS SOPS 539863 HAS SOUS 358276 HAS SOUPS 358276 WITH SCORE 358815.863
AT ITER 5750 NEW BEST:: SOT 1912589 SOS 539329 HAS SOPS 539329 HAS SOUS 357892 HAS SOUPS 357892 WITH SCORE 358431.329
AT ITER 5770 NEW BEST:: SOT 1912606 SOS 539307 HAS SOPS 539307 HAS SOUS 357870 HAS SOUPS 357870 WITH SCORE 358409.307
AT ITER 5777 NEW BEST:: SOT 1911811 SOS 538511 HAS SOPS 538511 HAS SOUS 357074 HAS SOUPS 357074 WITH SCORE 357612.511
AT ITER 5792 NEW BEST:: SOT 1911846 SOS 538319 HAS SOPS 538319 HAS SOUS 356935 HAS SOUPS 356935 WITH SCORE 357473.319
AT ITER 5801 NEW BEST:: SOT 1911845 SOS 538355 HAS SOPS 538355 HAS SOUS 356925 HAS SOUPS 356925 WITH SCORE 357463.355
AT ITER 5831 NEW BEST:: SOT 1911887 SOS 538168 HAS SOPS 538168 HAS SOUS 356897 HAS SOUPS 356897 WITH SCORE 357435.168
AT ITER 5848 NEW BEST:: SOT 1911938 SOS 537941 HAS SOPS 537941 HAS SOUS 356844 HAS SOUPS 356844 WITH SCORE 357381.941
AT ITER 5853 NEW BEST:: SOT 1911934 SOS 538293 HAS SOPS 538293 HAS SOUS 356840 HAS SOUPS 356840 WITH SCORE 357378.293
AT ITER 5860 NEW BEST:: SOT 1911925 SOS 538221 HAS SOPS 538221 HAS SOUS 356831 HAS SOUPS 356831 WITH SCORE 357369.221
AT ITER 5861 NEW BEST:: SOT 1912187 SOS 538000 HAS SOPS 538000 HAS SOUS 356638 HAS SOUPS 356638 WITH SCORE 357176.0
AT ITER 5864 NEW BEST:: SOT 1912178 SOS 537991 HAS SOPS 537991 HAS SOUS 356620 HAS SOUPS 356620 WITH SCORE 357157.991
AT ITER 5885 NEW BEST:: SOT 1912190 SOS 538015 HAS SOPS 538015 HAS SOUS 356427 HAS SOUPS 356427 WITH SCORE 356965.015
AT ITER 5896 NEW BEST:: SOT 1912170 SOS 537920 HAS SOPS 537920 HAS SOUS 356383 HAS SOUPS 356383 WITH SCORE 356920.92
AT ITER 5909 NEW BEST:: SOT 1914509 SOS 539350 HAS SOPS 539350 HAS SOUS 354727 HAS SOUPS 354727 WITH SCORE 355266.35
AT ITER 5912 NEW BEST:: SOT 1914334 SOS 539175 HAS SOPS 539175 HAS SOUS 354552 HAS SOUPS 354552 WITH SCORE 355091.175
AT ITER 5913 NEW BEST:: SOT 1914324 SOS 539155 HAS SOPS 539155 HAS SOUS 354532 HAS SOUPS 354532 WITH SCORE 355071.155
AT ITER 5940 NEW BEST:: SOT 1913628 SOS 538372 HAS SOPS 538372 HAS SOUS 354445 HAS SOUPS 354445 WITH SCORE 354983.372
AT ITER 5962 NEW BEST:: SOT 1916174 SOS 539973 HAS SOPS 539973 HAS SOUS 352176 HAS SOUPS 352176 WITH SCORE 352715.973
AT ITER 5974 NEW BEST:: SOT 1916174 SOS 539779 HAS SOPS 539779 HAS SOUS 351982 HAS SOUPS 351982 WITH SCORE 352521.779
AT ITER 6010 NEW BEST:: SOT 1916117 SOS 539608 HAS SOPS 539608 HAS SOUS 351868 HAS SOUPS 351868 WITH SCORE 352407.608
AT ITER 6011 NEW BEST:: SOT 1916045 SOS 539615 HAS SOPS 539615 HAS SOUS 351815 HAS SOUPS 351815 WITH SCORE 352354.615
AT ITER 6017 NEW BEST:: SOT 1916082 SOS 538519 HAS SOPS 538519 HAS SOUS 351759 HAS SOUPS 351759 WITH SCORE 352297.519
AT ITER 6032 NEW BEST:: SOT 1916082 SOS 538510 HAS SOPS 538510 HAS SOUS 351750 HAS SOUPS 351750 WITH SCORE 352288.51
AT ITER 6089 NEW BEST:: SOT 1916095 SOS 538416 HAS SOPS 538416 HAS SOUS 351732 HAS SOUPS 351732 WITH SCORE 352270.416
AT ITER 6116 NEW BEST:: SOT 1916095 SOS 538362 HAS SOPS 538362 HAS SOUS 351678 HAS SOUPS 351678 WITH SCORE 352216.362
AT ITER 6121 NEW BEST:: SOT 1915973 SOS 538049 HAS SOPS 538049 HAS SOUS 351425 HAS SOUPS 351425 WITH SCORE 351963.049
AT ITER 6130 NEW BEST:: SOT 1916004 SOS 538551 HAS SOPS 538551 HAS SOUS 351396 HAS SOUPS 351396 WITH SCORE 351934.551
AT ITER 6137 NEW BEST:: SOT 1916004 SOS 538366 HAS SOPS 538366 HAS SOUS 351396 HAS SOUPS 351396 WITH SCORE 351934.366
AT ITER 6152 NEW BEST:: SOT 1915855 SOS 538217 HAS SOPS 538217 HAS SOUS 351396 HAS SOUPS 351396 WITH SCORE 351934.217
AT ITER 6166 NEW BEST:: SOT 1915216 SOS 537576 HAS SOPS 537576 HAS SOUS 350755 HAS SOUPS 350755 WITH SCORE 351292.576
AT ITER 6182 NEW BEST:: SOT 1915216 SOS 537576 HAS SOPS 537576 HAS SOUS 350754 HAS SOUPS 350754 WITH SCORE 351291.576
AT ITER 6206 NEW BEST:: SOT 1915168 SOS 537528 HAS SOPS 537528 HAS SOUS 350706 HAS SOUPS 350706 WITH SCORE 351243.528
AT ITER 6212 NEW BEST:: SOT 1914998 SOS 537484 HAS SOPS 537484 HAS SOUS 350366 HAS SOUPS 350366 WITH SCORE 350903.484
AT ITER 6220 NEW BEST:: SOT 1914931 SOS 537307 HAS SOPS 537307 HAS SOUS 350189 HAS SOUPS 350189 WITH SCORE 350726.307
AT ITER 6284 NEW BEST:: SOT 1914851 SOS 537227 HAS SOPS 537227 HAS SOUS 350109 HAS SOUPS 350109 WITH SCORE 350646.227
AT ITER 6303 NEW BEST:: SOT 1914856 SOS 537024 HAS SOPS 537024 HAS SOUS 350091 HAS SOUPS 350091 WITH SCORE 350628.024
AT ITER 6308 NEW BEST:: SOT 1914856 SOS 537024 HAS SOPS 537024 HAS SOUS 349995 HAS SOUPS 349995 WITH SCORE 350532.024
AT ITER 6309 NEW BEST:: SOT 1914851 SOS 537024 HAS SOPS 537024 HAS SOUS 349990 HAS SOUPS 349990 WITH SCORE 350527.024
AT ITER 6319 NEW BEST:: SOT 1914779 SOS 536952 HAS SOPS 536952 HAS SOUS 349846 HAS SOUPS 349846 WITH SCORE 350382.952
AT ITER 6329 NEW BEST:: SOT 1914655 SOS 536828 HAS SOPS 536828 HAS SOUS 349474 HAS SOUPS 349474 WITH SCORE 350010.828
AT ITER 6334 NEW BEST:: SOT 1914463 SOS 536505 HAS SOPS 536505 HAS SOUS 349148 HAS SOUPS 349148 WITH SCORE 349684.505
AT ITER 6339 NEW BEST:: SOT 1914463 SOS 536425 HAS SOPS 536425 HAS SOUS 349138 HAS SOUPS 349138 WITH SCORE 349674.425
AT ITER 6355 NEW BEST:: SOT 1914401 SOS 536486 HAS SOPS 536486 HAS SOUS 348855 HAS SOUPS 348855 WITH SCORE 349391.486
AT ITER 6357 NEW BEST:: SOT 1914329 SOS 536385 HAS SOPS 536385 HAS SOUS 348780 HAS SOUPS 348780 WITH SCORE 349316.385
AT ITER 6359 NEW BEST:: SOT 1914310 SOS 536347 HAS SOPS 536347 HAS SOUS 348760 HAS SOUPS 348760 WITH SCORE 349296.347
AT ITER 6360 NEW BEST:: SOT 1914252 SOS 536183 HAS SOPS 536183 HAS SOUS 348707 HAS SOUPS 348707 WITH SCORE 349243.183
AT ITER 6367 NEW BEST:: SOT 1914176 SOS 536086 HAS SOPS 536086 HAS SOUS 348170 HAS SOUPS 348170 WITH SCORE 348706.086
AT ITER 6401 NEW BEST:: SOT 1914176 SOS 536071 HAS SOPS 536071 HAS SOUS 348155 HAS SOUPS 348155 WITH SCORE 348691.071
AT ITER 6402 NEW BEST:: SOT 1914158 SOS 536209 HAS SOPS 536209 HAS SOUS 348119 HAS SOUPS 348119 WITH SCORE 348655.209
AT ITER 6436 NEW BEST:: SOT 1914132 SOS 536201 HAS SOPS 536201 HAS SOUS 348081 HAS SOUPS 348081 WITH SCORE 348617.201
AT ITER 6448 NEW BEST:: SOT 1914084 SOS 536105 HAS SOPS 536105 HAS SOUS 347985 HAS SOUPS 347985 WITH SCORE 348521.105
AT ITER 6451 NEW BEST:: SOT 1913833 SOS 535603 HAS SOPS 535603 HAS SOUS 347483 HAS SOUPS 347483 WITH SCORE 348018.603
AT ITER 6454 NEW BEST:: SOT 1913833 SOS 535595 HAS SOPS 535595 HAS SOUS 347475 HAS SOUPS 347475 WITH SCORE 348010.595
AT ITER 6478 NEW BEST:: SOT 1913705 SOS 535176 HAS SOPS 535176 HAS SOUS 347219 HAS SOUPS 347219 WITH SCORE 347754.176
AT ITER 6480 NEW BEST:: SOT 1913868 SOS 534842 HAS SOPS 534842 HAS SOUS 347095 HAS SOUPS 347095 WITH SCORE 347629.842
AT ITER 6503 NEW BEST:: SOT 1913831 SOS 534768 HAS SOPS 534768 HAS SOUS 346725 HAS SOUPS 346725 WITH SCORE 347259.768
AT ITER 6550 NEW BEST:: SOT 1913780 SOS 534713 HAS SOPS 534713 HAS SOUS 346670 HAS SOUPS 346670 WITH SCORE 347204.713
AT ITER 6581 NEW BEST:: SOT 1913780 SOS 534708 HAS SOPS 534708 HAS SOUS 346670 HAS SOUPS 346670 WITH SCORE 347204.708
AT ITER 6587 NEW BEST:: SOT 1913441 SOS 534143 HAS SOPS 534143 HAS SOUS 346105 HAS SOUPS 346105 WITH SCORE 346639.143
AT ITER 6592 NEW BEST:: SOT 1913389 SOS 534096 HAS SOPS 534096 HAS SOUS 346058 HAS SOUPS 346058 WITH SCORE 346592.096
AT ITER 6593 NEW BEST:: SOT 1913662 SOS 534038 HAS SOPS 534038 HAS SOUS 346000 HAS SOUPS 346000 WITH SCORE 346534.038
AT ITER 6602 NEW BEST:: SOT 1913650 SOS 533655 HAS SOPS 533655 HAS SOUS 345617 HAS SOUPS 345617 WITH SCORE 346150.655
AT ITER 6605 NEW BEST:: SOT 1913505 SOS 533567 HAS SOPS 533567 HAS SOUS 345451 HAS SOUPS 345451 WITH SCORE 345984.567
AT ITER 6621 NEW BEST:: SOT 1913491 SOS 533553 HAS SOPS 533553 HAS SOUS 345416 HAS SOUPS 345416 WITH SCORE 345949.553
AT ITER 6642 NEW BEST:: SOT 1913491 SOS 533553 HAS SOPS 533553 HAS SOUS 345415 HAS SOUPS 345415 WITH SCORE 345948.553
AT ITER 6648 NEW BEST:: SOT 1913409 SOS 533431 HAS SOPS 533431 HAS SOUS 345333 HAS SOUPS 345333 WITH SCORE 345866.431
AT ITER 6659 NEW BEST:: SOT 1913384 SOS 533204 HAS SOPS 533204 HAS SOUS 344949 HAS SOUPS 344949 WITH SCORE 345482.204
AT ITER 6673 NEW BEST:: SOT 1913212 SOS 536182 HAS SOPS 536182 HAS SOUS 344605 HAS SOUPS 344605 WITH SCORE 345141.182
AT ITER 6678 NEW BEST:: SOT 1913211 SOS 536180 HAS SOPS 536180 HAS SOUS 344603 HAS SOUPS 344603 WITH SCORE 345139.18
AT ITER 6696 NEW BEST:: SOT 1913118 SOS 535879 HAS SOPS 535879 HAS SOUS 344302 HAS SOUPS 344302 WITH SCORE 344837.879
AT ITER 6698 NEW BEST:: SOT 1913055 SOS 535815 HAS SOPS 535815 HAS SOUS 344214 HAS SOUPS 344214 WITH SCORE 344749.815
AT ITER 6710 NEW BEST:: SOT 1912872 SOS 535530 HAS SOPS 535530 HAS SOUS 343848 HAS SOUPS 343848 WITH SCORE 344383.53
AT ITER 6721 NEW BEST:: SOT 1912803 SOS 535392 HAS SOPS 535392 HAS SOUS 343710 HAS SOUPS 343710 WITH SCORE 344245.392
AT ITER 6725 NEW BEST:: SOT 1912754 SOS 535343 HAS SOPS 535343 HAS SOUS 343661 HAS SOUPS 343661 WITH SCORE 344196.343
AT ITER 6738 NEW BEST:: SOT 1912741 SOS 535317 HAS SOPS 535317 HAS SOUS 343648 HAS SOUPS 343648 WITH SCORE 344183.317
AT ITER 6739 NEW BEST:: SOT 1912741 SOS 535317 HAS SOPS 535317 HAS SOUS 343646 HAS SOUPS 343646 WITH SCORE 344181.317
AT ITER 6762 NEW BEST:: SOT 1912697 SOS 535273 HAS SOPS 535273 HAS SOUS 343602 HAS SOUPS 343602 WITH SCORE 344137.273
AT ITER 6795 NEW BEST:: SOT 1912495 SOS 535548 HAS SOPS 535548 HAS SOUS 343417 HAS SOUPS 343417 WITH SCORE 343952.548
AT ITER 6806 NEW BEST:: SOT 1912495 SOS 535517 HAS SOPS 535517 HAS SOUS 343346 HAS SOUPS 343346 WITH SCORE 343881.517
AT ITER 6807 NEW BEST:: SOT 1912434 SOS 534600 HAS SOPS 534600 HAS SOUS 343190 HAS SOUPS 343190 WITH SCORE 343724.6
AT ITER 6810 NEW BEST:: SOT 1912644 SOS 534980 HAS SOPS 534980 HAS SOUS 343188 HAS SOUPS 343188 WITH SCORE 343722.98
AT ITER 6818 NEW BEST:: SOT 1912641 SOS 534979 HAS SOPS 534979 HAS SOUS 343187 HAS SOUPS 343187 WITH SCORE 343721.979
AT ITER 6821 NEW BEST:: SOT 1912482 SOS 534820 HAS SOPS 534820 HAS SOUS 343099 HAS SOUPS 343099 WITH SCORE 343633.82
AT ITER 6828 NEW BEST:: SOT 1912473 SOS 534826 HAS SOPS 534826 HAS SOUS 343090 HAS SOUPS 343090 WITH SCORE 343624.826
AT ITER 6833 NEW BEST:: SOT 1912466 SOS 534679 HAS SOPS 534679 HAS SOUS 342943 HAS SOUPS 342943 WITH SCORE 343477.679
AT ITER 6835 NEW BEST:: SOT 1912443 SOS 534633 HAS SOPS 534633 HAS SOUS 342904 HAS SOUPS 342904 WITH SCORE 343438.633
AT ITER 6868 NEW BEST:: SOT 1912403 SOS 533903 HAS SOPS 533903 HAS SOUS 342774 HAS SOUPS 342774 WITH SCORE 343307.903
AT ITER 6883 NEW BEST:: SOT 1912343 SOS 533902 HAS SOPS 533902 HAS SOUS 342646 HAS SOUPS 342646 WITH SCORE 343179.902
AT ITER 6893 NEW BEST:: SOT 1912327 SOS 531247 HAS SOPS 531247 HAS SOUS 342614 HAS SOUPS 342614 WITH SCORE 343145.247
AT ITER 6931 NEW BEST:: SOT 1911714 SOS 530665 HAS SOPS 530665 HAS SOUS 342249 HAS SOUPS 342249 WITH SCORE 342779.665
AT ITER 6958 NEW BEST:: SOT 1911647 SOS 530555 HAS SOPS 530555 HAS SOUS 342139 HAS SOUPS 342139 WITH SCORE 342669.555
AT ITER 6969 NEW BEST:: SOT 1911687 SOS 530411 HAS SOPS 530411 HAS SOUS 341995 HAS SOUPS 341995 WITH SCORE 342525.411
AT ITER 6974 NEW BEST:: SOT 1911656 SOS 530383 HAS SOPS 530383 HAS SOUS 341936 HAS SOUPS 341936 WITH SCORE 342466.383
AT ITER 6975 NEW BEST:: SOT 1911616 SOS 530343 HAS SOPS 530343 HAS SOUS 341896 HAS SOUPS 341896 WITH SCORE 342426.343
AT ITER 6999 NEW BEST:: SOT 1911496 SOS 528037 HAS SOPS 528037 HAS SOUS 341570 HAS SOUPS 341570 WITH SCORE 342098.037
AT ITER 7001 NEW BEST:: SOT 1911496 SOS 528044 HAS SOPS 528044 HAS SOUS 341569 HAS SOUPS 341569 WITH SCORE 342097.044
AT ITER 7020 NEW BEST:: SOT 1911348 SOS 527743 HAS SOPS 527743 HAS SOUS 341368 HAS SOUPS 341368 WITH SCORE 341895.743
AT ITER 7035 NEW BEST:: SOT 1911255 SOS 527570 HAS SOPS 527570 HAS SOUS 341181 HAS SOUPS 341181 WITH SCORE 341708.57
AT ITER 7040 NEW BEST:: SOT 1911124 SOS 527983 HAS SOPS 527983 HAS SOUS 341132 HAS SOUPS 341132 WITH SCORE 341659.983
AT ITER 7085 NEW BEST:: SOT 1911123 SOS 527743 HAS SOPS 527743 HAS SOUS 341130 HAS SOUPS 341130 WITH SCORE 341657.743
AT ITER 7087 NEW BEST:: SOT 1911123 SOS 527712 HAS SOPS 527712 HAS SOUS 341099 HAS SOUPS 341099 WITH SCORE 341626.712
AT ITER 7160 NEW BEST:: SOT 1911005 SOS 527594 HAS SOPS 527594 HAS SOUS 340981 HAS SOUPS 340981 WITH SCORE 341508.594
AT ITER 7162 NEW BEST:: SOT 1910970 SOS 527524 HAS SOPS 527524 HAS SOUS 340946 HAS SOUPS 340946 WITH SCORE 341473.524
AT ITER 7164 NEW BEST:: SOT 1911061 SOS 526520 HAS SOPS 526520 HAS SOUS 340550 HAS SOUPS 340550 WITH SCORE 341076.52
AT ITER 7174 NEW BEST:: SOT 1910970 SOS 526147 HAS SOPS 526147 HAS SOUS 340277 HAS SOUPS 340277 WITH SCORE 340803.147
AT ITER 7192 NEW BEST:: SOT 1910927 SOS 526100 HAS SOPS 526100 HAS SOUS 340233 HAS SOUPS 340233 WITH SCORE 340759.1
AT ITER 7194 NEW BEST:: SOT 1910888 SOS 526061 HAS SOPS 526061 HAS SOUS 340194 HAS SOUPS 340194 WITH SCORE 340720.061
AT ITER 7205 NEW BEST:: SOT 1910795 SOS 525415 HAS SOPS 525415 HAS SOUS 340008 HAS SOUPS 340008 WITH SCORE 340533.415
AT ITER 7209 NEW BEST:: SOT 1910795 SOS 525382 HAS SOPS 525382 HAS SOUS 340008 HAS SOUPS 340008 WITH SCORE 340533.382
AT ITER 7233 NEW BEST:: SOT 1910748 SOS 525288 HAS SOPS 525288 HAS SOUS 339914 HAS SOUPS 339914 WITH SCORE 340439.288
AT ITER 7250 NEW BEST:: SOT 1911359 SOS 525682 HAS SOPS 525682 HAS SOUS 339596 HAS SOUPS 339596 WITH SCORE 340121.682
AT ITER 7260 NEW BEST:: SOT 1911268 SOS 525558 HAS SOPS 525558 HAS SOUS 339472 HAS SOUPS 339472 WITH SCORE 339997.558
AT ITER 7297 NEW BEST:: SOT 1911243 SOS 525642 HAS SOPS 525642 HAS SOUS 339447 HAS SOUPS 339447 WITH SCORE 339972.642
AT ITER 7300 NEW BEST:: SOT 1911233 SOS 525527 HAS SOPS 525527 HAS SOUS 339329 HAS SOUPS 339329 WITH SCORE 339854.527
AT ITER 7302 NEW BEST:: SOT 1911232 SOS 525493 HAS SOPS 525493 HAS SOUS 339295 HAS SOUPS 339295 WITH SCORE 339820.493
AT ITER 7306 NEW BEST:: SOT 1911164 SOS 525357 HAS SOPS 525357 HAS SOUS 337934 HAS SOUPS 337934 WITH SCORE 338459.357
AT ITER 7321 NEW BEST:: SOT 1910861 SOS 524865 HAS SOPS 524865 HAS SOUS 337442 HAS SOUPS 337442 WITH SCORE 337966.865
AT ITER 7322 NEW BEST:: SOT 1910853 SOS 524793 HAS SOPS 524793 HAS SOUS 337426 HAS SOUPS 337426 WITH SCORE 337950.793
AT ITER 7338 NEW BEST:: SOT 1910790 SOS 524849 HAS SOPS 524849 HAS SOUS 337387 HAS SOUPS 337387 WITH SCORE 337911.849
AT ITER 7341 NEW BEST:: SOT 1910566 SOS 528183 HAS SOPS 528183 HAS SOUS 337045 HAS SOUPS 337045 WITH SCORE 337573.183
AT ITER 7347 NEW BEST:: SOT 1910456 SOS 528073 HAS SOPS 528073 HAS SOUS 336935 HAS SOUPS 336935 WITH SCORE 337463.073
AT ITER 7357 NEW BEST:: SOT 1910339 SOS 527839 HAS SOPS 527839 HAS SOUS 336701 HAS SOUPS 336701 WITH SCORE 337228.839
AT ITER 7394 NEW BEST:: SOT 1910374 SOS 527990 HAS SOPS 527990 HAS SOUS 336687 HAS SOUPS 336687 WITH SCORE 337214.99
AT ITER 7397 NEW BEST:: SOT 1910392 SOS 528026 HAS SOPS 528026 HAS SOUS 336521 HAS SOUPS 336521 WITH SCORE 337049.026
AT ITER 7403 NEW BEST:: SOT 1910126 SOS 527875 HAS SOPS 527875 HAS SOUS 336370 HAS SOUPS 336370 WITH SCORE 336897.875
AT ITER 7429 NEW BEST:: SOT 1910032 SOS 527687 HAS SOPS 527687 HAS SOUS 336182 HAS SOUPS 336182 WITH SCORE 336709.687
AT ITER 7449 NEW BEST:: SOT 1909917 SOS 527372 HAS SOPS 527372 HAS SOUS 335867 HAS SOUPS 335867 WITH SCORE 336394.372
AT ITER 7451 NEW BEST:: SOT 1909363 SOS 526975 HAS SOPS 526975 HAS SOUS 335448 HAS SOUPS 335448 WITH SCORE 335974.975
AT ITER 7456 NEW BEST:: SOT 1909231 SOS 526711 HAS SOPS 526711 HAS SOUS 335316 HAS SOUPS 335316 WITH SCORE 335842.711
AT ITER 7466 NEW BEST:: SOT 1910313 SOS 527766 HAS SOPS 527766 HAS SOUS 334571 HAS SOUPS 334571 WITH SCORE 335098.766
AT ITER 7484 NEW BEST:: SOT 1910304 SOS 528659 HAS SOPS 528659 HAS SOUS 334562 HAS SOUPS 334562 WITH SCORE 335090.659
AT ITER 7498 NEW BEST:: SOT 1910238 SOS 528510 HAS SOPS 528510 HAS SOUS 334511 HAS SOUPS 334511 WITH SCORE 335039.51
AT ITER 7517 NEW BEST:: SOT 1910237 SOS 528500 HAS SOPS 528500 HAS SOUS 334501 HAS SOUPS 334501 WITH SCORE 335029.5
AT ITER 7522 NEW BEST:: SOT 1910237 SOS 528207 HAS SOPS 528207 HAS SOUS 334200 HAS SOUPS 334200 WITH SCORE 334728.207
AT ITER 7524 NEW BEST:: SOT 1910170 SOS 528227 HAS SOPS 528227 HAS SOUS 334175 HAS SOUPS 334175 WITH SCORE 334703.227
AT ITER 7530 NEW BEST:: SOT 1910148 SOS 528218 HAS SOPS 528218 HAS SOUS 334131 HAS SOUPS 334131 WITH SCORE 334659.218
AT ITER 7569 NEW BEST:: SOT 1910187 SOS 528253 HAS SOPS 528253 HAS SOUS 334127 HAS SOUPS 334127 WITH SCORE 334655.253
AT ITER 7593 NEW BEST:: SOT 1910096 SOS 528526 HAS SOPS 528526 HAS SOUS 333945 HAS SOUPS 333945 WITH SCORE 334473.526
AT ITER 7598 NEW BEST:: SOT 1910082 SOS 528457 HAS SOPS 528457 HAS SOUS 333876 HAS SOUPS 333876 WITH SCORE 334404.457
AT ITER 7617 NEW BEST:: SOT 1909903 SOS 528024 HAS SOPS 528024 HAS SOUS 333443 HAS SOUPS 333443 WITH SCORE 333971.024
AT ITER 7647 NEW BEST:: SOT 1909903 SOS 527876 HAS SOPS 527876 HAS SOUS 333295 HAS SOUPS 333295 WITH SCORE 333822.876
AT ITER 7651 NEW BEST:: SOT 1909536 SOS 527428 HAS SOPS 527428 HAS SOUS 332847 HAS SOUPS 332847 WITH SCORE 333374.428
AT ITER 7666 NEW BEST:: SOT 1909724 SOS 527606 HAS SOPS 527606 HAS SOUS 332683 HAS SOUPS 332683 WITH SCORE 333210.606
AT ITER 7678 NEW BEST:: SOT 1909694 SOS 527598 HAS SOPS 527598 HAS SOUS 332635 HAS SOUPS 332635 WITH SCORE 333162.598
AT ITER 7693 NEW BEST:: SOT 1909693 SOS 527594 HAS SOPS 527594 HAS SOUS 332606 HAS SOUPS 332606 WITH SCORE 333133.594
AT ITER 7711 NEW BEST:: SOT 1909587 SOS 527573 HAS SOPS 527573 HAS SOUS 332585 HAS SOUPS 332585 WITH SCORE 333112.573
AT ITER 7715 NEW BEST:: SOT 1909587 SOS 527490 HAS SOPS 527490 HAS SOUS 331982 HAS SOUPS 331982 WITH SCORE 332509.49
AT ITER 7732 NEW BEST:: SOT 1909558 SOS 527471 HAS SOPS 527471 HAS SOUS 331962 HAS SOUPS 331962 WITH SCORE 332489.471
AT ITER 7739 NEW BEST:: SOT 1909189 SOS 526022 HAS SOPS 526022 HAS SOUS 331828 HAS SOUPS 331828 WITH SCORE 332354.022
AT ITER 7777 NEW BEST:: SOT 1909189 SOS 526022 HAS SOPS 526022 HAS SOUS 331803 HAS SOUPS 331803 WITH SCORE 332329.022
AT ITER 7780 NEW BEST:: SOT 1908596 SOS 525429 HAS SOPS 525429 HAS SOUS 331051 HAS SOUPS 331051 WITH SCORE 331576.429
AT ITER 7798 NEW BEST:: SOT 1908541 SOS 525319 HAS SOPS 525319 HAS SOUS 330856 HAS SOUPS 330856 WITH SCORE 331381.319
AT ITER 7813 NEW BEST:: SOT 1908559 SOS 525285 HAS SOPS 525285 HAS SOUS 330848 HAS SOUPS 330848 WITH SCORE 331373.285
AT ITER 7820 NEW BEST:: SOT 1908183 SOS 525113 HAS SOPS 525113 HAS SOUS 330669 HAS SOUPS 330669 WITH SCORE 331194.113
AT ITER 7837 NEW BEST:: SOT 1908183 SOS 525105 HAS SOPS 525105 HAS SOUS 330661 HAS SOUPS 330661 WITH SCORE 331186.105
AT ITER 7840 NEW BEST:: SOT 1908078 SOS 525035 HAS SOPS 525035 HAS SOUS 330556 HAS SOUPS 330556 WITH SCORE 331081.035
AT ITER 7843 NEW BEST:: SOT 1908035 SOS 524949 HAS SOPS 524949 HAS SOUS 330470 HAS SOUPS 330470 WITH SCORE 330994.949
AT ITER 7854 NEW BEST:: SOT 1907929 SOS 524689 HAS SOPS 524689 HAS SOUS 330324 HAS SOUPS 330324 WITH SCORE 330848.689
AT ITER 7926 NEW BEST:: SOT 1907807 SOS 524525 HAS SOPS 524525 HAS SOUS 330113 HAS SOUPS 330113 WITH SCORE 330637.525
AT ITER 7941 NEW BEST:: SOT 1907862 SOS 524476 HAS SOPS 524476 HAS SOUS 330064 HAS SOUPS 330064 WITH SCORE 330588.476
AT ITER 7963 NEW BEST:: SOT 1907851 SOS 524045 HAS SOPS 524045 HAS SOUS 330033 HAS SOUPS 330033 WITH SCORE 330557.045
AT ITER 7978 NEW BEST:: SOT 1907665 SOS 524030 HAS SOPS 524030 HAS SOUS 330018 HAS SOUPS 330018 WITH SCORE 330542.03
AT ITER 8013 NEW BEST:: SOT 1907591 SOS 523956 HAS SOPS 523956 HAS SOUS 330012 HAS SOUPS 330012 WITH SCORE 330535.956
AT ITER 8025 NEW BEST:: SOT 1908683 SOS 524874 HAS SOPS 524874 HAS SOUS 328624 HAS SOUPS 328624 WITH SCORE 329148.874
AT ITER 8034 NEW BEST:: SOT 1908519 SOS 523509 HAS SOPS 523509 HAS SOUS 328367 HAS SOUPS 328367 WITH SCORE 328890.509
AT ITER 8044 NEW BEST:: SOT 1908318 SOS 523406 HAS SOPS 523406 HAS SOUS 328264 HAS SOUPS 328264 WITH SCORE 328787.406
AT ITER 8055 NEW BEST:: SOT 1908219 SOS 523314 HAS SOPS 523314 HAS SOUS 328172 HAS SOUPS 328172 WITH SCORE 328695.314
AT ITER 8064 NEW BEST:: SOT 1908219 SOS 523152 HAS SOPS 523152 HAS SOUS 328172 HAS SOUPS 328172 WITH SCORE 328695.152
AT ITER 8083 NEW BEST:: SOT 1908145 SOS 522969 HAS SOPS 522969 HAS SOUS 328098 HAS SOUPS 328098 WITH SCORE 328620.969
AT ITER 8088 NEW BEST:: SOT 1908132 SOS 522943 HAS SOPS 522943 HAS SOUS 328072 HAS SOUPS 328072 WITH SCORE 328594.943
AT ITER 8143 NEW BEST:: SOT 1908132 SOS 522939 HAS SOPS 522939 HAS SOUS 328068 HAS SOUPS 328068 WITH SCORE 328590.939
AT ITER 8145 NEW BEST:: SOT 1908111 SOS 522897 HAS SOPS 522897 HAS SOUS 328026 HAS SOUPS 328026 WITH SCORE 328548.897
AT ITER 8154 NEW BEST:: SOT 1908103 SOS 523188 HAS SOPS 523188 HAS SOUS 327828 HAS SOUPS 327828 WITH SCORE 328351.188
AT ITER 8164 NEW BEST:: SOT 1908035 SOS 523098 HAS SOPS 523098 HAS SOUS 327738 HAS SOUPS 327738 WITH SCORE 328261.098
AT ITER 8177 NEW BEST:: SOT 1908062 SOS 522920 HAS SOPS 522920 HAS SOUS 327560 HAS SOUPS 327560 WITH SCORE 328082.92
AT ITER 8180 NEW BEST:: SOT 1908448 SOS 523514 HAS SOPS 523514 HAS SOUS 326753 HAS SOUPS 326753 WITH SCORE 327276.514
AT ITER 8184 NEW BEST:: SOT 1908341 SOS 523493 HAS SOPS 523493 HAS SOUS 326539 HAS SOUPS 326539 WITH SCORE 327062.493
AT ITER 8188 NEW BEST:: SOT 1908341 SOS 523593 HAS SOPS 523593 HAS SOUS 326526 HAS SOUPS 326526 WITH SCORE 327049.593
AT ITER 8198 NEW BEST:: SOT 1908056 SOS 522729 HAS SOPS 522729 HAS SOUS 326460 HAS SOUPS 326460 WITH SCORE 326982.729
AT ITER 8199 NEW BEST:: SOT 1908056 SOS 522717 HAS SOPS 522717 HAS SOUS 326460 HAS SOUPS 326460 WITH SCORE 326982.717
AT ITER 8200 NEW BEST:: SOT 1907982 SOS 522643 HAS SOPS 522643 HAS SOUS 326385 HAS SOUPS 326385 WITH SCORE 326907.643
AT ITER 8222 NEW BEST:: SOT 1907958 SOS 522553 HAS SOPS 522553 HAS SOUS 326317 HAS SOUPS 326317 WITH SCORE 326839.553
AT ITER 8227 NEW BEST:: SOT 1907860 SOS 522357 HAS SOPS 522357 HAS SOUS 326121 HAS SOUPS 326121 WITH SCORE 326643.357
AT ITER 8236 NEW BEST:: SOT 1907860 SOS 522287 HAS SOPS 522287 HAS SOUS 326111 HAS SOUPS 326111 WITH SCORE 326633.287
AT ITER 8262 NEW BEST:: SOT 1907856 SOS 522579 HAS SOPS 522579 HAS SOUS 326103 HAS SOUPS 326103 WITH SCORE 326625.579
AT ITER 8270 NEW BEST:: SOT 1907729 SOS 522452 HAS SOPS 522452 HAS SOUS 325966 HAS SOUPS 325966 WITH SCORE 326488.452
AT ITER 8271 NEW BEST:: SOT 1907834 SOS 521717 HAS SOPS 521717 HAS SOUS 325966 HAS SOUPS 325966 WITH SCORE 326487.717
AT ITER 8278 NEW BEST:: SOT 1907834 SOS 521616 HAS SOPS 521616 HAS SOUS 325865 HAS SOUPS 325865 WITH SCORE 326386.616
AT ITER 8284 NEW BEST:: SOT 1907833 SOS 521614 HAS SOPS 521614 HAS SOUS 325863 HAS SOUPS 325863 WITH SCORE 326384.614
AT ITER 8301 NEW BEST:: SOT 1907816 SOS 521563 HAS SOPS 521563 HAS SOUS 325829 HAS SOUPS 325829 WITH SCORE 326350.563
AT ITER 8312 NEW BEST:: SOT 1907751 SOS 521394 HAS SOPS 521394 HAS SOUS 325687 HAS SOUPS 325687 WITH SCORE 326208.394
AT ITER 8313 NEW BEST:: SOT 1907607 SOS 520947 HAS SOPS 520947 HAS SOUS 325399 HAS SOUPS 325399 WITH SCORE 325919.947
AT ITER 8333 NEW BEST:: SOT 1907423 SOS 520740 HAS SOPS 520740 HAS SOUS 325008 HAS SOUPS 325008 WITH SCORE 325528.74
AT ITER 8351 NEW BEST:: SOT 1907492 SOS 519531 HAS SOPS 519531 HAS SOUS 324946 HAS SOUPS 324946 WITH SCORE 325465.531
AT ITER 8355 NEW BEST:: SOT 1907864 SOS 520353 HAS SOPS 520353 HAS SOUS 324797 HAS SOUPS 324797 WITH SCORE 325317.353
AT ITER 8357 NEW BEST:: SOT 1907785 SOS 519306 HAS SOPS 519306 HAS SOUS 324639 HAS SOUPS 324639 WITH SCORE 325158.306
AT ITER 8371 NEW BEST:: SOT 1906881 SOS 518165 HAS SOPS 518165 HAS SOUS 324609 HAS SOUPS 324609 WITH SCORE 325127.165
AT ITER 8391 NEW BEST:: SOT 1906881 SOS 518378 HAS SOPS 518378 HAS SOUS 324598 HAS SOUPS 324598 WITH SCORE 325116.378
AT ITER 8393 NEW BEST:: SOT 1906832 SOS 518470 HAS SOPS 518470 HAS SOUS 324552 HAS SOUPS 324552 WITH SCORE 325070.47
AT ITER 8417 NEW BEST:: SOT 1906842 SOS 518411 HAS SOPS 518411 HAS SOUS 324528 HAS SOUPS 324528 WITH SCORE 325046.411
AT ITER 8444 NEW BEST:: SOT 1906842 SOS 517571 HAS SOPS 517571 HAS SOUS 324414 HAS SOUPS 324414 WITH SCORE 324931.571
AT ITER 8447 NEW BEST:: SOT 1906827 SOS 517541 HAS SOPS 517541 HAS SOUS 324399 HAS SOUPS 324399 WITH SCORE 324916.541
AT ITER 8460 NEW BEST:: SOT 1906787 SOS 517447 HAS SOPS 517447 HAS SOUS 324305 HAS SOUPS 324305 WITH SCORE 324822.447
AT ITER 8465 NEW BEST:: SOT 1906787 SOS 517405 HAS SOPS 517405 HAS SOUS 324279 HAS SOUPS 324279 WITH SCORE 324796.405
AT ITER 8482 NEW BEST:: SOT 1906765 SOS 517383 HAS SOPS 517383 HAS SOUS 324253 HAS SOUPS 324253 WITH SCORE 324770.383
AT ITER 8494 NEW BEST:: SOT 1906852 SOS 517279 HAS SOPS 517279 HAS SOUS 323944 HAS SOUPS 323944 WITH SCORE 324461.279
AT ITER 8522 NEW BEST:: SOT 1906815 SOS 517263 HAS SOPS 517263 HAS SOUS 323928 HAS SOUPS 323928 WITH SCORE 324445.263
AT ITER 8576 NEW BEST:: SOT 1906759 SOS 518164 HAS SOPS 518164 HAS SOUS 323786 HAS SOUPS 323786 WITH SCORE 324304.164
AT ITER 8588 NEW BEST:: SOT 1906598 SOS 517879 HAS SOPS 517879 HAS SOUS 323491 HAS SOUPS 323491 WITH SCORE 324008.879
AT ITER 8602 NEW BEST:: SOT 1906600 SOS 518017 HAS SOPS 518017 HAS SOUS 323459 HAS SOUPS 323459 WITH SCORE 323977.017
AT ITER 8608 NEW BEST:: SOT 1906600 SOS 518017 HAS SOPS 518017 HAS SOUS 323405 HAS SOUPS 323405 WITH SCORE 323923.017
AT ITER 8647 NEW BEST:: SOT 1906602 SOS 518016 HAS SOPS 518016 HAS SOUS 323405 HAS SOUPS 323405 WITH SCORE 323923.016
AT ITER 8654 NEW BEST:: SOT 1906602 SOS 517956 HAS SOPS 517956 HAS SOUS 323405 HAS SOUPS 323405 WITH SCORE 323922.956
AT ITER 8677 NEW BEST:: SOT 1906378 SOS 517732 HAS SOPS 517732 HAS SOUS 323157 HAS SOUPS 323157 WITH SCORE 323674.732
AT ITER 8685 NEW BEST:: SOT 1906378 SOS 517669 HAS SOPS 517669 HAS SOUS 323094 HAS SOUPS 323094 WITH SCORE 323611.669
AT ITER 8691 NEW BEST:: SOT 1906346 SOS 517603 HAS SOPS 517603 HAS SOUS 323061 HAS SOUPS 323061 WITH SCORE 323578.603
AT ITER 8692 NEW BEST:: SOT 1906298 SOS 517572 HAS SOPS 517572 HAS SOUS 322982 HAS SOUPS 322982 WITH SCORE 323499.572
AT ITER 8711 NEW BEST:: SOT 1906280 SOS 517410 HAS SOPS 517410 HAS SOUS 322946 HAS SOUPS 322946 WITH SCORE 323463.41
AT ITER 8725 NEW BEST:: SOT 1906280 SOS 517389 HAS SOPS 517389 HAS SOUS 322946 HAS SOUPS 322946 WITH SCORE 323463.389
AT ITER 8744 NEW BEST:: SOT 1906250 SOS 517329 HAS SOPS 517329 HAS SOUS 322886 HAS SOUPS 322886 WITH SCORE 323403.329
AT ITER 8776 NEW BEST:: SOT 1906139 SOS 517106 HAS SOPS 517106 HAS SOUS 322663 HAS SOUPS 322663 WITH SCORE 323180.106
AT ITER 8814 NEW BEST:: SOT 1906129 SOS 517086 HAS SOPS 517086 HAS SOUS 322643 HAS SOUPS 322643 WITH SCORE 323160.086
AT ITER 8825 NEW BEST:: SOT 1906129 SOS 517058 HAS SOPS 517058 HAS SOUS 322636 HAS SOUPS 322636 WITH SCORE 323153.058
AT ITER 8849 NEW BEST:: SOT 1906145 SOS 516946 HAS SOPS 516946 HAS SOUS 322636 HAS SOUPS 322636 WITH SCORE 323152.946
AT ITER 8869 NEW BEST:: SOT 1906145 SOS 516850 HAS SOPS 516850 HAS SOUS 322636 HAS SOUPS 322636 WITH SCORE 323152.85
AT ITER 8871 NEW BEST:: SOT 1906139 SOS 516799 HAS SOPS 516799 HAS SOUS 322621 HAS SOUPS 322621 WITH SCORE 323137.799
AT ITER 8872 NEW BEST:: SOT 1906168 SOS 516797 HAS SOPS 516797 HAS SOUS 322617 HAS SOUPS 322617 WITH SCORE 323133.797
AT ITER 8884 NEW BEST:: SOT 1906168 SOS 516763 HAS SOPS 516763 HAS SOUS 322587 HAS SOUPS 322587 WITH SCORE 323103.763
AT ITER 8888 NEW BEST:: SOT 1906168 SOS 516757 HAS SOPS 516757 HAS SOUS 322581 HAS SOUPS 322581 WITH SCORE 323097.757
AT ITER 8890 NEW BEST:: SOT 1906246 SOS 516835 HAS SOPS 516835 HAS SOUS 322500 HAS SOUPS 322500 WITH SCORE 323016.835
AT ITER 8900 NEW BEST:: SOT 1906182 SOS 516607 HAS SOPS 516607 HAS SOUS 322272 HAS SOUPS 322272 WITH SCORE 322788.607
AT ITER 8903 NEW BEST:: SOT 1906141 SOS 516469 HAS SOPS 516469 HAS SOUS 322134 HAS SOUPS 322134 WITH SCORE 322650.469
AT ITER 8923 NEW BEST:: SOT 1906144 SOS 516321 HAS SOPS 516321 HAS SOUS 321986 HAS SOUPS 321986 WITH SCORE 322502.321
AT ITER 8943 NEW BEST:: SOT 1905894 SOS 516054 HAS SOPS 516054 HAS SOUS 321719 HAS SOUPS 321719 WITH SCORE 322235.054
AT ITER 8953 NEW BEST:: SOT 1905747 SOS 515825 HAS SOPS 515825 HAS SOUS 321490 HAS SOUPS 321490 WITH SCORE 322005.825
AT ITER 8959 NEW BEST:: SOT 1905592 SOS 515637 HAS SOPS 515637 HAS SOUS 321302 HAS SOUPS 321302 WITH SCORE 321817.637
AT ITER 8962 NEW BEST:: SOT 1905412 SOS 515437 HAS SOPS 515437 HAS SOUS 321082 HAS SOUPS 321082 WITH SCORE 321597.437
AT ITER 8966 NEW BEST:: SOT 1905477 SOS 515396 HAS SOPS 515396 HAS SOUS 321041 HAS SOUPS 321041 WITH SCORE 321556.396
AT ITER 8973 NEW BEST:: SOT 1905383 SOS 515208 HAS SOPS 515208 HAS SOUS 320947 HAS SOUPS 320947 WITH SCORE 321462.208
AT ITER 8974 NEW BEST:: SOT 1905208 SOS 515033 HAS SOPS 515033 HAS SOUS 320615 HAS SOUPS 320615 WITH SCORE 321130.033
AT ITER 8993 NEW BEST:: SOT 1905208 SOS 515017 HAS SOPS 515017 HAS SOUS 320607 HAS SOUPS 320607 WITH SCORE 321122.017
AT ITER 9006 NEW BEST:: SOT 1905151 SOS 514965 HAS SOPS 514965 HAS SOUS 320431 HAS SOUPS 320431 WITH SCORE 320945.965
AT ITER 9021 NEW BEST:: SOT 1904902 SOS 514716 HAS SOPS 514716 HAS SOUS 319933 HAS SOUPS 319933 WITH SCORE 320447.716
AT ITER 9069 NEW BEST:: SOT 1904901 SOS 514689 HAS SOPS 514689 HAS SOUS 319931 HAS SOUPS 319931 WITH SCORE 320445.689
AT ITER 9072 NEW BEST:: SOT 1904901 SOS 514599 HAS SOPS 514599 HAS SOUS 319841 HAS SOUPS 319841 WITH SCORE 320355.599
AT ITER 9087 NEW BEST:: SOT 1904901 SOS 514588 HAS SOPS 514588 HAS SOUS 319830 HAS SOUPS 319830 WITH SCORE 320344.588
AT ITER 9110 NEW BEST:: SOT 1904807 SOS 514494 HAS SOPS 514494 HAS SOUS 319736 HAS SOUPS 319736 WITH SCORE 320250.494
AT ITER 9132 NEW BEST:: SOT 1904791 SOS 514488 HAS SOPS 514488 HAS SOUS 319704 HAS SOUPS 319704 WITH SCORE 320218.488
AT ITER 9147 NEW BEST:: SOT 1904726 SOS 514488 HAS SOPS 514488 HAS SOUS 319639 HAS SOUPS 319639 WITH SCORE 320153.488
AT ITER 9162 NEW BEST:: SOT 1904521 SOS 514002 HAS SOPS 514002 HAS SOUS 319513 HAS SOUPS 319513 WITH SCORE 320027.002
AT ITER 9177 NEW BEST:: SOT 1904284 SOS 513653 HAS SOPS 513653 HAS SOUS 319192 HAS SOUPS 319192 WITH SCORE 319705.653
AT ITER 9193 NEW BEST:: SOT 1904138 SOS 513506 HAS SOPS 513506 HAS SOUS 319045 HAS SOUPS 319045 WITH SCORE 319558.506
AT ITER 9213 NEW BEST:: SOT 1904103 SOS 513390 HAS SOPS 513390 HAS SOUS 318929 HAS SOUPS 318929 WITH SCORE 319442.39
AT ITER 9222 NEW BEST:: SOT 1904095 SOS 513374 HAS SOPS 513374 HAS SOUS 318913 HAS SOUPS 318913 WITH SCORE 319426.374
AT ITER 9248 NEW BEST:: SOT 1904059 SOS 513202 HAS SOPS 513202 HAS SOUS 318841 HAS SOUPS 318841 WITH SCORE 319354.202
AT ITER 9271 NEW BEST:: SOT 1904058 SOS 513200 HAS SOPS 513200 HAS SOUS 318839 HAS SOUPS 318839 WITH SCORE 319352.2
AT ITER 9278 NEW BEST:: SOT 1903933 SOS 512950 HAS SOPS 512950 HAS SOUS 318589 HAS SOUPS 318589 WITH SCORE 319101.95
AT ITER 9282 NEW BEST:: SOT 1903890 SOS 512864 HAS SOPS 512864 HAS SOUS 318503 HAS SOUPS 318503 WITH SCORE 319015.864
AT ITER 9284 NEW BEST:: SOT 1903821 SOS 512735 HAS SOPS 512735 HAS SOUS 318485 HAS SOUPS 318485 WITH SCORE 318997.735
AT ITER 9286 NEW BEST:: SOT 1903700 SOS 512614 HAS SOPS 512614 HAS SOUS 318269 HAS SOUPS 318269 WITH SCORE 318781.614
AT ITER 9332 NEW BEST:: SOT 1903538 SOS 510554 HAS SOPS 510554 HAS SOUS 318117 HAS SOUPS 318117 WITH SCORE 318627.554
AT ITER 9342 NEW BEST:: SOT 1903512 SOS 510528 HAS SOPS 510528 HAS SOUS 318091 HAS SOUPS 318091 WITH SCORE 318601.528
AT ITER 9358 NEW BEST:: SOT 1903483 SOS 510470 HAS SOPS 510470 HAS SOUS 318033 HAS SOUPS 318033 WITH SCORE 318543.47
AT ITER 9402 NEW BEST:: SOT 1903478 SOS 510455 HAS SOPS 510455 HAS SOUS 318018 HAS SOUPS 318018 WITH SCORE 318528.455
AT ITER 9430 NEW BEST:: SOT 1903458 SOS 510242 HAS SOPS 510242 HAS SOUS 318006 HAS SOUPS 318006 WITH SCORE 318516.242
AT ITER 9435 NEW BEST:: SOT 1903416 SOS 510234 HAS SOPS 510234 HAS SOUS 317998 HAS SOUPS 317998 WITH SCORE 318508.234
AT ITER 9455 NEW BEST:: SOT 1903484 SOS 510269 HAS SOPS 510269 HAS SOUS 317933 HAS SOUPS 317933 WITH SCORE 318443.269
AT ITER 9477 NEW BEST:: SOT 1903463 SOS 510707 HAS SOPS 510707 HAS SOUS 317903 HAS SOUPS 317903 WITH SCORE 318413.707
AT ITER 9499 NEW BEST:: SOT 1903487 SOS 510527 HAS SOPS 510527 HAS SOUS 317892 HAS SOUPS 317892 WITH SCORE 318402.527
AT ITER 9515 NEW BEST:: SOT 1903151 SOS 510109 HAS SOPS 510109 HAS SOUS 317474 HAS SOUPS 317474 WITH SCORE 317984.109
AT ITER 9517 NEW BEST:: SOT 1903151 SOS 509478 HAS SOPS 509478 HAS SOUS 317377 HAS SOUPS 317377 WITH SCORE 317886.478
AT ITER 9521 NEW BEST:: SOT 1903232 SOS 509546 HAS SOPS 509546 HAS SOUS 317351 HAS SOUPS 317351 WITH SCORE 317860.546
AT ITER 9537 NEW BEST:: SOT 1903217 SOS 509516 HAS SOPS 509516 HAS SOUS 317216 HAS SOUPS 317216 WITH SCORE 317725.516
AT ITER 9567 NEW BEST:: SOT 1903156 SOS 509452 HAS SOPS 509452 HAS SOUS 317166 HAS SOUPS 317166 WITH SCORE 317675.452
AT ITER 9586 NEW BEST:: SOT 1903119 SOS 509378 HAS SOPS 509378 HAS SOUS 317030 HAS SOUPS 317030 WITH SCORE 317539.378
AT ITER 9601 NEW BEST:: SOT 1903097 SOS 509275 HAS SOPS 509275 HAS SOUS 316966 HAS SOUPS 316966 WITH SCORE 317475.275
AT ITER 9619 NEW BEST:: SOT 1903067 SOS 509271 HAS SOPS 509271 HAS SOUS 316962 HAS SOUPS 316962 WITH SCORE 317471.271
AT ITER 9636 NEW BEST:: SOT 1903041 SOS 509223 HAS SOPS 509223 HAS SOUS 316927 HAS SOUPS 316927 WITH SCORE 317436.223
AT ITER 9638 NEW BEST:: SOT 1903041 SOS 509182 HAS SOPS 509182 HAS SOUS 316886 HAS SOUPS 316886 WITH SCORE 317395.182
AT ITER 9645 NEW BEST:: SOT 1903041 SOS 509182 HAS SOPS 509182 HAS SOUS 316878 HAS SOUPS 316878 WITH SCORE 317387.182
AT ITER 9676 NEW BEST:: SOT 1902989 SOS 509078 HAS SOPS 509078 HAS SOUS 316774 HAS SOUPS 316774 WITH SCORE 317283.078
AT ITER 9687 NEW BEST:: SOT 1902719 SOS 509033 HAS SOPS 509033 HAS SOUS 316549 HAS SOUPS 316549 WITH SCORE 317058.033
AT ITER 9707 NEW BEST:: SOT 1902718 SOS 508948 HAS SOPS 508948 HAS SOUS 316464 HAS SOUPS 316464 WITH SCORE 316972.948
AT ITER 9712 NEW BEST:: SOT 1902669 SOS 508882 HAS SOPS 508882 HAS SOUS 316398 HAS SOUPS 316398 WITH SCORE 316906.882
AT ITER 9713 NEW BEST:: SOT 1902667 SOS 508877 HAS SOPS 508877 HAS SOUS 316393 HAS SOUPS 316393 WITH SCORE 316901.877
AT ITER 9726 NEW BEST:: SOT 1901860 SOS 508136 HAS SOPS 508136 HAS SOUS 315764 HAS SOUPS 315764 WITH SCORE 316272.136
AT ITER 9740 NEW BEST:: SOT 1901834 SOS 508028 HAS SOPS 508028 HAS SOUS 315700 HAS SOUPS 315700 WITH SCORE 316208.028
AT ITER 9750 NEW BEST:: SOT 1903346 SOS 509766 HAS SOPS 509766 HAS SOUS 315438 HAS SOUPS 315438 WITH SCORE 315947.766
AT ITER 9753 NEW BEST:: SOT 1903326 SOS 509465 HAS SOPS 509465 HAS SOUS 315403 HAS SOUPS 315403 WITH SCORE 315912.465
AT ITER 9775 NEW BEST:: SOT 1903343 SOS 509482 HAS SOPS 509482 HAS SOUS 315361 HAS SOUPS 315361 WITH SCORE 315870.482
AT ITER 9776 NEW BEST:: SOT 1903343 SOS 508698 HAS SOPS 508698 HAS SOUS 315249 HAS SOUPS 315249 WITH SCORE 315757.698
AT ITER 9783 NEW BEST:: SOT 1903339 SOS 508690 HAS SOPS 508690 HAS SOUS 315245 HAS SOUPS 315245 WITH SCORE 315753.69
AT ITER 9814 NEW BEST:: SOT 1903027 SOS 509305 HAS SOPS 509305 HAS SOUS 315044 HAS SOUPS 315044 WITH SCORE 315553.305
AT ITER 9840 NEW BEST:: SOT 1902946 SOS 509277 HAS SOPS 509277 HAS SOUS 314932 HAS SOUPS 314932 WITH SCORE 315441.277
AT ITER 9842 NEW BEST:: SOT 1902886 SOS 509157 HAS SOPS 509157 HAS SOUS 314752 HAS SOUPS 314752 WITH SCORE 315261.157
AT ITER 9863 NEW BEST:: SOT 1902744 SOS 508958 HAS SOPS 508958 HAS SOUS 314578 HAS SOUPS 314578 WITH SCORE 315086.958
AT ITER 9870 NEW BEST:: SOT 1902634 SOS 508672 HAS SOPS 508672 HAS SOUS 314292 HAS SOUPS 314292 WITH SCORE 314800.672
AT ITER 9888 NEW BEST:: SOT 1902435 SOS 508475 HAS SOPS 508475 HAS SOUS 314095 HAS SOUPS 314095 WITH SCORE 314603.475
AT ITER 9921 NEW BEST:: SOT 1902306 SOS 508207 HAS SOPS 508207 HAS SOUS 313827 HAS SOUPS 313827 WITH SCORE 314335.207
AT ITER 9984 NEW BEST:: SOT 1902255 SOS 508214 HAS SOPS 508214 HAS SOUS 313725 HAS SOUPS 313725 WITH SCORE 314233.214
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 12345744 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16152304 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
Caught signal 15, terminating.
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ASLink-PT-03b"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is ASLink-PT-03b, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r003-oct2-167813590400056"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ASLink-PT-03b.tgz
mv ASLink-PT-03b 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 '
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 ;