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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 7.6K Feb 25 11:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 83K Feb 25 11:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Feb 25 11:49 CTLFireability.txt
-rw-r--r-- 1 mcc users 51K 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 23K 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 13K Feb 25 11:50 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 125K Feb 25 11:50 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.3K Feb 25 11:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 58K 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 1678218786275

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-301
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 301
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: 2584 places, 3094 transitions, 6459 arcs.
AT ITER 0 NEW BEST:: SOT 4439016 SOS 755663 HAS SOPS 755663 HAS SOUS 697101 HAS SOUPS 697101 WITH SCORE 697856.663
AT ITER 15 NEW BEST:: SOT 4431137 SOS 799611 HAS SOPS 799611 HAS SOUS 691775 HAS SOUPS 691775 WITH SCORE 692574.611
AT ITER 23 NEW BEST:: SOT 4431020 SOS 799513 HAS SOPS 799513 HAS SOUS 691658 HAS SOUPS 691658 WITH SCORE 692457.513
AT ITER 34 NEW BEST:: SOT 4431020 SOS 799123 HAS SOPS 799123 HAS SOUS 691264 HAS SOUPS 691264 WITH SCORE 692063.123
AT ITER 43 NEW BEST:: SOT 4430913 SOS 798909 HAS SOPS 798909 HAS SOUS 691156 HAS SOUPS 691156 WITH SCORE 691954.909
AT ITER 65 NEW BEST:: SOT 4430894 SOS 798896 HAS SOPS 798896 HAS SOUS 691143 HAS SOUPS 691143 WITH SCORE 691941.896
AT ITER 75 NEW BEST:: SOT 4430917 SOS 798942 HAS SOPS 798942 HAS SOUS 690899 HAS SOUPS 690899 WITH SCORE 691697.942
AT ITER 116 NEW BEST:: SOT 4430917 SOS 798824 HAS SOPS 798824 HAS SOUS 690899 HAS SOUPS 690899 WITH SCORE 691697.824
AT ITER 123 NEW BEST:: SOT 4430916 SOS 798695 HAS SOPS 798695 HAS SOUS 690897 HAS SOUPS 690897 WITH SCORE 691695.695
AT ITER 125 NEW BEST:: SOT 4430828 SOS 798607 HAS SOPS 798607 HAS SOUS 690721 HAS SOUPS 690721 WITH SCORE 691519.607
AT ITER 128 NEW BEST:: SOT 4430750 SOS 798529 HAS SOPS 798529 HAS SOUS 690643 HAS SOUPS 690643 WITH SCORE 691441.529
AT ITER 139 NEW BEST:: SOT 4430510 SOS 798529 HAS SOPS 798529 HAS SOUS 690523 HAS SOUPS 690523 WITH SCORE 691321.529
AT ITER 163 NEW BEST:: SOT 4430510 SOS 798514 HAS SOPS 798514 HAS SOUS 690508 HAS SOUPS 690508 WITH SCORE 691306.514
AT ITER 175 NEW BEST:: SOT 4430328 SOS 798150 HAS SOPS 798150 HAS SOUS 690144 HAS SOUPS 690144 WITH SCORE 690942.15
AT ITER 195 NEW BEST:: SOT 4429880 SOS 797840 HAS SOPS 797840 HAS SOUS 689743 HAS SOUPS 689743 WITH SCORE 690540.84
AT ITER 206 NEW BEST:: SOT 4429880 SOS 797840 HAS SOPS 797840 HAS SOUS 689577 HAS SOUPS 689577 WITH SCORE 690374.84
AT ITER 208 NEW BEST:: SOT 4429880 SOS 797813 HAS SOPS 797813 HAS SOUS 689577 HAS SOUPS 689577 WITH SCORE 690374.813
AT ITER 218 NEW BEST:: SOT 4418939 SOS 819737 HAS SOPS 819737 HAS SOUS 679468 HAS SOUPS 679468 WITH SCORE 680287.737
AT ITER 226 NEW BEST:: SOT 4418766 SOS 819218 HAS SOPS 819218 HAS SOUS 679122 HAS SOUPS 679122 WITH SCORE 679941.218
AT ITER 277 NEW BEST:: SOT 4418766 SOS 819139 HAS SOPS 819139 HAS SOUS 679121 HAS SOUPS 679121 WITH SCORE 679940.139
AT ITER 282 NEW BEST:: SOT 4418293 SOS 819246 HAS SOPS 819246 HAS SOUS 679118 HAS SOUPS 679118 WITH SCORE 679937.246
AT ITER 285 NEW BEST:: SOT 4418262 SOS 818765 HAS SOPS 818765 HAS SOUS 678779 HAS SOUPS 678779 WITH SCORE 679597.765
AT ITER 300 NEW BEST:: SOT 4418178 SOS 818639 HAS SOPS 818639 HAS SOUS 678653 HAS SOUPS 678653 WITH SCORE 679471.639
AT ITER 307 NEW BEST:: SOT 4417942 SOS 818403 HAS SOPS 818403 HAS SOUS 678653 HAS SOUPS 678653 WITH SCORE 679471.403
AT ITER 317 NEW BEST:: SOT 4417722 SOS 817726 HAS SOPS 817726 HAS SOUS 678196 HAS SOUPS 678196 WITH SCORE 679013.726
AT ITER 320 NEW BEST:: SOT 4417722 SOS 817640 HAS SOPS 817640 HAS SOUS 678110 HAS SOUPS 678110 WITH SCORE 678927.64
AT ITER 323 NEW BEST:: SOT 4417722 SOS 817565 HAS SOPS 817565 HAS SOUS 678110 HAS SOUPS 678110 WITH SCORE 678927.565
AT ITER 345 NEW BEST:: SOT 4417458 SOS 817037 HAS SOPS 817037 HAS SOUS 677898 HAS SOUPS 677898 WITH SCORE 678715.037
AT ITER 364 NEW BEST:: SOT 4417458 SOS 816961 HAS SOPS 816961 HAS SOUS 677822 HAS SOUPS 677822 WITH SCORE 678638.961
AT ITER 372 NEW BEST:: SOT 4417235 SOS 816515 HAS SOPS 816515 HAS SOUS 677376 HAS SOUPS 677376 WITH SCORE 678192.515
AT ITER 423 NEW BEST:: SOT 4417142 SOS 816422 HAS SOPS 816422 HAS SOUS 677283 HAS SOUPS 677283 WITH SCORE 678099.422
AT ITER 433 NEW BEST:: SOT 4416955 SOS 816048 HAS SOPS 816048 HAS SOUS 676909 HAS SOUPS 676909 WITH SCORE 677725.048
AT ITER 486 NEW BEST:: SOT 4416924 SOS 815986 HAS SOPS 815986 HAS SOUS 676847 HAS SOUPS 676847 WITH SCORE 677662.986
AT ITER 489 NEW BEST:: SOT 4416770 SOS 815892 HAS SOPS 815892 HAS SOUS 676693 HAS SOUPS 676693 WITH SCORE 677508.892
AT ITER 490 NEW BEST:: SOT 4416647 SOS 815834 HAS SOPS 815834 HAS SOUS 676635 HAS SOUPS 676635 WITH SCORE 677450.834
AT ITER 535 NEW BEST:: SOT 4416375 SOS 816425 HAS SOPS 816425 HAS SOUS 676590 HAS SOUPS 676590 WITH SCORE 677406.425
AT ITER 561 NEW BEST:: SOT 4416331 SOS 816391 HAS SOPS 816391 HAS SOUS 676556 HAS SOUPS 676556 WITH SCORE 677372.391
AT ITER 579 NEW BEST:: SOT 4416331 SOS 815879 HAS SOPS 815879 HAS SOUS 676044 HAS SOUPS 676044 WITH SCORE 676859.879
AT ITER 593 NEW BEST:: SOT 4416328 SOS 815747 HAS SOPS 815747 HAS SOUS 676038 HAS SOUPS 676038 WITH SCORE 676853.747
AT ITER 610 NEW BEST:: SOT 4416070 SOS 815231 HAS SOPS 815231 HAS SOUS 675669 HAS SOUPS 675669 WITH SCORE 676484.231
AT ITER 611 NEW BEST:: SOT 4416070 SOS 815216 HAS SOPS 815216 HAS SOUS 675669 HAS SOUPS 675669 WITH SCORE 676484.216
AT ITER 615 NEW BEST:: SOT 4415943 SOS 815089 HAS SOPS 815089 HAS SOUS 675564 HAS SOUPS 675564 WITH SCORE 676379.089
AT ITER 627 NEW BEST:: SOT 4415941 SOS 815085 HAS SOPS 815085 HAS SOUS 675562 HAS SOUPS 675562 WITH SCORE 676377.085
AT ITER 641 NEW BEST:: SOT 4415689 SOS 814581 HAS SOPS 814581 HAS SOUS 675058 HAS SOUPS 675058 WITH SCORE 675872.581
AT ITER 645 NEW BEST:: SOT 4415403 SOS 814009 HAS SOPS 814009 HAS SOUS 674503 HAS SOUPS 674503 WITH SCORE 675317.009
AT ITER 670 NEW BEST:: SOT 4415246 SOS 813877 HAS SOPS 813877 HAS SOUS 674358 HAS SOUPS 674358 WITH SCORE 675171.877
AT ITER 676 NEW BEST:: SOT 4415068 SOS 813521 HAS SOPS 813521 HAS SOUS 674358 HAS SOUPS 674358 WITH SCORE 675171.521
AT ITER 677 NEW BEST:: SOT 4415067 SOS 813200 HAS SOPS 813200 HAS SOUS 674356 HAS SOUPS 674356 WITH SCORE 675169.2
AT ITER 696 NEW BEST:: SOT 4415118 SOS 813152 HAS SOPS 813152 HAS SOUS 674308 HAS SOUPS 674308 WITH SCORE 675121.152
AT ITER 702 NEW BEST:: SOT 4415085 SOS 813053 HAS SOPS 813053 HAS SOUS 674242 HAS SOUPS 674242 WITH SCORE 675055.053
AT ITER 703 NEW BEST:: SOT 4415034 SOS 812951 HAS SOPS 812951 HAS SOUS 674191 HAS SOUPS 674191 WITH SCORE 675003.951
AT ITER 705 NEW BEST:: SOT 4412647 SOS 810564 HAS SOPS 810564 HAS SOUS 671804 HAS SOUPS 671804 WITH SCORE 672614.564
AT ITER 709 NEW BEST:: SOT 4412646 SOS 810291 HAS SOPS 810291 HAS SOUS 671802 HAS SOUPS 671802 WITH SCORE 672612.291
AT ITER 741 NEW BEST:: SOT 4412518 SOS 810035 HAS SOPS 810035 HAS SOUS 671546 HAS SOUPS 671546 WITH SCORE 672356.035
AT ITER 756 NEW BEST:: SOT 4412433 SOS 810020 HAS SOPS 810020 HAS SOUS 671461 HAS SOUPS 671461 WITH SCORE 672271.02
AT ITER 765 NEW BEST:: SOT 4412433 SOS 809980 HAS SOPS 809980 HAS SOUS 671461 HAS SOUPS 671461 WITH SCORE 672270.98
AT ITER 793 NEW BEST:: SOT 4412216 SOS 809790 HAS SOPS 809790 HAS SOUS 671271 HAS SOUPS 671271 WITH SCORE 672080.79
AT ITER 815 NEW BEST:: SOT 4412215 SOS 809788 HAS SOPS 809788 HAS SOUS 671269 HAS SOUPS 671269 WITH SCORE 672078.788
AT ITER 826 NEW BEST:: SOT 4412215 SOS 809788 HAS SOPS 809788 HAS SOUS 671028 HAS SOUPS 671028 WITH SCORE 671837.788
AT ITER 829 NEW BEST:: SOT 4411960 SOS 809278 HAS SOPS 809278 HAS SOUS 670773 HAS SOUPS 670773 WITH SCORE 671582.278
AT ITER 832 NEW BEST:: SOT 4411898 SOS 809154 HAS SOPS 809154 HAS SOUS 670773 HAS SOUPS 670773 WITH SCORE 671582.154
AT ITER 855 NEW BEST:: SOT 4411898 SOS 809030 HAS SOPS 809030 HAS SOUS 670773 HAS SOUPS 670773 WITH SCORE 671582.03
AT ITER 861 NEW BEST:: SOT 4411738 SOS 808710 HAS SOPS 808710 HAS SOUS 670773 HAS SOUPS 670773 WITH SCORE 671581.71
AT ITER 868 NEW BEST:: SOT 4411568 SOS 808636 HAS SOPS 808636 HAS SOUS 670627 HAS SOUPS 670627 WITH SCORE 671435.636
AT ITER 875 NEW BEST:: SOT 4411523 SOS 808591 HAS SOPS 808591 HAS SOUS 670582 HAS SOUPS 670582 WITH SCORE 671390.591
AT ITER 886 NEW BEST:: SOT 4411376 SOS 808444 HAS SOPS 808444 HAS SOUS 670435 HAS SOUPS 670435 WITH SCORE 671243.444
AT ITER 911 NEW BEST:: SOT 4411181 SOS 807859 HAS SOPS 807859 HAS SOUS 670045 HAS SOUPS 670045 WITH SCORE 670852.859
AT ITER 915 NEW BEST:: SOT 4410926 SOS 807609 HAS SOPS 807609 HAS SOUS 669787 HAS SOUPS 669787 WITH SCORE 670594.609
AT ITER 926 NEW BEST:: SOT 4410802 SOS 807361 HAS SOPS 807361 HAS SOUS 669539 HAS SOUPS 669539 WITH SCORE 670346.361
AT ITER 935 NEW BEST:: SOT 4410569 SOS 807224 HAS SOPS 807224 HAS SOUS 669306 HAS SOUPS 669306 WITH SCORE 670113.224
AT ITER 939 NEW BEST:: SOT 4410159 SOS 806814 HAS SOPS 806814 HAS SOUS 668896 HAS SOUPS 668896 WITH SCORE 669702.814
AT ITER 970 NEW BEST:: SOT 4410159 SOS 806682 HAS SOPS 806682 HAS SOUS 668896 HAS SOUPS 668896 WITH SCORE 669702.682
AT ITER 996 NEW BEST:: SOT 4410125 SOS 806650 HAS SOPS 806650 HAS SOUS 668864 HAS SOUPS 668864 WITH SCORE 669670.65
AT ITER 999 NEW BEST:: SOT 4410081 SOS 806606 HAS SOPS 806606 HAS SOUS 668820 HAS SOUPS 668820 WITH SCORE 669626.606
AT ITER 1023 NEW BEST:: SOT 4410031 SOS 806506 HAS SOPS 806506 HAS SOUS 668769 HAS SOUPS 668769 WITH SCORE 669575.506
AT ITER 1046 NEW BEST:: SOT 4409976 SOS 806396 HAS SOPS 806396 HAS SOUS 668641 HAS SOUPS 668641 WITH SCORE 669447.396
AT ITER 1052 NEW BEST:: SOT 4409701 SOS 806121 HAS SOPS 806121 HAS SOUS 668366 HAS SOUPS 668366 WITH SCORE 669172.121
AT ITER 1074 NEW BEST:: SOT 4409407 SOS 806255 HAS SOPS 806255 HAS SOUS 668253 HAS SOUPS 668253 WITH SCORE 669059.255
AT ITER 1076 NEW BEST:: SOT 4409307 SOS 806155 HAS SOPS 806155 HAS SOUS 668153 HAS SOUPS 668153 WITH SCORE 668959.155
AT ITER 1091 NEW BEST:: SOT 4409307 SOS 806155 HAS SOPS 806155 HAS SOUS 667934 HAS SOUPS 667934 WITH SCORE 668740.155
AT ITER 1102 NEW BEST:: SOT 4409307 SOS 806155 HAS SOPS 806155 HAS SOUS 667843 HAS SOUPS 667843 WITH SCORE 668649.155
AT ITER 1108 NEW BEST:: SOT 4409307 SOS 805827 HAS SOPS 805827 HAS SOUS 667842 HAS SOUPS 667842 WITH SCORE 668647.827
AT ITER 1118 NEW BEST:: SOT 4409288 SOS 805789 HAS SOPS 805789 HAS SOUS 667804 HAS SOUPS 667804 WITH SCORE 668609.789
AT ITER 1121 NEW BEST:: SOT 4409192 SOS 805693 HAS SOPS 805693 HAS SOUS 667660 HAS SOUPS 667660 WITH SCORE 668465.693
AT ITER 1122 NEW BEST:: SOT 4409122 SOS 805553 HAS SOPS 805553 HAS SOUS 667590 HAS SOUPS 667590 WITH SCORE 668395.553
AT ITER 1126 NEW BEST:: SOT 4408891 SOS 805322 HAS SOPS 805322 HAS SOUS 667359 HAS SOUPS 667359 WITH SCORE 668164.322
AT ITER 1135 NEW BEST:: SOT 4408964 SOS 804832 HAS SOPS 804832 HAS SOUS 667187 HAS SOUPS 667187 WITH SCORE 667991.832
AT ITER 1154 NEW BEST:: SOT 4408848 SOS 804830 HAS SOPS 804830 HAS SOUS 667070 HAS SOUPS 667070 WITH SCORE 667874.83
AT ITER 1186 NEW BEST:: SOT 4408722 SOS 804452 HAS SOPS 804452 HAS SOUS 666818 HAS SOUPS 666818 WITH SCORE 667622.452
AT ITER 1201 NEW BEST:: SOT 4408892 SOS 804792 HAS SOPS 804792 HAS SOUS 666806 HAS SOUPS 666806 WITH SCORE 667610.792
AT ITER 1205 NEW BEST:: SOT 4408584 SOS 804656 HAS SOPS 804656 HAS SOUS 666557 HAS SOUPS 666557 WITH SCORE 667361.656
AT ITER 1233 NEW BEST:: SOT 4408584 SOS 804389 HAS SOPS 804389 HAS SOUS 666557 HAS SOUPS 666557 WITH SCORE 667361.389
AT ITER 1237 NEW BEST:: SOT 4408422 SOS 804457 HAS SOPS 804457 HAS SOUS 666493 HAS SOUPS 666493 WITH SCORE 667297.457
AT ITER 1259 NEW BEST:: SOT 4408421 SOS 804455 HAS SOPS 804455 HAS SOUS 666491 HAS SOUPS 666491 WITH SCORE 667295.455
AT ITER 1265 NEW BEST:: SOT 4408693 SOS 804999 HAS SOPS 804999 HAS SOUS 666235 HAS SOUPS 666235 WITH SCORE 667039.999
AT ITER 1288 NEW BEST:: SOT 4408692 SOS 801385 HAS SOPS 801385 HAS SOUS 666233 HAS SOUPS 666233 WITH SCORE 667034.385
AT ITER 1297 NEW BEST:: SOT 4408691 SOS 801297 HAS SOPS 801297 HAS SOUS 666146 HAS SOUPS 666146 WITH SCORE 666947.297
AT ITER 1298 NEW BEST:: SOT 4407232 SOS 802693 HAS SOPS 802693 HAS SOUS 665274 HAS SOUPS 665274 WITH SCORE 666076.693
AT ITER 1338 NEW BEST:: SOT 4407077 SOS 802538 HAS SOPS 802538 HAS SOUS 665119 HAS SOUPS 665119 WITH SCORE 665921.538
AT ITER 1349 NEW BEST:: SOT 4407077 SOS 802538 HAS SOPS 802538 HAS SOUS 665084 HAS SOUPS 665084 WITH SCORE 665886.538
AT ITER 1352 NEW BEST:: SOT 4407077 SOS 802491 HAS SOPS 802491 HAS SOUS 665045 HAS SOUPS 665045 WITH SCORE 665847.491
AT ITER 1361 NEW BEST:: SOT 4407052 SOS 802516 HAS SOPS 802516 HAS SOUS 664990 HAS SOUPS 664990 WITH SCORE 665792.516
AT ITER 1379 NEW BEST:: SOT 4406944 SOS 802372 HAS SOPS 802372 HAS SOUS 664846 HAS SOUPS 664846 WITH SCORE 665648.372
AT ITER 1400 NEW BEST:: SOT 4406243 SOS 801710 HAS SOPS 801710 HAS SOUS 664184 HAS SOUPS 664184 WITH SCORE 664985.71
AT ITER 1401 NEW BEST:: SOT 4406099 SOS 801422 HAS SOPS 801422 HAS SOUS 663896 HAS SOUPS 663896 WITH SCORE 664697.422
AT ITER 1414 NEW BEST:: SOT 4406098 SOS 801420 HAS SOPS 801420 HAS SOUS 663894 HAS SOUPS 663894 WITH SCORE 664695.42
AT ITER 1424 NEW BEST:: SOT 4406097 SOS 801418 HAS SOPS 801418 HAS SOUS 663892 HAS SOUPS 663892 WITH SCORE 664693.418
AT ITER 1426 NEW BEST:: SOT 4405725 SOS 751312 HAS SOPS 751312 HAS SOUS 663148 HAS SOUPS 663148 WITH SCORE 663899.312
AT ITER 1437 NEW BEST:: SOT 4405725 SOS 751294 HAS SOPS 751294 HAS SOUS 663148 HAS SOUPS 663148 WITH SCORE 663899.294
AT ITER 1448 NEW BEST:: SOT 4405724 SOS 751292 HAS SOPS 751292 HAS SOUS 663146 HAS SOUPS 663146 WITH SCORE 663897.292
AT ITER 1460 NEW BEST:: SOT 4405629 SOS 751102 HAS SOPS 751102 HAS SOUS 662956 HAS SOUPS 662956 WITH SCORE 663707.102
AT ITER 1465 NEW BEST:: SOT 4405101 SOS 750706 HAS SOPS 750706 HAS SOUS 662560 HAS SOUPS 662560 WITH SCORE 663310.706
AT ITER 1515 NEW BEST:: SOT 4404968 SOS 750440 HAS SOPS 750440 HAS SOUS 662305 HAS SOUPS 662305 WITH SCORE 663055.44
AT ITER 1543 NEW BEST:: SOT 4404968 SOS 750368 HAS SOPS 750368 HAS SOUS 662304 HAS SOUPS 662304 WITH SCORE 663054.368
AT ITER 1556 NEW BEST:: SOT 4404789 SOS 750189 HAS SOPS 750189 HAS SOUS 662125 HAS SOUPS 662125 WITH SCORE 662875.189
AT ITER 1557 NEW BEST:: SOT 4404789 SOS 750054 HAS SOPS 750054 HAS SOUS 662125 HAS SOUPS 662125 WITH SCORE 662875.054
AT ITER 1560 NEW BEST:: SOT 4404754 SOS 750126 HAS SOPS 750126 HAS SOUS 662090 HAS SOUPS 662090 WITH SCORE 662840.126
AT ITER 1567 NEW BEST:: SOT 4404526 SOS 749592 HAS SOPS 749592 HAS SOUS 661556 HAS SOUPS 661556 WITH SCORE 662305.592
AT ITER 1581 NEW BEST:: SOT 4404526 SOS 749511 HAS SOPS 749511 HAS SOUS 661461 HAS SOUPS 661461 WITH SCORE 662210.511
AT ITER 1583 NEW BEST:: SOT 4404176 SOS 749371 HAS SOPS 749371 HAS SOUS 661017 HAS SOUPS 661017 WITH SCORE 661766.371
AT ITER 1614 NEW BEST:: SOT 4403978 SOS 748975 HAS SOPS 748975 HAS SOUS 660621 HAS SOUPS 660621 WITH SCORE 661369.975
AT ITER 1617 NEW BEST:: SOT 4403805 SOS 748802 HAS SOPS 748802 HAS SOUS 660275 HAS SOUPS 660275 WITH SCORE 661023.802
AT ITER 1619 NEW BEST:: SOT 4403777 SOS 748774 HAS SOPS 748774 HAS SOUS 660247 HAS SOUPS 660247 WITH SCORE 660995.774
AT ITER 1677 NEW BEST:: SOT 4403758 SOS 748736 HAS SOPS 748736 HAS SOUS 660080 HAS SOUPS 660080 WITH SCORE 660828.736
AT ITER 1721 NEW BEST:: SOT 4403758 SOS 748586 HAS SOPS 748586 HAS SOUS 660080 HAS SOUPS 660080 WITH SCORE 660828.586
AT ITER 1738 NEW BEST:: SOT 4403694 SOS 748584 HAS SOPS 748584 HAS SOUS 660046 HAS SOUPS 660046 WITH SCORE 660794.584
AT ITER 1747 NEW BEST:: SOT 4403398 SOS 748288 HAS SOPS 748288 HAS SOUS 659750 HAS SOUPS 659750 WITH SCORE 660498.288
AT ITER 1759 NEW BEST:: SOT 4403398 SOS 748126 HAS SOPS 748126 HAS SOUS 659750 HAS SOUPS 659750 WITH SCORE 660498.126
AT ITER 1799 NEW BEST:: SOT 4403300 SOS 747930 HAS SOPS 747930 HAS SOUS 659652 HAS SOUPS 659652 WITH SCORE 660399.93
AT ITER 1834 NEW BEST:: SOT 4403300 SOS 747606 HAS SOPS 747606 HAS SOUS 659652 HAS SOUPS 659652 WITH SCORE 660399.606
AT ITER 1851 NEW BEST:: SOT 4403348 SOS 747462 HAS SOPS 747462 HAS SOUS 659508 HAS SOUPS 659508 WITH SCORE 660255.462
AT ITER 1854 NEW BEST:: SOT 4403241 SOS 747248 HAS SOPS 747248 HAS SOUS 659082 HAS SOUPS 659082 WITH SCORE 659829.248
AT ITER 1857 NEW BEST:: SOT 4403141 SOS 747498 HAS SOPS 747498 HAS SOUS 658982 HAS SOUPS 658982 WITH SCORE 659729.498
AT ITER 1910 NEW BEST:: SOT 4402376 SOS 749073 HAS SOPS 749073 HAS SOUS 658661 HAS SOUPS 658661 WITH SCORE 659410.073
AT ITER 1914 NEW BEST:: SOT 4402329 SOS 749069 HAS SOPS 749069 HAS SOUS 658630 HAS SOUPS 658630 WITH SCORE 659379.069
AT ITER 1968 NEW BEST:: SOT 4402277 SOS 749017 HAS SOPS 749017 HAS SOUS 658578 HAS SOUPS 658578 WITH SCORE 659327.017
AT ITER 1979 NEW BEST:: SOT 4402277 SOS 748702 HAS SOPS 748702 HAS SOUS 658577 HAS SOUPS 658577 WITH SCORE 659325.702
AT ITER 1994 NEW BEST:: SOT 4402276 SOS 748700 HAS SOPS 748700 HAS SOUS 658575 HAS SOUPS 658575 WITH SCORE 659323.7
AT ITER 2024 NEW BEST:: SOT 4402029 SOS 749341 HAS SOPS 749341 HAS SOUS 658369 HAS SOUPS 658369 WITH SCORE 659118.341
AT ITER 2038 NEW BEST:: SOT 4401752 SOS 749263 HAS SOPS 749263 HAS SOUS 658160 HAS SOUPS 658160 WITH SCORE 658909.263
AT ITER 2043 NEW BEST:: SOT 4401602 SOS 749268 HAS SOPS 749268 HAS SOUS 658101 HAS SOUPS 658101 WITH SCORE 658850.268
AT ITER 2082 NEW BEST:: SOT 4401428 SOS 749166 HAS SOPS 749166 HAS SOUS 657943 HAS SOUPS 657943 WITH SCORE 658692.166
AT ITER 2105 NEW BEST:: SOT 4401280 SOS 749018 HAS SOPS 749018 HAS SOUS 657795 HAS SOUPS 657795 WITH SCORE 658544.018
AT ITER 2141 NEW BEST:: SOT 4400972 SOS 748710 HAS SOPS 748710 HAS SOUS 657487 HAS SOUPS 657487 WITH SCORE 658235.71
AT ITER 2148 NEW BEST:: SOT 4400793 SOS 748352 HAS SOPS 748352 HAS SOUS 657129 HAS SOUPS 657129 WITH SCORE 657877.352
AT ITER 2153 NEW BEST:: SOT 4400627 SOS 748684 HAS SOPS 748684 HAS SOUS 656963 HAS SOUPS 656963 WITH SCORE 657711.684
AT ITER 2162 NEW BEST:: SOT 4400396 SOS 748222 HAS SOPS 748222 HAS SOUS 656501 HAS SOUPS 656501 WITH SCORE 657249.222
AT ITER 2169 NEW BEST:: SOT 4400166 SOS 748222 HAS SOPS 748222 HAS SOUS 656386 HAS SOUPS 656386 WITH SCORE 657134.222
AT ITER 2171 NEW BEST:: SOT 4400120 SOS 748130 HAS SOPS 748130 HAS SOUS 656294 HAS SOUPS 656294 WITH SCORE 657042.13
AT ITER 2192 NEW BEST:: SOT 4399976 SOS 747842 HAS SOPS 747842 HAS SOUS 656006 HAS SOUPS 656006 WITH SCORE 656753.842
AT ITER 2194 NEW BEST:: SOT 4399939 SOS 747698 HAS SOPS 747698 HAS SOUS 655932 HAS SOUPS 655932 WITH SCORE 656679.698
AT ITER 2220 NEW BEST:: SOT 4399911 SOS 747614 HAS SOPS 747614 HAS SOUS 655876 HAS SOUPS 655876 WITH SCORE 656623.614
AT ITER 2232 NEW BEST:: SOT 4399894 SOS 747580 HAS SOPS 747580 HAS SOUS 655740 HAS SOUPS 655740 WITH SCORE 656487.58
AT ITER 2276 NEW BEST:: SOT 4399959 SOS 747429 HAS SOPS 747429 HAS SOUS 655589 HAS SOUPS 655589 WITH SCORE 656336.429
AT ITER 2277 NEW BEST:: SOT 4399811 SOS 747460 HAS SOPS 747460 HAS SOUS 655533 HAS SOUPS 655533 WITH SCORE 656280.46
AT ITER 2296 NEW BEST:: SOT 4399949 SOS 746970 HAS SOPS 746970 HAS SOUS 655426 HAS SOUPS 655426 WITH SCORE 656172.97
AT ITER 2298 NEW BEST:: SOT 4399683 SOS 746438 HAS SOPS 746438 HAS SOUS 655160 HAS SOUPS 655160 WITH SCORE 655906.438
AT ITER 2333 NEW BEST:: SOT 4399698 SOS 746368 HAS SOPS 746368 HAS SOUS 655137 HAS SOUPS 655137 WITH SCORE 655883.368
AT ITER 2359 NEW BEST:: SOT 4399590 SOS 746152 HAS SOPS 746152 HAS SOUS 654921 HAS SOUPS 654921 WITH SCORE 655667.152
AT ITER 2364 NEW BEST:: SOT 4399733 SOS 746438 HAS SOPS 746438 HAS SOUS 654775 HAS SOUPS 654775 WITH SCORE 655521.438
AT ITER 2402 NEW BEST:: SOT 4395888 SOS 800234 HAS SOPS 800234 HAS SOUS 654253 HAS SOUPS 654253 WITH SCORE 655053.234
AT ITER 2412 NEW BEST:: SOT 4395565 SOS 799984 HAS SOPS 799984 HAS SOUS 653873 HAS SOUPS 653873 WITH SCORE 654672.984
AT ITER 2413 NEW BEST:: SOT 4395486 SOS 799826 HAS SOPS 799826 HAS SOUS 653817 HAS SOUPS 653817 WITH SCORE 654616.826
AT ITER 2415 NEW BEST:: SOT 4395360 SOS 799919 HAS SOPS 799919 HAS SOUS 653760 HAS SOUPS 653760 WITH SCORE 654559.919
AT ITER 2420 NEW BEST:: SOT 4395186 SOS 799571 HAS SOPS 799571 HAS SOUS 653760 HAS SOUPS 653760 WITH SCORE 654559.571
AT ITER 2425 NEW BEST:: SOT 4394913 SOS 799291 HAS SOPS 799291 HAS SOUS 653250 HAS SOUPS 653250 WITH SCORE 654049.291
AT ITER 2433 NEW BEST:: SOT 4394558 SOS 798936 HAS SOPS 798936 HAS SOUS 653016 HAS SOUPS 653016 WITH SCORE 653814.936
AT ITER 2489 NEW BEST:: SOT 4394558 SOS 798771 HAS SOPS 798771 HAS SOUS 653016 HAS SOUPS 653016 WITH SCORE 653814.771
AT ITER 2506 NEW BEST:: SOT 4394558 SOS 798771 HAS SOPS 798771 HAS SOUS 653015 HAS SOUPS 653015 WITH SCORE 653813.771
AT ITER 2549 NEW BEST:: SOT 4394522 SOS 798699 HAS SOPS 798699 HAS SOUS 652943 HAS SOUPS 652943 WITH SCORE 653741.699
AT ITER 2552 NEW BEST:: SOT 4394521 SOS 798463 HAS SOPS 798463 HAS SOUS 652941 HAS SOUPS 652941 WITH SCORE 653739.463
AT ITER 2593 NEW BEST:: SOT 4394456 SOS 798333 HAS SOPS 798333 HAS SOUS 652935 HAS SOUPS 652935 WITH SCORE 653733.333
AT ITER 2594 NEW BEST:: SOT 4394328 SOS 798077 HAS SOPS 798077 HAS SOUS 652807 HAS SOUPS 652807 WITH SCORE 653605.077
AT ITER 2595 NEW BEST:: SOT 4393865 SOS 797739 HAS SOPS 797739 HAS SOUS 652469 HAS SOUPS 652469 WITH SCORE 653266.739
AT ITER 2600 NEW BEST:: SOT 4393717 SOS 797591 HAS SOPS 797591 HAS SOUS 652321 HAS SOUPS 652321 WITH SCORE 653118.591
AT ITER 2610 NEW BEST:: SOT 4393456 SOS 797338 HAS SOPS 797338 HAS SOUS 652068 HAS SOUPS 652068 WITH SCORE 652865.338
AT ITER 2617 NEW BEST:: SOT 4393456 SOS 797338 HAS SOPS 797338 HAS SOUS 651750 HAS SOUPS 651750 WITH SCORE 652547.338
AT ITER 2623 NEW BEST:: SOT 4393239 SOS 797136 HAS SOPS 797136 HAS SOUS 651539 HAS SOUPS 651539 WITH SCORE 652336.136
AT ITER 2635 NEW BEST:: SOT 4393174 SOS 796941 HAS SOPS 796941 HAS SOUS 651409 HAS SOUPS 651409 WITH SCORE 652205.941
AT ITER 2637 NEW BEST:: SOT 4393059 SOS 796596 HAS SOPS 796596 HAS SOUS 651179 HAS SOUPS 651179 WITH SCORE 651975.596
AT ITER 2642 NEW BEST:: SOT 4392961 SOS 796400 HAS SOPS 796400 HAS SOUS 650767 HAS SOUPS 650767 WITH SCORE 651563.4
AT ITER 2667 NEW BEST:: SOT 4392961 SOS 796400 HAS SOPS 796400 HAS SOUS 650538 HAS SOUPS 650538 WITH SCORE 651334.4
AT ITER 2709 NEW BEST:: SOT 4392932 SOS 796342 HAS SOPS 796342 HAS SOUS 650480 HAS SOUPS 650480 WITH SCORE 651276.342
AT ITER 2719 NEW BEST:: SOT 4392932 SOS 796205 HAS SOPS 796205 HAS SOUS 650480 HAS SOUPS 650480 WITH SCORE 651276.205
AT ITER 2726 NEW BEST:: SOT 4393010 SOS 796156 HAS SOPS 796156 HAS SOUS 650431 HAS SOUPS 650431 WITH SCORE 651227.156
AT ITER 2729 NEW BEST:: SOT 4392986 SOS 796352 HAS SOPS 796352 HAS SOUS 650407 HAS SOUPS 650407 WITH SCORE 651203.352
AT ITER 2832 NEW BEST:: SOT 4392986 SOS 796352 HAS SOPS 796352 HAS SOUS 650404 HAS SOUPS 650404 WITH SCORE 651200.352
AT ITER 2833 NEW BEST:: SOT 4392986 SOS 796309 HAS SOPS 796309 HAS SOUS 650404 HAS SOUPS 650404 WITH SCORE 651200.309
AT ITER 2849 NEW BEST:: SOT 4392953 SOS 796307 HAS SOPS 796307 HAS SOUS 650402 HAS SOUPS 650402 WITH SCORE 651198.307
AT ITER 2865 NEW BEST:: SOT 4392728 SOS 795857 HAS SOPS 795857 HAS SOUS 649952 HAS SOUPS 649952 WITH SCORE 650747.857
AT ITER 2901 NEW BEST:: SOT 4392693 SOS 795787 HAS SOPS 795787 HAS SOUS 649945 HAS SOUPS 649945 WITH SCORE 650740.787
AT ITER 2913 NEW BEST:: SOT 4392683 SOS 795767 HAS SOPS 795767 HAS SOUS 649925 HAS SOUPS 649925 WITH SCORE 650720.767
AT ITER 2915 NEW BEST:: SOT 4392466 SOS 795333 HAS SOPS 795333 HAS SOUS 649491 HAS SOUPS 649491 WITH SCORE 650286.333
AT ITER 2924 NEW BEST:: SOT 4392439 SOS 795393 HAS SOPS 795393 HAS SOUS 649464 HAS SOUPS 649464 WITH SCORE 650259.393
AT ITER 2926 NEW BEST:: SOT 4392431 SOS 795377 HAS SOPS 795377 HAS SOUS 649448 HAS SOUPS 649448 WITH SCORE 650243.377
AT ITER 2934 NEW BEST:: SOT 4392216 SOS 794947 HAS SOPS 794947 HAS SOUS 649018 HAS SOUPS 649018 WITH SCORE 649812.947
AT ITER 2959 NEW BEST:: SOT 4392216 SOS 794947 HAS SOPS 794947 HAS SOUS 648902 HAS SOUPS 648902 WITH SCORE 649696.947
AT ITER 2960 NEW BEST:: SOT 4391943 SOS 794401 HAS SOPS 794401 HAS SOUS 648356 HAS SOUPS 648356 WITH SCORE 649150.401
AT ITER 2972 NEW BEST:: SOT 4391943 SOS 794401 HAS SOPS 794401 HAS SOUS 648347 HAS SOUPS 648347 WITH SCORE 649141.401
AT ITER 2979 NEW BEST:: SOT 4391901 SOS 794373 HAS SOPS 794373 HAS SOUS 648319 HAS SOUPS 648319 WITH SCORE 649113.373
AT ITER 3004 NEW BEST:: SOT 4391217 SOS 794016 HAS SOPS 794016 HAS SOUS 647748 HAS SOUPS 647748 WITH SCORE 648542.016
AT ITER 3025 NEW BEST:: SOT 4391123 SOS 793828 HAS SOPS 793828 HAS SOUS 647436 HAS SOUPS 647436 WITH SCORE 648229.828
AT ITER 3058 NEW BEST:: SOT 4390945 SOS 793660 HAS SOPS 793660 HAS SOUS 647258 HAS SOUPS 647258 WITH SCORE 648051.66
AT ITER 3066 NEW BEST:: SOT 4390945 SOS 793579 HAS SOPS 793579 HAS SOUS 647258 HAS SOUPS 647258 WITH SCORE 648051.579
AT ITER 3069 NEW BEST:: SOT 4390509 SOS 792936 HAS SOPS 792936 HAS SOUS 646615 HAS SOUPS 646615 WITH SCORE 647407.936
AT ITER 3085 NEW BEST:: SOT 4390509 SOS 792936 HAS SOPS 792936 HAS SOUS 646572 HAS SOUPS 646572 WITH SCORE 647364.936
AT ITER 3102 NEW BEST:: SOT 4390509 SOS 792918 HAS SOPS 792918 HAS SOUS 646554 HAS SOUPS 646554 WITH SCORE 647346.918
AT ITER 3105 NEW BEST:: SOT 4390419 SOS 792738 HAS SOPS 792738 HAS SOUS 646374 HAS SOUPS 646374 WITH SCORE 647166.738
AT ITER 3106 NEW BEST:: SOT 4390411 SOS 792683 HAS SOPS 792683 HAS SOUS 646319 HAS SOUPS 646319 WITH SCORE 647111.683
AT ITER 3114 NEW BEST:: SOT 4390371 SOS 792683 HAS SOPS 792683 HAS SOUS 646279 HAS SOUPS 646279 WITH SCORE 647071.683
AT ITER 3115 NEW BEST:: SOT 4390143 SOS 792227 HAS SOPS 792227 HAS SOUS 646134 HAS SOUPS 646134 WITH SCORE 646926.227
AT ITER 3120 NEW BEST:: SOT 4390122 SOS 791980 HAS SOPS 791980 HAS SOUS 646092 HAS SOUPS 646092 WITH SCORE 646883.98
AT ITER 3129 NEW BEST:: SOT 4389931 SOS 791598 HAS SOPS 791598 HAS SOUS 645901 HAS SOUPS 645901 WITH SCORE 646692.598
AT ITER 3159 NEW BEST:: SOT 4389931 SOS 791570 HAS SOPS 791570 HAS SOUS 645873 HAS SOUPS 645873 WITH SCORE 646664.57
AT ITER 3198 NEW BEST:: SOT 4389755 SOS 791218 HAS SOPS 791218 HAS SOUS 645521 HAS SOUPS 645521 WITH SCORE 646312.218
AT ITER 3200 NEW BEST:: SOT 4389697 SOS 790972 HAS SOPS 790972 HAS SOUS 645405 HAS SOUPS 645405 WITH SCORE 646195.972
AT ITER 3220 NEW BEST:: SOT 4389697 SOS 790972 HAS SOPS 790972 HAS SOUS 645354 HAS SOUPS 645354 WITH SCORE 646144.972
AT ITER 3245 NEW BEST:: SOT 4389652 SOS 790943 HAS SOPS 790943 HAS SOUS 645309 HAS SOUPS 645309 WITH SCORE 646099.943
AT ITER 3260 NEW BEST:: SOT 4389652 SOS 790813 HAS SOPS 790813 HAS SOUS 645309 HAS SOUPS 645309 WITH SCORE 646099.813
AT ITER 3315 NEW BEST:: SOT 4389441 SOS 788914 HAS SOPS 788914 HAS SOUS 645098 HAS SOUPS 645098 WITH SCORE 645886.914
AT ITER 3328 NEW BEST:: SOT 4389441 SOS 788914 HAS SOPS 788914 HAS SOUS 645094 HAS SOUPS 645094 WITH SCORE 645882.914
AT ITER 3336 NEW BEST:: SOT 4389303 SOS 788638 HAS SOPS 788638 HAS SOUS 645087 HAS SOUPS 645087 WITH SCORE 645875.638
AT ITER 3344 NEW BEST:: SOT 4389303 SOS 788581 HAS SOPS 788581 HAS SOUS 645087 HAS SOUPS 645087 WITH SCORE 645875.581
AT ITER 3347 NEW BEST:: SOT 4389207 SOS 788389 HAS SOPS 788389 HAS SOUS 644991 HAS SOUPS 644991 WITH SCORE 645779.389
AT ITER 3380 NEW BEST:: SOT 4389111 SOS 788149 HAS SOPS 788149 HAS SOUS 644847 HAS SOUPS 644847 WITH SCORE 645635.149
AT ITER 3408 NEW BEST:: SOT 4389111 SOS 788149 HAS SOPS 788149 HAS SOUS 644585 HAS SOUPS 644585 WITH SCORE 645373.149
AT ITER 3433 NEW BEST:: SOT 4387748 SOS 789112 HAS SOPS 789112 HAS SOUS 643877 HAS SOUPS 643877 WITH SCORE 644666.112
AT ITER 3461 NEW BEST:: SOT 4387748 SOS 789112 HAS SOPS 789112 HAS SOUS 643853 HAS SOUPS 643853 WITH SCORE 644642.112
AT ITER 3469 NEW BEST:: SOT 4387062 SOS 789757 HAS SOPS 789757 HAS SOUS 643593 HAS SOUPS 643593 WITH SCORE 644382.757
AT ITER 3475 NEW BEST:: SOT 4387061 SOS 789637 HAS SOPS 789637 HAS SOUS 643474 HAS SOUPS 643474 WITH SCORE 644263.637
AT ITER 3490 NEW BEST:: SOT 4386916 SOS 789347 HAS SOPS 789347 HAS SOUS 643329 HAS SOUPS 643329 WITH SCORE 644118.347
AT ITER 3493 NEW BEST:: SOT 4386916 SOS 789309 HAS SOPS 789309 HAS SOUS 643291 HAS SOUPS 643291 WITH SCORE 644080.309
AT ITER 3544 NEW BEST:: SOT 4386853 SOS 789183 HAS SOPS 789183 HAS SOUS 643228 HAS SOUPS 643228 WITH SCORE 644017.183
AT ITER 3549 NEW BEST:: SOT 4386832 SOS 789113 HAS SOPS 789113 HAS SOUS 643163 HAS SOUPS 643163 WITH SCORE 643952.113
AT ITER 3576 NEW BEST:: SOT 4386814 SOS 789095 HAS SOPS 789095 HAS SOUS 643145 HAS SOUPS 643145 WITH SCORE 643934.095
AT ITER 3591 NEW BEST:: SOT 4386814 SOS 789041 HAS SOPS 789041 HAS SOUS 643145 HAS SOUPS 643145 WITH SCORE 643934.041
AT ITER 3602 NEW BEST:: SOT 4386283 SOS 788664 HAS SOPS 788664 HAS SOUS 642768 HAS SOUPS 642768 WITH SCORE 643556.664
AT ITER 3607 NEW BEST:: SOT 4386266 SOS 788647 HAS SOPS 788647 HAS SOUS 642734 HAS SOUPS 642734 WITH SCORE 643522.647
AT ITER 3617 NEW BEST:: SOT 4386264 SOS 788643 HAS SOPS 788643 HAS SOUS 642732 HAS SOUPS 642732 WITH SCORE 643520.643
AT ITER 3632 NEW BEST:: SOT 4386158 SOS 787873 HAS SOPS 787873 HAS SOUS 642550 HAS SOUPS 642550 WITH SCORE 643337.873
AT ITER 3666 NEW BEST:: SOT 4386085 SOS 787727 HAS SOPS 787727 HAS SOUS 642404 HAS SOUPS 642404 WITH SCORE 643191.727
AT ITER 3705 NEW BEST:: SOT 4386175 SOS 787907 HAS SOPS 787907 HAS SOUS 642401 HAS SOUPS 642401 WITH SCORE 643188.907
AT ITER 3716 NEW BEST:: SOT 4385941 SOS 787059 HAS SOPS 787059 HAS SOUS 641894 HAS SOUPS 641894 WITH SCORE 642681.059
AT ITER 3760 NEW BEST:: SOT 4385941 SOS 786834 HAS SOPS 786834 HAS SOUS 641894 HAS SOUPS 641894 WITH SCORE 642680.834
AT ITER 3776 NEW BEST:: SOT 4386013 SOS 786478 HAS SOPS 786478 HAS SOUS 641886 HAS SOUPS 641886 WITH SCORE 642672.478
AT ITER 3781 NEW BEST:: SOT 4385998 SOS 786448 HAS SOPS 786448 HAS SOUS 641856 HAS SOUPS 641856 WITH SCORE 642642.448
AT ITER 3792 NEW BEST:: SOT 4382176 SOS 784418 HAS SOPS 784418 HAS SOUS 638436 HAS SOUPS 638436 WITH SCORE 639220.418
AT ITER 3806 NEW BEST:: SOT 4382123 SOS 784194 HAS SOPS 784194 HAS SOUS 638212 HAS SOUPS 638212 WITH SCORE 638996.194
AT ITER 3815 NEW BEST:: SOT 4381837 SOS 783622 HAS SOPS 783622 HAS SOUS 637640 HAS SOUPS 637640 WITH SCORE 638423.622
AT ITER 3822 NEW BEST:: SOT 4381562 SOS 783347 HAS SOPS 783347 HAS SOUS 637365 HAS SOUPS 637365 WITH SCORE 638148.347
AT ITER 3823 NEW BEST:: SOT 4381562 SOS 783267 HAS SOPS 783267 HAS SOUS 637285 HAS SOUPS 637285 WITH SCORE 638068.267
AT ITER 3832 NEW BEST:: SOT 4381450 SOS 782987 HAS SOPS 782987 HAS SOUS 637117 HAS SOUPS 637117 WITH SCORE 637899.987
AT ITER 3834 NEW BEST:: SOT 4381342 SOS 782879 HAS SOPS 782879 HAS SOUS 636991 HAS SOUPS 636991 WITH SCORE 637773.879
AT ITER 3848 NEW BEST:: SOT 4381097 SOS 782873 HAS SOPS 782873 HAS SOUS 636833 HAS SOUPS 636833 WITH SCORE 637615.873
AT ITER 3867 NEW BEST:: SOT 4381094 SOS 782980 HAS SOPS 782980 HAS SOUS 636827 HAS SOUPS 636827 WITH SCORE 637609.98
AT ITER 3873 NEW BEST:: SOT 4380945 SOS 782682 HAS SOPS 782682 HAS SOUS 636529 HAS SOUPS 636529 WITH SCORE 637311.682
AT ITER 3900 NEW BEST:: SOT 4380870 SOS 782532 HAS SOPS 782532 HAS SOUS 636379 HAS SOUPS 636379 WITH SCORE 637161.532
AT ITER 3930 NEW BEST:: SOT 4380683 SOS 782158 HAS SOPS 782158 HAS SOUS 636347 HAS SOUPS 636347 WITH SCORE 637129.158
AT ITER 3936 NEW BEST:: SOT 4380599 SOS 782292 HAS SOPS 782292 HAS SOUS 636330 HAS SOUPS 636330 WITH SCORE 637112.292
AT ITER 3951 NEW BEST:: SOT 4380417 SOS 781928 HAS SOPS 781928 HAS SOUS 635966 HAS SOUPS 635966 WITH SCORE 636747.928
AT ITER 3960 NEW BEST:: SOT 4380308 SOS 781710 HAS SOPS 781710 HAS SOUS 635709 HAS SOUPS 635709 WITH SCORE 636490.71
AT ITER 3967 NEW BEST:: SOT 4380307 SOS 781708 HAS SOPS 781708 HAS SOUS 635707 HAS SOUPS 635707 WITH SCORE 636488.708
AT ITER 3974 NEW BEST:: SOT 4380307 SOS 781525 HAS SOPS 781525 HAS SOUS 635707 HAS SOUPS 635707 WITH SCORE 636488.525
AT ITER 4000 NEW BEST:: SOT 4380235 SOS 781381 HAS SOPS 781381 HAS SOUS 635635 HAS SOUPS 635635 WITH SCORE 636416.381
AT ITER 4002 NEW BEST:: SOT 4379877 SOS 781023 HAS SOPS 781023 HAS SOUS 635277 HAS SOUPS 635277 WITH SCORE 636058.023
AT ITER 4022 NEW BEST:: SOT 4379877 SOS 780711 HAS SOPS 780711 HAS SOUS 635277 HAS SOUPS 635277 WITH SCORE 636057.711
AT ITER 4044 NEW BEST:: SOT 4379877 SOS 780701 HAS SOPS 780701 HAS SOUS 635272 HAS SOUPS 635272 WITH SCORE 636052.701
AT ITER 4049 NEW BEST:: SOT 4379877 SOS 780701 HAS SOPS 780701 HAS SOUS 635236 HAS SOUPS 635236 WITH SCORE 636016.701
AT ITER 4081 NEW BEST:: SOT 4379782 SOS 780511 HAS SOPS 780511 HAS SOUS 635141 HAS SOUPS 635141 WITH SCORE 635921.511
AT ITER 4090 NEW BEST:: SOT 4379642 SOS 780357 HAS SOPS 780357 HAS SOUS 635113 HAS SOUPS 635113 WITH SCORE 635893.357
AT ITER 4142 NEW BEST:: SOT 4379602 SOS 780277 HAS SOPS 780277 HAS SOUS 635033 HAS SOUPS 635033 WITH SCORE 635813.277
AT ITER 4156 NEW BEST:: SOT 4379348 SOS 779769 HAS SOPS 779769 HAS SOUS 634779 HAS SOUPS 634779 WITH SCORE 635558.769
AT ITER 4178 NEW BEST:: SOT 4379348 SOS 779612 HAS SOPS 779612 HAS SOUS 634779 HAS SOUPS 634779 WITH SCORE 635558.612
AT ITER 4181 NEW BEST:: SOT 4379348 SOS 779612 HAS SOPS 779612 HAS SOUS 634711 HAS SOUPS 634711 WITH SCORE 635490.612
AT ITER 4214 NEW BEST:: SOT 4379347 SOS 779610 HAS SOPS 779610 HAS SOUS 634709 HAS SOUPS 634709 WITH SCORE 635488.61
AT ITER 4215 NEW BEST:: SOT 4379218 SOS 779352 HAS SOPS 779352 HAS SOUS 634426 HAS SOUPS 634426 WITH SCORE 635205.352
AT ITER 4216 NEW BEST:: SOT 4379162 SOS 779334 HAS SOPS 779334 HAS SOUS 634390 HAS SOUPS 634390 WITH SCORE 635169.334
AT ITER 4245 NEW BEST:: SOT 4378930 SOS 778870 HAS SOPS 778870 HAS SOUS 633926 HAS SOUPS 633926 WITH SCORE 634704.87
AT ITER 4250 NEW BEST:: SOT 4378921 SOS 778852 HAS SOPS 778852 HAS SOUS 633926 HAS SOUPS 633926 WITH SCORE 634704.852
AT ITER 4268 NEW BEST:: SOT 4378898 SOS 778806 HAS SOPS 778806 HAS SOUS 633880 HAS SOUPS 633880 WITH SCORE 634658.806
AT ITER 4279 NEW BEST:: SOT 4378898 SOS 778796 HAS SOPS 778796 HAS SOUS 633870 HAS SOUPS 633870 WITH SCORE 634648.796
AT ITER 4283 NEW BEST:: SOT 4378898 SOS 778661 HAS SOPS 778661 HAS SOUS 633870 HAS SOUPS 633870 WITH SCORE 634648.661
AT ITER 4356 NEW BEST:: SOT 4378737 SOS 778623 HAS SOPS 778623 HAS SOUS 633796 HAS SOUPS 633796 WITH SCORE 634574.623
AT ITER 4360 NEW BEST:: SOT 4378550 SOS 778505 HAS SOPS 778505 HAS SOUS 633652 HAS SOUPS 633652 WITH SCORE 634430.505
AT ITER 4400 NEW BEST:: SOT 4378549 SOS 778481 HAS SOPS 778481 HAS SOUS 633650 HAS SOUPS 633650 WITH SCORE 634428.481
AT ITER 4413 NEW BEST:: SOT 4378549 SOS 778481 HAS SOPS 778481 HAS SOUS 633558 HAS SOUPS 633558 WITH SCORE 634336.481
AT ITER 4415 NEW BEST:: SOT 4378360 SOS 778397 HAS SOPS 778397 HAS SOUS 633422 HAS SOUPS 633422 WITH SCORE 634200.397
AT ITER 4416 NEW BEST:: SOT 4378321 SOS 778319 HAS SOPS 778319 HAS SOUS 633344 HAS SOUPS 633344 WITH SCORE 634122.319
AT ITER 4467 NEW BEST:: SOT 4378320 SOS 778134 HAS SOPS 778134 HAS SOUS 633342 HAS SOUPS 633342 WITH SCORE 634120.134
AT ITER 4470 NEW BEST:: SOT 4378110 SOS 777916 HAS SOPS 777916 HAS SOUS 632930 HAS SOUPS 632930 WITH SCORE 633707.916
AT ITER 4473 NEW BEST:: SOT 4378090 SOS 777335 HAS SOPS 777335 HAS SOUS 632916 HAS SOUPS 632916 WITH SCORE 633693.335
AT ITER 4481 NEW BEST:: SOT 4378090 SOS 777284 HAS SOPS 777284 HAS SOUS 632916 HAS SOUPS 632916 WITH SCORE 633693.284
AT ITER 4484 NEW BEST:: SOT 4377851 SOS 777656 HAS SOPS 777656 HAS SOUS 632816 HAS SOUPS 632816 WITH SCORE 633593.656
AT ITER 4494 NEW BEST:: SOT 4377850 SOS 777654 HAS SOPS 777654 HAS SOUS 632814 HAS SOUPS 632814 WITH SCORE 633591.654
AT ITER 4499 NEW BEST:: SOT 4377850 SOS 777654 HAS SOPS 777654 HAS SOUS 632780 HAS SOUPS 632780 WITH SCORE 633557.654
AT ITER 4577 NEW BEST:: SOT 4377959 SOS 777610 HAS SOPS 777610 HAS SOUS 632736 HAS SOUPS 632736 WITH SCORE 633513.61
AT ITER 4603 NEW BEST:: SOT 4377941 SOS 777227 HAS SOPS 777227 HAS SOUS 632358 HAS SOUPS 632358 WITH SCORE 633135.227
AT ITER 4606 NEW BEST:: SOT 4376698 SOS 816657 HAS SOPS 816657 HAS SOUS 632113 HAS SOUPS 632113 WITH SCORE 632929.657
AT ITER 4618 NEW BEST:: SOT 4376693 SOS 816647 HAS SOPS 816647 HAS SOUS 632108 HAS SOUPS 632108 WITH SCORE 632924.647
AT ITER 4658 NEW BEST:: SOT 4376584 SOS 816429 HAS SOPS 816429 HAS SOUS 631999 HAS SOUPS 631999 WITH SCORE 632815.429
AT ITER 4734 NEW BEST:: SOT 4376569 SOS 816399 HAS SOPS 816399 HAS SOUS 631969 HAS SOUPS 631969 WITH SCORE 632785.399
AT ITER 4743 NEW BEST:: SOT 4376444 SOS 816014 HAS SOPS 816014 HAS SOUS 631869 HAS SOUPS 631869 WITH SCORE 632685.014
AT ITER 4781 NEW BEST:: SOT 4376395 SOS 815916 HAS SOPS 815916 HAS SOUS 631820 HAS SOUPS 631820 WITH SCORE 632635.916
AT ITER 4789 NEW BEST:: SOT 4375894 SOS 815414 HAS SOPS 815414 HAS SOUS 631318 HAS SOUPS 631318 WITH SCORE 632133.414
AT ITER 4797 NEW BEST:: SOT 4375894 SOS 815452 HAS SOPS 815452 HAS SOUS 631280 HAS SOUPS 631280 WITH SCORE 632095.452
AT ITER 4817 NEW BEST:: SOT 4375893 SOS 815400 HAS SOPS 815400 HAS SOUS 631278 HAS SOUPS 631278 WITH SCORE 632093.4
AT ITER 4825 NEW BEST:: SOT 4375893 SOS 815400 HAS SOPS 815400 HAS SOUS 631079 HAS SOUPS 631079 WITH SCORE 631894.4
AT ITER 4845 NEW BEST:: SOT 4375483 SOS 815016 HAS SOPS 815016 HAS SOUS 630695 HAS SOUPS 630695 WITH SCORE 631510.016
AT ITER 4858 NEW BEST:: SOT 4375468 SOS 814830 HAS SOPS 814830 HAS SOUS 630680 HAS SOUPS 630680 WITH SCORE 631494.83
AT ITER 4866 NEW BEST:: SOT 4375058 SOS 814818 HAS SOPS 814818 HAS SOUS 630270 HAS SOUPS 630270 WITH SCORE 631084.818
AT ITER 4897 NEW BEST:: SOT 4375058 SOS 814818 HAS SOPS 814818 HAS SOUS 630139 HAS SOUPS 630139 WITH SCORE 630953.818
AT ITER 4903 NEW BEST:: SOT 4375081 SOS 814485 HAS SOPS 814485 HAS SOUS 629806 HAS SOUPS 629806 WITH SCORE 630620.485
AT ITER 4907 NEW BEST:: SOT 4375080 SOS 814484 HAS SOPS 814484 HAS SOUS 629804 HAS SOUPS 629804 WITH SCORE 630618.484
AT ITER 4926 NEW BEST:: SOT 4375079 SOS 814482 HAS SOPS 814482 HAS SOUS 629802 HAS SOUPS 629802 WITH SCORE 630616.482
AT ITER 4982 NEW BEST:: SOT 4375079 SOS 814482 HAS SOPS 814482 HAS SOUS 629628 HAS SOUPS 629628 WITH SCORE 630442.482
AT ITER 4996 NEW BEST:: SOT 4375077 SOS 814478 HAS SOPS 814478 HAS SOUS 629624 HAS SOUPS 629624 WITH SCORE 630438.478
AT ITER 5001 NEW BEST:: SOT 4375077 SOS 814452 HAS SOPS 814452 HAS SOUS 629624 HAS SOUPS 629624 WITH SCORE 630438.452
AT ITER 5011 NEW BEST:: SOT 4375077 SOS 814327 HAS SOPS 814327 HAS SOUS 629429 HAS SOUPS 629429 WITH SCORE 630243.327
AT ITER 5020 NEW BEST:: SOT 4374684 SOS 814179 HAS SOPS 814179 HAS SOUS 628873 HAS SOUPS 628873 WITH SCORE 629687.179
AT ITER 5030 NEW BEST:: SOT 4374507 SOS 813943 HAS SOPS 813943 HAS SOUS 628637 HAS SOUPS 628637 WITH SCORE 629450.943
AT ITER 5041 NEW BEST:: SOT 4374386 SOS 813701 HAS SOPS 813701 HAS SOUS 628516 HAS SOUPS 628516 WITH SCORE 629329.701
AT ITER 5063 NEW BEST:: SOT 4374386 SOS 813674 HAS SOPS 813674 HAS SOUS 628489 HAS SOUPS 628489 WITH SCORE 629302.674
AT ITER 5088 NEW BEST:: SOT 4374432 SOS 813659 HAS SOPS 813659 HAS SOUS 628428 HAS SOUPS 628428 WITH SCORE 629241.659
AT ITER 5101 NEW BEST:: SOT 4374397 SOS 813589 HAS SOPS 813589 HAS SOUS 628309 HAS SOUPS 628309 WITH SCORE 629122.589
AT ITER 5105 NEW BEST:: SOT 4374397 SOS 813520 HAS SOPS 813520 HAS SOUS 628240 HAS SOUPS 628240 WITH SCORE 629053.52
AT ITER 5125 NEW BEST:: SOT 4374226 SOS 813178 HAS SOPS 813178 HAS SOUS 627898 HAS SOUPS 627898 WITH SCORE 628711.178
AT ITER 5137 NEW BEST:: SOT 4374215 SOS 813142 HAS SOPS 813142 HAS SOUS 627876 HAS SOUPS 627876 WITH SCORE 628689.142
AT ITER 5150 NEW BEST:: SOT 4373991 SOS 812694 HAS SOPS 812694 HAS SOUS 627616 HAS SOUPS 627616 WITH SCORE 628428.694
AT ITER 5157 NEW BEST:: SOT 4373957 SOS 812660 HAS SOPS 812660 HAS SOUS 627582 HAS SOUPS 627582 WITH SCORE 628394.66
AT ITER 5168 NEW BEST:: SOT 4373921 SOS 812588 HAS SOPS 812588 HAS SOUS 627546 HAS SOUPS 627546 WITH SCORE 628358.588
AT ITER 5174 NEW BEST:: SOT 4373795 SOS 812336 HAS SOPS 812336 HAS SOUS 627492 HAS SOUPS 627492 WITH SCORE 628304.336
AT ITER 5231 NEW BEST:: SOT 4373734 SOS 812214 HAS SOPS 812214 HAS SOUS 627370 HAS SOUPS 627370 WITH SCORE 628182.214
AT ITER 5269 NEW BEST:: SOT 4373734 SOS 812214 HAS SOPS 812214 HAS SOUS 627312 HAS SOUPS 627312 WITH SCORE 628124.214
AT ITER 5278 NEW BEST:: SOT 4373721 SOS 812032 HAS SOPS 812032 HAS SOUS 627143 HAS SOUPS 627143 WITH SCORE 627955.032
AT ITER 5299 NEW BEST:: SOT 4373721 SOS 811827 HAS SOPS 811827 HAS SOUS 627143 HAS SOUPS 627143 WITH SCORE 627954.827
AT ITER 5327 NEW BEST:: SOT 4373649 SOS 811814 HAS SOPS 811814 HAS SOUS 627071 HAS SOUPS 627071 WITH SCORE 627882.814
AT ITER 5329 NEW BEST:: SOT 4374210 SOS 811542 HAS SOPS 811542 HAS SOUS 627021 HAS SOUPS 627021 WITH SCORE 627832.542
AT ITER 5335 NEW BEST:: SOT 4374140 SOS 811472 HAS SOPS 811472 HAS SOUS 626951 HAS SOUPS 626951 WITH SCORE 627762.472
AT ITER 5337 NEW BEST:: SOT 4373518 SOS 810228 HAS SOPS 810228 HAS SOUS 625707 HAS SOUPS 625707 WITH SCORE 626517.228
AT ITER 5344 NEW BEST:: SOT 4373513 SOS 810213 HAS SOPS 810213 HAS SOUS 625697 HAS SOUPS 625697 WITH SCORE 626507.213
AT ITER 5346 NEW BEST:: SOT 4373402 SOS 809937 HAS SOPS 809937 HAS SOUS 625475 HAS SOUPS 625475 WITH SCORE 626284.937
AT ITER 5369 NEW BEST:: SOT 4373412 SOS 809947 HAS SOPS 809947 HAS SOUS 625207 HAS SOUPS 625207 WITH SCORE 626016.947
AT ITER 5397 NEW BEST:: SOT 4373412 SOS 809947 HAS SOPS 809947 HAS SOUS 625111 HAS SOUPS 625111 WITH SCORE 625920.947
AT ITER 5402 NEW BEST:: SOT 4373341 SOS 809805 HAS SOPS 809805 HAS SOUS 624969 HAS SOUPS 624969 WITH SCORE 625778.805
AT ITER 5427 NEW BEST:: SOT 4373341 SOS 809774 HAS SOPS 809774 HAS SOUS 624969 HAS SOUPS 624969 WITH SCORE 625778.774
AT ITER 5440 NEW BEST:: SOT 4373124 SOS 808881 HAS SOPS 808881 HAS SOUS 624901 HAS SOUPS 624901 WITH SCORE 625709.881
AT ITER 5459 NEW BEST:: SOT 4372859 SOS 808351 HAS SOPS 808351 HAS SOUS 624885 HAS SOUPS 624885 WITH SCORE 625693.351
AT ITER 5465 NEW BEST:: SOT 4372532 SOS 807697 HAS SOPS 807697 HAS SOUS 624558 HAS SOUPS 624558 WITH SCORE 625365.697
AT ITER 5473 NEW BEST:: SOT 4372388 SOS 807409 HAS SOPS 807409 HAS SOUS 624414 HAS SOUPS 624414 WITH SCORE 625221.409
AT ITER 5525 NEW BEST:: SOT 4372387 SOS 807407 HAS SOPS 807407 HAS SOUS 624412 HAS SOUPS 624412 WITH SCORE 625219.407
AT ITER 5543 NEW BEST:: SOT 4372450 SOS 807038 HAS SOPS 807038 HAS SOUS 624040 HAS SOUPS 624040 WITH SCORE 624847.038
AT ITER 5544 NEW BEST:: SOT 4372449 SOS 807036 HAS SOPS 807036 HAS SOUS 624038 HAS SOUPS 624038 WITH SCORE 624845.036
AT ITER 5565 NEW BEST:: SOT 4372402 SOS 807169 HAS SOPS 807169 HAS SOUS 624034 HAS SOUPS 624034 WITH SCORE 624841.169
AT ITER 5592 NEW BEST:: SOT 4372287 SOS 807588 HAS SOPS 807588 HAS SOUS 623965 HAS SOUPS 623965 WITH SCORE 624772.588
AT ITER 5674 NEW BEST:: SOT 4372224 SOS 807741 HAS SOPS 807741 HAS SOUS 623902 HAS SOUPS 623902 WITH SCORE 624709.741
AT ITER 5683 NEW BEST:: SOT 4372168 SOS 807685 HAS SOPS 807685 HAS SOUS 623846 HAS SOUPS 623846 WITH SCORE 624653.685
AT ITER 5696 NEW BEST:: SOT 4372066 SOS 807941 HAS SOPS 807941 HAS SOUS 623790 HAS SOUPS 623790 WITH SCORE 624597.941
AT ITER 5728 NEW BEST:: SOT 4372066 SOS 807850 HAS SOPS 807850 HAS SOUS 623699 HAS SOUPS 623699 WITH SCORE 624506.85
AT ITER 5736 NEW BEST:: SOT 4372017 SOS 807752 HAS SOPS 807752 HAS SOUS 623619 HAS SOUPS 623619 WITH SCORE 624426.752
AT ITER 5752 NEW BEST:: SOT 4371729 SOS 807176 HAS SOPS 807176 HAS SOUS 623331 HAS SOUPS 623331 WITH SCORE 624138.176
AT ITER 5766 NEW BEST:: SOT 4371624 SOS 806966 HAS SOPS 806966 HAS SOUS 622979 HAS SOUPS 622979 WITH SCORE 623785.966
AT ITER 5816 NEW BEST:: SOT 4371619 SOS 806961 HAS SOPS 806961 HAS SOUS 622974 HAS SOUPS 622974 WITH SCORE 623780.961
AT ITER 5833 NEW BEST:: SOT 4371508 SOS 806739 HAS SOPS 806739 HAS SOUS 622752 HAS SOUPS 622752 WITH SCORE 623558.739
AT ITER 5883 NEW BEST:: SOT 4371521 SOS 806218 HAS SOPS 806218 HAS SOUS 622626 HAS SOUPS 622626 WITH SCORE 623432.218
AT ITER 5896 NEW BEST:: SOT 4371520 SOS 806216 HAS SOPS 806216 HAS SOUS 622624 HAS SOUPS 622624 WITH SCORE 623430.216
AT ITER 5929 NEW BEST:: SOT 4371149 SOS 805474 HAS SOPS 805474 HAS SOUS 622341 HAS SOUPS 622341 WITH SCORE 623146.474
AT ITER 5945 NEW BEST:: SOT 4371059 SOS 805429 HAS SOPS 805429 HAS SOUS 622296 HAS SOUPS 622296 WITH SCORE 623101.429
AT ITER 5948 NEW BEST:: SOT 4371058 SOS 805427 HAS SOPS 805427 HAS SOUS 622294 HAS SOUPS 622294 WITH SCORE 623099.427
AT ITER 5956 NEW BEST:: SOT 4371057 SOS 805425 HAS SOPS 805425 HAS SOUS 622292 HAS SOUPS 622292 WITH SCORE 623097.425
AT ITER 5962 NEW BEST:: SOT 4371057 SOS 805416 HAS SOPS 805416 HAS SOUS 622292 HAS SOUPS 622292 WITH SCORE 623097.416
AT ITER 5990 NEW BEST:: SOT 4370971 SOS 805244 HAS SOPS 805244 HAS SOUS 622120 HAS SOUPS 622120 WITH SCORE 622925.244
AT ITER 5999 NEW BEST:: SOT 4370879 SOS 805216 HAS SOPS 805216 HAS SOUS 622080 HAS SOUPS 622080 WITH SCORE 622885.216
AT ITER 6010 NEW BEST:: SOT 4370818 SOS 805094 HAS SOPS 805094 HAS SOUS 621958 HAS SOUPS 621958 WITH SCORE 622763.094
AT ITER 6037 NEW BEST:: SOT 4371256 SOS 775220 HAS SOPS 775220 HAS SOUS 621944 HAS SOUPS 621944 WITH SCORE 622719.22
AT ITER 6107 NEW BEST:: SOT 4371256 SOS 774967 HAS SOPS 774967 HAS SOUS 621944 HAS SOUPS 621944 WITH SCORE 622718.967
AT ITER 6112 NEW BEST:: SOT 4371159 SOS 774572 HAS SOPS 774572 HAS SOUS 621552 HAS SOUPS 621552 WITH SCORE 622326.572
AT ITER 6126 NEW BEST:: SOT 4370960 SOS 774308 HAS SOPS 774308 HAS SOUS 621353 HAS SOUPS 621353 WITH SCORE 622127.308
AT ITER 6140 NEW BEST:: SOT 4371145 SOS 774678 HAS SOPS 774678 HAS SOUS 621233 HAS SOUPS 621233 WITH SCORE 622007.678
AT ITER 6153 NEW BEST:: SOT 4371031 SOS 774694 HAS SOPS 774694 HAS SOUS 621196 HAS SOUPS 621196 WITH SCORE 621970.694
AT ITER 6205 NEW BEST:: SOT 4370125 SOS 775395 HAS SOPS 775395 HAS SOUS 620930 HAS SOUPS 620930 WITH SCORE 621705.395
AT ITER 6208 NEW BEST:: SOT 4370106 SOS 775357 HAS SOPS 775357 HAS SOUS 620543 HAS SOUPS 620543 WITH SCORE 621318.357
AT ITER 6246 NEW BEST:: SOT 4369985 SOS 775236 HAS SOPS 775236 HAS SOUS 620422 HAS SOUPS 620422 WITH SCORE 621197.236
AT ITER 6248 NEW BEST:: SOT 4369965 SOS 775196 HAS SOPS 775196 HAS SOUS 620382 HAS SOUPS 620382 WITH SCORE 621157.196
AT ITER 6262 NEW BEST:: SOT 4369916 SOS 775098 HAS SOPS 775098 HAS SOUS 620284 HAS SOUPS 620284 WITH SCORE 621059.098
AT ITER 6285 NEW BEST:: SOT 4369811 SOS 774834 HAS SOPS 774834 HAS SOUS 620126 HAS SOUPS 620126 WITH SCORE 620900.834
AT ITER 6288 NEW BEST:: SOT 4369801 SOS 774814 HAS SOPS 774814 HAS SOUS 620116 HAS SOUPS 620116 WITH SCORE 620890.814
AT ITER 6327 NEW BEST:: SOT 4369801 SOS 774783 HAS SOPS 774783 HAS SOUS 620085 HAS SOUPS 620085 WITH SCORE 620859.783
AT ITER 6351 NEW BEST:: SOT 4369762 SOS 774705 HAS SOPS 774705 HAS SOUS 620007 HAS SOUPS 620007 WITH SCORE 620781.705
AT ITER 6379 NEW BEST:: SOT 4369692 SOS 774307 HAS SOPS 774307 HAS SOUS 619757 HAS SOUPS 619757 WITH SCORE 620531.307
AT ITER 6383 NEW BEST:: SOT 4368699 SOS 778068 HAS SOPS 778068 HAS SOUS 619548 HAS SOUPS 619548 WITH SCORE 620326.068
AT ITER 6389 NEW BEST:: SOT 4368633 SOS 777936 HAS SOPS 777936 HAS SOUS 619416 HAS SOUPS 619416 WITH SCORE 620193.936
AT ITER 6443 NEW BEST:: SOT 4368661 SOS 777992 HAS SOPS 777992 HAS SOUS 619404 HAS SOUPS 619404 WITH SCORE 620181.992
AT ITER 6449 NEW BEST:: SOT 4368528 SOS 777859 HAS SOPS 777859 HAS SOUS 619271 HAS SOUPS 619271 WITH SCORE 620048.859
AT ITER 6462 NEW BEST:: SOT 4368166 SOS 777316 HAS SOPS 777316 HAS SOUS 618728 HAS SOUPS 618728 WITH SCORE 619505.316
AT ITER 6485 NEW BEST:: SOT 4368165 SOS 777314 HAS SOPS 777314 HAS SOUS 618726 HAS SOUPS 618726 WITH SCORE 619503.314
AT ITER 6507 NEW BEST:: SOT 4368040 SOS 777174 HAS SOPS 777174 HAS SOUS 618696 HAS SOUPS 618696 WITH SCORE 619473.174
AT ITER 6525 NEW BEST:: SOT 4367954 SOS 777174 HAS SOPS 777174 HAS SOUS 618610 HAS SOUPS 618610 WITH SCORE 619387.174
AT ITER 6557 NEW BEST:: SOT 4367782 SOS 776830 HAS SOPS 776830 HAS SOUS 618507 HAS SOUPS 618507 WITH SCORE 619283.83
AT ITER 6567 NEW BEST:: SOT 4367678 SOS 776726 HAS SOPS 776726 HAS SOUS 618403 HAS SOUPS 618403 WITH SCORE 619179.726
AT ITER 6610 NEW BEST:: SOT 4367592 SOS 777227 HAS SOPS 777227 HAS SOUS 618231 HAS SOUPS 618231 WITH SCORE 619008.227
AT ITER 6612 NEW BEST:: SOT 4367334 SOS 776711 HAS SOPS 776711 HAS SOUS 617715 HAS SOUPS 617715 WITH SCORE 618491.711
AT ITER 6636 NEW BEST:: SOT 4367334 SOS 776641 HAS SOPS 776641 HAS SOUS 617650 HAS SOUPS 617650 WITH SCORE 618426.641
AT ITER 6654 NEW BEST:: SOT 4367334 SOS 776594 HAS SOPS 776594 HAS SOUS 617603 HAS SOUPS 617603 WITH SCORE 618379.594
AT ITER 6709 NEW BEST:: SOT 4367333 SOS 776592 HAS SOPS 776592 HAS SOUS 617601 HAS SOUPS 617601 WITH SCORE 618377.592
AT ITER 6711 NEW BEST:: SOT 4367183 SOS 776442 HAS SOPS 776442 HAS SOUS 617451 HAS SOUPS 617451 WITH SCORE 618227.442
AT ITER 6714 NEW BEST:: SOT 4367158 SOS 776392 HAS SOPS 776392 HAS SOUS 617426 HAS SOUPS 617426 WITH SCORE 618202.392
AT ITER 6826 NEW BEST:: SOT 4367292 SOS 776527 HAS SOPS 776527 HAS SOUS 617294 HAS SOUPS 617294 WITH SCORE 618070.527
AT ITER 6865 NEW BEST:: SOT 4367292 SOS 776527 HAS SOPS 776527 HAS SOUS 617263 HAS SOUPS 617263 WITH SCORE 618039.527
AT ITER 6877 NEW BEST:: SOT 4367243 SOS 776279 HAS SOPS 776279 HAS SOUS 617146 HAS SOUPS 617146 WITH SCORE 617922.279
AT ITER 6883 NEW BEST:: SOT 4367128 SOS 776277 HAS SOPS 776277 HAS SOUS 617087 HAS SOUPS 617087 WITH SCORE 617863.277
AT ITER 6901 NEW BEST:: SOT 4367069 SOS 776159 HAS SOPS 776159 HAS SOUS 617028 HAS SOUPS 617028 WITH SCORE 617804.159
AT ITER 6920 NEW BEST:: SOT 4367111 SOS 776243 HAS SOPS 776243 HAS SOUS 616701 HAS SOUPS 616701 WITH SCORE 617477.243
AT ITER 6925 NEW BEST:: SOT 4367080 SOS 776181 HAS SOPS 776181 HAS SOUS 616670 HAS SOUPS 616670 WITH SCORE 617446.181
AT ITER 6930 NEW BEST:: SOT 4366928 SOS 775877 HAS SOPS 775877 HAS SOUS 616366 HAS SOUPS 616366 WITH SCORE 617141.877
AT ITER 6933 NEW BEST:: SOT 4366854 SOS 775974 HAS SOPS 775974 HAS SOUS 616293 HAS SOUPS 616293 WITH SCORE 617068.974
AT ITER 6936 NEW BEST:: SOT 4366812 SOS 775890 HAS SOPS 775890 HAS SOUS 616251 HAS SOUPS 616251 WITH SCORE 617026.89
AT ITER 6949 NEW BEST:: SOT 4366812 SOS 775785 HAS SOPS 775785 HAS SOUS 616146 HAS SOUPS 616146 WITH SCORE 616921.785
AT ITER 6961 NEW BEST:: SOT 4366121 SOS 721683 HAS SOPS 721683 HAS SOUS 615455 HAS SOUPS 615455 WITH SCORE 616176.683
AT ITER 6962 NEW BEST:: SOT 4366085 SOS 721647 HAS SOPS 721647 HAS SOUS 615419 HAS SOUPS 615419 WITH SCORE 616140.647
AT ITER 7017 NEW BEST:: SOT 4366081 SOS 721639 HAS SOPS 721639 HAS SOUS 615413 HAS SOUPS 615413 WITH SCORE 616134.639
AT ITER 7058 NEW BEST:: SOT 4366028 SOS 721633 HAS SOPS 721633 HAS SOUS 615360 HAS SOUPS 615360 WITH SCORE 616081.633
AT ITER 7153 NEW BEST:: SOT 4366013 SOS 721620 HAS SOPS 721620 HAS SOUS 615328 HAS SOUPS 615328 WITH SCORE 616049.62
AT ITER 7167 NEW BEST:: SOT 4366013 SOS 721569 HAS SOPS 721569 HAS SOUS 615328 HAS SOUPS 615328 WITH SCORE 616049.569
AT ITER 7169 NEW BEST:: SOT 4366007 SOS 721557 HAS SOPS 721557 HAS SOUS 615316 HAS SOUPS 615316 WITH SCORE 616037.557
AT ITER 7170 NEW BEST:: SOT 4365693 SOS 721937 HAS SOPS 721937 HAS SOUS 614948 HAS SOUPS 614948 WITH SCORE 615669.937
AT ITER 7198 NEW BEST:: SOT 4365905 SOS 721887 HAS SOPS 721887 HAS SOUS 614923 HAS SOUPS 614923 WITH SCORE 615644.887
AT ITER 7204 NEW BEST:: SOT 4365889 SOS 721855 HAS SOPS 721855 HAS SOUS 614891 HAS SOUPS 614891 WITH SCORE 615612.855
AT ITER 7207 NEW BEST:: SOT 4365871 SOS 721819 HAS SOPS 721819 HAS SOUS 614855 HAS SOUPS 614855 WITH SCORE 615576.819
AT ITER 7229 NEW BEST:: SOT 4365936 SOS 721949 HAS SOPS 721949 HAS SOUS 614838 HAS SOUPS 614838 WITH SCORE 615559.949
AT ITER 7230 NEW BEST:: SOT 4365936 SOS 721861 HAS SOPS 721861 HAS SOUS 614838 HAS SOUPS 614838 WITH SCORE 615559.861
AT ITER 7286 NEW BEST:: SOT 4365966 SOS 721533 HAS SOPS 721533 HAS SOUS 614741 HAS SOUPS 614741 WITH SCORE 615462.533
AT ITER 7322 NEW BEST:: SOT 4366015 SOS 721516 HAS SOPS 721516 HAS SOUS 614724 HAS SOUPS 614724 WITH SCORE 615445.516
AT ITER 7336 NEW BEST:: SOT 4365853 SOS 721030 HAS SOPS 721030 HAS SOUS 614400 HAS SOUPS 614400 WITH SCORE 615121.03
AT ITER 7353 NEW BEST:: SOT 4365850 SOS 721024 HAS SOPS 721024 HAS SOUS 614394 HAS SOUPS 614394 WITH SCORE 615115.024
AT ITER 7354 NEW BEST:: SOT 4365850 SOS 720953 HAS SOPS 720953 HAS SOUS 614323 HAS SOUPS 614323 WITH SCORE 615043.953
AT ITER 7397 NEW BEST:: SOT 4365850 SOS 720877 HAS SOPS 720877 HAS SOUS 614323 HAS SOUPS 614323 WITH SCORE 615043.877
AT ITER 7402 NEW BEST:: SOT 4365795 SOS 720767 HAS SOPS 720767 HAS SOUS 614213 HAS SOUPS 614213 WITH SCORE 614933.767
AT ITER 7416 NEW BEST:: SOT 4365791 SOS 720403 HAS SOPS 720403 HAS SOUS 613905 HAS SOUPS 613905 WITH SCORE 614625.403
AT ITER 7426 NEW BEST:: SOT 4365791 SOS 720121 HAS SOPS 720121 HAS SOUS 613905 HAS SOUPS 613905 WITH SCORE 614625.121
AT ITER 7447 NEW BEST:: SOT 4365778 SOS 720095 HAS SOPS 720095 HAS SOUS 613879 HAS SOUPS 613879 WITH SCORE 614599.095
AT ITER 7468 NEW BEST:: SOT 4365778 SOS 720095 HAS SOPS 720095 HAS SOUS 613590 HAS SOUPS 613590 WITH SCORE 614310.095
AT ITER 7483 NEW BEST:: SOT 4365657 SOS 720014 HAS SOPS 720014 HAS SOUS 613506 HAS SOUPS 613506 WITH SCORE 614226.014
AT ITER 7487 NEW BEST:: SOT 4365657 SOS 720014 HAS SOPS 720014 HAS SOUS 613457 HAS SOUPS 613457 WITH SCORE 614177.014
AT ITER 7491 NEW BEST:: SOT 4365642 SOS 719984 HAS SOPS 719984 HAS SOUS 613427 HAS SOUPS 613427 WITH SCORE 614146.984
AT ITER 7497 NEW BEST:: SOT 4365601 SOS 719902 HAS SOPS 719902 HAS SOUS 613280 HAS SOUPS 613280 WITH SCORE 613999.902
AT ITER 7509 NEW BEST:: SOT 4365601 SOS 719900 HAS SOPS 719900 HAS SOUS 613280 HAS SOUPS 613280 WITH SCORE 613999.9
AT ITER 7520 NEW BEST:: SOT 4365429 SOS 719556 HAS SOPS 719556 HAS SOUS 612936 HAS SOUPS 612936 WITH SCORE 613655.556
AT ITER 7540 NEW BEST:: SOT 4365404 SOS 719531 HAS SOPS 719531 HAS SOUS 612886 HAS SOUPS 612886 WITH SCORE 613605.531
AT ITER 7548 NEW BEST:: SOT 4365348 SOS 720243 HAS SOPS 720243 HAS SOUS 612830 HAS SOUPS 612830 WITH SCORE 613550.243
AT ITER 7568 NEW BEST:: SOT 4365348 SOS 719962 HAS SOPS 719962 HAS SOUS 612830 HAS SOUPS 612830 WITH SCORE 613549.962
AT ITER 7662 NEW BEST:: SOT 4365216 SOS 719869 HAS SOPS 719869 HAS SOUS 612704 HAS SOUPS 612704 WITH SCORE 613423.869
AT ITER 7729 NEW BEST:: SOT 4365185 SOS 719807 HAS SOPS 719807 HAS SOUS 612642 HAS SOUPS 612642 WITH SCORE 613361.807
AT ITER 7753 NEW BEST:: SOT 4365055 SOS 719528 HAS SOPS 719528 HAS SOUS 612519 HAS SOUPS 612519 WITH SCORE 613238.528
AT ITER 7779 NEW BEST:: SOT 4365014 SOS 719311 HAS SOPS 719311 HAS SOUS 612437 HAS SOUPS 612437 WITH SCORE 613156.311
AT ITER 7804 NEW BEST:: SOT 4364845 SOS 719277 HAS SOPS 719277 HAS SOUS 612403 HAS SOUPS 612403 WITH SCORE 613122.277
AT ITER 7807 NEW BEST:: SOT 4360778 SOS 765953 HAS SOPS 765953 HAS SOUS 610241 HAS SOUPS 610241 WITH SCORE 611006.953
AT ITER 7849 NEW BEST:: SOT 4360726 SOS 765849 HAS SOPS 765849 HAS SOUS 609989 HAS SOUPS 609989 WITH SCORE 610754.849
AT ITER 7879 NEW BEST:: SOT 4360522 SOS 765594 HAS SOPS 765594 HAS SOUS 609734 HAS SOUPS 609734 WITH SCORE 610499.594
AT ITER 7914 NEW BEST:: SOT 4360504 SOS 765540 HAS SOPS 765540 HAS SOUS 609698 HAS SOUPS 609698 WITH SCORE 610463.54
AT ITER 7998 NEW BEST:: SOT 4360546 SOS 765624 HAS SOPS 765624 HAS SOUS 609489 HAS SOUPS 609489 WITH SCORE 610254.624
AT ITER 8003 NEW BEST:: SOT 4360546 SOS 765624 HAS SOPS 765624 HAS SOUS 609382 HAS SOUPS 609382 WITH SCORE 610147.624
AT ITER 8027 NEW BEST:: SOT 4360427 SOS 765505 HAS SOPS 765505 HAS SOUS 609144 HAS SOUPS 609144 WITH SCORE 609909.505
AT ITER 8029 NEW BEST:: SOT 4360089 SOS 764829 HAS SOPS 764829 HAS SOUS 608806 HAS SOUPS 608806 WITH SCORE 609570.829
AT ITER 8076 NEW BEST:: SOT 4359785 SOS 763846 HAS SOPS 763846 HAS SOUS 608198 HAS SOUPS 608198 WITH SCORE 608961.846
AT ITER 8077 NEW BEST:: SOT 4359577 SOS 763430 HAS SOPS 763430 HAS SOUS 607813 HAS SOUPS 607813 WITH SCORE 608576.43
AT ITER 8079 NEW BEST:: SOT 4359776 SOS 762992 HAS SOPS 762992 HAS SOUS 607625 HAS SOUPS 607625 WITH SCORE 608387.992
AT ITER 8143 NEW BEST:: SOT 4359776 SOS 762958 HAS SOPS 762958 HAS SOUS 607625 HAS SOUPS 607625 WITH SCORE 608387.958
AT ITER 8147 NEW BEST:: SOT 4359754 SOS 762914 HAS SOPS 762914 HAS SOUS 607603 HAS SOUPS 607603 WITH SCORE 608365.914
AT ITER 8166 NEW BEST:: SOT 4359753 SOS 762912 HAS SOPS 762912 HAS SOUS 607601 HAS SOUPS 607601 WITH SCORE 608363.912
AT ITER 8179 NEW BEST:: SOT 4359623 SOS 762652 HAS SOPS 762652 HAS SOUS 607341 HAS SOUPS 607341 WITH SCORE 608103.652
AT ITER 8240 NEW BEST:: SOT 4359293 SOS 762476 HAS SOPS 762476 HAS SOUS 607044 HAS SOUPS 607044 WITH SCORE 607806.476
AT ITER 8250 NEW BEST:: SOT 4359237 SOS 762364 HAS SOPS 762364 HAS SOUS 606987 HAS SOUPS 606987 WITH SCORE 607749.364
AT ITER 8263 NEW BEST:: SOT 4359237 SOS 762297 HAS SOPS 762297 HAS SOUS 606987 HAS SOUPS 606987 WITH SCORE 607749.297
AT ITER 8272 NEW BEST:: SOT 4359237 SOS 762246 HAS SOPS 762246 HAS SOUS 606936 HAS SOUPS 606936 WITH SCORE 607698.246
AT ITER 8274 NEW BEST:: SOT 4359183 SOS 762138 HAS SOPS 762138 HAS SOUS 606882 HAS SOUPS 606882 WITH SCORE 607644.138
AT ITER 8335 NEW BEST:: SOT 4358361 SOS 761888 HAS SOPS 761888 HAS SOUS 606215 HAS SOUPS 606215 WITH SCORE 606976.888
AT ITER 8367 NEW BEST:: SOT 4358322 SOS 761810 HAS SOPS 761810 HAS SOUS 606127 HAS SOUPS 606127 WITH SCORE 606888.81
AT ITER 8386 NEW BEST:: SOT 4358244 SOS 761884 HAS SOPS 761884 HAS SOUS 605879 HAS SOUPS 605879 WITH SCORE 606640.884
AT ITER 8422 NEW BEST:: SOT 4358244 SOS 761786 HAS SOPS 761786 HAS SOUS 605781 HAS SOUPS 605781 WITH SCORE 606542.786
AT ITER 8431 NEW BEST:: SOT 4358148 SOS 761594 HAS SOPS 761594 HAS SOUS 605667 HAS SOUPS 605667 WITH SCORE 606428.594
AT ITER 8434 NEW BEST:: SOT 4357908 SOS 761114 HAS SOPS 761114 HAS SOUS 605187 HAS SOUPS 605187 WITH SCORE 605948.114
AT ITER 8465 NEW BEST:: SOT 4357908 SOS 760741 HAS SOPS 760741 HAS SOUS 604814 HAS SOUPS 604814 WITH SCORE 605574.741
AT ITER 8471 NEW BEST:: SOT 4357872 SOS 760669 HAS SOPS 760669 HAS SOUS 604623 HAS SOUPS 604623 WITH SCORE 605383.669
AT ITER 8480 NEW BEST:: SOT 4357872 SOS 760635 HAS SOPS 760635 HAS SOUS 604623 HAS SOUPS 604623 WITH SCORE 605383.635
AT ITER 8482 NEW BEST:: SOT 4357887 SOS 759305 HAS SOPS 759305 HAS SOUS 604193 HAS SOUPS 604193 WITH SCORE 604952.305
AT ITER 8548 NEW BEST:: SOT 4357541 SOS 759203 HAS SOPS 759203 HAS SOUS 603934 HAS SOUPS 603934 WITH SCORE 604693.203
AT ITER 8550 NEW BEST:: SOT 4357364 SOS 759090 HAS SOPS 759090 HAS SOUS 603757 HAS SOUPS 603757 WITH SCORE 604516.09
AT ITER 8562 NEW BEST:: SOT 4357363 SOS 759088 HAS SOPS 759088 HAS SOUS 603755 HAS SOUPS 603755 WITH SCORE 604514.088
AT ITER 8579 NEW BEST:: SOT 4357107 SOS 758576 HAS SOPS 758576 HAS SOUS 603358 HAS SOUPS 603358 WITH SCORE 604116.576
AT ITER 8590 NEW BEST:: SOT 4357063 SOS 758488 HAS SOPS 758488 HAS SOUS 603270 HAS SOUPS 603270 WITH SCORE 604028.488
AT ITER 8609 NEW BEST:: SOT 4356630 SOS 757910 HAS SOPS 757910 HAS SOUS 602702 HAS SOUPS 602702 WITH SCORE 603459.91
AT ITER 8612 NEW BEST:: SOT 4356626 SOS 757508 HAS SOPS 757508 HAS SOUS 602497 HAS SOUPS 602497 WITH SCORE 603254.508
AT ITER 8650 NEW BEST:: SOT 4356626 SOS 757412 HAS SOPS 757412 HAS SOUS 602497 HAS SOUPS 602497 WITH SCORE 603254.412
AT ITER 8680 NEW BEST:: SOT 4356749 SOS 756784 HAS SOPS 756784 HAS SOUS 602388 HAS SOUPS 602388 WITH SCORE 603144.784
AT ITER 8683 NEW BEST:: SOT 4356064 SOS 758996 HAS SOPS 758996 HAS SOUS 602337 HAS SOUPS 602337 WITH SCORE 603095.996
AT ITER 8714 NEW BEST:: SOT 4355878 SOS 758717 HAS SOPS 758717 HAS SOUS 602058 HAS SOUPS 602058 WITH SCORE 602816.717
AT ITER 8726 NEW BEST:: SOT 4355810 SOS 758581 HAS SOPS 758581 HAS SOUS 601990 HAS SOUPS 601990 WITH SCORE 602748.581
AT ITER 8730 NEW BEST:: SOT 4355809 SOS 758579 HAS SOPS 758579 HAS SOUS 601988 HAS SOUPS 601988 WITH SCORE 602746.579
AT ITER 8779 NEW BEST:: SOT 4355786 SOS 758556 HAS SOPS 758556 HAS SOUS 601942 HAS SOUPS 601942 WITH SCORE 602700.556
AT ITER 8817 NEW BEST:: SOT 4355696 SOS 758376 HAS SOPS 758376 HAS SOUS 601762 HAS SOUPS 601762 WITH SCORE 602520.376
AT ITER 8841 NEW BEST:: SOT 4355754 SOS 758492 HAS SOPS 758492 HAS SOUS 601751 HAS SOUPS 601751 WITH SCORE 602509.492
AT ITER 8842 NEW BEST:: SOT 4355661 SOS 758306 HAS SOPS 758306 HAS SOUS 601745 HAS SOUPS 601745 WITH SCORE 602503.306
AT ITER 8844 NEW BEST:: SOT 4355349 SOS 758276 HAS SOPS 758276 HAS SOUS 601664 HAS SOUPS 601664 WITH SCORE 602422.276
AT ITER 8872 NEW BEST:: SOT 4355349 SOS 758238 HAS SOPS 758238 HAS SOUS 601664 HAS SOUPS 601664 WITH SCORE 602422.238
AT ITER 8878 NEW BEST:: SOT 4355324 SOS 758188 HAS SOPS 758188 HAS SOUS 601453 HAS SOUPS 601453 WITH SCORE 602211.188
AT ITER 8894 NEW BEST:: SOT 4355296 SOS 757886 HAS SOPS 757886 HAS SOUS 601306 HAS SOUPS 601306 WITH SCORE 602063.886
AT ITER 8897 NEW BEST:: SOT 4355296 SOS 757834 HAS SOPS 757834 HAS SOUS 601306 HAS SOUPS 601306 WITH SCORE 602063.834
AT ITER 8917 NEW BEST:: SOT 4355227 SOS 757792 HAS SOPS 757792 HAS SOUS 601237 HAS SOUPS 601237 WITH SCORE 601994.792
AT ITER 8923 NEW BEST:: SOT 4355227 SOS 757667 HAS SOPS 757667 HAS SOUS 601237 HAS SOUPS 601237 WITH SCORE 601994.667
AT ITER 8954 NEW BEST:: SOT 4355130 SOS 757579 HAS SOPS 757579 HAS SOUS 601140 HAS SOUPS 601140 WITH SCORE 601897.579
AT ITER 8969 NEW BEST:: SOT 4354947 SOS 757645 HAS SOPS 757645 HAS SOUS 601084 HAS SOUPS 601084 WITH SCORE 601841.645
AT ITER 8981 NEW BEST:: SOT 4354947 SOS 757617 HAS SOPS 757617 HAS SOUS 601056 HAS SOUPS 601056 WITH SCORE 601813.617
AT ITER 8985 NEW BEST:: SOT 4354826 SOS 757375 HAS SOPS 757375 HAS SOUS 600943 HAS SOUPS 600943 WITH SCORE 601700.375
AT ITER 8998 NEW BEST:: SOT 4354985 SOS 757348 HAS SOPS 757348 HAS SOUS 600916 HAS SOUPS 600916 WITH SCORE 601673.348
AT ITER 9046 NEW BEST:: SOT 4354964 SOS 757327 HAS SOPS 757327 HAS SOUS 600895 HAS SOUPS 600895 WITH SCORE 601652.327
AT ITER 9061 NEW BEST:: SOT 4354864 SOS 757375 HAS SOPS 757375 HAS SOUS 600869 HAS SOUPS 600869 WITH SCORE 601626.375
AT ITER 9084 NEW BEST:: SOT 4354661 SOS 756969 HAS SOPS 756969 HAS SOUS 600848 HAS SOUPS 600848 WITH SCORE 601604.969
AT ITER 9101 NEW BEST:: SOT 4354617 SOS 756771 HAS SOPS 756771 HAS SOUS 600702 HAS SOUPS 600702 WITH SCORE 601458.771
AT ITER 9113 NEW BEST:: SOT 4354529 SOS 756595 HAS SOPS 756595 HAS SOUS 600526 HAS SOUPS 600526 WITH SCORE 601282.595
AT ITER 9140 NEW BEST:: SOT 4354529 SOS 756403 HAS SOPS 756403 HAS SOUS 600334 HAS SOUPS 600334 WITH SCORE 601090.403
AT ITER 9167 NEW BEST:: SOT 4354044 SOS 722967 HAS SOPS 722967 HAS SOUS 599220 HAS SOUPS 599220 WITH SCORE 599942.967
AT ITER 9172 NEW BEST:: SOT 4353879 SOS 722868 HAS SOPS 722868 HAS SOUS 599030 HAS SOUPS 599030 WITH SCORE 599752.868
AT ITER 9182 NEW BEST:: SOT 4353738 SOS 722727 HAS SOPS 722727 HAS SOUS 598889 HAS SOUPS 598889 WITH SCORE 599611.727
AT ITER 9188 NEW BEST:: SOT 4353462 SOS 721623 HAS SOPS 721623 HAS SOUS 598612 HAS SOUPS 598612 WITH SCORE 599333.623
AT ITER 9219 NEW BEST:: SOT 4353434 SOS 721567 HAS SOPS 721567 HAS SOUS 598584 HAS SOUPS 598584 WITH SCORE 599305.567
AT ITER 9234 NEW BEST:: SOT 4353305 SOS 721309 HAS SOPS 721309 HAS SOUS 598105 HAS SOUPS 598105 WITH SCORE 598826.309
AT ITER 9267 NEW BEST:: SOT 4353305 SOS 721309 HAS SOPS 721309 HAS SOUS 598035 HAS SOUPS 598035 WITH SCORE 598756.309
AT ITER 9274 NEW BEST:: SOT 4353252 SOS 721256 HAS SOPS 721256 HAS SOUS 597982 HAS SOUPS 597982 WITH SCORE 598703.256
AT ITER 9278 NEW BEST:: SOT 4353203 SOS 721158 HAS SOPS 721158 HAS SOUS 597933 HAS SOUPS 597933 WITH SCORE 598654.158
AT ITER 9282 NEW BEST:: SOT 4353137 SOS 721101 HAS SOPS 721101 HAS SOUS 597836 HAS SOUPS 597836 WITH SCORE 598557.101
AT ITER 9300 NEW BEST:: SOT 4352805 SOS 720718 HAS SOPS 720718 HAS SOUS 597734 HAS SOUPS 597734 WITH SCORE 598454.718
AT ITER 9303 NEW BEST:: SOT 4352783 SOS 720674 HAS SOPS 720674 HAS SOUS 597690 HAS SOUPS 597690 WITH SCORE 598410.674
AT ITER 9318 NEW BEST:: SOT 4352707 SOS 720605 HAS SOPS 720605 HAS SOUS 597620 HAS SOUPS 597620 WITH SCORE 598340.605
AT ITER 9389 NEW BEST:: SOT 4352617 SOS 720425 HAS SOPS 720425 HAS SOUS 597440 HAS SOUPS 597440 WITH SCORE 598160.425
AT ITER 9450 NEW BEST:: SOT 4352377 SOS 720477 HAS SOPS 720477 HAS SOUS 597350 HAS SOUPS 597350 WITH SCORE 598070.477
AT ITER 9463 NEW BEST:: SOT 4352264 SOS 720364 HAS SOPS 720364 HAS SOUS 597331 HAS SOUPS 597331 WITH SCORE 598051.364
AT ITER 9471 NEW BEST:: SOT 4351800 SOS 719436 HAS SOPS 719436 HAS SOUS 597276 HAS SOUPS 597276 WITH SCORE 597995.436
AT ITER 9508 NEW BEST:: SOT 4351971 SOS 719320 HAS SOPS 719320 HAS SOUS 597218 HAS SOUPS 597218 WITH SCORE 597937.32
AT ITER 9518 NEW BEST:: SOT 4351713 SOS 718804 HAS SOPS 718804 HAS SOUS 596702 HAS SOUPS 596702 WITH SCORE 597420.804
AT ITER 9521 NEW BEST:: SOT 4351713 SOS 718788 HAS SOPS 718788 HAS SOUS 596702 HAS SOUPS 596702 WITH SCORE 597420.788
AT ITER 9537 NEW BEST:: SOT 4351712 SOS 718786 HAS SOPS 718786 HAS SOUS 596700 HAS SOUPS 596700 WITH SCORE 597418.786
AT ITER 9551 NEW BEST:: SOT 4351661 SOS 718684 HAS SOPS 718684 HAS SOUS 596598 HAS SOUPS 596598 WITH SCORE 597316.684
AT ITER 9561 NEW BEST:: SOT 4351661 SOS 718684 HAS SOPS 718684 HAS SOUS 596593 HAS SOUPS 596593 WITH SCORE 597311.684
AT ITER 9563 NEW BEST:: SOT 4351658 SOS 718678 HAS SOPS 718678 HAS SOUS 596587 HAS SOUPS 596587 WITH SCORE 597305.678
AT ITER 9586 NEW BEST:: SOT 4351594 SOS 718665 HAS SOPS 718665 HAS SOUS 596534 HAS SOUPS 596534 WITH SCORE 597252.665
AT ITER 9615 NEW BEST:: SOT 4351536 SOS 718607 HAS SOPS 718607 HAS SOUS 596476 HAS SOUPS 596476 WITH SCORE 597194.607
AT ITER 9619 NEW BEST:: SOT 4351535 SOS 718605 HAS SOPS 718605 HAS SOUS 596474 HAS SOUPS 596474 WITH SCORE 597192.605
AT ITER 9622 NEW BEST:: SOT 4351494 SOS 718472 HAS SOPS 718472 HAS SOUS 596392 HAS SOUPS 596392 WITH SCORE 597110.472
AT ITER 9677 NEW BEST:: SOT 4351390 SOS 718212 HAS SOPS 718212 HAS SOUS 596236 HAS SOUPS 596236 WITH SCORE 596954.212
AT ITER 9707 NEW BEST:: SOT 4351365 SOS 718206 HAS SOPS 718206 HAS SOUS 596223 HAS SOUPS 596223 WITH SCORE 596941.206
AT ITER 9734 NEW BEST:: SOT 4351365 SOS 718194 HAS SOPS 718194 HAS SOUS 596223 HAS SOUPS 596223 WITH SCORE 596941.194
AT ITER 9770 NEW BEST:: SOT 4351365 SOS 717771 HAS SOPS 717771 HAS SOUS 596223 HAS SOUPS 596223 WITH SCORE 596940.771
AT ITER 9802 NEW BEST:: SOT 4351348 SOS 717737 HAS SOPS 717737 HAS SOUS 596206 HAS SOUPS 596206 WITH SCORE 596923.737
AT ITER 9861 NEW BEST:: SOT 4351347 SOS 717600 HAS SOPS 717600 HAS SOUS 596204 HAS SOUPS 596204 WITH SCORE 596921.6
AT ITER 9865 NEW BEST:: SOT 4351585 SOS 718076 HAS SOPS 718076 HAS SOUS 595988 HAS SOUPS 595988 WITH SCORE 596706.076
AT ITER 9867 NEW BEST:: SOT 4351536 SOS 717779 HAS SOPS 717779 HAS SOUS 595890 HAS SOUPS 595890 WITH SCORE 596607.779
AT ITER 9868 NEW BEST:: SOT 4351520 SOS 717699 HAS SOPS 717699 HAS SOUS 595810 HAS SOUPS 595810 WITH SCORE 596527.699
AT ITER 9883 NEW BEST:: SOT 4350671 SOS 716617 HAS SOPS 716617 HAS SOUS 594711 HAS SOUPS 594711 WITH SCORE 595427.617
AT ITER 9900 NEW BEST:: SOT 4350663 SOS 716445 HAS SOPS 716445 HAS SOUS 594547 HAS SOUPS 594547 WITH SCORE 595263.445
AT ITER 9940 NEW BEST:: SOT 4350651 SOS 716421 HAS SOPS 716421 HAS SOUS 594535 HAS SOUPS 594535 WITH SCORE 595251.421
AT ITER 9942 NEW BEST:: SOT 4350611 SOS 716341 HAS SOPS 716341 HAS SOUS 594495 HAS SOUPS 594495 WITH SCORE 595211.341
AT ITER 9964 NEW BEST:: SOT 4351175 SOS 716333 HAS SOPS 716333 HAS SOUS 594487 HAS SOUPS 594487 WITH SCORE 595203.333
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 12092604 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16154004 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-301"
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-301, 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-167814471800008"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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