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.r099-tall-167814472900824.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 DLCshifumi-PT-3b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r099-tall-167814472900824
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.6M
-rw-r--r-- 1 mcc users 5.7K Feb 26 08:03 CTLCardinality.txt
-rw-r--r-- 1 mcc users 54K Feb 26 08:03 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.6K Feb 26 08:03 CTLFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 26 08:03 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 15:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.9K Feb 26 08:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 86K Feb 26 08:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.8K Feb 26 08:04 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 54K Feb 26 08:04 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 2.3M Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678266275999

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=DLCshifumi-PT-3b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCshifumi (PT), instance 3b
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: 7058 places, 9611 transitions, 24573 arcs.
AT ITER 0 NEW BEST:: SOT 42863379 SOS 8304026 HAS SOPS 8304026 HAS SOUS 6796181 HAS SOUPS 6796181 WITH SCORE 6804485.026
AT ITER 6 NEW BEST:: SOT 42863046 SOS 8302500 HAS SOPS 8302500 HAS SOUS 6795845 HAS SOUPS 6795845 WITH SCORE 6804147.5
AT ITER 9 NEW BEST:: SOT 42862785 SOS 8302239 HAS SOPS 8302239 HAS SOUS 6795844 HAS SOUPS 6795844 WITH SCORE 6804146.239
AT ITER 22 NEW BEST:: SOT 42862785 SOS 8302239 HAS SOPS 8302239 HAS SOUS 6794791 HAS SOUPS 6794791 WITH SCORE 6803093.239
AT ITER 66 NEW BEST:: SOT 42861087 SOS 8301390 HAS SOPS 8301390 HAS SOUS 6793942 HAS SOUPS 6793942 WITH SCORE 6802243.39
AT ITER 74 NEW BEST:: SOT 42861087 SOS 8300632 HAS SOPS 8300632 HAS SOUS 6793563 HAS SOUPS 6793563 WITH SCORE 6801863.632
AT ITER 81 NEW BEST:: SOT 42860991 SOS 8300440 HAS SOPS 8300440 HAS SOUS 6793371 HAS SOUPS 6793371 WITH SCORE 6801671.44
AT ITER 112 NEW BEST:: SOT 42859982 SOS 8299526 HAS SOPS 8299526 HAS SOUS 6792362 HAS SOUPS 6792362 WITH SCORE 6800661.526
AT ITER 117 NEW BEST:: SOT 42858972 SOS 8297506 HAS SOPS 8297506 HAS SOUS 6789993 HAS SOUPS 6789993 WITH SCORE 6798290.506
AT ITER 120 NEW BEST:: SOT 42858570 SOS 8296702 HAS SOPS 8296702 HAS SOUS 6789189 HAS SOUPS 6789189 WITH SCORE 6797485.702
AT ITER 138 NEW BEST:: SOT 42857688 SOS 8294584 HAS SOPS 8294584 HAS SOUS 6787552 HAS SOUPS 6787552 WITH SCORE 6795846.584
AT ITER 145 NEW BEST:: SOT 42857432 SOS 8294836 HAS SOPS 8294836 HAS SOUS 6787551 HAS SOUPS 6787551 WITH SCORE 6795845.836
AT ITER 146 NEW BEST:: SOT 42857093 SOS 8294610 HAS SOPS 8294610 HAS SOUS 6787325 HAS SOUPS 6787325 WITH SCORE 6795619.61
AT ITER 151 NEW BEST:: SOT 42856882 SOS 8294189 HAS SOPS 8294189 HAS SOUS 6786904 HAS SOUPS 6786904 WITH SCORE 6795198.189
AT ITER 187 NEW BEST:: SOT 42857377 SOS 8293988 HAS SOPS 8293988 HAS SOUS 6786703 HAS SOUPS 6786703 WITH SCORE 6794996.988
AT ITER 211 NEW BEST:: SOT 42857582 SOS 8294398 HAS SOPS 8294398 HAS SOUS 6786402 HAS SOUPS 6786402 WITH SCORE 6794696.398
AT ITER 215 NEW BEST:: SOT 42857204 SOS 8292508 HAS SOPS 8292508 HAS SOUS 6785646 HAS SOUPS 6785646 WITH SCORE 6793938.508
AT ITER 220 NEW BEST:: SOT 42857204 SOS 8292399 HAS SOPS 8292399 HAS SOUS 6785537 HAS SOUPS 6785537 WITH SCORE 6793829.399
AT ITER 223 NEW BEST:: SOT 42857203 SOS 8292397 HAS SOPS 8292397 HAS SOUS 6785535 HAS SOUPS 6785535 WITH SCORE 6793827.397
AT ITER 231 NEW BEST:: SOT 42855596 SOS 8289183 HAS SOPS 8289183 HAS SOUS 6782321 HAS SOUPS 6782321 WITH SCORE 6790610.183
AT ITER 247 NEW BEST:: SOT 42855353 SOS 8288698 HAS SOPS 8288698 HAS SOUS 6781836 HAS SOUPS 6781836 WITH SCORE 6790124.698
AT ITER 258 NEW BEST:: SOT 42855212 SOS 8288416 HAS SOPS 8288416 HAS SOUS 6781554 HAS SOUPS 6781554 WITH SCORE 6789842.416
AT ITER 286 NEW BEST:: SOT 42853513 SOS 8287922 HAS SOPS 8287922 HAS SOUS 6781060 HAS SOUPS 6781060 WITH SCORE 6789347.922
AT ITER 290 NEW BEST:: SOT 42853093 SOS 8287083 HAS SOPS 8287083 HAS SOUS 6780221 HAS SOUPS 6780221 WITH SCORE 6788508.083
AT ITER 306 NEW BEST:: SOT 42853093 SOS 8287036 HAS SOPS 8287036 HAS SOUS 6780221 HAS SOUPS 6780221 WITH SCORE 6788508.036
AT ITER 308 NEW BEST:: SOT 42852535 SOS 8286478 HAS SOPS 8286478 HAS SOUS 6779663 HAS SOUPS 6779663 WITH SCORE 6787949.478
AT ITER 372 NEW BEST:: SOT 42852935 SOS 8286878 HAS SOPS 8286878 HAS SOUS 6779662 HAS SOUPS 6779662 WITH SCORE 6787948.878
AT ITER 376 NEW BEST:: SOT 42852141 SOS 8282908 HAS SOPS 8282908 HAS SOUS 6778074 HAS SOUPS 6778074 WITH SCORE 6786356.908
AT ITER 397 NEW BEST:: SOT 42852169 SOS 8281996 HAS SOPS 8281996 HAS SOUS 6777546 HAS SOUPS 6777546 WITH SCORE 6785827.996
AT ITER 398 NEW BEST:: SOT 42852077 SOS 8281812 HAS SOPS 8281812 HAS SOUS 6777362 HAS SOUPS 6777362 WITH SCORE 6785643.812
AT ITER 412 NEW BEST:: SOT 42851659 SOS 8280976 HAS SOPS 8280976 HAS SOUS 6775858 HAS SOUPS 6775858 WITH SCORE 6784138.976
AT ITER 417 NEW BEST:: SOT 42851050 SOS 8280914 HAS SOPS 8280914 HAS SOUS 6775455 HAS SOUPS 6775455 WITH SCORE 6783735.914
AT ITER 426 NEW BEST:: SOT 42850929 SOS 8280672 HAS SOPS 8280672 HAS SOUS 6775213 HAS SOUPS 6775213 WITH SCORE 6783493.672
AT ITER 435 NEW BEST:: SOT 42849347 SOS 8277508 HAS SOPS 8277508 HAS SOUS 6772049 HAS SOUPS 6772049 WITH SCORE 6780326.508
AT ITER 446 NEW BEST:: SOT 42849107 SOS 8277498 HAS SOPS 8277498 HAS SOUS 6772048 HAS SOUPS 6772048 WITH SCORE 6780325.498
AT ITER 469 NEW BEST:: SOT 42849015 SOS 8277314 HAS SOPS 8277314 HAS SOUS 6771864 HAS SOUPS 6771864 WITH SCORE 6780141.314
AT ITER 475 NEW BEST:: SOT 42848916 SOS 8276746 HAS SOPS 8276746 HAS SOUS 6771859 HAS SOUPS 6771859 WITH SCORE 6780135.746
AT ITER 508 NEW BEST:: SOT 42848916 SOS 8276961 HAS SOPS 8276961 HAS SOUS 6771858 HAS SOUPS 6771858 WITH SCORE 6780134.961
AT ITER 517 NEW BEST:: SOT 42844445 SOS 8276125 HAS SOPS 8276125 HAS SOUS 6768722 HAS SOUPS 6768722 WITH SCORE 6776998.125
AT ITER 527 NEW BEST:: SOT 42843836 SOS 8275630 HAS SOPS 8275630 HAS SOUS 6768227 HAS SOUPS 6768227 WITH SCORE 6776502.63
AT ITER 537 NEW BEST:: SOT 42843836 SOS 8275630 HAS SOPS 8275630 HAS SOUS 6767113 HAS SOUPS 6767113 WITH SCORE 6775388.63
AT ITER 554 NEW BEST:: SOT 42843162 SOS 8275085 HAS SOPS 8275085 HAS SOUS 6766571 HAS SOUPS 6766571 WITH SCORE 6774846.085
AT ITER 631 NEW BEST:: SOT 42843160 SOS 8275081 HAS SOPS 8275081 HAS SOUS 6766567 HAS SOUPS 6766567 WITH SCORE 6774842.081
AT ITER 636 NEW BEST:: SOT 42842830 SOS 8274421 HAS SOPS 8274421 HAS SOUS 6765907 HAS SOUPS 6765907 WITH SCORE 6774181.421
AT ITER 643 NEW BEST:: SOT 42842830 SOS 8274421 HAS SOPS 8274421 HAS SOUS 6765150 HAS SOUPS 6765150 WITH SCORE 6773424.421
AT ITER 655 NEW BEST:: SOT 42841912 SOS 8272246 HAS SOPS 8272246 HAS SOUS 6763399 HAS SOUPS 6763399 WITH SCORE 6771671.246
AT ITER 656 NEW BEST:: SOT 42840946 SOS 8271763 HAS SOPS 8271763 HAS SOUS 6762916 HAS SOUPS 6762916 WITH SCORE 6771187.763
AT ITER 663 NEW BEST:: SOT 42834941 SOS 8271232 HAS SOPS 8271232 HAS SOUS 6759387 HAS SOUPS 6759387 WITH SCORE 6767658.232
AT ITER 665 NEW BEST:: SOT 42834152 SOS 8268514 HAS SOPS 8268514 HAS SOUS 6757343 HAS SOUPS 6757343 WITH SCORE 6765611.514
AT ITER 668 NEW BEST:: SOT 42833762 SOS 8267539 HAS SOPS 8267539 HAS SOUS 6756953 HAS SOUPS 6756953 WITH SCORE 6765220.539
AT ITER 714 NEW BEST:: SOT 42832997 SOS 8266770 HAS SOPS 8266770 HAS SOUS 6756187 HAS SOUPS 6756187 WITH SCORE 6764453.77
AT ITER 715 NEW BEST:: SOT 42829250 SOS 8274172 HAS SOPS 8274172 HAS SOUS 6755578 HAS SOUPS 6755578 WITH SCORE 6763852.172
AT ITER 719 NEW BEST:: SOT 42827410 SOS 8273252 HAS SOPS 8273252 HAS SOUS 6754658 HAS SOUPS 6754658 WITH SCORE 6762931.252
AT ITER 734 NEW BEST:: SOT 42826802 SOS 8272948 HAS SOPS 8272948 HAS SOUS 6754354 HAS SOUPS 6754354 WITH SCORE 6762626.948
AT ITER 741 NEW BEST:: SOT 42826208 SOS 8272354 HAS SOPS 8272354 HAS SOUS 6753760 HAS SOUPS 6753760 WITH SCORE 6762032.354
AT ITER 743 NEW BEST:: SOT 42826208 SOS 8272354 HAS SOPS 8272354 HAS SOUS 6753299 HAS SOUPS 6753299 WITH SCORE 6761571.354
AT ITER 746 NEW BEST:: SOT 42826088 SOS 8272114 HAS SOPS 8272114 HAS SOUS 6753059 HAS SOUPS 6753059 WITH SCORE 6761331.114
AT ITER 750 NEW BEST:: SOT 42825408 SOS 8272293 HAS SOPS 8272293 HAS SOUS 6751971 HAS SOUPS 6751971 WITH SCORE 6760243.293
AT ITER 753 NEW BEST:: SOT 42824952 SOS 8271381 HAS SOPS 8271381 HAS SOUS 6751515 HAS SOUPS 6751515 WITH SCORE 6759786.381
AT ITER 767 NEW BEST:: SOT 42824705 SOS 8271377 HAS SOPS 8271377 HAS SOUS 6751267 HAS SOUPS 6751267 WITH SCORE 6759538.377
AT ITER 790 NEW BEST:: SOT 42824418 SOS 8270064 HAS SOPS 8270064 HAS SOUS 6750327 HAS SOUPS 6750327 WITH SCORE 6758597.064
AT ITER 792 NEW BEST:: SOT 42822265 SOS 8269313 HAS SOPS 8269313 HAS SOUS 6749495 HAS SOUPS 6749495 WITH SCORE 6757764.313
AT ITER 813 NEW BEST:: SOT 42822099 SOS 8268981 HAS SOPS 8268981 HAS SOUS 6749329 HAS SOUPS 6749329 WITH SCORE 6757597.981
AT ITER 815 NEW BEST:: SOT 42821830 SOS 8268712 HAS SOPS 8268712 HAS SOUS 6749329 HAS SOUPS 6749329 WITH SCORE 6757597.712
AT ITER 830 NEW BEST:: SOT 42821439 SOS 8268012 HAS SOPS 8268012 HAS SOUS 6748927 HAS SOUPS 6748927 WITH SCORE 6757195.012
AT ITER 840 NEW BEST:: SOT 42820308 SOS 8266881 HAS SOPS 8266881 HAS SOUS 6747796 HAS SOUPS 6747796 WITH SCORE 6756062.881
AT ITER 843 NEW BEST:: SOT 42819595 SOS 8265454 HAS SOPS 8265454 HAS SOUS 6746369 HAS SOUPS 6746369 WITH SCORE 6754634.454
AT ITER 850 NEW BEST:: SOT 42819357 SOS 8264978 HAS SOPS 8264978 HAS SOUS 6745258 HAS SOUPS 6745258 WITH SCORE 6753522.978
AT ITER 855 NEW BEST:: SOT 42816697 SOS 8266798 HAS SOPS 8266798 HAS SOUS 6743985 HAS SOUPS 6743985 WITH SCORE 6752251.798
AT ITER 885 NEW BEST:: SOT 42816125 SOS 8266794 HAS SOPS 8266794 HAS SOUS 6743698 HAS SOUPS 6743698 WITH SCORE 6751964.794
AT ITER 902 NEW BEST:: SOT 42815902 SOS 8266571 HAS SOPS 8266571 HAS SOUS 6743475 HAS SOUPS 6743475 WITH SCORE 6751741.571
AT ITER 917 NEW BEST:: SOT 42814616 SOS 8263999 HAS SOPS 8263999 HAS SOUS 6740903 HAS SOUPS 6740903 WITH SCORE 6749166.999
AT ITER 922 NEW BEST:: SOT 42814615 SOS 8263997 HAS SOPS 8263997 HAS SOUS 6740901 HAS SOUPS 6740901 WITH SCORE 6749164.997
AT ITER 926 NEW BEST:: SOT 42814615 SOS 8263727 HAS SOPS 8263727 HAS SOUS 6740901 HAS SOUPS 6740901 WITH SCORE 6749164.727
AT ITER 941 NEW BEST:: SOT 42813608 SOS 8264985 HAS SOPS 8264985 HAS SOUS 6739894 HAS SOUPS 6739894 WITH SCORE 6748158.985
AT ITER 990 NEW BEST:: SOT 42813334 SOS 8264848 HAS SOPS 8264848 HAS SOUS 6739757 HAS SOUPS 6739757 WITH SCORE 6748021.848
AT ITER 997 NEW BEST:: SOT 42802833 SOS 8277793 HAS SOPS 8277793 HAS SOUS 6733301 HAS SOUPS 6733301 WITH SCORE 6741578.793
AT ITER 1016 NEW BEST:: SOT 42803308 SOS 8278743 HAS SOPS 8278743 HAS SOUS 6732615 HAS SOUPS 6732615 WITH SCORE 6740893.743
AT ITER 1027 NEW BEST:: SOT 42802445 SOS 8277017 HAS SOPS 8277017 HAS SOUS 6730889 HAS SOUPS 6730889 WITH SCORE 6739166.017
AT ITER 1034 NEW BEST:: SOT 42801895 SOS 8276511 HAS SOPS 8276511 HAS SOUS 6730339 HAS SOUPS 6730339 WITH SCORE 6738615.511
AT ITER 1036 NEW BEST:: SOT 42800796 SOS 8274313 HAS SOPS 8274313 HAS SOUS 6728141 HAS SOUPS 6728141 WITH SCORE 6736415.313
AT ITER 1037 NEW BEST:: SOT 42800795 SOS 8274311 HAS SOPS 8274311 HAS SOUS 6728139 HAS SOUPS 6728139 WITH SCORE 6736413.311
AT ITER 1060 NEW BEST:: SOT 42801171 SOS 8275063 HAS SOPS 8275063 HAS SOUS 6728071 HAS SOUPS 6728071 WITH SCORE 6736346.063
AT ITER 1087 NEW BEST:: SOT 42800349 SOS 8275885 HAS SOPS 8275885 HAS SOUS 6727249 HAS SOUPS 6727249 WITH SCORE 6735524.885
AT ITER 1093 NEW BEST:: SOT 42800349 SOS 8275852 HAS SOPS 8275852 HAS SOUS 6727216 HAS SOUPS 6727216 WITH SCORE 6735491.852
AT ITER 1109 NEW BEST:: SOT 42799756 SOS 8275393 HAS SOPS 8275393 HAS SOUS 6726757 HAS SOUPS 6726757 WITH SCORE 6735032.393
AT ITER 1116 NEW BEST:: SOT 42798596 SOS 8274525 HAS SOPS 8274525 HAS SOUS 6725892 HAS SOUPS 6725892 WITH SCORE 6734166.525
AT ITER 1148 NEW BEST:: SOT 42796472 SOS 8275695 HAS SOPS 8275695 HAS SOUS 6725574 HAS SOUPS 6725574 WITH SCORE 6733849.695
AT ITER 1173 NEW BEST:: SOT 42796203 SOS 8275157 HAS SOPS 8275157 HAS SOUS 6725036 HAS SOUPS 6725036 WITH SCORE 6733311.157
AT ITER 1200 NEW BEST:: SOT 42795924 SOS 8274971 HAS SOPS 8274971 HAS SOUS 6724850 HAS SOUPS 6724850 WITH SCORE 6733124.971
AT ITER 1228 NEW BEST:: SOT 42793757 SOS 8272259 HAS SOPS 8272259 HAS SOUS 6722326 HAS SOUPS 6722326 WITH SCORE 6730598.259
AT ITER 1242 NEW BEST:: SOT 42793167 SOS 8271669 HAS SOPS 8271669 HAS SOUS 6721736 HAS SOUPS 6721736 WITH SCORE 6730007.669
AT ITER 1290 NEW BEST:: SOT 42792538 SOS 8268524 HAS SOPS 8268524 HAS SOUS 6720478 HAS SOUPS 6720478 WITH SCORE 6728746.524
AT ITER 1296 NEW BEST:: SOT 42792516 SOS 8268481 HAS SOPS 8268481 HAS SOUS 6720435 HAS SOUPS 6720435 WITH SCORE 6728703.481
AT ITER 1322 NEW BEST:: SOT 42792276 SOS 8268001 HAS SOPS 8268001 HAS SOUS 6719955 HAS SOUPS 6719955 WITH SCORE 6728223.001
AT ITER 1326 NEW BEST:: SOT 42791908 SOS 8267633 HAS SOPS 8267633 HAS SOUS 6719955 HAS SOUPS 6719955 WITH SCORE 6728222.633
AT ITER 1335 NEW BEST:: SOT 42791303 SOS 8264177 HAS SOPS 8264177 HAS SOUS 6718791 HAS SOUPS 6718791 WITH SCORE 6727055.177
AT ITER 1361 NEW BEST:: SOT 42749822 SOS 8235135 HAS SOPS 8235135 HAS SOUS 6679033 HAS SOUPS 6679033 WITH SCORE 6687268.135
AT ITER 1365 NEW BEST:: SOT 42749822 SOS 8228723 HAS SOPS 8228723 HAS SOUS 6677430 HAS SOUPS 6677430 WITH SCORE 6685658.723
AT ITER 1372 NEW BEST:: SOT 42749737 SOS 8228553 HAS SOPS 8228553 HAS SOUS 6677260 HAS SOUPS 6677260 WITH SCORE 6685488.553
AT ITER 1386 NEW BEST:: SOT 42749395 SOS 8228211 HAS SOPS 8228211 HAS SOUS 6676918 HAS SOUPS 6676918 WITH SCORE 6685146.211
AT ITER 1407 NEW BEST:: SOT 42749714 SOS 8227669 HAS SOPS 8227669 HAS SOUS 6676376 HAS SOUPS 6676376 WITH SCORE 6684603.669
AT ITER 1451 NEW BEST:: SOT 42749714 SOS 8227669 HAS SOPS 8227669 HAS SOUS 6676375 HAS SOUPS 6676375 WITH SCORE 6684602.669
AT ITER 1486 NEW BEST:: SOT 42749714 SOS 8226821 HAS SOPS 8226821 HAS SOUS 6676375 HAS SOUPS 6676375 WITH SCORE 6684601.821
AT ITER 1493 NEW BEST:: SOT 42748394 SOS 8224841 HAS SOPS 8224841 HAS SOUS 6675130 HAS SOUPS 6675130 WITH SCORE 6683354.841
AT ITER 1497 NEW BEST:: SOT 42748394 SOS 8225476 HAS SOPS 8225476 HAS SOUS 6675129 HAS SOUPS 6675129 WITH SCORE 6683354.476
AT ITER 1499 NEW BEST:: SOT 42746777 SOS 8222242 HAS SOPS 8222242 HAS SOUS 6671895 HAS SOUPS 6671895 WITH SCORE 6680117.242
AT ITER 1503 NEW BEST:: SOT 42746776 SOS 8222240 HAS SOPS 8222240 HAS SOUS 6671893 HAS SOUPS 6671893 WITH SCORE 6680115.24
AT ITER 1544 NEW BEST:: SOT 42746983 SOS 8221746 HAS SOPS 8221746 HAS SOUS 6671333 HAS SOUPS 6671333 WITH SCORE 6679554.746
AT ITER 1566 NEW BEST:: SOT 42747065 SOS 8221579 HAS SOPS 8221579 HAS SOUS 6671084 HAS SOUPS 6671084 WITH SCORE 6679305.579
AT ITER 1606 NEW BEST:: SOT 42747360 SOS 8221577 HAS SOPS 8221577 HAS SOUS 6671083 HAS SOUPS 6671083 WITH SCORE 6679304.577
AT ITER 1613 NEW BEST:: SOT 42746487 SOS 8219831 HAS SOPS 8219831 HAS SOUS 6669337 HAS SOUPS 6669337 WITH SCORE 6677556.831
AT ITER 1617 NEW BEST:: SOT 42745761 SOS 8219101 HAS SOPS 8219101 HAS SOUS 6668610 HAS SOUPS 6668610 WITH SCORE 6676829.101
AT ITER 1620 NEW BEST:: SOT 42745602 SOS 8218201 HAS SOPS 8218201 HAS SOUS 6668605 HAS SOUPS 6668605 WITH SCORE 6676823.201
AT ITER 1624 NEW BEST:: SOT 42745601 SOS 8218199 HAS SOPS 8218199 HAS SOUS 6668603 HAS SOUPS 6668603 WITH SCORE 6676821.199
AT ITER 1633 NEW BEST:: SOT 42745275 SOS 8217547 HAS SOPS 8217547 HAS SOUS 6667951 HAS SOUPS 6667951 WITH SCORE 6676168.547
AT ITER 1693 NEW BEST:: SOT 42744890 SOS 8216777 HAS SOPS 8216777 HAS SOUS 6667181 HAS SOUPS 6667181 WITH SCORE 6675397.777
AT ITER 1694 NEW BEST:: SOT 42744362 SOS 8215721 HAS SOPS 8215721 HAS SOUS 6666125 HAS SOUPS 6666125 WITH SCORE 6674340.721
AT ITER 1695 NEW BEST:: SOT 42743542 SOS 8215647 HAS SOPS 8215647 HAS SOUS 6665683 HAS SOUPS 6665683 WITH SCORE 6673898.647
AT ITER 1704 NEW BEST:: SOT 42743541 SOS 8215645 HAS SOPS 8215645 HAS SOUS 6665681 HAS SOUPS 6665681 WITH SCORE 6673896.645
AT ITER 1705 NEW BEST:: SOT 42743541 SOS 8215644 HAS SOPS 8215644 HAS SOUS 6665680 HAS SOUPS 6665680 WITH SCORE 6673895.644
AT ITER 1716 NEW BEST:: SOT 42743410 SOS 8215513 HAS SOPS 8215513 HAS SOUS 6665680 HAS SOUPS 6665680 WITH SCORE 6673895.513
AT ITER 1726 NEW BEST:: SOT 42743597 SOS 8215887 HAS SOPS 8215887 HAS SOUS 6664547 HAS SOUPS 6664547 WITH SCORE 6672762.887
AT ITER 1732 NEW BEST:: SOT 42742985 SOS 8215372 HAS SOPS 8215372 HAS SOUS 6664032 HAS SOUPS 6664032 WITH SCORE 6672247.372
AT ITER 1744 NEW BEST:: SOT 42742984 SOS 8215370 HAS SOPS 8215370 HAS SOUS 6664030 HAS SOUPS 6664030 WITH SCORE 6672245.37
AT ITER 1762 NEW BEST:: SOT 42742145 SOS 8213692 HAS SOPS 8213692 HAS SOUS 6662352 HAS SOUPS 6662352 WITH SCORE 6670565.692
AT ITER 1766 NEW BEST:: SOT 42741022 SOS 8207297 HAS SOPS 8207297 HAS SOUS 6660106 HAS SOUPS 6660106 WITH SCORE 6668313.297
AT ITER 1767 NEW BEST:: SOT 42740423 SOS 8200283 HAS SOPS 8200283 HAS SOUS 6658114 HAS SOUPS 6658114 WITH SCORE 6666314.283
AT ITER 1779 NEW BEST:: SOT 42740422 SOS 8200281 HAS SOPS 8200281 HAS SOUS 6658112 HAS SOUPS 6658112 WITH SCORE 6666312.281
AT ITER 1793 NEW BEST:: SOT 42740001 SOS 8199860 HAS SOPS 8199860 HAS SOUS 6658111 HAS SOUPS 6658111 WITH SCORE 6666310.86
AT ITER 1824 NEW BEST:: SOT 42740001 SOS 8199077 HAS SOPS 8199077 HAS SOUS 6658111 HAS SOUPS 6658111 WITH SCORE 6666310.077
AT ITER 1834 NEW BEST:: SOT 42739791 SOS 8198658 HAS SOPS 8198658 HAS SOUS 6657965 HAS SOUPS 6657965 WITH SCORE 6666163.658
AT ITER 1840 NEW BEST:: SOT 42737008 SOS 8196634 HAS SOPS 8196634 HAS SOUS 6655688 HAS SOUPS 6655688 WITH SCORE 6663884.634
AT ITER 1847 NEW BEST:: SOT 42736480 SOS 8196366 HAS SOPS 8196366 HAS SOUS 6655423 HAS SOUPS 6655423 WITH SCORE 6663619.366
AT ITER 1888 NEW BEST:: SOT 42735773 SOS 8192333 HAS SOPS 8192333 HAS SOUS 6654009 HAS SOUPS 6654009 WITH SCORE 6662201.333
AT ITER 1910 NEW BEST:: SOT 42735241 SOS 8190737 HAS SOPS 8190737 HAS SOUS 6653211 HAS SOUPS 6653211 WITH SCORE 6661401.737
AT ITER 1913 NEW BEST:: SOT 42735241 SOS 8190481 HAS SOPS 8190481 HAS SOUS 6653083 HAS SOUPS 6653083 WITH SCORE 6661273.481
AT ITER 1922 NEW BEST:: SOT 42735240 SOS 8190230 HAS SOPS 8190230 HAS SOUS 6652832 HAS SOUPS 6652832 WITH SCORE 6661022.23
AT ITER 1924 NEW BEST:: SOT 42735239 SOS 8190228 HAS SOPS 8190228 HAS SOUS 6652830 HAS SOUPS 6652830 WITH SCORE 6661020.228
AT ITER 1935 NEW BEST:: SOT 42735377 SOS 8188300 HAS SOPS 8188300 HAS SOUS 6652391 HAS SOUPS 6652391 WITH SCORE 6660579.3
AT ITER 1936 NEW BEST:: SOT 42732177 SOS 8186380 HAS SOPS 8186380 HAS SOUS 6650151 HAS SOUPS 6650151 WITH SCORE 6658337.38
AT ITER 1939 NEW BEST:: SOT 42732176 SOS 8186378 HAS SOPS 8186378 HAS SOUS 6650149 HAS SOUPS 6650149 WITH SCORE 6658335.378
AT ITER 1943 NEW BEST:: SOT 42732176 SOS 8187143 HAS SOPS 8187143 HAS SOUS 6650148 HAS SOUPS 6650148 WITH SCORE 6658335.143
AT ITER 1953 NEW BEST:: SOT 42732167 SOS 8187125 HAS SOPS 8187125 HAS SOUS 6650130 HAS SOUPS 6650130 WITH SCORE 6658317.125
AT ITER 1959 NEW BEST:: SOT 42732175 SOS 8182291 HAS SOPS 8182291 HAS SOUS 6648478 HAS SOUPS 6648478 WITH SCORE 6656660.291
AT ITER 1983 NEW BEST:: SOT 42731467 SOS 8179225 HAS SOPS 8179225 HAS SOUS 6647220 HAS SOUPS 6647220 WITH SCORE 6655399.225
AT ITER 1991 NEW BEST:: SOT 42731174 SOS 8178639 HAS SOPS 8178639 HAS SOUS 6646634 HAS SOUPS 6646634 WITH SCORE 6654812.639
AT ITER 1994 NEW BEST:: SOT 42730606 SOS 8178067 HAS SOPS 8178067 HAS SOUS 6646065 HAS SOUPS 6646065 WITH SCORE 6654243.067
AT ITER 2015 NEW BEST:: SOT 42730606 SOS 8178486 HAS SOPS 8178486 HAS SOUS 6646064 HAS SOUPS 6646064 WITH SCORE 6654242.486
AT ITER 2024 NEW BEST:: SOT 42730606 SOS 8178873 HAS SOPS 8178873 HAS SOUS 6646059 HAS SOUPS 6646059 WITH SCORE 6654237.873
AT ITER 2084 NEW BEST:: SOT 42730606 SOS 8178873 HAS SOPS 8178873 HAS SOUS 6645890 HAS SOUPS 6645890 WITH SCORE 6654068.873
AT ITER 2090 NEW BEST:: SOT 42730606 SOS 8178343 HAS SOPS 8178343 HAS SOUS 6645360 HAS SOUPS 6645360 WITH SCORE 6653538.343
AT ITER 2134 NEW BEST:: SOT 42730185 SOS 8178760 HAS SOPS 8178760 HAS SOUS 6644517 HAS SOUPS 6644517 WITH SCORE 6652695.76
AT ITER 2147 NEW BEST:: SOT 42729441 SOS 8178742 HAS SOPS 8178742 HAS SOUS 6644499 HAS SOUPS 6644499 WITH SCORE 6652677.742
AT ITER 2153 NEW BEST:: SOT 42729441 SOS 8178742 HAS SOPS 8178742 HAS SOUS 6644470 HAS SOUPS 6644470 WITH SCORE 6652648.742
AT ITER 2156 NEW BEST:: SOT 42728590 SOS 8177040 HAS SOPS 8177040 HAS SOUS 6643598 HAS SOUPS 6643598 WITH SCORE 6651775.04
AT ITER 2159 NEW BEST:: SOT 42728590 SOS 8177459 HAS SOPS 8177459 HAS SOUS 6643597 HAS SOUPS 6643597 WITH SCORE 6651774.459
AT ITER 2170 NEW BEST:: SOT 42728216 SOS 8176711 HAS SOPS 8176711 HAS SOUS 6642849 HAS SOUPS 6642849 WITH SCORE 6651025.711
AT ITER 2201 NEW BEST:: SOT 42727709 SOS 8176204 HAS SOPS 8176204 HAS SOUS 6641835 HAS SOUPS 6641835 WITH SCORE 6650011.204
AT ITER 2230 NEW BEST:: SOT 42727916 SOS 8176618 HAS SOPS 8176618 HAS SOUS 6641746 HAS SOUPS 6641746 WITH SCORE 6649922.618
AT ITER 2275 NEW BEST:: SOT 42727279 SOS 8174999 HAS SOPS 8174999 HAS SOUS 6640892 HAS SOUPS 6640892 WITH SCORE 6649066.999
AT ITER 2278 NEW BEST:: SOT 42726624 SOS 8174340 HAS SOPS 8174340 HAS SOUS 6640236 HAS SOUPS 6640236 WITH SCORE 6648410.34
AT ITER 2281 NEW BEST:: SOT 42726145 SOS 8173651 HAS SOPS 8173651 HAS SOUS 6639488 HAS SOUPS 6639488 WITH SCORE 6647661.651
AT ITER 2329 NEW BEST:: SOT 42724012 SOS 8169193 HAS SOPS 8169193 HAS SOUS 6635596 HAS SOUPS 6635596 WITH SCORE 6643765.193
AT ITER 2429 NEW BEST:: SOT 42723859 SOS 8168887 HAS SOPS 8168887 HAS SOUS 6635443 HAS SOUPS 6635443 WITH SCORE 6643611.887
AT ITER 2431 NEW BEST:: SOT 42723859 SOS 8168217 HAS SOPS 8168217 HAS SOUS 6635443 HAS SOUPS 6635443 WITH SCORE 6643611.217
AT ITER 2434 NEW BEST:: SOT 42723859 SOS 8168074 HAS SOPS 8168074 HAS SOUS 6635300 HAS SOUPS 6635300 WITH SCORE 6643468.074
AT ITER 2452 NEW BEST:: SOT 42723115 SOS 8166586 HAS SOPS 8166586 HAS SOUS 6633368 HAS SOUPS 6633368 WITH SCORE 6641534.586
AT ITER 2455 NEW BEST:: SOT 42723114 SOS 8166584 HAS SOPS 8166584 HAS SOUS 6633366 HAS SOUPS 6633366 WITH SCORE 6641532.584
AT ITER 2480 NEW BEST:: SOT 42723074 SOS 8166504 HAS SOPS 8166504 HAS SOUS 6633286 HAS SOUPS 6633286 WITH SCORE 6641452.504
AT ITER 2487 NEW BEST:: SOT 42723072 SOS 8166502 HAS SOPS 8166502 HAS SOUS 6633277 HAS SOUPS 6633277 WITH SCORE 6641443.502
AT ITER 2491 NEW BEST:: SOT 42722825 SOS 8166009 HAS SOPS 8166009 HAS SOUS 6632784 HAS SOUPS 6632784 WITH SCORE 6640950.009
AT ITER 2497 NEW BEST:: SOT 42722213 SOS 8165397 HAS SOPS 8165397 HAS SOUS 6632172 HAS SOUPS 6632172 WITH SCORE 6640337.397
AT ITER 2515 NEW BEST:: SOT 42721794 SOS 8165399 HAS SOPS 8165399 HAS SOUS 6632033 HAS SOUPS 6632033 WITH SCORE 6640198.399
AT ITER 2543 NEW BEST:: SOT 42719862 SOS 8161343 HAS SOPS 8161343 HAS SOUS 6629563 HAS SOUPS 6629563 WITH SCORE 6637724.343
AT ITER 2544 NEW BEST:: SOT 42717752 SOS 8160789 HAS SOPS 8160789 HAS SOUS 6628675 HAS SOUPS 6628675 WITH SCORE 6636835.789
AT ITER 2558 NEW BEST:: SOT 42717700 SOS 8160742 HAS SOPS 8160742 HAS SOUS 6628628 HAS SOUPS 6628628 WITH SCORE 6636788.742
AT ITER 2571 NEW BEST:: SOT 42716936 SOS 8159214 HAS SOPS 8159214 HAS SOUS 6627100 HAS SOUPS 6627100 WITH SCORE 6635259.214
AT ITER 2576 NEW BEST:: SOT 42716918 SOS 8159179 HAS SOPS 8159179 HAS SOUS 6627065 HAS SOUPS 6627065 WITH SCORE 6635224.179
AT ITER 2581 NEW BEST:: SOT 42716917 SOS 8159177 HAS SOPS 8159177 HAS SOUS 6627064 HAS SOUPS 6627064 WITH SCORE 6635223.177
AT ITER 2583 NEW BEST:: SOT 42716409 SOS 8157135 HAS SOPS 8157135 HAS SOUS 6625541 HAS SOUPS 6625541 WITH SCORE 6633698.135
AT ITER 2584 NEW BEST:: SOT 42715391 SOS 8155099 HAS SOPS 8155099 HAS SOUS 6623505 HAS SOUPS 6623505 WITH SCORE 6631660.099
AT ITER 2588 NEW BEST:: SOT 42715391 SOS 8156064 HAS SOPS 8156064 HAS SOUS 6623504 HAS SOUPS 6623504 WITH SCORE 6631660.064
AT ITER 2597 NEW BEST:: SOT 42713890 SOS 8153812 HAS SOPS 8153812 HAS SOUS 6622801 HAS SOUPS 6622801 WITH SCORE 6630954.812
AT ITER 2651 NEW BEST:: SOT 42714405 SOS 8152478 HAS SOPS 8152478 HAS SOUS 6622437 HAS SOUPS 6622437 WITH SCORE 6630589.478
AT ITER 2663 NEW BEST:: SOT 42714405 SOS 8152007 HAS SOPS 8152007 HAS SOUS 6622437 HAS SOUPS 6622437 WITH SCORE 6630589.007
AT ITER 2684 NEW BEST:: SOT 42714332 SOS 8151861 HAS SOPS 8151861 HAS SOUS 6622291 HAS SOUPS 6622291 WITH SCORE 6630442.861
AT ITER 2687 NEW BEST:: SOT 42714332 SOS 8151861 HAS SOPS 8151861 HAS SOUS 6622220 HAS SOUPS 6622220 WITH SCORE 6630371.861
AT ITER 2693 NEW BEST:: SOT 42713193 SOS 8149583 HAS SOPS 8149583 HAS SOUS 6619942 HAS SOUPS 6619942 WITH SCORE 6628091.583
AT ITER 2700 NEW BEST:: SOT 42712657 SOS 8149582 HAS SOPS 8149582 HAS SOUS 6619941 HAS SOUPS 6619941 WITH SCORE 6628090.582
AT ITER 2705 NEW BEST:: SOT 42711998 SOS 8148919 HAS SOPS 8148919 HAS SOUS 6619281 HAS SOUPS 6619281 WITH SCORE 6627429.919
AT ITER 2729 NEW BEST:: SOT 42710918 SOS 8149229 HAS SOPS 8149229 HAS SOUS 6619037 HAS SOUPS 6619037 WITH SCORE 6627186.229
AT ITER 2742 NEW BEST:: SOT 42710790 SOS 8149165 HAS SOPS 8149165 HAS SOUS 6618845 HAS SOUPS 6618845 WITH SCORE 6626994.165
AT ITER 2786 NEW BEST:: SOT 42711115 SOS 8148839 HAS SOPS 8148839 HAS SOUS 6618844 HAS SOUPS 6618844 WITH SCORE 6626992.839
AT ITER 2806 NEW BEST:: SOT 42711115 SOS 8147816 HAS SOPS 8147816 HAS SOUS 6618844 HAS SOUPS 6618844 WITH SCORE 6626991.816
AT ITER 2835 NEW BEST:: SOT 42709877 SOS 8146014 HAS SOPS 8146014 HAS SOUS 6617487 HAS SOUPS 6617487 WITH SCORE 6625633.014
AT ITER 2853 NEW BEST:: SOT 42709877 SOS 8146014 HAS SOPS 8146014 HAS SOUS 6617486 HAS SOUPS 6617486 WITH SCORE 6625632.014
AT ITER 2875 NEW BEST:: SOT 42709693 SOS 8145646 HAS SOPS 8145646 HAS SOUS 6617118 HAS SOUPS 6617118 WITH SCORE 6625263.646
AT ITER 2876 NEW BEST:: SOT 42709638 SOS 8145536 HAS SOPS 8145536 HAS SOUS 6617008 HAS SOUPS 6617008 WITH SCORE 6625153.536
AT ITER 2892 NEW BEST:: SOT 42708718 SOS 8145340 HAS SOPS 8145340 HAS SOUS 6616636 HAS SOUPS 6616636 WITH SCORE 6624781.34
AT ITER 2899 NEW BEST:: SOT 42708024 SOS 8141690 HAS SOPS 8141690 HAS SOUS 6615248 HAS SOUPS 6615248 WITH SCORE 6623389.69
AT ITER 2920 NEW BEST:: SOT 42707954 SOS 8141550 HAS SOPS 8141550 HAS SOUS 6615248 HAS SOUPS 6615248 WITH SCORE 6623389.55
AT ITER 2930 NEW BEST:: SOT 42704962 SOS 8146976 HAS SOPS 8146976 HAS SOUS 6614681 HAS SOUPS 6614681 WITH SCORE 6622827.976
AT ITER 2931 NEW BEST:: SOT 42704962 SOS 8145701 HAS SOPS 8145701 HAS SOUS 6614681 HAS SOUPS 6614681 WITH SCORE 6622826.701
AT ITER 2932 NEW BEST:: SOT 42704293 SOS 8145082 HAS SOPS 8145082 HAS SOUS 6614065 HAS SOUPS 6614065 WITH SCORE 6622210.082
AT ITER 2959 NEW BEST:: SOT 42703602 SOS 8144391 HAS SOPS 8144391 HAS SOUS 6612683 HAS SOUPS 6612683 WITH SCORE 6620827.391
AT ITER 2969 NEW BEST:: SOT 42703602 SOS 8145192 HAS SOPS 8145192 HAS SOUS 6612682 HAS SOUPS 6612682 WITH SCORE 6620827.192
AT ITER 2987 NEW BEST:: SOT 42702088 SOS 8139032 HAS SOPS 8139032 HAS SOUS 6610124 HAS SOUPS 6610124 WITH SCORE 6618263.032
AT ITER 2990 NEW BEST:: SOT 42701801 SOS 8138459 HAS SOPS 8138459 HAS SOUS 6609551 HAS SOUPS 6609551 WITH SCORE 6617689.459
AT ITER 2996 NEW BEST:: SOT 42700811 SOS 8145509 HAS SOPS 8145509 HAS SOUS 6608255 HAS SOUPS 6608255 WITH SCORE 6616400.509
AT ITER 2999 NEW BEST:: SOT 42700642 SOS 8145171 HAS SOPS 8145171 HAS SOUS 6608081 HAS SOUPS 6608081 WITH SCORE 6616226.171
AT ITER 3057 NEW BEST:: SOT 42699802 SOS 8142678 HAS SOPS 8142678 HAS SOUS 6606144 HAS SOUPS 6606144 WITH SCORE 6614286.678
AT ITER 3092 NEW BEST:: SOT 42699153 SOS 8142225 HAS SOPS 8142225 HAS SOUS 6605694 HAS SOUPS 6605694 WITH SCORE 6613836.225
AT ITER 3098 NEW BEST:: SOT 42698693 SOS 8141305 HAS SOPS 8141305 HAS SOUS 6605234 HAS SOUPS 6605234 WITH SCORE 6613375.305
AT ITER 3103 NEW BEST:: SOT 42698533 SOS 8141497 HAS SOPS 8141497 HAS SOUS 6604914 HAS SOUPS 6604914 WITH SCORE 6613055.497
AT ITER 3143 NEW BEST:: SOT 42697562 SOS 8139555 HAS SOPS 8139555 HAS SOUS 6602972 HAS SOUPS 6602972 WITH SCORE 6611111.555
AT ITER 3146 NEW BEST:: SOT 42696576 SOS 8139128 HAS SOPS 8139128 HAS SOUS 6602542 HAS SOUPS 6602542 WITH SCORE 6610681.128
AT ITER 3161 NEW BEST:: SOT 42696576 SOS 8139078 HAS SOPS 8139078 HAS SOUS 6602492 HAS SOUPS 6602492 WITH SCORE 6610631.078
AT ITER 3165 NEW BEST:: SOT 42696510 SOS 8138946 HAS SOPS 8138946 HAS SOUS 6602229 HAS SOUPS 6602229 WITH SCORE 6610367.946
AT ITER 3168 NEW BEST:: SOT 42696509 SOS 8139003 HAS SOPS 8139003 HAS SOUS 6602227 HAS SOUPS 6602227 WITH SCORE 6610366.003
AT ITER 3187 NEW BEST:: SOT 42693586 SOS 8139745 HAS SOPS 8139745 HAS SOUS 6601918 HAS SOUPS 6601918 WITH SCORE 6610057.745
AT ITER 3194 NEW BEST:: SOT 42693362 SOS 8139297 HAS SOPS 8139297 HAS SOUS 6600546 HAS SOUPS 6600546 WITH SCORE 6608685.297
AT ITER 3201 NEW BEST:: SOT 42692390 SOS 8137353 HAS SOPS 8137353 HAS SOUS 6599574 HAS SOUPS 6599574 WITH SCORE 6607711.353
AT ITER 3206 NEW BEST:: SOT 42691771 SOS 8134258 HAS SOPS 8134258 HAS SOUS 6598336 HAS SOUPS 6598336 WITH SCORE 6606470.258
AT ITER 3217 NEW BEST:: SOT 42690968 SOS 8135488 HAS SOPS 8135488 HAS SOUS 6597482 HAS SOUPS 6597482 WITH SCORE 6605617.488
AT ITER 3218 NEW BEST:: SOT 42689548 SOS 8134529 HAS SOPS 8134529 HAS SOUS 6596061 HAS SOUPS 6596061 WITH SCORE 6604195.529
AT ITER 3238 NEW BEST:: SOT 42688870 SOS 8134060 HAS SOPS 8134060 HAS SOUS 6595592 HAS SOUPS 6595592 WITH SCORE 6603726.06
AT ITER 3247 NEW BEST:: SOT 42688254 SOS 8131857 HAS SOPS 8131857 HAS SOUS 6595536 HAS SOUPS 6595536 WITH SCORE 6603667.857
AT ITER 3253 NEW BEST:: SOT 42687066 SOS 8129481 HAS SOPS 8129481 HAS SOUS 6592824 HAS SOUPS 6592824 WITH SCORE 6600953.481
AT ITER 3254 NEW BEST:: SOT 42686954 SOS 8129257 HAS SOPS 8129257 HAS SOUS 6592712 HAS SOUPS 6592712 WITH SCORE 6600841.257
AT ITER 3270 NEW BEST:: SOT 42686825 SOS 8128999 HAS SOPS 8128999 HAS SOUS 6591225 HAS SOUPS 6591225 WITH SCORE 6599353.999
AT ITER 3285 NEW BEST:: SOT 42686825 SOS 8128743 HAS SOPS 8128743 HAS SOUS 6591225 HAS SOUPS 6591225 WITH SCORE 6599353.743
AT ITER 3297 NEW BEST:: SOT 42686447 SOS 8128739 HAS SOPS 8128739 HAS SOUS 6591224 HAS SOUPS 6591224 WITH SCORE 6599352.739
AT ITER 3314 NEW BEST:: SOT 42685252 SOS 8127065 HAS SOPS 8127065 HAS SOUS 6590029 HAS SOUPS 6590029 WITH SCORE 6598156.065
AT ITER 3319 NEW BEST:: SOT 42685226 SOS 8127013 HAS SOPS 8127013 HAS SOUS 6590003 HAS SOUPS 6590003 WITH SCORE 6598130.013
AT ITER 3336 NEW BEST:: SOT 42685105 SOS 8126771 HAS SOPS 8126771 HAS SOUS 6589761 HAS SOUPS 6589761 WITH SCORE 6597887.771
AT ITER 3342 NEW BEST:: SOT 42685104 SOS 8126769 HAS SOPS 8126769 HAS SOUS 6589759 HAS SOUPS 6589759 WITH SCORE 6597885.769
AT ITER 3359 NEW BEST:: SOT 42684824 SOS 8126209 HAS SOPS 8126209 HAS SOUS 6588353 HAS SOUPS 6588353 WITH SCORE 6596479.209
AT ITER 3363 NEW BEST:: SOT 42684658 SOS 8125877 HAS SOPS 8125877 HAS SOUS 6588021 HAS SOUPS 6588021 WITH SCORE 6596146.877
AT ITER 3442 NEW BEST:: SOT 42684582 SOS 8125497 HAS SOPS 8125497 HAS SOUS 6587869 HAS SOUPS 6587869 WITH SCORE 6595994.497
AT ITER 3467 NEW BEST:: SOT 42684580 SOS 8125495 HAS SOPS 8125495 HAS SOUS 6587867 HAS SOUPS 6587867 WITH SCORE 6595992.495
AT ITER 3472 NEW BEST:: SOT 42683805 SOS 8123945 HAS SOPS 8123945 HAS SOUS 6586047 HAS SOUPS 6586047 WITH SCORE 6594170.945
AT ITER 3507 NEW BEST:: SOT 42683805 SOS 8123944 HAS SOPS 8123944 HAS SOUS 6586046 HAS SOUPS 6586046 WITH SCORE 6594169.944
AT ITER 3531 NEW BEST:: SOT 42683781 SOS 8123920 HAS SOPS 8123920 HAS SOUS 6586022 HAS SOUPS 6586022 WITH SCORE 6594145.92
AT ITER 3545 NEW BEST:: SOT 42683781 SOS 8123863 HAS SOPS 8123863 HAS SOUS 6585965 HAS SOUPS 6585965 WITH SCORE 6594088.863
AT ITER 3564 NEW BEST:: SOT 42683383 SOS 8121812 HAS SOPS 8121812 HAS SOUS 6585567 HAS SOUPS 6585567 WITH SCORE 6593688.812
AT ITER 3568 NEW BEST:: SOT 42682906 SOS 8121507 HAS SOPS 8121507 HAS SOUS 6584529 HAS SOUPS 6584529 WITH SCORE 6592650.507
AT ITER 3581 NEW BEST:: SOT 42682031 SOS 8117132 HAS SOPS 8117132 HAS SOUS 6582779 HAS SOUPS 6582779 WITH SCORE 6590896.132
AT ITER 3588 NEW BEST:: SOT 42680717 SOS 8115814 HAS SOPS 8115814 HAS SOUS 6581464 HAS SOUPS 6581464 WITH SCORE 6589579.814
AT ITER 3600 NEW BEST:: SOT 42680191 SOS 8114762 HAS SOPS 8114762 HAS SOUS 6580412 HAS SOUPS 6580412 WITH SCORE 6588526.762
AT ITER 3645 NEW BEST:: SOT 42680191 SOS 8114560 HAS SOPS 8114560 HAS SOUS 6580412 HAS SOUPS 6580412 WITH SCORE 6588526.56
AT ITER 3676 NEW BEST:: SOT 42680101 SOS 8114380 HAS SOPS 8114380 HAS SOUS 6580232 HAS SOUPS 6580232 WITH SCORE 6588346.38
AT ITER 3686 NEW BEST:: SOT 42679362 SOS 8110685 HAS SOPS 8110685 HAS SOUS 6578754 HAS SOUPS 6578754 WITH SCORE 6586864.685
AT ITER 3691 NEW BEST:: SOT 42678317 SOS 8105460 HAS SOPS 8105460 HAS SOUS 6576664 HAS SOUPS 6576664 WITH SCORE 6584769.46
AT ITER 3692 NEW BEST:: SOT 42678316 SOS 8105458 HAS SOPS 8105458 HAS SOUS 6576662 HAS SOUPS 6576662 WITH SCORE 6584767.458
AT ITER 3697 NEW BEST:: SOT 42678234 SOS 8104126 HAS SOPS 8104126 HAS SOUS 6575811 HAS SOUPS 6575811 WITH SCORE 6583915.126
AT ITER 3731 NEW BEST:: SOT 42677318 SOS 8099546 HAS SOPS 8099546 HAS SOUS 6573979 HAS SOUPS 6573979 WITH SCORE 6582078.546
AT ITER 3753 NEW BEST:: SOT 42677318 SOS 8099546 HAS SOPS 8099546 HAS SOUS 6573295 HAS SOUPS 6573295 WITH SCORE 6581394.546
AT ITER 3793 NEW BEST:: SOT 42677689 SOS 8099150 HAS SOPS 8099150 HAS SOUS 6573282 HAS SOUPS 6573282 WITH SCORE 6581381.15
AT ITER 3824 NEW BEST:: SOT 42677689 SOS 8099150 HAS SOPS 8099150 HAS SOUS 6572053 HAS SOUPS 6572053 WITH SCORE 6580152.15
AT ITER 3844 NEW BEST:: SOT 42677267 SOS 8098306 HAS SOPS 8098306 HAS SOUS 6571918 HAS SOUPS 6571918 WITH SCORE 6580016.306
AT ITER 3859 NEW BEST:: SOT 42676465 SOS 8099108 HAS SOPS 8099108 HAS SOUS 6571116 HAS SOUPS 6571116 WITH SCORE 6579215.108
AT ITER 3907 NEW BEST:: SOT 42676408 SOS 8098994 HAS SOPS 8098994 HAS SOUS 6571002 HAS SOUPS 6571002 WITH SCORE 6579100.994
AT ITER 3915 NEW BEST:: SOT 42676408 SOS 8098994 HAS SOPS 8098994 HAS SOUS 6569479 HAS SOUPS 6569479 WITH SCORE 6577577.994
AT ITER 3956 NEW BEST:: SOT 42676407 SOS 8098992 HAS SOPS 8098992 HAS SOUS 6569477 HAS SOUPS 6569477 WITH SCORE 6577575.992
AT ITER 3984 NEW BEST:: SOT 42676405 SOS 8098988 HAS SOPS 8098988 HAS SOUS 6569473 HAS SOUPS 6569473 WITH SCORE 6577571.988
AT ITER 3995 NEW BEST:: SOT 42675829 SOS 8097836 HAS SOPS 8097836 HAS SOUS 6568321 HAS SOUPS 6568321 WITH SCORE 6576418.836
AT ITER 4017 NEW BEST:: SOT 42675825 SOS 8097828 HAS SOPS 8097828 HAS SOUS 6568313 HAS SOUPS 6568313 WITH SCORE 6576410.828
AT ITER 4028 NEW BEST:: SOT 42675572 SOS 8097322 HAS SOPS 8097322 HAS SOUS 6567807 HAS SOUPS 6567807 WITH SCORE 6575904.322
AT ITER 4057 NEW BEST:: SOT 42675572 SOS 8097124 HAS SOPS 8097124 HAS SOUS 6567708 HAS SOUPS 6567708 WITH SCORE 6575805.124
AT ITER 4080 NEW BEST:: SOT 42675305 SOS 8096590 HAS SOPS 8096590 HAS SOUS 6567174 HAS SOUPS 6567174 WITH SCORE 6575270.59
AT ITER 4093 NEW BEST:: SOT 42675305 SOS 8096490 HAS SOPS 8096490 HAS SOUS 6567174 HAS SOUPS 6567174 WITH SCORE 6575270.49
AT ITER 4106 NEW BEST:: SOT 42675305 SOS 8097353 HAS SOPS 8097353 HAS SOUS 6567173 HAS SOUPS 6567173 WITH SCORE 6575270.353
AT ITER 4116 NEW BEST:: SOT 42674098 SOS 8094939 HAS SOPS 8094939 HAS SOUS 6565966 HAS SOUPS 6565966 WITH SCORE 6574060.939
AT ITER 4134 NEW BEST:: SOT 42674097 SOS 8094937 HAS SOPS 8094937 HAS SOUS 6565964 HAS SOUPS 6565964 WITH SCORE 6574058.937
AT ITER 4138 NEW BEST:: SOT 42674097 SOS 8094859 HAS SOPS 8094859 HAS SOUS 6565925 HAS SOUPS 6565925 WITH SCORE 6574019.859
AT ITER 4152 NEW BEST:: SOT 42673042 SOS 8093800 HAS SOPS 8093800 HAS SOUS 6564869 HAS SOUPS 6564869 WITH SCORE 6572962.8
AT ITER 4158 NEW BEST:: SOT 42671852 SOS 8092610 HAS SOPS 8092610 HAS SOUS 6563679 HAS SOUPS 6563679 WITH SCORE 6571771.61
AT ITER 4219 NEW BEST:: SOT 42671099 SOS 8091857 HAS SOPS 8091857 HAS SOUS 6562926 HAS SOUPS 6562926 WITH SCORE 6571017.857
AT ITER 4235 NEW BEST:: SOT 42670277 SOS 8091031 HAS SOPS 8091031 HAS SOUS 6562103 HAS SOUPS 6562103 WITH SCORE 6570194.031
AT ITER 4237 NEW BEST:: SOT 42669941 SOS 8090695 HAS SOPS 8090695 HAS SOUS 6561431 HAS SOUPS 6561431 WITH SCORE 6569521.695
AT ITER 4250 NEW BEST:: SOT 42669000 SOS 8090693 HAS SOPS 8090693 HAS SOUS 6561429 HAS SOUPS 6561429 WITH SCORE 6569519.693
AT ITER 4255 NEW BEST:: SOT 42668920 SOS 8090533 HAS SOPS 8090533 HAS SOUS 6561269 HAS SOUPS 6561269 WITH SCORE 6569359.533
AT ITER 4271 NEW BEST:: SOT 42667991 SOS 8090119 HAS SOPS 8090119 HAS SOUS 6560855 HAS SOUPS 6560855 WITH SCORE 6568945.119
AT ITER 4300 NEW BEST:: SOT 42667802 SOS 8089265 HAS SOPS 8089265 HAS SOUS 6560666 HAS SOUPS 6560666 WITH SCORE 6568755.265
AT ITER 4308 NEW BEST:: SOT 42667412 SOS 8090151 HAS SOPS 8090151 HAS SOUS 6559250 HAS SOUPS 6559250 WITH SCORE 6567340.151
AT ITER 4322 NEW BEST:: SOT 42667309 SOS 8089945 HAS SOPS 8089945 HAS SOUS 6559044 HAS SOUPS 6559044 WITH SCORE 6567133.945
AT ITER 4349 NEW BEST:: SOT 42666591 SOS 8088509 HAS SOPS 8088509 HAS SOUS 6557976 HAS SOUPS 6557976 WITH SCORE 6566064.509
AT ITER 4422 NEW BEST:: SOT 42666591 SOS 8089288 HAS SOPS 8089288 HAS SOUS 6557975 HAS SOUPS 6557975 WITH SCORE 6566064.288
AT ITER 4442 NEW BEST:: SOT 42665769 SOS 8095544 HAS SOPS 8095544 HAS SOUS 6557305 HAS SOUPS 6557305 WITH SCORE 6565400.544
AT ITER 4454 NEW BEST:: SOT 42665769 SOS 8095454 HAS SOPS 8095454 HAS SOUS 6557305 HAS SOUPS 6557305 WITH SCORE 6565400.454
AT ITER 4475 NEW BEST:: SOT 42665385 SOS 8094302 HAS SOPS 8094302 HAS SOUS 6556153 HAS SOUPS 6556153 WITH SCORE 6564247.302
AT ITER 4532 NEW BEST:: SOT 42664891 SOS 8094055 HAS SOPS 8094055 HAS SOUS 6555906 HAS SOUPS 6555906 WITH SCORE 6564000.055
AT ITER 4538 NEW BEST:: SOT 42664486 SOS 8093965 HAS SOPS 8093965 HAS SOUS 6555816 HAS SOUPS 6555816 WITH SCORE 6563909.965
AT ITER 4545 NEW BEST:: SOT 42664712 SOS 8094417 HAS SOPS 8094417 HAS SOUS 6555367 HAS SOUPS 6555367 WITH SCORE 6563461.417
AT ITER 4589 NEW BEST:: SOT 42665342 SOS 8093784 HAS SOPS 8093784 HAS SOUS 6555366 HAS SOUPS 6555366 WITH SCORE 6563459.784
AT ITER 4594 NEW BEST:: SOT 42664897 SOS 8094043 HAS SOPS 8094043 HAS SOUS 6555304 HAS SOUPS 6555304 WITH SCORE 6563398.043
AT ITER 4595 NEW BEST:: SOT 42664233 SOS 8092715 HAS SOPS 8092715 HAS SOUS 6553976 HAS SOUPS 6553976 WITH SCORE 6562068.715
AT ITER 4631 NEW BEST:: SOT 42662303 SOS 8094930 HAS SOPS 8094930 HAS SOUS 6552869 HAS SOUPS 6552869 WITH SCORE 6560963.93
AT ITER 4666 NEW BEST:: SOT 42661645 SOS 8095164 HAS SOPS 8095164 HAS SOUS 6552674 HAS SOUPS 6552674 WITH SCORE 6560769.164
AT ITER 4685 NEW BEST:: SOT 42661645 SOS 8094792 HAS SOPS 8094792 HAS SOUS 6552488 HAS SOUPS 6552488 WITH SCORE 6560582.792
AT ITER 4696 NEW BEST:: SOT 42660769 SOS 8091396 HAS SOPS 8091396 HAS SOUS 6550976 HAS SOUPS 6550976 WITH SCORE 6559067.396
AT ITER 4700 NEW BEST:: SOT 42658775 SOS 8091440 HAS SOPS 8091440 HAS SOUS 6549409 HAS SOUPS 6549409 WITH SCORE 6557500.44
AT ITER 4730 NEW BEST:: SOT 42658775 SOS 8091316 HAS SOPS 8091316 HAS SOUS 6549409 HAS SOUPS 6549409 WITH SCORE 6557500.316
AT ITER 4735 NEW BEST:: SOT 42658361 SOS 8092342 HAS SOPS 8092342 HAS SOUS 6548995 HAS SOUPS 6548995 WITH SCORE 6557087.342
AT ITER 4772 NEW BEST:: SOT 42658330 SOS 8092280 HAS SOPS 8092280 HAS SOUS 6548995 HAS SOUPS 6548995 WITH SCORE 6557087.28
AT ITER 4787 NEW BEST:: SOT 42657369 SOS 8092041 HAS SOPS 8092041 HAS SOUS 6548756 HAS SOUPS 6548756 WITH SCORE 6556848.041
AT ITER 4809 NEW BEST:: SOT 42655783 SOS 8090279 HAS SOPS 8090279 HAS SOUS 6546994 HAS SOUPS 6546994 WITH SCORE 6555084.279
AT ITER 4847 NEW BEST:: SOT 42654997 SOS 8088706 HAS SOPS 8088706 HAS SOUS 6545421 HAS SOUPS 6545421 WITH SCORE 6553509.706
AT ITER 4852 NEW BEST:: SOT 42655679 SOS 8090070 HAS SOPS 8090070 HAS SOUS 6545063 HAS SOUPS 6545063 WITH SCORE 6553153.07
AT ITER 4899 NEW BEST:: SOT 42654466 SOS 8088853 HAS SOPS 8088853 HAS SOUS 6543849 HAS SOUPS 6543849 WITH SCORE 6551937.853
AT ITER 4904 NEW BEST:: SOT 42653842 SOS 8087605 HAS SOPS 8087605 HAS SOUS 6542601 HAS SOUPS 6542601 WITH SCORE 6550688.605
AT ITER 4934 NEW BEST:: SOT 42652753 SOS 8082960 HAS SOPS 8082960 HAS SOUS 6542393 HAS SOUPS 6542393 WITH SCORE 6550475.96
AT ITER 4958 NEW BEST:: SOT 42652753 SOS 8082603 HAS SOPS 8082603 HAS SOUS 6542393 HAS SOUPS 6542393 WITH SCORE 6550475.603
AT ITER 4966 NEW BEST:: SOT 42651329 SOS 8081292 HAS SOPS 8081292 HAS SOUS 6541061 HAS SOUPS 6541061 WITH SCORE 6549142.292
AT ITER 4994 NEW BEST:: SOT 42646326 SOS 8093413 HAS SOPS 8093413 HAS SOUS 6539993 HAS SOUPS 6539993 WITH SCORE 6548086.413
AT ITER 5005 NEW BEST:: SOT 42646105 SOS 8092971 HAS SOPS 8092971 HAS SOUS 6539551 HAS SOUPS 6539551 WITH SCORE 6547643.971
AT ITER 5014 NEW BEST:: SOT 42646090 SOS 8092941 HAS SOPS 8092941 HAS SOUS 6539521 HAS SOUPS 6539521 WITH SCORE 6547613.941
AT ITER 5018 NEW BEST:: SOT 42645889 SOS 8092539 HAS SOPS 8092539 HAS SOUS 6539119 HAS SOUPS 6539119 WITH SCORE 6547211.539
AT ITER 5032 NEW BEST:: SOT 42645888 SOS 8092537 HAS SOPS 8092537 HAS SOUS 6539117 HAS SOUPS 6539117 WITH SCORE 6547209.537
AT ITER 5042 NEW BEST:: SOT 42645888 SOS 8093146 HAS SOPS 8093146 HAS SOUS 6539116 HAS SOUPS 6539116 WITH SCORE 6547209.146
AT ITER 5045 NEW BEST:: SOT 42645828 SOS 8093026 HAS SOPS 8093026 HAS SOUS 6538996 HAS SOUPS 6538996 WITH SCORE 6547089.026
AT ITER 5057 NEW BEST:: SOT 42645827 SOS 8093006 HAS SOPS 8093006 HAS SOUS 6538976 HAS SOUPS 6538976 WITH SCORE 6547069.006
AT ITER 5061 NEW BEST:: SOT 42645773 SOS 8092898 HAS SOPS 8092898 HAS SOUS 6538868 HAS SOUPS 6538868 WITH SCORE 6546960.898
AT ITER 5081 NEW BEST:: SOT 42645600 SOS 8092552 HAS SOPS 8092552 HAS SOUS 6538522 HAS SOUPS 6538522 WITH SCORE 6546614.552
AT ITER 5086 NEW BEST:: SOT 42645436 SOS 8092225 HAS SOPS 8092225 HAS SOUS 6538195 HAS SOUPS 6538195 WITH SCORE 6546287.225
AT ITER 5094 NEW BEST:: SOT 42644815 SOS 8090983 HAS SOPS 8090983 HAS SOUS 6536953 HAS SOUPS 6536953 WITH SCORE 6545043.983
AT ITER 5109 NEW BEST:: SOT 42644324 SOS 8088528 HAS SOPS 8088528 HAS SOUS 6535971 HAS SOUPS 6535971 WITH SCORE 6544059.528
AT ITER 5114 NEW BEST:: SOT 42644201 SOS 8088282 HAS SOPS 8088282 HAS SOUS 6535725 HAS SOUPS 6535725 WITH SCORE 6543813.282
AT ITER 5115 NEW BEST:: SOT 42644080 SOS 8088399 HAS SOPS 8088399 HAS SOUS 6535724 HAS SOUPS 6535724 WITH SCORE 6543812.399
AT ITER 5120 NEW BEST:: SOT 42644076 SOS 8088391 HAS SOPS 8088391 HAS SOUS 6535716 HAS SOUPS 6535716 WITH SCORE 6543804.391
AT ITER 5121 NEW BEST:: SOT 42644071 SOS 8088381 HAS SOPS 8088381 HAS SOUS 6534996 HAS SOUPS 6534996 WITH SCORE 6543084.381
AT ITER 5144 NEW BEST:: SOT 42643548 SOS 8088975 HAS SOPS 8088975 HAS SOUS 6534781 HAS SOUPS 6534781 WITH SCORE 6542869.975
AT ITER 5148 NEW BEST:: SOT 42643531 SOS 8088941 HAS SOPS 8088941 HAS SOUS 6534747 HAS SOUPS 6534747 WITH SCORE 6542835.941
AT ITER 5149 NEW BEST:: SOT 42643408 SOS 8088695 HAS SOPS 8088695 HAS SOUS 6534624 HAS SOUPS 6534624 WITH SCORE 6542712.695
AT ITER 5159 NEW BEST:: SOT 42642664 SOS 8088323 HAS SOPS 8088323 HAS SOUS 6534252 HAS SOUPS 6534252 WITH SCORE 6542340.323
AT ITER 5196 NEW BEST:: SOT 42642663 SOS 8089739 HAS SOPS 8089739 HAS SOUS 6534249 HAS SOUPS 6534249 WITH SCORE 6542338.739
AT ITER 5203 NEW BEST:: SOT 42642080 SOS 8089156 HAS SOPS 8089156 HAS SOUS 6534249 HAS SOUPS 6534249 WITH SCORE 6542338.156
AT ITER 5214 NEW BEST:: SOT 42641999 SOS 8089314 HAS SOPS 8089314 HAS SOUS 6534167 HAS SOUPS 6534167 WITH SCORE 6542256.314
AT ITER 5255 NEW BEST:: SOT 42640319 SOS 8086794 HAS SOPS 8086794 HAS SOUS 6531647 HAS SOUPS 6531647 WITH SCORE 6539733.794
AT ITER 5262 NEW BEST:: SOT 42639753 SOS 8085096 HAS SOPS 8085096 HAS SOUS 6530515 HAS SOUPS 6530515 WITH SCORE 6538600.096
AT ITER 5268 NEW BEST:: SOT 42638781 SOS 8084120 HAS SOPS 8084120 HAS SOUS 6529542 HAS SOUPS 6529542 WITH SCORE 6537626.12
AT ITER 5375 NEW BEST:: SOT 42638359 SOS 8083905 HAS SOPS 8083905 HAS SOUS 6529330 HAS SOUPS 6529330 WITH SCORE 6537413.905
AT ITER 5383 NEW BEST:: SOT 42637464 SOS 8078956 HAS SOPS 8078956 HAS SOUS 6527540 HAS SOUPS 6527540 WITH SCORE 6535618.956
AT ITER 5411 NEW BEST:: SOT 42636753 SOS 8077534 HAS SOPS 8077534 HAS SOUS 6526118 HAS SOUPS 6526118 WITH SCORE 6534195.534
AT ITER 5438 NEW BEST:: SOT 42636102 SOS 8076232 HAS SOPS 8076232 HAS SOUS 6524816 HAS SOUPS 6524816 WITH SCORE 6532892.232
AT ITER 5502 NEW BEST:: SOT 42633436 SOS 8079888 HAS SOPS 8079888 HAS SOUS 6523865 HAS SOUPS 6523865 WITH SCORE 6531944.888
AT ITER 5546 NEW BEST:: SOT 42632725 SOS 8079555 HAS SOPS 8079555 HAS SOUS 6523532 HAS SOUPS 6523532 WITH SCORE 6531611.555
AT ITER 5576 NEW BEST:: SOT 42632444 SOS 8079805 HAS SOPS 8079805 HAS SOUS 6523458 HAS SOUPS 6523458 WITH SCORE 6531537.805
AT ITER 5605 NEW BEST:: SOT 42631589 SOS 8078095 HAS SOPS 8078095 HAS SOUS 6521748 HAS SOUPS 6521748 WITH SCORE 6529826.095
AT ITER 5641 NEW BEST:: SOT 42631168 SOS 8075990 HAS SOPS 8075990 HAS SOUS 6520906 HAS SOUPS 6520906 WITH SCORE 6528981.99
AT ITER 5678 NEW BEST:: SOT 42629548 SOS 8075180 HAS SOPS 8075180 HAS SOUS 6520096 HAS SOUPS 6520096 WITH SCORE 6528171.18
AT ITER 5746 NEW BEST:: SOT 42625694 SOS 8074393 HAS SOPS 8074393 HAS SOUS 6517486 HAS SOUPS 6517486 WITH SCORE 6525560.393
AT ITER 5781 NEW BEST:: SOT 42625323 SOS 8074499 HAS SOPS 8074499 HAS SOUS 6517354 HAS SOUPS 6517354 WITH SCORE 6525428.499
AT ITER 5785 NEW BEST:: SOT 42625321 SOS 8074495 HAS SOPS 8074495 HAS SOUS 6517350 HAS SOUPS 6517350 WITH SCORE 6525424.495
AT ITER 5793 NEW BEST:: SOT 42625160 SOS 8069241 HAS SOPS 8069241 HAS SOUS 6517082 HAS SOUPS 6517082 WITH SCORE 6525151.241
AT ITER 5794 NEW BEST:: SOT 42624839 SOS 8068599 HAS SOPS 8068599 HAS SOUS 6516440 HAS SOUPS 6516440 WITH SCORE 6524508.599
AT ITER 5797 NEW BEST:: SOT 42624636 SOS 8068193 HAS SOPS 8068193 HAS SOUS 6516102 HAS SOUPS 6516102 WITH SCORE 6524170.193
AT ITER 5829 NEW BEST:: SOT 42624409 SOS 8067078 HAS SOPS 8067078 HAS SOUS 6515872 HAS SOUPS 6515872 WITH SCORE 6523939.078
AT ITER 5868 NEW BEST:: SOT 42624151 SOS 8066562 HAS SOPS 8066562 HAS SOUS 6514474 HAS SOUPS 6514474 WITH SCORE 6522540.562
AT ITER 5917 NEW BEST:: SOT 42624151 SOS 8066279 HAS SOPS 8066279 HAS SOUS 6514191 HAS SOUPS 6514191 WITH SCORE 6522257.279
AT ITER 5964 NEW BEST:: SOT 42624054 SOS 8065891 HAS SOPS 8065891 HAS SOUS 6514097 HAS SOUPS 6514097 WITH SCORE 6522162.891
AT ITER 5968 NEW BEST:: SOT 42624054 SOS 8065837 HAS SOPS 8065837 HAS SOUS 6514097 HAS SOUPS 6514097 WITH SCORE 6522162.837
AT ITER 5969 NEW BEST:: SOT 42623127 SOS 8064940 HAS SOPS 8064940 HAS SOUS 6513169 HAS SOUPS 6513169 WITH SCORE 6521233.94
AT ITER 5982 NEW BEST:: SOT 42623127 SOS 8064940 HAS SOPS 8064940 HAS SOUS 6513032 HAS SOUPS 6513032 WITH SCORE 6521096.94
AT ITER 5983 NEW BEST:: SOT 42622979 SOS 8064799 HAS SOPS 8064799 HAS SOUS 6512891 HAS SOUPS 6512891 WITH SCORE 6520955.799
AT ITER 5998 NEW BEST:: SOT 42622979 SOS 8065727 HAS SOPS 8065727 HAS SOUS 6512890 HAS SOUPS 6512890 WITH SCORE 6520955.727
AT ITER 6003 NEW BEST:: SOT 42619233 SOS 8064347 HAS SOPS 8064347 HAS SOUS 6509653 HAS SOUPS 6509653 WITH SCORE 6517717.347
AT ITER 6016 NEW BEST:: SOT 42618897 SOS 8062667 HAS SOPS 8062667 HAS SOUS 6508981 HAS SOUPS 6508981 WITH SCORE 6517043.667
AT ITER 6046 NEW BEST:: SOT 42618897 SOS 8060435 HAS SOPS 8060435 HAS SOUS 6508981 HAS SOUPS 6508981 WITH SCORE 6517041.435
AT ITER 6050 NEW BEST:: SOT 42618940 SOS 8060521 HAS SOPS 8060521 HAS SOUS 6508780 HAS SOUPS 6508780 WITH SCORE 6516840.521
AT ITER 6061 NEW BEST:: SOT 42618438 SOS 8064537 HAS SOPS 8064537 HAS SOUS 6508278 HAS SOUPS 6508278 WITH SCORE 6516342.537
AT ITER 6073 NEW BEST:: SOT 42619236 SOS 8064961 HAS SOPS 8064961 HAS SOUS 6507530 HAS SOUPS 6507530 WITH SCORE 6515594.961
AT ITER 6090 NEW BEST:: SOT 42618492 SOS 8063474 HAS SOPS 8063474 HAS SOUS 6506742 HAS SOUPS 6506742 WITH SCORE 6514805.474
AT ITER 6149 NEW BEST:: SOT 42618419 SOS 8063229 HAS SOPS 8063229 HAS SOUS 6506581 HAS SOUPS 6506581 WITH SCORE 6514644.229
AT ITER 6172 NEW BEST:: SOT 42618419 SOS 8060022 HAS SOPS 8060022 HAS SOUS 6506581 HAS SOUPS 6506581 WITH SCORE 6514641.022
AT ITER 6222 NEW BEST:: SOT 42618177 SOS 8059538 HAS SOPS 8059538 HAS SOUS 6506097 HAS SOUPS 6506097 WITH SCORE 6514156.538
AT ITER 6257 NEW BEST:: SOT 42618177 SOS 8059538 HAS SOPS 8059538 HAS SOUS 6505096 HAS SOUPS 6505096 WITH SCORE 6513155.538
AT ITER 6260 NEW BEST:: SOT 42617922 SOS 8059378 HAS SOPS 8059378 HAS SOUS 6504894 HAS SOUPS 6504894 WITH SCORE 6512953.378
AT ITER 6291 NEW BEST:: SOT 42617259 SOS 8059067 HAS SOPS 8059067 HAS SOUS 6504583 HAS SOUPS 6504583 WITH SCORE 6512642.067
AT ITER 6294 NEW BEST:: SOT 42616355 SOS 8054939 HAS SOPS 8054939 HAS SOUS 6502873 HAS SOUPS 6502873 WITH SCORE 6510927.939
AT ITER 6317 NEW BEST:: SOT 42612489 SOS 8049671 HAS SOPS 8049671 HAS SOUS 6498529 HAS SOUPS 6498529 WITH SCORE 6506578.671
AT ITER 6331 NEW BEST:: SOT 42612763 SOS 8050219 HAS SOPS 8050219 HAS SOUS 6498470 HAS SOUPS 6498470 WITH SCORE 6506520.219
AT ITER 6353 NEW BEST:: SOT 42612762 SOS 8050217 HAS SOPS 8050217 HAS SOUS 6498468 HAS SOUPS 6498468 WITH SCORE 6506518.217
AT ITER 6371 NEW BEST:: SOT 42612252 SOS 8049197 HAS SOPS 8049197 HAS SOUS 6498189 HAS SOUPS 6498189 WITH SCORE 6506238.197
AT ITER 6377 NEW BEST:: SOT 42611935 SOS 8048564 HAS SOPS 8048564 HAS SOUS 6497556 HAS SOUPS 6497556 WITH SCORE 6505604.564
AT ITER 6388 NEW BEST:: SOT 42612293 SOS 8047930 HAS SOPS 8047930 HAS SOUS 6496922 HAS SOUPS 6496922 WITH SCORE 6504969.93
AT ITER 6405 NEW BEST:: SOT 42612293 SOS 8047644 HAS SOPS 8047644 HAS SOUS 6496922 HAS SOUPS 6496922 WITH SCORE 6504969.644
AT ITER 6413 NEW BEST:: SOT 42611685 SOS 8047048 HAS SOPS 8047048 HAS SOUS 6496326 HAS SOUPS 6496326 WITH SCORE 6504373.048
AT ITER 6438 NEW BEST:: SOT 42611603 SOS 8046884 HAS SOPS 8046884 HAS SOUS 6496162 HAS SOUPS 6496162 WITH SCORE 6504208.884
AT ITER 6448 NEW BEST:: SOT 42611603 SOS 8047687 HAS SOPS 8047687 HAS SOUS 6496161 HAS SOUPS 6496161 WITH SCORE 6504208.687
AT ITER 6450 NEW BEST:: SOT 42611356 SOS 8047193 HAS SOPS 8047193 HAS SOUS 6495667 HAS SOUPS 6495667 WITH SCORE 6503714.193
AT ITER 6457 NEW BEST:: SOT 42611356 SOS 8047119 HAS SOPS 8047119 HAS SOUS 6495593 HAS SOUPS 6495593 WITH SCORE 6503640.119
AT ITER 6458 NEW BEST:: SOT 42610660 SOS 8046423 HAS SOPS 8046423 HAS SOUS 6494897 HAS SOUPS 6494897 WITH SCORE 6502943.423
AT ITER 6459 NEW BEST:: SOT 42610370 SOS 8046133 HAS SOPS 8046133 HAS SOUS 6494897 HAS SOUPS 6494897 WITH SCORE 6502943.133
AT ITER 6460 NEW BEST:: SOT 42608867 SOS 8043127 HAS SOPS 8043127 HAS SOUS 6491891 HAS SOUPS 6491891 WITH SCORE 6499934.127
AT ITER 6504 NEW BEST:: SOT 42608786 SOS 8042965 HAS SOPS 8042965 HAS SOUS 6491729 HAS SOUPS 6491729 WITH SCORE 6499771.965
AT ITER 6551 NEW BEST:: SOT 42608520 SOS 8041541 HAS SOPS 8041541 HAS SOUS 6490770 HAS SOUPS 6490770 WITH SCORE 6498811.541
AT ITER 6623 NEW BEST:: SOT 42608747 SOS 8041995 HAS SOPS 8041995 HAS SOUS 6490437 HAS SOUPS 6490437 WITH SCORE 6498478.995
AT ITER 6627 NEW BEST:: SOT 42606881 SOS 8043793 HAS SOPS 8043793 HAS SOUS 6489579 HAS SOUPS 6489579 WITH SCORE 6497622.793
AT ITER 6640 NEW BEST:: SOT 42606789 SOS 8043609 HAS SOPS 8043609 HAS SOUS 6489395 HAS SOUPS 6489395 WITH SCORE 6497438.609
AT ITER 6689 NEW BEST:: SOT 42606059 SOS 8042786 HAS SOPS 8042786 HAS SOUS 6488767 HAS SOUPS 6488767 WITH SCORE 6496809.786
AT ITER 6702 NEW BEST:: SOT 42606059 SOS 8045491 HAS SOPS 8045491 HAS SOUS 6487863 HAS SOUPS 6487863 WITH SCORE 6495908.491
AT ITER 6713 NEW BEST:: SOT 42606059 SOS 8045047 HAS SOPS 8045047 HAS SOUS 6487641 HAS SOUPS 6487641 WITH SCORE 6495686.047
AT ITER 6718 NEW BEST:: SOT 42605721 SOS 8044878 HAS SOPS 8044878 HAS SOUS 6487472 HAS SOUPS 6487472 WITH SCORE 6495516.878
AT ITER 6737 NEW BEST:: SOT 42605014 SOS 8043464 HAS SOPS 8043464 HAS SOUS 6486058 HAS SOUPS 6486058 WITH SCORE 6494101.464
AT ITER 6741 NEW BEST:: SOT 42605014 SOS 8043273 HAS SOPS 8043273 HAS SOUS 6485867 HAS SOUPS 6485867 WITH SCORE 6493910.273
AT ITER 6756 NEW BEST:: SOT 42605013 SOS 8043271 HAS SOPS 8043271 HAS SOUS 6485865 HAS SOUPS 6485865 WITH SCORE 6493908.271
AT ITER 6775 NEW BEST:: SOT 42605013 SOS 8041729 HAS SOPS 8041729 HAS SOUS 6485094 HAS SOUPS 6485094 WITH SCORE 6493135.729
AT ITER 6790 NEW BEST:: SOT 42604637 SOS 8041109 HAS SOPS 8041109 HAS SOUS 6484474 HAS SOUPS 6484474 WITH SCORE 6492515.109
AT ITER 6796 NEW BEST:: SOT 42604468 SOS 8040771 HAS SOPS 8040771 HAS SOUS 6483163 HAS SOUPS 6483163 WITH SCORE 6491203.771
AT ITER 6802 NEW BEST:: SOT 42604399 SOS 8040633 HAS SOPS 8040633 HAS SOUS 6483094 HAS SOUPS 6483094 WITH SCORE 6491134.633
AT ITER 6805 NEW BEST:: SOT 42604331 SOS 8040496 HAS SOPS 8040496 HAS SOUS 6482957 HAS SOUPS 6482957 WITH SCORE 6490997.496
AT ITER 6809 NEW BEST:: SOT 42604331 SOS 8040496 HAS SOPS 8040496 HAS SOUS 6481438 HAS SOUPS 6481438 WITH SCORE 6489478.496
AT ITER 6817 NEW BEST:: SOT 42603561 SOS 8040107 HAS SOPS 8040107 HAS SOUS 6481052 HAS SOUPS 6481052 WITH SCORE 6489092.107
AT ITER 6825 NEW BEST:: SOT 42603561 SOS 8038769 HAS SOPS 8038769 HAS SOUS 6481052 HAS SOUPS 6481052 WITH SCORE 6489090.769
AT ITER 6834 NEW BEST:: SOT 42603479 SOS 8038605 HAS SOPS 8038605 HAS SOUS 6480888 HAS SOUPS 6480888 WITH SCORE 6488926.605
AT ITER 6839 NEW BEST:: SOT 42602824 SOS 8037295 HAS SOPS 8037295 HAS SOUS 6479578 HAS SOUPS 6479578 WITH SCORE 6487615.295
AT ITER 6872 NEW BEST:: SOT 42601817 SOS 8035281 HAS SOPS 8035281 HAS SOUS 6478571 HAS SOUPS 6478571 WITH SCORE 6486606.281
AT ITER 6876 NEW BEST:: SOT 42601816 SOS 8035279 HAS SOPS 8035279 HAS SOUS 6478569 HAS SOUPS 6478569 WITH SCORE 6486604.279
AT ITER 6889 NEW BEST:: SOT 42601405 SOS 8032935 HAS SOPS 8032935 HAS SOUS 6477546 HAS SOUPS 6477546 WITH SCORE 6485578.935
AT ITER 6896 NEW BEST:: SOT 42601021 SOS 8031351 HAS SOPS 8031351 HAS SOUS 6476856 HAS SOUPS 6476856 WITH SCORE 6484887.351
AT ITER 6907 NEW BEST:: SOT 42600247 SOS 8029307 HAS SOPS 8029307 HAS SOUS 6476577 HAS SOUPS 6476577 WITH SCORE 6484606.307
AT ITER 6908 NEW BEST:: SOT 42600269 SOS 8029351 HAS SOPS 8029351 HAS SOUS 6475044 HAS SOUPS 6475044 WITH SCORE 6483073.351
AT ITER 6914 NEW BEST:: SOT 42600113 SOS 8029039 HAS SOPS 8029039 HAS SOUS 6474888 HAS SOUPS 6474888 WITH SCORE 6482917.039
AT ITER 6923 NEW BEST:: SOT 42597860 SOS 8028046 HAS SOPS 8028046 HAS SOUS 6473806 HAS SOUPS 6473806 WITH SCORE 6481834.046
AT ITER 6946 NEW BEST:: SOT 42597071 SOS 8026468 HAS SOPS 8026468 HAS SOUS 6472228 HAS SOUPS 6472228 WITH SCORE 6480254.468
AT ITER 6970 NEW BEST:: SOT 42595475 SOS 8023276 HAS SOPS 8023276 HAS SOUS 6470632 HAS SOUPS 6470632 WITH SCORE 6478655.276
AT ITER 6987 NEW BEST:: SOT 42583698 SOS 8041595 HAS SOPS 8041595 HAS SOUS 6465041 HAS SOUPS 6465041 WITH SCORE 6473082.595
AT ITER 6994 NEW BEST:: SOT 42582896 SOS 8039485 HAS SOPS 8039485 HAS SOUS 6463906 HAS SOUPS 6463906 WITH SCORE 6471945.485
AT ITER 7047 NEW BEST:: SOT 42581530 SOS 8039453 HAS SOPS 8039453 HAS SOUS 6463005 HAS SOUPS 6463005 WITH SCORE 6471044.453
AT ITER 7077 NEW BEST:: SOT 42581529 SOS 8039827 HAS SOPS 8039827 HAS SOUS 6463003 HAS SOUPS 6463003 WITH SCORE 6471042.827
AT ITER 7096 NEW BEST:: SOT 42581529 SOS 8039449 HAS SOPS 8039449 HAS SOUS 6463003 HAS SOUPS 6463003 WITH SCORE 6471042.449
AT ITER 7170 NEW BEST:: SOT 42581074 SOS 8038539 HAS SOPS 8038539 HAS SOUS 6462548 HAS SOUPS 6462548 WITH SCORE 6470586.539
AT ITER 7188 NEW BEST:: SOT 42580249 SOS 8036362 HAS SOPS 8036362 HAS SOUS 6461270 HAS SOUPS 6461270 WITH SCORE 6469306.362
AT ITER 7189 NEW BEST:: SOT 42580223 SOS 8036310 HAS SOPS 8036310 HAS SOUS 6461244 HAS SOUPS 6461244 WITH SCORE 6469280.31
AT ITER 7194 NEW BEST:: SOT 42580053 SOS 8036140 HAS SOPS 8036140 HAS SOUS 6461074 HAS SOUPS 6461074 WITH SCORE 6469110.14
AT ITER 7203 NEW BEST:: SOT 42578810 SOS 8035236 HAS SOPS 8035236 HAS SOUS 6460057 HAS SOUPS 6460057 WITH SCORE 6468092.236
AT ITER 7209 NEW BEST:: SOT 42578809 SOS 8034757 HAS SOPS 8034757 HAS SOUS 6459578 HAS SOUPS 6459578 WITH SCORE 6467612.757
AT ITER 7212 NEW BEST:: SOT 42578696 SOS 8033445 HAS SOPS 8033445 HAS SOUS 6459087 HAS SOUPS 6459087 WITH SCORE 6467120.445
AT ITER 7218 NEW BEST:: SOT 42578302 SOS 8032657 HAS SOPS 8032657 HAS SOUS 6458693 HAS SOUPS 6458693 WITH SCORE 6466725.657
AT ITER 7228 NEW BEST:: SOT 42577802 SOS 8031657 HAS SOPS 8031657 HAS SOUS 6458472 HAS SOUPS 6458472 WITH SCORE 6466503.657
AT ITER 7235 NEW BEST:: SOT 42576866 SOS 8030249 HAS SOPS 8030249 HAS SOUS 6457925 HAS SOUPS 6457925 WITH SCORE 6465955.249
AT ITER 7239 NEW BEST:: SOT 42576865 SOS 8030247 HAS SOPS 8030247 HAS SOUS 6457923 HAS SOUPS 6457923 WITH SCORE 6465953.247
AT ITER 7274 NEW BEST:: SOT 42574425 SOS 8032318 HAS SOPS 8032318 HAS SOUS 6457804 HAS SOUPS 6457804 WITH SCORE 6465836.318
AT ITER 7303 NEW BEST:: SOT 42574278 SOS 8032308 HAS SOPS 8032308 HAS SOUS 6457803 HAS SOUPS 6457803 WITH SCORE 6465835.308
AT ITER 7321 NEW BEST:: SOT 42573712 SOS 8032243 HAS SOPS 8032243 HAS SOUS 6457593 HAS SOUPS 6457593 WITH SCORE 6465625.243
AT ITER 7325 NEW BEST:: SOT 42573632 SOS 8032083 HAS SOPS 8032083 HAS SOUS 6457433 HAS SOUPS 6457433 WITH SCORE 6465465.083
AT ITER 7326 NEW BEST:: SOT 42573552 SOS 8031999 HAS SOPS 8031999 HAS SOUS 6457352 HAS SOUPS 6457352 WITH SCORE 6465383.999
AT ITER 7333 NEW BEST:: SOT 42573552 SOS 8031999 HAS SOPS 8031999 HAS SOUS 6457284 HAS SOUPS 6457284 WITH SCORE 6465315.999
AT ITER 7340 NEW BEST:: SOT 42573552 SOS 8030915 HAS SOPS 8030915 HAS SOUS 6457284 HAS SOUPS 6457284 WITH SCORE 6465314.915
AT ITER 7348 NEW BEST:: SOT 42572797 SOS 8027676 HAS SOPS 8027676 HAS SOUS 6455908 HAS SOUPS 6455908 WITH SCORE 6463935.676
AT ITER 7359 NEW BEST:: SOT 42571626 SOS 8026510 HAS SOPS 8026510 HAS SOUS 6454742 HAS SOUPS 6454742 WITH SCORE 6462768.51
AT ITER 7368 NEW BEST:: SOT 42571626 SOS 8026510 HAS SOPS 8026510 HAS SOUS 6454675 HAS SOUPS 6454675 WITH SCORE 6462701.51
AT ITER 7376 NEW BEST:: SOT 42571626 SOS 8025782 HAS SOPS 8025782 HAS SOUS 6454675 HAS SOUPS 6454675 WITH SCORE 6462700.782
AT ITER 7389 NEW BEST:: SOT 42571413 SOS 8025356 HAS SOPS 8025356 HAS SOUS 6454249 HAS SOUPS 6454249 WITH SCORE 6462274.356
AT ITER 7418 NEW BEST:: SOT 42570823 SOS 8025061 HAS SOPS 8025061 HAS SOUS 6453954 HAS SOUPS 6453954 WITH SCORE 6461979.061
AT ITER 7432 NEW BEST:: SOT 42570823 SOS 8025061 HAS SOPS 8025061 HAS SOUS 6452273 HAS SOUPS 6452273 WITH SCORE 6460298.061
AT ITER 7440 NEW BEST:: SOT 42569514 SOS 8023748 HAS SOPS 8023748 HAS SOUS 6450963 HAS SOUPS 6450963 WITH SCORE 6458986.748
AT ITER 7512 NEW BEST:: SOT 42569167 SOS 8023054 HAS SOPS 8023054 HAS SOUS 6450632 HAS SOUPS 6450632 WITH SCORE 6458655.054
AT ITER 7524 NEW BEST:: SOT 42567221 SOS 8023764 HAS SOPS 8023764 HAS SOUS 6450349 HAS SOUPS 6450349 WITH SCORE 6458372.764
AT ITER 7589 NEW BEST:: SOT 42567199 SOS 8023720 HAS SOPS 8023720 HAS SOUS 6450305 HAS SOUPS 6450305 WITH SCORE 6458328.72
AT ITER 7598 NEW BEST:: SOT 42566883 SOS 8023587 HAS SOPS 8023587 HAS SOUS 6450082 HAS SOUPS 6450082 WITH SCORE 6458105.587
AT ITER 7602 NEW BEST:: SOT 42566431 SOS 8022797 HAS SOPS 8022797 HAS SOUS 6449715 HAS SOUPS 6449715 WITH SCORE 6457737.797
AT ITER 7605 NEW BEST:: SOT 42565491 SOS 8018097 HAS SOPS 8018097 HAS SOUS 6447835 HAS SOUPS 6447835 WITH SCORE 6455853.097
AT ITER 7676 NEW BEST:: SOT 42565491 SOS 8018097 HAS SOPS 8018097 HAS SOUS 6447422 HAS SOUPS 6447422 WITH SCORE 6455440.097
AT ITER 7679 NEW BEST:: SOT 42565491 SOS 8018608 HAS SOPS 8018608 HAS SOUS 6447421 HAS SOUPS 6447421 WITH SCORE 6455439.608
AT ITER 7682 NEW BEST:: SOT 42565411 SOS 8018568 HAS SOPS 8018568 HAS SOUS 6447381 HAS SOUPS 6447381 WITH SCORE 6455399.568
AT ITER 7699 NEW BEST:: SOT 42565287 SOS 8018320 HAS SOPS 8018320 HAS SOUS 6447257 HAS SOUPS 6447257 WITH SCORE 6455275.32
AT ITER 7706 NEW BEST:: SOT 42564774 SOS 8018256 HAS SOPS 8018256 HAS SOUS 6447196 HAS SOUPS 6447196 WITH SCORE 6455214.256
AT ITER 7723 NEW BEST:: SOT 42562679 SOS 8017504 HAS SOPS 8017504 HAS SOUS 6446247 HAS SOUPS 6446247 WITH SCORE 6454264.504
AT ITER 7734 NEW BEST:: SOT 42562679 SOS 8017504 HAS SOPS 8017504 HAS SOUS 6445482 HAS SOUPS 6445482 WITH SCORE 6453499.504
AT ITER 7762 NEW BEST:: SOT 42562077 SOS 8017385 HAS SOPS 8017385 HAS SOUS 6445363 HAS SOUPS 6445363 WITH SCORE 6453380.385
AT ITER 7763 NEW BEST:: SOT 42561553 SOS 8016337 HAS SOPS 8016337 HAS SOUS 6444315 HAS SOUPS 6444315 WITH SCORE 6452331.337
AT ITER 7765 NEW BEST:: SOT 42560620 SOS 8013155 HAS SOPS 8013155 HAS SOUS 6443053 HAS SOUPS 6443053 WITH SCORE 6451066.155
AT ITER 7787 NEW BEST:: SOT 42560493 SOS 8012901 HAS SOPS 8012901 HAS SOUS 6442926 HAS SOUPS 6442926 WITH SCORE 6450938.901
AT ITER 7788 NEW BEST:: SOT 42558287 SOS 8012149 HAS SOPS 8012149 HAS SOUS 6441940 HAS SOUPS 6441940 WITH SCORE 6449952.149
AT ITER 7806 NEW BEST:: SOT 42558134 SOS 8011843 HAS SOPS 8011843 HAS SOUS 6441634 HAS SOUPS 6441634 WITH SCORE 6449645.843
AT ITER 7815 NEW BEST:: SOT 42558134 SOS 8012498 HAS SOPS 8012498 HAS SOUS 6441633 HAS SOUPS 6441633 WITH SCORE 6449645.498
AT ITER 7818 NEW BEST:: SOT 42558039 SOS 8012308 HAS SOPS 8012308 HAS SOUS 6441443 HAS SOUPS 6441443 WITH SCORE 6449455.308
AT ITER 7830 NEW BEST:: SOT 42554475 SOS 8009716 HAS SOPS 8009716 HAS SOUS 6438527 HAS SOUPS 6438527 WITH SCORE 6446536.716
AT ITER 7871 NEW BEST:: SOT 42554888 SOS 8009303 HAS SOPS 8009303 HAS SOUS 6438527 HAS SOUPS 6438527 WITH SCORE 6446536.303
AT ITER 7890 NEW BEST:: SOT 42553690 SOS 8008704 HAS SOPS 8008704 HAS SOUS 6437928 HAS SOUPS 6437928 WITH SCORE 6445936.704
AT ITER 7905 NEW BEST:: SOT 42552932 SOS 8012817 HAS SOPS 8012817 HAS SOUS 6437522 HAS SOUPS 6437522 WITH SCORE 6445534.817
AT ITER 7928 NEW BEST:: SOT 42553225 SOS 8013403 HAS SOPS 8013403 HAS SOUS 6437179 HAS SOUPS 6437179 WITH SCORE 6445192.403
AT ITER 7945 NEW BEST:: SOT 42552665 SOS 8012640 HAS SOPS 8012640 HAS SOUS 6436653 HAS SOUPS 6436653 WITH SCORE 6444665.64
AT ITER 7955 NEW BEST:: SOT 42552485 SOS 8012460 HAS SOPS 8012460 HAS SOUS 6436473 HAS SOUPS 6436473 WITH SCORE 6444485.46
AT ITER 7979 NEW BEST:: SOT 42551182 SOS 8012167 HAS SOPS 8012167 HAS SOUS 6436180 HAS SOUPS 6436180 WITH SCORE 6444192.167
AT ITER 8009 NEW BEST:: SOT 42550562 SOS 8010927 HAS SOPS 8010927 HAS SOUS 6434940 HAS SOUPS 6434940 WITH SCORE 6442950.927
AT ITER 8010 NEW BEST:: SOT 42549260 SOS 8008323 HAS SOPS 8008323 HAS SOUS 6432336 HAS SOUPS 6432336 WITH SCORE 6440344.323
AT ITER 8032 NEW BEST:: SOT 42549180 SOS 8008163 HAS SOPS 8008163 HAS SOUS 6431596 HAS SOUPS 6431596 WITH SCORE 6439604.163
AT ITER 8034 NEW BEST:: SOT 42549046 SOS 8007895 HAS SOPS 8007895 HAS SOUS 6431074 HAS SOUPS 6431074 WITH SCORE 6439081.895
AT ITER 8064 NEW BEST:: SOT 42548404 SOS 8007766 HAS SOPS 8007766 HAS SOUS 6430945 HAS SOUPS 6430945 WITH SCORE 6438952.766
AT ITER 8065 NEW BEST:: SOT 42547469 SOS 8005099 HAS SOPS 8005099 HAS SOUS 6430010 HAS SOUPS 6430010 WITH SCORE 6438015.099
AT ITER 8072 NEW BEST:: SOT 42546803 SOS 8005045 HAS SOPS 8005045 HAS SOUS 6429956 HAS SOUPS 6429956 WITH SCORE 6437961.045
AT ITER 8076 NEW BEST:: SOT 42546655 SOS 8004897 HAS SOPS 8004897 HAS SOUS 6429956 HAS SOUPS 6429956 WITH SCORE 6437960.897
AT ITER 8104 NEW BEST:: SOT 42546173 SOS 8003934 HAS SOPS 8003934 HAS SOUS 6428993 HAS SOUPS 6428993 WITH SCORE 6436996.934
AT ITER 8122 NEW BEST:: SOT 42545639 SOS 8003396 HAS SOPS 8003396 HAS SOUS 6428458 HAS SOUPS 6428458 WITH SCORE 6436461.396
AT ITER 8126 NEW BEST:: SOT 42544303 SOS 8003187 HAS SOPS 8003187 HAS SOUS 6428111 HAS SOUPS 6428111 WITH SCORE 6436114.187
AT ITER 8135 NEW BEST:: SOT 42544223 SOS 8001059 HAS SOPS 8001059 HAS SOUS 6427375 HAS SOUPS 6427375 WITH SCORE 6435376.059
AT ITER 8138 NEW BEST:: SOT 42544223 SOS 8000198 HAS SOPS 8000198 HAS SOUS 6427375 HAS SOUPS 6427375 WITH SCORE 6435375.198
AT ITER 8166 NEW BEST:: SOT 42543097 SOS 7999068 HAS SOPS 7999068 HAS SOUS 6426248 HAS SOUPS 6426248 WITH SCORE 6434247.068
AT ITER 8179 NEW BEST:: SOT 42543054 SOS 7998982 HAS SOPS 7998982 HAS SOUS 6425080 HAS SOUPS 6425080 WITH SCORE 6433078.982
AT ITER 8210 NEW BEST:: SOT 42542442 SOS 7997758 HAS SOPS 7997758 HAS SOUS 6423856 HAS SOUPS 6423856 WITH SCORE 6431853.758
AT ITER 8217 NEW BEST:: SOT 42542014 SOS 7992157 HAS SOPS 7992157 HAS SOUS 6422461 HAS SOUPS 6422461 WITH SCORE 6430453.157
AT ITER 8219 NEW BEST:: SOT 42541414 SOS 7990957 HAS SOPS 7990957 HAS SOUS 6421861 HAS SOUPS 6421861 WITH SCORE 6429851.957
AT ITER 8221 NEW BEST:: SOT 42539448 SOS 7984025 HAS SOPS 7984025 HAS SOUS 6418895 HAS SOUPS 6418895 WITH SCORE 6426879.025
AT ITER 8234 NEW BEST:: SOT 42539866 SOS 7985894 HAS SOPS 7985894 HAS SOUS 6418830 HAS SOUPS 6418830 WITH SCORE 6426815.894
AT ITER 8249 NEW BEST:: SOT 42539759 SOS 7985680 HAS SOPS 7985680 HAS SOUS 6417827 HAS SOUPS 6417827 WITH SCORE 6425812.68
AT ITER 8293 NEW BEST:: SOT 42539160 SOS 7985115 HAS SOPS 7985115 HAS SOUS 6417262 HAS SOUPS 6417262 WITH SCORE 6425247.115
AT ITER 8323 NEW BEST:: SOT 42538865 SOS 7985075 HAS SOPS 7985075 HAS SOUS 6416966 HAS SOUPS 6416966 WITH SCORE 6424951.075
AT ITER 8326 NEW BEST:: SOT 42538408 SOS 7984161 HAS SOPS 7984161 HAS SOUS 6416295 HAS SOUPS 6416295 WITH SCORE 6424279.161
AT ITER 8332 NEW BEST:: SOT 42538842 SOS 7985029 HAS SOPS 7985029 HAS SOUS 6415986 HAS SOUPS 6415986 WITH SCORE 6423971.029
AT ITER 8350 NEW BEST:: SOT 42536792 SOS 7985735 HAS SOPS 7985735 HAS SOUS 6415838 HAS SOUPS 6415838 WITH SCORE 6423823.735
AT ITER 8359 NEW BEST:: SOT 42536153 SOS 7985096 HAS SOPS 7985096 HAS SOUS 6415199 HAS SOUPS 6415199 WITH SCORE 6423184.096
AT ITER 8411 NEW BEST:: SOT 42534961 SOS 7984812 HAS SOPS 7984812 HAS SOUS 6414915 HAS SOUPS 6414915 WITH SCORE 6422899.812
AT ITER 8414 NEW BEST:: SOT 42534837 SOS 7984564 HAS SOPS 7984564 HAS SOUS 6414438 HAS SOUPS 6414438 WITH SCORE 6422422.564
AT ITER 8420 NEW BEST:: SOT 42534214 SOS 7983318 HAS SOPS 7983318 HAS SOUS 6413192 HAS SOUPS 6413192 WITH SCORE 6421175.318
AT ITER 8426 NEW BEST:: SOT 42533756 SOS 7982402 HAS SOPS 7982402 HAS SOUS 6412734 HAS SOUPS 6412734 WITH SCORE 6420716.402
AT ITER 8450 NEW BEST:: SOT 42533287 SOS 7977243 HAS SOPS 7977243 HAS SOUS 6411796 HAS SOUPS 6411796 WITH SCORE 6419773.243
AT ITER 8453 NEW BEST:: SOT 42492135 SOS 7964850 HAS SOPS 7964850 HAS SOUS 6374243 HAS SOUPS 6374243 WITH SCORE 6382207.85
AT ITER 8454 NEW BEST:: SOT 42491873 SOS 7964849 HAS SOPS 7964849 HAS SOUS 6374242 HAS SOUPS 6374242 WITH SCORE 6382206.849
AT ITER 8457 NEW BEST:: SOT 42491836 SOS 7964776 HAS SOPS 7964776 HAS SOUS 6374169 HAS SOUPS 6374169 WITH SCORE 6382133.776
AT ITER 8459 NEW BEST:: SOT 42491772 SOS 7964712 HAS SOPS 7964712 HAS SOUS 6374105 HAS SOUPS 6374105 WITH SCORE 6382069.712
AT ITER 8483 NEW BEST:: SOT 42491981 SOS 7965130 HAS SOPS 7965130 HAS SOUS 6373154 HAS SOUPS 6373154 WITH SCORE 6381119.13
AT ITER 8510 NEW BEST:: SOT 42491856 SOS 7964879 HAS SOPS 7964879 HAS SOUS 6372903 HAS SOUPS 6372903 WITH SCORE 6380867.879
AT ITER 8527 NEW BEST:: SOT 42491668 SOS 7964785 HAS SOPS 7964785 HAS SOUS 6372809 HAS SOUPS 6372809 WITH SCORE 6380773.785
AT ITER 8545 NEW BEST:: SOT 42491030 SOS 7961595 HAS SOPS 7961595 HAS SOUS 6371533 HAS SOUPS 6371533 WITH SCORE 6379494.595
AT ITER 8591 NEW BEST:: SOT 42490686 SOS 7960907 HAS SOPS 7960907 HAS SOUS 6370845 HAS SOUPS 6370845 WITH SCORE 6378805.907
AT ITER 8614 NEW BEST:: SOT 42490686 SOS 7960477 HAS SOPS 7960477 HAS SOUS 6370756 HAS SOUPS 6370756 WITH SCORE 6378716.477
AT ITER 8623 NEW BEST:: SOT 42487885 SOS 7962180 HAS SOPS 7962180 HAS SOUS 6368370 HAS SOUPS 6368370 WITH SCORE 6376332.18
AT ITER 8647 NEW BEST:: SOT 42487598 SOS 7961606 HAS SOPS 7961606 HAS SOUS 6367796 HAS SOUPS 6367796 WITH SCORE 6375757.606
AT ITER 8662 NEW BEST:: SOT 42487253 SOS 7960917 HAS SOPS 7960917 HAS SOUS 6367107 HAS SOUPS 6367107 WITH SCORE 6375067.917
AT ITER 8666 NEW BEST:: SOT 42486508 SOS 7959426 HAS SOPS 7959426 HAS SOUS 6365616 HAS SOUPS 6365616 WITH SCORE 6373575.426
AT ITER 8676 NEW BEST:: SOT 42486353 SOS 7959116 HAS SOPS 7959116 HAS SOUS 6364345 HAS SOUPS 6364345 WITH SCORE 6372304.116
AT ITER 8683 NEW BEST:: SOT 42485903 SOS 7958216 HAS SOPS 7958216 HAS SOUS 6363445 HAS SOUPS 6363445 WITH SCORE 6371403.216
AT ITER 8728 NEW BEST:: SOT 42485133 SOS 7957446 HAS SOPS 7957446 HAS SOUS 6362675 HAS SOUPS 6362675 WITH SCORE 6370632.446
AT ITER 8763 NEW BEST:: SOT 42484587 SOS 7957024 HAS SOPS 7957024 HAS SOUS 6362253 HAS SOUPS 6362253 WITH SCORE 6370210.024
AT ITER 8769 NEW BEST:: SOT 42483695 SOS 7956153 HAS SOPS 7956153 HAS SOUS 6361379 HAS SOUPS 6361379 WITH SCORE 6369335.153
AT ITER 8794 NEW BEST:: SOT 42483300 SOS 7955363 HAS SOPS 7955363 HAS SOUS 6360984 HAS SOUPS 6360984 WITH SCORE 6368939.363
AT ITER 8810 NEW BEST:: SOT 42483300 SOS 7955139 HAS SOPS 7955139 HAS SOUS 6360760 HAS SOUPS 6360760 WITH SCORE 6368715.139
AT ITER 8830 NEW BEST:: SOT 42483299 SOS 7955137 HAS SOPS 7955137 HAS SOUS 6360758 HAS SOUPS 6360758 WITH SCORE 6368713.137
AT ITER 8831 NEW BEST:: SOT 42482552 SOS 7954390 HAS SOPS 7954390 HAS SOUS 6360011 HAS SOUPS 6360011 WITH SCORE 6367965.39
AT ITER 8844 NEW BEST:: SOT 42482232 SOS 7953430 HAS SOPS 7953430 HAS SOUS 6360011 HAS SOUPS 6360011 WITH SCORE 6367964.43
AT ITER 8845 NEW BEST:: SOT 42481953 SOS 7952872 HAS SOPS 7952872 HAS SOUS 6359453 HAS SOUPS 6359453 WITH SCORE 6367405.872
AT ITER 8847 NEW BEST:: SOT 42481769 SOS 7952504 HAS SOPS 7952504 HAS SOUS 6359085 HAS SOUPS 6359085 WITH SCORE 6367037.504
AT ITER 8851 NEW BEST:: SOT 42481564 SOS 7952094 HAS SOPS 7952094 HAS SOUS 6358675 HAS SOUPS 6358675 WITH SCORE 6366627.094
AT ITER 8852 NEW BEST:: SOT 42481905 SOS 7951590 HAS SOPS 7951590 HAS SOUS 6358171 HAS SOUPS 6358171 WITH SCORE 6366122.59
AT ITER 8874 NEW BEST:: SOT 42481954 SOS 7951688 HAS SOPS 7951688 HAS SOUS 6357931 HAS SOUPS 6357931 WITH SCORE 6365882.688
AT ITER 8897 NEW BEST:: SOT 42480638 SOS 7950716 HAS SOPS 7950716 HAS SOUS 6356959 HAS SOUPS 6356959 WITH SCORE 6364909.716
AT ITER 8906 NEW BEST:: SOT 42480638 SOS 7948958 HAS SOPS 7948958 HAS SOUS 6356959 HAS SOUPS 6356959 WITH SCORE 6364907.958
AT ITER 8911 NEW BEST:: SOT 42472092 SOS 7945633 HAS SOPS 7945633 HAS SOUS 6350489 HAS SOUPS 6350489 WITH SCORE 6358434.633
AT ITER 8920 NEW BEST:: SOT 42471663 SOS 7946103 HAS SOPS 7946103 HAS SOUS 6350452 HAS SOUPS 6350452 WITH SCORE 6358398.103
AT ITER 8927 NEW BEST:: SOT 42471148 SOS 7945626 HAS SOPS 7945626 HAS SOUS 6349937 HAS SOUPS 6349937 WITH SCORE 6357882.626
AT ITER 8931 NEW BEST:: SOT 42469572 SOS 7944838 HAS SOPS 7944838 HAS SOUS 6349149 HAS SOUPS 6349149 WITH SCORE 6357093.838
AT ITER 9003 NEW BEST:: SOT 42469431 SOS 7944556 HAS SOPS 7944556 HAS SOUS 6348867 HAS SOUPS 6348867 WITH SCORE 6356811.556
AT ITER 9019 NEW BEST:: SOT 42469431 SOS 7944556 HAS SOPS 7944556 HAS SOUS 6348224 HAS SOUPS 6348224 WITH SCORE 6356168.556
AT ITER 9028 NEW BEST:: SOT 42469161 SOS 7944016 HAS SOPS 7944016 HAS SOUS 6347954 HAS SOUPS 6347954 WITH SCORE 6355898.016
AT ITER 9043 NEW BEST:: SOT 42469161 SOS 7943976 HAS SOPS 7943976 HAS SOUS 6347954 HAS SOUPS 6347954 WITH SCORE 6355897.976
AT ITER 9061 NEW BEST:: SOT 42469063 SOS 7943780 HAS SOPS 7943780 HAS SOUS 6347758 HAS SOUPS 6347758 WITH SCORE 6355701.78
AT ITER 9064 NEW BEST:: SOT 42469028 SOS 7943710 HAS SOPS 7943710 HAS SOUS 6347501 HAS SOUPS 6347501 WITH SCORE 6355444.71
AT ITER 9072 NEW BEST:: SOT 42468348 SOS 7942350 HAS SOPS 7942350 HAS SOUS 6345762 HAS SOUPS 6345762 WITH SCORE 6353704.35
AT ITER 9081 NEW BEST:: SOT 42467680 SOS 7937450 HAS SOPS 7937450 HAS SOUS 6344426 HAS SOUPS 6344426 WITH SCORE 6352363.45
AT ITER 9116 NEW BEST:: SOT 42467216 SOS 7937257 HAS SOPS 7937257 HAS SOUS 6344207 HAS SOUPS 6344207 WITH SCORE 6352144.257
AT ITER 9136 NEW BEST:: SOT 42467190 SOS 7937205 HAS SOPS 7937205 HAS SOUS 6344155 HAS SOUPS 6344155 WITH SCORE 6352092.205
AT ITER 9151 NEW BEST:: SOT 42467857 SOS 7938539 HAS SOPS 7938539 HAS SOUS 6344027 HAS SOUPS 6344027 WITH SCORE 6351965.539
AT ITER 9223 NEW BEST:: SOT 42467857 SOS 7938539 HAS SOPS 7938539 HAS SOUS 6343322 HAS SOUPS 6343322 WITH SCORE 6351260.539
AT ITER 9245 NEW BEST:: SOT 42467857 SOS 7938359 HAS SOPS 7938359 HAS SOUS 6343142 HAS SOUPS 6343142 WITH SCORE 6351080.359
AT ITER 9246 NEW BEST:: SOT 42467577 SOS 7937799 HAS SOPS 7937799 HAS SOUS 6342862 HAS SOUPS 6342862 WITH SCORE 6350799.799
AT ITER 9258 NEW BEST:: SOT 42466516 SOS 7936967 HAS SOPS 7936967 HAS SOUS 6341801 HAS SOUPS 6341801 WITH SCORE 6349737.967
AT ITER 9263 NEW BEST:: SOT 42467158 SOS 7936599 HAS SOPS 7936599 HAS SOUS 6341636 HAS SOUPS 6341636 WITH SCORE 6349572.599
AT ITER 9284 NEW BEST:: SOT 42464379 SOS 7934583 HAS SOPS 7934583 HAS SOUS 6339366 HAS SOUPS 6339366 WITH SCORE 6347300.583
AT ITER 9301 NEW BEST:: SOT 42464229 SOS 7934433 HAS SOPS 7934433 HAS SOUS 6339216 HAS SOUPS 6339216 WITH SCORE 6347150.433
AT ITER 9315 NEW BEST:: SOT 42464229 SOS 7934433 HAS SOPS 7934433 HAS SOUS 6339032 HAS SOUPS 6339032 WITH SCORE 6346966.433
AT ITER 9336 NEW BEST:: SOT 42464108 SOS 7934191 HAS SOPS 7934191 HAS SOUS 6338790 HAS SOUPS 6338790 WITH SCORE 6346724.191
AT ITER 9339 NEW BEST:: SOT 42463282 SOS 7932539 HAS SOPS 7932539 HAS SOUS 6337138 HAS SOUPS 6337138 WITH SCORE 6345070.539
AT ITER 9341 NEW BEST:: SOT 42463282 SOS 7933190 HAS SOPS 7933190 HAS SOUS 6337137 HAS SOUPS 6337137 WITH SCORE 6345070.19
AT ITER 9344 NEW BEST:: SOT 42463200 SOS 7933108 HAS SOPS 7933108 HAS SOUS 6337137 HAS SOUPS 6337137 WITH SCORE 6345070.108
AT ITER 9350 NEW BEST:: SOT 42462722 SOS 7932630 HAS SOPS 7932630 HAS SOUS 6336659 HAS SOUPS 6336659 WITH SCORE 6344591.63
AT ITER 9361 NEW BEST:: SOT 42462332 SOS 7931850 HAS SOPS 7931850 HAS SOUS 6335879 HAS SOUPS 6335879 WITH SCORE 6343810.85
AT ITER 9364 NEW BEST:: SOT 42462332 SOS 7931675 HAS SOPS 7931675 HAS SOUS 6335704 HAS SOUPS 6335704 WITH SCORE 6343635.675
AT ITER 9376 NEW BEST:: SOT 42460652 SOS 7930835 HAS SOPS 7930835 HAS SOUS 6334864 HAS SOUPS 6334864 WITH SCORE 6342794.835
AT ITER 9403 NEW BEST:: SOT 42460652 SOS 7930741 HAS SOPS 7930741 HAS SOUS 6334864 HAS SOUPS 6334864 WITH SCORE 6342794.741
AT ITER 9406 NEW BEST:: SOT 42456105 SOS 7936923 HAS SOPS 7936923 HAS SOUS 6333291 HAS SOUPS 6333291 WITH SCORE 6341227.923
AT ITER 9437 NEW BEST:: SOT 42455566 SOS 7935232 HAS SOPS 7935232 HAS SOUS 6331631 HAS SOUPS 6331631 WITH SCORE 6339566.232
AT ITER 9449 NEW BEST:: SOT 42454325 SOS 7932750 HAS SOPS 7932750 HAS SOUS 6329149 HAS SOUPS 6329149 WITH SCORE 6337081.75
AT ITER 9496 NEW BEST:: SOT 42454070 SOS 7932972 HAS SOPS 7932972 HAS SOUS 6329138 HAS SOUPS 6329138 WITH SCORE 6337070.972
AT ITER 9497 NEW BEST:: SOT 42454036 SOS 7932904 HAS SOPS 7932904 HAS SOUS 6329070 HAS SOUPS 6329070 WITH SCORE 6337002.904
AT ITER 9500 NEW BEST:: SOT 42454036 SOS 7931944 HAS SOPS 7931944 HAS SOUS 6329070 HAS SOUPS 6329070 WITH SCORE 6337001.944
AT ITER 9517 NEW BEST:: SOT 42453682 SOS 7930174 HAS SOPS 7930174 HAS SOUS 6328716 HAS SOUPS 6328716 WITH SCORE 6336646.174
AT ITER 9549 NEW BEST:: SOT 42453339 SOS 7929488 HAS SOPS 7929488 HAS SOUS 6328030 HAS SOUPS 6328030 WITH SCORE 6335959.488
AT ITER 9560 NEW BEST:: SOT 42453338 SOS 7929486 HAS SOPS 7929486 HAS SOUS 6328028 HAS SOUPS 6328028 WITH SCORE 6335957.486
AT ITER 9564 NEW BEST:: SOT 42452711 SOS 7926808 HAS SOPS 7926808 HAS SOUS 6327312 HAS SOUPS 6327312 WITH SCORE 6335238.808
AT ITER 9578 NEW BEST:: SOT 42451631 SOS 7925728 HAS SOPS 7925728 HAS SOUS 6326232 HAS SOUPS 6326232 WITH SCORE 6334157.728
AT ITER 9596 NEW BEST:: SOT 42451631 SOS 7925536 HAS SOPS 7925536 HAS SOUS 6326232 HAS SOUPS 6326232 WITH SCORE 6334157.536
AT ITER 9597 NEW BEST:: SOT 42452153 SOS 7924438 HAS SOPS 7924438 HAS SOUS 6326127 HAS SOUPS 6326127 WITH SCORE 6334051.438
AT ITER 9599 NEW BEST:: SOT 42451901 SOS 7923934 HAS SOPS 7923934 HAS SOUS 6325623 HAS SOUPS 6325623 WITH SCORE 6333546.934
AT ITER 9612 NEW BEST:: SOT 42451163 SOS 7923565 HAS SOPS 7923565 HAS SOUS 6325254 HAS SOUPS 6325254 WITH SCORE 6333177.565
AT ITER 9620 NEW BEST:: SOT 42451162 SOS 7923563 HAS SOPS 7923563 HAS SOUS 6325252 HAS SOUPS 6325252 WITH SCORE 6333175.563
AT ITER 9657 NEW BEST:: SOT 42451162 SOS 7923549 HAS SOPS 7923549 HAS SOUS 6325252 HAS SOUPS 6325252 WITH SCORE 6333175.549
AT ITER 9661 NEW BEST:: SOT 42450776 SOS 7922777 HAS SOPS 7922777 HAS SOUS 6324480 HAS SOUPS 6324480 WITH SCORE 6332402.777
AT ITER 9685 NEW BEST:: SOT 42450644 SOS 7922513 HAS SOPS 7922513 HAS SOUS 6324216 HAS SOUPS 6324216 WITH SCORE 6332138.513
AT ITER 9704 NEW BEST:: SOT 42449854 SOS 7922802 HAS SOPS 7922802 HAS SOUS 6324124 HAS SOUPS 6324124 WITH SCORE 6332046.802
AT ITER 9725 NEW BEST:: SOT 42447188 SOS 7921310 HAS SOPS 7921310 HAS SOUS 6321777 HAS SOUPS 6321777 WITH SCORE 6329698.31
AT ITER 9754 NEW BEST:: SOT 42447171 SOS 7921276 HAS SOPS 7921276 HAS SOUS 6321670 HAS SOUPS 6321670 WITH SCORE 6329591.276
AT ITER 9787 NEW BEST:: SOT 42446544 SOS 7920636 HAS SOPS 7920636 HAS SOUS 6321401 HAS SOUPS 6321401 WITH SCORE 6329321.636
AT ITER 9791 NEW BEST:: SOT 42445363 SOS 7914731 HAS SOPS 7914731 HAS SOUS 6319112 HAS SOUPS 6319112 WITH SCORE 6327026.731
AT ITER 9799 NEW BEST:: SOT 42444209 SOS 7912423 HAS SOPS 7912423 HAS SOUS 6317820 HAS SOUPS 6317820 WITH SCORE 6325732.423
AT ITER 9809 NEW BEST:: SOT 42443693 SOS 7911391 HAS SOPS 7911391 HAS SOUS 6316788 HAS SOUPS 6316788 WITH SCORE 6324699.391
AT ITER 9838 NEW BEST:: SOT 42443693 SOS 7911318 HAS SOPS 7911318 HAS SOUS 6316788 HAS SOUPS 6316788 WITH SCORE 6324699.318
AT ITER 9860 NEW BEST:: SOT 42443693 SOS 7911318 HAS SOPS 7911318 HAS SOUS 6316700 HAS SOUPS 6316700 WITH SCORE 6324611.318
AT ITER 9863 NEW BEST:: SOT 42443611 SOS 7911154 HAS SOPS 7911154 HAS SOUS 6316536 HAS SOUPS 6316536 WITH SCORE 6324447.154
AT ITER 9872 NEW BEST:: SOT 42442679 SOS 7910324 HAS SOPS 7910324 HAS SOUS 6315604 HAS SOUPS 6315604 WITH SCORE 6323514.324
AT ITER 9881 NEW BEST:: SOT 42442525 SOS 7910289 HAS SOPS 7910289 HAS SOUS 6315450 HAS SOUPS 6315450 WITH SCORE 6323360.289
AT ITER 9908 NEW BEST:: SOT 42442525 SOS 7910207 HAS SOPS 7910207 HAS SOUS 6315368 HAS SOUPS 6315368 WITH SCORE 6323278.207
AT ITER 9912 NEW BEST:: SOT 42442534 SOS 7910225 HAS SOPS 7910225 HAS SOUS 6314752 HAS SOUPS 6314752 WITH SCORE 6322662.225
AT ITER 9946 NEW BEST:: SOT 42441730 SOS 7909421 HAS SOPS 7909421 HAS SOUS 6313144 HAS SOUPS 6313144 WITH SCORE 6321053.421
AT ITER 9951 NEW BEST:: SOT 42440582 SOS 7901796 HAS SOPS 7901796 HAS SOUS 6310566 HAS SOUPS 6310566 WITH SCORE 6318467.796
AT ITER 9990 NEW BEST:: SOT 42441143 SOS 7901360 HAS SOPS 7901360 HAS SOUS 6310346 HAS SOUPS 6310346 WITH SCORE 6318247.36
AT ITER 9997 NEW BEST:: SOT 42440936 SOS 7900946 HAS SOPS 7900946 HAS SOUS 6310168 HAS SOUPS 6310168 WITH SCORE 6318068.946
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 15254000 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16150460 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="DLCshifumi-PT-3b"
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 DLCshifumi-PT-3b, 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 r099-tall-167814472900824"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/DLCshifumi-PT-3b.tgz
mv DLCshifumi-PT-3b execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;