Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r033-smll-158901926000328.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
....................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is CloudDeployment-PT-5b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r033-smll-158901926000328
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.6M
-rw-r--r-- 1 mcc users 3.9K Mar 30 01:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Mar 30 01:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 28 15:43 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 28 15:43 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Apr 8 14:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:45 LTLFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Mar 27 08:29 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 27 08:29 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 26 07:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 11K Mar 26 07:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 1.5M Mar 24 05:37 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 1589157378115

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudDeployment (PT), instance 5b
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 1525 places, 3132 transitions, 24760 arcs.
AT ITER 0 NEW BEST:: SOT 3276105 SOS 964973 HAS SOPS 964973 HAS SOUS 489639 HAS SOUPS 489639 WITH SCORE 490603.973
AT ITER 6 NEW BEST:: SOT 3276225 SOS 965213 HAS SOPS 965213 HAS SOUS 489595 HAS SOUPS 489595 WITH SCORE 490560.213
AT ITER 10 NEW BEST:: SOT 3276177 SOS 965197 HAS SOPS 965197 HAS SOUS 489563 HAS SOUPS 489563 WITH SCORE 490528.197
AT ITER 24 NEW BEST:: SOT 3276082 SOS 965007 HAS SOPS 965007 HAS SOUS 489464 HAS SOUPS 489464 WITH SCORE 490429.007
AT ITER 28 NEW BEST:: SOT 3276091 SOS 965302 HAS SOPS 965302 HAS SOUS 489412 HAS SOUPS 489412 WITH SCORE 490377.302
AT ITER 38 NEW BEST:: SOT 3275995 SOS 965110 HAS SOPS 965110 HAS SOUS 488923 HAS SOUPS 488923 WITH SCORE 489888.11
AT ITER 55 NEW BEST:: SOT 3275641 SOS 964762 HAS SOPS 964762 HAS SOUS 488575 HAS SOUPS 488575 WITH SCORE 489539.762
AT ITER 81 NEW BEST:: SOT 3275641 SOS 965142 HAS SOPS 965142 HAS SOUS 488559 HAS SOUPS 488559 WITH SCORE 489524.142
AT ITER 92 NEW BEST:: SOT 3275641 SOS 965212 HAS SOPS 965212 HAS SOUS 488500 HAS SOUPS 488500 WITH SCORE 489465.212
AT ITER 97 NEW BEST:: SOT 3275447 SOS 965306 HAS SOPS 965306 HAS SOUS 488332 HAS SOUPS 488332 WITH SCORE 489297.306
AT ITER 117 NEW BEST:: SOT 3275447 SOS 965358 HAS SOPS 965358 HAS SOUS 488298 HAS SOUPS 488298 WITH SCORE 489263.358
AT ITER 131 NEW BEST:: SOT 3288337 SOS 978969 HAS SOPS 978969 HAS SOUS 443897 HAS SOUPS 443897 WITH SCORE 444875.969
AT ITER 132 NEW BEST:: SOT 3288217 SOS 978912 HAS SOPS 978912 HAS SOUS 436145 HAS SOUPS 436145 WITH SCORE 437123.912
AT ITER 151 NEW BEST:: SOT 3288189 SOS 979216 HAS SOPS 979216 HAS SOUS 436124 HAS SOUPS 436124 WITH SCORE 437103.216
AT ITER 158 NEW BEST:: SOT 3287999 SOS 979441 HAS SOPS 979441 HAS SOUS 435613 HAS SOUPS 435613 WITH SCORE 436592.441
AT ITER 160 NEW BEST:: SOT 3287977 SOS 979397 HAS SOPS 979397 HAS SOUS 435569 HAS SOUPS 435569 WITH SCORE 436548.397
AT ITER 171 NEW BEST:: SOT 3287976 SOS 979395 HAS SOPS 979395 HAS SOUS 435567 HAS SOUPS 435567 WITH SCORE 436546.395
AT ITER 194 NEW BEST:: SOT 3287957 SOS 979376 HAS SOPS 979376 HAS SOUS 435548 HAS SOUPS 435548 WITH SCORE 436527.376
AT ITER 209 NEW BEST:: SOT 3287784 SOS 979192 HAS SOPS 979192 HAS SOUS 435364 HAS SOUPS 435364 WITH SCORE 436343.192
AT ITER 217 NEW BEST:: SOT 3287783 SOS 979190 HAS SOPS 979190 HAS SOUS 435362 HAS SOUPS 435362 WITH SCORE 436341.19
AT ITER 242 NEW BEST:: SOT 3287783 SOS 979661 HAS SOPS 979661 HAS SOUS 435305 HAS SOUPS 435305 WITH SCORE 436284.661
AT ITER 244 NEW BEST:: SOT 3274626 SOS 966484 HAS SOPS 966484 HAS SOUS 426752 HAS SOUPS 426752 WITH SCORE 427718.484
AT ITER 247 NEW BEST:: SOT 3274626 SOS 966416 HAS SOPS 966416 HAS SOUS 426657 HAS SOUPS 426657 WITH SCORE 427623.416
AT ITER 249 NEW BEST:: SOT 3274808 SOS 970264 HAS SOPS 970264 HAS SOUS 426643 HAS SOUPS 426643 WITH SCORE 427613.264
AT ITER 257 NEW BEST:: SOT 3273564 SOS 969342 HAS SOPS 969342 HAS SOUS 425660 HAS SOUPS 425660 WITH SCORE 426629.342
AT ITER 260 NEW BEST:: SOT 3273193 SOS 968987 HAS SOPS 968987 HAS SOUS 425176 HAS SOUPS 425176 WITH SCORE 426144.987
AT ITER 263 NEW BEST:: SOT 3273181 SOS 968963 HAS SOPS 968963 HAS SOUS 425100 HAS SOUPS 425100 WITH SCORE 426068.963
AT ITER 283 NEW BEST:: SOT 3273056 SOS 968883 HAS SOPS 968883 HAS SOUS 425040 HAS SOUPS 425040 WITH SCORE 426008.883
AT ITER 292 NEW BEST:: SOT 3272771 SOS 968314 HAS SOPS 968314 HAS SOUS 410380 HAS SOUPS 410380 WITH SCORE 411348.314
AT ITER 294 NEW BEST:: SOT 3272680 SOS 968132 HAS SOPS 968132 HAS SOUS 410198 HAS SOUPS 410198 WITH SCORE 411166.132
AT ITER 299 NEW BEST:: SOT 3272516 SOS 967804 HAS SOPS 967804 HAS SOUS 409736 HAS SOUPS 409736 WITH SCORE 410703.804
AT ITER 312 NEW BEST:: SOT 3272516 SOS 967830 HAS SOPS 967830 HAS SOUS 409718 HAS SOUPS 409718 WITH SCORE 410685.83
AT ITER 329 NEW BEST:: SOT 3272615 SOS 968065 HAS SOPS 968065 HAS SOUS 409611 HAS SOUPS 409611 WITH SCORE 410579.065
AT ITER 334 NEW BEST:: SOT 3271181 SOS 979884 HAS SOPS 979884 HAS SOUS 409503 HAS SOUPS 409503 WITH SCORE 410482.884
AT ITER 359 NEW BEST:: SOT 3271128 SOS 979778 HAS SOPS 979778 HAS SOUS 409397 HAS SOUPS 409397 WITH SCORE 410376.778
AT ITER 361 NEW BEST:: SOT 3270973 SOS 978985 HAS SOPS 978985 HAS SOUS 409054 HAS SOUPS 409054 WITH SCORE 410032.985
AT ITER 375 NEW BEST:: SOT 3270886 SOS 979556 HAS SOPS 979556 HAS SOUS 409025 HAS SOUPS 409025 WITH SCORE 410004.556
AT ITER 385 NEW BEST:: SOT 3270727 SOS 979493 HAS SOPS 979493 HAS SOUS 408730 HAS SOUPS 408730 WITH SCORE 409709.493
AT ITER 387 NEW BEST:: SOT 3270727 SOS 979493 HAS SOPS 979493 HAS SOUS 408563 HAS SOUPS 408563 WITH SCORE 409542.493
AT ITER 392 NEW BEST:: SOT 3269146 SOS 1004505 HAS SOPS 1004505 HAS SOUS 407515 HAS SOUPS 407515 WITH SCORE 408519.505
AT ITER 404 NEW BEST:: SOT 3269145 SOS 1004503 HAS SOPS 1004503 HAS SOUS 407514 HAS SOUPS 407514 WITH SCORE 408518.503
AT ITER 418 NEW BEST:: SOT 3269081 SOS 1004375 HAS SOPS 1004375 HAS SOUS 407386 HAS SOUPS 407386 WITH SCORE 408390.375
AT ITER 423 NEW BEST:: SOT 3268979 SOS 1004171 HAS SOPS 1004171 HAS SOUS 407167 HAS SOUPS 407167 WITH SCORE 408171.171
AT ITER 427 NEW BEST:: SOT 3268978 SOS 1004169 HAS SOPS 1004169 HAS SOUS 407166 HAS SOUPS 407166 WITH SCORE 408170.169
AT ITER 431 NEW BEST:: SOT 3268908 SOS 1004887 HAS SOPS 1004887 HAS SOUS 407023 HAS SOUPS 407023 WITH SCORE 408027.887
AT ITER 439 NEW BEST:: SOT 3268689 SOS 1004945 HAS SOPS 1004945 HAS SOUS 406601 HAS SOUPS 406601 WITH SCORE 407605.945
AT ITER 440 NEW BEST:: SOT 3268675 SOS 1004931 HAS SOPS 1004931 HAS SOUS 406587 HAS SOUPS 406587 WITH SCORE 407591.931
AT ITER 445 NEW BEST:: SOT 3267777 SOS 1003907 HAS SOPS 1003907 HAS SOUS 405563 HAS SOUPS 405563 WITH SCORE 406566.907
AT ITER 462 NEW BEST:: SOT 3267777 SOS 1003906 HAS SOPS 1003906 HAS SOUS 405562 HAS SOUPS 405562 WITH SCORE 406565.906
AT ITER 466 NEW BEST:: SOT 3267898 SOS 1003846 HAS SOPS 1003846 HAS SOUS 405555 HAS SOUPS 405555 WITH SCORE 406558.846
AT ITER 470 NEW BEST:: SOT 3267361 SOS 1003626 HAS SOPS 1003626 HAS SOUS 405500 HAS SOUPS 405500 WITH SCORE 406503.626
AT ITER 496 NEW BEST:: SOT 3267361 SOS 1003468 HAS SOPS 1003468 HAS SOUS 405493 HAS SOUPS 405493 WITH SCORE 406496.468
AT ITER 497 NEW BEST:: SOT 3267361 SOS 1003447 HAS SOPS 1003447 HAS SOUS 405472 HAS SOUPS 405472 WITH SCORE 406475.447
AT ITER 502 NEW BEST:: SOT 3267274 SOS 1003273 HAS SOPS 1003273 HAS SOUS 405298 HAS SOUPS 405298 WITH SCORE 406301.273
AT ITER 508 NEW BEST:: SOT 3266977 SOS 1003695 HAS SOPS 1003695 HAS SOUS 405128 HAS SOUPS 405128 WITH SCORE 406131.695
AT ITER 528 NEW BEST:: SOT 3266977 SOS 1003695 HAS SOPS 1003695 HAS SOUS 405068 HAS SOUPS 405068 WITH SCORE 406071.695
AT ITER 533 NEW BEST:: SOT 3266792 SOS 1003604 HAS SOPS 1003604 HAS SOUS 404884 HAS SOUPS 404884 WITH SCORE 405887.604
AT ITER 547 NEW BEST:: SOT 3266609 SOS 1003421 HAS SOPS 1003421 HAS SOUS 400781 HAS SOUPS 400781 WITH SCORE 401784.421
AT ITER 549 NEW BEST:: SOT 3266620 SOS 1003329 HAS SOPS 1003329 HAS SOUS 400575 HAS SOUPS 400575 WITH SCORE 401578.329
AT ITER 558 NEW BEST:: SOT 3266620 SOS 1004633 HAS SOPS 1004633 HAS SOUS 400557 HAS SOUPS 400557 WITH SCORE 401561.633
AT ITER 565 NEW BEST:: SOT 3266620 SOS 1004633 HAS SOPS 1004633 HAS SOUS 400495 HAS SOUPS 400495 WITH SCORE 401499.633
AT ITER 595 NEW BEST:: SOT 3266186 SOS 1004195 HAS SOPS 1004195 HAS SOUS 399848 HAS SOUPS 399848 WITH SCORE 400852.195
AT ITER 599 NEW BEST:: SOT 3266186 SOS 1004368 HAS SOPS 1004368 HAS SOUS 399830 HAS SOUPS 399830 WITH SCORE 400834.368
AT ITER 603 NEW BEST:: SOT 3266186 SOS 1004368 HAS SOPS 1004368 HAS SOUS 399791 HAS SOUPS 399791 WITH SCORE 400795.368
AT ITER 625 NEW BEST:: SOT 3266173 SOS 1004342 HAS SOPS 1004342 HAS SOUS 399724 HAS SOUPS 399724 WITH SCORE 400728.342
AT ITER 632 NEW BEST:: SOT 3266173 SOS 1004342 HAS SOPS 1004342 HAS SOUS 399691 HAS SOUPS 399691 WITH SCORE 400695.342
AT ITER 642 NEW BEST:: SOT 3266125 SOS 1004311 HAS SOPS 1004311 HAS SOUS 399528 HAS SOUPS 399528 WITH SCORE 400532.311
AT ITER 648 NEW BEST:: SOT 3266104 SOS 1004301 HAS SOPS 1004301 HAS SOUS 399515 HAS SOUPS 399515 WITH SCORE 400519.301
AT ITER 649 NEW BEST:: SOT 3266104 SOS 1004397 HAS SOPS 1004397 HAS SOUS 399497 HAS SOUPS 399497 WITH SCORE 400501.397
AT ITER 656 NEW BEST:: SOT 3266045 SOS 1004523 HAS SOPS 1004523 HAS SOUS 399462 HAS SOUPS 399462 WITH SCORE 400466.523
AT ITER 731 NEW BEST:: SOT 3265907 SOS 1004385 HAS SOPS 1004385 HAS SOUS 399319 HAS SOUPS 399319 WITH SCORE 400323.385
AT ITER 741 NEW BEST:: SOT 3265757 SOS 1004085 HAS SOPS 1004085 HAS SOUS 399019 HAS SOUPS 399019 WITH SCORE 400023.085
AT ITER 753 NEW BEST:: SOT 3265681 SOS 1004009 HAS SOPS 1004009 HAS SOUS 398979 HAS SOUPS 398979 WITH SCORE 399983.009
AT ITER 757 NEW BEST:: SOT 3265634 SOS 1004619 HAS SOPS 1004619 HAS SOUS 398932 HAS SOUPS 398932 WITH SCORE 399936.619
AT ITER 798 NEW BEST:: SOT 3265228 SOS 1004373 HAS SOPS 1004373 HAS SOUS 398540 HAS SOUPS 398540 WITH SCORE 399544.373
AT ITER 802 NEW BEST:: SOT 3265226 SOS 1004369 HAS SOPS 1004369 HAS SOUS 398536 HAS SOUPS 398536 WITH SCORE 399540.369
AT ITER 804 NEW BEST:: SOT 3265228 SOS 1004128 HAS SOPS 1004128 HAS SOUS 398293 HAS SOUPS 398293 WITH SCORE 399297.128
AT ITER 805 NEW BEST:: SOT 3264848 SOS 1004978 HAS SOPS 1004978 HAS SOUS 398036 HAS SOUPS 398036 WITH SCORE 399040.978
AT ITER 831 NEW BEST:: SOT 3264832 SOS 1004962 HAS SOPS 1004962 HAS SOUS 398036 HAS SOUPS 398036 WITH SCORE 399040.962
AT ITER 833 NEW BEST:: SOT 3264815 SOS 1004894 HAS SOPS 1004894 HAS SOUS 398019 HAS SOUPS 398019 WITH SCORE 399023.894
AT ITER 834 NEW BEST:: SOT 3264768 SOS 1004847 HAS SOPS 1004847 HAS SOUS 398018 HAS SOUPS 398018 WITH SCORE 399022.847
AT ITER 863 NEW BEST:: SOT 3264751 SOS 1004953 HAS SOPS 1004953 HAS SOUS 397878 HAS SOUPS 397878 WITH SCORE 398882.953
AT ITER 865 NEW BEST:: SOT 3264597 SOS 1004290 HAS SOPS 1004290 HAS SOUS 397184 HAS SOUPS 397184 WITH SCORE 398188.29
AT ITER 871 NEW BEST:: SOT 3264279 SOS 1004785 HAS SOPS 1004785 HAS SOUS 396930 HAS SOUPS 396930 WITH SCORE 397934.785
AT ITER 881 NEW BEST:: SOT 3264161 SOS 1000247 HAS SOPS 1000247 HAS SOUS 396694 HAS SOUPS 396694 WITH SCORE 397694.247
AT ITER 885 NEW BEST:: SOT 3264077 SOS 1000205 HAS SOPS 1000205 HAS SOUS 396624 HAS SOUPS 396624 WITH SCORE 397624.205
AT ITER 892 NEW BEST:: SOT 3263960 SOS 1000231 HAS SOPS 1000231 HAS SOUS 396455 HAS SOUPS 396455 WITH SCORE 397455.231
AT ITER 900 NEW BEST:: SOT 3263934 SOS 1000023 HAS SOPS 1000023 HAS SOUS 396403 HAS SOUPS 396403 WITH SCORE 397403.023
AT ITER 922 NEW BEST:: SOT 3264122 SOS 1000399 HAS SOPS 1000399 HAS SOUS 396226 HAS SOUPS 396226 WITH SCORE 397226.399
AT ITER 938 NEW BEST:: SOT 3263949 SOS 1000181 HAS SOPS 1000181 HAS SOUS 396008 HAS SOUPS 396008 WITH SCORE 397008.181
AT ITER 965 NEW BEST:: SOT 3263908 SOS 1000140 HAS SOPS 1000140 HAS SOUS 396006 HAS SOUPS 396006 WITH SCORE 397006.14
AT ITER 968 NEW BEST:: SOT 3263772 SOS 999868 HAS SOPS 999868 HAS SOUS 395734 HAS SOUPS 395734 WITH SCORE 396733.868
AT ITER 974 NEW BEST:: SOT 3263739 SOS 999802 HAS SOPS 999802 HAS SOUS 395668 HAS SOUPS 395668 WITH SCORE 396667.802
AT ITER 996 NEW BEST:: SOT 3263712 SOS 999748 HAS SOPS 999748 HAS SOUS 395614 HAS SOUPS 395614 WITH SCORE 396613.748
AT ITER 998 NEW BEST:: SOT 3263584 SOS 999492 HAS SOPS 999492 HAS SOUS 395358 HAS SOUPS 395358 WITH SCORE 396357.492
AT ITER 1000 NEW BEST:: SOT 3263732 SOS 999788 HAS SOPS 999788 HAS SOUS 395301 HAS SOUPS 395301 WITH SCORE 396300.788
AT ITER 1012 NEW BEST:: SOT 3263732 SOS 999761 HAS SOPS 999761 HAS SOUS 395274 HAS SOUPS 395274 WITH SCORE 396273.761
AT ITER 1016 NEW BEST:: SOT 3263662 SOS 1000025 HAS SOPS 1000025 HAS SOUS 395230 HAS SOUPS 395230 WITH SCORE 396230.025
AT ITER 1027 NEW BEST:: SOT 3263662 SOS 999993 HAS SOPS 999993 HAS SOUS 395203 HAS SOUPS 395203 WITH SCORE 396202.993
AT ITER 1059 NEW BEST:: SOT 3263298 SOS 999821 HAS SOPS 999821 HAS SOUS 394659 HAS SOUPS 394659 WITH SCORE 395658.821
AT ITER 1061 NEW BEST:: SOT 3263141 SOS 1000329 HAS SOPS 1000329 HAS SOUS 394502 HAS SOUPS 394502 WITH SCORE 395502.329
AT ITER 1063 NEW BEST:: SOT 3263352 SOS 1000962 HAS SOPS 1000962 HAS SOUS 394080 HAS SOUPS 394080 WITH SCORE 395080.962
AT ITER 1071 NEW BEST:: SOT 3263253 SOS 1000863 HAS SOPS 1000863 HAS SOUS 393981 HAS SOUPS 393981 WITH SCORE 394981.863
AT ITER 1091 NEW BEST:: SOT 3263147 SOS 1000474 HAS SOPS 1000474 HAS SOUS 393875 HAS SOUPS 393875 WITH SCORE 394875.474
AT ITER 1109 NEW BEST:: SOT 3263308 SOS 1000796 HAS SOPS 1000796 HAS SOUS 393680 HAS SOUPS 393680 WITH SCORE 394680.796
AT ITER 1110 NEW BEST:: SOT 3263308 SOS 1001049 HAS SOPS 1001049 HAS SOUS 393646 HAS SOUPS 393646 WITH SCORE 394647.049
AT ITER 1127 NEW BEST:: SOT 3263236 SOS 1000905 HAS SOPS 1000905 HAS SOUS 393604 HAS SOUPS 393604 WITH SCORE 394604.905
AT ITER 1134 NEW BEST:: SOT 3263170 SOS 1000773 HAS SOPS 1000773 HAS SOUS 393538 HAS SOUPS 393538 WITH SCORE 394538.773
AT ITER 1152 NEW BEST:: SOT 3263031 SOS 1000724 HAS SOPS 1000724 HAS SOUS 393170 HAS SOUPS 393170 WITH SCORE 394170.724
AT ITER 1182 NEW BEST:: SOT 3263031 SOS 1001410 HAS SOPS 1001410 HAS SOUS 393113 HAS SOUPS 393113 WITH SCORE 394114.41
AT ITER 1190 NEW BEST:: SOT 3263076 SOS 1001545 HAS SOPS 1001545 HAS SOUS 392873 HAS SOUPS 392873 WITH SCORE 393874.545
AT ITER 1192 NEW BEST:: SOT 3263027 SOS 1001447 HAS SOPS 1001447 HAS SOUS 392775 HAS SOUPS 392775 WITH SCORE 393776.447
AT ITER 1215 NEW BEST:: SOT 3262839 SOS 1001306 HAS SOPS 1001306 HAS SOUS 392587 HAS SOUPS 392587 WITH SCORE 393588.306
AT ITER 1228 NEW BEST:: SOT 3262809 SOS 1001386 HAS SOPS 1001386 HAS SOUS 392583 HAS SOUPS 392583 WITH SCORE 393584.386
AT ITER 1230 NEW BEST:: SOT 3262779 SOS 1001326 HAS SOPS 1001326 HAS SOUS 392523 HAS SOUPS 392523 WITH SCORE 393524.326
AT ITER 1236 NEW BEST:: SOT 3262778 SOS 1001324 HAS SOPS 1001324 HAS SOUS 392521 HAS SOUPS 392521 WITH SCORE 393522.324
AT ITER 1238 NEW BEST:: SOT 3263029 SOS 1000992 HAS SOPS 1000992 HAS SOUS 392383 HAS SOUPS 392383 WITH SCORE 393383.992
AT ITER 1250 NEW BEST:: SOT 3262909 SOS 1001537 HAS SOPS 1001537 HAS SOUS 392256 HAS SOUPS 392256 WITH SCORE 393257.537
AT ITER 1289 NEW BEST:: SOT 3262849 SOS 1001417 HAS SOPS 1001417 HAS SOUS 392136 HAS SOUPS 392136 WITH SCORE 393137.417
AT ITER 1299 NEW BEST:: SOT 3262849 SOS 1002260 HAS SOPS 1002260 HAS SOUS 391955 HAS SOUPS 391955 WITH SCORE 392957.26
AT ITER 1306 NEW BEST:: SOT 3262829 SOS 1002200 HAS SOPS 1002200 HAS SOUS 391935 HAS SOUPS 391935 WITH SCORE 392937.2
AT ITER 1310 NEW BEST:: SOT 3262815 SOS 1002078 HAS SOPS 1002078 HAS SOUS 391813 HAS SOUPS 391813 WITH SCORE 392815.078
AT ITER 1323 NEW BEST:: SOT 3263219 SOS 1003370 HAS SOPS 1003370 HAS SOUS 391421 HAS SOUPS 391421 WITH SCORE 392424.37
AT ITER 1326 NEW BEST:: SOT 3263218 SOS 1003368 HAS SOPS 1003368 HAS SOUS 391419 HAS SOUPS 391419 WITH SCORE 392422.368
AT ITER 1329 NEW BEST:: SOT 3263191 SOS 1003260 HAS SOPS 1003260 HAS SOUS 391419 HAS SOUPS 391419 WITH SCORE 392422.26
AT ITER 1337 NEW BEST:: SOT 3263182 SOS 1003269 HAS SOPS 1003269 HAS SOUS 391374 HAS SOUPS 391374 WITH SCORE 392377.269
AT ITER 1340 NEW BEST:: SOT 3263142 SOS 1003941 HAS SOPS 1003941 HAS SOUS 391329 HAS SOUPS 391329 WITH SCORE 392332.941
AT ITER 1344 NEW BEST:: SOT 3263141 SOS 1003940 HAS SOPS 1003940 HAS SOUS 391329 HAS SOUPS 391329 WITH SCORE 392332.94
AT ITER 1369 NEW BEST:: SOT 3263141 SOS 1003940 HAS SOPS 1003940 HAS SOUS 391328 HAS SOUPS 391328 WITH SCORE 392331.94
AT ITER 1381 NEW BEST:: SOT 3263140 SOS 1003938 HAS SOPS 1003938 HAS SOUS 391326 HAS SOUPS 391326 WITH SCORE 392329.938
AT ITER 1401 NEW BEST:: SOT 3263214 SOS 1004579 HAS SOPS 1004579 HAS SOUS 390289 HAS SOUPS 390289 WITH SCORE 391293.579
AT ITER 1406 NEW BEST:: SOT 3263029 SOS 1004735 HAS SOPS 1004735 HAS SOUS 389670 HAS SOUPS 389670 WITH SCORE 390674.735
AT ITER 1411 NEW BEST:: SOT 3263029 SOS 1004757 HAS SOPS 1004757 HAS SOUS 389669 HAS SOUPS 389669 WITH SCORE 390673.757
AT ITER 1431 NEW BEST:: SOT 3262976 SOS 1004651 HAS SOPS 1004651 HAS SOUS 389473 HAS SOUPS 389473 WITH SCORE 390477.651
AT ITER 1435 NEW BEST:: SOT 3262876 SOS 1004451 HAS SOPS 1004451 HAS SOUS 389237 HAS SOUPS 389237 WITH SCORE 390241.451
AT ITER 1451 NEW BEST:: SOT 3262804 SOS 1004307 HAS SOPS 1004307 HAS SOUS 389093 HAS SOUPS 389093 WITH SCORE 390097.307
AT ITER 1452 NEW BEST:: SOT 3262822 SOS 1004574 HAS SOPS 1004574 HAS SOUS 388888 HAS SOUPS 388888 WITH SCORE 389892.574
AT ITER 1457 NEW BEST:: SOT 3262821 SOS 1004572 HAS SOPS 1004572 HAS SOUS 388886 HAS SOUPS 388886 WITH SCORE 389890.572
AT ITER 1468 NEW BEST:: SOT 3262837 SOS 1004385 HAS SOPS 1004385 HAS SOUS 388699 HAS SOUPS 388699 WITH SCORE 389703.385
AT ITER 1469 NEW BEST:: SOT 3262778 SOS 1004267 HAS SOPS 1004267 HAS SOUS 388640 HAS SOUPS 388640 WITH SCORE 389644.267
AT ITER 1480 NEW BEST:: SOT 3262778 SOS 1004267 HAS SOPS 1004267 HAS SOUS 388638 HAS SOUPS 388638 WITH SCORE 389642.267
AT ITER 1500 NEW BEST:: SOT 3262447 SOS 1003605 HAS SOPS 1003605 HAS SOUS 388187 HAS SOUPS 388187 WITH SCORE 389190.605
AT ITER 1506 NEW BEST:: SOT 3262127 SOS 1002965 HAS SOPS 1002965 HAS SOUS 387692 HAS SOUPS 387692 WITH SCORE 388694.965
AT ITER 1524 NEW BEST:: SOT 3262075 SOS 1002939 HAS SOPS 1002939 HAS SOUS 387640 HAS SOUPS 387640 WITH SCORE 388642.939
AT ITER 1528 NEW BEST:: SOT 3261824 SOS 1002437 HAS SOPS 1002437 HAS SOUS 387245 HAS SOUPS 387245 WITH SCORE 388247.437
AT ITER 1579 NEW BEST:: SOT 3261607 SOS 1002825 HAS SOPS 1002825 HAS SOUS 386952 HAS SOUPS 386952 WITH SCORE 387954.825
AT ITER 1605 NEW BEST:: SOT 3261625 SOS 1005013 HAS SOPS 1005013 HAS SOUS 386945 HAS SOUPS 386945 WITH SCORE 387950.013
AT ITER 1617 NEW BEST:: SOT 3261656 SOS 1005204 HAS SOPS 1005204 HAS SOUS 386491 HAS SOUPS 386491 WITH SCORE 387496.204
AT ITER 1619 NEW BEST:: SOT 3261499 SOS 1005047 HAS SOPS 1005047 HAS SOUS 386327 HAS SOUPS 386327 WITH SCORE 387332.047
AT ITER 1620 NEW BEST:: SOT 3261530 SOS 1005109 HAS SOPS 1005109 HAS SOUS 385915 HAS SOUPS 385915 WITH SCORE 386920.109
AT ITER 1631 NEW BEST:: SOT 3261465 SOS 1004979 HAS SOPS 1004979 HAS SOUS 385785 HAS SOUPS 385785 WITH SCORE 386789.979
AT ITER 1633 NEW BEST:: SOT 3261275 SOS 1004409 HAS SOPS 1004409 HAS SOUS 385405 HAS SOUPS 385405 WITH SCORE 386409.409
AT ITER 1634 NEW BEST:: SOT 3260866 SOS 1007326 HAS SOPS 1007326 HAS SOUS 385218 HAS SOUPS 385218 WITH SCORE 386225.326
AT ITER 1637 NEW BEST:: SOT 3260866 SOS 1007080 HAS SOPS 1007080 HAS SOUS 385214 HAS SOUPS 385214 WITH SCORE 386221.08
AT ITER 1641 NEW BEST:: SOT 3260866 SOS 1007095 HAS SOPS 1007095 HAS SOUS 385209 HAS SOUPS 385209 WITH SCORE 386216.095
AT ITER 1648 NEW BEST:: SOT 3260866 SOS 1007066 HAS SOPS 1007066 HAS SOUS 385180 HAS SOUPS 385180 WITH SCORE 386187.066
AT ITER 1649 NEW BEST:: SOT 3260867 SOS 1006950 HAS SOPS 1006950 HAS SOUS 385180 HAS SOUPS 385180 WITH SCORE 386186.95
AT ITER 1678 NEW BEST:: SOT 3260867 SOS 1007082 HAS SOPS 1007082 HAS SOUS 385121 HAS SOUPS 385121 WITH SCORE 386128.082
AT ITER 1679 NEW BEST:: SOT 3260827 SOS 1006946 HAS SOPS 1006946 HAS SOUS 385081 HAS SOUPS 385081 WITH SCORE 386087.946
AT ITER 1686 NEW BEST:: SOT 3260827 SOS 1006946 HAS SOPS 1006946 HAS SOUS 385077 HAS SOUPS 385077 WITH SCORE 386083.946
AT ITER 1701 NEW BEST:: SOT 3260758 SOS 1006877 HAS SOPS 1006877 HAS SOUS 385073 HAS SOUPS 385073 WITH SCORE 386079.877
AT ITER 1735 NEW BEST:: SOT 3260672 SOS 1006834 HAS SOPS 1006834 HAS SOUS 384987 HAS SOUPS 384987 WITH SCORE 385993.834
AT ITER 1740 NEW BEST:: SOT 3260672 SOS 1007063 HAS SOPS 1007063 HAS SOUS 384925 HAS SOUPS 384925 WITH SCORE 385932.063
AT ITER 1746 NEW BEST:: SOT 3260658 SOS 1006372 HAS SOPS 1006372 HAS SOUS 384690 HAS SOUPS 384690 WITH SCORE 385696.372
AT ITER 1749 NEW BEST:: SOT 3260618 SOS 1006372 HAS SOPS 1006372 HAS SOUS 384650 HAS SOUPS 384650 WITH SCORE 385656.372
AT ITER 1790 NEW BEST:: SOT 3260618 SOS 1005389 HAS SOPS 1005389 HAS SOUS 384650 HAS SOUPS 384650 WITH SCORE 385655.389
AT ITER 1791 NEW BEST:: SOT 3260600 SOS 1005353 HAS SOPS 1005353 HAS SOUS 384614 HAS SOUPS 384614 WITH SCORE 385619.353
AT ITER 1794 NEW BEST:: SOT 3260573 SOS 1005299 HAS SOPS 1005299 HAS SOUS 384587 HAS SOUPS 384587 WITH SCORE 385592.299
AT ITER 1797 NEW BEST:: SOT 3260573 SOS 1005299 HAS SOPS 1005299 HAS SOUS 384586 HAS SOUPS 384586 WITH SCORE 385591.299
AT ITER 1804 NEW BEST:: SOT 3259251 SOS 1018177 HAS SOPS 1018177 HAS SOUS 383371 HAS SOUPS 383371 WITH SCORE 384389.177
AT ITER 1806 NEW BEST:: SOT 3257711 SOS 1033204 HAS SOPS 1033204 HAS SOUS 383164 HAS SOUPS 383164 WITH SCORE 384197.204
AT ITER 1808 NEW BEST:: SOT 3257631 SOS 1033044 HAS SOPS 1033044 HAS SOUS 383084 HAS SOUPS 383084 WITH SCORE 384117.044
AT ITER 1818 NEW BEST:: SOT 3257461 SOS 1032874 HAS SOPS 1032874 HAS SOUS 383068 HAS SOUPS 383068 WITH SCORE 384100.874
AT ITER 1823 NEW BEST:: SOT 3257267 SOS 1032486 HAS SOPS 1032486 HAS SOUS 382913 HAS SOUPS 382913 WITH SCORE 383945.486
AT ITER 1830 NEW BEST:: SOT 3257074 SOS 1032293 HAS SOPS 1032293 HAS SOUS 382913 HAS SOUPS 382913 WITH SCORE 383945.293
AT ITER 1845 NEW BEST:: SOT 3256920 SOS 1031985 HAS SOPS 1031985 HAS SOUS 376173 HAS SOUPS 376173 WITH SCORE 377204.985
AT ITER 1846 NEW BEST:: SOT 3256875 SOS 1031985 HAS SOPS 1031985 HAS SOUS 376152 HAS SOUPS 376152 WITH SCORE 377183.985
AT ITER 1851 NEW BEST:: SOT 3256752 SOS 1031739 HAS SOPS 1031739 HAS SOUS 376029 HAS SOUPS 376029 WITH SCORE 377060.739
AT ITER 1857 NEW BEST:: SOT 3256752 SOS 1031709 HAS SOPS 1031709 HAS SOUS 376019 HAS SOUPS 376019 WITH SCORE 377050.709
AT ITER 1868 NEW BEST:: SOT 3256752 SOS 1031881 HAS SOPS 1031881 HAS SOUS 375331 HAS SOUPS 375331 WITH SCORE 376362.881
AT ITER 1870 NEW BEST:: SOT 3256696 SOS 1031705 HAS SOPS 1031705 HAS SOUS 375155 HAS SOUPS 375155 WITH SCORE 376186.705
AT ITER 1880 NEW BEST:: SOT 3256815 SOS 1031691 HAS SOPS 1031691 HAS SOUS 375141 HAS SOUPS 375141 WITH SCORE 376172.691
AT ITER 1884 NEW BEST:: SOT 3256663 SOS 1035949 HAS SOPS 1035949 HAS SOUS 375019 HAS SOUPS 375019 WITH SCORE 376054.949
AT ITER 1885 NEW BEST:: SOT 3256576 SOS 1036015 HAS SOPS 1036015 HAS SOUS 374965 HAS SOUPS 374965 WITH SCORE 376001.015
AT ITER 1890 NEW BEST:: SOT 3256576 SOS 1035900 HAS SOPS 1035900 HAS SOUS 374850 HAS SOUPS 374850 WITH SCORE 375885.9
AT ITER 1910 NEW BEST:: SOT 3256383 SOS 1035514 HAS SOPS 1035514 HAS SOUS 374846 HAS SOUPS 374846 WITH SCORE 375881.514
AT ITER 1932 NEW BEST:: SOT 3256062 SOS 1035193 HAS SOPS 1035193 HAS SOUS 369974 HAS SOUPS 369974 WITH SCORE 371009.193
AT ITER 1942 NEW BEST:: SOT 3255605 SOS 1034999 HAS SOPS 1034999 HAS SOUS 369517 HAS SOUPS 369517 WITH SCORE 370551.999
AT ITER 1956 NEW BEST:: SOT 3255597 SOS 1034809 HAS SOPS 1034809 HAS SOUS 369425 HAS SOUPS 369425 WITH SCORE 370459.809
AT ITER 1962 NEW BEST:: SOT 3255568 SOS 1034751 HAS SOPS 1034751 HAS SOUS 369367 HAS SOUPS 369367 WITH SCORE 370401.751
AT ITER 1970 NEW BEST:: SOT 3255370 SOS 1034787 HAS SOPS 1034787 HAS SOUS 369238 HAS SOUPS 369238 WITH SCORE 370272.787
AT ITER 1983 NEW BEST:: SOT 3255216 SOS 1036189 HAS SOPS 1036189 HAS SOUS 368983 HAS SOUPS 368983 WITH SCORE 370019.189
AT ITER 2002 NEW BEST:: SOT 3255046 SOS 1036459 HAS SOPS 1036459 HAS SOUS 368643 HAS SOUPS 368643 WITH SCORE 369679.459
AT ITER 2020 NEW BEST:: SOT 3255055 SOS 1036477 HAS SOPS 1036477 HAS SOUS 368607 HAS SOUPS 368607 WITH SCORE 369643.477
AT ITER 2028 NEW BEST:: SOT 3255043 SOS 1036453 HAS SOPS 1036453 HAS SOUS 368583 HAS SOUPS 368583 WITH SCORE 369619.453
AT ITER 2033 NEW BEST:: SOT 3255045 SOS 1036457 HAS SOPS 1036457 HAS SOUS 368517 HAS SOUPS 368517 WITH SCORE 369553.457
AT ITER 2035 NEW BEST:: SOT 3254921 SOS 1036209 HAS SOPS 1036209 HAS SOUS 368269 HAS SOUPS 368269 WITH SCORE 369305.209
AT ITER 2040 NEW BEST:: SOT 3254908 SOS 1036196 HAS SOPS 1036196 HAS SOUS 368256 HAS SOUPS 368256 WITH SCORE 369292.196
AT ITER 2082 NEW BEST:: SOT 3254687 SOS 1030790 HAS SOPS 1030790 HAS SOUS 367927 HAS SOUPS 367927 WITH SCORE 368957.79
AT ITER 2083 NEW BEST:: SOT 3254741 SOS 1030512 HAS SOPS 1030512 HAS SOUS 367263 HAS SOUPS 367263 WITH SCORE 368293.512
AT ITER 2089 NEW BEST:: SOT 3254634 SOS 1030298 HAS SOPS 1030298 HAS SOUS 367049 HAS SOUPS 367049 WITH SCORE 368079.298
AT ITER 2111 NEW BEST:: SOT 3254626 SOS 1030255 HAS SOPS 1030255 HAS SOUS 367033 HAS SOUPS 367033 WITH SCORE 368063.255
AT ITER 2131 NEW BEST:: SOT 3254626 SOS 1030076 HAS SOPS 1030076 HAS SOUS 366967 HAS SOUPS 366967 WITH SCORE 367997.076
AT ITER 2154 NEW BEST:: SOT 3254576 SOS 1030120 HAS SOPS 1030120 HAS SOUS 366826 HAS SOUPS 366826 WITH SCORE 367856.12
AT ITER 2170 NEW BEST:: SOT 3254161 SOS 1029968 HAS SOPS 1029968 HAS SOUS 366448 HAS SOUPS 366448 WITH SCORE 367477.968
AT ITER 2182 NEW BEST:: SOT 3254086 SOS 1029996 HAS SOPS 1029996 HAS SOUS 366373 HAS SOUPS 366373 WITH SCORE 367402.996
AT ITER 2192 NEW BEST:: SOT 3254086 SOS 1029996 HAS SOPS 1029996 HAS SOUS 366330 HAS SOUPS 366330 WITH SCORE 367359.996
AT ITER 2198 NEW BEST:: SOT 3254065 SOS 1029954 HAS SOPS 1029954 HAS SOUS 366271 HAS SOUPS 366271 WITH SCORE 367300.954
AT ITER 2215 NEW BEST:: SOT 3252987 SOS 1029054 HAS SOPS 1029054 HAS SOUS 366039 HAS SOUPS 366039 WITH SCORE 367068.054
AT ITER 2218 NEW BEST:: SOT 3252987 SOS 1028982 HAS SOPS 1028982 HAS SOUS 366039 HAS SOUPS 366039 WITH SCORE 367067.982
AT ITER 2226 NEW BEST:: SOT 3252979 SOS 1028970 HAS SOPS 1028970 HAS SOUS 366027 HAS SOUPS 366027 WITH SCORE 367055.97
AT ITER 2241 NEW BEST:: SOT 3252977 SOS 1028966 HAS SOPS 1028966 HAS SOUS 366023 HAS SOUPS 366023 WITH SCORE 367051.966
AT ITER 2265 NEW BEST:: SOT 3252795 SOS 1029146 HAS SOPS 1029146 HAS SOUS 366021 HAS SOUPS 366021 WITH SCORE 367050.146
AT ITER 2268 NEW BEST:: SOT 3252752 SOS 1029103 HAS SOPS 1029103 HAS SOUS 365925 HAS SOUPS 365925 WITH SCORE 366954.103
AT ITER 2274 NEW BEST:: SOT 3252592 SOS 1029113 HAS SOPS 1029113 HAS SOUS 365825 HAS SOUPS 365825 WITH SCORE 366854.113
AT ITER 2275 NEW BEST:: SOT 3252592 SOS 1029124 HAS SOPS 1029124 HAS SOUS 365814 HAS SOUPS 365814 WITH SCORE 366843.124
AT ITER 2276 NEW BEST:: SOT 3252585 SOS 1029110 HAS SOPS 1029110 HAS SOUS 365800 HAS SOUPS 365800 WITH SCORE 366829.11
AT ITER 2295 NEW BEST:: SOT 3252585 SOS 1029110 HAS SOPS 1029110 HAS SOUS 365775 HAS SOUPS 365775 WITH SCORE 366804.11
AT ITER 2296 NEW BEST:: SOT 3252233 SOS 1028406 HAS SOPS 1028406 HAS SOUS 365501 HAS SOUPS 365501 WITH SCORE 366529.406
AT ITER 2314 NEW BEST:: SOT 3252233 SOS 1028290 HAS SOPS 1028290 HAS SOUS 365385 HAS SOUPS 365385 WITH SCORE 366413.29
AT ITER 2318 NEW BEST:: SOT 3252117 SOS 1028406 HAS SOPS 1028406 HAS SOUS 365269 HAS SOUPS 365269 WITH SCORE 366297.406
AT ITER 2330 NEW BEST:: SOT 3251949 SOS 1028203 HAS SOPS 1028203 HAS SOUS 365042 HAS SOUPS 365042 WITH SCORE 366070.203
AT ITER 2331 NEW BEST:: SOT 3252013 SOS 1028124 HAS SOPS 1028124 HAS SOUS 364959 HAS SOUPS 364959 WITH SCORE 365987.124
AT ITER 2343 NEW BEST:: SOT 3251968 SOS 1028842 HAS SOPS 1028842 HAS SOUS 364914 HAS SOUPS 364914 WITH SCORE 365942.842
AT ITER 2358 NEW BEST:: SOT 3251873 SOS 1028652 HAS SOPS 1028652 HAS SOUS 364826 HAS SOUPS 364826 WITH SCORE 365854.652
AT ITER 2366 NEW BEST:: SOT 3251667 SOS 1029010 HAS SOPS 1029010 HAS SOUS 364414 HAS SOUPS 364414 WITH SCORE 365443.01
AT ITER 2378 NEW BEST:: SOT 3251472 SOS 1028620 HAS SOPS 1028620 HAS SOUS 364024 HAS SOUPS 364024 WITH SCORE 365052.62
AT ITER 2424 NEW BEST:: SOT 3251454 SOS 1028584 HAS SOPS 1028584 HAS SOUS 364006 HAS SOUPS 364006 WITH SCORE 365034.584
AT ITER 2436 NEW BEST:: SOT 3251423 SOS 1028522 HAS SOPS 1028522 HAS SOUS 363975 HAS SOUPS 363975 WITH SCORE 365003.522
AT ITER 2441 NEW BEST:: SOT 3251419 SOS 1029473 HAS SOPS 1029473 HAS SOUS 363971 HAS SOUPS 363971 WITH SCORE 365000.473
AT ITER 2456 NEW BEST:: SOT 3251419 SOS 1029359 HAS SOPS 1029359 HAS SOUS 363857 HAS SOUPS 363857 WITH SCORE 364886.359
AT ITER 2463 NEW BEST:: SOT 3251335 SOS 1029402 HAS SOPS 1029402 HAS SOUS 363220 HAS SOUPS 363220 WITH SCORE 364249.402
AT ITER 2466 NEW BEST:: SOT 3251218 SOS 1029247 HAS SOPS 1029247 HAS SOUS 363049 HAS SOUPS 363049 WITH SCORE 364078.247
AT ITER 2469 NEW BEST:: SOT 3251310 SOS 1027683 HAS SOPS 1027683 HAS SOUS 363049 HAS SOUPS 363049 WITH SCORE 364076.683
AT ITER 2484 NEW BEST:: SOT 3251310 SOS 1027683 HAS SOPS 1027683 HAS SOUS 362916 HAS SOUPS 362916 WITH SCORE 363943.683
AT ITER 2517 NEW BEST:: SOT 3251225 SOS 1028923 HAS SOPS 1028923 HAS SOUS 362807 HAS SOUPS 362807 WITH SCORE 363835.923
AT ITER 2532 NEW BEST:: SOT 3251225 SOS 1028923 HAS SOPS 1028923 HAS SOUS 362800 HAS SOUPS 362800 WITH SCORE 363828.923
AT ITER 2553 NEW BEST:: SOT 3251201 SOS 1028875 HAS SOPS 1028875 HAS SOUS 362776 HAS SOUPS 362776 WITH SCORE 363804.875
AT ITER 2554 NEW BEST:: SOT 3251133 SOS 1028693 HAS SOPS 1028693 HAS SOUS 362739 HAS SOUPS 362739 WITH SCORE 363767.693
AT ITER 2575 NEW BEST:: SOT 3251123 SOS 1028723 HAS SOPS 1028723 HAS SOUS 362729 HAS SOUPS 362729 WITH SCORE 363757.723
AT ITER 2576 NEW BEST:: SOT 3250986 SOS 1028449 HAS SOPS 1028449 HAS SOUS 362592 HAS SOUPS 362592 WITH SCORE 363620.449
AT ITER 2587 NEW BEST:: SOT 3250906 SOS 1028485 HAS SOPS 1028485 HAS SOUS 362585 HAS SOUPS 362585 WITH SCORE 363613.485
AT ITER 2599 NEW BEST:: SOT 3251240 SOS 1029460 HAS SOPS 1029460 HAS SOUS 361769 HAS SOUPS 361769 WITH SCORE 362798.46
AT ITER 2607 NEW BEST:: SOT 3251244 SOS 1029464 HAS SOPS 1029464 HAS SOUS 361737 HAS SOUPS 361737 WITH SCORE 362766.464
AT ITER 2610 NEW BEST:: SOT 3251233 SOS 1029442 HAS SOPS 1029442 HAS SOUS 361715 HAS SOUPS 361715 WITH SCORE 362744.442
AT ITER 2611 NEW BEST:: SOT 3251233 SOS 1029227 HAS SOPS 1029227 HAS SOUS 361500 HAS SOUPS 361500 WITH SCORE 362529.227
AT ITER 2615 NEW BEST:: SOT 3251197 SOS 1029155 HAS SOPS 1029155 HAS SOUS 361464 HAS SOUPS 361464 WITH SCORE 362493.155
AT ITER 2633 NEW BEST:: SOT 3251188 SOS 1029140 HAS SOPS 1029140 HAS SOUS 361452 HAS SOUPS 361452 WITH SCORE 362481.14
AT ITER 2637 NEW BEST:: SOT 3251194 SOS 1029146 HAS SOPS 1029146 HAS SOUS 361324 HAS SOUPS 361324 WITH SCORE 362353.146
AT ITER 2638 NEW BEST:: SOT 3251507 SOS 1031417 HAS SOPS 1031417 HAS SOUS 361254 HAS SOUPS 361254 WITH SCORE 362285.417
AT ITER 2654 NEW BEST:: SOT 3251507 SOS 1031455 HAS SOPS 1031455 HAS SOUS 361252 HAS SOUPS 361252 WITH SCORE 362283.455
AT ITER 2656 NEW BEST:: SOT 3251428 SOS 1031385 HAS SOPS 1031385 HAS SOUS 361173 HAS SOUPS 361173 WITH SCORE 362204.385
AT ITER 2662 NEW BEST:: SOT 3251368 SOS 1031325 HAS SOPS 1031325 HAS SOUS 361161 HAS SOUPS 361161 WITH SCORE 362192.325
AT ITER 2674 NEW BEST:: SOT 3251368 SOS 1031402 HAS SOPS 1031402 HAS SOUS 361136 HAS SOUPS 361136 WITH SCORE 362167.402
AT ITER 2684 NEW BEST:: SOT 3251368 SOS 1031268 HAS SOPS 1031268 HAS SOUS 361069 HAS SOUPS 361069 WITH SCORE 362100.268
AT ITER 2699 NEW BEST:: SOT 3251368 SOS 1031262 HAS SOPS 1031262 HAS SOUS 361066 HAS SOUPS 361066 WITH SCORE 362097.262
AT ITER 2753 NEW BEST:: SOT 3251368 SOS 1031254 HAS SOPS 1031254 HAS SOUS 361066 HAS SOUPS 361066 WITH SCORE 362097.254
AT ITER 2759 NEW BEST:: SOT 3251368 SOS 1031228 HAS SOPS 1031228 HAS SOUS 361014 HAS SOUPS 361014 WITH SCORE 362045.228
AT ITER 2770 NEW BEST:: SOT 3251374 SOS 1031240 HAS SOPS 1031240 HAS SOUS 360961 HAS SOUPS 360961 WITH SCORE 361992.24
AT ITER 2785 NEW BEST:: SOT 3251320 SOS 1031270 HAS SOPS 1031270 HAS SOUS 360953 HAS SOUPS 360953 WITH SCORE 361984.27
AT ITER 2801 NEW BEST:: SOT 3249468 SOS 1031563 HAS SOPS 1031563 HAS SOUS 359265 HAS SOUPS 359265 WITH SCORE 360296.563
AT ITER 2807 NEW BEST:: SOT 3249456 SOS 1031407 HAS SOPS 1031407 HAS SOUS 359253 HAS SOUPS 359253 WITH SCORE 360284.407
AT ITER 2813 NEW BEST:: SOT 3249456 SOS 1031381 HAS SOPS 1031381 HAS SOUS 359253 HAS SOUPS 359253 WITH SCORE 360284.381
AT ITER 2817 NEW BEST:: SOT 3249308 SOS 1031146 HAS SOPS 1031146 HAS SOUS 359168 HAS SOUPS 359168 WITH SCORE 360199.146
AT ITER 2818 NEW BEST:: SOT 3249250 SOS 1031030 HAS SOPS 1031030 HAS SOUS 359051 HAS SOUPS 359051 WITH SCORE 360082.03
AT ITER 2831 NEW BEST:: SOT 3249251 SOS 1031032 HAS SOPS 1031032 HAS SOUS 358963 HAS SOUPS 358963 WITH SCORE 359994.032
AT ITER 2845 NEW BEST:: SOT 3249251 SOS 1031392 HAS SOPS 1031392 HAS SOUS 358941 HAS SOUPS 358941 WITH SCORE 359972.392
AT ITER 2859 NEW BEST:: SOT 3249198 SOS 1031286 HAS SOPS 1031286 HAS SOUS 358835 HAS SOUPS 358835 WITH SCORE 359866.286
AT ITER 2878 NEW BEST:: SOT 3249077 SOS 1031269 HAS SOPS 1031269 HAS SOUS 358759 HAS SOUPS 358759 WITH SCORE 359790.269
AT ITER 2880 NEW BEST:: SOT 3248991 SOS 1030873 HAS SOPS 1030873 HAS SOUS 358631 HAS SOUPS 358631 WITH SCORE 359661.873
AT ITER 2885 NEW BEST:: SOT 3249026 SOS 1030978 HAS SOPS 1030978 HAS SOUS 358561 HAS SOUPS 358561 WITH SCORE 359591.978
AT ITER 2918 NEW BEST:: SOT 3249026 SOS 1030978 HAS SOPS 1030978 HAS SOUS 358560 HAS SOUPS 358560 WITH SCORE 359590.978
AT ITER 2941 NEW BEST:: SOT 3249076 SOS 1030820 HAS SOPS 1030820 HAS SOUS 358491 HAS SOUPS 358491 WITH SCORE 359521.82
AT ITER 2950 NEW BEST:: SOT 3248971 SOS 1030820 HAS SOPS 1030820 HAS SOUS 358386 HAS SOUPS 358386 WITH SCORE 359416.82
AT ITER 2956 NEW BEST:: SOT 3248512 SOS 1038493 HAS SOPS 1038493 HAS SOUS 357980 HAS SOUPS 357980 WITH SCORE 359018.493
AT ITER 2983 NEW BEST:: SOT 3248576 SOS 1038544 HAS SOPS 1038544 HAS SOUS 357973 HAS SOUPS 357973 WITH SCORE 359011.544
AT ITER 2986 NEW BEST:: SOT 3248504 SOS 1038472 HAS SOPS 1038472 HAS SOUS 357901 HAS SOUPS 357901 WITH SCORE 358939.472
AT ITER 3014 NEW BEST:: SOT 3248504 SOS 1038674 HAS SOPS 1038674 HAS SOUS 357750 HAS SOUPS 357750 WITH SCORE 358788.674
AT ITER 3018 NEW BEST:: SOT 3248275 SOS 1037987 HAS SOPS 1037987 HAS SOUS 357521 HAS SOUPS 357521 WITH SCORE 358558.987
AT ITER 3021 NEW BEST:: SOT 3248275 SOS 1037738 HAS SOPS 1037738 HAS SOUS 357023 HAS SOUPS 357023 WITH SCORE 358060.738
AT ITER 3023 NEW BEST:: SOT 3248275 SOS 1038553 HAS SOPS 1038553 HAS SOUS 356860 HAS SOUPS 356860 WITH SCORE 357898.553
AT ITER 3055 NEW BEST:: SOT 3247906 SOS 1038604 HAS SOPS 1038604 HAS SOUS 356543 HAS SOUPS 356543 WITH SCORE 357581.604
AT ITER 3057 NEW BEST:: SOT 3247800 SOS 1038498 HAS SOPS 1038498 HAS SOUS 356437 HAS SOUPS 356437 WITH SCORE 357475.498
AT ITER 3070 NEW BEST:: SOT 3247626 SOS 1038324 HAS SOPS 1038324 HAS SOUS 356239 HAS SOUPS 356239 WITH SCORE 357277.324
AT ITER 3082 NEW BEST:: SOT 3247624 SOS 1038320 HAS SOPS 1038320 HAS SOUS 356235 HAS SOUPS 356235 WITH SCORE 357273.32
AT ITER 3083 NEW BEST:: SOT 3247449 SOS 1037985 HAS SOPS 1037985 HAS SOUS 356095 HAS SOUPS 356095 WITH SCORE 357132.985
AT ITER 3122 NEW BEST:: SOT 3247440 SOS 1038753 HAS SOPS 1038753 HAS SOUS 356086 HAS SOUPS 356086 WITH SCORE 357124.753
AT ITER 3184 NEW BEST:: SOT 3247246 SOS 1038445 HAS SOPS 1038445 HAS SOUS 355983 HAS SOUPS 355983 WITH SCORE 357021.445
AT ITER 3208 NEW BEST:: SOT 3246720 SOS 1039873 HAS SOPS 1039873 HAS SOUS 355846 HAS SOUPS 355846 WITH SCORE 356885.873
AT ITER 3215 NEW BEST:: SOT 3246670 SOS 1039871 HAS SOPS 1039871 HAS SOUS 355844 HAS SOUPS 355844 WITH SCORE 356883.871
AT ITER 3216 NEW BEST:: SOT 3246642 SOS 1039815 HAS SOPS 1039815 HAS SOUS 355788 HAS SOUPS 355788 WITH SCORE 356827.815
AT ITER 3224 NEW BEST:: SOT 3246560 SOS 1039619 HAS SOPS 1039619 HAS SOUS 355759 HAS SOUPS 355759 WITH SCORE 356798.619
AT ITER 3230 NEW BEST:: SOT 3246353 SOS 1038476 HAS SOPS 1038476 HAS SOUS 355588 HAS SOUPS 355588 WITH SCORE 356626.476
AT ITER 3243 NEW BEST:: SOT 3246369 SOS 1038296 HAS SOPS 1038296 HAS SOUS 355291 HAS SOUPS 355291 WITH SCORE 356329.296
AT ITER 3250 NEW BEST:: SOT 3245353 SOS 1038252 HAS SOPS 1038252 HAS SOUS 354723 HAS SOUPS 354723 WITH SCORE 355761.252
AT ITER 3251 NEW BEST:: SOT 3245349 SOS 1038244 HAS SOPS 1038244 HAS SOUS 354715 HAS SOUPS 354715 WITH SCORE 355753.244
AT ITER 3262 NEW BEST:: SOT 3245337 SOS 1037838 HAS SOPS 1037838 HAS SOUS 354707 HAS SOUPS 354707 WITH SCORE 355744.838
AT ITER 3272 NEW BEST:: SOT 3245266 SOS 1037776 HAS SOPS 1037776 HAS SOUS 354589 HAS SOUPS 354589 WITH SCORE 355626.776
AT ITER 3282 NEW BEST:: SOT 3245296 SOS 1037556 HAS SOPS 1037556 HAS SOUS 354509 HAS SOUPS 354509 WITH SCORE 355546.556
AT ITER 3291 NEW BEST:: SOT 3245093 SOS 1037150 HAS SOPS 1037150 HAS SOUS 354103 HAS SOUPS 354103 WITH SCORE 355140.15
AT ITER 3292 NEW BEST:: SOT 3245093 SOS 1037138 HAS SOPS 1037138 HAS SOUS 353900 HAS SOUPS 353900 WITH SCORE 354937.138
AT ITER 3293 NEW BEST:: SOT 3245093 SOS 1037138 HAS SOPS 1037138 HAS SOUS 353788 HAS SOUPS 353788 WITH SCORE 354825.138
AT ITER 3304 NEW BEST:: SOT 3244959 SOS 1037560 HAS SOPS 1037560 HAS SOUS 353520 HAS SOUPS 353520 WITH SCORE 354557.56
AT ITER 3330 NEW BEST:: SOT 3243348 SOS 1037118 HAS SOPS 1037118 HAS SOUS 353025 HAS SOUPS 353025 WITH SCORE 354062.118
AT ITER 3332 NEW BEST:: SOT 3243312 SOS 1036803 HAS SOPS 1036803 HAS SOUS 352710 HAS SOUPS 352710 WITH SCORE 353746.803
AT ITER 3333 NEW BEST:: SOT 3243214 SOS 1036907 HAS SOPS 1036907 HAS SOUS 352558 HAS SOUPS 352558 WITH SCORE 353594.907
AT ITER 3336 NEW BEST:: SOT 3243141 SOS 1036761 HAS SOPS 1036761 HAS SOUS 352485 HAS SOUPS 352485 WITH SCORE 353521.761
AT ITER 3373 NEW BEST:: SOT 3242968 SOS 1036805 HAS SOPS 1036805 HAS SOUS 352356 HAS SOUPS 352356 WITH SCORE 353392.805
AT ITER 3389 NEW BEST:: SOT 3242965 SOS 1036799 HAS SOPS 1036799 HAS SOUS 352350 HAS SOUPS 352350 WITH SCORE 353386.799
AT ITER 3399 NEW BEST:: SOT 3242773 SOS 1036730 HAS SOPS 1036730 HAS SOUS 352176 HAS SOUPS 352176 WITH SCORE 353212.73
AT ITER 3417 NEW BEST:: SOT 3242765 SOS 1036720 HAS SOPS 1036720 HAS SOUS 352166 HAS SOUPS 352166 WITH SCORE 353202.72
AT ITER 3418 NEW BEST:: SOT 3242765 SOS 1036720 HAS SOPS 1036720 HAS SOUS 352107 HAS SOUPS 352107 WITH SCORE 353143.72
AT ITER 3425 NEW BEST:: SOT 3242529 SOS 1036248 HAS SOPS 1036248 HAS SOUS 351866 HAS SOUPS 351866 WITH SCORE 352902.248
AT ITER 3435 NEW BEST:: SOT 3242482 SOS 1036154 HAS SOPS 1036154 HAS SOUS 351847 HAS SOUPS 351847 WITH SCORE 352883.154
AT ITER 3442 NEW BEST:: SOT 3242482 SOS 1036167 HAS SOPS 1036167 HAS SOUS 351790 HAS SOUPS 351790 WITH SCORE 352826.167
AT ITER 3445 NEW BEST:: SOT 3242378 SOS 1035809 HAS SOPS 1035809 HAS SOUS 351660 HAS SOUPS 351660 WITH SCORE 352695.809
AT ITER 3450 NEW BEST:: SOT 3242363 SOS 1035654 HAS SOPS 1035654 HAS SOUS 351339 HAS SOUPS 351339 WITH SCORE 352374.654
AT ITER 3471 NEW BEST:: SOT 3242429 SOS 1035720 HAS SOPS 1035720 HAS SOUS 351277 HAS SOUPS 351277 WITH SCORE 352312.72
AT ITER 3483 NEW BEST:: SOT 3242339 SOS 1035630 HAS SOPS 1035630 HAS SOUS 351257 HAS SOUPS 351257 WITH SCORE 352292.63
AT ITER 3496 NEW BEST:: SOT 3242236 SOS 1035424 HAS SOPS 1035424 HAS SOUS 351154 HAS SOUPS 351154 WITH SCORE 352189.424
AT ITER 3514 NEW BEST:: SOT 3242236 SOS 1035404 HAS SOPS 1035404 HAS SOUS 351134 HAS SOUPS 351134 WITH SCORE 352169.404
AT ITER 3535 NEW BEST:: SOT 3242235 SOS 1035402 HAS SOPS 1035402 HAS SOUS 351132 HAS SOUPS 351132 WITH SCORE 352167.402
AT ITER 3557 NEW BEST:: SOT 3242191 SOS 1035314 HAS SOPS 1035314 HAS SOUS 351044 HAS SOUPS 351044 WITH SCORE 352079.314
AT ITER 3565 NEW BEST:: SOT 3242086 SOS 1035860 HAS SOPS 1035860 HAS SOUS 351023 HAS SOUPS 351023 WITH SCORE 352058.86
AT ITER 3568 NEW BEST:: SOT 3242074 SOS 1035774 HAS SOPS 1035774 HAS SOUS 350987 HAS SOUPS 350987 WITH SCORE 352022.774
AT ITER 3577 NEW BEST:: SOT 3242074 SOS 1035774 HAS SOPS 1035774 HAS SOUS 350973 HAS SOUPS 350973 WITH SCORE 352008.774
AT ITER 3599 NEW BEST:: SOT 3242073 SOS 1035772 HAS SOPS 1035772 HAS SOUS 350971 HAS SOUPS 350971 WITH SCORE 352006.772
AT ITER 3602 NEW BEST:: SOT 3242044 SOS 1035714 HAS SOPS 1035714 HAS SOUS 350913 HAS SOUPS 350913 WITH SCORE 351948.714
AT ITER 3618 NEW BEST:: SOT 3242052 SOS 1034134 HAS SOPS 1034134 HAS SOUS 350703 HAS SOUPS 350703 WITH SCORE 351737.134
AT ITER 3664 NEW BEST:: SOT 3242052 SOS 1034134 HAS SOPS 1034134 HAS SOUS 350509 HAS SOUPS 350509 WITH SCORE 351543.134
AT ITER 3680 NEW BEST:: SOT 3242052 SOS 1034134 HAS SOPS 1034134 HAS SOUS 350475 HAS SOUPS 350475 WITH SCORE 351509.134
AT ITER 3692 NEW BEST:: SOT 3241962 SOS 1034134 HAS SOPS 1034134 HAS SOUS 350417 HAS SOUPS 350417 WITH SCORE 351451.134
AT ITER 3693 NEW BEST:: SOT 3241442 SOS 1034792 HAS SOPS 1034792 HAS SOUS 350131 HAS SOUPS 350131 WITH SCORE 351165.792
AT ITER 3708 NEW BEST:: SOT 3241372 SOS 1034532 HAS SOPS 1034532 HAS SOUS 349941 HAS SOUPS 349941 WITH SCORE 350975.532
AT ITER 3761 NEW BEST:: SOT 3241126 SOS 1030392 HAS SOPS 1030392 HAS SOUS 349503 HAS SOUPS 349503 WITH SCORE 350533.392
AT ITER 3769 NEW BEST:: SOT 3241119 SOS 1030379 HAS SOPS 1030379 HAS SOUS 349496 HAS SOUPS 349496 WITH SCORE 350526.379
AT ITER 3780 NEW BEST:: SOT 3240993 SOS 1028952 HAS SOPS 1028952 HAS SOUS 349244 HAS SOUPS 349244 WITH SCORE 350272.952
AT ITER 3783 NEW BEST:: SOT 3240950 SOS 1028866 HAS SOPS 1028866 HAS SOUS 349201 HAS SOUPS 349201 WITH SCORE 350229.866
AT ITER 3791 NEW BEST:: SOT 3240950 SOS 1028863 HAS SOPS 1028863 HAS SOUS 348907 HAS SOUPS 348907 WITH SCORE 349935.863
AT ITER 3824 NEW BEST:: SOT 3240950 SOS 1028709 HAS SOPS 1028709 HAS SOUS 348907 HAS SOUPS 348907 WITH SCORE 349935.709
AT ITER 3830 NEW BEST:: SOT 3240954 SOS 1028684 HAS SOPS 1028684 HAS SOUS 348882 HAS SOUPS 348882 WITH SCORE 349910.684
AT ITER 3837 NEW BEST:: SOT 3240727 SOS 1028457 HAS SOPS 1028457 HAS SOUS 348707 HAS SOUPS 348707 WITH SCORE 349735.457
AT ITER 3846 NEW BEST:: SOT 3240337 SOS 1038343 HAS SOPS 1038343 HAS SOUS 348222 HAS SOUPS 348222 WITH SCORE 349260.343
AT ITER 3866 NEW BEST:: SOT 3240133 SOS 1038273 HAS SOPS 1038273 HAS SOUS 348113 HAS SOUPS 348113 WITH SCORE 349151.273
AT ITER 3869 NEW BEST:: SOT 3240037 SOS 1038497 HAS SOPS 1038497 HAS SOUS 348017 HAS SOUPS 348017 WITH SCORE 349055.497
AT ITER 3877 NEW BEST:: SOT 3239866 SOS 1038440 HAS SOPS 1038440 HAS SOUS 347903 HAS SOUPS 347903 WITH SCORE 348941.44
AT ITER 3884 NEW BEST:: SOT 3239864 SOS 1038440 HAS SOPS 1038440 HAS SOUS 347901 HAS SOUPS 347901 WITH SCORE 348939.44
AT ITER 3910 NEW BEST:: SOT 3239696 SOS 1037936 HAS SOPS 1037936 HAS SOUS 347565 HAS SOUPS 347565 WITH SCORE 348602.936
AT ITER 3920 NEW BEST:: SOT 3239705 SOS 1037845 HAS SOPS 1037845 HAS SOUS 347474 HAS SOUPS 347474 WITH SCORE 348511.845
AT ITER 3934 NEW BEST:: SOT 3239705 SOS 1037845 HAS SOPS 1037845 HAS SOUS 347460 HAS SOUPS 347460 WITH SCORE 348497.845
AT ITER 3941 NEW BEST:: SOT 3239611 SOS 1037657 HAS SOPS 1037657 HAS SOUS 347272 HAS SOUPS 347272 WITH SCORE 348309.657
AT ITER 3949 NEW BEST:: SOT 3239584 SOS 1037603 HAS SOPS 1037603 HAS SOUS 347245 HAS SOUPS 347245 WITH SCORE 348282.603
AT ITER 3968 NEW BEST:: SOT 3239584 SOS 1037553 HAS SOPS 1037553 HAS SOUS 347245 HAS SOUPS 347245 WITH SCORE 348282.553
AT ITER 4000 NEW BEST:: SOT 3239562 SOS 1037509 HAS SOPS 1037509 HAS SOUS 347201 HAS SOUPS 347201 WITH SCORE 348238.509
AT ITER 4009 NEW BEST:: SOT 3239532 SOS 1037579 HAS SOPS 1037579 HAS SOUS 347171 HAS SOUPS 347171 WITH SCORE 348208.579
AT ITER 4010 NEW BEST:: SOT 3239495 SOS 1037505 HAS SOPS 1037505 HAS SOUS 347148 HAS SOUPS 347148 WITH SCORE 348185.505
AT ITER 4035 NEW BEST:: SOT 3239495 SOS 1037505 HAS SOPS 1037505 HAS SOUS 347118 HAS SOUPS 347118 WITH SCORE 348155.505
AT ITER 4052 NEW BEST:: SOT 3239480 SOS 1037330 HAS SOPS 1037330 HAS SOUS 347058 HAS SOUPS 347058 WITH SCORE 348095.33
AT ITER 4058 NEW BEST:: SOT 3239479 SOS 1037329 HAS SOPS 1037329 HAS SOUS 347056 HAS SOUPS 347056 WITH SCORE 348093.329
AT ITER 4069 NEW BEST:: SOT 3239380 SOS 1037230 HAS SOPS 1037230 HAS SOUS 346957 HAS SOUPS 346957 WITH SCORE 347994.23
AT ITER 4100 NEW BEST:: SOT 3239154 SOS 1036778 HAS SOPS 1036778 HAS SOUS 346505 HAS SOUPS 346505 WITH SCORE 347541.778
AT ITER 4112 NEW BEST:: SOT 3239386 SOS 1037092 HAS SOPS 1037092 HAS SOUS 346407 HAS SOUPS 346407 WITH SCORE 347444.092
AT ITER 4127 NEW BEST:: SOT 3239344 SOS 1036991 HAS SOPS 1036991 HAS SOUS 346306 HAS SOUPS 346306 WITH SCORE 347342.991
AT ITER 4131 NEW BEST:: SOT 3239355 SOS 1036883 HAS SOPS 1036883 HAS SOUS 346272 HAS SOUPS 346272 WITH SCORE 347308.883
AT ITER 4182 NEW BEST:: SOT 3239465 SOS 1038010 HAS SOPS 1038010 HAS SOUS 346221 HAS SOUPS 346221 WITH SCORE 347259.01
AT ITER 4185 NEW BEST:: SOT 3239337 SOS 1038046 HAS SOPS 1038046 HAS SOUS 346170 HAS SOUPS 346170 WITH SCORE 347208.046
AT ITER 4199 NEW BEST:: SOT 3239336 SOS 1038044 HAS SOPS 1038044 HAS SOUS 346168 HAS SOUPS 346168 WITH SCORE 347206.044
AT ITER 4218 NEW BEST:: SOT 3239247 SOS 1037866 HAS SOPS 1037866 HAS SOUS 346079 HAS SOUPS 346079 WITH SCORE 347116.866
AT ITER 4251 NEW BEST:: SOT 3239133 SOS 1037866 HAS SOPS 1037866 HAS SOUS 345965 HAS SOUPS 345965 WITH SCORE 347002.866
AT ITER 4259 NEW BEST:: SOT 3239081 SOS 1037762 HAS SOPS 1037762 HAS SOUS 345861 HAS SOUPS 345861 WITH SCORE 346898.762
AT ITER 4262 NEW BEST:: SOT 3239341 SOS 1040562 HAS SOPS 1040562 HAS SOUS 345587 HAS SOUPS 345587 WITH SCORE 346627.562
AT ITER 4263 NEW BEST:: SOT 3239264 SOS 1040840 HAS SOPS 1040840 HAS SOUS 345433 HAS SOUPS 345433 WITH SCORE 346473.84
AT ITER 4267 NEW BEST:: SOT 3239264 SOS 1040840 HAS SOPS 1040840 HAS SOUS 345387 HAS SOUPS 345387 WITH SCORE 346427.84
AT ITER 4305 NEW BEST:: SOT 3239224 SOS 1040800 HAS SOPS 1040800 HAS SOUS 345320 HAS SOUPS 345320 WITH SCORE 346360.8
AT ITER 4307 NEW BEST:: SOT 3239224 SOS 1040800 HAS SOPS 1040800 HAS SOUS 345204 HAS SOUPS 345204 WITH SCORE 346244.8
AT ITER 4334 NEW BEST:: SOT 3239220 SOS 1040729 HAS SOPS 1040729 HAS SOUS 345133 HAS SOUPS 345133 WITH SCORE 346173.729
AT ITER 4353 NEW BEST:: SOT 3239193 SOS 1041188 HAS SOPS 1041188 HAS SOUS 345097 HAS SOUPS 345097 WITH SCORE 346138.188
AT ITER 4370 NEW BEST:: SOT 3239228 SOS 1041258 HAS SOPS 1041258 HAS SOUS 344794 HAS SOUPS 344794 WITH SCORE 345835.258
AT ITER 4399 NEW BEST:: SOT 3239000 SOS 1040928 HAS SOPS 1040928 HAS SOUS 344479 HAS SOUPS 344479 WITH SCORE 345519.928
AT ITER 4418 NEW BEST:: SOT 3238988 SOS 1041057 HAS SOPS 1041057 HAS SOUS 340420 HAS SOUPS 340420 WITH SCORE 341461.057
AT ITER 4419 NEW BEST:: SOT 3238956 SOS 1041029 HAS SOPS 1041029 HAS SOUS 340392 HAS SOUPS 340392 WITH SCORE 341433.029
AT ITER 4435 NEW BEST:: SOT 3238956 SOS 1040676 HAS SOPS 1040676 HAS SOUS 340192 HAS SOUPS 340192 WITH SCORE 341232.676
AT ITER 4487 NEW BEST:: SOT 3238955 SOS 1040674 HAS SOPS 1040674 HAS SOUS 340190 HAS SOUPS 340190 WITH SCORE 341230.674
AT ITER 4500 NEW BEST:: SOT 3239112 SOS 1040693 HAS SOPS 1040693 HAS SOUS 340150 HAS SOUPS 340150 WITH SCORE 341190.693
AT ITER 4521 NEW BEST:: SOT 3239155 SOS 1040669 HAS SOPS 1040669 HAS SOUS 340126 HAS SOUPS 340126 WITH SCORE 341166.669
AT ITER 4542 NEW BEST:: SOT 3239121 SOS 1040669 HAS SOPS 1040669 HAS SOUS 340109 HAS SOUPS 340109 WITH SCORE 341149.669
AT ITER 4544 NEW BEST:: SOT 3239018 SOS 1040463 HAS SOPS 1040463 HAS SOUS 339999 HAS SOUPS 339999 WITH SCORE 341039.463
AT ITER 4573 NEW BEST:: SOT 3238687 SOS 1043508 HAS SOPS 1043508 HAS SOUS 339940 HAS SOUPS 339940 WITH SCORE 340983.508
AT ITER 4577 NEW BEST:: SOT 3238342 SOS 1043163 HAS SOPS 1043163 HAS SOUS 339649 HAS SOUPS 339649 WITH SCORE 340692.163
AT ITER 4612 NEW BEST:: SOT 3238314 SOS 1043107 HAS SOPS 1043107 HAS SOUS 339538 HAS SOUPS 339538 WITH SCORE 340581.107
AT ITER 4620 NEW BEST:: SOT 3238314 SOS 1043107 HAS SOPS 1043107 HAS SOUS 339463 HAS SOUPS 339463 WITH SCORE 340506.107
AT ITER 4621 NEW BEST:: SOT 3238179 SOS 1043033 HAS SOPS 1043033 HAS SOUS 339419 HAS SOUPS 339419 WITH SCORE 340462.033
AT ITER 4638 NEW BEST:: SOT 3238040 SOS 1043139 HAS SOPS 1043139 HAS SOUS 339219 HAS SOUPS 339219 WITH SCORE 340262.139
AT ITER 4645 NEW BEST:: SOT 3237288 SOS 1042617 HAS SOPS 1042617 HAS SOUS 339077 HAS SOUPS 339077 WITH SCORE 340119.617
AT ITER 4657 NEW BEST:: SOT 3237069 SOS 1042522 HAS SOPS 1042522 HAS SOUS 338858 HAS SOUPS 338858 WITH SCORE 339900.522
AT ITER 4670 NEW BEST:: SOT 3236803 SOS 1041990 HAS SOPS 1041990 HAS SOUS 338665 HAS SOUPS 338665 WITH SCORE 339706.99
AT ITER 4673 NEW BEST:: SOT 3236693 SOS 1041829 HAS SOPS 1041829 HAS SOUS 338608 HAS SOUPS 338608 WITH SCORE 339649.829
AT ITER 4677 NEW BEST:: SOT 3236566 SOS 1041771 HAS SOPS 1041771 HAS SOUS 338608 HAS SOUPS 338608 WITH SCORE 339649.771
AT ITER 4709 NEW BEST:: SOT 3234683 SOS 1039925 HAS SOPS 1039925 HAS SOUS 337518 HAS SOUPS 337518 WITH SCORE 338557.925
AT ITER 4722 NEW BEST:: SOT 3234197 SOS 1039487 HAS SOPS 1039487 HAS SOUS 337080 HAS SOUPS 337080 WITH SCORE 338119.487
AT ITER 4727 NEW BEST:: SOT 3234189 SOS 1039471 HAS SOPS 1039471 HAS SOUS 337072 HAS SOUPS 337072 WITH SCORE 338111.471
AT ITER 4770 NEW BEST:: SOT 3233846 SOS 1039015 HAS SOPS 1039015 HAS SOUS 336655 HAS SOUPS 336655 WITH SCORE 337694.015
AT ITER 4783 NEW BEST:: SOT 3233772 SOS 1038867 HAS SOPS 1038867 HAS SOUS 336507 HAS SOUPS 336507 WITH SCORE 337545.867
AT ITER 4810 NEW BEST:: SOT 3233772 SOS 1038867 HAS SOPS 1038867 HAS SOUS 336391 HAS SOUPS 336391 WITH SCORE 337429.867
AT ITER 4817 NEW BEST:: SOT 3233772 SOS 1038702 HAS SOPS 1038702 HAS SOUS 336168 HAS SOUPS 336168 WITH SCORE 337206.702
AT ITER 4831 NEW BEST:: SOT 3233397 SOS 1039208 HAS SOPS 1039208 HAS SOUS 335950 HAS SOUPS 335950 WITH SCORE 336989.208
AT ITER 4867 NEW BEST:: SOT 3233397 SOS 1039208 HAS SOPS 1039208 HAS SOUS 335786 HAS SOUPS 335786 WITH SCORE 336825.208
AT ITER 4872 NEW BEST:: SOT 3233374 SOS 1039185 HAS SOPS 1039185 HAS SOUS 335763 HAS SOUPS 335763 WITH SCORE 336802.185
AT ITER 4902 NEW BEST:: SOT 3233370 SOS 1039133 HAS SOPS 1039133 HAS SOUS 335751 HAS SOUPS 335751 WITH SCORE 336790.133
AT ITER 4904 NEW BEST:: SOT 3233370 SOS 1039131 HAS SOPS 1039131 HAS SOUS 335749 HAS SOUPS 335749 WITH SCORE 336788.131
AT ITER 4909 NEW BEST:: SOT 3232997 SOS 1039171 HAS SOPS 1039171 HAS SOUS 335463 HAS SOUPS 335463 WITH SCORE 336502.171
AT ITER 4915 NEW BEST:: SOT 3232971 SOS 1039119 HAS SOPS 1039119 HAS SOUS 335411 HAS SOUPS 335411 WITH SCORE 336450.119
AT ITER 4919 NEW BEST:: SOT 3232938 SOS 1039053 HAS SOPS 1039053 HAS SOUS 335378 HAS SOUPS 335378 WITH SCORE 336417.053
AT ITER 4932 NEW BEST:: SOT 3232895 SOS 1038967 HAS SOPS 1038967 HAS SOUS 335292 HAS SOUPS 335292 WITH SCORE 336330.967
AT ITER 4933 NEW BEST:: SOT 3232906 SOS 1038967 HAS SOPS 1038967 HAS SOUS 335281 HAS SOUPS 335281 WITH SCORE 336319.967
AT ITER 4944 NEW BEST:: SOT 3232801 SOS 1036997 HAS SOPS 1036997 HAS SOUS 335176 HAS SOUPS 335176 WITH SCORE 336212.997
AT ITER 4947 NEW BEST:: SOT 3232782 SOS 1036959 HAS SOPS 1036959 HAS SOUS 335138 HAS SOUPS 335138 WITH SCORE 336174.959
AT ITER 4954 NEW BEST:: SOT 3232656 SOS 1036917 HAS SOPS 1036917 HAS SOUS 335054 HAS SOUPS 335054 WITH SCORE 336090.917
AT ITER 4966 NEW BEST:: SOT 3232634 SOS 1036895 HAS SOPS 1036895 HAS SOUS 335051 HAS SOUPS 335051 WITH SCORE 336087.895
AT ITER 4970 NEW BEST:: SOT 3232622 SOS 1036941 HAS SOPS 1036941 HAS SOUS 335039 HAS SOUPS 335039 WITH SCORE 336075.941
AT ITER 4980 NEW BEST:: SOT 3232599 SOS 1036918 HAS SOPS 1036918 HAS SOUS 335009 HAS SOUPS 335009 WITH SCORE 336045.918
AT ITER 4983 NEW BEST:: SOT 3232599 SOS 1036969 HAS SOPS 1036969 HAS SOUS 334958 HAS SOUPS 334958 WITH SCORE 335994.969
AT ITER 4984 NEW BEST:: SOT 3232599 SOS 1036675 HAS SOPS 1036675 HAS SOUS 334868 HAS SOUPS 334868 WITH SCORE 335904.675
AT ITER 4988 NEW BEST:: SOT 3232558 SOS 1036631 HAS SOPS 1036631 HAS SOUS 334824 HAS SOUPS 334824 WITH SCORE 335860.631
AT ITER 4994 NEW BEST:: SOT 3232526 SOS 1037221 HAS SOPS 1037221 HAS SOUS 334685 HAS SOUPS 334685 WITH SCORE 335722.221
AT ITER 5012 NEW BEST:: SOT 3232466 SOS 1037151 HAS SOPS 1037151 HAS SOUS 334614 HAS SOUPS 334614 WITH SCORE 335651.151
AT ITER 5042 NEW BEST:: SOT 3232407 SOS 1037144 HAS SOPS 1037144 HAS SOUS 334607 HAS SOUPS 334607 WITH SCORE 335644.144
AT ITER 5047 NEW BEST:: SOT 3232387 SOS 1037104 HAS SOPS 1037104 HAS SOUS 334567 HAS SOUPS 334567 WITH SCORE 335604.104
AT ITER 5049 NEW BEST:: SOT 3232208 SOS 1037313 HAS SOPS 1037313 HAS SOUS 334267 HAS SOUPS 334267 WITH SCORE 335304.313
AT ITER 5050 NEW BEST:: SOT 3232195 SOS 1037287 HAS SOPS 1037287 HAS SOUS 334254 HAS SOUPS 334254 WITH SCORE 335291.287
AT ITER 5056 NEW BEST:: SOT 3232225 SOS 1037257 HAS SOPS 1037257 HAS SOUS 334254 HAS SOUPS 334254 WITH SCORE 335291.257
AT ITER 5062 NEW BEST:: SOT 3232216 SOS 1037281 HAS SOPS 1037281 HAS SOUS 334245 HAS SOUPS 334245 WITH SCORE 335282.281
AT ITER 5071 NEW BEST:: SOT 3232260 SOS 1037325 HAS SOPS 1037325 HAS SOUS 334108 HAS SOUPS 334108 WITH SCORE 335145.325
AT ITER 5123 NEW BEST:: SOT 3232213 SOS 1037231 HAS SOPS 1037231 HAS SOUS 334014 HAS SOUPS 334014 WITH SCORE 335051.231
AT ITER 5125 NEW BEST:: SOT 3232137 SOS 1037079 HAS SOPS 1037079 HAS SOUS 333746 HAS SOUPS 333746 WITH SCORE 334783.079
AT ITER 5182 NEW BEST:: SOT 3232119 SOS 1037043 HAS SOPS 1037043 HAS SOUS 333710 HAS SOUPS 333710 WITH SCORE 334747.043
AT ITER 5193 NEW BEST:: SOT 3232105 SOS 1037015 HAS SOPS 1037015 HAS SOUS 333609 HAS SOUPS 333609 WITH SCORE 334646.015
AT ITER 5203 NEW BEST:: SOT 3231936 SOS 1037153 HAS SOPS 1037153 HAS SOUS 333390 HAS SOUPS 333390 WITH SCORE 334427.153
AT ITER 5213 NEW BEST:: SOT 3231767 SOS 1037182 HAS SOPS 1037182 HAS SOUS 333369 HAS SOUPS 333369 WITH SCORE 334406.182
AT ITER 5246 NEW BEST:: SOT 3231753 SOS 1037154 HAS SOPS 1037154 HAS SOUS 333355 HAS SOUPS 333355 WITH SCORE 334392.154
AT ITER 5285 NEW BEST:: SOT 3231753 SOS 1036549 HAS SOPS 1036549 HAS SOUS 333355 HAS SOUPS 333355 WITH SCORE 334391.549
AT ITER 5306 NEW BEST:: SOT 3231753 SOS 1036548 HAS SOPS 1036548 HAS SOUS 333309 HAS SOUPS 333309 WITH SCORE 334345.548
AT ITER 5329 NEW BEST:: SOT 3231721 SOS 1036423 HAS SOPS 1036423 HAS SOUS 333245 HAS SOUPS 333245 WITH SCORE 334281.423
AT ITER 5345 NEW BEST:: SOT 3231721 SOS 1036392 HAS SOPS 1036392 HAS SOUS 333177 HAS SOUPS 333177 WITH SCORE 334213.392
AT ITER 5352 NEW BEST:: SOT 3231721 SOS 1036440 HAS SOPS 1036440 HAS SOUS 333151 HAS SOUPS 333151 WITH SCORE 334187.44
AT ITER 5356 NEW BEST:: SOT 3231656 SOS 1036375 HAS SOPS 1036375 HAS SOUS 333086 HAS SOUPS 333086 WITH SCORE 334122.375
AT ITER 5359 NEW BEST:: SOT 3231474 SOS 1036011 HAS SOPS 1036011 HAS SOUS 332767 HAS SOUPS 332767 WITH SCORE 333803.011
AT ITER 5384 NEW BEST:: SOT 3231474 SOS 1035921 HAS SOPS 1035921 HAS SOUS 332722 HAS SOUPS 332722 WITH SCORE 333757.921
AT ITER 5400 NEW BEST:: SOT 3231299 SOS 1035571 HAS SOPS 1035571 HAS SOUS 332372 HAS SOUPS 332372 WITH SCORE 333407.571
AT ITER 5404 NEW BEST:: SOT 3231299 SOS 1035571 HAS SOPS 1035571 HAS SOUS 332113 HAS SOUPS 332113 WITH SCORE 333148.571
AT ITER 5438 NEW BEST:: SOT 3231232 SOS 1035437 HAS SOPS 1035437 HAS SOUS 332046 HAS SOUPS 332046 WITH SCORE 333081.437
AT ITER 5456 NEW BEST:: SOT 3231247 SOS 1035467 HAS SOPS 1035467 HAS SOUS 332000 HAS SOUPS 332000 WITH SCORE 333035.467
AT ITER 5478 NEW BEST:: SOT 3231164 SOS 1035301 HAS SOPS 1035301 HAS SOUS 331780 HAS SOUPS 331780 WITH SCORE 332815.301
AT ITER 5512 NEW BEST:: SOT 3231104 SOS 1035181 HAS SOPS 1035181 HAS SOUS 331707 HAS SOUPS 331707 WITH SCORE 332742.181
AT ITER 5514 NEW BEST:: SOT 3230928 SOS 1034961 HAS SOPS 1034961 HAS SOUS 331486 HAS SOUPS 331486 WITH SCORE 332520.961
AT ITER 5521 NEW BEST:: SOT 3230831 SOS 1035144 HAS SOPS 1035144 HAS SOUS 331405 HAS SOUPS 331405 WITH SCORE 332440.144
AT ITER 5559 NEW BEST:: SOT 3230768 SOS 1035018 HAS SOPS 1035018 HAS SOUS 331216 HAS SOUPS 331216 WITH SCORE 332251.018
AT ITER 5572 NEW BEST:: SOT 3230792 SOS 1035066 HAS SOPS 1035066 HAS SOUS 331030 HAS SOUPS 331030 WITH SCORE 332065.066
AT ITER 5585 NEW BEST:: SOT 3230653 SOS 1034788 HAS SOPS 1034788 HAS SOUS 330983 HAS SOUPS 330983 WITH SCORE 332017.788
AT ITER 5589 NEW BEST:: SOT 3230653 SOS 1034779 HAS SOPS 1034779 HAS SOUS 330983 HAS SOUPS 330983 WITH SCORE 332017.779
AT ITER 5600 NEW BEST:: SOT 3230653 SOS 1035001 HAS SOPS 1035001 HAS SOUS 330892 HAS SOUPS 330892 WITH SCORE 331927.001
AT ITER 5605 NEW BEST:: SOT 3230638 SOS 1034986 HAS SOPS 1034986 HAS SOUS 330877 HAS SOUPS 330877 WITH SCORE 331911.986
AT ITER 5632 NEW BEST:: SOT 3230577 SOS 1034864 HAS SOPS 1034864 HAS SOUS 330754 HAS SOUPS 330754 WITH SCORE 331788.864
AT ITER 5646 NEW BEST:: SOT 3230672 SOS 1034769 HAS SOPS 1034769 HAS SOUS 330754 HAS SOUPS 330754 WITH SCORE 331788.769
AT ITER 5652 NEW BEST:: SOT 3230357 SOS 1034472 HAS SOPS 1034472 HAS SOUS 330562 HAS SOUPS 330562 WITH SCORE 331596.472
AT ITER 5658 NEW BEST:: SOT 3230357 SOS 1034472 HAS SOPS 1034472 HAS SOUS 330528 HAS SOUPS 330528 WITH SCORE 331562.472
AT ITER 5675 NEW BEST:: SOT 3230356 SOS 1034470 HAS SOPS 1034470 HAS SOUS 330526 HAS SOUPS 330526 WITH SCORE 331560.47
AT ITER 5689 NEW BEST:: SOT 3229631 SOS 1033556 HAS SOPS 1033556 HAS SOUS 329810 HAS SOUPS 329810 WITH SCORE 330843.556
AT ITER 5690 NEW BEST:: SOT 3229631 SOS 1033556 HAS SOPS 1033556 HAS SOUS 329778 HAS SOUPS 329778 WITH SCORE 330811.556
AT ITER 5735 NEW BEST:: SOT 3229525 SOS 1033344 HAS SOPS 1033344 HAS SOUS 329411 HAS SOUPS 329411 WITH SCORE 330444.344
AT ITER 5743 NEW BEST:: SOT 3229465 SOS 1033224 HAS SOPS 1033224 HAS SOUS 329387 HAS SOUPS 329387 WITH SCORE 330420.224
AT ITER 5749 NEW BEST:: SOT 3229465 SOS 1033044 HAS SOPS 1033044 HAS SOUS 329266 HAS SOUPS 329266 WITH SCORE 330299.044
AT ITER 5750 NEW BEST:: SOT 3229487 SOS 1033128 HAS SOPS 1033128 HAS SOUS 329145 HAS SOUPS 329145 WITH SCORE 330178.128
AT ITER 5771 NEW BEST:: SOT 3229384 SOS 1032922 HAS SOPS 1032922 HAS SOUS 328939 HAS SOUPS 328939 WITH SCORE 329971.922
AT ITER 5777 NEW BEST:: SOT 3229384 SOS 1032922 HAS SOPS 1032922 HAS SOUS 328930 HAS SOUPS 328930 WITH SCORE 329962.922
AT ITER 5790 NEW BEST:: SOT 3229301 SOS 1032756 HAS SOPS 1032756 HAS SOUS 328922 HAS SOUPS 328922 WITH SCORE 329954.756
AT ITER 5807 NEW BEST:: SOT 3228952 SOS 1033306 HAS SOPS 1033306 HAS SOUS 328573 HAS SOUPS 328573 WITH SCORE 329606.306
AT ITER 5824 NEW BEST:: SOT 3228952 SOS 1033046 HAS SOPS 1033046 HAS SOUS 328573 HAS SOUPS 328573 WITH SCORE 329606.046
AT ITER 5839 NEW BEST:: SOT 3228583 SOS 1032519 HAS SOPS 1032519 HAS SOUS 328287 HAS SOUPS 328287 WITH SCORE 329319.519
AT ITER 5847 NEW BEST:: SOT 3228583 SOS 1032524 HAS SOPS 1032524 HAS SOUS 328278 HAS SOUPS 328278 WITH SCORE 329310.524
AT ITER 5857 NEW BEST:: SOT 3228259 SOS 1034190 HAS SOPS 1034190 HAS SOUS 328097 HAS SOUPS 328097 WITH SCORE 329131.19
AT ITER 5862 NEW BEST:: SOT 3227955 SOS 1035062 HAS SOPS 1035062 HAS SOUS 327978 HAS SOUPS 327978 WITH SCORE 329013.062
AT ITER 5882 NEW BEST:: SOT 3227954 SOS 1035060 HAS SOPS 1035060 HAS SOUS 327977 HAS SOUPS 327977 WITH SCORE 329012.06
AT ITER 5891 NEW BEST:: SOT 3227890 SOS 1034932 HAS SOPS 1034932 HAS SOUS 327972 HAS SOUPS 327972 WITH SCORE 329006.932
AT ITER 5904 NEW BEST:: SOT 3227960 SOS 1035279 HAS SOPS 1035279 HAS SOUS 327905 HAS SOUPS 327905 WITH SCORE 328940.279
AT ITER 5914 NEW BEST:: SOT 3227960 SOS 1035279 HAS SOPS 1035279 HAS SOUS 327873 HAS SOUPS 327873 WITH SCORE 328908.279
AT ITER 5948 NEW BEST:: SOT 3227960 SOS 1035233 HAS SOPS 1035233 HAS SOUS 327873 HAS SOUPS 327873 WITH SCORE 328908.233
AT ITER 5955 NEW BEST:: SOT 3227975 SOS 1035263 HAS SOPS 1035263 HAS SOUS 327581 HAS SOUPS 327581 WITH SCORE 328616.263
AT ITER 5961 NEW BEST:: SOT 3228019 SOS 1035307 HAS SOPS 1035307 HAS SOUS 327560 HAS SOUPS 327560 WITH SCORE 328595.307
AT ITER 5988 NEW BEST:: SOT 3228019 SOS 1035307 HAS SOPS 1035307 HAS SOUS 327542 HAS SOUPS 327542 WITH SCORE 328577.307
AT ITER 6003 NEW BEST:: SOT 3227924 SOS 1035117 HAS SOPS 1035117 HAS SOUS 327481 HAS SOUPS 327481 WITH SCORE 328516.117
AT ITER 6025 NEW BEST:: SOT 3227922 SOS 1035115 HAS SOPS 1035115 HAS SOUS 327479 HAS SOUPS 327479 WITH SCORE 328514.115
AT ITER 6037 NEW BEST:: SOT 3227922 SOS 1035077 HAS SOPS 1035077 HAS SOUS 327441 HAS SOUPS 327441 WITH SCORE 328476.077
AT ITER 6046 NEW BEST:: SOT 3227808 SOS 1035077 HAS SOPS 1035077 HAS SOUS 327327 HAS SOUPS 327327 WITH SCORE 328362.077
AT ITER 6048 NEW BEST:: SOT 3227660 SOS 1034929 HAS SOPS 1034929 HAS SOUS 327327 HAS SOUPS 327327 WITH SCORE 328361.929
AT ITER 6112 NEW BEST:: SOT 3227660 SOS 1034929 HAS SOPS 1034929 HAS SOUS 327292 HAS SOUPS 327292 WITH SCORE 328326.929
AT ITER 6113 NEW BEST:: SOT 3227660 SOS 1034890 HAS SOPS 1034890 HAS SOUS 327253 HAS SOUPS 327253 WITH SCORE 328287.89
AT ITER 6118 NEW BEST:: SOT 3227513 SOS 1034743 HAS SOPS 1034743 HAS SOUS 327105 HAS SOUPS 327105 WITH SCORE 328139.743
AT ITER 6125 NEW BEST:: SOT 3227492 SOS 1034701 HAS SOPS 1034701 HAS SOUS 327063 HAS SOUPS 327063 WITH SCORE 328097.701
AT ITER 6128 NEW BEST:: SOT 3227436 SOS 1034589 HAS SOPS 1034589 HAS SOUS 326951 HAS SOUPS 326951 WITH SCORE 327985.589
AT ITER 6147 NEW BEST:: SOT 3227434 SOS 1034585 HAS SOPS 1034585 HAS SOUS 326951 HAS SOUPS 326951 WITH SCORE 327985.585
AT ITER 6178 NEW BEST:: SOT 3227434 SOS 1039698 HAS SOPS 1039698 HAS SOUS 326942 HAS SOUPS 326942 WITH SCORE 327981.698
AT ITER 6184 NEW BEST:: SOT 3227390 SOS 1039610 HAS SOPS 1039610 HAS SOUS 326854 HAS SOUPS 326854 WITH SCORE 327893.61
AT ITER 6190 NEW BEST:: SOT 3227134 SOS 1039098 HAS SOPS 1039098 HAS SOUS 326835 HAS SOUPS 326835 WITH SCORE 327874.098
AT ITER 6237 NEW BEST:: SOT 3226930 SOS 1038690 HAS SOPS 1038690 HAS SOUS 326302 HAS SOUPS 326302 WITH SCORE 327340.69
AT ITER 6246 NEW BEST:: SOT 3226997 SOS 1040799 HAS SOPS 1040799 HAS SOUS 326041 HAS SOUPS 326041 WITH SCORE 327081.799
AT ITER 6264 NEW BEST:: SOT 3226993 SOS 1040791 HAS SOPS 1040791 HAS SOUS 326037 HAS SOUPS 326037 WITH SCORE 327077.791
AT ITER 6271 NEW BEST:: SOT 3226777 SOS 1040575 HAS SOPS 1040575 HAS SOUS 325753 HAS SOUPS 325753 WITH SCORE 326793.575
AT ITER 6281 NEW BEST:: SOT 3226815 SOS 1040754 HAS SOPS 1040754 HAS SOUS 325744 HAS SOUPS 325744 WITH SCORE 326784.754
AT ITER 6313 NEW BEST:: SOT 3226130 SOS 1040103 HAS SOPS 1040103 HAS SOUS 325333 HAS SOUPS 325333 WITH SCORE 326373.103
AT ITER 6340 NEW BEST:: SOT 3226153 SOS 1040149 HAS SOPS 1040149 HAS SOUS 325286 HAS SOUPS 325286 WITH SCORE 326326.149
AT ITER 6343 NEW BEST:: SOT 3226152 SOS 1040148 HAS SOPS 1040148 HAS SOUS 325285 HAS SOUPS 325285 WITH SCORE 326325.148
AT ITER 6350 NEW BEST:: SOT 3226687 SOS 1082291 HAS SOPS 1082291 HAS SOUS 325054 HAS SOUPS 325054 WITH SCORE 326136.291
AT ITER 6361 NEW BEST:: SOT 3226751 SOS 1082335 HAS SOPS 1082335 HAS SOUS 324920 HAS SOUPS 324920 WITH SCORE 326002.335
AT ITER 6378 NEW BEST:: SOT 3226523 SOS 1082107 HAS SOPS 1082107 HAS SOUS 324635 HAS SOUPS 324635 WITH SCORE 325717.107
AT ITER 6390 NEW BEST:: SOT 3226512 SOS 1082085 HAS SOPS 1082085 HAS SOUS 324622 HAS SOUPS 324622 WITH SCORE 325704.085
AT ITER 6413 NEW BEST:: SOT 3226654 SOS 1082227 HAS SOPS 1082227 HAS SOUS 324592 HAS SOUPS 324592 WITH SCORE 325674.227
AT ITER 6424 NEW BEST:: SOT 3226654 SOS 1082197 HAS SOPS 1082197 HAS SOUS 324562 HAS SOUPS 324562 WITH SCORE 325644.197
AT ITER 6428 NEW BEST:: SOT 3226647 SOS 1082095 HAS SOPS 1082095 HAS SOUS 324548 HAS SOUPS 324548 WITH SCORE 325630.095
AT ITER 6439 NEW BEST:: SOT 3226606 SOS 1081811 HAS SOPS 1081811 HAS SOUS 324478 HAS SOUPS 324478 WITH SCORE 325559.811
AT ITER 6450 NEW BEST:: SOT 3226605 SOS 1081810 HAS SOPS 1081810 HAS SOUS 324478 HAS SOUPS 324478 WITH SCORE 325559.81
AT ITER 6454 NEW BEST:: SOT 3226620 SOS 1081840 HAS SOPS 1081840 HAS SOUS 324302 HAS SOUPS 324302 WITH SCORE 325383.84
AT ITER 6465 NEW BEST:: SOT 3226523 SOS 1081743 HAS SOPS 1081743 HAS SOUS 324284 HAS SOUPS 324284 WITH SCORE 325365.743
AT ITER 6474 NEW BEST:: SOT 3226455 SOS 1081867 HAS SOPS 1081867 HAS SOUS 324278 HAS SOUPS 324278 WITH SCORE 325359.867
AT ITER 6486 NEW BEST:: SOT 3226419 SOS 1081828 HAS SOPS 1081828 HAS SOUS 324257 HAS SOUPS 324257 WITH SCORE 325338.828
AT ITER 6522 NEW BEST:: SOT 3226309 SOS 1081718 HAS SOPS 1081718 HAS SOUS 324147 HAS SOUPS 324147 WITH SCORE 325228.718
AT ITER 6526 NEW BEST:: SOT 3226185 SOS 1082040 HAS SOPS 1082040 HAS SOUS 324138 HAS SOUPS 324138 WITH SCORE 325220.04
AT ITER 6528 NEW BEST:: SOT 3225855 SOS 1081693 HAS SOPS 1081693 HAS SOUS 323797 HAS SOUPS 323797 WITH SCORE 324878.693
AT ITER 6540 NEW BEST:: SOT 3225800 SOS 1081583 HAS SOPS 1081583 HAS SOUS 323282 HAS SOUPS 323282 WITH SCORE 324363.583
AT ITER 6541 NEW BEST:: SOT 3225590 SOS 1081304 HAS SOPS 1081304 HAS SOUS 323000 HAS SOUPS 323000 WITH SCORE 324081.304
AT ITER 6565 NEW BEST:: SOT 3225508 SOS 1081222 HAS SOPS 1081222 HAS SOUS 322918 HAS SOUPS 322918 WITH SCORE 323999.222
AT ITER 6574 NEW BEST:: SOT 3225367 SOS 1080634 HAS SOPS 1080634 HAS SOUS 322772 HAS SOUPS 322772 WITH SCORE 323852.634
AT ITER 6580 NEW BEST:: SOT 3225322 SOS 1080628 HAS SOPS 1080628 HAS SOUS 322727 HAS SOUPS 322727 WITH SCORE 323807.628
AT ITER 6585 NEW BEST:: SOT 3225322 SOS 1080599 HAS SOPS 1080599 HAS SOUS 322698 HAS SOUPS 322698 WITH SCORE 323778.599
AT ITER 6598 NEW BEST:: SOT 3225248 SOS 1080451 HAS SOPS 1080451 HAS SOUS 322550 HAS SOUPS 322550 WITH SCORE 323630.451
AT ITER 6608 NEW BEST:: SOT 3225248 SOS 1080517 HAS SOPS 1080517 HAS SOUS 322484 HAS SOUPS 322484 WITH SCORE 323564.517
AT ITER 6617 NEW BEST:: SOT 3225224 SOS 1080469 HAS SOPS 1080469 HAS SOUS 322436 HAS SOUPS 322436 WITH SCORE 323516.469
AT ITER 6625 NEW BEST:: SOT 3225249 SOS 1080491 HAS SOPS 1080491 HAS SOUS 322320 HAS SOUPS 322320 WITH SCORE 323400.491
AT ITER 6633 NEW BEST:: SOT 3225301 SOS 1080513 HAS SOPS 1080513 HAS SOUS 322227 HAS SOUPS 322227 WITH SCORE 323307.513
AT ITER 6641 NEW BEST:: SOT 3225461 SOS 1080471 HAS SOPS 1080471 HAS SOUS 322168 HAS SOUPS 322168 WITH SCORE 323248.471
AT ITER 6645 NEW BEST:: SOT 3225455 SOS 1080459 HAS SOPS 1080459 HAS SOUS 322156 HAS SOUPS 322156 WITH SCORE 323236.459
AT ITER 6688 NEW BEST:: SOT 3225283 SOS 1080115 HAS SOPS 1080115 HAS SOUS 321812 HAS SOUPS 321812 WITH SCORE 322892.115
AT ITER 6719 NEW BEST:: SOT 3225191 SOS 1080040 HAS SOPS 1080040 HAS SOUS 321621 HAS SOUPS 321621 WITH SCORE 322701.04
AT ITER 6784 NEW BEST:: SOT 3225175 SOS 1080008 HAS SOPS 1080008 HAS SOUS 321589 HAS SOUPS 321589 WITH SCORE 322669.008
AT ITER 6833 NEW BEST:: SOT 3225165 SOS 1079998 HAS SOPS 1079998 HAS SOUS 321579 HAS SOUPS 321579 WITH SCORE 322658.998
AT ITER 6834 NEW BEST:: SOT 3225011 SOS 1079690 HAS SOPS 1079690 HAS SOUS 321178 HAS SOUPS 321178 WITH SCORE 322257.69
AT ITER 6856 NEW BEST:: SOT 3225011 SOS 1079686 HAS SOPS 1079686 HAS SOUS 321174 HAS SOUPS 321174 WITH SCORE 322253.686
AT ITER 6868 NEW BEST:: SOT 3224998 SOS 1079673 HAS SOPS 1079673 HAS SOUS 321156 HAS SOUPS 321156 WITH SCORE 322235.673
AT ITER 6869 NEW BEST:: SOT 3224998 SOS 1079561 HAS SOPS 1079561 HAS SOUS 321156 HAS SOUPS 321156 WITH SCORE 322235.561
AT ITER 6899 NEW BEST:: SOT 3224969 SOS 1079503 HAS SOPS 1079503 HAS SOUS 321111 HAS SOUPS 321111 WITH SCORE 322190.503
AT ITER 6936 NEW BEST:: SOT 3224995 SOS 1079483 HAS SOPS 1079483 HAS SOUS 321091 HAS SOUPS 321091 WITH SCORE 322170.483
AT ITER 6953 NEW BEST:: SOT 3224975 SOS 1079523 HAS SOPS 1079523 HAS SOUS 321086 HAS SOUPS 321086 WITH SCORE 322165.523
AT ITER 6955 NEW BEST:: SOT 3224938 SOS 1079449 HAS SOPS 1079449 HAS SOUS 321012 HAS SOUPS 321012 WITH SCORE 322091.449
AT ITER 6959 NEW BEST:: SOT 3224938 SOS 1079489 HAS SOPS 1079489 HAS SOUS 321004 HAS SOUPS 321004 WITH SCORE 322083.489
AT ITER 6991 NEW BEST:: SOT 3224846 SOS 1037484 HAS SOPS 1037484 HAS SOUS 320881 HAS SOUPS 320881 WITH SCORE 321918.484
AT ITER 6995 NEW BEST:: SOT 3224879 SOS 1037457 HAS SOPS 1037457 HAS SOUS 320761 HAS SOUPS 320761 WITH SCORE 321798.457
AT ITER 6998 NEW BEST:: SOT 3224879 SOS 1037457 HAS SOPS 1037457 HAS SOUS 320543 HAS SOUPS 320543 WITH SCORE 321580.457
AT ITER 7003 NEW BEST:: SOT 3224816 SOS 1038460 HAS SOPS 1038460 HAS SOUS 320386 HAS SOUPS 320386 WITH SCORE 321424.46
AT ITER 7008 NEW BEST:: SOT 3224816 SOS 1039059 HAS SOPS 1039059 HAS SOUS 320327 HAS SOUPS 320327 WITH SCORE 321366.059
AT ITER 7015 NEW BEST:: SOT 3224975 SOS 1039158 HAS SOPS 1039158 HAS SOUS 320221 HAS SOUPS 320221 WITH SCORE 321260.158
AT ITER 7031 NEW BEST:: SOT 3224898 SOS 1039132 HAS SOPS 1039132 HAS SOUS 320126 HAS SOUPS 320126 WITH SCORE 321165.132
AT ITER 7037 NEW BEST:: SOT 3224637 SOS 1039088 HAS SOPS 1039088 HAS SOUS 319826 HAS SOUPS 319826 WITH SCORE 320865.088
AT ITER 7053 NEW BEST:: SOT 3224633 SOS 1039080 HAS SOPS 1039080 HAS SOUS 319818 HAS SOUPS 319818 WITH SCORE 320857.08
AT ITER 7059 NEW BEST:: SOT 3224633 SOS 1038926 HAS SOPS 1038926 HAS SOUS 319664 HAS SOUPS 319664 WITH SCORE 320702.926
AT ITER 7072 NEW BEST:: SOT 3224613 SOS 1039237 HAS SOPS 1039237 HAS SOUS 319651 HAS SOUPS 319651 WITH SCORE 320690.237
AT ITER 7098 NEW BEST:: SOT 3224580 SOS 1039182 HAS SOPS 1039182 HAS SOUS 319574 HAS SOUPS 319574 WITH SCORE 320613.182
AT ITER 7120 NEW BEST:: SOT 3224565 SOS 1039152 HAS SOPS 1039152 HAS SOUS 319544 HAS SOUPS 319544 WITH SCORE 320583.152
AT ITER 7150 NEW BEST:: SOT 3224554 SOS 1039074 HAS SOPS 1039074 HAS SOUS 319541 HAS SOUPS 319541 WITH SCORE 320580.074
AT ITER 7188 NEW BEST:: SOT 3224513 SOS 1038992 HAS SOPS 1038992 HAS SOUS 319215 HAS SOUPS 319215 WITH SCORE 320253.992
AT ITER 7197 NEW BEST:: SOT 3224494 SOS 1038982 HAS SOPS 1038982 HAS SOUS 319201 HAS SOUPS 319201 WITH SCORE 320239.982
AT ITER 7208 NEW BEST:: SOT 3224123 SOS 1038386 HAS SOPS 1038386 HAS SOUS 318605 HAS SOUPS 318605 WITH SCORE 319643.386
AT ITER 7216 NEW BEST:: SOT 3224085 SOS 1038310 HAS SOPS 1038310 HAS SOUS 318590 HAS SOUPS 318590 WITH SCORE 319628.31
AT ITER 7245 NEW BEST:: SOT 3224002 SOS 1038227 HAS SOPS 1038227 HAS SOUS 318590 HAS SOUPS 318590 WITH SCORE 319628.227
AT ITER 7250 NEW BEST:: SOT 3223959 SOS 1038182 HAS SOPS 1038182 HAS SOUS 318545 HAS SOUPS 318545 WITH SCORE 319583.182
AT ITER 7274 NEW BEST:: SOT 3223926 SOS 1038116 HAS SOPS 1038116 HAS SOUS 318479 HAS SOUPS 318479 WITH SCORE 319517.116
AT ITER 7286 NEW BEST:: SOT 3223902 SOS 1038068 HAS SOPS 1038068 HAS SOUS 318455 HAS SOUPS 318455 WITH SCORE 319493.068
AT ITER 7302 NEW BEST:: SOT 3223902 SOS 1038068 HAS SOPS 1038068 HAS SOUS 318412 HAS SOUPS 318412 WITH SCORE 319450.068
AT ITER 7310 NEW BEST:: SOT 3223951 SOS 1037848 HAS SOPS 1037848 HAS SOUS 318393 HAS SOUPS 318393 WITH SCORE 319430.848
AT ITER 7327 NEW BEST:: SOT 3223915 SOS 1037812 HAS SOPS 1037812 HAS SOUS 318357 HAS SOUPS 318357 WITH SCORE 319394.812
AT ITER 7331 NEW BEST:: SOT 3223934 SOS 1037804 HAS SOPS 1037804 HAS SOUS 318333 HAS SOUPS 318333 WITH SCORE 319370.804
AT ITER 7337 NEW BEST:: SOT 3223934 SOS 1037804 HAS SOPS 1037804 HAS SOUS 318242 HAS SOUPS 318242 WITH SCORE 319279.804
AT ITER 7342 NEW BEST:: SOT 3223940 SOS 1037810 HAS SOPS 1037810 HAS SOUS 318240 HAS SOUPS 318240 WITH SCORE 319277.81
AT ITER 7383 NEW BEST:: SOT 3223940 SOS 1037756 HAS SOPS 1037756 HAS SOUS 318240 HAS SOUPS 318240 WITH SCORE 319277.756
AT ITER 7388 NEW BEST:: SOT 3223900 SOS 1037676 HAS SOPS 1037676 HAS SOUS 318200 HAS SOUPS 318200 WITH SCORE 319237.676
AT ITER 7452 NEW BEST:: SOT 3223797 SOS 1037470 HAS SOPS 1037470 HAS SOUS 318018 HAS SOUPS 318018 WITH SCORE 319055.47
AT ITER 7468 NEW BEST:: SOT 3223846 SOS 1037250 HAS SOPS 1037250 HAS SOUS 317892 HAS SOUPS 317892 WITH SCORE 318929.25
AT ITER 7499 NEW BEST:: SOT 3223813 SOS 1037184 HAS SOPS 1037184 HAS SOUS 317826 HAS SOUPS 317826 WITH SCORE 318863.184
AT ITER 7528 NEW BEST:: SOT 3223768 SOS 1037094 HAS SOPS 1037094 HAS SOUS 317654 HAS SOUPS 317654 WITH SCORE 318691.094
AT ITER 7529 NEW BEST:: SOT 3223855 SOS 1037056 HAS SOPS 1037056 HAS SOUS 317616 HAS SOUPS 317616 WITH SCORE 318653.056
AT ITER 7554 NEW BEST:: SOT 3223838 SOS 1037008 HAS SOPS 1037008 HAS SOUS 317568 HAS SOUPS 317568 WITH SCORE 318605.008
AT ITER 7557 NEW BEST:: SOT 3223826 SOS 1037008 HAS SOPS 1037008 HAS SOUS 317556 HAS SOUPS 317556 WITH SCORE 318593.008
AT ITER 7566 NEW BEST:: SOT 3223740 SOS 1036836 HAS SOPS 1036836 HAS SOUS 317384 HAS SOUPS 317384 WITH SCORE 318420.836
AT ITER 7571 NEW BEST:: SOT 3223740 SOS 1036645 HAS SOPS 1036645 HAS SOUS 317384 HAS SOUPS 317384 WITH SCORE 318420.645
AT ITER 7603 NEW BEST:: SOT 3223700 SOS 1036565 HAS SOPS 1036565 HAS SOUS 317370 HAS SOUPS 317370 WITH SCORE 318406.565
AT ITER 7611 NEW BEST:: SOT 3223700 SOS 1036565 HAS SOPS 1036565 HAS SOUS 317272 HAS SOUPS 317272 WITH SCORE 318308.565
AT ITER 7632 NEW BEST:: SOT 3223342 SOS 1036207 HAS SOPS 1036207 HAS SOUS 316914 HAS SOUPS 316914 WITH SCORE 317950.207
AT ITER 7637 NEW BEST:: SOT 3223342 SOS 1036105 HAS SOPS 1036105 HAS SOUS 316879 HAS SOUPS 316879 WITH SCORE 317915.105
AT ITER 7638 NEW BEST:: SOT 3223350 SOS 1036033 HAS SOPS 1036033 HAS SOUS 316869 HAS SOUPS 316869 WITH SCORE 317905.033
AT ITER 7649 NEW BEST:: SOT 3223242 SOS 1035817 HAS SOPS 1035817 HAS SOUS 316663 HAS SOUPS 316663 WITH SCORE 317698.817
AT ITER 7681 NEW BEST:: SOT 3223185 SOS 1036171 HAS SOPS 1036171 HAS SOUS 316557 HAS SOUPS 316557 WITH SCORE 317593.171
AT ITER 7689 NEW BEST:: SOT 3223185 SOS 1036106 HAS SOPS 1036106 HAS SOUS 316557 HAS SOUPS 316557 WITH SCORE 317593.106
AT ITER 7690 NEW BEST:: SOT 3223170 SOS 1036129 HAS SOPS 1036129 HAS SOUS 316549 HAS SOUPS 316549 WITH SCORE 317585.129
AT ITER 7711 NEW BEST:: SOT 3223268 SOS 1036133 HAS SOPS 1036133 HAS SOUS 316441 HAS SOUPS 316441 WITH SCORE 317477.133
AT ITER 7751 NEW BEST:: SOT 3222952 SOS 1035897 HAS SOPS 1035897 HAS SOUS 312195 HAS SOUPS 312195 WITH SCORE 313230.897
AT ITER 7776 NEW BEST:: SOT 3222951 SOS 1035895 HAS SOPS 1035895 HAS SOUS 312193 HAS SOUPS 312193 WITH SCORE 313228.895
AT ITER 7779 NEW BEST:: SOT 3222951 SOS 1035835 HAS SOPS 1035835 HAS SOUS 312178 HAS SOUPS 312178 WITH SCORE 313213.835
AT ITER 7846 NEW BEST:: SOT 3222847 SOS 1035627 HAS SOPS 1035627 HAS SOUS 311993 HAS SOUPS 311993 WITH SCORE 313028.627
AT ITER 7875 NEW BEST:: SOT 3222832 SOS 1035597 HAS SOPS 1035597 HAS SOUS 311970 HAS SOUPS 311970 WITH SCORE 313005.597
AT ITER 7878 NEW BEST:: SOT 3222329 SOS 1036313 HAS SOPS 1036313 HAS SOUS 311880 HAS SOUPS 311880 WITH SCORE 312916.313
AT ITER 7914 NEW BEST:: SOT 3222385 SOS 1036189 HAS SOPS 1036189 HAS SOUS 311828 HAS SOUPS 311828 WITH SCORE 312864.189
AT ITER 7925 NEW BEST:: SOT 3222385 SOS 1036184 HAS SOPS 1036184 HAS SOUS 311825 HAS SOUPS 311825 WITH SCORE 312861.184
AT ITER 7931 NEW BEST:: SOT 3222368 SOS 1037131 HAS SOPS 1037131 HAS SOUS 311791 HAS SOUPS 311791 WITH SCORE 312828.131
AT ITER 7942 NEW BEST:: SOT 3222352 SOS 1037099 HAS SOPS 1037099 HAS SOUS 311759 HAS SOUPS 311759 WITH SCORE 312796.099
AT ITER 8015 NEW BEST:: SOT 3222352 SOS 1037042 HAS SOPS 1037042 HAS SOUS 311740 HAS SOUPS 311740 WITH SCORE 312777.042
AT ITER 8017 NEW BEST:: SOT 3221669 SOS 1036709 HAS SOPS 1036709 HAS SOUS 311303 HAS SOUPS 311303 WITH SCORE 312339.709
AT ITER 8035 NEW BEST:: SOT 3221826 SOS 1036767 HAS SOPS 1036767 HAS SOUS 311154 HAS SOUPS 311154 WITH SCORE 312190.767
AT ITER 8036 NEW BEST:: SOT 3221826 SOS 1036767 HAS SOPS 1036767 HAS SOUS 311140 HAS SOUPS 311140 WITH SCORE 312176.767
AT ITER 8087 NEW BEST:: SOT 3221845 SOS 1036682 HAS SOPS 1036682 HAS SOUS 311082 HAS SOUPS 311082 WITH SCORE 312118.682
AT ITER 8137 NEW BEST:: SOT 3221797 SOS 1036586 HAS SOPS 1036586 HAS SOUS 311034 HAS SOUPS 311034 WITH SCORE 312070.586
AT ITER 8176 NEW BEST:: SOT 3221446 SOS 1036235 HAS SOPS 1036235 HAS SOUS 310683 HAS SOUPS 310683 WITH SCORE 311719.235
AT ITER 8185 NEW BEST:: SOT 3221442 SOS 1037130 HAS SOPS 1037130 HAS SOUS 310675 HAS SOUPS 310675 WITH SCORE 311712.13
AT ITER 8191 NEW BEST:: SOT 3221437 SOS 1037120 HAS SOPS 1037120 HAS SOUS 310616 HAS SOUPS 310616 WITH SCORE 311653.12
AT ITER 8206 NEW BEST:: SOT 3221291 SOS 1036828 HAS SOPS 1036828 HAS SOUS 310324 HAS SOUPS 310324 WITH SCORE 311360.828
AT ITER 8220 NEW BEST:: SOT 3221221 SOS 1036688 HAS SOPS 1036688 HAS SOUS 310184 HAS SOUPS 310184 WITH SCORE 311220.688
AT ITER 8244 NEW BEST:: SOT 3221323 SOS 1035467 HAS SOPS 1035467 HAS SOUS 310184 HAS SOUPS 310184 WITH SCORE 311219.467
AT ITER 8245 NEW BEST:: SOT 3220634 SOS 1034891 HAS SOPS 1034891 HAS SOUS 309608 HAS SOUPS 309608 WITH SCORE 310642.891
AT ITER 8330 NEW BEST:: SOT 3220610 SOS 1034843 HAS SOPS 1034843 HAS SOUS 309584 HAS SOUPS 309584 WITH SCORE 310618.843
AT ITER 8341 NEW BEST:: SOT 3220562 SOS 1034795 HAS SOPS 1034795 HAS SOUS 309569 HAS SOUPS 309569 WITH SCORE 310603.795
AT ITER 8344 NEW BEST:: SOT 3220562 SOS 1034795 HAS SOPS 1034795 HAS SOUS 309540 HAS SOUPS 309540 WITH SCORE 310574.795
AT ITER 8346 NEW BEST:: SOT 3220522 SOS 1034745 HAS SOPS 1034745 HAS SOUS 309520 HAS SOUPS 309520 WITH SCORE 310554.745
AT ITER 8353 NEW BEST:: SOT 3220464 SOS 1033861 HAS SOPS 1033861 HAS SOUS 309206 HAS SOUPS 309206 WITH SCORE 310239.861
AT ITER 8370 NEW BEST:: SOT 3220464 SOS 1033813 HAS SOPS 1033813 HAS SOUS 309206 HAS SOUPS 309206 WITH SCORE 310239.813
AT ITER 8420 NEW BEST:: SOT 3220554 SOS 1033840 HAS SOPS 1033840 HAS SOUS 309137 HAS SOUPS 309137 WITH SCORE 310170.84
AT ITER 8455 NEW BEST:: SOT 3220554 SOS 1033804 HAS SOPS 1033804 HAS SOUS 309137 HAS SOUPS 309137 WITH SCORE 310170.804
AT ITER 8458 NEW BEST:: SOT 3220660 SOS 1033698 HAS SOPS 1033698 HAS SOUS 309137 HAS SOUPS 309137 WITH SCORE 310170.698
AT ITER 8459 NEW BEST:: SOT 3220553 SOS 1033484 HAS SOPS 1033484 HAS SOUS 308923 HAS SOUPS 308923 WITH SCORE 309956.484
AT ITER 8482 NEW BEST:: SOT 3220560 SOS 1033498 HAS SOPS 1033498 HAS SOUS 308908 HAS SOUPS 308908 WITH SCORE 309941.498
AT ITER 8486 NEW BEST:: SOT 3220463 SOS 1033304 HAS SOPS 1033304 HAS SOUS 308877 HAS SOUPS 308877 WITH SCORE 309910.304
AT ITER 8496 NEW BEST:: SOT 3220463 SOS 1033304 HAS SOPS 1033304 HAS SOUS 308810 HAS SOUPS 308810 WITH SCORE 309843.304
AT ITER 8514 NEW BEST:: SOT 3220447 SOS 1033288 HAS SOPS 1033288 HAS SOUS 308794 HAS SOUPS 308794 WITH SCORE 309827.288
AT ITER 8576 NEW BEST:: SOT 3220434 SOS 1033262 HAS SOPS 1033262 HAS SOUS 308778 HAS SOUPS 308778 WITH SCORE 309811.262
AT ITER 8587 NEW BEST:: SOT 3220434 SOS 1033262 HAS SOPS 1033262 HAS SOUS 308608 HAS SOUPS 308608 WITH SCORE 309641.262
AT ITER 8593 NEW BEST:: SOT 3220248 SOS 1032890 HAS SOPS 1032890 HAS SOUS 308421 HAS SOUPS 308421 WITH SCORE 309453.89
AT ITER 8615 NEW BEST:: SOT 3220242 SOS 1032878 HAS SOPS 1032878 HAS SOUS 308409 HAS SOUPS 308409 WITH SCORE 309441.878
AT ITER 8655 NEW BEST:: SOT 3220010 SOS 1032533 HAS SOPS 1032533 HAS SOUS 308261 HAS SOUPS 308261 WITH SCORE 309293.533
AT ITER 8673 NEW BEST:: SOT 3219893 SOS 1032416 HAS SOPS 1032416 HAS SOUS 308154 HAS SOUPS 308154 WITH SCORE 309186.416
AT ITER 8710 NEW BEST:: SOT 3219893 SOS 1032319 HAS SOPS 1032319 HAS SOUS 308154 HAS SOUPS 308154 WITH SCORE 309186.319
AT ITER 8721 NEW BEST:: SOT 3219892 SOS 1032317 HAS SOPS 1032317 HAS SOUS 308153 HAS SOUPS 308153 WITH SCORE 309185.317
AT ITER 8722 NEW BEST:: SOT 3219809 SOS 1032184 HAS SOPS 1032184 HAS SOUS 308065 HAS SOUPS 308065 WITH SCORE 309097.184
AT ITER 8728 NEW BEST:: SOT 3219809 SOS 1032184 HAS SOPS 1032184 HAS SOUS 308002 HAS SOUPS 308002 WITH SCORE 309034.184
AT ITER 8748 NEW BEST:: SOT 3219631 SOS 1032006 HAS SOPS 1032006 HAS SOUS 307824 HAS SOUPS 307824 WITH SCORE 308856.006
AT ITER 8750 NEW BEST:: SOT 3219608 SOS 1031983 HAS SOPS 1031983 HAS SOUS 307801 HAS SOUPS 307801 WITH SCORE 308832.983
AT ITER 8762 NEW BEST:: SOT 3219607 SOS 1031981 HAS SOPS 1031981 HAS SOUS 307799 HAS SOUPS 307799 WITH SCORE 308830.981
AT ITER 8763 NEW BEST:: SOT 3219602 SOS 1031971 HAS SOPS 1031971 HAS SOUS 307794 HAS SOUPS 307794 WITH SCORE 308825.971
AT ITER 8804 NEW BEST:: SOT 3219403 SOS 1031573 HAS SOPS 1031573 HAS SOUS 307595 HAS SOUPS 307595 WITH SCORE 308626.573
AT ITER 8831 NEW BEST:: SOT 3219357 SOS 1031235 HAS SOPS 1031235 HAS SOUS 307435 HAS SOUPS 307435 WITH SCORE 308466.235
AT ITER 8832 NEW BEST:: SOT 3219237 SOS 1030902 HAS SOPS 1030902 HAS SOUS 307349 HAS SOUPS 307349 WITH SCORE 308379.902
AT ITER 8836 NEW BEST:: SOT 3219389 SOS 1030956 HAS SOPS 1030956 HAS SOUS 307303 HAS SOUPS 307303 WITH SCORE 308333.956
AT ITER 8853 NEW BEST:: SOT 3219258 SOS 1030825 HAS SOPS 1030825 HAS SOUS 307294 HAS SOUPS 307294 WITH SCORE 308324.825
AT ITER 8908 NEW BEST:: SOT 3219185 SOS 1030575 HAS SOPS 1030575 HAS SOUS 306971 HAS SOUPS 306971 WITH SCORE 308001.575
AT ITER 8921 NEW BEST:: SOT 3219156 SOS 1030546 HAS SOPS 1030546 HAS SOUS 306938 HAS SOUPS 306938 WITH SCORE 307968.546
AT ITER 8932 NEW BEST:: SOT 3219129 SOS 1030542 HAS SOPS 1030542 HAS SOUS 306926 HAS SOUPS 306926 WITH SCORE 307956.542
AT ITER 9003 NEW BEST:: SOT 3219129 SOS 1030542 HAS SOPS 1030542 HAS SOUS 306905 HAS SOUPS 306905 WITH SCORE 307935.542
AT ITER 9021 NEW BEST:: SOT 3219076 SOS 1030531 HAS SOPS 1030531 HAS SOUS 306894 HAS SOUPS 306894 WITH SCORE 307924.531
AT ITER 9039 NEW BEST:: SOT 3219076 SOS 1030508 HAS SOPS 1030508 HAS SOUS 306892 HAS SOUPS 306892 WITH SCORE 307922.508
AT ITER 9043 NEW BEST:: SOT 3219049 SOS 1030454 HAS SOPS 1030454 HAS SOUS 306838 HAS SOUPS 306838 WITH SCORE 307868.454
AT ITER 9049 NEW BEST:: SOT 3218718 SOS 1030004 HAS SOPS 1030004 HAS SOUS 306505 HAS SOUPS 306505 WITH SCORE 307535.004
AT ITER 9052 NEW BEST:: SOT 3218717 SOS 1030003 HAS SOPS 1030003 HAS SOUS 306503 HAS SOUPS 306503 WITH SCORE 307533.003
AT ITER 9069 NEW BEST:: SOT 3218717 SOS 1030003 HAS SOPS 1030003 HAS SOUS 306234 HAS SOUPS 306234 WITH SCORE 307264.003
AT ITER 9070 NEW BEST:: SOT 3218704 SOS 1030087 HAS SOPS 1030087 HAS SOUS 306208 HAS SOUPS 306208 WITH SCORE 307238.087
AT ITER 9072 NEW BEST:: SOT 3218680 SOS 1030072 HAS SOPS 1030072 HAS SOUS 306184 HAS SOUPS 306184 WITH SCORE 307214.072
AT ITER 9109 NEW BEST:: SOT 3218654 SOS 1030020 HAS SOPS 1030020 HAS SOUS 306114 HAS SOUPS 306114 WITH SCORE 307144.02
AT ITER 9113 NEW BEST:: SOT 3218654 SOS 1030010 HAS SOPS 1030010 HAS SOUS 306104 HAS SOUPS 306104 WITH SCORE 307134.01
AT ITER 9135 NEW BEST:: SOT 3218654 SOS 1030200 HAS SOPS 1030200 HAS SOUS 306103 HAS SOUPS 306103 WITH SCORE 307133.2
AT ITER 9151 NEW BEST:: SOT 3218534 SOS 1030050 HAS SOPS 1030050 HAS SOUS 305893 HAS SOUPS 305893 WITH SCORE 306923.05
AT ITER 9156 NEW BEST:: SOT 3218476 SOS 1029934 HAS SOPS 1029934 HAS SOUS 305719 HAS SOUPS 305719 WITH SCORE 306748.934
AT ITER 9163 NEW BEST:: SOT 3218318 SOS 1030092 HAS SOPS 1030092 HAS SOUS 305561 HAS SOUPS 305561 WITH SCORE 306591.092
AT ITER 9174 NEW BEST:: SOT 3218300 SOS 1030056 HAS SOPS 1030056 HAS SOUS 305543 HAS SOUPS 305543 WITH SCORE 306573.056
AT ITER 9191 NEW BEST:: SOT 3218300 SOS 1029862 HAS SOPS 1029862 HAS SOUS 305484 HAS SOUPS 305484 WITH SCORE 306513.862
AT ITER 9211 NEW BEST:: SOT 3218299 SOS 1029860 HAS SOPS 1029860 HAS SOUS 305482 HAS SOUPS 305482 WITH SCORE 306511.86
AT ITER 9219 NEW BEST:: SOT 3218337 SOS 1029994 HAS SOPS 1029994 HAS SOUS 305465 HAS SOUPS 305465 WITH SCORE 306494.994
AT ITER 9228 NEW BEST:: SOT 3218314 SOS 1029948 HAS SOPS 1029948 HAS SOUS 305419 HAS SOUPS 305419 WITH SCORE 306448.948
AT ITER 9234 NEW BEST:: SOT 3218437 SOS 1031256 HAS SOPS 1031256 HAS SOUS 305405 HAS SOUPS 305405 WITH SCORE 306436.256
AT ITER 9284 NEW BEST:: SOT 3218437 SOS 1031256 HAS SOPS 1031256 HAS SOUS 305403 HAS SOUPS 305403 WITH SCORE 306434.256
AT ITER 9348 NEW BEST:: SOT 3218305 SOS 1031074 HAS SOPS 1031074 HAS SOUS 305303 HAS SOUPS 305303 WITH SCORE 306334.074
AT ITER 9351 NEW BEST:: SOT 3218310 SOS 1031084 HAS SOPS 1031084 HAS SOUS 305246 HAS SOUPS 305246 WITH SCORE 306277.084
AT ITER 9372 NEW BEST:: SOT 3218204 SOS 1030825 HAS SOPS 1030825 HAS SOUS 305204 HAS SOUPS 305204 WITH SCORE 306234.825
AT ITER 9386 NEW BEST:: SOT 3218067 SOS 1030559 HAS SOPS 1030559 HAS SOUS 305050 HAS SOUPS 305050 WITH SCORE 306080.559
AT ITER 9410 NEW BEST:: SOT 3218067 SOS 1030545 HAS SOPS 1030545 HAS SOUS 305050 HAS SOUPS 305050 WITH SCORE 306080.545
AT ITER 9435 NEW BEST:: SOT 3218063 SOS 1030537 HAS SOPS 1030537 HAS SOUS 305042 HAS SOUPS 305042 WITH SCORE 306072.537
AT ITER 9460 NEW BEST:: SOT 3218084 SOS 1030275 HAS SOPS 1030275 HAS SOUS 304934 HAS SOUPS 304934 WITH SCORE 305964.275
AT ITER 9463 NEW BEST:: SOT 3218190 SOS 1030051 HAS SOPS 1030051 HAS SOUS 304710 HAS SOUPS 304710 WITH SCORE 305740.051
AT ITER 9491 NEW BEST:: SOT 3218175 SOS 1020543 HAS SOPS 1020543 HAS SOUS 304714 HAS SOUPS 304714 WITH SCORE 305734.543
AT ITER 9497 NEW BEST:: SOT 3218236 SOS 1020530 HAS SOPS 1020530 HAS SOUS 304615 HAS SOUPS 304615 WITH SCORE 305635.53
AT ITER 9501 NEW BEST:: SOT 3218236 SOS 1020530 HAS SOPS 1020530 HAS SOUS 304603 HAS SOUPS 304603 WITH SCORE 305623.53
AT ITER 9516 NEW BEST:: SOT 3218226 SOS 1020510 HAS SOPS 1020510 HAS SOUS 304583 HAS SOUPS 304583 WITH SCORE 305603.51
AT ITER 9527 NEW BEST:: SOT 3218220 SOS 1020498 HAS SOPS 1020498 HAS SOUS 304565 HAS SOUPS 304565 WITH SCORE 305585.498
AT ITER 9542 NEW BEST:: SOT 3218244 SOS 1020048 HAS SOPS 1020048 HAS SOUS 304506 HAS SOUPS 304506 WITH SCORE 305526.048
AT ITER 9558 NEW BEST:: SOT 3218222 SOS 1020004 HAS SOPS 1020004 HAS SOUS 304450 HAS SOUPS 304450 WITH SCORE 305470.004
AT ITER 9634 NEW BEST:: SOT 3218222 SOS 1020004 HAS SOPS 1020004 HAS SOUS 304327 HAS SOUPS 304327 WITH SCORE 305347.004
AT ITER 9640 NEW BEST:: SOT 3218221 SOS 1020002 HAS SOPS 1020002 HAS SOUS 304325 HAS SOUPS 304325 WITH SCORE 305345.002
AT ITER 9664 NEW BEST:: SOT 3218221 SOS 1019927 HAS SOPS 1019927 HAS SOUS 304244 HAS SOUPS 304244 WITH SCORE 305263.927
AT ITER 9669 NEW BEST:: SOT 3218303 SOS 1019977 HAS SOPS 1019977 HAS SOUS 304217 HAS SOUPS 304217 WITH SCORE 305236.977
AT ITER 9670 NEW BEST:: SOT 3218314 SOS 1019999 HAS SOPS 1019999 HAS SOUS 304160 HAS SOUPS 304160 WITH SCORE 305179.999
AT ITER 9676 NEW BEST:: SOT 3217979 SOS 1019664 HAS SOPS 1019664 HAS SOUS 304111 HAS SOUPS 304111 WITH SCORE 305130.664
AT ITER 9680 NEW BEST:: SOT 3217979 SOS 1019629 HAS SOPS 1019629 HAS SOUS 304111 HAS SOUPS 304111 WITH SCORE 305130.629
AT ITER 9688 NEW BEST:: SOT 3217979 SOS 1019684 HAS SOPS 1019684 HAS SOUS 303884 HAS SOUPS 303884 WITH SCORE 304903.684
AT ITER 9708 NEW BEST:: SOT 3218011 SOS 1019528 HAS SOPS 1019528 HAS SOUS 303852 HAS SOUPS 303852 WITH SCORE 304871.528
AT ITER 9732 NEW BEST:: SOT 3218012 SOS 1019529 HAS SOPS 1019529 HAS SOUS 303838 HAS SOUPS 303838 WITH SCORE 304857.529
AT ITER 9740 NEW BEST:: SOT 3218549 SOS 1019817 HAS SOPS 1019817 HAS SOUS 303718 HAS SOUPS 303718 WITH SCORE 304737.817
AT ITER 9745 NEW BEST:: SOT 3218549 SOS 1019820 HAS SOPS 1019820 HAS SOUS 303717 HAS SOUPS 303717 WITH SCORE 304736.82
AT ITER 9751 NEW BEST:: SOT 3218549 SOS 1019862 HAS SOPS 1019862 HAS SOUS 303675 HAS SOUPS 303675 WITH SCORE 304694.862
AT ITER 9756 NEW BEST:: SOT 3218578 SOS 1019920 HAS SOPS 1019920 HAS SOUS 303498 HAS SOUPS 303498 WITH SCORE 304517.92
AT ITER 9856 NEW BEST:: SOT 3218572 SOS 1019908 HAS SOPS 1019908 HAS SOUS 303486 HAS SOUPS 303486 WITH SCORE 304505.908
AT ITER 9867 NEW BEST:: SOT 3218572 SOS 1018903 HAS SOPS 1018903 HAS SOUS 303486 HAS SOUPS 303486 WITH SCORE 304504.903
AT ITER 9883 NEW BEST:: SOT 3218448 SOS 1019156 HAS SOPS 1019156 HAS SOUS 303385 HAS SOUPS 303385 WITH SCORE 304404.156
AT ITER 9889 NEW BEST:: SOT 3217904 SOS 1020318 HAS SOPS 1020318 HAS SOUS 303240 HAS SOUPS 303240 WITH SCORE 304260.318
AT ITER 9916 NEW BEST:: SOT 3217904 SOS 1020256 HAS SOPS 1020256 HAS SOUS 303240 HAS SOUPS 303240 WITH SCORE 304260.256
AT ITER 9918 NEW BEST:: SOT 3217929 SOS 1020272 HAS SOPS 1020272 HAS SOUS 303231 HAS SOUPS 303231 WITH SCORE 304251.272
AT ITER 9931 NEW BEST:: SOT 3217942 SOS 1020018 HAS SOPS 1020018 HAS SOUS 303209 HAS SOUPS 303209 WITH SCORE 304229.018
AT ITER 9940 NEW BEST:: SOT 3217587 SOS 1019585 HAS SOPS 1019585 HAS SOUS 302973 HAS SOUPS 302973 WITH SCORE 303992.585
AT ITER 9948 NEW BEST:: SOT 3217587 SOS 1019717 HAS SOPS 1019717 HAS SOUS 302955 HAS SOUPS 302955 WITH SCORE 303974.717
AT ITER 9952 NEW BEST:: SOT 3217587 SOS 1019676 HAS SOPS 1019676 HAS SOUS 302873 HAS SOUPS 302873 WITH SCORE 303892.676
AT ITER 9986 NEW BEST:: SOT 3217491 SOS 1032919 HAS SOPS 1032919 HAS SOUS 302816 HAS SOUPS 302816 WITH SCORE 303848.919

BK_TIME_CONFINEMENT_REACHED

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

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="CloudDeployment-PT-5b"
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"

# 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-4028"
echo " Executing tool smart"
echo " Input is CloudDeployment-PT-5b, 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 r033-smll-158901926000328"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/CloudDeployment-PT-5b.tgz
mv CloudDeployment-PT-5b execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;