Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r107-tall-167814483900176.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 CloudReconfiguration-PT-402, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r107-tall-167814483900176
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.4M
-rw-r--r-- 1 mcc users 7.8K Feb 25 11:51 CTLCardinality.txt
-rw-r--r-- 1 mcc users 84K Feb 25 11:51 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Feb 25 11:51 CTLFireability.txt
-rw-r--r-- 1 mcc users 55K Feb 25 11:51 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:48 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 15:48 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:48 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 15:48 LTLFireability.xml
-rw-r--r-- 1 mcc users 16K Feb 25 11:52 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 168K Feb 25 11:52 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.0K Feb 25 11:52 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 55K Feb 25 11:52 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 15:48 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:48 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 912K 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 1678343965008

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=CloudReconfiguration-PT-402
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 06:39:26] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 06:39:26] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 06:39:26] [INFO ] Load time of PNML (sax parser for PT used): 368 ms
[2023-03-09 06:39:26] [INFO ] Transformed 3554 places.
[2023-03-09 06:39:26] [INFO ] Transformed 4263 transitions.
[2023-03-09 06:39:26] [INFO ] Found NUPN structural information;
[2023-03-09 06:39:26] [INFO ] Parsed PT model containing 3554 places and 4263 transitions and 8889 arcs in 457 ms.
[2023-03-09 06:39:26] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 3554 places, 4263 transitions and 8889 arcs took 25 ms.
Total runtime 510 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 402
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: 3554 places, 4263 transitions, 8889 arcs.
AT ITER 0 NEW BEST:: SOT 8368586 SOS 1372003 HAS SOPS 1372003 HAS SOUS 1266370 HAS SOUPS 1266370 WITH SCORE 1267742.003
AT ITER 7 NEW BEST:: SOT 8368481 SOS 1371688 HAS SOPS 1371688 HAS SOUS 1266160 HAS SOUPS 1266160 WITH SCORE 1267531.688
AT ITER 13 NEW BEST:: SOT 8368481 SOS 1371688 HAS SOPS 1371688 HAS SOUS 1266095 HAS SOUPS 1266095 WITH SCORE 1267466.688
AT ITER 21 NEW BEST:: SOT 8368006 SOS 1371245 HAS SOPS 1371245 HAS SOUS 1265620 HAS SOUPS 1265620 WITH SCORE 1266991.245
AT ITER 30 NEW BEST:: SOT 8367636 SOS 1370875 HAS SOPS 1370875 HAS SOUS 1265250 HAS SOUPS 1265250 WITH SCORE 1266620.875
AT ITER 49 NEW BEST:: SOT 8367859 SOS 1370741 HAS SOPS 1370741 HAS SOUS 1265004 HAS SOUPS 1265004 WITH SCORE 1266374.741
AT ITER 55 NEW BEST:: SOT 8367246 SOS 1370309 HAS SOPS 1370309 HAS SOUS 1264245 HAS SOUPS 1264245 WITH SCORE 1265615.309
AT ITER 66 NEW BEST:: SOT 8367245 SOS 1370307 HAS SOPS 1370307 HAS SOUS 1264243 HAS SOUPS 1264243 WITH SCORE 1265613.307
AT ITER 74 NEW BEST:: SOT 8367245 SOS 1370259 HAS SOPS 1370259 HAS SOUS 1264243 HAS SOUPS 1264243 WITH SCORE 1265613.259
AT ITER 84 NEW BEST:: SOT 8367245 SOS 1370259 HAS SOPS 1370259 HAS SOUS 1263930 HAS SOUPS 1263930 WITH SCORE 1265300.259
AT ITER 98 NEW BEST:: SOT 8367245 SOS 1370259 HAS SOPS 1370259 HAS SOUS 1263580 HAS SOUPS 1263580 WITH SCORE 1264950.259
AT ITER 120 NEW BEST:: SOT 8367245 SOS 1370259 HAS SOPS 1370259 HAS SOUS 1263371 HAS SOUPS 1263371 WITH SCORE 1264741.259
AT ITER 155 NEW BEST:: SOT 8367043 SOS 1370057 HAS SOPS 1370057 HAS SOUS 1263169 HAS SOUPS 1263169 WITH SCORE 1264539.057
AT ITER 156 NEW BEST:: SOT 8366972 SOS 1369986 HAS SOPS 1369986 HAS SOUS 1263098 HAS SOUPS 1263098 WITH SCORE 1264467.986
AT ITER 160 NEW BEST:: SOT 8366446 SOS 1369996 HAS SOPS 1369996 HAS SOUS 1262708 HAS SOUPS 1262708 WITH SCORE 1264077.996
AT ITER 203 NEW BEST:: SOT 8366384 SOS 1369934 HAS SOPS 1369934 HAS SOUS 1262646 HAS SOUPS 1262646 WITH SCORE 1264015.934
AT ITER 225 NEW BEST:: SOT 8366092 SOS 1369831 HAS SOPS 1369831 HAS SOUS 1262354 HAS SOUPS 1262354 WITH SCORE 1263723.831
AT ITER 245 NEW BEST:: SOT 8358954 SOS 1362693 HAS SOPS 1362693 HAS SOUS 1255216 HAS SOUPS 1255216 WITH SCORE 1256578.693
AT ITER 248 NEW BEST:: SOT 8358954 SOS 1362462 HAS SOPS 1362462 HAS SOUS 1255216 HAS SOUPS 1255216 WITH SCORE 1256578.462
AT ITER 253 NEW BEST:: SOT 8358953 SOS 1362460 HAS SOPS 1362460 HAS SOUS 1255214 HAS SOUPS 1255214 WITH SCORE 1256576.46
AT ITER 289 NEW BEST:: SOT 8358953 SOS 1362385 HAS SOPS 1362385 HAS SOUS 1255139 HAS SOUPS 1255139 WITH SCORE 1256501.385
AT ITER 316 NEW BEST:: SOT 8358953 SOS 1362385 HAS SOPS 1362385 HAS SOUS 1255037 HAS SOUPS 1255037 WITH SCORE 1256399.385
AT ITER 327 NEW BEST:: SOT 8358543 SOS 1361565 HAS SOPS 1361565 HAS SOUS 1254217 HAS SOUPS 1254217 WITH SCORE 1255578.565
AT ITER 331 NEW BEST:: SOT 8358421 SOS 1361321 HAS SOPS 1361321 HAS SOUS 1253973 HAS SOUPS 1253973 WITH SCORE 1255334.321
AT ITER 337 NEW BEST:: SOT 8358361 SOS 1361261 HAS SOPS 1361261 HAS SOUS 1253913 HAS SOUPS 1253913 WITH SCORE 1255274.261
AT ITER 361 NEW BEST:: SOT 8358109 SOS 1360757 HAS SOPS 1360757 HAS SOUS 1253409 HAS SOUPS 1253409 WITH SCORE 1254769.757
AT ITER 373 NEW BEST:: SOT 8357968 SOS 1360475 HAS SOPS 1360475 HAS SOUS 1253127 HAS SOUPS 1253127 WITH SCORE 1254487.475
AT ITER 378 NEW BEST:: SOT 8357930 SOS 1360451 HAS SOPS 1360451 HAS SOUS 1253103 HAS SOUPS 1253103 WITH SCORE 1254463.451
AT ITER 385 NEW BEST:: SOT 8357930 SOS 1360451 HAS SOPS 1360451 HAS SOUS 1252864 HAS SOUPS 1252864 WITH SCORE 1254224.451
AT ITER 406 NEW BEST:: SOT 8357746 SOS 1360330 HAS SOPS 1360330 HAS SOUS 1252743 HAS SOUPS 1252743 WITH SCORE 1254103.33
AT ITER 424 NEW BEST:: SOT 8357502 SOS 1360086 HAS SOPS 1360086 HAS SOUS 1252499 HAS SOUPS 1252499 WITH SCORE 1253859.086
AT ITER 453 NEW BEST:: SOT 8357431 SOS 1360015 HAS SOPS 1360015 HAS SOUS 1252428 HAS SOUPS 1252428 WITH SCORE 1253788.015
AT ITER 459 NEW BEST:: SOT 8357184 SOS 1359521 HAS SOPS 1359521 HAS SOUS 1252181 HAS SOUPS 1252181 WITH SCORE 1253540.521
AT ITER 468 NEW BEST:: SOT 8357270 SOS 1359693 HAS SOPS 1359693 HAS SOUS 1251921 HAS SOUPS 1251921 WITH SCORE 1253280.693
AT ITER 477 NEW BEST:: SOT 8357190 SOS 1359533 HAS SOPS 1359533 HAS SOUS 1251620 HAS SOUPS 1251620 WITH SCORE 1252979.533
AT ITER 490 NEW BEST:: SOT 8357190 SOS 1359533 HAS SOPS 1359533 HAS SOUS 1251619 HAS SOUPS 1251619 WITH SCORE 1252978.533
AT ITER 497 NEW BEST:: SOT 8357146 SOS 1359445 HAS SOPS 1359445 HAS SOUS 1251531 HAS SOUPS 1251531 WITH SCORE 1252890.445
AT ITER 537 NEW BEST:: SOT 8357145 SOS 1359443 HAS SOPS 1359443 HAS SOUS 1251529 HAS SOUPS 1251529 WITH SCORE 1252888.443
AT ITER 554 NEW BEST:: SOT 8357135 SOS 1359439 HAS SOPS 1359439 HAS SOUS 1251519 HAS SOUPS 1251519 WITH SCORE 1252878.439
AT ITER 575 NEW BEST:: SOT 8357135 SOS 1359439 HAS SOPS 1359439 HAS SOUS 1251495 HAS SOUPS 1251495 WITH SCORE 1252854.439
AT ITER 630 NEW BEST:: SOT 8357052 SOS 1359190 HAS SOPS 1359190 HAS SOUS 1251329 HAS SOUPS 1251329 WITH SCORE 1252688.19
AT ITER 711 NEW BEST:: SOT 8356698 SOS 1359056 HAS SOPS 1359056 HAS SOUS 1250975 HAS SOUPS 1250975 WITH SCORE 1252334.056
AT ITER 736 NEW BEST:: SOT 8356589 SOS 1360070 HAS SOPS 1360070 HAS SOUS 1250897 HAS SOUPS 1250897 WITH SCORE 1252257.07
AT ITER 744 NEW BEST:: SOT 8356229 SOS 1359350 HAS SOPS 1359350 HAS SOUS 1250177 HAS SOUPS 1250177 WITH SCORE 1251536.35
AT ITER 756 NEW BEST:: SOT 8356228 SOS 1359348 HAS SOPS 1359348 HAS SOUS 1250175 HAS SOUPS 1250175 WITH SCORE 1251534.348
AT ITER 760 NEW BEST:: SOT 8356228 SOS 1359348 HAS SOPS 1359348 HAS SOUS 1250106 HAS SOUPS 1250106 WITH SCORE 1251465.348
AT ITER 766 NEW BEST:: SOT 8354931 SOS 1359194 HAS SOPS 1359194 HAS SOUS 1249277 HAS SOUPS 1249277 WITH SCORE 1250636.194
AT ITER 773 NEW BEST:: SOT 8354970 SOS 1359272 HAS SOPS 1359272 HAS SOUS 1249228 HAS SOUPS 1249228 WITH SCORE 1250587.272
AT ITER 784 NEW BEST:: SOT 8354855 SOS 1358842 HAS SOPS 1358842 HAS SOUS 1248921 HAS SOUPS 1248921 WITH SCORE 1250279.842
AT ITER 794 NEW BEST:: SOT 8354740 SOS 1358612 HAS SOPS 1358612 HAS SOUS 1248806 HAS SOUPS 1248806 WITH SCORE 1250164.612
AT ITER 806 NEW BEST:: SOT 8354650 SOS 1358522 HAS SOPS 1358522 HAS SOUS 1248716 HAS SOUPS 1248716 WITH SCORE 1250074.522
AT ITER 809 NEW BEST:: SOT 8354443 SOS 1357901 HAS SOPS 1357901 HAS SOUS 1248302 HAS SOUPS 1248302 WITH SCORE 1249659.901
AT ITER 836 NEW BEST:: SOT 8354470 SOS 1357955 HAS SOPS 1357955 HAS SOUS 1247929 HAS SOUPS 1247929 WITH SCORE 1249286.955
AT ITER 870 NEW BEST:: SOT 8352577 SOS 1359335 HAS SOPS 1359335 HAS SOUS 1246820 HAS SOUPS 1246820 WITH SCORE 1248179.335
AT ITER 931 NEW BEST:: SOT 8352364 SOS 1358909 HAS SOPS 1358909 HAS SOUS 1246607 HAS SOUPS 1246607 WITH SCORE 1247965.909
AT ITER 958 NEW BEST:: SOT 8352070 SOS 1358657 HAS SOPS 1358657 HAS SOUS 1246313 HAS SOUPS 1246313 WITH SCORE 1247671.657
AT ITER 961 NEW BEST:: SOT 8351773 SOS 1358063 HAS SOPS 1358063 HAS SOUS 1246247 HAS SOUPS 1246247 WITH SCORE 1247605.063
AT ITER 969 NEW BEST:: SOT 8351594 SOS 1357957 HAS SOPS 1357957 HAS SOUS 1246067 HAS SOUPS 1246067 WITH SCORE 1247424.957
AT ITER 971 NEW BEST:: SOT 8351775 SOS 1357703 HAS SOPS 1357703 HAS SOUS 1245941 HAS SOUPS 1245941 WITH SCORE 1247298.703
AT ITER 1016 NEW BEST:: SOT 8351127 SOS 1356731 HAS SOPS 1356731 HAS SOUS 1245293 HAS SOUPS 1245293 WITH SCORE 1246649.731
AT ITER 1032 NEW BEST:: SOT 8350925 SOS 1356529 HAS SOPS 1356529 HAS SOUS 1245292 HAS SOUPS 1245292 WITH SCORE 1246648.529
AT ITER 1039 NEW BEST:: SOT 8350943 SOS 1356506 HAS SOPS 1356506 HAS SOUS 1245285 HAS SOUPS 1245285 WITH SCORE 1246641.506
AT ITER 1041 NEW BEST:: SOT 8350943 SOS 1356460 HAS SOPS 1356460 HAS SOUS 1245285 HAS SOUPS 1245285 WITH SCORE 1246641.46
AT ITER 1069 NEW BEST:: SOT 8351094 SOS 1356762 HAS SOPS 1356762 HAS SOUS 1245018 HAS SOUPS 1245018 WITH SCORE 1246374.762
AT ITER 1081 NEW BEST:: SOT 8351395 SOS 1357364 HAS SOPS 1357364 HAS SOUS 1244929 HAS SOUPS 1244929 WITH SCORE 1246286.364
AT ITER 1103 NEW BEST:: SOT 8351395 SOS 1357364 HAS SOPS 1357364 HAS SOUS 1244916 HAS SOUPS 1244916 WITH SCORE 1246273.364
AT ITER 1122 NEW BEST:: SOT 8351395 SOS 1357265 HAS SOPS 1357265 HAS SOUS 1244916 HAS SOUPS 1244916 WITH SCORE 1246273.265
AT ITER 1130 NEW BEST:: SOT 8351362 SOS 1357232 HAS SOPS 1357232 HAS SOUS 1244882 HAS SOUPS 1244882 WITH SCORE 1246239.232
AT ITER 1163 NEW BEST:: SOT 8337972 SOS 1455234 HAS SOPS 1455234 HAS SOUS 1237077 HAS SOUPS 1237077 WITH SCORE 1238532.234
AT ITER 1212 NEW BEST:: SOT 8337972 SOS 1455128 HAS SOPS 1455128 HAS SOUS 1237076 HAS SOUPS 1237076 WITH SCORE 1238531.128
AT ITER 1223 NEW BEST:: SOT 8337634 SOS 1454790 HAS SOPS 1454790 HAS SOUS 1236738 HAS SOUPS 1236738 WITH SCORE 1238192.79
AT ITER 1245 NEW BEST:: SOT 8337404 SOS 1454790 HAS SOPS 1454790 HAS SOUS 1236623 HAS SOUPS 1236623 WITH SCORE 1238077.79
AT ITER 1254 NEW BEST:: SOT 8337163 SOS 1454496 HAS SOPS 1454496 HAS SOUS 1236424 HAS SOUPS 1236424 WITH SCORE 1237878.496
AT ITER 1260 NEW BEST:: SOT 8337100 SOS 1454370 HAS SOPS 1454370 HAS SOUS 1236298 HAS SOUPS 1236298 WITH SCORE 1237752.37
AT ITER 1263 NEW BEST:: SOT 8337100 SOS 1454250 HAS SOPS 1454250 HAS SOUS 1236298 HAS SOUPS 1236298 WITH SCORE 1237752.25
AT ITER 1305 NEW BEST:: SOT 8337099 SOS 1454248 HAS SOPS 1454248 HAS SOUS 1236297 HAS SOUPS 1236297 WITH SCORE 1237751.248
AT ITER 1310 NEW BEST:: SOT 8337099 SOS 1399948 HAS SOPS 1399948 HAS SOUS 1236297 HAS SOUPS 1236297 WITH SCORE 1237696.948
AT ITER 1353 NEW BEST:: SOT 8337062 SOS 1399874 HAS SOPS 1399874 HAS SOUS 1236223 HAS SOUPS 1236223 WITH SCORE 1237622.874
AT ITER 1381 NEW BEST:: SOT 8337266 SOS 1400282 HAS SOPS 1400282 HAS SOUS 1236209 HAS SOUPS 1236209 WITH SCORE 1237609.282
AT ITER 1416 NEW BEST:: SOT 8337166 SOS 1400082 HAS SOPS 1400082 HAS SOUS 1236109 HAS SOUPS 1236109 WITH SCORE 1237509.082
AT ITER 1421 NEW BEST:: SOT 8337198 SOS 1400146 HAS SOPS 1400146 HAS SOUS 1235838 HAS SOUPS 1235838 WITH SCORE 1237238.146
AT ITER 1423 NEW BEST:: SOT 8336964 SOS 1399912 HAS SOPS 1399912 HAS SOUS 1235604 HAS SOUPS 1235604 WITH SCORE 1237003.912
AT ITER 1427 NEW BEST:: SOT 8337086 SOS 1399626 HAS SOPS 1399626 HAS SOUS 1235461 HAS SOUPS 1235461 WITH SCORE 1236860.626
AT ITER 1429 NEW BEST:: SOT 8336649 SOS 1399228 HAS SOPS 1399228 HAS SOUS 1235024 HAS SOUPS 1235024 WITH SCORE 1236423.228
AT ITER 1434 NEW BEST:: SOT 8328379 SOS 1503060 HAS SOPS 1503060 HAS SOUS 1232230 HAS SOUPS 1232230 WITH SCORE 1233733.06
AT ITER 1450 NEW BEST:: SOT 8327863 SOS 1502716 HAS SOPS 1502716 HAS SOUS 1231886 HAS SOUPS 1231886 WITH SCORE 1233388.716
AT ITER 1545 NEW BEST:: SOT 8327863 SOS 1502716 HAS SOPS 1502716 HAS SOUS 1231558 HAS SOUPS 1231558 WITH SCORE 1233060.716
AT ITER 1554 NEW BEST:: SOT 8327451 SOS 1501349 HAS SOPS 1501349 HAS SOUS 1230734 HAS SOUPS 1230734 WITH SCORE 1232235.349
AT ITER 1585 NEW BEST:: SOT 8327146 SOS 1500739 HAS SOPS 1500739 HAS SOUS 1230515 HAS SOUPS 1230515 WITH SCORE 1232015.739
AT ITER 1605 NEW BEST:: SOT 8327146 SOS 1500678 HAS SOPS 1500678 HAS SOUS 1230515 HAS SOUPS 1230515 WITH SCORE 1232015.678
AT ITER 1615 NEW BEST:: SOT 8327317 SOS 1500438 HAS SOPS 1500438 HAS SOUS 1230395 HAS SOUPS 1230395 WITH SCORE 1231895.438
AT ITER 1634 NEW BEST:: SOT 8327069 SOS 1500492 HAS SOPS 1500492 HAS SOUS 1230364 HAS SOUPS 1230364 WITH SCORE 1231864.492
AT ITER 1662 NEW BEST:: SOT 8327049 SOS 1500442 HAS SOPS 1500442 HAS SOUS 1230334 HAS SOUPS 1230334 WITH SCORE 1231834.442
AT ITER 1665 NEW BEST:: SOT 8326938 SOS 1499851 HAS SOPS 1499851 HAS SOUS 1229945 HAS SOUPS 1229945 WITH SCORE 1231444.851
AT ITER 1677 NEW BEST:: SOT 8326733 SOS 1499819 HAS SOPS 1499819 HAS SOUS 1229784 HAS SOUPS 1229784 WITH SCORE 1231283.819
AT ITER 1680 NEW BEST:: SOT 8326733 SOS 1499819 HAS SOPS 1499819 HAS SOUS 1229783 HAS SOUPS 1229783 WITH SCORE 1231282.819
AT ITER 1686 NEW BEST:: SOT 8326583 SOS 1499719 HAS SOPS 1499719 HAS SOUS 1229683 HAS SOUPS 1229683 WITH SCORE 1231182.719
AT ITER 1688 NEW BEST:: SOT 8326143 SOS 1499059 HAS SOPS 1499059 HAS SOUS 1229023 HAS SOUPS 1229023 WITH SCORE 1230522.059
AT ITER 1698 NEW BEST:: SOT 8326152 SOS 1498533 HAS SOPS 1498533 HAS SOUS 1228764 HAS SOUPS 1228764 WITH SCORE 1230262.533
AT ITER 1704 NEW BEST:: SOT 8325756 SOS 1498137 HAS SOPS 1498137 HAS SOUS 1228368 HAS SOUPS 1228368 WITH SCORE 1229866.137
AT ITER 1715 NEW BEST:: SOT 8325082 SOS 1497570 HAS SOPS 1497570 HAS SOUS 1227801 HAS SOUPS 1227801 WITH SCORE 1229298.57
AT ITER 1749 NEW BEST:: SOT 8325081 SOS 1497568 HAS SOPS 1497568 HAS SOUS 1227799 HAS SOUPS 1227799 WITH SCORE 1229296.568
AT ITER 1775 NEW BEST:: SOT 8324131 SOS 1495668 HAS SOPS 1495668 HAS SOUS 1225756 HAS SOUPS 1225756 WITH SCORE 1227251.668
AT ITER 1836 NEW BEST:: SOT 8323863 SOS 1495519 HAS SOPS 1495519 HAS SOUS 1225607 HAS SOUPS 1225607 WITH SCORE 1227102.519
AT ITER 1844 NEW BEST:: SOT 8323751 SOS 1493748 HAS SOPS 1493748 HAS SOUS 1225274 HAS SOUPS 1225274 WITH SCORE 1226767.748
AT ITER 1860 NEW BEST:: SOT 8323751 SOS 1493587 HAS SOPS 1493587 HAS SOUS 1225113 HAS SOUPS 1225113 WITH SCORE 1226606.587
AT ITER 1865 NEW BEST:: SOT 8323510 SOS 1493105 HAS SOPS 1493105 HAS SOUS 1224631 HAS SOUPS 1224631 WITH SCORE 1226124.105
AT ITER 1878 NEW BEST:: SOT 8323509 SOS 1493103 HAS SOPS 1493103 HAS SOUS 1224629 HAS SOUPS 1224629 WITH SCORE 1226122.103
AT ITER 1885 NEW BEST:: SOT 8323355 SOS 1493103 HAS SOPS 1493103 HAS SOUS 1224552 HAS SOUPS 1224552 WITH SCORE 1226045.103
AT ITER 1905 NEW BEST:: SOT 8323075 SOS 1493021 HAS SOPS 1493021 HAS SOUS 1224470 HAS SOUPS 1224470 WITH SCORE 1225963.021
AT ITER 1919 NEW BEST:: SOT 8323075 SOS 1493021 HAS SOPS 1493021 HAS SOUS 1224469 HAS SOUPS 1224469 WITH SCORE 1225962.021
AT ITER 1927 NEW BEST:: SOT 8322744 SOS 1492679 HAS SOPS 1492679 HAS SOUS 1223957 HAS SOUPS 1223957 WITH SCORE 1225449.679
AT ITER 1960 NEW BEST:: SOT 8322642 SOS 1491984 HAS SOPS 1491984 HAS SOUS 1223364 HAS SOUPS 1223364 WITH SCORE 1224855.984
AT ITER 1976 NEW BEST:: SOT 8322652 SOS 1491828 HAS SOPS 1491828 HAS SOUS 1223208 HAS SOUPS 1223208 WITH SCORE 1224699.828
AT ITER 1978 NEW BEST:: SOT 8322652 SOS 1491828 HAS SOPS 1491828 HAS SOUS 1223195 HAS SOUPS 1223195 WITH SCORE 1224686.828
AT ITER 2013 NEW BEST:: SOT 8322651 SOS 1491826 HAS SOPS 1491826 HAS SOUS 1223193 HAS SOUPS 1223193 WITH SCORE 1224684.826
AT ITER 2014 NEW BEST:: SOT 8322528 SOS 1492100 HAS SOPS 1492100 HAS SOUS 1222961 HAS SOUPS 1222961 WITH SCORE 1224453.1
AT ITER 2037 NEW BEST:: SOT 8322370 SOS 1491956 HAS SOPS 1491956 HAS SOUS 1222817 HAS SOUPS 1222817 WITH SCORE 1224308.956
AT ITER 2051 NEW BEST:: SOT 8322307 SOS 1491830 HAS SOPS 1491830 HAS SOUS 1222748 HAS SOUPS 1222748 WITH SCORE 1224239.83
AT ITER 2056 NEW BEST:: SOT 8322307 SOS 1491830 HAS SOPS 1491830 HAS SOUS 1222747 HAS SOUPS 1222747 WITH SCORE 1224238.83
AT ITER 2084 NEW BEST:: SOT 8322292 SOS 1491815 HAS SOPS 1491815 HAS SOUS 1222732 HAS SOUPS 1222732 WITH SCORE 1224223.815
AT ITER 2102 NEW BEST:: SOT 8322391 SOS 1491612 HAS SOPS 1491612 HAS SOUS 1222529 HAS SOUPS 1222529 WITH SCORE 1224020.612
AT ITER 2111 NEW BEST:: SOT 8322391 SOS 1491518 HAS SOPS 1491518 HAS SOUS 1222435 HAS SOUPS 1222435 WITH SCORE 1223926.518
AT ITER 2174 NEW BEST:: SOT 8322192 SOS 1493284 HAS SOPS 1493284 HAS SOUS 1222236 HAS SOUPS 1222236 WITH SCORE 1223729.284
AT ITER 2194 NEW BEST:: SOT 8322160 SOS 1493220 HAS SOPS 1493220 HAS SOUS 1222223 HAS SOUPS 1222223 WITH SCORE 1223716.22
AT ITER 2235 NEW BEST:: SOT 8322160 SOS 1493033 HAS SOPS 1493033 HAS SOUS 1222036 HAS SOUPS 1222036 WITH SCORE 1223529.033
AT ITER 2237 NEW BEST:: SOT 8322070 SOS 1487897 HAS SOPS 1487897 HAS SOUS 1221856 HAS SOUPS 1221856 WITH SCORE 1223343.897
AT ITER 2240 NEW BEST:: SOT 8319133 SOS 1485705 HAS SOPS 1485705 HAS SOUS 1218643 HAS SOUPS 1218643 WITH SCORE 1220128.705
AT ITER 2241 NEW BEST:: SOT 8318910 SOS 1485259 HAS SOPS 1485259 HAS SOUS 1218420 HAS SOUPS 1218420 WITH SCORE 1219905.259
AT ITER 2253 NEW BEST:: SOT 8318734 SOS 1484907 HAS SOPS 1484907 HAS SOUS 1218056 HAS SOUPS 1218056 WITH SCORE 1219540.907
AT ITER 2259 NEW BEST:: SOT 8318734 SOS 1484843 HAS SOPS 1484843 HAS SOUS 1217992 HAS SOUPS 1217992 WITH SCORE 1219476.843
AT ITER 2285 NEW BEST:: SOT 8318734 SOS 1484735 HAS SOPS 1484735 HAS SOUS 1217992 HAS SOUPS 1217992 WITH SCORE 1219476.735
AT ITER 2305 NEW BEST:: SOT 8318466 SOS 1485043 HAS SOPS 1485043 HAS SOUS 1217724 HAS SOUPS 1217724 WITH SCORE 1219209.043
AT ITER 2311 NEW BEST:: SOT 8318391 SOS 1485113 HAS SOPS 1485113 HAS SOUS 1217699 HAS SOUPS 1217699 WITH SCORE 1219184.113
AT ITER 2316 NEW BEST:: SOT 8318376 SOS 1485083 HAS SOPS 1485083 HAS SOUS 1217669 HAS SOUPS 1217669 WITH SCORE 1219154.083
AT ITER 2326 NEW BEST:: SOT 8318376 SOS 1484922 HAS SOPS 1484922 HAS SOUS 1217508 HAS SOUPS 1217508 WITH SCORE 1218992.922
AT ITER 2338 NEW BEST:: SOT 8318177 SOS 1484864 HAS SOPS 1484864 HAS SOUS 1217450 HAS SOUPS 1217450 WITH SCORE 1218934.864
AT ITER 2341 NEW BEST:: SOT 8317815 SOS 1483600 HAS SOPS 1483600 HAS SOUS 1216668 HAS SOUPS 1216668 WITH SCORE 1218151.6
AT ITER 2359 NEW BEST:: SOT 8317732 SOS 1484130 HAS SOPS 1484130 HAS SOUS 1216424 HAS SOUPS 1216424 WITH SCORE 1217908.13
AT ITER 2363 NEW BEST:: SOT 8317732 SOS 1483970 HAS SOPS 1483970 HAS SOUS 1216424 HAS SOUPS 1216424 WITH SCORE 1217907.97
AT ITER 2368 NEW BEST:: SOT 8317485 SOS 1483969 HAS SOPS 1483969 HAS SOUS 1216423 HAS SOUPS 1216423 WITH SCORE 1217906.969
AT ITER 2402 NEW BEST:: SOT 8317485 SOS 1483968 HAS SOPS 1483968 HAS SOUS 1216422 HAS SOUPS 1216422 WITH SCORE 1217905.968
AT ITER 2426 NEW BEST:: SOT 8317447 SOS 1483892 HAS SOPS 1483892 HAS SOUS 1216101 HAS SOUPS 1216101 WITH SCORE 1217584.892
AT ITER 2434 NEW BEST:: SOT 8315521 SOS 1493375 HAS SOPS 1493375 HAS SOUS 1215362 HAS SOUPS 1215362 WITH SCORE 1216855.375
AT ITER 2495 NEW BEST:: SOT 8315463 SOS 1493707 HAS SOPS 1493707 HAS SOUS 1215344 HAS SOUPS 1215344 WITH SCORE 1216837.707
AT ITER 2510 NEW BEST:: SOT 8315463 SOS 1493707 HAS SOPS 1493707 HAS SOUS 1215342 HAS SOUPS 1215342 WITH SCORE 1216835.707
AT ITER 2533 NEW BEST:: SOT 8315131 SOS 1493043 HAS SOPS 1493043 HAS SOUS 1214678 HAS SOUPS 1214678 WITH SCORE 1216171.043
AT ITER 2538 NEW BEST:: SOT 8314300 SOS 1491853 HAS SOPS 1491853 HAS SOUS 1213488 HAS SOUPS 1213488 WITH SCORE 1214979.853
AT ITER 2559 NEW BEST:: SOT 8313613 SOS 1491391 HAS SOPS 1491391 HAS SOUS 1213026 HAS SOUPS 1213026 WITH SCORE 1214517.391
AT ITER 2561 NEW BEST:: SOT 8313538 SOS 1491241 HAS SOPS 1491241 HAS SOUS 1213011 HAS SOUPS 1213011 WITH SCORE 1214502.241
AT ITER 2571 NEW BEST:: SOT 8313430 SOS 1491133 HAS SOPS 1491133 HAS SOUS 1212903 HAS SOUPS 1212903 WITH SCORE 1214394.133
AT ITER 2579 NEW BEST:: SOT 8313429 SOS 1491454 HAS SOPS 1491454 HAS SOUS 1212901 HAS SOUPS 1212901 WITH SCORE 1214392.454
AT ITER 2596 NEW BEST:: SOT 8313333 SOS 1491454 HAS SOPS 1491454 HAS SOUS 1212805 HAS SOUPS 1212805 WITH SCORE 1214296.454
AT ITER 2602 NEW BEST:: SOT 8313248 SOS 1491284 HAS SOPS 1491284 HAS SOUS 1212635 HAS SOUPS 1212635 WITH SCORE 1214126.284
AT ITER 2617 NEW BEST:: SOT 8313181 SOS 1490907 HAS SOPS 1490907 HAS SOUS 1212501 HAS SOUPS 1212501 WITH SCORE 1213991.907
AT ITER 2618 NEW BEST:: SOT 8312904 SOS 1490730 HAS SOPS 1490730 HAS SOUS 1211947 HAS SOUPS 1211947 WITH SCORE 1213437.73
AT ITER 2661 NEW BEST:: SOT 8312665 SOS 1488616 HAS SOPS 1488616 HAS SOUS 1211299 HAS SOUPS 1211299 WITH SCORE 1212787.616
AT ITER 2670 NEW BEST:: SOT 8312630 SOS 1489659 HAS SOPS 1489659 HAS SOUS 1211273 HAS SOUPS 1211273 WITH SCORE 1212762.659
AT ITER 2681 NEW BEST:: SOT 8312629 SOS 1489657 HAS SOPS 1489657 HAS SOUS 1211271 HAS SOUPS 1211271 WITH SCORE 1212760.657
AT ITER 2715 NEW BEST:: SOT 8312427 SOS 1489253 HAS SOPS 1489253 HAS SOUS 1210746 HAS SOUPS 1210746 WITH SCORE 1212235.253
AT ITER 2724 NEW BEST:: SOT 8312202 SOS 1489471 HAS SOPS 1489471 HAS SOUS 1210688 HAS SOUPS 1210688 WITH SCORE 1212177.471
AT ITER 2770 NEW BEST:: SOT 8312202 SOS 1489179 HAS SOPS 1489179 HAS SOUS 1210396 HAS SOUPS 1210396 WITH SCORE 1211885.179
AT ITER 2779 NEW BEST:: SOT 8312198 SOS 1489171 HAS SOPS 1489171 HAS SOUS 1210388 HAS SOUPS 1210388 WITH SCORE 1211877.171
AT ITER 2793 NEW BEST:: SOT 8311861 SOS 1488497 HAS SOPS 1488497 HAS SOUS 1208998 HAS SOUPS 1208998 WITH SCORE 1210486.497
AT ITER 2798 NEW BEST:: SOT 8311756 SOS 1488660 HAS SOPS 1488660 HAS SOUS 1208893 HAS SOUPS 1208893 WITH SCORE 1210381.66
AT ITER 2828 NEW BEST:: SOT 8311756 SOS 1488293 HAS SOPS 1488293 HAS SOUS 1208526 HAS SOUPS 1208526 WITH SCORE 1210014.293
AT ITER 2833 NEW BEST:: SOT 8311970 SOS 1488464 HAS SOPS 1488464 HAS SOUS 1208483 HAS SOUPS 1208483 WITH SCORE 1209971.464
AT ITER 2840 NEW BEST:: SOT 8311938 SOS 1488323 HAS SOPS 1488323 HAS SOUS 1208374 HAS SOUPS 1208374 WITH SCORE 1209862.323
AT ITER 2856 NEW BEST:: SOT 8312135 SOS 1488717 HAS SOPS 1488717 HAS SOUS 1208366 HAS SOUPS 1208366 WITH SCORE 1209854.717
AT ITER 2868 NEW BEST:: SOT 8311924 SOS 1488295 HAS SOPS 1488295 HAS SOUS 1207944 HAS SOUPS 1207944 WITH SCORE 1209432.295
AT ITER 2881 NEW BEST:: SOT 8311679 SOS 1488050 HAS SOPS 1488050 HAS SOUS 1207699 HAS SOUPS 1207699 WITH SCORE 1209187.05
AT ITER 2887 NEW BEST:: SOT 8311495 SOS 1487878 HAS SOPS 1487878 HAS SOUS 1207527 HAS SOUPS 1207527 WITH SCORE 1209014.878
AT ITER 2892 NEW BEST:: SOT 8311071 SOS 1488730 HAS SOPS 1488730 HAS SOUS 1207351 HAS SOUPS 1207351 WITH SCORE 1208839.73
AT ITER 2895 NEW BEST:: SOT 8310963 SOS 1488514 HAS SOPS 1488514 HAS SOUS 1207135 HAS SOUPS 1207135 WITH SCORE 1208623.514
AT ITER 2897 NEW BEST:: SOT 8310962 SOS 1488512 HAS SOPS 1488512 HAS SOUS 1207133 HAS SOUPS 1207133 WITH SCORE 1208621.512
AT ITER 2902 NEW BEST:: SOT 8310838 SOS 1488511 HAS SOPS 1488511 HAS SOUS 1207132 HAS SOUPS 1207132 WITH SCORE 1208620.511
AT ITER 2924 NEW BEST:: SOT 8310852 SOS 1487953 HAS SOPS 1487953 HAS SOUS 1206574 HAS SOUPS 1206574 WITH SCORE 1208061.953
AT ITER 2930 NEW BEST:: SOT 8310851 SOS 1487951 HAS SOPS 1487951 HAS SOUS 1206572 HAS SOUPS 1206572 WITH SCORE 1208059.951
AT ITER 2939 NEW BEST:: SOT 8310785 SOS 1487819 HAS SOPS 1487819 HAS SOUS 1206473 HAS SOUPS 1206473 WITH SCORE 1207960.819
AT ITER 2952 NEW BEST:: SOT 8308441 SOS 1488640 HAS SOPS 1488640 HAS SOUS 1205074 HAS SOUPS 1205074 WITH SCORE 1206562.64
AT ITER 2975 NEW BEST:: SOT 8308285 SOS 1488484 HAS SOPS 1488484 HAS SOUS 1204918 HAS SOUPS 1204918 WITH SCORE 1206406.484
AT ITER 2997 NEW BEST:: SOT 8308240 SOS 1488394 HAS SOPS 1488394 HAS SOUS 1204828 HAS SOUPS 1204828 WITH SCORE 1206316.394
AT ITER 3001 NEW BEST:: SOT 8307937 SOS 1487788 HAS SOPS 1487788 HAS SOUS 1204222 HAS SOUPS 1204222 WITH SCORE 1205709.788
AT ITER 3012 NEW BEST:: SOT 8307899 SOS 1487712 HAS SOPS 1487712 HAS SOUS 1204146 HAS SOUPS 1204146 WITH SCORE 1205633.712
AT ITER 3017 NEW BEST:: SOT 8307899 SOS 1487711 HAS SOPS 1487711 HAS SOUS 1204145 HAS SOUPS 1204145 WITH SCORE 1205632.711
AT ITER 3051 NEW BEST:: SOT 8308133 SOS 1487659 HAS SOPS 1487659 HAS SOUS 1204093 HAS SOUPS 1204093 WITH SCORE 1205580.659
AT ITER 3073 NEW BEST:: SOT 8307961 SOS 1487487 HAS SOPS 1487487 HAS SOUS 1203921 HAS SOUPS 1203921 WITH SCORE 1205408.487
AT ITER 3077 NEW BEST:: SOT 8307699 SOS 1486963 HAS SOPS 1486963 HAS SOUS 1203659 HAS SOUPS 1203659 WITH SCORE 1205145.963
AT ITER 3084 NEW BEST:: SOT 8306659 SOS 1488663 HAS SOPS 1488663 HAS SOUS 1203411 HAS SOUPS 1203411 WITH SCORE 1204899.663
AT ITER 3092 NEW BEST:: SOT 8306659 SOS 1488662 HAS SOPS 1488662 HAS SOUS 1203410 HAS SOUPS 1203410 WITH SCORE 1204898.662
AT ITER 3113 NEW BEST:: SOT 8306659 SOS 1488662 HAS SOPS 1488662 HAS SOUS 1203308 HAS SOUPS 1203308 WITH SCORE 1204796.662
AT ITER 3132 NEW BEST:: SOT 8306378 SOS 1488100 HAS SOPS 1488100 HAS SOUS 1202697 HAS SOUPS 1202697 WITH SCORE 1204185.1
AT ITER 3169 NEW BEST:: SOT 8306654 SOS 1394311 HAS SOPS 1394311 HAS SOUS 1202583 HAS SOUPS 1202583 WITH SCORE 1203977.311
AT ITER 3174 NEW BEST:: SOT 8306654 SOS 1393733 HAS SOPS 1393733 HAS SOUS 1202294 HAS SOUPS 1202294 WITH SCORE 1203687.733
AT ITER 3178 NEW BEST:: SOT 8306654 SOS 1393732 HAS SOPS 1393732 HAS SOUS 1202293 HAS SOUPS 1202293 WITH SCORE 1203686.732
AT ITER 3185 NEW BEST:: SOT 8306578 SOS 1394525 HAS SOPS 1394525 HAS SOUS 1202217 HAS SOUPS 1202217 WITH SCORE 1203611.525
AT ITER 3272 NEW BEST:: SOT 8306577 SOS 1394523 HAS SOPS 1394523 HAS SOUS 1202215 HAS SOUPS 1202215 WITH SCORE 1203609.523
AT ITER 3307 NEW BEST:: SOT 8306563 SOS 1394509 HAS SOPS 1394509 HAS SOUS 1202201 HAS SOUPS 1202201 WITH SCORE 1203595.509
AT ITER 3326 NEW BEST:: SOT 8305815 SOS 1393470 HAS SOPS 1393470 HAS SOUS 1200996 HAS SOUPS 1200996 WITH SCORE 1202389.47
AT ITER 3338 NEW BEST:: SOT 8305626 SOS 1393092 HAS SOPS 1393092 HAS SOUS 1200618 HAS SOUPS 1200618 WITH SCORE 1202011.092
AT ITER 3361 NEW BEST:: SOT 8305344 SOS 1392528 HAS SOPS 1392528 HAS SOUS 1200032 HAS SOUPS 1200032 WITH SCORE 1201424.528
AT ITER 3403 NEW BEST:: SOT 8305344 SOS 1392527 HAS SOPS 1392527 HAS SOUS 1200031 HAS SOUPS 1200031 WITH SCORE 1201423.527
AT ITER 3432 NEW BEST:: SOT 8305280 SOS 1392489 HAS SOPS 1392489 HAS SOUS 1199993 HAS SOUPS 1199993 WITH SCORE 1201385.489
AT ITER 3437 NEW BEST:: SOT 8305280 SOS 1392489 HAS SOPS 1392489 HAS SOUS 1199499 HAS SOUPS 1199499 WITH SCORE 1200891.489
AT ITER 3448 NEW BEST:: SOT 8305165 SOS 1392374 HAS SOPS 1392374 HAS SOUS 1199498 HAS SOUPS 1199498 WITH SCORE 1200890.374
AT ITER 3449 NEW BEST:: SOT 8305099 SOS 1391978 HAS SOPS 1391978 HAS SOUS 1199366 HAS SOUPS 1199366 WITH SCORE 1200757.978
AT ITER 3463 NEW BEST:: SOT 8305129 SOS 1392038 HAS SOPS 1392038 HAS SOUS 1199310 HAS SOUPS 1199310 WITH SCORE 1200702.038
AT ITER 3469 NEW BEST:: SOT 8305128 SOS 1392036 HAS SOPS 1392036 HAS SOUS 1199308 HAS SOUPS 1199308 WITH SCORE 1200700.036
AT ITER 3473 NEW BEST:: SOT 8304969 SOS 1391718 HAS SOPS 1391718 HAS SOUS 1199149 HAS SOUPS 1199149 WITH SCORE 1200540.718
AT ITER 3490 NEW BEST:: SOT 8304969 SOS 1391717 HAS SOPS 1391717 HAS SOUS 1199148 HAS SOUPS 1199148 WITH SCORE 1200539.717
AT ITER 3500 NEW BEST:: SOT 8304935 SOS 1391683 HAS SOPS 1391683 HAS SOUS 1199114 HAS SOUPS 1199114 WITH SCORE 1200505.683
AT ITER 3514 NEW BEST:: SOT 8304832 SOS 1391665 HAS SOPS 1391665 HAS SOUS 1199078 HAS SOUPS 1199078 WITH SCORE 1200469.665
AT ITER 3520 NEW BEST:: SOT 8304485 SOS 1390971 HAS SOPS 1390971 HAS SOUS 1198365 HAS SOUPS 1198365 WITH SCORE 1199755.971
AT ITER 3548 NEW BEST:: SOT 8303943 SOS 1390495 HAS SOPS 1390495 HAS SOUS 1197848 HAS SOUPS 1197848 WITH SCORE 1199238.495
AT ITER 3549 NEW BEST:: SOT 8303395 SOS 1390084 HAS SOPS 1390084 HAS SOUS 1197437 HAS SOUPS 1197437 WITH SCORE 1198827.084
AT ITER 3556 NEW BEST:: SOT 8303394 SOS 1390082 HAS SOPS 1390082 HAS SOUS 1197435 HAS SOUPS 1197435 WITH SCORE 1198825.082
AT ITER 3603 NEW BEST:: SOT 8303038 SOS 1389726 HAS SOPS 1389726 HAS SOUS 1197079 HAS SOUPS 1197079 WITH SCORE 1198468.726
AT ITER 3623 NEW BEST:: SOT 8302990 SOS 1389678 HAS SOPS 1389678 HAS SOUS 1197031 HAS SOUPS 1197031 WITH SCORE 1198420.678
AT ITER 3635 NEW BEST:: SOT 8302990 SOS 1389678 HAS SOPS 1389678 HAS SOUS 1197029 HAS SOUPS 1197029 WITH SCORE 1198418.678
AT ITER 3676 NEW BEST:: SOT 8302945 SOS 1389633 HAS SOPS 1389633 HAS SOUS 1196984 HAS SOUPS 1196984 WITH SCORE 1198373.633
AT ITER 3684 NEW BEST:: SOT 8302795 SOS 1389408 HAS SOPS 1389408 HAS SOUS 1196834 HAS SOUPS 1196834 WITH SCORE 1198223.408
AT ITER 3685 NEW BEST:: SOT 8302569 SOS 1389316 HAS SOPS 1389316 HAS SOUS 1196637 HAS SOUPS 1196637 WITH SCORE 1198026.316
AT ITER 3727 NEW BEST:: SOT 8302290 SOS 1389037 HAS SOPS 1389037 HAS SOUS 1196358 HAS SOUPS 1196358 WITH SCORE 1197747.037
AT ITER 3753 NEW BEST:: SOT 8302208 SOS 1388954 HAS SOPS 1388954 HAS SOUS 1196357 HAS SOUPS 1196357 WITH SCORE 1197745.954
AT ITER 3755 NEW BEST:: SOT 8302102 SOS 1388852 HAS SOPS 1388852 HAS SOUS 1196254 HAS SOUPS 1196254 WITH SCORE 1197642.852
AT ITER 3775 NEW BEST:: SOT 8302046 SOS 1388910 HAS SOPS 1388910 HAS SOUS 1196227 HAS SOUPS 1196227 WITH SCORE 1197615.91
AT ITER 3786 NEW BEST:: SOT 8302046 SOS 1388910 HAS SOPS 1388910 HAS SOUS 1196223 HAS SOUPS 1196223 WITH SCORE 1197611.91
AT ITER 3840 NEW BEST:: SOT 8301790 SOS 1388857 HAS SOPS 1388857 HAS SOUS 1196196 HAS SOUPS 1196196 WITH SCORE 1197584.857
AT ITER 3892 NEW BEST:: SOT 8301442 SOS 1388161 HAS SOPS 1388161 HAS SOUS 1195500 HAS SOUPS 1195500 WITH SCORE 1196888.161
AT ITER 3935 NEW BEST:: SOT 8300867 SOS 1387011 HAS SOPS 1387011 HAS SOUS 1194611 HAS SOUPS 1194611 WITH SCORE 1195998.011
AT ITER 3950 NEW BEST:: SOT 8300549 SOS 1386375 HAS SOPS 1386375 HAS SOUS 1194293 HAS SOUPS 1194293 WITH SCORE 1195679.375
AT ITER 3965 NEW BEST:: SOT 8300548 SOS 1386373 HAS SOPS 1386373 HAS SOUS 1194291 HAS SOUPS 1194291 WITH SCORE 1195677.373
AT ITER 3968 NEW BEST:: SOT 8300096 SOS 1386161 HAS SOPS 1386161 HAS SOUS 1194020 HAS SOUPS 1194020 WITH SCORE 1195406.161
AT ITER 3977 NEW BEST:: SOT 8299751 SOS 1385471 HAS SOPS 1385471 HAS SOUS 1193330 HAS SOUPS 1193330 WITH SCORE 1194715.471
AT ITER 4010 NEW BEST:: SOT 8299530 SOS 1385029 HAS SOPS 1385029 HAS SOUS 1192888 HAS SOUPS 1192888 WITH SCORE 1194273.029
AT ITER 4029 NEW BEST:: SOT 8299391 SOS 1384751 HAS SOPS 1384751 HAS SOUS 1192877 HAS SOUPS 1192877 WITH SCORE 1194261.751
AT ITER 4061 NEW BEST:: SOT 8299277 SOS 1384637 HAS SOPS 1384637 HAS SOUS 1192763 HAS SOUPS 1192763 WITH SCORE 1194147.637
AT ITER 4107 NEW BEST:: SOT 8299250 SOS 1384583 HAS SOPS 1384583 HAS SOUS 1192709 HAS SOUPS 1192709 WITH SCORE 1194093.583
AT ITER 4111 NEW BEST:: SOT 8299053 SOS 1384555 HAS SOPS 1384555 HAS SOUS 1192512 HAS SOUPS 1192512 WITH SCORE 1193896.555
AT ITER 4112 NEW BEST:: SOT 8298814 SOS 1384077 HAS SOPS 1384077 HAS SOUS 1192496 HAS SOUPS 1192496 WITH SCORE 1193880.077
AT ITER 4138 NEW BEST:: SOT 8298725 SOS 1384064 HAS SOPS 1384064 HAS SOUS 1192388 HAS SOUPS 1192388 WITH SCORE 1193772.064
AT ITER 4149 NEW BEST:: SOT 8298725 SOS 1383952 HAS SOPS 1383952 HAS SOUS 1192388 HAS SOUPS 1192388 WITH SCORE 1193771.952
AT ITER 4157 NEW BEST:: SOT 8298772 SOS 1384046 HAS SOPS 1384046 HAS SOUS 1192347 HAS SOUPS 1192347 WITH SCORE 1193731.046
AT ITER 4171 NEW BEST:: SOT 8298508 SOS 1383518 HAS SOPS 1383518 HAS SOUS 1191819 HAS SOUPS 1191819 WITH SCORE 1193202.518
AT ITER 4194 NEW BEST:: SOT 8298098 SOS 1339942 HAS SOPS 1339942 HAS SOUS 1190999 HAS SOUPS 1190999 WITH SCORE 1192338.942
AT ITER 4243 NEW BEST:: SOT 8298098 SOS 1339688 HAS SOPS 1339688 HAS SOUS 1190745 HAS SOUPS 1190745 WITH SCORE 1192084.688
AT ITER 4245 NEW BEST:: SOT 8298103 SOS 1339039 HAS SOPS 1339039 HAS SOUS 1190516 HAS SOUPS 1190516 WITH SCORE 1191855.039
AT ITER 4259 NEW BEST:: SOT 8298103 SOS 1339039 HAS SOPS 1339039 HAS SOUS 1190256 HAS SOUPS 1190256 WITH SCORE 1191595.039
AT ITER 4297 NEW BEST:: SOT 8297768 SOS 1338369 HAS SOPS 1338369 HAS SOUS 1189586 HAS SOUPS 1189586 WITH SCORE 1190924.369
AT ITER 4313 NEW BEST:: SOT 8297733 SOS 1338299 HAS SOPS 1338299 HAS SOUS 1189551 HAS SOUPS 1189551 WITH SCORE 1190889.299
AT ITER 4323 NEW BEST:: SOT 8297738 SOS 1338309 HAS SOPS 1338309 HAS SOUS 1189220 HAS SOUPS 1189220 WITH SCORE 1190558.309
AT ITER 4328 NEW BEST:: SOT 8297738 SOS 1338309 HAS SOPS 1338309 HAS SOUS 1189149 HAS SOUPS 1189149 WITH SCORE 1190487.309
AT ITER 4345 NEW BEST:: SOT 8297547 SOS 1337927 HAS SOPS 1337927 HAS SOUS 1188767 HAS SOUPS 1188767 WITH SCORE 1190104.927
AT ITER 4354 NEW BEST:: SOT 8297698 SOS 1337645 HAS SOPS 1337645 HAS SOUS 1188626 HAS SOUPS 1188626 WITH SCORE 1189963.645
AT ITER 4371 NEW BEST:: SOT 8297378 SOS 1337452 HAS SOPS 1337452 HAS SOUS 1188194 HAS SOUPS 1188194 WITH SCORE 1189531.452
AT ITER 4374 NEW BEST:: SOT 8297329 SOS 1337403 HAS SOPS 1337403 HAS SOUS 1188145 HAS SOUPS 1188145 WITH SCORE 1189482.403
AT ITER 4395 NEW BEST:: SOT 8296871 SOS 1315613 HAS SOPS 1315613 HAS SOUS 1187229 HAS SOUPS 1187229 WITH SCORE 1188544.613
AT ITER 4415 NEW BEST:: SOT 8297242 SOS 1314687 HAS SOPS 1314687 HAS SOUS 1187049 HAS SOUPS 1187049 WITH SCORE 1188363.687
AT ITER 4439 NEW BEST:: SOT 8297004 SOS 1314763 HAS SOPS 1314763 HAS SOUS 1186600 HAS SOUPS 1186600 WITH SCORE 1187914.763
AT ITER 4444 NEW BEST:: SOT 8295575 SOS 1324967 HAS SOPS 1324967 HAS SOUS 1185479 HAS SOUPS 1185479 WITH SCORE 1186803.967
AT ITER 4452 NEW BEST:: SOT 8295575 SOS 1324543 HAS SOPS 1324543 HAS SOUS 1185479 HAS SOUPS 1185479 WITH SCORE 1186803.543
AT ITER 4471 NEW BEST:: SOT 8295524 SOS 1324441 HAS SOPS 1324441 HAS SOUS 1185352 HAS SOUPS 1185352 WITH SCORE 1186676.441
AT ITER 4489 NEW BEST:: SOT 8295603 SOS 1325017 HAS SOPS 1325017 HAS SOUS 1185160 HAS SOUPS 1185160 WITH SCORE 1186485.017
AT ITER 4504 NEW BEST:: SOT 8295536 SOS 1324883 HAS SOPS 1324883 HAS SOUS 1185026 HAS SOUPS 1185026 WITH SCORE 1186350.883
AT ITER 4511 NEW BEST:: SOT 8295419 SOS 1324899 HAS SOPS 1324899 HAS SOUS 1184909 HAS SOUPS 1184909 WITH SCORE 1186233.899
AT ITER 4525 NEW BEST:: SOT 8295398 SOS 1324857 HAS SOPS 1324857 HAS SOUS 1184867 HAS SOUPS 1184867 WITH SCORE 1186191.857
AT ITER 4531 NEW BEST:: SOT 8295272 SOS 1324605 HAS SOPS 1324605 HAS SOUS 1184615 HAS SOUPS 1184615 WITH SCORE 1185939.605
AT ITER 4535 NEW BEST:: SOT 8295067 SOS 1323990 HAS SOPS 1323990 HAS SOUS 1184205 HAS SOUPS 1184205 WITH SCORE 1185528.99
AT ITER 4553 NEW BEST:: SOT 8295026 SOS 1323908 HAS SOPS 1323908 HAS SOUS 1184029 HAS SOUPS 1184029 WITH SCORE 1185352.908
AT ITER 4565 NEW BEST:: SOT 8295025 SOS 1323792 HAS SOPS 1323792 HAS SOUS 1184028 HAS SOUPS 1184028 WITH SCORE 1185351.792
AT ITER 4594 NEW BEST:: SOT 8294476 SOS 1322694 HAS SOPS 1322694 HAS SOUS 1183744 HAS SOUPS 1183744 WITH SCORE 1185066.694
AT ITER 4644 NEW BEST:: SOT 8294476 SOS 1322694 HAS SOPS 1322694 HAS SOUS 1183433 HAS SOUPS 1183433 WITH SCORE 1184755.694
AT ITER 4651 NEW BEST:: SOT 8294476 SOS 1322694 HAS SOPS 1322694 HAS SOUS 1183010 HAS SOUPS 1183010 WITH SCORE 1184332.694
AT ITER 4673 NEW BEST:: SOT 8294559 SOS 1322413 HAS SOPS 1322413 HAS SOUS 1182646 HAS SOUPS 1182646 WITH SCORE 1183968.413
AT ITER 4687 NEW BEST:: SOT 8294559 SOS 1322413 HAS SOPS 1322413 HAS SOUS 1182398 HAS SOUPS 1182398 WITH SCORE 1183720.413
AT ITER 4704 NEW BEST:: SOT 8294537 SOS 1321147 HAS SOPS 1321147 HAS SOUS 1182059 HAS SOUPS 1182059 WITH SCORE 1183380.147
AT ITER 4744 NEW BEST:: SOT 8294537 SOS 1321086 HAS SOPS 1321086 HAS SOUS 1181998 HAS SOUPS 1181998 WITH SCORE 1183319.086
AT ITER 4757 NEW BEST:: SOT 8294901 SOS 1320968 HAS SOPS 1320968 HAS SOUS 1181939 HAS SOUPS 1181939 WITH SCORE 1183259.968
AT ITER 4771 NEW BEST:: SOT 8294901 SOS 1320548 HAS SOPS 1320548 HAS SOUS 1181939 HAS SOUPS 1181939 WITH SCORE 1183259.548
AT ITER 4852 NEW BEST:: SOT 8294509 SOS 1319764 HAS SOPS 1319764 HAS SOUS 1181155 HAS SOUPS 1181155 WITH SCORE 1182474.764
AT ITER 4887 NEW BEST:: SOT 8294267 SOS 1319522 HAS SOPS 1319522 HAS SOUS 1180941 HAS SOUPS 1180941 WITH SCORE 1182260.522
AT ITER 4890 NEW BEST:: SOT 8294003 SOS 1319522 HAS SOPS 1319522 HAS SOUS 1180809 HAS SOUPS 1180809 WITH SCORE 1182128.522
AT ITER 4907 NEW BEST:: SOT 8293748 SOS 1319231 HAS SOPS 1319231 HAS SOUS 1180576 HAS SOUPS 1180576 WITH SCORE 1181895.231
AT ITER 4946 NEW BEST:: SOT 8293748 SOS 1319231 HAS SOPS 1319231 HAS SOUS 1180235 HAS SOUPS 1180235 WITH SCORE 1181554.231
AT ITER 4953 NEW BEST:: SOT 8293692 SOS 1319119 HAS SOPS 1319119 HAS SOUS 1180123 HAS SOUPS 1180123 WITH SCORE 1181442.119
AT ITER 4971 NEW BEST:: SOT 8294189 SOS 1318945 HAS SOPS 1318945 HAS SOUS 1180084 HAS SOUPS 1180084 WITH SCORE 1181402.945
AT ITER 4978 NEW BEST:: SOT 8294189 SOS 1318944 HAS SOPS 1318944 HAS SOUS 1180083 HAS SOUPS 1180083 WITH SCORE 1181401.944
AT ITER 5027 NEW BEST:: SOT 8294170 SOS 1318886 HAS SOPS 1318886 HAS SOUS 1180044 HAS SOUPS 1180044 WITH SCORE 1181362.886
AT ITER 5033 NEW BEST:: SOT 8293921 SOS 1318388 HAS SOPS 1318388 HAS SOUS 1179795 HAS SOUPS 1179795 WITH SCORE 1181113.388
AT ITER 5063 NEW BEST:: SOT 8293559 SOS 1314406 HAS SOPS 1314406 HAS SOUS 1179071 HAS SOUPS 1179071 WITH SCORE 1180385.406
AT ITER 5081 NEW BEST:: SOT 8293560 SOS 1314408 HAS SOPS 1314408 HAS SOUS 1178747 HAS SOUPS 1178747 WITH SCORE 1180061.408
AT ITER 5082 NEW BEST:: SOT 8293529 SOS 1314346 HAS SOPS 1314346 HAS SOUS 1178716 HAS SOUPS 1178716 WITH SCORE 1180030.346
AT ITER 5083 NEW BEST:: SOT 8293360 SOS 1314008 HAS SOPS 1314008 HAS SOUS 1178547 HAS SOUPS 1178547 WITH SCORE 1179861.008
AT ITER 5098 NEW BEST:: SOT 8293298 SOS 1314001 HAS SOPS 1314001 HAS SOUS 1178519 HAS SOUPS 1178519 WITH SCORE 1179833.001
AT ITER 5100 NEW BEST:: SOT 8293016 SOS 1313719 HAS SOPS 1313719 HAS SOUS 1178237 HAS SOUPS 1178237 WITH SCORE 1179550.719
AT ITER 5132 NEW BEST:: SOT 8292998 SOS 1313704 HAS SOPS 1313704 HAS SOUS 1178222 HAS SOUPS 1178222 WITH SCORE 1179535.704
AT ITER 5140 NEW BEST:: SOT 8292951 SOS 1313610 HAS SOPS 1313610 HAS SOUS 1178128 HAS SOUPS 1178128 WITH SCORE 1179441.61
AT ITER 5173 NEW BEST:: SOT 8292742 SOS 1312921 HAS SOPS 1312921 HAS SOUS 1177648 HAS SOUPS 1177648 WITH SCORE 1178960.921
AT ITER 5201 NEW BEST:: SOT 8292742 SOS 1312877 HAS SOPS 1312877 HAS SOUS 1177604 HAS SOUPS 1177604 WITH SCORE 1178916.877
AT ITER 5203 NEW BEST:: SOT 8292701 SOS 1312835 HAS SOPS 1312835 HAS SOUS 1177592 HAS SOUPS 1177592 WITH SCORE 1178904.835
AT ITER 5247 NEW BEST:: SOT 8292701 SOS 1312788 HAS SOPS 1312788 HAS SOUS 1177592 HAS SOUPS 1177592 WITH SCORE 1178904.788
AT ITER 5258 NEW BEST:: SOT 8292980 SOS 1312280 HAS SOPS 1312280 HAS SOUS 1177406 HAS SOUPS 1177406 WITH SCORE 1178718.28
AT ITER 5292 NEW BEST:: SOT 8291711 SOS 1312533 HAS SOPS 1312533 HAS SOUS 1176686 HAS SOUPS 1176686 WITH SCORE 1177998.533
AT ITER 5303 NEW BEST:: SOT 8291711 SOS 1312378 HAS SOPS 1312378 HAS SOUS 1176686 HAS SOUPS 1176686 WITH SCORE 1177998.378
AT ITER 5319 NEW BEST:: SOT 8291651 SOS 1312330 HAS SOPS 1312330 HAS SOUS 1176626 HAS SOUPS 1176626 WITH SCORE 1177938.33
AT ITER 5379 NEW BEST:: SOT 8291783 SOS 1313122 HAS SOPS 1313122 HAS SOUS 1176503 HAS SOUPS 1176503 WITH SCORE 1177816.122
AT ITER 5384 NEW BEST:: SOT 8291569 SOS 1310768 HAS SOPS 1310768 HAS SOUS 1176288 HAS SOUPS 1176288 WITH SCORE 1177598.768
AT ITER 5467 NEW BEST:: SOT 8291245 SOS 1310444 HAS SOPS 1310444 HAS SOUS 1175964 HAS SOUPS 1175964 WITH SCORE 1177274.444
AT ITER 5476 NEW BEST:: SOT 8291461 SOS 1310876 HAS SOPS 1310876 HAS SOUS 1175955 HAS SOUPS 1175955 WITH SCORE 1177265.876
AT ITER 5483 NEW BEST:: SOT 8291402 SOS 1310758 HAS SOPS 1310758 HAS SOUS 1175837 HAS SOUPS 1175837 WITH SCORE 1177147.758
AT ITER 5492 NEW BEST:: SOT 8289361 SOS 1310406 HAS SOPS 1310406 HAS SOUS 1173815 HAS SOUPS 1173815 WITH SCORE 1175125.406
AT ITER 5496 NEW BEST:: SOT 8289097 SOS 1310142 HAS SOPS 1310142 HAS SOUS 1173551 HAS SOUPS 1173551 WITH SCORE 1174861.142
AT ITER 5523 NEW BEST:: SOT 8288696 SOS 1310150 HAS SOPS 1310150 HAS SOUS 1173256 HAS SOUPS 1173256 WITH SCORE 1174566.15
AT ITER 5576 NEW BEST:: SOT 8288467 SOS 1309828 HAS SOPS 1309828 HAS SOUS 1172908 HAS SOUPS 1172908 WITH SCORE 1174217.828
AT ITER 5581 NEW BEST:: SOT 8288215 SOS 1309324 HAS SOPS 1309324 HAS SOUS 1172656 HAS SOUPS 1172656 WITH SCORE 1173965.324
AT ITER 5592 NEW BEST:: SOT 8287987 SOS 1308868 HAS SOPS 1308868 HAS SOUS 1172426 HAS SOUPS 1172426 WITH SCORE 1173734.868
AT ITER 5643 NEW BEST:: SOT 8287914 SOS 1308868 HAS SOPS 1308868 HAS SOUS 1172353 HAS SOUPS 1172353 WITH SCORE 1173661.868
AT ITER 5644 NEW BEST:: SOT 8287665 SOS 1309346 HAS SOPS 1309346 HAS SOUS 1171670 HAS SOUPS 1171670 WITH SCORE 1172979.346
AT ITER 5650 NEW BEST:: SOT 8287599 SOS 1309214 HAS SOPS 1309214 HAS SOUS 1171538 HAS SOUPS 1171538 WITH SCORE 1172847.214
AT ITER 5676 NEW BEST:: SOT 8287144 SOS 1308811 HAS SOPS 1308811 HAS SOUS 1170914 HAS SOUPS 1170914 WITH SCORE 1172222.811
AT ITER 5690 NEW BEST:: SOT 8285917 SOS 1311173 HAS SOPS 1311173 HAS SOUS 1170431 HAS SOUPS 1170431 WITH SCORE 1171742.173
AT ITER 5715 NEW BEST:: SOT 8285761 SOS 1310861 HAS SOPS 1310861 HAS SOUS 1170351 HAS SOUPS 1170351 WITH SCORE 1171661.861
AT ITER 5734 NEW BEST:: SOT 8285495 SOS 1310329 HAS SOPS 1310329 HAS SOUS 1169819 HAS SOUPS 1169819 WITH SCORE 1171129.329
AT ITER 5749 NEW BEST:: SOT 8285467 SOS 1310273 HAS SOPS 1310273 HAS SOUS 1169763 HAS SOUPS 1169763 WITH SCORE 1171073.273
AT ITER 5769 NEW BEST:: SOT 8285467 SOS 1310028 HAS SOPS 1310028 HAS SOUS 1169518 HAS SOUPS 1169518 WITH SCORE 1170828.028
AT ITER 5772 NEW BEST:: SOT 8285268 SOS 1309630 HAS SOPS 1309630 HAS SOUS 1169132 HAS SOUPS 1169132 WITH SCORE 1170441.63
AT ITER 5795 NEW BEST:: SOT 8285204 SOS 1309628 HAS SOPS 1309628 HAS SOUS 1169130 HAS SOUPS 1169130 WITH SCORE 1170439.628
AT ITER 5799 NEW BEST:: SOT 8285165 SOS 1309550 HAS SOPS 1309550 HAS SOUS 1169129 HAS SOUPS 1169129 WITH SCORE 1170438.55
AT ITER 5867 NEW BEST:: SOT 8284936 SOS 1309092 HAS SOPS 1309092 HAS SOUS 1168900 HAS SOUPS 1168900 WITH SCORE 1170209.092
AT ITER 5891 NEW BEST:: SOT 8284935 SOS 1309090 HAS SOPS 1309090 HAS SOUS 1168898 HAS SOUPS 1168898 WITH SCORE 1170207.09
AT ITER 5892 NEW BEST:: SOT 8284920 SOS 1309060 HAS SOPS 1309060 HAS SOUS 1168868 HAS SOUPS 1168868 WITH SCORE 1170177.06
AT ITER 5920 NEW BEST:: SOT 8284753 SOS 1309020 HAS SOPS 1309020 HAS SOUS 1168760 HAS SOUPS 1168760 WITH SCORE 1170069.02
AT ITER 5926 NEW BEST:: SOT 8284642 SOS 1308798 HAS SOPS 1308798 HAS SOUS 1168538 HAS SOUPS 1168538 WITH SCORE 1169846.798
AT ITER 5938 NEW BEST:: SOT 8284659 SOS 1308940 HAS SOPS 1308940 HAS SOUS 1168464 HAS SOUPS 1168464 WITH SCORE 1169772.94
AT ITER 5949 NEW BEST:: SOT 8284659 SOS 1308939 HAS SOPS 1308939 HAS SOUS 1168463 HAS SOUPS 1168463 WITH SCORE 1169771.939
AT ITER 5955 NEW BEST:: SOT 8284659 SOS 1308939 HAS SOPS 1308939 HAS SOUS 1168274 HAS SOUPS 1168274 WITH SCORE 1169582.939
AT ITER 5963 NEW BEST:: SOT 8284606 SOS 1308919 HAS SOPS 1308919 HAS SOUS 1168221 HAS SOUPS 1168221 WITH SCORE 1169529.919
AT ITER 5972 NEW BEST:: SOT 8284606 SOS 1308919 HAS SOPS 1308919 HAS SOUS 1168162 HAS SOUPS 1168162 WITH SCORE 1169470.919
AT ITER 5983 NEW BEST:: SOT 8283836 SOS 1307764 HAS SOPS 1307764 HAS SOUS 1167007 HAS SOUPS 1167007 WITH SCORE 1168314.764
AT ITER 5992 NEW BEST:: SOT 8283836 SOS 1307606 HAS SOPS 1307606 HAS SOUS 1167006 HAS SOUPS 1167006 WITH SCORE 1168313.606
AT ITER 6004 NEW BEST:: SOT 8283618 SOS 1307170 HAS SOPS 1307170 HAS SOUS 1166570 HAS SOUPS 1166570 WITH SCORE 1167877.17
AT ITER 6028 NEW BEST:: SOT 8283722 SOS 1307378 HAS SOPS 1307378 HAS SOUS 1166370 HAS SOUPS 1166370 WITH SCORE 1167677.378
AT ITER 6059 NEW BEST:: SOT 8284131 SOS 1307448 HAS SOPS 1307448 HAS SOUS 1166340 HAS SOUPS 1166340 WITH SCORE 1167647.448
AT ITER 6072 NEW BEST:: SOT 8284107 SOS 1307400 HAS SOPS 1307400 HAS SOUS 1166292 HAS SOUPS 1166292 WITH SCORE 1167599.4
AT ITER 6082 NEW BEST:: SOT 8284091 SOS 1307400 HAS SOPS 1307400 HAS SOUS 1166284 HAS SOUPS 1166284 WITH SCORE 1167591.4
AT ITER 6122 NEW BEST:: SOT 8283978 SOS 1307055 HAS SOPS 1307055 HAS SOUS 1166052 HAS SOUPS 1166052 WITH SCORE 1167359.055
AT ITER 6150 NEW BEST:: SOT 8283879 SOS 1306857 HAS SOPS 1306857 HAS SOUS 1165854 HAS SOUPS 1165854 WITH SCORE 1167160.857
AT ITER 6158 NEW BEST:: SOT 8283518 SOS 1306585 HAS SOPS 1306585 HAS SOUS 1165493 HAS SOUPS 1165493 WITH SCORE 1166799.585
AT ITER 6166 NEW BEST:: SOT 8283513 SOS 1306575 HAS SOPS 1306575 HAS SOUS 1165483 HAS SOUPS 1165483 WITH SCORE 1166789.575
AT ITER 6168 NEW BEST:: SOT 8283487 SOS 1306523 HAS SOPS 1306523 HAS SOUS 1165431 HAS SOUPS 1165431 WITH SCORE 1166737.523
AT ITER 6174 NEW BEST:: SOT 8283453 SOS 1306455 HAS SOPS 1306455 HAS SOUS 1165363 HAS SOUPS 1165363 WITH SCORE 1166669.455
AT ITER 6198 NEW BEST:: SOT 8283429 SOS 1306407 HAS SOPS 1306407 HAS SOUS 1165327 HAS SOUPS 1165327 WITH SCORE 1166633.407
AT ITER 6228 NEW BEST:: SOT 8283413 SOS 1305935 HAS SOPS 1305935 HAS SOUS 1165091 HAS SOUPS 1165091 WITH SCORE 1166396.935
AT ITER 6229 NEW BEST:: SOT 8283413 SOS 1305934 HAS SOPS 1305934 HAS SOUS 1165090 HAS SOUPS 1165090 WITH SCORE 1166395.934
AT ITER 6238 NEW BEST:: SOT 8283413 SOS 1305820 HAS SOPS 1305820 HAS SOUS 1165090 HAS SOUPS 1165090 WITH SCORE 1166395.82
AT ITER 6246 NEW BEST:: SOT 8283202 SOS 1305398 HAS SOPS 1305398 HAS SOUS 1164879 HAS SOUPS 1164879 WITH SCORE 1166184.398
AT ITER 6261 NEW BEST:: SOT 8283081 SOS 1303892 HAS SOPS 1303892 HAS SOUS 1164126 HAS SOUPS 1164126 WITH SCORE 1165429.892
AT ITER 6319 NEW BEST:: SOT 8283081 SOS 1303892 HAS SOPS 1303892 HAS SOUS 1164021 HAS SOUPS 1164021 WITH SCORE 1165324.892
AT ITER 6329 NEW BEST:: SOT 8282996 SOS 1303722 HAS SOPS 1303722 HAS SOUS 1163869 HAS SOUPS 1163869 WITH SCORE 1165172.722
AT ITER 6339 NEW BEST:: SOT 8282900 SOS 1303530 HAS SOPS 1303530 HAS SOUS 1163638 HAS SOUPS 1163638 WITH SCORE 1164941.53
AT ITER 6357 NEW BEST:: SOT 8282834 SOS 1303398 HAS SOPS 1303398 HAS SOUS 1163506 HAS SOUPS 1163506 WITH SCORE 1164809.398
AT ITER 6367 NEW BEST:: SOT 8282888 SOS 1303506 HAS SOPS 1303506 HAS SOUS 1163437 HAS SOUPS 1163437 WITH SCORE 1164740.506
AT ITER 6373 NEW BEST:: SOT 8282806 SOS 1303342 HAS SOPS 1303342 HAS SOUS 1163273 HAS SOUPS 1163273 WITH SCORE 1164576.342
AT ITER 6379 NEW BEST:: SOT 8282731 SOS 1303192 HAS SOPS 1303192 HAS SOUS 1163123 HAS SOUPS 1163123 WITH SCORE 1164426.192
AT ITER 6384 NEW BEST:: SOT 8282631 SOS 1302992 HAS SOPS 1302992 HAS SOUS 1162923 HAS SOUPS 1162923 WITH SCORE 1164225.992
AT ITER 6398 NEW BEST:: SOT 8282625 SOS 1302980 HAS SOPS 1302980 HAS SOUS 1162911 HAS SOUPS 1162911 WITH SCORE 1164213.98
AT ITER 6435 NEW BEST:: SOT 8282494 SOS 1302718 HAS SOPS 1302718 HAS SOUS 1162649 HAS SOUPS 1162649 WITH SCORE 1163951.718
AT ITER 6472 NEW BEST:: SOT 8282494 SOS 1302534 HAS SOPS 1302534 HAS SOUS 1162557 HAS SOUPS 1162557 WITH SCORE 1163859.534
AT ITER 6474 NEW BEST:: SOT 8282436 SOS 1302418 HAS SOPS 1302418 HAS SOUS 1162441 HAS SOUPS 1162441 WITH SCORE 1163743.418
AT ITER 6484 NEW BEST:: SOT 8282436 SOS 1302240 HAS SOPS 1302240 HAS SOUS 1162441 HAS SOUPS 1162441 WITH SCORE 1163743.24
AT ITER 6496 NEW BEST:: SOT 8282436 SOS 1302073 HAS SOPS 1302073 HAS SOUS 1162274 HAS SOUPS 1162274 WITH SCORE 1163576.073
AT ITER 6508 NEW BEST:: SOT 8282330 SOS 1301861 HAS SOPS 1301861 HAS SOUS 1162062 HAS SOUPS 1162062 WITH SCORE 1163363.861
AT ITER 6523 NEW BEST:: SOT 8282433 SOS 1302067 HAS SOPS 1302067 HAS SOUS 1161836 HAS SOUPS 1161836 WITH SCORE 1163138.067
AT ITER 6525 NEW BEST:: SOT 8282399 SOS 1301999 HAS SOPS 1301999 HAS SOUS 1161768 HAS SOUPS 1161768 WITH SCORE 1163069.999
AT ITER 6537 NEW BEST:: SOT 8281930 SOS 1301061 HAS SOPS 1301061 HAS SOUS 1160830 HAS SOUPS 1160830 WITH SCORE 1162131.061
AT ITER 6639 NEW BEST:: SOT 8281909 SOS 1301019 HAS SOPS 1301019 HAS SOUS 1160809 HAS SOUPS 1160809 WITH SCORE 1162110.019
AT ITER 6656 NEW BEST:: SOT 8281919 SOS 1301160 HAS SOPS 1301160 HAS SOUS 1160764 HAS SOUPS 1160764 WITH SCORE 1162065.16
AT ITER 6665 NEW BEST:: SOT 8281739 SOS 1300980 HAS SOPS 1300980 HAS SOUS 1160584 HAS SOUPS 1160584 WITH SCORE 1161884.98
AT ITER 6676 NEW BEST:: SOT 8281709 SOS 1300950 HAS SOPS 1300950 HAS SOUS 1160539 HAS SOUPS 1160539 WITH SCORE 1161839.95
AT ITER 6766 NEW BEST:: SOT 8281691 SOS 1300914 HAS SOPS 1300914 HAS SOUS 1160503 HAS SOUPS 1160503 WITH SCORE 1161803.914
AT ITER 6800 NEW BEST:: SOT 8281691 SOS 1300850 HAS SOPS 1300850 HAS SOUS 1160503 HAS SOUPS 1160503 WITH SCORE 1161803.85
AT ITER 6865 NEW BEST:: SOT 8281519 SOS 1301101 HAS SOPS 1301101 HAS SOUS 1160331 HAS SOUPS 1160331 WITH SCORE 1161632.101
AT ITER 6886 NEW BEST:: SOT 8281332 SOS 1300727 HAS SOPS 1300727 HAS SOUS 1159957 HAS SOUPS 1159957 WITH SCORE 1161257.727
AT ITER 6978 NEW BEST:: SOT 8281677 SOS 1301042 HAS SOPS 1301042 HAS SOUS 1159927 HAS SOUPS 1159927 WITH SCORE 1161228.042
AT ITER 6994 NEW BEST:: SOT 8281677 SOS 1301042 HAS SOPS 1301042 HAS SOUS 1159610 HAS SOUPS 1159610 WITH SCORE 1160911.042
AT ITER 6998 NEW BEST:: SOT 8281676 SOS 1301040 HAS SOPS 1301040 HAS SOUS 1159608 HAS SOUPS 1159608 WITH SCORE 1160909.04
AT ITER 7041 NEW BEST:: SOT 8281676 SOS 1300838 HAS SOPS 1300838 HAS SOUS 1159507 HAS SOUPS 1159507 WITH SCORE 1160807.838
AT ITER 7072 NEW BEST:: SOT 8281676 SOS 1300837 HAS SOPS 1300837 HAS SOUS 1159506 HAS SOUPS 1159506 WITH SCORE 1160806.837
AT ITER 7093 NEW BEST:: SOT 8281621 SOS 1300727 HAS SOPS 1300727 HAS SOUS 1159396 HAS SOUPS 1159396 WITH SCORE 1160696.727
AT ITER 7103 NEW BEST:: SOT 8280013 SOS 1314831 HAS SOPS 1314831 HAS SOUS 1158542 HAS SOUPS 1158542 WITH SCORE 1159856.831
AT ITER 7121 NEW BEST:: SOT 8280013 SOS 1314830 HAS SOPS 1314830 HAS SOUS 1158541 HAS SOUPS 1158541 WITH SCORE 1159855.83
AT ITER 7130 NEW BEST:: SOT 8279844 SOS 1314323 HAS SOPS 1314323 HAS SOUS 1158203 HAS SOUPS 1158203 WITH SCORE 1159517.323
AT ITER 7167 NEW BEST:: SOT 8279768 SOS 1314171 HAS SOPS 1314171 HAS SOUS 1158070 HAS SOUPS 1158070 WITH SCORE 1159384.171
AT ITER 7168 NEW BEST:: SOT 8279754 SOS 1314143 HAS SOPS 1314143 HAS SOUS 1158056 HAS SOUPS 1158056 WITH SCORE 1159370.143
AT ITER 7178 NEW BEST:: SOT 8279753 SOS 1314141 HAS SOPS 1314141 HAS SOUS 1158054 HAS SOUPS 1158054 WITH SCORE 1159368.141
AT ITER 7192 NEW BEST:: SOT 8279718 SOS 1314071 HAS SOPS 1314071 HAS SOUS 1157984 HAS SOUPS 1157984 WITH SCORE 1159298.071
AT ITER 7194 NEW BEST:: SOT 8279714 SOS 1314063 HAS SOPS 1314063 HAS SOUS 1157976 HAS SOUPS 1157976 WITH SCORE 1159290.063
AT ITER 7208 NEW BEST:: SOT 8279693 SOS 1314042 HAS SOPS 1314042 HAS SOUS 1157976 HAS SOUPS 1157976 WITH SCORE 1159290.042
AT ITER 7215 NEW BEST:: SOT 8279693 SOS 1314042 HAS SOPS 1314042 HAS SOUS 1157932 HAS SOUPS 1157932 WITH SCORE 1159246.042
AT ITER 7219 NEW BEST:: SOT 8279748 SOS 1313766 HAS SOPS 1313766 HAS SOUS 1157931 HAS SOUPS 1157931 WITH SCORE 1159244.766
AT ITER 7237 NEW BEST:: SOT 8279748 SOS 1313425 HAS SOPS 1313425 HAS SOUS 1157791 HAS SOUPS 1157791 WITH SCORE 1159104.425
AT ITER 7260 NEW BEST:: SOT 8279717 SOS 1313363 HAS SOPS 1313363 HAS SOUS 1157729 HAS SOUPS 1157729 WITH SCORE 1159042.363
AT ITER 7299 NEW BEST:: SOT 8279433 SOS 1312448 HAS SOPS 1312448 HAS SOUS 1157161 HAS SOUPS 1157161 WITH SCORE 1158473.448
AT ITER 7308 NEW BEST:: SOT 8279433 SOS 1312228 HAS SOPS 1312228 HAS SOUS 1156941 HAS SOUPS 1156941 WITH SCORE 1158253.228
AT ITER 7322 NEW BEST:: SOT 8279348 SOS 1312058 HAS SOPS 1312058 HAS SOUS 1156771 HAS SOUPS 1156771 WITH SCORE 1158083.058
AT ITER 7327 NEW BEST:: SOT 8279348 SOS 1312057 HAS SOPS 1312057 HAS SOUS 1156770 HAS SOUPS 1156770 WITH SCORE 1158082.057
AT ITER 7369 NEW BEST:: SOT 8279132 SOS 1311625 HAS SOPS 1311625 HAS SOUS 1156338 HAS SOUPS 1156338 WITH SCORE 1157649.625
AT ITER 7386 NEW BEST:: SOT 8278929 SOS 1311219 HAS SOPS 1311219 HAS SOUS 1156099 HAS SOUPS 1156099 WITH SCORE 1157410.219
AT ITER 7412 NEW BEST:: SOT 8278535 SOS 1310098 HAS SOPS 1310098 HAS SOUS 1155814 HAS SOUPS 1155814 WITH SCORE 1157124.098
AT ITER 7433 NEW BEST:: SOT 8277764 SOS 1309029 HAS SOPS 1309029 HAS SOUS 1154619 HAS SOUPS 1154619 WITH SCORE 1155928.029
AT ITER 7460 NEW BEST:: SOT 8277725 SOS 1308951 HAS SOPS 1308951 HAS SOUS 1154533 HAS SOUPS 1154533 WITH SCORE 1155841.951
AT ITER 7461 NEW BEST:: SOT 8277750 SOS 1309001 HAS SOPS 1309001 HAS SOUS 1154333 HAS SOUPS 1154333 WITH SCORE 1155642.001
AT ITER 7479 NEW BEST:: SOT 8277748 SOS 1308993 HAS SOPS 1308993 HAS SOUS 1154327 HAS SOUPS 1154327 WITH SCORE 1155635.993
AT ITER 7496 NEW BEST:: SOT 8277781 SOS 1309059 HAS SOPS 1309059 HAS SOUS 1154083 HAS SOUPS 1154083 WITH SCORE 1155392.059
AT ITER 7508 NEW BEST:: SOT 8277477 SOS 1308451 HAS SOPS 1308451 HAS SOUS 1153779 HAS SOUPS 1153779 WITH SCORE 1155087.451
AT ITER 7545 NEW BEST:: SOT 8277465 SOS 1308427 HAS SOPS 1308427 HAS SOUS 1153766 HAS SOUPS 1153766 WITH SCORE 1155074.427
AT ITER 7557 NEW BEST:: SOT 8277680 SOS 1308857 HAS SOPS 1308857 HAS SOUS 1153678 HAS SOUPS 1153678 WITH SCORE 1154986.857
AT ITER 7560 NEW BEST:: SOT 8277459 SOS 1308765 HAS SOPS 1308765 HAS SOUS 1153513 HAS SOUPS 1153513 WITH SCORE 1154821.765
AT ITER 7572 NEW BEST:: SOT 8277459 SOS 1308764 HAS SOPS 1308764 HAS SOUS 1153512 HAS SOUPS 1153512 WITH SCORE 1154820.764
AT ITER 7578 NEW BEST:: SOT 8277458 SOS 1308762 HAS SOPS 1308762 HAS SOUS 1153369 HAS SOUPS 1153369 WITH SCORE 1154677.762
AT ITER 7642 NEW BEST:: SOT 8277432 SOS 1308710 HAS SOPS 1308710 HAS SOUS 1153317 HAS SOUPS 1153317 WITH SCORE 1154625.71
AT ITER 7653 NEW BEST:: SOT 8277301 SOS 1308448 HAS SOPS 1308448 HAS SOUS 1153055 HAS SOUPS 1153055 WITH SCORE 1154363.448
AT ITER 7660 NEW BEST:: SOT 8277301 SOS 1308437 HAS SOPS 1308437 HAS SOUS 1153044 HAS SOUPS 1153044 WITH SCORE 1154352.437
AT ITER 7715 NEW BEST:: SOT 8277314 SOS 1308463 HAS SOPS 1308463 HAS SOUS 1152823 HAS SOUPS 1152823 WITH SCORE 1154131.463
AT ITER 7739 NEW BEST:: SOT 8276759 SOS 1307353 HAS SOPS 1307353 HAS SOUS 1152226 HAS SOUPS 1152226 WITH SCORE 1153533.353
AT ITER 7764 NEW BEST:: SOT 8276639 SOS 1307209 HAS SOPS 1307209 HAS SOUS 1152071 HAS SOUPS 1152071 WITH SCORE 1153378.209
AT ITER 7765 NEW BEST:: SOT 8276730 SOS 1307391 HAS SOPS 1307391 HAS SOUS 1151908 HAS SOUPS 1151908 WITH SCORE 1153215.391
AT ITER 7838 NEW BEST:: SOT 8276729 SOS 1307389 HAS SOPS 1307389 HAS SOUS 1151906 HAS SOUPS 1151906 WITH SCORE 1153213.389
AT ITER 7840 NEW BEST:: SOT 8276729 SOS 1307165 HAS SOPS 1307165 HAS SOUS 1151906 HAS SOUPS 1151906 WITH SCORE 1153213.165
AT ITER 7852 NEW BEST:: SOT 8276675 SOS 1307196 HAS SOPS 1307196 HAS SOUS 1151895 HAS SOUPS 1151895 WITH SCORE 1153202.196
AT ITER 7900 NEW BEST:: SOT 8276668 SOS 1307182 HAS SOPS 1307182 HAS SOUS 1151888 HAS SOUPS 1151888 WITH SCORE 1153195.182
AT ITER 7926 NEW BEST:: SOT 8276483 SOS 1306812 HAS SOPS 1306812 HAS SOUS 1151703 HAS SOUPS 1151703 WITH SCORE 1153009.812
AT ITER 7934 NEW BEST:: SOT 8276451 SOS 1306780 HAS SOPS 1306780 HAS SOUS 1151671 HAS SOUPS 1151671 WITH SCORE 1152977.78
AT ITER 7948 NEW BEST:: SOT 8276451 SOS 1306739 HAS SOPS 1306739 HAS SOUS 1151630 HAS SOUPS 1151630 WITH SCORE 1152936.739
AT ITER 7977 NEW BEST:: SOT 8276162 SOS 1306161 HAS SOPS 1306161 HAS SOUS 1151052 HAS SOUPS 1151052 WITH SCORE 1152358.161
AT ITER 8010 NEW BEST:: SOT 8276162 SOS 1306161 HAS SOPS 1306161 HAS SOUS 1151041 HAS SOUPS 1151041 WITH SCORE 1152347.161
AT ITER 8012 NEW BEST:: SOT 8275984 SOS 1305983 HAS SOPS 1305983 HAS SOUS 1150863 HAS SOUPS 1150863 WITH SCORE 1152168.983
AT ITER 8019 NEW BEST:: SOT 8274789 SOS 1304788 HAS SOPS 1304788 HAS SOUS 1149668 HAS SOUPS 1149668 WITH SCORE 1150972.788
AT ITER 8027 NEW BEST:: SOT 8275134 SOS 1305126 HAS SOPS 1305126 HAS SOUS 1149661 HAS SOUPS 1149661 WITH SCORE 1150966.126
AT ITER 8038 NEW BEST:: SOT 8275134 SOS 1305126 HAS SOPS 1305126 HAS SOUS 1149598 HAS SOUPS 1149598 WITH SCORE 1150903.126
AT ITER 8043 NEW BEST:: SOT 8275032 SOS 1304820 HAS SOPS 1304820 HAS SOUS 1149394 HAS SOUPS 1149394 WITH SCORE 1150698.82
AT ITER 8053 NEW BEST:: SOT 8274993 SOS 1304742 HAS SOPS 1304742 HAS SOUS 1149316 HAS SOUPS 1149316 WITH SCORE 1150620.742
AT ITER 8096 NEW BEST:: SOT 8274962 SOS 1304482 HAS SOPS 1304482 HAS SOUS 1149056 HAS SOUPS 1149056 WITH SCORE 1150360.482
AT ITER 8102 NEW BEST:: SOT 8274645 SOS 1305188 HAS SOPS 1305188 HAS SOUS 1148912 HAS SOUPS 1148912 WITH SCORE 1150217.188
AT ITER 8114 NEW BEST:: SOT 8274206 SOS 1304687 HAS SOPS 1304687 HAS SOUS 1148411 HAS SOUPS 1148411 WITH SCORE 1149715.687
AT ITER 8147 NEW BEST:: SOT 8273953 SOS 1304434 HAS SOPS 1304434 HAS SOUS 1148411 HAS SOUPS 1148411 WITH SCORE 1149715.434
AT ITER 8164 NEW BEST:: SOT 8273944 SOS 1304416 HAS SOPS 1304416 HAS SOUS 1148402 HAS SOUPS 1148402 WITH SCORE 1149706.416
AT ITER 8166 NEW BEST:: SOT 8273900 SOS 1304328 HAS SOPS 1304328 HAS SOUS 1148358 HAS SOUPS 1148358 WITH SCORE 1149662.328
AT ITER 8233 NEW BEST:: SOT 8273861 SOS 1304250 HAS SOPS 1304250 HAS SOUS 1148244 HAS SOUPS 1148244 WITH SCORE 1149548.25
AT ITER 8251 NEW BEST:: SOT 8273861 SOS 1304153 HAS SOPS 1304153 HAS SOUS 1148147 HAS SOUPS 1148147 WITH SCORE 1149451.153
AT ITER 8260 NEW BEST:: SOT 8273860 SOS 1303939 HAS SOPS 1303939 HAS SOUS 1147933 HAS SOUPS 1147933 WITH SCORE 1149236.939
AT ITER 8271 NEW BEST:: SOT 8273858 SOS 1304008 HAS SOPS 1304008 HAS SOUS 1147929 HAS SOUPS 1147929 WITH SCORE 1149233.008
AT ITER 8276 NEW BEST:: SOT 8273726 SOS 1303931 HAS SOPS 1303931 HAS SOUS 1147852 HAS SOUPS 1147852 WITH SCORE 1149155.931
AT ITER 8322 NEW BEST:: SOT 8273257 SOS 1303389 HAS SOPS 1303389 HAS SOUS 1146992 HAS SOUPS 1146992 WITH SCORE 1148295.389
AT ITER 8334 NEW BEST:: SOT 8273153 SOS 1303181 HAS SOPS 1303181 HAS SOUS 1146740 HAS SOUPS 1146740 WITH SCORE 1148043.181
AT ITER 8411 NEW BEST:: SOT 8273153 SOS 1303105 HAS SOPS 1303105 HAS SOUS 1146664 HAS SOUPS 1146664 WITH SCORE 1147967.105
AT ITER 8512 NEW BEST:: SOT 8273003 SOS 1303105 HAS SOPS 1303105 HAS SOUS 1146514 HAS SOUPS 1146514 WITH SCORE 1147817.105
AT ITER 8602 NEW BEST:: SOT 8273203 SOS 1303081 HAS SOPS 1303081 HAS SOUS 1146490 HAS SOUPS 1146490 WITH SCORE 1147793.081
AT ITER 8636 NEW BEST:: SOT 8273202 SOS 1303079 HAS SOPS 1303079 HAS SOUS 1146488 HAS SOUPS 1146488 WITH SCORE 1147791.079
AT ITER 8647 NEW BEST:: SOT 8273202 SOS 1303079 HAS SOPS 1303079 HAS SOUS 1146475 HAS SOUPS 1146475 WITH SCORE 1147778.079
AT ITER 8655 NEW BEST:: SOT 8273186 SOS 1303047 HAS SOPS 1303047 HAS SOUS 1146443 HAS SOUPS 1146443 WITH SCORE 1147746.047
AT ITER 8669 NEW BEST:: SOT 8272594 SOS 1302214 HAS SOPS 1302214 HAS SOUS 1145610 HAS SOUPS 1145610 WITH SCORE 1146912.214
AT ITER 8675 NEW BEST:: SOT 8272594 SOS 1302071 HAS SOPS 1302071 HAS SOUS 1145467 HAS SOUPS 1145467 WITH SCORE 1146769.071
AT ITER 8682 NEW BEST:: SOT 8272565 SOS 1302013 HAS SOPS 1302013 HAS SOUS 1145409 HAS SOUPS 1145409 WITH SCORE 1146711.013
AT ITER 8699 NEW BEST:: SOT 8272462 SOS 1301517 HAS SOPS 1301517 HAS SOUS 1145273 HAS SOUPS 1145273 WITH SCORE 1146574.517
AT ITER 8705 NEW BEST:: SOT 8272245 SOS 1300808 HAS SOPS 1300808 HAS SOUS 1144721 HAS SOUPS 1144721 WITH SCORE 1146021.808
AT ITER 8792 NEW BEST:: SOT 8272176 SOS 1300670 HAS SOPS 1300670 HAS SOUS 1144583 HAS SOUPS 1144583 WITH SCORE 1145883.67
AT ITER 8822 NEW BEST:: SOT 8271918 SOS 1300417 HAS SOPS 1300417 HAS SOUS 1144328 HAS SOUPS 1144328 WITH SCORE 1145628.417
AT ITER 8852 NEW BEST:: SOT 8271918 SOS 1300416 HAS SOPS 1300416 HAS SOUS 1144327 HAS SOUPS 1144327 WITH SCORE 1145627.416
AT ITER 8856 NEW BEST:: SOT 8271292 SOS 1300103 HAS SOPS 1300103 HAS SOUS 1144327 HAS SOUPS 1144327 WITH SCORE 1145627.103
AT ITER 8859 NEW BEST:: SOT 8271239 SOS 1299997 HAS SOPS 1299997 HAS SOUS 1144274 HAS SOUPS 1144274 WITH SCORE 1145573.997
AT ITER 8865 NEW BEST:: SOT 8271239 SOS 1299821 HAS SOPS 1299821 HAS SOUS 1144098 HAS SOUPS 1144098 WITH SCORE 1145397.821
AT ITER 8899 NEW BEST:: SOT 8270860 SOS 1298259 HAS SOPS 1298259 HAS SOUS 1143696 HAS SOUPS 1143696 WITH SCORE 1144994.259
AT ITER 8931 NEW BEST:: SOT 8270860 SOS 1297912 HAS SOPS 1297912 HAS SOUS 1143349 HAS SOUPS 1143349 WITH SCORE 1144646.912
AT ITER 8982 NEW BEST:: SOT 8270895 SOS 1297982 HAS SOPS 1297982 HAS SOUS 1143278 HAS SOUPS 1143278 WITH SCORE 1144575.982
AT ITER 9001 NEW BEST:: SOT 8270865 SOS 1297922 HAS SOPS 1297922 HAS SOUS 1143218 HAS SOUPS 1143218 WITH SCORE 1144515.922
AT ITER 9015 NEW BEST:: SOT 8270817 SOS 1297990 HAS SOPS 1297990 HAS SOUS 1143204 HAS SOUPS 1143204 WITH SCORE 1144501.99
AT ITER 9028 NEW BEST:: SOT 8270813 SOS 1297986 HAS SOPS 1297986 HAS SOUS 1143200 HAS SOUPS 1143200 WITH SCORE 1144497.986
AT ITER 9056 NEW BEST:: SOT 8270606 SOS 1297710 HAS SOPS 1297710 HAS SOUS 1142924 HAS SOUPS 1142924 WITH SCORE 1144221.71
AT ITER 9107 NEW BEST:: SOT 8270577 SOS 1297652 HAS SOPS 1297652 HAS SOUS 1142866 HAS SOUPS 1142866 WITH SCORE 1144163.652
AT ITER 9110 NEW BEST:: SOT 8270301 SOS 1296824 HAS SOPS 1296824 HAS SOUS 1142488 HAS SOUPS 1142488 WITH SCORE 1143784.824
AT ITER 9121 NEW BEST:: SOT 8268995 SOS 1299156 HAS SOPS 1299156 HAS SOUS 1141564 HAS SOUPS 1141564 WITH SCORE 1142863.156
AT ITER 9144 NEW BEST:: SOT 8268995 SOS 1299011 HAS SOPS 1299011 HAS SOUS 1141419 HAS SOUPS 1141419 WITH SCORE 1142718.011
AT ITER 9166 NEW BEST:: SOT 8268905 SOS 1299867 HAS SOPS 1299867 HAS SOUS 1141329 HAS SOUPS 1141329 WITH SCORE 1142628.867
AT ITER 9176 NEW BEST:: SOT 8268743 SOS 1299704 HAS SOPS 1299704 HAS SOUS 1141328 HAS SOUPS 1141328 WITH SCORE 1142627.704
AT ITER 9199 NEW BEST:: SOT 8268708 SOS 1299669 HAS SOPS 1299669 HAS SOUS 1141293 HAS SOUPS 1141293 WITH SCORE 1142592.669
AT ITER 9207 NEW BEST:: SOT 8268619 SOS 1299491 HAS SOPS 1299491 HAS SOUS 1141204 HAS SOUPS 1141204 WITH SCORE 1142503.491
AT ITER 9229 NEW BEST:: SOT 8268511 SOS 1299275 HAS SOPS 1299275 HAS SOUS 1140988 HAS SOUPS 1140988 WITH SCORE 1142287.275
AT ITER 9251 NEW BEST:: SOT 8268474 SOS 1299201 HAS SOPS 1299201 HAS SOUS 1140950 HAS SOUPS 1140950 WITH SCORE 1142249.201
AT ITER 9267 NEW BEST:: SOT 8268134 SOS 1298860 HAS SOPS 1298860 HAS SOUS 1140609 HAS SOUPS 1140609 WITH SCORE 1141907.86
AT ITER 9284 NEW BEST:: SOT 8268123 SOS 1298954 HAS SOPS 1298954 HAS SOUS 1140587 HAS SOUPS 1140587 WITH SCORE 1141885.954
AT ITER 9292 NEW BEST:: SOT 8268123 SOS 1298900 HAS SOPS 1298900 HAS SOUS 1140533 HAS SOUPS 1140533 WITH SCORE 1141831.9
AT ITER 9293 NEW BEST:: SOT 8268123 SOS 1298900 HAS SOPS 1298900 HAS SOUS 1140524 HAS SOUPS 1140524 WITH SCORE 1141822.9
AT ITER 9298 NEW BEST:: SOT 8268165 SOS 1298890 HAS SOPS 1298890 HAS SOUS 1140472 HAS SOUPS 1140472 WITH SCORE 1141770.89
AT ITER 9360 NEW BEST:: SOT 8268165 SOS 1298889 HAS SOPS 1298889 HAS SOUS 1140471 HAS SOUPS 1140471 WITH SCORE 1141769.889
AT ITER 9366 NEW BEST:: SOT 8268165 SOS 1298645 HAS SOPS 1298645 HAS SOUS 1140227 HAS SOUPS 1140227 WITH SCORE 1141525.645
AT ITER 9392 NEW BEST:: SOT 8268156 SOS 1298618 HAS SOPS 1298618 HAS SOUS 1140209 HAS SOUPS 1140209 WITH SCORE 1141507.618
AT ITER 9531 NEW BEST:: SOT 8268079 SOS 1298464 HAS SOPS 1298464 HAS SOUS 1140132 HAS SOUPS 1140132 WITH SCORE 1141430.464
AT ITER 9570 NEW BEST:: SOT 8268048 SOS 1298402 HAS SOPS 1298402 HAS SOUS 1140070 HAS SOUPS 1140070 WITH SCORE 1141368.402
AT ITER 9572 NEW BEST:: SOT 8267844 SOS 1297327 HAS SOPS 1297327 HAS SOUS 1139203 HAS SOUPS 1139203 WITH SCORE 1140500.327
AT ITER 9601 NEW BEST:: SOT 8267549 SOS 1297085 HAS SOPS 1297085 HAS SOUS 1138961 HAS SOUPS 1138961 WITH SCORE 1140258.085
AT ITER 9653 NEW BEST:: SOT 8267443 SOS 1296873 HAS SOPS 1296873 HAS SOUS 1138731 HAS SOUPS 1138731 WITH SCORE 1140027.873
AT ITER 9666 NEW BEST:: SOT 8267223 SOS 1296433 HAS SOPS 1296433 HAS SOUS 1138511 HAS SOUPS 1138511 WITH SCORE 1139807.433
AT ITER 9673 NEW BEST:: SOT 8267005 SOS 1296605 HAS SOPS 1296605 HAS SOUS 1138397 HAS SOUPS 1138397 WITH SCORE 1139693.605
AT ITER 9717 NEW BEST:: SOT 8267005 SOS 1296421 HAS SOPS 1296421 HAS SOUS 1138392 HAS SOUPS 1138392 WITH SCORE 1139688.421
AT ITER 9787 NEW BEST:: SOT 8266945 SOS 1296301 HAS SOPS 1296301 HAS SOUS 1138272 HAS SOUPS 1138272 WITH SCORE 1139568.301
AT ITER 9793 NEW BEST:: SOT 8266725 SOS 1295861 HAS SOPS 1295861 HAS SOUS 1138052 HAS SOUPS 1138052 WITH SCORE 1139347.861
AT ITER 9806 NEW BEST:: SOT 8266724 SOS 1295859 HAS SOPS 1295859 HAS SOUS 1138050 HAS SOUPS 1138050 WITH SCORE 1139345.859
AT ITER 9811 NEW BEST:: SOT 8266508 SOS 1295642 HAS SOPS 1295642 HAS SOUS 1138049 HAS SOUPS 1138049 WITH SCORE 1139344.642
AT ITER 9852 NEW BEST:: SOT 8266107 SOS 1295241 HAS SOPS 1295241 HAS SOUS 1137247 HAS SOUPS 1137247 WITH SCORE 1138542.241
AT ITER 9889 NEW BEST:: SOT 8266107 SOS 1294945 HAS SOPS 1294945 HAS SOUS 1137173 HAS SOUPS 1137173 WITH SCORE 1138467.945
AT ITER 9903 NEW BEST:: SOT 8265735 SOS 1294200 HAS SOPS 1294200 HAS SOUS 1136428 HAS SOUPS 1136428 WITH SCORE 1137722.2
AT ITER 9924 NEW BEST:: SOT 8265822 SOS 1294161 HAS SOPS 1294161 HAS SOUS 1136389 HAS SOUPS 1136389 WITH SCORE 1137683.161
AT ITER 9950 NEW BEST:: SOT 8265731 SOS 1294131 HAS SOPS 1294131 HAS SOUS 1136359 HAS SOUPS 1136359 WITH SCORE 1137653.131
AT ITER 9970 NEW BEST:: SOT 8265731 SOS 1294131 HAS SOPS 1294131 HAS SOUS 1136335 HAS SOUPS 1136335 WITH SCORE 1137629.131
AT ITER 9978 NEW BEST:: SOT 8265730 SOS 1294124 HAS SOPS 1294124 HAS SOUS 1136329 HAS SOUPS 1136329 WITH SCORE 1137623.124
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 13510248 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16123276 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="CloudReconfiguration-PT-402"
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 CloudReconfiguration-PT-402, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r107-tall-167814483900176"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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