Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r011-oct2-167813599700088.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is ASLink-PT-05b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r011-oct2-167813599700088
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.2M
-rw-r--r-- 1 mcc users 6.8K Feb 26 13:08 CTLCardinality.txt
-rw-r--r-- 1 mcc users 73K Feb 26 13:08 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.6K Feb 26 13:08 CTLFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 26 13:08 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Feb 25 15:29 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 15:29 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 15:29 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:29 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.8K Feb 26 13:08 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 99K Feb 26 13:08 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.8K Feb 26 13:08 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 55K Feb 26 13:08 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:29 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:29 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 795K Mar 5 18:22 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678723291115

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=ASLink-PT-05b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-13 16:01:33] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-13 16:01:33] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 16:01:33] [INFO ] Load time of PNML (sax parser for PT used): 172 ms
[2023-03-13 16:01:33] [INFO ] Transformed 2430 places.
[2023-03-13 16:01:33] [INFO ] Transformed 3040 transitions.
[2023-03-13 16:01:33] [INFO ] Found NUPN structural information;
[2023-03-13 16:01:33] [INFO ] Parsed PT model containing 2430 places and 3040 transitions and 9292 arcs in 283 ms.
[2023-03-13 16:01:33] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 2430 places, 3040 transitions and 9292 arcs took 21 ms.
Total runtime 342 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ASLink (PT), instance 05b
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 2430 places, 3040 transitions, 9292 arcs.
AT ITER 0 NEW BEST:: SOT 4060326 SOS 958073 HAS SOPS 958073 HAS SOUS 765610 HAS SOUPS 765610 WITH SCORE 766568.073
AT ITER 12 NEW BEST:: SOT 4060336 SOS 957984 HAS SOPS 957984 HAS SOUS 765521 HAS SOUPS 765521 WITH SCORE 766478.984
AT ITER 17 NEW BEST:: SOT 4060336 SOS 957981 HAS SOPS 957981 HAS SOUS 765518 HAS SOUPS 765518 WITH SCORE 766475.981
AT ITER 77 NEW BEST:: SOT 4060336 SOS 957981 HAS SOPS 957981 HAS SOUS 765515 HAS SOUPS 765515 WITH SCORE 766472.981
AT ITER 125 NEW BEST:: SOT 4060336 SOS 957803 HAS SOPS 957803 HAS SOUS 765515 HAS SOUPS 765515 WITH SCORE 766472.803
AT ITER 131 NEW BEST:: SOT 4060259 SOS 957649 HAS SOPS 957649 HAS SOUS 765361 HAS SOUPS 765361 WITH SCORE 766318.649
AT ITER 135 NEW BEST:: SOT 4060152 SOS 957520 HAS SOPS 957520 HAS SOUS 765232 HAS SOUPS 765232 WITH SCORE 766189.52
AT ITER 137 NEW BEST:: SOT 4060066 SOS 957423 HAS SOPS 957423 HAS SOUS 765093 HAS SOUPS 765093 WITH SCORE 766050.423
AT ITER 140 NEW BEST:: SOT 4060066 SOS 957419 HAS SOPS 957419 HAS SOUS 765089 HAS SOUPS 765089 WITH SCORE 766046.419
AT ITER 148 NEW BEST:: SOT 4059822 SOS 957138 HAS SOPS 957138 HAS SOUS 765018 HAS SOUPS 765018 WITH SCORE 765975.138
AT ITER 174 NEW BEST:: SOT 4059616 SOS 957097 HAS SOPS 957097 HAS SOUS 765011 HAS SOUPS 765011 WITH SCORE 765968.097
AT ITER 176 NEW BEST:: SOT 4059613 SOS 957091 HAS SOPS 957091 HAS SOUS 765008 HAS SOUPS 765008 WITH SCORE 765965.091
AT ITER 179 NEW BEST:: SOT 4059494 SOS 957329 HAS SOPS 957329 HAS SOUS 764889 HAS SOUPS 764889 WITH SCORE 765846.329
AT ITER 185 NEW BEST:: SOT 4058816 SOS 956538 HAS SOPS 956538 HAS SOUS 764889 HAS SOUPS 764889 WITH SCORE 765845.538
AT ITER 186 NEW BEST:: SOT 4057855 SOS 956048 HAS SOPS 956048 HAS SOUS 764262 HAS SOUPS 764262 WITH SCORE 765218.048
AT ITER 191 NEW BEST:: SOT 4057738 SOS 955768 HAS SOPS 955768 HAS SOUS 763955 HAS SOUPS 763955 WITH SCORE 764910.768
AT ITER 196 NEW BEST:: SOT 4057734 SOS 955760 HAS SOPS 955760 HAS SOUS 763947 HAS SOUPS 763947 WITH SCORE 764902.76
AT ITER 204 NEW BEST:: SOT 4057720 SOS 955718 HAS SOPS 955718 HAS SOUS 763918 HAS SOUPS 763918 WITH SCORE 764873.718
AT ITER 243 NEW BEST:: SOT 4057532 SOS 954838 HAS SOPS 954838 HAS SOUS 763495 HAS SOUPS 763495 WITH SCORE 764449.838
AT ITER 278 NEW BEST:: SOT 4057131 SOS 954445 HAS SOPS 954445 HAS SOUS 763102 HAS SOUPS 763102 WITH SCORE 764056.445
AT ITER 286 NEW BEST:: SOT 4057131 SOS 954445 HAS SOPS 954445 HAS SOUS 763101 HAS SOUPS 763101 WITH SCORE 764055.445
AT ITER 298 NEW BEST:: SOT 4057131 SOS 954465 HAS SOPS 954465 HAS SOUS 762948 HAS SOUPS 762948 WITH SCORE 763902.465
AT ITER 307 NEW BEST:: SOT 4057019 SOS 954241 HAS SOPS 954241 HAS SOUS 762724 HAS SOUPS 762724 WITH SCORE 763678.241
AT ITER 325 NEW BEST:: SOT 4056844 SOS 955587 HAS SOPS 955587 HAS SOUS 762345 HAS SOUPS 762345 WITH SCORE 763300.587
AT ITER 351 NEW BEST:: SOT 4056788 SOS 955587 HAS SOPS 955587 HAS SOUS 762281 HAS SOUPS 762281 WITH SCORE 763236.587
AT ITER 361 NEW BEST:: SOT 4056629 SOS 954956 HAS SOPS 954956 HAS SOUS 762015 HAS SOUPS 762015 WITH SCORE 762969.956
AT ITER 395 NEW BEST:: SOT 4056535 SOS 954768 HAS SOPS 954768 HAS SOUS 761827 HAS SOUPS 761827 WITH SCORE 762781.768
AT ITER 413 NEW BEST:: SOT 4056371 SOS 954556 HAS SOPS 954556 HAS SOUS 761591 HAS SOUPS 761591 WITH SCORE 762545.556
AT ITER 422 NEW BEST:: SOT 4055793 SOS 953704 HAS SOPS 953704 HAS SOUS 760737 HAS SOUPS 760737 WITH SCORE 761690.704
AT ITER 434 NEW BEST:: SOT 4055765 SOS 953648 HAS SOPS 953648 HAS SOUS 760702 HAS SOUPS 760702 WITH SCORE 761655.648
AT ITER 446 NEW BEST:: SOT 4055361 SOS 953245 HAS SOPS 953245 HAS SOUS 760301 HAS SOUPS 760301 WITH SCORE 761254.245
AT ITER 450 NEW BEST:: SOT 4055115 SOS 952730 HAS SOPS 952730 HAS SOUS 759786 HAS SOUPS 759786 WITH SCORE 760738.73
AT ITER 483 NEW BEST:: SOT 4055033 SOS 952566 HAS SOPS 952566 HAS SOUS 759622 HAS SOUPS 759622 WITH SCORE 760574.566
AT ITER 491 NEW BEST:: SOT 4054828 SOS 952536 HAS SOPS 952536 HAS SOUS 759591 HAS SOUPS 759591 WITH SCORE 760543.536
AT ITER 503 NEW BEST:: SOT 4054599 SOS 952000 HAS SOPS 952000 HAS SOUS 759130 HAS SOUPS 759130 WITH SCORE 760082.0
AT ITER 512 NEW BEST:: SOT 4054643 SOS 951848 HAS SOPS 951848 HAS SOUS 759098 HAS SOUPS 759098 WITH SCORE 760049.848
AT ITER 554 NEW BEST:: SOT 4054420 SOS 951819 HAS SOPS 951819 HAS SOUS 758652 HAS SOUPS 758652 WITH SCORE 759603.819
AT ITER 555 NEW BEST:: SOT 4054420 SOS 951613 HAS SOPS 951613 HAS SOUS 758649 HAS SOUPS 758649 WITH SCORE 759600.613
AT ITER 558 NEW BEST:: SOT 4054430 SOS 951371 HAS SOPS 951371 HAS SOUS 758438 HAS SOUPS 758438 WITH SCORE 759389.371
AT ITER 577 NEW BEST:: SOT 4054080 SOS 950671 HAS SOPS 950671 HAS SOUS 757738 HAS SOUPS 757738 WITH SCORE 758688.671
AT ITER 590 NEW BEST:: SOT 4053806 SOS 950402 HAS SOPS 950402 HAS SOUS 757566 HAS SOUPS 757566 WITH SCORE 758516.402
AT ITER 592 NEW BEST:: SOT 4053806 SOS 950222 HAS SOPS 950222 HAS SOUS 757386 HAS SOUPS 757386 WITH SCORE 758336.222
AT ITER 597 NEW BEST:: SOT 4053746 SOS 951164 HAS SOPS 951164 HAS SOUS 757324 HAS SOUPS 757324 WITH SCORE 758275.164
AT ITER 648 NEW BEST:: SOT 4053592 SOS 951022 HAS SOPS 951022 HAS SOUS 757260 HAS SOUPS 757260 WITH SCORE 758211.022
AT ITER 655 NEW BEST:: SOT 4053522 SOS 950632 HAS SOPS 950632 HAS SOUS 757118 HAS SOUPS 757118 WITH SCORE 758068.632
AT ITER 658 NEW BEST:: SOT 4053463 SOS 950489 HAS SOPS 950489 HAS SOUS 756975 HAS SOUPS 756975 WITH SCORE 757925.489
AT ITER 661 NEW BEST:: SOT 4053330 SOS 950355 HAS SOPS 950355 HAS SOUS 756839 HAS SOUPS 756839 WITH SCORE 757789.355
AT ITER 663 NEW BEST:: SOT 4053246 SOS 950271 HAS SOPS 950271 HAS SOUS 756755 HAS SOUPS 756755 WITH SCORE 757705.271
AT ITER 670 NEW BEST:: SOT 4052948 SOS 950180 HAS SOPS 950180 HAS SOUS 756457 HAS SOUPS 756457 WITH SCORE 757407.18
AT ITER 696 NEW BEST:: SOT 4052948 SOS 950068 HAS SOPS 950068 HAS SOUS 756456 HAS SOUPS 756456 WITH SCORE 757406.068
AT ITER 707 NEW BEST:: SOT 4052948 SOS 950065 HAS SOPS 950065 HAS SOUS 756453 HAS SOUPS 756453 WITH SCORE 757403.065
AT ITER 743 NEW BEST:: SOT 4052948 SOS 950063 HAS SOPS 950063 HAS SOUS 756451 HAS SOUPS 756451 WITH SCORE 757401.063
AT ITER 764 NEW BEST:: SOT 4051594 SOS 949543 HAS SOPS 949543 HAS SOUS 755170 HAS SOUPS 755170 WITH SCORE 756119.543
AT ITER 772 NEW BEST:: SOT 4050722 SOS 956871 HAS SOPS 956871 HAS SOUS 755116 HAS SOUPS 755116 WITH SCORE 756072.871
AT ITER 775 NEW BEST:: SOT 4050639 SOS 956686 HAS SOPS 956686 HAS SOUS 755014 HAS SOUPS 755014 WITH SCORE 755970.686
AT ITER 822 NEW BEST:: SOT 4048330 SOS 957954 HAS SOPS 957954 HAS SOUS 753045 HAS SOUPS 753045 WITH SCORE 754002.954
AT ITER 869 NEW BEST:: SOT 4048330 SOS 957882 HAS SOPS 957882 HAS SOUS 753043 HAS SOUPS 753043 WITH SCORE 754000.882
AT ITER 871 NEW BEST:: SOT 4046938 SOS 964950 HAS SOPS 964950 HAS SOUS 752835 HAS SOUPS 752835 WITH SCORE 753799.95
AT ITER 890 NEW BEST:: SOT 4046559 SOS 966546 HAS SOPS 966546 HAS SOUS 752452 HAS SOUPS 752452 WITH SCORE 753418.546
AT ITER 898 NEW BEST:: SOT 4046559 SOS 966332 HAS SOPS 966332 HAS SOUS 752238 HAS SOUPS 752238 WITH SCORE 753204.332
AT ITER 902 NEW BEST:: SOT 4046559 SOS 966330 HAS SOPS 966330 HAS SOUS 752236 HAS SOUPS 752236 WITH SCORE 753202.33
AT ITER 904 NEW BEST:: SOT 4046480 SOS 966172 HAS SOPS 966172 HAS SOUS 752156 HAS SOUPS 752156 WITH SCORE 753122.172
AT ITER 922 NEW BEST:: SOT 4046355 SOS 965501 HAS SOPS 965501 HAS SOUS 751903 HAS SOUPS 751903 WITH SCORE 752868.501
AT ITER 992 NEW BEST:: SOT 4046335 SOS 965406 HAS SOPS 965406 HAS SOUS 751808 HAS SOUPS 751808 WITH SCORE 752773.406
AT ITER 1001 NEW BEST:: SOT 4046043 SOS 965114 HAS SOPS 965114 HAS SOUS 751468 HAS SOUPS 751468 WITH SCORE 752433.114
AT ITER 1030 NEW BEST:: SOT 4045733 SOS 964638 HAS SOPS 964638 HAS SOUS 751233 HAS SOUPS 751233 WITH SCORE 752197.638
AT ITER 1031 NEW BEST:: SOT 4045545 SOS 964185 HAS SOPS 964185 HAS SOUS 751045 HAS SOUPS 751045 WITH SCORE 752009.185
AT ITER 1038 NEW BEST:: SOT 4045545 SOS 964455 HAS SOPS 964455 HAS SOUS 750795 HAS SOUPS 750795 WITH SCORE 751759.455
AT ITER 1045 NEW BEST:: SOT 4045396 SOS 964455 HAS SOPS 964455 HAS SOUS 750646 HAS SOUPS 750646 WITH SCORE 751610.455
AT ITER 1054 NEW BEST:: SOT 4045384 SOS 964353 HAS SOPS 964353 HAS SOUS 750634 HAS SOUPS 750634 WITH SCORE 751598.353
AT ITER 1055 NEW BEST:: SOT 4045330 SOS 964272 HAS SOPS 964272 HAS SOUS 750553 HAS SOUPS 750553 WITH SCORE 751517.272
AT ITER 1056 NEW BEST:: SOT 4045330 SOS 964154 HAS SOPS 964154 HAS SOUS 750531 HAS SOUPS 750531 WITH SCORE 751495.154
AT ITER 1061 NEW BEST:: SOT 4045330 SOS 964112 HAS SOPS 964112 HAS SOUS 750489 HAS SOUPS 750489 WITH SCORE 751453.112
AT ITER 1104 NEW BEST:: SOT 4045216 SOS 963892 HAS SOPS 963892 HAS SOUS 750375 HAS SOUPS 750375 WITH SCORE 751338.892
AT ITER 1118 NEW BEST:: SOT 4045147 SOS 963754 HAS SOPS 963754 HAS SOUS 750319 HAS SOUPS 750319 WITH SCORE 751282.754
AT ITER 1125 NEW BEST:: SOT 4044736 SOS 963548 HAS SOPS 963548 HAS SOUS 750259 HAS SOUPS 750259 WITH SCORE 751222.548
AT ITER 1156 NEW BEST:: SOT 4044736 SOS 963547 HAS SOPS 963547 HAS SOUS 750258 HAS SOUPS 750258 WITH SCORE 751221.547
AT ITER 1199 NEW BEST:: SOT 4044542 SOS 963353 HAS SOPS 963353 HAS SOUS 750053 HAS SOUPS 750053 WITH SCORE 751016.353
AT ITER 1210 NEW BEST:: SOT 4044266 SOS 962888 HAS SOPS 962888 HAS SOUS 749638 HAS SOUPS 749638 WITH SCORE 750600.888
AT ITER 1215 NEW BEST:: SOT 4044266 SOS 962094 HAS SOPS 962094 HAS SOUS 749625 HAS SOUPS 749625 WITH SCORE 750587.094
AT ITER 1224 NEW BEST:: SOT 4044265 SOS 961989 HAS SOPS 961989 HAS SOUS 749622 HAS SOUPS 749622 WITH SCORE 750583.989
AT ITER 1227 NEW BEST:: SOT 4044263 SOS 961981 HAS SOPS 961981 HAS SOUS 749618 HAS SOUPS 749618 WITH SCORE 750579.981
AT ITER 1242 NEW BEST:: SOT 4044170 SOS 961795 HAS SOPS 961795 HAS SOUS 749525 HAS SOUPS 749525 WITH SCORE 750486.795
AT ITER 1259 NEW BEST:: SOT 4044088 SOS 962023 HAS SOPS 962023 HAS SOUS 749409 HAS SOUPS 749409 WITH SCORE 750371.023
AT ITER 1282 NEW BEST:: SOT 4044094 SOS 961879 HAS SOPS 961879 HAS SOUS 749265 HAS SOUPS 749265 WITH SCORE 750226.879
AT ITER 1284 NEW BEST:: SOT 4043940 SOS 961571 HAS SOPS 961571 HAS SOUS 749110 HAS SOUPS 749110 WITH SCORE 750071.571
AT ITER 1288 NEW BEST:: SOT 4043940 SOS 961495 HAS SOPS 961495 HAS SOUS 749034 HAS SOUPS 749034 WITH SCORE 749995.495
AT ITER 1289 NEW BEST:: SOT 4043839 SOS 961119 HAS SOPS 961119 HAS SOUS 748582 HAS SOUPS 748582 WITH SCORE 749543.119
AT ITER 1290 NEW BEST:: SOT 4043714 SOS 960994 HAS SOPS 960994 HAS SOUS 748457 HAS SOUPS 748457 WITH SCORE 749417.994
AT ITER 1304 NEW BEST:: SOT 4043682 SOS 960744 HAS SOPS 960744 HAS SOUS 748394 HAS SOUPS 748394 WITH SCORE 749354.744
AT ITER 1314 NEW BEST:: SOT 4043623 SOS 960649 HAS SOPS 960649 HAS SOUS 747786 HAS SOUPS 747786 WITH SCORE 748746.649
AT ITER 1318 NEW BEST:: SOT 4043623 SOS 960647 HAS SOPS 960647 HAS SOUS 747784 HAS SOUPS 747784 WITH SCORE 748744.647
AT ITER 1335 NEW BEST:: SOT 4042746 SOS 959652 HAS SOPS 959652 HAS SOUS 746789 HAS SOUPS 746789 WITH SCORE 747748.652
AT ITER 1357 NEW BEST:: SOT 4042746 SOS 959652 HAS SOPS 959652 HAS SOUS 746783 HAS SOUPS 746783 WITH SCORE 747742.652
AT ITER 1361 NEW BEST:: SOT 4042460 SOS 961448 HAS SOPS 961448 HAS SOUS 746503 HAS SOUPS 746503 WITH SCORE 747464.448
AT ITER 1366 NEW BEST:: SOT 4042087 SOS 960915 HAS SOPS 960915 HAS SOUS 745597 HAS SOUPS 745597 WITH SCORE 746557.915
AT ITER 1377 NEW BEST:: SOT 4041981 SOS 960798 HAS SOPS 960798 HAS SOUS 745480 HAS SOUPS 745480 WITH SCORE 746440.798
AT ITER 1380 NEW BEST:: SOT 4041963 SOS 960805 HAS SOPS 960805 HAS SOUS 745424 HAS SOUPS 745424 WITH SCORE 746384.805
AT ITER 1397 NEW BEST:: SOT 4041875 SOS 960698 HAS SOPS 960698 HAS SOUS 745324 HAS SOUPS 745324 WITH SCORE 746284.698
AT ITER 1409 NEW BEST:: SOT 4039890 SOS 970226 HAS SOPS 970226 HAS SOUS 744241 HAS SOUPS 744241 WITH SCORE 745211.226
AT ITER 1411 NEW BEST:: SOT 4038928 SOS 969494 HAS SOPS 969494 HAS SOUS 743489 HAS SOUPS 743489 WITH SCORE 744458.494
AT ITER 1433 NEW BEST:: SOT 4038915 SOS 969468 HAS SOPS 969468 HAS SOUS 743475 HAS SOUPS 743475 WITH SCORE 744444.468
AT ITER 1436 NEW BEST:: SOT 4038812 SOS 969262 HAS SOPS 969262 HAS SOUS 743253 HAS SOUPS 743253 WITH SCORE 744222.262
AT ITER 1451 NEW BEST:: SOT 4038674 SOS 968429 HAS SOPS 968429 HAS SOUS 742939 HAS SOUPS 742939 WITH SCORE 743907.429
AT ITER 1461 NEW BEST:: SOT 4038506 SOS 969677 HAS SOPS 969677 HAS SOUS 742568 HAS SOUPS 742568 WITH SCORE 743537.677
AT ITER 1492 NEW BEST:: SOT 4038443 SOS 969612 HAS SOPS 969612 HAS SOUS 742503 HAS SOUPS 742503 WITH SCORE 743472.612
AT ITER 1497 NEW BEST:: SOT 4038407 SOS 969540 HAS SOPS 969540 HAS SOUS 742467 HAS SOUPS 742467 WITH SCORE 743436.54
AT ITER 1500 NEW BEST:: SOT 4038384 SOS 969109 HAS SOPS 969109 HAS SOUS 742446 HAS SOUPS 742446 WITH SCORE 743415.109
AT ITER 1522 NEW BEST:: SOT 4038302 SOS 968945 HAS SOPS 968945 HAS SOUS 742178 HAS SOUPS 742178 WITH SCORE 743146.945
AT ITER 1556 NEW BEST:: SOT 4038302 SOS 968944 HAS SOPS 968944 HAS SOUS 742177 HAS SOUPS 742177 WITH SCORE 743145.944
AT ITER 1580 NEW BEST:: SOT 4037884 SOS 968504 HAS SOPS 968504 HAS SOUS 741737 HAS SOUPS 741737 WITH SCORE 742705.504
AT ITER 1590 NEW BEST:: SOT 4037540 SOS 968332 HAS SOPS 968332 HAS SOUS 741565 HAS SOUPS 741565 WITH SCORE 742533.332
AT ITER 1591 NEW BEST:: SOT 4037507 SOS 968197 HAS SOPS 968197 HAS SOUS 741430 HAS SOUPS 741430 WITH SCORE 742398.197
AT ITER 1629 NEW BEST:: SOT 4037342 SOS 967857 HAS SOPS 967857 HAS SOUS 741194 HAS SOUPS 741194 WITH SCORE 742161.857
AT ITER 1637 NEW BEST:: SOT 4037230 SOS 967745 HAS SOPS 967745 HAS SOUS 741079 HAS SOUPS 741079 WITH SCORE 742046.745
AT ITER 1649 NEW BEST:: SOT 4036906 SOS 967400 HAS SOPS 967400 HAS SOUS 740750 HAS SOUPS 740750 WITH SCORE 741717.4
AT ITER 1653 NEW BEST:: SOT 4036577 SOS 966812 HAS SOPS 966812 HAS SOUS 739536 HAS SOUPS 739536 WITH SCORE 740502.812
AT ITER 1660 NEW BEST:: SOT 4036546 SOS 966750 HAS SOPS 966750 HAS SOUS 739504 HAS SOUPS 739504 WITH SCORE 740470.75
AT ITER 1675 NEW BEST:: SOT 4036372 SOS 966750 HAS SOPS 966750 HAS SOUS 739382 HAS SOUPS 739382 WITH SCORE 740348.75
AT ITER 1692 NEW BEST:: SOT 4036206 SOS 966557 HAS SOPS 966557 HAS SOUS 738211 HAS SOUPS 738211 WITH SCORE 739177.557
AT ITER 1699 NEW BEST:: SOT 4036009 SOS 966355 HAS SOPS 966355 HAS SOUS 738009 HAS SOUPS 738009 WITH SCORE 738975.355
AT ITER 1704 NEW BEST:: SOT 4035994 SOS 966171 HAS SOPS 966171 HAS SOUS 737814 HAS SOUPS 737814 WITH SCORE 738780.171
AT ITER 1728 NEW BEST:: SOT 4035868 SOS 966113 HAS SOPS 966113 HAS SOUS 737756 HAS SOUPS 737756 WITH SCORE 738722.113
AT ITER 1733 NEW BEST:: SOT 4035639 SOS 965960 HAS SOPS 965960 HAS SOUS 737298 HAS SOUPS 737298 WITH SCORE 738263.96
AT ITER 1734 NEW BEST:: SOT 4035381 SOS 965660 HAS SOPS 965660 HAS SOUS 736998 HAS SOUPS 736998 WITH SCORE 737963.66
AT ITER 1737 NEW BEST:: SOT 4035381 SOS 965658 HAS SOPS 965658 HAS SOUS 736996 HAS SOUPS 736996 WITH SCORE 737961.658
AT ITER 1753 NEW BEST:: SOT 4035163 SOS 965440 HAS SOPS 965440 HAS SOUS 736772 HAS SOUPS 736772 WITH SCORE 737737.44
AT ITER 1776 NEW BEST:: SOT 4034631 SOS 964908 HAS SOPS 964908 HAS SOUS 736240 HAS SOUPS 736240 WITH SCORE 737204.908
AT ITER 1777 NEW BEST:: SOT 4034355 SOS 964031 HAS SOPS 964031 HAS SOUS 733680 HAS SOUPS 733680 WITH SCORE 734644.031
AT ITER 1787 NEW BEST:: SOT 4034355 SOS 964016 HAS SOPS 964016 HAS SOUS 733665 HAS SOUPS 733665 WITH SCORE 734629.016
AT ITER 1790 NEW BEST:: SOT 4034353 SOS 963866 HAS SOPS 963866 HAS SOUS 733661 HAS SOUPS 733661 WITH SCORE 734624.866
AT ITER 1796 NEW BEST:: SOT 4034265 SOS 963801 HAS SOPS 963801 HAS SOUS 733592 HAS SOUPS 733592 WITH SCORE 734555.801
AT ITER 1837 NEW BEST:: SOT 4034215 SOS 963639 HAS SOPS 963639 HAS SOUS 733430 HAS SOUPS 733430 WITH SCORE 734393.639
AT ITER 1852 NEW BEST:: SOT 4034215 SOS 963556 HAS SOPS 963556 HAS SOUS 733334 HAS SOUPS 733334 WITH SCORE 734297.556
AT ITER 1858 NEW BEST:: SOT 4034195 SOS 963536 HAS SOPS 963536 HAS SOUS 733294 HAS SOUPS 733294 WITH SCORE 734257.536
AT ITER 1874 NEW BEST:: SOT 4034115 SOS 963483 HAS SOPS 963483 HAS SOUS 733238 HAS SOUPS 733238 WITH SCORE 734201.483
AT ITER 1877 NEW BEST:: SOT 4034028 SOS 963447 HAS SOPS 963447 HAS SOUS 733238 HAS SOUPS 733238 WITH SCORE 734201.447
AT ITER 1878 NEW BEST:: SOT 4032649 SOS 964913 HAS SOPS 964913 HAS SOUS 732376 HAS SOUPS 732376 WITH SCORE 733340.913
AT ITER 1885 NEW BEST:: SOT 4032833 SOS 965210 HAS SOPS 965210 HAS SOUS 732072 HAS SOUPS 732072 WITH SCORE 733037.21
AT ITER 1894 NEW BEST:: SOT 4028853 SOS 963002 HAS SOPS 963002 HAS SOUS 728511 HAS SOUPS 728511 WITH SCORE 729474.002
AT ITER 1895 NEW BEST:: SOT 4028682 SOS 962660 HAS SOPS 962660 HAS SOUS 727983 HAS SOUPS 727983 WITH SCORE 728945.66
AT ITER 1896 NEW BEST:: SOT 4028682 SOS 962570 HAS SOPS 962570 HAS SOUS 727892 HAS SOUPS 727892 WITH SCORE 728854.57
AT ITER 1906 NEW BEST:: SOT 4028619 SOS 962166 HAS SOPS 962166 HAS SOUS 727401 HAS SOUPS 727401 WITH SCORE 728363.166
AT ITER 1908 NEW BEST:: SOT 4028592 SOS 962112 HAS SOPS 962112 HAS SOUS 727347 HAS SOUPS 727347 WITH SCORE 728309.112
AT ITER 1942 NEW BEST:: SOT 4028592 SOS 962110 HAS SOPS 962110 HAS SOUS 727346 HAS SOUPS 727346 WITH SCORE 728308.11
AT ITER 1952 NEW BEST:: SOT 4028538 SOS 961656 HAS SOPS 961656 HAS SOUS 727100 HAS SOUPS 727100 WITH SCORE 728061.656
AT ITER 1968 NEW BEST:: SOT 4029038 SOS 962175 HAS SOPS 962175 HAS SOUS 725485 HAS SOUPS 725485 WITH SCORE 726447.175
AT ITER 1976 NEW BEST:: SOT 4028602 SOS 961303 HAS SOPS 961303 HAS SOUS 724674 HAS SOUPS 724674 WITH SCORE 725635.303
AT ITER 2010 NEW BEST:: SOT 4028602 SOS 962514 HAS SOPS 962514 HAS SOUS 724646 HAS SOUPS 724646 WITH SCORE 725608.514
AT ITER 2014 NEW BEST:: SOT 4026503 SOS 963611 HAS SOPS 963611 HAS SOUS 723120 HAS SOUPS 723120 WITH SCORE 724083.611
AT ITER 2022 NEW BEST:: SOT 4026503 SOS 963611 HAS SOPS 963611 HAS SOUS 723108 HAS SOUPS 723108 WITH SCORE 724071.611
AT ITER 2030 NEW BEST:: SOT 4026503 SOS 963499 HAS SOPS 963499 HAS SOUS 723052 HAS SOUPS 723052 WITH SCORE 724015.499
AT ITER 2032 NEW BEST:: SOT 4026408 SOS 963404 HAS SOPS 963404 HAS SOUS 722957 HAS SOUPS 722957 WITH SCORE 723920.404
AT ITER 2040 NEW BEST:: SOT 4026191 SOS 963187 HAS SOPS 963187 HAS SOUS 722739 HAS SOUPS 722739 WITH SCORE 723702.187
AT ITER 2101 NEW BEST:: SOT 4026056 SOS 962457 HAS SOPS 962457 HAS SOUS 722489 HAS SOUPS 722489 WITH SCORE 723451.457
AT ITER 2108 NEW BEST:: SOT 4023685 SOS 963511 HAS SOPS 963511 HAS SOUS 720763 HAS SOUPS 720763 WITH SCORE 721726.511
AT ITER 2126 NEW BEST:: SOT 4023625 SOS 963276 HAS SOPS 963276 HAS SOUS 720528 HAS SOUPS 720528 WITH SCORE 721491.276
AT ITER 2144 NEW BEST:: SOT 4023491 SOS 963184 HAS SOPS 963184 HAS SOUS 720436 HAS SOUPS 720436 WITH SCORE 721399.184
AT ITER 2145 NEW BEST:: SOT 4023491 SOS 963184 HAS SOPS 963184 HAS SOUS 720435 HAS SOUPS 720435 WITH SCORE 721398.184
AT ITER 2153 NEW BEST:: SOT 4023491 SOS 963106 HAS SOPS 963106 HAS SOUS 720408 HAS SOUPS 720408 WITH SCORE 721371.106
AT ITER 2159 NEW BEST:: SOT 4023322 SOS 962937 HAS SOPS 962937 HAS SOUS 720239 HAS SOUPS 720239 WITH SCORE 721201.937
AT ITER 2163 NEW BEST:: SOT 4022955 SOS 962606 HAS SOPS 962606 HAS SOUS 719929 HAS SOUPS 719929 WITH SCORE 720891.606
AT ITER 2168 NEW BEST:: SOT 4022715 SOS 962397 HAS SOPS 962397 HAS SOUS 719720 HAS SOUPS 719720 WITH SCORE 720682.397
AT ITER 2193 NEW BEST:: SOT 4022669 SOS 962338 HAS SOPS 962338 HAS SOUS 719674 HAS SOUPS 719674 WITH SCORE 720636.338
AT ITER 2200 NEW BEST:: SOT 4022564 SOS 962232 HAS SOPS 962232 HAS SOUS 719568 HAS SOUPS 719568 WITH SCORE 720530.232
AT ITER 2204 NEW BEST:: SOT 4022564 SOS 962148 HAS SOPS 962148 HAS SOUS 719484 HAS SOUPS 719484 WITH SCORE 720446.148
AT ITER 2207 NEW BEST:: SOT 4022564 SOS 962078 HAS SOPS 962078 HAS SOUS 719414 HAS SOUPS 719414 WITH SCORE 720376.078
AT ITER 2210 NEW BEST:: SOT 4022480 SOS 961645 HAS SOPS 961645 HAS SOUS 719123 HAS SOUPS 719123 WITH SCORE 720084.645
AT ITER 2211 NEW BEST:: SOT 4022426 SOS 961580 HAS SOPS 961580 HAS SOUS 719058 HAS SOUPS 719058 WITH SCORE 720019.58
AT ITER 2225 NEW BEST:: SOT 4022267 SOS 961000 HAS SOPS 961000 HAS SOUS 718740 HAS SOUPS 718740 WITH SCORE 719701.0
AT ITER 2253 NEW BEST:: SOT 4022279 SOS 963008 HAS SOPS 963008 HAS SOUS 717100 HAS SOUPS 717100 WITH SCORE 718063.008
AT ITER 2260 NEW BEST:: SOT 4021111 SOS 961633 HAS SOPS 961633 HAS SOUS 716893 HAS SOUPS 716893 WITH SCORE 717854.633
AT ITER 2277 NEW BEST:: SOT 4021104 SOS 961619 HAS SOPS 961619 HAS SOUS 716879 HAS SOUPS 716879 WITH SCORE 717840.619
AT ITER 2295 NEW BEST:: SOT 4020956 SOS 960417 HAS SOPS 960417 HAS SOUS 716580 HAS SOUPS 716580 WITH SCORE 717540.417
AT ITER 2312 NEW BEST:: SOT 4020695 SOS 960150 HAS SOPS 960150 HAS SOUS 716313 HAS SOUPS 716313 WITH SCORE 717273.15
AT ITER 2318 NEW BEST:: SOT 4020695 SOS 960202 HAS SOPS 960202 HAS SOUS 716312 HAS SOUPS 716312 WITH SCORE 717272.202
AT ITER 2320 NEW BEST:: SOT 4020433 SOS 959416 HAS SOPS 959416 HAS SOUS 715788 HAS SOUPS 715788 WITH SCORE 716747.416
AT ITER 2335 NEW BEST:: SOT 4020095 SOS 959113 HAS SOPS 959113 HAS SOUS 715485 HAS SOUPS 715485 WITH SCORE 716444.113
AT ITER 2362 NEW BEST:: SOT 4019915 SOS 958854 HAS SOPS 958854 HAS SOUS 715226 HAS SOUPS 715226 WITH SCORE 716184.854
AT ITER 2369 NEW BEST:: SOT 4019843 SOS 959054 HAS SOPS 959054 HAS SOUS 715053 HAS SOUPS 715053 WITH SCORE 716012.054
AT ITER 2404 NEW BEST:: SOT 4019843 SOS 958774 HAS SOPS 958774 HAS SOUS 714643 HAS SOUPS 714643 WITH SCORE 715601.774
AT ITER 2416 NEW BEST:: SOT 4019843 SOS 958921 HAS SOPS 958921 HAS SOUS 714523 HAS SOUPS 714523 WITH SCORE 715481.921
AT ITER 2420 NEW BEST:: SOT 4018477 SOS 960002 HAS SOPS 960002 HAS SOUS 713947 HAS SOUPS 713947 WITH SCORE 714907.002
AT ITER 2442 NEW BEST:: SOT 4017829 SOS 960162 HAS SOPS 960162 HAS SOUS 713627 HAS SOUPS 713627 WITH SCORE 714587.162
AT ITER 2464 NEW BEST:: SOT 4017828 SOS 960175 HAS SOPS 960175 HAS SOUS 713625 HAS SOUPS 713625 WITH SCORE 714585.175
AT ITER 2480 NEW BEST:: SOT 4017575 SOS 959647 HAS SOPS 959647 HAS SOUS 713228 HAS SOUPS 713228 WITH SCORE 714187.647
AT ITER 2491 NEW BEST:: SOT 4017519 SOS 959479 HAS SOPS 959479 HAS SOUS 713060 HAS SOUPS 713060 WITH SCORE 714019.479
AT ITER 2497 NEW BEST:: SOT 4017416 SOS 959372 HAS SOPS 959372 HAS SOUS 712307 HAS SOUPS 712307 WITH SCORE 713266.372
AT ITER 2519 NEW BEST:: SOT 4017248 SOS 958654 HAS SOPS 958654 HAS SOUS 712069 HAS SOUPS 712069 WITH SCORE 713027.654
AT ITER 2552 NEW BEST:: SOT 4017247 SOS 958507 HAS SOPS 958507 HAS SOUS 712067 HAS SOUPS 712067 WITH SCORE 713025.507
AT ITER 2567 NEW BEST:: SOT 4017247 SOS 958416 HAS SOPS 958416 HAS SOUS 711976 HAS SOUPS 711976 WITH SCORE 712934.416
AT ITER 2602 NEW BEST:: SOT 4017252 SOS 958371 HAS SOPS 958371 HAS SOUS 711968 HAS SOUPS 711968 WITH SCORE 712926.371
AT ITER 2614 NEW BEST:: SOT 4017331 SOS 958317 HAS SOPS 958317 HAS SOUS 711914 HAS SOUPS 711914 WITH SCORE 712872.317
AT ITER 2627 NEW BEST:: SOT 4017214 SOS 958197 HAS SOPS 958197 HAS SOUS 711911 HAS SOUPS 711911 WITH SCORE 712869.197
AT ITER 2628 NEW BEST:: SOT 4017944 SOS 959031 HAS SOPS 959031 HAS SOUS 710233 HAS SOUPS 710233 WITH SCORE 711192.031
AT ITER 2657 NEW BEST:: SOT 4017922 SOS 958833 HAS SOPS 958833 HAS SOUS 710189 HAS SOUPS 710189 WITH SCORE 711147.833
AT ITER 2674 NEW BEST:: SOT 4017918 SOS 958812 HAS SOPS 958812 HAS SOUS 707097 HAS SOUPS 707097 WITH SCORE 708055.812
AT ITER 2678 NEW BEST:: SOT 4017898 SOS 958772 HAS SOPS 958772 HAS SOUS 707077 HAS SOUPS 707077 WITH SCORE 708035.772
AT ITER 2682 NEW BEST:: SOT 4017550 SOS 954265 HAS SOPS 954265 HAS SOUS 706364 HAS SOUPS 706364 WITH SCORE 707318.265
AT ITER 2715 NEW BEST:: SOT 4017609 SOS 954366 HAS SOPS 954366 HAS SOUS 706171 HAS SOUPS 706171 WITH SCORE 707125.366
AT ITER 2723 NEW BEST:: SOT 4017582 SOS 954312 HAS SOPS 954312 HAS SOUS 706117 HAS SOUPS 706117 WITH SCORE 707071.312
AT ITER 2728 NEW BEST:: SOT 4016019 SOS 954468 HAS SOPS 954468 HAS SOUS 704655 HAS SOUPS 704655 WITH SCORE 705609.468
AT ITER 2740 NEW BEST:: SOT 4015980 SOS 954451 HAS SOPS 954451 HAS SOUS 704655 HAS SOUPS 704655 WITH SCORE 705609.451
AT ITER 2743 NEW BEST:: SOT 4015811 SOS 954133 HAS SOPS 954133 HAS SOUS 704338 HAS SOUPS 704338 WITH SCORE 705292.133
AT ITER 2771 NEW BEST:: SOT 4015810 SOS 954127 HAS SOPS 954127 HAS SOUS 704332 HAS SOUPS 704332 WITH SCORE 705286.127
AT ITER 2774 NEW BEST:: SOT 4015627 SOS 953761 HAS SOPS 953761 HAS SOUS 703966 HAS SOUPS 703966 WITH SCORE 704919.761
AT ITER 2797 NEW BEST:: SOT 4015627 SOS 953761 HAS SOPS 953761 HAS SOUS 703963 HAS SOUPS 703963 WITH SCORE 704916.761
AT ITER 2806 NEW BEST:: SOT 4015515 SOS 953021 HAS SOPS 953021 HAS SOUS 703732 HAS SOUPS 703732 WITH SCORE 704685.021
AT ITER 2808 NEW BEST:: SOT 4015515 SOS 953005 HAS SOPS 953005 HAS SOUS 703536 HAS SOUPS 703536 WITH SCORE 704489.005
AT ITER 2827 NEW BEST:: SOT 4015449 SOS 953308 HAS SOPS 953308 HAS SOUS 703447 HAS SOUPS 703447 WITH SCORE 704400.308
AT ITER 2835 NEW BEST:: SOT 4015427 SOS 953286 HAS SOPS 953286 HAS SOUS 703425 HAS SOUPS 703425 WITH SCORE 704378.286
AT ITER 2859 NEW BEST:: SOT 4015154 SOS 952615 HAS SOPS 952615 HAS SOUS 702242 HAS SOUPS 702242 WITH SCORE 703194.615
AT ITER 2877 NEW BEST:: SOT 4015036 SOS 953045 HAS SOPS 953045 HAS SOUS 702094 HAS SOUPS 702094 WITH SCORE 703047.045
AT ITER 2884 NEW BEST:: SOT 4014984 SOS 953115 HAS SOPS 953115 HAS SOUS 701990 HAS SOUPS 701990 WITH SCORE 702943.115
AT ITER 2891 NEW BEST:: SOT 4011925 SOS 950176 HAS SOPS 950176 HAS SOUS 699041 HAS SOUPS 699041 WITH SCORE 699991.176
AT ITER 2907 NEW BEST:: SOT 4011706 SOS 949995 HAS SOPS 949995 HAS SOUS 698860 HAS SOUPS 698860 WITH SCORE 699809.995
AT ITER 2909 NEW BEST:: SOT 4011706 SOS 949738 HAS SOPS 949738 HAS SOUS 698603 HAS SOUPS 698603 WITH SCORE 699552.738
AT ITER 2911 NEW BEST:: SOT 4011600 SOS 949694 HAS SOPS 949694 HAS SOUS 698559 HAS SOUPS 698559 WITH SCORE 699508.694
AT ITER 2920 NEW BEST:: SOT 4011574 SOS 949668 HAS SOPS 949668 HAS SOUS 698325 HAS SOUPS 698325 WITH SCORE 699274.668
AT ITER 2932 NEW BEST:: SOT 4010536 SOS 949495 HAS SOPS 949495 HAS SOUS 697460 HAS SOUPS 697460 WITH SCORE 698409.495
AT ITER 2933 NEW BEST:: SOT 4010153 SOS 948708 HAS SOPS 948708 HAS SOUS 693829 HAS SOUPS 693829 WITH SCORE 694777.708
AT ITER 2938 NEW BEST:: SOT 4008494 SOS 946812 HAS SOPS 946812 HAS SOUS 693829 HAS SOUPS 693829 WITH SCORE 694775.812
AT ITER 2952 NEW BEST:: SOT 4008494 SOS 946789 HAS SOPS 946789 HAS SOUS 693806 HAS SOUPS 693806 WITH SCORE 694752.789
AT ITER 2957 NEW BEST:: SOT 4008358 SOS 946618 HAS SOPS 946618 HAS SOUS 693635 HAS SOUPS 693635 WITH SCORE 694581.618
AT ITER 2983 NEW BEST:: SOT 4007763 SOS 946023 HAS SOPS 946023 HAS SOUS 693040 HAS SOUPS 693040 WITH SCORE 693986.023
AT ITER 2986 NEW BEST:: SOT 4007687 SOS 945947 HAS SOPS 945947 HAS SOUS 692964 HAS SOUPS 692964 WITH SCORE 693909.947
AT ITER 2996 NEW BEST:: SOT 4007687 SOS 945977 HAS SOPS 945977 HAS SOUS 692898 HAS SOUPS 692898 WITH SCORE 693843.977
AT ITER 3016 NEW BEST:: SOT 4007686 SOS 945975 HAS SOPS 945975 HAS SOUS 692896 HAS SOUPS 692896 WITH SCORE 693841.975
AT ITER 3024 NEW BEST:: SOT 4007367 SOS 945812 HAS SOPS 945812 HAS SOUS 692629 HAS SOUPS 692629 WITH SCORE 693574.812
AT ITER 3038 NEW BEST:: SOT 4006538 SOS 945082 HAS SOPS 945082 HAS SOUS 692499 HAS SOUPS 692499 WITH SCORE 693444.082
AT ITER 3058 NEW BEST:: SOT 4006512 SOS 945030 HAS SOPS 945030 HAS SOUS 692473 HAS SOUPS 692473 WITH SCORE 693418.03
AT ITER 3065 NEW BEST:: SOT 4006464 SOS 944744 HAS SOPS 944744 HAS SOUS 692231 HAS SOUPS 692231 WITH SCORE 693175.744
AT ITER 3077 NEW BEST:: SOT 4006463 SOS 944742 HAS SOPS 944742 HAS SOUS 692229 HAS SOUPS 692229 WITH SCORE 693173.742
AT ITER 3078 NEW BEST:: SOT 4006445 SOS 944728 HAS SOPS 944728 HAS SOUS 692215 HAS SOUPS 692215 WITH SCORE 693159.728
AT ITER 3080 NEW BEST:: SOT 4006396 SOS 944679 HAS SOPS 944679 HAS SOUS 692166 HAS SOUPS 692166 WITH SCORE 693110.679
AT ITER 3094 NEW BEST:: SOT 4006476 SOS 945700 HAS SOPS 945700 HAS SOUS 692062 HAS SOUPS 692062 WITH SCORE 693007.7
AT ITER 3130 NEW BEST:: SOT 4006397 SOS 945550 HAS SOPS 945550 HAS SOUS 691912 HAS SOUPS 691912 WITH SCORE 692857.55
AT ITER 3139 NEW BEST:: SOT 4006355 SOS 945508 HAS SOPS 945508 HAS SOUS 691877 HAS SOUPS 691877 WITH SCORE 692822.508
AT ITER 3156 NEW BEST:: SOT 4006355 SOS 945504 HAS SOPS 945504 HAS SOUS 691849 HAS SOUPS 691849 WITH SCORE 692794.504
AT ITER 3175 NEW BEST:: SOT 4006355 SOS 945292 HAS SOPS 945292 HAS SOUS 691637 HAS SOUPS 691637 WITH SCORE 692582.292
AT ITER 3176 NEW BEST:: SOT 4005991 SOS 945030 HAS SOPS 945030 HAS SOUS 691375 HAS SOUPS 691375 WITH SCORE 692320.03
AT ITER 3188 NEW BEST:: SOT 4006519 SOS 946012 HAS SOPS 946012 HAS SOUS 690842 HAS SOUPS 690842 WITH SCORE 691788.012
AT ITER 3197 NEW BEST:: SOT 4006387 SOS 945848 HAS SOPS 945848 HAS SOUS 690688 HAS SOUPS 690688 WITH SCORE 691633.848
AT ITER 3220 NEW BEST:: SOT 4004691 SOS 943940 HAS SOPS 943940 HAS SOUS 690476 HAS SOUPS 690476 WITH SCORE 691419.94
AT ITER 3221 NEW BEST:: SOT 4004500 SOS 943558 HAS SOPS 943558 HAS SOUS 690094 HAS SOUPS 690094 WITH SCORE 691037.558
AT ITER 3268 NEW BEST:: SOT 4004404 SOS 943510 HAS SOPS 943510 HAS SOUS 689998 HAS SOUPS 689998 WITH SCORE 690941.51
AT ITER 3271 NEW BEST:: SOT 4004404 SOS 943510 HAS SOPS 943510 HAS SOUS 689795 HAS SOUPS 689795 WITH SCORE 690738.51
AT ITER 3286 NEW BEST:: SOT 4004404 SOS 943414 HAS SOPS 943414 HAS SOUS 689699 HAS SOUPS 689699 WITH SCORE 690642.414
AT ITER 3298 NEW BEST:: SOT 4004367 SOS 943339 HAS SOPS 943339 HAS SOUS 689657 HAS SOUPS 689657 WITH SCORE 690600.339
AT ITER 3305 NEW BEST:: SOT 4004344 SOS 943290 HAS SOPS 943290 HAS SOUS 689611 HAS SOUPS 689611 WITH SCORE 690554.29
AT ITER 3313 NEW BEST:: SOT 4004344 SOS 943532 HAS SOPS 943532 HAS SOUS 689369 HAS SOUPS 689369 WITH SCORE 690312.532
AT ITER 3315 NEW BEST:: SOT 4004344 SOS 943515 HAS SOPS 943515 HAS SOUS 689352 HAS SOUPS 689352 WITH SCORE 690295.515
AT ITER 3342 NEW BEST:: SOT 4004274 SOS 943293 HAS SOPS 943293 HAS SOUS 689130 HAS SOUPS 689130 WITH SCORE 690073.293
AT ITER 3353 NEW BEST:: SOT 4003456 SOS 944683 HAS SOPS 944683 HAS SOUS 688588 HAS SOUPS 688588 WITH SCORE 689532.683
AT ITER 3368 NEW BEST:: SOT 4003391 SOS 944553 HAS SOPS 944553 HAS SOUS 688340 HAS SOUPS 688340 WITH SCORE 689284.553
AT ITER 3386 NEW BEST:: SOT 4003357 SOS 944485 HAS SOPS 944485 HAS SOUS 688272 HAS SOUPS 688272 WITH SCORE 689216.485
AT ITER 3405 NEW BEST:: SOT 4003357 SOS 944564 HAS SOPS 944564 HAS SOUS 687719 HAS SOUPS 687719 WITH SCORE 688663.564
AT ITER 3424 NEW BEST:: SOT 4003307 SOS 944404 HAS SOPS 944404 HAS SOUS 687666 HAS SOUPS 687666 WITH SCORE 688610.404
AT ITER 3436 NEW BEST:: SOT 4004109 SOS 945446 HAS SOPS 945446 HAS SOUS 685951 HAS SOUPS 685951 WITH SCORE 686896.446
AT ITER 3460 NEW BEST:: SOT 4004040 SOS 945308 HAS SOPS 945308 HAS SOUS 685813 HAS SOUPS 685813 WITH SCORE 686758.308
AT ITER 3476 NEW BEST:: SOT 4003945 SOS 945213 HAS SOPS 945213 HAS SOUS 685718 HAS SOUPS 685718 WITH SCORE 686663.213
AT ITER 3480 NEW BEST:: SOT 4003743 SOS 944712 HAS SOPS 944712 HAS SOUS 685084 HAS SOUPS 685084 WITH SCORE 686028.712
AT ITER 3482 NEW BEST:: SOT 4003742 SOS 944339 HAS SOPS 944339 HAS SOUS 685082 HAS SOUPS 685082 WITH SCORE 686026.339
AT ITER 3484 NEW BEST:: SOT 4003680 SOS 944277 HAS SOPS 944277 HAS SOUS 685020 HAS SOUPS 685020 WITH SCORE 685964.277
AT ITER 3495 NEW BEST:: SOT 4003739 SOS 944597 HAS SOPS 944597 HAS SOUS 684860 HAS SOUPS 684860 WITH SCORE 685804.597
AT ITER 3506 NEW BEST:: SOT 4003617 SOS 944353 HAS SOPS 944353 HAS SOUS 684616 HAS SOUPS 684616 WITH SCORE 685560.353
AT ITER 3525 NEW BEST:: SOT 4003617 SOS 944348 HAS SOPS 944348 HAS SOUS 684611 HAS SOUPS 684611 WITH SCORE 685555.348
AT ITER 3526 NEW BEST:: SOT 4003568 SOS 944618 HAS SOPS 944618 HAS SOUS 684544 HAS SOUPS 684544 WITH SCORE 685488.618
AT ITER 3544 NEW BEST:: SOT 4003469 SOS 944420 HAS SOPS 944420 HAS SOUS 684346 HAS SOUPS 684346 WITH SCORE 685290.42
AT ITER 3550 NEW BEST:: SOT 4003429 SOS 945180 HAS SOPS 945180 HAS SOUS 684266 HAS SOUPS 684266 WITH SCORE 685211.18
AT ITER 3558 NEW BEST:: SOT 4003400 SOS 945122 HAS SOPS 945122 HAS SOUS 684208 HAS SOUPS 684208 WITH SCORE 685153.122
AT ITER 3559 NEW BEST:: SOT 4003292 SOS 945050 HAS SOPS 945050 HAS SOUS 684180 HAS SOUPS 684180 WITH SCORE 685125.05
AT ITER 3595 NEW BEST:: SOT 4003292 SOS 945006 HAS SOPS 945006 HAS SOUS 684136 HAS SOUPS 684136 WITH SCORE 685081.006
AT ITER 3601 NEW BEST:: SOT 4003291 SOS 944692 HAS SOPS 944692 HAS SOUS 684134 HAS SOUPS 684134 WITH SCORE 685078.692
AT ITER 3604 NEW BEST:: SOT 4003024 SOS 942314 HAS SOPS 942314 HAS SOUS 683134 HAS SOUPS 683134 WITH SCORE 684076.314
AT ITER 3608 NEW BEST:: SOT 4002651 SOS 940592 HAS SOPS 940592 HAS SOUS 682407 HAS SOUPS 682407 WITH SCORE 683347.592
AT ITER 3630 NEW BEST:: SOT 4002596 SOS 940482 HAS SOPS 940482 HAS SOUS 682297 HAS SOUPS 682297 WITH SCORE 683237.482
AT ITER 3637 NEW BEST:: SOT 4002544 SOS 940326 HAS SOPS 940326 HAS SOUS 682141 HAS SOUPS 682141 WITH SCORE 683081.326
AT ITER 3639 NEW BEST:: SOT 4002486 SOS 940325 HAS SOPS 940325 HAS SOUS 682140 HAS SOUPS 682140 WITH SCORE 683080.325
AT ITER 3651 NEW BEST:: SOT 4002486 SOS 940325 HAS SOPS 940325 HAS SOUS 682137 HAS SOUPS 682137 WITH SCORE 683077.325
AT ITER 3676 NEW BEST:: SOT 4002486 SOS 940178 HAS SOPS 940178 HAS SOUS 682137 HAS SOUPS 682137 WITH SCORE 683077.178
AT ITER 3677 NEW BEST:: SOT 4002335 SOS 940178 HAS SOPS 940178 HAS SOUS 681986 HAS SOUPS 681986 WITH SCORE 682926.178
AT ITER 3679 NEW BEST:: SOT 4002307 SOS 940366 HAS SOPS 940366 HAS SOUS 681985 HAS SOUPS 681985 WITH SCORE 682925.366
AT ITER 3688 NEW BEST:: SOT 4002163 SOS 940181 HAS SOPS 940181 HAS SOUS 681800 HAS SOUPS 681800 WITH SCORE 682740.181
AT ITER 3690 NEW BEST:: SOT 4002163 SOS 940029 HAS SOPS 940029 HAS SOUS 681798 HAS SOUPS 681798 WITH SCORE 682738.029
AT ITER 3715 NEW BEST:: SOT 4002023 SOS 939889 HAS SOPS 939889 HAS SOUS 681658 HAS SOUPS 681658 WITH SCORE 682597.889
AT ITER 3745 NEW BEST:: SOT 4001887 SOS 939618 HAS SOPS 939618 HAS SOUS 681528 HAS SOUPS 681528 WITH SCORE 682467.618
AT ITER 3779 NEW BEST:: SOT 4001623 SOS 939222 HAS SOPS 939222 HAS SOUS 681132 HAS SOUPS 681132 WITH SCORE 682071.222
AT ITER 3784 NEW BEST:: SOT 4002076 SOS 940297 HAS SOPS 940297 HAS SOUS 680931 HAS SOUPS 680931 WITH SCORE 681871.297
AT ITER 3797 NEW BEST:: SOT 4002287 SOS 941573 HAS SOPS 941573 HAS SOUS 680335 HAS SOUPS 680335 WITH SCORE 681276.573
AT ITER 3807 NEW BEST:: SOT 4002287 SOS 941573 HAS SOPS 941573 HAS SOUS 680332 HAS SOUPS 680332 WITH SCORE 681273.573
AT ITER 3820 NEW BEST:: SOT 4002286 SOS 941571 HAS SOPS 941571 HAS SOUS 680330 HAS SOUPS 680330 WITH SCORE 681271.571
AT ITER 3839 NEW BEST:: SOT 4002255 SOS 941228 HAS SOPS 941228 HAS SOUS 680232 HAS SOUPS 680232 WITH SCORE 681173.228
AT ITER 3840 NEW BEST:: SOT 4000959 SOS 939746 HAS SOPS 939746 HAS SOUS 680230 HAS SOUPS 680230 WITH SCORE 681169.746
AT ITER 3849 NEW BEST:: SOT 4000640 SOS 939374 HAS SOPS 939374 HAS SOUS 679911 HAS SOUPS 679911 WITH SCORE 680850.374
AT ITER 3868 NEW BEST:: SOT 4000510 SOS 939364 HAS SOPS 939364 HAS SOUS 679909 HAS SOUPS 679909 WITH SCORE 680848.364
AT ITER 3885 NEW BEST:: SOT 4000325 SOS 939161 HAS SOPS 939161 HAS SOUS 678244 HAS SOUPS 678244 WITH SCORE 679183.161
AT ITER 3896 NEW BEST:: SOT 3999962 SOS 938925 HAS SOPS 938925 HAS SOUS 678008 HAS SOUPS 678008 WITH SCORE 678946.925
AT ITER 3900 NEW BEST:: SOT 3999461 SOS 938762 HAS SOPS 938762 HAS SOUS 677845 HAS SOUPS 677845 WITH SCORE 678783.762
AT ITER 3902 NEW BEST:: SOT 3999427 SOS 939374 HAS SOPS 939374 HAS SOUS 677811 HAS SOUPS 677811 WITH SCORE 678750.374
AT ITER 3906 NEW BEST:: SOT 3999305 SOS 939251 HAS SOPS 939251 HAS SOUS 677688 HAS SOUPS 677688 WITH SCORE 678627.251
AT ITER 3909 NEW BEST:: SOT 3999305 SOS 932501 HAS SOPS 932501 HAS SOUS 677688 HAS SOUPS 677688 WITH SCORE 678620.501
AT ITER 3914 NEW BEST:: SOT 3999608 SOS 933890 HAS SOPS 933890 HAS SOUS 677409 HAS SOUPS 677409 WITH SCORE 678342.89
AT ITER 3936 NEW BEST:: SOT 3999608 SOS 933681 HAS SOPS 933681 HAS SOUS 677200 HAS SOUPS 677200 WITH SCORE 678133.681
AT ITER 3948 NEW BEST:: SOT 3999489 SOS 933324 HAS SOPS 933324 HAS SOUS 676843 HAS SOUPS 676843 WITH SCORE 677776.324
AT ITER 3953 NEW BEST:: SOT 3999489 SOS 933075 HAS SOPS 933075 HAS SOUS 676843 HAS SOUPS 676843 WITH SCORE 677776.075
AT ITER 3957 NEW BEST:: SOT 3999487 SOS 933071 HAS SOPS 933071 HAS SOUS 676839 HAS SOUPS 676839 WITH SCORE 677772.071
AT ITER 3958 NEW BEST:: SOT 3999487 SOS 933070 HAS SOPS 933070 HAS SOUS 676838 HAS SOUPS 676838 WITH SCORE 677771.07
AT ITER 3971 NEW BEST:: SOT 3999348 SOS 932646 HAS SOPS 932646 HAS SOUS 676255 HAS SOUPS 676255 WITH SCORE 677187.646
AT ITER 3982 NEW BEST:: SOT 3999360 SOS 932155 HAS SOPS 932155 HAS SOUS 675508 HAS SOUPS 675508 WITH SCORE 676440.155
AT ITER 3995 NEW BEST:: SOT 3999294 SOS 931962 HAS SOPS 931962 HAS SOUS 675315 HAS SOUPS 675315 WITH SCORE 676246.962
AT ITER 4015 NEW BEST:: SOT 3999131 SOS 931799 HAS SOPS 931799 HAS SOUS 673848 HAS SOUPS 673848 WITH SCORE 674779.799
AT ITER 4029 NEW BEST:: SOT 3999121 SOS 931769 HAS SOPS 931769 HAS SOUS 673818 HAS SOUPS 673818 WITH SCORE 674749.769
AT ITER 4039 NEW BEST:: SOT 3999162 SOS 931591 HAS SOPS 931591 HAS SOUS 673728 HAS SOUPS 673728 WITH SCORE 674659.591
AT ITER 4047 NEW BEST:: SOT 3999089 SOS 931245 HAS SOPS 931245 HAS SOUS 673439 HAS SOUPS 673439 WITH SCORE 674370.245
AT ITER 4054 NEW BEST:: SOT 3998869 SOS 930786 HAS SOPS 930786 HAS SOUS 672980 HAS SOUPS 672980 WITH SCORE 673910.786
AT ITER 4060 NEW BEST:: SOT 3998841 SOS 930730 HAS SOPS 930730 HAS SOUS 672821 HAS SOUPS 672821 WITH SCORE 673751.73
AT ITER 4066 NEW BEST:: SOT 3998745 SOS 930772 HAS SOPS 930772 HAS SOUS 672718 HAS SOUPS 672718 WITH SCORE 673648.772
AT ITER 4074 NEW BEST:: SOT 3996488 SOS 927925 HAS SOPS 927925 HAS SOUS 672231 HAS SOUPS 672231 WITH SCORE 673158.925
AT ITER 4090 NEW BEST:: SOT 3996270 SOS 927555 HAS SOPS 927555 HAS SOUS 671831 HAS SOUPS 671831 WITH SCORE 672758.555
AT ITER 4100 NEW BEST:: SOT 3996014 SOS 927003 HAS SOPS 927003 HAS SOUS 671568 HAS SOUPS 671568 WITH SCORE 672495.003
AT ITER 4119 NEW BEST:: SOT 3995852 SOS 926883 HAS SOPS 926883 HAS SOUS 671448 HAS SOUPS 671448 WITH SCORE 672374.883
AT ITER 4124 NEW BEST:: SOT 3995761 SOS 921117 HAS SOPS 921117 HAS SOUS 671017 HAS SOUPS 671017 WITH SCORE 671938.117
AT ITER 4125 NEW BEST:: SOT 3995760 SOS 921115 HAS SOPS 921115 HAS SOUS 671015 HAS SOUPS 671015 WITH SCORE 671936.115
AT ITER 4142 NEW BEST:: SOT 3995760 SOS 921115 HAS SOPS 921115 HAS SOUS 670820 HAS SOUPS 670820 WITH SCORE 671741.115
AT ITER 4194 NEW BEST:: SOT 3995720 SOS 920590 HAS SOPS 920590 HAS SOUS 670706 HAS SOUPS 670706 WITH SCORE 671626.59
AT ITER 4205 NEW BEST:: SOT 3995605 SOS 920358 HAS SOPS 920358 HAS SOUS 670474 HAS SOUPS 670474 WITH SCORE 671394.358
AT ITER 4214 NEW BEST:: SOT 3995305 SOS 919892 HAS SOPS 919892 HAS SOUS 669708 HAS SOUPS 669708 WITH SCORE 670627.892
AT ITER 4221 NEW BEST:: SOT 3995305 SOS 919873 HAS SOPS 919873 HAS SOUS 669708 HAS SOUPS 669708 WITH SCORE 670627.873
AT ITER 4269 NEW BEST:: SOT 3995251 SOS 919704 HAS SOPS 919704 HAS SOUS 669539 HAS SOUPS 669539 WITH SCORE 670458.704
AT ITER 4284 NEW BEST:: SOT 3994569 SOS 916864 HAS SOPS 916864 HAS SOUS 668358 HAS SOUPS 668358 WITH SCORE 669274.864
AT ITER 4289 NEW BEST:: SOT 3993967 SOS 916286 HAS SOPS 916286 HAS SOUS 668067 HAS SOUPS 668067 WITH SCORE 668983.286
AT ITER 4301 NEW BEST:: SOT 3994113 SOS 916577 HAS SOPS 916577 HAS SOUS 667959 HAS SOUPS 667959 WITH SCORE 668875.577
AT ITER 4308 NEW BEST:: SOT 3994113 SOS 916570 HAS SOPS 916570 HAS SOUS 667959 HAS SOUPS 667959 WITH SCORE 668875.57
AT ITER 4357 NEW BEST:: SOT 3994192 SOS 916467 HAS SOPS 916467 HAS SOUS 667856 HAS SOUPS 667856 WITH SCORE 668772.467
AT ITER 4400 NEW BEST:: SOT 3994202 SOS 916291 HAS SOPS 916291 HAS SOUS 667680 HAS SOUPS 667680 WITH SCORE 668596.291
AT ITER 4406 NEW BEST:: SOT 3993718 SOS 915936 HAS SOPS 915936 HAS SOUS 667196 HAS SOUPS 667196 WITH SCORE 668111.936
AT ITER 4409 NEW BEST:: SOT 3993661 SOS 915879 HAS SOPS 915879 HAS SOUS 667138 HAS SOUPS 667138 WITH SCORE 668053.879
AT ITER 4419 NEW BEST:: SOT 3993533 SOS 915877 HAS SOPS 915877 HAS SOUS 667136 HAS SOUPS 667136 WITH SCORE 668051.877
AT ITER 4420 NEW BEST:: SOT 3993478 SOS 915737 HAS SOPS 915737 HAS SOUS 667024 HAS SOUPS 667024 WITH SCORE 667939.737
AT ITER 4449 NEW BEST:: SOT 3993411 SOS 915545 HAS SOPS 915545 HAS SOUS 666832 HAS SOUPS 666832 WITH SCORE 667747.545
AT ITER 4450 NEW BEST:: SOT 3993411 SOS 915547 HAS SOPS 915547 HAS SOUS 666632 HAS SOUPS 666632 WITH SCORE 667547.547
AT ITER 4494 NEW BEST:: SOT 3993410 SOS 915493 HAS SOPS 915493 HAS SOUS 666578 HAS SOUPS 666578 WITH SCORE 667493.493
AT ITER 4497 NEW BEST:: SOT 3993204 SOS 915390 HAS SOPS 915390 HAS SOUS 666475 HAS SOUPS 666475 WITH SCORE 667390.39
AT ITER 4499 NEW BEST:: SOT 3993153 SOS 913634 HAS SOPS 913634 HAS SOUS 666373 HAS SOUPS 666373 WITH SCORE 667286.634
AT ITER 4501 NEW BEST:: SOT 3993133 SOS 913614 HAS SOPS 913614 HAS SOUS 666353 HAS SOUPS 666353 WITH SCORE 667266.614
AT ITER 4518 NEW BEST:: SOT 3993103 SOS 913434 HAS SOPS 913434 HAS SOUS 666293 HAS SOUPS 666293 WITH SCORE 667206.434
AT ITER 4530 NEW BEST:: SOT 3992921 SOS 912948 HAS SOPS 912948 HAS SOUS 665807 HAS SOUPS 665807 WITH SCORE 666719.948
AT ITER 4577 NEW BEST:: SOT 3992852 SOS 912798 HAS SOPS 912798 HAS SOUS 665601 HAS SOUPS 665601 WITH SCORE 666513.798
AT ITER 4580 NEW BEST:: SOT 3992557 SOS 912645 HAS SOPS 912645 HAS SOUS 665448 HAS SOUPS 665448 WITH SCORE 666360.645
AT ITER 4600 NEW BEST:: SOT 3992509 SOS 912507 HAS SOPS 912507 HAS SOUS 665431 HAS SOUPS 665431 WITH SCORE 666343.507
AT ITER 4623 NEW BEST:: SOT 3992214 SOS 911895 HAS SOPS 911895 HAS SOUS 665057 HAS SOUPS 665057 WITH SCORE 665968.895
AT ITER 4640 NEW BEST:: SOT 3991444 SOS 911015 HAS SOPS 911015 HAS SOUS 665057 HAS SOUPS 665057 WITH SCORE 665968.015
AT ITER 4642 NEW BEST:: SOT 3991337 SOS 910801 HAS SOPS 910801 HAS SOUS 664843 HAS SOUPS 664843 WITH SCORE 665753.801
AT ITER 4646 NEW BEST:: SOT 3991337 SOS 910558 HAS SOPS 910558 HAS SOUS 664824 HAS SOUPS 664824 WITH SCORE 665734.558
AT ITER 4647 NEW BEST:: SOT 3991147 SOS 910178 HAS SOPS 910178 HAS SOUS 664444 HAS SOUPS 664444 WITH SCORE 665354.178
AT ITER 4649 NEW BEST:: SOT 3990900 SOS 909807 HAS SOPS 909807 HAS SOUS 664241 HAS SOUPS 664241 WITH SCORE 665150.807
AT ITER 4717 NEW BEST:: SOT 3990088 SOS 908879 HAS SOPS 908879 HAS SOUS 664241 HAS SOUPS 664241 WITH SCORE 665149.879
AT ITER 4730 NEW BEST:: SOT 3990088 SOS 908872 HAS SOPS 908872 HAS SOUS 664234 HAS SOUPS 664234 WITH SCORE 665142.872
AT ITER 4746 NEW BEST:: SOT 3990088 SOS 908793 HAS SOPS 908793 HAS SOUS 664234 HAS SOUPS 664234 WITH SCORE 665142.793
AT ITER 4765 NEW BEST:: SOT 3989801 SOS 909374 HAS SOPS 909374 HAS SOUS 664157 HAS SOUPS 664157 WITH SCORE 665066.374
AT ITER 4779 NEW BEST:: SOT 3989779 SOS 909351 HAS SOPS 909351 HAS SOUS 664133 HAS SOUPS 664133 WITH SCORE 665042.351
AT ITER 4793 NEW BEST:: SOT 3989639 SOS 909071 HAS SOPS 909071 HAS SOUS 663853 HAS SOUPS 663853 WITH SCORE 664762.071
AT ITER 4807 NEW BEST:: SOT 3989639 SOS 909063 HAS SOPS 909063 HAS SOUS 663845 HAS SOUPS 663845 WITH SCORE 664754.063
AT ITER 4813 NEW BEST:: SOT 3989503 SOS 909164 HAS SOPS 909164 HAS SOUS 663709 HAS SOUPS 663709 WITH SCORE 664618.164
AT ITER 4835 NEW BEST:: SOT 3987923 SOS 907666 HAS SOPS 907666 HAS SOUS 662107 HAS SOUPS 662107 WITH SCORE 663014.666
AT ITER 4836 NEW BEST:: SOT 3987923 SOS 907980 HAS SOPS 907980 HAS SOUS 662050 HAS SOUPS 662050 WITH SCORE 662957.98
AT ITER 4859 NEW BEST:: SOT 3987799 SOS 907050 HAS SOPS 907050 HAS SOUS 661802 HAS SOUPS 661802 WITH SCORE 662709.05
AT ITER 4860 NEW BEST:: SOT 3987807 SOS 906934 HAS SOPS 906934 HAS SOUS 661801 HAS SOUPS 661801 WITH SCORE 662707.934
AT ITER 4908 NEW BEST:: SOT 3987655 SOS 906778 HAS SOPS 906778 HAS SOUS 661645 HAS SOUPS 661645 WITH SCORE 662551.778
AT ITER 4922 NEW BEST:: SOT 3986998 SOS 905752 HAS SOPS 905752 HAS SOUS 660529 HAS SOUPS 660529 WITH SCORE 661434.752
AT ITER 4934 NEW BEST:: SOT 3986998 SOS 905705 HAS SOPS 905705 HAS SOUS 660482 HAS SOUPS 660482 WITH SCORE 661387.705
AT ITER 4946 NEW BEST:: SOT 3986998 SOS 905649 HAS SOPS 905649 HAS SOUS 660426 HAS SOUPS 660426 WITH SCORE 661331.649
AT ITER 4964 NEW BEST:: SOT 3986998 SOS 905843 HAS SOPS 905843 HAS SOUS 660368 HAS SOUPS 660368 WITH SCORE 661273.843
AT ITER 4983 NEW BEST:: SOT 3986998 SOS 905843 HAS SOPS 905843 HAS SOUS 660356 HAS SOUPS 660356 WITH SCORE 661261.843
AT ITER 4992 NEW BEST:: SOT 3986878 SOS 905722 HAS SOPS 905722 HAS SOUS 660235 HAS SOUPS 660235 WITH SCORE 661140.722
AT ITER 5043 NEW BEST:: SOT 3986786 SOS 905630 HAS SOPS 905630 HAS SOUS 660143 HAS SOUPS 660143 WITH SCORE 661048.63
AT ITER 5058 NEW BEST:: SOT 3986588 SOS 905475 HAS SOPS 905475 HAS SOUS 659884 HAS SOUPS 659884 WITH SCORE 660789.475
AT ITER 5060 NEW BEST:: SOT 3986588 SOS 905434 HAS SOPS 905434 HAS SOUS 659843 HAS SOUPS 659843 WITH SCORE 660748.434
AT ITER 5065 NEW BEST:: SOT 3986303 SOS 905145 HAS SOPS 905145 HAS SOUS 659554 HAS SOUPS 659554 WITH SCORE 660459.145
AT ITER 5095 NEW BEST:: SOT 3986150 SOS 904838 HAS SOPS 904838 HAS SOUS 659247 HAS SOUPS 659247 WITH SCORE 660151.838
AT ITER 5103 NEW BEST:: SOT 3986003 SOS 904692 HAS SOPS 904692 HAS SOUS 659100 HAS SOUPS 659100 WITH SCORE 660004.692
AT ITER 5105 NEW BEST:: SOT 3985744 SOS 904361 HAS SOPS 904361 HAS SOUS 658769 HAS SOUPS 658769 WITH SCORE 659673.361
AT ITER 5119 NEW BEST:: SOT 3985744 SOS 904358 HAS SOPS 904358 HAS SOUS 658766 HAS SOUPS 658766 WITH SCORE 659670.358
AT ITER 5152 NEW BEST:: SOT 3985744 SOS 904357 HAS SOPS 904357 HAS SOUS 658765 HAS SOUPS 658765 WITH SCORE 659669.357
AT ITER 5154 NEW BEST:: SOT 3985722 SOS 904124 HAS SOPS 904124 HAS SOUS 658616 HAS SOUPS 658616 WITH SCORE 659520.124
AT ITER 5170 NEW BEST:: SOT 3985582 SOS 904064 HAS SOPS 904064 HAS SOUS 658496 HAS SOUPS 658496 WITH SCORE 659400.064
AT ITER 5199 NEW BEST:: SOT 3985580 SOS 904062 HAS SOPS 904062 HAS SOUS 658492 HAS SOUPS 658492 WITH SCORE 659396.062
AT ITER 5220 NEW BEST:: SOT 3985580 SOS 904062 HAS SOPS 904062 HAS SOUS 658447 HAS SOUPS 658447 WITH SCORE 659351.062
AT ITER 5248 NEW BEST:: SOT 3985569 SOS 903908 HAS SOPS 903908 HAS SOUS 658410 HAS SOUPS 658410 WITH SCORE 659313.908
AT ITER 5263 NEW BEST:: SOT 3985818 SOS 904268 HAS SOPS 904268 HAS SOUS 657874 HAS SOUPS 657874 WITH SCORE 658778.268
AT ITER 5284 NEW BEST:: SOT 3985818 SOS 904213 HAS SOPS 904213 HAS SOUS 657859 HAS SOUPS 657859 WITH SCORE 658763.213
AT ITER 5307 NEW BEST:: SOT 3985806 SOS 904201 HAS SOPS 904201 HAS SOUS 657847 HAS SOUPS 657847 WITH SCORE 658751.201
AT ITER 5349 NEW BEST:: SOT 3985805 SOS 904200 HAS SOPS 904200 HAS SOUS 657847 HAS SOUPS 657847 WITH SCORE 658751.2
AT ITER 5377 NEW BEST:: SOT 3985766 SOS 903933 HAS SOPS 903933 HAS SOUS 657756 HAS SOUPS 657756 WITH SCORE 658659.933
AT ITER 5384 NEW BEST:: SOT 3984503 SOS 902757 HAS SOPS 902757 HAS SOUS 657711 HAS SOUPS 657711 WITH SCORE 658613.757
AT ITER 5404 NEW BEST:: SOT 3984459 SOS 902284 HAS SOPS 902284 HAS SOUS 657640 HAS SOUPS 657640 WITH SCORE 658542.284
AT ITER 5411 NEW BEST:: SOT 3984459 SOS 902283 HAS SOPS 902283 HAS SOUS 657639 HAS SOUPS 657639 WITH SCORE 658541.283
AT ITER 5423 NEW BEST:: SOT 3984527 SOS 902211 HAS SOPS 902211 HAS SOUS 657567 HAS SOUPS 657567 WITH SCORE 658469.211
AT ITER 5426 NEW BEST:: SOT 3984484 SOS 902189 HAS SOPS 902189 HAS SOUS 657488 HAS SOUPS 657488 WITH SCORE 658390.189
AT ITER 5429 NEW BEST:: SOT 3984483 SOS 901844 HAS SOPS 901844 HAS SOUS 657477 HAS SOUPS 657477 WITH SCORE 658378.844
AT ITER 5442 NEW BEST:: SOT 3984396 SOS 901668 HAS SOPS 901668 HAS SOUS 657301 HAS SOUPS 657301 WITH SCORE 658202.668
AT ITER 5445 NEW BEST:: SOT 3984396 SOS 901564 HAS SOPS 901564 HAS SOUS 657301 HAS SOUPS 657301 WITH SCORE 658202.564
AT ITER 5457 NEW BEST:: SOT 3984396 SOS 901679 HAS SOPS 901679 HAS SOUS 657300 HAS SOUPS 657300 WITH SCORE 658201.679
AT ITER 5459 NEW BEST:: SOT 3983966 SOS 901789 HAS SOPS 901789 HAS SOUS 656928 HAS SOUPS 656928 WITH SCORE 657829.789
AT ITER 5463 NEW BEST:: SOT 3983944 SOS 901754 HAS SOPS 901754 HAS SOUS 656894 HAS SOUPS 656894 WITH SCORE 657795.754
AT ITER 5474 NEW BEST:: SOT 3983944 SOS 901754 HAS SOPS 901754 HAS SOUS 656800 HAS SOUPS 656800 WITH SCORE 657701.754
AT ITER 5479 NEW BEST:: SOT 3982130 SOS 901300 HAS SOPS 901300 HAS SOUS 656288 HAS SOUPS 656288 WITH SCORE 657189.3
AT ITER 5480 NEW BEST:: SOT 3981991 SOS 901161 HAS SOPS 901161 HAS SOUS 656149 HAS SOUPS 656149 WITH SCORE 657050.161
AT ITER 5492 NEW BEST:: SOT 3981965 SOS 901096 HAS SOPS 901096 HAS SOUS 656071 HAS SOUPS 656071 WITH SCORE 656972.096
AT ITER 5496 NEW BEST:: SOT 3980772 SOS 900398 HAS SOPS 900398 HAS SOUS 655032 HAS SOUPS 655032 WITH SCORE 655932.398
AT ITER 5504 NEW BEST:: SOT 3980708 SOS 900334 HAS SOPS 900334 HAS SOUS 654968 HAS SOUPS 654968 WITH SCORE 655868.334
AT ITER 5529 NEW BEST:: SOT 3979856 SOS 900268 HAS SOPS 900268 HAS SOUS 654240 HAS SOUPS 654240 WITH SCORE 655140.268
AT ITER 5536 NEW BEST:: SOT 3979784 SOS 900124 HAS SOPS 900124 HAS SOUS 654168 HAS SOUPS 654168 WITH SCORE 655068.124
AT ITER 5553 NEW BEST:: SOT 3979676 SOS 900016 HAS SOPS 900016 HAS SOUS 654057 HAS SOUPS 654057 WITH SCORE 654957.016
AT ITER 5579 NEW BEST:: SOT 3979589 SOS 899847 HAS SOPS 899847 HAS SOUS 653888 HAS SOUPS 653888 WITH SCORE 654787.847
AT ITER 5590 NEW BEST:: SOT 3979470 SOS 899728 HAS SOPS 899728 HAS SOUS 653769 HAS SOUPS 653769 WITH SCORE 654668.728
AT ITER 5593 NEW BEST:: SOT 3979307 SOS 899402 HAS SOPS 899402 HAS SOUS 653443 HAS SOUPS 653443 WITH SCORE 654342.402
AT ITER 5602 NEW BEST:: SOT 3979306 SOS 899319 HAS SOPS 899319 HAS SOUS 653441 HAS SOUPS 653441 WITH SCORE 654340.319
AT ITER 5632 NEW BEST:: SOT 3979306 SOS 899319 HAS SOPS 899319 HAS SOUS 653440 HAS SOUPS 653440 WITH SCORE 654339.319
AT ITER 5638 NEW BEST:: SOT 3979306 SOS 899299 HAS SOPS 899299 HAS SOUS 653253 HAS SOUPS 653253 WITH SCORE 654152.299
AT ITER 5641 NEW BEST:: SOT 3979306 SOS 899298 HAS SOPS 899298 HAS SOUS 653252 HAS SOUPS 653252 WITH SCORE 654151.298
AT ITER 5657 NEW BEST:: SOT 3979001 SOS 898912 HAS SOPS 898912 HAS SOUS 651480 HAS SOUPS 651480 WITH SCORE 652378.912
AT ITER 5665 NEW BEST:: SOT 3978981 SOS 898858 HAS SOPS 898858 HAS SOUS 651446 HAS SOUPS 651446 WITH SCORE 652344.858
AT ITER 5673 NEW BEST:: SOT 3978890 SOS 898754 HAS SOPS 898754 HAS SOUS 651446 HAS SOUPS 651446 WITH SCORE 652344.754
AT ITER 5674 NEW BEST:: SOT 3978863 SOS 898704 HAS SOPS 898704 HAS SOUS 651396 HAS SOUPS 651396 WITH SCORE 652294.704
AT ITER 5689 NEW BEST:: SOT 3978863 SOS 898623 HAS SOPS 898623 HAS SOUS 651315 HAS SOUPS 651315 WITH SCORE 652213.623
AT ITER 5690 NEW BEST:: SOT 3978843 SOS 898571 HAS SOPS 898571 HAS SOUS 651219 HAS SOUPS 651219 WITH SCORE 652117.571
AT ITER 5705 NEW BEST:: SOT 3978842 SOS 898537 HAS SOPS 898537 HAS SOUS 651218 HAS SOUPS 651218 WITH SCORE 652116.537
AT ITER 5707 NEW BEST:: SOT 3978699 SOS 898472 HAS SOPS 898472 HAS SOUS 651153 HAS SOUPS 651153 WITH SCORE 652051.472
AT ITER 5717 NEW BEST:: SOT 3978756 SOS 898502 HAS SOPS 898502 HAS SOUS 651126 HAS SOUPS 651126 WITH SCORE 652024.502
AT ITER 5721 NEW BEST:: SOT 3978248 SOS 897795 HAS SOPS 897795 HAS SOUS 650419 HAS SOUPS 650419 WITH SCORE 651316.795
AT ITER 5726 NEW BEST:: SOT 3978196 SOS 897742 HAS SOPS 897742 HAS SOUS 650366 HAS SOUPS 650366 WITH SCORE 651263.742
AT ITER 5742 NEW BEST:: SOT 3978164 SOS 897678 HAS SOPS 897678 HAS SOUS 650302 HAS SOUPS 650302 WITH SCORE 651199.678
AT ITER 5746 NEW BEST:: SOT 3978146 SOS 897954 HAS SOPS 897954 HAS SOUS 650284 HAS SOUPS 650284 WITH SCORE 651181.954
AT ITER 5748 NEW BEST:: SOT 3978028 SOS 897715 HAS SOPS 897715 HAS SOUS 650134 HAS SOUPS 650134 WITH SCORE 651031.715
AT ITER 5761 NEW BEST:: SOT 3977971 SOS 897601 HAS SOPS 897601 HAS SOUS 650020 HAS SOUPS 650020 WITH SCORE 650917.601
AT ITER 5797 NEW BEST:: SOT 3977971 SOS 897709 HAS SOPS 897709 HAS SOUS 649999 HAS SOUPS 649999 WITH SCORE 650896.709
AT ITER 5814 NEW BEST:: SOT 3977953 SOS 897637 HAS SOPS 897637 HAS SOUS 649963 HAS SOUPS 649963 WITH SCORE 650860.637
AT ITER 5824 NEW BEST:: SOT 3977828 SOS 897512 HAS SOPS 897512 HAS SOUS 649839 HAS SOUPS 649839 WITH SCORE 650736.512
AT ITER 5847 NEW BEST:: SOT 3977805 SOS 897492 HAS SOPS 897492 HAS SOUS 649816 HAS SOUPS 649816 WITH SCORE 650713.492
AT ITER 5879 NEW BEST:: SOT 3977768 SOS 896954 HAS SOPS 896954 HAS SOUS 649771 HAS SOUPS 649771 WITH SCORE 650667.954
AT ITER 5887 NEW BEST:: SOT 3977614 SOS 896877 HAS SOPS 896877 HAS SOUS 649694 HAS SOUPS 649694 WITH SCORE 650590.877
AT ITER 5921 NEW BEST:: SOT 3976916 SOS 896139 HAS SOPS 896139 HAS SOUS 648956 HAS SOUPS 648956 WITH SCORE 649852.139
AT ITER 5924 NEW BEST:: SOT 3976915 SOS 896138 HAS SOPS 896138 HAS SOUS 648954 HAS SOUPS 648954 WITH SCORE 649850.138
AT ITER 5945 NEW BEST:: SOT 3976915 SOS 896131 HAS SOPS 896131 HAS SOUS 648947 HAS SOUPS 648947 WITH SCORE 649843.131
AT ITER 5966 NEW BEST:: SOT 3976762 SOS 895943 HAS SOPS 895943 HAS SOUS 648887 HAS SOUPS 648887 WITH SCORE 649782.943
AT ITER 5968 NEW BEST:: SOT 3976762 SOS 895760 HAS SOPS 895760 HAS SOUS 648704 HAS SOUPS 648704 WITH SCORE 649599.76
AT ITER 6035 NEW BEST:: SOT 3976762 SOS 895396 HAS SOPS 895396 HAS SOUS 648522 HAS SOUPS 648522 WITH SCORE 649417.396
AT ITER 6053 NEW BEST:: SOT 3976712 SOS 895296 HAS SOPS 895296 HAS SOUS 648422 HAS SOUPS 648422 WITH SCORE 649317.296
AT ITER 6092 NEW BEST:: SOT 3976721 SOS 895185 HAS SOPS 895185 HAS SOUS 648071 HAS SOUPS 648071 WITH SCORE 648966.185
AT ITER 6097 NEW BEST:: SOT 3975979 SOS 894904 HAS SOPS 894904 HAS SOUS 647643 HAS SOUPS 647643 WITH SCORE 648537.904
AT ITER 6106 NEW BEST:: SOT 3976014 SOS 894888 HAS SOPS 894888 HAS SOUS 647625 HAS SOUPS 647625 WITH SCORE 648519.888
AT ITER 6115 NEW BEST:: SOT 3975586 SOS 894460 HAS SOPS 894460 HAS SOUS 647197 HAS SOUPS 647197 WITH SCORE 648091.46
AT ITER 6120 NEW BEST:: SOT 3975575 SOS 894438 HAS SOPS 894438 HAS SOUS 647033 HAS SOUPS 647033 WITH SCORE 647927.438
AT ITER 6123 NEW BEST:: SOT 3975513 SOS 894844 HAS SOPS 894844 HAS SOUS 646962 HAS SOUPS 646962 WITH SCORE 647856.844
AT ITER 6125 NEW BEST:: SOT 3975513 SOS 894750 HAS SOPS 894750 HAS SOUS 646868 HAS SOUPS 646868 WITH SCORE 647762.75
AT ITER 6130 NEW BEST:: SOT 3975481 SOS 894568 HAS SOPS 894568 HAS SOUS 646716 HAS SOUPS 646716 WITH SCORE 647610.568
AT ITER 6148 NEW BEST:: SOT 3975479 SOS 894404 HAS SOPS 894404 HAS SOUS 646449 HAS SOUPS 646449 WITH SCORE 647343.404
AT ITER 6154 NEW BEST:: SOT 3975370 SOS 894850 HAS SOPS 894850 HAS SOUS 646314 HAS SOUPS 646314 WITH SCORE 647208.85
AT ITER 6161 NEW BEST:: SOT 3975334 SOS 894688 HAS SOPS 894688 HAS SOUS 646278 HAS SOUPS 646278 WITH SCORE 647172.688
AT ITER 6163 NEW BEST:: SOT 3975280 SOS 894154 HAS SOPS 894154 HAS SOUS 646216 HAS SOUPS 646216 WITH SCORE 647110.154
AT ITER 6168 NEW BEST:: SOT 3975280 SOS 894139 HAS SOPS 894139 HAS SOUS 646201 HAS SOUPS 646201 WITH SCORE 647095.139
AT ITER 6192 NEW BEST:: SOT 3975255 SOS 894002 HAS SOPS 894002 HAS SOUS 646176 HAS SOUPS 646176 WITH SCORE 647070.002
AT ITER 6226 NEW BEST:: SOT 3975037 SOS 893739 HAS SOPS 893739 HAS SOUS 645913 HAS SOUPS 645913 WITH SCORE 646806.739
AT ITER 6231 NEW BEST:: SOT 3974898 SOS 893045 HAS SOPS 893045 HAS SOUS 645396 HAS SOUPS 645396 WITH SCORE 646289.045
AT ITER 6259 NEW BEST:: SOT 3974850 SOS 892997 HAS SOPS 892997 HAS SOUS 645314 HAS SOUPS 645314 WITH SCORE 646206.997
AT ITER 6275 NEW BEST:: SOT 3974850 SOS 892562 HAS SOPS 892562 HAS SOUS 645314 HAS SOUPS 645314 WITH SCORE 646206.562
AT ITER 6291 NEW BEST:: SOT 3974675 SOS 892358 HAS SOPS 892358 HAS SOUS 645110 HAS SOUPS 645110 WITH SCORE 646002.358
AT ITER 6355 NEW BEST:: SOT 3973828 SOS 891390 HAS SOPS 891390 HAS SOUS 645110 HAS SOUPS 645110 WITH SCORE 646001.39
AT ITER 6380 NEW BEST:: SOT 3973638 SOS 891148 HAS SOPS 891148 HAS SOUS 644868 HAS SOUPS 644868 WITH SCORE 645759.148
AT ITER 6399 NEW BEST:: SOT 3973551 SOS 891102 HAS SOPS 891102 HAS SOUS 644781 HAS SOUPS 644781 WITH SCORE 645672.102
AT ITER 6419 NEW BEST:: SOT 3973522 SOS 891596 HAS SOPS 891596 HAS SOUS 644711 HAS SOUPS 644711 WITH SCORE 645602.596
AT ITER 6423 NEW BEST:: SOT 3973608 SOS 891587 HAS SOPS 891587 HAS SOUS 644702 HAS SOUPS 644702 WITH SCORE 645593.587
AT ITER 6435 NEW BEST:: SOT 3973351 SOS 891489 HAS SOPS 891489 HAS SOUS 644604 HAS SOUPS 644604 WITH SCORE 645495.489
AT ITER 6436 NEW BEST:: SOT 3973324 SOS 891435 HAS SOPS 891435 HAS SOUS 644550 HAS SOUPS 644550 WITH SCORE 645441.435
AT ITER 6448 NEW BEST:: SOT 3972140 SOS 890073 HAS SOPS 890073 HAS SOUS 644254 HAS SOUPS 644254 WITH SCORE 645144.073
AT ITER 6450 NEW BEST:: SOT 3972028 SOS 889639 HAS SOPS 889639 HAS SOUS 643820 HAS SOUPS 643820 WITH SCORE 644709.639
AT ITER 6454 NEW BEST:: SOT 3971991 SOS 889565 HAS SOPS 889565 HAS SOUS 643783 HAS SOUPS 643783 WITH SCORE 644672.565
AT ITER 6457 NEW BEST:: SOT 3972733 SOS 889911 HAS SOPS 889911 HAS SOUS 640950 HAS SOUPS 640950 WITH SCORE 641839.911
AT ITER 6506 NEW BEST:: SOT 3972733 SOS 889934 HAS SOPS 889934 HAS SOUS 640910 HAS SOUPS 640910 WITH SCORE 641799.934
AT ITER 6512 NEW BEST:: SOT 3972505 SOS 889478 HAS SOPS 889478 HAS SOUS 640454 HAS SOUPS 640454 WITH SCORE 641343.478
AT ITER 6521 NEW BEST:: SOT 3972505 SOS 889514 HAS SOPS 889514 HAS SOUS 640284 HAS SOUPS 640284 WITH SCORE 641173.514
AT ITER 6526 NEW BEST:: SOT 3972500 SOS 889504 HAS SOPS 889504 HAS SOUS 640274 HAS SOUPS 640274 WITH SCORE 641163.504
AT ITER 6546 NEW BEST:: SOT 3972122 SOS 888748 HAS SOPS 888748 HAS SOUS 639518 HAS SOUPS 639518 WITH SCORE 640406.748
AT ITER 6561 NEW BEST:: SOT 3972036 SOS 888352 HAS SOPS 888352 HAS SOUS 639346 HAS SOUPS 639346 WITH SCORE 640234.352
AT ITER 6607 NEW BEST:: SOT 3972024 SOS 890155 HAS SOPS 890155 HAS SOUS 639322 HAS SOUPS 639322 WITH SCORE 640212.155
AT ITER 6620 NEW BEST:: SOT 3971901 SOS 889761 HAS SOPS 889761 HAS SOUS 638781 HAS SOUPS 638781 WITH SCORE 639670.761
AT ITER 6626 NEW BEST:: SOT 3971843 SOS 889529 HAS SOPS 889529 HAS SOUS 638607 HAS SOUPS 638607 WITH SCORE 639496.529
AT ITER 6632 NEW BEST:: SOT 3971115 SOS 888183 HAS SOPS 888183 HAS SOUS 637811 HAS SOUPS 637811 WITH SCORE 638699.183
AT ITER 6642 NEW BEST:: SOT 3971021 SOS 887992 HAS SOPS 887992 HAS SOUS 637538 HAS SOUPS 637538 WITH SCORE 638425.992
AT ITER 6655 NEW BEST:: SOT 3970827 SOS 887666 HAS SOPS 887666 HAS SOUS 637150 HAS SOUPS 637150 WITH SCORE 638037.666
AT ITER 6664 NEW BEST:: SOT 3970528 SOS 887055 HAS SOPS 887055 HAS SOUS 636539 HAS SOUPS 636539 WITH SCORE 637426.055
AT ITER 6688 NEW BEST:: SOT 3970453 SOS 887645 HAS SOPS 887645 HAS SOUS 636357 HAS SOUPS 636357 WITH SCORE 637244.645
AT ITER 6718 NEW BEST:: SOT 3970382 SOS 887503 HAS SOPS 887503 HAS SOUS 636141 HAS SOUPS 636141 WITH SCORE 637028.503
AT ITER 6722 NEW BEST:: SOT 3970197 SOS 887199 HAS SOPS 887199 HAS SOUS 635839 HAS SOUPS 635839 WITH SCORE 636726.199
AT ITER 6765 NEW BEST:: SOT 3970011 SOS 886758 HAS SOPS 886758 HAS SOUS 635602 HAS SOUPS 635602 WITH SCORE 636488.758
AT ITER 6789 NEW BEST:: SOT 3970011 SOS 886715 HAS SOPS 886715 HAS SOUS 635559 HAS SOUPS 635559 WITH SCORE 636445.715
AT ITER 6801 NEW BEST:: SOT 3970011 SOS 886713 HAS SOPS 886713 HAS SOUS 635557 HAS SOUPS 635557 WITH SCORE 636443.713
AT ITER 6834 NEW BEST:: SOT 3969989 SOS 886669 HAS SOPS 886669 HAS SOUS 635471 HAS SOUPS 635471 WITH SCORE 636357.669
AT ITER 6863 NEW BEST:: SOT 3969989 SOS 886669 HAS SOPS 886669 HAS SOUS 635470 HAS SOUPS 635470 WITH SCORE 636356.669
AT ITER 6870 NEW BEST:: SOT 3969989 SOS 886642 HAS SOPS 886642 HAS SOUS 635470 HAS SOUPS 635470 WITH SCORE 636356.642
AT ITER 6924 NEW BEST:: SOT 3969960 SOS 886506 HAS SOPS 886506 HAS SOUS 635412 HAS SOUPS 635412 WITH SCORE 636298.506
AT ITER 6932 NEW BEST:: SOT 3969824 SOS 886234 HAS SOPS 886234 HAS SOUS 635275 HAS SOUPS 635275 WITH SCORE 636161.234
AT ITER 6939 NEW BEST:: SOT 3969808 SOS 885966 HAS SOPS 885966 HAS SOUS 635243 HAS SOUPS 635243 WITH SCORE 636128.966
AT ITER 6943 NEW BEST:: SOT 3969733 SOS 885902 HAS SOPS 885902 HAS SOUS 635214 HAS SOUPS 635214 WITH SCORE 636099.902
AT ITER 6945 NEW BEST:: SOT 3969733 SOS 885657 HAS SOPS 885657 HAS SOUS 635108 HAS SOUPS 635108 WITH SCORE 635993.657
AT ITER 6997 NEW BEST:: SOT 3969601 SOS 885585 HAS SOPS 885585 HAS SOUS 635036 HAS SOUPS 635036 WITH SCORE 635921.585
AT ITER 7008 NEW BEST:: SOT 3969601 SOS 885582 HAS SOPS 885582 HAS SOUS 635036 HAS SOUPS 635036 WITH SCORE 635921.582
AT ITER 7015 NEW BEST:: SOT 3969601 SOS 885776 HAS SOPS 885776 HAS SOUS 634758 HAS SOUPS 634758 WITH SCORE 635643.776
AT ITER 7025 NEW BEST:: SOT 3969300 SOS 884954 HAS SOPS 884954 HAS SOUS 634156 HAS SOUPS 634156 WITH SCORE 635040.954
AT ITER 7027 NEW BEST:: SOT 3969281 SOS 884664 HAS SOPS 884664 HAS SOUS 634070 HAS SOUPS 634070 WITH SCORE 634954.664
AT ITER 7035 NEW BEST:: SOT 3969280 SOS 884662 HAS SOPS 884662 HAS SOUS 634068 HAS SOUPS 634068 WITH SCORE 634952.662
AT ITER 7046 NEW BEST:: SOT 3968736 SOS 884277 HAS SOPS 884277 HAS SOUS 633585 HAS SOUPS 633585 WITH SCORE 634469.277
AT ITER 7076 NEW BEST:: SOT 3968557 SOS 885495 HAS SOPS 885495 HAS SOUS 633238 HAS SOUPS 633238 WITH SCORE 634123.495
AT ITER 7096 NEW BEST:: SOT 3968163 SOS 884707 HAS SOPS 884707 HAS SOUS 632450 HAS SOUPS 632450 WITH SCORE 633334.707
AT ITER 7125 NEW BEST:: SOT 3968268 SOS 884705 HAS SOPS 884705 HAS SOUS 632448 HAS SOUPS 632448 WITH SCORE 633332.705
AT ITER 7131 NEW BEST:: SOT 3967605 SOS 884841 HAS SOPS 884841 HAS SOUS 632094 HAS SOUPS 632094 WITH SCORE 632978.841
AT ITER 7138 NEW BEST:: SOT 3967011 SOS 884241 HAS SOPS 884241 HAS SOUS 631551 HAS SOUPS 631551 WITH SCORE 632435.241
AT ITER 7166 NEW BEST:: SOT 3966895 SOS 884009 HAS SOPS 884009 HAS SOUS 630507 HAS SOUPS 630507 WITH SCORE 631391.009
AT ITER 7169 NEW BEST:: SOT 3966694 SOS 884210 HAS SOPS 884210 HAS SOUS 630306 HAS SOUPS 630306 WITH SCORE 631190.21
AT ITER 7171 NEW BEST:: SOT 3966639 SOS 884140 HAS SOPS 884140 HAS SOUS 629931 HAS SOUPS 629931 WITH SCORE 630815.14
AT ITER 7174 NEW BEST:: SOT 3966638 SOS 884139 HAS SOPS 884139 HAS SOUS 629913 HAS SOUPS 629913 WITH SCORE 630797.139
AT ITER 7175 NEW BEST:: SOT 3966453 SOS 883913 HAS SOPS 883913 HAS SOUS 629687 HAS SOUPS 629687 WITH SCORE 630570.913
AT ITER 7197 NEW BEST:: SOT 3966415 SOS 883887 HAS SOPS 883887 HAS SOUS 629661 HAS SOUPS 629661 WITH SCORE 630544.887
AT ITER 7203 NEW BEST:: SOT 3966374 SOS 883846 HAS SOPS 883846 HAS SOUS 629620 HAS SOUPS 629620 WITH SCORE 630503.846
AT ITER 7211 NEW BEST:: SOT 3966331 SOS 883760 HAS SOPS 883760 HAS SOUS 629534 HAS SOUPS 629534 WITH SCORE 630417.76
AT ITER 7238 NEW BEST:: SOT 3965885 SOS 883537 HAS SOPS 883537 HAS SOUS 629311 HAS SOUPS 629311 WITH SCORE 630194.537
AT ITER 7255 NEW BEST:: SOT 3965651 SOS 883078 HAS SOPS 883078 HAS SOUS 629077 HAS SOUPS 629077 WITH SCORE 629960.078
AT ITER 7263 NEW BEST:: SOT 3965484 SOS 883011 HAS SOPS 883011 HAS SOUS 628849 HAS SOUPS 628849 WITH SCORE 629732.011
AT ITER 7264 NEW BEST:: SOT 3965150 SOS 882409 HAS SOPS 882409 HAS SOUS 628247 HAS SOUPS 628247 WITH SCORE 629129.409
AT ITER 7307 NEW BEST:: SOT 3964952 SOS 881945 HAS SOPS 881945 HAS SOUS 628060 HAS SOUPS 628060 WITH SCORE 628941.945
AT ITER 7313 NEW BEST:: SOT 3964788 SOS 881781 HAS SOPS 881781 HAS SOUS 626584 HAS SOUPS 626584 WITH SCORE 627465.781
AT ITER 7372 NEW BEST:: SOT 3964765 SOS 881703 HAS SOPS 881703 HAS SOUS 626316 HAS SOUPS 626316 WITH SCORE 627197.703
AT ITER 7391 NEW BEST:: SOT 3964741 SOS 881087 HAS SOPS 881087 HAS SOUS 626268 HAS SOUPS 626268 WITH SCORE 627149.087
AT ITER 7402 NEW BEST:: SOT 3964740 SOS 880967 HAS SOPS 880967 HAS SOUS 626265 HAS SOUPS 626265 WITH SCORE 627145.967
AT ITER 7447 NEW BEST:: SOT 3964724 SOS 880894 HAS SOPS 880894 HAS SOUS 626192 HAS SOUPS 626192 WITH SCORE 627072.894
AT ITER 7451 NEW BEST:: SOT 3964187 SOS 880837 HAS SOPS 880837 HAS SOUS 625920 HAS SOUPS 625920 WITH SCORE 626800.837
AT ITER 7488 NEW BEST:: SOT 3964515 SOS 880783 HAS SOPS 880783 HAS SOUS 625514 HAS SOUPS 625514 WITH SCORE 626394.783
AT ITER 7503 NEW BEST:: SOT 3964267 SOS 880688 HAS SOPS 880688 HAS SOUS 625287 HAS SOUPS 625287 WITH SCORE 626167.688
AT ITER 7533 NEW BEST:: SOT 3964229 SOS 880612 HAS SOPS 880612 HAS SOUS 625211 HAS SOUPS 625211 WITH SCORE 626091.612
AT ITER 7544 NEW BEST:: SOT 3964164 SOS 880322 HAS SOPS 880322 HAS SOUS 624921 HAS SOUPS 624921 WITH SCORE 625801.322
AT ITER 7564 NEW BEST:: SOT 3963981 SOS 879994 HAS SOPS 879994 HAS SOUS 624593 HAS SOUPS 624593 WITH SCORE 625472.994
AT ITER 7572 NEW BEST:: SOT 3963981 SOS 879831 HAS SOPS 879831 HAS SOUS 624593 HAS SOUPS 624593 WITH SCORE 625472.831
AT ITER 7591 NEW BEST:: SOT 3963832 SOS 879451 HAS SOPS 879451 HAS SOUS 624146 HAS SOUPS 624146 WITH SCORE 625025.451
AT ITER 7592 NEW BEST:: SOT 3963522 SOS 878898 HAS SOPS 878898 HAS SOUS 623593 HAS SOUPS 623593 WITH SCORE 624471.898
AT ITER 7612 NEW BEST:: SOT 3963026 SOS 878666 HAS SOPS 878666 HAS SOUS 623312 HAS SOUPS 623312 WITH SCORE 624190.666
AT ITER 7642 NEW BEST:: SOT 3962877 SOS 878522 HAS SOPS 878522 HAS SOUS 623311 HAS SOUPS 623311 WITH SCORE 624189.522
AT ITER 7652 NEW BEST:: SOT 3962924 SOS 878383 HAS SOPS 878383 HAS SOUS 623172 HAS SOUPS 623172 WITH SCORE 624050.383
AT ITER 7700 NEW BEST:: SOT 3965412 SOS 880196 HAS SOPS 880196 HAS SOUS 621028 HAS SOUPS 621028 WITH SCORE 621908.196
AT ITER 7751 NEW BEST:: SOT 3965412 SOS 879857 HAS SOPS 879857 HAS SOUS 620689 HAS SOUPS 620689 WITH SCORE 621568.857
AT ITER 7793 NEW BEST:: SOT 3965412 SOS 879497 HAS SOPS 879497 HAS SOUS 620509 HAS SOUPS 620509 WITH SCORE 621388.497
AT ITER 7799 NEW BEST:: SOT 3965291 SOS 879384 HAS SOPS 879384 HAS SOUS 620503 HAS SOUPS 620503 WITH SCORE 621382.384
AT ITER 7814 NEW BEST:: SOT 3965292 SOS 879365 HAS SOPS 879365 HAS SOUS 620484 HAS SOUPS 620484 WITH SCORE 621363.365
AT ITER 7827 NEW BEST:: SOT 3965274 SOS 879210 HAS SOPS 879210 HAS SOUS 620448 HAS SOUPS 620448 WITH SCORE 621327.21
AT ITER 7852 NEW BEST:: SOT 3965243 SOS 878798 HAS SOPS 878798 HAS SOUS 620413 HAS SOUPS 620413 WITH SCORE 621291.798
AT ITER 7870 NEW BEST:: SOT 3965243 SOS 878990 HAS SOPS 878990 HAS SOUS 620327 HAS SOUPS 620327 WITH SCORE 621205.99
AT ITER 7883 NEW BEST:: SOT 3965206 SOS 881282 HAS SOPS 881282 HAS SOUS 620253 HAS SOUPS 620253 WITH SCORE 621134.282
AT ITER 7989 NEW BEST:: SOT 3965189 SOS 881265 HAS SOPS 881265 HAS SOUS 620236 HAS SOUPS 620236 WITH SCORE 621117.265
AT ITER 7992 NEW BEST:: SOT 3965097 SOS 881238 HAS SOPS 881238 HAS SOUS 620138 HAS SOUPS 620138 WITH SCORE 621019.238
AT ITER 7997 NEW BEST:: SOT 3965157 SOS 881115 HAS SOPS 881115 HAS SOUS 619990 HAS SOUPS 619990 WITH SCORE 620871.115
AT ITER 8010 NEW BEST:: SOT 3965145 SOS 881091 HAS SOPS 881091 HAS SOUS 619966 HAS SOUPS 619966 WITH SCORE 620847.091
AT ITER 8012 NEW BEST:: SOT 3965145 SOS 881091 HAS SOPS 881091 HAS SOUS 619916 HAS SOUPS 619916 WITH SCORE 620797.091
AT ITER 8024 NEW BEST:: SOT 3965028 SOS 880777 HAS SOPS 880777 HAS SOUS 617555 HAS SOUPS 617555 WITH SCORE 618435.777
AT ITER 8044 NEW BEST:: SOT 3964821 SOS 880777 HAS SOPS 880777 HAS SOUS 617475 HAS SOUPS 617475 WITH SCORE 618355.777
AT ITER 8072 NEW BEST:: SOT 3964753 SOS 880743 HAS SOPS 880743 HAS SOUS 617441 HAS SOUPS 617441 WITH SCORE 618321.743
AT ITER 8085 NEW BEST:: SOT 3964657 SOS 880683 HAS SOPS 880683 HAS SOUS 617381 HAS SOUPS 617381 WITH SCORE 618261.683
AT ITER 8116 NEW BEST:: SOT 3964575 SOS 880519 HAS SOPS 880519 HAS SOUS 617217 HAS SOUPS 617217 WITH SCORE 618097.519
AT ITER 8136 NEW BEST:: SOT 3964237 SOS 879636 HAS SOPS 879636 HAS SOUS 616785 HAS SOUPS 616785 WITH SCORE 617664.636
AT ITER 8137 NEW BEST:: SOT 3964236 SOS 878946 HAS SOPS 878946 HAS SOUS 615151 HAS SOUPS 615151 WITH SCORE 616029.946
AT ITER 8140 NEW BEST:: SOT 3963857 SOS 878168 HAS SOPS 878168 HAS SOUS 614384 HAS SOUPS 614384 WITH SCORE 615262.168
AT ITER 8152 NEW BEST:: SOT 3963841 SOS 878137 HAS SOPS 878137 HAS SOUS 614247 HAS SOUPS 614247 WITH SCORE 615125.137
AT ITER 8175 NEW BEST:: SOT 3963653 SOS 877949 HAS SOPS 877949 HAS SOUS 614059 HAS SOUPS 614059 WITH SCORE 614936.949
AT ITER 8179 NEW BEST:: SOT 3963652 SOS 877947 HAS SOPS 877947 HAS SOUS 614057 HAS SOUPS 614057 WITH SCORE 614934.947
AT ITER 8190 NEW BEST:: SOT 3962958 SOS 876908 HAS SOPS 876908 HAS SOUS 613018 HAS SOUPS 613018 WITH SCORE 613894.908
AT ITER 8200 NEW BEST:: SOT 3963014 SOS 876635 HAS SOPS 876635 HAS SOUS 612745 HAS SOUPS 612745 WITH SCORE 613621.635
AT ITER 8214 NEW BEST:: SOT 3963014 SOS 876635 HAS SOPS 876635 HAS SOUS 612688 HAS SOUPS 612688 WITH SCORE 613564.635
AT ITER 8296 NEW BEST:: SOT 3962951 SOS 875657 HAS SOPS 875657 HAS SOUS 612658 HAS SOUPS 612658 WITH SCORE 613533.657
AT ITER 8310 NEW BEST:: SOT 3962992 SOS 875624 HAS SOPS 875624 HAS SOUS 612632 HAS SOUPS 612632 WITH SCORE 613507.624
AT ITER 8316 NEW BEST:: SOT 3962928 SOS 877624 HAS SOPS 877624 HAS SOUS 610801 HAS SOUPS 610801 WITH SCORE 611678.624
AT ITER 8317 NEW BEST:: SOT 3964598 SOS 879303 HAS SOPS 879303 HAS SOUS 610408 HAS SOUPS 610408 WITH SCORE 611287.303
AT ITER 8336 NEW BEST:: SOT 3964454 SOS 879439 HAS SOPS 879439 HAS SOUS 610294 HAS SOUPS 610294 WITH SCORE 611173.439
AT ITER 8361 NEW BEST:: SOT 3964438 SOS 879381 HAS SOPS 879381 HAS SOUS 610262 HAS SOUPS 610262 WITH SCORE 611141.381
AT ITER 8406 NEW BEST:: SOT 3964233 SOS 879353 HAS SOPS 879353 HAS SOUS 610234 HAS SOUPS 610234 WITH SCORE 611113.353
AT ITER 8407 NEW BEST:: SOT 3964232 SOS 879234 HAS SOPS 879234 HAS SOUS 610232 HAS SOUPS 610232 WITH SCORE 611111.234
AT ITER 8414 NEW BEST:: SOT 3964232 SOS 879177 HAS SOPS 879177 HAS SOUS 610075 HAS SOUPS 610075 WITH SCORE 610954.177
AT ITER 8422 NEW BEST:: SOT 3964206 SOS 879366 HAS SOPS 879366 HAS SOUS 609991 HAS SOUPS 609991 WITH SCORE 610870.366
AT ITER 8450 NEW BEST:: SOT 3964086 SOS 879126 HAS SOPS 879126 HAS SOUS 609751 HAS SOUPS 609751 WITH SCORE 610630.126
AT ITER 8457 NEW BEST:: SOT 3964083 SOS 879121 HAS SOPS 879121 HAS SOUS 609745 HAS SOUPS 609745 WITH SCORE 610624.121
AT ITER 8461 NEW BEST:: SOT 3963808 SOS 878902 HAS SOPS 878902 HAS SOUS 609599 HAS SOUPS 609599 WITH SCORE 610477.902
AT ITER 8462 NEW BEST:: SOT 3963665 SOS 878759 HAS SOPS 878759 HAS SOUS 609435 HAS SOUPS 609435 WITH SCORE 610313.759
AT ITER 8495 NEW BEST:: SOT 3963655 SOS 878749 HAS SOPS 878749 HAS SOUS 609435 HAS SOUPS 609435 WITH SCORE 610313.749
AT ITER 8507 NEW BEST:: SOT 3963584 SOS 878053 HAS SOPS 878053 HAS SOUS 609239 HAS SOUPS 609239 WITH SCORE 610117.053
AT ITER 8522 NEW BEST:: SOT 3963584 SOS 878046 HAS SOPS 878046 HAS SOUS 609232 HAS SOUPS 609232 WITH SCORE 610110.046
AT ITER 8527 NEW BEST:: SOT 3963453 SOS 877896 HAS SOPS 877896 HAS SOUS 609082 HAS SOUPS 609082 WITH SCORE 609959.896
AT ITER 8530 NEW BEST:: SOT 3963498 SOS 877490 HAS SOPS 877490 HAS SOUS 608676 HAS SOUPS 608676 WITH SCORE 609553.49
AT ITER 8545 NEW BEST:: SOT 3963401 SOS 877393 HAS SOPS 877393 HAS SOUS 608579 HAS SOUPS 608579 WITH SCORE 609456.393
AT ITER 8546 NEW BEST:: SOT 3963360 SOS 877349 HAS SOPS 877349 HAS SOUS 608535 HAS SOUPS 608535 WITH SCORE 609412.349
AT ITER 8548 NEW BEST:: SOT 3963360 SOS 877344 HAS SOPS 877344 HAS SOUS 608530 HAS SOUPS 608530 WITH SCORE 609407.344
AT ITER 8600 NEW BEST:: SOT 3963360 SOS 877344 HAS SOPS 877344 HAS SOUS 608527 HAS SOUPS 608527 WITH SCORE 609404.344
AT ITER 8605 NEW BEST:: SOT 3963360 SOS 877221 HAS SOPS 877221 HAS SOUS 608404 HAS SOUPS 608404 WITH SCORE 609281.221
AT ITER 8659 NEW BEST:: SOT 3963360 SOS 877629 HAS SOPS 877629 HAS SOUS 608365 HAS SOUPS 608365 WITH SCORE 609242.629
AT ITER 8674 NEW BEST:: SOT 3963383 SOS 877514 HAS SOPS 877514 HAS SOUS 608365 HAS SOUPS 608365 WITH SCORE 609242.514
AT ITER 8688 NEW BEST:: SOT 3963373 SOS 877439 HAS SOPS 877439 HAS SOUS 608333 HAS SOUPS 608333 WITH SCORE 609210.439
AT ITER 8698 NEW BEST:: SOT 3963354 SOS 877420 HAS SOPS 877420 HAS SOUS 608295 HAS SOUPS 608295 WITH SCORE 609172.42
AT ITER 8730 NEW BEST:: SOT 3963334 SOS 877231 HAS SOPS 877231 HAS SOUS 608255 HAS SOUPS 608255 WITH SCORE 609132.231
AT ITER 8732 NEW BEST:: SOT 3963309 SOS 877047 HAS SOPS 877047 HAS SOUS 608071 HAS SOUPS 608071 WITH SCORE 608948.047
AT ITER 8753 NEW BEST:: SOT 3963266 SOS 876660 HAS SOPS 876660 HAS SOUS 607985 HAS SOUPS 607985 WITH SCORE 608861.66
AT ITER 8757 NEW BEST:: SOT 3963189 SOS 875759 HAS SOPS 875759 HAS SOUS 607805 HAS SOUPS 607805 WITH SCORE 608680.759
AT ITER 8780 NEW BEST:: SOT 3963189 SOS 875578 HAS SOPS 875578 HAS SOUS 607798 HAS SOUPS 607798 WITH SCORE 608673.578
AT ITER 8802 NEW BEST:: SOT 3963156 SOS 875512 HAS SOPS 875512 HAS SOUS 607765 HAS SOUPS 607765 WITH SCORE 608640.512
AT ITER 8818 NEW BEST:: SOT 3963086 SOS 875372 HAS SOPS 875372 HAS SOUS 607625 HAS SOUPS 607625 WITH SCORE 608500.372
AT ITER 8821 NEW BEST:: SOT 3962983 SOS 875290 HAS SOPS 875290 HAS SOUS 607543 HAS SOUPS 607543 WITH SCORE 608418.29
AT ITER 8837 NEW BEST:: SOT 3962512 SOS 875592 HAS SOPS 875592 HAS SOUS 607430 HAS SOUPS 607430 WITH SCORE 608305.592
AT ITER 8872 NEW BEST:: SOT 3962318 SOS 875204 HAS SOPS 875204 HAS SOUS 607042 HAS SOUPS 607042 WITH SCORE 607917.204
AT ITER 8916 NEW BEST:: SOT 3962215 SOS 874871 HAS SOPS 874871 HAS SOUS 606709 HAS SOUPS 606709 WITH SCORE 607583.871
AT ITER 8952 NEW BEST:: SOT 3962242 SOS 874744 HAS SOPS 874744 HAS SOUS 606582 HAS SOUPS 606582 WITH SCORE 607456.744
AT ITER 8964 NEW BEST:: SOT 3962242 SOS 874714 HAS SOPS 874714 HAS SOUS 606582 HAS SOUPS 606582 WITH SCORE 607456.714
AT ITER 8973 NEW BEST:: SOT 3962215 SOS 874642 HAS SOPS 874642 HAS SOUS 606510 HAS SOUPS 606510 WITH SCORE 607384.642
AT ITER 8989 NEW BEST:: SOT 3962075 SOS 874673 HAS SOPS 874673 HAS SOUS 606507 HAS SOUPS 606507 WITH SCORE 607381.673
AT ITER 8995 NEW BEST:: SOT 3962045 SOS 874614 HAS SOPS 874614 HAS SOUS 606476 HAS SOUPS 606476 WITH SCORE 607350.614
AT ITER 9002 NEW BEST:: SOT 3961986 SOS 874449 HAS SOPS 874449 HAS SOUS 606311 HAS SOUPS 606311 WITH SCORE 607185.449
AT ITER 9022 NEW BEST:: SOT 3961767 SOS 874281 HAS SOPS 874281 HAS SOUS 605745 HAS SOUPS 605745 WITH SCORE 606619.281
AT ITER 9044 NEW BEST:: SOT 3961767 SOS 874254 HAS SOPS 874254 HAS SOUS 605736 HAS SOUPS 605736 WITH SCORE 606610.254
AT ITER 9046 NEW BEST:: SOT 3961780 SOS 874205 HAS SOPS 874205 HAS SOUS 605581 HAS SOUPS 605581 WITH SCORE 606455.205
AT ITER 9060 NEW BEST:: SOT 3961778 SOS 874203 HAS SOPS 874203 HAS SOUS 605579 HAS SOUPS 605579 WITH SCORE 606453.203
AT ITER 9061 NEW BEST:: SOT 3961515 SOS 873388 HAS SOPS 873388 HAS SOUS 601627 HAS SOUPS 601627 WITH SCORE 602500.388
AT ITER 9116 NEW BEST:: SOT 3961561 SOS 873370 HAS SOPS 873370 HAS SOUS 601516 HAS SOUPS 601516 WITH SCORE 602389.37
AT ITER 9124 NEW BEST:: SOT 3961532 SOS 872996 HAS SOPS 872996 HAS SOUS 601346 HAS SOUPS 601346 WITH SCORE 602218.996
AT ITER 9153 NEW BEST:: SOT 3961241 SOS 872705 HAS SOPS 872705 HAS SOUS 601055 HAS SOUPS 601055 WITH SCORE 601927.705
AT ITER 9184 NEW BEST:: SOT 3961231 SOS 872683 HAS SOPS 872683 HAS SOUS 601033 HAS SOUPS 601033 WITH SCORE 601905.683
AT ITER 9213 NEW BEST:: SOT 3961194 SOS 872543 HAS SOPS 872543 HAS SOUS 600959 HAS SOUPS 600959 WITH SCORE 601831.543
AT ITER 9217 NEW BEST:: SOT 3961183 SOS 872521 HAS SOPS 872521 HAS SOUS 600937 HAS SOUPS 600937 WITH SCORE 601809.521
AT ITER 9235 NEW BEST:: SOT 3961085 SOS 872421 HAS SOPS 872421 HAS SOUS 600837 HAS SOUPS 600837 WITH SCORE 601709.421
AT ITER 9271 NEW BEST:: SOT 3961009 SOS 871765 HAS SOPS 871765 HAS SOUS 600685 HAS SOUPS 600685 WITH SCORE 601556.765
AT ITER 9272 NEW BEST:: SOT 3960902 SOS 871444 HAS SOPS 871444 HAS SOUS 600364 HAS SOUPS 600364 WITH SCORE 601235.444
AT ITER 9295 NEW BEST:: SOT 3960902 SOS 871436 HAS SOPS 871436 HAS SOUS 600356 HAS SOUPS 600356 WITH SCORE 601227.436
AT ITER 9326 NEW BEST:: SOT 3960821 SOS 871407 HAS SOPS 871407 HAS SOUS 600356 HAS SOUPS 600356 WITH SCORE 601227.407
AT ITER 9341 NEW BEST:: SOT 3960069 SOS 870805 HAS SOPS 870805 HAS SOUS 599604 HAS SOUPS 599604 WITH SCORE 600474.805
AT ITER 9394 NEW BEST:: SOT 3959296 SOS 874649 HAS SOPS 874649 HAS SOUS 599321 HAS SOUPS 599321 WITH SCORE 600195.649
AT ITER 9403 NEW BEST:: SOT 3959233 SOS 874586 HAS SOPS 874586 HAS SOUS 599255 HAS SOUPS 599255 WITH SCORE 600129.586
AT ITER 9423 NEW BEST:: SOT 3959201 SOS 874433 HAS SOPS 874433 HAS SOUS 599191 HAS SOUPS 599191 WITH SCORE 600065.433
AT ITER 9438 NEW BEST:: SOT 3959200 SOS 874431 HAS SOPS 874431 HAS SOUS 599189 HAS SOUPS 599189 WITH SCORE 600063.431
AT ITER 9451 NEW BEST:: SOT 3959138 SOS 874338 HAS SOPS 874338 HAS SOUS 599096 HAS SOUPS 599096 WITH SCORE 599970.338
AT ITER 9482 NEW BEST:: SOT 3958679 SOS 873873 HAS SOPS 873873 HAS SOUS 598674 HAS SOUPS 598674 WITH SCORE 599547.873
AT ITER 9550 NEW BEST:: SOT 3958614 SOS 873808 HAS SOPS 873808 HAS SOUS 598609 HAS SOUPS 598609 WITH SCORE 599482.808
AT ITER 9553 NEW BEST:: SOT 3958517 SOS 873614 HAS SOPS 873614 HAS SOUS 598415 HAS SOUPS 598415 WITH SCORE 599288.614
AT ITER 9594 NEW BEST:: SOT 3958517 SOS 873513 HAS SOPS 873513 HAS SOUS 598314 HAS SOUPS 598314 WITH SCORE 599187.513
AT ITER 9600 NEW BEST:: SOT 3958490 SOS 873459 HAS SOPS 873459 HAS SOUS 598260 HAS SOUPS 598260 WITH SCORE 599133.459
AT ITER 9618 NEW BEST:: SOT 3958490 SOS 873247 HAS SOPS 873247 HAS SOUS 598259 HAS SOUPS 598259 WITH SCORE 599132.247
AT ITER 9639 NEW BEST:: SOT 3958463 SOS 873060 HAS SOPS 873060 HAS SOUS 598195 HAS SOUPS 598195 WITH SCORE 599068.06
AT ITER 9666 NEW BEST:: SOT 3958376 SOS 872886 HAS SOPS 872886 HAS SOUS 598021 HAS SOUPS 598021 WITH SCORE 598893.886
AT ITER 9680 NEW BEST:: SOT 3958366 SOS 872876 HAS SOPS 872876 HAS SOUS 598011 HAS SOUPS 598011 WITH SCORE 598883.876
AT ITER 9686 NEW BEST:: SOT 3958330 SOS 872836 HAS SOPS 872836 HAS SOUS 597939 HAS SOUPS 597939 WITH SCORE 598811.836
AT ITER 9717 NEW BEST:: SOT 3958257 SOS 872660 HAS SOPS 872660 HAS SOUS 597222 HAS SOUPS 597222 WITH SCORE 598094.66
AT ITER 9766 NEW BEST:: SOT 3958037 SOS 872628 HAS SOPS 872628 HAS SOUS 597190 HAS SOUPS 597190 WITH SCORE 598062.628
AT ITER 9772 NEW BEST:: SOT 3958000 SOS 872694 HAS SOPS 872694 HAS SOUS 597147 HAS SOUPS 597147 WITH SCORE 598019.694
AT ITER 9786 NEW BEST:: SOT 3957906 SOS 871338 HAS SOPS 871338 HAS SOUS 596594 HAS SOUPS 596594 WITH SCORE 597465.338
AT ITER 9800 NEW BEST:: SOT 3957900 SOS 871113 HAS SOPS 871113 HAS SOUS 596571 HAS SOUPS 596571 WITH SCORE 597442.113
AT ITER 9814 NEW BEST:: SOT 3957821 SOS 871034 HAS SOPS 871034 HAS SOUS 596492 HAS SOUPS 596492 WITH SCORE 597363.034
AT ITER 9857 NEW BEST:: SOT 3957697 SOS 870849 HAS SOPS 870849 HAS SOUS 596368 HAS SOUPS 596368 WITH SCORE 597238.849
AT ITER 9878 NEW BEST:: SOT 3957609 SOS 870759 HAS SOPS 870759 HAS SOUS 596191 HAS SOUPS 596191 WITH SCORE 597061.759
AT ITER 9931 NEW BEST:: SOT 3957006 SOS 870357 HAS SOPS 870357 HAS SOUS 595789 HAS SOUPS 595789 WITH SCORE 596659.357
AT ITER 9969 NEW BEST:: SOT 3957006 SOS 870117 HAS SOPS 870117 HAS SOUS 595761 HAS SOUPS 595761 WITH SCORE 596631.117
AT ITER 9976 NEW BEST:: SOT 3956969 SOS 869874 HAS SOPS 869874 HAS SOUS 595679 HAS SOUPS 595679 WITH SCORE 596548.874
AT ITER 9994 NEW BEST:: SOT 3956969 SOS 869779 HAS SOPS 869779 HAS SOUS 595584 HAS SOUPS 595584 WITH SCORE 596453.779
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393220 kB
MemFree: 13382736 kB
After kill :
MemTotal: 16393220 kB
MemFree: 16119932 kB

BK_TIME_CONFINEMENT_REACHED

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

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is ASLink-PT-05b, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r011-oct2-167813599700088"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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