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-167813599700104.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-06b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r011-oct2-167813599700104
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.4M
-rw-r--r-- 1 mcc users 7.5K Feb 26 13:12 CTLCardinality.txt
-rw-r--r-- 1 mcc users 84K Feb 26 13:12 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Feb 26 13:12 CTLFireability.txt
-rw-r--r-- 1 mcc users 54K Feb 26 13:12 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:29 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 15:29 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 15:29 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 15:29 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 13:13 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 127K Feb 26 13:13 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.6K Feb 26 13:13 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 84K Feb 26 13:13 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 921K 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 1678724366575

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-06b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-13 16:19:28] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-13 16:19:29] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 16:19:29] [INFO ] Load time of PNML (sax parser for PT used): 156 ms
[2023-03-13 16:19:29] [INFO ] Transformed 2826 places.
[2023-03-13 16:19:29] [INFO ] Transformed 3513 transitions.
[2023-03-13 16:19:29] [INFO ] Found NUPN structural information;
[2023-03-13 16:19:29] [INFO ] Parsed PT model containing 2826 places and 3513 transitions and 10709 arcs in 325 ms.
[2023-03-13 16:19:29] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 2826 places, 3513 transitions and 10709 arcs took 43 ms.
Total runtime 398 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ASLink (PT), instance 06b
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: 2826 places, 3513 transitions, 10709 arcs.
AT ITER 0 NEW BEST:: SOT 5379484 SOS 1142306 HAS SOPS 1142306 HAS SOUS 917313 HAS SOUPS 917313 WITH SCORE 918455.306
AT ITER 42 NEW BEST:: SOT 5379228 SOS 1142050 HAS SOPS 1142050 HAS SOUS 917057 HAS SOUPS 917057 WITH SCORE 918199.05
AT ITER 47 NEW BEST:: SOT 5379140 SOS 1141926 HAS SOPS 1141926 HAS SOUS 916933 HAS SOUPS 916933 WITH SCORE 918074.926
AT ITER 55 NEW BEST:: SOT 5378813 SOS 1141272 HAS SOPS 1141272 HAS SOUS 916279 HAS SOUPS 916279 WITH SCORE 917420.272
AT ITER 118 NEW BEST:: SOT 5378812 SOS 1141270 HAS SOPS 1141270 HAS SOUS 916277 HAS SOUPS 916277 WITH SCORE 917418.27
AT ITER 121 NEW BEST:: SOT 5378587 SOS 1141045 HAS SOPS 1141045 HAS SOUS 916050 HAS SOUPS 916050 WITH SCORE 917191.045
AT ITER 128 NEW BEST:: SOT 5378382 SOS 1140949 HAS SOPS 1140949 HAS SOUS 915954 HAS SOUPS 915954 WITH SCORE 917094.949
AT ITER 179 NEW BEST:: SOT 5375958 SOS 1138800 HAS SOPS 1138800 HAS SOUS 913525 HAS SOUPS 913525 WITH SCORE 914663.8
AT ITER 200 NEW BEST:: SOT 5375642 SOS 1138237 HAS SOPS 1138237 HAS SOUS 912927 HAS SOUPS 912927 WITH SCORE 914065.237
AT ITER 201 NEW BEST:: SOT 5375640 SOS 1138235 HAS SOPS 1138235 HAS SOUS 912925 HAS SOUPS 912925 WITH SCORE 914063.235
AT ITER 213 NEW BEST:: SOT 5375640 SOS 1138233 HAS SOPS 1138233 HAS SOUS 912923 HAS SOUPS 912923 WITH SCORE 914061.233
AT ITER 216 NEW BEST:: SOT 5375436 SOS 1139037 HAS SOPS 1139037 HAS SOUS 912635 HAS SOUPS 912635 WITH SCORE 913774.037
AT ITER 218 NEW BEST:: SOT 5374182 SOS 1138050 HAS SOPS 1138050 HAS SOUS 911427 HAS SOUPS 911427 WITH SCORE 912565.05
AT ITER 231 NEW BEST:: SOT 5374158 SOS 1138012 HAS SOPS 1138012 HAS SOUS 911389 HAS SOUPS 911389 WITH SCORE 912527.012
AT ITER 245 NEW BEST:: SOT 5373982 SOS 1137660 HAS SOPS 1137660 HAS SOUS 911037 HAS SOUPS 911037 WITH SCORE 912174.66
AT ITER 257 NEW BEST:: SOT 5373936 SOS 1137602 HAS SOPS 1137602 HAS SOUS 910979 HAS SOUPS 910979 WITH SCORE 912116.602
AT ITER 276 NEW BEST:: SOT 5375461 SOS 1139502 HAS SOPS 1139502 HAS SOUS 910406 HAS SOUPS 910406 WITH SCORE 911545.502
AT ITER 278 NEW BEST:: SOT 5375461 SOS 1139710 HAS SOPS 1139710 HAS SOUS 910338 HAS SOUPS 910338 WITH SCORE 911477.71
AT ITER 286 NEW BEST:: SOT 5375461 SOS 1139702 HAS SOPS 1139702 HAS SOUS 910330 HAS SOUPS 910330 WITH SCORE 911469.702
AT ITER 324 NEW BEST:: SOT 5375120 SOS 1139361 HAS SOPS 1139361 HAS SOUS 909989 HAS SOUPS 909989 WITH SCORE 911128.361
AT ITER 328 NEW BEST:: SOT 5375022 SOS 1139067 HAS SOPS 1139067 HAS SOUS 909695 HAS SOUPS 909695 WITH SCORE 910834.067
AT ITER 331 NEW BEST:: SOT 5374981 SOS 1138855 HAS SOPS 1138855 HAS SOUS 909612 HAS SOUPS 909612 WITH SCORE 910750.855
AT ITER 347 NEW BEST:: SOT 5374911 SOS 1138645 HAS SOPS 1138645 HAS SOUS 909471 HAS SOUPS 909471 WITH SCORE 910609.645
AT ITER 367 NEW BEST:: SOT 5374804 SOS 1138431 HAS SOPS 1138431 HAS SOUS 909257 HAS SOUPS 909257 WITH SCORE 910395.431
AT ITER 375 NEW BEST:: SOT 5374412 SOS 1138120 HAS SOPS 1138120 HAS SOUS 908946 HAS SOUPS 908946 WITH SCORE 910084.12
AT ITER 377 NEW BEST:: SOT 5372997 SOS 1139454 HAS SOPS 1139454 HAS SOUS 908280 HAS SOUPS 908280 WITH SCORE 909419.454
AT ITER 388 NEW BEST:: SOT 5372735 SOS 1138930 HAS SOPS 1138930 HAS SOUS 907494 HAS SOUPS 907494 WITH SCORE 908632.93
AT ITER 413 NEW BEST:: SOT 5372355 SOS 1138640 HAS SOPS 1138640 HAS SOUS 907200 HAS SOUPS 907200 WITH SCORE 908338.64
AT ITER 416 NEW BEST:: SOT 5371813 SOS 1138903 HAS SOPS 1138903 HAS SOUS 907005 HAS SOUPS 907005 WITH SCORE 908143.903
AT ITER 419 NEW BEST:: SOT 5369993 SOS 1138397 HAS SOPS 1138397 HAS SOUS 905292 HAS SOUPS 905292 WITH SCORE 906430.397
AT ITER 432 NEW BEST:: SOT 5369630 SOS 1138155 HAS SOPS 1138155 HAS SOUS 905050 HAS SOUPS 905050 WITH SCORE 906188.155
AT ITER 461 NEW BEST:: SOT 5369630 SOS 1137923 HAS SOPS 1137923 HAS SOUS 905050 HAS SOUPS 905050 WITH SCORE 906187.923
AT ITER 474 NEW BEST:: SOT 5369543 SOS 1137474 HAS SOPS 1137474 HAS SOUS 904796 HAS SOUPS 904796 WITH SCORE 905933.474
AT ITER 481 NEW BEST:: SOT 5369409 SOS 1137206 HAS SOPS 1137206 HAS SOUS 904528 HAS SOUPS 904528 WITH SCORE 905665.206
AT ITER 501 NEW BEST:: SOT 5369358 SOS 1137104 HAS SOPS 1137104 HAS SOUS 904469 HAS SOUPS 904469 WITH SCORE 905606.104
AT ITER 514 NEW BEST:: SOT 5369311 SOS 1137057 HAS SOPS 1137057 HAS SOUS 904422 HAS SOUPS 904422 WITH SCORE 905559.057
AT ITER 517 NEW BEST:: SOT 5369197 SOS 1136943 HAS SOPS 1136943 HAS SOUS 903908 HAS SOUPS 903908 WITH SCORE 905044.943
AT ITER 547 NEW BEST:: SOT 5368789 SOS 1136559 HAS SOPS 1136559 HAS SOUS 903524 HAS SOUPS 903524 WITH SCORE 904660.559
AT ITER 562 NEW BEST:: SOT 5367788 SOS 1135558 HAS SOPS 1135558 HAS SOUS 903524 HAS SOUPS 903524 WITH SCORE 904659.558
AT ITER 572 NEW BEST:: SOT 5367787 SOS 1135552 HAS SOPS 1135552 HAS SOUS 903518 HAS SOUPS 903518 WITH SCORE 904653.552
AT ITER 586 NEW BEST:: SOT 5367486 SOS 1135222 HAS SOPS 1135222 HAS SOUS 903217 HAS SOUPS 903217 WITH SCORE 904352.222
AT ITER 592 NEW BEST:: SOT 5367486 SOS 1135509 HAS SOPS 1135509 HAS SOUS 903215 HAS SOUPS 903215 WITH SCORE 904350.509
AT ITER 599 NEW BEST:: SOT 5367482 SOS 1135501 HAS SOPS 1135501 HAS SOUS 903211 HAS SOUPS 903211 WITH SCORE 904346.501
AT ITER 624 NEW BEST:: SOT 5367445 SOS 1134907 HAS SOPS 1134907 HAS SOUS 903137 HAS SOUPS 903137 WITH SCORE 904271.907
AT ITER 638 NEW BEST:: SOT 5367419 SOS 1134851 HAS SOPS 1134851 HAS SOUS 903081 HAS SOUPS 903081 WITH SCORE 904215.851
AT ITER 666 NEW BEST:: SOT 5367417 SOS 1134847 HAS SOPS 1134847 HAS SOUS 903077 HAS SOUPS 903077 WITH SCORE 904211.847
AT ITER 718 NEW BEST:: SOT 5367228 SOS 1134537 HAS SOPS 1134537 HAS SOUS 902888 HAS SOUPS 902888 WITH SCORE 904022.537
AT ITER 724 NEW BEST:: SOT 5367128 SOS 1134053 HAS SOPS 1134053 HAS SOUS 902685 HAS SOUPS 902685 WITH SCORE 903819.053
AT ITER 729 NEW BEST:: SOT 5367104 SOS 1134029 HAS SOPS 1134029 HAS SOUS 902637 HAS SOUPS 902637 WITH SCORE 903771.029
AT ITER 755 NEW BEST:: SOT 5366965 SOS 1133958 HAS SOPS 1133958 HAS SOUS 902532 HAS SOUPS 902532 WITH SCORE 903665.958
AT ITER 790 NEW BEST:: SOT 5366965 SOS 1133932 HAS SOPS 1133932 HAS SOUS 902528 HAS SOUPS 902528 WITH SCORE 903661.932
AT ITER 791 NEW BEST:: SOT 5366782 SOS 1133795 HAS SOPS 1133795 HAS SOUS 902391 HAS SOUPS 902391 WITH SCORE 903524.795
AT ITER 814 NEW BEST:: SOT 5366781 SOS 1134019 HAS SOPS 1134019 HAS SOUS 902356 HAS SOUPS 902356 WITH SCORE 903490.019
AT ITER 816 NEW BEST:: SOT 5366780 SOS 1134017 HAS SOPS 1134017 HAS SOUS 902354 HAS SOUPS 902354 WITH SCORE 903488.017
AT ITER 825 NEW BEST:: SOT 5366714 SOS 1134089 HAS SOPS 1134089 HAS SOUS 902288 HAS SOUPS 902288 WITH SCORE 903422.089
AT ITER 845 NEW BEST:: SOT 5366500 SOS 1133791 HAS SOPS 1133791 HAS SOUS 901987 HAS SOUPS 901987 WITH SCORE 903120.791
AT ITER 854 NEW BEST:: SOT 5366192 SOS 1133196 HAS SOPS 1133196 HAS SOUS 901624 HAS SOUPS 901624 WITH SCORE 902757.196
AT ITER 891 NEW BEST:: SOT 5366093 SOS 1132975 HAS SOPS 1132975 HAS SOUS 901403 HAS SOUPS 901403 WITH SCORE 902535.975
AT ITER 906 NEW BEST:: SOT 5366031 SOS 1132564 HAS SOPS 1132564 HAS SOUS 901278 HAS SOUPS 901278 WITH SCORE 902410.564
AT ITER 953 NEW BEST:: SOT 5365614 SOS 1132623 HAS SOPS 1132623 HAS SOUS 901193 HAS SOUPS 901193 WITH SCORE 902325.623
AT ITER 961 NEW BEST:: SOT 5365231 SOS 1131857 HAS SOPS 1131857 HAS SOUS 900427 HAS SOUPS 900427 WITH SCORE 901558.857
AT ITER 969 NEW BEST:: SOT 5365122 SOS 1131634 HAS SOPS 1131634 HAS SOUS 900317 HAS SOUPS 900317 WITH SCORE 901448.634
AT ITER 1006 NEW BEST:: SOT 5364826 SOS 1131338 HAS SOPS 1131338 HAS SOUS 900021 HAS SOUPS 900021 WITH SCORE 901152.338
AT ITER 1082 NEW BEST:: SOT 5364826 SOS 1131334 HAS SOPS 1131334 HAS SOUS 900017 HAS SOUPS 900017 WITH SCORE 901148.334
AT ITER 1090 NEW BEST:: SOT 5364826 SOS 1131271 HAS SOPS 1131271 HAS SOUS 900016 HAS SOUPS 900016 WITH SCORE 901147.271
AT ITER 1093 NEW BEST:: SOT 5363769 SOS 1130214 HAS SOPS 1130214 HAS SOUS 900016 HAS SOUPS 900016 WITH SCORE 901146.214
AT ITER 1094 NEW BEST:: SOT 5363718 SOS 1130212 HAS SOPS 1130212 HAS SOUS 900014 HAS SOUPS 900014 WITH SCORE 901144.212
AT ITER 1126 NEW BEST:: SOT 5363478 SOS 1129732 HAS SOPS 1129732 HAS SOUS 899772 HAS SOUPS 899772 WITH SCORE 900901.732
AT ITER 1147 NEW BEST:: SOT 5363556 SOS 1129829 HAS SOPS 1129829 HAS SOUS 899583 HAS SOUPS 899583 WITH SCORE 900712.829
AT ITER 1183 NEW BEST:: SOT 5363555 SOS 1129749 HAS SOPS 1129749 HAS SOUS 899581 HAS SOUPS 899581 WITH SCORE 900710.749
AT ITER 1203 NEW BEST:: SOT 5363494 SOS 1128916 HAS SOPS 1128916 HAS SOUS 899466 HAS SOUPS 899466 WITH SCORE 900594.916
AT ITER 1204 NEW BEST:: SOT 5363494 SOS 1128798 HAS SOPS 1128798 HAS SOUS 899466 HAS SOUPS 899466 WITH SCORE 900594.798
AT ITER 1217 NEW BEST:: SOT 5363446 SOS 1128656 HAS SOPS 1128656 HAS SOUS 899351 HAS SOUPS 899351 WITH SCORE 900479.656
AT ITER 1232 NEW BEST:: SOT 5363149 SOS 1128457 HAS SOPS 1128457 HAS SOUS 899152 HAS SOUPS 899152 WITH SCORE 900280.457
AT ITER 1237 NEW BEST:: SOT 5362944 SOS 1128457 HAS SOPS 1128457 HAS SOUS 898945 HAS SOUPS 898945 WITH SCORE 900073.457
AT ITER 1251 NEW BEST:: SOT 5362963 SOS 1129818 HAS SOPS 1129818 HAS SOUS 898936 HAS SOUPS 898936 WITH SCORE 900065.818
AT ITER 1265 NEW BEST:: SOT 5362963 SOS 1129789 HAS SOPS 1129789 HAS SOUS 898704 HAS SOUPS 898704 WITH SCORE 899833.789
AT ITER 1277 NEW BEST:: SOT 5363008 SOS 1129654 HAS SOPS 1129654 HAS SOUS 898678 HAS SOUPS 898678 WITH SCORE 899807.654
AT ITER 1291 NEW BEST:: SOT 5362989 SOS 1129404 HAS SOPS 1129404 HAS SOUS 898659 HAS SOUPS 898659 WITH SCORE 899788.404
AT ITER 1296 NEW BEST:: SOT 5362989 SOS 1129772 HAS SOPS 1129772 HAS SOUS 898628 HAS SOUPS 898628 WITH SCORE 899757.772
AT ITER 1338 NEW BEST:: SOT 5362687 SOS 1129530 HAS SOPS 1129530 HAS SOUS 898131 HAS SOUPS 898131 WITH SCORE 899260.53
AT ITER 1350 NEW BEST:: SOT 5362687 SOS 1128994 HAS SOPS 1128994 HAS SOUS 897595 HAS SOUPS 897595 WITH SCORE 898723.994
AT ITER 1368 NEW BEST:: SOT 5362252 SOS 1128943 HAS SOPS 1128943 HAS SOUS 897288 HAS SOUPS 897288 WITH SCORE 898416.943
AT ITER 1370 NEW BEST:: SOT 5362239 SOS 1128942 HAS SOPS 1128942 HAS SOUS 897274 HAS SOUPS 897274 WITH SCORE 898402.942
AT ITER 1423 NEW BEST:: SOT 5362055 SOS 1128614 HAS SOPS 1128614 HAS SOUS 897076 HAS SOUPS 897076 WITH SCORE 898204.614
AT ITER 1434 NEW BEST:: SOT 5362054 SOS 1128550 HAS SOPS 1128550 HAS SOUS 897074 HAS SOUPS 897074 WITH SCORE 898202.55
AT ITER 1435 NEW BEST:: SOT 5361834 SOS 1128230 HAS SOPS 1128230 HAS SOUS 895036 HAS SOUPS 895036 WITH SCORE 896164.23
AT ITER 1448 NEW BEST:: SOT 5361543 SOS 1132542 HAS SOPS 1132542 HAS SOUS 894868 HAS SOUPS 894868 WITH SCORE 896000.542
AT ITER 1454 NEW BEST:: SOT 5361397 SOS 1132249 HAS SOPS 1132249 HAS SOUS 894669 HAS SOUPS 894669 WITH SCORE 895801.249
AT ITER 1470 NEW BEST:: SOT 5361300 SOS 1132051 HAS SOPS 1132051 HAS SOUS 894471 HAS SOUPS 894471 WITH SCORE 895603.051
AT ITER 1475 NEW BEST:: SOT 5361300 SOS 1131927 HAS SOPS 1131927 HAS SOUS 894434 HAS SOUPS 894434 WITH SCORE 895565.927
AT ITER 1480 NEW BEST:: SOT 5360872 SOS 1131498 HAS SOPS 1131498 HAS SOUS 894003 HAS SOUPS 894003 WITH SCORE 895134.498
AT ITER 1489 NEW BEST:: SOT 5360680 SOS 1130073 HAS SOPS 1130073 HAS SOUS 893543 HAS SOUPS 893543 WITH SCORE 894673.073
AT ITER 1501 NEW BEST:: SOT 5360926 SOS 1130010 HAS SOPS 1130010 HAS SOUS 893480 HAS SOUPS 893480 WITH SCORE 894610.01
AT ITER 1553 NEW BEST:: SOT 5360733 SOS 1129799 HAS SOPS 1129799 HAS SOUS 893286 HAS SOUPS 893286 WITH SCORE 894415.799
AT ITER 1580 NEW BEST:: SOT 5360667 SOS 1129883 HAS SOPS 1129883 HAS SOUS 893181 HAS SOUPS 893181 WITH SCORE 894310.883
AT ITER 1586 NEW BEST:: SOT 5360020 SOS 1132288 HAS SOPS 1132288 HAS SOUS 893049 HAS SOUPS 893049 WITH SCORE 894181.288
AT ITER 1612 NEW BEST:: SOT 5359923 SOS 1132094 HAS SOPS 1132094 HAS SOUS 892855 HAS SOUPS 892855 WITH SCORE 893987.094
AT ITER 1615 NEW BEST:: SOT 5358354 SOS 1130890 HAS SOPS 1130890 HAS SOUS 891612 HAS SOUPS 891612 WITH SCORE 892742.89
AT ITER 1630 NEW BEST:: SOT 5358216 SOS 1130476 HAS SOPS 1130476 HAS SOUS 891329 HAS SOUPS 891329 WITH SCORE 892459.476
AT ITER 1632 NEW BEST:: SOT 5358099 SOS 1130359 HAS SOPS 1130359 HAS SOUS 891212 HAS SOUPS 891212 WITH SCORE 892342.359
AT ITER 1645 NEW BEST:: SOT 5358099 SOS 1130100 HAS SOPS 1130100 HAS SOUS 890962 HAS SOUPS 890962 WITH SCORE 892092.1
AT ITER 1647 NEW BEST:: SOT 5358015 SOS 1130001 HAS SOPS 1130001 HAS SOUS 890842 HAS SOUPS 890842 WITH SCORE 891972.001
AT ITER 1661 NEW BEST:: SOT 5357798 SOS 1129778 HAS SOPS 1129778 HAS SOUS 890652 HAS SOUPS 890652 WITH SCORE 891781.778
AT ITER 1680 NEW BEST:: SOT 5357665 SOS 1129379 HAS SOPS 1129379 HAS SOUS 890378 HAS SOUPS 890378 WITH SCORE 891507.379
AT ITER 1682 NEW BEST:: SOT 5357494 SOS 1129208 HAS SOPS 1129208 HAS SOUS 890036 HAS SOUPS 890036 WITH SCORE 891165.208
AT ITER 1697 NEW BEST:: SOT 5357492 SOS 1129206 HAS SOPS 1129206 HAS SOUS 890034 HAS SOUPS 890034 WITH SCORE 891163.206
AT ITER 1716 NEW BEST:: SOT 5357191 SOS 1129536 HAS SOPS 1129536 HAS SOUS 889432 HAS SOUPS 889432 WITH SCORE 890561.536
AT ITER 1722 NEW BEST:: SOT 5356840 SOS 1129161 HAS SOPS 1129161 HAS SOUS 889057 HAS SOUPS 889057 WITH SCORE 890186.161
AT ITER 1788 NEW BEST:: SOT 5356840 SOS 1129160 HAS SOPS 1129160 HAS SOUS 889056 HAS SOUPS 889056 WITH SCORE 890185.16
AT ITER 1810 NEW BEST:: SOT 5356840 SOS 1129215 HAS SOPS 1129215 HAS SOUS 888559 HAS SOUPS 888559 WITH SCORE 889688.215
AT ITER 1818 NEW BEST:: SOT 5356760 SOS 1129135 HAS SOPS 1129135 HAS SOUS 888479 HAS SOUPS 888479 WITH SCORE 889608.135
AT ITER 1825 NEW BEST:: SOT 5356333 SOS 1128716 HAS SOPS 1128716 HAS SOUS 888060 HAS SOUPS 888060 WITH SCORE 889188.716
AT ITER 1837 NEW BEST:: SOT 5356105 SOS 1128387 HAS SOPS 1128387 HAS SOUS 887633 HAS SOUPS 887633 WITH SCORE 888761.387
AT ITER 1855 NEW BEST:: SOT 5356105 SOS 1128385 HAS SOPS 1128385 HAS SOUS 887632 HAS SOUPS 887632 WITH SCORE 888760.385
AT ITER 1859 NEW BEST:: SOT 5356066 SOS 1130275 HAS SOPS 1130275 HAS SOUS 886987 HAS SOUPS 886987 WITH SCORE 888117.275
AT ITER 1873 NEW BEST:: SOT 5356006 SOS 1130102 HAS SOPS 1130102 HAS SOUS 886867 HAS SOUPS 886867 WITH SCORE 887997.102
AT ITER 1900 NEW BEST:: SOT 5356006 SOS 1130091 HAS SOPS 1130091 HAS SOUS 886865 HAS SOUPS 886865 WITH SCORE 887995.091
AT ITER 1913 NEW BEST:: SOT 5355825 SOS 1129462 HAS SOPS 1129462 HAS SOUS 886500 HAS SOUPS 886500 WITH SCORE 887629.462
AT ITER 1938 NEW BEST:: SOT 5355825 SOS 1129263 HAS SOPS 1129263 HAS SOUS 886497 HAS SOUPS 886497 WITH SCORE 887626.263
AT ITER 1986 NEW BEST:: SOT 5355224 SOS 1129006 HAS SOPS 1129006 HAS SOUS 886239 HAS SOUPS 886239 WITH SCORE 887368.006
AT ITER 1998 NEW BEST:: SOT 5355047 SOS 1128872 HAS SOPS 1128872 HAS SOUS 886062 HAS SOUPS 886062 WITH SCORE 887190.872
AT ITER 2026 NEW BEST:: SOT 5354707 SOS 1128714 HAS SOPS 1128714 HAS SOUS 885917 HAS SOUPS 885917 WITH SCORE 887045.714
AT ITER 2029 NEW BEST:: SOT 5354707 SOS 1128713 HAS SOPS 1128713 HAS SOUS 885916 HAS SOUPS 885916 WITH SCORE 887044.713
AT ITER 2035 NEW BEST:: SOT 5354553 SOS 1128406 HAS SOPS 1128406 HAS SOUS 885759 HAS SOUPS 885759 WITH SCORE 886887.406
AT ITER 2036 NEW BEST:: SOT 5354391 SOS 1128084 HAS SOPS 1128084 HAS SOUS 885595 HAS SOUPS 885595 WITH SCORE 886723.084
AT ITER 2042 NEW BEST:: SOT 5354127 SOS 1127728 HAS SOPS 1127728 HAS SOUS 885239 HAS SOUPS 885239 WITH SCORE 886366.728
AT ITER 2050 NEW BEST:: SOT 5354000 SOS 1127216 HAS SOPS 1127216 HAS SOUS 884981 HAS SOUPS 884981 WITH SCORE 886108.216
AT ITER 2051 NEW BEST:: SOT 5354000 SOS 1127030 HAS SOPS 1127030 HAS SOUS 884978 HAS SOUPS 884978 WITH SCORE 886105.03
AT ITER 2066 NEW BEST:: SOT 5353855 SOS 1126646 HAS SOPS 1126646 HAS SOUS 884948 HAS SOUPS 884948 WITH SCORE 886074.646
AT ITER 2078 NEW BEST:: SOT 5353505 SOS 1127223 HAS SOPS 1127223 HAS SOUS 884575 HAS SOUPS 884575 WITH SCORE 885702.223
AT ITER 2086 NEW BEST:: SOT 5353468 SOS 1126835 HAS SOPS 1126835 HAS SOUS 884545 HAS SOUPS 884545 WITH SCORE 885671.835
AT ITER 2087 NEW BEST:: SOT 5353468 SOS 1126824 HAS SOPS 1126824 HAS SOUS 884534 HAS SOUPS 884534 WITH SCORE 885660.824
AT ITER 2095 NEW BEST:: SOT 5353467 SOS 1124368 HAS SOPS 1124368 HAS SOUS 884297 HAS SOUPS 884297 WITH SCORE 885421.368
AT ITER 2104 NEW BEST:: SOT 5353467 SOS 1124367 HAS SOPS 1124367 HAS SOUS 884296 HAS SOUPS 884296 WITH SCORE 885420.367
AT ITER 2118 NEW BEST:: SOT 5353079 SOS 1123838 HAS SOPS 1123838 HAS SOUS 883767 HAS SOUPS 883767 WITH SCORE 884890.838
AT ITER 2120 NEW BEST:: SOT 5353079 SOS 1123837 HAS SOPS 1123837 HAS SOUS 883766 HAS SOUPS 883766 WITH SCORE 884889.837
AT ITER 2123 NEW BEST:: SOT 5352857 SOS 1123609 HAS SOPS 1123609 HAS SOUS 883538 HAS SOUPS 883538 WITH SCORE 884661.609
AT ITER 2124 NEW BEST:: SOT 5349077 SOS 1120167 HAS SOPS 1120167 HAS SOUS 883008 HAS SOUPS 883008 WITH SCORE 884128.167
AT ITER 2137 NEW BEST:: SOT 5348939 SOS 1120551 HAS SOPS 1120551 HAS SOUS 882980 HAS SOUPS 882980 WITH SCORE 884100.551
AT ITER 2138 NEW BEST:: SOT 5348939 SOS 1120835 HAS SOPS 1120835 HAS SOUS 882956 HAS SOUPS 882956 WITH SCORE 884076.835
AT ITER 2148 NEW BEST:: SOT 5348819 SOS 1121462 HAS SOPS 1121462 HAS SOUS 882813 HAS SOUPS 882813 WITH SCORE 883934.462
AT ITER 2167 NEW BEST:: SOT 5348803 SOS 1121436 HAS SOPS 1121436 HAS SOUS 882780 HAS SOUPS 882780 WITH SCORE 883901.436
AT ITER 2210 NEW BEST:: SOT 5348430 SOS 1120690 HAS SOPS 1120690 HAS SOUS 882034 HAS SOUPS 882034 WITH SCORE 883154.69
AT ITER 2227 NEW BEST:: SOT 5348387 SOS 1120541 HAS SOPS 1120541 HAS SOUS 881928 HAS SOUPS 881928 WITH SCORE 883048.541
AT ITER 2235 NEW BEST:: SOT 5348605 SOS 1120397 HAS SOPS 1120397 HAS SOUS 881784 HAS SOUPS 881784 WITH SCORE 882904.397
AT ITER 2236 NEW BEST:: SOT 5348605 SOS 1120164 HAS SOPS 1120164 HAS SOUS 881782 HAS SOUPS 881782 WITH SCORE 882902.164
AT ITER 2244 NEW BEST:: SOT 5348583 SOS 1120126 HAS SOPS 1120126 HAS SOUS 881744 HAS SOUPS 881744 WITH SCORE 882864.126
AT ITER 2247 NEW BEST:: SOT 5348492 SOS 1119894 HAS SOPS 1119894 HAS SOUS 880858 HAS SOUPS 880858 WITH SCORE 881977.894
AT ITER 2271 NEW BEST:: SOT 5348542 SOS 1119329 HAS SOPS 1119329 HAS SOUS 880842 HAS SOUPS 880842 WITH SCORE 881961.329
AT ITER 2273 NEW BEST:: SOT 5348535 SOS 1118245 HAS SOPS 1118245 HAS SOUS 880781 HAS SOUPS 880781 WITH SCORE 881899.245
AT ITER 2276 NEW BEST:: SOT 5348201 SOS 1117946 HAS SOPS 1117946 HAS SOUS 880482 HAS SOUPS 880482 WITH SCORE 881599.946
AT ITER 2295 NEW BEST:: SOT 5348074 SOS 1117819 HAS SOPS 1117819 HAS SOUS 880392 HAS SOUPS 880392 WITH SCORE 881509.819
AT ITER 2304 NEW BEST:: SOT 5348074 SOS 1117817 HAS SOPS 1117817 HAS SOUS 880390 HAS SOUPS 880390 WITH SCORE 881507.817
AT ITER 2306 NEW BEST:: SOT 5348074 SOS 1118080 HAS SOPS 1118080 HAS SOUS 880145 HAS SOUPS 880145 WITH SCORE 881263.08
AT ITER 2323 NEW BEST:: SOT 5347503 SOS 1117654 HAS SOPS 1117654 HAS SOUS 879719 HAS SOUPS 879719 WITH SCORE 880836.654
AT ITER 2337 NEW BEST:: SOT 5346964 SOS 1117168 HAS SOPS 1117168 HAS SOUS 879333 HAS SOUPS 879333 WITH SCORE 880450.168
AT ITER 2343 NEW BEST:: SOT 5346803 SOS 1116989 HAS SOPS 1116989 HAS SOUS 879154 HAS SOUPS 879154 WITH SCORE 880270.989
AT ITER 2368 NEW BEST:: SOT 5346560 SOS 1116503 HAS SOPS 1116503 HAS SOUS 878667 HAS SOUPS 878667 WITH SCORE 879783.503
AT ITER 2387 NEW BEST:: SOT 5346559 SOS 1116501 HAS SOPS 1116501 HAS SOUS 878665 HAS SOUPS 878665 WITH SCORE 879781.501
AT ITER 2421 NEW BEST:: SOT 5346558 SOS 1116282 HAS SOPS 1116282 HAS SOUS 878663 HAS SOUPS 878663 WITH SCORE 879779.282
AT ITER 2438 NEW BEST:: SOT 5346249 SOS 1115752 HAS SOPS 1115752 HAS SOUS 878303 HAS SOUPS 878303 WITH SCORE 879418.752
AT ITER 2439 NEW BEST:: SOT 5345968 SOS 1115470 HAS SOPS 1115470 HAS SOUS 878021 HAS SOUPS 878021 WITH SCORE 879136.47
AT ITER 2450 NEW BEST:: SOT 5345946 SOS 1115444 HAS SOPS 1115444 HAS SOUS 877973 HAS SOUPS 877973 WITH SCORE 879088.444
AT ITER 2471 NEW BEST:: SOT 5345945 SOS 1115418 HAS SOPS 1115418 HAS SOUS 877947 HAS SOUPS 877947 WITH SCORE 879062.418
AT ITER 2478 NEW BEST:: SOT 5345847 SOS 1115967 HAS SOPS 1115967 HAS SOUS 877719 HAS SOUPS 877719 WITH SCORE 878834.967
AT ITER 2480 NEW BEST:: SOT 5345463 SOS 1115629 HAS SOPS 1115629 HAS SOUS 877381 HAS SOUPS 877381 WITH SCORE 878496.629
AT ITER 2486 NEW BEST:: SOT 5345463 SOS 1115575 HAS SOPS 1115575 HAS SOUS 877327 HAS SOUPS 877327 WITH SCORE 878442.575
AT ITER 2491 NEW BEST:: SOT 5345462 SOS 1115389 HAS SOPS 1115389 HAS SOUS 877325 HAS SOUPS 877325 WITH SCORE 878440.389
AT ITER 2497 NEW BEST:: SOT 5345541 SOS 1115113 HAS SOPS 1115113 HAS SOUS 877223 HAS SOUPS 877223 WITH SCORE 878338.113
AT ITER 2505 NEW BEST:: SOT 5345271 SOS 1115082 HAS SOPS 1115082 HAS SOUS 877223 HAS SOUPS 877223 WITH SCORE 878338.082
AT ITER 2516 NEW BEST:: SOT 5344888 SOS 1115827 HAS SOPS 1115827 HAS SOUS 876770 HAS SOUPS 876770 WITH SCORE 877885.827
AT ITER 2560 NEW BEST:: SOT 5344888 SOS 1115001 HAS SOPS 1115001 HAS SOUS 876770 HAS SOUPS 876770 WITH SCORE 877885.001
AT ITER 2567 NEW BEST:: SOT 5344650 SOS 1114443 HAS SOPS 1114443 HAS SOUS 875324 HAS SOUPS 875324 WITH SCORE 876438.443
AT ITER 2568 NEW BEST:: SOT 5344650 SOS 1114335 HAS SOPS 1114335 HAS SOUS 875324 HAS SOUPS 875324 WITH SCORE 876438.335
AT ITER 2597 NEW BEST:: SOT 5344650 SOS 1114311 HAS SOPS 1114311 HAS SOUS 875300 HAS SOUPS 875300 WITH SCORE 876414.311
AT ITER 2614 NEW BEST:: SOT 5344555 SOS 1114138 HAS SOPS 1114138 HAS SOUS 875157 HAS SOUPS 875157 WITH SCORE 876271.138
AT ITER 2630 NEW BEST:: SOT 5346364 SOS 1116483 HAS SOPS 1116483 HAS SOUS 874494 HAS SOUPS 874494 WITH SCORE 875610.483
AT ITER 2633 NEW BEST:: SOT 5346244 SOS 1116237 HAS SOPS 1116237 HAS SOUS 874248 HAS SOUPS 874248 WITH SCORE 875364.237
AT ITER 2635 NEW BEST:: SOT 5346244 SOS 1116163 HAS SOPS 1116163 HAS SOUS 874174 HAS SOUPS 874174 WITH SCORE 875290.163
AT ITER 2649 NEW BEST:: SOT 5346244 SOS 1116003 HAS SOPS 1116003 HAS SOUS 874079 HAS SOUPS 874079 WITH SCORE 875195.003
AT ITER 2680 NEW BEST:: SOT 5346243 SOS 1116002 HAS SOPS 1116002 HAS SOUS 874077 HAS SOUPS 874077 WITH SCORE 875193.002
AT ITER 2702 NEW BEST:: SOT 5345181 SOS 1114885 HAS SOPS 1114885 HAS SOUS 872960 HAS SOUPS 872960 WITH SCORE 874074.885
AT ITER 2735 NEW BEST:: SOT 5345106 SOS 1114825 HAS SOPS 1114825 HAS SOUS 872900 HAS SOUPS 872900 WITH SCORE 874014.825
AT ITER 2748 NEW BEST:: SOT 5346702 SOS 1116565 HAS SOPS 1116565 HAS SOUS 872658 HAS SOUPS 872658 WITH SCORE 873774.565
AT ITER 2753 NEW BEST:: SOT 5346702 SOS 1116203 HAS SOPS 1116203 HAS SOUS 872658 HAS SOUPS 872658 WITH SCORE 873774.203
AT ITER 2760 NEW BEST:: SOT 5346625 SOS 1116082 HAS SOPS 1116082 HAS SOUS 872537 HAS SOUPS 872537 WITH SCORE 873653.082
AT ITER 2763 NEW BEST:: SOT 5346347 SOS 1114154 HAS SOPS 1114154 HAS SOUS 871878 HAS SOUPS 871878 WITH SCORE 872992.154
AT ITER 2793 NEW BEST:: SOT 5346317 SOS 1115120 HAS SOPS 1115120 HAS SOUS 871808 HAS SOUPS 871808 WITH SCORE 872923.12
AT ITER 2814 NEW BEST:: SOT 5344515 SOS 1113420 HAS SOPS 1113420 HAS SOUS 870436 HAS SOUPS 870436 WITH SCORE 871549.42
AT ITER 2819 NEW BEST:: SOT 5344456 SOS 1113359 HAS SOPS 1113359 HAS SOUS 870376 HAS SOUPS 870376 WITH SCORE 871489.359
AT ITER 2836 NEW BEST:: SOT 5344419 SOS 1113295 HAS SOPS 1113295 HAS SOUS 870312 HAS SOUPS 870312 WITH SCORE 871425.295
AT ITER 2837 NEW BEST:: SOT 5344415 SOS 1113291 HAS SOPS 1113291 HAS SOUS 870308 HAS SOUPS 870308 WITH SCORE 871421.291
AT ITER 2844 NEW BEST:: SOT 5344207 SOS 1112720 HAS SOPS 1112720 HAS SOUS 869737 HAS SOUPS 869737 WITH SCORE 870849.72
AT ITER 2867 NEW BEST:: SOT 5344160 SOS 1110162 HAS SOPS 1110162 HAS SOUS 869616 HAS SOUPS 869616 WITH SCORE 870726.162
AT ITER 2886 NEW BEST:: SOT 5344135 SOS 1110112 HAS SOPS 1110112 HAS SOUS 869566 HAS SOUPS 869566 WITH SCORE 870676.112
AT ITER 2892 NEW BEST:: SOT 5344019 SOS 1109941 HAS SOPS 1109941 HAS SOUS 869393 HAS SOUPS 869393 WITH SCORE 870502.941
AT ITER 2901 NEW BEST:: SOT 5345464 SOS 1111952 HAS SOPS 1111952 HAS SOUS 869263 HAS SOUPS 869263 WITH SCORE 870374.952
AT ITER 2908 NEW BEST:: SOT 5345356 SOS 1111884 HAS SOPS 1111884 HAS SOUS 869195 HAS SOUPS 869195 WITH SCORE 870306.884
AT ITER 2942 NEW BEST:: SOT 5345235 SOS 1111813 HAS SOPS 1111813 HAS SOUS 868918 HAS SOUPS 868918 WITH SCORE 870029.813
AT ITER 2944 NEW BEST:: SOT 5345077 SOS 1111511 HAS SOPS 1111511 HAS SOUS 868759 HAS SOUPS 868759 WITH SCORE 869870.511
AT ITER 2956 NEW BEST:: SOT 5344714 SOS 1111460 HAS SOPS 1111460 HAS SOUS 868675 HAS SOUPS 868675 WITH SCORE 869786.46
AT ITER 2979 NEW BEST:: SOT 5344602 SOS 1111236 HAS SOPS 1111236 HAS SOUS 868451 HAS SOUPS 868451 WITH SCORE 869562.236
AT ITER 2994 NEW BEST:: SOT 5344467 SOS 1112892 HAS SOPS 1112892 HAS SOUS 868358 HAS SOUPS 868358 WITH SCORE 869470.892
AT ITER 3003 NEW BEST:: SOT 5344224 SOS 1112857 HAS SOPS 1112857 HAS SOUS 868358 HAS SOUPS 868358 WITH SCORE 869470.857
AT ITER 3029 NEW BEST:: SOT 5342425 SOS 1111309 HAS SOPS 1111309 HAS SOUS 866559 HAS SOUPS 866559 WITH SCORE 867670.309
AT ITER 3034 NEW BEST:: SOT 5342344 SOS 1110546 HAS SOPS 1110546 HAS SOUS 866339 HAS SOUPS 866339 WITH SCORE 867449.546
AT ITER 3050 NEW BEST:: SOT 5342287 SOS 1110375 HAS SOPS 1110375 HAS SOUS 866225 HAS SOUPS 866225 WITH SCORE 867335.375
AT ITER 3110 NEW BEST:: SOT 5342218 SOS 1110306 HAS SOPS 1110306 HAS SOUS 866156 HAS SOUPS 866156 WITH SCORE 867266.306
AT ITER 3113 NEW BEST:: SOT 5342780 SOS 1107503 HAS SOPS 1107503 HAS SOUS 866049 HAS SOUPS 866049 WITH SCORE 867156.503
AT ITER 3124 NEW BEST:: SOT 5341700 SOS 1106515 HAS SOPS 1106515 HAS SOUS 865061 HAS SOUPS 865061 WITH SCORE 866167.515
AT ITER 3154 NEW BEST:: SOT 5341311 SOS 1105348 HAS SOPS 1105348 HAS SOUS 863894 HAS SOUPS 863894 WITH SCORE 864999.348
AT ITER 3164 NEW BEST:: SOT 5341150 SOS 1103969 HAS SOPS 1103969 HAS SOUS 863632 HAS SOUPS 863632 WITH SCORE 864735.969
AT ITER 3170 NEW BEST:: SOT 5341316 SOS 1104141 HAS SOPS 1104141 HAS SOUS 863616 HAS SOUPS 863616 WITH SCORE 864720.141
AT ITER 3175 NEW BEST:: SOT 5341316 SOS 1103970 HAS SOPS 1103970 HAS SOUS 863445 HAS SOUPS 863445 WITH SCORE 864548.97
AT ITER 3176 NEW BEST:: SOT 5341084 SOS 1103722 HAS SOPS 1103722 HAS SOUS 863213 HAS SOUPS 863213 WITH SCORE 864316.722
AT ITER 3182 NEW BEST:: SOT 5341062 SOS 1103678 HAS SOPS 1103678 HAS SOUS 863169 HAS SOUPS 863169 WITH SCORE 864272.678
AT ITER 3197 NEW BEST:: SOT 5342409 SOS 1107863 HAS SOPS 1107863 HAS SOUS 862178 HAS SOUPS 862178 WITH SCORE 863285.863
AT ITER 3201 NEW BEST:: SOT 5342397 SOS 1107742 HAS SOPS 1107742 HAS SOUS 862073 HAS SOUPS 862073 WITH SCORE 863180.742
AT ITER 3207 NEW BEST:: SOT 5342365 SOS 1107388 HAS SOPS 1107388 HAS SOUS 862016 HAS SOUPS 862016 WITH SCORE 863123.388
AT ITER 3213 NEW BEST:: SOT 5342365 SOS 1107388 HAS SOPS 1107388 HAS SOUS 861998 HAS SOUPS 861998 WITH SCORE 863105.388
AT ITER 3216 NEW BEST:: SOT 5340967 SOS 1106094 HAS SOPS 1106094 HAS SOUS 860427 HAS SOUPS 860427 WITH SCORE 861533.094
AT ITER 3220 NEW BEST:: SOT 5340967 SOS 1106088 HAS SOPS 1106088 HAS SOUS 860421 HAS SOUPS 860421 WITH SCORE 861527.088
AT ITER 3234 NEW BEST:: SOT 5340041 SOS 1106732 HAS SOPS 1106732 HAS SOUS 859769 HAS SOUPS 859769 WITH SCORE 860875.732
AT ITER 3252 NEW BEST:: SOT 5339845 SOS 1106022 HAS SOPS 1106022 HAS SOUS 859117 HAS SOUPS 859117 WITH SCORE 860223.022
AT ITER 3268 NEW BEST:: SOT 5339505 SOS 1104980 HAS SOPS 1104980 HAS SOUS 858075 HAS SOUPS 858075 WITH SCORE 859179.98
AT ITER 3272 NEW BEST:: SOT 5339420 SOS 1104779 HAS SOPS 1104779 HAS SOUS 857874 HAS SOUPS 857874 WITH SCORE 858978.779
AT ITER 3288 NEW BEST:: SOT 5339230 SOS 1104339 HAS SOPS 1104339 HAS SOUS 857545 HAS SOUPS 857545 WITH SCORE 858649.339
AT ITER 3311 NEW BEST:: SOT 5338702 SOS 1103869 HAS SOPS 1103869 HAS SOUS 857048 HAS SOUPS 857048 WITH SCORE 858151.869
AT ITER 3314 NEW BEST:: SOT 5338513 SOS 1103680 HAS SOPS 1103680 HAS SOUS 856859 HAS SOUPS 856859 WITH SCORE 857962.68
AT ITER 3317 NEW BEST:: SOT 5337854 SOS 1103598 HAS SOPS 1103598 HAS SOUS 856325 HAS SOUPS 856325 WITH SCORE 857428.598
AT ITER 3336 NEW BEST:: SOT 5337795 SOS 1103340 HAS SOPS 1103340 HAS SOUS 856281 HAS SOUPS 856281 WITH SCORE 857384.34
AT ITER 3338 NEW BEST:: SOT 5337839 SOS 1103114 HAS SOPS 1103114 HAS SOUS 856228 HAS SOUPS 856228 WITH SCORE 857331.114
AT ITER 3340 NEW BEST:: SOT 5337010 SOS 1101148 HAS SOPS 1101148 HAS SOUS 855605 HAS SOUPS 855605 WITH SCORE 856706.148
AT ITER 3360 NEW BEST:: SOT 5336879 SOS 1100886 HAS SOPS 1100886 HAS SOUS 855343 HAS SOUPS 855343 WITH SCORE 856443.886
AT ITER 3371 NEW BEST:: SOT 5336826 SOS 1100937 HAS SOPS 1100937 HAS SOUS 855290 HAS SOUPS 855290 WITH SCORE 856390.937
AT ITER 3378 NEW BEST:: SOT 5338960 SOS 1103287 HAS SOPS 1103287 HAS SOUS 854752 HAS SOUPS 854752 WITH SCORE 855855.287
AT ITER 3386 NEW BEST:: SOT 5338960 SOS 1103226 HAS SOPS 1103226 HAS SOUS 854691 HAS SOUPS 854691 WITH SCORE 855794.226
AT ITER 3389 NEW BEST:: SOT 5338858 SOS 1103022 HAS SOPS 1103022 HAS SOUS 854586 HAS SOUPS 854586 WITH SCORE 855689.022
AT ITER 3390 NEW BEST:: SOT 5338857 SOS 1103009 HAS SOPS 1103009 HAS SOUS 854572 HAS SOUPS 854572 WITH SCORE 855675.009
AT ITER 3404 NEW BEST:: SOT 5338724 SOS 1102822 HAS SOPS 1102822 HAS SOUS 854519 HAS SOUPS 854519 WITH SCORE 855621.822
AT ITER 3430 NEW BEST:: SOT 5338724 SOS 1102680 HAS SOPS 1102680 HAS SOUS 854482 HAS SOUPS 854482 WITH SCORE 855584.68
AT ITER 3449 NEW BEST:: SOT 5338766 SOS 1102291 HAS SOPS 1102291 HAS SOUS 854229 HAS SOUPS 854229 WITH SCORE 855331.291
AT ITER 3450 NEW BEST:: SOT 5338444 SOS 1101523 HAS SOPS 1101523 HAS SOUS 853580 HAS SOUPS 853580 WITH SCORE 854681.523
AT ITER 3475 NEW BEST:: SOT 5338302 SOS 1101197 HAS SOPS 1101197 HAS SOUS 853214 HAS SOUPS 853214 WITH SCORE 854315.197
AT ITER 3535 NEW BEST:: SOT 5338397 SOS 1101227 HAS SOPS 1101227 HAS SOUS 853191 HAS SOUPS 853191 WITH SCORE 854292.227
AT ITER 3554 NEW BEST:: SOT 5338374 SOS 1101181 HAS SOPS 1101181 HAS SOUS 853145 HAS SOUPS 853145 WITH SCORE 854246.181
AT ITER 3570 NEW BEST:: SOT 5338327 SOS 1100994 HAS SOPS 1100994 HAS SOUS 853098 HAS SOUPS 853098 WITH SCORE 854198.994
AT ITER 3574 NEW BEST:: SOT 5338318 SOS 1100976 HAS SOPS 1100976 HAS SOUS 853080 HAS SOUPS 853080 WITH SCORE 854180.976
AT ITER 3591 NEW BEST:: SOT 5338253 SOS 1100911 HAS SOPS 1100911 HAS SOUS 853015 HAS SOUPS 853015 WITH SCORE 854115.911
AT ITER 3602 NEW BEST:: SOT 5338238 SOS 1100896 HAS SOPS 1100896 HAS SOUS 853000 HAS SOUPS 853000 WITH SCORE 854100.896
AT ITER 3611 NEW BEST:: SOT 5338231 SOS 1100882 HAS SOPS 1100882 HAS SOUS 852986 HAS SOUPS 852986 WITH SCORE 854086.882
AT ITER 3616 NEW BEST:: SOT 5338134 SOS 1100721 HAS SOPS 1100721 HAS SOUS 852097 HAS SOUPS 852097 WITH SCORE 853197.721
AT ITER 3627 NEW BEST:: SOT 5337480 SOS 1100424 HAS SOPS 1100424 HAS SOUS 851800 HAS SOUPS 851800 WITH SCORE 852900.424
AT ITER 3636 NEW BEST:: SOT 5337480 SOS 1100372 HAS SOPS 1100372 HAS SOUS 851748 HAS SOUPS 851748 WITH SCORE 852848.372
AT ITER 3640 NEW BEST:: SOT 5337454 SOS 1100363 HAS SOPS 1100363 HAS SOUS 851709 HAS SOUPS 851709 WITH SCORE 852809.363
AT ITER 3643 NEW BEST:: SOT 5337433 SOS 1099746 HAS SOPS 1099746 HAS SOUS 851665 HAS SOUPS 851665 WITH SCORE 852764.746
AT ITER 3696 NEW BEST:: SOT 5337433 SOS 1099739 HAS SOPS 1099739 HAS SOUS 851665 HAS SOUPS 851665 WITH SCORE 852764.739
AT ITER 3724 NEW BEST:: SOT 5337396 SOS 1099896 HAS SOPS 1099896 HAS SOUS 851600 HAS SOUPS 851600 WITH SCORE 852699.896
AT ITER 3731 NEW BEST:: SOT 5338626 SOS 1101262 HAS SOPS 1101262 HAS SOUS 850566 HAS SOUPS 850566 WITH SCORE 851667.262
AT ITER 3778 NEW BEST:: SOT 5338514 SOS 1101338 HAS SOPS 1101338 HAS SOUS 850354 HAS SOUPS 850354 WITH SCORE 851455.338
AT ITER 3795 NEW BEST:: SOT 5337979 SOS 1100636 HAS SOPS 1100636 HAS SOUS 849841 HAS SOUPS 849841 WITH SCORE 850941.636
AT ITER 3796 NEW BEST:: SOT 5337704 SOS 1100086 HAS SOPS 1100086 HAS SOUS 849565 HAS SOUPS 849565 WITH SCORE 850665.086
AT ITER 3833 NEW BEST:: SOT 5337737 SOS 1099237 HAS SOPS 1099237 HAS SOUS 849376 HAS SOUPS 849376 WITH SCORE 850475.237
AT ITER 3849 NEW BEST:: SOT 5337489 SOS 1098692 HAS SOPS 1098692 HAS SOUS 848853 HAS SOUPS 848853 WITH SCORE 849951.692
AT ITER 3854 NEW BEST:: SOT 5337366 SOS 1098433 HAS SOPS 1098433 HAS SOUS 848729 HAS SOUPS 848729 WITH SCORE 849827.433
AT ITER 3865 NEW BEST:: SOT 5337324 SOS 1098391 HAS SOPS 1098391 HAS SOUS 848687 HAS SOUPS 848687 WITH SCORE 849785.391
AT ITER 3869 NEW BEST:: SOT 5337324 SOS 1098335 HAS SOPS 1098335 HAS SOUS 848631 HAS SOUPS 848631 WITH SCORE 849729.335
AT ITER 3876 NEW BEST:: SOT 5337145 SOS 1098115 HAS SOPS 1098115 HAS SOUS 848250 HAS SOUPS 848250 WITH SCORE 849348.115
AT ITER 3894 NEW BEST:: SOT 5337103 SOS 1097989 HAS SOPS 1097989 HAS SOUS 848124 HAS SOUPS 848124 WITH SCORE 849221.989
AT ITER 3899 NEW BEST:: SOT 5337039 SOS 1098185 HAS SOPS 1098185 HAS SOUS 848057 HAS SOUPS 848057 WITH SCORE 849155.185
AT ITER 3916 NEW BEST:: SOT 5336921 SOS 1098051 HAS SOPS 1098051 HAS SOUS 847923 HAS SOUPS 847923 WITH SCORE 849021.051
AT ITER 3944 NEW BEST:: SOT 5336919 SOS 1098011 HAS SOPS 1098011 HAS SOUS 847920 HAS SOUPS 847920 WITH SCORE 849018.011
AT ITER 3948 NEW BEST:: SOT 5336506 SOS 1096929 HAS SOPS 1096929 HAS SOUS 847093 HAS SOUPS 847093 WITH SCORE 848189.929
AT ITER 3959 NEW BEST:: SOT 5336474 SOS 1097110 HAS SOPS 1097110 HAS SOUS 846948 HAS SOUPS 846948 WITH SCORE 848045.11
AT ITER 3989 NEW BEST:: SOT 5336467 SOS 1097096 HAS SOPS 1097096 HAS SOUS 846934 HAS SOUPS 846934 WITH SCORE 848031.096
AT ITER 3997 NEW BEST:: SOT 5336182 SOS 1097383 HAS SOPS 1097383 HAS SOUS 846898 HAS SOUPS 846898 WITH SCORE 847995.383
AT ITER 4014 NEW BEST:: SOT 5335539 SOS 1098438 HAS SOPS 1098438 HAS SOUS 846588 HAS SOUPS 846588 WITH SCORE 847686.438
AT ITER 4020 NEW BEST:: SOT 5335539 SOS 1098719 HAS SOPS 1098719 HAS SOUS 845085 HAS SOUPS 845085 WITH SCORE 846183.719
AT ITER 4022 NEW BEST:: SOT 5335204 SOS 1098825 HAS SOPS 1098825 HAS SOUS 844723 HAS SOUPS 844723 WITH SCORE 845821.825
AT ITER 4053 NEW BEST:: SOT 5335136 SOS 1098657 HAS SOPS 1098657 HAS SOUS 844655 HAS SOUPS 844655 WITH SCORE 845753.657
AT ITER 4069 NEW BEST:: SOT 5334400 SOS 1098001 HAS SOPS 1098001 HAS SOUS 843999 HAS SOUPS 843999 WITH SCORE 845097.001
AT ITER 4077 NEW BEST:: SOT 5334393 SOS 1097927 HAS SOPS 1097927 HAS SOUS 843835 HAS SOUPS 843835 WITH SCORE 844932.927
AT ITER 4094 NEW BEST:: SOT 5334259 SOS 1097659 HAS SOPS 1097659 HAS SOUS 843699 HAS SOUPS 843699 WITH SCORE 844796.659
AT ITER 4109 NEW BEST:: SOT 5334259 SOS 1097655 HAS SOPS 1097655 HAS SOUS 843695 HAS SOUPS 843695 WITH SCORE 844792.655
AT ITER 4117 NEW BEST:: SOT 5333944 SOS 1097295 HAS SOPS 1097295 HAS SOUS 843695 HAS SOUPS 843695 WITH SCORE 844792.295
AT ITER 4122 NEW BEST:: SOT 5333899 SOS 1097205 HAS SOPS 1097205 HAS SOUS 843605 HAS SOUPS 843605 WITH SCORE 844702.205
AT ITER 4159 NEW BEST:: SOT 5333591 SOS 1097051 HAS SOPS 1097051 HAS SOUS 843451 HAS SOUPS 843451 WITH SCORE 844548.051
AT ITER 4160 NEW BEST:: SOT 5330814 SOS 1099209 HAS SOPS 1099209 HAS SOUS 841621 HAS SOUPS 841621 WITH SCORE 842720.209
AT ITER 4166 NEW BEST:: SOT 5330785 SOS 1098912 HAS SOPS 1098912 HAS SOUS 841324 HAS SOUPS 841324 WITH SCORE 842422.912
AT ITER 4196 NEW BEST:: SOT 5330784 SOS 1098904 HAS SOPS 1098904 HAS SOUS 841319 HAS SOUPS 841319 WITH SCORE 842417.904
AT ITER 4221 NEW BEST:: SOT 5330236 SOS 1098082 HAS SOPS 1098082 HAS SOUS 840225 HAS SOUPS 840225 WITH SCORE 841323.082
AT ITER 4244 NEW BEST:: SOT 5330235 SOS 1097998 HAS SOPS 1097998 HAS SOUS 840221 HAS SOUPS 840221 WITH SCORE 841318.998
AT ITER 4290 NEW BEST:: SOT 5329862 SOS 1097252 HAS SOPS 1097252 HAS SOUS 839475 HAS SOUPS 839475 WITH SCORE 840572.252
AT ITER 4307 NEW BEST:: SOT 5329662 SOS 1097223 HAS SOPS 1097223 HAS SOUS 839255 HAS SOUPS 839255 WITH SCORE 840352.223
AT ITER 4331 NEW BEST:: SOT 5329491 SOS 1097052 HAS SOPS 1097052 HAS SOUS 838571 HAS SOUPS 838571 WITH SCORE 839668.052
AT ITER 4337 NEW BEST:: SOT 5329442 SOS 1097003 HAS SOPS 1097003 HAS SOUS 838522 HAS SOUPS 838522 WITH SCORE 839619.003
AT ITER 4430 NEW BEST:: SOT 5328194 SOS 1096041 HAS SOPS 1096041 HAS SOUS 838428 HAS SOUPS 838428 WITH SCORE 839524.041
AT ITER 4441 NEW BEST:: SOT 5328015 SOS 1095532 HAS SOPS 1095532 HAS SOUS 837919 HAS SOUPS 837919 WITH SCORE 839014.532
AT ITER 4456 NEW BEST:: SOT 5327771 SOS 1095030 HAS SOPS 1095030 HAS SOUS 837417 HAS SOUPS 837417 WITH SCORE 838512.03
AT ITER 4487 NEW BEST:: SOT 5327369 SOS 1094427 HAS SOPS 1094427 HAS SOUS 836814 HAS SOUPS 836814 WITH SCORE 837908.427
AT ITER 4490 NEW BEST:: SOT 5327276 SOS 1094241 HAS SOPS 1094241 HAS SOUS 836628 HAS SOUPS 836628 WITH SCORE 837722.241
AT ITER 4500 NEW BEST:: SOT 5327276 SOS 1093603 HAS SOPS 1093603 HAS SOUS 836599 HAS SOUPS 836599 WITH SCORE 837692.603
AT ITER 4510 NEW BEST:: SOT 5327144 SOS 1093444 HAS SOPS 1093444 HAS SOUS 836406 HAS SOUPS 836406 WITH SCORE 837499.444
AT ITER 4519 NEW BEST:: SOT 5327005 SOS 1092747 HAS SOPS 1092747 HAS SOUS 836136 HAS SOUPS 836136 WITH SCORE 837228.747
AT ITER 4529 NEW BEST:: SOT 5327158 SOS 1090124 HAS SOPS 1090124 HAS SOUS 835962 HAS SOUPS 835962 WITH SCORE 837052.124
AT ITER 4531 NEW BEST:: SOT 5327118 SOS 1089998 HAS SOPS 1089998 HAS SOUS 835836 HAS SOUPS 835836 WITH SCORE 836925.998
AT ITER 4570 NEW BEST:: SOT 5327115 SOS 1089787 HAS SOPS 1089787 HAS SOUS 835407 HAS SOUPS 835407 WITH SCORE 836496.787
AT ITER 4614 NEW BEST:: SOT 5326942 SOS 1089614 HAS SOPS 1089614 HAS SOUS 835234 HAS SOUPS 835234 WITH SCORE 836323.614
AT ITER 4628 NEW BEST:: SOT 5326771 SOS 1089493 HAS SOPS 1089493 HAS SOUS 835032 HAS SOUPS 835032 WITH SCORE 836121.493
AT ITER 4639 NEW BEST:: SOT 5326861 SOS 1089137 HAS SOPS 1089137 HAS SOUS 835002 HAS SOUPS 835002 WITH SCORE 836091.137
AT ITER 4654 NEW BEST:: SOT 5326586 SOS 1088914 HAS SOPS 1088914 HAS SOUS 834779 HAS SOUPS 834779 WITH SCORE 835867.914
AT ITER 4660 NEW BEST:: SOT 5326586 SOS 1088913 HAS SOPS 1088913 HAS SOUS 834778 HAS SOUPS 834778 WITH SCORE 835866.913
AT ITER 4664 NEW BEST:: SOT 5326538 SOS 1088697 HAS SOPS 1088697 HAS SOUS 834729 HAS SOUPS 834729 WITH SCORE 835817.697
AT ITER 4679 NEW BEST:: SOT 5326464 SOS 1088623 HAS SOPS 1088623 HAS SOUS 834655 HAS SOUPS 834655 WITH SCORE 835743.623
AT ITER 4696 NEW BEST:: SOT 5326378 SOS 1088623 HAS SOPS 1088623 HAS SOUS 834569 HAS SOUPS 834569 WITH SCORE 835657.623
AT ITER 4701 NEW BEST:: SOT 5326200 SOS 1088381 HAS SOPS 1088381 HAS SOUS 834509 HAS SOUPS 834509 WITH SCORE 835597.381
AT ITER 4718 NEW BEST:: SOT 5326088 SOS 1088136 HAS SOPS 1088136 HAS SOUS 834320 HAS SOUPS 834320 WITH SCORE 835408.136
AT ITER 4720 NEW BEST:: SOT 5325653 SOS 1087558 HAS SOPS 1087558 HAS SOUS 833689 HAS SOUPS 833689 WITH SCORE 834776.558
AT ITER 4731 NEW BEST:: SOT 5325658 SOS 1087397 HAS SOPS 1087397 HAS SOUS 833528 HAS SOUPS 833528 WITH SCORE 834615.397
AT ITER 4761 NEW BEST:: SOT 5325478 SOS 1087035 HAS SOPS 1087035 HAS SOUS 833166 HAS SOUPS 833166 WITH SCORE 834253.035
AT ITER 4766 NEW BEST:: SOT 5325382 SOS 1086360 HAS SOPS 1086360 HAS SOUS 832974 HAS SOUPS 832974 WITH SCORE 834060.36
AT ITER 4771 NEW BEST:: SOT 5325149 SOS 1085690 HAS SOPS 1085690 HAS SOUS 828595 HAS SOUPS 828595 WITH SCORE 829680.69
AT ITER 4778 NEW BEST:: SOT 5325101 SOS 1085594 HAS SOPS 1085594 HAS SOUS 828499 HAS SOUPS 828499 WITH SCORE 829584.594
AT ITER 4783 NEW BEST:: SOT 5325097 SOS 1085579 HAS SOPS 1085579 HAS SOUS 828484 HAS SOUPS 828484 WITH SCORE 829569.579
AT ITER 4808 NEW BEST:: SOT 5325124 SOS 1085606 HAS SOPS 1085606 HAS SOUS 828216 HAS SOUPS 828216 WITH SCORE 829301.606
AT ITER 4817 NEW BEST:: SOT 5325121 SOS 1085486 HAS SOPS 1085486 HAS SOUS 828209 HAS SOUPS 828209 WITH SCORE 829294.486
AT ITER 4819 NEW BEST:: SOT 5325047 SOS 1085338 HAS SOPS 1085338 HAS SOUS 828061 HAS SOUPS 828061 WITH SCORE 829146.338
AT ITER 4842 NEW BEST:: SOT 5325047 SOS 1085334 HAS SOPS 1085334 HAS SOUS 828059 HAS SOUPS 828059 WITH SCORE 829144.334
AT ITER 4864 NEW BEST:: SOT 5325037 SOS 1084981 HAS SOPS 1084981 HAS SOUS 828038 HAS SOUPS 828038 WITH SCORE 829122.981
AT ITER 4869 NEW BEST:: SOT 5324912 SOS 1084776 HAS SOPS 1084776 HAS SOUS 826926 HAS SOUPS 826926 WITH SCORE 828010.776
AT ITER 4879 NEW BEST:: SOT 5324801 SOS 1084554 HAS SOPS 1084554 HAS SOUS 826704 HAS SOUPS 826704 WITH SCORE 827788.554
AT ITER 4908 NEW BEST:: SOT 5324766 SOS 1084519 HAS SOPS 1084519 HAS SOUS 826564 HAS SOUPS 826564 WITH SCORE 827648.519
AT ITER 4909 NEW BEST:: SOT 5324731 SOS 1084512 HAS SOPS 1084512 HAS SOUS 826493 HAS SOUPS 826493 WITH SCORE 827577.512
AT ITER 4916 NEW BEST:: SOT 5324647 SOS 1084344 HAS SOPS 1084344 HAS SOUS 826325 HAS SOUPS 826325 WITH SCORE 827409.344
AT ITER 4917 NEW BEST:: SOT 5324468 SOS 1084165 HAS SOPS 1084165 HAS SOUS 826325 HAS SOUPS 826325 WITH SCORE 827409.165
AT ITER 4922 NEW BEST:: SOT 5324139 SOS 1083507 HAS SOPS 1083507 HAS SOUS 825667 HAS SOUPS 825667 WITH SCORE 826750.507
AT ITER 4929 NEW BEST:: SOT 5324036 SOS 1083301 HAS SOPS 1083301 HAS SOUS 825563 HAS SOUPS 825563 WITH SCORE 826646.301
AT ITER 4953 NEW BEST:: SOT 5324036 SOS 1082676 HAS SOPS 1082676 HAS SOUS 825562 HAS SOUPS 825562 WITH SCORE 826644.676
AT ITER 4993 NEW BEST:: SOT 5324016 SOS 1082602 HAS SOPS 1082602 HAS SOUS 825488 HAS SOUPS 825488 WITH SCORE 826570.602
AT ITER 4997 NEW BEST:: SOT 5324016 SOS 1082641 HAS SOPS 1082641 HAS SOUS 825375 HAS SOUPS 825375 WITH SCORE 826457.641
AT ITER 5082 NEW BEST:: SOT 5324094 SOS 1082738 HAS SOPS 1082738 HAS SOUS 824166 HAS SOUPS 824166 WITH SCORE 825248.738
AT ITER 5138 NEW BEST:: SOT 5323833 SOS 1082514 HAS SOPS 1082514 HAS SOUS 823942 HAS SOUPS 823942 WITH SCORE 825024.514
AT ITER 5139 NEW BEST:: SOT 5323517 SOS 1082160 HAS SOPS 1082160 HAS SOUS 823588 HAS SOUPS 823588 WITH SCORE 824670.16
AT ITER 5150 NEW BEST:: SOT 5322960 SOS 1081467 HAS SOPS 1081467 HAS SOUS 822895 HAS SOUPS 822895 WITH SCORE 823976.467
AT ITER 5177 NEW BEST:: SOT 5322960 SOS 1081434 HAS SOPS 1081434 HAS SOUS 822809 HAS SOUPS 822809 WITH SCORE 823890.434
AT ITER 5185 NEW BEST:: SOT 5322960 SOS 1081644 HAS SOPS 1081644 HAS SOUS 822676 HAS SOUPS 822676 WITH SCORE 823757.644
AT ITER 5225 NEW BEST:: SOT 5322878 SOS 1082696 HAS SOPS 1082696 HAS SOUS 822512 HAS SOUPS 822512 WITH SCORE 823594.696
AT ITER 5226 NEW BEST:: SOT 5322852 SOS 1082306 HAS SOPS 1082306 HAS SOUS 822441 HAS SOUPS 822441 WITH SCORE 823523.306
AT ITER 5256 NEW BEST:: SOT 5322800 SOS 1082254 HAS SOPS 1082254 HAS SOUS 822389 HAS SOUPS 822389 WITH SCORE 823471.254
AT ITER 5276 NEW BEST:: SOT 5322799 SOS 1082083 HAS SOPS 1082083 HAS SOUS 822218 HAS SOUPS 822218 WITH SCORE 823300.083
AT ITER 5297 NEW BEST:: SOT 5322799 SOS 1082038 HAS SOPS 1082038 HAS SOUS 822173 HAS SOUPS 822173 WITH SCORE 823255.038
AT ITER 5301 NEW BEST:: SOT 5322285 SOS 1081526 HAS SOPS 1081526 HAS SOUS 821661 HAS SOUPS 821661 WITH SCORE 822742.526
AT ITER 5311 NEW BEST:: SOT 5322284 SOS 1081524 HAS SOPS 1081524 HAS SOUS 821659 HAS SOUPS 821659 WITH SCORE 822740.524
AT ITER 5320 NEW BEST:: SOT 5323179 SOS 1083056 HAS SOPS 1083056 HAS SOUS 820137 HAS SOUPS 820137 WITH SCORE 821220.056
AT ITER 5332 NEW BEST:: SOT 5323156 SOS 1079700 HAS SOPS 1079700 HAS SOUS 820091 HAS SOUPS 820091 WITH SCORE 821170.7
AT ITER 5364 NEW BEST:: SOT 5323156 SOS 1079576 HAS SOPS 1079576 HAS SOUS 819967 HAS SOUPS 819967 WITH SCORE 821046.576
AT ITER 5376 NEW BEST:: SOT 5323058 SOS 1080166 HAS SOPS 1080166 HAS SOUS 819771 HAS SOUPS 819771 WITH SCORE 820851.166
AT ITER 5387 NEW BEST:: SOT 5322600 SOS 1079954 HAS SOPS 1079954 HAS SOUS 819559 HAS SOUPS 819559 WITH SCORE 820638.954
AT ITER 5407 NEW BEST:: SOT 5322840 SOS 1082344 HAS SOPS 1082344 HAS SOUS 817900 HAS SOUPS 817900 WITH SCORE 818982.344
AT ITER 5432 NEW BEST:: SOT 5323039 SOS 1082196 HAS SOPS 1082196 HAS SOUS 817872 HAS SOUPS 817872 WITH SCORE 818954.196
AT ITER 5434 NEW BEST:: SOT 5323223 SOS 1081532 HAS SOPS 1081532 HAS SOUS 817316 HAS SOUPS 817316 WITH SCORE 818397.532
AT ITER 5451 NEW BEST:: SOT 5323154 SOS 1081256 HAS SOPS 1081256 HAS SOUS 817247 HAS SOUPS 817247 WITH SCORE 818328.256
AT ITER 5456 NEW BEST:: SOT 5323009 SOS 1080830 HAS SOPS 1080830 HAS SOUS 816836 HAS SOUPS 816836 WITH SCORE 817916.83
AT ITER 5466 NEW BEST:: SOT 5323009 SOS 1080779 HAS SOPS 1080779 HAS SOUS 816834 HAS SOUPS 816834 WITH SCORE 817914.779
AT ITER 5472 NEW BEST:: SOT 5322962 SOS 1080685 HAS SOPS 1080685 HAS SOUS 816740 HAS SOUPS 816740 WITH SCORE 817820.685
AT ITER 5481 NEW BEST:: SOT 5322962 SOS 1081001 HAS SOPS 1081001 HAS SOUS 814832 HAS SOUPS 814832 WITH SCORE 815913.001
AT ITER 5505 NEW BEST:: SOT 5322960 SOS 1080997 HAS SOPS 1080997 HAS SOUS 814827 HAS SOUPS 814827 WITH SCORE 815907.997
AT ITER 5509 NEW BEST:: SOT 5322959 SOS 1080572 HAS SOPS 1080572 HAS SOUS 814781 HAS SOUPS 814781 WITH SCORE 815861.572
AT ITER 5519 NEW BEST:: SOT 5322887 SOS 1080500 HAS SOPS 1080500 HAS SOUS 814709 HAS SOUPS 814709 WITH SCORE 815789.5
AT ITER 5520 NEW BEST:: SOT 5322937 SOS 1080484 HAS SOPS 1080484 HAS SOUS 814603 HAS SOUPS 814603 WITH SCORE 815683.484
AT ITER 5526 NEW BEST:: SOT 5322937 SOS 1080473 HAS SOPS 1080473 HAS SOUS 814592 HAS SOUPS 814592 WITH SCORE 815672.473
AT ITER 5540 NEW BEST:: SOT 5322908 SOS 1080128 HAS SOPS 1080128 HAS SOUS 814487 HAS SOUPS 814487 WITH SCORE 815567.128
AT ITER 5563 NEW BEST:: SOT 5322908 SOS 1079937 HAS SOPS 1079937 HAS SOUS 814296 HAS SOUPS 814296 WITH SCORE 815375.937
AT ITER 5603 NEW BEST:: SOT 5322862 SOS 1079891 HAS SOPS 1079891 HAS SOUS 814250 HAS SOUPS 814250 WITH SCORE 815329.891
AT ITER 5613 NEW BEST:: SOT 5322862 SOS 1079415 HAS SOPS 1079415 HAS SOUS 813774 HAS SOUPS 813774 WITH SCORE 814853.415
AT ITER 5618 NEW BEST:: SOT 5322647 SOS 1079541 HAS SOPS 1079541 HAS SOUS 813685 HAS SOUPS 813685 WITH SCORE 814764.541
AT ITER 5637 NEW BEST:: SOT 5322647 SOS 1079291 HAS SOPS 1079291 HAS SOUS 813435 HAS SOUPS 813435 WITH SCORE 814514.291
AT ITER 5649 NEW BEST:: SOT 5322364 SOS 1078696 HAS SOPS 1078696 HAS SOUS 812840 HAS SOUPS 812840 WITH SCORE 813918.696
AT ITER 5653 NEW BEST:: SOT 5322231 SOS 1078640 HAS SOPS 1078640 HAS SOUS 812784 HAS SOUPS 812784 WITH SCORE 813862.64
AT ITER 5668 NEW BEST:: SOT 5322231 SOS 1078708 HAS SOPS 1078708 HAS SOUS 812223 HAS SOUPS 812223 WITH SCORE 813301.708
AT ITER 5703 NEW BEST:: SOT 5322199 SOS 1078172 HAS SOPS 1078172 HAS SOUS 811585 HAS SOUPS 811585 WITH SCORE 812663.172
AT ITER 5716 NEW BEST:: SOT 5322158 SOS 1078131 HAS SOPS 1078131 HAS SOUS 811544 HAS SOUPS 811544 WITH SCORE 812622.131
AT ITER 5736 NEW BEST:: SOT 5321895 SOS 1077868 HAS SOPS 1077868 HAS SOUS 809177 HAS SOUPS 809177 WITH SCORE 810254.868
AT ITER 5786 NEW BEST:: SOT 5321466 SOS 1077694 HAS SOPS 1077694 HAS SOUS 808883 HAS SOUPS 808883 WITH SCORE 809960.694
AT ITER 5805 NEW BEST:: SOT 5321116 SOS 1079282 HAS SOPS 1079282 HAS SOUS 808741 HAS SOUPS 808741 WITH SCORE 809820.282
AT ITER 5807 NEW BEST:: SOT 5321126 SOS 1079149 HAS SOPS 1079149 HAS SOUS 808703 HAS SOUPS 808703 WITH SCORE 809782.149
AT ITER 5809 NEW BEST:: SOT 5321022 SOS 1079821 HAS SOPS 1079821 HAS SOUS 808599 HAS SOUPS 808599 WITH SCORE 809678.821
AT ITER 5824 NEW BEST:: SOT 5320824 SOS 1079394 HAS SOPS 1079394 HAS SOUS 808052 HAS SOUPS 808052 WITH SCORE 809131.394
AT ITER 5826 NEW BEST:: SOT 5320644 SOS 1079115 HAS SOPS 1079115 HAS SOUS 807690 HAS SOUPS 807690 WITH SCORE 808769.115
AT ITER 5830 NEW BEST:: SOT 5320529 SOS 1079000 HAS SOPS 1079000 HAS SOUS 807575 HAS SOUPS 807575 WITH SCORE 808654.0
AT ITER 5834 NEW BEST:: SOT 5320442 SOS 1078869 HAS SOPS 1078869 HAS SOUS 807552 HAS SOUPS 807552 WITH SCORE 808630.869
AT ITER 5835 NEW BEST:: SOT 5320377 SOS 1078769 HAS SOPS 1078769 HAS SOUS 807440 HAS SOUPS 807440 WITH SCORE 808518.769
AT ITER 5849 NEW BEST:: SOT 5320178 SOS 1079915 HAS SOPS 1079915 HAS SOUS 807424 HAS SOUPS 807424 WITH SCORE 808503.915
AT ITER 5853 NEW BEST:: SOT 5320087 SOS 1079823 HAS SOPS 1079823 HAS SOUS 807332 HAS SOUPS 807332 WITH SCORE 808411.823
AT ITER 5856 NEW BEST:: SOT 5320074 SOS 1079824 HAS SOPS 1079824 HAS SOUS 807317 HAS SOUPS 807317 WITH SCORE 808396.824
AT ITER 5900 NEW BEST:: SOT 5320043 SOS 1079762 HAS SOPS 1079762 HAS SOUS 807255 HAS SOUPS 807255 WITH SCORE 808334.762
AT ITER 5901 NEW BEST:: SOT 5319570 SOS 1079336 HAS SOPS 1079336 HAS SOUS 806829 HAS SOUPS 806829 WITH SCORE 807908.336
AT ITER 5905 NEW BEST:: SOT 5319557 SOS 1079310 HAS SOPS 1079310 HAS SOUS 806803 HAS SOUPS 806803 WITH SCORE 807882.31
AT ITER 5907 NEW BEST:: SOT 5319329 SOS 1078853 HAS SOPS 1078853 HAS SOUS 806728 HAS SOUPS 806728 WITH SCORE 807806.853
AT ITER 5927 NEW BEST:: SOT 5316965 SOS 1076489 HAS SOPS 1076489 HAS SOUS 806284 HAS SOUPS 806284 WITH SCORE 807360.489
AT ITER 5946 NEW BEST:: SOT 5316360 SOS 1076395 HAS SOPS 1076395 HAS SOUS 805672 HAS SOUPS 805672 WITH SCORE 806748.395
AT ITER 5949 NEW BEST:: SOT 5316360 SOS 1076394 HAS SOPS 1076394 HAS SOUS 805671 HAS SOUPS 805671 WITH SCORE 806747.394
AT ITER 5962 NEW BEST:: SOT 5316360 SOS 1075986 HAS SOPS 1075986 HAS SOUS 805620 HAS SOUPS 805620 WITH SCORE 806695.986
AT ITER 5963 NEW BEST:: SOT 5316310 SOS 1076098 HAS SOPS 1076098 HAS SOUS 805552 HAS SOUPS 805552 WITH SCORE 806628.098
AT ITER 5968 NEW BEST:: SOT 5316233 SOS 1077608 HAS SOPS 1077608 HAS SOUS 805398 HAS SOUPS 805398 WITH SCORE 806475.608
AT ITER 5978 NEW BEST:: SOT 5316233 SOS 1077561 HAS SOPS 1077561 HAS SOUS 805372 HAS SOUPS 805372 WITH SCORE 806449.561
AT ITER 5991 NEW BEST:: SOT 5316238 SOS 1077571 HAS SOPS 1077571 HAS SOUS 805307 HAS SOUPS 805307 WITH SCORE 806384.571
AT ITER 5995 NEW BEST:: SOT 5316084 SOS 1077526 HAS SOPS 1077526 HAS SOUS 804999 HAS SOUPS 804999 WITH SCORE 806076.526
AT ITER 6010 NEW BEST:: SOT 5314555 SOS 1080572 HAS SOPS 1080572 HAS SOUS 803791 HAS SOUPS 803791 WITH SCORE 804871.572
AT ITER 6022 NEW BEST:: SOT 5313910 SOS 1079927 HAS SOPS 1079927 HAS SOUS 803146 HAS SOUPS 803146 WITH SCORE 804225.927
AT ITER 6051 NEW BEST:: SOT 5313910 SOS 1079696 HAS SOPS 1079696 HAS SOUS 803016 HAS SOUPS 803016 WITH SCORE 804095.696
AT ITER 6058 NEW BEST:: SOT 5313772 SOS 1079536 HAS SOPS 1079536 HAS SOUS 802876 HAS SOUPS 802876 WITH SCORE 803955.536
AT ITER 6070 NEW BEST:: SOT 5313708 SOS 1081726 HAS SOPS 1081726 HAS SOUS 802775 HAS SOUPS 802775 WITH SCORE 803856.726
AT ITER 6093 NEW BEST:: SOT 5313745 SOS 1081971 HAS SOPS 1081971 HAS SOUS 802607 HAS SOUPS 802607 WITH SCORE 803688.971
AT ITER 6096 NEW BEST:: SOT 5313584 SOS 1081810 HAS SOPS 1081810 HAS SOUS 802285 HAS SOUPS 802285 WITH SCORE 803366.81
AT ITER 6102 NEW BEST:: SOT 5313584 SOS 1081738 HAS SOPS 1081738 HAS SOUS 802213 HAS SOUPS 802213 WITH SCORE 803294.738
AT ITER 6109 NEW BEST:: SOT 5313560 SOS 1081714 HAS SOPS 1081714 HAS SOUS 802189 HAS SOUPS 802189 WITH SCORE 803270.714
AT ITER 6161 NEW BEST:: SOT 5313554 SOS 1081702 HAS SOPS 1081702 HAS SOUS 802177 HAS SOUPS 802177 WITH SCORE 803258.702
AT ITER 6169 NEW BEST:: SOT 5313034 SOS 1081117 HAS SOPS 1081117 HAS SOUS 801592 HAS SOUPS 801592 WITH SCORE 802673.117
AT ITER 6190 NEW BEST:: SOT 5313030 SOS 1081078 HAS SOPS 1081078 HAS SOUS 801518 HAS SOUPS 801518 WITH SCORE 802599.078
AT ITER 6208 NEW BEST:: SOT 5313027 SOS 1081072 HAS SOPS 1081072 HAS SOUS 801512 HAS SOUPS 801512 WITH SCORE 802593.072
AT ITER 6217 NEW BEST:: SOT 5313027 SOS 1082303 HAS SOPS 1082303 HAS SOUS 801508 HAS SOUPS 801508 WITH SCORE 802590.303
AT ITER 6242 NEW BEST:: SOT 5313017 SOS 1082277 HAS SOPS 1082277 HAS SOUS 801488 HAS SOUPS 801488 WITH SCORE 802570.277
AT ITER 6258 NEW BEST:: SOT 5312992 SOS 1082227 HAS SOPS 1082227 HAS SOUS 801438 HAS SOUPS 801438 WITH SCORE 802520.227
AT ITER 6262 NEW BEST:: SOT 5312925 SOS 1082026 HAS SOPS 1082026 HAS SOUS 801237 HAS SOUPS 801237 WITH SCORE 802319.026
AT ITER 6276 NEW BEST:: SOT 5312889 SOS 1081954 HAS SOPS 1081954 HAS SOUS 801165 HAS SOUPS 801165 WITH SCORE 802246.954
AT ITER 6278 NEW BEST:: SOT 5312908 SOS 1081777 HAS SOPS 1081777 HAS SOUS 801164 HAS SOUPS 801164 WITH SCORE 802245.777
AT ITER 6292 NEW BEST:: SOT 5312908 SOS 1081763 HAS SOPS 1081763 HAS SOUS 801150 HAS SOUPS 801150 WITH SCORE 802231.763
AT ITER 6315 NEW BEST:: SOT 5312908 SOS 1081388 HAS SOPS 1081388 HAS SOUS 801118 HAS SOUPS 801118 WITH SCORE 802199.388
AT ITER 6322 NEW BEST:: SOT 5312895 SOS 1081311 HAS SOPS 1081311 HAS SOUS 801041 HAS SOUPS 801041 WITH SCORE 802122.311
AT ITER 6364 NEW BEST:: SOT 5312639 SOS 1080967 HAS SOPS 1080967 HAS SOUS 800697 HAS SOUPS 800697 WITH SCORE 801777.967
AT ITER 6378 NEW BEST:: SOT 5312549 SOS 1080877 HAS SOPS 1080877 HAS SOUS 800607 HAS SOUPS 800607 WITH SCORE 801687.877
AT ITER 6397 NEW BEST:: SOT 5312546 SOS 1080874 HAS SOPS 1080874 HAS SOUS 800607 HAS SOUPS 800607 WITH SCORE 801687.874
AT ITER 6403 NEW BEST:: SOT 5312362 SOS 1080782 HAS SOPS 1080782 HAS SOUS 800515 HAS SOUPS 800515 WITH SCORE 801595.782
AT ITER 6404 NEW BEST:: SOT 5312335 SOS 1081708 HAS SOPS 1081708 HAS SOUS 800407 HAS SOUPS 800407 WITH SCORE 801488.708
AT ITER 6418 NEW BEST:: SOT 5312433 SOS 1081646 HAS SOPS 1081646 HAS SOUS 800345 HAS SOUPS 800345 WITH SCORE 801426.646
AT ITER 6423 NEW BEST:: SOT 5312382 SOS 1081460 HAS SOPS 1081460 HAS SOUS 800159 HAS SOUPS 800159 WITH SCORE 801240.46
AT ITER 6445 NEW BEST:: SOT 5311700 SOS 1081253 HAS SOPS 1081253 HAS SOUS 799580 HAS SOUPS 799580 WITH SCORE 800661.253
AT ITER 6449 NEW BEST:: SOT 5311476 SOS 1081028 HAS SOPS 1081028 HAS SOUS 799131 HAS SOUPS 799131 WITH SCORE 800212.028
AT ITER 6458 NEW BEST:: SOT 5311442 SOS 1080536 HAS SOPS 1080536 HAS SOUS 799045 HAS SOUPS 799045 WITH SCORE 800125.536
AT ITER 6473 NEW BEST:: SOT 5311442 SOS 1080534 HAS SOPS 1080534 HAS SOUS 799043 HAS SOUPS 799043 WITH SCORE 800123.534
AT ITER 6503 NEW BEST:: SOT 5310510 SOS 1079797 HAS SOPS 1079797 HAS SOUS 798324 HAS SOUPS 798324 WITH SCORE 799403.797
AT ITER 6526 NEW BEST:: SOT 5310365 SOS 1079217 HAS SOPS 1079217 HAS SOUS 798029 HAS SOUPS 798029 WITH SCORE 799108.217
AT ITER 6551 NEW BEST:: SOT 5310164 SOS 1079141 HAS SOPS 1079141 HAS SOUS 797953 HAS SOUPS 797953 WITH SCORE 799032.141
AT ITER 6565 NEW BEST:: SOT 5310081 SOS 1079057 HAS SOPS 1079057 HAS SOUS 797636 HAS SOUPS 797636 WITH SCORE 798715.057
AT ITER 6575 NEW BEST:: SOT 5309709 SOS 1078437 HAS SOPS 1078437 HAS SOUS 797150 HAS SOUPS 797150 WITH SCORE 798228.437
AT ITER 6580 NEW BEST:: SOT 5309680 SOS 1078243 HAS SOPS 1078243 HAS SOUS 797015 HAS SOUPS 797015 WITH SCORE 798093.243
AT ITER 6599 NEW BEST:: SOT 5309680 SOS 1078321 HAS SOPS 1078321 HAS SOUS 796991 HAS SOUPS 796991 WITH SCORE 798069.321
AT ITER 6664 NEW BEST:: SOT 5309599 SOS 1077843 HAS SOPS 1077843 HAS SOUS 796825 HAS SOUPS 796825 WITH SCORE 797902.843
AT ITER 6680 NEW BEST:: SOT 5309560 SOS 1077804 HAS SOPS 1077804 HAS SOUS 796786 HAS SOUPS 796786 WITH SCORE 797863.804
AT ITER 6681 NEW BEST:: SOT 5309445 SOS 1077883 HAS SOPS 1077883 HAS SOUS 796542 HAS SOUPS 796542 WITH SCORE 797619.883
AT ITER 6698 NEW BEST:: SOT 5309228 SOS 1077442 HAS SOPS 1077442 HAS SOUS 796358 HAS SOUPS 796358 WITH SCORE 797435.442
AT ITER 6720 NEW BEST:: SOT 5309071 SOS 1077037 HAS SOPS 1077037 HAS SOUS 796284 HAS SOUPS 796284 WITH SCORE 797361.037
AT ITER 6723 NEW BEST:: SOT 5309071 SOS 1077031 HAS SOPS 1077031 HAS SOUS 796278 HAS SOUPS 796278 WITH SCORE 797355.031
AT ITER 6744 NEW BEST:: SOT 5309071 SOS 1076909 HAS SOPS 1076909 HAS SOUS 796277 HAS SOUPS 796277 WITH SCORE 797353.909
AT ITER 6745 NEW BEST:: SOT 5308866 SOS 1076539 HAS SOPS 1076539 HAS SOUS 795480 HAS SOUPS 795480 WITH SCORE 796556.539
AT ITER 6797 NEW BEST:: SOT 5308768 SOS 1076400 HAS SOPS 1076400 HAS SOUS 795341 HAS SOUPS 795341 WITH SCORE 796417.4
AT ITER 6800 NEW BEST:: SOT 5308724 SOS 1076312 HAS SOPS 1076312 HAS SOUS 795293 HAS SOUPS 795293 WITH SCORE 796369.312
AT ITER 6835 NEW BEST:: SOT 5308784 SOS 1076266 HAS SOPS 1076266 HAS SOUS 795247 HAS SOUPS 795247 WITH SCORE 796323.266
AT ITER 6836 NEW BEST:: SOT 5307140 SOS 1074652 HAS SOPS 1074652 HAS SOUS 793633 HAS SOUPS 793633 WITH SCORE 794707.652
AT ITER 6869 NEW BEST:: SOT 5307408 SOS 1074584 HAS SOPS 1074584 HAS SOUS 791356 HAS SOUPS 791356 WITH SCORE 792430.584
AT ITER 6870 NEW BEST:: SOT 5306744 SOS 1074083 HAS SOPS 1074083 HAS SOUS 790855 HAS SOUPS 790855 WITH SCORE 791929.083
AT ITER 6873 NEW BEST:: SOT 5306498 SOS 1073837 HAS SOPS 1073837 HAS SOUS 790609 HAS SOUPS 790609 WITH SCORE 791682.837
AT ITER 6886 NEW BEST:: SOT 5306498 SOS 1073817 HAS SOPS 1073817 HAS SOUS 790574 HAS SOUPS 790574 WITH SCORE 791647.817
AT ITER 6904 NEW BEST:: SOT 5306451 SOS 1073635 HAS SOPS 1073635 HAS SOUS 790438 HAS SOUPS 790438 WITH SCORE 791511.635
AT ITER 6915 NEW BEST:: SOT 5306451 SOS 1073627 HAS SOPS 1073627 HAS SOUS 790438 HAS SOUPS 790438 WITH SCORE 791511.627
AT ITER 6919 NEW BEST:: SOT 5307127 SOS 1074804 HAS SOPS 1074804 HAS SOUS 789985 HAS SOUPS 789985 WITH SCORE 791059.804
AT ITER 6958 NEW BEST:: SOT 5306987 SOS 1074683 HAS SOPS 1074683 HAS SOUS 789845 HAS SOUPS 789845 WITH SCORE 790919.683
AT ITER 6992 NEW BEST:: SOT 5306861 SOS 1074431 HAS SOPS 1074431 HAS SOUS 789593 HAS SOUPS 789593 WITH SCORE 790667.431
AT ITER 6993 NEW BEST:: SOT 5306749 SOS 1074066 HAS SOPS 1074066 HAS SOUS 789242 HAS SOUPS 789242 WITH SCORE 790316.066
AT ITER 7022 NEW BEST:: SOT 5306749 SOS 1074665 HAS SOPS 1074665 HAS SOUS 789213 HAS SOUPS 789213 WITH SCORE 790287.665
AT ITER 7023 NEW BEST:: SOT 5306734 SOS 1074635 HAS SOPS 1074635 HAS SOUS 789198 HAS SOUPS 789198 WITH SCORE 790272.635
AT ITER 7024 NEW BEST:: SOT 5306388 SOS 1074453 HAS SOPS 1074453 HAS SOUS 789048 HAS SOUPS 789048 WITH SCORE 790122.453
AT ITER 7062 NEW BEST:: SOT 5306289 SOS 1074255 HAS SOPS 1074255 HAS SOUS 788719 HAS SOUPS 788719 WITH SCORE 789793.255
AT ITER 7071 NEW BEST:: SOT 5305613 SOS 1074080 HAS SOPS 1074080 HAS SOUS 788167 HAS SOUPS 788167 WITH SCORE 789241.08
AT ITER 7081 NEW BEST:: SOT 5305593 SOS 1074038 HAS SOPS 1074038 HAS SOUS 788126 HAS SOUPS 788126 WITH SCORE 789200.038
AT ITER 7084 NEW BEST:: SOT 5305593 SOS 1074234 HAS SOPS 1074234 HAS SOUS 788075 HAS SOUPS 788075 WITH SCORE 789149.234
AT ITER 7096 NEW BEST:: SOT 5305383 SOS 1073919 HAS SOPS 1073919 HAS SOUS 787865 HAS SOUPS 787865 WITH SCORE 788938.919
AT ITER 7147 NEW BEST:: SOT 5305207 SOS 1073567 HAS SOPS 1073567 HAS SOUS 787074 HAS SOUPS 787074 WITH SCORE 788147.567
AT ITER 7151 NEW BEST:: SOT 5305235 SOS 1073503 HAS SOPS 1073503 HAS SOUS 787010 HAS SOUPS 787010 WITH SCORE 788083.503
AT ITER 7168 NEW BEST:: SOT 5305234 SOS 1073501 HAS SOPS 1073501 HAS SOUS 787008 HAS SOUPS 787008 WITH SCORE 788081.501
AT ITER 7178 NEW BEST:: SOT 5305234 SOS 1074402 HAS SOPS 1074402 HAS SOUS 786971 HAS SOUPS 786971 WITH SCORE 788045.402
AT ITER 7183 NEW BEST:: SOT 5305232 SOS 1074389 HAS SOPS 1074389 HAS SOUS 786958 HAS SOUPS 786958 WITH SCORE 788032.389
AT ITER 7242 NEW BEST:: SOT 5304957 SOS 1074146 HAS SOPS 1074146 HAS SOUS 786715 HAS SOUPS 786715 WITH SCORE 787789.146
AT ITER 7253 NEW BEST:: SOT 5304957 SOS 1074127 HAS SOPS 1074127 HAS SOUS 786715 HAS SOUPS 786715 WITH SCORE 787789.127
AT ITER 7254 NEW BEST:: SOT 5304965 SOS 1074042 HAS SOPS 1074042 HAS SOUS 786630 HAS SOUPS 786630 WITH SCORE 787704.042
AT ITER 7259 NEW BEST:: SOT 5304965 SOS 1072082 HAS SOPS 1072082 HAS SOUS 786630 HAS SOUPS 786630 WITH SCORE 787702.082
AT ITER 7283 NEW BEST:: SOT 5304631 SOS 1071735 HAS SOPS 1071735 HAS SOUS 786283 HAS SOUPS 786283 WITH SCORE 787354.735
AT ITER 7284 NEW BEST:: SOT 5304717 SOS 1071637 HAS SOPS 1071637 HAS SOUS 786272 HAS SOUPS 786272 WITH SCORE 787343.637
AT ITER 7292 NEW BEST:: SOT 5304782 SOS 1070502 HAS SOPS 1070502 HAS SOUS 786187 HAS SOUPS 786187 WITH SCORE 787257.502
AT ITER 7319 NEW BEST:: SOT 5304643 SOS 1070358 HAS SOPS 1070358 HAS SOUS 786043 HAS SOUPS 786043 WITH SCORE 787113.358
AT ITER 7411 NEW BEST:: SOT 5304194 SOS 1069909 HAS SOPS 1069909 HAS SOUS 785594 HAS SOUPS 785594 WITH SCORE 786663.909
AT ITER 7422 NEW BEST:: SOT 5305028 SOS 1073109 HAS SOPS 1073109 HAS SOUS 783876 HAS SOUPS 783876 WITH SCORE 784949.109
AT ITER 7441 NEW BEST:: SOT 5304894 SOS 1072974 HAS SOPS 1072974 HAS SOUS 783741 HAS SOUPS 783741 WITH SCORE 784813.974
AT ITER 7445 NEW BEST:: SOT 5304894 SOS 1072933 HAS SOPS 1072933 HAS SOUS 783733 HAS SOUPS 783733 WITH SCORE 784805.933
AT ITER 7463 NEW BEST:: SOT 5303158 SOS 1071090 HAS SOPS 1071090 HAS SOUS 783530 HAS SOUPS 783530 WITH SCORE 784601.09
AT ITER 7479 NEW BEST:: SOT 5303158 SOS 1071057 HAS SOPS 1071057 HAS SOUS 783479 HAS SOUPS 783479 WITH SCORE 784550.057
AT ITER 7493 NEW BEST:: SOT 5303149 SOS 1071048 HAS SOPS 1071048 HAS SOUS 783470 HAS SOUPS 783470 WITH SCORE 784541.048
AT ITER 7497 NEW BEST:: SOT 5303149 SOS 1070654 HAS SOPS 1070654 HAS SOUS 783470 HAS SOUPS 783470 WITH SCORE 784540.654
AT ITER 7503 NEW BEST:: SOT 5303003 SOS 1070584 HAS SOPS 1070584 HAS SOUS 783305 HAS SOUPS 783305 WITH SCORE 784375.584
AT ITER 7510 NEW BEST:: SOT 5303009 SOS 1070516 HAS SOPS 1070516 HAS SOUS 783237 HAS SOUPS 783237 WITH SCORE 784307.516
AT ITER 7579 NEW BEST:: SOT 5302878 SOS 1070254 HAS SOPS 1070254 HAS SOUS 782975 HAS SOUPS 782975 WITH SCORE 784045.254
AT ITER 7598 NEW BEST:: SOT 5302878 SOS 1070013 HAS SOPS 1070013 HAS SOUS 782975 HAS SOUPS 782975 WITH SCORE 784045.013
AT ITER 7604 NEW BEST:: SOT 5302875 SOS 1070004 HAS SOPS 1070004 HAS SOUS 782969 HAS SOUPS 782969 WITH SCORE 784039.004
AT ITER 7605 NEW BEST:: SOT 5302617 SOS 1069099 HAS SOPS 1069099 HAS SOUS 782544 HAS SOUPS 782544 WITH SCORE 783613.099
AT ITER 7607 NEW BEST:: SOT 5299860 SOS 1068534 HAS SOPS 1068534 HAS SOUS 780146 HAS SOUPS 780146 WITH SCORE 781214.534
AT ITER 7636 NEW BEST:: SOT 5299778 SOS 1068152 HAS SOPS 1068152 HAS SOUS 779982 HAS SOUPS 779982 WITH SCORE 781050.152
AT ITER 7644 NEW BEST:: SOT 5299762 SOS 1068120 HAS SOPS 1068120 HAS SOUS 779961 HAS SOUPS 779961 WITH SCORE 781029.12
AT ITER 7730 NEW BEST:: SOT 5299703 SOS 1068002 HAS SOPS 1068002 HAS SOUS 779901 HAS SOUPS 779901 WITH SCORE 780969.002
AT ITER 7735 NEW BEST:: SOT 5299190 SOS 1067909 HAS SOPS 1067909 HAS SOUS 779629 HAS SOUPS 779629 WITH SCORE 780696.909
AT ITER 7746 NEW BEST:: SOT 5299190 SOS 1067883 HAS SOPS 1067883 HAS SOUS 779603 HAS SOUPS 779603 WITH SCORE 780670.883
AT ITER 7757 NEW BEST:: SOT 5299152 SOS 1067808 HAS SOPS 1067808 HAS SOUS 779528 HAS SOUPS 779528 WITH SCORE 780595.808
AT ITER 7764 NEW BEST:: SOT 5298827 SOS 1065876 HAS SOPS 1065876 HAS SOUS 778878 HAS SOUPS 778878 WITH SCORE 779943.876
AT ITER 7765 NEW BEST:: SOT 5298676 SOS 1065573 HAS SOPS 1065573 HAS SOUS 778477 HAS SOUPS 778477 WITH SCORE 779542.573
AT ITER 7814 NEW BEST:: SOT 5298676 SOS 1065288 HAS SOPS 1065288 HAS SOUS 778477 HAS SOUPS 778477 WITH SCORE 779542.288
AT ITER 7821 NEW BEST:: SOT 5298829 SOS 1065507 HAS SOPS 1065507 HAS SOUS 778324 HAS SOUPS 778324 WITH SCORE 779389.507
AT ITER 7828 NEW BEST:: SOT 5298826 SOS 1065496 HAS SOPS 1065496 HAS SOUS 778320 HAS SOUPS 778320 WITH SCORE 779385.496
AT ITER 7831 NEW BEST:: SOT 5298826 SOS 1065118 HAS SOPS 1065118 HAS SOUS 778320 HAS SOUPS 778320 WITH SCORE 779385.118
AT ITER 7833 NEW BEST:: SOT 5298808 SOS 1064764 HAS SOPS 1064764 HAS SOUS 778193 HAS SOUPS 778193 WITH SCORE 779257.764
AT ITER 7861 NEW BEST:: SOT 5298808 SOS 1064749 HAS SOPS 1064749 HAS SOUS 778178 HAS SOUPS 778178 WITH SCORE 779242.749
AT ITER 7875 NEW BEST:: SOT 5298808 SOS 1064672 HAS SOPS 1064672 HAS SOUS 778178 HAS SOUPS 778178 WITH SCORE 779242.672
AT ITER 7883 NEW BEST:: SOT 5298808 SOS 1064552 HAS SOPS 1064552 HAS SOUS 778178 HAS SOUPS 778178 WITH SCORE 779242.552
AT ITER 7889 NEW BEST:: SOT 5298808 SOS 1064538 HAS SOPS 1064538 HAS SOUS 778178 HAS SOUPS 778178 WITH SCORE 779242.538
AT ITER 7898 NEW BEST:: SOT 5298515 SOS 1064228 HAS SOPS 1064228 HAS SOUS 777282 HAS SOUPS 777282 WITH SCORE 778346.228
AT ITER 7902 NEW BEST:: SOT 5299966 SOS 1064966 HAS SOPS 1064966 HAS SOUS 774830 HAS SOUPS 774830 WITH SCORE 775894.966
AT ITER 7906 NEW BEST:: SOT 5299950 SOS 1065344 HAS SOPS 1065344 HAS SOUS 774814 HAS SOUPS 774814 WITH SCORE 775879.344
AT ITER 7950 NEW BEST:: SOT 5298933 SOS 1064101 HAS SOPS 1064101 HAS SOUS 773571 HAS SOUPS 773571 WITH SCORE 774635.101
AT ITER 7960 NEW BEST:: SOT 5298877 SOS 1063989 HAS SOPS 1063989 HAS SOUS 773459 HAS SOUPS 773459 WITH SCORE 774522.989
AT ITER 7988 NEW BEST:: SOT 5298772 SOS 1063689 HAS SOPS 1063689 HAS SOUS 773144 HAS SOUPS 773144 WITH SCORE 774207.689
AT ITER 7991 NEW BEST:: SOT 5298769 SOS 1063686 HAS SOPS 1063686 HAS SOUS 773141 HAS SOUPS 773141 WITH SCORE 774204.686
AT ITER 8002 NEW BEST:: SOT 5298704 SOS 1063598 HAS SOPS 1063598 HAS SOUS 773053 HAS SOUPS 773053 WITH SCORE 774116.598
AT ITER 8013 NEW BEST:: SOT 5298653 SOS 1063292 HAS SOPS 1063292 HAS SOUS 772949 HAS SOUPS 772949 WITH SCORE 774012.292
AT ITER 8031 NEW BEST:: SOT 5298655 SOS 1063225 HAS SOPS 1063225 HAS SOUS 772882 HAS SOUPS 772882 WITH SCORE 773945.225
AT ITER 8070 NEW BEST:: SOT 5298494 SOS 1063064 HAS SOPS 1063064 HAS SOUS 772720 HAS SOUPS 772720 WITH SCORE 773783.064
AT ITER 8073 NEW BEST:: SOT 5298943 SOS 1063826 HAS SOPS 1063826 HAS SOUS 772540 HAS SOUPS 772540 WITH SCORE 773603.826
AT ITER 8074 NEW BEST:: SOT 5299087 SOS 1063813 HAS SOPS 1063813 HAS SOUS 772095 HAS SOUPS 772095 WITH SCORE 773158.813
AT ITER 8128 NEW BEST:: SOT 5299087 SOS 1063813 HAS SOPS 1063813 HAS SOUS 772073 HAS SOUPS 772073 WITH SCORE 773136.813
AT ITER 8154 NEW BEST:: SOT 5299028 SOS 1063537 HAS SOPS 1063537 HAS SOUS 772013 HAS SOUPS 772013 WITH SCORE 773076.537
AT ITER 8178 NEW BEST:: SOT 5299028 SOS 1063541 HAS SOPS 1063541 HAS SOUS 771953 HAS SOUPS 771953 WITH SCORE 773016.541
AT ITER 8179 NEW BEST:: SOT 5298833 SOS 1063493 HAS SOPS 1063493 HAS SOUS 771563 HAS SOUPS 771563 WITH SCORE 772626.493
AT ITER 8217 NEW BEST:: SOT 5298459 SOS 1063213 HAS SOPS 1063213 HAS SOUS 770873 HAS SOUPS 770873 WITH SCORE 771936.213
AT ITER 8233 NEW BEST:: SOT 5298403 SOS 1063106 HAS SOPS 1063106 HAS SOUS 770817 HAS SOUPS 770817 WITH SCORE 771880.106
AT ITER 8245 NEW BEST:: SOT 5298402 SOS 1063119 HAS SOPS 1063119 HAS SOUS 770811 HAS SOUPS 770811 WITH SCORE 771874.119
AT ITER 8282 NEW BEST:: SOT 5298402 SOS 1064461 HAS SOPS 1064461 HAS SOUS 770750 HAS SOUPS 770750 WITH SCORE 771814.461
AT ITER 8308 NEW BEST:: SOT 5298171 SOS 1063808 HAS SOPS 1063808 HAS SOUS 770328 HAS SOUPS 770328 WITH SCORE 771391.808
AT ITER 8315 NEW BEST:: SOT 5297790 SOS 1063603 HAS SOPS 1063603 HAS SOUS 769970 HAS SOUPS 769970 WITH SCORE 771033.603
AT ITER 8319 NEW BEST:: SOT 5297790 SOS 1063765 HAS SOPS 1063765 HAS SOUS 769908 HAS SOUPS 769908 WITH SCORE 770971.765
AT ITER 8374 NEW BEST:: SOT 5297897 SOS 1063629 HAS SOPS 1063629 HAS SOUS 769734 HAS SOUPS 769734 WITH SCORE 770797.629
AT ITER 8397 NEW BEST:: SOT 5297767 SOS 1063369 HAS SOPS 1063369 HAS SOUS 769474 HAS SOUPS 769474 WITH SCORE 770537.369
AT ITER 8401 NEW BEST:: SOT 5297767 SOS 1063369 HAS SOPS 1063369 HAS SOUS 769373 HAS SOUPS 769373 WITH SCORE 770436.369
AT ITER 8409 NEW BEST:: SOT 5297041 SOS 1062808 HAS SOPS 1062808 HAS SOUS 768743 HAS SOUPS 768743 WITH SCORE 769805.808
AT ITER 8411 NEW BEST:: SOT 5297040 SOS 1062742 HAS SOPS 1062742 HAS SOUS 768733 HAS SOUPS 768733 WITH SCORE 769795.742
AT ITER 8414 NEW BEST:: SOT 5296946 SOS 1062648 HAS SOPS 1062648 HAS SOUS 768639 HAS SOUPS 768639 WITH SCORE 769701.648
AT ITER 8424 NEW BEST:: SOT 5296940 SOS 1063424 HAS SOPS 1063424 HAS SOUS 768466 HAS SOUPS 768466 WITH SCORE 769529.424
AT ITER 8437 NEW BEST:: SOT 5296940 SOS 1063388 HAS SOPS 1063388 HAS SOUS 768430 HAS SOUPS 768430 WITH SCORE 769493.388
AT ITER 8442 NEW BEST:: SOT 5296726 SOS 1063091 HAS SOPS 1063091 HAS SOUS 768085 HAS SOUPS 768085 WITH SCORE 769148.091
AT ITER 8478 NEW BEST:: SOT 5296704 SOS 1063507 HAS SOPS 1063507 HAS SOUS 768077 HAS SOUPS 768077 WITH SCORE 769140.507
AT ITER 8516 NEW BEST:: SOT 5296703 SOS 1063506 HAS SOPS 1063506 HAS SOUS 768075 HAS SOUPS 768075 WITH SCORE 769138.506
AT ITER 8536 NEW BEST:: SOT 5296649 SOS 1063398 HAS SOPS 1063398 HAS SOUS 767967 HAS SOUPS 767967 WITH SCORE 769030.398
AT ITER 8576 NEW BEST:: SOT 5295554 SOS 1062375 HAS SOPS 1062375 HAS SOUS 767024 HAS SOUPS 767024 WITH SCORE 768086.375
AT ITER 8626 NEW BEST:: SOT 5295156 SOS 1061480 HAS SOPS 1061480 HAS SOUS 766166 HAS SOUPS 766166 WITH SCORE 767227.48
AT ITER 8633 NEW BEST:: SOT 5295156 SOS 1061478 HAS SOPS 1061478 HAS SOUS 766164 HAS SOUPS 766164 WITH SCORE 767225.478
AT ITER 8639 NEW BEST:: SOT 5295132 SOS 1061454 HAS SOPS 1061454 HAS SOUS 766161 HAS SOUPS 766161 WITH SCORE 767222.454
AT ITER 8642 NEW BEST:: SOT 5295007 SOS 1061111 HAS SOPS 1061111 HAS SOUS 766038 HAS SOUPS 766038 WITH SCORE 767099.111
AT ITER 8648 NEW BEST:: SOT 5294720 SOS 1060537 HAS SOPS 1060537 HAS SOUS 765749 HAS SOUPS 765749 WITH SCORE 766809.537
AT ITER 8653 NEW BEST:: SOT 5294344 SOS 1060234 HAS SOPS 1060234 HAS SOUS 765446 HAS SOUPS 765446 WITH SCORE 766506.234
AT ITER 8671 NEW BEST:: SOT 5293454 SOS 1059390 HAS SOPS 1059390 HAS SOUS 764539 HAS SOUPS 764539 WITH SCORE 765598.39
AT ITER 8677 NEW BEST:: SOT 5293256 SOS 1059192 HAS SOPS 1059192 HAS SOUS 764386 HAS SOUPS 764386 WITH SCORE 765445.192
AT ITER 8690 NEW BEST:: SOT 5293094 SOS 1058683 HAS SOPS 1058683 HAS SOUS 764361 HAS SOUPS 764361 WITH SCORE 765419.683
AT ITER 8693 NEW BEST:: SOT 5292794 SOS 1058383 HAS SOPS 1058383 HAS SOUS 764211 HAS SOUPS 764211 WITH SCORE 765269.383
AT ITER 8696 NEW BEST:: SOT 5292761 SOS 1058282 HAS SOPS 1058282 HAS SOUS 764145 HAS SOUPS 764145 WITH SCORE 765203.282
AT ITER 8706 NEW BEST:: SOT 5291741 SOS 1059158 HAS SOPS 1059158 HAS SOUS 763866 HAS SOUPS 763866 WITH SCORE 764925.158
AT ITER 8760 NEW BEST:: SOT 5291706 SOS 1059123 HAS SOPS 1059123 HAS SOUS 763866 HAS SOUPS 763866 WITH SCORE 764925.123
AT ITER 8805 NEW BEST:: SOT 5291488 SOS 1061936 HAS SOPS 1061936 HAS SOUS 763800 HAS SOUPS 763800 WITH SCORE 764861.936
AT ITER 8847 NEW BEST:: SOT 5291447 SOS 1061794 HAS SOPS 1061794 HAS SOUS 763658 HAS SOUPS 763658 WITH SCORE 764719.794
AT ITER 8849 NEW BEST:: SOT 5291292 SOS 1061187 HAS SOPS 1061187 HAS SOUS 763117 HAS SOUPS 763117 WITH SCORE 764178.187
AT ITER 8858 NEW BEST:: SOT 5291191 SOS 1060985 HAS SOPS 1060985 HAS SOUS 762915 HAS SOUPS 762915 WITH SCORE 763975.985
AT ITER 8863 NEW BEST:: SOT 5291111 SOS 1060814 HAS SOPS 1060814 HAS SOUS 762816 HAS SOUPS 762816 WITH SCORE 763876.814
AT ITER 8884 NEW BEST:: SOT 5291110 SOS 1060812 HAS SOPS 1060812 HAS SOUS 762814 HAS SOUPS 762814 WITH SCORE 763874.812
AT ITER 8887 NEW BEST:: SOT 5290844 SOS 1060648 HAS SOPS 1060648 HAS SOUS 762650 HAS SOUPS 762650 WITH SCORE 763710.648
AT ITER 8890 NEW BEST:: SOT 5290826 SOS 1060552 HAS SOPS 1060552 HAS SOUS 762612 HAS SOUPS 762612 WITH SCORE 763672.552
AT ITER 8896 NEW BEST:: SOT 5290826 SOS 1060343 HAS SOPS 1060343 HAS SOUS 762403 HAS SOUPS 762403 WITH SCORE 763463.343
AT ITER 8918 NEW BEST:: SOT 5290590 SOS 1059838 HAS SOPS 1059838 HAS SOUS 762167 HAS SOUPS 762167 WITH SCORE 763226.838
AT ITER 8932 NEW BEST:: SOT 5290534 SOS 1059678 HAS SOPS 1059678 HAS SOUS 762111 HAS SOUPS 762111 WITH SCORE 763170.678
AT ITER 8939 NEW BEST:: SOT 5290514 SOS 1059617 HAS SOPS 1059617 HAS SOUS 762091 HAS SOUPS 762091 WITH SCORE 763150.617
AT ITER 9014 NEW BEST:: SOT 5290512 SOS 1059896 HAS SOPS 1059896 HAS SOUS 762087 HAS SOUPS 762087 WITH SCORE 763146.896
AT ITER 9035 NEW BEST:: SOT 5290512 SOS 1059888 HAS SOPS 1059888 HAS SOUS 762087 HAS SOUPS 762087 WITH SCORE 763146.888
AT ITER 9037 NEW BEST:: SOT 5290441 SOS 1059746 HAS SOPS 1059746 HAS SOUS 762041 HAS SOUPS 762041 WITH SCORE 763100.746
AT ITER 9072 NEW BEST:: SOT 5290322 SOS 1059629 HAS SOPS 1059629 HAS SOUS 761938 HAS SOUPS 761938 WITH SCORE 762997.629
AT ITER 9074 NEW BEST:: SOT 5290322 SOS 1059530 HAS SOPS 1059530 HAS SOUS 761839 HAS SOUPS 761839 WITH SCORE 762898.53
AT ITER 9082 NEW BEST:: SOT 5290240 SOS 1059126 HAS SOPS 1059126 HAS SOUS 761515 HAS SOUPS 761515 WITH SCORE 762574.126
AT ITER 9084 NEW BEST:: SOT 5290240 SOS 1059066 HAS SOPS 1059066 HAS SOUS 761455 HAS SOUPS 761455 WITH SCORE 762514.066
AT ITER 9088 NEW BEST:: SOT 5290212 SOS 1059031 HAS SOPS 1059031 HAS SOUS 761420 HAS SOUPS 761420 WITH SCORE 762479.031
AT ITER 9105 NEW BEST:: SOT 5289950 SOS 1058696 HAS SOPS 1058696 HAS SOUS 761203 HAS SOUPS 761203 WITH SCORE 762261.696
AT ITER 9133 NEW BEST:: SOT 5289863 SOS 1058635 HAS SOPS 1058635 HAS SOUS 761166 HAS SOUPS 761166 WITH SCORE 762224.635
AT ITER 9146 NEW BEST:: SOT 5289508 SOS 1058280 HAS SOPS 1058280 HAS SOUS 760811 HAS SOUPS 760811 WITH SCORE 761869.28
AT ITER 9218 NEW BEST:: SOT 5289323 SOS 1058094 HAS SOPS 1058094 HAS SOUS 760441 HAS SOUPS 760441 WITH SCORE 761499.094
AT ITER 9221 NEW BEST:: SOT 5289376 SOS 1057948 HAS SOPS 1057948 HAS SOUS 760240 HAS SOUPS 760240 WITH SCORE 761297.948
AT ITER 9224 NEW BEST:: SOT 5289337 SOS 1057831 HAS SOPS 1057831 HAS SOUS 760123 HAS SOUPS 760123 WITH SCORE 761180.831
AT ITER 9237 NEW BEST:: SOT 5289218 SOS 1057631 HAS SOPS 1057631 HAS SOUS 759923 HAS SOUPS 759923 WITH SCORE 760980.631
AT ITER 9238 NEW BEST:: SOT 5289146 SOS 1057382 HAS SOPS 1057382 HAS SOUS 759425 HAS SOUPS 759425 WITH SCORE 760482.382
AT ITER 9256 NEW BEST:: SOT 5289142 SOS 1057378 HAS SOPS 1057378 HAS SOUS 759421 HAS SOUPS 759421 WITH SCORE 760478.378
AT ITER 9332 NEW BEST:: SOT 5289142 SOS 1057302 HAS SOPS 1057302 HAS SOUS 759345 HAS SOUPS 759345 WITH SCORE 760402.302
AT ITER 9351 NEW BEST:: SOT 5289083 SOS 1057184 HAS SOPS 1057184 HAS SOUS 759151 HAS SOUPS 759151 WITH SCORE 760208.184
AT ITER 9359 NEW BEST:: SOT 5289054 SOS 1057460 HAS SOPS 1057460 HAS SOUS 759093 HAS SOUPS 759093 WITH SCORE 760150.46
AT ITER 9365 NEW BEST:: SOT 5289047 SOS 1057460 HAS SOPS 1057460 HAS SOUS 759090 HAS SOUPS 759090 WITH SCORE 760147.46
AT ITER 9399 NEW BEST:: SOT 5288990 SOS 1057417 HAS SOPS 1057417 HAS SOUS 759047 HAS SOUPS 759047 WITH SCORE 760104.417
AT ITER 9401 NEW BEST:: SOT 5288973 SOS 1057383 HAS SOPS 1057383 HAS SOUS 759013 HAS SOUPS 759013 WITH SCORE 760070.383
AT ITER 9406 NEW BEST:: SOT 5288754 SOS 1056840 HAS SOPS 1056840 HAS SOUS 758754 HAS SOUPS 758754 WITH SCORE 759810.84
AT ITER 9409 NEW BEST:: SOT 5288754 SOS 1056840 HAS SOPS 1056840 HAS SOUS 758753 HAS SOUPS 758753 WITH SCORE 759809.84
AT ITER 9417 NEW BEST:: SOT 5288615 SOS 1056299 HAS SOPS 1056299 HAS SOUS 758643 HAS SOUPS 758643 WITH SCORE 759699.299
AT ITER 9437 NEW BEST:: SOT 5288615 SOS 1056295 HAS SOPS 1056295 HAS SOUS 758636 HAS SOUPS 758636 WITH SCORE 759692.295
AT ITER 9460 NEW BEST:: SOT 5288619 SOS 1056270 HAS SOPS 1056270 HAS SOUS 758611 HAS SOUPS 758611 WITH SCORE 759667.27
AT ITER 9464 NEW BEST:: SOT 5287971 SOS 1055622 HAS SOPS 1055622 HAS SOUS 758530 HAS SOUPS 758530 WITH SCORE 759585.622
AT ITER 9474 NEW BEST:: SOT 5287970 SOS 1055498 HAS SOPS 1055498 HAS SOUS 758406 HAS SOUPS 758406 WITH SCORE 759461.498
AT ITER 9480 NEW BEST:: SOT 5287493 SOS 1058769 HAS SOPS 1058769 HAS SOUS 758345 HAS SOUPS 758345 WITH SCORE 759403.769
AT ITER 9481 NEW BEST:: SOT 5287435 SOS 1058711 HAS SOPS 1058711 HAS SOUS 758258 HAS SOUPS 758258 WITH SCORE 759316.711
AT ITER 9485 NEW BEST:: SOT 5287259 SOS 1058535 HAS SOPS 1058535 HAS SOUS 758082 HAS SOUPS 758082 WITH SCORE 759140.535
AT ITER 9490 NEW BEST:: SOT 5287253 SOS 1058554 HAS SOPS 1058554 HAS SOUS 757853 HAS SOUPS 757853 WITH SCORE 758911.554
AT ITER 9521 NEW BEST:: SOT 5287221 SOS 1058480 HAS SOPS 1058480 HAS SOUS 757779 HAS SOUPS 757779 WITH SCORE 758837.48
AT ITER 9555 NEW BEST:: SOT 5287221 SOS 1058480 HAS SOPS 1058480 HAS SOUS 757496 HAS SOUPS 757496 WITH SCORE 758554.48
AT ITER 9566 NEW BEST:: SOT 5287059 SOS 1058081 HAS SOPS 1058081 HAS SOUS 757337 HAS SOUPS 757337 WITH SCORE 758395.081
AT ITER 9575 NEW BEST:: SOT 5286985 SOS 1057933 HAS SOPS 1057933 HAS SOUS 757189 HAS SOUPS 757189 WITH SCORE 758246.933
AT ITER 9587 NEW BEST:: SOT 5286960 SOS 1057866 HAS SOPS 1057866 HAS SOUS 757145 HAS SOUPS 757145 WITH SCORE 758202.866
AT ITER 9618 NEW BEST:: SOT 5286960 SOS 1057865 HAS SOPS 1057865 HAS SOUS 757144 HAS SOUPS 757144 WITH SCORE 758201.865
AT ITER 9619 NEW BEST:: SOT 5286545 SOS 1057747 HAS SOPS 1057747 HAS SOUS 756973 HAS SOUPS 756973 WITH SCORE 758030.747
AT ITER 9623 NEW BEST:: SOT 5286448 SOS 1057598 HAS SOPS 1057598 HAS SOUS 756824 HAS SOUPS 756824 WITH SCORE 757881.598
AT ITER 9655 NEW BEST:: SOT 5286211 SOS 1056724 HAS SOPS 1056724 HAS SOUS 756407 HAS SOUPS 756407 WITH SCORE 757463.724
AT ITER 9659 NEW BEST:: SOT 5286881 SOS 1057394 HAS SOPS 1057394 HAS SOUS 756321 HAS SOUPS 756321 WITH SCORE 757378.394
AT ITER 9679 NEW BEST:: SOT 5286833 SOS 1057387 HAS SOPS 1057387 HAS SOUS 756086 HAS SOUPS 756086 WITH SCORE 757143.387
AT ITER 9720 NEW BEST:: SOT 5286761 SOS 1057296 HAS SOPS 1057296 HAS SOUS 756014 HAS SOUPS 756014 WITH SCORE 757071.296
AT ITER 9756 NEW BEST:: SOT 5286739 SOS 1057288 HAS SOPS 1057288 HAS SOUS 755950 HAS SOUPS 755950 WITH SCORE 757007.288
AT ITER 9768 NEW BEST:: SOT 5286739 SOS 1057415 HAS SOPS 1057415 HAS SOUS 755949 HAS SOUPS 755949 WITH SCORE 757006.415
AT ITER 9789 NEW BEST:: SOT 5285774 SOS 1058187 HAS SOPS 1058187 HAS SOUS 755647 HAS SOUPS 755647 WITH SCORE 756705.187
AT ITER 9812 NEW BEST:: SOT 5285497 SOS 1057917 HAS SOPS 1057917 HAS SOUS 755377 HAS SOUPS 755377 WITH SCORE 756434.917
AT ITER 9830 NEW BEST:: SOT 5286637 SOS 1058992 HAS SOPS 1058992 HAS SOUS 752131 HAS SOUPS 752131 WITH SCORE 753189.992
AT ITER 9837 NEW BEST:: SOT 5286021 SOS 1058472 HAS SOPS 1058472 HAS SOUS 751611 HAS SOUPS 751611 WITH SCORE 752669.472
AT ITER 9890 NEW BEST:: SOT 5286020 SOS 1058314 HAS SOPS 1058314 HAS SOUS 751453 HAS SOUPS 751453 WITH SCORE 752511.314
AT ITER 9895 NEW BEST:: SOT 5286020 SOS 1058296 HAS SOPS 1058296 HAS SOUS 751453 HAS SOUPS 751453 WITH SCORE 752511.296
AT ITER 9899 NEW BEST:: SOT 5285958 SOS 1058172 HAS SOPS 1058172 HAS SOUS 751329 HAS SOUPS 751329 WITH SCORE 752387.172
AT ITER 9933 NEW BEST:: SOT 5285799 SOS 1057854 HAS SOPS 1057854 HAS SOUS 751170 HAS SOUPS 751170 WITH SCORE 752227.854
AT ITER 9950 NEW BEST:: SOT 5285633 SOS 1057761 HAS SOPS 1057761 HAS SOUS 751077 HAS SOUPS 751077 WITH SCORE 752134.761
AT ITER 9966 NEW BEST:: SOT 5285531 SOS 1057295 HAS SOPS 1057295 HAS SOUS 750975 HAS SOUPS 750975 WITH SCORE 752032.295
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393220 kB
MemFree: 12919272 kB
After kill :
MemTotal: 16393220 kB
MemFree: 16116632 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:
++ perl -pe 's/.*\.//g'
++ sed s/.jar//
++ 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-06b"
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-06b, 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-167813599700104"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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