About the Execution of Smart for ViralEpidemic-PT-S02D1C1A10
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
5188.903 | 3600000.00 | 3600140.00 | 50.00 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r483-tall-167912696801248.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is ViralEpidemic-PT-S02D1C1A10, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r483-tall-167912696801248
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 9.3M
-rw-r--r-- 1 mcc users 11K Feb 25 20:49 CTLCardinality.txt
-rw-r--r-- 1 mcc users 96K Feb 25 20:49 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.7K Feb 25 20:34 CTLFireability.txt
-rw-r--r-- 1 mcc users 48K Feb 25 20:34 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.7K Feb 25 17:26 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 17:26 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Feb 25 17:26 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 17:26 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 25 21:05 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 118K Feb 25 21:05 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.7K Feb 25 20:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 46K Feb 25 20:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Feb 25 17:26 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Feb 25 17:26 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 11 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 8.8M Mar 5 18:23 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1679194883671
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=ViralEpidemic-PT-S02D1C1A10
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ViralEpidemic (PT), instance S02D1C1A10
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart
Filename model.pnml
Petri model created: 8189 places, 10235 transitions, 22517 arcs.
AT ITER 0 NEW BEST:: SOT 52392964 SOS 14691318 HAS SOPS 14691318 HAS SOUS 9100961 HAS SOUPS 9100961 WITH SCORE 9115652.318
AT ITER 9 NEW BEST:: SOT 52390278 SOS 14687288 HAS SOPS 14687288 HAS SOUS 9100958 HAS SOUPS 9100958 WITH SCORE 9115645.288
AT ITER 28 NEW BEST:: SOT 52387452 SOS 14684253 HAS SOPS 14684253 HAS SOUS 9100845 HAS SOUPS 9100845 WITH SCORE 9115529.253
AT ITER 36 NEW BEST:: SOT 52385394 SOS 14681166 HAS SOPS 14681166 HAS SOUS 9100845 HAS SOUPS 9100845 WITH SCORE 9115526.166
AT ITER 42 NEW BEST:: SOT 52383587 SOS 14678883 HAS SOPS 14678883 HAS SOUS 9100443 HAS SOUPS 9100443 WITH SCORE 9115121.883
AT ITER 81 NEW BEST:: SOT 52381107 SOS 14675163 HAS SOPS 14675163 HAS SOUS 9100443 HAS SOUPS 9100443 WITH SCORE 9115118.163
AT ITER 111 NEW BEST:: SOT 52378835 SOS 14672306 HAS SOPS 14672306 HAS SOUS 9099856 HAS SOUPS 9099856 WITH SCORE 9114528.306
AT ITER 118 NEW BEST:: SOT 52376491 SOS 14668789 HAS SOPS 14668789 HAS SOUS 9099853 HAS SOUPS 9099853 WITH SCORE 9114521.789
AT ITER 150 NEW BEST:: SOT 52372503 SOS 14662806 HAS SOPS 14662806 HAS SOUS 9099850 HAS SOUPS 9099850 WITH SCORE 9114512.806
AT ITER 170 NEW BEST:: SOT 52371107 SOS 14661343 HAS SOPS 14661343 HAS SOUS 9099838 HAS SOUPS 9099838 WITH SCORE 9114499.343
AT ITER 186 NEW BEST:: SOT 52368826 SOS 14658494 HAS SOPS 14658494 HAS SOUS 9099268 HAS SOUPS 9099268 WITH SCORE 9113926.494
AT ITER 218 NEW BEST:: SOT 52367492 SOS 14656853 HAS SOPS 14656853 HAS SOUS 9098959 HAS SOUPS 9098959 WITH SCORE 9113615.853
AT ITER 222 NEW BEST:: SOT 52365316 SOS 14654156 HAS SOPS 14654156 HAS SOUS 9098436 HAS SOUPS 9098436 WITH SCORE 9113090.156
AT ITER 227 NEW BEST:: SOT 52363068 SOS 14650783 HAS SOPS 14650783 HAS SOUS 9098433 HAS SOUPS 9098433 WITH SCORE 9113083.783
AT ITER 231 NEW BEST:: SOT 52360876 SOS 14647495 HAS SOPS 14647495 HAS SOUS 9098433 HAS SOUPS 9098433 WITH SCORE 9113080.495
AT ITER 232 NEW BEST:: SOT 52359774 SOS 14646077 HAS SOPS 14646077 HAS SOUS 9098117 HAS SOUPS 9098117 WITH SCORE 9112763.077
AT ITER 244 NEW BEST:: SOT 52356555 SOS 14642142 HAS SOPS 14642142 HAS SOUS 9097403 HAS SOUPS 9097403 WITH SCORE 9112045.142
AT ITER 252 NEW BEST:: SOT 52353415 SOS 14638248 HAS SOPS 14638248 HAS SOUS 9096649 HAS SOUPS 9096649 WITH SCORE 9111287.248
AT ITER 258 NEW BEST:: SOT 52351957 SOS 14636304 HAS SOPS 14636304 HAS SOUS 9096163 HAS SOUPS 9096163 WITH SCORE 9110799.304
AT ITER 261 NEW BEST:: SOT 52350585 SOS 14634245 HAS SOPS 14634245 HAS SOUS 9096160 HAS SOUPS 9096160 WITH SCORE 9110794.245
AT ITER 303 NEW BEST:: SOT 52347943 SOS 14630281 HAS SOPS 14630281 HAS SOUS 9096157 HAS SOUPS 9096157 WITH SCORE 9110787.281
AT ITER 304 NEW BEST:: SOT 52347199 SOS 14629165 HAS SOPS 14629165 HAS SOUS 9096157 HAS SOUPS 9096157 WITH SCORE 9110786.165
AT ITER 315 NEW BEST:: SOT 52346293 SOS 14628120 HAS SOPS 14628120 HAS SOUS 9096114 HAS SOUPS 9096114 WITH SCORE 9110742.12
AT ITER 321 NEW BEST:: SOT 52343303 SOS 14623634 HAS SOPS 14623634 HAS SOUS 9096111 HAS SOUPS 9096111 WITH SCORE 9110734.634
AT ITER 322 NEW BEST:: SOT 52343036 SOS 14623278 HAS SOPS 14623278 HAS SOUS 9096022 HAS SOUPS 9096022 WITH SCORE 9110645.278
AT ITER 327 NEW BEST:: SOT 52342078 SOS 14622078 HAS SOPS 14622078 HAS SOUS 9095780 HAS SOUPS 9095780 WITH SCORE 9110402.078
AT ITER 329 NEW BEST:: SOT 52338092 SOS 14617244 HAS SOPS 14617244 HAS SOUS 9094966 HAS SOUPS 9094966 WITH SCORE 9109583.244
AT ITER 335 NEW BEST:: SOT 52334632 SOS 14612053 HAS SOPS 14612053 HAS SOUS 9094963 HAS SOUPS 9094963 WITH SCORE 9109575.053
AT ITER 371 NEW BEST:: SOT 52330834 SOS 14606356 HAS SOPS 14606356 HAS SOUS 9094963 HAS SOUPS 9094963 WITH SCORE 9109569.356
AT ITER 381 NEW BEST:: SOT 52329406 SOS 14604213 HAS SOPS 14604213 HAS SOUS 9094960 HAS SOUPS 9094960 WITH SCORE 9109564.213
AT ITER 405 NEW BEST:: SOT 52326449 SOS 14600767 HAS SOPS 14600767 HAS SOUS 9094509 HAS SOUPS 9094509 WITH SCORE 9109109.767
AT ITER 431 NEW BEST:: SOT 52325651 SOS 14599703 HAS SOPS 14599703 HAS SOUS 9094243 HAS SOUPS 9094243 WITH SCORE 9108842.703
AT ITER 435 NEW BEST:: SOT 52323651 SOS 14596702 HAS SOPS 14596702 HAS SOUS 9094240 HAS SOUPS 9094240 WITH SCORE 9108836.702
AT ITER 447 NEW BEST:: SOT 52321171 SOS 14592981 HAS SOPS 14592981 HAS SOUS 9094237 HAS SOUPS 9094237 WITH SCORE 9108829.981
AT ITER 449 NEW BEST:: SOT 52318435 SOS 14588876 HAS SOPS 14588876 HAS SOUS 9094234 HAS SOUPS 9094234 WITH SCORE 9108822.876
AT ITER 454 NEW BEST:: SOT 52316798 SOS 14586718 HAS SOPS 14586718 HAS SOUS 9093713 HAS SOUPS 9093713 WITH SCORE 9108299.718
AT ITER 464 NEW BEST:: SOT 52313768 SOS 14582957 HAS SOPS 14582957 HAS SOUS 9092980 HAS SOUPS 9092980 WITH SCORE 9107562.957
AT ITER 502 NEW BEST:: SOT 52312012 SOS 14580323 HAS SOPS 14580323 HAS SOUS 9092980 HAS SOUPS 9092980 WITH SCORE 9107560.323
AT ITER 508 NEW BEST:: SOT 52309318 SOS 14576731 HAS SOPS 14576731 HAS SOUS 9092082 HAS SOUPS 9092082 WITH SCORE 9106658.731
AT ITER 510 NEW BEST:: SOT 52306647 SOS 14573426 HAS SOPS 14573426 HAS SOUS 9091600 HAS SOUPS 9091600 WITH SCORE 9106173.426
AT ITER 514 NEW BEST:: SOT 52304971 SOS 14570911 HAS SOPS 14570911 HAS SOUS 9091597 HAS SOUPS 9091597 WITH SCORE 9106167.911
AT ITER 528 NEW BEST:: SOT 52304710 SOS 14570562 HAS SOPS 14570562 HAS SOUS 9091507 HAS SOUPS 9091507 WITH SCORE 9106077.562
AT ITER 530 NEW BEST:: SOT 52303153 SOS 14568486 HAS SOPS 14568486 HAS SOUS 9090988 HAS SOUPS 9090988 WITH SCORE 9105556.486
AT ITER 534 NEW BEST:: SOT 52303153 SOS 14568485 HAS SOPS 14568485 HAS SOUS 9090985 HAS SOUPS 9090985 WITH SCORE 9105553.485
AT ITER 535 NEW BEST:: SOT 52300858 SOS 14565425 HAS SOPS 14565425 HAS SOUS 9090220 HAS SOUPS 9090220 WITH SCORE 9104785.425
AT ITER 566 NEW BEST:: SOT 52300110 SOS 14564302 HAS SOPS 14564302 HAS SOUS 9090217 HAS SOUPS 9090217 WITH SCORE 9104781.302
AT ITER 575 NEW BEST:: SOT 52297915 SOS 14561565 HAS SOPS 14561565 HAS SOUS 9089673 HAS SOUPS 9089673 WITH SCORE 9104234.565
AT ITER 594 NEW BEST:: SOT 52294475 SOS 14557253 HAS SOPS 14557253 HAS SOUS 9088801 HAS SOUPS 9088801 WITH SCORE 9103358.253
AT ITER 624 NEW BEST:: SOT 52293023 SOS 14555075 HAS SOPS 14555075 HAS SOUS 9088801 HAS SOUPS 9088801 WITH SCORE 9103356.075
AT ITER 627 NEW BEST:: SOT 52291512 SOS 14553942 HAS SOPS 14553942 HAS SOUS 9088665 HAS SOUPS 9088665 WITH SCORE 9103218.942
AT ITER 637 NEW BEST:: SOT 52290562 SOS 14552516 HAS SOPS 14552516 HAS SOUS 9088662 HAS SOUPS 9088662 WITH SCORE 9103214.516
AT ITER 650 NEW BEST:: SOT 52286768 SOS 14546824 HAS SOPS 14546824 HAS SOUS 9088659 HAS SOUPS 9088659 WITH SCORE 9103205.824
AT ITER 662 NEW BEST:: SOT 52284331 SOS 14543781 HAS SOPS 14543781 HAS SOUS 9088051 HAS SOUPS 9088051 WITH SCORE 9102594.781
AT ITER 677 NEW BEST:: SOT 52283717 SOS 14542859 HAS SOPS 14542859 HAS SOUS 9088048 HAS SOUPS 9088048 WITH SCORE 9102590.859
AT ITER 678 NEW BEST:: SOT 52281758 SOS 14540433 HAS SOPS 14540433 HAS SOUS 9087692 HAS SOUPS 9087692 WITH SCORE 9102232.433
AT ITER 738 NEW BEST:: SOT 52279925 SOS 14537988 HAS SOPS 14537988 HAS SOUS 9087078 HAS SOUPS 9087078 WITH SCORE 9101615.988
AT ITER 793 NEW BEST:: SOT 52278599 SOS 14536219 HAS SOPS 14536219 HAS SOUS 9086633 HAS SOUPS 9086633 WITH SCORE 9101169.219
AT ITER 796 NEW BEST:: SOT 52277420 SOS 14534647 HAS SOPS 14534647 HAS SOUS 9086240 HAS SOUPS 9086240 WITH SCORE 9100774.647
AT ITER 823 NEW BEST:: SOT 52276196 SOS 14533208 HAS SOPS 14533208 HAS SOUS 9086139 HAS SOUPS 9086139 WITH SCORE 9100672.208
AT ITER 841 NEW BEST:: SOT 52274474 SOS 14530918 HAS SOPS 14530918 HAS SOUS 9085574 HAS SOUPS 9085574 WITH SCORE 9100104.918
AT ITER 847 NEW BEST:: SOT 52273682 SOS 14529729 HAS SOPS 14529729 HAS SOUS 9085571 HAS SOUPS 9085571 WITH SCORE 9100100.729
AT ITER 860 NEW BEST:: SOT 52272450 SOS 14527880 HAS SOPS 14527880 HAS SOUS 9085568 HAS SOUPS 9085568 WITH SCORE 9100095.88
AT ITER 868 NEW BEST:: SOT 52269231 SOS 14523837 HAS SOPS 14523837 HAS SOUS 9084742 HAS SOUPS 9084742 WITH SCORE 9099265.837
AT ITER 878 NEW BEST:: SOT 52266509 SOS 14519754 HAS SOPS 14519754 HAS SOUS 9084742 HAS SOUPS 9084742 WITH SCORE 9099261.754
AT ITER 904 NEW BEST:: SOT 52265780 SOS 14518842 HAS SOPS 14518842 HAS SOUS 9084559 HAS SOUPS 9084559 WITH SCORE 9099077.842
AT ITER 906 NEW BEST:: SOT 52264440 SOS 14516832 HAS SOPS 14516832 HAS SOUS 9084559 HAS SOUPS 9084559 WITH SCORE 9099075.832
AT ITER 908 NEW BEST:: SOT 52261916 SOS 14513640 HAS SOPS 14513640 HAS SOUS 9083891 HAS SOUPS 9083891 WITH SCORE 9098404.64
AT ITER 921 NEW BEST:: SOT 52259573 SOS 14510588 HAS SOPS 14510588 HAS SOUS 9083646 HAS SOUPS 9083646 WITH SCORE 9098156.588
AT ITER 942 NEW BEST:: SOT 52257611 SOS 14507972 HAS SOPS 14507972 HAS SOUS 9082992 HAS SOUPS 9082992 WITH SCORE 9097499.972
AT ITER 963 NEW BEST:: SOT 52254989 SOS 14504039 HAS SOPS 14504039 HAS SOUS 9082992 HAS SOUPS 9082992 WITH SCORE 9097496.039
AT ITER 988 NEW BEST:: SOT 52251755 SOS 14500608 HAS SOPS 14500608 HAS SOUS 9082928 HAS SOUPS 9082928 WITH SCORE 9097428.608
AT ITER 1004 NEW BEST:: SOT 52248991 SOS 14496462 HAS SOPS 14496462 HAS SOUS 9082928 HAS SOUPS 9082928 WITH SCORE 9097424.462
AT ITER 1048 NEW BEST:: SOT 52246271 SOS 14492381 HAS SOPS 14492381 HAS SOUS 9082925 HAS SOUPS 9082925 WITH SCORE 9097417.381
AT ITER 1094 NEW BEST:: SOT 52245164 SOS 14490905 HAS SOPS 14490905 HAS SOUS 9082556 HAS SOUPS 9082556 WITH SCORE 9097046.905
AT ITER 1106 NEW BEST:: SOT 52243059 SOS 14488264 HAS SOPS 14488264 HAS SOUS 9082018 HAS SOUPS 9082018 WITH SCORE 9096506.264
AT ITER 1124 NEW BEST:: SOT 52241963 SOS 14486620 HAS SOPS 14486620 HAS SOUS 9082018 HAS SOUPS 9082018 WITH SCORE 9096504.62
AT ITER 1126 NEW BEST:: SOT 52239556 SOS 14483555 HAS SOPS 14483555 HAS SOUS 9081358 HAS SOUPS 9081358 WITH SCORE 9095841.555
AT ITER 1148 NEW BEST:: SOT 52237562 SOS 14480563 HAS SOPS 14480563 HAS SOUS 9081355 HAS SOUPS 9081355 WITH SCORE 9095835.563
AT ITER 1166 NEW BEST:: SOT 52236314 SOS 14478067 HAS SOPS 14478067 HAS SOUS 9079483 HAS SOUPS 9079483 WITH SCORE 9093961.067
AT ITER 1176 NEW BEST:: SOT 52234148 SOS 14475179 HAS SOPS 14475179 HAS SOUS 9078761 HAS SOUPS 9078761 WITH SCORE 9093236.179
AT ITER 1177 NEW BEST:: SOT 52232552 SOS 14473051 HAS SOPS 14473051 HAS SOUS 9078229 HAS SOUPS 9078229 WITH SCORE 9092702.051
AT ITER 1213 NEW BEST:: SOT 52230922 SOS 14470605 HAS SOPS 14470605 HAS SOUS 9078226 HAS SOUPS 9078226 WITH SCORE 9092696.605
AT ITER 1215 NEW BEST:: SOT 52228112 SOS 14467779 HAS SOPS 14467779 HAS SOUS 9078210 HAS SOUPS 9078210 WITH SCORE 9092677.779
AT ITER 1219 NEW BEST:: SOT 52225080 SOS 14463231 HAS SOPS 14463231 HAS SOUS 9078210 HAS SOUPS 9078210 WITH SCORE 9092673.231
AT ITER 1228 NEW BEST:: SOT 52223806 SOS 14461666 HAS SOPS 14461666 HAS SOUS 9077917 HAS SOUPS 9077917 WITH SCORE 9092378.666
AT ITER 1244 NEW BEST:: SOT 52222608 SOS 14459869 HAS SOPS 14459869 HAS SOUS 9077917 HAS SOUPS 9077917 WITH SCORE 9092376.869
AT ITER 1247 NEW BEST:: SOT 52222176 SOS 14459293 HAS SOPS 14459293 HAS SOUS 9077773 HAS SOUPS 9077773 WITH SCORE 9092232.293
AT ITER 1257 NEW BEST:: SOT 52219632 SOS 14455477 HAS SOPS 14455477 HAS SOUS 9077773 HAS SOUPS 9077773 WITH SCORE 9092228.477
AT ITER 1268 NEW BEST:: SOT 52217720 SOS 14453126 HAS SOPS 14453126 HAS SOUS 9077339 HAS SOUPS 9077339 WITH SCORE 9091792.126
AT ITER 1303 NEW BEST:: SOT 52215761 SOS 14450514 HAS SOPS 14450514 HAS SOUS 9076686 HAS SOUPS 9076686 WITH SCORE 9091136.514
AT ITER 1312 NEW BEST:: SOT 52214877 SOS 14449187 HAS SOPS 14449187 HAS SOUS 9076683 HAS SOUPS 9076683 WITH SCORE 9091132.187
AT ITER 1330 NEW BEST:: SOT 52213671 SOS 14447377 HAS SOPS 14447377 HAS SOUS 9076680 HAS SOUPS 9076680 WITH SCORE 9091127.377
AT ITER 1343 NEW BEST:: SOT 52211658 SOS 14445096 HAS SOPS 14445096 HAS SOUS 9076652 HAS SOUPS 9076652 WITH SCORE 9091097.096
AT ITER 1387 NEW BEST:: SOT 52209852 SOS 14442387 HAS SOPS 14442387 HAS SOUS 9076652 HAS SOUPS 9076652 WITH SCORE 9091094.387
AT ITER 1396 NEW BEST:: SOT 52207130 SOS 14438138 HAS SOPS 14438138 HAS SOUS 9075846 HAS SOUPS 9075846 WITH SCORE 9090284.138
AT ITER 1398 NEW BEST:: SOT 52204434 SOS 14434765 HAS SOPS 14434765 HAS SOUS 9075167 HAS SOUPS 9075167 WITH SCORE 9089601.765
AT ITER 1411 NEW BEST:: SOT 52203006 SOS 14432623 HAS SOPS 14432623 HAS SOUS 9075167 HAS SOUPS 9075167 WITH SCORE 9089599.623
AT ITER 1433 NEW BEST:: SOT 52199466 SOS 14426688 HAS SOPS 14426688 HAS SOUS 9072794 HAS SOUPS 9072794 WITH SCORE 9087220.688
AT ITER 1438 NEW BEST:: SOT 52197716 SOS 14424853 HAS SOPS 14424853 HAS SOUS 9072789 HAS SOUPS 9072789 WITH SCORE 9087213.853
AT ITER 1440 NEW BEST:: SOT 52196822 SOS 14423958 HAS SOPS 14423958 HAS SOUS 9072787 HAS SOUPS 9072787 WITH SCORE 9087210.958
AT ITER 1477 NEW BEST:: SOT 52194898 SOS 14421071 HAS SOPS 14421071 HAS SOUS 9072784 HAS SOUPS 9072784 WITH SCORE 9087205.071
AT ITER 1498 NEW BEST:: SOT 52191590 SOS 14416109 HAS SOPS 14416109 HAS SOUS 9072784 HAS SOUPS 9072784 WITH SCORE 9087200.109
AT ITER 1500 NEW BEST:: SOT 52191149 SOS 14415639 HAS SOPS 14415639 HAS SOUS 9072773 HAS SOUPS 9072773 WITH SCORE 9087188.639
AT ITER 1502 NEW BEST:: SOT 52189583 SOS 14413289 HAS SOPS 14413289 HAS SOUS 9072770 HAS SOUPS 9072770 WITH SCORE 9087183.289
AT ITER 1513 NEW BEST:: SOT 52188145 SOS 14411132 HAS SOPS 14411132 HAS SOUS 9072770 HAS SOUPS 9072770 WITH SCORE 9087181.132
AT ITER 1514 NEW BEST:: SOT 52186839 SOS 14409172 HAS SOPS 14409172 HAS SOUS 9072767 HAS SOUPS 9072767 WITH SCORE 9087176.172
AT ITER 1531 NEW BEST:: SOT 52184179 SOS 14406105 HAS SOPS 14406105 HAS SOUS 9072646 HAS SOUPS 9072646 WITH SCORE 9087052.105
AT ITER 1549 NEW BEST:: SOT 52181805 SOS 14402544 HAS SOPS 14402544 HAS SOUS 9072646 HAS SOUPS 9072646 WITH SCORE 9087048.544
AT ITER 1568 NEW BEST:: SOT 52179631 SOS 14399282 HAS SOPS 14399282 HAS SOUS 9072643 HAS SOUPS 9072643 WITH SCORE 9087042.282
AT ITER 1599 NEW BEST:: SOT 52176087 SOS 14394879 HAS SOPS 14394879 HAS SOUS 9071782 HAS SOUPS 9071782 WITH SCORE 9086176.879
AT ITER 1601 NEW BEST:: SOT 52176087 SOS 14394878 HAS SOPS 14394878 HAS SOUS 9071779 HAS SOUPS 9071779 WITH SCORE 9086173.878
AT ITER 1611 NEW BEST:: SOT 52175477 SOS 14394133 HAS SOPS 14394133 HAS SOUS 9071642 HAS SOUPS 9071642 WITH SCORE 9086036.133
AT ITER 1612 NEW BEST:: SOT 52173149 SOS 14390641 HAS SOPS 14390641 HAS SOUS 9071642 HAS SOUPS 9071642 WITH SCORE 9086032.641
AT ITER 1619 NEW BEST:: SOT 52170147 SOS 14387211 HAS SOPS 14387211 HAS SOUS 9071271 HAS SOUPS 9071271 WITH SCORE 9085658.211
AT ITER 1643 NEW BEST:: SOT 52167512 SOS 14383937 HAS SOPS 14383937 HAS SOUS 9070775 HAS SOUPS 9070775 WITH SCORE 9085158.937
AT ITER 1652 NEW BEST:: SOT 52164847 SOS 14380654 HAS SOPS 14380654 HAS SOUS 9070155 HAS SOUPS 9070155 WITH SCORE 9084535.654
AT ITER 1699 NEW BEST:: SOT 52163653 SOS 14378862 HAS SOPS 14378862 HAS SOUS 9070152 HAS SOUPS 9070152 WITH SCORE 9084530.862
AT ITER 1714 NEW BEST:: SOT 52162473 SOS 14377092 HAS SOPS 14377092 HAS SOUS 9070152 HAS SOUPS 9070152 WITH SCORE 9084529.092
AT ITER 1733 NEW BEST:: SOT 52160805 SOS 14374589 HAS SOPS 14374589 HAS SOUS 9070149 HAS SOUPS 9070149 WITH SCORE 9084523.589
AT ITER 1753 NEW BEST:: SOT 52159977 SOS 14373347 HAS SOPS 14373347 HAS SOUS 9070149 HAS SOUPS 9070149 WITH SCORE 9084522.347
AT ITER 1755 NEW BEST:: SOT 52158335 SOS 14370883 HAS SOPS 14370883 HAS SOUS 9070146 HAS SOUPS 9070146 WITH SCORE 9084516.883
AT ITER 1783 NEW BEST:: SOT 52157505 SOS 14369638 HAS SOPS 14369638 HAS SOUS 9070146 HAS SOUPS 9070146 WITH SCORE 9084515.638
AT ITER 1790 NEW BEST:: SOT 52154809 SOS 14366596 HAS SOPS 14366596 HAS SOUS 9069852 HAS SOUPS 9069852 WITH SCORE 9084218.596
AT ITER 1812 NEW BEST:: SOT 52151370 SOS 14360860 HAS SOPS 14360860 HAS SOUS 9067667 HAS SOUPS 9067667 WITH SCORE 9082027.86
AT ITER 1828 NEW BEST:: SOT 52149671 SOS 14359388 HAS SOPS 14359388 HAS SOUS 9067667 HAS SOUPS 9067667 WITH SCORE 9082026.388
AT ITER 1829 NEW BEST:: SOT 52148881 SOS 14358202 HAS SOPS 14358202 HAS SOUS 9067664 HAS SOUPS 9067664 WITH SCORE 9082022.202
AT ITER 1845 NEW BEST:: SOT 52148592 SOS 14357624 HAS SOPS 14357624 HAS SOUS 9067375 HAS SOUPS 9067375 WITH SCORE 9081732.624
AT ITER 1883 NEW BEST:: SOT 52147702 SOS 14356289 HAS SOPS 14356289 HAS SOUS 9067375 HAS SOUPS 9067375 WITH SCORE 9081731.289
AT ITER 1885 NEW BEST:: SOT 52144628 SOS 14351678 HAS SOPS 14351678 HAS SOUS 9067375 HAS SOUPS 9067375 WITH SCORE 9081726.678
AT ITER 1909 NEW BEST:: SOT 52144410 SOS 14351242 HAS SOPS 14351242 HAS SOUS 9067157 HAS SOUPS 9067157 WITH SCORE 9081508.242
AT ITER 1915 NEW BEST:: SOT 52142777 SOS 14349087 HAS SOPS 14349087 HAS SOUS 9066633 HAS SOUPS 9066633 WITH SCORE 9080982.087
AT ITER 1930 NEW BEST:: SOT 52139775 SOS 14344584 HAS SOPS 14344584 HAS SOUS 9066633 HAS SOUPS 9066633 WITH SCORE 9080977.584
AT ITER 1950 NEW BEST:: SOT 52137797 SOS 14341617 HAS SOPS 14341617 HAS SOUS 9066633 HAS SOUPS 9066633 WITH SCORE 9080974.617
AT ITER 1951 NEW BEST:: SOT 52135891 SOS 14338757 HAS SOPS 14338757 HAS SOUS 9066630 HAS SOUPS 9066630 WITH SCORE 9080968.757
AT ITER 1972 NEW BEST:: SOT 52133503 SOS 14335729 HAS SOPS 14335729 HAS SOUS 9065990 HAS SOUPS 9065990 WITH SCORE 9080325.729
AT ITER 1982 NEW BEST:: SOT 52131325 SOS 14332462 HAS SOPS 14332462 HAS SOUS 9065990 HAS SOUPS 9065990 WITH SCORE 9080322.462
AT ITER 1992 NEW BEST:: SOT 52130619 SOS 14331402 HAS SOPS 14331402 HAS SOUS 9065987 HAS SOUPS 9065987 WITH SCORE 9080318.402
AT ITER 2032 NEW BEST:: SOT 52129857 SOS 14330386 HAS SOPS 14330386 HAS SOUS 9065733 HAS SOUPS 9065733 WITH SCORE 9080063.386
AT ITER 2050 NEW BEST:: SOT 52127503 SOS 14327012 HAS SOPS 14327012 HAS SOUS 9063223 HAS SOUPS 9063223 WITH SCORE 9077550.012
AT ITER 2128 NEW BEST:: SOT 52124783 SOS 14322932 HAS SOPS 14322932 HAS SOUS 9063223 HAS SOUPS 9063223 WITH SCORE 9077545.932
AT ITER 2147 NEW BEST:: SOT 52123726 SOS 14321552 HAS SOPS 14321552 HAS SOUS 9062917 HAS SOUPS 9062917 WITH SCORE 9077238.552
AT ITER 2164 NEW BEST:: SOT 52120914 SOS 14318086 HAS SOPS 14318086 HAS SOUS 9062263 HAS SOUPS 9062263 WITH SCORE 9076581.086
AT ITER 2173 NEW BEST:: SOT 52120491 SOS 14317521 HAS SOPS 14317521 HAS SOUS 9062119 HAS SOUPS 9062119 WITH SCORE 9076436.521
AT ITER 2184 NEW BEST:: SOT 52119972 SOS 14316828 HAS SOPS 14316828 HAS SOUS 9061943 HAS SOUPS 9061943 WITH SCORE 9076259.828
AT ITER 2207 NEW BEST:: SOT 52119761 SOS 14316406 HAS SOPS 14316406 HAS SOUS 9061627 HAS SOUPS 9061627 WITH SCORE 9075943.406
AT ITER 2218 NEW BEST:: SOT 52118488 SOS 14314805 HAS SOPS 14314805 HAS SOUS 9061297 HAS SOUPS 9061297 WITH SCORE 9075611.805
AT ITER 2224 NEW BEST:: SOT 52117846 SOS 14313949 HAS SOPS 14313949 HAS SOUS 9061083 HAS SOUPS 9061083 WITH SCORE 9075396.949
AT ITER 2229 NEW BEST:: SOT 52115372 SOS 14310237 HAS SOPS 14310237 HAS SOUS 9061080 HAS SOUPS 9061080 WITH SCORE 9075390.237
AT ITER 2233 NEW BEST:: SOT 52113076 SOS 14305833 HAS SOPS 14305833 HAS SOUS 9058137 HAS SOUPS 9058137 WITH SCORE 9072442.833
AT ITER 2250 NEW BEST:: SOT 52109672 SOS 14301576 HAS SOPS 14301576 HAS SOUS 9057282 HAS SOUPS 9057282 WITH SCORE 9071583.576
AT ITER 2262 NEW BEST:: SOT 52107484 SOS 14298293 HAS SOPS 14298293 HAS SOUS 9057279 HAS SOUPS 9057279 WITH SCORE 9071577.293
AT ITER 2265 NEW BEST:: SOT 52105266 SOS 14294965 HAS SOPS 14294965 HAS SOUS 9057276 HAS SOUPS 9057276 WITH SCORE 9071570.965
AT ITER 2303 NEW BEST:: SOT 52104540 SOS 14294170 HAS SOPS 14294170 HAS SOUS 9057227 HAS SOUPS 9057227 WITH SCORE 9071521.17
AT ITER 2317 NEW BEST:: SOT 52102174 SOS 14290620 HAS SOPS 14290620 HAS SOUS 9057224 HAS SOUPS 9057224 WITH SCORE 9071514.62
AT ITER 2320 NEW BEST:: SOT 52102174 SOS 14290619 HAS SOPS 14290619 HAS SOUS 9057221 HAS SOUPS 9057221 WITH SCORE 9071511.619
AT ITER 2325 NEW BEST:: SOT 52100114 SOS 14287528 HAS SOPS 14287528 HAS SOUS 9057218 HAS SOUPS 9057218 WITH SCORE 9071505.528
AT ITER 2326 NEW BEST:: SOT 52098430 SOS 14285002 HAS SOPS 14285002 HAS SOUS 9057218 HAS SOUPS 9057218 WITH SCORE 9071503.002
AT ITER 2330 NEW BEST:: SOT 52095727 SOS 14281398 HAS SOPS 14281398 HAS SOUS 9056317 HAS SOUPS 9056317 WITH SCORE 9070598.398
AT ITER 2341 NEW BEST:: SOT 52094488 SOS 14279746 HAS SOPS 14279746 HAS SOUS 9055904 HAS SOUPS 9055904 WITH SCORE 9070183.746
AT ITER 2347 NEW BEST:: SOT 52093062 SOS 14278358 HAS SOPS 14278358 HAS SOUS 9055813 HAS SOUPS 9055813 WITH SCORE 9070091.358
AT ITER 2365 NEW BEST:: SOT 52090988 SOS 14275731 HAS SOPS 14275731 HAS SOUS 9055258 HAS SOUPS 9055258 WITH SCORE 9069533.731
AT ITER 2415 NEW BEST:: SOT 52088176 SOS 14271512 HAS SOPS 14271512 HAS SOUS 9055255 HAS SOUPS 9055255 WITH SCORE 9069526.512
AT ITER 2460 NEW BEST:: SOT 52085922 SOS 14268130 HAS SOPS 14268130 HAS SOUS 9055252 HAS SOUPS 9055252 WITH SCORE 9069520.13
AT ITER 2464 NEW BEST:: SOT 52084410 SOS 14266113 HAS SOPS 14266113 HAS SOUS 9054745 HAS SOUPS 9054745 WITH SCORE 9069011.113
AT ITER 2480 NEW BEST:: SOT 52084257 SOS 14265909 HAS SOPS 14265909 HAS SOUS 9054694 HAS SOUPS 9054694 WITH SCORE 9068959.909
AT ITER 2484 NEW BEST:: SOT 52082441 SOS 14262277 HAS SOPS 14262277 HAS SOUS 9051970 HAS SOUPS 9051970 WITH SCORE 9066232.277
AT ITER 2495 NEW BEST:: SOT 52081494 SOS 14260714 HAS SOPS 14260714 HAS SOUS 9051472 HAS SOUPS 9051472 WITH SCORE 9065732.714
AT ITER 2547 NEW BEST:: SOT 52078895 SOS 14257555 HAS SOPS 14257555 HAS SOUS 9050910 HAS SOUPS 9050910 WITH SCORE 9065167.555
AT ITER 2555 NEW BEST:: SOT 52077121 SOS 14254893 HAS SOPS 14254893 HAS SOUS 9050907 HAS SOUPS 9050907 WITH SCORE 9065161.893
AT ITER 2556 NEW BEST:: SOT 52076147 SOS 14253634 HAS SOPS 14253634 HAS SOUS 9050644 HAS SOUPS 9050644 WITH SCORE 9064897.634
AT ITER 2569 NEW BEST:: SOT 52075284 SOS 14252501 HAS SOPS 14252501 HAS SOUS 9050372 HAS SOUPS 9050372 WITH SCORE 9064624.501
AT ITER 2598 NEW BEST:: SOT 52072658 SOS 14248562 HAS SOPS 14248562 HAS SOUS 9050372 HAS SOUPS 9050372 WITH SCORE 9064620.562
AT ITER 2601 NEW BEST:: SOT 52069685 SOS 14245071 HAS SOPS 14245071 HAS SOUS 9049885 HAS SOUPS 9049885 WITH SCORE 9064130.071
AT ITER 2604 NEW BEST:: SOT 52067587 SOS 14242710 HAS SOPS 14242710 HAS SOUS 9049882 HAS SOUPS 9049882 WITH SCORE 9064124.71
AT ITER 2623 NEW BEST:: SOT 52067275 SOS 14242086 HAS SOPS 14242086 HAS SOUS 9049493 HAS SOUPS 9049493 WITH SCORE 9063735.086
AT ITER 2631 NEW BEST:: SOT 52065571 SOS 14239529 HAS SOPS 14239529 HAS SOUS 9049490 HAS SOUPS 9049490 WITH SCORE 9063729.529
AT ITER 2647 NEW BEST:: SOT 52063101 SOS 14235824 HAS SOPS 14235824 HAS SOUS 9049490 HAS SOUPS 9049490 WITH SCORE 9063725.824
AT ITER 2649 NEW BEST:: SOT 52061388 SOS 14233539 HAS SOPS 14233539 HAS SOUS 9048916 HAS SOUPS 9048916 WITH SCORE 9063149.539
AT ITER 2695 NEW BEST:: SOT 52060070 SOS 14231561 HAS SOPS 14231561 HAS SOUS 9048913 HAS SOUPS 9048913 WITH SCORE 9063144.561
AT ITER 2703 NEW BEST:: SOT 52057142 SOS 14227997 HAS SOPS 14227997 HAS SOUS 9048277 HAS SOUPS 9048277 WITH SCORE 9062504.997
AT ITER 2733 NEW BEST:: SOT 52053878 SOS 14223100 HAS SOPS 14223100 HAS SOUS 9048274 HAS SOUPS 9048274 WITH SCORE 9062497.1
AT ITER 2742 NEW BEST:: SOT 52053854 SOS 14223064 HAS SOPS 14223064 HAS SOUS 9048274 HAS SOUPS 9048274 WITH SCORE 9062497.064
AT ITER 2753 NEW BEST:: SOT 52053065 SOS 14222011 HAS SOPS 14222011 HAS SOUS 9048008 HAS SOUPS 9048008 WITH SCORE 9062230.011
AT ITER 2764 NEW BEST:: SOT 52050596 SOS 14218718 HAS SOPS 14218718 HAS SOUS 9047182 HAS SOUPS 9047182 WITH SCORE 9061400.718
AT ITER 2768 NEW BEST:: SOT 52048567 SOS 14216093 HAS SOPS 14216093 HAS SOUS 9046584 HAS SOUPS 9046584 WITH SCORE 9060800.093
AT ITER 2794 NEW BEST:: SOT 52048567 SOS 14216092 HAS SOPS 14216092 HAS SOUS 9046581 HAS SOUPS 9046581 WITH SCORE 9060797.092
AT ITER 2800 NEW BEST:: SOT 52045178 SOS 14211884 HAS SOPS 14211884 HAS SOUS 9045762 HAS SOUPS 9045762 WITH SCORE 9059973.884
AT ITER 2802 NEW BEST:: SOT 52041768 SOS 14206769 HAS SOPS 14206769 HAS SOUS 9045762 HAS SOUPS 9045762 WITH SCORE 9059968.769
AT ITER 2817 NEW BEST:: SOT 52039478 SOS 14203333 HAS SOPS 14203333 HAS SOUS 9045759 HAS SOUPS 9045759 WITH SCORE 9059962.333
AT ITER 2826 NEW BEST:: SOT 52036629 SOS 14199534 HAS SOPS 14199534 HAS SOUS 9043003 HAS SOUPS 9043003 WITH SCORE 9057202.534
AT ITER 2839 NEW BEST:: SOT 52036629 SOS 14199533 HAS SOPS 14199533 HAS SOUS 9043000 HAS SOUPS 9043000 WITH SCORE 9057199.533
AT ITER 2868 NEW BEST:: SOT 52035899 SOS 14198073 HAS SOPS 14198073 HAS SOUS 9041905 HAS SOUPS 9041905 WITH SCORE 9056103.073
AT ITER 2870 NEW BEST:: SOT 52035251 SOS 14197275 HAS SOPS 14197275 HAS SOUS 9041755 HAS SOUPS 9041755 WITH SCORE 9055952.275
AT ITER 2873 NEW BEST:: SOT 52033888 SOS 14195584 HAS SOPS 14195584 HAS SOUS 9041501 HAS SOUPS 9041501 WITH SCORE 9055696.584
AT ITER 2877 NEW BEST:: SOT 52031976 SOS 14192715 HAS SOPS 14192715 HAS SOUS 9041498 HAS SOUPS 9041498 WITH SCORE 9055690.715
AT ITER 2909 NEW BEST:: SOT 52029118 SOS 14188427 HAS SOPS 14188427 HAS SOUS 9041495 HAS SOUPS 9041495 WITH SCORE 9055683.427
AT ITER 2917 NEW BEST:: SOT 52027330 SOS 14187007 HAS SOPS 14187007 HAS SOUS 9041394 HAS SOUPS 9041394 WITH SCORE 9055581.007
AT ITER 2927 NEW BEST:: SOT 52023684 SOS 14181537 HAS SOPS 14181537 HAS SOUS 9041391 HAS SOUPS 9041391 WITH SCORE 9055572.537
AT ITER 2970 NEW BEST:: SOT 52022889 SOS 14180476 HAS SOPS 14180476 HAS SOUS 9041123 HAS SOUPS 9041123 WITH SCORE 9055303.476
AT ITER 2999 NEW BEST:: SOT 52022255 SOS 14179524 HAS SOPS 14179524 HAS SOUS 9041120 HAS SOUPS 9041120 WITH SCORE 9055299.524
AT ITER 3025 NEW BEST:: SOT 52019165 SOS 14174889 HAS SOPS 14174889 HAS SOUS 9041120 HAS SOUPS 9041120 WITH SCORE 9055294.889
AT ITER 3033 NEW BEST:: SOT 52016571 SOS 14171662 HAS SOPS 14171662 HAS SOUS 9040485 HAS SOUPS 9040485 WITH SCORE 9054656.662
AT ITER 3076 NEW BEST:: SOT 52014310 SOS 14167842 HAS SOPS 14167842 HAS SOUS 9039022 HAS SOUPS 9039022 WITH SCORE 9053189.842
AT ITER 3107 NEW BEST:: SOT 52012060 SOS 14164467 HAS SOPS 14164467 HAS SOUS 9039022 HAS SOUPS 9039022 WITH SCORE 9053186.467
AT ITER 3137 NEW BEST:: SOT 52008989 SOS 14160692 HAS SOPS 14160692 HAS SOUS 9038316 HAS SOUPS 9038316 WITH SCORE 9052476.692
AT ITER 3140 NEW BEST:: SOT 52005197 SOS 14156121 HAS SOPS 14156121 HAS SOUS 9037571 HAS SOUPS 9037571 WITH SCORE 9051727.121
AT ITER 3175 NEW BEST:: SOT 52004285 SOS 14154904 HAS SOPS 14154904 HAS SOUS 9037264 HAS SOUPS 9037264 WITH SCORE 9051418.904
AT ITER 3191 NEW BEST:: SOT 52001759 SOS 14151115 HAS SOPS 14151115 HAS SOUS 9037264 HAS SOUPS 9037264 WITH SCORE 9051415.115
AT ITER 3195 NEW BEST:: SOT 52000023 SOS 14149040 HAS SOPS 14149040 HAS SOUS 9037067 HAS SOUPS 9037067 WITH SCORE 9051216.04
AT ITER 3225 NEW BEST:: SOT 52000023 SOS 14149039 HAS SOPS 14149039 HAS SOUS 9037064 HAS SOUPS 9037064 WITH SCORE 9051213.039
AT ITER 3235 NEW BEST:: SOT 51999609 SOS 14148418 HAS SOPS 14148418 HAS SOUS 9037064 HAS SOUPS 9037064 WITH SCORE 9051212.418
AT ITER 3301 NEW BEST:: SOT 51998994 SOS 14147639 HAS SOPS 14147639 HAS SOUS 9036898 HAS SOUPS 9036898 WITH SCORE 9051045.639
AT ITER 3316 NEW BEST:: SOT 51996373 SOS 14143908 HAS SOPS 14143908 HAS SOUS 9034906 HAS SOUPS 9034906 WITH SCORE 9049049.908
AT ITER 3318 NEW BEST:: SOT 51995789 SOS 14143032 HAS SOPS 14143032 HAS SOUS 9034906 HAS SOUPS 9034906 WITH SCORE 9049049.032
AT ITER 3332 NEW BEST:: SOT 51995695 SOS 14142891 HAS SOPS 14142891 HAS SOUS 9034906 HAS SOUPS 9034906 WITH SCORE 9049048.891
AT ITER 3339 NEW BEST:: SOT 51995695 SOS 14142890 HAS SOPS 14142890 HAS SOUS 9034903 HAS SOUPS 9034903 WITH SCORE 9049045.89
AT ITER 3363 NEW BEST:: SOT 51992182 SOS 14138947 HAS SOPS 14138947 HAS SOUS 9034571 HAS SOUPS 9034571 WITH SCORE 9048709.947
AT ITER 3366 NEW BEST:: SOT 51989451 SOS 14135644 HAS SOPS 14135644 HAS SOUS 9033997 HAS SOUPS 9033997 WITH SCORE 9048132.644
AT ITER 3368 NEW BEST:: SOT 51987099 SOS 14132507 HAS SOPS 14132507 HAS SOUS 9033210 HAS SOUPS 9033210 WITH SCORE 9047342.507
AT ITER 3403 NEW BEST:: SOT 51986490 SOS 14131695 HAS SOPS 14131695 HAS SOUS 9033007 HAS SOUPS 9033007 WITH SCORE 9047138.695
AT ITER 3457 NEW BEST:: SOT 51984002 SOS 14127963 HAS SOPS 14127963 HAS SOUS 9033007 HAS SOUPS 9033007 WITH SCORE 9047134.963
AT ITER 3460 NEW BEST:: SOT 51982731 SOS 14126412 HAS SOPS 14126412 HAS SOUS 9032725 HAS SOUPS 9032725 WITH SCORE 9046851.412
AT ITER 3461 NEW BEST:: SOT 51979331 SOS 14121311 HAS SOPS 14121311 HAS SOUS 9032722 HAS SOUPS 9032722 WITH SCORE 9046843.311
AT ITER 3480 NEW BEST:: SOT 51977233 SOS 14117285 HAS SOPS 14117285 HAS SOUS 9030085 HAS SOUPS 9030085 WITH SCORE 9044202.285
AT ITER 3492 NEW BEST:: SOT 51976536 SOS 14115891 HAS SOPS 14115891 HAS SOUS 9029427 HAS SOUPS 9029427 WITH SCORE 9043542.891
AT ITER 3550 NEW BEST:: SOT 51974394 SOS 14113035 HAS SOPS 14113035 HAS SOUS 9028713 HAS SOUPS 9028713 WITH SCORE 9042826.035
AT ITER 3561 NEW BEST:: SOT 51971353 SOS 14109337 HAS SOPS 14109337 HAS SOUS 9028059 HAS SOUPS 9028059 WITH SCORE 9042168.337
AT ITER 3584 NEW BEST:: SOT 51966840 SOS 14101522 HAS SOPS 14101522 HAS SOUS 9024184 HAS SOUPS 9024184 WITH SCORE 9038285.522
AT ITER 3591 NEW BEST:: SOT 51964920 SOS 14098642 HAS SOPS 14098642 HAS SOUS 9024184 HAS SOUPS 9024184 WITH SCORE 9038282.642
AT ITER 3596 NEW BEST:: SOT 51963696 SOS 14097053 HAS SOPS 14097053 HAS SOUS 9023843 HAS SOUPS 9023843 WITH SCORE 9037940.053
AT ITER 3614 NEW BEST:: SOT 51961722 SOS 14094420 HAS SOPS 14094420 HAS SOUS 9023182 HAS SOUPS 9023182 WITH SCORE 9037276.42
AT ITER 3624 NEW BEST:: SOT 51958826 SOS 14090075 HAS SOPS 14090075 HAS SOUS 9023179 HAS SOUPS 9023179 WITH SCORE 9037269.075
AT ITER 3626 NEW BEST:: SOT 51956888 SOS 14087168 HAS SOPS 14087168 HAS SOUS 9023179 HAS SOUPS 9023179 WITH SCORE 9037266.168
AT ITER 3629 NEW BEST:: SOT 51955352 SOS 14084864 HAS SOPS 14084864 HAS SOUS 9023179 HAS SOUPS 9023179 WITH SCORE 9037263.864
AT ITER 3646 NEW BEST:: SOT 51955082 SOS 14084594 HAS SOPS 14084594 HAS SOUS 9023179 HAS SOUPS 9023179 WITH SCORE 9037263.594
AT ITER 3653 NEW BEST:: SOT 51951456 SOS 14080308 HAS SOPS 14080308 HAS SOUS 9022570 HAS SOUPS 9022570 WITH SCORE 9036650.308
AT ITER 3658 NEW BEST:: SOT 51948836 SOS 14077142 HAS SOPS 14077142 HAS SOUS 9022024 HAS SOUPS 9022024 WITH SCORE 9036101.142
AT ITER 3663 NEW BEST:: SOT 51945168 SOS 14072569 HAS SOPS 14072569 HAS SOUS 9021117 HAS SOUPS 9021117 WITH SCORE 9035189.569
AT ITER 3685 NEW BEST:: SOT 51944214 SOS 14071138 HAS SOPS 14071138 HAS SOUS 9021117 HAS SOUPS 9021117 WITH SCORE 9035188.138
AT ITER 3704 NEW BEST:: SOT 51942339 SOS 14068638 HAS SOPS 14068638 HAS SOUS 9020492 HAS SOUPS 9020492 WITH SCORE 9034560.638
AT ITER 3710 NEW BEST:: SOT 51940479 SOS 14065848 HAS SOPS 14065848 HAS SOUS 9020492 HAS SOUPS 9020492 WITH SCORE 9034557.848
AT ITER 3711 NEW BEST:: SOT 51940479 SOS 14064609 HAS SOPS 14064609 HAS SOUS 9016775 HAS SOUPS 9016775 WITH SCORE 9030839.609
AT ITER 3735 NEW BEST:: SOT 51936884 SOS 14058357 HAS SOPS 14058357 HAS SOUS 9013912 HAS SOUPS 9013912 WITH SCORE 9027970.357
AT ITER 3749 NEW BEST:: SOT 51933352 SOS 14053058 HAS SOPS 14053058 HAS SOUS 9013909 HAS SOUPS 9013909 WITH SCORE 9027962.058
AT ITER 3761 NEW BEST:: SOT 51931642 SOS 14050208 HAS SOPS 14050208 HAS SOUS 9011629 HAS SOUPS 9011629 WITH SCORE 9025679.208
AT ITER 3786 NEW BEST:: SOT 51930156 SOS 14048365 HAS SOPS 14048365 HAS SOUS 9011270 HAS SOUPS 9011270 WITH SCORE 9025318.365
AT ITER 3816 NEW BEST:: SOT 51929475 SOS 14047619 HAS SOPS 14047619 HAS SOUS 9010315 HAS SOUPS 9010315 WITH SCORE 9024362.619
AT ITER 3854 NEW BEST:: SOT 51927503 SOS 14044660 HAS SOPS 14044660 HAS SOUS 9010312 HAS SOUPS 9010312 WITH SCORE 9024356.66
AT ITER 3857 NEW BEST:: SOT 51926570 SOS 14043415 HAS SOPS 14043415 HAS SOUS 9009998 HAS SOUPS 9009998 WITH SCORE 9024041.415
AT ITER 3881 NEW BEST:: SOT 51925290 SOS 14041494 HAS SOPS 14041494 HAS SOUS 9009995 HAS SOUPS 9009995 WITH SCORE 9024036.494
AT ITER 3889 NEW BEST:: SOT 51921876 SOS 14036373 HAS SOPS 14036373 HAS SOUS 9009995 HAS SOUPS 9009995 WITH SCORE 9024031.373
AT ITER 3906 NEW BEST:: SOT 51920064 SOS 14034199 HAS SOPS 14034199 HAS SOUS 9009650 HAS SOUPS 9009650 WITH SCORE 9023684.199
AT ITER 3907 NEW BEST:: SOT 51919632 SOS 14033623 HAS SOPS 14033623 HAS SOUS 9009506 HAS SOUPS 9009506 WITH SCORE 9023539.623
AT ITER 3932 NEW BEST:: SOT 51919107 SOS 14032922 HAS SOPS 14032922 HAS SOUS 9009328 HAS SOUPS 9009328 WITH SCORE 9023360.922
AT ITER 3966 NEW BEST:: SOT 51919341 SOS 14033390 HAS SOPS 14033390 HAS SOUS 9009208 HAS SOUPS 9009208 WITH SCORE 9023241.39
AT ITER 3977 NEW BEST:: SOT 51919050 SOS 14033002 HAS SOPS 14033002 HAS SOUS 9009111 HAS SOUPS 9009111 WITH SCORE 9023144.002
AT ITER 3983 NEW BEST:: SOT 51916598 SOS 14028098 HAS SOPS 14028098 HAS SOUS 9005433 HAS SOUPS 9005433 WITH SCORE 9019461.098
AT ITER 4001 NEW BEST:: SOT 51916043 SOS 14027358 HAS SOPS 14027358 HAS SOUS 9005248 HAS SOUPS 9005248 WITH SCORE 9019275.358
AT ITER 4025 NEW BEST:: SOT 51912189 SOS 14020682 HAS SOPS 14020682 HAS SOUS 9002194 HAS SOUPS 9002194 WITH SCORE 9016214.682
AT ITER 4036 NEW BEST:: SOT 51909796 SOS 14017580 HAS SOPS 14017580 HAS SOUS 9001137 HAS SOUPS 9001137 WITH SCORE 9015154.58
AT ITER 4037 NEW BEST:: SOT 51907616 SOS 14013736 HAS SOPS 14013736 HAS SOUS 8999389 HAS SOUPS 8999389 WITH SCORE 9013402.736
AT ITER 4038 NEW BEST:: SOT 51906054 SOS 14011393 HAS SOPS 14011393 HAS SOUS 8999389 HAS SOUPS 8999389 WITH SCORE 9013400.393
AT ITER 4079 NEW BEST:: SOT 51906042 SOS 14011369 HAS SOPS 14011369 HAS SOUS 8999377 HAS SOUPS 8999377 WITH SCORE 9013388.369
AT ITER 4095 NEW BEST:: SOT 51904350 SOS 14009308 HAS SOPS 14009308 HAS SOUS 8999006 HAS SOUPS 8999006 WITH SCORE 9013015.308
AT ITER 4101 NEW BEST:: SOT 51903997 SOS 14008859 HAS SOPS 14008859 HAS SOUS 8998908 HAS SOUPS 8998908 WITH SCORE 9012916.859
AT ITER 4109 NEW BEST:: SOT 51901467 SOS 14005064 HAS SOPS 14005064 HAS SOUS 8998908 HAS SOUPS 8998908 WITH SCORE 9012913.064
AT ITER 4175 NEW BEST:: SOT 51899555 SOS 14002195 HAS SOPS 14002195 HAS SOUS 8998905 HAS SOUPS 8998905 WITH SCORE 9012907.195
AT ITER 4177 NEW BEST:: SOT 51895560 SOS 13997245 HAS SOPS 13997245 HAS SOUS 8997958 HAS SOUPS 8997958 WITH SCORE 9011955.245
AT ITER 4184 NEW BEST:: SOT 51891936 SOS 13993070 HAS SOPS 13993070 HAS SOUS 8997484 HAS SOUPS 8997484 WITH SCORE 9011477.07
AT ITER 4188 NEW BEST:: SOT 51890910 SOS 13992043 HAS SOPS 13992043 HAS SOUS 8997481 HAS SOUPS 8997481 WITH SCORE 9011473.043
AT ITER 4201 NEW BEST:: SOT 51888198 SOS 13987975 HAS SOPS 13987975 HAS SOUS 8997481 HAS SOUPS 8997481 WITH SCORE 9011468.975
AT ITER 4264 NEW BEST:: SOT 51885754 SOS 13984657 HAS SOPS 13984657 HAS SOUS 8995987 HAS SOUPS 8995987 WITH SCORE 9009971.657
AT ITER 4271 NEW BEST:: SOT 51883266 SOS 13980924 HAS SOPS 13980924 HAS SOUS 8995984 HAS SOUPS 8995984 WITH SCORE 9009964.924
AT ITER 4296 NEW BEST:: SOT 51883266 SOS 13980923 HAS SOPS 13980923 HAS SOUS 8995981 HAS SOUPS 8995981 WITH SCORE 9009961.923
AT ITER 4299 NEW BEST:: SOT 51881542 SOS 13978336 HAS SOPS 13978336 HAS SOUS 8995978 HAS SOUPS 8995978 WITH SCORE 9009956.336
AT ITER 4306 NEW BEST:: SOT 51878869 SOS 13975301 HAS SOPS 13975301 HAS SOUS 8995661 HAS SOUPS 8995661 WITH SCORE 9009636.301
AT ITER 4314 NEW BEST:: SOT 51876639 SOS 13970841 HAS SOPS 13970841 HAS SOUS 8992316 HAS SOUPS 8992316 WITH SCORE 9006286.841
AT ITER 4353 NEW BEST:: SOT 51873292 SOS 13965160 HAS SOPS 13965160 HAS SOUS 8989966 HAS SOUPS 8989966 WITH SCORE 9003931.16
AT ITER 4362 NEW BEST:: SOT 51871804 SOS 13962928 HAS SOPS 13962928 HAS SOUS 8989966 HAS SOUPS 8989966 WITH SCORE 9003928.928
AT ITER 4389 NEW BEST:: SOT 51870193 SOS 13960779 HAS SOPS 13960779 HAS SOUS 8989426 HAS SOUPS 8989426 WITH SCORE 9003386.779
AT ITER 4415 NEW BEST:: SOT 51868927 SOS 13958247 HAS SOPS 13958247 HAS SOUS 8987884 HAS SOUPS 8987884 WITH SCORE 9001842.247
AT ITER 4445 NEW BEST:: SOT 51867281 SOS 13955778 HAS SOPS 13955778 HAS SOUS 8987884 HAS SOUPS 8987884 WITH SCORE 9001839.778
AT ITER 4446 NEW BEST:: SOT 51863916 SOS 13950756 HAS SOPS 13950756 HAS SOUS 8983989 HAS SOUPS 8983989 WITH SCORE 8997939.756
AT ITER 4447 NEW BEST:: SOT 51861672 SOS 13947389 HAS SOPS 13947389 HAS SOUS 8983986 HAS SOUPS 8983986 WITH SCORE 8997933.389
AT ITER 4492 NEW BEST:: SOT 51859664 SOS 13944376 HAS SOPS 13944376 HAS SOUS 8983983 HAS SOUPS 8983983 WITH SCORE 8997927.376
AT ITER 4513 NEW BEST:: SOT 51859080 SOS 13943654 HAS SOPS 13943654 HAS SOUS 8983845 HAS SOUPS 8983845 WITH SCORE 8997788.654
AT ITER 4542 NEW BEST:: SOT 51859080 SOS 13943653 HAS SOPS 13943653 HAS SOUS 8983842 HAS SOUPS 8983842 WITH SCORE 8997785.653
AT ITER 4543 NEW BEST:: SOT 51857110 SOS 13940529 HAS SOPS 13940529 HAS SOUS 8981534 HAS SOUPS 8981534 WITH SCORE 8995474.529
AT ITER 4584 NEW BEST:: SOT 51854510 SOS 13936628 HAS SOPS 13936628 HAS SOUS 8981531 HAS SOUPS 8981531 WITH SCORE 8995467.628
AT ITER 4593 NEW BEST:: SOT 51853136 SOS 13934795 HAS SOPS 13934795 HAS SOUS 8981070 HAS SOUPS 8981070 WITH SCORE 8995004.795
AT ITER 4594 NEW BEST:: SOT 51851196 SOS 13931885 HAS SOPS 13931885 HAS SOUS 8981070 HAS SOUPS 8981070 WITH SCORE 8995001.885
AT ITER 4600 NEW BEST:: SOT 51848888 SOS 13928422 HAS SOPS 13928422 HAS SOUS 8981067 HAS SOUPS 8981067 WITH SCORE 8994995.422
AT ITER 4609 NEW BEST:: SOT 51847155 SOS 13925709 HAS SOPS 13925709 HAS SOUS 8980376 HAS SOUPS 8980376 WITH SCORE 8994301.709
AT ITER 4613 NEW BEST:: SOT 51844905 SOS 13921209 HAS SOPS 13921209 HAS SOUS 8977001 HAS SOUPS 8977001 WITH SCORE 8990922.209
AT ITER 4661 NEW BEST:: SOT 51843831 SOS 13919598 HAS SOPS 13919598 HAS SOUS 8977001 HAS SOUPS 8977001 WITH SCORE 8990920.598
AT ITER 4672 NEW BEST:: SOT 51843736 SOS 13919408 HAS SOPS 13919408 HAS SOUS 8976906 HAS SOUPS 8976906 WITH SCORE 8990825.408
AT ITER 4674 NEW BEST:: SOT 51841575 SOS 13916722 HAS SOPS 13916722 HAS SOUS 8976402 HAS SOUPS 8976402 WITH SCORE 8990318.722
AT ITER 4690 NEW BEST:: SOT 51841267 SOS 13916106 HAS SOPS 13916106 HAS SOUS 8975940 HAS SOUPS 8975940 WITH SCORE 8989856.106
AT ITER 4720 NEW BEST:: SOT 51840853 SOS 13915691 HAS SOPS 13915691 HAS SOUS 8975937 HAS SOUPS 8975937 WITH SCORE 8989852.691
AT ITER 4728 NEW BEST:: SOT 51840853 SOS 13915690 HAS SOPS 13915690 HAS SOUS 8975934 HAS SOUPS 8975934 WITH SCORE 8989849.69
AT ITER 4741 NEW BEST:: SOT 51837039 SOS 13910921 HAS SOPS 13910921 HAS SOUS 8974977 HAS SOUPS 8974977 WITH SCORE 8988887.921
AT ITER 4743 NEW BEST:: SOT 51834078 SOS 13907718 HAS SOPS 13907718 HAS SOUS 8974834 HAS SOUPS 8974834 WITH SCORE 8988741.718
AT ITER 4748 NEW BEST:: SOT 51832391 SOS 13905771 HAS SOPS 13905771 HAS SOUS 8974605 HAS SOUPS 8974605 WITH SCORE 8988510.771
AT ITER 4778 NEW BEST:: SOT 51829359 SOS 13900419 HAS SOPS 13900419 HAS SOUS 8971855 HAS SOUPS 8971855 WITH SCORE 8985755.419
AT ITER 4780 NEW BEST:: SOT 51829043 SOS 13900044 HAS SOPS 13900044 HAS SOUS 8971822 HAS SOUPS 8971822 WITH SCORE 8985722.044
AT ITER 4795 NEW BEST:: SOT 51828410 SOS 13899317 HAS SOPS 13899317 HAS SOUS 8971814 HAS SOUPS 8971814 WITH SCORE 8985713.317
AT ITER 4811 NEW BEST:: SOT 51826174 SOS 13896695 HAS SOPS 13896695 HAS SOUS 8971643 HAS SOUPS 8971643 WITH SCORE 8985539.695
AT ITER 4817 NEW BEST:: SOT 51825951 SOS 13896249 HAS SOPS 13896249 HAS SOUS 8971420 HAS SOUPS 8971420 WITH SCORE 8985316.249
AT ITER 4820 NEW BEST:: SOT 51823355 SOS 13892354 HAS SOPS 13892354 HAS SOUS 8971417 HAS SOUPS 8971417 WITH SCORE 8985309.354
AT ITER 4829 NEW BEST:: SOT 51822231 SOS 13890667 HAS SOPS 13890667 HAS SOUS 8971414 HAS SOUPS 8971414 WITH SCORE 8985304.667
AT ITER 4861 NEW BEST:: SOT 51819691 SOS 13886018 HAS SOPS 13886018 HAS SOUS 8968764 HAS SOUPS 8968764 WITH SCORE 8982650.018
AT ITER 4875 NEW BEST:: SOT 51816911 SOS 13882422 HAS SOPS 13882422 HAS SOUS 8967291 HAS SOUPS 8967291 WITH SCORE 8981173.422
AT ITER 4884 NEW BEST:: SOT 51816263 SOS 13881449 HAS SOPS 13881449 HAS SOUS 8967288 HAS SOUPS 8967288 WITH SCORE 8981169.449
AT ITER 4908 NEW BEST:: SOT 51812331 SOS 13875550 HAS SOPS 13875550 HAS SOUS 8967285 HAS SOUPS 8967285 WITH SCORE 8981160.55
AT ITER 4923 NEW BEST:: SOT 51809118 SOS 13871554 HAS SOPS 13871554 HAS SOUS 8966502 HAS SOUPS 8966502 WITH SCORE 8980373.554
AT ITER 4967 NEW BEST:: SOT 51807462 SOS 13869588 HAS SOPS 13869588 HAS SOUS 8966209 HAS SOUPS 8966209 WITH SCORE 8980078.588
AT ITER 4994 NEW BEST:: SOT 51805728 SOS 13867276 HAS SOPS 13867276 HAS SOUS 8965631 HAS SOUPS 8965631 WITH SCORE 8979498.276
AT ITER 5019 NEW BEST:: SOT 51805012 SOS 13866533 HAS SOPS 13866533 HAS SOUS 8964888 HAS SOUPS 8964888 WITH SCORE 8978754.533
AT ITER 5024 NEW BEST:: SOT 51803606 SOS 13865126 HAS SOPS 13865126 HAS SOUS 8964885 HAS SOUPS 8964885 WITH SCORE 8978750.126
AT ITER 5029 NEW BEST:: SOT 51803434 SOS 13864868 HAS SOPS 13864868 HAS SOUS 8964885 HAS SOUPS 8964885 WITH SCORE 8978749.868
AT ITER 5039 NEW BEST:: SOT 51800123 SOS 13860901 HAS SOPS 13860901 HAS SOUS 8964227 HAS SOUPS 8964227 WITH SCORE 8978087.901
AT ITER 5048 NEW BEST:: SOT 51798055 SOS 13857799 HAS SOPS 13857799 HAS SOUS 8964227 HAS SOUPS 8964227 WITH SCORE 8978084.799
AT ITER 5052 NEW BEST:: SOT 51795448 SOS 13855286 HAS SOPS 13855286 HAS SOUS 8963225 HAS SOUPS 8963225 WITH SCORE 8977080.286
AT ITER 5060 NEW BEST:: SOT 51792472 SOS 13852139 HAS SOPS 13852139 HAS SOUS 8963172 HAS SOUPS 8963172 WITH SCORE 8977024.139
AT ITER 5078 NEW BEST:: SOT 51791034 SOS 13849981 HAS SOPS 13849981 HAS SOUS 8963169 HAS SOUPS 8963169 WITH SCORE 8977018.981
AT ITER 5081 NEW BEST:: SOT 51788697 SOS 13847045 HAS SOPS 13847045 HAS SOUS 8962570 HAS SOUPS 8962570 WITH SCORE 8976417.045
AT ITER 5083 NEW BEST:: SOT 51788650 SOS 13846951 HAS SOPS 13846951 HAS SOUS 8962176 HAS SOUPS 8962176 WITH SCORE 8976022.951
AT ITER 5089 NEW BEST:: SOT 51785396 SOS 13843049 HAS SOPS 13843049 HAS SOUS 8961551 HAS SOUPS 8961551 WITH SCORE 8975394.049
AT ITER 5101 NEW BEST:: SOT 51782708 SOS 13839648 HAS SOPS 13839648 HAS SOUS 8960946 HAS SOUPS 8960946 WITH SCORE 8974785.648
AT ITER 5124 NEW BEST:: SOT 51781618 SOS 13838395 HAS SOPS 13838395 HAS SOUS 8960781 HAS SOUPS 8960781 WITH SCORE 8974619.395
AT ITER 5135 NEW BEST:: SOT 51781325 SOS 13837809 HAS SOPS 13837809 HAS SOUS 8960488 HAS SOUPS 8960488 WITH SCORE 8974325.809
AT ITER 5152 NEW BEST:: SOT 51780043 SOS 13835886 HAS SOPS 13835886 HAS SOUS 8960488 HAS SOUPS 8960488 WITH SCORE 8974323.886
AT ITER 5171 NEW BEST:: SOT 51776900 SOS 13832252 HAS SOPS 13832252 HAS SOUS 8959835 HAS SOUPS 8959835 WITH SCORE 8973667.252
AT ITER 5198 NEW BEST:: SOT 51774713 SOS 13829838 HAS SOPS 13829838 HAS SOUS 8959608 HAS SOUPS 8959608 WITH SCORE 8973437.838
AT ITER 5209 NEW BEST:: SOT 51772897 SOS 13827113 HAS SOPS 13827113 HAS SOUS 8959605 HAS SOUPS 8959605 WITH SCORE 8973432.113
AT ITER 5287 NEW BEST:: SOT 51771133 SOS 13824466 HAS SOPS 13824466 HAS SOUS 8959602 HAS SOUPS 8959602 WITH SCORE 8973426.466
AT ITER 5304 NEW BEST:: SOT 51767569 SOS 13820182 HAS SOPS 13820182 HAS SOUS 8958882 HAS SOUPS 8958882 WITH SCORE 8972702.182
AT ITER 5317 NEW BEST:: SOT 51766248 SOS 13818909 HAS SOPS 13818909 HAS SOUS 8958870 HAS SOUPS 8958870 WITH SCORE 8972688.909
AT ITER 5335 NEW BEST:: SOT 51765615 SOS 13818064 HAS SOPS 13818064 HAS SOUS 8958656 HAS SOUPS 8958656 WITH SCORE 8972474.064
AT ITER 5360 NEW BEST:: SOT 51762583 SOS 13814333 HAS SOPS 13814333 HAS SOUS 8957955 HAS SOUPS 8957955 WITH SCORE 8971769.333
AT ITER 5376 NEW BEST:: SOT 51760359 SOS 13811495 HAS SOPS 13811495 HAS SOUS 8957341 HAS SOUPS 8957341 WITH SCORE 8971152.495
AT ITER 5377 NEW BEST:: SOT 51757717 SOS 13808195 HAS SOPS 13808195 HAS SOUS 8956683 HAS SOUPS 8956683 WITH SCORE 8970491.195
AT ITER 5404 NEW BEST:: SOT 51756579 SOS 13807057 HAS SOPS 13807057 HAS SOUS 8956683 HAS SOUPS 8956683 WITH SCORE 8970490.057
AT ITER 5408 NEW BEST:: SOT 51754655 SOS 13804170 HAS SOPS 13804170 HAS SOUS 8956680 HAS SOUPS 8956680 WITH SCORE 8970484.17
AT ITER 5410 NEW BEST:: SOT 51751973 SOS 13800146 HAS SOPS 13800146 HAS SOUS 8956677 HAS SOUPS 8956677 WITH SCORE 8970477.146
AT ITER 5430 NEW BEST:: SOT 51751331 SOS 13799290 HAS SOPS 13799290 HAS SOUS 8956463 HAS SOUPS 8956463 WITH SCORE 8970262.29
AT ITER 5457 NEW BEST:: SOT 51749510 SOS 13796862 HAS SOPS 13796862 HAS SOUS 8955856 HAS SOUPS 8955856 WITH SCORE 8969652.862
AT ITER 5471 NEW BEST:: SOT 51748074 SOS 13794708 HAS SOPS 13794708 HAS SOUS 8955856 HAS SOUPS 8955856 WITH SCORE 8969650.708
AT ITER 5479 NEW BEST:: SOT 51745012 SOS 13790115 HAS SOPS 13790115 HAS SOUS 8955856 HAS SOUPS 8955856 WITH SCORE 8969646.115
AT ITER 5491 NEW BEST:: SOT 51741649 SOS 13786600 HAS SOPS 13786600 HAS SOUS 8955859 HAS SOUPS 8955859 WITH SCORE 8969645.6
AT ITER 5497 NEW BEST:: SOT 51740157 SOS 13784749 HAS SOPS 13784749 HAS SOUS 8955498 HAS SOUPS 8955498 WITH SCORE 8969282.749
AT ITER 5527 NEW BEST:: SOT 51737943 SOS 13781427 HAS SOPS 13781427 HAS SOUS 8955495 HAS SOUPS 8955495 WITH SCORE 8969276.427
AT ITER 5531 NEW BEST:: SOT 51737437 SOS 13780667 HAS SOPS 13780667 HAS SOUS 8955492 HAS SOUPS 8955492 WITH SCORE 8969272.667
AT ITER 5533 NEW BEST:: SOT 51736939 SOS 13780311 HAS SOPS 13780311 HAS SOUS 8955492 HAS SOUPS 8955492 WITH SCORE 8969272.311
AT ITER 5592 NEW BEST:: SOT 51735737 SOS 13778507 HAS SOPS 13778507 HAS SOUS 8955489 HAS SOUPS 8955489 WITH SCORE 8969267.507
AT ITER 5594 NEW BEST:: SOT 51732798 SOS 13774888 HAS SOPS 13774888 HAS SOUS 8954807 HAS SOUPS 8954807 WITH SCORE 8968581.888
AT ITER 5625 NEW BEST:: SOT 51730546 SOS 13772045 HAS SOPS 13772045 HAS SOUS 8954310 HAS SOUPS 8954310 WITH SCORE 8968082.045
AT ITER 5628 NEW BEST:: SOT 51727504 SOS 13767482 HAS SOPS 13767482 HAS SOUS 8954310 HAS SOUPS 8954310 WITH SCORE 8968077.482
AT ITER 5631 NEW BEST:: SOT 51726820 SOS 13766570 HAS SOPS 13766570 HAS SOUS 8954082 HAS SOUPS 8954082 WITH SCORE 8967848.57
AT ITER 5647 NEW BEST:: SOT 51726202 SOS 13765334 HAS SOPS 13765334 HAS SOUS 8953155 HAS SOUPS 8953155 WITH SCORE 8966920.334
AT ITER 5659 NEW BEST:: SOT 51724278 SOS 13762447 HAS SOPS 13762447 HAS SOUS 8953152 HAS SOUPS 8953152 WITH SCORE 8966914.447
AT ITER 5686 NEW BEST:: SOT 51723304 SOS 13760985 HAS SOPS 13760985 HAS SOUS 8953149 HAS SOUPS 8953149 WITH SCORE 8966909.985
AT ITER 5712 NEW BEST:: SOT 51720468 SOS 13756730 HAS SOPS 13756730 HAS SOUS 8953146 HAS SOUPS 8953146 WITH SCORE 8966902.73
AT ITER 5713 NEW BEST:: SOT 51718086 SOS 13753156 HAS SOPS 13753156 HAS SOUS 8953143 HAS SOUPS 8953143 WITH SCORE 8966896.156
AT ITER 5726 NEW BEST:: SOT 51716688 SOS 13751291 HAS SOPS 13751291 HAS SOUS 8952674 HAS SOUPS 8952674 WITH SCORE 8966425.291
AT ITER 5736 NEW BEST:: SOT 51716610 SOS 13751174 HAS SOPS 13751174 HAS SOUS 8952674 HAS SOUPS 8952674 WITH SCORE 8966425.174
AT ITER 5770 NEW BEST:: SOT 51716610 SOS 13751173 HAS SOPS 13751173 HAS SOUS 8952671 HAS SOUPS 8952671 WITH SCORE 8966422.173
AT ITER 5773 NEW BEST:: SOT 51714790 SOS 13748443 HAS SOPS 13748443 HAS SOUS 8952671 HAS SOUPS 8952671 WITH SCORE 8966419.443
AT ITER 5814 NEW BEST:: SOT 51714078 SOS 13747374 HAS SOPS 13747374 HAS SOUS 8952668 HAS SOUPS 8952668 WITH SCORE 8966415.374
AT ITER 5847 NEW BEST:: SOT 51713752 SOS 13746979 HAS SOPS 13746979 HAS SOUS 8952572 HAS SOUPS 8952572 WITH SCORE 8966318.979
AT ITER 5867 NEW BEST:: SOT 51713752 SOS 13746978 HAS SOPS 13746978 HAS SOUS 8952569 HAS SOUPS 8952569 WITH SCORE 8966315.978
AT ITER 5875 NEW BEST:: SOT 51712154 SOS 13744580 HAS SOPS 13744580 HAS SOUS 8952566 HAS SOUPS 8952566 WITH SCORE 8966310.58
AT ITER 5878 NEW BEST:: SOT 51709132 SOS 13740047 HAS SOPS 13740047 HAS SOUS 8952566 HAS SOUPS 8952566 WITH SCORE 8966306.047
AT ITER 5898 NEW BEST:: SOT 51706709 SOS 13737904 HAS SOPS 13737904 HAS SOUS 8952366 HAS SOUPS 8952366 WITH SCORE 8966103.904
AT ITER 5935 NEW BEST:: SOT 51705050 SOS 13736611 HAS SOPS 13736611 HAS SOUS 8952364 HAS SOUPS 8952364 WITH SCORE 8966100.611
AT ITER 5958 NEW BEST:: SOT 51704428 SOS 13735367 HAS SOPS 13735367 HAS SOUS 8951431 HAS SOUPS 8951431 WITH SCORE 8965166.367
AT ITER 5978 NEW BEST:: SOT 51702126 SOS 13731914 HAS SOPS 13731914 HAS SOUS 8951431 HAS SOUPS 8951431 WITH SCORE 8965162.914
AT ITER 5980 NEW BEST:: SOT 51700104 SOS 13728880 HAS SOPS 13728880 HAS SOUS 8951428 HAS SOUPS 8951428 WITH SCORE 8965156.88
AT ITER 6003 NEW BEST:: SOT 51698977 SOS 13727232 HAS SOPS 13727232 HAS SOUS 8951323 HAS SOUPS 8951323 WITH SCORE 8965050.232
AT ITER 6015 NEW BEST:: SOT 51697969 SOS 13725720 HAS SOPS 13725720 HAS SOUS 8951323 HAS SOUPS 8951323 WITH SCORE 8965048.72
AT ITER 6032 NEW BEST:: SOT 51697163 SOS 13724511 HAS SOPS 13724511 HAS SOUS 8951323 HAS SOUPS 8951323 WITH SCORE 8965047.511
AT ITER 6053 NEW BEST:: SOT 51696993 SOS 13724255 HAS SOPS 13724255 HAS SOUS 8951320 HAS SOUPS 8951320 WITH SCORE 8965044.255
AT ITER 6085 NEW BEST:: SOT 51694795 SOS 13720957 HAS SOPS 13720957 HAS SOUS 8951317 HAS SOUPS 8951317 WITH SCORE 8965037.957
AT ITER 6129 NEW BEST:: SOT 51693385 SOS 13718841 HAS SOPS 13718841 HAS SOUS 8951314 HAS SOUPS 8951314 WITH SCORE 8965032.841
AT ITER 6134 NEW BEST:: SOT 51691512 SOS 13717284 HAS SOPS 13717284 HAS SOUS 8950562 HAS SOUPS 8950562 WITH SCORE 8964279.284
AT ITER 6159 NEW BEST:: SOT 51689238 SOS 13714252 HAS SOPS 13714252 HAS SOUS 8949804 HAS SOUPS 8949804 WITH SCORE 8963518.252
AT ITER 6164 NEW BEST:: SOT 51688852 SOS 13713673 HAS SOPS 13713673 HAS SOUS 8949804 HAS SOUPS 8949804 WITH SCORE 8963517.673
AT ITER 6230 NEW BEST:: SOT 51686202 SOS 13709697 HAS SOPS 13709697 HAS SOUS 8949801 HAS SOUPS 8949801 WITH SCORE 8963510.697
AT ITER 6243 NEW BEST:: SOT 51686202 SOS 13709696 HAS SOPS 13709696 HAS SOUS 8949798 HAS SOUPS 8949798 WITH SCORE 8963507.696
AT ITER 6278 NEW BEST:: SOT 51684116 SOS 13705675 HAS SOPS 13705675 HAS SOUS 8947122 HAS SOUPS 8947122 WITH SCORE 8960827.675
AT ITER 6279 NEW BEST:: SOT 51684066 SOS 13705600 HAS SOPS 13705600 HAS SOUS 8947122 HAS SOUPS 8947122 WITH SCORE 8960827.6
AT ITER 6321 NEW BEST:: SOT 51680273 SOS 13699246 HAS SOPS 13699246 HAS SOUS 8944448 HAS SOUPS 8944448 WITH SCORE 8958147.246
AT ITER 6323 NEW BEST:: SOT 51678953 SOS 13697046 HAS SOPS 13697046 HAS SOUS 8942688 HAS SOUPS 8942688 WITH SCORE 8956385.046
AT ITER 6335 NEW BEST:: SOT 51678036 SOS 13696014 HAS SOPS 13696014 HAS SOUS 8942573 HAS SOUPS 8942573 WITH SCORE 8956269.014
AT ITER 6340 NEW BEST:: SOT 51675588 SOS 13692341 HAS SOPS 13692341 HAS SOUS 8942570 HAS SOUPS 8942570 WITH SCORE 8956262.341
AT ITER 6350 NEW BEST:: SOT 51672594 SOS 13688560 HAS SOPS 13688560 HAS SOUS 8941781 HAS SOUPS 8941781 WITH SCORE 8955469.56
AT ITER 6388 NEW BEST:: SOT 51669282 SOS 13683592 HAS SOPS 13683592 HAS SOUS 8941781 HAS SOUPS 8941781 WITH SCORE 8955464.592
AT ITER 6389 NEW BEST:: SOT 51668894 SOS 13682816 HAS SOPS 13682816 HAS SOUS 8941393 HAS SOUPS 8941393 WITH SCORE 8955075.816
AT ITER 6427 NEW BEST:: SOT 51670200 SOS 13684283 HAS SOPS 13684283 HAS SOUS 8940415 HAS SOUPS 8940415 WITH SCORE 8954099.283
AT ITER 6446 NEW BEST:: SOT 51670200 SOS 13683805 HAS SOPS 13683805 HAS SOUS 8938981 HAS SOUPS 8938981 WITH SCORE 8952664.805
AT ITER 6521 NEW BEST:: SOT 51668948 SOS 13681926 HAS SOPS 13681926 HAS SOUS 8938978 HAS SOUPS 8938978 WITH SCORE 8952659.926
AT ITER 6523 NEW BEST:: SOT 51666758 SOS 13679005 HAS SOPS 13679005 HAS SOUS 8938245 HAS SOUPS 8938245 WITH SCORE 8951924.005
AT ITER 6537 NEW BEST:: SOT 51666138 SOS 13678385 HAS SOPS 13678385 HAS SOUS 8938245 HAS SOUPS 8938245 WITH SCORE 8951923.385
AT ITER 6544 NEW BEST:: SOT 51664168 SOS 13675429 HAS SOPS 13675429 HAS SOUS 8938242 HAS SOUPS 8938242 WITH SCORE 8951917.429
AT ITER 6554 NEW BEST:: SOT 51662722 SOS 13673501 HAS SOPS 13673501 HAS SOUS 8937760 HAS SOUPS 8937760 WITH SCORE 8951433.501
AT ITER 6555 NEW BEST:: SOT 51662722 SOS 13673500 HAS SOPS 13673500 HAS SOUS 8937757 HAS SOUPS 8937757 WITH SCORE 8951430.5
AT ITER 6567 NEW BEST:: SOT 51659820 SOS 13669146 HAS SOPS 13669146 HAS SOUS 8937754 HAS SOUPS 8937754 WITH SCORE 8951423.146
AT ITER 6578 NEW BEST:: SOT 51656294 SOS 13663857 HAS SOPS 13663857 HAS SOUS 8937754 HAS SOUPS 8937754 WITH SCORE 8951417.857
AT ITER 6579 NEW BEST:: SOT 51654900 SOS 13661766 HAS SOPS 13661766 HAS SOUS 8937754 HAS SOUPS 8937754 WITH SCORE 8951415.766
AT ITER 6606 NEW BEST:: SOT 51652758 SOS 13658552 HAS SOPS 13658552 HAS SOUS 8937751 HAS SOUPS 8937751 WITH SCORE 8951409.552
AT ITER 6633 NEW BEST:: SOT 51652757 SOS 13658550 HAS SOPS 13658550 HAS SOUS 8937751 HAS SOUPS 8937751 WITH SCORE 8951409.55
AT ITER 6634 NEW BEST:: SOT 51650505 SOS 13655172 HAS SOPS 13655172 HAS SOUS 8937751 HAS SOUPS 8937751 WITH SCORE 8951406.172
AT ITER 6645 NEW BEST:: SOT 51647017 SOS 13650806 HAS SOPS 13650806 HAS SOUS 8936873 HAS SOUPS 8936873 WITH SCORE 8950523.806
AT ITER 6661 NEW BEST:: SOT 51647017 SOS 13650805 HAS SOPS 13650805 HAS SOUS 8936870 HAS SOUPS 8936870 WITH SCORE 8950520.805
AT ITER 6665 NEW BEST:: SOT 51643702 SOS 13645560 HAS SOPS 13645560 HAS SOUS 8935422 HAS SOUPS 8935422 WITH SCORE 8949067.56
AT ITER 6688 NEW BEST:: SOT 51640540 SOS 13640582 HAS SOPS 13640582 HAS SOUS 8934310 HAS SOUPS 8934310 WITH SCORE 8947950.582
AT ITER 6706 NEW BEST:: SOT 51639990 SOS 13639757 HAS SOPS 13639757 HAS SOUS 8934310 HAS SOUPS 8934310 WITH SCORE 8947949.757
AT ITER 6707 NEW BEST:: SOT 51639861 SOS 13639499 HAS SOPS 13639499 HAS SOUS 8934181 HAS SOUPS 8934181 WITH SCORE 8947820.499
AT ITER 6763 NEW BEST:: SOT 51637199 SOS 13635505 HAS SOPS 13635505 HAS SOUS 8934178 HAS SOUPS 8934178 WITH SCORE 8947813.505
AT ITER 6765 NEW BEST:: SOT 51636980 SOS 13635263 HAS SOPS 13635263 HAS SOUS 8934155 HAS SOUPS 8934155 WITH SCORE 8947790.263
AT ITER 6780 NEW BEST:: SOT 51635528 SOS 13633084 HAS SOPS 13633084 HAS SOUS 8934152 HAS SOUPS 8934152 WITH SCORE 8947785.084
AT ITER 6785 NEW BEST:: SOT 51631877 SOS 13627018 HAS SOPS 13627018 HAS SOUS 8932023 HAS SOUPS 8932023 WITH SCORE 8945650.018
AT ITER 6794 NEW BEST:: SOT 51631211 SOS 13626130 HAS SOPS 13626130 HAS SOUS 8931622 HAS SOUPS 8931622 WITH SCORE 8945248.13
AT ITER 6799 NEW BEST:: SOT 51628520 SOS 13621201 HAS SOPS 13621201 HAS SOUS 8928833 HAS SOUPS 8928833 WITH SCORE 8942454.201
AT ITER 6800 NEW BEST:: SOT 51627004 SOS 13619237 HAS SOPS 13619237 HAS SOUS 8927200 HAS SOUPS 8927200 WITH SCORE 8940819.237
AT ITER 6806 NEW BEST:: SOT 51625833 SOS 13616683 HAS SOPS 13616683 HAS SOUS 8925953 HAS SOUPS 8925953 WITH SCORE 8939569.683
AT ITER 6816 NEW BEST:: SOT 51625296 SOS 13615967 HAS SOPS 13615967 HAS SOUS 8925774 HAS SOUPS 8925774 WITH SCORE 8939389.967
AT ITER 6829 NEW BEST:: SOT 51623036 SOS 13612577 HAS SOPS 13612577 HAS SOUS 8925774 HAS SOUPS 8925774 WITH SCORE 8939386.577
AT ITER 6835 NEW BEST:: SOT 51619564 SOS 13606966 HAS SOPS 13606966 HAS SOUS 8924087 HAS SOUPS 8924087 WITH SCORE 8937693.966
AT ITER 6839 NEW BEST:: SOT 51616003 SOS 13602743 HAS SOPS 13602743 HAS SOUS 8923469 HAS SOUPS 8923469 WITH SCORE 8937071.743
AT ITER 6842 NEW BEST:: SOT 51617016 SOS 13603793 HAS SOPS 13603793 HAS SOUS 8922530 HAS SOUPS 8922530 WITH SCORE 8936133.793
AT ITER 6845 NEW BEST:: SOT 51614848 SOS 13600540 HAS SOPS 13600540 HAS SOUS 8922527 HAS SOUPS 8922527 WITH SCORE 8936127.54
AT ITER 6862 NEW BEST:: SOT 51613798 SOS 13599140 HAS SOPS 13599140 HAS SOUS 8922177 HAS SOUPS 8922177 WITH SCORE 8935776.14
AT ITER 6868 NEW BEST:: SOT 51612178 SOS 13596754 HAS SOPS 13596754 HAS SOUS 8921947 HAS SOUPS 8921947 WITH SCORE 8935543.754
AT ITER 6879 NEW BEST:: SOT 51609150 SOS 13592211 HAS SOPS 13592211 HAS SOUS 8921944 HAS SOUPS 8921944 WITH SCORE 8935536.211
AT ITER 6921 NEW BEST:: SOT 51609150 SOS 13592210 HAS SOPS 13592210 HAS SOUS 8921941 HAS SOUPS 8921941 WITH SCORE 8935533.21
AT ITER 6926 NEW BEST:: SOT 51608885 SOS 13591680 HAS SOPS 13591680 HAS SOUS 8921676 HAS SOUPS 8921676 WITH SCORE 8935267.68
AT ITER 6947 NEW BEST:: SOT 51607047 SOS 13588571 HAS SOPS 13588571 HAS SOUS 8920620 HAS SOUPS 8920620 WITH SCORE 8934208.571
AT ITER 7024 NEW BEST:: SOT 51604463 SOS 13584695 HAS SOPS 13584695 HAS SOUS 8920620 HAS SOUPS 8920620 WITH SCORE 8934204.695
AT ITER 7045 NEW BEST:: SOT 51603037 SOS 13582555 HAS SOPS 13582555 HAS SOUS 8920617 HAS SOUPS 8920617 WITH SCORE 8934199.555
AT ITER 7057 NEW BEST:: SOT 51602020 SOS 13581278 HAS SOPS 13581278 HAS SOUS 8920355 HAS SOUPS 8920355 WITH SCORE 8933936.278
AT ITER 7064 NEW BEST:: SOT 51600471 SOS 13579017 HAS SOPS 13579017 HAS SOUS 8918704 HAS SOUPS 8918704 WITH SCORE 8932283.017
AT ITER 7102 NEW BEST:: SOT 51599544 SOS 13577780 HAS SOPS 13577780 HAS SOUS 8918392 HAS SOUPS 8918392 WITH SCORE 8931969.78
AT ITER 7103 NEW BEST:: SOT 51598632 SOS 13576260 HAS SOPS 13576260 HAS SOUS 8917176 HAS SOUPS 8917176 WITH SCORE 8930752.26
AT ITER 7104 NEW BEST:: SOT 51596988 SOS 13574068 HAS SOPS 13574068 HAS SOUS 8916628 HAS SOUPS 8916628 WITH SCORE 8930202.068
AT ITER 7121 NEW BEST:: SOT 51595332 SOS 13571859 HAS SOPS 13571859 HAS SOUS 8916073 HAS SOUPS 8916073 WITH SCORE 8929644.859
AT ITER 7154 NEW BEST:: SOT 51594477 SOS 13570149 HAS SOPS 13570149 HAS SOUS 8914791 HAS SOUPS 8914791 WITH SCORE 8928361.149
AT ITER 7173 NEW BEST:: SOT 51591825 SOS 13566613 HAS SOPS 13566613 HAS SOUS 8913907 HAS SOUPS 8913907 WITH SCORE 8927473.613
AT ITER 7178 NEW BEST:: SOT 51591825 SOS 13566612 HAS SOPS 13566612 HAS SOUS 8913904 HAS SOUPS 8913904 WITH SCORE 8927470.612
AT ITER 7200 NEW BEST:: SOT 51588283 SOS 13560384 HAS SOPS 13560384 HAS SOUS 8910775 HAS SOUPS 8910775 WITH SCORE 8924335.384
AT ITER 7206 NEW BEST:: SOT 51588227 SOS 13560271 HAS SOPS 13560271 HAS SOUS 8910716 HAS SOUPS 8910716 WITH SCORE 8924276.271
AT ITER 7221 NEW BEST:: SOT 51587797 SOS 13559625 HAS SOPS 13559625 HAS SOUS 8910713 HAS SOUPS 8910713 WITH SCORE 8924272.625
AT ITER 7225 NEW BEST:: SOT 51585211 SOS 13556427 HAS SOPS 13556427 HAS SOUS 8910101 HAS SOUPS 8910101 WITH SCORE 8923657.427
AT ITER 7234 NEW BEST:: SOT 51585190 SOS 13556398 HAS SOPS 13556398 HAS SOUS 8910091 HAS SOUPS 8910091 WITH SCORE 8923647.398
AT ITER 7236 NEW BEST:: SOT 51583139 SOS 13553551 HAS SOPS 13553551 HAS SOUS 8908865 HAS SOUPS 8908865 WITH SCORE 8922418.551
AT ITER 7243 NEW BEST:: SOT 51583093 SOS 13553505 HAS SOPS 13553505 HAS SOUS 8908865 HAS SOUPS 8908865 WITH SCORE 8922418.505
AT ITER 7253 NEW BEST:: SOT 51580488 SOS 13550960 HAS SOPS 13550960 HAS SOUS 8908421 HAS SOUPS 8908421 WITH SCORE 8921971.96
AT ITER 7298 NEW BEST:: SOT 51580416 SOS 13550816 HAS SOPS 13550816 HAS SOUS 8908313 HAS SOUPS 8908313 WITH SCORE 8921863.816
AT ITER 7306 NEW BEST:: SOT 51579906 SOS 13549041 HAS SOPS 13549041 HAS SOUS 8905538 HAS SOUPS 8905538 WITH SCORE 8919087.041
AT ITER 7326 NEW BEST:: SOT 51575480 SOS 13541065 HAS SOPS 13541065 HAS SOUS 8901099 HAS SOUPS 8901099 WITH SCORE 8914640.065
AT ITER 7329 NEW BEST:: SOT 51572871 SOS 13537737 HAS SOPS 13537737 HAS SOUS 8900380 HAS SOUPS 8900380 WITH SCORE 8913917.737
AT ITER 7352 NEW BEST:: SOT 51570938 SOS 13534547 HAS SOPS 13534547 HAS SOUS 8899318 HAS SOUPS 8899318 WITH SCORE 8912852.547
AT ITER 7360 NEW BEST:: SOT 51569404 SOS 13532245 HAS SOPS 13532245 HAS SOUS 8899315 HAS SOUPS 8899315 WITH SCORE 8912847.245
AT ITER 7370 NEW BEST:: SOT 51567620 SOS 13529569 HAS SOPS 13529569 HAS SOUS 8899315 HAS SOUPS 8899315 WITH SCORE 8912844.569
AT ITER 7400 NEW BEST:: SOT 51567118 SOS 13528815 HAS SOPS 13528815 HAS SOUS 8899312 HAS SOUPS 8899312 WITH SCORE 8912840.815
AT ITER 7465 NEW BEST:: SOT 51564324 SOS 13524624 HAS SOPS 13524624 HAS SOUS 8899312 HAS SOUPS 8899312 WITH SCORE 8912836.624
AT ITER 7493 NEW BEST:: SOT 51561782 SOS 13520811 HAS SOPS 13520811 HAS SOUS 8899312 HAS SOUPS 8899312 WITH SCORE 8912832.811
AT ITER 7494 NEW BEST:: SOT 51557921 SOS 13514707 HAS SOPS 13514707 HAS SOUS 8897856 HAS SOUPS 8897856 WITH SCORE 8911370.707
AT ITER 7498 NEW BEST:: SOT 51553902 SOS 13509757 HAS SOPS 13509757 HAS SOUS 8896941 HAS SOUPS 8896941 WITH SCORE 8910450.757
AT ITER 7503 NEW BEST:: SOT 51552590 SOS 13507448 HAS SOPS 13507448 HAS SOUS 8895828 HAS SOUPS 8895828 WITH SCORE 8909335.448
AT ITER 7514 NEW BEST:: SOT 51549829 SOS 13502999 HAS SOPS 13502999 HAS SOUS 8894644 HAS SOUPS 8894644 WITH SCORE 8908146.999
AT ITER 7522 NEW BEST:: SOT 51548212 SOS 13500842 HAS SOPS 13500842 HAS SOUS 8894102 HAS SOUPS 8894102 WITH SCORE 8907602.842
AT ITER 7524 NEW BEST:: SOT 51546145 SOS 13498085 HAS SOPS 13498085 HAS SOUS 8893410 HAS SOUPS 8893410 WITH SCORE 8906908.085
AT ITER 7530 NEW BEST:: SOT 51545950 SOS 13496779 HAS SOPS 13496779 HAS SOUS 8890699 HAS SOUPS 8890699 WITH SCORE 8904195.779
AT ITER 7544 NEW BEST:: SOT 51545518 SOS 13496203 HAS SOPS 13496203 HAS SOUS 8890555 HAS SOUPS 8890555 WITH SCORE 8904051.203
AT ITER 7563 NEW BEST:: SOT 51545178 SOS 13495523 HAS SOPS 13495523 HAS SOUS 8890094 HAS SOUPS 8890094 WITH SCORE 8903589.523
AT ITER 7568 NEW BEST:: SOT 51545178 SOS 13495522 HAS SOPS 13495522 HAS SOUS 8890091 HAS SOUPS 8890091 WITH SCORE 8903586.522
AT ITER 7587 NEW BEST:: SOT 51541685 SOS 13489487 HAS SOPS 13489487 HAS SOUS 8887257 HAS SOUPS 8887257 WITH SCORE 8900746.487
AT ITER 7600 NEW BEST:: SOT 51541020 SOS 13488608 HAS SOPS 13488608 HAS SOUS 8887047 HAS SOUPS 8887047 WITH SCORE 8900535.608
AT ITER 7637 NEW BEST:: SOT 51540163 SOS 13486894 HAS SOPS 13486894 HAS SOUS 8886138 HAS SOUPS 8886138 WITH SCORE 8899624.894
AT ITER 7644 NEW BEST:: SOT 51540123 SOS 13486833 HAS SOPS 13486833 HAS SOUS 8886135 HAS SOUPS 8886135 WITH SCORE 8899621.833
AT ITER 7692 NEW BEST:: SOT 51536610 SOS 13481156 HAS SOPS 13481156 HAS SOUS 8884244 HAS SOUPS 8884244 WITH SCORE 8897725.156
AT ITER 7704 NEW BEST:: SOT 51535863 SOS 13480159 HAS SOPS 13480159 HAS SOUS 8883992 HAS SOUPS 8883992 WITH SCORE 8897472.159
AT ITER 7713 NEW BEST:: SOT 51534960 SOS 13478955 HAS SOPS 13478955 HAS SOUS 8883691 HAS SOUPS 8883691 WITH SCORE 8897169.955
AT ITER 7741 NEW BEST:: SOT 51533681 SOS 13477324 HAS SOPS 13477324 HAS SOUS 8883337 HAS SOUPS 8883337 WITH SCORE 8896814.324
AT ITER 7742 NEW BEST:: SOT 51530577 SOS 13472667 HAS SOPS 13472667 HAS SOUS 8883334 HAS SOUPS 8883334 WITH SCORE 8896806.667
AT ITER 7747 NEW BEST:: SOT 51529518 SOS 13471111 HAS SOPS 13471111 HAS SOUS 8882549 HAS SOUPS 8882549 WITH SCORE 8896020.111
AT ITER 7751 NEW BEST:: SOT 51528858 SOS 13470230 HAS SOPS 13470230 HAS SOUS 8882326 HAS SOUPS 8882326 WITH SCORE 8895796.23
AT ITER 7753 NEW BEST:: SOT 51528858 SOS 13470016 HAS SOPS 13470016 HAS SOUS 8881684 HAS SOUPS 8881684 WITH SCORE 8895154.016
AT ITER 7778 NEW BEST:: SOT 51528858 SOS 13469684 HAS SOPS 13469684 HAS SOUS 8880688 HAS SOUPS 8880688 WITH SCORE 8894157.684
AT ITER 7823 NEW BEST:: SOT 51528524 SOS 13469350 HAS SOPS 13469350 HAS SOUS 8880688 HAS SOUPS 8880688 WITH SCORE 8894157.35
AT ITER 7830 NEW BEST:: SOT 51526706 SOS 13466926 HAS SOPS 13466926 HAS SOUS 8880082 HAS SOUPS 8880082 WITH SCORE 8893548.926
AT ITER 7840 NEW BEST:: SOT 51525628 SOS 13465637 HAS SOPS 13465637 HAS SOUS 8879869 HAS SOUPS 8879869 WITH SCORE 8893334.637
AT ITER 7846 NEW BEST:: SOT 51522164 SOS 13460441 HAS SOPS 13460441 HAS SOUS 8879869 HAS SOUPS 8879869 WITH SCORE 8893329.441
AT ITER 7874 NEW BEST:: SOT 51520291 SOS 13457678 HAS SOPS 13457678 HAS SOUS 8877658 HAS SOUPS 8877658 WITH SCORE 8891115.678
AT ITER 7876 NEW BEST:: SOT 51518487 SOS 13455356 HAS SOPS 13455356 HAS SOUS 8877140 HAS SOUPS 8877140 WITH SCORE 8890595.356
AT ITER 7882 NEW BEST:: SOT 51517975 SOS 13454588 HAS SOPS 13454588 HAS SOUS 8877140 HAS SOUPS 8877140 WITH SCORE 8890594.588
AT ITER 7886 NEW BEST:: SOT 51517735 SOS 13454348 HAS SOPS 13454348 HAS SOUS 8877020 HAS SOUPS 8877020 WITH SCORE 8890474.348
AT ITER 7893 NEW BEST:: SOT 51513584 SOS 13447127 HAS SOPS 13447127 HAS SOUS 8873626 HAS SOUPS 8873626 WITH SCORE 8887073.127
AT ITER 7919 NEW BEST:: SOT 51509924 SOS 13441636 HAS SOPS 13441636 HAS SOUS 8873623 HAS SOUPS 8873623 WITH SCORE 8887064.636
AT ITER 7935 NEW BEST:: SOT 51506537 SOS 13437925 HAS SOPS 13437925 HAS SOUS 8872808 HAS SOUPS 8872808 WITH SCORE 8886245.925
AT ITER 7965 NEW BEST:: SOT 51506052 SOS 13437335 HAS SOPS 13437335 HAS SOUS 8872703 HAS SOUPS 8872703 WITH SCORE 8886140.335
AT ITER 8007 NEW BEST:: SOT 51503570 SOS 13433611 HAS SOPS 13433611 HAS SOUS 8872700 HAS SOUPS 8872700 WITH SCORE 8886133.611
AT ITER 8015 NEW BEST:: SOT 51503222 SOS 13433089 HAS SOPS 13433089 HAS SOUS 8872700 HAS SOUPS 8872700 WITH SCORE 8886133.089
AT ITER 8017 NEW BEST:: SOT 51498543 SOS 13425080 HAS SOPS 13425080 HAS SOUS 8869647 HAS SOUPS 8869647 WITH SCORE 8883072.08
AT ITER 8046 NEW BEST:: SOT 51495549 SOS 13420588 HAS SOPS 13420588 HAS SOUS 8869644 HAS SOUPS 8869644 WITH SCORE 8883064.588
AT ITER 8081 NEW BEST:: SOT 51492431 SOS 13414829 HAS SOPS 13414829 HAS SOUS 8866160 HAS SOUPS 8866160 WITH SCORE 8879574.829
AT ITER 8090 NEW BEST:: SOT 51491684 SOS 13413335 HAS SOPS 13413335 HAS SOUS 8865377 HAS SOUPS 8865377 WITH SCORE 8878790.335
AT ITER 8096 NEW BEST:: SOT 51487878 SOS 13408753 HAS SOPS 13408753 HAS SOUS 8864638 HAS SOUPS 8864638 WITH SCORE 8878046.753
AT ITER 8098 NEW BEST:: SOT 51485718 SOS 13405513 HAS SOPS 13405513 HAS SOUS 8864638 HAS SOUPS 8864638 WITH SCORE 8878043.513
AT ITER 8103 NEW BEST:: SOT 51485555 SOS 13405304 HAS SOPS 13405304 HAS SOUS 8864590 HAS SOUPS 8864590 WITH SCORE 8877995.304
AT ITER 8146 NEW BEST:: SOT 51485124 SOS 13404796 HAS SOPS 13404796 HAS SOUS 8864513 HAS SOUPS 8864513 WITH SCORE 8877917.796
AT ITER 8149 NEW BEST:: SOT 51482218 SOS 13402144 HAS SOPS 13402144 HAS SOUS 8864317 HAS SOUPS 8864317 WITH SCORE 8877719.144
AT ITER 8164 NEW BEST:: SOT 51479020 SOS 13397346 HAS SOPS 13397346 HAS SOUS 8864314 HAS SOUPS 8864314 WITH SCORE 8877711.346
AT ITER 8175 NEW BEST:: SOT 51475713 SOS 13390928 HAS SOPS 13390928 HAS SOUS 8859868 HAS SOUPS 8859868 WITH SCORE 8873258.928
AT ITER 8178 NEW BEST:: SOT 51473567 SOS 13388805 HAS SOPS 13388805 HAS SOUS 8859185 HAS SOUPS 8859185 WITH SCORE 8872573.805
AT ITER 8179 NEW BEST:: SOT 51472409 SOS 13386875 HAS SOPS 13386875 HAS SOUS 8857641 HAS SOUPS 8857641 WITH SCORE 8871027.875
AT ITER 8183 NEW BEST:: SOT 51471755 SOS 13385894 HAS SOPS 13385894 HAS SOUS 8857641 HAS SOUPS 8857641 WITH SCORE 8871026.894
AT ITER 8189 NEW BEST:: SOT 51470723 SOS 13384862 HAS SOPS 13384862 HAS SOUS 8857641 HAS SOUPS 8857641 WITH SCORE 8871025.862
AT ITER 8232 NEW BEST:: SOT 51470027 SOS 13384146 HAS SOPS 13384146 HAS SOUS 8857621 HAS SOUPS 8857621 WITH SCORE 8871005.146
AT ITER 8243 NEW BEST:: SOT 51470027 SOS 13384145 HAS SOPS 13384145 HAS SOUS 8857618 HAS SOUPS 8857618 WITH SCORE 8871002.145
AT ITER 8251 NEW BEST:: SOT 51466921 SOS 13379485 HAS SOPS 13379485 HAS SOUS 8857615 HAS SOUPS 8857615 WITH SCORE 8870994.485
AT ITER 8264 NEW BEST:: SOT 51463805 SOS 13375661 HAS SOPS 13375661 HAS SOUS 8856907 HAS SOUPS 8856907 WITH SCORE 8870282.661
AT ITER 8282 NEW BEST:: SOT 51463649 SOS 13375349 HAS SOPS 13375349 HAS SOUS 8856695 HAS SOUPS 8856695 WITH SCORE 8870070.349
AT ITER 8306 NEW BEST:: SOT 51462849 SOS 13374549 HAS SOPS 13374549 HAS SOUS 8856695 HAS SOUPS 8856695 WITH SCORE 8870069.549
AT ITER 8364 NEW BEST:: SOT 51459867 SOS 13370192 HAS SOPS 13370192 HAS SOUS 8856677 HAS SOUPS 8856677 WITH SCORE 8870047.192
AT ITER 8374 NEW BEST:: SOT 51459017 SOS 13368993 HAS SOPS 13368993 HAS SOUS 8855652 HAS SOUPS 8855652 WITH SCORE 8869020.993
AT ITER 8385 NEW BEST:: SOT 51459017 SOS 13368992 HAS SOPS 13368992 HAS SOUS 8855649 HAS SOUPS 8855649 WITH SCORE 8869017.992
AT ITER 8387 NEW BEST:: SOT 51458502 SOS 13367962 HAS SOPS 13367962 HAS SOUS 8855134 HAS SOUPS 8855134 WITH SCORE 8868501.962
AT ITER 8408 NEW BEST:: SOT 51456526 SOS 13364675 HAS SOPS 13364675 HAS SOUS 8854165 HAS SOUPS 8854165 WITH SCORE 8867529.675
AT ITER 8412 NEW BEST:: SOT 51454178 SOS 13361710 HAS SOPS 13361710 HAS SOUS 8853546 HAS SOUPS 8853546 WITH SCORE 8866907.71
AT ITER 8421 NEW BEST:: SOT 51453665 SOS 13360684 HAS SOPS 13360684 HAS SOUS 8853033 HAS SOUPS 8853033 WITH SCORE 8866393.684
AT ITER 8426 NEW BEST:: SOT 51452479 SOS 13359216 HAS SOPS 13359216 HAS SOUS 8852751 HAS SOUPS 8852751 WITH SCORE 8866110.216
AT ITER 8429 NEW BEST:: SOT 51451559 SOS 13358295 HAS SOPS 13358295 HAS SOUS 8852749 HAS SOUPS 8852749 WITH SCORE 8866107.295
AT ITER 8439 NEW BEST:: SOT 51451111 SOS 13357623 HAS SOPS 13357623 HAS SOUS 8852749 HAS SOUPS 8852749 WITH SCORE 8866106.623
AT ITER 8477 NEW BEST:: SOT 51450933 SOS 13357267 HAS SOPS 13357267 HAS SOUS 8852571 HAS SOUPS 8852571 WITH SCORE 8865928.267
AT ITER 8500 NEW BEST:: SOT 51449757 SOS 13355502 HAS SOPS 13355502 HAS SOUS 8852568 HAS SOUPS 8852568 WITH SCORE 8865923.502
AT ITER 8520 NEW BEST:: SOT 51446696 SOS 13350948 HAS SOPS 13350948 HAS SOUS 8852410 HAS SOUPS 8852410 WITH SCORE 8865760.948
AT ITER 8532 NEW BEST:: SOT 51443876 SOS 13347188 HAS SOPS 13347188 HAS SOUS 8851470 HAS SOUPS 8851470 WITH SCORE 8864817.188
AT ITER 8548 NEW BEST:: SOT 51440978 SOS 13343733 HAS SOPS 13343733 HAS SOUS 8850928 HAS SOUPS 8850928 WITH SCORE 8864271.733
AT ITER 8623 NEW BEST:: SOT 51440978 SOS 13343422 HAS SOPS 13343422 HAS SOUS 8849995 HAS SOUPS 8849995 WITH SCORE 8863338.422
AT ITER 8649 NEW BEST:: SOT 51439501 SOS 13341626 HAS SOPS 13341626 HAS SOUS 8848432 HAS SOUPS 8848432 WITH SCORE 8861773.626
AT ITER 8687 NEW BEST:: SOT 51436650 SOS 13336538 HAS SOPS 13336538 HAS SOUS 8845726 HAS SOUPS 8845726 WITH SCORE 8859062.538
AT ITER 8726 NEW BEST:: SOT 51435928 SOS 13335651 HAS SOPS 13335651 HAS SOUS 8845559 HAS SOUPS 8845559 WITH SCORE 8858894.651
AT ITER 8738 NEW BEST:: SOT 51435928 SOS 13335650 HAS SOPS 13335650 HAS SOUS 8845556 HAS SOUPS 8845556 WITH SCORE 8858891.65
AT ITER 8767 NEW BEST:: SOT 51435928 SOS 13335649 HAS SOPS 13335649 HAS SOUS 8845553 HAS SOUPS 8845553 WITH SCORE 8858888.649
AT ITER 8784 NEW BEST:: SOT 51435701 SOS 13335195 HAS SOPS 13335195 HAS SOUS 8845540 HAS SOUPS 8845540 WITH SCORE 8858875.195
AT ITER 8786 NEW BEST:: SOT 51433693 SOS 13332632 HAS SOPS 13332632 HAS SOUS 8843063 HAS SOUPS 8843063 WITH SCORE 8856395.632
AT ITER 8803 NEW BEST:: SOT 51432580 SOS 13330777 HAS SOPS 13330777 HAS SOUS 8841579 HAS SOUPS 8841579 WITH SCORE 8854909.777
AT ITER 8807 NEW BEST:: SOT 51430140 SOS 13327692 HAS SOPS 13327692 HAS SOUS 8840932 HAS SOUPS 8840932 WITH SCORE 8854259.692
AT ITER 8811 NEW BEST:: SOT 51429454 SOS 13326320 HAS SOPS 13326320 HAS SOUS 8839903 HAS SOUPS 8839903 WITH SCORE 8853229.32
AT ITER 8822 NEW BEST:: SOT 51426365 SOS 13320904 HAS SOPS 13320904 HAS SOUS 8837268 HAS SOUPS 8837268 WITH SCORE 8850588.904
AT ITER 8890 NEW BEST:: SOT 51425323 SOS 13319820 HAS SOPS 13319820 HAS SOUS 8837226 HAS SOUPS 8837226 WITH SCORE 8850545.82
AT ITER 8905 NEW BEST:: SOT 51422871 SOS 13316142 HAS SOPS 13316142 HAS SOUS 8837226 HAS SOUPS 8837226 WITH SCORE 8850542.142
AT ITER 8936 NEW BEST:: SOT 51420869 SOS 13312563 HAS SOPS 13312563 HAS SOUS 8835321 HAS SOUPS 8835321 WITH SCORE 8848633.563
AT ITER 8992 NEW BEST:: SOT 51420843 SOS 13312511 HAS SOPS 13312511 HAS SOUS 8835282 HAS SOUPS 8835282 WITH SCORE 8848594.511
AT ITER 8997 NEW BEST:: SOT 51421082 SOS 13312989 HAS SOPS 13312989 HAS SOUS 8835262 HAS SOUPS 8835262 WITH SCORE 8848574.989
AT ITER 9005 NEW BEST:: SOT 51419966 SOS 13311625 HAS SOPS 13311625 HAS SOUS 8835014 HAS SOUPS 8835014 WITH SCORE 8848325.625
AT ITER 9044 NEW BEST:: SOT 51418416 SOS 13309253 HAS SOPS 13309253 HAS SOUS 8833156 HAS SOUPS 8833156 WITH SCORE 8846465.253
AT ITER 9052 NEW BEST:: SOT 51416378 SOS 13306195 HAS SOPS 13306195 HAS SOUS 8833153 HAS SOUPS 8833153 WITH SCORE 8846459.195
AT ITER 9072 NEW BEST:: SOT 51416154 SOS 13305749 HAS SOPS 13305749 HAS SOUS 8832935 HAS SOUPS 8832935 WITH SCORE 8846240.749
AT ITER 9075 NEW BEST:: SOT 51413287 SOS 13300793 HAS SOPS 13300793 HAS SOUS 8830968 HAS SOUPS 8830968 WITH SCORE 8844268.793
AT ITER 9077 NEW BEST:: SOT 51412167 SOS 13299426 HAS SOPS 13299426 HAS SOUS 8830795 HAS SOUPS 8830795 WITH SCORE 8844094.426
AT ITER 9080 NEW BEST:: SOT 51409854 SOS 13295889 HAS SOPS 13295889 HAS SOUS 8828183 HAS SOUPS 8828183 WITH SCORE 8841478.889
AT ITER 9105 NEW BEST:: SOT 51409041 SOS 13294805 HAS SOPS 13294805 HAS SOUS 8827912 HAS SOUPS 8827912 WITH SCORE 8841206.805
AT ITER 9121 NEW BEST:: SOT 51406593 SOS 13291133 HAS SOPS 13291133 HAS SOUS 8827912 HAS SOUPS 8827912 WITH SCORE 8841203.133
AT ITER 9136 NEW BEST:: SOT 51406247 SOS 13290441 HAS SOPS 13290441 HAS SOUS 8827566 HAS SOUPS 8827566 WITH SCORE 8840856.441
AT ITER 9150 NEW BEST:: SOT 51405491 SOS 13289432 HAS SOPS 13289432 HAS SOUS 8827311 HAS SOUPS 8827311 WITH SCORE 8840600.432
AT ITER 9154 NEW BEST:: SOT 51405474 SOS 13289398 HAS SOPS 13289398 HAS SOUS 8827311 HAS SOUPS 8827311 WITH SCORE 8840600.398
AT ITER 9157 NEW BEST:: SOT 51402769 SOS 13286053 HAS SOPS 13286053 HAS SOUS 8826267 HAS SOUPS 8826267 WITH SCORE 8839553.053
AT ITER 9162 NEW BEST:: SOT 51402051 SOS 13284975 HAS SOPS 13284975 HAS SOUS 8826264 HAS SOUPS 8826264 WITH SCORE 8839548.975
AT ITER 9198 NEW BEST:: SOT 51400493 SOS 13282637 HAS SOPS 13282637 HAS SOUS 8826261 HAS SOUPS 8826261 WITH SCORE 8839543.637
AT ITER 9203 NEW BEST:: SOT 51396877 SOS 13276199 HAS SOPS 13276199 HAS SOUS 8822909 HAS SOUPS 8822909 WITH SCORE 8836185.199
AT ITER 9210 NEW BEST:: SOT 51395446 SOS 13274804 HAS SOPS 13274804 HAS SOUS 8822905 HAS SOUPS 8822905 WITH SCORE 8836179.804
AT ITER 9254 NEW BEST:: SOT 51395192 SOS 13274604 HAS SOPS 13274604 HAS SOUS 8822905 HAS SOUPS 8822905 WITH SCORE 8836179.604
AT ITER 9256 NEW BEST:: SOT 51395192 SOS 13273718 HAS SOPS 13273718 HAS SOUS 8820247 HAS SOUPS 8820247 WITH SCORE 8833520.718
AT ITER 9309 NEW BEST:: SOT 51394035 SOS 13272326 HAS SOPS 13272326 HAS SOUS 8820012 HAS SOUPS 8820012 WITH SCORE 8833284.326
AT ITER 9322 NEW BEST:: SOT 51393460 SOS 13271176 HAS SOPS 13271176 HAS SOUS 8819437 HAS SOUPS 8819437 WITH SCORE 8832708.176
AT ITER 9328 NEW BEST:: SOT 51390355 SOS 13266708 HAS SOPS 13266708 HAS SOUS 8819411 HAS SOUPS 8819411 WITH SCORE 8832677.708
AT ITER 9343 NEW BEST:: SOT 51390355 SOS 13266707 HAS SOPS 13266707 HAS SOUS 8819408 HAS SOUPS 8819408 WITH SCORE 8832674.707
AT ITER 9373 NEW BEST:: SOT 51387948 SOS 13263527 HAS SOPS 13263527 HAS SOUS 8818652 HAS SOUPS 8818652 WITH SCORE 8831915.527
AT ITER 9386 NEW BEST:: SOT 51386750 SOS 13261730 HAS SOPS 13261730 HAS SOUS 8818652 HAS SOUPS 8818652 WITH SCORE 8831913.73
AT ITER 9439 NEW BEST:: SOT 51385244 SOS 13259839 HAS SOPS 13259839 HAS SOUS 8818265 HAS SOUPS 8818265 WITH SCORE 8831524.839
AT ITER 9458 NEW BEST:: SOT 51381856 SOS 13254164 HAS SOPS 13254164 HAS SOUS 8815982 HAS SOUPS 8815982 WITH SCORE 8829236.164
AT ITER 9459 NEW BEST:: SOT 51379389 SOS 13251533 HAS SOPS 13251533 HAS SOUS 8815728 HAS SOUPS 8815728 WITH SCORE 8828979.533
AT ITER 9476 NEW BEST:: SOT 51375957 SOS 13246926 HAS SOPS 13246926 HAS SOUS 8812813 HAS SOUPS 8812813 WITH SCORE 8826059.926
AT ITER 9513 NEW BEST:: SOT 51373029 SOS 13242533 HAS SOPS 13242533 HAS SOUS 8812810 HAS SOUPS 8812810 WITH SCORE 8826052.533
AT ITER 9517 NEW BEST:: SOT 51372567 SOS 13241916 HAS SOPS 13241916 HAS SOUS 8812653 HAS SOUPS 8812653 WITH SCORE 8825894.916
AT ITER 9526 NEW BEST:: SOT 51371878 SOS 13240816 HAS SOPS 13240816 HAS SOUS 8812555 HAS SOUPS 8812555 WITH SCORE 8825795.816
AT ITER 9548 NEW BEST:: SOT 51370273 SOS 13239459 HAS SOPS 13239459 HAS SOUS 8812553 HAS SOUPS 8812553 WITH SCORE 8825792.459
AT ITER 9549 NEW BEST:: SOT 51368493 SOS 13236206 HAS SOPS 13236206 HAS SOUS 8810589 HAS SOUPS 8810589 WITH SCORE 8823825.206
AT ITER 9568 NEW BEST:: SOT 51366412 SOS 13233059 HAS SOPS 13233059 HAS SOUS 8810030 HAS SOUPS 8810030 WITH SCORE 8823263.059
AT ITER 9574 NEW BEST:: SOT 51365444 SOS 13231607 HAS SOPS 13231607 HAS SOUS 8810030 HAS SOUPS 8810030 WITH SCORE 8823261.607
AT ITER 9593 NEW BEST:: SOT 51363766 SOS 13228387 HAS SOPS 13228387 HAS SOUS 8807921 HAS SOUPS 8807921 WITH SCORE 8821149.387
AT ITER 9597 NEW BEST:: SOT 51363766 SOS 13228386 HAS SOPS 13228386 HAS SOUS 8807918 HAS SOUPS 8807918 WITH SCORE 8821146.386
AT ITER 9599 NEW BEST:: SOT 51361438 SOS 13225282 HAS SOPS 13225282 HAS SOUS 8807142 HAS SOUPS 8807142 WITH SCORE 8820367.282
AT ITER 9613 NEW BEST:: SOT 51359484 SOS 13222350 HAS SOPS 13222350 HAS SOUS 8807139 HAS SOUPS 8807139 WITH SCORE 8820361.35
AT ITER 9636 NEW BEST:: SOT 51358561 SOS 13220769 HAS SOPS 13220769 HAS SOUS 8806088 HAS SOUPS 8806088 WITH SCORE 8819308.769
AT ITER 9644 NEW BEST:: SOT 51357733 SOS 13219664 HAS SOPS 13219664 HAS SOUS 8805809 HAS SOUPS 8805809 WITH SCORE 8819028.664
AT ITER 9678 NEW BEST:: SOT 51358524 SOS 13220489 HAS SOPS 13220489 HAS SOUS 8805086 HAS SOUPS 8805086 WITH SCORE 8818306.489
AT ITER 9688 NEW BEST:: SOT 51357324 SOS 13218089 HAS SOPS 13218089 HAS SOUS 8804491 HAS SOUPS 8804491 WITH SCORE 8817709.089
AT ITER 9726 NEW BEST:: SOT 51357275 SOS 13217991 HAS SOPS 13217991 HAS SOUS 8804442 HAS SOUPS 8804442 WITH SCORE 8817659.991
AT ITER 9728 NEW BEST:: SOT 51356641 SOS 13217356 HAS SOPS 13217356 HAS SOUS 8804440 HAS SOUPS 8804440 WITH SCORE 8817657.356
AT ITER 9744 NEW BEST:: SOT 51353961 SOS 13213335 HAS SOPS 13213335 HAS SOUS 8804437 HAS SOUPS 8804437 WITH SCORE 8817650.335
AT ITER 9775 NEW BEST:: SOT 51352872 SOS 13211882 HAS SOPS 13211882 HAS SOUS 8804071 HAS SOUPS 8804071 WITH SCORE 8817282.882
AT ITER 9777 NEW BEST:: SOT 51351921 SOS 13210613 HAS SOPS 13210613 HAS SOUS 8803751 HAS SOUPS 8803751 WITH SCORE 8816961.613
AT ITER 9778 NEW BEST:: SOT 51350357 SOS 13208926 HAS SOPS 13208926 HAS SOUS 8803626 HAS SOUPS 8803626 WITH SCORE 8816834.926
AT ITER 9791 NEW BEST:: SOT 51351016 SOS 13209585 HAS SOPS 13209585 HAS SOUS 8802967 HAS SOUPS 8802967 WITH SCORE 8816176.585
AT ITER 9817 NEW BEST:: SOT 51348942 SOS 13206474 HAS SOPS 13206474 HAS SOUS 8802967 HAS SOUPS 8802967 WITH SCORE 8816173.474
AT ITER 9833 NEW BEST:: SOT 51348586 SOS 13205939 HAS SOPS 13205939 HAS SOUS 8802964 HAS SOUPS 8802964 WITH SCORE 8816169.939
AT ITER 9850 NEW BEST:: SOT 51347022 SOS 13203960 HAS SOPS 13203960 HAS SOUS 8802547 HAS SOUPS 8802547 WITH SCORE 8815750.96
AT ITER 9856 NEW BEST:: SOT 51346898 SOS 13203774 HAS SOPS 13203774 HAS SOUS 8802547 HAS SOUPS 8802547 WITH SCORE 8815750.774
AT ITER 9872 NEW BEST:: SOT 51345474 SOS 13201734 HAS SOPS 13201734 HAS SOUS 8799995 HAS SOUPS 8799995 WITH SCORE 8813196.734
AT ITER 9882 NEW BEST:: SOT 51342066 SOS 13196621 HAS SOPS 13196621 HAS SOUS 8799992 HAS SOUPS 8799992 WITH SCORE 8813188.621
AT ITER 9889 NEW BEST:: SOT 51340308 SOS 13194611 HAS SOPS 13194611 HAS SOUS 8799780 HAS SOUPS 8799780 WITH SCORE 8812974.611
AT ITER 9899 NEW BEST:: SOT 51338182 SOS 13191421 HAS SOPS 13191421 HAS SOUS 8799777 HAS SOUPS 8799777 WITH SCORE 8812968.421
AT ITER 9915 NEW BEST:: SOT 51335894 SOS 13188623 HAS SOPS 13188623 HAS SOUS 8799418 HAS SOUPS 8799418 WITH SCORE 8812606.623
AT ITER 9923 NEW BEST:: SOT 51334913 SOS 13187363 HAS SOPS 13187363 HAS SOUS 8799139 HAS SOUPS 8799139 WITH SCORE 8812326.363
AT ITER 9978 NEW BEST:: SOT 51334790 SOS 13187198 HAS SOPS 13187198 HAS SOUS 8799095 HAS SOUPS 8799095 WITH SCORE 8812282.198
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 10993348 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16137084 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
Caught signal 15, terminating.
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ViralEpidemic-PT-S02D1C1A10"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is ViralEpidemic-PT-S02D1C1A10, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r483-tall-167912696801248"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ViralEpidemic-PT-S02D1C1A10.tgz
mv ViralEpidemic-PT-S02D1C1A10 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;