About the Execution of Smart for CloudReconfiguration-PT-317
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
3888.655 | 3600000.00 | 3600029.00 | 79.80 | [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.r099-tall-167814472000136.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 CloudReconfiguration-PT-317, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r099-tall-167814472000136
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 7.1K Feb 25 11:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 73K Feb 25 11:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.4K Feb 25 11:49 CTLFireability.txt
-rw-r--r-- 1 mcc users 60K Feb 25 11:49 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 15:47 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 15:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:47 LTLFireability.xml
-rw-r--r-- 1 mcc users 10K Feb 25 11:50 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 100K Feb 25 11:50 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.2K Feb 25 11:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 57K Feb 25 11:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 15:47 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:47 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 661K 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 1678226167778
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=CloudReconfiguration-PT-317
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 317
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: 2587 places, 3099 transitions, 6479 arcs.
AT ITER 0 NEW BEST:: SOT 4458557 SOS 744619 HAS SOPS 744619 HAS SOUS 686904 HAS SOUPS 686904 WITH SCORE 687648.619
AT ITER 27 NEW BEST:: SOT 4458557 SOS 744546 HAS SOPS 744546 HAS SOUS 686904 HAS SOUPS 686904 WITH SCORE 687648.546
AT ITER 39 NEW BEST:: SOT 4458485 SOS 744474 HAS SOPS 744474 HAS SOUS 686832 HAS SOUPS 686832 WITH SCORE 687576.474
AT ITER 50 NEW BEST:: SOT 4457909 SOS 744090 HAS SOPS 744090 HAS SOUS 686256 HAS SOUPS 686256 WITH SCORE 687000.09
AT ITER 51 NEW BEST:: SOT 4457909 SOS 744039 HAS SOPS 744039 HAS SOUS 686255 HAS SOUPS 686255 WITH SCORE 686999.039
AT ITER 58 NEW BEST:: SOT 4457909 SOS 744039 HAS SOPS 744039 HAS SOUS 686124 HAS SOUPS 686124 WITH SCORE 686868.039
AT ITER 61 NEW BEST:: SOT 4457246 SOS 743376 HAS SOPS 743376 HAS SOUS 685461 HAS SOUPS 685461 WITH SCORE 686204.376
AT ITER 64 NEW BEST:: SOT 4457246 SOS 743196 HAS SOPS 743196 HAS SOUS 685281 HAS SOUPS 685281 WITH SCORE 686024.196
AT ITER 75 NEW BEST:: SOT 4457228 SOS 742680 HAS SOPS 742680 HAS SOUS 684944 HAS SOUPS 684944 WITH SCORE 685686.68
AT ITER 109 NEW BEST:: SOT 4457157 SOS 742775 HAS SOPS 742775 HAS SOUS 684930 HAS SOUPS 684930 WITH SCORE 685672.775
AT ITER 116 NEW BEST:: SOT 4457157 SOS 742541 HAS SOPS 742541 HAS SOUS 684930 HAS SOUPS 684930 WITH SCORE 685672.541
AT ITER 121 NEW BEST:: SOT 4457198 SOS 742344 HAS SOPS 742344 HAS SOUS 684739 HAS SOUPS 684739 WITH SCORE 685481.344
AT ITER 138 NEW BEST:: SOT 4457179 SOS 742706 HAS SOPS 742706 HAS SOUS 684582 HAS SOUPS 684582 WITH SCORE 685324.706
AT ITER 147 NEW BEST:: SOT 4456417 SOS 742234 HAS SOPS 742234 HAS SOUS 683881 HAS SOUPS 683881 WITH SCORE 684623.234
AT ITER 150 NEW BEST:: SOT 4456306 SOS 742160 HAS SOPS 742160 HAS SOUS 683770 HAS SOUPS 683770 WITH SCORE 684512.16
AT ITER 163 NEW BEST:: SOT 4456119 SOS 742306 HAS SOPS 742306 HAS SOUS 683705 HAS SOUPS 683705 WITH SCORE 684447.306
AT ITER 178 NEW BEST:: SOT 4456148 SOS 742741 HAS SOPS 742741 HAS SOUS 683704 HAS SOUPS 683704 WITH SCORE 684446.741
AT ITER 188 NEW BEST:: SOT 4456051 SOS 742547 HAS SOPS 742547 HAS SOUS 683510 HAS SOUPS 683510 WITH SCORE 684252.547
AT ITER 225 NEW BEST:: SOT 4455931 SOS 742307 HAS SOPS 742307 HAS SOUS 683270 HAS SOUPS 683270 WITH SCORE 684012.307
AT ITER 231 NEW BEST:: SOT 4455931 SOS 742154 HAS SOPS 742154 HAS SOUS 683269 HAS SOUPS 683269 WITH SCORE 684011.154
AT ITER 245 NEW BEST:: SOT 4455931 SOS 741849 HAS SOPS 741849 HAS SOUS 682986 HAS SOUPS 682986 WITH SCORE 683727.849
AT ITER 256 NEW BEST:: SOT 4455994 SOS 741849 HAS SOPS 741849 HAS SOUS 682985 HAS SOUPS 682985 WITH SCORE 683726.849
AT ITER 276 NEW BEST:: SOT 4455994 SOS 741849 HAS SOPS 741849 HAS SOUS 682896 HAS SOUPS 682896 WITH SCORE 683637.849
AT ITER 290 NEW BEST:: SOT 4455994 SOS 741849 HAS SOPS 741849 HAS SOUS 682893 HAS SOUPS 682893 WITH SCORE 683634.849
AT ITER 317 NEW BEST:: SOT 4455794 SOS 741849 HAS SOPS 741849 HAS SOUS 682793 HAS SOUPS 682793 WITH SCORE 683534.849
AT ITER 346 NEW BEST:: SOT 4455793 SOS 741847 HAS SOPS 741847 HAS SOUS 682791 HAS SOUPS 682791 WITH SCORE 683532.847
AT ITER 352 NEW BEST:: SOT 4455295 SOS 741349 HAS SOPS 741349 HAS SOUS 682293 HAS SOUPS 682293 WITH SCORE 683034.349
AT ITER 356 NEW BEST:: SOT 4454704 SOS 741023 HAS SOPS 741023 HAS SOUS 681753 HAS SOUPS 681753 WITH SCORE 682494.023
AT ITER 381 NEW BEST:: SOT 4454477 SOS 740569 HAS SOPS 740569 HAS SOUS 681159 HAS SOUPS 681159 WITH SCORE 681899.569
AT ITER 464 NEW BEST:: SOT 4454346 SOS 740505 HAS SOPS 740505 HAS SOUS 681073 HAS SOUPS 681073 WITH SCORE 681813.505
AT ITER 472 NEW BEST:: SOT 4454211 SOS 740235 HAS SOPS 740235 HAS SOUS 680748 HAS SOUPS 680748 WITH SCORE 681488.235
AT ITER 494 NEW BEST:: SOT 4454210 SOS 740233 HAS SOPS 740233 HAS SOUS 680746 HAS SOUPS 680746 WITH SCORE 681486.233
AT ITER 502 NEW BEST:: SOT 4453299 SOS 763011 HAS SOPS 763011 HAS SOUS 680508 HAS SOUPS 680508 WITH SCORE 681271.011
AT ITER 517 NEW BEST:: SOT 4452980 SOS 767023 HAS SOPS 767023 HAS SOUS 680345 HAS SOUPS 680345 WITH SCORE 681112.023
AT ITER 519 NEW BEST:: SOT 4452921 SOS 766964 HAS SOPS 766964 HAS SOUS 680286 HAS SOUPS 680286 WITH SCORE 681052.964
AT ITER 551 NEW BEST:: SOT 4452659 SOS 766440 HAS SOPS 766440 HAS SOUS 679762 HAS SOUPS 679762 WITH SCORE 680528.44
AT ITER 628 NEW BEST:: SOT 4452531 SOS 766184 HAS SOPS 766184 HAS SOUS 679634 HAS SOUPS 679634 WITH SCORE 680400.184
AT ITER 645 NEW BEST:: SOT 4452669 SOS 765923 HAS SOPS 765923 HAS SOUS 679310 HAS SOUPS 679310 WITH SCORE 680075.923
AT ITER 654 NEW BEST:: SOT 4452658 SOS 765901 HAS SOPS 765901 HAS SOUS 679217 HAS SOUPS 679217 WITH SCORE 679982.901
AT ITER 678 NEW BEST:: SOT 4452646 SOS 765877 HAS SOPS 765877 HAS SOUS 679102 HAS SOUPS 679102 WITH SCORE 679867.877
AT ITER 680 NEW BEST:: SOT 4452645 SOS 765875 HAS SOPS 765875 HAS SOUS 679100 HAS SOUPS 679100 WITH SCORE 679865.875
AT ITER 693 NEW BEST:: SOT 4452550 SOS 765685 HAS SOPS 765685 HAS SOUS 678910 HAS SOUPS 678910 WITH SCORE 679675.685
AT ITER 696 NEW BEST:: SOT 4452355 SOS 765555 HAS SOPS 765555 HAS SOUS 678715 HAS SOUPS 678715 WITH SCORE 679480.555
AT ITER 698 NEW BEST:: SOT 4452355 SOS 765369 HAS SOPS 765369 HAS SOUS 678714 HAS SOUPS 678714 WITH SCORE 679479.369
AT ITER 763 NEW BEST:: SOT 4452272 SOS 765286 HAS SOPS 765286 HAS SOUS 678628 HAS SOUPS 678628 WITH SCORE 679393.286
AT ITER 764 NEW BEST:: SOT 4452267 SOS 765324 HAS SOPS 765324 HAS SOUS 678623 HAS SOUPS 678623 WITH SCORE 679388.324
AT ITER 765 NEW BEST:: SOT 4452267 SOS 765104 HAS SOPS 765104 HAS SOUS 678623 HAS SOUPS 678623 WITH SCORE 679388.104
AT ITER 768 NEW BEST:: SOT 4452209 SOS 765057 HAS SOPS 765057 HAS SOUS 678576 HAS SOUPS 678576 WITH SCORE 679341.057
AT ITER 774 NEW BEST:: SOT 4452093 SOS 765063 HAS SOPS 765063 HAS SOUS 678468 HAS SOUPS 678468 WITH SCORE 679233.063
AT ITER 781 NEW BEST:: SOT 4451845 SOS 764567 HAS SOPS 764567 HAS SOUS 678464 HAS SOUPS 678464 WITH SCORE 679228.567
AT ITER 789 NEW BEST:: SOT 4451845 SOS 764567 HAS SOPS 764567 HAS SOUS 678400 HAS SOUPS 678400 WITH SCORE 679164.567
AT ITER 803 NEW BEST:: SOT 4451737 SOS 764351 HAS SOPS 764351 HAS SOUS 678184 HAS SOUPS 678184 WITH SCORE 678948.351
AT ITER 838 NEW BEST:: SOT 4451737 SOS 764251 HAS SOPS 764251 HAS SOUS 678134 HAS SOUPS 678134 WITH SCORE 678898.251
AT ITER 865 NEW BEST:: SOT 4451544 SOS 763865 HAS SOPS 763865 HAS SOUS 678134 HAS SOUPS 678134 WITH SCORE 678897.865
AT ITER 880 NEW BEST:: SOT 4451323 SOS 763423 HAS SOPS 763423 HAS SOUS 677692 HAS SOUPS 677692 WITH SCORE 678455.423
AT ITER 894 NEW BEST:: SOT 4451293 SOS 763363 HAS SOPS 763363 HAS SOUS 677632 HAS SOUPS 677632 WITH SCORE 678395.363
AT ITER 925 NEW BEST:: SOT 4451222 SOS 763221 HAS SOPS 763221 HAS SOUS 677561 HAS SOUPS 677561 WITH SCORE 678324.221
AT ITER 929 NEW BEST:: SOT 4451222 SOS 763072 HAS SOPS 763072 HAS SOUS 677560 HAS SOUPS 677560 WITH SCORE 678323.072
AT ITER 936 NEW BEST:: SOT 4451331 SOS 762931 HAS SOPS 762931 HAS SOUS 677423 HAS SOUPS 677423 WITH SCORE 678185.931
AT ITER 954 NEW BEST:: SOT 4451142 SOS 762553 HAS SOPS 762553 HAS SOUS 677045 HAS SOUPS 677045 WITH SCORE 677807.553
AT ITER 965 NEW BEST:: SOT 4451118 SOS 762529 HAS SOPS 762529 HAS SOUS 677021 HAS SOUPS 677021 WITH SCORE 677783.529
AT ITER 993 NEW BEST:: SOT 4451116 SOS 762525 HAS SOPS 762525 HAS SOUS 677017 HAS SOUPS 677017 WITH SCORE 677779.525
AT ITER 1009 NEW BEST:: SOT 4450697 SOS 762349 HAS SOPS 762349 HAS SOUS 676841 HAS SOUPS 676841 WITH SCORE 677603.349
AT ITER 1021 NEW BEST:: SOT 4450607 SOS 761945 HAS SOPS 761945 HAS SOUS 676661 HAS SOUPS 676661 WITH SCORE 677422.945
AT ITER 1027 NEW BEST:: SOT 4450607 SOS 761768 HAS SOPS 761768 HAS SOUS 676599 HAS SOUPS 676599 WITH SCORE 677360.768
AT ITER 1040 NEW BEST:: SOT 4450684 SOS 761377 HAS SOPS 761377 HAS SOUS 676391 HAS SOUPS 676391 WITH SCORE 677152.377
AT ITER 1065 NEW BEST:: SOT 4450574 SOS 761157 HAS SOPS 761157 HAS SOUS 676171 HAS SOUPS 676171 WITH SCORE 676932.157
AT ITER 1102 NEW BEST:: SOT 4450491 SOS 760991 HAS SOPS 760991 HAS SOUS 676005 HAS SOUPS 676005 WITH SCORE 676765.991
AT ITER 1103 NEW BEST:: SOT 4450550 SOS 746241 HAS SOPS 746241 HAS SOUS 675791 HAS SOUPS 675791 WITH SCORE 676537.241
AT ITER 1114 NEW BEST:: SOT 4450549 SOS 746239 HAS SOPS 746239 HAS SOUS 675789 HAS SOUPS 675789 WITH SCORE 676535.239
AT ITER 1158 NEW BEST:: SOT 4450117 SOS 745807 HAS SOPS 745807 HAS SOUS 675357 HAS SOUPS 675357 WITH SCORE 676102.807
AT ITER 1164 NEW BEST:: SOT 4450117 SOS 745803 HAS SOPS 745803 HAS SOUS 675353 HAS SOUPS 675353 WITH SCORE 676098.803
AT ITER 1167 NEW BEST:: SOT 4443567 SOS 740557 HAS SOPS 740557 HAS SOUS 668990 HAS SOUPS 668990 WITH SCORE 669730.557
AT ITER 1172 NEW BEST:: SOT 4443139 SOS 739930 HAS SOPS 739930 HAS SOUS 668362 HAS SOUPS 668362 WITH SCORE 669101.93
AT ITER 1177 NEW BEST:: SOT 4442737 SOS 739528 HAS SOPS 739528 HAS SOUS 667960 HAS SOUPS 667960 WITH SCORE 668699.528
AT ITER 1180 NEW BEST:: SOT 4442465 SOS 739120 HAS SOPS 739120 HAS SOUS 667552 HAS SOUPS 667552 WITH SCORE 668291.12
AT ITER 1184 NEW BEST:: SOT 4442247 SOS 738427 HAS SOPS 738427 HAS SOUS 666888 HAS SOUPS 666888 WITH SCORE 667626.427
AT ITER 1215 NEW BEST:: SOT 4442319 SOS 738061 HAS SOPS 738061 HAS SOUS 666632 HAS SOUPS 666632 WITH SCORE 667370.061
AT ITER 1221 NEW BEST:: SOT 4442318 SOS 738078 HAS SOPS 738078 HAS SOUS 666630 HAS SOUPS 666630 WITH SCORE 667368.078
AT ITER 1245 NEW BEST:: SOT 4442282 SOS 738161 HAS SOPS 738161 HAS SOUS 666594 HAS SOUPS 666594 WITH SCORE 667332.161
AT ITER 1273 NEW BEST:: SOT 4442233 SOS 738112 HAS SOPS 738112 HAS SOUS 666594 HAS SOUPS 666594 WITH SCORE 667332.112
AT ITER 1279 NEW BEST:: SOT 4441965 SOS 737576 HAS SOPS 737576 HAS SOUS 666058 HAS SOUPS 666058 WITH SCORE 666795.576
AT ITER 1289 NEW BEST:: SOT 4441644 SOS 737255 HAS SOPS 737255 HAS SOUS 665737 HAS SOUPS 665737 WITH SCORE 666474.255
AT ITER 1298 NEW BEST:: SOT 4441580 SOS 737191 HAS SOPS 737191 HAS SOUS 665673 HAS SOUPS 665673 WITH SCORE 666410.191
AT ITER 1320 NEW BEST:: SOT 4441574 SOS 737179 HAS SOPS 737179 HAS SOUS 665661 HAS SOUPS 665661 WITH SCORE 666398.179
AT ITER 1322 NEW BEST:: SOT 4441542 SOS 737181 HAS SOPS 737181 HAS SOUS 665629 HAS SOUPS 665629 WITH SCORE 666366.181
AT ITER 1343 NEW BEST:: SOT 4441541 SOS 737179 HAS SOPS 737179 HAS SOUS 665627 HAS SOUPS 665627 WITH SCORE 666364.179
AT ITER 1407 NEW BEST:: SOT 4441353 SOS 736991 HAS SOPS 736991 HAS SOUS 665627 HAS SOUPS 665627 WITH SCORE 666363.991
AT ITER 1410 NEW BEST:: SOT 4441352 SOS 736752 HAS SOPS 736752 HAS SOUS 665414 HAS SOUPS 665414 WITH SCORE 666150.752
AT ITER 1417 NEW BEST:: SOT 4441224 SOS 736496 HAS SOPS 736496 HAS SOUS 665158 HAS SOUPS 665158 WITH SCORE 665894.496
AT ITER 1421 NEW BEST:: SOT 4438127 SOS 741809 HAS SOPS 741809 HAS SOUS 662654 HAS SOUPS 662654 WITH SCORE 663395.809
AT ITER 1434 NEW BEST:: SOT 4438127 SOS 741809 HAS SOPS 741809 HAS SOUS 662646 HAS SOUPS 662646 WITH SCORE 663387.809
AT ITER 1438 NEW BEST:: SOT 4437989 SOS 741837 HAS SOPS 741837 HAS SOUS 662582 HAS SOUPS 662582 WITH SCORE 663323.837
AT ITER 1446 NEW BEST:: SOT 4437975 SOS 741809 HAS SOPS 741809 HAS SOUS 662568 HAS SOUPS 662568 WITH SCORE 663309.809
AT ITER 1450 NEW BEST:: SOT 4437871 SOS 741824 HAS SOPS 741824 HAS SOUS 662523 HAS SOUPS 662523 WITH SCORE 663264.824
AT ITER 1451 NEW BEST:: SOT 4437865 SOS 741822 HAS SOPS 741822 HAS SOUS 662517 HAS SOUPS 662517 WITH SCORE 663258.822
AT ITER 1455 NEW BEST:: SOT 4437810 SOS 741571 HAS SOPS 741571 HAS SOUS 662364 HAS SOUPS 662364 WITH SCORE 663105.571
AT ITER 1487 NEW BEST:: SOT 4437660 SOS 741271 HAS SOPS 741271 HAS SOUS 662064 HAS SOUPS 662064 WITH SCORE 662805.271
AT ITER 1506 NEW BEST:: SOT 4437581 SOS 741228 HAS SOPS 741228 HAS SOUS 662064 HAS SOUPS 662064 WITH SCORE 662805.228
AT ITER 1524 NEW BEST:: SOT 4437537 SOS 741224 HAS SOPS 741224 HAS SOUS 661936 HAS SOUPS 661936 WITH SCORE 662677.224
AT ITER 1538 NEW BEST:: SOT 4437537 SOS 741162 HAS SOPS 741162 HAS SOUS 661874 HAS SOUPS 661874 WITH SCORE 662615.162
AT ITER 1585 NEW BEST:: SOT 4437526 SOS 741140 HAS SOPS 741140 HAS SOUS 661852 HAS SOUPS 661852 WITH SCORE 662593.14
AT ITER 1590 NEW BEST:: SOT 4437525 SOS 741138 HAS SOPS 741138 HAS SOUS 661850 HAS SOUPS 661850 WITH SCORE 662591.138
AT ITER 1633 NEW BEST:: SOT 4437505 SOS 740897 HAS SOPS 740897 HAS SOUS 661631 HAS SOUPS 661631 WITH SCORE 662371.897
AT ITER 1679 NEW BEST:: SOT 4437179 SOS 740897 HAS SOPS 740897 HAS SOUS 661305 HAS SOUPS 661305 WITH SCORE 662045.897
AT ITER 1692 NEW BEST:: SOT 4436959 SOS 740795 HAS SOPS 740795 HAS SOUS 661203 HAS SOUPS 661203 WITH SCORE 661943.795
AT ITER 1701 NEW BEST:: SOT 4436945 SOS 740767 HAS SOPS 740767 HAS SOUS 661175 HAS SOUPS 661175 WITH SCORE 661915.767
AT ITER 1727 NEW BEST:: SOT 4436869 SOS 740691 HAS SOPS 740691 HAS SOUS 661099 HAS SOUPS 661099 WITH SCORE 661839.691
AT ITER 1753 NEW BEST:: SOT 4436858 SOS 740725 HAS SOPS 740725 HAS SOUS 661039 HAS SOUPS 661039 WITH SCORE 661779.725
AT ITER 1756 NEW BEST:: SOT 4436813 SOS 740635 HAS SOPS 740635 HAS SOUS 660949 HAS SOUPS 660949 WITH SCORE 661689.635
AT ITER 1767 NEW BEST:: SOT 4436944 SOS 740897 HAS SOPS 740897 HAS SOUS 660903 HAS SOUPS 660903 WITH SCORE 661643.897
AT ITER 1774 NEW BEST:: SOT 4437053 SOS 740786 HAS SOPS 740786 HAS SOUS 660901 HAS SOUPS 660901 WITH SCORE 661641.786
AT ITER 1783 NEW BEST:: SOT 4436828 SOS 740687 HAS SOPS 740687 HAS SOUS 660701 HAS SOUPS 660701 WITH SCORE 661441.687
AT ITER 1820 NEW BEST:: SOT 4436828 SOS 740687 HAS SOPS 740687 HAS SOUS 660524 HAS SOUPS 660524 WITH SCORE 661264.687
AT ITER 1940 NEW BEST:: SOT 4436713 SOS 740691 HAS SOPS 740691 HAS SOUS 660430 HAS SOUPS 660430 WITH SCORE 661170.691
AT ITER 1946 NEW BEST:: SOT 4436500 SOS 740265 HAS SOPS 740265 HAS SOUS 660064 HAS SOUPS 660064 WITH SCORE 660804.265
AT ITER 1987 NEW BEST:: SOT 4436634 SOS 740183 HAS SOPS 740183 HAS SOUS 659942 HAS SOUPS 659942 WITH SCORE 660682.183
AT ITER 1988 NEW BEST:: SOT 4436634 SOS 740142 HAS SOPS 740142 HAS SOUS 659942 HAS SOUPS 659942 WITH SCORE 660682.142
AT ITER 2059 NEW BEST:: SOT 4436558 SOS 739497 HAS SOPS 739497 HAS SOUS 659790 HAS SOUPS 659790 WITH SCORE 660529.497
AT ITER 2062 NEW BEST:: SOT 4436359 SOS 739099 HAS SOPS 739099 HAS SOUS 659392 HAS SOUPS 659392 WITH SCORE 660131.099
AT ITER 2097 NEW BEST:: SOT 4435395 SOS 742820 HAS SOPS 742820 HAS SOUS 659203 HAS SOUPS 659203 WITH SCORE 659945.82
AT ITER 2100 NEW BEST:: SOT 4435120 SOS 742270 HAS SOPS 742270 HAS SOUS 658653 HAS SOUPS 658653 WITH SCORE 659395.27
AT ITER 2109 NEW BEST:: SOT 4435082 SOS 742194 HAS SOPS 742194 HAS SOUS 658577 HAS SOUPS 658577 WITH SCORE 659319.194
AT ITER 2117 NEW BEST:: SOT 4435020 SOS 742070 HAS SOPS 742070 HAS SOUS 658453 HAS SOUPS 658453 WITH SCORE 659195.07
AT ITER 2124 NEW BEST:: SOT 4434335 SOS 742976 HAS SOPS 742976 HAS SOUS 658121 HAS SOUPS 658121 WITH SCORE 658863.976
AT ITER 2149 NEW BEST:: SOT 4434329 SOS 743007 HAS SOPS 743007 HAS SOUS 658115 HAS SOUPS 658115 WITH SCORE 658858.007
AT ITER 2176 NEW BEST:: SOT 4434004 SOS 743277 HAS SOPS 743277 HAS SOUS 657974 HAS SOUPS 657974 WITH SCORE 658717.277
AT ITER 2188 NEW BEST:: SOT 4434010 SOS 743289 HAS SOPS 743289 HAS SOUS 657916 HAS SOUPS 657916 WITH SCORE 658659.289
AT ITER 2197 NEW BEST:: SOT 4434010 SOS 742871 HAS SOPS 742871 HAS SOUS 657916 HAS SOUPS 657916 WITH SCORE 658658.871
AT ITER 2206 NEW BEST:: SOT 4434162 SOS 742787 HAS SOPS 742787 HAS SOUS 657832 HAS SOUPS 657832 WITH SCORE 658574.787
AT ITER 2230 NEW BEST:: SOT 4434119 SOS 742744 HAS SOPS 742744 HAS SOUS 657789 HAS SOUPS 657789 WITH SCORE 658531.744
AT ITER 2236 NEW BEST:: SOT 4434047 SOS 742364 HAS SOPS 742364 HAS SOUS 657468 HAS SOUPS 657468 WITH SCORE 658210.364
AT ITER 2268 NEW BEST:: SOT 4433793 SOS 741856 HAS SOPS 741856 HAS SOUS 656960 HAS SOUPS 656960 WITH SCORE 657701.856
AT ITER 2279 NEW BEST:: SOT 4433684 SOS 741988 HAS SOPS 741988 HAS SOUS 656889 HAS SOUPS 656889 WITH SCORE 657630.988
AT ITER 2319 NEW BEST:: SOT 4433586 SOS 741792 HAS SOPS 741792 HAS SOUS 656693 HAS SOUPS 656693 WITH SCORE 657434.792
AT ITER 2333 NEW BEST:: SOT 4433585 SOS 741790 HAS SOPS 741790 HAS SOUS 656691 HAS SOUPS 656691 WITH SCORE 657432.79
AT ITER 2338 NEW BEST:: SOT 4433067 SOS 741730 HAS SOPS 741730 HAS SOUS 656246 HAS SOUPS 656246 WITH SCORE 656987.73
AT ITER 2340 NEW BEST:: SOT 4432866 SOS 741014 HAS SOPS 741014 HAS SOUS 655694 HAS SOUPS 655694 WITH SCORE 656435.014
AT ITER 2350 NEW BEST:: SOT 4432656 SOS 740804 HAS SOPS 740804 HAS SOUS 655484 HAS SOUPS 655484 WITH SCORE 656224.804
AT ITER 2373 NEW BEST:: SOT 4432656 SOS 740804 HAS SOPS 740804 HAS SOUS 655483 HAS SOUPS 655483 WITH SCORE 656223.804
AT ITER 2390 NEW BEST:: SOT 4432511 SOS 740514 HAS SOPS 740514 HAS SOUS 655193 HAS SOUPS 655193 WITH SCORE 655933.514
AT ITER 2392 NEW BEST:: SOT 4432406 SOS 740304 HAS SOPS 740304 HAS SOUS 654983 HAS SOUPS 654983 WITH SCORE 655723.304
AT ITER 2402 NEW BEST:: SOT 4432406 SOS 740304 HAS SOPS 740304 HAS SOUS 654825 HAS SOUPS 654825 WITH SCORE 655565.304
AT ITER 2418 NEW BEST:: SOT 4432224 SOS 739940 HAS SOPS 739940 HAS SOUS 654461 HAS SOUPS 654461 WITH SCORE 655200.94
AT ITER 2425 NEW BEST:: SOT 4432195 SOS 739882 HAS SOPS 739882 HAS SOUS 654432 HAS SOUPS 654432 WITH SCORE 655171.882
AT ITER 2440 NEW BEST:: SOT 4432182 SOS 739755 HAS SOPS 739755 HAS SOUS 654419 HAS SOUPS 654419 WITH SCORE 655158.755
AT ITER 2450 NEW BEST:: SOT 4432182 SOS 739682 HAS SOPS 739682 HAS SOUS 654419 HAS SOUPS 654419 WITH SCORE 655158.682
AT ITER 2459 NEW BEST:: SOT 4429013 SOS 751166 HAS SOPS 751166 HAS SOUS 652058 HAS SOUPS 652058 WITH SCORE 652809.166
AT ITER 2490 NEW BEST:: SOT 4428844 SOS 751230 HAS SOPS 751230 HAS SOUS 651969 HAS SOUPS 651969 WITH SCORE 652720.23
AT ITER 2498 NEW BEST:: SOT 4428703 SOS 750948 HAS SOPS 750948 HAS SOUS 651687 HAS SOUPS 651687 WITH SCORE 652437.948
AT ITER 2500 NEW BEST:: SOT 4428702 SOS 750946 HAS SOPS 750946 HAS SOUS 651685 HAS SOUPS 651685 WITH SCORE 652435.946
AT ITER 2504 NEW BEST:: SOT 4428622 SOS 750866 HAS SOPS 750866 HAS SOUS 651605 HAS SOUPS 651605 WITH SCORE 652355.866
AT ITER 2509 NEW BEST:: SOT 4428319 SOS 750260 HAS SOPS 750260 HAS SOUS 651056 HAS SOUPS 651056 WITH SCORE 651806.26
AT ITER 2514 NEW BEST:: SOT 4428323 SOS 750268 HAS SOPS 750268 HAS SOUS 650780 HAS SOUPS 650780 WITH SCORE 651530.268
AT ITER 2518 NEW BEST:: SOT 4428144 SOS 749699 HAS SOPS 749699 HAS SOUS 650401 HAS SOUPS 650401 WITH SCORE 651150.699
AT ITER 2526 NEW BEST:: SOT 4428136 SOS 749683 HAS SOPS 749683 HAS SOUS 650161 HAS SOUPS 650161 WITH SCORE 650910.683
AT ITER 2527 NEW BEST:: SOT 4428136 SOS 749683 HAS SOPS 749683 HAS SOUS 650100 HAS SOUPS 650100 WITH SCORE 650849.683
AT ITER 2530 NEW BEST:: SOT 4427962 SOS 749120 HAS SOPS 749120 HAS SOUS 649578 HAS SOUPS 649578 WITH SCORE 650327.12
AT ITER 2533 NEW BEST:: SOT 4427825 SOS 748846 HAS SOPS 748846 HAS SOUS 649304 HAS SOUPS 649304 WITH SCORE 650052.846
AT ITER 2556 NEW BEST:: SOT 4427365 SOS 749078 HAS SOPS 749078 HAS SOUS 649062 HAS SOUPS 649062 WITH SCORE 649811.078
AT ITER 2562 NEW BEST:: SOT 4427284 SOS 749136 HAS SOPS 749136 HAS SOUS 649050 HAS SOUPS 649050 WITH SCORE 649799.136
AT ITER 2582 NEW BEST:: SOT 4427244 SOS 749096 HAS SOPS 749096 HAS SOUS 649010 HAS SOUPS 649010 WITH SCORE 649759.096
AT ITER 2587 NEW BEST:: SOT 4427234 SOS 749496 HAS SOPS 749496 HAS SOUS 649000 HAS SOUPS 649000 WITH SCORE 649749.496
AT ITER 2592 NEW BEST:: SOT 4427275 SOS 749334 HAS SOPS 749334 HAS SOUS 648916 HAS SOUPS 648916 WITH SCORE 649665.334
AT ITER 2596 NEW BEST:: SOT 4426829 SOS 748442 HAS SOPS 748442 HAS SOUS 648574 HAS SOUPS 648574 WITH SCORE 649322.442
AT ITER 2599 NEW BEST:: SOT 4426815 SOS 748414 HAS SOPS 748414 HAS SOUS 648473 HAS SOUPS 648473 WITH SCORE 649221.414
AT ITER 2608 NEW BEST:: SOT 4426757 SOS 748279 HAS SOPS 748279 HAS SOUS 648022 HAS SOUPS 648022 WITH SCORE 648770.279
AT ITER 2623 NEW BEST:: SOT 4426283 SOS 748243 HAS SOPS 748243 HAS SOUS 647597 HAS SOUPS 647597 WITH SCORE 648345.243
AT ITER 2635 NEW BEST:: SOT 4426126 SOS 747929 HAS SOPS 747929 HAS SOUS 647283 HAS SOUPS 647283 WITH SCORE 648030.929
AT ITER 2667 NEW BEST:: SOT 4426108 SOS 747897 HAS SOPS 747897 HAS SOUS 647230 HAS SOUPS 647230 WITH SCORE 647977.897
AT ITER 2675 NEW BEST:: SOT 4426071 SOS 747823 HAS SOPS 747823 HAS SOUS 647192 HAS SOUPS 647192 WITH SCORE 647939.823
AT ITER 2697 NEW BEST:: SOT 4425823 SOS 747648 HAS SOPS 747648 HAS SOUS 646944 HAS SOUPS 646944 WITH SCORE 647691.648
AT ITER 2703 NEW BEST:: SOT 4425871 SOS 747744 HAS SOPS 747744 HAS SOUS 646916 HAS SOUPS 646916 WITH SCORE 647663.744
AT ITER 2757 NEW BEST:: SOT 4425794 SOS 747590 HAS SOPS 747590 HAS SOUS 646762 HAS SOUPS 646762 WITH SCORE 647509.59
AT ITER 2758 NEW BEST:: SOT 4425761 SOS 747524 HAS SOPS 747524 HAS SOUS 646729 HAS SOUPS 646729 WITH SCORE 647476.524
AT ITER 2774 NEW BEST:: SOT 4425761 SOS 747415 HAS SOPS 747415 HAS SOUS 646620 HAS SOUPS 646620 WITH SCORE 647367.415
AT ITER 2800 NEW BEST:: SOT 4425760 SOS 747275 HAS SOPS 747275 HAS SOUS 646497 HAS SOUPS 646497 WITH SCORE 647244.275
AT ITER 2831 NEW BEST:: SOT 4425629 SOS 747350 HAS SOPS 747350 HAS SOUS 646454 HAS SOUPS 646454 WITH SCORE 647201.35
AT ITER 2843 NEW BEST:: SOT 4425623 SOS 747338 HAS SOPS 747338 HAS SOUS 646442 HAS SOUPS 646442 WITH SCORE 647189.338
AT ITER 2859 NEW BEST:: SOT 4425621 SOS 747334 HAS SOPS 747334 HAS SOUS 646321 HAS SOUPS 646321 WITH SCORE 647068.334
AT ITER 2884 NEW BEST:: SOT 4425540 SOS 747172 HAS SOPS 747172 HAS SOUS 646159 HAS SOUPS 646159 WITH SCORE 646906.172
AT ITER 2921 NEW BEST:: SOT 4424831 SOS 748225 HAS SOPS 748225 HAS SOUS 645939 HAS SOUPS 645939 WITH SCORE 646687.225
AT ITER 2922 NEW BEST:: SOT 4424906 SOS 748182 HAS SOPS 748182 HAS SOUS 645896 HAS SOUPS 645896 WITH SCORE 646644.182
AT ITER 2931 NEW BEST:: SOT 4424953 SOS 748276 HAS SOPS 748276 HAS SOUS 645867 HAS SOUPS 645867 WITH SCORE 646615.276
AT ITER 2961 NEW BEST:: SOT 4424953 SOS 748276 HAS SOPS 748276 HAS SOUS 645726 HAS SOUPS 645726 WITH SCORE 646474.276
AT ITER 2966 NEW BEST:: SOT 4424944 SOS 748258 HAS SOPS 748258 HAS SOUS 645708 HAS SOUPS 645708 WITH SCORE 646456.258
AT ITER 2981 NEW BEST:: SOT 4424944 SOS 748257 HAS SOPS 748257 HAS SOUS 645708 HAS SOUPS 645708 WITH SCORE 646456.257
AT ITER 3028 NEW BEST:: SOT 4424896 SOS 748309 HAS SOPS 748309 HAS SOUS 645659 HAS SOUPS 645659 WITH SCORE 646407.309
AT ITER 3038 NEW BEST:: SOT 4424729 SOS 748142 HAS SOPS 748142 HAS SOUS 645492 HAS SOUPS 645492 WITH SCORE 646240.142
AT ITER 3094 NEW BEST:: SOT 4424424 SOS 747532 HAS SOPS 747532 HAS SOUS 644751 HAS SOUPS 644751 WITH SCORE 645498.532
AT ITER 3104 NEW BEST:: SOT 4424354 SOS 747594 HAS SOPS 747594 HAS SOUS 644699 HAS SOUPS 644699 WITH SCORE 645446.594
AT ITER 3126 NEW BEST:: SOT 4423989 SOS 747756 HAS SOPS 747756 HAS SOUS 644334 HAS SOUPS 644334 WITH SCORE 645081.756
AT ITER 3145 NEW BEST:: SOT 4423938 SOS 747450 HAS SOPS 747450 HAS SOUS 644232 HAS SOUPS 644232 WITH SCORE 644979.45
AT ITER 3146 NEW BEST:: SOT 4423896 SOS 747366 HAS SOPS 747366 HAS SOUS 644148 HAS SOUPS 644148 WITH SCORE 644895.366
AT ITER 3147 NEW BEST:: SOT 4424206 SOS 747154 HAS SOPS 747154 HAS SOUS 644088 HAS SOUPS 644088 WITH SCORE 644835.154
AT ITER 3177 NEW BEST:: SOT 4424206 SOS 747154 HAS SOPS 747154 HAS SOUS 643840 HAS SOUPS 643840 WITH SCORE 644587.154
AT ITER 3188 NEW BEST:: SOT 4424119 SOS 746980 HAS SOPS 746980 HAS SOUS 643666 HAS SOUPS 643666 WITH SCORE 644412.98
AT ITER 3203 NEW BEST:: SOT 4424022 SOS 747025 HAS SOPS 747025 HAS SOUS 643569 HAS SOUPS 643569 WITH SCORE 644316.025
AT ITER 3231 NEW BEST:: SOT 4423860 SOS 746701 HAS SOPS 746701 HAS SOUS 643245 HAS SOUPS 643245 WITH SCORE 643991.701
AT ITER 3239 NEW BEST:: SOT 4422874 SOS 750651 HAS SOPS 750651 HAS SOUS 642559 HAS SOUPS 642559 WITH SCORE 643309.651
AT ITER 3257 NEW BEST:: SOT 4422874 SOS 750651 HAS SOPS 750651 HAS SOUS 642268 HAS SOUPS 642268 WITH SCORE 643018.651
AT ITER 3262 NEW BEST:: SOT 4422873 SOS 750555 HAS SOPS 750555 HAS SOUS 642266 HAS SOUPS 642266 WITH SCORE 643016.555
AT ITER 3272 NEW BEST:: SOT 4422873 SOS 750354 HAS SOPS 750354 HAS SOUS 642266 HAS SOUPS 642266 WITH SCORE 643016.354
AT ITER 3287 NEW BEST:: SOT 4422696 SOS 750000 HAS SOPS 750000 HAS SOUS 641912 HAS SOUPS 641912 WITH SCORE 642662.0
AT ITER 3308 NEW BEST:: SOT 4422653 SOS 749914 HAS SOPS 749914 HAS SOUS 641826 HAS SOUPS 641826 WITH SCORE 642575.914
AT ITER 3320 NEW BEST:: SOT 4421937 SOS 749882 HAS SOPS 749882 HAS SOUS 641390 HAS SOUPS 641390 WITH SCORE 642139.882
AT ITER 3327 NEW BEST:: SOT 4421986 SOS 749586 HAS SOPS 749586 HAS SOUS 641242 HAS SOUPS 641242 WITH SCORE 641991.586
AT ITER 3346 NEW BEST:: SOT 4421911 SOS 749361 HAS SOPS 749361 HAS SOUS 641092 HAS SOUPS 641092 WITH SCORE 641841.361
AT ITER 3359 NEW BEST:: SOT 4421941 SOS 749421 HAS SOPS 749421 HAS SOUS 640887 HAS SOUPS 640887 WITH SCORE 641636.421
AT ITER 3362 NEW BEST:: SOT 4421771 SOS 749081 HAS SOPS 749081 HAS SOUS 640547 HAS SOUPS 640547 WITH SCORE 641296.081
AT ITER 3366 NEW BEST:: SOT 4421710 SOS 748959 HAS SOPS 748959 HAS SOUS 640486 HAS SOUPS 640486 WITH SCORE 641234.959
AT ITER 3384 NEW BEST:: SOT 4421657 SOS 748906 HAS SOPS 748906 HAS SOUS 640433 HAS SOUPS 640433 WITH SCORE 641181.906
AT ITER 3385 NEW BEST:: SOT 4421368 SOS 748573 HAS SOPS 748573 HAS SOUS 639958 HAS SOUPS 639958 WITH SCORE 640706.573
AT ITER 3399 NEW BEST:: SOT 4421368 SOS 748258 HAS SOPS 748258 HAS SOUS 639643 HAS SOUPS 639643 WITH SCORE 640391.258
AT ITER 3407 NEW BEST:: SOT 4421367 SOS 748256 HAS SOPS 748256 HAS SOUS 639641 HAS SOUPS 639641 WITH SCORE 640389.256
AT ITER 3436 NEW BEST:: SOT 4421313 SOS 748148 HAS SOPS 748148 HAS SOUS 639533 HAS SOUPS 639533 WITH SCORE 640281.148
AT ITER 3458 NEW BEST:: SOT 4421296 SOS 748114 HAS SOPS 748114 HAS SOUS 639516 HAS SOUPS 639516 WITH SCORE 640264.114
AT ITER 3504 NEW BEST:: SOT 4420609 SOS 747343 HAS SOPS 747343 HAS SOUS 638909 HAS SOUPS 638909 WITH SCORE 639656.343
AT ITER 3536 NEW BEST:: SOT 4420600 SOS 747325 HAS SOPS 747325 HAS SOUS 638891 HAS SOUPS 638891 WITH SCORE 639638.325
AT ITER 3544 NEW BEST:: SOT 4420600 SOS 747236 HAS SOPS 747236 HAS SOUS 638802 HAS SOUPS 638802 WITH SCORE 639549.236
AT ITER 3557 NEW BEST:: SOT 4420434 SOS 747070 HAS SOPS 747070 HAS SOUS 638470 HAS SOUPS 638470 WITH SCORE 639217.07
AT ITER 3569 NEW BEST:: SOT 4420319 SOS 746840 HAS SOPS 746840 HAS SOUS 638355 HAS SOUPS 638355 WITH SCORE 639101.84
AT ITER 3584 NEW BEST:: SOT 4420319 SOS 746840 HAS SOPS 746840 HAS SOUS 638354 HAS SOUPS 638354 WITH SCORE 639100.84
AT ITER 3596 NEW BEST:: SOT 4420394 SOS 746734 HAS SOPS 746734 HAS SOUS 638301 HAS SOUPS 638301 WITH SCORE 639047.734
AT ITER 3612 NEW BEST:: SOT 4420354 SOS 746850 HAS SOPS 746850 HAS SOUS 638261 HAS SOUPS 638261 WITH SCORE 639007.85
AT ITER 3661 NEW BEST:: SOT 4420354 SOS 746636 HAS SOPS 746636 HAS SOUS 638261 HAS SOUPS 638261 WITH SCORE 639007.636
AT ITER 3668 NEW BEST:: SOT 4420354 SOS 746589 HAS SOPS 746589 HAS SOUS 638214 HAS SOUPS 638214 WITH SCORE 638960.589
AT ITER 3692 NEW BEST:: SOT 4418694 SOS 761517 HAS SOPS 761517 HAS SOUS 637258 HAS SOUPS 637258 WITH SCORE 638019.517
AT ITER 3700 NEW BEST:: SOT 4418868 SOS 761460 HAS SOPS 761460 HAS SOUS 637200 HAS SOUPS 637200 WITH SCORE 637961.46
AT ITER 3765 NEW BEST:: SOT 4418750 SOS 761374 HAS SOPS 761374 HAS SOUS 637082 HAS SOUPS 637082 WITH SCORE 637843.374
AT ITER 3777 NEW BEST:: SOT 4418640 SOS 761264 HAS SOPS 761264 HAS SOUS 636917 HAS SOUPS 636917 WITH SCORE 637678.264
AT ITER 3792 NEW BEST:: SOT 4418507 SOS 760998 HAS SOPS 760998 HAS SOUS 636651 HAS SOUPS 636651 WITH SCORE 637411.998
AT ITER 3794 NEW BEST:: SOT 4418365 SOS 760856 HAS SOPS 760856 HAS SOUS 636509 HAS SOUPS 636509 WITH SCORE 637269.856
AT ITER 3830 NEW BEST:: SOT 4418354 SOS 760845 HAS SOPS 760845 HAS SOUS 636498 HAS SOUPS 636498 WITH SCORE 637258.845
AT ITER 3842 NEW BEST:: SOT 4418458 SOS 760842 HAS SOPS 760842 HAS SOUS 636495 HAS SOUPS 636495 WITH SCORE 637255.842
AT ITER 3857 NEW BEST:: SOT 4418317 SOS 760701 HAS SOPS 760701 HAS SOUS 636354 HAS SOUPS 636354 WITH SCORE 637114.701
AT ITER 3862 NEW BEST:: SOT 4418254 SOS 760575 HAS SOPS 760575 HAS SOUS 636228 HAS SOUPS 636228 WITH SCORE 636988.575
AT ITER 3868 NEW BEST:: SOT 4418248 SOS 760457 HAS SOPS 760457 HAS SOUS 636216 HAS SOUPS 636216 WITH SCORE 636976.457
AT ITER 3889 NEW BEST:: SOT 4418235 SOS 760431 HAS SOPS 760431 HAS SOUS 636190 HAS SOUPS 636190 WITH SCORE 636950.431
AT ITER 3900 NEW BEST:: SOT 4418001 SOS 760197 HAS SOPS 760197 HAS SOUS 636164 HAS SOUPS 636164 WITH SCORE 636924.197
AT ITER 3956 NEW BEST:: SOT 4417930 SOS 760055 HAS SOPS 760055 HAS SOUS 636048 HAS SOUPS 636048 WITH SCORE 636808.055
AT ITER 3957 NEW BEST:: SOT 4417929 SOS 760053 HAS SOPS 760053 HAS SOUS 636046 HAS SOUPS 636046 WITH SCORE 636806.053
AT ITER 3989 NEW BEST:: SOT 4417857 SOS 759909 HAS SOPS 759909 HAS SOUS 635902 HAS SOUPS 635902 WITH SCORE 636661.909
AT ITER 4062 NEW BEST:: SOT 4417853 SOS 759901 HAS SOPS 759901 HAS SOUS 635846 HAS SOUPS 635846 WITH SCORE 636605.901
AT ITER 4070 NEW BEST:: SOT 4417715 SOS 759625 HAS SOPS 759625 HAS SOUS 635555 HAS SOUPS 635555 WITH SCORE 636314.625
AT ITER 4102 NEW BEST:: SOT 4417715 SOS 748809 HAS SOPS 748809 HAS SOUS 635555 HAS SOUPS 635555 WITH SCORE 636303.809
AT ITER 4110 NEW BEST:: SOT 4417531 SOS 748645 HAS SOPS 748645 HAS SOUS 635423 HAS SOUPS 635423 WITH SCORE 636171.645
AT ITER 4116 NEW BEST:: SOT 4417504 SOS 748591 HAS SOPS 748591 HAS SOUS 635369 HAS SOUPS 635369 WITH SCORE 636117.591
AT ITER 4126 NEW BEST:: SOT 4417504 SOS 748342 HAS SOPS 748342 HAS SOUS 635369 HAS SOUPS 635369 WITH SCORE 636117.342
AT ITER 4156 NEW BEST:: SOT 4417503 SOS 748283 HAS SOPS 748283 HAS SOUS 635367 HAS SOUPS 635367 WITH SCORE 636115.283
AT ITER 4158 NEW BEST:: SOT 4417497 SOS 747950 HAS SOPS 747950 HAS SOUS 635040 HAS SOUPS 635040 WITH SCORE 635787.95
AT ITER 4172 NEW BEST:: SOT 4417400 SOS 747756 HAS SOPS 747756 HAS SOUS 634846 HAS SOUPS 634846 WITH SCORE 635593.756
AT ITER 4180 NEW BEST:: SOT 4417341 SOS 747383 HAS SOPS 747383 HAS SOUS 634601 HAS SOUPS 634601 WITH SCORE 635348.383
AT ITER 4209 NEW BEST:: SOT 4417316 SOS 747358 HAS SOPS 747358 HAS SOUS 634576 HAS SOUPS 634576 WITH SCORE 635323.358
AT ITER 4233 NEW BEST:: SOT 4417064 SOS 747206 HAS SOPS 747206 HAS SOUS 634267 HAS SOUPS 634267 WITH SCORE 635014.206
AT ITER 4253 NEW BEST:: SOT 4416998 SOS 747074 HAS SOPS 747074 HAS SOUS 634135 HAS SOUPS 634135 WITH SCORE 634882.074
AT ITER 4281 NEW BEST:: SOT 4416694 SOS 746883 HAS SOPS 746883 HAS SOUS 633862 HAS SOUPS 633862 WITH SCORE 634608.883
AT ITER 4295 NEW BEST:: SOT 4416646 SOS 746461 HAS SOPS 746461 HAS SOUS 633557 HAS SOUPS 633557 WITH SCORE 634303.461
AT ITER 4299 NEW BEST:: SOT 4416484 SOS 746137 HAS SOPS 746137 HAS SOUS 633233 HAS SOUPS 633233 WITH SCORE 633979.137
AT ITER 4321 NEW BEST:: SOT 4416171 SOS 745511 HAS SOPS 745511 HAS SOUS 632826 HAS SOUPS 632826 WITH SCORE 633571.511
AT ITER 4329 NEW BEST:: SOT 4416166 SOS 745501 HAS SOPS 745501 HAS SOUS 632821 HAS SOUPS 632821 WITH SCORE 633566.501
AT ITER 4364 NEW BEST:: SOT 4415966 SOS 745101 HAS SOPS 745101 HAS SOUS 632421 HAS SOUPS 632421 WITH SCORE 633166.101
AT ITER 4381 NEW BEST:: SOT 4416036 SOS 744934 HAS SOPS 744934 HAS SOUS 632261 HAS SOUPS 632261 WITH SCORE 633005.934
AT ITER 4433 NEW BEST:: SOT 4415932 SOS 744588 HAS SOPS 744588 HAS SOUS 631954 HAS SOUPS 631954 WITH SCORE 632698.588
AT ITER 4442 NEW BEST:: SOT 4415932 SOS 744588 HAS SOPS 744588 HAS SOUS 631886 HAS SOUPS 631886 WITH SCORE 632630.588
AT ITER 4491 NEW BEST:: SOT 4415801 SOS 744326 HAS SOPS 744326 HAS SOUS 631755 HAS SOUPS 631755 WITH SCORE 632499.326
AT ITER 4505 NEW BEST:: SOT 4415801 SOS 744326 HAS SOPS 744326 HAS SOUS 631727 HAS SOUPS 631727 WITH SCORE 632471.326
AT ITER 4506 NEW BEST:: SOT 4415797 SOS 744156 HAS SOPS 744156 HAS SOUS 631649 HAS SOUPS 631649 WITH SCORE 632393.156
AT ITER 4620 NEW BEST:: SOT 4415627 SOS 743986 HAS SOPS 743986 HAS SOUS 631479 HAS SOUPS 631479 WITH SCORE 632222.986
AT ITER 4647 NEW BEST:: SOT 4415637 SOS 743914 HAS SOPS 743914 HAS SOUS 631377 HAS SOUPS 631377 WITH SCORE 632120.914
AT ITER 4648 NEW BEST:: SOT 4415614 SOS 743868 HAS SOPS 743868 HAS SOUS 631331 HAS SOUPS 631331 WITH SCORE 632074.868
AT ITER 4649 NEW BEST:: SOT 4415402 SOS 743444 HAS SOPS 743444 HAS SOUS 631223 HAS SOUPS 631223 WITH SCORE 631966.444
AT ITER 4653 NEW BEST:: SOT 4415400 SOS 743451 HAS SOPS 743451 HAS SOUS 631221 HAS SOUPS 631221 WITH SCORE 631964.451
AT ITER 4682 NEW BEST:: SOT 4415226 SOS 743352 HAS SOPS 743352 HAS SOUS 631047 HAS SOUPS 631047 WITH SCORE 631790.352
AT ITER 4734 NEW BEST:: SOT 4415137 SOS 743174 HAS SOPS 743174 HAS SOUS 630869 HAS SOUPS 630869 WITH SCORE 631612.174
AT ITER 4744 NEW BEST:: SOT 4414993 SOS 742886 HAS SOPS 742886 HAS SOUS 630581 HAS SOUPS 630581 WITH SCORE 631323.886
AT ITER 4763 NEW BEST:: SOT 4414992 SOS 742508 HAS SOPS 742508 HAS SOUS 630579 HAS SOUPS 630579 WITH SCORE 631321.508
AT ITER 4764 NEW BEST:: SOT 4414991 SOS 742463 HAS SOPS 742463 HAS SOUS 630578 HAS SOUPS 630578 WITH SCORE 631320.463
AT ITER 4767 NEW BEST:: SOT 4414990 SOS 742461 HAS SOPS 742461 HAS SOUS 630576 HAS SOUPS 630576 WITH SCORE 631318.461
AT ITER 4781 NEW BEST:: SOT 4414957 SOS 742362 HAS SOPS 742362 HAS SOUS 630510 HAS SOUPS 630510 WITH SCORE 631252.362
AT ITER 4798 NEW BEST:: SOT 4414872 SOS 742276 HAS SOPS 742276 HAS SOUS 630424 HAS SOUPS 630424 WITH SCORE 631166.276
AT ITER 4909 NEW BEST:: SOT 4414853 SOS 742257 HAS SOPS 742257 HAS SOUS 630405 HAS SOUPS 630405 WITH SCORE 631147.257
AT ITER 4955 NEW BEST:: SOT 4414842 SOS 742235 HAS SOPS 742235 HAS SOUS 630394 HAS SOUPS 630394 WITH SCORE 631136.235
AT ITER 4975 NEW BEST:: SOT 4414744 SOS 742181 HAS SOPS 742181 HAS SOUS 630232 HAS SOUPS 630232 WITH SCORE 630974.181
AT ITER 4987 NEW BEST:: SOT 4414747 SOS 742187 HAS SOPS 742187 HAS SOUS 630225 HAS SOUPS 630225 WITH SCORE 630967.187
AT ITER 4997 NEW BEST:: SOT 4414747 SOS 742094 HAS SOPS 742094 HAS SOUS 630225 HAS SOUPS 630225 WITH SCORE 630967.094
AT ITER 5003 NEW BEST:: SOT 4414677 SOS 741954 HAS SOPS 741954 HAS SOUS 630085 HAS SOUPS 630085 WITH SCORE 630826.954
AT ITER 5034 NEW BEST:: SOT 4414584 SOS 741768 HAS SOPS 741768 HAS SOUS 629899 HAS SOUPS 629899 WITH SCORE 630640.768
AT ITER 5037 NEW BEST:: SOT 4414732 SOS 741707 HAS SOPS 741707 HAS SOUS 629842 HAS SOUPS 629842 WITH SCORE 630583.707
AT ITER 5050 NEW BEST:: SOT 4414732 SOS 741580 HAS SOPS 741580 HAS SOUS 629842 HAS SOUPS 629842 WITH SCORE 630583.58
AT ITER 5053 NEW BEST:: SOT 4414610 SOS 741336 HAS SOPS 741336 HAS SOUS 629720 HAS SOUPS 629720 WITH SCORE 630461.336
AT ITER 5074 NEW BEST:: SOT 4414610 SOS 741273 HAS SOPS 741273 HAS SOUS 629720 HAS SOUPS 629720 WITH SCORE 630461.273
AT ITER 5084 NEW BEST:: SOT 4414584 SOS 741221 HAS SOPS 741221 HAS SOUS 629668 HAS SOUPS 629668 WITH SCORE 630409.221
AT ITER 5089 NEW BEST:: SOT 4414528 SOS 741109 HAS SOPS 741109 HAS SOUS 629583 HAS SOUPS 629583 WITH SCORE 630324.109
AT ITER 5090 NEW BEST:: SOT 4414470 SOS 741354 HAS SOPS 741354 HAS SOUS 629418 HAS SOUPS 629418 WITH SCORE 630159.354
AT ITER 5106 NEW BEST:: SOT 4414569 SOS 742193 HAS SOPS 742193 HAS SOUS 629049 HAS SOUPS 629049 WITH SCORE 629791.193
AT ITER 5120 NEW BEST:: SOT 4414569 SOS 742193 HAS SOPS 742193 HAS SOUS 628892 HAS SOUPS 628892 WITH SCORE 629634.193
AT ITER 5138 NEW BEST:: SOT 4414562 SOS 742186 HAS SOPS 742186 HAS SOUS 628885 HAS SOUPS 628885 WITH SCORE 629627.186
AT ITER 5156 NEW BEST:: SOT 4414452 SOS 741475 HAS SOPS 741475 HAS SOUS 628512 HAS SOUPS 628512 WITH SCORE 629253.475
AT ITER 5169 NEW BEST:: SOT 4414452 SOS 741425 HAS SOPS 741425 HAS SOUS 628512 HAS SOUPS 628512 WITH SCORE 629253.425
AT ITER 5197 NEW BEST:: SOT 4414337 SOS 741310 HAS SOPS 741310 HAS SOUS 628131 HAS SOUPS 628131 WITH SCORE 628872.31
AT ITER 5214 NEW BEST:: SOT 4414522 SOS 741542 HAS SOPS 741542 HAS SOUS 628071 HAS SOUPS 628071 WITH SCORE 628812.542
AT ITER 5234 NEW BEST:: SOT 4414521 SOS 741540 HAS SOPS 741540 HAS SOUS 628069 HAS SOUPS 628069 WITH SCORE 628810.54
AT ITER 5237 NEW BEST:: SOT 4414173 SOS 740844 HAS SOPS 740844 HAS SOUS 627444 HAS SOUPS 627444 WITH SCORE 628184.844
AT ITER 5239 NEW BEST:: SOT 4414116 SOS 740730 HAS SOPS 740730 HAS SOUS 627387 HAS SOUPS 627387 WITH SCORE 628127.73
AT ITER 5251 NEW BEST:: SOT 4414095 SOS 740688 HAS SOPS 740688 HAS SOUS 627365 HAS SOUPS 627365 WITH SCORE 628105.688
AT ITER 5281 NEW BEST:: SOT 4414169 SOS 740634 HAS SOPS 740634 HAS SOUS 627311 HAS SOUPS 627311 WITH SCORE 628051.634
AT ITER 5285 NEW BEST:: SOT 4414031 SOS 740358 HAS SOPS 740358 HAS SOUS 627173 HAS SOUPS 627173 WITH SCORE 627913.358
AT ITER 5306 NEW BEST:: SOT 4413852 SOS 740303 HAS SOPS 740303 HAS SOUS 627118 HAS SOUPS 627118 WITH SCORE 627858.303
AT ITER 5307 NEW BEST:: SOT 4413803 SOS 740205 HAS SOPS 740205 HAS SOUS 627020 HAS SOUPS 627020 WITH SCORE 627760.205
AT ITER 5322 NEW BEST:: SOT 4413139 SOS 739383 HAS SOPS 739383 HAS SOUS 626135 HAS SOUPS 626135 WITH SCORE 626874.383
AT ITER 5323 NEW BEST:: SOT 4413139 SOS 739301 HAS SOPS 739301 HAS SOUS 626053 HAS SOUPS 626053 WITH SCORE 626792.301
AT ITER 5354 NEW BEST:: SOT 4413139 SOS 739292 HAS SOPS 739292 HAS SOUS 626053 HAS SOUPS 626053 WITH SCORE 626792.292
AT ITER 5366 NEW BEST:: SOT 4413048 SOS 738926 HAS SOPS 738926 HAS SOUS 625871 HAS SOUPS 625871 WITH SCORE 626609.926
AT ITER 5386 NEW BEST:: SOT 4413048 SOS 738912 HAS SOPS 738912 HAS SOUS 625857 HAS SOUPS 625857 WITH SCORE 626595.912
AT ITER 5410 NEW BEST:: SOT 4413031 SOS 738878 HAS SOPS 738878 HAS SOUS 625823 HAS SOUPS 625823 WITH SCORE 626561.878
AT ITER 5440 NEW BEST:: SOT 4412886 SOS 738588 HAS SOPS 738588 HAS SOUS 625823 HAS SOUPS 625823 WITH SCORE 626561.588
AT ITER 5457 NEW BEST:: SOT 4412760 SOS 738495 HAS SOPS 738495 HAS SOUS 625730 HAS SOUPS 625730 WITH SCORE 626468.495
AT ITER 5468 NEW BEST:: SOT 4412560 SOS 738346 HAS SOPS 738346 HAS SOUS 625591 HAS SOUPS 625591 WITH SCORE 626329.346
AT ITER 5471 NEW BEST:: SOT 4412716 SOS 738658 HAS SOPS 738658 HAS SOUS 625545 HAS SOUPS 625545 WITH SCORE 626283.658
AT ITER 5474 NEW BEST:: SOT 4412557 SOS 738340 HAS SOPS 738340 HAS SOUS 625386 HAS SOUPS 625386 WITH SCORE 626124.34
AT ITER 5477 NEW BEST:: SOT 4412510 SOS 738246 HAS SOPS 738246 HAS SOUS 625339 HAS SOUPS 625339 WITH SCORE 626077.246
AT ITER 5522 NEW BEST:: SOT 4412470 SOS 738206 HAS SOPS 738206 HAS SOUS 625299 HAS SOUPS 625299 WITH SCORE 626037.206
AT ITER 5538 NEW BEST:: SOT 4412426 SOS 739194 HAS SOPS 739194 HAS SOUS 625260 HAS SOUPS 625260 WITH SCORE 625999.194
AT ITER 5584 NEW BEST:: SOT 4412408 SOS 738774 HAS SOPS 738774 HAS SOUS 625224 HAS SOUPS 625224 WITH SCORE 625962.774
AT ITER 5597 NEW BEST:: SOT 4412232 SOS 738422 HAS SOPS 738422 HAS SOUS 625048 HAS SOUPS 625048 WITH SCORE 625786.422
AT ITER 5627 NEW BEST:: SOT 4412151 SOS 737960 HAS SOPS 737960 HAS SOUS 624886 HAS SOUPS 624886 WITH SCORE 625623.96
AT ITER 5654 NEW BEST:: SOT 4412147 SOS 737966 HAS SOPS 737966 HAS SOUS 624882 HAS SOUPS 624882 WITH SCORE 625619.966
AT ITER 5663 NEW BEST:: SOT 4412147 SOS 737867 HAS SOPS 737867 HAS SOUS 624882 HAS SOUPS 624882 WITH SCORE 625619.867
AT ITER 5704 NEW BEST:: SOT 4411812 SOS 736759 HAS SOPS 736759 HAS SOUS 624220 HAS SOUPS 624220 WITH SCORE 624956.759
AT ITER 5721 NEW BEST:: SOT 4411766 SOS 736667 HAS SOPS 736667 HAS SOUS 624174 HAS SOUPS 624174 WITH SCORE 624910.667
AT ITER 5755 NEW BEST:: SOT 4411676 SOS 736487 HAS SOPS 736487 HAS SOUS 623994 HAS SOUPS 623994 WITH SCORE 624730.487
AT ITER 5757 NEW BEST:: SOT 4411653 SOS 736504 HAS SOPS 736504 HAS SOUS 623971 HAS SOUPS 623971 WITH SCORE 624707.504
AT ITER 5785 NEW BEST:: SOT 4411616 SOS 736430 HAS SOPS 736430 HAS SOUS 623897 HAS SOUPS 623897 WITH SCORE 624633.43
AT ITER 5812 NEW BEST:: SOT 4411616 SOS 736300 HAS SOPS 736300 HAS SOUS 623897 HAS SOUPS 623897 WITH SCORE 624633.3
AT ITER 5820 NEW BEST:: SOT 4411719 SOS 736446 HAS SOPS 736446 HAS SOUS 623796 HAS SOUPS 623796 WITH SCORE 624532.446
AT ITER 5827 NEW BEST:: SOT 4411622 SOS 736402 HAS SOPS 736402 HAS SOUS 623749 HAS SOUPS 623749 WITH SCORE 624485.402
AT ITER 5859 NEW BEST:: SOT 4411615 SOS 736381 HAS SOPS 736381 HAS SOUS 623735 HAS SOUPS 623735 WITH SCORE 624471.381
AT ITER 5863 NEW BEST:: SOT 4411419 SOS 735758 HAS SOPS 735758 HAS SOUS 623308 HAS SOUPS 623308 WITH SCORE 624043.758
AT ITER 5909 NEW BEST:: SOT 4411434 SOS 735711 HAS SOPS 735711 HAS SOUS 623246 HAS SOUPS 623246 WITH SCORE 623981.711
AT ITER 5931 NEW BEST:: SOT 4411428 SOS 735586 HAS SOPS 735586 HAS SOUS 623235 HAS SOUPS 623235 WITH SCORE 623970.586
AT ITER 5967 NEW BEST:: SOT 4411203 SOS 735136 HAS SOPS 735136 HAS SOUS 623010 HAS SOUPS 623010 WITH SCORE 623745.136
AT ITER 6018 NEW BEST:: SOT 4411100 SOS 734930 HAS SOPS 734930 HAS SOUS 622804 HAS SOUPS 622804 WITH SCORE 623538.93
AT ITER 6027 NEW BEST:: SOT 4411092 SOS 734914 HAS SOPS 734914 HAS SOUS 622796 HAS SOUPS 622796 WITH SCORE 623530.914
AT ITER 6081 NEW BEST:: SOT 4410557 SOS 734379 HAS SOPS 734379 HAS SOUS 622261 HAS SOUPS 622261 WITH SCORE 622995.379
AT ITER 6093 NEW BEST:: SOT 4410534 SOS 734333 HAS SOPS 734333 HAS SOUS 622215 HAS SOUPS 622215 WITH SCORE 622949.333
AT ITER 6117 NEW BEST:: SOT 4410496 SOS 734257 HAS SOPS 734257 HAS SOUS 622181 HAS SOUPS 622181 WITH SCORE 622915.257
AT ITER 6135 NEW BEST:: SOT 4410408 SOS 734081 HAS SOPS 734081 HAS SOUS 621999 HAS SOUPS 621999 WITH SCORE 622733.081
AT ITER 6153 NEW BEST:: SOT 4410337 SOS 733939 HAS SOPS 733939 HAS SOUS 621928 HAS SOUPS 621928 WITH SCORE 622661.939
AT ITER 6181 NEW BEST:: SOT 4410181 SOS 733627 HAS SOPS 733627 HAS SOUS 621534 HAS SOUPS 621534 WITH SCORE 622267.627
AT ITER 6188 NEW BEST:: SOT 4410080 SOS 733526 HAS SOPS 733526 HAS SOUS 621433 HAS SOUPS 621433 WITH SCORE 622166.526
AT ITER 6194 NEW BEST:: SOT 4410375 SOS 733208 HAS SOPS 733208 HAS SOUS 621329 HAS SOUPS 621329 WITH SCORE 622062.208
AT ITER 6270 NEW BEST:: SOT 4410106 SOS 732806 HAS SOPS 732806 HAS SOUS 620927 HAS SOUPS 620927 WITH SCORE 621659.806
AT ITER 6283 NEW BEST:: SOT 4409979 SOS 732552 HAS SOPS 732552 HAS SOUS 620673 HAS SOUPS 620673 WITH SCORE 621405.552
AT ITER 6289 NEW BEST:: SOT 4409956 SOS 732506 HAS SOPS 732506 HAS SOUS 620627 HAS SOUPS 620627 WITH SCORE 621359.506
AT ITER 6300 NEW BEST:: SOT 4409956 SOS 732506 HAS SOPS 732506 HAS SOUS 620626 HAS SOUPS 620626 WITH SCORE 621358.506
AT ITER 6303 NEW BEST:: SOT 4409968 SOS 732294 HAS SOPS 732294 HAS SOUS 620586 HAS SOUPS 620586 WITH SCORE 621318.294
AT ITER 6333 NEW BEST:: SOT 4409968 SOS 732158 HAS SOPS 732158 HAS SOUS 620585 HAS SOUPS 620585 WITH SCORE 621317.158
AT ITER 6340 NEW BEST:: SOT 4409806 SOS 731834 HAS SOPS 731834 HAS SOUS 620246 HAS SOUPS 620246 WITH SCORE 620977.834
AT ITER 6355 NEW BEST:: SOT 4409612 SOS 731446 HAS SOPS 731446 HAS SOUS 620051 HAS SOUPS 620051 WITH SCORE 620782.446
AT ITER 6383 NEW BEST:: SOT 4409590 SOS 731424 HAS SOPS 731424 HAS SOUS 620029 HAS SOUPS 620029 WITH SCORE 620760.424
AT ITER 6384 NEW BEST:: SOT 4409584 SOS 731412 HAS SOPS 731412 HAS SOUS 620023 HAS SOUPS 620023 WITH SCORE 620754.412
AT ITER 6399 NEW BEST:: SOT 4409338 SOS 730920 HAS SOPS 730920 HAS SOUS 619592 HAS SOUPS 619592 WITH SCORE 620322.92
AT ITER 6401 NEW BEST:: SOT 4409133 SOS 730510 HAS SOPS 730510 HAS SOUS 619188 HAS SOUPS 619188 WITH SCORE 619918.51
AT ITER 6402 NEW BEST:: SOT 4409133 SOS 730370 HAS SOPS 730370 HAS SOUS 619048 HAS SOUPS 619048 WITH SCORE 619778.37
AT ITER 6406 NEW BEST:: SOT 4409125 SOS 730362 HAS SOPS 730362 HAS SOUS 619040 HAS SOUPS 619040 WITH SCORE 619770.362
AT ITER 6416 NEW BEST:: SOT 4409043 SOS 730198 HAS SOPS 730198 HAS SOUS 618846 HAS SOUPS 618846 WITH SCORE 619576.198
AT ITER 6417 NEW BEST:: SOT 4408900 SOS 729912 HAS SOPS 729912 HAS SOUS 618560 HAS SOUPS 618560 WITH SCORE 619289.912
AT ITER 6445 NEW BEST:: SOT 4408822 SOS 729678 HAS SOPS 729678 HAS SOUS 618404 HAS SOUPS 618404 WITH SCORE 619133.678
AT ITER 6456 NEW BEST:: SOT 4408822 SOS 729678 HAS SOPS 729678 HAS SOUS 618216 HAS SOUPS 618216 WITH SCORE 618945.678
AT ITER 6467 NEW BEST:: SOT 4408635 SOS 729304 HAS SOPS 729304 HAS SOUS 617842 HAS SOUPS 617842 WITH SCORE 618571.304
AT ITER 6481 NEW BEST:: SOT 4408575 SOS 729184 HAS SOPS 729184 HAS SOUS 617782 HAS SOUPS 617782 WITH SCORE 618511.184
AT ITER 6502 NEW BEST:: SOT 4408642 SOS 729177 HAS SOPS 729177 HAS SOUS 617775 HAS SOUPS 617775 WITH SCORE 618504.177
AT ITER 6505 NEW BEST:: SOT 4408492 SOS 728877 HAS SOPS 728877 HAS SOUS 617475 HAS SOUPS 617475 WITH SCORE 618203.877
AT ITER 6512 NEW BEST:: SOT 4408216 SOS 727773 HAS SOPS 727773 HAS SOUS 616923 HAS SOUPS 616923 WITH SCORE 617650.773
AT ITER 6550 NEW BEST:: SOT 4408117 SOS 727575 HAS SOPS 727575 HAS SOUS 616824 HAS SOUPS 616824 WITH SCORE 617551.575
AT ITER 6586 NEW BEST:: SOT 4407815 SOS 727531 HAS SOPS 727531 HAS SOUS 616541 HAS SOUPS 616541 WITH SCORE 617268.531
AT ITER 6587 NEW BEST:: SOT 4407814 SOS 727205 HAS SOPS 727205 HAS SOUS 616539 HAS SOUPS 616539 WITH SCORE 617266.205
AT ITER 6593 NEW BEST:: SOT 4407814 SOS 726861 HAS SOPS 726861 HAS SOUS 616475 HAS SOUPS 616475 WITH SCORE 617201.861
AT ITER 6596 NEW BEST:: SOT 4407828 SOS 726007 HAS SOPS 726007 HAS SOUS 616363 HAS SOUPS 616363 WITH SCORE 617089.007
AT ITER 6600 NEW BEST:: SOT 4407464 SOS 725533 HAS SOPS 725533 HAS SOUS 615845 HAS SOUPS 615845 WITH SCORE 616570.533
AT ITER 6676 NEW BEST:: SOT 4407266 SOS 724863 HAS SOPS 724863 HAS SOUS 615175 HAS SOUPS 615175 WITH SCORE 615899.863
AT ITER 6720 NEW BEST:: SOT 4407266 SOS 724863 HAS SOPS 724863 HAS SOUS 614897 HAS SOUPS 614897 WITH SCORE 615621.863
AT ITER 6752 NEW BEST:: SOT 4407266 SOS 724572 HAS SOPS 724572 HAS SOUS 614606 HAS SOUPS 614606 WITH SCORE 615330.572
AT ITER 6779 NEW BEST:: SOT 4407295 SOS 724566 HAS SOPS 724566 HAS SOUS 614580 HAS SOUPS 614580 WITH SCORE 615304.566
AT ITER 6799 NEW BEST:: SOT 4407295 SOS 724535 HAS SOPS 724535 HAS SOUS 614580 HAS SOUPS 614580 WITH SCORE 615304.535
AT ITER 6802 NEW BEST:: SOT 4407140 SOS 724518 HAS SOPS 724518 HAS SOUS 614555 HAS SOUPS 614555 WITH SCORE 615279.518
AT ITER 6806 NEW BEST:: SOT 4406778 SOS 724202 HAS SOPS 724202 HAS SOUS 614210 HAS SOUPS 614210 WITH SCORE 614934.202
AT ITER 6820 NEW BEST:: SOT 4406720 SOS 724086 HAS SOPS 724086 HAS SOUS 614094 HAS SOUPS 614094 WITH SCORE 614818.086
AT ITER 6824 NEW BEST:: SOT 4406514 SOS 724109 HAS SOPS 724109 HAS SOUS 613954 HAS SOUPS 613954 WITH SCORE 614678.109
AT ITER 6839 NEW BEST:: SOT 4406514 SOS 724093 HAS SOPS 724093 HAS SOUS 613938 HAS SOUPS 613938 WITH SCORE 614662.093
AT ITER 6856 NEW BEST:: SOT 4406514 SOS 724093 HAS SOPS 724093 HAS SOUS 613882 HAS SOUPS 613882 WITH SCORE 614606.093
AT ITER 6860 NEW BEST:: SOT 4406618 SOS 724039 HAS SOPS 724039 HAS SOUS 613828 HAS SOUPS 613828 WITH SCORE 614552.039
AT ITER 6876 NEW BEST:: SOT 4406249 SOS 724036 HAS SOPS 724036 HAS SOUS 613606 HAS SOUPS 613606 WITH SCORE 614330.036
AT ITER 6878 NEW BEST:: SOT 4406287 SOS 723835 HAS SOPS 723835 HAS SOUS 613405 HAS SOUPS 613405 WITH SCORE 614128.835
AT ITER 6936 NEW BEST:: SOT 4406255 SOS 723771 HAS SOPS 723771 HAS SOUS 613373 HAS SOUPS 613373 WITH SCORE 614096.771
AT ITER 6945 NEW BEST:: SOT 4406219 SOS 723699 HAS SOPS 723699 HAS SOUS 613301 HAS SOUPS 613301 WITH SCORE 614024.699
AT ITER 6951 NEW BEST:: SOT 4406183 SOS 723727 HAS SOPS 723727 HAS SOUS 613219 HAS SOUPS 613219 WITH SCORE 613942.727
AT ITER 6960 NEW BEST:: SOT 4406293 SOS 723492 HAS SOPS 723492 HAS SOUS 613212 HAS SOUPS 613212 WITH SCORE 613935.492
AT ITER 7026 NEW BEST:: SOT 4406178 SOS 723262 HAS SOPS 723262 HAS SOUS 613097 HAS SOUPS 613097 WITH SCORE 613820.262
AT ITER 7060 NEW BEST:: SOT 4406152 SOS 723210 HAS SOPS 723210 HAS SOUS 613045 HAS SOUPS 613045 WITH SCORE 613768.21
AT ITER 7069 NEW BEST:: SOT 4406152 SOS 723175 HAS SOPS 723175 HAS SOUS 613045 HAS SOUPS 613045 WITH SCORE 613768.175
AT ITER 7078 NEW BEST:: SOT 4406152 SOS 722939 HAS SOPS 722939 HAS SOUS 612927 HAS SOUPS 612927 WITH SCORE 613649.939
AT ITER 7079 NEW BEST:: SOT 4406043 SOS 722832 HAS SOPS 722832 HAS SOUS 612707 HAS SOUPS 612707 WITH SCORE 613429.832
AT ITER 7082 NEW BEST:: SOT 4405924 SOS 722594 HAS SOPS 722594 HAS SOUS 612588 HAS SOUPS 612588 WITH SCORE 613310.594
AT ITER 7094 NEW BEST:: SOT 4405923 SOS 722592 HAS SOPS 722592 HAS SOUS 612586 HAS SOUPS 612586 WITH SCORE 613308.592
AT ITER 7103 NEW BEST:: SOT 4405923 SOS 722592 HAS SOPS 722592 HAS SOUS 612579 HAS SOUPS 612579 WITH SCORE 613301.592
AT ITER 7122 NEW BEST:: SOT 4405807 SOS 722360 HAS SOPS 722360 HAS SOUS 612462 HAS SOUPS 612462 WITH SCORE 613184.36
AT ITER 7145 NEW BEST:: SOT 4405759 SOS 722360 HAS SOPS 722360 HAS SOUS 612414 HAS SOUPS 612414 WITH SCORE 613136.36
AT ITER 7161 NEW BEST:: SOT 4405759 SOS 722339 HAS SOPS 722339 HAS SOUS 612414 HAS SOUPS 612414 WITH SCORE 613136.339
AT ITER 7168 NEW BEST:: SOT 4405568 SOS 721957 HAS SOPS 721957 HAS SOUS 612273 HAS SOUPS 612273 WITH SCORE 612994.957
AT ITER 7184 NEW BEST:: SOT 4405713 SOS 721861 HAS SOPS 721861 HAS SOUS 612225 HAS SOUPS 612225 WITH SCORE 612946.861
AT ITER 7218 NEW BEST:: SOT 4405713 SOS 721826 HAS SOPS 721826 HAS SOUS 612225 HAS SOUPS 612225 WITH SCORE 612946.826
AT ITER 7222 NEW BEST:: SOT 4405120 SOS 738762 HAS SOPS 738762 HAS SOUS 612079 HAS SOUPS 612079 WITH SCORE 612817.762
AT ITER 7228 NEW BEST:: SOT 4405118 SOS 738758 HAS SOPS 738758 HAS SOUS 612075 HAS SOUPS 612075 WITH SCORE 612813.758
AT ITER 7235 NEW BEST:: SOT 4405152 SOS 738826 HAS SOPS 738826 HAS SOUS 611885 HAS SOUPS 611885 WITH SCORE 612623.826
AT ITER 7286 NEW BEST:: SOT 4405131 SOS 738818 HAS SOPS 738818 HAS SOUS 611864 HAS SOUPS 611864 WITH SCORE 612602.818
AT ITER 7297 NEW BEST:: SOT 4405084 SOS 738771 HAS SOPS 738771 HAS SOUS 611817 HAS SOUPS 611817 WITH SCORE 612555.771
AT ITER 7302 NEW BEST:: SOT 4405032 SOS 738667 HAS SOPS 738667 HAS SOUS 611713 HAS SOUPS 611713 WITH SCORE 612451.667
AT ITER 7313 NEW BEST:: SOT 4405029 SOS 738661 HAS SOPS 738661 HAS SOUS 611707 HAS SOUPS 611707 WITH SCORE 612445.661
AT ITER 7315 NEW BEST:: SOT 4405023 SOS 738649 HAS SOPS 738649 HAS SOUS 611672 HAS SOUPS 611672 WITH SCORE 612410.649
AT ITER 7318 NEW BEST:: SOT 4405023 SOS 738649 HAS SOPS 738649 HAS SOUS 611669 HAS SOUPS 611669 WITH SCORE 612407.649
AT ITER 7363 NEW BEST:: SOT 4405022 SOS 738546 HAS SOPS 738546 HAS SOUS 611667 HAS SOUPS 611667 WITH SCORE 612405.546
AT ITER 7364 NEW BEST:: SOT 4404946 SOS 738394 HAS SOPS 738394 HAS SOUS 611553 HAS SOUPS 611553 WITH SCORE 612291.394
AT ITER 7399 NEW BEST:: SOT 4404912 SOS 738360 HAS SOPS 738360 HAS SOUS 611519 HAS SOUPS 611519 WITH SCORE 612257.36
AT ITER 7401 NEW BEST:: SOT 4404791 SOS 738360 HAS SOPS 738360 HAS SOUS 611398 HAS SOUPS 611398 WITH SCORE 612136.36
AT ITER 7411 NEW BEST:: SOT 4404520 SOS 738360 HAS SOPS 738360 HAS SOUS 611343 HAS SOUPS 611343 WITH SCORE 612081.36
AT ITER 7421 NEW BEST:: SOT 4404402 SOS 738242 HAS SOPS 738242 HAS SOUS 611144 HAS SOUPS 611144 WITH SCORE 611882.242
AT ITER 7434 NEW BEST:: SOT 4405026 SOS 739490 HAS SOPS 739490 HAS SOUS 611041 HAS SOUPS 611041 WITH SCORE 611780.49
AT ITER 7437 NEW BEST:: SOT 4404989 SOS 739416 HAS SOPS 739416 HAS SOUS 611004 HAS SOUPS 611004 WITH SCORE 611743.416
AT ITER 7452 NEW BEST:: SOT 4404696 SOS 739484 HAS SOPS 739484 HAS SOUS 610724 HAS SOUPS 610724 WITH SCORE 611463.484
AT ITER 7525 NEW BEST:: SOT 4404538 SOS 739010 HAS SOPS 739010 HAS SOUS 610408 HAS SOUPS 610408 WITH SCORE 611147.01
AT ITER 7547 NEW BEST:: SOT 4404446 SOS 738826 HAS SOPS 738826 HAS SOUS 610224 HAS SOUPS 610224 WITH SCORE 610962.826
AT ITER 7556 NEW BEST:: SOT 4404230 SOS 738394 HAS SOPS 738394 HAS SOUS 609995 HAS SOUPS 609995 WITH SCORE 610733.394
AT ITER 7560 NEW BEST:: SOT 4404202 SOS 738338 HAS SOPS 738338 HAS SOUS 609939 HAS SOUPS 609939 WITH SCORE 610677.338
AT ITER 7578 NEW BEST:: SOT 4404199 SOS 738332 HAS SOPS 738332 HAS SOUS 609933 HAS SOUPS 609933 WITH SCORE 610671.332
AT ITER 7582 NEW BEST:: SOT 4404175 SOS 738284 HAS SOPS 738284 HAS SOUS 609909 HAS SOUPS 609909 WITH SCORE 610647.284
AT ITER 7620 NEW BEST:: SOT 4404175 SOS 738188 HAS SOPS 738188 HAS SOUS 609909 HAS SOUPS 609909 WITH SCORE 610647.188
AT ITER 7623 NEW BEST:: SOT 4404119 SOS 738132 HAS SOPS 738132 HAS SOUS 609853 HAS SOUPS 609853 WITH SCORE 610591.132
AT ITER 7627 NEW BEST:: SOT 4403906 SOS 737990 HAS SOPS 737990 HAS SOUS 609690 HAS SOUPS 609690 WITH SCORE 610427.99
AT ITER 7639 NEW BEST:: SOT 4403905 SOS 737988 HAS SOPS 737988 HAS SOUS 609688 HAS SOUPS 609688 WITH SCORE 610425.988
AT ITER 7640 NEW BEST:: SOT 4403878 SOS 738003 HAS SOPS 738003 HAS SOUS 609668 HAS SOUPS 609668 WITH SCORE 610406.003
AT ITER 7665 NEW BEST:: SOT 4403878 SOS 737997 HAS SOPS 737997 HAS SOUS 609662 HAS SOUPS 609662 WITH SCORE 610399.997
AT ITER 7679 NEW BEST:: SOT 4403877 SOS 737995 HAS SOPS 737995 HAS SOUS 609660 HAS SOUPS 609660 WITH SCORE 610397.995
AT ITER 7684 NEW BEST:: SOT 4403636 SOS 737513 HAS SOPS 737513 HAS SOUS 609660 HAS SOUPS 609660 WITH SCORE 610397.513
AT ITER 7689 NEW BEST:: SOT 4403563 SOS 737367 HAS SOPS 737367 HAS SOUS 609599 HAS SOUPS 609599 WITH SCORE 610336.367
AT ITER 7702 NEW BEST:: SOT 4403595 SOS 737248 HAS SOPS 737248 HAS SOUS 609481 HAS SOUPS 609481 WITH SCORE 610218.248
AT ITER 7717 NEW BEST:: SOT 4403425 SOS 737138 HAS SOPS 737138 HAS SOUS 609370 HAS SOUPS 609370 WITH SCORE 610107.138
AT ITER 7755 NEW BEST:: SOT 4403492 SOS 730537 HAS SOPS 730537 HAS SOUS 609233 HAS SOUPS 609233 WITH SCORE 609963.537
AT ITER 7765 NEW BEST:: SOT 4403440 SOS 730433 HAS SOPS 730433 HAS SOUS 609129 HAS SOUPS 609129 WITH SCORE 609859.433
AT ITER 7825 NEW BEST:: SOT 4403378 SOS 730309 HAS SOPS 730309 HAS SOUS 609067 HAS SOUPS 609067 WITH SCORE 609797.309
AT ITER 7849 NEW BEST:: SOT 4403050 SOS 729653 HAS SOPS 729653 HAS SOUS 608411 HAS SOUPS 608411 WITH SCORE 609140.653
AT ITER 7857 NEW BEST:: SOT 4403050 SOS 729645 HAS SOPS 729645 HAS SOUS 608411 HAS SOUPS 608411 WITH SCORE 609140.645
AT ITER 7858 NEW BEST:: SOT 4402907 SOS 729216 HAS SOPS 729216 HAS SOUS 608125 HAS SOUPS 608125 WITH SCORE 608854.216
AT ITER 7883 NEW BEST:: SOT 4402839 SOS 728391 HAS SOPS 728391 HAS SOUS 607989 HAS SOUPS 607989 WITH SCORE 608717.391
AT ITER 7892 NEW BEST:: SOT 4402746 SOS 728298 HAS SOPS 728298 HAS SOUS 607896 HAS SOUPS 607896 WITH SCORE 608624.298
AT ITER 7897 NEW BEST:: SOT 4402727 SOS 728279 HAS SOPS 728279 HAS SOUS 607876 HAS SOUPS 607876 WITH SCORE 608604.279
AT ITER 7910 NEW BEST:: SOT 4402664 SOS 727968 HAS SOPS 727968 HAS SOUS 607641 HAS SOUPS 607641 WITH SCORE 608368.968
AT ITER 7916 NEW BEST:: SOT 4402609 SOS 727794 HAS SOPS 727794 HAS SOUS 607586 HAS SOUPS 607586 WITH SCORE 608313.794
AT ITER 7919 NEW BEST:: SOT 4402609 SOS 727786 HAS SOPS 727786 HAS SOUS 607578 HAS SOUPS 607578 WITH SCORE 608305.786
AT ITER 7922 NEW BEST:: SOT 4402608 SOS 727784 HAS SOPS 727784 HAS SOUS 607576 HAS SOUPS 607576 WITH SCORE 608303.784
AT ITER 7926 NEW BEST:: SOT 4402397 SOS 727573 HAS SOPS 727573 HAS SOUS 607443 HAS SOUPS 607443 WITH SCORE 608170.573
AT ITER 7961 NEW BEST:: SOT 4402286 SOS 727627 HAS SOPS 727627 HAS SOUS 607388 HAS SOUPS 607388 WITH SCORE 608115.627
AT ITER 7962 NEW BEST:: SOT 4402153 SOS 727361 HAS SOPS 727361 HAS SOUS 607255 HAS SOUPS 607255 WITH SCORE 607982.361
AT ITER 7967 NEW BEST:: SOT 4402153 SOS 727341 HAS SOPS 727341 HAS SOUS 607255 HAS SOUPS 607255 WITH SCORE 607982.341
AT ITER 8030 NEW BEST:: SOT 4402065 SOS 727165 HAS SOPS 727165 HAS SOUS 607079 HAS SOUPS 607079 WITH SCORE 607806.165
AT ITER 8059 NEW BEST:: SOT 4402051 SOS 727137 HAS SOPS 727137 HAS SOUS 607047 HAS SOUPS 607047 WITH SCORE 607774.137
AT ITER 8086 NEW BEST:: SOT 4402051 SOS 727055 HAS SOPS 727055 HAS SOUS 607047 HAS SOUPS 607047 WITH SCORE 607774.055
AT ITER 8087 NEW BEST:: SOT 4401593 SOS 727055 HAS SOPS 727055 HAS SOUS 606818 HAS SOUPS 606818 WITH SCORE 607545.055
AT ITER 8107 NEW BEST:: SOT 4401431 SOS 726893 HAS SOPS 726893 HAS SOUS 606656 HAS SOUPS 606656 WITH SCORE 607382.893
AT ITER 8114 NEW BEST:: SOT 4401397 SOS 726825 HAS SOPS 726825 HAS SOUS 606622 HAS SOUPS 606622 WITH SCORE 607348.825
AT ITER 8124 NEW BEST:: SOT 4401397 SOS 726794 HAS SOPS 726794 HAS SOUS 606622 HAS SOUPS 606622 WITH SCORE 607348.794
AT ITER 8166 NEW BEST:: SOT 4401397 SOS 726689 HAS SOPS 726689 HAS SOUS 606517 HAS SOUPS 606517 WITH SCORE 607243.689
AT ITER 8182 NEW BEST:: SOT 4401294 SOS 726483 HAS SOPS 726483 HAS SOUS 606343 HAS SOUPS 606343 WITH SCORE 607069.483
AT ITER 8198 NEW BEST:: SOT 4401121 SOS 726310 HAS SOPS 726310 HAS SOUS 606170 HAS SOUPS 606170 WITH SCORE 606896.31
AT ITER 8254 NEW BEST:: SOT 4401230 SOS 726528 HAS SOPS 726528 HAS SOUS 606149 HAS SOUPS 606149 WITH SCORE 606875.528
AT ITER 8283 NEW BEST:: SOT 4401099 SOS 726397 HAS SOPS 726397 HAS SOUS 606018 HAS SOUPS 606018 WITH SCORE 606744.397
AT ITER 8284 NEW BEST:: SOT 4401042 SOS 726283 HAS SOPS 726283 HAS SOUS 605904 HAS SOUPS 605904 WITH SCORE 606630.283
AT ITER 8291 NEW BEST:: SOT 4401011 SOS 726221 HAS SOPS 726221 HAS SOUS 605842 HAS SOUPS 605842 WITH SCORE 606568.221
AT ITER 8323 NEW BEST:: SOT 4400984 SOS 726493 HAS SOPS 726493 HAS SOUS 605822 HAS SOUPS 605822 WITH SCORE 606548.493
AT ITER 8339 NEW BEST:: SOT 4400673 SOS 725871 HAS SOPS 725871 HAS SOUS 605023 HAS SOUPS 605023 WITH SCORE 605748.871
AT ITER 8343 NEW BEST:: SOT 4400676 SOS 725877 HAS SOPS 725877 HAS SOUS 604723 HAS SOUPS 604723 WITH SCORE 605448.877
AT ITER 8345 NEW BEST:: SOT 4400589 SOS 725761 HAS SOPS 725761 HAS SOUS 604607 HAS SOUPS 604607 WITH SCORE 605332.761
AT ITER 8387 NEW BEST:: SOT 4400456 SOS 725495 HAS SOPS 725495 HAS SOUS 604341 HAS SOUPS 604341 WITH SCORE 605066.495
AT ITER 8418 NEW BEST:: SOT 4400319 SOS 725756 HAS SOPS 725756 HAS SOUS 604176 HAS SOUPS 604176 WITH SCORE 604901.756
AT ITER 8432 NEW BEST:: SOT 4400313 SOS 725744 HAS SOPS 725744 HAS SOUS 604164 HAS SOUPS 604164 WITH SCORE 604889.744
AT ITER 8448 NEW BEST:: SOT 4400313 SOS 725744 HAS SOPS 725744 HAS SOUS 604157 HAS SOUPS 604157 WITH SCORE 604882.744
AT ITER 8466 NEW BEST:: SOT 4400211 SOS 725649 HAS SOPS 725649 HAS SOUS 604055 HAS SOUPS 604055 WITH SCORE 604780.649
AT ITER 8476 NEW BEST:: SOT 4400211 SOS 725363 HAS SOPS 725363 HAS SOUS 603769 HAS SOUPS 603769 WITH SCORE 604494.363
AT ITER 8529 NEW BEST:: SOT 4400137 SOS 725326 HAS SOPS 725326 HAS SOUS 603732 HAS SOUPS 603732 WITH SCORE 604457.326
AT ITER 8542 NEW BEST:: SOT 4400111 SOS 725274 HAS SOPS 725274 HAS SOUS 603714 HAS SOUPS 603714 WITH SCORE 604439.274
AT ITER 8565 NEW BEST:: SOT 4399976 SOS 725069 HAS SOPS 725069 HAS SOUS 603509 HAS SOUPS 603509 WITH SCORE 604234.069
AT ITER 8568 NEW BEST:: SOT 4399805 SOS 725049 HAS SOPS 725049 HAS SOUS 603489 HAS SOUPS 603489 WITH SCORE 604214.049
AT ITER 8649 NEW BEST:: SOT 4399711 SOS 725273 HAS SOPS 725273 HAS SOUS 603485 HAS SOUPS 603485 WITH SCORE 604210.273
AT ITER 8693 NEW BEST:: SOT 4399679 SOS 725209 HAS SOPS 725209 HAS SOUS 603421 HAS SOUPS 603421 WITH SCORE 604146.209
AT ITER 8729 NEW BEST:: SOT 4399617 SOS 725085 HAS SOPS 725085 HAS SOUS 603287 HAS SOUPS 603287 WITH SCORE 604012.085
AT ITER 8739 NEW BEST:: SOT 4399561 SOS 724973 HAS SOPS 724973 HAS SOUS 603230 HAS SOUPS 603230 WITH SCORE 603954.973
AT ITER 8750 NEW BEST:: SOT 4399560 SOS 724927 HAS SOPS 724927 HAS SOUS 603228 HAS SOUPS 603228 WITH SCORE 603952.927
AT ITER 8751 NEW BEST:: SOT 4399560 SOS 724927 HAS SOPS 724927 HAS SOUS 603227 HAS SOUPS 603227 WITH SCORE 603951.927
AT ITER 8765 NEW BEST:: SOT 4399712 SOS 724927 HAS SOPS 724927 HAS SOUS 602875 HAS SOUPS 602875 WITH SCORE 603599.927
AT ITER 8816 NEW BEST:: SOT 4399712 SOS 724638 HAS SOPS 724638 HAS SOUS 602875 HAS SOUPS 602875 WITH SCORE 603599.638
AT ITER 8818 NEW BEST:: SOT 4399682 SOS 724608 HAS SOPS 724608 HAS SOUS 602845 HAS SOUPS 602845 WITH SCORE 603569.608
AT ITER 8819 NEW BEST:: SOT 4399682 SOS 724608 HAS SOPS 724608 HAS SOUS 602805 HAS SOUPS 602805 WITH SCORE 603529.608
AT ITER 8861 NEW BEST:: SOT 4399548 SOS 724340 HAS SOPS 724340 HAS SOUS 602671 HAS SOUPS 602671 WITH SCORE 603395.34
AT ITER 8879 NEW BEST:: SOT 4399531 SOS 724306 HAS SOPS 724306 HAS SOUS 602654 HAS SOUPS 602654 WITH SCORE 603378.306
AT ITER 8926 NEW BEST:: SOT 4399494 SOS 724262 HAS SOPS 724262 HAS SOUS 602610 HAS SOUPS 602610 WITH SCORE 603334.262
AT ITER 8927 NEW BEST:: SOT 4399441 SOS 724156 HAS SOPS 724156 HAS SOUS 602504 HAS SOUPS 602504 WITH SCORE 603228.156
AT ITER 8945 NEW BEST:: SOT 4399413 SOS 724128 HAS SOPS 724128 HAS SOUS 602476 HAS SOUPS 602476 WITH SCORE 603200.128
AT ITER 8959 NEW BEST:: SOT 4399211 SOS 724268 HAS SOPS 724268 HAS SOUS 602274 HAS SOUPS 602274 WITH SCORE 602998.268
AT ITER 8970 NEW BEST:: SOT 4399159 SOS 724216 HAS SOPS 724216 HAS SOUS 602170 HAS SOUPS 602170 WITH SCORE 602894.216
AT ITER 8979 NEW BEST:: SOT 4399067 SOS 724032 HAS SOPS 724032 HAS SOUS 601890 HAS SOUPS 601890 WITH SCORE 602614.032
AT ITER 8993 NEW BEST:: SOT 4398395 SOS 723136 HAS SOPS 723136 HAS SOUS 600994 HAS SOUPS 600994 WITH SCORE 601717.136
AT ITER 9001 NEW BEST:: SOT 4398395 SOS 722991 HAS SOPS 722991 HAS SOUS 600994 HAS SOUPS 600994 WITH SCORE 601716.991
AT ITER 9003 NEW BEST:: SOT 4398432 SOS 723065 HAS SOPS 723065 HAS SOUS 600966 HAS SOUPS 600966 WITH SCORE 601689.065
AT ITER 9004 NEW BEST:: SOT 4398418 SOS 723037 HAS SOPS 723037 HAS SOUS 600931 HAS SOUPS 600931 WITH SCORE 601654.037
AT ITER 9013 NEW BEST:: SOT 4398177 SOS 722696 HAS SOPS 722696 HAS SOUS 600569 HAS SOUPS 600569 WITH SCORE 601291.696
AT ITER 9014 NEW BEST:: SOT 4398012 SOS 722007 HAS SOPS 722007 HAS SOUS 600404 HAS SOUPS 600404 WITH SCORE 601126.007
AT ITER 9046 NEW BEST:: SOT 4398001 SOS 721985 HAS SOPS 721985 HAS SOUS 600382 HAS SOUPS 600382 WITH SCORE 601103.985
AT ITER 9057 NEW BEST:: SOT 4397948 SOS 721321 HAS SOPS 721321 HAS SOUS 600051 HAS SOUPS 600051 WITH SCORE 600772.321
AT ITER 9069 NEW BEST:: SOT 4397894 SOS 721213 HAS SOPS 721213 HAS SOUS 599943 HAS SOUPS 599943 WITH SCORE 600664.213
AT ITER 9113 NEW BEST:: SOT 4397864 SOS 721153 HAS SOPS 721153 HAS SOUS 599913 HAS SOUPS 599913 WITH SCORE 600634.153
AT ITER 9116 NEW BEST:: SOT 4397752 SOS 720929 HAS SOPS 720929 HAS SOUS 599689 HAS SOUPS 599689 WITH SCORE 600409.929
AT ITER 9125 NEW BEST:: SOT 4397690 SOS 720805 HAS SOPS 720805 HAS SOUS 599565 HAS SOUPS 599565 WITH SCORE 600285.805
AT ITER 9137 NEW BEST:: SOT 4397712 SOS 720317 HAS SOPS 720317 HAS SOUS 599321 HAS SOUPS 599321 WITH SCORE 600041.317
AT ITER 9167 NEW BEST:: SOT 4397514 SOS 719921 HAS SOPS 719921 HAS SOUS 598925 HAS SOUPS 598925 WITH SCORE 599644.921
AT ITER 9210 NEW BEST:: SOT 4397513 SOS 719919 HAS SOPS 719919 HAS SOUS 598923 HAS SOUPS 598923 WITH SCORE 599642.919
AT ITER 9217 NEW BEST:: SOT 4397492 SOS 719877 HAS SOPS 719877 HAS SOUS 598902 HAS SOUPS 598902 WITH SCORE 599621.877
AT ITER 9228 NEW BEST:: SOT 4397396 SOS 720010 HAS SOPS 720010 HAS SOUS 598871 HAS SOUPS 598871 WITH SCORE 599591.01
AT ITER 9230 NEW BEST:: SOT 4396810 SOS 719223 HAS SOPS 719223 HAS SOUS 598086 HAS SOUPS 598086 WITH SCORE 598805.223
AT ITER 9255 NEW BEST:: SOT 4396699 SOS 719001 HAS SOPS 719001 HAS SOUS 597864 HAS SOUPS 597864 WITH SCORE 598583.001
AT ITER 9292 NEW BEST:: SOT 4396551 SOS 719221 HAS SOPS 719221 HAS SOUS 597763 HAS SOUPS 597763 WITH SCORE 598482.221
AT ITER 9304 NEW BEST:: SOT 4396488 SOS 719203 HAS SOPS 719203 HAS SOUS 597736 HAS SOUPS 597736 WITH SCORE 598455.203
AT ITER 9336 NEW BEST:: SOT 4396440 SOS 719107 HAS SOPS 719107 HAS SOUS 597640 HAS SOUPS 597640 WITH SCORE 598359.107
AT ITER 9354 NEW BEST:: SOT 4396439 SOS 718996 HAS SOPS 718996 HAS SOUS 597638 HAS SOUPS 597638 WITH SCORE 598356.996
AT ITER 9364 NEW BEST:: SOT 4396429 SOS 718846 HAS SOPS 718846 HAS SOUS 597560 HAS SOUPS 597560 WITH SCORE 598278.846
AT ITER 9367 NEW BEST:: SOT 4396429 SOS 718846 HAS SOPS 718846 HAS SOUS 597301 HAS SOUPS 597301 WITH SCORE 598019.846
AT ITER 9370 NEW BEST:: SOT 4396347 SOS 718609 HAS SOPS 718609 HAS SOUS 597104 HAS SOUPS 597104 WITH SCORE 597822.609
AT ITER 9395 NEW BEST:: SOT 4396282 SOS 718479 HAS SOPS 718479 HAS SOUS 596986 HAS SOUPS 596986 WITH SCORE 597704.479
AT ITER 9399 NEW BEST:: SOT 4396281 SOS 718477 HAS SOPS 718477 HAS SOUS 596984 HAS SOUPS 596984 WITH SCORE 597702.477
AT ITER 9401 NEW BEST:: SOT 4396281 SOS 718288 HAS SOPS 718288 HAS SOUS 596984 HAS SOUPS 596984 WITH SCORE 597702.288
AT ITER 9448 NEW BEST:: SOT 4395964 SOS 718019 HAS SOPS 718019 HAS SOUS 596667 HAS SOUPS 596667 WITH SCORE 597385.019
AT ITER 9488 NEW BEST:: SOT 4395964 SOS 718019 HAS SOPS 718019 HAS SOUS 596665 HAS SOUPS 596665 WITH SCORE 597383.019
AT ITER 9506 NEW BEST:: SOT 4395614 SOS 717319 HAS SOPS 717319 HAS SOUS 596315 HAS SOUPS 596315 WITH SCORE 597032.319
AT ITER 9542 NEW BEST:: SOT 4395614 SOS 717319 HAS SOPS 717319 HAS SOUS 596171 HAS SOUPS 596171 WITH SCORE 596888.319
AT ITER 9581 NEW BEST:: SOT 4395051 SOS 716739 HAS SOPS 716739 HAS SOUS 595591 HAS SOUPS 595591 WITH SCORE 596307.739
AT ITER 9664 NEW BEST:: SOT 4395044 SOS 716725 HAS SOPS 716725 HAS SOUS 595577 HAS SOUPS 595577 WITH SCORE 596293.725
AT ITER 9685 NEW BEST:: SOT 4394777 SOS 716458 HAS SOPS 716458 HAS SOUS 595392 HAS SOUPS 595392 WITH SCORE 596108.458
AT ITER 9687 NEW BEST:: SOT 4394686 SOS 716276 HAS SOPS 716276 HAS SOUS 595210 HAS SOUPS 595210 WITH SCORE 595926.276
AT ITER 9694 NEW BEST:: SOT 4394523 SOS 715950 HAS SOPS 715950 HAS SOUS 594884 HAS SOUPS 594884 WITH SCORE 595599.95
AT ITER 9703 NEW BEST:: SOT 4394633 SOS 716170 HAS SOPS 716170 HAS SOUS 594855 HAS SOUPS 594855 WITH SCORE 595571.17
AT ITER 9738 NEW BEST:: SOT 4394569 SOS 715897 HAS SOPS 715897 HAS SOUS 594698 HAS SOUPS 594698 WITH SCORE 595413.897
AT ITER 9748 NEW BEST:: SOT 4394569 SOS 715897 HAS SOPS 715897 HAS SOUS 594690 HAS SOUPS 594690 WITH SCORE 595405.897
AT ITER 9763 NEW BEST:: SOT 4394383 SOS 715525 HAS SOPS 715525 HAS SOUS 594318 HAS SOUPS 594318 WITH SCORE 595033.525
AT ITER 9773 NEW BEST:: SOT 4394358 SOS 715475 HAS SOPS 715475 HAS SOUS 594268 HAS SOUPS 594268 WITH SCORE 594983.475
AT ITER 9864 NEW BEST:: SOT 4394344 SOS 715433 HAS SOPS 715433 HAS SOUS 594240 HAS SOUPS 594240 WITH SCORE 594955.433
AT ITER 9963 NEW BEST:: SOT 4394344 SOS 715238 HAS SOPS 715238 HAS SOUS 594240 HAS SOUPS 594240 WITH SCORE 594955.238
AT ITER 9968 NEW BEST:: SOT 4394151 SOS 714852 HAS SOPS 714852 HAS SOUS 594127 HAS SOUPS 594127 WITH SCORE 594841.852
AT ITER 9970 NEW BEST:: SOT 4394009 SOS 714551 HAS SOPS 714551 HAS SOUS 593984 HAS SOUPS 593984 WITH SCORE 594698.551
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 12308216 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16153004 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="CloudReconfiguration-PT-317"
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 CloudReconfiguration-PT-317, 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-167814472000136"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/CloudReconfiguration-PT-317.tgz
mv CloudReconfiguration-PT-317 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 ;