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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 8.4K Feb 25 11:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 92K Feb 25 11:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.9K Feb 25 11:49 CTLFireability.txt
-rw-r--r-- 1 mcc users 54K Feb 25 11:49 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 15:47 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:47 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.6K Feb 25 11:50 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 72K Feb 25 11:50 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.9K Feb 25 11:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 86K Feb 25 11:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 15:47 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:47 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 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 1678218810715

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-305
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 305
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 4443229 SOS 758854 HAS SOPS 758854 HAS SOUS 699876 HAS SOUPS 699876 WITH SCORE 700634.854
AT ITER 13 NEW BEST:: SOT 4442928 SOS 758742 HAS SOPS 758742 HAS SOUS 699672 HAS SOUPS 699672 WITH SCORE 700430.742
AT ITER 17 NEW BEST:: SOT 4442786 SOS 758314 HAS SOPS 758314 HAS SOUS 699386 HAS SOUPS 699386 WITH SCORE 700144.314
AT ITER 36 NEW BEST:: SOT 4442713 SOS 758168 HAS SOPS 758168 HAS SOUS 699240 HAS SOUPS 699240 WITH SCORE 699998.168
AT ITER 42 NEW BEST:: SOT 4442596 SOS 757934 HAS SOPS 757934 HAS SOUS 699123 HAS SOUPS 699123 WITH SCORE 699880.934
AT ITER 47 NEW BEST:: SOT 4442395 SOS 757780 HAS SOPS 757780 HAS SOUS 699047 HAS SOUPS 699047 WITH SCORE 699804.78
AT ITER 61 NEW BEST:: SOT 4442394 SOS 757778 HAS SOPS 757778 HAS SOUS 699045 HAS SOUPS 699045 WITH SCORE 699802.778
AT ITER 65 NEW BEST:: SOT 4442281 SOS 757756 HAS SOPS 757756 HAS SOUS 699023 HAS SOUPS 699023 WITH SCORE 699780.756
AT ITER 79 NEW BEST:: SOT 4442234 SOS 758042 HAS SOPS 758042 HAS SOUS 698976 HAS SOUPS 698976 WITH SCORE 699734.042
AT ITER 85 NEW BEST:: SOT 4442200 SOS 757974 HAS SOPS 757974 HAS SOUS 698908 HAS SOUPS 698908 WITH SCORE 699665.974
AT ITER 100 NEW BEST:: SOT 4441881 SOS 758404 HAS SOPS 758404 HAS SOUS 698856 HAS SOUPS 698856 WITH SCORE 699614.404
AT ITER 110 NEW BEST:: SOT 4441881 SOS 758137 HAS SOPS 758137 HAS SOUS 698856 HAS SOUPS 698856 WITH SCORE 699614.137
AT ITER 140 NEW BEST:: SOT 4441320 SOS 757389 HAS SOPS 757389 HAS SOUS 698108 HAS SOUPS 698108 WITH SCORE 698865.389
AT ITER 215 NEW BEST:: SOT 4441137 SOS 757228 HAS SOPS 757228 HAS SOUS 697925 HAS SOUPS 697925 WITH SCORE 698682.228
AT ITER 272 NEW BEST:: SOT 4440717 SOS 757168 HAS SOPS 757168 HAS SOUS 697770 HAS SOUPS 697770 WITH SCORE 698527.168
AT ITER 276 NEW BEST:: SOT 4440518 SOS 757023 HAS SOPS 757023 HAS SOUS 697625 HAS SOUPS 697625 WITH SCORE 698382.023
AT ITER 286 NEW BEST:: SOT 4440518 SOS 756943 HAS SOPS 756943 HAS SOUS 697625 HAS SOUPS 697625 WITH SCORE 698381.943
AT ITER 322 NEW BEST:: SOT 4440387 SOS 756681 HAS SOPS 756681 HAS SOUS 697363 HAS SOUPS 697363 WITH SCORE 698119.681
AT ITER 341 NEW BEST:: SOT 4440350 SOS 756643 HAS SOPS 756643 HAS SOUS 697325 HAS SOUPS 697325 WITH SCORE 698081.643
AT ITER 356 NEW BEST:: SOT 4440350 SOS 756340 HAS SOPS 756340 HAS SOUS 697325 HAS SOUPS 697325 WITH SCORE 698081.34
AT ITER 365 NEW BEST:: SOT 4440350 SOS 756130 HAS SOPS 756130 HAS SOUS 697325 HAS SOUPS 697325 WITH SCORE 698081.13
AT ITER 374 NEW BEST:: SOT 4440335 SOS 756100 HAS SOPS 756100 HAS SOUS 697295 HAS SOUPS 697295 WITH SCORE 698051.1
AT ITER 384 NEW BEST:: SOT 4440334 SOS 756098 HAS SOPS 756098 HAS SOUS 697293 HAS SOUPS 697293 WITH SCORE 698049.098
AT ITER 430 NEW BEST:: SOT 4440334 SOS 756098 HAS SOPS 756098 HAS SOUS 697042 HAS SOUPS 697042 WITH SCORE 697798.098
AT ITER 440 NEW BEST:: SOT 4440334 SOS 755883 HAS SOPS 755883 HAS SOUS 697041 HAS SOUPS 697041 WITH SCORE 697796.883
AT ITER 441 NEW BEST:: SOT 4440296 SOS 755807 HAS SOPS 755807 HAS SOUS 696775 HAS SOUPS 696775 WITH SCORE 697530.807
AT ITER 459 NEW BEST:: SOT 4440242 SOS 755807 HAS SOPS 755807 HAS SOUS 696748 HAS SOUPS 696748 WITH SCORE 697503.807
AT ITER 461 NEW BEST:: SOT 4440242 SOS 755807 HAS SOPS 755807 HAS SOUS 696747 HAS SOUPS 696747 WITH SCORE 697502.807
AT ITER 473 NEW BEST:: SOT 4439843 SOS 755437 HAS SOPS 755437 HAS SOUS 696356 HAS SOUPS 696356 WITH SCORE 697111.437
AT ITER 489 NEW BEST:: SOT 4436956 SOS 767274 HAS SOPS 767274 HAS SOUS 694435 HAS SOUPS 694435 WITH SCORE 695202.274
AT ITER 497 NEW BEST:: SOT 4436956 SOS 767243 HAS SOPS 767243 HAS SOUS 694404 HAS SOUPS 694404 WITH SCORE 695171.243
AT ITER 524 NEW BEST:: SOT 4436795 SOS 767085 HAS SOPS 767085 HAS SOUS 694246 HAS SOUPS 694246 WITH SCORE 695013.085
AT ITER 526 NEW BEST:: SOT 4436795 SOS 766990 HAS SOPS 766990 HAS SOUS 694151 HAS SOUPS 694151 WITH SCORE 694917.99
AT ITER 545 NEW BEST:: SOT 4436752 SOS 766904 HAS SOPS 766904 HAS SOUS 693936 HAS SOUPS 693936 WITH SCORE 694702.904
AT ITER 558 NEW BEST:: SOT 4436592 SOS 766744 HAS SOPS 766744 HAS SOUS 693776 HAS SOUPS 693776 WITH SCORE 694542.744
AT ITER 606 NEW BEST:: SOT 4436592 SOS 766667 HAS SOPS 766667 HAS SOUS 693776 HAS SOUPS 693776 WITH SCORE 694542.667
AT ITER 618 NEW BEST:: SOT 4436592 SOS 766667 HAS SOPS 766667 HAS SOUS 693741 HAS SOUPS 693741 WITH SCORE 694507.667
AT ITER 619 NEW BEST:: SOT 4426305 SOS 776638 HAS SOPS 776638 HAS SOUS 684241 HAS SOUPS 684241 WITH SCORE 685017.638
AT ITER 622 NEW BEST:: SOT 4426271 SOS 776570 HAS SOPS 776570 HAS SOUS 684173 HAS SOUPS 684173 WITH SCORE 684949.57
AT ITER 658 NEW BEST:: SOT 4426092 SOS 776532 HAS SOPS 776532 HAS SOUS 683994 HAS SOUPS 683994 WITH SCORE 684770.532
AT ITER 682 NEW BEST:: SOT 4425912 SOS 776397 HAS SOPS 776397 HAS SOUS 683859 HAS SOUPS 683859 WITH SCORE 684635.397
AT ITER 686 NEW BEST:: SOT 4425902 SOS 776395 HAS SOPS 776395 HAS SOUS 683827 HAS SOUPS 683827 WITH SCORE 684603.395
AT ITER 688 NEW BEST:: SOT 4425902 SOS 776395 HAS SOPS 776395 HAS SOUS 683604 HAS SOUPS 683604 WITH SCORE 684380.395
AT ITER 689 NEW BEST:: SOT 4425839 SOS 776269 HAS SOPS 776269 HAS SOUS 683478 HAS SOUPS 683478 WITH SCORE 684254.269
AT ITER 694 NEW BEST:: SOT 4425576 SOS 775743 HAS SOPS 775743 HAS SOUS 682952 HAS SOUPS 682952 WITH SCORE 683727.743
AT ITER 696 NEW BEST:: SOT 4425445 SOS 775611 HAS SOPS 775611 HAS SOUS 682821 HAS SOUPS 682821 WITH SCORE 683596.611
AT ITER 707 NEW BEST:: SOT 4425172 SOS 775863 HAS SOPS 775863 HAS SOUS 682548 HAS SOUPS 682548 WITH SCORE 683323.863
AT ITER 709 NEW BEST:: SOT 4424986 SOS 775491 HAS SOPS 775491 HAS SOUS 682268 HAS SOUPS 682268 WITH SCORE 683043.491
AT ITER 718 NEW BEST:: SOT 4424896 SOS 775371 HAS SOPS 775371 HAS SOUS 682148 HAS SOUPS 682148 WITH SCORE 682923.371
AT ITER 732 NEW BEST:: SOT 4424756 SOS 775091 HAS SOPS 775091 HAS SOUS 681868 HAS SOUPS 681868 WITH SCORE 682643.091
AT ITER 743 NEW BEST:: SOT 4424309 SOS 774981 HAS SOPS 774981 HAS SOUS 681569 HAS SOUPS 681569 WITH SCORE 682343.981
AT ITER 763 NEW BEST:: SOT 4424182 SOS 775201 HAS SOPS 775201 HAS SOUS 681564 HAS SOUPS 681564 WITH SCORE 682339.201
AT ITER 779 NEW BEST:: SOT 4424032 SOS 775201 HAS SOPS 775201 HAS SOUS 681414 HAS SOUPS 681414 WITH SCORE 682189.201
AT ITER 793 NEW BEST:: SOT 4424032 SOS 775132 HAS SOPS 775132 HAS SOUS 681414 HAS SOUPS 681414 WITH SCORE 682189.132
AT ITER 812 NEW BEST:: SOT 4423939 SOS 775039 HAS SOPS 775039 HAS SOUS 681321 HAS SOUPS 681321 WITH SCORE 682096.039
AT ITER 817 NEW BEST:: SOT 4423821 SOS 774803 HAS SOPS 774803 HAS SOUS 681085 HAS SOUPS 681085 WITH SCORE 681859.803
AT ITER 868 NEW BEST:: SOT 4423821 SOS 774750 HAS SOPS 774750 HAS SOUS 681084 HAS SOUPS 681084 WITH SCORE 681858.75
AT ITER 882 NEW BEST:: SOT 4423763 SOS 774692 HAS SOPS 774692 HAS SOUS 680968 HAS SOUPS 680968 WITH SCORE 681742.692
AT ITER 887 NEW BEST:: SOT 4423785 SOS 774736 HAS SOPS 774736 HAS SOUS 680809 HAS SOUPS 680809 WITH SCORE 681583.736
AT ITER 906 NEW BEST:: SOT 4423287 SOS 774736 HAS SOPS 774736 HAS SOUS 680560 HAS SOUPS 680560 WITH SCORE 681334.736
AT ITER 937 NEW BEST:: SOT 4423158 SOS 774478 HAS SOPS 774478 HAS SOUS 680431 HAS SOUPS 680431 WITH SCORE 681205.478
AT ITER 943 NEW BEST:: SOT 4423142 SOS 774559 HAS SOPS 774559 HAS SOUS 680354 HAS SOUPS 680354 WITH SCORE 681128.559
AT ITER 989 NEW BEST:: SOT 4423141 SOS 774557 HAS SOPS 774557 HAS SOUS 680353 HAS SOUPS 680353 WITH SCORE 681127.557
AT ITER 1025 NEW BEST:: SOT 4416617 SOS 768380 HAS SOPS 768380 HAS SOUS 674516 HAS SOUPS 674516 WITH SCORE 675284.38
AT ITER 1026 NEW BEST:: SOT 4416617 SOS 768380 HAS SOPS 768380 HAS SOUS 674258 HAS SOUPS 674258 WITH SCORE 675026.38
AT ITER 1028 NEW BEST:: SOT 4416439 SOS 768173 HAS SOPS 768173 HAS SOUS 673931 HAS SOUPS 673931 WITH SCORE 674699.173
AT ITER 1029 NEW BEST:: SOT 4416370 SOS 768151 HAS SOPS 768151 HAS SOUS 673862 HAS SOUPS 673862 WITH SCORE 674630.151
AT ITER 1039 NEW BEST:: SOT 4416202 SOS 767815 HAS SOPS 767815 HAS SOUS 673694 HAS SOUPS 673694 WITH SCORE 674461.815
AT ITER 1040 NEW BEST:: SOT 4416081 SOS 767694 HAS SOPS 767694 HAS SOUS 673694 HAS SOUPS 673694 WITH SCORE 674461.694
AT ITER 1055 NEW BEST:: SOT 4415852 SOS 767236 HAS SOPS 767236 HAS SOUS 673236 HAS SOUPS 673236 WITH SCORE 674003.236
AT ITER 1064 NEW BEST:: SOT 4415599 SOS 766730 HAS SOPS 766730 HAS SOUS 672730 HAS SOUPS 672730 WITH SCORE 673496.73
AT ITER 1087 NEW BEST:: SOT 4415417 SOS 766612 HAS SOPS 766612 HAS SOUS 672593 HAS SOUPS 672593 WITH SCORE 673359.612
AT ITER 1098 NEW BEST:: SOT 4413919 SOS 765654 HAS SOPS 765654 HAS SOUS 671137 HAS SOUPS 671137 WITH SCORE 671902.654
AT ITER 1111 NEW BEST:: SOT 4413433 SOS 765168 HAS SOPS 765168 HAS SOUS 670651 HAS SOUPS 670651 WITH SCORE 671416.168
AT ITER 1115 NEW BEST:: SOT 4413483 SOS 765040 HAS SOPS 765040 HAS SOUS 670523 HAS SOUPS 670523 WITH SCORE 671288.04
AT ITER 1117 NEW BEST:: SOT 4413189 SOS 764452 HAS SOPS 764452 HAS SOUS 669935 HAS SOUPS 669935 WITH SCORE 670699.452
AT ITER 1125 NEW BEST:: SOT 4413189 SOS 764349 HAS SOPS 764349 HAS SOUS 669832 HAS SOUPS 669832 WITH SCORE 670596.349
AT ITER 1138 NEW BEST:: SOT 4412898 SOS 764404 HAS SOPS 764404 HAS SOUS 669250 HAS SOUPS 669250 WITH SCORE 670014.404
AT ITER 1142 NEW BEST:: SOT 4412934 SOS 764476 HAS SOPS 764476 HAS SOUS 669001 HAS SOUPS 669001 WITH SCORE 669765.476
AT ITER 1163 NEW BEST:: SOT 4407261 SOS 776524 HAS SOPS 776524 HAS SOUS 664057 HAS SOUPS 664057 WITH SCORE 664833.524
AT ITER 1165 NEW BEST:: SOT 4407002 SOS 776006 HAS SOPS 776006 HAS SOUS 663539 HAS SOUPS 663539 WITH SCORE 664315.006
AT ITER 1172 NEW BEST:: SOT 4407128 SOS 776258 HAS SOPS 776258 HAS SOUS 663436 HAS SOUPS 663436 WITH SCORE 664212.258
AT ITER 1184 NEW BEST:: SOT 4407050 SOS 776102 HAS SOPS 776102 HAS SOUS 663345 HAS SOUPS 663345 WITH SCORE 664121.102
AT ITER 1188 NEW BEST:: SOT 4406767 SOS 776080 HAS SOPS 776080 HAS SOUS 663152 HAS SOUPS 663152 WITH SCORE 663928.08
AT ITER 1196 NEW BEST:: SOT 4406647 SOS 775840 HAS SOPS 775840 HAS SOUS 662912 HAS SOUPS 662912 WITH SCORE 663687.84
AT ITER 1200 NEW BEST:: SOT 4406572 SOS 775765 HAS SOPS 775765 HAS SOUS 662834 HAS SOUPS 662834 WITH SCORE 663609.765
AT ITER 1217 NEW BEST:: SOT 4406572 SOS 775765 HAS SOPS 775765 HAS SOUS 662698 HAS SOUPS 662698 WITH SCORE 663473.765
AT ITER 1231 NEW BEST:: SOT 4406302 SOS 775225 HAS SOPS 775225 HAS SOUS 662588 HAS SOUPS 662588 WITH SCORE 663363.225
AT ITER 1254 NEW BEST:: SOT 4406302 SOS 774766 HAS SOPS 774766 HAS SOUS 662288 HAS SOUPS 662288 WITH SCORE 663062.766
AT ITER 1296 NEW BEST:: SOT 4406294 SOS 774750 HAS SOPS 774750 HAS SOUS 662272 HAS SOUPS 662272 WITH SCORE 663046.75
AT ITER 1300 NEW BEST:: SOT 4406251 SOS 774664 HAS SOPS 774664 HAS SOUS 662229 HAS SOUPS 662229 WITH SCORE 663003.664
AT ITER 1344 NEW BEST:: SOT 4406208 SOS 774578 HAS SOPS 774578 HAS SOUS 662143 HAS SOUPS 662143 WITH SCORE 662917.578
AT ITER 1363 NEW BEST:: SOT 4406116 SOS 774726 HAS SOPS 774726 HAS SOUS 662133 HAS SOUPS 662133 WITH SCORE 662907.726
AT ITER 1379 NEW BEST:: SOT 4406021 SOS 774536 HAS SOPS 774536 HAS SOUS 661943 HAS SOUPS 661943 WITH SCORE 662717.536
AT ITER 1387 NEW BEST:: SOT 4405625 SOS 774272 HAS SOPS 774272 HAS SOUS 661547 HAS SOUPS 661547 WITH SCORE 662321.272
AT ITER 1427 NEW BEST:: SOT 4405509 SOS 774040 HAS SOPS 774040 HAS SOUS 661315 HAS SOUPS 661315 WITH SCORE 662089.04
AT ITER 1431 NEW BEST:: SOT 4405468 SOS 774016 HAS SOPS 774016 HAS SOUS 661291 HAS SOUPS 661291 WITH SCORE 662065.016
AT ITER 1447 NEW BEST:: SOT 4405647 SOS 773959 HAS SOPS 773959 HAS SOUS 661234 HAS SOUPS 661234 WITH SCORE 662007.959
AT ITER 1458 NEW BEST:: SOT 4405647 SOS 773814 HAS SOPS 773814 HAS SOUS 661234 HAS SOUPS 661234 WITH SCORE 662007.814
AT ITER 1474 NEW BEST:: SOT 4405493 SOS 773506 HAS SOPS 773506 HAS SOUS 660926 HAS SOUPS 660926 WITH SCORE 661699.506
AT ITER 1475 NEW BEST:: SOT 4405407 SOS 773334 HAS SOPS 773334 HAS SOUS 660840 HAS SOUPS 660840 WITH SCORE 661613.334
AT ITER 1509 NEW BEST:: SOT 4405406 SOS 773332 HAS SOPS 773332 HAS SOUS 660838 HAS SOUPS 660838 WITH SCORE 661611.332
AT ITER 1514 NEW BEST:: SOT 4405198 SOS 772916 HAS SOPS 772916 HAS SOUS 660630 HAS SOUPS 660630 WITH SCORE 661402.916
AT ITER 1519 NEW BEST:: SOT 4405197 SOS 772914 HAS SOPS 772914 HAS SOUS 660628 HAS SOUPS 660628 WITH SCORE 661400.914
AT ITER 1525 NEW BEST:: SOT 4405155 SOS 772830 HAS SOPS 772830 HAS SOUS 660544 HAS SOUPS 660544 WITH SCORE 661316.83
AT ITER 1527 NEW BEST:: SOT 4405055 SOS 772630 HAS SOPS 772630 HAS SOUS 660344 HAS SOUPS 660344 WITH SCORE 661116.63
AT ITER 1579 NEW BEST:: SOT 4404979 SOS 772554 HAS SOPS 772554 HAS SOUS 660343 HAS SOUPS 660343 WITH SCORE 661115.554
AT ITER 1580 NEW BEST:: SOT 4404740 SOS 772544 HAS SOPS 772544 HAS SOUS 660104 HAS SOUPS 660104 WITH SCORE 660876.544
AT ITER 1587 NEW BEST:: SOT 4404420 SOS 772224 HAS SOPS 772224 HAS SOUS 659784 HAS SOUPS 659784 WITH SCORE 660556.224
AT ITER 1659 NEW BEST:: SOT 4404338 SOS 772060 HAS SOPS 772060 HAS SOUS 659620 HAS SOUPS 659620 WITH SCORE 660392.06
AT ITER 1677 NEW BEST:: SOT 4404126 SOS 771636 HAS SOPS 771636 HAS SOUS 659196 HAS SOUPS 659196 WITH SCORE 659967.636
AT ITER 1712 NEW BEST:: SOT 4404125 SOS 771634 HAS SOPS 771634 HAS SOUS 659194 HAS SOUPS 659194 WITH SCORE 659965.634
AT ITER 1726 NEW BEST:: SOT 4404125 SOS 771534 HAS SOPS 771534 HAS SOUS 659194 HAS SOUPS 659194 WITH SCORE 659965.534
AT ITER 1736 NEW BEST:: SOT 4404118 SOS 771301 HAS SOPS 771301 HAS SOUS 659090 HAS SOUPS 659090 WITH SCORE 659861.301
AT ITER 1766 NEW BEST:: SOT 4404139 SOS 771343 HAS SOPS 771343 HAS SOUS 659016 HAS SOUPS 659016 WITH SCORE 659787.343
AT ITER 1781 NEW BEST:: SOT 4404139 SOS 771343 HAS SOPS 771343 HAS SOUS 659015 HAS SOUPS 659015 WITH SCORE 659786.343
AT ITER 1792 NEW BEST:: SOT 4404055 SOS 771231 HAS SOPS 771231 HAS SOUS 658903 HAS SOUPS 658903 WITH SCORE 659674.231
AT ITER 1807 NEW BEST:: SOT 4403779 SOS 770679 HAS SOPS 770679 HAS SOUS 658627 HAS SOUPS 658627 WITH SCORE 659397.679
AT ITER 1821 NEW BEST:: SOT 4403979 SOS 771079 HAS SOPS 771079 HAS SOUS 658594 HAS SOUPS 658594 WITH SCORE 659365.079
AT ITER 1827 NEW BEST:: SOT 4403408 SOS 771853 HAS SOPS 771853 HAS SOUS 658108 HAS SOUPS 658108 WITH SCORE 658879.853
AT ITER 1838 NEW BEST:: SOT 4403027 SOS 771487 HAS SOPS 771487 HAS SOUS 657735 HAS SOUPS 657735 WITH SCORE 658506.487
AT ITER 1880 NEW BEST:: SOT 4403027 SOS 771487 HAS SOPS 771487 HAS SOUS 657649 HAS SOUPS 657649 WITH SCORE 658420.487
AT ITER 1894 NEW BEST:: SOT 4402957 SOS 771347 HAS SOPS 771347 HAS SOUS 657509 HAS SOUPS 657509 WITH SCORE 658280.347
AT ITER 1911 NEW BEST:: SOT 4402893 SOS 771219 HAS SOPS 771219 HAS SOUS 657381 HAS SOUPS 657381 WITH SCORE 658152.219
AT ITER 1934 NEW BEST:: SOT 4402569 SOS 770895 HAS SOPS 770895 HAS SOUS 657057 HAS SOUPS 657057 WITH SCORE 657827.895
AT ITER 1949 NEW BEST:: SOT 4402223 SOS 772282 HAS SOPS 772282 HAS SOUS 657006 HAS SOUPS 657006 WITH SCORE 657778.282
AT ITER 2001 NEW BEST:: SOT 4402185 SOS 772320 HAS SOPS 772320 HAS SOUS 656930 HAS SOUPS 656930 WITH SCORE 657702.32
AT ITER 2018 NEW BEST:: SOT 4402062 SOS 772074 HAS SOPS 772074 HAS SOUS 656483 HAS SOUPS 656483 WITH SCORE 657255.074
AT ITER 2025 NEW BEST:: SOT 4401878 SOS 771162 HAS SOPS 771162 HAS SOUS 656183 HAS SOUPS 656183 WITH SCORE 656954.162
AT ITER 2036 NEW BEST:: SOT 4401877 SOS 771160 HAS SOPS 771160 HAS SOUS 656181 HAS SOUPS 656181 WITH SCORE 656952.16
AT ITER 2057 NEW BEST:: SOT 4401773 SOS 771056 HAS SOPS 771056 HAS SOUS 656077 HAS SOUPS 656077 WITH SCORE 656848.056
AT ITER 2061 NEW BEST:: SOT 4401773 SOS 771019 HAS SOPS 771019 HAS SOUS 656040 HAS SOUPS 656040 WITH SCORE 656811.019
AT ITER 2067 NEW BEST:: SOT 4401661 SOS 770795 HAS SOPS 770795 HAS SOUS 655816 HAS SOUPS 655816 WITH SCORE 656586.795
AT ITER 2074 NEW BEST:: SOT 4401669 SOS 770811 HAS SOPS 770811 HAS SOUS 655796 HAS SOUPS 655796 WITH SCORE 656566.811
AT ITER 2078 NEW BEST:: SOT 4401669 SOS 770811 HAS SOPS 770811 HAS SOUS 655719 HAS SOUPS 655719 WITH SCORE 656489.811
AT ITER 2106 NEW BEST:: SOT 4401669 SOS 770811 HAS SOPS 770811 HAS SOUS 655570 HAS SOUPS 655570 WITH SCORE 656340.811
AT ITER 2113 NEW BEST:: SOT 4401379 SOS 770795 HAS SOPS 770795 HAS SOUS 655373 HAS SOUPS 655373 WITH SCORE 656143.795
AT ITER 2122 NEW BEST:: SOT 4401302 SOS 770641 HAS SOPS 770641 HAS SOUS 655219 HAS SOUPS 655219 WITH SCORE 655989.641
AT ITER 2127 NEW BEST:: SOT 4401005 SOS 770047 HAS SOPS 770047 HAS SOUS 654625 HAS SOUPS 654625 WITH SCORE 655395.047
AT ITER 2132 NEW BEST:: SOT 4400969 SOS 769999 HAS SOPS 769999 HAS SOUS 654589 HAS SOUPS 654589 WITH SCORE 655358.999
AT ITER 2168 NEW BEST:: SOT 4400896 SOS 769892 HAS SOPS 769892 HAS SOUS 654482 HAS SOUPS 654482 WITH SCORE 655251.892
AT ITER 2172 NEW BEST:: SOT 4400745 SOS 769590 HAS SOPS 769590 HAS SOUS 654180 HAS SOUPS 654180 WITH SCORE 654949.59
AT ITER 2185 NEW BEST:: SOT 4400806 SOS 769574 HAS SOPS 769574 HAS SOUS 654164 HAS SOUPS 654164 WITH SCORE 654933.574
AT ITER 2186 NEW BEST:: SOT 4400642 SOS 769246 HAS SOPS 769246 HAS SOUS 653836 HAS SOUPS 653836 WITH SCORE 654605.246
AT ITER 2222 NEW BEST:: SOT 4400787 SOS 769012 HAS SOPS 769012 HAS SOUS 653719 HAS SOUPS 653719 WITH SCORE 654488.012
AT ITER 2251 NEW BEST:: SOT 4400572 SOS 768582 HAS SOPS 768582 HAS SOUS 653512 HAS SOUPS 653512 WITH SCORE 654280.582
AT ITER 2261 NEW BEST:: SOT 4400572 SOS 768582 HAS SOPS 768582 HAS SOUS 653365 HAS SOUPS 653365 WITH SCORE 654133.582
AT ITER 2281 NEW BEST:: SOT 4400523 SOS 768789 HAS SOPS 768789 HAS SOUS 653316 HAS SOUPS 653316 WITH SCORE 654084.789
AT ITER 2292 NEW BEST:: SOT 4400378 SOS 768644 HAS SOPS 768644 HAS SOUS 653315 HAS SOUPS 653315 WITH SCORE 654083.644
AT ITER 2306 NEW BEST:: SOT 4400200 SOS 768112 HAS SOPS 768112 HAS SOUS 652959 HAS SOUPS 652959 WITH SCORE 653727.112
AT ITER 2324 NEW BEST:: SOT 4400008 SOS 767728 HAS SOPS 767728 HAS SOUS 652575 HAS SOUPS 652575 WITH SCORE 653342.728
AT ITER 2331 NEW BEST:: SOT 4400008 SOS 767453 HAS SOPS 767453 HAS SOUS 652575 HAS SOUPS 652575 WITH SCORE 653342.453
AT ITER 2337 NEW BEST:: SOT 4400008 SOS 767359 HAS SOPS 767359 HAS SOUS 652575 HAS SOUPS 652575 WITH SCORE 653342.359
AT ITER 2351 NEW BEST:: SOT 4399842 SOS 767027 HAS SOPS 767027 HAS SOUS 652203 HAS SOUPS 652203 WITH SCORE 652970.027
AT ITER 2383 NEW BEST:: SOT 4399684 SOS 766711 HAS SOPS 766711 HAS SOUS 652045 HAS SOUPS 652045 WITH SCORE 652811.711
AT ITER 2417 NEW BEST:: SOT 4399459 SOS 766876 HAS SOPS 766876 HAS SOUS 652025 HAS SOUPS 652025 WITH SCORE 652791.876
AT ITER 2421 NEW BEST:: SOT 4399510 SOS 766978 HAS SOPS 766978 HAS SOUS 651808 HAS SOUPS 651808 WITH SCORE 652574.978
AT ITER 2428 NEW BEST:: SOT 4399551 SOS 766562 HAS SOPS 766562 HAS SOUS 651497 HAS SOUPS 651497 WITH SCORE 652263.562
AT ITER 2441 NEW BEST:: SOT 4399551 SOS 766520 HAS SOPS 766520 HAS SOUS 651497 HAS SOUPS 651497 WITH SCORE 652263.52
AT ITER 2468 NEW BEST:: SOT 4399456 SOS 766199 HAS SOPS 766199 HAS SOUS 651402 HAS SOUPS 651402 WITH SCORE 652168.199
AT ITER 2489 NEW BEST:: SOT 4399378 SOS 766043 HAS SOPS 766043 HAS SOUS 651193 HAS SOUPS 651193 WITH SCORE 651959.043
AT ITER 2512 NEW BEST:: SOT 4399415 SOS 765994 HAS SOPS 765994 HAS SOUS 651189 HAS SOUPS 651189 WITH SCORE 651954.994
AT ITER 2519 NEW BEST:: SOT 4399414 SOS 765992 HAS SOPS 765992 HAS SOUS 651187 HAS SOUPS 651187 WITH SCORE 651952.992
AT ITER 2534 NEW BEST:: SOT 4399414 SOS 765935 HAS SOPS 765935 HAS SOUS 651187 HAS SOUPS 651187 WITH SCORE 651952.935
AT ITER 2537 NEW BEST:: SOT 4399112 SOS 765633 HAS SOPS 765633 HAS SOUS 650884 HAS SOUPS 650884 WITH SCORE 651649.633
AT ITER 2566 NEW BEST:: SOT 4399073 SOS 765555 HAS SOPS 765555 HAS SOUS 650806 HAS SOUPS 650806 WITH SCORE 651571.555
AT ITER 2586 NEW BEST:: SOT 4399109 SOS 765627 HAS SOPS 765627 HAS SOUS 650672 HAS SOUPS 650672 WITH SCORE 651437.627
AT ITER 2608 NEW BEST:: SOT 4398866 SOS 765759 HAS SOPS 765759 HAS SOUS 650466 HAS SOUPS 650466 WITH SCORE 651231.759
AT ITER 2642 NEW BEST:: SOT 4398781 SOS 765758 HAS SOPS 765758 HAS SOUS 650381 HAS SOUPS 650381 WITH SCORE 651146.758
AT ITER 2663 NEW BEST:: SOT 4398781 SOS 765551 HAS SOPS 765551 HAS SOUS 650381 HAS SOUPS 650381 WITH SCORE 651146.551
AT ITER 2679 NEW BEST:: SOT 4398758 SOS 765505 HAS SOPS 765505 HAS SOUS 650309 HAS SOUPS 650309 WITH SCORE 651074.505
AT ITER 2688 NEW BEST:: SOT 4398758 SOS 765505 HAS SOPS 765505 HAS SOUS 650119 HAS SOUPS 650119 WITH SCORE 650884.505
AT ITER 2713 NEW BEST:: SOT 4398557 SOS 764992 HAS SOPS 764992 HAS SOUS 649717 HAS SOUPS 649717 WITH SCORE 650481.992
AT ITER 2729 NEW BEST:: SOT 4398287 SOS 764722 HAS SOPS 764722 HAS SOUS 649447 HAS SOUPS 649447 WITH SCORE 650211.722
AT ITER 2749 NEW BEST:: SOT 4398281 SOS 764710 HAS SOPS 764710 HAS SOUS 649435 HAS SOUPS 649435 WITH SCORE 650199.71
AT ITER 2773 NEW BEST:: SOT 4396112 SOS 762922 HAS SOPS 762922 HAS SOUS 647503 HAS SOUPS 647503 WITH SCORE 648265.922
AT ITER 2804 NEW BEST:: SOT 4395997 SOS 763904 HAS SOPS 763904 HAS SOUS 647441 HAS SOUPS 647441 WITH SCORE 648204.904
AT ITER 2806 NEW BEST:: SOT 4395927 SOS 763764 HAS SOPS 763764 HAS SOUS 647301 HAS SOUPS 647301 WITH SCORE 648064.764
AT ITER 2822 NEW BEST:: SOT 4395776 SOS 763613 HAS SOPS 763613 HAS SOUS 647150 HAS SOUPS 647150 WITH SCORE 647913.613
AT ITER 2825 NEW BEST:: SOT 4395775 SOS 763612 HAS SOPS 763612 HAS SOUS 647148 HAS SOUPS 647148 WITH SCORE 647911.612
AT ITER 2835 NEW BEST:: SOT 4395548 SOS 763158 HAS SOPS 763158 HAS SOUS 646694 HAS SOUPS 646694 WITH SCORE 647457.158
AT ITER 2892 NEW BEST:: SOT 4395411 SOS 763020 HAS SOPS 763020 HAS SOUS 646556 HAS SOUPS 646556 WITH SCORE 647319.02
AT ITER 2935 NEW BEST:: SOT 4395410 SOS 762891 HAS SOPS 762891 HAS SOUS 646555 HAS SOUPS 646555 WITH SCORE 647317.891
AT ITER 2955 NEW BEST:: SOT 4395410 SOS 762891 HAS SOPS 762891 HAS SOUS 646553 HAS SOUPS 646553 WITH SCORE 647315.891
AT ITER 3020 NEW BEST:: SOT 4395386 SOS 762873 HAS SOPS 762873 HAS SOUS 646529 HAS SOUPS 646529 WITH SCORE 647291.873
AT ITER 3032 NEW BEST:: SOT 4395386 SOS 762553 HAS SOPS 762553 HAS SOUS 646369 HAS SOUPS 646369 WITH SCORE 647131.553
AT ITER 3054 NEW BEST:: SOT 4395330 SOS 762441 HAS SOPS 762441 HAS SOUS 646313 HAS SOUPS 646313 WITH SCORE 647075.441
AT ITER 3057 NEW BEST:: SOT 4395322 SOS 762425 HAS SOPS 762425 HAS SOUS 646297 HAS SOUPS 646297 WITH SCORE 647059.425
AT ITER 3097 NEW BEST:: SOT 4395803 SOS 763387 HAS SOPS 763387 HAS SOUS 646195 HAS SOUPS 646195 WITH SCORE 646958.387
AT ITER 3121 NEW BEST:: SOT 4395689 SOS 763307 HAS SOPS 763307 HAS SOUS 646115 HAS SOUPS 646115 WITH SCORE 646878.307
AT ITER 3124 NEW BEST:: SOT 4395547 SOS 763165 HAS SOPS 763165 HAS SOUS 646043 HAS SOUPS 646043 WITH SCORE 646806.165
AT ITER 3147 NEW BEST:: SOT 4395525 SOS 763077 HAS SOPS 763077 HAS SOUS 646021 HAS SOUPS 646021 WITH SCORE 646784.077
AT ITER 3156 NEW BEST:: SOT 4395659 SOS 763345 HAS SOPS 763345 HAS SOUS 645960 HAS SOUPS 645960 WITH SCORE 646723.345
AT ITER 3157 NEW BEST:: SOT 4395659 SOS 763318 HAS SOPS 763318 HAS SOUS 645960 HAS SOUPS 645960 WITH SCORE 646723.318
AT ITER 3176 NEW BEST:: SOT 4395670 SOS 763340 HAS SOPS 763340 HAS SOUS 645656 HAS SOUPS 645656 WITH SCORE 646419.34
AT ITER 3181 NEW BEST:: SOT 4395825 SOS 763650 HAS SOPS 763650 HAS SOUS 645617 HAS SOUPS 645617 WITH SCORE 646380.65
AT ITER 3186 NEW BEST:: SOT 4395825 SOS 763512 HAS SOPS 763512 HAS SOUS 645617 HAS SOUPS 645617 WITH SCORE 646380.512
AT ITER 3211 NEW BEST:: SOT 4395711 SOS 763472 HAS SOPS 763472 HAS SOUS 645577 HAS SOUPS 645577 WITH SCORE 646340.472
AT ITER 3222 NEW BEST:: SOT 4395711 SOS 763116 HAS SOPS 763116 HAS SOUS 645246 HAS SOUPS 645246 WITH SCORE 646009.116
AT ITER 3241 NEW BEST:: SOT 4395333 SOS 762810 HAS SOPS 762810 HAS SOUS 644940 HAS SOUPS 644940 WITH SCORE 645702.81
AT ITER 3253 NEW BEST:: SOT 4395309 SOS 762762 HAS SOPS 762762 HAS SOUS 644892 HAS SOUPS 644892 WITH SCORE 645654.762
AT ITER 3284 NEW BEST:: SOT 4395309 SOS 762528 HAS SOPS 762528 HAS SOUS 644892 HAS SOUPS 644892 WITH SCORE 645654.528
AT ITER 3290 NEW BEST:: SOT 4395150 SOS 762051 HAS SOPS 762051 HAS SOUS 644574 HAS SOUPS 644574 WITH SCORE 645336.051
AT ITER 3294 NEW BEST:: SOT 4395150 SOS 762027 HAS SOPS 762027 HAS SOUS 644550 HAS SOUPS 644550 WITH SCORE 645312.027
AT ITER 3302 NEW BEST:: SOT 4395144 SOS 762337 HAS SOPS 762337 HAS SOUS 644505 HAS SOUPS 644505 WITH SCORE 645267.337
AT ITER 3311 NEW BEST:: SOT 4394894 SOS 762087 HAS SOPS 762087 HAS SOUS 644255 HAS SOUPS 644255 WITH SCORE 645017.087
AT ITER 3322 NEW BEST:: SOT 4394918 SOS 762135 HAS SOPS 762135 HAS SOUS 644229 HAS SOUPS 644229 WITH SCORE 644991.135
AT ITER 3324 NEW BEST:: SOT 4394709 SOS 761502 HAS SOPS 761502 HAS SOUS 643811 HAS SOUPS 643811 WITH SCORE 644572.502
AT ITER 3398 NEW BEST:: SOT 4394696 SOS 761476 HAS SOPS 761476 HAS SOUS 643785 HAS SOUPS 643785 WITH SCORE 644546.476
AT ITER 3404 NEW BEST:: SOT 4394623 SOS 761403 HAS SOPS 761403 HAS SOUS 643712 HAS SOUPS 643712 WITH SCORE 644473.403
AT ITER 3424 NEW BEST:: SOT 4394629 SOS 760983 HAS SOPS 760983 HAS SOUS 643617 HAS SOUPS 643617 WITH SCORE 644377.983
AT ITER 3438 NEW BEST:: SOT 4394532 SOS 760925 HAS SOPS 760925 HAS SOUS 643540 HAS SOUPS 643540 WITH SCORE 644300.925
AT ITER 3462 NEW BEST:: SOT 4394479 SOS 760819 HAS SOPS 760819 HAS SOUS 643434 HAS SOUPS 643434 WITH SCORE 644194.819
AT ITER 3463 NEW BEST:: SOT 4394167 SOS 760195 HAS SOPS 760195 HAS SOUS 643034 HAS SOUPS 643034 WITH SCORE 643794.195
AT ITER 3466 NEW BEST:: SOT 4393172 SOS 759465 HAS SOPS 759465 HAS SOUS 642194 HAS SOUPS 642194 WITH SCORE 642953.465
AT ITER 3470 NEW BEST:: SOT 4393133 SOS 759459 HAS SOPS 759459 HAS SOUS 642139 HAS SOUPS 642139 WITH SCORE 642898.459
AT ITER 3478 NEW BEST:: SOT 4393084 SOS 759223 HAS SOPS 759223 HAS SOUS 642089 HAS SOUPS 642089 WITH SCORE 642848.223
AT ITER 3488 NEW BEST:: SOT 4392957 SOS 759096 HAS SOPS 759096 HAS SOUS 642088 HAS SOUPS 642088 WITH SCORE 642847.096
AT ITER 3491 NEW BEST:: SOT 4392812 SOS 759095 HAS SOPS 759095 HAS SOUS 642086 HAS SOUPS 642086 WITH SCORE 642845.095
AT ITER 3533 NEW BEST:: SOT 4392812 SOS 758659 HAS SOPS 758659 HAS SOUS 641650 HAS SOUPS 641650 WITH SCORE 642408.659
AT ITER 3540 NEW BEST:: SOT 4392793 SOS 758602 HAS SOPS 758602 HAS SOUS 641631 HAS SOUPS 641631 WITH SCORE 642389.602
AT ITER 3544 NEW BEST:: SOT 4392661 SOS 758404 HAS SOPS 758404 HAS SOUS 641499 HAS SOUPS 641499 WITH SCORE 642257.404
AT ITER 3547 NEW BEST:: SOT 4392428 SOS 758278 HAS SOPS 758278 HAS SOUS 641228 HAS SOUPS 641228 WITH SCORE 641986.278
AT ITER 3550 NEW BEST:: SOT 4392366 SOS 758736 HAS SOPS 758736 HAS SOUS 641166 HAS SOUPS 641166 WITH SCORE 641924.736
AT ITER 3566 NEW BEST:: SOT 4392252 SOS 758508 HAS SOPS 758508 HAS SOUS 640896 HAS SOUPS 640896 WITH SCORE 641654.508
AT ITER 3570 NEW BEST:: SOT 4392252 SOS 758327 HAS SOPS 758327 HAS SOUS 640896 HAS SOUPS 640896 WITH SCORE 641654.327
AT ITER 3594 NEW BEST:: SOT 4392250 SOS 758323 HAS SOPS 758323 HAS SOUS 640892 HAS SOUPS 640892 WITH SCORE 641650.323
AT ITER 3628 NEW BEST:: SOT 4391774 SOS 758635 HAS SOPS 758635 HAS SOUS 640741 HAS SOUPS 640741 WITH SCORE 641499.635
AT ITER 3645 NEW BEST:: SOT 4391925 SOS 758363 HAS SOPS 758363 HAS SOUS 640338 HAS SOUPS 640338 WITH SCORE 641096.363
AT ITER 3670 NEW BEST:: SOT 4391857 SOS 758227 HAS SOPS 758227 HAS SOUS 640202 HAS SOUPS 640202 WITH SCORE 640960.227
AT ITER 3684 NEW BEST:: SOT 4391903 SOS 757977 HAS SOPS 757977 HAS SOUS 640127 HAS SOUPS 640127 WITH SCORE 640884.977
AT ITER 3687 NEW BEST:: SOT 4391846 SOS 757920 HAS SOPS 757920 HAS SOUS 640070 HAS SOUPS 640070 WITH SCORE 640827.92
AT ITER 3699 NEW BEST:: SOT 4391846 SOS 757887 HAS SOPS 757887 HAS SOUS 640070 HAS SOUPS 640070 WITH SCORE 640827.887
AT ITER 3702 NEW BEST:: SOT 4391766 SOS 757727 HAS SOPS 757727 HAS SOUS 639797 HAS SOUPS 639797 WITH SCORE 640554.727
AT ITER 3717 NEW BEST:: SOT 4391887 SOS 757585 HAS SOPS 757585 HAS SOUS 639726 HAS SOUPS 639726 WITH SCORE 640483.585
AT ITER 3727 NEW BEST:: SOT 4391597 SOS 757005 HAS SOPS 757005 HAS SOUS 639146 HAS SOUPS 639146 WITH SCORE 639903.005
AT ITER 3737 NEW BEST:: SOT 4391590 SOS 756991 HAS SOPS 756991 HAS SOUS 639132 HAS SOUPS 639132 WITH SCORE 639888.991
AT ITER 3840 NEW BEST:: SOT 4391372 SOS 756773 HAS SOPS 756773 HAS SOUS 638914 HAS SOUPS 638914 WITH SCORE 639670.773
AT ITER 3869 NEW BEST:: SOT 4391355 SOS 756739 HAS SOPS 756739 HAS SOUS 638880 HAS SOUPS 638880 WITH SCORE 639636.739
AT ITER 3905 NEW BEST:: SOT 4391337 SOS 756406 HAS SOPS 756406 HAS SOUS 638588 HAS SOUPS 638588 WITH SCORE 639344.406
AT ITER 3929 NEW BEST:: SOT 4391209 SOS 756150 HAS SOPS 756150 HAS SOUS 638332 HAS SOUPS 638332 WITH SCORE 639088.15
AT ITER 3965 NEW BEST:: SOT 4391176 SOS 756084 HAS SOPS 756084 HAS SOUS 638289 HAS SOUPS 638289 WITH SCORE 639045.084
AT ITER 3980 NEW BEST:: SOT 4391104 SOS 755940 HAS SOPS 755940 HAS SOUS 638239 HAS SOUPS 638239 WITH SCORE 638994.94
AT ITER 3987 NEW BEST:: SOT 4391100 SOS 755932 HAS SOPS 755932 HAS SOUS 638231 HAS SOUPS 638231 WITH SCORE 638986.932
AT ITER 4001 NEW BEST:: SOT 4391100 SOS 755559 HAS SOPS 755559 HAS SOUS 638231 HAS SOUPS 638231 WITH SCORE 638986.559
AT ITER 4003 NEW BEST:: SOT 4390996 SOS 755584 HAS SOPS 755584 HAS SOUS 638127 HAS SOUPS 638127 WITH SCORE 638882.584
AT ITER 4021 NEW BEST:: SOT 4390992 SOS 755576 HAS SOPS 755576 HAS SOUS 638119 HAS SOUPS 638119 WITH SCORE 638874.576
AT ITER 4025 NEW BEST:: SOT 4390992 SOS 755482 HAS SOPS 755482 HAS SOUS 638119 HAS SOUPS 638119 WITH SCORE 638874.482
AT ITER 4035 NEW BEST:: SOT 4390884 SOS 755266 HAS SOPS 755266 HAS SOUS 637903 HAS SOUPS 637903 WITH SCORE 638658.266
AT ITER 4079 NEW BEST:: SOT 4390556 SOS 754610 HAS SOPS 754610 HAS SOUS 637595 HAS SOUPS 637595 WITH SCORE 638349.61
AT ITER 4092 NEW BEST:: SOT 4390392 SOS 754282 HAS SOPS 754282 HAS SOUS 637211 HAS SOUPS 637211 WITH SCORE 637965.282
AT ITER 4111 NEW BEST:: SOT 4390362 SOS 754237 HAS SOPS 754237 HAS SOUS 637166 HAS SOUPS 637166 WITH SCORE 637920.237
AT ITER 4136 NEW BEST:: SOT 4389850 SOS 754645 HAS SOPS 754645 HAS SOUS 637068 HAS SOUPS 637068 WITH SCORE 637822.645
AT ITER 4155 NEW BEST:: SOT 4389850 SOS 754641 HAS SOPS 754641 HAS SOUS 637068 HAS SOUPS 637068 WITH SCORE 637822.641
AT ITER 4180 NEW BEST:: SOT 4389957 SOS 754505 HAS SOPS 754505 HAS SOUS 637000 HAS SOUPS 637000 WITH SCORE 637754.505
AT ITER 4218 NEW BEST:: SOT 4389841 SOS 754389 HAS SOPS 754389 HAS SOUS 636884 HAS SOUPS 636884 WITH SCORE 637638.389
AT ITER 4219 NEW BEST:: SOT 4389833 SOS 754373 HAS SOPS 754373 HAS SOUS 636868 HAS SOUPS 636868 WITH SCORE 637622.373
AT ITER 4240 NEW BEST:: SOT 4389591 SOS 754753 HAS SOPS 754753 HAS SOUS 636842 HAS SOUPS 636842 WITH SCORE 637596.753
AT ITER 4251 NEW BEST:: SOT 4389585 SOS 754747 HAS SOPS 754747 HAS SOUS 636836 HAS SOUPS 636836 WITH SCORE 637590.747
AT ITER 4287 NEW BEST:: SOT 4389415 SOS 754407 HAS SOPS 754407 HAS SOUS 636666 HAS SOUPS 636666 WITH SCORE 637420.407
AT ITER 4310 NEW BEST:: SOT 4389283 SOS 754371 HAS SOPS 754371 HAS SOUS 636610 HAS SOUPS 636610 WITH SCORE 637364.371
AT ITER 4317 NEW BEST:: SOT 4389423 SOS 754442 HAS SOPS 754442 HAS SOUS 636541 HAS SOUPS 636541 WITH SCORE 637295.442
AT ITER 4338 NEW BEST:: SOT 4389480 SOS 754117 HAS SOPS 754117 HAS SOUS 636249 HAS SOUPS 636249 WITH SCORE 637003.117
AT ITER 4341 NEW BEST:: SOT 4388986 SOS 754117 HAS SOPS 754117 HAS SOUS 636002 HAS SOUPS 636002 WITH SCORE 636756.117
AT ITER 4347 NEW BEST:: SOT 4388970 SOS 754085 HAS SOPS 754085 HAS SOUS 635970 HAS SOUPS 635970 WITH SCORE 636724.085
AT ITER 4359 NEW BEST:: SOT 4388764 SOS 753879 HAS SOPS 753879 HAS SOUS 635764 HAS SOUPS 635764 WITH SCORE 636517.879
AT ITER 4366 NEW BEST:: SOT 4388619 SOS 753589 HAS SOPS 753589 HAS SOUS 635474 HAS SOUPS 635474 WITH SCORE 636227.589
AT ITER 4417 NEW BEST:: SOT 4388579 SOS 753569 HAS SOPS 753569 HAS SOUS 635454 HAS SOUPS 635454 WITH SCORE 636207.569
AT ITER 4431 NEW BEST:: SOT 4388579 SOS 753269 HAS SOPS 753269 HAS SOUS 635454 HAS SOUPS 635454 WITH SCORE 636207.269
AT ITER 4435 NEW BEST:: SOT 4388821 SOS 753753 HAS SOPS 753753 HAS SOUS 635406 HAS SOUPS 635406 WITH SCORE 636159.753
AT ITER 4441 NEW BEST:: SOT 4388445 SOS 753283 HAS SOPS 753283 HAS SOUS 634936 HAS SOUPS 634936 WITH SCORE 635689.283
AT ITER 4458 NEW BEST:: SOT 4388330 SOS 753249 HAS SOPS 753249 HAS SOUS 634902 HAS SOUPS 634902 WITH SCORE 635655.249
AT ITER 4466 NEW BEST:: SOT 4388268 SOS 753125 HAS SOPS 753125 HAS SOUS 634778 HAS SOUPS 634778 WITH SCORE 635531.125
AT ITER 4479 NEW BEST:: SOT 4388225 SOS 753039 HAS SOPS 753039 HAS SOUS 634692 HAS SOUPS 634692 WITH SCORE 635445.039
AT ITER 4494 NEW BEST:: SOT 4388212 SOS 752720 HAS SOPS 752720 HAS SOUS 634666 HAS SOUPS 634666 WITH SCORE 635418.72
AT ITER 4523 NEW BEST:: SOT 4388205 SOS 752706 HAS SOPS 752706 HAS SOUS 634659 HAS SOUPS 634659 WITH SCORE 635411.706
AT ITER 4526 NEW BEST:: SOT 4388158 SOS 752612 HAS SOPS 752612 HAS SOUS 634612 HAS SOUPS 634612 WITH SCORE 635364.612
AT ITER 4536 NEW BEST:: SOT 4387993 SOS 752282 HAS SOPS 752282 HAS SOUS 634292 HAS SOUPS 634292 WITH SCORE 635044.282
AT ITER 4593 NEW BEST:: SOT 4387990 SOS 752276 HAS SOPS 752276 HAS SOUS 634286 HAS SOUPS 634286 WITH SCORE 635038.276
AT ITER 4602 NEW BEST:: SOT 4387946 SOS 752398 HAS SOPS 752398 HAS SOUS 634242 HAS SOUPS 634242 WITH SCORE 634994.398
AT ITER 4637 NEW BEST:: SOT 4387689 SOS 751627 HAS SOPS 751627 HAS SOUS 633728 HAS SOUPS 633728 WITH SCORE 634479.627
AT ITER 4638 NEW BEST:: SOT 4387649 SOS 751547 HAS SOPS 751547 HAS SOUS 633648 HAS SOUPS 633648 WITH SCORE 634399.547
AT ITER 4649 NEW BEST:: SOT 4387438 SOS 751125 HAS SOPS 751125 HAS SOUS 633226 HAS SOUPS 633226 WITH SCORE 633977.125
AT ITER 4655 NEW BEST:: SOT 4387404 SOS 751057 HAS SOPS 751057 HAS SOUS 633138 HAS SOUPS 633138 WITH SCORE 633889.057
AT ITER 4666 NEW BEST:: SOT 4387404 SOS 750926 HAS SOPS 750926 HAS SOUS 633138 HAS SOUPS 633138 WITH SCORE 633888.926
AT ITER 4685 NEW BEST:: SOT 4387325 SOS 750768 HAS SOPS 750768 HAS SOUS 632980 HAS SOUPS 632980 WITH SCORE 633730.768
AT ITER 4687 NEW BEST:: SOT 4379895 SOS 783431 HAS SOPS 783431 HAS SOUS 627369 HAS SOUPS 627369 WITH SCORE 628152.431
AT ITER 4698 NEW BEST:: SOT 4379927 SOS 783291 HAS SOPS 783291 HAS SOUS 627354 HAS SOUPS 627354 WITH SCORE 628137.291
AT ITER 4711 NEW BEST:: SOT 4379909 SOS 783150 HAS SOPS 783150 HAS SOUS 627262 HAS SOUPS 627262 WITH SCORE 628045.15
AT ITER 4713 NEW BEST:: SOT 4379929 SOS 782612 HAS SOPS 782612 HAS SOUS 627013 HAS SOUPS 627013 WITH SCORE 627795.612
AT ITER 4714 NEW BEST:: SOT 4379935 SOS 782624 HAS SOPS 782624 HAS SOUS 626970 HAS SOUPS 626970 WITH SCORE 627752.624
AT ITER 4721 NEW BEST:: SOT 4379806 SOS 782237 HAS SOPS 782237 HAS SOUS 626712 HAS SOUPS 626712 WITH SCORE 627494.237
AT ITER 4731 NEW BEST:: SOT 4379772 SOS 782169 HAS SOPS 782169 HAS SOUS 626644 HAS SOUPS 626644 WITH SCORE 627426.169
AT ITER 4765 NEW BEST:: SOT 4379772 SOS 782108 HAS SOPS 782108 HAS SOUS 626583 HAS SOUPS 626583 WITH SCORE 627365.108
AT ITER 4789 NEW BEST:: SOT 4379772 SOS 782108 HAS SOPS 782108 HAS SOUS 626582 HAS SOUPS 626582 WITH SCORE 627364.108
AT ITER 4800 NEW BEST:: SOT 4379737 SOS 782038 HAS SOPS 782038 HAS SOUS 626547 HAS SOUPS 626547 WITH SCORE 627329.038
AT ITER 4808 NEW BEST:: SOT 4379723 SOS 782010 HAS SOPS 782010 HAS SOUS 626519 HAS SOUPS 626519 WITH SCORE 627301.01
AT ITER 4874 NEW BEST:: SOT 4379626 SOS 781816 HAS SOPS 781816 HAS SOUS 625927 HAS SOUPS 625927 WITH SCORE 626708.816
AT ITER 4904 NEW BEST:: SOT 4379409 SOS 781382 HAS SOPS 781382 HAS SOUS 625927 HAS SOUPS 625927 WITH SCORE 626708.382
AT ITER 4918 NEW BEST:: SOT 4379415 SOS 781250 HAS SOPS 781250 HAS SOUS 625896 HAS SOUPS 625896 WITH SCORE 626677.25
AT ITER 4986 NEW BEST:: SOT 4379305 SOS 781030 HAS SOPS 781030 HAS SOUS 625602 HAS SOUPS 625602 WITH SCORE 626383.03
AT ITER 5022 NEW BEST:: SOT 4379217 SOS 780957 HAS SOPS 780957 HAS SOUS 625411 HAS SOUPS 625411 WITH SCORE 626191.957
AT ITER 5027 NEW BEST:: SOT 4379063 SOS 780957 HAS SOPS 780957 HAS SOUS 625334 HAS SOUPS 625334 WITH SCORE 626114.957
AT ITER 5042 NEW BEST:: SOT 4379124 SOS 781079 HAS SOPS 781079 HAS SOUS 625085 HAS SOUPS 625085 WITH SCORE 625866.079
AT ITER 5058 NEW BEST:: SOT 4378992 SOS 780644 HAS SOPS 780644 HAS SOUS 624782 HAS SOUPS 624782 WITH SCORE 625562.644
AT ITER 5059 NEW BEST:: SOT 4378992 SOS 780594 HAS SOPS 780594 HAS SOUS 624782 HAS SOUPS 624782 WITH SCORE 625562.594
AT ITER 5071 NEW BEST:: SOT 4378852 SOS 780173 HAS SOPS 780173 HAS SOUS 624361 HAS SOUPS 624361 WITH SCORE 625141.173
AT ITER 5078 NEW BEST:: SOT 4378770 SOS 780009 HAS SOPS 780009 HAS SOUS 624197 HAS SOUPS 624197 WITH SCORE 624977.009
AT ITER 5090 NEW BEST:: SOT 4378696 SOS 779935 HAS SOPS 779935 HAS SOUS 624049 HAS SOUPS 624049 WITH SCORE 624828.935
AT ITER 5093 NEW BEST:: SOT 4378696 SOS 779833 HAS SOPS 779833 HAS SOUS 624049 HAS SOUPS 624049 WITH SCORE 624828.833
AT ITER 5102 NEW BEST:: SOT 4378695 SOS 779563 HAS SOPS 779563 HAS SOUS 624047 HAS SOUPS 624047 WITH SCORE 624826.563
AT ITER 5128 NEW BEST:: SOT 4378739 SOS 779651 HAS SOPS 779651 HAS SOUS 623842 HAS SOUPS 623842 WITH SCORE 624621.651
AT ITER 5156 NEW BEST:: SOT 4378730 SOS 779633 HAS SOPS 779633 HAS SOUS 623824 HAS SOUPS 623824 WITH SCORE 624603.633
AT ITER 5181 NEW BEST:: SOT 4378730 SOS 779633 HAS SOPS 779633 HAS SOUS 623756 HAS SOUPS 623756 WITH SCORE 624535.633
AT ITER 5184 NEW BEST:: SOT 4378730 SOS 779478 HAS SOPS 779478 HAS SOUS 623756 HAS SOUPS 623756 WITH SCORE 624535.478
AT ITER 5214 NEW BEST:: SOT 4378622 SOS 779843 HAS SOPS 779843 HAS SOUS 623689 HAS SOUPS 623689 WITH SCORE 624468.843
AT ITER 5228 NEW BEST:: SOT 4378621 SOS 779764 HAS SOPS 779764 HAS SOUS 623611 HAS SOUPS 623611 WITH SCORE 624390.764
AT ITER 5266 NEW BEST:: SOT 4378592 SOS 779706 HAS SOPS 779706 HAS SOUS 623553 HAS SOUPS 623553 WITH SCORE 624332.706
AT ITER 5273 NEW BEST:: SOT 4378591 SOS 779704 HAS SOPS 779704 HAS SOUS 623551 HAS SOUPS 623551 WITH SCORE 624330.704
AT ITER 5288 NEW BEST:: SOT 4378498 SOS 779518 HAS SOPS 779518 HAS SOUS 623365 HAS SOUPS 623365 WITH SCORE 624144.518
AT ITER 5304 NEW BEST:: SOT 4378408 SOS 779338 HAS SOPS 779338 HAS SOUS 623267 HAS SOUPS 623267 WITH SCORE 624046.338
AT ITER 5340 NEW BEST:: SOT 4378379 SOS 779564 HAS SOPS 779564 HAS SOUS 623262 HAS SOUPS 623262 WITH SCORE 624041.564
AT ITER 5355 NEW BEST:: SOT 4378243 SOS 779292 HAS SOPS 779292 HAS SOUS 622990 HAS SOUPS 622990 WITH SCORE 623769.292
AT ITER 5436 NEW BEST:: SOT 4378243 SOS 779168 HAS SOPS 779168 HAS SOUS 622990 HAS SOUPS 622990 WITH SCORE 623769.168
AT ITER 5439 NEW BEST:: SOT 4378289 SOS 779260 HAS SOPS 779260 HAS SOUS 622983 HAS SOUPS 622983 WITH SCORE 623762.26
AT ITER 5456 NEW BEST:: SOT 4378227 SOS 779268 HAS SOPS 779268 HAS SOUS 622981 HAS SOUPS 622981 WITH SCORE 623760.268
AT ITER 5471 NEW BEST:: SOT 4378124 SOS 779062 HAS SOPS 779062 HAS SOUS 622878 HAS SOUPS 622878 WITH SCORE 623657.062
AT ITER 5502 NEW BEST:: SOT 4378013 SOS 778840 HAS SOPS 778840 HAS SOUS 622870 HAS SOUPS 622870 WITH SCORE 623648.84
AT ITER 5512 NEW BEST:: SOT 4378005 SOS 778824 HAS SOPS 778824 HAS SOUS 622854 HAS SOUPS 622854 WITH SCORE 623632.824
AT ITER 5534 NEW BEST:: SOT 4378005 SOS 778824 HAS SOPS 778824 HAS SOUS 622853 HAS SOUPS 622853 WITH SCORE 623631.824
AT ITER 5575 NEW BEST:: SOT 4377962 SOS 778738 HAS SOPS 778738 HAS SOUS 622767 HAS SOUPS 622767 WITH SCORE 623545.738
AT ITER 5579 NEW BEST:: SOT 4377905 SOS 778681 HAS SOPS 778681 HAS SOUS 622710 HAS SOUPS 622710 WITH SCORE 623488.681
AT ITER 5604 NEW BEST:: SOT 4377905 SOS 778494 HAS SOPS 778494 HAS SOUS 622710 HAS SOUPS 622710 WITH SCORE 623488.494
AT ITER 5607 NEW BEST:: SOT 4377843 SOS 778370 HAS SOPS 778370 HAS SOUS 622586 HAS SOUPS 622586 WITH SCORE 623364.37
AT ITER 5635 NEW BEST:: SOT 4377835 SOS 778354 HAS SOPS 778354 HAS SOUS 622573 HAS SOUPS 622573 WITH SCORE 623351.354
AT ITER 5658 NEW BEST:: SOT 4377835 SOS 778153 HAS SOPS 778153 HAS SOUS 622573 HAS SOUPS 622573 WITH SCORE 623351.153
AT ITER 5660 NEW BEST:: SOT 4377895 SOS 778273 HAS SOPS 778273 HAS SOUS 622496 HAS SOUPS 622496 WITH SCORE 623274.273
AT ITER 5661 NEW BEST:: SOT 4378045 SOS 778496 HAS SOPS 778496 HAS SOUS 622370 HAS SOUPS 622370 WITH SCORE 623148.496
AT ITER 5681 NEW BEST:: SOT 4378043 SOS 778492 HAS SOPS 778492 HAS SOUS 622366 HAS SOUPS 622366 WITH SCORE 623144.492
AT ITER 5688 NEW BEST:: SOT 4378007 SOS 778420 HAS SOPS 778420 HAS SOUS 622294 HAS SOUPS 622294 WITH SCORE 623072.42
AT ITER 5697 NEW BEST:: SOT 4377850 SOS 778263 HAS SOPS 778263 HAS SOUS 622293 HAS SOUPS 622293 WITH SCORE 623071.263
AT ITER 5733 NEW BEST:: SOT 4377789 SOS 778141 HAS SOPS 778141 HAS SOUS 622241 HAS SOUPS 622241 WITH SCORE 623019.141
AT ITER 5782 NEW BEST:: SOT 4376202 SOS 778335 HAS SOPS 778335 HAS SOUS 621311 HAS SOUPS 621311 WITH SCORE 622089.335
AT ITER 5792 NEW BEST:: SOT 4376203 SOS 778097 HAS SOPS 778097 HAS SOUS 621155 HAS SOUPS 621155 WITH SCORE 621933.097
AT ITER 5794 NEW BEST:: SOT 4376060 SOS 777811 HAS SOPS 777811 HAS SOUS 621022 HAS SOUPS 621022 WITH SCORE 621799.811
AT ITER 5806 NEW BEST:: SOT 4376060 SOS 777811 HAS SOPS 777811 HAS SOUS 620902 HAS SOUPS 620902 WITH SCORE 621679.811
AT ITER 5841 NEW BEST:: SOT 4375964 SOS 777619 HAS SOPS 777619 HAS SOUS 620710 HAS SOUPS 620710 WITH SCORE 621487.619
AT ITER 5846 NEW BEST:: SOT 4375852 SOS 777607 HAS SOPS 777607 HAS SOUS 620661 HAS SOUPS 620661 WITH SCORE 621438.607
AT ITER 5914 NEW BEST:: SOT 4375818 SOS 777539 HAS SOPS 777539 HAS SOUS 620593 HAS SOUPS 620593 WITH SCORE 621370.539
AT ITER 5934 NEW BEST:: SOT 4375818 SOS 777434 HAS SOPS 777434 HAS SOUS 620593 HAS SOUPS 620593 WITH SCORE 621370.434
AT ITER 5949 NEW BEST:: SOT 4375821 SOS 777440 HAS SOPS 777440 HAS SOUS 620538 HAS SOUPS 620538 WITH SCORE 621315.44
AT ITER 5953 NEW BEST:: SOT 4375901 SOS 777600 HAS SOPS 777600 HAS SOUS 620534 HAS SOUPS 620534 WITH SCORE 621311.6
AT ITER 5979 NEW BEST:: SOT 4375885 SOS 777568 HAS SOPS 777568 HAS SOUS 620514 HAS SOUPS 620514 WITH SCORE 621291.568
AT ITER 5983 NEW BEST:: SOT 4375885 SOS 777471 HAS SOPS 777471 HAS SOUS 620336 HAS SOUPS 620336 WITH SCORE 621113.471
AT ITER 6028 NEW BEST:: SOT 4375862 SOS 777448 HAS SOPS 777448 HAS SOUS 620313 HAS SOUPS 620313 WITH SCORE 621090.448
AT ITER 6034 NEW BEST:: SOT 4375425 SOS 777021 HAS SOPS 777021 HAS SOUS 619886 HAS SOUPS 619886 WITH SCORE 620663.021
AT ITER 6046 NEW BEST:: SOT 4375407 SOS 776985 HAS SOPS 776985 HAS SOUS 619684 HAS SOUPS 619684 WITH SCORE 620460.985
AT ITER 6048 NEW BEST:: SOT 4375208 SOS 776587 HAS SOPS 776587 HAS SOUS 619286 HAS SOUPS 619286 WITH SCORE 620062.587
AT ITER 6076 NEW BEST:: SOT 4375139 SOS 776449 HAS SOPS 776449 HAS SOUS 619217 HAS SOUPS 619217 WITH SCORE 619993.449
AT ITER 6113 NEW BEST:: SOT 4374964 SOS 776099 HAS SOPS 776099 HAS SOUS 619084 HAS SOUPS 619084 WITH SCORE 619860.099
AT ITER 6150 NEW BEST:: SOT 4374963 SOS 775999 HAS SOPS 775999 HAS SOUS 619082 HAS SOUPS 619082 WITH SCORE 619857.999
AT ITER 6160 NEW BEST:: SOT 4374962 SOS 775997 HAS SOPS 775997 HAS SOUS 619080 HAS SOUPS 619080 WITH SCORE 619855.997
AT ITER 6161 NEW BEST:: SOT 4374895 SOS 775863 HAS SOPS 775863 HAS SOUS 618946 HAS SOUPS 618946 WITH SCORE 619721.863
AT ITER 6176 NEW BEST:: SOT 4374776 SOS 775939 HAS SOPS 775939 HAS SOUS 618513 HAS SOUPS 618513 WITH SCORE 619288.939
AT ITER 6196 NEW BEST:: SOT 4374672 SOS 775731 HAS SOPS 775731 HAS SOUS 618305 HAS SOUPS 618305 WITH SCORE 619080.731
AT ITER 6216 NEW BEST:: SOT 4374536 SOS 775595 HAS SOPS 775595 HAS SOUS 618169 HAS SOUPS 618169 WITH SCORE 618944.595
AT ITER 6218 NEW BEST:: SOT 4374381 SOS 775285 HAS SOPS 775285 HAS SOUS 617859 HAS SOUPS 617859 WITH SCORE 618634.285
AT ITER 6234 NEW BEST:: SOT 4374284 SOS 775091 HAS SOPS 775091 HAS SOUS 617665 HAS SOUPS 617665 WITH SCORE 618440.091
AT ITER 6237 NEW BEST:: SOT 4373000 SOS 774938 HAS SOPS 774938 HAS SOUS 616582 HAS SOUPS 616582 WITH SCORE 617356.938
AT ITER 6257 NEW BEST:: SOT 4373000 SOS 774883 HAS SOPS 774883 HAS SOUS 616332 HAS SOUPS 616332 WITH SCORE 617106.883
AT ITER 6265 NEW BEST:: SOT 4372874 SOS 774631 HAS SOPS 774631 HAS SOUS 616080 HAS SOUPS 616080 WITH SCORE 616854.631
AT ITER 6301 NEW BEST:: SOT 4372810 SOS 772007 HAS SOPS 772007 HAS SOUS 615952 HAS SOUPS 615952 WITH SCORE 616724.007
AT ITER 6311 NEW BEST:: SOT 4372667 SOS 771864 HAS SOPS 771864 HAS SOUS 615809 HAS SOUPS 615809 WITH SCORE 616580.864
AT ITER 6314 NEW BEST:: SOT 4372520 SOS 771735 HAS SOPS 771735 HAS SOUS 615662 HAS SOUPS 615662 WITH SCORE 616433.735
AT ITER 6328 NEW BEST:: SOT 4372520 SOS 771476 HAS SOPS 771476 HAS SOUS 615403 HAS SOUPS 615403 WITH SCORE 616174.476
AT ITER 6349 NEW BEST:: SOT 4372338 SOS 771532 HAS SOPS 771532 HAS SOUS 615244 HAS SOUPS 615244 WITH SCORE 616015.532
AT ITER 6382 NEW BEST:: SOT 4372062 SOS 771394 HAS SOPS 771394 HAS SOUS 615106 HAS SOUPS 615106 WITH SCORE 615877.394
AT ITER 6387 NEW BEST:: SOT 4372076 SOS 771422 HAS SOPS 771422 HAS SOUS 615085 HAS SOUPS 615085 WITH SCORE 615856.422
AT ITER 6424 NEW BEST:: SOT 4372076 SOS 771422 HAS SOPS 771422 HAS SOUS 615084 HAS SOUPS 615084 WITH SCORE 615855.422
AT ITER 6438 NEW BEST:: SOT 4372023 SOS 771556 HAS SOPS 771556 HAS SOUS 615061 HAS SOUPS 615061 WITH SCORE 615832.556
AT ITER 6487 NEW BEST:: SOT 4371899 SOS 771432 HAS SOPS 771432 HAS SOUS 614937 HAS SOUPS 614937 WITH SCORE 615708.432
AT ITER 6488 NEW BEST:: SOT 4371936 SOS 771140 HAS SOPS 771140 HAS SOUS 614809 HAS SOUPS 614809 WITH SCORE 615580.14
AT ITER 6514 NEW BEST:: SOT 4371935 SOS 771138 HAS SOPS 771138 HAS SOUS 614807 HAS SOUPS 614807 WITH SCORE 615578.138
AT ITER 6549 NEW BEST:: SOT 4371935 SOS 771087 HAS SOPS 771087 HAS SOUS 614807 HAS SOUPS 614807 WITH SCORE 615578.087
AT ITER 6568 NEW BEST:: SOT 4371885 SOS 770987 HAS SOPS 770987 HAS SOUS 614707 HAS SOUPS 614707 WITH SCORE 615477.987
AT ITER 6578 NEW BEST:: SOT 4371980 SOS 770957 HAS SOPS 770957 HAS SOUS 614677 HAS SOUPS 614677 WITH SCORE 615447.957
AT ITER 6623 NEW BEST:: SOT 4371980 SOS 770872 HAS SOPS 770872 HAS SOUS 614677 HAS SOUPS 614677 WITH SCORE 615447.872
AT ITER 6634 NEW BEST:: SOT 4371980 SOS 770724 HAS SOPS 770724 HAS SOUS 614677 HAS SOUPS 614677 WITH SCORE 615447.724
AT ITER 6640 NEW BEST:: SOT 4371906 SOS 770653 HAS SOPS 770653 HAS SOUS 614529 HAS SOUPS 614529 WITH SCORE 615299.653
AT ITER 6647 NEW BEST:: SOT 4371906 SOS 770352 HAS SOPS 770352 HAS SOUS 614527 HAS SOUPS 614527 WITH SCORE 615297.352
AT ITER 6670 NEW BEST:: SOT 4371722 SOS 769984 HAS SOPS 769984 HAS SOUS 614159 HAS SOUPS 614159 WITH SCORE 614928.984
AT ITER 6671 NEW BEST:: SOT 4371244 SOS 769568 HAS SOPS 769568 HAS SOUS 613743 HAS SOUPS 613743 WITH SCORE 614512.568
AT ITER 6709 NEW BEST:: SOT 4371035 SOS 769150 HAS SOPS 769150 HAS SOUS 613534 HAS SOUPS 613534 WITH SCORE 614303.15
AT ITER 6737 NEW BEST:: SOT 4371021 SOS 769122 HAS SOPS 769122 HAS SOUS 613506 HAS SOUPS 613506 WITH SCORE 614275.122
AT ITER 6746 NEW BEST:: SOT 4371020 SOS 769120 HAS SOPS 769120 HAS SOUS 613504 HAS SOUPS 613504 WITH SCORE 614273.12
AT ITER 6756 NEW BEST:: SOT 4371020 SOS 768693 HAS SOPS 768693 HAS SOUS 613166 HAS SOUPS 613166 WITH SCORE 613934.693
AT ITER 6772 NEW BEST:: SOT 4370894 SOS 768603 HAS SOPS 768603 HAS SOUS 613044 HAS SOUPS 613044 WITH SCORE 613812.603
AT ITER 6777 NEW BEST:: SOT 4370900 SOS 768615 HAS SOPS 768615 HAS SOUS 612914 HAS SOUPS 612914 WITH SCORE 613682.615
AT ITER 6779 NEW BEST:: SOT 4371007 SOS 768657 HAS SOPS 768657 HAS SOUS 612784 HAS SOUPS 612784 WITH SCORE 613552.657
AT ITER 6784 NEW BEST:: SOT 4370612 SOS 767867 HAS SOPS 767867 HAS SOUS 612389 HAS SOUPS 612389 WITH SCORE 613156.867
AT ITER 6798 NEW BEST:: SOT 4370554 SOS 767751 HAS SOPS 767751 HAS SOUS 612286 HAS SOUPS 612286 WITH SCORE 613053.751
AT ITER 6836 NEW BEST:: SOT 4370451 SOS 768037 HAS SOPS 768037 HAS SOUS 612275 HAS SOUPS 612275 WITH SCORE 613043.037
AT ITER 6846 NEW BEST:: SOT 4370323 SOS 767781 HAS SOPS 767781 HAS SOUS 612147 HAS SOUPS 612147 WITH SCORE 612914.781
AT ITER 6856 NEW BEST:: SOT 4369795 SOS 767313 HAS SOPS 767313 HAS SOUS 611913 HAS SOUPS 611913 WITH SCORE 612680.313
AT ITER 6866 NEW BEST:: SOT 4369271 SOS 767313 HAS SOPS 767313 HAS SOUS 611453 HAS SOUPS 611453 WITH SCORE 612220.313
AT ITER 6883 NEW BEST:: SOT 4369209 SOS 767313 HAS SOPS 767313 HAS SOUS 611422 HAS SOUPS 611422 WITH SCORE 612189.313
AT ITER 6902 NEW BEST:: SOT 4368949 SOS 767114 HAS SOPS 767114 HAS SOUS 611181 HAS SOUPS 611181 WITH SCORE 611948.114
AT ITER 6944 NEW BEST:: SOT 4368925 SOS 767066 HAS SOPS 767066 HAS SOUS 611133 HAS SOUPS 611133 WITH SCORE 611900.066
AT ITER 6946 NEW BEST:: SOT 4367254 SOS 769478 HAS SOPS 769478 HAS SOUS 609599 HAS SOUPS 609599 WITH SCORE 610368.478
AT ITER 6958 NEW BEST:: SOT 4367201 SOS 769372 HAS SOPS 769372 HAS SOUS 609546 HAS SOUPS 609546 WITH SCORE 610315.372
AT ITER 6966 NEW BEST:: SOT 4367191 SOS 769352 HAS SOPS 769352 HAS SOUS 609536 HAS SOUPS 609536 WITH SCORE 610305.352
AT ITER 6983 NEW BEST:: SOT 4367013 SOS 768996 HAS SOPS 768996 HAS SOUS 609358 HAS SOUPS 609358 WITH SCORE 610126.996
AT ITER 6986 NEW BEST:: SOT 4366994 SOS 768958 HAS SOPS 768958 HAS SOUS 609152 HAS SOUPS 609152 WITH SCORE 609920.958
AT ITER 7007 NEW BEST:: SOT 4366865 SOS 768700 HAS SOPS 768700 HAS SOUS 608894 HAS SOUPS 608894 WITH SCORE 609662.7
AT ITER 7014 NEW BEST:: SOT 4366469 SOS 768186 HAS SOPS 768186 HAS SOUS 608359 HAS SOUPS 608359 WITH SCORE 609127.186
AT ITER 7050 NEW BEST:: SOT 4366301 SOS 767850 HAS SOPS 767850 HAS SOUS 608181 HAS SOUPS 608181 WITH SCORE 608948.85
AT ITER 7052 NEW BEST:: SOT 4365960 SOS 767509 HAS SOPS 767509 HAS SOUS 607840 HAS SOUPS 607840 WITH SCORE 608607.509
AT ITER 7067 NEW BEST:: SOT 4366030 SOS 767336 HAS SOPS 767336 HAS SOUS 607798 HAS SOUPS 607798 WITH SCORE 608565.336
AT ITER 7085 NEW BEST:: SOT 4365966 SOS 767208 HAS SOPS 767208 HAS SOUS 607368 HAS SOUPS 607368 WITH SCORE 608135.208
AT ITER 7097 NEW BEST:: SOT 4365823 SOS 766651 HAS SOPS 766651 HAS SOUS 607082 HAS SOUPS 607082 WITH SCORE 607848.651
AT ITER 7105 NEW BEST:: SOT 4365634 SOS 766273 HAS SOPS 766273 HAS SOUS 607081 HAS SOUPS 607081 WITH SCORE 607847.273
AT ITER 7111 NEW BEST:: SOT 4365544 SOS 765859 HAS SOPS 765859 HAS SOUS 606974 HAS SOUPS 606974 WITH SCORE 607739.859
AT ITER 7148 NEW BEST:: SOT 4365544 SOS 765831 HAS SOPS 765831 HAS SOUS 606946 HAS SOUPS 606946 WITH SCORE 607711.831
AT ITER 7150 NEW BEST:: SOT 4365346 SOS 765705 HAS SOPS 765705 HAS SOUS 606820 HAS SOUPS 606820 WITH SCORE 607585.705
AT ITER 7171 NEW BEST:: SOT 4365234 SOS 765583 HAS SOPS 765583 HAS SOUS 606657 HAS SOUPS 606657 WITH SCORE 607422.583
AT ITER 7172 NEW BEST:: SOT 4365159 SOS 765433 HAS SOPS 765433 HAS SOUS 606507 HAS SOUPS 606507 WITH SCORE 607272.433
AT ITER 7196 NEW BEST:: SOT 4365139 SOS 765393 HAS SOPS 765393 HAS SOUS 606467 HAS SOUPS 606467 WITH SCORE 607232.393
AT ITER 7216 NEW BEST:: SOT 4364997 SOS 765397 HAS SOPS 765397 HAS SOUS 606396 HAS SOUPS 606396 WITH SCORE 607161.397
AT ITER 7222 NEW BEST:: SOT 4364919 SOS 765163 HAS SOPS 765163 HAS SOUS 606240 HAS SOUPS 606240 WITH SCORE 607005.163
AT ITER 7226 NEW BEST:: SOT 4364919 SOS 765163 HAS SOPS 765163 HAS SOUS 606213 HAS SOUPS 606213 WITH SCORE 606978.163
AT ITER 7234 NEW BEST:: SOT 4364919 SOS 765063 HAS SOPS 765063 HAS SOUS 606163 HAS SOUPS 606163 WITH SCORE 606928.063
AT ITER 7291 NEW BEST:: SOT 4364882 SOS 765217 HAS SOPS 765217 HAS SOUS 606157 HAS SOUPS 606157 WITH SCORE 606922.217
AT ITER 7304 NEW BEST:: SOT 4364663 SOS 764779 HAS SOPS 764779 HAS SOUS 605719 HAS SOUPS 605719 WITH SCORE 606483.779
AT ITER 7335 NEW BEST:: SOT 4364619 SOS 764691 HAS SOPS 764691 HAS SOUS 605631 HAS SOUPS 605631 WITH SCORE 606395.691
AT ITER 7405 NEW BEST:: SOT 4364522 SOS 764497 HAS SOPS 764497 HAS SOUS 605534 HAS SOUPS 605534 WITH SCORE 606298.497
AT ITER 7431 NEW BEST:: SOT 4364503 SOS 764383 HAS SOPS 764383 HAS SOUS 605496 HAS SOUPS 605496 WITH SCORE 606260.383
AT ITER 7458 NEW BEST:: SOT 4364423 SOS 764160 HAS SOPS 764160 HAS SOUS 605353 HAS SOUPS 605353 WITH SCORE 606117.16
AT ITER 7488 NEW BEST:: SOT 4364231 SOS 763776 HAS SOPS 763776 HAS SOUS 605161 HAS SOUPS 605161 WITH SCORE 605924.776
AT ITER 7491 NEW BEST:: SOT 4364230 SOS 763774 HAS SOPS 763774 HAS SOUS 605159 HAS SOUPS 605159 WITH SCORE 605922.774
AT ITER 7502 NEW BEST:: SOT 4364505 SOS 763492 HAS SOPS 763492 HAS SOUS 605155 HAS SOUPS 605155 WITH SCORE 605918.492
AT ITER 7521 NEW BEST:: SOT 4364351 SOS 764720 HAS SOPS 764720 HAS SOUS 605090 HAS SOUPS 605090 WITH SCORE 605854.72
AT ITER 7539 NEW BEST:: SOT 4363991 SOS 764352 HAS SOPS 764352 HAS SOUS 604775 HAS SOUPS 604775 WITH SCORE 605539.352
AT ITER 7543 NEW BEST:: SOT 4363991 SOS 764305 HAS SOPS 764305 HAS SOUS 604775 HAS SOUPS 604775 WITH SCORE 605539.305
AT ITER 7562 NEW BEST:: SOT 4363874 SOS 764071 HAS SOPS 764071 HAS SOUS 604658 HAS SOUPS 604658 WITH SCORE 605422.071
AT ITER 7585 NEW BEST:: SOT 4363943 SOS 763918 HAS SOPS 763918 HAS SOUS 604505 HAS SOUPS 604505 WITH SCORE 605268.918
AT ITER 7598 NEW BEST:: SOT 4363906 SOS 763844 HAS SOPS 763844 HAS SOUS 604431 HAS SOUPS 604431 WITH SCORE 605194.844
AT ITER 7604 NEW BEST:: SOT 4363905 SOS 763843 HAS SOPS 763843 HAS SOUS 604429 HAS SOUPS 604429 WITH SCORE 605192.843
AT ITER 7607 NEW BEST:: SOT 4363905 SOS 763311 HAS SOPS 763311 HAS SOUS 604163 HAS SOUPS 604163 WITH SCORE 604926.311
AT ITER 7624 NEW BEST:: SOT 4363820 SOS 763274 HAS SOPS 763274 HAS SOUS 604078 HAS SOUPS 604078 WITH SCORE 604841.274
AT ITER 7638 NEW BEST:: SOT 4363820 SOS 763154 HAS SOPS 763154 HAS SOUS 603958 HAS SOUPS 603958 WITH SCORE 604721.154
AT ITER 7650 NEW BEST:: SOT 4363681 SOS 762876 HAS SOPS 762876 HAS SOUS 603680 HAS SOUPS 603680 WITH SCORE 604442.876
AT ITER 7653 NEW BEST:: SOT 4363681 SOS 762816 HAS SOPS 762816 HAS SOUS 603620 HAS SOUPS 603620 WITH SCORE 604382.816
AT ITER 7662 NEW BEST:: SOT 4363680 SOS 762514 HAS SOPS 762514 HAS SOUS 603618 HAS SOUPS 603618 WITH SCORE 604380.514
AT ITER 7669 NEW BEST:: SOT 4363485 SOS 761457 HAS SOPS 761457 HAS SOUS 603476 HAS SOUPS 603476 WITH SCORE 604237.457
AT ITER 7679 NEW BEST:: SOT 4363482 SOS 761451 HAS SOPS 761451 HAS SOUS 603384 HAS SOUPS 603384 WITH SCORE 604145.451
AT ITER 7688 NEW BEST:: SOT 4363431 SOS 761399 HAS SOPS 761399 HAS SOUS 603332 HAS SOUPS 603332 WITH SCORE 604093.399
AT ITER 7689 NEW BEST:: SOT 4363430 SOS 761397 HAS SOPS 761397 HAS SOUS 603304 HAS SOUPS 603304 WITH SCORE 604065.397
AT ITER 7714 NEW BEST:: SOT 4362662 SOS 760452 HAS SOPS 760452 HAS SOUS 601998 HAS SOUPS 601998 WITH SCORE 602758.452
AT ITER 7740 NEW BEST:: SOT 4362640 SOS 760408 HAS SOPS 760408 HAS SOUS 601954 HAS SOUPS 601954 WITH SCORE 602714.408
AT ITER 7746 NEW BEST:: SOT 4362608 SOS 760237 HAS SOPS 760237 HAS SOUS 601890 HAS SOUPS 601890 WITH SCORE 602650.237
AT ITER 7754 NEW BEST:: SOT 4362451 SOS 759923 HAS SOPS 759923 HAS SOUS 601723 HAS SOUPS 601723 WITH SCORE 602482.923
AT ITER 7770 NEW BEST:: SOT 4362431 SOS 759741 HAS SOPS 759741 HAS SOUS 601683 HAS SOUPS 601683 WITH SCORE 602442.741
AT ITER 7776 NEW BEST:: SOT 4362219 SOS 759317 HAS SOPS 759317 HAS SOUS 601259 HAS SOUPS 601259 WITH SCORE 602018.317
AT ITER 7783 NEW BEST:: SOT 4362190 SOS 759349 HAS SOPS 759349 HAS SOUS 601140 HAS SOUPS 601140 WITH SCORE 601899.349
AT ITER 7786 NEW BEST:: SOT 4362190 SOS 759349 HAS SOPS 759349 HAS SOUS 601018 HAS SOUPS 601018 WITH SCORE 601777.349
AT ITER 7792 NEW BEST:: SOT 4362164 SOS 759431 HAS SOPS 759431 HAS SOUS 600992 HAS SOUPS 600992 WITH SCORE 601751.431
AT ITER 7827 NEW BEST:: SOT 4361996 SOS 759345 HAS SOPS 759345 HAS SOUS 600744 HAS SOUPS 600744 WITH SCORE 601503.345
AT ITER 7833 NEW BEST:: SOT 4361940 SOS 759233 HAS SOPS 759233 HAS SOUS 600688 HAS SOUPS 600688 WITH SCORE 601447.233
AT ITER 7846 NEW BEST:: SOT 4361823 SOS 759116 HAS SOPS 759116 HAS SOUS 600571 HAS SOUPS 600571 WITH SCORE 601330.116
AT ITER 7880 NEW BEST:: SOT 4361823 SOS 759072 HAS SOPS 759072 HAS SOUS 600570 HAS SOUPS 600570 WITH SCORE 601329.072
AT ITER 7940 NEW BEST:: SOT 4361823 SOS 758998 HAS SOPS 758998 HAS SOUS 600496 HAS SOUPS 600496 WITH SCORE 601254.998
AT ITER 7946 NEW BEST:: SOT 4361775 SOS 758902 HAS SOPS 758902 HAS SOUS 600448 HAS SOUPS 600448 WITH SCORE 601206.902
AT ITER 7972 NEW BEST:: SOT 4361784 SOS 758629 HAS SOPS 758629 HAS SOUS 600360 HAS SOUPS 600360 WITH SCORE 601118.629
AT ITER 7990 NEW BEST:: SOT 4361784 SOS 758620 HAS SOPS 758620 HAS SOUS 600351 HAS SOUPS 600351 WITH SCORE 601109.62
AT ITER 8000 NEW BEST:: SOT 4361441 SOS 758438 HAS SOPS 758438 HAS SOUS 600112 HAS SOUPS 600112 WITH SCORE 600870.438
AT ITER 8019 NEW BEST:: SOT 4361441 SOS 758438 HAS SOPS 758438 HAS SOUS 599888 HAS SOUPS 599888 WITH SCORE 600646.438
AT ITER 8042 NEW BEST:: SOT 4361420 SOS 758396 HAS SOPS 758396 HAS SOUS 599846 HAS SOUPS 599846 WITH SCORE 600604.396
AT ITER 8059 NEW BEST:: SOT 4361283 SOS 758244 HAS SOPS 758244 HAS SOUS 599694 HAS SOUPS 599694 WITH SCORE 600452.244
AT ITER 8078 NEW BEST:: SOT 4361025 SOS 757986 HAS SOPS 757986 HAS SOUS 599694 HAS SOUPS 599694 WITH SCORE 600451.986
AT ITER 8084 NEW BEST:: SOT 4361044 SOS 757808 HAS SOPS 757808 HAS SOUS 599668 HAS SOUPS 599668 WITH SCORE 600425.808
AT ITER 8090 NEW BEST:: SOT 4360831 SOS 757595 HAS SOPS 757595 HAS SOUS 599455 HAS SOUPS 599455 WITH SCORE 600212.595
AT ITER 8132 NEW BEST:: SOT 4360830 SOS 757593 HAS SOPS 757593 HAS SOUS 599453 HAS SOUPS 599453 WITH SCORE 600210.593
AT ITER 8141 NEW BEST:: SOT 4360460 SOS 756853 HAS SOPS 756853 HAS SOUS 599122 HAS SOUPS 599122 WITH SCORE 599878.853
AT ITER 8145 NEW BEST:: SOT 4360148 SOS 756229 HAS SOPS 756229 HAS SOUS 598809 HAS SOUPS 598809 WITH SCORE 599565.229
AT ITER 8148 NEW BEST:: SOT 4360126 SOS 756185 HAS SOPS 756185 HAS SOUS 598765 HAS SOUPS 598765 WITH SCORE 599521.185
AT ITER 8150 NEW BEST:: SOT 4359912 SOS 755757 HAS SOPS 755757 HAS SOUS 598444 HAS SOUPS 598444 WITH SCORE 599199.757
AT ITER 8224 NEW BEST:: SOT 4359808 SOS 755549 HAS SOPS 755549 HAS SOUS 598236 HAS SOUPS 598236 WITH SCORE 598991.549
AT ITER 8241 NEW BEST:: SOT 4359784 SOS 755501 HAS SOPS 755501 HAS SOUS 598188 HAS SOUPS 598188 WITH SCORE 598943.501
AT ITER 8246 NEW BEST:: SOT 4360270 SOS 755205 HAS SOPS 755205 HAS SOUS 598056 HAS SOUPS 598056 WITH SCORE 598811.205
AT ITER 8263 NEW BEST:: SOT 4360125 SOS 754561 HAS SOPS 754561 HAS SOUS 597974 HAS SOUPS 597974 WITH SCORE 598728.561
AT ITER 8311 NEW BEST:: SOT 4359725 SOS 754261 HAS SOPS 754261 HAS SOUS 597674 HAS SOUPS 597674 WITH SCORE 598428.261
AT ITER 8319 NEW BEST:: SOT 4359718 SOS 754247 HAS SOPS 754247 HAS SOUS 597664 HAS SOUPS 597664 WITH SCORE 598418.247
AT ITER 8322 NEW BEST:: SOT 4359708 SOS 754227 HAS SOPS 754227 HAS SOUS 597644 HAS SOUPS 597644 WITH SCORE 598398.227
AT ITER 8333 NEW BEST:: SOT 4359660 SOS 754227 HAS SOPS 754227 HAS SOUS 597620 HAS SOUPS 597620 WITH SCORE 598374.227
AT ITER 8334 NEW BEST:: SOT 4359659 SOS 754085 HAS SOPS 754085 HAS SOUS 597478 HAS SOUPS 597478 WITH SCORE 598232.085
AT ITER 8376 NEW BEST:: SOT 4359528 SOS 753416 HAS SOPS 753416 HAS SOUS 597321 HAS SOUPS 597321 WITH SCORE 598074.416
AT ITER 8435 NEW BEST:: SOT 4359430 SOS 753418 HAS SOPS 753418 HAS SOUS 597223 HAS SOUPS 597223 WITH SCORE 597976.418
AT ITER 8454 NEW BEST:: SOT 4359330 SOS 753367 HAS SOPS 753367 HAS SOUS 597172 HAS SOUPS 597172 WITH SCORE 597925.367
AT ITER 8495 NEW BEST:: SOT 4359261 SOS 753229 HAS SOPS 753229 HAS SOUS 597102 HAS SOUPS 597102 WITH SCORE 597855.229
AT ITER 8498 NEW BEST:: SOT 4359152 SOS 752916 HAS SOPS 752916 HAS SOUS 596884 HAS SOUPS 596884 WITH SCORE 597636.916
AT ITER 8514 NEW BEST:: SOT 4359152 SOS 752916 HAS SOPS 752916 HAS SOUS 596826 HAS SOUPS 596826 WITH SCORE 597578.916
AT ITER 8524 NEW BEST:: SOT 4359193 SOS 751822 HAS SOPS 751822 HAS SOUS 596430 HAS SOUPS 596430 WITH SCORE 597181.822
AT ITER 8546 NEW BEST:: SOT 4359171 SOS 751627 HAS SOPS 751627 HAS SOUS 596408 HAS SOUPS 596408 WITH SCORE 597159.627
AT ITER 8556 NEW BEST:: SOT 4359030 SOS 751345 HAS SOPS 751345 HAS SOUS 596126 HAS SOUPS 596126 WITH SCORE 596877.345
AT ITER 8574 NEW BEST:: SOT 4358912 SOS 751227 HAS SOPS 751227 HAS SOUS 596008 HAS SOUPS 596008 WITH SCORE 596759.227
AT ITER 8589 NEW BEST:: SOT 4358872 SOS 751199 HAS SOPS 751199 HAS SOUS 595980 HAS SOUPS 595980 WITH SCORE 596731.199
AT ITER 8611 NEW BEST:: SOT 4358872 SOS 750729 HAS SOPS 750729 HAS SOUS 595980 HAS SOUPS 595980 WITH SCORE 596730.729
AT ITER 8623 NEW BEST:: SOT 4358773 SOS 750531 HAS SOPS 750531 HAS SOUS 595782 HAS SOUPS 595782 WITH SCORE 596532.531
AT ITER 8640 NEW BEST:: SOT 4358755 SOS 750495 HAS SOPS 750495 HAS SOUS 595746 HAS SOUPS 595746 WITH SCORE 596496.495
AT ITER 8686 NEW BEST:: SOT 4358580 SOS 750145 HAS SOPS 750145 HAS SOUS 595571 HAS SOUPS 595571 WITH SCORE 596321.145
AT ITER 8724 NEW BEST:: SOT 4358464 SOS 749913 HAS SOPS 749913 HAS SOUS 595455 HAS SOUPS 595455 WITH SCORE 596204.913
AT ITER 8733 NEW BEST:: SOT 4357744 SOS 752945 HAS SOPS 752945 HAS SOUS 595433 HAS SOUPS 595433 WITH SCORE 596185.945
AT ITER 8767 NEW BEST:: SOT 4357848 SOS 752799 HAS SOPS 752799 HAS SOUS 595287 HAS SOUPS 595287 WITH SCORE 596039.799
AT ITER 8818 NEW BEST:: SOT 4357945 SOS 752571 HAS SOPS 752571 HAS SOUS 595173 HAS SOUPS 595173 WITH SCORE 595925.571
AT ITER 8823 NEW BEST:: SOT 4357841 SOS 752473 HAS SOPS 752473 HAS SOUS 594973 HAS SOUPS 594973 WITH SCORE 595725.473
AT ITER 8842 NEW BEST:: SOT 4358186 SOS 752437 HAS SOPS 752437 HAS SOUS 594955 HAS SOUPS 594955 WITH SCORE 595707.437
AT ITER 8851 NEW BEST:: SOT 4358092 SOS 752249 HAS SOPS 752249 HAS SOUS 594767 HAS SOUPS 594767 WITH SCORE 595519.249
AT ITER 8858 NEW BEST:: SOT 4357947 SOS 751959 HAS SOPS 751959 HAS SOUS 594477 HAS SOUPS 594477 WITH SCORE 595228.959
AT ITER 8864 NEW BEST:: SOT 4357738 SOS 751382 HAS SOPS 751382 HAS SOUS 594110 HAS SOUPS 594110 WITH SCORE 594861.382
AT ITER 8899 NEW BEST:: SOT 4357584 SOS 751249 HAS SOPS 751249 HAS SOUS 593956 HAS SOUPS 593956 WITH SCORE 594707.249
AT ITER 8911 NEW BEST:: SOT 4357533 SOS 751147 HAS SOPS 751147 HAS SOUS 593854 HAS SOUPS 593854 WITH SCORE 594605.147
AT ITER 8994 NEW BEST:: SOT 4357387 SOS 740153 HAS SOPS 740153 HAS SOUS 593662 HAS SOUPS 593662 WITH SCORE 594402.153
AT ITER 9011 NEW BEST:: SOT 4357387 SOS 740153 HAS SOPS 740153 HAS SOUS 593623 HAS SOUPS 593623 WITH SCORE 594363.153
AT ITER 9019 NEW BEST:: SOT 4357342 SOS 740063 HAS SOPS 740063 HAS SOUS 593570 HAS SOUPS 593570 WITH SCORE 594310.063
AT ITER 9048 NEW BEST:: SOT 4357489 SOS 739951 HAS SOPS 739951 HAS SOUS 593385 HAS SOUPS 593385 WITH SCORE 594124.951
AT ITER 9124 NEW BEST:: SOT 4357489 SOS 739462 HAS SOPS 739462 HAS SOUS 593385 HAS SOUPS 593385 WITH SCORE 594124.462
AT ITER 9131 NEW BEST:: SOT 4357489 SOS 739456 HAS SOPS 739456 HAS SOUS 593385 HAS SOUPS 593385 WITH SCORE 594124.456
AT ITER 9150 NEW BEST:: SOT 4357427 SOS 739332 HAS SOPS 739332 HAS SOUS 593323 HAS SOUPS 593323 WITH SCORE 594062.332
AT ITER 9182 NEW BEST:: SOT 4357395 SOS 739268 HAS SOPS 739268 HAS SOUS 593259 HAS SOUPS 593259 WITH SCORE 593998.268
AT ITER 9187 NEW BEST:: SOT 4357176 SOS 739142 HAS SOPS 739142 HAS SOUS 593087 HAS SOUPS 593087 WITH SCORE 593826.142
AT ITER 9268 NEW BEST:: SOT 4357176 SOS 738948 HAS SOPS 738948 HAS SOUS 593087 HAS SOUPS 593087 WITH SCORE 593825.948
AT ITER 9270 NEW BEST:: SOT 4357000 SOS 738596 HAS SOPS 738596 HAS SOUS 592735 HAS SOUPS 592735 WITH SCORE 593473.596
AT ITER 9279 NEW BEST:: SOT 4356918 SOS 738514 HAS SOPS 738514 HAS SOUS 592653 HAS SOUPS 592653 WITH SCORE 593391.514
AT ITER 9295 NEW BEST:: SOT 4356918 SOS 738250 HAS SOPS 738250 HAS SOUS 592521 HAS SOUPS 592521 WITH SCORE 593259.25
AT ITER 9320 NEW BEST:: SOT 4356852 SOS 738118 HAS SOPS 738118 HAS SOUS 592391 HAS SOUPS 592391 WITH SCORE 593129.118
AT ITER 9331 NEW BEST:: SOT 4356852 SOS 738046 HAS SOPS 738046 HAS SOUS 592391 HAS SOUPS 592391 WITH SCORE 593129.046
AT ITER 9336 NEW BEST:: SOT 4356843 SOS 738019 HAS SOPS 738019 HAS SOUS 592373 HAS SOUPS 592373 WITH SCORE 593111.019
AT ITER 9347 NEW BEST:: SOT 4356790 SOS 737913 HAS SOPS 737913 HAS SOUS 592267 HAS SOUPS 592267 WITH SCORE 593004.913
AT ITER 9355 NEW BEST:: SOT 4356517 SOS 738093 HAS SOPS 738093 HAS SOUS 592171 HAS SOUPS 592171 WITH SCORE 592909.093
AT ITER 9379 NEW BEST:: SOT 4356481 SOS 738021 HAS SOPS 738021 HAS SOUS 592099 HAS SOUPS 592099 WITH SCORE 592837.021
AT ITER 9407 NEW BEST:: SOT 4356598 SOS 737844 HAS SOPS 737844 HAS SOUS 591961 HAS SOUPS 591961 WITH SCORE 592698.844
AT ITER 9423 NEW BEST:: SOT 4356412 SOS 737472 HAS SOPS 737472 HAS SOUS 591589 HAS SOUPS 591589 WITH SCORE 592326.472
AT ITER 9427 NEW BEST:: SOT 4355942 SOS 737259 HAS SOPS 737259 HAS SOUS 591327 HAS SOUPS 591327 WITH SCORE 592064.259
AT ITER 9481 NEW BEST:: SOT 4355902 SOS 737247 HAS SOPS 737247 HAS SOUS 591287 HAS SOUPS 591287 WITH SCORE 592024.247
AT ITER 9506 NEW BEST:: SOT 4355934 SOS 737143 HAS SOPS 737143 HAS SOUS 591267 HAS SOUPS 591267 WITH SCORE 592004.143
AT ITER 9559 NEW BEST:: SOT 4355372 SOS 736019 HAS SOPS 736019 HAS SOUS 590410 HAS SOUPS 590410 WITH SCORE 591146.019
AT ITER 9563 NEW BEST:: SOT 4355168 SOS 735611 HAS SOPS 735611 HAS SOUS 590002 HAS SOUPS 590002 WITH SCORE 590737.611
AT ITER 9594 NEW BEST:: SOT 4355425 SOS 734889 HAS SOPS 734889 HAS SOUS 589828 HAS SOUPS 589828 WITH SCORE 590562.889
AT ITER 9596 NEW BEST:: SOT 4354506 SOS 736383 HAS SOPS 736383 HAS SOUS 589799 HAS SOUPS 589799 WITH SCORE 590535.383
AT ITER 9597 NEW BEST:: SOT 4354506 SOS 736383 HAS SOPS 736383 HAS SOUS 589790 HAS SOUPS 589790 WITH SCORE 590526.383
AT ITER 9605 NEW BEST:: SOT 4354492 SOS 736474 HAS SOPS 736474 HAS SOUS 589776 HAS SOUPS 589776 WITH SCORE 590512.474
AT ITER 9614 NEW BEST:: SOT 4354403 SOS 736426 HAS SOPS 736426 HAS SOUS 589687 HAS SOUPS 589687 WITH SCORE 590423.426
AT ITER 9616 NEW BEST:: SOT 4354349 SOS 736318 HAS SOPS 736318 HAS SOUS 589579 HAS SOUPS 589579 WITH SCORE 590315.318
AT ITER 9658 NEW BEST:: SOT 4354164 SOS 736164 HAS SOPS 736164 HAS SOUS 589425 HAS SOUPS 589425 WITH SCORE 590161.164
AT ITER 9663 NEW BEST:: SOT 4354210 SOS 735349 HAS SOPS 735349 HAS SOUS 589402 HAS SOUPS 589402 WITH SCORE 590137.349
AT ITER 9667 NEW BEST:: SOT 4354208 SOS 735345 HAS SOPS 735345 HAS SOUS 589398 HAS SOUPS 589398 WITH SCORE 590133.345
AT ITER 9729 NEW BEST:: SOT 4354198 SOS 735333 HAS SOPS 735333 HAS SOUS 589386 HAS SOUPS 589386 WITH SCORE 590121.333
AT ITER 9749 NEW BEST:: SOT 4354203 SOS 735218 HAS SOPS 735218 HAS SOUS 588990 HAS SOUPS 588990 WITH SCORE 589725.218
AT ITER 9766 NEW BEST:: SOT 4354145 SOS 735356 HAS SOPS 735356 HAS SOUS 588932 HAS SOUPS 588932 WITH SCORE 589667.356
AT ITER 9769 NEW BEST:: SOT 4354145 SOS 735290 HAS SOPS 735290 HAS SOUS 588932 HAS SOUPS 588932 WITH SCORE 589667.29
AT ITER 9782 NEW BEST:: SOT 4353986 SOS 734972 HAS SOPS 734972 HAS SOUS 588614 HAS SOUPS 588614 WITH SCORE 589348.972
AT ITER 9800 NEW BEST:: SOT 4353918 SOS 734836 HAS SOPS 734836 HAS SOUS 588478 HAS SOUPS 588478 WITH SCORE 589212.836
AT ITER 9815 NEW BEST:: SOT 4353918 SOS 734500 HAS SOPS 734500 HAS SOUS 588183 HAS SOUPS 588183 WITH SCORE 588917.5
AT ITER 9819 NEW BEST:: SOT 4353787 SOS 734213 HAS SOPS 734213 HAS SOUS 587896 HAS SOUPS 587896 WITH SCORE 588630.213
AT ITER 9853 NEW BEST:: SOT 4353787 SOS 733806 HAS SOPS 733806 HAS SOUS 587489 HAS SOUPS 587489 WITH SCORE 588222.806
AT ITER 9881 NEW BEST:: SOT 4353798 SOS 733586 HAS SOPS 733586 HAS SOUS 587463 HAS SOUPS 587463 WITH SCORE 588196.586
AT ITER 9887 NEW BEST:: SOT 4353796 SOS 733579 HAS SOPS 733579 HAS SOUS 587460 HAS SOUPS 587460 WITH SCORE 588193.579
AT ITER 9961 NEW BEST:: SOT 4353796 SOS 733579 HAS SOPS 733579 HAS SOUS 587413 HAS SOUPS 587413 WITH SCORE 588146.579
AT ITER 9997 NEW BEST:: SOT 4353066 SOS 738251 HAS SOPS 738251 HAS SOUS 586921 HAS SOUPS 586921 WITH SCORE 587659.251
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 12177364 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16153908 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-305"
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-305, 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-167814471900040"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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