Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 24M
-rw-r--r-- 1 mcc users 31K Apr 12 06:42 CTLCardinality.txt
-rw-r--r-- 1 mcc users 85K Apr 12 06:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 516K Apr 11 07:33 CTLFireability.txt
-rw-r--r-- 1 mcc users 1.4M Apr 11 07:33 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 58K Apr 14 12:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 153K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 476K Apr 14 12:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 1.3M Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Apr 10 13:38 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 45K Apr 10 13:38 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 261K Apr 9 19:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 667K Apr 9 19:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 17K Apr 10 22:24 UpperBounds.txt
-rw-r--r-- 1 mcc users 34K Apr 10 22:24 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 7 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 19M Mar 24 05:37 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1589649769123

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

Filename model.pnml
Petri model created: 1234 places, 12920 transitions, 116879 arcs.
AT ITER 0 NEW BEST:: SOT 9128117 SOS 4231401 HAS SOPS 4231401 HAS SOUS 1130922 HAS SOUPS 1130922 WITH SCORE 1135153.401
AT ITER 19 NEW BEST:: SOT 9128052 SOS 4231336 HAS SOPS 4231336 HAS SOUS 1130857 HAS SOUPS 1130857 WITH SCORE 1135088.336
AT ITER 21 NEW BEST:: SOT 9127962 SOS 4231382 HAS SOPS 4231382 HAS SOUS 1130847 HAS SOUPS 1130847 WITH SCORE 1135078.382
AT ITER 33 NEW BEST:: SOT 9127831 SOS 4231069 HAS SOPS 4231069 HAS SOUS 1128896 HAS SOUPS 1128896 WITH SCORE 1133127.069
AT ITER 40 NEW BEST:: SOT 9127839 SOS 4231431 HAS SOPS 4231431 HAS SOUS 1128722 HAS SOUPS 1128722 WITH SCORE 1132953.431
AT ITER 43 NEW BEST:: SOT 9127741 SOS 4231439 HAS SOPS 4231439 HAS SOUS 1128675 HAS SOUPS 1128675 WITH SCORE 1132906.439
AT ITER 45 NEW BEST:: SOT 9127661 SOS 4231474 HAS SOPS 4231474 HAS SOUS 1128645 HAS SOUPS 1128645 WITH SCORE 1132876.474
AT ITER 52 NEW BEST:: SOT 9127368 SOS 4230999 HAS SOPS 4230999 HAS SOUS 1126532 HAS SOUPS 1126532 WITH SCORE 1130762.999
AT ITER 91 NEW BEST:: SOT 9127368 SOS 4230999 HAS SOPS 4230999 HAS SOUS 1126346 HAS SOUPS 1126346 WITH SCORE 1130576.999
AT ITER 96 NEW BEST:: SOT 9127340 SOS 4230971 HAS SOPS 4230971 HAS SOUS 1126318 HAS SOUPS 1126318 WITH SCORE 1130548.971
AT ITER 106 NEW BEST:: SOT 9127340 SOS 4230971 HAS SOPS 4230971 HAS SOUS 1125986 HAS SOUPS 1125986 WITH SCORE 1130216.971
AT ITER 144 NEW BEST:: SOT 9127352 SOS 4233053 HAS SOPS 4233053 HAS SOUS 1125845 HAS SOUPS 1125845 WITH SCORE 1130078.053
AT ITER 154 NEW BEST:: SOT 9127352 SOS 4233053 HAS SOPS 4233053 HAS SOUS 1125488 HAS SOUPS 1125488 WITH SCORE 1129721.053
AT ITER 159 NEW BEST:: SOT 9127303 SOS 4233004 HAS SOPS 4233004 HAS SOUS 1125439 HAS SOUPS 1125439 WITH SCORE 1129672.004
AT ITER 163 NEW BEST:: SOT 9127284 SOS 4232995 HAS SOPS 4232995 HAS SOUS 1125070 HAS SOUPS 1125070 WITH SCORE 1129302.995
AT ITER 184 NEW BEST:: SOT 9127197 SOS 4232760 HAS SOPS 4232760 HAS SOUS 1123503 HAS SOUPS 1123503 WITH SCORE 1127735.76
AT ITER 185 NEW BEST:: SOT 9127197 SOS 4232760 HAS SOPS 4232760 HAS SOUS 1123297 HAS SOUPS 1123297 WITH SCORE 1127529.76
AT ITER 186 NEW BEST:: SOT 9126924 SOS 4232487 HAS SOPS 4232487 HAS SOUS 1123024 HAS SOUPS 1123024 WITH SCORE 1127256.487
AT ITER 191 NEW BEST:: SOT 9126924 SOS 4232487 HAS SOPS 4232487 HAS SOUS 1122850 HAS SOUPS 1122850 WITH SCORE 1127082.487
AT ITER 198 NEW BEST:: SOT 9126924 SOS 4232487 HAS SOPS 4232487 HAS SOUS 1122624 HAS SOUPS 1122624 WITH SCORE 1126856.487
AT ITER 215 NEW BEST:: SOT 9126865 SOS 4232428 HAS SOPS 4232428 HAS SOUS 1122565 HAS SOUPS 1122565 WITH SCORE 1126797.428
AT ITER 221 NEW BEST:: SOT 9126628 SOS 4232009 HAS SOPS 4232009 HAS SOUS 1120508 HAS SOUPS 1120508 WITH SCORE 1124740.009
AT ITER 223 NEW BEST:: SOT 9126628 SOS 4232207 HAS SOPS 4232207 HAS SOUS 1120349 HAS SOUPS 1120349 WITH SCORE 1124581.207
AT ITER 248 NEW BEST:: SOT 9126609 SOS 4232169 HAS SOPS 4232169 HAS SOUS 1120140 HAS SOUPS 1120140 WITH SCORE 1124372.169
AT ITER 257 NEW BEST:: SOT 9126609 SOS 4232169 HAS SOPS 4232169 HAS SOUS 1119840 HAS SOUPS 1119840 WITH SCORE 1124072.169
AT ITER 265 NEW BEST:: SOT 9126666 SOS 4231967 HAS SOPS 4231967 HAS SOUS 1117307 HAS SOUPS 1117307 WITH SCORE 1121538.967
AT ITER 279 NEW BEST:: SOT 9126647 SOS 4231948 HAS SOPS 4231948 HAS SOUS 1117288 HAS SOUPS 1117288 WITH SCORE 1121519.948
AT ITER 282 NEW BEST:: SOT 9126443 SOS 4231562 HAS SOPS 4231562 HAS SOUS 1115264 HAS SOUPS 1115264 WITH SCORE 1119495.562
AT ITER 295 NEW BEST:: SOT 9126862 SOS 4231799 HAS SOPS 4231799 HAS SOUS 1113877 HAS SOUPS 1113877 WITH SCORE 1118108.799
AT ITER 308 NEW BEST:: SOT 9126862 SOS 4231799 HAS SOPS 4231799 HAS SOUS 1113817 HAS SOUPS 1113817 WITH SCORE 1118048.799
AT ITER 316 NEW BEST:: SOT 9126898 SOS 4231653 HAS SOPS 4231653 HAS SOUS 1112215 HAS SOUPS 1112215 WITH SCORE 1116446.653
AT ITER 324 NEW BEST:: SOT 9126898 SOS 4231471 HAS SOPS 4231471 HAS SOUS 1110395 HAS SOUPS 1110395 WITH SCORE 1114626.471
AT ITER 327 NEW BEST:: SOT 9126794 SOS 4231315 HAS SOPS 4231315 HAS SOUS 1109771 HAS SOUPS 1109771 WITH SCORE 1114002.315
AT ITER 329 NEW BEST:: SOT 9126719 SOS 4231360 HAS SOPS 4231360 HAS SOUS 1109747 HAS SOUPS 1109747 WITH SCORE 1113978.36
AT ITER 332 NEW BEST:: SOT 9126377 SOS 4231018 HAS SOPS 4231018 HAS SOUS 1109259 HAS SOUPS 1109259 WITH SCORE 1113490.018
AT ITER 336 NEW BEST:: SOT 9126307 SOS 4231034 HAS SOPS 4231034 HAS SOUS 1109149 HAS SOUPS 1109149 WITH SCORE 1113380.034
AT ITER 338 NEW BEST:: SOT 9126282 SOS 4231034 HAS SOPS 4231034 HAS SOUS 1109147 HAS SOUPS 1109147 WITH SCORE 1113378.034
AT ITER 340 NEW BEST:: SOT 9126181 SOS 4230751 HAS SOPS 4230751 HAS SOUS 1107226 HAS SOUPS 1107226 WITH SCORE 1111456.751
AT ITER 344 NEW BEST:: SOT 9126181 SOS 4230751 HAS SOPS 4230751 HAS SOUS 1106996 HAS SOUPS 1106996 WITH SCORE 1111226.751
AT ITER 348 NEW BEST:: SOT 9126252 SOS 4230777 HAS SOPS 4230777 HAS SOUS 1106617 HAS SOUPS 1106617 WITH SCORE 1110847.777
AT ITER 352 NEW BEST:: SOT 9126445 SOS 4230579 HAS SOPS 4230579 HAS SOUS 1106513 HAS SOUPS 1106513 WITH SCORE 1110743.579
AT ITER 362 NEW BEST:: SOT 9126263 SOS 4230215 HAS SOPS 4230215 HAS SOUS 1104515 HAS SOUPS 1104515 WITH SCORE 1108745.215
AT ITER 375 NEW BEST:: SOT 9126263 SOS 4230107 HAS SOPS 4230107 HAS SOUS 1104515 HAS SOUPS 1104515 WITH SCORE 1108745.107
AT ITER 400 NEW BEST:: SOT 9126271 SOS 4230424 HAS SOPS 4230424 HAS SOUS 1104303 HAS SOUPS 1104303 WITH SCORE 1108533.424
AT ITER 402 NEW BEST:: SOT 9126271 SOS 4230246 HAS SOPS 4230246 HAS SOUS 1103954 HAS SOUPS 1103954 WITH SCORE 1108184.246
AT ITER 408 NEW BEST:: SOT 9126271 SOS 4230195 HAS SOPS 4230195 HAS SOUS 1103872 HAS SOUPS 1103872 WITH SCORE 1108102.195
AT ITER 409 NEW BEST:: SOT 9126203 SOS 4230127 HAS SOPS 4230127 HAS SOUS 1103804 HAS SOUPS 1103804 WITH SCORE 1108034.127
AT ITER 415 NEW BEST:: SOT 9126160 SOS 4230176 HAS SOPS 4230176 HAS SOUS 1103791 HAS SOUPS 1103791 WITH SCORE 1108021.176
AT ITER 416 NEW BEST:: SOT 9126901 SOS 4230735 HAS SOPS 4230735 HAS SOUS 1102734 HAS SOUPS 1102734 WITH SCORE 1106964.735
AT ITER 442 NEW BEST:: SOT 9126888 SOS 4230722 HAS SOPS 4230722 HAS SOUS 1102721 HAS SOUPS 1102721 WITH SCORE 1106951.722
AT ITER 446 NEW BEST:: SOT 9126888 SOS 4230379 HAS SOPS 4230379 HAS SOUS 1102378 HAS SOUPS 1102378 WITH SCORE 1106608.379
AT ITER 465 NEW BEST:: SOT 9126546 SOS 4230037 HAS SOPS 4230037 HAS SOUS 1102036 HAS SOUPS 1102036 WITH SCORE 1106266.037
AT ITER 468 NEW BEST:: SOT 9127675 SOS 4230841 HAS SOPS 4230841 HAS SOUS 1099947 HAS SOUPS 1099947 WITH SCORE 1104177.841
AT ITER 475 NEW BEST:: SOT 9127675 SOS 4230841 HAS SOPS 4230841 HAS SOUS 1099926 HAS SOUPS 1099926 WITH SCORE 1104156.841
AT ITER 478 NEW BEST:: SOT 9127675 SOS 4233893 HAS SOPS 4233893 HAS SOUS 1099913 HAS SOUPS 1099913 WITH SCORE 1104146.893
AT ITER 499 NEW BEST:: SOT 9127517 SOS 4233553 HAS SOPS 4233553 HAS SOUS 1097935 HAS SOUPS 1097935 WITH SCORE 1102168.553
AT ITER 503 NEW BEST:: SOT 9127517 SOS 4233327 HAS SOPS 4233327 HAS SOUS 1095675 HAS SOUPS 1095675 WITH SCORE 1099908.327
AT ITER 510 NEW BEST:: SOT 9127214 SOS 4233024 HAS SOPS 4233024 HAS SOUS 1095372 HAS SOUPS 1095372 WITH SCORE 1099605.024
AT ITER 519 NEW BEST:: SOT 9127790 SOS 4233418 HAS SOPS 4233418 HAS SOUS 1094146 HAS SOUPS 1094146 WITH SCORE 1098379.418
AT ITER 527 NEW BEST:: SOT 9127256 SOS 4232884 HAS SOPS 4232884 HAS SOUS 1093612 HAS SOUPS 1093612 WITH SCORE 1097844.884
AT ITER 530 NEW BEST:: SOT 9127280 SOS 4232910 HAS SOPS 4232910 HAS SOUS 1093470 HAS SOUPS 1093470 WITH SCORE 1097702.91
AT ITER 534 NEW BEST:: SOT 9127280 SOS 4232711 HAS SOPS 4232711 HAS SOUS 1091480 HAS SOUPS 1091480 WITH SCORE 1095712.711
AT ITER 536 NEW BEST:: SOT 9127288 SOS 4233091 HAS SOPS 4233091 HAS SOUS 1091312 HAS SOUPS 1091312 WITH SCORE 1095545.091
AT ITER 538 NEW BEST:: SOT 9127185 SOS 4232988 HAS SOPS 4232988 HAS SOUS 1091194 HAS SOUPS 1091194 WITH SCORE 1095426.988
AT ITER 544 NEW BEST:: SOT 9127098 SOS 4232901 HAS SOPS 4232901 HAS SOUS 1091107 HAS SOUPS 1091107 WITH SCORE 1095339.901
AT ITER 550 NEW BEST:: SOT 9127595 SOS 4233216 HAS SOPS 4233216 HAS SOUS 1089978 HAS SOUPS 1089978 WITH SCORE 1094211.216
AT ITER 558 NEW BEST:: SOT 9127595 SOS 4233055 HAS SOPS 4233055 HAS SOUS 1088368 HAS SOUPS 1088368 WITH SCORE 1092601.055
AT ITER 586 NEW BEST:: SOT 9127585 SOS 4233045 HAS SOPS 4233045 HAS SOUS 1088358 HAS SOUPS 1088358 WITH SCORE 1092591.045
AT ITER 587 NEW BEST:: SOT 9127093 SOS 4232553 HAS SOPS 4232553 HAS SOUS 1087866 HAS SOUPS 1087866 WITH SCORE 1092098.553
AT ITER 589 NEW BEST:: SOT 9127007 SOS 4232467 HAS SOPS 4232467 HAS SOUS 1087780 HAS SOUPS 1087780 WITH SCORE 1092012.467
AT ITER 591 NEW BEST:: SOT 9126975 SOS 4232516 HAS SOPS 4232516 HAS SOUS 1087716 HAS SOUPS 1087716 WITH SCORE 1091948.516
AT ITER 603 NEW BEST:: SOT 9126908 SOS 4232311 HAS SOPS 4232311 HAS SOUS 1086443 HAS SOUPS 1086443 WITH SCORE 1090675.311
AT ITER 606 NEW BEST:: SOT 9126850 SOS 4235046 HAS SOPS 4232261 HAS SOUS 1086620 HAS SOUPS 1086339 WITH SCORE 1090574.046
AT ITER 613 NEW BEST:: SOT 9126858 SOS 4235413 HAS SOPS 4232628 HAS SOUS 1086440 HAS SOUPS 1086159 WITH SCORE 1090394.413
AT ITER 625 NEW BEST:: SOT 9126858 SOS 4235413 HAS SOPS 4232628 HAS SOUS 1086110 HAS SOUPS 1085829 WITH SCORE 1090064.413
AT ITER 628 NEW BEST:: SOT 9126858 SOS 4235413 HAS SOPS 4232628 HAS SOUS 1086096 HAS SOUPS 1085815 WITH SCORE 1090050.413
AT ITER 633 NEW BEST:: SOT 9126826 SOS 4235381 HAS SOPS 4232596 HAS SOUS 1086064 HAS SOUPS 1085783 WITH SCORE 1090018.381
AT ITER 640 NEW BEST:: SOT 9126617 SOS 4235172 HAS SOPS 4232387 HAS SOUS 1085855 HAS SOUPS 1085574 WITH SCORE 1089809.172
AT ITER 643 NEW BEST:: SOT 9127784 SOS 4235979 HAS SOPS 4233194 HAS SOUS 1083492 HAS SOUPS 1083211 WITH SCORE 1087446.979
AT ITER 651 NEW BEST:: SOT 9127829 SOS 4236078 HAS SOPS 4233293 HAS SOUS 1083231 HAS SOUPS 1082950 WITH SCORE 1087186.078
AT ITER 653 NEW BEST:: SOT 9127723 SOS 4235972 HAS SOPS 4233187 HAS SOUS 1083125 HAS SOUPS 1082844 WITH SCORE 1087079.972
AT ITER 675 NEW BEST:: SOT 9127730 SOS 4235972 HAS SOPS 4233187 HAS SOUS 1083062 HAS SOUPS 1082781 WITH SCORE 1087016.972
AT ITER 682 NEW BEST:: SOT 9127674 SOS 4235916 HAS SOPS 4233131 HAS SOUS 1083006 HAS SOUPS 1082725 WITH SCORE 1086960.916
AT ITER 690 NEW BEST:: SOT 9127908 SOS 4236005 HAS SOPS 4233220 HAS SOUS 1081767 HAS SOUPS 1081486 WITH SCORE 1085722.005
AT ITER 697 NEW BEST:: SOT 9128567 SOS 4236437 HAS SOPS 4233652 HAS SOUS 1080191 HAS SOUPS 1079910 WITH SCORE 1084146.437
AT ITER 706 NEW BEST:: SOT 9128479 SOS 4236453 HAS SOPS 4233668 HAS SOUS 1080175 HAS SOUPS 1079894 WITH SCORE 1084130.453
AT ITER 723 NEW BEST:: SOT 9128479 SOS 4236216 HAS SOPS 4233431 HAS SOUS 1079938 HAS SOUPS 1079657 WITH SCORE 1083893.216
AT ITER 728 NEW BEST:: SOT 9128383 SOS 4236120 HAS SOPS 4233335 HAS SOUS 1079773 HAS SOUPS 1079492 WITH SCORE 1083728.12
AT ITER 732 NEW BEST:: SOT 9128383 SOS 4236311 HAS SOPS 4233526 HAS SOUS 1079604 HAS SOUPS 1079323 WITH SCORE 1083559.311
AT ITER 742 NEW BEST:: SOT 9128272 SOS 4236200 HAS SOPS 4233415 HAS SOUS 1079493 HAS SOUPS 1079212 WITH SCORE 1083448.2
AT ITER 743 NEW BEST:: SOT 9128857 SOS 4236615 HAS SOPS 4233830 HAS SOUS 1078270 HAS SOUPS 1077989 WITH SCORE 1082225.615
AT ITER 748 NEW BEST:: SOT 9129041 SOS 4236571 HAS SOPS 4233786 HAS SOUS 1076250 HAS SOUPS 1075969 WITH SCORE 1080205.571
AT ITER 750 NEW BEST:: SOT 9128995 SOS 4236579 HAS SOPS 4233794 HAS SOUS 1076131 HAS SOUPS 1075850 WITH SCORE 1080086.579
AT ITER 754 NEW BEST:: SOT 9128945 SOS 4236529 HAS SOPS 4233744 HAS SOUS 1076081 HAS SOUPS 1075800 WITH SCORE 1080036.529
AT ITER 757 NEW BEST:: SOT 9128698 SOS 4236100 HAS SOPS 4233315 HAS SOUS 1074014 HAS SOUPS 1073733 WITH SCORE 1077969.1
AT ITER 760 NEW BEST:: SOT 9128546 SOS 4235948 HAS SOPS 4233163 HAS SOUS 1073854 HAS SOUPS 1073573 WITH SCORE 1077808.948
AT ITER 761 NEW BEST:: SOT 9128589 SOS 4235787 HAS SOPS 4233002 HAS SOUS 1071857 HAS SOUPS 1071576 WITH SCORE 1075811.787
AT ITER 771 NEW BEST:: SOT 9128244 SOS 4235442 HAS SOPS 4232657 HAS SOUS 1071512 HAS SOUPS 1071231 WITH SCORE 1075466.442
AT ITER 772 NEW BEST:: SOT 9128157 SOS 4235294 HAS SOPS 4232509 HAS SOUS 1070815 HAS SOUPS 1070534 WITH SCORE 1074769.294
AT ITER 781 NEW BEST:: SOT 9128125 SOS 4235284 HAS SOPS 4232499 HAS SOUS 1070783 HAS SOUPS 1070502 WITH SCORE 1074737.284
AT ITER 782 NEW BEST:: SOT 9128115 SOS 4235274 HAS SOPS 4232489 HAS SOUS 1070773 HAS SOUPS 1070492 WITH SCORE 1074727.274
AT ITER 791 NEW BEST:: SOT 9128115 SOS 4235252 HAS SOPS 4232467 HAS SOUS 1070575 HAS SOUPS 1070294 WITH SCORE 1074529.252
AT ITER 792 NEW BEST:: SOT 9128652 SOS 4235351 HAS SOPS 4232566 HAS SOUS 1066732 HAS SOUPS 1066451 WITH SCORE 1070686.351
AT ITER 801 NEW BEST:: SOT 9125898 SOS 4296597 HAS SOPS 4293812 HAS SOUS 1066136 HAS SOUPS 1065855 WITH SCORE 1070151.597
AT ITER 805 NEW BEST:: SOT 9125912 SOS 4296597 HAS SOPS 4293812 HAS SOUS 1066010 HAS SOUPS 1065729 WITH SCORE 1070025.597
AT ITER 807 NEW BEST:: SOT 9126325 SOS 4296828 HAS SOPS 4294043 HAS SOUS 1064621 HAS SOUPS 1064340 WITH SCORE 1068636.828
AT ITER 810 NEW BEST:: SOT 9126264 SOS 4296767 HAS SOPS 4293982 HAS SOUS 1064560 HAS SOUPS 1064279 WITH SCORE 1068575.767
AT ITER 816 NEW BEST:: SOT 9126264 SOS 4296553 HAS SOPS 4293768 HAS SOUS 1062420 HAS SOUPS 1062139 WITH SCORE 1066435.553
AT ITER 832 NEW BEST:: SOT 9126264 SOS 4296491 HAS SOPS 4293706 HAS SOUS 1061800 HAS SOUPS 1061519 WITH SCORE 1065815.491
AT ITER 833 NEW BEST:: SOT 9126415 SOS 4296150 HAS SOPS 4293365 HAS SOUS 1061789 HAS SOUPS 1061508 WITH SCORE 1065804.15
AT ITER 839 NEW BEST:: SOT 9126432 SOS 4295950 HAS SOPS 4293165 HAS SOUS 1059636 HAS SOUPS 1059355 WITH SCORE 1063650.95
AT ITER 844 NEW BEST:: SOT 9126365 SOS 4295883 HAS SOPS 4293098 HAS SOUS 1059569 HAS SOUPS 1059288 WITH SCORE 1063583.883
AT ITER 847 NEW BEST:: SOT 9126331 SOS 4295872 HAS SOPS 4293087 HAS SOUS 1059535 HAS SOUPS 1059254 WITH SCORE 1063549.872
AT ITER 848 NEW BEST:: SOT 9126297 SOS 4295838 HAS SOPS 4293053 HAS SOUS 1059497 HAS SOUPS 1059216 WITH SCORE 1063511.838
AT ITER 862 NEW BEST:: SOT 9126297 SOS 4295656 HAS SOPS 4292871 HAS SOUS 1057833 HAS SOUPS 1057552 WITH SCORE 1061847.656
AT ITER 877 NEW BEST:: SOT 9126209 SOS 4295568 HAS SOPS 4292783 HAS SOUS 1057745 HAS SOUPS 1057464 WITH SCORE 1061759.568
AT ITER 883 NEW BEST:: SOT 9125862 SOS 4295221 HAS SOPS 4292436 HAS SOUS 1057398 HAS SOUPS 1057117 WITH SCORE 1061412.221
AT ITER 887 NEW BEST:: SOT 9125862 SOS 4295187 HAS SOPS 4292402 HAS SOUS 1057242 HAS SOUPS 1056961 WITH SCORE 1061256.187
AT ITER 894 NEW BEST:: SOT 9126221 SOS 4295364 HAS SOPS 4292579 HAS SOUS 1055791 HAS SOUPS 1055510 WITH SCORE 1059805.364
AT ITER 896 NEW BEST:: SOT 9126144 SOS 4295405 HAS SOPS 4292620 HAS SOUS 1055766 HAS SOUPS 1055485 WITH SCORE 1059780.405
AT ITER 897 NEW BEST:: SOT 9126193 SOS 4295157 HAS SOPS 4292372 HAS SOUS 1052845 HAS SOUPS 1052564 WITH SCORE 1056859.157
AT ITER 911 NEW BEST:: SOT 9126156 SOS 4294938 HAS SOPS 4292153 HAS SOUS 1051003 HAS SOUPS 1050722 WITH SCORE 1055016.938
AT ITER 914 NEW BEST:: SOT 9125898 SOS 4294680 HAS SOPS 4291895 HAS SOUS 1050745 HAS SOUPS 1050464 WITH SCORE 1054758.68
AT ITER 915 NEW BEST:: SOT 9125836 SOS 4294618 HAS SOPS 4291833 HAS SOUS 1050683 HAS SOUPS 1050402 WITH SCORE 1054696.618
AT ITER 924 NEW BEST:: SOT 9125688 SOS 4294470 HAS SOPS 4291685 HAS SOUS 1050531 HAS SOUPS 1050250 WITH SCORE 1054544.47
AT ITER 940 NEW BEST:: SOT 9125688 SOS 4294470 HAS SOPS 4291685 HAS SOUS 1050237 HAS SOUPS 1049956 WITH SCORE 1054250.47
AT ITER 944 NEW BEST:: SOT 9125651 SOS 4294470 HAS SOPS 4291685 HAS SOUS 1049904 HAS SOUPS 1049623 WITH SCORE 1053917.47
AT ITER 948 NEW BEST:: SOT 9125651 SOS 4294431 HAS SOPS 4291646 HAS SOUS 1049540 HAS SOUPS 1049259 WITH SCORE 1053553.431
AT ITER 960 NEW BEST:: SOT 9125683 SOS 4294281 HAS SOPS 4291496 HAS SOUS 1048016 HAS SOUPS 1047735 WITH SCORE 1052029.281
AT ITER 964 NEW BEST:: SOT 9125636 SOS 4294052 HAS SOPS 4291267 HAS SOUS 1046289 HAS SOUPS 1046008 WITH SCORE 1050302.052
AT ITER 966 NEW BEST:: SOT 9125445 SOS 4293861 HAS SOPS 4291076 HAS SOUS 1046098 HAS SOUPS 1045817 WITH SCORE 1050110.861
AT ITER 969 NEW BEST:: SOT 9125430 SOS 4293664 HAS SOPS 4290879 HAS SOUS 1044263 HAS SOUPS 1043982 WITH SCORE 1048275.664
AT ITER 985 NEW BEST:: SOT 9125430 SOS 4293664 HAS SOPS 4290879 HAS SOUS 1044254 HAS SOUPS 1043973 WITH SCORE 1048266.664
AT ITER 986 NEW BEST:: SOT 9125577 SOS 4293768 HAS SOPS 4290983 HAS SOUS 1044023 HAS SOUPS 1043742 WITH SCORE 1048035.768
AT ITER 990 NEW BEST:: SOT 9125641 SOS 4293439 HAS SOPS 4290654 HAS SOUS 1039909 HAS SOUPS 1039628 WITH SCORE 1043921.439
AT ITER 1020 NEW BEST:: SOT 9125549 SOS 4293347 HAS SOPS 4290562 HAS SOUS 1039817 HAS SOUPS 1039536 WITH SCORE 1043829.347
AT ITER 1035 NEW BEST:: SOT 9125525 SOS 4293323 HAS SOPS 4290538 HAS SOUS 1039793 HAS SOUPS 1039512 WITH SCORE 1043805.323
AT ITER 1036 NEW BEST:: SOT 9125476 SOS 4293274 HAS SOPS 4290489 HAS SOUS 1039744 HAS SOUPS 1039463 WITH SCORE 1043756.274
AT ITER 1038 NEW BEST:: SOT 9125435 SOS 4293233 HAS SOPS 4290448 HAS SOUS 1039703 HAS SOUPS 1039422 WITH SCORE 1043715.233
AT ITER 1058 NEW BEST:: SOT 6871772 SOS 2041575 HAS SOPS 2038790 HAS SOUS 853040 HAS SOUPS 852759 WITH SCORE 854800.575
AT ITER 1059 NEW BEST:: SOT 6871647 SOS 2041450 HAS SOPS 2038665 HAS SOUS 852847 HAS SOUPS 852566 WITH SCORE 854607.45
AT ITER 1063 NEW BEST:: SOT 6871768 SOS 2041316 HAS SOPS 2038531 HAS SOUS 850528 HAS SOUPS 850247 WITH SCORE 852288.316
AT ITER 1075 NEW BEST:: SOT 6871768 SOS 2041278 HAS SOPS 2038493 HAS SOUS 848575 HAS SOUPS 848294 WITH SCORE 850335.278
AT ITER 1079 NEW BEST:: SOT 6871786 SOS 2041115 HAS SOPS 2038330 HAS SOUS 846783 HAS SOUPS 846502 WITH SCORE 848543.115
AT ITER 1092 NEW BEST:: SOT 6871786 SOS 2041079 HAS SOPS 2038294 HAS SOUS 846747 HAS SOUPS 846466 WITH SCORE 848507.079
AT ITER 1100 NEW BEST:: SOT 6871999 SOS 2040900 HAS SOPS 2038115 HAS SOUS 846743 HAS SOUPS 846462 WITH SCORE 848502.9
AT ITER 1111 NEW BEST:: SOT 6871999 SOS 2040886 HAS SOPS 2038101 HAS SOUS 845303 HAS SOUPS 845022 WITH SCORE 847062.886
AT ITER 1122 NEW BEST:: SOT 6871941 SOS 2040828 HAS SOPS 2038043 HAS SOUS 845245 HAS SOUPS 844964 WITH SCORE 847004.828
AT ITER 1124 NEW BEST:: SOT 6872339 SOS 2041044 HAS SOPS 2038259 HAS SOUS 844118 HAS SOUPS 843837 WITH SCORE 845878.044
AT ITER 1127 NEW BEST:: SOT 6872289 SOS 2041044 HAS SOPS 2038259 HAS SOUS 844070 HAS SOUPS 843789 WITH SCORE 845830.044
AT ITER 1128 NEW BEST:: SOT 6872289 SOS 2041044 HAS SOPS 2038259 HAS SOUS 843971 HAS SOUPS 843690 WITH SCORE 845731.044
AT ITER 1148 NEW BEST:: SOT 6872325 SOS 2040898 HAS SOPS 2038113 HAS SOUS 842536 HAS SOUPS 842255 WITH SCORE 844295.898
AT ITER 1154 NEW BEST:: SOT 6872345 SOS 2040712 HAS SOPS 2037927 HAS SOUS 840496 HAS SOUPS 840215 WITH SCORE 842255.712
AT ITER 1155 NEW BEST:: SOT 6872298 SOS 2040665 HAS SOPS 2037880 HAS SOUS 840449 HAS SOUPS 840168 WITH SCORE 842208.665
AT ITER 1161 NEW BEST:: SOT 6872198 SOS 2040565 HAS SOPS 2037780 HAS SOUS 840276 HAS SOUPS 839995 WITH SCORE 842035.565
AT ITER 1166 NEW BEST:: SOT 6872064 SOS 2040431 HAS SOPS 2037646 HAS SOUS 840123 HAS SOUPS 839842 WITH SCORE 841882.431
AT ITER 1168 NEW BEST:: SOT 6872064 SOS 2040418 HAS SOPS 2037633 HAS SOUS 837833 HAS SOUPS 837552 WITH SCORE 839592.418
AT ITER 1175 NEW BEST:: SOT 6872061 SOS 2040415 HAS SOPS 2037630 HAS SOUS 837780 HAS SOUPS 837499 WITH SCORE 839539.415
AT ITER 1180 NEW BEST:: SOT 6872061 SOS 2040415 HAS SOPS 2037630 HAS SOUS 837690 HAS SOUPS 837409 WITH SCORE 839449.415
AT ITER 1190 NEW BEST:: SOT 6872061 SOS 2041535 HAS SOPS 2037880 HAS SOUS 837568 HAS SOUPS 837200 WITH SCORE 839241.535
AT ITER 1193 NEW BEST:: SOT 6872668 SOS 2041960 HAS SOPS 2038305 HAS SOUS 836436 HAS SOUPS 836068 WITH SCORE 838109.96
AT ITER 1197 NEW BEST:: SOT 6872666 SOS 2041958 HAS SOPS 2038303 HAS SOUS 836432 HAS SOUPS 836064 WITH SCORE 838105.958
AT ITER 1206 NEW BEST:: SOT 6872646 SOS 2041938 HAS SOPS 2038283 HAS SOUS 836372 HAS SOUPS 836004 WITH SCORE 838045.938
AT ITER 1207 NEW BEST:: SOT 6872495 SOS 2041624 HAS SOPS 2037969 HAS SOUS 834754 HAS SOUPS 834386 WITH SCORE 836427.624
AT ITER 1217 NEW BEST:: SOT 6872437 SOS 2041425 HAS SOPS 2037770 HAS SOUS 833554 HAS SOUPS 833186 WITH SCORE 835227.425
AT ITER 1218 NEW BEST:: SOT 6872744 SOS 2041425 HAS SOPS 2037770 HAS SOUS 830815 HAS SOUPS 830447 WITH SCORE 832488.425
AT ITER 1225 NEW BEST:: SOT 6874041 SOS 2042540 HAS SOPS 2038885 HAS SOUS 830478 HAS SOUPS 830110 WITH SCORE 832152.54
AT ITER 1235 NEW BEST:: SOT 6874041 SOS 2042503 HAS SOPS 2038848 HAS SOUS 828158 HAS SOUPS 827790 WITH SCORE 829832.503
AT ITER 1236 NEW BEST:: SOT 6874102 SOS 2042602 HAS SOPS 2038947 HAS SOUS 827897 HAS SOUPS 827529 WITH SCORE 829571.602
AT ITER 1241 NEW BEST:: SOT 6873795 SOS 2042295 HAS SOPS 2038640 HAS SOUS 827460 HAS SOUPS 827092 WITH SCORE 829134.295
AT ITER 1253 NEW BEST:: SOT 6874559 SOS 2042911 HAS SOPS 2039256 HAS SOUS 826944 HAS SOUPS 826576 WITH SCORE 828618.911
AT ITER 1256 NEW BEST:: SOT 6874526 SOS 2042878 HAS SOPS 2039223 HAS SOUS 826911 HAS SOUPS 826543 WITH SCORE 828585.878
AT ITER 1260 NEW BEST:: SOT 6874439 SOS 2042791 HAS SOPS 2039136 HAS SOUS 826725 HAS SOUPS 826357 WITH SCORE 828399.791
AT ITER 1266 NEW BEST:: SOT 6874418 SOS 2042749 HAS SOPS 2039094 HAS SOUS 826494 HAS SOUPS 826126 WITH SCORE 828168.749
AT ITER 1268 NEW BEST:: SOT 6874388 SOS 2042704 HAS SOPS 2039049 HAS SOUS 826359 HAS SOUPS 825991 WITH SCORE 828033.704
AT ITER 1271 NEW BEST:: SOT 6874684 SOS 2042979 HAS SOPS 2039324 HAS SOUS 825791 HAS SOUPS 825423 WITH SCORE 827465.979
AT ITER 1274 NEW BEST:: SOT 6874636 SOS 2042931 HAS SOPS 2039276 HAS SOUS 825743 HAS SOUPS 825375 WITH SCORE 827417.931
AT ITER 1277 NEW BEST:: SOT 6874626 SOS 2042931 HAS SOPS 2039276 HAS SOUS 825723 HAS SOUPS 825355 WITH SCORE 827397.931
AT ITER 1278 NEW BEST:: SOT 6874626 SOS 2042931 HAS SOPS 2039276 HAS SOUS 825543 HAS SOUPS 825175 WITH SCORE 827217.931
AT ITER 1285 NEW BEST:: SOT 6874752 SOS 2042875 HAS SOPS 2039220 HAS SOUS 824091 HAS SOUPS 823723 WITH SCORE 825765.875
AT ITER 1293 NEW BEST:: SOT 6874678 SOS 2042740 HAS SOPS 2039085 HAS SOUS 823407 HAS SOUPS 823039 WITH SCORE 825081.74
AT ITER 1296 NEW BEST:: SOT 6874730 SOS 2042844 HAS SOPS 2039189 HAS SOUS 823355 HAS SOUPS 822987 WITH SCORE 825029.844
AT ITER 1304 NEW BEST:: SOT 6874656 SOS 2042696 HAS SOPS 2039041 HAS SOUS 823207 HAS SOUPS 822839 WITH SCORE 824881.696
AT ITER 1305 NEW BEST:: SOT 6874602 SOS 2042642 HAS SOPS 2038987 HAS SOUS 823076 HAS SOUPS 822708 WITH SCORE 824750.642
AT ITER 1308 NEW BEST:: SOT 6874602 SOS 2042606 HAS SOPS 2038951 HAS SOUS 822406 HAS SOUPS 822038 WITH SCORE 824080.606
AT ITER 1309 NEW BEST:: SOT 6874602 SOS 2042606 HAS SOPS 2038951 HAS SOUS 822339 HAS SOUPS 821971 WITH SCORE 824013.606
AT ITER 1314 NEW BEST:: SOT 6873770 SOS 2041774 HAS SOPS 2038119 HAS SOUS 821507 HAS SOUPS 821139 WITH SCORE 823180.774
AT ITER 1319 NEW BEST:: SOT 6873833 SOS 2041837 HAS SOPS 2038182 HAS SOUS 820613 HAS SOUPS 820245 WITH SCORE 822286.837
AT ITER 1328 NEW BEST:: SOT 6873833 SOS 2041837 HAS SOPS 2038182 HAS SOUS 820586 HAS SOUPS 820218 WITH SCORE 822259.837
AT ITER 1329 NEW BEST:: SOT 6873892 SOS 2041837 HAS SOPS 2038182 HAS SOUS 820146 HAS SOUPS 819778 WITH SCORE 821819.837
AT ITER 1330 NEW BEST:: SOT 6873882 SOS 2041827 HAS SOPS 2038172 HAS SOUS 820040 HAS SOUPS 819672 WITH SCORE 821713.827
AT ITER 1331 NEW BEST:: SOT 6873846 SOS 2041815 HAS SOPS 2038160 HAS SOUS 820004 HAS SOUPS 819636 WITH SCORE 821677.815
AT ITER 1348 NEW BEST:: SOT 6873835 SOS 2041782 HAS SOPS 2038127 HAS SOUS 819993 HAS SOUPS 819625 WITH SCORE 821666.782
AT ITER 1358 NEW BEST:: SOT 6873835 SOS 2041782 HAS SOPS 2038127 HAS SOUS 819747 HAS SOUPS 819379 WITH SCORE 821420.782
AT ITER 1370 NEW BEST:: SOT 6873495 SOS 2041272 HAS SOPS 2037617 HAS SOUS 817872 HAS SOUPS 817504 WITH SCORE 819545.272
AT ITER 1373 NEW BEST:: SOT 6873951 SOS 2041728 HAS SOPS 2038073 HAS SOUS 814660 HAS SOUPS 814292 WITH SCORE 816333.728
AT ITER 1376 NEW BEST:: SOT 6875337 SOS 2043062 HAS SOPS 2039407 HAS SOUS 814591 HAS SOUPS 814223 WITH SCORE 816266.062
AT ITER 1379 NEW BEST:: SOT 6875337 SOS 2044616 HAS SOPS 2040961 HAS SOUS 814557 HAS SOUPS 814189 WITH SCORE 816233.616
AT ITER 1381 NEW BEST:: SOT 6875691 SOS 2044711 HAS SOPS 2041056 HAS SOUS 812683 HAS SOUPS 812315 WITH SCORE 814359.711
AT ITER 1388 NEW BEST:: SOT 6875839 SOS 2044677 HAS SOPS 2041022 HAS SOUS 811129 HAS SOUPS 810761 WITH SCORE 812805.677
AT ITER 1394 NEW BEST:: SOT 6875839 SOS 2044777 HAS SOPS 2041122 HAS SOUS 810903 HAS SOUPS 810535 WITH SCORE 812579.777
AT ITER 1418 NEW BEST:: SOT 6875839 SOS 2044745 HAS SOPS 2041090 HAS SOUS 810615 HAS SOUPS 810247 WITH SCORE 812291.745
AT ITER 1433 NEW BEST:: SOT 6875963 SOS 2044314 HAS SOPS 2040659 HAS SOUS 810293 HAS SOUPS 809925 WITH SCORE 811969.314
AT ITER 1434 NEW BEST:: SOT 6875963 SOS 2044314 HAS SOPS 2040659 HAS SOUS 809740 HAS SOUPS 809372 WITH SCORE 811416.314
AT ITER 1436 NEW BEST:: SOT 6875863 SOS 2044214 HAS SOPS 2040559 HAS SOUS 809628 HAS SOUPS 809260 WITH SCORE 811304.214
AT ITER 1437 NEW BEST:: SOT 6875863 SOS 2044214 HAS SOPS 2040559 HAS SOUS 809503 HAS SOUPS 809135 WITH SCORE 811179.214
AT ITER 1440 NEW BEST:: SOT 6875762 SOS 2043931 HAS SOPS 2040276 HAS SOUS 807590 HAS SOUPS 807222 WITH SCORE 809265.931
AT ITER 1445 NEW BEST:: SOT 6875738 SOS 2043907 HAS SOPS 2040252 HAS SOUS 807561 HAS SOUPS 807193 WITH SCORE 809236.907
AT ITER 1451 NEW BEST:: SOT 6875688 SOS 2043972 HAS SOPS 2040317 HAS SOUS 807553 HAS SOUPS 807185 WITH SCORE 809228.972
AT ITER 1462 NEW BEST:: SOT 6875561 SOS 2043859 HAS SOPS 2040204 HAS SOUS 807545 HAS SOUPS 807177 WITH SCORE 809220.859
AT ITER 1469 NEW BEST:: SOT 6875528 SOS 2043826 HAS SOPS 2040171 HAS SOUS 807486 HAS SOUPS 807118 WITH SCORE 809161.826
AT ITER 1473 NEW BEST:: SOT 6875424 SOS 2043722 HAS SOPS 2040067 HAS SOUS 807278 HAS SOUPS 806910 WITH SCORE 808953.722
AT ITER 1474 NEW BEST:: SOT 6875424 SOS 2043619 HAS SOPS 2039964 HAS SOUS 807180 HAS SOUPS 806812 WITH SCORE 808855.619
AT ITER 1487 NEW BEST:: SOT 6875655 SOS 2043248 HAS SOPS 2039593 HAS SOUS 806943 HAS SOUPS 806575 WITH SCORE 808618.248
AT ITER 1500 NEW BEST:: SOT 6875793 SOS 2043327 HAS SOPS 2039672 HAS SOUS 806767 HAS SOUPS 806399 WITH SCORE 808442.327
AT ITER 1502 NEW BEST:: SOT 6875619 SOS 2043153 HAS SOPS 2039498 HAS SOUS 806593 HAS SOUPS 806225 WITH SCORE 808268.153
AT ITER 1519 NEW BEST:: SOT 6875510 SOS 2043044 HAS SOPS 2039389 HAS SOUS 806484 HAS SOUPS 806116 WITH SCORE 808159.044
AT ITER 1521 NEW BEST:: SOT 6875510 SOS 2043044 HAS SOPS 2039389 HAS SOUS 806460 HAS SOUPS 806092 WITH SCORE 808135.044
AT ITER 1526 NEW BEST:: SOT 6875510 SOS 2042807 HAS SOPS 2039152 HAS SOUS 806223 HAS SOUPS 805855 WITH SCORE 807897.807
AT ITER 1530 NEW BEST:: SOT 6875486 SOS 2042771 HAS SOPS 2039116 HAS SOUS 806079 HAS SOUPS 805711 WITH SCORE 807753.771
AT ITER 1534 NEW BEST:: SOT 6875422 SOS 2042707 HAS SOPS 2039052 HAS SOUS 806015 HAS SOUPS 805647 WITH SCORE 807689.707
AT ITER 1536 NEW BEST:: SOT 6875422 SOS 2042658 HAS SOPS 2039003 HAS SOUS 806015 HAS SOUPS 805647 WITH SCORE 807689.658
AT ITER 1537 NEW BEST:: SOT 6875339 SOS 2042514 HAS SOPS 2038859 HAS SOUS 805640 HAS SOUPS 805272 WITH SCORE 807314.514
AT ITER 1541 NEW BEST:: SOT 6875531 SOS 2042706 HAS SOPS 2039051 HAS SOUS 804483 HAS SOUPS 804115 WITH SCORE 806157.706
AT ITER 1547 NEW BEST:: SOT 6875531 SOS 2042706 HAS SOPS 2039051 HAS SOUS 802933 HAS SOUPS 802565 WITH SCORE 804607.706
AT ITER 1548 NEW BEST:: SOT 6875531 SOS 2042706 HAS SOPS 2039051 HAS SOUS 802620 HAS SOUPS 802252 WITH SCORE 804294.706
AT ITER 1549 NEW BEST:: SOT 6876053 SOS 2042927 HAS SOPS 2039272 HAS SOUS 800879 HAS SOUPS 800511 WITH SCORE 802553.927
AT ITER 1554 NEW BEST:: SOT 6876053 SOS 2042927 HAS SOPS 2039272 HAS SOUS 798909 HAS SOUPS 798541 WITH SCORE 800583.927
AT ITER 1556 NEW BEST:: SOT 6876053 SOS 2042927 HAS SOPS 2039272 HAS SOUS 798854 HAS SOUPS 798486 WITH SCORE 800528.927
AT ITER 1565 NEW BEST:: SOT 6875947 SOS 2042821 HAS SOPS 2039166 HAS SOUS 798748 HAS SOUPS 798380 WITH SCORE 800422.821
AT ITER 1577 NEW BEST:: SOT 6875947 SOS 2042821 HAS SOPS 2039166 HAS SOUS 798733 HAS SOUPS 798365 WITH SCORE 800407.821
AT ITER 1583 NEW BEST:: SOT 6875947 SOS 2042821 HAS SOPS 2039166 HAS SOUS 798712 HAS SOUPS 798344 WITH SCORE 800386.821
AT ITER 1587 NEW BEST:: SOT 6875879 SOS 2042753 HAS SOPS 2039098 HAS SOUS 798644 HAS SOUPS 798276 WITH SCORE 800318.753
AT ITER 1592 NEW BEST:: SOT 6875879 SOS 2042753 HAS SOPS 2039098 HAS SOUS 798563 HAS SOUPS 798195 WITH SCORE 800237.753
AT ITER 1601 NEW BEST:: SOT 6875879 SOS 2042629 HAS SOPS 2038974 HAS SOUS 798553 HAS SOUPS 798185 WITH SCORE 800227.629
AT ITER 1602 NEW BEST:: SOT 6876390 SOS 2043140 HAS SOPS 2039485 HAS SOUS 797292 HAS SOUPS 796924 WITH SCORE 798967.14
AT ITER 1617 NEW BEST:: SOT 6876375 SOS 2043125 HAS SOPS 2039470 HAS SOUS 797277 HAS SOUPS 796909 WITH SCORE 798952.125
AT ITER 1649 NEW BEST:: SOT 6876375 SOS 2043125 HAS SOPS 2039470 HAS SOUS 797223 HAS SOUPS 796855 WITH SCORE 798898.125
AT ITER 1650 NEW BEST:: SOT 6876272 SOS 2043022 HAS SOPS 2039367 HAS SOUS 797120 HAS SOUPS 796752 WITH SCORE 798795.022
AT ITER 1653 NEW BEST:: SOT 6876253 SOS 2042984 HAS SOPS 2039329 HAS SOUS 796911 HAS SOUPS 796543 WITH SCORE 798585.984
AT ITER 1654 NEW BEST:: SOT 6876251 SOS 2042982 HAS SOPS 2039327 HAS SOUS 796907 HAS SOUPS 796539 WITH SCORE 798581.982
AT ITER 1658 NEW BEST:: SOT 6876199 SOS 2042930 HAS SOPS 2039275 HAS SOUS 796569 HAS SOUPS 796201 WITH SCORE 798243.93
AT ITER 1666 NEW BEST:: SOT 6876098 SOS 2042829 HAS SOPS 2039174 HAS SOUS 796468 HAS SOUPS 796100 WITH SCORE 798142.829
AT ITER 1673 NEW BEST:: SOT 6875984 SOS 2042715 HAS SOPS 2039060 HAS SOUS 796240 HAS SOUPS 795872 WITH SCORE 797914.715
AT ITER 1674 NEW BEST:: SOT 6875982 SOS 2042713 HAS SOPS 2039058 HAS SOUS 796226 HAS SOUPS 795858 WITH SCORE 797900.713
AT ITER 1677 NEW BEST:: SOT 6876284 SOS 2042955 HAS SOPS 2039300 HAS SOUS 795678 HAS SOUPS 795310 WITH SCORE 797352.955
AT ITER 1687 NEW BEST:: SOT 6876198 SOS 2042869 HAS SOPS 2039214 HAS SOUS 795496 HAS SOUPS 795128 WITH SCORE 797170.869
AT ITER 1705 NEW BEST:: SOT 6876198 SOS 2042724 HAS SOPS 2039069 HAS SOUS 795496 HAS SOUPS 795128 WITH SCORE 797170.724
AT ITER 1708 NEW BEST:: SOT 6876206 SOS 2042724 HAS SOPS 2039069 HAS SOUS 795424 HAS SOUPS 795056 WITH SCORE 797098.724
AT ITER 1711 NEW BEST:: SOT 6876119 SOS 2042637 HAS SOPS 2038982 HAS SOUS 795271 HAS SOUPS 794903 WITH SCORE 796945.637
AT ITER 1719 NEW BEST:: SOT 6875997 SOS 2042515 HAS SOPS 2038860 HAS SOUS 795052 HAS SOUPS 794684 WITH SCORE 796726.515
AT ITER 1722 NEW BEST:: SOT 6876568 SOS 2042909 HAS SOPS 2039254 HAS SOUS 794310 HAS SOUPS 793942 WITH SCORE 795984.909
AT ITER 1726 NEW BEST:: SOT 6876758 SOS 2043054 HAS SOPS 2039399 HAS SOUS 794160 HAS SOUPS 793792 WITH SCORE 795835.054
AT ITER 1733 NEW BEST:: SOT 6876643 SOS 2042939 HAS SOPS 2039284 HAS SOUS 793930 HAS SOUPS 793562 WITH SCORE 795604.939
AT ITER 1739 NEW BEST:: SOT 6876517 SOS 2042813 HAS SOPS 2039158 HAS SOUS 793439 HAS SOUPS 793071 WITH SCORE 795113.813
AT ITER 1750 NEW BEST:: SOT 6876443 SOS 2042795 HAS SOPS 2039140 HAS SOUS 793365 HAS SOUPS 792997 WITH SCORE 795039.795
AT ITER 1751 NEW BEST:: SOT 6876429 SOS 2042767 HAS SOPS 2039112 HAS SOUS 793189 HAS SOUPS 792821 WITH SCORE 794863.767
AT ITER 1756 NEW BEST:: SOT 6876365 SOS 2042703 HAS SOPS 2039048 HAS SOUS 793084 HAS SOUPS 792716 WITH SCORE 794758.703
AT ITER 1771 NEW BEST:: SOT 6876170 SOS 2042508 HAS SOPS 2038853 HAS SOUS 790589 HAS SOUPS 790221 WITH SCORE 792263.508
AT ITER 1790 NEW BEST:: SOT 6876049 SOS 2042387 HAS SOPS 2038732 HAS SOUS 790372 HAS SOUPS 790004 WITH SCORE 792046.387
AT ITER 1791 NEW BEST:: SOT 6876079 SOS 2042447 HAS SOPS 2038792 HAS SOUS 790204 HAS SOUPS 789836 WITH SCORE 791878.447
AT ITER 1796 NEW BEST:: SOT 6876079 SOS 2042398 HAS SOPS 2038743 HAS SOUS 789529 HAS SOUPS 789161 WITH SCORE 791203.398
AT ITER 1800 NEW BEST:: SOT 6876011 SOS 2042330 HAS SOPS 2038675 HAS SOUS 789461 HAS SOUPS 789093 WITH SCORE 791135.33
AT ITER 1801 NEW BEST:: SOT 6875934 SOS 2042253 HAS SOPS 2038598 HAS SOUS 789052 HAS SOUPS 788684 WITH SCORE 790726.253
AT ITER 1818 NEW BEST:: SOT 6875934 SOS 2042224 HAS SOPS 2038569 HAS SOUS 789023 HAS SOUPS 788655 WITH SCORE 790697.224
AT ITER 1822 NEW BEST:: SOT 6875955 SOS 2042184 HAS SOPS 2038529 HAS SOUS 788434 HAS SOUPS 788066 WITH SCORE 790108.184
AT ITER 1826 NEW BEST:: SOT 6875969 SOS 2042116 HAS SOPS 2038461 HAS SOUS 787665 HAS SOUPS 787297 WITH SCORE 789339.116
AT ITER 1828 NEW BEST:: SOT 6875915 SOS 2042062 HAS SOPS 2038407 HAS SOUS 787611 HAS SOUPS 787243 WITH SCORE 789285.062
AT ITER 1832 NEW BEST:: SOT 6875915 SOS 2042019 HAS SOPS 2038364 HAS SOUS 787611 HAS SOUPS 787243 WITH SCORE 789285.019
AT ITER 1836 NEW BEST:: SOT 6722796 SOS 1890450 HAS SOPS 1886795 HAS SOUS 631672 HAS SOUPS 631304 WITH SCORE 633194.45
AT ITER 1849 NEW BEST:: SOT 6722748 SOS 1890402 HAS SOPS 1886747 HAS SOUS 631192 HAS SOUPS 630824 WITH SCORE 632714.402
AT ITER 1852 NEW BEST:: SOT 6722622 SOS 1890276 HAS SOPS 1886621 HAS SOUS 630965 HAS SOUPS 630597 WITH SCORE 632487.276
AT ITER 1864 NEW BEST:: SOT 6722620 SOS 1890274 HAS SOPS 1886619 HAS SOUS 630963 HAS SOUPS 630595 WITH SCORE 632485.274
AT ITER 1865 NEW BEST:: SOT 6722620 SOS 1890274 HAS SOPS 1886619 HAS SOUS 630867 HAS SOUPS 630499 WITH SCORE 632389.274
AT ITER 1869 NEW BEST:: SOT 6722620 SOS 1890274 HAS SOPS 1886619 HAS SOUS 629987 HAS SOUPS 629619 WITH SCORE 631509.274
AT ITER 1872 NEW BEST:: SOT 6722320 SOS 1889974 HAS SOPS 1886319 HAS SOUS 629513 HAS SOUPS 629145 WITH SCORE 631034.974
AT ITER 1874 NEW BEST:: SOT 6721996 SOS 1889650 HAS SOPS 1885995 HAS SOUS 629279 HAS SOUPS 628911 WITH SCORE 630800.65
AT ITER 1882 NEW BEST:: SOT 6721996 SOS 1889631 HAS SOPS 1885976 HAS SOUS 628703 HAS SOUPS 628335 WITH SCORE 630224.631
AT ITER 1886 NEW BEST:: SOT 6721992 SOS 1889627 HAS SOPS 1885972 HAS SOUS 628699 HAS SOUPS 628331 WITH SCORE 630220.627
AT ITER 1892 NEW BEST:: SOT 6721944 SOS 1889579 HAS SOPS 1885924 HAS SOUS 626339 HAS SOUPS 625971 WITH SCORE 627860.579
AT ITER 1895 NEW BEST:: SOT 6721863 SOS 1889498 HAS SOPS 1885843 HAS SOUS 624593 HAS SOUPS 624225 WITH SCORE 626114.498
AT ITER 1910 NEW BEST:: SOT 6721890 SOS 1889525 HAS SOPS 1885870 HAS SOUS 618860 HAS SOUPS 618492 WITH SCORE 620381.525
AT ITER 1913 NEW BEST:: SOT 6721888 SOS 1889521 HAS SOPS 1885866 HAS SOUS 618856 HAS SOUPS 618488 WITH SCORE 620377.521
AT ITER 1916 NEW BEST:: SOT 6721852 SOS 1889485 HAS SOPS 1885830 HAS SOUS 618820 HAS SOUPS 618452 WITH SCORE 620341.485
AT ITER 1929 NEW BEST:: SOT 6721814 SOS 1889447 HAS SOPS 1885792 HAS SOUS 618782 HAS SOUPS 618414 WITH SCORE 620303.447
AT ITER 1940 NEW BEST:: SOT 6721930 SOS 1889379 HAS SOPS 1885724 HAS SOUS 617120 HAS SOUPS 616752 WITH SCORE 618641.379
AT ITER 1966 NEW BEST:: SOT 6721930 SOS 1889364 HAS SOPS 1885709 HAS SOUS 617028 HAS SOUPS 616660 WITH SCORE 618549.364
AT ITER 1981 NEW BEST:: SOT 6721930 SOS 1889339 HAS SOPS 1885684 HAS SOUS 616828 HAS SOUPS 616460 WITH SCORE 618349.339
AT ITER 1994 NEW BEST:: SOT 6721966 SOS 1889317 HAS SOPS 1885662 HAS SOUS 615951 HAS SOUPS 615583 WITH SCORE 617472.317
AT ITER 2000 NEW BEST:: SOT 6721921 SOS 1889397 HAS SOPS 1885742 HAS SOUS 615518 HAS SOUPS 615150 WITH SCORE 617039.397
AT ITER 2001 NEW BEST:: SOT 6721755 SOS 1889231 HAS SOPS 1885576 HAS SOUS 615220 HAS SOUPS 614852 WITH SCORE 616741.231
AT ITER 2004 NEW BEST:: SOT 6721705 SOS 1889181 HAS SOPS 1885526 HAS SOUS 614910 HAS SOUPS 614542 WITH SCORE 616431.181
AT ITER 2012 NEW BEST:: SOT 6721667 SOS 1889105 HAS SOPS 1885450 HAS SOUS 614834 HAS SOUPS 614466 WITH SCORE 616355.105
AT ITER 2019 NEW BEST:: SOT 6721494 SOS 1888932 HAS SOPS 1885277 HAS SOUS 614542 HAS SOUPS 614174 WITH SCORE 616062.932
AT ITER 2021 NEW BEST:: SOT 6706620 SOS 1885174 HAS SOPS 1881519 HAS SOUS 600156 HAS SOUPS 599788 WITH SCORE 601673.174
AT ITER 2030 NEW BEST:: SOT 6706481 SOS 1885035 HAS SOPS 1881380 HAS SOUS 599946 HAS SOUPS 599578 WITH SCORE 601463.035
AT ITER 2033 NEW BEST:: SOT 6706442 SOS 1884996 HAS SOPS 1881341 HAS SOUS 599907 HAS SOUPS 599539 WITH SCORE 601423.996
AT ITER 2036 NEW BEST:: SOT 6705868 SOS 1884422 HAS SOPS 1880767 HAS SOUS 599272 HAS SOUPS 598904 WITH SCORE 600788.422
AT ITER 2037 NEW BEST:: SOT 6707404 SOS 1885958 HAS SOPS 1882303 HAS SOUS 597943 HAS SOUPS 597575 WITH SCORE 599460.958
AT ITER 2046 NEW BEST:: SOT 6709761 SOS 1888315 HAS SOPS 1884660 HAS SOUS 597775 HAS SOUPS 597407 WITH SCORE 599295.315
AT ITER 2058 NEW BEST:: SOT 6708868 SOS 1887422 HAS SOPS 1883767 HAS SOUS 596981 HAS SOUPS 596613 WITH SCORE 598500.422
AT ITER 2061 NEW BEST:: SOT 6708470 SOS 1887024 HAS SOPS 1883369 HAS SOUS 596583 HAS SOUPS 596215 WITH SCORE 598102.024
AT ITER 2065 NEW BEST:: SOT 5899839 SOS 2284004 HAS SOPS 2280349 HAS SOUS 537985 HAS SOUPS 537617 WITH SCORE 539901.004
AT ITER 2085 NEW BEST:: SOT 5900181 SOS 2284346 HAS SOPS 2280691 HAS SOUS 535266 HAS SOUPS 534898 WITH SCORE 537182.346
AT ITER 2096 NEW BEST:: SOT 5900109 SOS 2284274 HAS SOPS 2280619 HAS SOUS 535194 HAS SOUPS 534826 WITH SCORE 537110.274
AT ITER 2101 NEW BEST:: SOT 5899597 SOS 2283762 HAS SOPS 2280107 HAS SOUS 534387 HAS SOUPS 534019 WITH SCORE 536302.762
AT ITER 2109 NEW BEST:: SOT 5899599 SOS 2283435 HAS SOPS 2279780 HAS SOUS 534247 HAS SOUPS 533879 WITH SCORE 536162.435
AT ITER 2113 NEW BEST:: SOT 5899423 SOS 2283259 HAS SOPS 2279604 HAS SOUS 534071 HAS SOUPS 533703 WITH SCORE 535986.259
AT ITER 2130 NEW BEST:: SOT 5899272 SOS 2283108 HAS SOPS 2279453 HAS SOUS 533855 HAS SOUPS 533487 WITH SCORE 535770.108
AT ITER 2133 NEW BEST:: SOT 5900048 SOS 2283884 HAS SOPS 2280229 HAS SOUS 532985 HAS SOUPS 532617 WITH SCORE 534900.884
AT ITER 2139 NEW BEST:: SOT 5898613 SOS 2282449 HAS SOPS 2278794 HAS SOUS 531550 HAS SOUPS 531182 WITH SCORE 533464.449
AT ITER 2144 NEW BEST:: SOT 5898245 SOS 2282081 HAS SOPS 2278426 HAS SOUS 530735 HAS SOUPS 530367 WITH SCORE 532649.081
AT ITER 2147 NEW BEST:: SOT 5898596 SOS 2282432 HAS SOPS 2278777 HAS SOUS 529309 HAS SOUPS 528941 WITH SCORE 531223.432
AT ITER 2150 NEW BEST:: SOT 5898497 SOS 2282252 HAS SOPS 2278597 HAS SOUS 529129 HAS SOUPS 528761 WITH SCORE 531043.252
AT ITER 2160 NEW BEST:: SOT 5899093 SOS 2282848 HAS SOPS 2279193 HAS SOUS 528745 HAS SOUPS 528377 WITH SCORE 530659.848
AT ITER 2161 NEW BEST:: SOT 5898781 SOS 2282536 HAS SOPS 2278881 HAS SOUS 528433 HAS SOUPS 528065 WITH SCORE 530347.536
AT ITER 2166 NEW BEST:: SOT 5899196 SOS 2282951 HAS SOPS 2279296 HAS SOUS 524696 HAS SOUPS 524328 WITH SCORE 526610.951
AT ITER 2175 NEW BEST:: SOT 5899201 SOS 2282961 HAS SOPS 2279306 HAS SOUS 524560 HAS SOUPS 524192 WITH SCORE 526474.961
AT ITER 2184 NEW BEST:: SOT 5899051 SOS 2282811 HAS SOPS 2279156 HAS SOUS 524356 HAS SOUPS 523988 WITH SCORE 526270.811
AT ITER 2192 NEW BEST:: SOT 5899850 SOS 2283610 HAS SOPS 2279955 HAS SOUS 523527 HAS SOUPS 523159 WITH SCORE 525442.61
AT ITER 2203 NEW BEST:: SOT 5899953 SOS 2283713 HAS SOPS 2280058 HAS SOUS 523473 HAS SOUPS 523105 WITH SCORE 525388.713
AT ITER 2232 NEW BEST:: SOT 5899950 SOS 2283710 HAS SOPS 2280055 HAS SOUS 523446 HAS SOUPS 523078 WITH SCORE 525361.71
AT ITER 2250 NEW BEST:: SOT 5899851 SOS 2283611 HAS SOPS 2279956 HAS SOUS 522456 HAS SOUPS 522088 WITH SCORE 524371.611
AT ITER 2258 NEW BEST:: SOT 5899851 SOS 2283611 HAS SOPS 2279956 HAS SOUS 522435 HAS SOUPS 522067 WITH SCORE 524350.611
AT ITER 2263 NEW BEST:: SOT 5899716 SOS 2283476 HAS SOPS 2279821 HAS SOUS 522255 HAS SOUPS 521887 WITH SCORE 524170.476
AT ITER 2270 NEW BEST:: SOT 5899700 SOS 2283460 HAS SOPS 2279805 HAS SOUS 522252 HAS SOUPS 521884 WITH SCORE 524167.46
AT ITER 2292 NEW BEST:: SOT 5899422 SOS 2283182 HAS SOPS 2279527 HAS SOUS 521926 HAS SOUPS 521558 WITH SCORE 523841.182
AT ITER 2298 NEW BEST:: SOT 5899296 SOS 2283056 HAS SOPS 2279401 HAS SOUS 521779 HAS SOUPS 521411 WITH SCORE 523694.056
AT ITER 2303 NEW BEST:: SOT 5899103 SOS 2282863 HAS SOPS 2279208 HAS SOUS 521543 HAS SOUPS 521175 WITH SCORE 523457.863
AT ITER 2307 NEW BEST:: SOT 5899040 SOS 2282779 HAS SOPS 2279124 HAS SOUS 521459 HAS SOUPS 521091 WITH SCORE 523373.779
AT ITER 2315 NEW BEST:: SOT 5899040 SOS 2282779 HAS SOPS 2279124 HAS SOUS 521336 HAS SOUPS 520968 WITH SCORE 523250.779
AT ITER 2319 NEW BEST:: SOT 5899034 SOS 2282773 HAS SOPS 2279118 HAS SOUS 521330 HAS SOUPS 520962 WITH SCORE 523244.773
AT ITER 2323 NEW BEST:: SOT 5899011 SOS 2282727 HAS SOPS 2279072 HAS SOUS 521284 HAS SOUPS 520916 WITH SCORE 523198.727
AT ITER 2355 NEW BEST:: SOT 5900453 SOS 2284169 HAS SOPS 2280514 HAS SOUS 519091 HAS SOUPS 518723 WITH SCORE 521007.169
AT ITER 2358 NEW BEST:: SOT 5900453 SOS 2283879 HAS SOPS 2280224 HAS SOUS 519091 HAS SOUPS 518723 WITH SCORE 521006.879
AT ITER 2368 NEW BEST:: SOT 5900398 SOS 2283824 HAS SOPS 2280169 HAS SOUS 519007 HAS SOUPS 518639 WITH SCORE 520922.824
AT ITER 2375 NEW BEST:: SOT 5900253 SOS 2283679 HAS SOPS 2280024 HAS SOUS 518713 HAS SOUPS 518345 WITH SCORE 520628.679
AT ITER 2396 NEW BEST:: SOT 5900161 SOS 2283587 HAS SOPS 2279932 HAS SOUS 518401 HAS SOUPS 518033 WITH SCORE 520316.587
AT ITER 2404 NEW BEST:: SOT 5900143 SOS 2283569 HAS SOPS 2279914 HAS SOUS 518374 HAS SOUPS 518006 WITH SCORE 520289.569
AT ITER 2406 NEW BEST:: SOT 5900143 SOS 2283567 HAS SOPS 2279912 HAS SOUS 518374 HAS SOUPS 518006 WITH SCORE 520289.567
AT ITER 2408 NEW BEST:: SOT 5899928 SOS 2283352 HAS SOPS 2279697 HAS SOUS 518064 HAS SOUPS 517696 WITH SCORE 519979.352
AT ITER 2424 NEW BEST:: SOT 5899928 SOS 2283338 HAS SOPS 2279683 HAS SOUS 518064 HAS SOUPS 517696 WITH SCORE 519979.338
AT ITER 2425 NEW BEST:: SOT 5899705 SOS 2283115 HAS SOPS 2279460 HAS SOUS 517941 HAS SOUPS 517573 WITH SCORE 519856.115
AT ITER 2438 NEW BEST:: SOT 5900799 SOS 2284209 HAS SOPS 2280554 HAS SOUS 517637 HAS SOUPS 517269 WITH SCORE 519553.209
AT ITER 2443 NEW BEST:: SOT 5900794 SOS 2284227 HAS SOPS 2280572 HAS SOUS 517622 HAS SOUPS 517254 WITH SCORE 519538.227
AT ITER 2445 NEW BEST:: SOT 5900618 SOS 2284051 HAS SOPS 2280396 HAS SOUS 517543 HAS SOUPS 517175 WITH SCORE 519459.051
AT ITER 2468 NEW BEST:: SOT 5900879 SOS 2284312 HAS SOPS 2280657 HAS SOUS 517282 HAS SOUPS 516914 WITH SCORE 519198.312
AT ITER 2486 NEW BEST:: SOT 5900677 SOS 2284110 HAS SOPS 2280455 HAS SOUS 516873 HAS SOUPS 516505 WITH SCORE 518789.11
AT ITER 2491 NEW BEST:: SOT 5900677 SOS 1811355 HAS SOPS 1807700 HAS SOUS 516361 HAS SOUPS 515993 WITH SCORE 517804.355
AT ITER 2505 NEW BEST:: SOT 5899984 SOS 1810662 HAS SOPS 1807007 HAS SOUS 515128 HAS SOUPS 514760 WITH SCORE 516570.662
AT ITER 2514 NEW BEST:: SOT 5899270 SOS 1809948 HAS SOPS 1806293 HAS SOUS 514217 HAS SOUPS 513849 WITH SCORE 515658.948
AT ITER 2516 NEW BEST:: SOT 5899222 SOS 1809900 HAS SOPS 1806245 HAS SOUS 514169 HAS SOUPS 513801 WITH SCORE 515610.9
AT ITER 2525 NEW BEST:: SOT 5899222 SOS 1809930 HAS SOPS 1806275 HAS SOUS 514065 HAS SOUPS 513697 WITH SCORE 515506.93
AT ITER 2526 NEW BEST:: SOT 5899222 SOS 1809743 HAS SOPS 1806088 HAS SOUS 513945 HAS SOUPS 513577 WITH SCORE 515386.743
AT ITER 2527 NEW BEST:: SOT 5899198 SOS 1809719 HAS SOPS 1806064 HAS SOUS 513653 HAS SOUPS 513285 WITH SCORE 515094.719
AT ITER 2543 NEW BEST:: SOT 5899359 SOS 1809880 HAS SOPS 1806225 HAS SOUS 512530 HAS SOUPS 512162 WITH SCORE 513971.88
AT ITER 2545 NEW BEST:: SOT 5899300 SOS 1810048 HAS SOPS 1806393 HAS SOUS 512412 HAS SOUPS 512044 WITH SCORE 513854.048
AT ITER 2547 NEW BEST:: SOT 5899235 SOS 1809983 HAS SOPS 1806328 HAS SOUS 511926 HAS SOUPS 511558 WITH SCORE 513367.983
AT ITER 2559 NEW BEST:: SOT 5899003 SOS 1809751 HAS SOPS 1806096 HAS SOUS 511624 HAS SOUPS 511256 WITH SCORE 513065.751
AT ITER 2561 NEW BEST:: SOT 5898972 SOS 1809720 HAS SOPS 1806065 HAS SOUS 511569 HAS SOUPS 511201 WITH SCORE 513010.72
AT ITER 2569 NEW BEST:: SOT 5898912 SOS 1809660 HAS SOPS 1806005 HAS SOUS 511477 HAS SOUPS 511109 WITH SCORE 512918.66
AT ITER 2576 NEW BEST:: SOT 5899654 SOS 1810402 HAS SOPS 1806747 HAS SOUS 510468 HAS SOUPS 510100 WITH SCORE 511910.402
AT ITER 2578 NEW BEST:: SOT 5899634 SOS 1810382 HAS SOPS 1806727 HAS SOUS 510438 HAS SOUPS 510070 WITH SCORE 511880.382
AT ITER 2582 NEW BEST:: SOT 5899530 SOS 1810414 HAS SOPS 1806759 HAS SOUS 510275 HAS SOUPS 509907 WITH SCORE 511717.414
AT ITER 2588 NEW BEST:: SOT 5899526 SOS 1810414 HAS SOPS 1806759 HAS SOUS 510271 HAS SOUPS 509903 WITH SCORE 511713.414
AT ITER 2589 NEW BEST:: SOT 5890393 SOS 1801374 HAS SOPS 1797719 HAS SOUS 501087 HAS SOUPS 500719 WITH SCORE 502520.374
AT ITER 2596 NEW BEST:: SOT 5890336 SOS 1801317 HAS SOPS 1797662 HAS SOUS 500974 HAS SOUPS 500606 WITH SCORE 502407.317
AT ITER 2611 NEW BEST:: SOT 5890327 SOS 1801308 HAS SOPS 1797653 HAS SOUS 500965 HAS SOUPS 500597 WITH SCORE 502398.308
AT ITER 2620 NEW BEST:: SOT 5890112 SOS 1801093 HAS SOPS 1797438 HAS SOUS 500750 HAS SOUPS 500382 WITH SCORE 502183.093
AT ITER 2623 NEW BEST:: SOT 5890082 SOS 1801063 HAS SOPS 1797408 HAS SOUS 500720 HAS SOUPS 500352 WITH SCORE 502153.063
AT ITER 2630 NEW BEST:: SOT 5886826 SOS 1797709 HAS SOPS 1794054 HAS SOUS 497366 HAS SOUPS 496998 WITH SCORE 498795.709
AT ITER 2631 NEW BEST:: SOT 5886882 SOS 1797765 HAS SOPS 1794110 HAS SOUS 497313 HAS SOUPS 496945 WITH SCORE 498742.765
AT ITER 2649 NEW BEST:: SOT 5886753 SOS 1797636 HAS SOPS 1793981 HAS SOUS 497184 HAS SOUPS 496816 WITH SCORE 498613.636
AT ITER 2659 NEW BEST:: SOT 5886688 SOS 1797552 HAS SOPS 1793897 HAS SOUS 497100 HAS SOUPS 496732 WITH SCORE 498529.552
AT ITER 2660 NEW BEST:: SOT 5886667 SOS 1797531 HAS SOPS 1793876 HAS SOUS 496987 HAS SOUPS 496619 WITH SCORE 498416.531
AT ITER 2662 NEW BEST:: SOT 5886860 SOS 1797724 HAS SOPS 1794069 HAS SOUS 495466 HAS SOUPS 495098 WITH SCORE 496895.724
AT ITER 2673 NEW BEST:: SOT 5886601 SOS 1797465 HAS SOPS 1793810 HAS SOUS 495207 HAS SOUPS 494839 WITH SCORE 496636.465
AT ITER 2683 NEW BEST:: SOT 5886176 SOS 1797040 HAS SOPS 1793385 HAS SOUS 494782 HAS SOUPS 494414 WITH SCORE 496211.04
AT ITER 2691 NEW BEST:: SOT 5886079 SOS 1796943 HAS SOPS 1793288 HAS SOUS 494588 HAS SOUPS 494220 WITH SCORE 496016.943
AT ITER 2695 NEW BEST:: SOT 5886010 SOS 1796874 HAS SOPS 1793219 HAS SOUS 494536 HAS SOUPS 494168 WITH SCORE 495964.874
AT ITER 2703 NEW BEST:: SOT 5885820 SOS 1796152 HAS SOPS 1792497 HAS SOUS 494050 HAS SOUPS 493682 WITH SCORE 495478.152
AT ITER 2715 NEW BEST:: SOT 5885917 SOS 1796249 HAS SOPS 1792594 HAS SOUS 493925 HAS SOUPS 493557 WITH SCORE 495353.249
AT ITER 2724 NEW BEST:: SOT 5885925 SOS 1796257 HAS SOPS 1792602 HAS SOUS 493885 HAS SOUPS 493517 WITH SCORE 495313.257
AT ITER 2730 NEW BEST:: SOT 5885418 SOS 1795750 HAS SOPS 1792095 HAS SOUS 492838 HAS SOUPS 492470 WITH SCORE 494265.75
AT ITER 2745 NEW BEST:: SOT 5884030 SOS 1799730 HAS SOPS 1796138 HAS SOUS 491622 HAS SOUPS 491254 WITH SCORE 493053.73
AT ITER 2747 NEW BEST:: SOT 5883841 SOS 1799541 HAS SOPS 1795949 HAS SOUS 490344 HAS SOUPS 489976 WITH SCORE 491775.541
AT ITER 2753 NEW BEST:: SOT 5883726 SOS 1799426 HAS SOPS 1795834 HAS SOUS 490114 HAS SOUPS 489746 WITH SCORE 491545.426
AT ITER 2754 NEW BEST:: SOT 5883718 SOS 1799410 HAS SOPS 1795818 HAS SOUS 490106 HAS SOUPS 489738 WITH SCORE 491537.41
AT ITER 2764 NEW BEST:: SOT 5883738 SOS 1799387 HAS SOPS 1795795 HAS SOUS 490103 HAS SOUPS 489735 WITH SCORE 491534.387
AT ITER 2775 NEW BEST:: SOT 5883746 SOS 1799403 HAS SOPS 1795811 HAS SOUS 490097 HAS SOUPS 489729 WITH SCORE 491528.403
AT ITER 2788 NEW BEST:: SOT 5883465 SOS 1799122 HAS SOPS 1795530 HAS SOUS 489726 HAS SOUPS 489358 WITH SCORE 491157.122
AT ITER 2801 NEW BEST:: SOT 5883447 SOS 1799104 HAS SOPS 1795512 HAS SOUS 489708 HAS SOUPS 489340 WITH SCORE 491139.104
AT ITER 2802 NEW BEST:: SOT 5883225 SOS 1798882 HAS SOPS 1795290 HAS SOUS 489385 HAS SOUPS 489017 WITH SCORE 490815.882
AT ITER 2806 NEW BEST:: SOT 5883207 SOS 1798864 HAS SOPS 1795272 HAS SOUS 489347 HAS SOUPS 488979 WITH SCORE 490777.864
AT ITER 2815 NEW BEST:: SOT 5883107 SOS 1798764 HAS SOPS 1795172 HAS SOUS 488447 HAS SOUPS 488079 WITH SCORE 489877.764
AT ITER 2831 NEW BEST:: SOT 5882916 SOS 1798573 HAS SOPS 1794981 HAS SOUS 488237 HAS SOUPS 487869 WITH SCORE 489667.573
AT ITER 2833 NEW BEST:: SOT 5882898 SOS 1798555 HAS SOPS 1794963 HAS SOUS 488201 HAS SOUPS 487833 WITH SCORE 489631.555
AT ITER 2839 NEW BEST:: SOT 5882807 SOS 1798464 HAS SOPS 1794872 HAS SOUS 488110 HAS SOUPS 487742 WITH SCORE 489540.464
AT ITER 2840 NEW BEST:: SOT 5882768 SOS 1798425 HAS SOPS 1794833 HAS SOUS 486800 HAS SOUPS 486432 WITH SCORE 488230.425
AT ITER 2858 NEW BEST:: SOT 5882710 SOS 1798367 HAS SOPS 1794775 HAS SOUS 486742 HAS SOUPS 486374 WITH SCORE 488172.367
AT ITER 2864 NEW BEST:: SOT 5882682 SOS 1798339 HAS SOPS 1794747 HAS SOUS 486698 HAS SOUPS 486330 WITH SCORE 488128.339
AT ITER 2876 NEW BEST:: SOT 5882526 SOS 1798183 HAS SOPS 1794591 HAS SOUS 486464 HAS SOUPS 486096 WITH SCORE 487894.183
AT ITER 2879 NEW BEST:: SOT 5882281 SOS 1797938 HAS SOPS 1794346 HAS SOUS 486441 HAS SOUPS 486073 WITH SCORE 487870.938
AT ITER 2888 NEW BEST:: SOT 5882215 SOS 1797453 HAS SOPS 1793861 HAS SOUS 486175 HAS SOUPS 485807 WITH SCORE 487604.453
AT ITER 2889 NEW BEST:: SOT 5882184 SOS 1797422 HAS SOPS 1793830 HAS SOUS 485174 HAS SOUPS 484806 WITH SCORE 486603.422
AT ITER 2897 NEW BEST:: SOT 5882261 SOS 1797499 HAS SOPS 1793907 HAS SOUS 483746 HAS SOUPS 483378 WITH SCORE 485175.499
AT ITER 2913 NEW BEST:: SOT 5882217 SOS 1797402 HAS SOPS 1793810 HAS SOUS 483663 HAS SOUPS 483295 WITH SCORE 485092.402
AT ITER 2920 NEW BEST:: SOT 5882149 SOS 1797334 HAS SOPS 1793742 HAS SOUS 483527 HAS SOUPS 483159 WITH SCORE 484956.334
AT ITER 2932 NEW BEST:: SOT 5882125 SOS 1797310 HAS SOPS 1793718 HAS SOUS 483503 HAS SOUPS 483135 WITH SCORE 484932.31
AT ITER 2946 NEW BEST:: SOT 5882184 SOS 1797369 HAS SOPS 1793777 HAS SOUS 483149 HAS SOUPS 482781 WITH SCORE 484578.369
AT ITER 2949 NEW BEST:: SOT 5882061 SOS 1797246 HAS SOPS 1793654 HAS SOUS 482958 HAS SOUPS 482590 WITH SCORE 484387.246
AT ITER 2972 NEW BEST:: SOT 5881643 SOS 1796828 HAS SOPS 1793236 HAS SOUS 482540 HAS SOUPS 482172 WITH SCORE 483968.828
AT ITER 2973 NEW BEST:: SOT 5881587 SOS 1796772 HAS SOPS 1793180 HAS SOUS 482484 HAS SOUPS 482116 WITH SCORE 483912.772
AT ITER 2982 NEW BEST:: SOT 5881690 SOS 1796875 HAS SOPS 1793283 HAS SOUS 482446 HAS SOUPS 482078 WITH SCORE 483874.875
AT ITER 2991 NEW BEST:: SOT 5881793 SOS 1796978 HAS SOPS 1793386 HAS SOUS 481719 HAS SOUPS 481351 WITH SCORE 483147.978
AT ITER 2993 NEW BEST:: SOT 5881625 SOS 1796810 HAS SOPS 1793218 HAS SOUS 481413 HAS SOUPS 481045 WITH SCORE 482841.81
AT ITER 3003 NEW BEST:: SOT 5882458 SOS 1797643 HAS SOPS 1794051 HAS SOUS 480747 HAS SOUPS 480379 WITH SCORE 482176.643
AT ITER 3018 NEW BEST:: SOT 5882532 SOS 1797490 HAS SOPS 1793898 HAS SOUS 480725 HAS SOUPS 480357 WITH SCORE 482154.49
AT ITER 3019 NEW BEST:: SOT 5883135 SOS 1798093 HAS SOPS 1794501 HAS SOUS 477236 HAS SOUPS 476868 WITH SCORE 478666.093
AT ITER 3028 NEW BEST:: SOT 5882883 SOS 1797841 HAS SOPS 1794249 HAS SOUS 476984 HAS SOUPS 476616 WITH SCORE 478413.841
AT ITER 3029 NEW BEST:: SOT 5882808 SOS 1797766 HAS SOPS 1794174 HAS SOUS 475454 HAS SOUPS 475086 WITH SCORE 476883.766
AT ITER 3040 NEW BEST:: SOT 5882748 SOS 1797706 HAS SOPS 1794114 HAS SOUS 475394 HAS SOUPS 475026 WITH SCORE 476823.706
AT ITER 3054 NEW BEST:: SOT 5882275 SOS 1797233 HAS SOPS 1793641 HAS SOUS 474568 HAS SOUPS 474200 WITH SCORE 475997.233
AT ITER 3062 NEW BEST:: SOT 5882004 SOS 1796962 HAS SOPS 1793370 HAS SOUS 474176 HAS SOUPS 473808 WITH SCORE 475604.962
AT ITER 3068 NEW BEST:: SOT 5881713 SOS 1796229 HAS SOPS 1792637 HAS SOUS 473493 HAS SOUPS 473125 WITH SCORE 474921.229
AT ITER 3070 NEW BEST:: SOT 5881619 SOS 1796135 HAS SOPS 1792543 HAS SOUS 473305 HAS SOUPS 472937 WITH SCORE 474733.135
AT ITER 3071 NEW BEST:: SOT 5881391 SOS 1795907 HAS SOPS 1792315 HAS SOUS 470571 HAS SOUPS 470203 WITH SCORE 471998.907
AT ITER 3077 NEW BEST:: SOT 5881358 SOS 1795874 HAS SOPS 1792282 HAS SOUS 470434 HAS SOUPS 470066 WITH SCORE 471861.874
AT ITER 3085 NEW BEST:: SOT 5878250 SOS 1793122 HAS SOPS 1789530 HAS SOUS 468819 HAS SOUPS 468451 WITH SCORE 470244.122
AT ITER 3096 NEW BEST:: SOT 5878089 SOS 1792961 HAS SOPS 1789369 HAS SOUS 468588 HAS SOUPS 468220 WITH SCORE 470012.961
AT ITER 3107 NEW BEST:: SOT 5877879 SOS 1792751 HAS SOPS 1789159 HAS SOUS 468351 HAS SOUPS 467983 WITH SCORE 469775.751
AT ITER 3113 NEW BEST:: SOT 5877867 SOS 1792739 HAS SOPS 1789147 HAS SOUS 468327 HAS SOUPS 467959 WITH SCORE 469751.739
AT ITER 3114 NEW BEST:: SOT 5877975 SOS 1792847 HAS SOPS 1789255 HAS SOUS 467640 HAS SOUPS 467272 WITH SCORE 469064.847
AT ITER 3122 NEW BEST:: SOT 5878099 SOS 1792971 HAS SOPS 1789379 HAS SOUS 466730 HAS SOUPS 466362 WITH SCORE 468154.971
AT ITER 3125 NEW BEST:: SOT 5877891 SOS 1792733 HAS SOPS 1789141 HAS SOUS 466544 HAS SOUPS 466176 WITH SCORE 467968.733
AT ITER 3132 NEW BEST:: SOT 5877627 SOS 1792469 HAS SOPS 1788877 HAS SOUS 466280 HAS SOUPS 465912 WITH SCORE 467704.469
AT ITER 3136 NEW BEST:: SOT 5877588 SOS 1792430 HAS SOPS 1788838 HAS SOUS 466223 HAS SOUPS 465855 WITH SCORE 467647.43
AT ITER 3159 NEW BEST:: SOT 5877570 SOS 1792412 HAS SOPS 1788820 HAS SOUS 466205 HAS SOUPS 465837 WITH SCORE 467629.412
AT ITER 3162 NEW BEST:: SOT 5877809 SOS 1792405 HAS SOPS 1788813 HAS SOUS 466054 HAS SOUPS 465686 WITH SCORE 467478.405
AT ITER 3164 NEW BEST:: SOT 5877754 SOS 1792350 HAS SOPS 1788758 HAS SOUS 465559 HAS SOUPS 465191 WITH SCORE 466983.35
AT ITER 3182 NEW BEST:: SOT 5877799 SOS 1792395 HAS SOPS 1788803 HAS SOUS 465212 HAS SOUPS 464844 WITH SCORE 466636.395
AT ITER 3191 NEW BEST:: SOT 5877753 SOS 1792349 HAS SOPS 1788757 HAS SOUS 465166 HAS SOUPS 464798 WITH SCORE 466590.349
AT ITER 3199 NEW BEST:: SOT 5877610 SOS 1792206 HAS SOPS 1788614 HAS SOUS 465023 HAS SOUPS 464655 WITH SCORE 466447.206
AT ITER 3255 NEW BEST:: SOT 5877549 SOS 1792145 HAS SOPS 1788553 HAS SOUS 464994 HAS SOUPS 464626 WITH SCORE 466418.145
AT ITER 3266 NEW BEST:: SOT 5877350 SOS 1791747 HAS SOPS 1788155 HAS SOUS 464596 HAS SOUPS 464228 WITH SCORE 466019.747
AT ITER 3282 NEW BEST:: SOT 5877347 SOS 1791744 HAS SOPS 1788152 HAS SOUS 464587 HAS SOUPS 464219 WITH SCORE 466010.744
AT ITER 3310 NEW BEST:: SOT 5877194 SOS 1791591 HAS SOPS 1787999 HAS SOUS 464434 HAS SOUPS 464066 WITH SCORE 465857.591
AT ITER 3318 NEW BEST:: SOT 5877085 SOS 1791216 HAS SOPS 1787624 HAS SOUS 464153 HAS SOUPS 463785 WITH SCORE 465576.216
AT ITER 3353 NEW BEST:: SOT 5877025 SOS 1791475 HAS SOPS 1787883 HAS SOUS 464033 HAS SOUPS 463665 WITH SCORE 465456.475
AT ITER 3363 NEW BEST:: SOT 5876941 SOS 1791391 HAS SOPS 1787799 HAS SOUS 463760 HAS SOUPS 463392 WITH SCORE 465183.391
AT ITER 3366 NEW BEST:: SOT 5877165 SOS 1791615 HAS SOPS 1788023 HAS SOUS 463288 HAS SOUPS 462920 WITH SCORE 464711.615
AT ITER 3371 NEW BEST:: SOT 5877082 SOS 1791532 HAS SOPS 1787940 HAS SOUS 463144 HAS SOUPS 462776 WITH SCORE 464567.532
AT ITER 3396 NEW BEST:: SOT 5877066 SOS 1791516 HAS SOPS 1787924 HAS SOUS 463128 HAS SOUPS 462760 WITH SCORE 464551.516
AT ITER 3401 NEW BEST:: SOT 5877106 SOS 1791509 HAS SOPS 1787917 HAS SOUS 463011 HAS SOUPS 462643 WITH SCORE 464434.509
AT ITER 3406 NEW BEST:: SOT 5877152 SOS 1791360 HAS SOPS 1787768 HAS SOUS 462921 HAS SOUPS 462553 WITH SCORE 464344.36
AT ITER 3417 NEW BEST:: SOT 5877696 SOS 1791904 HAS SOPS 1788312 HAS SOUS 462044 HAS SOUPS 461676 WITH SCORE 463467.904
AT ITER 3427 NEW BEST:: SOT 5877688 SOS 1791896 HAS SOPS 1788304 HAS SOUS 461964 HAS SOUPS 461596 WITH SCORE 463387.896
AT ITER 3428 NEW BEST:: SOT 5878066 SOS 1792432 HAS SOPS 1788840 HAS SOUS 461286 HAS SOUPS 460918 WITH SCORE 462710.432
AT ITER 3439 NEW BEST:: SOT 5877931 SOS 1792297 HAS SOPS 1788705 HAS SOUS 461081 HAS SOUPS 460713 WITH SCORE 462505.297
AT ITER 3458 NEW BEST:: SOT 5877945 SOS 1792167 HAS SOPS 1788575 HAS SOUS 460976 HAS SOUPS 460608 WITH SCORE 462400.167
AT ITER 3479 NEW BEST:: SOT 5877934 SOS 1792138 HAS SOPS 1788546 HAS SOUS 460868 HAS SOUPS 460500 WITH SCORE 462292.138
AT ITER 3483 NEW BEST:: SOT 5877894 SOS 1792098 HAS SOPS 1788506 HAS SOUS 460722 HAS SOUPS 460354 WITH SCORE 462146.098
AT ITER 3502 NEW BEST:: SOT 5877657 SOS 1791861 HAS SOPS 1788269 HAS SOUS 460485 HAS SOUPS 460117 WITH SCORE 461908.861
AT ITER 3511 NEW BEST:: SOT 5877405 SOS 1791609 HAS SOPS 1788017 HAS SOUS 460233 HAS SOUPS 459865 WITH SCORE 461656.609
AT ITER 3514 NEW BEST:: SOT 5877340 SOS 1791544 HAS SOPS 1787952 HAS SOUS 460168 HAS SOUPS 459800 WITH SCORE 461591.544
AT ITER 3536 NEW BEST:: SOT 5877320 SOS 1791524 HAS SOPS 1787932 HAS SOUS 460148 HAS SOUPS 459780 WITH SCORE 461571.524
AT ITER 3540 NEW BEST:: SOT 5877310 SOS 1791514 HAS SOPS 1787922 HAS SOUS 460128 HAS SOUPS 459760 WITH SCORE 461551.514
AT ITER 3582 NEW BEST:: SOT 5877139 SOS 1791343 HAS SOPS 1787751 HAS SOUS 460030 HAS SOUPS 459662 WITH SCORE 461453.343
AT ITER 3587 NEW BEST:: SOT 5877134 SOS 1791338 HAS SOPS 1787746 HAS SOUS 460025 HAS SOUPS 459657 WITH SCORE 461448.338
AT ITER 3593 NEW BEST:: SOT 5877047 SOS 1791251 HAS SOPS 1787659 HAS SOUS 459938 HAS SOUPS 459570 WITH SCORE 461361.251
AT ITER 3606 NEW BEST:: SOT 5877521 SOS 1791725 HAS SOPS 1788133 HAS SOUS 459318 HAS SOUPS 458950 WITH SCORE 460741.725
AT ITER 3617 NEW BEST:: SOT 5877521 SOS 1791617 HAS SOPS 1788025 HAS SOUS 459082 HAS SOUPS 458714 WITH SCORE 460505.617
AT ITER 3621 NEW BEST:: SOT 5877426 SOS 1791712 HAS SOPS 1788120 HAS SOUS 458859 HAS SOUPS 458491 WITH SCORE 460282.712
AT ITER 3624 NEW BEST:: SOT 5877419 SOS 1791599 HAS SOPS 1788007 HAS SOUS 458797 HAS SOUPS 458429 WITH SCORE 460220.599
AT ITER 3631 NEW BEST:: SOT 5877202 SOS 1791382 HAS SOPS 1787790 HAS SOUS 458580 HAS SOUPS 458212 WITH SCORE 460003.382
AT ITER 3638 NEW BEST:: SOT 5877194 SOS 1791374 HAS SOPS 1787782 HAS SOUS 457942 HAS SOUPS 457574 WITH SCORE 459365.374
AT ITER 3645 NEW BEST:: SOT 5876958 SOS 1791138 HAS SOPS 1787546 HAS SOUS 457706 HAS SOUPS 457338 WITH SCORE 459129.138
AT ITER 3648 NEW BEST:: SOT 5876826 SOS 1791173 HAS SOPS 1787581 HAS SOUS 457467 HAS SOUPS 457099 WITH SCORE 458890.173
AT ITER 3658 NEW BEST:: SOT 5876744 SOS 1791091 HAS SOPS 1787499 HAS SOUS 457316 HAS SOUPS 456948 WITH SCORE 458739.091
AT ITER 3664 NEW BEST:: SOT 5876620 SOS 1790967 HAS SOPS 1787375 HAS SOUS 457012 HAS SOUPS 456644 WITH SCORE 458434.967
AT ITER 3666 NEW BEST:: SOT 5876620 SOS 1790967 HAS SOPS 1787375 HAS SOUS 456916 HAS SOUPS 456548 WITH SCORE 458338.967
AT ITER 3681 NEW BEST:: SOT 5877029 SOS 1791376 HAS SOPS 1787784 HAS SOUS 455907 HAS SOUPS 455539 WITH SCORE 457330.376
AT ITER 3688 NEW BEST:: SOT 5876984 SOS 1791331 HAS SOPS 1787739 HAS SOUS 455860 HAS SOUPS 455492 WITH SCORE 457283.331
AT ITER 3693 NEW BEST:: SOT 5876984 SOS 1791367 HAS SOPS 1787775 HAS SOUS 455833 HAS SOUPS 455465 WITH SCORE 457256.367
AT ITER 3697 NEW BEST:: SOT 5876604 SOS 1790987 HAS SOPS 1787395 HAS SOUS 455438 HAS SOUPS 455070 WITH SCORE 456860.987
AT ITER 3702 NEW BEST:: SOT 5876178 SOS 1790561 HAS SOPS 1786969 HAS SOUS 454844 HAS SOUPS 454476 WITH SCORE 456266.561
AT ITER 3712 NEW BEST:: SOT 5876178 SOS 1790561 HAS SOPS 1786969 HAS SOUS 454735 HAS SOUPS 454367 WITH SCORE 456157.561
AT ITER 3713 NEW BEST:: SOT 5876003 SOS 1790386 HAS SOPS 1786794 HAS SOUS 454560 HAS SOUPS 454192 WITH SCORE 455982.386
AT ITER 3720 NEW BEST:: SOT 5876003 SOS 1790382 HAS SOPS 1786790 HAS SOUS 454552 HAS SOUPS 454184 WITH SCORE 455974.382
AT ITER 3739 NEW BEST:: SOT 5875817 SOS 1790196 HAS SOPS 1786604 HAS SOUS 454302 HAS SOUPS 453934 WITH SCORE 455724.196
AT ITER 3740 NEW BEST:: SOT 5875685 SOS 1790064 HAS SOPS 1786472 HAS SOUS 454170 HAS SOUPS 453802 WITH SCORE 455592.064
AT ITER 3753 NEW BEST:: SOT 5875658 SOS 1790037 HAS SOPS 1786445 HAS SOUS 454143 HAS SOUPS 453775 WITH SCORE 455565.037
AT ITER 3758 NEW BEST:: SOT 5875504 SOS 1789883 HAS SOPS 1786291 HAS SOUS 453989 HAS SOUPS 453621 WITH SCORE 455410.883
AT ITER 3759 NEW BEST:: SOT 5875477 SOS 1789826 HAS SOPS 1786234 HAS SOUS 453799 HAS SOUPS 453431 WITH SCORE 455220.826
AT ITER 3763 NEW BEST:: SOT 5875358 SOS 1789707 HAS SOPS 1786115 HAS SOUS 453006 HAS SOUPS 452638 WITH SCORE 454427.707
AT ITER 3768 NEW BEST:: SOT 5875382 SOS 1789731 HAS SOPS 1786139 HAS SOUS 452898 HAS SOUPS 452530 WITH SCORE 454319.731
AT ITER 3781 NEW BEST:: SOT 5876201 SOS 1790550 HAS SOPS 1786958 HAS SOUS 452745 HAS SOUPS 452377 WITH SCORE 454167.55
AT ITER 3790 NEW BEST:: SOT 5876185 SOS 1790534 HAS SOPS 1786942 HAS SOUS 452721 HAS SOUPS 452353 WITH SCORE 454143.534
AT ITER 3797 NEW BEST:: SOT 5876213 SOS 1790562 HAS SOPS 1786970 HAS SOUS 452544 HAS SOUPS 452176 WITH SCORE 453966.562
AT ITER 3809 NEW BEST:: SOT 5876142 SOS 1790491 HAS SOPS 1786899 HAS SOUS 452209 HAS SOUPS 451841 WITH SCORE 453631.491
AT ITER 3843 NEW BEST:: SOT 5875680 SOS 1790029 HAS SOPS 1786437 HAS SOUS 451747 HAS SOUPS 451379 WITH SCORE 453169.029
AT ITER 3855 NEW BEST:: SOT 5875655 SOS 1790004 HAS SOPS 1786412 HAS SOUS 451672 HAS SOUPS 451304 WITH SCORE 453094.004
AT ITER 3865 NEW BEST:: SOT 5875620 SOS 1789969 HAS SOPS 1786377 HAS SOUS 451637 HAS SOUPS 451269 WITH SCORE 453058.969
AT ITER 3869 NEW BEST:: SOT 5875133 SOS 1789482 HAS SOPS 1785890 HAS SOUS 450473 HAS SOUPS 450105 WITH SCORE 451894.482
AT ITER 3875 NEW BEST:: SOT 5875128 SOS 1789477 HAS SOPS 1785885 HAS SOUS 450468 HAS SOUPS 450100 WITH SCORE 451889.477
AT ITER 3885 NEW BEST:: SOT 5874104 SOS 1788453 HAS SOPS 1784861 HAS SOUS 448620 HAS SOUPS 448252 WITH SCORE 450040.453
AT ITER 3895 NEW BEST:: SOT 5874099 SOS 1788575 HAS SOPS 1784983 HAS SOUS 448499 HAS SOUPS 448131 WITH SCORE 449919.575
AT ITER 3899 NEW BEST:: SOT 5873433 SOS 1787909 HAS SOPS 1784317 HAS SOUS 447385 HAS SOUPS 447017 WITH SCORE 448804.909
AT ITER 3904 NEW BEST:: SOT 5872849 SOS 1787325 HAS SOPS 1783733 HAS SOUS 447089 HAS SOUPS 446721 WITH SCORE 448508.325
AT ITER 3909 NEW BEST:: SOT 5873626 SOS 1788102 HAS SOPS 1784510 HAS SOUS 446675 HAS SOUPS 446307 WITH SCORE 448095.102
AT ITER 3921 NEW BEST:: SOT 5873606 SOS 1788082 HAS SOPS 1784490 HAS SOUS 446655 HAS SOUPS 446287 WITH SCORE 448075.082
AT ITER 3933 NEW BEST:: SOT 5873631 SOS 1787980 HAS SOPS 1784388 HAS SOUS 446617 HAS SOUPS 446249 WITH SCORE 448036.98
AT ITER 3938 NEW BEST:: SOT 5873602 SOS 1787951 HAS SOPS 1784359 HAS SOUS 446561 HAS SOUPS 446193 WITH SCORE 447980.951
AT ITER 3939 NEW BEST:: SOT 5874736 SOS 1789085 HAS SOPS 1785493 HAS SOUS 446502 HAS SOUPS 446134 WITH SCORE 447923.085
AT ITER 3966 NEW BEST:: SOT 5874826 SOS 1789175 HAS SOPS 1785583 HAS SOUS 444828 HAS SOUPS 444460 WITH SCORE 446249.175
AT ITER 3968 NEW BEST:: SOT 5874820 SOS 1789169 HAS SOPS 1785577 HAS SOUS 444816 HAS SOUPS 444448 WITH SCORE 446237.169
AT ITER 4000 NEW BEST:: SOT 5874353 SOS 1788702 HAS SOPS 1785110 HAS SOUS 444136 HAS SOUPS 443768 WITH SCORE 445556.702
AT ITER 4010 NEW BEST:: SOT 5874353 SOS 1788702 HAS SOPS 1785110 HAS SOUS 444131 HAS SOUPS 443763 WITH SCORE 445551.702
AT ITER 4011 NEW BEST:: SOT 5874352 SOS 1788502 HAS SOPS 1784910 HAS SOUS 444049 HAS SOUPS 443681 WITH SCORE 445469.502
AT ITER 4013 NEW BEST:: SOT 5874388 SOS 1788556 HAS SOPS 1784964 HAS SOUS 443914 HAS SOUPS 443546 WITH SCORE 445334.556
AT ITER 4014 NEW BEST:: SOT 5874451 SOS 1788619 HAS SOPS 1785027 HAS SOUS 443821 HAS SOUPS 443453 WITH SCORE 445241.619
AT ITER 4016 NEW BEST:: SOT 5874199 SOS 1788367 HAS SOPS 1784775 HAS SOUS 443560 HAS SOUPS 443192 WITH SCORE 444980.367
AT ITER 4019 NEW BEST:: SOT 5874195 SOS 1788363 HAS SOPS 1784771 HAS SOUS 443554 HAS SOUPS 443186 WITH SCORE 444974.363
AT ITER 4020 NEW BEST:: SOT 5874116 SOS 1788284 HAS SOPS 1784692 HAS SOUS 442782 HAS SOUPS 442414 WITH SCORE 444202.284
AT ITER 4025 NEW BEST:: SOT 5874100 SOS 1788276 HAS SOPS 1784684 HAS SOUS 442766 HAS SOUPS 442398 WITH SCORE 444186.276
AT ITER 4028 NEW BEST:: SOT 5874099 SOS 1788247 HAS SOPS 1784655 HAS SOUS 442755 HAS SOUPS 442387 WITH SCORE 444175.247
AT ITER 4029 NEW BEST:: SOT 5874079 SOS 1788227 HAS SOPS 1784635 HAS SOUS 442717 HAS SOUPS 442349 WITH SCORE 444137.227
AT ITER 4070 NEW BEST:: SOT 5874740 SOS 1788888 HAS SOPS 1785296 HAS SOUS 442702 HAS SOUPS 442334 WITH SCORE 444122.888
AT ITER 4074 NEW BEST:: SOT 5874418 SOS 1788566 HAS SOPS 1784974 HAS SOUS 442193 HAS SOUPS 441825 WITH SCORE 443613.566
AT ITER 4078 NEW BEST:: SOT 5873363 SOS 1787511 HAS SOPS 1783919 HAS SOUS 441138 HAS SOUPS 440770 WITH SCORE 442557.511
AT ITER 4079 NEW BEST:: SOT 5873363 SOS 1787370 HAS SOPS 1783778 HAS SOUS 440830 HAS SOUPS 440462 WITH SCORE 442249.37
AT ITER 4083 NEW BEST:: SOT 5873363 SOS 1787370 HAS SOPS 1783778 HAS SOUS 440815 HAS SOUPS 440447 WITH SCORE 442234.37
AT ITER 4085 NEW BEST:: SOT 5873324 SOS 1787446 HAS SOPS 1783854 HAS SOUS 440797 HAS SOUPS 440429 WITH SCORE 442216.446
AT ITER 4089 NEW BEST:: SOT 5873076 SOS 1787193 HAS SOPS 1783601 HAS SOUS 440761 HAS SOUPS 440393 WITH SCORE 442180.193
AT ITER 4115 NEW BEST:: SOT 5873048 SOS 1787165 HAS SOPS 1783573 HAS SOUS 440621 HAS SOUPS 440253 WITH SCORE 442040.165
AT ITER 4139 NEW BEST:: SOT 5873164 SOS 1787281 HAS SOPS 1783689 HAS SOUS 440170 HAS SOUPS 439802 WITH SCORE 441589.281
AT ITER 4140 NEW BEST:: SOT 5873075 SOS 1787241 HAS SOPS 1783649 HAS SOUS 440143 HAS SOUPS 439775 WITH SCORE 441562.241
AT ITER 4155 NEW BEST:: SOT 5873027 SOS 1787193 HAS SOPS 1783601 HAS SOUS 438895 HAS SOUPS 438527 WITH SCORE 440314.193
AT ITER 4172 NEW BEST:: SOT 5873001 SOS 1787167 HAS SOPS 1783575 HAS SOUS 438843 HAS SOUPS 438475 WITH SCORE 440262.167
AT ITER 4176 NEW BEST:: SOT 5872960 SOS 1787126 HAS SOPS 1783534 HAS SOUS 438342 HAS SOUPS 437974 WITH SCORE 439761.126
AT ITER 4179 NEW BEST:: SOT 5872806 SOS 1787146 HAS SOPS 1783554 HAS SOUS 438168 HAS SOUPS 437800 WITH SCORE 439587.146
AT ITER 4209 NEW BEST:: SOT 5872155 SOS 1786495 HAS SOPS 1782903 HAS SOUS 436902 HAS SOUPS 436534 WITH SCORE 438320.495
AT ITER 4210 NEW BEST:: SOT 5872134 SOS 1786674 HAS SOPS 1783082 HAS SOUS 436860 HAS SOUPS 436492 WITH SCORE 438278.674
AT ITER 4212 NEW BEST:: SOT 5872058 SOS 1786598 HAS SOPS 1783006 HAS SOUS 436785 HAS SOUPS 436417 WITH SCORE 438203.598
AT ITER 4217 NEW BEST:: SOT 5872079 SOS 1786619 HAS SOPS 1783027 HAS SOUS 436655 HAS SOUPS 436287 WITH SCORE 438073.619
AT ITER 4227 NEW BEST:: SOT 5871797 SOS 1786337 HAS SOPS 1782745 HAS SOUS 436373 HAS SOUPS 436005 WITH SCORE 437791.337
AT ITER 4237 NEW BEST:: SOT 5871802 SOS 1786407 HAS SOPS 1782815 HAS SOUS 436367 HAS SOUPS 435999 WITH SCORE 437785.407
AT ITER 4242 NEW BEST:: SOT 5871648 SOS 1786253 HAS SOPS 1782661 HAS SOUS 436204 HAS SOUPS 435836 WITH SCORE 437622.253
AT ITER 4247 NEW BEST:: SOT 5871633 SOS 1786234 HAS SOPS 1782642 HAS SOUS 436182 HAS SOUPS 435814 WITH SCORE 437600.234
AT ITER 4264 NEW BEST:: SOT 5871610 SOS 1786211 HAS SOPS 1782619 HAS SOUS 436178 HAS SOUPS 435810 WITH SCORE 437596.211
AT ITER 4268 NEW BEST:: SOT 5871610 SOS 1788246 HAS SOPS 1784665 HAS SOUS 436165 HAS SOUPS 435797 WITH SCORE 437585.246
AT ITER 4269 NEW BEST:: SOT 5871154 SOS 1787790 HAS SOPS 1784209 HAS SOUS 435418 HAS SOUPS 435050 WITH SCORE 436837.79
AT ITER 4286 NEW BEST:: SOT 5871086 SOS 1787722 HAS SOPS 1784141 HAS SOUS 435418 HAS SOUPS 435050 WITH SCORE 436837.722
AT ITER 4300 NEW BEST:: SOT 5871007 SOS 1787643 HAS SOPS 1784062 HAS SOUS 435084 HAS SOUPS 434716 WITH SCORE 436503.643
AT ITER 4306 NEW BEST:: SOT 5870702 SOS 1787338 HAS SOPS 1783757 HAS SOUS 434779 HAS SOUPS 434411 WITH SCORE 436198.338
AT ITER 4321 NEW BEST:: SOT 5870607 SOS 1787243 HAS SOPS 1783662 HAS SOUS 434602 HAS SOUPS 434234 WITH SCORE 436021.243
AT ITER 4323 NEW BEST:: SOT 5870499 SOS 1787135 HAS SOPS 1783554 HAS SOUS 434423 HAS SOUPS 434055 WITH SCORE 435842.135
AT ITER 4361 NEW BEST:: SOT 5870437 SOS 1787095 HAS SOPS 1783514 HAS SOUS 434317 HAS SOUPS 433949 WITH SCORE 435736.095
AT ITER 4368 NEW BEST:: SOT 5870437 SOS 1787095 HAS SOPS 1783514 HAS SOUS 434313 HAS SOUPS 433945 WITH SCORE 435732.095
AT ITER 4372 NEW BEST:: SOT 5870318 SOS 1786976 HAS SOPS 1783395 HAS SOUS 434194 HAS SOUPS 433826 WITH SCORE 435612.976
AT ITER 4375 NEW BEST:: SOT 5870311 SOS 1786960 HAS SOPS 1783379 HAS SOUS 434162 HAS SOUPS 433794 WITH SCORE 435580.96
AT ITER 4376 NEW BEST:: SOT 5870163 SOS 1786812 HAS SOPS 1783231 HAS SOUS 432680 HAS SOUPS 432312 WITH SCORE 434098.812
AT ITER 4381 NEW BEST:: SOT 5870157 SOS 1786806 HAS SOPS 1783225 HAS SOUS 432674 HAS SOUPS 432306 WITH SCORE 434092.806
AT ITER 4395 NEW BEST:: SOT 5869995 SOS 1786246 HAS SOPS 1782665 HAS SOUS 432282 HAS SOUPS 431914 WITH SCORE 433700.246
AT ITER 4418 NEW BEST:: SOT 5869986 SOS 1786237 HAS SOPS 1782656 HAS SOUS 432273 HAS SOUPS 431905 WITH SCORE 433691.237
AT ITER 4421 NEW BEST:: SOT 5869895 SOS 1786146 HAS SOPS 1782565 HAS SOUS 432051 HAS SOUPS 431683 WITH SCORE 433469.146
AT ITER 4425 NEW BEST:: SOT 5869788 SOS 1786039 HAS SOPS 1782458 HAS SOUS 431837 HAS SOUPS 431469 WITH SCORE 433255.039
AT ITER 4455 NEW BEST:: SOT 5869620 SOS 1785871 HAS SOPS 1782290 HAS SOUS 431614 HAS SOUPS 431246 WITH SCORE 433031.871
AT ITER 4461 NEW BEST:: SOT 5868716 SOS 1784967 HAS SOPS 1781386 HAS SOUS 430710 HAS SOUPS 430342 WITH SCORE 432126.967
AT ITER 4473 NEW BEST:: SOT 5868708 SOS 1784959 HAS SOPS 1781378 HAS SOUS 430596 HAS SOUPS 430228 WITH SCORE 432012.959
AT ITER 4483 NEW BEST:: SOT 5868673 SOS 1784889 HAS SOPS 1781308 HAS SOUS 430526 HAS SOUPS 430158 WITH SCORE 431942.889
AT ITER 4487 NEW BEST:: SOT 5868318 SOS 1784534 HAS SOPS 1780953 HAS SOUS 430254 HAS SOUPS 429886 WITH SCORE 431670.534
AT ITER 4505 NEW BEST:: SOT 5868433 SOS 1784522 HAS SOPS 1780941 HAS SOUS 430105 HAS SOUPS 429737 WITH SCORE 431521.522
AT ITER 4522 NEW BEST:: SOT 5868431 SOS 1784521 HAS SOPS 1780940 HAS SOUS 430103 HAS SOUPS 429735 WITH SCORE 431519.521
AT ITER 4532 NEW BEST:: SOT 5868429 SOS 1784519 HAS SOPS 1780938 HAS SOUS 430099 HAS SOUPS 429731 WITH SCORE 431515.519
AT ITER 4553 NEW BEST:: SOT 5868694 SOS 1784784 HAS SOPS 1781203 HAS SOUS 430060 HAS SOUPS 429692 WITH SCORE 431476.784
AT ITER 4573 NEW BEST:: SOT 5868478 SOS 1784568 HAS SOPS 1780987 HAS SOUS 429817 HAS SOUPS 429449 WITH SCORE 431233.568
AT ITER 4575 NEW BEST:: SOT 5868483 SOS 1784533 HAS SOPS 1780952 HAS SOUS 429814 HAS SOUPS 429446 WITH SCORE 431230.533
AT ITER 4576 NEW BEST:: SOT 5868359 SOS 1784409 HAS SOPS 1780828 HAS SOUS 429657 HAS SOUPS 429289 WITH SCORE 431073.409
AT ITER 4584 NEW BEST:: SOT 5869179 SOS 1785229 HAS SOPS 1781648 HAS SOUS 429196 HAS SOUPS 428828 WITH SCORE 430613.229
AT ITER 4598 NEW BEST:: SOT 5868999 SOS 1785049 HAS SOPS 1781468 HAS SOUS 429040 HAS SOUPS 428672 WITH SCORE 430457.049
AT ITER 4600 NEW BEST:: SOT 5868911 SOS 1784961 HAS SOPS 1781380 HAS SOUS 428952 HAS SOUPS 428584 WITH SCORE 430368.961
AT ITER 4611 NEW BEST:: SOT 5868878 SOS 1784928 HAS SOPS 1781347 HAS SOUS 428919 HAS SOUPS 428551 WITH SCORE 430335.928
AT ITER 4622 NEW BEST:: SOT 5868783 SOS 1784833 HAS SOPS 1781252 HAS SOUS 428798 HAS SOUPS 428430 WITH SCORE 430214.833
AT ITER 4647 NEW BEST:: SOT 5868673 SOS 1784797 HAS SOPS 1781216 HAS SOUS 428683 HAS SOUPS 428315 WITH SCORE 430099.797
AT ITER 4648 NEW BEST:: SOT 5868666 SOS 1784790 HAS SOPS 1781209 HAS SOUS 428676 HAS SOUPS 428308 WITH SCORE 430092.79
AT ITER 4651 NEW BEST:: SOT 5868819 SOS 1784943 HAS SOPS 1781362 HAS SOUS 428028 HAS SOUPS 427660 WITH SCORE 429444.943
AT ITER 4663 NEW BEST:: SOT 5869446 SOS 1785570 HAS SOPS 1781989 HAS SOUS 427579 HAS SOUPS 427211 WITH SCORE 428996.57
AT ITER 4666 NEW BEST:: SOT 5869491 SOS 1785615 HAS SOPS 1782034 HAS SOUS 427256 HAS SOUPS 426888 WITH SCORE 428673.615
AT ITER 4693 NEW BEST:: SOT 5869979 SOS 1786103 HAS SOPS 1782522 HAS SOUS 427064 HAS SOUPS 426696 WITH SCORE 428482.103
AT ITER 4719 NEW BEST:: SOT 5869771 SOS 1785895 HAS SOPS 1782314 HAS SOUS 426953 HAS SOUPS 426585 WITH SCORE 428370.895
AT ITER 4726 NEW BEST:: SOT 5869703 SOS 1785827 HAS SOPS 1782246 HAS SOUS 426887 HAS SOUPS 426519 WITH SCORE 428304.827
AT ITER 4742 NEW BEST:: SOT 5869658 SOS 1785783 HAS SOPS 1782202 HAS SOUS 426627 HAS SOUPS 426259 WITH SCORE 428044.783
AT ITER 4748 NEW BEST:: SOT 5870306 SOS 1786431 HAS SOPS 1782850 HAS SOUS 423423 HAS SOUPS 423055 WITH SCORE 424841.431
AT ITER 4750 NEW BEST:: SOT 5870152 SOS 1786277 HAS SOPS 1782696 HAS SOUS 423269 HAS SOUPS 422901 WITH SCORE 424687.277
AT ITER 4752 NEW BEST:: SOT 5870097 SOS 1786222 HAS SOPS 1782641 HAS SOUS 423214 HAS SOUPS 422846 WITH SCORE 424632.222
AT ITER 4755 NEW BEST:: SOT 5870026 SOS 1786151 HAS SOPS 1782570 HAS SOUS 423197 HAS SOUPS 422829 WITH SCORE 424615.151
AT ITER 4758 NEW BEST:: SOT 5869927 SOS 1786052 HAS SOPS 1782471 HAS SOUS 421655 HAS SOUPS 421287 WITH SCORE 423073.052
AT ITER 4770 NEW BEST:: SOT 5869790 SOS 1785915 HAS SOPS 1782334 HAS SOUS 421512 HAS SOUPS 421144 WITH SCORE 422929.915
AT ITER 4774 NEW BEST:: SOT 5869790 SOS 1785881 HAS SOPS 1782300 HAS SOUS 421478 HAS SOUPS 421110 WITH SCORE 422895.881
AT ITER 4783 NEW BEST:: SOT 5870846 SOS 1786937 HAS SOPS 1783356 HAS SOUS 420655 HAS SOUPS 420287 WITH SCORE 422073.937
AT ITER 4784 NEW BEST:: SOT 5870716 SOS 1787057 HAS SOPS 1783476 HAS SOUS 420362 HAS SOUPS 419994 WITH SCORE 421781.057
AT ITER 4787 NEW BEST:: SOT 5870408 SOS 1786749 HAS SOPS 1783168 HAS SOUS 419885 HAS SOUPS 419517 WITH SCORE 421303.749
AT ITER 4792 NEW BEST:: SOT 5870408 SOS 1786746 HAS SOPS 1783165 HAS SOUS 419885 HAS SOUPS 419517 WITH SCORE 421303.746
AT ITER 4793 NEW BEST:: SOT 5870408 SOS 1786746 HAS SOPS 1783165 HAS SOUS 419873 HAS SOUPS 419505 WITH SCORE 421291.746
AT ITER 4804 NEW BEST:: SOT 5870487 SOS 1786825 HAS SOPS 1783244 HAS SOUS 419320 HAS SOUPS 418952 WITH SCORE 420738.825
AT ITER 4808 NEW BEST:: SOT 5870031 SOS 1786369 HAS SOPS 1782788 HAS SOUS 418178 HAS SOUPS 417810 WITH SCORE 419596.369
AT ITER 4830 NEW BEST:: SOT 5869922 SOS 1786260 HAS SOPS 1782679 HAS SOUS 417911 HAS SOUPS 417543 WITH SCORE 419329.26
AT ITER 4836 NEW BEST:: SOT 5870897 SOS 1787235 HAS SOPS 1783654 HAS SOUS 416700 HAS SOUPS 416332 WITH SCORE 418119.235
AT ITER 4858 NEW BEST:: SOT 5870791 SOS 1787129 HAS SOPS 1783548 HAS SOUS 416382 HAS SOUPS 416014 WITH SCORE 417801.129
AT ITER 4874 NEW BEST:: SOT 5870664 SOS 1786491 HAS SOPS 1782910 HAS SOUS 415949 HAS SOUPS 415581 WITH SCORE 417367.491
AT ITER 4900 NEW BEST:: SOT 5859779 SOS 1775606 HAS SOPS 1772146 HAS SOUS 415403 HAS SOUPS 415035 WITH SCORE 416810.606
AT ITER 4934 NEW BEST:: SOT 5860095 SOS 1775922 HAS SOPS 1772462 HAS SOUS 413304 HAS SOUPS 412936 WITH SCORE 414711.922
AT ITER 4936 NEW BEST:: SOT 5859979 SOS 1775806 HAS SOPS 1772346 HAS SOUS 413270 HAS SOUPS 412902 WITH SCORE 414677.806
AT ITER 4961 NEW BEST:: SOT 5859893 SOS 1775720 HAS SOPS 1772260 HAS SOUS 413184 HAS SOUPS 412816 WITH SCORE 414591.72
AT ITER 4963 NEW BEST:: SOT 5859856 SOS 1775683 HAS SOPS 1772223 HAS SOUS 413147 HAS SOUPS 412779 WITH SCORE 414554.683
AT ITER 4969 NEW BEST:: SOT 5859865 SOS 1775692 HAS SOPS 1772232 HAS SOUS 413012 HAS SOUPS 412644 WITH SCORE 414419.692
AT ITER 4997 NEW BEST:: SOT 5860054 SOS 1775881 HAS SOPS 1772421 HAS SOUS 412613 HAS SOUPS 412245 WITH SCORE 414020.881
AT ITER 5001 NEW BEST:: SOT 5859865 SOS 1775692 HAS SOPS 1772232 HAS SOUS 412330 HAS SOUPS 411962 WITH SCORE 413737.692
AT ITER 5004 NEW BEST:: SOT 5859786 SOS 1775318 HAS SOPS 1771858 HAS SOUS 412078 HAS SOUPS 411710 WITH SCORE 413485.318
AT ITER 5019 NEW BEST:: SOT 5859444 SOS 1774976 HAS SOPS 1771516 HAS SOUS 411736 HAS SOUPS 411368 WITH SCORE 413142.976
AT ITER 5038 NEW BEST:: SOT 5859444 SOS 1774976 HAS SOPS 1771498 HAS SOUS 411718 HAS SOUPS 411350 WITH SCORE 413124.976
AT ITER 5045 NEW BEST:: SOT 5859396 SOS 1774928 HAS SOPS 1771450 HAS SOUS 411670 HAS SOUPS 411302 WITH SCORE 413076.928
AT ITER 5053 NEW BEST:: SOT 5859393 SOS 1774925 HAS SOPS 1771447 HAS SOUS 411666 HAS SOUPS 411298 WITH SCORE 413072.925
AT ITER 5062 NEW BEST:: SOT 5859288 SOS 1774820 HAS SOPS 1771342 HAS SOUS 411493 HAS SOUPS 411125 WITH SCORE 412899.82
AT ITER 5067 NEW BEST:: SOT 5859280 SOS 1774812 HAS SOPS 1771334 HAS SOUS 411242 HAS SOUPS 410874 WITH SCORE 412648.812
AT ITER 5082 NEW BEST:: SOT 5859279 SOS 1774811 HAS SOPS 1771333 HAS SOUS 411241 HAS SOUPS 410873 WITH SCORE 412647.811
AT ITER 5085 NEW BEST:: SOT 5859130 SOS 1774662 HAS SOPS 1771184 HAS SOUS 410713 HAS SOUPS 410345 WITH SCORE 412119.662
AT ITER 5097 NEW BEST:: SOT 5858792 SOS 1774324 HAS SOPS 1770846 HAS SOUS 410370 HAS SOUPS 410002 WITH SCORE 411776.324
AT ITER 5100 NEW BEST:: SOT 5858805 SOS 1774337 HAS SOPS 1770859 HAS SOUS 410364 HAS SOUPS 409996 WITH SCORE 411770.337
AT ITER 5117 NEW BEST:: SOT 5857857 SOS 1773389 HAS SOPS 1769911 HAS SOUS 409447 HAS SOUPS 409079 WITH SCORE 410852.389
AT ITER 5122 NEW BEST:: SOT 5857796 SOS 1773361 HAS SOPS 1769883 HAS SOUS 409395 HAS SOUPS 409027 WITH SCORE 410800.361
AT ITER 5133 NEW BEST:: SOT 5857793 SOS 1773358 HAS SOPS 1769880 HAS SOUS 409389 HAS SOUPS 409021 WITH SCORE 410794.358
AT ITER 5146 NEW BEST:: SOT 5857640 SOS 1773205 HAS SOPS 1769727 HAS SOUS 409058 HAS SOUPS 408690 WITH SCORE 410463.205
AT ITER 5165 NEW BEST:: SOT 5857595 SOS 1773160 HAS SOPS 1769682 HAS SOUS 409013 HAS SOUPS 408645 WITH SCORE 410418.16
AT ITER 5168 NEW BEST:: SOT 5857269 SOS 1772834 HAS SOPS 1769356 HAS SOUS 407785 HAS SOUPS 407417 WITH SCORE 409189.834
AT ITER 5171 NEW BEST:: SOT 5857089 SOS 1772654 HAS SOPS 1769176 HAS SOUS 407589 HAS SOUPS 407221 WITH SCORE 408993.654
AT ITER 5173 NEW BEST:: SOT 5856751 SOS 1772316 HAS SOPS 1768838 HAS SOUS 407302 HAS SOUPS 406934 WITH SCORE 408706.316
AT ITER 5222 NEW BEST:: SOT 5856740 SOS 1772305 HAS SOPS 1768827 HAS SOUS 407291 HAS SOUPS 406923 WITH SCORE 408695.305
AT ITER 5240 NEW BEST:: SOT 5856568 SOS 1772133 HAS SOPS 1768655 HAS SOUS 406967 HAS SOUPS 406599 WITH SCORE 408371.133
AT ITER 5261 NEW BEST:: SOT 5856593 SOS 1772158 HAS SOPS 1768680 HAS SOUS 406274 HAS SOUPS 405906 WITH SCORE 407678.158
AT ITER 5284 NEW BEST:: SOT 5856632 SOS 1772197 HAS SOPS 1768719 HAS SOUS 406068 HAS SOUPS 405700 WITH SCORE 407472.197
AT ITER 5299 NEW BEST:: SOT 5856608 SOS 1772173 HAS SOPS 1768695 HAS SOUS 405973 HAS SOUPS 405605 WITH SCORE 407377.173
AT ITER 5308 NEW BEST:: SOT 5857149 SOS 1772714 HAS SOPS 1769236 HAS SOUS 403678 HAS SOUPS 403310 WITH SCORE 405082.714
AT ITER 5311 NEW BEST:: SOT 5856895 SOS 1772460 HAS SOPS 1768982 HAS SOUS 403294 HAS SOUPS 402926 WITH SCORE 404698.46
AT ITER 5312 NEW BEST:: SOT 5856895 SOS 1772460 HAS SOPS 1768982 HAS SOUS 403198 HAS SOUPS 402830 WITH SCORE 404602.46
AT ITER 5313 NEW BEST:: SOT 5856837 SOS 1772402 HAS SOPS 1768924 HAS SOUS 403039 HAS SOUPS 402671 WITH SCORE 404443.402
AT ITER 5334 NEW BEST:: SOT 5856837 SOS 1772396 HAS SOPS 1768918 HAS SOUS 402971 HAS SOUPS 402603 WITH SCORE 404375.396
AT ITER 5339 NEW BEST:: SOT 5856599 SOS 1772396 HAS SOPS 1768918 HAS SOUS 402598 HAS SOUPS 402230 WITH SCORE 404002.396
AT ITER 5342 NEW BEST:: SOT 5856512 SOS 1772309 HAS SOPS 1768831 HAS SOUS 402511 HAS SOUPS 402143 WITH SCORE 403915.309
AT ITER 5346 NEW BEST:: SOT 5856495 SOS 1772292 HAS SOPS 1768814 HAS SOUS 402477 HAS SOUPS 402109 WITH SCORE 403881.292
AT ITER 5356 NEW BEST:: SOT 5856383 SOS 1772180 HAS SOPS 1768702 HAS SOUS 402365 HAS SOUPS 401997 WITH SCORE 403769.18
AT ITER 5360 NEW BEST:: SOT 5856040 SOS 1771837 HAS SOPS 1768359 HAS SOUS 402171 HAS SOUPS 401803 WITH SCORE 403574.837
AT ITER 5366 NEW BEST:: SOT 5855984 SOS 1771697 HAS SOPS 1768219 HAS SOUS 402115 HAS SOUPS 401747 WITH SCORE 403518.697
AT ITER 5382 NEW BEST:: SOT 5855797 SOS 1771510 HAS SOPS 1768032 HAS SOUS 401928 HAS SOUPS 401560 WITH SCORE 403331.51
AT ITER 5390 NEW BEST:: SOT 5855807 SOS 1771520 HAS SOPS 1768042 HAS SOUS 401925 HAS SOUPS 401557 WITH SCORE 403328.52
AT ITER 5398 NEW BEST:: SOT 5855679 SOS 1771392 HAS SOPS 1767914 HAS SOUS 401797 HAS SOUPS 401429 WITH SCORE 403200.392
AT ITER 5399 NEW BEST:: SOT 5856500 SOS 1772213 HAS SOPS 1768735 HAS SOUS 399639 HAS SOUPS 399271 WITH SCORE 401043.213
AT ITER 5404 NEW BEST:: SOT 5856364 SOS 1772077 HAS SOPS 1768599 HAS SOUS 399452 HAS SOUPS 399084 WITH SCORE 400856.077
AT ITER 5409 NEW BEST:: SOT 5856769 SOS 1772482 HAS SOPS 1769004 HAS SOUS 398085 HAS SOUPS 397717 WITH SCORE 399489.482
AT ITER 5431 NEW BEST:: SOT 5856767 SOS 1772480 HAS SOPS 1769002 HAS SOUS 397905 HAS SOUPS 397537 WITH SCORE 399309.48
AT ITER 5443 NEW BEST:: SOT 5856767 SOS 1772480 HAS SOPS 1769002 HAS SOUS 397866 HAS SOUPS 397498 WITH SCORE 399270.48
AT ITER 5447 NEW BEST:: SOT 5856762 SOS 1772475 HAS SOPS 1768997 HAS SOUS 397861 HAS SOUPS 397493 WITH SCORE 399265.475
AT ITER 5454 NEW BEST:: SOT 5856648 SOS 1772576 HAS SOPS 1769098 HAS SOUS 397713 HAS SOUPS 397345 WITH SCORE 399117.576
AT ITER 5459 NEW BEST:: SOT 5855424 SOS 1771468 HAS SOPS 1767990 HAS SOUS 396605 HAS SOUPS 396237 WITH SCORE 398008.468
AT ITER 5476 NEW BEST:: SOT 5855700 SOS 1771552 HAS SOPS 1768074 HAS SOUS 395939 HAS SOUPS 395571 WITH SCORE 397342.552
AT ITER 5487 NEW BEST:: SOT 5855774 SOS 1771626 HAS SOPS 1768148 HAS SOUS 395659 HAS SOUPS 395291 WITH SCORE 397062.626
AT ITER 5488 NEW BEST:: SOT 5855489 SOS 1771341 HAS SOPS 1767863 HAS SOUS 395374 HAS SOUPS 395006 WITH SCORE 396777.341
AT ITER 5489 NEW BEST:: SOT 5855292 SOS 1771144 HAS SOPS 1767666 HAS SOUS 395060 HAS SOUPS 394692 WITH SCORE 396463.144
AT ITER 5507 NEW BEST:: SOT 5855285 SOS 1771137 HAS SOPS 1767659 HAS SOUS 395055 HAS SOUPS 394687 WITH SCORE 396458.137
AT ITER 5521 NEW BEST:: SOT 5855251 SOS 1771103 HAS SOPS 1767625 HAS SOUS 394831 HAS SOUPS 394463 WITH SCORE 396234.103
AT ITER 5529 NEW BEST:: SOT 5855080 SOS 1770932 HAS SOPS 1767454 HAS SOUS 394660 HAS SOUPS 394292 WITH SCORE 396062.932
AT ITER 5531 NEW BEST:: SOT 5855067 SOS 1770919 HAS SOPS 1767441 HAS SOUS 394621 HAS SOUPS 394253 WITH SCORE 396023.919
AT ITER 5534 NEW BEST:: SOT 5854999 SOS 1770851 HAS SOPS 1767373 HAS SOUS 394553 HAS SOUPS 394185 WITH SCORE 395955.851
AT ITER 5540 NEW BEST:: SOT 5854794 SOS 1770646 HAS SOPS 1767168 HAS SOUS 394323 HAS SOUPS 393955 WITH SCORE 395725.646
AT ITER 5542 NEW BEST:: SOT 5854760 SOS 1770612 HAS SOPS 1767134 HAS SOUS 394289 HAS SOUPS 393921 WITH SCORE 395691.612
AT ITER 5552 NEW BEST:: SOT 5854730 SOS 1770582 HAS SOPS 1767104 HAS SOUS 394247 HAS SOUPS 393879 WITH SCORE 395649.582
AT ITER 5558 NEW BEST:: SOT 5854678 SOS 1770530 HAS SOPS 1767052 HAS SOUS 394195 HAS SOUPS 393827 WITH SCORE 395597.53
AT ITER 5559 NEW BEST:: SOT 5854672 SOS 1770524 HAS SOPS 1767046 HAS SOUS 394162 HAS SOUPS 393794 WITH SCORE 395564.524
AT ITER 5582 NEW BEST:: SOT 5854598 SOS 1770450 HAS SOPS 1766972 HAS SOUS 393824 HAS SOUPS 393456 WITH SCORE 395226.45
AT ITER 5626 NEW BEST:: SOT 5854461 SOS 1770313 HAS SOPS 1766835 HAS SOUS 393635 HAS SOUPS 393267 WITH SCORE 395037.313
AT ITER 5638 NEW BEST:: SOT 5854311 SOS 1770163 HAS SOPS 1766685 HAS SOUS 393481 HAS SOUPS 393113 WITH SCORE 394883.163
AT ITER 5660 NEW BEST:: SOT 5854268 SOS 1770120 HAS SOPS 1766642 HAS SOUS 393418 HAS SOUPS 393050 WITH SCORE 394820.12
AT ITER 5668 NEW BEST:: SOT 5854162 SOS 1770014 HAS SOPS 1766536 HAS SOUS 392502 HAS SOUPS 392134 WITH SCORE 393904.014
AT ITER 5678 NEW BEST:: SOT 5854094 SOS 1769946 HAS SOPS 1766468 HAS SOUS 392388 HAS SOUPS 392020 WITH SCORE 393789.946
AT ITER 5682 NEW BEST:: SOT 5854083 SOS 1769935 HAS SOPS 1766457 HAS SOUS 392377 HAS SOUPS 392009 WITH SCORE 393778.935
AT ITER 5684 NEW BEST:: SOT 5853931 SOS 1769783 HAS SOPS 1766305 HAS SOUS 391901 HAS SOUPS 391533 WITH SCORE 393302.783
AT ITER 5687 NEW BEST:: SOT 5855000 SOS 1770496 HAS SOPS 1767018 HAS SOUS 391710 HAS SOUPS 391342 WITH SCORE 393112.496
AT ITER 5700 NEW BEST:: SOT 5854991 SOS 1770487 HAS SOPS 1767009 HAS SOUS 391701 HAS SOUPS 391333 WITH SCORE 393103.487
AT ITER 5712 NEW BEST:: SOT 5854973 SOS 1770469 HAS SOPS 1766991 HAS SOUS 391442 HAS SOUPS 391074 WITH SCORE 392844.469
AT ITER 5722 NEW BEST:: SOT 5855095 SOS 1770591 HAS SOPS 1767113 HAS SOUS 390994 HAS SOUPS 390626 WITH SCORE 392396.591
AT ITER 5773 NEW BEST:: SOT 5854999 SOS 1770495 HAS SOPS 1767017 HAS SOUS 390828 HAS SOUPS 390460 WITH SCORE 392230.495
AT ITER 5776 NEW BEST:: SOT 5854884 SOS 1770380 HAS SOPS 1766902 HAS SOUS 390552 HAS SOUPS 390184 WITH SCORE 391954.38
AT ITER 5790 NEW BEST:: SOT 5854808 SOS 1770304 HAS SOPS 1766826 HAS SOUS 390476 HAS SOUPS 390108 WITH SCORE 391878.304
AT ITER 5799 NEW BEST:: SOT 5854699 SOS 1770195 HAS SOPS 1766717 HAS SOUS 390278 HAS SOUPS 389910 WITH SCORE 391680.195
AT ITER 5808 NEW BEST:: SOT 5855923 SOS 1771419 HAS SOPS 1767941 HAS SOUS 389869 HAS SOUPS 389501 WITH SCORE 391272.419
AT ITER 5822 NEW BEST:: SOT 5855827 SOS 1771323 HAS SOPS 1767845 HAS SOUS 389675 HAS SOUPS 389307 WITH SCORE 391078.323
AT ITER 5823 NEW BEST:: SOT 5855914 SOS 1771410 HAS SOPS 1767932 HAS SOUS 389136 HAS SOUPS 388768 WITH SCORE 390539.41
AT ITER 5828 NEW BEST:: SOT 5855788 SOS 1771284 HAS SOPS 1767806 HAS SOUS 387876 HAS SOUPS 387508 WITH SCORE 389279.284
AT ITER 5834 NEW BEST:: SOT 5855719 SOS 1771215 HAS SOPS 1767737 HAS SOUS 387803 HAS SOUPS 387435 WITH SCORE 389206.215
AT ITER 5836 NEW BEST:: SOT 5855675 SOS 1771171 HAS SOPS 1767693 HAS SOUS 387737 HAS SOUPS 387369 WITH SCORE 389140.171
AT ITER 5839 NEW BEST:: SOT 5855638 SOS 1771134 HAS SOPS 1767656 HAS SOUS 387626 HAS SOUPS 387258 WITH SCORE 389029.134
AT ITER 5847 NEW BEST:: SOT 5855609 SOS 1771020 HAS SOPS 1767542 HAS SOUS 387398 HAS SOUPS 387030 WITH SCORE 388801.02
AT ITER 5854 NEW BEST:: SOT 5855051 SOS 1770462 HAS SOPS 1766984 HAS SOUS 386840 HAS SOUPS 386472 WITH SCORE 388242.462
AT ITER 5856 NEW BEST:: SOT 5854893 SOS 1770304 HAS SOPS 1766826 HAS SOUS 386682 HAS SOUPS 386314 WITH SCORE 388084.304
AT ITER 5864 NEW BEST:: SOT 5854837 SOS 1770248 HAS SOPS 1766770 HAS SOUS 386626 HAS SOUPS 386258 WITH SCORE 388028.248
AT ITER 5881 NEW BEST:: SOT 5854458 SOS 1769869 HAS SOPS 1766391 HAS SOUS 386247 HAS SOUPS 385879 WITH SCORE 387648.869
AT ITER 5902 NEW BEST:: SOT 5854792 SOS 1770203 HAS SOPS 1766725 HAS SOUS 384378 HAS SOUPS 384010 WITH SCORE 385780.203
AT ITER 5917 NEW BEST:: SOT 5854741 SOS 1770152 HAS SOPS 1766674 HAS SOUS 384305 HAS SOUPS 383937 WITH SCORE 385707.152
AT ITER 5932 NEW BEST:: SOT 5854493 SOS 1769904 HAS SOPS 1766426 HAS SOUS 383748 HAS SOUPS 383380 WITH SCORE 385149.904
AT ITER 5957 NEW BEST:: SOT 5853218 SOS 1768760 HAS SOPS 1765282 HAS SOUS 382428 HAS SOUPS 382060 WITH SCORE 383828.76
AT ITER 5958 NEW BEST:: SOT 5853147 SOS 1768689 HAS SOPS 1765211 HAS SOUS 382031 HAS SOUPS 381663 WITH SCORE 383431.689
AT ITER 5963 NEW BEST:: SOT 5853083 SOS 1768625 HAS SOPS 1765147 HAS SOUS 381967 HAS SOUPS 381599 WITH SCORE 383367.625
AT ITER 5971 NEW BEST:: SOT 5853044 SOS 1768586 HAS SOPS 1765108 HAS SOUS 381928 HAS SOUPS 381560 WITH SCORE 383328.586
AT ITER 5974 NEW BEST:: SOT 5853032 SOS 1768574 HAS SOPS 1765096 HAS SOUS 381912 HAS SOUPS 381544 WITH SCORE 383312.574
AT ITER 6004 NEW BEST:: SOT 5852553 SOS 1768095 HAS SOPS 1764617 HAS SOUS 381388 HAS SOUPS 381020 WITH SCORE 382788.095
AT ITER 6007 NEW BEST:: SOT 5853481 SOS 1769023 HAS SOPS 1765545 HAS SOUS 381055 HAS SOUPS 380687 WITH SCORE 382456.023
AT ITER 6008 NEW BEST:: SOT 5853086 SOS 1768628 HAS SOPS 1765150 HAS SOUS 380166 HAS SOUPS 379798 WITH SCORE 381566.628
AT ITER 6012 NEW BEST:: SOT 5853083 SOS 1768608 HAS SOPS 1765130 HAS SOUS 380146 HAS SOUPS 379778 WITH SCORE 381546.608
AT ITER 6021 NEW BEST:: SOT 5853080 SOS 1768605 HAS SOPS 1765127 HAS SOUS 380135 HAS SOUPS 379767 WITH SCORE 381535.605
AT ITER 6031 NEW BEST:: SOT 5853015 SOS 1768540 HAS SOPS 1765062 HAS SOUS 380070 HAS SOUPS 379702 WITH SCORE 381470.54
AT ITER 6041 NEW BEST:: SOT 5852983 SOS 1768508 HAS SOPS 1765030 HAS SOUS 379878 HAS SOUPS 379510 WITH SCORE 381278.508
AT ITER 6048 NEW BEST:: SOT 5852983 SOS 1768501 HAS SOPS 1765023 HAS SOUS 379878 HAS SOUPS 379510 WITH SCORE 381278.501
AT ITER 6053 NEW BEST:: SOT 5852983 SOS 1768514 HAS SOPS 1765036 HAS SOUS 379800 HAS SOUPS 379432 WITH SCORE 381200.514
AT ITER 6097 NEW BEST:: SOT 5853042 SOS 1768399 HAS SOPS 1764921 HAS SOUS 379777 HAS SOUPS 379409 WITH SCORE 381177.399
AT ITER 6105 NEW BEST:: SOT 5853002 SOS 1768319 HAS SOPS 1764841 HAS SOUS 379737 HAS SOUPS 379369 WITH SCORE 381137.319
AT ITER 6106 NEW BEST:: SOT 5852875 SOS 1768192 HAS SOPS 1764714 HAS SOUS 379488 HAS SOUPS 379120 WITH SCORE 380888.192
AT ITER 6110 NEW BEST:: SOT 5852750 SOS 1768067 HAS SOPS 1764589 HAS SOUS 379307 HAS SOUPS 378939 WITH SCORE 380707.067
AT ITER 6113 NEW BEST:: SOT 5852390 SOS 1767707 HAS SOPS 1764229 HAS SOUS 378448 HAS SOUPS 378080 WITH SCORE 379847.707
AT ITER 6127 NEW BEST:: SOT 5852390 SOS 1767620 HAS SOPS 1764142 HAS SOUS 378448 HAS SOUPS 378080 WITH SCORE 379847.62
AT ITER 6154 NEW BEST:: SOT 5852382 SOS 1767602 HAS SOPS 1764124 HAS SOUS 378256 HAS SOUPS 377888 WITH SCORE 379655.602
AT ITER 6164 NEW BEST:: SOT 5852308 SOS 1767528 HAS SOPS 1764050 HAS SOUS 378182 HAS SOUPS 377814 WITH SCORE 379581.528
AT ITER 6170 NEW BEST:: SOT 5851708 SOS 1766928 HAS SOPS 1763450 HAS SOUS 377002 HAS SOUPS 376634 WITH SCORE 378400.928
AT ITER 6173 NEW BEST:: SOT 5851674 SOS 1766894 HAS SOPS 1763416 HAS SOUS 376962 HAS SOUPS 376594 WITH SCORE 378360.894
AT ITER 6179 NEW BEST:: SOT 5851702 SOS 1766922 HAS SOPS 1763444 HAS SOUS 376950 HAS SOUPS 376582 WITH SCORE 378348.922
AT ITER 6200 NEW BEST:: SOT 5851566 SOS 1766786 HAS SOPS 1763308 HAS SOUS 376670 HAS SOUPS 376302 WITH SCORE 378068.786
AT ITER 6231 NEW BEST:: SOT 5851537 SOS 1766757 HAS SOPS 1763279 HAS SOUS 376641 HAS SOUPS 376273 WITH SCORE 378039.757
AT ITER 6259 NEW BEST:: SOT 5851425 SOS 1766548 HAS SOPS 1763070 HAS SOUS 376417 HAS SOUPS 376049 WITH SCORE 377815.548
AT ITER 6282 NEW BEST:: SOT 5851425 SOS 1766548 HAS SOPS 1763070 HAS SOUS 376412 HAS SOUPS 376044 WITH SCORE 377810.548
AT ITER 6290 NEW BEST:: SOT 5851280 SOS 1766403 HAS SOPS 1762925 HAS SOUS 375977 HAS SOUPS 375609 WITH SCORE 377375.403
AT ITER 6292 NEW BEST:: SOT 5851178 SOS 1766301 HAS SOPS 1762823 HAS SOUS 375875 HAS SOUPS 375507 WITH SCORE 377273.301
AT ITER 6295 NEW BEST:: SOT 5851134 SOS 1766257 HAS SOPS 1762779 HAS SOUS 375555 HAS SOUPS 375187 WITH SCORE 376953.257
AT ITER 6301 NEW BEST:: SOT 5851208 SOS 1766331 HAS SOPS 1762853 HAS SOUS 375493 HAS SOUPS 375125 WITH SCORE 376891.331
AT ITER 6302 NEW BEST:: SOT 5851204 SOS 1766343 HAS SOPS 1762865 HAS SOUS 375485 HAS SOUPS 375117 WITH SCORE 376883.343
AT ITER 6311 NEW BEST:: SOT 5851102 SOS 1766241 HAS SOPS 1762763 HAS SOUS 374349 HAS SOUPS 373981 WITH SCORE 375747.241
AT ITER 6317 NEW BEST:: SOT 5851066 SOS 1766205 HAS SOPS 1762727 HAS SOUS 374225 HAS SOUPS 373857 WITH SCORE 375623.205
AT ITER 6322 NEW BEST:: SOT 5851081 SOS 1766220 HAS SOPS 1762742 HAS SOUS 374015 HAS SOUPS 373647 WITH SCORE 375413.22
AT ITER 6360 NEW BEST:: SOT 5851065 SOS 1766204 HAS SOPS 1762726 HAS SOUS 373991 HAS SOUPS 373623 WITH SCORE 375389.204
AT ITER 6365 NEW BEST:: SOT 5851065 SOS 1766201 HAS SOPS 1762723 HAS SOUS 373985 HAS SOUPS 373617 WITH SCORE 375383.201
AT ITER 6381 NEW BEST:: SOT 5851089 SOS 1766180 HAS SOPS 1762702 HAS SOUS 373943 HAS SOUPS 373575 WITH SCORE 375341.18
AT ITER 6390 NEW BEST:: SOT 5851072 SOS 1766139 HAS SOPS 1762661 HAS SOUS 373926 HAS SOUPS 373558 WITH SCORE 375324.139
AT ITER 6399 NEW BEST:: SOT 5851121 SOS 1766188 HAS SOPS 1762710 HAS SOUS 373729 HAS SOUPS 373361 WITH SCORE 375127.188
AT ITER 6415 NEW BEST:: SOT 5851124 SOS 1766191 HAS SOPS 1762713 HAS SOUS 373714 HAS SOUPS 373346 WITH SCORE 375112.191
AT ITER 6422 NEW BEST:: SOT 5851089 SOS 1766156 HAS SOPS 1762678 HAS SOUS 373671 HAS SOUPS 373303 WITH SCORE 375069.156
AT ITER 6431 NEW BEST:: SOT 5851020 SOS 1766018 HAS SOPS 1762540 HAS SOUS 373533 HAS SOUPS 373165 WITH SCORE 374931.018
AT ITER 6434 NEW BEST:: SOT 5850898 SOS 1765863 HAS SOPS 1762385 HAS SOUS 373376 HAS SOUPS 373008 WITH SCORE 374773.863
AT ITER 6437 NEW BEST:: SOT 5850637 SOS 1765602 HAS SOPS 1762124 HAS SOUS 373115 HAS SOUPS 372747 WITH SCORE 374512.602
AT ITER 6442 NEW BEST:: SOT 5850600 SOS 1765565 HAS SOPS 1762087 HAS SOUS 373078 HAS SOUPS 372710 WITH SCORE 374475.565
AT ITER 6520 NEW BEST:: SOT 5850224 SOS 1765189 HAS SOPS 1761711 HAS SOUS 372702 HAS SOUPS 372334 WITH SCORE 374099.189
AT ITER 6533 NEW BEST:: SOT 5850256 SOS 1765221 HAS SOPS 1761743 HAS SOUS 372507 HAS SOUPS 372139 WITH SCORE 373904.221
AT ITER 6534 NEW BEST:: SOT 5850070 SOS 1765035 HAS SOPS 1761557 HAS SOUS 372321 HAS SOUPS 371953 WITH SCORE 373718.035
AT ITER 6554 NEW BEST:: SOT 5850070 SOS 1765035 HAS SOPS 1761557 HAS SOUS 372303 HAS SOUPS 371935 WITH SCORE 373700.035
AT ITER 6557 NEW BEST:: SOT 5849964 SOS 1764929 HAS SOPS 1761451 HAS SOUS 372197 HAS SOUPS 371829 WITH SCORE 373593.929
AT ITER 6574 NEW BEST:: SOT 5849897 SOS 1764862 HAS SOPS 1761384 HAS SOUS 372130 HAS SOUPS 371762 WITH SCORE 373526.862
AT ITER 6600 NEW BEST:: SOT 5849897 SOS 1764956 HAS SOPS 1761478 HAS SOUS 372057 HAS SOUPS 371689 WITH SCORE 373453.956
AT ITER 6603 NEW BEST:: SOT 5849695 SOS 1764754 HAS SOPS 1761276 HAS SOUS 371653 HAS SOUPS 371285 WITH SCORE 373049.754
AT ITER 6610 NEW BEST:: SOT 5849669 SOS 1764741 HAS SOPS 1761263 HAS SOUS 371627 HAS SOUPS 371259 WITH SCORE 373023.741
AT ITER 6648 NEW BEST:: SOT 5849639 SOS 1764711 HAS SOPS 1761233 HAS SOUS 371567 HAS SOUPS 371199 WITH SCORE 372963.711
AT ITER 6659 NEW BEST:: SOT 5849766 SOS 1764838 HAS SOPS 1761360 HAS SOUS 370930 HAS SOUPS 370562 WITH SCORE 372326.838
AT ITER 6709 NEW BEST:: SOT 5849660 SOS 1764732 HAS SOPS 1761254 HAS SOUS 370652 HAS SOUPS 370284 WITH SCORE 372048.732
AT ITER 6720 NEW BEST:: SOT 5849566 SOS 1764638 HAS SOPS 1761160 HAS SOUS 370472 HAS SOUPS 370104 WITH SCORE 371868.638
AT ITER 6726 NEW BEST:: SOT 5849518 SOS 1764590 HAS SOPS 1761112 HAS SOUS 370400 HAS SOUPS 370032 WITH SCORE 371796.59
AT ITER 6748 NEW BEST:: SOT 5849498 SOS 1764570 HAS SOPS 1761092 HAS SOUS 370306 HAS SOUPS 369938 WITH SCORE 371702.57
AT ITER 6778 NEW BEST:: SOT 5849397 SOS 1764469 HAS SOPS 1760991 HAS SOUS 369848 HAS SOUPS 369480 WITH SCORE 371244.469
AT ITER 6806 NEW BEST:: SOT 5849172 SOS 1764244 HAS SOPS 1760766 HAS SOUS 369623 HAS SOUPS 369255 WITH SCORE 371019.244
AT ITER 6818 NEW BEST:: SOT 5849172 SOS 1764333 HAS SOPS 1760766 HAS SOUS 369534 HAS SOUPS 369166 WITH SCORE 370930.333
AT ITER 6824 NEW BEST:: SOT 5848903 SOS 1764064 HAS SOPS 1760497 HAS SOUS 368250 HAS SOUPS 367882 WITH SCORE 369646.064
AT ITER 6830 NEW BEST:: SOT 5848863 SOS 1764024 HAS SOPS 1760457 HAS SOUS 368196 HAS SOUPS 367828 WITH SCORE 369592.024
AT ITER 6831 NEW BEST:: SOT 5848863 SOS 1764004 HAS SOPS 1760437 HAS SOUS 368156 HAS SOUPS 367788 WITH SCORE 369552.004
AT ITER 6843 NEW BEST:: SOT 5848766 SOS 1763907 HAS SOPS 1760340 HAS SOUS 367854 HAS SOUPS 367486 WITH SCORE 369249.907
AT ITER 6844 NEW BEST:: SOT 5848737 SOS 1763878 HAS SOPS 1760311 HAS SOUS 367778 HAS SOUPS 367410 WITH SCORE 369173.878
AT ITER 6853 NEW BEST:: SOT 5848737 SOS 1766780 HAS SOPS 1763236 HAS SOUS 367765 HAS SOUPS 367397 WITH SCORE 369163.78
AT ITER 6878 NEW BEST:: SOT 5848731 SOS 1766538 HAS SOPS 1762994 HAS SOUS 367628 HAS SOUPS 367260 WITH SCORE 369026.538
AT ITER 6892 NEW BEST:: SOT 5848693 SOS 1766500 HAS SOPS 1762956 HAS SOUS 367571 HAS SOUPS 367203 WITH SCORE 368969.5
AT ITER 6899 NEW BEST:: SOT 5848693 SOS 1766500 HAS SOPS 1762956 HAS SOUS 367545 HAS SOUPS 367177 WITH SCORE 368943.5
AT ITER 6901 NEW BEST:: SOT 5848654 SOS 1766461 HAS SOPS 1762917 HAS SOUS 367506 HAS SOUPS 367138 WITH SCORE 368904.461
AT ITER 6903 NEW BEST:: SOT 5848683 SOS 1766490 HAS SOPS 1762946 HAS SOUS 365600 HAS SOUPS 365232 WITH SCORE 366998.49
AT ITER 6915 NEW BEST:: SOT 5848736 SOS 1766543 HAS SOPS 1762999 HAS SOUS 365266 HAS SOUPS 364898 WITH SCORE 366664.543
AT ITER 6927 NEW BEST:: SOT 5848723 SOS 1766530 HAS SOPS 1762986 HAS SOUS 365253 HAS SOUPS 364885 WITH SCORE 366651.53
AT ITER 6932 NEW BEST:: SOT 5848698 SOS 1766505 HAS SOPS 1762961 HAS SOUS 365228 HAS SOUPS 364860 WITH SCORE 366626.505
AT ITER 6958 NEW BEST:: SOT 5848673 SOS 1766480 HAS SOPS 1762936 HAS SOUS 365178 HAS SOUPS 364810 WITH SCORE 366576.48
AT ITER 6963 NEW BEST:: SOT 5848755 SOS 1766562 HAS SOPS 1763018 HAS SOUS 365123 HAS SOUPS 364755 WITH SCORE 366521.562
AT ITER 6968 NEW BEST:: SOT 5848729 SOS 1766536 HAS SOPS 1762992 HAS SOUS 365097 HAS SOUPS 364729 WITH SCORE 366495.536
AT ITER 6982 NEW BEST:: SOT 5848706 SOS 1766513 HAS SOPS 1762969 HAS SOUS 364709 HAS SOUPS 364341 WITH SCORE 366107.513
AT ITER 6983 NEW BEST:: SOT 5848692 SOS 1766499 HAS SOPS 1762955 HAS SOUS 364695 HAS SOUPS 364327 WITH SCORE 366093.499
AT ITER 6987 NEW BEST:: SOT 5848601 SOS 1766283 HAS SOPS 1762739 HAS SOUS 364479 HAS SOUPS 364111 WITH SCORE 365877.283
AT ITER 6990 NEW BEST:: SOT 5848621 SOS 1766303 HAS SOPS 1762759 HAS SOUS 364207 HAS SOUPS 363839 WITH SCORE 365605.303
AT ITER 6996 NEW BEST:: SOT 5848478 SOS 1766160 HAS SOPS 1762616 HAS SOUS 363972 HAS SOUPS 363604 WITH SCORE 365370.16
AT ITER 7001 NEW BEST:: SOT 5848449 SOS 1766131 HAS SOPS 1762587 HAS SOUS 363943 HAS SOUPS 363575 WITH SCORE 365341.131
AT ITER 7008 NEW BEST:: SOT 5848423 SOS 1766164 HAS SOPS 1762620 HAS SOUS 363878 HAS SOUPS 363510 WITH SCORE 365276.164
AT ITER 7013 NEW BEST:: SOT 5848400 SOS 1764763 HAS SOPS 1761196 HAS SOUS 363855 HAS SOUPS 363487 WITH SCORE 365251.763
AT ITER 7017 NEW BEST:: SOT 5848314 SOS 1764677 HAS SOPS 1761110 HAS SOUS 363683 HAS SOUPS 363315 WITH SCORE 365079.677
AT ITER 7018 NEW BEST:: SOT 5848305 SOS 1764668 HAS SOPS 1761101 HAS SOUS 363345 HAS SOUPS 362977 WITH SCORE 364741.668
AT ITER 7022 NEW BEST:: SOT 5848150 SOS 1764513 HAS SOPS 1760946 HAS SOUS 363089 HAS SOUPS 362721 WITH SCORE 364485.513
AT ITER 7023 NEW BEST:: SOT 5848004 SOS 1764367 HAS SOPS 1760800 HAS SOUS 362934 HAS SOUPS 362566 WITH SCORE 364330.367
AT ITER 7026 NEW BEST:: SOT 5848004 SOS 1764367 HAS SOPS 1760800 HAS SOUS 362712 HAS SOUPS 362344 WITH SCORE 364108.367
AT ITER 7032 NEW BEST:: SOT 5848123 SOS 1764486 HAS SOPS 1760919 HAS SOUS 362533 HAS SOUPS 362165 WITH SCORE 363929.486
AT ITER 7037 NEW BEST:: SOT 5848065 SOS 1764075 HAS SOPS 1760508 HAS SOUS 362305 HAS SOUPS 361937 WITH SCORE 363701.075
AT ITER 7058 NEW BEST:: SOT 5847820 SOS 1763489 HAS SOPS 1759922 HAS SOUS 361764 HAS SOUPS 361396 WITH SCORE 363159.489
AT ITER 7067 NEW BEST:: SOT 5847518 SOS 1763187 HAS SOPS 1759620 HAS SOUS 361116 HAS SOUPS 360748 WITH SCORE 362511.187
AT ITER 7072 NEW BEST:: SOT 5847182 SOS 1762851 HAS SOPS 1759284 HAS SOUS 360444 HAS SOUPS 360076 WITH SCORE 361838.851
AT ITER 7087 NEW BEST:: SOT 5847156 SOS 1762825 HAS SOPS 1759258 HAS SOUS 360378 HAS SOUPS 360010 WITH SCORE 361772.825
AT ITER 7094 NEW BEST:: SOT 5847105 SOS 1762774 HAS SOPS 1759207 HAS SOUS 360327 HAS SOUPS 359959 WITH SCORE 361721.774
AT ITER 7107 NEW BEST:: SOT 5846955 SOS 1762624 HAS SOPS 1759057 HAS SOUS 360097 HAS SOUPS 359729 WITH SCORE 361491.624
AT ITER 7112 NEW BEST:: SOT 5846672 SOS 1762341 HAS SOPS 1758774 HAS SOUS 359600 HAS SOUPS 359232 WITH SCORE 360994.341
AT ITER 7215 NEW BEST:: SOT 5846248 SOS 1761917 HAS SOPS 1758350 HAS SOUS 358776 HAS SOUPS 358408 WITH SCORE 360169.917
AT ITER 7218 NEW BEST:: SOT 5846053 SOS 1761722 HAS SOPS 1758155 HAS SOUS 358581 HAS SOUPS 358213 WITH SCORE 359974.722
AT ITER 7227 NEW BEST:: SOT 5846013 SOS 1761682 HAS SOPS 1758115 HAS SOUS 358517 HAS SOUPS 358149 WITH SCORE 359910.682
AT ITER 7235 NEW BEST:: SOT 5846003 SOS 1761662 HAS SOPS 1758095 HAS SOUS 358497 HAS SOUPS 358129 WITH SCORE 359890.662
AT ITER 7243 NEW BEST:: SOT 5845917 SOS 1761662 HAS SOPS 1758095 HAS SOUS 358411 HAS SOUPS 358043 WITH SCORE 359804.662
AT ITER 7244 NEW BEST:: SOT 5845903 SOS 1761648 HAS SOPS 1758081 HAS SOUS 358383 HAS SOUPS 358015 WITH SCORE 359776.648
AT ITER 7247 NEW BEST:: SOT 5845903 SOS 1761652 HAS SOPS 1758085 HAS SOUS 358377 HAS SOUPS 358009 WITH SCORE 359770.652
AT ITER 7255 NEW BEST:: SOT 5845870 SOS 1761487 HAS SOPS 1757920 HAS SOUS 358284 HAS SOUPS 357916 WITH SCORE 359677.487
AT ITER 7267 NEW BEST:: SOT 5845855 SOS 1761472 HAS SOPS 1757905 HAS SOUS 358269 HAS SOUPS 357901 WITH SCORE 359662.472
AT ITER 7268 NEW BEST:: SOT 5845808 SOS 1761425 HAS SOPS 1757858 HAS SOUS 358196 HAS SOUPS 357828 WITH SCORE 359589.425
AT ITER 7281 NEW BEST:: SOT 5845715 SOS 1761430 HAS SOPS 1757863 HAS SOUS 358078 HAS SOUPS 357710 WITH SCORE 359471.43
AT ITER 7284 NEW BEST:: SOT 5845681 SOS 1761396 HAS SOPS 1757829 HAS SOUS 358010 HAS SOUPS 357642 WITH SCORE 359403.396
AT ITER 7291 NEW BEST:: SOT 5845600 SOS 1761393 HAS SOPS 1757826 HAS SOUS 357920 HAS SOUPS 357552 WITH SCORE 359313.393
AT ITER 7309 NEW BEST:: SOT 5845512 SOS 1761305 HAS SOPS 1757738 HAS SOUS 357627 HAS SOUPS 357259 WITH SCORE 359020.305
AT ITER 7326 NEW BEST:: SOT 5845494 SOS 1761287 HAS SOPS 1757720 HAS SOUS 357609 HAS SOUPS 357241 WITH SCORE 359002.287
AT ITER 7327 NEW BEST:: SOT 5845482 SOS 1761275 HAS SOPS 1757708 HAS SOUS 357600 HAS SOUPS 357232 WITH SCORE 358993.275
AT ITER 7328 NEW BEST:: SOT 5845452 SOS 1761245 HAS SOPS 1757678 HAS SOUS 357517 HAS SOUPS 357149 WITH SCORE 358910.245
AT ITER 7364 NEW BEST:: SOT 5845280 SOS 1761073 HAS SOPS 1757506 HAS SOUS 357221 HAS SOUPS 356853 WITH SCORE 358614.073
AT ITER 7369 NEW BEST:: SOT 5845238 SOS 1761031 HAS SOPS 1757464 HAS SOUS 357137 HAS SOUPS 356769 WITH SCORE 358530.031
AT ITER 7390 NEW BEST:: SOT 5845081 SOS 1760874 HAS SOPS 1757307 HAS SOUS 356980 HAS SOUPS 356612 WITH SCORE 358372.874
AT ITER 7439 NEW BEST:: SOT 5845068 SOS 1760861 HAS SOPS 1757294 HAS SOUS 356954 HAS SOUPS 356586 WITH SCORE 358346.861
AT ITER 7451 NEW BEST:: SOT 5845237 SOS 1761030 HAS SOPS 1757463 HAS SOUS 356564 HAS SOUPS 356196 WITH SCORE 357957.03
AT ITER 7488 NEW BEST:: SOT 5845206 SOS 1760999 HAS SOPS 1757432 HAS SOUS 356502 HAS SOUPS 356134 WITH SCORE 357894.999
AT ITER 7502 NEW BEST:: SOT 5845097 SOS 1760890 HAS SOPS 1757323 HAS SOUS 356354 HAS SOUPS 355986 WITH SCORE 357746.89
AT ITER 7503 NEW BEST:: SOT 5845240 SOS 1761033 HAS SOPS 1757466 HAS SOUS 356232 HAS SOUPS 355864 WITH SCORE 357625.033
AT ITER 7506 NEW BEST:: SOT 5845188 SOS 1760981 HAS SOPS 1757414 HAS SOUS 356180 HAS SOUPS 355812 WITH SCORE 357572.981
AT ITER 7530 NEW BEST:: SOT 5845085 SOS 1760878 HAS SOPS 1757311 HAS SOUS 356014 HAS SOUPS 355646 WITH SCORE 357406.878
AT ITER 7533 NEW BEST:: SOT 5844853 SOS 1760646 HAS SOPS 1757079 HAS SOUS 355841 HAS SOUPS 355473 WITH SCORE 357233.646
AT ITER 7546 NEW BEST:: SOT 5844890 SOS 1760683 HAS SOPS 1757116 HAS SOUS 355706 HAS SOUPS 355338 WITH SCORE 357098.683
AT ITER 7555 NEW BEST:: SOT 5844995 SOS 1760788 HAS SOPS 1757221 HAS SOUS 355189 HAS SOUPS 354821 WITH SCORE 356581.788
AT ITER 7584 NEW BEST:: SOT 5844820 SOS 1760971 HAS SOPS 1757404 HAS SOUS 355030 HAS SOUPS 354662 WITH SCORE 356422.971
AT ITER 7585 NEW BEST:: SOT 5844352 SOS 1760870 HAS SOPS 1757303 HAS SOUS 354974 HAS SOUPS 354606 WITH SCORE 356366.87
AT ITER 7602 NEW BEST:: SOT 5844352 SOS 1760870 HAS SOPS 1757303 HAS SOUS 354907 HAS SOUPS 354539 WITH SCORE 356299.87
AT ITER 7617 NEW BEST:: SOT 5844287 SOS 1760805 HAS SOPS 1757238 HAS SOUS 354777 HAS SOUPS 354409 WITH SCORE 356169.805
AT ITER 7621 NEW BEST:: SOT 5844308 SOS 1760826 HAS SOPS 1757259 HAS SOUS 354651 HAS SOUPS 354283 WITH SCORE 356043.826
AT ITER 7625 NEW BEST:: SOT 5844259 SOS 1760777 HAS SOPS 1757210 HAS SOUS 354602 HAS SOUPS 354234 WITH SCORE 355994.777
AT ITER 7629 NEW BEST:: SOT 5844102 SOS 1760620 HAS SOPS 1757053 HAS SOUS 354376 HAS SOUPS 354008 WITH SCORE 355768.62
AT ITER 7633 NEW BEST:: SOT 5844101 SOS 1760549 HAS SOPS 1756982 HAS SOUS 354374 HAS SOUPS 354006 WITH SCORE 355766.549
AT ITER 7648 NEW BEST:: SOT 5844096 SOS 1760544 HAS SOPS 1756977 HAS SOUS 354339 HAS SOUPS 353971 WITH SCORE 355731.544
AT ITER 7651 NEW BEST:: SOT 5844089 SOS 1760558 HAS SOPS 1756991 HAS SOUS 354325 HAS SOUPS 353957 WITH SCORE 355717.558
AT ITER 7658 NEW BEST:: SOT 5843885 SOS 1760354 HAS SOPS 1756787 HAS SOUS 354321 HAS SOUPS 353953 WITH SCORE 355713.354
AT ITER 7668 NEW BEST:: SOT 5843848 SOS 1760317 HAS SOPS 1756750 HAS SOUS 354288 HAS SOUPS 353920 WITH SCORE 355680.317
AT ITER 7687 NEW BEST:: SOT 5843848 SOS 1760317 HAS SOPS 1756750 HAS SOUS 354284 HAS SOUPS 353916 WITH SCORE 355676.317
AT ITER 7716 NEW BEST:: SOT 5843927 SOS 1760396 HAS SOPS 1756829 HAS SOUS 354243 HAS SOUPS 353875 WITH SCORE 355635.396
AT ITER 7723 NEW BEST:: SOT 5843901 SOS 1760370 HAS SOPS 1756803 HAS SOUS 354217 HAS SOUPS 353849 WITH SCORE 355609.37
AT ITER 7749 NEW BEST:: SOT 5843870 SOS 1760339 HAS SOPS 1756772 HAS SOUS 354186 HAS SOUPS 353818 WITH SCORE 355578.339
AT ITER 7756 NEW BEST:: SOT 5843775 SOS 1759962 HAS SOPS 1756395 HAS SOUS 354091 HAS SOUPS 353723 WITH SCORE 355482.962
AT ITER 7758 NEW BEST:: SOT 5843732 SOS 1759919 HAS SOPS 1756352 HAS SOUS 354068 HAS SOUPS 353700 WITH SCORE 355459.919
AT ITER 7760 NEW BEST:: SOT 5843718 SOS 1759891 HAS SOPS 1756324 HAS SOUS 354040 HAS SOUPS 353672 WITH SCORE 355431.891
AT ITER 7797 NEW BEST:: SOT 5843646 SOS 1759819 HAS SOPS 1756252 HAS SOUS 353944 HAS SOUPS 353576 WITH SCORE 355335.819
AT ITER 7799 NEW BEST:: SOT 5843639 SOS 1759808 HAS SOPS 1756241 HAS SOUS 353916 HAS SOUPS 353548 WITH SCORE 355307.808
AT ITER 7803 NEW BEST:: SOT 5843444 SOS 1765294 HAS SOPS 1761727 HAS SOUS 353699 HAS SOUPS 353331 WITH SCORE 355096.294
AT ITER 7816 NEW BEST:: SOT 5842355 SOS 1764205 HAS SOPS 1760638 HAS SOUS 352998 HAS SOUPS 352630 WITH SCORE 354394.205
AT ITER 7834 NEW BEST:: SOT 5842299 SOS 1764149 HAS SOPS 1760582 HAS SOUS 351537 HAS SOUPS 351169 WITH SCORE 352933.149
AT ITER 7846 NEW BEST:: SOT 5842247 SOS 1764097 HAS SOPS 1760530 HAS SOUS 351510 HAS SOUPS 351142 WITH SCORE 352906.097
AT ITER 7863 NEW BEST:: SOT 5842224 SOS 1764074 HAS SOPS 1760507 HAS SOUS 351464 HAS SOUPS 351096 WITH SCORE 352860.074
AT ITER 7869 NEW BEST:: SOT 5842224 SOS 1764074 HAS SOPS 1760507 HAS SOUS 351434 HAS SOUPS 351066 WITH SCORE 352830.074
AT ITER 7873 NEW BEST:: SOT 5842222 SOS 1764082 HAS SOPS 1760515 HAS SOUS 351430 HAS SOUPS 351062 WITH SCORE 352826.082
AT ITER 7889 NEW BEST:: SOT 5842304 SOS 1764164 HAS SOPS 1760597 HAS SOUS 351398 HAS SOUPS 351030 WITH SCORE 352794.164
AT ITER 7892 NEW BEST:: SOT 5842341 SOS 1764142 HAS SOPS 1760575 HAS SOUS 351376 HAS SOUPS 351008 WITH SCORE 352772.142
AT ITER 7905 NEW BEST:: SOT 5842232 SOS 1764033 HAS SOPS 1760466 HAS SOUS 351227 HAS SOUPS 350859 WITH SCORE 352623.033
AT ITER 7938 NEW BEST:: SOT 5842993 SOS 1764794 HAS SOPS 1761227 HAS SOUS 351221 HAS SOUPS 350853 WITH SCORE 352617.794
AT ITER 7952 NEW BEST:: SOT 5842962 SOS 1764763 HAS SOPS 1761196 HAS SOUS 351190 HAS SOUPS 350822 WITH SCORE 352586.763
AT ITER 7961 NEW BEST:: SOT 5842815 SOS 1764616 HAS SOPS 1761049 HAS SOUS 351141 HAS SOUPS 350773 WITH SCORE 352537.616
AT ITER 7972 NEW BEST:: SOT 5842788 SOS 1764589 HAS SOPS 1761022 HAS SOUS 351114 HAS SOUPS 350746 WITH SCORE 352510.589
AT ITER 7974 NEW BEST:: SOT 5842773 SOS 1764559 HAS SOPS 1760992 HAS SOUS 351084 HAS SOUPS 350716 WITH SCORE 352480.559
AT ITER 7975 NEW BEST:: SOT 5842787 SOS 1764573 HAS SOPS 1761006 HAS SOUS 351054 HAS SOUPS 350686 WITH SCORE 352450.573
AT ITER 7983 NEW BEST:: SOT 5842603 SOS 1764389 HAS SOPS 1760822 HAS SOUS 350906 HAS SOUPS 350538 WITH SCORE 352302.389
AT ITER 7984 NEW BEST:: SOT 5842578 SOS 1764364 HAS SOPS 1760797 HAS SOUS 350819 HAS SOUPS 350451 WITH SCORE 352215.364
AT ITER 7991 NEW BEST:: SOT 5842287 SOS 1764073 HAS SOPS 1760506 HAS SOUS 350804 HAS SOUPS 350436 WITH SCORE 352200.073
AT ITER 8037 NEW BEST:: SOT 5842151 SOS 1763937 HAS SOPS 1760370 HAS SOUS 350206 HAS SOUPS 349838 WITH SCORE 351601.937
AT ITER 8042 NEW BEST:: SOT 5842049 SOS 1763835 HAS SOPS 1760268 HAS SOUS 350053 HAS SOUPS 349685 WITH SCORE 351448.835
AT ITER 8043 NEW BEST:: SOT 5842049 SOS 1763835 HAS SOPS 1760268 HAS SOUS 349993 HAS SOUPS 349625 WITH SCORE 351388.835
AT ITER 8067 NEW BEST:: SOT 5841979 SOS 1763765 HAS SOPS 1760198 HAS SOUS 349923 HAS SOUPS 349555 WITH SCORE 351318.765
AT ITER 8077 NEW BEST:: SOT 5841925 SOS 1763711 HAS SOPS 1760144 HAS SOUS 349731 HAS SOUPS 349363 WITH SCORE 351126.711
AT ITER 8079 NEW BEST:: SOT 5841877 SOS 1763663 HAS SOPS 1760096 HAS SOUS 349659 HAS SOUPS 349291 WITH SCORE 351054.663
AT ITER 8080 NEW BEST:: SOT 5841866 SOS 1763652 HAS SOPS 1760085 HAS SOUS 349622 HAS SOUPS 349254 WITH SCORE 351017.652
AT ITER 8123 NEW BEST:: SOT 5841846 SOS 1763612 HAS SOPS 1760045 HAS SOUS 349582 HAS SOUPS 349214 WITH SCORE 350977.612
AT ITER 8155 NEW BEST:: SOT 5841846 SOS 1763522 HAS SOPS 1759955 HAS SOUS 349553 HAS SOUPS 349185 WITH SCORE 350948.522
AT ITER 8157 NEW BEST:: SOT 5841783 SOS 1763459 HAS SOPS 1759892 HAS SOUS 349400 HAS SOUPS 349032 WITH SCORE 350795.459
AT ITER 8168 NEW BEST:: SOT 5842479 SOS 1764373 HAS SOPS 1760806 HAS SOUS 348726 HAS SOUPS 348358 WITH SCORE 350122.373
AT ITER 8175 NEW BEST:: SOT 5842471 SOS 1764365 HAS SOPS 1760798 HAS SOUS 348508 HAS SOUPS 348140 WITH SCORE 349904.365
AT ITER 8191 NEW BEST:: SOT 5842231 SOS 1764125 HAS SOPS 1760558 HAS SOUS 348052 HAS SOUPS 347684 WITH SCORE 349448.125
AT ITER 8202 NEW BEST:: SOT 5842231 SOS 1764124 HAS SOPS 1760557 HAS SOUS 348050 HAS SOUPS 347682 WITH SCORE 349446.124
AT ITER 8215 NEW BEST:: SOT 5842226 SOS 1764119 HAS SOPS 1760552 HAS SOUS 348035 HAS SOUPS 347667 WITH SCORE 349431.119
AT ITER 8222 NEW BEST:: SOT 5842208 SOS 1763139 HAS SOPS 1760202 HAS SOUS 347971 HAS SOUPS 347666 WITH SCORE 349429.139
AT ITER 8233 NEW BEST:: SOT 5842208 SOS 1763139 HAS SOPS 1760202 HAS SOUS 347929 HAS SOUPS 347624 WITH SCORE 349387.139
AT ITER 8243 NEW BEST:: SOT 5842182 SOS 1763113 HAS SOPS 1760176 HAS SOUS 347834 HAS SOUPS 347529 WITH SCORE 349292.113
AT ITER 8250 NEW BEST:: SOT 5842128 SOS 1763059 HAS SOPS 1760122 HAS SOUS 347545 HAS SOUPS 347240 WITH SCORE 349003.059
AT ITER 8261 NEW BEST:: SOT 5842071 SOS 1763002 HAS SOPS 1760065 HAS SOUS 347431 HAS SOUPS 347126 WITH SCORE 348889.002
AT ITER 8263 NEW BEST:: SOT 5841997 SOS 1762928 HAS SOPS 1759991 HAS SOUS 347283 HAS SOUPS 346978 WITH SCORE 348740.928
AT ITER 8276 NEW BEST:: SOT 5841709 SOS 1762640 HAS SOPS 1759703 HAS SOUS 346995 HAS SOUPS 346690 WITH SCORE 348452.64
AT ITER 8278 NEW BEST:: SOT 5841834 SOS 1762432 HAS SOPS 1759495 HAS SOUS 346594 HAS SOUPS 346289 WITH SCORE 348051.432
AT ITER 8288 NEW BEST:: SOT 5841686 SOS 1762284 HAS SOPS 1759347 HAS SOUS 346387 HAS SOUPS 346082 WITH SCORE 347844.284
AT ITER 8312 NEW BEST:: SOT 5841566 SOS 1762164 HAS SOPS 1759227 HAS SOUS 346245 HAS SOUPS 345940 WITH SCORE 347702.164
AT ITER 8342 NEW BEST:: SOT 5841520 SOS 1762175 HAS SOPS 1759238 HAS SOUS 346153 HAS SOUPS 345848 WITH SCORE 347610.175
AT ITER 8371 NEW BEST:: SOT 5841519 SOS 1762174 HAS SOPS 1759237 HAS SOUS 346150 HAS SOUPS 345845 WITH SCORE 347607.174
AT ITER 8373 NEW BEST:: SOT 5841517 SOS 1762172 HAS SOPS 1759235 HAS SOUS 346146 HAS SOUPS 345841 WITH SCORE 347603.172
AT ITER 8385 NEW BEST:: SOT 5841624 SOS 1762279 HAS SOPS 1759342 HAS SOUS 345766 HAS SOUPS 345461 WITH SCORE 347223.279
AT ITER 8401 NEW BEST:: SOT 5841792 SOS 1762447 HAS SOPS 1759510 HAS SOUS 345485 HAS SOUPS 345180 WITH SCORE 346942.447
AT ITER 8431 NEW BEST:: SOT 5841775 SOS 1762430 HAS SOPS 1759493 HAS SOUS 345468 HAS SOUPS 345163 WITH SCORE 346925.43
AT ITER 8459 NEW BEST:: SOT 5841775 SOS 1762502 HAS SOPS 1759565 HAS SOUS 345464 HAS SOUPS 345159 WITH SCORE 346921.502
AT ITER 8470 NEW BEST:: SOT 5841721 SOS 1762461 HAS SOPS 1759524 HAS SOUS 345423 HAS SOUPS 345118 WITH SCORE 346880.461
AT ITER 8477 NEW BEST:: SOT 5841724 SOS 1762464 HAS SOPS 1759527 HAS SOUS 345388 HAS SOUPS 345083 WITH SCORE 346845.464
AT ITER 8499 NEW BEST:: SOT 5841895 SOS 1762635 HAS SOPS 1759698 HAS SOUS 344607 HAS SOUPS 344302 WITH SCORE 346064.635
AT ITER 8503 NEW BEST:: SOT 5842233 SOS 1762973 HAS SOPS 1760036 HAS SOUS 343837 HAS SOUPS 343532 WITH SCORE 345294.973
AT ITER 8570 NEW BEST:: SOT 5841965 SOS 1762751 HAS SOPS 1759814 HAS SOUS 343572 HAS SOUPS 343267 WITH SCORE 345029.751
AT ITER 8571 NEW BEST:: SOT 5841912 SOS 1762645 HAS SOPS 1759708 HAS SOUS 343466 HAS SOUPS 343161 WITH SCORE 344923.645
AT ITER 8580 NEW BEST:: SOT 5841855 SOS 1762481 HAS SOPS 1759544 HAS SOUS 343302 HAS SOUPS 342997 WITH SCORE 344759.481
AT ITER 8608 NEW BEST:: SOT 5841855 SOS 1762469 HAS SOPS 1759532 HAS SOUS 343302 HAS SOUPS 342997 WITH SCORE 344759.469
AT ITER 8610 NEW BEST:: SOT 5842047 SOS 1762150 HAS SOPS 1759213 HAS SOUS 343289 HAS SOUPS 342984 WITH SCORE 344746.15
AT ITER 8614 NEW BEST:: SOT 5842050 SOS 1762153 HAS SOPS 1759216 HAS SOUS 343287 HAS SOUPS 342982 WITH SCORE 344744.153
AT ITER 8645 NEW BEST:: SOT 5841999 SOS 1762051 HAS SOPS 1759114 HAS SOUS 343185 HAS SOUPS 342880 WITH SCORE 344642.051
AT ITER 8662 NEW BEST:: SOT 5841744 SOS 1761796 HAS SOPS 1758859 HAS SOUS 342772 HAS SOUPS 342467 WITH SCORE 344228.796
AT ITER 8663 NEW BEST:: SOT 5841741 SOS 1761793 HAS SOPS 1758856 HAS SOUS 342766 HAS SOUPS 342461 WITH SCORE 344222.793
AT ITER 8668 NEW BEST:: SOT 5841679 SOS 1761731 HAS SOPS 1758794 HAS SOUS 342642 HAS SOUPS 342337 WITH SCORE 344098.731
AT ITER 8676 NEW BEST:: SOT 5841633 SOS 1761685 HAS SOPS 1758748 HAS SOUS 342609 HAS SOUPS 342304 WITH SCORE 344065.685
AT ITER 8694 NEW BEST:: SOT 5841471 SOS 1761523 HAS SOPS 1758586 HAS SOUS 342107 HAS SOUPS 341802 WITH SCORE 343563.523
AT ITER 8716 NEW BEST:: SOT 5841410 SOS 1761462 HAS SOPS 1758525 HAS SOUS 342046 HAS SOUPS 341741 WITH SCORE 343502.462
AT ITER 8725 NEW BEST:: SOT 5841386 SOS 1761438 HAS SOPS 1758501 HAS SOUS 341998 HAS SOUPS 341693 WITH SCORE 343454.438
AT ITER 8730 NEW BEST:: SOT 5841350 SOS 1761402 HAS SOPS 1758465 HAS SOUS 341962 HAS SOUPS 341657 WITH SCORE 343418.402
AT ITER 8737 NEW BEST:: SOT 5841169 SOS 1761221 HAS SOPS 1758284 HAS SOUS 341865 HAS SOUPS 341560 WITH SCORE 343321.221
AT ITER 8789 NEW BEST:: SOT 5841153 SOS 1761205 HAS SOPS 1758268 HAS SOUS 341833 HAS SOUPS 341528 WITH SCORE 343289.205
AT ITER 8808 NEW BEST:: SOT 5841329 SOS 1761381 HAS SOPS 1758444 HAS SOUS 341721 HAS SOUPS 341416 WITH SCORE 343177.381
AT ITER 8809 NEW BEST:: SOT 5841185 SOS 1761237 HAS SOPS 1758300 HAS SOUS 341500 HAS SOUPS 341195 WITH SCORE 342956.237
AT ITER 8851 NEW BEST:: SOT 5841172 SOS 1761224 HAS SOPS 1758287 HAS SOUS 341474 HAS SOUPS 341169 WITH SCORE 342930.224
AT ITER 8866 NEW BEST:: SOT 5841095 SOS 1761045 HAS SOPS 1758108 HAS SOUS 341296 HAS SOUPS 340991 WITH SCORE 342752.045
AT ITER 8878 NEW BEST:: SOT 5840975 SOS 1760925 HAS SOPS 1757988 HAS SOUS 341102 HAS SOUPS 340797 WITH SCORE 342557.925
AT ITER 8882 NEW BEST:: SOT 5840975 SOS 1759760 HAS SOPS 1756803 HAS SOUS 341102 HAS SOUPS 340797 WITH SCORE 342556.76
AT ITER 8890 NEW BEST:: SOT 5840965 SOS 1759750 HAS SOPS 1756793 HAS SOUS 341092 HAS SOUPS 340787 WITH SCORE 342546.75
AT ITER 8901 NEW BEST:: SOT 5840965 SOS 1759739 HAS SOPS 1756782 HAS SOUS 341092 HAS SOUPS 340787 WITH SCORE 342546.739
AT ITER 8903 NEW BEST:: SOT 5840791 SOS 1759565 HAS SOPS 1756608 HAS SOUS 340762 HAS SOUPS 340457 WITH SCORE 342216.565
AT ITER 8909 NEW BEST:: SOT 5840772 SOS 1759546 HAS SOPS 1756589 HAS SOUS 340743 HAS SOUPS 340438 WITH SCORE 342197.546
AT ITER 8927 NEW BEST:: SOT 5840639 SOS 1759413 HAS SOPS 1756456 HAS SOUS 340379 HAS SOUPS 340074 WITH SCORE 341833.413
AT ITER 8930 NEW BEST:: SOT 5840639 SOS 1759413 HAS SOPS 1756456 HAS SOUS 340308 HAS SOUPS 340003 WITH SCORE 341762.413
AT ITER 8936 NEW BEST:: SOT 5840477 SOS 1759251 HAS SOPS 1756294 HAS SOUS 340109 HAS SOUPS 339804 WITH SCORE 341563.251
AT ITER 8948 NEW BEST:: SOT 5840444 SOS 1759218 HAS SOPS 1756261 HAS SOUS 340051 HAS SOUPS 339746 WITH SCORE 341505.218
AT ITER 8979 NEW BEST:: SOT 5840417 SOS 1759191 HAS SOPS 1756234 HAS SOUS 339997 HAS SOUPS 339692 WITH SCORE 341451.191
AT ITER 8989 NEW BEST:: SOT 5840371 SOS 1759331 HAS SOPS 1756374 HAS SOUS 339932 HAS SOUPS 339627 WITH SCORE 341386.331
AT ITER 8994 NEW BEST:: SOT 5838815 SOS 1757055 HAS SOPS 1754098 HAS SOUS 339435 HAS SOUPS 339130 WITH SCORE 340887.055
AT ITER 9006 NEW BEST:: SOT 5838809 SOS 1756879 HAS SOPS 1753922 HAS SOUS 339345 HAS SOUPS 339040 WITH SCORE 340796.879
AT ITER 9052 NEW BEST:: SOT 5838809 SOS 1756879 HAS SOPS 1753922 HAS SOUS 339308 HAS SOUPS 339003 WITH SCORE 340759.879
AT ITER 9070 NEW BEST:: SOT 5838809 SOS 1756879 HAS SOPS 1753922 HAS SOUS 339292 HAS SOUPS 338987 WITH SCORE 340743.879
AT ITER 9087 NEW BEST:: SOT 5838797 SOS 1756867 HAS SOPS 1753910 HAS SOUS 339279 HAS SOUPS 338974 WITH SCORE 340730.867
AT ITER 9096 NEW BEST:: SOT 5838609 SOS 1756856 HAS SOPS 1753899 HAS SOUS 339014 HAS SOUPS 338709 WITH SCORE 340465.856
AT ITER 9104 NEW BEST:: SOT 5838595 SOS 1756842 HAS SOPS 1753885 HAS SOUS 338986 HAS SOUPS 338681 WITH SCORE 340437.842
AT ITER 9120 NEW BEST:: SOT 5838612 SOS 1756859 HAS SOPS 1753902 HAS SOUS 338979 HAS SOUPS 338674 WITH SCORE 340430.859
AT ITER 9133 NEW BEST:: SOT 5838596 SOS 1756843 HAS SOPS 1753886 HAS SOUS 338931 HAS SOUPS 338626 WITH SCORE 340382.843
AT ITER 9160 NEW BEST:: SOT 5838506 SOS 1756753 HAS SOPS 1753796 HAS SOUS 338768 HAS SOUPS 338463 WITH SCORE 340219.753
AT ITER 9163 NEW BEST:: SOT 5838600 SOS 1756847 HAS SOPS 1753890 HAS SOUS 338499 HAS SOUPS 338194 WITH SCORE 339950.847
AT ITER 9166 NEW BEST:: SOT 5838547 SOS 1756794 HAS SOPS 1753837 HAS SOUS 338446 HAS SOUPS 338141 WITH SCORE 339897.794
AT ITER 9176 NEW BEST:: SOT 5838500 SOS 1756747 HAS SOPS 1753790 HAS SOUS 338371 HAS SOUPS 338066 WITH SCORE 339822.747
AT ITER 9183 NEW BEST:: SOT 5838424 SOS 1756671 HAS SOPS 1753714 HAS SOUS 338196 HAS SOUPS 337891 WITH SCORE 339647.671
AT ITER 9186 NEW BEST:: SOT 5838891 SOS 1757138 HAS SOPS 1754181 HAS SOUS 337786 HAS SOUPS 337481 WITH SCORE 339238.138
AT ITER 9190 NEW BEST:: SOT 5838886 SOS 1757133 HAS SOPS 1754176 HAS SOUS 337781 HAS SOUPS 337476 WITH SCORE 339233.133
AT ITER 9200 NEW BEST:: SOT 5838869 SOS 1757116 HAS SOPS 1754159 HAS SOUS 337755 HAS SOUPS 337450 WITH SCORE 339207.116
AT ITER 9217 NEW BEST:: SOT 5838826 SOS 1757073 HAS SOPS 1754116 HAS SOUS 337689 HAS SOUPS 337384 WITH SCORE 339141.073
AT ITER 9238 NEW BEST:: SOT 5838824 SOS 1757071 HAS SOPS 1754114 HAS SOUS 337683 HAS SOUPS 337378 WITH SCORE 339135.071
AT ITER 9259 NEW BEST:: SOT 5838809 SOS 1757007 HAS SOPS 1754050 HAS SOUS 337632 HAS SOUPS 337327 WITH SCORE 339084.007
AT ITER 9260 NEW BEST:: SOT 5838709 SOS 1756907 HAS SOPS 1753950 HAS SOUS 337628 HAS SOUPS 337323 WITH SCORE 339079.907
AT ITER 9264 NEW BEST:: SOT 5838695 SOS 1756893 HAS SOPS 1753936 HAS SOUS 337521 HAS SOUPS 337216 WITH SCORE 338972.893
AT ITER 9275 NEW BEST:: SOT 5838693 SOS 1756891 HAS SOPS 1753934 HAS SOUS 337519 HAS SOUPS 337214 WITH SCORE 338970.891
AT ITER 9284 NEW BEST:: SOT 5838556 SOS 1756754 HAS SOPS 1753797 HAS SOUS 337292 HAS SOUPS 336987 WITH SCORE 338743.754
AT ITER 9292 NEW BEST:: SOT 5838359 SOS 1756557 HAS SOPS 1753600 HAS SOUS 336881 HAS SOUPS 336576 WITH SCORE 338332.557
AT ITER 9303 NEW BEST:: SOT 5837845 SOS 1756043 HAS SOPS 1753086 HAS SOUS 336031 HAS SOUPS 335726 WITH SCORE 337482.043
AT ITER 9305 NEW BEST:: SOT 5837686 SOS 1755884 HAS SOPS 1752927 HAS SOUS 336012 HAS SOUPS 335707 WITH SCORE 337462.884
AT ITER 9329 NEW BEST:: SOT 5837914 SOS 1756112 HAS SOPS 1753155 HAS SOUS 335102 HAS SOUPS 334797 WITH SCORE 336553.112
AT ITER 9333 NEW BEST:: SOT 5837724 SOS 1755922 HAS SOPS 1752965 HAS SOUS 334877 HAS SOUPS 334572 WITH SCORE 336327.922
AT ITER 9358 NEW BEST:: SOT 5837724 SOS 1755921 HAS SOPS 1752964 HAS SOUS 334877 HAS SOUPS 334572 WITH SCORE 336327.921
AT ITER 9371 NEW BEST:: SOT 5837630 SOS 1755827 HAS SOPS 1752870 HAS SOUS 334689 HAS SOUPS 334384 WITH SCORE 336139.827
AT ITER 9391 NEW BEST:: SOT 5837630 SOS 1755827 HAS SOPS 1752870 HAS SOUS 334441 HAS SOUPS 334136 WITH SCORE 335891.827
AT ITER 9398 NEW BEST:: SOT 5837548 SOS 1755745 HAS SOPS 1752788 HAS SOUS 334359 HAS SOUPS 334054 WITH SCORE 335809.745
AT ITER 9404 NEW BEST:: SOT 5837601 SOS 1755798 HAS SOPS 1752841 HAS SOUS 334346 HAS SOUPS 334041 WITH SCORE 335796.798
AT ITER 9409 NEW BEST:: SOT 5837832 SOS 1756029 HAS SOPS 1753072 HAS SOUS 334192 HAS SOUPS 333887 WITH SCORE 335643.029
AT ITER 9416 NEW BEST:: SOT 5837500 SOS 1755317 HAS SOPS 1752360 HAS SOUS 333480 HAS SOUPS 333175 WITH SCORE 334930.317
AT ITER 9421 NEW BEST:: SOT 5837500 SOS 1755317 HAS SOPS 1752360 HAS SOUS 333458 HAS SOUPS 333153 WITH SCORE 334908.317
AT ITER 9453 NEW BEST:: SOT 5837464 SOS 1755281 HAS SOPS 1752324 HAS SOUS 333422 HAS SOUPS 333117 WITH SCORE 334872.281
AT ITER 9465 NEW BEST:: SOT 5836914 SOS 1754731 HAS SOPS 1751774 HAS SOUS 332328 HAS SOUPS 332023 WITH SCORE 333777.731
AT ITER 9483 NEW BEST:: SOT 5836870 SOS 1754687 HAS SOPS 1751730 HAS SOUS 332284 HAS SOUPS 331979 WITH SCORE 333733.687
AT ITER 9496 NEW BEST:: SOT 5836865 SOS 1754677 HAS SOPS 1751720 HAS SOUS 332274 HAS SOUPS 331969 WITH SCORE 333723.677
AT ITER 9498 NEW BEST:: SOT 5836827 SOS 1752514 HAS SOPS 1749546 HAS SOUS 332235 HAS SOUPS 331930 WITH SCORE 333682.514
AT ITER 9511 NEW BEST:: SOT 5836745 SOS 1752432 HAS SOPS 1749464 HAS SOUS 332071 HAS SOUPS 331766 WITH SCORE 333518.432
AT ITER 9514 NEW BEST:: SOT 5836745 SOS 1752432 HAS SOPS 1749464 HAS SOUS 332059 HAS SOUPS 331754 WITH SCORE 333506.432
AT ITER 9523 NEW BEST:: SOT 5837165 SOS 1752852 HAS SOPS 1749884 HAS SOUS 332007 HAS SOUPS 331702 WITH SCORE 333454.852
AT ITER 9568 NEW BEST:: SOT 5837077 SOS 1752764 HAS SOPS 1749796 HAS SOUS 331885 HAS SOUPS 331580 WITH SCORE 333332.764
AT ITER 9602 NEW BEST:: SOT 5836982 SOS 1752669 HAS SOPS 1749701 HAS SOUS 331675 HAS SOUPS 331370 WITH SCORE 333122.669
AT ITER 9617 NEW BEST:: SOT 5837094 SOS 1752781 HAS SOPS 1749813 HAS SOUS 331564 HAS SOUPS 331259 WITH SCORE 333011.781
AT ITER 9630 NEW BEST:: SOT 5837037 SOS 1752724 HAS SOPS 1749756 HAS SOUS 331507 HAS SOUPS 331202 WITH SCORE 332954.724
AT ITER 9634 NEW BEST:: SOT 5837032 SOS 1752662 HAS SOPS 1749694 HAS SOUS 331497 HAS SOUPS 331192 WITH SCORE 332944.662
AT ITER 9636 NEW BEST:: SOT 5836984 SOS 1752614 HAS SOPS 1749646 HAS SOUS 331353 HAS SOUPS 331048 WITH SCORE 332800.614
AT ITER 9646 NEW BEST:: SOT 5836976 SOS 1752606 HAS SOPS 1749638 HAS SOUS 331345 HAS SOUPS 331040 WITH SCORE 332792.606
AT ITER 9660 NEW BEST:: SOT 5837027 SOS 1752657 HAS SOPS 1749689 HAS SOUS 330406 HAS SOUPS 330101 WITH SCORE 331853.657
AT ITER 9662 NEW BEST:: SOT 5836956 SOS 1752586 HAS SOPS 1749618 HAS SOUS 330335 HAS SOUPS 330030 WITH SCORE 331782.586
AT ITER 9665 NEW BEST:: SOT 5836941 SOS 1752571 HAS SOPS 1749603 HAS SOUS 330298 HAS SOUPS 329993 WITH SCORE 331745.571
AT ITER 9692 NEW BEST:: SOT 5836805 SOS 1752488 HAS SOPS 1749520 HAS SOUS 330073 HAS SOUPS 329768 WITH SCORE 331520.488
AT ITER 9703 NEW BEST:: SOT 5836725 SOS 1752408 HAS SOPS 1749440 HAS SOUS 329931 HAS SOUPS 329626 WITH SCORE 331378.408
AT ITER 9706 NEW BEST:: SOT 5836539 SOS 1752222 HAS SOPS 1749254 HAS SOUS 329745 HAS SOUPS 329440 WITH SCORE 331192.222
AT ITER 9710 NEW BEST:: SOT 5836537 SOS 1752240 HAS SOPS 1749272 HAS SOUS 329743 HAS SOUPS 329438 WITH SCORE 331190.24
AT ITER 9732 NEW BEST:: SOT 5836614 SOS 1752317 HAS SOPS 1749349 HAS SOUS 329721 HAS SOUPS 329416 WITH SCORE 331168.317
AT ITER 9740 NEW BEST:: SOT 5836142 SOS 1751845 HAS SOPS 1748877 HAS SOUS 329249 HAS SOUPS 328944 WITH SCORE 330695.845
AT ITER 9749 NEW BEST:: SOT 5836132 SOS 1751835 HAS SOPS 1748867 HAS SOUS 329245 HAS SOUPS 328940 WITH SCORE 330691.835
AT ITER 9755 NEW BEST:: SOT 5836096 SOS 1751799 HAS SOPS 1748831 HAS SOUS 329215 HAS SOUPS 328910 WITH SCORE 330661.799
AT ITER 9763 NEW BEST:: SOT 5836042 SOS 1751745 HAS SOPS 1748777 HAS SOUS 329083 HAS SOUPS 328778 WITH SCORE 330529.745
AT ITER 9789 NEW BEST:: SOT 5835913 SOS 1751717 HAS SOPS 1748749 HAS SOUS 328825 HAS SOUPS 328520 WITH SCORE 330271.717
AT ITER 9797 NEW BEST:: SOT 5835822 SOS 1751626 HAS SOPS 1748658 HAS SOUS 328552 HAS SOUPS 328247 WITH SCORE 329998.626
AT ITER 9799 NEW BEST:: SOT 5835808 SOS 1751612 HAS SOPS 1748644 HAS SOUS 328536 HAS SOUPS 328231 WITH SCORE 329982.612
AT ITER 9821 NEW BEST:: SOT 5835802 SOS 1751600 HAS SOPS 1748632 HAS SOUS 328524 HAS SOUPS 328219 WITH SCORE 329970.6
AT ITER 9824 NEW BEST:: SOT 5835820 SOS 1754586 HAS SOPS 1751618 HAS SOUS 328344 HAS SOUPS 328039 WITH SCORE 329793.586
AT ITER 9832 NEW BEST:: SOT 5835816 SOS 1754582 HAS SOPS 1751614 HAS SOUS 328340 HAS SOUPS 328035 WITH SCORE 329789.582
AT ITER 9859 NEW BEST:: SOT 5835753 SOS 1754519 HAS SOPS 1751551 HAS SOUS 328197 HAS SOUPS 327892 WITH SCORE 329646.519
AT ITER 9864 NEW BEST:: SOT 5835170 SOS 1753936 HAS SOPS 1750968 HAS SOUS 327614 HAS SOUPS 327309 WITH SCORE 329062.936
AT ITER 9881 NEW BEST:: SOT 5835163 SOS 1753929 HAS SOPS 1750961 HAS SOUS 327607 HAS SOUPS 327302 WITH SCORE 329055.929
AT ITER 9886 NEW BEST:: SOT 5835163 SOS 1752337 HAS SOPS 1749342 HAS SOUS 327581 HAS SOUPS 327276 WITH SCORE 329028.337
AT ITER 9905 NEW BEST:: SOT 5835091 SOS 1752265 HAS SOPS 1749270 HAS SOUS 327509 HAS SOUPS 327204 WITH SCORE 328956.265
AT ITER 9963 NEW BEST:: SOT 5835080 SOS 1752487 HAS SOPS 1749492 HAS SOUS 327508 HAS SOUPS 327203 WITH SCORE 328955.487
AT ITER 9972 NEW BEST:: SOT 5827278 SOS 1744685 HAS SOPS 1741690 HAS SOUS 319706 HAS SOUPS 319401 WITH SCORE 321145.685
AT ITER 9976 NEW BEST:: SOT 5827268 SOS 1744675 HAS SOPS 1741680 HAS SOUS 319704 HAS SOUPS 319399 WITH SCORE 321143.675

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="PolyORBNT-PT-S10J60"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is PolyORBNT-PT-S10J60, 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 r123-tajo-158961355100704"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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