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.r363-smll-167891813900240.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 SafeBus-COL-20, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r363-smll-167891813900240
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 504K
-rw-r--r-- 1 mcc users 7.0K Feb 26 02:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 74K Feb 26 02:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.8K Feb 26 02:35 CTLFireability.txt
-rw-r--r-- 1 mcc users 38K Feb 26 02:35 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:49 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 16:49 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 26 04:05 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 135K Feb 26 04:05 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.8K Feb 26 03:59 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 82K Feb 26 03:59 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 42K Mar 5 18:23 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 1679064247034

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=SafeBus-COL-20
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-17 14:44:10] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-17 14:44:10] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-17 14:44:10] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-17 14:44:11] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-17 14:44:11] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 1046 ms
[2023-03-17 14:44:11] [INFO ] Detected 1 constant HL places corresponding to 20 PT places.
[2023-03-17 14:44:11] [INFO ] Imported 20 HL places and 14 HL transitions for a total of 1046 PT places and 179241.0 transition bindings in 43 ms.
[2023-03-17 14:44:12] [INFO ] Unfolded HLPN to a Petri net with 1046 places and 10501 transitions 76784 arcs in 356 ms.
[2023-03-17 14:44:12] [INFO ] Unfolded 0 HLPN properties in 1 ms.
[2023-03-17 14:44:12] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1046 places, 10501 transitions and 76784 arcs took 178 ms.
Total runtime 1829 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SafeBus (COL), instance 20
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: 1046 places, 10501 transitions, 76784 arcs.
AT ITER 0 NEW BEST:: SOT 5489092 SOS 4518337 HAS SOPS 4513957 HAS SOUS 899389 HAS SOUPS 898471 WITH SCORE 902989.337
AT ITER 10 NEW BEST:: SOT 5491151 SOS 4520286 HAS SOPS 4515630 HAS SOUS 897537 HAS SOUPS 896343 WITH SCORE 900863.286
AT ITER 14 NEW BEST:: SOT 5490693 SOS 4519828 HAS SOPS 4515172 HAS SOUS 897079 HAS SOUPS 895885 WITH SCORE 900404.828
AT ITER 32 NEW BEST:: SOT 5490625 SOS 4519646 HAS SOPS 4514867 HAS SOUS 894619 HAS SOUPS 893302 WITH SCORE 897821.646
AT ITER 36 NEW BEST:: SOT 5490932 SOS 4519953 HAS SOPS 4515174 HAS SOUS 894352 HAS SOUPS 893035 WITH SCORE 897554.953
AT ITER 54 NEW BEST:: SOT 5491096 SOS 4520117 HAS SOPS 4515338 HAS SOUS 894214 HAS SOUPS 892897 WITH SCORE 897417.117
AT ITER 81 NEW BEST:: SOT 5491031 SOS 4526679 HAS SOPS 4521900 HAS SOUS 893847 HAS SOUPS 892530 WITH SCORE 897056.679
AT ITER 91 NEW BEST:: SOT 5490526 SOS 4526177 HAS SOPS 4521398 HAS SOUS 892111 HAS SOUPS 890794 WITH SCORE 895320.177
AT ITER 98 NEW BEST:: SOT 5491891 SOS 4527425 HAS SOPS 4522377 HAS SOUS 889094 HAS SOUPS 887508 WITH SCORE 892035.425
AT ITER 106 NEW BEST:: SOT 5491948 SOS 4532694 HAS SOPS 4527646 HAS SOUS 888954 HAS SOUPS 887368 WITH SCORE 891900.694
AT ITER 124 NEW BEST:: SOT 5491977 SOS 4532723 HAS SOPS 4527675 HAS SOUS 888925 HAS SOUPS 887339 WITH SCORE 891871.723
AT ITER 147 NEW BEST:: SOT 5491977 SOS 4532691 HAS SOPS 4527643 HAS SOUS 888925 HAS SOUPS 887339 WITH SCORE 891871.691
AT ITER 150 NEW BEST:: SOT 5491966 SOS 4532680 HAS SOPS 4527632 HAS SOUS 888903 HAS SOUPS 887317 WITH SCORE 891849.68
AT ITER 165 NEW BEST:: SOT 5492066 SOS 4532780 HAS SOPS 4527732 HAS SOUS 888840 HAS SOUPS 887254 WITH SCORE 891786.78
AT ITER 171 NEW BEST:: SOT 5492601 SOS 4533315 HAS SOPS 4528267 HAS SOUS 888661 HAS SOUPS 887075 WITH SCORE 891608.315
AT ITER 181 NEW BEST:: SOT 5492863 SOS 4533577 HAS SOPS 4528477 HAS SOUS 888092 HAS SOUPS 886454 WITH SCORE 890987.577
AT ITER 182 NEW BEST:: SOT 5492863 SOS 4533577 HAS SOPS 4528477 HAS SOUS 888037 HAS SOUPS 886399 WITH SCORE 890932.577
AT ITER 204 NEW BEST:: SOT 5492920 SOS 4533634 HAS SOPS 4528534 HAS SOUS 888005 HAS SOUPS 886367 WITH SCORE 890900.634
AT ITER 213 NEW BEST:: SOT 5493115 SOS 4533829 HAS SOPS 4528729 HAS SOUS 887849 HAS SOUPS 886211 WITH SCORE 890744.829
AT ITER 243 NEW BEST:: SOT 5492951 SOS 4533665 HAS SOPS 4528565 HAS SOUS 887603 HAS SOUPS 885965 WITH SCORE 890498.665
AT ITER 247 NEW BEST:: SOT 5486919 SOS 4527852 HAS SOPS 4522971 HAS SOUS 881628 HAS SOUPS 880209 WITH SCORE 884736.852
AT ITER 252 NEW BEST:: SOT 5486985 SOS 4527918 HAS SOPS 4523037 HAS SOUS 881565 HAS SOUPS 880146 WITH SCORE 884673.918
AT ITER 264 NEW BEST:: SOT 5486793 SOS 4527726 HAS SOPS 4522845 HAS SOUS 881369 HAS SOUPS 879950 WITH SCORE 884477.726
AT ITER 297 NEW BEST:: SOT 5486753 SOS 4527573 HAS SOPS 4522559 HAS SOUS 878764 HAS SOUPS 877212 WITH SCORE 881739.573
AT ITER 298 NEW BEST:: SOT 5486679 SOS 4527377 HAS SOPS 4522249 HAS SOUS 876467 HAS SOUPS 874801 WITH SCORE 879328.377
AT ITER 322 NEW BEST:: SOT 5486795 SOS 4527493 HAS SOPS 4522365 HAS SOUS 876358 HAS SOUPS 874692 WITH SCORE 879219.493
AT ITER 339 NEW BEST:: SOT 5486669 SOS 4527367 HAS SOPS 4522239 HAS SOUS 876232 HAS SOUPS 874566 WITH SCORE 879093.367
AT ITER 354 NEW BEST:: SOT 5486739 SOS 4527437 HAS SOPS 4522309 HAS SOUS 876226 HAS SOUPS 874560 WITH SCORE 879087.437
AT ITER 362 NEW BEST:: SOT 5486704 SOS 4527315 HAS SOPS 4522051 HAS SOUS 873592 HAS SOUPS 871790 WITH SCORE 876317.315
AT ITER 370 NEW BEST:: SOT 5487144 SOS 4527646 HAS SOPS 4522289 HAS SOUS 872458 HAS SOUPS 870563 WITH SCORE 875090.646
AT ITER 383 NEW BEST:: SOT 5479776 SOS 4520635 HAS SOPS 4515278 HAS SOUS 864803 HAS SOUPS 862908 WITH SCORE 867428.635
AT ITER 463 NEW BEST:: SOT 5479966 SOS 4520709 HAS SOPS 4515189 HAS SOUS 861990 HAS SOUPS 859932 WITH SCORE 864452.709
AT ITER 487 NEW BEST:: SOT 5479706 SOS 4520449 HAS SOPS 4514929 HAS SOUS 861719 HAS SOUPS 859661 WITH SCORE 864181.449
AT ITER 503 NEW BEST:: SOT 5480009 SOS 4520752 HAS SOPS 4515232 HAS SOUS 861441 HAS SOUPS 859383 WITH SCORE 863903.752
AT ITER 535 NEW BEST:: SOT 5480192 SOS 4520817 HAS SOPS 4515169 HAS SOUS 858888 HAS SOUPS 856702 WITH SCORE 861222.817
AT ITER 544 NEW BEST:: SOT 5480077 SOS 4522495 HAS SOPS 4516847 HAS SOUS 858666 HAS SOUPS 856480 WITH SCORE 861002.495
AT ITER 552 NEW BEST:: SOT 5480324 SOS 4522742 HAS SOPS 4517094 HAS SOUS 858435 HAS SOUPS 856249 WITH SCORE 860771.742
AT ITER 581 NEW BEST:: SOT 5481125 SOS 4481048 HAS SOPS 4475193 HAS SOUS 858629 HAS SOUPS 856236 WITH SCORE 860717.048
AT ITER 590 NEW BEST:: SOT 5368492 SOS 4368415 HAS SOPS 4362560 HAS SOUS 745499 HAS SOUPS 743106 WITH SCORE 747474.415
AT ITER 592 NEW BEST:: SOT 5368741 SOS 4368664 HAS SOPS 4362809 HAS SOUS 745250 HAS SOUPS 742857 WITH SCORE 747225.664
AT ITER 599 NEW BEST:: SOT 5368807 SOS 4368730 HAS SOPS 4362875 HAS SOUS 745184 HAS SOUPS 742791 WITH SCORE 747159.73
AT ITER 608 NEW BEST:: SOT 5368758 SOS 4368089 HAS SOPS 4362203 HAS SOUS 744597 HAS SOUPS 742173 WITH SCORE 746541.089
AT ITER 609 NEW BEST:: SOT 5368710 SOS 4366601 HAS SOPS 4360589 HAS SOUS 742140 HAS SOUPS 739590 WITH SCORE 743956.601
AT ITER 623 NEW BEST:: SOT 5366904 SOS 4363121 HAS SOPS 4357018 HAS SOUS 738418 HAS SOUPS 735777 WITH SCORE 740140.121
AT ITER 638 NEW BEST:: SOT 5366985 SOS 4363202 HAS SOPS 4357099 HAS SOUS 738337 HAS SOUPS 735696 WITH SCORE 740059.202
AT ITER 658 NEW BEST:: SOT 5367289 SOS 4363506 HAS SOPS 4357329 HAS SOUS 737424 HAS SOUPS 734709 WITH SCORE 739072.506
AT ITER 686 NEW BEST:: SOT 5367249 SOS 4363430 HAS SOPS 4357251 HAS SOUS 737424 HAS SOUPS 734707 WITH SCORE 739070.43
AT ITER 713 NEW BEST:: SOT 5367379 SOS 4363560 HAS SOPS 4357381 HAS SOUS 737294 HAS SOUPS 734577 WITH SCORE 738940.56
AT ITER 762 NEW BEST:: SOT 5367522 SOS 4363703 HAS SOPS 4357524 HAS SOUS 737170 HAS SOUPS 734453 WITH SCORE 738816.703
AT ITER 772 NEW BEST:: SOT 5367468 SOS 4363649 HAS SOPS 4357470 HAS SOUS 737089 HAS SOUPS 734372 WITH SCORE 738735.649
AT ITER 781 NEW BEST:: SOT 5367344 SOS 4363525 HAS SOPS 4357346 HAS SOUS 736965 HAS SOUPS 734248 WITH SCORE 738611.525
AT ITER 812 NEW BEST:: SOT 5370066 SOS 4365526 HAS SOPS 4359017 HAS SOUS 735890 HAS SOUPS 732843 WITH SCORE 737208.526
AT ITER 822 NEW BEST:: SOT 5370141 SOS 4365601 HAS SOPS 4359092 HAS SOUS 735081 HAS SOUPS 732034 WITH SCORE 736399.601
AT ITER 830 NEW BEST:: SOT 5370141 SOS 4365599 HAS SOPS 4359090 HAS SOUS 735080 HAS SOUPS 732033 WITH SCORE 736398.599
AT ITER 834 NEW BEST:: SOT 5372747 SOS 4368205 HAS SOPS 4361468 HAS SOUS 735196 HAS SOUPS 731921 WITH SCORE 736289.205
AT ITER 837 NEW BEST:: SOT 5372703 SOS 4374044 HAS SOPS 4367307 HAS SOUS 735159 HAS SOUPS 731884 WITH SCORE 736258.044
AT ITER 851 NEW BEST:: SOT 5372633 SOS 4373974 HAS SOPS 4367237 HAS SOUS 735087 HAS SOUPS 731812 WITH SCORE 736185.974
AT ITER 862 NEW BEST:: SOT 5372625 SOS 4373966 HAS SOPS 4367229 HAS SOUS 735075 HAS SOUPS 731800 WITH SCORE 736173.966
AT ITER 869 NEW BEST:: SOT 5372600 SOS 4373941 HAS SOPS 4367204 HAS SOUS 735061 HAS SOUPS 731786 WITH SCORE 736159.941
AT ITER 870 NEW BEST:: SOT 5372505 SOS 4373846 HAS SOPS 4367109 HAS SOUS 734892 HAS SOUPS 731617 WITH SCORE 735990.846
AT ITER 900 NEW BEST:: SOT 5374338 SOS 4374129 HAS SOPS 4367091 HAS SOUS 733262 HAS SOUPS 729686 WITH SCORE 734060.129
AT ITER 906 NEW BEST:: SOT 5375996 SOS 4374564 HAS SOPS 4367092 HAS SOUS 731413 HAS SOUPS 727403 WITH SCORE 731777.564
AT ITER 908 NEW BEST:: SOT 5375946 SOS 4374514 HAS SOPS 4367042 HAS SOUS 731338 HAS SOUPS 727328 WITH SCORE 731702.514
AT ITER 916 NEW BEST:: SOT 5375894 SOS 4374462 HAS SOPS 4366990 HAS SOUS 731284 HAS SOUPS 727274 WITH SCORE 731648.462
AT ITER 920 NEW BEST:: SOT 5373850 SOS 4372418 HAS SOPS 4365112 HAS SOUS 730840 HAS SOUPS 726996 WITH SCORE 731368.418
AT ITER 927 NEW BEST:: SOT 5290733 SOS 4307918 HAS SOPS 4303931 HAS SOUS 648444 HAS SOUPS 647919 WITH SCORE 652226.918
AT ITER 932 NEW BEST:: SOT 5290922 SOS 4313262 HAS SOPS 4309275 HAS SOUS 648352 HAS SOUPS 647827 WITH SCORE 652140.262
AT ITER 954 NEW BEST:: SOT 5290868 SOS 4313208 HAS SOPS 4309221 HAS SOUS 648271 HAS SOUPS 647746 WITH SCORE 652059.208
AT ITER 959 NEW BEST:: SOT 5290818 SOS 4313158 HAS SOPS 4309171 HAS SOUS 648196 HAS SOUPS 647671 WITH SCORE 651984.158
AT ITER 960 NEW BEST:: SOT 5290812 SOS 4313152 HAS SOPS 4309165 HAS SOUS 648188 HAS SOUPS 647663 WITH SCORE 651976.152
AT ITER 968 NEW BEST:: SOT 5290888 SOS 4313228 HAS SOPS 4309241 HAS SOUS 648112 HAS SOUPS 647587 WITH SCORE 651900.228
AT ITER 975 NEW BEST:: SOT 5290888 SOS 4313228 HAS SOPS 4309241 HAS SOUS 648111 HAS SOUPS 647586 WITH SCORE 651899.228
AT ITER 977 NEW BEST:: SOT 5290860 SOS 4317694 HAS SOPS 4313707 HAS SOUS 648052 HAS SOUPS 647527 WITH SCORE 651844.694
AT ITER 978 NEW BEST:: SOT 5290860 SOS 4317694 HAS SOPS 4313707 HAS SOUS 648035 HAS SOUPS 647510 WITH SCORE 651827.694
AT ITER 979 NEW BEST:: SOT 5290807 SOS 4317641 HAS SOPS 4313654 HAS SOUS 647982 HAS SOUPS 647457 WITH SCORE 651774.641
AT ITER 1003 NEW BEST:: SOT 5290797 SOS 4317631 HAS SOPS 4313644 HAS SOUS 647967 HAS SOUPS 647442 WITH SCORE 651759.631
AT ITER 1009 NEW BEST:: SOT 5290701 SOS 4317535 HAS SOPS 4313548 HAS SOUS 647860 HAS SOUPS 647335 WITH SCORE 651652.535
AT ITER 1013 NEW BEST:: SOT 5290674 SOS 4323153 HAS SOPS 4319166 HAS SOUS 647567 HAS SOUPS 647042 WITH SCORE 651365.153
AT ITER 1040 NEW BEST:: SOT 5290674 SOS 4409636 HAS SOPS 4405649 HAS SOUS 647370 HAS SOUPS 646845 WITH SCORE 651254.636
AT ITER 1043 NEW BEST:: SOT 5292371 SOS 4411333 HAS SOPS 4407346 HAS SOUS 647230 HAS SOUPS 646705 WITH SCORE 651116.333
AT ITER 1049 NEW BEST:: SOT 5293377 SOS 4412394 HAS SOPS 4408352 HAS SOUS 647191 HAS SOUPS 646611 WITH SCORE 651023.394
AT ITER 1052 NEW BEST:: SOT 5292266 SOS 4411283 HAS SOPS 4407241 HAS SOUS 646935 HAS SOUPS 646355 WITH SCORE 650766.283
AT ITER 1084 NEW BEST:: SOT 5292379 SOS 4411396 HAS SOPS 4407354 HAS SOUS 646851 HAS SOUPS 646271 WITH SCORE 650682.396
AT ITER 1101 NEW BEST:: SOT 5292499 SOS 4417600 HAS SOPS 4413558 HAS SOUS 646488 HAS SOUPS 645908 WITH SCORE 650325.6
AT ITER 1102 NEW BEST:: SOT 5292306 SOS 4417407 HAS SOPS 4413365 HAS SOUS 646195 HAS SOUPS 645615 WITH SCORE 650032.407
AT ITER 1104 NEW BEST:: SOT 5292016 SOS 4417117 HAS SOPS 4413075 HAS SOUS 645797 HAS SOUPS 645217 WITH SCORE 649634.117
AT ITER 1134 NEW BEST:: SOT 5291693 SOS 4416794 HAS SOPS 4412752 HAS SOUS 645474 HAS SOUPS 644894 WITH SCORE 649310.794
AT ITER 1168 NEW BEST:: SOT 5226908 SOS 4352179 HAS SOPS 4348137 HAS SOUS 578639 HAS SOUPS 578059 WITH SCORE 582411.179
AT ITER 1185 NEW BEST:: SOT 5226908 SOS 4354593 HAS SOPS 4350551 HAS SOUS 578635 HAS SOUPS 578055 WITH SCORE 582409.593
AT ITER 1190 NEW BEST:: SOT 5227029 SOS 4354714 HAS SOPS 4350672 HAS SOUS 578516 HAS SOUPS 577936 WITH SCORE 582290.714
AT ITER 1195 NEW BEST:: SOT 5230414 SOS 4356913 HAS SOPS 4352810 HAS SOUS 577398 HAS SOUPS 576757 WITH SCORE 581113.913
AT ITER 1197 NEW BEST:: SOT 5230425 SOS 4356924 HAS SOPS 4352821 HAS SOUS 577387 HAS SOUPS 576746 WITH SCORE 581102.924
AT ITER 1268 NEW BEST:: SOT 5228345 SOS 4354844 HAS SOPS 4350741 HAS SOUS 575109 HAS SOUPS 574468 WITH SCORE 578822.844
AT ITER 1271 NEW BEST:: SOT 5228321 SOS 4354820 HAS SOPS 4350717 HAS SOUS 575084 HAS SOUPS 574443 WITH SCORE 578797.82
AT ITER 1280 NEW BEST:: SOT 5228309 SOS 4354808 HAS SOPS 4350705 HAS SOUS 575066 HAS SOUPS 574425 WITH SCORE 578779.808
AT ITER 1322 NEW BEST:: SOT 5228470 SOS 4362466 HAS SOPS 4358363 HAS SOUS 575001 HAS SOUPS 574360 WITH SCORE 578722.466
AT ITER 1329 NEW BEST:: SOT 5227638 SOS 4361634 HAS SOPS 4357531 HAS SOUS 574181 HAS SOUPS 573540 WITH SCORE 577901.634
AT ITER 1334 NEW BEST:: SOT 5226098 SOS 4360094 HAS SOPS 4355991 HAS SOUS 572654 HAS SOUPS 572013 WITH SCORE 576373.094
AT ITER 1354 NEW BEST:: SOT 5225720 SOS 4359716 HAS SOPS 4355613 HAS SOUS 572133 HAS SOUPS 571492 WITH SCORE 575851.716
AT ITER 1366 NEW BEST:: SOT 5226907 SOS 4359700 HAS SOPS 4355597 HAS SOUS 569425 HAS SOUPS 568784 WITH SCORE 573143.7
AT ITER 1372 NEW BEST:: SOT 5226933 SOS 4359704 HAS SOPS 4355601 HAS SOUS 569402 HAS SOUPS 568761 WITH SCORE 573120.704
AT ITER 1394 NEW BEST:: SOT 5226805 SOS 4359576 HAS SOPS 4355473 HAS SOUS 569210 HAS SOUPS 568569 WITH SCORE 572928.576
AT ITER 1399 NEW BEST:: SOT 5226747 SOS 4359518 HAS SOPS 4355415 HAS SOUS 569123 HAS SOUPS 568482 WITH SCORE 572841.518
AT ITER 1424 NEW BEST:: SOT 5226725 SOS 4359496 HAS SOPS 4355393 HAS SOUS 569090 HAS SOUPS 568449 WITH SCORE 572808.496
AT ITER 1432 NEW BEST:: SOT 5226725 SOS 4359496 HAS SOPS 4355393 HAS SOUS 569075 HAS SOUPS 568434 WITH SCORE 572793.496
AT ITER 1434 NEW BEST:: SOT 5224833 SOS 4357514 HAS SOPS 4353501 HAS SOUS 566883 HAS SOUPS 566332 WITH SCORE 570689.514
AT ITER 1443 NEW BEST:: SOT 5224833 SOS 4362240 HAS SOPS 4358227 HAS SOUS 566868 HAS SOUPS 566317 WITH SCORE 570679.24
AT ITER 1484 NEW BEST:: SOT 5226747 SOS 4364154 HAS SOPS 4360141 HAS SOUS 566748 HAS SOUPS 566197 WITH SCORE 570561.154
AT ITER 1513 NEW BEST:: SOT 5226531 SOS 4363938 HAS SOPS 4359925 HAS SOUS 566475 HAS SOUPS 565924 WITH SCORE 570287.938
AT ITER 1517 NEW BEST:: SOT 5226904 SOS 4364311 HAS SOPS 4360298 HAS SOUS 566436 HAS SOUPS 565885 WITH SCORE 570249.311
AT ITER 1522 NEW BEST:: SOT 5227194 SOS 4378853 HAS SOPS 4374840 HAS SOUS 566381 HAS SOUPS 565830 WITH SCORE 570208.853
AT ITER 1527 NEW BEST:: SOT 5227194 SOS 4378291 HAS SOPS 4374278 HAS SOUS 566381 HAS SOUPS 565830 WITH SCORE 570208.291
AT ITER 1529 NEW BEST:: SOT 5227086 SOS 4378183 HAS SOPS 4374170 HAS SOUS 566219 HAS SOUPS 565668 WITH SCORE 570046.183
AT ITER 1536 NEW BEST:: SOT 5226910 SOS 4378007 HAS SOPS 4373994 HAS SOUS 566026 HAS SOUPS 565475 WITH SCORE 569853.007
AT ITER 1554 NEW BEST:: SOT 5226908 SOS 4379515 HAS SOPS 4375502 HAS SOUS 565947 HAS SOUPS 565396 WITH SCORE 569775.515
AT ITER 1564 NEW BEST:: SOT 5226860 SOS 4379467 HAS SOPS 4375454 HAS SOUS 565894 HAS SOUPS 565343 WITH SCORE 569722.467
AT ITER 1573 NEW BEST:: SOT 5226860 SOS 4379467 HAS SOPS 4375454 HAS SOUS 565892 HAS SOUPS 565341 WITH SCORE 569720.467
AT ITER 1591 NEW BEST:: SOT 5226646 SOS 4379253 HAS SOPS 4375240 HAS SOUS 565657 HAS SOUPS 565106 WITH SCORE 569485.253
AT ITER 1598 NEW BEST:: SOT 5226524 SOS 4379131 HAS SOPS 4375118 HAS SOUS 565535 HAS SOUPS 564984 WITH SCORE 569363.131
AT ITER 1608 NEW BEST:: SOT 5226413 SOS 4379020 HAS SOPS 4375007 HAS SOUS 565351 HAS SOUPS 564800 WITH SCORE 569179.02
AT ITER 1628 NEW BEST:: SOT 5233585 SOS 4386311 HAS SOPS 4382220 HAS SOUS 563881 HAS SOUPS 563252 WITH SCORE 567638.311
AT ITER 1641 NEW BEST:: SOT 5233533 SOS 4386259 HAS SOPS 4382168 HAS SOUS 563855 HAS SOUPS 563226 WITH SCORE 567612.259
AT ITER 1681 NEW BEST:: SOT 5234357 SOS 4387083 HAS SOPS 4382992 HAS SOUS 562710 HAS SOUPS 562081 WITH SCORE 566468.083
AT ITER 1689 NEW BEST:: SOT 5234618 SOS 4387344 HAS SOPS 4383253 HAS SOUS 562249 HAS SOUPS 561620 WITH SCORE 566007.344
AT ITER 1695 NEW BEST:: SOT 5234577 SOS 4388982 HAS SOPS 4384891 HAS SOUS 562146 HAS SOUPS 561517 WITH SCORE 565905.982
AT ITER 1711 NEW BEST:: SOT 5234445 SOS 4388850 HAS SOPS 4384759 HAS SOUS 561948 HAS SOUPS 561319 WITH SCORE 565707.85
AT ITER 1713 NEW BEST:: SOT 5234227 SOS 4388632 HAS SOPS 4384541 HAS SOUS 561724 HAS SOUPS 561095 WITH SCORE 565483.632
AT ITER 1741 NEW BEST:: SOT 5234077 SOS 4388482 HAS SOPS 4384391 HAS SOUS 561499 HAS SOUPS 560870 WITH SCORE 565258.482
AT ITER 1762 NEW BEST:: SOT 5232949 SOS 4387354 HAS SOPS 4383263 HAS SOUS 560492 HAS SOUPS 559863 WITH SCORE 564250.354
AT ITER 1797 NEW BEST:: SOT 5233122 SOS 4387527 HAS SOPS 4383436 HAS SOUS 560351 HAS SOUPS 559722 WITH SCORE 564109.527
AT ITER 1799 NEW BEST:: SOT 5233122 SOS 4387525 HAS SOPS 4383434 HAS SOUS 560350 HAS SOUPS 559721 WITH SCORE 564108.525
AT ITER 1818 NEW BEST:: SOT 5233062 SOS 4387465 HAS SOPS 4383374 HAS SOUS 560290 HAS SOUPS 559661 WITH SCORE 564048.465
AT ITER 1822 NEW BEST:: SOT 5232920 SOS 4387323 HAS SOPS 4383232 HAS SOUS 560124 HAS SOUPS 559495 WITH SCORE 563882.323
AT ITER 1868 NEW BEST:: SOT 5232802 SOS 4387207 HAS SOPS 4383116 HAS SOUS 559895 HAS SOUPS 559266 WITH SCORE 563653.207
AT ITER 1882 NEW BEST:: SOT 5233924 SOS 4388352 HAS SOPS 4384238 HAS SOUS 559738 HAS SOUPS 559086 WITH SCORE 563474.352
AT ITER 1934 NEW BEST:: SOT 5233924 SOS 4389882 HAS SOPS 4385768 HAS SOUS 559589 HAS SOUPS 558937 WITH SCORE 563326.882
AT ITER 1941 NEW BEST:: SOT 5233924 SOS 4389790 HAS SOPS 4385676 HAS SOUS 559589 HAS SOUPS 558937 WITH SCORE 563326.79
AT ITER 1957 NEW BEST:: SOT 5233898 SOS 4389764 HAS SOPS 4385650 HAS SOUS 559550 HAS SOUPS 558898 WITH SCORE 563287.764
AT ITER 1972 NEW BEST:: SOT 5233712 SOS 4389578 HAS SOPS 4385464 HAS SOUS 559271 HAS SOUPS 558619 WITH SCORE 563008.578
AT ITER 1987 NEW BEST:: SOT 5233712 SOS 4389464 HAS SOPS 4385350 HAS SOUS 559271 HAS SOUPS 558619 WITH SCORE 563008.464
AT ITER 2001 NEW BEST:: SOT 5233712 SOS 4389464 HAS SOPS 4385350 HAS SOUS 559040 HAS SOUPS 558388 WITH SCORE 562777.464
AT ITER 2003 NEW BEST:: SOT 5233712 SOS 4389104 HAS SOPS 4384970 HAS SOUS 559060 HAS SOUPS 558388 WITH SCORE 562777.104
AT ITER 2004 NEW BEST:: SOT 5233923 SOS 4389315 HAS SOPS 4385181 HAS SOUS 558849 HAS SOUPS 558177 WITH SCORE 562566.315
AT ITER 2005 NEW BEST:: SOT 5233923 SOS 4389233 HAS SOPS 4385099 HAS SOUS 558849 HAS SOUPS 558177 WITH SCORE 562566.233
AT ITER 2031 NEW BEST:: SOT 5234119 SOS 4389429 HAS SOPS 4385295 HAS SOUS 558699 HAS SOUPS 558027 WITH SCORE 562416.429
AT ITER 2036 NEW BEST:: SOT 5234095 SOS 4389405 HAS SOPS 4385271 HAS SOUS 557387 HAS SOUPS 556715 WITH SCORE 561104.405
AT ITER 2043 NEW BEST:: SOT 5234093 SOS 4389403 HAS SOPS 4385269 HAS SOUS 557387 HAS SOUPS 556715 WITH SCORE 561104.403
AT ITER 2051 NEW BEST:: SOT 5234093 SOS 4388941 HAS SOPS 4384807 HAS SOUS 557387 HAS SOUPS 556715 WITH SCORE 561103.941
AT ITER 2077 NEW BEST:: SOT 5234843 SOS 4390111 HAS SOPS 4385977 HAS SOUS 557299 HAS SOUPS 556627 WITH SCORE 561017.111
AT ITER 2090 NEW BEST:: SOT 5234659 SOS 4389927 HAS SOPS 4385793 HAS SOUS 557029 HAS SOUPS 556357 WITH SCORE 560746.927
AT ITER 2105 NEW BEST:: SOT 5234459 SOS 4389727 HAS SOPS 4385593 HAS SOUS 556729 HAS SOUPS 556057 WITH SCORE 560446.727
AT ITER 2106 NEW BEST:: SOT 5234710 SOS 4406444 HAS SOPS 4402310 HAS SOUS 556681 HAS SOUPS 556009 WITH SCORE 560415.444
AT ITER 2149 NEW BEST:: SOT 5234710 SOS 4406268 HAS SOPS 4402134 HAS SOUS 556667 HAS SOUPS 555995 WITH SCORE 560401.268
AT ITER 2150 NEW BEST:: SOT 5234646 SOS 4406204 HAS SOPS 4402070 HAS SOUS 556571 HAS SOUPS 555899 WITH SCORE 560305.204
AT ITER 2171 NEW BEST:: SOT 5234648 SOS 4405423 HAS SOPS 4401249 HAS SOUS 555888 HAS SOUPS 555176 WITH SCORE 559581.423
AT ITER 2180 NEW BEST:: SOT 5234648 SOS 4405423 HAS SOPS 4401249 HAS SOUS 555882 HAS SOUPS 555170 WITH SCORE 559575.423
AT ITER 2206 NEW BEST:: SOT 5234648 SOS 4405387 HAS SOPS 4401213 HAS SOUS 555882 HAS SOUPS 555170 WITH SCORE 559575.387
AT ITER 2322 NEW BEST:: SOT 5234841 SOS 4405580 HAS SOPS 4401406 HAS SOUS 555689 HAS SOUPS 554977 WITH SCORE 559382.58
AT ITER 2341 NEW BEST:: SOT 5232790 SOS 4403529 HAS SOPS 4399355 HAS SOUS 553522 HAS SOUPS 552810 WITH SCORE 557213.529
AT ITER 2345 NEW BEST:: SOT 5232758 SOS 4403497 HAS SOPS 4399323 HAS SOUS 553474 HAS SOUPS 552762 WITH SCORE 557165.497
AT ITER 2346 NEW BEST:: SOT 5233064 SOS 4403803 HAS SOPS 4399629 HAS SOUS 553454 HAS SOUPS 552742 WITH SCORE 557145.803
AT ITER 2359 NEW BEST:: SOT 5233064 SOS 4403787 HAS SOPS 4399613 HAS SOUS 553454 HAS SOUPS 552742 WITH SCORE 557145.787
AT ITER 2367 NEW BEST:: SOT 5233064 SOS 4403633 HAS SOPS 4399459 HAS SOUS 553454 HAS SOUPS 552742 WITH SCORE 557145.633
AT ITER 2396 NEW BEST:: SOT 5233534 SOS 4405089 HAS SOPS 4400915 HAS SOUS 553333 HAS SOUPS 552621 WITH SCORE 557026.089
AT ITER 2401 NEW BEST:: SOT 5233534 SOS 4405089 HAS SOPS 4400915 HAS SOUS 553317 HAS SOUPS 552605 WITH SCORE 557010.089
AT ITER 2402 NEW BEST:: SOT 5233534 SOS 4404975 HAS SOPS 4400801 HAS SOUS 553317 HAS SOUPS 552605 WITH SCORE 557009.975
AT ITER 2405 NEW BEST:: SOT 5233705 SOS 4405146 HAS SOPS 4400972 HAS SOUS 553277 HAS SOUPS 552565 WITH SCORE 556970.146
AT ITER 2414 NEW BEST:: SOT 5234728 SOS 4406169 HAS SOPS 4401995 HAS SOUS 552758 HAS SOUPS 552046 WITH SCORE 556452.169
AT ITER 2418 NEW BEST:: SOT 5234728 SOS 4406151 HAS SOPS 4401977 HAS SOUS 552758 HAS SOUPS 552046 WITH SCORE 556452.151
AT ITER 2419 NEW BEST:: SOT 5234743 SOS 4406166 HAS SOPS 4401992 HAS SOUS 552722 HAS SOUPS 552010 WITH SCORE 556416.166
AT ITER 2420 NEW BEST:: SOT 5234717 SOS 4406140 HAS SOPS 4401966 HAS SOUS 552649 HAS SOUPS 551937 WITH SCORE 556343.14
AT ITER 2437 NEW BEST:: SOT 5234647 SOS 4406070 HAS SOPS 4401896 HAS SOUS 552544 HAS SOUPS 551832 WITH SCORE 556238.07
AT ITER 2463 NEW BEST:: SOT 5234935 SOS 4406358 HAS SOPS 4402184 HAS SOUS 552488 HAS SOUPS 551776 WITH SCORE 556182.358
AT ITER 2466 NEW BEST:: SOT 5234783 SOS 4406206 HAS SOPS 4402032 HAS SOUS 552278 HAS SOUPS 551566 WITH SCORE 555972.206
AT ITER 2481 NEW BEST:: SOT 5234790 SOS 4406213 HAS SOPS 4402039 HAS SOUS 551103 HAS SOUPS 550391 WITH SCORE 554797.213
AT ITER 2496 NEW BEST:: SOT 5234768 SOS 4406191 HAS SOPS 4402017 HAS SOUS 551070 HAS SOUPS 550358 WITH SCORE 554764.191
AT ITER 2535 NEW BEST:: SOT 5237530 SOS 4407582 HAS SOPS 4403268 HAS SOUS 549878 HAS SOUPS 549026 WITH SCORE 553433.582
AT ITER 2546 NEW BEST:: SOT 5237530 SOS 4407548 HAS SOPS 4403234 HAS SOUS 549878 HAS SOUPS 549026 WITH SCORE 553433.548
AT ITER 2552 NEW BEST:: SOT 5237498 SOS 4407516 HAS SOPS 4403202 HAS SOUS 549810 HAS SOUPS 548958 WITH SCORE 553365.516
AT ITER 2563 NEW BEST:: SOT 5237468 SOS 4421852 HAS SOPS 4421018 HAS SOUS 549706 HAS SOUPS 548872 WITH SCORE 553293.852
AT ITER 2577 NEW BEST:: SOT 5237468 SOS 4421322 HAS SOPS 4420488 HAS SOUS 549706 HAS SOUPS 548872 WITH SCORE 553293.322
AT ITER 2631 NEW BEST:: SOT 5237278 SOS 4421132 HAS SOPS 4420298 HAS SOUS 549412 HAS SOUPS 548578 WITH SCORE 552999.132
AT ITER 2669 NEW BEST:: SOT 5237509 SOS 4421363 HAS SOPS 4420529 HAS SOUS 548801 HAS SOUPS 547967 WITH SCORE 552388.363
AT ITER 2678 NEW BEST:: SOT 5237509 SOS 4421363 HAS SOPS 4420529 HAS SOUS 548795 HAS SOUPS 547961 WITH SCORE 552382.363
AT ITER 2689 NEW BEST:: SOT 5237445 SOS 4421299 HAS SOPS 4420465 HAS SOUS 548699 HAS SOUPS 547865 WITH SCORE 552286.299
AT ITER 2708 NEW BEST:: SOT 5237500 SOS 4421354 HAS SOPS 4420520 HAS SOUS 548644 HAS SOUPS 547810 WITH SCORE 552231.354
AT ITER 2724 NEW BEST:: SOT 5237500 SOS 4422085 HAS SOPS 4421251 HAS SOUS 548578 HAS SOUPS 547744 WITH SCORE 552166.085
AT ITER 2728 NEW BEST:: SOT 5237500 SOS 4421755 HAS SOPS 4420921 HAS SOUS 548576 HAS SOUPS 547742 WITH SCORE 552163.755
AT ITER 2731 NEW BEST:: SOT 5237426 SOS 4421681 HAS SOPS 4420847 HAS SOUS 548502 HAS SOUPS 547668 WITH SCORE 552089.681
AT ITER 2735 NEW BEST:: SOT 5237410 SOS 4421665 HAS SOPS 4420831 HAS SOUS 548478 HAS SOUPS 547644 WITH SCORE 552065.665
AT ITER 2738 NEW BEST:: SOT 5237368 SOS 4421623 HAS SOPS 4420789 HAS SOUS 548415 HAS SOUPS 547581 WITH SCORE 552002.623
AT ITER 2749 NEW BEST:: SOT 5237258 SOS 4421513 HAS SOPS 4420679 HAS SOUS 548250 HAS SOUPS 547416 WITH SCORE 551837.513
AT ITER 2770 NEW BEST:: SOT 5234631 SOS 4418886 HAS SOPS 4418052 HAS SOUS 545641 HAS SOUPS 544807 WITH SCORE 549225.886
AT ITER 2775 NEW BEST:: SOT 5234539 SOS 4418794 HAS SOPS 4417960 HAS SOUS 545503 HAS SOUPS 544669 WITH SCORE 549087.794
AT ITER 2837 NEW BEST:: SOT 5234425 SOS 4418680 HAS SOPS 4417846 HAS SOUS 545339 HAS SOUPS 544505 WITH SCORE 548923.68
AT ITER 2845 NEW BEST:: SOT 5234425 SOS 4418452 HAS SOPS 4417618 HAS SOUS 545327 HAS SOUPS 544493 WITH SCORE 548911.452
AT ITER 2852 NEW BEST:: SOT 5234065 SOS 4418090 HAS SOPS 4417256 HAS SOUS 544996 HAS SOUPS 544162 WITH SCORE 548580.09
AT ITER 2872 NEW BEST:: SOT 5234065 SOS 4417846 HAS SOPS 4417012 HAS SOUS 544996 HAS SOUPS 544162 WITH SCORE 548579.846
AT ITER 2874 NEW BEST:: SOT 5234065 SOS 4417622 HAS SOPS 4416788 HAS SOUS 544996 HAS SOUPS 544162 WITH SCORE 548579.622
AT ITER 2884 NEW BEST:: SOT 5234031 SOS 4417588 HAS SOPS 4416754 HAS SOUS 544945 HAS SOUPS 544111 WITH SCORE 548528.588
AT ITER 2896 NEW BEST:: SOT 5233781 SOS 4417338 HAS SOPS 4416504 HAS SOUS 544603 HAS SOUPS 543769 WITH SCORE 548186.338
AT ITER 2915 NEW BEST:: SOT 5233781 SOS 4416804 HAS SOPS 4415970 HAS SOUS 544603 HAS SOUPS 543769 WITH SCORE 548185.804
AT ITER 2919 NEW BEST:: SOT 5233781 SOS 4416664 HAS SOPS 4415830 HAS SOUS 544603 HAS SOUPS 543769 WITH SCORE 548185.664
AT ITER 2920 NEW BEST:: SOT 5233657 SOS 4416540 HAS SOPS 4415706 HAS SOUS 544479 HAS SOUPS 543645 WITH SCORE 548061.54
AT ITER 2936 NEW BEST:: SOT 5233448 SOS 4416320 HAS SOPS 4415497 HAS SOUS 544252 HAS SOUPS 543429 WITH SCORE 547845.32
AT ITER 2942 NEW BEST:: SOT 5233274 SOS 4416146 HAS SOPS 4415323 HAS SOUS 544006 HAS SOUPS 543183 WITH SCORE 547599.146
AT ITER 2952 NEW BEST:: SOT 5233274 SOS 4416090 HAS SOPS 4415267 HAS SOUS 543950 HAS SOUPS 543127 WITH SCORE 547543.09
AT ITER 2965 NEW BEST:: SOT 5233248 SOS 4416064 HAS SOPS 4415241 HAS SOUS 543911 HAS SOUPS 543088 WITH SCORE 547504.064
AT ITER 2972 NEW BEST:: SOT 5231228 SOS 4414044 HAS SOPS 4413221 HAS SOUS 541689 HAS SOUPS 540866 WITH SCORE 545280.044
AT ITER 2978 NEW BEST:: SOT 5231228 SOS 4413650 HAS SOPS 4412827 HAS SOUS 541667 HAS SOUPS 540844 WITH SCORE 545257.65
AT ITER 2981 NEW BEST:: SOT 5233882 SOS 4415764 HAS SOPS 4414881 HAS SOUS 541146 HAS SOUPS 540263 WITH SCORE 544678.764
AT ITER 2995 NEW BEST:: SOT 5234058 SOS 4415940 HAS SOPS 4415057 HAS SOUS 540796 HAS SOUPS 539913 WITH SCORE 544328.94
AT ITER 2996 NEW BEST:: SOT 5233992 SOS 4415811 HAS SOPS 4414991 HAS SOUS 540264 HAS SOUPS 539444 WITH SCORE 543859.811
AT ITER 2997 NEW BEST:: SOT 5233606 SOS 4415425 HAS SOPS 4414605 HAS SOUS 539899 HAS SOUPS 539079 WITH SCORE 543494.425
AT ITER 3022 NEW BEST:: SOT 5234058 SOS 4416881 HAS SOPS 4416061 HAS SOUS 539155 HAS SOUPS 538335 WITH SCORE 542751.881
AT ITER 3024 NEW BEST:: SOT 5233992 SOS 4416815 HAS SOPS 4415995 HAS SOUS 539056 HAS SOUPS 538236 WITH SCORE 542652.815
AT ITER 3028 NEW BEST:: SOT 5233964 SOS 4416787 HAS SOPS 4415967 HAS SOUS 539014 HAS SOUPS 538194 WITH SCORE 542610.787
AT ITER 3064 NEW BEST:: SOT 5233964 SOS 4416779 HAS SOPS 4415959 HAS SOUS 539013 HAS SOUPS 538193 WITH SCORE 542609.779
AT ITER 3072 NEW BEST:: SOT 5233862 SOS 4416677 HAS SOPS 4415857 HAS SOUS 538860 HAS SOUPS 538040 WITH SCORE 542456.677
AT ITER 3074 NEW BEST:: SOT 5233862 SOS 4417459 HAS SOPS 4416639 HAS SOUS 538814 HAS SOUPS 537994 WITH SCORE 542411.459
AT ITER 3116 NEW BEST:: SOT 5233852 SOS 4417449 HAS SOPS 4416629 HAS SOUS 538796 HAS SOUPS 537976 WITH SCORE 542393.449
AT ITER 3118 NEW BEST:: SOT 5231710 SOS 4415307 HAS SOPS 4414487 HAS SOUS 537940 HAS SOUPS 537120 WITH SCORE 541535.307
AT ITER 3143 NEW BEST:: SOT 5231799 SOS 4443450 HAS SOPS 4443399 HAS SOUS 536616 HAS SOUPS 536565 WITH SCORE 541008.45
AT ITER 3148 NEW BEST:: SOT 5231780 SOS 4443431 HAS SOPS 4443380 HAS SOUS 536597 HAS SOUPS 536546 WITH SCORE 540989.431
AT ITER 3164 NEW BEST:: SOT 5231528 SOS 4443179 HAS SOPS 4443128 HAS SOUS 536256 HAS SOUPS 536205 WITH SCORE 540648.179
AT ITER 3183 NEW BEST:: SOT 5231478 SOS 4443129 HAS SOPS 4443078 HAS SOUS 536165 HAS SOUPS 536114 WITH SCORE 540557.129
AT ITER 3206 NEW BEST:: SOT 5231478 SOS 4447366 HAS SOPS 4447315 HAS SOUS 536081 HAS SOUPS 536030 WITH SCORE 540477.366
AT ITER 3241 NEW BEST:: SOT 5231310 SOS 4447198 HAS SOPS 4447147 HAS SOUS 535829 HAS SOUPS 535778 WITH SCORE 540225.198
AT ITER 3266 NEW BEST:: SOT 5231580 SOS 4453480 HAS SOPS 4453429 HAS SOUS 535487 HAS SOUPS 535436 WITH SCORE 539889.48
AT ITER 3270 NEW BEST:: SOT 5231580 SOS 4453452 HAS SOPS 4453401 HAS SOUS 535487 HAS SOUPS 535436 WITH SCORE 539889.452
AT ITER 3282 NEW BEST:: SOT 5231474 SOS 4453346 HAS SOPS 4453295 HAS SOUS 535328 HAS SOUPS 535277 WITH SCORE 539730.346
AT ITER 3286 NEW BEST:: SOT 5231452 SOS 4453324 HAS SOPS 4453273 HAS SOUS 535295 HAS SOUPS 535244 WITH SCORE 539697.324
AT ITER 3291 NEW BEST:: SOT 5231208 SOS 4453080 HAS SOPS 4453029 HAS SOUS 534929 HAS SOUPS 534878 WITH SCORE 539331.08
AT ITER 3301 NEW BEST:: SOT 5231508 SOS 4459801 HAS SOPS 4459750 HAS SOUS 534911 HAS SOUPS 534860 WITH SCORE 539319.801
AT ITER 3318 NEW BEST:: SOT 5229426 SOS 4457719 HAS SOPS 4457668 HAS SOUS 534512 HAS SOUPS 534461 WITH SCORE 538918.719
AT ITER 3352 NEW BEST:: SOT 5229426 SOS 4448388 HAS SOPS 4448337 HAS SOUS 534512 HAS SOUPS 534461 WITH SCORE 538909.388
AT ITER 3356 NEW BEST:: SOT 5228766 SOS 4447728 HAS SOPS 4447677 HAS SOUS 533852 HAS SOUPS 533801 WITH SCORE 538248.728
AT ITER 3357 NEW BEST:: SOT 5228512 SOS 4447474 HAS SOPS 4447423 HAS SOUS 533462 HAS SOUPS 533411 WITH SCORE 537858.474
AT ITER 3393 NEW BEST:: SOT 5228490 SOS 4447452 HAS SOPS 4447401 HAS SOUS 533450 HAS SOUPS 533399 WITH SCORE 537846.452
AT ITER 3414 NEW BEST:: SOT 5228490 SOS 4447452 HAS SOPS 4447401 HAS SOUS 533431 HAS SOUPS 533380 WITH SCORE 537827.452
AT ITER 3420 NEW BEST:: SOT 5228441 SOS 4447403 HAS SOPS 4447352 HAS SOUS 533235 HAS SOUPS 533184 WITH SCORE 537631.403
AT ITER 3423 NEW BEST:: SOT 5228420 SOS 4446762 HAS SOPS 4446711 HAS SOUS 533193 HAS SOUPS 533142 WITH SCORE 537588.762
AT ITER 3438 NEW BEST:: SOT 5228116 SOS 4446458 HAS SOPS 4446407 HAS SOUS 533148 HAS SOUPS 533097 WITH SCORE 537543.458
AT ITER 3439 NEW BEST:: SOT 5228116 SOS 4445946 HAS SOPS 4445895 HAS SOUS 533148 HAS SOUPS 533097 WITH SCORE 537542.946
AT ITER 3486 NEW BEST:: SOT 5228096 SOS 4445926 HAS SOPS 4445875 HAS SOUS 533118 HAS SOUPS 533067 WITH SCORE 537512.926
AT ITER 3494 NEW BEST:: SOT 5228032 SOS 4445862 HAS SOPS 4445811 HAS SOUS 533022 HAS SOUPS 532971 WITH SCORE 537416.862
AT ITER 3497 NEW BEST:: SOT 5227920 SOS 4445750 HAS SOPS 4445699 HAS SOUS 532854 HAS SOUPS 532803 WITH SCORE 537248.75
AT ITER 3515 NEW BEST:: SOT 5227296 SOS 4445126 HAS SOPS 4445075 HAS SOUS 532230 HAS SOUPS 532179 WITH SCORE 536624.126
AT ITER 3518 NEW BEST:: SOT 5227296 SOS 4445018 HAS SOPS 4444967 HAS SOUS 532182 HAS SOUPS 532131 WITH SCORE 536576.018
AT ITER 3523 NEW BEST:: SOT 5227266 SOS 4444988 HAS SOPS 4444937 HAS SOUS 532152 HAS SOUPS 532101 WITH SCORE 536545.988
AT ITER 3553 NEW BEST:: SOT 5227248 SOS 4444970 HAS SOPS 4444919 HAS SOUS 532125 HAS SOUPS 532074 WITH SCORE 536518.97
AT ITER 3586 NEW BEST:: SOT 5227253 SOS 4444975 HAS SOPS 4444924 HAS SOUS 532038 HAS SOUPS 531987 WITH SCORE 536431.975
AT ITER 3635 NEW BEST:: SOT 5227253 SOS 4473615 HAS SOPS 4444764 HAS SOUS 531950 HAS SOUPS 531827 WITH SCORE 536300.615
AT ITER 3636 NEW BEST:: SOT 5227203 SOS 4473565 HAS SOPS 4444714 HAS SOUS 531020 HAS SOUPS 530897 WITH SCORE 535370.565
AT ITER 3638 NEW BEST:: SOT 5227585 SOS 4473947 HAS SOPS 4445096 HAS SOUS 530795 HAS SOUPS 530672 WITH SCORE 535145.947
AT ITER 3647 NEW BEST:: SOT 5227585 SOS 4473783 HAS SOPS 4444932 HAS SOUS 530792 HAS SOUPS 530669 WITH SCORE 535142.783
AT ITER 3648 NEW BEST:: SOT 5227631 SOS 4473829 HAS SOPS 4444978 HAS SOUS 530773 HAS SOUPS 530650 WITH SCORE 535123.829
AT ITER 3678 NEW BEST:: SOT 5227583 SOS 4473781 HAS SOPS 4444930 HAS SOUS 530701 HAS SOUPS 530578 WITH SCORE 535051.781
AT ITER 3696 NEW BEST:: SOT 5227377 SOS 4473575 HAS SOPS 4444724 HAS SOUS 530548 HAS SOUPS 530425 WITH SCORE 534898.575
AT ITER 3705 NEW BEST:: SOT 5228384 SOS 4474582 HAS SOPS 4445731 HAS SOUS 530271 HAS SOUPS 530148 WITH SCORE 534622.582
AT ITER 3710 NEW BEST:: SOT 5228326 SOS 4474524 HAS SOPS 4445673 HAS SOUS 530184 HAS SOUPS 530061 WITH SCORE 534535.524
AT ITER 3717 NEW BEST:: SOT 5228222 SOS 4474420 HAS SOPS 4445569 HAS SOUS 530028 HAS SOUPS 529905 WITH SCORE 534379.42
AT ITER 3719 NEW BEST:: SOT 5228076 SOS 4474274 HAS SOPS 4445423 HAS SOUS 529809 HAS SOUPS 529686 WITH SCORE 534160.274
AT ITER 3723 NEW BEST:: SOT 5227956 SOS 4474154 HAS SOPS 4445303 HAS SOUS 529695 HAS SOUPS 529572 WITH SCORE 534046.154
AT ITER 3729 NEW BEST:: SOT 5227956 SOS 4474026 HAS SOPS 4445175 HAS SOUS 529695 HAS SOUPS 529572 WITH SCORE 534046.026
AT ITER 3746 NEW BEST:: SOT 5228870 SOS 4474940 HAS SOPS 4446089 HAS SOUS 529609 HAS SOUPS 529486 WITH SCORE 533960.94
AT ITER 3760 NEW BEST:: SOT 5226926 SOS 4472996 HAS SOPS 4444145 HAS SOUS 527714 HAS SOUPS 527591 WITH SCORE 532063.996
AT ITER 3776 NEW BEST:: SOT 5226809 SOS 4472923 HAS SOPS 4444028 HAS SOUS 527757 HAS SOUPS 527590 WITH SCORE 532062.923
AT ITER 3815 NEW BEST:: SOT 5226809 SOS 4472787 HAS SOPS 4443892 HAS SOUS 527753 HAS SOUPS 527586 WITH SCORE 532058.787
AT ITER 3823 NEW BEST:: SOT 5226747 SOS 4472725 HAS SOPS 4443830 HAS SOUS 527690 HAS SOUPS 527523 WITH SCORE 531995.725
AT ITER 3825 NEW BEST:: SOT 5226665 SOS 4472643 HAS SOPS 4443748 HAS SOUS 527569 HAS SOUPS 527402 WITH SCORE 531874.643
AT ITER 3827 NEW BEST:: SOT 5227114 SOS 4473092 HAS SOPS 4444197 HAS SOUS 527321 HAS SOUPS 527154 WITH SCORE 531627.092
AT ITER 3854 NEW BEST:: SOT 5227114 SOS 4473092 HAS SOPS 4444197 HAS SOUS 527312 HAS SOUPS 527145 WITH SCORE 531618.092
AT ITER 3856 NEW BEST:: SOT 5226938 SOS 4472916 HAS SOPS 4444021 HAS SOUS 527078 HAS SOUPS 526911 WITH SCORE 531383.916
AT ITER 3879 NEW BEST:: SOT 5226938 SOS 4472884 HAS SOPS 4443989 HAS SOUS 527077 HAS SOUPS 526910 WITH SCORE 531382.884
AT ITER 3893 NEW BEST:: SOT 5226864 SOS 4472810 HAS SOPS 4443915 HAS SOUS 526966 HAS SOUPS 526799 WITH SCORE 531271.81
AT ITER 3934 NEW BEST:: SOT 5226864 SOS 4472606 HAS SOPS 4443711 HAS SOUS 526966 HAS SOUPS 526799 WITH SCORE 531271.606
AT ITER 3962 NEW BEST:: SOT 5226764 SOS 4472506 HAS SOPS 4443611 HAS SOUS 526809 HAS SOUPS 526642 WITH SCORE 531114.506
AT ITER 3976 NEW BEST:: SOT 5226760 SOS 4472502 HAS SOPS 4443607 HAS SOUS 526803 HAS SOUPS 526636 WITH SCORE 531108.502
AT ITER 4027 NEW BEST:: SOT 5226760 SOS 4472502 HAS SOPS 4443607 HAS SOUS 526798 HAS SOUPS 526631 WITH SCORE 531103.502
AT ITER 4036 NEW BEST:: SOT 5226637 SOS 4472422 HAS SOPS 4443484 HAS SOUS 526753 HAS SOUPS 526543 WITH SCORE 531015.422
AT ITER 4039 NEW BEST:: SOT 5226607 SOS 4475662 HAS SOPS 4448164 HAS SOUS 526739 HAS SOUPS 526529 WITH SCORE 531004.662
AT ITER 4089 NEW BEST:: SOT 5226607 SOS 4474294 HAS SOPS 4446796 HAS SOUS 526739 HAS SOUPS 526529 WITH SCORE 531003.294
AT ITER 4122 NEW BEST:: SOT 5226736 SOS 4474423 HAS SOPS 4446925 HAS SOUS 526632 HAS SOUPS 526422 WITH SCORE 530896.423
AT ITER 4130 NEW BEST:: SOT 5226736 SOS 4474383 HAS SOPS 4446885 HAS SOUS 526632 HAS SOUPS 526422 WITH SCORE 530896.383
AT ITER 4131 NEW BEST:: SOT 5226976 SOS 4474623 HAS SOPS 4447125 HAS SOUS 526612 HAS SOUPS 526402 WITH SCORE 530876.623
AT ITER 4175 NEW BEST:: SOT 5227803 SOS 4475450 HAS SOPS 4447952 HAS SOUS 526547 HAS SOUPS 526337 WITH SCORE 530812.45
AT ITER 4180 NEW BEST:: SOT 5227803 SOS 4475264 HAS SOPS 4447766 HAS SOUS 526546 HAS SOUPS 526336 WITH SCORE 530811.264
AT ITER 4186 NEW BEST:: SOT 5227320 SOS 4474781 HAS SOPS 4447283 HAS SOUS 525991 HAS SOUPS 525781 WITH SCORE 530255.781
AT ITER 4203 NEW BEST:: SOT 5227320 SOS 4474781 HAS SOPS 4447283 HAS SOUS 525960 HAS SOUPS 525750 WITH SCORE 530224.781
AT ITER 4205 NEW BEST:: SOT 5227350 SOS 4476088 HAS SOPS 4448590 HAS SOUS 525941 HAS SOUPS 525731 WITH SCORE 530207.088
AT ITER 4240 NEW BEST:: SOT 5227330 SOS 4476068 HAS SOPS 4448570 HAS SOUS 525911 HAS SOUPS 525701 WITH SCORE 530177.068
AT ITER 4272 NEW BEST:: SOT 5227265 SOS 4476003 HAS SOPS 4448505 HAS SOUS 525846 HAS SOUPS 525636 WITH SCORE 530112.003
AT ITER 4283 NEW BEST:: SOT 5226905 SOS 4475535 HAS SOPS 4448037 HAS SOUS 525467 HAS SOUPS 525257 WITH SCORE 529732.535
AT ITER 4295 NEW BEST:: SOT 5226841 SOS 4475471 HAS SOPS 4447973 HAS SOUS 525371 HAS SOUPS 525161 WITH SCORE 529636.471
AT ITER 4304 NEW BEST:: SOT 5226717 SOS 4475347 HAS SOPS 4447849 HAS SOUS 525215 HAS SOUPS 525005 WITH SCORE 529480.347
AT ITER 4321 NEW BEST:: SOT 5224884 SOS 4472393 HAS SOPS 4444895 HAS SOUS 523322 HAS SOUPS 523112 WITH SCORE 527584.393
AT ITER 4345 NEW BEST:: SOT 5224285 SOS 4471794 HAS SOPS 4444296 HAS SOUS 522625 HAS SOUPS 522415 WITH SCORE 526886.794
AT ITER 4349 NEW BEST:: SOT 5224285 SOS 4472508 HAS SOPS 4445010 HAS SOUS 522583 HAS SOUPS 522373 WITH SCORE 526845.508
AT ITER 4362 NEW BEST:: SOT 5224207 SOS 4472430 HAS SOPS 4444932 HAS SOUS 522466 HAS SOUPS 522256 WITH SCORE 526728.43
AT ITER 4370 NEW BEST:: SOT 5223597 SOS 4471798 HAS SOPS 4444300 HAS SOUS 521869 HAS SOUPS 521659 WITH SCORE 526130.798
AT ITER 4398 NEW BEST:: SOT 5223597 SOS 4471778 HAS SOPS 4444280 HAS SOUS 521869 HAS SOUPS 521659 WITH SCORE 526130.778
AT ITER 4401 NEW BEST:: SOT 5223597 SOS 4472248 HAS SOPS 4444750 HAS SOUS 521829 HAS SOUPS 521619 WITH SCORE 526091.248
AT ITER 4411 NEW BEST:: SOT 5223597 SOS 4472232 HAS SOPS 4444734 HAS SOUS 521829 HAS SOUPS 521619 WITH SCORE 526091.232
AT ITER 4430 NEW BEST:: SOT 5223929 SOS 4477764 HAS SOPS 4450266 HAS SOUS 521799 HAS SOUPS 521589 WITH SCORE 526066.764
AT ITER 4502 NEW BEST:: SOT 5223929 SOS 4477552 HAS SOPS 4450054 HAS SOUS 521799 HAS SOUPS 521589 WITH SCORE 526066.552
AT ITER 4517 NEW BEST:: SOT 5223606 SOS 4477229 HAS SOPS 4449731 HAS SOUS 521424 HAS SOUPS 521214 WITH SCORE 525691.229
AT ITER 4521 NEW BEST:: SOT 5223438 SOS 4477061 HAS SOPS 4449563 HAS SOUS 519957 HAS SOUPS 519747 WITH SCORE 524224.061
AT ITER 4531 NEW BEST:: SOT 5223424 SOS 4477047 HAS SOPS 4449549 HAS SOUS 519936 HAS SOUPS 519726 WITH SCORE 524203.047
AT ITER 4536 NEW BEST:: SOT 5223414 SOS 4477037 HAS SOPS 4449539 HAS SOUS 519924 HAS SOUPS 519714 WITH SCORE 524191.037
AT ITER 4539 NEW BEST:: SOT 5223274 SOS 4476897 HAS SOPS 4449399 HAS SOUS 519714 HAS SOUPS 519504 WITH SCORE 523980.897
AT ITER 4554 NEW BEST:: SOT 5223204 SOS 4476827 HAS SOPS 4449329 HAS SOUS 519609 HAS SOUPS 519399 WITH SCORE 523875.827
AT ITER 4583 NEW BEST:: SOT 5223178 SOS 4476801 HAS SOPS 4449303 HAS SOUS 519570 HAS SOUPS 519360 WITH SCORE 523836.801
AT ITER 4584 NEW BEST:: SOT 5223108 SOS 4476731 HAS SOPS 4449233 HAS SOUS 519465 HAS SOUPS 519255 WITH SCORE 523731.731
AT ITER 4599 NEW BEST:: SOT 5223123 SOS 4476884 HAS SOPS 4449386 HAS SOUS 519459 HAS SOUPS 519249 WITH SCORE 523725.884
AT ITER 4601 NEW BEST:: SOT 5223123 SOS 4476902 HAS SOPS 4449404 HAS SOUS 519421 HAS SOUPS 519211 WITH SCORE 523687.902
AT ITER 4603 NEW BEST:: SOT 5223085 SOS 4476864 HAS SOPS 4449366 HAS SOUS 519364 HAS SOUPS 519154 WITH SCORE 523630.864
AT ITER 4628 NEW BEST:: SOT 5223363 SOS 4485388 HAS SOPS 4457890 HAS SOUS 519270 HAS SOUPS 519060 WITH SCORE 523545.388
AT ITER 4645 NEW BEST:: SOT 5223540 SOS 4485565 HAS SOPS 4458067 HAS SOUS 519165 HAS SOUPS 518955 WITH SCORE 523440.565
AT ITER 4655 NEW BEST:: SOT 5223360 SOS 4485385 HAS SOPS 4457887 HAS SOUS 518895 HAS SOUPS 518685 WITH SCORE 523170.385
AT ITER 4676 NEW BEST:: SOT 5223360 SOS 4485385 HAS SOPS 4457887 HAS SOUS 518871 HAS SOUPS 518661 WITH SCORE 523146.385
AT ITER 4678 NEW BEST:: SOT 5223385 SOS 4485410 HAS SOPS 4457912 HAS SOUS 518016 HAS SOUPS 517806 WITH SCORE 522291.41
AT ITER 4687 NEW BEST:: SOT 5223743 SOS 4485768 HAS SOPS 4458270 HAS SOUS 517907 HAS SOUPS 517697 WITH SCORE 522182.768
AT ITER 4688 NEW BEST:: SOT 5223743 SOS 4485768 HAS SOPS 4458270 HAS SOUS 517885 HAS SOUPS 517675 WITH SCORE 522160.768
AT ITER 4694 NEW BEST:: SOT 5223747 SOS 4485772 HAS SOPS 4458274 HAS SOUS 517874 HAS SOUPS 517664 WITH SCORE 522149.772
AT ITER 4696 NEW BEST:: SOT 5222969 SOS 4484994 HAS SOPS 4457496 HAS SOUS 517103 HAS SOUPS 516893 WITH SCORE 521377.994
AT ITER 4716 NEW BEST:: SOT 5222957 SOS 4484982 HAS SOPS 4457484 HAS SOUS 517085 HAS SOUPS 516875 WITH SCORE 521359.982
AT ITER 4725 NEW BEST:: SOT 5222957 SOS 4490777 HAS SOPS 4463279 HAS SOUS 516912 HAS SOUPS 516702 WITH SCORE 521192.777
AT ITER 4731 NEW BEST:: SOT 5222957 SOS 4495775 HAS SOPS 4468277 HAS SOUS 516618 HAS SOUPS 516408 WITH SCORE 520903.775
AT ITER 4749 NEW BEST:: SOT 5222920 SOS 4495738 HAS SOPS 4468240 HAS SOUS 516581 HAS SOUPS 516371 WITH SCORE 520866.738
AT ITER 4755 NEW BEST:: SOT 5223043 SOS 4495861 HAS SOPS 4468363 HAS SOUS 516458 HAS SOUPS 516248 WITH SCORE 520743.861
AT ITER 4769 NEW BEST:: SOT 5223043 SOS 4495837 HAS SOPS 4468339 HAS SOUS 516455 HAS SOUPS 516245 WITH SCORE 520740.837
AT ITER 4776 NEW BEST:: SOT 5222153 SOS 4494947 HAS SOPS 4467449 HAS SOUS 515575 HAS SOUPS 515365 WITH SCORE 519859.947
AT ITER 4788 NEW BEST:: SOT 5222153 SOS 4494883 HAS SOPS 4467385 HAS SOUS 515575 HAS SOUPS 515365 WITH SCORE 519859.883
AT ITER 4794 NEW BEST:: SOT 5221961 SOS 4494691 HAS SOPS 4467193 HAS SOUS 515287 HAS SOUPS 515077 WITH SCORE 519571.691
AT ITER 4795 NEW BEST:: SOT 5221903 SOS 4494633 HAS SOPS 4467135 HAS SOUS 515200 HAS SOUPS 514990 WITH SCORE 519484.633
AT ITER 4800 NEW BEST:: SOT 5221903 SOS 4494603 HAS SOPS 4467105 HAS SOUS 515178 HAS SOUPS 514968 WITH SCORE 519462.603
AT ITER 4815 NEW BEST:: SOT 5221903 SOS 4494633 HAS SOPS 4467135 HAS SOUS 515175 HAS SOUPS 514965 WITH SCORE 519459.633
AT ITER 4851 NEW BEST:: SOT 5221885 SOS 4494599 HAS SOPS 4467101 HAS SOUS 515101 HAS SOUPS 514891 WITH SCORE 519385.599
AT ITER 4854 NEW BEST:: SOT 5222073 SOS 4494787 HAS SOPS 4467289 HAS SOUS 514433 HAS SOUPS 514223 WITH SCORE 518717.787
AT ITER 4860 NEW BEST:: SOT 5221965 SOS 4494679 HAS SOPS 4467181 HAS SOUS 514299 HAS SOUPS 514089 WITH SCORE 518583.679
AT ITER 4875 NEW BEST:: SOT 5221497 SOS 4494211 HAS SOPS 4466713 HAS SOUS 513805 HAS SOUPS 513595 WITH SCORE 518089.211
AT ITER 4890 NEW BEST:: SOT 5221497 SOS 4493943 HAS SOPS 4466445 HAS SOUS 513805 HAS SOUPS 513595 WITH SCORE 518088.943
AT ITER 4893 NEW BEST:: SOT 5221383 SOS 4493829 HAS SOPS 4466331 HAS SOUS 513634 HAS SOUPS 513424 WITH SCORE 517917.829
AT ITER 4897 NEW BEST:: SOT 5221383 SOS 4493535 HAS SOPS 4466037 HAS SOUS 513515 HAS SOUPS 513305 WITH SCORE 517798.535
AT ITER 4915 NEW BEST:: SOT 5221383 SOS 4493445 HAS SOPS 4465947 HAS SOUS 513515 HAS SOUPS 513305 WITH SCORE 517798.445
AT ITER 4956 NEW BEST:: SOT 5221381 SOS 4493443 HAS SOPS 4465945 HAS SOUS 513512 HAS SOUPS 513302 WITH SCORE 517795.443
AT ITER 4986 NEW BEST:: SOT 5221422 SOS 4493442 HAS SOPS 4465944 HAS SOUS 513492 HAS SOUPS 513282 WITH SCORE 517775.442
AT ITER 4988 NEW BEST:: SOT 5221372 SOS 4493392 HAS SOPS 4465894 HAS SOUS 513417 HAS SOUPS 513207 WITH SCORE 517700.392
AT ITER 4991 NEW BEST:: SOT 5221372 SOS 4493018 HAS SOPS 4465520 HAS SOUS 513417 HAS SOUPS 513207 WITH SCORE 517700.018
AT ITER 4996 NEW BEST:: SOT 5223160 SOS 4494843 HAS SOPS 4467308 HAS SOUS 513153 HAS SOUPS 512906 WITH SCORE 517400.843
AT ITER 5000 NEW BEST:: SOT 5223160 SOS 4494843 HAS SOPS 4467308 HAS SOUS 513146 HAS SOUPS 512899 WITH SCORE 517393.843
AT ITER 5008 NEW BEST:: SOT 5223160 SOS 4494779 HAS SOPS 4467244 HAS SOUS 513146 HAS SOUPS 512899 WITH SCORE 517393.779
AT ITER 5013 NEW BEST:: SOT 5223160 SOS 4494593 HAS SOPS 4467058 HAS SOUS 513122 HAS SOUPS 512875 WITH SCORE 517369.593
AT ITER 5029 NEW BEST:: SOT 5223160 SOS 4494475 HAS SOPS 4466940 HAS SOUS 513030 HAS SOUPS 512783 WITH SCORE 517277.475
AT ITER 5036 NEW BEST:: SOT 5223092 SOS 4494407 HAS SOPS 4466872 HAS SOUS 512928 HAS SOUPS 512681 WITH SCORE 517175.407
AT ITER 5053 NEW BEST:: SOT 5223092 SOS 4494325 HAS SOPS 4466790 HAS SOUS 512846 HAS SOUPS 512599 WITH SCORE 517093.325
AT ITER 5110 NEW BEST:: SOT 5223042 SOS 4494275 HAS SOPS 4466740 HAS SOUS 512771 HAS SOUPS 512524 WITH SCORE 517018.275
AT ITER 5112 NEW BEST:: SOT 5223042 SOS 4493635 HAS SOPS 4466100 HAS SOUS 512769 HAS SOUPS 512522 WITH SCORE 517015.635
AT ITER 5115 NEW BEST:: SOT 5223022 SOS 4493615 HAS SOPS 4466080 HAS SOUS 512739 HAS SOUPS 512492 WITH SCORE 516985.615
AT ITER 5117 NEW BEST:: SOT 5223022 SOS 4494171 HAS SOPS 4466636 HAS SOUS 512589 HAS SOUPS 512342 WITH SCORE 516836.171
AT ITER 5126 NEW BEST:: SOT 5223022 SOS 4494171 HAS SOPS 4466636 HAS SOUS 512583 HAS SOUPS 512336 WITH SCORE 516830.171
AT ITER 5130 NEW BEST:: SOT 5223022 SOS 4494105 HAS SOPS 4466570 HAS SOUS 512583 HAS SOUPS 512336 WITH SCORE 516830.105
AT ITER 5158 NEW BEST:: SOT 5223022 SOS 4490845 HAS SOPS 4461910 HAS SOUS 512583 HAS SOUPS 512336 WITH SCORE 516826.845
AT ITER 5165 NEW BEST:: SOT 5223022 SOS 4490845 HAS SOPS 4461910 HAS SOUS 512561 HAS SOUPS 512314 WITH SCORE 516804.845
AT ITER 5184 NEW BEST:: SOT 5223022 SOS 4490819 HAS SOPS 4461884 HAS SOUS 512561 HAS SOUPS 512314 WITH SCORE 516804.819
AT ITER 5189 NEW BEST:: SOT 5222992 SOS 4490789 HAS SOPS 4461854 HAS SOUS 512516 HAS SOUPS 512269 WITH SCORE 516759.789
AT ITER 5198 NEW BEST:: SOT 5222992 SOS 4561036 HAS SOPS 4560861 HAS SOUS 512219 HAS SOUPS 512044 WITH SCORE 516605.036
AT ITER 5203 NEW BEST:: SOT 5222352 SOS 4560396 HAS SOPS 4560221 HAS SOUS 511483 HAS SOUPS 511308 WITH SCORE 515868.396
AT ITER 5229 NEW BEST:: SOT 5222328 SOS 4560942 HAS SOPS 4560767 HAS SOUS 511434 HAS SOUPS 511259 WITH SCORE 515819.942
AT ITER 5236 NEW BEST:: SOT 5222116 SOS 4560730 HAS SOPS 4560555 HAS SOUS 511116 HAS SOUPS 510941 WITH SCORE 515501.73
AT ITER 5264 NEW BEST:: SOT 5222138 SOS 4560752 HAS SOPS 4560577 HAS SOUS 511072 HAS SOUPS 510897 WITH SCORE 515457.752
AT ITER 5267 NEW BEST:: SOT 5221910 SOS 4560524 HAS SOPS 4560349 HAS SOUS 510844 HAS SOUPS 510669 WITH SCORE 515229.524
AT ITER 5283 NEW BEST:: SOT 5221910 SOS 4560524 HAS SOPS 4560349 HAS SOUS 510809 HAS SOUPS 510634 WITH SCORE 515194.524
AT ITER 5291 NEW BEST:: SOT 5221910 SOS 4560736 HAS SOPS 4560561 HAS SOUS 510797 HAS SOUPS 510622 WITH SCORE 515182.736
AT ITER 5294 NEW BEST:: SOT 5221822 SOS 4560648 HAS SOPS 4560473 HAS SOUS 510665 HAS SOUPS 510490 WITH SCORE 515050.648
AT ITER 5307 NEW BEST:: SOT 5220986 SOS 4559775 HAS SOPS 4559637 HAS SOUS 509781 HAS SOUPS 509643 WITH SCORE 514202.775
AT ITER 5326 NEW BEST:: SOT 5220928 SOS 4559717 HAS SOPS 4559579 HAS SOUS 509723 HAS SOUPS 509585 WITH SCORE 514144.717
AT ITER 5343 NEW BEST:: SOT 5220928 SOS 4558991 HAS SOPS 4558853 HAS SOUS 509723 HAS SOUPS 509585 WITH SCORE 514143.991
AT ITER 5349 NEW BEST:: SOT 5220840 SOS 4558903 HAS SOPS 4558765 HAS SOUS 509591 HAS SOUPS 509453 WITH SCORE 514011.903
AT ITER 5360 NEW BEST:: SOT 5220702 SOS 4558765 HAS SOPS 4558627 HAS SOUS 509384 HAS SOUPS 509246 WITH SCORE 513804.765
AT ITER 5380 NEW BEST:: SOT 5220674 SOS 4558737 HAS SOPS 4558599 HAS SOUS 509342 HAS SOUPS 509204 WITH SCORE 513762.737
AT ITER 5393 NEW BEST:: SOT 5220582 SOS 4558645 HAS SOPS 4558507 HAS SOUS 509204 HAS SOUPS 509066 WITH SCORE 513624.645
AT ITER 5398 NEW BEST:: SOT 5220434 SOS 4558497 HAS SOPS 4558359 HAS SOUS 508982 HAS SOUPS 508844 WITH SCORE 513402.497
AT ITER 5416 NEW BEST:: SOT 5220434 SOS 4559029 HAS SOPS 4558891 HAS SOUS 508954 HAS SOUPS 508816 WITH SCORE 513375.029
AT ITER 5419 NEW BEST:: SOT 5220434 SOS 4559029 HAS SOPS 4558891 HAS SOUS 508935 HAS SOUPS 508797 WITH SCORE 513356.029
AT ITER 5435 NEW BEST:: SOT 5220434 SOS 4558743 HAS SOPS 4558605 HAS SOUS 508935 HAS SOUPS 508797 WITH SCORE 513355.743
AT ITER 5442 NEW BEST:: SOT 5220354 SOS 4558663 HAS SOPS 4558525 HAS SOUS 508815 HAS SOUPS 508677 WITH SCORE 513235.663
AT ITER 5461 NEW BEST:: SOT 5220028 SOS 4558337 HAS SOPS 4558199 HAS SOUS 508411 HAS SOUPS 508273 WITH SCORE 512831.337
AT ITER 5463 NEW BEST:: SOT 5219953 SOS 4558262 HAS SOPS 4558124 HAS SOUS 507797 HAS SOUPS 507659 WITH SCORE 512217.262
AT ITER 5469 NEW BEST:: SOT 5219943 SOS 4558252 HAS SOPS 4558114 HAS SOUS 507782 HAS SOUPS 507644 WITH SCORE 512202.252
AT ITER 5482 NEW BEST:: SOT 5219990 SOS 4558299 HAS SOPS 4558161 HAS SOUS 507738 HAS SOUPS 507600 WITH SCORE 512158.299
AT ITER 5486 NEW BEST:: SOT 5219462 SOS 4557771 HAS SOPS 4557633 HAS SOUS 507166 HAS SOUPS 507028 WITH SCORE 511585.771
AT ITER 5489 NEW BEST:: SOT 5223504 SOS 4488359 HAS SOPS 4483195 HAS SOUS 511609 HAS SOUPS 506445 WITH SCORE 510933.359
AT ITER 5496 NEW BEST:: SOT 5223410 SOS 4488213 HAS SOPS 4483101 HAS SOUS 511442 HAS SOUPS 506330 WITH SCORE 510818.213
AT ITER 5514 NEW BEST:: SOT 5223398 SOS 4488201 HAS SOPS 4483089 HAS SOUS 511432 HAS SOUPS 506320 WITH SCORE 510808.201
AT ITER 5529 NEW BEST:: SOT 5223296 SOS 4488089 HAS SOPS 4482987 HAS SOUS 511274 HAS SOUPS 506172 WITH SCORE 510660.089
AT ITER 5539 NEW BEST:: SOT 5221936 SOS 4486729 HAS SOPS 4481627 HAS SOUS 509778 HAS SOUPS 504676 WITH SCORE 509162.729
AT ITER 5543 NEW BEST:: SOT 5221872 SOS 4486665 HAS SOPS 4481563 HAS SOUS 509682 HAS SOUPS 504580 WITH SCORE 509066.665
AT ITER 5561 NEW BEST:: SOT 5221380 SOS 4486280 HAS SOPS 4481071 HAS SOUS 509771 HAS SOUPS 504562 WITH SCORE 509048.28
AT ITER 5564 NEW BEST:: SOT 5220163 SOS 4484995 HAS SOPS 4479854 HAS SOUS 508418 HAS SOUPS 503277 WITH SCORE 507761.995
AT ITER 5576 NEW BEST:: SOT 5219561 SOS 4484393 HAS SOPS 4479252 HAS SOUS 507964 HAS SOUPS 502823 WITH SCORE 507307.393
AT ITER 5585 NEW BEST:: SOT 5219255 SOS 4484087 HAS SOPS 4478946 HAS SOUS 507641 HAS SOUPS 502500 WITH SCORE 506984.087
AT ITER 5594 NEW BEST:: SOT 5218980 SOS 4483812 HAS SOPS 4478671 HAS SOUS 507334 HAS SOUPS 502193 WITH SCORE 506676.812
AT ITER 5609 NEW BEST:: SOT 5218970 SOS 4483802 HAS SOPS 4478661 HAS SOUS 507319 HAS SOUPS 502178 WITH SCORE 506661.802
AT ITER 5624 NEW BEST:: SOT 5218970 SOS 4484431 HAS SOPS 4479290 HAS SOUS 507282 HAS SOUPS 502141 WITH SCORE 506625.431
AT ITER 5626 NEW BEST:: SOT 5218920 SOS 4484381 HAS SOPS 4479240 HAS SOUS 507207 HAS SOUPS 502066 WITH SCORE 506550.381
AT ITER 5657 NEW BEST:: SOT 5218801 SOS 4484262 HAS SOPS 4479121 HAS SOUS 506318 HAS SOUPS 501177 WITH SCORE 505661.262
AT ITER 5728 NEW BEST:: SOT 5218801 SOS 4484262 HAS SOPS 4479121 HAS SOUS 506311 HAS SOUPS 501170 WITH SCORE 505654.262
AT ITER 5733 NEW BEST:: SOT 5218784 SOS 4484228 HAS SOPS 4479104 HAS SOUS 506277 HAS SOUPS 501153 WITH SCORE 505637.228
AT ITER 5766 NEW BEST:: SOT 5218804 SOS 4484343 HAS SOPS 4479219 HAS SOUS 506192 HAS SOUPS 501068 WITH SCORE 505552.343
AT ITER 5772 NEW BEST:: SOT 5218804 SOS 4484311 HAS SOPS 4479187 HAS SOUS 506192 HAS SOUPS 501068 WITH SCORE 505552.311
AT ITER 5807 NEW BEST:: SOT 5218804 SOS 4484311 HAS SOPS 4479187 HAS SOUS 506190 HAS SOUPS 501066 WITH SCORE 505550.311
AT ITER 5817 NEW BEST:: SOT 5218792 SOS 4484299 HAS SOPS 4479175 HAS SOUS 506172 HAS SOUPS 501048 WITH SCORE 505532.299
AT ITER 5848 NEW BEST:: SOT 5219238 SOS 4484745 HAS SOPS 4479621 HAS SOUS 505817 HAS SOUPS 500693 WITH SCORE 505177.745
AT ITER 5863 NEW BEST:: SOT 5219238 SOS 4484745 HAS SOPS 4479621 HAS SOUS 505814 HAS SOUPS 500690 WITH SCORE 505174.745
AT ITER 5900 NEW BEST:: SOT 5219238 SOS 4484745 HAS SOPS 4479621 HAS SOUS 505812 HAS SOUPS 500688 WITH SCORE 505172.745
AT ITER 5915 NEW BEST:: SOT 5219238 SOS 4484507 HAS SOPS 4479383 HAS SOUS 505812 HAS SOUPS 500688 WITH SCORE 505172.507
AT ITER 5949 NEW BEST:: SOT 5219180 SOS 4484589 HAS SOPS 4479325 HAS SOUS 505938 HAS SOUPS 500674 WITH SCORE 505158.589
AT ITER 5952 NEW BEST:: SOT 5219180 SOS 4484695 HAS SOPS 4479431 HAS SOUS 505922 HAS SOUPS 500658 WITH SCORE 505142.695
AT ITER 5976 NEW BEST:: SOT 5219066 SOS 4484581 HAS SOPS 4479317 HAS SOUS 505751 HAS SOUPS 500487 WITH SCORE 504971.581
AT ITER 5995 NEW BEST:: SOT 5219054 SOS 4484569 HAS SOPS 4479305 HAS SOUS 505733 HAS SOUPS 500469 WITH SCORE 504953.569
AT ITER 5997 NEW BEST:: SOT 5219026 SOS 4484639 HAS SOPS 4479375 HAS SOUS 505732 HAS SOUPS 500468 WITH SCORE 504952.639
AT ITER 6003 NEW BEST:: SOT 5219026 SOS 4484497 HAS SOPS 4479233 HAS SOUS 505732 HAS SOUPS 500468 WITH SCORE 504952.497
AT ITER 6007 NEW BEST:: SOT 5219026 SOS 4462904 HAS SOPS 4457640 HAS SOUS 505683 HAS SOUPS 500419 WITH SCORE 504881.904
AT ITER 6010 NEW BEST:: SOT 5219308 SOS 4463186 HAS SOPS 4457922 HAS SOUS 505635 HAS SOUPS 500371 WITH SCORE 504834.186
AT ITER 6040 NEW BEST:: SOT 5219133 SOS 4462871 HAS SOPS 4457747 HAS SOUS 505319 HAS SOUPS 500195 WITH SCORE 504657.871
AT ITER 6054 NEW BEST:: SOT 5219098 SOS 4462808 HAS SOPS 4457712 HAS SOUS 505256 HAS SOUPS 500160 WITH SCORE 504622.808
AT ITER 6071 NEW BEST:: SOT 5219098 SOS 4462634 HAS SOPS 4457538 HAS SOUS 505256 HAS SOUPS 500160 WITH SCORE 504622.634
AT ITER 6092 NEW BEST:: SOT 5219098 SOS 4462634 HAS SOPS 4457538 HAS SOUS 505240 HAS SOUPS 500144 WITH SCORE 504606.634
AT ITER 6098 NEW BEST:: SOT 5218447 SOS 4461952 HAS SOPS 4456887 HAS SOUS 504496 HAS SOUPS 499431 WITH SCORE 503892.952
AT ITER 6111 NEW BEST:: SOT 5218436 SOS 4462533 HAS SOPS 4457468 HAS SOUS 504454 HAS SOUPS 499389 WITH SCORE 503851.533
AT ITER 6145 NEW BEST:: SOT 5218436 SOS 4462473 HAS SOPS 4457408 HAS SOUS 504452 HAS SOUPS 499387 WITH SCORE 503849.473
AT ITER 6197 NEW BEST:: SOT 5217853 SOS 4461890 HAS SOPS 4456825 HAS SOUS 503879 HAS SOUPS 498814 WITH SCORE 503275.89
AT ITER 6206 NEW BEST:: SOT 5217781 SOS 4461788 HAS SOPS 4456753 HAS SOUS 503756 HAS SOUPS 498721 WITH SCORE 503182.788
AT ITER 6272 NEW BEST:: SOT 5217781 SOS 4461646 HAS SOPS 4456611 HAS SOUS 503755 HAS SOUPS 498720 WITH SCORE 503181.646
AT ITER 6276 NEW BEST:: SOT 5217757 SOS 4461622 HAS SOPS 4456587 HAS SOUS 503719 HAS SOUPS 498684 WITH SCORE 503145.622
AT ITER 6282 NEW BEST:: SOT 5217691 SOS 4461556 HAS SOPS 4456521 HAS SOUS 503620 HAS SOUPS 498585 WITH SCORE 503046.556
AT ITER 6283 NEW BEST:: SOT 5218520 SOS 4461162 HAS SOPS 4455190 HAS SOUS 503326 HAS SOUPS 497354 WITH SCORE 501815.162
AT ITER 6308 NEW BEST:: SOT 5217639 SOS 4460115 HAS SOPS 4454143 HAS SOUS 502423 HAS SOUPS 496451 WITH SCORE 500911.115
AT ITER 6325 NEW BEST:: SOT 5217788 SOS 4460264 HAS SOPS 4454292 HAS SOUS 502371 HAS SOUPS 496399 WITH SCORE 500859.264
AT ITER 6330 NEW BEST:: SOT 5217788 SOS 4460264 HAS SOPS 4454292 HAS SOUS 502360 HAS SOUPS 496388 WITH SCORE 500848.264
AT ITER 6349 NEW BEST:: SOT 5214749 SOS 4475312 HAS SOPS 4472113 HAS SOUS 499255 HAS SOUPS 496056 WITH SCORE 500531.312
AT ITER 6378 NEW BEST:: SOT 5215062 SOS 4475627 HAS SOPS 4472426 HAS SOUS 498922 HAS SOUPS 495721 WITH SCORE 500196.627
AT ITER 6386 NEW BEST:: SOT 5214835 SOS 4475400 HAS SOPS 4472199 HAS SOUS 498856 HAS SOUPS 495655 WITH SCORE 500130.4
AT ITER 6405 NEW BEST:: SOT 5215563 SOS 4476063 HAS SOPS 4472927 HAS SOUS 498729 HAS SOUPS 495593 WITH SCORE 500069.063
AT ITER 6408 NEW BEST:: SOT 5215117 SOS 4475567 HAS SOPS 4472431 HAS SOUS 498258 HAS SOUPS 495122 WITH SCORE 499597.567
AT ITER 6415 NEW BEST:: SOT 5215117 SOS 4475567 HAS SOPS 4472431 HAS SOUS 498247 HAS SOUPS 495111 WITH SCORE 499586.567
AT ITER 6451 NEW BEST:: SOT 5215232 SOS 4478608 HAS SOPS 4475472 HAS SOUS 498231 HAS SOUPS 495095 WITH SCORE 499573.608
AT ITER 6468 NEW BEST:: SOT 5215222 SOS 4478598 HAS SOPS 4475462 HAS SOUS 498191 HAS SOUPS 495055 WITH SCORE 499533.598
AT ITER 6495 NEW BEST:: SOT 5215222 SOS 4478324 HAS SOPS 4475188 HAS SOUS 498191 HAS SOUPS 495055 WITH SCORE 499533.324
AT ITER 6497 NEW BEST:: SOT 5215187 SOS 4478289 HAS SOPS 4475153 HAS SOUS 498172 HAS SOUPS 495036 WITH SCORE 499514.289
AT ITER 6505 NEW BEST:: SOT 5215107 SOS 4478203 HAS SOPS 4475067 HAS SOUS 498091 HAS SOUPS 494955 WITH SCORE 499433.203
AT ITER 6524 NEW BEST:: SOT 5215107 SOS 4477653 HAS SOPS 4474517 HAS SOUS 498090 HAS SOUPS 494954 WITH SCORE 499431.653
AT ITER 6538 NEW BEST:: SOT 5215033 SOS 4477579 HAS SOPS 4474443 HAS SOUS 497979 HAS SOUPS 494843 WITH SCORE 499320.579
AT ITER 6558 NEW BEST:: SOT 5215163 SOS 4477574 HAS SOPS 4474573 HAS SOUS 497544 HAS SOUPS 494543 WITH SCORE 499020.574
AT ITER 6560 NEW BEST:: SOT 5215163 SOS 4477526 HAS SOPS 4474525 HAS SOUS 497544 HAS SOUPS 494543 WITH SCORE 499020.526
AT ITER 6575 NEW BEST:: SOT 5215163 SOS 4477450 HAS SOPS 4474449 HAS SOUS 497544 HAS SOUPS 494543 WITH SCORE 499020.45
AT ITER 6592 NEW BEST:: SOT 5215163 SOS 4477434 HAS SOPS 4474433 HAS SOUS 497544 HAS SOUPS 494543 WITH SCORE 499020.434
AT ITER 6594 NEW BEST:: SOT 5215163 SOS 4477070 HAS SOPS 4474069 HAS SOUS 497544 HAS SOUPS 494543 WITH SCORE 499020.07
AT ITER 6613 NEW BEST:: SOT 5215161 SOS 4477068 HAS SOPS 4474067 HAS SOUS 497541 HAS SOUPS 494540 WITH SCORE 499017.068
AT ITER 6631 NEW BEST:: SOT 5215159 SOS 4477066 HAS SOPS 4474065 HAS SOUS 497541 HAS SOUPS 494540 WITH SCORE 499017.066
AT ITER 6666 NEW BEST:: SOT 5215159 SOS 4476868 HAS SOPS 4473867 HAS SOUS 497541 HAS SOUPS 494540 WITH SCORE 499016.868
AT ITER 6669 NEW BEST:: SOT 5215245 SOS 4476910 HAS SOPS 4473953 HAS SOUS 497307 HAS SOUPS 494350 WITH SCORE 498826.91
AT ITER 6691 NEW BEST:: SOT 5215116 SOS 4476781 HAS SOPS 4473824 HAS SOUS 497104 HAS SOUPS 494147 WITH SCORE 498623.781
AT ITER 6729 NEW BEST:: SOT 5215116 SOS 4437087 HAS SOPS 4433410 HAS SOUS 497132 HAS SOUPS 494147 WITH SCORE 498584.087
AT ITER 6730 NEW BEST:: SOT 5215116 SOS 4437087 HAS SOPS 4433410 HAS SOUS 497109 HAS SOUPS 494124 WITH SCORE 498561.087
AT ITER 6733 NEW BEST:: SOT 5214329 SOS 4436300 HAS SOPS 4432623 HAS SOUS 496675 HAS SOUPS 493690 WITH SCORE 498126.3
AT ITER 6736 NEW BEST:: SOT 5214329 SOS 4436192 HAS SOPS 4432515 HAS SOUS 496675 HAS SOUPS 493690 WITH SCORE 498126.192
AT ITER 6753 NEW BEST:: SOT 5214329 SOS 4432438 HAS SOPS 4428501 HAS SOUS 496675 HAS SOUPS 493690 WITH SCORE 498122.438
AT ITER 6768 NEW BEST:: SOT 5214061 SOS 4432170 HAS SOPS 4428233 HAS SOUS 496407 HAS SOUPS 493422 WITH SCORE 497854.17
AT ITER 6812 NEW BEST:: SOT 5214061 SOS 4432192 HAS SOPS 4428255 HAS SOUS 496379 HAS SOUPS 493394 WITH SCORE 497826.192
AT ITER 6831 NEW BEST:: SOT 5214061 SOS 4404306 HAS SOPS 4400369 HAS SOUS 496379 HAS SOUPS 493394 WITH SCORE 497798.306
AT ITER 6846 NEW BEST:: SOT 5213829 SOS 4404074 HAS SOPS 4400137 HAS SOUS 495879 HAS SOUPS 492894 WITH SCORE 497298.074
AT ITER 6852 NEW BEST:: SOT 5213809 SOS 4404054 HAS SOPS 4400117 HAS SOUS 495853 HAS SOUPS 492868 WITH SCORE 497272.054
AT ITER 6855 NEW BEST:: SOT 5213807 SOS 4404052 HAS SOPS 4400115 HAS SOUS 495853 HAS SOUPS 492868 WITH SCORE 497272.052
AT ITER 6871 NEW BEST:: SOT 5213773 SOS 4404018 HAS SOPS 4400081 HAS SOUS 495802 HAS SOUPS 492817 WITH SCORE 497221.018
AT ITER 6881 NEW BEST:: SOT 5213773 SOS 4400258 HAS SOPS 4395761 HAS SOUS 495802 HAS SOUPS 492817 WITH SCORE 497217.258
AT ITER 6908 NEW BEST:: SOT 5210869 SOS 4397317 HAS SOPS 4392857 HAS SOUS 492502 HAS SOUPS 489554 WITH SCORE 493951.317
AT ITER 6954 NEW BEST:: SOT 5210847 SOS 4397295 HAS SOPS 4392835 HAS SOUS 492480 HAS SOUPS 489532 WITH SCORE 493929.295
AT ITER 6966 NEW BEST:: SOT 5210847 SOS 4397051 HAS SOPS 4392591 HAS SOUS 492402 HAS SOUPS 489454 WITH SCORE 493851.051
AT ITER 6987 NEW BEST:: SOT 5210765 SOS 4396307 HAS SOPS 4391847 HAS SOUS 492276 HAS SOUPS 489328 WITH SCORE 493724.307
AT ITER 7006 NEW BEST:: SOT 5210684 SOS 4396397 HAS SOPS 4391937 HAS SOUS 492204 HAS SOUPS 489256 WITH SCORE 493652.397
AT ITER 7041 NEW BEST:: SOT 5210684 SOS 4398182 HAS SOPS 4393722 HAS SOUS 492099 HAS SOUPS 489151 WITH SCORE 493549.182
AT ITER 7048 NEW BEST:: SOT 5210684 SOS 4398182 HAS SOPS 4393722 HAS SOUS 492096 HAS SOUPS 489148 WITH SCORE 493546.182
AT ITER 7081 NEW BEST:: SOT 5210645 SOS 4398103 HAS SOPS 4393643 HAS SOUS 491994 HAS SOUPS 489046 WITH SCORE 493444.103
AT ITER 7101 NEW BEST:: SOT 5210645 SOS 4398067 HAS SOPS 4393607 HAS SOUS 491991 HAS SOUPS 489043 WITH SCORE 493441.067
AT ITER 7115 NEW BEST:: SOT 5210441 SOS 4397863 HAS SOPS 4393403 HAS SOUS 491685 HAS SOUPS 488737 WITH SCORE 493134.863
AT ITER 7139 NEW BEST:: SOT 5210471 SOS 4397863 HAS SOPS 4393433 HAS SOUS 491625 HAS SOUPS 488707 WITH SCORE 493104.863
AT ITER 7155 NEW BEST:: SOT 5210468 SOS 4397982 HAS SOPS 4393552 HAS SOUS 491602 HAS SOUPS 488684 WITH SCORE 493081.982
AT ITER 7161 NEW BEST:: SOT 5210451 SOS 4397965 HAS SOPS 4393535 HAS SOUS 491602 HAS SOUPS 488684 WITH SCORE 493081.965
AT ITER 7169 NEW BEST:: SOT 5210070 SOS 4397550 HAS SOPS 4393114 HAS SOUS 491219 HAS SOUPS 488295 WITH SCORE 492692.55
AT ITER 7192 NEW BEST:: SOT 5210108 SOS 4399508 HAS SOPS 4395072 HAS SOUS 491117 HAS SOUPS 488193 WITH SCORE 492592.508
AT ITER 7228 NEW BEST:: SOT 5210084 SOS 4399484 HAS SOPS 4395048 HAS SOUS 491081 HAS SOUPS 488157 WITH SCORE 492556.484
AT ITER 7238 NEW BEST:: SOT 5210084 SOS 4399456 HAS SOPS 4395048 HAS SOUS 490997 HAS SOUPS 488101 WITH SCORE 492500.456
AT ITER 7306 NEW BEST:: SOT 5210304 SOS 4399676 HAS SOPS 4395268 HAS SOUS 490854 HAS SOUPS 487958 WITH SCORE 492357.676
AT ITER 7318 NEW BEST:: SOT 5210304 SOS 4399676 HAS SOPS 4395268 HAS SOUS 490829 HAS SOUPS 487933 WITH SCORE 492332.676
AT ITER 7350 NEW BEST:: SOT 5210304 SOS 4399298 HAS SOPS 4394890 HAS SOUS 490826 HAS SOUPS 487930 WITH SCORE 492329.298
AT ITER 7371 NEW BEST:: SOT 5210304 SOS 4399204 HAS SOPS 4394796 HAS SOUS 490826 HAS SOUPS 487930 WITH SCORE 492329.204
AT ITER 7387 NEW BEST:: SOT 5210304 SOS 4397944 HAS SOPS 4393536 HAS SOUS 490826 HAS SOUPS 487930 WITH SCORE 492327.944
AT ITER 7429 NEW BEST:: SOT 5210204 SOS 4397844 HAS SOPS 4393436 HAS SOUS 490676 HAS SOUPS 487780 WITH SCORE 492177.844
AT ITER 7432 NEW BEST:: SOT 5210204 SOS 4411453 HAS SOPS 4407045 HAS SOUS 490645 HAS SOUPS 487749 WITH SCORE 492160.453
AT ITER 7441 NEW BEST:: SOT 5210204 SOS 4411414 HAS SOPS 4407006 HAS SOUS 490606 HAS SOUPS 487710 WITH SCORE 492121.414
AT ITER 7457 NEW BEST:: SOT 5210204 SOS 4410934 HAS SOPS 4406526 HAS SOUS 490606 HAS SOUPS 487710 WITH SCORE 492120.934
AT ITER 7471 NEW BEST:: SOT 5210204 SOS 4380702 HAS SOPS 4376294 HAS SOUS 490621 HAS SOUPS 487725 WITH SCORE 492105.702
AT ITER 7472 NEW BEST:: SOT 5210204 SOS 4380670 HAS SOPS 4376262 HAS SOUS 490621 HAS SOUPS 487725 WITH SCORE 492105.67
AT ITER 7495 NEW BEST:: SOT 5210204 SOS 4377752 HAS SOPS 4373344 HAS SOUS 490621 HAS SOUPS 487725 WITH SCORE 492102.752
AT ITER 7506 NEW BEST:: SOT 5210204 SOS 4377752 HAS SOPS 4373344 HAS SOUS 490603 HAS SOUPS 487707 WITH SCORE 492084.752
AT ITER 7556 NEW BEST:: SOT 5210078 SOS 4377626 HAS SOPS 4373218 HAS SOUS 490414 HAS SOUPS 487518 WITH SCORE 491895.626
AT ITER 7577 NEW BEST:: SOT 5210078 SOS 4379218 HAS SOPS 4374810 HAS SOUS 490355 HAS SOUPS 487459 WITH SCORE 491838.218
AT ITER 7585 NEW BEST:: SOT 5210074 SOS 4378626 HAS SOPS 4374218 HAS SOUS 490324 HAS SOUPS 487428 WITH SCORE 491806.626
AT ITER 7614 NEW BEST:: SOT 5210074 SOS 4374586 HAS SOPS 4370038 HAS SOUS 490324 HAS SOUPS 487428 WITH SCORE 491802.586
AT ITER 7619 NEW BEST:: SOT 5210024 SOS 4374536 HAS SOPS 4369988 HAS SOUS 490257 HAS SOUPS 487361 WITH SCORE 491735.536
AT ITER 7628 NEW BEST:: SOT 5210020 SOS 4374532 HAS SOPS 4369984 HAS SOUS 490251 HAS SOUPS 487355 WITH SCORE 491729.532
AT ITER 7686 NEW BEST:: SOT 5210010 SOS 4374447 HAS SOPS 4369974 HAS SOUS 490016 HAS SOUPS 487195 WITH SCORE 491569.447
AT ITER 7687 NEW BEST:: SOT 5210003 SOS 4374440 HAS SOPS 4369967 HAS SOUS 490007 HAS SOUPS 487186 WITH SCORE 491560.44
AT ITER 7699 NEW BEST:: SOT 5209990 SOS 4375067 HAS SOPS 4370594 HAS SOUS 489982 HAS SOUPS 487161 WITH SCORE 491536.067
AT ITER 7739 NEW BEST:: SOT 5209990 SOS 4375067 HAS SOPS 4370594 HAS SOUS 489968 HAS SOUPS 487147 WITH SCORE 491522.067
AT ITER 7743 NEW BEST:: SOT 5209990 SOS 4373503 HAS SOPS 4369030 HAS SOUS 489968 HAS SOUPS 487147 WITH SCORE 491520.503
AT ITER 7773 NEW BEST:: SOT 5209968 SOS 4373481 HAS SOPS 4369008 HAS SOUS 489935 HAS SOUPS 487114 WITH SCORE 491487.481
AT ITER 7792 NEW BEST:: SOT 5209968 SOS 4372682 HAS SOPS 4368209 HAS SOUS 489935 HAS SOUPS 487114 WITH SCORE 491486.682
AT ITER 7800 NEW BEST:: SOT 5209968 SOS 4371002 HAS SOPS 4366529 HAS SOUS 489935 HAS SOUPS 487114 WITH SCORE 491485.002
AT ITER 7806 NEW BEST:: SOT 5209968 SOS 4370984 HAS SOPS 4366511 HAS SOUS 489930 HAS SOUPS 487109 WITH SCORE 491479.984
AT ITER 7808 NEW BEST:: SOT 5207165 SOS 4291825 HAS SOPS 4286724 HAS SOUS 487176 HAS SOUPS 483727 WITH SCORE 488018.825
AT ITER 7840 NEW BEST:: SOT 5207155 SOS 4291815 HAS SOPS 4286714 HAS SOUS 487126 HAS SOUPS 483677 WITH SCORE 487968.815
AT ITER 7844 NEW BEST:: SOT 5207155 SOS 4291805 HAS SOPS 4286704 HAS SOUS 487126 HAS SOUPS 483677 WITH SCORE 487968.805
AT ITER 7908 NEW BEST:: SOT 5207099 SOS 4291749 HAS SOPS 4286648 HAS SOUS 487042 HAS SOUPS 483593 WITH SCORE 487884.749
AT ITER 7943 NEW BEST:: SOT 5207087 SOS 4291737 HAS SOPS 4286636 HAS SOUS 487024 HAS SOUPS 483575 WITH SCORE 487866.737
AT ITER 7964 NEW BEST:: SOT 5206997 SOS 4291647 HAS SOPS 4286546 HAS SOUS 486889 HAS SOUPS 483440 WITH SCORE 487731.647
AT ITER 7968 NEW BEST:: SOT 5206985 SOS 4291635 HAS SOPS 4286534 HAS SOUS 486877 HAS SOUPS 483428 WITH SCORE 487719.635
AT ITER 7998 NEW BEST:: SOT 5206985 SOS 4291299 HAS SOPS 4286198 HAS SOUS 486877 HAS SOUPS 483428 WITH SCORE 487719.299
AT ITER 8008 NEW BEST:: SOT 5206985 SOS 4291227 HAS SOPS 4286126 HAS SOUS 486873 HAS SOUPS 483424 WITH SCORE 487715.227
AT ITER 8009 NEW BEST:: SOT 5206985 SOS 4291179 HAS SOPS 4286078 HAS SOUS 486873 HAS SOUPS 483424 WITH SCORE 487715.179
AT ITER 8084 NEW BEST:: SOT 5206911 SOS 4290943 HAS SOPS 4285842 HAS SOUS 486791 HAS SOUPS 483342 WITH SCORE 487632.943
AT ITER 8086 NEW BEST:: SOT 5206911 SOS 4291821 HAS SOPS 4286720 HAS SOUS 486770 HAS SOUPS 483321 WITH SCORE 487612.821
AT ITER 8089 NEW BEST:: SOT 5206747 SOS 4291657 HAS SOPS 4286556 HAS SOUS 486549 HAS SOUPS 483100 WITH SCORE 487391.657
AT ITER 8109 NEW BEST:: SOT 5206747 SOS 4291413 HAS SOPS 4286312 HAS SOUS 486549 HAS SOUPS 483100 WITH SCORE 487391.413
AT ITER 8115 NEW BEST:: SOT 5206723 SOS 4291389 HAS SOPS 4286288 HAS SOUS 486513 HAS SOUPS 483064 WITH SCORE 487355.389
AT ITER 8158 NEW BEST:: SOT 5206709 SOS 4291375 HAS SOPS 4286274 HAS SOUS 486499 HAS SOUPS 483050 WITH SCORE 487341.375
AT ITER 8173 NEW BEST:: SOT 5206709 SOS 4289555 HAS SOPS 4284074 HAS SOUS 486499 HAS SOUPS 483050 WITH SCORE 487339.555
AT ITER 8192 NEW BEST:: SOT 5206709 SOS 4289552 HAS SOPS 4284071 HAS SOUS 486499 HAS SOUPS 483050 WITH SCORE 487339.552
AT ITER 8223 NEW BEST:: SOT 5207050 SOS 4289876 HAS SOPS 4284412 HAS SOUS 486147 HAS SOUPS 482715 WITH SCORE 487004.876
AT ITER 8232 NEW BEST:: SOT 5207050 SOS 4289658 HAS SOPS 4284194 HAS SOUS 486147 HAS SOUPS 482715 WITH SCORE 487004.658
AT ITER 8272 NEW BEST:: SOT 5206980 SOS 4289588 HAS SOPS 4284124 HAS SOUS 486042 HAS SOUPS 482610 WITH SCORE 486899.588
AT ITER 8338 NEW BEST:: SOT 5205303 SOS 4287930 HAS SOPS 4282499 HAS SOUS 484358 HAS SOUPS 480959 WITH SCORE 485246.93
AT ITER 8344 NEW BEST:: SOT 5205303 SOS 4288272 HAS SOPS 4282841 HAS SOUS 484352 HAS SOUPS 480953 WITH SCORE 485241.272
AT ITER 8352 NEW BEST:: SOT 5205303 SOS 4284834 HAS SOPS 4279403 HAS SOUS 484352 HAS SOUPS 480953 WITH SCORE 485237.834
AT ITER 8354 NEW BEST:: SOT 5205303 SOS 4285461 HAS SOPS 4282090 HAS SOUS 484291 HAS SOUPS 480920 WITH SCORE 485205.461
AT ITER 8361 NEW BEST:: SOT 5205290 SOS 4285356 HAS SOPS 4281985 HAS SOUS 484251 HAS SOUPS 480880 WITH SCORE 485165.356
AT ITER 8363 NEW BEST:: SOT 5205290 SOS 4285346 HAS SOPS 4281975 HAS SOUS 484251 HAS SOUPS 480880 WITH SCORE 485165.346
AT ITER 8406 NEW BEST:: SOT 5205290 SOS 4285346 HAS SOPS 4281975 HAS SOUS 484249 HAS SOUPS 480878 WITH SCORE 485163.346
AT ITER 8477 NEW BEST:: SOT 5205290 SOS 4282126 HAS SOPS 4278755 HAS SOUS 484249 HAS SOUPS 480878 WITH SCORE 485160.126
AT ITER 8507 NEW BEST:: SOT 5205290 SOS 4282562 HAS SOPS 4279191 HAS SOUS 484239 HAS SOUPS 480868 WITH SCORE 485150.562
AT ITER 8511 NEW BEST:: SOT 5205276 SOS 4282548 HAS SOPS 4279177 HAS SOUS 484218 HAS SOUPS 480847 WITH SCORE 485129.548
AT ITER 8518 NEW BEST:: SOT 5205628 SOS 4282900 HAS SOPS 4279529 HAS SOUS 484157 HAS SOUPS 480786 WITH SCORE 485068.9
AT ITER 8527 NEW BEST:: SOT 5205628 SOS 4282864 HAS SOPS 4279493 HAS SOUS 484157 HAS SOUPS 480786 WITH SCORE 485068.864
AT ITER 8550 NEW BEST:: SOT 5204851 SOS 4282161 HAS SOPS 4278790 HAS SOUS 483417 HAS SOUPS 480046 WITH SCORE 484328.161
AT ITER 8556 NEW BEST:: SOT 5204851 SOS 4278361 HAS SOPS 4274990 HAS SOUS 483417 HAS SOUPS 480046 WITH SCORE 484324.361
AT ITER 8568 NEW BEST:: SOT 5204771 SOS 4278273 HAS SOPS 4274910 HAS SOUS 483293 HAS SOUPS 479930 WITH SCORE 484208.273
AT ITER 8614 NEW BEST:: SOT 5204771 SOS 4278159 HAS SOPS 4274796 HAS SOUS 483293 HAS SOUPS 479930 WITH SCORE 484208.159
AT ITER 8699 NEW BEST:: SOT 5204771 SOS 4233476 HAS SOPS 4230113 HAS SOUS 483333 HAS SOUPS 479970 WITH SCORE 484203.476
AT ITER 8706 NEW BEST:: SOT 5204753 SOS 4233458 HAS SOPS 4230095 HAS SOUS 483306 HAS SOUPS 479943 WITH SCORE 484176.458
AT ITER 8711 NEW BEST:: SOT 5204609 SOS 4233314 HAS SOPS 4229951 HAS SOUS 483148 HAS SOUPS 479785 WITH SCORE 484018.314
AT ITER 8736 NEW BEST:: SOT 5204547 SOS 4233252 HAS SOPS 4229889 HAS SOUS 483055 HAS SOUPS 479692 WITH SCORE 483925.252
AT ITER 8799 NEW BEST:: SOT 5204491 SOS 4233196 HAS SOPS 4229833 HAS SOUS 482971 HAS SOUPS 479608 WITH SCORE 483841.196
AT ITER 8801 NEW BEST:: SOT 5203637 SOS 4232342 HAS SOPS 4228979 HAS SOUS 482668 HAS SOUPS 479305 WITH SCORE 483537.342
AT ITER 8820 NEW BEST:: SOT 5203637 SOS 4232142 HAS SOPS 4228779 HAS SOUS 482668 HAS SOUPS 479305 WITH SCORE 483537.142
AT ITER 8849 NEW BEST:: SOT 5203631 SOS 4232136 HAS SOPS 4228773 HAS SOUS 482659 HAS SOUPS 479296 WITH SCORE 483528.136
AT ITER 8889 NEW BEST:: SOT 5203523 SOS 4232028 HAS SOPS 4228665 HAS SOUS 482497 HAS SOUPS 479134 WITH SCORE 483366.028
AT ITER 8895 NEW BEST:: SOT 5202893 SOS 4231368 HAS SOPS 4228035 HAS SOUS 481777 HAS SOUPS 478444 WITH SCORE 482675.368
AT ITER 8943 NEW BEST:: SOT 5202893 SOS 4396290 HAS SOPS 4309615 HAS SOUS 481589 HAS SOUPS 478058 WITH SCORE 482454.29
AT ITER 9007 NEW BEST:: SOT 5202893 SOS 4395698 HAS SOPS 4309028 HAS SOUS 481589 HAS SOUPS 478058 WITH SCORE 482453.698
AT ITER 9008 NEW BEST:: SOT 5202893 SOS 4395612 HAS SOPS 4329182 HAS SOUS 481417 HAS SOUPS 477972 WITH SCORE 482367.612
AT ITER 9013 NEW BEST:: SOT 5202863 SOS 4395582 HAS SOPS 4329152 HAS SOUS 481387 HAS SOUPS 477942 WITH SCORE 482337.582
AT ITER 9025 NEW BEST:: SOT 5202863 SOS 4395556 HAS SOPS 4328146 HAS SOUS 481387 HAS SOUPS 477942 WITH SCORE 482337.556
AT ITER 9033 NEW BEST:: SOT 5202863 SOS 4397176 HAS SOPS 4332006 HAS SOUS 481381 HAS SOUPS 477936 WITH SCORE 482333.176
AT ITER 9039 NEW BEST:: SOT 5202863 SOS 4397216 HAS SOPS 4332046 HAS SOUS 481379 HAS SOUPS 477934 WITH SCORE 482331.216
AT ITER 9042 NEW BEST:: SOT 5202443 SOS 4396796 HAS SOPS 4331626 HAS SOUS 480932 HAS SOUPS 477487 WITH SCORE 481883.796
AT ITER 9058 NEW BEST:: SOT 5200853 SOS 4395149 HAS SOPS 4330036 HAS SOUS 479171 HAS SOUPS 475783 WITH SCORE 480178.149
AT ITER 9059 NEW BEST:: SOT 5199911 SOS 4394465 HAS SOPS 4329747 HAS SOUS 478770 HAS SOUPS 475382 WITH SCORE 479776.465
AT ITER 9089 NEW BEST:: SOT 5199787 SOS 4394089 HAS SOPS 4329336 HAS SOUS 478632 HAS SOUPS 475209 WITH SCORE 479603.089
AT ITER 9105 NEW BEST:: SOT 5199775 SOS 4394077 HAS SOPS 4329324 HAS SOUS 478614 HAS SOUPS 475191 WITH SCORE 479585.077
AT ITER 9189 NEW BEST:: SOT 5199775 SOS 4362624 HAS SOPS 4294971 HAS SOUS 478643 HAS SOUPS 475220 WITH SCORE 479582.624
AT ITER 9196 NEW BEST:: SOT 5199775 SOS 4362546 HAS SOPS 4294893 HAS SOUS 478643 HAS SOUPS 475220 WITH SCORE 479582.546
AT ITER 9228 NEW BEST:: SOT 5199775 SOS 4362616 HAS SOPS 4314623 HAS SOUS 478532 HAS SOUPS 475150 WITH SCORE 479512.616
AT ITER 9248 NEW BEST:: SOT 5199770 SOS 4362611 HAS SOPS 4314618 HAS SOUS 478504 HAS SOUPS 475122 WITH SCORE 479484.611
AT ITER 9277 NEW BEST:: SOT 5199770 SOS 4361989 HAS SOPS 4313996 HAS SOUS 478504 HAS SOUPS 475122 WITH SCORE 479483.989
AT ITER 9349 NEW BEST:: SOT 5199770 SOS 4361818 HAS SOPS 4313005 HAS SOUS 478504 HAS SOUPS 475122 WITH SCORE 479483.818
AT ITER 9387 NEW BEST:: SOT 5199711 SOS 4361759 HAS SOPS 4312946 HAS SOUS 478036 HAS SOUPS 474654 WITH SCORE 479015.759
AT ITER 9389 NEW BEST:: SOT 5199711 SOS 4361735 HAS SOPS 4312922 HAS SOUS 478036 HAS SOUPS 474654 WITH SCORE 479015.735
AT ITER 9421 NEW BEST:: SOT 5199711 SOS 4361633 HAS SOPS 4312820 HAS SOUS 478036 HAS SOUPS 474654 WITH SCORE 479015.633
AT ITER 9439 NEW BEST:: SOT 5199486 SOS 4361408 HAS SOPS 4312595 HAS SOUS 477902 HAS SOUPS 474520 WITH SCORE 478881.408
AT ITER 9445 NEW BEST:: SOT 5199484 SOS 4361406 HAS SOPS 4312593 HAS SOUS 477899 HAS SOUPS 474517 WITH SCORE 478878.406
AT ITER 9502 NEW BEST:: SOT 5198928 SOS 4360850 HAS SOPS 4312037 HAS SOUS 477300 HAS SOUPS 473918 WITH SCORE 478278.85
AT ITER 9511 NEW BEST:: SOT 5198906 SOS 4360828 HAS SOPS 4312015 HAS SOUS 477267 HAS SOUPS 473885 WITH SCORE 478245.828
AT ITER 9528 NEW BEST:: SOT 5198564 SOS 4360617 HAS SOPS 4311804 HAS SOUS 476931 HAS SOUPS 473549 WITH SCORE 477909.617
AT ITER 9534 NEW BEST:: SOT 5198521 SOS 4360880 HAS SOPS 4312067 HAS SOUS 476905 HAS SOUPS 473523 WITH SCORE 477883.88
AT ITER 9546 NEW BEST:: SOT 5198521 SOS 4360746 HAS SOPS 4311933 HAS SOUS 476905 HAS SOUPS 473523 WITH SCORE 477883.746
AT ITER 9568 NEW BEST:: SOT 5198507 SOS 4360732 HAS SOPS 4311919 HAS SOUS 476886 HAS SOUPS 473504 WITH SCORE 477864.732
AT ITER 9583 NEW BEST:: SOT 5198507 SOS 4360087 HAS SOPS 4311181 HAS SOUS 476850 HAS SOUPS 473375 WITH SCORE 477735.087
AT ITER 9618 NEW BEST:: SOT 5198514 SOS 4359850 HAS SOPS 4310944 HAS SOUS 476763 HAS SOUPS 473288 WITH SCORE 477647.85
AT ITER 9641 NEW BEST:: SOT 5198514 SOS 4360116 HAS SOPS 4310170 HAS SOUS 476761 HAS SOUPS 473286 WITH SCORE 477646.116
AT ITER 9716 NEW BEST:: SOT 5198514 SOS 4361316 HAS SOPS 4311370 HAS SOUS 476701 HAS SOUPS 473226 WITH SCORE 477587.316
AT ITER 9766 NEW BEST:: SOT 5198691 SOS 4361493 HAS SOPS 4311529 HAS SOUS 476716 HAS SOUPS 473223 WITH SCORE 477584.493
AT ITER 9794 NEW BEST:: SOT 5196555 SOS 4359357 HAS SOPS 4309393 HAS SOUS 476708 HAS SOUPS 473215 WITH SCORE 477574.357
AT ITER 9809 NEW BEST:: SOT 5196555 SOS 4359959 HAS SOPS 4309995 HAS SOUS 476699 HAS SOUPS 473206 WITH SCORE 477565.959
AT ITER 9882 NEW BEST:: SOT 5196410 SOS 4359684 HAS SOPS 4309720 HAS SOUS 476483 HAS SOUPS 472990 WITH SCORE 477349.684
AT ITER 9911 NEW BEST:: SOT 5196410 SOS 4359684 HAS SOPS 4309680 HAS SOUS 476481 HAS SOUPS 472988 WITH SCORE 477347.684
AT ITER 9918 NEW BEST:: SOT 5196408 SOS 4359682 HAS SOPS 4309678 HAS SOUS 476466 HAS SOUPS 472973 WITH SCORE 477332.682
AT ITER 9936 NEW BEST:: SOT 5196408 SOS 4359586 HAS SOPS 4309582 HAS SOUS 476466 HAS SOUPS 472973 WITH SCORE 477332.586
AT ITER 9944 NEW BEST:: SOT 5196394 SOS 4359572 HAS SOPS 4309568 HAS SOUS 476445 HAS SOUPS 472952 WITH SCORE 477311.572
AT ITER 9948 NEW BEST:: SOT 5196348 SOS 4359526 HAS SOPS 4309522 HAS SOUS 476373 HAS SOUPS 472880 WITH SCORE 477239.526
AT ITER 9954 NEW BEST:: SOT 5196302 SOS 4359480 HAS SOPS 4309476 HAS SOUS 476304 HAS SOUPS 472811 WITH SCORE 477170.48
AT ITER 9979 NEW BEST:: SOT 5196284 SOS 4359462 HAS SOPS 4309458 HAS SOUS 476268 HAS SOUPS 472775 WITH SCORE 477134.462
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 11310996 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16103420 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="SafeBus-COL-20"
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 SafeBus-COL-20, 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 r363-smll-167891813900240"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/SafeBus-COL-20.tgz
mv SafeBus-COL-20 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 ;