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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 5.2K Feb 25 11:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 48K Feb 25 11:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.3K Feb 25 11:49 CTLFireability.txt
-rw-r--r-- 1 mcc users 58K 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 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 167K Feb 25 11:50 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.0K Feb 25 11:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 66K 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 1678226115515

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-313
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 313
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 4448374 SOS 744561 HAS SOPS 744561 HAS SOUS 686887 HAS SOUPS 686887 WITH SCORE 687631.561
AT ITER 2 NEW BEST:: SOT 4448229 SOS 744271 HAS SOPS 744271 HAS SOUS 686597 HAS SOUPS 686597 WITH SCORE 687341.271
AT ITER 6 NEW BEST:: SOT 4448013 SOS 744072 HAS SOPS 744072 HAS SOUS 686389 HAS SOUPS 686389 WITH SCORE 687133.072
AT ITER 23 NEW BEST:: SOT 4447920 SOS 743886 HAS SOPS 743886 HAS SOUS 686203 HAS SOUPS 686203 WITH SCORE 686946.886
AT ITER 29 NEW BEST:: SOT 4447668 SOS 743382 HAS SOPS 743382 HAS SOUS 685699 HAS SOUPS 685699 WITH SCORE 686442.382
AT ITER 36 NEW BEST:: SOT 4447748 SOS 743182 HAS SOPS 743182 HAS SOUS 685638 HAS SOUPS 685638 WITH SCORE 686381.182
AT ITER 41 NEW BEST:: SOT 4447748 SOS 743003 HAS SOPS 743003 HAS SOUS 685526 HAS SOUPS 685526 WITH SCORE 686269.003
AT ITER 48 NEW BEST:: SOT 4447783 SOS 743522 HAS SOPS 743522 HAS SOUS 685431 HAS SOUPS 685431 WITH SCORE 686174.522
AT ITER 56 NEW BEST:: SOT 4447723 SOS 743482 HAS SOPS 743482 HAS SOUS 685371 HAS SOUPS 685371 WITH SCORE 686114.482
AT ITER 64 NEW BEST:: SOT 4447842 SOS 743372 HAS SOPS 743372 HAS SOUS 685322 HAS SOUPS 685322 WITH SCORE 686065.372
AT ITER 67 NEW BEST:: SOT 4447842 SOS 743242 HAS SOPS 743242 HAS SOUS 685321 HAS SOUPS 685321 WITH SCORE 686064.242
AT ITER 84 NEW BEST:: SOT 4447338 SOS 742738 HAS SOPS 742738 HAS SOUS 684817 HAS SOUPS 684817 WITH SCORE 685559.738
AT ITER 111 NEW BEST:: SOT 4447337 SOS 742736 HAS SOPS 742736 HAS SOUS 684815 HAS SOUPS 684815 WITH SCORE 685557.736
AT ITER 112 NEW BEST:: SOT 4447442 SOS 742421 HAS SOPS 742421 HAS SOUS 684610 HAS SOUPS 684610 WITH SCORE 685352.421
AT ITER 124 NEW BEST:: SOT 4447436 SOS 742409 HAS SOPS 742409 HAS SOUS 684598 HAS SOUPS 684598 WITH SCORE 685340.409
AT ITER 149 NEW BEST:: SOT 4447436 SOS 742219 HAS SOPS 742219 HAS SOUS 684598 HAS SOUPS 684598 WITH SCORE 685340.219
AT ITER 185 NEW BEST:: SOT 4447514 SOS 742018 HAS SOPS 742018 HAS SOUS 684512 HAS SOUPS 684512 WITH SCORE 685254.018
AT ITER 200 NEW BEST:: SOT 4447271 SOS 741775 HAS SOPS 741775 HAS SOUS 684512 HAS SOUPS 684512 WITH SCORE 685253.775
AT ITER 203 NEW BEST:: SOT 4447111 SOS 741615 HAS SOPS 741615 HAS SOUS 684352 HAS SOUPS 684352 WITH SCORE 685093.615
AT ITER 239 NEW BEST:: SOT 4447110 SOS 741613 HAS SOPS 741613 HAS SOUS 684350 HAS SOUPS 684350 WITH SCORE 685091.613
AT ITER 243 NEW BEST:: SOT 4447110 SOS 741547 HAS SOPS 741547 HAS SOUS 684284 HAS SOUPS 684284 WITH SCORE 685025.547
AT ITER 249 NEW BEST:: SOT 4447167 SOS 741415 HAS SOPS 741415 HAS SOUS 684218 HAS SOUPS 684218 WITH SCORE 684959.415
AT ITER 269 NEW BEST:: SOT 4447042 SOS 741564 HAS SOPS 741564 HAS SOUS 684166 HAS SOUPS 684166 WITH SCORE 684907.564
AT ITER 304 NEW BEST:: SOT 4447097 SOS 741377 HAS SOPS 741377 HAS SOUS 683989 HAS SOUPS 683989 WITH SCORE 684730.377
AT ITER 305 NEW BEST:: SOT 4447024 SOS 741231 HAS SOPS 741231 HAS SOUS 683843 HAS SOUPS 683843 WITH SCORE 684584.231
AT ITER 309 NEW BEST:: SOT 4447024 SOS 741231 HAS SOPS 741231 HAS SOUS 683788 HAS SOUPS 683788 WITH SCORE 684529.231
AT ITER 311 NEW BEST:: SOT 4447024 SOS 741222 HAS SOPS 741222 HAS SOUS 683788 HAS SOUPS 683788 WITH SCORE 684529.222
AT ITER 314 NEW BEST:: SOT 4446948 SOS 741728 HAS SOPS 741728 HAS SOUS 683582 HAS SOUPS 683582 WITH SCORE 684323.728
AT ITER 348 NEW BEST:: SOT 4446532 SOS 741652 HAS SOPS 741652 HAS SOUS 683342 HAS SOUPS 683342 WITH SCORE 684083.652
AT ITER 356 NEW BEST:: SOT 4446532 SOS 741453 HAS SOPS 741453 HAS SOUS 683342 HAS SOUPS 683342 WITH SCORE 684083.453
AT ITER 382 NEW BEST:: SOT 4446402 SOS 741323 HAS SOPS 741323 HAS SOUS 683212 HAS SOUPS 683212 WITH SCORE 683953.323
AT ITER 399 NEW BEST:: SOT 4446037 SOS 740800 HAS SOPS 740800 HAS SOUS 682689 HAS SOUPS 682689 WITH SCORE 683429.8
AT ITER 419 NEW BEST:: SOT 4445788 SOS 740138 HAS SOPS 740138 HAS SOUS 682055 HAS SOUPS 682055 WITH SCORE 682795.138
AT ITER 421 NEW BEST:: SOT 4445696 SOS 739954 HAS SOPS 739954 HAS SOUS 681871 HAS SOUPS 681871 WITH SCORE 682610.954
AT ITER 444 NEW BEST:: SOT 4445577 SOS 739716 HAS SOPS 739716 HAS SOUS 681633 HAS SOUPS 681633 WITH SCORE 682372.716
AT ITER 448 NEW BEST:: SOT 4445534 SOS 739630 HAS SOPS 739630 HAS SOUS 681361 HAS SOUPS 681361 WITH SCORE 682100.63
AT ITER 450 NEW BEST:: SOT 4445457 SOS 739599 HAS SOPS 739599 HAS SOUS 681284 HAS SOUPS 681284 WITH SCORE 682023.599
AT ITER 470 NEW BEST:: SOT 4445445 SOS 739575 HAS SOPS 739575 HAS SOUS 681260 HAS SOUPS 681260 WITH SCORE 681999.575
AT ITER 492 NEW BEST:: SOT 4445445 SOS 739449 HAS SOPS 739449 HAS SOUS 681260 HAS SOUPS 681260 WITH SCORE 681999.449
AT ITER 539 NEW BEST:: SOT 4445249 SOS 738786 HAS SOPS 738786 HAS SOUS 680601 HAS SOUPS 680601 WITH SCORE 681339.786
AT ITER 542 NEW BEST:: SOT 4445070 SOS 738428 HAS SOPS 738428 HAS SOUS 680422 HAS SOUPS 680422 WITH SCORE 681160.428
AT ITER 563 NEW BEST:: SOT 4445070 SOS 738428 HAS SOPS 738428 HAS SOUS 680283 HAS SOUPS 680283 WITH SCORE 681021.428
AT ITER 602 NEW BEST:: SOT 4445070 SOS 738360 HAS SOPS 738360 HAS SOUS 680283 HAS SOUPS 680283 WITH SCORE 681021.36
AT ITER 625 NEW BEST:: SOT 4444690 SOS 738190 HAS SOPS 738190 HAS SOUS 679765 HAS SOUPS 679765 WITH SCORE 680503.19
AT ITER 631 NEW BEST:: SOT 4444690 SOS 738190 HAS SOPS 738190 HAS SOUS 679723 HAS SOUPS 679723 WITH SCORE 680461.19
AT ITER 642 NEW BEST:: SOT 4444687 SOS 738184 HAS SOPS 738184 HAS SOUS 679717 HAS SOUPS 679717 WITH SCORE 680455.184
AT ITER 677 NEW BEST:: SOT 4444690 SOS 737932 HAS SOPS 737932 HAS SOUS 679524 HAS SOUPS 679524 WITH SCORE 680261.932
AT ITER 678 NEW BEST:: SOT 4444690 SOS 737653 HAS SOPS 737653 HAS SOUS 679523 HAS SOUPS 679523 WITH SCORE 680260.653
AT ITER 688 NEW BEST:: SOT 4444352 SOS 737583 HAS SOPS 737583 HAS SOUS 679276 HAS SOUPS 679276 WITH SCORE 680013.583
AT ITER 700 NEW BEST:: SOT 4444242 SOS 737766 HAS SOPS 737766 HAS SOUS 679056 HAS SOUPS 679056 WITH SCORE 679793.766
AT ITER 708 NEW BEST:: SOT 4439740 SOS 789284 HAS SOPS 789284 HAS SOUS 676964 HAS SOUPS 676964 WITH SCORE 677753.284
AT ITER 810 NEW BEST:: SOT 4439548 SOS 789119 HAS SOPS 789119 HAS SOUS 676799 HAS SOUPS 676799 WITH SCORE 677588.119
AT ITER 826 NEW BEST:: SOT 4439120 SOS 788573 HAS SOPS 788573 HAS SOUS 676216 HAS SOUPS 676216 WITH SCORE 677004.573
AT ITER 839 NEW BEST:: SOT 4439120 SOS 788223 HAS SOPS 788223 HAS SOUS 676041 HAS SOUPS 676041 WITH SCORE 676829.223
AT ITER 845 NEW BEST:: SOT 4439120 SOS 788115 HAS SOPS 788115 HAS SOUS 676039 HAS SOUPS 676039 WITH SCORE 676827.115
AT ITER 870 NEW BEST:: SOT 4439120 SOS 787755 HAS SOPS 787755 HAS SOUS 675679 HAS SOUPS 675679 WITH SCORE 676466.755
AT ITER 903 NEW BEST:: SOT 4439045 SOS 787214 HAS SOPS 787214 HAS SOUS 675507 HAS SOUPS 675507 WITH SCORE 676294.214
AT ITER 909 NEW BEST:: SOT 4438660 SOS 786918 HAS SOPS 786918 HAS SOUS 675122 HAS SOUPS 675122 WITH SCORE 675908.918
AT ITER 934 NEW BEST:: SOT 4438868 SOS 786850 HAS SOPS 786850 HAS SOUS 675054 HAS SOUPS 675054 WITH SCORE 675840.85
AT ITER 953 NEW BEST:: SOT 4438835 SOS 786784 HAS SOPS 786784 HAS SOUS 674636 HAS SOUPS 674636 WITH SCORE 675422.784
AT ITER 958 NEW BEST:: SOT 4438648 SOS 786410 HAS SOPS 786410 HAS SOUS 674262 HAS SOUPS 674262 WITH SCORE 675048.41
AT ITER 962 NEW BEST:: SOT 4438694 SOS 786192 HAS SOPS 786192 HAS SOUS 673998 HAS SOUPS 673998 WITH SCORE 674784.192
AT ITER 974 NEW BEST:: SOT 4438675 SOS 786154 HAS SOPS 786154 HAS SOUS 673960 HAS SOUPS 673960 WITH SCORE 674746.154
AT ITER 981 NEW BEST:: SOT 4438674 SOS 786150 HAS SOPS 786150 HAS SOUS 673958 HAS SOUPS 673958 WITH SCORE 674744.15
AT ITER 984 NEW BEST:: SOT 4438673 SOS 786148 HAS SOPS 786148 HAS SOUS 673956 HAS SOUPS 673956 WITH SCORE 674742.148
AT ITER 1004 NEW BEST:: SOT 4438382 SOS 786116 HAS SOPS 786116 HAS SOUS 673723 HAS SOUPS 673723 WITH SCORE 674509.116
AT ITER 1007 NEW BEST:: SOT 4438261 SOS 785995 HAS SOPS 785995 HAS SOUS 673602 HAS SOUPS 673602 WITH SCORE 674387.995
AT ITER 1012 NEW BEST:: SOT 4437859 SOS 785668 HAS SOPS 785668 HAS SOUS 673200 HAS SOUPS 673200 WITH SCORE 673985.668
AT ITER 1024 NEW BEST:: SOT 4437612 SOS 785174 HAS SOPS 785174 HAS SOUS 673085 HAS SOUPS 673085 WITH SCORE 673870.174
AT ITER 1063 NEW BEST:: SOT 4437538 SOS 785100 HAS SOPS 785100 HAS SOUS 673010 HAS SOUPS 673010 WITH SCORE 673795.1
AT ITER 1069 NEW BEST:: SOT 4437525 SOS 785087 HAS SOPS 785087 HAS SOUS 672997 HAS SOUPS 672997 WITH SCORE 673782.087
AT ITER 1072 NEW BEST:: SOT 4437514 SOS 785065 HAS SOPS 785065 HAS SOUS 672975 HAS SOUPS 672975 WITH SCORE 673760.065
AT ITER 1094 NEW BEST:: SOT 4437487 SOS 785038 HAS SOPS 785038 HAS SOUS 672948 HAS SOUPS 672948 WITH SCORE 673733.038
AT ITER 1097 NEW BEST:: SOT 4437487 SOS 784936 HAS SOPS 784936 HAS SOUS 672948 HAS SOUPS 672948 WITH SCORE 673732.936
AT ITER 1141 NEW BEST:: SOT 4437385 SOS 784903 HAS SOPS 784903 HAS SOUS 672881 HAS SOUPS 672881 WITH SCORE 673665.903
AT ITER 1142 NEW BEST:: SOT 4437385 SOS 784867 HAS SOPS 784867 HAS SOUS 672881 HAS SOUPS 672881 WITH SCORE 673665.867
AT ITER 1171 NEW BEST:: SOT 4437386 SOS 785269 HAS SOPS 785269 HAS SOUS 672823 HAS SOUPS 672823 WITH SCORE 673608.269
AT ITER 1173 NEW BEST:: SOT 4436767 SOS 784654 HAS SOPS 784654 HAS SOUS 672208 HAS SOUPS 672208 WITH SCORE 672992.654
AT ITER 1177 NEW BEST:: SOT 4436725 SOS 784570 HAS SOPS 784570 HAS SOUS 672124 HAS SOUPS 672124 WITH SCORE 672908.57
AT ITER 1201 NEW BEST:: SOT 4436641 SOS 783546 HAS SOPS 783546 HAS SOUS 671795 HAS SOUPS 671795 WITH SCORE 672578.546
AT ITER 1216 NEW BEST:: SOT 4436641 SOS 783431 HAS SOPS 783431 HAS SOUS 671794 HAS SOUPS 671794 WITH SCORE 672577.431
AT ITER 1242 NEW BEST:: SOT 4436638 SOS 783428 HAS SOPS 783428 HAS SOUS 671794 HAS SOUPS 671794 WITH SCORE 672577.428
AT ITER 1244 NEW BEST:: SOT 4436688 SOS 783528 HAS SOPS 783528 HAS SOUS 671776 HAS SOUPS 671776 WITH SCORE 672559.528
AT ITER 1248 NEW BEST:: SOT 4436446 SOS 783286 HAS SOPS 783286 HAS SOUS 671534 HAS SOUPS 671534 WITH SCORE 672317.286
AT ITER 1269 NEW BEST:: SOT 4436134 SOS 783078 HAS SOPS 783078 HAS SOUS 671222 HAS SOUPS 671222 WITH SCORE 672005.078
AT ITER 1294 NEW BEST:: SOT 4436134 SOS 783035 HAS SOPS 783035 HAS SOUS 671218 HAS SOUPS 671218 WITH SCORE 672001.035
AT ITER 1312 NEW BEST:: SOT 4436134 SOS 783035 HAS SOPS 783035 HAS SOUS 671056 HAS SOUPS 671056 WITH SCORE 671839.035
AT ITER 1324 NEW BEST:: SOT 4435969 SOS 782870 HAS SOPS 782870 HAS SOUS 670891 HAS SOUPS 670891 WITH SCORE 671673.87
AT ITER 1366 NEW BEST:: SOT 4435524 SOS 783016 HAS SOPS 783016 HAS SOUS 670547 HAS SOUPS 670547 WITH SCORE 671330.016
AT ITER 1368 NEW BEST:: SOT 4435474 SOS 782620 HAS SOPS 782620 HAS SOUS 670177 HAS SOUPS 670177 WITH SCORE 670959.62
AT ITER 1375 NEW BEST:: SOT 4435426 SOS 782678 HAS SOPS 782678 HAS SOUS 670128 HAS SOUPS 670128 WITH SCORE 670910.678
AT ITER 1471 NEW BEST:: SOT 4432803 SOS 802032 HAS SOPS 802032 HAS SOUS 668199 HAS SOUPS 668199 WITH SCORE 669001.032
AT ITER 1534 NEW BEST:: SOT 4432802 SOS 801719 HAS SOPS 801719 HAS SOUS 668197 HAS SOUPS 668197 WITH SCORE 668998.719
AT ITER 1550 NEW BEST:: SOT 4432650 SOS 801415 HAS SOPS 801415 HAS SOUS 667893 HAS SOUPS 667893 WITH SCORE 668694.415
AT ITER 1557 NEW BEST:: SOT 4432592 SOS 801405 HAS SOPS 801405 HAS SOUS 667857 HAS SOUPS 667857 WITH SCORE 668658.405
AT ITER 1569 NEW BEST:: SOT 4432289 SOS 800799 HAS SOPS 800799 HAS SOUS 667251 HAS SOUPS 667251 WITH SCORE 668051.799
AT ITER 1576 NEW BEST:: SOT 4432289 SOS 800539 HAS SOPS 800539 HAS SOUS 667250 HAS SOUPS 667250 WITH SCORE 668050.539
AT ITER 1595 NEW BEST:: SOT 4432288 SOS 800537 HAS SOPS 800537 HAS SOUS 667248 HAS SOUPS 667248 WITH SCORE 668048.537
AT ITER 1602 NEW BEST:: SOT 4432126 SOS 800105 HAS SOPS 800105 HAS SOUS 667098 HAS SOUPS 667098 WITH SCORE 667898.105
AT ITER 1613 NEW BEST:: SOT 4432378 SOS 799879 HAS SOPS 799879 HAS SOUS 666986 HAS SOUPS 666986 WITH SCORE 667785.879
AT ITER 1614 NEW BEST:: SOT 4432378 SOS 799879 HAS SOPS 799879 HAS SOUS 666794 HAS SOUPS 666794 WITH SCORE 667593.879
AT ITER 1616 NEW BEST:: SOT 4432105 SOS 799606 HAS SOPS 799606 HAS SOUS 666732 HAS SOUPS 666732 WITH SCORE 667531.606
AT ITER 1662 NEW BEST:: SOT 4432160 SOS 799520 HAS SOPS 799520 HAS SOUS 666646 HAS SOUPS 666646 WITH SCORE 667445.52
AT ITER 1665 NEW BEST:: SOT 4432160 SOS 799449 HAS SOPS 799449 HAS SOUS 666575 HAS SOUPS 666575 WITH SCORE 667374.449
AT ITER 1674 NEW BEST:: SOT 4432160 SOS 799449 HAS SOPS 799449 HAS SOUS 666570 HAS SOUPS 666570 WITH SCORE 667369.449
AT ITER 1721 NEW BEST:: SOT 4431920 SOS 798969 HAS SOPS 798969 HAS SOUS 666090 HAS SOUPS 666090 WITH SCORE 666888.969
AT ITER 1731 NEW BEST:: SOT 4431806 SOS 798404 HAS SOPS 798404 HAS SOUS 665639 HAS SOUPS 665639 WITH SCORE 666437.404
AT ITER 1738 NEW BEST:: SOT 4431964 SOS 798720 HAS SOPS 798720 HAS SOUS 665537 HAS SOUPS 665537 WITH SCORE 666335.72
AT ITER 1750 NEW BEST:: SOT 4431897 SOS 798653 HAS SOPS 798653 HAS SOUS 665470 HAS SOUPS 665470 WITH SCORE 666268.653
AT ITER 1767 NEW BEST:: SOT 4431474 SOS 798089 HAS SOPS 798089 HAS SOUS 664906 HAS SOUPS 664906 WITH SCORE 665704.089
AT ITER 1794 NEW BEST:: SOT 4431474 SOS 797960 HAS SOPS 797960 HAS SOUS 664777 HAS SOUPS 664777 WITH SCORE 665574.96
AT ITER 1814 NEW BEST:: SOT 4431185 SOS 797724 HAS SOPS 797724 HAS SOUS 664488 HAS SOUPS 664488 WITH SCORE 665285.724
AT ITER 1818 NEW BEST:: SOT 4431113 SOS 797652 HAS SOPS 797652 HAS SOUS 664416 HAS SOUPS 664416 WITH SCORE 665213.652
AT ITER 1823 NEW BEST:: SOT 4431033 SOS 797492 HAS SOPS 797492 HAS SOUS 664256 HAS SOUPS 664256 WITH SCORE 665053.492
AT ITER 1840 NEW BEST:: SOT 4430996 SOS 797454 HAS SOPS 797454 HAS SOUS 664254 HAS SOUPS 664254 WITH SCORE 665051.454
AT ITER 1857 NEW BEST:: SOT 4430810 SOS 797642 HAS SOPS 797642 HAS SOUS 664130 HAS SOUPS 664130 WITH SCORE 664927.642
AT ITER 1881 NEW BEST:: SOT 4428677 SOS 833438 HAS SOPS 833438 HAS SOUS 663995 HAS SOUPS 663995 WITH SCORE 664828.438
AT ITER 1898 NEW BEST:: SOT 4428477 SOS 833238 HAS SOPS 833238 HAS SOUS 663595 HAS SOUPS 663595 WITH SCORE 664428.238
AT ITER 1913 NEW BEST:: SOT 4428391 SOS 833066 HAS SOPS 833066 HAS SOUS 663509 HAS SOUPS 663509 WITH SCORE 664342.066
AT ITER 1936 NEW BEST:: SOT 4427879 SOS 832712 HAS SOPS 832712 HAS SOUS 663155 HAS SOUPS 663155 WITH SCORE 663987.712
AT ITER 1958 NEW BEST:: SOT 4427405 SOS 831764 HAS SOPS 831764 HAS SOUS 663022 HAS SOUPS 663022 WITH SCORE 663853.764
AT ITER 1969 NEW BEST:: SOT 4427467 SOS 831593 HAS SOPS 831593 HAS SOUS 662859 HAS SOUPS 662859 WITH SCORE 663690.593
AT ITER 1972 NEW BEST:: SOT 4427380 SOS 831419 HAS SOPS 831419 HAS SOUS 662685 HAS SOUPS 662685 WITH SCORE 663516.419
AT ITER 1979 NEW BEST:: SOT 4427347 SOS 831353 HAS SOPS 831353 HAS SOUS 662619 HAS SOUPS 662619 WITH SCORE 663450.353
AT ITER 2013 NEW BEST:: SOT 4427347 SOS 831353 HAS SOPS 831353 HAS SOUS 662617 HAS SOUPS 662617 WITH SCORE 663448.353
AT ITER 2027 NEW BEST:: SOT 4427314 SOS 831287 HAS SOPS 831287 HAS SOUS 662551 HAS SOUPS 662551 WITH SCORE 663382.287
AT ITER 2050 NEW BEST:: SOT 4427314 SOS 831213 HAS SOPS 831213 HAS SOUS 662551 HAS SOUPS 662551 WITH SCORE 663382.213
AT ITER 2122 NEW BEST:: SOT 4427320 SOS 830773 HAS SOPS 830773 HAS SOUS 662337 HAS SOUPS 662337 WITH SCORE 663167.773
AT ITER 2157 NEW BEST:: SOT 4427320 SOS 830493 HAS SOPS 830493 HAS SOUS 662057 HAS SOUPS 662057 WITH SCORE 662887.493
AT ITER 2198 NEW BEST:: SOT 4427266 SOS 830696 HAS SOPS 830696 HAS SOUS 662052 HAS SOUPS 662052 WITH SCORE 662882.696
AT ITER 2199 NEW BEST:: SOT 4427251 SOS 830666 HAS SOPS 830666 HAS SOUS 662022 HAS SOUPS 662022 WITH SCORE 662852.666
AT ITER 2217 NEW BEST:: SOT 4426996 SOS 830418 HAS SOPS 830418 HAS SOUS 661774 HAS SOUPS 661774 WITH SCORE 662604.418
AT ITER 2219 NEW BEST:: SOT 4426996 SOS 830418 HAS SOPS 830418 HAS SOUS 661714 HAS SOUPS 661714 WITH SCORE 662544.418
AT ITER 2222 NEW BEST:: SOT 4426996 SOS 830418 HAS SOPS 830418 HAS SOUS 661587 HAS SOUPS 661587 WITH SCORE 662417.418
AT ITER 2248 NEW BEST:: SOT 4426796 SOS 830218 HAS SOPS 830218 HAS SOUS 661387 HAS SOUPS 661387 WITH SCORE 662217.218
AT ITER 2281 NEW BEST:: SOT 4426735 SOS 830096 HAS SOPS 830096 HAS SOUS 661265 HAS SOUPS 661265 WITH SCORE 662095.096
AT ITER 2320 NEW BEST:: SOT 4426450 SOS 829906 HAS SOPS 829906 HAS SOUS 661036 HAS SOUPS 661036 WITH SCORE 661865.906
AT ITER 2322 NEW BEST:: SOT 4426231 SOS 829205 HAS SOPS 829205 HAS SOUS 660597 HAS SOUPS 660597 WITH SCORE 661426.205
AT ITER 2323 NEW BEST:: SOT 4426231 SOS 829167 HAS SOPS 829167 HAS SOUS 660597 HAS SOUPS 660597 WITH SCORE 661426.167
AT ITER 2351 NEW BEST:: SOT 4426231 SOS 828991 HAS SOPS 828991 HAS SOUS 660597 HAS SOUPS 660597 WITH SCORE 661425.991
AT ITER 2364 NEW BEST:: SOT 4426231 SOS 828711 HAS SOPS 828711 HAS SOUS 660597 HAS SOUPS 660597 WITH SCORE 661425.711
AT ITER 2376 NEW BEST:: SOT 4426231 SOS 828532 HAS SOPS 828532 HAS SOUS 660418 HAS SOUPS 660418 WITH SCORE 661246.532
AT ITER 2379 NEW BEST:: SOT 4426175 SOS 828476 HAS SOPS 828476 HAS SOUS 660379 HAS SOUPS 660379 WITH SCORE 661207.476
AT ITER 2382 NEW BEST:: SOT 4426129 SOS 828232 HAS SOPS 828232 HAS SOUS 660181 HAS SOUPS 660181 WITH SCORE 661009.232
AT ITER 2403 NEW BEST:: SOT 4426123 SOS 828220 HAS SOPS 828220 HAS SOUS 660169 HAS SOUPS 660169 WITH SCORE 660997.22
AT ITER 2414 NEW BEST:: SOT 4426059 SOS 828060 HAS SOPS 828060 HAS SOUS 660073 HAS SOUPS 660073 WITH SCORE 660901.06
AT ITER 2415 NEW BEST:: SOT 4426198 SOS 828017 HAS SOPS 828017 HAS SOUS 660032 HAS SOUPS 660032 WITH SCORE 660860.017
AT ITER 2431 NEW BEST:: SOT 4426190 SOS 828001 HAS SOPS 828001 HAS SOUS 660011 HAS SOUPS 660011 WITH SCORE 660839.001
AT ITER 2446 NEW BEST:: SOT 4426079 SOS 827927 HAS SOPS 827927 HAS SOUS 659900 HAS SOUPS 659900 WITH SCORE 660727.927
AT ITER 2447 NEW BEST:: SOT 4426079 SOS 827927 HAS SOPS 827927 HAS SOUS 659773 HAS SOUPS 659773 WITH SCORE 660600.927
AT ITER 2460 NEW BEST:: SOT 4426224 SOS 827631 HAS SOPS 827631 HAS SOUS 659625 HAS SOUPS 659625 WITH SCORE 660452.631
AT ITER 2484 NEW BEST:: SOT 4426045 SOS 827273 HAS SOPS 827273 HAS SOUS 659267 HAS SOUPS 659267 WITH SCORE 660094.273
AT ITER 2510 NEW BEST:: SOT 4426044 SOS 827271 HAS SOPS 827271 HAS SOUS 659265 HAS SOUPS 659265 WITH SCORE 660092.271
AT ITER 2530 NEW BEST:: SOT 4425855 SOS 827501 HAS SOPS 827501 HAS SOUS 658962 HAS SOUPS 658962 WITH SCORE 659789.501
AT ITER 2545 NEW BEST:: SOT 4425846 SOS 827483 HAS SOPS 827483 HAS SOUS 658944 HAS SOUPS 658944 WITH SCORE 659771.483
AT ITER 2569 NEW BEST:: SOT 4425438 SOS 828323 HAS SOPS 828323 HAS SOUS 658754 HAS SOUPS 658754 WITH SCORE 659582.323
AT ITER 2578 NEW BEST:: SOT 4425334 SOS 828228 HAS SOPS 828228 HAS SOUS 658655 HAS SOUPS 658655 WITH SCORE 659483.228
AT ITER 2606 NEW BEST:: SOT 4425367 SOS 828261 HAS SOPS 828261 HAS SOUS 658626 HAS SOUPS 658626 WITH SCORE 659454.261
AT ITER 2615 NEW BEST:: SOT 4425299 SOS 828125 HAS SOPS 828125 HAS SOUS 658558 HAS SOUPS 658558 WITH SCORE 659386.125
AT ITER 2625 NEW BEST:: SOT 4425299 SOS 828123 HAS SOPS 828123 HAS SOUS 658558 HAS SOUPS 658558 WITH SCORE 659386.123
AT ITER 2628 NEW BEST:: SOT 4425184 SOS 827893 HAS SOPS 827893 HAS SOUS 658328 HAS SOUPS 658328 WITH SCORE 659155.893
AT ITER 2640 NEW BEST:: SOT 4424933 SOS 817351 HAS SOPS 817351 HAS SOUS 657826 HAS SOUPS 657826 WITH SCORE 658643.351
AT ITER 2641 NEW BEST:: SOT 4424507 SOS 816925 HAS SOPS 816925 HAS SOUS 657400 HAS SOUPS 657400 WITH SCORE 658216.925
AT ITER 2657 NEW BEST:: SOT 4424350 SOS 817931 HAS SOPS 817931 HAS SOUS 657243 HAS SOUPS 657243 WITH SCORE 658060.931
AT ITER 2677 NEW BEST:: SOT 4424175 SOS 817771 HAS SOPS 817771 HAS SOUS 657076 HAS SOUPS 657076 WITH SCORE 657893.771
AT ITER 2685 NEW BEST:: SOT 4423993 SOS 817589 HAS SOPS 817589 HAS SOUS 656894 HAS SOUPS 656894 WITH SCORE 657711.589
AT ITER 2690 NEW BEST:: SOT 4423993 SOS 817338 HAS SOPS 817338 HAS SOUS 656643 HAS SOUPS 656643 WITH SCORE 657460.338
AT ITER 2694 NEW BEST:: SOT 4423931 SOS 817292 HAS SOPS 817292 HAS SOUS 656503 HAS SOUPS 656503 WITH SCORE 657320.292
AT ITER 2712 NEW BEST:: SOT 4423704 SOS 817223 HAS SOPS 817223 HAS SOUS 656275 HAS SOUPS 656275 WITH SCORE 657092.223
AT ITER 2727 NEW BEST:: SOT 4423598 SOS 817011 HAS SOPS 817011 HAS SOUS 656026 HAS SOUPS 656026 WITH SCORE 656843.011
AT ITER 2755 NEW BEST:: SOT 4423058 SOS 816471 HAS SOPS 816471 HAS SOUS 655486 HAS SOUPS 655486 WITH SCORE 656302.471
AT ITER 2773 NEW BEST:: SOT 4422960 SOS 816275 HAS SOPS 816275 HAS SOUS 655290 HAS SOUPS 655290 WITH SCORE 656106.275
AT ITER 2790 NEW BEST:: SOT 4422960 SOS 816106 HAS SOPS 816106 HAS SOUS 655120 HAS SOUPS 655120 WITH SCORE 655936.106
AT ITER 2792 NEW BEST:: SOT 4422960 SOS 816106 HAS SOPS 816106 HAS SOUS 655119 HAS SOUPS 655119 WITH SCORE 655935.106
AT ITER 2813 NEW BEST:: SOT 4422960 SOS 815668 HAS SOPS 815668 HAS SOUS 655119 HAS SOUPS 655119 WITH SCORE 655934.668
AT ITER 2822 NEW BEST:: SOT 4423199 SOS 815871 HAS SOPS 815871 HAS SOUS 655064 HAS SOUPS 655064 WITH SCORE 655879.871
AT ITER 2830 NEW BEST:: SOT 4423199 SOS 815865 HAS SOPS 815865 HAS SOUS 655058 HAS SOUPS 655058 WITH SCORE 655873.865
AT ITER 2837 NEW BEST:: SOT 4423146 SOS 815666 HAS SOPS 815666 HAS SOUS 654912 HAS SOUPS 654912 WITH SCORE 655727.666
AT ITER 2885 NEW BEST:: SOT 4423145 SOS 815603 HAS SOPS 815603 HAS SOUS 654879 HAS SOUPS 654879 WITH SCORE 655694.603
AT ITER 2914 NEW BEST:: SOT 4423134 SOS 815592 HAS SOPS 815592 HAS SOUS 654868 HAS SOUPS 654868 WITH SCORE 655683.592
AT ITER 2920 NEW BEST:: SOT 4423134 SOS 815268 HAS SOPS 815268 HAS SOUS 654868 HAS SOUPS 654868 WITH SCORE 655683.268
AT ITER 2924 NEW BEST:: SOT 4423133 SOS 815252 HAS SOPS 815252 HAS SOUS 654867 HAS SOUPS 654867 WITH SCORE 655682.252
AT ITER 2928 NEW BEST:: SOT 4423034 SOS 815054 HAS SOPS 815054 HAS SOUS 654768 HAS SOUPS 654768 WITH SCORE 655583.054
AT ITER 2949 NEW BEST:: SOT 4422961 SOS 814908 HAS SOPS 814908 HAS SOUS 654622 HAS SOUPS 654622 WITH SCORE 655436.908
AT ITER 2969 NEW BEST:: SOT 4422813 SOS 814464 HAS SOPS 814464 HAS SOUS 654178 HAS SOUPS 654178 WITH SCORE 654992.464
AT ITER 2991 NEW BEST:: SOT 4422476 SOS 814188 HAS SOPS 814188 HAS SOUS 653734 HAS SOUPS 653734 WITH SCORE 654548.188
AT ITER 3021 NEW BEST:: SOT 4422472 SOS 814180 HAS SOPS 814180 HAS SOUS 653726 HAS SOUPS 653726 WITH SCORE 654540.18
AT ITER 3065 NEW BEST:: SOT 4422314 SOS 814022 HAS SOPS 814022 HAS SOUS 653410 HAS SOUPS 653410 WITH SCORE 654224.022
AT ITER 3074 NEW BEST:: SOT 4422314 SOS 813948 HAS SOPS 813948 HAS SOUS 653336 HAS SOUPS 653336 WITH SCORE 654149.948
AT ITER 3099 NEW BEST:: SOT 4422314 SOS 813714 HAS SOPS 813714 HAS SOUS 653336 HAS SOUPS 653336 WITH SCORE 654149.714
AT ITER 3119 NEW BEST:: SOT 4422169 SOS 813424 HAS SOPS 813424 HAS SOUS 653046 HAS SOUPS 653046 WITH SCORE 653859.424
AT ITER 3126 NEW BEST:: SOT 4422149 SOS 813424 HAS SOPS 813424 HAS SOUS 653036 HAS SOUPS 653036 WITH SCORE 653849.424
AT ITER 3129 NEW BEST:: SOT 4422139 SOS 813420 HAS SOPS 813420 HAS SOUS 653029 HAS SOUPS 653029 WITH SCORE 653842.42
AT ITER 3161 NEW BEST:: SOT 4422130 SOS 813402 HAS SOPS 813402 HAS SOUS 653011 HAS SOUPS 653011 WITH SCORE 653824.402
AT ITER 3184 NEW BEST:: SOT 4422349 SOS 813059 HAS SOPS 813059 HAS SOUS 652671 HAS SOUPS 652671 WITH SCORE 653484.059
AT ITER 3193 NEW BEST:: SOT 4422292 SOS 812485 HAS SOPS 812485 HAS SOUS 652293 HAS SOUPS 652293 WITH SCORE 653105.485
AT ITER 3222 NEW BEST:: SOT 4422189 SOS 812482 HAS SOPS 812482 HAS SOUS 652190 HAS SOUPS 652190 WITH SCORE 653002.482
AT ITER 3224 NEW BEST:: SOT 4422189 SOS 812268 HAS SOPS 812268 HAS SOUS 652083 HAS SOUPS 652083 WITH SCORE 652895.268
AT ITER 3234 NEW BEST:: SOT 4421533 SOS 812504 HAS SOPS 812504 HAS SOUS 651556 HAS SOUPS 651556 WITH SCORE 652368.504
AT ITER 3254 NEW BEST:: SOT 4421345 SOS 812808 HAS SOPS 812808 HAS SOUS 651475 HAS SOUPS 651475 WITH SCORE 652287.808
AT ITER 3305 NEW BEST:: SOT 4420259 SOS 813408 HAS SOPS 813408 HAS SOUS 651040 HAS SOUPS 651040 WITH SCORE 651853.408
AT ITER 3309 NEW BEST:: SOT 4420334 SOS 813259 HAS SOPS 813259 HAS SOUS 650899 HAS SOUPS 650899 WITH SCORE 651712.259
AT ITER 3342 NEW BEST:: SOT 4420334 SOS 813230 HAS SOPS 813230 HAS SOUS 650870 HAS SOUPS 650870 WITH SCORE 651683.23
AT ITER 3352 NEW BEST:: SOT 4420121 SOS 813159 HAS SOPS 813159 HAS SOUS 650657 HAS SOUPS 650657 WITH SCORE 651470.159
AT ITER 3354 NEW BEST:: SOT 4420026 SOS 812969 HAS SOPS 812969 HAS SOUS 650467 HAS SOUPS 650467 WITH SCORE 651279.969
AT ITER 3392 NEW BEST:: SOT 4420025 SOS 812967 HAS SOPS 812967 HAS SOUS 650465 HAS SOUPS 650465 WITH SCORE 651277.967
AT ITER 3409 NEW BEST:: SOT 4419684 SOS 812285 HAS SOPS 812285 HAS SOUS 650235 HAS SOUPS 650235 WITH SCORE 651047.285
AT ITER 3410 NEW BEST:: SOT 4419695 SOS 812918 HAS SOPS 812918 HAS SOUS 649785 HAS SOUPS 649785 WITH SCORE 650597.918
AT ITER 3426 NEW BEST:: SOT 4419843 SOS 812154 HAS SOPS 812154 HAS SOUS 649705 HAS SOUPS 649705 WITH SCORE 650517.154
AT ITER 3437 NEW BEST:: SOT 4419843 SOS 812080 HAS SOPS 812080 HAS SOUS 649705 HAS SOUPS 649705 WITH SCORE 650517.08
AT ITER 3451 NEW BEST:: SOT 4419677 SOS 811906 HAS SOPS 811906 HAS SOUS 649610 HAS SOUPS 649610 WITH SCORE 650421.906
AT ITER 3474 NEW BEST:: SOT 4419645 SOS 811842 HAS SOPS 811842 HAS SOUS 649546 HAS SOUPS 649546 WITH SCORE 650357.842
AT ITER 3480 NEW BEST:: SOT 4419644 SOS 811840 HAS SOPS 811840 HAS SOUS 649544 HAS SOUPS 649544 WITH SCORE 650355.84
AT ITER 3528 NEW BEST:: SOT 4419585 SOS 811722 HAS SOPS 811722 HAS SOUS 649510 HAS SOUPS 649510 WITH SCORE 650321.722
AT ITER 3529 NEW BEST:: SOT 4419656 SOS 811579 HAS SOPS 811579 HAS SOUS 649367 HAS SOUPS 649367 WITH SCORE 650178.579
AT ITER 3538 NEW BEST:: SOT 4419502 SOS 811271 HAS SOPS 811271 HAS SOUS 649213 HAS SOUPS 649213 WITH SCORE 650024.271
AT ITER 3549 NEW BEST:: SOT 4419400 SOS 811067 HAS SOPS 811067 HAS SOUS 649136 HAS SOUPS 649136 WITH SCORE 649947.067
AT ITER 3557 NEW BEST:: SOT 4419400 SOS 810974 HAS SOPS 810974 HAS SOUS 649136 HAS SOUPS 649136 WITH SCORE 649946.974
AT ITER 3574 NEW BEST:: SOT 4419232 SOS 810381 HAS SOPS 810381 HAS SOUS 648799 HAS SOUPS 648799 WITH SCORE 649609.381
AT ITER 3593 NEW BEST:: SOT 4419016 SOS 810165 HAS SOPS 810165 HAS SOUS 648583 HAS SOUPS 648583 WITH SCORE 649393.165
AT ITER 3634 NEW BEST:: SOT 4418788 SOS 809709 HAS SOPS 809709 HAS SOUS 648241 HAS SOUPS 648241 WITH SCORE 649050.709
AT ITER 3637 NEW BEST:: SOT 4418487 SOS 809763 HAS SOPS 809763 HAS SOUS 648058 HAS SOUPS 648058 WITH SCORE 648867.763
AT ITER 3647 NEW BEST:: SOT 4418393 SOS 809575 HAS SOPS 809575 HAS SOUS 647870 HAS SOUPS 647870 WITH SCORE 648679.575
AT ITER 3661 NEW BEST:: SOT 4418383 SOS 809555 HAS SOPS 809555 HAS SOUS 647860 HAS SOUPS 647860 WITH SCORE 648669.555
AT ITER 3688 NEW BEST:: SOT 4418274 SOS 809040 HAS SOPS 809040 HAS SOUS 647642 HAS SOUPS 647642 WITH SCORE 648451.04
AT ITER 3694 NEW BEST:: SOT 4418274 SOS 809006 HAS SOPS 809006 HAS SOUS 647642 HAS SOUPS 647642 WITH SCORE 648451.006
AT ITER 3700 NEW BEST:: SOT 4418150 SOS 808950 HAS SOPS 808950 HAS SOUS 647614 HAS SOUPS 647614 WITH SCORE 648422.95
AT ITER 3740 NEW BEST:: SOT 4418150 SOS 808837 HAS SOPS 808837 HAS SOUS 647614 HAS SOUPS 647614 WITH SCORE 648422.837
AT ITER 3748 NEW BEST:: SOT 4417894 SOS 808857 HAS SOPS 808857 HAS SOUS 647451 HAS SOUPS 647451 WITH SCORE 648259.857
AT ITER 3753 NEW BEST:: SOT 4417894 SOS 808696 HAS SOPS 808696 HAS SOUS 647451 HAS SOUPS 647451 WITH SCORE 648259.696
AT ITER 3758 NEW BEST:: SOT 4417893 SOS 808694 HAS SOPS 808694 HAS SOUS 647449 HAS SOUPS 647449 WITH SCORE 648257.694
AT ITER 3767 NEW BEST:: SOT 4417778 SOS 808579 HAS SOPS 808579 HAS SOUS 647334 HAS SOUPS 647334 WITH SCORE 648142.579
AT ITER 3772 NEW BEST:: SOT 4417777 SOS 808577 HAS SOPS 808577 HAS SOUS 647332 HAS SOUPS 647332 WITH SCORE 648140.577
AT ITER 3803 NEW BEST:: SOT 4417737 SOS 808497 HAS SOPS 808497 HAS SOUS 647291 HAS SOUPS 647291 WITH SCORE 648099.497
AT ITER 3823 NEW BEST:: SOT 4417726 SOS 808475 HAS SOPS 808475 HAS SOUS 647269 HAS SOUPS 647269 WITH SCORE 648077.475
AT ITER 3859 NEW BEST:: SOT 4417726 SOS 808470 HAS SOPS 808470 HAS SOUS 647264 HAS SOUPS 647264 WITH SCORE 648072.47
AT ITER 3860 NEW BEST:: SOT 4417721 SOS 808460 HAS SOPS 808460 HAS SOUS 647254 HAS SOUPS 647254 WITH SCORE 648062.46
AT ITER 3893 NEW BEST:: SOT 4417536 SOS 808275 HAS SOPS 808275 HAS SOUS 647069 HAS SOUPS 647069 WITH SCORE 647877.275
AT ITER 3895 NEW BEST:: SOT 4417257 SOS 807717 HAS SOPS 807717 HAS SOUS 646511 HAS SOUPS 646511 WITH SCORE 647318.717
AT ITER 3896 NEW BEST:: SOT 4417149 SOS 807501 HAS SOPS 807501 HAS SOUS 646295 HAS SOUPS 646295 WITH SCORE 647102.501
AT ITER 3903 NEW BEST:: SOT 4417714 SOS 808104 HAS SOPS 808104 HAS SOUS 646254 HAS SOUPS 646254 WITH SCORE 647062.104
AT ITER 3915 NEW BEST:: SOT 4417713 SOS 808102 HAS SOPS 808102 HAS SOUS 646252 HAS SOUPS 646252 WITH SCORE 647060.102
AT ITER 3943 NEW BEST:: SOT 4417443 SOS 807562 HAS SOPS 807562 HAS SOUS 645712 HAS SOUPS 645712 WITH SCORE 646519.562
AT ITER 3948 NEW BEST:: SOT 4417443 SOS 807562 HAS SOPS 807562 HAS SOUS 645628 HAS SOUPS 645628 WITH SCORE 646435.562
AT ITER 3959 NEW BEST:: SOT 4417453 SOS 807582 HAS SOPS 807582 HAS SOUS 645617 HAS SOUPS 645617 WITH SCORE 646424.582
AT ITER 3997 NEW BEST:: SOT 4416659 SOS 811949 HAS SOPS 811949 HAS SOUS 645317 HAS SOUPS 645317 WITH SCORE 646128.949
AT ITER 4007 NEW BEST:: SOT 4416659 SOS 811871 HAS SOPS 811871 HAS SOUS 645317 HAS SOUPS 645317 WITH SCORE 646128.871
AT ITER 4021 NEW BEST:: SOT 4416584 SOS 811721 HAS SOPS 811721 HAS SOUS 645167 HAS SOUPS 645167 WITH SCORE 645978.721
AT ITER 4053 NEW BEST:: SOT 4416582 SOS 811717 HAS SOPS 811717 HAS SOUS 645165 HAS SOUPS 645165 WITH SCORE 645976.717
AT ITER 4070 NEW BEST:: SOT 4416581 SOS 811598 HAS SOPS 811598 HAS SOUS 645104 HAS SOUPS 645104 WITH SCORE 645915.598
AT ITER 4073 NEW BEST:: SOT 4416370 SOS 811176 HAS SOPS 811176 HAS SOUS 644682 HAS SOUPS 644682 WITH SCORE 645493.176
AT ITER 4092 NEW BEST:: SOT 4416002 SOS 810791 HAS SOPS 810791 HAS SOUS 644417 HAS SOUPS 644417 WITH SCORE 645227.791
AT ITER 4102 NEW BEST:: SOT 4415962 SOS 810711 HAS SOPS 810711 HAS SOUS 644337 HAS SOUPS 644337 WITH SCORE 645147.711
AT ITER 4107 NEW BEST:: SOT 4415921 SOS 810629 HAS SOPS 810629 HAS SOUS 644296 HAS SOUPS 644296 WITH SCORE 645106.629
AT ITER 4119 NEW BEST:: SOT 4415921 SOS 810629 HAS SOPS 810629 HAS SOUS 644295 HAS SOUPS 644295 WITH SCORE 645105.629
AT ITER 4135 NEW BEST:: SOT 4416253 SOS 810809 HAS SOPS 810809 HAS SOUS 644143 HAS SOUPS 644143 WITH SCORE 644953.809
AT ITER 4171 NEW BEST:: SOT 4416253 SOS 810591 HAS SOPS 810591 HAS SOUS 644143 HAS SOUPS 644143 WITH SCORE 644953.591
AT ITER 4196 NEW BEST:: SOT 4416180 SOS 810445 HAS SOPS 810445 HAS SOUS 643997 HAS SOUPS 643997 WITH SCORE 644807.445
AT ITER 4205 NEW BEST:: SOT 4416057 SOS 810035 HAS SOPS 810035 HAS SOUS 643451 HAS SOUPS 643451 WITH SCORE 644261.035
AT ITER 4211 NEW BEST:: SOT 4415851 SOS 809768 HAS SOPS 809768 HAS SOUS 643103 HAS SOUPS 643103 WITH SCORE 643912.768
AT ITER 4227 NEW BEST:: SOT 4415739 SOS 809656 HAS SOPS 809656 HAS SOUS 642991 HAS SOUPS 642991 WITH SCORE 643800.656
AT ITER 4254 NEW BEST:: SOT 4415623 SOS 809424 HAS SOPS 809424 HAS SOUS 642759 HAS SOUPS 642759 WITH SCORE 643568.424
AT ITER 4262 NEW BEST:: SOT 4415621 SOS 809420 HAS SOPS 809420 HAS SOUS 642755 HAS SOUPS 642755 WITH SCORE 643564.42
AT ITER 4288 NEW BEST:: SOT 4415587 SOS 809386 HAS SOPS 809386 HAS SOUS 642721 HAS SOUPS 642721 WITH SCORE 643530.386
AT ITER 4306 NEW BEST:: SOT 4415381 SOS 809180 HAS SOPS 809180 HAS SOUS 642695 HAS SOUPS 642695 WITH SCORE 643504.18
AT ITER 4307 NEW BEST:: SOT 4415021 SOS 808820 HAS SOPS 808820 HAS SOUS 642346 HAS SOUPS 642346 WITH SCORE 643154.82
AT ITER 4309 NEW BEST:: SOT 4414857 SOS 808611 HAS SOPS 808611 HAS SOUS 642063 HAS SOUPS 642063 WITH SCORE 642871.611
AT ITER 4313 NEW BEST:: SOT 4414794 SOS 808485 HAS SOPS 808485 HAS SOUS 642000 HAS SOUPS 642000 WITH SCORE 642808.485
AT ITER 4346 NEW BEST:: SOT 4414749 SOS 808395 HAS SOPS 808395 HAS SOUS 641910 HAS SOUPS 641910 WITH SCORE 642718.395
AT ITER 4363 NEW BEST:: SOT 4414694 SOS 808285 HAS SOPS 808285 HAS SOUS 641855 HAS SOUPS 641855 WITH SCORE 642663.285
AT ITER 4383 NEW BEST:: SOT 4414525 SOS 807947 HAS SOPS 807947 HAS SOUS 641517 HAS SOUPS 641517 WITH SCORE 642324.947
AT ITER 4385 NEW BEST:: SOT 4414440 SOS 807777 HAS SOPS 807777 HAS SOUS 641347 HAS SOUPS 641347 WITH SCORE 642154.777
AT ITER 4419 NEW BEST:: SOT 4414440 SOS 807115 HAS SOPS 807115 HAS SOUS 641347 HAS SOUPS 641347 WITH SCORE 642154.115
AT ITER 4426 NEW BEST:: SOT 4414291 SOS 806586 HAS SOPS 806586 HAS SOUS 641049 HAS SOUPS 641049 WITH SCORE 641855.586
AT ITER 4431 NEW BEST:: SOT 4414304 SOS 806612 HAS SOPS 806612 HAS SOUS 640886 HAS SOUPS 640886 WITH SCORE 641692.612
AT ITER 4443 NEW BEST:: SOT 4414292 SOS 806588 HAS SOPS 806588 HAS SOUS 640874 HAS SOUPS 640874 WITH SCORE 641680.588
AT ITER 4466 NEW BEST:: SOT 4414292 SOS 806514 HAS SOPS 806514 HAS SOUS 640874 HAS SOUPS 640874 WITH SCORE 641680.514
AT ITER 4489 NEW BEST:: SOT 4414239 SOS 806253 HAS SOPS 806253 HAS SOUS 640768 HAS SOUPS 640768 WITH SCORE 641574.253
AT ITER 4515 NEW BEST:: SOT 4414164 SOS 806028 HAS SOPS 806028 HAS SOUS 640618 HAS SOUPS 640618 WITH SCORE 641424.028
AT ITER 4528 NEW BEST:: SOT 4414093 SOS 806124 HAS SOPS 806124 HAS SOUS 640595 HAS SOUPS 640595 WITH SCORE 641401.124
AT ITER 4553 NEW BEST:: SOT 4413593 SOS 805624 HAS SOPS 805624 HAS SOUS 640095 HAS SOUPS 640095 WITH SCORE 640900.624
AT ITER 4569 NEW BEST:: SOT 4413428 SOS 805294 HAS SOPS 805294 HAS SOUS 639765 HAS SOUPS 639765 WITH SCORE 640570.294
AT ITER 4575 NEW BEST:: SOT 4413416 SOS 805203 HAS SOPS 805203 HAS SOUS 639741 HAS SOUPS 639741 WITH SCORE 640546.203
AT ITER 4587 NEW BEST:: SOT 4413177 SOS 805085 HAS SOPS 805085 HAS SOUS 639565 HAS SOUPS 639565 WITH SCORE 640370.085
AT ITER 4614 NEW BEST:: SOT 4413264 SOS 804677 HAS SOPS 804677 HAS SOUS 639070 HAS SOUPS 639070 WITH SCORE 639874.677
AT ITER 4625 NEW BEST:: SOT 4413216 SOS 804649 HAS SOPS 804649 HAS SOUS 639022 HAS SOUPS 639022 WITH SCORE 639826.649
AT ITER 4636 NEW BEST:: SOT 4413172 SOS 804561 HAS SOPS 804561 HAS SOUS 638934 HAS SOUPS 638934 WITH SCORE 639738.561
AT ITER 4652 NEW BEST:: SOT 4413001 SOS 804010 HAS SOPS 804010 HAS SOUS 638438 HAS SOUPS 638438 WITH SCORE 639242.01
AT ITER 4664 NEW BEST:: SOT 4412712 SOS 803432 HAS SOPS 803432 HAS SOUS 637860 HAS SOUPS 637860 WITH SCORE 638663.432
AT ITER 4671 NEW BEST:: SOT 4412711 SOS 803414 HAS SOPS 803414 HAS SOUS 637855 HAS SOUPS 637855 WITH SCORE 638658.414
AT ITER 4687 NEW BEST:: SOT 4412350 SOS 803700 HAS SOPS 803700 HAS SOUS 637771 HAS SOUPS 637771 WITH SCORE 638574.7
AT ITER 4692 NEW BEST:: SOT 4412257 SOS 803514 HAS SOPS 803514 HAS SOUS 637676 HAS SOUPS 637676 WITH SCORE 638479.514
AT ITER 4762 NEW BEST:: SOT 4412257 SOS 803453 HAS SOPS 803453 HAS SOUS 637615 HAS SOUPS 637615 WITH SCORE 638418.453
AT ITER 4779 NEW BEST:: SOT 4412078 SOS 802891 HAS SOPS 802891 HAS SOUS 637436 HAS SOUPS 637436 WITH SCORE 638238.891
AT ITER 4787 NEW BEST:: SOT 4412078 SOS 802604 HAS SOPS 802604 HAS SOUS 637435 HAS SOUPS 637435 WITH SCORE 638237.604
AT ITER 4802 NEW BEST:: SOT 4412169 SOS 802786 HAS SOPS 802786 HAS SOUS 637291 HAS SOUPS 637291 WITH SCORE 638093.786
AT ITER 4812 NEW BEST:: SOT 4412166 SOS 802780 HAS SOPS 802780 HAS SOUS 637288 HAS SOUPS 637288 WITH SCORE 638090.78
AT ITER 4818 NEW BEST:: SOT 4412200 SOS 803287 HAS SOPS 803287 HAS SOUS 637199 HAS SOUPS 637199 WITH SCORE 638002.287
AT ITER 4834 NEW BEST:: SOT 4411927 SOS 802923 HAS SOPS 802923 HAS SOUS 636835 HAS SOUPS 636835 WITH SCORE 637637.923
AT ITER 4848 NEW BEST:: SOT 4411935 SOS 802939 HAS SOPS 802939 HAS SOUS 636613 HAS SOUPS 636613 WITH SCORE 637415.939
AT ITER 4870 NEW BEST:: SOT 4411935 SOS 802840 HAS SOPS 802840 HAS SOUS 636613 HAS SOUPS 636613 WITH SCORE 637415.84
AT ITER 4902 NEW BEST:: SOT 4411877 SOS 802724 HAS SOPS 802724 HAS SOUS 636555 HAS SOUPS 636555 WITH SCORE 637357.724
AT ITER 4911 NEW BEST:: SOT 4411631 SOS 802232 HAS SOPS 802232 HAS SOUS 636063 HAS SOUPS 636063 WITH SCORE 636865.232
AT ITER 4913 NEW BEST:: SOT 4411633 SOS 802104 HAS SOPS 802104 HAS SOUS 636038 HAS SOUPS 636038 WITH SCORE 636840.104
AT ITER 4914 NEW BEST:: SOT 4411485 SOS 801956 HAS SOPS 801956 HAS SOUS 635889 HAS SOUPS 635889 WITH SCORE 636690.956
AT ITER 4915 NEW BEST:: SOT 4411484 SOS 801954 HAS SOPS 801954 HAS SOUS 635887 HAS SOUPS 635887 WITH SCORE 636688.954
AT ITER 4934 NEW BEST:: SOT 4411484 SOS 801901 HAS SOPS 801901 HAS SOUS 635887 HAS SOUPS 635887 WITH SCORE 636688.901
AT ITER 4950 NEW BEST:: SOT 4411256 SOS 801673 HAS SOPS 801673 HAS SOUS 635659 HAS SOUPS 635659 WITH SCORE 636460.673
AT ITER 4976 NEW BEST:: SOT 4411195 SOS 801274 HAS SOPS 801274 HAS SOUS 635233 HAS SOUPS 635233 WITH SCORE 636034.274
AT ITER 4997 NEW BEST:: SOT 4410953 SOS 800790 HAS SOPS 800790 HAS SOUS 635152 HAS SOUPS 635152 WITH SCORE 635952.79
AT ITER 5029 NEW BEST:: SOT 4410793 SOS 800630 HAS SOPS 800630 HAS SOUS 634992 HAS SOUPS 634992 WITH SCORE 635792.63
AT ITER 5094 NEW BEST:: SOT 4410703 SOS 800540 HAS SOPS 800540 HAS SOUS 634902 HAS SOUPS 634902 WITH SCORE 635702.54
AT ITER 5106 NEW BEST:: SOT 4410975 SOS 800611 HAS SOPS 800611 HAS SOUS 634833 HAS SOUPS 634833 WITH SCORE 635633.611
AT ITER 5113 NEW BEST:: SOT 4410686 SOS 801443 HAS SOPS 801443 HAS SOUS 634727 HAS SOUPS 634727 WITH SCORE 635528.443
AT ITER 5153 NEW BEST:: SOT 4410653 SOS 801377 HAS SOPS 801377 HAS SOUS 634661 HAS SOUPS 634661 WITH SCORE 635462.377
AT ITER 5167 NEW BEST:: SOT 4410653 SOS 801377 HAS SOPS 801377 HAS SOUS 634528 HAS SOUPS 634528 WITH SCORE 635329.377
AT ITER 5180 NEW BEST:: SOT 4410524 SOS 801119 HAS SOPS 801119 HAS SOUS 634399 HAS SOUPS 634399 WITH SCORE 635200.119
AT ITER 5183 NEW BEST:: SOT 4410524 SOS 801111 HAS SOPS 801111 HAS SOUS 634391 HAS SOUPS 634391 WITH SCORE 635192.111
AT ITER 5205 NEW BEST:: SOT 4410364 SOS 800791 HAS SOPS 800791 HAS SOUS 634242 HAS SOUPS 634242 WITH SCORE 635042.791
AT ITER 5211 NEW BEST:: SOT 4410364 SOS 800740 HAS SOPS 800740 HAS SOUS 634242 HAS SOUPS 634242 WITH SCORE 635042.74
AT ITER 5216 NEW BEST:: SOT 4410363 SOS 800738 HAS SOPS 800738 HAS SOUS 634240 HAS SOUPS 634240 WITH SCORE 635040.738
AT ITER 5243 NEW BEST:: SOT 4410258 SOS 800670 HAS SOPS 800670 HAS SOUS 634139 HAS SOUPS 634139 WITH SCORE 634939.67
AT ITER 5255 NEW BEST:: SOT 4410032 SOS 800157 HAS SOPS 800157 HAS SOUS 634028 HAS SOUPS 634028 WITH SCORE 634828.157
AT ITER 5260 NEW BEST:: SOT 4409429 SOS 785195 HAS SOPS 785195 HAS SOUS 633277 HAS SOUPS 633277 WITH SCORE 634062.195
AT ITER 5274 NEW BEST:: SOT 4409087 SOS 784967 HAS SOPS 784967 HAS SOUS 632935 HAS SOUPS 632935 WITH SCORE 633719.967
AT ITER 5298 NEW BEST:: SOT 4409192 SOS 784475 HAS SOPS 784475 HAS SOUS 632828 HAS SOUPS 632828 WITH SCORE 633612.475
AT ITER 5310 NEW BEST:: SOT 4408959 SOS 784009 HAS SOPS 784009 HAS SOUS 632362 HAS SOUPS 632362 WITH SCORE 633146.009
AT ITER 5332 NEW BEST:: SOT 4408915 SOS 783921 HAS SOPS 783921 HAS SOUS 632167 HAS SOUPS 632167 WITH SCORE 632950.921
AT ITER 5334 NEW BEST:: SOT 4408684 SOS 783738 HAS SOPS 783738 HAS SOUS 631944 HAS SOUPS 631944 WITH SCORE 632727.738
AT ITER 5338 NEW BEST:: SOT 4408777 SOS 783924 HAS SOPS 783924 HAS SOUS 631840 HAS SOUPS 631840 WITH SCORE 632623.924
AT ITER 5346 NEW BEST:: SOT 4408598 SOS 783566 HAS SOPS 783566 HAS SOUS 631482 HAS SOUPS 631482 WITH SCORE 632265.566
AT ITER 5355 NEW BEST:: SOT 4408598 SOS 783467 HAS SOPS 783467 HAS SOUS 631482 HAS SOUPS 631482 WITH SCORE 632265.467
AT ITER 5371 NEW BEST:: SOT 4408174 SOS 783097 HAS SOPS 783097 HAS SOUS 631058 HAS SOUPS 631058 WITH SCORE 631841.097
AT ITER 5372 NEW BEST:: SOT 4408204 SOS 782843 HAS SOPS 782843 HAS SOUS 630961 HAS SOUPS 630961 WITH SCORE 631743.843
AT ITER 5374 NEW BEST:: SOT 4408204 SOS 782631 HAS SOPS 782631 HAS SOUS 630961 HAS SOUPS 630961 WITH SCORE 631743.631
AT ITER 5377 NEW BEST:: SOT 4408201 SOS 782625 HAS SOPS 782625 HAS SOUS 630854 HAS SOUPS 630854 WITH SCORE 631636.625
AT ITER 5473 NEW BEST:: SOT 4407966 SOS 782155 HAS SOPS 782155 HAS SOUS 630616 HAS SOUPS 630616 WITH SCORE 631398.155
AT ITER 5495 NEW BEST:: SOT 4407951 SOS 782140 HAS SOPS 782140 HAS SOUS 630601 HAS SOUPS 630601 WITH SCORE 631383.14
AT ITER 5498 NEW BEST:: SOT 4407801 SOS 781999 HAS SOPS 781999 HAS SOUS 630460 HAS SOUPS 630460 WITH SCORE 631241.999
AT ITER 5541 NEW BEST:: SOT 4407764 SOS 783023 HAS SOPS 783023 HAS SOUS 630450 HAS SOUPS 630450 WITH SCORE 631233.023
AT ITER 5547 NEW BEST:: SOT 4407764 SOS 782989 HAS SOPS 782989 HAS SOUS 630450 HAS SOUPS 630450 WITH SCORE 631232.989
AT ITER 5550 NEW BEST:: SOT 4407764 SOS 782865 HAS SOPS 782865 HAS SOUS 630326 HAS SOUPS 630326 WITH SCORE 631108.865
AT ITER 5552 NEW BEST:: SOT 4407730 SOS 782768 HAS SOPS 782768 HAS SOUS 630264 HAS SOUPS 630264 WITH SCORE 631046.768
AT ITER 5606 NEW BEST:: SOT 4407730 SOS 782619 HAS SOPS 782619 HAS SOUS 630264 HAS SOUPS 630264 WITH SCORE 631046.619
AT ITER 5642 NEW BEST:: SOT 4407654 SOS 782467 HAS SOPS 782467 HAS SOUS 630144 HAS SOUPS 630144 WITH SCORE 630926.467
AT ITER 5693 NEW BEST:: SOT 4407451 SOS 782601 HAS SOPS 782601 HAS SOUS 630055 HAS SOUPS 630055 WITH SCORE 630837.601
AT ITER 5720 NEW BEST:: SOT 4407486 SOS 782671 HAS SOPS 782671 HAS SOUS 629978 HAS SOUPS 629978 WITH SCORE 630760.671
AT ITER 5744 NEW BEST:: SOT 4407481 SOS 782651 HAS SOPS 782651 HAS SOUS 629968 HAS SOUPS 629968 WITH SCORE 630750.651
AT ITER 5761 NEW BEST:: SOT 4407460 SOS 782609 HAS SOPS 782609 HAS SOUS 629926 HAS SOUPS 629926 WITH SCORE 630708.609
AT ITER 5775 NEW BEST:: SOT 4407412 SOS 782513 HAS SOPS 782513 HAS SOUS 629867 HAS SOUPS 629867 WITH SCORE 630649.513
AT ITER 5787 NEW BEST:: SOT 4407411 SOS 782421 HAS SOPS 782421 HAS SOUS 629865 HAS SOUPS 629865 WITH SCORE 630647.421
AT ITER 5791 NEW BEST:: SOT 4407286 SOS 782296 HAS SOPS 782296 HAS SOUS 629740 HAS SOUPS 629740 WITH SCORE 630522.296
AT ITER 5800 NEW BEST:: SOT 4407212 SOS 782148 HAS SOPS 782148 HAS SOUS 629592 HAS SOUPS 629592 WITH SCORE 630374.148
AT ITER 5808 NEW BEST:: SOT 4406881 SOS 782154 HAS SOPS 782154 HAS SOUS 629428 HAS SOUPS 629428 WITH SCORE 630210.154
AT ITER 5815 NEW BEST:: SOT 4406812 SOS 782016 HAS SOPS 782016 HAS SOUS 629290 HAS SOUPS 629290 WITH SCORE 630072.016
AT ITER 5828 NEW BEST:: SOT 4404083 SOS 779449 HAS SOPS 779449 HAS SOUS 626884 HAS SOUPS 626884 WITH SCORE 627663.449
AT ITER 5839 NEW BEST:: SOT 4404012 SOS 779307 HAS SOPS 779307 HAS SOUS 626742 HAS SOUPS 626742 WITH SCORE 627521.307
AT ITER 5844 NEW BEST:: SOT 4403392 SOS 779099 HAS SOPS 779099 HAS SOUS 626287 HAS SOUPS 626287 WITH SCORE 627066.099
AT ITER 5845 NEW BEST:: SOT 4403629 SOS 779078 HAS SOPS 779078 HAS SOUS 626266 HAS SOUPS 626266 WITH SCORE 627045.078
AT ITER 5860 NEW BEST:: SOT 4403394 SOS 778982 HAS SOPS 778982 HAS SOUS 626031 HAS SOUPS 626031 WITH SCORE 626809.982
AT ITER 5881 NEW BEST:: SOT 4403387 SOS 778968 HAS SOPS 778968 HAS SOUS 626017 HAS SOUPS 626017 WITH SCORE 626795.968
AT ITER 5892 NEW BEST:: SOT 4403387 SOS 778781 HAS SOPS 778781 HAS SOUS 626017 HAS SOUPS 626017 WITH SCORE 626795.781
AT ITER 5941 NEW BEST:: SOT 4403379 SOS 778765 HAS SOPS 778765 HAS SOUS 626001 HAS SOUPS 626001 WITH SCORE 626779.765
AT ITER 5958 NEW BEST:: SOT 4403379 SOS 778754 HAS SOPS 778754 HAS SOUS 625990 HAS SOUPS 625990 WITH SCORE 626768.754
AT ITER 5984 NEW BEST:: SOT 4403359 SOS 778714 HAS SOPS 778714 HAS SOUS 625970 HAS SOUPS 625970 WITH SCORE 626748.714
AT ITER 5992 NEW BEST:: SOT 4403630 SOS 778507 HAS SOPS 778507 HAS SOUS 625848 HAS SOUPS 625848 WITH SCORE 626626.507
AT ITER 6010 NEW BEST:: SOT 4403630 SOS 778507 HAS SOPS 778507 HAS SOUS 625767 HAS SOUPS 625767 WITH SCORE 626545.507
AT ITER 6018 NEW BEST:: SOT 4403670 SOS 778501 HAS SOPS 778501 HAS SOUS 625764 HAS SOUPS 625764 WITH SCORE 626542.501
AT ITER 6046 NEW BEST:: SOT 4403630 SOS 778108 HAS SOPS 778108 HAS SOUS 625418 HAS SOUPS 625418 WITH SCORE 626196.108
AT ITER 6047 NEW BEST:: SOT 4403459 SOS 777897 HAS SOPS 777897 HAS SOUS 625116 HAS SOUPS 625116 WITH SCORE 625893.897
AT ITER 6102 NEW BEST:: SOT 4403544 SOS 778067 HAS SOPS 778067 HAS SOUS 625026 HAS SOUPS 625026 WITH SCORE 625804.067
AT ITER 6127 NEW BEST:: SOT 4403452 SOS 777883 HAS SOPS 777883 HAS SOUS 624842 HAS SOUPS 624842 WITH SCORE 625619.883
AT ITER 6150 NEW BEST:: SOT 4403383 SOS 777745 HAS SOPS 777745 HAS SOUS 624771 HAS SOUPS 624771 WITH SCORE 625548.745
AT ITER 6153 NEW BEST:: SOT 4403100 SOS 777473 HAS SOPS 777473 HAS SOUS 624205 HAS SOUPS 624205 WITH SCORE 624982.473
AT ITER 6172 NEW BEST:: SOT 4403100 SOS 777455 HAS SOPS 777455 HAS SOUS 624205 HAS SOUPS 624205 WITH SCORE 624982.455
AT ITER 6196 NEW BEST:: SOT 4403056 SOS 777331 HAS SOPS 777331 HAS SOUS 624117 HAS SOUPS 624117 WITH SCORE 624894.331
AT ITER 6213 NEW BEST:: SOT 4402787 SOS 776793 HAS SOPS 776793 HAS SOUS 623921 HAS SOUPS 623921 WITH SCORE 624697.793
AT ITER 6234 NEW BEST:: SOT 4402786 SOS 776791 HAS SOPS 776791 HAS SOUS 623919 HAS SOUPS 623919 WITH SCORE 624695.791
AT ITER 6240 NEW BEST:: SOT 4402906 SOS 776755 HAS SOPS 776755 HAS SOUS 623864 HAS SOUPS 623864 WITH SCORE 624640.755
AT ITER 6262 NEW BEST:: SOT 4402888 SOS 776719 HAS SOPS 776719 HAS SOUS 623828 HAS SOUPS 623828 WITH SCORE 624604.719
AT ITER 6291 NEW BEST:: SOT 4403099 SOS 777370 HAS SOPS 777370 HAS SOUS 623724 HAS SOUPS 623724 WITH SCORE 624501.37
AT ITER 6306 NEW BEST:: SOT 4403061 SOS 777294 HAS SOPS 777294 HAS SOUS 623648 HAS SOUPS 623648 WITH SCORE 624425.294
AT ITER 6308 NEW BEST:: SOT 4403061 SOS 777144 HAS SOPS 777144 HAS SOUS 623648 HAS SOUPS 623648 WITH SCORE 624425.144
AT ITER 6310 NEW BEST:: SOT 4402786 SOS 776594 HAS SOPS 776594 HAS SOUS 623096 HAS SOUPS 623096 WITH SCORE 623872.594
AT ITER 6364 NEW BEST:: SOT 4402786 SOS 776585 HAS SOPS 776585 HAS SOUS 623087 HAS SOUPS 623087 WITH SCORE 623863.585
AT ITER 6373 NEW BEST:: SOT 4402624 SOS 776649 HAS SOPS 776649 HAS SOUS 623006 HAS SOUPS 623006 WITH SCORE 623782.649
AT ITER 6375 NEW BEST:: SOT 4402561 SOS 775075 HAS SOPS 775075 HAS SOUS 622545 HAS SOUPS 622545 WITH SCORE 623320.075
AT ITER 6453 NEW BEST:: SOT 4402332 SOS 774617 HAS SOPS 774617 HAS SOUS 622400 HAS SOUPS 622400 WITH SCORE 623174.617
AT ITER 6470 NEW BEST:: SOT 4402318 SOS 774589 HAS SOPS 774589 HAS SOUS 622372 HAS SOUPS 622372 WITH SCORE 623146.589
AT ITER 6492 NEW BEST:: SOT 4402230 SOS 774544 HAS SOPS 774544 HAS SOUS 622306 HAS SOUPS 622306 WITH SCORE 623080.544
AT ITER 6493 NEW BEST:: SOT 4402150 SOS 774384 HAS SOPS 774384 HAS SOUS 622226 HAS SOUPS 622226 WITH SCORE 623000.384
AT ITER 6498 NEW BEST:: SOT 4402052 SOS 774188 HAS SOPS 774188 HAS SOUS 621768 HAS SOUPS 621768 WITH SCORE 622542.188
AT ITER 6511 NEW BEST:: SOT 4401831 SOS 774132 HAS SOPS 774132 HAS SOUS 621603 HAS SOUPS 621603 WITH SCORE 622377.132
AT ITER 6532 NEW BEST:: SOT 4401509 SOS 773656 HAS SOPS 773656 HAS SOUS 621127 HAS SOUPS 621127 WITH SCORE 621900.656
AT ITER 6538 NEW BEST:: SOT 4401509 SOS 773626 HAS SOPS 773626 HAS SOUS 621127 HAS SOUPS 621127 WITH SCORE 621900.626
AT ITER 6550 NEW BEST:: SOT 4401466 SOS 773540 HAS SOPS 773540 HAS SOUS 621041 HAS SOUPS 621041 WITH SCORE 621814.54
AT ITER 6560 NEW BEST:: SOT 4401554 SOS 773387 HAS SOPS 773387 HAS SOUS 620888 HAS SOUPS 620888 WITH SCORE 621661.387
AT ITER 6600 NEW BEST:: SOT 4401553 SOS 773385 HAS SOPS 773385 HAS SOUS 620886 HAS SOUPS 620886 WITH SCORE 621659.385
AT ITER 6633 NEW BEST:: SOT 4401351 SOS 774213 HAS SOPS 774213 HAS SOUS 620684 HAS SOUPS 620684 WITH SCORE 621458.213
AT ITER 6637 NEW BEST:: SOT 4401081 SOS 773581 HAS SOPS 773581 HAS SOUS 620506 HAS SOUPS 620506 WITH SCORE 621279.581
AT ITER 6671 NEW BEST:: SOT 4400836 SOS 773092 HAS SOPS 773092 HAS SOUS 620277 HAS SOUPS 620277 WITH SCORE 621050.092
AT ITER 6708 NEW BEST:: SOT 4400785 SOS 773350 HAS SOPS 773350 HAS SOUS 620215 HAS SOUPS 620215 WITH SCORE 620988.35
AT ITER 6715 NEW BEST:: SOT 4400785 SOS 773188 HAS SOPS 773188 HAS SOUS 620134 HAS SOUPS 620134 WITH SCORE 620907.188
AT ITER 6721 NEW BEST:: SOT 4400397 SOS 772412 HAS SOPS 772412 HAS SOUS 619804 HAS SOUPS 619804 WITH SCORE 620576.412
AT ITER 6763 NEW BEST:: SOT 4400228 SOS 771704 HAS SOPS 771704 HAS SOUS 618878 HAS SOUPS 618878 WITH SCORE 619649.704
AT ITER 6779 NEW BEST:: SOT 4400195 SOS 771638 HAS SOPS 771638 HAS SOUS 618812 HAS SOUPS 618812 WITH SCORE 619583.638
AT ITER 6781 NEW BEST:: SOT 4400041 SOS 771330 HAS SOPS 771330 HAS SOUS 618658 HAS SOUPS 618658 WITH SCORE 619429.33
AT ITER 6833 NEW BEST:: SOT 4400040 SOS 771328 HAS SOPS 771328 HAS SOUS 618656 HAS SOUPS 618656 WITH SCORE 619427.328
AT ITER 6857 NEW BEST:: SOT 4399931 SOS 771110 HAS SOPS 771110 HAS SOUS 618438 HAS SOUPS 618438 WITH SCORE 619209.11
AT ITER 6864 NEW BEST:: SOT 4399931 SOS 771084 HAS SOPS 771084 HAS SOUS 618438 HAS SOUPS 618438 WITH SCORE 619209.084
AT ITER 6888 NEW BEST:: SOT 4399902 SOS 771055 HAS SOPS 771055 HAS SOUS 618409 HAS SOUPS 618409 WITH SCORE 619180.055
AT ITER 6902 NEW BEST:: SOT 4399894 SOS 770850 HAS SOPS 770850 HAS SOUS 618393 HAS SOUPS 618393 WITH SCORE 619163.85
AT ITER 6907 NEW BEST:: SOT 4399764 SOS 770493 HAS SOPS 770493 HAS SOUS 618108 HAS SOUPS 618108 WITH SCORE 618878.493
AT ITER 6908 NEW BEST:: SOT 4399361 SOS 748736 HAS SOPS 748736 HAS SOUS 617302 HAS SOUPS 617302 WITH SCORE 618050.736
AT ITER 6909 NEW BEST:: SOT 4399347 SOS 748708 HAS SOPS 748708 HAS SOUS 617274 HAS SOUPS 617274 WITH SCORE 618022.708
AT ITER 6911 NEW BEST:: SOT 4399347 SOS 748708 HAS SOPS 748708 HAS SOUS 617242 HAS SOUPS 617242 WITH SCORE 617990.708
AT ITER 6917 NEW BEST:: SOT 4399340 SOS 748694 HAS SOPS 748694 HAS SOUS 617228 HAS SOUPS 617228 WITH SCORE 617976.694
AT ITER 6928 NEW BEST:: SOT 4399266 SOS 748626 HAS SOPS 748626 HAS SOUS 617154 HAS SOUPS 617154 WITH SCORE 617902.626
AT ITER 6977 NEW BEST:: SOT 4398777 SOS 748137 HAS SOPS 748137 HAS SOUS 616665 HAS SOUPS 616665 WITH SCORE 617413.137
AT ITER 6986 NEW BEST:: SOT 4398750 SOS 748083 HAS SOPS 748083 HAS SOUS 616608 HAS SOUPS 616608 WITH SCORE 617356.083
AT ITER 7062 NEW BEST:: SOT 4398640 SOS 742403 HAS SOPS 742403 HAS SOUS 616368 HAS SOUPS 616368 WITH SCORE 617110.403
AT ITER 7069 NEW BEST:: SOT 4398478 SOS 742079 HAS SOPS 742079 HAS SOUS 616256 HAS SOUPS 616256 WITH SCORE 616998.079
AT ITER 7081 NEW BEST:: SOT 4398462 SOS 742047 HAS SOPS 742047 HAS SOUS 616236 HAS SOUPS 616236 WITH SCORE 616978.047
AT ITER 7088 NEW BEST:: SOT 4398443 SOS 741771 HAS SOPS 741771 HAS SOUS 616098 HAS SOUPS 616098 WITH SCORE 616839.771
AT ITER 7092 NEW BEST:: SOT 4398544 SOS 741744 HAS SOPS 741744 HAS SOUS 616016 HAS SOUPS 616016 WITH SCORE 616757.744
AT ITER 7111 NEW BEST:: SOT 4398423 SOS 741661 HAS SOPS 741661 HAS SOUS 615933 HAS SOUPS 615933 WITH SCORE 616674.661
AT ITER 7115 NEW BEST:: SOT 4398260 SOS 741819 HAS SOPS 741819 HAS SOUS 615932 HAS SOUPS 615932 WITH SCORE 616673.819
AT ITER 7132 NEW BEST:: SOT 4398260 SOS 741357 HAS SOPS 741357 HAS SOUS 615932 HAS SOUPS 615932 WITH SCORE 616673.357
AT ITER 7162 NEW BEST:: SOT 4398260 SOS 741357 HAS SOPS 741357 HAS SOUS 615599 HAS SOUPS 615599 WITH SCORE 616340.357
AT ITER 7167 NEW BEST:: SOT 4398146 SOS 740841 HAS SOPS 740841 HAS SOUS 615371 HAS SOUPS 615371 WITH SCORE 616111.841
AT ITER 7180 NEW BEST:: SOT 4398146 SOS 740828 HAS SOPS 740828 HAS SOUS 615371 HAS SOUPS 615371 WITH SCORE 616111.828
AT ITER 7186 NEW BEST:: SOT 4398112 SOS 740760 HAS SOPS 740760 HAS SOUS 615320 HAS SOUPS 615320 WITH SCORE 616060.76
AT ITER 7202 NEW BEST:: SOT 4398058 SOS 740652 HAS SOPS 740652 HAS SOUS 615212 HAS SOUPS 615212 WITH SCORE 615952.652
AT ITER 7228 NEW BEST:: SOT 4398124 SOS 740677 HAS SOPS 740677 HAS SOUS 615058 HAS SOUPS 615058 WITH SCORE 615798.677
AT ITER 7234 NEW BEST:: SOT 4397770 SOS 740382 HAS SOPS 740382 HAS SOUS 614763 HAS SOUPS 614763 WITH SCORE 615503.382
AT ITER 7240 NEW BEST:: SOT 4396306 SOS 751272 HAS SOPS 751272 HAS SOUS 613957 HAS SOUPS 613957 WITH SCORE 614708.272
AT ITER 7273 NEW BEST:: SOT 4396288 SOS 751245 HAS SOPS 751245 HAS SOUS 613930 HAS SOUPS 613930 WITH SCORE 614681.245
AT ITER 7306 NEW BEST:: SOT 4396243 SOS 751155 HAS SOPS 751155 HAS SOUS 613840 HAS SOUPS 613840 WITH SCORE 614591.155
AT ITER 7323 NEW BEST:: SOT 4396206 SOS 750984 HAS SOPS 750984 HAS SOUS 613770 HAS SOUPS 613770 WITH SCORE 614520.984
AT ITER 7326 NEW BEST:: SOT 4396206 SOS 750943 HAS SOPS 750943 HAS SOUS 613770 HAS SOUPS 613770 WITH SCORE 614520.943
AT ITER 7335 NEW BEST:: SOT 4396186 SOS 750903 HAS SOPS 750903 HAS SOUS 613740 HAS SOUPS 613740 WITH SCORE 614490.903
AT ITER 7344 NEW BEST:: SOT 4395809 SOS 750149 HAS SOPS 750149 HAS SOUS 613363 HAS SOUPS 613363 WITH SCORE 614113.149
AT ITER 7345 NEW BEST:: SOT 4395830 SOS 750031 HAS SOPS 750031 HAS SOUS 613325 HAS SOUPS 613325 WITH SCORE 614075.031
AT ITER 7349 NEW BEST:: SOT 4395701 SOS 749773 HAS SOPS 749773 HAS SOUS 613067 HAS SOUPS 613067 WITH SCORE 613816.773
AT ITER 7364 NEW BEST:: SOT 4395658 SOS 749687 HAS SOPS 749687 HAS SOUS 613024 HAS SOUPS 613024 WITH SCORE 613773.687
AT ITER 7462 NEW BEST:: SOT 4395665 SOS 749701 HAS SOPS 749701 HAS SOUS 612635 HAS SOUPS 612635 WITH SCORE 613384.701
AT ITER 7475 NEW BEST:: SOT 4395376 SOS 750208 HAS SOPS 750208 HAS SOUS 612563 HAS SOUPS 612563 WITH SCORE 613313.208
AT ITER 7490 NEW BEST:: SOT 4394964 SOS 750552 HAS SOPS 750552 HAS SOUS 612319 HAS SOUPS 612319 WITH SCORE 613069.552
AT ITER 7496 NEW BEST:: SOT 4394857 SOS 750445 HAS SOPS 750445 HAS SOUS 612212 HAS SOUPS 612212 WITH SCORE 612962.445
AT ITER 7522 NEW BEST:: SOT 4394677 SOS 750085 HAS SOPS 750085 HAS SOUS 612025 HAS SOUPS 612025 WITH SCORE 612775.085
AT ITER 7536 NEW BEST:: SOT 4394676 SOS 750083 HAS SOPS 750083 HAS SOUS 612023 HAS SOUPS 612023 WITH SCORE 612773.083
AT ITER 7572 NEW BEST:: SOT 4394570 SOS 749871 HAS SOPS 749871 HAS SOUS 611811 HAS SOUPS 611811 WITH SCORE 612560.871
AT ITER 7583 NEW BEST:: SOT 4394502 SOS 749871 HAS SOPS 749871 HAS SOUS 611743 HAS SOUPS 611743 WITH SCORE 612492.871
AT ITER 7612 NEW BEST:: SOT 4394502 SOS 749871 HAS SOPS 749871 HAS SOUS 611625 HAS SOUPS 611625 WITH SCORE 612374.871
AT ITER 7622 NEW BEST:: SOT 4394502 SOS 749780 HAS SOPS 749780 HAS SOUS 611625 HAS SOUPS 611625 WITH SCORE 612374.78
AT ITER 7628 NEW BEST:: SOT 4394450 SOS 749552 HAS SOPS 749552 HAS SOUS 611534 HAS SOUPS 611534 WITH SCORE 612283.552
AT ITER 7629 NEW BEST:: SOT 4394298 SOS 749400 HAS SOPS 749400 HAS SOUS 611362 HAS SOUPS 611362 WITH SCORE 612111.4
AT ITER 7645 NEW BEST:: SOT 4394295 SOS 749397 HAS SOPS 749397 HAS SOUS 611359 HAS SOUPS 611359 WITH SCORE 612108.397
AT ITER 7648 NEW BEST:: SOT 4394295 SOS 749390 HAS SOPS 749390 HAS SOUS 611359 HAS SOUPS 611359 WITH SCORE 612108.39
AT ITER 7661 NEW BEST:: SOT 4394263 SOS 749367 HAS SOPS 749367 HAS SOUS 611295 HAS SOUPS 611295 WITH SCORE 612044.367
AT ITER 7684 NEW BEST:: SOT 4394047 SOS 749151 HAS SOPS 749151 HAS SOUS 611103 HAS SOUPS 611103 WITH SCORE 611852.151
AT ITER 7687 NEW BEST:: SOT 4393608 SOS 748996 HAS SOPS 748996 HAS SOUS 610759 HAS SOUPS 610759 WITH SCORE 611507.996
AT ITER 7704 NEW BEST:: SOT 4393552 SOS 748971 HAS SOPS 748971 HAS SOUS 610734 HAS SOUPS 610734 WITH SCORE 611482.971
AT ITER 7745 NEW BEST:: SOT 4393282 SOS 748431 HAS SOPS 748431 HAS SOUS 610464 HAS SOUPS 610464 WITH SCORE 611212.431
AT ITER 7753 NEW BEST:: SOT 4393269 SOS 748405 HAS SOPS 748405 HAS SOUS 610451 HAS SOUPS 610451 WITH SCORE 611199.405
AT ITER 7756 NEW BEST:: SOT 4393266 SOS 747939 HAS SOPS 747939 HAS SOUS 610218 HAS SOUPS 610218 WITH SCORE 610965.939
AT ITER 7806 NEW BEST:: SOT 4393266 SOS 747939 HAS SOPS 747939 HAS SOUS 610184 HAS SOUPS 610184 WITH SCORE 610931.939
AT ITER 7877 NEW BEST:: SOT 4393248 SOS 747903 HAS SOPS 747903 HAS SOUS 610095 HAS SOUPS 610095 WITH SCORE 610842.903
AT ITER 7878 NEW BEST:: SOT 4393243 SOS 747893 HAS SOPS 747893 HAS SOUS 610090 HAS SOUPS 610090 WITH SCORE 610837.893
AT ITER 7908 NEW BEST:: SOT 4393164 SOS 748039 HAS SOPS 748039 HAS SOUS 610079 HAS SOUPS 610079 WITH SCORE 610827.039
AT ITER 7921 NEW BEST:: SOT 4393089 SOS 747889 HAS SOPS 747889 HAS SOUS 609929 HAS SOUPS 609929 WITH SCORE 610676.889
AT ITER 7947 NEW BEST:: SOT 4393005 SOS 746079 HAS SOPS 746079 HAS SOUS 609761 HAS SOUPS 609761 WITH SCORE 610507.079
AT ITER 7995 NEW BEST:: SOT 4392936 SOS 745941 HAS SOPS 745941 HAS SOUS 609654 HAS SOUPS 609654 WITH SCORE 610399.941
AT ITER 7996 NEW BEST:: SOT 4392607 SOS 745639 HAS SOPS 745639 HAS SOUS 609324 HAS SOUPS 609324 WITH SCORE 610069.639
AT ITER 8034 NEW BEST:: SOT 4392527 SOS 745587 HAS SOPS 745587 HAS SOUS 609245 HAS SOUPS 609245 WITH SCORE 609990.587
AT ITER 8036 NEW BEST:: SOT 4392488 SOS 745509 HAS SOPS 745509 HAS SOUS 609206 HAS SOUPS 609206 WITH SCORE 609951.509
AT ITER 8074 NEW BEST:: SOT 4392410 SOS 745502 HAS SOPS 745502 HAS SOUS 609155 HAS SOUPS 609155 WITH SCORE 609900.502
AT ITER 8139 NEW BEST:: SOT 4392373 SOS 745428 HAS SOPS 745428 HAS SOUS 609137 HAS SOUPS 609137 WITH SCORE 609882.428
AT ITER 8143 NEW BEST:: SOT 4392373 SOS 745367 HAS SOPS 745367 HAS SOUS 609137 HAS SOUPS 609137 WITH SCORE 609882.367
AT ITER 8177 NEW BEST:: SOT 4392352 SOS 745208 HAS SOPS 745208 HAS SOUS 608993 HAS SOUPS 608993 WITH SCORE 609738.208
AT ITER 8246 NEW BEST:: SOT 4392351 SOS 745206 HAS SOPS 745206 HAS SOUS 608991 HAS SOUPS 608991 WITH SCORE 609736.206
AT ITER 8276 NEW BEST:: SOT 4392320 SOS 744920 HAS SOPS 744920 HAS SOUS 608705 HAS SOUPS 608705 WITH SCORE 609449.92
AT ITER 8309 NEW BEST:: SOT 4392278 SOS 744836 HAS SOPS 744836 HAS SOUS 608621 HAS SOUPS 608621 WITH SCORE 609365.836
AT ITER 8343 NEW BEST:: SOT 4392202 SOS 744684 HAS SOPS 744684 HAS SOUS 608400 HAS SOUPS 608400 WITH SCORE 609144.684
AT ITER 8445 NEW BEST:: SOT 4392200 SOS 744680 HAS SOPS 744680 HAS SOUS 608396 HAS SOUPS 608396 WITH SCORE 609140.68
AT ITER 8526 NEW BEST:: SOT 4391684 SOS 744250 HAS SOPS 744250 HAS SOUS 607922 HAS SOUPS 607922 WITH SCORE 608666.25
AT ITER 8542 NEW BEST:: SOT 4391631 SOS 744144 HAS SOPS 744144 HAS SOUS 607816 HAS SOUPS 607816 WITH SCORE 608560.144
AT ITER 8560 NEW BEST:: SOT 4391586 SOS 744148 HAS SOPS 744148 HAS SOUS 607773 HAS SOUPS 607773 WITH SCORE 608517.148
AT ITER 8612 NEW BEST:: SOT 4391268 SOS 743028 HAS SOPS 743028 HAS SOUS 607137 HAS SOUPS 607137 WITH SCORE 607880.028
AT ITER 8619 NEW BEST:: SOT 4391021 SOS 742925 HAS SOPS 742925 HAS SOUS 606890 HAS SOUPS 606890 WITH SCORE 607632.925
AT ITER 8686 NEW BEST:: SOT 4390916 SOS 742820 HAS SOPS 742820 HAS SOUS 606785 HAS SOUPS 606785 WITH SCORE 607527.82
AT ITER 8705 NEW BEST:: SOT 4390815 SOS 742618 HAS SOPS 742618 HAS SOUS 606684 HAS SOUPS 606684 WITH SCORE 607426.618
AT ITER 8727 NEW BEST:: SOT 4390769 SOS 742572 HAS SOPS 742572 HAS SOUS 606582 HAS SOUPS 606582 WITH SCORE 607324.572
AT ITER 8762 NEW BEST:: SOT 4390741 SOS 742530 HAS SOPS 742530 HAS SOUS 606554 HAS SOUPS 606554 WITH SCORE 607296.53
AT ITER 8805 NEW BEST:: SOT 4390697 SOS 742791 HAS SOPS 742791 HAS SOUS 606466 HAS SOUPS 606466 WITH SCORE 607208.791
AT ITER 8807 NEW BEST:: SOT 4390697 SOS 742471 HAS SOPS 742471 HAS SOUS 606306 HAS SOUPS 606306 WITH SCORE 607048.471
AT ITER 8833 NEW BEST:: SOT 4390624 SOS 742325 HAS SOPS 742325 HAS SOUS 606160 HAS SOUPS 606160 WITH SCORE 606902.325
AT ITER 8892 NEW BEST:: SOT 4390405 SOS 741550 HAS SOPS 741550 HAS SOUS 605912 HAS SOUPS 605912 WITH SCORE 606653.55
AT ITER 8899 NEW BEST:: SOT 4390376 SOS 741628 HAS SOPS 741628 HAS SOUS 605856 HAS SOUPS 605856 WITH SCORE 606597.628
AT ITER 8937 NEW BEST:: SOT 4390003 SOS 741362 HAS SOPS 741362 HAS SOUS 605590 HAS SOUPS 605590 WITH SCORE 606331.362
AT ITER 8940 NEW BEST:: SOT 4390030 SOS 741059 HAS SOPS 741059 HAS SOUS 605525 HAS SOUPS 605525 WITH SCORE 606266.059
AT ITER 8969 NEW BEST:: SOT 4389948 SOS 741225 HAS SOPS 741225 HAS SOUS 605478 HAS SOUPS 605478 WITH SCORE 606219.225
AT ITER 8976 NEW BEST:: SOT 4389948 SOS 740977 HAS SOPS 740977 HAS SOUS 605230 HAS SOUPS 605230 WITH SCORE 605970.977
AT ITER 8991 NEW BEST:: SOT 4389948 SOS 740631 HAS SOPS 740631 HAS SOUS 605230 HAS SOUPS 605230 WITH SCORE 605970.631
AT ITER 8999 NEW BEST:: SOT 4389948 SOS 740681 HAS SOPS 740681 HAS SOUS 605200 HAS SOUPS 605200 WITH SCORE 605940.681
AT ITER 9022 NEW BEST:: SOT 4390060 SOS 740625 HAS SOPS 740625 HAS SOUS 605144 HAS SOUPS 605144 WITH SCORE 605884.625
AT ITER 9027 NEW BEST:: SOT 4390008 SOS 740521 HAS SOPS 740521 HAS SOUS 605040 HAS SOUPS 605040 WITH SCORE 605780.521
AT ITER 9050 NEW BEST:: SOT 4390008 SOS 740378 HAS SOPS 740378 HAS SOUS 605040 HAS SOUPS 605040 WITH SCORE 605780.378
AT ITER 9109 NEW BEST:: SOT 4389991 SOS 740204 HAS SOPS 740204 HAS SOUS 604969 HAS SOUPS 604969 WITH SCORE 605709.204
AT ITER 9132 NEW BEST:: SOT 4389982 SOS 740186 HAS SOPS 740186 HAS SOUS 604900 HAS SOUPS 604900 WITH SCORE 605640.186
AT ITER 9179 NEW BEST:: SOT 4389958 SOS 740138 HAS SOPS 740138 HAS SOUS 604852 HAS SOUPS 604852 WITH SCORE 605592.138
AT ITER 9181 NEW BEST:: SOT 4389958 SOS 740114 HAS SOPS 740114 HAS SOUS 604852 HAS SOUPS 604852 WITH SCORE 605592.114
AT ITER 9185 NEW BEST:: SOT 4390266 SOS 740090 HAS SOPS 740090 HAS SOUS 604840 HAS SOUPS 604840 WITH SCORE 605580.09
AT ITER 9204 NEW BEST:: SOT 4390143 SOS 739967 HAS SOPS 739967 HAS SOUS 604717 HAS SOUPS 604717 WITH SCORE 605456.967
AT ITER 9226 NEW BEST:: SOT 4390143 SOS 739967 HAS SOPS 739967 HAS SOUS 604705 HAS SOUPS 604705 WITH SCORE 605444.967
AT ITER 9235 NEW BEST:: SOT 4389879 SOS 739828 HAS SOPS 739828 HAS SOUS 604366 HAS SOUPS 604366 WITH SCORE 605105.828
AT ITER 9279 NEW BEST:: SOT 4389849 SOS 739898 HAS SOPS 739898 HAS SOUS 604355 HAS SOUPS 604355 WITH SCORE 605094.898
AT ITER 9288 NEW BEST:: SOT 4389656 SOS 739760 HAS SOPS 739760 HAS SOUS 604327 HAS SOUPS 604327 WITH SCORE 605066.76
AT ITER 9344 NEW BEST:: SOT 4389656 SOS 739631 HAS SOPS 739631 HAS SOUS 604327 HAS SOUPS 604327 WITH SCORE 605066.631
AT ITER 9349 NEW BEST:: SOT 4389638 SOS 739595 HAS SOPS 739595 HAS SOUS 604291 HAS SOUPS 604291 WITH SCORE 605030.595
AT ITER 9355 NEW BEST:: SOT 4389628 SOS 739580 HAS SOPS 739580 HAS SOUS 604276 HAS SOUPS 604276 WITH SCORE 605015.58
AT ITER 9358 NEW BEST:: SOT 4389536 SOS 739488 HAS SOPS 739488 HAS SOUS 604226 HAS SOUPS 604226 WITH SCORE 604965.488
AT ITER 9368 NEW BEST:: SOT 4389449 SOS 739314 HAS SOPS 739314 HAS SOUS 604052 HAS SOUPS 604052 WITH SCORE 604791.314
AT ITER 9378 NEW BEST:: SOT 4389367 SOS 739150 HAS SOPS 739150 HAS SOUS 603970 HAS SOUPS 603970 WITH SCORE 604709.15
AT ITER 9379 NEW BEST:: SOT 4388914 SOS 738244 HAS SOPS 738244 HAS SOUS 603811 HAS SOUPS 603811 WITH SCORE 604549.244
AT ITER 9389 NEW BEST:: SOT 4388719 SOS 737854 HAS SOPS 737854 HAS SOUS 603421 HAS SOUPS 603421 WITH SCORE 604158.854
AT ITER 9446 NEW BEST:: SOT 4388349 SOS 737546 HAS SOPS 737546 HAS SOUS 603005 HAS SOUPS 603005 WITH SCORE 603742.546
AT ITER 9480 NEW BEST:: SOT 4388303 SOS 737454 HAS SOPS 737454 HAS SOUS 602913 HAS SOUPS 602913 WITH SCORE 603650.454
AT ITER 9501 NEW BEST:: SOT 4388302 SOS 737452 HAS SOPS 737452 HAS SOUS 602911 HAS SOUPS 602911 WITH SCORE 603648.452
AT ITER 9506 NEW BEST:: SOT 4388281 SOS 737410 HAS SOPS 737410 HAS SOUS 602890 HAS SOUPS 602890 WITH SCORE 603627.41
AT ITER 9538 NEW BEST:: SOT 4388015 SOS 737144 HAS SOPS 737144 HAS SOUS 602722 HAS SOUPS 602722 WITH SCORE 603459.144
AT ITER 9543 NEW BEST:: SOT 4388015 SOS 737144 HAS SOPS 737144 HAS SOUS 602713 HAS SOUPS 602713 WITH SCORE 603450.144
AT ITER 9562 NEW BEST:: SOT 4387962 SOS 737038 HAS SOPS 737038 HAS SOUS 602659 HAS SOUPS 602659 WITH SCORE 603396.038
AT ITER 9587 NEW BEST:: SOT 4387902 SOS 736978 HAS SOPS 736978 HAS SOUS 602622 HAS SOUPS 602622 WITH SCORE 603358.978
AT ITER 9624 NEW BEST:: SOT 4387902 SOS 736698 HAS SOPS 736698 HAS SOUS 602500 HAS SOUPS 602500 WITH SCORE 603236.698
AT ITER 9634 NEW BEST:: SOT 4387981 SOS 736540 HAS SOPS 736540 HAS SOUS 602500 HAS SOUPS 602500 WITH SCORE 603236.54
AT ITER 9641 NEW BEST:: SOT 4387945 SOS 736468 HAS SOPS 736468 HAS SOUS 602428 HAS SOUPS 602428 WITH SCORE 603164.468
AT ITER 9644 NEW BEST:: SOT 4387769 SOS 735764 HAS SOPS 735764 HAS SOUS 602073 HAS SOUPS 602073 WITH SCORE 602808.764
AT ITER 9679 NEW BEST:: SOT 4387632 SOS 735490 HAS SOPS 735490 HAS SOUS 601799 HAS SOUPS 601799 WITH SCORE 602534.49
AT ITER 9692 NEW BEST:: SOT 4387531 SOS 735519 HAS SOPS 735519 HAS SOUS 601698 HAS SOUPS 601698 WITH SCORE 602433.519
AT ITER 9709 NEW BEST:: SOT 4387467 SOS 735391 HAS SOPS 735391 HAS SOUS 601570 HAS SOUPS 601570 WITH SCORE 602305.391
AT ITER 9714 NEW BEST:: SOT 4387178 SOS 734813 HAS SOPS 734813 HAS SOUS 600992 HAS SOUPS 600992 WITH SCORE 601726.813
AT ITER 9732 NEW BEST:: SOT 4387059 SOS 734575 HAS SOPS 734575 HAS SOUS 600754 HAS SOUPS 600754 WITH SCORE 601488.575
AT ITER 9746 NEW BEST:: SOT 4386815 SOS 734087 HAS SOPS 734087 HAS SOUS 600514 HAS SOUPS 600514 WITH SCORE 601248.087
AT ITER 9790 NEW BEST:: SOT 4386783 SOS 734023 HAS SOPS 734023 HAS SOUS 600450 HAS SOUPS 600450 WITH SCORE 601184.023
AT ITER 9802 NEW BEST:: SOT 4386722 SOS 733901 HAS SOPS 733901 HAS SOUS 600328 HAS SOUPS 600328 WITH SCORE 601061.901
AT ITER 9803 NEW BEST:: SOT 4386675 SOS 733760 HAS SOPS 733760 HAS SOUS 600234 HAS SOUPS 600234 WITH SCORE 600967.76
AT ITER 9806 NEW BEST:: SOT 4386675 SOS 733760 HAS SOPS 733760 HAS SOUS 600038 HAS SOUPS 600038 WITH SCORE 600771.76
AT ITER 9859 NEW BEST:: SOT 4386675 SOS 733678 HAS SOPS 733678 HAS SOUS 600038 HAS SOUPS 600038 WITH SCORE 600771.678
AT ITER 9888 NEW BEST:: SOT 4386770 SOS 733868 HAS SOPS 733868 HAS SOUS 599981 HAS SOUPS 599981 WITH SCORE 600714.868
AT ITER 9931 NEW BEST:: SOT 4386459 SOS 733246 HAS SOPS 733246 HAS SOUS 599273 HAS SOUPS 599273 WITH SCORE 600006.246
AT ITER 9950 NEW BEST:: SOT 4386673 SOS 733446 HAS SOPS 733446 HAS SOUS 599259 HAS SOUPS 599259 WITH SCORE 599992.446
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 12504944 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16154856 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-313"
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-313, 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-167814472000104"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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