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.r107-tall-167814484600744.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 DLCround-PT-10b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r107-tall-167814484600744
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.9M
-rw-r--r-- 1 mcc users 5.4K Feb 25 18:52 CTLCardinality.txt
-rw-r--r-- 1 mcc users 52K Feb 25 18:52 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.3K Feb 25 18:52 CTLFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 25 18:52 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 15:53 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 25 15:53 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:53 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:53 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.9K Feb 25 18:53 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 103K Feb 25 18:53 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.3K Feb 25 18:53 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 80K Feb 25 18:53 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 1.5M Mar 5 18:22 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678421649043

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=DLCround-PT-10b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-10 04:14:10] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-10 04:14:10] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-10 04:14:10] [INFO ] Load time of PNML (sax parser for PT used): 194 ms
[2023-03-10 04:14:10] [INFO ] Transformed 3924 places.
[2023-03-10 04:14:10] [INFO ] Transformed 6192 transitions.
[2023-03-10 04:14:10] [INFO ] Found NUPN structural information;
[2023-03-10 04:14:10] [INFO ] Parsed PT model containing 3924 places and 6192 transitions and 17304 arcs in 342 ms.
[2023-03-10 04:14:10] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 3924 places, 6192 transitions and 17304 arcs took 37 ms.
Total runtime 406 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCround (PT), instance 10b
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: 3924 places, 6192 transitions, 17304 arcs.
AT ITER 0 NEW BEST:: SOT 15574572 SOS 3699258 HAS SOPS 3699258 HAS SOUS 2072207 HAS SOUPS 2072207 WITH SCORE 2075906.258
AT ITER 11 NEW BEST:: SOT 15572809 SOS 3696992 HAS SOPS 3696992 HAS SOUS 2069814 HAS SOUPS 2069814 WITH SCORE 2073510.992
AT ITER 22 NEW BEST:: SOT 15572512 SOS 3696548 HAS SOPS 3696548 HAS SOUS 2069370 HAS SOUPS 2069370 WITH SCORE 2073066.548
AT ITER 36 NEW BEST:: SOT 15572615 SOS 3696378 HAS SOPS 3696378 HAS SOUS 2069337 HAS SOUPS 2069337 WITH SCORE 2073033.378
AT ITER 38 NEW BEST:: SOT 15572564 SOS 3696276 HAS SOPS 3696276 HAS SOUS 2069286 HAS SOUPS 2069286 WITH SCORE 2072982.276
AT ITER 41 NEW BEST:: SOT 15572564 SOS 3697049 HAS SOPS 3697049 HAS SOUS 2069198 HAS SOUPS 2069198 WITH SCORE 2072895.049
AT ITER 47 NEW BEST:: SOT 15572137 SOS 3697017 HAS SOPS 3697017 HAS SOUS 2069045 HAS SOUPS 2069045 WITH SCORE 2072742.017
AT ITER 61 NEW BEST:: SOT 15571959 SOS 3697192 HAS SOPS 3697192 HAS SOUS 2068866 HAS SOUPS 2068866 WITH SCORE 2072563.192
AT ITER 62 NEW BEST:: SOT 15571871 SOS 3697132 HAS SOPS 3697132 HAS SOUS 2068806 HAS SOUPS 2068806 WITH SCORE 2072503.132
AT ITER 110 NEW BEST:: SOT 15570486 SOS 3701502 HAS SOPS 3701502 HAS SOUS 2067524 HAS SOUPS 2067524 WITH SCORE 2071225.502
AT ITER 116 NEW BEST:: SOT 15570156 SOS 3705260 HAS SOPS 3705260 HAS SOUS 2066863 HAS SOUPS 2066863 WITH SCORE 2070568.26
AT ITER 120 NEW BEST:: SOT 15569725 SOS 3704398 HAS SOPS 3704398 HAS SOUS 2066432 HAS SOUPS 2066432 WITH SCORE 2070136.398
AT ITER 161 NEW BEST:: SOT 15569197 SOS 3705288 HAS SOPS 3705288 HAS SOUS 2065839 HAS SOUPS 2065839 WITH SCORE 2069544.288
AT ITER 193 NEW BEST:: SOT 15567512 SOS 3724198 HAS SOPS 3724198 HAS SOUS 2065434 HAS SOUPS 2065434 WITH SCORE 2069158.198
AT ITER 223 NEW BEST:: SOT 15567103 SOS 3723901 HAS SOPS 3723901 HAS SOUS 2065137 HAS SOUPS 2065137 WITH SCORE 2068860.901
AT ITER 235 NEW BEST:: SOT 15567103 SOS 3723868 HAS SOPS 3723868 HAS SOUS 2065104 HAS SOUPS 2065104 WITH SCORE 2068827.868
AT ITER 286 NEW BEST:: SOT 15567103 SOS 3725564 HAS SOPS 3725564 HAS SOUS 2064895 HAS SOUPS 2064895 WITH SCORE 2068620.564
AT ITER 301 NEW BEST:: SOT 15567103 SOS 3726193 HAS SOPS 3726193 HAS SOUS 2064891 HAS SOUPS 2064891 WITH SCORE 2068617.193
AT ITER 309 NEW BEST:: SOT 15567103 SOS 3726154 HAS SOPS 3726154 HAS SOUS 2064891 HAS SOUPS 2064891 WITH SCORE 2068617.154
AT ITER 317 NEW BEST:: SOT 15567117 SOS 3726167 HAS SOPS 3726167 HAS SOUS 2064890 HAS SOUPS 2064890 WITH SCORE 2068616.167
AT ITER 323 NEW BEST:: SOT 15566479 SOS 3725525 HAS SOPS 3725525 HAS SOUS 2064251 HAS SOUPS 2064251 WITH SCORE 2067976.525
AT ITER 363 NEW BEST:: SOT 15565952 SOS 3725381 HAS SOPS 3725381 HAS SOUS 2063724 HAS SOUPS 2063724 WITH SCORE 2067449.381
AT ITER 367 NEW BEST:: SOT 15565952 SOS 3724822 HAS SOPS 3724822 HAS SOUS 2063724 HAS SOUPS 2063724 WITH SCORE 2067448.822
AT ITER 391 NEW BEST:: SOT 15565951 SOS 3724820 HAS SOPS 3724820 HAS SOUS 2063722 HAS SOUPS 2063722 WITH SCORE 2067446.82
AT ITER 392 NEW BEST:: SOT 15565377 SOS 3724152 HAS SOPS 3724152 HAS SOUS 2063054 HAS SOUPS 2063054 WITH SCORE 2066778.152
AT ITER 400 NEW BEST:: SOT 15565169 SOS 3724554 HAS SOPS 3724554 HAS SOUS 2062844 HAS SOUPS 2062844 WITH SCORE 2066568.554
AT ITER 418 NEW BEST:: SOT 15565169 SOS 3725192 HAS SOPS 3725192 HAS SOUS 2062842 HAS SOUPS 2062842 WITH SCORE 2066567.192
AT ITER 421 NEW BEST:: SOT 15565128 SOS 3725110 HAS SOPS 3725110 HAS SOUS 2062801 HAS SOUPS 2062801 WITH SCORE 2066526.11
AT ITER 431 NEW BEST:: SOT 15564833 SOS 3725398 HAS SOPS 3725398 HAS SOUS 2062504 HAS SOUPS 2062504 WITH SCORE 2066229.398
AT ITER 433 NEW BEST:: SOT 15564833 SOS 3725077 HAS SOPS 3725077 HAS SOUS 2062183 HAS SOUPS 2062183 WITH SCORE 2065908.077
AT ITER 437 NEW BEST:: SOT 15564524 SOS 3724768 HAS SOPS 3724768 HAS SOUS 2061771 HAS SOUPS 2061771 WITH SCORE 2065495.768
AT ITER 451 NEW BEST:: SOT 15564380 SOS 3725052 HAS SOPS 3725052 HAS SOUS 2061770 HAS SOUPS 2061770 WITH SCORE 2065495.052
AT ITER 458 NEW BEST:: SOT 15563743 SOS 3724415 HAS SOPS 3724415 HAS SOUS 2060496 HAS SOUPS 2060496 WITH SCORE 2064220.415
AT ITER 466 NEW BEST:: SOT 15563180 SOS 3724405 HAS SOPS 3724405 HAS SOUS 2060090 HAS SOUPS 2060090 WITH SCORE 2063814.405
AT ITER 476 NEW BEST:: SOT 15563179 SOS 3725320 HAS SOPS 3725320 HAS SOUS 2060087 HAS SOUPS 2060087 WITH SCORE 2063812.32
AT ITER 494 NEW BEST:: SOT 15562557 SOS 3724698 HAS SOPS 3724698 HAS SOUS 2059465 HAS SOUPS 2059465 WITH SCORE 2063189.698
AT ITER 505 NEW BEST:: SOT 15562556 SOS 3724696 HAS SOPS 3724696 HAS SOUS 2059463 HAS SOUPS 2059463 WITH SCORE 2063187.696
AT ITER 526 NEW BEST:: SOT 15562477 SOS 3724538 HAS SOPS 3724538 HAS SOUS 2059305 HAS SOUPS 2059305 WITH SCORE 2063029.538
AT ITER 530 NEW BEST:: SOT 15562543 SOS 3729223 HAS SOPS 3729223 HAS SOUS 2058929 HAS SOUPS 2058929 WITH SCORE 2062658.223
AT ITER 531 NEW BEST:: SOT 15562543 SOS 3728047 HAS SOPS 3728047 HAS SOUS 2058341 HAS SOUPS 2058341 WITH SCORE 2062069.047
AT ITER 550 NEW BEST:: SOT 15561726 SOS 3727578 HAS SOPS 3727578 HAS SOUS 2057585 HAS SOUPS 2057585 WITH SCORE 2061312.578
AT ITER 583 NEW BEST:: SOT 15561726 SOS 3727578 HAS SOPS 3727578 HAS SOUS 2057153 HAS SOUPS 2057153 WITH SCORE 2060880.578
AT ITER 588 NEW BEST:: SOT 15561617 SOS 3725209 HAS SOPS 3725209 HAS SOUS 2056935 HAS SOUPS 2056935 WITH SCORE 2060660.209
AT ITER 624 NEW BEST:: SOT 15561221 SOS 3725595 HAS SOPS 3725595 HAS SOUS 2056546 HAS SOUPS 2056546 WITH SCORE 2060271.595
AT ITER 634 NEW BEST:: SOT 15560830 SOS 3725731 HAS SOPS 3725731 HAS SOUS 2056453 HAS SOUPS 2056453 WITH SCORE 2060178.731
AT ITER 660 NEW BEST:: SOT 15560830 SOS 3725731 HAS SOPS 3725731 HAS SOUS 2056428 HAS SOUPS 2056428 WITH SCORE 2060153.731
AT ITER 681 NEW BEST:: SOT 15560220 SOS 3719021 HAS SOPS 3719021 HAS SOUS 2055208 HAS SOUPS 2055208 WITH SCORE 2058927.021
AT ITER 685 NEW BEST:: SOT 15558791 SOS 3722410 HAS SOPS 3722410 HAS SOUS 2054737 HAS SOUPS 2054737 WITH SCORE 2058459.41
AT ITER 717 NEW BEST:: SOT 15558197 SOS 3721222 HAS SOPS 3721222 HAS SOUS 2053549 HAS SOUPS 2053549 WITH SCORE 2057270.222
AT ITER 731 NEW BEST:: SOT 15558197 SOS 3719857 HAS SOPS 3719857 HAS SOUS 2053549 HAS SOUPS 2053549 WITH SCORE 2057268.857
AT ITER 733 NEW BEST:: SOT 15557823 SOS 3724772 HAS SOPS 3724772 HAS SOUS 2053175 HAS SOUPS 2053175 WITH SCORE 2056899.772
AT ITER 737 NEW BEST:: SOT 15557510 SOS 3723977 HAS SOPS 3723977 HAS SOUS 2052380 HAS SOUPS 2052380 WITH SCORE 2056103.977
AT ITER 739 NEW BEST:: SOT 15557510 SOS 3724535 HAS SOPS 3724535 HAS SOUS 2052378 HAS SOUPS 2052378 WITH SCORE 2056102.535
AT ITER 760 NEW BEST:: SOT 15556544 SOS 3724535 HAS SOPS 3724535 HAS SOUS 2051024 HAS SOUPS 2051024 WITH SCORE 2054748.535
AT ITER 771 NEW BEST:: SOT 15556540 SOS 3724533 HAS SOPS 3724533 HAS SOUS 2051014 HAS SOUPS 2051014 WITH SCORE 2054738.533
AT ITER 779 NEW BEST:: SOT 15556540 SOS 3726130 HAS SOPS 3726130 HAS SOUS 2050213 HAS SOUPS 2050213 WITH SCORE 2053939.13
AT ITER 795 NEW BEST:: SOT 15556477 SOS 3725702 HAS SOPS 3725702 HAS SOUS 2050150 HAS SOUPS 2050150 WITH SCORE 2053875.702
AT ITER 823 NEW BEST:: SOT 15556477 SOS 3726460 HAS SOPS 3726460 HAS SOUS 2050148 HAS SOUPS 2050148 WITH SCORE 2053874.46
AT ITER 826 NEW BEST:: SOT 15555776 SOS 3727199 HAS SOPS 3727199 HAS SOUS 2048745 HAS SOUPS 2048745 WITH SCORE 2052472.199
AT ITER 872 NEW BEST:: SOT 15556199 SOS 3728045 HAS SOPS 3728045 HAS SOUS 2048480 HAS SOUPS 2048480 WITH SCORE 2052208.045
AT ITER 881 NEW BEST:: SOT 15556199 SOS 3728044 HAS SOPS 3728044 HAS SOUS 2048479 HAS SOUPS 2048479 WITH SCORE 2052207.044
AT ITER 885 NEW BEST:: SOT 15556199 SOS 3728044 HAS SOPS 3728044 HAS SOUS 2048475 HAS SOUPS 2048475 WITH SCORE 2052203.044
AT ITER 891 NEW BEST:: SOT 15556199 SOS 3729564 HAS SOPS 3729564 HAS SOUS 2048473 HAS SOUPS 2048473 WITH SCORE 2052202.564
AT ITER 893 NEW BEST:: SOT 15555773 SOS 3729554 HAS SOPS 3729554 HAS SOUS 2048332 HAS SOUPS 2048332 WITH SCORE 2052061.554
AT ITER 915 NEW BEST:: SOT 15555773 SOS 3729721 HAS SOPS 3729721 HAS SOUS 2048331 HAS SOUPS 2048331 WITH SCORE 2052060.721
AT ITER 921 NEW BEST:: SOT 15555356 SOS 3728887 HAS SOPS 3728887 HAS SOUS 2047787 HAS SOUPS 2047787 WITH SCORE 2051515.887
AT ITER 963 NEW BEST:: SOT 15554091 SOS 3728529 HAS SOPS 3728529 HAS SOUS 2047179 HAS SOUPS 2047179 WITH SCORE 2050907.529
AT ITER 976 NEW BEST:: SOT 15554257 SOS 3728133 HAS SOPS 3728133 HAS SOUS 2046981 HAS SOUPS 2046981 WITH SCORE 2050709.133
AT ITER 981 NEW BEST:: SOT 15553873 SOS 3727365 HAS SOPS 3727365 HAS SOUS 2046059 HAS SOUPS 2046059 WITH SCORE 2049786.365
AT ITER 998 NEW BEST:: SOT 15553872 SOS 3727363 HAS SOPS 3727363 HAS SOUS 2046057 HAS SOUPS 2046057 WITH SCORE 2049784.363
AT ITER 1033 NEW BEST:: SOT 15553521 SOS 3725959 HAS SOPS 3725959 HAS SOUS 2045355 HAS SOUPS 2045355 WITH SCORE 2049080.959
AT ITER 1049 NEW BEST:: SOT 15553265 SOS 3727751 HAS SOPS 3727751 HAS SOUS 2045099 HAS SOUPS 2045099 WITH SCORE 2048826.751
AT ITER 1150 NEW BEST:: SOT 15553271 SOS 3727757 HAS SOPS 3727757 HAS SOUS 2045098 HAS SOUPS 2045098 WITH SCORE 2048825.757
AT ITER 1166 NEW BEST:: SOT 15553270 SOS 3726663 HAS SOPS 3726663 HAS SOUS 2045097 HAS SOUPS 2045097 WITH SCORE 2048823.663
AT ITER 1179 NEW BEST:: SOT 15551105 SOS 3724498 HAS SOPS 3724498 HAS SOUS 2042932 HAS SOUPS 2042932 WITH SCORE 2046656.498
AT ITER 1198 NEW BEST:: SOT 15550200 SOS 3724635 HAS SOPS 3724635 HAS SOUS 2042916 HAS SOUPS 2042916 WITH SCORE 2046640.635
AT ITER 1211 NEW BEST:: SOT 15550116 SOS 3724563 HAS SOPS 3724563 HAS SOUS 2042844 HAS SOUPS 2042844 WITH SCORE 2046568.563
AT ITER 1217 NEW BEST:: SOT 15550115 SOS 3725361 HAS SOPS 3725361 HAS SOUS 2042841 HAS SOUPS 2042841 WITH SCORE 2046566.361
AT ITER 1246 NEW BEST:: SOT 15549544 SOS 3724219 HAS SOPS 3724219 HAS SOUS 2041699 HAS SOUPS 2041699 WITH SCORE 2045423.219
AT ITER 1251 NEW BEST:: SOT 15549608 SOS 3723927 HAS SOPS 3723927 HAS SOUS 2041687 HAS SOUPS 2041687 WITH SCORE 2045410.927
AT ITER 1274 NEW BEST:: SOT 15549590 SOS 3723891 HAS SOPS 3723891 HAS SOUS 2041651 HAS SOUPS 2041651 WITH SCORE 2045374.891
AT ITER 1288 NEW BEST:: SOT 15549096 SOS 3721421 HAS SOPS 3721421 HAS SOUS 2040663 HAS SOUPS 2040663 WITH SCORE 2044384.421
AT ITER 1313 NEW BEST:: SOT 15549143 SOS 3722038 HAS SOPS 3722038 HAS SOUS 2040360 HAS SOUPS 2040360 WITH SCORE 2044082.038
AT ITER 1348 NEW BEST:: SOT 15549109 SOS 3722004 HAS SOPS 3722004 HAS SOUS 2040326 HAS SOUPS 2040326 WITH SCORE 2044048.004
AT ITER 1375 NEW BEST:: SOT 15547009 SOS 3719995 HAS SOPS 3719995 HAS SOUS 2038317 HAS SOUPS 2038317 WITH SCORE 2042036.995
AT ITER 1412 NEW BEST:: SOT 15547009 SOS 3719995 HAS SOPS 3719995 HAS SOUS 2038312 HAS SOUPS 2038312 WITH SCORE 2042031.995
AT ITER 1438 NEW BEST:: SOT 15546092 SOS 3719995 HAS SOPS 3719995 HAS SOUS 2037007 HAS SOUPS 2037007 WITH SCORE 2040726.995
AT ITER 1458 NEW BEST:: SOT 15546084 SOS 3719639 HAS SOPS 3719639 HAS SOUS 2036796 HAS SOUPS 2036796 WITH SCORE 2040515.639
AT ITER 1464 NEW BEST:: SOT 15545832 SOS 3719387 HAS SOPS 3719387 HAS SOUS 2036544 HAS SOUPS 2036544 WITH SCORE 2040263.387
AT ITER 1473 NEW BEST:: SOT 15545543 SOS 3717891 HAS SOPS 3717891 HAS SOUS 2036047 HAS SOUPS 2036047 WITH SCORE 2039764.891
AT ITER 1475 NEW BEST:: SOT 15545542 SOS 3719850 HAS SOPS 3719850 HAS SOUS 2036044 HAS SOUPS 2036044 WITH SCORE 2039763.85
AT ITER 1482 NEW BEST:: SOT 15545542 SOS 3719849 HAS SOPS 3719849 HAS SOUS 2036043 HAS SOUPS 2036043 WITH SCORE 2039762.849
AT ITER 1490 NEW BEST:: SOT 15545495 SOS 3719755 HAS SOPS 3719755 HAS SOUS 2035949 HAS SOUPS 2035949 WITH SCORE 2039668.755
AT ITER 1494 NEW BEST:: SOT 15543182 SOS 3717442 HAS SOPS 3717442 HAS SOUS 2035033 HAS SOUPS 2035033 WITH SCORE 2038750.442
AT ITER 1498 NEW BEST:: SOT 15542650 SOS 3716906 HAS SOPS 3716906 HAS SOUS 2034500 HAS SOUPS 2034500 WITH SCORE 2038216.906
AT ITER 1516 NEW BEST:: SOT 15542137 SOS 3715880 HAS SOPS 3715880 HAS SOUS 2033474 HAS SOUPS 2033474 WITH SCORE 2037189.88
AT ITER 1521 NEW BEST:: SOT 15541760 SOS 3718519 HAS SOPS 3718519 HAS SOUS 2033097 HAS SOUPS 2033097 WITH SCORE 2036815.519
AT ITER 1534 NEW BEST:: SOT 15541532 SOS 3718291 HAS SOPS 3718291 HAS SOUS 2032869 HAS SOUPS 2032869 WITH SCORE 2036587.291
AT ITER 1550 NEW BEST:: SOT 15541532 SOS 3718291 HAS SOPS 3718291 HAS SOUS 2032666 HAS SOUPS 2032666 WITH SCORE 2036384.291
AT ITER 1556 NEW BEST:: SOT 15541532 SOS 3718162 HAS SOPS 3718162 HAS SOUS 2032666 HAS SOUPS 2032666 WITH SCORE 2036384.162
AT ITER 1567 NEW BEST:: SOT 15541497 SOS 3718222 HAS SOPS 3718222 HAS SOUS 2032665 HAS SOUPS 2032665 WITH SCORE 2036383.222
AT ITER 1577 NEW BEST:: SOT 15540884 SOS 3717442 HAS SOPS 3717442 HAS SOUS 2031885 HAS SOUPS 2031885 WITH SCORE 2035602.442
AT ITER 1579 NEW BEST:: SOT 15540884 SOS 3716476 HAS SOPS 3716476 HAS SOUS 2031885 HAS SOUPS 2031885 WITH SCORE 2035601.476
AT ITER 1592 NEW BEST:: SOT 15540231 SOS 3721047 HAS SOPS 3721047 HAS SOUS 2031232 HAS SOUPS 2031232 WITH SCORE 2034953.047
AT ITER 1600 NEW BEST:: SOT 15540231 SOS 3720917 HAS SOPS 3720917 HAS SOUS 2031167 HAS SOUPS 2031167 WITH SCORE 2034887.917
AT ITER 1667 NEW BEST:: SOT 15540231 SOS 3720812 HAS SOPS 3720812 HAS SOUS 2031062 HAS SOUPS 2031062 WITH SCORE 2034782.812
AT ITER 1674 NEW BEST:: SOT 15539602 SOS 3719554 HAS SOPS 3719554 HAS SOUS 2029689 HAS SOUPS 2029689 WITH SCORE 2033408.554
AT ITER 1682 NEW BEST:: SOT 15539548 SOS 3719500 HAS SOPS 3719500 HAS SOUS 2029635 HAS SOUPS 2029635 WITH SCORE 2033354.5
AT ITER 1701 NEW BEST:: SOT 15539207 SOS 3719159 HAS SOPS 3719159 HAS SOUS 2029294 HAS SOUPS 2029294 WITH SCORE 2033013.159
AT ITER 1710 NEW BEST:: SOT 15539028 SOS 3718518 HAS SOPS 3718518 HAS SOUS 2029033 HAS SOUPS 2029033 WITH SCORE 2032751.518
AT ITER 1721 NEW BEST:: SOT 15538458 SOS 3718138 HAS SOPS 3718138 HAS SOUS 2028463 HAS SOUPS 2028463 WITH SCORE 2032181.138
AT ITER 1726 NEW BEST:: SOT 15538430 SOS 3718082 HAS SOPS 3718082 HAS SOUS 2028407 HAS SOUPS 2028407 WITH SCORE 2032125.082
AT ITER 1755 NEW BEST:: SOT 15538427 SOS 3718079 HAS SOPS 3718079 HAS SOUS 2028404 HAS SOUPS 2028404 WITH SCORE 2032122.079
AT ITER 1758 NEW BEST:: SOT 15537976 SOS 3717177 HAS SOPS 3717177 HAS SOUS 2027502 HAS SOUPS 2027502 WITH SCORE 2031219.177
AT ITER 1759 NEW BEST:: SOT 15536884 SOS 3716001 HAS SOPS 3716001 HAS SOUS 2027008 HAS SOUPS 2027008 WITH SCORE 2030724.001
AT ITER 1795 NEW BEST:: SOT 15536862 SOS 3715990 HAS SOPS 3715990 HAS SOUS 2026997 HAS SOUPS 2026997 WITH SCORE 2030712.99
AT ITER 1824 NEW BEST:: SOT 15536157 SOS 3714580 HAS SOPS 3714580 HAS SOUS 2025355 HAS SOUPS 2025355 WITH SCORE 2029069.58
AT ITER 1841 NEW BEST:: SOT 15535853 SOS 3713972 HAS SOPS 3713972 HAS SOUS 2024747 HAS SOUPS 2024747 WITH SCORE 2028460.972
AT ITER 1845 NEW BEST:: SOT 15534050 SOS 3713595 HAS SOPS 3713595 HAS SOUS 2023489 HAS SOUPS 2023489 WITH SCORE 2027202.595
AT ITER 1857 NEW BEST:: SOT 15533397 SOS 3714521 HAS SOPS 3714521 HAS SOUS 2022700 HAS SOUPS 2022700 WITH SCORE 2026414.521
AT ITER 1863 NEW BEST:: SOT 15533397 SOS 3713849 HAS SOPS 3713849 HAS SOUS 2022476 HAS SOUPS 2022476 WITH SCORE 2026189.849
AT ITER 1871 NEW BEST:: SOT 15533236 SOS 3713846 HAS SOPS 3713846 HAS SOUS 2022475 HAS SOUPS 2022475 WITH SCORE 2026188.846
AT ITER 1885 NEW BEST:: SOT 15533017 SOS 3713627 HAS SOPS 3713627 HAS SOUS 2022256 HAS SOUPS 2022256 WITH SCORE 2025969.627
AT ITER 1888 NEW BEST:: SOT 15532363 SOS 3713834 HAS SOPS 3713834 HAS SOUS 2022206 HAS SOUPS 2022206 WITH SCORE 2025919.834
AT ITER 1897 NEW BEST:: SOT 15532259 SOS 3714658 HAS SOPS 3714658 HAS SOUS 2022101 HAS SOUPS 2022101 WITH SCORE 2025815.658
AT ITER 1919 NEW BEST:: SOT 15530112 SOS 3711572 HAS SOPS 3711572 HAS SOUS 2018855 HAS SOUPS 2018855 WITH SCORE 2022566.572
AT ITER 1923 NEW BEST:: SOT 15529829 SOS 3711476 HAS SOPS 3711476 HAS SOUS 2018759 HAS SOUPS 2018759 WITH SCORE 2022470.476
AT ITER 1931 NEW BEST:: SOT 15529829 SOS 3711456 HAS SOPS 3711456 HAS SOUS 2018759 HAS SOUPS 2018759 WITH SCORE 2022470.456
AT ITER 1944 NEW BEST:: SOT 15528823 SOS 3710450 HAS SOPS 3710450 HAS SOUS 2017753 HAS SOUPS 2017753 WITH SCORE 2021463.45
AT ITER 1952 NEW BEST:: SOT 15528242 SOS 3709865 HAS SOPS 3709865 HAS SOUS 2017171 HAS SOUPS 2017171 WITH SCORE 2020880.865
AT ITER 1960 NEW BEST:: SOT 15527547 SOS 3709285 HAS SOPS 3709285 HAS SOUS 2016591 HAS SOUPS 2016591 WITH SCORE 2020300.285
AT ITER 1976 NEW BEST:: SOT 15526619 SOS 3708499 HAS SOPS 3708499 HAS SOUS 2015805 HAS SOUPS 2015805 WITH SCORE 2019513.499
AT ITER 1985 NEW BEST:: SOT 15526306 SOS 3708496 HAS SOPS 3708496 HAS SOUS 2015178 HAS SOUPS 2015178 WITH SCORE 2018886.496
AT ITER 1986 NEW BEST:: SOT 15526457 SOS 3710763 HAS SOPS 3710763 HAS SOUS 2014495 HAS SOUPS 2014495 WITH SCORE 2018205.763
AT ITER 2014 NEW BEST:: SOT 15525982 SOS 3709813 HAS SOPS 3709813 HAS SOUS 2013326 HAS SOUPS 2013326 WITH SCORE 2017035.813
AT ITER 2046 NEW BEST:: SOT 15525982 SOS 3708631 HAS SOPS 3708631 HAS SOUS 2013326 HAS SOUPS 2013326 WITH SCORE 2017034.631
AT ITER 2059 NEW BEST:: SOT 15526236 SOS 3709139 HAS SOPS 3709139 HAS SOUS 2012766 HAS SOUPS 2012766 WITH SCORE 2016475.139
AT ITER 2060 NEW BEST:: SOT 15525901 SOS 3709809 HAS SOPS 3709809 HAS SOUS 2012592 HAS SOUPS 2012592 WITH SCORE 2016301.809
AT ITER 2074 NEW BEST:: SOT 15525727 SOS 3709635 HAS SOPS 3709635 HAS SOUS 2012592 HAS SOUPS 2012592 WITH SCORE 2016301.635
AT ITER 2082 NEW BEST:: SOT 15525681 SOS 3709681 HAS SOPS 3709681 HAS SOUS 2012546 HAS SOUPS 2012546 WITH SCORE 2016255.681
AT ITER 2091 NEW BEST:: SOT 15525093 SOS 3709093 HAS SOPS 3709093 HAS SOUS 2011958 HAS SOUPS 2011958 WITH SCORE 2015667.093
AT ITER 2129 NEW BEST:: SOT 15525092 SOS 3709091 HAS SOPS 3709091 HAS SOUS 2011956 HAS SOUPS 2011956 WITH SCORE 2015665.091
AT ITER 2133 NEW BEST:: SOT 15525053 SOS 3709013 HAS SOPS 3709013 HAS SOUS 2011878 HAS SOUPS 2011878 WITH SCORE 2015587.013
AT ITER 2136 NEW BEST:: SOT 15524167 SOS 3699267 HAS SOPS 3699267 HAS SOUS 2010106 HAS SOUPS 2010106 WITH SCORE 2013805.267
AT ITER 2184 NEW BEST:: SOT 15524038 SOS 3699138 HAS SOPS 3699138 HAS SOUS 2009977 HAS SOUPS 2009977 WITH SCORE 2013676.138
AT ITER 2226 NEW BEST:: SOT 15523781 SOS 3699300 HAS SOPS 3699300 HAS SOUS 2009936 HAS SOUPS 2009936 WITH SCORE 2013635.3
AT ITER 2245 NEW BEST:: SOT 15523717 SOS 3699171 HAS SOPS 3699171 HAS SOUS 2009789 HAS SOUPS 2009789 WITH SCORE 2013488.171
AT ITER 2278 NEW BEST:: SOT 15523546 SOS 3699168 HAS SOPS 3699168 HAS SOUS 2009617 HAS SOUPS 2009617 WITH SCORE 2013316.168
AT ITER 2348 NEW BEST:: SOT 15523542 SOS 3699190 HAS SOPS 3699190 HAS SOUS 2009616 HAS SOUPS 2009616 WITH SCORE 2013315.19
AT ITER 2350 NEW BEST:: SOT 15523176 SOS 3699543 HAS SOPS 3699543 HAS SOUS 2009248 HAS SOUPS 2009248 WITH SCORE 2012947.543
AT ITER 2377 NEW BEST:: SOT 15522904 SOS 3699407 HAS SOPS 3699407 HAS SOUS 2009112 HAS SOUPS 2009112 WITH SCORE 2012811.407
AT ITER 2385 NEW BEST:: SOT 15522397 SOS 3698900 HAS SOPS 3698900 HAS SOUS 2008605 HAS SOUPS 2008605 WITH SCORE 2012303.9
AT ITER 2395 NEW BEST:: SOT 15522176 SOS 3699408 HAS SOPS 3699408 HAS SOUS 2008542 HAS SOUPS 2008542 WITH SCORE 2012241.408
AT ITER 2405 NEW BEST:: SOT 15521640 SOS 3698335 HAS SOPS 3698335 HAS SOUS 2007469 HAS SOUPS 2007469 WITH SCORE 2011167.335
AT ITER 2426 NEW BEST:: SOT 15520732 SOS 3697576 HAS SOPS 3697576 HAS SOUS 2006723 HAS SOUPS 2006723 WITH SCORE 2010420.576
AT ITER 2431 NEW BEST:: SOT 15521194 SOS 3698500 HAS SOPS 3698500 HAS SOUS 2005611 HAS SOUPS 2005611 WITH SCORE 2009309.5
AT ITER 2470 NEW BEST:: SOT 15521175 SOS 3698499 HAS SOPS 3698499 HAS SOUS 2005610 HAS SOUPS 2005610 WITH SCORE 2009308.499
AT ITER 2475 NEW BEST:: SOT 15521146 SOS 3698441 HAS SOPS 3698441 HAS SOUS 2005552 HAS SOUPS 2005552 WITH SCORE 2009250.441
AT ITER 2541 NEW BEST:: SOT 15520857 SOS 3698535 HAS SOPS 3698535 HAS SOUS 2005431 HAS SOUPS 2005431 WITH SCORE 2009129.535
AT ITER 2542 NEW BEST:: SOT 15520581 SOS 3698259 HAS SOPS 3698259 HAS SOUS 2005155 HAS SOUPS 2005155 WITH SCORE 2008853.259
AT ITER 2550 NEW BEST:: SOT 15520578 SOS 3698016 HAS SOPS 3698016 HAS SOUS 2005149 HAS SOUPS 2005149 WITH SCORE 2008847.016
AT ITER 2551 NEW BEST:: SOT 15520578 SOS 3696596 HAS SOPS 3696596 HAS SOUS 2005007 HAS SOUPS 2005007 WITH SCORE 2008703.596
AT ITER 2559 NEW BEST:: SOT 15520577 SOS 3696440 HAS SOPS 3696440 HAS SOUS 2004851 HAS SOUPS 2004851 WITH SCORE 2008547.44
AT ITER 2574 NEW BEST:: SOT 15520268 SOS 3696332 HAS SOPS 3696332 HAS SOUS 2004712 HAS SOUPS 2004712 WITH SCORE 2008408.332
AT ITER 2575 NEW BEST:: SOT 15520594 SOS 3696330 HAS SOPS 3696330 HAS SOUS 2004711 HAS SOUPS 2004711 WITH SCORE 2008407.33
AT ITER 2594 NEW BEST:: SOT 15520703 SOS 3696326 HAS SOPS 3696326 HAS SOUS 2004707 HAS SOUPS 2004707 WITH SCORE 2008403.326
AT ITER 2598 NEW BEST:: SOT 15520703 SOS 3696326 HAS SOPS 3696326 HAS SOUS 2004524 HAS SOUPS 2004524 WITH SCORE 2008220.326
AT ITER 2601 NEW BEST:: SOT 15520703 SOS 3696326 HAS SOPS 3696326 HAS SOUS 2004523 HAS SOUPS 2004523 WITH SCORE 2008219.326
AT ITER 2611 NEW BEST:: SOT 15520585 SOS 3696095 HAS SOPS 3696095 HAS SOUS 2004292 HAS SOUPS 2004292 WITH SCORE 2007988.095
AT ITER 2614 NEW BEST:: SOT 15520585 SOS 3696094 HAS SOPS 3696094 HAS SOUS 2004291 HAS SOUPS 2004291 WITH SCORE 2007987.094
AT ITER 2633 NEW BEST:: SOT 15520585 SOS 3695209 HAS SOPS 3695209 HAS SOUS 2003996 HAS SOUPS 2003996 WITH SCORE 2007691.209
AT ITER 2639 NEW BEST:: SOT 15520158 SOS 3694355 HAS SOPS 3694355 HAS SOUS 2003142 HAS SOUPS 2003142 WITH SCORE 2006836.355
AT ITER 2651 NEW BEST:: SOT 15520158 SOS 3694529 HAS SOPS 3694529 HAS SOUS 2003141 HAS SOUPS 2003141 WITH SCORE 2006835.529
AT ITER 2712 NEW BEST:: SOT 15518442 SOS 3692813 HAS SOPS 3692813 HAS SOUS 2001425 HAS SOUPS 2001425 WITH SCORE 2005117.813
AT ITER 2720 NEW BEST:: SOT 15518402 SOS 3692732 HAS SOPS 3692732 HAS SOUS 2001301 HAS SOUPS 2001301 WITH SCORE 2004993.732
AT ITER 2729 NEW BEST:: SOT 15518043 SOS 3692916 HAS SOPS 3692916 HAS SOUS 2001294 HAS SOUPS 2001294 WITH SCORE 2004986.916
AT ITER 2747 NEW BEST:: SOT 15517999 SOS 3692740 HAS SOPS 3692740 HAS SOUS 2001206 HAS SOUPS 2001206 WITH SCORE 2004898.74
AT ITER 2785 NEW BEST:: SOT 15517526 SOS 3692684 HAS SOPS 3692684 HAS SOUS 2000927 HAS SOUPS 2000927 WITH SCORE 2004619.684
AT ITER 2804 NEW BEST:: SOT 15517526 SOS 3692606 HAS SOPS 3692606 HAS SOUS 2000927 HAS SOUPS 2000927 WITH SCORE 2004619.606
AT ITER 2813 NEW BEST:: SOT 15517320 SOS 3692605 HAS SOPS 3692605 HAS SOUS 2000926 HAS SOUPS 2000926 WITH SCORE 2004618.605
AT ITER 2827 NEW BEST:: SOT 15517051 SOS 3694488 HAS SOPS 3694488 HAS SOUS 2000657 HAS SOUPS 2000657 WITH SCORE 2004351.488
AT ITER 2869 NEW BEST:: SOT 15516963 SOS 3696466 HAS SOPS 3696466 HAS SOUS 2000168 HAS SOUPS 2000168 WITH SCORE 2003864.466
AT ITER 2872 NEW BEST:: SOT 15517246 SOS 3697032 HAS SOPS 3697032 HAS SOUS 1999771 HAS SOUPS 1999771 WITH SCORE 2003468.032
AT ITER 2912 NEW BEST:: SOT 15517155 SOS 3696759 HAS SOPS 3696759 HAS SOUS 1999498 HAS SOUPS 1999498 WITH SCORE 2003194.759
AT ITER 2915 NEW BEST:: SOT 15517163 SOS 3696775 HAS SOPS 3696775 HAS SOUS 1999272 HAS SOUPS 1999272 WITH SCORE 2002968.775
AT ITER 2941 NEW BEST:: SOT 15517163 SOS 3697095 HAS SOPS 3697095 HAS SOUS 1999271 HAS SOUPS 1999271 WITH SCORE 2002968.095
AT ITER 2960 NEW BEST:: SOT 15516678 SOS 3695495 HAS SOPS 3695495 HAS SOUS 1999014 HAS SOUPS 1999014 WITH SCORE 2002709.495
AT ITER 2971 NEW BEST:: SOT 15516645 SOS 3695429 HAS SOPS 3695429 HAS SOUS 1998917 HAS SOUPS 1998917 WITH SCORE 2002612.429
AT ITER 2978 NEW BEST:: SOT 15515034 SOS 3705851 HAS SOPS 3705851 HAS SOUS 1998507 HAS SOUPS 1998507 WITH SCORE 2002212.851
AT ITER 2984 NEW BEST:: SOT 15514876 SOS 3705693 HAS SOPS 3705693 HAS SOUS 1998191 HAS SOUPS 1998191 WITH SCORE 2001896.693
AT ITER 3005 NEW BEST:: SOT 15514266 SOS 3705080 HAS SOPS 3705080 HAS SOUS 1997580 HAS SOUPS 1997580 WITH SCORE 2001285.08
AT ITER 3068 NEW BEST:: SOT 15513924 SOS 3704054 HAS SOPS 3704054 HAS SOUS 1997238 HAS SOUPS 1997238 WITH SCORE 2000942.054
AT ITER 3083 NEW BEST:: SOT 15513401 SOS 3703862 HAS SOPS 3703862 HAS SOUS 1997046 HAS SOUPS 1997046 WITH SCORE 2000749.862
AT ITER 3105 NEW BEST:: SOT 15513401 SOS 3703861 HAS SOPS 3703861 HAS SOUS 1997045 HAS SOUPS 1997045 WITH SCORE 2000748.861
AT ITER 3137 NEW BEST:: SOT 15513401 SOS 3703769 HAS SOPS 3703769 HAS SOUS 1996953 HAS SOUPS 1996953 WITH SCORE 2000656.769
AT ITER 3152 NEW BEST:: SOT 15513388 SOS 3703873 HAS SOPS 3703873 HAS SOUS 1996940 HAS SOUPS 1996940 WITH SCORE 2000643.873
AT ITER 3204 NEW BEST:: SOT 15513388 SOS 3702349 HAS SOPS 3702349 HAS SOUS 1996940 HAS SOUPS 1996940 WITH SCORE 2000642.349
AT ITER 3225 NEW BEST:: SOT 15513300 SOS 3702260 HAS SOPS 3702260 HAS SOUS 1996851 HAS SOUPS 1996851 WITH SCORE 2000553.26
AT ITER 3253 NEW BEST:: SOT 15512877 SOS 3702330 HAS SOPS 3702330 HAS SOUS 1996686 HAS SOUPS 1996686 WITH SCORE 2000388.33
AT ITER 3277 NEW BEST:: SOT 15512860 SOS 3702296 HAS SOPS 3702296 HAS SOUS 1996651 HAS SOUPS 1996651 WITH SCORE 2000353.296
AT ITER 3295 NEW BEST:: SOT 15512860 SOS 3702224 HAS SOPS 3702224 HAS SOUS 1996578 HAS SOUPS 1996578 WITH SCORE 2000280.224
AT ITER 3298 NEW BEST:: SOT 15512860 SOS 3702216 HAS SOPS 3702216 HAS SOUS 1996570 HAS SOUPS 1996570 WITH SCORE 2000272.216
AT ITER 3306 NEW BEST:: SOT 15512860 SOS 3701316 HAS SOPS 3701316 HAS SOUS 1996270 HAS SOUPS 1996270 WITH SCORE 1999971.316
AT ITER 3315 NEW BEST:: SOT 15512622 SOS 3703841 HAS SOPS 3703841 HAS SOUS 1996032 HAS SOUPS 1996032 WITH SCORE 1999735.841
AT ITER 3333 NEW BEST:: SOT 15512262 SOS 3703481 HAS SOPS 3703481 HAS SOUS 1995672 HAS SOUPS 1995672 WITH SCORE 1999375.481
AT ITER 3355 NEW BEST:: SOT 15511365 SOS 3703190 HAS SOPS 3703190 HAS SOUS 1995381 HAS SOUPS 1995381 WITH SCORE 1999084.19
AT ITER 3361 NEW BEST:: SOT 15511103 SOS 3703442 HAS SOPS 3703442 HAS SOUS 1995118 HAS SOUPS 1995118 WITH SCORE 1998821.442
AT ITER 3362 NEW BEST:: SOT 15510881 SOS 3702998 HAS SOPS 3702998 HAS SOUS 1994896 HAS SOUPS 1994896 WITH SCORE 1998598.998
AT ITER 3369 NEW BEST:: SOT 15510712 SOS 3702660 HAS SOPS 3702660 HAS SOUS 1994558 HAS SOUPS 1994558 WITH SCORE 1998260.66
AT ITER 3378 NEW BEST:: SOT 15510636 SOS 3702584 HAS SOPS 3702584 HAS SOUS 1994482 HAS SOUPS 1994482 WITH SCORE 1998184.584
AT ITER 3381 NEW BEST:: SOT 15510636 SOS 3702584 HAS SOPS 3702584 HAS SOUS 1994481 HAS SOUPS 1994481 WITH SCORE 1998183.584
AT ITER 3416 NEW BEST:: SOT 15510780 SOS 3704864 HAS SOPS 3704864 HAS SOUS 1993773 HAS SOUPS 1993773 WITH SCORE 1997477.864
AT ITER 3475 NEW BEST:: SOT 15510790 SOS 3704857 HAS SOPS 3704857 HAS SOUS 1993766 HAS SOUPS 1993766 WITH SCORE 1997470.857
AT ITER 3482 NEW BEST:: SOT 15511009 SOS 3705295 HAS SOPS 3705295 HAS SOUS 1993027 HAS SOUPS 1993027 WITH SCORE 1996732.295
AT ITER 3510 NEW BEST:: SOT 15510924 SOS 3705210 HAS SOPS 3705210 HAS SOUS 1992942 HAS SOUPS 1992942 WITH SCORE 1996647.21
AT ITER 3544 NEW BEST:: SOT 15510515 SOS 3704392 HAS SOPS 3704392 HAS SOUS 1991827 HAS SOUPS 1991827 WITH SCORE 1995531.392
AT ITER 3548 NEW BEST:: SOT 15510512 SOS 3704386 HAS SOPS 3704386 HAS SOUS 1991821 HAS SOUPS 1991821 WITH SCORE 1995525.386
AT ITER 3558 NEW BEST:: SOT 15510498 SOS 3704344 HAS SOPS 3704344 HAS SOUS 1991793 HAS SOUPS 1991793 WITH SCORE 1995497.344
AT ITER 3577 NEW BEST:: SOT 15510497 SOS 3704342 HAS SOPS 3704342 HAS SOUS 1991791 HAS SOUPS 1991791 WITH SCORE 1995495.342
AT ITER 3648 NEW BEST:: SOT 15510497 SOS 3703319 HAS SOPS 3703319 HAS SOUS 1991791 HAS SOUPS 1991791 WITH SCORE 1995494.319
AT ITER 3720 NEW BEST:: SOT 15509365 SOS 3702237 HAS SOPS 3702237 HAS SOUS 1990709 HAS SOUPS 1990709 WITH SCORE 1994411.237
AT ITER 3721 NEW BEST:: SOT 15508704 SOS 3701591 HAS SOPS 3701591 HAS SOUS 1990058 HAS SOUPS 1990058 WITH SCORE 1993759.591
AT ITER 3743 NEW BEST:: SOT 15507997 SOS 3701295 HAS SOPS 3701295 HAS SOUS 1989771 HAS SOUPS 1989771 WITH SCORE 1993472.295
AT ITER 3746 NEW BEST:: SOT 15507007 SOS 3700800 HAS SOPS 3700800 HAS SOUS 1989276 HAS SOUPS 1989276 WITH SCORE 1992976.8
AT ITER 3769 NEW BEST:: SOT 15506956 SOS 3700749 HAS SOPS 3700749 HAS SOUS 1989275 HAS SOUPS 1989275 WITH SCORE 1992975.749
AT ITER 3770 NEW BEST:: SOT 15506953 SOS 3700747 HAS SOPS 3700747 HAS SOUS 1989273 HAS SOUPS 1989273 WITH SCORE 1992973.747
AT ITER 3784 NEW BEST:: SOT 15506953 SOS 3700709 HAS SOPS 3700709 HAS SOUS 1989273 HAS SOUPS 1989273 WITH SCORE 1992973.709
AT ITER 3822 NEW BEST:: SOT 15506774 SOS 3700351 HAS SOPS 3700351 HAS SOUS 1989273 HAS SOUPS 1989273 WITH SCORE 1992973.351
AT ITER 3835 NEW BEST:: SOT 15506774 SOS 3700887 HAS SOPS 3700887 HAS SOUS 1989272 HAS SOUPS 1989272 WITH SCORE 1992972.887
AT ITER 3857 NEW BEST:: SOT 15506643 SOS 3700625 HAS SOPS 3700625 HAS SOUS 1988618 HAS SOUPS 1988618 WITH SCORE 1992318.625
AT ITER 3863 NEW BEST:: SOT 15506426 SOS 3701345 HAS SOPS 3701345 HAS SOUS 1988014 HAS SOUPS 1988014 WITH SCORE 1991715.345
AT ITER 3877 NEW BEST:: SOT 15506426 SOS 3701108 HAS SOPS 3701108 HAS SOUS 1987777 HAS SOUPS 1987777 WITH SCORE 1991478.108
AT ITER 3892 NEW BEST:: SOT 15506426 SOS 3702460 HAS SOPS 3702460 HAS SOUS 1987775 HAS SOUPS 1987775 WITH SCORE 1991477.46
AT ITER 3906 NEW BEST:: SOT 15505551 SOS 3701658 HAS SOPS 3701658 HAS SOUS 1986973 HAS SOUPS 1986973 WITH SCORE 1990674.658
AT ITER 3915 NEW BEST:: SOT 15505531 SOS 3703421 HAS SOPS 3703421 HAS SOUS 1986934 HAS SOUPS 1986934 WITH SCORE 1990637.421
AT ITER 3924 NEW BEST:: SOT 15505298 SOS 3704886 HAS SOPS 3704886 HAS SOUS 1986725 HAS SOUPS 1986725 WITH SCORE 1990429.886
AT ITER 3932 NEW BEST:: SOT 15504580 SOS 3705091 HAS SOPS 3705091 HAS SOUS 1986556 HAS SOUPS 1986556 WITH SCORE 1990261.091
AT ITER 3934 NEW BEST:: SOT 15503998 SOS 3705490 HAS SOPS 3705490 HAS SOUS 1986495 HAS SOUPS 1986495 WITH SCORE 1990200.49
AT ITER 3966 NEW BEST:: SOT 15503215 SOS 3703924 HAS SOPS 3703924 HAS SOUS 1984929 HAS SOUPS 1984929 WITH SCORE 1988632.924
AT ITER 4003 NEW BEST:: SOT 15503107 SOS 3703845 HAS SOPS 3703845 HAS SOUS 1984850 HAS SOUPS 1984850 WITH SCORE 1988553.845
AT ITER 4010 NEW BEST:: SOT 15502817 SOS 3703841 HAS SOPS 3703841 HAS SOUS 1984673 HAS SOUPS 1984673 WITH SCORE 1988376.841
AT ITER 4013 NEW BEST:: SOT 15501983 SOS 3703424 HAS SOPS 3703424 HAS SOUS 1984256 HAS SOUPS 1984256 WITH SCORE 1987959.424
AT ITER 4020 NEW BEST:: SOT 15501983 SOS 3703423 HAS SOPS 3703423 HAS SOUS 1984255 HAS SOUPS 1984255 WITH SCORE 1987958.423
AT ITER 4047 NEW BEST:: SOT 15501983 SOS 3703418 HAS SOPS 3703418 HAS SOUS 1984250 HAS SOUPS 1984250 WITH SCORE 1987953.418
AT ITER 4082 NEW BEST:: SOT 15501417 SOS 3705438 HAS SOPS 3705438 HAS SOUS 1983381 HAS SOUPS 1983381 WITH SCORE 1987086.438
AT ITER 4099 NEW BEST:: SOT 15501376 SOS 3705356 HAS SOPS 3705356 HAS SOUS 1983299 HAS SOUPS 1983299 WITH SCORE 1987004.356
AT ITER 4128 NEW BEST:: SOT 15501291 SOS 3705186 HAS SOPS 3705186 HAS SOUS 1983213 HAS SOUPS 1983213 WITH SCORE 1986918.186
AT ITER 4144 NEW BEST:: SOT 15501291 SOS 3704799 HAS SOPS 3704799 HAS SOUS 1983213 HAS SOUPS 1983213 WITH SCORE 1986917.799
AT ITER 4186 NEW BEST:: SOT 15501291 SOS 3704640 HAS SOPS 3704640 HAS SOUS 1983054 HAS SOUPS 1983054 WITH SCORE 1986758.64
AT ITER 4189 NEW BEST:: SOT 15501138 SOS 3704334 HAS SOPS 3704334 HAS SOUS 1982748 HAS SOUPS 1982748 WITH SCORE 1986452.334
AT ITER 4221 NEW BEST:: SOT 15501068 SOS 3704194 HAS SOPS 3704194 HAS SOUS 1982643 HAS SOUPS 1982643 WITH SCORE 1986347.194
AT ITER 4222 NEW BEST:: SOT 15501068 SOS 3704151 HAS SOPS 3704151 HAS SOUS 1982600 HAS SOUPS 1982600 WITH SCORE 1986304.151
AT ITER 4240 NEW BEST:: SOT 15500742 SOS 3703499 HAS SOPS 3703499 HAS SOUS 1981797 HAS SOUPS 1981797 WITH SCORE 1985500.499
AT ITER 4245 NEW BEST:: SOT 15500742 SOS 3702455 HAS SOPS 3702455 HAS SOUS 1981747 HAS SOUPS 1981747 WITH SCORE 1985449.455
AT ITER 4262 NEW BEST:: SOT 15500726 SOS 3702439 HAS SOPS 3702439 HAS SOUS 1981731 HAS SOUPS 1981731 WITH SCORE 1985433.439
AT ITER 4298 NEW BEST:: SOT 15500472 SOS 3702384 HAS SOPS 3702384 HAS SOUS 1981591 HAS SOUPS 1981591 WITH SCORE 1985293.384
AT ITER 4332 NEW BEST:: SOT 15500472 SOS 3702138 HAS SOPS 3702138 HAS SOUS 1981509 HAS SOUPS 1981509 WITH SCORE 1985211.138
AT ITER 4333 NEW BEST:: SOT 15500472 SOS 3701850 HAS SOPS 3701850 HAS SOUS 1981221 HAS SOUPS 1981221 WITH SCORE 1984922.85
AT ITER 4338 NEW BEST:: SOT 15500472 SOS 3702152 HAS SOPS 3702152 HAS SOUS 1981219 HAS SOUPS 1981219 WITH SCORE 1984921.152
AT ITER 4342 NEW BEST:: SOT 15500371 SOS 3702051 HAS SOPS 3702051 HAS SOUS 1981118 HAS SOUPS 1981118 WITH SCORE 1984820.051
AT ITER 4347 NEW BEST:: SOT 15500309 SOS 3701927 HAS SOPS 3701927 HAS SOUS 1980967 HAS SOUPS 1980967 WITH SCORE 1984668.927
AT ITER 4354 NEW BEST:: SOT 15500309 SOS 3701862 HAS SOPS 3701862 HAS SOUS 1980967 HAS SOUPS 1980967 WITH SCORE 1984668.862
AT ITER 4369 NEW BEST:: SOT 15499676 SOS 3701219 HAS SOPS 3701219 HAS SOUS 1980333 HAS SOUPS 1980333 WITH SCORE 1984034.219
AT ITER 4371 NEW BEST:: SOT 15499668 SOS 3701203 HAS SOPS 3701203 HAS SOUS 1980317 HAS SOUPS 1980317 WITH SCORE 1984018.203
AT ITER 4381 NEW BEST:: SOT 15499669 SOS 3700391 HAS SOPS 3700391 HAS SOUS 1979945 HAS SOUPS 1979945 WITH SCORE 1983645.391
AT ITER 4423 NEW BEST:: SOT 15499497 SOS 3700047 HAS SOPS 3700047 HAS SOUS 1979255 HAS SOUPS 1979255 WITH SCORE 1982955.047
AT ITER 4425 NEW BEST:: SOT 15499497 SOS 3700047 HAS SOPS 3700047 HAS SOUS 1979254 HAS SOUPS 1979254 WITH SCORE 1982954.047
AT ITER 4432 NEW BEST:: SOT 15499482 SOS 3700017 HAS SOPS 3700017 HAS SOUS 1979224 HAS SOUPS 1979224 WITH SCORE 1982924.017
AT ITER 4443 NEW BEST:: SOT 15499252 SOS 3700457 HAS SOPS 3700457 HAS SOUS 1978994 HAS SOUPS 1978994 WITH SCORE 1982694.457
AT ITER 4454 NEW BEST:: SOT 15497911 SOS 3698669 HAS SOPS 3698669 HAS SOUS 1977206 HAS SOUPS 1977206 WITH SCORE 1980904.669
AT ITER 4456 NEW BEST:: SOT 15497905 SOS 3698657 HAS SOPS 3698657 HAS SOUS 1977194 HAS SOUPS 1977194 WITH SCORE 1980892.657
AT ITER 4474 NEW BEST:: SOT 15497648 SOS 3698698 HAS SOPS 3698698 HAS SOUS 1977122 HAS SOUPS 1977122 WITH SCORE 1980820.698
AT ITER 4477 NEW BEST:: SOT 15497126 SOS 3700095 HAS SOPS 3700095 HAS SOUS 1976077 HAS SOUPS 1976077 WITH SCORE 1979777.095
AT ITER 4481 NEW BEST:: SOT 15497126 SOS 3700055 HAS SOPS 3700055 HAS SOUS 1976037 HAS SOUPS 1976037 WITH SCORE 1979737.055
AT ITER 4501 NEW BEST:: SOT 15497126 SOS 3700055 HAS SOPS 3700055 HAS SOUS 1976036 HAS SOUPS 1976036 WITH SCORE 1979736.055
AT ITER 4550 NEW BEST:: SOT 15497294 SOS 3699710 HAS SOPS 3699710 HAS SOUS 1975977 HAS SOUPS 1975977 WITH SCORE 1979676.71
AT ITER 4564 NEW BEST:: SOT 15497294 SOS 3703318 HAS SOPS 3703318 HAS SOUS 1975854 HAS SOUPS 1975854 WITH SCORE 1979557.318
AT ITER 4583 NEW BEST:: SOT 15496652 SOS 3707812 HAS SOPS 3707812 HAS SOUS 1975212 HAS SOUPS 1975212 WITH SCORE 1978919.812
AT ITER 4591 NEW BEST:: SOT 15496567 SOS 3707642 HAS SOPS 3707642 HAS SOUS 1974827 HAS SOUPS 1974827 WITH SCORE 1978534.642
AT ITER 4609 NEW BEST:: SOT 15496111 SOS 3707186 HAS SOPS 3707186 HAS SOUS 1974706 HAS SOUPS 1974706 WITH SCORE 1978413.186
AT ITER 4637 NEW BEST:: SOT 15496083 SOS 3706878 HAS SOPS 3706878 HAS SOUS 1974650 HAS SOUPS 1974650 WITH SCORE 1978356.878
AT ITER 4649 NEW BEST:: SOT 15495825 SOS 3706547 HAS SOPS 3706547 HAS SOUS 1974319 HAS SOUPS 1974319 WITH SCORE 1978025.547
AT ITER 4658 NEW BEST:: SOT 15495825 SOS 3706534 HAS SOPS 3706534 HAS SOUS 1974306 HAS SOUPS 1974306 WITH SCORE 1978012.534
AT ITER 4681 NEW BEST:: SOT 15495825 SOS 3706696 HAS SOPS 3706696 HAS SOUS 1974030 HAS SOUPS 1974030 WITH SCORE 1977736.696
AT ITER 4709 NEW BEST:: SOT 15495568 SOS 3706953 HAS SOPS 3706953 HAS SOUS 1974029 HAS SOUPS 1974029 WITH SCORE 1977735.953
AT ITER 4735 NEW BEST:: SOT 15495121 SOS 3698409 HAS SOPS 3698409 HAS SOUS 1973377 HAS SOUPS 1973377 WITH SCORE 1977075.409
AT ITER 4753 NEW BEST:: SOT 15494767 SOS 3697701 HAS SOPS 3697701 HAS SOUS 1973021 HAS SOUPS 1973021 WITH SCORE 1976718.701
AT ITER 4766 NEW BEST:: SOT 15494708 SOS 3697754 HAS SOPS 3697754 HAS SOUS 1972960 HAS SOUPS 1972960 WITH SCORE 1976657.754
AT ITER 4782 NEW BEST:: SOT 15494522 SOS 3697382 HAS SOPS 3697382 HAS SOUS 1972588 HAS SOUPS 1972588 WITH SCORE 1976285.382
AT ITER 4783 NEW BEST:: SOT 15492508 SOS 3696960 HAS SOPS 3696960 HAS SOUS 1970901 HAS SOUPS 1970901 WITH SCORE 1974597.96
AT ITER 4811 NEW BEST:: SOT 15491744 SOS 3696660 HAS SOPS 3696660 HAS SOUS 1970278 HAS SOUPS 1970278 WITH SCORE 1973974.66
AT ITER 4837 NEW BEST:: SOT 15491744 SOS 3696865 HAS SOPS 3696865 HAS SOUS 1970277 HAS SOUPS 1970277 WITH SCORE 1973973.865
AT ITER 4857 NEW BEST:: SOT 15491744 SOS 3696924 HAS SOPS 3696924 HAS SOUS 1970276 HAS SOUPS 1970276 WITH SCORE 1973972.924
AT ITER 4875 NEW BEST:: SOT 15491104 SOS 3696880 HAS SOPS 3696880 HAS SOUS 1970232 HAS SOUPS 1970232 WITH SCORE 1973928.88
AT ITER 4887 NEW BEST:: SOT 15490581 SOS 3696877 HAS SOPS 3696877 HAS SOUS 1969185 HAS SOUPS 1969185 WITH SCORE 1972881.877
AT ITER 4889 NEW BEST:: SOT 15489933 SOS 3696229 HAS SOPS 3696229 HAS SOUS 1968537 HAS SOUPS 1968537 WITH SCORE 1972233.229
AT ITER 4899 NEW BEST:: SOT 15489594 SOS 3699816 HAS SOPS 3699816 HAS SOUS 1967858 HAS SOUPS 1967858 WITH SCORE 1971557.816
AT ITER 4905 NEW BEST:: SOT 15489085 SOS 3701183 HAS SOPS 3701183 HAS SOUS 1967646 HAS SOUPS 1967646 WITH SCORE 1971347.183
AT ITER 4906 NEW BEST:: SOT 15489004 SOS 3701021 HAS SOPS 3701021 HAS SOUS 1967484 HAS SOUPS 1967484 WITH SCORE 1971185.021
AT ITER 4907 NEW BEST:: SOT 15488868 SOS 3700885 HAS SOPS 3700885 HAS SOUS 1967348 HAS SOUPS 1967348 WITH SCORE 1971048.885
AT ITER 4937 NEW BEST:: SOT 15488488 SOS 3702633 HAS SOPS 3702633 HAS SOUS 1967343 HAS SOUPS 1967343 WITH SCORE 1971045.633
AT ITER 4990 NEW BEST:: SOT 15488879 SOS 3702553 HAS SOPS 3702553 HAS SOUS 1967263 HAS SOUPS 1967263 WITH SCORE 1970965.553
AT ITER 5000 NEW BEST:: SOT 15488206 SOS 3701897 HAS SOPS 3701897 HAS SOUS 1966589 HAS SOUPS 1966589 WITH SCORE 1970290.897
AT ITER 5018 NEW BEST:: SOT 15488206 SOS 3701897 HAS SOPS 3701897 HAS SOUS 1966492 HAS SOUPS 1966492 WITH SCORE 1970193.897
AT ITER 5032 NEW BEST:: SOT 15487934 SOS 3701641 HAS SOPS 3701641 HAS SOUS 1966467 HAS SOUPS 1966467 WITH SCORE 1970168.641
AT ITER 5035 NEW BEST:: SOT 15487934 SOS 3702612 HAS SOPS 3702612 HAS SOUS 1966466 HAS SOUPS 1966466 WITH SCORE 1970168.612
AT ITER 5043 NEW BEST:: SOT 15488333 SOS 3703410 HAS SOPS 3703410 HAS SOUS 1965992 HAS SOUPS 1965992 WITH SCORE 1969695.41
AT ITER 5121 NEW BEST:: SOT 15488821 SOS 3704386 HAS SOPS 3704386 HAS SOUS 1965693 HAS SOUPS 1965693 WITH SCORE 1969397.386
AT ITER 5128 NEW BEST:: SOT 15488820 SOS 3698147 HAS SOPS 3698147 HAS SOUS 1965691 HAS SOUPS 1965691 WITH SCORE 1969389.147
AT ITER 5168 NEW BEST:: SOT 15488820 SOS 3698146 HAS SOPS 3698146 HAS SOUS 1965690 HAS SOUPS 1965690 WITH SCORE 1969388.146
AT ITER 5187 NEW BEST:: SOT 15488461 SOS 3698657 HAS SOPS 3698657 HAS SOUS 1964971 HAS SOUPS 1964971 WITH SCORE 1968669.657
AT ITER 5217 NEW BEST:: SOT 15488461 SOS 3698531 HAS SOPS 3698531 HAS SOUS 1964845 HAS SOUPS 1964845 WITH SCORE 1968543.531
AT ITER 5222 NEW BEST:: SOT 15488461 SOS 3698531 HAS SOPS 3698531 HAS SOUS 1964781 HAS SOUPS 1964781 WITH SCORE 1968479.531
AT ITER 5229 NEW BEST:: SOT 15488319 SOS 3698247 HAS SOPS 3698247 HAS SOUS 1964497 HAS SOUPS 1964497 WITH SCORE 1968195.247
AT ITER 5293 NEW BEST:: SOT 15488319 SOS 3698414 HAS SOPS 3698414 HAS SOUS 1964496 HAS SOUPS 1964496 WITH SCORE 1968194.414
AT ITER 5298 NEW BEST:: SOT 15488319 SOS 3695547 HAS SOPS 3695547 HAS SOUS 1964383 HAS SOUPS 1964383 WITH SCORE 1968078.547
AT ITER 5308 NEW BEST:: SOT 15487985 SOS 3691873 HAS SOPS 3691873 HAS SOUS 1963715 HAS SOUPS 1963715 WITH SCORE 1967406.873
AT ITER 5329 NEW BEST:: SOT 15487985 SOS 3691873 HAS SOPS 3691873 HAS SOUS 1963714 HAS SOUPS 1963714 WITH SCORE 1967405.873
AT ITER 5337 NEW BEST:: SOT 15487032 SOS 3689967 HAS SOPS 3689967 HAS SOUS 1961808 HAS SOUPS 1961808 WITH SCORE 1965497.967
AT ITER 5416 NEW BEST:: SOT 15487032 SOS 3689857 HAS SOPS 3689857 HAS SOUS 1961698 HAS SOUPS 1961698 WITH SCORE 1965387.857
AT ITER 5431 NEW BEST:: SOT 15487030 SOS 3689853 HAS SOPS 3689853 HAS SOUS 1961696 HAS SOUPS 1961696 WITH SCORE 1965385.853
AT ITER 5470 NEW BEST:: SOT 15486473 SOS 3688739 HAS SOPS 3688739 HAS SOUS 1960283 HAS SOUPS 1960283 WITH SCORE 1963971.739
AT ITER 5494 NEW BEST:: SOT 15486403 SOS 3688564 HAS SOPS 3688564 HAS SOUS 1960178 HAS SOUPS 1960178 WITH SCORE 1963866.564
AT ITER 5495 NEW BEST:: SOT 15486386 SOS 3688537 HAS SOPS 3688537 HAS SOUS 1960160 HAS SOUPS 1960160 WITH SCORE 1963848.537
AT ITER 5608 NEW BEST:: SOT 15486277 SOS 3688319 HAS SOPS 3688319 HAS SOUS 1959942 HAS SOUPS 1959942 WITH SCORE 1963630.319
AT ITER 5620 NEW BEST:: SOT 15486237 SOS 3688239 HAS SOPS 3688239 HAS SOUS 1959862 HAS SOUPS 1959862 WITH SCORE 1963550.239
AT ITER 5664 NEW BEST:: SOT 15485842 SOS 3688586 HAS SOPS 3688586 HAS SOUS 1959008 HAS SOUPS 1959008 WITH SCORE 1962696.586
AT ITER 5688 NEW BEST:: SOT 15486133 SOS 3689168 HAS SOPS 3689168 HAS SOUS 1958615 HAS SOUPS 1958615 WITH SCORE 1962304.168
AT ITER 5698 NEW BEST:: SOT 15486107 SOS 3689165 HAS SOPS 3689165 HAS SOUS 1958614 HAS SOUPS 1958614 WITH SCORE 1962303.165
AT ITER 5708 NEW BEST:: SOT 15486190 SOS 3688425 HAS SOPS 3688425 HAS SOUS 1958395 HAS SOUPS 1958395 WITH SCORE 1962083.425
AT ITER 5725 NEW BEST:: SOT 15485736 SOS 3687545 HAS SOPS 3687545 HAS SOUS 1958301 HAS SOUPS 1958301 WITH SCORE 1961988.545
AT ITER 5740 NEW BEST:: SOT 15485736 SOS 3689056 HAS SOPS 3689056 HAS SOUS 1958299 HAS SOUPS 1958299 WITH SCORE 1961988.056
AT ITER 5747 NEW BEST:: SOT 15485736 SOS 3689349 HAS SOPS 3689349 HAS SOUS 1958298 HAS SOUPS 1958298 WITH SCORE 1961987.349
AT ITER 5752 NEW BEST:: SOT 15485736 SOS 3689082 HAS SOPS 3689082 HAS SOUS 1958030 HAS SOUPS 1958030 WITH SCORE 1961719.082
AT ITER 5775 NEW BEST:: SOT 15485731 SOS 3689072 HAS SOPS 3689072 HAS SOUS 1958020 HAS SOUPS 1958020 WITH SCORE 1961709.072
AT ITER 5786 NEW BEST:: SOT 15485503 SOS 3688844 HAS SOPS 3688844 HAS SOUS 1957792 HAS SOUPS 1957792 WITH SCORE 1961480.844
AT ITER 5793 NEW BEST:: SOT 15485503 SOS 3688843 HAS SOPS 3688843 HAS SOUS 1957791 HAS SOUPS 1957791 WITH SCORE 1961479.843
AT ITER 5822 NEW BEST:: SOT 15485503 SOS 3687202 HAS SOPS 3687202 HAS SOUS 1957506 HAS SOUPS 1957506 WITH SCORE 1961193.202
AT ITER 5830 NEW BEST:: SOT 15485503 SOS 3687202 HAS SOPS 3687202 HAS SOUS 1957505 HAS SOUPS 1957505 WITH SCORE 1961192.202
AT ITER 5831 NEW BEST:: SOT 15485503 SOS 3687022 HAS SOPS 3687022 HAS SOUS 1957325 HAS SOUPS 1957325 WITH SCORE 1961012.022
AT ITER 5833 NEW BEST:: SOT 15485502 SOS 3687020 HAS SOPS 3687020 HAS SOUS 1956999 HAS SOUPS 1956999 WITH SCORE 1960686.02
AT ITER 5901 NEW BEST:: SOT 15485256 SOS 3686897 HAS SOPS 3686897 HAS SOUS 1956876 HAS SOUPS 1956876 WITH SCORE 1960562.897
AT ITER 5986 NEW BEST:: SOT 15485256 SOS 3688252 HAS SOPS 3688252 HAS SOUS 1956422 HAS SOUPS 1956422 WITH SCORE 1960110.252
AT ITER 5988 NEW BEST:: SOT 15484774 SOS 3687760 HAS SOPS 3687760 HAS SOUS 1955939 HAS SOUPS 1955939 WITH SCORE 1959626.76
AT ITER 6013 NEW BEST:: SOT 15484744 SOS 3686776 HAS SOPS 3686776 HAS SOUS 1955878 HAS SOUPS 1955878 WITH SCORE 1959564.776
AT ITER 6019 NEW BEST:: SOT 15483986 SOS 3686397 HAS SOPS 3686397 HAS SOUS 1955499 HAS SOUPS 1955499 WITH SCORE 1959185.397
AT ITER 6031 NEW BEST:: SOT 15483999 SOS 3686322 HAS SOPS 3686322 HAS SOUS 1955467 HAS SOUPS 1955467 WITH SCORE 1959153.322
AT ITER 6063 NEW BEST:: SOT 15484975 SOS 3686932 HAS SOPS 3686932 HAS SOUS 1955057 HAS SOUPS 1955057 WITH SCORE 1958743.932
AT ITER 6095 NEW BEST:: SOT 15484826 SOS 3688215 HAS SOPS 3688215 HAS SOUS 1954486 HAS SOUPS 1954486 WITH SCORE 1958174.215
AT ITER 6103 NEW BEST:: SOT 15484826 SOS 3688215 HAS SOPS 3688215 HAS SOUS 1954465 HAS SOUPS 1954465 WITH SCORE 1958153.215
AT ITER 6122 NEW BEST:: SOT 15484808 SOS 3688179 HAS SOPS 3688179 HAS SOUS 1954447 HAS SOUPS 1954447 WITH SCORE 1958135.179
AT ITER 6129 NEW BEST:: SOT 15484808 SOS 3688179 HAS SOPS 3688179 HAS SOUS 1954404 HAS SOUPS 1954404 WITH SCORE 1958092.179
AT ITER 6130 NEW BEST:: SOT 15484808 SOS 3687693 HAS SOPS 3687693 HAS SOUS 1954286 HAS SOUPS 1954286 WITH SCORE 1957973.693
AT ITER 6144 NEW BEST:: SOT 15484991 SOS 3687782 HAS SOPS 3687782 HAS SOUS 1954194 HAS SOUPS 1954194 WITH SCORE 1957881.782
AT ITER 6146 NEW BEST:: SOT 15484474 SOS 3686848 HAS SOPS 3686848 HAS SOUS 1953241 HAS SOUPS 1953241 WITH SCORE 1956927.848
AT ITER 6168 NEW BEST:: SOT 15484398 SOS 3686468 HAS SOPS 3686468 HAS SOUS 1953089 HAS SOUPS 1953089 WITH SCORE 1956775.468
AT ITER 6188 NEW BEST:: SOT 15484081 SOS 3686230 HAS SOPS 3686230 HAS SOUS 1952772 HAS SOUPS 1952772 WITH SCORE 1956458.23
AT ITER 6194 NEW BEST:: SOT 15483814 SOS 3685696 HAS SOPS 3685696 HAS SOUS 1951921 HAS SOUPS 1951921 WITH SCORE 1955606.696
AT ITER 6202 NEW BEST:: SOT 15483683 SOS 3685434 HAS SOPS 3685434 HAS SOUS 1951789 HAS SOUPS 1951789 WITH SCORE 1955474.434
AT ITER 6208 NEW BEST:: SOT 15483449 SOS 3685352 HAS SOPS 3685352 HAS SOUS 1951697 HAS SOUPS 1951697 WITH SCORE 1955382.352
AT ITER 6221 NEW BEST:: SOT 15483085 SOS 3680426 HAS SOPS 3680426 HAS SOUS 1951421 HAS SOUPS 1951421 WITH SCORE 1955101.426
AT ITER 6226 NEW BEST:: SOT 15482906 SOS 3680068 HAS SOPS 3680068 HAS SOUS 1951063 HAS SOUPS 1951063 WITH SCORE 1954743.068
AT ITER 6238 NEW BEST:: SOT 15483222 SOS 3686873 HAS SOPS 3686873 HAS SOUS 1951007 HAS SOUPS 1951007 WITH SCORE 1954693.873
AT ITER 6242 NEW BEST:: SOT 15482662 SOS 3684269 HAS SOPS 3684269 HAS SOUS 1950311 HAS SOUPS 1950311 WITH SCORE 1953995.269
AT ITER 6272 NEW BEST:: SOT 15482609 SOS 3684216 HAS SOPS 3684216 HAS SOUS 1950258 HAS SOUPS 1950258 WITH SCORE 1953942.216
AT ITER 6300 NEW BEST:: SOT 15483276 SOS 3683546 HAS SOPS 3683546 HAS SOUS 1950257 HAS SOUPS 1950257 WITH SCORE 1953940.546
AT ITER 6301 NEW BEST:: SOT 15483275 SOS 3683545 HAS SOPS 3683545 HAS SOUS 1950256 HAS SOUPS 1950256 WITH SCORE 1953939.545
AT ITER 6389 NEW BEST:: SOT 15482454 SOS 3683265 HAS SOPS 3683265 HAS SOUS 1949739 HAS SOUPS 1949739 WITH SCORE 1953422.265
AT ITER 6480 NEW BEST:: SOT 15482292 SOS 3682365 HAS SOPS 3682365 HAS SOUS 1949607 HAS SOUPS 1949607 WITH SCORE 1953289.365
AT ITER 6497 NEW BEST:: SOT 15482292 SOS 3681522 HAS SOPS 3681522 HAS SOUS 1949607 HAS SOUPS 1949607 WITH SCORE 1953288.522
AT ITER 6517 NEW BEST:: SOT 15482261 SOS 3681176 HAS SOPS 3681176 HAS SOUS 1949292 HAS SOUPS 1949292 WITH SCORE 1952973.176
AT ITER 6538 NEW BEST:: SOT 15482261 SOS 3681153 HAS SOPS 3681153 HAS SOUS 1949269 HAS SOUPS 1949269 WITH SCORE 1952950.153
AT ITER 6550 NEW BEST:: SOT 15482261 SOS 3681028 HAS SOPS 3681028 HAS SOUS 1949144 HAS SOUPS 1949144 WITH SCORE 1952825.028
AT ITER 6565 NEW BEST:: SOT 15482261 SOS 3680931 HAS SOPS 3680931 HAS SOUS 1949047 HAS SOUPS 1949047 WITH SCORE 1952727.931
AT ITER 6569 NEW BEST:: SOT 15482261 SOS 3678933 HAS SOPS 3678933 HAS SOUS 1949047 HAS SOUPS 1949047 WITH SCORE 1952725.933
AT ITER 6572 NEW BEST:: SOT 15482240 SOS 3678828 HAS SOPS 3678828 HAS SOUS 1949005 HAS SOUPS 1949005 WITH SCORE 1952683.828
AT ITER 6574 NEW BEST:: SOT 15481290 SOS 3677868 HAS SOPS 3677868 HAS SOUS 1948054 HAS SOUPS 1948054 WITH SCORE 1951731.868
AT ITER 6584 NEW BEST:: SOT 15481274 SOS 3677836 HAS SOPS 3677836 HAS SOUS 1947675 HAS SOUPS 1947675 WITH SCORE 1951352.836
AT ITER 6586 NEW BEST:: SOT 15480952 SOS 3677511 HAS SOPS 3677511 HAS SOUS 1947352 HAS SOUPS 1947352 WITH SCORE 1951029.511
AT ITER 6595 NEW BEST:: SOT 15481037 SOS 3676941 HAS SOPS 3676941 HAS SOUS 1947307 HAS SOUPS 1947307 WITH SCORE 1950983.941
AT ITER 6616 NEW BEST:: SOT 15481037 SOS 3676301 HAS SOPS 3676301 HAS SOUS 1947307 HAS SOUPS 1947307 WITH SCORE 1950983.301
AT ITER 6623 NEW BEST:: SOT 15480191 SOS 3676373 HAS SOPS 3676373 HAS SOUS 1947154 HAS SOUPS 1947154 WITH SCORE 1950830.373
AT ITER 6643 NEW BEST:: SOT 15480190 SOS 3676371 HAS SOPS 3676371 HAS SOUS 1947152 HAS SOUPS 1947152 WITH SCORE 1950828.371
AT ITER 6662 NEW BEST:: SOT 15480136 SOS 3676263 HAS SOPS 3676263 HAS SOUS 1947044 HAS SOUPS 1947044 WITH SCORE 1950720.263
AT ITER 6697 NEW BEST:: SOT 15480136 SOS 3676179 HAS SOPS 3676179 HAS SOUS 1947016 HAS SOUPS 1947016 WITH SCORE 1950692.179
AT ITER 6702 NEW BEST:: SOT 15480063 SOS 3674779 HAS SOPS 3674779 HAS SOUS 1946640 HAS SOUPS 1946640 WITH SCORE 1950314.779
AT ITER 6728 NEW BEST:: SOT 15479903 SOS 3674139 HAS SOPS 3674139 HAS SOUS 1946480 HAS SOUPS 1946480 WITH SCORE 1950154.139
AT ITER 6765 NEW BEST:: SOT 15479816 SOS 3674136 HAS SOPS 3674136 HAS SOUS 1946479 HAS SOUPS 1946479 WITH SCORE 1950153.136
AT ITER 6770 NEW BEST:: SOT 15479837 SOS 3672835 HAS SOPS 3672835 HAS SOUS 1946237 HAS SOUPS 1946237 WITH SCORE 1949909.835
AT ITER 6776 NEW BEST:: SOT 15479397 SOS 3671735 HAS SOPS 3671735 HAS SOUS 1945577 HAS SOUPS 1945577 WITH SCORE 1949248.735
AT ITER 6791 NEW BEST:: SOT 15479397 SOS 3667665 HAS SOPS 3667665 HAS SOUS 1945419 HAS SOUPS 1945419 WITH SCORE 1949086.665
AT ITER 6804 NEW BEST:: SOT 15479239 SOS 3667507 HAS SOPS 3667507 HAS SOUS 1945261 HAS SOUPS 1945261 WITH SCORE 1948928.507
AT ITER 6821 NEW BEST:: SOT 15478463 SOS 3666847 HAS SOPS 3666847 HAS SOUS 1944181 HAS SOUPS 1944181 WITH SCORE 1947847.847
AT ITER 6826 NEW BEST:: SOT 15478379 SOS 3666763 HAS SOPS 3666763 HAS SOUS 1944097 HAS SOUPS 1944097 WITH SCORE 1947763.763
AT ITER 6831 NEW BEST:: SOT 15478249 SOS 3666691 HAS SOPS 3666691 HAS SOUS 1943990 HAS SOUPS 1943990 WITH SCORE 1947656.691
AT ITER 6856 NEW BEST:: SOT 15478060 SOS 3666502 HAS SOPS 3666502 HAS SOUS 1943801 HAS SOUPS 1943801 WITH SCORE 1947467.502
AT ITER 6897 NEW BEST:: SOT 15477980 SOS 3666342 HAS SOPS 3666342 HAS SOUS 1943641 HAS SOUPS 1943641 WITH SCORE 1947307.342
AT ITER 6899 NEW BEST:: SOT 15478000 SOS 3666346 HAS SOPS 3666346 HAS SOUS 1943605 HAS SOUPS 1943605 WITH SCORE 1947271.346
AT ITER 6931 NEW BEST:: SOT 15477999 SOS 3666344 HAS SOPS 3666344 HAS SOUS 1943603 HAS SOUPS 1943603 WITH SCORE 1947269.344
AT ITER 6939 NEW BEST:: SOT 15477411 SOS 3665168 HAS SOPS 3665168 HAS SOUS 1943015 HAS SOUPS 1943015 WITH SCORE 1946680.168
AT ITER 6982 NEW BEST:: SOT 15477258 SOS 3664862 HAS SOPS 3664862 HAS SOUS 1942710 HAS SOUPS 1942710 WITH SCORE 1946374.862
AT ITER 7008 NEW BEST:: SOT 15477258 SOS 3664862 HAS SOPS 3664862 HAS SOUS 1942709 HAS SOUPS 1942709 WITH SCORE 1946373.862
AT ITER 7011 NEW BEST:: SOT 15477283 SOS 3664912 HAS SOPS 3664912 HAS SOUS 1941812 HAS SOUPS 1941812 WITH SCORE 1945476.912
AT ITER 7043 NEW BEST:: SOT 15477282 SOS 3664910 HAS SOPS 3664910 HAS SOUS 1941810 HAS SOUPS 1941810 WITH SCORE 1945474.91
AT ITER 7073 NEW BEST:: SOT 15477029 SOS 3664404 HAS SOPS 3664404 HAS SOUS 1941019 HAS SOUPS 1941019 WITH SCORE 1944683.404
AT ITER 7081 NEW BEST:: SOT 15477242 SOS 3665469 HAS SOPS 3665469 HAS SOUS 1940806 HAS SOUPS 1940806 WITH SCORE 1944471.469
AT ITER 7083 NEW BEST:: SOT 15477242 SOS 3665397 HAS SOPS 3665397 HAS SOUS 1940806 HAS SOUPS 1940806 WITH SCORE 1944471.397
AT ITER 7085 NEW BEST:: SOT 15477105 SOS 3665260 HAS SOPS 3665260 HAS SOUS 1940669 HAS SOUPS 1940669 WITH SCORE 1944334.26
AT ITER 7123 NEW BEST:: SOT 15475949 SOS 3666551 HAS SOPS 3666551 HAS SOUS 1940052 HAS SOUPS 1940052 WITH SCORE 1943718.551
AT ITER 7129 NEW BEST:: SOT 15475949 SOS 3666658 HAS SOPS 3666658 HAS SOUS 1940051 HAS SOUPS 1940051 WITH SCORE 1943717.658
AT ITER 7130 NEW BEST:: SOT 15475272 SOS 3666429 HAS SOPS 3666429 HAS SOUS 1939812 HAS SOUPS 1939812 WITH SCORE 1943478.429
AT ITER 7137 NEW BEST:: SOT 15475046 SOS 3665977 HAS SOPS 3665977 HAS SOUS 1939280 HAS SOUPS 1939280 WITH SCORE 1942945.977
AT ITER 7139 NEW BEST:: SOT 15475141 SOS 3667533 HAS SOPS 3667533 HAS SOUS 1938998 HAS SOUPS 1938998 WITH SCORE 1942665.533
AT ITER 7150 NEW BEST:: SOT 15475015 SOS 3667407 HAS SOPS 3667407 HAS SOUS 1938872 HAS SOUPS 1938872 WITH SCORE 1942539.407
AT ITER 7154 NEW BEST:: SOT 15475003 SOS 3667275 HAS SOPS 3667275 HAS SOUS 1938848 HAS SOUPS 1938848 WITH SCORE 1942515.275
AT ITER 7157 NEW BEST:: SOT 15474669 SOS 3666643 HAS SOPS 3666643 HAS SOUS 1938526 HAS SOUPS 1938526 WITH SCORE 1942192.643
AT ITER 7171 NEW BEST:: SOT 15474097 SOS 3666063 HAS SOPS 3666063 HAS SOUS 1937959 HAS SOUPS 1937959 WITH SCORE 1941625.063
AT ITER 7179 NEW BEST:: SOT 15474172 SOS 3666465 HAS SOPS 3666465 HAS SOUS 1937908 HAS SOUPS 1937908 WITH SCORE 1941574.465
AT ITER 7193 NEW BEST:: SOT 15474172 SOS 3666199 HAS SOPS 3666199 HAS SOUS 1937775 HAS SOUPS 1937775 WITH SCORE 1941441.199
AT ITER 7202 NEW BEST:: SOT 15474033 SOS 3667090 HAS SOPS 3667090 HAS SOUS 1937496 HAS SOUPS 1937496 WITH SCORE 1941163.09
AT ITER 7205 NEW BEST:: SOT 15474033 SOS 3667090 HAS SOPS 3667090 HAS SOUS 1937446 HAS SOUPS 1937446 WITH SCORE 1941113.09
AT ITER 7213 NEW BEST:: SOT 15474009 SOS 3667042 HAS SOPS 3667042 HAS SOUS 1937397 HAS SOUPS 1937397 WITH SCORE 1941064.042
AT ITER 7217 NEW BEST:: SOT 15473712 SOS 3667051 HAS SOPS 3667051 HAS SOUS 1937301 HAS SOUPS 1937301 WITH SCORE 1940968.051
AT ITER 7223 NEW BEST:: SOT 15473557 SOS 3668136 HAS SOPS 3668136 HAS SOUS 1936991 HAS SOUPS 1936991 WITH SCORE 1940659.136
AT ITER 7224 NEW BEST:: SOT 15473905 SOS 3672638 HAS SOPS 3672638 HAS SOUS 1936899 HAS SOUPS 1936899 WITH SCORE 1940571.638
AT ITER 7253 NEW BEST:: SOT 15472779 SOS 3671502 HAS SOPS 3671502 HAS SOUS 1935772 HAS SOUPS 1935772 WITH SCORE 1939443.502
AT ITER 7254 NEW BEST:: SOT 15472778 SOS 3670870 HAS SOPS 3670870 HAS SOUS 1935770 HAS SOUPS 1935770 WITH SCORE 1939440.87
AT ITER 7268 NEW BEST:: SOT 15471048 SOS 3668561 HAS SOPS 3668561 HAS SOUS 1932913 HAS SOUPS 1932913 WITH SCORE 1936581.561
AT ITER 7285 NEW BEST:: SOT 15470949 SOS 3668363 HAS SOPS 3668363 HAS SOUS 1932715 HAS SOUPS 1932715 WITH SCORE 1936383.363
AT ITER 7287 NEW BEST:: SOT 15469659 SOS 3666428 HAS SOPS 3666428 HAS SOUS 1930780 HAS SOUPS 1930780 WITH SCORE 1934446.428
AT ITER 7302 NEW BEST:: SOT 15469544 SOS 3666313 HAS SOPS 3666313 HAS SOUS 1930665 HAS SOUPS 1930665 WITH SCORE 1934331.313
AT ITER 7328 NEW BEST:: SOT 15469531 SOS 3666329 HAS SOPS 3666329 HAS SOUS 1930664 HAS SOUPS 1930664 WITH SCORE 1934330.329
AT ITER 7342 NEW BEST:: SOT 15468686 SOS 3666526 HAS SOPS 3666526 HAS SOUS 1928973 HAS SOUPS 1928973 WITH SCORE 1932639.526
AT ITER 7377 NEW BEST:: SOT 15468684 SOS 3666522 HAS SOPS 3666522 HAS SOUS 1928969 HAS SOUPS 1928969 WITH SCORE 1932635.522
AT ITER 7380 NEW BEST:: SOT 15468684 SOS 3666282 HAS SOPS 3666282 HAS SOUS 1928849 HAS SOUPS 1928849 WITH SCORE 1932515.282
AT ITER 7395 NEW BEST:: SOT 15468684 SOS 3666365 HAS SOPS 3666365 HAS SOUS 1928848 HAS SOUPS 1928848 WITH SCORE 1932514.365
AT ITER 7414 NEW BEST:: SOT 15468583 SOS 3666264 HAS SOPS 3666264 HAS SOUS 1928747 HAS SOUPS 1928747 WITH SCORE 1932413.264
AT ITER 7461 NEW BEST:: SOT 15468563 SOS 3666224 HAS SOPS 3666224 HAS SOUS 1928707 HAS SOUPS 1928707 WITH SCORE 1932373.224
AT ITER 7477 NEW BEST:: SOT 15468374 SOS 3666031 HAS SOPS 3666031 HAS SOUS 1928524 HAS SOUPS 1928524 WITH SCORE 1932190.031
AT ITER 7519 NEW BEST:: SOT 15468205 SOS 3664442 HAS SOPS 3664442 HAS SOUS 1927726 HAS SOUPS 1927726 WITH SCORE 1931390.442
AT ITER 7525 NEW BEST:: SOT 15467931 SOS 3663894 HAS SOPS 3663894 HAS SOUS 1927178 HAS SOUPS 1927178 WITH SCORE 1930841.894
AT ITER 7543 NEW BEST:: SOT 15467606 SOS 3663244 HAS SOPS 3663244 HAS SOUS 1926528 HAS SOUPS 1926528 WITH SCORE 1930191.244
AT ITER 7619 NEW BEST:: SOT 15467606 SOS 3662653 HAS SOPS 3662653 HAS SOUS 1926331 HAS SOUPS 1926331 WITH SCORE 1929993.653
AT ITER 7625 NEW BEST:: SOT 15467556 SOS 3662553 HAS SOPS 3662553 HAS SOUS 1926231 HAS SOUPS 1926231 WITH SCORE 1929893.553
AT ITER 7629 NEW BEST:: SOT 15467501 SOS 3662443 HAS SOPS 3662443 HAS SOUS 1926125 HAS SOUPS 1926125 WITH SCORE 1929787.443
AT ITER 7660 NEW BEST:: SOT 15467750 SOS 3654549 HAS SOPS 3654549 HAS SOUS 1926120 HAS SOUPS 1926120 WITH SCORE 1929774.549
AT ITER 7706 NEW BEST:: SOT 15467634 SOS 3654317 HAS SOPS 3654317 HAS SOUS 1926004 HAS SOUPS 1926004 WITH SCORE 1929658.317
AT ITER 7721 NEW BEST:: SOT 15467543 SOS 3654044 HAS SOPS 3654044 HAS SOUS 1925822 HAS SOUPS 1925822 WITH SCORE 1929476.044
AT ITER 7734 NEW BEST:: SOT 15467490 SOS 3653567 HAS SOPS 3653567 HAS SOUS 1925769 HAS SOUPS 1925769 WITH SCORE 1929422.567
AT ITER 7766 NEW BEST:: SOT 15467649 SOS 3653999 HAS SOPS 3653999 HAS SOUS 1925596 HAS SOUPS 1925596 WITH SCORE 1929249.999
AT ITER 7796 NEW BEST:: SOT 15466776 SOS 3652253 HAS SOPS 3652253 HAS SOUS 1923449 HAS SOUPS 1923449 WITH SCORE 1927101.253
AT ITER 7798 NEW BEST:: SOT 15466974 SOS 3652055 HAS SOPS 3652055 HAS SOUS 1923449 HAS SOUPS 1923449 WITH SCORE 1927101.055
AT ITER 7846 NEW BEST:: SOT 15466398 SOS 3651476 HAS SOPS 3651476 HAS SOUS 1922872 HAS SOUPS 1922872 WITH SCORE 1926523.476
AT ITER 7880 NEW BEST:: SOT 15465943 SOS 3650566 HAS SOPS 3650566 HAS SOUS 1921962 HAS SOUPS 1921962 WITH SCORE 1925612.566
AT ITER 7902 NEW BEST:: SOT 15465943 SOS 3650566 HAS SOPS 3650566 HAS SOUS 1921936 HAS SOUPS 1921936 WITH SCORE 1925586.566
AT ITER 7904 NEW BEST:: SOT 15465943 SOS 3652041 HAS SOPS 3652041 HAS SOUS 1921905 HAS SOUPS 1921905 WITH SCORE 1925557.041
AT ITER 7906 NEW BEST:: SOT 15465943 SOS 3651045 HAS SOPS 3651045 HAS SOUS 1921905 HAS SOUPS 1921905 WITH SCORE 1925556.045
AT ITER 7915 NEW BEST:: SOT 15465943 SOS 3651045 HAS SOPS 3651045 HAS SOUS 1921900 HAS SOUPS 1921900 WITH SCORE 1925551.045
AT ITER 7927 NEW BEST:: SOT 15465771 SOS 3650701 HAS SOPS 3650701 HAS SOUS 1921556 HAS SOUPS 1921556 WITH SCORE 1925206.701
AT ITER 7933 NEW BEST:: SOT 15465599 SOS 3650624 HAS SOPS 3650624 HAS SOUS 1921473 HAS SOUPS 1921473 WITH SCORE 1925123.624
AT ITER 7962 NEW BEST:: SOT 15465458 SOS 3649864 HAS SOPS 3649864 HAS SOUS 1921093 HAS SOUPS 1921093 WITH SCORE 1924742.864
AT ITER 7976 NEW BEST:: SOT 15465458 SOS 3650370 HAS SOPS 3650370 HAS SOUS 1921091 HAS SOUPS 1921091 WITH SCORE 1924741.37
AT ITER 7990 NEW BEST:: SOT 15465355 SOS 3650367 HAS SOPS 3650367 HAS SOUS 1921090 HAS SOUPS 1921090 WITH SCORE 1924740.367
AT ITER 8010 NEW BEST:: SOT 15465409 SOS 3650227 HAS SOPS 3650227 HAS SOUS 1921047 HAS SOUPS 1921047 WITH SCORE 1924697.227
AT ITER 8013 NEW BEST:: SOT 15465409 SOS 3649453 HAS SOPS 3649453 HAS SOUS 1920789 HAS SOUPS 1920789 WITH SCORE 1924438.453
AT ITER 8018 NEW BEST:: SOT 15465764 SOS 3648155 HAS SOPS 3648155 HAS SOUS 1920675 HAS SOUPS 1920675 WITH SCORE 1924323.155
AT ITER 8042 NEW BEST:: SOT 15465720 SOS 3648133 HAS SOPS 3648133 HAS SOUS 1920653 HAS SOUPS 1920653 WITH SCORE 1924301.133
AT ITER 8053 NEW BEST:: SOT 15465720 SOS 3647638 HAS SOPS 3647638 HAS SOUS 1920488 HAS SOUPS 1920488 WITH SCORE 1924135.638
AT ITER 8054 NEW BEST:: SOT 15465667 SOS 3647426 HAS SOPS 3647426 HAS SOUS 1920435 HAS SOUPS 1920435 WITH SCORE 1924082.426
AT ITER 8056 NEW BEST:: SOT 15465667 SOS 3647405 HAS SOPS 3647405 HAS SOUS 1920435 HAS SOUPS 1920435 WITH SCORE 1924082.405
AT ITER 8076 NEW BEST:: SOT 15465369 SOS 3646809 HAS SOPS 3646809 HAS SOUS 1920192 HAS SOUPS 1920192 WITH SCORE 1923838.809
AT ITER 8079 NEW BEST:: SOT 15465368 SOS 3646807 HAS SOPS 3646807 HAS SOUS 1920190 HAS SOUPS 1920190 WITH SCORE 1923836.807
AT ITER 8085 NEW BEST:: SOT 15465186 SOS 3646624 HAS SOPS 3646624 HAS SOUS 1920098 HAS SOUPS 1920098 WITH SCORE 1923744.624
AT ITER 8095 NEW BEST:: SOT 15465186 SOS 3646620 HAS SOPS 3646620 HAS SOUS 1920097 HAS SOUPS 1920097 WITH SCORE 1923743.62
AT ITER 8174 NEW BEST:: SOT 15464867 SOS 3646380 HAS SOPS 3646380 HAS SOUS 1920019 HAS SOUPS 1920019 WITH SCORE 1923665.38
AT ITER 8191 NEW BEST:: SOT 15464557 SOS 3646070 HAS SOPS 3646070 HAS SOUS 1919399 HAS SOUPS 1919399 WITH SCORE 1923045.07
AT ITER 8195 NEW BEST:: SOT 15464345 SOS 3646117 HAS SOPS 3646117 HAS SOUS 1919305 HAS SOUPS 1919305 WITH SCORE 1922951.117
AT ITER 8217 NEW BEST:: SOT 15463541 SOS 3643525 HAS SOPS 3643525 HAS SOUS 1919036 HAS SOUPS 1919036 WITH SCORE 1922679.525
AT ITER 8235 NEW BEST:: SOT 15463554 SOS 3644415 HAS SOPS 3644415 HAS SOUS 1918966 HAS SOUPS 1918966 WITH SCORE 1922610.415
AT ITER 8306 NEW BEST:: SOT 15463136 SOS 3643997 HAS SOPS 3643997 HAS SOUS 1918966 HAS SOUPS 1918966 WITH SCORE 1922609.997
AT ITER 8324 NEW BEST:: SOT 15462274 SOS 3644859 HAS SOPS 3644859 HAS SOUS 1918104 HAS SOUPS 1918104 WITH SCORE 1921748.859
AT ITER 8325 NEW BEST:: SOT 15462274 SOS 3644818 HAS SOPS 3644818 HAS SOUS 1918104 HAS SOUPS 1918104 WITH SCORE 1921748.818
AT ITER 8330 NEW BEST:: SOT 15461685 SOS 3653558 HAS SOPS 3653558 HAS SOUS 1917447 HAS SOUPS 1917447 WITH SCORE 1921100.558
AT ITER 8359 NEW BEST:: SOT 15461598 SOS 3653471 HAS SOPS 3653471 HAS SOUS 1917360 HAS SOUPS 1917360 WITH SCORE 1921013.471
AT ITER 8407 NEW BEST:: SOT 15461145 SOS 3653298 HAS SOPS 3653298 HAS SOUS 1916586 HAS SOUPS 1916586 WITH SCORE 1920239.298
AT ITER 8445 NEW BEST:: SOT 15461145 SOS 3653875 HAS SOPS 3653875 HAS SOUS 1916585 HAS SOUPS 1916585 WITH SCORE 1920238.875
AT ITER 8462 NEW BEST:: SOT 15461145 SOS 3654727 HAS SOPS 3654727 HAS SOUS 1916584 HAS SOUPS 1916584 WITH SCORE 1920238.727
AT ITER 8474 NEW BEST:: SOT 15461128 SOS 3654659 HAS SOPS 3654659 HAS SOUS 1916550 HAS SOUPS 1916550 WITH SCORE 1920204.659
AT ITER 8511 NEW BEST:: SOT 15461216 SOS 3654835 HAS SOPS 3654835 HAS SOUS 1915441 HAS SOUPS 1915441 WITH SCORE 1919095.835
AT ITER 8523 NEW BEST:: SOT 15461196 SOS 3654975 HAS SOPS 3654975 HAS SOUS 1915401 HAS SOUPS 1915401 WITH SCORE 1919055.975
AT ITER 8528 NEW BEST:: SOT 15461191 SOS 3654965 HAS SOPS 3654965 HAS SOUS 1915396 HAS SOUPS 1915396 WITH SCORE 1919050.965
AT ITER 8544 NEW BEST:: SOT 15460308 SOS 3654257 HAS SOPS 3654257 HAS SOUS 1914513 HAS SOUPS 1914513 WITH SCORE 1918167.257
AT ITER 8572 NEW BEST:: SOT 15459701 SOS 3650000 HAS SOPS 3650000 HAS SOUS 1913541 HAS SOUPS 1913541 WITH SCORE 1917191.0
AT ITER 8603 NEW BEST:: SOT 15459902 SOS 3655528 HAS SOPS 3655528 HAS SOUS 1913300 HAS SOUPS 1913300 WITH SCORE 1916955.528
AT ITER 8609 NEW BEST:: SOT 15459545 SOS 3656016 HAS SOPS 3656016 HAS SOUS 1912751 HAS SOUPS 1912751 WITH SCORE 1916407.016
AT ITER 8617 NEW BEST:: SOT 15459414 SOS 3655754 HAS SOPS 3655754 HAS SOUS 1912489 HAS SOUPS 1912489 WITH SCORE 1916144.754
AT ITER 8623 NEW BEST:: SOT 15459414 SOS 3655853 HAS SOPS 3655853 HAS SOUS 1912345 HAS SOUPS 1912345 WITH SCORE 1916000.853
AT ITER 8628 NEW BEST:: SOT 15459018 SOS 3655849 HAS SOPS 3655849 HAS SOUS 1911948 HAS SOUPS 1911948 WITH SCORE 1915603.849
AT ITER 8630 NEW BEST:: SOT 15458891 SOS 3655595 HAS SOPS 3655595 HAS SOUS 1911694 HAS SOUPS 1911694 WITH SCORE 1915349.595
AT ITER 8631 NEW BEST:: SOT 15458403 SOS 3651835 HAS SOPS 3651835 HAS SOUS 1911081 HAS SOUPS 1911081 WITH SCORE 1914732.835
AT ITER 8633 NEW BEST:: SOT 15458403 SOS 3652798 HAS SOPS 3652798 HAS SOUS 1910760 HAS SOUPS 1910760 WITH SCORE 1914412.798
AT ITER 8647 NEW BEST:: SOT 15458359 SOS 3652710 HAS SOPS 3652710 HAS SOUS 1910672 HAS SOUPS 1910672 WITH SCORE 1914324.71
AT ITER 8674 NEW BEST:: SOT 15458128 SOS 3654327 HAS SOPS 3654327 HAS SOUS 1910280 HAS SOUPS 1910280 WITH SCORE 1913934.327
AT ITER 8681 NEW BEST:: SOT 15458078 SOS 3654254 HAS SOPS 3654254 HAS SOUS 1910207 HAS SOUPS 1910207 WITH SCORE 1913861.254
AT ITER 8730 NEW BEST:: SOT 15458043 SOS 3654232 HAS SOPS 3654232 HAS SOUS 1910185 HAS SOUPS 1910185 WITH SCORE 1913839.232
AT ITER 8739 NEW BEST:: SOT 15458122 SOS 3652992 HAS SOPS 3652992 HAS SOUS 1909837 HAS SOUPS 1909837 WITH SCORE 1913489.992
AT ITER 8759 NEW BEST:: SOT 15458122 SOS 3653396 HAS SOPS 3653396 HAS SOUS 1909836 HAS SOUPS 1909836 WITH SCORE 1913489.396
AT ITER 8767 NEW BEST:: SOT 15457758 SOS 3651284 HAS SOPS 3651284 HAS SOUS 1909108 HAS SOUPS 1909108 WITH SCORE 1912759.284
AT ITER 8798 NEW BEST:: SOT 15457743 SOS 3651254 HAS SOPS 3651254 HAS SOUS 1909093 HAS SOUPS 1909093 WITH SCORE 1912744.254
AT ITER 8821 NEW BEST:: SOT 15457566 SOS 3650900 HAS SOPS 3650900 HAS SOUS 1908893 HAS SOUPS 1908893 WITH SCORE 1912543.9
AT ITER 8845 NEW BEST:: SOT 15457374 SOS 3650851 HAS SOPS 3650851 HAS SOUS 1908844 HAS SOUPS 1908844 WITH SCORE 1912494.851
AT ITER 8853 NEW BEST:: SOT 15457374 SOS 3650851 HAS SOPS 3650851 HAS SOUS 1908835 HAS SOUPS 1908835 WITH SCORE 1912485.851
AT ITER 8856 NEW BEST:: SOT 15457279 SOS 3651000 HAS SOPS 3651000 HAS SOUS 1908586 HAS SOUPS 1908586 WITH SCORE 1912237.0
AT ITER 8872 NEW BEST:: SOT 15456840 SOS 3650122 HAS SOPS 3650122 HAS SOUS 1908166 HAS SOUPS 1908166 WITH SCORE 1911816.122
AT ITER 8877 NEW BEST:: SOT 15456840 SOS 3650161 HAS SOPS 3650161 HAS SOUS 1908165 HAS SOUPS 1908165 WITH SCORE 1911815.161
AT ITER 8910 NEW BEST:: SOT 15456612 SOS 3650262 HAS SOPS 3650262 HAS SOUS 1908102 HAS SOUPS 1908102 WITH SCORE 1911752.262
AT ITER 8928 NEW BEST:: SOT 15456600 SOS 3650250 HAS SOPS 3650250 HAS SOUS 1908090 HAS SOUPS 1908090 WITH SCORE 1911740.25
AT ITER 8960 NEW BEST:: SOT 15456545 SOS 3650140 HAS SOPS 3650140 HAS SOUS 1908035 HAS SOUPS 1908035 WITH SCORE 1911685.14
AT ITER 8961 NEW BEST:: SOT 15454887 SOS 3648482 HAS SOPS 3648482 HAS SOUS 1906377 HAS SOUPS 1906377 WITH SCORE 1910025.482
AT ITER 8975 NEW BEST:: SOT 15454887 SOS 3647189 HAS SOPS 3647189 HAS SOUS 1906377 HAS SOUPS 1906377 WITH SCORE 1910024.189
AT ITER 8998 NEW BEST:: SOT 15454353 SOS 3646106 HAS SOPS 3646106 HAS SOUS 1905294 HAS SOUPS 1905294 WITH SCORE 1908940.106
AT ITER 9005 NEW BEST:: SOT 15454310 SOS 3646149 HAS SOPS 3646149 HAS SOUS 1905251 HAS SOUPS 1905251 WITH SCORE 1908897.149
AT ITER 9019 NEW BEST:: SOT 15452773 SOS 3645110 HAS SOPS 3645110 HAS SOUS 1903714 HAS SOUPS 1903714 WITH SCORE 1907359.11
AT ITER 9073 NEW BEST:: SOT 15452457 SOS 3644478 HAS SOPS 3644478 HAS SOUS 1903416 HAS SOUPS 1903416 WITH SCORE 1907060.478
AT ITER 9100 NEW BEST:: SOT 15452023 SOS 3644220 HAS SOPS 3644220 HAS SOUS 1902982 HAS SOUPS 1902982 WITH SCORE 1906626.22
AT ITER 9113 NEW BEST:: SOT 15451918 SOS 3644010 HAS SOPS 3644010 HAS SOUS 1902772 HAS SOUPS 1902772 WITH SCORE 1906416.01
AT ITER 9128 NEW BEST:: SOT 15451918 SOS 3643600 HAS SOPS 3643600 HAS SOUS 1902567 HAS SOUPS 1902567 WITH SCORE 1906210.6
AT ITER 9140 NEW BEST:: SOT 15451940 SOS 3643149 HAS SOPS 3643149 HAS SOUS 1902446 HAS SOUPS 1902446 WITH SCORE 1906089.149
AT ITER 9141 NEW BEST:: SOT 15451940 SOS 3642824 HAS SOPS 3642824 HAS SOUS 1902331 HAS SOUPS 1902331 WITH SCORE 1905973.824
AT ITER 9174 NEW BEST:: SOT 15450822 SOS 3640588 HAS SOPS 3640588 HAS SOUS 1900095 HAS SOUPS 1900095 WITH SCORE 1903735.588
AT ITER 9217 NEW BEST:: SOT 15450395 SOS 3640194 HAS SOPS 3640194 HAS SOUS 1899850 HAS SOUPS 1899850 WITH SCORE 1903490.194
AT ITER 9230 NEW BEST:: SOT 15450218 SOS 3640059 HAS SOPS 3640059 HAS SOUS 1899673 HAS SOUPS 1899673 WITH SCORE 1903313.059
AT ITER 9253 NEW BEST:: SOT 15448649 SOS 3637711 HAS SOPS 3637711 HAS SOUS 1897320 HAS SOUPS 1897320 WITH SCORE 1900957.711
AT ITER 9318 NEW BEST:: SOT 15448516 SOS 3636785 HAS SOPS 3636785 HAS SOUS 1896527 HAS SOUPS 1896527 WITH SCORE 1900163.785
AT ITER 9326 NEW BEST:: SOT 15448459 SOS 3636671 HAS SOPS 3636671 HAS SOUS 1896413 HAS SOUPS 1896413 WITH SCORE 1900049.671
AT ITER 9375 NEW BEST:: SOT 15448189 SOS 3635101 HAS SOPS 3635101 HAS SOUS 1895887 HAS SOUPS 1895887 WITH SCORE 1899522.101
AT ITER 9386 NEW BEST:: SOT 15447845 SOS 3634887 HAS SOPS 3634887 HAS SOUS 1895673 HAS SOUPS 1895673 WITH SCORE 1899307.887
AT ITER 9393 NEW BEST:: SOT 15447487 SOS 3634529 HAS SOPS 3634529 HAS SOUS 1895315 HAS SOUPS 1895315 WITH SCORE 1898949.529
AT ITER 9394 NEW BEST:: SOT 15447732 SOS 3635019 HAS SOPS 3635019 HAS SOUS 1894283 HAS SOUPS 1894283 WITH SCORE 1897918.019
AT ITER 9416 NEW BEST:: SOT 15447732 SOS 3634617 HAS SOPS 3634617 HAS SOUS 1894082 HAS SOUPS 1894082 WITH SCORE 1897716.617
AT ITER 9426 NEW BEST:: SOT 15447575 SOS 3632890 HAS SOPS 3632890 HAS SOUS 1893925 HAS SOUPS 1893925 WITH SCORE 1897557.89
AT ITER 9436 NEW BEST:: SOT 15446378 SOS 3634780 HAS SOPS 3634780 HAS SOUS 1893914 HAS SOUPS 1893914 WITH SCORE 1897548.78
AT ITER 9439 NEW BEST:: SOT 15446645 SOS 3634246 HAS SOPS 3634246 HAS SOUS 1893914 HAS SOUPS 1893914 WITH SCORE 1897548.246
AT ITER 9446 NEW BEST:: SOT 15446645 SOS 3633496 HAS SOPS 3633496 HAS SOUS 1893914 HAS SOUPS 1893914 WITH SCORE 1897547.496
AT ITER 9447 NEW BEST:: SOT 15446624 SOS 3633474 HAS SOPS 3633474 HAS SOUS 1893882 HAS SOUPS 1893882 WITH SCORE 1897515.474
AT ITER 9455 NEW BEST:: SOT 15446504 SOS 3633234 HAS SOPS 3633234 HAS SOUS 1893761 HAS SOUPS 1893761 WITH SCORE 1897394.234
AT ITER 9503 NEW BEST:: SOT 15446295 SOS 3631562 HAS SOPS 3631562 HAS SOUS 1893552 HAS SOUPS 1893552 WITH SCORE 1897183.562
AT ITER 9520 NEW BEST:: SOT 15446251 SOS 3631474 HAS SOPS 3631474 HAS SOUS 1893508 HAS SOUPS 1893508 WITH SCORE 1897139.474
AT ITER 9608 NEW BEST:: SOT 15446211 SOS 3623249 HAS SOPS 3623249 HAS SOUS 1893428 HAS SOUPS 1893428 WITH SCORE 1897051.249
AT ITER 9615 NEW BEST:: SOT 15446201 SOS 3623259 HAS SOPS 3623259 HAS SOUS 1893418 HAS SOUPS 1893418 WITH SCORE 1897041.259
AT ITER 9619 NEW BEST:: SOT 15446030 SOS 3624456 HAS SOPS 3624456 HAS SOUS 1893247 HAS SOUPS 1893247 WITH SCORE 1896871.456
AT ITER 9643 NEW BEST:: SOT 15445735 SOS 3623866 HAS SOPS 3623866 HAS SOUS 1893155 HAS SOUPS 1893155 WITH SCORE 1896778.866
AT ITER 9669 NEW BEST:: SOT 15445555 SOS 3623406 HAS SOPS 3623406 HAS SOUS 1892623 HAS SOUPS 1892623 WITH SCORE 1896246.406
AT ITER 9672 NEW BEST:: SOT 15445481 SOS 3623258 HAS SOPS 3623258 HAS SOUS 1892548 HAS SOUPS 1892548 WITH SCORE 1896171.258
AT ITER 9685 NEW BEST:: SOT 15445480 SOS 3623256 HAS SOPS 3623256 HAS SOUS 1892546 HAS SOUPS 1892546 WITH SCORE 1896169.256
AT ITER 9706 NEW BEST:: SOT 15445433 SOS 3623209 HAS SOPS 3623209 HAS SOUS 1892499 HAS SOUPS 1892499 WITH SCORE 1896122.209
AT ITER 9729 NEW BEST:: SOT 15445155 SOS 3622653 HAS SOPS 3622653 HAS SOUS 1891954 HAS SOUPS 1891954 WITH SCORE 1895576.653
AT ITER 9746 NEW BEST:: SOT 15444996 SOS 3622335 HAS SOPS 3622335 HAS SOUS 1891636 HAS SOUPS 1891636 WITH SCORE 1895258.335
AT ITER 9753 NEW BEST:: SOT 15445061 SOS 3622302 HAS SOPS 3622302 HAS SOUS 1891603 HAS SOUPS 1891603 WITH SCORE 1895225.302
AT ITER 9760 NEW BEST:: SOT 15444347 SOS 3621945 HAS SOPS 3621945 HAS SOUS 1890889 HAS SOUPS 1890889 WITH SCORE 1894510.945
AT ITER 9770 NEW BEST:: SOT 15444347 SOS 3621857 HAS SOPS 3621857 HAS SOUS 1890889 HAS SOUPS 1890889 WITH SCORE 1894510.857
AT ITER 9772 NEW BEST:: SOT 15444206 SOS 3621575 HAS SOPS 3621575 HAS SOUS 1890748 HAS SOUPS 1890748 WITH SCORE 1894369.575
AT ITER 9798 NEW BEST:: SOT 15444009 SOS 3621628 HAS SOPS 3621628 HAS SOUS 1890515 HAS SOUPS 1890515 WITH SCORE 1894136.628
AT ITER 9824 NEW BEST:: SOT 15443794 SOS 3621198 HAS SOPS 3621198 HAS SOUS 1890052 HAS SOUPS 1890052 WITH SCORE 1893673.198
AT ITER 9827 NEW BEST:: SOT 15443497 SOS 3618251 HAS SOPS 3618251 HAS SOUS 1889787 HAS SOUPS 1889787 WITH SCORE 1893405.251
AT ITER 9848 NEW BEST:: SOT 15443357 SOS 3617971 HAS SOPS 3617971 HAS SOUS 1889507 HAS SOUPS 1889507 WITH SCORE 1893124.971
AT ITER 9860 NEW BEST:: SOT 15442247 SOS 3617503 HAS SOPS 3617503 HAS SOUS 1888981 HAS SOUPS 1888981 WITH SCORE 1892598.503
AT ITER 9920 NEW BEST:: SOT 15442351 SOS 3619645 HAS SOPS 3619645 HAS SOUS 1888720 HAS SOUPS 1888720 WITH SCORE 1892339.645
AT ITER 9922 NEW BEST:: SOT 15442688 SOS 3618971 HAS SOPS 3618971 HAS SOUS 1888720 HAS SOUPS 1888720 WITH SCORE 1892338.971
AT ITER 9929 NEW BEST:: SOT 15442195 SOS 3617985 HAS SOPS 3617985 HAS SOUS 1887913 HAS SOUPS 1887913 WITH SCORE 1891530.985
AT ITER 9967 NEW BEST:: SOT 15442320 SOS 3616646 HAS SOPS 3616646 HAS SOUS 1887735 HAS SOUPS 1887735 WITH SCORE 1891351.646
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 15279068 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16120140 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="DLCround-PT-10b"
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 DLCround-PT-10b, 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 r107-tall-167814484600744"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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