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.r075-smll-167814401000424.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is CloudDeployment-PT-5b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r075-smll-167814401000424
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.9M
-rw-r--r-- 1 mcc users 6.3K Feb 25 14:46 CTLCardinality.txt
-rw-r--r-- 1 mcc users 66K Feb 25 14:46 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.3K Feb 25 14:45 CTLFireability.txt
-rw-r--r-- 1 mcc users 57K Feb 25 14:45 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 15:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 15:45 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:45 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:45 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 25 14:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 139K Feb 25 14:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.4K Feb 25 14:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 59K Feb 25 14:47 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:45 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:45 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 1.5M 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 1678349630694

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=CloudDeployment-PT-5b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 08:13:54] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 08:13:54] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 08:13:54] [INFO ] Load time of PNML (sax parser for PT used): 551 ms
[2023-03-09 08:13:54] [INFO ] Transformed 1525 places.
[2023-03-09 08:13:55] [INFO ] Transformed 3132 transitions.
[2023-03-09 08:13:55] [INFO ] Found NUPN structural information;
[2023-03-09 08:13:55] [INFO ] Parsed PT model containing 1525 places and 3132 transitions and 24760 arcs in 779 ms.
[2023-03-09 08:13:55] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1525 places, 3132 transitions and 24760 arcs took 81 ms.
Total runtime 936 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudDeployment (PT), instance 5b
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 1525 places, 3132 transitions, 24760 arcs.
AT ITER 0 NEW BEST:: SOT 3276105 SOS 964973 HAS SOPS 964973 HAS SOUS 489639 HAS SOUPS 489639 WITH SCORE 490603.973
AT ITER 11 NEW BEST:: SOT 3276005 SOS 964892 HAS SOPS 964892 HAS SOUS 475876 HAS SOUPS 475876 WITH SCORE 476840.892
AT ITER 20 NEW BEST:: SOT 3275526 SOS 964651 HAS SOPS 964651 HAS SOUS 475396 HAS SOUPS 475396 WITH SCORE 476360.651
AT ITER 32 NEW BEST:: SOT 3275501 SOS 964580 HAS SOPS 964580 HAS SOUS 475325 HAS SOUPS 475325 WITH SCORE 476289.58
AT ITER 37 NEW BEST:: SOT 3275501 SOS 965286 HAS SOPS 965286 HAS SOUS 475267 HAS SOUPS 475267 WITH SCORE 476232.286
AT ITER 43 NEW BEST:: SOT 3275412 SOS 965108 HAS SOPS 965108 HAS SOUS 474930 HAS SOUPS 474930 WITH SCORE 475895.108
AT ITER 49 NEW BEST:: SOT 3275345 SOS 965066 HAS SOPS 965066 HAS SOUS 474863 HAS SOUPS 474863 WITH SCORE 475828.066
AT ITER 50 NEW BEST:: SOT 3275250 SOS 964971 HAS SOPS 964971 HAS SOUS 474840 HAS SOUPS 474840 WITH SCORE 475804.971
AT ITER 79 NEW BEST:: SOT 3274868 SOS 964978 HAS SOPS 964978 HAS SOUS 474715 HAS SOUPS 474715 WITH SCORE 475679.978
AT ITER 89 NEW BEST:: SOT 3274691 SOS 966984 HAS SOPS 966984 HAS SOUS 474656 HAS SOUPS 474656 WITH SCORE 475622.984
AT ITER 103 NEW BEST:: SOT 3274678 SOS 966932 HAS SOPS 966932 HAS SOUS 474656 HAS SOUPS 474656 WITH SCORE 475622.932
AT ITER 127 NEW BEST:: SOT 3274332 SOS 996971 HAS SOPS 996971 HAS SOUS 474244 HAS SOUPS 474244 WITH SCORE 475240.971
AT ITER 131 NEW BEST:: SOT 3273780 SOS 996741 HAS SOPS 996741 HAS SOUS 474013 HAS SOUPS 474013 WITH SCORE 475009.741
AT ITER 132 NEW BEST:: SOT 3273694 SOS 996655 HAS SOPS 996655 HAS SOUS 474010 HAS SOUPS 474010 WITH SCORE 475006.655
AT ITER 137 NEW BEST:: SOT 3273499 SOS 996460 HAS SOPS 996460 HAS SOUS 473815 HAS SOUPS 473815 WITH SCORE 474811.46
AT ITER 142 NEW BEST:: SOT 3273746 SOS 996507 HAS SOPS 996507 HAS SOUS 473658 HAS SOUPS 473658 WITH SCORE 474654.507
AT ITER 147 NEW BEST:: SOT 3273585 SOS 997500 HAS SOPS 997500 HAS SOUS 473581 HAS SOUPS 473581 WITH SCORE 474578.5
AT ITER 153 NEW BEST:: SOT 3273539 SOS 997408 HAS SOPS 997408 HAS SOUS 473298 HAS SOUPS 473298 WITH SCORE 474295.408
AT ITER 155 NEW BEST:: SOT 3270387 SOS 998744 HAS SOPS 998744 HAS SOUS 470883 HAS SOUPS 470883 WITH SCORE 471881.744
AT ITER 174 NEW BEST:: SOT 3270475 SOS 999116 HAS SOPS 999116 HAS SOUS 470792 HAS SOUPS 470792 WITH SCORE 471791.116
AT ITER 202 NEW BEST:: SOT 3270600 SOS 1001571 HAS SOPS 1001571 HAS SOUS 470780 HAS SOUPS 470780 WITH SCORE 471781.571
AT ITER 221 NEW BEST:: SOT 3270464 SOS 1001504 HAS SOPS 1001504 HAS SOUS 470644 HAS SOUPS 470644 WITH SCORE 471645.504
AT ITER 222 NEW BEST:: SOT 3270424 SOS 1001532 HAS SOPS 1001532 HAS SOUS 470604 HAS SOUPS 470604 WITH SCORE 471605.532
AT ITER 223 NEW BEST:: SOT 3270535 SOS 1001754 HAS SOPS 1001754 HAS SOUS 470502 HAS SOUPS 470502 WITH SCORE 471503.754
AT ITER 232 NEW BEST:: SOT 3270230 SOS 1001449 HAS SOPS 1001449 HAS SOUS 439015 HAS SOUPS 439015 WITH SCORE 440016.449
AT ITER 233 NEW BEST:: SOT 3270096 SOS 1001555 HAS SOPS 1001555 HAS SOUS 438900 HAS SOUPS 438900 WITH SCORE 439901.555
AT ITER 236 NEW BEST:: SOT 3270134 SOS 1001631 HAS SOPS 1001631 HAS SOUS 438776 HAS SOUPS 438776 WITH SCORE 439777.631
AT ITER 240 NEW BEST:: SOT 3269910 SOS 1001405 HAS SOPS 1001405 HAS SOUS 438550 HAS SOUPS 438550 WITH SCORE 439551.405
AT ITER 247 NEW BEST:: SOT 3269793 SOS 1001288 HAS SOPS 1001288 HAS SOUS 438461 HAS SOUPS 438461 WITH SCORE 439462.288
AT ITER 256 NEW BEST:: SOT 3269758 SOS 1001822 HAS SOPS 1001822 HAS SOUS 438426 HAS SOUPS 438426 WITH SCORE 439427.822
AT ITER 261 NEW BEST:: SOT 3269758 SOS 1001821 HAS SOPS 1001821 HAS SOUS 438425 HAS SOUPS 438425 WITH SCORE 439426.821
AT ITER 271 NEW BEST:: SOT 3269758 SOS 1001604 HAS SOPS 1001604 HAS SOUS 438367 HAS SOUPS 438367 WITH SCORE 439368.604
AT ITER 275 NEW BEST:: SOT 3269758 SOS 1001604 HAS SOPS 1001604 HAS SOUS 438366 HAS SOUPS 438366 WITH SCORE 439367.604
AT ITER 276 NEW BEST:: SOT 3269843 SOS 1001774 HAS SOPS 1001774 HAS SOUS 438291 HAS SOUPS 438291 WITH SCORE 439292.774
AT ITER 287 NEW BEST:: SOT 3269737 SOS 1001562 HAS SOPS 1001562 HAS SOUS 438079 HAS SOUPS 438079 WITH SCORE 439080.562
AT ITER 293 NEW BEST:: SOT 3269780 SOS 1002563 HAS SOPS 1002563 HAS SOUS 437808 HAS SOUPS 437808 WITH SCORE 438810.563
AT ITER 295 NEW BEST:: SOT 3269776 SOS 1002555 HAS SOPS 1002555 HAS SOUS 437800 HAS SOUPS 437800 WITH SCORE 438802.555
AT ITER 296 NEW BEST:: SOT 3269668 SOS 1002465 HAS SOPS 1002465 HAS SOUS 437516 HAS SOUPS 437516 WITH SCORE 438518.465
AT ITER 319 NEW BEST:: SOT 3269151 SOS 1002511 HAS SOPS 1002511 HAS SOUS 437293 HAS SOUPS 437293 WITH SCORE 438295.511
AT ITER 342 NEW BEST:: SOT 3269151 SOS 1002741 HAS SOPS 1002741 HAS SOUS 437258 HAS SOUPS 437258 WITH SCORE 438260.741
AT ITER 343 NEW BEST:: SOT 3269151 SOS 1002660 HAS SOPS 1002660 HAS SOUS 437177 HAS SOUPS 437177 WITH SCORE 438179.66
AT ITER 344 NEW BEST:: SOT 3269151 SOS 1002578 HAS SOPS 1002578 HAS SOUS 437121 HAS SOUPS 437121 WITH SCORE 438123.578
AT ITER 354 NEW BEST:: SOT 3268934 SOS 1002414 HAS SOPS 1002414 HAS SOUS 436904 HAS SOUPS 436904 WITH SCORE 437906.414
AT ITER 360 NEW BEST:: SOT 3268934 SOS 1002611 HAS SOPS 1002611 HAS SOUS 436870 HAS SOUPS 436870 WITH SCORE 437872.611
AT ITER 399 NEW BEST:: SOT 3268885 SOS 1003257 HAS SOPS 1003257 HAS SOUS 436821 HAS SOUPS 436821 WITH SCORE 437824.257
AT ITER 402 NEW BEST:: SOT 3269001 SOS 1003141 HAS SOPS 1003141 HAS SOUS 436821 HAS SOUPS 436821 WITH SCORE 437824.141
AT ITER 413 NEW BEST:: SOT 3268950 SOS 1003039 HAS SOPS 1003039 HAS SOUS 436719 HAS SOUPS 436719 WITH SCORE 437722.039
AT ITER 428 NEW BEST:: SOT 3268950 SOS 1003134 HAS SOPS 1003134 HAS SOUS 436624 HAS SOUPS 436624 WITH SCORE 437627.134
AT ITER 460 NEW BEST:: SOT 3268801 SOS 1002985 HAS SOPS 1002985 HAS SOUS 436475 HAS SOUPS 436475 WITH SCORE 437477.985
AT ITER 473 NEW BEST:: SOT 3268801 SOS 1002985 HAS SOPS 1002985 HAS SOUS 436394 HAS SOUPS 436394 WITH SCORE 437396.985
AT ITER 474 NEW BEST:: SOT 3266825 SOS 1002665 HAS SOPS 1002665 HAS SOUS 434645 HAS SOUPS 434645 WITH SCORE 435647.665
AT ITER 483 NEW BEST:: SOT 3266857 SOS 1002729 HAS SOPS 1002729 HAS SOUS 434594 HAS SOUPS 434594 WITH SCORE 435596.729
AT ITER 506 NEW BEST:: SOT 3266714 SOS 1002968 HAS SOPS 1002968 HAS SOUS 434274 HAS SOUPS 434274 WITH SCORE 435276.968
AT ITER 510 NEW BEST:: SOT 3266626 SOS 1002644 HAS SOPS 1002644 HAS SOUS 434098 HAS SOUPS 434098 WITH SCORE 435100.644
AT ITER 521 NEW BEST:: SOT 3266633 SOS 1002792 HAS SOPS 1002792 HAS SOUS 433992 HAS SOUPS 433992 WITH SCORE 434994.792
AT ITER 527 NEW BEST:: SOT 3266948 SOS 1003422 HAS SOPS 1003422 HAS SOUS 433954 HAS SOUPS 433954 WITH SCORE 434957.422
AT ITER 531 NEW BEST:: SOT 3266946 SOS 1003418 HAS SOPS 1003418 HAS SOUS 433895 HAS SOUPS 433895 WITH SCORE 434898.418
AT ITER 545 NEW BEST:: SOT 3266946 SOS 1004949 HAS SOPS 1004949 HAS SOUS 433878 HAS SOUPS 433878 WITH SCORE 434882.949
AT ITER 546 NEW BEST:: SOT 3266879 SOS 1004630 HAS SOPS 1004630 HAS SOUS 433811 HAS SOUPS 433811 WITH SCORE 434815.63
AT ITER 555 NEW BEST:: SOT 3266685 SOS 1005437 HAS SOPS 1005437 HAS SOUS 433378 HAS SOUPS 433378 WITH SCORE 434383.437
AT ITER 556 NEW BEST:: SOT 3266720 SOS 1005253 HAS SOPS 1005253 HAS SOUS 433136 HAS SOUPS 433136 WITH SCORE 434141.253
AT ITER 561 NEW BEST:: SOT 3266507 SOS 1007308 HAS SOPS 1007308 HAS SOUS 432989 HAS SOUPS 432989 WITH SCORE 433996.308
AT ITER 566 NEW BEST:: SOT 3266407 SOS 1007108 HAS SOPS 1007108 HAS SOUS 432789 HAS SOUPS 432789 WITH SCORE 433796.108
AT ITER 595 NEW BEST:: SOT 3266214 SOS 1007447 HAS SOPS 1007447 HAS SOUS 432596 HAS SOUPS 432596 WITH SCORE 433603.447
AT ITER 598 NEW BEST:: SOT 3266178 SOS 1007352 HAS SOPS 1007352 HAS SOUS 432280 HAS SOUPS 432280 WITH SCORE 433287.352
AT ITER 600 NEW BEST:: SOT 3266026 SOS 1007200 HAS SOPS 1007200 HAS SOUS 432280 HAS SOUPS 432280 WITH SCORE 433287.2
AT ITER 625 NEW BEST:: SOT 3265847 SOS 1007098 HAS SOPS 1007098 HAS SOUS 432101 HAS SOUPS 432101 WITH SCORE 433108.098
AT ITER 632 NEW BEST:: SOT 3265824 SOS 1007233 HAS SOPS 1007233 HAS SOUS 432060 HAS SOUPS 432060 WITH SCORE 433067.233
AT ITER 634 NEW BEST:: SOT 3265737 SOS 1008639 HAS SOPS 1008639 HAS SOUS 432019 HAS SOUPS 432019 WITH SCORE 433027.639
AT ITER 656 NEW BEST:: SOT 3265717 SOS 1008062 HAS SOPS 1008062 HAS SOUS 431820 HAS SOUPS 431820 WITH SCORE 432828.062
AT ITER 668 NEW BEST:: SOT 3265491 SOS 1008048 HAS SOPS 1008048 HAS SOUS 431594 HAS SOUPS 431594 WITH SCORE 432602.048
AT ITER 669 NEW BEST:: SOT 3265296 SOS 1007853 HAS SOPS 1007853 HAS SOUS 422762 HAS SOUPS 422762 WITH SCORE 423769.853
AT ITER 670 NEW BEST:: SOT 3264581 SOS 1030207 HAS SOPS 1030207 HAS SOUS 422354 HAS SOUPS 422354 WITH SCORE 423384.207
AT ITER 673 NEW BEST:: SOT 3264581 SOS 1030207 HAS SOPS 1030207 HAS SOUS 422217 HAS SOUPS 422217 WITH SCORE 423247.207
AT ITER 686 NEW BEST:: SOT 3264472 SOS 1029803 HAS SOPS 1029803 HAS SOUS 422049 HAS SOUPS 422049 WITH SCORE 423078.803
AT ITER 689 NEW BEST:: SOT 3264472 SOS 1029667 HAS SOPS 1029667 HAS SOUS 422049 HAS SOUPS 422049 WITH SCORE 423078.667
AT ITER 695 NEW BEST:: SOT 3264545 SOS 1029594 HAS SOPS 1029594 HAS SOUS 422049 HAS SOUPS 422049 WITH SCORE 423078.594
AT ITER 696 NEW BEST:: SOT 3264507 SOS 1030138 HAS SOPS 1030138 HAS SOUS 422035 HAS SOUPS 422035 WITH SCORE 423065.138
AT ITER 709 NEW BEST:: SOT 3264239 SOS 1031344 HAS SOPS 1031344 HAS SOUS 421901 HAS SOUPS 421901 WITH SCORE 422932.344
AT ITER 724 NEW BEST:: SOT 3264239 SOS 1031080 HAS SOPS 1031080 HAS SOUS 421534 HAS SOUPS 421534 WITH SCORE 422565.08
AT ITER 728 NEW BEST:: SOT 3263855 SOS 1030888 HAS SOPS 1030888 HAS SOUS 421150 HAS SOUPS 421150 WITH SCORE 422180.888
AT ITER 735 NEW BEST:: SOT 3263794 SOS 1030844 HAS SOPS 1030844 HAS SOUS 421106 HAS SOUPS 421106 WITH SCORE 422136.844
AT ITER 773 NEW BEST:: SOT 3263742 SOS 1030740 HAS SOPS 1030740 HAS SOUS 420865 HAS SOUPS 420865 WITH SCORE 421895.74
AT ITER 794 NEW BEST:: SOT 3263695 SOS 1030693 HAS SOPS 1030693 HAS SOUS 420864 HAS SOUPS 420864 WITH SCORE 421894.693
AT ITER 806 NEW BEST:: SOT 3263694 SOS 1030691 HAS SOPS 1030691 HAS SOUS 420862 HAS SOUPS 420862 WITH SCORE 421892.691
AT ITER 810 NEW BEST:: SOT 3263659 SOS 1030656 HAS SOPS 1030656 HAS SOUS 420827 HAS SOUPS 420827 WITH SCORE 421857.656
AT ITER 811 NEW BEST:: SOT 3263671 SOS 1030656 HAS SOPS 1030656 HAS SOUS 420823 HAS SOUPS 420823 WITH SCORE 421853.656
AT ITER 815 NEW BEST:: SOT 3263620 SOS 1031202 HAS SOPS 1031202 HAS SOUS 420554 HAS SOUPS 420554 WITH SCORE 421585.202
AT ITER 835 NEW BEST:: SOT 3263471 SOS 1029867 HAS SOPS 1029867 HAS SOUS 420114 HAS SOUPS 420114 WITH SCORE 421143.867
AT ITER 842 NEW BEST:: SOT 3263478 SOS 1030802 HAS SOPS 1030802 HAS SOUS 419821 HAS SOUPS 419821 WITH SCORE 420851.802
AT ITER 849 NEW BEST:: SOT 3263477 SOS 1030800 HAS SOPS 1030800 HAS SOUS 419819 HAS SOUPS 419819 WITH SCORE 420849.8
AT ITER 851 NEW BEST:: SOT 3263477 SOS 1030800 HAS SOPS 1030800 HAS SOUS 419765 HAS SOUPS 419765 WITH SCORE 420795.8
AT ITER 858 NEW BEST:: SOT 3263477 SOS 1030800 HAS SOPS 1030800 HAS SOUS 419754 HAS SOUPS 419754 WITH SCORE 420784.8
AT ITER 860 NEW BEST:: SOT 3263477 SOS 1031072 HAS SOPS 1031072 HAS SOUS 419736 HAS SOUPS 419736 WITH SCORE 420767.072
AT ITER 877 NEW BEST:: SOT 3263432 SOS 1030982 HAS SOPS 1030982 HAS SOUS 419691 HAS SOUPS 419691 WITH SCORE 420721.982
AT ITER 907 NEW BEST:: SOT 3263368 SOS 1031161 HAS SOPS 1031161 HAS SOUS 419627 HAS SOUPS 419627 WITH SCORE 420658.161
AT ITER 920 NEW BEST:: SOT 3263368 SOS 1031161 HAS SOPS 1031161 HAS SOUS 419625 HAS SOUPS 419625 WITH SCORE 420656.161
AT ITER 940 NEW BEST:: SOT 3263070 SOS 1030863 HAS SOPS 1030863 HAS SOUS 416327 HAS SOUPS 416327 WITH SCORE 417357.863
AT ITER 955 NEW BEST:: SOT 3263123 SOS 1030969 HAS SOPS 1030969 HAS SOUS 416247 HAS SOUPS 416247 WITH SCORE 417277.969
AT ITER 963 NEW BEST:: SOT 3263112 SOS 1030947 HAS SOPS 1030947 HAS SOUS 416225 HAS SOUPS 416225 WITH SCORE 417255.947
AT ITER 990 NEW BEST:: SOT 3263062 SOS 1030847 HAS SOPS 1030847 HAS SOUS 416125 HAS SOUPS 416125 WITH SCORE 417155.847
AT ITER 1030 NEW BEST:: SOT 3262766 SOS 1030482 HAS SOPS 1030482 HAS SOUS 415602 HAS SOUPS 415602 WITH SCORE 416632.482
AT ITER 1032 NEW BEST:: SOT 3262546 SOS 1030372 HAS SOPS 1030372 HAS SOUS 415382 HAS SOUPS 415382 WITH SCORE 416412.372
AT ITER 1042 NEW BEST:: SOT 3262428 SOS 1030946 HAS SOPS 1030946 HAS SOUS 415125 HAS SOUPS 415125 WITH SCORE 416155.946
AT ITER 1053 NEW BEST:: SOT 3260492 SOS 1046297 HAS SOPS 1046297 HAS SOUS 412898 HAS SOUPS 412898 WITH SCORE 413944.297
AT ITER 1085 NEW BEST:: SOT 3260170 SOS 1046169 HAS SOPS 1046169 HAS SOUS 412641 HAS SOUPS 412641 WITH SCORE 413687.169
AT ITER 1092 NEW BEST:: SOT 3259886 SOS 1045601 HAS SOPS 1045601 HAS SOUS 412357 HAS SOUPS 412357 WITH SCORE 413402.601
AT ITER 1105 NEW BEST:: SOT 3259886 SOS 1045625 HAS SOPS 1045625 HAS SOUS 412307 HAS SOUPS 412307 WITH SCORE 413352.625
AT ITER 1139 NEW BEST:: SOT 3259650 SOS 1046994 HAS SOPS 1046994 HAS SOUS 412053 HAS SOUPS 412053 WITH SCORE 413099.994
AT ITER 1173 NEW BEST:: SOT 3259584 SOS 1046862 HAS SOPS 1046862 HAS SOUS 411987 HAS SOUPS 411987 WITH SCORE 413033.862
AT ITER 1177 NEW BEST:: SOT 3259584 SOS 1046970 HAS SOPS 1046970 HAS SOUS 411986 HAS SOUPS 411986 WITH SCORE 413032.97
AT ITER 1178 NEW BEST:: SOT 3259484 SOS 1046870 HAS SOPS 1046870 HAS SOUS 411936 HAS SOUPS 411936 WITH SCORE 412982.87
AT ITER 1186 NEW BEST:: SOT 3258925 SOS 1046225 HAS SOPS 1046225 HAS SOUS 411634 HAS SOUPS 411634 WITH SCORE 412680.225
AT ITER 1191 NEW BEST:: SOT 3258777 SOS 1046077 HAS SOPS 1046077 HAS SOUS 411486 HAS SOUPS 411486 WITH SCORE 412532.077
AT ITER 1205 NEW BEST:: SOT 3258719 SOS 1045994 HAS SOPS 1045994 HAS SOUS 411486 HAS SOUPS 411486 WITH SCORE 412531.994
AT ITER 1230 NEW BEST:: SOT 3258719 SOS 1045910 HAS SOPS 1045910 HAS SOUS 411486 HAS SOUPS 411486 WITH SCORE 412531.91
AT ITER 1251 NEW BEST:: SOT 3258707 SOS 1045857 HAS SOPS 1045857 HAS SOUS 411399 HAS SOUPS 411399 WITH SCORE 412444.857
AT ITER 1257 NEW BEST:: SOT 3258707 SOS 1045683 HAS SOPS 1045683 HAS SOUS 411399 HAS SOUPS 411399 WITH SCORE 412444.683
AT ITER 1268 NEW BEST:: SOT 3258707 SOS 1045552 HAS SOPS 1045552 HAS SOUS 411399 HAS SOUPS 411399 WITH SCORE 412444.552
AT ITER 1276 NEW BEST:: SOT 3258707 SOS 1045388 HAS SOPS 1045388 HAS SOUS 411331 HAS SOUPS 411331 WITH SCORE 412376.388
AT ITER 1293 NEW BEST:: SOT 3258772 SOS 1045518 HAS SOPS 1045518 HAS SOUS 411305 HAS SOUPS 411305 WITH SCORE 412350.518
AT ITER 1305 NEW BEST:: SOT 3258768 SOS 1045510 HAS SOPS 1045510 HAS SOUS 411301 HAS SOUPS 411301 WITH SCORE 412346.51
AT ITER 1307 NEW BEST:: SOT 3258913 SOS 1045382 HAS SOPS 1045382 HAS SOUS 411166 HAS SOUPS 411166 WITH SCORE 412211.382
AT ITER 1312 NEW BEST:: SOT 3258913 SOS 1045308 HAS SOPS 1045308 HAS SOUS 411092 HAS SOUPS 411092 WITH SCORE 412137.308
AT ITER 1319 NEW BEST:: SOT 3258913 SOS 1044922 HAS SOPS 1044922 HAS SOUS 411092 HAS SOUPS 411092 WITH SCORE 412136.922
AT ITER 1333 NEW BEST:: SOT 3258733 SOS 1044650 HAS SOPS 1044650 HAS SOUS 410987 HAS SOUPS 410987 WITH SCORE 412031.65
AT ITER 1342 NEW BEST:: SOT 3258575 SOS 1045361 HAS SOPS 1045361 HAS SOUS 410908 HAS SOUPS 410908 WITH SCORE 411953.361
AT ITER 1345 NEW BEST:: SOT 3258429 SOS 1045069 HAS SOPS 1045069 HAS SOUS 410540 HAS SOUPS 410540 WITH SCORE 411585.069
AT ITER 1376 NEW BEST:: SOT 3258314 SOS 1044839 HAS SOPS 1044839 HAS SOUS 410310 HAS SOUPS 410310 WITH SCORE 411354.839
AT ITER 1402 NEW BEST:: SOT 3258322 SOS 1046705 HAS SOPS 1046705 HAS SOUS 410056 HAS SOUPS 410056 WITH SCORE 411102.705
AT ITER 1424 NEW BEST:: SOT 3258264 SOS 1048025 HAS SOPS 1048025 HAS SOUS 409923 HAS SOUPS 409923 WITH SCORE 410971.025
AT ITER 1425 NEW BEST:: SOT 3258219 SOS 1047935 HAS SOPS 1047935 HAS SOUS 409833 HAS SOUPS 409833 WITH SCORE 410880.935
AT ITER 1429 NEW BEST:: SOT 3258219 SOS 1047878 HAS SOPS 1047878 HAS SOUS 409833 HAS SOUPS 409833 WITH SCORE 410880.878
AT ITER 1431 NEW BEST:: SOT 3258022 SOS 1047484 HAS SOPS 1047484 HAS SOUS 409439 HAS SOUPS 409439 WITH SCORE 410486.484
AT ITER 1437 NEW BEST:: SOT 3258022 SOS 1047555 HAS SOPS 1047555 HAS SOUS 409299 HAS SOUPS 409299 WITH SCORE 410346.555
AT ITER 1438 NEW BEST:: SOT 3257994 SOS 1045479 HAS SOPS 1045479 HAS SOUS 409297 HAS SOUPS 409297 WITH SCORE 410342.479
AT ITER 1442 NEW BEST:: SOT 3257931 SOS 1045416 HAS SOPS 1045416 HAS SOUS 409297 HAS SOUPS 409297 WITH SCORE 410342.416
AT ITER 1447 NEW BEST:: SOT 3257931 SOS 1045366 HAS SOPS 1045366 HAS SOUS 409297 HAS SOUPS 409297 WITH SCORE 410342.366
AT ITER 1466 NEW BEST:: SOT 3257748 SOS 1045183 HAS SOPS 1045183 HAS SOUS 409114 HAS SOUPS 409114 WITH SCORE 410159.183
AT ITER 1473 NEW BEST:: SOT 3257918 SOS 1045107 HAS SOPS 1045107 HAS SOUS 409036 HAS SOUPS 409036 WITH SCORE 410081.107
AT ITER 1482 NEW BEST:: SOT 3257918 SOS 1045107 HAS SOPS 1045107 HAS SOUS 409035 HAS SOUPS 409035 WITH SCORE 410080.107
AT ITER 1521 NEW BEST:: SOT 3257917 SOS 1045105 HAS SOPS 1045105 HAS SOUS 409033 HAS SOUPS 409033 WITH SCORE 410078.105
AT ITER 1523 NEW BEST:: SOT 3257917 SOS 1045079 HAS SOPS 1045079 HAS SOUS 409007 HAS SOUPS 409007 WITH SCORE 410052.079
AT ITER 1526 NEW BEST:: SOT 3257791 SOS 1044827 HAS SOPS 1044827 HAS SOUS 408755 HAS SOUPS 408755 WITH SCORE 409799.827
AT ITER 1539 NEW BEST:: SOT 3257789 SOS 1044823 HAS SOPS 1044823 HAS SOUS 408751 HAS SOUPS 408751 WITH SCORE 409795.823
AT ITER 1561 NEW BEST:: SOT 3257697 SOS 1044823 HAS SOPS 1044823 HAS SOUS 408705 HAS SOUPS 408705 WITH SCORE 409749.823
AT ITER 1562 NEW BEST:: SOT 3257605 SOS 1044731 HAS SOPS 1044731 HAS SOUS 408613 HAS SOUPS 408613 WITH SCORE 409657.731
AT ITER 1565 NEW BEST:: SOT 3257605 SOS 1045044 HAS SOPS 1045044 HAS SOUS 408371 HAS SOUPS 408371 WITH SCORE 409416.044
AT ITER 1582 NEW BEST:: SOT 3257303 SOS 1044950 HAS SOPS 1044950 HAS SOUS 408069 HAS SOUPS 408069 WITH SCORE 409113.95
AT ITER 1585 NEW BEST:: SOT 3256762 SOS 1058625 HAS SOPS 1058625 HAS SOUS 407761 HAS SOUPS 407761 WITH SCORE 408819.625
AT ITER 1588 NEW BEST:: SOT 3256499 SOS 1058984 HAS SOPS 1058984 HAS SOUS 407647 HAS SOUPS 407647 WITH SCORE 408705.984
AT ITER 1603 NEW BEST:: SOT 3256582 SOS 1059150 HAS SOPS 1059150 HAS SOUS 407591 HAS SOUPS 407591 WITH SCORE 408650.15
AT ITER 1613 NEW BEST:: SOT 3256529 SOS 1059203 HAS SOPS 1059203 HAS SOUS 407538 HAS SOUPS 407538 WITH SCORE 408597.203
AT ITER 1621 NEW BEST:: SOT 3256459 SOS 1059297 HAS SOPS 1059297 HAS SOUS 407515 HAS SOUPS 407515 WITH SCORE 408574.297
AT ITER 1625 NEW BEST:: SOT 3256459 SOS 1059297 HAS SOPS 1059297 HAS SOUS 407383 HAS SOUPS 407383 WITH SCORE 408442.297
AT ITER 1626 NEW BEST:: SOT 3256439 SOS 1059177 HAS SOPS 1059177 HAS SOUS 407343 HAS SOUPS 407343 WITH SCORE 408402.177
AT ITER 1634 NEW BEST:: SOT 3256439 SOS 1059219 HAS SOPS 1059219 HAS SOUS 407337 HAS SOUPS 407337 WITH SCORE 408396.219
AT ITER 1651 NEW BEST:: SOT 3256329 SOS 1060181 HAS SOPS 1060181 HAS SOUS 407176 HAS SOUPS 407176 WITH SCORE 408236.181
AT ITER 1661 NEW BEST:: SOT 3256236 SOS 1060112 HAS SOPS 1060112 HAS SOUS 406990 HAS SOUPS 406990 WITH SCORE 408050.112
AT ITER 1665 NEW BEST:: SOT 3256335 SOS 1059791 HAS SOPS 1059791 HAS SOUS 406669 HAS SOUPS 406669 WITH SCORE 407728.791
AT ITER 1676 NEW BEST:: SOT 3256292 SOS 1059705 HAS SOPS 1059705 HAS SOUS 406626 HAS SOUPS 406626 WITH SCORE 407685.705
AT ITER 1678 NEW BEST:: SOT 3256278 SOS 1059677 HAS SOPS 1059677 HAS SOUS 406598 HAS SOUPS 406598 WITH SCORE 407657.677
AT ITER 1703 NEW BEST:: SOT 3256223 SOS 1059657 HAS SOPS 1059657 HAS SOUS 406548 HAS SOUPS 406548 WITH SCORE 407607.657
AT ITER 1716 NEW BEST:: SOT 3256199 SOS 1059635 HAS SOPS 1059635 HAS SOUS 406500 HAS SOUPS 406500 WITH SCORE 407559.635
AT ITER 1739 NEW BEST:: SOT 3256151 SOS 1059539 HAS SOPS 1059539 HAS SOUS 406452 HAS SOUPS 406452 WITH SCORE 407511.539
AT ITER 1747 NEW BEST:: SOT 3256151 SOS 1059392 HAS SOPS 1059392 HAS SOUS 406305 HAS SOUPS 406305 WITH SCORE 407364.392
AT ITER 1761 NEW BEST:: SOT 3255995 SOS 1059080 HAS SOPS 1059080 HAS SOUS 393142 HAS SOUPS 393142 WITH SCORE 394201.08
AT ITER 1781 NEW BEST:: SOT 3254994 SOS 1058846 HAS SOPS 1058846 HAS SOUS 392361 HAS SOUPS 392361 WITH SCORE 393419.846
AT ITER 1782 NEW BEST:: SOT 3254994 SOS 1058846 HAS SOPS 1058846 HAS SOUS 392349 HAS SOUPS 392349 WITH SCORE 393407.846
AT ITER 1800 NEW BEST:: SOT 3254851 SOS 1058560 HAS SOPS 1058560 HAS SOUS 392092 HAS SOUPS 392092 WITH SCORE 393150.56
AT ITER 1807 NEW BEST:: SOT 3255200 SOS 1059090 HAS SOPS 1059090 HAS SOUS 392016 HAS SOUPS 392016 WITH SCORE 393075.09
AT ITER 1809 NEW BEST:: SOT 3255165 SOS 1059055 HAS SOPS 1059055 HAS SOUS 391981 HAS SOUPS 391981 WITH SCORE 393040.055
AT ITER 1818 NEW BEST:: SOT 3255168 SOS 1059085 HAS SOPS 1059085 HAS SOUS 391816 HAS SOUPS 391816 WITH SCORE 392875.085
AT ITER 1831 NEW BEST:: SOT 3255168 SOS 1059208 HAS SOPS 1059208 HAS SOUS 391684 HAS SOUPS 391684 WITH SCORE 392743.208
AT ITER 1847 NEW BEST:: SOT 3255168 SOS 1058907 HAS SOPS 1058907 HAS SOUS 391684 HAS SOUPS 391684 WITH SCORE 392742.907
AT ITER 1849 NEW BEST:: SOT 3255001 SOS 1058773 HAS SOPS 1058773 HAS SOUS 391679 HAS SOUPS 391679 WITH SCORE 392737.773
AT ITER 1856 NEW BEST:: SOT 3255001 SOS 1058745 HAS SOPS 1058745 HAS SOUS 391651 HAS SOUPS 391651 WITH SCORE 392709.745
AT ITER 1857 NEW BEST:: SOT 3254891 SOS 1058565 HAS SOPS 1058565 HAS SOUS 391610 HAS SOUPS 391610 WITH SCORE 392668.565
AT ITER 1876 NEW BEST:: SOT 3254705 SOS 1058472 HAS SOPS 1058472 HAS SOUS 391424 HAS SOUPS 391424 WITH SCORE 392482.472
AT ITER 1887 NEW BEST:: SOT 3254697 SOS 1058456 HAS SOPS 1058456 HAS SOUS 391408 HAS SOUPS 391408 WITH SCORE 392466.456
AT ITER 1896 NEW BEST:: SOT 3254697 SOS 1058456 HAS SOPS 1058456 HAS SOUS 391320 HAS SOUPS 391320 WITH SCORE 392378.456
AT ITER 1899 NEW BEST:: SOT 3254725 SOS 1058512 HAS SOPS 1058512 HAS SOUS 391125 HAS SOUPS 391125 WITH SCORE 392183.512
AT ITER 1922 NEW BEST:: SOT 3254786 SOS 1063524 HAS SOPS 1063524 HAS SOUS 391067 HAS SOUPS 391067 WITH SCORE 392130.524
AT ITER 1938 NEW BEST:: SOT 3254786 SOS 1063519 HAS SOPS 1063519 HAS SOUS 391062 HAS SOUPS 391062 WITH SCORE 392125.519
AT ITER 1943 NEW BEST:: SOT 3254433 SOS 1063374 HAS SOPS 1063374 HAS SOUS 390707 HAS SOUPS 390707 WITH SCORE 391770.374
AT ITER 1957 NEW BEST:: SOT 3254433 SOS 1063974 HAS SOPS 1063974 HAS SOUS 390557 HAS SOUPS 390557 WITH SCORE 391620.974
AT ITER 1963 NEW BEST:: SOT 3254336 SOS 1063780 HAS SOPS 1063780 HAS SOUS 390210 HAS SOUPS 390210 WITH SCORE 391273.78
AT ITER 1984 NEW BEST:: SOT 3254356 SOS 1063755 HAS SOPS 1063755 HAS SOUS 390185 HAS SOUPS 390185 WITH SCORE 391248.755
AT ITER 1992 NEW BEST:: SOT 3254356 SOS 1065528 HAS SOPS 1065528 HAS SOUS 390176 HAS SOUPS 390176 WITH SCORE 391241.528
AT ITER 1997 NEW BEST:: SOT 3254243 SOS 1065652 HAS SOPS 1065652 HAS SOUS 389926 HAS SOUPS 389926 WITH SCORE 390991.652
AT ITER 2008 NEW BEST:: SOT 3254168 SOS 1065857 HAS SOPS 1065857 HAS SOUS 389922 HAS SOUPS 389922 WITH SCORE 390987.857
AT ITER 2012 NEW BEST:: SOT 3254193 SOS 1065907 HAS SOPS 1065907 HAS SOUS 389886 HAS SOUPS 389886 WITH SCORE 390951.907
AT ITER 2037 NEW BEST:: SOT 3254193 SOS 1065897 HAS SOPS 1065897 HAS SOUS 389886 HAS SOUPS 389886 WITH SCORE 390951.897
AT ITER 2048 NEW BEST:: SOT 3254149 SOS 1065914 HAS SOPS 1065914 HAS SOUS 389737 HAS SOUPS 389737 WITH SCORE 390802.914
AT ITER 2052 NEW BEST:: SOT 3254341 SOS 1066298 HAS SOPS 1066298 HAS SOUS 389703 HAS SOUPS 389703 WITH SCORE 390769.298
AT ITER 2078 NEW BEST:: SOT 3254380 SOS 1066376 HAS SOPS 1066376 HAS SOUS 389678 HAS SOUPS 389678 WITH SCORE 390744.376
AT ITER 2083 NEW BEST:: SOT 3254258 SOS 1066362 HAS SOPS 1066362 HAS SOUS 389473 HAS SOUPS 389473 WITH SCORE 390539.362
AT ITER 2092 NEW BEST:: SOT 3254171 SOS 1066188 HAS SOPS 1066188 HAS SOUS 389299 HAS SOUPS 389299 WITH SCORE 390365.188
AT ITER 2104 NEW BEST:: SOT 3253899 SOS 1065916 HAS SOPS 1065916 HAS SOUS 389007 HAS SOUPS 389007 WITH SCORE 390072.916
AT ITER 2109 NEW BEST:: SOT 3253902 SOS 1065956 HAS SOPS 1065956 HAS SOUS 388979 HAS SOUPS 388979 WITH SCORE 390044.956
AT ITER 2113 NEW BEST:: SOT 3253865 SOS 1065918 HAS SOPS 1065918 HAS SOUS 388941 HAS SOUPS 388941 WITH SCORE 390006.918
AT ITER 2122 NEW BEST:: SOT 3253851 SOS 1065918 HAS SOPS 1065918 HAS SOUS 388899 HAS SOUPS 388899 WITH SCORE 389964.918
AT ITER 2127 NEW BEST:: SOT 3253891 SOS 1065727 HAS SOPS 1065727 HAS SOUS 388708 HAS SOUPS 388708 WITH SCORE 389773.727
AT ITER 2129 NEW BEST:: SOT 3253930 SOS 1065640 HAS SOPS 1065640 HAS SOUS 388621 HAS SOUPS 388621 WITH SCORE 389686.64
AT ITER 2132 NEW BEST:: SOT 3253691 SOS 1065730 HAS SOPS 1065730 HAS SOUS 388294 HAS SOUPS 388294 WITH SCORE 389359.73
AT ITER 2138 NEW BEST:: SOT 3253937 SOS 1069703 HAS SOPS 1069703 HAS SOUS 388147 HAS SOUPS 388147 WITH SCORE 389216.703
AT ITER 2141 NEW BEST:: SOT 3253936 SOS 1069701 HAS SOPS 1069701 HAS SOUS 388145 HAS SOUPS 388145 WITH SCORE 389214.701
AT ITER 2146 NEW BEST:: SOT 3253936 SOS 1069701 HAS SOPS 1069701 HAS SOUS 388124 HAS SOUPS 388124 WITH SCORE 389193.701
AT ITER 2151 NEW BEST:: SOT 3253665 SOS 1070296 HAS SOPS 1070296 HAS SOUS 388042 HAS SOUPS 388042 WITH SCORE 389112.296
AT ITER 2172 NEW BEST:: SOT 3252092 SOS 1070762 HAS SOPS 1070762 HAS SOUS 386623 HAS SOUPS 386623 WITH SCORE 387693.762
AT ITER 2174 NEW BEST:: SOT 3251981 SOS 1070612 HAS SOPS 1070612 HAS SOUS 386495 HAS SOUPS 386495 WITH SCORE 387565.612
AT ITER 2179 NEW BEST:: SOT 3252384 SOS 1069922 HAS SOPS 1069922 HAS SOUS 386464 HAS SOUPS 386464 WITH SCORE 387533.922
AT ITER 2187 NEW BEST:: SOT 3252321 SOS 1069859 HAS SOPS 1069859 HAS SOUS 386401 HAS SOUPS 386401 WITH SCORE 387470.859
AT ITER 2196 NEW BEST:: SOT 3252321 SOS 1070124 HAS SOPS 1070124 HAS SOUS 386274 HAS SOUPS 386274 WITH SCORE 387344.124
AT ITER 2251 NEW BEST:: SOT 3252351 SOS 1070184 HAS SOPS 1070184 HAS SOUS 386241 HAS SOUPS 386241 WITH SCORE 387311.184
AT ITER 2257 NEW BEST:: SOT 3252034 SOS 1068921 HAS SOPS 1068921 HAS SOUS 385803 HAS SOUPS 385803 WITH SCORE 386871.921
AT ITER 2281 NEW BEST:: SOT 3251161 SOS 1067939 HAS SOPS 1067939 HAS SOUS 384670 HAS SOUPS 384670 WITH SCORE 385737.939
AT ITER 2289 NEW BEST:: SOT 3251009 SOS 1067533 HAS SOPS 1067533 HAS SOUS 384654 HAS SOUPS 384654 WITH SCORE 385721.533
AT ITER 2299 NEW BEST:: SOT 3250916 SOS 1067347 HAS SOPS 1067347 HAS SOUS 384609 HAS SOUPS 384609 WITH SCORE 385676.347
AT ITER 2324 NEW BEST:: SOT 3250916 SOS 1067293 HAS SOPS 1067293 HAS SOUS 384364 HAS SOUPS 384364 WITH SCORE 385431.293
AT ITER 2357 NEW BEST:: SOT 3250927 SOS 1067120 HAS SOPS 1067120 HAS SOUS 384191 HAS SOUPS 384191 WITH SCORE 385258.12
AT ITER 2359 NEW BEST:: SOT 3250927 SOS 1066267 HAS SOPS 1066267 HAS SOUS 384191 HAS SOUPS 384191 WITH SCORE 385257.267
AT ITER 2371 NEW BEST:: SOT 3250946 SOS 1064593 HAS SOPS 1064593 HAS SOUS 383996 HAS SOUPS 383996 WITH SCORE 385060.593
AT ITER 2393 NEW BEST:: SOT 3250946 SOS 1064593 HAS SOPS 1064593 HAS SOUS 383980 HAS SOUPS 383980 WITH SCORE 385044.593
AT ITER 2395 NEW BEST:: SOT 3251021 SOS 1064523 HAS SOPS 1064523 HAS SOUS 383959 HAS SOUPS 383959 WITH SCORE 385023.523
AT ITER 2409 NEW BEST:: SOT 3250949 SOS 1064332 HAS SOPS 1064332 HAS SOUS 383840 HAS SOUPS 383840 WITH SCORE 384904.332
AT ITER 2423 NEW BEST:: SOT 3251042 SOS 1064754 HAS SOPS 1064754 HAS SOUS 377974 HAS SOUPS 377974 WITH SCORE 379038.754
AT ITER 2436 NEW BEST:: SOT 3249882 SOS 1069360 HAS SOPS 1069360 HAS SOUS 377516 HAS SOUPS 377516 WITH SCORE 378585.36
AT ITER 2437 NEW BEST:: SOT 3249842 SOS 1069280 HAS SOPS 1069280 HAS SOUS 377436 HAS SOUPS 377436 WITH SCORE 378505.28
AT ITER 2462 NEW BEST:: SOT 3249842 SOS 1069280 HAS SOPS 1069280 HAS SOUS 377390 HAS SOUPS 377390 WITH SCORE 378459.28
AT ITER 2467 NEW BEST:: SOT 3249814 SOS 1069224 HAS SOPS 1069224 HAS SOUS 377362 HAS SOUPS 377362 WITH SCORE 378431.224
AT ITER 2493 NEW BEST:: SOT 3248985 SOS 1094079 HAS SOPS 1094079 HAS SOUS 376791 HAS SOUPS 376791 WITH SCORE 377885.079
AT ITER 2500 NEW BEST:: SOT 3248984 SOS 1094695 HAS SOPS 1094695 HAS SOUS 376790 HAS SOUPS 376790 WITH SCORE 377884.695
AT ITER 2504 NEW BEST:: SOT 3248984 SOS 1094695 HAS SOPS 1094695 HAS SOUS 376497 HAS SOUPS 376497 WITH SCORE 377591.695
AT ITER 2506 NEW BEST:: SOT 3248984 SOS 1094695 HAS SOPS 1094695 HAS SOUS 376492 HAS SOUPS 376492 WITH SCORE 377586.695
AT ITER 2521 NEW BEST:: SOT 3248984 SOS 1094744 HAS SOPS 1094744 HAS SOUS 376456 HAS SOUPS 376456 WITH SCORE 377550.744
AT ITER 2522 NEW BEST:: SOT 3248984 SOS 1094694 HAS SOPS 1094694 HAS SOUS 376356 HAS SOUPS 376356 WITH SCORE 377450.694
AT ITER 2524 NEW BEST:: SOT 3248315 SOS 1095236 HAS SOPS 1095236 HAS SOUS 375949 HAS SOUPS 375949 WITH SCORE 377044.236
AT ITER 2526 NEW BEST:: SOT 3248315 SOS 1095236 HAS SOPS 1095236 HAS SOUS 375794 HAS SOUPS 375794 WITH SCORE 376889.236
AT ITER 2531 NEW BEST:: SOT 3248273 SOS 1095152 HAS SOPS 1095152 HAS SOUS 375710 HAS SOUPS 375710 WITH SCORE 376805.152
AT ITER 2533 NEW BEST:: SOT 3248273 SOS 1095308 HAS SOPS 1095308 HAS SOUS 375528 HAS SOUPS 375528 WITH SCORE 376623.308
AT ITER 2539 NEW BEST:: SOT 3247939 SOS 1094742 HAS SOPS 1094742 HAS SOUS 372740 HAS SOUPS 372740 WITH SCORE 373834.742
AT ITER 2574 NEW BEST:: SOT 3247939 SOS 1094991 HAS SOPS 1094991 HAS SOUS 372690 HAS SOUPS 372690 WITH SCORE 373784.991
AT ITER 2582 NEW BEST:: SOT 3247938 SOS 1094989 HAS SOPS 1094989 HAS SOUS 372688 HAS SOUPS 372688 WITH SCORE 373782.989
AT ITER 2591 NEW BEST:: SOT 3247937 SOS 1094987 HAS SOPS 1094987 HAS SOUS 372686 HAS SOUPS 372686 WITH SCORE 373780.987
AT ITER 2617 NEW BEST:: SOT 3247937 SOS 1095165 HAS SOPS 1095165 HAS SOUS 371974 HAS SOUPS 371974 WITH SCORE 373069.165
AT ITER 2619 NEW BEST:: SOT 3247937 SOS 1095127 HAS SOPS 1095127 HAS SOUS 371936 HAS SOUPS 371936 WITH SCORE 373031.127
AT ITER 2622 NEW BEST:: SOT 3248013 SOS 1095279 HAS SOPS 1095279 HAS SOUS 371877 HAS SOUPS 371877 WITH SCORE 372972.279
AT ITER 2629 NEW BEST:: SOT 3248026 SOS 1095194 HAS SOPS 1095194 HAS SOUS 371779 HAS SOUPS 371779 WITH SCORE 372874.194
AT ITER 2631 NEW BEST:: SOT 3247994 SOS 1095130 HAS SOPS 1095130 HAS SOUS 371715 HAS SOUPS 371715 WITH SCORE 372810.13
AT ITER 2643 NEW BEST:: SOT 3247846 SOS 1095448 HAS SOPS 1095448 HAS SOUS 371568 HAS SOUPS 371568 WITH SCORE 372663.448
AT ITER 2644 NEW BEST:: SOT 3247593 SOS 1094942 HAS SOPS 1094942 HAS SOUS 371103 HAS SOUPS 371103 WITH SCORE 372197.942
AT ITER 2648 NEW BEST:: SOT 3247169 SOS 1095102 HAS SOPS 1095102 HAS SOUS 370964 HAS SOUPS 370964 WITH SCORE 372059.102
AT ITER 2660 NEW BEST:: SOT 3247130 SOS 1095024 HAS SOPS 1095024 HAS SOUS 370886 HAS SOUPS 370886 WITH SCORE 371981.024
AT ITER 2674 NEW BEST:: SOT 3247128 SOS 1095020 HAS SOPS 1095020 HAS SOUS 370886 HAS SOUPS 370886 WITH SCORE 371981.02
AT ITER 2711 NEW BEST:: SOT 3247094 SOS 1094952 HAS SOPS 1094952 HAS SOUS 370818 HAS SOUPS 370818 WITH SCORE 371912.952
AT ITER 2733 NEW BEST:: SOT 3247094 SOS 1094952 HAS SOPS 1094952 HAS SOUS 370816 HAS SOUPS 370816 WITH SCORE 371910.952
AT ITER 2734 NEW BEST:: SOT 3247104 SOS 1094652 HAS SOPS 1094652 HAS SOUS 370772 HAS SOUPS 370772 WITH SCORE 371866.652
AT ITER 2745 NEW BEST:: SOT 3246774 SOS 1093975 HAS SOPS 1093975 HAS SOUS 370461 HAS SOUPS 370461 WITH SCORE 371554.975
AT ITER 2747 NEW BEST:: SOT 3246738 SOS 1093996 HAS SOPS 1093996 HAS SOUS 370439 HAS SOUPS 370439 WITH SCORE 371532.996
AT ITER 2752 NEW BEST:: SOT 3246720 SOS 1093877 HAS SOPS 1093877 HAS SOUS 370347 HAS SOUPS 370347 WITH SCORE 371440.877
AT ITER 2771 NEW BEST:: SOT 3246713 SOS 1092978 HAS SOPS 1092978 HAS SOUS 370333 HAS SOUPS 370333 WITH SCORE 371425.978
AT ITER 2781 NEW BEST:: SOT 3246698 SOS 1092948 HAS SOPS 1092948 HAS SOUS 370271 HAS SOUPS 370271 WITH SCORE 371363.948
AT ITER 2788 NEW BEST:: SOT 3246698 SOS 1092899 HAS SOPS 1092899 HAS SOUS 370241 HAS SOUPS 370241 WITH SCORE 371333.899
AT ITER 2827 NEW BEST:: SOT 3246684 SOS 1092871 HAS SOPS 1092871 HAS SOUS 370213 HAS SOUPS 370213 WITH SCORE 371305.871
AT ITER 2839 NEW BEST:: SOT 3246555 SOS 1092742 HAS SOPS 1092742 HAS SOUS 370084 HAS SOUPS 370084 WITH SCORE 371176.742
AT ITER 2858 NEW BEST:: SOT 3246010 SOS 1093122 HAS SOPS 1093122 HAS SOUS 369329 HAS SOUPS 369329 WITH SCORE 370422.122
AT ITER 2891 NEW BEST:: SOT 3246010 SOS 1093122 HAS SOPS 1093122 HAS SOUS 369328 HAS SOUPS 369328 WITH SCORE 370421.122
AT ITER 2892 NEW BEST:: SOT 3246001 SOS 1093104 HAS SOPS 1093104 HAS SOUS 369319 HAS SOUPS 369319 WITH SCORE 370412.104
AT ITER 2908 NEW BEST:: SOT 3245776 SOS 1092914 HAS SOPS 1092914 HAS SOUS 369029 HAS SOUPS 369029 WITH SCORE 370121.914
AT ITER 2918 NEW BEST:: SOT 3245862 SOS 1095238 HAS SOPS 1095238 HAS SOUS 368125 HAS SOUPS 368125 WITH SCORE 369220.238
AT ITER 2929 NEW BEST:: SOT 3245862 SOS 1095196 HAS SOPS 1095196 HAS SOUS 368083 HAS SOUPS 368083 WITH SCORE 369178.196
AT ITER 2950 NEW BEST:: SOT 3245861 SOS 1095194 HAS SOPS 1095194 HAS SOUS 368081 HAS SOUPS 368081 WITH SCORE 369176.194
AT ITER 2956 NEW BEST:: SOT 3245899 SOS 1095176 HAS SOPS 1095176 HAS SOUS 368063 HAS SOUPS 368063 WITH SCORE 369158.176
AT ITER 2974 NEW BEST:: SOT 3245959 SOS 1095131 HAS SOPS 1095131 HAS SOUS 368018 HAS SOUPS 368018 WITH SCORE 369113.131
AT ITER 2975 NEW BEST:: SOT 3245840 SOS 1095213 HAS SOPS 1095213 HAS SOUS 367979 HAS SOUPS 367979 WITH SCORE 369074.213
AT ITER 2981 NEW BEST:: SOT 3245826 SOS 1094612 HAS SOPS 1094612 HAS SOUS 367774 HAS SOUPS 367774 WITH SCORE 368868.612
AT ITER 3009 NEW BEST:: SOT 3245660 SOS 1094500 HAS SOPS 1094500 HAS SOUS 367607 HAS SOUPS 367607 WITH SCORE 368701.5
AT ITER 3035 NEW BEST:: SOT 3245617 SOS 1094414 HAS SOPS 1094414 HAS SOUS 367521 HAS SOUPS 367521 WITH SCORE 368615.414
AT ITER 3045 NEW BEST:: SOT 3245561 SOS 1094386 HAS SOPS 1094386 HAS SOUS 359813 HAS SOUPS 359813 WITH SCORE 360907.386
AT ITER 3046 NEW BEST:: SOT 3245307 SOS 1093878 HAS SOPS 1093878 HAS SOUS 359305 HAS SOUPS 359305 WITH SCORE 360398.878
AT ITER 3054 NEW BEST:: SOT 3245277 SOS 1093958 HAS SOPS 1093958 HAS SOUS 359275 HAS SOUPS 359275 WITH SCORE 360368.958
AT ITER 3056 NEW BEST:: SOT 3245218 SOS 1093840 HAS SOPS 1093840 HAS SOUS 359157 HAS SOUPS 359157 WITH SCORE 360250.84
AT ITER 3066 NEW BEST:: SOT 3245034 SOS 1093892 HAS SOPS 1093892 HAS SOUS 359025 HAS SOUPS 359025 WITH SCORE 360118.892
AT ITER 3098 NEW BEST:: SOT 3245034 SOS 1093784 HAS SOPS 1093784 HAS SOUS 358917 HAS SOUPS 358917 WITH SCORE 360010.784
AT ITER 3111 NEW BEST:: SOT 3245034 SOS 1093757 HAS SOPS 1093757 HAS SOUS 358863 HAS SOUPS 358863 WITH SCORE 359956.757
AT ITER 3115 NEW BEST:: SOT 3244895 SOS 1094792 HAS SOPS 1094792 HAS SOUS 358825 HAS SOUPS 358825 WITH SCORE 359919.792
AT ITER 3123 NEW BEST:: SOT 3244919 SOS 1094686 HAS SOPS 1094686 HAS SOUS 358565 HAS SOUPS 358565 WITH SCORE 359659.686
AT ITER 3147 NEW BEST:: SOT 3244892 SOS 1094632 HAS SOPS 1094632 HAS SOUS 358511 HAS SOUPS 358511 WITH SCORE 359605.632
AT ITER 3167 NEW BEST:: SOT 3244892 SOS 1094702 HAS SOPS 1094702 HAS SOUS 358493 HAS SOUPS 358493 WITH SCORE 359587.702
AT ITER 3183 NEW BEST:: SOT 3244820 SOS 1094484 HAS SOPS 1094484 HAS SOUS 358347 HAS SOUPS 358347 WITH SCORE 359441.484
AT ITER 3228 NEW BEST:: SOT 3244820 SOS 1094484 HAS SOPS 1094484 HAS SOUS 358314 HAS SOUPS 358314 WITH SCORE 359408.484
AT ITER 3229 NEW BEST:: SOT 3244923 SOS 1094916 HAS SOPS 1094916 HAS SOUS 358294 HAS SOUPS 358294 WITH SCORE 359388.916
AT ITER 3245 NEW BEST:: SOT 3244837 SOS 1093316 HAS SOPS 1093316 HAS SOUS 358122 HAS SOUPS 358122 WITH SCORE 359215.316
AT ITER 3250 NEW BEST:: SOT 3244826 SOS 1093370 HAS SOPS 1093370 HAS SOUS 358046 HAS SOUPS 358046 WITH SCORE 359139.37
AT ITER 3282 NEW BEST:: SOT 3244754 SOS 1093226 HAS SOPS 1093226 HAS SOUS 357902 HAS SOUPS 357902 WITH SCORE 358995.226
AT ITER 3307 NEW BEST:: SOT 3244754 SOS 1092965 HAS SOPS 1092965 HAS SOUS 357641 HAS SOUPS 357641 WITH SCORE 358733.965
AT ITER 3309 NEW BEST:: SOT 3244199 SOS 1092396 HAS SOPS 1092396 HAS SOUS 357072 HAS SOUPS 357072 WITH SCORE 358164.396
AT ITER 3328 NEW BEST:: SOT 3244122 SOS 1092319 HAS SOPS 1092319 HAS SOUS 356918 HAS SOUPS 356918 WITH SCORE 358010.319
AT ITER 3341 NEW BEST:: SOT 3244107 SOS 1092289 HAS SOPS 1092289 HAS SOUS 356900 HAS SOUPS 356900 WITH SCORE 357992.289
AT ITER 3379 NEW BEST:: SOT 3244030 SOS 1092200 HAS SOPS 1092200 HAS SOUS 356823 HAS SOUPS 356823 WITH SCORE 357915.2
AT ITER 3394 NEW BEST:: SOT 3244016 SOS 1092172 HAS SOPS 1092172 HAS SOUS 356795 HAS SOUPS 356795 WITH SCORE 357887.172
AT ITER 3401 NEW BEST:: SOT 3243984 SOS 1092108 HAS SOPS 1092108 HAS SOUS 356731 HAS SOUPS 356731 WITH SCORE 357823.108
AT ITER 3411 NEW BEST:: SOT 3243521 SOS 1094222 HAS SOPS 1094222 HAS SOUS 356420 HAS SOUPS 356420 WITH SCORE 357514.222
AT ITER 3443 NEW BEST:: SOT 3243532 SOS 1093927 HAS SOPS 1093927 HAS SOUS 355808 HAS SOUPS 355808 WITH SCORE 356901.927
AT ITER 3472 NEW BEST:: SOT 3243532 SOS 1093902 HAS SOPS 1093902 HAS SOUS 355808 HAS SOUPS 355808 WITH SCORE 356901.902
AT ITER 3474 NEW BEST:: SOT 3243345 SOS 1093690 HAS SOPS 1093690 HAS SOUS 353068 HAS SOUPS 353068 WITH SCORE 354161.69
AT ITER 3476 NEW BEST:: SOT 3243378 SOS 1093756 HAS SOPS 1093756 HAS SOUS 352955 HAS SOUPS 352955 WITH SCORE 354048.756
AT ITER 3487 NEW BEST:: SOT 3243360 SOS 1093720 HAS SOPS 1093720 HAS SOUS 352937 HAS SOUPS 352937 WITH SCORE 354030.72
AT ITER 3512 NEW BEST:: SOT 3243360 SOS 1093731 HAS SOPS 1093731 HAS SOUS 352936 HAS SOUPS 352936 WITH SCORE 354029.731
AT ITER 3530 NEW BEST:: SOT 3243248 SOS 1093731 HAS SOPS 1093731 HAS SOUS 352824 HAS SOUPS 352824 WITH SCORE 353917.731
AT ITER 3531 NEW BEST:: SOT 3243229 SOS 1093712 HAS SOPS 1093712 HAS SOUS 352805 HAS SOUPS 352805 WITH SCORE 353898.712
AT ITER 3546 NEW BEST:: SOT 3242845 SOS 1093328 HAS SOPS 1093328 HAS SOUS 352676 HAS SOUPS 352676 WITH SCORE 353769.328
AT ITER 3551 NEW BEST:: SOT 3242791 SOS 1093274 HAS SOPS 1093274 HAS SOUS 352676 HAS SOUPS 352676 WITH SCORE 353769.274
AT ITER 3585 NEW BEST:: SOT 3242782 SOS 1093256 HAS SOPS 1093256 HAS SOUS 352658 HAS SOUPS 352658 WITH SCORE 353751.256
AT ITER 3589 NEW BEST:: SOT 3242755 SOS 1093250 HAS SOPS 1093250 HAS SOUS 352628 HAS SOUPS 352628 WITH SCORE 353721.25
AT ITER 3599 NEW BEST:: SOT 3242731 SOS 1093202 HAS SOPS 1093202 HAS SOUS 352604 HAS SOUPS 352604 WITH SCORE 353697.202
AT ITER 3638 NEW BEST:: SOT 3242755 SOS 1093185 HAS SOPS 1093185 HAS SOUS 352602 HAS SOUPS 352602 WITH SCORE 353695.185
AT ITER 3645 NEW BEST:: SOT 3242726 SOS 1092856 HAS SOPS 1092856 HAS SOUS 352444 HAS SOUPS 352444 WITH SCORE 353536.856
AT ITER 3646 NEW BEST:: SOT 3242788 SOS 1092828 HAS SOPS 1092828 HAS SOUS 352416 HAS SOUPS 352416 WITH SCORE 353508.828
AT ITER 3656 NEW BEST:: SOT 3242614 SOS 1092808 HAS SOPS 1092808 HAS SOUS 352324 HAS SOUPS 352324 WITH SCORE 353416.808
AT ITER 3663 NEW BEST:: SOT 3242614 SOS 1092808 HAS SOPS 1092808 HAS SOUS 352323 HAS SOUPS 352323 WITH SCORE 353415.808
AT ITER 3682 NEW BEST:: SOT 3242378 SOS 1092173 HAS SOPS 1092173 HAS SOUS 352148 HAS SOUPS 352148 WITH SCORE 353240.173
AT ITER 3706 NEW BEST:: SOT 3242122 SOS 1091661 HAS SOPS 1091661 HAS SOUS 351932 HAS SOUPS 351932 WITH SCORE 353023.661
AT ITER 3708 NEW BEST:: SOT 3241983 SOS 1091661 HAS SOPS 1091661 HAS SOUS 351680 HAS SOUPS 351680 WITH SCORE 352771.661
AT ITER 3714 NEW BEST:: SOT 3241973 SOS 1091641 HAS SOPS 1091641 HAS SOUS 351625 HAS SOUPS 351625 WITH SCORE 352716.641
AT ITER 3725 NEW BEST:: SOT 3241904 SOS 1091779 HAS SOPS 1091779 HAS SOUS 351556 HAS SOUPS 351556 WITH SCORE 352647.779
AT ITER 3729 NEW BEST:: SOT 3241771 SOS 1091945 HAS SOPS 1091945 HAS SOUS 351446 HAS SOUPS 351446 WITH SCORE 352537.945
AT ITER 3735 NEW BEST:: SOT 3241631 SOS 1091805 HAS SOPS 1091805 HAS SOUS 351444 HAS SOUPS 351444 WITH SCORE 352535.805
AT ITER 3740 NEW BEST:: SOT 3241558 SOS 1091805 HAS SOPS 1091805 HAS SOUS 351371 HAS SOUPS 351371 WITH SCORE 352462.805
AT ITER 3744 NEW BEST:: SOT 3241558 SOS 1091805 HAS SOPS 1091805 HAS SOUS 351302 HAS SOUPS 351302 WITH SCORE 352393.805
AT ITER 3767 NEW BEST:: SOT 3241450 SOS 1091769 HAS SOPS 1091769 HAS SOUS 351230 HAS SOUPS 351230 WITH SCORE 352321.769
AT ITER 3778 NEW BEST:: SOT 3241384 SOS 1091637 HAS SOPS 1091637 HAS SOUS 351098 HAS SOUPS 351098 WITH SCORE 352189.637
AT ITER 3786 NEW BEST:: SOT 3241219 SOS 1091517 HAS SOPS 1091517 HAS SOUS 350840 HAS SOUPS 350840 WITH SCORE 351931.517
AT ITER 3790 NEW BEST:: SOT 3241219 SOS 1091417 HAS SOPS 1091417 HAS SOUS 350640 HAS SOUPS 350640 WITH SCORE 351731.417
AT ITER 3804 NEW BEST:: SOT 3241647 SOS 1092337 HAS SOPS 1092337 HAS SOUS 341718 HAS SOUPS 341718 WITH SCORE 342810.337
AT ITER 3808 NEW BEST:: SOT 3241647 SOS 1092300 HAS SOPS 1092300 HAS SOUS 341681 HAS SOUPS 341681 WITH SCORE 342773.3
AT ITER 3832 NEW BEST:: SOT 3241132 SOS 1091635 HAS SOPS 1091635 HAS SOUS 341425 HAS SOUPS 341425 WITH SCORE 342516.635
AT ITER 3836 NEW BEST:: SOT 3241234 SOS 1092086 HAS SOPS 1092086 HAS SOUS 341373 HAS SOUPS 341373 WITH SCORE 342465.086
AT ITER 3840 NEW BEST:: SOT 3241045 SOS 1091708 HAS SOPS 1091708 HAS SOUS 341184 HAS SOUPS 341184 WITH SCORE 342275.708
AT ITER 3851 NEW BEST:: SOT 3240926 SOS 1091708 HAS SOPS 1091708 HAS SOUS 337995 HAS SOUPS 337995 WITH SCORE 339086.708
AT ITER 3855 NEW BEST:: SOT 3240780 SOS 1092454 HAS SOPS 1092454 HAS SOUS 337971 HAS SOUPS 337971 WITH SCORE 339063.454
AT ITER 3903 NEW BEST:: SOT 3240584 SOS 1092356 HAS SOPS 1092356 HAS SOUS 337775 HAS SOUPS 337775 WITH SCORE 338867.356
AT ITER 3911 NEW BEST:: SOT 3240535 SOS 1092258 HAS SOPS 1092258 HAS SOUS 337677 HAS SOUPS 337677 WITH SCORE 338769.258
AT ITER 3916 NEW BEST:: SOT 3240426 SOS 1092040 HAS SOPS 1092040 HAS SOUS 337484 HAS SOUPS 337484 WITH SCORE 338576.04
AT ITER 3924 NEW BEST:: SOT 3240426 SOS 1091552 HAS SOPS 1091552 HAS SOUS 337484 HAS SOUPS 337484 WITH SCORE 338575.552
AT ITER 3925 NEW BEST:: SOT 3240426 SOS 1091510 HAS SOPS 1091510 HAS SOUS 337442 HAS SOUPS 337442 WITH SCORE 338533.51
AT ITER 3951 NEW BEST:: SOT 3240266 SOS 1091542 HAS SOPS 1091542 HAS SOUS 337433 HAS SOUPS 337433 WITH SCORE 338524.542
AT ITER 3953 NEW BEST:: SOT 3240173 SOS 1091828 HAS SOPS 1091828 HAS SOUS 337340 HAS SOUPS 337340 WITH SCORE 338431.828
AT ITER 3956 NEW BEST:: SOT 3240166 SOS 1091814 HAS SOPS 1091814 HAS SOUS 337224 HAS SOUPS 337224 WITH SCORE 338315.814
AT ITER 3988 NEW BEST:: SOT 3240130 SOS 1091742 HAS SOPS 1091742 HAS SOUS 337152 HAS SOUPS 337152 WITH SCORE 338243.742
AT ITER 4023 NEW BEST:: SOT 3240169 SOS 1091820 HAS SOPS 1091820 HAS SOUS 337083 HAS SOUPS 337083 WITH SCORE 338174.82
AT ITER 4028 NEW BEST:: SOT 3240953 SOS 1092680 HAS SOPS 1092680 HAS SOUS 336947 HAS SOUPS 336947 WITH SCORE 338039.68
AT ITER 4044 NEW BEST:: SOT 3241018 SOS 1093238 HAS SOPS 1093238 HAS SOUS 336857 HAS SOUPS 336857 WITH SCORE 337950.238
AT ITER 4048 NEW BEST:: SOT 3240805 SOS 1093352 HAS SOPS 1093352 HAS SOUS 336751 HAS SOUPS 336751 WITH SCORE 337844.352
AT ITER 4051 NEW BEST:: SOT 3240805 SOS 1093327 HAS SOPS 1093327 HAS SOUS 336726 HAS SOUPS 336726 WITH SCORE 337819.327
AT ITER 4054 NEW BEST:: SOT 3240805 SOS 1093241 HAS SOPS 1093241 HAS SOUS 336554 HAS SOUPS 336554 WITH SCORE 337647.241
AT ITER 4074 NEW BEST:: SOT 3240683 SOS 1092952 HAS SOPS 1092952 HAS SOUS 336310 HAS SOUPS 336310 WITH SCORE 337402.952
AT ITER 4075 NEW BEST:: SOT 3240694 SOS 1092974 HAS SOPS 1092974 HAS SOUS 336173 HAS SOUPS 336173 WITH SCORE 337265.974
AT ITER 4086 NEW BEST:: SOT 3240865 SOS 1093057 HAS SOPS 1093057 HAS SOUS 336083 HAS SOUPS 336083 WITH SCORE 337176.057
AT ITER 4095 NEW BEST:: SOT 3240784 SOS 1094015 HAS SOPS 1094015 HAS SOUS 336033 HAS SOUPS 336033 WITH SCORE 337127.015
AT ITER 4169 NEW BEST:: SOT 3240784 SOS 1094012 HAS SOPS 1094012 HAS SOUS 336030 HAS SOUPS 336030 WITH SCORE 337124.012
AT ITER 4174 NEW BEST:: SOT 3240827 SOS 1094098 HAS SOPS 1094098 HAS SOUS 336018 HAS SOUPS 336018 WITH SCORE 337112.098
AT ITER 4182 NEW BEST:: SOT 3240793 SOS 1094030 HAS SOPS 1094030 HAS SOUS 335950 HAS SOUPS 335950 WITH SCORE 337044.03
AT ITER 4193 NEW BEST:: SOT 3240793 SOS 1093957 HAS SOPS 1093957 HAS SOUS 335950 HAS SOUPS 335950 WITH SCORE 337043.957
AT ITER 4194 NEW BEST:: SOT 3240793 SOS 1093957 HAS SOPS 1093957 HAS SOUS 335945 HAS SOUPS 335945 WITH SCORE 337038.957
AT ITER 4196 NEW BEST:: SOT 3240784 SOS 1093948 HAS SOPS 1093948 HAS SOUS 335936 HAS SOUPS 335936 WITH SCORE 337029.948
AT ITER 4227 NEW BEST:: SOT 3240775 SOS 1094114 HAS SOPS 1094114 HAS SOUS 335927 HAS SOUPS 335927 WITH SCORE 337021.114
AT ITER 4252 NEW BEST:: SOT 3240775 SOS 1094114 HAS SOPS 1094114 HAS SOUS 335858 HAS SOUPS 335858 WITH SCORE 336952.114
AT ITER 4259 NEW BEST:: SOT 3240807 SOS 1093714 HAS SOPS 1093714 HAS SOUS 335494 HAS SOUPS 335494 WITH SCORE 336587.714
AT ITER 4309 NEW BEST:: SOT 3240648 SOS 1093396 HAS SOPS 1093396 HAS SOUS 335176 HAS SOUPS 335176 WITH SCORE 336269.396
AT ITER 4320 NEW BEST:: SOT 3240652 SOS 1093404 HAS SOPS 1093404 HAS SOUS 335067 HAS SOUPS 335067 WITH SCORE 336160.404
AT ITER 4322 NEW BEST:: SOT 3240667 SOS 1093338 HAS SOPS 1093338 HAS SOUS 334986 HAS SOUPS 334986 WITH SCORE 336079.338
AT ITER 4324 NEW BEST:: SOT 3240340 SOS 1093093 HAS SOPS 1093093 HAS SOUS 334897 HAS SOUPS 334897 WITH SCORE 335990.093
AT ITER 4341 NEW BEST:: SOT 3240401 SOS 1092635 HAS SOPS 1092635 HAS SOUS 334842 HAS SOUPS 334842 WITH SCORE 335934.635
AT ITER 4359 NEW BEST:: SOT 3240422 SOS 1092489 HAS SOPS 1092489 HAS SOUS 334508 HAS SOUPS 334508 WITH SCORE 335600.489
AT ITER 4364 NEW BEST:: SOT 3240404 SOS 1092471 HAS SOPS 1092471 HAS SOUS 334490 HAS SOUPS 334490 WITH SCORE 335582.471
AT ITER 4375 NEW BEST:: SOT 3240403 SOS 1092469 HAS SOPS 1092469 HAS SOUS 334488 HAS SOUPS 334488 WITH SCORE 335580.469
AT ITER 4376 NEW BEST:: SOT 3240350 SOS 1092827 HAS SOPS 1092827 HAS SOUS 334460 HAS SOUPS 334460 WITH SCORE 335552.827
AT ITER 4388 NEW BEST:: SOT 3240333 SOS 1092793 HAS SOPS 1092793 HAS SOUS 334426 HAS SOUPS 334426 WITH SCORE 335518.793
AT ITER 4405 NEW BEST:: SOT 3240252 SOS 1092550 HAS SOPS 1092550 HAS SOUS 334345 HAS SOUPS 334345 WITH SCORE 335437.55
AT ITER 4408 NEW BEST:: SOT 3239985 SOS 1093234 HAS SOPS 1093234 HAS SOUS 334191 HAS SOUPS 334191 WITH SCORE 335284.234
AT ITER 4410 NEW BEST:: SOT 3239921 SOS 1093298 HAS SOPS 1093298 HAS SOUS 334185 HAS SOUPS 334185 WITH SCORE 335278.298
AT ITER 4435 NEW BEST:: SOT 3239801 SOS 1093138 HAS SOPS 1093138 HAS SOUS 334025 HAS SOUPS 334025 WITH SCORE 335118.138
AT ITER 4440 NEW BEST:: SOT 3239801 SOS 1093109 HAS SOPS 1093109 HAS SOUS 333836 HAS SOUPS 333836 WITH SCORE 334929.109
AT ITER 4463 NEW BEST:: SOT 3239789 SOS 1093085 HAS SOPS 1093085 HAS SOUS 333716 HAS SOUPS 333716 WITH SCORE 334809.085
AT ITER 4465 NEW BEST:: SOT 3239789 SOS 1093085 HAS SOPS 1093085 HAS SOUS 333583 HAS SOUPS 333583 WITH SCORE 334676.085
AT ITER 4466 NEW BEST:: SOT 3239756 SOS 1093019 HAS SOPS 1093019 HAS SOUS 333517 HAS SOUPS 333517 WITH SCORE 334610.019
AT ITER 4497 NEW BEST:: SOT 3239726 SOS 1090889 HAS SOPS 1090889 HAS SOUS 333517 HAS SOUPS 333517 WITH SCORE 334607.889
AT ITER 4513 NEW BEST:: SOT 3239726 SOS 1090927 HAS SOPS 1090927 HAS SOUS 333479 HAS SOUPS 333479 WITH SCORE 334569.927
AT ITER 4537 NEW BEST:: SOT 3239726 SOS 1090718 HAS SOPS 1090718 HAS SOUS 333185 HAS SOUPS 333185 WITH SCORE 334275.718
AT ITER 4545 NEW BEST:: SOT 3239704 SOS 1090707 HAS SOPS 1090707 HAS SOUS 333174 HAS SOUPS 333174 WITH SCORE 334264.707
AT ITER 4563 NEW BEST:: SOT 3239704 SOS 1090707 HAS SOPS 1090707 HAS SOUS 333142 HAS SOUPS 333142 WITH SCORE 334232.707
AT ITER 4567 NEW BEST:: SOT 3239704 SOS 1090707 HAS SOPS 1090707 HAS SOUS 332990 HAS SOUPS 332990 WITH SCORE 334080.707
AT ITER 4571 NEW BEST:: SOT 3239686 SOS 1090701 HAS SOPS 1090701 HAS SOUS 332978 HAS SOUPS 332978 WITH SCORE 334068.701
AT ITER 4591 NEW BEST:: SOT 3239671 SOS 1090686 HAS SOPS 1090686 HAS SOUS 332948 HAS SOUPS 332948 WITH SCORE 334038.686
AT ITER 4593 NEW BEST:: SOT 3239561 SOS 1090305 HAS SOPS 1090305 HAS SOUS 332932 HAS SOUPS 332932 WITH SCORE 334022.305
AT ITER 4608 NEW BEST:: SOT 3239540 SOS 1090263 HAS SOPS 1090263 HAS SOUS 332890 HAS SOUPS 332890 WITH SCORE 333980.263
AT ITER 4613 NEW BEST:: SOT 3239445 SOS 1090073 HAS SOPS 1090073 HAS SOUS 332584 HAS SOUPS 332584 WITH SCORE 333674.073
AT ITER 4620 NEW BEST:: SOT 3239270 SOS 1090411 HAS SOPS 1090411 HAS SOUS 332418 HAS SOUPS 332418 WITH SCORE 333508.411
AT ITER 4631 NEW BEST:: SOT 3239191 SOS 1090210 HAS SOPS 1090210 HAS SOUS 332215 HAS SOUPS 332215 WITH SCORE 333305.21
AT ITER 4635 NEW BEST:: SOT 3239154 SOS 1090169 HAS SOPS 1090169 HAS SOUS 332193 HAS SOUPS 332193 WITH SCORE 333283.169
AT ITER 4649 NEW BEST:: SOT 3239117 SOS 1090095 HAS SOPS 1090095 HAS SOUS 332119 HAS SOUPS 332119 WITH SCORE 333209.095
AT ITER 4653 NEW BEST:: SOT 3239087 SOS 1089795 HAS SOPS 1089795 HAS SOUS 331984 HAS SOUPS 331984 WITH SCORE 333073.795
AT ITER 4664 NEW BEST:: SOT 3238653 SOS 1089584 HAS SOPS 1089584 HAS SOUS 331554 HAS SOUPS 331554 WITH SCORE 332643.584
AT ITER 4685 NEW BEST:: SOT 3238767 SOS 1082232 HAS SOPS 1082232 HAS SOUS 331485 HAS SOUPS 331485 WITH SCORE 332567.232
AT ITER 4698 NEW BEST:: SOT 3238673 SOS 1082138 HAS SOPS 1082138 HAS SOUS 331391 HAS SOUPS 331391 WITH SCORE 332473.138
AT ITER 4711 NEW BEST:: SOT 3238672 SOS 1082136 HAS SOPS 1082136 HAS SOUS 331389 HAS SOUPS 331389 WITH SCORE 332471.136
AT ITER 4736 NEW BEST:: SOT 3238757 SOS 1083136 HAS SOPS 1083136 HAS SOUS 331289 HAS SOUPS 331289 WITH SCORE 332372.136
AT ITER 4785 NEW BEST:: SOT 3238756 SOS 1081187 HAS SOPS 1081187 HAS SOUS 331242 HAS SOUPS 331242 WITH SCORE 332323.187
AT ITER 4790 NEW BEST:: SOT 3238693 SOS 1081177 HAS SOPS 1081177 HAS SOUS 331214 HAS SOUPS 331214 WITH SCORE 332295.177
AT ITER 4791 NEW BEST:: SOT 3238702 SOS 1081141 HAS SOPS 1081141 HAS SOUS 331214 HAS SOUPS 331214 WITH SCORE 332295.141
AT ITER 4821 NEW BEST:: SOT 3238668 SOS 1081073 HAS SOPS 1081073 HAS SOUS 331194 HAS SOUPS 331194 WITH SCORE 332275.073
AT ITER 4834 NEW BEST:: SOT 3238668 SOS 1081072 HAS SOPS 1081072 HAS SOUS 331193 HAS SOUPS 331193 WITH SCORE 332274.072
AT ITER 4837 NEW BEST:: SOT 3237523 SOS 1080057 HAS SOPS 1080057 HAS SOUS 330255 HAS SOUPS 330255 WITH SCORE 331335.057
AT ITER 4843 NEW BEST:: SOT 3237597 SOS 1080443 HAS SOPS 1080443 HAS SOUS 330165 HAS SOUPS 330165 WITH SCORE 331245.443
AT ITER 4875 NEW BEST:: SOT 3237610 SOS 1080456 HAS SOPS 1080456 HAS SOUS 330159 HAS SOUPS 330159 WITH SCORE 331239.456
AT ITER 4880 NEW BEST:: SOT 3237609 SOS 1080454 HAS SOPS 1080454 HAS SOUS 330157 HAS SOUPS 330157 WITH SCORE 331237.454
AT ITER 4893 NEW BEST:: SOT 3237597 SOS 1080442 HAS SOPS 1080442 HAS SOUS 330145 HAS SOUPS 330145 WITH SCORE 331225.442
AT ITER 4896 NEW BEST:: SOT 3236873 SOS 1079718 HAS SOPS 1079718 HAS SOUS 329421 HAS SOUPS 329421 WITH SCORE 330500.718
AT ITER 4905 NEW BEST:: SOT 3236738 SOS 1079281 HAS SOPS 1079281 HAS SOUS 328952 HAS SOUPS 328952 WITH SCORE 330031.281
AT ITER 4930 NEW BEST:: SOT 3236340 SOS 1079304 HAS SOPS 1079304 HAS SOUS 328702 HAS SOUPS 328702 WITH SCORE 329781.304
AT ITER 4946 NEW BEST:: SOT 3236488 SOS 1063781 HAS SOPS 1063781 HAS SOUS 328653 HAS SOUPS 328653 WITH SCORE 329716.781
AT ITER 4972 NEW BEST:: SOT 3236488 SOS 1063732 HAS SOPS 1063732 HAS SOUS 328624 HAS SOUPS 328624 WITH SCORE 329687.732
AT ITER 4980 NEW BEST:: SOT 3236509 SOS 1063706 HAS SOPS 1063706 HAS SOUS 328611 HAS SOUPS 328611 WITH SCORE 329674.706
AT ITER 4987 NEW BEST:: SOT 3236346 SOS 1063380 HAS SOPS 1063380 HAS SOUS 328371 HAS SOUPS 328371 WITH SCORE 329434.38
AT ITER 4991 NEW BEST:: SOT 3236345 SOS 1063378 HAS SOPS 1063378 HAS SOUS 328369 HAS SOUPS 328369 WITH SCORE 329432.378
AT ITER 5004 NEW BEST:: SOT 3236043 SOS 1063250 HAS SOPS 1063250 HAS SOUS 328204 HAS SOUPS 328204 WITH SCORE 329267.25
AT ITER 5007 NEW BEST:: SOT 3236043 SOS 1063250 HAS SOPS 1063250 HAS SOUS 328139 HAS SOUPS 328139 WITH SCORE 329202.25
AT ITER 5048 NEW BEST:: SOT 3235992 SOS 1063148 HAS SOPS 1063148 HAS SOUS 328087 HAS SOUPS 328087 WITH SCORE 329150.148
AT ITER 5079 NEW BEST:: SOT 3235856 SOS 1063148 HAS SOPS 1063148 HAS SOUS 327904 HAS SOUPS 327904 WITH SCORE 328967.148
AT ITER 5109 NEW BEST:: SOT 3235933 SOS 1062946 HAS SOPS 1062946 HAS SOUS 327762 HAS SOUPS 327762 WITH SCORE 328824.946
AT ITER 5114 NEW BEST:: SOT 3235933 SOS 1062944 HAS SOPS 1062944 HAS SOUS 327762 HAS SOUPS 327762 WITH SCORE 328824.944
AT ITER 5124 NEW BEST:: SOT 3235890 SOS 1063186 HAS SOPS 1063186 HAS SOUS 327703 HAS SOUPS 327703 WITH SCORE 328766.186
AT ITER 5146 NEW BEST:: SOT 3235890 SOS 1063082 HAS SOPS 1063082 HAS SOUS 327703 HAS SOUPS 327703 WITH SCORE 328766.082
AT ITER 5149 NEW BEST:: SOT 3235888 SOS 1063078 HAS SOPS 1063078 HAS SOUS 327699 HAS SOUPS 327699 WITH SCORE 328762.078
AT ITER 5173 NEW BEST:: SOT 3235888 SOS 1063097 HAS SOPS 1063097 HAS SOUS 327698 HAS SOUPS 327698 WITH SCORE 328761.097
AT ITER 5175 NEW BEST:: SOT 3235888 SOS 1063097 HAS SOPS 1063097 HAS SOUS 327690 HAS SOUPS 327690 WITH SCORE 328753.097
AT ITER 5183 NEW BEST:: SOT 3235944 SOS 1063209 HAS SOPS 1063209 HAS SOUS 327570 HAS SOUPS 327570 WITH SCORE 328633.209
AT ITER 5192 NEW BEST:: SOT 3235925 SOS 1063190 HAS SOPS 1063190 HAS SOUS 327551 HAS SOUPS 327551 WITH SCORE 328614.19
AT ITER 5193 NEW BEST:: SOT 3235907 SOS 1062960 HAS SOPS 1062960 HAS SOUS 327512 HAS SOUPS 327512 WITH SCORE 328574.96
AT ITER 5217 NEW BEST:: SOT 3235874 SOS 1062804 HAS SOPS 1062804 HAS SOUS 327356 HAS SOUPS 327356 WITH SCORE 328418.804
AT ITER 5230 NEW BEST:: SOT 3235870 SOS 1062796 HAS SOPS 1062796 HAS SOUS 327352 HAS SOUPS 327352 WITH SCORE 328414.796
AT ITER 5256 NEW BEST:: SOT 3235912 SOS 1062880 HAS SOPS 1062880 HAS SOUS 327338 HAS SOUPS 327338 WITH SCORE 328400.88
AT ITER 5263 NEW BEST:: SOT 3235952 SOS 1062957 HAS SOPS 1062957 HAS SOUS 327315 HAS SOUPS 327315 WITH SCORE 328377.957
AT ITER 5267 NEW BEST:: SOT 3235945 SOS 1062943 HAS SOPS 1062943 HAS SOUS 327264 HAS SOUPS 327264 WITH SCORE 328326.943
AT ITER 5338 NEW BEST:: SOT 3236020 SOS 1063093 HAS SOPS 1063093 HAS SOUS 327198 HAS SOUPS 327198 WITH SCORE 328261.093
AT ITER 5342 NEW BEST:: SOT 3235888 SOS 1062829 HAS SOPS 1062829 HAS SOUS 326934 HAS SOUPS 326934 WITH SCORE 327996.829
AT ITER 5347 NEW BEST:: SOT 3235888 SOS 1062787 HAS SOPS 1062787 HAS SOUS 326920 HAS SOUPS 326920 WITH SCORE 327982.787
AT ITER 5355 NEW BEST:: SOT 3235857 SOS 1063232 HAS SOPS 1063232 HAS SOUS 326889 HAS SOUPS 326889 WITH SCORE 327952.232
AT ITER 5364 NEW BEST:: SOT 3235848 SOS 1063223 HAS SOPS 1063223 HAS SOUS 326877 HAS SOUPS 326877 WITH SCORE 327940.223
AT ITER 5371 NEW BEST:: SOT 3235848 SOS 1062113 HAS SOPS 1062113 HAS SOUS 326766 HAS SOUPS 326766 WITH SCORE 327828.113
AT ITER 5378 NEW BEST:: SOT 3235758 SOS 1061933 HAS SOPS 1061933 HAS SOUS 326636 HAS SOUPS 326636 WITH SCORE 327697.933
AT ITER 5385 NEW BEST:: SOT 3235582 SOS 1061581 HAS SOPS 1061581 HAS SOUS 326360 HAS SOUPS 326360 WITH SCORE 327421.581
AT ITER 5393 NEW BEST:: SOT 3235598 SOS 1061616 HAS SOPS 1061616 HAS SOUS 326320 HAS SOUPS 326320 WITH SCORE 327381.616
AT ITER 5443 NEW BEST:: SOT 3235366 SOS 1061616 HAS SOPS 1061616 HAS SOUS 326204 HAS SOUPS 326204 WITH SCORE 327265.616
AT ITER 5458 NEW BEST:: SOT 3235330 SOS 1061652 HAS SOPS 1061652 HAS SOUS 326168 HAS SOUPS 326168 WITH SCORE 327229.652
AT ITER 5459 NEW BEST:: SOT 3235315 SOS 1061611 HAS SOPS 1061611 HAS SOUS 326137 HAS SOUPS 326137 WITH SCORE 327198.611
AT ITER 5473 NEW BEST:: SOT 3235283 SOS 1061547 HAS SOPS 1061547 HAS SOUS 326073 HAS SOUPS 326073 WITH SCORE 327134.547
AT ITER 5499 NEW BEST:: SOT 3235283 SOS 1061539 HAS SOPS 1061539 HAS SOUS 326065 HAS SOUPS 326065 WITH SCORE 327126.539
AT ITER 5510 NEW BEST:: SOT 3234734 SOS 1060913 HAS SOPS 1060913 HAS SOUS 325402 HAS SOUPS 325402 WITH SCORE 326462.913
AT ITER 5512 NEW BEST:: SOT 3234734 SOS 1060427 HAS SOPS 1060427 HAS SOUS 325402 HAS SOUPS 325402 WITH SCORE 326462.427
AT ITER 5516 NEW BEST:: SOT 3234643 SOS 1060245 HAS SOPS 1060245 HAS SOUS 325220 HAS SOUPS 325220 WITH SCORE 326280.245
AT ITER 5525 NEW BEST:: SOT 3234618 SOS 1060220 HAS SOPS 1060220 HAS SOUS 325220 HAS SOUPS 325220 WITH SCORE 326280.22
AT ITER 5535 NEW BEST:: SOT 3234618 SOS 1060378 HAS SOPS 1060378 HAS SOUS 325062 HAS SOUPS 325062 WITH SCORE 326122.378
AT ITER 5567 NEW BEST:: SOT 3234542 SOS 1060229 HAS SOPS 1060229 HAS SOUS 325012 HAS SOUPS 325012 WITH SCORE 326072.229
AT ITER 5577 NEW BEST:: SOT 3234542 SOS 1060229 HAS SOPS 1060229 HAS SOUS 325011 HAS SOUPS 325011 WITH SCORE 326071.229
AT ITER 5578 NEW BEST:: SOT 3234541 SOS 1060227 HAS SOPS 1060227 HAS SOUS 325009 HAS SOUPS 325009 WITH SCORE 326069.227
AT ITER 5587 NEW BEST:: SOT 3234541 SOS 1060142 HAS SOPS 1060142 HAS SOUS 325009 HAS SOUPS 325009 WITH SCORE 326069.142
AT ITER 5601 NEW BEST:: SOT 3233241 SOS 1059028 HAS SOPS 1059028 HAS SOUS 323921 HAS SOUPS 323921 WITH SCORE 324980.028
AT ITER 5603 NEW BEST:: SOT 3233241 SOS 1058942 HAS SOPS 1058942 HAS SOUS 323832 HAS SOUPS 323832 WITH SCORE 324890.942
AT ITER 5606 NEW BEST:: SOT 3232701 SOS 1059056 HAS SOPS 1059056 HAS SOUS 323518 HAS SOUPS 323518 WITH SCORE 324577.056
AT ITER 5636 NEW BEST:: SOT 3232763 SOS 1058374 HAS SOPS 1058374 HAS SOUS 323518 HAS SOUPS 323518 WITH SCORE 324576.374
AT ITER 5683 NEW BEST:: SOT 3232455 SOS 1057859 HAS SOPS 1057859 HAS SOUS 323248 HAS SOUPS 323248 WITH SCORE 324305.859
AT ITER 5687 NEW BEST:: SOT 3232485 SOS 1058248 HAS SOPS 1058248 HAS SOUS 323178 HAS SOUPS 323178 WITH SCORE 324236.248
AT ITER 5711 NEW BEST:: SOT 3232421 SOS 1058120 HAS SOPS 1058120 HAS SOUS 323050 HAS SOUPS 323050 WITH SCORE 324108.12
AT ITER 5712 NEW BEST:: SOT 3232347 SOS 1058204 HAS SOPS 1058204 HAS SOUS 322850 HAS SOUPS 322850 WITH SCORE 323908.204
AT ITER 5731 NEW BEST:: SOT 3232341 SOS 1058192 HAS SOPS 1058192 HAS SOUS 322844 HAS SOUPS 322844 WITH SCORE 323902.192
AT ITER 5735 NEW BEST:: SOT 3232408 SOS 1058326 HAS SOPS 1058326 HAS SOUS 322830 HAS SOUPS 322830 WITH SCORE 323888.326
AT ITER 5751 NEW BEST:: SOT 3232407 SOS 1058324 HAS SOPS 1058324 HAS SOUS 322828 HAS SOUPS 322828 WITH SCORE 323886.324
AT ITER 5761 NEW BEST:: SOT 3232363 SOS 1058236 HAS SOPS 1058236 HAS SOUS 322668 HAS SOUPS 322668 WITH SCORE 323726.236
AT ITER 5805 NEW BEST:: SOT 3232436 SOS 1058309 HAS SOPS 1058309 HAS SOUS 322626 HAS SOUPS 322626 WITH SCORE 323684.309
AT ITER 5816 NEW BEST:: SOT 3232306 SOS 1058709 HAS SOPS 1058709 HAS SOUS 322422 HAS SOUPS 322422 WITH SCORE 323480.709
AT ITER 5818 NEW BEST:: SOT 3232287 SOS 1058671 HAS SOPS 1058671 HAS SOUS 322384 HAS SOUPS 322384 WITH SCORE 323442.671
AT ITER 5827 NEW BEST:: SOT 3232287 SOS 1058533 HAS SOPS 1058533 HAS SOUS 322328 HAS SOUPS 322328 WITH SCORE 323386.533
AT ITER 5835 NEW BEST:: SOT 3232404 SOS 1058767 HAS SOPS 1058767 HAS SOUS 322200 HAS SOUPS 322200 WITH SCORE 323258.767
AT ITER 5839 NEW BEST:: SOT 3232403 SOS 1058873 HAS SOPS 1058873 HAS SOUS 322000 HAS SOUPS 322000 WITH SCORE 323058.873
AT ITER 5850 NEW BEST:: SOT 3232080 SOS 1058750 HAS SOPS 1058750 HAS SOUS 321877 HAS SOUPS 321877 WITH SCORE 322935.75
AT ITER 5884 NEW BEST:: SOT 3232080 SOS 1058738 HAS SOPS 1058738 HAS SOUS 321877 HAS SOUPS 321877 WITH SCORE 322935.738
AT ITER 5888 NEW BEST:: SOT 3232130 SOS 1058726 HAS SOPS 1058726 HAS SOUS 321687 HAS SOUPS 321687 WITH SCORE 322745.726
AT ITER 5903 NEW BEST:: SOT 3232067 SOS 1058747 HAS SOPS 1058747 HAS SOUS 321562 HAS SOUPS 321562 WITH SCORE 322620.747
AT ITER 5923 NEW BEST:: SOT 3232025 SOS 1058700 HAS SOPS 1058700 HAS SOUS 321515 HAS SOUPS 321515 WITH SCORE 322573.7
AT ITER 5946 NEW BEST:: SOT 3232024 SOS 1058699 HAS SOPS 1058699 HAS SOUS 321507 HAS SOUPS 321507 WITH SCORE 322565.699
AT ITER 5982 NEW BEST:: SOT 3231966 SOS 1058583 HAS SOPS 1058583 HAS SOUS 321391 HAS SOUPS 321391 WITH SCORE 322449.583
AT ITER 6002 NEW BEST:: SOT 3231966 SOS 1058583 HAS SOPS 1058583 HAS SOUS 321138 HAS SOUPS 321138 WITH SCORE 322196.583
AT ITER 6011 NEW BEST:: SOT 3231959 SOS 1058113 HAS SOPS 1058113 HAS SOUS 321107 HAS SOUPS 321107 WITH SCORE 322165.113
AT ITER 6015 NEW BEST:: SOT 3231916 SOS 1058027 HAS SOPS 1058027 HAS SOUS 321021 HAS SOUPS 321021 WITH SCORE 322079.027
AT ITER 6033 NEW BEST:: SOT 3231905 SOS 1057456 HAS SOPS 1057456 HAS SOUS 321010 HAS SOUPS 321010 WITH SCORE 322067.456
AT ITER 6038 NEW BEST:: SOT 3231886 SOS 1057363 HAS SOPS 1057363 HAS SOUS 320946 HAS SOUPS 320946 WITH SCORE 322003.363
AT ITER 6047 NEW BEST:: SOT 3232000 SOS 1057636 HAS SOPS 1057636 HAS SOUS 320780 HAS SOUPS 320780 WITH SCORE 321837.636
AT ITER 6059 NEW BEST:: SOT 3231797 SOS 1052912 HAS SOPS 1052912 HAS SOUS 320681 HAS SOUPS 320681 WITH SCORE 321733.912
AT ITER 6072 NEW BEST:: SOT 3231708 SOS 1053019 HAS SOPS 1053019 HAS SOUS 320649 HAS SOUPS 320649 WITH SCORE 321702.019
AT ITER 6079 NEW BEST:: SOT 3231888 SOS 1052843 HAS SOPS 1052843 HAS SOUS 320588 HAS SOUPS 320588 WITH SCORE 321640.843
AT ITER 6081 NEW BEST:: SOT 3231888 SOS 1053365 HAS SOPS 1053365 HAS SOUS 320501 HAS SOUPS 320501 WITH SCORE 321554.365
AT ITER 6086 NEW BEST:: SOT 3231670 SOS 1053147 HAS SOPS 1053147 HAS SOUS 320283 HAS SOUPS 320283 WITH SCORE 321336.147
AT ITER 6109 NEW BEST:: SOT 3231504 SOS 1052981 HAS SOPS 1052981 HAS SOUS 320107 HAS SOUPS 320107 WITH SCORE 321159.981
AT ITER 6114 NEW BEST:: SOT 3231322 SOS 1052617 HAS SOPS 1052617 HAS SOUS 319948 HAS SOUPS 319948 WITH SCORE 321000.617
AT ITER 6171 NEW BEST:: SOT 3231406 SOS 1053149 HAS SOPS 1053149 HAS SOUS 319934 HAS SOUPS 319934 WITH SCORE 320987.149
AT ITER 6210 NEW BEST:: SOT 3231397 SOS 1053131 HAS SOPS 1053131 HAS SOUS 319925 HAS SOUPS 319925 WITH SCORE 320978.131
AT ITER 6237 NEW BEST:: SOT 3231397 SOS 1053085 HAS SOPS 1053085 HAS SOUS 319925 HAS SOUPS 319925 WITH SCORE 320978.085
AT ITER 6245 NEW BEST:: SOT 3231374 SOS 1053039 HAS SOPS 1053039 HAS SOUS 319829 HAS SOUPS 319829 WITH SCORE 320882.039
AT ITER 6248 NEW BEST:: SOT 3231495 SOS 1053171 HAS SOPS 1053171 HAS SOUS 319416 HAS SOUPS 319416 WITH SCORE 320469.171
AT ITER 6273 NEW BEST:: SOT 3231495 SOS 1053076 HAS SOPS 1053076 HAS SOUS 319380 HAS SOUPS 319380 WITH SCORE 320433.076
AT ITER 6278 NEW BEST:: SOT 3231494 SOS 1053074 HAS SOPS 1053074 HAS SOUS 319378 HAS SOUPS 319378 WITH SCORE 320431.074
AT ITER 6337 NEW BEST:: SOT 3231439 SOS 1052658 HAS SOPS 1052658 HAS SOUS 319376 HAS SOUPS 319376 WITH SCORE 320428.658
AT ITER 6408 NEW BEST:: SOT 3231439 SOS 1052658 HAS SOPS 1052658 HAS SOUS 319136 HAS SOUPS 319136 WITH SCORE 320188.658
AT ITER 6414 NEW BEST:: SOT 3231103 SOS 1052322 HAS SOPS 1052322 HAS SOUS 318766 HAS SOUPS 318766 WITH SCORE 319818.322
AT ITER 6430 NEW BEST:: SOT 3231169 SOS 1052454 HAS SOPS 1052454 HAS SOUS 318648 HAS SOUPS 318648 WITH SCORE 319700.454
AT ITER 6435 NEW BEST:: SOT 3231130 SOS 1052390 HAS SOPS 1052390 HAS SOUS 318584 HAS SOUPS 318584 WITH SCORE 319636.39
AT ITER 6437 NEW BEST:: SOT 3231130 SOS 1052313 HAS SOPS 1052313 HAS SOUS 318450 HAS SOUPS 318450 WITH SCORE 319502.313
AT ITER 6473 NEW BEST:: SOT 3231193 SOS 1052702 HAS SOPS 1052702 HAS SOUS 317740 HAS SOUPS 317740 WITH SCORE 318792.702
AT ITER 6484 NEW BEST:: SOT 3231122 SOS 1052560 HAS SOPS 1052560 HAS SOUS 317598 HAS SOUPS 317598 WITH SCORE 318650.56
AT ITER 6536 NEW BEST:: SOT 3231014 SOS 1052464 HAS SOPS 1052464 HAS SOUS 317502 HAS SOUPS 317502 WITH SCORE 318554.464
AT ITER 6543 NEW BEST:: SOT 3230867 SOS 1052170 HAS SOPS 1052170 HAS SOUS 317208 HAS SOUPS 317208 WITH SCORE 318260.17
AT ITER 6548 NEW BEST:: SOT 3230801 SOS 1052104 HAS SOPS 1052104 HAS SOUS 317142 HAS SOUPS 317142 WITH SCORE 318194.104
AT ITER 6561 NEW BEST:: SOT 3230750 SOS 1052002 HAS SOPS 1052002 HAS SOUS 317040 HAS SOUPS 317040 WITH SCORE 318092.002
AT ITER 6568 NEW BEST:: SOT 3230718 SOS 1051970 HAS SOPS 1051970 HAS SOUS 317030 HAS SOUPS 317030 WITH SCORE 318081.97
AT ITER 6580 NEW BEST:: SOT 3230663 SOS 1051860 HAS SOPS 1051860 HAS SOUS 316901 HAS SOUPS 316901 WITH SCORE 317952.86
AT ITER 6593 NEW BEST:: SOT 3230663 SOS 1051840 HAS SOPS 1051840 HAS SOUS 316901 HAS SOUPS 316901 WITH SCORE 317952.84
AT ITER 6594 NEW BEST:: SOT 3230587 SOS 1051802 HAS SOPS 1051802 HAS SOUS 316825 HAS SOUPS 316825 WITH SCORE 317876.802
AT ITER 6608 NEW BEST:: SOT 3230529 SOS 1051686 HAS SOPS 1051686 HAS SOUS 316709 HAS SOUPS 316709 WITH SCORE 317760.686
AT ITER 6643 NEW BEST:: SOT 3230514 SOS 1051656 HAS SOPS 1051656 HAS SOUS 316694 HAS SOUPS 316694 WITH SCORE 317745.656
AT ITER 6652 NEW BEST:: SOT 3230514 SOS 1051656 HAS SOPS 1051656 HAS SOUS 316516 HAS SOUPS 316516 WITH SCORE 317567.656
AT ITER 6660 NEW BEST:: SOT 3230628 SOS 1051928 HAS SOPS 1051928 HAS SOUS 316214 HAS SOUPS 316214 WITH SCORE 317265.928
AT ITER 6725 NEW BEST:: SOT 3230613 SOS 1051932 HAS SOPS 1051932 HAS SOUS 316208 HAS SOUPS 316208 WITH SCORE 317259.932
AT ITER 6737 NEW BEST:: SOT 3230567 SOS 1051840 HAS SOPS 1051840 HAS SOUS 316162 HAS SOUPS 316162 WITH SCORE 317213.84
AT ITER 6758 NEW BEST:: SOT 3230522 SOS 1051750 HAS SOPS 1051750 HAS SOUS 316040 HAS SOUPS 316040 WITH SCORE 317091.75
AT ITER 6776 NEW BEST:: SOT 3230493 SOS 1051692 HAS SOPS 1051692 HAS SOUS 315982 HAS SOUPS 315982 WITH SCORE 317033.692
AT ITER 6791 NEW BEST:: SOT 3230421 SOS 1051620 HAS SOPS 1051620 HAS SOUS 315910 HAS SOUPS 315910 WITH SCORE 316961.62
AT ITER 6795 NEW BEST:: SOT 3230401 SOS 1051580 HAS SOPS 1051580 HAS SOUS 315870 HAS SOUPS 315870 WITH SCORE 316921.58
AT ITER 6810 NEW BEST:: SOT 3230423 SOS 1051624 HAS SOPS 1051624 HAS SOUS 315784 HAS SOUPS 315784 WITH SCORE 316835.624
AT ITER 6814 NEW BEST:: SOT 3230423 SOS 1051624 HAS SOPS 1051624 HAS SOUS 315652 HAS SOUPS 315652 WITH SCORE 316703.624
AT ITER 6832 NEW BEST:: SOT 3230397 SOS 1051481 HAS SOPS 1051481 HAS SOUS 315626 HAS SOUPS 315626 WITH SCORE 316677.481
AT ITER 6844 NEW BEST:: SOT 3230397 SOS 1051481 HAS SOPS 1051481 HAS SOUS 315623 HAS SOUPS 315623 WITH SCORE 316674.481
AT ITER 6854 NEW BEST:: SOT 3230414 SOS 1051515 HAS SOPS 1051515 HAS SOUS 315608 HAS SOUPS 315608 WITH SCORE 316659.515
AT ITER 6868 NEW BEST:: SOT 3230414 SOS 1051510 HAS SOPS 1051510 HAS SOUS 315598 HAS SOUPS 315598 WITH SCORE 316649.51
AT ITER 6892 NEW BEST:: SOT 3230398 SOS 1051478 HAS SOPS 1051478 HAS SOUS 315566 HAS SOUPS 315566 WITH SCORE 316617.478
AT ITER 6895 NEW BEST:: SOT 3230308 SOS 1051298 HAS SOPS 1051298 HAS SOUS 315386 HAS SOUPS 315386 WITH SCORE 316437.298
AT ITER 6901 NEW BEST:: SOT 3230180 SOS 1051170 HAS SOPS 1051170 HAS SOUS 315258 HAS SOUPS 315258 WITH SCORE 316309.17
AT ITER 6920 NEW BEST:: SOT 3230039 SOS 1050888 HAS SOPS 1050888 HAS SOUS 314976 HAS SOUPS 314976 WITH SCORE 316026.888
AT ITER 6926 NEW BEST:: SOT 3229937 SOS 1050684 HAS SOPS 1050684 HAS SOUS 314772 HAS SOUPS 314772 WITH SCORE 315822.684
AT ITER 6927 NEW BEST:: SOT 3229905 SOS 1050512 HAS SOPS 1050512 HAS SOUS 314686 HAS SOUPS 314686 WITH SCORE 315736.512
AT ITER 6928 NEW BEST:: SOT 3229905 SOS 1050470 HAS SOPS 1050470 HAS SOUS 314678 HAS SOUPS 314678 WITH SCORE 315728.47
AT ITER 6952 NEW BEST:: SOT 3229880 SOS 1050420 HAS SOPS 1050420 HAS SOUS 314653 HAS SOUPS 314653 WITH SCORE 315703.42
AT ITER 6966 NEW BEST:: SOT 3230062 SOS 1050443 HAS SOPS 1050443 HAS SOUS 314344 HAS SOUPS 314344 WITH SCORE 315394.443
AT ITER 6967 NEW BEST:: SOT 3230062 SOS 1050443 HAS SOPS 1050443 HAS SOUS 314340 HAS SOUPS 314340 WITH SCORE 315390.443
AT ITER 6974 NEW BEST:: SOT 3230073 SOS 1050454 HAS SOPS 1050454 HAS SOUS 314317 HAS SOUPS 314317 WITH SCORE 315367.454
AT ITER 6977 NEW BEST:: SOT 3229703 SOS 1050172 HAS SOPS 1050172 HAS SOUS 314113 HAS SOUPS 314113 WITH SCORE 315163.172
AT ITER 6988 NEW BEST:: SOT 3229693 SOS 1050152 HAS SOPS 1050152 HAS SOUS 314093 HAS SOUPS 314093 WITH SCORE 315143.152
AT ITER 6993 NEW BEST:: SOT 3229603 SOS 1050062 HAS SOPS 1050062 HAS SOUS 313951 HAS SOUPS 313951 WITH SCORE 315001.062
AT ITER 7014 NEW BEST:: SOT 3229564 SOS 1049984 HAS SOPS 1049984 HAS SOUS 313873 HAS SOUPS 313873 WITH SCORE 314922.984
AT ITER 7073 NEW BEST:: SOT 3229678 SOS 1049911 HAS SOPS 1049911 HAS SOUS 313783 HAS SOUPS 313783 WITH SCORE 314832.911
AT ITER 7078 NEW BEST:: SOT 3229646 SOS 1050155 HAS SOPS 1050155 HAS SOUS 313753 HAS SOUPS 313753 WITH SCORE 314803.155
AT ITER 7085 NEW BEST:: SOT 3229413 SOS 1049922 HAS SOPS 1049922 HAS SOUS 313581 HAS SOUPS 313581 WITH SCORE 314630.922
AT ITER 7089 NEW BEST:: SOT 3229345 SOS 1049924 HAS SOPS 1049924 HAS SOUS 313537 HAS SOUPS 313537 WITH SCORE 314586.924
AT ITER 7091 NEW BEST:: SOT 3229367 SOS 1049552 HAS SOPS 1049552 HAS SOUS 313376 HAS SOUPS 313376 WITH SCORE 314425.552
AT ITER 7097 NEW BEST:: SOT 3229110 SOS 1049315 HAS SOPS 1049315 HAS SOUS 313159 HAS SOUPS 313159 WITH SCORE 314208.315
AT ITER 7110 NEW BEST:: SOT 3229092 SOS 1049297 HAS SOPS 1049297 HAS SOUS 313158 HAS SOUPS 313158 WITH SCORE 314207.297
AT ITER 7115 NEW BEST:: SOT 3229064 SOS 1049283 HAS SOPS 1049283 HAS SOUS 313116 HAS SOUPS 313116 WITH SCORE 314165.283
AT ITER 7118 NEW BEST:: SOT 3229058 SOS 1049274 HAS SOPS 1049274 HAS SOUS 313110 HAS SOUPS 313110 WITH SCORE 314159.274
AT ITER 7133 NEW BEST:: SOT 3229011 SOS 1049180 HAS SOPS 1049180 HAS SOUS 313016 HAS SOUPS 313016 WITH SCORE 314065.18
AT ITER 7136 NEW BEST:: SOT 3229011 SOS 1049180 HAS SOPS 1049180 HAS SOUS 312961 HAS SOUPS 312961 WITH SCORE 314010.18
AT ITER 7141 NEW BEST:: SOT 3228918 SOS 1048977 HAS SOPS 1048977 HAS SOUS 312775 HAS SOUPS 312775 WITH SCORE 313823.977
AT ITER 7142 NEW BEST:: SOT 3228918 SOS 1048977 HAS SOPS 1048977 HAS SOUS 312765 HAS SOUPS 312765 WITH SCORE 313813.977
AT ITER 7151 NEW BEST:: SOT 3228917 SOS 1048975 HAS SOPS 1048975 HAS SOUS 312763 HAS SOUPS 312763 WITH SCORE 313811.975
AT ITER 7167 NEW BEST:: SOT 3228773 SOS 1048831 HAS SOPS 1048831 HAS SOUS 312489 HAS SOUPS 312489 WITH SCORE 313537.831
AT ITER 7174 NEW BEST:: SOT 3228702 SOS 1048863 HAS SOPS 1048863 HAS SOUS 312244 HAS SOUPS 312244 WITH SCORE 313292.863
AT ITER 7185 NEW BEST:: SOT 3228701 SOS 1048862 HAS SOPS 1048862 HAS SOUS 312244 HAS SOUPS 312244 WITH SCORE 313292.862
AT ITER 7215 NEW BEST:: SOT 3228701 SOS 1048715 HAS SOPS 1048715 HAS SOUS 312185 HAS SOUPS 312185 WITH SCORE 313233.715
AT ITER 7220 NEW BEST:: SOT 3228701 SOS 1048553 HAS SOPS 1048553 HAS SOUS 312127 HAS SOUPS 312127 WITH SCORE 313175.553
AT ITER 7231 NEW BEST:: SOT 3228505 SOS 1047673 HAS SOPS 1047673 HAS SOUS 312124 HAS SOUPS 312124 WITH SCORE 313171.673
AT ITER 7236 NEW BEST:: SOT 3228490 SOS 1047643 HAS SOPS 1047643 HAS SOUS 312112 HAS SOUPS 312112 WITH SCORE 313159.643
AT ITER 7243 NEW BEST:: SOT 3228522 SOS 1047436 HAS SOPS 1047436 HAS SOUS 311905 HAS SOUPS 311905 WITH SCORE 312952.436
AT ITER 7244 NEW BEST:: SOT 3228492 SOS 1047256 HAS SOPS 1047256 HAS SOUS 311875 HAS SOUPS 311875 WITH SCORE 312922.256
AT ITER 7249 NEW BEST:: SOT 3228491 SOS 1047899 HAS SOPS 1047899 HAS SOUS 309809 HAS SOUPS 309809 WITH SCORE 310856.899
AT ITER 7266 NEW BEST:: SOT 3228358 SOS 1047766 HAS SOPS 1047766 HAS SOUS 309752 HAS SOUPS 309752 WITH SCORE 310799.766
AT ITER 7271 NEW BEST:: SOT 3228382 SOS 1047382 HAS SOPS 1047382 HAS SOUS 309647 HAS SOUPS 309647 WITH SCORE 310694.382
AT ITER 7289 NEW BEST:: SOT 3228312 SOS 1047351 HAS SOPS 1047351 HAS SOUS 309563 HAS SOUPS 309563 WITH SCORE 310610.351
AT ITER 7337 NEW BEST:: SOT 3228142 SOS 1047181 HAS SOPS 1047181 HAS SOUS 309393 HAS SOUPS 309393 WITH SCORE 310440.181
AT ITER 7342 NEW BEST:: SOT 3228080 SOS 1047168 HAS SOPS 1047168 HAS SOUS 309331 HAS SOUPS 309331 WITH SCORE 310378.168
AT ITER 7352 NEW BEST:: SOT 3228080 SOS 1047168 HAS SOPS 1047168 HAS SOUS 309307 HAS SOUPS 309307 WITH SCORE 310354.168
AT ITER 7380 NEW BEST:: SOT 3228079 SOS 1047166 HAS SOPS 1047166 HAS SOUS 309305 HAS SOUPS 309305 WITH SCORE 310352.166
AT ITER 7422 NEW BEST:: SOT 3227968 SOS 1046405 HAS SOPS 1046405 HAS SOUS 309114 HAS SOUPS 309114 WITH SCORE 310160.405
AT ITER 7431 NEW BEST:: SOT 3227952 SOS 1046373 HAS SOPS 1046373 HAS SOUS 308996 HAS SOUPS 308996 WITH SCORE 310042.373
AT ITER 7485 NEW BEST:: SOT 3227983 SOS 1046378 HAS SOPS 1046378 HAS SOUS 308970 HAS SOUPS 308970 WITH SCORE 310016.378
AT ITER 7508 NEW BEST:: SOT 3227827 SOS 1046566 HAS SOPS 1046566 HAS SOUS 308915 HAS SOUPS 308915 WITH SCORE 309961.566
AT ITER 7558 NEW BEST:: SOT 3227827 SOS 1046391 HAS SOPS 1046391 HAS SOUS 308915 HAS SOUPS 308915 WITH SCORE 309961.391
AT ITER 7564 NEW BEST:: SOT 3227823 SOS 1046383 HAS SOPS 1046383 HAS SOUS 308915 HAS SOUPS 308915 WITH SCORE 309961.383
AT ITER 7565 NEW BEST:: SOT 3227823 SOS 1060802 HAS SOPS 1060802 HAS SOUS 308634 HAS SOUPS 308634 WITH SCORE 309694.802
AT ITER 7575 NEW BEST:: SOT 3227792 SOS 1060740 HAS SOPS 1060740 HAS SOUS 308603 HAS SOUPS 308603 WITH SCORE 309663.74
AT ITER 7621 NEW BEST:: SOT 3227776 SOS 1060708 HAS SOPS 1060708 HAS SOUS 308571 HAS SOUPS 308571 WITH SCORE 309631.708
AT ITER 7624 NEW BEST:: SOT 3227780 SOS 1060534 HAS SOPS 1060534 HAS SOUS 308554 HAS SOUPS 308554 WITH SCORE 309614.534
AT ITER 7625 NEW BEST:: SOT 3227714 SOS 1060402 HAS SOPS 1060402 HAS SOUS 308422 HAS SOUPS 308422 WITH SCORE 309482.402
AT ITER 7640 NEW BEST:: SOT 3227665 SOS 1059494 HAS SOPS 1059494 HAS SOUS 308373 HAS SOUPS 308373 WITH SCORE 309432.494
AT ITER 7670 NEW BEST:: SOT 3227399 SOS 1058998 HAS SOPS 1058998 HAS SOUS 308263 HAS SOUPS 308263 WITH SCORE 309321.998
AT ITER 7720 NEW BEST:: SOT 3227367 SOS 1059350 HAS SOPS 1059350 HAS SOUS 308231 HAS SOUPS 308231 WITH SCORE 309290.35
AT ITER 7723 NEW BEST:: SOT 3227366 SOS 1059348 HAS SOPS 1059348 HAS SOUS 308229 HAS SOUPS 308229 WITH SCORE 309288.348
AT ITER 7732 NEW BEST:: SOT 3227267 SOS 1059150 HAS SOPS 1059150 HAS SOUS 308031 HAS SOUPS 308031 WITH SCORE 309090.15
AT ITER 7737 NEW BEST:: SOT 3227253 SOS 1059143 HAS SOPS 1059143 HAS SOUS 308010 HAS SOUPS 308010 WITH SCORE 309069.143
AT ITER 7767 NEW BEST:: SOT 3227237 SOS 1059111 HAS SOPS 1059111 HAS SOUS 307978 HAS SOUPS 307978 WITH SCORE 309037.111
AT ITER 7783 NEW BEST:: SOT 3226866 SOS 1058941 HAS SOPS 1058941 HAS SOUS 307716 HAS SOUPS 307716 WITH SCORE 308774.941
AT ITER 7787 NEW BEST:: SOT 3226233 SOS 1058448 HAS SOPS 1058448 HAS SOUS 307409 HAS SOUPS 307409 WITH SCORE 308467.448
AT ITER 7790 NEW BEST:: SOT 3226173 SOS 1058328 HAS SOPS 1058328 HAS SOUS 307289 HAS SOUPS 307289 WITH SCORE 308347.328
AT ITER 7801 NEW BEST:: SOT 3226173 SOS 1058393 HAS SOPS 1058393 HAS SOUS 307278 HAS SOUPS 307278 WITH SCORE 308336.393
AT ITER 7828 NEW BEST:: SOT 3226154 SOS 1058355 HAS SOPS 1058355 HAS SOUS 307240 HAS SOUPS 307240 WITH SCORE 308298.355
AT ITER 7855 NEW BEST:: SOT 3226060 SOS 1058167 HAS SOPS 1058167 HAS SOUS 307215 HAS SOUPS 307215 WITH SCORE 308273.167
AT ITER 7871 NEW BEST:: SOT 3226043 SOS 1058201 HAS SOPS 1058201 HAS SOUS 307181 HAS SOUPS 307181 WITH SCORE 308239.201
AT ITER 7882 NEW BEST:: SOT 3225996 SOS 1058107 HAS SOPS 1058107 HAS SOUS 307087 HAS SOUPS 307087 WITH SCORE 308145.107
AT ITER 7888 NEW BEST:: SOT 3225826 SOS 1057668 HAS SOPS 1057668 HAS SOUS 306788 HAS SOUPS 306788 WITH SCORE 307845.668
AT ITER 7891 NEW BEST:: SOT 3225803 SOS 1057557 HAS SOPS 1057557 HAS SOUS 306729 HAS SOUPS 306729 WITH SCORE 307786.557
AT ITER 7909 NEW BEST:: SOT 3225803 SOS 1057506 HAS SOPS 1057506 HAS SOUS 306678 HAS SOUPS 306678 WITH SCORE 307735.506
AT ITER 7973 NEW BEST:: SOT 3225803 SOS 1057388 HAS SOPS 1057388 HAS SOUS 306655 HAS SOUPS 306655 WITH SCORE 307712.388
AT ITER 8012 NEW BEST:: SOT 3225791 SOS 1057377 HAS SOPS 1057377 HAS SOUS 306644 HAS SOUPS 306644 WITH SCORE 307701.377
AT ITER 8022 NEW BEST:: SOT 3225781 SOS 1057361 HAS SOPS 1057361 HAS SOUS 306638 HAS SOUPS 306638 WITH SCORE 307695.361
AT ITER 8059 NEW BEST:: SOT 3225528 SOS 1056855 HAS SOPS 1056855 HAS SOUS 306224 HAS SOUPS 306224 WITH SCORE 307280.855
AT ITER 8061 NEW BEST:: SOT 3225514 SOS 1056841 HAS SOPS 1056841 HAS SOUS 306210 HAS SOUPS 306210 WITH SCORE 307266.841
AT ITER 8084 NEW BEST:: SOT 3225511 SOS 1056835 HAS SOPS 1056835 HAS SOUS 306204 HAS SOUPS 306204 WITH SCORE 307260.835
AT ITER 8095 NEW BEST:: SOT 3225512 SOS 1056834 HAS SOPS 1056834 HAS SOUS 306204 HAS SOUPS 306204 WITH SCORE 307260.834
AT ITER 8107 NEW BEST:: SOT 3225511 SOS 1056832 HAS SOPS 1056832 HAS SOUS 306202 HAS SOUPS 306202 WITH SCORE 307258.832
AT ITER 8114 NEW BEST:: SOT 3225501 SOS 1056812 HAS SOPS 1056812 HAS SOUS 306182 HAS SOUPS 306182 WITH SCORE 307238.812
AT ITER 8125 NEW BEST:: SOT 3225490 SOS 1056790 HAS SOPS 1056790 HAS SOUS 306160 HAS SOUPS 306160 WITH SCORE 307216.79
AT ITER 8139 NEW BEST:: SOT 3225490 SOS 1056774 HAS SOPS 1056774 HAS SOUS 306144 HAS SOUPS 306144 WITH SCORE 307200.774
AT ITER 8143 NEW BEST:: SOT 3225549 SOS 1056892 HAS SOPS 1056892 HAS SOUS 306081 HAS SOUPS 306081 WITH SCORE 307137.892
AT ITER 8193 NEW BEST:: SOT 3225429 SOS 1056839 HAS SOPS 1056839 HAS SOUS 306028 HAS SOUPS 306028 WITH SCORE 307084.839
AT ITER 8196 NEW BEST:: SOT 3225426 SOS 1056833 HAS SOPS 1056833 HAS SOUS 306022 HAS SOUPS 306022 WITH SCORE 307078.833
AT ITER 8225 NEW BEST:: SOT 3225391 SOS 1056763 HAS SOPS 1056763 HAS SOUS 305945 HAS SOUPS 305945 WITH SCORE 307001.763
AT ITER 8263 NEW BEST:: SOT 3225391 SOS 1056779 HAS SOPS 1056779 HAS SOUS 305929 HAS SOUPS 305929 WITH SCORE 306985.779
AT ITER 8296 NEW BEST:: SOT 3225304 SOS 1056605 HAS SOPS 1056605 HAS SOUS 305747 HAS SOUPS 305747 WITH SCORE 306803.605
AT ITER 8338 NEW BEST:: SOT 3225237 SOS 1056286 HAS SOPS 1056286 HAS SOUS 305680 HAS SOUPS 305680 WITH SCORE 306736.286
AT ITER 8380 NEW BEST:: SOT 3225237 SOS 1056286 HAS SOPS 1056286 HAS SOUS 305660 HAS SOUPS 305660 WITH SCORE 306716.286
AT ITER 8385 NEW BEST:: SOT 3225144 SOS 1056100 HAS SOPS 1056100 HAS SOUS 305567 HAS SOUPS 305567 WITH SCORE 306623.1
AT ITER 8391 NEW BEST:: SOT 3225050 SOS 1056006 HAS SOPS 1056006 HAS SOUS 305473 HAS SOUPS 305473 WITH SCORE 306529.006
AT ITER 8437 NEW BEST:: SOT 3225014 SOS 1055934 HAS SOPS 1055934 HAS SOUS 305401 HAS SOUPS 305401 WITH SCORE 306456.934
AT ITER 8461 NEW BEST:: SOT 3225014 SOS 1055544 HAS SOPS 1055544 HAS SOUS 305371 HAS SOUPS 305371 WITH SCORE 306426.544
AT ITER 8510 NEW BEST:: SOT 3224688 SOS 1055347 HAS SOPS 1055347 HAS SOUS 305365 HAS SOUPS 305365 WITH SCORE 306420.347
AT ITER 8514 NEW BEST:: SOT 3224688 SOS 1055347 HAS SOPS 1055347 HAS SOUS 305364 HAS SOUPS 305364 WITH SCORE 306419.347
AT ITER 8537 NEW BEST:: SOT 3224675 SOS 1055334 HAS SOPS 1055334 HAS SOUS 305343 HAS SOUPS 305343 WITH SCORE 306398.334
AT ITER 8556 NEW BEST:: SOT 3224665 SOS 1055434 HAS SOPS 1055434 HAS SOUS 305323 HAS SOUPS 305323 WITH SCORE 306378.434
AT ITER 8567 NEW BEST:: SOT 3224530 SOS 1055177 HAS SOPS 1055177 HAS SOUS 305127 HAS SOUPS 305127 WITH SCORE 306182.177
AT ITER 8613 NEW BEST:: SOT 3224458 SOS 1055210 HAS SOPS 1055210 HAS SOUS 305041 HAS SOUPS 305041 WITH SCORE 306096.21
AT ITER 8631 NEW BEST:: SOT 3224448 SOS 1055190 HAS SOPS 1055190 HAS SOUS 305031 HAS SOUPS 305031 WITH SCORE 306086.19
AT ITER 8636 NEW BEST:: SOT 3224448 SOS 1055172 HAS SOPS 1055172 HAS SOUS 305022 HAS SOUPS 305022 WITH SCORE 306077.172
AT ITER 8642 NEW BEST:: SOT 3224348 SOS 1055072 HAS SOPS 1055072 HAS SOUS 304921 HAS SOUPS 304921 WITH SCORE 305976.072
AT ITER 8661 NEW BEST:: SOT 3224328 SOS 1055032 HAS SOPS 1055032 HAS SOUS 304881 HAS SOUPS 304881 WITH SCORE 305936.032
AT ITER 8679 NEW BEST:: SOT 3224363 SOS 1055031 HAS SOPS 1055031 HAS SOUS 304809 HAS SOUPS 304809 WITH SCORE 305864.031
AT ITER 8695 NEW BEST:: SOT 3224284 SOS 1054873 HAS SOPS 1054873 HAS SOUS 304809 HAS SOUPS 304809 WITH SCORE 305863.873
AT ITER 8712 NEW BEST:: SOT 3224240 SOS 1054829 HAS SOPS 1054829 HAS SOUS 304765 HAS SOUPS 304765 WITH SCORE 305819.829
AT ITER 8713 NEW BEST:: SOT 3224240 SOS 1054797 HAS SOPS 1054797 HAS SOUS 304765 HAS SOUPS 304765 WITH SCORE 305819.797
AT ITER 8742 NEW BEST:: SOT 3224214 SOS 1054937 HAS SOPS 1054937 HAS SOUS 304739 HAS SOUPS 304739 WITH SCORE 305793.937
AT ITER 8747 NEW BEST:: SOT 3224192 SOS 1054893 HAS SOPS 1054893 HAS SOUS 304690 HAS SOUPS 304690 WITH SCORE 305744.893
AT ITER 8767 NEW BEST:: SOT 3224138 SOS 1054785 HAS SOPS 1054785 HAS SOUS 304582 HAS SOUPS 304582 WITH SCORE 305636.785
AT ITER 8784 NEW BEST:: SOT 3224215 SOS 1054708 HAS SOPS 1054708 HAS SOUS 304582 HAS SOUPS 304582 WITH SCORE 305636.708
AT ITER 8796 NEW BEST:: SOT 3224215 SOS 1054708 HAS SOPS 1054708 HAS SOUS 304544 HAS SOUPS 304544 WITH SCORE 305598.708
AT ITER 8801 NEW BEST:: SOT 3224215 SOS 1054708 HAS SOPS 1054708 HAS SOUS 304508 HAS SOUPS 304508 WITH SCORE 305562.708
AT ITER 8812 NEW BEST:: SOT 3224010 SOS 1054298 HAS SOPS 1054298 HAS SOUS 304097 HAS SOUPS 304097 WITH SCORE 305151.298
AT ITER 8890 NEW BEST:: SOT 3223943 SOS 1053702 HAS SOPS 1053702 HAS SOUS 304030 HAS SOUPS 304030 WITH SCORE 305083.702
AT ITER 8901 NEW BEST:: SOT 3224013 SOS 1053750 HAS SOPS 1053750 HAS SOUS 303732 HAS SOUPS 303732 WITH SCORE 304785.75
AT ITER 8920 NEW BEST:: SOT 3224007 SOS 1053432 HAS SOPS 1053432 HAS SOUS 303701 HAS SOUPS 303701 WITH SCORE 304754.432
AT ITER 8943 NEW BEST:: SOT 3223838 SOS 1053337 HAS SOPS 1053337 HAS SOUS 303594 HAS SOUPS 303594 WITH SCORE 304647.337
AT ITER 8944 NEW BEST:: SOT 3223733 SOS 1053442 HAS SOPS 1053442 HAS SOUS 303489 HAS SOUPS 303489 WITH SCORE 304542.442
AT ITER 8954 NEW BEST:: SOT 3223586 SOS 1052687 HAS SOPS 1052687 HAS SOUS 303461 HAS SOUPS 303461 WITH SCORE 304513.687
AT ITER 8988 NEW BEST:: SOT 3223539 SOS 1052593 HAS SOPS 1052593 HAS SOUS 303453 HAS SOUPS 303453 WITH SCORE 304505.593
AT ITER 8995 NEW BEST:: SOT 3223433 SOS 1052251 HAS SOPS 1052251 HAS SOUS 303339 HAS SOUPS 303339 WITH SCORE 304391.251
AT ITER 9007 NEW BEST:: SOT 3223454 SOS 1052227 HAS SOPS 1052227 HAS SOUS 303327 HAS SOUPS 303327 WITH SCORE 304379.227
AT ITER 9009 NEW BEST:: SOT 3223427 SOS 1052173 HAS SOPS 1052173 HAS SOUS 303273 HAS SOUPS 303273 WITH SCORE 304325.173
AT ITER 9017 NEW BEST:: SOT 3223432 SOS 1051979 HAS SOPS 1051979 HAS SOUS 303127 HAS SOUPS 303127 WITH SCORE 304178.979
AT ITER 9024 NEW BEST:: SOT 3223402 SOS 1051919 HAS SOPS 1051919 HAS SOUS 303097 HAS SOUPS 303097 WITH SCORE 304148.919
AT ITER 9047 NEW BEST:: SOT 3223249 SOS 1051969 HAS SOPS 1051969 HAS SOUS 303035 HAS SOUPS 303035 WITH SCORE 304086.969
AT ITER 9050 NEW BEST:: SOT 3223097 SOS 1052118 HAS SOPS 1052118 HAS SOUS 303028 HAS SOUPS 303028 WITH SCORE 304080.118
AT ITER 9064 NEW BEST:: SOT 3223082 SOS 1052103 HAS SOPS 1052103 HAS SOUS 303028 HAS SOUPS 303028 WITH SCORE 304080.103
AT ITER 9073 NEW BEST:: SOT 3223079 SOS 1052103 HAS SOPS 1052103 HAS SOUS 303025 HAS SOUPS 303025 WITH SCORE 304077.103
AT ITER 9113 NEW BEST:: SOT 3223055 SOS 1052055 HAS SOPS 1052055 HAS SOUS 302977 HAS SOUPS 302977 WITH SCORE 304029.055
AT ITER 9121 NEW BEST:: SOT 3223046 SOS 1052046 HAS SOPS 1052046 HAS SOUS 302959 HAS SOUPS 302959 WITH SCORE 304011.046
AT ITER 9134 NEW BEST:: SOT 3223044 SOS 1052044 HAS SOPS 1052044 HAS SOUS 302957 HAS SOUPS 302957 WITH SCORE 304009.044
AT ITER 9182 NEW BEST:: SOT 3223052 SOS 1052060 HAS SOPS 1052060 HAS SOUS 302827 HAS SOUPS 302827 WITH SCORE 303879.06
AT ITER 9195 NEW BEST:: SOT 3223052 SOS 1052060 HAS SOPS 1052060 HAS SOUS 302756 HAS SOUPS 302756 WITH SCORE 303808.06
AT ITER 9196 NEW BEST:: SOT 3222725 SOS 1052459 HAS SOPS 1052459 HAS SOUS 302723 HAS SOUPS 302723 WITH SCORE 303775.459
AT ITER 9203 NEW BEST:: SOT 3222677 SOS 1052507 HAS SOPS 1052507 HAS SOUS 302675 HAS SOUPS 302675 WITH SCORE 303727.507
AT ITER 9235 NEW BEST:: SOT 3222677 SOS 1052465 HAS SOPS 1052465 HAS SOUS 302675 HAS SOUPS 302675 WITH SCORE 303727.465
AT ITER 9243 NEW BEST:: SOT 3222628 SOS 1052469 HAS SOPS 1052469 HAS SOUS 302611 HAS SOUPS 302611 WITH SCORE 303663.469
AT ITER 9293 NEW BEST:: SOT 3222533 SOS 1052279 HAS SOPS 1052279 HAS SOUS 302421 HAS SOUPS 302421 WITH SCORE 303473.279
AT ITER 9299 NEW BEST:: SOT 3222519 SOS 1052265 HAS SOPS 1052265 HAS SOUS 302407 HAS SOUPS 302407 WITH SCORE 303459.265
AT ITER 9300 NEW BEST:: SOT 3222473 SOS 1052173 HAS SOPS 1052173 HAS SOUS 302217 HAS SOUPS 302217 WITH SCORE 303269.173
AT ITER 9320 NEW BEST:: SOT 3222471 SOS 1052145 HAS SOPS 1052145 HAS SOUS 302216 HAS SOUPS 302216 WITH SCORE 303268.145
AT ITER 9339 NEW BEST:: SOT 3222471 SOS 1052145 HAS SOPS 1052145 HAS SOUS 302203 HAS SOUPS 302203 WITH SCORE 303255.145
AT ITER 9373 NEW BEST:: SOT 3222331 SOS 1051615 HAS SOPS 1051615 HAS SOUS 302094 HAS SOUPS 302094 WITH SCORE 303145.615
AT ITER 9382 NEW BEST:: SOT 3222335 SOS 1051619 HAS SOPS 1051619 HAS SOUS 302058 HAS SOUPS 302058 WITH SCORE 303109.619
AT ITER 9402 NEW BEST:: SOT 3222320 SOS 1051425 HAS SOPS 1051425 HAS SOUS 301869 HAS SOUPS 301869 WITH SCORE 302920.425
AT ITER 9420 NEW BEST:: SOT 3222320 SOS 1051345 HAS SOPS 1051345 HAS SOUS 301869 HAS SOUPS 301869 WITH SCORE 302920.345
AT ITER 9424 NEW BEST:: SOT 3222310 SOS 1051330 HAS SOPS 1051330 HAS SOUS 301859 HAS SOUPS 301859 WITH SCORE 302910.33
AT ITER 9426 NEW BEST:: SOT 3222503 SOS 1051716 HAS SOPS 1051716 HAS SOUS 301622 HAS SOUPS 301622 WITH SCORE 302673.716
AT ITER 9436 NEW BEST:: SOT 3222502 SOS 1051714 HAS SOPS 1051714 HAS SOUS 301622 HAS SOUPS 301622 WITH SCORE 302673.714
AT ITER 9453 NEW BEST:: SOT 3222502 SOS 1051714 HAS SOPS 1051714 HAS SOUS 301585 HAS SOUPS 301585 WITH SCORE 302636.714
AT ITER 9463 NEW BEST:: SOT 3222402 SOS 1051640 HAS SOPS 1051640 HAS SOUS 301511 HAS SOUPS 301511 WITH SCORE 302562.64
AT ITER 9497 NEW BEST:: SOT 3222282 SOS 1051400 HAS SOPS 1051400 HAS SOUS 301248 HAS SOUPS 301248 WITH SCORE 302299.4
AT ITER 9505 NEW BEST:: SOT 3222282 SOS 1051003 HAS SOPS 1051003 HAS SOUS 301134 HAS SOUPS 301134 WITH SCORE 302185.003
AT ITER 9524 NEW BEST:: SOT 3222255 SOS 1050949 HAS SOPS 1050949 HAS SOUS 301107 HAS SOUPS 301107 WITH SCORE 302157.949
AT ITER 9542 NEW BEST:: SOT 3221981 SOS 1052249 HAS SOPS 1052249 HAS SOUS 300938 HAS SOUPS 300938 WITH SCORE 301990.249
AT ITER 9556 NEW BEST:: SOT 3222005 SOS 1051728 HAS SOPS 1051728 HAS SOUS 300938 HAS SOUPS 300938 WITH SCORE 301989.728
AT ITER 9590 NEW BEST:: SOT 3221949 SOS 1051656 HAS SOPS 1051656 HAS SOUS 300882 HAS SOUPS 300882 WITH SCORE 301933.656
AT ITER 9603 NEW BEST:: SOT 3221949 SOS 1051509 HAS SOPS 1051509 HAS SOUS 300882 HAS SOUPS 300882 WITH SCORE 301933.509
AT ITER 9612 NEW BEST:: SOT 3221912 SOS 1051472 HAS SOPS 1051472 HAS SOUS 300867 HAS SOUPS 300867 WITH SCORE 301918.472
AT ITER 9626 NEW BEST:: SOT 3221912 SOS 1051341 HAS SOPS 1051341 HAS SOUS 300736 HAS SOUPS 300736 WITH SCORE 301787.341
AT ITER 9631 NEW BEST:: SOT 3221912 SOS 1051788 HAS SOPS 1051788 HAS SOUS 300703 HAS SOUPS 300703 WITH SCORE 301754.788
AT ITER 9632 NEW BEST:: SOT 3221912 SOS 1051727 HAS SOPS 1051727 HAS SOUS 300703 HAS SOUPS 300703 WITH SCORE 301754.727
AT ITER 9635 NEW BEST:: SOT 3221900 SOS 1051703 HAS SOPS 1051703 HAS SOUS 300679 HAS SOUPS 300679 WITH SCORE 301730.703
AT ITER 9673 NEW BEST:: SOT 3221868 SOS 1051703 HAS SOPS 1051703 HAS SOUS 300631 HAS SOUPS 300631 WITH SCORE 301682.703
AT ITER 9688 NEW BEST:: SOT 3221868 SOS 1051703 HAS SOPS 1051703 HAS SOUS 300606 HAS SOUPS 300606 WITH SCORE 301657.703
AT ITER 9693 NEW BEST:: SOT 3221868 SOS 1051700 HAS SOPS 1051700 HAS SOUS 300603 HAS SOUPS 300603 WITH SCORE 301654.7
AT ITER 9703 NEW BEST:: SOT 3221868 SOS 1051712 HAS SOPS 1051712 HAS SOUS 300593 HAS SOUPS 300593 WITH SCORE 301644.712
AT ITER 9716 NEW BEST:: SOT 3221835 SOS 1051679 HAS SOPS 1051679 HAS SOUS 300582 HAS SOUPS 300582 WITH SCORE 301633.679
AT ITER 9728 NEW BEST:: SOT 3221780 SOS 1051899 HAS SOPS 1051899 HAS SOUS 300527 HAS SOUPS 300527 WITH SCORE 301578.899
AT ITER 9730 NEW BEST:: SOT 3221787 SOS 1051892 HAS SOPS 1051892 HAS SOUS 300520 HAS SOUPS 300520 WITH SCORE 301571.892
AT ITER 9742 NEW BEST:: SOT 3221637 SOS 1051669 HAS SOPS 1051669 HAS SOUS 300297 HAS SOUPS 300297 WITH SCORE 301348.669
AT ITER 9749 NEW BEST:: SOT 3221615 SOS 1051643 HAS SOPS 1051643 HAS SOUS 300271 HAS SOUPS 300271 WITH SCORE 301322.643
AT ITER 9770 NEW BEST:: SOT 3221713 SOS 1072251 HAS SOPS 1072251 HAS SOUS 300234 HAS SOUPS 300234 WITH SCORE 301306.251
AT ITER 9776 NEW BEST:: SOT 3221661 SOS 1071535 HAS SOPS 1071535 HAS SOUS 300198 HAS SOUPS 300198 WITH SCORE 301269.535
AT ITER 9784 NEW BEST:: SOT 3221627 SOS 1071467 HAS SOPS 1071467 HAS SOUS 300164 HAS SOUPS 300164 WITH SCORE 301235.467
AT ITER 9806 NEW BEST:: SOT 3221627 SOS 1071467 HAS SOPS 1071467 HAS SOUS 300155 HAS SOUPS 300155 WITH SCORE 301226.467
AT ITER 9834 NEW BEST:: SOT 3221627 SOS 1071463 HAS SOPS 1071463 HAS SOUS 300151 HAS SOUPS 300151 WITH SCORE 301222.463
AT ITER 9848 NEW BEST:: SOT 3221614 SOS 1071437 HAS SOPS 1071437 HAS SOUS 300125 HAS SOUPS 300125 WITH SCORE 301196.437
AT ITER 9850 NEW BEST:: SOT 3221531 SOS 1071354 HAS SOPS 1071354 HAS SOUS 300042 HAS SOUPS 300042 WITH SCORE 301113.354
AT ITER 9853 NEW BEST:: SOT 3221758 SOS 1071808 HAS SOPS 1071808 HAS SOUS 300035 HAS SOUPS 300035 WITH SCORE 301106.808
AT ITER 9860 NEW BEST:: SOT 3221694 SOS 1071680 HAS SOPS 1071680 HAS SOUS 299903 HAS SOUPS 299903 WITH SCORE 300974.68
AT ITER 9883 NEW BEST:: SOT 3221616 SOS 1075954 HAS SOPS 1075954 HAS SOUS 299837 HAS SOUPS 299837 WITH SCORE 300912.954
AT ITER 9901 NEW BEST:: SOT 3221804 SOS 1075940 HAS SOPS 1075940 HAS SOUS 299830 HAS SOUPS 299830 WITH SCORE 300905.94
AT ITER 9933 NEW BEST:: SOT 3221804 SOS 1076034 HAS SOPS 1076034 HAS SOUS 299813 HAS SOUPS 299813 WITH SCORE 300889.034
AT ITER 9959 NEW BEST:: SOT 3221659 SOS 1075744 HAS SOPS 1075744 HAS SOUS 299813 HAS SOUPS 299813 WITH SCORE 300888.744
AT ITER 9964 NEW BEST:: SOT 3221655 SOS 1075740 HAS SOPS 1075740 HAS SOUS 299813 HAS SOUPS 299813 WITH SCORE 300888.74
AT ITER 9975 NEW BEST:: SOT 3221655 SOS 1075855 HAS SOPS 1075855 HAS SOUS 299790 HAS SOUPS 299790 WITH SCORE 300865.855
AT ITER 9977 NEW BEST:: SOT 3221590 SOS 1075725 HAS SOPS 1075725 HAS SOUS 299660 HAS SOUPS 299660 WITH SCORE 300735.725
AT ITER 9979 NEW BEST:: SOT 3221590 SOS 1075650 HAS SOPS 1075650 HAS SOUS 299660 HAS SOUPS 299660 WITH SCORE 300735.65
AT ITER 9980 NEW BEST:: SOT 3221490 SOS 1075450 HAS SOPS 1075450 HAS SOUS 299511 HAS SOUPS 299511 WITH SCORE 300586.45
AT ITER 9992 NEW BEST:: SOT 3221407 SOS 1075260 HAS SOPS 1075260 HAS SOUS 299361 HAS SOUPS 299361 WITH SCORE 300436.26
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 11381444 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16117096 kB

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="CloudDeployment-PT-5b"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is CloudDeployment-PT-5b, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r075-smll-167814401000424"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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