fond
Model Checking Contest 2023
13th edition, Paris, France, April 26, 2023 (at TOOLympics II)
Execution of r139-smll-167819421600040
Last Updated
May 14, 2023

About the Execution of Smart+red for Dekker-PT-100

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
4104.056 3600000.00 3639546.00 10506.60 [undef] Time out reached

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.r139-smll-167819421600040.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 Dekker-PT-100, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r139-smll-167819421600040
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 6.4M
-rw-r--r-- 1 mcc users 8.7K Feb 26 01:47 CTLCardinality.txt
-rw-r--r-- 1 mcc users 95K Feb 26 01:47 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.2K Feb 26 01:46 CTLFireability.txt
-rw-r--r-- 1 mcc users 57K Feb 26 01:46 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 15:56 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 15:56 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Feb 25 15:56 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 15:56 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 01:50 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 117K Feb 26 01:50 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.6K Feb 26 01:48 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 41K Feb 26 01:48 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:56 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:56 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 5.9M 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 1678302919299

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=Dekker-PT-100
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-08 19:15:22] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-08 19:15:22] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-08 19:15:23] [INFO ] Load time of PNML (sax parser for PT used): 859 ms
[2023-03-08 19:15:23] [INFO ] Transformed 500 places.
[2023-03-08 19:15:23] [INFO ] Transformed 10200 transitions.
[2023-03-08 19:15:23] [INFO ] Found NUPN structural information;
[2023-03-08 19:15:23] [INFO ] Parsed PT model containing 500 places and 10200 transitions and 80200 arcs in 1088 ms.
[2023-03-08 19:15:23] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 500 places, 10200 transitions and 80200 arcs took 150 ms.
Total runtime 1297 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Dekker (PT), instance 100
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: 500 places, 10200 transitions, 80200 arcs.
AT ITER 0 NEW BEST:: SOT 4564607 SOS 4205666 HAS SOPS 3999710 HAS SOUS 3862664 HAS SOUPS 3818408 WITH SCORE 3822613.666
AT ITER 2 NEW BEST:: SOT 4564607 SOS 4205610 HAS SOPS 3999654 HAS SOUS 3862552 HAS SOUPS 3818296 WITH SCORE 3822501.61
AT ITER 3 NEW BEST:: SOT 4564607 SOS 4199608 HAS SOPS 3990616 HAS SOUS 3838540 HAS SOUPS 3794495 WITH SCORE 3798694.608
AT ITER 4 NEW BEST:: SOT 4549906 SOS 4189111 HAS SOPS 3975816 HAS SOUS 3823830 HAS SOUPS 3779596 WITH SCORE 3783785.111
AT ITER 6 NEW BEST:: SOT 4530505 SOS 4172059 HAS SOPS 3956415 HAS SOUS 3804526 HAS SOUPS 3760195 WITH SCORE 3764367.059
AT ITER 7 NEW BEST:: SOT 4530505 SOS 4172059 HAS SOPS 3956319 HAS SOUS 3804334 HAS SOUPS 3760003 WITH SCORE 3764175.059
AT ITER 9 NEW BEST:: SOT 4519120 SOS 4160674 HAS SOPS 3944934 HAS SOUS 3792949 HAS SOUPS 3748618 WITH SCORE 3752778.674
AT ITER 12 NEW BEST:: SOT 4515720 SOS 4157274 HAS SOPS 3941534 HAS SOUS 3789549 HAS SOUPS 3745218 WITH SCORE 3749375.274
AT ITER 13 NEW BEST:: SOT 4509720 SOS 4151274 HAS SOPS 3935534 HAS SOUS 3783549 HAS SOUPS 3739218 WITH SCORE 3743369.274
AT ITER 14 NEW BEST:: SOT 4498344 SOS 4148046 HAS SOPS 3919108 HAS SOUS 3735545 HAS SOUPS 3691313 WITH SCORE 3695461.046
AT ITER 15 NEW BEST:: SOT 4498344 SOS 4147478 HAS SOPS 3913957 HAS SOUS 3721060 HAS SOUPS 3676926 WITH SCORE 3681073.478
AT ITER 17 NEW BEST:: SOT 4498344 SOS 4142135 HAS SOPS 3901736 HAS SOUS 3701840 HAS SOUPS 3657827 WITH SCORE 3661969.135
AT ITER 18 NEW BEST:: SOT 4498344 SOS 4139694 HAS SOPS 3896383 HAS SOUS 3692222 HAS SOUPS 3648275 WITH SCORE 3652414.694
AT ITER 19 NEW BEST:: SOT 4482768 SOS 4124118 HAS SOPS 3880807 HAS SOUS 3676749 HAS SOUPS 3632699 WITH SCORE 3636823.118
AT ITER 21 NEW BEST:: SOT 4482768 SOS 4124118 HAS SOPS 3880715 HAS SOUS 3676565 HAS SOUPS 3632515 WITH SCORE 3636639.118
AT ITER 22 NEW BEST:: SOT 4482768 SOS 4124118 HAS SOPS 3880696 HAS SOUS 3676527 HAS SOUPS 3632477 WITH SCORE 3636601.118
AT ITER 24 NEW BEST:: SOT 4458659 SOS 4100056 HAS SOPS 3856587 HAS SOUS 3652554 HAS SOUPS 3608368 WITH SCORE 3612468.056
AT ITER 25 NEW BEST:: SOT 4450511 SOS 4094263 HAS SOPS 3838743 HAS SOUS 3594607 HAS SOUPS 3550561 WITH SCORE 3554655.263
AT ITER 29 NEW BEST:: SOT 4439494 SOS 4083246 HAS SOPS 3827726 HAS SOUS 3583590 HAS SOUPS 3539544 WITH SCORE 3543627.246
AT ITER 30 NEW BEST:: SOT 4424876 SOS 4064458 HAS SOPS 3803210 HAS SOUS 3518975 HAS SOUPS 3475110 WITH SCORE 3479174.458
AT ITER 32 NEW BEST:: SOT 4413386 SOS 4052968 HAS SOPS 3791720 HAS SOUS 3507485 HAS SOUPS 3463620 WITH SCORE 3467672.968
AT ITER 34 NEW BEST:: SOT 4402475 SOS 4036447 HAS SOPS 3766164 HAS SOUS 3447562 HAS SOUPS 3403883 WITH SCORE 3407919.447
AT ITER 38 NEW BEST:: SOT 4402477 SOS 4031383 HAS SOPS 3756924 HAS SOUS 3422853 HAS SOUPS 3379379 WITH SCORE 3383410.383
AT ITER 39 NEW BEST:: SOT 4398733 SOS 4027639 HAS SOPS 3753180 HAS SOUS 3419109 HAS SOUPS 3375635 WITH SCORE 3379662.639
AT ITER 40 NEW BEST:: SOT 4399672 SOS 4026287 HAS SOPS 3743282 HAS SOUS 3382968 HAS SOUPS 3339779 WITH SCORE 3343805.287
AT ITER 41 NEW BEST:: SOT 4391882 SOS 4018497 HAS SOPS 3735492 HAS SOUS 3375178 HAS SOUPS 3331989 WITH SCORE 3336007.497
AT ITER 43 NEW BEST:: SOT 4391882 SOS 4017286 HAS SOPS 3730442 HAS SOUS 3365339 HAS SOUPS 3322209 WITH SCORE 3326226.286
AT ITER 44 NEW BEST:: SOT 4377583 SOS 4002987 HAS SOPS 3716044 HAS SOUS 3350842 HAS SOUPS 3307712 WITH SCORE 3311714.987
AT ITER 45 NEW BEST:: SOT 4378795 SOS 4002312 HAS SOPS 3712367 HAS SOUS 3319943 HAS SOUPS 3277105 WITH SCORE 3281107.312
AT ITER 48 NEW BEST:: SOT 4377727 SOS 4001244 HAS SOPS 3711299 HAS SOUS 3318875 HAS SOUPS 3276037 WITH SCORE 3280038.244
AT ITER 49 NEW BEST:: SOT 4377727 SOS 3994465 HAS SOPS 3701199 HAS SOUS 3305154 HAS SOUPS 3262418 WITH SCORE 3266412.465
AT ITER 51 NEW BEST:: SOT 4377727 SOS 3990623 HAS SOPS 3697058 HAS SOUS 3290022 HAS SOUPS 3247286 WITH SCORE 3251276.623
AT ITER 52 NEW BEST:: SOT 4354635 SOS 3966537 HAS SOPS 3663868 HAS SOUS 3257574 HAS SOUPS 3214793 WITH SCORE 3218759.537
AT ITER 55 NEW BEST:: SOT 4331825 SOS 3943727 HAS SOPS 3641058 HAS SOUS 3234844 HAS SOUPS 3191983 WITH SCORE 3195926.727
AT ITER 58 NEW BEST:: SOT 4321943 SOS 3933845 HAS SOPS 3631176 HAS SOUS 3225070 HAS SOUPS 3182101 WITH SCORE 3186034.845
AT ITER 59 NEW BEST:: SOT 4330330 SOS 3934808 HAS SOPS 3632796 HAS SOUS 3187380 HAS SOUPS 3144877 WITH SCORE 3148811.808
AT ITER 60 NEW BEST:: SOT 4330330 SOS 3934808 HAS SOPS 3632700 HAS SOUS 3187188 HAS SOUPS 3144685 WITH SCORE 3148619.808
AT ITER 61 NEW BEST:: SOT 4330576 SOS 3931063 HAS SOPS 3627705 HAS SOUS 3164989 HAS SOUPS 3122699 WITH SCORE 3126630.063
AT ITER 63 NEW BEST:: SOT 4330576 SOS 3931063 HAS SOPS 3627670 HAS SOUS 3164919 HAS SOUPS 3122629 WITH SCORE 3126560.063
AT ITER 64 NEW BEST:: SOT 4332449 SOS 3928028 HAS SOPS 3624375 HAS SOUS 3132465 HAS SOUPS 3090517 WITH SCORE 3094445.028
AT ITER 66 NEW BEST:: SOT 4317894 SOS 3913473 HAS SOPS 3609820 HAS SOUS 3117910 HAS SOUPS 3075962 WITH SCORE 3079875.473
AT ITER 67 NEW BEST:: SOT 4317894 SOS 3912587 HAS SOPS 3603655 HAS SOUS 3112604 HAS SOUPS 3070656 WITH SCORE 3074568.587
AT ITER 69 NEW BEST:: SOT 4317894 SOS 3912587 HAS SOPS 3603563 HAS SOUS 3112420 HAS SOUPS 3070472 WITH SCORE 3074384.587
AT ITER 71 NEW BEST:: SOT 4315488 SOS 3907007 HAS SOPS 3591461 HAS SOUS 3067021 HAS SOUPS 3025316 WITH SCORE 3029223.007
AT ITER 72 NEW BEST:: SOT 4317126 SOS 3897243 HAS SOPS 3578514 HAS SOUS 3030140 HAS SOUPS 2988789 WITH SCORE 2992686.243
AT ITER 73 NEW BEST:: SOT 4298569 SOS 3878686 HAS SOPS 3559957 HAS SOUS 3011624 HAS SOUPS 2970232 WITH SCORE 2974110.686
AT ITER 74 NEW BEST:: SOT 4298569 SOS 3878686 HAS SOPS 3559882 HAS SOUS 3011474 HAS SOUPS 2970082 WITH SCORE 2973960.686
AT ITER 76 NEW BEST:: SOT 4295689 SOS 3875806 HAS SOPS 3556936 HAS SOUS 3008496 HAS SOUPS 2967070 WITH SCORE 2970945.806
AT ITER 78 NEW BEST:: SOT 4297014 SOS 3867092 HAS SOPS 3543638 HAS SOUS 2972825 HAS SOUPS 2931764 WITH SCORE 2935631.092
AT ITER 81 NEW BEST:: SOT 4297031 SOS 3864446 HAS SOPS 3538630 HAS SOUS 2957904 HAS SOUPS 2916969 WITH SCORE 2920833.446
AT ITER 84 NEW BEST:: SOT 4294929 SOS 3862684 HAS SOPS 3538228 HAS SOUS 2957107 HAS SOUPS 2916261 WITH SCORE 2920123.684
AT ITER 86 NEW BEST:: SOT 4288593 SOS 3847286 HAS SOPS 3520580 HAS SOUS 2906778 HAS SOUPS 2866073 WITH SCORE 2869920.286
AT ITER 87 NEW BEST:: SOT 4267089 SOS 3825782 HAS SOPS 3498977 HAS SOUS 2885083 HAS SOUPS 2844371 WITH SCORE 2848196.782
AT ITER 88 NEW BEST:: SOT 4278292 SOS 3833535 HAS SOPS 3507655 HAS SOUS 2855038 HAS SOUPS 2814473 WITH SCORE 2818306.535
AT ITER 89 NEW BEST:: SOT 4278292 SOS 3833535 HAS SOPS 3507556 HAS SOUS 2854840 HAS SOUPS 2814275 WITH SCORE 2818108.535
AT ITER 90 NEW BEST:: SOT 4278292 SOS 3826175 HAS SOPS 3502506 HAS SOUS 2842950 HAS SOUPS 2802526 WITH SCORE 2806352.175
AT ITER 91 NEW BEST:: SOT 4266657 SOS 3814540 HAS SOPS 3490871 HAS SOUS 2831315 HAS SOUPS 2790891 WITH SCORE 2794705.54
AT ITER 97 NEW BEST:: SOT 4267250 SOS 3805730 HAS SOPS 3486174 HAS SOUS 2808177 HAS SOUPS 2768032 WITH SCORE 2771837.73
AT ITER 98 NEW BEST:: SOT 4267250 SOS 3800054 HAS SOPS 3478139 HAS SOUS 2805905 HAS SOUPS 2765760 WITH SCORE 2769560.054
AT ITER 99 NEW BEST:: SOT 4267250 SOS 3799967 HAS SOPS 3477964 HAS SOUS 2805729 HAS SOUPS 2765584 WITH SCORE 2769383.967
AT ITER 102 NEW BEST:: SOT 4271514 SOS 3802401 HAS SOPS 3477380 HAS SOUS 2779579 HAS SOUPS 2739707 WITH SCORE 2743509.401
AT ITER 103 NEW BEST:: SOT 4256073 SOS 3787004 HAS SOPS 3461983 HAS SOUS 2764182 HAS SOUPS 2724310 WITH SCORE 2728097.004
AT ITER 104 NEW BEST:: SOT 4256073 SOS 3786981 HAS SOPS 3461960 HAS SOUS 2764159 HAS SOUPS 2724287 WITH SCORE 2728073.981
AT ITER 105 NEW BEST:: SOT 4256130 SOS 3781386 HAS SOPS 3464845 HAS SOUS 2755152 HAS SOUPS 2715456 WITH SCORE 2719237.386
AT ITER 106 NEW BEST:: SOT 4256443 SOS 3773143 HAS SOPS 3455258 HAS SOUS 2730822 HAS SOUPS 2691358 WITH SCORE 2695131.143
AT ITER 108 NEW BEST:: SOT 4257180 SOS 3767149 HAS SOPS 3450680 HAS SOUS 2709105 HAS SOUPS 2669881 WITH SCORE 2673648.149
AT ITER 111 NEW BEST:: SOT 4264524 SOS 3773448 HAS SOPS 3454489 HAS SOUS 2694471 HAS SOUPS 2655360 WITH SCORE 2659133.448
AT ITER 114 NEW BEST:: SOT 4264378 SOS 3770829 HAS SOPS 3444245 HAS SOUS 2686588 HAS SOUPS 2647292 WITH SCORE 2651062.829
AT ITER 120 NEW BEST:: SOT 4265883 SOS 3761820 HAS SOPS 3431245 HAS SOUS 2654506 HAS SOUPS 2615505 WITH SCORE 2619266.82
AT ITER 123 NEW BEST:: SOT 4265763 SOS 3761700 HAS SOPS 3431026 HAS SOUS 2654188 HAS SOUPS 2615187 WITH SCORE 2618948.7
AT ITER 124 NEW BEST:: SOT 4266596 SOS 3758704 HAS SOPS 3421783 HAS SOUS 2630976 HAS SOUPS 2592151 WITH SCORE 2595909.704
AT ITER 126 NEW BEST:: SOT 4266617 SOS 3755325 HAS SOPS 3416621 HAS SOUS 2622279 HAS SOUPS 2583523 WITH SCORE 2587278.325
AT ITER 127 NEW BEST:: SOT 4266617 SOS 3752745 HAS SOPS 3412379 HAS SOUS 2616333 HAS SOUPS 2577619 WITH SCORE 2581371.745
AT ITER 129 NEW BEST:: SOT 4263683 SOS 3742168 HAS SOPS 3400355 HAS SOUS 2567037 HAS SOUPS 2528508 WITH SCORE 2532250.168
AT ITER 132 NEW BEST:: SOT 4254724 SOS 3733209 HAS SOPS 3391396 HAS SOUS 2558078 HAS SOUPS 2519549 WITH SCORE 2523282.209
AT ITER 133 NEW BEST:: SOT 4254426 SOS 3732911 HAS SOPS 3391098 HAS SOUS 2557780 HAS SOUPS 2519251 WITH SCORE 2522983.911
AT ITER 135 NEW BEST:: SOT 4254426 SOS 3732911 HAS SOPS 3391001 HAS SOUS 2557619 HAS SOUPS 2519057 WITH SCORE 2522789.911
AT ITER 137 NEW BEST:: SOT 4262399 SOS 3733620 HAS SOPS 3393419 HAS SOUS 2539991 HAS SOUPS 2501701 WITH SCORE 2505434.62
AT ITER 139 NEW BEST:: SOT 4251151 SOS 3720237 HAS SOPS 3375404 HAS SOUS 2523977 HAS SOUPS 2485687 WITH SCORE 2489407.237
AT ITER 142 NEW BEST:: SOT 4242293 SOS 3709312 HAS SOPS 3368061 HAS SOUS 2487596 HAS SOUPS 2449454 WITH SCORE 2453163.312
AT ITER 144 NEW BEST:: SOT 4231014 SOS 3695468 HAS SOPS 3356782 HAS SOUS 2442682 HAS SOUPS 2404902 WITH SCORE 2408597.468
AT ITER 145 NEW BEST:: SOT 4231014 SOS 3693210 HAS SOPS 3349209 HAS SOUS 2437340 HAS SOUPS 2399340 WITH SCORE 2403033.21
AT ITER 147 NEW BEST:: SOT 4231025 SOS 3689290 HAS SOPS 3344170 HAS SOUS 2430532 HAS SOUPS 2392588 WITH SCORE 2396277.29
AT ITER 150 NEW BEST:: SOT 4222570 SOS 3680397 HAS SOPS 3335715 HAS SOUS 2403755 HAS SOUPS 2365959 WITH SCORE 2369639.397
AT ITER 153 NEW BEST:: SOT 4222570 SOS 3679276 HAS SOPS 3333190 HAS SOUS 2402301 HAS SOUPS 2364505 WITH SCORE 2368184.276
AT ITER 155 NEW BEST:: SOT 4219356 SOS 3676062 HAS SOPS 3330066 HAS SOUS 2399222 HAS SOUPS 2361471 WITH SCORE 2365147.062
AT ITER 156 NEW BEST:: SOT 4219356 SOS 3674450 HAS SOPS 3327339 HAS SOUS 2398053 HAS SOUPS 2360302 WITH SCORE 2363976.45
AT ITER 157 NEW BEST:: SOT 4215510 SOS 3670604 HAS SOPS 3323493 HAS SOUS 2394304 HAS SOUPS 2356456 WITH SCORE 2360126.604
AT ITER 159 NEW BEST:: SOT 4226217 SOS 3666801 HAS SOPS 3319647 HAS SOUS 2360796 HAS SOUPS 2323389 WITH SCORE 2327055.801
AT ITER 160 NEW BEST:: SOT 4212924 SOS 3653508 HAS SOPS 3306354 HAS SOUS 2347503 HAS SOUPS 2310096 WITH SCORE 2313749.508
AT ITER 167 NEW BEST:: SOT 4212924 SOS 3648929 HAS SOPS 3303754 HAS SOUS 2343656 HAS SOUPS 2306307 WITH SCORE 2309955.929
AT ITER 168 NEW BEST:: SOT 4212797 SOS 3648802 HAS SOPS 3303627 HAS SOUS 2343529 HAS SOUPS 2306180 WITH SCORE 2309828.802
AT ITER 169 NEW BEST:: SOT 4214021 SOS 3634198 HAS SOPS 3290125 HAS SOUS 2317047 HAS SOUPS 2279985 WITH SCORE 2283619.198
AT ITER 170 NEW BEST:: SOT 4220072 SOS 3635146 HAS SOPS 3291025 HAS SOUS 2285183 HAS SOUPS 2248365 WITH SCORE 2252000.146
AT ITER 174 NEW BEST:: SOT 4229532 SOS 3646233 HAS SOPS 3318896 HAS SOUS 2267891 HAS SOUPS 2231512 WITH SCORE 2235158.233
AT ITER 175 NEW BEST:: SOT 4230481 SOS 3643458 HAS SOPS 3328832 HAS SOUS 2255326 HAS SOUPS 2219212 WITH SCORE 2222855.458
AT ITER 180 NEW BEST:: SOT 4229940 SOS 3642917 HAS SOPS 3328192 HAS SOUS 2254666 HAS SOUPS 2218473 WITH SCORE 2222115.917
AT ITER 181 NEW BEST:: SOT 4227177 SOS 3640154 HAS SOPS 3325429 HAS SOUS 2251903 HAS SOUPS 2215710 WITH SCORE 2219350.154
AT ITER 182 NEW BEST:: SOT 4227428 SOS 3627430 HAS SOPS 3312828 HAS SOUS 2232696 HAS SOUPS 2196698 WITH SCORE 2200325.43
AT ITER 184 NEW BEST:: SOT 4227428 SOS 3626817 HAS SOPS 3310606 HAS SOUS 2231043 HAS SOUPS 2195045 WITH SCORE 2198671.817
AT ITER 187 NEW BEST:: SOT 4227482 SOS 3622664 HAS SOPS 3304802 HAS SOUS 2223530 HAS SOUPS 2187590 WITH SCORE 2191212.664
AT ITER 189 NEW BEST:: SOT 4237106 SOS 3629083 HAS SOPS 3314613 HAS SOUS 2217733 HAS SOUPS 2181983 WITH SCORE 2185612.083
AT ITER 191 NEW BEST:: SOT 4239389 SOS 3615730 HAS SOPS 3293598 HAS SOUS 2180828 HAS SOUPS 2145089 WITH SCORE 2148704.73
AT ITER 193 NEW BEST:: SOT 4240590 SOS 3598656 HAS SOPS 3280176 HAS SOUS 2155490 HAS SOUPS 2120052 WITH SCORE 2123650.656
AT ITER 195 NEW BEST:: SOT 4236146 SOS 3594212 HAS SOPS 3275633 HAS SOUS 2150848 HAS SOUPS 2115410 WITH SCORE 2119004.212
AT ITER 198 NEW BEST:: SOT 4234654 SOS 3592720 HAS SOPS 3274141 HAS SOUS 2149356 HAS SOUPS 2113918 WITH SCORE 2117510.72
AT ITER 200 NEW BEST:: SOT 4226219 SOS 3572029 HAS SOPS 3254798 HAS SOUS 2098844 HAS SOUPS 2063649 WITH SCORE 2067221.029
AT ITER 201 NEW BEST:: SOT 4227545 SOS 3573002 HAS SOPS 3256124 HAS SOUS 2091019 HAS SOUPS 2055824 WITH SCORE 2059397.002
AT ITER 202 NEW BEST:: SOT 4223595 SOS 3569052 HAS SOPS 3252174 HAS SOUS 2087069 HAS SOUPS 2051874 WITH SCORE 2055443.052
AT ITER 203 NEW BEST:: SOT 4223595 SOS 3569052 HAS SOPS 3252144 HAS SOUS 2087009 HAS SOUPS 2051814 WITH SCORE 2055383.052
AT ITER 213 NEW BEST:: SOT 4223595 SOS 3565038 HAS SOPS 3241616 HAS SOUS 2080432 HAS SOUPS 2045068 WITH SCORE 2048633.038
AT ITER 215 NEW BEST:: SOT 4217701 SOS 3559144 HAS SOPS 3235722 HAS SOUS 2074538 HAS SOUPS 2039174 WITH SCORE 2042733.144
AT ITER 217 NEW BEST:: SOT 4217869 SOS 3559306 HAS SOPS 3235890 HAS SOUS 2074112 HAS SOUPS 2038754 WITH SCORE 2042313.306
AT ITER 218 NEW BEST:: SOT 4222090 SOS 3557926 HAS SOPS 3225140 HAS SOUS 2068888 HAS SOUPS 2033530 WITH SCORE 2037087.926
AT ITER 219 NEW BEST:: SOT 4216442 SOS 3552278 HAS SOPS 3219492 HAS SOUS 2063240 HAS SOUPS 2027882 WITH SCORE 2031434.278
AT ITER 220 NEW BEST:: SOT 4208760 SOS 3544596 HAS SOPS 3211810 HAS SOUS 2055558 HAS SOUPS 2020200 WITH SCORE 2023744.596
AT ITER 221 NEW BEST:: SOT 4210955 SOS 3545362 HAS SOPS 3214095 HAS SOUS 2040462 HAS SOUPS 2005293 WITH SCORE 2008838.362
AT ITER 222 NEW BEST:: SOT 4209056 SOS 3543463 HAS SOPS 3212196 HAS SOUS 2038787 HAS SOUPS 2003394 WITH SCORE 2006937.463
AT ITER 223 NEW BEST:: SOT 4202709 SOS 3537116 HAS SOPS 3205849 HAS SOUS 2032440 HAS SOUPS 1997047 WITH SCORE 2000584.116
AT ITER 225 NEW BEST:: SOT 4202879 SOS 3529807 HAS SOPS 3201223 HAS SOUS 2019548 HAS SOUPS 1984313 WITH SCORE 1987842.807
AT ITER 226 NEW BEST:: SOT 4196178 SOS 3525722 HAS SOPS 3197550 HAS SOUS 2013169 HAS SOUPS 1978055 WITH SCORE 1981580.722
AT ITER 227 NEW BEST:: SOT 4199748 SOS 3528809 HAS SOPS 3201187 HAS SOUS 2000689 HAS SOUPS 1965808 WITH SCORE 1969336.809
AT ITER 228 NEW BEST:: SOT 4188579 SOS 3513663 HAS SOPS 3179941 HAS SOUS 1983144 HAS SOUPS 1948263 WITH SCORE 1951776.663
AT ITER 229 NEW BEST:: SOT 4188579 SOS 3510976 HAS SOPS 3174689 HAS SOUS 1980475 HAS SOUPS 1945594 WITH SCORE 1949104.976
AT ITER 231 NEW BEST:: SOT 4189985 SOS 3509222 HAS SOPS 3183859 HAS SOUS 1965957 HAS SOUPS 1931137 WITH SCORE 1934646.222
AT ITER 233 NEW BEST:: SOT 4180214 SOS 3495426 HAS SOPS 3164187 HAS SOUS 1950232 HAS SOUPS 1915292 WITH SCORE 1918787.426
AT ITER 234 NEW BEST:: SOT 4182317 SOS 3497503 HAS SOPS 3166290 HAS SOUS 1949761 HAS SOUPS 1914847 WITH SCORE 1918344.503
AT ITER 236 NEW BEST:: SOT 4182317 SOS 3497554 HAS SOPS 3166340 HAS SOUS 1949759 HAS SOUPS 1914845 WITH SCORE 1918342.554
AT ITER 238 NEW BEST:: SOT 4182378 SOS 3491448 HAS SOPS 3161452 HAS SOUS 1943317 HAS SOUPS 1908403 WITH SCORE 1911894.448
AT ITER 239 NEW BEST:: SOT 4182378 SOS 3491448 HAS SOPS 3161450 HAS SOUS 1943313 HAS SOUPS 1908399 WITH SCORE 1911890.448
AT ITER 240 NEW BEST:: SOT 4206809 SOS 3516465 HAS SOPS 3196654 HAS SOUS 1942817 HAS SOUPS 1908052 WITH SCORE 1911568.465
AT ITER 241 NEW BEST:: SOT 4206809 SOS 3516465 HAS SOPS 3196555 HAS SOUS 1942718 HAS SOUPS 1907854 WITH SCORE 1911370.465
AT ITER 243 NEW BEST:: SOT 4206809 SOS 3513546 HAS SOPS 3190697 HAS SOUS 1939730 HAS SOUPS 1904799 WITH SCORE 1908312.546
AT ITER 244 NEW BEST:: SOT 4201377 SOS 3508114 HAS SOPS 3185265 HAS SOUS 1934308 HAS SOUPS 1899367 WITH SCORE 1902875.114
AT ITER 246 NEW BEST:: SOT 4201219 SOS 3507956 HAS SOPS 3185166 HAS SOUS 1934209 HAS SOUPS 1899327 WITH SCORE 1902834.956
AT ITER 250 NEW BEST:: SOT 4197860 SOS 3504297 HAS SOPS 3180700 HAS SOUS 1930031 HAS SOUPS 1894945 WITH SCORE 1898449.297
AT ITER 256 NEW BEST:: SOT 4197803 SOS 3500892 HAS SOPS 3176945 HAS SOUS 1929429 HAS SOUPS 1894316 WITH SCORE 1897816.892
AT ITER 258 NEW BEST:: SOT 4197803 SOS 3500629 HAS SOPS 3176945 HAS SOUS 1929292 HAS SOUPS 1894183 WITH SCORE 1897683.629
AT ITER 259 NEW BEST:: SOT 4198916 SOS 3501595 HAS SOPS 3178058 HAS SOUS 1925352 HAS SOUPS 1890295 WITH SCORE 1893796.595
AT ITER 260 NEW BEST:: SOT 4198916 SOS 3501595 HAS SOPS 3178018 HAS SOUS 1925312 HAS SOUPS 1890215 WITH SCORE 1893716.595
AT ITER 261 NEW BEST:: SOT 4195375 SOS 3498054 HAS SOPS 3174538 HAS SOUS 1921832 HAS SOUPS 1886796 WITH SCORE 1890294.054
AT ITER 264 NEW BEST:: SOT 4188862 SOS 3491541 HAS SOPS 3168025 HAS SOUS 1915134 HAS SOUPS 1880283 WITH SCORE 1883774.541
AT ITER 265 NEW BEST:: SOT 4189241 SOS 3486164 HAS SOPS 3163394 HAS SOUS 1902057 HAS SOUPS 1867488 WITH SCORE 1870974.164
AT ITER 266 NEW BEST:: SOT 4187894 SOS 3483639 HAS SOPS 3159547 HAS SOUS 1899338 HAS SOUPS 1864794 WITH SCORE 1868277.639
AT ITER 268 NEW BEST:: SOT 4187894 SOS 3480057 HAS SOPS 3151547 HAS SOUS 1894840 HAS SOUPS 1860296 WITH SCORE 1863776.057
AT ITER 270 NEW BEST:: SOT 4182887 SOS 3475050 HAS SOPS 3146441 HAS SOUS 1889688 HAS SOUPS 1855091 WITH SCORE 1858566.05
AT ITER 273 NEW BEST:: SOT 4183318 SOS 3475476 HAS SOPS 3146872 HAS SOUS 1889624 HAS SOUPS 1855032 WITH SCORE 1858507.476
AT ITER 282 NEW BEST:: SOT 4183891 SOS 3480344 HAS SOPS 3170271 HAS SOUS 1885780 HAS SOUPS 1851422 WITH SCORE 1854902.344
AT ITER 283 NEW BEST:: SOT 4179798 SOS 3476251 HAS SOPS 3166178 HAS SOUS 1881687 HAS SOUPS 1847329 WITH SCORE 1850805.251
AT ITER 286 NEW BEST:: SOT 4169895 SOS 3466348 HAS SOPS 3156064 HAS SOUS 1871362 HAS SOUPS 1837004 WITH SCORE 1840470.348
AT ITER 288 NEW BEST:: SOT 4173999 SOS 3464887 HAS SOPS 3160455 HAS SOUS 1848118 HAS SOUPS 1814379 WITH SCORE 1817843.887
AT ITER 289 NEW BEST:: SOT 4169993 SOS 3456487 HAS SOPS 3147272 HAS SOUS 1839145 HAS SOUPS 1805521 WITH SCORE 1808977.487
AT ITER 290 NEW BEST:: SOT 4169993 SOS 3452152 HAS SOPS 3137319 HAS SOUS 1833322 HAS SOUPS 1799705 WITH SCORE 1803157.152
AT ITER 293 NEW BEST:: SOT 4169993 SOS 3444994 HAS SOPS 3128622 HAS SOUS 1831740 HAS SOUPS 1798343 WITH SCORE 1801787.994
AT ITER 294 NEW BEST:: SOT 4162874 SOS 3439792 HAS SOPS 3125240 HAS SOUS 1826515 HAS SOUPS 1793118 WITH SCORE 1796557.792
AT ITER 296 NEW BEST:: SOT 4162770 SOS 3435981 HAS SOPS 3114703 HAS SOUS 1819477 HAS SOUPS 1786146 WITH SCORE 1789581.981
AT ITER 298 NEW BEST:: SOT 4141866 SOS 3415068 HAS SOPS 3093790 HAS SOUS 1798564 HAS SOUPS 1765233 WITH SCORE 1768648.068
AT ITER 299 NEW BEST:: SOT 4134321 SOS 3398609 HAS SOPS 3071499 HAS SOUS 1784895 HAS SOUPS 1751564 WITH SCORE 1754962.609
AT ITER 302 NEW BEST:: SOT 4134254 SOS 3398542 HAS SOPS 3071432 HAS SOUS 1784749 HAS SOUPS 1751497 WITH SCORE 1754895.542
AT ITER 303 NEW BEST:: SOT 4156298 SOS 3413480 HAS SOPS 3093745 HAS SOUS 1777852 HAS SOUPS 1744965 WITH SCORE 1748378.48
AT ITER 304 NEW BEST:: SOT 4156347 SOS 3413260 HAS SOPS 3103266 HAS SOUS 1775532 HAS SOUPS 1742768 WITH SCORE 1746181.26
AT ITER 305 NEW BEST:: SOT 4152260 SOS 3409173 HAS SOPS 3099179 HAS SOUS 1771445 HAS SOUPS 1738681 WITH SCORE 1742090.173
AT ITER 312 NEW BEST:: SOT 4146398 SOS 3403311 HAS SOPS 3093317 HAS SOUS 1765583 HAS SOUPS 1732819 WITH SCORE 1736222.311
AT ITER 313 NEW BEST:: SOT 4146245 SOS 3403158 HAS SOPS 3093164 HAS SOUS 1765430 HAS SOUPS 1732666 WITH SCORE 1736069.158
AT ITER 315 NEW BEST:: SOT 4146158 SOS 3395382 HAS SOPS 3079781 HAS SOUS 1759472 HAS SOUPS 1726708 WITH SCORE 1730103.382
AT ITER 316 NEW BEST:: SOT 4167456 SOS 3412202 HAS SOPS 3101786 HAS SOUS 1745126 HAS SOUPS 1712516 WITH SCORE 1715928.202
AT ITER 318 NEW BEST:: SOT 4167456 SOS 3412202 HAS SOPS 3101582 HAS SOUS 1744873 HAS SOUPS 1712108 WITH SCORE 1715520.202
AT ITER 319 NEW BEST:: SOT 4172298 SOS 3414954 HAS SOPS 3113494 HAS SOUS 1724714 HAS SOUPS 1691996 WITH SCORE 1695410.954
AT ITER 325 NEW BEST:: SOT 4172298 SOS 3414954 HAS SOPS 3113459 HAS SOUS 1724447 HAS SOUPS 1691926 WITH SCORE 1695340.954
AT ITER 328 NEW BEST:: SOT 4171012 SOS 3412854 HAS SOPS 3110052 HAS SOUS 1721812 HAS SOUPS 1689291 WITH SCORE 1692703.854
AT ITER 329 NEW BEST:: SOT 4171026 SOS 3411938 HAS SOPS 3110066 HAS SOUS 1720556 HAS SOUPS 1688057 WITH SCORE 1691468.938
AT ITER 333 NEW BEST:: SOT 4169323 SOS 3410235 HAS SOPS 3108337 HAS SOUS 1718819 HAS SOUPS 1686302 WITH SCORE 1689712.235
AT ITER 334 NEW BEST:: SOT 4163106 SOS 3404060 HAS SOPS 3102120 HAS SOUS 1716760 HAS SOUPS 1684201 WITH SCORE 1687605.06
AT ITER 337 NEW BEST:: SOT 4152934 SOS 3387919 HAS SOPS 3080737 HAS SOUS 1701124 HAS SOUPS 1668565 WITH SCORE 1671952.919
AT ITER 340 NEW BEST:: SOT 4152934 SOS 3385255 HAS SOPS 3074273 HAS SOUS 1697196 HAS SOUPS 1664637 WITH SCORE 1668022.255
AT ITER 341 NEW BEST:: SOT 4152934 SOS 3381789 HAS SOPS 3070022 HAS SOUS 1696325 HAS SOUPS 1663812 WITH SCORE 1667193.789
AT ITER 345 NEW BEST:: SOT 4152934 SOS 3381952 HAS SOPS 3069846 HAS SOUS 1696149 HAS SOUPS 1663297 WITH SCORE 1666678.952
AT ITER 350 NEW BEST:: SOT 4150793 SOS 3379811 HAS SOPS 3067705 HAS SOUS 1694008 HAS SOUPS 1661156 WITH SCORE 1664535.811
AT ITER 351 NEW BEST:: SOT 4150793 SOS 3379957 HAS SOPS 3067827 HAS SOUS 1694130 HAS SOUPS 1661132 WITH SCORE 1664511.957
AT ITER 354 NEW BEST:: SOT 4134509 SOS 3363673 HAS SOPS 3051543 HAS SOUS 1677846 HAS SOUPS 1644848 WITH SCORE 1648211.673
AT ITER 355 NEW BEST:: SOT 4134509 SOS 3362864 HAS SOPS 3049850 HAS SOUS 1676952 HAS SOUPS 1643930 WITH SCORE 1647292.864
AT ITER 357 NEW BEST:: SOT 4134509 SOS 3362864 HAS SOPS 3049803 HAS SOUS 1676858 HAS SOUPS 1643836 WITH SCORE 1647198.864
AT ITER 359 NEW BEST:: SOT 4133886 SOS 3362241 HAS SOPS 3049180 HAS SOUS 1676235 HAS SOUPS 1643213 WITH SCORE 1646575.241
AT ITER 360 NEW BEST:: SOT 4159873 SOS 3368662 HAS SOPS 3060458 HAS SOUS 1660324 HAS SOUPS 1627924 WITH SCORE 1631292.662
AT ITER 362 NEW BEST:: SOT 4185267 SOS 3388087 HAS SOPS 3086004 HAS SOUS 1653791 HAS SOUPS 1621773 WITH SCORE 1625161.087
AT ITER 364 NEW BEST:: SOT 4185267 SOS 3388087 HAS SOPS 3085902 HAS SOUS 1653587 HAS SOUPS 1621569 WITH SCORE 1624957.087
AT ITER 366 NEW BEST:: SOT 4186465 SOS 3389257 HAS SOPS 3087100 HAS SOUS 1652013 HAS SOUPS 1620023 WITH SCORE 1623412.257
AT ITER 369 NEW BEST:: SOT 4202967 SOS 3412553 HAS SOPS 3127440 HAS SOUS 1645573 HAS SOUPS 1613872 WITH SCORE 1617284.553
AT ITER 370 NEW BEST:: SOT 4202967 SOS 3402776 HAS SOPS 3107057 HAS SOUS 1634612 HAS SOUPS 1603014 WITH SCORE 1606416.776
AT ITER 371 NEW BEST:: SOT 4202928 SOS 3402698 HAS SOPS 3106980 HAS SOUS 1634535 HAS SOUPS 1602943 WITH SCORE 1606345.698
AT ITER 375 NEW BEST:: SOT 4202901 SOS 3402671 HAS SOPS 3106953 HAS SOUS 1634481 HAS SOUPS 1602916 WITH SCORE 1606318.671
AT ITER 376 NEW BEST:: SOT 4219621 SOS 3413751 HAS SOPS 3123871 HAS SOUS 1627537 HAS SOUPS 1596269 WITH SCORE 1599682.751
AT ITER 378 NEW BEST:: SOT 4206783 SOS 3388315 HAS SOPS 3095987 HAS SOUS 1577953 HAS SOUPS 1547025 WITH SCORE 1550413.315
AT ITER 379 NEW BEST:: SOT 4206788 SOS 3386570 HAS SOPS 3095992 HAS SOUS 1576108 HAS SOUPS 1545216 WITH SCORE 1548602.57
AT ITER 380 NEW BEST:: SOT 4206788 SOS 3386570 HAS SOPS 3095941 HAS SOUS 1576057 HAS SOUPS 1545114 WITH SCORE 1548500.57
AT ITER 381 NEW BEST:: SOT 4210877 SOS 3372172 HAS SOPS 3071530 HAS SOUS 1541063 HAS SOUPS 1510690 WITH SCORE 1514062.172
AT ITER 382 NEW BEST:: SOT 4213070 SOS 3372790 HAS SOPS 3073762 HAS SOUS 1531109 HAS SOUPS 1500874 WITH SCORE 1504246.79
AT ITER 383 NEW BEST:: SOT 4214143 SOS 3378860 HAS SOPS 3091402 HAS SOUS 1525382 HAS SOUPS 1495334 WITH SCORE 1498712.86
AT ITER 385 NEW BEST:: SOT 4214143 SOS 3376811 HAS SOPS 3084439 HAS SOUS 1520362 HAS SOUPS 1490314 WITH SCORE 1493690.811
AT ITER 389 NEW BEST:: SOT 4214098 SOS 3376766 HAS SOPS 3084394 HAS SOUS 1520317 HAS SOUPS 1490269 WITH SCORE 1493645.766
AT ITER 391 NEW BEST:: SOT 4214034 SOS 3373208 HAS SOPS 3077930 HAS SOUS 1517219 HAS SOUPS 1487171 WITH SCORE 1490544.208
AT ITER 393 NEW BEST:: SOT 4213371 SOS 3372545 HAS SOPS 3077173 HAS SOUS 1516462 HAS SOUPS 1486320 WITH SCORE 1489692.545
AT ITER 396 NEW BEST:: SOT 4194222 SOS 3350086 HAS SOPS 3047980 HAS SOUS 1514836 HAS SOUPS 1484449 WITH SCORE 1487799.086
AT ITER 397 NEW BEST:: SOT 4193098 SOS 3348962 HAS SOPS 3046856 HAS SOUS 1513712 HAS SOUPS 1483325 WITH SCORE 1486673.962
AT ITER 403 NEW BEST:: SOT 4199123 SOS 3353294 HAS SOPS 3052881 HAS SOUS 1506702 HAS SOUPS 1476391 WITH SCORE 1479744.294
AT ITER 406 NEW BEST:: SOT 4206649 SOS 3353041 HAS SOPS 3059638 HAS SOUS 1494983 HAS SOUPS 1464936 WITH SCORE 1468289.041
AT ITER 409 NEW BEST:: SOT 4205083 SOS 3351475 HAS SOPS 3058072 HAS SOUS 1493417 HAS SOUPS 1463370 WITH SCORE 1466721.475
AT ITER 410 NEW BEST:: SOT 4205054 SOS 3351325 HAS SOPS 3057762 HAS SOUS 1493283 HAS SOUPS 1463021 WITH SCORE 1466372.325
AT ITER 411 NEW BEST:: SOT 4205136 SOS 3344596 HAS SOPS 3052592 HAS SOUS 1485820 HAS SOUPS 1455648 WITH SCORE 1458992.596
AT ITER 413 NEW BEST:: SOT 4204966 SOS 3344366 HAS SOPS 3052362 HAS SOUS 1485480 HAS SOUPS 1455478 WITH SCORE 1458822.366
AT ITER 415 NEW BEST:: SOT 4205349 SOS 3341986 HAS SOPS 3051836 HAS SOUS 1477899 HAS SOUPS 1447995 WITH SCORE 1451336.986
AT ITER 419 NEW BEST:: SOT 4205306 SOS 3331064 HAS SOPS 3037435 HAS SOUS 1474249 HAS SOUPS 1444451 WITH SCORE 1447782.064
AT ITER 420 NEW BEST:: SOT 4205306 SOS 3322479 HAS SOPS 3026317 HAS SOUS 1471377 HAS SOUPS 1441789 WITH SCORE 1445111.479
AT ITER 422 NEW BEST:: SOT 4194914 SOS 3312087 HAS SOPS 3015636 HAS SOUS 1460743 HAS SOUPS 1430819 WITH SCORE 1434131.087
AT ITER 423 NEW BEST:: SOT 4194914 SOS 3311907 HAS SOPS 3015393 HAS SOUS 1460734 HAS SOUPS 1430810 WITH SCORE 1434121.907
AT ITER 426 NEW BEST:: SOT 4194914 SOS 3308106 HAS SOPS 3010884 HAS SOUS 1459749 HAS SOUPS 1430230 WITH SCORE 1433538.106
AT ITER 427 NEW BEST:: SOT 4194914 SOS 3308106 HAS SOPS 3010870 HAS SOUS 1459735 HAS SOUPS 1430202 WITH SCORE 1433510.106
AT ITER 428 NEW BEST:: SOT 4195404 SOS 3310694 HAS SOPS 3024040 HAS SOUS 1453589 HAS SOUPS 1424102 WITH SCORE 1427412.694
AT ITER 429 NEW BEST:: SOT 4193215 SOS 3306359 HAS SOPS 3017349 HAS SOUS 1448964 HAS SOUPS 1419510 WITH SCORE 1422816.359
AT ITER 431 NEW BEST:: SOT 4205395 SOS 3315913 HAS SOPS 3036397 HAS SOUS 1429942 HAS SOUPS 1400631 WITH SCORE 1403946.913
AT ITER 433 NEW BEST:: SOT 4216669 SOS 3321679 HAS SOPS 3047368 HAS SOUS 1420215 HAS SOUPS 1391166 WITH SCORE 1394487.679
AT ITER 434 NEW BEST:: SOT 4216669 SOS 3315333 HAS SOPS 3037494 HAS SOUS 1416408 HAS SOUPS 1387565 WITH SCORE 1390880.333
AT ITER 438 NEW BEST:: SOT 4214496 SOS 3313160 HAS SOPS 3035321 HAS SOUS 1414235 HAS SOUPS 1385392 WITH SCORE 1388705.16
AT ITER 440 NEW BEST:: SOT 4218061 SOS 3309040 HAS SOPS 3044675 HAS SOUS 1398220 HAS SOUPS 1369709 WITH SCORE 1373018.04
AT ITER 441 NEW BEST:: SOT 4213588 SOS 3304567 HAS SOPS 3040202 HAS SOUS 1393747 HAS SOUPS 1365236 WITH SCORE 1368540.567
AT ITER 443 NEW BEST:: SOT 4198041 SOS 3289550 HAS SOPS 3024655 HAS SOUS 1392970 HAS SOUPS 1364306 WITH SCORE 1367595.55
AT ITER 446 NEW BEST:: SOT 4197941 SOS 3289450 HAS SOPS 3024556 HAS SOUS 1392871 HAS SOUPS 1364208 WITH SCORE 1367497.45
AT ITER 451 NEW BEST:: SOT 4197941 SOS 3280430 HAS SOPS 3012161 HAS SOUS 1389248 HAS SOUPS 1360714 WITH SCORE 1363994.43
AT ITER 452 NEW BEST:: SOT 4216880 SOS 3298629 HAS SOPS 3031100 HAS SOUS 1387827 HAS SOUPS 1359504 WITH SCORE 1362802.629
AT ITER 455 NEW BEST:: SOT 4211038 SOS 3292787 HAS SOPS 3025258 HAS SOUS 1381985 HAS SOUPS 1353662 WITH SCORE 1356954.787
AT ITER 458 NEW BEST:: SOT 4211038 SOS 3290182 HAS SOPS 3021420 HAS SOUS 1380676 HAS SOUPS 1352353 WITH SCORE 1355643.182
AT ITER 460 NEW BEST:: SOT 4201976 SOS 3276622 HAS SOPS 3005490 HAS SOUS 1369040 HAS SOUPS 1340785 WITH SCORE 1344061.622
AT ITER 462 NEW BEST:: SOT 4201596 SOS 3276242 HAS SOPS 3005165 HAS SOUS 1368761 HAS SOUPS 1340515 WITH SCORE 1343791.242
AT ITER 464 NEW BEST:: SOT 4202866 SOS 3277318 HAS SOPS 3006460 HAS SOUS 1367750 HAS SOUPS 1339554 WITH SCORE 1342831.318
AT ITER 467 NEW BEST:: SOT 4202866 SOS 3277225 HAS SOPS 3006367 HAS SOUS 1367657 HAS SOUPS 1339461 WITH SCORE 1342738.225
AT ITER 473 NEW BEST:: SOT 4204675 SOS 3273730 HAS SOPS 3002419 HAS SOUS 1354199 HAS SOUPS 1326150 WITH SCORE 1329423.73
AT ITER 474 NEW BEST:: SOT 4204989 SOS 3275962 HAS SOPS 3011419 HAS SOUS 1347453 HAS SOUPS 1319544 WITH SCORE 1322819.962
AT ITER 475 NEW BEST:: SOT 4204798 SOS 3271953 HAS SOPS 3009410 HAS SOUS 1338020 HAS SOUPS 1310130 WITH SCORE 1313401.953
AT ITER 478 NEW BEST:: SOT 4206610 SOS 3272110 HAS SOPS 3008122 HAS SOUS 1332425 HAS SOUPS 1304594 WITH SCORE 1307866.11
AT ITER 480 NEW BEST:: SOT 4206610 SOS 3270346 HAS SOPS 3005496 HAS SOUS 1331476 HAS SOUPS 1303680 WITH SCORE 1306950.346
AT ITER 483 NEW BEST:: SOT 4206610 SOS 3268925 HAS SOPS 3003796 HAS SOUS 1331163 HAS SOUPS 1303367 WITH SCORE 1306635.925
AT ITER 485 NEW BEST:: SOT 4202658 SOS 3257999 HAS SOPS 2989944 HAS SOUS 1324003 HAS SOUPS 1296390 WITH SCORE 1299647.999
AT ITER 486 NEW BEST:: SOT 4214742 SOS 3265510 HAS SOPS 3002249 HAS SOUS 1313656 HAS SOUPS 1286317 WITH SCORE 1289582.51
AT ITER 487 NEW BEST:: SOT 4214742 SOS 3261862 HAS SOPS 2997163 HAS SOUS 1312118 HAS SOUPS 1284779 WITH SCORE 1288040.862
AT ITER 489 NEW BEST:: SOT 4216557 SOS 3266331 HAS SOPS 3015603 HAS SOUS 1305734 HAS SOUPS 1278620 WITH SCORE 1281886.331
AT ITER 491 NEW BEST:: SOT 4217312 SOS 3245523 HAS SOPS 2999626 HAS SOUS 1288681 HAS SOUPS 1261792 WITH SCORE 1265037.523
AT ITER 492 NEW BEST:: SOT 4210540 SOS 3238751 HAS SOPS 2992780 HAS SOUS 1281757 HAS SOUPS 1254872 WITH SCORE 1258110.751
AT ITER 493 NEW BEST:: SOT 4210540 SOS 3238711 HAS SOPS 2992740 HAS SOUS 1281717 HAS SOUPS 1254832 WITH SCORE 1258070.711
AT ITER 494 NEW BEST:: SOT 4204767 SOS 3230803 HAS SOPS 2988001 HAS SOUS 1247469 HAS SOUPS 1220900 WITH SCORE 1224130.803
AT ITER 495 NEW BEST:: SOT 4204411 SOS 3230447 HAS SOPS 2987507 HAS SOUS 1246837 HAS SOUPS 1220268 WITH SCORE 1223498.447
AT ITER 501 NEW BEST:: SOT 4204411 SOS 3230447 HAS SOPS 2987438 HAS SOUS 1246669 HAS SOUPS 1220130 WITH SCORE 1223360.447
AT ITER 508 NEW BEST:: SOT 4192009 SOS 3218045 HAS SOPS 2975036 HAS SOUS 1234143 HAS SOUPS 1207728 WITH SCORE 1210946.045
AT ITER 509 NEW BEST:: SOT 4222419 SOS 3241971 HAS SOPS 3006317 HAS SOUS 1228804 HAS SOUPS 1202863 WITH SCORE 1206104.971
AT ITER 512 NEW BEST:: SOT 4222419 SOS 3242020 HAS SOPS 3006317 HAS SOUS 1228804 HAS SOUPS 1202814 WITH SCORE 1206056.02
AT ITER 513 NEW BEST:: SOT 4215051 SOS 3234698 HAS SOPS 2998949 HAS SOUS 1225990 HAS SOUPS 1199954 WITH SCORE 1203188.698
AT ITER 518 NEW BEST:: SOT 4215051 SOS 3234698 HAS SOPS 2998915 HAS SOUS 1225922 HAS SOUPS 1199886 WITH SCORE 1203120.698
AT ITER 520 NEW BEST:: SOT 4215051 SOS 3234698 HAS SOPS 2998878 HAS SOUS 1225885 HAS SOUPS 1199849 WITH SCORE 1203083.698
AT ITER 521 NEW BEST:: SOT 4219966 SOS 3236492 HAS SOPS 3003902 HAS SOUS 1208839 HAS SOUPS 1183056 WITH SCORE 1186292.492
AT ITER 527 NEW BEST:: SOT 4210028 SOS 3226554 HAS SOPS 2994289 HAS SOUS 1199226 HAS SOUPS 1173768 WITH SCORE 1176994.554
AT ITER 528 NEW BEST:: SOT 4202368 SOS 3218894 HAS SOPS 2986555 HAS SOUS 1191492 HAS SOUPS 1165960 WITH SCORE 1169178.894
AT ITER 529 NEW BEST:: SOT 4193236 SOS 3209762 HAS SOPS 2977324 HAS SOUS 1182162 HAS SOUPS 1156630 WITH SCORE 1159839.762
AT ITER 532 NEW BEST:: SOT 4195972 SOS 3218374 HAS SOPS 2995668 HAS SOUS 1179393 HAS SOUPS 1154016 WITH SCORE 1157234.374
AT ITER 538 NEW BEST:: SOT 4191225 SOS 3213526 HAS SOPS 2990820 HAS SOUS 1174545 HAS SOUPS 1149168 WITH SCORE 1152381.526
AT ITER 539 NEW BEST:: SOT 4182821 SOS 3201391 HAS SOPS 2974491 HAS SOUS 1161744 HAS SOUPS 1136367 WITH SCORE 1139568.391
AT ITER 541 NEW BEST:: SOT 4179094 SOS 3177101 HAS SOPS 2946322 HAS SOUS 1121733 HAS SOUPS 1096597 WITH SCORE 1099774.101
AT ITER 547 NEW BEST:: SOT 4196015 SOS 3192746 HAS SOPS 2963434 HAS SOUS 1121021 HAS SOUPS 1096267 WITH SCORE 1099459.746
AT ITER 554 NEW BEST:: SOT 4189503 SOS 3183759 HAS SOPS 2952955 HAS SOUS 1112898 HAS SOUPS 1088157 WITH SCORE 1091340.759
AT ITER 558 NEW BEST:: SOT 4189503 SOS 3180721 HAS SOPS 2949047 HAS SOUS 1111920 HAS SOUPS 1087166 WITH SCORE 1090346.721
AT ITER 563 NEW BEST:: SOT 4196771 SOS 3181117 HAS SOPS 2956456 HAS SOUS 1096970 HAS SOUPS 1072581 WITH SCORE 1075762.117
AT ITER 564 NEW BEST:: SOT 4196894 SOS 3181240 HAS SOPS 2956456 HAS SOUS 1097023 HAS SOUPS 1072458 WITH SCORE 1075639.24
AT ITER 565 NEW BEST:: SOT 4206983 SOS 3191080 HAS SOPS 2966574 HAS SOUS 1094419 HAS SOUPS 1069984 WITH SCORE 1073175.08
AT ITER 570 NEW BEST:: SOT 4206790 SOS 3188238 HAS SOPS 2963466 HAS SOUS 1093972 HAS SOUPS 1069631 WITH SCORE 1072819.238
AT ITER 572 NEW BEST:: SOT 4226162 SOS 3200537 HAS SOPS 2979101 HAS SOUS 1084906 HAS SOUPS 1060882 WITH SCORE 1064082.537
AT ITER 578 NEW BEST:: SOT 4202867 SOS 3172435 HAS SOPS 2945654 HAS SOUS 1083115 HAS SOUPS 1058819 WITH SCORE 1061991.435
AT ITER 579 NEW BEST:: SOT 4199954 SOS 3169522 HAS SOPS 2942741 HAS SOUS 1080202 HAS SOUPS 1055906 WITH SCORE 1059075.522
AT ITER 580 NEW BEST:: SOT 4199954 SOS 3158970 HAS SOPS 2926297 HAS SOUS 1074195 HAS SOUPS 1049899 WITH SCORE 1053057.97
AT ITER 583 NEW BEST:: SOT 4198150 SOS 3157166 HAS SOPS 2924434 HAS SOUS 1072332 HAS SOUPS 1047977 WITH SCORE 1051134.166
AT ITER 588 NEW BEST:: SOT 4198150 SOS 3156765 HAS SOPS 2923812 HAS SOUS 1072184 HAS SOUPS 1047728 WITH SCORE 1050884.765
AT ITER 591 NEW BEST:: SOT 4198150 SOS 3155558 HAS SOPS 2923791 HAS SOUS 1071270 HAS SOUPS 1046835 WITH SCORE 1049990.558
AT ITER 596 NEW BEST:: SOT 4198150 SOS 3153468 HAS SOPS 2921254 HAS SOUS 1070778 HAS SOUPS 1046403 WITH SCORE 1049556.468
AT ITER 597 NEW BEST:: SOT 4198221 SOS 3151885 HAS SOPS 2914627 HAS SOUS 1065826 HAS SOUPS 1041266 WITH SCORE 1044417.885
AT ITER 604 NEW BEST:: SOT 4198206 SOS 3134030 HAS SOPS 2888596 HAS SOUS 1057289 HAS SOUPS 1032729 WITH SCORE 1035863.03
AT ITER 607 NEW BEST:: SOT 4198206 SOS 3126028 HAS SOPS 2879489 HAS SOUS 1055925 HAS SOUPS 1031556 WITH SCORE 1034682.028
AT ITER 608 NEW BEST:: SOT 4198158 SOS 3125842 HAS SOPS 2879204 HAS SOUS 1055653 HAS SOUPS 1031310 WITH SCORE 1034435.842
AT ITER 609 NEW BEST:: SOT 4205428 SOS 3132372 HAS SOPS 2886474 HAS SOUS 1054763 HAS SOUPS 1030509 WITH SCORE 1033641.372
AT ITER 611 NEW BEST:: SOT 4201323 SOS 3121560 HAS SOPS 2870369 HAS SOUS 1045125 HAS SOUPS 1020871 WITH SCORE 1023992.56
AT ITER 613 NEW BEST:: SOT 4193014 SOS 3113690 HAS SOPS 2862043 HAS SOUS 1044643 HAS SOUPS 1020306 WITH SCORE 1023419.69
AT ITER 620 NEW BEST:: SOT 4194298 SOS 3093014 HAS SOPS 2843207 HAS SOUS 1026465 HAS SOUPS 1002518 WITH SCORE 1005611.014
AT ITER 627 NEW BEST:: SOT 4194298 SOS 3089490 HAS SOPS 2838561 HAS SOUS 1025251 HAS SOUPS 1001304 WITH SCORE 1004393.49
AT ITER 631 NEW BEST:: SOT 4194197 SOS 3078196 HAS SOPS 2825455 HAS SOUS 1023040 HAS SOUPS 999120 WITH SCORE 1002198.196
AT ITER 635 NEW BEST:: SOT 4197714 SOS 3079087 HAS SOPS 2828980 HAS SOUS 1017999 HAS SOUPS 994191 WITH SCORE 997270.087
AT ITER 637 NEW BEST:: SOT 4197714 SOS 3078198 HAS SOPS 2830661 HAS SOUS 1017003 HAS SOUPS 993231 WITH SCORE 996309.198
AT ITER 639 NEW BEST:: SOT 4197351 SOS 3077835 HAS SOPS 2830272 HAS SOUS 1016588 HAS SOUPS 992816 WITH SCORE 995893.835
AT ITER 647 NEW BEST:: SOT 4195879 SOS 3074740 HAS SOPS 2827211 HAS SOUS 1015114 HAS SOUPS 991546 WITH SCORE 994620.74
AT ITER 654 NEW BEST:: SOT 4194933 SOS 3073786 HAS SOPS 2826257 HAS SOUS 1014203 HAS SOUPS 990592 WITH SCORE 993665.786
AT ITER 655 NEW BEST:: SOT 4194933 SOS 3073786 HAS SOPS 2826233 HAS SOUS 1014155 HAS SOUPS 990544 WITH SCORE 993617.786
AT ITER 660 NEW BEST:: SOT 4194933 SOS 3073897 HAS SOPS 2826163 HAS SOUS 1013985 HAS SOUPS 990318 WITH SCORE 993391.897
AT ITER 663 NEW BEST:: SOT 4194933 SOS 3070427 HAS SOPS 2821867 HAS SOUS 1013129 HAS SOUPS 989406 WITH SCORE 992476.427
AT ITER 664 NEW BEST:: SOT 4194933 SOS 3070371 HAS SOPS 2821667 HAS SOUS 1012981 HAS SOUPS 989258 WITH SCORE 992328.371
AT ITER 669 NEW BEST:: SOT 4195116 SOS 3065112 HAS SOPS 2820766 HAS SOUS 1005800 HAS SOUPS 982194 WITH SCORE 985259.112
AT ITER 680 NEW BEST:: SOT 4195116 SOS 3064529 HAS SOPS 2820057 HAS SOUS 1005660 HAS SOUPS 982054 WITH SCORE 985118.529
AT ITER 682 NEW BEST:: SOT 4194324 SOS 3063737 HAS SOPS 2819265 HAS SOUS 1004868 HAS SOUPS 981262 WITH SCORE 984325.737
AT ITER 683 NEW BEST:: SOT 4204130 SOS 3070863 HAS SOPS 2829071 HAS SOUS 992854 HAS SOUPS 969493 WITH SCORE 972563.863
AT ITER 687 NEW BEST:: SOT 4204130 SOS 3070822 HAS SOPS 2828961 HAS SOUS 992645 HAS SOUPS 969355 WITH SCORE 972425.822
AT ITER 690 NEW BEST:: SOT 4196301 SOS 3055690 HAS SOPS 2812042 HAS SOUS 982849 HAS SOUPS 959559 WITH SCORE 962614.69
AT ITER 696 NEW BEST:: SOT 4196218 SOS 3051301 HAS SOPS 2803172 HAS SOUS 977993 HAS SOUPS 954821 WITH SCORE 957872.301
AT ITER 701 NEW BEST:: SOT 4193694 SOS 3040915 HAS SOPS 2790748 HAS SOUS 973233 HAS SOUPS 950061 WITH SCORE 953101.915
AT ITER 703 NEW BEST:: SOT 4193694 SOS 3038173 HAS SOPS 2787213 HAS SOUS 972370 HAS SOUPS 949198 WITH SCORE 952236.173
AT ITER 707 NEW BEST:: SOT 4193694 SOS 3036909 HAS SOPS 2785889 HAS SOUS 972282 HAS SOUPS 949155 WITH SCORE 952191.909
AT ITER 711 NEW BEST:: SOT 4193857 SOS 3036755 HAS SOPS 2793100 HAS SOUS 967050 HAS SOUPS 944052 WITH SCORE 947088.755
AT ITER 713 NEW BEST:: SOT 4193857 SOS 3035450 HAS SOPS 2791714 HAS SOUS 966955 HAS SOUPS 943957 WITH SCORE 946992.45
AT ITER 715 NEW BEST:: SOT 4207238 SOS 3048289 HAS SOPS 2805095 HAS SOUS 965326 HAS SOUPS 942436 WITH SCORE 945484.289
AT ITER 716 NEW BEST:: SOT 4207238 SOS 3039682 HAS SOPS 2795192 HAS SOUS 963933 HAS SOUPS 941043 WITH SCORE 944082.682
AT ITER 719 NEW BEST:: SOT 4207238 SOS 3039230 HAS SOPS 2794592 HAS SOUS 963773 HAS SOUPS 940883 WITH SCORE 943922.23
AT ITER 720 NEW BEST:: SOT 4215639 SOS 3046266 HAS SOPS 2818005 HAS SOUS 949247 HAS SOUPS 926753 WITH SCORE 929799.266
AT ITER 737 NEW BEST:: SOT 4215639 SOS 3040970 HAS SOPS 2811605 HAS SOUS 948015 HAS SOUPS 925521 WITH SCORE 928561.97
AT ITER 738 NEW BEST:: SOT 4216015 SOS 3041014 HAS SOPS 2811981 HAS SOUS 946623 HAS SOUPS 924150 WITH SCORE 927191.014
AT ITER 739 NEW BEST:: SOT 4215155 SOS 3040154 HAS SOPS 2811121 HAS SOUS 945763 HAS SOUPS 923290 WITH SCORE 926330.154
AT ITER 742 NEW BEST:: SOT 4212521 SOS 3039371 HAS SOPS 2811012 HAS SOUS 943433 HAS SOUPS 921380 WITH SCORE 924419.371
AT ITER 745 NEW BEST:: SOT 4213566 SOS 3039932 HAS SOPS 2817449 HAS SOUS 939399 HAS SOUPS 917457 WITH SCORE 920496.932
AT ITER 746 NEW BEST:: SOT 4217435 SOS 3041137 HAS SOPS 2821380 HAS SOUS 933094 HAS SOUPS 911343 WITH SCORE 914384.137
AT ITER 759 NEW BEST:: SOT 4214880 SOS 3033159 HAS SOPS 2811925 HAS SOUS 929134 HAS SOUPS 907173 WITH SCORE 910206.159
AT ITER 761 NEW BEST:: SOT 4213813 SOS 3018701 HAS SOPS 2794521 HAS SOUS 924936 HAS SOUPS 903105 WITH SCORE 906123.701
AT ITER 765 NEW BEST:: SOT 4213701 SOS 3018477 HAS SOPS 2794198 HAS SOUS 924613 HAS SOUPS 902795 WITH SCORE 905813.477
AT ITER 766 NEW BEST:: SOT 4213701 SOS 3019064 HAS SOPS 2794728 HAS SOUS 924568 HAS SOUPS 902674 WITH SCORE 905693.064
AT ITER 772 NEW BEST:: SOT 4213619 SOS 3013617 HAS SOPS 2786543 HAS SOUS 921586 HAS SOUPS 899770 WITH SCORE 902783.617
AT ITER 776 NEW BEST:: SOT 4207661 SOS 3007763 HAS SOPS 2780465 HAS SOUS 921344 HAS SOUPS 899468 WITH SCORE 902475.763
AT ITER 777 NEW BEST:: SOT 4206424 SOS 3006526 HAS SOPS 2779228 HAS SOUS 920107 HAS SOUPS 898231 WITH SCORE 901237.526
AT ITER 780 NEW BEST:: SOT 4206424 SOS 3000872 HAS SOPS 2772436 HAS SOUS 918728 HAS SOUPS 896841 WITH SCORE 899841.872
AT ITER 784 NEW BEST:: SOT 4204851 SOS 2999299 HAS SOPS 2770863 HAS SOUS 917155 HAS SOUPS 895268 WITH SCORE 898267.299
AT ITER 800 NEW BEST:: SOT 4204147 SOS 2998595 HAS SOPS 2770169 HAS SOUS 916461 HAS SOUPS 894584 WITH SCORE 897582.595
AT ITER 802 NEW BEST:: SOT 4205677 SOS 2976475 HAS SOPS 2742304 HAS SOUS 911670 HAS SOUPS 889790 WITH SCORE 892766.475
AT ITER 806 NEW BEST:: SOT 4205677 SOS 2975133 HAS SOPS 2742304 HAS SOUS 910537 HAS SOUPS 888657 WITH SCORE 891632.133
AT ITER 807 NEW BEST:: SOT 4205674 SOS 2965908 HAS SOPS 2729834 HAS SOUS 907041 HAS SOUPS 885218 WITH SCORE 888183.908
AT ITER 820 NEW BEST:: SOT 4205787 SOS 2965565 HAS SOPS 2735805 HAS SOUS 902684 HAS SOUPS 880970 WITH SCORE 883935.565
AT ITER 821 NEW BEST:: SOT 4201853 SOS 2961836 HAS SOPS 2731871 HAS SOUS 902445 HAS SOUPS 880692 WITH SCORE 883653.836
AT ITER 824 NEW BEST:: SOT 4201541 SOS 2945225 HAS SOPS 2713278 HAS SOUS 899789 HAS SOUPS 878036 WITH SCORE 880981.225
AT ITER 826 NEW BEST:: SOT 4195748 SOS 2939556 HAS SOPS 2707438 HAS SOUS 898481 HAS SOUPS 876678 WITH SCORE 879617.556
AT ITER 829 NEW BEST:: SOT 4195748 SOS 2939202 HAS SOPS 2707047 HAS SOUS 898423 HAS SOUPS 876646 WITH SCORE 879585.202
AT ITER 831 NEW BEST:: SOT 4202624 SOS 2944306 HAS SOPS 2713923 HAS SOUS 895871 HAS SOUPS 874206 WITH SCORE 877150.306
AT ITER 832 NEW BEST:: SOT 4202624 SOS 2943886 HAS SOPS 2713423 HAS SOUS 895846 HAS SOUPS 874116 WITH SCORE 877059.886
AT ITER 834 NEW BEST:: SOT 4218998 SOS 2960105 HAS SOPS 2733497 HAS SOUS 892849 HAS SOUPS 871352 WITH SCORE 874312.105
AT ITER 844 NEW BEST:: SOT 4218998 SOS 2956473 HAS SOPS 2728750 HAS SOUS 892356 HAS SOUPS 870736 WITH SCORE 873692.473
AT ITER 845 NEW BEST:: SOT 4219052 SOS 2955404 HAS SOPS 2728804 HAS SOUS 890860 HAS SOUPS 869240 WITH SCORE 872195.404
AT ITER 851 NEW BEST:: SOT 4221707 SOS 2940106 HAS SOPS 2723823 HAS SOUS 874418 HAS SOUPS 853093 WITH SCORE 856033.106
AT ITER 855 NEW BEST:: SOT 4221785 SOS 2940186 HAS SOPS 2723703 HAS SOUS 874298 HAS SOUPS 852773 WITH SCORE 855713.186
AT ITER 858 NEW BEST:: SOT 4221404 SOS 2939805 HAS SOPS 2723322 HAS SOUS 873917 HAS SOUPS 852392 WITH SCORE 855331.805
AT ITER 867 NEW BEST:: SOT 4227266 SOS 2937844 HAS SOPS 2729533 HAS SOUS 864967 HAS SOUPS 843674 WITH SCORE 846611.844
AT ITER 870 NEW BEST:: SOT 4227266 SOS 2938452 HAS SOPS 2737411 HAS SOUS 863087 HAS SOUPS 841794 WITH SCORE 844732.452
AT ITER 872 NEW BEST:: SOT 4235023 SOS 2945666 HAS SOPS 2745264 HAS SOUS 858783 HAS SOUPS 837713 WITH SCORE 840658.666
AT ITER 895 NEW BEST:: SOT 4232613 SOS 2943397 HAS SOPS 2742854 HAS SOUS 858732 HAS SOUPS 837637 WITH SCORE 840580.397
AT ITER 908 NEW BEST:: SOT 4232821 SOS 2941604 HAS SOPS 2743122 HAS SOUS 855001 HAS SOUPS 833966 WITH SCORE 836907.604
AT ITER 911 NEW BEST:: SOT 4232821 SOS 2939550 HAS SOPS 2738173 HAS SOUS 852057 HAS SOUPS 831022 WITH SCORE 833961.55
AT ITER 923 NEW BEST:: SOT 4222234 SOS 2926297 HAS SOPS 2718686 HAS SOUS 843958 HAS SOUPS 822834 WITH SCORE 825760.297
AT ITER 929 NEW BEST:: SOT 4222234 SOS 2926273 HAS SOPS 2718638 HAS SOUS 843910 HAS SOUPS 822786 WITH SCORE 825712.273
AT ITER 931 NEW BEST:: SOT 4222197 SOS 2926236 HAS SOPS 2718601 HAS SOUS 843873 HAS SOUPS 822749 WITH SCORE 825675.236
AT ITER 940 NEW BEST:: SOT 4222197 SOS 2926236 HAS SOPS 2718566 HAS SOUS 843873 HAS SOUPS 822679 WITH SCORE 825605.236
AT ITER 943 NEW BEST:: SOT 4214503 SOS 2918768 HAS SOPS 2710813 HAS SOUS 841794 HAS SOUPS 820482 WITH SCORE 823400.768
AT ITER 946 NEW BEST:: SOT 4213462 SOS 2917727 HAS SOPS 2709772 HAS SOUS 840753 HAS SOUPS 819441 WITH SCORE 822358.727
AT ITER 947 NEW BEST:: SOT 4212970 SOS 2917121 HAS SOPS 2708680 HAS SOUS 839763 HAS SOUPS 818451 WITH SCORE 821368.121
AT ITER 951 NEW BEST:: SOT 4212823 SOS 2916758 HAS SOPS 2708346 HAS SOUS 839525 HAS SOUPS 818279 WITH SCORE 821195.758
AT ITER 955 NEW BEST:: SOT 4212877 SOS 2905121 HAS SOPS 2706202 HAS SOUS 833542 HAS SOUPS 812522 WITH SCORE 815427.121
AT ITER 960 NEW BEST:: SOT 4212766 SOS 2904817 HAS SOPS 2705723 HAS SOUS 833050 HAS SOUPS 812061 WITH SCORE 814965.817
AT ITER 964 NEW BEST:: SOT 4211797 SOS 2904668 HAS SOPS 2705754 HAS SOUS 832281 HAS SOUPS 811292 WITH SCORE 814196.668
AT ITER 970 NEW BEST:: SOT 4209527 SOS 2902398 HAS SOPS 2703484 HAS SOUS 830011 HAS SOUPS 809022 WITH SCORE 811924.398
AT ITER 972 NEW BEST:: SOT 4209522 SOS 2902393 HAS SOPS 2703474 HAS SOUS 829996 HAS SOUPS 809007 WITH SCORE 811909.393
AT ITER 973 NEW BEST:: SOT 4210734 SOS 2903430 HAS SOPS 2704686 HAS SOUS 829783 HAS SOUPS 808810 WITH SCORE 811713.43
AT ITER 974 NEW BEST:: SOT 4219407 SOS 2916344 HAS SOPS 2722461 HAS SOUS 825499 HAS SOUPS 804617 WITH SCORE 807533.344
AT ITER 975 NEW BEST:: SOT 4219461 SOS 2916512 HAS SOPS 2722717 HAS SOUS 825447 HAS SOUPS 804565 WITH SCORE 807481.512
AT ITER 985 NEW BEST:: SOT 4219461 SOS 2916512 HAS SOPS 2722699 HAS SOUS 825429 HAS SOUPS 804529 WITH SCORE 807445.512
AT ITER 992 NEW BEST:: SOT 4219461 SOS 2916512 HAS SOPS 2722692 HAS SOUS 825422 HAS SOUPS 804515 WITH SCORE 807431.512
AT ITER 993 NEW BEST:: SOT 4229550 SOS 2902329 HAS SOPS 2719668 HAS SOUS 811698 HAS SOUPS 791189 WITH SCORE 794091.329
AT ITER 997 NEW BEST:: SOT 4229550 SOS 2901499 HAS SOPS 2718759 HAS SOUS 811601 HAS SOUPS 791092 WITH SCORE 793993.499
AT ITER 1000 NEW BEST:: SOT 4228285 SOS 2901998 HAS SOPS 2719294 HAS SOUS 810408 HAS SOUPS 789899 WITH SCORE 792800.998
AT ITER 1003 NEW BEST:: SOT 4225557 SOS 2913418 HAS SOPS 2732137 HAS SOUS 809341 HAS SOUPS 788738 WITH SCORE 791651.418
AT ITER 1009 NEW BEST:: SOT 4225557 SOS 2909555 HAS SOPS 2727748 HAS SOUS 808822 HAS SOUPS 788245 WITH SCORE 791154.555
AT ITER 1018 NEW BEST:: SOT 4225641 SOS 2903462 HAS SOPS 2719752 HAS SOUS 806843 HAS SOUPS 786266 WITH SCORE 789169.462
AT ITER 1023 NEW BEST:: SOT 4225271 SOS 2893623 HAS SOPS 2705444 HAS SOUS 801728 HAS SOUPS 781151 WITH SCORE 784044.623
AT ITER 1030 NEW BEST:: SOT 4224731 SOS 2893083 HAS SOPS 2704904 HAS SOUS 801188 HAS SOUPS 780611 WITH SCORE 783504.083
AT ITER 1035 NEW BEST:: SOT 4231213 SOS 2898257 HAS SOPS 2711386 HAS SOUS 799178 HAS SOUPS 778699 WITH SCORE 781597.257
AT ITER 1036 NEW BEST:: SOT 4231207 SOS 2898251 HAS SOPS 2711357 HAS SOUS 799149 HAS SOUPS 778647 WITH SCORE 781545.251
AT ITER 1040 NEW BEST:: SOT 4230472 SOS 2897516 HAS SOPS 2710622 HAS SOUS 798414 HAS SOUPS 777912 WITH SCORE 780809.516
AT ITER 1042 NEW BEST:: SOT 4235334 SOS 2900522 HAS SOPS 2715622 HAS SOUS 789970 HAS SOUPS 769759 WITH SCORE 772659.522
AT ITER 1043 NEW BEST:: SOT 4235334 SOS 2896109 HAS SOPS 2710673 HAS SOUS 789336 HAS SOUPS 769125 WITH SCORE 772021.109
AT ITER 1047 NEW BEST:: SOT 4250642 SOS 2925127 HAS SOPS 2754059 HAS SOUS 783928 HAS SOUPS 763717 WITH SCORE 766642.127
AT ITER 1053 NEW BEST:: SOT 4253572 SOS 2927904 HAS SOPS 2756989 HAS SOUS 782411 HAS SOUPS 762246 WITH SCORE 765173.904
AT ITER 1057 NEW BEST:: SOT 4253572 SOS 2927409 HAS SOPS 2756494 HAS SOUS 782406 HAS SOUPS 762241 WITH SCORE 765168.409
AT ITER 1060 NEW BEST:: SOT 4253572 SOS 2927409 HAS SOPS 2756466 HAS SOUS 782378 HAS SOUPS 762213 WITH SCORE 765140.409
AT ITER 1061 NEW BEST:: SOT 4273373 SOS 2945262 HAS SOPS 2776368 HAS SOUS 782030 HAS SOUPS 762087 WITH SCORE 765032.262
AT ITER 1066 NEW BEST:: SOT 4272600 SOS 2944512 HAS SOPS 2775589 HAS SOUS 781822 HAS SOUPS 761873 WITH SCORE 764817.512
AT ITER 1073 NEW BEST:: SOT 4272600 SOS 2939026 HAS SOPS 2766010 HAS SOUS 777603 HAS SOUPS 757654 WITH SCORE 760593.026
AT ITER 1077 NEW BEST:: SOT 4272600 SOS 2936182 HAS SOPS 2763121 HAS SOUS 777412 HAS SOUPS 757492 WITH SCORE 760428.182
AT ITER 1078 NEW BEST:: SOT 4272322 SOS 2929762 HAS SOPS 2762035 HAS SOUS 770922 HAS SOUPS 751048 WITH SCORE 753977.762
AT ITER 1084 NEW BEST:: SOT 4272428 SOS 2929207 HAS SOPS 2762141 HAS SOUS 769689 HAS SOUPS 749835 WITH SCORE 752764.207
AT ITER 1090 NEW BEST:: SOT 4272289 SOS 2929068 HAS SOPS 2762002 HAS SOUS 769550 HAS SOUPS 749696 WITH SCORE 752625.068
AT ITER 1100 NEW BEST:: SOT 4272289 SOS 2929028 HAS SOPS 2761962 HAS SOUS 769510 HAS SOUPS 749696 WITH SCORE 752625.028
AT ITER 1109 NEW BEST:: SOT 4272289 SOS 2926181 HAS SOPS 2758875 HAS SOUS 769210 HAS SOUPS 749396 WITH SCORE 752322.181
AT ITER 1111 NEW BEST:: SOT 4278407 SOS 2931257 HAS SOPS 2765023 HAS SOUS 763800 HAS SOUPS 744142 WITH SCORE 747073.257
AT ITER 1124 NEW BEST:: SOT 4278407 SOS 2931257 HAS SOPS 2765016 HAS SOUS 763793 HAS SOUPS 744128 WITH SCORE 747059.257
AT ITER 1135 NEW BEST:: SOT 4275123 SOS 2928234 HAS SOPS 2761719 HAS SOUS 763622 HAS SOUPS 743923 WITH SCORE 746851.234
AT ITER 1138 NEW BEST:: SOT 4290053 SOS 2954149 HAS SOPS 2800277 HAS SOUS 756247 HAS SOUPS 736912 WITH SCORE 739866.149
AT ITER 1140 NEW BEST:: SOT 4289737 SOS 2953833 HAS SOPS 2799961 HAS SOUS 755986 HAS SOUPS 736596 WITH SCORE 739549.833
AT ITER 1144 NEW BEST:: SOT 4287429 SOS 2942340 HAS SOPS 2786936 HAS SOUS 751962 HAS SOUPS 732533 WITH SCORE 735475.34
AT ITER 1149 NEW BEST:: SOT 4287429 SOS 2926583 HAS SOPS 2769225 HAS SOUS 749652 HAS SOUPS 730401 WITH SCORE 733327.583
AT ITER 1151 NEW BEST:: SOT 4286969 SOS 2926123 HAS SOPS 2768851 HAS SOUS 749278 HAS SOUPS 730113 WITH SCORE 733039.123
AT ITER 1156 NEW BEST:: SOT 4286971 SOS 2926125 HAS SOPS 2768851 HAS SOUS 749278 HAS SOUPS 730111 WITH SCORE 733037.125
AT ITER 1167 NEW BEST:: SOT 4286971 SOS 2920949 HAS SOPS 2763564 HAS SOUS 749091 HAS SOUPS 729937 WITH SCORE 732857.949
AT ITER 1180 NEW BEST:: SOT 4288685 SOS 2910710 HAS SOPS 2760127 HAS SOUS 736205 HAS SOUPS 717264 WITH SCORE 720174.71
AT ITER 1187 NEW BEST:: SOT 4288665 SOS 2910690 HAS SOPS 2760107 HAS SOUS 736185 HAS SOUPS 717244 WITH SCORE 720154.69
AT ITER 1191 NEW BEST:: SOT 4288665 SOS 2910880 HAS SOPS 2760233 HAS SOUS 736125 HAS SOUPS 717108 WITH SCORE 720018.88
AT ITER 1195 NEW BEST:: SOT 4288665 SOS 2902049 HAS SOPS 2750271 HAS SOUS 734734 HAS SOUPS 715717 WITH SCORE 718619.049
AT ITER 1200 NEW BEST:: SOT 4281310 SOS 2894747 HAS SOPS 2742911 HAS SOUS 731721 HAS SOUPS 712655 WITH SCORE 715549.747
AT ITER 1201 NEW BEST:: SOT 4281310 SOS 2894747 HAS SOPS 2742773 HAS SOUS 731583 HAS SOUPS 712379 WITH SCORE 715273.747
AT ITER 1204 NEW BEST:: SOT 4281310 SOS 2888339 HAS SOPS 2735050 HAS SOUS 730019 HAS SOUPS 710815 WITH SCORE 713703.339
AT ITER 1207 NEW BEST:: SOT 4282942 SOS 2894176 HAS SOPS 2748547 HAS SOUS 722647 HAS SOUPS 703612 WITH SCORE 706506.176
AT ITER 1213 NEW BEST:: SOT 4282942 SOS 2883150 HAS SOPS 2736225 HAS SOUS 721107 HAS SOUPS 702072 WITH SCORE 704955.15
AT ITER 1216 NEW BEST:: SOT 4280699 SOS 2889022 HAS SOPS 2742668 HAS SOUS 719539 HAS SOUPS 700572 WITH SCORE 703461.022
AT ITER 1218 NEW BEST:: SOT 4280699 SOS 2875298 HAS SOPS 2727790 HAS SOUS 718215 HAS SOUPS 699248 WITH SCORE 702123.298
AT ITER 1223 NEW BEST:: SOT 4280699 SOS 2866450 HAS SOPS 2718806 HAS SOUS 717901 HAS SOUPS 699039 WITH SCORE 701905.45
AT ITER 1229 NEW BEST:: SOT 4279986 SOS 2865737 HAS SOPS 2718093 HAS SOUS 717188 HAS SOUPS 698326 WITH SCORE 701191.737
AT ITER 1234 NEW BEST:: SOT 4279986 SOS 2851167 HAS SOPS 2701529 HAS SOUS 714989 HAS SOUPS 696004 WITH SCORE 698855.167
AT ITER 1240 NEW BEST:: SOT 4279986 SOS 2847563 HAS SOPS 2697429 HAS SOUS 714411 HAS SOUPS 695426 WITH SCORE 698273.563
AT ITER 1242 NEW BEST:: SOT 4279986 SOS 2833150 HAS SOPS 2682645 HAS SOUS 713761 HAS SOUPS 694907 WITH SCORE 697740.15
AT ITER 1248 NEW BEST:: SOT 4274241 SOS 2827405 HAS SOPS 2676900 HAS SOUS 708016 HAS SOUPS 689162 WITH SCORE 691989.405
AT ITER 1256 NEW BEST:: SOT 4274241 SOS 2823509 HAS SOPS 2672236 HAS SOUS 707237 HAS SOUPS 688383 WITH SCORE 691206.509
AT ITER 1257 NEW BEST:: SOT 4274241 SOS 2820497 HAS SOPS 2669114 HAS SOUS 707043 HAS SOUPS 688220 WITH SCORE 691040.497
AT ITER 1266 NEW BEST:: SOT 4273507 SOS 2819763 HAS SOPS 2668380 HAS SOUS 706309 HAS SOUPS 687486 WITH SCORE 690305.763
AT ITER 1268 NEW BEST:: SOT 4273494 SOS 2819645 HAS SOPS 2668200 HAS SOUS 706129 HAS SOUPS 687349 WITH SCORE 690168.645
AT ITER 1270 NEW BEST:: SOT 4273474 SOS 2811718 HAS SOPS 2659780 HAS SOUS 705448 HAS SOUPS 686668 WITH SCORE 689479.718
AT ITER 1271 NEW BEST:: SOT 4273098 SOS 2811342 HAS SOPS 2659345 HAS SOUS 705027 HAS SOUPS 686174 WITH SCORE 688985.342
AT ITER 1278 NEW BEST:: SOT 4281953 SOS 2824249 HAS SOPS 2676773 HAS SOUS 701360 HAS SOUPS 682680 WITH SCORE 685504.249
AT ITER 1282 NEW BEST:: SOT 4279341 SOS 2817864 HAS SOPS 2667807 HAS SOUS 696041 HAS SOUPS 677361 WITH SCORE 680178.864
AT ITER 1292 NEW BEST:: SOT 4280816 SOS 2819043 HAS SOPS 2669282 HAS SOUS 695212 HAS SOUPS 676558 WITH SCORE 679377.043
AT ITER 1294 NEW BEST:: SOT 4279478 SOS 2817732 HAS SOPS 2667971 HAS SOUS 693901 HAS SOUPS 675247 WITH SCORE 678064.732
AT ITER 1299 NEW BEST:: SOT 4302188 SOS 2837499 HAS SOPS 2690681 HAS SOUS 692754 HAS SOUPS 674368 WITH SCORE 677205.499
AT ITER 1300 NEW BEST:: SOT 4302160 SOS 2837427 HAS SOPS 2690622 HAS SOUS 692708 HAS SOUPS 674322 WITH SCORE 677159.427
AT ITER 1312 NEW BEST:: SOT 4302160 SOS 2827149 HAS SOPS 2678775 HAS SOUS 691078 HAS SOUPS 672692 WITH SCORE 675519.149
AT ITER 1317 NEW BEST:: SOT 4302160 SOS 2825149 HAS SOPS 2676452 HAS SOUS 690686 HAS SOUPS 672323 WITH SCORE 675148.149
AT ITER 1319 NEW BEST:: SOT 4302120 SOS 2825120 HAS SOPS 2676423 HAS SOUS 690657 HAS SOUPS 672294 WITH SCORE 675119.12
AT ITER 1327 NEW BEST:: SOT 4302120 SOS 2820566 HAS SOPS 2671357 HAS SOUS 690046 HAS SOUPS 671775 WITH SCORE 674595.566
AT ITER 1330 NEW BEST:: SOT 4302084 SOS 2820494 HAS SOPS 2671249 HAS SOUS 689938 HAS SOUPS 671667 WITH SCORE 674487.494
AT ITER 1339 NEW BEST:: SOT 4302084 SOS 2818611 HAS SOPS 2668320 HAS SOUS 688834 HAS SOUPS 670563 WITH SCORE 673381.611
AT ITER 1342 NEW BEST:: SOT 4299838 SOS 2817246 HAS SOPS 2667547 HAS SOUS 687251 HAS SOUPS 668908 WITH SCORE 671725.246
AT ITER 1346 NEW BEST:: SOT 4293587 SOS 2811037 HAS SOPS 2661296 HAS SOUS 685256 HAS SOUPS 666871 WITH SCORE 669682.037
AT ITER 1360 NEW BEST:: SOT 4293587 SOS 2811414 HAS SOPS 2661604 HAS SOUS 685122 HAS SOUPS 666737 WITH SCORE 669548.414
AT ITER 1362 NEW BEST:: SOT 4293587 SOS 2810587 HAS SOPS 2660669 HAS SOUS 684996 HAS SOUPS 666611 WITH SCORE 669421.587
AT ITER 1365 NEW BEST:: SOT 4296021 SOS 2812721 HAS SOPS 2663103 HAS SOUS 684630 HAS SOUPS 666276 WITH SCORE 669088.721
AT ITER 1368 NEW BEST:: SOT 4310571 SOS 2824884 HAS SOPS 2677780 HAS SOUS 680721 HAS SOUPS 662578 WITH SCORE 665402.884
AT ITER 1370 NEW BEST:: SOT 4309964 SOS 2819771 HAS SOPS 2672389 HAS SOUS 679738 HAS SOUPS 661711 WITH SCORE 664530.771
AT ITER 1374 NEW BEST:: SOT 4309899 SOS 2819706 HAS SOPS 2672324 HAS SOUS 679673 HAS SOUPS 661646 WITH SCORE 664465.706
AT ITER 1377 NEW BEST:: SOT 4309384 SOS 2819203 HAS SOPS 2671809 HAS SOUS 679546 HAS SOUPS 661515 WITH SCORE 664334.203
AT ITER 1380 NEW BEST:: SOT 4309384 SOS 2818608 HAS SOPS 2671147 HAS SOUS 679507 HAS SOUPS 661505 WITH SCORE 664323.608
AT ITER 1383 NEW BEST:: SOT 4306020 SOS 2815291 HAS SOPS 2667783 HAS SOUS 679296 HAS SOUPS 661262 WITH SCORE 664077.291
AT ITER 1386 NEW BEST:: SOT 4293742 SOS 2803869 HAS SOPS 2655505 HAS SOUS 678562 HAS SOUPS 660404 WITH SCORE 663207.869
AT ITER 1387 NEW BEST:: SOT 4293742 SOS 2803811 HAS SOPS 2655334 HAS SOUS 678395 HAS SOUPS 660186 WITH SCORE 662989.811
AT ITER 1391 NEW BEST:: SOT 4293742 SOS 2796878 HAS SOPS 2648034 HAS SOUS 677799 HAS SOUPS 659746 WITH SCORE 662542.878
AT ITER 1392 NEW BEST:: SOT 4295159 SOS 2797428 HAS SOPS 2649451 HAS SOUS 673604 HAS SOUPS 655595 WITH SCORE 658392.428
AT ITER 1393 NEW BEST:: SOT 4295159 SOS 2796502 HAS SOPS 2648338 HAS SOUS 673395 HAS SOUPS 655384 WITH SCORE 658180.502
AT ITER 1394 NEW BEST:: SOT 4295159 SOS 2791567 HAS SOPS 2643289 HAS SOUS 673179 HAS SOUPS 655219 WITH SCORE 658010.567
AT ITER 1395 NEW BEST:: SOT 4295029 SOS 2795752 HAS SOPS 2647421 HAS SOUS 673058 HAS SOUPS 655041 WITH SCORE 657836.752
AT ITER 1399 NEW BEST:: SOT 4295029 SOS 2795752 HAS SOPS 2647418 HAS SOUS 673055 HAS SOUPS 655035 WITH SCORE 657830.752
AT ITER 1400 NEW BEST:: SOT 4295029 SOS 2793947 HAS SOPS 2645618 HAS SOUS 673001 HAS SOUPS 655022 WITH SCORE 657815.947
AT ITER 1402 NEW BEST:: SOT 4294180 SOS 2793098 HAS SOPS 2644870 HAS SOUS 672284 HAS SOUPS 654375 WITH SCORE 657168.098
AT ITER 1409 NEW BEST:: SOT 4294180 SOS 2792054 HAS SOPS 2643670 HAS SOUS 672104 HAS SOUPS 654195 WITH SCORE 656987.054
AT ITER 1413 NEW BEST:: SOT 4294180 SOS 2791968 HAS SOPS 2643569 HAS SOUS 672087 HAS SOUPS 654178 WITH SCORE 656969.968
AT ITER 1421 NEW BEST:: SOT 4301404 SOS 2795041 HAS SOPS 2650971 HAS SOUS 664800 HAS SOUPS 647138 WITH SCORE 649933.041
AT ITER 1428 NEW BEST:: SOT 4301404 SOS 2789200 HAS SOPS 2642599 HAS SOUS 662031 HAS SOUPS 644441 WITH SCORE 647230.2
AT ITER 1436 NEW BEST:: SOT 4301285 SOS 2789081 HAS SOPS 2642480 HAS SOUS 661912 HAS SOUPS 644322 WITH SCORE 647111.081
AT ITER 1445 NEW BEST:: SOT 4302551 SOS 2794413 HAS SOPS 2651246 HAS SOUS 659262 HAS SOUPS 641747 WITH SCORE 644541.413
AT ITER 1446 NEW BEST:: SOT 4303837 SOS 2795521 HAS SOPS 2652532 HAS SOUS 659026 HAS SOUPS 641528 WITH SCORE 644323.521
AT ITER 1448 NEW BEST:: SOT 4303837 SOS 2795505 HAS SOPS 2652516 HAS SOUS 659010 HAS SOUPS 641512 WITH SCORE 644307.505
AT ITER 1454 NEW BEST:: SOT 4303749 SOS 2795273 HAS SOPS 2652260 HAS SOUS 658754 HAS SOUPS 641256 WITH SCORE 644051.273
AT ITER 1455 NEW BEST:: SOT 4303749 SOS 2795273 HAS SOPS 2652240 HAS SOUS 658714 HAS SOUPS 641216 WITH SCORE 644011.273
AT ITER 1456 NEW BEST:: SOT 4303724 SOS 2792944 HAS SOPS 2649633 HAS SOUS 658359 HAS SOUPS 640879 WITH SCORE 643671.944
AT ITER 1463 NEW BEST:: SOT 4303724 SOS 2792848 HAS SOPS 2649537 HAS SOUS 658258 HAS SOUPS 640879 WITH SCORE 643671.848
AT ITER 1470 NEW BEST:: SOT 4295871 SOS 2785220 HAS SOPS 2641663 HAS SOUS 656259 HAS SOUPS 638798 WITH SCORE 641583.22
AT ITER 1471 NEW BEST:: SOT 4295857 SOS 2785206 HAS SOPS 2641543 HAS SOUS 656139 HAS SOUPS 638572 WITH SCORE 641357.206
AT ITER 1480 NEW BEST:: SOT 4289201 SOS 2778413 HAS SOPS 2634750 HAS SOUS 649346 HAS SOUPS 631779 WITH SCORE 634557.413
AT ITER 1482 NEW BEST:: SOT 4289201 SOS 2778559 HAS SOPS 2634870 HAS SOUS 649284 HAS SOUPS 631717 WITH SCORE 634495.559
AT ITER 1486 NEW BEST:: SOT 4289201 SOS 2782484 HAS SOPS 2638644 HAS SOUS 649109 HAS SOUPS 631451 WITH SCORE 634233.484
AT ITER 1488 NEW BEST:: SOT 4289201 SOS 2782381 HAS SOPS 2638541 HAS SOUS 649006 HAS SOUPS 631451 WITH SCORE 634233.381
AT ITER 1497 NEW BEST:: SOT 4289201 SOS 2782330 HAS SOPS 2638430 HAS SOUS 648955 HAS SOUPS 631331 WITH SCORE 634113.33
AT ITER 1509 NEW BEST:: SOT 4289201 SOS 2778574 HAS SOPS 2634530 HAS SOUS 648733 HAS SOUPS 631109 WITH SCORE 633887.574
AT ITER 1511 NEW BEST:: SOT 4289011 SOS 2778384 HAS SOPS 2634340 HAS SOUS 648543 HAS SOUPS 630919 WITH SCORE 633697.384
AT ITER 1512 NEW BEST:: SOT 4292792 SOS 2781650 HAS SOPS 2638173 HAS SOUS 647743 HAS SOUPS 630171 WITH SCORE 632952.65
AT ITER 1513 NEW BEST:: SOT 4292792 SOS 2781650 HAS SOPS 2638168 HAS SOUS 647851 HAS SOUPS 630161 WITH SCORE 632942.65
AT ITER 1527 NEW BEST:: SOT 4292792 SOS 2780824 HAS SOPS 2637273 HAS SOUS 647750 HAS SOUPS 630088 WITH SCORE 632868.824
AT ITER 1530 NEW BEST:: SOT 4292792 SOS 2780834 HAS SOPS 2637273 HAS SOUS 647740 HAS SOUPS 630078 WITH SCORE 632858.834
AT ITER 1533 NEW BEST:: SOT 4292792 SOS 2779991 HAS SOPS 2636364 HAS SOUS 647656 HAS SOUPS 629994 WITH SCORE 632773.991
AT ITER 1536 NEW BEST:: SOT 4292792 SOS 2767900 HAS SOPS 2623307 HAS SOUS 646667 HAS SOUPS 628895 WITH SCORE 631662.9
AT ITER 1537 NEW BEST:: SOT 4292268 SOS 2767376 HAS SOPS 2622783 HAS SOUS 646143 HAS SOUPS 628371 WITH SCORE 631138.376
AT ITER 1545 NEW BEST:: SOT 4292268 SOS 2767345 HAS SOPS 2622721 HAS SOUS 646081 HAS SOUPS 628309 WITH SCORE 631076.345
AT ITER 1552 NEW BEST:: SOT 4296322 SOS 2771006 HAS SOPS 2626775 HAS SOUS 643028 HAS SOUPS 625331 WITH SCORE 628102.006
AT ITER 1555 NEW BEST:: SOT 4300810 SOS 2773139 HAS SOPS 2640320 HAS SOUS 632173 HAS SOUPS 614746 WITH SCORE 617519.139
AT ITER 1557 NEW BEST:: SOT 4300810 SOS 2769304 HAS SOPS 2636446 HAS SOUS 632121 HAS SOUPS 614694 WITH SCORE 617463.304
AT ITER 1558 NEW BEST:: SOT 4300810 SOS 2769205 HAS SOPS 2636346 HAS SOUS 632117 HAS SOUPS 614692 WITH SCORE 617461.205
AT ITER 1563 NEW BEST:: SOT 4300803 SOS 2769191 HAS SOPS 2636325 HAS SOUS 632096 HAS SOUPS 614671 WITH SCORE 617440.191
AT ITER 1567 NEW BEST:: SOT 4293984 SOS 2762743 HAS SOPS 2629506 HAS SOUS 631206 HAS SOUPS 613718 WITH SCORE 616480.743
AT ITER 1591 NEW BEST:: SOT 4293984 SOS 2762727 HAS SOPS 2629490 HAS SOUS 631190 HAS SOUPS 613702 WITH SCORE 616464.727
AT ITER 1593 NEW BEST:: SOT 4293984 SOS 2763660 HAS SOPS 2630372 HAS SOUS 631154 HAS SOUPS 613555 WITH SCORE 616318.66
AT ITER 1600 NEW BEST:: SOT 4293984 SOS 2762215 HAS SOPS 2628783 HAS SOUS 630994 HAS SOUPS 613395 WITH SCORE 616157.215
AT ITER 1603 NEW BEST:: SOT 4293984 SOS 2758493 HAS SOPS 2623583 HAS SOUS 629412 HAS SOUPS 611813 WITH SCORE 614571.493
AT ITER 1607 NEW BEST:: SOT 4291947 SOS 2756474 HAS SOPS 2621546 HAS SOUS 629157 HAS SOUPS 611540 WITH SCORE 614296.474
AT ITER 1613 NEW BEST:: SOT 4291947 SOS 2756378 HAS SOPS 2621446 HAS SOUS 629151 HAS SOUPS 611534 WITH SCORE 614290.378
AT ITER 1614 NEW BEST:: SOT 4291947 SOS 2747231 HAS SOPS 2607946 HAS SOUS 624528 HAS SOUPS 607046 WITH SCORE 609793.231
AT ITER 1615 NEW BEST:: SOT 4291947 SOS 2746940 HAS SOPS 2607643 HAS SOUS 624493 HAS SOUPS 607028 WITH SCORE 609774.94
AT ITER 1626 NEW BEST:: SOT 4291947 SOS 2745257 HAS SOPS 2605924 HAS SOUS 624423 HAS SOUPS 606958 WITH SCORE 609703.257
AT ITER 1627 NEW BEST:: SOT 4291947 SOS 2745177 HAS SOPS 2605823 HAS SOUS 624176 HAS SOUPS 606935 WITH SCORE 609680.177
AT ITER 1632 NEW BEST:: SOT 4291947 SOS 2741118 HAS SOPS 2601723 HAS SOUS 624053 HAS SOUPS 606853 WITH SCORE 609594.118
AT ITER 1633 NEW BEST:: SOT 4286930 SOS 2736218 HAS SOPS 2596706 HAS SOUS 622519 HAS SOUPS 605283 WITH SCORE 608019.218
AT ITER 1635 NEW BEST:: SOT 4286930 SOS 2735960 HAS SOPS 2596379 HAS SOUS 622319 HAS SOUPS 605193 WITH SCORE 607928.96
AT ITER 1636 NEW BEST:: SOT 4286930 SOS 2728020 HAS SOPS 2587579 HAS SOUS 621283 HAS SOUPS 604157 WITH SCORE 606885.02
AT ITER 1639 NEW BEST:: SOT 4286930 SOS 2728008 HAS SOPS 2587567 HAS SOUS 621283 HAS SOUPS 604157 WITH SCORE 606885.008
AT ITER 1643 NEW BEST:: SOT 4286930 SOS 2725830 HAS SOPS 2585389 HAS SOUS 621261 HAS SOUPS 604135 WITH SCORE 606860.83
AT ITER 1653 NEW BEST:: SOT 4286930 SOS 2725959 HAS SOPS 2585492 HAS SOUS 621364 HAS SOUPS 604109 WITH SCORE 606834.959
AT ITER 1656 NEW BEST:: SOT 4286750 SOS 2725693 HAS SOPS 2585112 HAS SOUS 621266 HAS SOUPS 604009 WITH SCORE 606734.693
AT ITER 1659 NEW BEST:: SOT 4286750 SOS 2725878 HAS SOPS 2585201 HAS SOUS 621143 HAS SOUPS 603819 WITH SCORE 606544.878
AT ITER 1666 NEW BEST:: SOT 4292809 SOS 2730966 HAS SOPS 2591260 HAS SOUS 619974 HAS SOUPS 602731 WITH SCORE 605461.966
AT ITER 1667 NEW BEST:: SOT 4292809 SOS 2728614 HAS SOPS 2588331 HAS SOUS 619339 HAS SOUPS 602096 WITH SCORE 604824.614
AT ITER 1675 NEW BEST:: SOT 4296000 SOS 2734333 HAS SOPS 2596997 HAS SOUS 615085 HAS SOUPS 597968 WITH SCORE 600702.333
AT ITER 1684 NEW BEST:: SOT 4295929 SOS 2734038 HAS SOPS 2596508 HAS SOUS 614596 HAS SOUPS 597479 WITH SCORE 600213.038
AT ITER 1716 NEW BEST:: SOT 4295929 SOS 2733953 HAS SOPS 2596423 HAS SOUS 614529 HAS SOUPS 597479 WITH SCORE 600212.953
AT ITER 1717 NEW BEST:: SOT 4309476 SOS 2757682 HAS SOPS 2627595 HAS SOUS 611194 HAS SOUPS 594267 WITH SCORE 597024.682
AT ITER 1722 NEW BEST:: SOT 4309476 SOS 2757619 HAS SOPS 2627514 HAS SOUS 611113 HAS SOUPS 594231 WITH SCORE 596988.619
AT ITER 1723 NEW BEST:: SOT 4309476 SOS 2757501 HAS SOPS 2627396 HAS SOUS 610995 HAS SOUPS 594231 WITH SCORE 596988.501
AT ITER 1726 NEW BEST:: SOT 4309366 SOS 2757391 HAS SOPS 2627286 HAS SOUS 610885 HAS SOUPS 594121 WITH SCORE 596878.391
AT ITER 1728 NEW BEST:: SOT 4309012 SOS 2757037 HAS SOPS 2626928 HAS SOUS 610527 HAS SOUPS 593759 WITH SCORE 596516.037
AT ITER 1736 NEW BEST:: SOT 4309012 SOS 2757037 HAS SOPS 2626835 HAS SOUS 610434 HAS SOUPS 593573 WITH SCORE 596330.037
AT ITER 1741 NEW BEST:: SOT 4309012 SOS 2753078 HAS SOPS 2622395 HAS SOUS 609863 HAS SOUPS 593062 WITH SCORE 595815.078
AT ITER 1760 NEW BEST:: SOT 4324565 SOS 2767200 HAS SOPS 2637948 HAS SOUS 609247 HAS SOUPS 592622 WITH SCORE 595389.2
AT ITER 1768 NEW BEST:: SOT 4321423 SOS 2763222 HAS SOPS 2632180 HAS SOUS 606863 HAS SOUPS 590212 WITH SCORE 592975.222
AT ITER 1773 NEW BEST:: SOT 4321422 SOS 2763174 HAS SOPS 2632124 HAS SOUS 606807 HAS SOUPS 590195 WITH SCORE 592958.174
AT ITER 1780 NEW BEST:: SOT 4321422 SOS 2759388 HAS SOPS 2627955 HAS SOUS 606371 HAS SOUPS 589759 WITH SCORE 592518.388
AT ITER 1793 NEW BEST:: SOT 4329241 SOS 2766429 HAS SOPS 2635774 HAS SOUS 605668 HAS SOUPS 589149 WITH SCORE 591915.429
AT ITER 1795 NEW BEST:: SOT 4330528 SOS 2767461 HAS SOPS 2637061 HAS SOUS 604110 HAS SOUPS 587622 WITH SCORE 590389.461
AT ITER 1797 NEW BEST:: SOT 4330528 SOS 2765836 HAS SOPS 2635344 HAS SOUS 603984 HAS SOUPS 587496 WITH SCORE 590261.836
AT ITER 1806 NEW BEST:: SOT 4330528 SOS 2765966 HAS SOPS 2635454 HAS SOUS 603968 HAS SOUPS 587434 WITH SCORE 590199.966
AT ITER 1814 NEW BEST:: SOT 4330528 SOS 2765696 HAS SOPS 2635151 HAS SOUS 603929 HAS SOUPS 587395 WITH SCORE 590160.696
AT ITER 1818 NEW BEST:: SOT 4330528 SOS 2765683 HAS SOPS 2635125 HAS SOUS 603903 HAS SOUPS 587369 WITH SCORE 590134.683
AT ITER 1819 NEW BEST:: SOT 4330563 SOS 2765232 HAS SOPS 2635160 HAS SOUS 603624 HAS SOUPS 587098 WITH SCORE 589863.232
AT ITER 1825 NEW BEST:: SOT 4344021 SOS 2777670 HAS SOPS 2648687 HAS SOUS 602640 HAS SOUPS 586270 WITH SCORE 589047.67
AT ITER 1831 NEW BEST:: SOT 4343404 SOS 2777053 HAS SOPS 2648070 HAS SOUS 602023 HAS SOUPS 585653 WITH SCORE 588430.053
AT ITER 1841 NEW BEST:: SOT 4343404 SOS 2770019 HAS SOPS 2640670 HAS SOUS 601509 HAS SOUPS 585139 WITH SCORE 587909.019
AT ITER 1842 NEW BEST:: SOT 4343404 SOS 2770016 HAS SOPS 2640664 HAS SOUS 601503 HAS SOUPS 585133 WITH SCORE 587903.016
AT ITER 1845 NEW BEST:: SOT 4343693 SOS 2770293 HAS SOPS 2640953 HAS SOUS 601404 HAS SOUPS 585038 WITH SCORE 587808.293
AT ITER 1852 NEW BEST:: SOT 4344164 SOS 2770101 HAS SOPS 2646725 HAS SOUS 597445 HAS SOUPS 581184 WITH SCORE 583954.101
AT ITER 1853 NEW BEST:: SOT 4344164 SOS 2768826 HAS SOPS 2645425 HAS SOUS 597407 HAS SOUPS 581146 WITH SCORE 583914.826
AT ITER 1854 NEW BEST:: SOT 4344164 SOS 2768826 HAS SOPS 2645398 HAS SOUS 597380 HAS SOUPS 581092 WITH SCORE 583860.826
AT ITER 1860 NEW BEST:: SOT 4344164 SOS 2768826 HAS SOPS 2645357 HAS SOUS 597298 HAS SOUPS 581010 WITH SCORE 583778.826
AT ITER 1875 NEW BEST:: SOT 4344164 SOS 2768840 HAS SOPS 2645363 HAS SOUS 597245 HAS SOUPS 580994 WITH SCORE 583762.84
AT ITER 1878 NEW BEST:: SOT 4344323 SOS 2769845 HAS SOPS 2646262 HAS SOUS 597339 HAS SOUPS 580915 WITH SCORE 583684.845
AT ITER 1884 NEW BEST:: SOT 4344323 SOS 2769845 HAS SOPS 2646225 HAS SOUS 597302 HAS SOUPS 580878 WITH SCORE 583647.845
AT ITER 1886 NEW BEST:: SOT 4351939 SOS 2776672 HAS SOPS 2653841 HAS SOUS 596707 HAS SOUPS 580373 WITH SCORE 583149.672
AT ITER 1891 NEW BEST:: SOT 4350511 SOS 2775244 HAS SOPS 2652413 HAS SOUS 595279 HAS SOUPS 578945 WITH SCORE 581720.244
AT ITER 1892 NEW BEST:: SOT 4350463 SOS 2775148 HAS SOPS 2652269 HAS SOUS 595148 HAS SOUPS 578801 WITH SCORE 581576.148
AT ITER 1895 NEW BEST:: SOT 4350463 SOS 2774329 HAS SOPS 2651009 HAS SOUS 594701 HAS SOUPS 578354 WITH SCORE 581128.329
AT ITER 1901 NEW BEST:: SOT 4350463 SOS 2774231 HAS SOPS 2650908 HAS SOUS 594696 HAS SOUPS 578349 WITH SCORE 581123.231
AT ITER 1903 NEW BEST:: SOT 4350417 SOS 2771316 HAS SOPS 2647672 HAS SOUS 594261 HAS SOUPS 578022 WITH SCORE 580793.316
AT ITER 1904 NEW BEST:: SOT 4355345 SOS 2775799 HAS SOPS 2652656 HAS SOUS 594146 HAS SOUPS 577963 WITH SCORE 580738.799
AT ITER 1907 NEW BEST:: SOT 4354783 SOS 2775237 HAS SOPS 2652094 HAS SOUS 593584 HAS SOUPS 577401 WITH SCORE 580176.237
AT ITER 1908 NEW BEST:: SOT 4355443 SOS 2775774 HAS SOPS 2652754 HAS SOUS 592767 HAS SOUPS 576600 WITH SCORE 579375.774
AT ITER 1912 NEW BEST:: SOT 4355443 SOS 2775715 HAS SOPS 2652691 HAS SOUS 592704 HAS SOUPS 576592 WITH SCORE 579367.715
AT ITER 1913 NEW BEST:: SOT 4355443 SOS 2769566 HAS SOPS 2646489 HAS SOUS 592590 HAS SOUPS 576478 WITH SCORE 579247.566
AT ITER 1917 NEW BEST:: SOT 4355443 SOS 2769513 HAS SOPS 2646436 HAS SOUS 592551 HAS SOUPS 576478 WITH SCORE 579247.513
AT ITER 1923 NEW BEST:: SOT 4355443 SOS 2769355 HAS SOPS 2646278 HAS SOUS 592509 HAS SOUPS 576478 WITH SCORE 579247.355
AT ITER 1930 NEW BEST:: SOT 4355440 SOS 2769082 HAS SOPS 2645972 HAS SOUS 592467 HAS SOUPS 576436 WITH SCORE 579205.082
AT ITER 1937 NEW BEST:: SOT 4357315 SOS 2770824 HAS SOPS 2647847 HAS SOUS 591275 HAS SOUPS 575276 WITH SCORE 578046.824
AT ITER 1944 NEW BEST:: SOT 4357315 SOS 2770145 HAS SOPS 2646347 HAS SOUS 590424 HAS SOUPS 574425 WITH SCORE 577195.145
AT ITER 1948 NEW BEST:: SOT 4357315 SOS 2773516 HAS SOPS 2649699 HAS SOUS 590449 HAS SOUPS 574421 WITH SCORE 577194.516
AT ITER 1950 NEW BEST:: SOT 4354886 SOS 2771161 HAS SOPS 2647270 HAS SOUS 589846 HAS SOUPS 573799 WITH SCORE 576570.161
AT ITER 1970 NEW BEST:: SOT 4354886 SOS 2770187 HAS SOPS 2646181 HAS SOUS 589709 HAS SOUPS 573673 WITH SCORE 576443.187
AT ITER 1974 NEW BEST:: SOT 4354886 SOS 2751660 HAS SOPS 2627127 HAS SOUS 589097 HAS SOUPS 573061 WITH SCORE 575812.66
AT ITER 1997 NEW BEST:: SOT 4354886 SOS 2750036 HAS SOPS 2624027 HAS SOUS 587559 HAS SOUPS 571523 WITH SCORE 574273.036
AT ITER 1998 NEW BEST:: SOT 4354692 SOS 2749842 HAS SOPS 2623833 HAS SOUS 587365 HAS SOUPS 571329 WITH SCORE 574078.842
AT ITER 2002 NEW BEST:: SOT 4354692 SOS 2749842 HAS SOPS 2623809 HAS SOUS 587341 HAS SOUPS 571281 WITH SCORE 574030.842
AT ITER 2013 NEW BEST:: SOT 4354692 SOS 2747268 HAS SOPS 2621075 HAS SOUS 587125 HAS SOUPS 571142 WITH SCORE 573889.268
AT ITER 2025 NEW BEST:: SOT 4354692 SOS 2746395 HAS SOPS 2620175 HAS SOUS 587080 HAS SOUPS 571097 WITH SCORE 573843.395
AT ITER 2034 NEW BEST:: SOT 4354692 SOS 2742595 HAS SOPS 2616383 HAS SOUS 587012 HAS SOUPS 571075 WITH SCORE 573817.595
AT ITER 2038 NEW BEST:: SOT 4349709 SOS 2721311 HAS SOPS 2589929 HAS SOUS 576343 HAS SOUPS 560494 WITH SCORE 563215.311
AT ITER 2044 NEW BEST:: SOT 4349709 SOS 2721311 HAS SOPS 2589925 HAS SOUS 576339 HAS SOUPS 560486 WITH SCORE 563207.311
AT ITER 2051 NEW BEST:: SOT 4349709 SOS 2721311 HAS SOPS 2589917 HAS SOUS 576331 HAS SOUPS 560470 WITH SCORE 563191.311
AT ITER 2069 NEW BEST:: SOT 4349709 SOS 2721135 HAS SOPS 2589719 HAS SOUS 576305 HAS SOUPS 560446 WITH SCORE 563167.135
AT ITER 2083 NEW BEST:: SOT 4349709 SOS 2719686 HAS SOPS 2588220 HAS SOUS 576225 HAS SOUPS 560367 WITH SCORE 563086.686
AT ITER 2085 NEW BEST:: SOT 4348013 SOS 2717351 HAS SOPS 2585324 HAS SOUS 573944 HAS SOUPS 558086 WITH SCORE 560803.351
AT ITER 2088 NEW BEST:: SOT 4330399 SOS 2700773 HAS SOPS 2567710 HAS SOUS 570494 HAS SOUPS 554484 WITH SCORE 557184.773
AT ITER 2091 NEW BEST:: SOT 4327644 SOS 2704394 HAS SOPS 2571861 HAS SOUS 568488 HAS SOUPS 552288 WITH SCORE 554992.394
AT ITER 2093 NEW BEST:: SOT 4327652 SOS 2704353 HAS SOPS 2571871 HAS SOUS 568448 HAS SOUPS 552249 WITH SCORE 554953.353
AT ITER 2095 NEW BEST:: SOT 4328671 SOS 2703436 HAS SOPS 2573010 HAS SOUS 565583 HAS SOUPS 549444 WITH SCORE 552147.436
AT ITER 2097 NEW BEST:: SOT 4327885 SOS 2702650 HAS SOPS 2572224 HAS SOUS 564797 HAS SOUPS 548658 WITH SCORE 551360.65
AT ITER 2106 NEW BEST:: SOT 4328495 SOS 2702715 HAS SOPS 2572834 HAS SOUS 562586 HAS SOUPS 546447 WITH SCORE 549149.715
AT ITER 2109 NEW BEST:: SOT 4328495 SOS 2702549 HAS SOPS 2572668 HAS SOUS 562432 HAS SOUPS 546447 WITH SCORE 549149.549
AT ITER 2112 NEW BEST:: SOT 4326047 SOS 2700265 HAS SOPS 2570220 HAS SOUS 562020 HAS SOUPS 546013 WITH SCORE 548713.265
AT ITER 2114 NEW BEST:: SOT 4324620 SOS 2698838 HAS SOPS 2568793 HAS SOUS 560593 HAS SOUPS 544586 WITH SCORE 547284.838
AT ITER 2115 NEW BEST:: SOT 4326854 SOS 2698537 HAS SOPS 2571287 HAS SOUS 552752 HAS SOUPS 536875 WITH SCORE 539573.537
AT ITER 2121 NEW BEST:: SOT 4326173 SOS 2697856 HAS SOPS 2570606 HAS SOUS 552071 HAS SOUPS 536194 WITH SCORE 538891.856
AT ITER 2122 NEW BEST:: SOT 4326173 SOS 2697856 HAS SOPS 2570556 HAS SOUS 552021 HAS SOUPS 536144 WITH SCORE 538841.856
AT ITER 2145 NEW BEST:: SOT 4319363 SOS 2691725 HAS SOPS 2563746 HAS SOUS 551732 HAS SOUPS 535783 WITH SCORE 538474.725
AT ITER 2152 NEW BEST:: SOT 4319363 SOS 2691710 HAS SOPS 2563648 HAS SOUS 551634 HAS SOUPS 535675 WITH SCORE 538366.71
AT ITER 2153 NEW BEST:: SOT 4319363 SOS 2691669 HAS SOPS 2563566 HAS SOUS 551542 HAS SOUPS 535593 WITH SCORE 538284.669
AT ITER 2156 NEW BEST:: SOT 4300898 SOS 2674841 HAS SOPS 2545101 HAS SOUS 550640 HAS SOUPS 534499 WITH SCORE 537173.841
AT ITER 2159 NEW BEST:: SOT 4300806 SOS 2674760 HAS SOPS 2545009 HAS SOUS 550637 HAS SOUPS 534495 WITH SCORE 537169.76
AT ITER 2163 NEW BEST:: SOT 4300806 SOS 2674408 HAS SOPS 2544617 HAS SOUS 550593 HAS SOUPS 534451 WITH SCORE 537125.408
AT ITER 2175 NEW BEST:: SOT 4301116 SOS 2671393 HAS SOPS 2545053 HAS SOUS 548117 HAS SOUPS 532038 WITH SCORE 534709.393
AT ITER 2188 NEW BEST:: SOT 4302939 SOS 2670367 HAS SOPS 2546876 HAS SOUS 542289 HAS SOUPS 526315 WITH SCORE 528985.367
AT ITER 2192 NEW BEST:: SOT 4301083 SOS 2668511 HAS SOPS 2545020 HAS SOUS 540433 HAS SOUPS 524459 WITH SCORE 527127.511
AT ITER 2214 NEW BEST:: SOT 4301582 SOS 2671013 HAS SOPS 2549256 HAS SOUS 539040 HAS SOUPS 523103 WITH SCORE 525774.013
AT ITER 2245 NEW BEST:: SOT 4301582 SOS 2668167 HAS SOPS 2545750 HAS SOUS 538370 HAS SOUPS 522433 WITH SCORE 525101.167
AT ITER 2247 NEW BEST:: SOT 4307899 SOS 2675984 HAS SOPS 2555596 HAS SOUS 536815 HAS SOUPS 520949 WITH SCORE 523624.984
AT ITER 2253 NEW BEST:: SOT 4307899 SOS 2672691 HAS SOPS 2552033 HAS SOUS 536553 HAS SOUPS 520687 WITH SCORE 523359.691
AT ITER 2265 NEW BEST:: SOT 4307899 SOS 2672691 HAS SOPS 2552031 HAS SOUS 536551 HAS SOUPS 520683 WITH SCORE 523355.691
AT ITER 2272 NEW BEST:: SOT 4307899 SOS 2672691 HAS SOPS 2552017 HAS SOUS 536537 HAS SOUPS 520655 WITH SCORE 523327.691
AT ITER 2290 NEW BEST:: SOT 4307384 SOS 2672176 HAS SOPS 2551502 HAS SOUS 536022 HAS SOUPS 520140 WITH SCORE 522812.176
AT ITER 2293 NEW BEST:: SOT 4307384 SOS 2671600 HAS SOPS 2550902 HAS SOUS 535986 HAS SOUPS 520104 WITH SCORE 522775.6
AT ITER 2302 NEW BEST:: SOT 4307050 SOS 2671134 HAS SOPS 2550366 HAS SOUS 535578 HAS SOUPS 519696 WITH SCORE 522367.134
AT ITER 2317 NEW BEST:: SOT 4307050 SOS 2671033 HAS SOPS 2550265 HAS SOUS 535477 HAS SOUPS 519696 WITH SCORE 522367.033
AT ITER 2321 NEW BEST:: SOT 4307050 SOS 2670670 HAS SOPS 2549869 HAS SOUS 535440 HAS SOUPS 519659 WITH SCORE 522329.67
AT ITER 2323 NEW BEST:: SOT 4307050 SOS 2669683 HAS SOPS 2548868 HAS SOUS 535406 HAS SOUPS 519634 WITH SCORE 522303.683
AT ITER 2325 NEW BEST:: SOT 4306943 SOS 2669576 HAS SOPS 2548761 HAS SOUS 535299 HAS SOUPS 519527 WITH SCORE 522196.576
AT ITER 2342 NEW BEST:: SOT 4306943 SOS 2669529 HAS SOPS 2548667 HAS SOUS 535205 HAS SOUPS 519433 WITH SCORE 522102.529
AT ITER 2363 NEW BEST:: SOT 4306943 SOS 2665427 HAS SOPS 2544100 HAS SOUS 534650 HAS SOUPS 518878 WITH SCORE 521543.427
AT ITER 2364 NEW BEST:: SOT 4307023 SOS 2665507 HAS SOPS 2544109 HAS SOUS 534659 HAS SOUPS 518816 WITH SCORE 521481.507
AT ITER 2366 NEW BEST:: SOT 4307023 SOS 2665507 HAS SOPS 2543953 HAS SOUS 534503 HAS SOUPS 518504 WITH SCORE 521169.507
AT ITER 2372 NEW BEST:: SOT 4307023 SOS 2665410 HAS SOPS 2543902 HAS SOUS 534452 HAS SOUPS 518455 WITH SCORE 521120.41
AT ITER 2382 NEW BEST:: SOT 4307023 SOS 2665384 HAS SOPS 2543850 HAS SOUS 534400 HAS SOUPS 518403 WITH SCORE 521068.384
AT ITER 2388 NEW BEST:: SOT 4287479 SOS 2645618 HAS SOPS 2522466 HAS SOUS 528577 HAS SOUPS 512330 WITH SCORE 514975.618
AT ITER 2389 NEW BEST:: SOT 4287875 SOS 2644701 HAS SOPS 2522895 HAS SOUS 527019 HAS SOUPS 510838 WITH SCORE 513482.701
AT ITER 2390 NEW BEST:: SOT 4287844 SOS 2644571 HAS SOPS 2522764 HAS SOUS 526995 HAS SOUPS 510804 WITH SCORE 513448.571
AT ITER 2391 NEW BEST:: SOT 4287844 SOS 2643425 HAS SOPS 2521410 HAS SOUS 526903 HAS SOUPS 510712 WITH SCORE 513355.425
AT ITER 2405 NEW BEST:: SOT 4287810 SOS 2643391 HAS SOPS 2521376 HAS SOUS 526872 HAS SOUPS 510678 WITH SCORE 513321.391
AT ITER 2436 NEW BEST:: SOT 4287651 SOS 2643062 HAS SOPS 2520847 HAS SOUS 526327 HAS SOUPS 510133 WITH SCORE 512776.062
AT ITER 2440 NEW BEST:: SOT 4287651 SOS 2643062 HAS SOPS 2520820 HAS SOUS 526300 HAS SOUPS 510079 WITH SCORE 512722.062
AT ITER 2442 NEW BEST:: SOT 4297879 SOS 2650775 HAS SOPS 2531139 HAS SOUS 522334 HAS SOUPS 506372 WITH SCORE 509022.775
AT ITER 2444 NEW BEST:: SOT 4297985 SOS 2650881 HAS SOPS 2531166 HAS SOUS 522318 HAS SOUPS 506320 WITH SCORE 508970.881
AT ITER 2461 NEW BEST:: SOT 4298324 SOS 2638673 HAS SOPS 2517653 HAS SOUS 521063 HAS SOUPS 505065 WITH SCORE 507703.673
AT ITER 2474 NEW BEST:: SOT 4298324 SOS 2636626 HAS SOPS 2515509 HAS SOUS 520922 HAS SOUPS 504980 WITH SCORE 507616.626
AT ITER 2475 NEW BEST:: SOT 4298324 SOS 2636526 HAS SOPS 2515410 HAS SOUS 520922 HAS SOUPS 504980 WITH SCORE 507616.526
AT ITER 2488 NEW BEST:: SOT 4298324 SOS 2636513 HAS SOPS 2515384 HAS SOUS 520896 HAS SOUPS 504954 WITH SCORE 507590.513
AT ITER 2504 NEW BEST:: SOT 4298324 SOS 2636505 HAS SOPS 2515376 HAS SOUS 520888 HAS SOUPS 504946 WITH SCORE 507582.505
AT ITER 2505 NEW BEST:: SOT 4298324 SOS 2636309 HAS SOPS 2515176 HAS SOUS 520880 HAS SOUPS 504938 WITH SCORE 507574.309
AT ITER 2506 NEW BEST:: SOT 4298324 SOS 2636309 HAS SOPS 2515123 HAS SOUS 520827 HAS SOUPS 504885 WITH SCORE 507521.309
AT ITER 2532 NEW BEST:: SOT 4298324 SOS 2630599 HAS SOPS 2509063 HAS SOUS 520297 HAS SOUPS 504415 WITH SCORE 507045.599
AT ITER 2538 NEW BEST:: SOT 4298324 SOS 2628761 HAS SOPS 2507121 HAS SOUS 520147 HAS SOUPS 504335 WITH SCORE 506963.761
AT ITER 2542 NEW BEST:: SOT 4297347 SOS 2627521 HAS SOPS 2505033 HAS SOUS 519400 HAS SOUPS 503577 WITH SCORE 506204.521
AT ITER 2550 NEW BEST:: SOT 4300441 SOS 2636102 HAS SOPS 2516611 HAS SOUS 517259 HAS SOUPS 501520 WITH SCORE 504156.102
AT ITER 2560 NEW BEST:: SOT 4300441 SOS 2636011 HAS SOPS 2516474 HAS SOUS 517122 HAS SOUPS 501428 WITH SCORE 504064.011
AT ITER 2562 NEW BEST:: SOT 4300441 SOS 2625469 HAS SOPS 2505779 HAS SOUS 516757 HAS SOUPS 501063 WITH SCORE 503688.469
AT ITER 2563 NEW BEST:: SOT 4300441 SOS 2622198 HAS SOPS 2502449 HAS SOUS 516713 HAS SOUPS 501019 WITH SCORE 503641.198
AT ITER 2570 NEW BEST:: SOT 4300539 SOS 2621655 HAS SOPS 2502560 HAS SOUS 516165 HAS SOUPS 500497 WITH SCORE 503118.655
AT ITER 2572 NEW BEST:: SOT 4294421 SOS 2616044 HAS SOPS 2496442 HAS SOUS 515340 HAS SOUPS 499614 WITH SCORE 502230.044
AT ITER 2576 NEW BEST:: SOT 4295718 SOS 2620721 HAS SOPS 2508030 HAS SOUS 508543 HAS SOUPS 492879 WITH SCORE 495499.721
AT ITER 2577 NEW BEST:: SOT 4296706 SOS 2622947 HAS SOPS 2511418 HAS SOUS 507641 HAS SOUPS 492008 WITH SCORE 494630.947
AT ITER 2581 NEW BEST:: SOT 4298591 SOS 2623634 HAS SOPS 2513439 HAS SOUS 504128 HAS SOUPS 488563 WITH SCORE 491186.634
AT ITER 2582 NEW BEST:: SOT 4298591 SOS 2618025 HAS SOPS 2507332 HAS SOUS 503510 HAS SOUPS 487945 WITH SCORE 490563.025
AT ITER 2583 NEW BEST:: SOT 4298581 SOS 2615715 HAS SOPS 2504999 HAS SOUS 503380 HAS SOUPS 487866 WITH SCORE 490481.715
AT ITER 2590 NEW BEST:: SOT 4298581 SOS 2615695 HAS SOPS 2504979 HAS SOUS 503360 HAS SOUPS 487866 WITH SCORE 490481.695
AT ITER 2591 NEW BEST:: SOT 4306370 SOS 2623191 HAS SOPS 2513071 HAS SOUS 501201 HAS SOUPS 485763 WITH SCORE 488386.191
AT ITER 2596 NEW BEST:: SOT 4306280 SOS 2623020 HAS SOPS 2512839 HAS SOUS 500953 HAS SOUPS 485551 WITH SCORE 488174.02
AT ITER 2601 NEW BEST:: SOT 4306280 SOS 2624780 HAS SOPS 2514577 HAS SOUS 500927 HAS SOUPS 485525 WITH SCORE 488149.78
AT ITER 2617 NEW BEST:: SOT 4304772 SOS 2623445 HAS SOPS 2513053 HAS SOUS 500830 HAS SOUPS 485396 WITH SCORE 488019.445
AT ITER 2628 NEW BEST:: SOT 4316300 SOS 2644575 HAS SOPS 2540978 HAS SOUS 500576 HAS SOUPS 485235 WITH SCORE 487879.575
AT ITER 2632 NEW BEST:: SOT 4316289 SOS 2644564 HAS SOPS 2540967 HAS SOUS 500565 HAS SOUPS 485224 WITH SCORE 487868.564
AT ITER 2660 NEW BEST:: SOT 4316289 SOS 2644471 HAS SOPS 2540867 HAS SOUS 500556 HAS SOUPS 485215 WITH SCORE 487859.471
AT ITER 2666 NEW BEST:: SOT 4316289 SOS 2644467 HAS SOPS 2540857 HAS SOUS 500546 HAS SOUPS 485203 WITH SCORE 487847.467
AT ITER 2667 NEW BEST:: SOT 4316289 SOS 2644457 HAS SOPS 2540837 HAS SOUS 500526 HAS SOUPS 485183 WITH SCORE 487827.457
AT ITER 2689 NEW BEST:: SOT 4316289 SOS 2642390 HAS SOPS 2538572 HAS SOUS 500286 HAS SOUPS 484799 WITH SCORE 487441.39
AT ITER 2692 NEW BEST:: SOT 4314637 SOS 2649279 HAS SOPS 2545527 HAS SOUS 498725 HAS SOUPS 483238 WITH SCORE 485887.279
AT ITER 2694 NEW BEST:: SOT 4314820 SOS 2648109 HAS SOPS 2544109 HAS SOUS 498627 HAS SOUPS 483141 WITH SCORE 485789.109
AT ITER 2696 NEW BEST:: SOT 4314373 SOS 2647662 HAS SOPS 2543662 HAS SOUS 498180 HAS SOUPS 482694 WITH SCORE 485341.662
AT ITER 2697 NEW BEST:: SOT 4314589 SOS 2648454 HAS SOPS 2544686 HAS SOUS 497852 HAS SOUPS 482366 WITH SCORE 485014.454
AT ITER 2700 NEW BEST:: SOT 4312541 SOS 2646602 HAS SOPS 2542638 HAS SOUS 497708 HAS SOUPS 482201 WITH SCORE 484847.602
AT ITER 2701 NEW BEST:: SOT 4312541 SOS 2647958 HAS SOPS 2543963 HAS SOUS 497706 HAS SOUPS 482153 WITH SCORE 484800.958
AT ITER 2709 NEW BEST:: SOT 4302287 SOS 2638344 HAS SOPS 2533624 HAS SOUS 495756 HAS SOUPS 480098 WITH SCORE 482736.344
AT ITER 2714 NEW BEST:: SOT 4301625 SOS 2637682 HAS SOPS 2532933 HAS SOUS 495084 HAS SOUPS 479378 WITH SCORE 482015.682
AT ITER 2730 NEW BEST:: SOT 4302149 SOS 2641488 HAS SOPS 2539157 HAS SOUS 492440 HAS SOUPS 476791 WITH SCORE 479432.488
AT ITER 2744 NEW BEST:: SOT 4302149 SOS 2641426 HAS SOPS 2539095 HAS SOUS 492378 HAS SOUPS 476729 WITH SCORE 479370.426
AT ITER 2748 NEW BEST:: SOT 4303326 SOS 2644153 HAS SOPS 2555878 HAS SOUS 482171 HAS SOUPS 466780 WITH SCORE 469424.153
AT ITER 2757 NEW BEST:: SOT 4303326 SOS 2637799 HAS SOPS 2549438 HAS SOUS 482081 HAS SOUPS 466690 WITH SCORE 469327.799
AT ITER 2767 NEW BEST:: SOT 4303326 SOS 2637199 HAS SOPS 2548831 HAS SOUS 482062 HAS SOUPS 466671 WITH SCORE 469308.199
AT ITER 2774 NEW BEST:: SOT 4303326 SOS 2637183 HAS SOPS 2548799 HAS SOUS 482030 HAS SOUPS 466639 WITH SCORE 469276.183
AT ITER 2776 NEW BEST:: SOT 4303326 SOS 2634083 HAS SOPS 2545699 HAS SOUS 481968 HAS SOUPS 466577 WITH SCORE 469211.083
AT ITER 2778 NEW BEST:: SOT 4303326 SOS 2633093 HAS SOPS 2544719 HAS SOUS 481968 HAS SOUPS 466577 WITH SCORE 469210.093
AT ITER 2792 NEW BEST:: SOT 4303326 SOS 2633093 HAS SOPS 2544609 HAS SOUS 481858 HAS SOUPS 466357 WITH SCORE 468990.093
AT ITER 2795 NEW BEST:: SOT 4303326 SOS 2633276 HAS SOPS 2544787 HAS SOUS 481840 HAS SOUPS 466339 WITH SCORE 468972.276
AT ITER 2801 NEW BEST:: SOT 4303326 SOS 2633144 HAS SOPS 2544653 HAS SOUS 481836 HAS SOUPS 466335 WITH SCORE 468968.144
AT ITER 2804 NEW BEST:: SOT 4303326 SOS 2632844 HAS SOPS 2544353 HAS SOUS 481830 HAS SOUPS 466329 WITH SCORE 468961.844
AT ITER 2806 NEW BEST:: SOT 4303326 SOS 2630776 HAS SOPS 2541921 HAS SOUS 481298 HAS SOUPS 465917 WITH SCORE 468547.776
AT ITER 2807 NEW BEST:: SOT 4303239 SOS 2630689 HAS SOPS 2541834 HAS SOUS 481211 HAS SOUPS 465830 WITH SCORE 468460.689
AT ITER 2812 NEW BEST:: SOT 4303239 SOS 2629578 HAS SOPS 2540723 HAS SOUS 481201 HAS SOUPS 465808 WITH SCORE 468437.578
AT ITER 2817 NEW BEST:: SOT 4303239 SOS 2629566 HAS SOPS 2540699 HAS SOUS 481177 HAS SOUPS 465784 WITH SCORE 468413.566
AT ITER 2823 NEW BEST:: SOT 4303053 SOS 2629428 HAS SOPS 2540584 HAS SOUS 480964 HAS SOUPS 465645 WITH SCORE 468274.428
AT ITER 2825 NEW BEST:: SOT 4302709 SOS 2629108 HAS SOPS 2540240 HAS SOUS 480896 HAS SOUPS 465574 WITH SCORE 468203.108
AT ITER 2830 NEW BEST:: SOT 4302709 SOS 2629108 HAS SOPS 2540191 HAS SOUS 480847 HAS SOUPS 465476 WITH SCORE 468105.108
AT ITER 2831 NEW BEST:: SOT 4300885 SOS 2639478 HAS SOPS 2551770 HAS SOUS 480502 HAS SOUPS 465131 WITH SCORE 467770.478
AT ITER 2833 NEW BEST:: SOT 4300885 SOS 2638478 HAS SOPS 2550770 HAS SOUS 480482 HAS SOUPS 465111 WITH SCORE 467749.478
AT ITER 2839 NEW BEST:: SOT 4300885 SOS 2639186 HAS SOPS 2551470 HAS SOUS 480496 HAS SOUPS 465110 WITH SCORE 467749.186
AT ITER 2848 NEW BEST:: SOT 4307867 SOS 2644745 HAS SOPS 2558452 HAS SOUS 477301 HAS SOUPS 462031 WITH SCORE 464675.745
AT ITER 2849 NEW BEST:: SOT 4307931 SOS 2644732 HAS SOPS 2558520 HAS SOUS 477050 HAS SOUPS 461784 WITH SCORE 464428.732
AT ITER 2852 NEW BEST:: SOT 4304117 SOS 2638961 HAS SOPS 2550606 HAS SOUS 475611 HAS SOUPS 460299 WITH SCORE 462937.961
AT ITER 2869 NEW BEST:: SOT 4304117 SOS 2638961 HAS SOPS 2550539 HAS SOUS 475544 HAS SOUPS 460165 WITH SCORE 462803.961
AT ITER 2873 NEW BEST:: SOT 4304117 SOS 2638563 HAS SOPS 2550135 HAS SOUS 475536 HAS SOUPS 460151 WITH SCORE 462789.563
AT ITER 2902 NEW BEST:: SOT 4304478 SOS 2638714 HAS SOPS 2550496 HAS SOUS 474707 HAS SOUPS 459336 WITH SCORE 461974.714
AT ITER 2910 NEW BEST:: SOT 4304478 SOS 2638714 HAS SOPS 2550485 HAS SOUS 474696 HAS SOUPS 459314 WITH SCORE 461952.714
AT ITER 2924 NEW BEST:: SOT 4304478 SOS 2638411 HAS SOPS 2550182 HAS SOUS 474687 HAS SOUPS 459308 WITH SCORE 461946.411
AT ITER 2933 NEW BEST:: SOT 4304478 SOS 2643951 HAS SOPS 2555557 HAS SOUS 474768 HAS SOUPS 459297 WITH SCORE 461940.951
AT ITER 2939 NEW BEST:: SOT 4297432 SOS 2637088 HAS SOPS 2548511 HAS SOUS 472439 HAS SOUPS 456919 WITH SCORE 459556.088
AT ITER 2947 NEW BEST:: SOT 4297432 SOS 2636358 HAS SOPS 2547602 HAS SOUS 472242 HAS SOUPS 456722 WITH SCORE 459358.358
AT ITER 2949 NEW BEST:: SOT 4297432 SOS 2636358 HAS SOPS 2547547 HAS SOUS 472187 HAS SOUPS 456612 WITH SCORE 459248.358
AT ITER 2952 NEW BEST:: SOT 4296093 SOS 2635086 HAS SOPS 2546208 HAS SOUS 471881 HAS SOUPS 456295 WITH SCORE 458930.086
AT ITER 2959 NEW BEST:: SOT 4292741 SOS 2639319 HAS SOPS 2550948 HAS SOUS 469304 HAS SOUPS 453721 WITH SCORE 456360.319
AT ITER 2970 NEW BEST:: SOT 4291995 SOS 2638573 HAS SOPS 2550202 HAS SOUS 468558 HAS SOUPS 452975 WITH SCORE 455613.573
AT ITER 2982 NEW BEST:: SOT 4291788 SOS 2638366 HAS SOPS 2549995 HAS SOUS 468351 HAS SOUPS 452768 WITH SCORE 455406.366
AT ITER 2983 NEW BEST:: SOT 4291788 SOS 2634024 HAS SOPS 2545549 HAS SOUS 468254 HAS SOUPS 452574 WITH SCORE 455208.024
AT ITER 2984 NEW BEST:: SOT 4291788 SOS 2633909 HAS SOPS 2545292 HAS SOUS 467970 HAS SOUPS 452290 WITH SCORE 454923.909
AT ITER 2989 NEW BEST:: SOT 4291788 SOS 2630409 HAS SOPS 2541792 HAS SOUS 467900 HAS SOUPS 452220 WITH SCORE 454850.409
AT ITER 2991 NEW BEST:: SOT 4291788 SOS 2630398 HAS SOPS 2541752 HAS SOUS 467842 HAS SOUPS 452162 WITH SCORE 454792.398
AT ITER 2992 NEW BEST:: SOT 4291788 SOS 2629994 HAS SOPS 2541348 HAS SOUS 467830 HAS SOUPS 452154 WITH SCORE 454783.994
AT ITER 2997 NEW BEST:: SOT 4291788 SOS 2627557 HAS SOPS 2538833 HAS SOUS 467700 HAS SOUPS 452030 WITH SCORE 454657.557
AT ITER 3012 NEW BEST:: SOT 4288360 SOS 2624170 HAS SOPS 2535405 HAS SOUS 466431 HAS SOUPS 450739 WITH SCORE 453363.17
AT ITER 3033 NEW BEST:: SOT 4277313 SOS 2612273 HAS SOPS 2521631 HAS SOUS 464453 HAS SOUPS 448651 WITH SCORE 451263.273
AT ITER 3055 NEW BEST:: SOT 4277313 SOS 2611313 HAS SOPS 2520621 HAS SOUS 464353 HAS SOUPS 448581 WITH SCORE 451192.313
AT ITER 3081 NEW BEST:: SOT 4276718 SOS 2620010 HAS SOPS 2529620 HAS SOUS 464071 HAS SOUPS 448255 WITH SCORE 450875.01
AT ITER 3125 NEW BEST:: SOT 4275972 SOS 2619313 HAS SOPS 2528923 HAS SOUS 463374 HAS SOUPS 447558 WITH SCORE 450177.313
AT ITER 3133 NEW BEST:: SOT 4275972 SOS 2618641 HAS SOPS 2528223 HAS SOUS 463339 HAS SOUPS 447523 WITH SCORE 450141.641
AT ITER 3134 NEW BEST:: SOT 4275972 SOS 2615341 HAS SOPS 2524877 HAS SOUS 463227 HAS SOUPS 447411 WITH SCORE 450026.341
AT ITER 3143 NEW BEST:: SOT 4278529 SOS 2617754 HAS SOPS 2527464 HAS SOUS 462374 HAS SOUPS 446608 WITH SCORE 449225.754
AT ITER 3150 NEW BEST:: SOT 4278529 SOS 2639845 HAS SOPS 2549321 HAS SOUS 462153 HAS SOUPS 446387 WITH SCORE 449026.845
AT ITER 3172 NEW BEST:: SOT 4278894 SOS 2639342 HAS SOPS 2547086 HAS SOUS 460734 HAS SOUPS 444968 WITH SCORE 447607.342
AT ITER 3174 NEW BEST:: SOT 4278894 SOS 2639342 HAS SOPS 2546940 HAS SOUS 460588 HAS SOUPS 444822 WITH SCORE 447461.342
AT ITER 3180 NEW BEST:: SOT 4278894 SOS 2639297 HAS SOPS 2546850 HAS SOUS 460498 HAS SOUPS 444732 WITH SCORE 447371.297
AT ITER 3188 NEW BEST:: SOT 4278894 SOS 2638913 HAS SOPS 2545650 HAS SOUS 459658 HAS SOUPS 443892 WITH SCORE 446530.913
AT ITER 3190 NEW BEST:: SOT 4278894 SOS 2638715 HAS SOPS 2545448 HAS SOUS 459650 HAS SOUPS 443884 WITH SCORE 446522.715
AT ITER 3193 NEW BEST:: SOT 4278894 SOS 2631059 HAS SOPS 2537836 HAS SOUS 459510 HAS SOUPS 443820 WITH SCORE 446451.059
AT ITER 3238 NEW BEST:: SOT 4292559 SOS 2642878 HAS SOPS 2551693 HAS SOUS 458235 HAS SOUPS 442863 WITH SCORE 445505.878
AT ITER 3247 NEW BEST:: SOT 4292482 SOS 2642627 HAS SOPS 2551360 HAS SOUS 457911 HAS SOUPS 442609 WITH SCORE 445251.627
AT ITER 3251 NEW BEST:: SOT 4292512 SOS 2642647 HAS SOPS 2551341 HAS SOUS 457908 HAS SOUPS 442561 WITH SCORE 445203.647
AT ITER 3253 NEW BEST:: SOT 4292413 SOS 2636295 HAS SOPS 2542960 HAS SOUS 455616 HAS SOUPS 440269 WITH SCORE 442905.295
AT ITER 3276 NEW BEST:: SOT 4292413 SOS 2635107 HAS SOPS 2541772 HAS SOUS 455604 HAS SOUPS 440257 WITH SCORE 442892.107
AT ITER 3289 NEW BEST:: SOT 4290683 SOS 2633377 HAS SOPS 2540042 HAS SOUS 453874 HAS SOUPS 438527 WITH SCORE 441160.377
AT ITER 3302 NEW BEST:: SOT 4290683 SOS 2632888 HAS SOPS 2539542 HAS SOUS 453853 HAS SOUPS 438506 WITH SCORE 441138.888
AT ITER 3319 NEW BEST:: SOT 4290683 SOS 2632418 HAS SOPS 2539052 HAS SOUS 453828 HAS SOUPS 438481 WITH SCORE 441113.418
AT ITER 3320 NEW BEST:: SOT 4290679 SOS 2632414 HAS SOPS 2539016 HAS SOUS 453792 HAS SOUPS 438413 WITH SCORE 441045.414
AT ITER 3350 NEW BEST:: SOT 4290560 SOS 2632262 HAS SOPS 2538797 HAS SOUS 453704 HAS SOUPS 438324 WITH SCORE 440956.262
AT ITER 3363 NEW BEST:: SOT 4290533 SOS 2631037 HAS SOPS 2536043 HAS SOUS 452094 HAS SOUPS 436714 WITH SCORE 439345.037
AT ITER 3366 NEW BEST:: SOT 4290533 SOS 2631137 HAS SOPS 2536140 HAS SOUS 452092 HAS SOUPS 436712 WITH SCORE 439343.137
AT ITER 3388 NEW BEST:: SOT 4290533 SOS 2629037 HAS SOPS 2534040 HAS SOUS 452050 HAS SOUPS 436670 WITH SCORE 439299.037
AT ITER 3406 NEW BEST:: SOT 4291424 SOS 2628813 HAS SOPS 2534931 HAS SOUS 448356 HAS SOUPS 433033 WITH SCORE 435661.813
AT ITER 3429 NEW BEST:: SOT 4291424 SOS 2628813 HAS SOPS 2534928 HAS SOUS 448350 HAS SOUPS 433027 WITH SCORE 435655.813
AT ITER 3430 NEW BEST:: SOT 4291424 SOS 2627813 HAS SOPS 2533928 HAS SOUS 448330 HAS SOUPS 433007 WITH SCORE 435634.813
AT ITER 3454 NEW BEST:: SOT 4291424 SOS 2626139 HAS SOPS 2532220 HAS SOUS 448262 HAS SOUPS 432939 WITH SCORE 435565.139
AT ITER 3468 NEW BEST:: SOT 4291424 SOS 2624913 HAS SOPS 2530942 HAS SOUS 448184 HAS SOUPS 432883 WITH SCORE 435507.913
AT ITER 3477 NEW BEST:: SOT 4291424 SOS 2624903 HAS SOPS 2530922 HAS SOUS 448164 HAS SOUPS 432863 WITH SCORE 435487.903
AT ITER 3487 NEW BEST:: SOT 4290462 SOS 2623924 HAS SOPS 2529943 HAS SOUS 447185 HAS SOUPS 431884 WITH SCORE 434507.924
AT ITER 3494 NEW BEST:: SOT 4290462 SOS 2623924 HAS SOPS 2529938 HAS SOUS 447180 HAS SOUPS 431874 WITH SCORE 434497.924
AT ITER 3501 NEW BEST:: SOT 4290462 SOS 2623924 HAS SOPS 2529918 HAS SOUS 447091 HAS SOUPS 431834 WITH SCORE 434457.924
AT ITER 3507 NEW BEST:: SOT 4292032 SOS 2625352 HAS SOPS 2531488 HAS SOUS 447003 HAS SOUPS 431764 WITH SCORE 434389.352
AT ITER 3525 NEW BEST:: SOT 4292032 SOS 2617748 HAS SOPS 2523620 HAS SOUS 446537 HAS SOUPS 431418 WITH SCORE 434035.748
AT ITER 3528 NEW BEST:: SOT 4292144 SOS 2617708 HAS SOPS 2523732 HAS SOUS 446001 HAS SOUPS 430890 WITH SCORE 433507.708
AT ITER 3557 NEW BEST:: SOT 4292144 SOS 2616496 HAS SOPS 2522520 HAS SOUS 445977 HAS SOUPS 430866 WITH SCORE 433482.496
AT ITER 3558 NEW BEST:: SOT 4306998 SOS 2627657 HAS SOPS 2537374 HAS SOUS 439824 HAS SOUPS 424960 WITH SCORE 427587.657
AT ITER 3574 NEW BEST:: SOT 4306998 SOS 2627657 HAS SOPS 2537346 HAS SOUS 439796 HAS SOUPS 424904 WITH SCORE 427531.657
AT ITER 3576 NEW BEST:: SOT 4306998 SOS 2628566 HAS SOPS 2538244 HAS SOUS 439803 HAS SOUPS 424900 WITH SCORE 427528.566
AT ITER 3581 NEW BEST:: SOT 4306796 SOS 2628364 HAS SOPS 2538042 HAS SOUS 439598 HAS SOUPS 424698 WITH SCORE 427326.364
AT ITER 3594 NEW BEST:: SOT 4306796 SOS 2628358 HAS SOPS 2538027 HAS SOUS 439583 HAS SOUPS 424683 WITH SCORE 427311.358
AT ITER 3596 NEW BEST:: SOT 4306796 SOS 2628341 HAS SOPS 2538010 HAS SOUS 439583 HAS SOUPS 424683 WITH SCORE 427311.341
AT ITER 3601 NEW BEST:: SOT 4306796 SOS 2628567 HAS SOPS 2538210 HAS SOUS 439561 HAS SOUPS 424659 WITH SCORE 427287.567
AT ITER 3603 NEW BEST:: SOT 4306796 SOS 2628179 HAS SOPS 2537806 HAS SOUS 439537 HAS SOUPS 424635 WITH SCORE 427263.179
AT ITER 3614 NEW BEST:: SOT 4306796 SOS 2627386 HAS SOPS 2537013 HAS SOUS 439528 HAS SOUPS 424626 WITH SCORE 427253.386
AT ITER 3636 NEW BEST:: SOT 4306796 SOS 2627383 HAS SOPS 2537007 HAS SOUS 439522 HAS SOUPS 424620 WITH SCORE 427247.383
AT ITER 3641 NEW BEST:: SOT 4306796 SOS 2626642 HAS SOPS 2536207 HAS SOUS 439447 HAS SOUPS 424545 WITH SCORE 427171.642
AT ITER 3642 NEW BEST:: SOT 4306796 SOS 2624001 HAS SOPS 2533507 HAS SOUS 439334 HAS SOUPS 424459 WITH SCORE 427083.001
AT ITER 3650 NEW BEST:: SOT 4306796 SOS 2623617 HAS SOPS 2533107 HAS SOUS 439310 HAS SOUPS 424435 WITH SCORE 427058.617
AT ITER 3659 NEW BEST:: SOT 4306796 SOS 2622753 HAS SOPS 2532207 HAS SOUS 439256 HAS SOUPS 424381 WITH SCORE 427003.753
AT ITER 3681 NEW BEST:: SOT 4306796 SOS 2614493 HAS SOPS 2523925 HAS SOUS 439070 HAS SOUPS 424195 WITH SCORE 426809.493
AT ITER 3683 NEW BEST:: SOT 4307076 SOS 2617385 HAS SOPS 2528205 HAS SOUS 436818 HAS SOUPS 421983 WITH SCORE 424600.385
AT ITER 3688 NEW BEST:: SOT 4307076 SOS 2613231 HAS SOPS 2523354 HAS SOUS 436023 HAS SOUPS 421237 WITH SCORE 423850.231
AT ITER 3708 NEW BEST:: SOT 4307076 SOS 2611298 HAS SOPS 2521421 HAS SOUS 435952 HAS SOUPS 421185 WITH SCORE 423796.298
AT ITER 3729 NEW BEST:: SOT 4307076 SOS 2606641 HAS SOPS 2516713 HAS SOUS 435827 HAS SOUPS 421079 WITH SCORE 423685.641
AT ITER 3732 NEW BEST:: SOT 4308114 SOS 2605625 HAS SOPS 2517751 HAS SOUS 429819 HAS SOUPS 415162 WITH SCORE 417767.625
AT ITER 3736 NEW BEST:: SOT 4292856 SOS 2588541 HAS SOPS 2498493 HAS SOUS 428407 HAS SOUPS 413589 WITH SCORE 416177.541
AT ITER 3738 NEW BEST:: SOT 4297466 SOS 2598143 HAS SOPS 2511603 HAS SOUS 428195 HAS SOUPS 413462 WITH SCORE 416060.143
AT ITER 3739 NEW BEST:: SOT 4297466 SOS 2598143 HAS SOPS 2511574 HAS SOUS 428166 HAS SOUPS 413404 WITH SCORE 416002.143
AT ITER 3740 NEW BEST:: SOT 4297466 SOS 2598137 HAS SOPS 2511493 HAS SOUS 428066 HAS SOUPS 413304 WITH SCORE 415902.137
AT ITER 3746 NEW BEST:: SOT 4297646 SOS 2598147 HAS SOPS 2511673 HAS SOUS 427416 HAS SOUPS 412664 WITH SCORE 415262.147
AT ITER 3761 NEW BEST:: SOT 4287395 SOS 2586952 HAS SOPS 2495674 HAS SOUS 418499 HAS SOUPS 403732 WITH SCORE 406318.952
AT ITER 3771 NEW BEST:: SOT 4287395 SOS 2586927 HAS SOPS 2495624 HAS SOUS 418449 HAS SOUPS 403682 WITH SCORE 406268.927
AT ITER 3779 NEW BEST:: SOT 4285433 SOS 2584953 HAS SOPS 2493641 HAS SOUS 416466 HAS SOUPS 401699 WITH SCORE 404283.953
AT ITER 3785 NEW BEST:: SOT 4285433 SOS 2584659 HAS SOPS 2493344 HAS SOUS 416457 HAS SOUPS 401693 WITH SCORE 404277.659
AT ITER 3814 NEW BEST:: SOT 4285433 SOS 2582259 HAS SOPS 2490944 HAS SOUS 416409 HAS SOUPS 401645 WITH SCORE 404227.259
AT ITER 3830 NEW BEST:: SOT 4266799 SOS 2565878 HAS SOPS 2471953 HAS SOUS 416304 HAS SOUPS 401292 WITH SCORE 403857.878
AT ITER 3835 NEW BEST:: SOT 4263284 SOS 2596187 HAS SOPS 2504734 HAS SOUS 415931 HAS SOUPS 400849 WITH SCORE 403445.187
AT ITER 3842 NEW BEST:: SOT 4263284 SOS 2596146 HAS SOPS 2504645 HAS SOUS 415842 HAS SOUPS 400753 WITH SCORE 403349.146
AT ITER 3847 NEW BEST:: SOT 4260514 SOS 2593716 HAS SOPS 2501862 HAS SOUS 415819 HAS SOUPS 400686 WITH SCORE 403279.716
AT ITER 3869 NEW BEST:: SOT 4261536 SOS 2600439 HAS SOPS 2513029 HAS SOUS 406985 HAS SOUPS 392042 WITH SCORE 394642.439
AT ITER 3897 NEW BEST:: SOT 4261589 SOS 2600492 HAS SOPS 2513034 HAS SOUS 406990 HAS SOUPS 391999 WITH SCORE 394599.492
AT ITER 3901 NEW BEST:: SOT 4261589 SOS 2593616 HAS SOPS 2506158 HAS SOUS 406775 HAS SOUPS 391863 WITH SCORE 394456.616
AT ITER 3917 NEW BEST:: SOT 4261582 SOS 2593609 HAS SOPS 2506151 HAS SOUS 406768 HAS SOUPS 391856 WITH SCORE 394449.609
AT ITER 3918 NEW BEST:: SOT 4250563 SOS 2580680 HAS SOPS 2489932 HAS SOUS 401755 HAS SOUPS 386749 WITH SCORE 389329.68
AT ITER 3924 NEW BEST:: SOT 4250563 SOS 2580714 HAS SOPS 2489929 HAS SOUS 401752 HAS SOUPS 386709 WITH SCORE 389289.714
AT ITER 3939 NEW BEST:: SOT 4243457 SOS 2570320 HAS SOPS 2474541 HAS SOUS 398388 HAS SOUPS 383256 WITH SCORE 385826.32
AT ITER 3961 NEW BEST:: SOT 4243457 SOS 2568241 HAS SOPS 2472462 HAS SOUS 398346 HAS SOUPS 383235 WITH SCORE 385803.241
AT ITER 3977 NEW BEST:: SOT 4243457 SOS 2567424 HAS SOPS 2471645 HAS SOUS 398313 HAS SOUPS 383213 WITH SCORE 385780.424
AT ITER 3979 NEW BEST:: SOT 4243457 SOS 2567399 HAS SOPS 2471620 HAS SOUS 398288 HAS SOUPS 383188 WITH SCORE 385755.399
AT ITER 3981 NEW BEST:: SOT 4245590 SOS 2569079 HAS SOPS 2473787 HAS SOUS 397508 HAS SOUPS 382476 WITH SCORE 385045.079
AT ITER 4009 NEW BEST:: SOT 4248181 SOS 2571197 HAS SOPS 2476407 HAS SOUS 396830 HAS SOUPS 381836 WITH SCORE 384407.197
AT ITER 4047 NEW BEST:: SOT 4251449 SOS 2581732 HAS SOPS 2492374 HAS SOUS 384080 HAS SOUPS 369377 WITH SCORE 371958.732
AT ITER 4052 NEW BEST:: SOT 4250549 SOS 2596465 HAS SOPS 2507428 HAS SOUS 383956 HAS SOUPS 369253 WITH SCORE 371849.465
AT ITER 4075 NEW BEST:: SOT 4250634 SOS 2596547 HAS SOPS 2507514 HAS SOUS 383945 HAS SOUPS 369244 WITH SCORE 371840.547
AT ITER 4077 NEW BEST:: SOT 4252098 SOS 2597543 HAS SOPS 2508978 HAS SOUS 382477 HAS SOUPS 367810 WITH SCORE 370407.543
AT ITER 4080 NEW BEST:: SOT 4252538 SOS 2597482 HAS SOPS 2509449 HAS SOUS 380349 HAS SOUPS 365744 WITH SCORE 368341.482
AT ITER 4083 NEW BEST:: SOT 4252538 SOS 2595260 HAS SOPS 2507227 HAS SOUS 380267 HAS SOUPS 365700 WITH SCORE 368295.26
AT ITER 4098 NEW BEST:: SOT 4252538 SOS 2595255 HAS SOPS 2507195 HAS SOUS 380213 HAS SOUPS 365646 WITH SCORE 368241.255
AT ITER 4111 NEW BEST:: SOT 4252538 SOS 2593841 HAS SOPS 2505781 HAS SOUS 380125 HAS SOUPS 365618 WITH SCORE 368211.841
AT ITER 4116 NEW BEST:: SOT 4252658 SOS 2593614 HAS SOPS 2505941 HAS SOUS 378652 HAS SOUPS 364165 WITH SCORE 366758.614
AT ITER 4130 NEW BEST:: SOT 4252658 SOS 2593214 HAS SOPS 2505537 HAS SOUS 378640 HAS SOUPS 364153 WITH SCORE 366746.214
AT ITER 4135 NEW BEST:: SOT 4252658 SOS 2591305 HAS SOPS 2503590 HAS SOUS 378564 HAS SOUPS 364077 WITH SCORE 366668.305
AT ITER 4151 NEW BEST:: SOT 4252662 SOS 2591309 HAS SOPS 2503552 HAS SOUS 378504 HAS SOUPS 363997 WITH SCORE 366588.309
AT ITER 4161 NEW BEST:: SOT 4244491 SOS 2584129 HAS SOPS 2495378 HAS SOUS 377839 HAS SOUPS 363244 WITH SCORE 365828.129
AT ITER 4167 NEW BEST:: SOT 4244491 SOS 2584071 HAS SOPS 2495218 HAS SOUS 377651 HAS SOUPS 363040 WITH SCORE 365624.071
AT ITER 4170 NEW BEST:: SOT 4244491 SOS 2584068 HAS SOPS 2495215 HAS SOUS 377648 HAS SOUPS 363037 WITH SCORE 365621.068
AT ITER 4185 NEW BEST:: SOT 4243825 SOS 2583402 HAS SOPS 2494741 HAS SOUS 377316 HAS SOUPS 362755 WITH SCORE 365338.402
AT ITER 4186 NEW BEST:: SOT 4243825 SOS 2580776 HAS SOPS 2492115 HAS SOUS 377264 HAS SOUPS 362703 WITH SCORE 365283.776
AT ITER 4206 NEW BEST:: SOT 4253127 SOS 2587560 HAS SOPS 2501513 HAS SOUS 372098 HAS SOUPS 357771 WITH SCORE 360358.56
AT ITER 4209 NEW BEST:: SOT 4253127 SOS 2592860 HAS SOPS 2506750 HAS SOUS 372137 HAS SOUPS 357751 WITH SCORE 360343.86
AT ITER 4220 NEW BEST:: SOT 4253127 SOS 2594360 HAS SOPS 2508233 HAS SOUS 372133 HAS SOUPS 357747 WITH SCORE 360341.36
AT ITER 4226 NEW BEST:: SOT 4253127 SOS 2601430 HAS SOPS 2515205 HAS SOUS 372175 HAS SOUPS 357691 WITH SCORE 360292.43
AT ITER 4228 NEW BEST:: SOT 4253127 SOS 2601495 HAS SOPS 2515247 HAS SOUS 372217 HAS SOUPS 357687 WITH SCORE 360288.495
AT ITER 4246 NEW BEST:: SOT 4253543 SOS 2601626 HAS SOPS 2515663 HAS SOUS 371018 HAS SOUPS 356507 WITH SCORE 359108.626
AT ITER 4248 NEW BEST:: SOT 4253543 SOS 2603905 HAS SOPS 2517919 HAS SOUS 371023 HAS SOUPS 356504 WITH SCORE 359107.905
AT ITER 4254 NEW BEST:: SOT 4253543 SOS 2603605 HAS SOPS 2517619 HAS SOUS 371017 HAS SOUPS 356498 WITH SCORE 359101.605
AT ITER 4285 NEW BEST:: SOT 4253543 SOS 2602031 HAS SOPS 2515902 HAS SOUS 370983 HAS SOUPS 356321 WITH SCORE 358923.031
AT ITER 4288 NEW BEST:: SOT 4253709 SOS 2602884 HAS SOPS 2516968 HAS SOUS 370480 HAS SOUPS 355827 WITH SCORE 358429.884
AT ITER 4293 NEW BEST:: SOT 4255559 SOS 2604445 HAS SOPS 2518818 HAS SOUS 369619 HAS SOUPS 354996 WITH SCORE 357600.445
AT ITER 4315 NEW BEST:: SOT 4255506 SOS 2604392 HAS SOPS 2518765 HAS SOUS 369566 HAS SOUPS 354943 WITH SCORE 357547.392
AT ITER 4320 NEW BEST:: SOT 4255506 SOS 2604382 HAS SOPS 2518753 HAS SOUS 369554 HAS SOUPS 354939 WITH SCORE 357543.382
AT ITER 4344 NEW BEST:: SOT 4255506 SOS 2604384 HAS SOPS 2518753 HAS SOUS 369554 HAS SOUPS 354937 WITH SCORE 357541.384
AT ITER 4351 NEW BEST:: SOT 4255506 SOS 2604384 HAS SOPS 2518737 HAS SOUS 369538 HAS SOUPS 354905 WITH SCORE 357509.384
AT ITER 4362 NEW BEST:: SOT 4255488 SOS 2602368 HAS SOPS 2516619 HAS SOUS 369376 HAS SOUPS 354743 WITH SCORE 357345.368
AT ITER 4377 NEW BEST:: SOT 4255488 SOS 2602068 HAS SOPS 2516319 HAS SOUS 369370 HAS SOUPS 354737 WITH SCORE 357339.068
AT ITER 4387 NEW BEST:: SOT 4255488 SOS 2602262 HAS SOPS 2516495 HAS SOUS 369546 HAS SOUPS 354719 WITH SCORE 357321.262
AT ITER 4392 NEW BEST:: SOT 4255488 SOS 2602259 HAS SOPS 2516431 HAS SOUS 369482 HAS SOUPS 354655 WITH SCORE 357257.259
AT ITER 4396 NEW BEST:: SOT 4255488 SOS 2602259 HAS SOPS 2516325 HAS SOUS 369376 HAS SOUPS 354549 WITH SCORE 357151.259
AT ITER 4399 NEW BEST:: SOT 4251542 SOS 2598552 HAS SOPS 2512279 HAS SOUS 369089 HAS SOUPS 354222 WITH SCORE 356820.552
AT ITER 4401 NEW BEST:: SOT 4250218 SOS 2603894 HAS SOPS 2517621 HAS SOUS 367843 HAS SOUPS 353030 WITH SCORE 355633.894
AT ITER 4402 NEW BEST:: SOT 4250218 SOS 2603494 HAS SOPS 2517221 HAS SOUS 367835 HAS SOUPS 353022 WITH SCORE 355625.494
AT ITER 4403 NEW BEST:: SOT 4252588 SOS 2605300 HAS SOPS 2516617 HAS SOUS 367700 HAS SOUPS 352978 WITH SCORE 355583.3
AT ITER 4415 NEW BEST:: SOT 4252588 SOS 2605246 HAS SOPS 2516473 HAS SOUS 367580 HAS SOUPS 352798 WITH SCORE 355403.246
AT ITER 4418 NEW BEST:: SOT 4252588 SOS 2604737 HAS SOPS 2515964 HAS SOUS 367561 HAS SOUPS 352786 WITH SCORE 355390.737
AT ITER 4429 NEW BEST:: SOT 4252588 SOS 2605037 HAS SOPS 2516251 HAS SOUS 367541 HAS SOUPS 352766 WITH SCORE 355371.037
AT ITER 4437 NEW BEST:: SOT 4252588 SOS 2605037 HAS SOPS 2516232 HAS SOUS 367522 HAS SOUPS 352728 WITH SCORE 355333.037
AT ITER 4438 NEW BEST:: SOT 4252588 SOS 2605406 HAS SOPS 2516601 HAS SOUS 367506 HAS SOUPS 352712 WITH SCORE 355317.406
AT ITER 4449 NEW BEST:: SOT 4252588 SOS 2605406 HAS SOPS 2516590 HAS SOUS 367484 HAS SOUPS 352690 WITH SCORE 355295.406
AT ITER 4450 NEW BEST:: SOT 4252588 SOS 2604822 HAS SOPS 2514666 HAS SOUS 366086 HAS SOUPS 351307 WITH SCORE 353911.822
AT ITER 4459 NEW BEST:: SOT 4252588 SOS 2604810 HAS SOPS 2514635 HAS SOUS 366055 HAS SOUPS 351269 WITH SCORE 353873.81
AT ITER 4461 NEW BEST:: SOT 4252588 SOS 2604401 HAS SOPS 2514226 HAS SOUS 366008 HAS SOUPS 351261 WITH SCORE 353865.401
AT ITER 4483 NEW BEST:: SOT 4252588 SOS 2603001 HAS SOPS 2512780 HAS SOUS 365902 HAS SOUPS 351155 WITH SCORE 353758.001
AT ITER 4488 NEW BEST:: SOT 4252395 SOS 2597283 HAS SOPS 2503979 HAS SOUS 362454 HAS SOUPS 347707 WITH SCORE 350304.283
AT ITER 4505 NEW BEST:: SOT 4252395 SOS 2603569 HAS SOPS 2510179 HAS SOUS 362488 HAS SOUPS 347683 WITH SCORE 350286.569
AT ITER 4506 NEW BEST:: SOT 4252395 SOS 2605567 HAS SOPS 2512155 HAS SOUS 362484 HAS SOUPS 347679 WITH SCORE 350284.567
AT ITER 4522 NEW BEST:: SOT 4252395 SOS 2604963 HAS SOPS 2511551 HAS SOUS 362462 HAS SOUPS 347669 WITH SCORE 350273.963
AT ITER 4523 NEW BEST:: SOT 4252395 SOS 2603678 HAS SOPS 2510251 HAS SOUS 362434 HAS SOUPS 347641 WITH SCORE 350244.678
AT ITER 4528 NEW BEST:: SOT 4252395 SOS 2596721 HAS SOPS 2503336 HAS SOUS 362311 HAS SOUPS 347587 WITH SCORE 350183.721
AT ITER 4535 NEW BEST:: SOT 4252371 SOS 2595092 HAS SOPS 2500912 HAS SOUS 361444 HAS SOUPS 346720 WITH SCORE 349315.092
AT ITER 4555 NEW BEST:: SOT 4252371 SOS 2595083 HAS SOPS 2500875 HAS SOUS 361407 HAS SOUPS 346664 WITH SCORE 349259.083
AT ITER 4610 NEW BEST:: SOT 4252371 SOS 2595083 HAS SOPS 2500813 HAS SOUS 361345 HAS SOUPS 346540 WITH SCORE 349135.083
AT ITER 4621 NEW BEST:: SOT 4252364 SOS 2594827 HAS SOPS 2500557 HAS SOUS 361285 HAS SOUPS 346482 WITH SCORE 349076.827
AT ITER 4625 NEW BEST:: SOT 4252364 SOS 2594120 HAS SOPS 2499850 HAS SOUS 361271 HAS SOUPS 346468 WITH SCORE 349062.12
AT ITER 4629 NEW BEST:: SOT 4252197 SOS 2593953 HAS SOPS 2499652 HAS SOUS 361073 HAS SOUPS 346239 WITH SCORE 348832.953
AT ITER 4633 NEW BEST:: SOT 4252197 SOS 2583299 HAS SOPS 2488972 HAS SOUS 360839 HAS SOUPS 346005 WITH SCORE 348588.299
AT ITER 4635 NEW BEST:: SOT 4252189 SOS 2583291 HAS SOPS 2488964 HAS SOUS 360831 HAS SOUPS 345997 WITH SCORE 348580.291
AT ITER 4639 NEW BEST:: SOT 4252189 SOS 2583289 HAS SOPS 2488962 HAS SOUS 360829 HAS SOUPS 345997 WITH SCORE 348580.289
AT ITER 4645 NEW BEST:: SOT 4252189 SOS 2582784 HAS SOPS 2488457 HAS SOUS 360819 HAS SOUPS 345987 WITH SCORE 348569.784
AT ITER 4675 NEW BEST:: SOT 4252189 SOS 2582584 HAS SOPS 2488257 HAS SOUS 360979 HAS SOUPS 345983 WITH SCORE 348565.584
AT ITER 4680 NEW BEST:: SOT 4252189 SOS 2582535 HAS SOPS 2488195 HAS SOUS 360917 HAS SOUPS 345957 WITH SCORE 348539.535
AT ITER 4682 NEW BEST:: SOT 4252189 SOS 2582335 HAS SOPS 2487995 HAS SOUS 360913 HAS SOUPS 345953 WITH SCORE 348535.335
AT ITER 4696 NEW BEST:: SOT 4252189 SOS 2582335 HAS SOPS 2487952 HAS SOUS 360870 HAS SOUPS 345867 WITH SCORE 348449.335
AT ITER 4711 NEW BEST:: SOT 4252189 SOS 2582335 HAS SOPS 2487935 HAS SOUS 360853 HAS SOUPS 345833 WITH SCORE 348415.335
AT ITER 4727 NEW BEST:: SOT 4252189 SOS 2582323 HAS SOPS 2487911 HAS SOUS 360829 HAS SOUPS 345809 WITH SCORE 348391.323
AT ITER 4743 NEW BEST:: SOT 4252189 SOS 2582214 HAS SOPS 2487802 HAS SOUS 360720 HAS SOUPS 345809 WITH SCORE 348391.214
AT ITER 4758 NEW BEST:: SOT 4252189 SOS 2581507 HAS SOPS 2487095 HAS SOUS 360658 HAS SOUPS 345795 WITH SCORE 348376.507
AT ITER 4772 NEW BEST:: SOT 4252189 SOS 2581469 HAS SOPS 2487057 HAS SOUS 360658 HAS SOUPS 345795 WITH SCORE 348376.469
AT ITER 4776 NEW BEST:: SOT 4252189 SOS 2581459 HAS SOPS 2487047 HAS SOUS 360648 HAS SOUPS 345795 WITH SCORE 348376.459
AT ITER 4797 NEW BEST:: SOT 4252189 SOS 2581459 HAS SOPS 2487040 HAS SOUS 360641 HAS SOUPS 345781 WITH SCORE 348362.459
AT ITER 4815 NEW BEST:: SOT 4248577 SOS 2577805 HAS SOPS 2482721 HAS SOUS 358627 HAS SOUPS 343767 WITH SCORE 346344.805
AT ITER 4819 NEW BEST:: SOT 4248577 SOS 2578605 HAS SOPS 2483496 HAS SOUS 358631 HAS SOUPS 343725 WITH SCORE 346303.605
AT ITER 4825 NEW BEST:: SOT 4248555 SOS 2578523 HAS SOPS 2483392 HAS SOUS 358527 HAS SOUPS 343621 WITH SCORE 346199.523
AT ITER 4830 NEW BEST:: SOT 4246135 SOS 2575524 HAS SOPS 2478952 HAS SOUS 356606 HAS SOUPS 341700 WITH SCORE 344275.524
AT ITER 4841 NEW BEST:: SOT 4246135 SOS 2579085 HAS SOPS 2482474 HAS SOUS 356600 HAS SOUPS 341694 WITH SCORE 344273.085
AT ITER 4847 NEW BEST:: SOT 4246135 SOS 2575484 HAS SOPS 2478676 HAS SOUS 356369 HAS SOUPS 341463 WITH SCORE 344038.484
AT ITER 4853 NEW BEST:: SOT 4246135 SOS 2575463 HAS SOPS 2478651 HAS SOUS 356344 HAS SOUPS 341455 WITH SCORE 344030.463
AT ITER 4868 NEW BEST:: SOT 4246135 SOS 2575555 HAS SOPS 2478730 HAS SOUS 356320 HAS SOUPS 341431 WITH SCORE 344006.555
AT ITER 4876 NEW BEST:: SOT 4246097 SOS 2575517 HAS SOPS 2478692 HAS SOUS 356282 HAS SOUPS 341393 WITH SCORE 343968.517
AT ITER 4900 NEW BEST:: SOT 4246097 SOS 2575517 HAS SOPS 2478672 HAS SOUS 356262 HAS SOUPS 341353 WITH SCORE 343928.517
AT ITER 4911 NEW BEST:: SOT 4246097 SOS 2581880 HAS SOPS 2484963 HAS SOUS 356388 HAS SOUPS 341335 WITH SCORE 343916.88
AT ITER 4961 NEW BEST:: SOT 4246097 SOS 2580159 HAS SOPS 2483242 HAS SOUS 356333 HAS SOUPS 341301 WITH SCORE 343881.159
AT ITER 4987 NEW BEST:: SOT 4246035 SOS 2579963 HAS SOPS 2482979 HAS SOUS 356114 HAS SOUPS 341105 WITH SCORE 343684.963
AT ITER 5002 NEW BEST:: SOT 4246035 SOS 2583183 HAS SOPS 2486162 HAS SOUS 356104 HAS SOUPS 341095 WITH SCORE 343678.183
AT ITER 5027 NEW BEST:: SOT 4245635 SOS 2582783 HAS SOPS 2485762 HAS SOUS 355704 HAS SOUPS 340695 WITH SCORE 343277.783
AT ITER 5031 NEW BEST:: SOT 4245635 SOS 2582076 HAS SOPS 2485062 HAS SOUS 355690 HAS SOUPS 340695 WITH SCORE 343277.076
AT ITER 5042 NEW BEST:: SOT 4245635 SOS 2581571 HAS SOPS 2484557 HAS SOUS 355905 HAS SOUPS 340685 WITH SCORE 343266.571
AT ITER 5050 NEW BEST:: SOT 4245668 SOS 2581655 HAS SOPS 2484497 HAS SOUS 355845 HAS SOUPS 340453 WITH SCORE 343034.655
AT ITER 5056 NEW BEST:: SOT 4245668 SOS 2581697 HAS SOPS 2484478 HAS SOUS 355826 HAS SOUPS 340373 WITH SCORE 342954.697
AT ITER 5059 NEW BEST:: SOT 4245668 SOS 2581679 HAS SOPS 2484169 HAS SOUS 355526 HAS SOUPS 340070 WITH SCORE 342651.679
AT ITER 5076 NEW BEST:: SOT 4245758 SOS 2581499 HAS SOPS 2484265 HAS SOUS 354392 HAS SOUPS 338957 WITH SCORE 341538.499
AT ITER 5102 NEW BEST:: SOT 4236047 SOS 2572137 HAS SOPS 2474554 HAS SOUS 351632 HAS SOUPS 336124 WITH SCORE 338696.137
AT ITER 5119 NEW BEST:: SOT 4236047 SOS 2572137 HAS SOPS 2474515 HAS SOUS 351493 HAS SOUPS 336046 WITH SCORE 338618.137
AT ITER 5126 NEW BEST:: SOT 4236371 SOS 2572276 HAS SOPS 2474839 HAS SOUS 350802 HAS SOUPS 335367 WITH SCORE 337939.276
AT ITER 5133 NEW BEST:: SOT 4236369 SOS 2572274 HAS SOPS 2474768 HAS SOUS 350786 HAS SOUPS 335227 WITH SCORE 337799.274
AT ITER 5138 NEW BEST:: SOT 4236369 SOS 2570658 HAS SOPS 2473152 HAS SOUS 350750 HAS SOUPS 335195 WITH SCORE 337765.658
AT ITER 5155 NEW BEST:: SOT 4236369 SOS 2570340 HAS SOPS 2472834 HAS SOUS 350726 HAS SOUPS 335174 WITH SCORE 337744.34
AT ITER 5160 NEW BEST:: SOT 4236369 SOS 2569431 HAS SOPS 2471925 HAS SOUS 350708 HAS SOUPS 335156 WITH SCORE 337725.431
AT ITER 5201 NEW BEST:: SOT 4236369 SOS 2569431 HAS SOPS 2471917 HAS SOUS 350692 HAS SOUPS 335140 WITH SCORE 337709.431
AT ITER 5203 NEW BEST:: SOT 4236369 SOS 2578877 HAS SOPS 2481256 HAS SOUS 350741 HAS SOUPS 335114 WITH SCORE 337692.877
AT ITER 5234 NEW BEST:: SOT 4236369 SOS 2578877 HAS SOPS 2481232 HAS SOUS 350717 HAS SOUPS 335066 WITH SCORE 337644.877
AT ITER 5235 NEW BEST:: SOT 4236369 SOS 2578879 HAS SOPS 2481232 HAS SOUS 350717 HAS SOUPS 335064 WITH SCORE 337642.879
AT ITER 5238 NEW BEST:: SOT 4236369 SOS 2578833 HAS SOPS 2481140 HAS SOUS 350625 HAS SOUPS 334972 WITH SCORE 337550.833
AT ITER 5241 NEW BEST:: SOT 4237347 SOS 2579535 HAS SOPS 2480704 HAS SOUS 350437 HAS SOUPS 334784 WITH SCORE 337363.535
AT ITER 5254 NEW BEST:: SOT 4237347 SOS 2579543 HAS SOPS 2480683 HAS SOUS 350416 HAS SOUPS 334734 WITH SCORE 337313.543
AT ITER 5274 NEW BEST:: SOT 4237347 SOS 2579243 HAS SOPS 2480386 HAS SOUS 350416 HAS SOUPS 334734 WITH SCORE 337313.243
AT ITER 5280 NEW BEST:: SOT 4237347 SOS 2570860 HAS SOPS 2472073 HAS SOUS 350336 HAS SOUPS 334708 WITH SCORE 337278.86
AT ITER 5281 NEW BEST:: SOT 4237347 SOS 2569463 HAS SOPS 2470676 HAS SOUS 350306 HAS SOUPS 334694 WITH SCORE 337263.463
AT ITER 5331 NEW BEST:: SOT 4237347 SOS 2569438 HAS SOPS 2470626 HAS SOUS 350261 HAS SOUPS 334644 WITH SCORE 337213.438
AT ITER 5342 NEW BEST:: SOT 4228133 SOS 2560667 HAS SOPS 2461412 HAS SOUS 346604 HAS SOUPS 330927 WITH SCORE 333487.667
AT ITER 5350 NEW BEST:: SOT 4228133 SOS 2562310 HAS SOPS 2462995 HAS SOUS 346522 HAS SOUPS 330840 WITH SCORE 333402.31
AT ITER 5352 NEW BEST:: SOT 4228133 SOS 2561810 HAS SOPS 2462495 HAS SOUS 346512 HAS SOUPS 330830 WITH SCORE 333391.81
AT ITER 5382 NEW BEST:: SOT 4228391 SOS 2562061 HAS SOPS 2462753 HAS SOUS 346477 HAS SOUPS 330798 WITH SCORE 333360.061
AT ITER 5405 NEW BEST:: SOT 4228391 SOS 2562061 HAS SOPS 2462718 HAS SOUS 346442 HAS SOUPS 330728 WITH SCORE 333290.061
AT ITER 5410 NEW BEST:: SOT 4228391 SOS 2562038 HAS SOPS 2462691 HAS SOUS 346415 HAS SOUPS 330720 WITH SCORE 333282.038
AT ITER 5413 NEW BEST:: SOT 4228366 SOS 2562013 HAS SOPS 2462666 HAS SOUS 346390 HAS SOUPS 330695 WITH SCORE 333257.013
AT ITER 5417 NEW BEST:: SOT 4228366 SOS 2566154 HAS SOPS 2466760 HAS SOUS 346467 HAS SOUPS 330683 WITH SCORE 333249.154
AT ITER 5425 NEW BEST:: SOT 4228366 SOS 2565649 HAS SOPS 2466255 HAS SOUS 346457 HAS SOUPS 330673 WITH SCORE 333238.649
AT ITER 5429 NEW BEST:: SOT 4228366 SOS 2566457 HAS SOPS 2467047 HAS SOUS 346551 HAS SOUPS 330657 WITH SCORE 333223.457
AT ITER 5433 NEW BEST:: SOT 4228366 SOS 2566454 HAS SOPS 2467044 HAS SOUS 346551 HAS SOUPS 330657 WITH SCORE 333223.454
AT ITER 5441 NEW BEST:: SOT 4228366 SOS 2565255 HAS SOPS 2465845 HAS SOUS 346532 HAS SOUPS 330633 WITH SCORE 333198.255
AT ITER 5462 NEW BEST:: SOT 4227988 SOS 2564879 HAS SOPS 2465465 HAS SOUS 346350 HAS SOUPS 330447 WITH SCORE 333011.879
AT ITER 5478 NEW BEST:: SOT 4227988 SOS 2563379 HAS SOPS 2463972 HAS SOUS 346327 HAS SOUPS 330431 WITH SCORE 332994.379
AT ITER 5491 NEW BEST:: SOT 4227988 SOS 2559979 HAS SOPS 2460572 HAS SOUS 346259 HAS SOUPS 330363 WITH SCORE 332922.979
AT ITER 5500 NEW BEST:: SOT 4227988 SOS 2559171 HAS SOPS 2459764 HAS SOUS 346148 HAS SOUPS 330347 WITH SCORE 332906.171
AT ITER 5506 NEW BEST:: SOT 4226848 SOS 2558103 HAS SOPS 2458624 HAS SOUS 345736 HAS SOUPS 329927 WITH SCORE 332485.103
AT ITER 5538 NEW BEST:: SOT 4226727 SOS 2557995 HAS SOPS 2458503 HAS SOUS 345702 HAS SOUPS 329892 WITH SCORE 332449.995
AT ITER 5550 NEW BEST:: SOT 4227121 SOS 2558175 HAS SOPS 2458911 HAS SOUS 344924 HAS SOUPS 329142 WITH SCORE 331700.175
AT ITER 5569 NEW BEST:: SOT 4227174 SOS 2558228 HAS SOPS 2458910 HAS SOUS 344923 HAS SOUPS 329087 WITH SCORE 331645.228
AT ITER 5579 NEW BEST:: SOT 4227216 SOS 2559133 HAS SOPS 2460265 HAS SOUS 343341 HAS SOUPS 327526 WITH SCORE 330085.133
AT ITER 5615 NEW BEST:: SOT 4226516 SOS 2558512 HAS SOPS 2459565 HAS SOUS 343162 HAS SOUPS 327341 WITH SCORE 329899.512
AT ITER 5616 NEW BEST:: SOT 4226516 SOS 2558460 HAS SOPS 2459513 HAS SOUS 343110 HAS SOUPS 327341 WITH SCORE 329899.46
AT ITER 5619 NEW BEST:: SOT 4226516 SOS 2555791 HAS SOPS 2456846 HAS SOUS 343107 HAS SOUPS 327318 WITH SCORE 329873.791
AT ITER 5657 NEW BEST:: SOT 4226490 SOS 2555765 HAS SOPS 2456820 HAS SOUS 343081 HAS SOUPS 327292 WITH SCORE 329847.765
AT ITER 5674 NEW BEST:: SOT 4226490 SOS 2554925 HAS SOPS 2456083 HAS SOUS 343028 HAS SOUPS 327268 WITH SCORE 329822.925
AT ITER 5675 NEW BEST:: SOT 4226490 SOS 2551289 HAS SOPS 2452447 HAS SOUS 342956 HAS SOUPS 327196 WITH SCORE 329747.289
AT ITER 5679 NEW BEST:: SOT 4226490 SOS 2551191 HAS SOPS 2451253 HAS SOUS 341878 HAS SOUPS 326076 WITH SCORE 328627.191
AT ITER 5682 NEW BEST:: SOT 4218087 SOS 2543937 HAS SOPS 2442723 HAS SOUS 341232 HAS SOUPS 325339 WITH SCORE 327882.937
AT ITER 5689 NEW BEST:: SOT 4218087 SOS 2544819 HAS SOPS 2443593 HAS SOUS 341220 HAS SOUPS 325327 WITH SCORE 327871.819
AT ITER 5695 NEW BEST:: SOT 4218087 SOS 2544794 HAS SOPS 2443568 HAS SOUS 341276 HAS SOUPS 325327 WITH SCORE 327871.794
AT ITER 5719 NEW BEST:: SOT 4218087 SOS 2544791 HAS SOPS 2443561 HAS SOUS 341269 HAS SOUPS 325319 WITH SCORE 327863.791
AT ITER 5736 NEW BEST:: SOT 4218087 SOS 2544758 HAS SOPS 2443460 HAS SOUS 341163 HAS SOUPS 325249 WITH SCORE 327793.758
AT ITER 5742 NEW BEST:: SOT 4218087 SOS 2544748 HAS SOPS 2443440 HAS SOUS 341153 HAS SOUPS 325229 WITH SCORE 327773.748
AT ITER 5745 NEW BEST:: SOT 4218087 SOS 2543637 HAS SOPS 2442333 HAS SOUS 341124 HAS SOUPS 325215 WITH SCORE 327758.637
AT ITER 5775 NEW BEST:: SOT 4218087 SOS 2543637 HAS SOPS 2442327 HAS SOUS 341118 HAS SOUPS 325203 WITH SCORE 327746.637
AT ITER 5800 NEW BEST:: SOT 4218087 SOS 2543132 HAS SOPS 2441822 HAS SOUS 341106 HAS SOUPS 325193 WITH SCORE 327736.132
AT ITER 5809 NEW BEST:: SOT 4218069 SOS 2542772 HAS SOPS 2440788 HAS SOUS 340378 HAS SOUPS 324475 WITH SCORE 327017.772
AT ITER 5821 NEW BEST:: SOT 4218069 SOS 2542716 HAS SOPS 2440676 HAS SOUS 340266 HAS SOUPS 324363 WITH SCORE 326905.716
AT ITER 5823 NEW BEST:: SOT 4215502 SOS 2540478 HAS SOPS 2438109 HAS SOUS 340170 HAS SOUPS 324239 WITH SCORE 326779.478
AT ITER 5828 NEW BEST:: SOT 4215502 SOS 2540478 HAS SOPS 2438101 HAS SOUS 340162 HAS SOUPS 324223 WITH SCORE 326763.478
AT ITER 5837 NEW BEST:: SOT 4211282 SOS 2535831 HAS SOPS 2431081 HAS SOUS 336313 HAS SOUPS 320346 WITH SCORE 322881.831
AT ITER 5841 NEW BEST:: SOT 4211251 SOS 2535705 HAS SOPS 2430519 HAS SOUS 335836 HAS SOUPS 319843 WITH SCORE 322378.705
AT ITER 5850 NEW BEST:: SOT 4211251 SOS 2523405 HAS SOPS 2418342 HAS SOUS 335713 HAS SOUPS 319843 WITH SCORE 322366.405
AT ITER 5868 NEW BEST:: SOT 4211251 SOS 2525710 HAS SOPS 2420617 HAS SOUS 335734 HAS SOUPS 319829 WITH SCORE 322354.71
AT ITER 5886 NEW BEST:: SOT 4211251 SOS 2525609 HAS SOPS 2420516 HAS SOUS 335731 HAS SOUPS 319827 WITH SCORE 322352.609
AT ITER 5917 NEW BEST:: SOT 4211251 SOS 2533283 HAS SOPS 2428087 HAS SOUS 335767 HAS SOUPS 319775 WITH SCORE 322308.283
AT ITER 5927 NEW BEST:: SOT 4211251 SOS 2533282 HAS SOPS 2428085 HAS SOUS 335765 HAS SOUPS 319773 WITH SCORE 322306.282
AT ITER 5948 NEW BEST:: SOT 4211251 SOS 2533282 HAS SOPS 2428076 HAS SOUS 335747 HAS SOUPS 319755 WITH SCORE 322288.282
AT ITER 5953 NEW BEST:: SOT 4211251 SOS 2532272 HAS SOPS 2427066 HAS SOUS 335717 HAS SOUPS 319735 WITH SCORE 322267.272
AT ITER 5984 NEW BEST:: SOT 4211251 SOS 2526717 HAS SOPS 2421511 HAS SOUS 335607 HAS SOUPS 319625 WITH SCORE 322151.717
AT ITER 5991 NEW BEST:: SOT 4211251 SOS 2526111 HAS SOPS 2420905 HAS SOUS 335595 HAS SOUPS 319613 WITH SCORE 322139.111
AT ITER 6012 NEW BEST:: SOT 4211251 SOS 2526319 HAS SOPS 2421105 HAS SOUS 335597 HAS SOUPS 319607 WITH SCORE 322133.319
AT ITER 6019 NEW BEST:: SOT 4211251 SOS 2524804 HAS SOPS 2419590 HAS SOUS 335567 HAS SOUPS 319577 WITH SCORE 322101.804
AT ITER 6027 NEW BEST:: SOT 4211251 SOS 2528036 HAS SOPS 2422775 HAS SOUS 335577 HAS SOUPS 319547 WITH SCORE 322075.036
AT ITER 6058 NEW BEST:: SOT 4208693 SOS 2525621 HAS SOPS 2420217 HAS SOUS 334476 HAS SOUPS 318430 WITH SCORE 320955.621
AT ITER 6061 NEW BEST:: SOT 4205591 SOS 2519506 HAS SOPS 2411715 HAS SOUS 334279 HAS SOUPS 318179 WITH SCORE 320698.506
AT ITER 6074 NEW BEST:: SOT 4205591 SOS 2517346 HAS SOPS 2409555 HAS SOUS 334237 HAS SOUPS 318137 WITH SCORE 320654.346
AT ITER 6087 NEW BEST:: SOT 4200918 SOS 2513099 HAS SOPS 2404882 HAS SOUS 332638 HAS SOUPS 316503 WITH SCORE 319016.099
AT ITER 6093 NEW BEST:: SOT 4200918 SOS 2512799 HAS SOPS 2404582 HAS SOUS 332632 HAS SOUPS 316497 WITH SCORE 319009.799
AT ITER 6101 NEW BEST:: SOT 4200918 SOS 2512759 HAS SOPS 2404542 HAS SOUS 332592 HAS SOUPS 316497 WITH SCORE 319009.759
AT ITER 6104 NEW BEST:: SOT 4200918 SOS 2512732 HAS SOPS 2404488 HAS SOUS 332538 HAS SOUPS 316443 WITH SCORE 318955.732
AT ITER 6133 NEW BEST:: SOT 4200078 SOS 2511789 HAS SOPS 2403048 HAS SOUS 331789 HAS SOUPS 315688 WITH SCORE 318199.789
AT ITER 6140 NEW BEST:: SOT 4195550 SOS 2506195 HAS SOPS 2394320 HAS SOUS 328243 HAS SOUPS 312100 WITH SCORE 314606.195
AT ITER 6180 NEW BEST:: SOT 4195531 SOS 2505712 HAS SOPS 2392382 HAS SOUS 326731 HAS SOUPS 310588 WITH SCORE 313093.712
AT ITER 6186 NEW BEST:: SOT 4195531 SOS 2500758 HAS SOPS 2387428 HAS SOUS 326579 HAS SOUPS 310490 WITH SCORE 312990.758
AT ITER 6236 NEW BEST:: SOT 4195531 SOS 2500758 HAS SOPS 2387414 HAS SOUS 326565 HAS SOUPS 310462 WITH SCORE 312962.758
AT ITER 6248 NEW BEST:: SOT 4195531 SOS 2500719 HAS SOPS 2387375 HAS SOUS 326526 HAS SOUPS 310462 WITH SCORE 312962.719
AT ITER 6282 NEW BEST:: SOT 4195531 SOS 2499406 HAS SOPS 2386062 HAS SOUS 326487 HAS SOUPS 310436 WITH SCORE 312935.406
AT ITER 6283 NEW BEST:: SOT 4195531 SOS 2494396 HAS SOPS 2381100 HAS SOUS 326435 HAS SOUPS 310434 WITH SCORE 312928.396
AT ITER 6285 NEW BEST:: SOT 4195522 SOS 2494387 HAS SOPS 2381091 HAS SOUS 326426 HAS SOUPS 310425 WITH SCORE 312919.387
AT ITER 6289 NEW BEST:: SOT 4195522 SOS 2496003 HAS SOPS 2382690 HAS SOUS 326441 HAS SOUPS 310423 WITH SCORE 312919.003
AT ITER 6308 NEW BEST:: SOT 4187561 SOS 2485416 HAS SOPS 2368267 HAS SOUS 322916 HAS SOUPS 306814 WITH SCORE 309299.416
AT ITER 6326 NEW BEST:: SOT 4187561 SOS 2483661 HAS SOPS 2366209 HAS SOUS 322592 HAS SOUPS 306490 WITH SCORE 308973.661
AT ITER 6336 NEW BEST:: SOT 4183181 SOS 2479659 HAS SOPS 2361820 HAS SOUS 320818 HAS SOUPS 304686 WITH SCORE 307165.659
AT ITER 6342 NEW BEST:: SOT 4183181 SOS 2479558 HAS SOPS 2361719 HAS SOUS 320816 HAS SOUPS 304684 WITH SCORE 307163.558
AT ITER 6349 NEW BEST:: SOT 4183181 SOS 2479457 HAS SOPS 2361618 HAS SOUS 320808 HAS SOUPS 304682 WITH SCORE 307161.457
AT ITER 6372 NEW BEST:: SOT 4183700 SOS 2479672 HAS SOPS 2360037 HAS SOUS 319489 HAS SOUPS 303363 WITH SCORE 305842.672
AT ITER 6383 NEW BEST:: SOT 4183700 SOS 2479672 HAS SOPS 2360024 HAS SOUS 319476 HAS SOUPS 303337 WITH SCORE 305816.672
AT ITER 6394 NEW BEST:: SOT 4183700 SOS 2480872 HAS SOPS 2361196 HAS SOUS 319466 HAS SOUPS 303305 WITH SCORE 305785.872
AT ITER 6404 NEW BEST:: SOT 4183700 SOS 2480817 HAS SOPS 2361130 HAS SOUS 319420 HAS SOUPS 303271 WITH SCORE 305751.817
AT ITER 6423 NEW BEST:: SOT 4183700 SOS 2478037 HAS SOPS 2358350 HAS SOUS 319364 HAS SOUPS 303215 WITH SCORE 305693.037
AT ITER 6432 NEW BEST:: SOT 4183700 SOS 2478515 HAS SOPS 2358807 HAS SOUS 319331 HAS SOUPS 303182 WITH SCORE 305660.515
AT ITER 6457 NEW BEST:: SOT 4183700 SOS 2478514 HAS SOPS 2358805 HAS SOUS 319329 HAS SOUPS 303180 WITH SCORE 305658.514
AT ITER 6483 NEW BEST:: SOT 4183700 SOS 2477807 HAS SOPS 2358098 HAS SOUS 319315 HAS SOUPS 303166 WITH SCORE 305643.807
AT ITER 6490 NEW BEST:: SOT 4183700 SOS 2477706 HAS SOPS 2357997 HAS SOUS 319313 HAS SOUPS 303164 WITH SCORE 305641.706
AT ITER 6493 NEW BEST:: SOT 4183700 SOS 2477699 HAS SOPS 2357990 HAS SOUS 319313 HAS SOUPS 303164 WITH SCORE 305641.699
AT ITER 6494 NEW BEST:: SOT 4183126 SOS 2477125 HAS SOPS 2357416 HAS SOUS 318739 HAS SOUPS 302590 WITH SCORE 305067.125
AT ITER 6536 NEW BEST:: SOT 4183126 SOS 2476925 HAS SOPS 2357214 HAS SOUS 318733 HAS SOUPS 302584 WITH SCORE 305060.925
AT ITER 6554 NEW BEST:: SOT 4183126 SOS 2476824 HAS SOPS 2357113 HAS SOUS 318730 HAS SOUPS 302582 WITH SCORE 305058.824
AT ITER 6558 NEW BEST:: SOT 4183126 SOS 2476844 HAS SOPS 2357124 HAS SOUS 318743 HAS SOUPS 302564 WITH SCORE 305040.844
AT ITER 6574 NEW BEST:: SOT 4176372 SOS 2470316 HAS SOPS 2350370 HAS SOUS 316263 HAS SOUPS 300039 WITH SCORE 302509.316
AT ITER 6656 NEW BEST:: SOT 4178043 SOS 2471930 HAS SOPS 2352044 HAS SOUS 316097 HAS SOUPS 299892 WITH SCORE 302363.93
AT ITER 6660 NEW BEST:: SOT 4178043 SOS 2470634 HAS SOPS 2350752 HAS SOUS 316036 HAS SOUPS 299887 WITH SCORE 302357.634
AT ITER 6671 NEW BEST:: SOT 4178057 SOS 2470520 HAS SOPS 2350773 HAS SOUS 315485 HAS SOUPS 299350 WITH SCORE 301820.52
AT ITER 6684 NEW BEST:: SOT 4178057 SOS 2467620 HAS SOPS 2347894 HAS SOUS 315448 HAS SOUPS 299347 WITH SCORE 301814.62
AT ITER 6708 NEW BEST:: SOT 4178057 SOS 2467620 HAS SOPS 2347889 HAS SOUS 315438 HAS SOUPS 299337 WITH SCORE 301804.62
AT ITER 6716 NEW BEST:: SOT 4178057 SOS 2465437 HAS SOPS 2345692 HAS SOUS 315380 HAS SOUPS 299282 WITH SCORE 301747.437
AT ITER 6795 NEW BEST:: SOT 4178057 SOS 2465405 HAS SOPS 2345660 HAS SOUS 315348 HAS SOUPS 299282 WITH SCORE 301747.405
AT ITER 6798 NEW BEST:: SOT 4178057 SOS 2464910 HAS SOPS 2345155 HAS SOUS 315338 HAS SOUPS 299262 WITH SCORE 301726.91
AT ITER 6802 NEW BEST:: SOT 4178057 SOS 2463520 HAS SOPS 2343776 HAS SOUS 315332 HAS SOUPS 299261 WITH SCORE 301724.52
AT ITER 6822 NEW BEST:: SOT 4177737 SOS 2463181 HAS SOPS 2343256 HAS SOUS 315027 HAS SOUPS 298954 WITH SCORE 301417.181
AT ITER 6824 NEW BEST:: SOT 4177737 SOS 2470943 HAS SOPS 2350872 HAS SOUS 314999 HAS SOUPS 298818 WITH SCORE 301288.943
AT ITER 6828 NEW BEST:: SOT 4177737 SOS 2470842 HAS SOPS 2350771 HAS SOUS 314996 HAS SOUPS 298816 WITH SCORE 301286.842
AT ITER 6837 NEW BEST:: SOT 4177737 SOS 2470835 HAS SOPS 2350764 HAS SOUS 314989 HAS SOUPS 298809 WITH SCORE 301279.835
AT ITER 6844 NEW BEST:: SOT 4177652 SOS 2470750 HAS SOPS 2350679 HAS SOUS 314904 HAS SOUPS 298724 WITH SCORE 301194.75
AT ITER 6849 NEW BEST:: SOT 4177644 SOS 2470467 HAS SOPS 2349471 HAS SOUS 313947 HAS SOUPS 297767 WITH SCORE 300237.467
AT ITER 6876 NEW BEST:: SOT 4177628 SOS 2470451 HAS SOPS 2349455 HAS SOUS 313931 HAS SOUPS 297751 WITH SCORE 300221.451
AT ITER 6889 NEW BEST:: SOT 4178936 SOS 2471453 HAS SOPS 2350763 HAS SOUS 313745 HAS SOUPS 297583 WITH SCORE 300054.453
AT ITER 6920 NEW BEST:: SOT 4178936 SOS 2471447 HAS SOPS 2350757 HAS SOUS 313739 HAS SOUPS 297583 WITH SCORE 300054.447
AT ITER 6960 NEW BEST:: SOT 4178936 SOS 2470134 HAS SOPS 2349444 HAS SOUS 313713 HAS SOUPS 297557 WITH SCORE 300027.134
AT ITER 6983 NEW BEST:: SOT 4178936 SOS 2470051 HAS SOPS 2349361 HAS SOUS 313711 HAS SOUPS 297555 WITH SCORE 300025.051
AT ITER 6989 NEW BEST:: SOT 4178936 SOS 2468132 HAS SOPS 2347442 HAS SOUS 313694 HAS SOUPS 297517 WITH SCORE 299985.132
AT ITER 6992 NEW BEST:: SOT 4178936 SOS 2468122 HAS SOPS 2347422 HAS SOUS 313674 HAS SOUPS 297497 WITH SCORE 299965.122
AT ITER 7017 NEW BEST:: SOT 4178936 SOS 2468122 HAS SOPS 2347409 HAS SOUS 313661 HAS SOUPS 297471 WITH SCORE 299939.122
AT ITER 7024 NEW BEST:: SOT 4178936 SOS 2467010 HAS SOPS 2346309 HAS SOUS 313650 HAS SOUPS 297472 WITH SCORE 299939.01
AT ITER 7048 NEW BEST:: SOT 4178936 SOS 2466900 HAS SOPS 2346199 HAS SOUS 313639 HAS SOUPS 297461 WITH SCORE 299927.9
AT ITER 7058 NEW BEST:: SOT 4178936 SOS 2466900 HAS SOPS 2346192 HAS SOUS 313639 HAS SOUPS 297447 WITH SCORE 299913.9
AT ITER 7061 NEW BEST:: SOT 4178936 SOS 2466900 HAS SOPS 2346189 HAS SOUS 313636 HAS SOUPS 297441 WITH SCORE 299907.9
AT ITER 7083 NEW BEST:: SOT 4178936 SOS 2466597 HAS SOPS 2345886 HAS SOUS 313630 HAS SOUPS 297435 WITH SCORE 299901.597
AT ITER 7092 NEW BEST:: SOT 4179306 SOS 2467529 HAS SOPS 2347156 HAS SOUS 313456 HAS SOUPS 297270 WITH SCORE 299737.529
AT ITER 7137 NEW BEST:: SOT 4179306 SOS 2465935 HAS SOPS 2345562 HAS SOUS 313448 HAS SOUPS 297260 WITH SCORE 299725.935
AT ITER 7139 NEW BEST:: SOT 4179306 SOS 2464335 HAS SOPS 2343969 HAS SOUS 313439 HAS SOUPS 297251 WITH SCORE 299715.335
AT ITER 7192 NEW BEST:: SOT 4176121 SOS 2461275 HAS SOPS 2340261 HAS SOUS 313259 HAS SOUPS 297071 WITH SCORE 299532.275
AT ITER 7193 NEW BEST:: SOT 4176121 SOS 2459255 HAS SOPS 2338241 HAS SOUS 313205 HAS SOUPS 297031 WITH SCORE 299490.255
AT ITER 7207 NEW BEST:: SOT 4176121 SOS 2459255 HAS SOPS 2338237 HAS SOUS 313247 HAS SOUPS 297023 WITH SCORE 299482.255
AT ITER 7237 NEW BEST:: SOT 4176776 SOS 2459709 HAS SOPS 2338904 HAS SOUS 312915 HAS SOUPS 296715 WITH SCORE 299174.709
AT ITER 7257 NEW BEST:: SOT 4176776 SOS 2459204 HAS SOPS 2338399 HAS SOUS 312900 HAS SOUPS 296705 WITH SCORE 299164.204
AT ITER 7262 NEW BEST:: SOT 4174013 SOS 2456544 HAS SOPS 2335117 HAS SOUS 311391 HAS SOUPS 295177 WITH SCORE 297633.544
AT ITER 7283 NEW BEST:: SOT 4174013 SOS 2456277 HAS SOPS 2333339 HAS SOUS 309860 HAS SOUPS 293646 WITH SCORE 296102.277
AT ITER 7361 NEW BEST:: SOT 4173992 SOS 2456256 HAS SOPS 2333318 HAS SOUS 309839 HAS SOUPS 293625 WITH SCORE 296081.256
AT ITER 7386 NEW BEST:: SOT 4173992 SOS 2456248 HAS SOPS 2333304 HAS SOUS 309825 HAS SOUPS 293613 WITH SCORE 296069.248
AT ITER 7413 NEW BEST:: SOT 4173992 SOS 2457735 HAS SOPS 2334784 HAS SOUS 309820 HAS SOUPS 293608 WITH SCORE 296065.735
AT ITER 7432 NEW BEST:: SOT 4173992 SOS 2457910 HAS SOPS 2334947 HAS SOUS 309787 HAS SOUPS 293586 WITH SCORE 296043.91
AT ITER 7503 NEW BEST:: SOT 4174082 SOS 2457998 HAS SOPS 2335038 HAS SOUS 309780 HAS SOUPS 293581 WITH SCORE 296038.998
AT ITER 7516 NEW BEST:: SOT 4174082 SOS 2457190 HAS SOPS 2334230 HAS SOUS 309744 HAS SOUPS 293565 WITH SCORE 296022.19
AT ITER 7517 NEW BEST:: SOT 4174082 SOS 2457166 HAS SOPS 2334182 HAS SOUS 309696 HAS SOUPS 293517 WITH SCORE 295974.166
AT ITER 7572 NEW BEST:: SOT 4174082 SOS 2457100 HAS SOPS 2334116 HAS SOUS 309696 HAS SOUPS 293517 WITH SCORE 295974.1
AT ITER 7604 NEW BEST:: SOT 4174075 SOS 2457081 HAS SOPS 2334088 HAS SOUS 309671 HAS SOUPS 293492 WITH SCORE 295949.081
AT ITER 7606 NEW BEST:: SOT 4174075 SOS 2453647 HAS SOPS 2330654 HAS SOUS 309509 HAS SOUPS 293424 WITH SCORE 295877.647
AT ITER 7615 NEW BEST:: SOT 4174075 SOS 2454457 HAS SOPS 2331449 HAS SOUS 309510 HAS SOUPS 293412 WITH SCORE 295866.457
AT ITER 7625 NEW BEST:: SOT 4173345 SOS 2453797 HAS SOPS 2330719 HAS SOUS 309210 HAS SOUPS 293107 WITH SCORE 295560.797
AT ITER 7632 NEW BEST:: SOT 4173692 SOS 2454132 HAS SOPS 2331066 HAS SOUS 309169 HAS SOUPS 293070 WITH SCORE 295524.132
AT ITER 7682 NEW BEST:: SOT 4173692 SOS 2454132 HAS SOPS 2331039 HAS SOUS 309142 HAS SOUPS 293016 WITH SCORE 295470.132
AT ITER 7703 NEW BEST:: SOT 4173692 SOS 2454124 HAS SOPS 2331035 HAS SOUS 309138 HAS SOUPS 293016 WITH SCORE 295470.124
AT ITER 7775 NEW BEST:: SOT 4178474 SOS 2464294 HAS SOPS 2345210 HAS SOUS 308811 HAS SOUPS 292782 WITH SCORE 295246.294
AT ITER 7883 NEW BEST:: SOT 4178474 SOS 2463482 HAS SOPS 2344398 HAS SOUS 308783 HAS SOUPS 292766 WITH SCORE 295229.482
AT ITER 7891 NEW BEST:: SOT 4178474 SOS 2461382 HAS SOPS 2342276 HAS SOUS 308716 HAS SOUPS 292701 WITH SCORE 295162.382
AT ITER 7920 NEW BEST:: SOT 4178474 SOS 2461382 HAS SOPS 2342252 HAS SOUS 308692 HAS SOUPS 292653 WITH SCORE 295114.382
AT ITER 7922 NEW BEST:: SOT 4178474 SOS 2460982 HAS SOPS 2341837 HAS SOUS 308669 HAS SOUPS 292619 WITH SCORE 295079.982
AT ITER 7979 NEW BEST:: SOT 4178474 SOS 2460970 HAS SOPS 2341825 HAS SOUS 308657 HAS SOUPS 292607 WITH SCORE 295067.97
AT ITER 8025 NEW BEST:: SOT 4178474 SOS 2460970 HAS SOPS 2341811 HAS SOUS 308643 HAS SOUPS 292579 WITH SCORE 295039.97
AT ITER 8026 NEW BEST:: SOT 4177704 SOS 2459990 HAS SOPS 2340341 HAS SOUS 308069 HAS SOUPS 291998 WITH SCORE 294457.99
AT ITER 8100 NEW BEST:: SOT 4177683 SOS 2459760 HAS SOPS 2339020 HAS SOUS 306931 HAS SOUPS 290860 WITH SCORE 293319.76
AT ITER 8111 NEW BEST:: SOT 4178371 SOS 2460396 HAS SOPS 2339714 HAS SOUS 306877 HAS SOUPS 290820 WITH SCORE 293280.396
AT ITER 8121 NEW BEST:: SOT 4178371 SOS 2460396 HAS SOPS 2339713 HAS SOUS 306876 HAS SOUPS 290818 WITH SCORE 293278.396
AT ITER 8158 NEW BEST:: SOT 4178371 SOS 2460410 HAS SOPS 2339666 HAS SOUS 306829 HAS SOUPS 290707 WITH SCORE 293167.41
AT ITER 8172 NEW BEST:: SOT 4178371 SOS 2461110 HAS SOPS 2340356 HAS SOUS 306825 HAS SOUPS 290701 WITH SCORE 293162.11
AT ITER 8180 NEW BEST:: SOT 4178371 SOS 2461110 HAS SOPS 2340323 HAS SOUS 306792 HAS SOUPS 290635 WITH SCORE 293096.11
AT ITER 8183 NEW BEST:: SOT 4178391 SOS 2461130 HAS SOPS 2340330 HAS SOUS 306799 HAS SOUPS 290629 WITH SCORE 293090.13
AT ITER 8191 NEW BEST:: SOT 4178391 SOS 2460311 HAS SOPS 2339511 HAS SOUS 306807 HAS SOUPS 290602 WITH SCORE 293062.311
AT ITER 8192 NEW BEST:: SOT 4178391 SOS 2460311 HAS SOPS 2339498 HAS SOUS 306794 HAS SOUPS 290576 WITH SCORE 293036.311
AT ITER 8227 NEW BEST:: SOT 4178391 SOS 2460298 HAS SOPS 2339469 HAS SOUS 306765 HAS SOUPS 290544 WITH SCORE 293004.298
AT ITER 8255 NEW BEST:: SOT 4178391 SOS 2460098 HAS SOPS 2339269 HAS SOUS 306758 HAS SOUPS 290542 WITH SCORE 293002.098
AT ITER 8261 NEW BEST:: SOT 4177942 SOS 2468896 HAS SOPS 2348228 HAS SOUS 306603 HAS SOUPS 290491 WITH SCORE 292959.896
AT ITER 8262 NEW BEST:: SOT 4177942 SOS 2468876 HAS SOPS 2348198 HAS SOUS 306573 HAS SOUPS 290471 WITH SCORE 292939.876
AT ITER 8278 NEW BEST:: SOT 4177756 SOS 2468690 HAS SOPS 2348012 HAS SOUS 306387 HAS SOUPS 290285 WITH SCORE 292753.69
AT ITER 8306 NEW BEST:: SOT 4177756 SOS 2467478 HAS SOPS 2346808 HAS SOUS 306367 HAS SOUPS 290277 WITH SCORE 292744.478
AT ITER 8319 NEW BEST:: SOT 4177756 SOS 2465878 HAS SOPS 2345192 HAS SOUS 306320 HAS SOUPS 290229 WITH SCORE 292694.878
AT ITER 8323 NEW BEST:: SOT 4177756 SOS 2465173 HAS SOPS 2344485 HAS SOUS 306304 HAS SOUPS 290213 WITH SCORE 292678.173
AT ITER 8341 NEW BEST:: SOT 4177756 SOS 2465165 HAS SOPS 2344477 HAS SOUS 306296 HAS SOUPS 290213 WITH SCORE 292678.165
AT ITER 8348 NEW BEST:: SOT 4177756 SOS 2465169 HAS SOPS 2344477 HAS SOUS 306296 HAS SOUPS 290209 WITH SCORE 292674.169
AT ITER 8350 NEW BEST:: SOT 4177756 SOS 2465169 HAS SOPS 2344476 HAS SOUS 306294 HAS SOUPS 290207 WITH SCORE 292672.169
AT ITER 8352 NEW BEST:: SOT 4177722 SOS 2465135 HAS SOPS 2344442 HAS SOUS 306260 HAS SOUPS 290173 WITH SCORE 292638.135
AT ITER 8355 NEW BEST:: SOT 4179031 SOS 2466388 HAS SOPS 2345751 HAS SOUS 306125 HAS SOUPS 290053 WITH SCORE 292519.388
AT ITER 8363 NEW BEST:: SOT 4179031 SOS 2466388 HAS SOPS 2345739 HAS SOUS 306113 HAS SOUPS 290029 WITH SCORE 292495.388
AT ITER 8371 NEW BEST:: SOT 4179031 SOS 2466085 HAS SOPS 2345436 HAS SOUS 306107 HAS SOUPS 290023 WITH SCORE 292489.085
AT ITER 8375 NEW BEST:: SOT 4184417 SOS 2470345 HAS SOPS 2350897 HAS SOUS 305269 HAS SOUPS 289260 WITH SCORE 291730.345
AT ITER 8396 NEW BEST:: SOT 4184380 SOS 2470308 HAS SOPS 2350860 HAS SOUS 305232 HAS SOUPS 289223 WITH SCORE 291693.308
AT ITER 8421 NEW BEST:: SOT 4182650 SOS 2468560 HAS SOPS 2349112 HAS SOUS 303484 HAS SOUPS 287475 WITH SCORE 289943.56
AT ITER 8470 NEW BEST:: SOT 4182650 SOS 2467451 HAS SOPS 2348014 HAS SOUS 303464 HAS SOUPS 287475 WITH SCORE 289942.451
AT ITER 8500 NEW BEST:: SOT 4182650 SOS 2467451 HAS SOPS 2348013 HAS SOUS 303463 HAS SOUPS 287473 WITH SCORE 289940.451
AT ITER 8504 NEW BEST:: SOT 4182650 SOS 2464017 HAS SOPS 2344613 HAS SOUS 303395 HAS SOUPS 287473 WITH SCORE 289937.017
AT ITER 8514 NEW BEST:: SOT 4182650 SOS 2467023 HAS SOPS 2347513 HAS SOUS 303453 HAS SOUPS 287396 WITH SCORE 289863.023
AT ITER 8519 NEW BEST:: SOT 4182647 SOS 2467020 HAS SOPS 2347510 HAS SOUS 303450 HAS SOUPS 287393 WITH SCORE 289860.02
AT ITER 8531 NEW BEST:: SOT 4182647 SOS 2467020 HAS SOPS 2347434 HAS SOUS 303436 HAS SOUPS 287241 WITH SCORE 289708.02
AT ITER 8563 NEW BEST:: SOT 4182683 SOS 2466937 HAS SOPS 2347477 HAS SOUS 302898 HAS SOUPS 286717 WITH SCORE 289183.937
AT ITER 8611 NEW BEST:: SOT 4182683 SOS 2466937 HAS SOPS 2347449 HAS SOUS 302870 HAS SOUPS 286661 WITH SCORE 289127.937
AT ITER 8682 NEW BEST:: SOT 4182683 SOS 2467437 HAS SOPS 2347943 HAS SOUS 302869 HAS SOUPS 286660 WITH SCORE 289127.437
AT ITER 8703 NEW BEST:: SOT 4182683 SOS 2465737 HAS SOPS 2346243 HAS SOUS 302832 HAS SOUPS 286643 WITH SCORE 289108.737
AT ITER 8714 NEW BEST:: SOT 4182662 SOS 2465716 HAS SOPS 2346222 HAS SOUS 302811 HAS SOUPS 286622 WITH SCORE 289087.716
AT ITER 8748 NEW BEST:: SOT 4182599 SOS 2465653 HAS SOPS 2346159 HAS SOUS 302748 HAS SOUPS 286559 WITH SCORE 289024.653
AT ITER 8788 NEW BEST:: SOT 4182574 SOS 2465628 HAS SOPS 2346137 HAS SOUS 302726 HAS SOUPS 286540 WITH SCORE 289005.628
AT ITER 8837 NEW BEST:: SOT 4182574 SOS 2464719 HAS SOPS 2345228 HAS SOUS 302679 HAS SOUPS 286522 WITH SCORE 288986.719
AT ITER 8901 NEW BEST:: SOT 4180337 SOS 2462528 HAS SOPS 2343346 HAS SOUS 300757 HAS SOUPS 284652 WITH SCORE 287114.528
AT ITER 8920 NEW BEST:: SOT 4179457 SOS 2461648 HAS SOPS 2342466 HAS SOUS 299877 HAS SOUPS 283772 WITH SCORE 286233.648
AT ITER 8973 NEW BEST:: SOT 4178857 SOS 2461123 HAS SOPS 2341866 HAS SOUS 299702 HAS SOUPS 283592 WITH SCORE 286053.123
AT ITER 8974 NEW BEST:: SOT 4178857 SOS 2461439 HAS SOPS 2342164 HAS SOUS 299708 HAS SOUPS 283575 WITH SCORE 286036.439
AT ITER 8987 NEW BEST:: SOT 4183373 SOS 2464776 HAS SOPS 2346702 HAS SOUS 298125 HAS SOUPS 282087 WITH SCORE 284551.776
AT ITER 9003 NEW BEST:: SOT 4183373 SOS 2462756 HAS SOPS 2344702 HAS SOUS 298085 HAS SOUPS 282087 WITH SCORE 284549.756
AT ITER 9009 NEW BEST:: SOT 4183373 SOS 2462756 HAS SOPS 2344699 HAS SOUS 298082 HAS SOUPS 282081 WITH SCORE 284543.756
AT ITER 9016 NEW BEST:: SOT 4183368 SOS 2462751 HAS SOPS 2344694 HAS SOUS 298077 HAS SOUPS 282076 WITH SCORE 284538.751
AT ITER 9042 NEW BEST:: SOT 4182598 SOS 2461926 HAS SOPS 2343419 HAS SOUS 297347 HAS SOUPS 281341 WITH SCORE 283802.926
AT ITER 9078 NEW BEST:: SOT 4182598 SOS 2461017 HAS SOPS 2342510 HAS SOUS 297329 HAS SOUPS 281323 WITH SCORE 283784.017
AT ITER 9097 NEW BEST:: SOT 4182598 SOS 2461011 HAS SOPS 2342504 HAS SOUS 297323 HAS SOUPS 281317 WITH SCORE 283778.011
AT ITER 9099 NEW BEST:: SOT 4181531 SOS 2459953 HAS SOPS 2341437 HAS SOUS 297147 HAS SOUPS 281132 WITH SCORE 283591.953
AT ITER 9103 NEW BEST:: SOT 4180239 SOS 2458598 HAS SOPS 2339630 HAS SOUS 295383 HAS SOUPS 279368 WITH SCORE 281826.598
AT ITER 9157 NEW BEST:: SOT 4180239 SOS 2458598 HAS SOPS 2339620 HAS SOUS 295373 HAS SOUPS 279348 WITH SCORE 281806.598
AT ITER 9164 NEW BEST:: SOT 4180239 SOS 2456881 HAS SOPS 2337911 HAS SOUS 295355 HAS SOUPS 279330 WITH SCORE 281786.881
AT ITER 9194 NEW BEST:: SOT 4180233 SOS 2456875 HAS SOPS 2337905 HAS SOUS 295349 HAS SOUPS 279324 WITH SCORE 281780.875
AT ITER 9207 NEW BEST:: SOT 4180215 SOS 2456857 HAS SOPS 2337887 HAS SOUS 295331 HAS SOUPS 279306 WITH SCORE 281762.857
AT ITER 9228 NEW BEST:: SOT 4180215 SOS 2456851 HAS SOPS 2337881 HAS SOUS 295325 HAS SOUPS 279306 WITH SCORE 281762.851
AT ITER 9282 NEW BEST:: SOT 4180199 SOS 2456835 HAS SOPS 2337865 HAS SOUS 295309 HAS SOUPS 279290 WITH SCORE 281746.835
AT ITER 9296 NEW BEST:: SOT 4180199 SOS 2458044 HAS SOPS 2338981 HAS SOUS 295165 HAS SOUPS 279128 WITH SCORE 281586.044
AT ITER 9361 NEW BEST:: SOT 4181081 SOS 2458716 HAS SOPS 2339891 HAS SOUS 294899 HAS SOUPS 278876 WITH SCORE 281334.716
AT ITER 9398 NEW BEST:: SOT 4181081 SOS 2458413 HAS SOPS 2339588 HAS SOUS 294890 HAS SOUPS 278870 WITH SCORE 281328.413
AT ITER 9404 NEW BEST:: SOT 4181081 SOS 2457605 HAS SOPS 2338780 HAS SOUS 294828 HAS SOUPS 278854 WITH SCORE 281311.605
AT ITER 9411 NEW BEST:: SOT 4181081 SOS 2460530 HAS SOPS 2341665 HAS SOUS 294846 HAS SOUPS 278832 WITH SCORE 281292.53
AT ITER 9414 NEW BEST:: SOT 4181087 SOS 2460568 HAS SOPS 2341693 HAS SOUS 294877 HAS SOUPS 278818 WITH SCORE 281278.568
AT ITER 9435 NEW BEST:: SOT 4181087 SOS 2459558 HAS SOPS 2340683 HAS SOUS 294857 HAS SOUPS 278798 WITH SCORE 281257.558
AT ITER 9456 NEW BEST:: SOT 4181119 SOS 2459522 HAS SOPS 2340719 HAS SOUS 294561 HAS SOUPS 278510 WITH SCORE 280969.522
AT ITER 9457 NEW BEST:: SOT 4181119 SOS 2459511 HAS SOPS 2340708 HAS SOUS 294550 HAS SOUPS 278499 WITH SCORE 280958.511
AT ITER 9471 NEW BEST:: SOT 4181119 SOS 2459509 HAS SOPS 2340706 HAS SOUS 294548 HAS SOUPS 278499 WITH SCORE 280958.509
AT ITER 9504 NEW BEST:: SOT 4181119 SOS 2457388 HAS SOPS 2338585 HAS SOUS 294485 HAS SOUPS 278457 WITH SCORE 280914.388
AT ITER 9531 NEW BEST:: SOT 4181119 SOS 2457386 HAS SOPS 2338583 HAS SOUS 294485 HAS SOUPS 278457 WITH SCORE 280914.386
AT ITER 9567 NEW BEST:: SOT 4181119 SOS 2457588 HAS SOPS 2338780 HAS SOUS 294502 HAS SOUPS 278451 WITH SCORE 280908.588
AT ITER 9592 NEW BEST:: SOT 4176014 SOS 2452630 HAS SOPS 2333053 HAS SOUS 291600 HAS SOUPS 275519 WITH SCORE 277971.63
AT ITER 9628 NEW BEST:: SOT 4176014 SOS 2452630 HAS SOPS 2333041 HAS SOUS 291588 HAS SOUPS 275495 WITH SCORE 277947.63
AT ITER 9629 NEW BEST:: SOT 4176014 SOS 2452235 HAS SOPS 2332638 HAS SOUS 291572 HAS SOUPS 275479 WITH SCORE 277931.235
AT ITER 9633 NEW BEST:: SOT 4176014 SOS 2451928 HAS SOPS 2332331 HAS SOUS 291569 HAS SOUPS 275469 WITH SCORE 277920.928
AT ITER 9637 NEW BEST:: SOT 4176014 SOS 2451928 HAS SOPS 2332328 HAS SOUS 291566 HAS SOUPS 275463 WITH SCORE 277914.928
AT ITER 9644 NEW BEST:: SOT 4176014 SOS 2451922 HAS SOPS 2332322 HAS SOUS 291566 HAS SOUPS 275463 WITH SCORE 277914.922
AT ITER 9712 NEW BEST:: SOT 4175920 SOS 2451828 HAS SOPS 2332228 HAS SOUS 291472 HAS SOUPS 275369 WITH SCORE 277820.828
AT ITER 9802 NEW BEST:: SOT 4175920 SOS 2450818 HAS SOPS 2331218 HAS SOUS 291452 HAS SOUPS 275349 WITH SCORE 277799.818
AT ITER 9804 NEW BEST:: SOT 4175920 SOS 2451701 HAS SOPS 2332101 HAS SOUS 291470 HAS SOUPS 275341 WITH SCORE 277792.701
AT ITER 9808 NEW BEST:: SOT 4175914 SOS 2451695 HAS SOPS 2332095 HAS SOUS 291464 HAS SOUPS 275335 WITH SCORE 277786.695
AT ITER 9836 NEW BEST:: SOT 4175914 SOS 2451653 HAS SOPS 2331796 HAS SOUS 291216 HAS SOUPS 275075 WITH SCORE 277526.653
AT ITER 9891 NEW BEST:: SOT 4175914 SOS 2451644 HAS SOPS 2331778 HAS SOUS 291198 HAS SOUPS 275057 WITH SCORE 277508.644
AT ITER 9900 NEW BEST:: SOT 4175274 SOS 2451004 HAS SOPS 2331138 HAS SOUS 290558 HAS SOUPS 274417 WITH SCORE 276868.004
AT ITER 9941 NEW BEST:: SOT 4175274 SOS 2455537 HAS SOPS 2335618 HAS SOUS 290595 HAS SOUPS 274401 WITH SCORE 276856.537
AT ITER 9942 NEW BEST:: SOT 4167779 SOS 2449361 HAS SOPS 2328123 HAS SOUS 290681 HAS SOUPS 274398 WITH SCORE 276847.361
AT ITER 9962 NEW BEST:: SOT 4167779 SOS 2449022 HAS SOPS 2326123 HAS SOUS 288980 HAS SOUPS 272697 WITH SCORE 275146.022
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 12042728 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16102976 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="Dekker-PT-100"
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 Dekker-PT-100, 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 r139-smll-167819421600040"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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