Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2020-input.r108-csrt-158961250700555.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...........................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is Parking-PT-864, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r108-csrt-158961250700555
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 596K
-rw-r--r-- 1 mcc users 3.1K Apr 12 00:40 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 12 00:40 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 10 23:31 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 10 23:31 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.4K Apr 14 12:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 14 12:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Apr 10 08:15 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Apr 10 08:15 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Apr 9 12:40 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Apr 9 12:40 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 10 22:21 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 10 22:21 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 427K Mar 24 05:37 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME Parking-PT-864-CTLCardinality-00
FORMULA_NAME Parking-PT-864-CTLCardinality-01
FORMULA_NAME Parking-PT-864-CTLCardinality-02
FORMULA_NAME Parking-PT-864-CTLCardinality-03
FORMULA_NAME Parking-PT-864-CTLCardinality-04
FORMULA_NAME Parking-PT-864-CTLCardinality-05
FORMULA_NAME Parking-PT-864-CTLCardinality-06
FORMULA_NAME Parking-PT-864-CTLCardinality-07
FORMULA_NAME Parking-PT-864-CTLCardinality-08
FORMULA_NAME Parking-PT-864-CTLCardinality-09
FORMULA_NAME Parking-PT-864-CTLCardinality-10
FORMULA_NAME Parking-PT-864-CTLCardinality-11
FORMULA_NAME Parking-PT-864-CTLCardinality-12
FORMULA_NAME Parking-PT-864-CTLCardinality-13
FORMULA_NAME Parking-PT-864-CTLCardinality-14
FORMULA_NAME Parking-PT-864-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589645144263

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Parking (PT), instance 864
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 1185 places, 1697 transitions, 5073 arcs.
AT ITER 0 NEW BEST:: SOT 1204467 SOS 861792 HAS SOPS 861792 HAS SOUS 569923 HAS SOUPS 569923 WITH SCORE 570784.792
AT ITER 4 NEW BEST:: SOT 1204467 SOS 861791 HAS SOPS 861791 HAS SOUS 569922 HAS SOUPS 569922 WITH SCORE 570783.791
AT ITER 10 NEW BEST:: SOT 1204219 SOS 861667 HAS SOPS 861667 HAS SOUS 569921 HAS SOUPS 569921 WITH SCORE 570782.667
AT ITER 12 NEW BEST:: SOT 1201651 SOS 851606 HAS SOPS 851347 HAS SOUS 568184 HAS SOUPS 568054 WITH SCORE 568905.606
AT ITER 16 NEW BEST:: SOT 1199637 SOS 849821 HAS SOPS 849333 HAS SOUS 567122 HAS SOUPS 566763 WITH SCORE 567612.821
AT ITER 18 NEW BEST:: SOT 1199637 SOS 849820 HAS SOPS 849332 HAS SOUS 567121 HAS SOUPS 566762 WITH SCORE 567611.82
AT ITER 28 NEW BEST:: SOT 1199477 SOS 850270 HAS SOPS 849228 HAS SOUS 567243 HAS SOUPS 566330 WITH SCORE 567180.27
AT ITER 29 NEW BEST:: SOT 1199477 SOS 849541 HAS SOPS 848499 HAS SOUS 567000 HAS SOUPS 566087 WITH SCORE 566936.541
AT ITER 31 NEW BEST:: SOT 1199477 SOS 848836 HAS SOPS 847794 HAS SOUS 566999 HAS SOUPS 566086 WITH SCORE 566934.836
AT ITER 32 NEW BEST:: SOT 1197691 SOS 845782 HAS SOPS 844566 HAS SOUS 564997 HAS SOUPS 563910 WITH SCORE 564755.782
AT ITER 34 NEW BEST:: SOT 1197691 SOS 844707 HAS SOPS 843491 HAS SOUS 564760 HAS SOUPS 563673 WITH SCORE 564517.707
AT ITER 35 NEW BEST:: SOT 1197691 SOS 844707 HAS SOPS 843491 HAS SOUS 564748 HAS SOUPS 563661 WITH SCORE 564505.707
AT ITER 39 NEW BEST:: SOT 1197691 SOS 843681 HAS SOPS 842465 HAS SOUS 564622 HAS SOUPS 563535 WITH SCORE 564378.681
AT ITER 40 NEW BEST:: SOT 1195903 SOS 841893 HAS SOPS 840677 HAS SOUS 563331 HAS SOUPS 562244 WITH SCORE 563085.893
AT ITER 43 NEW BEST:: SOT 1195903 SOS 840929 HAS SOPS 839713 HAS SOUS 562763 HAS SOUPS 561676 WITH SCORE 562516.929
AT ITER 44 NEW BEST:: SOT 1195616 SOS 840641 HAS SOPS 839425 HAS SOUS 562734 HAS SOUPS 561647 WITH SCORE 562487.641
AT ITER 45 NEW BEST:: SOT 1195856 SOS 838785 HAS SOPS 837569 HAS SOUS 562648 HAS SOUPS 561561 WITH SCORE 562399.785
AT ITER 48 NEW BEST:: SOT 1194493 SOS 837519 HAS SOPS 836206 HAS SOUS 561771 HAS SOUPS 560587 WITH SCORE 561424.519
AT ITER 54 NEW BEST:: SOT 1194193 SOS 835483 HAS SOPS 834170 HAS SOUS 560546 HAS SOUPS 559362 WITH SCORE 560197.483
AT ITER 64 NEW BEST:: SOT 1194192 SOS 834746 HAS SOPS 833433 HAS SOUS 560055 HAS SOUPS 558871 WITH SCORE 559705.746
AT ITER 65 NEW BEST:: SOT 1194192 SOS 834745 HAS SOPS 833432 HAS SOUS 560054 HAS SOUPS 558870 WITH SCORE 559704.745
AT ITER 67 NEW BEST:: SOT 1192744 SOS 833353 HAS SOPS 831983 HAS SOUS 559067 HAS SOUPS 557826 WITH SCORE 558659.353
AT ITER 71 NEW BEST:: SOT 1191259 SOS 832302 HAS SOPS 830498 HAS SOUS 558512 HAS SOUPS 556837 WITH SCORE 557669.302
AT ITER 73 NEW BEST:: SOT 1189387 SOS 828916 HAS SOPS 827051 HAS SOUS 556262 HAS SOUPS 554526 WITH SCORE 555354.916
AT ITER 74 NEW BEST:: SOT 1186700 SOS 826271 HAS SOPS 824406 HAS SOUS 554309 HAS SOUPS 552573 WITH SCORE 553399.271
AT ITER 80 NEW BEST:: SOT 1185460 SOS 825180 HAS SOPS 823165 HAS SOUS 553621 HAS SOUPS 551735 WITH SCORE 552560.18
AT ITER 81 NEW BEST:: SOT 1182712 SOS 822432 HAS SOPS 820417 HAS SOUS 551494 HAS SOUPS 549608 WITH SCORE 550430.432
AT ITER 83 NEW BEST:: SOT 1182712 SOS 822432 HAS SOPS 820417 HAS SOUS 551487 HAS SOUPS 549601 WITH SCORE 550423.432
AT ITER 84 NEW BEST:: SOT 1182712 SOS 822431 HAS SOPS 820416 HAS SOUS 551486 HAS SOUPS 549600 WITH SCORE 550422.431
AT ITER 86 NEW BEST:: SOT 1182712 SOS 822139 HAS SOPS 820124 HAS SOUS 551358 HAS SOUPS 549472 WITH SCORE 550294.139
AT ITER 87 NEW BEST:: SOT 1182712 SOS 821045 HAS SOPS 819030 HAS SOUS 550755 HAS SOUPS 548869 WITH SCORE 549690.045
AT ITER 90 NEW BEST:: SOT 1182770 SOS 821996 HAS SOPS 819377 HAS SOUS 551324 HAS SOUPS 548834 WITH SCORE 549655.996
AT ITER 93 NEW BEST:: SOT 1181910 SOS 821135 HAS SOPS 818516 HAS SOUS 550635 HAS SOUPS 548145 WITH SCORE 548966.135
AT ITER 95 NEW BEST:: SOT 1182397 SOS 822705 HAS SOPS 819575 HAS SOUS 550939 HAS SOUPS 547938 WITH SCORE 548760.705
AT ITER 96 NEW BEST:: SOT 1180713 SOS 820834 HAS SOPS 817598 HAS SOUS 549563 HAS SOUPS 546456 WITH SCORE 547276.834
AT ITER 100 NEW BEST:: SOT 1180485 SOS 818832 HAS SOPS 815596 HAS SOUS 548693 HAS SOUPS 545586 WITH SCORE 546404.832
AT ITER 101 NEW BEST:: SOT 1178474 SOS 815500 HAS SOPS 811826 HAS SOUS 546665 HAS SOUPS 543120 WITH SCORE 543935.5
AT ITER 103 NEW BEST:: SOT 1178474 SOS 814317 HAS SOPS 810643 HAS SOUS 546596 HAS SOUPS 543051 WITH SCORE 543865.317
AT ITER 105 NEW BEST:: SOT 1178181 SOS 812934 HAS SOPS 809260 HAS SOUS 546002 HAS SOUPS 542457 WITH SCORE 543269.934
AT ITER 108 NEW BEST:: SOT 1176855 SOS 811645 HAS SOPS 807933 HAS SOUS 545100 HAS SOUPS 541517 WITH SCORE 542328.645
AT ITER 113 NEW BEST:: SOT 1176659 SOS 811448 HAS SOPS 807736 HAS SOUS 545075 HAS SOUPS 541492 WITH SCORE 542303.448
AT ITER 117 NEW BEST:: SOT 1176443 SOS 811340 HAS SOPS 807520 HAS SOUS 545075 HAS SOUPS 541384 WITH SCORE 542195.34
AT ITER 119 NEW BEST:: SOT 1176265 SOS 809421 HAS SOPS 805601 HAS SOUS 544471 HAS SOUPS 540780 WITH SCORE 541589.421
AT ITER 121 NEW BEST:: SOT 1176015 SOS 809170 HAS SOPS 805350 HAS SOUS 544220 HAS SOUPS 540529 WITH SCORE 541338.17
AT ITER 122 NEW BEST:: SOT 1175424 SOS 808579 HAS SOPS 804759 HAS SOUS 542921 HAS SOUPS 539230 WITH SCORE 540038.579
AT ITER 124 NEW BEST:: SOT 1175424 SOS 808579 HAS SOPS 804759 HAS SOUS 542911 HAS SOUPS 539220 WITH SCORE 540028.579
AT ITER 125 NEW BEST:: SOT 1173615 SOS 807810 HAS SOPS 803398 HAS SOUS 541794 HAS SOUPS 537511 WITH SCORE 538318.81
AT ITER 126 NEW BEST:: SOT 1173958 SOS 809042 HAS SOPS 803893 HAS SOUS 542111 HAS SOUPS 537091 WITH SCORE 537900.042
AT ITER 129 NEW BEST:: SOT 1173958 SOS 808652 HAS SOPS 803503 HAS SOUS 542111 HAS SOUPS 537091 WITH SCORE 537899.652
AT ITER 137 NEW BEST:: SOT 1173958 SOS 808121 HAS SOPS 802972 HAS SOUS 542111 HAS SOUPS 537091 WITH SCORE 537899.121
AT ITER 141 NEW BEST:: SOT 1163062 SOS 795971 HAS SOPS 790491 HAS SOUS 534677 HAS SOUPS 529571 WITH SCORE 530366.971
AT ITER 142 NEW BEST:: SOT 1162623 SOS 795532 HAS SOPS 790052 HAS SOUS 534238 HAS SOUPS 529132 WITH SCORE 529927.532
AT ITER 145 NEW BEST:: SOT 1170397 SOS 804233 HAS SOPS 798305 HAS SOUS 534327 HAS SOUPS 528773 WITH SCORE 529577.233
AT ITER 150 NEW BEST:: SOT 1168547 SOS 801052 HAS SOPS 794715 HAS SOUS 532494 HAS SOUPS 526531 WITH SCORE 527332.052
AT ITER 156 NEW BEST:: SOT 1167668 SOS 799966 HAS SOPS 793621 HAS SOUS 531609 HAS SOUPS 525638 WITH SCORE 526437.966
AT ITER 159 NEW BEST:: SOT 1166272 SOS 798874 HAS SOPS 792225 HAS SOUS 531087 HAS SOUPS 524812 WITH SCORE 525610.874
AT ITER 160 NEW BEST:: SOT 1164838 SOS 797440 HAS SOPS 790791 HAS SOUS 530128 HAS SOUPS 523853 WITH SCORE 524650.44
AT ITER 168 NEW BEST:: SOT 1164208 SOS 796180 HAS SOPS 789531 HAS SOUS 529498 HAS SOUPS 523223 WITH SCORE 524019.18
AT ITER 169 NEW BEST:: SOT 1164208 SOS 792290 HAS SOPS 785641 HAS SOUS 529498 HAS SOUPS 523223 WITH SCORE 524015.29
AT ITER 171 NEW BEST:: SOT 1162955 SOS 790400 HAS SOPS 783260 HAS SOUS 528736 HAS SOUPS 521970 WITH SCORE 522760.4
AT ITER 173 NEW BEST:: SOT 1161655 SOS 789099 HAS SOPS 781959 HAS SOUS 527760 HAS SOUPS 520994 WITH SCORE 521783.099
AT ITER 174 NEW BEST:: SOT 1161655 SOS 787431 HAS SOPS 780291 HAS SOUS 527334 HAS SOUPS 520568 WITH SCORE 521355.431
AT ITER 175 NEW BEST:: SOT 1161655 SOS 787275 HAS SOPS 780135 HAS SOUS 527230 HAS SOUPS 520464 WITH SCORE 521251.275
AT ITER 179 NEW BEST:: SOT 1161655 SOS 787274 HAS SOPS 780134 HAS SOUS 527229 HAS SOUPS 520463 WITH SCORE 521250.274
AT ITER 180 NEW BEST:: SOT 1161655 SOS 786908 HAS SOPS 779768 HAS SOUS 526863 HAS SOUPS 520097 WITH SCORE 520883.908
AT ITER 183 NEW BEST:: SOT 1161655 SOS 786908 HAS SOPS 779768 HAS SOUS 526467 HAS SOUPS 519701 WITH SCORE 520487.908
AT ITER 184 NEW BEST:: SOT 1161655 SOS 786896 HAS SOPS 779756 HAS SOUS 526467 HAS SOUPS 519701 WITH SCORE 520487.896
AT ITER 189 NEW BEST:: SOT 1160502 SOS 785837 HAS SOPS 778603 HAS SOUS 525891 HAS SOUPS 519031 WITH SCORE 519816.837
AT ITER 191 NEW BEST:: SOT 1160502 SOS 785104 HAS SOPS 777870 HAS SOUS 525406 HAS SOUPS 518546 WITH SCORE 519331.104
AT ITER 194 NEW BEST:: SOT 1158361 SOS 781509 HAS SOPS 774105 HAS SOUS 523031 HAS SOUPS 516001 WITH SCORE 516782.509
AT ITER 195 NEW BEST:: SOT 1157147 SOS 780505 HAS SOPS 772891 HAS SOUS 522404 HAS SOUPS 515164 WITH SCORE 515944.505
AT ITER 197 NEW BEST:: SOT 1156994 SOS 780351 HAS SOPS 772737 HAS SOUS 522250 HAS SOUPS 515010 WITH SCORE 515790.351
AT ITER 199 NEW BEST:: SOT 1155056 SOS 777577 HAS SOPS 769417 HAS SOUS 520670 HAS SOUPS 512884 WITH SCORE 513661.577
AT ITER 202 NEW BEST:: SOT 1155056 SOS 777576 HAS SOPS 769416 HAS SOUS 520669 HAS SOUPS 512883 WITH SCORE 513660.576
AT ITER 203 NEW BEST:: SOT 1155056 SOS 776814 HAS SOPS 768654 HAS SOUS 520297 HAS SOUPS 512511 WITH SCORE 513287.814
AT ITER 205 NEW BEST:: SOT 1154530 SOS 776288 HAS SOPS 768128 HAS SOUS 519875 HAS SOUPS 512089 WITH SCORE 512865.288
AT ITER 206 NEW BEST:: SOT 1155155 SOS 776114 HAS SOPS 767153 HAS SOUS 519746 HAS SOUPS 511159 WITH SCORE 511935.114
AT ITER 207 NEW BEST:: SOT 1154644 SOS 775183 HAS SOPS 766000 HAS SOUS 519243 HAS SOUPS 510434 WITH SCORE 511209.183
AT ITER 208 NEW BEST:: SOT 1153956 SOS 774495 HAS SOPS 765312 HAS SOUS 518899 HAS SOUPS 510090 WITH SCORE 510864.495
AT ITER 209 NEW BEST:: SOT 1153348 SOS 773886 HAS SOPS 764703 HAS SOUS 518442 HAS SOUPS 509633 WITH SCORE 510406.886
AT ITER 212 NEW BEST:: SOT 1153348 SOS 772959 HAS SOPS 763776 HAS SOUS 517839 HAS SOUPS 509030 WITH SCORE 509802.959
AT ITER 214 NEW BEST:: SOT 1153348 SOS 772561 HAS SOPS 763378 HAS SOUS 517640 HAS SOUPS 508831 WITH SCORE 509603.561
AT ITER 215 NEW BEST:: SOT 1152666 SOS 771878 HAS SOPS 762695 HAS SOUS 516957 HAS SOUPS 508148 WITH SCORE 508919.878
AT ITER 217 NEW BEST:: SOT 1152276 SOS 771488 HAS SOPS 762305 HAS SOUS 516674 HAS SOUPS 507865 WITH SCORE 508636.488
AT ITER 222 NEW BEST:: SOT 1151321 SOS 770533 HAS SOPS 761350 HAS SOUS 515980 HAS SOUPS 507171 WITH SCORE 507941.533
AT ITER 223 NEW BEST:: SOT 1150143 SOS 769355 HAS SOPS 760172 HAS SOUS 514802 HAS SOUPS 505993 WITH SCORE 506762.355
AT ITER 224 NEW BEST:: SOT 1149890 SOS 768826 HAS SOPS 759643 HAS SOUS 514756 HAS SOUPS 505947 WITH SCORE 506715.826
AT ITER 225 NEW BEST:: SOT 1149816 SOS 768825 HAS SOPS 759642 HAS SOUS 514755 HAS SOUPS 505946 WITH SCORE 506714.825
AT ITER 226 NEW BEST:: SOT 1149165 SOS 768097 HAS SOPS 758799 HAS SOUS 514219 HAS SOUPS 505295 WITH SCORE 506063.097
AT ITER 230 NEW BEST:: SOT 1148226 SOS 767132 HAS SOPS 757502 HAS SOUS 513662 HAS SOUPS 504406 WITH SCORE 505173.132
AT ITER 232 NEW BEST:: SOT 1148226 SOS 766753 HAS SOPS 757123 HAS SOUS 513661 HAS SOUPS 504405 WITH SCORE 505171.753
AT ITER 235 NEW BEST:: SOT 1148226 SOS 766678 HAS SOPS 757048 HAS SOUS 513661 HAS SOUPS 504405 WITH SCORE 505171.678
AT ITER 243 NEW BEST:: SOT 1148226 SOS 766571 HAS SOPS 756941 HAS SOUS 513661 HAS SOUPS 504405 WITH SCORE 505171.571
AT ITER 246 NEW BEST:: SOT 1148226 SOS 764021 HAS SOPS 754391 HAS SOUS 512761 HAS SOUPS 503505 WITH SCORE 504269.021
AT ITER 260 NEW BEST:: SOT 1146976 SOS 762771 HAS SOPS 753141 HAS SOUS 512343 HAS SOUPS 503087 WITH SCORE 503849.771
AT ITER 261 NEW BEST:: SOT 1146222 SOS 762060 HAS SOPS 752387 HAS SOUS 511924 HAS SOUPS 502625 WITH SCORE 503387.06
AT ITER 265 NEW BEST:: SOT 1146316 SOS 761839 HAS SOPS 752166 HAS SOUS 511761 HAS SOUPS 502462 WITH SCORE 503223.839
AT ITER 267 NEW BEST:: SOT 1146353 SOS 761576 HAS SOPS 751903 HAS SOUS 511498 HAS SOUPS 502199 WITH SCORE 502960.576
AT ITER 269 NEW BEST:: SOT 1146353 SOS 760828 HAS SOPS 751155 HAS SOUS 511124 HAS SOUPS 501825 WITH SCORE 502585.828
AT ITER 270 NEW BEST:: SOT 1146255 SOS 760503 HAS SOPS 751022 HAS SOUS 510990 HAS SOUPS 501787 WITH SCORE 502547.503
AT ITER 272 NEW BEST:: SOT 1145693 SOS 748122 HAS SOPS 738641 HAS SOUS 509499 HAS SOUPS 500296 WITH SCORE 501044.122
AT ITER 274 NEW BEST:: SOT 1145458 SOS 748135 HAS SOPS 738406 HAS SOUS 509512 HAS SOUPS 500061 WITH SCORE 500809.135
AT ITER 276 NEW BEST:: SOT 1145458 SOS 747931 HAS SOPS 738202 HAS SOUS 509511 HAS SOUPS 500060 WITH SCORE 500807.931
AT ITER 277 NEW BEST:: SOT 1143431 SOS 745904 HAS SOPS 736175 HAS SOUS 508013 HAS SOUPS 498562 WITH SCORE 499307.904
AT ITER 279 NEW BEST:: SOT 1141841 SOS 742960 HAS SOPS 732777 HAS SOUS 506333 HAS SOUPS 496428 WITH SCORE 497170.96
AT ITER 280 NEW BEST:: SOT 1141841 SOS 742772 HAS SOPS 732589 HAS SOUS 505749 HAS SOUPS 495844 WITH SCORE 496586.772
AT ITER 283 NEW BEST:: SOT 1139619 SOS 739117 HAS SOPS 728667 HAS SOUS 503484 HAS SOUPS 493312 WITH SCORE 494051.117
AT ITER 286 NEW BEST:: SOT 1139619 SOS 737812 HAS SOPS 727362 HAS SOUS 503091 HAS SOUPS 492919 WITH SCORE 493656.812
AT ITER 287 NEW BEST:: SOT 1139619 SOS 737812 HAS SOPS 727362 HAS SOUS 502903 HAS SOUPS 492731 WITH SCORE 493468.812
AT ITER 288 NEW BEST:: SOT 1139619 SOS 736724 HAS SOPS 726274 HAS SOUS 502296 HAS SOUPS 492124 WITH SCORE 492860.724
AT ITER 289 NEW BEST:: SOT 1139619 SOS 736723 HAS SOPS 726273 HAS SOUS 502227 HAS SOUPS 492055 WITH SCORE 492791.723
AT ITER 291 NEW BEST:: SOT 1138072 SOS 735387 HAS SOPS 724726 HAS SOUS 501431 HAS SOUPS 491048 WITH SCORE 491783.387
AT ITER 292 NEW BEST:: SOT 1136559 SOS 733552 HAS SOPS 722827 HAS SOUS 499975 HAS SOUPS 489528 WITH SCORE 490261.552
AT ITER 293 NEW BEST:: SOT 1136398 SOS 733391 HAS SOPS 722666 HAS SOUS 499814 HAS SOUPS 489367 WITH SCORE 490100.391
AT ITER 294 NEW BEST:: SOT 1136398 SOS 733334 HAS SOPS 722609 HAS SOUS 499795 HAS SOUPS 489348 WITH SCORE 490081.334
AT ITER 296 NEW BEST:: SOT 1136398 SOS 732686 HAS SOPS 721961 HAS SOUS 499363 HAS SOUPS 488916 WITH SCORE 489648.686
AT ITER 301 NEW BEST:: SOT 1135030 SOS 731318 HAS SOPS 720593 HAS SOUS 497995 HAS SOUPS 487548 WITH SCORE 488279.318
AT ITER 302 NEW BEST:: SOT 1135029 SOS 730879 HAS SOPS 720154 HAS SOUS 497756 HAS SOUPS 487309 WITH SCORE 488039.879
AT ITER 303 NEW BEST:: SOT 1134588 SOS 730576 HAS SOPS 719713 HAS SOUS 497453 HAS SOUPS 486868 WITH SCORE 487598.576
AT ITER 306 NEW BEST:: SOT 1134588 SOS 730575 HAS SOPS 719712 HAS SOUS 497452 HAS SOUPS 486867 WITH SCORE 487597.575
AT ITER 309 NEW BEST:: SOT 1133484 SOS 728830 HAS SOPS 717456 HAS SOUS 496681 HAS SOUPS 485585 WITH SCORE 486313.83
AT ITER 310 NEW BEST:: SOT 1133484 SOS 728314 HAS SOPS 716940 HAS SOUS 496527 HAS SOUPS 485431 WITH SCORE 486159.314
AT ITER 311 NEW BEST:: SOT 1133170 SOS 728000 HAS SOPS 716626 HAS SOUS 496279 HAS SOUPS 485183 WITH SCORE 485911.0
AT ITER 312 NEW BEST:: SOT 1131040 SOS 725933 HAS SOPS 714496 HAS SOUS 494785 HAS SOUPS 483626 WITH SCORE 484351.933
AT ITER 313 NEW BEST:: SOT 1130913 SOS 724446 HAS SOPS 713009 HAS SOUS 494464 HAS SOUPS 483305 WITH SCORE 484029.446
AT ITER 316 NEW BEST:: SOT 1130098 SOS 723630 HAS SOPS 712193 HAS SOUS 493965 HAS SOUPS 482806 WITH SCORE 483529.63
AT ITER 323 NEW BEST:: SOT 1130065 SOS 723597 HAS SOPS 712160 HAS SOUS 493932 HAS SOUPS 482773 WITH SCORE 483496.597
AT ITER 324 NEW BEST:: SOT 1129333 SOS 722865 HAS SOPS 711428 HAS SOUS 493566 HAS SOUPS 482407 WITH SCORE 483129.865
AT ITER 328 NEW BEST:: SOT 1129186 SOS 722717 HAS SOPS 711280 HAS SOUS 493418 HAS SOUPS 482259 WITH SCORE 482981.717
AT ITER 334 NEW BEST:: SOT 1129186 SOS 722408 HAS SOPS 710971 HAS SOUS 493109 HAS SOUPS 481950 WITH SCORE 482672.408
AT ITER 335 NEW BEST:: SOT 1128262 SOS 721484 HAS SOPS 710047 HAS SOUS 492391 HAS SOUPS 481232 WITH SCORE 481953.484
AT ITER 336 NEW BEST:: SOT 1126990 SOS 719491 HAS SOPS 708054 HAS SOUS 491034 HAS SOUPS 479875 WITH SCORE 480594.491
AT ITER 339 NEW BEST:: SOT 1126591 SOS 718025 HAS SOPS 706987 HAS SOUS 489967 HAS SOUPS 479207 WITH SCORE 479925.025
AT ITER 341 NEW BEST:: SOT 1126591 SOS 717840 HAS SOPS 706802 HAS SOUS 489782 HAS SOUPS 479022 WITH SCORE 479739.84
AT ITER 344 NEW BEST:: SOT 1126460 SOS 717708 HAS SOPS 706670 HAS SOUS 489749 HAS SOUPS 478989 WITH SCORE 479706.708
AT ITER 349 NEW BEST:: SOT 1124997 SOS 716467 HAS SOPS 705207 HAS SOUS 489078 HAS SOUPS 478096 WITH SCORE 478812.467
AT ITER 356 NEW BEST:: SOT 1124997 SOS 716252 HAS SOPS 704992 HAS SOUS 489078 HAS SOUPS 478096 WITH SCORE 478812.252
AT ITER 358 NEW BEST:: SOT 1124634 SOS 715888 HAS SOPS 704628 HAS SOUS 488714 HAS SOUPS 477732 WITH SCORE 478447.888
AT ITER 361 NEW BEST:: SOT 1123901 SOS 715155 HAS SOPS 703895 HAS SOUS 488157 HAS SOUPS 477175 WITH SCORE 477890.155
AT ITER 362 NEW BEST:: SOT 1123202 SOS 714455 HAS SOPS 703195 HAS SOUS 487645 HAS SOUPS 476663 WITH SCORE 477377.455
AT ITER 364 NEW BEST:: SOT 1122545 SOS 713798 HAS SOPS 702538 HAS SOUS 486816 HAS SOUPS 475834 WITH SCORE 476547.798
AT ITER 367 NEW BEST:: SOT 1123822 SOS 714432 HAS SOPS 703172 HAS SOUS 486734 HAS SOUPS 475752 WITH SCORE 476466.432
AT ITER 369 NEW BEST:: SOT 1123822 SOS 713964 HAS SOPS 702704 HAS SOUS 486578 HAS SOUPS 475596 WITH SCORE 476309.964
AT ITER 370 NEW BEST:: SOT 1121617 SOS 710385 HAS SOPS 698959 HAS SOUS 484263 HAS SOUPS 473115 WITH SCORE 473825.385
AT ITER 373 NEW BEST:: SOT 1121797 SOS 710518 HAS SOPS 699092 HAS SOUS 483874 HAS SOUPS 472726 WITH SCORE 473436.518
AT ITER 375 NEW BEST:: SOT 1121758 SOS 710406 HAS SOPS 698967 HAS SOUS 483758 HAS SOUPS 472597 WITH SCORE 473307.406
AT ITER 376 NEW BEST:: SOT 1121710 SOS 710346 HAS SOPS 698907 HAS SOUS 483710 HAS SOUPS 472549 WITH SCORE 473259.346
AT ITER 379 NEW BEST:: SOT 1120738 SOS 709432 HAS SOPS 697993 HAS SOUS 483094 HAS SOUPS 471933 WITH SCORE 472642.432
AT ITER 380 NEW BEST:: SOT 1120738 SOS 709260 HAS SOPS 697821 HAS SOUS 483008 HAS SOUPS 471847 WITH SCORE 472556.26
AT ITER 381 NEW BEST:: SOT 1119676 SOS 708229 HAS SOPS 696441 HAS SOUS 482391 HAS SOUPS 470881 WITH SCORE 471589.229
AT ITER 382 NEW BEST:: SOT 1119421 SOS 707652 HAS SOPS 695864 HAS SOUS 481696 HAS SOUPS 470186 WITH SCORE 470893.652
AT ITER 385 NEW BEST:: SOT 1119421 SOS 707494 HAS SOPS 695769 HAS SOUS 481632 HAS SOUPS 470185 WITH SCORE 470892.494
AT ITER 387 NEW BEST:: SOT 1119421 SOS 707377 HAS SOPS 695652 HAS SOUS 481554 HAS SOUPS 470107 WITH SCORE 470814.377
AT ITER 389 NEW BEST:: SOT 1119914 SOS 708682 HAS SOPS 696516 HAS SOUS 481761 HAS SOUPS 469873 WITH SCORE 470581.682
AT ITER 391 NEW BEST:: SOT 1119912 SOS 708904 HAS SOPS 696738 HAS SOUS 481722 HAS SOUPS 469834 WITH SCORE 470542.904
AT ITER 393 NEW BEST:: SOT 1119767 SOS 708856 HAS SOPS 696284 HAS SOUS 481880 HAS SOUPS 469586 WITH SCORE 470294.856
AT ITER 396 NEW BEST:: SOT 1119685 SOS 708692 HAS SOPS 696161 HAS SOUS 481798 HAS SOUPS 469545 WITH SCORE 470253.692
AT ITER 407 NEW BEST:: SOT 1119685 SOS 708531 HAS SOPS 696000 HAS SOUS 481637 HAS SOUPS 469384 WITH SCORE 470092.531
AT ITER 412 NEW BEST:: SOT 1118437 SOS 707282 HAS SOPS 694751 HAS SOUS 480700 HAS SOUPS 468447 WITH SCORE 469154.282
AT ITER 416 NEW BEST:: SOT 1118437 SOS 707281 HAS SOPS 694530 HAS SOUS 480699 HAS SOUPS 468226 WITH SCORE 468933.281
AT ITER 420 NEW BEST:: SOT 1118332 SOS 707194 HAS SOPS 694443 HAS SOUS 480594 HAS SOUPS 468121 WITH SCORE 468828.194
AT ITER 421 NEW BEST:: SOT 1118361 SOS 705913 HAS SOPS 693162 HAS SOUS 479953 HAS SOUPS 467480 WITH SCORE 468185.913
AT ITER 426 NEW BEST:: SOT 1117691 SOS 705243 HAS SOPS 692492 HAS SOUS 479650 HAS SOUPS 467177 WITH SCORE 467882.243
AT ITER 430 NEW BEST:: SOT 1117691 SOS 703828 HAS SOPS 691077 HAS SOUS 479284 HAS SOUPS 466811 WITH SCORE 467514.828
AT ITER 432 NEW BEST:: SOT 1117337 SOS 703634 HAS SOPS 690723 HAS SOUS 479250 HAS SOUPS 466617 WITH SCORE 467320.634
AT ITER 436 NEW BEST:: SOT 1116614 SOS 704299 HAS SOPS 691388 HAS SOUS 479185 HAS SOUPS 466552 WITH SCORE 467256.299
AT ITER 437 NEW BEST:: SOT 1116614 SOS 703959 HAS SOPS 691048 HAS SOUS 479184 HAS SOUPS 466551 WITH SCORE 467254.959
AT ITER 440 NEW BEST:: SOT 1115634 SOS 702979 HAS SOPS 690068 HAS SOUS 478204 HAS SOUPS 465571 WITH SCORE 466273.979
AT ITER 447 NEW BEST:: SOT 1114976 SOS 702321 HAS SOPS 689410 HAS SOUS 477682 HAS SOUPS 465049 WITH SCORE 465751.321
AT ITER 448 NEW BEST:: SOT 1116042 SOS 701960 HAS SOPS 689049 HAS SOUS 477614 HAS SOUPS 464981 WITH SCORE 465682.96
AT ITER 451 NEW BEST:: SOT 1115722 SOS 701808 HAS SOPS 688729 HAS SOUS 477462 HAS SOUPS 464661 WITH SCORE 465362.808
AT ITER 452 NEW BEST:: SOT 1115619 SOS 700994 HAS SOPS 687915 HAS SOUS 476897 HAS SOUPS 464096 WITH SCORE 464796.994
AT ITER 453 NEW BEST:: SOT 1115603 SOS 702265 HAS SOPS 688551 HAS SOUS 477305 HAS SOUPS 463874 WITH SCORE 464576.265
AT ITER 454 NEW BEST:: SOT 1115509 SOS 702836 HAS SOPS 688458 HAS SOUS 477624 HAS SOUPS 463529 WITH SCORE 464231.836
AT ITER 458 NEW BEST:: SOT 1115289 SOS 702506 HAS SOPS 688128 HAS SOUS 477404 HAS SOUPS 463309 WITH SCORE 464011.506
AT ITER 460 NEW BEST:: SOT 1114850 SOS 701682 HAS SOPS 687250 HAS SOUS 476827 HAS SOUPS 462686 WITH SCORE 463387.682
AT ITER 462 NEW BEST:: SOT 1114724 SOS 701556 HAS SOPS 687124 HAS SOUS 476701 HAS SOUPS 462560 WITH SCORE 463261.556
AT ITER 464 NEW BEST:: SOT 1114724 SOS 701308 HAS SOPS 686876 HAS SOUS 476577 HAS SOUPS 462436 WITH SCORE 463137.308
AT ITER 465 NEW BEST:: SOT 1104402 SOS 689441 HAS SOPS 675009 HAS SOUS 468994 HAS SOUPS 454853 WITH SCORE 455542.441
AT ITER 466 NEW BEST:: SOT 1104402 SOS 689255 HAS SOPS 674823 HAS SOUS 468993 HAS SOUPS 454852 WITH SCORE 455541.255
AT ITER 472 NEW BEST:: SOT 1104455 SOS 689254 HAS SOPS 674821 HAS SOUS 468992 HAS SOUPS 454850 WITH SCORE 455539.254
AT ITER 473 NEW BEST:: SOT 1104495 SOS 689294 HAS SOPS 674861 HAS SOUS 468868 HAS SOUPS 454726 WITH SCORE 455415.294
AT ITER 479 NEW BEST:: SOT 1104495 SOS 688914 HAS SOPS 674655 HAS SOUS 468693 HAS SOUPS 454725 WITH SCORE 455413.914
AT ITER 483 NEW BEST:: SOT 1104488 SOS 688907 HAS SOPS 674648 HAS SOUS 468686 HAS SOUPS 454718 WITH SCORE 455406.907
AT ITER 486 NEW BEST:: SOT 1104740 SOS 688730 HAS SOPS 674471 HAS SOUS 468550 HAS SOUPS 454582 WITH SCORE 455270.73
AT ITER 487 NEW BEST:: SOT 1104906 SOS 689041 HAS SOPS 674782 HAS SOUS 468304 HAS SOUPS 454336 WITH SCORE 455025.041
AT ITER 488 NEW BEST:: SOT 1104906 SOS 689038 HAS SOPS 674779 HAS SOUS 468301 HAS SOUPS 454333 WITH SCORE 455022.038
AT ITER 497 NEW BEST:: SOT 1104829 SOS 688960 HAS SOPS 674701 HAS SOUS 468256 HAS SOUPS 454288 WITH SCORE 454976.96
AT ITER 498 NEW BEST:: SOT 1104405 SOS 689174 HAS SOPS 674810 HAS SOUS 468151 HAS SOUPS 454078 WITH SCORE 454767.174
AT ITER 499 NEW BEST:: SOT 1104134 SOS 688903 HAS SOPS 674539 HAS SOUS 467880 HAS SOUPS 453807 WITH SCORE 454495.903
AT ITER 502 NEW BEST:: SOT 1103841 SOS 688610 HAS SOPS 674246 HAS SOUS 467587 HAS SOUPS 453514 WITH SCORE 454202.61
AT ITER 505 NEW BEST:: SOT 1103841 SOS 688544 HAS SOPS 674180 HAS SOUS 467565 HAS SOUPS 453492 WITH SCORE 454180.544
AT ITER 510 NEW BEST:: SOT 1104256 SOS 689644 HAS SOPS 674318 HAS SOUS 468395 HAS SOUPS 453360 WITH SCORE 454049.644
AT ITER 517 NEW BEST:: SOT 1104256 SOS 689590 HAS SOPS 674264 HAS SOUS 468395 HAS SOUPS 453360 WITH SCORE 454049.59
AT ITER 521 NEW BEST:: SOT 1102366 SOS 686466 HAS SOPS 671140 HAS SOUS 466277 HAS SOUPS 451242 WITH SCORE 451928.466
AT ITER 524 NEW BEST:: SOT 1102366 SOS 686466 HAS SOPS 671140 HAS SOUS 466200 HAS SOUPS 451165 WITH SCORE 451851.466
AT ITER 525 NEW BEST:: SOT 1102366 SOS 685438 HAS SOPS 670112 HAS SOUS 465520 HAS SOUPS 450485 WITH SCORE 451170.438
AT ITER 526 NEW BEST:: SOT 1102245 SOS 685080 HAS SOPS 669754 HAS SOUS 465162 HAS SOUPS 450127 WITH SCORE 450812.08
AT ITER 529 NEW BEST:: SOT 1102245 SOS 684755 HAS SOPS 669429 HAS SOUS 464999 HAS SOUPS 449964 WITH SCORE 450648.755
AT ITER 534 NEW BEST:: SOT 1103055 SOS 684674 HAS SOPS 669235 HAS SOUS 464696 HAS SOUPS 449604 WITH SCORE 450288.674
AT ITER 537 NEW BEST:: SOT 1102237 SOS 684098 HAS SOPS 668290 HAS SOUS 464466 HAS SOUPS 449005 WITH SCORE 449689.098
AT ITER 543 NEW BEST:: SOT 1102186 SOS 683188 HAS SOPS 667380 HAS SOUS 464133 HAS SOUPS 448672 WITH SCORE 449355.188
AT ITER 549 NEW BEST:: SOT 1101872 SOS 682874 HAS SOPS 667066 HAS SOUS 464132 HAS SOUPS 448671 WITH SCORE 449353.874
AT ITER 556 NEW BEST:: SOT 1101458 SOS 683054 HAS SOPS 666832 HAS SOUS 463918 HAS SOUPS 448043 WITH SCORE 448726.054
AT ITER 557 NEW BEST:: SOT 1100350 SOS 681946 HAS SOPS 665724 HAS SOUS 462810 HAS SOUPS 446935 WITH SCORE 447616.946
AT ITER 558 NEW BEST:: SOT 1100249 SOS 682203 HAS SOPS 665632 HAS SOUS 463061 HAS SOUPS 446837 WITH SCORE 447519.203
AT ITER 559 NEW BEST:: SOT 1099371 SOS 680598 HAS SOPS 663615 HAS SOUS 462550 HAS SOUPS 445914 WITH SCORE 446594.598
AT ITER 560 NEW BEST:: SOT 1099000 SOS 680226 HAS SOPS 663243 HAS SOUS 462331 HAS SOUPS 445695 WITH SCORE 446375.226
AT ITER 562 NEW BEST:: SOT 1098737 SOS 679963 HAS SOPS 662980 HAS SOUS 462159 HAS SOUPS 445523 WITH SCORE 446202.963
AT ITER 565 NEW BEST:: SOT 1097495 SOS 677571 HAS SOPS 660530 HAS SOUS 460677 HAS SOUPS 443983 WITH SCORE 444660.571
AT ITER 568 NEW BEST:: SOT 1096465 SOS 676129 HAS SOPS 659088 HAS SOUS 459647 HAS SOUPS 442953 WITH SCORE 443629.129
AT ITER 569 NEW BEST:: SOT 1095187 SOS 674851 HAS SOPS 657810 HAS SOUS 458818 HAS SOUPS 442124 WITH SCORE 442798.851
AT ITER 574 NEW BEST:: SOT 1095079 SOS 674958 HAS SOPS 657917 HAS SOUS 458709 HAS SOUPS 442015 WITH SCORE 442689.958
AT ITER 576 NEW BEST:: SOT 1094667 SOS 674358 HAS SOPS 657505 HAS SOUS 458109 HAS SOUPS 441603 WITH SCORE 442277.358
AT ITER 581 NEW BEST:: SOT 1094835 SOS 674778 HAS SOPS 657660 HAS SOUS 458361 HAS SOUPS 441590 WITH SCORE 442264.778
AT ITER 584 NEW BEST:: SOT 1092580 SOS 670969 HAS SOPS 653851 HAS SOUS 457007 HAS SOUPS 440236 WITH SCORE 440906.969
AT ITER 592 NEW BEST:: SOT 1092617 SOS 670034 HAS SOPS 652916 HAS SOUS 456436 HAS SOUPS 439665 WITH SCORE 440335.034
AT ITER 598 NEW BEST:: SOT 1092617 SOS 669876 HAS SOPS 652758 HAS SOUS 456278 HAS SOUPS 439507 WITH SCORE 440176.876
AT ITER 599 NEW BEST:: SOT 1092617 SOS 669876 HAS SOPS 652758 HAS SOUS 456141 HAS SOUPS 439370 WITH SCORE 440039.876
AT ITER 600 NEW BEST:: SOT 1092509 SOS 668322 HAS SOPS 651204 HAS SOUS 456139 HAS SOUPS 439368 WITH SCORE 440036.322
AT ITER 601 NEW BEST:: SOT 1091499 SOS 667312 HAS SOPS 650194 HAS SOUS 455129 HAS SOUPS 438358 WITH SCORE 439025.312
AT ITER 603 NEW BEST:: SOT 1091499 SOS 667093 HAS SOPS 650338 HAS SOUS 454547 HAS SOUPS 438139 WITH SCORE 438806.093
AT ITER 604 NEW BEST:: SOT 1090712 SOS 666306 HAS SOPS 649551 HAS SOUS 453885 HAS SOUPS 437477 WITH SCORE 438143.306
AT ITER 606 NEW BEST:: SOT 1090660 SOS 666254 HAS SOPS 649499 HAS SOUS 453833 HAS SOUPS 437425 WITH SCORE 438091.254
AT ITER 609 NEW BEST:: SOT 1090660 SOS 664975 HAS SOPS 648220 HAS SOUS 453809 HAS SOUPS 437401 WITH SCORE 438065.975
AT ITER 612 NEW BEST:: SOT 1090612 SOS 664655 HAS SOPS 647604 HAS SOUS 454099 HAS SOUPS 437395 WITH SCORE 438059.655
AT ITER 615 NEW BEST:: SOT 1089841 SOS 663884 HAS SOPS 646833 HAS SOUS 453648 HAS SOUPS 436944 WITH SCORE 437607.884
AT ITER 616 NEW BEST:: SOT 1089808 SOS 663523 HAS SOPS 646472 HAS SOUS 453497 HAS SOUPS 436793 WITH SCORE 437456.523
AT ITER 621 NEW BEST:: SOT 1089598 SOS 663313 HAS SOPS 646262 HAS SOUS 453287 HAS SOUPS 436583 WITH SCORE 437246.313
AT ITER 622 NEW BEST:: SOT 1089487 SOS 662980 HAS SOPS 645929 HAS SOUS 453065 HAS SOUPS 436361 WITH SCORE 437023.98
AT ITER 623 NEW BEST:: SOT 1089333 SOS 662901 HAS SOPS 645850 HAS SOUS 453063 HAS SOUPS 436359 WITH SCORE 437021.901
AT ITER 631 NEW BEST:: SOT 1089147 SOS 662715 HAS SOPS 645664 HAS SOUS 452461 HAS SOUPS 435757 WITH SCORE 436419.715
AT ITER 638 NEW BEST:: SOT 1088913 SOS 662225 HAS SOPS 645284 HAS SOUS 452141 HAS SOUPS 435547 WITH SCORE 436209.225
AT ITER 639 NEW BEST:: SOT 1086976 SOS 658873 HAS SOPS 641932 HAS SOUS 449857 HAS SOUPS 433263 WITH SCORE 433921.873
AT ITER 640 NEW BEST:: SOT 1086896 SOS 658079 HAS SOPS 640565 HAS SOUS 449921 HAS SOUPS 432754 WITH SCORE 433412.079
AT ITER 642 NEW BEST:: SOT 1085735 SOS 656918 HAS SOPS 639404 HAS SOUS 449134 HAS SOUPS 431967 WITH SCORE 432623.918
AT ITER 644 NEW BEST:: SOT 1082862 SOS 656304 HAS SOPS 638786 HAS SOUS 447451 HAS SOUPS 430281 WITH SCORE 430937.304
AT ITER 645 NEW BEST:: SOT 1082862 SOS 656303 HAS SOPS 638785 HAS SOUS 447450 HAS SOUPS 430280 WITH SCORE 430936.303
AT ITER 646 NEW BEST:: SOT 1082862 SOS 655536 HAS SOPS 638018 HAS SOUS 446980 HAS SOUPS 429810 WITH SCORE 430465.536
AT ITER 648 NEW BEST:: SOT 1082862 SOS 655486 HAS SOPS 637968 HAS SOUS 446955 HAS SOUPS 429785 WITH SCORE 430440.486
AT ITER 649 NEW BEST:: SOT 1082965 SOS 655189 HAS SOPS 637655 HAS SOUS 446667 HAS SOUPS 429481 WITH SCORE 430136.189
AT ITER 651 NEW BEST:: SOT 1081986 SOS 654281 HAS SOPS 636676 HAS SOUS 446096 HAS SOUPS 428839 WITH SCORE 429493.281
AT ITER 652 NEW BEST:: SOT 1080792 SOS 653174 HAS SOPS 635230 HAS SOUS 445589 HAS SOUPS 427993 WITH SCORE 428646.174
AT ITER 655 NEW BEST:: SOT 1080792 SOS 652895 HAS SOPS 634951 HAS SOUS 445496 HAS SOUPS 427900 WITH SCORE 428552.895
AT ITER 659 NEW BEST:: SOT 1080666 SOS 652697 HAS SOPS 634753 HAS SOUS 445349 HAS SOUPS 427753 WITH SCORE 428405.697
AT ITER 660 NEW BEST:: SOT 1080666 SOS 652694 HAS SOPS 634750 HAS SOUS 445348 HAS SOUPS 427752 WITH SCORE 428404.694
AT ITER 662 NEW BEST:: SOT 1080130 SOS 651207 HAS SOPS 633263 HAS SOUS 444495 HAS SOUPS 426899 WITH SCORE 427550.207
AT ITER 663 NEW BEST:: SOT 1079820 SOS 650694 HAS SOPS 632580 HAS SOUS 444240 HAS SOUPS 426474 WITH SCORE 427124.694
AT ITER 672 NEW BEST:: SOT 1079775 SOS 649621 HAS SOPS 631507 HAS SOUS 443854 HAS SOUPS 426088 WITH SCORE 426737.621
AT ITER 673 NEW BEST:: SOT 1079701 SOS 649546 HAS SOPS 631432 HAS SOUS 443853 HAS SOUPS 426087 WITH SCORE 426736.546
AT ITER 676 NEW BEST:: SOT 1079648 SOS 650028 HAS SOPS 631456 HAS SOUS 444005 HAS SOUPS 425781 WITH SCORE 426431.028
AT ITER 677 NEW BEST:: SOT 1079492 SOS 650318 HAS SOPS 631746 HAS SOUS 443214 HAS SOUPS 424990 WITH SCORE 425640.318
AT ITER 680 NEW BEST:: SOT 1079492 SOS 650066 HAS SOPS 631494 HAS SOUS 443214 HAS SOUPS 424990 WITH SCORE 425640.066
AT ITER 683 NEW BEST:: SOT 1079321 SOS 649637 HAS SOPS 631065 HAS SOUS 443043 HAS SOUPS 424819 WITH SCORE 425468.637
AT ITER 686 NEW BEST:: SOT 1079105 SOS 649421 HAS SOPS 630848 HAS SOUS 443042 HAS SOUPS 424817 WITH SCORE 425466.421
AT ITER 687 NEW BEST:: SOT 1078643 SOS 649036 HAS SOPS 630385 HAS SOUS 442811 HAS SOUPS 424508 WITH SCORE 425157.036
AT ITER 690 NEW BEST:: SOT 1078481 SOS 648132 HAS SOPS 629481 HAS SOUS 442218 HAS SOUPS 423915 WITH SCORE 424563.132
AT ITER 691 NEW BEST:: SOT 1076739 SOS 645068 HAS SOPS 626417 HAS SOUS 440294 HAS SOUPS 421991 WITH SCORE 422636.068
AT ITER 696 NEW BEST:: SOT 1068818 SOS 636633 HAS SOPS 616987 HAS SOUS 434875 HAS SOUPS 416213 WITH SCORE 416849.633
AT ITER 701 NEW BEST:: SOT 1067657 SOS 635742 HAS SOPS 615826 HAS SOUS 434543 HAS SOUPS 415611 WITH SCORE 416246.742
AT ITER 702 NEW BEST:: SOT 1068006 SOS 636361 HAS SOPS 616276 HAS SOUS 434644 HAS SOUPS 415543 WITH SCORE 416179.361
AT ITER 706 NEW BEST:: SOT 1067834 SOS 636316 HAS SOPS 616231 HAS SOUS 434616 HAS SOUPS 415515 WITH SCORE 416151.316
AT ITER 707 NEW BEST:: SOT 1067260 SOS 630894 HAS SOPS 610894 HAS SOUS 434042 HAS SOUPS 414941 WITH SCORE 415571.894
AT ITER 709 NEW BEST:: SOT 1066899 SOS 630533 HAS SOPS 610532 HAS SOUS 433781 HAS SOUPS 414679 WITH SCORE 415309.533
AT ITER 711 NEW BEST:: SOT 1067061 SOS 630938 HAS SOPS 610618 HAS SOUS 434024 HAS SOUPS 414603 WITH SCORE 415233.938
AT ITER 715 NEW BEST:: SOT 1067061 SOS 630938 HAS SOPS 610618 HAS SOUS 433943 HAS SOUPS 414522 WITH SCORE 415152.938
AT ITER 720 NEW BEST:: SOT 1066655 SOS 630532 HAS SOPS 610212 HAS SOUS 433623 HAS SOUPS 414202 WITH SCORE 414832.532
AT ITER 722 NEW BEST:: SOT 1066654 SOS 630262 HAS SOPS 609942 HAS SOUS 433460 HAS SOUPS 414039 WITH SCORE 414669.262
AT ITER 725 NEW BEST:: SOT 1066612 SOS 630559 HAS SOPS 610239 HAS SOUS 433397 HAS SOUPS 413976 WITH SCORE 414606.559
AT ITER 728 NEW BEST:: SOT 1065101 SOS 629047 HAS SOPS 608727 HAS SOUS 432334 HAS SOUPS 412913 WITH SCORE 413542.047
AT ITER 729 NEW BEST:: SOT 1064234 SOS 627955 HAS SOPS 607635 HAS SOUS 431502 HAS SOUPS 412081 WITH SCORE 412708.955
AT ITER 734 NEW BEST:: SOT 1064068 SOS 627915 HAS SOPS 607595 HAS SOUS 431168 HAS SOUPS 411747 WITH SCORE 412374.915
AT ITER 735 NEW BEST:: SOT 1063357 SOS 626616 HAS SOPS 605858 HAS SOUS 430561 HAS SOUPS 410702 WITH SCORE 411328.616
AT ITER 736 NEW BEST:: SOT 1063553 SOS 626238 HAS SOPS 605480 HAS SOUS 430443 HAS SOUPS 410584 WITH SCORE 411210.238
AT ITER 737 NEW BEST:: SOT 1063407 SOS 626195 HAS SOPS 605437 HAS SOUS 430400 HAS SOUPS 410541 WITH SCORE 411167.195
AT ITER 755 NEW BEST:: SOT 1062395 SOS 625351 HAS SOPS 604425 HAS SOUS 429855 HAS SOUPS 409828 WITH SCORE 410453.351
AT ITER 757 NEW BEST:: SOT 1062121 SOS 625273 HAS SOPS 604347 HAS SOUS 429581 HAS SOUPS 409554 WITH SCORE 410179.273
AT ITER 761 NEW BEST:: SOT 1060479 SOS 624404 HAS SOPS 602898 HAS SOUS 429245 HAS SOUPS 408638 WITH SCORE 409262.404
AT ITER 763 NEW BEST:: SOT 1059589 SOS 623738 HAS SOPS 602008 HAS SOUS 428871 HAS SOUPS 408040 WITH SCORE 408663.738
AT ITER 765 NEW BEST:: SOT 1059589 SOS 623447 HAS SOPS 601717 HAS SOUS 428580 HAS SOUPS 407749 WITH SCORE 408372.447
AT ITER 776 NEW BEST:: SOT 1059277 SOS 624205 HAS SOPS 602373 HAS SOUS 428672 HAS SOUPS 407739 WITH SCORE 408363.205
AT ITER 779 NEW BEST:: SOT 1058689 SOS 623436 HAS SOPS 601188 HAS SOUS 428491 HAS SOUPS 407142 WITH SCORE 407765.436
AT ITER 783 NEW BEST:: SOT 1057161 SOS 620613 HAS SOPS 597977 HAS SOUS 427032 HAS SOUPS 405295 WITH SCORE 405915.613
AT ITER 784 NEW BEST:: SOT 1057161 SOS 620776 HAS SOPS 598140 HAS SOUS 427031 HAS SOUPS 405294 WITH SCORE 405914.776
AT ITER 788 NEW BEST:: SOT 1058070 SOS 621957 HAS SOPS 599291 HAS SOUS 426921 HAS SOUPS 405169 WITH SCORE 405790.957
AT ITER 791 NEW BEST:: SOT 1057911 SOS 621876 HAS SOPS 599210 HAS SOUS 426840 HAS SOUPS 405088 WITH SCORE 405709.876
AT ITER 793 NEW BEST:: SOT 1057911 SOS 621847 HAS SOPS 599181 HAS SOUS 426826 HAS SOUPS 405074 WITH SCORE 405695.847
AT ITER 797 NEW BEST:: SOT 1057715 SOS 621945 HAS SOPS 599279 HAS SOUS 426813 HAS SOUPS 405061 WITH SCORE 405682.945
AT ITER 799 NEW BEST:: SOT 1057737 SOS 621917 HAS SOPS 599251 HAS SOUS 426738 HAS SOUPS 404986 WITH SCORE 405607.917
AT ITER 812 NEW BEST:: SOT 1057525 SOS 621652 HAS SOPS 598986 HAS SOUS 426473 HAS SOUPS 404721 WITH SCORE 405342.652
AT ITER 816 NEW BEST:: SOT 1057067 SOS 620777 HAS SOPS 598111 HAS SOUS 425565 HAS SOUPS 403813 WITH SCORE 404433.777
AT ITER 821 NEW BEST:: SOT 1056999 SOS 620641 HAS SOPS 597975 HAS SOUS 425497 HAS SOUPS 403745 WITH SCORE 404365.641
AT ITER 822 NEW BEST:: SOT 1056999 SOS 620497 HAS SOPS 597927 HAS SOUS 425401 HAS SOUPS 403745 WITH SCORE 404365.497
AT ITER 826 NEW BEST:: SOT 1056672 SOS 620170 HAS SOPS 597600 HAS SOUS 425200 HAS SOUPS 403544 WITH SCORE 404164.17
AT ITER 836 NEW BEST:: SOT 1056888 SOS 619857 HAS SOPS 597287 HAS SOUS 424976 HAS SOUPS 403320 WITH SCORE 403939.857
AT ITER 837 NEW BEST:: SOT 1056368 SOS 619553 HAS SOPS 596766 HAS SOUS 425075 HAS SOUPS 403202 WITH SCORE 403821.553
AT ITER 838 NEW BEST:: SOT 1065440 SOS 628157 HAS SOPS 604771 HAS SOUS 425406 HAS SOUPS 402934 WITH SCORE 403562.157
AT ITER 841 NEW BEST:: SOT 1064365 SOS 626647 HAS SOPS 603261 HAS SOUS 424477 HAS SOUPS 402005 WITH SCORE 402631.647
AT ITER 844 NEW BEST:: SOT 1064260 SOS 626250 HAS SOPS 602864 HAS SOUS 424372 HAS SOUPS 401900 WITH SCORE 402526.25
AT ITER 845 NEW BEST:: SOT 1064214 SOS 624859 HAS SOPS 602085 HAS SOUS 423272 HAS SOUPS 401412 WITH SCORE 402036.859
AT ITER 848 NEW BEST:: SOT 1063990 SOS 624507 HAS SOPS 601733 HAS SOUS 423144 HAS SOUPS 401284 WITH SCORE 401908.507
AT ITER 854 NEW BEST:: SOT 1062980 SOS 621607 HAS SOPS 598833 HAS SOUS 422091 HAS SOUPS 400231 WITH SCORE 400852.607
AT ITER 855 NEW BEST:: SOT 1062784 SOS 621868 HAS SOPS 598784 HAS SOUS 422178 HAS SOUPS 400008 WITH SCORE 400629.868
AT ITER 856 NEW BEST:: SOT 1062719 SOS 621803 HAS SOPS 598719 HAS SOUS 422155 HAS SOUPS 399985 WITH SCORE 400606.803
AT ITER 859 NEW BEST:: SOT 1062068 SOS 620840 HAS SOPS 597756 HAS SOUS 421504 HAS SOUPS 399334 WITH SCORE 399954.84
AT ITER 863 NEW BEST:: SOT 1062065 SOS 620833 HAS SOPS 597749 HAS SOUS 421500 HAS SOUPS 399330 WITH SCORE 399950.833
AT ITER 866 NEW BEST:: SOT 1062010 SOS 620763 HAS SOPS 597684 HAS SOUS 421480 HAS SOUPS 399315 WITH SCORE 399935.763
AT ITER 867 NEW BEST:: SOT 1062009 SOS 620762 HAS SOPS 597683 HAS SOUS 421479 HAS SOUPS 399314 WITH SCORE 399934.762
AT ITER 868 NEW BEST:: SOT 1061764 SOS 620517 HAS SOPS 597333 HAS SOUS 421304 HAS SOUPS 399104 WITH SCORE 399724.517
AT ITER 883 NEW BEST:: SOT 1061267 SOS 620600 HAS SOPS 597416 HAS SOUS 421210 HAS SOUPS 399010 WITH SCORE 399630.6
AT ITER 895 NEW BEST:: SOT 1059974 SOS 619307 HAS SOPS 596123 HAS SOUS 419961 HAS SOUPS 397761 WITH SCORE 398380.307
AT ITER 901 NEW BEST:: SOT 1059334 SOS 618441 HAS SOPS 595257 HAS SOUS 419321 HAS SOUPS 397121 WITH SCORE 397739.441
AT ITER 903 NEW BEST:: SOT 1059060 SOS 618293 HAS SOPS 594982 HAS SOUS 419373 HAS SOUPS 397046 WITH SCORE 397664.293
AT ITER 907 NEW BEST:: SOT 1058794 SOS 617628 HAS SOPS 594450 HAS SOUS 419107 HAS SOUPS 396780 WITH SCORE 397397.628
AT ITER 910 NEW BEST:: SOT 1058796 SOS 617255 HAS SOPS 594077 HAS SOUS 419080 HAS SOUPS 396753 WITH SCORE 397370.255
AT ITER 926 NEW BEST:: SOT 1058822 SOS 617220 HAS SOPS 594042 HAS SOUS 419002 HAS SOUPS 396675 WITH SCORE 397292.22
AT ITER 929 NEW BEST:: SOT 1057763 SOS 617819 HAS SOPS 594405 HAS SOUS 419070 HAS SOUPS 396507 WITH SCORE 397124.819
AT ITER 934 NEW BEST:: SOT 1057455 SOS 617510 HAS SOPS 594096 HAS SOUS 418761 HAS SOUPS 396198 WITH SCORE 396815.51
AT ITER 937 NEW BEST:: SOT 1056896 SOS 616950 HAS SOPS 593536 HAS SOUS 418201 HAS SOUPS 395638 WITH SCORE 396254.95
AT ITER 939 NEW BEST:: SOT 1056499 SOS 616891 HAS SOPS 593477 HAS SOUS 418110 HAS SOUPS 395547 WITH SCORE 396163.891
AT ITER 940 NEW BEST:: SOT 1055794 SOS 616654 HAS SOPS 592772 HAS SOUS 418303 HAS SOUPS 395272 WITH SCORE 395888.654
AT ITER 943 NEW BEST:: SOT 1056288 SOS 616167 HAS SOPS 592285 HAS SOUS 418191 HAS SOUPS 395160 WITH SCORE 395776.167
AT ITER 944 NEW BEST:: SOT 1056226 SOS 616105 HAS SOPS 592223 HAS SOUS 418067 HAS SOUPS 395036 WITH SCORE 395652.105
AT ITER 951 NEW BEST:: SOT 1055992 SOS 615870 HAS SOPS 591988 HAS SOUS 418041 HAS SOUPS 395010 WITH SCORE 395625.87
AT ITER 955 NEW BEST:: SOT 1055276 SOS 610825 HAS SOPS 586946 HAS SOUS 417323 HAS SOUPS 394294 WITH SCORE 394904.825
AT ITER 960 NEW BEST:: SOT 1054732 SOS 610281 HAS SOPS 586402 HAS SOUS 416939 HAS SOUPS 393910 WITH SCORE 394520.281
AT ITER 966 NEW BEST:: SOT 1053302 SOS 607984 HAS SOPS 584105 HAS SOUS 415348 HAS SOUPS 392319 WITH SCORE 392926.984
AT ITER 970 NEW BEST:: SOT 1053302 SOS 603676 HAS SOPS 579797 HAS SOUS 415150 HAS SOUPS 392121 WITH SCORE 392724.676
AT ITER 972 NEW BEST:: SOT 1054320 SOS 605148 HAS SOPS 580463 HAS SOUS 415360 HAS SOUPS 391875 WITH SCORE 392480.148
AT ITER 973 NEW BEST:: SOT 1053638 SOS 604524 HAS SOPS 579622 HAS SOUS 415104 HAS SOUPS 391402 WITH SCORE 392006.524
AT ITER 977 NEW BEST:: SOT 1053638 SOS 603987 HAS SOPS 579085 HAS SOUS 414925 HAS SOUPS 391223 WITH SCORE 391826.987
AT ITER 978 NEW BEST:: SOT 1053637 SOS 603402 HAS SOPS 578500 HAS SOUS 414770 HAS SOUPS 391068 WITH SCORE 391671.402
AT ITER 979 NEW BEST:: SOT 1052897 SOS 601771 HAS SOPS 576711 HAS SOUS 413879 HAS SOUPS 390019 WITH SCORE 390620.771
AT ITER 980 NEW BEST:: SOT 1051512 SOS 600300 HAS SOPS 575224 HAS SOUS 412877 HAS SOUPS 389001 WITH SCORE 389601.3
AT ITER 981 NEW BEST:: SOT 1051378 SOS 600166 HAS SOPS 575090 HAS SOUS 412805 HAS SOUPS 388929 WITH SCORE 389529.166
AT ITER 982 NEW BEST:: SOT 1051114 SOS 599902 HAS SOPS 574826 HAS SOUS 412471 HAS SOUPS 388595 WITH SCORE 389194.902
AT ITER 983 NEW BEST:: SOT 1049508 SOS 597906 HAS SOPS 572830 HAS SOUS 410735 HAS SOUPS 386859 WITH SCORE 387456.906
AT ITER 984 NEW BEST:: SOT 1049544 SOS 597816 HAS SOPS 572740 HAS SOUS 410645 HAS SOUPS 386769 WITH SCORE 387366.816
AT ITER 987 NEW BEST:: SOT 1048971 SOS 596290 HAS SOPS 570885 HAS SOUS 410002 HAS SOUPS 385797 WITH SCORE 386393.29
AT ITER 989 NEW BEST:: SOT 1048841 SOS 595965 HAS SOPS 570560 HAS SOUS 409807 HAS SOUPS 385602 WITH SCORE 386197.965
AT ITER 990 NEW BEST:: SOT 1048434 SOS 595114 HAS SOPS 569709 HAS SOUS 409733 HAS SOUPS 385528 WITH SCORE 386123.114
AT ITER 992 NEW BEST:: SOT 1048434 SOS 595100 HAS SOPS 569695 HAS SOUS 409726 HAS SOUPS 385521 WITH SCORE 386116.1
AT ITER 993 NEW BEST:: SOT 1048291 SOS 595139 HAS SOPS 569734 HAS SOUS 409416 HAS SOUPS 385211 WITH SCORE 385806.139
AT ITER 995 NEW BEST:: SOT 1047899 SOS 594567 HAS SOPS 568974 HAS SOUS 409212 HAS SOUPS 384819 WITH SCORE 385413.567
AT ITER 1000 NEW BEST:: SOT 1047870 SOS 594566 HAS SOPS 568973 HAS SOUS 409211 HAS SOUPS 384818 WITH SCORE 385412.566
AT ITER 1003 NEW BEST:: SOT 1047870 SOS 594290 HAS SOPS 568697 HAS SOUS 409027 HAS SOUPS 384634 WITH SCORE 385228.29
AT ITER 1005 NEW BEST:: SOT 1047622 SOS 593796 HAS SOPS 568077 HAS SOUS 408781 HAS SOUPS 384262 WITH SCORE 384855.796
AT ITER 1010 NEW BEST:: SOT 1047703 SOS 593583 HAS SOPS 567864 HAS SOUS 408683 HAS SOUPS 384164 WITH SCORE 384757.583
AT ITER 1016 NEW BEST:: SOT 1047633 SOS 593856 HAS SOPS 568137 HAS SOUS 408470 HAS SOUPS 383951 WITH SCORE 384544.856
AT ITER 1020 NEW BEST:: SOT 1047633 SOS 593882 HAS SOPS 568137 HAS SOUS 408430 HAS SOUPS 383911 WITH SCORE 384504.882
AT ITER 1022 NEW BEST:: SOT 1046653 SOS 591913 HAS SOPS 566168 HAS SOUS 407221 HAS SOUPS 382702 WITH SCORE 383293.913
AT ITER 1024 NEW BEST:: SOT 1046798 SOS 591768 HAS SOPS 566023 HAS SOUS 407221 HAS SOUPS 382702 WITH SCORE 383293.768
AT ITER 1025 NEW BEST:: SOT 1045240 SOS 589548 HAS SOPS 563803 HAS SOUS 405513 HAS SOUPS 380994 WITH SCORE 381583.548
AT ITER 1030 NEW BEST:: SOT 1045083 SOS 589391 HAS SOPS 563489 HAS SOUS 405513 HAS SOUPS 380837 WITH SCORE 381426.391
AT ITER 1031 NEW BEST:: SOT 1045083 SOS 589197 HAS SOPS 563295 HAS SOUS 405513 HAS SOUPS 380837 WITH SCORE 381426.197
AT ITER 1032 NEW BEST:: SOT 1044536 SOS 588650 HAS SOPS 562748 HAS SOUS 405062 HAS SOUPS 380386 WITH SCORE 380974.65
AT ITER 1033 NEW BEST:: SOT 1044385 SOS 588788 HAS SOPS 562886 HAS SOUS 404807 HAS SOUPS 380131 WITH SCORE 380719.788
AT ITER 1034 NEW BEST:: SOT 1043519 SOS 587922 HAS SOPS 562020 HAS SOUS 404400 HAS SOUPS 379724 WITH SCORE 380311.922
AT ITER 1037 NEW BEST:: SOT 1043298 SOS 587701 HAS SOPS 561799 HAS SOUS 404020 HAS SOUPS 379344 WITH SCORE 379931.701
AT ITER 1046 NEW BEST:: SOT 1042610 SOS 587109 HAS SOPS 561111 HAS SOUS 403428 HAS SOUPS 378656 WITH SCORE 379243.109
AT ITER 1050 NEW BEST:: SOT 1042271 SOS 586784 HAS SOPS 560785 HAS SOUS 403128 HAS SOUPS 378355 WITH SCORE 378941.784
AT ITER 1055 NEW BEST:: SOT 1042271 SOS 586751 HAS SOPS 560752 HAS SOUS 403095 HAS SOUPS 378322 WITH SCORE 378908.751
AT ITER 1057 NEW BEST:: SOT 1044090 SOS 587946 HAS SOPS 561880 HAS SOUS 402793 HAS SOUPS 377953 WITH SCORE 378540.946
AT ITER 1061 NEW BEST:: SOT 1043951 SOS 587807 HAS SOPS 561741 HAS SOUS 402736 HAS SOUPS 377896 WITH SCORE 378483.807
AT ITER 1062 NEW BEST:: SOT 1043681 SOS 587536 HAS SOPS 561470 HAS SOUS 402512 HAS SOUPS 377672 WITH SCORE 378259.536
AT ITER 1064 NEW BEST:: SOT 1043499 SOS 586523 HAS SOPS 560457 HAS SOUS 401776 HAS SOUPS 376936 WITH SCORE 377522.523
AT ITER 1066 NEW BEST:: SOT 1043145 SOS 585638 HAS SOPS 559572 HAS SOUS 401245 HAS SOUPS 376405 WITH SCORE 376990.638
AT ITER 1072 NEW BEST:: SOT 1042123 SOS 584390 HAS SOPS 558324 HAS SOUS 400561 HAS SOUPS 375721 WITH SCORE 376305.39
AT ITER 1073 NEW BEST:: SOT 1042116 SOS 584383 HAS SOPS 558317 HAS SOUS 400554 HAS SOUPS 375714 WITH SCORE 376298.383
AT ITER 1076 NEW BEST:: SOT 1041902 SOS 584016 HAS SOPS 557736 HAS SOUS 400405 HAS SOUPS 375351 WITH SCORE 375935.016
AT ITER 1080 NEW BEST:: SOT 1041349 SOS 583831 HAS SOPS 557183 HAS SOUS 400741 HAS SOUPS 375319 WITH SCORE 375902.831
AT ITER 1084 NEW BEST:: SOT 1041095 SOS 583450 HAS SOPS 556675 HAS SOUS 400614 HAS SOUPS 375065 WITH SCORE 375648.45
AT ITER 1088 NEW BEST:: SOT 1041073 SOS 583428 HAS SOPS 556653 HAS SOUS 400592 HAS SOUPS 375043 WITH SCORE 375626.428
AT ITER 1102 NEW BEST:: SOT 1040929 SOS 583140 HAS SOPS 556365 HAS SOUS 400448 HAS SOUPS 374899 WITH SCORE 375482.14
AT ITER 1103 NEW BEST:: SOT 1040426 SOS 582598 HAS SOPS 555823 HAS SOUS 400082 HAS SOUPS 374533 WITH SCORE 375115.598
AT ITER 1106 NEW BEST:: SOT 1038796 SOS 580363 HAS SOPS 553588 HAS SOUS 398451 HAS SOUPS 372902 WITH SCORE 373482.363
AT ITER 1107 NEW BEST:: SOT 1038790 SOS 580357 HAS SOPS 553582 HAS SOUS 398445 HAS SOUPS 372896 WITH SCORE 373476.357
AT ITER 1108 NEW BEST:: SOT 1038789 SOS 580324 HAS SOPS 553549 HAS SOUS 398444 HAS SOUPS 372895 WITH SCORE 373475.324
AT ITER 1112 NEW BEST:: SOT 1038466 SOS 580001 HAS SOPS 553226 HAS SOUS 398121 HAS SOUPS 372572 WITH SCORE 373152.001
AT ITER 1116 NEW BEST:: SOT 1038399 SOS 579938 HAS SOPS 553159 HAS SOUS 398094 HAS SOUPS 372541 WITH SCORE 373120.938
AT ITER 1117 NEW BEST:: SOT 1038249 SOS 579572 HAS SOPS 552969 HAS SOUS 397894 HAS SOUPS 372517 WITH SCORE 373096.572
AT ITER 1120 NEW BEST:: SOT 1038063 SOS 579311 HAS SOPS 552550 HAS SOUS 397705 HAS SOUPS 372170 WITH SCORE 372749.311
AT ITER 1121 NEW BEST:: SOT 1037638 SOS 578886 HAS SOPS 552124 HAS SOUS 397433 HAS SOUPS 371897 WITH SCORE 372475.886
AT ITER 1124 NEW BEST:: SOT 1037566 SOS 578477 HAS SOPS 551359 HAS SOUS 397664 HAS SOUPS 371772 WITH SCORE 372350.477
AT ITER 1125 NEW BEST:: SOT 1037044 SOS 578185 HAS SOPS 550837 HAS SOUS 397675 HAS SOUPS 371553 WITH SCORE 372131.185
AT ITER 1129 NEW BEST:: SOT 1035134 SOS 577111 HAS SOPS 549143 HAS SOUS 396583 HAS SOUPS 369841 WITH SCORE 370418.111
AT ITER 1130 NEW BEST:: SOT 1035272 SOS 572315 HAS SOPS 544347 HAS SOUS 396242 HAS SOUPS 369500 WITH SCORE 370072.315
AT ITER 1136 NEW BEST:: SOT 1029153 SOS 566518 HAS SOPS 538228 HAS SOUS 392699 HAS SOUPS 365635 WITH SCORE 366201.518
AT ITER 1142 NEW BEST:: SOT 1028597 SOS 565962 HAS SOPS 537672 HAS SOUS 392282 HAS SOUPS 365218 WITH SCORE 365783.962
AT ITER 1147 NEW BEST:: SOT 1028189 SOS 565450 HAS SOPS 537160 HAS SOUS 391770 HAS SOUPS 364706 WITH SCORE 365271.45
AT ITER 1150 NEW BEST:: SOT 1028338 SOS 566044 HAS SOPS 537142 HAS SOUS 392364 HAS SOUPS 364688 WITH SCORE 365254.044
AT ITER 1151 NEW BEST:: SOT 1027545 SOS 565226 HAS SOPS 535767 HAS SOUS 392128 HAS SOUPS 363895 WITH SCORE 364460.226
AT ITER 1158 NEW BEST:: SOT 1026472 SOS 563576 HAS SOPS 533824 HAS SOUS 391058 HAS SOUPS 362532 WITH SCORE 363095.576
AT ITER 1162 NEW BEST:: SOT 1026308 SOS 562665 HAS SOPS 532913 HAS SOUS 390645 HAS SOUPS 362119 WITH SCORE 362681.665
AT ITER 1167 NEW BEST:: SOT 1026308 SOS 562590 HAS SOPS 532838 HAS SOUS 390611 HAS SOUPS 362085 WITH SCORE 362647.59
AT ITER 1175 NEW BEST:: SOT 1025742 SOS 562076 HAS SOPS 532001 HAS SOUS 390085 HAS SOUPS 361236 WITH SCORE 361798.076
AT ITER 1181 NEW BEST:: SOT 1025412 SOS 561672 HAS SOPS 531597 HAS SOUS 389755 HAS SOUPS 360906 WITH SCORE 361467.672
AT ITER 1183 NEW BEST:: SOT 1025959 SOS 566483 HAS SOPS 536041 HAS SOUS 389717 HAS SOUPS 360536 WITH SCORE 361102.483
AT ITER 1184 NEW BEST:: SOT 1025959 SOS 565436 HAS SOPS 534994 HAS SOUS 389019 HAS SOUPS 359838 WITH SCORE 360403.436
AT ITER 1189 NEW BEST:: SOT 1025959 SOS 564770 HAS SOPS 534328 HAS SOUS 388916 HAS SOUPS 359735 WITH SCORE 360299.77
AT ITER 1193 NEW BEST:: SOT 1025914 SOS 557269 HAS SOPS 526827 HAS SOUS 388660 HAS SOUPS 359479 WITH SCORE 360036.269
AT ITER 1195 NEW BEST:: SOT 1025906 SOS 557268 HAS SOPS 526826 HAS SOUS 388651 HAS SOUPS 359470 WITH SCORE 360027.268
AT ITER 1196 NEW BEST:: SOT 1025700 SOS 557304 HAS SOPS 526862 HAS SOUS 388646 HAS SOUPS 359465 WITH SCORE 360022.304
AT ITER 1199 NEW BEST:: SOT 1023888 SOS 555216 HAS SOPS 524754 HAS SOUS 387717 HAS SOUPS 358516 WITH SCORE 359071.216
AT ITER 1206 NEW BEST:: SOT 1023685 SOS 555114 HAS SOPS 524550 HAS SOUS 387716 HAS SOUPS 358413 WITH SCORE 358968.114
AT ITER 1209 NEW BEST:: SOT 1023654 SOS 554901 HAS SOPS 524337 HAS SOUS 387685 HAS SOUPS 358382 WITH SCORE 358936.901
AT ITER 1213 NEW BEST:: SOT 1023629 SOS 554818 HAS SOPS 524254 HAS SOUS 387660 HAS SOUPS 358357 WITH SCORE 358911.818
AT ITER 1230 NEW BEST:: SOT 1024095 SOS 554522 HAS SOPS 523958 HAS SOUS 387248 HAS SOUPS 357945 WITH SCORE 358499.522
AT ITER 1239 NEW BEST:: SOT 1024095 SOS 554368 HAS SOPS 523804 HAS SOUS 387094 HAS SOUPS 357791 WITH SCORE 358345.368
AT ITER 1241 NEW BEST:: SOT 1023831 SOS 554104 HAS SOPS 523540 HAS SOUS 386830 HAS SOUPS 357527 WITH SCORE 358081.104
AT ITER 1242 NEW BEST:: SOT 1021383 SOS 551656 HAS SOPS 520650 HAS SOUS 385851 HAS SOUPS 356148 WITH SCORE 356699.656
AT ITER 1246 NEW BEST:: SOT 1021025 SOS 551480 HAS SOPS 520292 HAS SOUS 385857 HAS SOUPS 355972 WITH SCORE 356523.48
AT ITER 1250 NEW BEST:: SOT 1021311 SOS 551766 HAS SOPS 520149 HAS SOUS 384942 HAS SOUPS 355201 WITH SCORE 355752.766
AT ITER 1252 NEW BEST:: SOT 1021332 SOS 551539 HAS SOPS 519922 HAS SOUS 384901 HAS SOUPS 355160 WITH SCORE 355711.539
AT ITER 1255 NEW BEST:: SOT 1020805 SOS 549368 HAS SOPS 517751 HAS SOUS 383997 HAS SOUPS 354256 WITH SCORE 354805.368
AT ITER 1256 NEW BEST:: SOT 1020482 SOS 549253 HAS SOPS 517636 HAS SOUS 383581 HAS SOUPS 353840 WITH SCORE 354389.253
AT ITER 1258 NEW BEST:: SOT 1020418 SOS 549196 HAS SOPS 517579 HAS SOUS 383524 HAS SOUPS 353783 WITH SCORE 354332.196
AT ITER 1259 NEW BEST:: SOT 1020297 SOS 548792 HAS SOPS 517175 HAS SOUS 383387 HAS SOUPS 353646 WITH SCORE 354194.792
AT ITER 1261 NEW BEST:: SOT 1019706 SOS 548201 HAS SOPS 516583 HAS SOUS 383094 HAS SOUPS 353352 WITH SCORE 353900.201
AT ITER 1268 NEW BEST:: SOT 1019620 SOS 548029 HAS SOPS 516411 HAS SOUS 382965 HAS SOUPS 353223 WITH SCORE 353771.029
AT ITER 1270 NEW BEST:: SOT 1019620 SOS 547213 HAS SOPS 515595 HAS SOUS 382557 HAS SOUPS 352815 WITH SCORE 353362.213
AT ITER 1273 NEW BEST:: SOT 1019138 SOS 546008 HAS SOPS 514390 HAS SOUS 381834 HAS SOUPS 352092 WITH SCORE 352638.008
AT ITER 1276 NEW BEST:: SOT 1019138 SOS 545619 HAS SOPS 514001 HAS SOUS 381668 HAS SOUPS 351926 WITH SCORE 352471.619
AT ITER 1279 NEW BEST:: SOT 1019058 SOS 545539 HAS SOPS 513921 HAS SOUS 381588 HAS SOUPS 351846 WITH SCORE 352391.539
AT ITER 1282 NEW BEST:: SOT 1018778 SOS 544387 HAS SOPS 513049 HAS SOUS 380716 HAS SOUPS 351254 WITH SCORE 351798.387
AT ITER 1285 NEW BEST:: SOT 1018307 SOS 541448 HAS SOPS 508857 HAS SOUS 381224 HAS SOUPS 351123 WITH SCORE 351664.448
AT ITER 1286 NEW BEST:: SOT 1018307 SOS 541444 HAS SOPS 508853 HAS SOUS 381224 HAS SOUPS 351123 WITH SCORE 351664.444
AT ITER 1287 NEW BEST:: SOT 1018188 SOS 541093 HAS SOPS 508502 HAS SOUS 381207 HAS SOUPS 351106 WITH SCORE 351647.093
AT ITER 1309 NEW BEST:: SOT 1018078 SOS 540873 HAS SOPS 508282 HAS SOUS 381042 HAS SOUPS 350941 WITH SCORE 351481.873
AT ITER 1311 NEW BEST:: SOT 1018036 SOS 540831 HAS SOPS 508239 HAS SOUS 381000 HAS SOUPS 350898 WITH SCORE 351438.831
AT ITER 1315 NEW BEST:: SOT 1017943 SOS 540548 HAS SOPS 507956 HAS SOUS 380810 HAS SOUPS 350708 WITH SCORE 351248.548
AT ITER 1318 NEW BEST:: SOT 1017883 SOS 540458 HAS SOPS 507866 HAS SOUS 380765 HAS SOUPS 350663 WITH SCORE 351203.458
AT ITER 1331 NEW BEST:: SOT 1017560 SOS 539647 HAS SOPS 507055 HAS SOUS 380277 HAS SOUPS 350175 WITH SCORE 350714.647
AT ITER 1334 NEW BEST:: SOT 1017559 SOS 539615 HAS SOPS 507023 HAS SOUS 380245 HAS SOUPS 350143 WITH SCORE 350682.615
AT ITER 1335 NEW BEST:: SOT 1017559 SOS 540779 HAS SOPS 508187 HAS SOUS 379954 HAS SOUPS 349852 WITH SCORE 350392.779
AT ITER 1338 NEW BEST:: SOT 1017517 SOS 540737 HAS SOPS 508103 HAS SOUS 379898 HAS SOUPS 349768 WITH SCORE 350308.737
AT ITER 1339 NEW BEST:: SOT 1017501 SOS 540625 HAS SOPS 507991 HAS SOUS 379802 HAS SOUPS 349672 WITH SCORE 350212.625
AT ITER 1343 NEW BEST:: SOT 1017393 SOS 540551 HAS SOPS 507804 HAS SOUS 379836 HAS SOUPS 349593 WITH SCORE 350133.551
AT ITER 1345 NEW BEST:: SOT 1017334 SOS 540492 HAS SOPS 507745 HAS SOUS 379625 HAS SOUPS 349382 WITH SCORE 349922.492
AT ITER 1349 NEW BEST:: SOT 1017334 SOS 540336 HAS SOPS 507589 HAS SOUS 379617 HAS SOUPS 349374 WITH SCORE 349914.336
AT ITER 1358 NEW BEST:: SOT 1017492 SOS 540494 HAS SOPS 507589 HAS SOUS 379459 HAS SOUPS 349216 WITH SCORE 349756.494
AT ITER 1360 NEW BEST:: SOT 1016295 SOS 538141 HAS SOPS 505773 HAS SOUS 378799 HAS SOUPS 348556 WITH SCORE 349094.141
AT ITER 1361 NEW BEST:: SOT 1016198 SOS 538044 HAS SOPS 505675 HAS SOUS 378798 HAS SOUPS 348554 WITH SCORE 349092.044
AT ITER 1363 NEW BEST:: SOT 1016167 SOS 537096 HAS SOPS 504727 HAS SOUS 378519 HAS SOUPS 348275 WITH SCORE 348812.096
AT ITER 1371 NEW BEST:: SOT 1015855 SOS 536730 HAS SOPS 504259 HAS SOUS 377998 HAS SOUPS 347652 WITH SCORE 348188.73
AT ITER 1372 NEW BEST:: SOT 1015806 SOS 536714 HAS SOPS 504243 HAS SOUS 377967 HAS SOUPS 347621 WITH SCORE 348157.714
AT ITER 1373 NEW BEST:: SOT 1015799 SOS 536654 HAS SOPS 504012 HAS SOUS 377960 HAS SOUPS 347443 WITH SCORE 347979.654
AT ITER 1388 NEW BEST:: SOT 1015752 SOS 536985 HAS SOPS 504343 HAS SOUS 377913 HAS SOUPS 347396 WITH SCORE 347932.985
AT ITER 1397 NEW BEST:: SOT 1015451 SOS 536432 HAS SOPS 503790 HAS SOUS 377360 HAS SOUPS 346843 WITH SCORE 347379.432
AT ITER 1400 NEW BEST:: SOT 1015425 SOS 536406 HAS SOPS 503764 HAS SOUS 377334 HAS SOUPS 346817 WITH SCORE 347353.406
AT ITER 1404 NEW BEST:: SOT 1015388 SOS 536369 HAS SOPS 503596 HAS SOUS 377391 HAS SOUPS 346743 WITH SCORE 347279.369
AT ITER 1415 NEW BEST:: SOT 1014823 SOS 535803 HAS SOPS 503030 HAS SOUS 377062 HAS SOUPS 346414 WITH SCORE 346949.803
AT ITER 1417 NEW BEST:: SOT 1014731 SOS 535684 HAS SOPS 502846 HAS SOUS 376943 HAS SOUPS 346230 WITH SCORE 346765.684
AT ITER 1430 NEW BEST:: SOT 1014635 SOS 535540 HAS SOPS 502654 HAS SOUS 376847 HAS SOUPS 346086 WITH SCORE 346621.54
AT ITER 1440 NEW BEST:: SOT 1014635 SOS 533613 HAS SOPS 500727 HAS SOUS 376191 HAS SOUPS 345430 WITH SCORE 345963.613
AT ITER 1442 NEW BEST:: SOT 1014509 SOS 533319 HAS SOPS 500433 HAS SOUS 376190 HAS SOUPS 345429 WITH SCORE 345962.319
AT ITER 1443 NEW BEST:: SOT 1014507 SOS 533317 HAS SOPS 500431 HAS SOUS 376094 HAS SOUPS 345333 WITH SCORE 345866.317
AT ITER 1448 NEW BEST:: SOT 1013973 SOS 532118 HAS SOPS 499168 HAS SOUS 375381 HAS SOUPS 344556 WITH SCORE 345088.118
AT ITER 1449 NEW BEST:: SOT 1013049 SOS 530898 HAS SOPS 497486 HAS SOUS 374578 HAS SOUPS 343291 WITH SCORE 343821.898
AT ITER 1457 NEW BEST:: SOT 1012947 SOS 530796 HAS SOPS 497282 HAS SOUS 374476 HAS SOUPS 343087 WITH SCORE 343617.796
AT ITER 1458 NEW BEST:: SOT 1012951 SOS 530800 HAS SOPS 497286 HAS SOUS 374429 HAS SOUPS 343040 WITH SCORE 343570.8
AT ITER 1466 NEW BEST:: SOT 1012753 SOS 530602 HAS SOPS 496989 HAS SOUS 374330 HAS SOUPS 342842 WITH SCORE 343372.602
AT ITER 1471 NEW BEST:: SOT 1012613 SOS 530321 HAS SOPS 496708 HAS SOUS 374049 HAS SOUPS 342561 WITH SCORE 343091.321
AT ITER 1472 NEW BEST:: SOT 1011725 SOS 528985 HAS SOPS 495372 HAS SOUS 373015 HAS SOUPS 341527 WITH SCORE 342055.985
AT ITER 1473 NEW BEST:: SOT 1011491 SOS 528429 HAS SOPS 494816 HAS SOUS 372937 HAS SOUPS 341449 WITH SCORE 341977.429
AT ITER 1475 NEW BEST:: SOT 1010960 SOS 527397 HAS SOPS 493784 HAS SOUS 372559 HAS SOUPS 341071 WITH SCORE 341598.397
AT ITER 1479 NEW BEST:: SOT 1010942 SOS 527494 HAS SOPS 493881 HAS SOUS 372552 HAS SOUPS 341064 WITH SCORE 341591.494
AT ITER 1483 NEW BEST:: SOT 1010942 SOS 526168 HAS SOPS 492555 HAS SOUS 371847 HAS SOUPS 340359 WITH SCORE 340885.168
AT ITER 1485 NEW BEST:: SOT 1010934 SOS 526160 HAS SOPS 492547 HAS SOUS 371839 HAS SOUPS 340351 WITH SCORE 340877.16
AT ITER 1487 NEW BEST:: SOT 1010292 SOS 525496 HAS SOPS 491572 HAS SOUS 371397 HAS SOUPS 339598 WITH SCORE 340123.496
AT ITER 1489 NEW BEST:: SOT 1010244 SOS 525400 HAS SOPS 491532 HAS SOUS 371325 HAS SOUPS 339582 WITH SCORE 340107.4
AT ITER 1490 NEW BEST:: SOT 1010213 SOS 525369 HAS SOPS 491501 HAS SOUS 371185 HAS SOUPS 339442 WITH SCORE 339967.369
AT ITER 1496 NEW BEST:: SOT 1009772 SOS 524781 HAS SOPS 490913 HAS SOUS 370744 HAS SOUPS 339001 WITH SCORE 339525.781
AT ITER 1516 NEW BEST:: SOT 1009081 SOS 524090 HAS SOPS 490222 HAS SOUS 370080 HAS SOUPS 338337 WITH SCORE 338861.09
AT ITER 1518 NEW BEST:: SOT 1009007 SOS 524115 HAS SOPS 490079 HAS SOUS 370179 HAS SOUPS 338268 WITH SCORE 338792.115
AT ITER 1522 NEW BEST:: SOT 1008869 SOS 523161 HAS SOPS 489125 HAS SOUS 369819 HAS SOUPS 337908 WITH SCORE 338431.161
AT ITER 1524 NEW BEST:: SOT 1008686 SOS 523223 HAS SOPS 488942 HAS SOUS 369881 HAS SOUPS 337725 WITH SCORE 338248.223
AT ITER 1528 NEW BEST:: SOT 1008056 SOS 522776 HAS SOPS 488312 HAS SOUS 369357 HAS SOUPS 337095 WITH SCORE 337617.776
AT ITER 1534 NEW BEST:: SOT 1008020 SOS 522932 HAS SOPS 488332 HAS SOUS 369446 HAS SOUPS 337048 WITH SCORE 337570.932
AT ITER 1542 NEW BEST:: SOT 1007655 SOS 522106 HAS SOPS 487506 HAS SOUS 369046 HAS SOUPS 336648 WITH SCORE 337170.106
AT ITER 1548 NEW BEST:: SOT 1007186 SOS 522105 HAS SOPS 487334 HAS SOUS 369175 HAS SOUPS 336606 WITH SCORE 337128.105
AT ITER 1553 NEW BEST:: SOT 1007380 SOS 522933 HAS SOPS 487476 HAS SOUS 369466 HAS SOUPS 336554 WITH SCORE 337076.933
AT ITER 1562 NEW BEST:: SOT 1007380 SOS 522899 HAS SOPS 487442 HAS SOUS 369432 HAS SOUPS 336520 WITH SCORE 337042.899
AT ITER 1566 NEW BEST:: SOT 1007358 SOS 522877 HAS SOPS 487420 HAS SOUS 369421 HAS SOUPS 336509 WITH SCORE 337031.877
AT ITER 1567 NEW BEST:: SOT 1007116 SOS 522406 HAS SOPS 486949 HAS SOUS 369031 HAS SOUPS 336119 WITH SCORE 336641.406
AT ITER 1589 NEW BEST:: SOT 1006872 SOS 522162 HAS SOPS 486749 HAS SOUS 368787 HAS SOUPS 335919 WITH SCORE 336441.162
AT ITER 1590 NEW BEST:: SOT 1006866 SOS 521403 HAS SOPS 486431 HAS SOUS 368236 HAS SOUPS 335809 WITH SCORE 336330.403
AT ITER 1591 NEW BEST:: SOT 1006584 SOS 520689 HAS SOPS 485717 HAS SOUS 367588 HAS SOUPS 335161 WITH SCORE 335681.689
AT ITER 1593 NEW BEST:: SOT 1006273 SOS 520378 HAS SOPS 485406 HAS SOUS 367401 HAS SOUPS 334974 WITH SCORE 335494.378
AT ITER 1595 NEW BEST:: SOT 1007096 SOS 520518 HAS SOPS 485602 HAS SOUS 366988 HAS SOUPS 334561 WITH SCORE 335081.518
AT ITER 1606 NEW BEST:: SOT 1006958 SOS 520437 HAS SOPS 485464 HAS SOUS 366879 HAS SOUPS 334423 WITH SCORE 334943.437
AT ITER 1623 NEW BEST:: SOT 1006481 SOS 518923 HAS SOPS 484441 HAS SOUS 365729 HAS SOUPS 333764 WITH SCORE 334282.923
AT ITER 1624 NEW BEST:: SOT 1006387 SOS 518565 HAS SOPS 484083 HAS SOUS 365528 HAS SOUPS 333563 WITH SCORE 334081.565
AT ITER 1625 NEW BEST:: SOT 1006329 SOS 518507 HAS SOPS 484025 HAS SOUS 365499 HAS SOUPS 333534 WITH SCORE 334052.507
AT ITER 1626 NEW BEST:: SOT 1006370 SOS 518323 HAS SOPS 483555 HAS SOUS 365621 HAS SOUPS 333370 WITH SCORE 333888.323
AT ITER 1627 NEW BEST:: SOT 1006512 SOS 518299 HAS SOPS 483531 HAS SOUS 365595 HAS SOUPS 333344 WITH SCORE 333862.299
AT ITER 1632 NEW BEST:: SOT 1005902 SOS 515975 HAS SOPS 480946 HAS SOUS 365060 HAS SOUPS 332548 WITH SCORE 333063.975
AT ITER 1635 NEW BEST:: SOT 1005902 SOS 515922 HAS SOPS 480893 HAS SOUS 365060 HAS SOUPS 332548 WITH SCORE 333063.922
AT ITER 1637 NEW BEST:: SOT 1005902 SOS 515826 HAS SOPS 480797 HAS SOUS 364964 HAS SOUPS 332452 WITH SCORE 332967.826
AT ITER 1642 NEW BEST:: SOT 1005794 SOS 515825 HAS SOPS 480796 HAS SOUS 364909 HAS SOUPS 332397 WITH SCORE 332912.825
AT ITER 1651 NEW BEST:: SOT 1005734 SOS 515765 HAS SOPS 480706 HAS SOUS 364879 HAS SOUPS 332337 WITH SCORE 332852.765
AT ITER 1654 NEW BEST:: SOT 1005641 SOS 515672 HAS SOPS 480520 HAS SOUS 364786 HAS SOUPS 332151 WITH SCORE 332666.672
AT ITER 1664 NEW BEST:: SOT 1004987 SOS 515068 HAS SOPS 479916 HAS SOUS 364312 HAS SOUPS 331677 WITH SCORE 332192.068
AT ITER 1666 NEW BEST:: SOT 1004690 SOS 513844 HAS SOPS 478692 HAS SOUS 363706 HAS SOUPS 331071 WITH SCORE 331584.844
AT ITER 1668 NEW BEST:: SOT 1004580 SOS 513182 HAS SOPS 478218 HAS SOUS 363481 HAS SOUPS 331034 WITH SCORE 331547.182
AT ITER 1670 NEW BEST:: SOT 1004554 SOS 513143 HAS SOPS 478179 HAS SOUS 363455 HAS SOUPS 331008 WITH SCORE 331521.143
AT ITER 1672 NEW BEST:: SOT 1004281 SOS 512790 HAS SOPS 477826 HAS SOUS 363182 HAS SOUPS 330735 WITH SCORE 331247.79
AT ITER 1678 NEW BEST:: SOT 1004281 SOS 512598 HAS SOPS 477634 HAS SOUS 362990 HAS SOUPS 330543 WITH SCORE 331055.598
AT ITER 1683 NEW BEST:: SOT 1004277 SOS 512706 HAS SOPS 477630 HAS SOUS 363098 HAS SOUPS 330539 WITH SCORE 331051.706
AT ITER 1684 NEW BEST:: SOT 1004231 SOS 512634 HAS SOPS 477538 HAS SOUS 363072 HAS SOUPS 330493 WITH SCORE 331005.634
AT ITER 1704 NEW BEST:: SOT 1003838 SOS 512282 HAS SOPS 477186 HAS SOUS 362765 HAS SOUPS 330186 WITH SCORE 330698.282
AT ITER 1706 NEW BEST:: SOT 1003838 SOS 512331 HAS SOPS 477186 HAS SOUS 362765 HAS SOUPS 330137 WITH SCORE 330649.331
AT ITER 1710 NEW BEST:: SOT 1003752 SOS 512245 HAS SOPS 477014 HAS SOUS 362679 HAS SOUPS 329965 WITH SCORE 330477.245
AT ITER 1711 NEW BEST:: SOT 1003695 SOS 512169 HAS SOPS 476938 HAS SOUS 362622 HAS SOUPS 329908 WITH SCORE 330420.169
AT ITER 1713 NEW BEST:: SOT 1003618 SOS 512037 HAS SOPS 476999 HAS SOUS 362398 HAS SOUPS 329877 WITH SCORE 330389.037
AT ITER 1716 NEW BEST:: SOT 1002895 SOS 511392 HAS SOPS 476275 HAS SOUS 362078 HAS SOUPS 329478 WITH SCORE 329989.392
AT ITER 1719 NEW BEST:: SOT 1002380 SOS 510752 HAS SOPS 475635 HAS SOUS 361566 HAS SOUPS 328966 WITH SCORE 329476.752
AT ITER 1721 NEW BEST:: SOT 1002291 SOS 510687 HAS SOPS 475547 HAS SOUS 361477 HAS SOUPS 328854 WITH SCORE 329364.687
AT ITER 1733 NEW BEST:: SOT 1003119 SOS 511186 HAS SOPS 476063 HAS SOUS 361441 HAS SOUPS 328818 WITH SCORE 329329.186
AT ITER 1735 NEW BEST:: SOT 1003119 SOS 510390 HAS SOPS 475267 HAS SOUS 361303 HAS SOUPS 328680 WITH SCORE 329190.39
AT ITER 1757 NEW BEST:: SOT 1003064 SOS 510335 HAS SOPS 475157 HAS SOUS 361248 HAS SOUPS 328570 WITH SCORE 329080.335
AT ITER 1759 NEW BEST:: SOT 1002268 SOS 509876 HAS SOPS 474262 HAS SOUS 361225 HAS SOUPS 328111 WITH SCORE 328620.876
AT ITER 1766 NEW BEST:: SOT 1001564 SOS 508135 HAS SOPS 472521 HAS SOUS 360188 HAS SOUPS 327074 WITH SCORE 327582.135
AT ITER 1771 NEW BEST:: SOT 1000983 SOS 506754 HAS SOPS 470972 HAS SOUS 359641 HAS SOUPS 326359 WITH SCORE 326865.754
AT ITER 1776 NEW BEST:: SOT 1000774 SOS 506779 HAS SOPS 470765 HAS SOUS 359760 HAS SOUPS 326246 WITH SCORE 326752.779
AT ITER 1781 NEW BEST:: SOT 1003317 SOS 508849 HAS SOPS 472835 HAS SOUS 359732 HAS SOUPS 326218 WITH SCORE 326726.849
AT ITER 1785 NEW BEST:: SOT 1003317 SOS 508633 HAS SOPS 472835 HAS SOUS 359516 HAS SOUPS 326218 WITH SCORE 326726.633
AT ITER 1787 NEW BEST:: SOT 1003319 SOS 508517 HAS SOPS 472788 HAS SOUS 359303 HAS SOUPS 326074 WITH SCORE 326582.517
AT ITER 1789 NEW BEST:: SOT 1003093 SOS 508291 HAS SOPS 472474 HAS SOUS 359135 HAS SOUPS 325864 WITH SCORE 326372.291
AT ITER 1794 NEW BEST:: SOT 1003003 SOS 508189 HAS SOPS 472268 HAS SOUS 359132 HAS SOUPS 325757 WITH SCORE 326265.189
AT ITER 1798 NEW BEST:: SOT 1005938 SOS 510373 HAS SOPS 474452 HAS SOUS 359054 HAS SOUPS 325679 WITH SCORE 326189.373
AT ITER 1802 NEW BEST:: SOT 1005028 SOS 509335 HAS SOPS 473481 HAS SOUS 358804 HAS SOUPS 325496 WITH SCORE 326005.335
AT ITER 1804 NEW BEST:: SOT 1005268 SOS 508749 HAS SOPS 473293 HAS SOUS 358376 HAS SOUPS 325466 WITH SCORE 325974.749
AT ITER 1806 NEW BEST:: SOT 1005067 SOS 508332 HAS SOPS 472876 HAS SOUS 358175 HAS SOUPS 325265 WITH SCORE 325773.332
AT ITER 1811 NEW BEST:: SOT 1005061 SOS 508326 HAS SOPS 472870 HAS SOUS 358172 HAS SOUPS 325262 WITH SCORE 325770.326
AT ITER 1814 NEW BEST:: SOT 1005035 SOS 508293 HAS SOPS 472837 HAS SOUS 358165 HAS SOUPS 325255 WITH SCORE 325763.293
AT ITER 1815 NEW BEST:: SOT 1004675 SOS 508053 HAS SOPS 472477 HAS SOUS 358045 HAS SOUPS 325015 WITH SCORE 325523.053
AT ITER 1820 NEW BEST:: SOT 1004675 SOS 507871 HAS SOPS 472295 HAS SOUS 358045 HAS SOUPS 325015 WITH SCORE 325522.871
AT ITER 1829 NEW BEST:: SOT 1004675 SOS 507821 HAS SOPS 472270 HAS SOUS 357995 HAS SOUPS 324990 WITH SCORE 325497.821
AT ITER 1832 NEW BEST:: SOT 1004068 SOS 507213 HAS SOPS 471662 HAS SOUS 357296 HAS SOUPS 324291 WITH SCORE 324798.213
AT ITER 1838 NEW BEST:: SOT 1003932 SOS 507077 HAS SOPS 471526 HAS SOUS 357024 HAS SOUPS 324019 WITH SCORE 324526.077
AT ITER 1850 NEW BEST:: SOT 1003900 SOS 506971 HAS SOPS 471420 HAS SOUS 356960 HAS SOUPS 323955 WITH SCORE 324461.971
AT ITER 1853 NEW BEST:: SOT 1003987 SOS 506958 HAS SOPS 471407 HAS SOUS 356924 HAS SOUPS 323919 WITH SCORE 324425.958
AT ITER 1857 NEW BEST:: SOT 1003771 SOS 507403 HAS SOPS 471496 HAS SOUS 357229 HAS SOUPS 323868 WITH SCORE 324375.403
AT ITER 1867 NEW BEST:: SOT 1004998 SOS 508484 HAS SOPS 472641 HAS SOUS 357147 HAS SOUPS 323850 WITH SCORE 324358.484
AT ITER 1874 NEW BEST:: SOT 1004860 SOS 508346 HAS SOPS 472503 HAS SOUS 356775 HAS SOUPS 323478 WITH SCORE 323986.346
AT ITER 1876 NEW BEST:: SOT 1004818 SOS 508304 HAS SOPS 472461 HAS SOUS 356754 HAS SOUPS 323457 WITH SCORE 323965.304
AT ITER 1880 NEW BEST:: SOT 1004654 SOS 507858 HAS SOPS 472015 HAS SOUS 356449 HAS SOUPS 323152 WITH SCORE 323659.858
AT ITER 1892 NEW BEST:: SOT 1004382 SOS 506577 HAS SOPS 470734 HAS SOUS 355749 HAS SOUPS 322452 WITH SCORE 322958.577
AT ITER 1897 NEW BEST:: SOT 1003896 SOS 506053 HAS SOPS 470210 HAS SOUS 355698 HAS SOUPS 322401 WITH SCORE 322907.053
AT ITER 1905 NEW BEST:: SOT 1003760 SOS 505917 HAS SOPS 469938 HAS SOUS 355602 HAS SOUPS 322169 WITH SCORE 322674.917
AT ITER 1906 NEW BEST:: SOT 1003067 SOS 505465 HAS SOPS 469311 HAS SOUS 355574 HAS SOUPS 321966 WITH SCORE 322471.465
AT ITER 1909 NEW BEST:: SOT 1003066 SOS 505222 HAS SOPS 469264 HAS SOUS 355331 HAS SOUPS 321919 WITH SCORE 322424.222
AT ITER 1914 NEW BEST:: SOT 1001731 SOS 504195 HAS SOPS 468237 HAS SOUS 355200 HAS SOUPS 321788 WITH SCORE 322292.195
AT ITER 1918 NEW BEST:: SOT 1001611 SOS 504006 HAS SOPS 467980 HAS SOUS 355131 HAS SOUPS 321651 WITH SCORE 322155.006
AT ITER 1920 NEW BEST:: SOT 1001541 SOS 503922 HAS SOPS 467896 HAS SOUS 355047 HAS SOUPS 321567 WITH SCORE 322070.922
AT ITER 1937 NEW BEST:: SOT 1001521 SOS 503846 HAS SOPS 467852 HAS SOUS 354995 HAS SOUPS 321547 WITH SCORE 322050.846
AT ITER 1940 NEW BEST:: SOT 1001442 SOS 503846 HAS SOPS 467852 HAS SOUS 354926 HAS SOUPS 321478 WITH SCORE 321981.846
AT ITER 1944 NEW BEST:: SOT 1001489 SOS 503893 HAS SOPS 467899 HAS SOUS 354913 HAS SOUPS 321465 WITH SCORE 321968.893
AT ITER 1954 NEW BEST:: SOT 1001474 SOS 503878 HAS SOPS 467884 HAS SOUS 354883 HAS SOUPS 321435 WITH SCORE 321938.878
AT ITER 1959 NEW BEST:: SOT 1006403 SOS 505799 HAS SOPS 470242 HAS SOUS 354380 HAS SOUPS 321369 WITH SCORE 321874.799
AT ITER 1964 NEW BEST:: SOT 1006394 SOS 505932 HAS SOPS 470375 HAS SOUS 354371 HAS SOUPS 321360 WITH SCORE 321865.932
AT ITER 1966 NEW BEST:: SOT 1006303 SOS 506785 HAS SOPS 471228 HAS SOUS 354222 HAS SOUPS 321211 WITH SCORE 321717.785
AT ITER 1968 NEW BEST:: SOT 1005596 SOS 506096 HAS SOPS 470539 HAS SOUS 353882 HAS SOUPS 320871 WITH SCORE 321377.096
AT ITER 1970 NEW BEST:: SOT 1005588 SOS 506072 HAS SOPS 470515 HAS SOUS 353866 HAS SOUPS 320855 WITH SCORE 321361.072
AT ITER 1972 NEW BEST:: SOT 1005903 SOS 505445 HAS SOPS 469888 HAS SOUS 353818 HAS SOUPS 320807 WITH SCORE 321312.445
AT ITER 1977 NEW BEST:: SOT 1006000 SOS 505542 HAS SOPS 469985 HAS SOUS 353656 HAS SOUPS 320645 WITH SCORE 321150.542
AT ITER 1992 NEW BEST:: SOT 1006813 SOS 506275 HAS SOPS 470307 HAS SOUS 353736 HAS SOUPS 320315 WITH SCORE 320821.275
AT ITER 2032 NEW BEST:: SOT 1006747 SOS 506110 HAS SOPS 470142 HAS SOUS 353637 HAS SOUPS 320216 WITH SCORE 320722.11
AT ITER 2033 NEW BEST:: SOT 1006840 SOS 506187 HAS SOPS 470219 HAS SOUS 353593 HAS SOUPS 320172 WITH SCORE 320678.187
AT ITER 2038 NEW BEST:: SOT 1006544 SOS 506058 HAS SOPS 470090 HAS SOUS 353321 HAS SOUPS 319900 WITH SCORE 320406.058
AT ITER 2041 NEW BEST:: SOT 1006418 SOS 505932 HAS SOPS 469964 HAS SOUS 353069 HAS SOUPS 319648 WITH SCORE 320153.932
AT ITER 2052 NEW BEST:: SOT 1006418 SOS 504986 HAS SOPS 469018 HAS SOUS 352829 HAS SOUPS 319408 WITH SCORE 319912.986
AT ITER 2053 NEW BEST:: SOT 1005749 SOS 504159 HAS SOPS 467952 HAS SOUS 352176 HAS SOUPS 318516 WITH SCORE 319020.159
AT ITER 2055 NEW BEST:: SOT 1005723 SOS 504133 HAS SOPS 467926 HAS SOUS 352150 HAS SOUPS 318490 WITH SCORE 318994.133
AT ITER 2059 NEW BEST:: SOT 1005990 SOS 493324 HAS SOPS 457219 HAS SOUS 352017 HAS SOUPS 318459 WITH SCORE 318952.324
AT ITER 2060 NEW BEST:: SOT 1005791 SOS 492924 HAS SOPS 456819 HAS SOUS 351693 HAS SOUPS 318135 WITH SCORE 318627.924
AT ITER 2064 NEW BEST:: SOT 1005285 SOS 492833 HAS SOPS 456161 HAS SOUS 351602 HAS SOUPS 317477 WITH SCORE 317969.833
AT ITER 2070 NEW BEST:: SOT 1005181 SOS 492729 HAS SOPS 456057 HAS SOUS 351394 HAS SOUPS 317269 WITH SCORE 317761.729
AT ITER 2091 NEW BEST:: SOT 1005164 SOS 491926 HAS SOPS 455604 HAS SOUS 350969 HAS SOUPS 317194 WITH SCORE 317685.926
AT ITER 2094 NEW BEST:: SOT 1005161 SOS 491968 HAS SOPS 455646 HAS SOUS 350960 HAS SOUPS 317185 WITH SCORE 317676.968
AT ITER 2095 NEW BEST:: SOT 1004791 SOS 491918 HAS SOPS 455251 HAS SOUS 350935 HAS SOUPS 316815 WITH SCORE 317306.918
AT ITER 2096 NEW BEST:: SOT 1004650 SOS 491687 HAS SOPS 455161 HAS SOUS 350704 HAS SOUPS 316725 WITH SCORE 317216.687
AT ITER 2105 NEW BEST:: SOT 1004488 SOS 491100 HAS SOPS 454574 HAS SOUS 350687 HAS SOUPS 316708 WITH SCORE 317199.1
AT ITER 2115 NEW BEST:: SOT 1004111 SOS 490326 HAS SOPS 453800 HAS SOUS 350329 HAS SOUPS 316350 WITH SCORE 316840.326
AT ITER 2116 NEW BEST:: SOT 1004097 SOS 490342 HAS SOPS 453799 HAS SOUS 350342 HAS SOUPS 316346 WITH SCORE 316836.342
AT ITER 2120 NEW BEST:: SOT 1004291 SOS 489276 HAS SOPS 452733 HAS SOUS 349871 HAS SOUPS 315875 WITH SCORE 316364.276
AT ITER 2122 NEW BEST:: SOT 1004333 SOS 489318 HAS SOPS 452733 HAS SOUS 349871 HAS SOUPS 315833 WITH SCORE 316322.318
AT ITER 2124 NEW BEST:: SOT 1004177 SOS 488954 HAS SOPS 452473 HAS SOUS 349611 HAS SOUPS 315677 WITH SCORE 316165.954
AT ITER 2130 NEW BEST:: SOT 1004905 SOS 489286 HAS SOPS 452604 HAS SOUS 349692 HAS SOUPS 315557 WITH SCORE 316046.286
AT ITER 2142 NEW BEST:: SOT 1004905 SOS 489286 HAS SOPS 452604 HAS SOUS 349624 HAS SOUPS 315489 WITH SCORE 315978.286
AT ITER 2143 NEW BEST:: SOT 1005046 SOS 482598 HAS SOPS 446398 HAS SOUS 348687 HAS SOUPS 315034 WITH SCORE 315516.598
AT ITER 2160 NEW BEST:: SOT 1004998 SOS 482550 HAS SOPS 446350 HAS SOUS 348663 HAS SOUPS 315010 WITH SCORE 315492.55
AT ITER 2163 NEW BEST:: SOT 1004588 SOS 482139 HAS SOPS 445939 HAS SOUS 348457 HAS SOUPS 314804 WITH SCORE 315286.139
AT ITER 2181 NEW BEST:: SOT 1003850 SOS 481709 HAS SOPS 445201 HAS SOUS 348712 HAS SOUPS 314751 WITH SCORE 315232.709
AT ITER 2182 NEW BEST:: SOT 1003850 SOS 481658 HAS SOPS 445201 HAS SOUS 348661 HAS SOUPS 314751 WITH SCORE 315232.658
AT ITER 2189 NEW BEST:: SOT 1003823 SOS 481631 HAS SOPS 445318 HAS SOUS 348463 HAS SOUPS 314697 WITH SCORE 315178.631
AT ITER 2191 NEW BEST:: SOT 1004376 SOS 482184 HAS SOPS 445649 HAS SOUS 348205 HAS SOUPS 314439 WITH SCORE 314921.184
AT ITER 2206 NEW BEST:: SOT 1004109 SOS 481917 HAS SOPS 445382 HAS SOUS 347671 HAS SOUPS 313905 WITH SCORE 314386.917
AT ITER 2207 NEW BEST:: SOT 1004185 SOS 481683 HAS SOPS 445305 HAS SOUS 347509 HAS SOUPS 313900 WITH SCORE 314381.683
AT ITER 2218 NEW BEST:: SOT 1003976 SOS 481595 HAS SOPS 445096 HAS SOUS 347542 HAS SOUPS 313812 WITH SCORE 314293.595
AT ITER 2219 NEW BEST:: SOT 1003700 SOS 481227 HAS SOPS 444728 HAS SOUS 347542 HAS SOUPS 313812 WITH SCORE 314293.227
AT ITER 2221 NEW BEST:: SOT 1003682 SOS 481173 HAS SOPS 444674 HAS SOUS 347524 HAS SOUPS 313794 WITH SCORE 314275.173
AT ITER 2233 NEW BEST:: SOT 1003577 SOS 480986 HAS SOPS 444487 HAS SOUS 347240 HAS SOUPS 313510 WITH SCORE 313990.986
AT ITER 2237 NEW BEST:: SOT 1003601 SOS 480921 HAS SOPS 444422 HAS SOUS 346615 HAS SOUPS 312885 WITH SCORE 313365.921
AT ITER 2261 NEW BEST:: SOT 1003596 SOS 480696 HAS SOPS 444197 HAS SOUS 346395 HAS SOUPS 312665 WITH SCORE 313145.696
AT ITER 2266 NEW BEST:: SOT 1003693 SOS 480252 HAS SOPS 443930 HAS SOUS 346030 HAS SOUPS 312477 WITH SCORE 312957.252
AT ITER 2276 NEW BEST:: SOT 1003693 SOS 480252 HAS SOPS 443934 HAS SOUS 346022 HAS SOUPS 312473 WITH SCORE 312953.252
AT ITER 2284 NEW BEST:: SOT 1003571 SOS 480128 HAS SOPS 443810 HAS SOUS 345898 HAS SOUPS 312349 WITH SCORE 312829.128
AT ITER 2315 NEW BEST:: SOT 1003136 SOS 479693 HAS SOPS 443163 HAS SOUS 345463 HAS SOUPS 311702 WITH SCORE 312181.693
AT ITER 2326 NEW BEST:: SOT 1003105 SOS 479662 HAS SOPS 443132 HAS SOUS 345401 HAS SOUPS 311640 WITH SCORE 312119.662
AT ITER 2331 NEW BEST:: SOT 1003098 SOS 479452 HAS SOPS 442642 HAS SOUS 345191 HAS SOUPS 311150 WITH SCORE 311629.452
AT ITER 2333 NEW BEST:: SOT 1003094 SOS 479442 HAS SOPS 442632 HAS SOUS 345185 HAS SOUPS 311144 WITH SCORE 311623.442
AT ITER 2336 NEW BEST:: SOT 1003041 SOS 479389 HAS SOPS 442668 HAS SOUS 345061 HAS SOUPS 311109 WITH SCORE 311588.389
AT ITER 2350 NEW BEST:: SOT 1002939 SOS 479069 HAS SOPS 442348 HAS SOUS 344741 HAS SOUPS 310789 WITH SCORE 311268.069
AT ITER 2359 NEW BEST:: SOT 1002812 SOS 478942 HAS SOPS 442221 HAS SOUS 344614 HAS SOUPS 310662 WITH SCORE 311140.942
AT ITER 2366 NEW BEST:: SOT 1002812 SOS 478574 HAS SOPS 441639 HAS SOUS 344246 HAS SOUPS 310080 WITH SCORE 310558.574
AT ITER 2370 NEW BEST:: SOT 1002747 SOS 478444 HAS SOPS 441535 HAS SOUS 344194 HAS SOUPS 310041 WITH SCORE 310519.444
AT ITER 2379 NEW BEST:: SOT 1002649 SOS 478346 HAS SOPS 441437 HAS SOUS 344175 HAS SOUPS 310022 WITH SCORE 310500.346
AT ITER 2396 NEW BEST:: SOT 1002366 SOS 478271 HAS SOPS 441154 HAS SOUS 344308 HAS SOUPS 309947 WITH SCORE 310425.271
AT ITER 2397 NEW BEST:: SOT 1002320 SOS 478156 HAS SOPS 441062 HAS SOUS 344239 HAS SOUPS 309901 WITH SCORE 310379.156
AT ITER 2398 NEW BEST:: SOT 1002251 SOS 478087 HAS SOPS 440993 HAS SOUS 344211 HAS SOUPS 309873 WITH SCORE 310351.087
AT ITER 2403 NEW BEST:: SOT 1002161 SOS 477997 HAS SOPS 440903 HAS SOUS 344095 HAS SOUPS 309757 WITH SCORE 310234.997
AT ITER 2407 NEW BEST:: SOT 1001569 SOS 477628 HAS SOPS 440013 HAS SOUS 344012 HAS SOUPS 309153 WITH SCORE 309630.628
AT ITER 2418 NEW BEST:: SOT 1000697 SOS 476717 HAS SOPS 439102 HAS SOUS 343832 HAS SOUPS 308973 WITH SCORE 309449.717
AT ITER 2436 NEW BEST:: SOT 1000697 SOS 476719 HAS SOPS 439104 HAS SOUS 343799 HAS SOUPS 308940 WITH SCORE 309416.719
AT ITER 2437 NEW BEST:: SOT 1000364 SOS 476127 HAS SOPS 438512 HAS SOUS 343648 HAS SOUPS 308789 WITH SCORE 309265.127
AT ITER 2454 NEW BEST:: SOT 999954 SOS 475497 HAS SOPS 437882 HAS SOUS 343546 HAS SOUPS 308687 WITH SCORE 309162.497
AT ITER 2458 NEW BEST:: SOT 999950 SOS 475493 HAS SOPS 437878 HAS SOUS 343542 HAS SOUPS 308683 WITH SCORE 309158.493
AT ITER 2470 NEW BEST:: SOT 1000767 SOS 476595 HAS SOPS 438551 HAS SOUS 343383 HAS SOUPS 308524 WITH SCORE 309000.595
AT ITER 2473 NEW BEST:: SOT 1000666 SOS 476558 HAS SOPS 438419 HAS SOUS 343384 HAS SOUPS 308430 WITH SCORE 308906.558
AT ITER 2474 NEW BEST:: SOT 1000618 SOS 476510 HAS SOPS 438371 HAS SOUS 343336 HAS SOUPS 308382 WITH SCORE 308858.51
AT ITER 2480 NEW BEST:: SOT 999718 SOS 475952 HAS SOPS 437268 HAS SOUS 343425 HAS SOUPS 307926 WITH SCORE 308401.952
AT ITER 2484 NEW BEST:: SOT 999614 SOS 475848 HAS SOPS 437164 HAS SOUS 343373 HAS SOUPS 307874 WITH SCORE 308349.848
AT ITER 2487 NEW BEST:: SOT 999569 SOS 475803 HAS SOPS 437119 HAS SOUS 343283 HAS SOUPS 307784 WITH SCORE 308259.803
AT ITER 2501 NEW BEST:: SOT 999732 SOS 475428 HAS SOPS 437024 HAS SOUS 342844 HAS SOUPS 307625 WITH SCORE 308100.428
AT ITER 2509 NEW BEST:: SOT 999461 SOS 475169 HAS SOPS 436765 HAS SOUS 342829 HAS SOUPS 307610 WITH SCORE 308085.169
AT ITER 2515 NEW BEST:: SOT 999444 SOS 475152 HAS SOPS 436731 HAS SOUS 342812 HAS SOUPS 307576 WITH SCORE 308051.152
AT ITER 2520 NEW BEST:: SOT 999444 SOS 475146 HAS SOPS 436725 HAS SOUS 342806 HAS SOUPS 307570 WITH SCORE 308045.146
AT ITER 2526 NEW BEST:: SOT 999911 SOS 474693 HAS SOPS 436272 HAS SOUS 342621 HAS SOUPS 307385 WITH SCORE 307859.693
AT ITER 2532 NEW BEST:: SOT 999911 SOS 471246 HAS SOPS 432825 HAS SOUS 342621 HAS SOUPS 307385 WITH SCORE 307856.246
AT ITER 2540 NEW BEST:: SOT 999911 SOS 470421 HAS SOPS 432000 HAS SOUS 342374 HAS SOUPS 307138 WITH SCORE 307608.421
AT ITER 2542 NEW BEST:: SOT 999735 SOS 469802 HAS SOPS 431381 HAS SOUS 341931 HAS SOUPS 306695 WITH SCORE 307164.802
AT ITER 2544 NEW BEST:: SOT 999713 SOS 469780 HAS SOPS 431337 HAS SOUS 341909 HAS SOUPS 306651 WITH SCORE 307120.78
AT ITER 2555 NEW BEST:: SOT 999542 SOS 469438 HAS SOPS 430834 HAS SOUS 341905 HAS SOUPS 306486 WITH SCORE 306955.438
AT ITER 2556 NEW BEST:: SOT 999359 SOS 469143 HAS SOPS 430539 HAS SOUS 341610 HAS SOUPS 306191 WITH SCORE 306660.143
AT ITER 2566 NEW BEST:: SOT 999118 SOS 468494 HAS SOPS 429890 HAS SOUS 341097 HAS SOUPS 305678 WITH SCORE 306146.494
AT ITER 2570 NEW BEST:: SOT 999379 SOS 468502 HAS SOPS 430170 HAS SOUS 340954 HAS SOUPS 305535 WITH SCORE 306003.502
AT ITER 2578 NEW BEST:: SOT 999350 SOS 468473 HAS SOPS 430141 HAS SOUS 340925 HAS SOUPS 305506 WITH SCORE 305974.473
AT ITER 2583 NEW BEST:: SOT 998606 SOS 467977 HAS SOPS 429397 HAS SOUS 341173 HAS SOUPS 305506 WITH SCORE 305973.977
AT ITER 2592 NEW BEST:: SOT 998398 SOS 467718 HAS SOPS 429138 HAS SOUS 340914 HAS SOUPS 305247 WITH SCORE 305714.718
AT ITER 2598 NEW BEST:: SOT 997996 SOS 467316 HAS SOPS 428736 HAS SOUS 340883 HAS SOUPS 305216 WITH SCORE 305683.316
AT ITER 2608 NEW BEST:: SOT 997909 SOS 467359 HAS SOPS 428779 HAS SOUS 340839 HAS SOUPS 305172 WITH SCORE 305639.359
AT ITER 2620 NEW BEST:: SOT 997845 SOS 467099 HAS SOPS 428519 HAS SOUS 340775 HAS SOUPS 305108 WITH SCORE 305575.099
AT ITER 2621 NEW BEST:: SOT 997738 SOS 466984 HAS SOPS 428404 HAS SOUS 340767 HAS SOUPS 305100 WITH SCORE 305566.984
AT ITER 2630 NEW BEST:: SOT 997737 SOS 466983 HAS SOPS 428403 HAS SOUS 340766 HAS SOUPS 305099 WITH SCORE 305565.983
AT ITER 2635 NEW BEST:: SOT 997857 SOS 467058 HAS SOPS 428478 HAS SOUS 340630 HAS SOUPS 304963 WITH SCORE 305430.058
AT ITER 2641 NEW BEST:: SOT 997809 SOS 467010 HAS SOPS 428430 HAS SOUS 340580 HAS SOUPS 304913 WITH SCORE 305380.01
AT ITER 2653 NEW BEST:: SOT 997371 SOS 466812 HAS SOPS 427966 HAS SOUS 340408 HAS SOUPS 304475 WITH SCORE 304941.812
AT ITER 2655 NEW BEST:: SOT 997093 SOS 466495 HAS SOPS 427677 HAS SOUS 340369 HAS SOUPS 304464 WITH SCORE 304930.495
AT ITER 2662 NEW BEST:: SOT 997759 SOS 467009 HAS SOPS 427677 HAS SOUS 339406 HAS SOUPS 303408 WITH SCORE 303875.009
AT ITER 2663 NEW BEST:: SOT 997609 SOS 466859 HAS SOPS 427527 HAS SOUS 339320 HAS SOUPS 303322 WITH SCORE 303788.859
AT ITER 2669 NEW BEST:: SOT 997577 SOS 466836 HAS SOPS 427485 HAS SOUS 339310 HAS SOUPS 303293 WITH SCORE 303759.836
AT ITER 2672 NEW BEST:: SOT 997502 SOS 466626 HAS SOPS 427275 HAS SOUS 339150 HAS SOUPS 303133 WITH SCORE 303599.626
AT ITER 2675 NEW BEST:: SOT 997469 SOS 466469 HAS SOPS 427118 HAS SOUS 338993 HAS SOUPS 302976 WITH SCORE 303442.469
AT ITER 2686 NEW BEST:: SOT 997373 SOS 466309 HAS SOPS 426958 HAS SOUS 338897 HAS SOUPS 302880 WITH SCORE 303346.309
AT ITER 2693 NEW BEST:: SOT 997043 SOS 465469 HAS SOPS 426672 HAS SOUS 337931 HAS SOUPS 302468 WITH SCORE 302933.469
AT ITER 2694 NEW BEST:: SOT 997043 SOS 464988 HAS SOPS 426151 HAS SOUS 337806 HAS SOUPS 302303 WITH SCORE 302767.988
AT ITER 2697 NEW BEST:: SOT 997029 SOS 464233 HAS SOPS 425876 HAS SOUS 337298 HAS SOUPS 302275 WITH SCORE 302739.233
AT ITER 2700 NEW BEST:: SOT 997574 SOS 464553 HAS SOPS 426295 HAS SOUS 337001 HAS SOUPS 302077 WITH SCORE 302541.553
AT ITER 2707 NEW BEST:: SOT 996760 SOS 463662 HAS SOPS 425205 HAS SOUS 336314 HAS SOUPS 301191 WITH SCORE 301654.662
AT ITER 2714 NEW BEST:: SOT 995811 SOS 462713 HAS SOPS 424478 HAS SOUS 336176 HAS SOUPS 301053 WITH SCORE 301515.713
AT ITER 2715 NEW BEST:: SOT 995810 SOS 462712 HAS SOPS 424477 HAS SOUS 336150 HAS SOUPS 301027 WITH SCORE 301489.712
AT ITER 2731 NEW BEST:: SOT 995793 SOS 462695 HAS SOPS 424460 HAS SOUS 336133 HAS SOUPS 301010 WITH SCORE 301472.695
AT ITER 2734 NEW BEST:: SOT 995304 SOS 462418 HAS SOPS 424183 HAS SOUS 335751 HAS SOUPS 300628 WITH SCORE 301090.418
AT ITER 2738 NEW BEST:: SOT 995210 SOS 461338 HAS SOPS 423536 HAS SOUS 335198 HAS SOUPS 300508 WITH SCORE 300969.338
AT ITER 2745 NEW BEST:: SOT 995124 SOS 461252 HAS SOPS 423364 HAS SOUS 335112 HAS SOUPS 300336 WITH SCORE 300797.252
AT ITER 2747 NEW BEST:: SOT 995501 SOS 461652 HAS SOPS 423187 HAS SOUS 335512 HAS SOUPS 300159 WITH SCORE 300620.652
AT ITER 2749 NEW BEST:: SOT 995081 SOS 460985 HAS SOPS 422520 HAS SOUS 335013 HAS SOUPS 299660 WITH SCORE 300120.985
AT ITER 2751 NEW BEST:: SOT 994852 SOS 460725 HAS SOPS 422260 HAS SOUS 334872 HAS SOUPS 299519 WITH SCORE 299979.725
AT ITER 2759 NEW BEST:: SOT 994656 SOS 460987 HAS SOPS 422522 HAS SOUS 334773 HAS SOUPS 299420 WITH SCORE 299880.987
AT ITER 2763 NEW BEST:: SOT 995067 SOS 460738 HAS SOPS 422834 HAS SOUS 334113 HAS SOUPS 299321 WITH SCORE 299781.738
AT ITER 2764 NEW BEST:: SOT 995094 SOS 460497 HAS SOPS 422749 HAS SOUS 333827 HAS SOUPS 299191 WITH SCORE 299651.497
AT ITER 2772 NEW BEST:: SOT 994998 SOS 460401 HAS SOPS 422557 HAS SOUS 333827 HAS SOUPS 299095 WITH SCORE 299555.401
AT ITER 2775 NEW BEST:: SOT 995506 SOS 460540 HAS SOPS 422696 HAS SOUS 333490 HAS SOUPS 298758 WITH SCORE 299218.54
AT ITER 2782 NEW BEST:: SOT 995451 SOS 458137 HAS SOPS 420040 HAS SOUS 333617 HAS SOUPS 298632 WITH SCORE 299090.137
AT ITER 2786 NEW BEST:: SOT 995451 SOS 458064 HAS SOPS 420040 HAS SOUS 333544 HAS SOUPS 298632 WITH SCORE 299090.064
AT ITER 2789 NEW BEST:: SOT 995322 SOS 457095 HAS SOPS 419624 HAS SOUS 333179 HAS SOUPS 298216 WITH SCORE 298673.095
AT ITER 2796 NEW BEST:: SOT 995322 SOS 457013 HAS SOPS 419542 HAS SOUS 333097 HAS SOUPS 298134 WITH SCORE 298591.013
AT ITER 2809 NEW BEST:: SOT 995309 SOS 456786 HAS SOPS 419425 HAS SOUS 332956 HAS SOUPS 298103 WITH SCORE 298559.786
AT ITER 2812 NEW BEST:: SOT 995018 SOS 456495 HAS SOPS 419134 HAS SOUS 332780 HAS SOUPS 297927 WITH SCORE 298383.495
AT ITER 2825 NEW BEST:: SOT 995129 SOS 456470 HAS SOPS 419109 HAS SOUS 332622 HAS SOUPS 297769 WITH SCORE 298225.47
AT ITER 2829 NEW BEST:: SOT 995123 SOS 456458 HAS SOPS 419097 HAS SOUS 332616 HAS SOUPS 297763 WITH SCORE 298219.458
AT ITER 2832 NEW BEST:: SOT 995411 SOS 458479 HAS SOPS 420403 HAS SOUS 333145 HAS SOUPS 297577 WITH SCORE 298035.479
AT ITER 2833 NEW BEST:: SOT 992872 SOS 456581 HAS SOPS 418316 HAS SOUS 332192 HAS SOUPS 296435 WITH SCORE 296891.581
AT ITER 2841 NEW BEST:: SOT 992872 SOS 456445 HAS SOPS 418243 HAS SOUS 332119 HAS SOUPS 296425 WITH SCORE 296881.445
AT ITER 2845 NEW BEST:: SOT 992864 SOS 456249 HAS SOPS 418047 HAS SOUS 332107 HAS SOUPS 296413 WITH SCORE 296869.249
AT ITER 2848 NEW BEST:: SOT 992172 SOS 455557 HAS SOPS 417355 HAS SOUS 331415 HAS SOUPS 295721 WITH SCORE 296176.557
AT ITER 2864 NEW BEST:: SOT 992275 SOS 454571 HAS SOPS 416369 HAS SOUS 330810 HAS SOUPS 295116 WITH SCORE 295570.571
AT ITER 2867 NEW BEST:: SOT 992081 SOS 454343 HAS SOPS 416016 HAS SOUS 330644 HAS SOUPS 294825 WITH SCORE 295279.343
AT ITER 2877 NEW BEST:: SOT 992090 SOS 454895 HAS SOPS 416568 HAS SOUS 330634 HAS SOUPS 294815 WITH SCORE 295269.895
AT ITER 2885 NEW BEST:: SOT 992155 SOS 454976 HAS SOPS 416607 HAS SOUS 330524 HAS SOUPS 294705 WITH SCORE 295159.976
AT ITER 2890 NEW BEST:: SOT 992091 SOS 454912 HAS SOPS 416543 HAS SOUS 330524 HAS SOUPS 294705 WITH SCORE 295159.912
AT ITER 2891 NEW BEST:: SOT 992028 SOS 454786 HAS SOPS 416417 HAS SOUS 330440 HAS SOUPS 294621 WITH SCORE 295075.786
AT ITER 2892 NEW BEST:: SOT 991810 SOS 453540 HAS SOPS 415171 HAS SOUS 330077 HAS SOUPS 294258 WITH SCORE 294711.54
AT ITER 2905 NEW BEST:: SOT 991738 SOS 453360 HAS SOPS 414991 HAS SOUS 329969 HAS SOUPS 294150 WITH SCORE 294603.36
AT ITER 2908 NEW BEST:: SOT 991738 SOS 453319 HAS SOPS 414991 HAS SOUS 329928 HAS SOUPS 294150 WITH SCORE 294603.319
AT ITER 2925 NEW BEST:: SOT 991726 SOS 453388 HAS SOPS 415060 HAS SOUS 329916 HAS SOUPS 294138 WITH SCORE 294591.388
AT ITER 2926 NEW BEST:: SOT 991726 SOS 453342 HAS SOPS 415014 HAS SOUS 329870 HAS SOUPS 294092 WITH SCORE 294545.342
AT ITER 2930 NEW BEST:: SOT 991569 SOS 452452 HAS SOPS 414436 HAS SOUS 329314 HAS SOUPS 293848 WITH SCORE 294300.452
AT ITER 2935 NEW BEST:: SOT 991569 SOS 452496 HAS SOPS 414480 HAS SOUS 329180 HAS SOUPS 293714 WITH SCORE 294166.496
AT ITER 2938 NEW BEST:: SOT 991487 SOS 452208 HAS SOPS 414192 HAS SOUS 329178 HAS SOUPS 293712 WITH SCORE 294164.208
AT ITER 2941 NEW BEST:: SOT 991289 SOS 452006 HAS SOPS 413891 HAS SOUS 329075 HAS SOUPS 293510 WITH SCORE 293962.006
AT ITER 2946 NEW BEST:: SOT 991121 SOS 451628 HAS SOPS 413513 HAS SOUS 328907 HAS SOUPS 293342 WITH SCORE 293793.628
AT ITER 2949 NEW BEST:: SOT 991121 SOS 451484 HAS SOPS 413369 HAS SOUS 328873 HAS SOUPS 293308 WITH SCORE 293759.484
AT ITER 2959 NEW BEST:: SOT 991121 SOS 451280 HAS SOPS 413165 HAS SOUS 328873 HAS SOUPS 293308 WITH SCORE 293759.28
AT ITER 2967 NEW BEST:: SOT 991310 SOS 451469 HAS SOPS 413281 HAS SOUS 328858 HAS SOUPS 293220 WITH SCORE 293671.469
AT ITER 2972 NEW BEST:: SOT 991103 SOS 451265 HAS SOPS 413077 HAS SOUS 328651 HAS SOUPS 293013 WITH SCORE 293464.265
AT ITER 2975 NEW BEST:: SOT 991094 SOS 450912 HAS SOPS 412816 HAS SOUS 328764 HAS SOUPS 292995 WITH SCORE 293445.912
AT ITER 2976 NEW BEST:: SOT 991093 SOS 450911 HAS SOPS 412815 HAS SOUS 328610 HAS SOUPS 292841 WITH SCORE 293291.911
AT ITER 2998 NEW BEST:: SOT 991093 SOS 450719 HAS SOPS 412623 HAS SOUS 328547 HAS SOUPS 292778 WITH SCORE 293228.719
AT ITER 3003 NEW BEST:: SOT 990941 SOS 450184 HAS SOPS 412088 HAS SOUS 328411 HAS SOUPS 292642 WITH SCORE 293092.184
AT ITER 3015 NEW BEST:: SOT 990967 SOS 450006 HAS SOPS 411910 HAS SOUS 328369 HAS SOUPS 292600 WITH SCORE 293050.006
AT ITER 3017 NEW BEST:: SOT 990727 SOS 450154 HAS SOPS 411871 HAS SOUS 328432 HAS SOUPS 292476 WITH SCORE 292926.154
AT ITER 3022 NEW BEST:: SOT 990645 SOS 449150 HAS SOPS 410867 HAS SOUS 328288 HAS SOUPS 292332 WITH SCORE 292781.15
AT ITER 3027 NEW BEST:: SOT 990500 SOS 449005 HAS SOPS 410721 HAS SOUS 328233 HAS SOUPS 292276 WITH SCORE 292725.005
AT ITER 3030 NEW BEST:: SOT 990414 SOS 448903 HAS SOPS 410619 HAS SOUS 328131 HAS SOUPS 292174 WITH SCORE 292622.903
AT ITER 3032 NEW BEST:: SOT 991182 SOS 449648 HAS SOPS 411364 HAS SOUS 327950 HAS SOUPS 291993 WITH SCORE 292442.648
AT ITER 3033 NEW BEST:: SOT 991182 SOS 449648 HAS SOPS 411330 HAS SOUS 327950 HAS SOUPS 291959 WITH SCORE 292408.648
AT ITER 3034 NEW BEST:: SOT 991183 SOS 449610 HAS SOPS 411292 HAS SOUS 327912 HAS SOUPS 291921 WITH SCORE 292370.61
AT ITER 3036 NEW BEST:: SOT 988260 SOS 455477 HAS SOPS 415679 HAS SOUS 326699 HAS SOUPS 290253 WITH SCORE 290708.477
AT ITER 3037 NEW BEST:: SOT 986842 SOS 456435 HAS SOPS 416584 HAS SOUS 326297 HAS SOUPS 289798 WITH SCORE 290254.435
AT ITER 3053 NEW BEST:: SOT 986953 SOS 457177 HAS SOPS 417109 HAS SOUS 326231 HAS SOUPS 289536 WITH SCORE 289993.177
AT ITER 3061 NEW BEST:: SOT 986850 SOS 457074 HAS SOPS 417006 HAS SOUS 326128 HAS SOUPS 289433 WITH SCORE 289890.074
AT ITER 3078 NEW BEST:: SOT 986850 SOS 456991 HAS SOPS 416950 HAS SOUS 326072 HAS SOUPS 289404 WITH SCORE 289860.991
AT ITER 3087 NEW BEST:: SOT 987045 SOS 457186 HAS SOPS 416896 HAS SOUS 326267 HAS SOUPS 289350 WITH SCORE 289807.186
AT ITER 3094 NEW BEST:: SOT 987045 SOS 457155 HAS SOPS 416865 HAS SOUS 326236 HAS SOUPS 289319 WITH SCORE 289776.155
AT ITER 3099 NEW BEST:: SOT 987045 SOS 456739 HAS SOPS 416681 HAS SOUS 326052 HAS SOUPS 289251 WITH SCORE 289707.739
AT ITER 3102 NEW BEST:: SOT 987007 SOS 456701 HAS SOPS 416643 HAS SOUS 326014 HAS SOUPS 289213 WITH SCORE 289669.701
AT ITER 3107 NEW BEST:: SOT 987426 SOS 455693 HAS SOPS 415635 HAS SOUS 325664 HAS SOUPS 288863 WITH SCORE 289318.693
AT ITER 3114 NEW BEST:: SOT 987440 SOS 455660 HAS SOPS 415609 HAS SOUS 325652 HAS SOUPS 288837 WITH SCORE 289292.66
AT ITER 3120 NEW BEST:: SOT 987422 SOS 455642 HAS SOPS 415591 HAS SOUS 325634 HAS SOUPS 288819 WITH SCORE 289274.642
AT ITER 3140 NEW BEST:: SOT 985932 SOS 457181 HAS SOPS 416220 HAS SOUS 325496 HAS SOUPS 288285 WITH SCORE 288742.181
AT ITER 3152 NEW BEST:: SOT 986004 SOS 457001 HAS SOPS 416175 HAS SOUS 325359 HAS SOUPS 288283 WITH SCORE 288740.001
AT ITER 3158 NEW BEST:: SOT 986023 SOS 456716 HAS SOPS 415890 HAS SOUS 325226 HAS SOUPS 288150 WITH SCORE 288606.716
AT ITER 3163 NEW BEST:: SOT 985986 SOS 456583 HAS SOPS 415757 HAS SOUS 325179 HAS SOUPS 288103 WITH SCORE 288559.583
AT ITER 3167 NEW BEST:: SOT 985934 SOS 456583 HAS SOPS 415757 HAS SOUS 325127 HAS SOUPS 288051 WITH SCORE 288507.583
AT ITER 3176 NEW BEST:: SOT 985591 SOS 456757 HAS SOPS 415931 HAS SOUS 325095 HAS SOUPS 288019 WITH SCORE 288475.757
AT ITER 3191 NEW BEST:: SOT 985685 SOS 457329 HAS SOPS 416406 HAS SOUS 325189 HAS SOUPS 288016 WITH SCORE 288473.329
AT ITER 3197 NEW BEST:: SOT 985645 SOS 457289 HAS SOPS 416366 HAS SOUS 325149 HAS SOUPS 287976 WITH SCORE 288433.289
AT ITER 3198 NEW BEST:: SOT 985396 SOS 457040 HAS SOPS 415991 HAS SOUS 325026 HAS SOUPS 287727 WITH SCORE 288184.04
AT ITER 3204 NEW BEST:: SOT 985396 SOS 456975 HAS SOPS 415926 HAS SOUS 325026 HAS SOUPS 287727 WITH SCORE 288183.975
AT ITER 3211 NEW BEST:: SOT 985346 SOS 456925 HAS SOPS 415876 HAS SOUS 324976 HAS SOUPS 287677 WITH SCORE 288133.925
AT ITER 3220 NEW BEST:: SOT 985182 SOS 456761 HAS SOPS 415712 HAS SOUS 324976 HAS SOUPS 287677 WITH SCORE 288133.761
AT ITER 3221 NEW BEST:: SOT 985080 SOS 456523 HAS SOPS 415508 HAS SOUS 324806 HAS SOUPS 287541 WITH SCORE 287997.523
AT ITER 3225 NEW BEST:: SOT 985054 SOS 456421 HAS SOPS 415482 HAS SOUS 324704 HAS SOUPS 287515 WITH SCORE 287971.421
AT ITER 3241 NEW BEST:: SOT 985032 SOS 456388 HAS SOPS 415460 HAS SOUS 324693 HAS SOUPS 287504 WITH SCORE 287960.388
AT ITER 3247 NEW BEST:: SOT 984708 SOS 455902 HAS SOPS 414974 HAS SOUS 324531 HAS SOUPS 287342 WITH SCORE 287797.902
AT ITER 3252 NEW BEST:: SOT 984708 SOS 455608 HAS SOPS 414680 HAS SOUS 324237 HAS SOUPS 287048 WITH SCORE 287503.608
AT ITER 3253 NEW BEST:: SOT 984689 SOS 455752 HAS SOPS 414661 HAS SOUS 324381 HAS SOUPS 287029 WITH SCORE 287484.752
AT ITER 3262 NEW BEST:: SOT 984420 SOS 455602 HAS SOPS 414511 HAS SOUS 324354 HAS SOUPS 287002 WITH SCORE 287457.602
AT ITER 3263 NEW BEST:: SOT 984467 SOS 455620 HAS SOPS 414529 HAS SOUS 324190 HAS SOUPS 286838 WITH SCORE 287293.62
AT ITER 3273 NEW BEST:: SOT 984361 SOS 455567 HAS SOPS 414423 HAS SOUS 324190 HAS SOUPS 286785 WITH SCORE 287240.567
AT ITER 3283 NEW BEST:: SOT 984275 SOS 455346 HAS SOPS 414202 HAS SOUS 324115 HAS SOUPS 286710 WITH SCORE 287165.346
AT ITER 3285 NEW BEST:: SOT 983862 SOS 454918 HAS SOPS 413774 HAS SOUS 323769 HAS SOUPS 286364 WITH SCORE 286818.918
AT ITER 3301 NEW BEST:: SOT 983764 SOS 454758 HAS SOPS 413614 HAS SOUS 323609 HAS SOUPS 286204 WITH SCORE 286658.758
AT ITER 3326 NEW BEST:: SOT 983547 SOS 454541 HAS SOPS 413397 HAS SOUS 323392 HAS SOUPS 285987 WITH SCORE 286441.541
AT ITER 3341 NEW BEST:: SOT 982601 SOS 453595 HAS SOPS 412559 HAS SOUS 322973 HAS SOUPS 285676 WITH SCORE 286129.595
AT ITER 3351 NEW BEST:: SOT 982368 SOS 453334 HAS SOPS 412298 HAS SOUS 322712 HAS SOUPS 285415 WITH SCORE 285868.334
AT ITER 3355 NEW BEST:: SOT 982465 SOS 453431 HAS SOPS 412395 HAS SOUS 322604 HAS SOUPS 285307 WITH SCORE 285760.431
AT ITER 3362 NEW BEST:: SOT 982446 SOS 453180 HAS SOPS 412144 HAS SOUS 322597 HAS SOUPS 285300 WITH SCORE 285753.18
AT ITER 3368 NEW BEST:: SOT 982351 SOS 452799 HAS SOPS 411763 HAS SOUS 322369 HAS SOUPS 285072 WITH SCORE 285524.799
AT ITER 3378 NEW BEST:: SOT 982350 SOS 452630 HAS SOPS 411677 HAS SOUS 322284 HAS SOUPS 285070 WITH SCORE 285522.63
AT ITER 3382 NEW BEST:: SOT 982392 SOS 452395 HAS SOPS 411442 HAS SOUS 322274 HAS SOUPS 285060 WITH SCORE 285512.395
AT ITER 3386 NEW BEST:: SOT 982472 SOS 452475 HAS SOPS 411316 HAS SOUS 322354 HAS SOUPS 284934 WITH SCORE 285386.475
AT ITER 3393 NEW BEST:: SOT 982464 SOS 452471 HAS SOPS 411308 HAS SOUS 322354 HAS SOUPS 284930 WITH SCORE 285382.471
AT ITER 3394 NEW BEST:: SOT 982491 SOS 452498 HAS SOPS 411335 HAS SOUS 322310 HAS SOUPS 284886 WITH SCORE 285338.498
AT ITER 3413 NEW BEST:: SOT 982325 SOS 451718 HAS SOPS 410655 HAS SOUS 321928 HAS SOUPS 284604 WITH SCORE 285055.718
AT ITER 3414 NEW BEST:: SOT 981384 SOS 451103 HAS SOPS 409331 HAS SOUS 321777 HAS SOUPS 283744 WITH SCORE 284195.103
AT ITER 3432 NEW BEST:: SOT 981230 SOS 450795 HAS SOPS 409023 HAS SOUS 321623 HAS SOUPS 283590 WITH SCORE 284040.795
AT ITER 3437 NEW BEST:: SOT 981062 SOS 450502 HAS SOPS 408756 HAS SOUS 321024 HAS SOUPS 283017 WITH SCORE 283467.502
AT ITER 3440 NEW BEST:: SOT 981118 SOS 450558 HAS SOPS 408868 HAS SOUS 320788 HAS SOUPS 282837 WITH SCORE 283287.558
AT ITER 3443 NEW BEST:: SOT 981074 SOS 450514 HAS SOPS 408824 HAS SOUS 320744 HAS SOUPS 282793 WITH SCORE 283243.514
AT ITER 3453 NEW BEST:: SOT 981005 SOS 450532 HAS SOPS 408842 HAS SOUS 320741 HAS SOUPS 282790 WITH SCORE 283240.532
AT ITER 3454 NEW BEST:: SOT 980837 SOS 450196 HAS SOPS 408506 HAS SOUS 320573 HAS SOUPS 282622 WITH SCORE 283072.196
AT ITER 3463 NEW BEST:: SOT 980721 SOS 449626 HAS SOPS 407936 HAS SOUS 320256 HAS SOUPS 282305 WITH SCORE 282754.626
AT ITER 3464 NEW BEST:: SOT 980721 SOS 449626 HAS SOPS 407936 HAS SOUS 320237 HAS SOUPS 282286 WITH SCORE 282735.626
AT ITER 3467 NEW BEST:: SOT 980720 SOS 449514 HAS SOPS 407823 HAS SOUS 320125 HAS SOUPS 282173 WITH SCORE 282622.514
AT ITER 3469 NEW BEST:: SOT 980693 SOS 449502 HAS SOPS 407811 HAS SOUS 319991 HAS SOUPS 282039 WITH SCORE 282488.502
AT ITER 3470 NEW BEST:: SOT 980569 SOS 445946 HAS SOPS 404255 HAS SOUS 319555 HAS SOUPS 281603 WITH SCORE 282048.946
AT ITER 3521 NEW BEST:: SOT 980507 SOS 445900 HAS SOPS 404193 HAS SOUS 319540 HAS SOUPS 281572 WITH SCORE 282017.9
AT ITER 3523 NEW BEST:: SOT 981257 SOS 446112 HAS SOPS 404405 HAS SOUS 319536 HAS SOUPS 281568 WITH SCORE 282014.112
AT ITER 3524 NEW BEST:: SOT 981365 SOS 446307 HAS SOPS 404600 HAS SOUS 319352 HAS SOUPS 281384 WITH SCORE 281830.307
AT ITER 3530 NEW BEST:: SOT 980822 SOS 445764 HAS SOPS 404057 HAS SOUS 318809 HAS SOUPS 280841 WITH SCORE 281286.764
AT ITER 3532 NEW BEST:: SOT 980822 SOS 445046 HAS SOPS 403339 HAS SOUS 318738 HAS SOUPS 280770 WITH SCORE 281215.046
AT ITER 3552 NEW BEST:: SOT 980755 SOS 445225 HAS SOPS 403322 HAS SOUS 318867 HAS SOUPS 280703 WITH SCORE 281148.225
AT ITER 3553 NEW BEST:: SOT 980122 SOS 444170 HAS SOPS 402478 HAS SOUS 318774 HAS SOUPS 280703 WITH SCORE 281147.17
AT ITER 3555 NEW BEST:: SOT 980293 SOS 444340 HAS SOPS 402648 HAS SOUS 318772 HAS SOUPS 280701 WITH SCORE 281145.34
AT ITER 3564 NEW BEST:: SOT 980073 SOS 444120 HAS SOPS 401862 HAS SOUS 318464 HAS SOUPS 279915 WITH SCORE 280359.12
AT ITER 3566 NEW BEST:: SOT 980073 SOS 444026 HAS SOPS 401768 HAS SOUS 318430 HAS SOUPS 279881 WITH SCORE 280325.026
AT ITER 3569 NEW BEST:: SOT 979754 SOS 443335 HAS SOPS 401077 HAS SOUS 318372 HAS SOUPS 279823 WITH SCORE 280266.335
AT ITER 3580 NEW BEST:: SOT 979889 SOS 443470 HAS SOPS 401212 HAS SOUS 318294 HAS SOUPS 279745 WITH SCORE 280188.47
AT ITER 3595 NEW BEST:: SOT 979467 SOS 442979 HAS SOPS 400721 HAS SOUS 317872 HAS SOUPS 279323 WITH SCORE 279765.979
AT ITER 3596 NEW BEST:: SOT 979344 SOS 442733 HAS SOPS 400475 HAS SOUS 317749 HAS SOUPS 279200 WITH SCORE 279642.733
AT ITER 3598 NEW BEST:: SOT 978772 SOS 442726 HAS SOPS 400057 HAS SOUS 317903 HAS SOUPS 278943 WITH SCORE 279385.726
AT ITER 3602 NEW BEST:: SOT 978646 SOS 442516 HAS SOPS 399847 HAS SOUS 317861 HAS SOUPS 278901 WITH SCORE 279343.516
AT ITER 3613 NEW BEST:: SOT 978251 SOS 441354 HAS SOPS 399305 HAS SOUS 317065 HAS SOUPS 278725 WITH SCORE 279166.354
AT ITER 3615 NEW BEST:: SOT 978251 SOS 441261 HAS SOPS 399212 HAS SOUS 316972 HAS SOUPS 278632 WITH SCORE 279073.261
AT ITER 3619 NEW BEST:: SOT 978084 SOS 441276 HAS SOPS 399227 HAS SOUS 316805 HAS SOUPS 278465 WITH SCORE 278906.276
AT ITER 3620 NEW BEST:: SOT 978084 SOS 441259 HAS SOPS 399210 HAS SOUS 316771 HAS SOUPS 278431 WITH SCORE 278872.259
AT ITER 3639 NEW BEST:: SOT 977990 SOS 441016 HAS SOPS 399014 HAS SOUS 316622 HAS SOUPS 278329 WITH SCORE 278770.016
AT ITER 3642 NEW BEST:: SOT 977990 SOS 441016 HAS SOPS 399014 HAS SOUS 316529 HAS SOUPS 278236 WITH SCORE 278677.016
AT ITER 3644 NEW BEST:: SOT 977640 SOS 440839 HAS SOPS 398912 HAS SOUS 316046 HAS SOUPS 278134 WITH SCORE 278574.839
AT ITER 3657 NEW BEST:: SOT 977640 SOS 440742 HAS SOPS 398815 HAS SOUS 315949 HAS SOUPS 278037 WITH SCORE 278477.742
AT ITER 3662 NEW BEST:: SOT 975592 SOS 438693 HAS SOPS 396766 HAS SOUS 315099 HAS SOUPS 277187 WITH SCORE 277625.693
AT ITER 3663 NEW BEST:: SOT 975559 SOS 438404 HAS SOPS 396477 HAS SOUS 314996 HAS SOUPS 277084 WITH SCORE 277522.404
AT ITER 3673 NEW BEST:: SOT 975559 SOS 438420 HAS SOPS 396461 HAS SOUS 315012 HAS SOUPS 277068 WITH SCORE 277506.42
AT ITER 3704 NEW BEST:: SOT 975559 SOS 438332 HAS SOPS 396461 HAS SOUS 314924 HAS SOUPS 277068 WITH SCORE 277506.332
AT ITER 3711 NEW BEST:: SOT 975541 SOS 435515 HAS SOPS 394324 HAS SOUS 314594 HAS SOUPS 276950 WITH SCORE 277385.515
AT ITER 3716 NEW BEST:: SOT 975029 SOS 435196 HAS SOPS 394005 HAS SOUS 314124 HAS SOUPS 276480 WITH SCORE 276915.196
AT ITER 3720 NEW BEST:: SOT 974628 SOS 434842 HAS SOPS 393651 HAS SOUS 313723 HAS SOUPS 276079 WITH SCORE 276513.842
AT ITER 3722 NEW BEST:: SOT 972702 SOS 432833 HAS SOPS 391642 HAS SOUS 313489 HAS SOUPS 275845 WITH SCORE 276277.833
AT ITER 3725 NEW BEST:: SOT 972511 SOS 432718 HAS SOPS 391527 HAS SOUS 313188 HAS SOUPS 275544 WITH SCORE 275976.718
AT ITER 3727 NEW BEST:: SOT 972510 SOS 432716 HAS SOPS 391525 HAS SOUS 313186 HAS SOUPS 275542 WITH SCORE 275974.716
AT ITER 3733 NEW BEST:: SOT 972510 SOS 432258 HAS SOPS 391067 HAS SOUS 313186 HAS SOUPS 275542 WITH SCORE 275974.258
AT ITER 3735 NEW BEST:: SOT 972456 SOS 432204 HAS SOPS 390959 HAS SOUS 313078 HAS SOUPS 275434 WITH SCORE 275866.204
AT ITER 3736 NEW BEST:: SOT 972456 SOS 432248 HAS SOPS 390817 HAS SOUS 313122 HAS SOUPS 275292 WITH SCORE 275724.248
AT ITER 3737 NEW BEST:: SOT 972339 SOS 432389 HAS SOPS 390356 HAS SOUS 313263 HAS SOUPS 274831 WITH SCORE 275263.389
AT ITER 3763 NEW BEST:: SOT 972306 SOS 432356 HAS SOPS 390156 HAS SOUS 313364 HAS SOUPS 274765 WITH SCORE 275197.356
AT ITER 3785 NEW BEST:: SOT 972146 SOS 432116 HAS SOPS 389836 HAS SOUS 313204 HAS SOUPS 274525 WITH SCORE 274957.116
AT ITER 3786 NEW BEST:: SOT 972146 SOS 432068 HAS SOPS 389788 HAS SOUS 313180 HAS SOUPS 274501 WITH SCORE 274933.068
AT ITER 3800 NEW BEST:: SOT 971826 SOS 431748 HAS SOPS 389148 HAS SOUS 312860 HAS SOUPS 273861 WITH SCORE 274292.748
AT ITER 3802 NEW BEST:: SOT 971722 SOS 432083 HAS SOPS 389483 HAS SOUS 312853 HAS SOUPS 273854 WITH SCORE 274286.083
AT ITER 3814 NEW BEST:: SOT 976850 SOS 436829 HAS SOPS 394229 HAS SOUS 312811 HAS SOUPS 273812 WITH SCORE 274248.829
AT ITER 3818 NEW BEST:: SOT 976348 SOS 436327 HAS SOPS 393727 HAS SOUS 312714 HAS SOUPS 273715 WITH SCORE 274151.327
AT ITER 3823 NEW BEST:: SOT 976190 SOS 435932 HAS SOPS 393332 HAS SOUS 312398 HAS SOUPS 273399 WITH SCORE 273834.932
AT ITER 3835 NEW BEST:: SOT 976100 SOS 435842 HAS SOPS 393287 HAS SOUS 312398 HAS SOUPS 273399 WITH SCORE 273834.842
AT ITER 3838 NEW BEST:: SOT 976094 SOS 435649 HAS SOPS 393094 HAS SOUS 312311 HAS SOUPS 273312 WITH SCORE 273747.649
AT ITER 3848 NEW BEST:: SOT 975717 SOS 435272 HAS SOPS 392840 HAS SOUS 311513 HAS SOUPS 272637 WITH SCORE 273072.272
AT ITER 3856 NEW BEST:: SOT 975662 SOS 435216 HAS SOPS 392658 HAS SOUS 311590 HAS SOUPS 272588 WITH SCORE 273023.216
AT ITER 3863 NEW BEST:: SOT 975662 SOS 435216 HAS SOPS 392658 HAS SOUS 311573 HAS SOUPS 272571 WITH SCORE 273006.216
AT ITER 3867 NEW BEST:: SOT 977408 SOS 437071 HAS SOPS 394513 HAS SOUS 311516 HAS SOUPS 272514 WITH SCORE 272951.071
AT ITER 3871 NEW BEST:: SOT 977408 SOS 436895 HAS SOPS 394337 HAS SOUS 311516 HAS SOUPS 272514 WITH SCORE 272950.895
AT ITER 3874 NEW BEST:: SOT 977395 SOS 436882 HAS SOPS 394311 HAS SOUS 311503 HAS SOUPS 272488 WITH SCORE 272924.882
AT ITER 3886 NEW BEST:: SOT 977308 SOS 436693 HAS SOPS 394122 HAS SOUS 311416 HAS SOUPS 272401 WITH SCORE 272837.693
AT ITER 3890 NEW BEST:: SOT 977293 SOS 436693 HAS SOPS 394107 HAS SOUS 311416 HAS SOUPS 272386 WITH SCORE 272822.693
AT ITER 3892 NEW BEST:: SOT 977293 SOS 436693 HAS SOPS 394107 HAS SOUS 311391 HAS SOUPS 272361 WITH SCORE 272797.693
AT ITER 3925 NEW BEST:: SOT 977283 SOS 436683 HAS SOPS 394097 HAS SOUS 311381 HAS SOUPS 272351 WITH SCORE 272787.683
AT ITER 3926 NEW BEST:: SOT 977283 SOS 436605 HAS SOPS 394019 HAS SOUS 311381 HAS SOUPS 272351 WITH SCORE 272787.605
AT ITER 3932 NEW BEST:: SOT 977177 SOS 436642 HAS SOPS 394012 HAS SOUS 311379 HAS SOUPS 272349 WITH SCORE 272785.642
AT ITER 3934 NEW BEST:: SOT 977173 SOS 436622 HAS SOPS 393992 HAS SOUS 311361 HAS SOUPS 272331 WITH SCORE 272767.622
AT ITER 3937 NEW BEST:: SOT 976943 SOS 436118 HAS SOPS 393488 HAS SOUS 311317 HAS SOUPS 272287 WITH SCORE 272723.118
AT ITER 3942 NEW BEST:: SOT 976946 SOS 436009 HAS SOPS 393379 HAS SOUS 311149 HAS SOUPS 272119 WITH SCORE 272555.009
AT ITER 3974 NEW BEST:: SOT 976866 SOS 435929 HAS SOPS 393299 HAS SOUS 310989 HAS SOUPS 271959 WITH SCORE 272394.929
AT ITER 3975 NEW BEST:: SOT 976819 SOS 435517 HAS SOPS 392887 HAS SOUS 310945 HAS SOUPS 271915 WITH SCORE 272350.517
AT ITER 3993 NEW BEST:: SOT 976691 SOS 435133 HAS SOPS 392567 HAS SOUS 310689 HAS SOUPS 271723 WITH SCORE 272158.133
AT ITER 3994 NEW BEST:: SOT 978594 SOS 436834 HAS SOPS 394312 HAS SOUS 310373 HAS SOUPS 271407 WITH SCORE 271843.834
AT ITER 4007 NEW BEST:: SOT 978483 SOS 436817 HAS SOPS 394122 HAS SOUS 310430 HAS SOUPS 271291 WITH SCORE 271727.817
AT ITER 4030 NEW BEST:: SOT 978175 SOS 436201 HAS SOPS 393506 HAS SOUS 310122 HAS SOUPS 270983 WITH SCORE 271419.201
AT ITER 4033 NEW BEST:: SOT 978054 SOS 436080 HAS SOPS 393385 HAS SOUS 310001 HAS SOUPS 270862 WITH SCORE 271298.08
AT ITER 4042 NEW BEST:: SOT 977756 SOS 435842 HAS SOPS 392809 HAS SOUS 309892 HAS SOUPS 270415 WITH SCORE 270850.842
AT ITER 4047 NEW BEST:: SOT 977509 SOS 435771 HAS SOPS 392574 HAS SOUS 309932 HAS SOUPS 270291 WITH SCORE 270726.771
AT ITER 4062 NEW BEST:: SOT 977453 SOS 435753 HAS SOPS 392473 HAS SOUS 309959 HAS SOUPS 270235 WITH SCORE 270670.753
AT ITER 4080 NEW BEST:: SOT 977361 SOS 435752 HAS SOPS 392472 HAS SOUS 309913 HAS SOUPS 270189 WITH SCORE 270624.752
AT ITER 4082 NEW BEST:: SOT 977307 SOS 435698 HAS SOPS 392418 HAS SOUS 309859 HAS SOUPS 270135 WITH SCORE 270570.698
AT ITER 4087 NEW BEST:: SOT 977119 SOS 434959 HAS SOPS 391864 HAS SOUS 309493 HAS SOUPS 269954 WITH SCORE 270388.959
AT ITER 4088 NEW BEST:: SOT 977068 SOS 434902 HAS SOPS 391746 HAS SOUS 309452 HAS SOUPS 269852 WITH SCORE 270286.902
AT ITER 4090 NEW BEST:: SOT 976905 SOS 434796 HAS SOPS 391640 HAS SOUS 309247 HAS SOUPS 269647 WITH SCORE 270081.796
AT ITER 4119 NEW BEST:: SOT 977589 SOS 435480 HAS SOPS 392144 HAS SOUS 309046 HAS SOUPS 269594 WITH SCORE 270029.48
AT ITER 4131 NEW BEST:: SOT 977603 SOS 435476 HAS SOPS 392078 HAS SOUS 309028 HAS SOUPS 269514 WITH SCORE 269949.476
AT ITER 4149 NEW BEST:: SOT 978333 SOS 435839 HAS SOPS 392191 HAS SOUS 309078 HAS SOUPS 269439 WITH SCORE 269874.839
AT ITER 4165 NEW BEST:: SOT 978569 SOS 435922 HAS SOPS 392354 HAS SOUS 308832 HAS SOUPS 269273 WITH SCORE 269708.922
AT ITER 4173 NEW BEST:: SOT 978677 SOS 436103 HAS SOPS 392535 HAS SOUS 308733 HAS SOUPS 269174 WITH SCORE 269610.103
AT ITER 4195 NEW BEST:: SOT 978647 SOS 436058 HAS SOPS 392490 HAS SOUS 308703 HAS SOUPS 269144 WITH SCORE 269580.058
AT ITER 4196 NEW BEST:: SOT 978629 SOS 435565 HAS SOPS 391997 HAS SOUS 308695 HAS SOUPS 269136 WITH SCORE 269571.565
AT ITER 4200 NEW BEST:: SOT 978863 SOS 435901 HAS SOPS 392333 HAS SOUS 308603 HAS SOUPS 269044 WITH SCORE 269479.901
AT ITER 4215 NEW BEST:: SOT 978803 SOS 435841 HAS SOPS 392273 HAS SOUS 308483 HAS SOUPS 268924 WITH SCORE 269359.841
AT ITER 4239 NEW BEST:: SOT 978719 SOS 435757 HAS SOPS 392189 HAS SOUS 308315 HAS SOUPS 268756 WITH SCORE 269191.757
AT ITER 4251 NEW BEST:: SOT 978014 SOS 434841 HAS SOPS 391273 HAS SOUS 307634 HAS SOUPS 268075 WITH SCORE 268509.841
AT ITER 4255 NEW BEST:: SOT 978014 SOS 434793 HAS SOPS 391225 HAS SOUS 307610 HAS SOUPS 268051 WITH SCORE 268485.793
AT ITER 4259 NEW BEST:: SOT 978014 SOS 434457 HAS SOPS 390889 HAS SOUS 307610 HAS SOUPS 268051 WITH SCORE 268485.457
AT ITER 4269 NEW BEST:: SOT 977935 SOS 434378 HAS SOPS 390723 HAS SOUS 307357 HAS SOUPS 267798 WITH SCORE 268232.378
AT ITER 4286 NEW BEST:: SOT 978154 SOS 434389 HAS SOPS 390734 HAS SOUS 307258 HAS SOUPS 267699 WITH SCORE 268133.389
AT ITER 4308 NEW BEST:: SOT 978078 SOS 434216 HAS SOPS 390561 HAS SOUS 307149 HAS SOUPS 267590 WITH SCORE 268024.216
AT ITER 4312 NEW BEST:: SOT 977501 SOS 433845 HAS SOPS 390190 HAS SOUS 306658 HAS SOUPS 267099 WITH SCORE 267532.845
AT ITER 4315 NEW BEST:: SOT 977501 SOS 433845 HAS SOPS 390190 HAS SOUS 306543 HAS SOUPS 266984 WITH SCORE 267417.845
AT ITER 4317 NEW BEST:: SOT 977774 SOS 434031 HAS SOPS 390187 HAS SOUS 306453 HAS SOUPS 266705 WITH SCORE 267139.031
AT ITER 4318 NEW BEST:: SOT 977643 SOS 433771 HAS SOPS 389970 HAS SOUS 306279 HAS SOUPS 266574 WITH SCORE 267007.771
AT ITER 4321 NEW BEST:: SOT 977559 SOS 433441 HAS SOPS 389640 HAS SOUS 306117 HAS SOUPS 266412 WITH SCORE 266845.441
AT ITER 4325 NEW BEST:: SOT 977798 SOS 433680 HAS SOPS 389879 HAS SOUS 306100 HAS SOUPS 266395 WITH SCORE 266828.68
AT ITER 4332 NEW BEST:: SOT 977795 SOS 433674 HAS SOPS 389876 HAS SOUS 306094 HAS SOUPS 266392 WITH SCORE 266825.674
AT ITER 4337 NEW BEST:: SOT 977773 SOS 433352 HAS SOPS 389554 HAS SOUS 305837 HAS SOUPS 266135 WITH SCORE 266568.352
AT ITER 4339 NEW BEST:: SOT 977690 SOS 433269 HAS SOPS 389471 HAS SOUS 305837 HAS SOUPS 266135 WITH SCORE 266568.269
AT ITER 4345 NEW BEST:: SOT 977429 SOS 432834 HAS SOPS 389036 HAS SOUS 305489 HAS SOUPS 265787 WITH SCORE 266219.834
AT ITER 4360 NEW BEST:: SOT 977323 SOS 432728 HAS SOPS 388861 HAS SOUS 305452 HAS SOUPS 265681 WITH SCORE 266113.728
AT ITER 4364 NEW BEST:: SOT 977035 SOS 432928 HAS SOPS 388829 HAS SOUS 305628 HAS SOUPS 265625 WITH SCORE 266057.928
AT ITER 4368 NEW BEST:: SOT 977035 SOS 432849 HAS SOPS 388750 HAS SOUS 305628 HAS SOUPS 265625 WITH SCORE 266057.849
AT ITER 4377 NEW BEST:: SOT 977085 SOS 432899 HAS SOPS 388850 HAS SOUS 305574 HAS SOUPS 265621 WITH SCORE 266053.899
AT ITER 4378 NEW BEST:: SOT 976783 SOS 432203 HAS SOPS 388271 HAS SOUS 305046 HAS SOUPS 265210 WITH SCORE 265642.203
AT ITER 4388 NEW BEST:: SOT 976783 SOS 432024 HAS SOPS 388271 HAS SOUS 304726 HAS SOUPS 265210 WITH SCORE 265642.024
AT ITER 4391 NEW BEST:: SOT 976143 SOS 431299 HAS SOPS 387546 HAS SOUS 304583 HAS SOUPS 265067 WITH SCORE 265498.299
AT ITER 4394 NEW BEST:: SOT 976193 SOS 431297 HAS SOPS 387544 HAS SOUS 304560 HAS SOUPS 265044 WITH SCORE 265475.297
AT ITER 4406 NEW BEST:: SOT 976136 SOS 430962 HAS SOPS 387209 HAS SOUS 304348 HAS SOUPS 264832 WITH SCORE 265262.962
AT ITER 4412 NEW BEST:: SOT 976090 SOS 430916 HAS SOPS 387163 HAS SOUS 304302 HAS SOUPS 264786 WITH SCORE 265216.916
AT ITER 4422 NEW BEST:: SOT 976068 SOS 430883 HAS SOPS 387130 HAS SOUS 304280 HAS SOUPS 264764 WITH SCORE 265194.883
AT ITER 4443 NEW BEST:: SOT 975523 SOS 433538 HAS SOPS 389785 HAS SOUS 304036 HAS SOUPS 264520 WITH SCORE 264953.538
AT ITER 4446 NEW BEST:: SOT 975485 SOS 433433 HAS SOPS 389680 HAS SOUS 303969 HAS SOUPS 264453 WITH SCORE 264886.433
AT ITER 4449 NEW BEST:: SOT 975440 SOS 433539 HAS SOPS 389786 HAS SOUS 303924 HAS SOUPS 264408 WITH SCORE 264841.539
AT ITER 4451 NEW BEST:: SOT 975468 SOS 433490 HAS SOPS 389737 HAS SOUS 303875 HAS SOUPS 264359 WITH SCORE 264792.49
AT ITER 4456 NEW BEST:: SOT 976665 SOS 434600 HAS SOPS 390847 HAS SOUS 303742 HAS SOUPS 264226 WITH SCORE 264660.6
AT ITER 4459 NEW BEST:: SOT 976555 SOS 434490 HAS SOPS 390791 HAS SOUS 303468 HAS SOUPS 264006 WITH SCORE 264440.49
AT ITER 4466 NEW BEST:: SOT 976355 SOS 434390 HAS SOPS 390491 HAS SOUS 303468 HAS SOUPS 263806 WITH SCORE 264240.39
AT ITER 4468 NEW BEST:: SOT 976355 SOS 434224 HAS SOPS 390491 HAS SOUS 303468 HAS SOUPS 263806 WITH SCORE 264240.224
AT ITER 4471 NEW BEST:: SOT 976276 SOS 434049 HAS SOPS 390145 HAS SOUS 303588 HAS SOUPS 263755 WITH SCORE 264189.049
AT ITER 4473 NEW BEST:: SOT 976214 SOS 433956 HAS SOPS 390052 HAS SOUS 303526 HAS SOUPS 263693 WITH SCORE 264126.956
AT ITER 4510 NEW BEST:: SOT 976132 SOS 433797 HAS SOPS 389888 HAS SOUS 303408 HAS SOUPS 263570 WITH SCORE 264003.797
AT ITER 4520 NEW BEST:: SOT 976169 SOS 433224 HAS SOPS 389617 HAS SOUS 302727 HAS SOUPS 263191 WITH SCORE 263624.224
AT ITER 4522 NEW BEST:: SOT 976156 SOS 433198 HAS SOPS 389591 HAS SOUS 302701 HAS SOUPS 263165 WITH SCORE 263598.198
AT ITER 4537 NEW BEST:: SOT 976104 SOS 433415 HAS SOPS 389679 HAS SOUS 302812 HAS SOUPS 263147 WITH SCORE 263580.415
AT ITER 4539 NEW BEST:: SOT 976071 SOS 433410 HAS SOPS 389632 HAS SOUS 302811 HAS SOUPS 263146 WITH SCORE 263579.41
AT ITER 4541 NEW BEST:: SOT 975752 SOS 432743 HAS SOPS 388965 HAS SOUS 302753 HAS SOUPS 263088 WITH SCORE 263520.743
AT ITER 4545 NEW BEST:: SOT 976124 SOS 432640 HAS SOPS 388658 HAS SOUS 302501 HAS SOUPS 262632 WITH SCORE 263064.64
AT ITER 4547 NEW BEST:: SOT 974227 SOS 430743 HAS SOPS 386760 HAS SOUS 302441 HAS SOUPS 262571 WITH SCORE 263001.743
AT ITER 4556 NEW BEST:: SOT 974227 SOS 430368 HAS SOPS 386635 HAS SOUS 302316 HAS SOUPS 262571 WITH SCORE 263001.368
AT ITER 4564 NEW BEST:: SOT 973804 SOS 429924 HAS SOPS 386191 HAS SOUS 302066 HAS SOUPS 262321 WITH SCORE 262750.924
AT ITER 4565 NEW BEST:: SOT 973725 SOS 429687 HAS SOPS 385954 HAS SOUS 301987 HAS SOUPS 262242 WITH SCORE 262671.687
AT ITER 4569 NEW BEST:: SOT 973438 SOS 429194 HAS SOPS 385289 HAS SOUS 301833 HAS SOUPS 262002 WITH SCORE 262431.194
AT ITER 4570 NEW BEST:: SOT 973489 SOS 429187 HAS SOPS 385275 HAS SOUS 301826 HAS SOUPS 261988 WITH SCORE 262417.187
AT ITER 4579 NEW BEST:: SOT 973376 SOS 429073 HAS SOPS 385118 HAS SOUS 301682 HAS SOUPS 261801 WITH SCORE 262230.073
AT ITER 4580 NEW BEST:: SOT 979364 SOS 434718 HAS SOPS 390824 HAS SOUS 301445 HAS SOUPS 261564 WITH SCORE 261998.718
AT ITER 4581 NEW BEST:: SOT 979336 SOS 434466 HAS SOPS 390660 HAS SOUS 301241 HAS SOUPS 261448 WITH SCORE 261882.466
AT ITER 4590 NEW BEST:: SOT 979336 SOS 434636 HAS SOPS 390660 HAS SOUS 301326 HAS SOUPS 261363 WITH SCORE 261797.636
AT ITER 4606 NEW BEST:: SOT 979145 SOS 434158 HAS SOPS 390182 HAS SOUS 300989 HAS SOUPS 261026 WITH SCORE 261460.158
AT ITER 4610 NEW BEST:: SOT 979271 SOS 434318 HAS SOPS 390181 HAS SOUS 301149 HAS SOUPS 261025 WITH SCORE 261459.318
AT ITER 4611 NEW BEST:: SOT 979185 SOS 434312 HAS SOPS 389949 HAS SOUS 301289 HAS SOUPS 260939 WITH SCORE 261373.312
AT ITER 4612 NEW BEST:: SOT 978989 SOS 434250 HAS SOPS 389820 HAS SOUS 301168 HAS SOUPS 260751 WITH SCORE 261185.25
AT ITER 4628 NEW BEST:: SOT 978955 SOS 434114 HAS SOPS 389684 HAS SOUS 301066 HAS SOUPS 260649 WITH SCORE 261083.114
AT ITER 4633 NEW BEST:: SOT 978022 SOS 433136 HAS SOPS 388622 HAS SOUS 300421 HAS SOUPS 260047 WITH SCORE 260480.136
AT ITER 4645 NEW BEST:: SOT 977987 SOS 432822 HAS SOPS 388389 HAS SOUS 300107 HAS SOUPS 259814 WITH SCORE 260246.822
AT ITER 4661 NEW BEST:: SOT 977823 SOS 432631 HAS SOPS 388167 HAS SOUS 299937 HAS SOUPS 259613 WITH SCORE 260045.631
AT ITER 4685 NEW BEST:: SOT 977743 SOS 432431 HAS SOPS 388007 HAS SOUS 299857 HAS SOUPS 259573 WITH SCORE 260005.431
AT ITER 4693 NEW BEST:: SOT 977481 SOS 431926 HAS SOPS 387745 HAS SOUS 299352 HAS SOUPS 259311 WITH SCORE 259742.926
AT ITER 4706 NEW BEST:: SOT 977538 SOS 431983 HAS SOPS 387802 HAS SOUS 299294 HAS SOUPS 259253 WITH SCORE 259684.983
AT ITER 4708 NEW BEST:: SOT 977538 SOS 431936 HAS SOPS 387755 HAS SOUS 299247 HAS SOUPS 259206 WITH SCORE 259637.936
AT ITER 4713 NEW BEST:: SOT 977461 SOS 432550 HAS SOPS 388230 HAS SOUS 299385 HAS SOUPS 259205 WITH SCORE 259637.55
AT ITER 4718 NEW BEST:: SOT 983546 SOS 438437 HAS SOPS 393435 HAS SOUS 299921 HAS SOUPS 259059 WITH SCORE 259497.437
AT ITER 4722 NEW BEST:: SOT 983186 SOS 438327 HAS SOPS 392845 HAS SOUS 300089 HAS SOUPS 258747 WITH SCORE 259185.327
AT ITER 4733 NEW BEST:: SOT 983050 SOS 438270 HAS SOPS 392744 HAS SOUS 300031 HAS SOUPS 258645 WITH SCORE 259083.27
AT ITER 4739 NEW BEST:: SOT 982890 SOS 438098 HAS SOPS 392572 HAS SOUS 299859 HAS SOUPS 258473 WITH SCORE 258911.098
AT ITER 4750 NEW BEST:: SOT 982707 SOS 437444 HAS SOPS 391918 HAS SOUS 299519 HAS SOUPS 258133 WITH SCORE 258570.444
AT ITER 4757 NEW BEST:: SOT 982651 SOS 437388 HAS SOPS 391862 HAS SOUS 299463 HAS SOUPS 258077 WITH SCORE 258514.388
AT ITER 4768 NEW BEST:: SOT 982559 SOS 437484 HAS SOPS 391874 HAS SOUS 299337 HAS SOUPS 257867 WITH SCORE 258304.484
AT ITER 4802 NEW BEST:: SOT 982719 SOS 437646 HAS SOPS 392036 HAS SOUS 299225 HAS SOUPS 257755 WITH SCORE 258192.646
AT ITER 4820 NEW BEST:: SOT 982668 SOS 437595 HAS SOPS 391985 HAS SOUS 299174 HAS SOUPS 257704 WITH SCORE 258141.595
AT ITER 4836 NEW BEST:: SOT 982646 SOS 437123 HAS SOPS 391513 HAS SOUS 299099 HAS SOUPS 257629 WITH SCORE 258066.123
AT ITER 4837 NEW BEST:: SOT 982447 SOS 436754 HAS SOPS 391144 HAS SOUS 298900 HAS SOUPS 257430 WITH SCORE 257866.754
AT ITER 4840 NEW BEST:: SOT 982450 SOS 436672 HAS SOPS 391062 HAS SOUS 298448 HAS SOUPS 256978 WITH SCORE 257414.672
AT ITER 4858 NEW BEST:: SOT 982450 SOS 436983 HAS SOPS 391185 HAS SOUS 298571 HAS SOUPS 256913 WITH SCORE 257349.983
AT ITER 4875 NEW BEST:: SOT 982470 SOS 436943 HAS SOPS 391185 HAS SOUS 298511 HAS SOUPS 256893 WITH SCORE 257329.943
AT ITER 4882 NEW BEST:: SOT 982467 SOS 436940 HAS SOPS 391182 HAS SOUS 298508 HAS SOUPS 256890 WITH SCORE 257326.94
AT ITER 4886 NEW BEST:: SOT 982465 SOS 436938 HAS SOPS 391180 HAS SOUS 298506 HAS SOUPS 256888 WITH SCORE 257324.938
AT ITER 4906 NEW BEST:: SOT 982011 SOS 436030 HAS SOPS 390272 HAS SOUS 298052 HAS SOUPS 256434 WITH SCORE 256870.03
AT ITER 4911 NEW BEST:: SOT 981920 SOS 436126 HAS SOPS 390368 HAS SOUS 297969 HAS SOUPS 256351 WITH SCORE 256787.126
AT ITER 4917 NEW BEST:: SOT 982009 SOS 436104 HAS SOPS 390346 HAS SOUS 297924 HAS SOUPS 256306 WITH SCORE 256742.104
AT ITER 4918 NEW BEST:: SOT 981454 SOS 434586 HAS SOPS 388828 HAS SOUS 297578 HAS SOUPS 255960 WITH SCORE 256394.586
AT ITER 4921 NEW BEST:: SOT 981415 SOS 434547 HAS SOPS 388828 HAS SOUS 297539 HAS SOUPS 255960 WITH SCORE 256394.547
AT ITER 4932 NEW BEST:: SOT 981415 SOS 434546 HAS SOPS 388827 HAS SOUS 297538 HAS SOUPS 255959 WITH SCORE 256393.546
AT ITER 4933 NEW BEST:: SOT 979389 SOS 432520 HAS SOPS 386801 HAS SOUS 297465 HAS SOUPS 255886 WITH SCORE 256318.52
AT ITER 4943 NEW BEST:: SOT 979259 SOS 431889 HAS SOPS 386170 HAS SOUS 296902 HAS SOUPS 255323 WITH SCORE 255754.889
AT ITER 4945 NEW BEST:: SOT 979259 SOS 431285 HAS SOPS 385566 HAS SOUS 296902 HAS SOUPS 255323 WITH SCORE 255754.285
AT ITER 4948 NEW BEST:: SOT 979105 SOS 431144 HAS SOPS 385406 HAS SOUS 296896 HAS SOUPS 255298 WITH SCORE 255729.144
AT ITER 4949 NEW BEST:: SOT 979086 SOS 431106 HAS SOPS 385368 HAS SOUS 296877 HAS SOUPS 255279 WITH SCORE 255710.106
AT ITER 4956 NEW BEST:: SOT 979086 SOS 430920 HAS SOPS 385314 HAS SOUS 296691 HAS SOUPS 255225 WITH SCORE 255655.92
AT ITER 4957 NEW BEST:: SOT 979032 SOS 430866 HAS SOPS 385260 HAS SOUS 296673 HAS SOUPS 255207 WITH SCORE 255637.866
AT ITER 4960 NEW BEST:: SOT 978803 SOS 431293 HAS SOPS 385687 HAS SOUS 296234 HAS SOUPS 254768 WITH SCORE 255199.293
AT ITER 4971 NEW BEST:: SOT 979079 SOS 431502 HAS SOPS 385717 HAS SOUS 296290 HAS SOUPS 254645 WITH SCORE 255076.502
AT ITER 4987 NEW BEST:: SOT 979099 SOS 431105 HAS SOPS 385320 HAS SOUS 296034 HAS SOUPS 254389 WITH SCORE 254820.105
AT ITER 4994 NEW BEST:: SOT 978493 SOS 429839 HAS SOPS 384385 HAS SOUS 295272 HAS SOUPS 253958 WITH SCORE 254387.839
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: Parking-PT-864-CTLCardinality-00 (AG( (EF(( potential( ( 3 ) <= (tk(P699)) ) | potential( (tk(P780)) <= (tk(P95)) ) )))))
PROPERTY: Parking-PT-864-CTLCardinality-01 (! (EG( (EF(potential( ( 2 ) <= (tk(P278)) ))))))
PROPERTY: Parking-PT-864-CTLCardinality-02 (! ( potential( (tk(P164)) <= (tk(P328)) ) & ( (EF(potential( ( 1 ) <= (tk(P487)) ))) | ( potential( (tk(P964)) <= (tk(P455)) ) & ( potential( ( 1 ) <= (tk(P971)) ) | potential( ( 1 ) <= (tk(P541)) ) ) ) ) ))
PROPERTY: Parking-PT-864-CTLCardinality-03 (AF((EX( potential( ( 3 ) <= (tk(P1086)) )))))
PROPERTY: Parking-PT-864-CTLCardinality-04 (! ( (AF(( potential( (tk(P429)) <= (tk(P875)) ) & potential( ( 2 ) <= (tk(P665)) ) ))) | (! (AF(potential( ( 1 ) <= (tk(P466)) )))) ))
PROPERTY: Parking-PT-864-CTLCardinality-05 ( (AG( (AX( potential( (tk(P1151)) <= (tk(P779)) ))))) & (EU( (! potential( ( 3 ) <= (tk(P658)) )),( potential( ( 1 ) <= (tk(P553)) ) | potential( ( 2 ) <= (tk(P898)) ) ) )) )
PROPERTY: Parking-PT-864-CTLCardinality-06 (EG( (EU( potential( (tk(P501)) <= (tk(P606)) ),potential( (tk(P168)) <= (tk(P942)) ) ))))
PROPERTY: Parking-PT-864-CTLCardinality-07 (AU( potential( (tk(P1000)) <= (tk(P996)) ),( (! potential( (tk(P583)) <= (tk(P741)) )) & (! potential( (tk(P1180)) <= (tk(P1055)) )) ) ))
PROPERTY: Parking-PT-864-CTLCardinality-08 (EF((EG( ( potential( ( 2 ) <= (tk(P357)) ) | potential( ( 1 ) <= (tk(P1184)) ) )))))
PROPERTY: Parking-PT-864-CTLCardinality-09 (AF((AF(( potential( ( 3 ) <= (tk(P754)) ) & potential( ( 1 ) <= (tk(P145)) ) )))))
PROPERTY: Parking-PT-864-CTLCardinality-10 (AU( (! ( potential( ( 3 ) <= (tk(P640)) ) & potential( ( 2 ) <= (tk(P90)) ) )),(EG( potential( (tk(P1173)) <= (tk(P475)) ))) ))
PROPERTY: Parking-PT-864-CTLCardinality-11 (EU( ( potential( (tk(P1148)) <= (tk(P475)) ) & ( potential( (tk(P909)) <= (tk(P685)) ) | potential( ( 2 ) <= (tk(P680)) ) ) ),(AG( potential( ( 2 ) <= (tk(P601)) ))) ))
PROPERTY: Parking-PT-864-CTLCardinality-12 (AG( potential( (tk(P1142)) <= (tk(P265)) )))
PROPERTY: Parking-PT-864-CTLCardinality-13 (EF(( ( ( potential( ( 3 ) <= (tk(P1169)) ) | potential( ( 2 ) <= (tk(P566)) ) ) | ( potential( ( 2 ) <= (tk(P253)) ) & potential( (tk(P156)) <= (tk(P528)) ) ) ) | potential( ( 1 ) <= (tk(P1169)) ) )))
PROPERTY: Parking-PT-864-CTLCardinality-14 (AF(( (! ( potential( (tk(P769)) <= (tk(P984)) ) & potential( (tk(P1008)) <= (tk(P709)) ) )) & (EX( potential( (tk(P790)) <= (tk(P611)) ))) )))
PROPERTY: Parking-PT-864-CTLCardinality-15 (EU( (EX( potential( (tk(P698)) <= (tk(P408)) ))),(AF(potential( ( 1 ) <= (tk(P491)) ))) ))

BK_STOP 1589648625319

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

terminate called after throwing an instance of 'St9bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 471 Aborted ${SMART} ${INPUT_SM}

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="Parking-PT-864"
export BK_EXAMINATION="CTLCardinality"
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 Parking-PT-864, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r108-csrt-158961250700555"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/Parking-PT-864.tgz
mv Parking-PT-864 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;