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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.2M
-rw-r--r-- 1 mcc users 8.3K Feb 25 11:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 90K Feb 25 11:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.4K Feb 25 11:49 CTLFireability.txt
-rw-r--r-- 1 mcc users 57K Feb 25 11:49 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K 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 14K Feb 25 11:50 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 141K Feb 25 11:50 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.3K Feb 25 11:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 47K 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 1678222447648

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-307
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 307
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: 2584 places, 3094 transitions, 6459 arcs.
AT ITER 0 NEW BEST:: SOT 4440554 SOS 758790 HAS SOPS 758790 HAS SOUS 699817 HAS SOUPS 699817 WITH SCORE 700575.79
AT ITER 3 NEW BEST:: SOT 4440526 SOS 758770 HAS SOPS 758770 HAS SOUS 699793 HAS SOUPS 699793 WITH SCORE 700551.77
AT ITER 30 NEW BEST:: SOT 4440625 SOS 758690 HAS SOPS 758690 HAS SOUS 699713 HAS SOUPS 699713 WITH SCORE 700471.69
AT ITER 31 NEW BEST:: SOT 4440419 SOS 758278 HAS SOPS 758278 HAS SOUS 699507 HAS SOUPS 699507 WITH SCORE 700265.278
AT ITER 45 NEW BEST:: SOT 4440397 SOS 758212 HAS SOPS 758212 HAS SOUS 699463 HAS SOUPS 699463 WITH SCORE 700221.212
AT ITER 68 NEW BEST:: SOT 4440401 SOS 757999 HAS SOPS 757999 HAS SOUS 699142 HAS SOUPS 699142 WITH SCORE 699899.999
AT ITER 128 NEW BEST:: SOT 4440520 SOS 757963 HAS SOPS 757963 HAS SOUS 699106 HAS SOUPS 699106 WITH SCORE 699863.963
AT ITER 134 NEW BEST:: SOT 4440160 SOS 757963 HAS SOPS 757963 HAS SOUS 698926 HAS SOUPS 698926 WITH SCORE 699683.963
AT ITER 138 NEW BEST:: SOT 4440159 SOS 757961 HAS SOPS 757961 HAS SOUS 698924 HAS SOUPS 698924 WITH SCORE 699681.961
AT ITER 140 NEW BEST:: SOT 4440078 SOS 757799 HAS SOPS 757799 HAS SOUS 698762 HAS SOUPS 698762 WITH SCORE 699519.799
AT ITER 142 NEW BEST:: SOT 4439712 SOS 757433 HAS SOPS 757433 HAS SOUS 698396 HAS SOUPS 698396 WITH SCORE 699153.433
AT ITER 147 NEW BEST:: SOT 4439712 SOS 757164 HAS SOPS 757164 HAS SOUS 698395 HAS SOUPS 698395 WITH SCORE 699152.164
AT ITER 158 NEW BEST:: SOT 4439868 SOS 756608 HAS SOPS 756608 HAS SOUS 698233 HAS SOUPS 698233 WITH SCORE 698989.608
AT ITER 172 NEW BEST:: SOT 4439530 SOS 756101 HAS SOPS 756101 HAS SOUS 697726 HAS SOUPS 697726 WITH SCORE 698482.101
AT ITER 193 NEW BEST:: SOT 4439426 SOS 756084 HAS SOPS 756084 HAS SOUS 697622 HAS SOUPS 697622 WITH SCORE 698378.084
AT ITER 246 NEW BEST:: SOT 4439216 SOS 755664 HAS SOPS 755664 HAS SOUS 697202 HAS SOUPS 697202 WITH SCORE 697957.664
AT ITER 247 NEW BEST:: SOT 4438920 SOS 755820 HAS SOPS 755820 HAS SOUS 696852 HAS SOUPS 696852 WITH SCORE 697607.82
AT ITER 277 NEW BEST:: SOT 4438920 SOS 755638 HAS SOPS 755638 HAS SOUS 696852 HAS SOUPS 696852 WITH SCORE 697607.638
AT ITER 298 NEW BEST:: SOT 4438863 SOS 755524 HAS SOPS 755524 HAS SOUS 696738 HAS SOUPS 696738 WITH SCORE 697493.524
AT ITER 307 NEW BEST:: SOT 4438863 SOS 755509 HAS SOPS 755509 HAS SOUS 696738 HAS SOUPS 696738 WITH SCORE 697493.509
AT ITER 312 NEW BEST:: SOT 4438863 SOS 755509 HAS SOPS 755509 HAS SOUS 696737 HAS SOUPS 696737 WITH SCORE 697492.509
AT ITER 314 NEW BEST:: SOT 4438863 SOS 755509 HAS SOPS 755509 HAS SOUS 696501 HAS SOUPS 696501 WITH SCORE 697256.509
AT ITER 325 NEW BEST:: SOT 4438862 SOS 755507 HAS SOPS 755507 HAS SOUS 696499 HAS SOUPS 696499 WITH SCORE 697254.507
AT ITER 326 NEW BEST:: SOT 4438862 SOS 755507 HAS SOPS 755507 HAS SOUS 696498 HAS SOUPS 696498 WITH SCORE 697253.507
AT ITER 330 NEW BEST:: SOT 4438862 SOS 755286 HAS SOPS 755286 HAS SOUS 696497 HAS SOUPS 696497 WITH SCORE 697252.286
AT ITER 342 NEW BEST:: SOT 4438806 SOS 755230 HAS SOPS 755230 HAS SOUS 696441 HAS SOUPS 696441 WITH SCORE 697196.23
AT ITER 352 NEW BEST:: SOT 4438806 SOS 755199 HAS SOPS 755199 HAS SOUS 696441 HAS SOUPS 696441 WITH SCORE 697196.199
AT ITER 355 NEW BEST:: SOT 4438806 SOS 754813 HAS SOPS 754813 HAS SOUS 696248 HAS SOUPS 696248 WITH SCORE 697002.813
AT ITER 357 NEW BEST:: SOT 4437657 SOS 753670 HAS SOPS 753670 HAS SOUS 695105 HAS SOUPS 695105 WITH SCORE 695858.67
AT ITER 358 NEW BEST:: SOT 4437445 SOS 753246 HAS SOPS 753246 HAS SOUS 695032 HAS SOUPS 695032 WITH SCORE 695785.246
AT ITER 368 NEW BEST:: SOT 4437445 SOS 753011 HAS SOPS 753011 HAS SOUS 695031 HAS SOUPS 695031 WITH SCORE 695784.011
AT ITER 370 NEW BEST:: SOT 4437118 SOS 752673 HAS SOPS 752673 HAS SOUS 694589 HAS SOUPS 694589 WITH SCORE 695341.673
AT ITER 398 NEW BEST:: SOT 4437118 SOS 752333 HAS SOPS 752333 HAS SOUS 694589 HAS SOUPS 694589 WITH SCORE 695341.333
AT ITER 402 NEW BEST:: SOT 4437118 SOS 752276 HAS SOPS 752276 HAS SOUS 694532 HAS SOUPS 694532 WITH SCORE 695284.276
AT ITER 406 NEW BEST:: SOT 4436934 SOS 751908 HAS SOPS 751908 HAS SOUS 694164 HAS SOUPS 694164 WITH SCORE 694915.908
AT ITER 443 NEW BEST:: SOT 4436698 SOS 751672 HAS SOPS 751672 HAS SOUS 693928 HAS SOUPS 693928 WITH SCORE 694679.672
AT ITER 455 NEW BEST:: SOT 4436698 SOS 751672 HAS SOPS 751672 HAS SOUS 693925 HAS SOUPS 693925 WITH SCORE 694676.672
AT ITER 498 NEW BEST:: SOT 4436534 SOS 751344 HAS SOPS 751344 HAS SOUS 693556 HAS SOUPS 693556 WITH SCORE 694307.344
AT ITER 499 NEW BEST:: SOT 4436148 SOS 751016 HAS SOPS 751016 HAS SOUS 693195 HAS SOUPS 693195 WITH SCORE 693946.016
AT ITER 517 NEW BEST:: SOT 4436147 SOS 751014 HAS SOPS 751014 HAS SOUS 693193 HAS SOUPS 693193 WITH SCORE 693944.014
AT ITER 518 NEW BEST:: SOT 4436071 SOS 751008 HAS SOPS 751008 HAS SOUS 693186 HAS SOUPS 693186 WITH SCORE 693937.008
AT ITER 529 NEW BEST:: SOT 4435978 SOS 750822 HAS SOPS 750822 HAS SOUS 692799 HAS SOUPS 692799 WITH SCORE 693549.822
AT ITER 552 NEW BEST:: SOT 4435994 SOS 750854 HAS SOPS 750854 HAS SOUS 692724 HAS SOUPS 692724 WITH SCORE 693474.854
AT ITER 558 NEW BEST:: SOT 4435939 SOS 750744 HAS SOPS 750744 HAS SOUS 692614 HAS SOUPS 692614 WITH SCORE 693364.744
AT ITER 562 NEW BEST:: SOT 4435817 SOS 750622 HAS SOPS 750622 HAS SOUS 692614 HAS SOUPS 692614 WITH SCORE 693364.622
AT ITER 571 NEW BEST:: SOT 4435515 SOS 750018 HAS SOPS 750018 HAS SOUS 692010 HAS SOUPS 692010 WITH SCORE 692760.018
AT ITER 594 NEW BEST:: SOT 4435396 SOS 749780 HAS SOPS 749780 HAS SOUS 691772 HAS SOUPS 691772 WITH SCORE 692521.78
AT ITER 613 NEW BEST:: SOT 4435396 SOS 749780 HAS SOPS 749780 HAS SOUS 691662 HAS SOUPS 691662 WITH SCORE 692411.78
AT ITER 622 NEW BEST:: SOT 4435161 SOS 749310 HAS SOPS 749310 HAS SOUS 691472 HAS SOUPS 691472 WITH SCORE 692221.31
AT ITER 627 NEW BEST:: SOT 4435122 SOS 749232 HAS SOPS 749232 HAS SOUS 691394 HAS SOUPS 691394 WITH SCORE 692143.232
AT ITER 649 NEW BEST:: SOT 4434210 SOS 750740 HAS SOPS 750740 HAS SOUS 690938 HAS SOUPS 690938 WITH SCORE 691688.74
AT ITER 650 NEW BEST:: SOT 4433992 SOS 750547 HAS SOPS 750547 HAS SOUS 690732 HAS SOUPS 690732 WITH SCORE 691482.547
AT ITER 703 NEW BEST:: SOT 4433940 SOS 750443 HAS SOPS 750443 HAS SOUS 690680 HAS SOUPS 690680 WITH SCORE 691430.443
AT ITER 705 NEW BEST:: SOT 4433760 SOS 750308 HAS SOPS 750308 HAS SOUS 690545 HAS SOUPS 690545 WITH SCORE 691295.308
AT ITER 713 NEW BEST:: SOT 4426730 SOS 748075 HAS SOPS 748075 HAS SOUS 684305 HAS SOUPS 684305 WITH SCORE 685053.075
AT ITER 714 NEW BEST:: SOT 4426730 SOS 748075 HAS SOPS 748075 HAS SOUS 684302 HAS SOUPS 684302 WITH SCORE 685050.075
AT ITER 719 NEW BEST:: SOT 4426730 SOS 747885 HAS SOPS 747885 HAS SOUS 684151 HAS SOUPS 684151 WITH SCORE 684898.885
AT ITER 721 NEW BEST:: SOT 4426730 SOS 747387 HAS SOPS 747387 HAS SOUS 683653 HAS SOUPS 683653 WITH SCORE 684400.387
AT ITER 722 NEW BEST:: SOT 4426626 SOS 747283 HAS SOPS 747283 HAS SOUS 683549 HAS SOUPS 683549 WITH SCORE 684296.283
AT ITER 726 NEW BEST:: SOT 4426626 SOS 747270 HAS SOPS 747270 HAS SOUS 683548 HAS SOUPS 683548 WITH SCORE 684295.27
AT ITER 729 NEW BEST:: SOT 4426626 SOS 747270 HAS SOPS 747270 HAS SOUS 683536 HAS SOUPS 683536 WITH SCORE 684283.27
AT ITER 755 NEW BEST:: SOT 4426510 SOS 747412 HAS SOPS 747412 HAS SOUS 683437 HAS SOUPS 683437 WITH SCORE 684184.412
AT ITER 758 NEW BEST:: SOT 4426445 SOS 747422 HAS SOPS 747422 HAS SOUS 683387 HAS SOUPS 683387 WITH SCORE 684134.422
AT ITER 778 NEW BEST:: SOT 4426445 SOS 747096 HAS SOPS 747096 HAS SOUS 683387 HAS SOUPS 683387 WITH SCORE 684134.096
AT ITER 791 NEW BEST:: SOT 4426387 SOS 746980 HAS SOPS 746980 HAS SOUS 683061 HAS SOUPS 683061 WITH SCORE 683807.98
AT ITER 814 NEW BEST:: SOT 4426425 SOS 746767 HAS SOPS 746767 HAS SOUS 682848 HAS SOUPS 682848 WITH SCORE 683594.767
AT ITER 816 NEW BEST:: SOT 4426280 SOS 746477 HAS SOPS 746477 HAS SOUS 682558 HAS SOUPS 682558 WITH SCORE 683304.477
AT ITER 871 NEW BEST:: SOT 4426279 SOS 746475 HAS SOPS 746475 HAS SOUS 682556 HAS SOUPS 682556 WITH SCORE 683302.475
AT ITER 914 NEW BEST:: SOT 4426279 SOS 746475 HAS SOPS 746475 HAS SOUS 682538 HAS SOUPS 682538 WITH SCORE 683284.475
AT ITER 921 NEW BEST:: SOT 4426307 SOS 746489 HAS SOPS 746489 HAS SOUS 682524 HAS SOUPS 682524 WITH SCORE 683270.489
AT ITER 960 NEW BEST:: SOT 4426307 SOS 746489 HAS SOPS 746489 HAS SOUS 682360 HAS SOUPS 682360 WITH SCORE 683106.489
AT ITER 983 NEW BEST:: SOT 4426323 SOS 746521 HAS SOPS 746521 HAS SOUS 682073 HAS SOUPS 682073 WITH SCORE 682819.521
AT ITER 1010 NEW BEST:: SOT 4426322 SOS 746519 HAS SOPS 746519 HAS SOUS 682071 HAS SOUPS 682071 WITH SCORE 682817.519
AT ITER 1011 NEW BEST:: SOT 4426165 SOS 746205 HAS SOPS 746205 HAS SOUS 681757 HAS SOUPS 681757 WITH SCORE 682503.205
AT ITER 1019 NEW BEST:: SOT 4426002 SOS 745879 HAS SOPS 745879 HAS SOUS 681431 HAS SOUPS 681431 WITH SCORE 682176.879
AT ITER 1020 NEW BEST:: SOT 4426002 SOS 745802 HAS SOPS 745802 HAS SOUS 681431 HAS SOUPS 681431 WITH SCORE 682176.802
AT ITER 1027 NEW BEST:: SOT 4426002 SOS 745689 HAS SOPS 745689 HAS SOUS 681431 HAS SOUPS 681431 WITH SCORE 682176.689
AT ITER 1035 NEW BEST:: SOT 4425934 SOS 745621 HAS SOPS 745621 HAS SOUS 681431 HAS SOUPS 681431 WITH SCORE 682176.621
AT ITER 1047 NEW BEST:: SOT 4425934 SOS 745474 HAS SOPS 745474 HAS SOUS 681431 HAS SOUPS 681431 WITH SCORE 682176.474
AT ITER 1059 NEW BEST:: SOT 4425632 SOS 745172 HAS SOPS 745172 HAS SOUS 680978 HAS SOUPS 680978 WITH SCORE 681723.172
AT ITER 1065 NEW BEST:: SOT 4425632 SOS 744829 HAS SOPS 744829 HAS SOUS 680622 HAS SOUPS 680622 WITH SCORE 681366.829
AT ITER 1068 NEW BEST:: SOT 4425431 SOS 744427 HAS SOPS 744427 HAS SOUS 680220 HAS SOUPS 680220 WITH SCORE 680964.427
AT ITER 1081 NEW BEST:: SOT 4425431 SOS 744427 HAS SOPS 744427 HAS SOUS 680219 HAS SOUPS 680219 WITH SCORE 680963.427
AT ITER 1082 NEW BEST:: SOT 4425431 SOS 744126 HAS SOPS 744126 HAS SOUS 679918 HAS SOUPS 679918 WITH SCORE 680662.126
AT ITER 1083 NEW BEST:: SOT 4425224 SOS 743712 HAS SOPS 743712 HAS SOUS 679504 HAS SOUPS 679504 WITH SCORE 680247.712
AT ITER 1086 NEW BEST:: SOT 4425224 SOS 743643 HAS SOPS 743643 HAS SOUS 679504 HAS SOUPS 679504 WITH SCORE 680247.643
AT ITER 1093 NEW BEST:: SOT 4425106 SOS 743407 HAS SOPS 743407 HAS SOUS 679125 HAS SOUPS 679125 WITH SCORE 679868.407
AT ITER 1095 NEW BEST:: SOT 4425064 SOS 743365 HAS SOPS 743365 HAS SOUS 679041 HAS SOUPS 679041 WITH SCORE 679784.365
AT ITER 1099 NEW BEST:: SOT 4424975 SOS 743276 HAS SOPS 743276 HAS SOUS 678952 HAS SOUPS 678952 WITH SCORE 679695.276
AT ITER 1121 NEW BEST:: SOT 4424704 SOS 742734 HAS SOPS 742734 HAS SOUS 678410 HAS SOUPS 678410 WITH SCORE 679152.734
AT ITER 1139 NEW BEST:: SOT 4424703 SOS 742732 HAS SOPS 742732 HAS SOUS 678408 HAS SOUPS 678408 WITH SCORE 679150.732
AT ITER 1169 NEW BEST:: SOT 4424553 SOS 742617 HAS SOPS 742617 HAS SOUS 678293 HAS SOUPS 678293 WITH SCORE 679035.617
AT ITER 1179 NEW BEST:: SOT 4424574 SOS 742659 HAS SOPS 742659 HAS SOUS 678060 HAS SOUPS 678060 WITH SCORE 678802.659
AT ITER 1211 NEW BEST:: SOT 4424572 SOS 742657 HAS SOPS 742657 HAS SOUS 678057 HAS SOUPS 678057 WITH SCORE 678799.657
AT ITER 1212 NEW BEST:: SOT 4424485 SOS 742570 HAS SOPS 742570 HAS SOUS 677970 HAS SOUPS 677970 WITH SCORE 678712.57
AT ITER 1237 NEW BEST:: SOT 4424485 SOS 742533 HAS SOPS 742533 HAS SOUS 677970 HAS SOUPS 677970 WITH SCORE 678712.533
AT ITER 1242 NEW BEST:: SOT 4424432 SOS 742374 HAS SOPS 742374 HAS SOUS 677864 HAS SOUPS 677864 WITH SCORE 678606.374
AT ITER 1263 NEW BEST:: SOT 4424266 SOS 742374 HAS SOPS 742374 HAS SOUS 677863 HAS SOUPS 677863 WITH SCORE 678605.374
AT ITER 1276 NEW BEST:: SOT 4424266 SOS 742353 HAS SOPS 742353 HAS SOUS 677842 HAS SOUPS 677842 WITH SCORE 678584.353
AT ITER 1279 NEW BEST:: SOT 4424278 SOS 742343 HAS SOPS 742343 HAS SOUS 677820 HAS SOUPS 677820 WITH SCORE 678562.343
AT ITER 1281 NEW BEST:: SOT 4424043 SOS 742295 HAS SOPS 742295 HAS SOUS 677649 HAS SOUPS 677649 WITH SCORE 678391.295
AT ITER 1288 NEW BEST:: SOT 4413301 SOS 746935 HAS SOPS 746935 HAS SOUS 667864 HAS SOUPS 667864 WITH SCORE 668610.935
AT ITER 1289 NEW BEST:: SOT 4412988 SOS 746613 HAS SOPS 746613 HAS SOUS 667542 HAS SOUPS 667542 WITH SCORE 668288.613
AT ITER 1330 NEW BEST:: SOT 4407963 SOS 741791 HAS SOPS 741791 HAS SOUS 662684 HAS SOUPS 662684 WITH SCORE 663425.791
AT ITER 1333 NEW BEST:: SOT 4407963 SOS 741723 HAS SOPS 741723 HAS SOUS 662616 HAS SOUPS 662616 WITH SCORE 663357.723
AT ITER 1337 NEW BEST:: SOT 4400613 SOS 767415 HAS SOPS 767415 HAS SOUS 657540 HAS SOUPS 657540 WITH SCORE 658307.415
AT ITER 1370 NEW BEST:: SOT 4400728 SOS 767645 HAS SOPS 767645 HAS SOUS 657519 HAS SOUPS 657519 WITH SCORE 658286.645
AT ITER 1372 NEW BEST:: SOT 4400727 SOS 767643 HAS SOPS 767643 HAS SOUS 657517 HAS SOUPS 657517 WITH SCORE 658284.643
AT ITER 1410 NEW BEST:: SOT 4400726 SOS 767641 HAS SOPS 767641 HAS SOUS 657515 HAS SOUPS 657515 WITH SCORE 658282.641
AT ITER 1428 NEW BEST:: SOT 4400726 SOS 767462 HAS SOPS 767462 HAS SOUS 657515 HAS SOUPS 657515 WITH SCORE 658282.462
AT ITER 1447 NEW BEST:: SOT 4400676 SOS 767362 HAS SOPS 767362 HAS SOUS 657415 HAS SOUPS 657415 WITH SCORE 658182.362
AT ITER 1451 NEW BEST:: SOT 4400592 SOS 767302 HAS SOPS 767302 HAS SOUS 657355 HAS SOUPS 657355 WITH SCORE 658122.302
AT ITER 1456 NEW BEST:: SOT 4400558 SOS 767345 HAS SOPS 767345 HAS SOUS 657266 HAS SOUPS 657266 WITH SCORE 658033.345
AT ITER 1458 NEW BEST:: SOT 4400653 SOS 766929 HAS SOPS 766929 HAS SOUS 657153 HAS SOUPS 657153 WITH SCORE 657919.929
AT ITER 1482 NEW BEST:: SOT 4400593 SOS 766869 HAS SOPS 766869 HAS SOUS 657093 HAS SOUPS 657093 WITH SCORE 657859.869
AT ITER 1507 NEW BEST:: SOT 4400593 SOS 766869 HAS SOPS 766869 HAS SOUS 657092 HAS SOUPS 657092 WITH SCORE 657858.869
AT ITER 1563 NEW BEST:: SOT 4400517 SOS 766501 HAS SOPS 766501 HAS SOUS 657042 HAS SOUPS 657042 WITH SCORE 657808.501
AT ITER 1583 NEW BEST:: SOT 4400418 SOS 766402 HAS SOPS 766402 HAS SOUS 656943 HAS SOUPS 656943 WITH SCORE 657709.402
AT ITER 1586 NEW BEST:: SOT 4400379 SOS 766245 HAS SOPS 766245 HAS SOUS 656825 HAS SOUPS 656825 WITH SCORE 657591.245
AT ITER 1651 NEW BEST:: SOT 4400221 SOS 765771 HAS SOPS 765771 HAS SOUS 656509 HAS SOUPS 656509 WITH SCORE 657274.771
AT ITER 1662 NEW BEST:: SOT 4400221 SOS 765647 HAS SOPS 765647 HAS SOUS 656509 HAS SOUPS 656509 WITH SCORE 657274.647
AT ITER 1681 NEW BEST:: SOT 4400221 SOS 765647 HAS SOPS 765647 HAS SOUS 656449 HAS SOUPS 656449 WITH SCORE 657214.647
AT ITER 1699 NEW BEST:: SOT 4399670 SOS 765105 HAS SOPS 765105 HAS SOUS 655907 HAS SOUPS 655907 WITH SCORE 656672.105
AT ITER 1746 NEW BEST:: SOT 4399673 SOS 764851 HAS SOPS 764851 HAS SOUS 655573 HAS SOUPS 655573 WITH SCORE 656337.851
AT ITER 1752 NEW BEST:: SOT 4399700 SOS 764905 HAS SOPS 764905 HAS SOUS 655464 HAS SOUPS 655464 WITH SCORE 656228.905
AT ITER 1781 NEW BEST:: SOT 4399576 SOS 764657 HAS SOPS 764657 HAS SOUS 655216 HAS SOUPS 655216 WITH SCORE 655980.657
AT ITER 1786 NEW BEST:: SOT 4399320 SOS 764145 HAS SOPS 764145 HAS SOUS 654704 HAS SOUPS 654704 WITH SCORE 655468.145
AT ITER 1789 NEW BEST:: SOT 4399320 SOS 764145 HAS SOPS 764145 HAS SOUS 654675 HAS SOUPS 654675 WITH SCORE 655439.145
AT ITER 1796 NEW BEST:: SOT 4399248 SOS 763771 HAS SOPS 763771 HAS SOUS 654426 HAS SOUPS 654426 WITH SCORE 655189.771
AT ITER 1815 NEW BEST:: SOT 4399224 SOS 763747 HAS SOPS 763747 HAS SOUS 654402 HAS SOUPS 654402 WITH SCORE 655165.747
AT ITER 1845 NEW BEST:: SOT 4399223 SOS 763652 HAS SOPS 763652 HAS SOUS 654306 HAS SOUPS 654306 WITH SCORE 655069.652
AT ITER 1947 NEW BEST:: SOT 4399010 SOS 763226 HAS SOPS 763226 HAS SOUS 653880 HAS SOUPS 653880 WITH SCORE 654643.226
AT ITER 1978 NEW BEST:: SOT 4398981 SOS 763168 HAS SOPS 763168 HAS SOUS 653773 HAS SOUPS 653773 WITH SCORE 654536.168
AT ITER 2003 NEW BEST:: SOT 4398929 SOS 763116 HAS SOPS 763116 HAS SOUS 653721 HAS SOUPS 653721 WITH SCORE 654484.116
AT ITER 2004 NEW BEST:: SOT 4398661 SOS 762580 HAS SOPS 762580 HAS SOUS 653548 HAS SOUPS 653548 WITH SCORE 654310.58
AT ITER 2018 NEW BEST:: SOT 4398557 SOS 762495 HAS SOPS 762495 HAS SOUS 653340 HAS SOUPS 653340 WITH SCORE 654102.495
AT ITER 2035 NEW BEST:: SOT 4398407 SOS 762345 HAS SOPS 762345 HAS SOUS 653340 HAS SOUPS 653340 WITH SCORE 654102.345
AT ITER 2047 NEW BEST:: SOT 4398219 SOS 761969 HAS SOPS 761969 HAS SOUS 653296 HAS SOUPS 653296 WITH SCORE 654057.969
AT ITER 2119 NEW BEST:: SOT 4398219 SOS 761958 HAS SOPS 761958 HAS SOUS 653296 HAS SOUPS 653296 WITH SCORE 654057.958
AT ITER 2141 NEW BEST:: SOT 4398219 SOS 761762 HAS SOPS 761762 HAS SOUS 653296 HAS SOUPS 653296 WITH SCORE 654057.762
AT ITER 2163 NEW BEST:: SOT 4398063 SOS 761450 HAS SOPS 761450 HAS SOUS 652984 HAS SOUPS 652984 WITH SCORE 653745.45
AT ITER 2183 NEW BEST:: SOT 4398018 SOS 761360 HAS SOPS 761360 HAS SOUS 652894 HAS SOUPS 652894 WITH SCORE 653655.36
AT ITER 2201 NEW BEST:: SOT 4397871 SOS 761496 HAS SOPS 761496 HAS SOUS 652795 HAS SOUPS 652795 WITH SCORE 653556.496
AT ITER 2222 NEW BEST:: SOT 4397858 SOS 761470 HAS SOPS 761470 HAS SOUS 652782 HAS SOUPS 652782 WITH SCORE 653543.47
AT ITER 2253 NEW BEST:: SOT 4397857 SOS 761468 HAS SOPS 761468 HAS SOUS 652780 HAS SOUPS 652780 WITH SCORE 653541.468
AT ITER 2268 NEW BEST:: SOT 4397666 SOS 761086 HAS SOPS 761086 HAS SOUS 652398 HAS SOUPS 652398 WITH SCORE 653159.086
AT ITER 2344 NEW BEST:: SOT 4397549 SOS 760717 HAS SOPS 760717 HAS SOUS 652029 HAS SOUPS 652029 WITH SCORE 652789.717
AT ITER 2346 NEW BEST:: SOT 4397218 SOS 760622 HAS SOPS 760622 HAS SOUS 651619 HAS SOUPS 651619 WITH SCORE 652379.622
AT ITER 2349 NEW BEST:: SOT 4397217 SOS 760620 HAS SOPS 760620 HAS SOUS 651617 HAS SOUPS 651617 WITH SCORE 652377.62
AT ITER 2355 NEW BEST:: SOT 4397149 SOS 760484 HAS SOPS 760484 HAS SOUS 651481 HAS SOUPS 651481 WITH SCORE 652241.484
AT ITER 2361 NEW BEST:: SOT 4397149 SOS 760484 HAS SOPS 760484 HAS SOUS 651455 HAS SOUPS 651455 WITH SCORE 652215.484
AT ITER 2363 NEW BEST:: SOT 4396974 SOS 760585 HAS SOPS 760585 HAS SOUS 651290 HAS SOUPS 651290 WITH SCORE 652050.585
AT ITER 2396 NEW BEST:: SOT 4396822 SOS 760281 HAS SOPS 760281 HAS SOUS 650986 HAS SOUPS 650986 WITH SCORE 651746.281
AT ITER 2398 NEW BEST:: SOT 4396785 SOS 760207 HAS SOPS 760207 HAS SOUS 650912 HAS SOUPS 650912 WITH SCORE 651672.207
AT ITER 2403 NEW BEST:: SOT 4396760 SOS 760157 HAS SOPS 760157 HAS SOUS 650862 HAS SOUPS 650862 WITH SCORE 651622.157
AT ITER 2414 NEW BEST:: SOT 4396729 SOS 760095 HAS SOPS 760095 HAS SOUS 650800 HAS SOUPS 650800 WITH SCORE 651560.095
AT ITER 2466 NEW BEST:: SOT 4396729 SOS 759971 HAS SOPS 759971 HAS SOUS 650800 HAS SOUPS 650800 WITH SCORE 651559.971
AT ITER 2480 NEW BEST:: SOT 4396429 SOS 759371 HAS SOPS 759371 HAS SOUS 650500 HAS SOUPS 650500 WITH SCORE 651259.371
AT ITER 2481 NEW BEST:: SOT 4396428 SOS 759369 HAS SOPS 759369 HAS SOUS 650498 HAS SOUPS 650498 WITH SCORE 651257.369
AT ITER 2500 NEW BEST:: SOT 4396218 SOS 759159 HAS SOPS 759159 HAS SOUS 650288 HAS SOUPS 650288 WITH SCORE 651047.159
AT ITER 2503 NEW BEST:: SOT 4396019 SOS 759087 HAS SOPS 759087 HAS SOUS 650135 HAS SOUPS 650135 WITH SCORE 650894.087
AT ITER 2523 NEW BEST:: SOT 4395906 SOS 759053 HAS SOPS 759053 HAS SOUS 650101 HAS SOUPS 650101 WITH SCORE 650860.053
AT ITER 2529 NEW BEST:: SOT 4395625 SOS 759931 HAS SOPS 759931 HAS SOUS 650004 HAS SOUPS 650004 WITH SCORE 650763.931
AT ITER 2552 NEW BEST:: SOT 4395446 SOS 759170 HAS SOPS 759170 HAS SOUS 649422 HAS SOUPS 649422 WITH SCORE 650181.17
AT ITER 2566 NEW BEST:: SOT 4395263 SOS 758804 HAS SOPS 758804 HAS SOUS 649272 HAS SOUPS 649272 WITH SCORE 650030.804
AT ITER 2571 NEW BEST:: SOT 4395263 SOS 758546 HAS SOPS 758546 HAS SOUS 649143 HAS SOUPS 649143 WITH SCORE 649901.546
AT ITER 2574 NEW BEST:: SOT 4395173 SOS 758456 HAS SOPS 758456 HAS SOUS 649053 HAS SOUPS 649053 WITH SCORE 649811.456
AT ITER 2581 NEW BEST:: SOT 4395172 SOS 758454 HAS SOPS 758454 HAS SOUS 649051 HAS SOUPS 649051 WITH SCORE 649809.454
AT ITER 2632 NEW BEST:: SOT 4394927 SOS 758578 HAS SOPS 758578 HAS SOUS 648841 HAS SOUPS 648841 WITH SCORE 649599.578
AT ITER 2636 NEW BEST:: SOT 4395024 SOS 758554 HAS SOPS 758554 HAS SOUS 648818 HAS SOUPS 648818 WITH SCORE 649576.554
AT ITER 2652 NEW BEST:: SOT 4395023 SOS 758778 HAS SOPS 758778 HAS SOUS 648817 HAS SOUPS 648817 WITH SCORE 649575.778
AT ITER 2656 NEW BEST:: SOT 4389134 SOS 759741 HAS SOPS 759741 HAS SOUS 643466 HAS SOUPS 643466 WITH SCORE 644225.741
AT ITER 2660 NEW BEST:: SOT 4389134 SOS 759566 HAS SOPS 759566 HAS SOUS 643291 HAS SOUPS 643291 WITH SCORE 644050.566
AT ITER 2669 NEW BEST:: SOT 4389434 SOS 759511 HAS SOPS 759511 HAS SOUS 642980 HAS SOUPS 642980 WITH SCORE 643739.511
AT ITER 2690 NEW BEST:: SOT 4389434 SOS 759511 HAS SOPS 759511 HAS SOUS 642954 HAS SOUPS 642954 WITH SCORE 643713.511
AT ITER 2693 NEW BEST:: SOT 4389434 SOS 759486 HAS SOPS 759486 HAS SOUS 642929 HAS SOUPS 642929 WITH SCORE 643688.486
AT ITER 2735 NEW BEST:: SOT 4389434 SOS 759252 HAS SOPS 759252 HAS SOUS 642929 HAS SOUPS 642929 WITH SCORE 643688.252
AT ITER 2751 NEW BEST:: SOT 4389412 SOS 759393 HAS SOPS 759393 HAS SOUS 642907 HAS SOUPS 642907 WITH SCORE 643666.393
AT ITER 2772 NEW BEST:: SOT 4389411 SOS 759260 HAS SOPS 759260 HAS SOUS 642905 HAS SOUPS 642905 WITH SCORE 643664.26
AT ITER 2795 NEW BEST:: SOT 4389431 SOS 759573 HAS SOPS 759573 HAS SOUS 642853 HAS SOUPS 642853 WITH SCORE 643612.573
AT ITER 2817 NEW BEST:: SOT 4389395 SOS 759501 HAS SOPS 759501 HAS SOUS 642817 HAS SOUPS 642817 WITH SCORE 643576.501
AT ITER 2842 NEW BEST:: SOT 4389355 SOS 759421 HAS SOPS 759421 HAS SOUS 642737 HAS SOUPS 642737 WITH SCORE 643496.421
AT ITER 2857 NEW BEST:: SOT 4389321 SOS 759353 HAS SOPS 759353 HAS SOUS 642703 HAS SOUPS 642703 WITH SCORE 643462.353
AT ITER 2869 NEW BEST:: SOT 4389321 SOS 759045 HAS SOPS 759045 HAS SOUS 642549 HAS SOUPS 642549 WITH SCORE 643308.045
AT ITER 2876 NEW BEST:: SOT 4389294 SOS 758991 HAS SOPS 758991 HAS SOUS 642495 HAS SOUPS 642495 WITH SCORE 643253.991
AT ITER 2883 NEW BEST:: SOT 4389270 SOS 758943 HAS SOPS 758943 HAS SOUS 642447 HAS SOUPS 642447 WITH SCORE 643205.943
AT ITER 2900 NEW BEST:: SOT 4388952 SOS 758307 HAS SOPS 758307 HAS SOUS 642158 HAS SOUPS 642158 WITH SCORE 642916.307
AT ITER 2917 NEW BEST:: SOT 4388544 SOS 757763 HAS SOPS 757763 HAS SOUS 641614 HAS SOUPS 641614 WITH SCORE 642371.763
AT ITER 2949 NEW BEST:: SOT 4388628 SOS 757931 HAS SOPS 757931 HAS SOUS 641566 HAS SOUPS 641566 WITH SCORE 642323.931
AT ITER 2951 NEW BEST:: SOT 4388403 SOS 757481 HAS SOPS 757481 HAS SOUS 641116 HAS SOUPS 641116 WITH SCORE 641873.481
AT ITER 2957 NEW BEST:: SOT 4388796 SOS 757874 HAS SOPS 757874 HAS SOUS 641114 HAS SOUPS 641114 WITH SCORE 641871.874
AT ITER 2967 NEW BEST:: SOT 4388747 SOS 757727 HAS SOPS 757727 HAS SOUS 641065 HAS SOUPS 641065 WITH SCORE 641822.727
AT ITER 2988 NEW BEST:: SOT 4387013 SOS 758298 HAS SOPS 758298 HAS SOUS 639944 HAS SOUPS 639944 WITH SCORE 640702.298
AT ITER 2996 NEW BEST:: SOT 4386969 SOS 758210 HAS SOPS 758210 HAS SOUS 639900 HAS SOUPS 639900 WITH SCORE 640658.21
AT ITER 3003 NEW BEST:: SOT 4386590 SOS 758280 HAS SOPS 758280 HAS SOUS 639715 HAS SOUPS 639715 WITH SCORE 640473.28
AT ITER 3047 NEW BEST:: SOT 4386385 SOS 757870 HAS SOPS 757870 HAS SOUS 639305 HAS SOUPS 639305 WITH SCORE 640062.87
AT ITER 3053 NEW BEST:: SOT 4386325 SOS 757810 HAS SOPS 757810 HAS SOUS 639245 HAS SOUPS 639245 WITH SCORE 640002.81
AT ITER 3069 NEW BEST:: SOT 4386203 SOS 757688 HAS SOPS 757688 HAS SOUS 639123 HAS SOUPS 639123 WITH SCORE 639880.688
AT ITER 3073 NEW BEST:: SOT 4386162 SOS 757647 HAS SOPS 757647 HAS SOUS 639082 HAS SOUPS 639082 WITH SCORE 639839.647
AT ITER 3119 NEW BEST:: SOT 4385685 SOS 757179 HAS SOPS 757179 HAS SOUS 638610 HAS SOUPS 638610 WITH SCORE 639367.179
AT ITER 3130 NEW BEST:: SOT 4385593 SOS 756995 HAS SOPS 756995 HAS SOUS 638556 HAS SOUPS 638556 WITH SCORE 639312.995
AT ITER 3138 NEW BEST:: SOT 4385593 SOS 756808 HAS SOPS 756808 HAS SOUS 638556 HAS SOUPS 638556 WITH SCORE 639312.808
AT ITER 3145 NEW BEST:: SOT 4385647 SOS 756621 HAS SOPS 756621 HAS SOUS 638327 HAS SOUPS 638327 WITH SCORE 639083.621
AT ITER 3156 NEW BEST:: SOT 4385338 SOS 756415 HAS SOPS 756415 HAS SOUS 638054 HAS SOUPS 638054 WITH SCORE 638810.415
AT ITER 3166 NEW BEST:: SOT 4385252 SOS 756243 HAS SOPS 756243 HAS SOUS 637968 HAS SOUPS 637968 WITH SCORE 638724.243
AT ITER 3186 NEW BEST:: SOT 4385325 SOS 755956 HAS SOPS 755956 HAS SOUS 637608 HAS SOUPS 637608 WITH SCORE 638363.956
AT ITER 3191 NEW BEST:: SOT 4385131 SOS 756430 HAS SOPS 756430 HAS SOUS 637577 HAS SOUPS 637577 WITH SCORE 638333.43
AT ITER 3203 NEW BEST:: SOT 4385073 SOS 756314 HAS SOPS 756314 HAS SOUS 637461 HAS SOUPS 637461 WITH SCORE 638217.314
AT ITER 3206 NEW BEST:: SOT 4385067 SOS 756190 HAS SOPS 756190 HAS SOUS 637420 HAS SOUPS 637420 WITH SCORE 638176.19
AT ITER 3269 NEW BEST:: SOT 4384786 SOS 755896 HAS SOPS 755896 HAS SOUS 637040 HAS SOUPS 637040 WITH SCORE 637795.896
AT ITER 3296 NEW BEST:: SOT 4384392 SOS 755502 HAS SOPS 755502 HAS SOUS 636646 HAS SOUPS 636646 WITH SCORE 637401.502
AT ITER 3311 NEW BEST:: SOT 4384336 SOS 755315 HAS SOPS 755315 HAS SOUS 636523 HAS SOUPS 636523 WITH SCORE 637278.315
AT ITER 3317 NEW BEST:: SOT 4384217 SOS 755309 HAS SOPS 755309 HAS SOUS 636517 HAS SOUPS 636517 WITH SCORE 637272.309
AT ITER 3388 NEW BEST:: SOT 4384125 SOS 755125 HAS SOPS 755125 HAS SOUS 636425 HAS SOUPS 636425 WITH SCORE 637180.125
AT ITER 3411 NEW BEST:: SOT 4383883 SOS 754969 HAS SOPS 754969 HAS SOUS 636183 HAS SOUPS 636183 WITH SCORE 636937.969
AT ITER 3424 NEW BEST:: SOT 4383843 SOS 754889 HAS SOPS 754889 HAS SOUS 635810 HAS SOUPS 635810 WITH SCORE 636564.889
AT ITER 3431 NEW BEST:: SOT 4383843 SOS 754823 HAS SOPS 754823 HAS SOUS 635744 HAS SOUPS 635744 WITH SCORE 636498.823
AT ITER 3448 NEW BEST:: SOT 4383918 SOS 754544 HAS SOPS 754544 HAS SOUS 635494 HAS SOUPS 635494 WITH SCORE 636248.544
AT ITER 3485 NEW BEST:: SOT 4383989 SOS 754336 HAS SOPS 754336 HAS SOUS 635435 HAS SOUPS 635435 WITH SCORE 636189.336
AT ITER 3530 NEW BEST:: SOT 4383989 SOS 754268 HAS SOPS 754268 HAS SOUS 635435 HAS SOUPS 635435 WITH SCORE 636189.268
AT ITER 3539 NEW BEST:: SOT 4383928 SOS 754344 HAS SOPS 754344 HAS SOUS 635374 HAS SOUPS 635374 WITH SCORE 636128.344
AT ITER 3583 NEW BEST:: SOT 4383897 SOS 754282 HAS SOPS 754282 HAS SOUS 635107 HAS SOUPS 635107 WITH SCORE 635861.282
AT ITER 3604 NEW BEST:: SOT 4383897 SOS 754088 HAS SOPS 754088 HAS SOUS 635107 HAS SOUPS 635107 WITH SCORE 635861.088
AT ITER 3611 NEW BEST:: SOT 4383836 SOS 754091 HAS SOPS 754091 HAS SOUS 634985 HAS SOUPS 634985 WITH SCORE 635739.091
AT ITER 3621 NEW BEST:: SOT 4383785 SOS 754061 HAS SOPS 754061 HAS SOUS 634951 HAS SOUPS 634951 WITH SCORE 635705.061
AT ITER 3623 NEW BEST:: SOT 4383465 SOS 754061 HAS SOPS 754061 HAS SOUS 634791 HAS SOUPS 634791 WITH SCORE 635545.061
AT ITER 3628 NEW BEST:: SOT 4383434 SOS 753999 HAS SOPS 753999 HAS SOUS 634729 HAS SOUPS 634729 WITH SCORE 635482.999
AT ITER 3670 NEW BEST:: SOT 4383428 SOS 753987 HAS SOPS 753987 HAS SOUS 634720 HAS SOUPS 634720 WITH SCORE 635473.987
AT ITER 3681 NEW BEST:: SOT 4383365 SOS 753798 HAS SOPS 753798 HAS SOUS 634594 HAS SOUPS 634594 WITH SCORE 635347.798
AT ITER 3689 NEW BEST:: SOT 4383159 SOS 753386 HAS SOPS 753386 HAS SOUS 634546 HAS SOUPS 634546 WITH SCORE 635299.386
AT ITER 3699 NEW BEST:: SOT 4383158 SOS 753384 HAS SOPS 753384 HAS SOUS 634544 HAS SOUPS 634544 WITH SCORE 635297.384
AT ITER 3725 NEW BEST:: SOT 4383084 SOS 753310 HAS SOPS 753310 HAS SOUS 634470 HAS SOUPS 634470 WITH SCORE 635223.31
AT ITER 3774 NEW BEST:: SOT 4383198 SOS 753538 HAS SOPS 753538 HAS SOUS 634035 HAS SOUPS 634035 WITH SCORE 634788.538
AT ITER 3780 NEW BEST:: SOT 4383198 SOS 753538 HAS SOPS 753538 HAS SOUS 634024 HAS SOUPS 634024 WITH SCORE 634777.538
AT ITER 3807 NEW BEST:: SOT 4383198 SOS 753387 HAS SOPS 753387 HAS SOUS 633873 HAS SOUPS 633873 WITH SCORE 634626.387
AT ITER 3827 NEW BEST:: SOT 4383103 SOS 753533 HAS SOPS 753533 HAS SOUS 633739 HAS SOUPS 633739 WITH SCORE 634492.533
AT ITER 3830 NEW BEST:: SOT 4382899 SOS 753125 HAS SOPS 753125 HAS SOUS 633331 HAS SOUPS 633331 WITH SCORE 634084.125
AT ITER 3845 NEW BEST:: SOT 4382801 SOS 752729 HAS SOPS 752729 HAS SOUS 633273 HAS SOUPS 633273 WITH SCORE 634025.729
AT ITER 3892 NEW BEST:: SOT 4382593 SOS 752313 HAS SOPS 752313 HAS SOUS 632857 HAS SOUPS 632857 WITH SCORE 633609.313
AT ITER 3919 NEW BEST:: SOT 4382592 SOS 752018 HAS SOPS 752018 HAS SOUS 632855 HAS SOUPS 632855 WITH SCORE 633607.018
AT ITER 3951 NEW BEST:: SOT 4382456 SOS 751746 HAS SOPS 751746 HAS SOUS 632719 HAS SOUPS 632719 WITH SCORE 633470.746
AT ITER 3983 NEW BEST:: SOT 4382416 SOS 751666 HAS SOPS 751666 HAS SOUS 632515 HAS SOUPS 632515 WITH SCORE 633266.666
AT ITER 3987 NEW BEST:: SOT 4382139 SOS 751584 HAS SOPS 751584 HAS SOUS 632308 HAS SOUPS 632308 WITH SCORE 633059.584
AT ITER 3995 NEW BEST:: SOT 4382073 SOS 751518 HAS SOPS 751518 HAS SOUS 632242 HAS SOUPS 632242 WITH SCORE 632993.518
AT ITER 4006 NEW BEST:: SOT 4381156 SOS 750572 HAS SOPS 750572 HAS SOUS 631013 HAS SOUPS 631013 WITH SCORE 631763.572
AT ITER 4012 NEW BEST:: SOT 4380915 SOS 750090 HAS SOPS 750090 HAS SOUS 630367 HAS SOUPS 630367 WITH SCORE 631117.09
AT ITER 4058 NEW BEST:: SOT 4380879 SOS 750018 HAS SOPS 750018 HAS SOUS 630097 HAS SOUPS 630097 WITH SCORE 630847.018
AT ITER 4084 NEW BEST:: SOT 4380860 SOS 749980 HAS SOPS 749980 HAS SOUS 630059 HAS SOUPS 630059 WITH SCORE 630808.98
AT ITER 4093 NEW BEST:: SOT 4380859 SOS 749977 HAS SOPS 749977 HAS SOUS 630057 HAS SOUPS 630057 WITH SCORE 630806.977
AT ITER 4157 NEW BEST:: SOT 4380897 SOS 749542 HAS SOPS 749542 HAS SOUS 629943 HAS SOUPS 629943 WITH SCORE 630692.542
AT ITER 4207 NEW BEST:: SOT 4380729 SOS 749206 HAS SOPS 749206 HAS SOUS 629607 HAS SOUPS 629607 WITH SCORE 630356.206
AT ITER 4212 NEW BEST:: SOT 4380729 SOS 748920 HAS SOPS 748920 HAS SOUS 629464 HAS SOUPS 629464 WITH SCORE 630212.92
AT ITER 4228 NEW BEST:: SOT 4380801 SOS 748796 HAS SOPS 748796 HAS SOUS 629361 HAS SOUPS 629361 WITH SCORE 630109.796
AT ITER 4231 NEW BEST:: SOT 4380874 SOS 748700 HAS SOPS 748700 HAS SOUS 628992 HAS SOUPS 628992 WITH SCORE 629740.7
AT ITER 4256 NEW BEST:: SOT 4380999 SOS 748489 HAS SOPS 748489 HAS SOUS 628837 HAS SOUPS 628837 WITH SCORE 629585.489
AT ITER 4269 NEW BEST:: SOT 4380937 SOS 748463 HAS SOPS 748463 HAS SOUS 628788 HAS SOUPS 628788 WITH SCORE 629536.463
AT ITER 4370 NEW BEST:: SOT 4381078 SOS 748578 HAS SOPS 748578 HAS SOUS 628762 HAS SOUPS 628762 WITH SCORE 629510.578
AT ITER 4372 NEW BEST:: SOT 4381078 SOS 748543 HAS SOPS 748543 HAS SOUS 628762 HAS SOUPS 628762 WITH SCORE 629510.543
AT ITER 4385 NEW BEST:: SOT 4381052 SOS 748491 HAS SOPS 748491 HAS SOUS 628645 HAS SOUPS 628645 WITH SCORE 629393.491
AT ITER 4389 NEW BEST:: SOT 4381028 SOS 748443 HAS SOPS 748443 HAS SOUS 628621 HAS SOUPS 628621 WITH SCORE 629369.443
AT ITER 4406 NEW BEST:: SOT 4381018 SOS 748433 HAS SOPS 748433 HAS SOUS 628611 HAS SOUPS 628611 WITH SCORE 629359.433
AT ITER 4415 NEW BEST:: SOT 4381013 SOS 748423 HAS SOPS 748423 HAS SOUS 628601 HAS SOUPS 628601 WITH SCORE 629349.423
AT ITER 4423 NEW BEST:: SOT 4381013 SOS 748413 HAS SOPS 748413 HAS SOUS 628601 HAS SOUPS 628601 WITH SCORE 629349.413
AT ITER 4444 NEW BEST:: SOT 4381013 SOS 748413 HAS SOPS 748413 HAS SOUS 628543 HAS SOUPS 628543 WITH SCORE 629291.413
AT ITER 4447 NEW BEST:: SOT 4381001 SOS 748358 HAS SOPS 748358 HAS SOUS 628519 HAS SOUPS 628519 WITH SCORE 629267.358
AT ITER 4466 NEW BEST:: SOT 4381001 SOS 748358 HAS SOPS 748358 HAS SOUS 628437 HAS SOUPS 628437 WITH SCORE 629185.358
AT ITER 4470 NEW BEST:: SOT 4380793 SOS 748150 HAS SOPS 748150 HAS SOUS 628229 HAS SOUPS 628229 WITH SCORE 628977.15
AT ITER 4480 NEW BEST:: SOT 4380558 SOS 747680 HAS SOPS 747680 HAS SOUS 627795 HAS SOUPS 627795 WITH SCORE 628542.68
AT ITER 4488 NEW BEST:: SOT 4380558 SOS 747676 HAS SOPS 747676 HAS SOUS 627793 HAS SOUPS 627793 WITH SCORE 628540.676
AT ITER 4498 NEW BEST:: SOT 4380620 SOS 747800 HAS SOPS 747800 HAS SOUS 627707 HAS SOUPS 627707 WITH SCORE 628454.8
AT ITER 4504 NEW BEST:: SOT 4380619 SOS 747798 HAS SOPS 747798 HAS SOUS 627705 HAS SOUPS 627705 WITH SCORE 628452.798
AT ITER 4506 NEW BEST:: SOT 4380585 SOS 747730 HAS SOPS 747730 HAS SOUS 627508 HAS SOUPS 627508 WITH SCORE 628255.73
AT ITER 4518 NEW BEST:: SOT 4380557 SOS 747695 HAS SOPS 747695 HAS SOUS 627480 HAS SOUPS 627480 WITH SCORE 628227.695
AT ITER 4554 NEW BEST:: SOT 4380557 SOS 747437 HAS SOPS 747437 HAS SOUS 627351 HAS SOUPS 627351 WITH SCORE 628098.437
AT ITER 4559 NEW BEST:: SOT 4380556 SOS 747435 HAS SOPS 747435 HAS SOUS 627349 HAS SOUPS 627349 WITH SCORE 628096.435
AT ITER 4568 NEW BEST:: SOT 4380459 SOS 747241 HAS SOPS 747241 HAS SOUS 627155 HAS SOUPS 627155 WITH SCORE 627902.241
AT ITER 4589 NEW BEST:: SOT 4380458 SOS 747131 HAS SOPS 747131 HAS SOUS 627153 HAS SOUPS 627153 WITH SCORE 627900.131
AT ITER 4595 NEW BEST:: SOT 4380411 SOS 747037 HAS SOPS 747037 HAS SOUS 627106 HAS SOUPS 627106 WITH SCORE 627853.037
AT ITER 4634 NEW BEST:: SOT 4380411 SOS 747037 HAS SOPS 747037 HAS SOUS 627098 HAS SOUPS 627098 WITH SCORE 627845.037
AT ITER 4647 NEW BEST:: SOT 4380649 SOS 746812 HAS SOPS 746812 HAS SOUS 626943 HAS SOUPS 626943 WITH SCORE 627689.812
AT ITER 4656 NEW BEST:: SOT 4380429 SOS 746605 HAS SOPS 746605 HAS SOUS 626723 HAS SOUPS 626723 WITH SCORE 627469.605
AT ITER 4694 NEW BEST:: SOT 4380428 SOS 746612 HAS SOPS 746612 HAS SOUS 626721 HAS SOUPS 626721 WITH SCORE 627467.612
AT ITER 4719 NEW BEST:: SOT 4380417 SOS 746601 HAS SOPS 746601 HAS SOUS 626710 HAS SOUPS 626710 WITH SCORE 627456.601
AT ITER 4734 NEW BEST:: SOT 4380374 SOS 746564 HAS SOPS 746564 HAS SOUS 626673 HAS SOUPS 626673 WITH SCORE 627419.564
AT ITER 4738 NEW BEST:: SOT 4380249 SOS 746788 HAS SOPS 746788 HAS SOUS 626670 HAS SOUPS 626670 WITH SCORE 627416.788
AT ITER 4750 NEW BEST:: SOT 4380245 SOS 746780 HAS SOPS 746780 HAS SOUS 626662 HAS SOUPS 626662 WITH SCORE 627408.78
AT ITER 4757 NEW BEST:: SOT 4380245 SOS 746780 HAS SOPS 746780 HAS SOUS 626604 HAS SOUPS 626604 WITH SCORE 627350.78
AT ITER 4772 NEW BEST:: SOT 4380089 SOS 746624 HAS SOPS 746624 HAS SOUS 626448 HAS SOUPS 626448 WITH SCORE 627194.624
AT ITER 4777 NEW BEST:: SOT 4380056 SOS 746499 HAS SOPS 746499 HAS SOUS 626136 HAS SOUPS 626136 WITH SCORE 626882.499
AT ITER 4779 NEW BEST:: SOT 4379974 SOS 746335 HAS SOPS 746335 HAS SOUS 625972 HAS SOUPS 625972 WITH SCORE 626718.335
AT ITER 4783 NEW BEST:: SOT 4379736 SOS 746318 HAS SOPS 746318 HAS SOUS 625743 HAS SOUPS 625743 WITH SCORE 626489.318
AT ITER 4850 NEW BEST:: SOT 4379638 SOS 746220 HAS SOPS 746220 HAS SOUS 625547 HAS SOUPS 625547 WITH SCORE 626293.22
AT ITER 4851 NEW BEST:: SOT 4379473 SOS 746055 HAS SOPS 746055 HAS SOUS 625382 HAS SOUPS 625382 WITH SCORE 626128.055
AT ITER 4893 NEW BEST:: SOT 4379331 SOS 745957 HAS SOPS 745957 HAS SOUS 625261 HAS SOUPS 625261 WITH SCORE 626006.957
AT ITER 4944 NEW BEST:: SOT 4379050 SOS 745665 HAS SOPS 745665 HAS SOUS 624969 HAS SOUPS 624969 WITH SCORE 625714.665
AT ITER 4956 NEW BEST:: SOT 4378860 SOS 745059 HAS SOPS 745059 HAS SOUS 624622 HAS SOUPS 624622 WITH SCORE 625367.059
AT ITER 4967 NEW BEST:: SOT 4378821 SOS 744622 HAS SOPS 744622 HAS SOUS 624254 HAS SOUPS 624254 WITH SCORE 624998.622
AT ITER 4982 NEW BEST:: SOT 4378668 SOS 744469 HAS SOPS 744469 HAS SOUS 624101 HAS SOUPS 624101 WITH SCORE 624845.469
AT ITER 4992 NEW BEST:: SOT 4378603 SOS 744339 HAS SOPS 744339 HAS SOUS 623916 HAS SOUPS 623916 WITH SCORE 624660.339
AT ITER 5032 NEW BEST:: SOT 4378466 SOS 744065 HAS SOPS 744065 HAS SOUS 623642 HAS SOUPS 623642 WITH SCORE 624386.065
AT ITER 5034 NEW BEST:: SOT 4378453 SOS 744039 HAS SOPS 744039 HAS SOUS 623629 HAS SOUPS 623629 WITH SCORE 624373.039
AT ITER 5067 NEW BEST:: SOT 4378447 SOS 744027 HAS SOPS 744027 HAS SOUS 623617 HAS SOUPS 623617 WITH SCORE 624361.027
AT ITER 5112 NEW BEST:: SOT 4378227 SOS 743982 HAS SOPS 743982 HAS SOUS 623476 HAS SOUPS 623476 WITH SCORE 624219.982
AT ITER 5129 NEW BEST:: SOT 4377965 SOS 743458 HAS SOPS 743458 HAS SOUS 623325 HAS SOUPS 623325 WITH SCORE 624068.458
AT ITER 5132 NEW BEST:: SOT 4377828 SOS 743346 HAS SOPS 743346 HAS SOUS 623073 HAS SOUPS 623073 WITH SCORE 623816.346
AT ITER 5139 NEW BEST:: SOT 4377304 SOS 744648 HAS SOPS 744648 HAS SOUS 623063 HAS SOUPS 623063 WITH SCORE 623807.648
AT ITER 5141 NEW BEST:: SOT 4377292 SOS 744624 HAS SOPS 744624 HAS SOUS 623051 HAS SOUPS 623051 WITH SCORE 623795.624
AT ITER 5174 NEW BEST:: SOT 4377038 SOS 743659 HAS SOPS 743659 HAS SOUS 622449 HAS SOUPS 622449 WITH SCORE 623192.659
AT ITER 5206 NEW BEST:: SOT 4376967 SOS 743207 HAS SOPS 743207 HAS SOUS 622121 HAS SOUPS 622121 WITH SCORE 622864.207
AT ITER 5262 NEW BEST:: SOT 4376920 SOS 743113 HAS SOPS 743113 HAS SOUS 622027 HAS SOUPS 622027 WITH SCORE 622770.113
AT ITER 5278 NEW BEST:: SOT 4376838 SOS 742949 HAS SOPS 742949 HAS SOUS 621865 HAS SOUPS 621865 WITH SCORE 622607.949
AT ITER 5289 NEW BEST:: SOT 4376835 SOS 742943 HAS SOPS 742943 HAS SOUS 621859 HAS SOUPS 621859 WITH SCORE 622601.943
AT ITER 5308 NEW BEST:: SOT 4376570 SOS 742854 HAS SOPS 742854 HAS SOUS 621643 HAS SOUPS 621643 WITH SCORE 622385.854
AT ITER 5330 NEW BEST:: SOT 4376578 SOS 741958 HAS SOPS 741958 HAS SOUS 621576 HAS SOUPS 621576 WITH SCORE 622317.958
AT ITER 5355 NEW BEST:: SOT 4376540 SOS 741844 HAS SOPS 741844 HAS SOUS 621462 HAS SOUPS 621462 WITH SCORE 622203.844
AT ITER 5360 NEW BEST:: SOT 4376416 SOS 741596 HAS SOPS 741596 HAS SOUS 621338 HAS SOUPS 621338 WITH SCORE 622079.596
AT ITER 5368 NEW BEST:: SOT 4376229 SOS 741222 HAS SOPS 741222 HAS SOUS 620964 HAS SOUPS 620964 WITH SCORE 621705.222
AT ITER 5419 NEW BEST:: SOT 4376025 SOS 741018 HAS SOPS 741018 HAS SOUS 620556 HAS SOUPS 620556 WITH SCORE 621297.018
AT ITER 5424 NEW BEST:: SOT 4376025 SOS 740819 HAS SOPS 740819 HAS SOUS 620556 HAS SOUPS 620556 WITH SCORE 621296.819
AT ITER 5450 NEW BEST:: SOT 4376180 SOS 740795 HAS SOPS 740795 HAS SOUS 620532 HAS SOUPS 620532 WITH SCORE 621272.795
AT ITER 5459 NEW BEST:: SOT 4376180 SOS 740744 HAS SOPS 740744 HAS SOUS 620481 HAS SOUPS 620481 WITH SCORE 621221.744
AT ITER 5463 NEW BEST:: SOT 4376179 SOS 740597 HAS SOPS 740597 HAS SOUS 620479 HAS SOUPS 620479 WITH SCORE 621219.597
AT ITER 5475 NEW BEST:: SOT 4376188 SOS 740537 HAS SOPS 740537 HAS SOUS 620449 HAS SOUPS 620449 WITH SCORE 621189.537
AT ITER 5490 NEW BEST:: SOT 4376063 SOS 740287 HAS SOPS 740287 HAS SOUS 620199 HAS SOUPS 620199 WITH SCORE 620939.287
AT ITER 5500 NEW BEST:: SOT 4376004 SOS 740169 HAS SOPS 740169 HAS SOUS 620081 HAS SOUPS 620081 WITH SCORE 620821.169
AT ITER 5516 NEW BEST:: SOT 4376004 SOS 740370 HAS SOPS 740370 HAS SOUS 620055 HAS SOUPS 620055 WITH SCORE 620795.37
AT ITER 5523 NEW BEST:: SOT 4376004 SOS 740253 HAS SOPS 740253 HAS SOUS 619938 HAS SOUPS 619938 WITH SCORE 620678.253
AT ITER 5536 NEW BEST:: SOT 4375912 SOS 740069 HAS SOPS 740069 HAS SOUS 619754 HAS SOUPS 619754 WITH SCORE 620494.069
AT ITER 5570 NEW BEST:: SOT 4375898 SOS 740068 HAS SOPS 740068 HAS SOUS 619753 HAS SOUPS 619753 WITH SCORE 620493.068
AT ITER 5581 NEW BEST:: SOT 4375694 SOS 739849 HAS SOPS 739849 HAS SOUS 619549 HAS SOUPS 619549 WITH SCORE 620288.849
AT ITER 5597 NEW BEST:: SOT 4375694 SOS 739849 HAS SOPS 739849 HAS SOUS 619408 HAS SOUPS 619408 WITH SCORE 620147.849
AT ITER 5605 NEW BEST:: SOT 4375690 SOS 739921 HAS SOPS 739921 HAS SOUS 619404 HAS SOUPS 619404 WITH SCORE 620143.921
AT ITER 5622 NEW BEST:: SOT 4375523 SOS 739420 HAS SOPS 739420 HAS SOUS 619070 HAS SOUPS 619070 WITH SCORE 619809.42
AT ITER 5648 NEW BEST:: SOT 4374841 SOS 740205 HAS SOPS 740205 HAS SOUS 618636 HAS SOUPS 618636 WITH SCORE 619376.205
AT ITER 5656 NEW BEST:: SOT 4374783 SOS 740147 HAS SOPS 740147 HAS SOUS 618577 HAS SOUPS 618577 WITH SCORE 619317.147
AT ITER 5682 NEW BEST:: SOT 4374743 SOS 740147 HAS SOPS 740147 HAS SOUS 618557 HAS SOUPS 618557 WITH SCORE 619297.147
AT ITER 5770 NEW BEST:: SOT 4374684 SOS 740029 HAS SOPS 740029 HAS SOUS 618498 HAS SOUPS 618498 WITH SCORE 619238.029
AT ITER 5825 NEW BEST:: SOT 4374684 SOS 739986 HAS SOPS 739986 HAS SOUS 618498 HAS SOUPS 618498 WITH SCORE 619237.986
AT ITER 5837 NEW BEST:: SOT 4374617 SOS 739921 HAS SOPS 739921 HAS SOUS 618430 HAS SOUPS 618430 WITH SCORE 619169.921
AT ITER 5852 NEW BEST:: SOT 4374414 SOS 739515 HAS SOPS 739515 HAS SOUS 618028 HAS SOUPS 618028 WITH SCORE 618767.515
AT ITER 5864 NEW BEST:: SOT 4374414 SOS 739462 HAS SOPS 739462 HAS SOUS 618028 HAS SOUPS 618028 WITH SCORE 618767.462
AT ITER 5869 NEW BEST:: SOT 4374414 SOS 739346 HAS SOPS 739346 HAS SOUS 618028 HAS SOUPS 618028 WITH SCORE 618767.346
AT ITER 5893 NEW BEST:: SOT 4374177 SOS 738872 HAS SOPS 738872 HAS SOUS 617554 HAS SOUPS 617554 WITH SCORE 618292.872
AT ITER 5896 NEW BEST:: SOT 4374176 SOS 738870 HAS SOPS 738870 HAS SOUS 617552 HAS SOUPS 617552 WITH SCORE 618290.87
AT ITER 5925 NEW BEST:: SOT 4374175 SOS 738869 HAS SOPS 738869 HAS SOUS 617550 HAS SOUPS 617550 WITH SCORE 618288.869
AT ITER 5927 NEW BEST:: SOT 4374260 SOS 738709 HAS SOPS 738709 HAS SOUS 617392 HAS SOUPS 617392 WITH SCORE 618130.709
AT ITER 5952 NEW BEST:: SOT 4374260 SOS 738514 HAS SOPS 738514 HAS SOUS 617197 HAS SOUPS 617197 WITH SCORE 617935.514
AT ITER 5987 NEW BEST:: SOT 4374124 SOS 738380 HAS SOPS 738380 HAS SOUS 617063 HAS SOUPS 617063 WITH SCORE 617801.38
AT ITER 5990 NEW BEST:: SOT 4374078 SOS 738288 HAS SOPS 738288 HAS SOUS 617011 HAS SOUPS 617011 WITH SCORE 617749.288
AT ITER 5995 NEW BEST:: SOT 4373909 SOS 738274 HAS SOPS 738274 HAS SOUS 616847 HAS SOUPS 616847 WITH SCORE 617585.274
AT ITER 6022 NEW BEST:: SOT 4373872 SOS 738200 HAS SOPS 738200 HAS SOUS 616773 HAS SOUPS 616773 WITH SCORE 617511.2
AT ITER 6045 NEW BEST:: SOT 4373872 SOS 738200 HAS SOPS 738200 HAS SOUS 616740 HAS SOUPS 616740 WITH SCORE 617478.2
AT ITER 6051 NEW BEST:: SOT 4373812 SOS 738080 HAS SOPS 738080 HAS SOUS 616677 HAS SOUPS 616677 WITH SCORE 617415.08
AT ITER 6091 NEW BEST:: SOT 4373771 SOS 738039 HAS SOPS 738039 HAS SOUS 616677 HAS SOUPS 616677 WITH SCORE 617415.039
AT ITER 6115 NEW BEST:: SOT 4373771 SOS 737673 HAS SOPS 737673 HAS SOUS 616677 HAS SOUPS 616677 WITH SCORE 617414.673
AT ITER 6117 NEW BEST:: SOT 4373647 SOS 737239 HAS SOPS 737239 HAS SOUS 616429 HAS SOUPS 616429 WITH SCORE 617166.239
AT ITER 6131 NEW BEST:: SOT 4373581 SOS 737107 HAS SOPS 737107 HAS SOUS 616297 HAS SOUPS 616297 WITH SCORE 617034.107
AT ITER 6148 NEW BEST:: SOT 4373398 SOS 736924 HAS SOPS 736924 HAS SOUS 616114 HAS SOUPS 616114 WITH SCORE 616850.924
AT ITER 6167 NEW BEST:: SOT 4373385 SOS 736650 HAS SOPS 736650 HAS SOUS 615909 HAS SOUPS 615909 WITH SCORE 616645.65
AT ITER 6243 NEW BEST:: SOT 4373333 SOS 736546 HAS SOPS 736546 HAS SOUS 615805 HAS SOUPS 615805 WITH SCORE 616541.546
AT ITER 6270 NEW BEST:: SOT 4373010 SOS 736676 HAS SOPS 736676 HAS SOUS 615676 HAS SOUPS 615676 WITH SCORE 616412.676
AT ITER 6277 NEW BEST:: SOT 4373010 SOS 736645 HAS SOPS 736645 HAS SOUS 615676 HAS SOUPS 615676 WITH SCORE 616412.645
AT ITER 6335 NEW BEST:: SOT 4371772 SOS 737531 HAS SOPS 737531 HAS SOUS 615222 HAS SOUPS 615222 WITH SCORE 615959.531
AT ITER 6360 NEW BEST:: SOT 4371682 SOS 737351 HAS SOPS 737351 HAS SOUS 615042 HAS SOUPS 615042 WITH SCORE 615779.351
AT ITER 6384 NEW BEST:: SOT 4371653 SOS 737293 HAS SOPS 737293 HAS SOUS 615028 HAS SOUPS 615028 WITH SCORE 615765.293
AT ITER 6406 NEW BEST:: SOT 4371653 SOS 737293 HAS SOPS 737293 HAS SOUS 615027 HAS SOUPS 615027 WITH SCORE 615764.293
AT ITER 6430 NEW BEST:: SOT 4371630 SOS 737247 HAS SOPS 737247 HAS SOUS 614981 HAS SOUPS 614981 WITH SCORE 615718.247
AT ITER 6465 NEW BEST:: SOT 4371522 SOS 737031 HAS SOPS 737031 HAS SOUS 614765 HAS SOUPS 614765 WITH SCORE 615502.031
AT ITER 6470 NEW BEST:: SOT 4371515 SOS 737017 HAS SOPS 737017 HAS SOUS 614751 HAS SOUPS 614751 WITH SCORE 615488.017
AT ITER 6483 NEW BEST:: SOT 4371299 SOS 737033 HAS SOPS 737033 HAS SOUS 614747 HAS SOUPS 614747 WITH SCORE 615484.033
AT ITER 6493 NEW BEST:: SOT 4371103 SOS 736775 HAS SOPS 736775 HAS SOUS 614489 HAS SOUPS 614489 WITH SCORE 615225.775
AT ITER 6504 NEW BEST:: SOT 4370878 SOS 736325 HAS SOPS 736325 HAS SOUS 614107 HAS SOUPS 614107 WITH SCORE 614843.325
AT ITER 6513 NEW BEST:: SOT 4371124 SOS 735905 HAS SOPS 735905 HAS SOUS 613897 HAS SOUPS 613897 WITH SCORE 614632.905
AT ITER 6529 NEW BEST:: SOT 4371124 SOS 735905 HAS SOPS 735905 HAS SOUS 613801 HAS SOUPS 613801 WITH SCORE 614536.905
AT ITER 6546 NEW BEST:: SOT 4371003 SOS 735784 HAS SOPS 735784 HAS SOUS 613680 HAS SOUPS 613680 WITH SCORE 614415.784
AT ITER 6560 NEW BEST:: SOT 4371003 SOS 735998 HAS SOPS 735998 HAS SOUS 613649 HAS SOUPS 613649 WITH SCORE 614384.998
AT ITER 6575 NEW BEST:: SOT 4370974 SOS 735913 HAS SOPS 735913 HAS SOUS 613591 HAS SOUPS 613591 WITH SCORE 614326.913
AT ITER 6612 NEW BEST:: SOT 4370928 SOS 735821 HAS SOPS 735821 HAS SOUS 613469 HAS SOUPS 613469 WITH SCORE 614204.821
AT ITER 6614 NEW BEST:: SOT 4370916 SOS 735797 HAS SOPS 735797 HAS SOUS 613265 HAS SOUPS 613265 WITH SCORE 614000.797
AT ITER 6618 NEW BEST:: SOT 4370754 SOS 735473 HAS SOPS 735473 HAS SOUS 613103 HAS SOUPS 613103 WITH SCORE 613838.473
AT ITER 6622 NEW BEST:: SOT 4370484 SOS 735250 HAS SOPS 735250 HAS SOUS 612833 HAS SOUPS 612833 WITH SCORE 613568.25
AT ITER 6649 NEW BEST:: SOT 4370226 SOS 735035 HAS SOPS 735035 HAS SOUS 612618 HAS SOUPS 612618 WITH SCORE 613353.035
AT ITER 6660 NEW BEST:: SOT 4367969 SOS 743835 HAS SOPS 743835 HAS SOUS 610907 HAS SOUPS 610907 WITH SCORE 611650.835
AT ITER 6674 NEW BEST:: SOT 4367941 SOS 743779 HAS SOPS 743779 HAS SOUS 610851 HAS SOUPS 610851 WITH SCORE 611594.779
AT ITER 6677 NEW BEST:: SOT 4367587 SOS 743425 HAS SOPS 743425 HAS SOUS 610497 HAS SOUPS 610497 WITH SCORE 611240.425
AT ITER 6715 NEW BEST:: SOT 4367538 SOS 743327 HAS SOPS 743327 HAS SOUS 610399 HAS SOUPS 610399 WITH SCORE 611142.327
AT ITER 6716 NEW BEST:: SOT 4367538 SOS 743299 HAS SOPS 743299 HAS SOUS 610399 HAS SOUPS 610399 WITH SCORE 611142.299
AT ITER 6729 NEW BEST:: SOT 4367531 SOS 743285 HAS SOPS 743285 HAS SOUS 610391 HAS SOUPS 610391 WITH SCORE 611134.285
AT ITER 6730 NEW BEST:: SOT 4367239 SOS 742701 HAS SOPS 742701 HAS SOUS 609953 HAS SOUPS 609953 WITH SCORE 610695.701
AT ITER 6748 NEW BEST:: SOT 4367239 SOS 742701 HAS SOPS 742701 HAS SOUS 609866 HAS SOUPS 609866 WITH SCORE 610608.701
AT ITER 6749 NEW BEST:: SOT 4367092 SOS 742771 HAS SOPS 742771 HAS SOUS 609646 HAS SOUPS 609646 WITH SCORE 610388.771
AT ITER 6753 NEW BEST:: SOT 4367091 SOS 742770 HAS SOPS 742770 HAS SOUS 609644 HAS SOUPS 609644 WITH SCORE 610386.77
AT ITER 6781 NEW BEST:: SOT 4367091 SOS 742677 HAS SOPS 742677 HAS SOUS 609644 HAS SOUPS 609644 WITH SCORE 610386.677
AT ITER 6797 NEW BEST:: SOT 4367083 SOS 742661 HAS SOPS 742661 HAS SOUS 609636 HAS SOUPS 609636 WITH SCORE 610378.661
AT ITER 6806 NEW BEST:: SOT 4367083 SOS 742661 HAS SOPS 742661 HAS SOUS 609557 HAS SOUPS 609557 WITH SCORE 610299.661
AT ITER 6820 NEW BEST:: SOT 4367068 SOS 742557 HAS SOPS 742557 HAS SOUS 609542 HAS SOUPS 609542 WITH SCORE 610284.557
AT ITER 6826 NEW BEST:: SOT 4367068 SOS 742537 HAS SOPS 742537 HAS SOUS 609542 HAS SOUPS 609542 WITH SCORE 610284.537
AT ITER 6844 NEW BEST:: SOT 4367005 SOS 742411 HAS SOPS 742411 HAS SOUS 609479 HAS SOUPS 609479 WITH SCORE 610221.411
AT ITER 6847 NEW BEST:: SOT 4366740 SOS 742394 HAS SOPS 742394 HAS SOUS 609379 HAS SOUPS 609379 WITH SCORE 610121.394
AT ITER 6932 NEW BEST:: SOT 4366469 SOS 741852 HAS SOPS 741852 HAS SOUS 608837 HAS SOUPS 608837 WITH SCORE 609578.852
AT ITER 6939 NEW BEST:: SOT 4366468 SOS 741638 HAS SOPS 741638 HAS SOUS 608835 HAS SOUPS 608835 WITH SCORE 609576.638
AT ITER 6946 NEW BEST:: SOT 4366397 SOS 741496 HAS SOPS 741496 HAS SOUS 608693 HAS SOUPS 608693 WITH SCORE 609434.496
AT ITER 6947 NEW BEST:: SOT 4366379 SOS 741478 HAS SOPS 741478 HAS SOUS 608675 HAS SOUPS 608675 WITH SCORE 609416.478
AT ITER 6963 NEW BEST:: SOT 4366339 SOS 741398 HAS SOPS 741398 HAS SOUS 608595 HAS SOUPS 608595 WITH SCORE 609336.398
AT ITER 6988 NEW BEST:: SOT 4366155 SOS 741030 HAS SOPS 741030 HAS SOUS 608227 HAS SOUPS 608227 WITH SCORE 608968.03
AT ITER 7004 NEW BEST:: SOT 4366155 SOS 740742 HAS SOPS 740742 HAS SOUS 608083 HAS SOUPS 608083 WITH SCORE 608823.742
AT ITER 7012 NEW BEST:: SOT 4365719 SOS 741508 HAS SOPS 741508 HAS SOUS 608002 HAS SOUPS 608002 WITH SCORE 608743.508
AT ITER 7049 NEW BEST:: SOT 4365708 SOS 741424 HAS SOPS 741424 HAS SOUS 607918 HAS SOUPS 607918 WITH SCORE 608659.424
AT ITER 7057 NEW BEST:: SOT 4365521 SOS 741250 HAS SOPS 741250 HAS SOUS 607731 HAS SOUPS 607731 WITH SCORE 608472.25
AT ITER 7058 NEW BEST:: SOT 4365506 SOS 741220 HAS SOPS 741220 HAS SOUS 607701 HAS SOUPS 607701 WITH SCORE 608442.22
AT ITER 7060 NEW BEST:: SOT 4365419 SOS 741046 HAS SOPS 741046 HAS SOUS 607507 HAS SOUPS 607507 WITH SCORE 608248.046
AT ITER 7126 NEW BEST:: SOT 4365371 SOS 740998 HAS SOPS 740998 HAS SOUS 607462 HAS SOUPS 607462 WITH SCORE 608202.998
AT ITER 7145 NEW BEST:: SOT 4365279 SOS 740814 HAS SOPS 740814 HAS SOUS 607278 HAS SOUPS 607278 WITH SCORE 608018.814
AT ITER 7200 NEW BEST:: SOT 4365279 SOS 740814 HAS SOPS 740814 HAS SOUS 607148 HAS SOUPS 607148 WITH SCORE 607888.814
AT ITER 7201 NEW BEST:: SOT 4365203 SOS 740522 HAS SOPS 740522 HAS SOUS 607072 HAS SOUPS 607072 WITH SCORE 607812.522
AT ITER 7227 NEW BEST:: SOT 4365108 SOS 740585 HAS SOPS 740585 HAS SOUS 606977 HAS SOUPS 606977 WITH SCORE 607717.585
AT ITER 7236 NEW BEST:: SOT 4365108 SOS 740538 HAS SOPS 740538 HAS SOUS 606977 HAS SOUPS 606977 WITH SCORE 607717.538
AT ITER 7297 NEW BEST:: SOT 4365090 SOS 740467 HAS SOPS 740467 HAS SOUS 606924 HAS SOUPS 606924 WITH SCORE 607664.467
AT ITER 7328 NEW BEST:: SOT 4365066 SOS 740419 HAS SOPS 740419 HAS SOUS 606876 HAS SOUPS 606876 WITH SCORE 607616.419
AT ITER 7339 NEW BEST:: SOT 4364988 SOS 740263 HAS SOPS 740263 HAS SOUS 606720 HAS SOUPS 606720 WITH SCORE 607460.263
AT ITER 7363 NEW BEST:: SOT 4364726 SOS 740919 HAS SOPS 740919 HAS SOUS 606533 HAS SOUPS 606533 WITH SCORE 607273.919
AT ITER 7377 NEW BEST:: SOT 4364498 SOS 740775 HAS SOPS 740775 HAS SOUS 606234 HAS SOUPS 606234 WITH SCORE 606974.775
AT ITER 7423 NEW BEST:: SOT 4364498 SOS 740767 HAS SOPS 740767 HAS SOUS 606230 HAS SOUPS 606230 WITH SCORE 606970.767
AT ITER 7445 NEW BEST:: SOT 4364498 SOS 740767 HAS SOPS 740767 HAS SOUS 606066 HAS SOUPS 606066 WITH SCORE 606806.767
AT ITER 7468 NEW BEST:: SOT 4364498 SOS 740634 HAS SOPS 740634 HAS SOUS 606066 HAS SOUPS 606066 WITH SCORE 606806.634
AT ITER 7499 NEW BEST:: SOT 4364572 SOS 740422 HAS SOPS 740422 HAS SOUS 605960 HAS SOUPS 605960 WITH SCORE 606700.422
AT ITER 7551 NEW BEST:: SOT 4364519 SOS 740369 HAS SOPS 740369 HAS SOUS 605907 HAS SOUPS 605907 WITH SCORE 606647.369
AT ITER 7568 NEW BEST:: SOT 4364380 SOS 740091 HAS SOPS 740091 HAS SOUS 605629 HAS SOUPS 605629 WITH SCORE 606369.091
AT ITER 7597 NEW BEST:: SOT 4364538 SOS 739981 HAS SOPS 739981 HAS SOUS 605519 HAS SOUPS 605519 WITH SCORE 606258.981
AT ITER 7670 NEW BEST:: SOT 4364433 SOS 739876 HAS SOPS 739876 HAS SOUS 605422 HAS SOUPS 605422 WITH SCORE 606161.876
AT ITER 7675 NEW BEST:: SOT 4364422 SOS 739414 HAS SOPS 739414 HAS SOUS 605098 HAS SOUPS 605098 WITH SCORE 605837.414
AT ITER 7683 NEW BEST:: SOT 4364518 SOS 739146 HAS SOPS 739146 HAS SOUS 604926 HAS SOUPS 604926 WITH SCORE 605665.146
AT ITER 7688 NEW BEST:: SOT 4364482 SOS 739074 HAS SOPS 739074 HAS SOUS 604854 HAS SOUPS 604854 WITH SCORE 605593.074
AT ITER 7690 NEW BEST:: SOT 4364196 SOS 739382 HAS SOPS 739382 HAS SOUS 604788 HAS SOUPS 604788 WITH SCORE 605527.382
AT ITER 7694 NEW BEST:: SOT 4364196 SOS 739115 HAS SOPS 739115 HAS SOUS 604788 HAS SOUPS 604788 WITH SCORE 605527.115
AT ITER 7697 NEW BEST:: SOT 4364196 SOS 739014 HAS SOPS 739014 HAS SOUS 604687 HAS SOUPS 604687 WITH SCORE 605426.014
AT ITER 7737 NEW BEST:: SOT 4364080 SOS 738782 HAS SOPS 738782 HAS SOUS 604588 HAS SOUPS 604588 WITH SCORE 605326.782
AT ITER 7743 NEW BEST:: SOT 4364018 SOS 738658 HAS SOPS 738658 HAS SOUS 604464 HAS SOUPS 604464 WITH SCORE 605202.658
AT ITER 7751 NEW BEST:: SOT 4364018 SOS 738658 HAS SOPS 738658 HAS SOUS 604403 HAS SOUPS 604403 WITH SCORE 605141.658
AT ITER 7859 NEW BEST:: SOT 4363901 SOS 738424 HAS SOPS 738424 HAS SOUS 604286 HAS SOUPS 604286 WITH SCORE 605024.424
AT ITER 7884 NEW BEST:: SOT 4363814 SOS 738250 HAS SOPS 738250 HAS SOUS 604091 HAS SOUPS 604091 WITH SCORE 604829.25
AT ITER 7940 NEW BEST:: SOT 4363814 SOS 738250 HAS SOPS 738250 HAS SOUS 604056 HAS SOUPS 604056 WITH SCORE 604794.25
AT ITER 7960 NEW BEST:: SOT 4363729 SOS 738080 HAS SOPS 738080 HAS SOUS 603993 HAS SOUPS 603993 WITH SCORE 604731.08
AT ITER 7980 NEW BEST:: SOT 4363896 SOS 737730 HAS SOPS 737730 HAS SOUS 603968 HAS SOUPS 603968 WITH SCORE 604705.73
AT ITER 8010 NEW BEST:: SOT 4363845 SOS 706659 HAS SOPS 706659 HAS SOUS 603614 HAS SOUPS 603614 WITH SCORE 604320.659
AT ITER 8032 NEW BEST:: SOT 4363790 SOS 706549 HAS SOPS 706549 HAS SOUS 603148 HAS SOUPS 603148 WITH SCORE 603854.549
AT ITER 8038 NEW BEST:: SOT 4363790 SOS 706159 HAS SOPS 706159 HAS SOUS 602953 HAS SOUPS 602953 WITH SCORE 603659.159
AT ITER 8055 NEW BEST:: SOT 4363611 SOS 705599 HAS SOPS 705599 HAS SOUS 602595 HAS SOUPS 602595 WITH SCORE 603300.599
AT ITER 8069 NEW BEST:: SOT 4363569 SOS 705515 HAS SOPS 705515 HAS SOUS 602553 HAS SOUPS 602553 WITH SCORE 603258.515
AT ITER 8100 NEW BEST:: SOT 4363548 SOS 705391 HAS SOPS 705391 HAS SOUS 602491 HAS SOUPS 602491 WITH SCORE 603196.391
AT ITER 8108 NEW BEST:: SOT 4363547 SOS 705389 HAS SOPS 705389 HAS SOUS 602489 HAS SOUPS 602489 WITH SCORE 603194.389
AT ITER 8132 NEW BEST:: SOT 4363547 SOS 705383 HAS SOPS 705383 HAS SOUS 602489 HAS SOUPS 602489 WITH SCORE 603194.383
AT ITER 8139 NEW BEST:: SOT 4363416 SOS 707335 HAS SOPS 707335 HAS SOUS 602370 HAS SOUPS 602370 WITH SCORE 603077.335
AT ITER 8146 NEW BEST:: SOT 4363416 SOS 707100 HAS SOPS 707100 HAS SOUS 602370 HAS SOUPS 602370 WITH SCORE 603077.1
AT ITER 8168 NEW BEST:: SOT 4363365 SOS 706998 HAS SOPS 706998 HAS SOUS 602268 HAS SOUPS 602268 WITH SCORE 602974.998
AT ITER 8175 NEW BEST:: SOT 4363121 SOS 707518 HAS SOPS 707518 HAS SOUS 602190 HAS SOUPS 602190 WITH SCORE 602897.518
AT ITER 8207 NEW BEST:: SOT 4363006 SOS 707288 HAS SOPS 707288 HAS SOUS 602177 HAS SOUPS 602177 WITH SCORE 602884.288
AT ITER 8255 NEW BEST:: SOT 4362950 SOS 707176 HAS SOPS 707176 HAS SOUS 602061 HAS SOUPS 602061 WITH SCORE 602768.176
AT ITER 8347 NEW BEST:: SOT 4362921 SOS 706969 HAS SOPS 706969 HAS SOUS 601978 HAS SOUPS 601978 WITH SCORE 602684.969
AT ITER 8376 NEW BEST:: SOT 4362921 SOS 706819 HAS SOPS 706819 HAS SOUS 601978 HAS SOUPS 601978 WITH SCORE 602684.819
AT ITER 8392 NEW BEST:: SOT 4362907 SOS 706791 HAS SOPS 706791 HAS SOUS 601950 HAS SOUPS 601950 WITH SCORE 602656.791
AT ITER 8409 NEW BEST:: SOT 4362633 SOS 706243 HAS SOPS 706243 HAS SOUS 601950 HAS SOUPS 601950 WITH SCORE 602656.243
AT ITER 8428 NEW BEST:: SOT 4362576 SOS 706129 HAS SOPS 706129 HAS SOUS 601836 HAS SOUPS 601836 WITH SCORE 602542.129
AT ITER 8448 NEW BEST:: SOT 4361808 SOS 705233 HAS SOPS 705233 HAS SOUS 600940 HAS SOUPS 600940 WITH SCORE 601645.233
AT ITER 8463 NEW BEST:: SOT 4361799 SOS 705215 HAS SOPS 705215 HAS SOUS 600916 HAS SOUPS 600916 WITH SCORE 601621.215
AT ITER 8601 NEW BEST:: SOT 4361718 SOS 705053 HAS SOPS 705053 HAS SOUS 600754 HAS SOUPS 600754 WITH SCORE 601459.053
AT ITER 8603 NEW BEST:: SOT 4361656 SOS 704929 HAS SOPS 704929 HAS SOUS 600692 HAS SOUPS 600692 WITH SCORE 601396.929
AT ITER 8638 NEW BEST:: SOT 4361656 SOS 704929 HAS SOPS 704929 HAS SOUS 600467 HAS SOUPS 600467 WITH SCORE 601171.929
AT ITER 8653 NEW BEST:: SOT 4361544 SOS 704705 HAS SOPS 704705 HAS SOUS 600243 HAS SOUPS 600243 WITH SCORE 600947.705
AT ITER 8698 NEW BEST:: SOT 4361580 SOS 704675 HAS SOPS 704675 HAS SOUS 600221 HAS SOUPS 600221 WITH SCORE 600925.675
AT ITER 8715 NEW BEST:: SOT 4361580 SOS 704379 HAS SOPS 704379 HAS SOUS 600221 HAS SOUPS 600221 WITH SCORE 600925.379
AT ITER 8727 NEW BEST:: SOT 4361394 SOS 704224 HAS SOPS 704224 HAS SOUS 600035 HAS SOUPS 600035 WITH SCORE 600739.224
AT ITER 8734 NEW BEST:: SOT 4361407 SOS 704250 HAS SOPS 704250 HAS SOUS 599925 HAS SOUPS 599925 WITH SCORE 600629.25
AT ITER 8778 NEW BEST:: SOT 4361677 SOS 704226 HAS SOPS 704226 HAS SOUS 599901 HAS SOUPS 599901 WITH SCORE 600605.226
AT ITER 8788 NEW BEST:: SOT 4361663 SOS 704198 HAS SOPS 704198 HAS SOUS 599873 HAS SOUPS 599873 WITH SCORE 600577.198
AT ITER 8795 NEW BEST:: SOT 4361749 SOS 704170 HAS SOPS 704170 HAS SOUS 599845 HAS SOUPS 599845 WITH SCORE 600549.17
AT ITER 8814 NEW BEST:: SOT 4361749 SOS 704170 HAS SOPS 704170 HAS SOUS 599843 HAS SOUPS 599843 WITH SCORE 600547.17
AT ITER 8817 NEW BEST:: SOT 4361747 SOS 704166 HAS SOPS 704166 HAS SOUS 599839 HAS SOUPS 599839 WITH SCORE 600543.166
AT ITER 8826 NEW BEST:: SOT 4361826 SOS 703782 HAS SOPS 703782 HAS SOUS 599726 HAS SOUPS 599726 WITH SCORE 600429.782
AT ITER 8828 NEW BEST:: SOT 4361714 SOS 703657 HAS SOPS 703657 HAS SOUS 599515 HAS SOUPS 599515 WITH SCORE 600218.657
AT ITER 8840 NEW BEST:: SOT 4361664 SOS 703773 HAS SOPS 703773 HAS SOUS 599456 HAS SOUPS 599456 WITH SCORE 600159.773
AT ITER 8852 NEW BEST:: SOT 4361230 SOS 703593 HAS SOPS 703593 HAS SOUS 599108 HAS SOUPS 599108 WITH SCORE 599811.593
AT ITER 8873 NEW BEST:: SOT 4361294 SOS 703590 HAS SOPS 703590 HAS SOUS 599039 HAS SOUPS 599039 WITH SCORE 599742.59
AT ITER 8887 NEW BEST:: SOT 4361294 SOS 703505 HAS SOPS 703505 HAS SOUS 599039 HAS SOUPS 599039 WITH SCORE 599742.505
AT ITER 8927 NEW BEST:: SOT 4361294 SOS 703505 HAS SOPS 703505 HAS SOUS 598996 HAS SOUPS 598996 WITH SCORE 599699.505
AT ITER 8934 NEW BEST:: SOT 4361289 SOS 703495 HAS SOPS 703495 HAS SOUS 598991 HAS SOUPS 598991 WITH SCORE 599694.495
AT ITER 8948 NEW BEST:: SOT 4361289 SOS 703400 HAS SOPS 703400 HAS SOUS 598896 HAS SOUPS 598896 WITH SCORE 599599.4
AT ITER 8960 NEW BEST:: SOT 4361170 SOS 703029 HAS SOPS 703029 HAS SOUS 598776 HAS SOUPS 598776 WITH SCORE 599479.029
AT ITER 8974 NEW BEST:: SOT 4361067 SOS 703119 HAS SOPS 703119 HAS SOUS 598747 HAS SOUPS 598747 WITH SCORE 599450.119
AT ITER 8975 NEW BEST:: SOT 4360989 SOS 703002 HAS SOPS 703002 HAS SOUS 598669 HAS SOUPS 598669 WITH SCORE 599372.002
AT ITER 8976 NEW BEST:: SOT 4360940 SOS 702758 HAS SOPS 702758 HAS SOUS 598571 HAS SOUPS 598571 WITH SCORE 599273.758
AT ITER 8983 NEW BEST:: SOT 4360786 SOS 702737 HAS SOPS 702737 HAS SOUS 598550 HAS SOUPS 598550 WITH SCORE 599252.737
AT ITER 9065 NEW BEST:: SOT 4360703 SOS 702571 HAS SOPS 702571 HAS SOUS 598384 HAS SOUPS 598384 WITH SCORE 599086.571
AT ITER 9066 NEW BEST:: SOT 4360703 SOS 702409 HAS SOPS 702409 HAS SOUS 598384 HAS SOUPS 598384 WITH SCORE 599086.409
AT ITER 9080 NEW BEST:: SOT 4360658 SOS 702174 HAS SOPS 702174 HAS SOUS 598149 HAS SOUPS 598149 WITH SCORE 598851.174
AT ITER 9114 NEW BEST:: SOT 4360670 SOS 702057 HAS SOPS 702057 HAS SOUS 598032 HAS SOUPS 598032 WITH SCORE 598734.057
AT ITER 9125 NEW BEST:: SOT 4360670 SOS 702057 HAS SOPS 702057 HAS SOUS 597975 HAS SOUPS 597975 WITH SCORE 598677.057
AT ITER 9133 NEW BEST:: SOT 4360707 SOS 701904 HAS SOPS 701904 HAS SOUS 597785 HAS SOUPS 597785 WITH SCORE 598486.904
AT ITER 9151 NEW BEST:: SOT 4360619 SOS 701728 HAS SOPS 701728 HAS SOUS 597697 HAS SOUPS 597697 WITH SCORE 598398.728
AT ITER 9168 NEW BEST:: SOT 4360279 SOS 701388 HAS SOPS 701388 HAS SOUS 597360 HAS SOUPS 597360 WITH SCORE 598061.388
AT ITER 9231 NEW BEST:: SOT 4360197 SOS 701224 HAS SOPS 701224 HAS SOUS 597196 HAS SOUPS 597196 WITH SCORE 597897.224
AT ITER 9277 NEW BEST:: SOT 4360197 SOS 701166 HAS SOPS 701166 HAS SOUS 597196 HAS SOUPS 597196 WITH SCORE 597897.166
AT ITER 9288 NEW BEST:: SOT 4360189 SOS 701150 HAS SOPS 701150 HAS SOUS 597184 HAS SOUPS 597184 WITH SCORE 597885.15
AT ITER 9356 NEW BEST:: SOT 4360136 SOS 701147 HAS SOPS 701147 HAS SOUS 597131 HAS SOUPS 597131 WITH SCORE 597832.147
AT ITER 9375 NEW BEST:: SOT 4359913 SOS 700701 HAS SOPS 700701 HAS SOUS 596649 HAS SOUPS 596649 WITH SCORE 597349.701
AT ITER 9376 NEW BEST:: SOT 4359913 SOS 700807 HAS SOPS 700807 HAS SOUS 596565 HAS SOUPS 596565 WITH SCORE 597265.807
AT ITER 9399 NEW BEST:: SOT 4359887 SOS 700755 HAS SOPS 700755 HAS SOUS 596357 HAS SOUPS 596357 WITH SCORE 597057.755
AT ITER 9416 NEW BEST:: SOT 4359816 SOS 700684 HAS SOPS 700684 HAS SOUS 596215 HAS SOUPS 596215 WITH SCORE 596915.684
AT ITER 9426 NEW BEST:: SOT 4359815 SOS 700682 HAS SOPS 700682 HAS SOUS 596213 HAS SOUPS 596213 WITH SCORE 596913.682
AT ITER 9438 NEW BEST:: SOT 4359805 SOS 700662 HAS SOPS 700662 HAS SOUS 596183 HAS SOUPS 596183 WITH SCORE 596883.662
AT ITER 9449 NEW BEST:: SOT 4359805 SOS 700651 HAS SOPS 700651 HAS SOUS 596183 HAS SOUPS 596183 WITH SCORE 596883.651
AT ITER 9470 NEW BEST:: SOT 4359801 SOS 700643 HAS SOPS 700643 HAS SOUS 596175 HAS SOUPS 596175 WITH SCORE 596875.643
AT ITER 9485 NEW BEST:: SOT 4359696 SOS 700433 HAS SOPS 700433 HAS SOUS 595965 HAS SOUPS 595965 WITH SCORE 596665.433
AT ITER 9512 NEW BEST:: SOT 4359569 SOS 700179 HAS SOPS 700179 HAS SOUS 595838 HAS SOUPS 595838 WITH SCORE 596538.179
AT ITER 9542 NEW BEST:: SOT 4359479 SOS 700085 HAS SOPS 700085 HAS SOUS 595705 HAS SOUPS 595705 WITH SCORE 596405.085
AT ITER 9543 NEW BEST:: SOT 4359479 SOS 700085 HAS SOPS 700085 HAS SOUS 595684 HAS SOUPS 595684 WITH SCORE 596384.085
AT ITER 9561 NEW BEST:: SOT 4359461 SOS 700081 HAS SOPS 700081 HAS SOUS 595666 HAS SOUPS 595666 WITH SCORE 596366.081
AT ITER 9587 NEW BEST:: SOT 4359209 SOS 699829 HAS SOPS 699829 HAS SOUS 595414 HAS SOUPS 595414 WITH SCORE 596113.829
AT ITER 9661 NEW BEST:: SOT 4359197 SOS 699614 HAS SOPS 699614 HAS SOUS 595390 HAS SOUPS 595390 WITH SCORE 596089.614
AT ITER 9697 NEW BEST:: SOT 4358879 SOS 698805 HAS SOPS 698805 HAS SOUS 595235 HAS SOUPS 595235 WITH SCORE 595933.805
AT ITER 9699 NEW BEST:: SOT 4358661 SOS 699230 HAS SOPS 699230 HAS SOUS 595140 HAS SOUPS 595140 WITH SCORE 595839.23
AT ITER 9702 NEW BEST:: SOT 4358382 SOS 698974 HAS SOPS 698974 HAS SOUS 594878 HAS SOUPS 594878 WITH SCORE 595576.974
AT ITER 9727 NEW BEST:: SOT 4358336 SOS 698950 HAS SOPS 698950 HAS SOUS 594866 HAS SOUPS 594866 WITH SCORE 595564.95
AT ITER 9729 NEW BEST:: SOT 4358324 SOS 698926 HAS SOPS 698926 HAS SOUS 594842 HAS SOUPS 594842 WITH SCORE 595540.926
AT ITER 9783 NEW BEST:: SOT 4358130 SOS 698538 HAS SOPS 698538 HAS SOUS 594454 HAS SOUPS 594454 WITH SCORE 595152.538
AT ITER 9793 NEW BEST:: SOT 4358101 SOS 698540 HAS SOPS 698540 HAS SOUS 594450 HAS SOUPS 594450 WITH SCORE 595148.54
AT ITER 9797 NEW BEST:: SOT 4358080 SOS 698541 HAS SOPS 698541 HAS SOUS 594448 HAS SOUPS 594448 WITH SCORE 595146.541
AT ITER 9800 NEW BEST:: SOT 4358022 SOS 698425 HAS SOPS 698425 HAS SOUS 594332 HAS SOUPS 594332 WITH SCORE 595030.425
AT ITER 9816 NEW BEST:: SOT 4358119 SOS 698619 HAS SOPS 698619 HAS SOUS 594303 HAS SOUPS 594303 WITH SCORE 595001.619
AT ITER 9843 NEW BEST:: SOT 4358021 SOS 698525 HAS SOPS 698525 HAS SOUS 594205 HAS SOUPS 594205 WITH SCORE 594903.525
AT ITER 9844 NEW BEST:: SOT 4357866 SOS 698215 HAS SOPS 698215 HAS SOUS 593926 HAS SOUPS 593926 WITH SCORE 594624.215
AT ITER 9862 NEW BEST:: SOT 4357866 SOS 698215 HAS SOPS 698215 HAS SOUS 593848 HAS SOUPS 593848 WITH SCORE 594546.215
AT ITER 9888 NEW BEST:: SOT 4357644 SOS 697771 HAS SOPS 697771 HAS SOUS 593404 HAS SOUPS 593404 WITH SCORE 594101.771
AT ITER 9906 NEW BEST:: SOT 4357551 SOS 697500 HAS SOPS 697500 HAS SOUS 593266 HAS SOUPS 593266 WITH SCORE 593963.5
AT ITER 9918 NEW BEST:: SOT 4357551 SOS 697048 HAS SOPS 697048 HAS SOUS 593040 HAS SOUPS 593040 WITH SCORE 593737.048
AT ITER 9927 NEW BEST:: SOT 4357415 SOS 697116 HAS SOPS 697116 HAS SOUS 593039 HAS SOUPS 593039 WITH SCORE 593736.116
AT ITER 9942 NEW BEST:: SOT 4357415 SOS 696880 HAS SOPS 696880 HAS SOUS 593039 HAS SOUPS 593039 WITH SCORE 593735.88
AT ITER 9963 NEW BEST:: SOT 4357262 SOS 696684 HAS SOPS 696684 HAS SOUS 592886 HAS SOUPS 592886 WITH SCORE 593582.684
AT ITER 9974 NEW BEST:: SOT 4357164 SOS 696488 HAS SOPS 696488 HAS SOUS 592752 HAS SOUPS 592752 WITH SCORE 593448.488
AT ITER 9978 NEW BEST:: SOT 4357208 SOS 696576 HAS SOPS 696576 HAS SOUS 592694 HAS SOUPS 592694 WITH SCORE 593390.576
AT ITER 9985 NEW BEST:: SOT 4357193 SOS 696561 HAS SOPS 696561 HAS SOUS 592654 HAS SOUPS 592654 WITH SCORE 593350.561
AT ITER 9987 NEW BEST:: SOT 4357189 SOS 696553 HAS SOPS 696553 HAS SOUS 592648 HAS SOUPS 592648 WITH SCORE 593344.553
AT ITER 9997 NEW BEST:: SOT 4357258 SOS 696622 HAS SOPS 696622 HAS SOUS 592645 HAS SOUPS 592645 WITH SCORE 593341.622
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 12501848 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16150016 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-307"
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-307, 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-167814471900056"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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