fond
Model Checking Contest 2023
13th edition, Paris, France, April 26, 2023 (at TOOLympics II)
Execution of r099-tall-167814471900080
Last Updated
May 14, 2023

About the Execution of Smart for CloudReconfiguration-PT-310

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
3365.899 3600000.00 3600100.00 9.90 [undef] Time out reached

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 6.7K Feb 25 11:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 71K Feb 25 11:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.7K Feb 25 11:49 CTLFireability.txt
-rw-r--r-- 1 mcc users 48K 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.0K Feb 25 15:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K 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 9.8K Feb 25 11:50 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 95K Feb 25 11:50 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.4K Feb 25 11:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 59K 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 1678222470945

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-310
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 310
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 4442383 SOS 722657 HAS SOPS 722657 HAS SOUS 696293 HAS SOUPS 696293 WITH SCORE 697015.657
AT ITER 18 NEW BEST:: SOT 4442051 SOS 722325 HAS SOPS 722325 HAS SOUS 695961 HAS SOUPS 695961 WITH SCORE 696683.325
AT ITER 27 NEW BEST:: SOT 4441373 SOS 721859 HAS SOPS 721859 HAS SOUS 695294 HAS SOUPS 695294 WITH SCORE 696015.859
AT ITER 41 NEW BEST:: SOT 4441373 SOS 721859 HAS SOPS 721859 HAS SOUS 695293 HAS SOUPS 695293 WITH SCORE 696014.859
AT ITER 60 NEW BEST:: SOT 4441372 SOS 721857 HAS SOPS 721857 HAS SOUS 695291 HAS SOUPS 695291 WITH SCORE 696012.857
AT ITER 76 NEW BEST:: SOT 4441372 SOS 721857 HAS SOPS 721857 HAS SOUS 695251 HAS SOUPS 695251 WITH SCORE 695972.857
AT ITER 92 NEW BEST:: SOT 4441243 SOS 721728 HAS SOPS 721728 HAS SOUS 695122 HAS SOUPS 695122 WITH SCORE 695843.728
AT ITER 109 NEW BEST:: SOT 4441243 SOS 721605 HAS SOPS 721605 HAS SOUS 694999 HAS SOUPS 694999 WITH SCORE 695720.605
AT ITER 132 NEW BEST:: SOT 4441128 SOS 721521 HAS SOPS 721521 HAS SOUS 694898 HAS SOUPS 694898 WITH SCORE 695619.521
AT ITER 143 NEW BEST:: SOT 4441023 SOS 721311 HAS SOPS 721311 HAS SOUS 694688 HAS SOUPS 694688 WITH SCORE 695409.311
AT ITER 149 NEW BEST:: SOT 4441023 SOS 721311 HAS SOPS 721311 HAS SOUS 694660 HAS SOUPS 694660 WITH SCORE 695381.311
AT ITER 178 NEW BEST:: SOT 4440748 SOS 721310 HAS SOPS 721310 HAS SOUS 694659 HAS SOUPS 694659 WITH SCORE 695380.31
AT ITER 183 NEW BEST:: SOT 4440748 SOS 721284 HAS SOPS 721284 HAS SOUS 694633 HAS SOUPS 694633 WITH SCORE 695354.284
AT ITER 200 NEW BEST:: SOT 4440475 SOS 721283 HAS SOPS 721283 HAS SOUS 694632 HAS SOUPS 694632 WITH SCORE 695353.283
AT ITER 212 NEW BEST:: SOT 4440475 SOS 721282 HAS SOPS 721282 HAS SOUS 694623 HAS SOUPS 694623 WITH SCORE 695344.282
AT ITER 278 NEW BEST:: SOT 4440475 SOS 721236 HAS SOPS 721236 HAS SOUS 694577 HAS SOUPS 694577 WITH SCORE 695298.236
AT ITER 301 NEW BEST:: SOT 4440474 SOS 721234 HAS SOPS 721234 HAS SOUS 694575 HAS SOUPS 694575 WITH SCORE 695296.234
AT ITER 317 NEW BEST:: SOT 4440445 SOS 721176 HAS SOPS 721176 HAS SOUS 694425 HAS SOUPS 694425 WITH SCORE 695146.176
AT ITER 332 NEW BEST:: SOT 4440444 SOS 721173 HAS SOPS 721173 HAS SOUS 694422 HAS SOUPS 694422 WITH SCORE 695143.173
AT ITER 366 NEW BEST:: SOT 4440422 SOS 721129 HAS SOPS 721129 HAS SOUS 694378 HAS SOUPS 694378 WITH SCORE 695099.129
AT ITER 368 NEW BEST:: SOT 4440441 SOS 721167 HAS SOPS 721167 HAS SOUS 694270 HAS SOUPS 694270 WITH SCORE 694991.167
AT ITER 379 NEW BEST:: SOT 4439687 SOS 720183 HAS SOPS 720183 HAS SOUS 693286 HAS SOUPS 693286 WITH SCORE 694006.183
AT ITER 396 NEW BEST:: SOT 4439542 SOS 720233 HAS SOPS 720233 HAS SOUS 693219 HAS SOUPS 693219 WITH SCORE 693939.233
AT ITER 429 NEW BEST:: SOT 4439417 SOS 719858 HAS SOPS 719858 HAS SOUS 692969 HAS SOUPS 692969 WITH SCORE 693688.858
AT ITER 430 NEW BEST:: SOT 4439333 SOS 719774 HAS SOPS 719774 HAS SOUS 692885 HAS SOUPS 692885 WITH SCORE 693604.774
AT ITER 447 NEW BEST:: SOT 4439262 SOS 719632 HAS SOPS 719632 HAS SOUS 692488 HAS SOUPS 692488 WITH SCORE 693207.632
AT ITER 453 NEW BEST:: SOT 4439252 SOS 719622 HAS SOPS 719622 HAS SOUS 692478 HAS SOUPS 692478 WITH SCORE 693197.622
AT ITER 460 NEW BEST:: SOT 4439243 SOS 719604 HAS SOPS 719604 HAS SOUS 692460 HAS SOUPS 692460 WITH SCORE 693179.604
AT ITER 501 NEW BEST:: SOT 4438769 SOS 719107 HAS SOPS 719107 HAS SOUS 691911 HAS SOUPS 691911 WITH SCORE 692630.107
AT ITER 547 NEW BEST:: SOT 4438813 SOS 718948 HAS SOPS 718948 HAS SOUS 691752 HAS SOUPS 691752 WITH SCORE 692470.948
AT ITER 588 NEW BEST:: SOT 4438520 SOS 718362 HAS SOPS 718362 HAS SOUS 691166 HAS SOUPS 691166 WITH SCORE 691884.362
AT ITER 592 NEW BEST:: SOT 4438479 SOS 718210 HAS SOPS 718210 HAS SOUS 691125 HAS SOUPS 691125 WITH SCORE 691843.21
AT ITER 610 NEW BEST:: SOT 4438479 SOS 718209 HAS SOPS 718209 HAS SOUS 691124 HAS SOUPS 691124 WITH SCORE 691842.209
AT ITER 627 NEW BEST:: SOT 4438426 SOS 718221 HAS SOPS 718221 HAS SOUS 691071 HAS SOUPS 691071 WITH SCORE 691789.221
AT ITER 631 NEW BEST:: SOT 4438442 SOS 718253 HAS SOPS 718253 HAS SOUS 690960 HAS SOUPS 690960 WITH SCORE 691678.253
AT ITER 632 NEW BEST:: SOT 4438441 SOS 718251 HAS SOPS 718251 HAS SOUS 690959 HAS SOUPS 690959 WITH SCORE 691677.251
AT ITER 644 NEW BEST:: SOT 4438333 SOS 718035 HAS SOPS 718035 HAS SOUS 690567 HAS SOUPS 690567 WITH SCORE 691285.035
AT ITER 656 NEW BEST:: SOT 4438101 SOS 717803 HAS SOPS 717803 HAS SOUS 690335 HAS SOUPS 690335 WITH SCORE 691052.803
AT ITER 693 NEW BEST:: SOT 4438128 SOS 717857 HAS SOPS 717857 HAS SOUS 690099 HAS SOUPS 690099 WITH SCORE 690816.857
AT ITER 738 NEW BEST:: SOT 4436360 SOS 721076 HAS SOPS 721076 HAS SOUS 688825 HAS SOUPS 688825 WITH SCORE 689546.076
AT ITER 774 NEW BEST:: SOT 4435869 SOS 724042 HAS SOPS 724042 HAS SOUS 688794 HAS SOUPS 688794 WITH SCORE 689518.042
AT ITER 797 NEW BEST:: SOT 4435869 SOS 723999 HAS SOPS 723999 HAS SOUS 688751 HAS SOUPS 688751 WITH SCORE 689474.999
AT ITER 808 NEW BEST:: SOT 4435527 SOS 723543 HAS SOPS 723543 HAS SOUS 688295 HAS SOUPS 688295 WITH SCORE 689018.543
AT ITER 849 NEW BEST:: SOT 4435463 SOS 723486 HAS SOPS 723486 HAS SOUS 688167 HAS SOUPS 688167 WITH SCORE 688890.486
AT ITER 860 NEW BEST:: SOT 4435331 SOS 723354 HAS SOPS 723354 HAS SOUS 688035 HAS SOUPS 688035 WITH SCORE 688758.354
AT ITER 893 NEW BEST:: SOT 4435096 SOS 723769 HAS SOPS 723769 HAS SOUS 687915 HAS SOUPS 687915 WITH SCORE 688638.769
AT ITER 894 NEW BEST:: SOT 4434882 SOS 723556 HAS SOPS 723556 HAS SOUS 687915 HAS SOUPS 687915 WITH SCORE 688638.556
AT ITER 901 NEW BEST:: SOT 4434960 SOS 723712 HAS SOPS 723712 HAS SOUS 687848 HAS SOUPS 687848 WITH SCORE 688571.712
AT ITER 904 NEW BEST:: SOT 4434604 SOS 723488 HAS SOPS 723488 HAS SOUS 687588 HAS SOUPS 687588 WITH SCORE 688311.488
AT ITER 910 NEW BEST:: SOT 4434272 SOS 723156 HAS SOPS 723156 HAS SOUS 687256 HAS SOUPS 687256 WITH SCORE 687979.156
AT ITER 916 NEW BEST:: SOT 4434271 SOS 723116 HAS SOPS 723116 HAS SOUS 687216 HAS SOUPS 687216 WITH SCORE 687939.116
AT ITER 922 NEW BEST:: SOT 4434270 SOS 723114 HAS SOPS 723114 HAS SOUS 687214 HAS SOUPS 687214 WITH SCORE 687937.114
AT ITER 956 NEW BEST:: SOT 4434431 SOS 722902 HAS SOPS 722902 HAS SOUS 687108 HAS SOUPS 687108 WITH SCORE 687830.902
AT ITER 958 NEW BEST:: SOT 4434251 SOS 722722 HAS SOPS 722722 HAS SOUS 686928 HAS SOUPS 686928 WITH SCORE 687650.722
AT ITER 992 NEW BEST:: SOT 4434106 SOS 722432 HAS SOPS 722432 HAS SOUS 686638 HAS SOUPS 686638 WITH SCORE 687360.432
AT ITER 1026 NEW BEST:: SOT 4433975 SOS 722170 HAS SOPS 722170 HAS SOUS 686376 HAS SOUPS 686376 WITH SCORE 687098.17
AT ITER 1052 NEW BEST:: SOT 4433519 SOS 722170 HAS SOPS 722170 HAS SOUS 686148 HAS SOUPS 686148 WITH SCORE 686870.17
AT ITER 1055 NEW BEST:: SOT 4433416 SOS 721964 HAS SOPS 721964 HAS SOUS 685942 HAS SOUPS 685942 WITH SCORE 686663.964
AT ITER 1059 NEW BEST:: SOT 4433426 SOS 721984 HAS SOPS 721984 HAS SOUS 685792 HAS SOUPS 685792 WITH SCORE 686513.984
AT ITER 1074 NEW BEST:: SOT 4433140 SOS 718388 HAS SOPS 718388 HAS SOUS 685084 HAS SOUPS 685084 WITH SCORE 685802.388
AT ITER 1076 NEW BEST:: SOT 4433065 SOS 718238 HAS SOPS 718238 HAS SOUS 684934 HAS SOUPS 684934 WITH SCORE 685652.238
AT ITER 1117 NEW BEST:: SOT 4432795 SOS 717968 HAS SOPS 717968 HAS SOUS 684664 HAS SOUPS 684664 WITH SCORE 685381.968
AT ITER 1123 NEW BEST:: SOT 4432468 SOS 717314 HAS SOPS 717314 HAS SOUS 684010 HAS SOUPS 684010 WITH SCORE 684727.314
AT ITER 1134 NEW BEST:: SOT 4431596 SOS 716550 HAS SOPS 716550 HAS SOUS 683159 HAS SOUPS 683159 WITH SCORE 683875.55
AT ITER 1154 NEW BEST:: SOT 4431497 SOS 716352 HAS SOPS 716352 HAS SOUS 682961 HAS SOUPS 682961 WITH SCORE 683677.352
AT ITER 1237 NEW BEST:: SOT 4431324 SOS 716005 HAS SOPS 716005 HAS SOUS 682614 HAS SOUPS 682614 WITH SCORE 683330.005
AT ITER 1245 NEW BEST:: SOT 4431194 SOS 715925 HAS SOPS 715925 HAS SOUS 682495 HAS SOUPS 682495 WITH SCORE 683210.925
AT ITER 1251 NEW BEST:: SOT 4431194 SOS 715834 HAS SOPS 715834 HAS SOUS 682404 HAS SOUPS 682404 WITH SCORE 683119.834
AT ITER 1259 NEW BEST:: SOT 4431112 SOS 715670 HAS SOPS 715670 HAS SOUS 682240 HAS SOUPS 682240 WITH SCORE 682955.67
AT ITER 1327 NEW BEST:: SOT 4430998 SOS 715442 HAS SOPS 715442 HAS SOUS 682012 HAS SOUPS 682012 WITH SCORE 682727.442
AT ITER 1361 NEW BEST:: SOT 4430998 SOS 715442 HAS SOPS 715442 HAS SOUS 681855 HAS SOUPS 681855 WITH SCORE 682570.442
AT ITER 1366 NEW BEST:: SOT 4430997 SOS 715341 HAS SOPS 715341 HAS SOUS 681854 HAS SOUPS 681854 WITH SCORE 682569.341
AT ITER 1380 NEW BEST:: SOT 4430981 SOS 715378 HAS SOPS 715378 HAS SOUS 681838 HAS SOUPS 681838 WITH SCORE 682553.378
AT ITER 1394 NEW BEST:: SOT 4430911 SOS 715168 HAS SOPS 715168 HAS SOUS 681698 HAS SOUPS 681698 WITH SCORE 682413.168
AT ITER 1398 NEW BEST:: SOT 4430795 SOS 714936 HAS SOPS 714936 HAS SOUS 681466 HAS SOUPS 681466 WITH SCORE 682180.936
AT ITER 1404 NEW BEST:: SOT 4430566 SOS 714478 HAS SOPS 714478 HAS SOUS 681008 HAS SOUPS 681008 WITH SCORE 681722.478
AT ITER 1405 NEW BEST:: SOT 4430566 SOS 714440 HAS SOPS 714440 HAS SOUS 680970 HAS SOUPS 680970 WITH SCORE 681684.44
AT ITER 1414 NEW BEST:: SOT 4421101 SOS 762416 HAS SOPS 762416 HAS SOUS 674274 HAS SOUPS 674274 WITH SCORE 675036.416
AT ITER 1415 NEW BEST:: SOT 4421099 SOS 762412 HAS SOPS 762412 HAS SOUS 674272 HAS SOUPS 674272 WITH SCORE 675034.412
AT ITER 1426 NEW BEST:: SOT 4421099 SOS 762412 HAS SOPS 762412 HAS SOUS 674250 HAS SOUPS 674250 WITH SCORE 675012.412
AT ITER 1450 NEW BEST:: SOT 4420633 SOS 761480 HAS SOPS 761480 HAS SOUS 673892 HAS SOUPS 673892 WITH SCORE 674653.48
AT ITER 1455 NEW BEST:: SOT 4420591 SOS 761354 HAS SOPS 761354 HAS SOUS 673850 HAS SOUPS 673850 WITH SCORE 674611.354
AT ITER 1473 NEW BEST:: SOT 4420568 SOS 760268 HAS SOPS 760268 HAS SOUS 673600 HAS SOUPS 673600 WITH SCORE 674360.268
AT ITER 1525 NEW BEST:: SOT 4420582 SOS 760296 HAS SOPS 760296 HAS SOUS 673190 HAS SOUPS 673190 WITH SCORE 673950.296
AT ITER 1530 NEW BEST:: SOT 4420503 SOS 760138 HAS SOPS 760138 HAS SOUS 673032 HAS SOUPS 673032 WITH SCORE 673792.138
AT ITER 1532 NEW BEST:: SOT 4420301 SOS 759992 HAS SOPS 759992 HAS SOUS 672830 HAS SOUPS 672830 WITH SCORE 673589.992
AT ITER 1557 NEW BEST:: SOT 4420314 SOS 760018 HAS SOPS 760018 HAS SOUS 672570 HAS SOUPS 672570 WITH SCORE 673330.018
AT ITER 1561 NEW BEST:: SOT 4420288 SOS 759526 HAS SOPS 759526 HAS SOUS 672389 HAS SOUPS 672389 WITH SCORE 673148.526
AT ITER 1569 NEW BEST:: SOT 4420230 SOS 759410 HAS SOPS 759410 HAS SOUS 672331 HAS SOUPS 672331 WITH SCORE 673090.41
AT ITER 1571 NEW BEST:: SOT 4420070 SOS 759250 HAS SOPS 759250 HAS SOUS 672171 HAS SOUPS 672171 WITH SCORE 672930.25
AT ITER 1577 NEW BEST:: SOT 4419909 SOS 759089 HAS SOPS 759089 HAS SOUS 672010 HAS SOUPS 672010 WITH SCORE 672769.089
AT ITER 1690 NEW BEST:: SOT 4419908 SOS 759087 HAS SOPS 759087 HAS SOUS 672008 HAS SOUPS 672008 WITH SCORE 672767.087
AT ITER 1692 NEW BEST:: SOT 4419960 SOS 759006 HAS SOPS 759006 HAS SOUS 671927 HAS SOUPS 671927 WITH SCORE 672686.006
AT ITER 1722 NEW BEST:: SOT 4419960 SOS 758853 HAS SOPS 758853 HAS SOUS 671927 HAS SOUPS 671927 WITH SCORE 672685.853
AT ITER 1750 NEW BEST:: SOT 4419874 SOS 758681 HAS SOPS 758681 HAS SOUS 671665 HAS SOUPS 671665 WITH SCORE 672423.681
AT ITER 1775 NEW BEST:: SOT 4419857 SOS 758664 HAS SOPS 758664 HAS SOUS 671648 HAS SOUPS 671648 WITH SCORE 672406.664
AT ITER 1796 NEW BEST:: SOT 4419857 SOS 758664 HAS SOPS 758664 HAS SOUS 671444 HAS SOUPS 671444 WITH SCORE 672202.664
AT ITER 1802 NEW BEST:: SOT 4419847 SOS 758687 HAS SOPS 758687 HAS SOUS 671414 HAS SOUPS 671414 WITH SCORE 672172.687
AT ITER 1824 NEW BEST:: SOT 4419535 SOS 758063 HAS SOPS 758063 HAS SOUS 671109 HAS SOUPS 671109 WITH SCORE 671867.063
AT ITER 1832 NEW BEST:: SOT 4419535 SOS 758047 HAS SOPS 758047 HAS SOUS 671093 HAS SOUPS 671093 WITH SCORE 671851.047
AT ITER 1835 NEW BEST:: SOT 4419538 SOS 757801 HAS SOPS 757801 HAS SOUS 670972 HAS SOUPS 670972 WITH SCORE 671729.801
AT ITER 1865 NEW BEST:: SOT 4419346 SOS 757417 HAS SOPS 757417 HAS SOUS 670588 HAS SOUPS 670588 WITH SCORE 671345.417
AT ITER 1871 NEW BEST:: SOT 4419314 SOS 757353 HAS SOPS 757353 HAS SOUS 670524 HAS SOUPS 670524 WITH SCORE 671281.353
AT ITER 1874 NEW BEST:: SOT 4419289 SOS 757303 HAS SOPS 757303 HAS SOUS 670474 HAS SOUPS 670474 WITH SCORE 671231.303
AT ITER 1881 NEW BEST:: SOT 4418964 SOS 756653 HAS SOPS 756653 HAS SOUS 669666 HAS SOUPS 669666 WITH SCORE 670422.653
AT ITER 1898 NEW BEST:: SOT 4418930 SOS 756585 HAS SOPS 756585 HAS SOUS 669632 HAS SOUPS 669632 WITH SCORE 670388.585
AT ITER 1904 NEW BEST:: SOT 4418841 SOS 756407 HAS SOPS 756407 HAS SOUS 669579 HAS SOUPS 669579 WITH SCORE 670335.407
AT ITER 1906 NEW BEST:: SOT 4418406 SOS 756365 HAS SOPS 756365 HAS SOUS 669341 HAS SOUPS 669341 WITH SCORE 670097.365
AT ITER 1919 NEW BEST:: SOT 4418405 SOS 756235 HAS SOPS 756235 HAS SOUS 669340 HAS SOUPS 669340 WITH SCORE 670096.235
AT ITER 1954 NEW BEST:: SOT 4418405 SOS 756157 HAS SOPS 756157 HAS SOUS 669062 HAS SOUPS 669062 WITH SCORE 669818.157
AT ITER 1955 NEW BEST:: SOT 4418405 SOS 756157 HAS SOPS 756157 HAS SOUS 668971 HAS SOUPS 668971 WITH SCORE 669727.157
AT ITER 1968 NEW BEST:: SOT 4418405 SOS 755805 HAS SOPS 755805 HAS SOUS 668795 HAS SOUPS 668795 WITH SCORE 669550.805
AT ITER 1976 NEW BEST:: SOT 4418405 SOS 755690 HAS SOPS 755690 HAS SOUS 668680 HAS SOUPS 668680 WITH SCORE 669435.69
AT ITER 2055 NEW BEST:: SOT 4418578 SOS 756036 HAS SOPS 756036 HAS SOUS 668674 HAS SOUPS 668674 WITH SCORE 669430.036
AT ITER 2080 NEW BEST:: SOT 4418637 SOS 755962 HAS SOPS 755962 HAS SOUS 668669 HAS SOUPS 668669 WITH SCORE 669424.962
AT ITER 2108 NEW BEST:: SOT 4418630 SOS 755948 HAS SOPS 755948 HAS SOUS 668655 HAS SOUPS 668655 WITH SCORE 669410.948
AT ITER 2119 NEW BEST:: SOT 4418567 SOS 755958 HAS SOPS 755958 HAS SOUS 668592 HAS SOUPS 668592 WITH SCORE 669347.958
AT ITER 2131 NEW BEST:: SOT 4418567 SOS 755773 HAS SOPS 755773 HAS SOUS 668407 HAS SOUPS 668407 WITH SCORE 669162.773
AT ITER 2142 NEW BEST:: SOT 4418490 SOS 755619 HAS SOPS 755619 HAS SOUS 668253 HAS SOUPS 668253 WITH SCORE 669008.619
AT ITER 2157 NEW BEST:: SOT 4418435 SOS 755751 HAS SOPS 755751 HAS SOUS 668198 HAS SOUPS 668198 WITH SCORE 668953.751
AT ITER 2167 NEW BEST:: SOT 4418298 SOS 755845 HAS SOPS 755845 HAS SOUS 668173 HAS SOUPS 668173 WITH SCORE 668928.845
AT ITER 2231 NEW BEST:: SOT 4418298 SOS 755658 HAS SOPS 755658 HAS SOUS 668173 HAS SOUPS 668173 WITH SCORE 668928.658
AT ITER 2243 NEW BEST:: SOT 4418298 SOS 755618 HAS SOPS 755618 HAS SOUS 668153 HAS SOUPS 668153 WITH SCORE 668908.618
AT ITER 2284 NEW BEST:: SOT 4415138 SOS 778824 HAS SOPS 778824 HAS SOUS 665980 HAS SOUPS 665980 WITH SCORE 666758.824
AT ITER 2293 NEW BEST:: SOT 4414900 SOS 778348 HAS SOPS 778348 HAS SOUS 665504 HAS SOUPS 665504 WITH SCORE 666282.348
AT ITER 2337 NEW BEST:: SOT 4414711 SOS 778174 HAS SOPS 778174 HAS SOUS 665330 HAS SOUPS 665330 WITH SCORE 666108.174
AT ITER 2348 NEW BEST:: SOT 4414691 SOS 778134 HAS SOPS 778134 HAS SOUS 665290 HAS SOUPS 665290 WITH SCORE 666068.134
AT ITER 2362 NEW BEST:: SOT 4414675 SOS 778110 HAS SOPS 778110 HAS SOUS 665266 HAS SOUPS 665266 WITH SCORE 666044.11
AT ITER 2413 NEW BEST:: SOT 4414630 SOS 778020 HAS SOPS 778020 HAS SOUS 665176 HAS SOUPS 665176 WITH SCORE 665954.02
AT ITER 2426 NEW BEST:: SOT 4414407 SOS 777797 HAS SOPS 777797 HAS SOUS 664953 HAS SOUPS 664953 WITH SCORE 665730.797
AT ITER 2431 NEW BEST:: SOT 4414347 SOS 777677 HAS SOPS 777677 HAS SOUS 664833 HAS SOUPS 664833 WITH SCORE 665610.677
AT ITER 2435 NEW BEST:: SOT 4414123 SOS 777496 HAS SOPS 777496 HAS SOUS 664609 HAS SOUPS 664609 WITH SCORE 665386.496
AT ITER 2449 NEW BEST:: SOT 4414077 SOS 777404 HAS SOPS 777404 HAS SOUS 664517 HAS SOUPS 664517 WITH SCORE 665294.404
AT ITER 2455 NEW BEST:: SOT 4413924 SOS 777097 HAS SOPS 777097 HAS SOUS 664109 HAS SOUPS 664109 WITH SCORE 664886.097
AT ITER 2459 NEW BEST:: SOT 4413882 SOS 777013 HAS SOPS 777013 HAS SOUS 664025 HAS SOUPS 664025 WITH SCORE 664802.013
AT ITER 2461 NEW BEST:: SOT 4413755 SOS 777013 HAS SOPS 777013 HAS SOUS 664024 HAS SOUPS 664024 WITH SCORE 664801.013
AT ITER 2475 NEW BEST:: SOT 4413755 SOS 777013 HAS SOPS 777013 HAS SOUS 663980 HAS SOUPS 663980 WITH SCORE 664757.013
AT ITER 2519 NEW BEST:: SOT 4413901 SOS 777304 HAS SOPS 777304 HAS SOUS 663914 HAS SOUPS 663914 WITH SCORE 664691.304
AT ITER 2539 NEW BEST:: SOT 4413975 SOS 777452 HAS SOPS 777452 HAS SOUS 663744 HAS SOUPS 663744 WITH SCORE 664521.452
AT ITER 2543 NEW BEST:: SOT 4413429 SOS 778485 HAS SOPS 778485 HAS SOUS 663620 HAS SOUPS 663620 WITH SCORE 664398.485
AT ITER 2562 NEW BEST:: SOT 4413377 SOS 778381 HAS SOPS 778381 HAS SOUS 663516 HAS SOUPS 663516 WITH SCORE 664294.381
AT ITER 2566 NEW BEST:: SOT 4413499 SOS 778625 HAS SOPS 778625 HAS SOUS 663502 HAS SOUPS 663502 WITH SCORE 664280.625
AT ITER 2585 NEW BEST:: SOT 4413500 SOS 778627 HAS SOPS 778627 HAS SOUS 663487 HAS SOUPS 663487 WITH SCORE 664265.627
AT ITER 2645 NEW BEST:: SOT 4413385 SOS 778397 HAS SOPS 778397 HAS SOUS 663204 HAS SOUPS 663204 WITH SCORE 663982.397
AT ITER 2647 NEW BEST:: SOT 4413384 SOS 778395 HAS SOPS 778395 HAS SOUS 663202 HAS SOUPS 663202 WITH SCORE 663980.395
AT ITER 2661 NEW BEST:: SOT 4413384 SOS 778394 HAS SOPS 778394 HAS SOUS 663201 HAS SOUPS 663201 WITH SCORE 663979.394
AT ITER 2663 NEW BEST:: SOT 4413384 SOS 778394 HAS SOPS 778394 HAS SOUS 663174 HAS SOUPS 663174 WITH SCORE 663952.394
AT ITER 2667 NEW BEST:: SOT 4413384 SOS 778366 HAS SOPS 778366 HAS SOUS 663146 HAS SOUPS 663146 WITH SCORE 663924.366
AT ITER 2688 NEW BEST:: SOT 4412999 SOS 777596 HAS SOPS 777596 HAS SOUS 662960 HAS SOUPS 662960 WITH SCORE 663737.596
AT ITER 2700 NEW BEST:: SOT 4413032 SOS 777662 HAS SOPS 777662 HAS SOUS 662837 HAS SOUPS 662837 WITH SCORE 663614.662
AT ITER 2701 NEW BEST:: SOT 4412996 SOS 777626 HAS SOPS 777626 HAS SOUS 662801 HAS SOUPS 662801 WITH SCORE 663578.626
AT ITER 2722 NEW BEST:: SOT 4412996 SOS 777625 HAS SOPS 777625 HAS SOUS 662800 HAS SOUPS 662800 WITH SCORE 663577.625
AT ITER 2750 NEW BEST:: SOT 4413122 SOS 777524 HAS SOPS 777524 HAS SOUS 662718 HAS SOUPS 662718 WITH SCORE 663495.524
AT ITER 2753 NEW BEST:: SOT 4413122 SOS 777495 HAS SOPS 777495 HAS SOUS 662674 HAS SOUPS 662674 WITH SCORE 663451.495
AT ITER 2774 NEW BEST:: SOT 4412962 SOS 777495 HAS SOPS 777495 HAS SOUS 662569 HAS SOUPS 662569 WITH SCORE 663346.495
AT ITER 2794 NEW BEST:: SOT 4413287 SOS 777669 HAS SOPS 777669 HAS SOUS 662454 HAS SOUPS 662454 WITH SCORE 663231.669
AT ITER 2803 NEW BEST:: SOT 4413286 SOS 777667 HAS SOPS 777667 HAS SOUS 662452 HAS SOUPS 662452 WITH SCORE 663229.667
AT ITER 2818 NEW BEST:: SOT 4413241 SOS 777622 HAS SOPS 777622 HAS SOUS 662355 HAS SOUPS 662355 WITH SCORE 663132.622
AT ITER 2859 NEW BEST:: SOT 4412944 SOS 777325 HAS SOPS 777325 HAS SOUS 662058 HAS SOUPS 662058 WITH SCORE 662835.325
AT ITER 2936 NEW BEST:: SOT 4412859 SOS 777301 HAS SOPS 777301 HAS SOUS 662034 HAS SOUPS 662034 WITH SCORE 662811.301
AT ITER 2939 NEW BEST:: SOT 4412489 SOS 776561 HAS SOPS 776561 HAS SOUS 662034 HAS SOUPS 662034 WITH SCORE 662810.561
AT ITER 2940 NEW BEST:: SOT 4412489 SOS 776560 HAS SOPS 776560 HAS SOUS 662033 HAS SOUPS 662033 WITH SCORE 662809.56
AT ITER 2943 NEW BEST:: SOT 4412423 SOS 776428 HAS SOPS 776428 HAS SOUS 661901 HAS SOUPS 661901 WITH SCORE 662677.428
AT ITER 2949 NEW BEST:: SOT 4412371 SOS 776324 HAS SOPS 776324 HAS SOUS 661797 HAS SOUPS 661797 WITH SCORE 662573.324
AT ITER 2977 NEW BEST:: SOT 4412226 SOS 776658 HAS SOPS 776658 HAS SOUS 661718 HAS SOUPS 661718 WITH SCORE 662494.658
AT ITER 2998 NEW BEST:: SOT 4412208 SOS 776622 HAS SOPS 776622 HAS SOUS 661700 HAS SOUPS 661700 WITH SCORE 662476.622
AT ITER 3009 NEW BEST:: SOT 4412318 SOS 776570 HAS SOPS 776570 HAS SOUS 661649 HAS SOUPS 661649 WITH SCORE 662425.57
AT ITER 3010 NEW BEST:: SOT 4412264 SOS 776515 HAS SOPS 776515 HAS SOUS 661648 HAS SOUPS 661648 WITH SCORE 662424.515
AT ITER 3030 NEW BEST:: SOT 4412128 SOS 776243 HAS SOPS 776243 HAS SOUS 661376 HAS SOUPS 661376 WITH SCORE 662152.243
AT ITER 3049 NEW BEST:: SOT 4412081 SOS 776200 HAS SOPS 776200 HAS SOUS 661333 HAS SOUPS 661333 WITH SCORE 662109.2
AT ITER 3057 NEW BEST:: SOT 4411880 SOS 776056 HAS SOPS 776056 HAS SOUS 661156 HAS SOUPS 661156 WITH SCORE 661932.056
AT ITER 3084 NEW BEST:: SOT 4411763 SOS 775822 HAS SOPS 775822 HAS SOUS 660922 HAS SOUPS 660922 WITH SCORE 661697.822
AT ITER 3095 NEW BEST:: SOT 4405646 SOS 774423 HAS SOPS 774423 HAS SOUS 655308 HAS SOUPS 655308 WITH SCORE 656082.423
AT ITER 3099 NEW BEST:: SOT 4405646 SOS 774418 HAS SOPS 774418 HAS SOUS 655303 HAS SOUPS 655303 WITH SCORE 656077.418
AT ITER 3111 NEW BEST:: SOT 4405511 SOS 774283 HAS SOPS 774283 HAS SOUS 655168 HAS SOUPS 655168 WITH SCORE 655942.283
AT ITER 3122 NEW BEST:: SOT 4403991 SOS 774988 HAS SOPS 774988 HAS SOUS 654385 HAS SOUPS 654385 WITH SCORE 655159.988
AT ITER 3128 NEW BEST:: SOT 4403765 SOS 774869 HAS SOPS 774869 HAS SOUS 654106 HAS SOUPS 654106 WITH SCORE 654880.869
AT ITER 3141 NEW BEST:: SOT 4403663 SOS 774665 HAS SOPS 774665 HAS SOUS 653902 HAS SOUPS 653902 WITH SCORE 654676.665
AT ITER 3205 NEW BEST:: SOT 4403663 SOS 774665 HAS SOPS 774665 HAS SOUS 653785 HAS SOUPS 653785 WITH SCORE 654559.665
AT ITER 3207 NEW BEST:: SOT 4403173 SOS 773685 HAS SOPS 773685 HAS SOUS 653532 HAS SOUPS 653532 WITH SCORE 654305.685
AT ITER 3209 NEW BEST:: SOT 4403140 SOS 773619 HAS SOPS 773619 HAS SOUS 653466 HAS SOUPS 653466 WITH SCORE 654239.619
AT ITER 3277 NEW BEST:: SOT 4402965 SOS 773583 HAS SOPS 773583 HAS SOUS 653301 HAS SOUPS 653301 WITH SCORE 654074.583
AT ITER 3297 NEW BEST:: SOT 4402980 SOS 771667 HAS SOPS 771667 HAS SOUS 653038 HAS SOUPS 653038 WITH SCORE 653809.667
AT ITER 3326 NEW BEST:: SOT 4402944 SOS 771595 HAS SOPS 771595 HAS SOUS 652966 HAS SOUPS 652966 WITH SCORE 653737.595
AT ITER 3336 NEW BEST:: SOT 4402837 SOS 771381 HAS SOPS 771381 HAS SOUS 652752 HAS SOUPS 652752 WITH SCORE 653523.381
AT ITER 3358 NEW BEST:: SOT 4402772 SOS 771136 HAS SOPS 771136 HAS SOUS 652572 HAS SOUPS 652572 WITH SCORE 653343.136
AT ITER 3369 NEW BEST:: SOT 4402514 SOS 770620 HAS SOPS 770620 HAS SOUS 652056 HAS SOUPS 652056 WITH SCORE 652826.62
AT ITER 3385 NEW BEST:: SOT 4402326 SOS 770600 HAS SOPS 770600 HAS SOUS 652036 HAS SOUPS 652036 WITH SCORE 652806.6
AT ITER 3414 NEW BEST:: SOT 4402296 SOS 770570 HAS SOPS 770570 HAS SOUS 652006 HAS SOUPS 652006 WITH SCORE 652776.57
AT ITER 3424 NEW BEST:: SOT 4402296 SOS 770570 HAS SOPS 770570 HAS SOUS 651896 HAS SOUPS 651896 WITH SCORE 652666.57
AT ITER 3425 NEW BEST:: SOT 4402219 SOS 770416 HAS SOPS 770416 HAS SOUS 651742 HAS SOUPS 651742 WITH SCORE 652512.416
AT ITER 3440 NEW BEST:: SOT 4402092 SOS 770335 HAS SOPS 770335 HAS SOUS 651488 HAS SOUPS 651488 WITH SCORE 652258.335
AT ITER 3464 NEW BEST:: SOT 4402092 SOS 770121 HAS SOPS 770121 HAS SOUS 651274 HAS SOUPS 651274 WITH SCORE 652044.121
AT ITER 3477 NEW BEST:: SOT 4402091 SOS 770119 HAS SOPS 770119 HAS SOUS 651272 HAS SOUPS 651272 WITH SCORE 652042.119
AT ITER 3502 NEW BEST:: SOT 4402091 SOS 770072 HAS SOPS 770072 HAS SOUS 651225 HAS SOUPS 651225 WITH SCORE 651995.072
AT ITER 3510 NEW BEST:: SOT 4401805 SOS 769500 HAS SOPS 769500 HAS SOUS 650939 HAS SOUPS 650939 WITH SCORE 651708.5
AT ITER 3538 NEW BEST:: SOT 4401553 SOS 768996 HAS SOPS 768996 HAS SOUS 650736 HAS SOUPS 650736 WITH SCORE 651504.996
AT ITER 3568 NEW BEST:: SOT 4401534 SOS 768958 HAS SOPS 768958 HAS SOUS 650698 HAS SOUPS 650698 WITH SCORE 651466.958
AT ITER 3616 NEW BEST:: SOT 4401525 SOS 768384 HAS SOPS 768384 HAS SOUS 650500 HAS SOUPS 650500 WITH SCORE 651268.384
AT ITER 3644 NEW BEST:: SOT 4401794 SOS 768922 HAS SOPS 768922 HAS SOUS 650371 HAS SOUPS 650371 WITH SCORE 651139.922
AT ITER 3656 NEW BEST:: SOT 4401743 SOS 768820 HAS SOPS 768820 HAS SOUS 650269 HAS SOUPS 650269 WITH SCORE 651037.82
AT ITER 3684 NEW BEST:: SOT 4401743 SOS 768820 HAS SOPS 768820 HAS SOUS 650000 HAS SOUPS 650000 WITH SCORE 650768.82
AT ITER 3687 NEW BEST:: SOT 4401703 SOS 768740 HAS SOPS 768740 HAS SOUS 649920 HAS SOUPS 649920 WITH SCORE 650688.74
AT ITER 3689 NEW BEST:: SOT 4401565 SOS 768464 HAS SOPS 768464 HAS SOUS 649644 HAS SOUPS 649644 WITH SCORE 650412.464
AT ITER 3698 NEW BEST:: SOT 4401565 SOS 768313 HAS SOPS 768313 HAS SOUS 649493 HAS SOUPS 649493 WITH SCORE 650261.313
AT ITER 3714 NEW BEST:: SOT 4401723 SOS 768359 HAS SOPS 768359 HAS SOUS 649412 HAS SOUPS 649412 WITH SCORE 650180.359
AT ITER 3736 NEW BEST:: SOT 4401723 SOS 768359 HAS SOPS 768359 HAS SOUS 649367 HAS SOUPS 649367 WITH SCORE 650135.359
AT ITER 3740 NEW BEST:: SOT 4401723 SOS 768382 HAS SOPS 768382 HAS SOUS 649195 HAS SOUPS 649195 WITH SCORE 649963.382
AT ITER 3791 NEW BEST:: SOT 4401433 SOS 767802 HAS SOPS 767802 HAS SOUS 649176 HAS SOUPS 649176 WITH SCORE 649943.802
AT ITER 3806 NEW BEST:: SOT 4401357 SOS 767801 HAS SOPS 767801 HAS SOUS 649175 HAS SOUPS 649175 WITH SCORE 649942.801
AT ITER 3846 NEW BEST:: SOT 4401357 SOS 767719 HAS SOPS 767719 HAS SOUS 649175 HAS SOUPS 649175 WITH SCORE 649942.719
AT ITER 3898 NEW BEST:: SOT 4401417 SOS 767839 HAS SOPS 767839 HAS SOUS 649100 HAS SOUPS 649100 WITH SCORE 649867.839
AT ITER 3915 NEW BEST:: SOT 4401401 SOS 767807 HAS SOPS 767807 HAS SOUS 649068 HAS SOUPS 649068 WITH SCORE 649835.807
AT ITER 3925 NEW BEST:: SOT 4401386 SOS 767777 HAS SOPS 767777 HAS SOUS 649038 HAS SOUPS 649038 WITH SCORE 649805.777
AT ITER 3989 NEW BEST:: SOT 4401105 SOS 767215 HAS SOPS 767215 HAS SOUS 648476 HAS SOUPS 648476 WITH SCORE 649243.215
AT ITER 4007 NEW BEST:: SOT 4400948 SOS 767058 HAS SOPS 767058 HAS SOUS 648319 HAS SOUPS 648319 WITH SCORE 649086.058
AT ITER 4014 NEW BEST:: SOT 4400948 SOS 767058 HAS SOPS 767058 HAS SOUS 648123 HAS SOUPS 648123 WITH SCORE 648890.058
AT ITER 4016 NEW BEST:: SOT 4400945 SOS 767055 HAS SOPS 767055 HAS SOUS 648120 HAS SOUPS 648120 WITH SCORE 648887.055
AT ITER 4031 NEW BEST:: SOT 4400945 SOS 767055 HAS SOPS 767055 HAS SOUS 648100 HAS SOUPS 648100 WITH SCORE 648867.055
AT ITER 4045 NEW BEST:: SOT 4400649 SOS 766759 HAS SOPS 766759 HAS SOUS 647804 HAS SOUPS 647804 WITH SCORE 648570.759
AT ITER 4050 NEW BEST:: SOT 4400338 SOS 766239 HAS SOPS 766239 HAS SOUS 647724 HAS SOUPS 647724 WITH SCORE 648490.239
AT ITER 4110 NEW BEST:: SOT 4400125 SOS 759849 HAS SOPS 759849 HAS SOUS 647511 HAS SOUPS 647511 WITH SCORE 648270.849
AT ITER 4133 NEW BEST:: SOT 4399998 SOS 759595 HAS SOPS 759595 HAS SOUS 647257 HAS SOUPS 647257 WITH SCORE 648016.595
AT ITER 4138 NEW BEST:: SOT 4399998 SOS 759551 HAS SOPS 759551 HAS SOUS 647257 HAS SOUPS 647257 WITH SCORE 648016.551
AT ITER 4164 NEW BEST:: SOT 4399825 SOS 759403 HAS SOPS 759403 HAS SOUS 647096 HAS SOUPS 647096 WITH SCORE 647855.403
AT ITER 4175 NEW BEST:: SOT 4399825 SOS 759222 HAS SOPS 759222 HAS SOUS 646915 HAS SOUPS 646915 WITH SCORE 647674.222
AT ITER 4184 NEW BEST:: SOT 4399824 SOS 759220 HAS SOPS 759220 HAS SOUS 646913 HAS SOUPS 646913 WITH SCORE 647672.22
AT ITER 4194 NEW BEST:: SOT 4399748 SOS 759068 HAS SOPS 759068 HAS SOUS 646761 HAS SOUPS 646761 WITH SCORE 647520.068
AT ITER 4197 NEW BEST:: SOT 4399625 SOS 758944 HAS SOPS 758944 HAS SOUS 646637 HAS SOUPS 646637 WITH SCORE 647395.944
AT ITER 4209 NEW BEST:: SOT 4399207 SOS 758396 HAS SOPS 758396 HAS SOUS 645960 HAS SOUPS 645960 WITH SCORE 646718.396
AT ITER 4219 NEW BEST:: SOT 4399116 SOS 758214 HAS SOPS 758214 HAS SOUS 645700 HAS SOUPS 645700 WITH SCORE 646458.214
AT ITER 4220 NEW BEST:: SOT 4398823 SOS 757921 HAS SOPS 757921 HAS SOUS 645407 HAS SOUPS 645407 WITH SCORE 646164.921
AT ITER 4262 NEW BEST:: SOT 4398770 SOS 757815 HAS SOPS 757815 HAS SOUS 645351 HAS SOUPS 645351 WITH SCORE 646108.815
AT ITER 4276 NEW BEST:: SOT 4398684 SOS 757708 HAS SOPS 757708 HAS SOUS 645244 HAS SOUPS 645244 WITH SCORE 646001.708
AT ITER 4284 NEW BEST:: SOT 4398622 SOS 757849 HAS SOPS 757849 HAS SOUS 645220 HAS SOUPS 645220 WITH SCORE 645977.849
AT ITER 4326 NEW BEST:: SOT 4398614 SOS 757833 HAS SOPS 757833 HAS SOUS 645212 HAS SOUPS 645212 WITH SCORE 645969.833
AT ITER 4361 NEW BEST:: SOT 4398614 SOS 757683 HAS SOPS 757683 HAS SOUS 645062 HAS SOUPS 645062 WITH SCORE 645819.683
AT ITER 4426 NEW BEST:: SOT 4398546 SOS 757547 HAS SOPS 757547 HAS SOUS 644846 HAS SOUPS 644846 WITH SCORE 645603.547
AT ITER 4427 NEW BEST:: SOT 4398485 SOS 757425 HAS SOPS 757425 HAS SOUS 644724 HAS SOUPS 644724 WITH SCORE 645481.425
AT ITER 4438 NEW BEST:: SOT 4398424 SOS 757303 HAS SOPS 757303 HAS SOUS 644602 HAS SOUPS 644602 WITH SCORE 645359.303
AT ITER 4441 NEW BEST:: SOT 4398424 SOS 757303 HAS SOPS 757303 HAS SOUS 644580 HAS SOUPS 644580 WITH SCORE 645337.303
AT ITER 4445 NEW BEST:: SOT 4398545 SOS 756914 HAS SOPS 756914 HAS SOUS 644445 HAS SOUPS 644445 WITH SCORE 645201.914
AT ITER 4446 NEW BEST:: SOT 4398156 SOS 756136 HAS SOPS 756136 HAS SOUS 643730 HAS SOUPS 643730 WITH SCORE 644486.136
AT ITER 4453 NEW BEST:: SOT 4398133 SOS 756090 HAS SOPS 756090 HAS SOUS 643476 HAS SOUPS 643476 WITH SCORE 644232.09
AT ITER 4454 NEW BEST:: SOT 4398138 SOS 756100 HAS SOPS 756100 HAS SOUS 643417 HAS SOUPS 643417 WITH SCORE 644173.1
AT ITER 4456 NEW BEST:: SOT 4398131 SOS 756086 HAS SOPS 756086 HAS SOUS 643410 HAS SOUPS 643410 WITH SCORE 644166.086
AT ITER 4459 NEW BEST:: SOT 4398040 SOS 755637 HAS SOPS 755637 HAS SOUS 643228 HAS SOUPS 643228 WITH SCORE 643983.637
AT ITER 4477 NEW BEST:: SOT 4397836 SOS 755645 HAS SOPS 755645 HAS SOUS 643139 HAS SOUPS 643139 WITH SCORE 643894.645
AT ITER 4486 NEW BEST:: SOT 4397679 SOS 755331 HAS SOPS 755331 HAS SOUS 642825 HAS SOUPS 642825 WITH SCORE 643580.331
AT ITER 4494 NEW BEST:: SOT 4397492 SOS 755166 HAS SOPS 755166 HAS SOUS 642816 HAS SOUPS 642816 WITH SCORE 643571.166
AT ITER 4522 NEW BEST:: SOT 4397418 SOS 755092 HAS SOPS 755092 HAS SOUS 642742 HAS SOUPS 642742 WITH SCORE 643497.092
AT ITER 4525 NEW BEST:: SOT 4397236 SOS 754931 HAS SOPS 754931 HAS SOUS 642357 HAS SOUPS 642357 WITH SCORE 643111.931
AT ITER 4527 NEW BEST:: SOT 4397232 SOS 754923 HAS SOPS 754923 HAS SOUS 642353 HAS SOUPS 642353 WITH SCORE 643107.923
AT ITER 4538 NEW BEST:: SOT 4397232 SOS 754961 HAS SOPS 754961 HAS SOUS 642315 HAS SOUPS 642315 WITH SCORE 643069.961
AT ITER 4547 NEW BEST:: SOT 4396954 SOS 754404 HAS SOPS 754404 HAS SOUS 642036 HAS SOUPS 642036 WITH SCORE 642790.404
AT ITER 4565 NEW BEST:: SOT 4396954 SOS 754384 HAS SOPS 754384 HAS SOUS 642016 HAS SOUPS 642016 WITH SCORE 642770.384
AT ITER 4588 NEW BEST:: SOT 4396935 SOS 754065 HAS SOPS 754065 HAS SOUS 641716 HAS SOUPS 641716 WITH SCORE 642470.065
AT ITER 4625 NEW BEST:: SOT 4396788 SOS 753918 HAS SOPS 753918 HAS SOUS 641569 HAS SOUPS 641569 WITH SCORE 642322.918
AT ITER 4647 NEW BEST:: SOT 4395230 SOS 755932 HAS SOPS 755932 HAS SOUS 640723 HAS SOUPS 640723 WITH SCORE 641478.932
AT ITER 4650 NEW BEST:: SOT 4395097 SOS 755666 HAS SOPS 755666 HAS SOUS 640641 HAS SOUPS 640641 WITH SCORE 641396.666
AT ITER 4660 NEW BEST:: SOT 4395034 SOS 755225 HAS SOPS 755225 HAS SOUS 640515 HAS SOUPS 640515 WITH SCORE 641270.225
AT ITER 4671 NEW BEST:: SOT 4394947 SOS 755051 HAS SOPS 755051 HAS SOUS 640341 HAS SOUPS 640341 WITH SCORE 641096.051
AT ITER 4694 NEW BEST:: SOT 4394836 SOS 754829 HAS SOPS 754829 HAS SOUS 640119 HAS SOUPS 640119 WITH SCORE 640873.829
AT ITER 4695 NEW BEST:: SOT 4394814 SOS 754785 HAS SOPS 754785 HAS SOUS 640075 HAS SOUPS 640075 WITH SCORE 640829.785
AT ITER 4708 NEW BEST:: SOT 4394772 SOS 754743 HAS SOPS 754743 HAS SOUS 640033 HAS SOUPS 640033 WITH SCORE 640787.743
AT ITER 4716 NEW BEST:: SOT 4394772 SOS 754707 HAS SOPS 754707 HAS SOUS 640033 HAS SOUPS 640033 WITH SCORE 640787.707
AT ITER 4731 NEW BEST:: SOT 4394647 SOS 754862 HAS SOPS 754862 HAS SOUS 639869 HAS SOUPS 639869 WITH SCORE 640623.862
AT ITER 4748 NEW BEST:: SOT 4394837 SOS 754654 HAS SOPS 754654 HAS SOUS 639857 HAS SOUPS 639857 WITH SCORE 640611.654
AT ITER 4754 NEW BEST:: SOT 4394692 SOS 754509 HAS SOPS 754509 HAS SOUS 639712 HAS SOUPS 639712 WITH SCORE 640466.509
AT ITER 4780 NEW BEST:: SOT 4394653 SOS 754469 HAS SOPS 754469 HAS SOUS 639711 HAS SOUPS 639711 WITH SCORE 640465.469
AT ITER 4821 NEW BEST:: SOT 4394386 SOS 754266 HAS SOPS 754266 HAS SOUS 639477 HAS SOUPS 639477 WITH SCORE 640231.266
AT ITER 4828 NEW BEST:: SOT 4394064 SOS 753622 HAS SOPS 753622 HAS SOUS 639352 HAS SOUPS 639352 WITH SCORE 640105.622
AT ITER 4829 NEW BEST:: SOT 4394064 SOS 753621 HAS SOPS 753621 HAS SOUS 639351 HAS SOUPS 639351 WITH SCORE 640104.621
AT ITER 4842 NEW BEST:: SOT 4394064 SOS 753620 HAS SOPS 753620 HAS SOUS 639350 HAS SOUPS 639350 WITH SCORE 640103.62
AT ITER 4845 NEW BEST:: SOT 4393798 SOS 753088 HAS SOPS 753088 HAS SOUS 638818 HAS SOUPS 638818 WITH SCORE 639571.088
AT ITER 4852 NEW BEST:: SOT 4393798 SOS 753088 HAS SOPS 753088 HAS SOUS 638730 HAS SOUPS 638730 WITH SCORE 639483.088
AT ITER 4862 NEW BEST:: SOT 4393737 SOS 752965 HAS SOPS 752965 HAS SOUS 638428 HAS SOUPS 638428 WITH SCORE 639180.965
AT ITER 4948 NEW BEST:: SOT 4393708 SOS 752907 HAS SOPS 752907 HAS SOUS 638370 HAS SOUPS 638370 WITH SCORE 639122.907
AT ITER 4978 NEW BEST:: SOT 4393707 SOS 752932 HAS SOPS 752932 HAS SOUS 638368 HAS SOUPS 638368 WITH SCORE 639120.932
AT ITER 4984 NEW BEST:: SOT 4393691 SOS 752916 HAS SOPS 752916 HAS SOUS 638336 HAS SOUPS 638336 WITH SCORE 639088.916
AT ITER 4993 NEW BEST:: SOT 4393589 SOS 752712 HAS SOPS 752712 HAS SOUS 638294 HAS SOUPS 638294 WITH SCORE 639046.712
AT ITER 5021 NEW BEST:: SOT 4393709 SOS 752952 HAS SOPS 752952 HAS SOUS 638235 HAS SOUPS 638235 WITH SCORE 638987.952
AT ITER 5068 NEW BEST:: SOT 4393659 SOS 752852 HAS SOPS 752852 HAS SOUS 638235 HAS SOUPS 638235 WITH SCORE 638987.852
AT ITER 5076 NEW BEST:: SOT 4393794 SOS 752810 HAS SOPS 752810 HAS SOUS 638126 HAS SOUPS 638126 WITH SCORE 638878.81
AT ITER 5080 NEW BEST:: SOT 4393905 SOS 752786 HAS SOPS 752786 HAS SOUS 638102 HAS SOUPS 638102 WITH SCORE 638854.786
AT ITER 5095 NEW BEST:: SOT 4393859 SOS 752694 HAS SOPS 752694 HAS SOUS 638070 HAS SOUPS 638070 WITH SCORE 638822.694
AT ITER 5105 NEW BEST:: SOT 4393859 SOS 752691 HAS SOPS 752691 HAS SOUS 638070 HAS SOUPS 638070 WITH SCORE 638822.691
AT ITER 5112 NEW BEST:: SOT 4393807 SOS 752587 HAS SOPS 752587 HAS SOUS 638018 HAS SOUPS 638018 WITH SCORE 638770.587
AT ITER 5127 NEW BEST:: SOT 4393640 SOS 752253 HAS SOPS 752253 HAS SOUS 637499 HAS SOUPS 637499 WITH SCORE 638251.253
AT ITER 5129 NEW BEST:: SOT 4393272 SOS 751885 HAS SOPS 751885 HAS SOUS 637131 HAS SOUPS 637131 WITH SCORE 637882.885
AT ITER 5132 NEW BEST:: SOT 4393432 SOS 751728 HAS SOPS 751728 HAS SOUS 637030 HAS SOUPS 637030 WITH SCORE 637781.728
AT ITER 5167 NEW BEST:: SOT 4393214 SOS 751510 HAS SOPS 751510 HAS SOUS 636812 HAS SOUPS 636812 WITH SCORE 637563.51
AT ITER 5187 NEW BEST:: SOT 4392904 SOS 751392 HAS SOPS 751392 HAS SOUS 636569 HAS SOUPS 636569 WITH SCORE 637320.392
AT ITER 5208 NEW BEST:: SOT 4392904 SOS 751348 HAS SOPS 751348 HAS SOUS 636569 HAS SOUPS 636569 WITH SCORE 637320.348
AT ITER 5215 NEW BEST:: SOT 4392817 SOS 751223 HAS SOPS 751223 HAS SOUS 636444 HAS SOUPS 636444 WITH SCORE 637195.223
AT ITER 5218 NEW BEST:: SOT 4392703 SOS 750995 HAS SOPS 750995 HAS SOUS 636216 HAS SOUPS 636216 WITH SCORE 636966.995
AT ITER 5220 NEW BEST:: SOT 4392610 SOS 750995 HAS SOPS 750995 HAS SOUS 636123 HAS SOUPS 636123 WITH SCORE 636873.995
AT ITER 5292 NEW BEST:: SOT 4392609 SOS 750993 HAS SOPS 750993 HAS SOUS 636121 HAS SOUPS 636121 WITH SCORE 636871.993
AT ITER 5301 NEW BEST:: SOT 4392629 SOS 751033 HAS SOPS 751033 HAS SOUS 635923 HAS SOUPS 635923 WITH SCORE 636674.033
AT ITER 5309 NEW BEST:: SOT 4392628 SOS 751031 HAS SOPS 751031 HAS SOUS 635921 HAS SOUPS 635921 WITH SCORE 636672.031
AT ITER 5320 NEW BEST:: SOT 4392628 SOS 751031 HAS SOPS 751031 HAS SOUS 635679 HAS SOUPS 635679 WITH SCORE 636430.031
AT ITER 5336 NEW BEST:: SOT 4392605 SOS 750985 HAS SOPS 750985 HAS SOUS 635633 HAS SOUPS 635633 WITH SCORE 636383.985
AT ITER 5337 NEW BEST:: SOT 4392605 SOS 750985 HAS SOPS 750985 HAS SOUS 635555 HAS SOUPS 635555 WITH SCORE 636305.985
AT ITER 5367 NEW BEST:: SOT 4392444 SOS 750663 HAS SOPS 750663 HAS SOUS 635063 HAS SOUPS 635063 WITH SCORE 635813.663
AT ITER 5424 NEW BEST:: SOT 4392396 SOS 750567 HAS SOPS 750567 HAS SOUS 634888 HAS SOUPS 634888 WITH SCORE 635638.567
AT ITER 5435 NEW BEST:: SOT 4392396 SOS 750532 HAS SOPS 750532 HAS SOUS 634888 HAS SOUPS 634888 WITH SCORE 635638.532
AT ITER 5436 NEW BEST:: SOT 4392244 SOS 750380 HAS SOPS 750380 HAS SOUS 634736 HAS SOUPS 634736 WITH SCORE 635486.38
AT ITER 5439 NEW BEST:: SOT 4392219 SOS 750330 HAS SOPS 750330 HAS SOUS 634711 HAS SOUPS 634711 WITH SCORE 635461.33
AT ITER 5509 NEW BEST:: SOT 4392221 SOS 750246 HAS SOPS 750246 HAS SOUS 634627 HAS SOUPS 634627 WITH SCORE 635377.246
AT ITER 5514 NEW BEST:: SOT 4392221 SOS 749918 HAS SOPS 749918 HAS SOUS 634463 HAS SOUPS 634463 WITH SCORE 635212.918
AT ITER 5525 NEW BEST:: SOT 4392178 SOS 749832 HAS SOPS 749832 HAS SOUS 634420 HAS SOUPS 634420 WITH SCORE 635169.832
AT ITER 5577 NEW BEST:: SOT 4392150 SOS 749776 HAS SOPS 749776 HAS SOUS 634391 HAS SOUPS 634391 WITH SCORE 635140.776
AT ITER 5602 NEW BEST:: SOT 4392098 SOS 749672 HAS SOPS 749672 HAS SOUS 634339 HAS SOUPS 634339 WITH SCORE 635088.672
AT ITER 5603 NEW BEST:: SOT 4392098 SOS 749424 HAS SOPS 749424 HAS SOUS 634091 HAS SOUPS 634091 WITH SCORE 634840.424
AT ITER 5614 NEW BEST:: SOT 4392078 SOS 749384 HAS SOPS 749384 HAS SOUS 634051 HAS SOUPS 634051 WITH SCORE 634800.384
AT ITER 5630 NEW BEST:: SOT 4392010 SOS 749279 HAS SOPS 749279 HAS SOUS 634014 HAS SOUPS 634014 WITH SCORE 634763.279
AT ITER 5642 NEW BEST:: SOT 4391838 SOS 748935 HAS SOPS 748935 HAS SOUS 633842 HAS SOUPS 633842 WITH SCORE 634590.935
AT ITER 5655 NEW BEST:: SOT 4391696 SOS 748851 HAS SOPS 748851 HAS SOUS 633700 HAS SOUPS 633700 WITH SCORE 634448.851
AT ITER 5658 NEW BEST:: SOT 4391781 SOS 748740 HAS SOPS 748740 HAS SOUS 633589 HAS SOUPS 633589 WITH SCORE 634337.74
AT ITER 5677 NEW BEST:: SOT 4391743 SOS 748664 HAS SOPS 748664 HAS SOUS 633513 HAS SOUPS 633513 WITH SCORE 634261.664
AT ITER 5688 NEW BEST:: SOT 4391833 SOS 748844 HAS SOPS 748844 HAS SOUS 633509 HAS SOUPS 633509 WITH SCORE 634257.844
AT ITER 5699 NEW BEST:: SOT 4391422 SOS 748746 HAS SOPS 748746 HAS SOUS 633222 HAS SOUPS 633222 WITH SCORE 633970.746
AT ITER 5705 NEW BEST:: SOT 4391422 SOS 748746 HAS SOPS 748746 HAS SOUS 632908 HAS SOUPS 632908 WITH SCORE 633656.746
AT ITER 5708 NEW BEST:: SOT 4391586 SOS 749074 HAS SOPS 749074 HAS SOUS 632903 HAS SOUPS 632903 WITH SCORE 633652.074
AT ITER 5732 NEW BEST:: SOT 4391586 SOS 749058 HAS SOPS 749058 HAS SOUS 632887 HAS SOUPS 632887 WITH SCORE 633636.058
AT ITER 5733 NEW BEST:: SOT 4391507 SOS 748979 HAS SOPS 748979 HAS SOUS 632729 HAS SOUPS 632729 WITH SCORE 633477.979
AT ITER 5744 NEW BEST:: SOT 4391532 SOS 749029 HAS SOPS 749029 HAS SOUS 632564 HAS SOUPS 632564 WITH SCORE 633313.029
AT ITER 5762 NEW BEST:: SOT 4391482 SOS 748929 HAS SOPS 748929 HAS SOUS 632346 HAS SOUPS 632346 WITH SCORE 633094.929
AT ITER 5767 NEW BEST:: SOT 4391448 SOS 748861 HAS SOPS 748861 HAS SOUS 632278 HAS SOUPS 632278 WITH SCORE 633026.861
AT ITER 5779 NEW BEST:: SOT 4391402 SOS 748769 HAS SOPS 748769 HAS SOUS 632186 HAS SOUPS 632186 WITH SCORE 632934.769
AT ITER 5785 NEW BEST:: SOT 4391359 SOS 748726 HAS SOPS 748726 HAS SOUS 632143 HAS SOUPS 632143 WITH SCORE 632891.726
AT ITER 5791 NEW BEST:: SOT 4391127 SOS 748452 HAS SOPS 748452 HAS SOUS 631756 HAS SOUPS 631756 WITH SCORE 632504.452
AT ITER 5812 NEW BEST:: SOT 4390983 SOS 748004 HAS SOPS 748004 HAS SOUS 631518 HAS SOUPS 631518 WITH SCORE 632266.004
AT ITER 5814 NEW BEST:: SOT 4390895 SOS 747828 HAS SOPS 747828 HAS SOUS 631342 HAS SOUPS 631342 WITH SCORE 632089.828
AT ITER 5848 NEW BEST:: SOT 4390778 SOS 747594 HAS SOPS 747594 HAS SOUS 631108 HAS SOUPS 631108 WITH SCORE 631855.594
AT ITER 5851 NEW BEST:: SOT 4390598 SOS 747234 HAS SOPS 747234 HAS SOUS 630928 HAS SOUPS 630928 WITH SCORE 631675.234
AT ITER 5869 NEW BEST:: SOT 4390259 SOS 747034 HAS SOPS 747034 HAS SOUS 630660 HAS SOUPS 630660 WITH SCORE 631407.034
AT ITER 5871 NEW BEST:: SOT 4390224 SOS 746964 HAS SOPS 746964 HAS SOUS 630595 HAS SOUPS 630595 WITH SCORE 631341.964
AT ITER 5877 NEW BEST:: SOT 4390108 SOS 746732 HAS SOPS 746732 HAS SOUS 630363 HAS SOUPS 630363 WITH SCORE 631109.732
AT ITER 5909 NEW BEST:: SOT 4390125 SOS 746384 HAS SOPS 746384 HAS SOUS 630290 HAS SOUPS 630290 WITH SCORE 631036.384
AT ITER 5915 NEW BEST:: SOT 4390038 SOS 746210 HAS SOPS 746210 HAS SOUS 630141 HAS SOUPS 630141 WITH SCORE 630887.21
AT ITER 5923 NEW BEST:: SOT 4389788 SOS 745710 HAS SOPS 745710 HAS SOUS 629766 HAS SOUPS 629766 WITH SCORE 630511.71
AT ITER 5953 NEW BEST:: SOT 4389741 SOS 745682 HAS SOPS 745682 HAS SOUS 629738 HAS SOUPS 629738 WITH SCORE 630483.682
AT ITER 5955 NEW BEST:: SOT 4389193 SOS 744982 HAS SOPS 744982 HAS SOUS 629009 HAS SOUPS 629009 WITH SCORE 629753.982
AT ITER 5960 NEW BEST:: SOT 4389193 SOS 744982 HAS SOPS 744982 HAS SOUS 628854 HAS SOUPS 628854 WITH SCORE 629598.982
AT ITER 5964 NEW BEST:: SOT 4389105 SOS 744980 HAS SOPS 744980 HAS SOUS 628592 HAS SOUPS 628592 WITH SCORE 629336.98
AT ITER 5975 NEW BEST:: SOT 4388627 SOS 744024 HAS SOPS 744024 HAS SOUS 628054 HAS SOUPS 628054 WITH SCORE 628798.024
AT ITER 5990 NEW BEST:: SOT 4385968 SOS 745328 HAS SOPS 745328 HAS SOUS 626483 HAS SOUPS 626483 WITH SCORE 627228.328
AT ITER 6034 NEW BEST:: SOT 4385968 SOS 745327 HAS SOPS 745327 HAS SOUS 626482 HAS SOUPS 626482 WITH SCORE 627227.327
AT ITER 6035 NEW BEST:: SOT 4385967 SOS 745373 HAS SOPS 745373 HAS SOUS 626480 HAS SOUPS 626480 WITH SCORE 627225.373
AT ITER 6044 NEW BEST:: SOT 4385468 SOS 744969 HAS SOPS 744969 HAS SOUS 625950 HAS SOUPS 625950 WITH SCORE 626694.969
AT ITER 6059 NEW BEST:: SOT 4385435 SOS 744245 HAS SOPS 744245 HAS SOUS 625917 HAS SOUPS 625917 WITH SCORE 626661.245
AT ITER 6065 NEW BEST:: SOT 4385435 SOS 744245 HAS SOPS 744245 HAS SOUS 625912 HAS SOUPS 625912 WITH SCORE 626656.245
AT ITER 6084 NEW BEST:: SOT 4385435 SOS 744244 HAS SOPS 744244 HAS SOUS 625911 HAS SOUPS 625911 WITH SCORE 626655.244
AT ITER 6086 NEW BEST:: SOT 4385410 SOS 744194 HAS SOPS 744194 HAS SOUS 625826 HAS SOUPS 625826 WITH SCORE 626570.194
AT ITER 6089 NEW BEST:: SOT 4385371 SOS 743820 HAS SOPS 743820 HAS SOUS 625748 HAS SOUPS 625748 WITH SCORE 626491.82
AT ITER 6092 NEW BEST:: SOT 4384910 SOS 743788 HAS SOPS 743788 HAS SOUS 625461 HAS SOUPS 625461 WITH SCORE 626204.788
AT ITER 6100 NEW BEST:: SOT 4384909 SOS 743786 HAS SOPS 743786 HAS SOUS 625459 HAS SOUPS 625459 WITH SCORE 626202.786
AT ITER 6105 NEW BEST:: SOT 4385139 SOS 743715 HAS SOPS 743715 HAS SOUS 625330 HAS SOUPS 625330 WITH SCORE 626073.715
AT ITER 6111 NEW BEST:: SOT 4385041 SOS 743617 HAS SOPS 743617 HAS SOUS 625232 HAS SOUPS 625232 WITH SCORE 625975.617
AT ITER 6140 NEW BEST:: SOT 4385030 SOS 743595 HAS SOPS 743595 HAS SOUS 625210 HAS SOUPS 625210 WITH SCORE 625953.595
AT ITER 6141 NEW BEST:: SOT 4384743 SOS 743021 HAS SOPS 743021 HAS SOUS 624831 HAS SOUPS 624831 WITH SCORE 625574.021
AT ITER 6142 NEW BEST:: SOT 4384619 SOS 742773 HAS SOPS 742773 HAS SOUS 624527 HAS SOUPS 624527 WITH SCORE 625269.773
AT ITER 6149 NEW BEST:: SOT 4384565 SOS 742665 HAS SOPS 742665 HAS SOUS 624504 HAS SOUPS 624504 WITH SCORE 625246.665
AT ITER 6159 NEW BEST:: SOT 4384495 SOS 742595 HAS SOPS 742595 HAS SOUS 624504 HAS SOUPS 624504 WITH SCORE 625246.595
AT ITER 6160 NEW BEST:: SOT 4384445 SOS 742537 HAS SOPS 742537 HAS SOUS 624446 HAS SOUPS 624446 WITH SCORE 625188.537
AT ITER 6252 NEW BEST:: SOT 4384347 SOS 742439 HAS SOPS 742439 HAS SOUS 624348 HAS SOUPS 624348 WITH SCORE 625090.439
AT ITER 6279 NEW BEST:: SOT 4384141 SOS 741821 HAS SOPS 741821 HAS SOUS 623936 HAS SOUPS 623936 WITH SCORE 624677.821
AT ITER 6303 NEW BEST:: SOT 4384137 SOS 741813 HAS SOPS 741813 HAS SOUS 623928 HAS SOUPS 623928 WITH SCORE 624669.813
AT ITER 6320 NEW BEST:: SOT 4384090 SOS 741719 HAS SOPS 741719 HAS SOUS 623834 HAS SOUPS 623834 WITH SCORE 624575.719
AT ITER 6321 NEW BEST:: SOT 4383768 SOS 741529 HAS SOPS 741529 HAS SOUS 623635 HAS SOUPS 623635 WITH SCORE 624376.529
AT ITER 6331 NEW BEST:: SOT 4383638 SOS 741399 HAS SOPS 741399 HAS SOUS 623505 HAS SOUPS 623505 WITH SCORE 624246.399
AT ITER 6333 NEW BEST:: SOT 4383545 SOS 741305 HAS SOPS 741305 HAS SOUS 623504 HAS SOUPS 623504 WITH SCORE 624245.305
AT ITER 6348 NEW BEST:: SOT 4383545 SOS 741305 HAS SOPS 741305 HAS SOUS 623483 HAS SOUPS 623483 WITH SCORE 624224.305
AT ITER 6391 NEW BEST:: SOT 4383545 SOS 741305 HAS SOPS 741305 HAS SOUS 623231 HAS SOUPS 623231 WITH SCORE 623972.305
AT ITER 6413 NEW BEST:: SOT 4383137 SOS 740489 HAS SOPS 740489 HAS SOUS 622986 HAS SOUPS 622986 WITH SCORE 623726.489
AT ITER 6421 NEW BEST:: SOT 4383166 SOS 740411 HAS SOPS 740411 HAS SOUS 622960 HAS SOUPS 622960 WITH SCORE 623700.411
AT ITER 6446 NEW BEST:: SOT 4383166 SOS 740411 HAS SOPS 740411 HAS SOUS 622949 HAS SOUPS 622949 WITH SCORE 623689.411
AT ITER 6483 NEW BEST:: SOT 4382932 SOS 740177 HAS SOPS 740177 HAS SOUS 622715 HAS SOUPS 622715 WITH SCORE 623455.177
AT ITER 6488 NEW BEST:: SOT 4382542 SOS 740009 HAS SOPS 740009 HAS SOUS 622428 HAS SOUPS 622428 WITH SCORE 623168.009
AT ITER 6510 NEW BEST:: SOT 4382440 SOS 739907 HAS SOPS 739907 HAS SOUS 622224 HAS SOUPS 622224 WITH SCORE 622963.907
AT ITER 6525 NEW BEST:: SOT 4382449 SOS 739799 HAS SOPS 739799 HAS SOUS 622116 HAS SOUPS 622116 WITH SCORE 622855.799
AT ITER 6529 NEW BEST:: SOT 4382042 SOS 738985 HAS SOPS 738985 HAS SOUS 621987 HAS SOUPS 621987 WITH SCORE 622725.985
AT ITER 6538 NEW BEST:: SOT 4382042 SOS 738973 HAS SOPS 738973 HAS SOUS 621975 HAS SOUPS 621975 WITH SCORE 622713.973
AT ITER 6542 NEW BEST:: SOT 4381839 SOS 738567 HAS SOPS 738567 HAS SOUS 621569 HAS SOUPS 621569 WITH SCORE 622307.567
AT ITER 6545 NEW BEST:: SOT 4381822 SOS 738549 HAS SOPS 738549 HAS SOUS 621568 HAS SOUPS 621568 WITH SCORE 622306.549
AT ITER 6550 NEW BEST:: SOT 4381689 SOS 738548 HAS SOPS 738548 HAS SOUS 621567 HAS SOUPS 621567 WITH SCORE 622305.548
AT ITER 6552 NEW BEST:: SOT 4381689 SOS 738496 HAS SOPS 738496 HAS SOUS 621515 HAS SOUPS 621515 WITH SCORE 622253.496
AT ITER 6578 NEW BEST:: SOT 4381689 SOS 738443 HAS SOPS 738443 HAS SOUS 621515 HAS SOUPS 621515 WITH SCORE 622253.443
AT ITER 6598 NEW BEST:: SOT 4381641 SOS 738347 HAS SOPS 738347 HAS SOUS 621186 HAS SOUPS 621186 WITH SCORE 621924.347
AT ITER 6600 NEW BEST:: SOT 4381545 SOS 738155 HAS SOPS 738155 HAS SOUS 620994 HAS SOUPS 620994 WITH SCORE 621732.155
AT ITER 6601 NEW BEST:: SOT 4381545 SOS 738155 HAS SOPS 738155 HAS SOUS 620868 HAS SOUPS 620868 WITH SCORE 621606.155
AT ITER 6627 NEW BEST:: SOT 4381527 SOS 738119 HAS SOPS 738119 HAS SOUS 620832 HAS SOUPS 620832 WITH SCORE 621570.119
AT ITER 6673 NEW BEST:: SOT 4381500 SOS 738065 HAS SOPS 738065 HAS SOUS 620778 HAS SOUPS 620778 WITH SCORE 621516.065
AT ITER 6681 NEW BEST:: SOT 4381458 SOS 737981 HAS SOPS 737981 HAS SOUS 620694 HAS SOUPS 620694 WITH SCORE 621431.981
AT ITER 6700 NEW BEST:: SOT 4381458 SOS 737980 HAS SOPS 737980 HAS SOUS 620693 HAS SOUPS 620693 WITH SCORE 621430.98
AT ITER 6725 NEW BEST:: SOT 4381438 SOS 737940 HAS SOPS 737940 HAS SOUS 620578 HAS SOUPS 620578 WITH SCORE 621315.94
AT ITER 6728 NEW BEST:: SOT 4381438 SOS 737940 HAS SOPS 737940 HAS SOUS 620533 HAS SOUPS 620533 WITH SCORE 621270.94
AT ITER 6732 NEW BEST:: SOT 4381438 SOS 737927 HAS SOPS 737927 HAS SOUS 620520 HAS SOUPS 620520 WITH SCORE 621257.927
AT ITER 6749 NEW BEST:: SOT 4381438 SOS 737167 HAS SOPS 737167 HAS SOUS 620140 HAS SOUPS 620140 WITH SCORE 620877.167
AT ITER 6752 NEW BEST:: SOT 4379377 SOS 736030 HAS SOPS 736030 HAS SOUS 618142 HAS SOUPS 618142 WITH SCORE 618878.03
AT ITER 6755 NEW BEST:: SOT 4379377 SOS 735995 HAS SOPS 735995 HAS SOUS 618142 HAS SOUPS 618142 WITH SCORE 618877.995
AT ITER 6771 NEW BEST:: SOT 4379363 SOS 735967 HAS SOPS 735967 HAS SOUS 618121 HAS SOUPS 618121 WITH SCORE 618856.967
AT ITER 6775 NEW BEST:: SOT 4379198 SOS 735736 HAS SOPS 735736 HAS SOUS 617970 HAS SOUPS 617970 WITH SCORE 618705.736
AT ITER 6800 NEW BEST:: SOT 4379193 SOS 735966 HAS SOPS 735966 HAS SOUS 617883 HAS SOUPS 617883 WITH SCORE 618618.966
AT ITER 6801 NEW BEST:: SOT 4377974 SOS 735378 HAS SOPS 735378 HAS SOUS 617034 HAS SOUPS 617034 WITH SCORE 617769.378
AT ITER 6823 NEW BEST:: SOT 4377816 SOS 735062 HAS SOPS 735062 HAS SOUS 616784 HAS SOUPS 616784 WITH SCORE 617519.062
AT ITER 6825 NEW BEST:: SOT 4377816 SOS 735061 HAS SOPS 735061 HAS SOUS 616783 HAS SOUPS 616783 WITH SCORE 617518.061
AT ITER 6843 NEW BEST:: SOT 4377680 SOS 734925 HAS SOPS 734925 HAS SOUS 616783 HAS SOUPS 616783 WITH SCORE 617517.925
AT ITER 6856 NEW BEST:: SOT 4377659 SOS 734883 HAS SOPS 734883 HAS SOUS 616741 HAS SOUPS 616741 WITH SCORE 617475.883
AT ITER 6864 NEW BEST:: SOT 4377807 SOS 735598 HAS SOPS 735598 HAS SOUS 616637 HAS SOUPS 616637 WITH SCORE 617372.598
AT ITER 6866 NEW BEST:: SOT 4377752 SOS 736058 HAS SOPS 736058 HAS SOUS 616606 HAS SOUPS 616606 WITH SCORE 617342.058
AT ITER 6874 NEW BEST:: SOT 4377636 SOS 735984 HAS SOPS 735984 HAS SOUS 616490 HAS SOUPS 616490 WITH SCORE 617225.984
AT ITER 6891 NEW BEST:: SOT 4377636 SOS 735984 HAS SOPS 735984 HAS SOUS 616376 HAS SOUPS 616376 WITH SCORE 617111.984
AT ITER 6905 NEW BEST:: SOT 4377636 SOS 735923 HAS SOPS 735923 HAS SOUS 616315 HAS SOUPS 616315 WITH SCORE 617050.923
AT ITER 6912 NEW BEST:: SOT 4377714 SOS 734477 HAS SOPS 734477 HAS SOUS 616207 HAS SOUPS 616207 WITH SCORE 616941.477
AT ITER 6948 NEW BEST:: SOT 4377714 SOS 734477 HAS SOPS 734477 HAS SOUS 616181 HAS SOUPS 616181 WITH SCORE 616915.477
AT ITER 6960 NEW BEST:: SOT 4377685 SOS 734839 HAS SOPS 734839 HAS SOUS 616153 HAS SOUPS 616153 WITH SCORE 616887.839
AT ITER 6962 NEW BEST:: SOT 4377685 SOS 734839 HAS SOPS 734839 HAS SOUS 616095 HAS SOUPS 616095 WITH SCORE 616829.839
AT ITER 6965 NEW BEST:: SOT 4377485 SOS 733783 HAS SOPS 733783 HAS SOUS 615322 HAS SOUPS 615322 WITH SCORE 616055.783
AT ITER 7024 NEW BEST:: SOT 4377361 SOS 733694 HAS SOPS 733694 HAS SOUS 615216 HAS SOUPS 615216 WITH SCORE 615949.694
AT ITER 7077 NEW BEST:: SOT 4377137 SOS 733468 HAS SOPS 733468 HAS SOUS 614992 HAS SOUPS 614992 WITH SCORE 615725.468
AT ITER 7082 NEW BEST:: SOT 4377120 SOS 733455 HAS SOPS 733455 HAS SOUS 614979 HAS SOUPS 614979 WITH SCORE 615712.455
AT ITER 7109 NEW BEST:: SOT 4377204 SOS 733623 HAS SOPS 733623 HAS SOUS 614874 HAS SOUPS 614874 WITH SCORE 615607.623
AT ITER 7112 NEW BEST:: SOT 4377099 SOS 733413 HAS SOPS 733413 HAS SOUS 614664 HAS SOUPS 614664 WITH SCORE 615397.413
AT ITER 7115 NEW BEST:: SOT 4377171 SOS 733534 HAS SOPS 733534 HAS SOUS 614632 HAS SOUPS 614632 WITH SCORE 615365.534
AT ITER 7117 NEW BEST:: SOT 4377330 SOS 733637 HAS SOPS 733637 HAS SOUS 614576 HAS SOUPS 614576 WITH SCORE 615309.637
AT ITER 7119 NEW BEST:: SOT 4377264 SOS 733571 HAS SOPS 733571 HAS SOUS 614510 HAS SOUPS 614510 WITH SCORE 615243.571
AT ITER 7121 NEW BEST:: SOT 4377175 SOS 733393 HAS SOPS 733393 HAS SOUS 614334 HAS SOUPS 614334 WITH SCORE 615067.393
AT ITER 7124 NEW BEST:: SOT 4377089 SOS 733307 HAS SOPS 733307 HAS SOUS 614248 HAS SOUPS 614248 WITH SCORE 614981.307
AT ITER 7125 NEW BEST:: SOT 4376852 SOS 732833 HAS SOPS 732833 HAS SOUS 614011 HAS SOUPS 614011 WITH SCORE 614743.833
AT ITER 7135 NEW BEST:: SOT 4376680 SOS 732489 HAS SOPS 732489 HAS SOUS 613667 HAS SOUPS 613667 WITH SCORE 614399.489
AT ITER 7173 NEW BEST:: SOT 4376763 SOS 732179 HAS SOPS 732179 HAS SOUS 613407 HAS SOUPS 613407 WITH SCORE 614139.179
AT ITER 7206 NEW BEST:: SOT 4376671 SOS 731995 HAS SOPS 731995 HAS SOUS 613275 HAS SOUPS 613275 WITH SCORE 614006.995
AT ITER 7232 NEW BEST:: SOT 4376549 SOS 731751 HAS SOPS 731751 HAS SOUS 613153 HAS SOUPS 613153 WITH SCORE 613884.751
AT ITER 7249 NEW BEST:: SOT 4376424 SOS 731501 HAS SOPS 731501 HAS SOUS 612931 HAS SOUPS 612931 WITH SCORE 613662.501
AT ITER 7270 NEW BEST:: SOT 4376067 SOS 731415 HAS SOPS 731415 HAS SOUS 612845 HAS SOUPS 612845 WITH SCORE 613576.415
AT ITER 7274 NEW BEST:: SOT 4376048 SOS 731377 HAS SOPS 731377 HAS SOUS 612807 HAS SOUPS 612807 WITH SCORE 613538.377
AT ITER 7287 NEW BEST:: SOT 4375970 SOS 731221 HAS SOPS 731221 HAS SOUS 612651 HAS SOUPS 612651 WITH SCORE 613382.221
AT ITER 7291 NEW BEST:: SOT 4375999 SOS 731279 HAS SOPS 731279 HAS SOUS 612644 HAS SOUPS 612644 WITH SCORE 613375.279
AT ITER 7292 NEW BEST:: SOT 4375869 SOS 731019 HAS SOPS 731019 HAS SOUS 612384 HAS SOUPS 612384 WITH SCORE 613115.019
AT ITER 7298 NEW BEST:: SOT 4375869 SOS 731077 HAS SOPS 731077 HAS SOUS 612326 HAS SOUPS 612326 WITH SCORE 613057.077
AT ITER 7326 NEW BEST:: SOT 4375709 SOS 730917 HAS SOPS 730917 HAS SOUS 612166 HAS SOUPS 612166 WITH SCORE 612896.917
AT ITER 7338 NEW BEST:: SOT 4375181 SOS 731431 HAS SOPS 731431 HAS SOUS 611935 HAS SOUPS 611935 WITH SCORE 612666.431
AT ITER 7396 NEW BEST:: SOT 4375207 SOS 731483 HAS SOPS 731483 HAS SOUS 611674 HAS SOUPS 611674 WITH SCORE 612405.483
AT ITER 7411 NEW BEST:: SOT 4375005 SOS 731180 HAS SOPS 731180 HAS SOUS 611371 HAS SOUPS 611371 WITH SCORE 612102.18
AT ITER 7428 NEW BEST:: SOT 4374911 SOS 730992 HAS SOPS 730992 HAS SOUS 611290 HAS SOUPS 611290 WITH SCORE 612020.992
AT ITER 7501 NEW BEST:: SOT 4374889 SOS 730981 HAS SOPS 730981 HAS SOUS 611279 HAS SOUPS 611279 WITH SCORE 612009.981
AT ITER 7592 NEW BEST:: SOT 4374858 SOS 730964 HAS SOPS 730964 HAS SOUS 611262 HAS SOUPS 611262 WITH SCORE 611992.964
AT ITER 7611 NEW BEST:: SOT 4374775 SOS 730798 HAS SOPS 730798 HAS SOUS 611068 HAS SOUPS 611068 WITH SCORE 611798.798
AT ITER 7631 NEW BEST:: SOT 4374775 SOS 730652 HAS SOPS 730652 HAS SOUS 610922 HAS SOUPS 610922 WITH SCORE 611652.652
AT ITER 7657 NEW BEST:: SOT 4374893 SOS 730888 HAS SOPS 730888 HAS SOUS 610797 HAS SOUPS 610797 WITH SCORE 611527.888
AT ITER 7662 NEW BEST:: SOT 4374837 SOS 730832 HAS SOPS 730832 HAS SOUS 610741 HAS SOUPS 610741 WITH SCORE 611471.832
AT ITER 7717 NEW BEST:: SOT 4374837 SOS 730831 HAS SOPS 730831 HAS SOUS 610740 HAS SOUPS 610740 WITH SCORE 611470.831
AT ITER 7729 NEW BEST:: SOT 4374797 SOS 730553 HAS SOPS 730553 HAS SOUS 610630 HAS SOUPS 610630 WITH SCORE 611360.553
AT ITER 7774 NEW BEST:: SOT 4374797 SOS 730499 HAS SOPS 730499 HAS SOUS 610603 HAS SOUPS 610603 WITH SCORE 611333.499
AT ITER 7800 NEW BEST:: SOT 4374777 SOS 730459 HAS SOPS 730459 HAS SOUS 610563 HAS SOUPS 610563 WITH SCORE 611293.459
AT ITER 7859 NEW BEST:: SOT 4374777 SOS 730452 HAS SOPS 730452 HAS SOUS 610563 HAS SOUPS 610563 WITH SCORE 611293.452
AT ITER 7880 NEW BEST:: SOT 4374624 SOS 730146 HAS SOPS 730146 HAS SOUS 610187 HAS SOUPS 610187 WITH SCORE 610917.146
AT ITER 7922 NEW BEST:: SOT 4374363 SOS 729624 HAS SOPS 729624 HAS SOUS 609926 HAS SOUPS 609926 WITH SCORE 610655.624
AT ITER 7972 NEW BEST:: SOT 4374348 SOS 729713 HAS SOPS 729713 HAS SOUS 609850 HAS SOUPS 609850 WITH SCORE 610579.713
AT ITER 7987 NEW BEST:: SOT 4374125 SOS 729490 HAS SOPS 729490 HAS SOUS 609850 HAS SOUPS 609850 WITH SCORE 610579.49
AT ITER 8064 NEW BEST:: SOT 4374200 SOS 729639 HAS SOPS 729639 HAS SOUS 609628 HAS SOUPS 609628 WITH SCORE 610357.639
AT ITER 8070 NEW BEST:: SOT 4374228 SOS 729475 HAS SOPS 729475 HAS SOUS 609589 HAS SOUPS 609589 WITH SCORE 610318.475
AT ITER 8074 NEW BEST:: SOT 4374178 SOS 729425 HAS SOPS 729425 HAS SOUS 609539 HAS SOUPS 609539 WITH SCORE 610268.425
AT ITER 8103 NEW BEST:: SOT 4374178 SOS 729425 HAS SOPS 729425 HAS SOUS 609511 HAS SOUPS 609511 WITH SCORE 610240.425
AT ITER 8167 NEW BEST:: SOT 4374164 SOS 729383 HAS SOPS 729383 HAS SOUS 609483 HAS SOUPS 609483 WITH SCORE 610212.383
AT ITER 8173 NEW BEST:: SOT 4374145 SOS 729345 HAS SOPS 729345 HAS SOUS 609445 HAS SOUPS 609445 WITH SCORE 610174.345
AT ITER 8196 NEW BEST:: SOT 4374145 SOS 729393 HAS SOPS 729393 HAS SOUS 609444 HAS SOUPS 609444 WITH SCORE 610173.393
AT ITER 8204 NEW BEST:: SOT 4374348 SOS 729799 HAS SOPS 729799 HAS SOUS 609433 HAS SOUPS 609433 WITH SCORE 610162.799
AT ITER 8205 NEW BEST:: SOT 4374347 SOS 729797 HAS SOPS 729797 HAS SOUS 609431 HAS SOUPS 609431 WITH SCORE 610160.797
AT ITER 8218 NEW BEST:: SOT 4374304 SOS 729711 HAS SOPS 729711 HAS SOUS 609379 HAS SOUPS 609379 WITH SCORE 610108.711
AT ITER 8295 NEW BEST:: SOT 4374171 SOS 729889 HAS SOPS 729889 HAS SOUS 609356 HAS SOUPS 609356 WITH SCORE 610085.889
AT ITER 8308 NEW BEST:: SOT 4373699 SOS 729417 HAS SOPS 729417 HAS SOUS 608884 HAS SOUPS 608884 WITH SCORE 609613.417
AT ITER 8315 NEW BEST:: SOT 4373585 SOS 729189 HAS SOPS 729189 HAS SOUS 608770 HAS SOUPS 608770 WITH SCORE 609499.189
AT ITER 8341 NEW BEST:: SOT 4373417 SOS 729223 HAS SOPS 729223 HAS SOUS 608708 HAS SOUPS 608708 WITH SCORE 609437.223
AT ITER 8351 NEW BEST:: SOT 4373330 SOS 729049 HAS SOPS 729049 HAS SOUS 608534 HAS SOUPS 608534 WITH SCORE 609263.049
AT ITER 8367 NEW BEST:: SOT 4373075 SOS 728794 HAS SOPS 728794 HAS SOUS 608279 HAS SOUPS 608279 WITH SCORE 609007.794
AT ITER 8378 NEW BEST:: SOT 4373075 SOS 728678 HAS SOPS 728678 HAS SOUS 608279 HAS SOUPS 608279 WITH SCORE 609007.678
AT ITER 8392 NEW BEST:: SOT 4373075 SOS 728678 HAS SOPS 728678 HAS SOUS 608239 HAS SOUPS 608239 WITH SCORE 608967.678
AT ITER 8415 NEW BEST:: SOT 4373061 SOS 728650 HAS SOPS 728650 HAS SOUS 608211 HAS SOUPS 608211 WITH SCORE 608939.65
AT ITER 8419 NEW BEST:: SOT 4373125 SOS 728632 HAS SOPS 728632 HAS SOUS 608202 HAS SOUPS 608202 WITH SCORE 608930.632
AT ITER 8428 NEW BEST:: SOT 4372956 SOS 729374 HAS SOPS 729374 HAS SOUS 608033 HAS SOUPS 608033 WITH SCORE 608762.374
AT ITER 8449 NEW BEST:: SOT 4372804 SOS 729070 HAS SOPS 729070 HAS SOUS 607881 HAS SOUPS 607881 WITH SCORE 608610.07
AT ITER 8463 NEW BEST:: SOT 4372793 SOS 729048 HAS SOPS 729048 HAS SOUS 607859 HAS SOUPS 607859 WITH SCORE 608588.048
AT ITER 8470 NEW BEST:: SOT 4372793 SOS 729048 HAS SOPS 729048 HAS SOUS 607756 HAS SOUPS 607756 WITH SCORE 608485.048
AT ITER 8494 NEW BEST:: SOT 4372730 SOS 728922 HAS SOPS 728922 HAS SOUS 607630 HAS SOUPS 607630 WITH SCORE 608358.922
AT ITER 8504 NEW BEST:: SOT 4372238 SOS 727938 HAS SOPS 727938 HAS SOUS 607433 HAS SOUPS 607433 WITH SCORE 608160.938
AT ITER 8536 NEW BEST:: SOT 4372011 SOS 728018 HAS SOPS 728018 HAS SOUS 607305 HAS SOUPS 607305 WITH SCORE 608033.018
AT ITER 8575 NEW BEST:: SOT 4371940 SOS 727876 HAS SOPS 727876 HAS SOUS 607163 HAS SOUPS 607163 WITH SCORE 607890.876
AT ITER 8587 NEW BEST:: SOT 4371879 SOS 727754 HAS SOPS 727754 HAS SOUS 607041 HAS SOUPS 607041 WITH SCORE 607768.754
AT ITER 8596 NEW BEST:: SOT 4371878 SOS 727751 HAS SOPS 727751 HAS SOUS 607039 HAS SOUPS 607039 WITH SCORE 607766.751
AT ITER 8635 NEW BEST:: SOT 4371522 SOS 727631 HAS SOPS 727631 HAS SOUS 606689 HAS SOUPS 606689 WITH SCORE 607416.631
AT ITER 8651 NEW BEST:: SOT 4371549 SOS 727563 HAS SOPS 727563 HAS SOUS 606682 HAS SOUPS 606682 WITH SCORE 607409.563
AT ITER 8670 NEW BEST:: SOT 4371531 SOS 727527 HAS SOPS 727527 HAS SOUS 606664 HAS SOUPS 606664 WITH SCORE 607391.527
AT ITER 8723 NEW BEST:: SOT 4371531 SOS 727527 HAS SOPS 727527 HAS SOUS 606457 HAS SOUPS 606457 WITH SCORE 607184.527
AT ITER 8775 NEW BEST:: SOT 4371531 SOS 727527 HAS SOPS 727527 HAS SOUS 606409 HAS SOUPS 606409 WITH SCORE 607136.527
AT ITER 8828 NEW BEST:: SOT 4371529 SOS 727449 HAS SOPS 727449 HAS SOUS 606404 HAS SOUPS 606404 WITH SCORE 607131.449
AT ITER 8849 NEW BEST:: SOT 4371496 SOS 727460 HAS SOPS 727460 HAS SOUS 606395 HAS SOUPS 606395 WITH SCORE 607122.46
AT ITER 8855 NEW BEST:: SOT 4371213 SOS 726894 HAS SOPS 726894 HAS SOUS 605829 HAS SOUPS 605829 WITH SCORE 606555.894
AT ITER 8881 NEW BEST:: SOT 4371188 SOS 726844 HAS SOPS 726844 HAS SOUS 605804 HAS SOUPS 605804 WITH SCORE 606530.844
AT ITER 8882 NEW BEST:: SOT 4371085 SOS 726353 HAS SOPS 726353 HAS SOUS 605701 HAS SOUPS 605701 WITH SCORE 606427.353
AT ITER 8899 NEW BEST:: SOT 4370996 SOS 726244 HAS SOPS 726244 HAS SOUS 605541 HAS SOUPS 605541 WITH SCORE 606267.244
AT ITER 8912 NEW BEST:: SOT 4370560 SOS 729165 HAS SOPS 729165 HAS SOUS 605326 HAS SOUPS 605326 WITH SCORE 606055.165
AT ITER 8915 NEW BEST:: SOT 4370453 SOS 728951 HAS SOPS 728951 HAS SOUS 605129 HAS SOUPS 605129 WITH SCORE 605857.951
AT ITER 8928 NEW BEST:: SOT 4370453 SOS 728896 HAS SOPS 728896 HAS SOUS 605129 HAS SOUPS 605129 WITH SCORE 605857.896
AT ITER 8932 NEW BEST:: SOT 4370453 SOS 728818 HAS SOPS 728818 HAS SOUS 605051 HAS SOUPS 605051 WITH SCORE 605779.818
AT ITER 8934 NEW BEST:: SOT 4370198 SOS 728563 HAS SOPS 728563 HAS SOUS 605050 HAS SOUPS 605050 WITH SCORE 605778.563
AT ITER 8949 NEW BEST:: SOT 4370198 SOS 728563 HAS SOPS 728563 HAS SOUS 605040 HAS SOUPS 605040 WITH SCORE 605768.563
AT ITER 8966 NEW BEST:: SOT 4370198 SOS 728411 HAS SOPS 728411 HAS SOUS 605040 HAS SOUPS 605040 WITH SCORE 605768.411
AT ITER 9002 NEW BEST:: SOT 4370153 SOS 728550 HAS SOPS 728550 HAS SOUS 604995 HAS SOUPS 604995 WITH SCORE 605723.55
AT ITER 9020 NEW BEST:: SOT 4370111 SOS 728508 HAS SOPS 728508 HAS SOUS 604953 HAS SOUPS 604953 WITH SCORE 605681.508
AT ITER 9028 NEW BEST:: SOT 4369860 SOS 728196 HAS SOPS 728196 HAS SOUS 604646 HAS SOUPS 604646 WITH SCORE 605374.196
AT ITER 9031 NEW BEST:: SOT 4369709 SOS 728117 HAS SOPS 728117 HAS SOUS 604567 HAS SOUPS 604567 WITH SCORE 605295.117
AT ITER 9034 NEW BEST:: SOT 4369709 SOS 728117 HAS SOPS 728117 HAS SOUS 604543 HAS SOUPS 604543 WITH SCORE 605271.117
AT ITER 9035 NEW BEST:: SOT 4369695 SOS 728139 HAS SOPS 728139 HAS SOUS 604515 HAS SOUPS 604515 WITH SCORE 605243.139
AT ITER 9053 NEW BEST:: SOT 4369507 SOS 728788 HAS SOPS 728788 HAS SOUS 604497 HAS SOUPS 604497 WITH SCORE 605225.788
AT ITER 9103 NEW BEST:: SOT 4369435 SOS 728644 HAS SOPS 728644 HAS SOUS 604353 HAS SOUPS 604353 WITH SCORE 605081.644
AT ITER 9132 NEW BEST:: SOT 4369226 SOS 728924 HAS SOPS 728924 HAS SOUS 604201 HAS SOUPS 604201 WITH SCORE 604929.924
AT ITER 9146 NEW BEST:: SOT 4369076 SOS 728624 HAS SOPS 728624 HAS SOUS 603750 HAS SOUPS 603750 WITH SCORE 604478.624
AT ITER 9147 NEW BEST:: SOT 4368784 SOS 728332 HAS SOPS 728332 HAS SOUS 603586 HAS SOUPS 603586 WITH SCORE 604314.332
AT ITER 9189 NEW BEST:: SOT 4368378 SOS 727520 HAS SOPS 727520 HAS SOUS 603025 HAS SOUPS 603025 WITH SCORE 603752.52
AT ITER 9233 NEW BEST:: SOT 4368302 SOS 727482 HAS SOPS 727482 HAS SOUS 602986 HAS SOUPS 602986 WITH SCORE 603713.482
AT ITER 9267 NEW BEST:: SOT 4368302 SOS 727252 HAS SOPS 727252 HAS SOUS 602756 HAS SOUPS 602756 WITH SCORE 603483.252
AT ITER 9276 NEW BEST:: SOT 4368263 SOS 727174 HAS SOPS 727174 HAS SOUS 602717 HAS SOUPS 602717 WITH SCORE 603444.174
AT ITER 9280 NEW BEST:: SOT 4368153 SOS 726954 HAS SOPS 726954 HAS SOUS 602496 HAS SOUPS 602496 WITH SCORE 603222.954
AT ITER 9339 NEW BEST:: SOT 4367924 SOS 726666 HAS SOPS 726666 HAS SOUS 602307 HAS SOUPS 602307 WITH SCORE 603033.666
AT ITER 9374 NEW BEST:: SOT 4367720 SOS 726409 HAS SOPS 726409 HAS SOUS 602030 HAS SOUPS 602030 WITH SCORE 602756.409
AT ITER 9421 NEW BEST:: SOT 4367640 SOS 726329 HAS SOPS 726329 HAS SOUS 602030 HAS SOUPS 602030 WITH SCORE 602756.329
AT ITER 9454 NEW BEST:: SOT 4367520 SOS 726089 HAS SOPS 726089 HAS SOUS 601790 HAS SOUPS 601790 WITH SCORE 602516.089
AT ITER 9481 NEW BEST:: SOT 4367154 SOS 725357 HAS SOPS 725357 HAS SOUS 601432 HAS SOUPS 601432 WITH SCORE 602157.357
AT ITER 9485 NEW BEST:: SOT 4367150 SOS 725349 HAS SOPS 725349 HAS SOUS 601424 HAS SOUPS 601424 WITH SCORE 602149.349
AT ITER 9491 NEW BEST:: SOT 4367092 SOS 725233 HAS SOPS 725233 HAS SOUS 601308 HAS SOUPS 601308 WITH SCORE 602033.233
AT ITER 9617 NEW BEST:: SOT 4367068 SOS 725185 HAS SOPS 725185 HAS SOUS 601260 HAS SOUPS 601260 WITH SCORE 601985.185
AT ITER 9651 NEW BEST:: SOT 4367021 SOS 725091 HAS SOPS 725091 HAS SOUS 601213 HAS SOUPS 601213 WITH SCORE 601938.091
AT ITER 9657 NEW BEST:: SOT 4366582 SOS 724213 HAS SOPS 724213 HAS SOUS 600911 HAS SOUPS 600911 WITH SCORE 601635.213
AT ITER 9665 NEW BEST:: SOT 4366582 SOS 724213 HAS SOPS 724213 HAS SOUS 600811 HAS SOUPS 600811 WITH SCORE 601535.213
AT ITER 9687 NEW BEST:: SOT 4366514 SOS 724145 HAS SOPS 724145 HAS SOUS 600743 HAS SOUPS 600743 WITH SCORE 601467.145
AT ITER 9719 NEW BEST:: SOT 4366445 SOS 724007 HAS SOPS 724007 HAS SOUS 600728 HAS SOUPS 600728 WITH SCORE 601452.007
AT ITER 9735 NEW BEST:: SOT 4365657 SOS 726492 HAS SOPS 726492 HAS SOUS 600360 HAS SOUPS 600360 WITH SCORE 601086.492
AT ITER 9740 NEW BEST:: SOT 4365619 SOS 726378 HAS SOPS 726378 HAS SOUS 600281 HAS SOUPS 600281 WITH SCORE 601007.378
AT ITER 9800 NEW BEST:: SOT 4365531 SOS 726202 HAS SOPS 726202 HAS SOUS 600193 HAS SOUPS 600193 WITH SCORE 600919.202
AT ITER 9802 NEW BEST:: SOT 4365167 SOS 725474 HAS SOPS 725474 HAS SOUS 599829 HAS SOUPS 599829 WITH SCORE 600554.474
AT ITER 9808 NEW BEST:: SOT 4365208 SOS 725102 HAS SOPS 725102 HAS SOUS 599675 HAS SOUPS 599675 WITH SCORE 600400.102
AT ITER 9841 NEW BEST:: SOT 4365139 SOS 725010 HAS SOPS 725010 HAS SOUS 599583 HAS SOUPS 599583 WITH SCORE 600308.01
AT ITER 9848 NEW BEST:: SOT 4365139 SOS 725180 HAS SOPS 725180 HAS SOUS 599582 HAS SOUPS 599582 WITH SCORE 600307.18
AT ITER 9907 NEW BEST:: SOT 4364969 SOS 724840 HAS SOPS 724840 HAS SOUS 599412 HAS SOUPS 599412 WITH SCORE 600136.84
AT ITER 9961 NEW BEST:: SOT 4364969 SOS 724783 HAS SOPS 724783 HAS SOUS 599393 HAS SOUPS 599393 WITH SCORE 600117.783
AT ITER 9975 NEW BEST:: SOT 4364969 SOS 724783 HAS SOPS 724783 HAS SOUS 599379 HAS SOUPS 599379 WITH SCORE 600103.783
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 12831684 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16154792 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-310"
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-310, 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-167814471900080"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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