About the Execution of Smart for ASLink-PT-06b
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
3373.848 | 3600000.00 | 3600112.00 | 0.00 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r003-oct2-167813590400104.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
......................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is ASLink-PT-06b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-oct2-167813590400104
=====================================================================
--------------------
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 1678469064697
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=ASLink-PT-06b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ASLink (PT), instance 06b
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart
Filename model.pnml
Petri model created: 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 32 NEW BEST:: SOT 5379315 SOS 1141908 HAS SOPS 1141908 HAS SOUS 916915 HAS SOUPS 916915 WITH SCORE 918056.908
AT ITER 47 NEW BEST:: SOT 5379187 SOS 1141780 HAS SOPS 1141780 HAS SOUS 916787 HAS SOUPS 916787 WITH SCORE 917928.78
AT ITER 59 NEW BEST:: SOT 5379182 SOS 1141775 HAS SOPS 1141775 HAS SOUS 916782 HAS SOUPS 916782 WITH SCORE 917923.775
AT ITER 97 NEW BEST:: SOT 5378864 SOS 1141135 HAS SOPS 1141135 HAS SOUS 916142 HAS SOUPS 916142 WITH SCORE 917283.135
AT ITER 111 NEW BEST:: SOT 5378821 SOS 1141047 HAS SOPS 1141047 HAS SOUS 916054 HAS SOUPS 916054 WITH SCORE 917195.047
AT ITER 112 NEW BEST:: SOT 5377989 SOS 1140742 HAS SOPS 1140742 HAS SOUS 915548 HAS SOUPS 915548 WITH SCORE 916688.742
AT ITER 133 NEW BEST:: SOT 5377832 SOS 1140585 HAS SOPS 1140585 HAS SOUS 915391 HAS SOUPS 915391 WITH SCORE 916531.585
AT ITER 139 NEW BEST:: SOT 5377773 SOS 1140418 HAS SOPS 1140418 HAS SOUS 915272 HAS SOUPS 915272 WITH SCORE 916412.418
AT ITER 140 NEW BEST:: SOT 5377772 SOS 1140246 HAS SOPS 1140246 HAS SOUS 915100 HAS SOUPS 915100 WITH SCORE 916240.246
AT ITER 149 NEW BEST:: SOT 5377772 SOS 1140105 HAS SOPS 1140105 HAS SOUS 915100 HAS SOUPS 915100 WITH SCORE 916240.105
AT ITER 163 NEW BEST:: SOT 5377772 SOS 1140030 HAS SOPS 1140030 HAS SOUS 915025 HAS SOUPS 915025 WITH SCORE 916165.03
AT ITER 201 NEW BEST:: SOT 5377631 SOS 1141168 HAS SOPS 1141168 HAS SOUS 914945 HAS SOUPS 914945 WITH SCORE 916086.168
AT ITER 217 NEW BEST:: SOT 5376909 SOS 1141395 HAS SOPS 1141395 HAS SOUS 914606 HAS SOUPS 914606 WITH SCORE 915747.395
AT ITER 221 NEW BEST:: SOT 5376835 SOS 1140947 HAS SOPS 1140947 HAS SOUS 914459 HAS SOUPS 914459 WITH SCORE 915599.947
AT ITER 233 NEW BEST:: SOT 5376558 SOS 1140670 HAS SOPS 1140670 HAS SOUS 914168 HAS SOUPS 914168 WITH SCORE 915308.67
AT ITER 238 NEW BEST:: SOT 5376558 SOS 1140484 HAS SOPS 1140484 HAS SOUS 913982 HAS SOUPS 913982 WITH SCORE 915122.484
AT ITER 241 NEW BEST:: SOT 5376557 SOS 1140412 HAS SOPS 1140412 HAS SOUS 913910 HAS SOUPS 913910 WITH SCORE 915050.412
AT ITER 272 NEW BEST:: SOT 5376557 SOS 1140137 HAS SOPS 1140137 HAS SOUS 913910 HAS SOUPS 913910 WITH SCORE 915050.137
AT ITER 286 NEW BEST:: SOT 5376329 SOS 1139898 HAS SOPS 1139898 HAS SOUS 913662 HAS SOUPS 913662 WITH SCORE 914801.898
AT ITER 303 NEW BEST:: SOT 5376019 SOS 1139443 HAS SOPS 1139443 HAS SOUS 913285 HAS SOUPS 913285 WITH SCORE 914424.443
AT ITER 323 NEW BEST:: SOT 5375977 SOS 1139355 HAS SOPS 1139355 HAS SOUS 913197 HAS SOUPS 913197 WITH SCORE 914336.355
AT ITER 353 NEW BEST:: SOT 5374081 SOS 1141350 HAS SOPS 1141350 HAS SOUS 912118 HAS SOUPS 912118 WITH SCORE 913259.35
AT ITER 355 NEW BEST:: SOT 5372286 SOS 1139724 HAS SOPS 1139724 HAS SOUS 910406 HAS SOUPS 910406 WITH SCORE 911545.724
AT ITER 368 NEW BEST:: SOT 5372276 SOS 1139700 HAS SOPS 1139700 HAS SOUS 910382 HAS SOUPS 910382 WITH SCORE 911521.7
AT ITER 420 NEW BEST:: SOT 5371236 SOS 1142153 HAS SOPS 1142153 HAS SOUS 910146 HAS SOUPS 910146 WITH SCORE 911288.153
AT ITER 432 NEW BEST:: SOT 5368933 SOS 1139848 HAS SOPS 1139848 HAS SOUS 910145 HAS SOUPS 910145 WITH SCORE 911284.848
AT ITER 452 NEW BEST:: SOT 5368883 SOS 1139748 HAS SOPS 1139748 HAS SOUS 910045 HAS SOUPS 910045 WITH SCORE 911184.748
AT ITER 462 NEW BEST:: SOT 5368883 SOS 1139746 HAS SOPS 1139746 HAS SOUS 910043 HAS SOUPS 910043 WITH SCORE 911182.746
AT ITER 478 NEW BEST:: SOT 5368618 SOS 1139481 HAS SOPS 1139481 HAS SOUS 909778 HAS SOUPS 909778 WITH SCORE 910917.481
AT ITER 496 NEW BEST:: SOT 5368618 SOS 1139426 HAS SOPS 1139426 HAS SOUS 909777 HAS SOUPS 909777 WITH SCORE 910916.426
AT ITER 499 NEW BEST:: SOT 5368618 SOS 1139426 HAS SOPS 1139426 HAS SOUS 909771 HAS SOUPS 909771 WITH SCORE 910910.426
AT ITER 500 NEW BEST:: SOT 5368521 SOS 1139240 HAS SOPS 1139240 HAS SOUS 909673 HAS SOUPS 909673 WITH SCORE 910812.24
AT ITER 511 NEW BEST:: SOT 5368116 SOS 1138881 HAS SOPS 1138881 HAS SOUS 909433 HAS SOUPS 909433 WITH SCORE 910571.881
AT ITER 539 NEW BEST:: SOT 5367910 SOS 1139263 HAS SOPS 1139263 HAS SOUS 909413 HAS SOUPS 909413 WITH SCORE 910552.263
AT ITER 543 NEW BEST:: SOT 5367664 SOS 1138991 HAS SOPS 1138991 HAS SOUS 909141 HAS SOUPS 909141 WITH SCORE 910279.991
AT ITER 556 NEW BEST:: SOT 5366947 SOS 1138643 HAS SOPS 1138643 HAS SOUS 908423 HAS SOUPS 908423 WITH SCORE 909561.643
AT ITER 557 NEW BEST:: SOT 5366947 SOS 1138631 HAS SOPS 1138631 HAS SOUS 908411 HAS SOUPS 908411 WITH SCORE 909549.631
AT ITER 560 NEW BEST:: SOT 5366625 SOS 1137831 HAS SOPS 1137831 HAS SOUS 907767 HAS SOUPS 907767 WITH SCORE 908904.831
AT ITER 573 NEW BEST:: SOT 5366598 SOS 1137827 HAS SOPS 1137827 HAS SOUS 907766 HAS SOUPS 907766 WITH SCORE 908903.827
AT ITER 585 NEW BEST:: SOT 5366336 SOS 1137548 HAS SOPS 1137548 HAS SOUS 907504 HAS SOUPS 907504 WITH SCORE 908641.548
AT ITER 607 NEW BEST:: SOT 5366181 SOS 1137238 HAS SOPS 1137238 HAS SOUS 906729 HAS SOUPS 906729 WITH SCORE 907866.238
AT ITER 611 NEW BEST:: SOT 5366160 SOS 1137058 HAS SOPS 1137058 HAS SOUS 906707 HAS SOUPS 906707 WITH SCORE 907844.058
AT ITER 612 NEW BEST:: SOT 5365740 SOS 1136638 HAS SOPS 1136638 HAS SOUS 906274 HAS SOUPS 906274 WITH SCORE 907410.638
AT ITER 628 NEW BEST:: SOT 5365603 SOS 1136461 HAS SOPS 1136461 HAS SOUS 906097 HAS SOUPS 906097 WITH SCORE 907233.461
AT ITER 663 NEW BEST:: SOT 5365603 SOS 1136098 HAS SOPS 1136098 HAS SOUS 906096 HAS SOUPS 906096 WITH SCORE 907232.098
AT ITER 683 NEW BEST:: SOT 5365452 SOS 1135744 HAS SOPS 1135744 HAS SOUS 905893 HAS SOUPS 905893 WITH SCORE 907028.744
AT ITER 694 NEW BEST:: SOT 5365361 SOS 1135562 HAS SOPS 1135562 HAS SOUS 905801 HAS SOUPS 905801 WITH SCORE 906936.562
AT ITER 711 NEW BEST:: SOT 5365361 SOS 1135341 HAS SOPS 1135341 HAS SOUS 905800 HAS SOUPS 905800 WITH SCORE 906935.341
AT ITER 717 NEW BEST:: SOT 5364753 SOS 1138184 HAS SOPS 1138184 HAS SOUS 905688 HAS SOUPS 905688 WITH SCORE 906826.184
AT ITER 725 NEW BEST:: SOT 5364831 SOS 1138576 HAS SOPS 1138576 HAS SOUS 905515 HAS SOUPS 905515 WITH SCORE 906653.576
AT ITER 788 NEW BEST:: SOT 5364667 SOS 1139544 HAS SOPS 1139544 HAS SOUS 905349 HAS SOUPS 905349 WITH SCORE 906488.544
AT ITER 789 NEW BEST:: SOT 5364457 SOS 1139334 HAS SOPS 1139334 HAS SOUS 905139 HAS SOUPS 905139 WITH SCORE 906278.334
AT ITER 796 NEW BEST:: SOT 5364457 SOS 1139270 HAS SOPS 1139270 HAS SOUS 905139 HAS SOUPS 905139 WITH SCORE 906278.27
AT ITER 808 NEW BEST:: SOT 5364355 SOS 1139066 HAS SOPS 1139066 HAS SOUS 904929 HAS SOUPS 904929 WITH SCORE 906068.066
AT ITER 820 NEW BEST:: SOT 5364124 SOS 1138834 HAS SOPS 1138834 HAS SOUS 904466 HAS SOUPS 904466 WITH SCORE 905604.834
AT ITER 825 NEW BEST:: SOT 5363940 SOS 1138499 HAS SOPS 1138499 HAS SOUS 904131 HAS SOUPS 904131 WITH SCORE 905269.499
AT ITER 834 NEW BEST:: SOT 5363817 SOS 1137888 HAS SOPS 1137888 HAS SOUS 903520 HAS SOUPS 903520 WITH SCORE 904657.888
AT ITER 838 NEW BEST:: SOT 5363061 SOS 1137132 HAS SOPS 1137132 HAS SOUS 903520 HAS SOUPS 903520 WITH SCORE 904657.132
AT ITER 852 NEW BEST:: SOT 5363042 SOS 1137094 HAS SOPS 1137094 HAS SOUS 903482 HAS SOUPS 903482 WITH SCORE 904619.094
AT ITER 860 NEW BEST:: SOT 5362805 SOS 1136247 HAS SOPS 1136247 HAS SOUS 903007 HAS SOUPS 903007 WITH SCORE 904143.247
AT ITER 868 NEW BEST:: SOT 5362660 SOS 1135812 HAS SOPS 1135812 HAS SOUS 902716 HAS SOUPS 902716 WITH SCORE 903851.812
AT ITER 869 NEW BEST:: SOT 5362393 SOS 1135545 HAS SOPS 1135545 HAS SOUS 902448 HAS SOUPS 902448 WITH SCORE 903583.545
AT ITER 906 NEW BEST:: SOT 5362019 SOS 1136106 HAS SOPS 1136106 HAS SOUS 902074 HAS SOUPS 902074 WITH SCORE 903210.106
AT ITER 933 NEW BEST:: SOT 5361819 SOS 1135621 HAS SOPS 1135621 HAS SOUS 901956 HAS SOUPS 901956 WITH SCORE 903091.621
AT ITER 992 NEW BEST:: SOT 5360979 SOS 1134781 HAS SOPS 1134781 HAS SOUS 901956 HAS SOUPS 901956 WITH SCORE 903090.781
AT ITER 1004 NEW BEST:: SOT 5360638 SOS 1134413 HAS SOPS 1134413 HAS SOUS 901617 HAS SOUPS 901617 WITH SCORE 902751.413
AT ITER 1008 NEW BEST:: SOT 5360638 SOS 1134389 HAS SOPS 1134389 HAS SOUS 901617 HAS SOUPS 901617 WITH SCORE 902751.389
AT ITER 1013 NEW BEST:: SOT 5360609 SOS 1134331 HAS SOPS 1134331 HAS SOUS 901588 HAS SOUPS 901588 WITH SCORE 902722.331
AT ITER 1037 NEW BEST:: SOT 5359538 SOS 1133767 HAS SOPS 1133767 HAS SOUS 900858 HAS SOUPS 900858 WITH SCORE 901991.767
AT ITER 1040 NEW BEST:: SOT 5357242 SOS 1131411 HAS SOPS 1131411 HAS SOUS 900798 HAS SOUPS 900798 WITH SCORE 901929.411
AT ITER 1041 NEW BEST:: SOT 5357242 SOS 1131355 HAS SOPS 1131355 HAS SOUS 900796 HAS SOUPS 900796 WITH SCORE 901927.355
AT ITER 1042 NEW BEST:: SOT 5357143 SOS 1131157 HAS SOPS 1131157 HAS SOUS 900598 HAS SOUPS 900598 WITH SCORE 901729.157
AT ITER 1046 NEW BEST:: SOT 5357142 SOS 1131155 HAS SOPS 1131155 HAS SOUS 900596 HAS SOUPS 900596 WITH SCORE 901727.155
AT ITER 1070 NEW BEST:: SOT 5357056 SOS 1131154 HAS SOPS 1131154 HAS SOUS 900595 HAS SOUPS 900595 WITH SCORE 901726.154
AT ITER 1073 NEW BEST:: SOT 5357251 SOS 1131148 HAS SOPS 1131148 HAS SOUS 900589 HAS SOUPS 900589 WITH SCORE 901720.148
AT ITER 1105 NEW BEST:: SOT 5357185 SOS 1131104 HAS SOPS 1131104 HAS SOUS 900545 HAS SOUPS 900545 WITH SCORE 901676.104
AT ITER 1117 NEW BEST:: SOT 5357178 SOS 1131090 HAS SOPS 1131090 HAS SOUS 900531 HAS SOUPS 900531 WITH SCORE 901662.09
AT ITER 1120 NEW BEST:: SOT 5357178 SOS 1131026 HAS SOPS 1131026 HAS SOUS 900531 HAS SOUPS 900531 WITH SCORE 901662.026
AT ITER 1134 NEW BEST:: SOT 5357038 SOS 1130886 HAS SOPS 1130886 HAS SOUS 900384 HAS SOUPS 900384 WITH SCORE 901514.886
AT ITER 1168 NEW BEST:: SOT 5356919 SOS 1130777 HAS SOPS 1130777 HAS SOUS 900345 HAS SOUPS 900345 WITH SCORE 901475.777
AT ITER 1177 NEW BEST:: SOT 5356919 SOS 1130776 HAS SOPS 1130776 HAS SOUS 900344 HAS SOUPS 900344 WITH SCORE 901474.776
AT ITER 1192 NEW BEST:: SOT 5356880 SOS 1130698 HAS SOPS 1130698 HAS SOUS 900304 HAS SOUPS 900304 WITH SCORE 901434.698
AT ITER 1198 NEW BEST:: SOT 5356611 SOS 1130440 HAS SOPS 1130440 HAS SOUS 900046 HAS SOUPS 900046 WITH SCORE 901176.44
AT ITER 1218 NEW BEST:: SOT 5356611 SOS 1130317 HAS SOPS 1130317 HAS SOUS 899922 HAS SOUPS 899922 WITH SCORE 901052.317
AT ITER 1219 NEW BEST:: SOT 5356611 SOS 1130276 HAS SOPS 1130276 HAS SOUS 899881 HAS SOUPS 899881 WITH SCORE 901011.276
AT ITER 1221 NEW BEST:: SOT 5356491 SOS 1129970 HAS SOPS 1129970 HAS SOUS 899640 HAS SOUPS 899640 WITH SCORE 900769.97
AT ITER 1234 NEW BEST:: SOT 5356249 SOS 1129967 HAS SOPS 1129967 HAS SOUS 899639 HAS SOUPS 899639 WITH SCORE 900768.967
AT ITER 1239 NEW BEST:: SOT 5356249 SOS 1129967 HAS SOPS 1129967 HAS SOUS 899637 HAS SOUPS 899637 WITH SCORE 900766.967
AT ITER 1248 NEW BEST:: SOT 5356103 SOS 1129675 HAS SOPS 1129675 HAS SOUS 899345 HAS SOUPS 899345 WITH SCORE 900474.675
AT ITER 1249 NEW BEST:: SOT 5355754 SOS 1129326 HAS SOPS 1129326 HAS SOUS 898996 HAS SOUPS 898996 WITH SCORE 900125.326
AT ITER 1266 NEW BEST:: SOT 5355754 SOS 1129426 HAS SOPS 1129426 HAS SOUS 898956 HAS SOUPS 898956 WITH SCORE 900085.426
AT ITER 1289 NEW BEST:: SOT 5355678 SOS 1129274 HAS SOPS 1129274 HAS SOUS 898804 HAS SOUPS 898804 WITH SCORE 899933.274
AT ITER 1293 NEW BEST:: SOT 5355678 SOS 1129146 HAS SOPS 1129146 HAS SOUS 898474 HAS SOUPS 898474 WITH SCORE 899603.146
AT ITER 1296 NEW BEST:: SOT 5355678 SOS 1129057 HAS SOPS 1129057 HAS SOUS 898471 HAS SOUPS 898471 WITH SCORE 899600.057
AT ITER 1301 NEW BEST:: SOT 5355569 SOS 1128807 HAS SOPS 1128807 HAS SOUS 898362 HAS SOUPS 898362 WITH SCORE 899490.807
AT ITER 1302 NEW BEST:: SOT 5355451 SOS 1128571 HAS SOPS 1128571 HAS SOUS 898126 HAS SOUPS 898126 WITH SCORE 899254.571
AT ITER 1308 NEW BEST:: SOT 5355451 SOS 1128571 HAS SOPS 1128571 HAS SOUS 898086 HAS SOUPS 898086 WITH SCORE 899214.571
AT ITER 1321 NEW BEST:: SOT 5355095 SOS 1128395 HAS SOPS 1128395 HAS SOUS 897730 HAS SOUPS 897730 WITH SCORE 898858.395
AT ITER 1330 NEW BEST:: SOT 5354780 SOS 1127959 HAS SOPS 1127959 HAS SOUS 897726 HAS SOUPS 897726 WITH SCORE 898853.959
AT ITER 1339 NEW BEST:: SOT 5354797 SOS 1127941 HAS SOPS 1127941 HAS SOUS 897708 HAS SOUPS 897708 WITH SCORE 898835.941
AT ITER 1344 NEW BEST:: SOT 5354272 SOS 1127416 HAS SOPS 1127416 HAS SOUS 897183 HAS SOUPS 897183 WITH SCORE 898310.416
AT ITER 1352 NEW BEST:: SOT 5354272 SOS 1127326 HAS SOPS 1127326 HAS SOUS 897182 HAS SOUPS 897182 WITH SCORE 898309.326
AT ITER 1360 NEW BEST:: SOT 5353940 SOS 1126658 HAS SOPS 1126658 HAS SOUS 896514 HAS SOUPS 896514 WITH SCORE 897640.658
AT ITER 1373 NEW BEST:: SOT 5353939 SOS 1126730 HAS SOPS 1126730 HAS SOUS 896512 HAS SOUPS 896512 WITH SCORE 897638.73
AT ITER 1461 NEW BEST:: SOT 5351411 SOS 1123995 HAS SOPS 1123995 HAS SOUS 896257 HAS SOUPS 896257 WITH SCORE 897380.995
AT ITER 1463 NEW BEST:: SOT 5351172 SOS 1123756 HAS SOPS 1123756 HAS SOUS 896014 HAS SOUPS 896014 WITH SCORE 897137.756
AT ITER 1473 NEW BEST:: SOT 5351098 SOS 1123719 HAS SOPS 1123719 HAS SOUS 895977 HAS SOUPS 895977 WITH SCORE 897100.719
AT ITER 1493 NEW BEST:: SOT 5350831 SOS 1123419 HAS SOPS 1123419 HAS SOUS 895671 HAS SOUPS 895671 WITH SCORE 896794.419
AT ITER 1498 NEW BEST:: SOT 5350481 SOS 1123150 HAS SOPS 1123150 HAS SOUS 895371 HAS SOUPS 895371 WITH SCORE 896494.15
AT ITER 1506 NEW BEST:: SOT 5350481 SOS 1123045 HAS SOPS 1123045 HAS SOUS 895266 HAS SOUPS 895266 WITH SCORE 896389.045
AT ITER 1514 NEW BEST:: SOT 5350480 SOS 1122970 HAS SOPS 1122970 HAS SOUS 895258 HAS SOUPS 895258 WITH SCORE 896380.97
AT ITER 1577 NEW BEST:: SOT 5347804 SOS 1145040 HAS SOPS 1145040 HAS SOUS 894329 HAS SOUPS 894329 WITH SCORE 895474.04
AT ITER 1587 NEW BEST:: SOT 5347651 SOS 1145023 HAS SOPS 1145023 HAS SOUS 894329 HAS SOUPS 894329 WITH SCORE 895474.023
AT ITER 1626 NEW BEST:: SOT 5347651 SOS 1144810 HAS SOPS 1144810 HAS SOUS 894329 HAS SOUPS 894329 WITH SCORE 895473.81
AT ITER 1633 NEW BEST:: SOT 5347651 SOS 1144170 HAS SOPS 1144170 HAS SOUS 894329 HAS SOUPS 894329 WITH SCORE 895473.17
AT ITER 1638 NEW BEST:: SOT 5347429 SOS 1143894 HAS SOPS 1143894 HAS SOUS 893607 HAS SOUPS 893607 WITH SCORE 894750.894
AT ITER 1652 NEW BEST:: SOT 5347207 SOS 1143859 HAS SOPS 1143859 HAS SOUS 893173 HAS SOUPS 893173 WITH SCORE 894316.859
AT ITER 1659 NEW BEST:: SOT 5347091 SOS 1144054 HAS SOPS 1144054 HAS SOUS 893104 HAS SOUPS 893104 WITH SCORE 894248.054
AT ITER 1662 NEW BEST:: SOT 5346964 SOS 1144033 HAS SOPS 1144033 HAS SOUS 893083 HAS SOUPS 893083 WITH SCORE 894227.033
AT ITER 1665 NEW BEST:: SOT 5346964 SOS 1143828 HAS SOPS 1143828 HAS SOUS 893068 HAS SOUPS 893068 WITH SCORE 894211.828
AT ITER 1666 NEW BEST:: SOT 5346964 SOS 1143268 HAS SOPS 1143268 HAS SOUS 893068 HAS SOUPS 893068 WITH SCORE 894211.268
AT ITER 1682 NEW BEST:: SOT 5346784 SOS 1143126 HAS SOPS 1143126 HAS SOUS 892926 HAS SOUPS 892926 WITH SCORE 894069.126
AT ITER 1719 NEW BEST:: SOT 5346710 SOS 1142917 HAS SOPS 1142917 HAS SOUS 892717 HAS SOUPS 892717 WITH SCORE 893859.917
AT ITER 1796 NEW BEST:: SOT 5346577 SOS 1142851 HAS SOPS 1142851 HAS SOUS 892651 HAS SOUPS 892651 WITH SCORE 893793.851
AT ITER 1797 NEW BEST:: SOT 5346529 SOS 1142563 HAS SOPS 1142563 HAS SOUS 892421 HAS SOUPS 892421 WITH SCORE 893563.563
AT ITER 1805 NEW BEST:: SOT 5346529 SOS 1142249 HAS SOPS 1142249 HAS SOUS 892421 HAS SOUPS 892421 WITH SCORE 893563.249
AT ITER 1846 NEW BEST:: SOT 5346165 SOS 1142100 HAS SOPS 1142100 HAS SOUS 892160 HAS SOUPS 892160 WITH SCORE 893302.1
AT ITER 1879 NEW BEST:: SOT 5345966 SOS 1141551 HAS SOPS 1141551 HAS SOUS 891952 HAS SOUPS 891952 WITH SCORE 893093.551
AT ITER 1891 NEW BEST:: SOT 5345805 SOS 1141365 HAS SOPS 1141365 HAS SOUS 891831 HAS SOUPS 891831 WITH SCORE 892972.365
AT ITER 1897 NEW BEST:: SOT 5345805 SOS 1141365 HAS SOPS 1141365 HAS SOUS 891823 HAS SOUPS 891823 WITH SCORE 892964.365
AT ITER 1901 NEW BEST:: SOT 5345584 SOS 1140891 HAS SOPS 1140891 HAS SOUS 891349 HAS SOUPS 891349 WITH SCORE 892489.891
AT ITER 1935 NEW BEST:: SOT 5345350 SOS 1140736 HAS SOPS 1140736 HAS SOUS 891194 HAS SOUPS 891194 WITH SCORE 892334.736
AT ITER 1936 NEW BEST:: SOT 5345322 SOS 1140680 HAS SOPS 1140680 HAS SOUS 891075 HAS SOUPS 891075 WITH SCORE 892215.68
AT ITER 1953 NEW BEST:: SOT 5345322 SOS 1140965 HAS SOPS 1140965 HAS SOUS 891052 HAS SOUPS 891052 WITH SCORE 892192.965
AT ITER 1960 NEW BEST:: SOT 5344974 SOS 1140582 HAS SOPS 1140582 HAS SOUS 890704 HAS SOUPS 890704 WITH SCORE 891844.582
AT ITER 1984 NEW BEST:: SOT 5344974 SOS 1140447 HAS SOPS 1140447 HAS SOUS 890569 HAS SOUPS 890569 WITH SCORE 891709.447
AT ITER 1988 NEW BEST:: SOT 5344973 SOS 1140259 HAS SOPS 1140259 HAS SOUS 890567 HAS SOUPS 890567 WITH SCORE 891707.259
AT ITER 1990 NEW BEST:: SOT 5344973 SOS 1140259 HAS SOPS 1140259 HAS SOUS 890565 HAS SOUPS 890565 WITH SCORE 891705.259
AT ITER 2023 NEW BEST:: SOT 5344967 SOS 1139984 HAS SOPS 1139984 HAS SOUS 890290 HAS SOUPS 890290 WITH SCORE 891429.984
AT ITER 2040 NEW BEST:: SOT 5343050 SOS 1142526 HAS SOPS 1142526 HAS SOUS 889233 HAS SOUPS 889233 WITH SCORE 890375.526
AT ITER 2047 NEW BEST:: SOT 5342906 SOS 1142382 HAS SOPS 1142382 HAS SOUS 889088 HAS SOUPS 889088 WITH SCORE 890230.382
AT ITER 2051 NEW BEST:: SOT 5342906 SOS 1142317 HAS SOPS 1142317 HAS SOUS 889088 HAS SOUPS 889088 WITH SCORE 890230.317
AT ITER 2085 NEW BEST:: SOT 5342906 SOS 1142316 HAS SOPS 1142316 HAS SOUS 889087 HAS SOUPS 889087 WITH SCORE 890229.316
AT ITER 2087 NEW BEST:: SOT 5342881 SOS 1142064 HAS SOPS 1142064 HAS SOUS 889059 HAS SOUPS 889059 WITH SCORE 890201.064
AT ITER 2090 NEW BEST:: SOT 5342656 SOS 1144188 HAS SOPS 1144188 HAS SOUS 889002 HAS SOUPS 889002 WITH SCORE 890146.188
AT ITER 2169 NEW BEST:: SOT 5342776 SOS 1144174 HAS SOPS 1144174 HAS SOUS 888911 HAS SOUPS 888911 WITH SCORE 890055.174
AT ITER 2187 NEW BEST:: SOT 5342524 SOS 1143418 HAS SOPS 1143418 HAS SOUS 888403 HAS SOUPS 888403 WITH SCORE 889546.418
AT ITER 2201 NEW BEST:: SOT 5342255 SOS 1142994 HAS SOPS 1142994 HAS SOUS 887978 HAS SOUPS 887978 WITH SCORE 889120.994
AT ITER 2214 NEW BEST:: SOT 5341670 SOS 1142799 HAS SOPS 1142799 HAS SOUS 887393 HAS SOUPS 887393 WITH SCORE 888535.799
AT ITER 2225 NEW BEST:: SOT 5341583 SOS 1142625 HAS SOPS 1142625 HAS SOUS 887304 HAS SOUPS 887304 WITH SCORE 888446.625
AT ITER 2245 NEW BEST:: SOT 5341575 SOS 1142617 HAS SOPS 1142617 HAS SOUS 887296 HAS SOUPS 887296 WITH SCORE 888438.617
AT ITER 2293 NEW BEST:: SOT 5341293 SOS 1142231 HAS SOPS 1142231 HAS SOUS 886628 HAS SOUPS 886628 WITH SCORE 887770.231
AT ITER 2302 NEW BEST:: SOT 5340856 SOS 1142217 HAS SOPS 1142217 HAS SOUS 886377 HAS SOUPS 886377 WITH SCORE 887519.217
AT ITER 2313 NEW BEST:: SOT 5340856 SOS 1142057 HAS SOPS 1142057 HAS SOUS 886376 HAS SOUPS 886376 WITH SCORE 887518.057
AT ITER 2319 NEW BEST:: SOT 5340856 SOS 1142019 HAS SOPS 1142019 HAS SOUS 886376 HAS SOUPS 886376 WITH SCORE 887518.019
AT ITER 2330 NEW BEST:: SOT 5340532 SOS 1139776 HAS SOPS 1139776 HAS SOUS 885783 HAS SOUPS 885783 WITH SCORE 886922.776
AT ITER 2332 NEW BEST:: SOT 5340387 SOS 1141582 HAS SOPS 1141582 HAS SOUS 885755 HAS SOUPS 885755 WITH SCORE 886896.582
AT ITER 2340 NEW BEST:: SOT 5339946 SOS 1140771 HAS SOPS 1140771 HAS SOUS 884960 HAS SOUPS 884960 WITH SCORE 886100.771
AT ITER 2352 NEW BEST:: SOT 5339826 SOS 1140531 HAS SOPS 1140531 HAS SOUS 884720 HAS SOUPS 884720 WITH SCORE 885860.531
AT ITER 2364 NEW BEST:: SOT 5339623 SOS 1140123 HAS SOPS 1140123 HAS SOUS 884312 HAS SOUPS 884312 WITH SCORE 885452.123
AT ITER 2394 NEW BEST:: SOT 5339623 SOS 1139903 HAS SOPS 1139903 HAS SOUS 884312 HAS SOUPS 884312 WITH SCORE 885451.903
AT ITER 2398 NEW BEST:: SOT 5339432 SOS 1139425 HAS SOPS 1139425 HAS SOUS 883834 HAS SOUPS 883834 WITH SCORE 884973.425
AT ITER 2438 NEW BEST:: SOT 5339432 SOS 1139006 HAS SOPS 1139006 HAS SOUS 883415 HAS SOUPS 883415 WITH SCORE 884554.006
AT ITER 2455 NEW BEST:: SOT 5339431 SOS 1138847 HAS SOPS 1138847 HAS SOUS 883256 HAS SOUPS 883256 WITH SCORE 884394.847
AT ITER 2484 NEW BEST:: SOT 5339275 SOS 1138587 HAS SOPS 1138587 HAS SOUS 883074 HAS SOUPS 883074 WITH SCORE 884212.587
AT ITER 2489 NEW BEST:: SOT 5339235 SOS 1138487 HAS SOPS 1138487 HAS SOUS 882974 HAS SOUPS 882974 WITH SCORE 884112.487
AT ITER 2492 NEW BEST:: SOT 5339144 SOS 1138299 HAS SOPS 1138299 HAS SOUS 882786 HAS SOUPS 882786 WITH SCORE 883924.299
AT ITER 2502 NEW BEST:: SOT 5338927 SOS 1137864 HAS SOPS 1137864 HAS SOUS 882351 HAS SOUPS 882351 WITH SCORE 883488.864
AT ITER 2505 NEW BEST:: SOT 5338926 SOS 1137717 HAS SOPS 1137717 HAS SOUS 882348 HAS SOUPS 882348 WITH SCORE 883485.717
AT ITER 2513 NEW BEST:: SOT 5338757 SOS 1137379 HAS SOPS 1137379 HAS SOUS 882010 HAS SOUPS 882010 WITH SCORE 883147.379
AT ITER 2514 NEW BEST:: SOT 5338672 SOS 1137209 HAS SOPS 1137209 HAS SOUS 881840 HAS SOUPS 881840 WITH SCORE 882977.209
AT ITER 2539 NEW BEST:: SOT 5338672 SOS 1137066 HAS SOPS 1137066 HAS SOUS 881840 HAS SOUPS 881840 WITH SCORE 882977.066
AT ITER 2582 NEW BEST:: SOT 5338502 SOS 1136539 HAS SOPS 1136539 HAS SOUS 881500 HAS SOUPS 881500 WITH SCORE 882636.539
AT ITER 2598 NEW BEST:: SOT 5338352 SOS 1136370 HAS SOPS 1136370 HAS SOUS 881331 HAS SOUPS 881331 WITH SCORE 882467.37
AT ITER 2601 NEW BEST:: SOT 5338327 SOS 1136114 HAS SOPS 1136114 HAS SOUS 881264 HAS SOUPS 881264 WITH SCORE 882400.114
AT ITER 2605 NEW BEST:: SOT 5338327 SOS 1136113 HAS SOPS 1136113 HAS SOUS 881263 HAS SOUPS 881263 WITH SCORE 882399.113
AT ITER 2617 NEW BEST:: SOT 5338065 SOS 1134618 HAS SOPS 1134618 HAS SOUS 880918 HAS SOUPS 880918 WITH SCORE 882052.618
AT ITER 2632 NEW BEST:: SOT 5338064 SOS 1134616 HAS SOPS 1134616 HAS SOUS 880916 HAS SOUPS 880916 WITH SCORE 882050.616
AT ITER 2633 NEW BEST:: SOT 5337668 SOS 1134301 HAS SOPS 1134301 HAS SOUS 880520 HAS SOUPS 880520 WITH SCORE 881654.301
AT ITER 2659 NEW BEST:: SOT 5337668 SOS 1133975 HAS SOPS 1133975 HAS SOUS 880194 HAS SOUPS 880194 WITH SCORE 881327.975
AT ITER 2683 NEW BEST:: SOT 5337544 SOS 1133726 HAS SOPS 1133726 HAS SOUS 880050 HAS SOUPS 880050 WITH SCORE 881183.726
AT ITER 2720 NEW BEST:: SOT 5337511 SOS 1133693 HAS SOPS 1133693 HAS SOUS 880016 HAS SOUPS 880016 WITH SCORE 881149.693
AT ITER 2726 NEW BEST:: SOT 5337509 SOS 1133291 HAS SOPS 1133291 HAS SOUS 880012 HAS SOUPS 880012 WITH SCORE 881145.291
AT ITER 2731 NEW BEST:: SOT 5336821 SOS 1132517 HAS SOPS 1132517 HAS SOUS 879926 HAS SOUPS 879926 WITH SCORE 881058.517
AT ITER 2748 NEW BEST:: SOT 5336477 SOS 1131819 HAS SOPS 1131819 HAS SOUS 879228 HAS SOUPS 879228 WITH SCORE 880359.819
AT ITER 2766 NEW BEST:: SOT 5336252 SOS 1131594 HAS SOPS 1131594 HAS SOUS 879150 HAS SOUPS 879150 WITH SCORE 880281.594
AT ITER 2769 NEW BEST:: SOT 5336191 SOS 1131427 HAS SOPS 1131427 HAS SOUS 879036 HAS SOUPS 879036 WITH SCORE 880167.427
AT ITER 2771 NEW BEST:: SOT 5336013 SOS 1131362 HAS SOPS 1131362 HAS SOUS 878938 HAS SOUPS 878938 WITH SCORE 880069.362
AT ITER 2776 NEW BEST:: SOT 5335863 SOS 1131212 HAS SOPS 1131212 HAS SOUS 878787 HAS SOUPS 878787 WITH SCORE 879918.212
AT ITER 2796 NEW BEST:: SOT 5335801 SOS 1131088 HAS SOPS 1131088 HAS SOUS 878663 HAS SOUPS 878663 WITH SCORE 879794.088
AT ITER 2804 NEW BEST:: SOT 5335594 SOS 1130674 HAS SOPS 1130674 HAS SOUS 878249 HAS SOUPS 878249 WITH SCORE 879379.674
AT ITER 2811 NEW BEST:: SOT 5334386 SOS 1129315 HAS SOPS 1129315 HAS SOUS 876889 HAS SOUPS 876889 WITH SCORE 878018.315
AT ITER 2832 NEW BEST:: SOT 5334265 SOS 1129766 HAS SOPS 1129766 HAS SOUS 876731 HAS SOUPS 876731 WITH SCORE 877860.766
AT ITER 2868 NEW BEST:: SOT 5334232 SOS 1130804 HAS SOPS 1130804 HAS SOUS 876614 HAS SOUPS 876614 WITH SCORE 877744.804
AT ITER 2875 NEW BEST:: SOT 5334232 SOS 1130404 HAS SOPS 1130404 HAS SOUS 876414 HAS SOUPS 876414 WITH SCORE 877544.404
AT ITER 2887 NEW BEST:: SOT 5334231 SOS 1130622 HAS SOPS 1130622 HAS SOUS 876380 HAS SOUPS 876380 WITH SCORE 877510.622
AT ITER 2895 NEW BEST:: SOT 5334104 SOS 1130483 HAS SOPS 1130483 HAS SOUS 876241 HAS SOUPS 876241 WITH SCORE 877371.483
AT ITER 2898 NEW BEST:: SOT 5334104 SOS 1130463 HAS SOPS 1130463 HAS SOUS 876221 HAS SOUPS 876221 WITH SCORE 877351.463
AT ITER 2935 NEW BEST:: SOT 5333984 SOS 1130223 HAS SOPS 1130223 HAS SOUS 876097 HAS SOUPS 876097 WITH SCORE 877227.223
AT ITER 2936 NEW BEST:: SOT 5333966 SOS 1130187 HAS SOPS 1130187 HAS SOUS 876061 HAS SOUPS 876061 WITH SCORE 877191.187
AT ITER 2944 NEW BEST:: SOT 5333966 SOS 1130155 HAS SOPS 1130155 HAS SOUS 876029 HAS SOUPS 876029 WITH SCORE 877159.155
AT ITER 2960 NEW BEST:: SOT 5333423 SOS 1129793 HAS SOPS 1129793 HAS SOUS 875667 HAS SOUPS 875667 WITH SCORE 876796.793
AT ITER 2995 NEW BEST:: SOT 5333341 SOS 1129728 HAS SOPS 1129728 HAS SOUS 875602 HAS SOUPS 875602 WITH SCORE 876731.728
AT ITER 3005 NEW BEST:: SOT 5333334 SOS 1129726 HAS SOPS 1129726 HAS SOUS 875600 HAS SOUPS 875600 WITH SCORE 876729.726
AT ITER 3009 NEW BEST:: SOT 5333024 SOS 1129310 HAS SOPS 1129310 HAS SOUS 875289 HAS SOUPS 875289 WITH SCORE 876418.31
AT ITER 3031 NEW BEST:: SOT 5332812 SOS 1129289 HAS SOPS 1129289 HAS SOUS 875251 HAS SOUPS 875251 WITH SCORE 876380.289
AT ITER 3034 NEW BEST:: SOT 5332649 SOS 1128963 HAS SOPS 1128963 HAS SOUS 874925 HAS SOUPS 874925 WITH SCORE 876053.963
AT ITER 3039 NEW BEST:: SOT 5332629 SOS 1128943 HAS SOPS 1128943 HAS SOUS 874905 HAS SOUPS 874905 WITH SCORE 876033.943
AT ITER 3059 NEW BEST:: SOT 5332399 SOS 1128880 HAS SOPS 1128880 HAS SOUS 874705 HAS SOUPS 874705 WITH SCORE 875833.88
AT ITER 3077 NEW BEST:: SOT 5332215 SOS 1128811 HAS SOPS 1128811 HAS SOUS 874579 HAS SOUPS 874579 WITH SCORE 875707.811
AT ITER 3080 NEW BEST:: SOT 5331853 SOS 1128830 HAS SOPS 1128830 HAS SOUS 874536 HAS SOUPS 874536 WITH SCORE 875664.83
AT ITER 3084 NEW BEST:: SOT 5331852 SOS 1128828 HAS SOPS 1128828 HAS SOUS 874534 HAS SOUPS 874534 WITH SCORE 875662.828
AT ITER 3086 NEW BEST:: SOT 5331689 SOS 1128656 HAS SOPS 1128656 HAS SOUS 874370 HAS SOUPS 874370 WITH SCORE 875498.656
AT ITER 3098 NEW BEST:: SOT 5331688 SOS 1128619 HAS SOPS 1128619 HAS SOUS 874333 HAS SOUPS 874333 WITH SCORE 875461.619
AT ITER 3105 NEW BEST:: SOT 5331555 SOS 1128972 HAS SOPS 1128972 HAS SOUS 874028 HAS SOUPS 874028 WITH SCORE 875156.972
AT ITER 3110 NEW BEST:: SOT 5331555 SOS 1129066 HAS SOPS 1129066 HAS SOUS 873969 HAS SOUPS 873969 WITH SCORE 875098.066
AT ITER 3122 NEW BEST:: SOT 5331542 SOS 1129040 HAS SOPS 1129040 HAS SOUS 873943 HAS SOUPS 873943 WITH SCORE 875072.04
AT ITER 3154 NEW BEST:: SOT 5330786 SOS 1128176 HAS SOPS 1128176 HAS SOUS 873943 HAS SOUPS 873943 WITH SCORE 875071.176
AT ITER 3162 NEW BEST:: SOT 5330785 SOS 1128175 HAS SOPS 1128175 HAS SOUS 873941 HAS SOUPS 873941 WITH SCORE 875069.175
AT ITER 3165 NEW BEST:: SOT 5330649 SOS 1127767 HAS SOPS 1127767 HAS SOUS 873791 HAS SOUPS 873791 WITH SCORE 874918.767
AT ITER 3209 NEW BEST:: SOT 5330446 SOS 1127379 HAS SOPS 1127379 HAS SOUS 873555 HAS SOUPS 873555 WITH SCORE 874682.379
AT ITER 3230 NEW BEST:: SOT 5330406 SOS 1127379 HAS SOPS 1127379 HAS SOUS 873450 HAS SOUPS 873450 WITH SCORE 874577.379
AT ITER 3263 NEW BEST:: SOT 5330331 SOS 1127304 HAS SOPS 1127304 HAS SOUS 873223 HAS SOUPS 873223 WITH SCORE 874350.304
AT ITER 3269 NEW BEST:: SOT 5330236 SOS 1127116 HAS SOPS 1127116 HAS SOUS 873033 HAS SOUPS 873033 WITH SCORE 874160.116
AT ITER 3270 NEW BEST:: SOT 5330197 SOS 1127105 HAS SOPS 1127105 HAS SOUS 873021 HAS SOUPS 873021 WITH SCORE 874148.105
AT ITER 3294 NEW BEST:: SOT 5330195 SOS 1127144 HAS SOPS 1127144 HAS SOUS 872774 HAS SOUPS 872774 WITH SCORE 873901.144
AT ITER 3306 NEW BEST:: SOT 5330195 SOS 1127182 HAS SOPS 1127182 HAS SOUS 872773 HAS SOUPS 872773 WITH SCORE 873900.182
AT ITER 3333 NEW BEST:: SOT 5330179 SOS 1127060 HAS SOPS 1127060 HAS SOUS 872636 HAS SOUPS 872636 WITH SCORE 873763.06
AT ITER 3345 NEW BEST:: SOT 5330178 SOS 1127058 HAS SOPS 1127058 HAS SOUS 872634 HAS SOUPS 872634 WITH SCORE 873761.058
AT ITER 3349 NEW BEST:: SOT 5330132 SOS 1127012 HAS SOPS 1127012 HAS SOUS 872588 HAS SOUPS 872588 WITH SCORE 873715.012
AT ITER 3377 NEW BEST:: SOT 5329593 SOS 1126396 HAS SOPS 1126396 HAS SOUS 871972 HAS SOUPS 871972 WITH SCORE 873098.396
AT ITER 3393 NEW BEST:: SOT 5329334 SOS 1126023 HAS SOPS 1126023 HAS SOUS 871704 HAS SOUPS 871704 WITH SCORE 872830.023
AT ITER 3421 NEW BEST:: SOT 5329333 SOS 1126021 HAS SOPS 1126021 HAS SOUS 871702 HAS SOUPS 871702 WITH SCORE 872828.021
AT ITER 3430 NEW BEST:: SOT 5329236 SOS 1125827 HAS SOPS 1125827 HAS SOUS 871508 HAS SOUPS 871508 WITH SCORE 872633.827
AT ITER 3439 NEW BEST:: SOT 5328930 SOS 1125878 HAS SOPS 1125878 HAS SOUS 871202 HAS SOUPS 871202 WITH SCORE 872327.878
AT ITER 3445 NEW BEST:: SOT 5329122 SOS 1126069 HAS SOPS 1126069 HAS SOUS 871169 HAS SOUPS 871169 WITH SCORE 872295.069
AT ITER 3461 NEW BEST:: SOT 5329122 SOS 1126075 HAS SOPS 1126075 HAS SOUS 870569 HAS SOUPS 870569 WITH SCORE 871695.075
AT ITER 3470 NEW BEST:: SOT 5328910 SOS 1126053 HAS SOPS 1126053 HAS SOUS 870547 HAS SOUPS 870547 WITH SCORE 871673.053
AT ITER 3488 NEW BEST:: SOT 5328910 SOS 1126047 HAS SOPS 1126047 HAS SOUS 870541 HAS SOUPS 870541 WITH SCORE 871667.047
AT ITER 3497 NEW BEST:: SOT 5328910 SOS 1125919 HAS SOPS 1125919 HAS SOUS 870541 HAS SOUPS 870541 WITH SCORE 871666.919
AT ITER 3526 NEW BEST:: SOT 5328909 SOS 1125917 HAS SOPS 1125917 HAS SOUS 870539 HAS SOUPS 870539 WITH SCORE 871664.917
AT ITER 3531 NEW BEST:: SOT 5328909 SOS 1125951 HAS SOPS 1125951 HAS SOUS 870538 HAS SOUPS 870538 WITH SCORE 871663.951
AT ITER 3577 NEW BEST:: SOT 5328616 SOS 1125658 HAS SOPS 1125658 HAS SOUS 870044 HAS SOUPS 870044 WITH SCORE 871169.658
AT ITER 3600 NEW BEST:: SOT 5328616 SOS 1125617 HAS SOPS 1125617 HAS SOUS 870003 HAS SOUPS 870003 WITH SCORE 871128.617
AT ITER 3611 NEW BEST:: SOT 5328266 SOS 1124917 HAS SOPS 1124917 HAS SOUS 869303 HAS SOUPS 869303 WITH SCORE 870427.917
AT ITER 3626 NEW BEST:: SOT 5328181 SOS 1124819 HAS SOPS 1124819 HAS SOUS 869184 HAS SOUPS 869184 WITH SCORE 870308.819
AT ITER 3660 NEW BEST:: SOT 5327185 SOS 1124021 HAS SOPS 1124021 HAS SOUS 868357 HAS SOUPS 868357 WITH SCORE 869481.021
AT ITER 3661 NEW BEST:: SOT 5327058 SOS 1123689 HAS SOPS 1123689 HAS SOUS 868025 HAS SOUPS 868025 WITH SCORE 869148.689
AT ITER 3686 NEW BEST:: SOT 5327056 SOS 1123688 HAS SOPS 1123688 HAS SOUS 868021 HAS SOUPS 868021 WITH SCORE 869144.688
AT ITER 3724 NEW BEST:: SOT 5326871 SOS 1123478 HAS SOPS 1123478 HAS SOUS 867745 HAS SOUPS 867745 WITH SCORE 868868.478
AT ITER 3735 NEW BEST:: SOT 5326555 SOS 1122846 HAS SOPS 1122846 HAS SOUS 867113 HAS SOUPS 867113 WITH SCORE 868235.846
AT ITER 3756 NEW BEST:: SOT 5326532 SOS 1122800 HAS SOPS 1122800 HAS SOUS 867067 HAS SOUPS 867067 WITH SCORE 868189.8
AT ITER 3810 NEW BEST:: SOT 5326532 SOS 1123110 HAS SOPS 1123110 HAS SOUS 867006 HAS SOUPS 867006 WITH SCORE 868129.11
AT ITER 3815 NEW BEST:: SOT 5326307 SOS 1122459 HAS SOPS 1122459 HAS SOUS 866575 HAS SOUPS 866575 WITH SCORE 867697.459
AT ITER 3850 NEW BEST:: SOT 5326195 SOS 1122835 HAS SOPS 1122835 HAS SOUS 866425 HAS SOUPS 866425 WITH SCORE 867547.835
AT ITER 3858 NEW BEST:: SOT 5325926 SOS 1122520 HAS SOPS 1122520 HAS SOUS 866109 HAS SOUPS 866109 WITH SCORE 867231.52
AT ITER 3888 NEW BEST:: SOT 5325926 SOS 1122472 HAS SOPS 1122472 HAS SOUS 866060 HAS SOUPS 866060 WITH SCORE 867182.472
AT ITER 3889 NEW BEST:: SOT 5325856 SOS 1122262 HAS SOPS 1122262 HAS SOUS 865883 HAS SOUPS 865883 WITH SCORE 867005.262
AT ITER 3897 NEW BEST:: SOT 5325684 SOS 1121931 HAS SOPS 1121931 HAS SOUS 865550 HAS SOUPS 865550 WITH SCORE 866671.931
AT ITER 3902 NEW BEST:: SOT 5325684 SOS 1122015 HAS SOPS 1122015 HAS SOUS 864704 HAS SOUPS 864704 WITH SCORE 865826.015
AT ITER 3905 NEW BEST:: SOT 5325635 SOS 1122038 HAS SOPS 1122038 HAS SOUS 864654 HAS SOUPS 864654 WITH SCORE 865776.038
AT ITER 3914 NEW BEST:: SOT 5325527 SOS 1123047 HAS SOPS 1123047 HAS SOUS 864366 HAS SOUPS 864366 WITH SCORE 865489.047
AT ITER 3917 NEW BEST:: SOT 5325500 SOS 1123071 HAS SOPS 1123071 HAS SOUS 864304 HAS SOUPS 864304 WITH SCORE 865427.071
AT ITER 3958 NEW BEST:: SOT 5325468 SOS 1123041 HAS SOPS 1123041 HAS SOUS 864274 HAS SOUPS 864274 WITH SCORE 865397.041
AT ITER 3961 NEW BEST:: SOT 5325529 SOS 1122705 HAS SOPS 1122705 HAS SOUS 863938 HAS SOUPS 863938 WITH SCORE 865060.705
AT ITER 3977 NEW BEST:: SOT 5325424 SOS 1122373 HAS SOPS 1122373 HAS SOUS 863728 HAS SOUPS 863728 WITH SCORE 864850.373
AT ITER 3988 NEW BEST:: SOT 5325424 SOS 1122219 HAS SOPS 1122219 HAS SOUS 863710 HAS SOUPS 863710 WITH SCORE 864832.219
AT ITER 4007 NEW BEST:: SOT 5325303 SOS 1121977 HAS SOPS 1121977 HAS SOUS 863468 HAS SOUPS 863468 WITH SCORE 864589.977
AT ITER 4011 NEW BEST:: SOT 5325303 SOS 1121976 HAS SOPS 1121976 HAS SOUS 863467 HAS SOUPS 863467 WITH SCORE 864588.976
AT ITER 4026 NEW BEST:: SOT 5325165 SOS 1121935 HAS SOPS 1121935 HAS SOUS 863329 HAS SOUPS 863329 WITH SCORE 864450.935
AT ITER 4068 NEW BEST:: SOT 5324067 SOS 1123400 HAS SOPS 1123400 HAS SOUS 862763 HAS SOUPS 862763 WITH SCORE 863886.4
AT ITER 4092 NEW BEST:: SOT 5324067 SOS 1123400 HAS SOPS 1123400 HAS SOUS 862762 HAS SOUPS 862762 WITH SCORE 863885.4
AT ITER 4095 NEW BEST:: SOT 5324409 SOS 1126004 HAS SOPS 1126004 HAS SOUS 862704 HAS SOUPS 862704 WITH SCORE 863830.004
AT ITER 4110 NEW BEST:: SOT 5324370 SOS 1126570 HAS SOPS 1126570 HAS SOUS 862591 HAS SOUPS 862591 WITH SCORE 863717.57
AT ITER 4116 NEW BEST:: SOT 5324256 SOS 1126288 HAS SOPS 1126288 HAS SOUS 862445 HAS SOUPS 862445 WITH SCORE 863571.288
AT ITER 4133 NEW BEST:: SOT 5324077 SOS 1124175 HAS SOPS 1124175 HAS SOUS 862254 HAS SOUPS 862254 WITH SCORE 863378.175
AT ITER 4135 NEW BEST:: SOT 5323879 SOS 1123977 HAS SOPS 1123977 HAS SOUS 862056 HAS SOUPS 862056 WITH SCORE 863179.977
AT ITER 4160 NEW BEST:: SOT 5323879 SOS 1123976 HAS SOPS 1123976 HAS SOUS 862055 HAS SOUPS 862055 WITH SCORE 863178.976
AT ITER 4163 NEW BEST:: SOT 5323791 SOS 1123536 HAS SOPS 1123536 HAS SOUS 861879 HAS SOUPS 861879 WITH SCORE 863002.536
AT ITER 4172 NEW BEST:: SOT 5323402 SOS 1123147 HAS SOPS 1123147 HAS SOUS 861490 HAS SOUPS 861490 WITH SCORE 862613.147
AT ITER 4178 NEW BEST:: SOT 5323304 SOS 1122882 HAS SOPS 1122882 HAS SOUS 861197 HAS SOUPS 861197 WITH SCORE 862319.882
AT ITER 4189 NEW BEST:: SOT 5323303 SOS 1122862 HAS SOPS 1122862 HAS SOUS 861177 HAS SOUPS 861177 WITH SCORE 862299.862
AT ITER 4196 NEW BEST:: SOT 5323282 SOS 1122841 HAS SOPS 1122841 HAS SOUS 861163 HAS SOUPS 861163 WITH SCORE 862285.841
AT ITER 4197 NEW BEST:: SOT 5323146 SOS 1122681 HAS SOPS 1122681 HAS SOUS 861026 HAS SOUPS 861026 WITH SCORE 862148.681
AT ITER 4226 NEW BEST:: SOT 5322217 SOS 1125587 HAS SOPS 1125587 HAS SOUS 860893 HAS SOUPS 860893 WITH SCORE 862018.587
AT ITER 4252 NEW BEST:: SOT 5322217 SOS 1125388 HAS SOPS 1125388 HAS SOUS 860887 HAS SOUPS 860887 WITH SCORE 862012.388
AT ITER 4258 NEW BEST:: SOT 5322239 SOS 1125210 HAS SOPS 1125210 HAS SOUS 860881 HAS SOUPS 860881 WITH SCORE 862006.21
AT ITER 4266 NEW BEST:: SOT 5322239 SOS 1125074 HAS SOPS 1125074 HAS SOUS 860874 HAS SOUPS 860874 WITH SCORE 861999.074
AT ITER 4268 NEW BEST:: SOT 5322239 SOS 1124752 HAS SOPS 1124752 HAS SOUS 860874 HAS SOUPS 860874 WITH SCORE 861998.752
AT ITER 4279 NEW BEST:: SOT 5322204 SOS 1124634 HAS SOPS 1124634 HAS SOUS 860756 HAS SOUPS 860756 WITH SCORE 861880.634
AT ITER 4303 NEW BEST:: SOT 5322498 SOS 1124406 HAS SOPS 1124406 HAS SOUS 860588 HAS SOUPS 860588 WITH SCORE 861712.406
AT ITER 4309 NEW BEST:: SOT 5322280 SOS 1124269 HAS SOPS 1124269 HAS SOUS 860410 HAS SOUPS 860410 WITH SCORE 861534.269
AT ITER 4326 NEW BEST:: SOT 5322280 SOS 1124180 HAS SOPS 1124180 HAS SOUS 860409 HAS SOUPS 860409 WITH SCORE 861533.18
AT ITER 4376 NEW BEST:: SOT 5322254 SOS 1124128 HAS SOPS 1124128 HAS SOUS 860357 HAS SOUPS 860357 WITH SCORE 861481.128
AT ITER 4408 NEW BEST:: SOT 5322121 SOS 1123976 HAS SOPS 1123976 HAS SOUS 860219 HAS SOUPS 860219 WITH SCORE 861342.976
AT ITER 4448 NEW BEST:: SOT 5321576 SOS 1124175 HAS SOPS 1124175 HAS SOUS 859814 HAS SOUPS 859814 WITH SCORE 860938.175
AT ITER 4466 NEW BEST:: SOT 5321622 SOS 1124060 HAS SOPS 1124060 HAS SOUS 859636 HAS SOUPS 859636 WITH SCORE 860760.06
AT ITER 4471 NEW BEST:: SOT 5320673 SOS 1123099 HAS SOPS 1123099 HAS SOUS 858653 HAS SOUPS 858653 WITH SCORE 859776.099
AT ITER 4493 NEW BEST:: SOT 5320675 SOS 1122915 HAS SOPS 1122915 HAS SOUS 858433 HAS SOUPS 858433 WITH SCORE 859555.915
AT ITER 4523 NEW BEST:: SOT 5320652 SOS 1122892 HAS SOPS 1122892 HAS SOUS 858410 HAS SOUPS 858410 WITH SCORE 859532.892
AT ITER 4536 NEW BEST:: SOT 5320313 SOS 1122535 HAS SOPS 1122535 HAS SOUS 858053 HAS SOUPS 858053 WITH SCORE 859175.535
AT ITER 4548 NEW BEST:: SOT 5319846 SOS 1122068 HAS SOPS 1122068 HAS SOUS 857586 HAS SOUPS 857586 WITH SCORE 858708.068
AT ITER 4551 NEW BEST:: SOT 5319787 SOS 1121879 HAS SOPS 1121879 HAS SOUS 857468 HAS SOUPS 857468 WITH SCORE 858589.879
AT ITER 4568 NEW BEST:: SOT 5319786 SOS 1121876 HAS SOPS 1121876 HAS SOUS 857465 HAS SOUPS 857465 WITH SCORE 858586.876
AT ITER 4584 NEW BEST:: SOT 5319491 SOS 1121459 HAS SOPS 1121459 HAS SOUS 857309 HAS SOUPS 857309 WITH SCORE 858430.459
AT ITER 4592 NEW BEST:: SOT 5319571 SOS 1121337 HAS SOPS 1121337 HAS SOUS 857187 HAS SOUPS 857187 WITH SCORE 858308.337
AT ITER 4642 NEW BEST:: SOT 5319570 SOS 1121387 HAS SOPS 1121387 HAS SOUS 857134 HAS SOUPS 857134 WITH SCORE 858255.387
AT ITER 4675 NEW BEST:: SOT 5319478 SOS 1121303 HAS SOPS 1121303 HAS SOUS 857050 HAS SOUPS 857050 WITH SCORE 858171.303
AT ITER 4681 NEW BEST:: SOT 5319415 SOS 1121177 HAS SOPS 1121177 HAS SOUS 856924 HAS SOUPS 856924 WITH SCORE 858045.177
AT ITER 4712 NEW BEST:: SOT 5319173 SOS 1120596 HAS SOPS 1120596 HAS SOUS 856343 HAS SOUPS 856343 WITH SCORE 857463.596
AT ITER 4744 NEW BEST:: SOT 5319170 SOS 1120590 HAS SOPS 1120590 HAS SOUS 856340 HAS SOUPS 856340 WITH SCORE 857460.59
AT ITER 4784 NEW BEST:: SOT 5319268 SOS 1120593 HAS SOPS 1120593 HAS SOUS 856222 HAS SOUPS 856222 WITH SCORE 857342.593
AT ITER 4785 NEW BEST:: SOT 5319266 SOS 1120589 HAS SOPS 1120589 HAS SOUS 856218 HAS SOUPS 856218 WITH SCORE 857338.589
AT ITER 4815 NEW BEST:: SOT 5318856 SOS 1119769 HAS SOPS 1119769 HAS SOUS 855808 HAS SOUPS 855808 WITH SCORE 856927.769
AT ITER 4816 NEW BEST:: SOT 5318849 SOS 1119755 HAS SOPS 1119755 HAS SOUS 855773 HAS SOUPS 855773 WITH SCORE 856892.755
AT ITER 4824 NEW BEST:: SOT 5318849 SOS 1119638 HAS SOPS 1119638 HAS SOUS 855695 HAS SOUPS 855695 WITH SCORE 856814.638
AT ITER 4833 NEW BEST:: SOT 5318540 SOS 1119727 HAS SOPS 1119727 HAS SOUS 855574 HAS SOUPS 855574 WITH SCORE 856693.727
AT ITER 4836 NEW BEST:: SOT 5318439 SOS 1119769 HAS SOPS 1119769 HAS SOUS 855480 HAS SOUPS 855480 WITH SCORE 856599.769
AT ITER 4841 NEW BEST:: SOT 5318417 SOS 1119758 HAS SOPS 1119758 HAS SOUS 855469 HAS SOUPS 855469 WITH SCORE 856588.758
AT ITER 4846 NEW BEST:: SOT 5318245 SOS 1117270 HAS SOPS 1117270 HAS SOUS 855125 HAS SOUPS 855125 WITH SCORE 856242.27
AT ITER 4860 NEW BEST:: SOT 5317839 SOS 1117081 HAS SOPS 1117081 HAS SOUS 854935 HAS SOUPS 854935 WITH SCORE 856052.081
AT ITER 4863 NEW BEST:: SOT 5317100 SOS 1117594 HAS SOPS 1117594 HAS SOUS 854377 HAS SOUPS 854377 WITH SCORE 855494.594
AT ITER 4879 NEW BEST:: SOT 5316928 SOS 1116931 HAS SOPS 1116931 HAS SOUS 853810 HAS SOUPS 853810 WITH SCORE 854926.931
AT ITER 4890 NEW BEST:: SOT 5316928 SOS 1116919 HAS SOPS 1116919 HAS SOUS 853809 HAS SOUPS 853809 WITH SCORE 854925.919
AT ITER 4908 NEW BEST:: SOT 5316827 SOS 1116407 HAS SOPS 1116407 HAS SOUS 853607 HAS SOUPS 853607 WITH SCORE 854723.407
AT ITER 4924 NEW BEST:: SOT 5316778 SOS 1116358 HAS SOPS 1116358 HAS SOUS 853411 HAS SOUPS 853411 WITH SCORE 854527.358
AT ITER 4964 NEW BEST:: SOT 5316607 SOS 1116301 HAS SOPS 1116301 HAS SOUS 853238 HAS SOUPS 853238 WITH SCORE 854354.301
AT ITER 5077 NEW BEST:: SOT 5316516 SOS 1116119 HAS SOPS 1116119 HAS SOUS 853056 HAS SOUPS 853056 WITH SCORE 854172.119
AT ITER 5081 NEW BEST:: SOT 5316516 SOS 1115750 HAS SOPS 1115750 HAS SOUS 853056 HAS SOUPS 853056 WITH SCORE 854171.75
AT ITER 5085 NEW BEST:: SOT 5316419 SOS 1115653 HAS SOPS 1115653 HAS SOUS 852959 HAS SOUPS 852959 WITH SCORE 854074.653
AT ITER 5094 NEW BEST:: SOT 5316342 SOS 1115570 HAS SOPS 1115570 HAS SOUS 852876 HAS SOUPS 852876 WITH SCORE 853991.57
AT ITER 5116 NEW BEST:: SOT 5316342 SOS 1115129 HAS SOPS 1115129 HAS SOUS 852876 HAS SOUPS 852876 WITH SCORE 853991.129
AT ITER 5135 NEW BEST:: SOT 5316307 SOS 1115059 HAS SOPS 1115059 HAS SOUS 852806 HAS SOUPS 852806 WITH SCORE 853921.059
AT ITER 5140 NEW BEST:: SOT 5315625 SOS 1114346 HAS SOPS 1114346 HAS SOUS 852103 HAS SOUPS 852103 WITH SCORE 853217.346
AT ITER 5148 NEW BEST:: SOT 5315625 SOS 1114346 HAS SOPS 1114346 HAS SOUS 852045 HAS SOUPS 852045 WITH SCORE 853159.346
AT ITER 5151 NEW BEST:: SOT 5315560 SOS 1114246 HAS SOPS 1114246 HAS SOUS 851945 HAS SOUPS 851945 WITH SCORE 853059.246
AT ITER 5158 NEW BEST:: SOT 5315257 SOS 1113634 HAS SOPS 1113634 HAS SOUS 851333 HAS SOUPS 851333 WITH SCORE 852446.634
AT ITER 5206 NEW BEST:: SOT 5315181 SOS 1113482 HAS SOPS 1113482 HAS SOUS 851181 HAS SOUPS 851181 WITH SCORE 852294.482
AT ITER 5211 NEW BEST:: SOT 5315108 SOS 1113430 HAS SOPS 1113430 HAS SOUS 851134 HAS SOUPS 851134 WITH SCORE 852247.43
AT ITER 5221 NEW BEST:: SOT 5315108 SOS 1113429 HAS SOPS 1113429 HAS SOUS 851133 HAS SOUPS 851133 WITH SCORE 852246.429
AT ITER 5267 NEW BEST:: SOT 5315155 SOS 1113415 HAS SOPS 1113415 HAS SOUS 851104 HAS SOUPS 851104 WITH SCORE 852217.415
AT ITER 5268 NEW BEST:: SOT 5315155 SOS 1113369 HAS SOPS 1113369 HAS SOUS 850880 HAS SOUPS 850880 WITH SCORE 851993.369
AT ITER 5287 NEW BEST:: SOT 5315069 SOS 1113283 HAS SOPS 1113283 HAS SOUS 850801 HAS SOUPS 850801 WITH SCORE 851914.283
AT ITER 5302 NEW BEST:: SOT 5315069 SOS 1113272 HAS SOPS 1113272 HAS SOUS 850758 HAS SOUPS 850758 WITH SCORE 851871.272
AT ITER 5313 NEW BEST:: SOT 5315039 SOS 1113294 HAS SOPS 1113294 HAS SOUS 850675 HAS SOUPS 850675 WITH SCORE 851788.294
AT ITER 5315 NEW BEST:: SOT 5314862 SOS 1113034 HAS SOPS 1113034 HAS SOUS 850618 HAS SOUPS 850618 WITH SCORE 851731.034
AT ITER 5318 NEW BEST:: SOT 5314710 SOS 1113236 HAS SOPS 1113236 HAS SOUS 850565 HAS SOUPS 850565 WITH SCORE 851678.236
AT ITER 5339 NEW BEST:: SOT 5314827 SOS 1113017 HAS SOPS 1113017 HAS SOUS 850466 HAS SOUPS 850466 WITH SCORE 851579.017
AT ITER 5380 NEW BEST:: SOT 5314495 SOS 1112337 HAS SOPS 1112337 HAS SOUS 849927 HAS SOUPS 849927 WITH SCORE 851039.337
AT ITER 5418 NEW BEST:: SOT 5314515 SOS 1112178 HAS SOPS 1112178 HAS SOUS 849919 HAS SOUPS 849919 WITH SCORE 851031.178
AT ITER 5432 NEW BEST:: SOT 5314515 SOS 1112178 HAS SOPS 1112178 HAS SOUS 849793 HAS SOUPS 849793 WITH SCORE 850905.178
AT ITER 5436 NEW BEST:: SOT 5314467 SOS 1112129 HAS SOPS 1112129 HAS SOUS 849760 HAS SOUPS 849760 WITH SCORE 850872.129
AT ITER 5453 NEW BEST:: SOT 5314441 SOS 1112110 HAS SOPS 1112110 HAS SOUS 849722 HAS SOUPS 849722 WITH SCORE 850834.11
AT ITER 5493 NEW BEST:: SOT 5314164 SOS 1111833 HAS SOPS 1111833 HAS SOUS 849444 HAS SOUPS 849444 WITH SCORE 850555.833
AT ITER 5497 NEW BEST:: SOT 5314004 SOS 1112173 HAS SOPS 1112173 HAS SOUS 849367 HAS SOUPS 849367 WITH SCORE 850479.173
AT ITER 5501 NEW BEST:: SOT 5313604 SOS 1112443 HAS SOPS 1112443 HAS SOUS 849076 HAS SOUPS 849076 WITH SCORE 850188.443
AT ITER 5583 NEW BEST:: SOT 5313604 SOS 1112422 HAS SOPS 1112422 HAS SOUS 849043 HAS SOUPS 849043 WITH SCORE 850155.422
AT ITER 5612 NEW BEST:: SOT 5313139 SOS 1111205 HAS SOPS 1111205 HAS SOUS 848323 HAS SOUPS 848323 WITH SCORE 849434.205
AT ITER 5633 NEW BEST:: SOT 5313113 SOS 1111361 HAS SOPS 1111361 HAS SOUS 848297 HAS SOUPS 848297 WITH SCORE 849408.361
AT ITER 5640 NEW BEST:: SOT 5313045 SOS 1111225 HAS SOPS 1111225 HAS SOUS 848161 HAS SOUPS 848161 WITH SCORE 849272.225
AT ITER 5648 NEW BEST:: SOT 5312370 SOS 1110294 HAS SOPS 1110294 HAS SOUS 847230 HAS SOUPS 847230 WITH SCORE 848340.294
AT ITER 5657 NEW BEST:: SOT 5312424 SOS 1110218 HAS SOPS 1110218 HAS SOUS 847154 HAS SOUPS 847154 WITH SCORE 848264.218
AT ITER 5661 NEW BEST:: SOT 5312242 SOS 1110034 HAS SOPS 1110034 HAS SOUS 846788 HAS SOUPS 846788 WITH SCORE 847898.034
AT ITER 5679 NEW BEST:: SOT 5312216 SOS 1109803 HAS SOPS 1109803 HAS SOUS 846753 HAS SOUPS 846753 WITH SCORE 847862.803
AT ITER 5689 NEW BEST:: SOT 5312223 SOS 1109550 HAS SOPS 1109550 HAS SOUS 846445 HAS SOUPS 846445 WITH SCORE 847554.55
AT ITER 5727 NEW BEST:: SOT 5312193 SOS 1109490 HAS SOPS 1109490 HAS SOUS 846385 HAS SOUPS 846385 WITH SCORE 847494.49
AT ITER 5730 NEW BEST:: SOT 5312179 SOS 1109614 HAS SOPS 1109614 HAS SOUS 846355 HAS SOUPS 846355 WITH SCORE 847464.614
AT ITER 5751 NEW BEST:: SOT 5312179 SOS 1109594 HAS SOPS 1109594 HAS SOUS 846335 HAS SOUPS 846335 WITH SCORE 847444.594
AT ITER 5752 NEW BEST:: SOT 5311879 SOS 1109294 HAS SOPS 1109294 HAS SOUS 846035 HAS SOUPS 846035 WITH SCORE 847144.294
AT ITER 5766 NEW BEST:: SOT 5311873 SOS 1109128 HAS SOPS 1109128 HAS SOUS 845869 HAS SOUPS 845869 WITH SCORE 846978.128
AT ITER 5810 NEW BEST:: SOT 5311873 SOS 1109127 HAS SOPS 1109127 HAS SOUS 845868 HAS SOUPS 845868 WITH SCORE 846977.127
AT ITER 5870 NEW BEST:: SOT 5311872 SOS 1109056 HAS SOPS 1109056 HAS SOUS 845864 HAS SOUPS 845864 WITH SCORE 846973.056
AT ITER 5874 NEW BEST:: SOT 5311872 SOS 1108952 HAS SOPS 1108952 HAS SOUS 845760 HAS SOUPS 845760 WITH SCORE 846868.952
AT ITER 5885 NEW BEST:: SOT 5311872 SOS 1109038 HAS SOPS 1109038 HAS SOUS 845536 HAS SOUPS 845536 WITH SCORE 846645.038
AT ITER 5898 NEW BEST:: SOT 5311424 SOS 1108136 HAS SOPS 1108136 HAS SOUS 844879 HAS SOUPS 844879 WITH SCORE 845987.136
AT ITER 5899 NEW BEST:: SOT 5311424 SOS 1108136 HAS SOPS 1108136 HAS SOUS 844877 HAS SOUPS 844877 WITH SCORE 845985.136
AT ITER 5918 NEW BEST:: SOT 5311391 SOS 1107977 HAS SOPS 1107977 HAS SOUS 844718 HAS SOUPS 844718 WITH SCORE 845825.977
AT ITER 5935 NEW BEST:: SOT 5311187 SOS 1107385 HAS SOPS 1107385 HAS SOUS 844310 HAS SOUPS 844310 WITH SCORE 845417.385
AT ITER 5962 NEW BEST:: SOT 5311000 SOS 1106997 HAS SOPS 1106997 HAS SOUS 844107 HAS SOUPS 844107 WITH SCORE 845213.997
AT ITER 5970 NEW BEST:: SOT 5310947 SOS 1106838 HAS SOPS 1106838 HAS SOUS 844001 HAS SOUPS 844001 WITH SCORE 845107.838
AT ITER 5974 NEW BEST:: SOT 5310844 SOS 1106735 HAS SOPS 1106735 HAS SOUS 843898 HAS SOUPS 843898 WITH SCORE 845004.735
AT ITER 5989 NEW BEST:: SOT 5310388 SOS 1106940 HAS SOPS 1106940 HAS SOUS 843659 HAS SOUPS 843659 WITH SCORE 844765.94
AT ITER 5995 NEW BEST:: SOT 5310251 SOS 1106666 HAS SOPS 1106666 HAS SOUS 843385 HAS SOUPS 843385 WITH SCORE 844491.666
AT ITER 6038 NEW BEST:: SOT 5310185 SOS 1106498 HAS SOPS 1106498 HAS SOUS 843217 HAS SOUPS 843217 WITH SCORE 844323.498
AT ITER 6101 NEW BEST:: SOT 5310185 SOS 1106745 HAS SOPS 1106745 HAS SOUS 843187 HAS SOUPS 843187 WITH SCORE 844293.745
AT ITER 6102 NEW BEST:: SOT 5310133 SOS 1106641 HAS SOPS 1106641 HAS SOUS 843083 HAS SOUPS 843083 WITH SCORE 844189.641
AT ITER 6104 NEW BEST:: SOT 5309887 SOS 1106567 HAS SOPS 1106567 HAS SOUS 843009 HAS SOUPS 843009 WITH SCORE 844115.567
AT ITER 6138 NEW BEST:: SOT 5309827 SOS 1106372 HAS SOPS 1106372 HAS SOUS 842889 HAS SOUPS 842889 WITH SCORE 843995.372
AT ITER 6148 NEW BEST:: SOT 5309699 SOS 1106281 HAS SOPS 1106281 HAS SOUS 842798 HAS SOUPS 842798 WITH SCORE 843904.281
AT ITER 6185 NEW BEST:: SOT 5309557 SOS 1106068 HAS SOPS 1106068 HAS SOUS 842514 HAS SOUPS 842514 WITH SCORE 843620.068
AT ITER 6213 NEW BEST:: SOT 5309156 SOS 1105667 HAS SOPS 1105667 HAS SOUS 842113 HAS SOUPS 842113 WITH SCORE 843218.667
AT ITER 6253 NEW BEST:: SOT 5308960 SOS 1105471 HAS SOPS 1105471 HAS SOUS 841917 HAS SOUPS 841917 WITH SCORE 843022.471
AT ITER 6287 NEW BEST:: SOT 5308880 SOS 1105391 HAS SOPS 1105391 HAS SOUS 841829 HAS SOUPS 841829 WITH SCORE 842934.391
AT ITER 6305 NEW BEST:: SOT 5308854 SOS 1106300 HAS SOPS 1106300 HAS SOUS 841765 HAS SOUPS 841765 WITH SCORE 842871.3
AT ITER 6308 NEW BEST:: SOT 5308558 SOS 1105940 HAS SOPS 1105940 HAS SOUS 841405 HAS SOUPS 841405 WITH SCORE 842510.94
AT ITER 6314 NEW BEST:: SOT 5308622 SOS 1105928 HAS SOPS 1105928 HAS SOUS 841329 HAS SOUPS 841329 WITH SCORE 842434.928
AT ITER 6327 NEW BEST:: SOT 5308304 SOS 1105865 HAS SOPS 1105865 HAS SOUS 841266 HAS SOUPS 841266 WITH SCORE 842371.865
AT ITER 6356 NEW BEST:: SOT 5308297 SOS 1105251 HAS SOPS 1105251 HAS SOUS 841050 HAS SOUPS 841050 WITH SCORE 842155.251
AT ITER 6366 NEW BEST:: SOT 5308167 SOS 1104861 HAS SOPS 1104861 HAS SOUS 840660 HAS SOUPS 840660 WITH SCORE 841764.861
AT ITER 6372 NEW BEST:: SOT 5307898 SOS 1104541 HAS SOPS 1104541 HAS SOUS 840340 HAS SOUPS 840340 WITH SCORE 841444.541
AT ITER 6388 NEW BEST:: SOT 5307986 SOS 1104198 HAS SOPS 1104198 HAS SOUS 840298 HAS SOUPS 840298 WITH SCORE 841402.198
AT ITER 6425 NEW BEST:: SOT 5307786 SOS 1104010 HAS SOPS 1104010 HAS SOUS 840045 HAS SOUPS 840045 WITH SCORE 841149.01
AT ITER 6427 NEW BEST:: SOT 5307441 SOS 1103298 HAS SOPS 1103298 HAS SOUS 839415 HAS SOUPS 839415 WITH SCORE 840518.298
AT ITER 6465 NEW BEST:: SOT 5307478 SOS 1103246 HAS SOPS 1103246 HAS SOUS 839363 HAS SOUPS 839363 WITH SCORE 840466.246
AT ITER 6477 NEW BEST:: SOT 5307470 SOS 1087450 HAS SOPS 1087450 HAS SOUS 839347 HAS SOUPS 839347 WITH SCORE 840434.45
AT ITER 6491 NEW BEST:: SOT 5307460 SOS 1087440 HAS SOPS 1087440 HAS SOUS 839337 HAS SOUPS 839337 WITH SCORE 840424.44
AT ITER 6492 NEW BEST:: SOT 5307399 SOS 1087379 HAS SOPS 1087379 HAS SOUS 839276 HAS SOUPS 839276 WITH SCORE 840363.379
AT ITER 6513 NEW BEST:: SOT 5307376 SOS 1087211 HAS SOPS 1087211 HAS SOUS 839038 HAS SOUPS 839038 WITH SCORE 840125.211
AT ITER 6540 NEW BEST:: SOT 5307315 SOS 1087150 HAS SOPS 1087150 HAS SOUS 838977 HAS SOUPS 838977 WITH SCORE 840064.15
AT ITER 6549 NEW BEST:: SOT 5307274 SOS 1087067 HAS SOPS 1087067 HAS SOUS 838894 HAS SOUPS 838894 WITH SCORE 839981.067
AT ITER 6558 NEW BEST:: SOT 5307215 SOS 1086089 HAS SOPS 1086089 HAS SOUS 838591 HAS SOUPS 838591 WITH SCORE 839677.089
AT ITER 6598 NEW BEST:: SOT 5307244 SOS 1085982 HAS SOPS 1085982 HAS SOUS 838484 HAS SOUPS 838484 WITH SCORE 839569.982
AT ITER 6600 NEW BEST:: SOT 5307244 SOS 1085956 HAS SOPS 1085956 HAS SOUS 838457 HAS SOUPS 838457 WITH SCORE 839542.956
AT ITER 6618 NEW BEST:: SOT 5306851 SOS 1085563 HAS SOPS 1085563 HAS SOUS 838064 HAS SOUPS 838064 WITH SCORE 839149.563
AT ITER 6622 NEW BEST:: SOT 5306725 SOS 1085395 HAS SOPS 1085395 HAS SOUS 837826 HAS SOUPS 837826 WITH SCORE 838911.395
AT ITER 6658 NEW BEST:: SOT 5306723 SOS 1085391 HAS SOPS 1085391 HAS SOUS 837821 HAS SOUPS 837821 WITH SCORE 838906.391
AT ITER 6659 NEW BEST:: SOT 5306438 SOS 1084672 HAS SOPS 1084672 HAS SOUS 837251 HAS SOUPS 837251 WITH SCORE 838335.672
AT ITER 6660 NEW BEST:: SOT 5306336 SOS 1084468 HAS SOPS 1084468 HAS SOUS 837148 HAS SOUPS 837148 WITH SCORE 838232.468
AT ITER 6663 NEW BEST:: SOT 5306250 SOS 1084370 HAS SOPS 1084370 HAS SOUS 837049 HAS SOUPS 837049 WITH SCORE 838133.37
AT ITER 6674 NEW BEST:: SOT 5306069 SOS 1084187 HAS SOPS 1084187 HAS SOUS 836867 HAS SOUPS 836867 WITH SCORE 837951.187
AT ITER 6689 NEW BEST:: SOT 5306069 SOS 1084142 HAS SOPS 1084142 HAS SOUS 836822 HAS SOUPS 836822 WITH SCORE 837906.142
AT ITER 6691 NEW BEST:: SOT 5305981 SOS 1084015 HAS SOPS 1084015 HAS SOUS 836003 HAS SOUPS 836003 WITH SCORE 837087.015
AT ITER 6720 NEW BEST:: SOT 5305797 SOS 1083648 HAS SOPS 1083648 HAS SOUS 835777 HAS SOUPS 835777 WITH SCORE 836860.648
AT ITER 6732 NEW BEST:: SOT 5305572 SOS 1083321 HAS SOPS 1083321 HAS SOUS 835272 HAS SOUPS 835272 WITH SCORE 836355.321
AT ITER 6738 NEW BEST:: SOT 5305570 SOS 1083316 HAS SOPS 1083316 HAS SOUS 835267 HAS SOUPS 835267 WITH SCORE 836350.316
AT ITER 6744 NEW BEST:: SOT 5305519 SOS 1083214 HAS SOPS 1083214 HAS SOUS 835165 HAS SOUPS 835165 WITH SCORE 836248.214
AT ITER 6765 NEW BEST:: SOT 5305519 SOS 1083098 HAS SOPS 1083098 HAS SOUS 835165 HAS SOUPS 835165 WITH SCORE 836248.098
AT ITER 6793 NEW BEST:: SOT 5305492 SOS 1082847 HAS SOPS 1082847 HAS SOUS 834998 HAS SOUPS 834998 WITH SCORE 836080.847
AT ITER 6829 NEW BEST:: SOT 5305506 SOS 1082362 HAS SOPS 1082362 HAS SOUS 834771 HAS SOUPS 834771 WITH SCORE 835853.362
AT ITER 6846 NEW BEST:: SOT 5305506 SOS 1082355 HAS SOPS 1082355 HAS SOUS 834764 HAS SOUPS 834764 WITH SCORE 835846.355
AT ITER 6851 NEW BEST:: SOT 5305432 SOS 1082203 HAS SOPS 1082203 HAS SOUS 834612 HAS SOUPS 834612 WITH SCORE 835694.203
AT ITER 6871 NEW BEST:: SOT 5305356 SOS 1082910 HAS SOPS 1082910 HAS SOUS 834564 HAS SOUPS 834564 WITH SCORE 835646.91
AT ITER 6932 NEW BEST:: SOT 5305151 SOS 1082500 HAS SOPS 1082500 HAS SOUS 834154 HAS SOUPS 834154 WITH SCORE 835236.5
AT ITER 6948 NEW BEST:: SOT 5305151 SOS 1082436 HAS SOPS 1082436 HAS SOUS 834090 HAS SOUPS 834090 WITH SCORE 835172.436
AT ITER 6961 NEW BEST:: SOT 5305151 SOS 1082434 HAS SOPS 1082434 HAS SOUS 834088 HAS SOUPS 834088 WITH SCORE 835170.434
AT ITER 6963 NEW BEST:: SOT 5304335 SOS 1081618 HAS SOPS 1081618 HAS SOUS 833986 HAS SOUPS 833986 WITH SCORE 835067.618
AT ITER 6978 NEW BEST:: SOT 5304335 SOS 1083106 HAS SOPS 1083106 HAS SOUS 833515 HAS SOUPS 833515 WITH SCORE 834598.106
AT ITER 6981 NEW BEST:: SOT 5304590 SOS 1083017 HAS SOPS 1083017 HAS SOUS 833426 HAS SOUPS 833426 WITH SCORE 834509.017
AT ITER 7012 NEW BEST:: SOT 5305649 SOS 1084188 HAS SOPS 1084188 HAS SOUS 832606 HAS SOUPS 832606 WITH SCORE 833690.188
AT ITER 7041 NEW BEST:: SOT 5305629 SOS 1084168 HAS SOPS 1084168 HAS SOUS 832566 HAS SOUPS 832566 WITH SCORE 833650.168
AT ITER 7047 NEW BEST:: SOT 5305610 SOS 1084076 HAS SOPS 1084076 HAS SOUS 832487 HAS SOUPS 832487 WITH SCORE 833571.076
AT ITER 7079 NEW BEST:: SOT 5305459 SOS 1083924 HAS SOPS 1083924 HAS SOUS 832335 HAS SOUPS 832335 WITH SCORE 833418.924
AT ITER 7083 NEW BEST:: SOT 5304895 SOS 1083454 HAS SOPS 1083454 HAS SOUS 831865 HAS SOUPS 831865 WITH SCORE 832948.454
AT ITER 7086 NEW BEST:: SOT 5304622 SOS 1083181 HAS SOPS 1083181 HAS SOUS 831826 HAS SOUPS 831826 WITH SCORE 832909.181
AT ITER 7118 NEW BEST:: SOT 5304581 SOS 1083140 HAS SOPS 1083140 HAS SOUS 831785 HAS SOUPS 831785 WITH SCORE 832868.14
AT ITER 7119 NEW BEST:: SOT 5304514 SOS 1083136 HAS SOPS 1083136 HAS SOUS 831249 HAS SOUPS 831249 WITH SCORE 832332.136
AT ITER 7150 NEW BEST:: SOT 5304450 SOS 1083056 HAS SOPS 1083056 HAS SOUS 831176 HAS SOUPS 831176 WITH SCORE 832259.056
AT ITER 7161 NEW BEST:: SOT 5304228 SOS 1083041 HAS SOPS 1083041 HAS SOUS 830992 HAS SOUPS 830992 WITH SCORE 832075.041
AT ITER 7162 NEW BEST:: SOT 5304139 SOS 1082863 HAS SOPS 1082863 HAS SOUS 830814 HAS SOUPS 830814 WITH SCORE 831896.863
AT ITER 7170 NEW BEST:: SOT 5304118 SOS 1082785 HAS SOPS 1082785 HAS SOUS 830621 HAS SOUPS 830621 WITH SCORE 831703.785
AT ITER 7175 NEW BEST:: SOT 5304108 SOS 1082775 HAS SOPS 1082775 HAS SOUS 830287 HAS SOUPS 830287 WITH SCORE 831369.775
AT ITER 7193 NEW BEST:: SOT 5303982 SOS 1082523 HAS SOPS 1082523 HAS SOUS 830161 HAS SOUPS 830161 WITH SCORE 831243.523
AT ITER 7229 NEW BEST:: SOT 5303955 SOS 1082505 HAS SOPS 1082505 HAS SOUS 830143 HAS SOUPS 830143 WITH SCORE 831225.505
AT ITER 7248 NEW BEST:: SOT 5303789 SOS 1082173 HAS SOPS 1082173 HAS SOUS 829811 HAS SOUPS 829811 WITH SCORE 830893.173
AT ITER 7260 NEW BEST:: SOT 5304266 SOS 1083709 HAS SOPS 1083709 HAS SOUS 829312 HAS SOUPS 829312 WITH SCORE 830395.709
AT ITER 7284 NEW BEST:: SOT 5304253 SOS 1083683 HAS SOPS 1083683 HAS SOUS 829286 HAS SOUPS 829286 WITH SCORE 830369.683
AT ITER 7304 NEW BEST:: SOT 5304253 SOS 1083510 HAS SOPS 1083510 HAS SOUS 829113 HAS SOUPS 829113 WITH SCORE 830196.51
AT ITER 7313 NEW BEST:: SOT 5303971 SOS 1083274 HAS SOPS 1083274 HAS SOUS 828973 HAS SOUPS 828973 WITH SCORE 830056.274
AT ITER 7314 NEW BEST:: SOT 5303827 SOS 1083063 HAS SOPS 1083063 HAS SOUS 828967 HAS SOUPS 828967 WITH SCORE 830050.063
AT ITER 7358 NEW BEST:: SOT 5303799 SOS 1083035 HAS SOPS 1083035 HAS SOUS 828939 HAS SOUPS 828939 WITH SCORE 830022.035
AT ITER 7359 NEW BEST:: SOT 5303798 SOS 1083034 HAS SOPS 1083034 HAS SOUS 828929 HAS SOUPS 828929 WITH SCORE 830012.034
AT ITER 7376 NEW BEST:: SOT 5303798 SOS 1082934 HAS SOPS 1082934 HAS SOUS 828829 HAS SOUPS 828829 WITH SCORE 829911.934
AT ITER 7377 NEW BEST:: SOT 5303896 SOS 1082780 HAS SOPS 1082780 HAS SOUS 828675 HAS SOUPS 828675 WITH SCORE 829757.78
AT ITER 7396 NEW BEST:: SOT 5303910 SOS 1082693 HAS SOPS 1082693 HAS SOUS 828588 HAS SOUPS 828588 WITH SCORE 829670.693
AT ITER 7401 NEW BEST:: SOT 5303902 SOS 1082677 HAS SOPS 1082677 HAS SOUS 828572 HAS SOUPS 828572 WITH SCORE 829654.677
AT ITER 7408 NEW BEST:: SOT 5303652 SOS 1082048 HAS SOPS 1082048 HAS SOUS 824785 HAS SOUPS 824785 WITH SCORE 825867.048
AT ITER 7434 NEW BEST:: SOT 5303603 SOS 1081950 HAS SOPS 1081950 HAS SOUS 824687 HAS SOUPS 824687 WITH SCORE 825768.95
AT ITER 7435 NEW BEST:: SOT 5303583 SOS 1081930 HAS SOPS 1081930 HAS SOUS 824667 HAS SOUPS 824667 WITH SCORE 825748.93
AT ITER 7438 NEW BEST:: SOT 5302884 SOS 1081583 HAS SOPS 1081583 HAS SOUS 824196 HAS SOUPS 824196 WITH SCORE 825277.583
AT ITER 7443 NEW BEST:: SOT 5302734 SOS 1081283 HAS SOPS 1081283 HAS SOUS 823896 HAS SOUPS 823896 WITH SCORE 824977.283
AT ITER 7445 NEW BEST:: SOT 5302733 SOS 1079922 HAS SOPS 1079922 HAS SOUS 823894 HAS SOUPS 823894 WITH SCORE 824973.922
AT ITER 7491 NEW BEST:: SOT 5302319 SOS 1079366 HAS SOPS 1079366 HAS SOUS 823066 HAS SOUPS 823066 WITH SCORE 824145.366
AT ITER 7514 NEW BEST:: SOT 5302170 SOS 1079214 HAS SOPS 1079214 HAS SOUS 822914 HAS SOUPS 822914 WITH SCORE 823993.214
AT ITER 7531 NEW BEST:: SOT 5302110 SOS 1079094 HAS SOPS 1079094 HAS SOUS 822794 HAS SOUPS 822794 WITH SCORE 823873.094
AT ITER 7547 NEW BEST:: SOT 5301974 SOS 1078958 HAS SOPS 1078958 HAS SOUS 822522 HAS SOUPS 822522 WITH SCORE 823600.958
AT ITER 7572 NEW BEST:: SOT 5301676 SOS 1079108 HAS SOPS 1079108 HAS SOUS 822360 HAS SOUPS 822360 WITH SCORE 823439.108
AT ITER 7594 NEW BEST:: SOT 5301383 SOS 1078744 HAS SOPS 1078744 HAS SOUS 822067 HAS SOUPS 822067 WITH SCORE 823145.744
AT ITER 7595 NEW BEST:: SOT 5301260 SOS 1078365 HAS SOPS 1078365 HAS SOUS 821767 HAS SOUPS 821767 WITH SCORE 822845.365
AT ITER 7613 NEW BEST:: SOT 5301260 SOS 1078282 HAS SOPS 1078282 HAS SOUS 821767 HAS SOUPS 821767 WITH SCORE 822845.282
AT ITER 7622 NEW BEST:: SOT 5301229 SOS 1078251 HAS SOPS 1078251 HAS SOUS 821736 HAS SOUPS 821736 WITH SCORE 822814.251
AT ITER 7652 NEW BEST:: SOT 5300993 SOS 1077837 HAS SOPS 1077837 HAS SOUS 821507 HAS SOUPS 821507 WITH SCORE 822584.837
AT ITER 7658 NEW BEST:: SOT 5300993 SOS 1077731 HAS SOPS 1077731 HAS SOUS 821507 HAS SOUPS 821507 WITH SCORE 822584.731
AT ITER 7669 NEW BEST:: SOT 5300993 SOS 1077572 HAS SOPS 1077572 HAS SOUS 821421 HAS SOUPS 821421 WITH SCORE 822498.572
AT ITER 7681 NEW BEST:: SOT 5300867 SOS 1077446 HAS SOPS 1077446 HAS SOUS 821295 HAS SOUPS 821295 WITH SCORE 822372.446
AT ITER 7709 NEW BEST:: SOT 5300867 SOS 1078471 HAS SOPS 1078471 HAS SOUS 821174 HAS SOUPS 821174 WITH SCORE 822252.471
AT ITER 7737 NEW BEST:: SOT 5301092 SOS 1075203 HAS SOPS 1075203 HAS SOUS 820651 HAS SOUPS 820651 WITH SCORE 821726.203
AT ITER 7755 NEW BEST:: SOT 5301072 SOS 1075143 HAS SOPS 1075143 HAS SOUS 820591 HAS SOUPS 820591 WITH SCORE 821666.143
AT ITER 7757 NEW BEST:: SOT 5300968 SOS 1074923 HAS SOPS 1074923 HAS SOUS 820371 HAS SOUPS 820371 WITH SCORE 821445.923
AT ITER 7845 NEW BEST:: SOT 5300503 SOS 1075109 HAS SOPS 1075109 HAS SOUS 819999 HAS SOUPS 819999 WITH SCORE 821074.109
AT ITER 7852 NEW BEST:: SOT 5300374 SOS 1075075 HAS SOPS 1075075 HAS SOUS 819769 HAS SOUPS 819769 WITH SCORE 820844.075
AT ITER 7877 NEW BEST:: SOT 5300057 SOS 1074790 HAS SOPS 1074790 HAS SOUS 819708 HAS SOUPS 819708 WITH SCORE 820782.79
AT ITER 7930 NEW BEST:: SOT 5300057 SOS 1074684 HAS SOPS 1074684 HAS SOUS 819602 HAS SOUPS 819602 WITH SCORE 820676.684
AT ITER 7936 NEW BEST:: SOT 5300041 SOS 1074668 HAS SOPS 1074668 HAS SOUS 819586 HAS SOUPS 819586 WITH SCORE 820660.668
AT ITER 7956 NEW BEST:: SOT 5299967 SOS 1074322 HAS SOPS 1074322 HAS SOUS 819433 HAS SOUPS 819433 WITH SCORE 820507.322
AT ITER 7957 NEW BEST:: SOT 5299839 SOS 1072530 HAS SOPS 1072530 HAS SOUS 819177 HAS SOUPS 819177 WITH SCORE 820249.53
AT ITER 7978 NEW BEST:: SOT 5299839 SOS 1072346 HAS SOPS 1072346 HAS SOUS 819177 HAS SOUPS 819177 WITH SCORE 820249.346
AT ITER 7995 NEW BEST:: SOT 5299817 SOS 1072325 HAS SOPS 1072325 HAS SOUS 819165 HAS SOUPS 819165 WITH SCORE 820237.325
AT ITER 8018 NEW BEST:: SOT 5297947 SOS 1070455 HAS SOPS 1070455 HAS SOUS 817295 HAS SOUPS 817295 WITH SCORE 818365.455
AT ITER 8040 NEW BEST:: SOT 5297912 SOS 1071330 HAS SOPS 1071330 HAS SOUS 817225 HAS SOUPS 817225 WITH SCORE 818296.33
AT ITER 8048 NEW BEST:: SOT 5297706 SOS 1070655 HAS SOPS 1070655 HAS SOUS 815577 HAS SOUPS 815577 WITH SCORE 816647.655
AT ITER 8058 NEW BEST:: SOT 5297484 SOS 1070182 HAS SOPS 1070182 HAS SOUS 815290 HAS SOUPS 815290 WITH SCORE 816360.182
AT ITER 8067 NEW BEST:: SOT 5297116 SOS 1069814 HAS SOPS 1069814 HAS SOUS 814922 HAS SOUPS 814922 WITH SCORE 815991.814
AT ITER 8080 NEW BEST:: SOT 5295569 SOS 1068327 HAS SOPS 1068327 HAS SOUS 813352 HAS SOUPS 813352 WITH SCORE 814420.327
AT ITER 8088 NEW BEST:: SOT 5294830 SOS 1072987 HAS SOPS 1072987 HAS SOUS 813081 HAS SOUPS 813081 WITH SCORE 814153.987
AT ITER 8110 NEW BEST:: SOT 5294653 SOS 1072211 HAS SOPS 1072211 HAS SOUS 812727 HAS SOUPS 812727 WITH SCORE 813799.211
AT ITER 8149 NEW BEST:: SOT 5294609 SOS 1072079 HAS SOPS 1072079 HAS SOUS 812639 HAS SOUPS 812639 WITH SCORE 813711.079
AT ITER 8150 NEW BEST:: SOT 5294609 SOS 1072004 HAS SOPS 1072004 HAS SOUS 812572 HAS SOUPS 812572 WITH SCORE 813644.004
AT ITER 8175 NEW BEST:: SOT 5294594 SOS 1071960 HAS SOPS 1071960 HAS SOUS 812422 HAS SOUPS 812422 WITH SCORE 813493.96
AT ITER 8189 NEW BEST:: SOT 5294594 SOS 1071960 HAS SOPS 1071960 HAS SOUS 812266 HAS SOUPS 812266 WITH SCORE 813337.96
AT ITER 8205 NEW BEST:: SOT 5294691 SOS 1072616 HAS SOPS 1072616 HAS SOUS 812257 HAS SOUPS 812257 WITH SCORE 813329.616
AT ITER 8214 NEW BEST:: SOT 5294608 SOS 1072450 HAS SOPS 1072450 HAS SOUS 812091 HAS SOUPS 812091 WITH SCORE 813163.45
AT ITER 8217 NEW BEST:: SOT 5294374 SOS 1073463 HAS SOPS 1073463 HAS SOUS 811599 HAS SOUPS 811599 WITH SCORE 812672.463
AT ITER 8232 NEW BEST:: SOT 5293308 SOS 1072380 HAS SOPS 1072380 HAS SOUS 810513 HAS SOUPS 810513 WITH SCORE 811585.38
AT ITER 8299 NEW BEST:: SOT 5293115 SOS 1072084 HAS SOPS 1072084 HAS SOUS 810385 HAS SOUPS 810385 WITH SCORE 811457.084
AT ITER 8300 NEW BEST:: SOT 5293109 SOS 1072170 HAS SOPS 1072170 HAS SOUS 810373 HAS SOUPS 810373 WITH SCORE 811445.17
AT ITER 8315 NEW BEST:: SOT 5293107 SOS 1072164 HAS SOPS 1072164 HAS SOUS 810367 HAS SOUPS 810367 WITH SCORE 811439.164
AT ITER 8318 NEW BEST:: SOT 5292911 SOS 1071966 HAS SOPS 1071966 HAS SOUS 809973 HAS SOUPS 809973 WITH SCORE 811044.966
AT ITER 8335 NEW BEST:: SOT 5292832 SOS 1072298 HAS SOPS 1072298 HAS SOUS 809786 HAS SOUPS 809786 WITH SCORE 810858.298
AT ITER 8356 NEW BEST:: SOT 5292832 SOS 1073270 HAS SOPS 1073270 HAS SOUS 809624 HAS SOUPS 809624 WITH SCORE 810697.27
AT ITER 8365 NEW BEST:: SOT 5292829 SOS 1073264 HAS SOPS 1073264 HAS SOUS 809618 HAS SOUPS 809618 WITH SCORE 810691.264
AT ITER 8373 NEW BEST:: SOT 5292829 SOS 1073113 HAS SOPS 1073113 HAS SOUS 809467 HAS SOUPS 809467 WITH SCORE 810540.113
AT ITER 8379 NEW BEST:: SOT 5292660 SOS 1072943 HAS SOPS 1072943 HAS SOUS 809297 HAS SOUPS 809297 WITH SCORE 810369.943
AT ITER 8405 NEW BEST:: SOT 5292443 SOS 1072726 HAS SOPS 1072726 HAS SOUS 809200 HAS SOUPS 809200 WITH SCORE 810272.726
AT ITER 8477 NEW BEST:: SOT 5292435 SOS 1072783 HAS SOPS 1072783 HAS SOUS 809192 HAS SOUPS 809192 WITH SCORE 810264.783
AT ITER 8505 NEW BEST:: SOT 5292434 SOS 1072669 HAS SOPS 1072669 HAS SOUS 809078 HAS SOUPS 809078 WITH SCORE 810150.669
AT ITER 8523 NEW BEST:: SOT 5292434 SOS 1072668 HAS SOPS 1072668 HAS SOUS 809077 HAS SOUPS 809077 WITH SCORE 810149.668
AT ITER 8524 NEW BEST:: SOT 5292434 SOS 1072660 HAS SOPS 1072660 HAS SOUS 809069 HAS SOUPS 809069 WITH SCORE 810141.66
AT ITER 8552 NEW BEST:: SOT 5292252 SOS 1071823 HAS SOPS 1071823 HAS SOUS 808723 HAS SOUPS 808723 WITH SCORE 809794.823
AT ITER 8566 NEW BEST:: SOT 5292249 SOS 1071814 HAS SOPS 1071814 HAS SOUS 808717 HAS SOUPS 808717 WITH SCORE 809788.814
AT ITER 8576 NEW BEST:: SOT 5292249 SOS 1071696 HAS SOPS 1071696 HAS SOUS 808599 HAS SOUPS 808599 WITH SCORE 809670.696
AT ITER 8628 NEW BEST:: SOT 5291276 SOS 1070584 HAS SOPS 1070584 HAS SOUS 808599 HAS SOUPS 808599 WITH SCORE 809669.584
AT ITER 8634 NEW BEST:: SOT 5290729 SOS 1070341 HAS SOPS 1070341 HAS SOUS 808280 HAS SOUPS 808280 WITH SCORE 809350.341
AT ITER 8691 NEW BEST:: SOT 5290754 SOS 1070254 HAS SOPS 1070254 HAS SOUS 808193 HAS SOUPS 808193 WITH SCORE 809263.254
AT ITER 8695 NEW BEST:: SOT 5290754 SOS 1070181 HAS SOPS 1070181 HAS SOUS 808169 HAS SOUPS 808169 WITH SCORE 809239.181
AT ITER 8701 NEW BEST:: SOT 5290735 SOS 1070143 HAS SOPS 1070143 HAS SOUS 808131 HAS SOUPS 808131 WITH SCORE 809201.143
AT ITER 8726 NEW BEST:: SOT 5290675 SOS 1070209 HAS SOPS 1070209 HAS SOUS 808071 HAS SOUPS 808071 WITH SCORE 809141.209
AT ITER 8740 NEW BEST:: SOT 5290632 SOS 1069645 HAS SOPS 1069645 HAS SOUS 807894 HAS SOUPS 807894 WITH SCORE 808963.645
AT ITER 8750 NEW BEST:: SOT 5290494 SOS 1069412 HAS SOPS 1069412 HAS SOUS 807737 HAS SOUPS 807737 WITH SCORE 808806.412
AT ITER 8752 NEW BEST:: SOT 5290446 SOS 1069742 HAS SOPS 1069742 HAS SOUS 807640 HAS SOUPS 807640 WITH SCORE 808709.742
AT ITER 8754 NEW BEST:: SOT 5289319 SOS 1068454 HAS SOPS 1068454 HAS SOUS 807640 HAS SOUPS 807640 WITH SCORE 808708.454
AT ITER 8757 NEW BEST:: SOT 5289207 SOS 1068615 HAS SOPS 1068615 HAS SOUS 806933 HAS SOUPS 806933 WITH SCORE 808001.615
AT ITER 8770 NEW BEST:: SOT 5289195 SOS 1068578 HAS SOPS 1068578 HAS SOUS 806896 HAS SOUPS 806896 WITH SCORE 807964.578
AT ITER 8795 NEW BEST:: SOT 5289193 SOS 1068574 HAS SOPS 1068574 HAS SOUS 806860 HAS SOUPS 806860 WITH SCORE 807928.574
AT ITER 8817 NEW BEST:: SOT 5289088 SOS 1068364 HAS SOPS 1068364 HAS SOUS 806650 HAS SOUPS 806650 WITH SCORE 807718.364
AT ITER 8828 NEW BEST:: SOT 5289061 SOS 1068287 HAS SOPS 1068287 HAS SOUS 806640 HAS SOUPS 806640 WITH SCORE 807708.287
AT ITER 8846 NEW BEST:: SOT 5288332 SOS 1067508 HAS SOPS 1067508 HAS SOUS 805711 HAS SOUPS 805711 WITH SCORE 806778.508
AT ITER 8850 NEW BEST:: SOT 5287368 SOS 1066580 HAS SOPS 1066580 HAS SOUS 805533 HAS SOUPS 805533 WITH SCORE 806599.58
AT ITER 8851 NEW BEST:: SOT 5287368 SOS 1067363 HAS SOPS 1067363 HAS SOUS 805272 HAS SOUPS 805272 WITH SCORE 806339.363
AT ITER 8874 NEW BEST:: SOT 5287364 SOS 1067355 HAS SOPS 1067355 HAS SOUS 805272 HAS SOUPS 805272 WITH SCORE 806339.355
AT ITER 8926 NEW BEST:: SOT 5287364 SOS 1067324 HAS SOPS 1067324 HAS SOUS 805272 HAS SOUPS 805272 WITH SCORE 806339.324
AT ITER 8967 NEW BEST:: SOT 5287315 SOS 1067275 HAS SOPS 1067275 HAS SOUS 805223 HAS SOUPS 805223 WITH SCORE 806290.275
AT ITER 8976 NEW BEST:: SOT 5285768 SOS 1066017 HAS SOPS 1066017 HAS SOUS 804420 HAS SOUPS 804420 WITH SCORE 805486.017
AT ITER 9019 NEW BEST:: SOT 5285418 SOS 1065681 HAS SOPS 1065681 HAS SOUS 804182 HAS SOUPS 804182 WITH SCORE 805247.681
AT ITER 9020 NEW BEST:: SOT 5285316 SOS 1064813 HAS SOPS 1064813 HAS SOUS 803932 HAS SOUPS 803932 WITH SCORE 804996.813
AT ITER 9023 NEW BEST:: SOT 5285215 SOS 1064499 HAS SOPS 1064499 HAS SOUS 803618 HAS SOUPS 803618 WITH SCORE 804682.499
AT ITER 9068 NEW BEST:: SOT 5285599 SOS 1065069 HAS SOPS 1065069 HAS SOUS 803174 HAS SOUPS 803174 WITH SCORE 804239.069
AT ITER 9069 NEW BEST:: SOT 5285540 SOS 1064992 HAS SOPS 1064992 HAS SOUS 803097 HAS SOUPS 803097 WITH SCORE 804161.992
AT ITER 9072 NEW BEST:: SOT 5285539 SOS 1064991 HAS SOPS 1064991 HAS SOUS 803066 HAS SOUPS 803066 WITH SCORE 804130.991
AT ITER 9090 NEW BEST:: SOT 5285285 SOS 1064483 HAS SOPS 1064483 HAS SOUS 802558 HAS SOUPS 802558 WITH SCORE 803622.483
AT ITER 9091 NEW BEST:: SOT 5285280 SOS 1064423 HAS SOPS 1064423 HAS SOUS 802527 HAS SOUPS 802527 WITH SCORE 803591.423
AT ITER 9099 NEW BEST:: SOT 5285234 SOS 1064427 HAS SOPS 1064427 HAS SOUS 802435 HAS SOUPS 802435 WITH SCORE 803499.427
AT ITER 9100 NEW BEST:: SOT 5285234 SOS 1064427 HAS SOPS 1064427 HAS SOUS 802434 HAS SOUPS 802434 WITH SCORE 803498.427
AT ITER 9153 NEW BEST:: SOT 5286531 SOS 1066197 HAS SOPS 1066197 HAS SOUS 801137 HAS SOUPS 801137 WITH SCORE 802203.197
AT ITER 9184 NEW BEST:: SOT 5286349 SOS 1065938 HAS SOPS 1065938 HAS SOUS 801053 HAS SOUPS 801053 WITH SCORE 802118.938
AT ITER 9190 NEW BEST:: SOT 5286001 SOS 1065590 HAS SOPS 1065590 HAS SOUS 800705 HAS SOUPS 800705 WITH SCORE 801770.59
AT ITER 9199 NEW BEST:: SOT 5285915 SOS 1065418 HAS SOPS 1065418 HAS SOUS 800447 HAS SOUPS 800447 WITH SCORE 801512.418
AT ITER 9218 NEW BEST:: SOT 5285829 SOS 1065320 HAS SOPS 1065320 HAS SOUS 800349 HAS SOUPS 800349 WITH SCORE 801414.32
AT ITER 9245 NEW BEST:: SOT 5285825 SOS 1065312 HAS SOPS 1065312 HAS SOUS 800341 HAS SOUPS 800341 WITH SCORE 801406.312
AT ITER 9263 NEW BEST:: SOT 5285825 SOS 1065207 HAS SOPS 1065207 HAS SOUS 800236 HAS SOUPS 800236 WITH SCORE 801301.207
AT ITER 9278 NEW BEST:: SOT 5285629 SOS 1065047 HAS SOPS 1065047 HAS SOUS 800095 HAS SOUPS 800095 WITH SCORE 801160.047
AT ITER 9283 NEW BEST:: SOT 5285624 SOS 1065050 HAS SOPS 1065050 HAS SOUS 800025 HAS SOUPS 800025 WITH SCORE 801090.05
AT ITER 9289 NEW BEST:: SOT 5285623 SOS 1064893 HAS SOPS 1064893 HAS SOUS 800023 HAS SOUPS 800023 WITH SCORE 801087.893
AT ITER 9293 NEW BEST:: SOT 5285623 SOS 1064814 HAS SOPS 1064814 HAS SOUS 799944 HAS SOUPS 799944 WITH SCORE 801008.814
AT ITER 9304 NEW BEST:: SOT 5285469 SOS 1065893 HAS SOPS 1065893 HAS SOUS 799805 HAS SOUPS 799805 WITH SCORE 800870.893
AT ITER 9317 NEW BEST:: SOT 5285370 SOS 1065794 HAS SOPS 1065794 HAS SOUS 799706 HAS SOUPS 799706 WITH SCORE 800771.794
AT ITER 9337 NEW BEST:: SOT 5285370 SOS 1065881 HAS SOPS 1065881 HAS SOUS 799668 HAS SOUPS 799668 WITH SCORE 800733.881
AT ITER 9341 NEW BEST:: SOT 5283795 SOS 1064306 HAS SOPS 1064306 HAS SOUS 798090 HAS SOUPS 798090 WITH SCORE 799154.306
AT ITER 9356 NEW BEST:: SOT 5283793 SOS 1064291 HAS SOPS 1064291 HAS SOUS 798075 HAS SOUPS 798075 WITH SCORE 799139.291
AT ITER 9376 NEW BEST:: SOT 5283737 SOS 1064124 HAS SOPS 1064124 HAS SOUS 797963 HAS SOUPS 797963 WITH SCORE 799027.124
AT ITER 9394 NEW BEST:: SOT 5283655 SOS 1064042 HAS SOPS 1064042 HAS SOUS 797877 HAS SOUPS 797877 WITH SCORE 798941.042
AT ITER 9418 NEW BEST:: SOT 5283498 SOS 1063960 HAS SOPS 1063960 HAS SOUS 796867 HAS SOUPS 796867 WITH SCORE 797930.96
AT ITER 9425 NEW BEST:: SOT 5283498 SOS 1063934 HAS SOPS 1063934 HAS SOUS 796867 HAS SOUPS 796867 WITH SCORE 797930.934
AT ITER 9436 NEW BEST:: SOT 5283184 SOS 1063675 HAS SOPS 1063675 HAS SOUS 796608 HAS SOUPS 796608 WITH SCORE 797671.675
AT ITER 9437 NEW BEST:: SOT 5283184 SOS 1063675 HAS SOPS 1063675 HAS SOUS 795432 HAS SOUPS 795432 WITH SCORE 796495.675
AT ITER 9485 NEW BEST:: SOT 5283184 SOS 1063675 HAS SOPS 1063675 HAS SOUS 795425 HAS SOUPS 795425 WITH SCORE 796488.675
AT ITER 9493 NEW BEST:: SOT 5283184 SOS 1063746 HAS SOPS 1063746 HAS SOUS 795315 HAS SOUPS 795315 WITH SCORE 796378.746
AT ITER 9511 NEW BEST:: SOT 5283184 SOS 1063608 HAS SOPS 1063608 HAS SOUS 795266 HAS SOUPS 795266 WITH SCORE 796329.608
AT ITER 9516 NEW BEST:: SOT 5283079 SOS 1063398 HAS SOPS 1063398 HAS SOUS 795056 HAS SOUPS 795056 WITH SCORE 796119.398
AT ITER 9534 NEW BEST:: SOT 5283093 SOS 1063380 HAS SOPS 1063380 HAS SOUS 795038 HAS SOUPS 795038 WITH SCORE 796101.38
AT ITER 9536 NEW BEST:: SOT 5283037 SOS 1063480 HAS SOPS 1063480 HAS SOUS 794829 HAS SOUPS 794829 WITH SCORE 795892.48
AT ITER 9557 NEW BEST:: SOT 5283026 SOS 1063360 HAS SOPS 1063360 HAS SOUS 794657 HAS SOUPS 794657 WITH SCORE 795720.36
AT ITER 9560 NEW BEST:: SOT 5282927 SOS 1063374 HAS SOPS 1063374 HAS SOUS 794644 HAS SOUPS 794644 WITH SCORE 795707.374
AT ITER 9583 NEW BEST:: SOT 5282738 SOS 1062480 HAS SOPS 1062480 HAS SOUS 794580 HAS SOUPS 794580 WITH SCORE 795642.48
AT ITER 9604 NEW BEST:: SOT 5282555 SOS 1062350 HAS SOPS 1062350 HAS SOUS 794450 HAS SOUPS 794450 WITH SCORE 795512.35
AT ITER 9621 NEW BEST:: SOT 5282386 SOS 1062050 HAS SOPS 1062050 HAS SOUS 794220 HAS SOUPS 794220 WITH SCORE 795282.05
AT ITER 9626 NEW BEST:: SOT 5282342 SOS 1061962 HAS SOPS 1061962 HAS SOUS 794132 HAS SOUPS 794132 WITH SCORE 795193.962
AT ITER 9627 NEW BEST:: SOT 5281634 SOS 1061077 HAS SOPS 1061077 HAS SOUS 793070 HAS SOUPS 793070 WITH SCORE 794131.077
AT ITER 9661 NEW BEST:: SOT 5281514 SOS 1060795 HAS SOPS 1060795 HAS SOUS 792817 HAS SOUPS 792817 WITH SCORE 793877.795
AT ITER 9663 NEW BEST:: SOT 5281432 SOS 1060739 HAS SOPS 1060739 HAS SOUS 792779 HAS SOUPS 792779 WITH SCORE 793839.739
AT ITER 9676 NEW BEST:: SOT 5280902 SOS 1060520 HAS SOPS 1060520 HAS SOUS 792523 HAS SOUPS 792523 WITH SCORE 793583.52
AT ITER 9681 NEW BEST:: SOT 5280896 SOS 1060466 HAS SOPS 1060466 HAS SOUS 792508 HAS SOUPS 792508 WITH SCORE 793568.466
AT ITER 9696 NEW BEST:: SOT 5280918 SOS 1060351 HAS SOPS 1060351 HAS SOUS 792487 HAS SOUPS 792487 WITH SCORE 793547.351
AT ITER 9716 NEW BEST:: SOT 5280796 SOS 1060087 HAS SOPS 1060087 HAS SOUS 792223 HAS SOUPS 792223 WITH SCORE 793283.087
AT ITER 9720 NEW BEST:: SOT 5280796 SOS 1060142 HAS SOPS 1060142 HAS SOUS 791761 HAS SOUPS 791761 WITH SCORE 792821.142
AT ITER 9725 NEW BEST:: SOT 5280729 SOS 1059955 HAS SOPS 1059955 HAS SOUS 791620 HAS SOUPS 791620 WITH SCORE 792679.955
AT ITER 9755 NEW BEST:: SOT 5280055 SOS 1060471 HAS SOPS 1060471 HAS SOUS 791481 HAS SOUPS 791481 WITH SCORE 792541.471
AT ITER 9758 NEW BEST:: SOT 5280037 SOS 1060470 HAS SOPS 1060470 HAS SOUS 791480 HAS SOUPS 791480 WITH SCORE 792540.47
AT ITER 9760 NEW BEST:: SOT 5279986 SOS 1060419 HAS SOPS 1060419 HAS SOUS 791429 HAS SOUPS 791429 WITH SCORE 792489.419
AT ITER 9769 NEW BEST:: SOT 5278468 SOS 1061975 HAS SOPS 1061975 HAS SOUS 790363 HAS SOUPS 790363 WITH SCORE 791424.975
AT ITER 9790 NEW BEST:: SOT 5278272 SOS 1061815 HAS SOPS 1061815 HAS SOUS 789771 HAS SOUPS 789771 WITH SCORE 790832.815
AT ITER 9817 NEW BEST:: SOT 5278307 SOS 1061725 HAS SOPS 1061725 HAS SOUS 789666 HAS SOUPS 789666 WITH SCORE 790727.725
AT ITER 9831 NEW BEST:: SOT 5278261 SOS 1061564 HAS SOPS 1061564 HAS SOUS 789505 HAS SOUPS 789505 WITH SCORE 790566.564
AT ITER 9835 NEW BEST:: SOT 5278225 SOS 1061236 HAS SOPS 1061236 HAS SOUS 789433 HAS SOUPS 789433 WITH SCORE 790494.236
AT ITER 9842 NEW BEST:: SOT 5278023 SOS 1060353 HAS SOPS 1060353 HAS SOUS 788654 HAS SOUPS 788654 WITH SCORE 789714.353
AT ITER 9851 NEW BEST:: SOT 5277700 SOS 1060074 HAS SOPS 1060074 HAS SOUS 788391 HAS SOUPS 788391 WITH SCORE 789451.074
AT ITER 9859 NEW BEST:: SOT 5277394 SOS 1059886 HAS SOPS 1059886 HAS SOUS 787909 HAS SOUPS 787909 WITH SCORE 788968.886
AT ITER 9911 NEW BEST:: SOT 5277141 SOS 1059489 HAS SOPS 1059489 HAS SOUS 787259 HAS SOUPS 787259 WITH SCORE 788318.489
AT ITER 9936 NEW BEST:: SOT 5276901 SOS 1059187 HAS SOPS 1059187 HAS SOUS 787136 HAS SOUPS 787136 WITH SCORE 788195.187
AT ITER 9951 NEW BEST:: SOT 5274542 SOS 1057218 HAS SOPS 1057218 HAS SOUS 784934 HAS SOUPS 784934 WITH SCORE 785991.218
AT ITER 9952 NEW BEST:: SOT 5274542 SOS 1057188 HAS SOPS 1057188 HAS SOUS 784904 HAS SOUPS 784904 WITH SCORE 785961.188
AT ITER 9969 NEW BEST:: SOT 5274744 SOS 1057054 HAS SOPS 1057054 HAS SOUS 784187 HAS SOUPS 784187 WITH SCORE 785244.054
AT ITER 9980 NEW BEST:: SOT 5273680 SOS 1055851 HAS SOPS 1055851 HAS SOUS 782984 HAS SOUPS 782984 WITH SCORE 784039.851
AT ITER 9990 NEW BEST:: SOT 5273660 SOS 1055811 HAS SOPS 1055811 HAS SOUS 782944 HAS SOUPS 782944 WITH SCORE 783999.811
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 12823932 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16151116 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
Caught signal 15, terminating.
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ASLink-PT-06b"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is ASLink-PT-06b, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r003-oct2-167813590400104"
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 '
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 ;