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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 7.8K Feb 25 11:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 85K Feb 25 11:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.6K Feb 25 11:50 CTLFireability.txt
-rw-r--r-- 1 mcc users 75K Feb 25 11:50 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 15:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 15:47 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 15:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:47 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.0K Feb 25 11:51 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 75K Feb 25 11:51 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 25 11:51 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 89K Feb 25 11:51 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 1678222461153

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-309
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 309
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 4443228 SOS 758806 HAS SOPS 758806 HAS SOUS 699828 HAS SOUPS 699828 WITH SCORE 700586.806
AT ITER 13 NEW BEST:: SOT 4443228 SOS 758601 HAS SOPS 758601 HAS SOUS 699828 HAS SOUPS 699828 WITH SCORE 700586.601
AT ITER 21 NEW BEST:: SOT 4443068 SOS 758671 HAS SOPS 758671 HAS SOUS 699748 HAS SOUPS 699748 WITH SCORE 700506.671
AT ITER 49 NEW BEST:: SOT 4443068 SOS 758534 HAS SOPS 758534 HAS SOUS 699748 HAS SOUPS 699748 WITH SCORE 700506.534
AT ITER 61 NEW BEST:: SOT 4442841 SOS 758920 HAS SOPS 758920 HAS SOUS 699731 HAS SOUPS 699731 WITH SCORE 700489.92
AT ITER 62 NEW BEST:: SOT 4442952 SOS 759142 HAS SOPS 759142 HAS SOUS 699699 HAS SOUPS 699699 WITH SCORE 700458.142
AT ITER 92 NEW BEST:: SOT 4434911 SOS 824162 HAS SOPS 824162 HAS SOUS 695257 HAS SOUPS 695257 WITH SCORE 696081.162
AT ITER 102 NEW BEST:: SOT 4434707 SOS 823754 HAS SOPS 823754 HAS SOUS 694849 HAS SOUPS 694849 WITH SCORE 695672.754
AT ITER 116 NEW BEST:: SOT 4434673 SOS 823514 HAS SOPS 823514 HAS SOUS 694781 HAS SOUPS 694781 WITH SCORE 695604.514
AT ITER 119 NEW BEST:: SOT 4434411 SOS 822990 HAS SOPS 822990 HAS SOUS 694637 HAS SOUPS 694637 WITH SCORE 695459.99
AT ITER 131 NEW BEST:: SOT 4434411 SOS 822619 HAS SOPS 822619 HAS SOUS 694637 HAS SOUPS 694637 WITH SCORE 695459.619
AT ITER 154 NEW BEST:: SOT 4433734 SOS 821572 HAS SOPS 821572 HAS SOUS 693684 HAS SOUPS 693684 WITH SCORE 694505.572
AT ITER 162 NEW BEST:: SOT 4433604 SOS 821442 HAS SOPS 821442 HAS SOUS 693684 HAS SOUPS 693684 WITH SCORE 694505.442
AT ITER 179 NEW BEST:: SOT 4433721 SOS 821411 HAS SOPS 821411 HAS SOUS 693657 HAS SOUPS 693657 WITH SCORE 694478.411
AT ITER 202 NEW BEST:: SOT 4433721 SOS 821002 HAS SOPS 821002 HAS SOUS 693248 HAS SOUPS 693248 WITH SCORE 694069.002
AT ITER 216 NEW BEST:: SOT 4433721 SOS 820875 HAS SOPS 820875 HAS SOUS 693248 HAS SOUPS 693248 WITH SCORE 694068.875
AT ITER 232 NEW BEST:: SOT 4433721 SOS 820858 HAS SOPS 820858 HAS SOUS 693248 HAS SOUPS 693248 WITH SCORE 694068.858
AT ITER 237 NEW BEST:: SOT 4433556 SOS 820528 HAS SOPS 820528 HAS SOUS 692834 HAS SOUPS 692834 WITH SCORE 693654.528
AT ITER 245 NEW BEST:: SOT 4433532 SOS 820506 HAS SOPS 820506 HAS SOUS 692811 HAS SOUPS 692811 WITH SCORE 693631.506
AT ITER 253 NEW BEST:: SOT 4433326 SOS 820094 HAS SOPS 820094 HAS SOUS 692727 HAS SOUPS 692727 WITH SCORE 693547.094
AT ITER 271 NEW BEST:: SOT 4433141 SOS 819724 HAS SOPS 819724 HAS SOUS 692357 HAS SOUPS 692357 WITH SCORE 693176.724
AT ITER 298 NEW BEST:: SOT 4433137 SOS 819716 HAS SOPS 819716 HAS SOUS 692349 HAS SOUPS 692349 WITH SCORE 693168.716
AT ITER 323 NEW BEST:: SOT 4433137 SOS 819655 HAS SOPS 819655 HAS SOUS 692346 HAS SOUPS 692346 WITH SCORE 693165.655
AT ITER 331 NEW BEST:: SOT 4432846 SOS 819241 HAS SOPS 819241 HAS SOUS 691932 HAS SOUPS 691932 WITH SCORE 692751.241
AT ITER 345 NEW BEST:: SOT 4432886 SOS 819321 HAS SOPS 819321 HAS SOUS 691891 HAS SOUPS 691891 WITH SCORE 692710.321
AT ITER 356 NEW BEST:: SOT 4432788 SOS 819244 HAS SOPS 819244 HAS SOUS 691814 HAS SOUPS 691814 WITH SCORE 692633.244
AT ITER 358 NEW BEST:: SOT 4432893 SOS 819220 HAS SOPS 819220 HAS SOUS 691790 HAS SOUPS 691790 WITH SCORE 692609.22
AT ITER 363 NEW BEST:: SOT 4432631 SOS 819064 HAS SOPS 819064 HAS SOUS 691565 HAS SOUPS 691565 WITH SCORE 692384.064
AT ITER 366 NEW BEST:: SOT 4432630 SOS 819062 HAS SOPS 819062 HAS SOUS 691563 HAS SOUPS 691563 WITH SCORE 692382.062
AT ITER 384 NEW BEST:: SOT 4432630 SOS 819002 HAS SOPS 819002 HAS SOUS 691563 HAS SOUPS 691563 WITH SCORE 692382.002
AT ITER 401 NEW BEST:: SOT 4432630 SOS 818825 HAS SOPS 818825 HAS SOUS 691563 HAS SOUPS 691563 WITH SCORE 692381.825
AT ITER 406 NEW BEST:: SOT 4432630 SOS 818610 HAS SOPS 818610 HAS SOUS 691341 HAS SOUPS 691341 WITH SCORE 692159.61
AT ITER 426 NEW BEST:: SOT 4432630 SOS 818318 HAS SOPS 818318 HAS SOUS 691340 HAS SOUPS 691340 WITH SCORE 692158.318
AT ITER 441 NEW BEST:: SOT 4432511 SOS 818080 HAS SOPS 818080 HAS SOUS 691221 HAS SOUPS 691221 WITH SCORE 692039.08
AT ITER 467 NEW BEST:: SOT 4432511 SOS 818080 HAS SOPS 818080 HAS SOUS 691065 HAS SOUPS 691065 WITH SCORE 691883.08
AT ITER 491 NEW BEST:: SOT 4432251 SOS 817820 HAS SOPS 817820 HAS SOUS 690753 HAS SOUPS 690753 WITH SCORE 691570.82
AT ITER 506 NEW BEST:: SOT 4432251 SOS 817677 HAS SOPS 817677 HAS SOUS 690610 HAS SOUPS 690610 WITH SCORE 691427.677
AT ITER 513 NEW BEST:: SOT 4432251 SOS 817537 HAS SOPS 817537 HAS SOUS 690610 HAS SOUPS 690610 WITH SCORE 691427.537
AT ITER 517 NEW BEST:: SOT 4431223 SOS 845616 HAS SOPS 845616 HAS SOUS 690101 HAS SOUPS 690101 WITH SCORE 690946.616
AT ITER 519 NEW BEST:: SOT 4431223 SOS 845389 HAS SOPS 845389 HAS SOUS 690101 HAS SOUPS 690101 WITH SCORE 690946.389
AT ITER 552 NEW BEST:: SOT 4429999 SOS 845643 HAS SOPS 845643 HAS SOUS 688962 HAS SOUPS 688962 WITH SCORE 689807.643
AT ITER 561 NEW BEST:: SOT 4423981 SOS 865735 HAS SOPS 865735 HAS SOUS 684613 HAS SOUPS 684613 WITH SCORE 685478.735
AT ITER 574 NEW BEST:: SOT 4424158 SOS 866089 HAS SOPS 866089 HAS SOUS 684539 HAS SOUPS 684539 WITH SCORE 685405.089
AT ITER 620 NEW BEST:: SOT 4423945 SOS 865663 HAS SOPS 865663 HAS SOUS 684113 HAS SOUPS 684113 WITH SCORE 684978.663
AT ITER 635 NEW BEST:: SOT 4423945 SOS 865375 HAS SOPS 865375 HAS SOUS 684113 HAS SOUPS 684113 WITH SCORE 684978.375
AT ITER 636 NEW BEST:: SOT 4423945 SOS 865311 HAS SOPS 865311 HAS SOUS 684049 HAS SOUPS 684049 WITH SCORE 684914.311
AT ITER 649 NEW BEST:: SOT 4423945 SOS 864912 HAS SOPS 864912 HAS SOUS 683793 HAS SOUPS 683793 WITH SCORE 684657.912
AT ITER 669 NEW BEST:: SOT 4423568 SOS 864158 HAS SOPS 864158 HAS SOUS 683039 HAS SOUPS 683039 WITH SCORE 683903.158
AT ITER 676 NEW BEST:: SOT 4423366 SOS 863754 HAS SOPS 863754 HAS SOUS 682635 HAS SOUPS 682635 WITH SCORE 683498.754
AT ITER 678 NEW BEST:: SOT 4423038 SOS 863262 HAS SOPS 863262 HAS SOUS 682307 HAS SOUPS 682307 WITH SCORE 683170.262
AT ITER 698 NEW BEST:: SOT 4422928 SOS 863366 HAS SOPS 863366 HAS SOUS 682278 HAS SOUPS 682278 WITH SCORE 683141.366
AT ITER 713 NEW BEST:: SOT 4423153 SOS 863141 HAS SOPS 863141 HAS SOUS 682278 HAS SOUPS 682278 WITH SCORE 683141.141
AT ITER 730 NEW BEST:: SOT 4423095 SOS 863025 HAS SOPS 863025 HAS SOUS 682162 HAS SOUPS 682162 WITH SCORE 683025.025
AT ITER 733 NEW BEST:: SOT 4423095 SOS 862990 HAS SOPS 862990 HAS SOUS 682162 HAS SOUPS 682162 WITH SCORE 683024.99
AT ITER 741 NEW BEST:: SOT 4423095 SOS 862821 HAS SOPS 862821 HAS SOUS 682162 HAS SOUPS 682162 WITH SCORE 683024.821
AT ITER 777 NEW BEST:: SOT 4422948 SOS 862647 HAS SOPS 862647 HAS SOUS 681895 HAS SOUPS 681895 WITH SCORE 682757.647
AT ITER 802 NEW BEST:: SOT 4422902 SOS 862555 HAS SOPS 862555 HAS SOUS 681803 HAS SOUPS 681803 WITH SCORE 682665.555
AT ITER 808 NEW BEST:: SOT 4422617 SOS 862281 HAS SOPS 862281 HAS SOUS 681529 HAS SOUPS 681529 WITH SCORE 682391.281
AT ITER 837 NEW BEST:: SOT 4413377 SOS 872584 HAS SOPS 872584 HAS SOUS 673126 HAS SOUPS 673126 WITH SCORE 673998.584
AT ITER 844 NEW BEST:: SOT 4413026 SOS 871882 HAS SOPS 871882 HAS SOUS 672570 HAS SOUPS 672570 WITH SCORE 673441.882
AT ITER 861 NEW BEST:: SOT 4412963 SOS 871895 HAS SOPS 871895 HAS SOUS 672507 HAS SOUPS 672507 WITH SCORE 673378.895
AT ITER 862 NEW BEST:: SOT 4412963 SOS 871445 HAS SOPS 871445 HAS SOUS 672507 HAS SOUPS 672507 WITH SCORE 673378.445
AT ITER 894 NEW BEST:: SOT 4412756 SOS 871031 HAS SOPS 871031 HAS SOUS 672300 HAS SOUPS 672300 WITH SCORE 673171.031
AT ITER 963 NEW BEST:: SOT 4412681 SOS 870881 HAS SOPS 870881 HAS SOUS 672150 HAS SOUPS 672150 WITH SCORE 673020.881
AT ITER 983 NEW BEST:: SOT 4412680 SOS 870879 HAS SOPS 870879 HAS SOUS 672148 HAS SOUPS 672148 WITH SCORE 673018.879
AT ITER 987 NEW BEST:: SOT 4412528 SOS 870727 HAS SOPS 870727 HAS SOUS 671995 HAS SOUPS 671995 WITH SCORE 672865.727
AT ITER 1013 NEW BEST:: SOT 4412124 SOS 870615 HAS SOPS 870615 HAS SOUS 671722 HAS SOUPS 671722 WITH SCORE 672592.615
AT ITER 1017 NEW BEST:: SOT 4412124 SOS 870615 HAS SOPS 870615 HAS SOUS 671490 HAS SOUPS 671490 WITH SCORE 672360.615
AT ITER 1018 NEW BEST:: SOT 4412124 SOS 870578 HAS SOPS 870578 HAS SOUS 671490 HAS SOUPS 671490 WITH SCORE 672360.578
AT ITER 1023 NEW BEST:: SOT 4411815 SOS 869960 HAS SOPS 869960 HAS SOUS 670872 HAS SOUPS 670872 WITH SCORE 671741.96
AT ITER 1044 NEW BEST:: SOT 4411794 SOS 869918 HAS SOPS 869918 HAS SOUS 670830 HAS SOUPS 670830 WITH SCORE 671699.918
AT ITER 1062 NEW BEST:: SOT 4411794 SOS 869918 HAS SOPS 869918 HAS SOUS 670792 HAS SOUPS 670792 WITH SCORE 671661.918
AT ITER 1073 NEW BEST:: SOT 4411620 SOS 869570 HAS SOPS 869570 HAS SOUS 670444 HAS SOUPS 670444 WITH SCORE 671313.57
AT ITER 1079 NEW BEST:: SOT 4411583 SOS 869496 HAS SOPS 869496 HAS SOUS 670304 HAS SOUPS 670304 WITH SCORE 671173.496
AT ITER 1080 NEW BEST:: SOT 4411545 SOS 869420 HAS SOPS 869420 HAS SOUS 670228 HAS SOUPS 670228 WITH SCORE 671097.42
AT ITER 1120 NEW BEST:: SOT 4411545 SOS 869420 HAS SOPS 869420 HAS SOUS 670227 HAS SOUPS 670227 WITH SCORE 671096.42
AT ITER 1122 NEW BEST:: SOT 4411460 SOS 869418 HAS SOPS 869418 HAS SOUS 670225 HAS SOUPS 670225 WITH SCORE 671094.418
AT ITER 1123 NEW BEST:: SOT 4410999 SOS 869416 HAS SOPS 869416 HAS SOUS 669993 HAS SOUPS 669993 WITH SCORE 670862.416
AT ITER 1150 NEW BEST:: SOT 4410999 SOS 869317 HAS SOPS 869317 HAS SOUS 669993 HAS SOUPS 669993 WITH SCORE 670862.317
AT ITER 1172 NEW BEST:: SOT 4410968 SOS 869255 HAS SOPS 869255 HAS SOUS 669959 HAS SOUPS 669959 WITH SCORE 670828.255
AT ITER 1202 NEW BEST:: SOT 4410967 SOS 869253 HAS SOPS 869253 HAS SOUS 669957 HAS SOUPS 669957 WITH SCORE 670826.253
AT ITER 1250 NEW BEST:: SOT 4410551 SOS 868421 HAS SOPS 868421 HAS SOUS 669573 HAS SOUPS 669573 WITH SCORE 670441.421
AT ITER 1251 NEW BEST:: SOT 4410412 SOS 868143 HAS SOPS 868143 HAS SOUS 669295 HAS SOUPS 669295 WITH SCORE 670163.143
AT ITER 1258 NEW BEST:: SOT 4410412 SOS 867948 HAS SOPS 867948 HAS SOUS 669100 HAS SOUPS 669100 WITH SCORE 669967.948
AT ITER 1290 NEW BEST:: SOT 4410280 SOS 867684 HAS SOPS 867684 HAS SOUS 668836 HAS SOUPS 668836 WITH SCORE 669703.684
AT ITER 1316 NEW BEST:: SOT 4410271 SOS 867666 HAS SOPS 867666 HAS SOUS 668827 HAS SOUPS 668827 WITH SCORE 669694.666
AT ITER 1324 NEW BEST:: SOT 4410120 SOS 867642 HAS SOPS 867642 HAS SOUS 668519 HAS SOUPS 668519 WITH SCORE 669386.642
AT ITER 1340 NEW BEST:: SOT 4410050 SOS 867502 HAS SOPS 867502 HAS SOUS 668379 HAS SOUPS 668379 WITH SCORE 669246.502
AT ITER 1381 NEW BEST:: SOT 4409969 SOS 867375 HAS SOPS 867375 HAS SOUS 668217 HAS SOUPS 668217 WITH SCORE 669084.375
AT ITER 1418 NEW BEST:: SOT 4409968 SOS 867373 HAS SOPS 867373 HAS SOUS 668215 HAS SOUPS 668215 WITH SCORE 669082.373
AT ITER 1420 NEW BEST:: SOT 4409592 SOS 866997 HAS SOPS 866997 HAS SOUS 667839 HAS SOUPS 667839 WITH SCORE 668705.997
AT ITER 1429 NEW BEST:: SOT 4409444 SOS 866886 HAS SOPS 866886 HAS SOUS 667728 HAS SOUPS 667728 WITH SCORE 668594.886
AT ITER 1436 NEW BEST:: SOT 4409140 SOS 866583 HAS SOPS 866583 HAS SOUS 667424 HAS SOUPS 667424 WITH SCORE 668290.583
AT ITER 1476 NEW BEST:: SOT 4409000 SOS 866303 HAS SOPS 866303 HAS SOUS 666819 HAS SOUPS 666819 WITH SCORE 667685.303
AT ITER 1488 NEW BEST:: SOT 4409000 SOS 866303 HAS SOPS 866303 HAS SOUS 666818 HAS SOUPS 666818 WITH SCORE 667684.303
AT ITER 1489 NEW BEST:: SOT 4408926 SOS 866155 HAS SOPS 866155 HAS SOUS 666670 HAS SOUPS 666670 WITH SCORE 667536.155
AT ITER 1491 NEW BEST:: SOT 4408456 SOS 865472 HAS SOPS 865472 HAS SOUS 666199 HAS SOUPS 666199 WITH SCORE 667064.472
AT ITER 1513 NEW BEST:: SOT 4408456 SOS 865454 HAS SOPS 865454 HAS SOUS 666199 HAS SOUPS 666199 WITH SCORE 667064.454
AT ITER 1516 NEW BEST:: SOT 4408226 SOS 865224 HAS SOPS 865224 HAS SOUS 665969 HAS SOUPS 665969 WITH SCORE 666834.224
AT ITER 1540 NEW BEST:: SOT 4408133 SOS 865131 HAS SOPS 865131 HAS SOUS 665876 HAS SOUPS 665876 WITH SCORE 666741.131
AT ITER 1548 NEW BEST:: SOT 4408068 SOS 864841 HAS SOPS 864841 HAS SOUS 665746 HAS SOUPS 665746 WITH SCORE 666610.841
AT ITER 1554 NEW BEST:: SOT 4407824 SOS 864597 HAS SOPS 864597 HAS SOUS 665258 HAS SOUPS 665258 WITH SCORE 666122.597
AT ITER 1575 NEW BEST:: SOT 4407814 SOS 864577 HAS SOPS 864577 HAS SOUS 665248 HAS SOUPS 665248 WITH SCORE 666112.577
AT ITER 1598 NEW BEST:: SOT 4407765 SOS 864479 HAS SOPS 864479 HAS SOUS 665150 HAS SOUPS 665150 WITH SCORE 666014.479
AT ITER 1627 NEW BEST:: SOT 4407506 SOS 863961 HAS SOPS 863961 HAS SOUS 665150 HAS SOUPS 665150 WITH SCORE 666013.961
AT ITER 1634 NEW BEST:: SOT 4407468 SOS 864368 HAS SOPS 864368 HAS SOUS 664952 HAS SOUPS 664952 WITH SCORE 665816.368
AT ITER 1665 NEW BEST:: SOT 4407568 SOS 864289 HAS SOPS 864289 HAS SOUS 664873 HAS SOUPS 664873 WITH SCORE 665737.289
AT ITER 1668 NEW BEST:: SOT 4407467 SOS 864087 HAS SOPS 864087 HAS SOUS 664671 HAS SOUPS 664671 WITH SCORE 665535.087
AT ITER 1691 NEW BEST:: SOT 4407467 SOS 863830 HAS SOPS 863830 HAS SOUS 664671 HAS SOUPS 664671 WITH SCORE 665534.83
AT ITER 1725 NEW BEST:: SOT 4407366 SOS 863729 HAS SOPS 863729 HAS SOUS 664570 HAS SOUPS 664570 WITH SCORE 665433.729
AT ITER 1726 NEW BEST:: SOT 4407365 SOS 863697 HAS SOPS 863697 HAS SOUS 664568 HAS SOUPS 664568 WITH SCORE 665431.697
AT ITER 1778 NEW BEST:: SOT 4407401 SOS 863769 HAS SOPS 863769 HAS SOUS 664370 HAS SOUPS 664370 WITH SCORE 665233.769
AT ITER 1784 NEW BEST:: SOT 4407400 SOS 863768 HAS SOPS 863768 HAS SOUS 664368 HAS SOUPS 664368 WITH SCORE 665231.768
AT ITER 1805 NEW BEST:: SOT 4407235 SOS 863639 HAS SOPS 863639 HAS SOUS 664002 HAS SOUPS 664002 WITH SCORE 664865.639
AT ITER 1813 NEW BEST:: SOT 4406518 SOS 864473 HAS SOPS 864473 HAS SOUS 663590 HAS SOUPS 663590 WITH SCORE 664454.473
AT ITER 1825 NEW BEST:: SOT 4406518 SOS 864473 HAS SOPS 864473 HAS SOUS 663428 HAS SOUPS 663428 WITH SCORE 664292.473
AT ITER 1835 NEW BEST:: SOT 4406493 SOS 864423 HAS SOPS 864423 HAS SOUS 663378 HAS SOUPS 663378 WITH SCORE 664242.423
AT ITER 1837 NEW BEST:: SOT 4406247 SOS 864179 HAS SOPS 864179 HAS SOUS 663134 HAS SOUPS 663134 WITH SCORE 663998.179
AT ITER 1859 NEW BEST:: SOT 4406247 SOS 863994 HAS SOPS 863994 HAS SOUS 663134 HAS SOUPS 663134 WITH SCORE 663997.994
AT ITER 1861 NEW BEST:: SOT 4406247 SOS 863965 HAS SOPS 863965 HAS SOUS 663105 HAS SOUPS 663105 WITH SCORE 663968.965
AT ITER 1869 NEW BEST:: SOT 4406203 SOS 863921 HAS SOPS 863921 HAS SOUS 663061 HAS SOUPS 663061 WITH SCORE 663924.921
AT ITER 1889 NEW BEST:: SOT 4405932 SOS 863507 HAS SOPS 863507 HAS SOUS 662805 HAS SOUPS 662805 WITH SCORE 663668.507
AT ITER 1914 NEW BEST:: SOT 4405829 SOS 863301 HAS SOPS 863301 HAS SOUS 662803 HAS SOUPS 662803 WITH SCORE 663666.301
AT ITER 1922 NEW BEST:: SOT 4405829 SOS 863033 HAS SOPS 863033 HAS SOUS 662802 HAS SOUPS 662802 WITH SCORE 663665.033
AT ITER 1930 NEW BEST:: SOT 4405828 SOS 863031 HAS SOPS 863031 HAS SOUS 662800 HAS SOUPS 662800 WITH SCORE 663663.031
AT ITER 1932 NEW BEST:: SOT 4405828 SOS 862902 HAS SOPS 862902 HAS SOUS 662800 HAS SOUPS 662800 WITH SCORE 663662.902
AT ITER 1943 NEW BEST:: SOT 4405701 SOS 862648 HAS SOPS 862648 HAS SOUS 662546 HAS SOUPS 662546 WITH SCORE 663408.648
AT ITER 1958 NEW BEST:: SOT 4405663 SOS 862572 HAS SOPS 862572 HAS SOUS 662470 HAS SOUPS 662470 WITH SCORE 663332.572
AT ITER 1973 NEW BEST:: SOT 4405637 SOS 861428 HAS SOPS 861428 HAS SOUS 662444 HAS SOUPS 662444 WITH SCORE 663305.428
AT ITER 1990 NEW BEST:: SOT 4405474 SOS 861252 HAS SOPS 861252 HAS SOUS 662201 HAS SOUPS 662201 WITH SCORE 663062.252
AT ITER 1993 NEW BEST:: SOT 4405462 SOS 861228 HAS SOPS 861228 HAS SOUS 662177 HAS SOUPS 662177 WITH SCORE 663038.228
AT ITER 2024 NEW BEST:: SOT 4405301 SOS 860745 HAS SOPS 860745 HAS SOUS 661855 HAS SOUPS 661855 WITH SCORE 662715.745
AT ITER 2033 NEW BEST:: SOT 4405301 SOS 860556 HAS SOPS 860556 HAS SOUS 661855 HAS SOUPS 661855 WITH SCORE 662715.556
AT ITER 2046 NEW BEST:: SOT 4405118 SOS 860190 HAS SOPS 860190 HAS SOUS 661489 HAS SOUPS 661489 WITH SCORE 662349.19
AT ITER 2049 NEW BEST:: SOT 4405118 SOS 860190 HAS SOPS 860190 HAS SOUS 661194 HAS SOUPS 661194 WITH SCORE 662054.19
AT ITER 2058 NEW BEST:: SOT 4405092 SOS 860138 HAS SOPS 860138 HAS SOUS 661168 HAS SOUPS 661168 WITH SCORE 662028.138
AT ITER 2060 NEW BEST:: SOT 4405059 SOS 860105 HAS SOPS 860105 HAS SOUS 661167 HAS SOUPS 661167 WITH SCORE 662027.105
AT ITER 2103 NEW BEST:: SOT 4404847 SOS 859681 HAS SOPS 859681 HAS SOUS 661088 HAS SOUPS 661088 WITH SCORE 661947.681
AT ITER 2108 NEW BEST:: SOT 4404684 SOS 859518 HAS SOPS 859518 HAS SOUS 660925 HAS SOUPS 660925 WITH SCORE 661784.518
AT ITER 2129 NEW BEST:: SOT 4404146 SOS 858894 HAS SOPS 858894 HAS SOUS 660033 HAS SOUPS 660033 WITH SCORE 660891.894
AT ITER 2133 NEW BEST:: SOT 4404090 SOS 858838 HAS SOPS 858838 HAS SOUS 660005 HAS SOUPS 660005 WITH SCORE 660863.838
AT ITER 2139 NEW BEST:: SOT 4403811 SOS 858280 HAS SOPS 858280 HAS SOUS 659714 HAS SOUPS 659714 WITH SCORE 660572.28
AT ITER 2156 NEW BEST:: SOT 4403735 SOS 858128 HAS SOPS 858128 HAS SOUS 659562 HAS SOUPS 659562 WITH SCORE 660420.128
AT ITER 2183 NEW BEST:: SOT 4403835 SOS 841360 HAS SOPS 841360 HAS SOUS 659555 HAS SOUPS 659555 WITH SCORE 660396.36
AT ITER 2188 NEW BEST:: SOT 4403795 SOS 841280 HAS SOPS 841280 HAS SOUS 659475 HAS SOUPS 659475 WITH SCORE 660316.28
AT ITER 2232 NEW BEST:: SOT 4403649 SOS 840988 HAS SOPS 840988 HAS SOUS 659183 HAS SOUPS 659183 WITH SCORE 660023.988
AT ITER 2270 NEW BEST:: SOT 4403466 SOS 840622 HAS SOPS 840622 HAS SOUS 659123 HAS SOUPS 659123 WITH SCORE 659963.622
AT ITER 2308 NEW BEST:: SOT 4403466 SOS 840622 HAS SOPS 840622 HAS SOUS 658891 HAS SOUPS 658891 WITH SCORE 659731.622
AT ITER 2329 NEW BEST:: SOT 4399720 SOS 887814 HAS SOPS 887814 HAS SOUS 656974 HAS SOUPS 656974 WITH SCORE 657861.814
AT ITER 2346 NEW BEST:: SOT 4399720 SOS 887710 HAS SOPS 887710 HAS SOUS 656974 HAS SOUPS 656974 WITH SCORE 657861.71
AT ITER 2354 NEW BEST:: SOT 4399699 SOS 887668 HAS SOPS 887668 HAS SOUS 656953 HAS SOUPS 656953 WITH SCORE 657840.668
AT ITER 2369 NEW BEST:: SOT 4399699 SOS 887120 HAS SOPS 887120 HAS SOUS 656953 HAS SOUPS 656953 WITH SCORE 657840.12
AT ITER 2379 NEW BEST:: SOT 4399646 SOS 887014 HAS SOPS 887014 HAS SOUS 656885 HAS SOUPS 656885 WITH SCORE 657772.014
AT ITER 2380 NEW BEST:: SOT 4399619 SOS 886987 HAS SOPS 886987 HAS SOUS 656885 HAS SOUPS 656885 WITH SCORE 657771.987
AT ITER 2397 NEW BEST:: SOT 4399665 SOS 887079 HAS SOPS 887079 HAS SOUS 656830 HAS SOUPS 656830 WITH SCORE 657717.079
AT ITER 2426 NEW BEST:: SOT 4399477 SOS 886891 HAS SOPS 886891 HAS SOUS 656829 HAS SOUPS 656829 WITH SCORE 657715.891
AT ITER 2430 NEW BEST:: SOT 4399476 SOS 886889 HAS SOPS 886889 HAS SOUS 656827 HAS SOUPS 656827 WITH SCORE 657713.889
AT ITER 2434 NEW BEST:: SOT 4399476 SOS 886820 HAS SOPS 886820 HAS SOUS 656827 HAS SOUPS 656827 WITH SCORE 657713.82
AT ITER 2450 NEW BEST:: SOT 4399375 SOS 886719 HAS SOPS 886719 HAS SOUS 656827 HAS SOUPS 656827 WITH SCORE 657713.719
AT ITER 2467 NEW BEST:: SOT 4399375 SOS 886719 HAS SOPS 886719 HAS SOUS 656656 HAS SOUPS 656656 WITH SCORE 657542.719
AT ITER 2495 NEW BEST:: SOT 4399374 SOS 886310 HAS SOPS 886310 HAS SOUS 656654 HAS SOUPS 656654 WITH SCORE 657540.31
AT ITER 2513 NEW BEST:: SOT 4399184 SOS 876648 HAS SOPS 876648 HAS SOUS 656464 HAS SOUPS 656464 WITH SCORE 657340.648
AT ITER 2545 NEW BEST:: SOT 4398794 SOS 877368 HAS SOPS 877368 HAS SOUS 656439 HAS SOUPS 656439 WITH SCORE 657316.368
AT ITER 2549 NEW BEST:: SOT 4398677 SOS 877134 HAS SOPS 877134 HAS SOUS 656205 HAS SOUPS 656205 WITH SCORE 657082.134
AT ITER 2550 NEW BEST:: SOT 4398107 SOS 876810 HAS SOPS 876810 HAS SOUS 655819 HAS SOUPS 655819 WITH SCORE 656695.81
AT ITER 2567 NEW BEST:: SOT 4398054 SOS 876776 HAS SOPS 876776 HAS SOUS 655785 HAS SOUPS 655785 WITH SCORE 656661.776
AT ITER 2608 NEW BEST:: SOT 4397766 SOS 876534 HAS SOPS 876534 HAS SOUS 655497 HAS SOUPS 655497 WITH SCORE 656373.534
AT ITER 2620 NEW BEST:: SOT 4397630 SOS 875935 HAS SOPS 875935 HAS SOUS 655041 HAS SOUPS 655041 WITH SCORE 655916.935
AT ITER 2637 NEW BEST:: SOT 4397610 SOS 875895 HAS SOPS 875895 HAS SOUS 655018 HAS SOUPS 655018 WITH SCORE 655893.895
AT ITER 2643 NEW BEST:: SOT 4397460 SOS 875745 HAS SOPS 875745 HAS SOUS 654868 HAS SOUPS 654868 WITH SCORE 655743.745
AT ITER 2657 NEW BEST:: SOT 4397460 SOS 875599 HAS SOPS 875599 HAS SOUS 654722 HAS SOUPS 654722 WITH SCORE 655597.599
AT ITER 2669 NEW BEST:: SOT 4397401 SOS 875481 HAS SOPS 875481 HAS SOUS 654549 HAS SOUPS 654549 WITH SCORE 655424.481
AT ITER 2714 NEW BEST:: SOT 4397360 SOS 875399 HAS SOPS 875399 HAS SOUS 654448 HAS SOUPS 654448 WITH SCORE 655323.399
AT ITER 2721 NEW BEST:: SOT 4397218 SOS 874882 HAS SOPS 874882 HAS SOUS 654073 HAS SOUPS 654073 WITH SCORE 654947.882
AT ITER 2730 NEW BEST:: SOT 4397031 SOS 874699 HAS SOPS 874699 HAS SOUS 653886 HAS SOUPS 653886 WITH SCORE 654760.699
AT ITER 2731 NEW BEST:: SOT 4397030 SOS 874510 HAS SOPS 874510 HAS SOUS 653884 HAS SOUPS 653884 WITH SCORE 654758.51
AT ITER 2754 NEW BEST:: SOT 4397029 SOS 874548 HAS SOPS 874548 HAS SOUS 653882 HAS SOUPS 653882 WITH SCORE 654756.548
AT ITER 2761 NEW BEST:: SOT 4396717 SOS 873924 HAS SOPS 873924 HAS SOUS 653570 HAS SOUPS 653570 WITH SCORE 654443.924
AT ITER 2764 NEW BEST:: SOT 4396845 SOS 874180 HAS SOPS 874180 HAS SOUS 653426 HAS SOUPS 653426 WITH SCORE 654300.18
AT ITER 2765 NEW BEST:: SOT 4396567 SOS 873624 HAS SOPS 873624 HAS SOUS 653174 HAS SOUPS 653174 WITH SCORE 654047.624
AT ITER 2768 NEW BEST:: SOT 4396320 SOS 873448 HAS SOPS 873448 HAS SOUS 652954 HAS SOUPS 652954 WITH SCORE 653827.448
AT ITER 2777 NEW BEST:: SOT 4396351 SOS 873510 HAS SOPS 873510 HAS SOUS 652874 HAS SOUPS 652874 WITH SCORE 653747.51
AT ITER 2785 NEW BEST:: SOT 4396196 SOS 873355 HAS SOPS 873355 HAS SOUS 652874 HAS SOUPS 652874 WITH SCORE 653747.355
AT ITER 2788 NEW BEST:: SOT 4395791 SOS 872164 HAS SOPS 872164 HAS SOUS 652609 HAS SOUPS 652609 WITH SCORE 653481.164
AT ITER 2809 NEW BEST:: SOT 4395789 SOS 872158 HAS SOPS 872158 HAS SOUS 652605 HAS SOUPS 652605 WITH SCORE 653477.158
AT ITER 2813 NEW BEST:: SOT 4395260 SOS 871100 HAS SOPS 871100 HAS SOUS 652254 HAS SOUPS 652254 WITH SCORE 653125.1
AT ITER 2817 NEW BEST:: SOT 4395254 SOS 871088 HAS SOPS 871088 HAS SOUS 652016 HAS SOUPS 652016 WITH SCORE 652887.088
AT ITER 2828 NEW BEST:: SOT 4395198 SOS 870976 HAS SOPS 870976 HAS SOUS 651960 HAS SOUPS 651960 WITH SCORE 652830.976
AT ITER 2832 NEW BEST:: SOT 4395295 SOS 870695 HAS SOPS 870695 HAS SOUS 651828 HAS SOUPS 651828 WITH SCORE 652698.695
AT ITER 2861 NEW BEST:: SOT 4395208 SOS 870608 HAS SOPS 870608 HAS SOUS 651741 HAS SOUPS 651741 WITH SCORE 652611.608
AT ITER 2873 NEW BEST:: SOT 4395180 SOS 870614 HAS SOPS 870614 HAS SOUS 651718 HAS SOUPS 651718 WITH SCORE 652588.614
AT ITER 2883 NEW BEST:: SOT 4395052 SOS 870583 HAS SOPS 870583 HAS SOUS 651639 HAS SOUPS 651639 WITH SCORE 652509.583
AT ITER 2885 NEW BEST:: SOT 4394704 SOS 869887 HAS SOPS 869887 HAS SOUS 650943 HAS SOUPS 650943 WITH SCORE 651812.887
AT ITER 2913 NEW BEST:: SOT 4394704 SOS 869793 HAS SOPS 869793 HAS SOUS 650943 HAS SOUPS 650943 WITH SCORE 651812.793
AT ITER 2923 NEW BEST:: SOT 4394656 SOS 869697 HAS SOPS 869697 HAS SOUS 650933 HAS SOUPS 650933 WITH SCORE 651802.697
AT ITER 2924 NEW BEST:: SOT 4394655 SOS 869695 HAS SOPS 869695 HAS SOUS 650931 HAS SOUPS 650931 WITH SCORE 651800.695
AT ITER 2931 NEW BEST:: SOT 4394655 SOS 869695 HAS SOPS 869695 HAS SOUS 650887 HAS SOUPS 650887 WITH SCORE 651756.695
AT ITER 2951 NEW BEST:: SOT 4394653 SOS 869691 HAS SOPS 869691 HAS SOUS 650883 HAS SOUPS 650883 WITH SCORE 651752.691
AT ITER 2976 NEW BEST:: SOT 4393390 SOS 871484 HAS SOPS 871484 HAS SOUS 650431 HAS SOUPS 650431 WITH SCORE 651302.484
AT ITER 2982 NEW BEST:: SOT 4393397 SOS 871402 HAS SOPS 871402 HAS SOUS 650349 HAS SOUPS 650349 WITH SCORE 651220.402
AT ITER 3009 NEW BEST:: SOT 4392900 SOS 871104 HAS SOPS 871104 HAS SOUS 649852 HAS SOUPS 649852 WITH SCORE 650723.104
AT ITER 3031 NEW BEST:: SOT 4392825 SOS 871329 HAS SOPS 871329 HAS SOUS 649777 HAS SOUPS 649777 WITH SCORE 650648.329
AT ITER 3032 NEW BEST:: SOT 4392662 SOS 871003 HAS SOPS 871003 HAS SOUS 649451 HAS SOUPS 649451 WITH SCORE 650322.003
AT ITER 3044 NEW BEST:: SOT 4392598 SOS 870875 HAS SOPS 870875 HAS SOUS 649168 HAS SOUPS 649168 WITH SCORE 650038.875
AT ITER 3068 NEW BEST:: SOT 4392598 SOS 870875 HAS SOPS 870875 HAS SOUS 648939 HAS SOUPS 648939 WITH SCORE 649809.875
AT ITER 3080 NEW BEST:: SOT 4392507 SOS 870693 HAS SOPS 870693 HAS SOUS 648910 HAS SOUPS 648910 WITH SCORE 649780.693
AT ITER 3093 NEW BEST:: SOT 4392497 SOS 870673 HAS SOPS 870673 HAS SOUS 648895 HAS SOUPS 648895 WITH SCORE 649765.673
AT ITER 3105 NEW BEST:: SOT 4392551 SOS 870433 HAS SOPS 870433 HAS SOUS 648655 HAS SOUPS 648655 WITH SCORE 649525.433
AT ITER 3124 NEW BEST:: SOT 4392551 SOS 870388 HAS SOPS 870388 HAS SOUS 648610 HAS SOUPS 648610 WITH SCORE 649480.388
AT ITER 3125 NEW BEST:: SOT 4392539 SOS 870364 HAS SOPS 870364 HAS SOUS 648586 HAS SOUPS 648586 WITH SCORE 649456.364
AT ITER 3135 NEW BEST:: SOT 4392538 SOS 870335 HAS SOPS 870335 HAS SOUS 648584 HAS SOUPS 648584 WITH SCORE 649454.335
AT ITER 3137 NEW BEST:: SOT 4392466 SOS 870191 HAS SOPS 870191 HAS SOUS 648440 HAS SOUPS 648440 WITH SCORE 649310.191
AT ITER 3175 NEW BEST:: SOT 4392430 SOS 869894 HAS SOPS 869894 HAS SOUS 648404 HAS SOUPS 648404 WITH SCORE 649273.894
AT ITER 3194 NEW BEST:: SOT 4392330 SOS 869694 HAS SOPS 869694 HAS SOUS 648403 HAS SOUPS 648403 WITH SCORE 649272.694
AT ITER 3201 NEW BEST:: SOT 4391753 SOS 869050 HAS SOPS 869050 HAS SOUS 647726 HAS SOUPS 647726 WITH SCORE 648595.05
AT ITER 3203 NEW BEST:: SOT 4391693 SOS 866410 HAS SOPS 866410 HAS SOUS 647606 HAS SOUPS 647606 WITH SCORE 648472.41
AT ITER 3209 NEW BEST:: SOT 4391504 SOS 866032 HAS SOPS 866032 HAS SOUS 647228 HAS SOUPS 647228 WITH SCORE 648094.032
AT ITER 3269 NEW BEST:: SOT 4391433 SOS 866128 HAS SOPS 866128 HAS SOUS 647184 HAS SOUPS 647184 WITH SCORE 648050.128
AT ITER 3270 NEW BEST:: SOT 4391433 SOS 865962 HAS SOPS 865962 HAS SOUS 647184 HAS SOUPS 647184 WITH SCORE 648049.962
AT ITER 3278 NEW BEST:: SOT 4391317 SOS 865846 HAS SOPS 865846 HAS SOUS 647068 HAS SOUPS 647068 WITH SCORE 647933.846
AT ITER 3280 NEW BEST:: SOT 4391317 SOS 865702 HAS SOPS 865702 HAS SOUS 646924 HAS SOUPS 646924 WITH SCORE 647789.702
AT ITER 3286 NEW BEST:: SOT 4391315 SOS 865698 HAS SOPS 865698 HAS SOUS 646920 HAS SOUPS 646920 WITH SCORE 647785.698
AT ITER 3290 NEW BEST:: SOT 4390977 SOS 865360 HAS SOPS 865360 HAS SOUS 646413 HAS SOUPS 646413 WITH SCORE 647278.36
AT ITER 3299 NEW BEST:: SOT 4390828 SOS 865062 HAS SOPS 865062 HAS SOUS 646115 HAS SOUPS 646115 WITH SCORE 646980.062
AT ITER 3303 NEW BEST:: SOT 4390645 SOS 865130 HAS SOPS 865130 HAS SOUS 646094 HAS SOUPS 646094 WITH SCORE 646959.13
AT ITER 3307 NEW BEST:: SOT 4390671 SOS 865011 HAS SOPS 865011 HAS SOUS 645975 HAS SOUPS 645975 WITH SCORE 646840.011
AT ITER 3309 NEW BEST:: SOT 4390659 SOS 864755 HAS SOPS 864755 HAS SOUS 645863 HAS SOUPS 645863 WITH SCORE 646727.755
AT ITER 3345 NEW BEST:: SOT 4390574 SOS 864670 HAS SOPS 864670 HAS SOUS 645834 HAS SOUPS 645834 WITH SCORE 646698.67
AT ITER 3400 NEW BEST:: SOT 4390478 SOS 864590 HAS SOPS 864590 HAS SOUS 645745 HAS SOUPS 645745 WITH SCORE 646609.59
AT ITER 3406 NEW BEST:: SOT 4390324 SOS 864282 HAS SOPS 864282 HAS SOUS 645437 HAS SOUPS 645437 WITH SCORE 646301.282
AT ITER 3454 NEW BEST:: SOT 4390324 SOS 864272 HAS SOPS 864272 HAS SOUS 645427 HAS SOUPS 645427 WITH SCORE 646291.272
AT ITER 3504 NEW BEST:: SOT 4390310 SOS 864244 HAS SOPS 864244 HAS SOUS 645413 HAS SOUPS 645413 WITH SCORE 646277.244
AT ITER 3518 NEW BEST:: SOT 4390381 SOS 863860 HAS SOPS 863860 HAS SOUS 645256 HAS SOUPS 645256 WITH SCORE 646119.86
AT ITER 3524 NEW BEST:: SOT 4389941 SOS 863631 HAS SOPS 863631 HAS SOUS 644890 HAS SOUPS 644890 WITH SCORE 645753.631
AT ITER 3557 NEW BEST:: SOT 4389910 SOS 863538 HAS SOPS 863538 HAS SOUS 644828 HAS SOUPS 644828 WITH SCORE 645691.538
AT ITER 3569 NEW BEST:: SOT 4389910 SOS 863194 HAS SOPS 863194 HAS SOUS 644484 HAS SOUPS 644484 WITH SCORE 645347.194
AT ITER 3603 NEW BEST:: SOT 4389255 SOS 861884 HAS SOPS 861884 HAS SOUS 643971 HAS SOUPS 643971 WITH SCORE 644832.884
AT ITER 3618 NEW BEST:: SOT 4389220 SOS 861849 HAS SOPS 861849 HAS SOUS 643936 HAS SOUPS 643936 WITH SCORE 644797.849
AT ITER 3633 NEW BEST:: SOT 4389024 SOS 861457 HAS SOPS 861457 HAS SOUS 643544 HAS SOUPS 643544 WITH SCORE 644405.457
AT ITER 3663 NEW BEST:: SOT 4389013 SOS 861435 HAS SOPS 861435 HAS SOUS 643544 HAS SOUPS 643544 WITH SCORE 644405.435
AT ITER 3675 NEW BEST:: SOT 4388725 SOS 860859 HAS SOPS 860859 HAS SOUS 643338 HAS SOUPS 643338 WITH SCORE 644198.859
AT ITER 3680 NEW BEST:: SOT 4388797 SOS 861003 HAS SOPS 861003 HAS SOUS 643240 HAS SOUPS 643240 WITH SCORE 644101.003
AT ITER 3711 NEW BEST:: SOT 4388515 SOS 860439 HAS SOPS 860439 HAS SOUS 642676 HAS SOUPS 642676 WITH SCORE 643536.439
AT ITER 3727 NEW BEST:: SOT 4388243 SOS 860031 HAS SOPS 860031 HAS SOUS 642268 HAS SOUPS 642268 WITH SCORE 643128.031
AT ITER 3797 NEW BEST:: SOT 4388180 SOS 859905 HAS SOPS 859905 HAS SOUS 642142 HAS SOUPS 642142 WITH SCORE 643001.905
AT ITER 3828 NEW BEST:: SOT 4388318 SOS 859889 HAS SOPS 859889 HAS SOUS 642126 HAS SOUPS 642126 WITH SCORE 642985.889
AT ITER 3832 NEW BEST:: SOT 4388318 SOS 859889 HAS SOPS 859889 HAS SOUS 642053 HAS SOUPS 642053 WITH SCORE 642912.889
AT ITER 3838 NEW BEST:: SOT 4388316 SOS 859885 HAS SOPS 859885 HAS SOUS 642049 HAS SOUPS 642049 WITH SCORE 642908.885
AT ITER 3851 NEW BEST:: SOT 4388140 SOS 859275 HAS SOPS 859275 HAS SOUS 641697 HAS SOUPS 641697 WITH SCORE 642556.275
AT ITER 3854 NEW BEST:: SOT 4388135 SOS 859265 HAS SOPS 859265 HAS SOUS 641687 HAS SOUPS 641687 WITH SCORE 642546.265
AT ITER 3867 NEW BEST:: SOT 4388135 SOS 859017 HAS SOPS 859017 HAS SOUS 641687 HAS SOUPS 641687 WITH SCORE 642546.017
AT ITER 3891 NEW BEST:: SOT 4388134 SOS 859016 HAS SOPS 859016 HAS SOUS 641685 HAS SOUPS 641685 WITH SCORE 642544.016
AT ITER 3922 NEW BEST:: SOT 4388134 SOS 858918 HAS SOPS 858918 HAS SOUS 641685 HAS SOUPS 641685 WITH SCORE 642543.918
AT ITER 3939 NEW BEST:: SOT 4388134 SOS 858708 HAS SOPS 858708 HAS SOUS 641475 HAS SOUPS 641475 WITH SCORE 642333.708
AT ITER 3976 NEW BEST:: SOT 4388141 SOS 858526 HAS SOPS 858526 HAS SOUS 641451 HAS SOUPS 641451 WITH SCORE 642309.526
AT ITER 3997 NEW BEST:: SOT 4387800 SOS 858861 HAS SOPS 858861 HAS SOUS 641314 HAS SOUPS 641314 WITH SCORE 642172.861
AT ITER 4000 NEW BEST:: SOT 4387689 SOS 858461 HAS SOPS 858461 HAS SOUS 641025 HAS SOUPS 641025 WITH SCORE 641883.461
AT ITER 4006 NEW BEST:: SOT 4387679 SOS 858441 HAS SOPS 858441 HAS SOUS 640905 HAS SOUPS 640905 WITH SCORE 641763.441
AT ITER 4069 NEW BEST:: SOT 4387463 SOS 858124 HAS SOPS 858124 HAS SOUS 640588 HAS SOUPS 640588 WITH SCORE 641446.124
AT ITER 4080 NEW BEST:: SOT 4386913 SOS 857574 HAS SOPS 857574 HAS SOUS 640038 HAS SOUPS 640038 WITH SCORE 640895.574
AT ITER 4081 NEW BEST:: SOT 4386912 SOS 857557 HAS SOPS 857557 HAS SOUS 640021 HAS SOUPS 640021 WITH SCORE 640878.557
AT ITER 4122 NEW BEST:: SOT 4386912 SOS 857557 HAS SOPS 857557 HAS SOUS 639741 HAS SOUPS 639741 WITH SCORE 640598.557
AT ITER 4126 NEW BEST:: SOT 4386684 SOS 857101 HAS SOPS 857101 HAS SOUS 639285 HAS SOUPS 639285 WITH SCORE 640142.101
AT ITER 4138 NEW BEST:: SOT 4387139 SOS 856953 HAS SOPS 856953 HAS SOUS 639211 HAS SOUPS 639211 WITH SCORE 640067.953
AT ITER 4149 NEW BEST:: SOT 4387078 SOS 856760 HAS SOPS 856760 HAS SOUS 639150 HAS SOUPS 639150 WITH SCORE 640006.76
AT ITER 4161 NEW BEST:: SOT 4387023 SOS 856539 HAS SOPS 856539 HAS SOUS 638984 HAS SOUPS 638984 WITH SCORE 639840.539
AT ITER 4184 NEW BEST:: SOT 4386795 SOS 856354 HAS SOPS 856354 HAS SOUS 638528 HAS SOUPS 638528 WITH SCORE 639384.354
AT ITER 4189 NEW BEST:: SOT 4386794 SOS 856352 HAS SOPS 856352 HAS SOUS 638526 HAS SOUPS 638526 WITH SCORE 639382.352
AT ITER 4240 NEW BEST:: SOT 4386784 SOS 856194 HAS SOPS 856194 HAS SOUS 638506 HAS SOUPS 638506 WITH SCORE 639362.194
AT ITER 4257 NEW BEST:: SOT 4386784 SOS 856057 HAS SOPS 856057 HAS SOUS 638369 HAS SOUPS 638369 WITH SCORE 639225.057
AT ITER 4260 NEW BEST:: SOT 4386783 SOS 856055 HAS SOPS 856055 HAS SOUS 638367 HAS SOUPS 638367 WITH SCORE 639223.055
AT ITER 4284 NEW BEST:: SOT 4386725 SOS 855997 HAS SOPS 855997 HAS SOUS 638309 HAS SOUPS 638309 WITH SCORE 639164.997
AT ITER 4293 NEW BEST:: SOT 4386453 SOS 855725 HAS SOPS 855725 HAS SOUS 637765 HAS SOUPS 637765 WITH SCORE 638620.725
AT ITER 4301 NEW BEST:: SOT 4385927 SOS 855534 HAS SOPS 855534 HAS SOUS 637204 HAS SOUPS 637204 WITH SCORE 638059.534
AT ITER 4305 NEW BEST:: SOT 4385927 SOS 855534 HAS SOPS 855534 HAS SOUS 637201 HAS SOUPS 637201 WITH SCORE 638056.534
AT ITER 4329 NEW BEST:: SOT 4385916 SOS 855512 HAS SOPS 855512 HAS SOUS 637190 HAS SOUPS 637190 WITH SCORE 638045.512
AT ITER 4344 NEW BEST:: SOT 4385887 SOS 855568 HAS SOPS 855568 HAS SOUS 637161 HAS SOUPS 637161 WITH SCORE 638016.568
AT ITER 4376 NEW BEST:: SOT 4385884 SOS 855562 HAS SOPS 855562 HAS SOUS 637158 HAS SOUPS 637158 WITH SCORE 638013.562
AT ITER 4380 NEW BEST:: SOT 4385761 SOS 855518 HAS SOPS 855518 HAS SOUS 637075 HAS SOUPS 637075 WITH SCORE 637930.518
AT ITER 4390 NEW BEST:: SOT 4385673 SOS 855254 HAS SOPS 855254 HAS SOUS 636987 HAS SOUPS 636987 WITH SCORE 637842.254
AT ITER 4391 NEW BEST:: SOT 4385662 SOS 855232 HAS SOPS 855232 HAS SOUS 636946 HAS SOUPS 636946 WITH SCORE 637801.232
AT ITER 4402 NEW BEST:: SOT 4385639 SOS 855186 HAS SOPS 855186 HAS SOUS 636850 HAS SOUPS 636850 WITH SCORE 637705.186
AT ITER 4419 NEW BEST:: SOT 4385559 SOS 855026 HAS SOPS 855026 HAS SOUS 636792 HAS SOUPS 636792 WITH SCORE 637647.026
AT ITER 4425 NEW BEST:: SOT 4385559 SOS 854929 HAS SOPS 854929 HAS SOUS 636792 HAS SOUPS 636792 WITH SCORE 637646.929
AT ITER 4456 NEW BEST:: SOT 4385489 SOS 854789 HAS SOPS 854789 HAS SOUS 636758 HAS SOUPS 636758 WITH SCORE 637612.789
AT ITER 4458 NEW BEST:: SOT 4385239 SOS 854539 HAS SOPS 854539 HAS SOUS 636508 HAS SOUPS 636508 WITH SCORE 637362.539
AT ITER 4498 NEW BEST:: SOT 4385304 SOS 854535 HAS SOPS 854535 HAS SOUS 636504 HAS SOUPS 636504 WITH SCORE 637358.535
AT ITER 4537 NEW BEST:: SOT 4385296 SOS 854519 HAS SOPS 854519 HAS SOUS 636327 HAS SOUPS 636327 WITH SCORE 637181.519
AT ITER 4549 NEW BEST:: SOT 4385082 SOS 854328 HAS SOPS 854328 HAS SOUS 635876 HAS SOUPS 635876 WITH SCORE 636730.328
AT ITER 4590 NEW BEST:: SOT 4385082 SOS 853860 HAS SOPS 853860 HAS SOUS 635642 HAS SOUPS 635642 WITH SCORE 636495.86
AT ITER 4608 NEW BEST:: SOT 4384789 SOS 853274 HAS SOPS 853274 HAS SOUS 635056 HAS SOUPS 635056 WITH SCORE 635909.274
AT ITER 4617 NEW BEST:: SOT 4384376 SOS 852448 HAS SOPS 852448 HAS SOUS 634607 HAS SOUPS 634607 WITH SCORE 635459.448
AT ITER 4639 NEW BEST:: SOT 4384298 SOS 852214 HAS SOPS 852214 HAS SOUS 634451 HAS SOUPS 634451 WITH SCORE 635303.214
AT ITER 4645 NEW BEST:: SOT 4384297 SOS 852212 HAS SOPS 852212 HAS SOUS 634449 HAS SOUPS 634449 WITH SCORE 635301.212
AT ITER 4646 NEW BEST:: SOT 4384297 SOS 852090 HAS SOPS 852090 HAS SOUS 634327 HAS SOUPS 634327 WITH SCORE 635179.09
AT ITER 4685 NEW BEST:: SOT 4384234 SOS 851964 HAS SOPS 851964 HAS SOUS 634201 HAS SOUPS 634201 WITH SCORE 635052.964
AT ITER 4784 NEW BEST:: SOT 4384234 SOS 851872 HAS SOPS 851872 HAS SOUS 634201 HAS SOUPS 634201 WITH SCORE 635052.872
AT ITER 4785 NEW BEST:: SOT 4384195 SOS 851794 HAS SOPS 851794 HAS SOUS 634123 HAS SOUPS 634123 WITH SCORE 634974.794
AT ITER 4793 NEW BEST:: SOT 4383941 SOS 851546 HAS SOPS 851546 HAS SOUS 633875 HAS SOUPS 633875 WITH SCORE 634726.546
AT ITER 4809 NEW BEST:: SOT 4383783 SOS 851446 HAS SOPS 851446 HAS SOUS 633752 HAS SOUPS 633752 WITH SCORE 634603.446
AT ITER 4826 NEW BEST:: SOT 4383783 SOS 851201 HAS SOPS 851201 HAS SOUS 633752 HAS SOUPS 633752 WITH SCORE 634603.201
AT ITER 4841 NEW BEST:: SOT 4383758 SOS 851151 HAS SOPS 851151 HAS SOUS 633724 HAS SOUPS 633724 WITH SCORE 634575.151
AT ITER 4861 NEW BEST:: SOT 4383758 SOS 851031 HAS SOPS 851031 HAS SOUS 633604 HAS SOUPS 633604 WITH SCORE 634455.031
AT ITER 4883 NEW BEST:: SOT 4383757 SOS 851029 HAS SOPS 851029 HAS SOUS 633602 HAS SOUPS 633602 WITH SCORE 634453.029
AT ITER 4921 NEW BEST:: SOT 4383757 SOS 850772 HAS SOPS 850772 HAS SOUS 633574 HAS SOUPS 633574 WITH SCORE 634424.772
AT ITER 4940 NEW BEST:: SOT 4383450 SOS 826554 HAS SOPS 826554 HAS SOUS 632960 HAS SOUPS 632960 WITH SCORE 633786.554
AT ITER 4953 NEW BEST:: SOT 4383376 SOS 826406 HAS SOPS 826406 HAS SOUS 632812 HAS SOUPS 632812 WITH SCORE 633638.406
AT ITER 4999 NEW BEST:: SOT 4383242 SOS 826138 HAS SOPS 826138 HAS SOUS 632758 HAS SOUPS 632758 WITH SCORE 633584.138
AT ITER 5024 NEW BEST:: SOT 4383242 SOS 826138 HAS SOPS 826138 HAS SOUS 632734 HAS SOUPS 632734 WITH SCORE 633560.138
AT ITER 5028 NEW BEST:: SOT 4383231 SOS 826116 HAS SOPS 826116 HAS SOUS 632712 HAS SOUPS 632712 WITH SCORE 633538.116
AT ITER 5034 NEW BEST:: SOT 4383231 SOS 825987 HAS SOPS 825987 HAS SOUS 632712 HAS SOUPS 632712 WITH SCORE 633537.987
AT ITER 5037 NEW BEST:: SOT 4383128 SOS 826249 HAS SOPS 826249 HAS SOUS 632609 HAS SOUPS 632609 WITH SCORE 633435.249
AT ITER 5052 NEW BEST:: SOT 4383003 SOS 825999 HAS SOPS 825999 HAS SOUS 632585 HAS SOUPS 632585 WITH SCORE 633410.999
AT ITER 5088 NEW BEST:: SOT 4383034 SOS 825968 HAS SOPS 825968 HAS SOUS 632585 HAS SOUPS 632585 WITH SCORE 633410.968
AT ITER 5096 NEW BEST:: SOT 4383028 SOS 826316 HAS SOPS 826316 HAS SOUS 632510 HAS SOUPS 632510 WITH SCORE 633336.316
AT ITER 5104 NEW BEST:: SOT 4382842 SOS 825944 HAS SOPS 825944 HAS SOUS 632390 HAS SOUPS 632390 WITH SCORE 633215.944
AT ITER 5131 NEW BEST:: SOT 4382643 SOS 825745 HAS SOPS 825745 HAS SOUS 632191 HAS SOUPS 632191 WITH SCORE 633016.745
AT ITER 5135 NEW BEST:: SOT 4382557 SOS 825649 HAS SOPS 825649 HAS SOUS 632072 HAS SOUPS 632072 WITH SCORE 632897.649
AT ITER 5151 NEW BEST:: SOT 4382413 SOS 825505 HAS SOPS 825505 HAS SOUS 631928 HAS SOUPS 631928 WITH SCORE 632753.505
AT ITER 5167 NEW BEST:: SOT 4382413 SOS 825505 HAS SOPS 825505 HAS SOUS 631912 HAS SOUPS 631912 WITH SCORE 632737.505
AT ITER 5176 NEW BEST:: SOT 4382349 SOS 825377 HAS SOPS 825377 HAS SOUS 631848 HAS SOUPS 631848 WITH SCORE 632673.377
AT ITER 5177 NEW BEST:: SOT 4382310 SOS 825338 HAS SOPS 825338 HAS SOUS 631809 HAS SOUPS 631809 WITH SCORE 632634.338
AT ITER 5187 NEW BEST:: SOT 4382265 SOS 825248 HAS SOPS 825248 HAS SOUS 631647 HAS SOUPS 631647 WITH SCORE 632472.248
AT ITER 5195 NEW BEST:: SOT 4381786 SOS 825030 HAS SOPS 825030 HAS SOUS 631316 HAS SOUPS 631316 WITH SCORE 632141.03
AT ITER 5204 NEW BEST:: SOT 4381737 SOS 824760 HAS SOPS 824760 HAS SOUS 631187 HAS SOUPS 631187 WITH SCORE 632011.76
AT ITER 5232 NEW BEST:: SOT 4381670 SOS 824626 HAS SOPS 824626 HAS SOUS 631053 HAS SOUPS 631053 WITH SCORE 631877.626
AT ITER 5245 NEW BEST:: SOT 4381552 SOS 824390 HAS SOPS 824390 HAS SOUS 630817 HAS SOUPS 630817 WITH SCORE 631641.39
AT ITER 5266 NEW BEST:: SOT 4381476 SOS 824433 HAS SOPS 824433 HAS SOUS 630741 HAS SOUPS 630741 WITH SCORE 631565.433
AT ITER 5267 NEW BEST:: SOT 4381415 SOS 824311 HAS SOPS 824311 HAS SOUS 630680 HAS SOUPS 630680 WITH SCORE 631504.311
AT ITER 5279 NEW BEST:: SOT 4381331 SOS 823805 HAS SOPS 823805 HAS SOUS 630650 HAS SOUPS 630650 WITH SCORE 631473.805
AT ITER 5282 NEW BEST:: SOT 4381033 SOS 799170 HAS SOPS 799170 HAS SOUS 630054 HAS SOUPS 630054 WITH SCORE 630853.17
AT ITER 5297 NEW BEST:: SOT 4381025 SOS 799154 HAS SOPS 799154 HAS SOUS 630038 HAS SOUPS 630038 WITH SCORE 630837.154
AT ITER 5319 NEW BEST:: SOT 4381025 SOS 799154 HAS SOPS 799154 HAS SOUS 630021 HAS SOUPS 630021 WITH SCORE 630820.154
AT ITER 5329 NEW BEST:: SOT 4380904 SOS 798912 HAS SOPS 798912 HAS SOUS 629900 HAS SOUPS 629900 WITH SCORE 630698.912
AT ITER 5373 NEW BEST:: SOT 4380903 SOS 798910 HAS SOPS 798910 HAS SOUS 629898 HAS SOUPS 629898 WITH SCORE 630696.91
AT ITER 5392 NEW BEST:: SOT 4380858 SOS 798820 HAS SOPS 798820 HAS SOUS 629808 HAS SOUPS 629808 WITH SCORE 630606.82
AT ITER 5404 NEW BEST:: SOT 4380848 SOS 798800 HAS SOPS 798800 HAS SOUS 629788 HAS SOUPS 629788 WITH SCORE 630586.8
AT ITER 5408 NEW BEST:: SOT 4380851 SOS 798657 HAS SOPS 798657 HAS SOUS 629645 HAS SOUPS 629645 WITH SCORE 630443.657
AT ITER 5417 NEW BEST:: SOT 4380780 SOS 798515 HAS SOPS 798515 HAS SOUS 629503 HAS SOUPS 629503 WITH SCORE 630301.515
AT ITER 5422 NEW BEST:: SOT 4380659 SOS 798410 HAS SOPS 798410 HAS SOUS 629392 HAS SOUPS 629392 WITH SCORE 630190.41
AT ITER 5443 NEW BEST:: SOT 4380828 SOS 798337 HAS SOPS 798337 HAS SOUS 629242 HAS SOUPS 629242 WITH SCORE 630040.337
AT ITER 5479 NEW BEST:: SOT 4380780 SOS 798150 HAS SOPS 798150 HAS SOUS 629140 HAS SOUPS 629140 WITH SCORE 629938.15
AT ITER 5520 NEW BEST:: SOT 4380779 SOS 797870 HAS SOPS 797870 HAS SOUS 629138 HAS SOUPS 629138 WITH SCORE 629935.87
AT ITER 5532 NEW BEST:: SOT 4380778 SOS 797699 HAS SOPS 797699 HAS SOUS 629136 HAS SOUPS 629136 WITH SCORE 629933.699
AT ITER 5607 NEW BEST:: SOT 4380778 SOS 797473 HAS SOPS 797473 HAS SOUS 629136 HAS SOUPS 629136 WITH SCORE 629933.473
AT ITER 5611 NEW BEST:: SOT 4380263 SOS 797457 HAS SOPS 797457 HAS SOUS 628621 HAS SOUPS 628621 WITH SCORE 629418.457
AT ITER 5640 NEW BEST:: SOT 4380253 SOS 797437 HAS SOPS 797437 HAS SOUS 628611 HAS SOUPS 628611 WITH SCORE 629408.437
AT ITER 5643 NEW BEST:: SOT 4380138 SOS 797322 HAS SOPS 797322 HAS SOUS 628496 HAS SOUPS 628496 WITH SCORE 629293.322
AT ITER 5655 NEW BEST:: SOT 4380137 SOS 797320 HAS SOPS 797320 HAS SOUS 628494 HAS SOUPS 628494 WITH SCORE 629291.32
AT ITER 5656 NEW BEST:: SOT 4380136 SOS 797318 HAS SOPS 797318 HAS SOUS 628492 HAS SOUPS 628492 WITH SCORE 629289.318
AT ITER 5676 NEW BEST:: SOT 4379985 SOS 797167 HAS SOPS 797167 HAS SOUS 628341 HAS SOUPS 628341 WITH SCORE 629138.167
AT ITER 5686 NEW BEST:: SOT 4380139 SOS 797058 HAS SOPS 797058 HAS SOUS 628227 HAS SOUPS 628227 WITH SCORE 629024.058
AT ITER 5694 NEW BEST:: SOT 4379794 SOS 796368 HAS SOPS 796368 HAS SOUS 627537 HAS SOUPS 627537 WITH SCORE 628333.368
AT ITER 5696 NEW BEST:: SOT 4379725 SOS 796230 HAS SOPS 796230 HAS SOUS 627468 HAS SOUPS 627468 WITH SCORE 628264.23
AT ITER 5698 NEW BEST:: SOT 4379701 SOS 796158 HAS SOPS 796158 HAS SOUS 627420 HAS SOUPS 627420 WITH SCORE 628216.158
AT ITER 5770 NEW BEST:: SOT 4379687 SOS 796130 HAS SOPS 796130 HAS SOUS 627392 HAS SOUPS 627392 WITH SCORE 628188.13
AT ITER 5790 NEW BEST:: SOT 4379677 SOS 796110 HAS SOPS 796110 HAS SOUS 627382 HAS SOUPS 627382 WITH SCORE 628178.11
AT ITER 5821 NEW BEST:: SOT 4379041 SOS 798128 HAS SOPS 798128 HAS SOUS 627137 HAS SOUPS 627137 WITH SCORE 627935.128
AT ITER 5828 NEW BEST:: SOT 4378935 SOS 798218 HAS SOPS 798218 HAS SOUS 626902 HAS SOUPS 626902 WITH SCORE 627700.218
AT ITER 5831 NEW BEST:: SOT 4378939 SOS 797751 HAS SOPS 797751 HAS SOUS 626642 HAS SOUPS 626642 WITH SCORE 627439.751
AT ITER 5839 NEW BEST:: SOT 4378938 SOS 797750 HAS SOPS 797750 HAS SOUS 626640 HAS SOUPS 626640 WITH SCORE 627437.75
AT ITER 5897 NEW BEST:: SOT 4378938 SOS 797533 HAS SOPS 797533 HAS SOUS 626640 HAS SOUPS 626640 WITH SCORE 627437.533
AT ITER 5899 NEW BEST:: SOT 4378850 SOS 797357 HAS SOPS 797357 HAS SOUS 626404 HAS SOUPS 626404 WITH SCORE 627201.357
AT ITER 5916 NEW BEST:: SOT 4378849 SOS 797103 HAS SOPS 797103 HAS SOUS 626402 HAS SOUPS 626402 WITH SCORE 627199.103
AT ITER 5995 NEW BEST:: SOT 4378800 SOS 797054 HAS SOPS 797054 HAS SOUS 626353 HAS SOUPS 626353 WITH SCORE 627150.054
AT ITER 6010 NEW BEST:: SOT 4378612 SOS 796520 HAS SOPS 796520 HAS SOUS 626125 HAS SOUPS 626125 WITH SCORE 626921.52
AT ITER 6020 NEW BEST:: SOT 4378612 SOS 796520 HAS SOPS 796520 HAS SOUS 626124 HAS SOUPS 626124 WITH SCORE 626920.52
AT ITER 6057 NEW BEST:: SOT 4378464 SOS 796224 HAS SOPS 796224 HAS SOUS 625661 HAS SOUPS 625661 WITH SCORE 626457.224
AT ITER 6070 NEW BEST:: SOT 4378459 SOS 796214 HAS SOPS 796214 HAS SOUS 625651 HAS SOUPS 625651 WITH SCORE 626447.214
AT ITER 6117 NEW BEST:: SOT 4378459 SOS 796194 HAS SOPS 796194 HAS SOUS 625651 HAS SOUPS 625651 WITH SCORE 626447.194
AT ITER 6133 NEW BEST:: SOT 4378400 SOS 796391 HAS SOPS 796391 HAS SOUS 625601 HAS SOUPS 625601 WITH SCORE 626397.391
AT ITER 6134 NEW BEST:: SOT 4378124 SOS 796039 HAS SOPS 796039 HAS SOUS 625249 HAS SOUPS 625249 WITH SCORE 626045.039
AT ITER 6146 NEW BEST:: SOT 4378120 SOS 796031 HAS SOPS 796031 HAS SOUS 625243 HAS SOUPS 625243 WITH SCORE 626039.031
AT ITER 6169 NEW BEST:: SOT 4377955 SOS 795701 HAS SOPS 795701 HAS SOUS 624913 HAS SOUPS 624913 WITH SCORE 625708.701
AT ITER 6175 NEW BEST:: SOT 4377923 SOS 795637 HAS SOPS 795637 HAS SOUS 624849 HAS SOUPS 624849 WITH SCORE 625644.637
AT ITER 6185 NEW BEST:: SOT 4377854 SOS 795635 HAS SOPS 795635 HAS SOUS 624776 HAS SOUPS 624776 WITH SCORE 625571.635
AT ITER 6187 NEW BEST:: SOT 4377793 SOS 795513 HAS SOPS 795513 HAS SOUS 624715 HAS SOUPS 624715 WITH SCORE 625510.513
AT ITER 6232 NEW BEST:: SOT 4377684 SOS 795295 HAS SOPS 795295 HAS SOUS 624606 HAS SOUPS 624606 WITH SCORE 625401.295
AT ITER 6233 NEW BEST:: SOT 4377684 SOS 795295 HAS SOPS 795295 HAS SOUS 624603 HAS SOUPS 624603 WITH SCORE 625398.295
AT ITER 6250 NEW BEST:: SOT 4377684 SOS 795295 HAS SOPS 795295 HAS SOUS 624552 HAS SOUPS 624552 WITH SCORE 625347.295
AT ITER 6267 NEW BEST:: SOT 4377740 SOS 795073 HAS SOPS 795073 HAS SOUS 624385 HAS SOUPS 624385 WITH SCORE 625180.073
AT ITER 6280 NEW BEST:: SOT 4377807 SOS 795100 HAS SOPS 795100 HAS SOUS 624354 HAS SOUPS 624354 WITH SCORE 625149.1
AT ITER 6283 NEW BEST:: SOT 4377807 SOS 795100 HAS SOPS 795100 HAS SOUS 624201 HAS SOUPS 624201 WITH SCORE 624996.1
AT ITER 6287 NEW BEST:: SOT 4377028 SOS 795542 HAS SOPS 795542 HAS SOUS 623811 HAS SOUPS 623811 WITH SCORE 624606.542
AT ITER 6305 NEW BEST:: SOT 4376903 SOS 795814 HAS SOPS 795814 HAS SOUS 623462 HAS SOUPS 623462 WITH SCORE 624257.814
AT ITER 6339 NEW BEST:: SOT 4376903 SOS 795814 HAS SOPS 795814 HAS SOUS 623259 HAS SOUPS 623259 WITH SCORE 624054.814
AT ITER 6345 NEW BEST:: SOT 4376765 SOS 795630 HAS SOPS 795630 HAS SOUS 623075 HAS SOUPS 623075 WITH SCORE 623870.63
AT ITER 6351 NEW BEST:: SOT 4376735 SOS 795630 HAS SOPS 795630 HAS SOUS 623045 HAS SOUPS 623045 WITH SCORE 623840.63
AT ITER 6357 NEW BEST:: SOT 4376735 SOS 795630 HAS SOPS 795630 HAS SOUS 623044 HAS SOUPS 623044 WITH SCORE 623839.63
AT ITER 6365 NEW BEST:: SOT 4376511 SOS 795646 HAS SOPS 795646 HAS SOUS 622901 HAS SOUPS 622901 WITH SCORE 623696.646
AT ITER 6410 NEW BEST:: SOT 4376486 SOS 795596 HAS SOPS 795596 HAS SOUS 622851 HAS SOUPS 622851 WITH SCORE 623646.596
AT ITER 6440 NEW BEST:: SOT 4376412 SOS 795448 HAS SOPS 795448 HAS SOUS 622720 HAS SOUPS 622720 WITH SCORE 623515.448
AT ITER 6461 NEW BEST:: SOT 4376412 SOS 795448 HAS SOPS 795448 HAS SOUS 622499 HAS SOUPS 622499 WITH SCORE 623294.448
AT ITER 6499 NEW BEST:: SOT 4376153 SOS 794930 HAS SOPS 794930 HAS SOUS 622400 HAS SOUPS 622400 WITH SCORE 623194.93
AT ITER 6507 NEW BEST:: SOT 4376196 SOS 794973 HAS SOPS 794973 HAS SOUS 622315 HAS SOUPS 622315 WITH SCORE 623109.973
AT ITER 6520 NEW BEST:: SOT 4375979 SOS 794539 HAS SOPS 794539 HAS SOUS 622104 HAS SOUPS 622104 WITH SCORE 622898.539
AT ITER 6521 NEW BEST:: SOT 4375789 SOS 794159 HAS SOPS 794159 HAS SOUS 622104 HAS SOUPS 622104 WITH SCORE 622898.159
AT ITER 6522 NEW BEST:: SOT 4375743 SOS 794122 HAS SOPS 794122 HAS SOUS 622067 HAS SOUPS 622067 WITH SCORE 622861.122
AT ITER 6544 NEW BEST:: SOT 4375521 SOS 793900 HAS SOPS 793900 HAS SOUS 621845 HAS SOUPS 621845 WITH SCORE 622638.9
AT ITER 6560 NEW BEST:: SOT 4375293 SOS 793444 HAS SOPS 793444 HAS SOUS 621617 HAS SOUPS 621617 WITH SCORE 622410.444
AT ITER 6568 NEW BEST:: SOT 4375165 SOS 793016 HAS SOPS 793016 HAS SOUS 621489 HAS SOUPS 621489 WITH SCORE 622282.016
AT ITER 6621 NEW BEST:: SOT 4374945 SOS 792975 HAS SOPS 792975 HAS SOUS 621315 HAS SOUPS 621315 WITH SCORE 622107.975
AT ITER 6661 NEW BEST:: SOT 4375132 SOS 791963 HAS SOPS 791963 HAS SOUS 620787 HAS SOUPS 620787 WITH SCORE 621578.963
AT ITER 6666 NEW BEST:: SOT 4375033 SOS 791765 HAS SOPS 791765 HAS SOUS 620490 HAS SOUPS 620490 WITH SCORE 621281.765
AT ITER 6669 NEW BEST:: SOT 4375002 SOS 791703 HAS SOPS 791703 HAS SOUS 620428 HAS SOUPS 620428 WITH SCORE 621219.703
AT ITER 6670 NEW BEST:: SOT 4374985 SOS 791629 HAS SOPS 791629 HAS SOUS 620371 HAS SOUPS 620371 WITH SCORE 621162.629
AT ITER 6697 NEW BEST:: SOT 4374861 SOS 791536 HAS SOPS 791536 HAS SOUS 620278 HAS SOUPS 620278 WITH SCORE 621069.536
AT ITER 6707 NEW BEST:: SOT 4374856 SOS 791526 HAS SOPS 791526 HAS SOUS 620268 HAS SOUPS 620268 WITH SCORE 621059.526
AT ITER 6717 NEW BEST:: SOT 4374847 SOS 791508 HAS SOPS 791508 HAS SOUS 620250 HAS SOUPS 620250 WITH SCORE 621041.508
AT ITER 6759 NEW BEST:: SOT 4374820 SOS 791454 HAS SOPS 791454 HAS SOUS 620215 HAS SOUPS 620215 WITH SCORE 621006.454
AT ITER 6768 NEW BEST:: SOT 4374649 SOS 791283 HAS SOPS 791283 HAS SOUS 620144 HAS SOUPS 620144 WITH SCORE 620935.283
AT ITER 6790 NEW BEST:: SOT 4374667 SOS 791254 HAS SOPS 791254 HAS SOUS 620115 HAS SOUPS 620115 WITH SCORE 620906.254
AT ITER 6806 NEW BEST:: SOT 4374639 SOS 791268 HAS SOPS 791268 HAS SOUS 620101 HAS SOUPS 620101 WITH SCORE 620892.268
AT ITER 6813 NEW BEST:: SOT 4374193 SOS 790376 HAS SOPS 790376 HAS SOUS 620038 HAS SOUPS 620038 WITH SCORE 620828.376
AT ITER 6816 NEW BEST:: SOT 4374261 SOS 790312 HAS SOPS 790312 HAS SOUS 620038 HAS SOUPS 620038 WITH SCORE 620828.312
AT ITER 6833 NEW BEST:: SOT 4374242 SOS 790274 HAS SOPS 790274 HAS SOUS 620000 HAS SOUPS 620000 WITH SCORE 620790.274
AT ITER 6848 NEW BEST:: SOT 4374166 SOS 790122 HAS SOPS 790122 HAS SOUS 619848 HAS SOUPS 619848 WITH SCORE 620638.122
AT ITER 6855 NEW BEST:: SOT 4374025 SOS 790108 HAS SOPS 790108 HAS SOUS 619741 HAS SOUPS 619741 WITH SCORE 620531.108
AT ITER 6867 NEW BEST:: SOT 4373648 SOS 789354 HAS SOPS 789354 HAS SOUS 618987 HAS SOUPS 618987 WITH SCORE 619776.354
AT ITER 6885 NEW BEST:: SOT 4373548 SOS 789275 HAS SOPS 789275 HAS SOUS 618908 HAS SOUPS 618908 WITH SCORE 619697.275
AT ITER 6907 NEW BEST:: SOT 4373548 SOS 789112 HAS SOPS 789112 HAS SOUS 618745 HAS SOUPS 618745 WITH SCORE 619534.112
AT ITER 6908 NEW BEST:: SOT 4373392 SOS 788800 HAS SOPS 788800 HAS SOUS 618433 HAS SOUPS 618433 WITH SCORE 619221.8
AT ITER 6917 NEW BEST:: SOT 4373010 SOS 788442 HAS SOPS 788442 HAS SOUS 618075 HAS SOUPS 618075 WITH SCORE 618863.442
AT ITER 6921 NEW BEST:: SOT 4372860 SOS 788071 HAS SOPS 788071 HAS SOUS 618042 HAS SOUPS 618042 WITH SCORE 618830.071
AT ITER 6937 NEW BEST:: SOT 4372954 SOS 788037 HAS SOPS 788037 HAS SOUS 618008 HAS SOUPS 618008 WITH SCORE 618796.037
AT ITER 6941 NEW BEST:: SOT 4372924 SOS 787971 HAS SOPS 787971 HAS SOUS 617912 HAS SOUPS 617912 WITH SCORE 618699.971
AT ITER 6943 NEW BEST:: SOT 4372923 SOS 787945 HAS SOPS 787945 HAS SOUS 617911 HAS SOUPS 617911 WITH SCORE 618698.945
AT ITER 6945 NEW BEST:: SOT 4372923 SOS 787838 HAS SOPS 787838 HAS SOUS 617911 HAS SOUPS 617911 WITH SCORE 618698.838
AT ITER 6961 NEW BEST:: SOT 4372769 SOS 787838 HAS SOPS 787838 HAS SOUS 617834 HAS SOUPS 617834 WITH SCORE 618621.838
AT ITER 6992 NEW BEST:: SOT 4372622 SOS 787544 HAS SOPS 787544 HAS SOUS 617364 HAS SOUPS 617364 WITH SCORE 618151.544
AT ITER 6993 NEW BEST:: SOT 4372489 SOS 787278 HAS SOPS 787278 HAS SOUS 617363 HAS SOUPS 617363 WITH SCORE 618150.278
AT ITER 6999 NEW BEST:: SOT 4372468 SOS 787236 HAS SOPS 787236 HAS SOUS 617342 HAS SOUPS 617342 WITH SCORE 618129.236
AT ITER 7003 NEW BEST:: SOT 4372404 SOS 787108 HAS SOPS 787108 HAS SOUS 617214 HAS SOUPS 617214 WITH SCORE 618001.108
AT ITER 7011 NEW BEST:: SOT 4372380 SOS 787060 HAS SOPS 787060 HAS SOUS 617166 HAS SOUPS 617166 WITH SCORE 617953.06
AT ITER 7053 NEW BEST:: SOT 4372312 SOS 786924 HAS SOPS 786924 HAS SOUS 617166 HAS SOUPS 617166 WITH SCORE 617952.924
AT ITER 7140 NEW BEST:: SOT 4372274 SOS 786923 HAS SOPS 786923 HAS SOUS 617142 HAS SOUPS 617142 WITH SCORE 617928.923
AT ITER 7198 NEW BEST:: SOT 4371688 SOS 786615 HAS SOPS 786615 HAS SOUS 616699 HAS SOUPS 616699 WITH SCORE 617485.615
AT ITER 7199 NEW BEST:: SOT 4371453 SOS 786420 HAS SOPS 786420 HAS SOUS 616505 HAS SOUPS 616505 WITH SCORE 617291.42
AT ITER 7210 NEW BEST:: SOT 4371453 SOS 786420 HAS SOPS 786420 HAS SOUS 616471 HAS SOUPS 616471 WITH SCORE 617257.42
AT ITER 7222 NEW BEST:: SOT 4371453 SOS 786354 HAS SOPS 786354 HAS SOUS 616471 HAS SOUPS 616471 WITH SCORE 617257.354
AT ITER 7255 NEW BEST:: SOT 4371301 SOS 780298 HAS SOPS 780298 HAS SOUS 616167 HAS SOUPS 616167 WITH SCORE 616947.298
AT ITER 7257 NEW BEST:: SOT 4371212 SOS 780238 HAS SOPS 780238 HAS SOUS 616107 HAS SOUPS 616107 WITH SCORE 616887.238
AT ITER 7264 NEW BEST:: SOT 4371152 SOS 780118 HAS SOPS 780118 HAS SOUS 616047 HAS SOUPS 616047 WITH SCORE 616827.118
AT ITER 7273 NEW BEST:: SOT 4370903 SOS 779869 HAS SOPS 779869 HAS SOUS 615920 HAS SOUPS 615920 WITH SCORE 616699.869
AT ITER 7301 NEW BEST:: SOT 4370710 SOS 779483 HAS SOPS 779483 HAS SOUS 615793 HAS SOUPS 615793 WITH SCORE 616572.483
AT ITER 7336 NEW BEST:: SOT 4370661 SOS 779385 HAS SOPS 779385 HAS SOUS 615695 HAS SOUPS 615695 WITH SCORE 616474.385
AT ITER 7372 NEW BEST:: SOT 4369426 SOS 778583 HAS SOPS 778583 HAS SOUS 614649 HAS SOUPS 614649 WITH SCORE 615427.583
AT ITER 7377 NEW BEST:: SOT 4369115 SOS 777629 HAS SOPS 777629 HAS SOUS 614024 HAS SOUPS 614024 WITH SCORE 614801.629
AT ITER 7380 NEW BEST:: SOT 4369009 SOS 777417 HAS SOPS 777417 HAS SOUS 613812 HAS SOUPS 613812 WITH SCORE 614589.417
AT ITER 7400 NEW BEST:: SOT 4368960 SOS 777319 HAS SOPS 777319 HAS SOUS 613772 HAS SOUPS 613772 WITH SCORE 614549.319
AT ITER 7414 NEW BEST:: SOT 4368960 SOS 777303 HAS SOPS 777303 HAS SOUS 613768 HAS SOUPS 613768 WITH SCORE 614545.303
AT ITER 7420 NEW BEST:: SOT 4368850 SOS 777083 HAS SOPS 777083 HAS SOUS 613637 HAS SOUPS 613637 WITH SCORE 614414.083
AT ITER 7424 NEW BEST:: SOT 4368374 SOS 776607 HAS SOPS 776607 HAS SOUS 613161 HAS SOUPS 613161 WITH SCORE 613937.607
AT ITER 7425 NEW BEST:: SOT 4368277 SOS 776449 HAS SOPS 776449 HAS SOUS 613028 HAS SOUPS 613028 WITH SCORE 613804.449
AT ITER 7438 NEW BEST:: SOT 4368243 SOS 776381 HAS SOPS 776381 HAS SOUS 612960 HAS SOUPS 612960 WITH SCORE 613736.381
AT ITER 7440 NEW BEST:: SOT 4367723 SOS 775700 HAS SOPS 775700 HAS SOUS 612182 HAS SOUPS 612182 WITH SCORE 612957.7
AT ITER 7501 NEW BEST:: SOT 4367712 SOS 775678 HAS SOPS 775678 HAS SOUS 612080 HAS SOUPS 612080 WITH SCORE 612855.678
AT ITER 7502 NEW BEST:: SOT 4367310 SOS 775480 HAS SOPS 775480 HAS SOUS 611678 HAS SOUPS 611678 WITH SCORE 612453.48
AT ITER 7509 NEW BEST:: SOT 4366939 SOS 775660 HAS SOPS 775660 HAS SOUS 611384 HAS SOUPS 611384 WITH SCORE 612159.66
AT ITER 7520 NEW BEST:: SOT 4367021 SOS 775824 HAS SOPS 775824 HAS SOUS 611343 HAS SOUPS 611343 WITH SCORE 612118.824
AT ITER 7550 NEW BEST:: SOT 4366922 SOS 775626 HAS SOPS 775626 HAS SOUS 611145 HAS SOUPS 611145 WITH SCORE 611920.626
AT ITER 7551 NEW BEST:: SOT 4366895 SOS 775572 HAS SOPS 775572 HAS SOUS 611091 HAS SOUPS 611091 WITH SCORE 611866.572
AT ITER 7576 NEW BEST:: SOT 4366843 SOS 775468 HAS SOPS 775468 HAS SOUS 611026 HAS SOUPS 611026 WITH SCORE 611801.468
AT ITER 7577 NEW BEST:: SOT 4366841 SOS 775597 HAS SOPS 775597 HAS SOUS 611022 HAS SOUPS 611022 WITH SCORE 611797.597
AT ITER 7580 NEW BEST:: SOT 4367028 SOS 775971 HAS SOPS 775971 HAS SOUS 610812 HAS SOUPS 610812 WITH SCORE 611587.971
AT ITER 7585 NEW BEST:: SOT 4367193 SOS 776301 HAS SOPS 776301 HAS SOUS 610763 HAS SOUPS 610763 WITH SCORE 611539.301
AT ITER 7587 NEW BEST:: SOT 4367021 SOS 776337 HAS SOPS 776337 HAS SOUS 610674 HAS SOUPS 610674 WITH SCORE 611450.337
AT ITER 7594 NEW BEST:: SOT 4367020 SOS 776321 HAS SOPS 776321 HAS SOUS 610672 HAS SOUPS 610672 WITH SCORE 611448.321
AT ITER 7625 NEW BEST:: SOT 4366800 SOS 776198 HAS SOPS 776198 HAS SOUS 610485 HAS SOUPS 610485 WITH SCORE 611261.198
AT ITER 7628 NEW BEST:: SOT 4366663 SOS 775924 HAS SOPS 775924 HAS SOUS 610348 HAS SOUPS 610348 WITH SCORE 611123.924
AT ITER 7689 NEW BEST:: SOT 4366667 SOS 775892 HAS SOPS 775892 HAS SOUS 610348 HAS SOUPS 610348 WITH SCORE 611123.892
AT ITER 7693 NEW BEST:: SOT 4366342 SOS 775242 HAS SOPS 775242 HAS SOUS 610124 HAS SOUPS 610124 WITH SCORE 610899.242
AT ITER 7708 NEW BEST:: SOT 4366198 SOS 775899 HAS SOPS 775899 HAS SOUS 610063 HAS SOUPS 610063 WITH SCORE 610838.899
AT ITER 7713 NEW BEST:: SOT 4366222 SOS 776054 HAS SOPS 776054 HAS SOUS 609987 HAS SOUPS 609987 WITH SCORE 610763.054
AT ITER 7730 NEW BEST:: SOT 4365940 SOS 775490 HAS SOPS 775490 HAS SOUS 609423 HAS SOUPS 609423 WITH SCORE 610198.49
AT ITER 7731 NEW BEST:: SOT 4365819 SOS 775248 HAS SOPS 775248 HAS SOUS 609302 HAS SOUPS 609302 WITH SCORE 610077.248
AT ITER 7734 NEW BEST:: SOT 4365425 SOS 774692 HAS SOPS 774692 HAS SOUS 608746 HAS SOUPS 608746 WITH SCORE 609520.692
AT ITER 7758 NEW BEST:: SOT 4365395 SOS 774632 HAS SOPS 774632 HAS SOUS 608686 HAS SOUPS 608686 WITH SCORE 609460.632
AT ITER 7780 NEW BEST:: SOT 4365388 SOS 774618 HAS SOPS 774618 HAS SOUS 608672 HAS SOUPS 608672 WITH SCORE 609446.618
AT ITER 7813 NEW BEST:: SOT 4365196 SOS 774426 HAS SOPS 774426 HAS SOUS 608480 HAS SOUPS 608480 WITH SCORE 609254.426
AT ITER 7848 NEW BEST:: SOT 4365147 SOS 774328 HAS SOPS 774328 HAS SOUS 608382 HAS SOUPS 608382 WITH SCORE 609156.328
AT ITER 7909 NEW BEST:: SOT 4365147 SOS 774268 HAS SOPS 774268 HAS SOUS 608322 HAS SOUPS 608322 WITH SCORE 609096.268
AT ITER 7913 NEW BEST:: SOT 4365090 SOS 774154 HAS SOPS 774154 HAS SOUS 608265 HAS SOUPS 608265 WITH SCORE 609039.154
AT ITER 7937 NEW BEST:: SOT 4365031 SOS 774036 HAS SOPS 774036 HAS SOUS 608206 HAS SOUPS 608206 WITH SCORE 608980.036
AT ITER 7939 NEW BEST:: SOT 4364880 SOS 773734 HAS SOPS 773734 HAS SOUS 607904 HAS SOUPS 607904 WITH SCORE 608677.734
AT ITER 7944 NEW BEST:: SOT 4364639 SOS 773493 HAS SOPS 773493 HAS SOUS 607904 HAS SOUPS 607904 WITH SCORE 608677.493
AT ITER 7987 NEW BEST:: SOT 4364860 SOS 773272 HAS SOPS 773272 HAS SOUS 607683 HAS SOUPS 607683 WITH SCORE 608456.272
AT ITER 8002 NEW BEST:: SOT 4364313 SOS 772178 HAS SOPS 772178 HAS SOUS 607214 HAS SOUPS 607214 WITH SCORE 607986.178
AT ITER 8023 NEW BEST:: SOT 4364097 SOS 771746 HAS SOPS 771746 HAS SOUS 606998 HAS SOUPS 606998 WITH SCORE 607769.746
AT ITER 8056 NEW BEST:: SOT 4364097 SOS 771704 HAS SOPS 771704 HAS SOUS 606956 HAS SOUPS 606956 WITH SCORE 607727.704
AT ITER 8061 NEW BEST:: SOT 4364009 SOS 771929 HAS SOPS 771929 HAS SOUS 606868 HAS SOUPS 606868 WITH SCORE 607639.929
AT ITER 8095 NEW BEST:: SOT 4363968 SOS 772069 HAS SOPS 772069 HAS SOUS 606765 HAS SOUPS 606765 WITH SCORE 607537.069
AT ITER 8099 NEW BEST:: SOT 4363928 SOS 771989 HAS SOPS 771989 HAS SOUS 606685 HAS SOUPS 606685 WITH SCORE 607456.989
AT ITER 8102 NEW BEST:: SOT 4363940 SOS 771754 HAS SOPS 771754 HAS SOUS 606572 HAS SOUPS 606572 WITH SCORE 607343.754
AT ITER 8119 NEW BEST:: SOT 4363940 SOS 771392 HAS SOPS 771392 HAS SOUS 606391 HAS SOUPS 606391 WITH SCORE 607162.392
AT ITER 8122 NEW BEST:: SOT 4363836 SOS 771288 HAS SOPS 771288 HAS SOUS 606287 HAS SOUPS 606287 WITH SCORE 607058.288
AT ITER 8153 NEW BEST:: SOT 4363659 SOS 771358 HAS SOPS 771358 HAS SOUS 606083 HAS SOUPS 606083 WITH SCORE 606854.358
AT ITER 8168 NEW BEST:: SOT 4363575 SOS 771190 HAS SOPS 771190 HAS SOUS 605819 HAS SOUPS 605819 WITH SCORE 606590.19
AT ITER 8189 NEW BEST:: SOT 4363380 SOS 770800 HAS SOPS 770800 HAS SOUS 605429 HAS SOUPS 605429 WITH SCORE 606199.8
AT ITER 8195 NEW BEST:: SOT 4363348 SOS 770768 HAS SOPS 770768 HAS SOUS 605396 HAS SOUPS 605396 WITH SCORE 606166.768
AT ITER 8217 NEW BEST:: SOT 4363140 SOS 770560 HAS SOPS 770560 HAS SOUS 605084 HAS SOUPS 605084 WITH SCORE 605854.56
AT ITER 8226 NEW BEST:: SOT 4363008 SOS 770428 HAS SOPS 770428 HAS SOUS 604952 HAS SOUPS 604952 WITH SCORE 605722.428
AT ITER 8237 NEW BEST:: SOT 4363212 SOS 769262 HAS SOPS 769262 HAS SOUS 604878 HAS SOUPS 604878 WITH SCORE 605647.262
AT ITER 8258 NEW BEST:: SOT 4363212 SOS 769262 HAS SOPS 769262 HAS SOUS 604846 HAS SOUPS 604846 WITH SCORE 605615.262
AT ITER 8297 NEW BEST:: SOT 4363044 SOS 768758 HAS SOPS 768758 HAS SOUS 604510 HAS SOUPS 604510 WITH SCORE 605278.758
AT ITER 8309 NEW BEST:: SOT 4362994 SOS 769003 HAS SOPS 769003 HAS SOUS 604489 HAS SOUPS 604489 WITH SCORE 605258.003
AT ITER 8347 NEW BEST:: SOT 4362994 SOS 769003 HAS SOPS 769003 HAS SOUS 604373 HAS SOUPS 604373 WITH SCORE 605142.003
AT ITER 8367 NEW BEST:: SOT 4362904 SOS 768609 HAS SOPS 768609 HAS SOUS 604193 HAS SOUPS 604193 WITH SCORE 604961.609
AT ITER 8386 NEW BEST:: SOT 4362835 SOS 768471 HAS SOPS 768471 HAS SOUS 603710 HAS SOUPS 603710 WITH SCORE 604478.471
AT ITER 8421 NEW BEST:: SOT 4362814 SOS 768429 HAS SOPS 768429 HAS SOUS 603668 HAS SOUPS 603668 WITH SCORE 604436.429
AT ITER 8433 NEW BEST:: SOT 4362731 SOS 768495 HAS SOPS 768495 HAS SOUS 603585 HAS SOUPS 603585 WITH SCORE 604353.495
AT ITER 8440 NEW BEST:: SOT 4362709 SOS 768150 HAS SOPS 768150 HAS SOUS 603520 HAS SOUPS 603520 WITH SCORE 604288.15
AT ITER 8451 NEW BEST:: SOT 4362709 SOS 768018 HAS SOPS 768018 HAS SOUS 603454 HAS SOUPS 603454 WITH SCORE 604222.018
AT ITER 8455 NEW BEST:: SOT 4362759 SOS 768118 HAS SOPS 768118 HAS SOUS 603406 HAS SOUPS 603406 WITH SCORE 604174.118
AT ITER 8472 NEW BEST:: SOT 4362577 SOS 767945 HAS SOPS 767945 HAS SOUS 603224 HAS SOUPS 603224 WITH SCORE 603991.945
AT ITER 8474 NEW BEST:: SOT 4362407 SOS 767789 HAS SOPS 767789 HAS SOUS 603068 HAS SOUPS 603068 WITH SCORE 603835.789
AT ITER 8484 NEW BEST:: SOT 4362324 SOS 767623 HAS SOPS 767623 HAS SOUS 602902 HAS SOUPS 602902 WITH SCORE 603669.623
AT ITER 8498 NEW BEST:: SOT 4362205 SOS 767147 HAS SOPS 767147 HAS SOUS 602545 HAS SOUPS 602545 WITH SCORE 603312.147
AT ITER 8500 NEW BEST:: SOT 4362238 SOS 767146 HAS SOPS 767146 HAS SOUS 602544 HAS SOUPS 602544 WITH SCORE 603311.146
AT ITER 8508 NEW BEST:: SOT 4362107 SOS 766884 HAS SOPS 766884 HAS SOUS 602410 HAS SOUPS 602410 WITH SCORE 603176.884
AT ITER 8526 NEW BEST:: SOT 4361938 SOS 766546 HAS SOPS 766546 HAS SOUS 602241 HAS SOUPS 602241 WITH SCORE 603007.546
AT ITER 8538 NEW BEST:: SOT 4361767 SOS 766204 HAS SOPS 766204 HAS SOUS 602005 HAS SOUPS 602005 WITH SCORE 602771.204
AT ITER 8547 NEW BEST:: SOT 4361633 SOS 765936 HAS SOPS 765936 HAS SOUS 601737 HAS SOUPS 601737 WITH SCORE 602502.936
AT ITER 8573 NEW BEST:: SOT 4361609 SOS 765888 HAS SOPS 765888 HAS SOUS 601561 HAS SOUPS 601561 WITH SCORE 602326.888
AT ITER 8600 NEW BEST:: SOT 4361495 SOS 765660 HAS SOPS 765660 HAS SOUS 601333 HAS SOUPS 601333 WITH SCORE 602098.66
AT ITER 8622 NEW BEST:: SOT 4361483 SOS 765636 HAS SOPS 765636 HAS SOUS 601321 HAS SOUPS 601321 WITH SCORE 602086.636
AT ITER 8631 NEW BEST:: SOT 4361564 SOS 765798 HAS SOPS 765798 HAS SOUS 601212 HAS SOUPS 601212 WITH SCORE 601977.798
AT ITER 8709 NEW BEST:: SOT 4361519 SOS 765708 HAS SOPS 765708 HAS SOUS 601167 HAS SOUPS 601167 WITH SCORE 601932.708
AT ITER 8726 NEW BEST:: SOT 4361512 SOS 765503 HAS SOPS 765503 HAS SOUS 601153 HAS SOUPS 601153 WITH SCORE 601918.503
AT ITER 8747 NEW BEST:: SOT 4361340 SOS 765731 HAS SOPS 765731 HAS SOUS 601124 HAS SOUPS 601124 WITH SCORE 601889.731
AT ITER 8752 NEW BEST:: SOT 4361296 SOS 765643 HAS SOPS 765643 HAS SOUS 601080 HAS SOUPS 601080 WITH SCORE 601845.643
AT ITER 8754 NEW BEST:: SOT 4361273 SOS 765597 HAS SOPS 765597 HAS SOUS 601057 HAS SOUPS 601057 WITH SCORE 601822.597
AT ITER 8768 NEW BEST:: SOT 4361222 SOS 765607 HAS SOPS 765607 HAS SOUS 601006 HAS SOUPS 601006 WITH SCORE 601771.607
AT ITER 8779 NEW BEST:: SOT 4361209 SOS 765581 HAS SOPS 765581 HAS SOUS 600998 HAS SOUPS 600998 WITH SCORE 601763.581
AT ITER 8833 NEW BEST:: SOT 4361095 SOS 765496 HAS SOPS 765496 HAS SOUS 600884 HAS SOUPS 600884 WITH SCORE 601649.496
AT ITER 8842 NEW BEST:: SOT 4361083 SOS 765472 HAS SOPS 765472 HAS SOUS 600860 HAS SOUPS 600860 WITH SCORE 601625.472
AT ITER 8856 NEW BEST:: SOT 4360131 SOS 767427 HAS SOPS 767427 HAS SOUS 600494 HAS SOUPS 600494 WITH SCORE 601261.427
AT ITER 8873 NEW BEST:: SOT 4360003 SOS 767171 HAS SOPS 767171 HAS SOUS 600366 HAS SOUPS 600366 WITH SCORE 601133.171
AT ITER 8890 NEW BEST:: SOT 4359604 SOS 767369 HAS SOPS 767369 HAS SOUS 599957 HAS SOUPS 599957 WITH SCORE 600724.369
AT ITER 8906 NEW BEST:: SOT 4359251 SOS 766282 HAS SOPS 766282 HAS SOUS 599223 HAS SOUPS 599223 WITH SCORE 599989.282
AT ITER 8908 NEW BEST:: SOT 4359198 SOS 766176 HAS SOPS 766176 HAS SOUS 599144 HAS SOUPS 599144 WITH SCORE 599910.176
AT ITER 8912 NEW BEST:: SOT 4359189 SOS 766158 HAS SOPS 766158 HAS SOUS 599135 HAS SOUPS 599135 WITH SCORE 599901.158
AT ITER 8942 NEW BEST:: SOT 4358939 SOS 766012 HAS SOPS 766012 HAS SOUS 598898 HAS SOUPS 598898 WITH SCORE 599664.012
AT ITER 8962 NEW BEST:: SOT 4358939 SOS 765943 HAS SOPS 765943 HAS SOUS 598898 HAS SOUPS 598898 WITH SCORE 599663.943
AT ITER 8984 NEW BEST:: SOT 4358939 SOS 765735 HAS SOPS 765735 HAS SOUS 598898 HAS SOUPS 598898 WITH SCORE 599663.735
AT ITER 9004 NEW BEST:: SOT 4358674 SOS 765205 HAS SOPS 765205 HAS SOUS 598683 HAS SOUPS 598683 WITH SCORE 599448.205
AT ITER 9043 NEW BEST:: SOT 4358188 SOS 763747 HAS SOPS 763747 HAS SOUS 598000 HAS SOUPS 598000 WITH SCORE 598763.747
AT ITER 9052 NEW BEST:: SOT 4357744 SOS 762859 HAS SOPS 762859 HAS SOUS 597145 HAS SOUPS 597145 WITH SCORE 597907.859
AT ITER 9080 NEW BEST:: SOT 4357632 SOS 762747 HAS SOPS 762747 HAS SOUS 597033 HAS SOUPS 597033 WITH SCORE 597795.747
AT ITER 9106 NEW BEST:: SOT 4357584 SOS 761027 HAS SOPS 761027 HAS SOUS 596937 HAS SOUPS 596937 WITH SCORE 597698.027
AT ITER 9109 NEW BEST:: SOT 4357574 SOS 761007 HAS SOPS 761007 HAS SOUS 596917 HAS SOUPS 596917 WITH SCORE 597678.007
AT ITER 9135 NEW BEST:: SOT 4355764 SOS 760593 HAS SOPS 760593 HAS SOUS 595775 HAS SOUPS 595775 WITH SCORE 596535.593
AT ITER 9150 NEW BEST:: SOT 4355688 SOS 760372 HAS SOPS 760372 HAS SOUS 595554 HAS SOUPS 595554 WITH SCORE 596314.372
AT ITER 9154 NEW BEST:: SOT 4355688 SOS 760335 HAS SOPS 760335 HAS SOUS 595554 HAS SOUPS 595554 WITH SCORE 596314.335
AT ITER 9181 NEW BEST:: SOT 4355506 SOS 760335 HAS SOPS 760335 HAS SOUS 595385 HAS SOUPS 595385 WITH SCORE 596145.335
AT ITER 9185 NEW BEST:: SOT 4355493 SOS 760322 HAS SOPS 760322 HAS SOUS 595372 HAS SOUPS 595372 WITH SCORE 596132.322
AT ITER 9186 NEW BEST:: SOT 4355355 SOS 760046 HAS SOPS 760046 HAS SOUS 595234 HAS SOUPS 595234 WITH SCORE 595994.046
AT ITER 9227 NEW BEST:: SOT 4355291 SOS 759918 HAS SOPS 759918 HAS SOUS 595230 HAS SOUPS 595230 WITH SCORE 595989.918
AT ITER 9228 NEW BEST:: SOT 4355229 SOS 759794 HAS SOPS 759794 HAS SOUS 595198 HAS SOUPS 595198 WITH SCORE 595957.794
AT ITER 9229 NEW BEST:: SOT 4355302 SOS 759540 HAS SOPS 759540 HAS SOUS 595171 HAS SOUPS 595171 WITH SCORE 595930.54
AT ITER 9252 NEW BEST:: SOT 4355214 SOS 759428 HAS SOPS 759428 HAS SOUS 595051 HAS SOUPS 595051 WITH SCORE 595810.428
AT ITER 9255 NEW BEST:: SOT 4355196 SOS 759410 HAS SOPS 759410 HAS SOUS 595033 HAS SOUPS 595033 WITH SCORE 595792.41
AT ITER 9265 NEW BEST:: SOT 4355196 SOS 759410 HAS SOPS 759410 HAS SOUS 594970 HAS SOUPS 594970 WITH SCORE 595729.41
AT ITER 9290 NEW BEST:: SOT 4355152 SOS 759322 HAS SOPS 759322 HAS SOUS 594882 HAS SOUPS 594882 WITH SCORE 595641.322
AT ITER 9331 NEW BEST:: SOT 4354835 SOS 759246 HAS SOPS 759246 HAS SOUS 594806 HAS SOUPS 594806 WITH SCORE 595565.246
AT ITER 9343 NEW BEST:: SOT 4354835 SOS 759365 HAS SOPS 759365 HAS SOUS 594790 HAS SOUPS 594790 WITH SCORE 595549.365
AT ITER 9352 NEW BEST:: SOT 4354756 SOS 759286 HAS SOPS 759286 HAS SOUS 594790 HAS SOUPS 594790 WITH SCORE 595549.286
AT ITER 9393 NEW BEST:: SOT 4354654 SOS 759082 HAS SOPS 759082 HAS SOUS 594372 HAS SOUPS 594372 WITH SCORE 595131.082
AT ITER 9410 NEW BEST:: SOT 4354573 SOS 758920 HAS SOPS 758920 HAS SOUS 594210 HAS SOUPS 594210 WITH SCORE 594968.92
AT ITER 9421 NEW BEST:: SOT 4354544 SOS 758862 HAS SOPS 758862 HAS SOUS 594165 HAS SOUPS 594165 WITH SCORE 594923.862
AT ITER 9448 NEW BEST:: SOT 4354484 SOS 758742 HAS SOPS 758742 HAS SOUS 594045 HAS SOUPS 594045 WITH SCORE 594803.742
AT ITER 9489 NEW BEST:: SOT 4354449 SOS 758636 HAS SOPS 758636 HAS SOUS 593939 HAS SOUPS 593939 WITH SCORE 594697.636
AT ITER 9506 NEW BEST:: SOT 4354448 SOS 758635 HAS SOPS 758635 HAS SOUS 593937 HAS SOUPS 593937 WITH SCORE 594695.635
AT ITER 9507 NEW BEST:: SOT 4354048 SOS 757835 HAS SOPS 757835 HAS SOUS 593650 HAS SOUPS 593650 WITH SCORE 594407.835
AT ITER 9528 NEW BEST:: SOT 4353974 SOS 757687 HAS SOPS 757687 HAS SOUS 593567 HAS SOUPS 593567 WITH SCORE 594324.687
AT ITER 9540 NEW BEST:: SOT 4353974 SOS 757567 HAS SOPS 757567 HAS SOUS 593507 HAS SOUPS 593507 WITH SCORE 594264.567
AT ITER 9579 NEW BEST:: SOT 4354088 SOS 757494 HAS SOPS 757494 HAS SOUS 593320 HAS SOUPS 593320 WITH SCORE 594077.494
AT ITER 9587 NEW BEST:: SOT 4353945 SOS 757550 HAS SOPS 757550 HAS SOUS 593275 HAS SOUPS 593275 WITH SCORE 594032.55
AT ITER 9609 NEW BEST:: SOT 4353940 SOS 757540 HAS SOPS 757540 HAS SOUS 593265 HAS SOUPS 593265 WITH SCORE 594022.54
AT ITER 9612 NEW BEST:: SOT 4353849 SOS 757358 HAS SOPS 757358 HAS SOUS 593083 HAS SOUPS 593083 WITH SCORE 593840.358
AT ITER 9617 NEW BEST:: SOT 4353628 SOS 756916 HAS SOPS 756916 HAS SOUS 592641 HAS SOUPS 592641 WITH SCORE 593397.916
AT ITER 9621 NEW BEST:: SOT 4353389 SOS 756048 HAS SOPS 756048 HAS SOUS 592087 HAS SOUPS 592087 WITH SCORE 592843.048
AT ITER 9640 NEW BEST:: SOT 4353380 SOS 756030 HAS SOPS 756030 HAS SOUS 592069 HAS SOUPS 592069 WITH SCORE 592825.03
AT ITER 9666 NEW BEST:: SOT 4353533 SOS 755908 HAS SOPS 755908 HAS SOUS 592034 HAS SOUPS 592034 WITH SCORE 592789.908
AT ITER 9696 NEW BEST:: SOT 4353471 SOS 755784 HAS SOPS 755784 HAS SOUS 591910 HAS SOUPS 591910 WITH SCORE 592665.784
AT ITER 9698 NEW BEST:: SOT 4353474 SOS 755790 HAS SOPS 755790 HAS SOUS 591685 HAS SOUPS 591685 WITH SCORE 592440.79
AT ITER 9703 NEW BEST:: SOT 4353195 SOS 755232 HAS SOPS 755232 HAS SOUS 591406 HAS SOUPS 591406 WITH SCORE 592161.232
AT ITER 9711 NEW BEST:: SOT 4352937 SOS 754716 HAS SOPS 754716 HAS SOUS 591148 HAS SOUPS 591148 WITH SCORE 591902.716
AT ITER 9737 NEW BEST:: SOT 4352917 SOS 754911 HAS SOPS 754911 HAS SOUS 591128 HAS SOUPS 591128 WITH SCORE 591882.911
AT ITER 9744 NEW BEST:: SOT 4352773 SOS 755190 HAS SOPS 755190 HAS SOUS 591051 HAS SOUPS 591051 WITH SCORE 591806.19
AT ITER 9767 NEW BEST:: SOT 4352773 SOS 754992 HAS SOPS 754992 HAS SOUS 591050 HAS SOUPS 591050 WITH SCORE 591804.992
AT ITER 9785 NEW BEST:: SOT 4352773 SOS 754917 HAS SOPS 754917 HAS SOUS 591050 HAS SOUPS 591050 WITH SCORE 591804.917
AT ITER 9791 NEW BEST:: SOT 4352748 SOS 754966 HAS SOPS 754966 HAS SOUS 591025 HAS SOUPS 591025 WITH SCORE 591779.966
AT ITER 9805 NEW BEST:: SOT 4352748 SOS 754818 HAS SOPS 754818 HAS SOUS 591025 HAS SOUPS 591025 WITH SCORE 591779.818
AT ITER 9811 NEW BEST:: SOT 4352870 SOS 754781 HAS SOPS 754781 HAS SOUS 590988 HAS SOUPS 590988 WITH SCORE 591742.781
AT ITER 9900 NEW BEST:: SOT 4352870 SOS 754763 HAS SOPS 754763 HAS SOUS 590970 HAS SOUPS 590970 WITH SCORE 591724.763
AT ITER 9918 NEW BEST:: SOT 4352873 SOS 754769 HAS SOPS 754769 HAS SOUS 590947 HAS SOUPS 590947 WITH SCORE 591701.769
AT ITER 9945 NEW BEST:: SOT 4352873 SOS 754684 HAS SOPS 754684 HAS SOUS 590862 HAS SOUPS 590862 WITH SCORE 591616.684
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 11969920 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16154804 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-309"
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-309, 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-167814471900072"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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