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.r107-tall-167814483700064.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 smartxred
Input is CloudReconfiguration-PT-308, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r107-tall-167814483700064
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.2M
-rw-r--r-- 1 mcc users 6.3K Feb 25 11:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 64K Feb 25 11:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Feb 25 11:49 CTLFireability.txt
-rw-r--r-- 1 mcc users 52K 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 4.1K 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.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 15K Feb 25 11:50 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 161K Feb 25 11:50 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.2K Feb 25 11:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 68K 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 1678321594981

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=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=CloudReconfiguration-PT-308
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 00:26:36] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 00:26:36] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 00:26:36] [INFO ] Load time of PNML (sax parser for PT used): 121 ms
[2023-03-09 00:26:36] [INFO ] Transformed 2585 places.
[2023-03-09 00:26:36] [INFO ] Transformed 3095 transitions.
[2023-03-09 00:26:36] [INFO ] Found NUPN structural information;
[2023-03-09 00:26:36] [INFO ] Parsed PT model containing 2585 places and 3095 transitions and 6463 arcs in 254 ms.
[2023-03-09 00:26:36] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 2585 places, 3095 transitions and 6463 arcs took 25 ms.
Total runtime 311 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 308
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/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 6 NEW BEST:: SOT 4443229 SOS 758779 HAS SOPS 758779 HAS SOUS 699801 HAS SOUPS 699801 WITH SCORE 700559.779
AT ITER 10 NEW BEST:: SOT 4443343 SOS 759007 HAS SOPS 759007 HAS SOUS 699689 HAS SOUPS 699689 WITH SCORE 700448.007
AT ITER 36 NEW BEST:: SOT 4443504 SOS 758960 HAS SOPS 758960 HAS SOUS 699642 HAS SOUPS 699642 WITH SCORE 700400.96
AT ITER 43 NEW BEST:: SOT 4443504 SOS 758926 HAS SOPS 758926 HAS SOUS 699641 HAS SOUPS 699641 WITH SCORE 700399.926
AT ITER 45 NEW BEST:: SOT 4443503 SOS 758924 HAS SOPS 758924 HAS SOUS 699640 HAS SOUPS 699640 WITH SCORE 700398.924
AT ITER 81 NEW BEST:: SOT 4443503 SOS 758924 HAS SOPS 758924 HAS SOUS 699525 HAS SOUPS 699525 WITH SCORE 700283.924
AT ITER 124 NEW BEST:: SOT 4443484 SOS 758886 HAS SOPS 758886 HAS SOUS 699221 HAS SOUPS 699221 WITH SCORE 699979.886
AT ITER 129 NEW BEST:: SOT 4441846 SOS 757087 HAS SOPS 757087 HAS SOUS 697422 HAS SOUPS 697422 WITH SCORE 698179.087
AT ITER 153 NEW BEST:: SOT 4441692 SOS 757137 HAS SOPS 757137 HAS SOUS 697339 HAS SOUPS 697339 WITH SCORE 698096.137
AT ITER 211 NEW BEST:: SOT 4441651 SOS 757055 HAS SOPS 757055 HAS SOUS 697257 HAS SOUPS 697257 WITH SCORE 698014.055
AT ITER 212 NEW BEST:: SOT 4441651 SOS 756783 HAS SOPS 756783 HAS SOUS 696985 HAS SOUPS 696985 WITH SCORE 697741.783
AT ITER 243 NEW BEST:: SOT 4441661 SOS 756803 HAS SOPS 756803 HAS SOUS 696866 HAS SOUPS 696866 WITH SCORE 697622.803
AT ITER 292 NEW BEST:: SOT 4441661 SOS 756803 HAS SOPS 756803 HAS SOUS 696865 HAS SOUPS 696865 WITH SCORE 697621.803
AT ITER 305 NEW BEST:: SOT 4441449 SOS 756701 HAS SOPS 756701 HAS SOUS 696762 HAS SOUPS 696762 WITH SCORE 697518.701
AT ITER 314 NEW BEST:: SOT 4441087 SOS 756643 HAS SOPS 756643 HAS SOUS 696622 HAS SOUPS 696622 WITH SCORE 697378.643
AT ITER 318 NEW BEST:: SOT 4441077 SOS 756623 HAS SOPS 756623 HAS SOUS 696602 HAS SOUPS 696602 WITH SCORE 697358.623
AT ITER 380 NEW BEST:: SOT 4440850 SOS 756523 HAS SOPS 756523 HAS SOUS 696375 HAS SOUPS 696375 WITH SCORE 697131.523
AT ITER 402 NEW BEST:: SOT 4440816 SOS 756404 HAS SOPS 756404 HAS SOUS 696307 HAS SOUPS 696307 WITH SCORE 697063.404
AT ITER 413 NEW BEST:: SOT 4440816 SOS 756404 HAS SOPS 756404 HAS SOUS 696204 HAS SOUPS 696204 WITH SCORE 696960.404
AT ITER 422 NEW BEST:: SOT 4440816 SOS 756351 HAS SOPS 756351 HAS SOUS 696151 HAS SOUPS 696151 WITH SCORE 696907.351
AT ITER 471 NEW BEST:: SOT 4441002 SOS 756338 HAS SOPS 756338 HAS SOUS 696140 HAS SOUPS 696140 WITH SCORE 696896.338
AT ITER 477 NEW BEST:: SOT 4441002 SOS 755974 HAS SOPS 755974 HAS SOUS 695776 HAS SOUPS 695776 WITH SCORE 696531.974
AT ITER 479 NEW BEST:: SOT 4437875 SOS 786667 HAS SOPS 786667 HAS SOUS 694721 HAS SOUPS 694721 WITH SCORE 695507.667
AT ITER 491 NEW BEST:: SOT 4437603 SOS 786395 HAS SOPS 786395 HAS SOUS 694449 HAS SOUPS 694449 WITH SCORE 695235.395
AT ITER 502 NEW BEST:: SOT 4437507 SOS 786321 HAS SOPS 786321 HAS SOUS 694375 HAS SOUPS 694375 WITH SCORE 695161.321
AT ITER 529 NEW BEST:: SOT 4437285 SOS 786237 HAS SOPS 786237 HAS SOUS 694231 HAS SOUPS 694231 WITH SCORE 695017.237
AT ITER 555 NEW BEST:: SOT 4437285 SOS 786072 HAS SOPS 786072 HAS SOUS 694066 HAS SOUPS 694066 WITH SCORE 694852.072
AT ITER 574 NEW BEST:: SOT 4436838 SOS 785456 HAS SOPS 785456 HAS SOUS 693391 HAS SOUPS 693391 WITH SCORE 694176.456
AT ITER 584 NEW BEST:: SOT 4436567 SOS 784914 HAS SOPS 784914 HAS SOUS 692849 HAS SOUPS 692849 WITH SCORE 693633.914
AT ITER 588 NEW BEST:: SOT 4436446 SOS 784518 HAS SOPS 784518 HAS SOUS 692728 HAS SOUPS 692728 WITH SCORE 693512.518
AT ITER 701 NEW BEST:: SOT 4436162 SOS 784706 HAS SOPS 784706 HAS SOUS 692675 HAS SOUPS 692675 WITH SCORE 693459.706
AT ITER 736 NEW BEST:: SOT 4436154 SOS 784703 HAS SOPS 784703 HAS SOUS 692667 HAS SOUPS 692667 WITH SCORE 693451.703
AT ITER 738 NEW BEST:: SOT 4436133 SOS 784682 HAS SOPS 784682 HAS SOUS 692646 HAS SOUPS 692646 WITH SCORE 693430.682
AT ITER 753 NEW BEST:: SOT 4436504 SOS 785365 HAS SOPS 785365 HAS SOUS 692634 HAS SOUPS 692634 WITH SCORE 693419.365
AT ITER 759 NEW BEST:: SOT 4436571 SOS 785239 HAS SOPS 785239 HAS SOUS 692603 HAS SOUPS 692603 WITH SCORE 693388.239
AT ITER 764 NEW BEST:: SOT 4436571 SOS 785239 HAS SOPS 785239 HAS SOUS 692477 HAS SOUPS 692477 WITH SCORE 693262.239
AT ITER 790 NEW BEST:: SOT 4436571 SOS 785061 HAS SOPS 785061 HAS SOUS 692299 HAS SOUPS 692299 WITH SCORE 693084.061
AT ITER 792 NEW BEST:: SOT 4436571 SOS 784649 HAS SOPS 784649 HAS SOUS 692299 HAS SOUPS 692299 WITH SCORE 693083.649
AT ITER 833 NEW BEST:: SOT 4436570 SOS 784647 HAS SOPS 784647 HAS SOUS 692297 HAS SOUPS 692297 WITH SCORE 693081.647
AT ITER 843 NEW BEST:: SOT 4436570 SOS 784563 HAS SOPS 784563 HAS SOUS 692297 HAS SOUPS 692297 WITH SCORE 693081.563
AT ITER 845 NEW BEST:: SOT 4435888 SOS 784621 HAS SOPS 784621 HAS SOUS 691667 HAS SOUPS 691667 WITH SCORE 692451.621
AT ITER 883 NEW BEST:: SOT 4427798 SOS 854793 HAS SOPS 854793 HAS SOUS 687355 HAS SOUPS 687355 WITH SCORE 688209.793
AT ITER 904 NEW BEST:: SOT 4427798 SOS 854553 HAS SOPS 854553 HAS SOUS 687355 HAS SOUPS 687355 WITH SCORE 688209.553
AT ITER 914 NEW BEST:: SOT 4427572 SOS 854933 HAS SOPS 854933 HAS SOUS 686953 HAS SOUPS 686953 WITH SCORE 687807.933
AT ITER 919 NEW BEST:: SOT 4427553 SOS 854895 HAS SOPS 854895 HAS SOUS 686915 HAS SOUPS 686915 WITH SCORE 687769.895
AT ITER 943 NEW BEST:: SOT 4427083 SOS 854281 HAS SOPS 854281 HAS SOUS 686203 HAS SOUPS 686203 WITH SCORE 687057.281
AT ITER 990 NEW BEST:: SOT 4427005 SOS 854125 HAS SOPS 854125 HAS SOUS 685824 HAS SOUPS 685824 WITH SCORE 686678.125
AT ITER 1048 NEW BEST:: SOT 4427002 SOS 854119 HAS SOPS 854119 HAS SOUS 685821 HAS SOUPS 685821 WITH SCORE 686675.119
AT ITER 1064 NEW BEST:: SOT 4427527 SOS 822182 HAS SOPS 822182 HAS SOUS 685670 HAS SOUPS 685670 WITH SCORE 686492.182
AT ITER 1079 NEW BEST:: SOT 4427080 SOS 821868 HAS SOPS 821868 HAS SOUS 685267 HAS SOUPS 685267 WITH SCORE 686088.868
AT ITER 1089 NEW BEST:: SOT 4426586 SOS 821488 HAS SOPS 821488 HAS SOUS 684610 HAS SOUPS 684610 WITH SCORE 685431.488
AT ITER 1091 NEW BEST:: SOT 4426586 SOS 821441 HAS SOPS 821441 HAS SOUS 684608 HAS SOUPS 684608 WITH SCORE 685429.441
AT ITER 1092 NEW BEST:: SOT 4426410 SOS 821368 HAS SOPS 821368 HAS SOUS 684446 HAS SOUPS 684446 WITH SCORE 685267.368
AT ITER 1127 NEW BEST:: SOT 4426410 SOS 821279 HAS SOPS 821279 HAS SOUS 684446 HAS SOUPS 684446 WITH SCORE 685267.279
AT ITER 1150 NEW BEST:: SOT 4426376 SOS 821211 HAS SOPS 821211 HAS SOUS 684378 HAS SOUPS 684378 WITH SCORE 685199.211
AT ITER 1177 NEW BEST:: SOT 4426289 SOS 821124 HAS SOPS 821124 HAS SOUS 684291 HAS SOUPS 684291 WITH SCORE 685112.124
AT ITER 1182 NEW BEST:: SOT 4426289 SOS 820973 HAS SOPS 820973 HAS SOUS 684288 HAS SOUPS 684288 WITH SCORE 685108.973
AT ITER 1213 NEW BEST:: SOT 4426289 SOS 820968 HAS SOPS 820968 HAS SOUS 684288 HAS SOUPS 684288 WITH SCORE 685108.968
AT ITER 1243 NEW BEST:: SOT 4426289 SOS 820968 HAS SOPS 820968 HAS SOUS 684287 HAS SOUPS 684287 WITH SCORE 685107.968
AT ITER 1264 NEW BEST:: SOT 4426289 SOS 820832 HAS SOPS 820832 HAS SOUS 684287 HAS SOUPS 684287 WITH SCORE 685107.832
AT ITER 1285 NEW BEST:: SOT 4426321 SOS 820653 HAS SOPS 820653 HAS SOUS 684108 HAS SOUPS 684108 WITH SCORE 684928.653
AT ITER 1311 NEW BEST:: SOT 4426087 SOS 820185 HAS SOPS 820185 HAS SOUS 683640 HAS SOUPS 683640 WITH SCORE 684460.185
AT ITER 1318 NEW BEST:: SOT 4425958 SOS 819927 HAS SOPS 819927 HAS SOUS 683382 HAS SOUPS 683382 WITH SCORE 684201.927
AT ITER 1323 NEW BEST:: SOT 4425948 SOS 820074 HAS SOPS 820074 HAS SOUS 683205 HAS SOUPS 683205 WITH SCORE 684025.074
AT ITER 1341 NEW BEST:: SOT 4425797 SOS 819923 HAS SOPS 819923 HAS SOUS 683205 HAS SOUPS 683205 WITH SCORE 684024.923
AT ITER 1364 NEW BEST:: SOT 4425623 SOS 819749 HAS SOPS 819749 HAS SOUS 683031 HAS SOUPS 683031 WITH SCORE 683850.749
AT ITER 1371 NEW BEST:: SOT 4425622 SOS 819683 HAS SOPS 819683 HAS SOUS 683029 HAS SOUPS 683029 WITH SCORE 683848.683
AT ITER 1372 NEW BEST:: SOT 4425575 SOS 819589 HAS SOPS 819589 HAS SOUS 682874 HAS SOUPS 682874 WITH SCORE 683693.589
AT ITER 1381 NEW BEST:: SOT 4425573 SOS 819585 HAS SOPS 819585 HAS SOUS 682871 HAS SOUPS 682871 WITH SCORE 683690.585
AT ITER 1403 NEW BEST:: SOT 4425573 SOS 819446 HAS SOPS 819446 HAS SOUS 682732 HAS SOUPS 682732 WITH SCORE 683551.446
AT ITER 1409 NEW BEST:: SOT 4425573 SOS 819308 HAS SOPS 819308 HAS SOUS 682732 HAS SOUPS 682732 WITH SCORE 683551.308
AT ITER 1410 NEW BEST:: SOT 4425573 SOS 819308 HAS SOPS 819308 HAS SOUS 682467 HAS SOUPS 682467 WITH SCORE 683286.308
AT ITER 1425 NEW BEST:: SOT 4424860 SOS 818458 HAS SOPS 818458 HAS SOUS 681727 HAS SOUPS 681727 WITH SCORE 682545.458
AT ITER 1436 NEW BEST:: SOT 4424816 SOS 818370 HAS SOPS 818370 HAS SOUS 681680 HAS SOUPS 681680 WITH SCORE 682498.37
AT ITER 1465 NEW BEST:: SOT 4424703 SOS 818263 HAS SOPS 818263 HAS SOUS 681573 HAS SOUPS 681573 WITH SCORE 682391.263
AT ITER 1479 NEW BEST:: SOT 4424588 SOS 818033 HAS SOPS 818033 HAS SOUS 681563 HAS SOUPS 681563 WITH SCORE 682381.033
AT ITER 1507 NEW BEST:: SOT 4424515 SOS 817960 HAS SOPS 817960 HAS SOUS 681490 HAS SOUPS 681490 WITH SCORE 682307.96
AT ITER 1516 NEW BEST:: SOT 4424345 SOS 817790 HAS SOPS 817790 HAS SOUS 681320 HAS SOUPS 681320 WITH SCORE 682137.79
AT ITER 1526 NEW BEST:: SOT 4424133 SOS 817578 HAS SOPS 817578 HAS SOUS 681108 HAS SOUPS 681108 WITH SCORE 681925.578
AT ITER 1529 NEW BEST:: SOT 4424050 SOS 817412 HAS SOPS 817412 HAS SOUS 680942 HAS SOUPS 680942 WITH SCORE 681759.412
AT ITER 1537 NEW BEST:: SOT 4423911 SOS 817353 HAS SOPS 817353 HAS SOUS 680849 HAS SOUPS 680849 WITH SCORE 681666.353
AT ITER 1561 NEW BEST:: SOT 4423924 SOS 817352 HAS SOPS 817352 HAS SOUS 680848 HAS SOUPS 680848 WITH SCORE 681665.352
AT ITER 1616 NEW BEST:: SOT 4423924 SOS 817348 HAS SOPS 817348 HAS SOUS 680844 HAS SOUPS 680844 WITH SCORE 681661.348
AT ITER 1626 NEW BEST:: SOT 4423883 SOS 817307 HAS SOPS 817307 HAS SOUS 680803 HAS SOUPS 680803 WITH SCORE 681620.307
AT ITER 1648 NEW BEST:: SOT 4423883 SOS 817277 HAS SOPS 817277 HAS SOUS 680773 HAS SOUPS 680773 WITH SCORE 681590.277
AT ITER 1682 NEW BEST:: SOT 4423867 SOS 817245 HAS SOPS 817245 HAS SOUS 680698 HAS SOUPS 680698 WITH SCORE 681515.245
AT ITER 1689 NEW BEST:: SOT 4423755 SOS 817021 HAS SOPS 817021 HAS SOUS 680204 HAS SOUPS 680204 WITH SCORE 681021.021
AT ITER 1712 NEW BEST:: SOT 4423755 SOS 816685 HAS SOPS 816685 HAS SOUS 680204 HAS SOUPS 680204 WITH SCORE 681020.685
AT ITER 1715 NEW BEST:: SOT 4423948 SOS 816972 HAS SOPS 816972 HAS SOUS 680170 HAS SOUPS 680170 WITH SCORE 680986.972
AT ITER 1748 NEW BEST:: SOT 4423739 SOS 816554 HAS SOPS 816554 HAS SOUS 679752 HAS SOUPS 679752 WITH SCORE 680568.554
AT ITER 1762 NEW BEST:: SOT 4423639 SOS 816430 HAS SOPS 816430 HAS SOUS 679576 HAS SOUPS 679576 WITH SCORE 680392.43
AT ITER 1769 NEW BEST:: SOT 4423394 SOS 815940 HAS SOPS 815940 HAS SOUS 678558 HAS SOUPS 678558 WITH SCORE 679373.94
AT ITER 1770 NEW BEST:: SOT 4423310 SOS 815772 HAS SOPS 815772 HAS SOUS 678390 HAS SOUPS 678390 WITH SCORE 679205.772
AT ITER 1776 NEW BEST:: SOT 4423155 SOS 815640 HAS SOPS 815640 HAS SOUS 678258 HAS SOUPS 678258 WITH SCORE 679073.64
AT ITER 1777 NEW BEST:: SOT 4422850 SOS 815335 HAS SOPS 815335 HAS SOUS 677953 HAS SOUPS 677953 WITH SCORE 678768.335
AT ITER 1801 NEW BEST:: SOT 4422820 SOS 815305 HAS SOPS 815305 HAS SOUS 677923 HAS SOUPS 677923 WITH SCORE 678738.305
AT ITER 1805 NEW BEST:: SOT 4422814 SOS 815299 HAS SOPS 815299 HAS SOUS 677922 HAS SOUPS 677922 WITH SCORE 678737.299
AT ITER 1806 NEW BEST:: SOT 4422699 SOS 815184 HAS SOPS 815184 HAS SOUS 677807 HAS SOUPS 677807 WITH SCORE 678622.184
AT ITER 1825 NEW BEST:: SOT 4422451 SOS 814936 HAS SOPS 814936 HAS SOUS 677559 HAS SOUPS 677559 WITH SCORE 678373.936
AT ITER 1847 NEW BEST:: SOT 4422450 SOS 814934 HAS SOPS 814934 HAS SOUS 677557 HAS SOUPS 677557 WITH SCORE 678371.934
AT ITER 1876 NEW BEST:: SOT 4422223 SOS 814740 HAS SOPS 814740 HAS SOUS 677363 HAS SOUPS 677363 WITH SCORE 678177.74
AT ITER 1904 NEW BEST:: SOT 4422113 SOS 815008 HAS SOPS 815008 HAS SOUS 677253 HAS SOUPS 677253 WITH SCORE 678068.008
AT ITER 1912 NEW BEST:: SOT 4422113 SOS 814983 HAS SOPS 814983 HAS SOUS 677253 HAS SOUPS 677253 WITH SCORE 678067.983
AT ITER 1933 NEW BEST:: SOT 4422112 SOS 814981 HAS SOPS 814981 HAS SOUS 677251 HAS SOUPS 677251 WITH SCORE 678065.981
AT ITER 1946 NEW BEST:: SOT 4422015 SOS 814787 HAS SOPS 814787 HAS SOUS 677057 HAS SOUPS 677057 WITH SCORE 677871.787
AT ITER 1954 NEW BEST:: SOT 4422015 SOS 814439 HAS SOPS 814439 HAS SOUS 676883 HAS SOUPS 676883 WITH SCORE 677697.439
AT ITER 1956 NEW BEST:: SOT 4422015 SOS 814343 HAS SOPS 814343 HAS SOUS 676883 HAS SOUPS 676883 WITH SCORE 677697.343
AT ITER 1961 NEW BEST:: SOT 4422014 SOS 814341 HAS SOPS 814341 HAS SOUS 676881 HAS SOUPS 676881 WITH SCORE 677695.341
AT ITER 1969 NEW BEST:: SOT 4421843 SOS 814170 HAS SOPS 814170 HAS SOUS 676710 HAS SOUPS 676710 WITH SCORE 677524.17
AT ITER 1977 NEW BEST:: SOT 4421808 SOS 814065 HAS SOPS 814065 HAS SOUS 676640 HAS SOUPS 676640 WITH SCORE 677454.065
AT ITER 1981 NEW BEST:: SOT 4421759 SOS 814016 HAS SOPS 814016 HAS SOUS 676591 HAS SOUPS 676591 WITH SCORE 677405.016
AT ITER 2038 NEW BEST:: SOT 4421771 SOS 814040 HAS SOPS 814040 HAS SOUS 676522 HAS SOUPS 676522 WITH SCORE 677336.04
AT ITER 2065 NEW BEST:: SOT 4421522 SOS 814082 HAS SOPS 814082 HAS SOUS 676189 HAS SOUPS 676189 WITH SCORE 677003.082
AT ITER 2069 NEW BEST:: SOT 4421460 SOS 813958 HAS SOPS 813958 HAS SOUS 676065 HAS SOUPS 676065 WITH SCORE 676878.958
AT ITER 2071 NEW BEST:: SOT 4421460 SOS 813855 HAS SOPS 813855 HAS SOUS 676064 HAS SOUPS 676064 WITH SCORE 676877.855
AT ITER 2076 NEW BEST:: SOT 4421223 SOS 813618 HAS SOPS 813618 HAS SOUS 675827 HAS SOUPS 675827 WITH SCORE 676640.618
AT ITER 2117 NEW BEST:: SOT 4420631 SOS 817149 HAS SOPS 817149 HAS SOUS 675772 HAS SOUPS 675772 WITH SCORE 676589.149
AT ITER 2120 NEW BEST:: SOT 4419295 SOS 818845 HAS SOPS 818845 HAS SOUS 675174 HAS SOUPS 675174 WITH SCORE 675992.845
AT ITER 2136 NEW BEST:: SOT 4419295 SOS 818744 HAS SOPS 818744 HAS SOUS 675174 HAS SOUPS 675174 WITH SCORE 675992.744
AT ITER 2166 NEW BEST:: SOT 4419161 SOS 817920 HAS SOPS 817920 HAS SOUS 674557 HAS SOUPS 674557 WITH SCORE 675374.92
AT ITER 2180 NEW BEST:: SOT 4419241 SOS 818080 HAS SOPS 818080 HAS SOUS 674398 HAS SOUPS 674398 WITH SCORE 675216.08
AT ITER 2191 NEW BEST:: SOT 4418968 SOS 817534 HAS SOPS 817534 HAS SOUS 673852 HAS SOUPS 673852 WITH SCORE 674669.534
AT ITER 2214 NEW BEST:: SOT 4418968 SOS 817472 HAS SOPS 817472 HAS SOUS 673790 HAS SOUPS 673790 WITH SCORE 674607.472
AT ITER 2222 NEW BEST:: SOT 4418875 SOS 817286 HAS SOPS 817286 HAS SOUS 673604 HAS SOUPS 673604 WITH SCORE 674421.286
AT ITER 2240 NEW BEST:: SOT 4418673 SOS 817084 HAS SOPS 817084 HAS SOUS 673402 HAS SOUPS 673402 WITH SCORE 674219.084
AT ITER 2241 NEW BEST:: SOT 4418479 SOS 816696 HAS SOPS 816696 HAS SOUS 673014 HAS SOUPS 673014 WITH SCORE 673830.696
AT ITER 2248 NEW BEST:: SOT 4418479 SOS 816475 HAS SOPS 816475 HAS SOUS 672912 HAS SOUPS 672912 WITH SCORE 673728.475
AT ITER 2264 NEW BEST:: SOT 4418285 SOS 816281 HAS SOPS 816281 HAS SOUS 672718 HAS SOUPS 672718 WITH SCORE 673534.281
AT ITER 2269 NEW BEST:: SOT 4418078 SOS 816074 HAS SOPS 816074 HAS SOUS 672511 HAS SOUPS 672511 WITH SCORE 673327.074
AT ITER 2307 NEW BEST:: SOT 4418078 SOS 816021 HAS SOPS 816021 HAS SOUS 672510 HAS SOUPS 672510 WITH SCORE 673326.021
AT ITER 2330 NEW BEST:: SOT 4417686 SOS 815939 HAS SOPS 815939 HAS SOUS 671968 HAS SOUPS 671968 WITH SCORE 672783.939
AT ITER 2368 NEW BEST:: SOT 4417658 SOS 815883 HAS SOPS 815883 HAS SOUS 671912 HAS SOUPS 671912 WITH SCORE 672727.883
AT ITER 2379 NEW BEST:: SOT 4417658 SOS 815883 HAS SOPS 815883 HAS SOUS 671881 HAS SOUPS 671881 WITH SCORE 672696.883
AT ITER 2387 NEW BEST:: SOT 4417568 SOS 815703 HAS SOPS 815703 HAS SOUS 671701 HAS SOUPS 671701 WITH SCORE 672516.703
AT ITER 2406 NEW BEST:: SOT 4417342 SOS 815477 HAS SOPS 815477 HAS SOUS 671475 HAS SOUPS 671475 WITH SCORE 672290.477
AT ITER 2412 NEW BEST:: SOT 4416957 SOS 815092 HAS SOPS 815092 HAS SOUS 671090 HAS SOUPS 671090 WITH SCORE 671905.092
AT ITER 2423 NEW BEST:: SOT 4407171 SOS 805698 HAS SOPS 805698 HAS SOUS 661891 HAS SOUPS 661891 WITH SCORE 662696.698
AT ITER 2431 NEW BEST:: SOT 4407152 SOS 805692 HAS SOPS 805692 HAS SOUS 661872 HAS SOUPS 661872 WITH SCORE 662677.692
AT ITER 2433 NEW BEST:: SOT 4406880 SOS 804646 HAS SOPS 804646 HAS SOUS 661704 HAS SOUPS 661704 WITH SCORE 662508.646
AT ITER 2454 NEW BEST:: SOT 4406880 SOS 804546 HAS SOPS 804546 HAS SOUS 661704 HAS SOUPS 661704 WITH SCORE 662508.546
AT ITER 2500 NEW BEST:: SOT 4406789 SOS 804364 HAS SOPS 804364 HAS SOUS 661522 HAS SOUPS 661522 WITH SCORE 662326.364
AT ITER 2512 NEW BEST:: SOT 4406716 SOS 804218 HAS SOPS 804218 HAS SOUS 661449 HAS SOUPS 661449 WITH SCORE 662253.218
AT ITER 2542 NEW BEST:: SOT 4406716 SOS 799307 HAS SOPS 799307 HAS SOUS 661449 HAS SOUPS 661449 WITH SCORE 662248.307
AT ITER 2570 NEW BEST:: SOT 4406577 SOS 799168 HAS SOPS 799168 HAS SOUS 661448 HAS SOUPS 661448 WITH SCORE 662247.168
AT ITER 2615 NEW BEST:: SOT 4406577 SOS 799144 HAS SOPS 799144 HAS SOUS 661412 HAS SOUPS 661412 WITH SCORE 662211.144
AT ITER 2669 NEW BEST:: SOT 4406483 SOS 799003 HAS SOPS 799003 HAS SOUS 661271 HAS SOUPS 661271 WITH SCORE 662070.003
AT ITER 2685 NEW BEST:: SOT 4406579 SOS 798878 HAS SOPS 798878 HAS SOUS 661050 HAS SOUPS 661050 WITH SCORE 661848.878
AT ITER 2686 NEW BEST:: SOT 4400545 SOS 807138 HAS SOPS 807138 HAS SOUS 655035 HAS SOUPS 655035 WITH SCORE 655842.138
AT ITER 2716 NEW BEST:: SOT 4400476 SOS 806894 HAS SOPS 806894 HAS SOUS 654745 HAS SOUPS 654745 WITH SCORE 655551.894
AT ITER 2736 NEW BEST:: SOT 4400288 SOS 806518 HAS SOPS 806518 HAS SOUS 654369 HAS SOUPS 654369 WITH SCORE 655175.518
AT ITER 2739 NEW BEST:: SOT 4400105 SOS 806152 HAS SOPS 806152 HAS SOUS 653935 HAS SOUPS 653935 WITH SCORE 654741.152
AT ITER 2756 NEW BEST:: SOT 4400105 SOS 805912 HAS SOPS 805912 HAS SOUS 653935 HAS SOUPS 653935 WITH SCORE 654740.912
AT ITER 2759 NEW BEST:: SOT 4400235 SOS 805836 HAS SOPS 805836 HAS SOUS 653859 HAS SOUPS 653859 WITH SCORE 654664.836
AT ITER 2765 NEW BEST:: SOT 4400174 SOS 805620 HAS SOPS 805620 HAS SOUS 653798 HAS SOUPS 653798 WITH SCORE 654603.62
AT ITER 2779 NEW BEST:: SOT 4400061 SOS 805394 HAS SOPS 805394 HAS SOUS 653572 HAS SOUPS 653572 WITH SCORE 654377.394
AT ITER 2782 NEW BEST:: SOT 4400056 SOS 806095 HAS SOPS 806095 HAS SOUS 653567 HAS SOUPS 653567 WITH SCORE 654373.095
AT ITER 2788 NEW BEST:: SOT 4399880 SOS 805743 HAS SOPS 805743 HAS SOUS 653215 HAS SOUPS 653215 WITH SCORE 654020.743
AT ITER 2790 NEW BEST:: SOT 4399770 SOS 805633 HAS SOPS 805633 HAS SOUS 653105 HAS SOUPS 653105 WITH SCORE 653910.633
AT ITER 2793 NEW BEST:: SOT 4399770 SOS 805330 HAS SOPS 805330 HAS SOUS 652802 HAS SOUPS 652802 WITH SCORE 653607.33
AT ITER 2809 NEW BEST:: SOT 4399557 SOS 805176 HAS SOPS 805176 HAS SOUS 652317 HAS SOUPS 652317 WITH SCORE 653122.176
AT ITER 2843 NEW BEST:: SOT 4399499 SOS 805118 HAS SOPS 805118 HAS SOUS 652201 HAS SOUPS 652201 WITH SCORE 653006.118
AT ITER 2844 NEW BEST:: SOT 4399440 SOS 805000 HAS SOPS 805000 HAS SOUS 651942 HAS SOUPS 651942 WITH SCORE 652747.0
AT ITER 2847 NEW BEST:: SOT 4399385 SOS 804957 HAS SOPS 804957 HAS SOUS 651895 HAS SOUPS 651895 WITH SCORE 652699.957
AT ITER 2866 NEW BEST:: SOT 4399474 SOS 804882 HAS SOPS 804882 HAS SOUS 651820 HAS SOUPS 651820 WITH SCORE 652624.882
AT ITER 2882 NEW BEST:: SOT 4399443 SOS 804851 HAS SOPS 804851 HAS SOUS 651789 HAS SOUPS 651789 WITH SCORE 652593.851
AT ITER 2896 NEW BEST:: SOT 4399442 SOS 804732 HAS SOPS 804732 HAS SOUS 651787 HAS SOUPS 651787 WITH SCORE 652591.732
AT ITER 2922 NEW BEST:: SOT 4399314 SOS 804763 HAS SOPS 804763 HAS SOUS 651743 HAS SOUPS 651743 WITH SCORE 652547.763
AT ITER 2926 NEW BEST:: SOT 4399287 SOS 804615 HAS SOPS 804615 HAS SOUS 651743 HAS SOUPS 651743 WITH SCORE 652547.615
AT ITER 2934 NEW BEST:: SOT 4399301 SOS 804643 HAS SOPS 804643 HAS SOUS 651740 HAS SOUPS 651740 WITH SCORE 652544.643
AT ITER 2937 NEW BEST:: SOT 4399300 SOS 804468 HAS SOPS 804468 HAS SOUS 651506 HAS SOUPS 651506 WITH SCORE 652310.468
AT ITER 2949 NEW BEST:: SOT 4399474 SOS 804533 HAS SOPS 804533 HAS SOUS 651397 HAS SOUPS 651397 WITH SCORE 652201.533
AT ITER 2952 NEW BEST:: SOT 4399454 SOS 804533 HAS SOPS 804533 HAS SOUS 651388 HAS SOUPS 651388 WITH SCORE 652192.533
AT ITER 2959 NEW BEST:: SOT 4399260 SOS 804339 HAS SOPS 804339 HAS SOUS 651194 HAS SOUPS 651194 WITH SCORE 651998.339
AT ITER 2964 NEW BEST:: SOT 4399244 SOS 804307 HAS SOPS 804307 HAS SOUS 651162 HAS SOUPS 651162 WITH SCORE 651966.307
AT ITER 2966 NEW BEST:: SOT 4399105 SOS 804029 HAS SOPS 804029 HAS SOUS 650884 HAS SOUPS 650884 WITH SCORE 651688.029
AT ITER 2981 NEW BEST:: SOT 4399104 SOS 803872 HAS SOPS 803872 HAS SOUS 650882 HAS SOUPS 650882 WITH SCORE 651685.872
AT ITER 2991 NEW BEST:: SOT 4399100 SOS 804248 HAS SOPS 804248 HAS SOUS 650878 HAS SOUPS 650878 WITH SCORE 651682.248
AT ITER 2998 NEW BEST:: SOT 4398939 SOS 803926 HAS SOPS 803926 HAS SOUS 650556 HAS SOUPS 650556 WITH SCORE 651359.926
AT ITER 3023 NEW BEST:: SOT 4398939 SOS 803647 HAS SOPS 803647 HAS SOUS 650556 HAS SOUPS 650556 WITH SCORE 651359.647
AT ITER 3026 NEW BEST:: SOT 4398939 SOS 803615 HAS SOPS 803615 HAS SOUS 650556 HAS SOUPS 650556 WITH SCORE 651359.615
AT ITER 3039 NEW BEST:: SOT 4398625 SOS 802987 HAS SOPS 802987 HAS SOUS 650351 HAS SOUPS 650351 WITH SCORE 651153.987
AT ITER 3045 NEW BEST:: SOT 4398568 SOS 802873 HAS SOPS 802873 HAS SOUS 650294 HAS SOUPS 650294 WITH SCORE 651096.873
AT ITER 3051 NEW BEST:: SOT 4396590 SOS 806394 HAS SOPS 806394 HAS SOUS 648671 HAS SOUPS 648671 WITH SCORE 649477.394
AT ITER 3057 NEW BEST:: SOT 4396501 SOS 806216 HAS SOPS 806216 HAS SOUS 648413 HAS SOUPS 648413 WITH SCORE 649219.216
AT ITER 3130 NEW BEST:: SOT 4396501 SOS 806216 HAS SOPS 806216 HAS SOUS 648129 HAS SOUPS 648129 WITH SCORE 648935.216
AT ITER 3132 NEW BEST:: SOT 4396442 SOS 805921 HAS SOPS 805921 HAS SOUS 648011 HAS SOUPS 648011 WITH SCORE 648816.921
AT ITER 3134 NEW BEST:: SOT 4396442 SOS 805756 HAS SOPS 805756 HAS SOUS 648011 HAS SOUPS 648011 WITH SCORE 648816.756
AT ITER 3145 NEW BEST:: SOT 4396442 SOS 805756 HAS SOPS 805756 HAS SOUS 647816 HAS SOUPS 647816 WITH SCORE 648621.756
AT ITER 3147 NEW BEST:: SOT 4396308 SOS 805488 HAS SOPS 805488 HAS SOUS 647548 HAS SOUPS 647548 WITH SCORE 648353.488
AT ITER 3151 NEW BEST:: SOT 4396040 SOS 806110 HAS SOPS 806110 HAS SOUS 647483 HAS SOUPS 647483 WITH SCORE 648289.11
AT ITER 3168 NEW BEST:: SOT 4395949 SOS 806019 HAS SOPS 806019 HAS SOUS 647483 HAS SOUPS 647483 WITH SCORE 648289.019
AT ITER 3169 NEW BEST:: SOT 4395539 SOS 805933 HAS SOPS 805933 HAS SOUS 647270 HAS SOUPS 647270 WITH SCORE 648075.933
AT ITER 3180 NEW BEST:: SOT 4395125 SOS 805441 HAS SOPS 805441 HAS SOUS 646897 HAS SOUPS 646897 WITH SCORE 647702.441
AT ITER 3184 NEW BEST:: SOT 4395084 SOS 805359 HAS SOPS 805359 HAS SOUS 646855 HAS SOUPS 646855 WITH SCORE 647660.359
AT ITER 3234 NEW BEST:: SOT 4395083 SOS 805357 HAS SOPS 805357 HAS SOUS 646853 HAS SOUPS 646853 WITH SCORE 647658.357
AT ITER 3320 NEW BEST:: SOT 4395076 SOS 805339 HAS SOPS 805339 HAS SOUS 646835 HAS SOUPS 646835 WITH SCORE 647640.339
AT ITER 3333 NEW BEST:: SOT 4395016 SOS 805219 HAS SOPS 805219 HAS SOUS 646770 HAS SOUPS 646770 WITH SCORE 647575.219
AT ITER 3395 NEW BEST:: SOT 4394936 SOS 805129 HAS SOPS 805129 HAS SOUS 646620 HAS SOUPS 646620 WITH SCORE 647425.129
AT ITER 3407 NEW BEST:: SOT 4394908 SOS 805101 HAS SOPS 805101 HAS SOUS 646592 HAS SOUPS 646592 WITH SCORE 647397.101
AT ITER 3413 NEW BEST:: SOT 4394388 SOS 804396 HAS SOPS 804396 HAS SOUS 646127 HAS SOUPS 646127 WITH SCORE 646931.396
AT ITER 3414 NEW BEST:: SOT 4394348 SOS 804316 HAS SOPS 804316 HAS SOUS 646035 HAS SOUPS 646035 WITH SCORE 646839.316
AT ITER 3426 NEW BEST:: SOT 4394348 SOS 804255 HAS SOPS 804255 HAS SOUS 646035 HAS SOUPS 646035 WITH SCORE 646839.255
AT ITER 3454 NEW BEST:: SOT 4394242 SOS 804043 HAS SOPS 804043 HAS SOUS 645983 HAS SOUPS 645983 WITH SCORE 646787.043
AT ITER 3470 NEW BEST:: SOT 4394012 SOS 803583 HAS SOPS 803583 HAS SOUS 645638 HAS SOUPS 645638 WITH SCORE 646441.583
AT ITER 3483 NEW BEST:: SOT 4393927 SOS 803413 HAS SOPS 803413 HAS SOUS 645468 HAS SOUPS 645468 WITH SCORE 646271.413
AT ITER 3487 NEW BEST:: SOT 4393927 SOS 803393 HAS SOPS 803393 HAS SOUS 645468 HAS SOUPS 645468 WITH SCORE 646271.393
AT ITER 3511 NEW BEST:: SOT 4393927 SOS 803393 HAS SOPS 803393 HAS SOUS 645407 HAS SOUPS 645407 WITH SCORE 646210.393
AT ITER 3523 NEW BEST:: SOT 4392987 SOS 801513 HAS SOPS 801513 HAS SOUS 644589 HAS SOUPS 644589 WITH SCORE 645390.513
AT ITER 3568 NEW BEST:: SOT 4392634 SOS 800807 HAS SOPS 800807 HAS SOUS 644236 HAS SOUPS 644236 WITH SCORE 645036.807
AT ITER 3595 NEW BEST:: SOT 4392166 SOS 801139 HAS SOPS 801139 HAS SOUS 643785 HAS SOUPS 643785 WITH SCORE 644586.139
AT ITER 3604 NEW BEST:: SOT 4392131 SOS 801104 HAS SOPS 801104 HAS SOUS 643750 HAS SOUPS 643750 WITH SCORE 644551.104
AT ITER 3647 NEW BEST:: SOT 4391905 SOS 800981 HAS SOPS 800981 HAS SOUS 643564 HAS SOUPS 643564 WITH SCORE 644364.981
AT ITER 3669 NEW BEST:: SOT 4390989 SOS 833505 HAS SOPS 833505 HAS SOUS 643433 HAS SOUPS 643433 WITH SCORE 644266.505
AT ITER 3670 NEW BEST:: SOT 4390978 SOS 833483 HAS SOPS 833483 HAS SOUS 643186 HAS SOUPS 643186 WITH SCORE 644019.483
AT ITER 3697 NEW BEST:: SOT 4390977 SOS 833481 HAS SOPS 833481 HAS SOUS 643184 HAS SOUPS 643184 WITH SCORE 644017.481
AT ITER 3699 NEW BEST:: SOT 4390924 SOS 833375 HAS SOPS 833375 HAS SOUS 643078 HAS SOUPS 643078 WITH SCORE 643911.375
AT ITER 3719 NEW BEST:: SOT 4390717 SOS 832961 HAS SOPS 832961 HAS SOUS 643023 HAS SOUPS 643023 WITH SCORE 643855.961
AT ITER 3726 NEW BEST:: SOT 4390536 SOS 832983 HAS SOPS 832983 HAS SOUS 642944 HAS SOUPS 642944 WITH SCORE 643776.983
AT ITER 3729 NEW BEST:: SOT 4390306 SOS 806189 HAS SOPS 806189 HAS SOUS 642161 HAS SOUPS 642161 WITH SCORE 642967.189
AT ITER 3747 NEW BEST:: SOT 4390245 SOS 806000 HAS SOPS 806000 HAS SOUS 642033 HAS SOUPS 642033 WITH SCORE 642839.0
AT ITER 3757 NEW BEST:: SOT 4390245 SOS 805809 HAS SOPS 805809 HAS SOUS 642033 HAS SOUPS 642033 WITH SCORE 642838.809
AT ITER 3805 NEW BEST:: SOT 4390195 SOS 805709 HAS SOPS 805709 HAS SOUS 641864 HAS SOUPS 641864 WITH SCORE 642669.709
AT ITER 3816 NEW BEST:: SOT 4389888 SOS 805095 HAS SOPS 805095 HAS SOUS 641776 HAS SOUPS 641776 WITH SCORE 642581.095
AT ITER 3867 NEW BEST:: SOT 4389688 SOS 804895 HAS SOPS 804895 HAS SOUS 641576 HAS SOUPS 641576 WITH SCORE 642380.895
AT ITER 3879 NEW BEST:: SOT 4389581 SOS 804681 HAS SOPS 804681 HAS SOUS 641362 HAS SOUPS 641362 WITH SCORE 642166.681
AT ITER 3906 NEW BEST:: SOT 4389437 SOS 804577 HAS SOPS 804577 HAS SOUS 641240 HAS SOUPS 641240 WITH SCORE 642044.577
AT ITER 3912 NEW BEST:: SOT 4389250 SOS 804410 HAS SOPS 804410 HAS SOUS 641053 HAS SOUPS 641053 WITH SCORE 641857.41
AT ITER 3921 NEW BEST:: SOT 4389239 SOS 804428 HAS SOPS 804428 HAS SOUS 641031 HAS SOUPS 641031 WITH SCORE 641835.428
AT ITER 3936 NEW BEST:: SOT 4389239 SOS 804132 HAS SOPS 804132 HAS SOUS 641030 HAS SOUPS 641030 WITH SCORE 641834.132
AT ITER 3952 NEW BEST:: SOT 4389238 SOS 803893 HAS SOPS 803893 HAS SOUS 641028 HAS SOUPS 641028 WITH SCORE 641831.893
AT ITER 3971 NEW BEST:: SOT 4389238 SOS 803877 HAS SOPS 803877 HAS SOUS 641028 HAS SOUPS 641028 WITH SCORE 641831.877
AT ITER 3980 NEW BEST:: SOT 4389238 SOS 803846 HAS SOPS 803846 HAS SOUS 641028 HAS SOUPS 641028 WITH SCORE 641831.846
AT ITER 3985 NEW BEST:: SOT 4389403 SOS 803737 HAS SOPS 803737 HAS SOUS 640919 HAS SOUPS 640919 WITH SCORE 641722.737
AT ITER 3989 NEW BEST:: SOT 4389434 SOS 803706 HAS SOPS 803706 HAS SOUS 640919 HAS SOUPS 640919 WITH SCORE 641722.706
AT ITER 3992 NEW BEST:: SOT 4389269 SOS 803181 HAS SOPS 803181 HAS SOUS 640559 HAS SOUPS 640559 WITH SCORE 641362.181
AT ITER 4000 NEW BEST:: SOT 4389268 SOS 803179 HAS SOPS 803179 HAS SOUS 640557 HAS SOUPS 640557 WITH SCORE 641360.179
AT ITER 4016 NEW BEST:: SOT 4389130 SOS 803105 HAS SOPS 803105 HAS SOUS 640412 HAS SOUPS 640412 WITH SCORE 641215.105
AT ITER 4028 NEW BEST:: SOT 4389046 SOS 802937 HAS SOPS 802937 HAS SOUS 640319 HAS SOUPS 640319 WITH SCORE 641121.937
AT ITER 4064 NEW BEST:: SOT 4388703 SOS 802251 HAS SOPS 802251 HAS SOUS 639985 HAS SOUPS 639985 WITH SCORE 640787.251
AT ITER 4073 NEW BEST:: SOT 4388702 SOS 802249 HAS SOPS 802249 HAS SOUS 639983 HAS SOUPS 639983 WITH SCORE 640785.249
AT ITER 4076 NEW BEST:: SOT 4388685 SOS 802249 HAS SOPS 802249 HAS SOUS 639966 HAS SOUPS 639966 WITH SCORE 640768.249
AT ITER 4085 NEW BEST:: SOT 4388536 SOS 802218 HAS SOPS 802218 HAS SOUS 639835 HAS SOUPS 639835 WITH SCORE 640637.218
AT ITER 4104 NEW BEST:: SOT 4388368 SOS 802044 HAS SOPS 802044 HAS SOUS 639505 HAS SOUPS 639505 WITH SCORE 640307.044
AT ITER 4108 NEW BEST:: SOT 4388011 SOS 801768 HAS SOPS 801768 HAS SOUS 639224 HAS SOUPS 639224 WITH SCORE 640025.768
AT ITER 4110 NEW BEST:: SOT 4388029 SOS 801342 HAS SOPS 801342 HAS SOUS 639021 HAS SOUPS 639021 WITH SCORE 639822.342
AT ITER 4149 NEW BEST:: SOT 4388029 SOS 801342 HAS SOPS 801342 HAS SOUS 638890 HAS SOUPS 638890 WITH SCORE 639691.342
AT ITER 4158 NEW BEST:: SOT 4388256 SOS 801127 HAS SOPS 801127 HAS SOUS 638837 HAS SOUPS 638837 WITH SCORE 639638.127
AT ITER 4181 NEW BEST:: SOT 4388131 SOS 800518 HAS SOPS 800518 HAS SOUS 638386 HAS SOUPS 638386 WITH SCORE 639186.518
AT ITER 4190 NEW BEST:: SOT 4388094 SOS 800444 HAS SOPS 800444 HAS SOUS 638312 HAS SOUPS 638312 WITH SCORE 639112.444
AT ITER 4193 NEW BEST:: SOT 4388042 SOS 800340 HAS SOPS 800340 HAS SOUS 638260 HAS SOUPS 638260 WITH SCORE 639060.34
AT ITER 4197 NEW BEST:: SOT 4386403 SOS 801969 HAS SOPS 801969 HAS SOUS 637331 HAS SOUPS 637331 WITH SCORE 638132.969
AT ITER 4209 NEW BEST:: SOT 4386391 SOS 801945 HAS SOPS 801945 HAS SOUS 637307 HAS SOUPS 637307 WITH SCORE 638108.945
AT ITER 4216 NEW BEST:: SOT 4386284 SOS 801945 HAS SOPS 801945 HAS SOUS 637200 HAS SOUPS 637200 WITH SCORE 638001.945
AT ITER 4229 NEW BEST:: SOT 4386079 SOS 801535 HAS SOPS 801535 HAS SOUS 636770 HAS SOUPS 636770 WITH SCORE 637571.535
AT ITER 4233 NEW BEST:: SOT 4385930 SOS 801386 HAS SOPS 801386 HAS SOUS 636621 HAS SOUPS 636621 WITH SCORE 637422.386
AT ITER 4243 NEW BEST:: SOT 4385894 SOS 801155 HAS SOPS 801155 HAS SOUS 636390 HAS SOUPS 636390 WITH SCORE 637191.155
AT ITER 4249 NEW BEST:: SOT 4385720 SOS 800981 HAS SOPS 800981 HAS SOUS 636216 HAS SOUPS 636216 WITH SCORE 637016.981
AT ITER 4281 NEW BEST:: SOT 4385676 SOS 800937 HAS SOPS 800937 HAS SOUS 636172 HAS SOUPS 636172 WITH SCORE 636972.937
AT ITER 4304 NEW BEST:: SOT 4385676 SOS 800937 HAS SOPS 800937 HAS SOUS 636122 HAS SOUPS 636122 WITH SCORE 636922.937
AT ITER 4314 NEW BEST:: SOT 4385751 SOS 800803 HAS SOPS 800803 HAS SOUS 636055 HAS SOUPS 636055 WITH SCORE 636855.803
AT ITER 4317 NEW BEST:: SOT 4385347 SOS 800513 HAS SOPS 800513 HAS SOUS 635749 HAS SOUPS 635749 WITH SCORE 636549.513
AT ITER 4335 NEW BEST:: SOT 4385347 SOS 800243 HAS SOPS 800243 HAS SOUS 635614 HAS SOUPS 635614 WITH SCORE 636414.243
AT ITER 4350 NEW BEST:: SOT 4384966 SOS 800251 HAS SOPS 800251 HAS SOUS 635309 HAS SOUPS 635309 WITH SCORE 636109.251
AT ITER 4372 NEW BEST:: SOT 4385031 SOS 799867 HAS SOPS 799867 HAS SOUS 635117 HAS SOUPS 635117 WITH SCORE 635916.867
AT ITER 4373 NEW BEST:: SOT 4384987 SOS 799779 HAS SOPS 799779 HAS SOUS 635073 HAS SOUPS 635073 WITH SCORE 635872.779
AT ITER 4374 NEW BEST:: SOT 4385136 SOS 799795 HAS SOPS 799795 HAS SOUS 634899 HAS SOUPS 634899 WITH SCORE 635698.795
AT ITER 4381 NEW BEST:: SOT 4385279 SOS 799605 HAS SOPS 799605 HAS SOUS 634503 HAS SOUPS 634503 WITH SCORE 635302.605
AT ITER 4382 NEW BEST:: SOT 4385279 SOS 799604 HAS SOPS 799604 HAS SOUS 634502 HAS SOUPS 634502 WITH SCORE 635301.604
AT ITER 4388 NEW BEST:: SOT 4385139 SOS 799324 HAS SOPS 799324 HAS SOUS 634222 HAS SOUPS 634222 WITH SCORE 635021.324
AT ITER 4422 NEW BEST:: SOT 4385347 SOS 799383 HAS SOPS 799383 HAS SOUS 634209 HAS SOUPS 634209 WITH SCORE 635008.383
AT ITER 4426 NEW BEST:: SOT 4385344 SOS 799377 HAS SOPS 799377 HAS SOUS 634203 HAS SOUPS 634203 WITH SCORE 635002.377
AT ITER 4433 NEW BEST:: SOT 4385344 SOS 799283 HAS SOPS 799283 HAS SOUS 634203 HAS SOUPS 634203 WITH SCORE 635002.283
AT ITER 4435 NEW BEST:: SOT 4385344 SOS 799071 HAS SOPS 799071 HAS SOUS 634203 HAS SOUPS 634203 WITH SCORE 635002.071
AT ITER 4454 NEW BEST:: SOT 4385344 SOS 798963 HAS SOPS 798963 HAS SOUS 634203 HAS SOUPS 634203 WITH SCORE 635001.963
AT ITER 4460 NEW BEST:: SOT 4385465 SOS 799205 HAS SOPS 799205 HAS SOUS 634156 HAS SOUPS 634156 WITH SCORE 634955.205
AT ITER 4468 NEW BEST:: SOT 4385286 SOS 799267 HAS SOPS 799267 HAS SOUS 634131 HAS SOUPS 634131 WITH SCORE 634930.267
AT ITER 4478 NEW BEST:: SOT 4385286 SOS 799267 HAS SOPS 799267 HAS SOUS 633979 HAS SOUPS 633979 WITH SCORE 634778.267
AT ITER 4491 NEW BEST:: SOT 4384754 SOS 798203 HAS SOPS 798203 HAS SOUS 632915 HAS SOUPS 632915 WITH SCORE 633713.203
AT ITER 4507 NEW BEST:: SOT 4384729 SOS 798153 HAS SOPS 798153 HAS SOUS 632865 HAS SOUPS 632865 WITH SCORE 633663.153
AT ITER 4514 NEW BEST:: SOT 4384526 SOS 798895 HAS SOPS 798895 HAS SOUS 632662 HAS SOUPS 632662 WITH SCORE 633460.895
AT ITER 4536 NEW BEST:: SOT 4384526 SOS 798895 HAS SOPS 798895 HAS SOUS 632601 HAS SOUPS 632601 WITH SCORE 633399.895
AT ITER 4548 NEW BEST:: SOT 4384516 SOS 798875 HAS SOPS 798875 HAS SOUS 632591 HAS SOUPS 632591 WITH SCORE 633389.875
AT ITER 4552 NEW BEST:: SOT 4384156 SOS 798155 HAS SOPS 798155 HAS SOUS 631871 HAS SOUPS 631871 WITH SCORE 632669.155
AT ITER 4593 NEW BEST:: SOT 4384156 SOS 798077 HAS SOPS 798077 HAS SOUS 631832 HAS SOUPS 631832 WITH SCORE 632630.077
AT ITER 4596 NEW BEST:: SOT 4384156 SOS 798077 HAS SOPS 798077 HAS SOUS 631504 HAS SOUPS 631504 WITH SCORE 632302.077
AT ITER 4618 NEW BEST:: SOT 4384136 SOS 798037 HAS SOPS 798037 HAS SOUS 631502 HAS SOUPS 631502 WITH SCORE 632300.037
AT ITER 4621 NEW BEST:: SOT 4384091 SOS 797902 HAS SOPS 797902 HAS SOUS 631412 HAS SOUPS 631412 WITH SCORE 632209.902
AT ITER 4622 NEW BEST:: SOT 4383959 SOS 797770 HAS SOPS 797770 HAS SOUS 631280 HAS SOUPS 631280 WITH SCORE 632077.77
AT ITER 4637 NEW BEST:: SOT 4383928 SOS 797708 HAS SOPS 797708 HAS SOUS 631192 HAS SOUPS 631192 WITH SCORE 631989.708
AT ITER 4650 NEW BEST:: SOT 4383870 SOS 797592 HAS SOPS 797592 HAS SOUS 630866 HAS SOUPS 630866 WITH SCORE 631663.592
AT ITER 4674 NEW BEST:: SOT 4383870 SOS 797641 HAS SOPS 797641 HAS SOUS 630817 HAS SOUPS 630817 WITH SCORE 631614.641
AT ITER 4697 NEW BEST:: SOT 4383010 SOS 797119 HAS SOPS 797119 HAS SOUS 630241 HAS SOUPS 630241 WITH SCORE 631038.119
AT ITER 4736 NEW BEST:: SOT 4383010 SOS 797060 HAS SOPS 797060 HAS SOUS 630241 HAS SOUPS 630241 WITH SCORE 631038.06
AT ITER 4737 NEW BEST:: SOT 4382910 SOS 796518 HAS SOPS 796518 HAS SOUS 630106 HAS SOUPS 630106 WITH SCORE 630902.518
AT ITER 4744 NEW BEST:: SOT 4382638 SOS 796314 HAS SOPS 796314 HAS SOUS 629902 HAS SOUPS 629902 WITH SCORE 630698.314
AT ITER 4752 NEW BEST:: SOT 4382504 SOS 796628 HAS SOPS 796628 HAS SOUS 629882 HAS SOUPS 629882 WITH SCORE 630678.628
AT ITER 4774 NEW BEST:: SOT 4382520 SOS 796602 HAS SOPS 796602 HAS SOUS 629856 HAS SOUPS 629856 WITH SCORE 630652.602
AT ITER 4790 NEW BEST:: SOT 4382276 SOS 796219 HAS SOPS 796219 HAS SOUS 629578 HAS SOUPS 629578 WITH SCORE 630374.219
AT ITER 4792 NEW BEST:: SOT 4382209 SOS 796085 HAS SOPS 796085 HAS SOUS 629475 HAS SOUPS 629475 WITH SCORE 630271.085
AT ITER 4805 NEW BEST:: SOT 4382156 SOS 796102 HAS SOPS 796102 HAS SOUS 629443 HAS SOUPS 629443 WITH SCORE 630239.102
AT ITER 4833 NEW BEST:: SOT 4382127 SOS 797699 HAS SOPS 797699 HAS SOUS 629414 HAS SOUPS 629414 WITH SCORE 630211.699
AT ITER 4847 NEW BEST:: SOT 4382077 SOS 797649 HAS SOPS 797649 HAS SOUS 629364 HAS SOUPS 629364 WITH SCORE 630161.649
AT ITER 4850 NEW BEST:: SOT 4376046 SOS 791979 HAS SOPS 791979 HAS SOUS 624042 HAS SOUPS 624042 WITH SCORE 624833.979
AT ITER 4862 NEW BEST:: SOT 4375964 SOS 791810 HAS SOPS 791810 HAS SOUS 623791 HAS SOUPS 623791 WITH SCORE 624582.81
AT ITER 4867 NEW BEST:: SOT 4375963 SOS 791808 HAS SOPS 791808 HAS SOUS 623789 HAS SOUPS 623789 WITH SCORE 624580.808
AT ITER 4931 NEW BEST:: SOT 4375962 SOS 791382 HAS SOPS 791382 HAS SOUS 623787 HAS SOUPS 623787 WITH SCORE 624578.382
AT ITER 4943 NEW BEST:: SOT 4375940 SOS 791338 HAS SOPS 791338 HAS SOUS 623743 HAS SOUPS 623743 WITH SCORE 624534.338
AT ITER 4954 NEW BEST:: SOT 4375940 SOS 791338 HAS SOPS 791338 HAS SOUS 623720 HAS SOUPS 623720 WITH SCORE 624511.338
AT ITER 4965 NEW BEST:: SOT 4375857 SOS 791172 HAS SOPS 791172 HAS SOUS 623554 HAS SOUPS 623554 WITH SCORE 624345.172
AT ITER 4968 NEW BEST:: SOT 4375895 SOS 789986 HAS SOPS 789986 HAS SOUS 623267 HAS SOUPS 623267 WITH SCORE 624056.986
AT ITER 4972 NEW BEST:: SOT 4375607 SOS 789698 HAS SOPS 789698 HAS SOUS 622979 HAS SOUPS 622979 WITH SCORE 623768.698
AT ITER 4978 NEW BEST:: SOT 4375540 SOS 788911 HAS SOPS 788911 HAS SOUS 622886 HAS SOUPS 622886 WITH SCORE 623674.911
AT ITER 5013 NEW BEST:: SOT 4375502 SOS 788797 HAS SOPS 788797 HAS SOUS 622810 HAS SOUPS 622810 WITH SCORE 623598.797
AT ITER 5049 NEW BEST:: SOT 4375502 SOS 788796 HAS SOPS 788796 HAS SOUS 622810 HAS SOUPS 622810 WITH SCORE 623598.796
AT ITER 5054 NEW BEST:: SOT 4375493 SOS 788778 HAS SOPS 788778 HAS SOUS 622792 HAS SOUPS 622792 WITH SCORE 623580.778
AT ITER 5069 NEW BEST:: SOT 4375697 SOS 789152 HAS SOPS 789152 HAS SOUS 622791 HAS SOUPS 622791 WITH SCORE 623580.152
AT ITER 5103 NEW BEST:: SOT 4375696 SOS 789150 HAS SOPS 789150 HAS SOUS 622789 HAS SOUPS 622789 WITH SCORE 623578.15
AT ITER 5111 NEW BEST:: SOT 4375601 SOS 789150 HAS SOPS 789150 HAS SOUS 622694 HAS SOUPS 622694 WITH SCORE 623483.15
AT ITER 5120 NEW BEST:: SOT 4375460 SOS 789009 HAS SOPS 789009 HAS SOUS 622694 HAS SOUPS 622694 WITH SCORE 623483.009
AT ITER 5136 NEW BEST:: SOT 4375276 SOS 788641 HAS SOPS 788641 HAS SOUS 622326 HAS SOUPS 622326 WITH SCORE 623114.641
AT ITER 5144 NEW BEST:: SOT 4374892 SOS 787873 HAS SOPS 787873 HAS SOUS 621558 HAS SOUPS 621558 WITH SCORE 622345.873
AT ITER 5145 NEW BEST:: SOT 4374681 SOS 787451 HAS SOPS 787451 HAS SOUS 621136 HAS SOUPS 621136 WITH SCORE 621923.451
AT ITER 5155 NEW BEST:: SOT 4374435 SOS 786959 HAS SOPS 786959 HAS SOUS 620644 HAS SOUPS 620644 WITH SCORE 621430.959
AT ITER 5182 NEW BEST:: SOT 4374329 SOS 786747 HAS SOPS 786747 HAS SOUS 620403 HAS SOUPS 620403 WITH SCORE 621189.747
AT ITER 5193 NEW BEST:: SOT 4374281 SOS 786699 HAS SOPS 786699 HAS SOUS 620355 HAS SOUPS 620355 WITH SCORE 621141.699
AT ITER 5197 NEW BEST:: SOT 4374383 SOS 786567 HAS SOPS 786567 HAS SOUS 620304 HAS SOUPS 620304 WITH SCORE 621090.567
AT ITER 5211 NEW BEST:: SOT 4374299 SOS 786399 HAS SOPS 786399 HAS SOUS 620217 HAS SOUPS 620217 WITH SCORE 621003.399
AT ITER 5218 NEW BEST:: SOT 4374202 SOS 786205 HAS SOPS 786205 HAS SOUS 620023 HAS SOUPS 620023 WITH SCORE 620809.205
AT ITER 5219 NEW BEST:: SOT 4374200 SOS 786201 HAS SOPS 786201 HAS SOUS 620019 HAS SOUPS 620019 WITH SCORE 620805.201
AT ITER 5244 NEW BEST:: SOT 4374164 SOS 786129 HAS SOPS 786129 HAS SOUS 619902 HAS SOUPS 619902 WITH SCORE 620688.129
AT ITER 5252 NEW BEST:: SOT 4374140 SOS 786081 HAS SOPS 786081 HAS SOUS 619785 HAS SOUPS 619785 WITH SCORE 620571.081
AT ITER 5261 NEW BEST:: SOT 4374096 SOS 785993 HAS SOPS 785993 HAS SOUS 619741 HAS SOUPS 619741 WITH SCORE 620526.993
AT ITER 5269 NEW BEST:: SOT 4374089 SOS 785577 HAS SOPS 785577 HAS SOUS 619587 HAS SOUPS 619587 WITH SCORE 620372.577
AT ITER 5286 NEW BEST:: SOT 4374088 SOS 785575 HAS SOPS 785575 HAS SOUS 619585 HAS SOUPS 619585 WITH SCORE 620370.575
AT ITER 5303 NEW BEST:: SOT 4374115 SOS 785535 HAS SOPS 785535 HAS SOUS 619545 HAS SOUPS 619545 WITH SCORE 620330.535
AT ITER 5317 NEW BEST:: SOT 4374194 SOS 785568 HAS SOPS 785568 HAS SOUS 619499 HAS SOUPS 619499 WITH SCORE 620284.568
AT ITER 5320 NEW BEST:: SOT 4374139 SOS 785458 HAS SOPS 785458 HAS SOUS 619389 HAS SOUPS 619389 WITH SCORE 620174.458
AT ITER 5329 NEW BEST:: SOT 4374043 SOS 785363 HAS SOPS 785363 HAS SOUS 619224 HAS SOUPS 619224 WITH SCORE 620009.363
AT ITER 5375 NEW BEST:: SOT 4374035 SOS 785355 HAS SOPS 785355 HAS SOUS 619216 HAS SOUPS 619216 WITH SCORE 620001.355
AT ITER 5385 NEW BEST:: SOT 4373991 SOS 785267 HAS SOPS 785267 HAS SOUS 619172 HAS SOUPS 619172 WITH SCORE 619957.267
AT ITER 5418 NEW BEST:: SOT 4373751 SOS 785186 HAS SOPS 785186 HAS SOUS 619012 HAS SOUPS 619012 WITH SCORE 619797.186
AT ITER 5423 NEW BEST:: SOT 4373751 SOS 785186 HAS SOPS 785186 HAS SOUS 619011 HAS SOUPS 619011 WITH SCORE 619796.186
AT ITER 5424 NEW BEST:: SOT 4373714 SOS 785075 HAS SOPS 785075 HAS SOUS 618937 HAS SOUPS 618937 WITH SCORE 619722.075
AT ITER 5435 NEW BEST:: SOT 4373714 SOS 784986 HAS SOPS 784986 HAS SOUS 618937 HAS SOUPS 618937 WITH SCORE 619721.986
AT ITER 5439 NEW BEST:: SOT 4373714 SOS 784842 HAS SOPS 784842 HAS SOUS 618793 HAS SOUPS 618793 WITH SCORE 619577.842
AT ITER 5443 NEW BEST:: SOT 4373713 SOS 784494 HAS SOPS 784494 HAS SOUS 618791 HAS SOUPS 618791 WITH SCORE 619575.494
AT ITER 5466 NEW BEST:: SOT 4373876 SOS 783970 HAS SOPS 783970 HAS SOUS 618553 HAS SOUPS 618553 WITH SCORE 619336.97
AT ITER 5474 NEW BEST:: SOT 4373801 SOS 783895 HAS SOPS 783895 HAS SOUS 618478 HAS SOUPS 618478 WITH SCORE 619261.895
AT ITER 5478 NEW BEST:: SOT 4374001 SOS 784011 HAS SOPS 784011 HAS SOUS 618394 HAS SOUPS 618394 WITH SCORE 619178.011
AT ITER 5483 NEW BEST:: SOT 4373587 SOS 784443 HAS SOPS 784443 HAS SOUS 618209 HAS SOUPS 618209 WITH SCORE 618993.443
AT ITER 5494 NEW BEST:: SOT 4373587 SOS 784244 HAS SOPS 784244 HAS SOUS 618010 HAS SOUPS 618010 WITH SCORE 618794.244
AT ITER 5502 NEW BEST:: SOT 4373682 SOS 783993 HAS SOPS 783993 HAS SOUS 617958 HAS SOUPS 617958 WITH SCORE 618741.993
AT ITER 5532 NEW BEST:: SOT 4373461 SOS 783772 HAS SOPS 783772 HAS SOUS 617737 HAS SOUPS 617737 WITH SCORE 618520.772
AT ITER 5587 NEW BEST:: SOT 4373461 SOS 783772 HAS SOPS 783772 HAS SOUS 617597 HAS SOUPS 617597 WITH SCORE 618380.772
AT ITER 5602 NEW BEST:: SOT 4373138 SOS 782965 HAS SOPS 782965 HAS SOUS 616951 HAS SOUPS 616951 WITH SCORE 617733.965
AT ITER 5624 NEW BEST:: SOT 4373138 SOS 778373 HAS SOPS 778373 HAS SOUS 616951 HAS SOUPS 616951 WITH SCORE 617729.373
AT ITER 5637 NEW BEST:: SOT 4372927 SOS 778158 HAS SOPS 778158 HAS SOUS 616770 HAS SOUPS 616770 WITH SCORE 617548.158
AT ITER 5664 NEW BEST:: SOT 4372927 SOS 778158 HAS SOPS 778158 HAS SOUS 616724 HAS SOUPS 616724 WITH SCORE 617502.158
AT ITER 5668 NEW BEST:: SOT 4372815 SOS 778091 HAS SOPS 778091 HAS SOUS 616612 HAS SOUPS 616612 WITH SCORE 617390.091
AT ITER 5685 NEW BEST:: SOT 4372679 SOS 777819 HAS SOPS 777819 HAS SOUS 616340 HAS SOUPS 616340 WITH SCORE 617117.819
AT ITER 5695 NEW BEST:: SOT 4372512 SOS 777485 HAS SOPS 777485 HAS SOUS 616006 HAS SOUPS 616006 WITH SCORE 616783.485
AT ITER 5727 NEW BEST:: SOT 4372501 SOS 777463 HAS SOPS 777463 HAS SOUS 615995 HAS SOUPS 615995 WITH SCORE 616772.463
AT ITER 5735 NEW BEST:: SOT 4372427 SOS 777315 HAS SOPS 777315 HAS SOUS 615847 HAS SOUPS 615847 WITH SCORE 616624.315
AT ITER 5741 NEW BEST:: SOT 4372419 SOS 777258 HAS SOPS 777258 HAS SOUS 615615 HAS SOUPS 615615 WITH SCORE 616392.258
AT ITER 5756 NEW BEST:: SOT 4372411 SOS 777242 HAS SOPS 777242 HAS SOUS 615599 HAS SOUPS 615599 WITH SCORE 616376.242
AT ITER 5779 NEW BEST:: SOT 4372398 SOS 777216 HAS SOPS 777216 HAS SOUS 615573 HAS SOUPS 615573 WITH SCORE 616350.216
AT ITER 5819 NEW BEST:: SOT 4372332 SOS 777084 HAS SOPS 777084 HAS SOUS 615441 HAS SOUPS 615441 WITH SCORE 616218.084
AT ITER 5843 NEW BEST:: SOT 4372332 SOS 777084 HAS SOPS 777084 HAS SOUS 615440 HAS SOUPS 615440 WITH SCORE 616217.084
AT ITER 5857 NEW BEST:: SOT 4371854 SOS 776930 HAS SOPS 776930 HAS SOUS 615362 HAS SOUPS 615362 WITH SCORE 616138.93
AT ITER 5868 NEW BEST:: SOT 4371862 SOS 776938 HAS SOPS 776938 HAS SOUS 615282 HAS SOUPS 615282 WITH SCORE 616058.938
AT ITER 5890 NEW BEST:: SOT 4371798 SOS 776880 HAS SOPS 776880 HAS SOUS 615154 HAS SOUPS 615154 WITH SCORE 615930.88
AT ITER 5893 NEW BEST:: SOT 4371772 SOS 776880 HAS SOPS 776880 HAS SOUS 615141 HAS SOUPS 615141 WITH SCORE 615917.88
AT ITER 5910 NEW BEST:: SOT 4371477 SOS 776290 HAS SOPS 776290 HAS SOUS 614846 HAS SOUPS 614846 WITH SCORE 615622.29
AT ITER 5915 NEW BEST:: SOT 4371470 SOS 776306 HAS SOPS 776306 HAS SOUS 614839 HAS SOUPS 614839 WITH SCORE 615615.306
AT ITER 5937 NEW BEST:: SOT 4371470 SOS 776276 HAS SOPS 776276 HAS SOUS 614839 HAS SOUPS 614839 WITH SCORE 615615.276
AT ITER 6000 NEW BEST:: SOT 4371466 SOS 776268 HAS SOPS 776268 HAS SOUS 614831 HAS SOUPS 614831 WITH SCORE 615607.268
AT ITER 6007 NEW BEST:: SOT 4371190 SOS 775373 HAS SOPS 775373 HAS SOUS 614243 HAS SOUPS 614243 WITH SCORE 615018.373
AT ITER 6033 NEW BEST:: SOT 4370969 SOS 775152 HAS SOPS 775152 HAS SOUS 614022 HAS SOUPS 614022 WITH SCORE 614797.152
AT ITER 6036 NEW BEST:: SOT 4370878 SOS 774970 HAS SOPS 774970 HAS SOUS 613937 HAS SOUPS 613937 WITH SCORE 614711.97
AT ITER 6041 NEW BEST:: SOT 4370838 SOS 774890 HAS SOPS 774890 HAS SOUS 613857 HAS SOUPS 613857 WITH SCORE 614631.89
AT ITER 6056 NEW BEST:: SOT 4370838 SOS 774699 HAS SOPS 774699 HAS SOUS 613666 HAS SOUPS 613666 WITH SCORE 614440.699
AT ITER 6065 NEW BEST:: SOT 4370797 SOS 774576 HAS SOPS 774576 HAS SOUS 613584 HAS SOUPS 613584 WITH SCORE 614358.576
AT ITER 6079 NEW BEST:: SOT 4370797 SOS 774531 HAS SOPS 774531 HAS SOUS 613584 HAS SOUPS 613584 WITH SCORE 614358.531
AT ITER 6080 NEW BEST:: SOT 4370741 SOS 774531 HAS SOPS 774531 HAS SOUS 613528 HAS SOUPS 613528 WITH SCORE 614302.531
AT ITER 6088 NEW BEST:: SOT 4370741 SOS 774860 HAS SOPS 774860 HAS SOUS 613440 HAS SOUPS 613440 WITH SCORE 614214.86
AT ITER 6162 NEW BEST:: SOT 4370741 SOS 774860 HAS SOPS 774860 HAS SOUS 613379 HAS SOUPS 613379 WITH SCORE 614153.86
AT ITER 6179 NEW BEST:: SOT 4370576 SOS 775011 HAS SOPS 775011 HAS SOUS 613337 HAS SOUPS 613337 WITH SCORE 614112.011
AT ITER 6214 NEW BEST:: SOT 4370430 SOS 774719 HAS SOPS 774719 HAS SOUS 613045 HAS SOUPS 613045 WITH SCORE 613819.719
AT ITER 6225 NEW BEST:: SOT 4370343 SOS 774545 HAS SOPS 774545 HAS SOUS 612761 HAS SOUPS 612761 WITH SCORE 613535.545
AT ITER 6274 NEW BEST:: SOT 4370337 SOS 774533 HAS SOPS 774533 HAS SOUS 612749 HAS SOUPS 612749 WITH SCORE 613523.533
AT ITER 6275 NEW BEST:: SOT 4370255 SOS 774369 HAS SOPS 774369 HAS SOUS 612667 HAS SOUPS 612667 WITH SCORE 613441.369
AT ITER 6293 NEW BEST:: SOT 4370243 SOS 774345 HAS SOPS 774345 HAS SOUS 612643 HAS SOUPS 612643 WITH SCORE 613417.345
AT ITER 6312 NEW BEST:: SOT 4370180 SOS 774381 HAS SOPS 774381 HAS SOUS 612580 HAS SOUPS 612580 WITH SCORE 613354.381
AT ITER 6322 NEW BEST:: SOT 4369846 SOS 773713 HAS SOPS 773713 HAS SOUS 612039 HAS SOUPS 612039 WITH SCORE 612812.713
AT ITER 6325 NEW BEST:: SOT 4369729 SOS 773564 HAS SOPS 773564 HAS SOUS 611890 HAS SOUPS 611890 WITH SCORE 612663.564
AT ITER 6330 NEW BEST:: SOT 4369586 SOS 773065 HAS SOPS 773065 HAS SOUS 611604 HAS SOUPS 611604 WITH SCORE 612377.065
AT ITER 6362 NEW BEST:: SOT 4369423 SOS 772739 HAS SOPS 772739 HAS SOUS 611145 HAS SOUPS 611145 WITH SCORE 611917.739
AT ITER 6391 NEW BEST:: SOT 4369272 SOS 772437 HAS SOPS 772437 HAS SOUS 610994 HAS SOUPS 610994 WITH SCORE 611766.437
AT ITER 6398 NEW BEST:: SOT 4369326 SOS 772137 HAS SOPS 772137 HAS SOUS 610889 HAS SOUPS 610889 WITH SCORE 611661.137
AT ITER 6404 NEW BEST:: SOT 4369189 SOS 771863 HAS SOPS 771863 HAS SOUS 610752 HAS SOUPS 610752 WITH SCORE 611523.863
AT ITER 6414 NEW BEST:: SOT 4369189 SOS 771511 HAS SOPS 771511 HAS SOUS 610576 HAS SOUPS 610576 WITH SCORE 611347.511
AT ITER 6422 NEW BEST:: SOT 4369131 SOS 771395 HAS SOPS 771395 HAS SOUS 610460 HAS SOUPS 610460 WITH SCORE 611231.395
AT ITER 6425 NEW BEST:: SOT 4368884 SOS 770901 HAS SOPS 770901 HAS SOUS 609977 HAS SOUPS 609977 WITH SCORE 610747.901
AT ITER 6427 NEW BEST:: SOT 4368682 SOS 770870 HAS SOPS 770870 HAS SOUS 609556 HAS SOUPS 609556 WITH SCORE 610326.87
AT ITER 6472 NEW BEST:: SOT 4368681 SOS 770868 HAS SOPS 770868 HAS SOUS 609554 HAS SOUPS 609554 WITH SCORE 610324.868
AT ITER 6502 NEW BEST:: SOT 4368636 SOS 770778 HAS SOPS 770778 HAS SOUS 609554 HAS SOUPS 609554 WITH SCORE 610324.778
AT ITER 6513 NEW BEST:: SOT 4368441 SOS 770984 HAS SOPS 770984 HAS SOUS 609462 HAS SOUPS 609462 WITH SCORE 610232.984
AT ITER 6523 NEW BEST:: SOT 4368433 SOS 770977 HAS SOPS 770977 HAS SOUS 609455 HAS SOUPS 609455 WITH SCORE 610225.977
AT ITER 6530 NEW BEST:: SOT 4368062 SOS 770815 HAS SOPS 770815 HAS SOUS 609156 HAS SOUPS 609156 WITH SCORE 609926.815
AT ITER 6537 NEW BEST:: SOT 4367892 SOS 770475 HAS SOPS 770475 HAS SOUS 608986 HAS SOUPS 608986 WITH SCORE 609756.475
AT ITER 6547 NEW BEST:: SOT 4367793 SOS 770277 HAS SOPS 770277 HAS SOUS 608788 HAS SOUPS 608788 WITH SCORE 609558.277
AT ITER 6559 NEW BEST:: SOT 4367743 SOS 770177 HAS SOPS 770177 HAS SOUS 608738 HAS SOUPS 608738 WITH SCORE 609508.177
AT ITER 6578 NEW BEST:: SOT 4367743 SOS 770150 HAS SOPS 770150 HAS SOUS 608738 HAS SOUPS 608738 WITH SCORE 609508.15
AT ITER 6586 NEW BEST:: SOT 4367743 SOS 770036 HAS SOPS 770036 HAS SOUS 608717 HAS SOUPS 608717 WITH SCORE 609487.036
AT ITER 6648 NEW BEST:: SOT 4367743 SOS 770036 HAS SOPS 770036 HAS SOUS 608716 HAS SOUPS 608716 WITH SCORE 609486.036
AT ITER 6651 NEW BEST:: SOT 4367701 SOS 769994 HAS SOPS 769994 HAS SOUS 608632 HAS SOUPS 608632 WITH SCORE 609401.994
AT ITER 6671 NEW BEST:: SOT 4367658 SOS 769908 HAS SOPS 769908 HAS SOUS 608589 HAS SOUPS 608589 WITH SCORE 609358.908
AT ITER 6685 NEW BEST:: SOT 4367201 SOS 770355 HAS SOPS 770355 HAS SOUS 608520 HAS SOUPS 608520 WITH SCORE 609290.355
AT ITER 6690 NEW BEST:: SOT 4367145 SOS 770243 HAS SOPS 770243 HAS SOUS 608466 HAS SOUPS 608466 WITH SCORE 609236.243
AT ITER 6738 NEW BEST:: SOT 4367156 SOS 770265 HAS SOPS 770265 HAS SOUS 608449 HAS SOUPS 608449 WITH SCORE 609219.265
AT ITER 6745 NEW BEST:: SOT 4367156 SOS 770319 HAS SOPS 770319 HAS SOUS 608414 HAS SOUPS 608414 WITH SCORE 609184.319
AT ITER 6751 NEW BEST:: SOT 4366834 SOS 769327 HAS SOPS 769327 HAS SOUS 607770 HAS SOUPS 607770 WITH SCORE 608539.327
AT ITER 6789 NEW BEST:: SOT 4367182 SOS 769453 HAS SOPS 769453 HAS SOUS 607740 HAS SOUPS 607740 WITH SCORE 608509.453
AT ITER 6803 NEW BEST:: SOT 4367176 SOS 769441 HAS SOPS 769441 HAS SOUS 607726 HAS SOUPS 607726 WITH SCORE 608495.441
AT ITER 6840 NEW BEST:: SOT 4367179 SOS 769438 HAS SOPS 769438 HAS SOUS 607723 HAS SOUPS 607723 WITH SCORE 608492.438
AT ITER 6853 NEW BEST:: SOT 4367179 SOS 769288 HAS SOPS 769288 HAS SOUS 607573 HAS SOUPS 607573 WITH SCORE 608342.288
AT ITER 6879 NEW BEST:: SOT 4367179 SOS 769012 HAS SOPS 769012 HAS SOUS 607297 HAS SOUPS 607297 WITH SCORE 608066.012
AT ITER 6916 NEW BEST:: SOT 4367178 SOS 768818 HAS SOPS 768818 HAS SOUS 607295 HAS SOUPS 607295 WITH SCORE 608063.818
AT ITER 6967 NEW BEST:: SOT 4366995 SOS 768452 HAS SOPS 768452 HAS SOUS 606876 HAS SOUPS 606876 WITH SCORE 607644.452
AT ITER 6972 NEW BEST:: SOT 4366971 SOS 768453 HAS SOPS 768453 HAS SOUS 606865 HAS SOUPS 606865 WITH SCORE 607633.453
AT ITER 7014 NEW BEST:: SOT 4366668 SOS 768399 HAS SOPS 768399 HAS SOUS 606650 HAS SOUPS 606650 WITH SCORE 607418.399
AT ITER 7062 NEW BEST:: SOT 4366668 SOS 768399 HAS SOPS 768399 HAS SOUS 606649 HAS SOUPS 606649 WITH SCORE 607417.399
AT ITER 7074 NEW BEST:: SOT 4366580 SOS 768321 HAS SOPS 768321 HAS SOUS 606522 HAS SOUPS 606522 WITH SCORE 607290.321
AT ITER 7078 NEW BEST:: SOT 4366574 SOS 768321 HAS SOPS 768321 HAS SOUS 606516 HAS SOUPS 606516 WITH SCORE 607284.321
AT ITER 7091 NEW BEST:: SOT 4366386 SOS 768058 HAS SOPS 768058 HAS SOUS 606215 HAS SOUPS 606215 WITH SCORE 606983.058
AT ITER 7102 NEW BEST:: SOT 4366407 SOS 768019 HAS SOPS 768019 HAS SOUS 606176 HAS SOUPS 606176 WITH SCORE 606944.019
AT ITER 7104 NEW BEST:: SOT 4366422 SOS 768114 HAS SOPS 768114 HAS SOUS 606157 HAS SOUPS 606157 WITH SCORE 606925.114
AT ITER 7120 NEW BEST:: SOT 4366200 SOS 767670 HAS SOPS 767670 HAS SOUS 605713 HAS SOUPS 605713 WITH SCORE 606480.67
AT ITER 7137 NEW BEST:: SOT 4365133 SOS 767051 HAS SOPS 767051 HAS SOUS 604599 HAS SOUPS 604599 WITH SCORE 605366.051
AT ITER 7144 NEW BEST:: SOT 4364996 SOS 766500 HAS SOPS 766500 HAS SOUS 604186 HAS SOUPS 604186 WITH SCORE 604952.5
AT ITER 7155 NEW BEST:: SOT 4364990 SOS 766494 HAS SOPS 766494 HAS SOUS 604174 HAS SOUPS 604174 WITH SCORE 604940.494
AT ITER 7163 NEW BEST:: SOT 4364198 SOS 766593 HAS SOPS 766593 HAS SOUS 603749 HAS SOUPS 603749 WITH SCORE 604515.593
AT ITER 7187 NEW BEST:: SOT 4364094 SOS 766385 HAS SOPS 766385 HAS SOUS 603541 HAS SOUPS 603541 WITH SCORE 604307.385
AT ITER 7196 NEW BEST:: SOT 4363927 SOS 766176 HAS SOPS 766176 HAS SOUS 603332 HAS SOUPS 603332 WITH SCORE 604098.176
AT ITER 7207 NEW BEST:: SOT 4363852 SOS 766026 HAS SOPS 766026 HAS SOUS 603182 HAS SOUPS 603182 WITH SCORE 603948.026
AT ITER 7228 NEW BEST:: SOT 4363914 SOS 766150 HAS SOPS 766150 HAS SOUS 603006 HAS SOUPS 603006 WITH SCORE 603772.15
AT ITER 7252 NEW BEST:: SOT 4363914 SOS 766150 HAS SOPS 766150 HAS SOUS 602962 HAS SOUPS 602962 WITH SCORE 603728.15
AT ITER 7261 NEW BEST:: SOT 4363914 SOS 766030 HAS SOPS 766030 HAS SOUS 602962 HAS SOUPS 602962 WITH SCORE 603728.03
AT ITER 7275 NEW BEST:: SOT 4363851 SOS 765450 HAS SOPS 765450 HAS SOUS 602445 HAS SOUPS 602445 WITH SCORE 603210.45
AT ITER 7285 NEW BEST:: SOT 4363751 SOS 765350 HAS SOPS 765350 HAS SOUS 602138 HAS SOUPS 602138 WITH SCORE 602903.35
AT ITER 7351 NEW BEST:: SOT 4363363 SOS 766239 HAS SOPS 766239 HAS SOUS 601935 HAS SOUPS 601935 WITH SCORE 602701.239
AT ITER 7362 NEW BEST:: SOT 4363392 SOS 766297 HAS SOPS 766297 HAS SOUS 601846 HAS SOUPS 601846 WITH SCORE 602612.297
AT ITER 7386 NEW BEST:: SOT 4363372 SOS 766285 HAS SOPS 766285 HAS SOUS 601830 HAS SOUPS 601830 WITH SCORE 602596.285
AT ITER 7412 NEW BEST:: SOT 4363199 SOS 765939 HAS SOPS 765939 HAS SOUS 601829 HAS SOUPS 601829 WITH SCORE 602594.939
AT ITER 7421 NEW BEST:: SOT 4363381 SOS 765761 HAS SOPS 765761 HAS SOUS 601469 HAS SOUPS 601469 WITH SCORE 602234.761
AT ITER 7431 NEW BEST:: SOT 4363220 SOS 765439 HAS SOPS 765439 HAS SOUS 601367 HAS SOUPS 601367 WITH SCORE 602132.439
AT ITER 7455 NEW BEST:: SOT 4362916 SOS 746309 HAS SOPS 746309 HAS SOUS 600759 HAS SOUPS 600759 WITH SCORE 601505.309
AT ITER 7502 NEW BEST:: SOT 4362837 SOS 746151 HAS SOPS 746151 HAS SOUS 600680 HAS SOUPS 600680 WITH SCORE 601426.151
AT ITER 7555 NEW BEST:: SOT 4361682 SOS 746396 HAS SOPS 746396 HAS SOUS 599890 HAS SOUPS 599890 WITH SCORE 600636.396
AT ITER 7563 NEW BEST:: SOT 4361662 SOS 746356 HAS SOPS 746356 HAS SOUS 599870 HAS SOUPS 599870 WITH SCORE 600616.356
AT ITER 7584 NEW BEST:: SOT 4360944 SOS 744920 HAS SOPS 744920 HAS SOUS 599692 HAS SOUPS 599692 WITH SCORE 600436.92
AT ITER 7586 NEW BEST:: SOT 4360937 SOS 744906 HAS SOPS 744906 HAS SOUS 599642 HAS SOUPS 599642 WITH SCORE 600386.906
AT ITER 7587 NEW BEST:: SOT 4360722 SOS 744476 HAS SOPS 744476 HAS SOUS 599212 HAS SOUPS 599212 WITH SCORE 599956.476
AT ITER 7608 NEW BEST:: SOT 4360216 SOS 744023 HAS SOPS 744023 HAS SOUS 598706 HAS SOUPS 598706 WITH SCORE 599450.023
AT ITER 7619 NEW BEST:: SOT 4360204 SOS 740883 HAS SOPS 740883 HAS SOUS 598694 HAS SOUPS 598694 WITH SCORE 599434.883
AT ITER 7621 NEW BEST:: SOT 4360114 SOS 740793 HAS SOPS 740793 HAS SOUS 598682 HAS SOUPS 598682 WITH SCORE 599422.793
AT ITER 7627 NEW BEST:: SOT 4359790 SOS 740145 HAS SOPS 740145 HAS SOUS 598517 HAS SOUPS 598517 WITH SCORE 599257.145
AT ITER 7637 NEW BEST:: SOT 4359787 SOS 740139 HAS SOPS 740139 HAS SOUS 598511 HAS SOUPS 598511 WITH SCORE 599251.139
AT ITER 7664 NEW BEST:: SOT 4359839 SOS 740143 HAS SOPS 740143 HAS SOUS 598504 HAS SOUPS 598504 WITH SCORE 599244.143
AT ITER 7676 NEW BEST:: SOT 4359928 SOS 764864 HAS SOPS 764864 HAS SOUS 598420 HAS SOUPS 598420 WITH SCORE 599184.864
AT ITER 7683 NEW BEST:: SOT 4359902 SOS 764672 HAS SOPS 764672 HAS SOUS 598368 HAS SOUPS 598368 WITH SCORE 599132.672
AT ITER 7697 NEW BEST:: SOT 4359902 SOS 764672 HAS SOPS 764672 HAS SOUS 598367 HAS SOUPS 598367 WITH SCORE 599131.672
AT ITER 7731 NEW BEST:: SOT 4359631 SOS 764130 HAS SOPS 764130 HAS SOUS 597825 HAS SOUPS 597825 WITH SCORE 598589.13
AT ITER 7741 NEW BEST:: SOT 4359599 SOS 764066 HAS SOPS 764066 HAS SOUS 597761 HAS SOUPS 597761 WITH SCORE 598525.066
AT ITER 7747 NEW BEST:: SOT 4359573 SOS 763823 HAS SOPS 763823 HAS SOUS 597752 HAS SOUPS 597752 WITH SCORE 598515.823
AT ITER 7830 NEW BEST:: SOT 4359573 SOS 763552 HAS SOPS 763552 HAS SOUS 597752 HAS SOUPS 597752 WITH SCORE 598515.552
AT ITER 7857 NEW BEST:: SOT 4359573 SOS 763076 HAS SOPS 763076 HAS SOUS 597514 HAS SOUPS 597514 WITH SCORE 598277.076
AT ITER 7872 NEW BEST:: SOT 4359296 SOS 762522 HAS SOPS 762522 HAS SOUS 597290 HAS SOUPS 597290 WITH SCORE 598052.522
AT ITER 7975 NEW BEST:: SOT 4359296 SOS 762396 HAS SOPS 762396 HAS SOUS 597290 HAS SOUPS 597290 WITH SCORE 598052.396
AT ITER 7993 NEW BEST:: SOT 4359268 SOS 762340 HAS SOPS 762340 HAS SOUS 597234 HAS SOUPS 597234 WITH SCORE 597996.34
AT ITER 8011 NEW BEST:: SOT 4359267 SOS 762338 HAS SOPS 762338 HAS SOUS 597232 HAS SOUPS 597232 WITH SCORE 597994.338
AT ITER 8038 NEW BEST:: SOT 4359266 SOS 762336 HAS SOPS 762336 HAS SOUS 597230 HAS SOUPS 597230 WITH SCORE 597992.336
AT ITER 8041 NEW BEST:: SOT 4359224 SOS 762252 HAS SOPS 762252 HAS SOUS 597135 HAS SOUPS 597135 WITH SCORE 597897.252
AT ITER 8050 NEW BEST:: SOT 4359201 SOS 762206 HAS SOPS 762206 HAS SOUS 597112 HAS SOUPS 597112 WITH SCORE 597874.206
AT ITER 8073 NEW BEST:: SOT 4359201 SOS 761916 HAS SOPS 761916 HAS SOUS 596980 HAS SOUPS 596980 WITH SCORE 597741.916
AT ITER 8088 NEW BEST:: SOT 4359112 SOS 761738 HAS SOPS 761738 HAS SOUS 596922 HAS SOUPS 596922 WITH SCORE 597683.738
AT ITER 8110 NEW BEST:: SOT 4359040 SOS 761938 HAS SOPS 761938 HAS SOUS 596909 HAS SOUPS 596909 WITH SCORE 597670.938
AT ITER 8129 NEW BEST:: SOT 4359039 SOS 761369 HAS SOPS 761369 HAS SOUS 596907 HAS SOUPS 596907 WITH SCORE 597668.369
AT ITER 8142 NEW BEST:: SOT 4359011 SOS 761313 HAS SOPS 761313 HAS SOUS 596777 HAS SOUPS 596777 WITH SCORE 597538.313
AT ITER 8162 NEW BEST:: SOT 4359011 SOS 761279 HAS SOPS 761279 HAS SOUS 596777 HAS SOUPS 596777 WITH SCORE 597538.279
AT ITER 8167 NEW BEST:: SOT 4359007 SOS 761271 HAS SOPS 761271 HAS SOUS 596773 HAS SOUPS 596773 WITH SCORE 597534.271
AT ITER 8174 NEW BEST:: SOT 4358974 SOS 761205 HAS SOPS 761205 HAS SOUS 596740 HAS SOUPS 596740 WITH SCORE 597501.205
AT ITER 8192 NEW BEST:: SOT 4358899 SOS 761055 HAS SOPS 761055 HAS SOUS 596493 HAS SOUPS 596493 WITH SCORE 597254.055
AT ITER 8221 NEW BEST:: SOT 4358769 SOS 760891 HAS SOPS 760891 HAS SOUS 596329 HAS SOUPS 596329 WITH SCORE 597089.891
AT ITER 8225 NEW BEST:: SOT 4358759 SOS 760871 HAS SOPS 760871 HAS SOUS 596309 HAS SOUPS 596309 WITH SCORE 597069.871
AT ITER 8226 NEW BEST:: SOT 4358401 SOS 760595 HAS SOPS 760595 HAS SOUS 596033 HAS SOUPS 596033 WITH SCORE 596793.595
AT ITER 8241 NEW BEST:: SOT 4358291 SOS 760546 HAS SOPS 760546 HAS SOUS 595923 HAS SOUPS 595923 WITH SCORE 596683.546
AT ITER 8270 NEW BEST:: SOT 4358178 SOS 760320 HAS SOPS 760320 HAS SOUS 595697 HAS SOUPS 595697 WITH SCORE 596457.32
AT ITER 8274 NEW BEST:: SOT 4357904 SOS 759772 HAS SOPS 759772 HAS SOUS 595149 HAS SOUPS 595149 WITH SCORE 595908.772
AT ITER 8282 NEW BEST:: SOT 4357851 SOS 759740 HAS SOPS 759740 HAS SOUS 595038 HAS SOUPS 595038 WITH SCORE 595797.74
AT ITER 8323 NEW BEST:: SOT 4357585 SOS 759740 HAS SOPS 759740 HAS SOUS 594905 HAS SOUPS 594905 WITH SCORE 595664.74
AT ITER 8347 NEW BEST:: SOT 4357440 SOS 759791 HAS SOPS 759791 HAS SOUS 594892 HAS SOUPS 594892 WITH SCORE 595651.791
AT ITER 8366 NEW BEST:: SOT 4357281 SOS 759659 HAS SOPS 759659 HAS SOUS 594760 HAS SOUPS 594760 WITH SCORE 595519.659
AT ITER 8379 NEW BEST:: SOT 4357267 SOS 759631 HAS SOPS 759631 HAS SOUS 594732 HAS SOUPS 594732 WITH SCORE 595491.631
AT ITER 8385 NEW BEST:: SOT 4356969 SOS 759631 HAS SOPS 759631 HAS SOUS 594583 HAS SOUPS 594583 WITH SCORE 595342.631
AT ITER 8399 NEW BEST:: SOT 4356820 SOS 759333 HAS SOPS 759333 HAS SOUS 594473 HAS SOUPS 594473 WITH SCORE 595232.333
AT ITER 8406 NEW BEST:: SOT 4356757 SOS 759207 HAS SOPS 759207 HAS SOUS 594473 HAS SOUPS 594473 WITH SCORE 595232.207
AT ITER 8409 NEW BEST:: SOT 4356728 SOS 759149 HAS SOPS 759149 HAS SOUS 594415 HAS SOUPS 594415 WITH SCORE 595174.149
AT ITER 8429 NEW BEST:: SOT 4356727 SOS 759147 HAS SOPS 759147 HAS SOUS 594413 HAS SOUPS 594413 WITH SCORE 595172.147
AT ITER 8444 NEW BEST:: SOT 4356664 SOS 759021 HAS SOPS 759021 HAS SOUS 594345 HAS SOUPS 594345 WITH SCORE 595104.021
AT ITER 8448 NEW BEST:: SOT 4356017 SOS 757727 HAS SOPS 757727 HAS SOUS 593715 HAS SOUPS 593715 WITH SCORE 594472.727
AT ITER 8478 NEW BEST:: SOT 4355949 SOS 757264 HAS SOPS 757264 HAS SOUS 593421 HAS SOUPS 593421 WITH SCORE 594178.264
AT ITER 8484 NEW BEST:: SOT 4355949 SOS 757264 HAS SOPS 757264 HAS SOUS 593416 HAS SOUPS 593416 WITH SCORE 594173.264
AT ITER 8496 NEW BEST:: SOT 4355948 SOS 757114 HAS SOPS 757114 HAS SOUS 593414 HAS SOUPS 593414 WITH SCORE 594171.114
AT ITER 8517 NEW BEST:: SOT 4355971 SOS 756906 HAS SOPS 756906 HAS SOUS 593206 HAS SOUPS 593206 WITH SCORE 593962.906
AT ITER 8526 NEW BEST:: SOT 4355737 SOS 756438 HAS SOPS 756438 HAS SOUS 592738 HAS SOUPS 592738 WITH SCORE 593494.438
AT ITER 8532 NEW BEST:: SOT 4355737 SOS 756433 HAS SOPS 756433 HAS SOUS 592733 HAS SOUPS 592733 WITH SCORE 593489.433
AT ITER 8542 NEW BEST:: SOT 4355713 SOS 756433 HAS SOPS 756433 HAS SOUS 592721 HAS SOUPS 592721 WITH SCORE 593477.433
AT ITER 8544 NEW BEST:: SOT 4355737 SOS 756457 HAS SOPS 756457 HAS SOUS 592711 HAS SOUPS 592711 WITH SCORE 593467.457
AT ITER 8579 NEW BEST:: SOT 4355684 SOS 756351 HAS SOPS 756351 HAS SOUS 592605 HAS SOUPS 592605 WITH SCORE 593361.351
AT ITER 8582 NEW BEST:: SOT 4355361 SOS 755705 HAS SOPS 755705 HAS SOUS 592282 HAS SOUPS 592282 WITH SCORE 593037.705
AT ITER 8632 NEW BEST:: SOT 4355214 SOS 755558 HAS SOPS 755558 HAS SOUS 592135 HAS SOUPS 592135 WITH SCORE 592890.558
AT ITER 8638 NEW BEST:: SOT 4355128 SOS 755286 HAS SOPS 755286 HAS SOUS 591949 HAS SOUPS 591949 WITH SCORE 592704.286
AT ITER 8649 NEW BEST:: SOT 4355259 SOS 755173 HAS SOPS 755173 HAS SOUS 591836 HAS SOUPS 591836 WITH SCORE 592591.173
AT ITER 8666 NEW BEST:: SOT 4354997 SOS 754649 HAS SOPS 754649 HAS SOUS 591732 HAS SOUPS 591732 WITH SCORE 592486.649
AT ITER 8674 NEW BEST:: SOT 4354937 SOS 754640 HAS SOPS 754640 HAS SOUS 591723 HAS SOUPS 591723 WITH SCORE 592477.64
AT ITER 8690 NEW BEST:: SOT 4354891 SOS 754676 HAS SOPS 754676 HAS SOUS 591718 HAS SOUPS 591718 WITH SCORE 592472.676
AT ITER 8697 NEW BEST:: SOT 4354873 SOS 754676 HAS SOPS 754676 HAS SOUS 591700 HAS SOUPS 591700 WITH SCORE 592454.676
AT ITER 8698 NEW BEST:: SOT 4354783 SOS 754586 HAS SOPS 754586 HAS SOUS 591610 HAS SOUPS 591610 WITH SCORE 592364.586
AT ITER 8709 NEW BEST:: SOT 4355023 SOS 754825 HAS SOPS 754825 HAS SOUS 591549 HAS SOUPS 591549 WITH SCORE 592303.825
AT ITER 8718 NEW BEST:: SOT 4355023 SOS 754825 HAS SOPS 754825 HAS SOUS 591384 HAS SOUPS 591384 WITH SCORE 592138.825
AT ITER 8725 NEW BEST:: SOT 4355023 SOS 754825 HAS SOPS 754825 HAS SOUS 591353 HAS SOUPS 591353 WITH SCORE 592107.825
AT ITER 8729 NEW BEST:: SOT 4355022 SOS 754823 HAS SOPS 754823 HAS SOUS 591351 HAS SOUPS 591351 WITH SCORE 592105.823
AT ITER 8750 NEW BEST:: SOT 4355021 SOS 754797 HAS SOPS 754797 HAS SOUS 591323 HAS SOUPS 591323 WITH SCORE 592077.797
AT ITER 8753 NEW BEST:: SOT 4354926 SOS 754769 HAS SOPS 754769 HAS SOUS 591295 HAS SOUPS 591295 WITH SCORE 592049.769
AT ITER 8756 NEW BEST:: SOT 4354926 SOS 754769 HAS SOPS 754769 HAS SOUS 591003 HAS SOUPS 591003 WITH SCORE 591757.769
AT ITER 8791 NEW BEST:: SOT 4354870 SOS 754657 HAS SOPS 754657 HAS SOUS 590891 HAS SOUPS 590891 WITH SCORE 591645.657
AT ITER 8794 NEW BEST:: SOT 4354845 SOS 754607 HAS SOPS 754607 HAS SOUS 590841 HAS SOUPS 590841 WITH SCORE 591595.607
AT ITER 8800 NEW BEST:: SOT 4354845 SOS 754556 HAS SOPS 754556 HAS SOUS 590790 HAS SOUPS 590790 WITH SCORE 591544.556
AT ITER 8836 NEW BEST:: SOT 4354718 SOS 754103 HAS SOPS 754103 HAS SOUS 590536 HAS SOUPS 590536 WITH SCORE 591290.103
AT ITER 8874 NEW BEST:: SOT 4354684 SOS 754035 HAS SOPS 754035 HAS SOUS 590468 HAS SOUPS 590468 WITH SCORE 591222.035
AT ITER 8893 NEW BEST:: SOT 4354657 SOS 753981 HAS SOPS 753981 HAS SOUS 590414 HAS SOUPS 590414 WITH SCORE 591167.981
AT ITER 8904 NEW BEST:: SOT 4354613 SOS 753893 HAS SOPS 753893 HAS SOUS 590370 HAS SOUPS 590370 WITH SCORE 591123.893
AT ITER 8915 NEW BEST:: SOT 4354619 SOS 753905 HAS SOPS 753905 HAS SOUS 590221 HAS SOUPS 590221 WITH SCORE 590974.905
AT ITER 8922 NEW BEST:: SOT 4354561 SOS 753789 HAS SOPS 753789 HAS SOUS 590105 HAS SOUPS 590105 WITH SCORE 590858.789
AT ITER 8936 NEW BEST:: SOT 4354340 SOS 753347 HAS SOPS 753347 HAS SOUS 589857 HAS SOUPS 589857 WITH SCORE 590610.347
AT ITER 8939 NEW BEST:: SOT 4354156 SOS 753359 HAS SOPS 753359 HAS SOUS 589767 HAS SOUPS 589767 WITH SCORE 590520.359
AT ITER 8958 NEW BEST:: SOT 4354156 SOS 753309 HAS SOPS 753309 HAS SOUS 589717 HAS SOUPS 589717 WITH SCORE 590470.309
AT ITER 8963 NEW BEST:: SOT 4354156 SOS 753285 HAS SOPS 753285 HAS SOUS 589717 HAS SOUPS 589717 WITH SCORE 590470.285
AT ITER 8965 NEW BEST:: SOT 4354127 SOS 753227 HAS SOPS 753227 HAS SOUS 589659 HAS SOUPS 589659 WITH SCORE 590412.227
AT ITER 8967 NEW BEST:: SOT 4354115 SOS 752955 HAS SOPS 752955 HAS SOUS 589548 HAS SOUPS 589548 WITH SCORE 590300.955
AT ITER 9030 NEW BEST:: SOT 4353918 SOS 752561 HAS SOPS 752561 HAS SOUS 589496 HAS SOUPS 589496 WITH SCORE 590248.561
AT ITER 9037 NEW BEST:: SOT 4353917 SOS 752559 HAS SOPS 752559 HAS SOUS 589495 HAS SOUPS 589495 WITH SCORE 590247.559
AT ITER 9042 NEW BEST:: SOT 4353711 SOS 752591 HAS SOPS 752591 HAS SOUS 589418 HAS SOUPS 589418 WITH SCORE 590170.591
AT ITER 9085 NEW BEST:: SOT 4353525 SOS 752219 HAS SOPS 752219 HAS SOUS 589388 HAS SOUPS 589388 WITH SCORE 590140.219
AT ITER 9094 NEW BEST:: SOT 4352953 SOS 751623 HAS SOPS 751623 HAS SOUS 588627 HAS SOUPS 588627 WITH SCORE 589378.623
AT ITER 9101 NEW BEST:: SOT 4352852 SOS 751421 HAS SOPS 751421 HAS SOUS 588526 HAS SOUPS 588526 WITH SCORE 589277.421
AT ITER 9132 NEW BEST:: SOT 4352506 SOS 751135 HAS SOPS 751135 HAS SOUS 588383 HAS SOUPS 588383 WITH SCORE 589134.135
AT ITER 9135 NEW BEST:: SOT 4352470 SOS 751063 HAS SOPS 751063 HAS SOUS 588262 HAS SOUPS 588262 WITH SCORE 589013.063
AT ITER 9146 NEW BEST:: SOT 4352321 SOS 750921 HAS SOPS 750921 HAS SOUS 588097 HAS SOUPS 588097 WITH SCORE 588847.921
AT ITER 9219 NEW BEST:: SOT 4352159 SOS 751314 HAS SOPS 751314 HAS SOUS 588096 HAS SOUPS 588096 WITH SCORE 588847.314
AT ITER 9314 NEW BEST:: SOT 4352159 SOS 751122 HAS SOPS 751122 HAS SOUS 588096 HAS SOUPS 588096 WITH SCORE 588847.122
AT ITER 9317 NEW BEST:: SOT 4352159 SOS 750886 HAS SOPS 750886 HAS SOUS 587978 HAS SOUPS 587978 WITH SCORE 588728.886
AT ITER 9364 NEW BEST:: SOT 4352132 SOS 750832 HAS SOPS 750832 HAS SOUS 587970 HAS SOUPS 587970 WITH SCORE 588720.832
AT ITER 9373 NEW BEST:: SOT 4352078 SOS 750724 HAS SOPS 750724 HAS SOUS 587916 HAS SOUPS 587916 WITH SCORE 588666.724
AT ITER 9380 NEW BEST:: SOT 4352012 SOS 750328 HAS SOPS 750328 HAS SOUS 587784 HAS SOUPS 587784 WITH SCORE 588534.328
AT ITER 9416 NEW BEST:: SOT 4352035 SOS 750264 HAS SOPS 750264 HAS SOUS 587720 HAS SOUPS 587720 WITH SCORE 588470.264
AT ITER 9450 NEW BEST:: SOT 4352035 SOS 750157 HAS SOPS 750157 HAS SOUS 587720 HAS SOUPS 587720 WITH SCORE 588470.157
AT ITER 9464 NEW BEST:: SOT 4352035 SOS 750119 HAS SOPS 750119 HAS SOUS 587720 HAS SOUPS 587720 WITH SCORE 588470.119
AT ITER 9517 NEW BEST:: SOT 4352035 SOS 750119 HAS SOPS 750119 HAS SOUS 587709 HAS SOUPS 587709 WITH SCORE 588459.119
AT ITER 9535 NEW BEST:: SOT 4352021 SOS 750091 HAS SOPS 750091 HAS SOUS 587681 HAS SOUPS 587681 WITH SCORE 588431.091
AT ITER 9644 NEW BEST:: SOT 4351954 SOS 749957 HAS SOPS 749957 HAS SOUS 587547 HAS SOUPS 587547 WITH SCORE 588296.957
AT ITER 9645 NEW BEST:: SOT 4350756 SOS 752465 HAS SOPS 752465 HAS SOUS 587020 HAS SOUPS 587020 WITH SCORE 587772.465
AT ITER 9648 NEW BEST:: SOT 4350628 SOS 752209 HAS SOPS 752209 HAS SOUS 586764 HAS SOUPS 586764 WITH SCORE 587516.209
AT ITER 9680 NEW BEST:: SOT 4350628 SOS 751859 HAS SOPS 751859 HAS SOUS 586589 HAS SOUPS 586589 WITH SCORE 587340.859
AT ITER 9740 NEW BEST:: SOT 4350669 SOS 751760 HAS SOPS 751760 HAS SOUS 586490 HAS SOUPS 586490 WITH SCORE 587241.76
AT ITER 9767 NEW BEST:: SOT 4350651 SOS 751472 HAS SOPS 751472 HAS SOUS 586213 HAS SOUPS 586213 WITH SCORE 586964.472
AT ITER 9777 NEW BEST:: SOT 4350309 SOS 751816 HAS SOPS 751816 HAS SOUS 585911 HAS SOUPS 585911 WITH SCORE 586662.816
AT ITER 9802 NEW BEST:: SOT 4350300 SOS 751798 HAS SOPS 751798 HAS SOUS 585893 HAS SOUPS 585893 WITH SCORE 586644.798
AT ITER 9804 NEW BEST:: SOT 4350270 SOS 751738 HAS SOPS 751738 HAS SOUS 585848 HAS SOUPS 585848 WITH SCORE 586599.738
AT ITER 9924 NEW BEST:: SOT 4350198 SOS 751594 HAS SOPS 751594 HAS SOUS 585704 HAS SOUPS 585704 WITH SCORE 586455.594
AT ITER 9943 NEW BEST:: SOT 4350008 SOS 751214 HAS SOPS 751214 HAS SOUS 585324 HAS SOUPS 585324 WITH SCORE 586075.214
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 10923660 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16121908 kB

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
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-308"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
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 smartxred"
echo " Input is CloudReconfiguration-PT-308, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r107-tall-167814483700064"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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