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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.2M
-rw-r--r-- 1 mcc users 9.0K Feb 25 11:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 100K Feb 25 11:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.9K Feb 25 11:49 CTLFireability.txt
-rw-r--r-- 1 mcc users 66K 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:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 15:46 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 15:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:46 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 11:50 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 124K 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 56K Feb 25 11:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 15:46 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:46 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 660K 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 1678218787500

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-302
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 302
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: 2585 places, 3095 transitions, 6463 arcs.
AT ITER 0 NEW BEST:: SOT 4449289 SOS 709645 HAS SOPS 709645 HAS SOUS 687806 HAS SOUPS 687806 WITH SCORE 688515.645
AT ITER 5 NEW BEST:: SOT 4449362 SOS 709790 HAS SOPS 709790 HAS SOUS 687727 HAS SOUPS 687727 WITH SCORE 688436.79
AT ITER 19 NEW BEST:: SOT 4449211 SOS 709488 HAS SOPS 709488 HAS SOUS 687645 HAS SOUPS 687645 WITH SCORE 688354.488
AT ITER 26 NEW BEST:: SOT 4449083 SOS 709232 HAS SOPS 709232 HAS SOUS 687233 HAS SOUPS 687233 WITH SCORE 687942.232
AT ITER 31 NEW BEST:: SOT 4449083 SOS 709232 HAS SOPS 709232 HAS SOUS 687232 HAS SOUPS 687232 WITH SCORE 687941.232
AT ITER 54 NEW BEST:: SOT 4449056 SOS 709178 HAS SOPS 709178 HAS SOUS 687205 HAS SOUPS 687205 WITH SCORE 687914.178
AT ITER 106 NEW BEST:: SOT 4448894 SOS 709016 HAS SOPS 709016 HAS SOUS 686962 HAS SOUPS 686962 WITH SCORE 687671.016
AT ITER 110 NEW BEST:: SOT 4448471 SOS 708734 HAS SOPS 708734 HAS SOUS 686680 HAS SOUPS 686680 WITH SCORE 687388.734
AT ITER 117 NEW BEST:: SOT 4448256 SOS 708304 HAS SOPS 708304 HAS SOUS 686015 HAS SOUPS 686015 WITH SCORE 686723.304
AT ITER 134 NEW BEST:: SOT 4448148 SOS 708196 HAS SOPS 708196 HAS SOUS 685907 HAS SOUPS 685907 WITH SCORE 686615.196
AT ITER 159 NEW BEST:: SOT 4447992 SOS 708057 HAS SOPS 708057 HAS SOUS 685768 HAS SOUPS 685768 WITH SCORE 686476.057
AT ITER 164 NEW BEST:: SOT 4447920 SOS 707913 HAS SOPS 707913 HAS SOUS 685624 HAS SOUPS 685624 WITH SCORE 686331.913
AT ITER 166 NEW BEST:: SOT 4447870 SOS 707813 HAS SOPS 707813 HAS SOUS 685574 HAS SOUPS 685574 WITH SCORE 686281.813
AT ITER 192 NEW BEST:: SOT 4447724 SOS 707682 HAS SOPS 707682 HAS SOUS 685430 HAS SOUPS 685430 WITH SCORE 686137.682
AT ITER 210 NEW BEST:: SOT 4447515 SOS 707264 HAS SOPS 707264 HAS SOUS 685012 HAS SOUPS 685012 WITH SCORE 685719.264
AT ITER 252 NEW BEST:: SOT 4447515 SOS 707264 HAS SOPS 707264 HAS SOUS 685011 HAS SOUPS 685011 WITH SCORE 685718.264
AT ITER 262 NEW BEST:: SOT 4447394 SOS 707143 HAS SOPS 707143 HAS SOUS 684890 HAS SOUPS 684890 WITH SCORE 685597.143
AT ITER 263 NEW BEST:: SOT 4447394 SOS 707143 HAS SOPS 707143 HAS SOUS 684884 HAS SOUPS 684884 WITH SCORE 685591.143
AT ITER 268 NEW BEST:: SOT 4447235 SOS 706825 HAS SOPS 706825 HAS SOUS 684566 HAS SOUPS 684566 WITH SCORE 685272.825
AT ITER 275 NEW BEST:: SOT 4447187 SOS 706729 HAS SOPS 706729 HAS SOUS 684470 HAS SOUPS 684470 WITH SCORE 685176.729
AT ITER 285 NEW BEST:: SOT 4446344 SOS 708522 HAS SOPS 708522 HAS SOUS 683951 HAS SOUPS 683951 WITH SCORE 684659.522
AT ITER 300 NEW BEST:: SOT 4444702 SOS 711454 HAS SOPS 711454 HAS SOUS 682306 HAS SOUPS 682306 WITH SCORE 683017.454
AT ITER 304 NEW BEST:: SOT 4444634 SOS 711318 HAS SOPS 711318 HAS SOUS 682285 HAS SOUPS 682285 WITH SCORE 682996.318
AT ITER 310 NEW BEST:: SOT 4444633 SOS 711316 HAS SOPS 711316 HAS SOUS 682283 HAS SOUPS 682283 WITH SCORE 682994.316
AT ITER 311 NEW BEST:: SOT 4444595 SOS 711240 HAS SOPS 711240 HAS SOUS 682226 HAS SOUPS 682226 WITH SCORE 682937.24
AT ITER 327 NEW BEST:: SOT 4444561 SOS 711172 HAS SOPS 711172 HAS SOUS 682158 HAS SOUPS 682158 WITH SCORE 682869.172
AT ITER 334 NEW BEST:: SOT 4444460 SOS 711090 HAS SOPS 711090 HAS SOUS 682074 HAS SOUPS 682074 WITH SCORE 682785.09
AT ITER 350 NEW BEST:: SOT 4444230 SOS 710630 HAS SOPS 710630 HAS SOUS 681486 HAS SOUPS 681486 WITH SCORE 682196.63
AT ITER 373 NEW BEST:: SOT 4444089 SOS 710500 HAS SOPS 710500 HAS SOUS 681351 HAS SOUPS 681351 WITH SCORE 682061.5
AT ITER 383 NEW BEST:: SOT 4444002 SOS 710326 HAS SOPS 710326 HAS SOUS 681177 HAS SOUPS 681177 WITH SCORE 681887.326
AT ITER 386 NEW BEST:: SOT 4444002 SOS 710236 HAS SOPS 710236 HAS SOUS 681177 HAS SOUPS 681177 WITH SCORE 681887.236
AT ITER 391 NEW BEST:: SOT 4443848 SOS 710082 HAS SOPS 710082 HAS SOUS 681023 HAS SOUPS 681023 WITH SCORE 681733.082
AT ITER 394 NEW BEST:: SOT 4443823 SOS 710032 HAS SOPS 710032 HAS SOUS 680973 HAS SOUPS 680973 WITH SCORE 681683.032
AT ITER 399 NEW BEST:: SOT 4443822 SOS 710030 HAS SOPS 710030 HAS SOUS 680971 HAS SOUPS 680971 WITH SCORE 681681.03
AT ITER 454 NEW BEST:: SOT 4443441 SOS 709648 HAS SOPS 709648 HAS SOUS 680589 HAS SOUPS 680589 WITH SCORE 681298.648
AT ITER 483 NEW BEST:: SOT 4442964 SOS 709330 HAS SOPS 709330 HAS SOUS 680112 HAS SOUPS 680112 WITH SCORE 680821.33
AT ITER 486 NEW BEST:: SOT 4442964 SOS 709330 HAS SOPS 709330 HAS SOUS 679972 HAS SOUPS 679972 WITH SCORE 680681.33
AT ITER 510 NEW BEST:: SOT 4442762 SOS 708926 HAS SOPS 708926 HAS SOUS 679568 HAS SOUPS 679568 WITH SCORE 680276.926
AT ITER 522 NEW BEST:: SOT 4442954 SOS 708778 HAS SOPS 708778 HAS SOUS 679494 HAS SOUPS 679494 WITH SCORE 680202.778
AT ITER 525 NEW BEST:: SOT 4441657 SOS 709579 HAS SOPS 709579 HAS SOUS 678653 HAS SOUPS 678653 WITH SCORE 679362.579
AT ITER 527 NEW BEST:: SOT 4441546 SOS 709356 HAS SOPS 709356 HAS SOUS 678430 HAS SOUPS 678430 WITH SCORE 679139.356
AT ITER 540 NEW BEST:: SOT 4441397 SOS 709058 HAS SOPS 709058 HAS SOUS 678132 HAS SOUPS 678132 WITH SCORE 678841.058
AT ITER 572 NEW BEST:: SOT 4441180 SOS 708874 HAS SOPS 708874 HAS SOUS 677915 HAS SOUPS 677915 WITH SCORE 678623.874
AT ITER 631 NEW BEST:: SOT 4441110 SOS 708734 HAS SOPS 708734 HAS SOUS 677775 HAS SOUPS 677775 WITH SCORE 678483.734
AT ITER 650 NEW BEST:: SOT 4441048 SOS 708610 HAS SOPS 708610 HAS SOUS 677651 HAS SOUPS 677651 WITH SCORE 678359.61
AT ITER 667 NEW BEST:: SOT 4440963 SOS 708644 HAS SOPS 708644 HAS SOUS 677636 HAS SOUPS 677636 WITH SCORE 678344.644
AT ITER 698 NEW BEST:: SOT 4440835 SOS 708522 HAS SOPS 708522 HAS SOUS 677514 HAS SOUPS 677514 WITH SCORE 678222.522
AT ITER 725 NEW BEST:: SOT 4440550 SOS 708142 HAS SOPS 708142 HAS SOUS 677134 HAS SOUPS 677134 WITH SCORE 677842.142
AT ITER 731 NEW BEST:: SOT 4440380 SOS 707802 HAS SOPS 707802 HAS SOUS 676794 HAS SOUPS 676794 WITH SCORE 677501.802
AT ITER 738 NEW BEST:: SOT 4440047 SOS 707580 HAS SOPS 707580 HAS SOUS 676461 HAS SOUPS 676461 WITH SCORE 677168.58
AT ITER 748 NEW BEST:: SOT 4440210 SOS 707024 HAS SOPS 707024 HAS SOUS 676183 HAS SOUPS 676183 WITH SCORE 676890.024
AT ITER 769 NEW BEST:: SOT 4440210 SOS 707023 HAS SOPS 707023 HAS SOUS 676182 HAS SOUPS 676182 WITH SCORE 676889.023
AT ITER 805 NEW BEST:: SOT 4440176 SOS 706955 HAS SOPS 706955 HAS SOUS 676114 HAS SOUPS 676114 WITH SCORE 676820.955
AT ITER 817 NEW BEST:: SOT 4440367 SOS 707083 HAS SOPS 707083 HAS SOUS 676051 HAS SOUPS 676051 WITH SCORE 676758.083
AT ITER 823 NEW BEST:: SOT 4440300 SOS 706949 HAS SOPS 706949 HAS SOUS 675917 HAS SOUPS 675917 WITH SCORE 676623.949
AT ITER 824 NEW BEST:: SOT 4440288 SOS 706925 HAS SOPS 706925 HAS SOUS 675893 HAS SOUPS 675893 WITH SCORE 676599.925
AT ITER 838 NEW BEST:: SOT 4440201 SOS 706838 HAS SOPS 706838 HAS SOUS 675806 HAS SOUPS 675806 WITH SCORE 676512.838
AT ITER 848 NEW BEST:: SOT 4440138 SOS 706712 HAS SOPS 706712 HAS SOUS 675418 HAS SOUPS 675418 WITH SCORE 676124.712
AT ITER 869 NEW BEST:: SOT 4440003 SOS 706442 HAS SOPS 706442 HAS SOUS 675114 HAS SOUPS 675114 WITH SCORE 675820.442
AT ITER 881 NEW BEST:: SOT 4440003 SOS 706442 HAS SOPS 706442 HAS SOUS 674915 HAS SOUPS 674915 WITH SCORE 675621.442
AT ITER 894 NEW BEST:: SOT 4439671 SOS 706331 HAS SOPS 706331 HAS SOUS 674745 HAS SOUPS 674745 WITH SCORE 675451.331
AT ITER 907 NEW BEST:: SOT 4439514 SOS 706017 HAS SOPS 706017 HAS SOUS 674604 HAS SOUPS 674604 WITH SCORE 675310.017
AT ITER 936 NEW BEST:: SOT 4439388 SOS 705765 HAS SOPS 705765 HAS SOUS 674352 HAS SOUPS 674352 WITH SCORE 675057.765
AT ITER 943 NEW BEST:: SOT 4439388 SOS 705611 HAS SOPS 705611 HAS SOUS 674198 HAS SOUPS 674198 WITH SCORE 674903.611
AT ITER 961 NEW BEST:: SOT 4438853 SOS 705036 HAS SOPS 705036 HAS SOUS 673532 HAS SOUPS 673532 WITH SCORE 674237.036
AT ITER 1046 NEW BEST:: SOT 4438691 SOS 704712 HAS SOPS 704712 HAS SOUS 673208 HAS SOUPS 673208 WITH SCORE 673912.712
AT ITER 1066 NEW BEST:: SOT 4438551 SOS 704592 HAS SOPS 704592 HAS SOUS 673071 HAS SOUPS 673071 WITH SCORE 673775.592
AT ITER 1070 NEW BEST:: SOT 4438289 SOS 704330 HAS SOPS 704330 HAS SOUS 672809 HAS SOUPS 672809 WITH SCORE 673513.33
AT ITER 1083 NEW BEST:: SOT 4438265 SOS 704282 HAS SOPS 704282 HAS SOUS 672761 HAS SOUPS 672761 WITH SCORE 673465.282
AT ITER 1124 NEW BEST:: SOT 4438499 SOS 704185 HAS SOPS 704185 HAS SOUS 672548 HAS SOUPS 672548 WITH SCORE 673252.185
AT ITER 1130 NEW BEST:: SOT 4438276 SOS 703777 HAS SOPS 703777 HAS SOUS 672362 HAS SOUPS 672362 WITH SCORE 673065.777
AT ITER 1137 NEW BEST:: SOT 4438224 SOS 703673 HAS SOPS 703673 HAS SOUS 672112 HAS SOUPS 672112 WITH SCORE 672815.673
AT ITER 1152 NEW BEST:: SOT 4438004 SOS 703453 HAS SOPS 703453 HAS SOUS 671892 HAS SOUPS 671892 WITH SCORE 672595.453
AT ITER 1156 NEW BEST:: SOT 4438004 SOS 703386 HAS SOPS 703386 HAS SOUS 671825 HAS SOUPS 671825 WITH SCORE 672528.386
AT ITER 1159 NEW BEST:: SOT 4438005 SOS 703388 HAS SOPS 703388 HAS SOUS 671616 HAS SOUPS 671616 WITH SCORE 672319.388
AT ITER 1175 NEW BEST:: SOT 4437408 SOS 702802 HAS SOPS 702802 HAS SOUS 671019 HAS SOUPS 671019 WITH SCORE 671721.802
AT ITER 1178 NEW BEST:: SOT 4437408 SOS 702730 HAS SOPS 702730 HAS SOUS 670947 HAS SOUPS 670947 WITH SCORE 671649.73
AT ITER 1190 NEW BEST:: SOT 4437408 SOS 702700 HAS SOPS 702700 HAS SOUS 670947 HAS SOUPS 670947 WITH SCORE 671649.7
AT ITER 1232 NEW BEST:: SOT 4437216 SOS 702888 HAS SOPS 702888 HAS SOUS 670942 HAS SOUPS 670942 WITH SCORE 671644.888
AT ITER 1241 NEW BEST:: SOT 4437296 SOS 703048 HAS SOPS 703048 HAS SOUS 670775 HAS SOUPS 670775 WITH SCORE 671478.048
AT ITER 1242 NEW BEST:: SOT 4437121 SOS 703134 HAS SOPS 703134 HAS SOUS 670730 HAS SOUPS 670730 WITH SCORE 671433.134
AT ITER 1279 NEW BEST:: SOT 4437121 SOS 703134 HAS SOPS 703134 HAS SOUS 670729 HAS SOUPS 670729 WITH SCORE 671432.134
AT ITER 1348 NEW BEST:: SOT 4437104 SOS 703100 HAS SOPS 703100 HAS SOUS 670695 HAS SOUPS 670695 WITH SCORE 671398.1
AT ITER 1361 NEW BEST:: SOT 4437061 SOS 703014 HAS SOPS 703014 HAS SOUS 670609 HAS SOUPS 670609 WITH SCORE 671312.014
AT ITER 1379 NEW BEST:: SOT 4432977 SOS 749782 HAS SOPS 749782 HAS SOUS 668884 HAS SOUPS 668884 WITH SCORE 669633.782
AT ITER 1397 NEW BEST:: SOT 4432977 SOS 749711 HAS SOPS 749711 HAS SOUS 668813 HAS SOUPS 668813 WITH SCORE 669562.711
AT ITER 1414 NEW BEST:: SOT 4432977 SOS 749710 HAS SOPS 749710 HAS SOUS 668812 HAS SOUPS 668812 WITH SCORE 669561.71
AT ITER 1434 NEW BEST:: SOT 4432977 SOS 749710 HAS SOPS 749710 HAS SOUS 668589 HAS SOUPS 668589 WITH SCORE 669338.71
AT ITER 1442 NEW BEST:: SOT 4432604 SOS 749508 HAS SOPS 749508 HAS SOUS 668228 HAS SOUPS 668228 WITH SCORE 668977.508
AT ITER 1453 NEW BEST:: SOT 4432458 SOS 749434 HAS SOPS 749434 HAS SOUS 667864 HAS SOUPS 667864 WITH SCORE 668613.434
AT ITER 1461 NEW BEST:: SOT 4432408 SOS 749334 HAS SOPS 749334 HAS SOUS 667696 HAS SOUPS 667696 WITH SCORE 668445.334
AT ITER 1478 NEW BEST:: SOT 4432273 SOS 749064 HAS SOPS 749064 HAS SOUS 667426 HAS SOUPS 667426 WITH SCORE 668175.064
AT ITER 1481 NEW BEST:: SOT 4432122 SOS 748944 HAS SOPS 748944 HAS SOUS 667306 HAS SOUPS 667306 WITH SCORE 668054.944
AT ITER 1486 NEW BEST:: SOT 4431820 SOS 748494 HAS SOPS 748494 HAS SOUS 667004 HAS SOUPS 667004 WITH SCORE 667752.494
AT ITER 1505 NEW BEST:: SOT 4431820 SOS 748417 HAS SOPS 748417 HAS SOUS 666927 HAS SOUPS 666927 WITH SCORE 667675.417
AT ITER 1522 NEW BEST:: SOT 4431539 SOS 747855 HAS SOPS 747855 HAS SOUS 666365 HAS SOUPS 666365 WITH SCORE 667112.855
AT ITER 1528 NEW BEST:: SOT 4431495 SOS 747767 HAS SOPS 747767 HAS SOUS 666225 HAS SOUPS 666225 WITH SCORE 666972.767
AT ITER 1545 NEW BEST:: SOT 4431366 SOS 747861 HAS SOPS 747861 HAS SOUS 666096 HAS SOUPS 666096 WITH SCORE 666843.861
AT ITER 1551 NEW BEST:: SOT 4431435 SOS 747999 HAS SOPS 747999 HAS SOUS 666091 HAS SOUPS 666091 WITH SCORE 666838.999
AT ITER 1638 NEW BEST:: SOT 4431683 SOS 747873 HAS SOPS 747873 HAS SOUS 666028 HAS SOUPS 666028 WITH SCORE 666775.873
AT ITER 1646 NEW BEST:: SOT 4431683 SOS 747873 HAS SOPS 747873 HAS SOUS 665906 HAS SOUPS 665906 WITH SCORE 666653.873
AT ITER 1660 NEW BEST:: SOT 4431599 SOS 747813 HAS SOPS 747813 HAS SOUS 665846 HAS SOUPS 665846 WITH SCORE 666593.813
AT ITER 1699 NEW BEST:: SOT 4431607 SOS 747743 HAS SOPS 747743 HAS SOUS 665776 HAS SOUPS 665776 WITH SCORE 666523.743
AT ITER 1755 NEW BEST:: SOT 4431603 SOS 747735 HAS SOPS 747735 HAS SOUS 665768 HAS SOUPS 665768 WITH SCORE 666515.735
AT ITER 1756 NEW BEST:: SOT 4431493 SOS 747625 HAS SOPS 747625 HAS SOUS 665658 HAS SOUPS 665658 WITH SCORE 666405.625
AT ITER 1766 NEW BEST:: SOT 4431493 SOS 747565 HAS SOPS 747565 HAS SOUS 665598 HAS SOUPS 665598 WITH SCORE 666345.565
AT ITER 1767 NEW BEST:: SOT 4431428 SOS 747435 HAS SOPS 747435 HAS SOUS 665533 HAS SOUPS 665533 WITH SCORE 666280.435
AT ITER 1801 NEW BEST:: SOT 4429983 SOS 747363 HAS SOPS 747363 HAS SOUS 664500 HAS SOUPS 664500 WITH SCORE 665247.363
AT ITER 1835 NEW BEST:: SOT 4429911 SOS 747291 HAS SOPS 747291 HAS SOUS 664428 HAS SOUPS 664428 WITH SCORE 665175.291
AT ITER 1848 NEW BEST:: SOT 4429911 SOS 747137 HAS SOPS 747137 HAS SOUS 664274 HAS SOUPS 664274 WITH SCORE 665021.137
AT ITER 1864 NEW BEST:: SOT 4429904 SOS 747123 HAS SOPS 747123 HAS SOUS 664260 HAS SOUPS 664260 WITH SCORE 665007.123
AT ITER 1870 NEW BEST:: SOT 4429836 SOS 746987 HAS SOPS 746987 HAS SOUS 664124 HAS SOUPS 664124 WITH SCORE 664870.987
AT ITER 1898 NEW BEST:: SOT 4429836 SOS 746981 HAS SOPS 746981 HAS SOUS 664124 HAS SOUPS 664124 WITH SCORE 664870.981
AT ITER 1904 NEW BEST:: SOT 4429438 SOS 719425 HAS SOPS 719425 HAS SOUS 663595 HAS SOUPS 663595 WITH SCORE 664314.425
AT ITER 1906 NEW BEST:: SOT 4429261 SOS 719417 HAS SOPS 719417 HAS SOUS 663486 HAS SOUPS 663486 WITH SCORE 664205.417
AT ITER 1948 NEW BEST:: SOT 4429123 SOS 719534 HAS SOPS 719534 HAS SOUS 663433 HAS SOUPS 663433 WITH SCORE 664152.534
AT ITER 1952 NEW BEST:: SOT 4429256 SOS 719532 HAS SOPS 719532 HAS SOUS 663431 HAS SOUPS 663431 WITH SCORE 664150.532
AT ITER 1972 NEW BEST:: SOT 4429256 SOS 719532 HAS SOPS 719532 HAS SOUS 663430 HAS SOUPS 663430 WITH SCORE 664149.532
AT ITER 1991 NEW BEST:: SOT 4429256 SOS 719482 HAS SOPS 719482 HAS SOUS 663430 HAS SOUPS 663430 WITH SCORE 664149.482
AT ITER 2029 NEW BEST:: SOT 4428957 SOS 719488 HAS SOPS 719488 HAS SOUS 663282 HAS SOUPS 663282 WITH SCORE 664001.488
AT ITER 2041 NEW BEST:: SOT 4428687 SOS 719308 HAS SOPS 719308 HAS SOUS 663012 HAS SOUPS 663012 WITH SCORE 663731.308
AT ITER 2059 NEW BEST:: SOT 4428630 SOS 719194 HAS SOPS 719194 HAS SOUS 662898 HAS SOUPS 662898 WITH SCORE 663617.194
AT ITER 2100 NEW BEST:: SOT 4428795 SOS 719110 HAS SOPS 719110 HAS SOUS 662834 HAS SOUPS 662834 WITH SCORE 663553.11
AT ITER 2116 NEW BEST:: SOT 4428711 SOS 719109 HAS SOPS 719109 HAS SOUS 662833 HAS SOUPS 662833 WITH SCORE 663552.109
AT ITER 2149 NEW BEST:: SOT 4428681 SOS 719108 HAS SOPS 719108 HAS SOUS 662832 HAS SOUPS 662832 WITH SCORE 663551.108
AT ITER 2150 NEW BEST:: SOT 4428567 SOS 718880 HAS SOPS 718880 HAS SOUS 662604 HAS SOUPS 662604 WITH SCORE 663322.88
AT ITER 2166 NEW BEST:: SOT 4428358 SOS 718462 HAS SOPS 718462 HAS SOUS 662186 HAS SOUPS 662186 WITH SCORE 662904.462
AT ITER 2167 NEW BEST:: SOT 4428276 SOS 718462 HAS SOPS 718462 HAS SOUS 662104 HAS SOUPS 662104 WITH SCORE 662822.462
AT ITER 2186 NEW BEST:: SOT 4428044 SOS 717998 HAS SOPS 717998 HAS SOUS 661640 HAS SOUPS 661640 WITH SCORE 662357.998
AT ITER 2198 NEW BEST:: SOT 4427949 SOS 717903 HAS SOPS 717903 HAS SOUS 661545 HAS SOUPS 661545 WITH SCORE 662262.903
AT ITER 2206 NEW BEST:: SOT 4427949 SOS 717902 HAS SOPS 717902 HAS SOUS 661513 HAS SOUPS 661513 WITH SCORE 662230.902
AT ITER 2209 NEW BEST:: SOT 4427949 SOS 717902 HAS SOPS 717902 HAS SOUS 661389 HAS SOUPS 661389 WITH SCORE 662106.902
AT ITER 2228 NEW BEST:: SOT 4427851 SOS 717706 HAS SOPS 717706 HAS SOUS 661193 HAS SOUPS 661193 WITH SCORE 661910.706
AT ITER 2247 NEW BEST:: SOT 4427770 SOS 717544 HAS SOPS 717544 HAS SOUS 661112 HAS SOUPS 661112 WITH SCORE 661829.544
AT ITER 2260 NEW BEST:: SOT 4427493 SOS 717266 HAS SOPS 717266 HAS SOUS 660834 HAS SOUPS 660834 WITH SCORE 661551.266
AT ITER 2277 NEW BEST:: SOT 4427147 SOS 716928 HAS SOPS 716928 HAS SOUS 660496 HAS SOUPS 660496 WITH SCORE 661212.928
AT ITER 2320 NEW BEST:: SOT 4427146 SOS 716926 HAS SOPS 716926 HAS SOUS 660494 HAS SOUPS 660494 WITH SCORE 661210.926
AT ITER 2384 NEW BEST:: SOT 4427146 SOS 716926 HAS SOPS 716926 HAS SOUS 660487 HAS SOUPS 660487 WITH SCORE 661203.926
AT ITER 2400 NEW BEST:: SOT 4427028 SOS 716808 HAS SOPS 716808 HAS SOUS 660369 HAS SOUPS 660369 WITH SCORE 661085.808
AT ITER 2423 NEW BEST:: SOT 4427028 SOS 716709 HAS SOPS 716709 HAS SOUS 660270 HAS SOUPS 660270 WITH SCORE 660986.709
AT ITER 2493 NEW BEST:: SOT 4427032 SOS 716717 HAS SOPS 716717 HAS SOUS 660041 HAS SOUPS 660041 WITH SCORE 660757.717
AT ITER 2514 NEW BEST:: SOT 4426996 SOS 716645 HAS SOPS 716645 HAS SOUS 659969 HAS SOUPS 659969 WITH SCORE 660685.645
AT ITER 2520 NEW BEST:: SOT 4426720 SOS 716093 HAS SOPS 716093 HAS SOUS 659417 HAS SOUPS 659417 WITH SCORE 660133.093
AT ITER 2523 NEW BEST:: SOT 4426423 SOS 716514 HAS SOPS 716514 HAS SOUS 659265 HAS SOUPS 659265 WITH SCORE 659981.514
AT ITER 2526 NEW BEST:: SOT 4426350 SOS 716368 HAS SOPS 716368 HAS SOUS 659107 HAS SOUPS 659107 WITH SCORE 659823.368
AT ITER 2533 NEW BEST:: SOT 4426325 SOS 716318 HAS SOPS 716318 HAS SOUS 659057 HAS SOUPS 659057 WITH SCORE 659773.318
AT ITER 2580 NEW BEST:: SOT 4426238 SOS 716119 HAS SOPS 716119 HAS SOUS 658631 HAS SOUPS 658631 WITH SCORE 659347.119
AT ITER 2589 NEW BEST:: SOT 4425756 SOS 716455 HAS SOPS 716455 HAS SOUS 658448 HAS SOUPS 658448 WITH SCORE 659164.455
AT ITER 2595 NEW BEST:: SOT 4425644 SOS 716231 HAS SOPS 716231 HAS SOUS 658336 HAS SOUPS 658336 WITH SCORE 659052.231
AT ITER 2596 NEW BEST:: SOT 4425442 SOS 716035 HAS SOPS 716035 HAS SOUS 658134 HAS SOUPS 658134 WITH SCORE 658850.035
AT ITER 2601 NEW BEST:: SOT 4425221 SOS 715593 HAS SOPS 715593 HAS SOUS 657692 HAS SOUPS 657692 WITH SCORE 658407.593
AT ITER 2618 NEW BEST:: SOT 4425220 SOS 715591 HAS SOPS 715591 HAS SOUS 657690 HAS SOUPS 657690 WITH SCORE 658405.591
AT ITER 2623 NEW BEST:: SOT 4425290 SOS 715245 HAS SOPS 715245 HAS SOUS 657313 HAS SOUPS 657313 WITH SCORE 658028.245
AT ITER 2644 NEW BEST:: SOT 4425290 SOS 714807 HAS SOPS 714807 HAS SOUS 657313 HAS SOUPS 657313 WITH SCORE 658027.807
AT ITER 2659 NEW BEST:: SOT 4425064 SOS 714355 HAS SOPS 714355 HAS SOUS 656861 HAS SOUPS 656861 WITH SCORE 657575.355
AT ITER 2667 NEW BEST:: SOT 4424986 SOS 714199 HAS SOPS 714199 HAS SOUS 656705 HAS SOUPS 656705 WITH SCORE 657419.199
AT ITER 2673 NEW BEST:: SOT 4424179 SOS 713691 HAS SOPS 713691 HAS SOUS 655924 HAS SOUPS 655924 WITH SCORE 656637.691
AT ITER 2682 NEW BEST:: SOT 4424063 SOS 713575 HAS SOPS 713575 HAS SOUS 655808 HAS SOUPS 655808 WITH SCORE 656521.575
AT ITER 2709 NEW BEST:: SOT 4423738 SOS 711813 HAS SOPS 711813 HAS SOUS 655117 HAS SOUPS 655117 WITH SCORE 655828.813
AT ITER 2722 NEW BEST:: SOT 4423697 SOS 711839 HAS SOPS 711839 HAS SOUS 655076 HAS SOUPS 655076 WITH SCORE 655787.839
AT ITER 2729 NEW BEST:: SOT 4423696 SOS 711837 HAS SOPS 711837 HAS SOUS 655074 HAS SOUPS 655074 WITH SCORE 655785.837
AT ITER 2743 NEW BEST:: SOT 4423740 SOS 712306 HAS SOPS 712306 HAS SOUS 654968 HAS SOUPS 654968 WITH SCORE 655680.306
AT ITER 2747 NEW BEST:: SOT 4423738 SOS 712165 HAS SOPS 712165 HAS SOUS 654964 HAS SOUPS 654964 WITH SCORE 655676.165
AT ITER 2749 NEW BEST:: SOT 4423434 SOS 712196 HAS SOPS 712196 HAS SOUS 654685 HAS SOUPS 654685 WITH SCORE 655397.196
AT ITER 2754 NEW BEST:: SOT 4423162 SOS 711652 HAS SOPS 711652 HAS SOUS 654461 HAS SOUPS 654461 WITH SCORE 655172.652
AT ITER 2757 NEW BEST:: SOT 4422878 SOS 711084 HAS SOPS 711084 HAS SOUS 653893 HAS SOUPS 653893 WITH SCORE 654604.084
AT ITER 2773 NEW BEST:: SOT 4422860 SOS 711048 HAS SOPS 711048 HAS SOUS 653875 HAS SOUPS 653875 WITH SCORE 654586.048
AT ITER 2774 NEW BEST:: SOT 4422807 SOS 710889 HAS SOPS 710889 HAS SOUS 653822 HAS SOUPS 653822 WITH SCORE 654532.889
AT ITER 2790 NEW BEST:: SOT 4422806 SOS 710887 HAS SOPS 710887 HAS SOUS 653820 HAS SOUPS 653820 WITH SCORE 654530.887
AT ITER 2817 NEW BEST:: SOT 4422772 SOS 710819 HAS SOPS 710819 HAS SOUS 653752 HAS SOUPS 653752 WITH SCORE 654462.819
AT ITER 2837 NEW BEST:: SOT 4422530 SOS 710335 HAS SOPS 710335 HAS SOUS 653117 HAS SOUPS 653117 WITH SCORE 653827.335
AT ITER 2842 NEW BEST:: SOT 4422485 SOS 710245 HAS SOPS 710245 HAS SOUS 653027 HAS SOUPS 653027 WITH SCORE 653737.245
AT ITER 2856 NEW BEST:: SOT 4422485 SOS 710205 HAS SOPS 710205 HAS SOUS 653027 HAS SOUPS 653027 WITH SCORE 653737.205
AT ITER 2859 NEW BEST:: SOT 4422420 SOS 710075 HAS SOPS 710075 HAS SOUS 652897 HAS SOUPS 652897 WITH SCORE 653607.075
AT ITER 2871 NEW BEST:: SOT 4422092 SOS 709419 HAS SOPS 709419 HAS SOUS 652241 HAS SOUPS 652241 WITH SCORE 652950.419
AT ITER 2876 NEW BEST:: SOT 4422020 SOS 709167 HAS SOPS 709167 HAS SOUS 651989 HAS SOUPS 651989 WITH SCORE 652698.167
AT ITER 2878 NEW BEST:: SOT 4422019 SOS 709165 HAS SOPS 709165 HAS SOUS 651987 HAS SOUPS 651987 WITH SCORE 652696.165
AT ITER 2886 NEW BEST:: SOT 4421931 SOS 708989 HAS SOPS 708989 HAS SOUS 651811 HAS SOUPS 651811 WITH SCORE 652519.989
AT ITER 2927 NEW BEST:: SOT 4421710 SOS 708547 HAS SOPS 708547 HAS SOUS 651369 HAS SOUPS 651369 WITH SCORE 652077.547
AT ITER 2930 NEW BEST:: SOT 4421708 SOS 708543 HAS SOPS 708543 HAS SOUS 651365 HAS SOUPS 651365 WITH SCORE 652073.543
AT ITER 2931 NEW BEST:: SOT 4421666 SOS 708501 HAS SOPS 708501 HAS SOUS 651323 HAS SOUPS 651323 WITH SCORE 652031.501
AT ITER 2952 NEW BEST:: SOT 4421564 SOS 708365 HAS SOPS 708365 HAS SOUS 651187 HAS SOUPS 651187 WITH SCORE 651895.365
AT ITER 2964 NEW BEST:: SOT 4421515 SOS 708267 HAS SOPS 708267 HAS SOUS 651138 HAS SOUPS 651138 WITH SCORE 651846.267
AT ITER 2970 NEW BEST:: SOT 4421331 SOS 707899 HAS SOPS 707899 HAS SOUS 650770 HAS SOUPS 650770 WITH SCORE 651477.899
AT ITER 2977 NEW BEST:: SOT 4421358 SOS 707845 HAS SOPS 707845 HAS SOUS 650770 HAS SOUPS 650770 WITH SCORE 651477.845
AT ITER 3031 NEW BEST:: SOT 4421323 SOS 707775 HAS SOPS 707775 HAS SOUS 650722 HAS SOUPS 650722 WITH SCORE 651429.775
AT ITER 3043 NEW BEST:: SOT 4421273 SOS 707675 HAS SOPS 707675 HAS SOUS 650721 HAS SOUPS 650721 WITH SCORE 651428.675
AT ITER 3044 NEW BEST:: SOT 4421084 SOS 707297 HAS SOPS 707297 HAS SOUS 650343 HAS SOUPS 650343 WITH SCORE 651050.297
AT ITER 3059 NEW BEST:: SOT 4421080 SOS 707289 HAS SOPS 707289 HAS SOUS 650335 HAS SOUPS 650335 WITH SCORE 651042.289
AT ITER 3062 NEW BEST:: SOT 4421080 SOS 707055 HAS SOPS 707055 HAS SOUS 650334 HAS SOUPS 650334 WITH SCORE 651041.055
AT ITER 3085 NEW BEST:: SOT 4421122 SOS 707139 HAS SOPS 707139 HAS SOUS 650291 HAS SOUPS 650291 WITH SCORE 650998.139
AT ITER 3093 NEW BEST:: SOT 4420946 SOS 706950 HAS SOPS 706950 HAS SOUS 650187 HAS SOUPS 650187 WITH SCORE 650893.95
AT ITER 3117 NEW BEST:: SOT 4420946 SOS 706883 HAS SOPS 706883 HAS SOUS 650120 HAS SOUPS 650120 WITH SCORE 650826.883
AT ITER 3124 NEW BEST:: SOT 4420661 SOS 706313 HAS SOPS 706313 HAS SOUS 649855 HAS SOUPS 649855 WITH SCORE 650561.313
AT ITER 3135 NEW BEST:: SOT 4420496 SOS 705983 HAS SOPS 705983 HAS SOUS 649525 HAS SOUPS 649525 WITH SCORE 650230.983
AT ITER 3149 NEW BEST:: SOT 4419908 SOS 705927 HAS SOPS 705927 HAS SOUS 649102 HAS SOUPS 649102 WITH SCORE 649807.927
AT ITER 3151 NEW BEST:: SOT 4419669 SOS 705794 HAS SOPS 705794 HAS SOUS 648716 HAS SOUPS 648716 WITH SCORE 649421.794
AT ITER 3153 NEW BEST:: SOT 4419656 SOS 705768 HAS SOPS 705768 HAS SOUS 648690 HAS SOUPS 648690 WITH SCORE 649395.768
AT ITER 3155 NEW BEST:: SOT 4419576 SOS 705848 HAS SOPS 705848 HAS SOUS 648610 HAS SOUPS 648610 WITH SCORE 649315.848
AT ITER 3176 NEW BEST:: SOT 4419575 SOS 705846 HAS SOPS 705846 HAS SOUS 648608 HAS SOUPS 648608 WITH SCORE 649313.846
AT ITER 3201 NEW BEST:: SOT 4419317 SOS 706496 HAS SOPS 706496 HAS SOUS 648484 HAS SOUPS 648484 WITH SCORE 649190.496
AT ITER 3214 NEW BEST:: SOT 4419195 SOS 706373 HAS SOPS 706373 HAS SOUS 648480 HAS SOUPS 648480 WITH SCORE 649186.373
AT ITER 3245 NEW BEST:: SOT 4419195 SOS 706373 HAS SOPS 706373 HAS SOUS 648346 HAS SOUPS 648346 WITH SCORE 649052.373
AT ITER 3258 NEW BEST:: SOT 4418929 SOS 706125 HAS SOPS 706125 HAS SOUS 648080 HAS SOUPS 648080 WITH SCORE 648786.125
AT ITER 3292 NEW BEST:: SOT 4418883 SOS 706033 HAS SOPS 706033 HAS SOUS 647988 HAS SOUPS 647988 WITH SCORE 648694.033
AT ITER 3344 NEW BEST:: SOT 4418883 SOS 705858 HAS SOPS 705858 HAS SOUS 647813 HAS SOUPS 647813 WITH SCORE 648518.858
AT ITER 3358 NEW BEST:: SOT 4418883 SOS 705858 HAS SOPS 705858 HAS SOUS 647659 HAS SOUPS 647659 WITH SCORE 648364.858
AT ITER 3366 NEW BEST:: SOT 4418764 SOS 705620 HAS SOPS 705620 HAS SOUS 647539 HAS SOUPS 647539 WITH SCORE 648244.62
AT ITER 3385 NEW BEST:: SOT 4418863 SOS 705818 HAS SOPS 705818 HAS SOUS 647484 HAS SOUPS 647484 WITH SCORE 648189.818
AT ITER 3399 NEW BEST:: SOT 4418862 SOS 705816 HAS SOPS 705816 HAS SOUS 647482 HAS SOUPS 647482 WITH SCORE 648187.816
AT ITER 3418 NEW BEST:: SOT 4418538 SOS 705660 HAS SOPS 705660 HAS SOUS 647326 HAS SOUPS 647326 WITH SCORE 648031.66
AT ITER 3477 NEW BEST:: SOT 4418537 SOS 705658 HAS SOPS 705658 HAS SOUS 647325 HAS SOUPS 647325 WITH SCORE 648030.658
AT ITER 3484 NEW BEST:: SOT 4418464 SOS 705585 HAS SOPS 705585 HAS SOUS 647252 HAS SOUPS 647252 WITH SCORE 647957.585
AT ITER 3491 NEW BEST:: SOT 4418430 SOS 704695 HAS SOPS 704695 HAS SOUS 646994 HAS SOUPS 646994 WITH SCORE 647698.695
AT ITER 3519 NEW BEST:: SOT 4418390 SOS 704655 HAS SOPS 704655 HAS SOUS 646954 HAS SOUPS 646954 WITH SCORE 647658.655
AT ITER 3537 NEW BEST:: SOT 4418173 SOS 704447 HAS SOPS 704447 HAS SOUS 646742 HAS SOUPS 646742 WITH SCORE 647446.447
AT ITER 3565 NEW BEST:: SOT 4417934 SOS 704123 HAS SOPS 704123 HAS SOUS 646377 HAS SOUPS 646377 WITH SCORE 647081.123
AT ITER 3586 NEW BEST:: SOT 4417632 SOS 703519 HAS SOPS 703519 HAS SOUS 645773 HAS SOUPS 645773 WITH SCORE 646476.519
AT ITER 3602 NEW BEST:: SOT 4417393 SOS 703299 HAS SOPS 703299 HAS SOUS 645534 HAS SOUPS 645534 WITH SCORE 646237.299
AT ITER 3606 NEW BEST:: SOT 4417199 SOS 703105 HAS SOPS 703105 HAS SOUS 645340 HAS SOUPS 645340 WITH SCORE 646043.105
AT ITER 3620 NEW BEST:: SOT 4417192 SOS 703091 HAS SOPS 703091 HAS SOUS 645326 HAS SOUPS 645326 WITH SCORE 646029.091
AT ITER 3626 NEW BEST:: SOT 4417076 SOS 703090 HAS SOPS 703090 HAS SOUS 645325 HAS SOUPS 645325 WITH SCORE 646028.09
AT ITER 3630 NEW BEST:: SOT 4416665 SOS 702746 HAS SOPS 702746 HAS SOUS 644845 HAS SOUPS 644845 WITH SCORE 645547.746
AT ITER 3640 NEW BEST:: SOT 4416361 SOS 702138 HAS SOPS 702138 HAS SOUS 644366 HAS SOUPS 644366 WITH SCORE 645068.138
AT ITER 3647 NEW BEST:: SOT 4416307 SOS 702030 HAS SOPS 702030 HAS SOUS 644258 HAS SOUPS 644258 WITH SCORE 644960.03
AT ITER 3655 NEW BEST:: SOT 4416069 SOS 701792 HAS SOPS 701792 HAS SOUS 643901 HAS SOUPS 643901 WITH SCORE 644602.792
AT ITER 3686 NEW BEST:: SOT 4416044 SOS 701784 HAS SOPS 701784 HAS SOUS 643893 HAS SOUPS 643893 WITH SCORE 644594.784
AT ITER 3690 NEW BEST:: SOT 4415972 SOS 701771 HAS SOPS 701771 HAS SOUS 643880 HAS SOUPS 643880 WITH SCORE 644581.771
AT ITER 3701 NEW BEST:: SOT 4415808 SOS 701800 HAS SOPS 701800 HAS SOUS 643750 HAS SOUPS 643750 WITH SCORE 644451.8
AT ITER 3702 NEW BEST:: SOT 4415687 SOS 701712 HAS SOPS 701712 HAS SOUS 643662 HAS SOUPS 643662 WITH SCORE 644363.712
AT ITER 3732 NEW BEST:: SOT 4415687 SOS 701687 HAS SOPS 701687 HAS SOUS 643637 HAS SOUPS 643637 WITH SCORE 644338.687
AT ITER 3759 NEW BEST:: SOT 4415687 SOS 701686 HAS SOPS 701686 HAS SOUS 643636 HAS SOUPS 643636 WITH SCORE 644337.686
AT ITER 3782 NEW BEST:: SOT 4415652 SOS 701667 HAS SOPS 701667 HAS SOUS 643617 HAS SOUPS 643617 WITH SCORE 644318.667
AT ITER 3783 NEW BEST:: SOT 4415674 SOS 701597 HAS SOPS 701597 HAS SOUS 643549 HAS SOUPS 643549 WITH SCORE 644250.597
AT ITER 3823 NEW BEST:: SOT 4415427 SOS 701102 HAS SOPS 701102 HAS SOUS 643054 HAS SOUPS 643054 WITH SCORE 643755.102
AT ITER 3835 NEW BEST:: SOT 4415325 SOS 701166 HAS SOPS 701166 HAS SOUS 642974 HAS SOUPS 642974 WITH SCORE 643675.166
AT ITER 3838 NEW BEST:: SOT 4415174 SOS 700511 HAS SOPS 700511 HAS SOUS 642515 HAS SOUPS 642515 WITH SCORE 643215.511
AT ITER 3842 NEW BEST:: SOT 4415292 SOS 700423 HAS SOPS 700423 HAS SOUS 642427 HAS SOUPS 642427 WITH SCORE 643127.423
AT ITER 3895 NEW BEST:: SOT 4414995 SOS 699829 HAS SOPS 699829 HAS SOUS 641685 HAS SOUPS 641685 WITH SCORE 642384.829
AT ITER 3899 NEW BEST:: SOT 4414995 SOS 699817 HAS SOPS 699817 HAS SOUS 641684 HAS SOUPS 641684 WITH SCORE 642383.817
AT ITER 3910 NEW BEST:: SOT 4414995 SOS 699413 HAS SOPS 699413 HAS SOUS 641280 HAS SOUPS 641280 WITH SCORE 641979.413
AT ITER 3941 NEW BEST:: SOT 4414995 SOS 699243 HAS SOPS 699243 HAS SOUS 641280 HAS SOUPS 641280 WITH SCORE 641979.243
AT ITER 3945 NEW BEST:: SOT 4414786 SOS 699175 HAS SOPS 699175 HAS SOUS 640884 HAS SOUPS 640884 WITH SCORE 641583.175
AT ITER 3951 NEW BEST:: SOT 4414725 SOS 699053 HAS SOPS 699053 HAS SOUS 640386 HAS SOUPS 640386 WITH SCORE 641085.053
AT ITER 3965 NEW BEST:: SOT 4414753 SOS 699109 HAS SOPS 699109 HAS SOUS 640354 HAS SOUPS 640354 WITH SCORE 641053.109
AT ITER 3989 NEW BEST:: SOT 4414495 SOS 699109 HAS SOPS 699109 HAS SOUS 640225 HAS SOUPS 640225 WITH SCORE 640924.109
AT ITER 4010 NEW BEST:: SOT 4414468 SOS 699124 HAS SOPS 699124 HAS SOUS 640220 HAS SOUPS 640220 WITH SCORE 640919.124
AT ITER 4023 NEW BEST:: SOT 4414382 SOS 698952 HAS SOPS 698952 HAS SOUS 640048 HAS SOUPS 640048 WITH SCORE 640746.952
AT ITER 4028 NEW BEST:: SOT 4414382 SOS 698739 HAS SOPS 698739 HAS SOUS 639835 HAS SOUPS 639835 WITH SCORE 640533.739
AT ITER 4042 NEW BEST:: SOT 4414286 SOS 698664 HAS SOPS 698664 HAS SOUS 639746 HAS SOUPS 639746 WITH SCORE 640444.664
AT ITER 4053 NEW BEST:: SOT 4414270 SOS 698632 HAS SOPS 698632 HAS SOUS 639714 HAS SOUPS 639714 WITH SCORE 640412.632
AT ITER 4068 NEW BEST:: SOT 4414312 SOS 698905 HAS SOPS 698905 HAS SOUS 639685 HAS SOUPS 639685 WITH SCORE 640383.905
AT ITER 4121 NEW BEST:: SOT 4414161 SOS 698603 HAS SOPS 698603 HAS SOUS 639383 HAS SOUPS 639383 WITH SCORE 640081.603
AT ITER 4131 NEW BEST:: SOT 4410526 SOS 704216 HAS SOPS 704216 HAS SOUS 636207 HAS SOUPS 636207 WITH SCORE 636911.216
AT ITER 4132 NEW BEST:: SOT 4410329 SOS 704083 HAS SOPS 704083 HAS SOUS 636010 HAS SOUPS 636010 WITH SCORE 636714.083
AT ITER 4214 NEW BEST:: SOT 4410185 SOS 703844 HAS SOPS 703844 HAS SOUS 635667 HAS SOUPS 635667 WITH SCORE 636370.844
AT ITER 4221 NEW BEST:: SOT 4409990 SOS 703454 HAS SOPS 703454 HAS SOUS 635472 HAS SOUPS 635472 WITH SCORE 636175.454
AT ITER 4239 NEW BEST:: SOT 4409960 SOS 703394 HAS SOPS 703394 HAS SOUS 635418 HAS SOUPS 635418 WITH SCORE 636121.394
AT ITER 4243 NEW BEST:: SOT 4410053 SOS 703580 HAS SOPS 703580 HAS SOUS 635287 HAS SOUPS 635287 WITH SCORE 635990.58
AT ITER 4253 NEW BEST:: SOT 4410052 SOS 703571 HAS SOPS 703571 HAS SOUS 635279 HAS SOUPS 635279 WITH SCORE 635982.571
AT ITER 4254 NEW BEST:: SOT 4409875 SOS 703217 HAS SOPS 703217 HAS SOUS 634925 HAS SOUPS 634925 WITH SCORE 635628.217
AT ITER 4280 NEW BEST:: SOT 4409820 SOS 703150 HAS SOPS 703150 HAS SOUS 634869 HAS SOUPS 634869 WITH SCORE 635572.15
AT ITER 4290 NEW BEST:: SOT 4409380 SOS 702836 HAS SOPS 702836 HAS SOUS 634229 HAS SOUPS 634229 WITH SCORE 634931.836
AT ITER 4315 NEW BEST:: SOT 4409285 SOS 702659 HAS SOPS 702659 HAS SOUS 634039 HAS SOUPS 634039 WITH SCORE 634741.659
AT ITER 4317 NEW BEST:: SOT 4409232 SOS 702553 HAS SOPS 702553 HAS SOUS 633933 HAS SOUPS 633933 WITH SCORE 634635.553
AT ITER 4318 NEW BEST:: SOT 4409232 SOS 702519 HAS SOPS 702519 HAS SOUS 633899 HAS SOUPS 633899 WITH SCORE 634601.519
AT ITER 4324 NEW BEST:: SOT 4409226 SOS 702517 HAS SOPS 702517 HAS SOUS 633893 HAS SOUPS 633893 WITH SCORE 634595.517
AT ITER 4367 NEW BEST:: SOT 4409181 SOS 702427 HAS SOPS 702427 HAS SOUS 633803 HAS SOUPS 633803 WITH SCORE 634505.427
AT ITER 4373 NEW BEST:: SOT 4408963 SOS 702351 HAS SOPS 702351 HAS SOUS 633675 HAS SOUPS 633675 WITH SCORE 634377.351
AT ITER 4432 NEW BEST:: SOT 4408864 SOS 702153 HAS SOPS 702153 HAS SOUS 633477 HAS SOUPS 633477 WITH SCORE 634179.153
AT ITER 4440 NEW BEST:: SOT 4408864 SOS 702152 HAS SOPS 702152 HAS SOUS 633476 HAS SOUPS 633476 WITH SCORE 634178.152
AT ITER 4493 NEW BEST:: SOT 4408766 SOS 701858 HAS SOPS 701858 HAS SOUS 633280 HAS SOUPS 633280 WITH SCORE 633981.858
AT ITER 4499 NEW BEST:: SOT 4408632 SOS 701724 HAS SOPS 701724 HAS SOUS 633012 HAS SOUPS 633012 WITH SCORE 633713.724
AT ITER 4525 NEW BEST:: SOT 4408631 SOS 701722 HAS SOPS 701722 HAS SOUS 633010 HAS SOUPS 633010 WITH SCORE 633711.722
AT ITER 4539 NEW BEST:: SOT 4408584 SOS 701965 HAS SOPS 701965 HAS SOUS 632963 HAS SOUPS 632963 WITH SCORE 633664.965
AT ITER 4541 NEW BEST:: SOT 4408563 SOS 701913 HAS SOPS 701913 HAS SOUS 632772 HAS SOUPS 632772 WITH SCORE 633473.913
AT ITER 4544 NEW BEST:: SOT 4408562 SOS 701911 HAS SOPS 701911 HAS SOUS 632770 HAS SOUPS 632770 WITH SCORE 633471.911
AT ITER 4579 NEW BEST:: SOT 4408460 SOS 701707 HAS SOPS 701707 HAS SOUS 632668 HAS SOUPS 632668 WITH SCORE 633369.707
AT ITER 4588 NEW BEST:: SOT 4408348 SOS 701727 HAS SOPS 701727 HAS SOUS 632567 HAS SOUPS 632567 WITH SCORE 633268.727
AT ITER 4596 NEW BEST:: SOT 4408421 SOS 701873 HAS SOPS 701873 HAS SOUS 632385 HAS SOUPS 632385 WITH SCORE 633086.873
AT ITER 4602 NEW BEST:: SOT 4408321 SOS 701673 HAS SOPS 701673 HAS SOUS 632285 HAS SOUPS 632285 WITH SCORE 632986.673
AT ITER 4629 NEW BEST:: SOT 4408355 SOS 701505 HAS SOPS 701505 HAS SOUS 632201 HAS SOUPS 632201 WITH SCORE 632902.505
AT ITER 4638 NEW BEST:: SOT 4408108 SOS 701275 HAS SOPS 701275 HAS SOUS 631962 HAS SOUPS 631962 WITH SCORE 632663.275
AT ITER 4655 NEW BEST:: SOT 4408264 SOS 701058 HAS SOPS 701058 HAS SOUS 631685 HAS SOUPS 631685 WITH SCORE 632386.058
AT ITER 4691 NEW BEST:: SOT 4408236 SOS 701002 HAS SOPS 701002 HAS SOUS 631629 HAS SOUPS 631629 WITH SCORE 632330.002
AT ITER 4730 NEW BEST:: SOT 4408236 SOS 701002 HAS SOPS 701002 HAS SOUS 631628 HAS SOUPS 631628 WITH SCORE 632329.002
AT ITER 4736 NEW BEST:: SOT 4408197 SOS 700963 HAS SOPS 700963 HAS SOUS 631589 HAS SOUPS 631589 WITH SCORE 632289.963
AT ITER 4737 NEW BEST:: SOT 4408011 SOS 700591 HAS SOPS 700591 HAS SOUS 631217 HAS SOUPS 631217 WITH SCORE 631917.591
AT ITER 4741 NEW BEST:: SOT 4407907 SOS 700265 HAS SOPS 700265 HAS SOUS 631009 HAS SOUPS 631009 WITH SCORE 631709.265
AT ITER 4747 NEW BEST:: SOT 4407880 SOS 700211 HAS SOPS 700211 HAS SOUS 630955 HAS SOUPS 630955 WITH SCORE 631655.211
AT ITER 4748 NEW BEST:: SOT 4407863 SOS 700177 HAS SOPS 700177 HAS SOUS 630921 HAS SOUPS 630921 WITH SCORE 631621.177
AT ITER 4758 NEW BEST:: SOT 4407863 SOS 700177 HAS SOPS 700177 HAS SOUS 630684 HAS SOUPS 630684 WITH SCORE 631384.177
AT ITER 4789 NEW BEST:: SOT 4407778 SOS 700007 HAS SOPS 700007 HAS SOUS 630514 HAS SOUPS 630514 WITH SCORE 631214.007
AT ITER 4803 NEW BEST:: SOT 4407777 SOS 700005 HAS SOPS 700005 HAS SOUS 630512 HAS SOUPS 630512 WITH SCORE 631212.005
AT ITER 4810 NEW BEST:: SOT 4407788 SOS 699487 HAS SOPS 699487 HAS SOUS 630253 HAS SOUPS 630253 WITH SCORE 630952.487
AT ITER 4825 NEW BEST:: SOT 4407624 SOS 699159 HAS SOPS 699159 HAS SOUS 629925 HAS SOUPS 629925 WITH SCORE 630624.159
AT ITER 4840 NEW BEST:: SOT 4407353 SOS 698141 HAS SOPS 698141 HAS SOUS 629362 HAS SOUPS 629362 WITH SCORE 630060.141
AT ITER 4866 NEW BEST:: SOT 4407353 SOS 698141 HAS SOPS 698141 HAS SOUS 629357 HAS SOUPS 629357 WITH SCORE 630055.141
AT ITER 4888 NEW BEST:: SOT 4407301 SOS 698037 HAS SOPS 698037 HAS SOUS 629253 HAS SOUPS 629253 WITH SCORE 629951.037
AT ITER 4889 NEW BEST:: SOT 4407176 SOS 698100 HAS SOPS 698100 HAS SOUS 629128 HAS SOUPS 629128 WITH SCORE 629826.1
AT ITER 4949 NEW BEST:: SOT 4406966 SOS 697680 HAS SOPS 697680 HAS SOUS 628903 HAS SOUPS 628903 WITH SCORE 629600.68
AT ITER 4950 NEW BEST:: SOT 4406674 SOS 697096 HAS SOPS 697096 HAS SOUS 628446 HAS SOUPS 628446 WITH SCORE 629143.096
AT ITER 4967 NEW BEST:: SOT 4406674 SOS 696978 HAS SOPS 696978 HAS SOUS 628387 HAS SOUPS 628387 WITH SCORE 629083.978
AT ITER 4985 NEW BEST:: SOT 4406362 SOS 696738 HAS SOPS 696738 HAS SOUS 628115 HAS SOUPS 628115 WITH SCORE 628811.738
AT ITER 5029 NEW BEST:: SOT 4406309 SOS 696772 HAS SOPS 696772 HAS SOUS 628071 HAS SOUPS 628071 WITH SCORE 628767.772
AT ITER 5082 NEW BEST:: SOT 4406424 SOS 696448 HAS SOPS 696448 HAS SOUS 627909 HAS SOUPS 627909 WITH SCORE 628605.448
AT ITER 5086 NEW BEST:: SOT 4406424 SOS 696448 HAS SOPS 696448 HAS SOUS 627902 HAS SOUPS 627902 WITH SCORE 628598.448
AT ITER 5120 NEW BEST:: SOT 4406280 SOS 695793 HAS SOPS 695793 HAS SOUS 627391 HAS SOUPS 627391 WITH SCORE 628086.793
AT ITER 5129 NEW BEST:: SOT 4405692 SOS 695009 HAS SOPS 695009 HAS SOUS 626607 HAS SOUPS 626607 WITH SCORE 627302.009
AT ITER 5137 NEW BEST:: SOT 4405672 SOS 695008 HAS SOPS 695008 HAS SOUS 626606 HAS SOUPS 626606 WITH SCORE 627301.008
AT ITER 5187 NEW BEST:: SOT 4405707 SOS 695037 HAS SOPS 695037 HAS SOUS 626600 HAS SOUPS 626600 WITH SCORE 627295.037
AT ITER 5194 NEW BEST:: SOT 4405681 SOS 694985 HAS SOPS 694985 HAS SOUS 626561 HAS SOUPS 626561 WITH SCORE 627255.985
AT ITER 5220 NEW BEST:: SOT 4405681 SOS 694889 HAS SOPS 694889 HAS SOUS 626560 HAS SOUPS 626560 WITH SCORE 627254.889
AT ITER 5222 NEW BEST:: SOT 4405637 SOS 694800 HAS SOPS 694800 HAS SOUS 626432 HAS SOUPS 626432 WITH SCORE 627126.8
AT ITER 5258 NEW BEST:: SOT 4405812 SOS 694677 HAS SOPS 694677 HAS SOUS 626361 HAS SOUPS 626361 WITH SCORE 627055.677
AT ITER 5259 NEW BEST:: SOT 4405474 SOS 694001 HAS SOPS 694001 HAS SOUS 625824 HAS SOUPS 625824 WITH SCORE 626518.001
AT ITER 5264 NEW BEST:: SOT 4405278 SOS 693363 HAS SOPS 693363 HAS SOUS 625186 HAS SOUPS 625186 WITH SCORE 625879.363
AT ITER 5277 NEW BEST:: SOT 4405173 SOS 693153 HAS SOPS 693153 HAS SOUS 625080 HAS SOUPS 625080 WITH SCORE 625773.153
AT ITER 5287 NEW BEST:: SOT 4404974 SOS 693327 HAS SOPS 693327 HAS SOUS 624999 HAS SOUPS 624999 WITH SCORE 625692.327
AT ITER 5306 NEW BEST:: SOT 4404899 SOS 693177 HAS SOPS 693177 HAS SOUS 624968 HAS SOUPS 624968 WITH SCORE 625661.177
AT ITER 5313 NEW BEST:: SOT 4404839 SOS 693191 HAS SOPS 693191 HAS SOUS 624913 HAS SOUPS 624913 WITH SCORE 625606.191
AT ITER 5359 NEW BEST:: SOT 4404839 SOS 693075 HAS SOPS 693075 HAS SOUS 624913 HAS SOUPS 624913 WITH SCORE 625606.075
AT ITER 5371 NEW BEST:: SOT 4404958 SOS 693006 HAS SOPS 693006 HAS SOUS 624844 HAS SOUPS 624844 WITH SCORE 625537.006
AT ITER 5382 NEW BEST:: SOT 4404908 SOS 692906 HAS SOPS 692906 HAS SOUS 624794 HAS SOUPS 624794 WITH SCORE 625486.906
AT ITER 5410 NEW BEST:: SOT 4404965 SOS 693020 HAS SOPS 693020 HAS SOUS 624628 HAS SOUPS 624628 WITH SCORE 625321.02
AT ITER 5421 NEW BEST:: SOT 4404709 SOS 692508 HAS SOPS 692508 HAS SOUS 624116 HAS SOUPS 624116 WITH SCORE 624808.508
AT ITER 5429 NEW BEST:: SOT 4404606 SOS 692312 HAS SOPS 692312 HAS SOUS 624013 HAS SOUPS 624013 WITH SCORE 624705.312
AT ITER 5528 NEW BEST:: SOT 4404655 SOS 692410 HAS SOPS 692410 HAS SOUS 623981 HAS SOUPS 623981 WITH SCORE 624673.41
AT ITER 5551 NEW BEST:: SOT 4404642 SOS 692384 HAS SOPS 692384 HAS SOUS 623955 HAS SOUPS 623955 WITH SCORE 624647.384
AT ITER 5556 NEW BEST:: SOT 4404673 SOS 692446 HAS SOPS 692446 HAS SOUS 623884 HAS SOUPS 623884 WITH SCORE 624576.446
AT ITER 5572 NEW BEST:: SOT 4404662 SOS 692405 HAS SOPS 692405 HAS SOUS 623862 HAS SOUPS 623862 WITH SCORE 624554.405
AT ITER 5577 NEW BEST:: SOT 4404489 SOS 693923 HAS SOPS 693923 HAS SOUS 623698 HAS SOUPS 623698 WITH SCORE 624391.923
AT ITER 5581 NEW BEST:: SOT 4404261 SOS 693653 HAS SOPS 693653 HAS SOUS 623291 HAS SOUPS 623291 WITH SCORE 623984.653
AT ITER 5600 NEW BEST:: SOT 4403663 SOS 693981 HAS SOPS 693981 HAS SOUS 622602 HAS SOUPS 622602 WITH SCORE 623295.981
AT ITER 5601 NEW BEST:: SOT 4403601 SOS 693857 HAS SOPS 693857 HAS SOUS 622539 HAS SOUPS 622539 WITH SCORE 623232.857
AT ITER 5607 NEW BEST:: SOT 4403562 SOS 693779 HAS SOPS 693779 HAS SOUS 622401 HAS SOUPS 622401 WITH SCORE 623094.779
AT ITER 5612 NEW BEST:: SOT 4403562 SOS 693779 HAS SOPS 693779 HAS SOUS 622348 HAS SOUPS 622348 WITH SCORE 623041.779
AT ITER 5622 NEW BEST:: SOT 4403562 SOS 693778 HAS SOPS 693778 HAS SOUS 622347 HAS SOUPS 622347 WITH SCORE 623040.778
AT ITER 5624 NEW BEST:: SOT 4403530 SOS 693714 HAS SOPS 693714 HAS SOUS 622283 HAS SOUPS 622283 WITH SCORE 622976.714
AT ITER 5628 NEW BEST:: SOT 4402891 SOS 693588 HAS SOPS 693588 HAS SOUS 621695 HAS SOUPS 621695 WITH SCORE 622388.588
AT ITER 5629 NEW BEST:: SOT 4402737 SOS 693511 HAS SOPS 693511 HAS SOUS 621541 HAS SOUPS 621541 WITH SCORE 622234.511
AT ITER 5631 NEW BEST:: SOT 4402718 SOS 693473 HAS SOPS 693473 HAS SOUS 621503 HAS SOUPS 621503 WITH SCORE 622196.473
AT ITER 5637 NEW BEST:: SOT 4403071 SOS 693470 HAS SOPS 693470 HAS SOUS 621441 HAS SOUPS 621441 WITH SCORE 622134.47
AT ITER 5642 NEW BEST:: SOT 4403071 SOS 693470 HAS SOPS 693470 HAS SOUS 621439 HAS SOUPS 621439 WITH SCORE 622132.47
AT ITER 5714 NEW BEST:: SOT 4403062 SOS 693426 HAS SOPS 693426 HAS SOUS 621421 HAS SOUPS 621421 WITH SCORE 622114.426
AT ITER 5721 NEW BEST:: SOT 4403044 SOS 693450 HAS SOPS 693450 HAS SOUS 621402 HAS SOUPS 621402 WITH SCORE 622095.45
AT ITER 5733 NEW BEST:: SOT 4402998 SOS 693358 HAS SOPS 693358 HAS SOUS 621310 HAS SOUPS 621310 WITH SCORE 622003.358
AT ITER 5746 NEW BEST:: SOT 4402930 SOS 693290 HAS SOPS 693290 HAS SOUS 621242 HAS SOUPS 621242 WITH SCORE 621935.29
AT ITER 5751 NEW BEST:: SOT 4402660 SOS 692750 HAS SOPS 692750 HAS SOUS 621193 HAS SOUPS 621193 WITH SCORE 621885.75
AT ITER 5766 NEW BEST:: SOT 4402635 SOS 692700 HAS SOPS 692700 HAS SOUS 621168 HAS SOUPS 621168 WITH SCORE 621860.7
AT ITER 5804 NEW BEST:: SOT 4402635 SOS 692700 HAS SOPS 692700 HAS SOUS 621143 HAS SOUPS 621143 WITH SCORE 621835.7
AT ITER 5808 NEW BEST:: SOT 4402728 SOS 692675 HAS SOPS 692675 HAS SOUS 621118 HAS SOUPS 621118 WITH SCORE 621810.675
AT ITER 5809 NEW BEST:: SOT 4402719 SOS 693185 HAS SOPS 693185 HAS SOUS 621109 HAS SOUPS 621109 WITH SCORE 621802.185
AT ITER 5830 NEW BEST:: SOT 4402667 SOS 693189 HAS SOPS 693189 HAS SOUS 621059 HAS SOUPS 621059 WITH SCORE 621752.189
AT ITER 5833 NEW BEST:: SOT 4402342 SOS 693069 HAS SOPS 693069 HAS SOUS 620664 HAS SOUPS 620664 WITH SCORE 621357.069
AT ITER 5848 NEW BEST:: SOT 4402185 SOS 693054 HAS SOPS 693054 HAS SOUS 620466 HAS SOUPS 620466 WITH SCORE 621159.054
AT ITER 5874 NEW BEST:: SOT 4402170 SOS 693024 HAS SOPS 693024 HAS SOUS 620436 HAS SOUPS 620436 WITH SCORE 621129.024
AT ITER 5893 NEW BEST:: SOT 4402067 SOS 692818 HAS SOPS 692818 HAS SOUS 620413 HAS SOUPS 620413 WITH SCORE 621105.818
AT ITER 5921 NEW BEST:: SOT 4402210 SOS 693104 HAS SOPS 693104 HAS SOUS 620355 HAS SOUPS 620355 WITH SCORE 621048.104
AT ITER 5949 NEW BEST:: SOT 4401923 SOS 692633 HAS SOPS 692633 HAS SOUS 620176 HAS SOUPS 620176 WITH SCORE 620868.633
AT ITER 5979 NEW BEST:: SOT 4401911 SOS 692609 HAS SOPS 692609 HAS SOUS 620152 HAS SOUPS 620152 WITH SCORE 620844.609
AT ITER 5994 NEW BEST:: SOT 4402032 SOS 692459 HAS SOPS 692459 HAS SOUS 620002 HAS SOUPS 620002 WITH SCORE 620694.459
AT ITER 6029 NEW BEST:: SOT 4401925 SOS 692245 HAS SOPS 692245 HAS SOUS 619760 HAS SOUPS 619760 WITH SCORE 620452.245
AT ITER 6047 NEW BEST:: SOT 4401826 SOS 692047 HAS SOPS 692047 HAS SOUS 619562 HAS SOUPS 619562 WITH SCORE 620254.047
AT ITER 6061 NEW BEST:: SOT 4401823 SOS 692041 HAS SOPS 692041 HAS SOUS 619559 HAS SOUPS 619559 WITH SCORE 620251.041
AT ITER 6094 NEW BEST:: SOT 4401681 SOS 691873 HAS SOPS 691873 HAS SOUS 619558 HAS SOUPS 619558 WITH SCORE 620249.873
AT ITER 6101 NEW BEST:: SOT 4401620 SOS 691953 HAS SOPS 691953 HAS SOUS 619547 HAS SOUPS 619547 WITH SCORE 620238.953
AT ITER 6108 NEW BEST:: SOT 4401409 SOS 691812 HAS SOPS 691812 HAS SOUS 619352 HAS SOUPS 619352 WITH SCORE 620043.812
AT ITER 6111 NEW BEST:: SOT 4401362 SOS 691671 HAS SOPS 691671 HAS SOUS 619258 HAS SOUPS 619258 WITH SCORE 619949.671
AT ITER 6123 NEW BEST:: SOT 4401070 SOS 691233 HAS SOPS 691233 HAS SOUS 618820 HAS SOUPS 618820 WITH SCORE 619511.233
AT ITER 6127 NEW BEST:: SOT 4400936 SOS 691119 HAS SOPS 691119 HAS SOUS 618706 HAS SOUPS 618706 WITH SCORE 619397.119
AT ITER 6147 NEW BEST:: SOT 4400878 SOS 691003 HAS SOPS 691003 HAS SOUS 618590 HAS SOUPS 618590 WITH SCORE 619281.003
AT ITER 6150 NEW BEST:: SOT 4400863 SOS 690973 HAS SOPS 690973 HAS SOUS 618560 HAS SOUPS 618560 WITH SCORE 619250.973
AT ITER 6175 NEW BEST:: SOT 4400861 SOS 690969 HAS SOPS 690969 HAS SOUS 618556 HAS SOUPS 618556 WITH SCORE 619246.969
AT ITER 6195 NEW BEST:: SOT 4400976 SOS 690833 HAS SOPS 690833 HAS SOUS 618420 HAS SOUPS 618420 WITH SCORE 619110.833
AT ITER 6203 NEW BEST:: SOT 4400735 SOS 690351 HAS SOPS 690351 HAS SOUS 617938 HAS SOUPS 617938 WITH SCORE 618628.351
AT ITER 6214 NEW BEST:: SOT 4400950 SOS 689855 HAS SOPS 689855 HAS SOUS 617442 HAS SOUPS 617442 WITH SCORE 618131.855
AT ITER 6226 NEW BEST:: SOT 4400952 SOS 689859 HAS SOPS 689859 HAS SOUS 617306 HAS SOUPS 617306 WITH SCORE 617995.859
AT ITER 6247 NEW BEST:: SOT 4400951 SOS 689915 HAS SOPS 689915 HAS SOUS 617304 HAS SOUPS 617304 WITH SCORE 617993.915
AT ITER 6260 NEW BEST:: SOT 4400951 SOS 689915 HAS SOPS 689915 HAS SOUS 617302 HAS SOUPS 617302 WITH SCORE 617991.915
AT ITER 6271 NEW BEST:: SOT 4400766 SOS 689545 HAS SOPS 689545 HAS SOUS 616932 HAS SOUPS 616932 WITH SCORE 617621.545
AT ITER 6288 NEW BEST:: SOT 4400703 SOS 689482 HAS SOPS 689482 HAS SOUS 616806 HAS SOUPS 616806 WITH SCORE 617495.482
AT ITER 6364 NEW BEST:: SOT 4400586 SOS 689248 HAS SOPS 689248 HAS SOUS 616716 HAS SOUPS 616716 WITH SCORE 617405.248
AT ITER 6442 NEW BEST:: SOT 4400372 SOS 688820 HAS SOPS 688820 HAS SOUS 616322 HAS SOUPS 616322 WITH SCORE 617010.82
AT ITER 6447 NEW BEST:: SOT 4400372 SOS 688727 HAS SOPS 688727 HAS SOUS 616322 HAS SOUPS 616322 WITH SCORE 617010.727
AT ITER 6454 NEW BEST:: SOT 4400297 SOS 688577 HAS SOPS 688577 HAS SOUS 616177 HAS SOUPS 616177 WITH SCORE 616865.577
AT ITER 6470 NEW BEST:: SOT 4400214 SOS 688616 HAS SOPS 688616 HAS SOUS 616094 HAS SOUPS 616094 WITH SCORE 616782.616
AT ITER 6472 NEW BEST:: SOT 4400155 SOS 688234 HAS SOPS 688234 HAS SOUS 615712 HAS SOUPS 615712 WITH SCORE 616400.234
AT ITER 6487 NEW BEST:: SOT 4400152 SOS 688228 HAS SOPS 688228 HAS SOUS 615706 HAS SOUPS 615706 WITH SCORE 616394.228
AT ITER 6495 NEW BEST:: SOT 4400115 SOS 688075 HAS SOPS 688075 HAS SOUS 615401 HAS SOUPS 615401 WITH SCORE 616089.075
AT ITER 6524 NEW BEST:: SOT 4400031 SOS 687907 HAS SOPS 687907 HAS SOUS 615233 HAS SOUPS 615233 WITH SCORE 615920.907
AT ITER 6543 NEW BEST:: SOT 4399850 SOS 687545 HAS SOPS 687545 HAS SOUS 614871 HAS SOUPS 614871 WITH SCORE 615558.545
AT ITER 6553 NEW BEST:: SOT 4399850 SOS 687545 HAS SOPS 687545 HAS SOUS 614810 HAS SOUPS 614810 WITH SCORE 615497.545
AT ITER 6594 NEW BEST:: SOT 4399839 SOS 687523 HAS SOPS 687523 HAS SOUS 614788 HAS SOUPS 614788 WITH SCORE 615475.523
AT ITER 6616 NEW BEST:: SOT 4399839 SOS 687523 HAS SOPS 687523 HAS SOUS 614549 HAS SOUPS 614549 WITH SCORE 615236.523
AT ITER 6629 NEW BEST:: SOT 4399771 SOS 687455 HAS SOPS 687455 HAS SOUS 614481 HAS SOUPS 614481 WITH SCORE 615168.455
AT ITER 6676 NEW BEST:: SOT 4399812 SOS 687436 HAS SOPS 687436 HAS SOUS 614461 HAS SOUPS 614461 WITH SCORE 615148.436
AT ITER 6689 NEW BEST:: SOT 4399812 SOS 687436 HAS SOPS 687436 HAS SOUS 614458 HAS SOUPS 614458 WITH SCORE 615145.436
AT ITER 6724 NEW BEST:: SOT 4399768 SOS 687459 HAS SOPS 687459 HAS SOUS 614451 HAS SOUPS 614451 WITH SCORE 615138.459
AT ITER 6728 NEW BEST:: SOT 4399635 SOS 687193 HAS SOPS 687193 HAS SOUS 614185 HAS SOUPS 614185 WITH SCORE 614872.193
AT ITER 6747 NEW BEST:: SOT 4399635 SOS 687188 HAS SOPS 687188 HAS SOUS 614185 HAS SOUPS 614185 WITH SCORE 614872.188
AT ITER 6761 NEW BEST:: SOT 4399682 SOS 687133 HAS SOPS 687133 HAS SOUS 614175 HAS SOUPS 614175 WITH SCORE 614862.133
AT ITER 6768 NEW BEST:: SOT 4399622 SOS 687013 HAS SOPS 687013 HAS SOUS 614115 HAS SOUPS 614115 WITH SCORE 614802.013
AT ITER 6782 NEW BEST:: SOT 4399582 SOS 686868 HAS SOPS 686868 HAS SOUS 614035 HAS SOUPS 614035 WITH SCORE 614721.868
AT ITER 6794 NEW BEST:: SOT 4399553 SOS 686397 HAS SOPS 686397 HAS SOUS 613947 HAS SOUPS 613947 WITH SCORE 614633.397
AT ITER 6797 NEW BEST:: SOT 4399475 SOS 686241 HAS SOPS 686241 HAS SOUS 613791 HAS SOUPS 613791 WITH SCORE 614477.241
AT ITER 6809 NEW BEST:: SOT 4399395 SOS 686081 HAS SOPS 686081 HAS SOUS 613631 HAS SOUPS 613631 WITH SCORE 614317.081
AT ITER 6824 NEW BEST:: SOT 4399296 SOS 685949 HAS SOPS 685949 HAS SOUS 613499 HAS SOUPS 613499 WITH SCORE 614184.949
AT ITER 6936 NEW BEST:: SOT 4399248 SOS 685666 HAS SOPS 685666 HAS SOUS 613266 HAS SOUPS 613266 WITH SCORE 613951.666
AT ITER 6951 NEW BEST:: SOT 4399271 SOS 685235 HAS SOPS 685235 HAS SOUS 612812 HAS SOUPS 612812 WITH SCORE 613497.235
AT ITER 6959 NEW BEST:: SOT 4399255 SOS 685219 HAS SOPS 685219 HAS SOUS 612780 HAS SOUPS 612780 WITH SCORE 613465.219
AT ITER 6989 NEW BEST:: SOT 4399255 SOS 685219 HAS SOPS 685219 HAS SOUS 612773 HAS SOUPS 612773 WITH SCORE 613458.219
AT ITER 6993 NEW BEST:: SOT 4399330 SOS 685794 HAS SOPS 685794 HAS SOUS 612746 HAS SOUPS 612746 WITH SCORE 613431.794
AT ITER 6999 NEW BEST:: SOT 4399279 SOS 685692 HAS SOPS 685692 HAS SOUS 612644 HAS SOUPS 612644 WITH SCORE 613329.692
AT ITER 7023 NEW BEST:: SOT 4398917 SOS 691478 HAS SOPS 691478 HAS SOUS 612583 HAS SOUPS 612583 WITH SCORE 613274.478
AT ITER 7024 NEW BEST:: SOT 4399061 SOS 691307 HAS SOPS 691307 HAS SOUS 612270 HAS SOUPS 612270 WITH SCORE 612961.307
AT ITER 7072 NEW BEST:: SOT 4398964 SOS 691113 HAS SOPS 691113 HAS SOUS 612076 HAS SOUPS 612076 WITH SCORE 612767.113
AT ITER 7109 NEW BEST:: SOT 4398957 SOS 691132 HAS SOPS 691132 HAS SOUS 612035 HAS SOUPS 612035 WITH SCORE 612726.132
AT ITER 7121 NEW BEST:: SOT 4398927 SOS 691146 HAS SOPS 691146 HAS SOUS 612005 HAS SOUPS 612005 WITH SCORE 612696.146
AT ITER 7132 NEW BEST:: SOT 4398653 SOS 690598 HAS SOPS 690598 HAS SOUS 611594 HAS SOUPS 611594 WITH SCORE 612284.598
AT ITER 7156 NEW BEST:: SOT 4398458 SOS 690208 HAS SOPS 690208 HAS SOUS 611399 HAS SOUPS 611399 WITH SCORE 612089.208
AT ITER 7159 NEW BEST:: SOT 4397918 SOS 689420 HAS SOPS 689420 HAS SOUS 610567 HAS SOUPS 610567 WITH SCORE 611256.42
AT ITER 7171 NEW BEST:: SOT 4397788 SOS 689160 HAS SOPS 689160 HAS SOUS 610242 HAS SOUPS 610242 WITH SCORE 610931.16
AT ITER 7181 NEW BEST:: SOT 4397767 SOS 689118 HAS SOPS 689118 HAS SOUS 610192 HAS SOUPS 610192 WITH SCORE 610881.118
AT ITER 7183 NEW BEST:: SOT 4397767 SOS 689014 HAS SOPS 689014 HAS SOUS 610192 HAS SOUPS 610192 WITH SCORE 610881.014
AT ITER 7184 NEW BEST:: SOT 4397681 SOS 689044 HAS SOPS 689044 HAS SOUS 610113 HAS SOUPS 610113 WITH SCORE 610802.044
AT ITER 7185 NEW BEST:: SOT 4397680 SOS 689030 HAS SOPS 689030 HAS SOUS 610099 HAS SOUPS 610099 WITH SCORE 610788.03
AT ITER 7188 NEW BEST:: SOT 4397672 SOS 689006 HAS SOPS 689006 HAS SOUS 610083 HAS SOUPS 610083 WITH SCORE 610772.006
AT ITER 7189 NEW BEST:: SOT 4397274 SOS 688866 HAS SOPS 688866 HAS SOUS 609815 HAS SOUPS 609815 WITH SCORE 610503.866
AT ITER 7199 NEW BEST:: SOT 4397015 SOS 688700 HAS SOPS 688700 HAS SOUS 609354 HAS SOUPS 609354 WITH SCORE 610042.7
AT ITER 7211 NEW BEST:: SOT 4397015 SOS 688646 HAS SOPS 688646 HAS SOUS 609300 HAS SOUPS 609300 WITH SCORE 609988.646
AT ITER 7217 NEW BEST:: SOT 4396791 SOS 688198 HAS SOPS 688198 HAS SOUS 609027 HAS SOUPS 609027 WITH SCORE 609715.198
AT ITER 7284 NEW BEST:: SOT 4396765 SOS 688146 HAS SOPS 688146 HAS SOUS 608975 HAS SOUPS 608975 WITH SCORE 609663.146
AT ITER 7289 NEW BEST:: SOT 4396482 SOS 687940 HAS SOPS 687940 HAS SOUS 608769 HAS SOUPS 608769 WITH SCORE 609456.94
AT ITER 7290 NEW BEST:: SOT 4396044 SOS 687338 HAS SOPS 687338 HAS SOUS 608125 HAS SOUPS 608125 WITH SCORE 608812.338
AT ITER 7328 NEW BEST:: SOT 4396024 SOS 687298 HAS SOPS 687298 HAS SOUS 608085 HAS SOUPS 608085 WITH SCORE 608772.298
AT ITER 7342 NEW BEST:: SOT 4396039 SOS 686856 HAS SOPS 686856 HAS SOUS 607879 HAS SOUPS 607879 WITH SCORE 608565.856
AT ITER 7385 NEW BEST:: SOT 4396039 SOS 686856 HAS SOPS 686856 HAS SOUS 607747 HAS SOUPS 607747 WITH SCORE 608433.856
AT ITER 7408 NEW BEST:: SOT 4395812 SOS 686553 HAS SOPS 686553 HAS SOUS 607444 HAS SOUPS 607444 WITH SCORE 608130.553
AT ITER 7420 NEW BEST:: SOT 4395812 SOS 686553 HAS SOPS 686553 HAS SOUS 607387 HAS SOUPS 607387 WITH SCORE 608073.553
AT ITER 7424 NEW BEST:: SOT 4395741 SOS 686411 HAS SOPS 686411 HAS SOUS 607316 HAS SOUPS 607316 WITH SCORE 608002.411
AT ITER 7425 NEW BEST:: SOT 4395732 SOS 685525 HAS SOPS 685525 HAS SOUS 607260 HAS SOUPS 607260 WITH SCORE 607945.525
AT ITER 7428 NEW BEST:: SOT 4395439 SOS 685056 HAS SOPS 685056 HAS SOUS 606982 HAS SOUPS 606982 WITH SCORE 607667.056
AT ITER 7457 NEW BEST:: SOT 4395439 SOS 685206 HAS SOPS 685206 HAS SOUS 606832 HAS SOUPS 606832 WITH SCORE 607517.206
AT ITER 7523 NEW BEST:: SOT 4395412 SOS 685231 HAS SOPS 685231 HAS SOUS 606805 HAS SOUPS 606805 WITH SCORE 607490.231
AT ITER 7569 NEW BEST:: SOT 4395424 SOS 685254 HAS SOPS 685254 HAS SOUS 606786 HAS SOUPS 606786 WITH SCORE 607471.254
AT ITER 7574 NEW BEST:: SOT 4395424 SOS 685130 HAS SOPS 685130 HAS SOUS 606729 HAS SOUPS 606729 WITH SCORE 607414.13
AT ITER 7591 NEW BEST:: SOT 4395387 SOS 685093 HAS SOPS 685093 HAS SOUS 606692 HAS SOUPS 606692 WITH SCORE 607377.093
AT ITER 7594 NEW BEST:: SOT 4395313 SOS 684945 HAS SOPS 684945 HAS SOUS 606617 HAS SOUPS 606617 WITH SCORE 607301.945
AT ITER 7596 NEW BEST:: SOT 4395128 SOS 684575 HAS SOPS 684575 HAS SOUS 606299 HAS SOUPS 606299 WITH SCORE 606983.575
AT ITER 7626 NEW BEST:: SOT 4395063 SOS 684445 HAS SOPS 684445 HAS SOUS 606169 HAS SOUPS 606169 WITH SCORE 606853.445
AT ITER 7629 NEW BEST:: SOT 4395063 SOS 684349 HAS SOPS 684349 HAS SOUS 606169 HAS SOUPS 606169 WITH SCORE 606853.349
AT ITER 7636 NEW BEST:: SOT 4395046 SOS 684332 HAS SOPS 684332 HAS SOUS 606169 HAS SOUPS 606169 WITH SCORE 606853.332
AT ITER 7695 NEW BEST:: SOT 4395030 SOS 684411 HAS SOPS 684411 HAS SOUS 606153 HAS SOUPS 606153 WITH SCORE 606837.411
AT ITER 7707 NEW BEST:: SOT 4394934 SOS 684591 HAS SOPS 684591 HAS SOUS 606102 HAS SOUPS 606102 WITH SCORE 606786.591
AT ITER 7747 NEW BEST:: SOT 4394980 SOS 684372 HAS SOPS 684372 HAS SOUS 606062 HAS SOUPS 606062 WITH SCORE 606746.372
AT ITER 7764 NEW BEST:: SOT 4394980 SOS 684242 HAS SOPS 684242 HAS SOUS 606062 HAS SOUPS 606062 WITH SCORE 606746.242
AT ITER 7810 NEW BEST:: SOT 4394980 SOS 684206 HAS SOPS 684206 HAS SOUS 606026 HAS SOUPS 606026 WITH SCORE 606710.206
AT ITER 7818 NEW BEST:: SOT 4394980 SOS 684206 HAS SOPS 684206 HAS SOUS 606017 HAS SOUPS 606017 WITH SCORE 606701.206
AT ITER 7870 NEW BEST:: SOT 4394867 SOS 683754 HAS SOPS 683754 HAS SOUS 605791 HAS SOUPS 605791 WITH SCORE 606474.754
AT ITER 7897 NEW BEST:: SOT 4394867 SOS 683754 HAS SOPS 683754 HAS SOUS 605574 HAS SOUPS 605574 WITH SCORE 606257.754
AT ITER 7932 NEW BEST:: SOT 4394805 SOS 683703 HAS SOPS 683703 HAS SOUS 605523 HAS SOUPS 605523 WITH SCORE 606206.703
AT ITER 7933 NEW BEST:: SOT 4394805 SOS 683498 HAS SOPS 683498 HAS SOUS 605318 HAS SOUPS 605318 WITH SCORE 606001.498
AT ITER 7975 NEW BEST:: SOT 4394747 SOS 683382 HAS SOPS 683382 HAS SOUS 605260 HAS SOUPS 605260 WITH SCORE 605943.382
AT ITER 7979 NEW BEST:: SOT 4394881 SOS 683495 HAS SOPS 683495 HAS SOUS 605249 HAS SOUPS 605249 WITH SCORE 605932.495
AT ITER 7981 NEW BEST:: SOT 4394812 SOS 683542 HAS SOPS 683542 HAS SOUS 605180 HAS SOUPS 605180 WITH SCORE 605863.542
AT ITER 7986 NEW BEST:: SOT 4394806 SOS 683536 HAS SOPS 683536 HAS SOUS 605174 HAS SOUPS 605174 WITH SCORE 605857.536
AT ITER 8011 NEW BEST:: SOT 4394750 SOS 683424 HAS SOPS 683424 HAS SOUS 605062 HAS SOUPS 605062 WITH SCORE 605745.424
AT ITER 8037 NEW BEST:: SOT 4394703 SOS 683545 HAS SOPS 683545 HAS SOUS 605015 HAS SOUPS 605015 WITH SCORE 605698.545
AT ITER 8039 NEW BEST:: SOT 4394591 SOS 683433 HAS SOPS 683433 HAS SOUS 604903 HAS SOUPS 604903 WITH SCORE 605586.433
AT ITER 8049 NEW BEST:: SOT 4394591 SOS 683433 HAS SOPS 683433 HAS SOUS 604806 HAS SOUPS 604806 WITH SCORE 605489.433
AT ITER 8126 NEW BEST:: SOT 4394548 SOS 683347 HAS SOPS 683347 HAS SOUS 604805 HAS SOUPS 604805 WITH SCORE 605488.347
AT ITER 8132 NEW BEST:: SOT 4394450 SOS 683151 HAS SOPS 683151 HAS SOUS 604609 HAS SOUPS 604609 WITH SCORE 605292.151
AT ITER 8153 NEW BEST:: SOT 4393909 SOS 682069 HAS SOPS 682069 HAS SOUS 603527 HAS SOUPS 603527 WITH SCORE 604209.069
AT ITER 8180 NEW BEST:: SOT 4393870 SOS 681991 HAS SOPS 681991 HAS SOUS 603449 HAS SOUPS 603449 WITH SCORE 604130.991
AT ITER 8203 NEW BEST:: SOT 4393887 SOS 681957 HAS SOPS 681957 HAS SOUS 603449 HAS SOUPS 603449 WITH SCORE 604130.957
AT ITER 8225 NEW BEST:: SOT 4393823 SOS 681829 HAS SOPS 681829 HAS SOUS 603321 HAS SOUPS 603321 WITH SCORE 604002.829
AT ITER 8257 NEW BEST:: SOT 4393746 SOS 681675 HAS SOPS 681675 HAS SOUS 603179 HAS SOUPS 603179 WITH SCORE 603860.675
AT ITER 8284 NEW BEST:: SOT 4393504 SOS 681191 HAS SOPS 681191 HAS SOUS 602975 HAS SOUPS 602975 WITH SCORE 603656.191
AT ITER 8289 NEW BEST:: SOT 4393594 SOS 681176 HAS SOPS 681176 HAS SOUS 602961 HAS SOUPS 602961 WITH SCORE 603642.176
AT ITER 8294 NEW BEST:: SOT 4393532 SOS 681134 HAS SOPS 681134 HAS SOUS 602837 HAS SOUPS 602837 WITH SCORE 603518.134
AT ITER 8323 NEW BEST:: SOT 4393531 SOS 681090 HAS SOPS 681090 HAS SOUS 602824 HAS SOUPS 602824 WITH SCORE 603505.09
AT ITER 8396 NEW BEST:: SOT 4393506 SOS 680752 HAS SOPS 680752 HAS SOUS 602799 HAS SOUPS 602799 WITH SCORE 603479.752
AT ITER 8397 NEW BEST:: SOT 4393629 SOS 680575 HAS SOPS 680575 HAS SOUS 602641 HAS SOUPS 602641 WITH SCORE 603321.575
AT ITER 8408 NEW BEST:: SOT 4393629 SOS 680575 HAS SOPS 680575 HAS SOUS 602540 HAS SOUPS 602540 WITH SCORE 603220.575
AT ITER 8419 NEW BEST:: SOT 4393424 SOS 680283 HAS SOPS 680283 HAS SOUS 602217 HAS SOUPS 602217 WITH SCORE 602897.283
AT ITER 8464 NEW BEST:: SOT 4393423 SOS 680281 HAS SOPS 680281 HAS SOUS 602215 HAS SOUPS 602215 WITH SCORE 602895.281
AT ITER 8513 NEW BEST:: SOT 4393073 SOS 679873 HAS SOPS 679873 HAS SOUS 601750 HAS SOUPS 601750 WITH SCORE 602429.873
AT ITER 8520 NEW BEST:: SOT 4393132 SOS 679755 HAS SOPS 679755 HAS SOUS 601750 HAS SOUPS 601750 WITH SCORE 602429.755
AT ITER 8531 NEW BEST:: SOT 4393045 SOS 679581 HAS SOPS 679581 HAS SOUS 601576 HAS SOUPS 601576 WITH SCORE 602255.581
AT ITER 8536 NEW BEST:: SOT 4393087 SOS 679197 HAS SOPS 679197 HAS SOUS 601384 HAS SOUPS 601384 WITH SCORE 602063.197
AT ITER 8584 NEW BEST:: SOT 4393045 SOS 679113 HAS SOPS 679113 HAS SOUS 601342 HAS SOUPS 601342 WITH SCORE 602021.113
AT ITER 8587 NEW BEST:: SOT 4392692 SOS 678407 HAS SOPS 678407 HAS SOUS 600636 HAS SOUPS 600636 WITH SCORE 601314.407
AT ITER 8610 NEW BEST:: SOT 4392592 SOS 678307 HAS SOPS 678307 HAS SOUS 600536 HAS SOUPS 600536 WITH SCORE 601214.307
AT ITER 8678 NEW BEST:: SOT 4392553 SOS 678229 HAS SOPS 678229 HAS SOUS 600497 HAS SOUPS 600497 WITH SCORE 601175.229
AT ITER 8681 NEW BEST:: SOT 4392313 SOS 678186 HAS SOPS 678186 HAS SOUS 600454 HAS SOUPS 600454 WITH SCORE 601132.186
AT ITER 8688 NEW BEST:: SOT 4392234 SOS 678028 HAS SOPS 678028 HAS SOUS 600296 HAS SOUPS 600296 WITH SCORE 600974.028
AT ITER 8690 NEW BEST:: SOT 4392241 SOS 677914 HAS SOPS 677914 HAS SOUS 600284 HAS SOUPS 600284 WITH SCORE 600961.914
AT ITER 8697 NEW BEST:: SOT 4392313 SOS 678058 HAS SOPS 678058 HAS SOUS 600226 HAS SOUPS 600226 WITH SCORE 600904.058
AT ITER 8757 NEW BEST:: SOT 4392143 SOS 678358 HAS SOPS 678358 HAS SOUS 600165 HAS SOUPS 600165 WITH SCORE 600843.358
AT ITER 8816 NEW BEST:: SOT 4392075 SOS 677996 HAS SOPS 677996 HAS SOUS 600029 HAS SOUPS 600029 WITH SCORE 600706.996
AT ITER 8828 NEW BEST:: SOT 4391779 SOS 677702 HAS SOPS 677702 HAS SOUS 599733 HAS SOUPS 599733 WITH SCORE 600410.702
AT ITER 8866 NEW BEST:: SOT 4391585 SOS 677508 HAS SOPS 677508 HAS SOUS 599539 HAS SOUPS 599539 WITH SCORE 600216.508
AT ITER 8888 NEW BEST:: SOT 4391390 SOS 677324 HAS SOPS 677324 HAS SOUS 599344 HAS SOUPS 599344 WITH SCORE 600021.324
AT ITER 8892 NEW BEST:: SOT 4391242 SOS 677176 HAS SOPS 677176 HAS SOUS 599196 HAS SOUPS 599196 WITH SCORE 599873.176
AT ITER 8900 NEW BEST:: SOT 4391161 SOS 677198 HAS SOPS 677198 HAS SOUS 599065 HAS SOUPS 599065 WITH SCORE 599742.198
AT ITER 8913 NEW BEST:: SOT 4390822 SOS 676758 HAS SOPS 676758 HAS SOUS 598610 HAS SOUPS 598610 WITH SCORE 599286.758
AT ITER 8924 NEW BEST:: SOT 4390822 SOS 676758 HAS SOPS 676758 HAS SOUS 598608 HAS SOUPS 598608 WITH SCORE 599284.758
AT ITER 8954 NEW BEST:: SOT 4390769 SOS 676652 HAS SOPS 676652 HAS SOUS 598552 HAS SOUPS 598552 WITH SCORE 599228.652
AT ITER 8976 NEW BEST:: SOT 4390768 SOS 676650 HAS SOPS 676650 HAS SOUS 598550 HAS SOUPS 598550 WITH SCORE 599226.65
AT ITER 8980 NEW BEST:: SOT 4390686 SOS 676486 HAS SOPS 676486 HAS SOUS 598468 HAS SOUPS 598468 WITH SCORE 599144.486
AT ITER 8981 NEW BEST:: SOT 4390671 SOS 676456 HAS SOPS 676456 HAS SOUS 598438 HAS SOUPS 598438 WITH SCORE 599114.456
AT ITER 9058 NEW BEST:: SOT 4390629 SOS 676372 HAS SOPS 676372 HAS SOUS 598396 HAS SOUPS 598396 WITH SCORE 599072.372
AT ITER 9059 NEW BEST:: SOT 4390516 SOS 676146 HAS SOPS 676146 HAS SOUS 598170 HAS SOUPS 598170 WITH SCORE 598846.146
AT ITER 9081 NEW BEST:: SOT 4390346 SOS 675806 HAS SOPS 675806 HAS SOUS 597830 HAS SOUPS 597830 WITH SCORE 598505.806
AT ITER 9105 NEW BEST:: SOT 4390412 SOS 675064 HAS SOPS 675064 HAS SOUS 597505 HAS SOUPS 597505 WITH SCORE 598180.064
AT ITER 9132 NEW BEST:: SOT 4390378 SOS 674996 HAS SOPS 674996 HAS SOUS 597437 HAS SOUPS 597437 WITH SCORE 598111.996
AT ITER 9143 NEW BEST:: SOT 4390378 SOS 675038 HAS SOPS 675038 HAS SOUS 597395 HAS SOUPS 597395 WITH SCORE 598070.038
AT ITER 9161 NEW BEST:: SOT 4390349 SOS 674980 HAS SOPS 674980 HAS SOUS 597366 HAS SOUPS 597366 WITH SCORE 598040.98
AT ITER 9162 NEW BEST:: SOT 4390349 SOS 674946 HAS SOPS 674946 HAS SOUS 597349 HAS SOUPS 597349 WITH SCORE 598023.946
AT ITER 9173 NEW BEST:: SOT 4390324 SOS 674896 HAS SOPS 674896 HAS SOUS 597299 HAS SOUPS 597299 WITH SCORE 597973.896
AT ITER 9185 NEW BEST:: SOT 4390318 SOS 674884 HAS SOPS 674884 HAS SOUS 597287 HAS SOUPS 597287 WITH SCORE 597961.884
AT ITER 9210 NEW BEST:: SOT 4390316 SOS 674880 HAS SOPS 674880 HAS SOUS 597285 HAS SOUPS 597285 WITH SCORE 597959.88
AT ITER 9221 NEW BEST:: SOT 4390375 SOS 674842 HAS SOPS 674842 HAS SOUS 597247 HAS SOUPS 597247 WITH SCORE 597921.842
AT ITER 9267 NEW BEST:: SOT 4390159 SOS 674698 HAS SOPS 674698 HAS SOUS 597031 HAS SOUPS 597031 WITH SCORE 597705.698
AT ITER 9277 NEW BEST:: SOT 4389950 SOS 674280 HAS SOPS 674280 HAS SOUS 596613 HAS SOUPS 596613 WITH SCORE 597287.28
AT ITER 9295 NEW BEST:: SOT 4389853 SOS 674086 HAS SOPS 674086 HAS SOUS 596419 HAS SOUPS 596419 WITH SCORE 597093.086
AT ITER 9300 NEW BEST:: SOT 4389852 SOS 674084 HAS SOPS 674084 HAS SOUS 596417 HAS SOUPS 596417 WITH SCORE 597091.084
AT ITER 9339 NEW BEST:: SOT 4389820 SOS 674020 HAS SOPS 674020 HAS SOUS 596353 HAS SOUPS 596353 WITH SCORE 597027.02
AT ITER 9376 NEW BEST:: SOT 4389775 SOS 673930 HAS SOPS 673930 HAS SOUS 596308 HAS SOUPS 596308 WITH SCORE 596981.93
AT ITER 9388 NEW BEST:: SOT 4390020 SOS 673818 HAS SOPS 673818 HAS SOUS 596297 HAS SOUPS 596297 WITH SCORE 596970.818
AT ITER 9411 NEW BEST:: SOT 4389986 SOS 673750 HAS SOPS 673750 HAS SOUS 596263 HAS SOUPS 596263 WITH SCORE 596936.75
AT ITER 9437 NEW BEST:: SOT 4389936 SOS 673335 HAS SOPS 673335 HAS SOUS 596213 HAS SOUPS 596213 WITH SCORE 596886.335
AT ITER 9449 NEW BEST:: SOT 4389848 SOS 673241 HAS SOPS 673241 HAS SOUS 596137 HAS SOUPS 596137 WITH SCORE 596810.241
AT ITER 9489 NEW BEST:: SOT 4389831 SOS 673207 HAS SOPS 673207 HAS SOUS 596135 HAS SOUPS 596135 WITH SCORE 596808.207
AT ITER 9503 NEW BEST:: SOT 4389831 SOS 673144 HAS SOPS 673144 HAS SOUS 596072 HAS SOUPS 596072 WITH SCORE 596745.144
AT ITER 9505 NEW BEST:: SOT 4389819 SOS 673120 HAS SOPS 673120 HAS SOUS 596060 HAS SOUPS 596060 WITH SCORE 596733.12
AT ITER 9541 NEW BEST:: SOT 4389791 SOS 673064 HAS SOPS 673064 HAS SOUS 596032 HAS SOUPS 596032 WITH SCORE 596705.064
AT ITER 9545 NEW BEST:: SOT 4389702 SOS 672886 HAS SOPS 672886 HAS SOUS 595854 HAS SOUPS 595854 WITH SCORE 596526.886
AT ITER 9565 NEW BEST:: SOT 4389681 SOS 672844 HAS SOPS 672844 HAS SOUS 595830 HAS SOUPS 595830 WITH SCORE 596502.844
AT ITER 9566 NEW BEST:: SOT 4389681 SOS 672784 HAS SOPS 672784 HAS SOUS 595770 HAS SOUPS 595770 WITH SCORE 596442.784
AT ITER 9701 NEW BEST:: SOT 4389734 SOS 672774 HAS SOPS 672774 HAS SOUS 595589 HAS SOUPS 595589 WITH SCORE 596261.774
AT ITER 9714 NEW BEST:: SOT 4389715 SOS 672755 HAS SOPS 672755 HAS SOUS 595551 HAS SOUPS 595551 WITH SCORE 596223.755
AT ITER 9718 NEW BEST:: SOT 4389715 SOS 672755 HAS SOPS 672755 HAS SOUS 595550 HAS SOUPS 595550 WITH SCORE 596222.755
AT ITER 9725 NEW BEST:: SOT 4389789 SOS 672903 HAS SOPS 672903 HAS SOUS 595497 HAS SOUPS 595497 WITH SCORE 596169.903
AT ITER 9747 NEW BEST:: SOT 4389693 SOS 672711 HAS SOPS 672711 HAS SOUS 595305 HAS SOUPS 595305 WITH SCORE 595977.711
AT ITER 9773 NEW BEST:: SOT 4389623 SOS 672571 HAS SOPS 672571 HAS SOUS 595235 HAS SOUPS 595235 WITH SCORE 595907.571
AT ITER 9793 NEW BEST:: SOT 4389419 SOS 672363 HAS SOPS 672363 HAS SOUS 595031 HAS SOUPS 595031 WITH SCORE 595703.363
AT ITER 9816 NEW BEST:: SOT 4389419 SOS 672326 HAS SOPS 672326 HAS SOUS 594994 HAS SOUPS 594994 WITH SCORE 595666.326
AT ITER 9822 NEW BEST:: SOT 4389411 SOS 672310 HAS SOPS 672310 HAS SOUS 594986 HAS SOUPS 594986 WITH SCORE 595658.31
AT ITER 9830 NEW BEST:: SOT 4389391 SOS 672270 HAS SOPS 672270 HAS SOUS 594966 HAS SOUPS 594966 WITH SCORE 595638.27
AT ITER 9841 NEW BEST:: SOT 4389387 SOS 672262 HAS SOPS 672262 HAS SOUS 594958 HAS SOUPS 594958 WITH SCORE 595630.262
AT ITER 9868 NEW BEST:: SOT 4389422 SOS 672192 HAS SOPS 672192 HAS SOUS 594958 HAS SOUPS 594958 WITH SCORE 595630.192
AT ITER 9869 NEW BEST:: SOT 4389396 SOS 672140 HAS SOPS 672140 HAS SOUS 594906 HAS SOUPS 594906 WITH SCORE 595578.14
AT ITER 9873 NEW BEST:: SOT 4389395 SOS 672138 HAS SOPS 672138 HAS SOUS 594904 HAS SOUPS 594904 WITH SCORE 595576.138
AT ITER 9882 NEW BEST:: SOT 4388646 SOS 683760 HAS SOPS 683760 HAS SOUS 594475 HAS SOUPS 594475 WITH SCORE 595158.76
AT ITER 9883 NEW BEST:: SOT 4388686 SOS 683840 HAS SOPS 683840 HAS SOUS 594287 HAS SOUPS 594287 WITH SCORE 594970.84
AT ITER 9901 NEW BEST:: SOT 4388471 SOS 683682 HAS SOPS 683682 HAS SOUS 594072 HAS SOUPS 594072 WITH SCORE 594755.682
AT ITER 9906 NEW BEST:: SOT 4388464 SOS 683852 HAS SOPS 683852 HAS SOUS 594065 HAS SOUPS 594065 WITH SCORE 594748.852
AT ITER 9930 NEW BEST:: SOT 4388329 SOS 683582 HAS SOPS 683582 HAS SOUS 593794 HAS SOUPS 593794 WITH SCORE 594477.582
AT ITER 9933 NEW BEST:: SOT 4388317 SOS 683558 HAS SOPS 683558 HAS SOUS 593770 HAS SOUPS 593770 WITH SCORE 594453.558
AT ITER 9948 NEW BEST:: SOT 4388289 SOS 683502 HAS SOPS 683502 HAS SOUS 593742 HAS SOUPS 593742 WITH SCORE 594425.502
AT ITER 9950 NEW BEST:: SOT 4388218 SOS 683484 HAS SOPS 683484 HAS SOUS 593662 HAS SOUPS 593662 WITH SCORE 594345.484
AT ITER 9952 NEW BEST:: SOT 4388258 SOS 683434 HAS SOPS 683434 HAS SOUS 593572 HAS SOUPS 593572 WITH SCORE 594255.434
AT ITER 9956 NEW BEST:: SOT 4388245 SOS 683408 HAS SOPS 683408 HAS SOUS 593559 HAS SOUPS 593559 WITH SCORE 594242.408
AT ITER 9972 NEW BEST:: SOT 4388281 SOS 683480 HAS SOPS 683480 HAS SOUS 593320 HAS SOUPS 593320 WITH SCORE 594003.48
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 12277100 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16154784 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-302"
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-302, 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-167814471900016"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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