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

About the Execution of Smart+red for ViralEpidemic-PT-S02D1C1A10

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
16216.123 2112086.00 2155623.00 13599.00 [undef] Cannot compute

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.r491-tall-167912711601248.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 ViralEpidemic-PT-S02D1C1A10, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r491-tall-167912711601248
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 9.3M
-rw-r--r-- 1 mcc users 11K Feb 25 20:49 CTLCardinality.txt
-rw-r--r-- 1 mcc users 96K Feb 25 20:49 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.7K Feb 25 20:34 CTLFireability.txt
-rw-r--r-- 1 mcc users 48K Feb 25 20:34 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.7K Feb 25 17:26 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 17:26 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Feb 25 17:26 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 17:26 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 25 21:05 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 118K Feb 25 21:05 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.7K Feb 25 20:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 46K Feb 25 20:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Feb 25 17:26 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Feb 25 17:26 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 11 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 8.8M Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679323669418

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=ViralEpidemic-PT-S02D1C1A10
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-20 14:47:51] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-20 14:47:51] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-20 14:47:51] [INFO ] Load time of PNML (sax parser for PT used): 392 ms
[2023-03-20 14:47:51] [INFO ] Transformed 8189 places.
[2023-03-20 14:47:51] [INFO ] Transformed 10235 transitions.
[2023-03-20 14:47:51] [INFO ] Found NUPN structural information;
[2023-03-20 14:47:51] [INFO ] Parsed PT model containing 8189 places and 10235 transitions and 22517 arcs in 547 ms.
[2023-03-20 14:47:51] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 8189 places, 10235 transitions and 22517 arcs took 55 ms.
Total runtime 639 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ViralEpidemic (PT), instance S02D1C1A10
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: 8189 places, 10235 transitions, 22517 arcs.
AT ITER 0 NEW BEST:: SOT 52392964 SOS 14696535 HAS SOPS 14696535 HAS SOUS 9116612 HAS SOUPS 9116612 WITH SCORE 9131308.535
AT ITER 8 NEW BEST:: SOT 52391154 SOS 14693820 HAS SOPS 14693820 HAS SOUS 9116612 HAS SOUPS 9116612 WITH SCORE 9131305.82
AT ITER 24 NEW BEST:: SOT 52390070 SOS 14692193 HAS SOPS 14692193 HAS SOUS 9116609 HAS SOUPS 9116609 WITH SCORE 9131301.193
AT ITER 30 NEW BEST:: SOT 52388632 SOS 14690036 HAS SOPS 14690036 HAS SOUS 9116609 HAS SOUPS 9116609 WITH SCORE 9131299.036
AT ITER 61 NEW BEST:: SOT 52385914 SOS 14686410 HAS SOPS 14686410 HAS SOUS 9115697 HAS SOUPS 9115697 WITH SCORE 9130383.41
AT ITER 64 NEW BEST:: SOT 52382540 SOS 14681349 HAS SOPS 14681349 HAS SOUS 9115697 HAS SOUPS 9115697 WITH SCORE 9130378.349
AT ITER 66 NEW BEST:: SOT 52379648 SOS 14677011 HAS SOPS 14677011 HAS SOUS 9115697 HAS SOUPS 9115697 WITH SCORE 9130374.011
AT ITER 79 NEW BEST:: SOT 52378200 SOS 14675305 HAS SOPS 14675305 HAS SOUS 9115435 HAS SOUPS 9115435 WITH SCORE 9130110.305
AT ITER 104 NEW BEST:: SOT 52374840 SOS 14670264 HAS SOPS 14670264 HAS SOUS 9115432 HAS SOUPS 9115432 WITH SCORE 9130102.264
AT ITER 132 NEW BEST:: SOT 52373253 SOS 14668148 HAS SOPS 14668148 HAS SOUS 9114903 HAS SOUPS 9114903 WITH SCORE 9129571.148
AT ITER 135 NEW BEST:: SOT 52371826 SOS 14666528 HAS SOPS 14666528 HAS SOUS 9114709 HAS SOUPS 9114709 WITH SCORE 9129375.528
AT ITER 137 NEW BEST:: SOT 52369398 SOS 14662879 HAS SOPS 14662879 HAS SOUS 9114688 HAS SOUPS 9114688 WITH SCORE 9129350.879
AT ITER 142 NEW BEST:: SOT 52367592 SOS 14660169 HAS SOPS 14660169 HAS SOUS 9114685 HAS SOUPS 9114685 WITH SCORE 9129345.169
AT ITER 147 NEW BEST:: SOT 52364643 SOS 14656237 HAS SOPS 14656237 HAS SOUS 9113702 HAS SOUPS 9113702 WITH SCORE 9128358.237
AT ITER 174 NEW BEST:: SOT 52363867 SOS 14655072 HAS SOPS 14655072 HAS SOUS 9113699 HAS SOUPS 9113699 WITH SCORE 9128354.072
AT ITER 192 NEW BEST:: SOT 52361010 SOS 14651816 HAS SOPS 14651816 HAS SOUS 9113302 HAS SOUPS 9113302 WITH SCORE 9127953.816
AT ITER 193 NEW BEST:: SOT 52359582 SOS 14649912 HAS SOPS 14649912 HAS SOUS 9112826 HAS SOUPS 9112826 WITH SCORE 9127475.912
AT ITER 214 NEW BEST:: SOT 52358832 SOS 14648911 HAS SOPS 14648911 HAS SOUS 9112573 HAS SOUPS 9112573 WITH SCORE 9127221.911
AT ITER 229 NEW BEST:: SOT 52355040 SOS 14643222 HAS SOPS 14643222 HAS SOUS 9112570 HAS SOUPS 9112570 WITH SCORE 9127213.222
AT ITER 240 NEW BEST:: SOT 52353070 SOS 14640267 HAS SOPS 14640267 HAS SOUS 9112570 HAS SOUPS 9112570 WITH SCORE 9127210.267
AT ITER 287 NEW BEST:: SOT 52349470 SOS 14634867 HAS SOPS 14634867 HAS SOUS 9112570 HAS SOUPS 9112570 WITH SCORE 9127204.867
AT ITER 301 NEW BEST:: SOT 52345506 SOS 14628921 HAS SOPS 14628921 HAS SOUS 9112570 HAS SOUPS 9112570 WITH SCORE 9127198.921
AT ITER 306 NEW BEST:: SOT 52342684 SOS 14625805 HAS SOPS 14625805 HAS SOUS 9112274 HAS SOUPS 9112274 WITH SCORE 9126899.805
AT ITER 314 NEW BEST:: SOT 52340876 SOS 14623091 HAS SOPS 14623091 HAS SOUS 9112268 HAS SOUPS 9112268 WITH SCORE 9126891.091
AT ITER 322 NEW BEST:: SOT 52337632 SOS 14618223 HAS SOPS 14618223 HAS SOUS 9112262 HAS SOUPS 9112262 WITH SCORE 9126880.223
AT ITER 324 NEW BEST:: SOT 52335324 SOS 14614761 HAS SOPS 14614761 HAS SOUS 9112262 HAS SOUPS 9112262 WITH SCORE 9126876.761
AT ITER 349 NEW BEST:: SOT 52332410 SOS 14611275 HAS SOPS 14611275 HAS SOUS 9111688 HAS SOUPS 9111688 WITH SCORE 9126299.275
AT ITER 357 NEW BEST:: SOT 52331782 SOS 14610333 HAS SOPS 14610333 HAS SOUS 9111688 HAS SOUPS 9111688 WITH SCORE 9126298.333
AT ITER 373 NEW BEST:: SOT 52330234 SOS 14608269 HAS SOPS 14608269 HAS SOUS 9111172 HAS SOUPS 9111172 WITH SCORE 9125780.269
AT ITER 412 NEW BEST:: SOT 52326744 SOS 14603034 HAS SOPS 14603034 HAS SOUS 9111172 HAS SOUPS 9111172 WITH SCORE 9125775.034
AT ITER 418 NEW BEST:: SOT 52323582 SOS 14598286 HAS SOPS 14598286 HAS SOUS 9111157 HAS SOUPS 9111157 WITH SCORE 9125755.286
AT ITER 423 NEW BEST:: SOT 52321546 SOS 14595231 HAS SOPS 14595231 HAS SOUS 9111154 HAS SOUPS 9111154 WITH SCORE 9125749.231
AT ITER 427 NEW BEST:: SOT 52318477 SOS 14591146 HAS SOPS 14591146 HAS SOUS 9110135 HAS SOUPS 9110135 WITH SCORE 9124726.146
AT ITER 436 NEW BEST:: SOT 52315727 SOS 14588287 HAS SOPS 14588287 HAS SOUS 9110027 HAS SOUPS 9110027 WITH SCORE 9124615.287
AT ITER 463 NEW BEST:: SOT 52314303 SOS 14586678 HAS SOPS 14586678 HAS SOUS 9109841 HAS SOUPS 9109841 WITH SCORE 9124427.678
AT ITER 465 NEW BEST:: SOT 52310833 SOS 14581473 HAS SOPS 14581473 HAS SOUS 9109841 HAS SOUPS 9109841 WITH SCORE 9124422.473
AT ITER 478 NEW BEST:: SOT 52309420 SOS 14579573 HAS SOPS 14579573 HAS SOUS 9109322 HAS SOUPS 9109322 WITH SCORE 9123901.573
AT ITER 491 NEW BEST:: SOT 52308698 SOS 14578490 HAS SOPS 14578490 HAS SOUS 9109322 HAS SOUPS 9109322 WITH SCORE 9123900.49
AT ITER 508 NEW BEST:: SOT 52306554 SOS 14575273 HAS SOPS 14575273 HAS SOUS 9109319 HAS SOUPS 9109319 WITH SCORE 9123894.273
AT ITER 512 NEW BEST:: SOT 52304190 SOS 14572121 HAS SOPS 14572121 HAS SOUS 9108531 HAS SOUPS 9108531 WITH SCORE 9123103.121
AT ITER 519 NEW BEST:: SOT 52300380 SOS 14566405 HAS SOPS 14566405 HAS SOUS 9108528 HAS SOUPS 9108528 WITH SCORE 9123094.405
AT ITER 524 NEW BEST:: SOT 52298472 SOS 14563543 HAS SOPS 14563543 HAS SOUS 9108528 HAS SOUPS 9108528 WITH SCORE 9123091.543
AT ITER 565 NEW BEST:: SOT 52295414 SOS 14558955 HAS SOPS 14558955 HAS SOUS 9108525 HAS SOUPS 9108525 WITH SCORE 9123083.955
AT ITER 570 NEW BEST:: SOT 52291370 SOS 14552887 HAS SOPS 14552887 HAS SOUS 9108519 HAS SOUPS 9108519 WITH SCORE 9123071.887
AT ITER 582 NEW BEST:: SOT 52289772 SOS 14550489 HAS SOPS 14550489 HAS SOUS 9108516 HAS SOUPS 9108516 WITH SCORE 9123066.489
AT ITER 599 NEW BEST:: SOT 52286186 SOS 14545110 HAS SOPS 14545110 HAS SOUS 9108516 HAS SOUPS 9108516 WITH SCORE 9123061.11
AT ITER 601 NEW BEST:: SOT 52284632 SOS 14543038 HAS SOPS 14543038 HAS SOUS 9107998 HAS SOUPS 9107998 WITH SCORE 9122541.038
AT ITER 602 NEW BEST:: SOT 52282595 SOS 14540321 HAS SOPS 14540321 HAS SOUS 9107316 HAS SOUPS 9107316 WITH SCORE 9121856.321
AT ITER 605 NEW BEST:: SOT 52281518 SOS 14538885 HAS SOPS 14538885 HAS SOUS 9106957 HAS SOUPS 9106957 WITH SCORE 9121495.885
AT ITER 620 NEW BEST:: SOT 52279016 SOS 14535131 HAS SOPS 14535131 HAS SOUS 9106954 HAS SOUPS 9106954 WITH SCORE 9121489.131
AT ITER 635 NEW BEST:: SOT 52275988 SOS 14531097 HAS SOPS 14531097 HAS SOUS 9105948 HAS SOUPS 9105948 WITH SCORE 9120479.097
AT ITER 649 NEW BEST:: SOT 52272010 SOS 14525128 HAS SOPS 14525128 HAS SOUS 9105942 HAS SOUPS 9105942 WITH SCORE 9120467.128
AT ITER 684 NEW BEST:: SOT 52270550 SOS 14523380 HAS SOPS 14523380 HAS SOUS 9105658 HAS SOUPS 9105658 WITH SCORE 9120181.38
AT ITER 685 NEW BEST:: SOT 52266958 SOS 14517992 HAS SOPS 14517992 HAS SOUS 9105658 HAS SOUPS 9105658 WITH SCORE 9120175.992
AT ITER 700 NEW BEST:: SOT 52264143 SOS 14514906 HAS SOPS 14514906 HAS SOUS 9105384 HAS SOUPS 9105384 WITH SCORE 9119898.906
AT ITER 729 NEW BEST:: SOT 52262455 SOS 14512374 HAS SOPS 14512374 HAS SOUS 9105384 HAS SOUPS 9105384 WITH SCORE 9119896.374
AT ITER 733 NEW BEST:: SOT 52260281 SOS 14509113 HAS SOPS 14509113 HAS SOUS 9105384 HAS SOUPS 9105384 WITH SCORE 9119893.113
AT ITER 739 NEW BEST:: SOT 52257689 SOS 14505225 HAS SOPS 14505225 HAS SOUS 9105384 HAS SOUPS 9105384 WITH SCORE 9119889.225
AT ITER 750 NEW BEST:: SOT 52255227 SOS 14501532 HAS SOPS 14501532 HAS SOUS 9105384 HAS SOUPS 9105384 WITH SCORE 9119885.532
AT ITER 781 NEW BEST:: SOT 52251679 SOS 14496210 HAS SOPS 14496210 HAS SOUS 9105384 HAS SOUPS 9105384 WITH SCORE 9119880.21
AT ITER 803 NEW BEST:: SOT 52250031 SOS 14493737 HAS SOPS 14493737 HAS SOUS 9105381 HAS SOUPS 9105381 WITH SCORE 9119874.737
AT ITER 832 NEW BEST:: SOT 52247223 SOS 14489992 HAS SOPS 14489992 HAS SOUS 9104442 HAS SOUPS 9104442 WITH SCORE 9118931.992
AT ITER 855 NEW BEST:: SOT 52245786 SOS 14488075 HAS SOPS 14488075 HAS SOUS 9103960 HAS SOUPS 9103960 WITH SCORE 9118448.075
AT ITER 862 NEW BEST:: SOT 52241833 SOS 14482136 HAS SOPS 14482136 HAS SOUS 9103807 HAS SOUPS 9103807 WITH SCORE 9118289.136
AT ITER 868 NEW BEST:: SOT 52240541 SOS 14480198 HAS SOPS 14480198 HAS SOUS 9103807 HAS SOUPS 9103807 WITH SCORE 9118287.198
AT ITER 879 NEW BEST:: SOT 52237541 SOS 14475697 HAS SOPS 14475697 HAS SOUS 9103804 HAS SOUPS 9103804 WITH SCORE 9118279.697
AT ITER 893 NEW BEST:: SOT 52233639 SOS 14469843 HAS SOPS 14469843 HAS SOUS 9103801 HAS SOUPS 9103801 WITH SCORE 9118270.843
AT ITER 894 NEW BEST:: SOT 52230415 SOS 14465006 HAS SOPS 14465006 HAS SOUS 9103798 HAS SOUPS 9103798 WITH SCORE 9118263.006
AT ITER 896 NEW BEST:: SOT 52227673 SOS 14460892 HAS SOPS 14460892 HAS SOUS 9103795 HAS SOUPS 9103795 WITH SCORE 9118255.892
AT ITER 909 NEW BEST:: SOT 52224285 SOS 14455809 HAS SOPS 14455809 HAS SOUS 9103792 HAS SOUPS 9103792 WITH SCORE 9118247.809
AT ITER 912 NEW BEST:: SOT 52221798 SOS 14452493 HAS SOPS 14452493 HAS SOUS 9102963 HAS SOUPS 9102963 WITH SCORE 9117415.493
AT ITER 917 NEW BEST:: SOT 52218606 SOS 14447705 HAS SOPS 14447705 HAS SOUS 9102963 HAS SOUPS 9102963 WITH SCORE 9117410.705
AT ITER 921 NEW BEST:: SOT 52217026 SOS 14445335 HAS SOPS 14445335 HAS SOUS 9102963 HAS SOUPS 9102963 WITH SCORE 9117408.335
AT ITER 923 NEW BEST:: SOT 52215202 SOS 14442903 HAS SOPS 14442903 HAS SOUS 9102355 HAS SOUPS 9102355 WITH SCORE 9116797.903
AT ITER 924 NEW BEST:: SOT 52212253 SOS 14439274 HAS SOPS 14439274 HAS SOUS 9101672 HAS SOUPS 9101672 WITH SCORE 9116111.274
AT ITER 931 NEW BEST:: SOT 52209173 SOS 14434654 HAS SOPS 14434654 HAS SOUS 9101672 HAS SOUPS 9101672 WITH SCORE 9116106.654
AT ITER 932 NEW BEST:: SOT 52207653 SOS 14432372 HAS SOPS 14432372 HAS SOUS 9101666 HAS SOUPS 9101666 WITH SCORE 9116098.372
AT ITER 938 NEW BEST:: SOT 52206162 SOS 14430478 HAS SOPS 14430478 HAS SOUS 9101224 HAS SOUPS 9101224 WITH SCORE 9115654.478
AT ITER 943 NEW BEST:: SOT 52203129 SOS 14426512 HAS SOPS 14426512 HAS SOUS 9100290 HAS SOUPS 9100290 WITH SCORE 9114716.512
AT ITER 956 NEW BEST:: SOT 52202782 SOS 14425818 HAS SOPS 14425818 HAS SOUS 9100117 HAS SOUPS 9100117 WITH SCORE 9114542.818
AT ITER 968 NEW BEST:: SOT 52201274 SOS 14423874 HAS SOPS 14423874 HAS SOUS 9099682 HAS SOUPS 9099682 WITH SCORE 9114105.874
AT ITER 977 NEW BEST:: SOT 52199654 SOS 14421713 HAS SOPS 14421713 HAS SOUS 9099139 HAS SOUPS 9099139 WITH SCORE 9113560.713
AT ITER 986 NEW BEST:: SOT 52197095 SOS 14418299 HAS SOPS 14418299 HAS SOUS 9098280 HAS SOUPS 9098280 WITH SCORE 9112698.299
AT ITER 994 NEW BEST:: SOT 52193285 SOS 14412584 HAS SOPS 14412584 HAS SOUS 9098280 HAS SOUPS 9098280 WITH SCORE 9112692.584
AT ITER 1008 NEW BEST:: SOT 52190465 SOS 14408353 HAS SOPS 14408353 HAS SOUS 9098277 HAS SOUPS 9098277 WITH SCORE 9112685.353
AT ITER 1023 NEW BEST:: SOT 52187564 SOS 14404926 HAS SOPS 14404926 HAS SOUS 9097745 HAS SOUPS 9097745 WITH SCORE 9112149.926
AT ITER 1025 NEW BEST:: SOT 52183942 SOS 14399493 HAS SOPS 14399493 HAS SOUS 9097745 HAS SOUPS 9097745 WITH SCORE 9112144.493
AT ITER 1026 NEW BEST:: SOT 52181464 SOS 14396187 HAS SOPS 14396187 HAS SOUS 9096913 HAS SOUPS 9096913 WITH SCORE 9111309.187
AT ITER 1036 NEW BEST:: SOT 52178444 SOS 14391657 HAS SOPS 14391657 HAS SOUS 9096913 HAS SOUPS 9096913 WITH SCORE 9111304.657
AT ITER 1043 NEW BEST:: SOT 52177232 SOS 14390039 HAS SOPS 14390039 HAS SOUS 9096503 HAS SOUPS 9096503 WITH SCORE 9110893.039
AT ITER 1057 NEW BEST:: SOT 52173890 SOS 14384969 HAS SOPS 14384969 HAS SOUS 9096332 HAS SOUPS 9096332 WITH SCORE 9110716.969
AT ITER 1062 NEW BEST:: SOT 52170550 SOS 14379959 HAS SOPS 14379959 HAS SOUS 9096332 HAS SOUPS 9096332 WITH SCORE 9110711.959
AT ITER 1100 NEW BEST:: SOT 52169708 SOS 14378695 HAS SOPS 14378695 HAS SOUS 9096329 HAS SOUPS 9096329 WITH SCORE 9110707.695
AT ITER 1104 NEW BEST:: SOT 52168781 SOS 14377459 HAS SOPS 14377459 HAS SOUS 9096020 HAS SOUPS 9096020 WITH SCORE 9110397.459
AT ITER 1107 NEW BEST:: SOT 52166174 SOS 14374719 HAS SOPS 14374719 HAS SOUS 9095928 HAS SOUPS 9095928 WITH SCORE 9110302.719
AT ITER 1110 NEW BEST:: SOT 52165121 SOS 14373313 HAS SOPS 14373313 HAS SOUS 9095571 HAS SOUPS 9095571 WITH SCORE 9109944.313
AT ITER 1111 NEW BEST:: SOT 52163587 SOS 14371753 HAS SOPS 14371753 HAS SOUS 9095253 HAS SOUPS 9095253 WITH SCORE 9109624.753
AT ITER 1117 NEW BEST:: SOT 52161535 SOS 14369016 HAS SOPS 14369016 HAS SOUS 9094566 HAS SOUPS 9094566 WITH SCORE 9108935.016
AT ITER 1131 NEW BEST:: SOT 52159570 SOS 14366382 HAS SOPS 14366382 HAS SOUS 9093869 HAS SOUPS 9093869 WITH SCORE 9108235.382
AT ITER 1135 NEW BEST:: SOT 52156324 SOS 14361512 HAS SOPS 14361512 HAS SOUS 9093866 HAS SOUPS 9093866 WITH SCORE 9108227.512
AT ITER 1152 NEW BEST:: SOT 52153214 SOS 14356846 HAS SOPS 14356846 HAS SOUS 9093863 HAS SOUPS 9093863 WITH SCORE 9108219.846
AT ITER 1166 NEW BEST:: SOT 52150359 SOS 14353594 HAS SOPS 14353594 HAS SOUS 9093462 HAS SOUPS 9093462 WITH SCORE 9107815.594
AT ITER 1167 NEW BEST:: SOT 52148952 SOS 14352060 HAS SOPS 14352060 HAS SOUS 9093334 HAS SOUPS 9093334 WITH SCORE 9107686.06
AT ITER 1171 NEW BEST:: SOT 52145672 SOS 14347140 HAS SOPS 14347140 HAS SOUS 9093334 HAS SOUPS 9093334 WITH SCORE 9107681.14
AT ITER 1174 NEW BEST:: SOT 52142188 SOS 14341914 HAS SOPS 14341914 HAS SOUS 9093334 HAS SOUPS 9093334 WITH SCORE 9107675.914
AT ITER 1191 NEW BEST:: SOT 52140748 SOS 14339993 HAS SOPS 14339993 HAS SOUS 9092851 HAS SOUPS 9092851 WITH SCORE 9107190.993
AT ITER 1192 NEW BEST:: SOT 52137128 SOS 14334562 HAS SOPS 14334562 HAS SOUS 9092848 HAS SOUPS 9092848 WITH SCORE 9107182.562
AT ITER 1200 NEW BEST:: SOT 52135697 SOS 14332177 HAS SOPS 14332177 HAS SOUS 9090940 HAS SOUPS 9090940 WITH SCORE 9105272.177
AT ITER 1222 NEW BEST:: SOT 52135028 SOS 14331285 HAS SOPS 14331285 HAS SOUS 9090717 HAS SOUPS 9090717 WITH SCORE 9105048.285
AT ITER 1263 NEW BEST:: SOT 52133348 SOS 14329044 HAS SOPS 14329044 HAS SOUS 9090154 HAS SOUPS 9090154 WITH SCORE 9104483.044
AT ITER 1265 NEW BEST:: SOT 52130318 SOS 14325003 HAS SOPS 14325003 HAS SOUS 9089141 HAS SOUPS 9089141 WITH SCORE 9103466.003
AT ITER 1286 NEW BEST:: SOT 52126304 SOS 14318982 HAS SOPS 14318982 HAS SOUS 9089141 HAS SOUPS 9089141 WITH SCORE 9103459.982
AT ITER 1303 NEW BEST:: SOT 52122838 SOS 14313782 HAS SOPS 14313782 HAS SOUS 9089138 HAS SOUPS 9089138 WITH SCORE 9103451.782
AT ITER 1309 NEW BEST:: SOT 52122631 SOS 14313368 HAS SOPS 14313368 HAS SOUS 9089137 HAS SOUPS 9089137 WITH SCORE 9103450.368
AT ITER 1322 NEW BEST:: SOT 52119205 SOS 14308229 HAS SOPS 14308229 HAS SOUS 9089137 HAS SOUPS 9089137 WITH SCORE 9103445.229
AT ITER 1326 NEW BEST:: SOT 52116049 SOS 14303495 HAS SOPS 14303495 HAS SOUS 9089137 HAS SOUPS 9089137 WITH SCORE 9103440.495
AT ITER 1327 NEW BEST:: SOT 52113220 SOS 14299723 HAS SOPS 14299723 HAS SOUS 9088194 HAS SOUPS 9088194 WITH SCORE 9102493.723
AT ITER 1329 NEW BEST:: SOT 52109910 SOS 14294757 HAS SOPS 14294757 HAS SOUS 9088191 HAS SOUPS 9088191 WITH SCORE 9102485.757
AT ITER 1338 NEW BEST:: SOT 52106446 SOS 14289561 HAS SOPS 14289561 HAS SOUS 9088191 HAS SOUPS 9088191 WITH SCORE 9102480.561
AT ITER 1340 NEW BEST:: SOT 52105021 SOS 14287661 HAS SOPS 14287661 HAS SOUS 9087716 HAS SOUPS 9087716 WITH SCORE 9102003.661
AT ITER 1342 NEW BEST:: SOT 52104147 SOS 14286349 HAS SOPS 14286349 HAS SOUS 9087713 HAS SOUPS 9087713 WITH SCORE 9101999.349
AT ITER 1350 NEW BEST:: SOT 52104147 SOS 14286348 HAS SOPS 14286348 HAS SOUS 9087710 HAS SOUPS 9087710 WITH SCORE 9101996.348
AT ITER 1353 NEW BEST:: SOT 52100187 SOS 14280408 HAS SOPS 14280408 HAS SOUS 9087710 HAS SOUPS 9087710 WITH SCORE 9101990.408
AT ITER 1355 NEW BEST:: SOT 52099804 SOS 14279900 HAS SOPS 14279900 HAS SOUS 9087581 HAS SOUPS 9087581 WITH SCORE 9101860.9
AT ITER 1396 NEW BEST:: SOT 52096906 SOS 14275553 HAS SOPS 14275553 HAS SOUS 9087581 HAS SOUPS 9087581 WITH SCORE 9101856.553
AT ITER 1398 NEW BEST:: SOT 52096204 SOS 14274776 HAS SOPS 14274776 HAS SOUS 9087505 HAS SOUPS 9087505 WITH SCORE 9101779.776
AT ITER 1411 NEW BEST:: SOT 52095061 SOS 14273252 HAS SOPS 14273252 HAS SOUS 9087124 HAS SOUPS 9087124 WITH SCORE 9101397.252
AT ITER 1430 NEW BEST:: SOT 52092817 SOS 14270260 HAS SOPS 14270260 HAS SOUS 9086376 HAS SOUPS 9086376 WITH SCORE 9100646.26
AT ITER 1435 NEW BEST:: SOT 52089433 SOS 14265184 HAS SOPS 14265184 HAS SOUS 9086376 HAS SOUPS 9086376 WITH SCORE 9100641.184
AT ITER 1440 NEW BEST:: SOT 52086621 SOS 14260966 HAS SOPS 14260966 HAS SOUS 9086376 HAS SOUPS 9086376 WITH SCORE 9100636.966
AT ITER 1449 NEW BEST:: SOT 52083826 SOS 14257902 HAS SOPS 14257902 HAS SOUS 9086092 HAS SOUPS 9086092 WITH SCORE 9100349.902
AT ITER 1461 NEW BEST:: SOT 52080050 SOS 14252237 HAS SOPS 14252237 HAS SOUS 9086089 HAS SOUPS 9086089 WITH SCORE 9100341.237
AT ITER 1474 NEW BEST:: SOT 52076144 SOS 14246377 HAS SOPS 14246377 HAS SOUS 9086086 HAS SOUPS 9086086 WITH SCORE 9100332.377
AT ITER 1485 NEW BEST:: SOT 52074548 SOS 14243983 HAS SOPS 14243983 HAS SOUS 9086086 HAS SOUPS 9086086 WITH SCORE 9100329.983
AT ITER 1487 NEW BEST:: SOT 52072314 SOS 14240626 HAS SOPS 14240626 HAS SOUS 9086068 HAS SOUPS 9086068 WITH SCORE 9100308.626
AT ITER 1504 NEW BEST:: SOT 52068820 SOS 14235384 HAS SOPS 14235384 HAS SOUS 9086065 HAS SOUPS 9086065 WITH SCORE 9100300.384
AT ITER 1508 NEW BEST:: SOT 52066044 SOS 14231219 HAS SOPS 14231219 HAS SOUS 9086062 HAS SOUPS 9086062 WITH SCORE 9100293.219
AT ITER 1525 NEW BEST:: SOT 52063315 SOS 14228474 HAS SOPS 14228474 HAS SOUS 9086046 HAS SOUPS 9086046 WITH SCORE 9100274.474
AT ITER 1526 NEW BEST:: SOT 52062591 SOS 14227388 HAS SOPS 14227388 HAS SOUS 9086046 HAS SOUPS 9086046 WITH SCORE 9100273.388
AT ITER 1541 NEW BEST:: SOT 52060224 SOS 14224232 HAS SOPS 14224232 HAS SOUS 9085257 HAS SOUPS 9085257 WITH SCORE 9099481.232
AT ITER 1558 NEW BEST:: SOT 52057479 SOS 14219894 HAS SOPS 14219894 HAS SOUS 9082308 HAS SOUPS 9082308 WITH SCORE 9096527.894
AT ITER 1575 NEW BEST:: SOT 52055317 SOS 14216651 HAS SOPS 14216651 HAS SOUS 9082308 HAS SOUPS 9082308 WITH SCORE 9096524.651
AT ITER 1616 NEW BEST:: SOT 52052585 SOS 14212553 HAS SOPS 14212553 HAS SOUS 9082308 HAS SOUPS 9082308 WITH SCORE 9096520.553
AT ITER 1617 NEW BEST:: SOT 52050327 SOS 14209166 HAS SOPS 14209166 HAS SOUS 9082308 HAS SOUPS 9082308 WITH SCORE 9096517.166
AT ITER 1633 NEW BEST:: SOT 52048719 SOS 14206754 HAS SOPS 14206754 HAS SOUS 9082308 HAS SOUPS 9082308 WITH SCORE 9096514.754
AT ITER 1641 NEW BEST:: SOT 52045957 SOS 14203873 HAS SOPS 14203873 HAS SOUS 9082188 HAS SOUPS 9082188 WITH SCORE 9096391.873
AT ITER 1652 NEW BEST:: SOT 52044211 SOS 14201254 HAS SOPS 14201254 HAS SOUS 9082188 HAS SOUPS 9082188 WITH SCORE 9096389.254
AT ITER 1654 NEW BEST:: SOT 52041051 SOS 14196514 HAS SOPS 14196514 HAS SOUS 9082188 HAS SOUPS 9082188 WITH SCORE 9096384.514
AT ITER 1661 NEW BEST:: SOT 52039981 SOS 14194908 HAS SOPS 14194908 HAS SOUS 9082185 HAS SOUPS 9082185 WITH SCORE 9096379.908
AT ITER 1663 NEW BEST:: SOT 52038149 SOS 14192159 HAS SOPS 14192159 HAS SOUS 9082182 HAS SOUPS 9082182 WITH SCORE 9096374.159
AT ITER 1673 NEW BEST:: SOT 52034525 SOS 14186723 HAS SOPS 14186723 HAS SOUS 9082182 HAS SOUPS 9082182 WITH SCORE 9096368.723
AT ITER 1675 NEW BEST:: SOT 52033841 SOS 14185811 HAS SOPS 14185811 HAS SOUS 9081954 HAS SOUPS 9081954 WITH SCORE 9096139.811
AT ITER 1676 NEW BEST:: SOT 52031863 SOS 14182844 HAS SOPS 14182844 HAS SOUS 9081954 HAS SOUPS 9081954 WITH SCORE 9096136.844
AT ITER 1677 NEW BEST:: SOT 52029102 SOS 14179963 HAS SOPS 14179963 HAS SOUS 9081834 HAS SOUPS 9081834 WITH SCORE 9096013.963
AT ITER 1710 NEW BEST:: SOT 52028236 SOS 14178663 HAS SOPS 14178663 HAS SOUS 9081831 HAS SOUPS 9081831 WITH SCORE 9096009.663
AT ITER 1746 NEW BEST:: SOT 52026204 SOS 14175615 HAS SOPS 14175615 HAS SOUS 9081831 HAS SOUPS 9081831 WITH SCORE 9096006.615
AT ITER 1755 NEW BEST:: SOT 52024530 SOS 14173104 HAS SOPS 14173104 HAS SOUS 9081831 HAS SOUPS 9081831 WITH SCORE 9096004.104
AT ITER 1759 NEW BEST:: SOT 52020864 SOS 14167603 HAS SOPS 14167603 HAS SOUS 9081825 HAS SOUPS 9081825 WITH SCORE 9095992.603
AT ITER 1760 NEW BEST:: SOT 52018920 SOS 14164678 HAS SOPS 14164678 HAS SOUS 9081798 HAS SOUPS 9081798 WITH SCORE 9095962.678
AT ITER 1764 NEW BEST:: SOT 52014858 SOS 14158585 HAS SOPS 14158585 HAS SOUS 9081798 HAS SOUPS 9081798 WITH SCORE 9095956.585
AT ITER 1771 NEW BEST:: SOT 52011620 SOS 14153728 HAS SOPS 14153728 HAS SOUS 9081798 HAS SOUPS 9081798 WITH SCORE 9095951.728
AT ITER 1777 NEW BEST:: SOT 52008798 SOS 14149495 HAS SOPS 14149495 HAS SOUS 9081798 HAS SOUPS 9081798 WITH SCORE 9095947.495
AT ITER 1781 NEW BEST:: SOT 52007299 SOS 14147543 HAS SOPS 14147543 HAS SOUS 9081346 HAS SOUPS 9081346 WITH SCORE 9095493.543
AT ITER 1794 NEW BEST:: SOT 52006919 SOS 14147030 HAS SOPS 14147030 HAS SOUS 9081171 HAS SOUPS 9081171 WITH SCORE 9095318.03
AT ITER 1796 NEW BEST:: SOT 52004511 SOS 14143417 HAS SOPS 14143417 HAS SOUS 9081168 HAS SOUPS 9081168 WITH SCORE 9095311.417
AT ITER 1798 NEW BEST:: SOT 52001227 SOS 14138491 HAS SOPS 14138491 HAS SOUS 9081168 HAS SOUPS 9081168 WITH SCORE 9095306.491
AT ITER 1802 NEW BEST:: SOT 52000791 SOS 14137837 HAS SOPS 14137837 HAS SOUS 9081168 HAS SOUPS 9081168 WITH SCORE 9095305.837
AT ITER 1822 NEW BEST:: SOT 51997763 SOS 14133294 HAS SOPS 14133294 HAS SOUS 9081165 HAS SOUPS 9081165 WITH SCORE 9095298.294
AT ITER 1830 NEW BEST:: SOT 51996911 SOS 14132157 HAS SOPS 14132157 HAS SOUS 9080878 HAS SOUPS 9080878 WITH SCORE 9095010.157
AT ITER 1836 NEW BEST:: SOT 51995618 SOS 14130433 HAS SOPS 14130433 HAS SOUS 9080447 HAS SOUPS 9080447 WITH SCORE 9094577.433
AT ITER 1845 NEW BEST:: SOT 51994688 SOS 14128573 HAS SOPS 14128573 HAS SOUS 9079052 HAS SOUPS 9079052 WITH SCORE 9093180.573
AT ITER 1897 NEW BEST:: SOT 51993104 SOS 14126196 HAS SOPS 14126196 HAS SOUS 9079049 HAS SOUPS 9079049 WITH SCORE 9093175.196
AT ITER 1898 NEW BEST:: SOT 51989402 SOS 14119584 HAS SOPS 14119584 HAS SOUS 9075483 HAS SOUPS 9075483 WITH SCORE 9089602.584
AT ITER 1905 NEW BEST:: SOT 51988931 SOS 14118955 HAS SOPS 14118955 HAS SOUS 9075323 HAS SOUPS 9075323 WITH SCORE 9089441.955
AT ITER 1912 NEW BEST:: SOT 51986011 SOS 14114574 HAS SOPS 14114574 HAS SOUS 9075320 HAS SOUPS 9075320 WITH SCORE 9089434.574
AT ITER 1932 NEW BEST:: SOT 51982709 SOS 14109537 HAS SOPS 14109537 HAS SOUS 9075068 HAS SOUPS 9075068 WITH SCORE 9089177.537
AT ITER 1942 NEW BEST:: SOT 51981942 SOS 14108519 HAS SOPS 14108519 HAS SOUS 9074815 HAS SOUPS 9074815 WITH SCORE 9088923.519
AT ITER 1963 NEW BEST:: SOT 51981222 SOS 14107439 HAS SOPS 14107439 HAS SOUS 9074815 HAS SOUPS 9074815 WITH SCORE 9088922.439
AT ITER 1971 NEW BEST:: SOT 51977921 SOS 14103349 HAS SOPS 14103349 HAS SOUS 9074259 HAS SOUPS 9074259 WITH SCORE 9088362.349
AT ITER 1980 NEW BEST:: SOT 51975403 SOS 14099571 HAS SOPS 14099571 HAS SOUS 9074256 HAS SOUPS 9074256 WITH SCORE 9088355.571
AT ITER 2012 NEW BEST:: SOT 51971723 SOS 14094050 HAS SOPS 14094050 HAS SOUS 9074253 HAS SOUPS 9074253 WITH SCORE 9088347.05
AT ITER 2025 NEW BEST:: SOT 51970691 SOS 14092674 HAS SOPS 14092674 HAS SOUS 9073909 HAS SOUPS 9073909 WITH SCORE 9088001.674
AT ITER 2030 NEW BEST:: SOT 51966865 SOS 14086935 HAS SOPS 14086935 HAS SOUS 9073909 HAS SOUPS 9073909 WITH SCORE 9087995.935
AT ITER 2033 NEW BEST:: SOT 51964893 SOS 14084963 HAS SOPS 14084963 HAS SOUS 9073908 HAS SOUPS 9073908 WITH SCORE 9087992.963
AT ITER 2034 NEW BEST:: SOT 51963503 SOS 14082877 HAS SOPS 14082877 HAS SOUS 9073905 HAS SOUPS 9073905 WITH SCORE 9087987.877
AT ITER 2040 NEW BEST:: SOT 51959883 SOS 14077447 HAS SOPS 14077447 HAS SOUS 9073905 HAS SOUPS 9073905 WITH SCORE 9087982.447
AT ITER 2041 NEW BEST:: SOT 51959883 SOS 14077446 HAS SOPS 14077446 HAS SOUS 9073902 HAS SOUPS 9073902 WITH SCORE 9087979.446
AT ITER 2095 NEW BEST:: SOT 51955797 SOS 14071232 HAS SOPS 14071232 HAS SOUS 9073647 HAS SOUPS 9073647 WITH SCORE 9087718.232
AT ITER 2097 NEW BEST:: SOT 51952419 SOS 14066158 HAS SOPS 14066158 HAS SOUS 9073626 HAS SOUPS 9073626 WITH SCORE 9087692.158
AT ITER 2100 NEW BEST:: SOT 51952419 SOS 14066157 HAS SOPS 14066157 HAS SOUS 9073623 HAS SOUPS 9073623 WITH SCORE 9087689.157
AT ITER 2102 NEW BEST:: SOT 51949629 SOS 14063164 HAS SOPS 14063164 HAS SOUS 9073417 HAS SOUPS 9073417 WITH SCORE 9087480.164
AT ITER 2115 NEW BEST:: SOT 51946645 SOS 14058688 HAS SOPS 14058688 HAS SOUS 9073417 HAS SOUPS 9073417 WITH SCORE 9087475.688
AT ITER 2120 NEW BEST:: SOT 51945936 SOS 14057970 HAS SOPS 14057970 HAS SOUS 9073408 HAS SOUPS 9073408 WITH SCORE 9087465.97
AT ITER 2138 NEW BEST:: SOT 51945678 SOS 14057626 HAS SOPS 14057626 HAS SOUS 9073322 HAS SOUPS 9073322 WITH SCORE 9087379.626
AT ITER 2164 NEW BEST:: SOT 51942154 SOS 14052339 HAS SOPS 14052339 HAS SOUS 9073319 HAS SOUPS 9073319 WITH SCORE 9087371.339
AT ITER 2187 NEW BEST:: SOT 51939868 SOS 14048910 HAS SOPS 14048910 HAS SOUS 9073319 HAS SOUPS 9073319 WITH SCORE 9087367.91
AT ITER 2188 NEW BEST:: SOT 51936494 SOS 14042273 HAS SOPS 14042273 HAS SOUS 9068591 HAS SOUPS 9068591 WITH SCORE 9082633.273
AT ITER 2230 NEW BEST:: SOT 51933388 SOS 14037613 HAS SOPS 14037613 HAS SOUS 9068588 HAS SOUPS 9068588 WITH SCORE 9082625.613
AT ITER 2233 NEW BEST:: SOT 51931970 SOS 14035486 HAS SOPS 14035486 HAS SOUS 9068588 HAS SOUPS 9068588 WITH SCORE 9082623.486
AT ITER 2238 NEW BEST:: SOT 51928362 SOS 14030066 HAS SOPS 14030066 HAS SOUS 9068564 HAS SOUPS 9068564 WITH SCORE 9082594.066
AT ITER 2244 NEW BEST:: SOT 51925874 SOS 14026326 HAS SOPS 14026326 HAS SOUS 9068540 HAS SOUPS 9068540 WITH SCORE 9082566.326
AT ITER 2255 NEW BEST:: SOT 51925874 SOS 14026325 HAS SOPS 14026325 HAS SOUS 9068537 HAS SOUPS 9068537 WITH SCORE 9082563.325
AT ITER 2258 NEW BEST:: SOT 51925694 SOS 14026145 HAS SOPS 14026145 HAS SOUS 9068537 HAS SOUPS 9068537 WITH SCORE 9082563.145
AT ITER 2260 NEW BEST:: SOT 51921886 SOS 14020433 HAS SOPS 14020433 HAS SOUS 9068537 HAS SOUPS 9068537 WITH SCORE 9082557.433
AT ITER 2277 NEW BEST:: SOT 51919057 SOS 14017289 HAS SOPS 14017289 HAS SOUS 9068220 HAS SOUPS 9068220 WITH SCORE 9082237.289
AT ITER 2292 NEW BEST:: SOT 51916613 SOS 14013622 HAS SOPS 14013622 HAS SOUS 9068217 HAS SOUPS 9068217 WITH SCORE 9082230.622
AT ITER 2304 NEW BEST:: SOT 51913850 SOS 14010699 HAS SOPS 14010699 HAS SOUS 9068059 HAS SOUPS 9068059 WITH SCORE 9082069.699
AT ITER 2310 NEW BEST:: SOT 51909928 SOS 14004815 HAS SOPS 14004815 HAS SOUS 9068056 HAS SOUPS 9068056 WITH SCORE 9082060.815
AT ITER 2336 NEW BEST:: SOT 51906200 SOS 13999223 HAS SOPS 13999223 HAS SOUS 9068056 HAS SOUPS 9068056 WITH SCORE 9082055.223
AT ITER 2342 NEW BEST:: SOT 51905748 SOS 13998544 HAS SOPS 13998544 HAS SOUS 9068053 HAS SOUPS 9068053 WITH SCORE 9082051.544
AT ITER 2364 NEW BEST:: SOT 51903380 SOS 13994991 HAS SOPS 13994991 HAS SOUS 9068050 HAS SOUPS 9068050 WITH SCORE 9082044.991
AT ITER 2393 NEW BEST:: SOT 51903046 SOS 13994323 HAS SOPS 13994323 HAS SOUS 9068050 HAS SOUPS 9068050 WITH SCORE 9082044.323
AT ITER 2405 NEW BEST:: SOT 51900104 SOS 13989908 HAS SOPS 13989908 HAS SOUS 9068044 HAS SOUPS 9068044 WITH SCORE 9082033.908
AT ITER 2447 NEW BEST:: SOT 51897200 SOS 13986472 HAS SOPS 13986472 HAS SOUS 9067512 HAS SOUPS 9067512 WITH SCORE 9081498.472
AT ITER 2455 NEW BEST:: SOT 51894536 SOS 13982476 HAS SOPS 13982476 HAS SOUS 9067512 HAS SOUPS 9067512 WITH SCORE 9081494.476
AT ITER 2462 NEW BEST:: SOT 51891772 SOS 13979596 HAS SOPS 13979596 HAS SOUS 9067395 HAS SOUPS 9067395 WITH SCORE 9081374.596
AT ITER 2496 NEW BEST:: SOT 51891772 SOS 13979595 HAS SOPS 13979595 HAS SOUS 9067392 HAS SOUPS 9067392 WITH SCORE 9081371.595
AT ITER 2499 NEW BEST:: SOT 51888678 SOS 13973657 HAS SOPS 13973657 HAS SOUS 9063501 HAS SOUPS 9063501 WITH SCORE 9077474.657
AT ITER 2506 NEW BEST:: SOT 51884630 SOS 13967585 HAS SOPS 13967585 HAS SOUS 9063501 HAS SOUPS 9063501 WITH SCORE 9077468.585
AT ITER 2537 NEW BEST:: SOT 51882144 SOS 13963856 HAS SOPS 13963856 HAS SOUS 9063501 HAS SOUPS 9063501 WITH SCORE 9077464.856
AT ITER 2542 NEW BEST:: SOT 51879482 SOS 13958532 HAS SOPS 13958532 HAS SOUS 9059508 HAS SOUPS 9059508 WITH SCORE 9073466.532
AT ITER 2564 NEW BEST:: SOT 51875534 SOS 13952608 HAS SOPS 13952608 HAS SOUS 9059502 HAS SOUPS 9059502 WITH SCORE 9073454.608
AT ITER 2573 NEW BEST:: SOT 51871898 SOS 13945534 HAS SOPS 13945534 HAS SOUS 9054642 HAS SOUPS 9054642 WITH SCORE 9068587.534
AT ITER 2580 NEW BEST:: SOT 51869190 SOS 13941471 HAS SOPS 13941471 HAS SOUS 9054639 HAS SOUPS 9054639 WITH SCORE 9068580.471
AT ITER 2587 NEW BEST:: SOT 51865990 SOS 13936670 HAS SOPS 13936670 HAS SOUS 9054636 HAS SOUPS 9054636 WITH SCORE 9068572.67
AT ITER 2629 NEW BEST:: SOT 51863194 SOS 13933649 HAS SOPS 13933649 HAS SOUS 9054409 HAS SOUPS 9054409 WITH SCORE 9068342.649
AT ITER 2634 NEW BEST:: SOT 51860116 SOS 13929031 HAS SOPS 13929031 HAS SOUS 9054406 HAS SOUPS 9054406 WITH SCORE 9068335.031
AT ITER 2640 NEW BEST:: SOT 51856037 SOS 13922907 HAS SOPS 13922907 HAS SOUS 9054389 HAS SOUPS 9054389 WITH SCORE 9068311.907
AT ITER 2641 NEW BEST:: SOT 51854827 SOS 13921092 HAS SOPS 13921092 HAS SOUS 9054389 HAS SOUPS 9054389 WITH SCORE 9068310.092
AT ITER 2642 NEW BEST:: SOT 51851920 SOS 13916549 HAS SOPS 13916549 HAS SOUS 9050709 HAS SOUPS 9050709 WITH SCORE 9064625.549
AT ITER 2643 NEW BEST:: SOT 51849264 SOS 13912565 HAS SOPS 13912565 HAS SOUS 9050709 HAS SOUPS 9050709 WITH SCORE 9064621.565
AT ITER 2645 NEW BEST:: SOT 51849032 SOS 13912101 HAS SOPS 13912101 HAS SOUS 9050361 HAS SOUPS 9050361 WITH SCORE 9064273.101
AT ITER 2647 NEW BEST:: SOT 51845638 SOS 13907009 HAS SOPS 13907009 HAS SOUS 9050358 HAS SOUPS 9050358 WITH SCORE 9064265.009
AT ITER 2651 NEW BEST:: SOT 51842804 SOS 13903841 HAS SOPS 13903841 HAS SOUS 9050023 HAS SOUPS 9050023 WITH SCORE 9063926.841
AT ITER 2674 NEW BEST:: SOT 51838754 SOS 13897766 HAS SOPS 13897766 HAS SOUS 9050023 HAS SOUPS 9050023 WITH SCORE 9063920.766
AT ITER 2684 NEW BEST:: SOT 51835226 SOS 13891319 HAS SOPS 13891319 HAS SOUS 9046558 HAS SOUPS 9046558 WITH SCORE 9060449.319
AT ITER 2707 NEW BEST:: SOT 51832184 SOS 13886755 HAS SOPS 13886755 HAS SOUS 9046555 HAS SOUPS 9046555 WITH SCORE 9060441.755
AT ITER 2717 NEW BEST:: SOT 51831581 SOS 13885950 HAS SOPS 13885950 HAS SOUS 9046351 HAS SOUPS 9046351 WITH SCORE 9060236.95
AT ITER 2726 NEW BEST:: SOT 51828563 SOS 13882026 HAS SOPS 13882026 HAS SOUS 9045445 HAS SOUPS 9045445 WITH SCORE 9059327.026
AT ITER 2743 NEW BEST:: SOT 51827237 SOS 13880699 HAS SOPS 13880699 HAS SOUS 9045439 HAS SOUPS 9045439 WITH SCORE 9059319.699
AT ITER 2748 NEW BEST:: SOT 51823487 SOS 13875073 HAS SOPS 13875073 HAS SOUS 9045436 HAS SOUPS 9045436 WITH SCORE 9059311.073
AT ITER 2755 NEW BEST:: SOT 51823147 SOS 13874561 HAS SOPS 13874561 HAS SOUS 9045430 HAS SOUPS 9045430 WITH SCORE 9059304.561
AT ITER 2761 NEW BEST:: SOT 51819103 SOS 13868494 HAS SOPS 13868494 HAS SOUS 9045427 HAS SOUPS 9045427 WITH SCORE 9059295.494
AT ITER 2779 NEW BEST:: SOT 51816909 SOS 13865202 HAS SOPS 13865202 HAS SOUS 9045424 HAS SOUPS 9045424 WITH SCORE 9059289.202
AT ITER 2810 NEW BEST:: SOT 51816308 SOS 13864000 HAS SOPS 13864000 HAS SOUS 9045123 HAS SOUPS 9045123 WITH SCORE 9058987.0
AT ITER 2834 NEW BEST:: SOT 51815999 SOS 13863587 HAS SOPS 13863587 HAS SOUS 9045017 HAS SOUPS 9045017 WITH SCORE 9058880.587
AT ITER 2835 NEW BEST:: SOT 51814637 SOS 13861317 HAS SOPS 13861317 HAS SOUS 9043201 HAS SOUPS 9043201 WITH SCORE 9057062.317
AT ITER 2840 NEW BEST:: SOT 51813767 SOS 13860155 HAS SOPS 13860155 HAS SOUS 9042905 HAS SOUPS 9042905 WITH SCORE 9056765.155
AT ITER 2851 NEW BEST:: SOT 51813683 SOS 13860043 HAS SOPS 13860043 HAS SOUS 9042877 HAS SOUPS 9042877 WITH SCORE 9056737.043
AT ITER 2858 NEW BEST:: SOT 51811439 SOS 13856677 HAS SOPS 13856677 HAS SOUS 9042877 HAS SOUPS 9042877 WITH SCORE 9056733.677
AT ITER 2862 NEW BEST:: SOT 51808534 SOS 13853226 HAS SOPS 13853226 HAS SOUS 9042329 HAS SOUPS 9042329 WITH SCORE 9056182.226
AT ITER 2868 NEW BEST:: SOT 51805330 SOS 13848420 HAS SOPS 13848420 HAS SOUS 9042329 HAS SOUPS 9042329 WITH SCORE 9056177.42
AT ITER 2876 NEW BEST:: SOT 51803653 SOS 13846184 HAS SOPS 13846184 HAS SOUS 9041770 HAS SOUPS 9041770 WITH SCORE 9055616.184
AT ITER 2893 NEW BEST:: SOT 51801751 SOS 13843742 HAS SOPS 13843742 HAS SOUS 9041300 HAS SOUPS 9041300 WITH SCORE 9055143.742
AT ITER 2904 NEW BEST:: SOT 51798891 SOS 13839452 HAS SOPS 13839452 HAS SOUS 9041300 HAS SOUPS 9041300 WITH SCORE 9055139.452
AT ITER 2905 NEW BEST:: SOT 51797487 SOS 13837922 HAS SOPS 13837922 HAS SOUS 9041170 HAS SOUPS 9041170 WITH SCORE 9055007.922
AT ITER 2916 NEW BEST:: SOT 51796537 SOS 13836496 HAS SOPS 13836496 HAS SOUS 9041167 HAS SOUPS 9041167 WITH SCORE 9055003.496
AT ITER 2939 NEW BEST:: SOT 51794923 SOS 13833268 HAS SOPS 13833268 HAS SOUS 9038746 HAS SOUPS 9038746 WITH SCORE 9052579.268
AT ITER 2967 NEW BEST:: SOT 51792515 SOS 13829656 HAS SOPS 13829656 HAS SOUS 9038746 HAS SOUPS 9038746 WITH SCORE 9052575.656
AT ITER 3005 NEW BEST:: SOT 51791074 SOS 13827982 HAS SOPS 13827982 HAS SOUS 9038513 HAS SOUPS 9038513 WITH SCORE 9052340.982
AT ITER 3010 NEW BEST:: SOT 51788934 SOS 13824771 HAS SOPS 13824771 HAS SOUS 9038510 HAS SOUPS 9038510 WITH SCORE 9052334.771
AT ITER 3026 NEW BEST:: SOT 51786090 SOS 13821574 HAS SOPS 13821574 HAS SOUS 9038157 HAS SOUPS 9038157 WITH SCORE 9051978.574
AT ITER 3029 NEW BEST:: SOT 51784615 SOS 13819760 HAS SOPS 13819760 HAS SOUS 9037815 HAS SOUPS 9037815 WITH SCORE 9051634.76
AT ITER 3036 NEW BEST:: SOT 51780630 SOS 13813801 HAS SOPS 13813801 HAS SOUS 9037806 HAS SOUPS 9037806 WITH SCORE 9051619.801
AT ITER 3047 NEW BEST:: SOT 51777546 SOS 13809175 HAS SOPS 13809175 HAS SOUS 9037806 HAS SOUPS 9037806 WITH SCORE 9051615.175
AT ITER 3060 NEW BEST:: SOT 51773612 SOS 13803274 HAS SOPS 13803274 HAS SOUS 9037806 HAS SOUPS 9037806 WITH SCORE 9051609.274
AT ITER 3061 NEW BEST:: SOT 51770813 SOS 13800250 HAS SOPS 13800250 HAS SOUS 9037579 HAS SOUPS 9037579 WITH SCORE 9051379.25
AT ITER 3063 NEW BEST:: SOT 51770691 SOS 13800066 HAS SOPS 13800066 HAS SOUS 9037576 HAS SOUPS 9037576 WITH SCORE 9051376.066
AT ITER 3068 NEW BEST:: SOT 51769350 SOS 13798278 HAS SOPS 13798278 HAS SOUS 9037129 HAS SOUPS 9037129 WITH SCORE 9050927.278
AT ITER 3082 NEW BEST:: SOT 51767799 SOS 13796210 HAS SOPS 13796210 HAS SOUS 9036612 HAS SOUPS 9036612 WITH SCORE 9050408.21
AT ITER 3089 NEW BEST:: SOT 51764151 SOS 13790736 HAS SOPS 13790736 HAS SOUS 9036606 HAS SOUPS 9036606 WITH SCORE 9050396.736
AT ITER 3096 NEW BEST:: SOT 51760515 SOS 13785281 HAS SOPS 13785281 HAS SOUS 9036603 HAS SOUPS 9036603 WITH SCORE 9050388.281
AT ITER 3112 NEW BEST:: SOT 51760566 SOS 13783927 HAS SOPS 13783927 HAS SOUS 9032261 HAS SOUPS 9032261 WITH SCORE 9046044.927
AT ITER 3118 NEW BEST:: SOT 51758128 SOS 13780269 HAS SOPS 13780269 HAS SOUS 9032258 HAS SOUPS 9032258 WITH SCORE 9046038.269
AT ITER 3125 NEW BEST:: SOT 51754726 SOS 13775165 HAS SOPS 13775165 HAS SOUS 9032255 HAS SOUPS 9032255 WITH SCORE 9046030.165
AT ITER 3143 NEW BEST:: SOT 51750746 SOS 13769195 HAS SOPS 13769195 HAS SOUS 9032255 HAS SOUPS 9032255 WITH SCORE 9046024.195
AT ITER 3149 NEW BEST:: SOT 51747354 SOS 13764106 HAS SOPS 13764106 HAS SOUS 9032252 HAS SOUPS 9032252 WITH SCORE 9046016.106
AT ITER 3158 NEW BEST:: SOT 51746294 SOS 13762506 HAS SOPS 13762506 HAS SOUS 9032222 HAS SOUPS 9032222 WITH SCORE 9045984.506
AT ITER 3177 NEW BEST:: SOT 51744479 SOS 13760085 HAS SOPS 13760085 HAS SOUS 9031614 HAS SOUPS 9031614 WITH SCORE 9045374.085
AT ITER 3180 NEW BEST:: SOT 51740421 SOS 13752705 HAS SOPS 13752705 HAS SOUS 9027735 HAS SOUPS 9027735 WITH SCORE 9041487.705
AT ITER 3205 NEW BEST:: SOT 51737891 SOS 13748909 HAS SOPS 13748909 HAS SOUS 9027732 HAS SOUPS 9027732 WITH SCORE 9041480.909
AT ITER 3226 NEW BEST:: SOT 51735160 SOS 13746163 HAS SOPS 13746163 HAS SOUS 9027715 HAS SOUPS 9027715 WITH SCORE 9041461.163
AT ITER 3254 NEW BEST:: SOT 51734615 SOS 13745073 HAS SOPS 13745073 HAS SOUS 9026898 HAS SOUPS 9026898 WITH SCORE 9040643.073
AT ITER 3256 NEW BEST:: SOT 51732347 SOS 13742048 HAS SOPS 13742048 HAS SOUS 9026139 HAS SOUPS 9026139 WITH SCORE 9039881.048
AT ITER 3263 NEW BEST:: SOT 51729533 SOS 13738294 HAS SOPS 13738294 HAS SOUS 9025195 HAS SOUPS 9025195 WITH SCORE 9038933.294
AT ITER 3269 NEW BEST:: SOT 51726782 SOS 13734626 HAS SOPS 13734626 HAS SOUS 9024278 HAS SOUPS 9024278 WITH SCORE 9038012.626
AT ITER 3270 NEW BEST:: SOT 51726782 SOS 13734264 HAS SOPS 13734264 HAS SOUS 9023192 HAS SOUPS 9023192 WITH SCORE 9036926.264
AT ITER 3274 NEW BEST:: SOT 51723942 SOS 13731071 HAS SOPS 13731071 HAS SOUS 9022840 HAS SOUPS 9022840 WITH SCORE 9036571.071
AT ITER 3289 NEW BEST:: SOT 51720996 SOS 13727454 HAS SOPS 13727454 HAS SOUS 9022166 HAS SOUPS 9022166 WITH SCORE 9035893.454
AT ITER 3334 NEW BEST:: SOT 51720567 SOS 13726596 HAS SOPS 13726596 HAS SOUS 9021522 HAS SOUPS 9021522 WITH SCORE 9035248.596
AT ITER 3338 NEW BEST:: SOT 51719591 SOS 13725131 HAS SOPS 13725131 HAS SOUS 9021519 HAS SOUPS 9021519 WITH SCORE 9035244.131
AT ITER 3371 NEW BEST:: SOT 51717773 SOS 13722403 HAS SOPS 13722403 HAS SOUS 9021516 HAS SOUPS 9021516 WITH SCORE 9035238.403
AT ITER 3381 NEW BEST:: SOT 51715047 SOS 13719674 HAS SOPS 13719674 HAS SOUS 9021512 HAS SOUPS 9021512 WITH SCORE 9035231.674
AT ITER 3407 NEW BEST:: SOT 51711947 SOS 13715023 HAS SOPS 13715023 HAS SOUS 9021509 HAS SOUPS 9021509 WITH SCORE 9035224.023
AT ITER 3415 NEW BEST:: SOT 51708897 SOS 13711002 HAS SOPS 13711002 HAS SOUS 9020536 HAS SOUPS 9020536 WITH SCORE 9034247.002
AT ITER 3418 NEW BEST:: SOT 51708632 SOS 13710472 HAS SOPS 13710472 HAS SOUS 9020536 HAS SOUPS 9020536 WITH SCORE 9034246.472
AT ITER 3420 NEW BEST:: SOT 51706229 SOS 13707268 HAS SOPS 13707268 HAS SOUS 9019735 HAS SOUPS 9019735 WITH SCORE 9033442.268
AT ITER 3423 NEW BEST:: SOT 51704018 SOS 13703539 HAS SOPS 13703539 HAS SOUS 9017678 HAS SOUPS 9017678 WITH SCORE 9031381.539
AT ITER 3426 NEW BEST:: SOT 51702542 SOS 13701325 HAS SOPS 13701325 HAS SOUS 9017678 HAS SOUPS 9017678 WITH SCORE 9031379.325
AT ITER 3432 NEW BEST:: SOT 51701682 SOS 13700035 HAS SOPS 13700035 HAS SOUS 9017678 HAS SOUPS 9017678 WITH SCORE 9031378.035
AT ITER 3453 NEW BEST:: SOT 51699637 SOS 13697905 HAS SOPS 13697905 HAS SOUS 9017593 HAS SOUPS 9017593 WITH SCORE 9031290.905
AT ITER 3459 NEW BEST:: SOT 51698387 SOS 13696030 HAS SOPS 13696030 HAS SOUS 9017593 HAS SOUPS 9017593 WITH SCORE 9031289.03
AT ITER 3476 NEW BEST:: SOT 51698163 SOS 13695582 HAS SOPS 13695582 HAS SOUS 9017145 HAS SOUPS 9017145 WITH SCORE 9030840.582
AT ITER 3478 NEW BEST:: SOT 51696179 SOS 13692606 HAS SOPS 13692606 HAS SOUS 9017145 HAS SOUPS 9017145 WITH SCORE 9030837.606
AT ITER 3490 NEW BEST:: SOT 51693897 SOS 13689182 HAS SOPS 13689182 HAS SOUS 9017142 HAS SOUPS 9017142 WITH SCORE 9030831.182
AT ITER 3496 NEW BEST:: SOT 51692999 SOS 13687834 HAS SOPS 13687834 HAS SOUS 9017139 HAS SOUPS 9017139 WITH SCORE 9030826.834
AT ITER 3504 NEW BEST:: SOT 51691581 SOS 13686247 HAS SOPS 13686247 HAS SOUS 9016969 HAS SOUPS 9016969 WITH SCORE 9030655.247
AT ITER 3537 NEW BEST:: SOT 51688819 SOS 13682104 HAS SOPS 13682104 HAS SOUS 9016969 HAS SOUPS 9016969 WITH SCORE 9030651.104
AT ITER 3556 NEW BEST:: SOT 51684815 SOS 13676097 HAS SOPS 13676097 HAS SOUS 9016966 HAS SOUPS 9016966 WITH SCORE 9030642.097
AT ITER 3576 NEW BEST:: SOT 51681389 SOS 13669818 HAS SOPS 13669818 HAS SOUS 9013546 HAS SOUPS 9013546 WITH SCORE 9027215.818
AT ITER 3598 NEW BEST:: SOT 51679611 SOS 13666262 HAS SOPS 13666262 HAS SOUS 9010204 HAS SOUPS 9010204 WITH SCORE 9023870.262
AT ITER 3599 NEW BEST:: SOT 51677217 SOS 13661677 HAS SOPS 13661677 HAS SOUS 9007222 HAS SOUPS 9007222 WITH SCORE 9020883.677
AT ITER 3625 NEW BEST:: SOT 51676797 SOS 13661046 HAS SOPS 13661046 HAS SOUS 9007219 HAS SOUPS 9007219 WITH SCORE 9020880.046
AT ITER 3628 NEW BEST:: SOT 51673425 SOS 13655987 HAS SOPS 13655987 HAS SOUS 9007216 HAS SOUPS 9007216 WITH SCORE 9020871.987
AT ITER 3667 NEW BEST:: SOT 51673339 SOS 13655815 HAS SOPS 13655815 HAS SOUS 9007087 HAS SOUPS 9007087 WITH SCORE 9020742.815
AT ITER 3681 NEW BEST:: SOT 51671356 SOS 13652510 HAS SOPS 13652510 HAS SOUS 9004443 HAS SOUPS 9004443 WITH SCORE 9018095.51
AT ITER 3686 NEW BEST:: SOT 51668510 SOS 13649253 HAS SOPS 13649253 HAS SOUS 9004034 HAS SOUPS 9004034 WITH SCORE 9017683.253
AT ITER 3698 NEW BEST:: SOT 51666900 SOS 13646837 HAS SOPS 13646837 HAS SOUS 9004031 HAS SOUPS 9004031 WITH SCORE 9017677.837
AT ITER 3709 NEW BEST:: SOT 51664394 SOS 13643078 HAS SOPS 13643078 HAS SOUS 9004031 HAS SOUPS 9004031 WITH SCORE 9017674.078
AT ITER 3715 NEW BEST:: SOT 51662298 SOS 13639934 HAS SOPS 13639934 HAS SOUS 9004031 HAS SOUPS 9004031 WITH SCORE 9017670.934
AT ITER 3722 NEW BEST:: SOT 51662260 SOS 13639857 HAS SOPS 13639857 HAS SOUS 9003990 HAS SOUPS 9003990 WITH SCORE 9017629.857
AT ITER 3747 NEW BEST:: SOT 51658936 SOS 13634869 HAS SOPS 13634869 HAS SOUS 9003984 HAS SOUPS 9003984 WITH SCORE 9017618.869
AT ITER 3749 NEW BEST:: SOT 51656330 SOS 13629724 HAS SOPS 13629724 HAS SOUS 9000276 HAS SOUPS 9000276 WITH SCORE 9013905.724
AT ITER 3767 NEW BEST:: SOT 51653837 SOS 13626112 HAS SOPS 13626112 HAS SOUS 8998581 HAS SOUPS 8998581 WITH SCORE 9012207.112
AT ITER 3783 NEW BEST:: SOT 51650827 SOS 13622262 HAS SOPS 13622262 HAS SOUS 8997740 HAS SOUPS 8997740 WITH SCORE 9011362.262
AT ITER 3787 NEW BEST:: SOT 51649831 SOS 13620933 HAS SOPS 13620933 HAS SOUS 8997405 HAS SOUPS 8997405 WITH SCORE 9011025.933
AT ITER 3795 NEW BEST:: SOT 51647953 SOS 13618116 HAS SOPS 13618116 HAS SOUS 8997405 HAS SOUPS 8997405 WITH SCORE 9011023.116
AT ITER 3801 NEW BEST:: SOT 51648260 SOS 13617885 HAS SOPS 13617885 HAS SOUS 8995024 HAS SOUPS 8995024 WITH SCORE 9008641.885
AT ITER 3816 NEW BEST:: SOT 51645702 SOS 13614048 HAS SOPS 13614048 HAS SOUS 8995024 HAS SOUPS 8995024 WITH SCORE 9008638.048
AT ITER 3860 NEW BEST:: SOT 51642834 SOS 13610748 HAS SOPS 13610748 HAS SOUS 8994592 HAS SOUPS 8994592 WITH SCORE 9008202.748
AT ITER 3886 NEW BEST:: SOT 51639808 SOS 13606209 HAS SOPS 13606209 HAS SOUS 8994592 HAS SOUPS 8994592 WITH SCORE 9008198.209
AT ITER 3898 NEW BEST:: SOT 51637918 SOS 13604319 HAS SOPS 13604319 HAS SOUS 8994592 HAS SOUPS 8994592 WITH SCORE 9008196.319
AT ITER 3914 NEW BEST:: SOT 51635266 SOS 13600782 HAS SOPS 13600782 HAS SOUS 8993705 HAS SOUPS 8993705 WITH SCORE 9007305.782
AT ITER 3921 NEW BEST:: SOT 51632392 SOS 13596950 HAS SOPS 13596950 HAS SOUS 8992747 HAS SOUPS 8992747 WITH SCORE 9006343.95
AT ITER 3926 NEW BEST:: SOT 51632066 SOS 13596461 HAS SOPS 13596461 HAS SOUS 8992747 HAS SOUPS 8992747 WITH SCORE 9006343.461
AT ITER 3936 NEW BEST:: SOT 51632066 SOS 13595984 HAS SOPS 13595984 HAS SOUS 8991316 HAS SOUPS 8991316 WITH SCORE 9004911.984
AT ITER 3948 NEW BEST:: SOT 51629144 SOS 13590793 HAS SOPS 13590793 HAS SOUS 8987719 HAS SOUPS 8987719 WITH SCORE 9001309.793
AT ITER 3958 NEW BEST:: SOT 51628032 SOS 13589125 HAS SOPS 13589125 HAS SOUS 8987719 HAS SOUPS 8987719 WITH SCORE 9001308.125
AT ITER 3977 NEW BEST:: SOT 51626026 SOS 13586115 HAS SOPS 13586115 HAS SOUS 8987716 HAS SOUPS 8987716 WITH SCORE 9001302.115
AT ITER 4000 NEW BEST:: SOT 51624541 SOS 13584135 HAS SOPS 13584135 HAS SOUS 8987221 HAS SOUPS 8987221 WITH SCORE 9000805.135
AT ITER 4001 NEW BEST:: SOT 51623837 SOS 13583079 HAS SOPS 13583079 HAS SOUS 8987221 HAS SOUPS 8987221 WITH SCORE 9000804.079
AT ITER 4005 NEW BEST:: SOT 51621729 SOS 13579916 HAS SOPS 13579916 HAS SOUS 8987218 HAS SOUPS 8987218 WITH SCORE 9000797.916
AT ITER 4018 NEW BEST:: SOT 51618647 SOS 13575291 HAS SOPS 13575291 HAS SOUS 8987212 HAS SOUPS 8987212 WITH SCORE 9000787.291
AT ITER 4033 NEW BEST:: SOT 51614853 SOS 13567921 HAS SOPS 13567921 HAS SOUS 8982175 HAS SOUPS 8982175 WITH SCORE 8995742.921
AT ITER 4034 NEW BEST:: SOT 51613891 SOS 13566478 HAS SOPS 13566478 HAS SOUS 8982175 HAS SOUPS 8982175 WITH SCORE 8995741.478
AT ITER 4058 NEW BEST:: SOT 51611509 SOS 13562904 HAS SOPS 13562904 HAS SOUS 8982172 HAS SOUPS 8982172 WITH SCORE 8995734.904
AT ITER 4067 NEW BEST:: SOT 51609517 SOS 13560248 HAS SOPS 13560248 HAS SOUS 8981508 HAS SOUPS 8981508 WITH SCORE 8995068.248
AT ITER 4093 NEW BEST:: SOT 51605493 SOS 13554211 HAS SOPS 13554211 HAS SOUS 8981505 HAS SOUPS 8981505 WITH SCORE 8995059.211
AT ITER 4100 NEW BEST:: SOT 51603507 SOS 13551563 HAS SOPS 13551563 HAS SOUS 8980843 HAS SOUPS 8980843 WITH SCORE 8994394.563
AT ITER 4145 NEW BEST:: SOT 51603507 SOS 13551562 HAS SOPS 13551562 HAS SOUS 8980840 HAS SOUPS 8980840 WITH SCORE 8994391.562
AT ITER 4152 NEW BEST:: SOT 51603143 SOS 13550834 HAS SOPS 13550834 HAS SOUS 8980294 HAS SOUPS 8980294 WITH SCORE 8993844.834
AT ITER 4163 NEW BEST:: SOT 51600483 SOS 13546481 HAS SOPS 13546481 HAS SOUS 8979205 HAS SOUPS 8979205 WITH SCORE 8992751.481
AT ITER 4167 NEW BEST:: SOT 51598203 SOS 13543060 HAS SOPS 13543060 HAS SOUS 8979202 HAS SOUPS 8979202 WITH SCORE 8992745.06
AT ITER 4185 NEW BEST:: SOT 51595683 SOS 13539280 HAS SOPS 13539280 HAS SOUS 8979202 HAS SOUPS 8979202 WITH SCORE 8992741.28
AT ITER 4200 NEW BEST:: SOT 51592883 SOS 13535080 HAS SOPS 13535080 HAS SOUS 8979202 HAS SOUPS 8979202 WITH SCORE 8992737.08
AT ITER 4203 NEW BEST:: SOT 51591638 SOS 13533420 HAS SOPS 13533420 HAS SOUS 8978787 HAS SOUPS 8978787 WITH SCORE 8992320.42
AT ITER 4205 NEW BEST:: SOT 51590135 SOS 13531416 HAS SOPS 13531416 HAS SOUS 8978286 HAS SOUPS 8978286 WITH SCORE 8991817.416
AT ITER 4211 NEW BEST:: SOT 51589993 SOS 13531132 HAS SOPS 13531132 HAS SOUS 8978073 HAS SOUPS 8978073 WITH SCORE 8991604.132
AT ITER 4217 NEW BEST:: SOT 51587413 SOS 13527399 HAS SOPS 13527399 HAS SOUS 8977439 HAS SOUPS 8977439 WITH SCORE 8990966.399
AT ITER 4218 NEW BEST:: SOT 51584986 SOS 13523603 HAS SOPS 13523603 HAS SOUS 8974950 HAS SOUPS 8974950 WITH SCORE 8988473.603
AT ITER 4237 NEW BEST:: SOT 51582964 SOS 13520570 HAS SOPS 13520570 HAS SOUS 8974950 HAS SOUPS 8974950 WITH SCORE 8988470.57
AT ITER 4241 NEW BEST:: SOT 51579776 SOS 13515788 HAS SOPS 13515788 HAS SOUS 8974950 HAS SOUPS 8974950 WITH SCORE 8988465.788
AT ITER 4258 NEW BEST:: SOT 51577646 SOS 13512592 HAS SOPS 13512592 HAS SOUS 8974947 HAS SOUPS 8974947 WITH SCORE 8988459.592
AT ITER 4287 NEW BEST:: SOT 51574864 SOS 13508419 HAS SOPS 13508419 HAS SOUS 8974947 HAS SOUPS 8974947 WITH SCORE 8988455.419
AT ITER 4288 NEW BEST:: SOT 51574115 SOS 13506921 HAS SOPS 13506921 HAS SOUS 8973823 HAS SOUPS 8973823 WITH SCORE 8987329.921
AT ITER 4292 NEW BEST:: SOT 51572837 SOS 13505841 HAS SOPS 13505841 HAS SOUS 8973736 HAS SOUPS 8973736 WITH SCORE 8987241.841
AT ITER 4298 NEW BEST:: SOT 51571428 SOS 13504415 HAS SOPS 13504415 HAS SOUS 8973380 HAS SOUPS 8973380 WITH SCORE 8986884.415
AT ITER 4321 NEW BEST:: SOT 51569796 SOS 13502238 HAS SOPS 13502238 HAS SOUS 8972833 HAS SOUPS 8972833 WITH SCORE 8986335.238
AT ITER 4324 NEW BEST:: SOT 51568689 SOS 13500761 HAS SOPS 13500761 HAS SOUS 8972461 HAS SOUPS 8972461 WITH SCORE 8985961.761
AT ITER 4352 NEW BEST:: SOT 51565603 SOS 13495229 HAS SOPS 13495229 HAS SOUS 8968741 HAS SOUPS 8968741 WITH SCORE 8982236.229
AT ITER 4364 NEW BEST:: SOT 51565267 SOS 13494557 HAS SOPS 13494557 HAS SOUS 8968740 HAS SOUPS 8968740 WITH SCORE 8982234.557
AT ITER 4399 NEW BEST:: SOT 51563947 SOS 13492576 HAS SOPS 13492576 HAS SOUS 8968737 HAS SOUPS 8968737 WITH SCORE 8982229.576
AT ITER 4413 NEW BEST:: SOT 51560355 SOS 13487187 HAS SOPS 13487187 HAS SOUS 8968734 HAS SOUPS 8968734 WITH SCORE 8982221.187
AT ITER 4428 NEW BEST:: SOT 51557295 SOS 13482115 HAS SOPS 13482115 HAS SOUS 8967288 HAS SOUPS 8967288 WITH SCORE 8980770.115
AT ITER 4431 NEW BEST:: SOT 51554571 SOS 13478029 HAS SOPS 13478029 HAS SOUS 8967288 HAS SOUPS 8967288 WITH SCORE 8980766.029
AT ITER 4434 NEW BEST:: SOT 51552451 SOS 13475686 HAS SOPS 13475686 HAS SOUS 8967063 HAS SOUPS 8967063 WITH SCORE 8980538.686
AT ITER 4435 NEW BEST:: SOT 51551769 SOS 13474322 HAS SOPS 13474322 HAS SOUS 8966040 HAS SOUPS 8966040 WITH SCORE 8979514.322
AT ITER 4448 NEW BEST:: SOT 51549851 SOS 13471444 HAS SOPS 13471444 HAS SOUS 8966037 HAS SOUPS 8966037 WITH SCORE 8979508.444
AT ITER 4449 NEW BEST:: SOT 51549363 SOS 13470712 HAS SOPS 13470712 HAS SOUS 8966037 HAS SOUPS 8966037 WITH SCORE 8979507.712
AT ITER 4455 NEW BEST:: SOT 51545913 SOS 13465536 HAS SOPS 13465536 HAS SOUS 8966034 HAS SOUPS 8966034 WITH SCORE 8979499.536
AT ITER 4474 NEW BEST:: SOT 51544434 SOS 13463564 HAS SOPS 13463564 HAS SOUS 8965541 HAS SOUPS 8965541 WITH SCORE 8979004.564
AT ITER 4479 NEW BEST:: SOT 51542062 SOS 13460005 HAS SOPS 13460005 HAS SOUS 8965538 HAS SOUPS 8965538 WITH SCORE 8978998.005
AT ITER 4506 NEW BEST:: SOT 51538294 SOS 13454352 HAS SOPS 13454352 HAS SOUS 8965535 HAS SOUPS 8965535 WITH SCORE 8978989.352
AT ITER 4525 NEW BEST:: SOT 51538294 SOS 13454351 HAS SOPS 13454351 HAS SOUS 8965532 HAS SOUPS 8965532 WITH SCORE 8978986.351
AT ITER 4535 NEW BEST:: SOT 51537844 SOS 13453601 HAS SOPS 13453601 HAS SOUS 8964932 HAS SOUPS 8964932 WITH SCORE 8978385.601
AT ITER 4564 NEW BEST:: SOT 51535946 SOS 13451703 HAS SOPS 13451703 HAS SOUS 8964931 HAS SOUPS 8964931 WITH SCORE 8978382.703
AT ITER 4569 NEW BEST:: SOT 51534452 SOS 13449462 HAS SOPS 13449462 HAS SOUS 8964931 HAS SOUPS 8964931 WITH SCORE 8978380.462
AT ITER 4581 NEW BEST:: SOT 51532136 SOS 13445447 HAS SOPS 13445447 HAS SOUS 8963308 HAS SOUPS 8963308 WITH SCORE 8976753.447
AT ITER 4582 NEW BEST:: SOT 51529110 SOS 13441515 HAS SOPS 13441515 HAS SOUS 8962402 HAS SOUPS 8962402 WITH SCORE 8975843.515
AT ITER 4584 NEW BEST:: SOT 51525622 SOS 13436277 HAS SOPS 13436277 HAS SOUS 8962384 HAS SOUPS 8962384 WITH SCORE 8975820.277
AT ITER 4591 NEW BEST:: SOT 51522747 SOS 13432961 HAS SOPS 13432961 HAS SOUS 8961937 HAS SOUPS 8961937 WITH SCORE 8975369.961
AT ITER 4595 NEW BEST:: SOT 51521274 SOS 13430748 HAS SOPS 13430748 HAS SOUS 8960699 HAS SOUPS 8960699 WITH SCORE 8974129.748
AT ITER 4599 NEW BEST:: SOT 51519842 SOS 13428600 HAS SOPS 13428600 HAS SOUS 8960699 HAS SOUPS 8960699 WITH SCORE 8974127.6
AT ITER 4607 NEW BEST:: SOT 51518264 SOS 13426495 HAS SOPS 13426495 HAS SOUS 8960170 HAS SOUPS 8960170 WITH SCORE 8973596.495
AT ITER 4617 NEW BEST:: SOT 51518264 SOS 13426493 HAS SOPS 13426493 HAS SOUS 8960164 HAS SOUPS 8960164 WITH SCORE 8973590.493
AT ITER 4665 NEW BEST:: SOT 51518116 SOS 13426197 HAS SOPS 13426197 HAS SOUS 8960164 HAS SOUPS 8960164 WITH SCORE 8973590.197
AT ITER 4666 NEW BEST:: SOT 51515580 SOS 13422393 HAS SOPS 13422393 HAS SOUS 8960164 HAS SOUPS 8960164 WITH SCORE 8973586.393
AT ITER 4710 NEW BEST:: SOT 51513939 SOS 13420205 HAS SOPS 13420205 HAS SOUS 8959617 HAS SOUPS 8959617 WITH SCORE 8973037.205
AT ITER 4712 NEW BEST:: SOT 51513939 SOS 13420204 HAS SOPS 13420204 HAS SOUS 8959614 HAS SOUPS 8959614 WITH SCORE 8973034.204
AT ITER 4716 NEW BEST:: SOT 51511491 SOS 13416531 HAS SOPS 13416531 HAS SOUS 8959611 HAS SOUPS 8959611 WITH SCORE 8973027.531
AT ITER 4719 NEW BEST:: SOT 51509341 SOS 13413306 HAS SOPS 13413306 HAS SOUS 8959611 HAS SOUPS 8959611 WITH SCORE 8973024.306
AT ITER 4722 NEW BEST:: SOT 51506837 SOS 13409549 HAS SOPS 13409549 HAS SOUS 8959608 HAS SOUPS 8959608 WITH SCORE 8973017.549
AT ITER 4732 NEW BEST:: SOT 51503251 SOS 13404170 HAS SOPS 13404170 HAS SOUS 8959608 HAS SOUPS 8959608 WITH SCORE 8973012.17
AT ITER 4737 NEW BEST:: SOT 51501283 SOS 13401218 HAS SOPS 13401218 HAS SOUS 8959608 HAS SOUPS 8959608 WITH SCORE 8973009.218
AT ITER 4741 NEW BEST:: SOT 51498312 SOS 13397502 HAS SOPS 13397502 HAS SOUS 8958864 HAS SOUPS 8958864 WITH SCORE 8972261.502
AT ITER 4756 NEW BEST:: SOT 51496140 SOS 13394606 HAS SOPS 13394606 HAS SOUS 8958140 HAS SOUPS 8958140 WITH SCORE 8971534.606
AT ITER 4757 NEW BEST:: SOT 51493394 SOS 13391797 HAS SOPS 13391797 HAS SOUS 8958078 HAS SOUPS 8958078 WITH SCORE 8971469.797
AT ITER 4764 NEW BEST:: SOT 51492665 SOS 13390831 HAS SOPS 13390831 HAS SOUS 8957837 HAS SOUPS 8957837 WITH SCORE 8971227.831
AT ITER 4765 NEW BEST:: SOT 51492421 SOS 13390685 HAS SOPS 13390685 HAS SOUS 8957837 HAS SOUPS 8957837 WITH SCORE 8971227.685
AT ITER 4766 NEW BEST:: SOT 51491147 SOS 13388137 HAS SOPS 13388137 HAS SOUS 8955926 HAS SOUPS 8955926 WITH SCORE 8969314.137
AT ITER 4782 NEW BEST:: SOT 51491905 SOS 13388895 HAS SOPS 13388895 HAS SOUS 8955168 HAS SOUPS 8955168 WITH SCORE 8968556.895
AT ITER 4790 NEW BEST:: SOT 51491686 SOS 13388457 HAS SOPS 13388457 HAS SOUS 8954840 HAS SOUPS 8954840 WITH SCORE 8968228.457
AT ITER 4825 NEW BEST:: SOT 51489601 SOS 13385677 HAS SOPS 13385677 HAS SOUS 8954145 HAS SOUPS 8954145 WITH SCORE 8967530.677
AT ITER 4826 NEW BEST:: SOT 51488683 SOS 13384452 HAS SOPS 13384452 HAS SOUS 8953836 HAS SOUPS 8953836 WITH SCORE 8967220.452
AT ITER 4852 NEW BEST:: SOT 51486301 SOS 13379688 HAS SOPS 13379688 HAS SOUS 8950263 HAS SOUPS 8950263 WITH SCORE 8963642.688
AT ITER 4856 NEW BEST:: SOT 51483511 SOS 13375502 HAS SOPS 13375502 HAS SOUS 8950260 HAS SOUPS 8950260 WITH SCORE 8963635.502
AT ITER 4862 NEW BEST:: SOT 51483014 SOS 13374508 HAS SOPS 13374508 HAS SOUS 8949755 HAS SOUPS 8949755 WITH SCORE 8963129.508
AT ITER 4877 NEW BEST:: SOT 51482396 SOS 13373684 HAS SOPS 13373684 HAS SOUS 8949549 HAS SOUPS 8949549 WITH SCORE 8962922.684
AT ITER 4885 NEW BEST:: SOT 51481736 SOS 13372694 HAS SOPS 13372694 HAS SOUS 8949549 HAS SOUPS 8949549 WITH SCORE 8962921.694
AT ITER 4888 NEW BEST:: SOT 51479672 SOS 13369598 HAS SOPS 13369598 HAS SOUS 8949549 HAS SOUPS 8949549 WITH SCORE 8962918.598
AT ITER 4896 NEW BEST:: SOT 51479414 SOS 13369211 HAS SOPS 13369211 HAS SOUS 8949549 HAS SOUPS 8949549 WITH SCORE 8962918.211
AT ITER 4898 NEW BEST:: SOT 51475460 SOS 13363280 HAS SOPS 13363280 HAS SOUS 8949549 HAS SOUPS 8949549 WITH SCORE 8962912.28
AT ITER 4908 NEW BEST:: SOT 51472142 SOS 13358303 HAS SOPS 13358303 HAS SOUS 8949549 HAS SOUPS 8949549 WITH SCORE 8962907.303
AT ITER 4911 NEW BEST:: SOT 51468836 SOS 13352721 HAS SOPS 13352721 HAS SOUS 8946891 HAS SOUPS 8946891 WITH SCORE 8960243.721
AT ITER 4923 NEW BEST:: SOT 51466862 SOS 13348802 HAS SOPS 13348802 HAS SOUS 8944017 HAS SOUPS 8944017 WITH SCORE 8957365.802
AT ITER 4928 NEW BEST:: SOT 51463874 SOS 13344319 HAS SOPS 13344319 HAS SOUS 8944014 HAS SOUPS 8944014 WITH SCORE 8957358.319
AT ITER 4936 NEW BEST:: SOT 51461190 SOS 13340102 HAS SOPS 13340102 HAS SOUS 8942032 HAS SOUPS 8942032 WITH SCORE 8955372.102
AT ITER 4941 NEW BEST:: SOT 51458180 SOS 13336221 HAS SOPS 13336221 HAS SOUS 8941158 HAS SOUPS 8941158 WITH SCORE 8954494.221
AT ITER 4953 NEW BEST:: SOT 51456776 SOS 13334685 HAS SOPS 13334685 HAS SOUS 8941027 HAS SOUPS 8941027 WITH SCORE 8954361.685
AT ITER 4962 NEW BEST:: SOT 51452772 SOS 13328679 HAS SOPS 13328679 HAS SOUS 8941027 HAS SOUPS 8941027 WITH SCORE 8954355.679
AT ITER 4976 NEW BEST:: SOT 51449514 SOS 13323792 HAS SOPS 13323792 HAS SOUS 8941027 HAS SOUPS 8941027 WITH SCORE 8954350.792
AT ITER 4978 NEW BEST:: SOT 51448139 SOS 13322388 HAS SOPS 13322388 HAS SOUS 8940999 HAS SOUPS 8940999 WITH SCORE 8954321.388
AT ITER 4980 NEW BEST:: SOT 51446233 SOS 13319529 HAS SOPS 13319529 HAS SOUS 8940999 HAS SOUPS 8940999 WITH SCORE 8954318.529
AT ITER 4981 NEW BEST:: SOT 51447540 SOS 13320831 HAS SOPS 13320831 HAS SOUS 8940992 HAS SOUPS 8940992 WITH SCORE 8954312.831
AT ITER 4982 NEW BEST:: SOT 51446175 SOS 13319454 HAS SOPS 13319454 HAS SOUS 8940929 HAS SOUPS 8940929 WITH SCORE 8954248.454
AT ITER 4986 NEW BEST:: SOT 51445669 SOS 13318695 HAS SOPS 13318695 HAS SOUS 8940929 HAS SOUPS 8940929 WITH SCORE 8954247.695
AT ITER 4990 NEW BEST:: SOT 51443463 SOS 13314283 HAS SOPS 13314283 HAS SOUS 8937620 HAS SOUPS 8937620 WITH SCORE 8950934.283
AT ITER 4992 NEW BEST:: SOT 51441247 SOS 13310959 HAS SOPS 13310959 HAS SOUS 8937620 HAS SOUPS 8937620 WITH SCORE 8950930.959
AT ITER 4994 NEW BEST:: SOT 51438859 SOS 13306266 HAS SOPS 13306266 HAS SOUS 8934287 HAS SOUPS 8934287 WITH SCORE 8947593.266
AT ITER 5009 NEW BEST:: SOT 51438859 SOS 13306265 HAS SOPS 13306265 HAS SOUS 8934284 HAS SOUPS 8934284 WITH SCORE 8947590.265
AT ITER 5013 NEW BEST:: SOT 51434871 SOS 13300281 HAS SOPS 13300281 HAS SOUS 8934278 HAS SOUPS 8934278 WITH SCORE 8947578.281
AT ITER 5015 NEW BEST:: SOT 51431853 SOS 13295025 HAS SOPS 13295025 HAS SOUS 8931009 HAS SOUPS 8931009 WITH SCORE 8944304.025
AT ITER 5025 NEW BEST:: SOT 51428203 SOS 13289550 HAS SOPS 13289550 HAS SOUS 8931009 HAS SOUPS 8931009 WITH SCORE 8944298.55
AT ITER 5043 NEW BEST:: SOT 51426083 SOS 13285971 HAS SOPS 13285971 HAS SOUS 8928518 HAS SOUPS 8928518 WITH SCORE 8941803.971
AT ITER 5066 NEW BEST:: SOT 51424862 SOS 13284343 HAS SOPS 13284343 HAS SOUS 8928111 HAS SOUPS 8928111 WITH SCORE 8941395.343
AT ITER 5071 NEW BEST:: SOT 51424412 SOS 13283443 HAS SOPS 13283443 HAS SOUS 8927436 HAS SOUPS 8927436 WITH SCORE 8940719.443
AT ITER 5072 NEW BEST:: SOT 51424412 SOS 13283442 HAS SOPS 13283442 HAS SOUS 8927433 HAS SOUPS 8927433 WITH SCORE 8940716.442
AT ITER 5094 NEW BEST:: SOT 51420524 SOS 13277609 HAS SOPS 13277609 HAS SOUS 8927430 HAS SOUPS 8927430 WITH SCORE 8940707.609
AT ITER 5130 NEW BEST:: SOT 51419981 SOS 13276884 HAS SOPS 13276884 HAS SOUS 8927246 HAS SOUPS 8927246 WITH SCORE 8940522.884
AT ITER 5133 NEW BEST:: SOT 51419429 SOS 13276055 HAS SOPS 13276055 HAS SOUS 8927243 HAS SOUPS 8927243 WITH SCORE 8940519.055
AT ITER 5155 NEW BEST:: SOT 51417649 SOS 13274189 HAS SOPS 13274189 HAS SOUS 8927153 HAS SOUPS 8927153 WITH SCORE 8940427.189
AT ITER 5161 NEW BEST:: SOT 51415094 SOS 13270199 HAS SOPS 13270199 HAS SOUS 8925141 HAS SOUPS 8925141 WITH SCORE 8938411.199
AT ITER 5200 NEW BEST:: SOT 51414474 SOS 13269269 HAS SOPS 13269269 HAS SOUS 8925141 HAS SOUPS 8925141 WITH SCORE 8938410.269
AT ITER 5211 NEW BEST:: SOT 51411160 SOS 13264297 HAS SOPS 13264297 HAS SOUS 8925138 HAS SOUPS 8925138 WITH SCORE 8938402.297
AT ITER 5225 NEW BEST:: SOT 51409202 SOS 13261360 HAS SOPS 13261360 HAS SOUS 8925138 HAS SOUPS 8925138 WITH SCORE 8938399.36
AT ITER 5226 NEW BEST:: SOT 51408942 SOS 13260840 HAS SOPS 13260840 HAS SOUS 8924933 HAS SOUPS 8924933 WITH SCORE 8938193.84
AT ITER 5240 NEW BEST:: SOT 51407286 SOS 13258355 HAS SOPS 13258355 HAS SOUS 8924930 HAS SOUPS 8924930 WITH SCORE 8938188.355
AT ITER 5253 NEW BEST:: SOT 51404424 SOS 13253958 HAS SOPS 13253958 HAS SOUS 8923619 HAS SOUPS 8923619 WITH SCORE 8936872.958
AT ITER 5293 NEW BEST:: SOT 51402912 SOS 13251942 HAS SOPS 13251942 HAS SOUS 8923115 HAS SOUPS 8923115 WITH SCORE 8936366.942
AT ITER 5299 NEW BEST:: SOT 51402703 SOS 13251524 HAS SOPS 13251524 HAS SOUS 8923115 HAS SOUPS 8923115 WITH SCORE 8936366.524
AT ITER 5305 NEW BEST:: SOT 51401707 SOS 13250195 HAS SOPS 13250195 HAS SOUS 8922780 HAS SOUPS 8922780 WITH SCORE 8936030.195
AT ITER 5307 NEW BEST:: SOT 51398155 SOS 13243442 HAS SOPS 13243442 HAS SOUS 8917964 HAS SOUPS 8917964 WITH SCORE 8931207.442
AT ITER 5311 NEW BEST:: SOT 51397465 SOS 13242407 HAS SOPS 13242407 HAS SOUS 8917964 HAS SOUPS 8917964 WITH SCORE 8931206.407
AT ITER 5323 NEW BEST:: SOT 51394015 SOS 13237230 HAS SOPS 13237230 HAS SOUS 8917958 HAS SOUPS 8917958 WITH SCORE 8931195.23
AT ITER 5326 NEW BEST:: SOT 51391106 SOS 13233762 HAS SOPS 13233762 HAS SOUS 8917398 HAS SOUPS 8917398 WITH SCORE 8930631.762
AT ITER 5337 NEW BEST:: SOT 51388553 SOS 13230358 HAS SOPS 13230358 HAS SOUS 8916547 HAS SOUPS 8916547 WITH SCORE 8929777.358
AT ITER 5360 NEW BEST:: SOT 51386113 SOS 13226618 HAS SOPS 13226618 HAS SOUS 8914656 HAS SOUPS 8914656 WITH SCORE 8927882.618
AT ITER 5372 NEW BEST:: SOT 51384270 SOS 13223740 HAS SOPS 13223740 HAS SOUS 8912882 HAS SOUPS 8912882 WITH SCORE 8926105.74
AT ITER 5382 NEW BEST:: SOT 51381866 SOS 13220134 HAS SOPS 13220134 HAS SOUS 8912882 HAS SOUPS 8912882 WITH SCORE 8926102.134
AT ITER 5387 NEW BEST:: SOT 51381390 SOS 13219182 HAS SOPS 13219182 HAS SOUS 8912644 HAS SOUPS 8912644 WITH SCORE 8925863.182
AT ITER 5398 NEW BEST:: SOT 51380865 SOS 13218482 HAS SOPS 13218482 HAS SOUS 8912469 HAS SOUPS 8912469 WITH SCORE 8925687.482
AT ITER 5400 NEW BEST:: SOT 51377553 SOS 13213513 HAS SOPS 13213513 HAS SOUS 8912466 HAS SOUPS 8912466 WITH SCORE 8925679.513
AT ITER 5432 NEW BEST:: SOT 51377553 SOS 13212543 HAS SOPS 13212543 HAS SOUS 8909556 HAS SOUPS 8909556 WITH SCORE 8922768.543
AT ITER 5439 NEW BEST:: SOT 51376143 SOS 13210998 HAS SOPS 13210998 HAS SOUS 8909420 HAS SOUPS 8909420 WITH SCORE 8922630.998
AT ITER 5442 NEW BEST:: SOT 51374957 SOS 13208626 HAS SOPS 13208626 HAS SOUS 8907641 HAS SOUPS 8907641 WITH SCORE 8920849.626
AT ITER 5449 NEW BEST:: SOT 51373511 SOS 13206926 HAS SOPS 13206926 HAS SOUS 8907216 HAS SOUPS 8907216 WITH SCORE 8920422.926
AT ITER 5450 NEW BEST:: SOT 51372729 SOS 13205362 HAS SOPS 13205362 HAS SOUS 8906043 HAS SOUPS 8906043 WITH SCORE 8919248.362
AT ITER 5463 NEW BEST:: SOT 51370525 SOS 13201551 HAS SOPS 13201551 HAS SOUS 8903541 HAS SOUPS 8903541 WITH SCORE 8916742.551
AT ITER 5465 NEW BEST:: SOT 51367767 SOS 13196723 HAS SOPS 13196723 HAS SOUS 8900137 HAS SOUPS 8900137 WITH SCORE 8913333.723
AT ITER 5466 NEW BEST:: SOT 51366807 SOS 13195763 HAS SOPS 13195763 HAS SOUS 8900137 HAS SOUPS 8900137 WITH SCORE 8913332.763
AT ITER 5483 NEW BEST:: SOT 51366677 SOS 13195503 HAS SOPS 13195503 HAS SOUS 8900072 HAS SOUPS 8900072 WITH SCORE 8913267.503
AT ITER 5499 NEW BEST:: SOT 51364815 SOS 13192710 HAS SOPS 13192710 HAS SOUS 8900072 HAS SOUPS 8900072 WITH SCORE 8913264.71
AT ITER 5513 NEW BEST:: SOT 51362141 SOS 13188699 HAS SOPS 13188699 HAS SOUS 8900072 HAS SOUPS 8900072 WITH SCORE 8913260.699
AT ITER 5540 NEW BEST:: SOT 51361628 SOS 13188014 HAS SOPS 13188014 HAS SOUS 8899898 HAS SOUPS 8899898 WITH SCORE 8913086.014
AT ITER 5551 NEW BEST:: SOT 51358270 SOS 13182977 HAS SOPS 13182977 HAS SOUS 8899898 HAS SOUPS 8899898 WITH SCORE 8913080.977
AT ITER 5570 NEW BEST:: SOT 51356108 SOS 13179238 HAS SOPS 13179238 HAS SOUS 8897790 HAS SOUPS 8897790 WITH SCORE 8910969.238
AT ITER 5575 NEW BEST:: SOT 51353176 SOS 13175638 HAS SOPS 13175638 HAS SOUS 8897123 HAS SOUPS 8897123 WITH SCORE 8910298.638
AT ITER 5579 NEW BEST:: SOT 51349904 SOS 13170730 HAS SOPS 13170730 HAS SOUS 8897123 HAS SOUPS 8897123 WITH SCORE 8910293.73
AT ITER 5595 NEW BEST:: SOT 51346158 SOS 13163591 HAS SOPS 13163591 HAS SOUS 8892563 HAS SOUPS 8892563 WITH SCORE 8905726.591
AT ITER 5601 NEW BEST:: SOT 51346040 SOS 13163355 HAS SOPS 13163355 HAS SOUS 8892562 HAS SOUPS 8892562 WITH SCORE 8905725.355
AT ITER 5632 NEW BEST:: SOT 51343266 SOS 13159194 HAS SOPS 13159194 HAS SOUS 8892562 HAS SOUPS 8892562 WITH SCORE 8905721.194
AT ITER 5637 NEW BEST:: SOT 51341127 SOS 13156342 HAS SOPS 13156342 HAS SOUS 8891849 HAS SOUPS 8891849 WITH SCORE 8905005.342
AT ITER 5657 NEW BEST:: SOT 51338063 SOS 13154178 HAS SOPS 13154178 HAS SOUS 8891788 HAS SOUPS 8891788 WITH SCORE 8904942.178
AT ITER 5684 NEW BEST:: SOT 51337863 SOS 13153878 HAS SOPS 13153878 HAS SOUS 8891788 HAS SOUPS 8891788 WITH SCORE 8904941.878
AT ITER 5700 NEW BEST:: SOT 51336021 SOS 13151115 HAS SOPS 13151115 HAS SOUS 8889025 HAS SOUPS 8889025 WITH SCORE 8902176.115
AT ITER 5723 NEW BEST:: SOT 51331957 SOS 13145017 HAS SOPS 13145017 HAS SOUS 8889019 HAS SOUPS 8889019 WITH SCORE 8902164.017
AT ITER 5742 NEW BEST:: SOT 51329050 SOS 13141141 HAS SOPS 13141141 HAS SOUS 8888050 HAS SOUPS 8888050 WITH SCORE 8901191.141
AT ITER 5743 NEW BEST:: SOT 51327322 SOS 13138548 HAS SOPS 13138548 HAS SOUS 8888047 HAS SOUPS 8888047 WITH SCORE 8901185.548
AT ITER 5764 NEW BEST:: SOT 51325169 SOS 13136330 HAS SOPS 13136330 HAS SOUS 8887978 HAS SOUPS 8887978 WITH SCORE 8901114.33
AT ITER 5781 NEW BEST:: SOT 51324464 SOS 13134920 HAS SOPS 13134920 HAS SOUS 8887977 HAS SOUPS 8887977 WITH SCORE 8901111.92
AT ITER 5803 NEW BEST:: SOT 51321480 SOS 13130054 HAS SOPS 13130054 HAS SOUS 8884052 HAS SOUPS 8884052 WITH SCORE 8897182.054
AT ITER 5825 NEW BEST:: SOT 51318550 SOS 13124194 HAS SOPS 13124194 HAS SOUS 8879657 HAS SOUPS 8879657 WITH SCORE 8892781.194
AT ITER 5839 NEW BEST:: SOT 51317210 SOS 13122184 HAS SOPS 13122184 HAS SOUS 8879657 HAS SOUPS 8879657 WITH SCORE 8892779.184
AT ITER 5863 NEW BEST:: SOT 51316063 SOS 13120817 HAS SOPS 13120817 HAS SOUS 8879435 HAS SOUPS 8879435 WITH SCORE 8892555.817
AT ITER 5881 NEW BEST:: SOT 51312843 SOS 13114528 HAS SOPS 13114528 HAS SOUS 8875058 HAS SOUPS 8875058 WITH SCORE 8888172.528
AT ITER 5884 NEW BEST:: SOT 51309790 SOS 13110491 HAS SOPS 13110491 HAS SOUS 8874073 HAS SOUPS 8874073 WITH SCORE 8887183.491
AT ITER 5907 NEW BEST:: SOT 51308114 SOS 13108814 HAS SOPS 13108814 HAS SOUS 8874071 HAS SOUPS 8874071 WITH SCORE 8887179.814
AT ITER 5919 NEW BEST:: SOT 51307973 SOS 13108532 HAS SOPS 13108532 HAS SOUS 8873860 HAS SOUPS 8873860 WITH SCORE 8886968.532
AT ITER 5932 NEW BEST:: SOT 51306387 SOS 13106946 HAS SOPS 13106946 HAS SOUS 8873860 HAS SOUPS 8873860 WITH SCORE 8886966.946
AT ITER 5934 NEW BEST:: SOT 51303993 SOS 13103754 HAS SOPS 13103754 HAS SOUS 8873062 HAS SOUPS 8873062 WITH SCORE 8886165.754
AT ITER 5941 NEW BEST:: SOT 51303993 SOS 13102690 HAS SOPS 13102690 HAS SOUS 8869870 HAS SOUPS 8869870 WITH SCORE 8882972.69
AT ITER 5942 NEW BEST:: SOT 51302439 SOS 13100358 HAS SOPS 13100358 HAS SOUS 8869867 HAS SOUPS 8869867 WITH SCORE 8882967.358
AT ITER 5944 NEW BEST:: SOT 51300415 SOS 13098334 HAS SOPS 13098334 HAS SOUS 8869853 HAS SOUPS 8869853 WITH SCORE 8882951.334
AT ITER 6009 NEW BEST:: SOT 51297564 SOS 13095104 HAS SOPS 13095104 HAS SOUS 8869471 HAS SOUPS 8869471 WITH SCORE 8882566.104
AT ITER 6010 NEW BEST:: SOT 51293511 SOS 13087520 HAS SOPS 13087520 HAS SOUS 8864922 HAS SOUPS 8864922 WITH SCORE 8878009.52
AT ITER 6015 NEW BEST:: SOT 51292777 SOS 13086786 HAS SOPS 13086786 HAS SOUS 8864922 HAS SOUPS 8864922 WITH SCORE 8878008.786
AT ITER 6024 NEW BEST:: SOT 51292613 SOS 13086539 HAS SOPS 13086539 HAS SOUS 8864919 HAS SOUPS 8864919 WITH SCORE 8878005.539
AT ITER 6027 NEW BEST:: SOT 51292447 SOS 13086207 HAS SOPS 13086207 HAS SOUS 8864919 HAS SOUPS 8864919 WITH SCORE 8878005.207
AT ITER 6037 NEW BEST:: SOT 51291307 SOS 13083927 HAS SOPS 13083927 HAS SOUS 8863209 HAS SOUPS 8863209 WITH SCORE 8876292.927
AT ITER 6039 NEW BEST:: SOT 51287235 SOS 13077818 HAS SOPS 13077818 HAS SOUS 8863206 HAS SOUPS 8863206 WITH SCORE 8876283.818
AT ITER 6071 NEW BEST:: SOT 51286755 SOS 13077338 HAS SOPS 13077338 HAS SOUS 8863206 HAS SOUPS 8863206 WITH SCORE 8876283.338
AT ITER 6076 NEW BEST:: SOT 51282681 SOS 13071227 HAS SOPS 13071227 HAS SOUS 8863206 HAS SOUPS 8863206 WITH SCORE 8876277.227
AT ITER 6092 NEW BEST:: SOT 51281763 SOS 13069850 HAS SOPS 13069850 HAS SOUS 8863206 HAS SOUPS 8863206 WITH SCORE 8876275.85
AT ITER 6121 NEW BEST:: SOT 51279525 SOS 13066492 HAS SOPS 13066492 HAS SOUS 8863203 HAS SOUPS 8863203 WITH SCORE 8876269.492
AT ITER 6124 NEW BEST:: SOT 51279408 SOS 13066257 HAS SOPS 13066257 HAS SOUS 8863083 HAS SOUPS 8863083 WITH SCORE 8876149.257
AT ITER 6126 NEW BEST:: SOT 51277160 SOS 13062884 HAS SOPS 13062884 HAS SOUS 8863080 HAS SOUPS 8863080 WITH SCORE 8876142.884
AT ITER 6128 NEW BEST:: SOT 51274128 SOS 13058925 HAS SOPS 13058925 HAS SOUS 8862151 HAS SOUPS 8862151 WITH SCORE 8875209.925
AT ITER 6131 NEW BEST:: SOT 51272130 SOS 13056261 HAS SOPS 13056261 HAS SOUS 8861485 HAS SOUPS 8861485 WITH SCORE 8874541.261
AT ITER 6200 NEW BEST:: SOT 51268112 SOS 13050234 HAS SOPS 13050234 HAS SOUS 8861485 HAS SOUPS 8861485 WITH SCORE 8874535.234
AT ITER 6207 NEW BEST:: SOT 51265644 SOS 13046532 HAS SOPS 13046532 HAS SOUS 8861485 HAS SOUPS 8861485 WITH SCORE 8874531.532
AT ITER 6225 NEW BEST:: SOT 51265362 SOS 13046164 HAS SOPS 13046164 HAS SOUS 8861399 HAS SOUPS 8861399 WITH SCORE 8874445.164
AT ITER 6241 NEW BEST:: SOT 51263307 SOS 13043410 HAS SOPS 13043410 HAS SOUS 8860672 HAS SOUPS 8860672 WITH SCORE 8873715.41
AT ITER 6277 NEW BEST:: SOT 51259929 SOS 13036654 HAS SOPS 13036654 HAS SOUS 8855605 HAS SOUPS 8855605 WITH SCORE 8868641.654
AT ITER 6282 NEW BEST:: SOT 51255937 SOS 13029566 HAS SOPS 13029566 HAS SOUS 8852224 HAS SOUPS 8852224 WITH SCORE 8865253.566
AT ITER 6292 NEW BEST:: SOT 51254986 SOS 13028297 HAS SOPS 13028297 HAS SOUS 8851904 HAS SOUPS 8851904 WITH SCORE 8864932.297
AT ITER 6296 NEW BEST:: SOT 51253650 SOS 13026418 HAS SOPS 13026418 HAS SOUS 8850366 HAS SOUPS 8850366 WITH SCORE 8863392.418
AT ITER 6299 NEW BEST:: SOT 51250618 SOS 13021869 HAS SOPS 13021869 HAS SOUS 8850363 HAS SOUPS 8850363 WITH SCORE 8863384.869
AT ITER 6315 NEW BEST:: SOT 51248000 SOS 13017939 HAS SOPS 13017939 HAS SOUS 8850354 HAS SOUPS 8850354 WITH SCORE 8863371.939
AT ITER 6318 NEW BEST:: SOT 51247080 SOS 13016559 HAS SOPS 13016559 HAS SOUS 8850354 HAS SOUPS 8850354 WITH SCORE 8863370.559
AT ITER 6351 NEW BEST:: SOT 51246111 SOS 13015266 HAS SOPS 13015266 HAS SOUS 8850028 HAS SOUPS 8850028 WITH SCORE 8863043.266
AT ITER 6372 NEW BEST:: SOT 51244979 SOS 13013567 HAS SOPS 13013567 HAS SOUS 8850025 HAS SOUPS 8850025 WITH SCORE 8863038.567
AT ITER 6398 NEW BEST:: SOT 51243799 SOS 13011823 HAS SOPS 13011823 HAS SOUS 8849662 HAS SOUPS 8849662 WITH SCORE 8862673.823
AT ITER 6415 NEW BEST:: SOT 51240691 SOS 13007347 HAS SOPS 13007347 HAS SOUS 8849237 HAS SOUPS 8849237 WITH SCORE 8862244.347
AT ITER 6417 NEW BEST:: SOT 51239086 SOS 13005190 HAS SOPS 13005190 HAS SOUS 8848651 HAS SOUPS 8848651 WITH SCORE 8861656.19
AT ITER 6422 NEW BEST:: SOT 51237301 SOS 13003137 HAS SOPS 13003137 HAS SOUS 8847365 HAS SOUPS 8847365 WITH SCORE 8860368.137
AT ITER 6423 NEW BEST:: SOT 51236353 SOS 13002189 HAS SOPS 13002189 HAS SOUS 8847365 HAS SOUPS 8847365 WITH SCORE 8860367.189
AT ITER 6470 NEW BEST:: SOT 51233409 SOS 12996519 HAS SOPS 12996519 HAS SOUS 8843603 HAS SOUPS 8843603 WITH SCORE 8856599.519
AT ITER 6494 NEW BEST:: SOT 51229391 SOS 12990492 HAS SOPS 12990492 HAS SOUS 8843603 HAS SOUPS 8843603 WITH SCORE 8856593.492
AT ITER 6495 NEW BEST:: SOT 51227565 SOS 12987753 HAS SOPS 12987753 HAS SOUS 8843603 HAS SOUPS 8843603 WITH SCORE 8856590.753
AT ITER 6543 NEW BEST:: SOT 51224549 SOS 12983229 HAS SOPS 12983229 HAS SOUS 8843603 HAS SOUPS 8843603 WITH SCORE 8856586.229
AT ITER 6549 NEW BEST:: SOT 51223455 SOS 12981588 HAS SOPS 12981588 HAS SOUS 8843603 HAS SOUPS 8843603 WITH SCORE 8856584.588
AT ITER 6561 NEW BEST:: SOT 51220555 SOS 12977238 HAS SOPS 12977238 HAS SOUS 8843603 HAS SOUPS 8843603 WITH SCORE 8856580.238
AT ITER 6563 NEW BEST:: SOT 51220022 SOS 12976172 HAS SOPS 12976172 HAS SOUS 8843336 HAS SOUPS 8843336 WITH SCORE 8856312.172
AT ITER 6575 NEW BEST:: SOT 51218998 SOS 12974627 HAS SOPS 12974627 HAS SOUS 8843309 HAS SOUPS 8843309 WITH SCORE 8856283.627
AT ITER 6584 NEW BEST:: SOT 51215688 SOS 12969880 HAS SOPS 12969880 HAS SOUS 8843180 HAS SOUPS 8843180 WITH SCORE 8856149.88
AT ITER 6615 NEW BEST:: SOT 51215108 SOS 12969222 HAS SOPS 12969222 HAS SOUS 8843102 HAS SOUPS 8843102 WITH SCORE 8856071.222
AT ITER 6629 NEW BEST:: SOT 51214666 SOS 12968557 HAS SOPS 12968557 HAS SOUS 8843096 HAS SOUPS 8843096 WITH SCORE 8856064.557
AT ITER 6642 NEW BEST:: SOT 51213738 SOS 12967165 HAS SOPS 12967165 HAS SOUS 8843096 HAS SOUPS 8843096 WITH SCORE 8856063.165
AT ITER 6660 NEW BEST:: SOT 51210296 SOS 12962002 HAS SOPS 12962002 HAS SOUS 8843096 HAS SOUPS 8843096 WITH SCORE 8856058.002
AT ITER 6661 NEW BEST:: SOT 51209466 SOS 12960342 HAS SOPS 12960342 HAS SOUS 8841851 HAS SOUPS 8841851 WITH SCORE 8854811.342
AT ITER 6676 NEW BEST:: SOT 51206665 SOS 12957321 HAS SOPS 12957321 HAS SOUS 8841628 HAS SOUPS 8841628 WITH SCORE 8854585.321
AT ITER 6686 NEW BEST:: SOT 51203259 SOS 12952203 HAS SOPS 12952203 HAS SOUS 8841601 HAS SOUPS 8841601 WITH SCORE 8854553.203
AT ITER 6700 NEW BEST:: SOT 51199247 SOS 12946185 HAS SOPS 12946185 HAS SOUS 8841601 HAS SOUPS 8841601 WITH SCORE 8854547.185
AT ITER 6715 NEW BEST:: SOT 51195733 SOS 12940038 HAS SOPS 12940038 HAS SOUS 8838405 HAS SOUPS 8838405 WITH SCORE 8851345.038
AT ITER 6729 NEW BEST:: SOT 51193064 SOS 12935854 HAS SOPS 12935854 HAS SOUS 8837324 HAS SOUPS 8837324 WITH SCORE 8850259.854
AT ITER 6733 NEW BEST:: SOT 51190546 SOS 12932077 HAS SOPS 12932077 HAS SOUS 8837324 HAS SOUPS 8837324 WITH SCORE 8850256.077
AT ITER 6738 NEW BEST:: SOT 51187558 SOS 12928091 HAS SOPS 12928091 HAS SOUS 8836322 HAS SOUPS 8836322 WITH SCORE 8849250.091
AT ITER 6749 NEW BEST:: SOT 51184430 SOS 12923399 HAS SOPS 12923399 HAS SOUS 8836322 HAS SOUPS 8836322 WITH SCORE 8849245.399
AT ITER 6751 NEW BEST:: SOT 51184430 SOS 12923022 HAS SOPS 12923022 HAS SOUS 8835191 HAS SOUPS 8835191 WITH SCORE 8848114.022
AT ITER 6758 NEW BEST:: SOT 51181052 SOS 12916990 HAS SOPS 12916990 HAS SOUS 8831579 HAS SOUPS 8831579 WITH SCORE 8844495.99
AT ITER 6789 NEW BEST:: SOT 51177222 SOS 12911243 HAS SOPS 12911243 HAS SOUS 8831573 HAS SOUPS 8831573 WITH SCORE 8844484.243
AT ITER 6790 NEW BEST:: SOT 51173422 SOS 12904634 HAS SOPS 12904634 HAS SOUS 8828549 HAS SOUPS 8828549 WITH SCORE 8841453.634
AT ITER 6796 NEW BEST:: SOT 51170384 SOS 12900075 HAS SOPS 12900075 HAS SOUS 8828543 HAS SOUPS 8828543 WITH SCORE 8841443.075
AT ITER 6831 NEW BEST:: SOT 51169236 SOS 12898352 HAS SOPS 12898352 HAS SOUS 8828540 HAS SOUPS 8828540 WITH SCORE 8841438.352
AT ITER 6853 NEW BEST:: SOT 51167910 SOS 12897018 HAS SOPS 12897018 HAS SOUS 8828516 HAS SOUPS 8828516 WITH SCORE 8841413.018
AT ITER 6877 NEW BEST:: SOT 51165509 SOS 12894509 HAS SOPS 12894509 HAS SOUS 8828408 HAS SOUPS 8828408 WITH SCORE 8841302.509
AT ITER 6895 NEW BEST:: SOT 51164866 SOS 12893223 HAS SOPS 12893223 HAS SOUS 8827444 HAS SOUPS 8827444 WITH SCORE 8840337.223
AT ITER 6908 NEW BEST:: SOT 51164866 SOS 12893222 HAS SOPS 12893222 HAS SOUS 8827441 HAS SOUPS 8827441 WITH SCORE 8840334.222
AT ITER 6913 NEW BEST:: SOT 51164866 SOS 12893221 HAS SOPS 12893221 HAS SOUS 8827438 HAS SOUPS 8827438 WITH SCORE 8840331.221
AT ITER 6937 NEW BEST:: SOT 51161626 SOS 12886982 HAS SOPS 12886982 HAS SOUS 8822682 HAS SOUPS 8822682 WITH SCORE 8835568.982
AT ITER 6967 NEW BEST:: SOT 51158400 SOS 12882143 HAS SOPS 12882143 HAS SOUS 8822682 HAS SOUPS 8822682 WITH SCORE 8835564.143
AT ITER 6975 NEW BEST:: SOT 51156632 SOS 12879491 HAS SOPS 12879491 HAS SOUS 8822682 HAS SOUPS 8822682 WITH SCORE 8835561.491
AT ITER 6985 NEW BEST:: SOT 51155543 SOS 12877791 HAS SOPS 12877791 HAS SOUS 8821575 HAS SOUPS 8821575 WITH SCORE 8834452.791
AT ITER 7009 NEW BEST:: SOT 51155523 SOS 12877751 HAS SOPS 12877751 HAS SOUS 8821555 HAS SOUPS 8821555 WITH SCORE 8834432.751
AT ITER 7014 NEW BEST:: SOT 51154124 SOS 12875697 HAS SOPS 12875697 HAS SOUS 8819828 HAS SOUPS 8819828 WITH SCORE 8832703.697
AT ITER 7018 NEW BEST:: SOT 51153101 SOS 12874332 HAS SOPS 12874332 HAS SOUS 8819484 HAS SOUPS 8819484 WITH SCORE 8832358.332
AT ITER 7024 NEW BEST:: SOT 51153851 SOS 12875418 HAS SOPS 12875418 HAS SOUS 8819444 HAS SOUPS 8819444 WITH SCORE 8832319.418
AT ITER 7030 NEW BEST:: SOT 51150785 SOS 12873361 HAS SOPS 12873361 HAS SOUS 8819435 HAS SOUPS 8819435 WITH SCORE 8832308.361
AT ITER 7039 NEW BEST:: SOT 51148181 SOS 12869454 HAS SOPS 12869454 HAS SOUS 8819432 HAS SOUPS 8819432 WITH SCORE 8832301.454
AT ITER 7044 NEW BEST:: SOT 51148081 SOS 12869304 HAS SOPS 12869304 HAS SOUS 8819432 HAS SOUPS 8819432 WITH SCORE 8832301.304
AT ITER 7054 NEW BEST:: SOT 51147589 SOS 12868566 HAS SOPS 12868566 HAS SOUS 8819432 HAS SOUPS 8819432 WITH SCORE 8832300.566
AT ITER 7065 NEW BEST:: SOT 51145007 SOS 12864639 HAS SOPS 12864639 HAS SOUS 8819270 HAS SOUPS 8819270 WITH SCORE 8832134.639
AT ITER 7069 NEW BEST:: SOT 51144319 SOS 12863263 HAS SOPS 12863263 HAS SOUS 8818238 HAS SOUPS 8818238 WITH SCORE 8831101.263
AT ITER 7117 NEW BEST:: SOT 51142518 SOS 12861399 HAS SOPS 12861399 HAS SOUS 8818156 HAS SOUPS 8818156 WITH SCORE 8831017.399
AT ITER 7130 NEW BEST:: SOT 51141945 SOS 12860635 HAS SOPS 12860635 HAS SOUS 8817965 HAS SOUPS 8817965 WITH SCORE 8830825.635
AT ITER 7136 NEW BEST:: SOT 51141837 SOS 12860472 HAS SOPS 12860472 HAS SOUS 8817962 HAS SOUPS 8817962 WITH SCORE 8830822.472
AT ITER 7149 NEW BEST:: SOT 51140781 SOS 12859432 HAS SOPS 12859432 HAS SOUS 8817753 HAS SOUPS 8817753 WITH SCORE 8830612.432
AT ITER 7156 NEW BEST:: SOT 51141147 SOS 12859798 HAS SOPS 12859798 HAS SOUS 8817752 HAS SOUPS 8817752 WITH SCORE 8830611.798
AT ITER 7157 NEW BEST:: SOT 51140068 SOS 12857640 HAS SOPS 12857640 HAS SOUS 8816673 HAS SOUPS 8816673 WITH SCORE 8829530.64
AT ITER 7166 NEW BEST:: SOT 51140068 SOS 12857639 HAS SOPS 12857639 HAS SOUS 8816670 HAS SOUPS 8816670 WITH SCORE 8829527.639
AT ITER 7183 NEW BEST:: SOT 51136120 SOS 12851717 HAS SOPS 12851717 HAS SOUS 8816670 HAS SOUPS 8816670 WITH SCORE 8829521.717
AT ITER 7195 NEW BEST:: SOT 51133154 SOS 12848021 HAS SOPS 12848021 HAS SOUS 8815746 HAS SOUPS 8815746 WITH SCORE 8828594.021
AT ITER 7222 NEW BEST:: SOT 51132446 SOS 12846958 HAS SOPS 12846958 HAS SOUS 8815743 HAS SOUPS 8815743 WITH SCORE 8828589.958
AT ITER 7224 NEW BEST:: SOT 51131899 SOS 12846292 HAS SOPS 12846292 HAS SOUS 8815624 HAS SOUPS 8815624 WITH SCORE 8828470.292
AT ITER 7261 NEW BEST:: SOT 51128287 SOS 12840873 HAS SOPS 12840873 HAS SOUS 8815621 HAS SOUPS 8815621 WITH SCORE 8828461.873
AT ITER 7262 NEW BEST:: SOT 51125758 SOS 12837501 HAS SOPS 12837501 HAS SOUS 8814778 HAS SOUPS 8814778 WITH SCORE 8827615.501
AT ITER 7282 NEW BEST:: SOT 51124000 SOS 12835156 HAS SOPS 12835156 HAS SOUS 8814189 HAS SOUPS 8814189 WITH SCORE 8827024.156
AT ITER 7293 NEW BEST:: SOT 51120042 SOS 12829219 HAS SOPS 12829219 HAS SOUS 8814189 HAS SOUPS 8814189 WITH SCORE 8827018.219
AT ITER 7294 NEW BEST:: SOT 51117538 SOS 12825463 HAS SOPS 12825463 HAS SOUS 8814189 HAS SOUPS 8814189 WITH SCORE 8827014.463
AT ITER 7307 NEW BEST:: SOT 51116759 SOS 12824335 HAS SOPS 12824335 HAS SOUS 8813632 HAS SOUPS 8813632 WITH SCORE 8826456.335
AT ITER 7315 NEW BEST:: SOT 51116125 SOS 12823384 HAS SOPS 12823384 HAS SOUS 8813632 HAS SOUPS 8813632 WITH SCORE 8826455.384
AT ITER 7329 NEW BEST:: SOT 51113631 SOS 12819643 HAS SOPS 12819643 HAS SOUS 8813632 HAS SOUPS 8813632 WITH SCORE 8826451.643
AT ITER 7336 NEW BEST:: SOT 51111871 SOS 12817003 HAS SOPS 12817003 HAS SOUS 8813632 HAS SOUPS 8813632 WITH SCORE 8826449.003
AT ITER 7363 NEW BEST:: SOT 51108377 SOS 12811760 HAS SOPS 12811760 HAS SOUS 8813626 HAS SOUPS 8813626 WITH SCORE 8826437.76
AT ITER 7380 NEW BEST:: SOT 51105724 SOS 12808649 HAS SOPS 12808649 HAS SOUS 8813095 HAS SOUPS 8813095 WITH SCORE 8825903.649
AT ITER 7386 NEW BEST:: SOT 51104018 SOS 12806943 HAS SOPS 12806943 HAS SOUS 8813095 HAS SOUPS 8813095 WITH SCORE 8825901.943
AT ITER 7388 NEW BEST:: SOT 51101153 SOS 12803150 HAS SOPS 12803150 HAS SOUS 8811159 HAS SOUPS 8811159 WITH SCORE 8823962.15
AT ITER 7392 NEW BEST:: SOT 51098373 SOS 12797590 HAS SOPS 12797590 HAS SOUS 8806989 HAS SOUPS 8806989 WITH SCORE 8819786.59
AT ITER 7404 NEW BEST:: SOT 51094859 SOS 12792319 HAS SOPS 12792319 HAS SOUS 8806989 HAS SOUPS 8806989 WITH SCORE 8819781.319
AT ITER 7417 NEW BEST:: SOT 51090921 SOS 12785807 HAS SOPS 12785807 HAS SOUS 8805021 HAS SOUPS 8805021 WITH SCORE 8817806.807
AT ITER 7444 NEW BEST:: SOT 51089875 SOS 12784237 HAS SOPS 12784237 HAS SOUS 8805018 HAS SOUPS 8805018 WITH SCORE 8817802.237
AT ITER 7462 NEW BEST:: SOT 51089875 SOS 12784232 HAS SOPS 12784232 HAS SOUS 8805003 HAS SOUPS 8805003 WITH SCORE 8817787.232
AT ITER 7467 NEW BEST:: SOT 51089207 SOS 12783564 HAS SOPS 12783564 HAS SOUS 8805003 HAS SOUPS 8805003 WITH SCORE 8817786.564
AT ITER 7475 NEW BEST:: SOT 51085253 SOS 12777609 HAS SOPS 12777609 HAS SOUS 8804880 HAS SOUPS 8804880 WITH SCORE 8817657.609
AT ITER 7490 NEW BEST:: SOT 51081579 SOS 12772097 HAS SOPS 12772097 HAS SOUS 8804877 HAS SOUPS 8804877 WITH SCORE 8817649.097
AT ITER 7546 NEW BEST:: SOT 51080304 SOS 12770395 HAS SOPS 12770395 HAS SOUS 8804446 HAS SOUPS 8804446 WITH SCORE 8817216.395
AT ITER 7554 NEW BEST:: SOT 51077786 SOS 12766618 HAS SOPS 12766618 HAS SOUS 8804446 HAS SOUPS 8804446 WITH SCORE 8817212.618
AT ITER 7561 NEW BEST:: SOT 51074524 SOS 12760521 HAS SOPS 12760521 HAS SOUS 8800003 HAS SOUPS 8800003 WITH SCORE 8812763.521
AT ITER 7574 NEW BEST:: SOT 51072822 SOS 12757962 HAS SOPS 12757962 HAS SOUS 8799985 HAS SOUPS 8799985 WITH SCORE 8812742.962
AT ITER 7580 NEW BEST:: SOT 51072362 SOS 12757272 HAS SOPS 12757272 HAS SOUS 8799985 HAS SOUPS 8799985 WITH SCORE 8812742.272
AT ITER 7585 NEW BEST:: SOT 51071292 SOS 12755886 HAS SOPS 12755886 HAS SOUS 8799353 HAS SOUPS 8799353 WITH SCORE 8812108.886
AT ITER 7596 NEW BEST:: SOT 51071207 SOS 12755753 HAS SOPS 12755753 HAS SOUS 8799341 HAS SOUPS 8799341 WITH SCORE 8812096.753
AT ITER 7597 NEW BEST:: SOT 51067483 SOS 12750165 HAS SOPS 12750165 HAS SOUS 8799335 HAS SOUPS 8799335 WITH SCORE 8812085.165
AT ITER 7602 NEW BEST:: SOT 51067239 SOS 12749676 HAS SOPS 12749676 HAS SOUS 8799088 HAS SOUPS 8799088 WITH SCORE 8811837.676
AT ITER 7605 NEW BEST:: SOT 51067239 SOS 12749675 HAS SOPS 12749675 HAS SOUS 8799085 HAS SOUPS 8799085 WITH SCORE 8811834.675
AT ITER 7614 NEW BEST:: SOT 51063521 SOS 12744098 HAS SOPS 12744098 HAS SOUS 8799085 HAS SOUPS 8799085 WITH SCORE 8811829.098
AT ITER 7652 NEW BEST:: SOT 51061569 SOS 12741169 HAS SOPS 12741169 HAS SOUS 8799082 HAS SOUPS 8799082 WITH SCORE 8811823.169
AT ITER 7668 NEW BEST:: SOT 51060780 SOS 12739591 HAS SOPS 12739591 HAS SOUS 8797899 HAS SOUPS 8797899 WITH SCORE 8810638.591
AT ITER 7669 NEW BEST:: SOT 51059276 SOS 12736774 HAS SOPS 12736774 HAS SOUS 8795892 HAS SOUPS 8795892 WITH SCORE 8808628.774
AT ITER 7670 NEW BEST:: SOT 51059147 SOS 12736516 HAS SOPS 12736516 HAS SOUS 8795891 HAS SOUPS 8795891 WITH SCORE 8808627.516
AT ITER 7671 NEW BEST:: SOT 51056101 SOS 12731946 HAS SOPS 12731946 HAS SOUS 8795888 HAS SOUPS 8795888 WITH SCORE 8808619.946
AT ITER 7677 NEW BEST:: SOT 51056965 SOS 12732890 HAS SOPS 12732890 HAS SOUS 8795184 HAS SOUPS 8795184 WITH SCORE 8807916.89
AT ITER 7680 NEW BEST:: SOT 51053644 SOS 12726777 HAS SOPS 12726777 HAS SOUS 8791742 HAS SOUPS 8791742 WITH SCORE 8804468.777
AT ITER 7720 NEW BEST:: SOT 51053579 SOS 12726647 HAS SOPS 12726647 HAS SOUS 8791741 HAS SOUPS 8791741 WITH SCORE 8804467.647
AT ITER 7721 NEW BEST:: SOT 51053187 SOS 12725862 HAS SOPS 12725862 HAS SOUS 8790955 HAS SOUPS 8790955 WITH SCORE 8803680.862
AT ITER 7733 NEW BEST:: SOT 51052812 SOS 12725361 HAS SOPS 12725361 HAS SOUS 8790827 HAS SOUPS 8790827 WITH SCORE 8803552.361
AT ITER 7753 NEW BEST:: SOT 51052464 SOS 12724665 HAS SOPS 12724665 HAS SOUS 8790305 HAS SOUPS 8790305 WITH SCORE 8803029.665
AT ITER 7778 NEW BEST:: SOT 51051096 SOS 12723296 HAS SOPS 12723296 HAS SOUS 8790301 HAS SOUPS 8790301 WITH SCORE 8803024.296
AT ITER 7783 NEW BEST:: SOT 51051096 SOS 12722852 HAS SOPS 12722852 HAS SOUS 8789857 HAS SOUPS 8789857 WITH SCORE 8802579.852
AT ITER 7787 NEW BEST:: SOT 51050550 SOS 12722124 HAS SOPS 12722124 HAS SOUS 8789675 HAS SOUPS 8789675 WITH SCORE 8802397.124
AT ITER 7805 NEW BEST:: SOT 51050238 SOS 12720582 HAS SOPS 12720582 HAS SOUS 8786837 HAS SOUPS 8786837 WITH SCORE 8799557.582
AT ITER 7838 NEW BEST:: SOT 51046496 SOS 12714968 HAS SOPS 12714968 HAS SOUS 8786834 HAS SOUPS 8786834 WITH SCORE 8799548.968
AT ITER 7842 NEW BEST:: SOT 51046308 SOS 12714603 HAS SOPS 12714603 HAS SOUS 8786585 HAS SOUPS 8786585 WITH SCORE 8799299.603
AT ITER 7849 NEW BEST:: SOT 51043568 SOS 12710492 HAS SOPS 12710492 HAS SOUS 8786582 HAS SOUPS 8786582 WITH SCORE 8799292.492
AT ITER 7855 NEW BEST:: SOT 51040226 SOS 12705479 HAS SOPS 12705479 HAS SOUS 8786582 HAS SOUPS 8786582 WITH SCORE 8799287.479
AT ITER 7868 NEW BEST:: SOT 51036572 SOS 12699997 HAS SOPS 12699997 HAS SOUS 8786579 HAS SOUPS 8786579 WITH SCORE 8799278.997
AT ITER 7908 NEW BEST:: SOT 51036354 SOS 12699670 HAS SOPS 12699670 HAS SOUS 8786579 HAS SOUPS 8786579 WITH SCORE 8799278.67
AT ITER 7937 NEW BEST:: SOT 51032404 SOS 12693745 HAS SOPS 12693745 HAS SOUS 8786579 HAS SOUPS 8786579 WITH SCORE 8799272.745
AT ITER 7973 NEW BEST:: SOT 51032244 SOS 12693504 HAS SOPS 12693504 HAS SOUS 8786576 HAS SOUPS 8786576 WITH SCORE 8799269.504
AT ITER 7976 NEW BEST:: SOT 51030595 SOS 12691032 HAS SOPS 12691032 HAS SOUS 8786578 HAS SOUPS 8786578 WITH SCORE 8799269.032
AT ITER 7997 NEW BEST:: SOT 51030027 SOS 12689912 HAS SOPS 12689912 HAS SOUS 8785774 HAS SOUPS 8785774 WITH SCORE 8798463.912
AT ITER 8008 NEW BEST:: SOT 51025961 SOS 12683821 HAS SOPS 12683821 HAS SOUS 8785772 HAS SOUPS 8785772 WITH SCORE 8798455.821
AT ITER 8018 NEW BEST:: SOT 51025012 SOS 12681923 HAS SOPS 12681923 HAS SOUS 8784233 HAS SOUPS 8784233 WITH SCORE 8796914.923
AT ITER 8025 NEW BEST:: SOT 51021814 SOS 12677126 HAS SOPS 12677126 HAS SOUS 8784233 HAS SOUPS 8784233 WITH SCORE 8796910.126
AT ITER 8046 NEW BEST:: SOT 51018256 SOS 12671789 HAS SOPS 12671789 HAS SOUS 8784233 HAS SOUPS 8784233 WITH SCORE 8796904.789
AT ITER 8119 NEW BEST:: SOT 51017545 SOS 12670822 HAS SOPS 12670822 HAS SOUS 8783939 HAS SOUPS 8783939 WITH SCORE 8796609.822
AT ITER 8123 NEW BEST:: SOT 51014799 SOS 12666703 HAS SOPS 12666703 HAS SOUS 8783939 HAS SOUPS 8783939 WITH SCORE 8796605.703
AT ITER 8125 NEW BEST:: SOT 51013949 SOS 12665427 HAS SOPS 12665427 HAS SOUS 8783936 HAS SOUPS 8783936 WITH SCORE 8796601.427
AT ITER 8152 NEW BEST:: SOT 51013424 SOS 12664727 HAS SOPS 12664727 HAS SOUS 8783761 HAS SOUPS 8783761 WITH SCORE 8796425.727
AT ITER 8157 NEW BEST:: SOT 51010406 SOS 12660200 HAS SOPS 12660200 HAS SOUS 8783761 HAS SOUPS 8783761 WITH SCORE 8796421.2
AT ITER 8160 NEW BEST:: SOT 51010781 SOS 12660575 HAS SOPS 12660575 HAS SOUS 8783386 HAS SOUPS 8783386 WITH SCORE 8796046.575
AT ITER 8169 NEW BEST:: SOT 51010335 SOS 12659682 HAS SOPS 12659682 HAS SOUS 8783035 HAS SOUPS 8783035 WITH SCORE 8795694.682
AT ITER 8175 NEW BEST:: SOT 51009987 SOS 12658985 HAS SOPS 12658985 HAS SOUS 8782858 HAS SOUPS 8782858 WITH SCORE 8795516.985
AT ITER 8184 NEW BEST:: SOT 51007365 SOS 12655489 HAS SOPS 12655489 HAS SOUS 8781984 HAS SOUPS 8781984 WITH SCORE 8794639.489
AT ITER 8189 NEW BEST:: SOT 51005002 SOS 12652277 HAS SOPS 12652277 HAS SOUS 8780383 HAS SOUPS 8780383 WITH SCORE 8793035.277
AT ITER 8206 NEW BEST:: SOT 51005002 SOS 12652276 HAS SOPS 12652276 HAS SOUS 8780380 HAS SOUPS 8780380 WITH SCORE 8793032.276
AT ITER 8225 NEW BEST:: SOT 51001498 SOS 12647020 HAS SOPS 12647020 HAS SOUS 8780380 HAS SOUPS 8780380 WITH SCORE 8793027.02
AT ITER 8229 NEW BEST:: SOT 51000431 SOS 12644886 HAS SOPS 12644886 HAS SOUS 8778779 HAS SOUPS 8778779 WITH SCORE 8791423.886
AT ITER 8232 NEW BEST:: SOT 50998103 SOS 12641782 HAS SOPS 12641782 HAS SOUS 8778003 HAS SOUPS 8778003 WITH SCORE 8790644.782
AT ITER 8234 NEW BEST:: SOT 50997505 SOS 12640586 HAS SOPS 12640586 HAS SOUS 8777106 HAS SOUPS 8777106 WITH SCORE 8789746.586
AT ITER 8238 NEW BEST:: SOT 50995635 SOS 12637721 HAS SOPS 12637721 HAS SOUS 8774977 HAS SOUPS 8774977 WITH SCORE 8787614.721
AT ITER 8247 NEW BEST:: SOT 50992395 SOS 12632861 HAS SOPS 12632861 HAS SOUS 8774977 HAS SOUPS 8774977 WITH SCORE 8787609.861
AT ITER 8254 NEW BEST:: SOT 50991734 SOS 12632453 HAS SOPS 12632453 HAS SOUS 8774977 HAS SOUPS 8774977 WITH SCORE 8787609.453
AT ITER 8281 NEW BEST:: SOT 50989392 SOS 12628859 HAS SOPS 12628859 HAS SOUS 8774734 HAS SOUPS 8774734 WITH SCORE 8787362.859
AT ITER 8294 NEW BEST:: SOT 50986972 SOS 12627009 HAS SOPS 12627009 HAS SOUS 8774695 HAS SOUPS 8774695 WITH SCORE 8787322.009
AT ITER 8308 NEW BEST:: SOT 50986860 SOS 12626785 HAS SOPS 12626785 HAS SOUS 8774471 HAS SOUPS 8774471 WITH SCORE 8787097.785
AT ITER 8318 NEW BEST:: SOT 50983897 SOS 12620859 HAS SOPS 12620859 HAS SOUS 8770027 HAS SOUPS 8770027 WITH SCORE 8782647.859
AT ITER 8343 NEW BEST:: SOT 50980457 SOS 12614797 HAS SOPS 12614797 HAS SOUS 8767321 HAS SOUPS 8767321 WITH SCORE 8779935.797
AT ITER 8388 NEW BEST:: SOT 50980457 SOS 12614796 HAS SOPS 12614796 HAS SOUS 8767318 HAS SOUPS 8767318 WITH SCORE 8779932.796
AT ITER 8400 NEW BEST:: SOT 50977145 SOS 12608172 HAS SOPS 12608172 HAS SOUS 8762350 HAS SOUPS 8762350 WITH SCORE 8774958.172
AT ITER 8418 NEW BEST:: SOT 50975431 SOS 12604744 HAS SOPS 12604744 HAS SOUS 8759051 HAS SOUPS 8759051 WITH SCORE 8771655.744
AT ITER 8428 NEW BEST:: SOT 50975431 SOS 12604741 HAS SOPS 12604741 HAS SOUS 8759042 HAS SOUPS 8759042 WITH SCORE 8771646.741
AT ITER 8443 NEW BEST:: SOT 50972991 SOS 12600761 HAS SOPS 12600761 HAS SOUS 8757412 HAS SOUPS 8757412 WITH SCORE 8770012.761
AT ITER 8444 NEW BEST:: SOT 50971785 SOS 12599150 HAS SOPS 12599150 HAS SOUS 8757001 HAS SOUPS 8757001 WITH SCORE 8769600.15
AT ITER 8450 NEW BEST:: SOT 50968865 SOS 12594769 HAS SOPS 12594769 HAS SOUS 8756998 HAS SOUPS 8756998 WITH SCORE 8769592.769
AT ITER 8454 NEW BEST:: SOT 50968147 SOS 12593692 HAS SOPS 12593692 HAS SOUS 8756998 HAS SOUPS 8756998 WITH SCORE 8769591.692
AT ITER 8469 NEW BEST:: SOT 50966237 SOS 12589884 HAS SOPS 12589884 HAS SOUS 8754169 HAS SOUPS 8754169 WITH SCORE 8766758.884
AT ITER 8476 NEW BEST:: SOT 50965738 SOS 12588886 HAS SOPS 12588886 HAS SOUS 8754169 HAS SOUPS 8754169 WITH SCORE 8766757.886
AT ITER 8484 NEW BEST:: SOT 50963527 SOS 12585938 HAS SOPS 12585938 HAS SOUS 8753432 HAS SOUPS 8753432 WITH SCORE 8766017.938
AT ITER 8527 NEW BEST:: SOT 50963077 SOS 12585338 HAS SOPS 12585338 HAS SOUS 8753282 HAS SOUPS 8753282 WITH SCORE 8765867.338
AT ITER 8545 NEW BEST:: SOT 50962507 SOS 12584576 HAS SOPS 12584576 HAS SOUS 8753086 HAS SOUPS 8753086 WITH SCORE 8765670.576
AT ITER 8546 NEW BEST:: SOT 50959919 SOS 12580693 HAS SOPS 12580693 HAS SOUS 8753083 HAS SOUPS 8753083 WITH SCORE 8765663.693
AT ITER 8553 NEW BEST:: SOT 50959556 SOS 12580255 HAS SOPS 12580255 HAS SOUS 8753007 HAS SOUPS 8753007 WITH SCORE 8765587.255
AT ITER 8556 NEW BEST:: SOT 50959542 SOS 12580234 HAS SOPS 12580234 HAS SOUS 8753007 HAS SOUPS 8753007 WITH SCORE 8765587.234
AT ITER 8582 NEW BEST:: SOT 50959444 SOS 12580087 HAS SOPS 12580087 HAS SOUS 8753007 HAS SOUPS 8753007 WITH SCORE 8765587.087
AT ITER 8616 NEW BEST:: SOT 50958663 SOS 12578850 HAS SOPS 12578850 HAS SOUS 8752602 HAS SOUPS 8752602 WITH SCORE 8765180.85
AT ITER 8618 NEW BEST:: SOT 50956543 SOS 12574610 HAS SOPS 12574610 HAS SOUS 8749422 HAS SOUPS 8749422 WITH SCORE 8761996.61
AT ITER 8641 NEW BEST:: SOT 50953872 SOS 12571722 HAS SOPS 12571722 HAS SOUS 8749201 HAS SOUPS 8749201 WITH SCORE 8761772.722
AT ITER 8648 NEW BEST:: SOT 50950845 SOS 12567673 HAS SOPS 12567673 HAS SOUS 8748153 HAS SOUPS 8748153 WITH SCORE 8760720.673
AT ITER 8649 NEW BEST:: SOT 50950845 SOS 12567672 HAS SOPS 12567672 HAS SOUS 8748150 HAS SOUPS 8748150 WITH SCORE 8760717.672
AT ITER 8662 NEW BEST:: SOT 50948923 SOS 12564789 HAS SOPS 12564789 HAS SOUS 8748150 HAS SOUPS 8748150 WITH SCORE 8760714.789
AT ITER 8663 NEW BEST:: SOT 50947912 SOS 12563440 HAS SOPS 12563440 HAS SOUS 8747810 HAS SOUPS 8747810 WITH SCORE 8760373.44
AT ITER 8666 NEW BEST:: SOT 50947088 SOS 12562204 HAS SOPS 12562204 HAS SOUS 8747810 HAS SOUPS 8747810 WITH SCORE 8760372.204
AT ITER 8667 NEW BEST:: SOT 50945984 SOS 12560159 HAS SOPS 12560159 HAS SOUS 8747032 HAS SOUPS 8747032 WITH SCORE 8759592.159
AT ITER 8701 NEW BEST:: SOT 50943371 SOS 12558515 HAS SOPS 12558515 HAS SOUS 8746895 HAS SOUPS 8746895 WITH SCORE 8759453.515
AT ITER 8704 NEW BEST:: SOT 50940692 SOS 12554596 HAS SOPS 12554596 HAS SOUS 8746833 HAS SOUPS 8746833 WITH SCORE 8759387.596
AT ITER 8705 NEW BEST:: SOT 50938684 SOS 12552084 HAS SOPS 12552084 HAS SOUS 8746329 HAS SOUPS 8746329 WITH SCORE 8758881.084
AT ITER 8727 NEW BEST:: SOT 50936572 SOS 12548743 HAS SOPS 12548743 HAS SOUS 8744050 HAS SOUPS 8744050 WITH SCORE 8756598.743
AT ITER 8750 NEW BEST:: SOT 50934788 SOS 12546067 HAS SOPS 12546067 HAS SOUS 8744050 HAS SOUPS 8744050 WITH SCORE 8756596.067
AT ITER 8756 NEW BEST:: SOT 50933599 SOS 12544647 HAS SOPS 12544647 HAS SOUS 8743819 HAS SOUPS 8743819 WITH SCORE 8756363.647
AT ITER 8770 NEW BEST:: SOT 50932090 SOS 12542635 HAS SOPS 12542635 HAS SOUS 8743316 HAS SOUPS 8743316 WITH SCORE 8755858.635
AT ITER 8788 NEW BEST:: SOT 50930566 SOS 12541110 HAS SOPS 12541110 HAS SOUS 8743312 HAS SOUPS 8743312 WITH SCORE 8755853.11
AT ITER 8790 NEW BEST:: SOT 50930530 SOS 12540298 HAS SOPS 12540298 HAS SOUS 8742888 HAS SOUPS 8742888 WITH SCORE 8755428.298
AT ITER 8798 NEW BEST:: SOT 50927052 SOS 12535080 HAS SOPS 12535080 HAS SOUS 8742885 HAS SOUPS 8742885 WITH SCORE 8755420.08
AT ITER 8828 NEW BEST:: SOT 50927052 SOS 12535079 HAS SOPS 12535079 HAS SOUS 8742882 HAS SOUPS 8742882 WITH SCORE 8755417.079
AT ITER 8842 NEW BEST:: SOT 50926058 SOS 12533091 HAS SOPS 12533091 HAS SOUS 8742119 HAS SOUPS 8742119 WITH SCORE 8754652.091
AT ITER 8845 NEW BEST:: SOT 50923742 SOS 12530002 HAS SOPS 12530002 HAS SOUS 8741344 HAS SOUPS 8741344 WITH SCORE 8753874.002
AT ITER 8858 NEW BEST:: SOT 50922800 SOS 12528746 HAS SOPS 12528746 HAS SOUS 8741030 HAS SOUPS 8741030 WITH SCORE 8753558.746
AT ITER 8866 NEW BEST:: SOT 50921003 SOS 12526350 HAS SOPS 12526350 HAS SOUS 8740431 HAS SOUPS 8740431 WITH SCORE 8752957.35
AT ITER 8870 NEW BEST:: SOT 50917813 SOS 12519970 HAS SOPS 12519970 HAS SOUS 8735646 HAS SOUPS 8735646 WITH SCORE 8748165.97
AT ITER 8871 NEW BEST:: SOT 50917531 SOS 12519594 HAS SOPS 12519594 HAS SOUS 8735552 HAS SOUPS 8735552 WITH SCORE 8748071.594
AT ITER 8882 NEW BEST:: SOT 50917531 SOS 12519369 HAS SOPS 12519369 HAS SOUS 8734877 HAS SOUPS 8734877 WITH SCORE 8747396.369
AT ITER 8885 NEW BEST:: SOT 50915041 SOS 12515985 HAS SOPS 12515985 HAS SOUS 8734323 HAS SOUPS 8734323 WITH SCORE 8746838.985
AT ITER 8920 NEW BEST:: SOT 50913163 SOS 12512855 HAS SOPS 12512855 HAS SOUS 8731819 HAS SOUPS 8731819 WITH SCORE 8744331.855
AT ITER 8923 NEW BEST:: SOT 50912771 SOS 12512267 HAS SOPS 12512267 HAS SOUS 8731819 HAS SOUPS 8731819 WITH SCORE 8744331.267
AT ITER 8933 NEW BEST:: SOT 50910190 SOS 12509160 HAS SOPS 12509160 HAS SOUS 8731286 HAS SOUPS 8731286 WITH SCORE 8743795.16
AT ITER 8939 NEW BEST:: SOT 50910063 SOS 12509272 HAS SOPS 12509272 HAS SOUS 8731223 HAS SOUPS 8731223 WITH SCORE 8743732.272
AT ITER 8941 NEW BEST:: SOT 50909965 SOS 12509076 HAS SOPS 12509076 HAS SOUS 8731076 HAS SOUPS 8731076 WITH SCORE 8743585.076
AT ITER 8945 NEW BEST:: SOT 50907647 SOS 12505598 HAS SOPS 12505598 HAS SOUS 8731073 HAS SOUPS 8731073 WITH SCORE 8743578.598
AT ITER 8967 NEW BEST:: SOT 50904736 SOS 12502127 HAS SOPS 12502127 HAS SOUS 8730510 HAS SOUPS 8730510 WITH SCORE 8743012.127
AT ITER 8976 NEW BEST:: SOT 50901464 SOS 12495583 HAS SOPS 12495583 HAS SOUS 8725602 HAS SOUPS 8725602 WITH SCORE 8738097.583
AT ITER 8984 NEW BEST:: SOT 50901372 SOS 12495491 HAS SOPS 12495491 HAS SOUS 8725602 HAS SOUPS 8725602 WITH SCORE 8738097.491
AT ITER 8988 NEW BEST:: SOT 50899288 SOS 12492062 HAS SOPS 12492062 HAS SOUS 8723177 HAS SOUPS 8723177 WITH SCORE 8735669.062
AT ITER 8997 NEW BEST:: SOT 50899028 SOS 12491802 HAS SOPS 12491802 HAS SOUS 8723176 HAS SOUPS 8723176 WITH SCORE 8735667.802
AT ITER 9011 NEW BEST:: SOT 50896612 SOS 12486970 HAS SOPS 12486970 HAS SOUS 8719552 HAS SOUPS 8719552 WITH SCORE 8732038.97
AT ITER 9032 NEW BEST:: SOT 50896520 SOS 12486832 HAS SOPS 12486832 HAS SOUS 8719552 HAS SOUPS 8719552 WITH SCORE 8732038.832
AT ITER 9049 NEW BEST:: SOT 50897251 SOS 12487914 HAS SOPS 12487914 HAS SOUS 8718778 HAS SOUPS 8718778 WITH SCORE 8731265.914
AT ITER 9067 NEW BEST:: SOT 50895823 SOS 12486010 HAS SOPS 12486010 HAS SOUS 8718302 HAS SOUPS 8718302 WITH SCORE 8730788.01
AT ITER 9075 NEW BEST:: SOT 50893927 SOS 12482850 HAS SOPS 12482850 HAS SOUS 8715774 HAS SOUPS 8715774 WITH SCORE 8728256.85
AT ITER 9084 NEW BEST:: SOT 50890255 SOS 12476624 HAS SOPS 12476624 HAS SOUS 8713197 HAS SOUPS 8713197 WITH SCORE 8725673.624
AT ITER 9085 NEW BEST:: SOT 50889207 SOS 12475486 HAS SOPS 12475486 HAS SOUS 8713107 HAS SOUPS 8713107 WITH SCORE 8725582.486
AT ITER 9111 NEW BEST:: SOT 50890206 SOS 12476916 HAS SOPS 12476916 HAS SOUS 8713038 HAS SOUPS 8713038 WITH SCORE 8725514.916
AT ITER 9116 NEW BEST:: SOT 50888700 SOS 12474657 HAS SOPS 12474657 HAS SOUS 8713038 HAS SOUPS 8713038 WITH SCORE 8725512.657
AT ITER 9124 NEW BEST:: SOT 50887312 SOS 12473155 HAS SOPS 12473155 HAS SOUS 8712924 HAS SOUPS 8712924 WITH SCORE 8725397.155
AT ITER 9157 NEW BEST:: SOT 50887312 SOS 12473153 HAS SOPS 12473153 HAS SOUS 8712918 HAS SOUPS 8712918 WITH SCORE 8725391.153
AT ITER 9190 NEW BEST:: SOT 50887064 SOS 12472656 HAS SOPS 12472656 HAS SOUS 8712667 HAS SOUPS 8712667 WITH SCORE 8725139.656
AT ITER 9191 NEW BEST:: SOT 50886980 SOS 12472488 HAS SOPS 12472488 HAS SOUS 8712499 HAS SOUPS 8712499 WITH SCORE 8724971.488
AT ITER 9193 NEW BEST:: SOT 50887999 SOS 12474274 HAS SOPS 12474274 HAS SOUS 8712253 HAS SOUPS 8712253 WITH SCORE 8724727.274
AT ITER 9196 NEW BEST:: SOT 50887675 SOS 12473842 HAS SOPS 12473842 HAS SOUS 8712145 HAS SOUPS 8712145 WITH SCORE 8724618.842
AT ITER 9210 NEW BEST:: SOT 50885452 SOS 12470878 HAS SOPS 12470878 HAS SOUS 8711404 HAS SOUPS 8711404 WITH SCORE 8723874.878
AT ITER 9215 NEW BEST:: SOT 50885425 SOS 12470824 HAS SOPS 12470824 HAS SOUS 8711403 HAS SOUPS 8711403 WITH SCORE 8723873.824
AT ITER 9230 NEW BEST:: SOT 50881787 SOS 12465365 HAS SOPS 12465365 HAS SOUS 8711397 HAS SOUPS 8711397 WITH SCORE 8723862.365
AT ITER 9234 NEW BEST:: SOT 50881749 SOS 12465308 HAS SOPS 12465308 HAS SOUS 8711397 HAS SOUPS 8711397 WITH SCORE 8723862.308
AT ITER 9268 NEW BEST:: SOT 50877783 SOS 12459359 HAS SOPS 12459359 HAS SOUS 8711397 HAS SOUPS 8711397 WITH SCORE 8723856.359
AT ITER 9310 NEW BEST:: SOT 50873763 SOS 12453328 HAS SOPS 12453328 HAS SOUS 8711394 HAS SOUPS 8711394 WITH SCORE 8723847.328
AT ITER 9347 NEW BEST:: SOT 50873344 SOS 12452490 HAS SOPS 12452490 HAS SOUS 8710766 HAS SOUPS 8710766 WITH SCORE 8723218.49
AT ITER 9355 NEW BEST:: SOT 50872446 SOS 12451592 HAS SOPS 12451592 HAS SOUS 8710766 HAS SOUPS 8710766 WITH SCORE 8723217.592
AT ITER 9386 NEW BEST:: SOT 50872054 SOS 12451004 HAS SOPS 12451004 HAS SOUS 8710766 HAS SOUPS 8710766 WITH SCORE 8723217.004
AT ITER 9409 NEW BEST:: SOT 50871092 SOS 12450039 HAS SOPS 12450039 HAS SOUS 8710760 HAS SOUPS 8710760 WITH SCORE 8723210.039
AT ITER 9410 NEW BEST:: SOT 50871092 SOS 12450038 HAS SOPS 12450038 HAS SOUS 8710757 HAS SOUPS 8710757 WITH SCORE 8723207.038
AT ITER 9412 NEW BEST:: SOT 50869507 SOS 12447213 HAS SOPS 12447213 HAS SOUS 8708725 HAS SOUPS 8708725 WITH SCORE 8721172.213
AT ITER 9438 NEW BEST:: SOT 50866301 SOS 12442403 HAS SOPS 12442403 HAS SOUS 8708722 HAS SOUPS 8708722 WITH SCORE 8721164.403
AT ITER 9446 NEW BEST:: SOT 50863635 SOS 12438692 HAS SOPS 12438692 HAS SOUS 8705634 HAS SOUPS 8705634 WITH SCORE 8718072.692
AT ITER 9464 NEW BEST:: SOT 50860703 SOS 12434294 HAS SOPS 12434294 HAS SOUS 8705634 HAS SOUPS 8705634 WITH SCORE 8718068.294
AT ITER 9507 NEW BEST:: SOT 50859145 SOS 12431957 HAS SOPS 12431957 HAS SOUS 8705634 HAS SOUPS 8705634 WITH SCORE 8718065.957
AT ITER 9526 NEW BEST:: SOT 50855385 SOS 12426317 HAS SOPS 12426317 HAS SOUS 8705634 HAS SOUPS 8705634 WITH SCORE 8718060.317
AT ITER 9530 NEW BEST:: SOT 50854967 SOS 12425481 HAS SOPS 12425481 HAS SOUS 8705007 HAS SOUPS 8705007 WITH SCORE 8717432.481
AT ITER 9536 NEW BEST:: SOT 50853454 SOS 12423512 HAS SOPS 12423512 HAS SOUS 8704551 HAS SOUPS 8704551 WITH SCORE 8716974.512
AT ITER 9550 NEW BEST:: SOT 50852731 SOS 12422390 HAS SOPS 12422390 HAS SOUS 8703836 HAS SOUPS 8703836 WITH SCORE 8716258.39
AT ITER 9554 NEW BEST:: SOT 50851841 SOS 12421044 HAS SOPS 12421044 HAS SOUS 8703803 HAS SOUPS 8703803 WITH SCORE 8716224.044
AT ITER 9562 NEW BEST:: SOT 50848425 SOS 12415915 HAS SOPS 12415915 HAS SOUS 8703788 HAS SOUPS 8703788 WITH SCORE 8716203.915
AT ITER 9578 NEW BEST:: SOT 50846736 SOS 12414145 HAS SOPS 12414145 HAS SOUS 8703703 HAS SOUPS 8703703 WITH SCORE 8716117.145
AT ITER 9587 NEW BEST:: SOT 50846339 SOS 12413351 HAS SOPS 12413351 HAS SOUS 8703306 HAS SOUPS 8703306 WITH SCORE 8715719.351
AT ITER 9595 NEW BEST:: SOT 50842899 SOS 12408191 HAS SOPS 12408191 HAS SOUS 8703306 HAS SOUPS 8703306 WITH SCORE 8715714.191
AT ITER 9606 NEW BEST:: SOT 50842899 SOS 12408190 HAS SOPS 12408190 HAS SOUS 8703303 HAS SOUPS 8703303 WITH SCORE 8715711.19
AT ITER 9610 NEW BEST:: SOT 50842883 SOS 12408165 HAS SOPS 12408165 HAS SOUS 8703300 HAS SOUPS 8703300 WITH SCORE 8715708.165
AT ITER 9613 NEW BEST:: SOT 50842883 SOS 12407582 HAS SOPS 12407582 HAS SOUS 8701551 HAS SOUPS 8701551 WITH SCORE 8713958.582
AT ITER 9620 NEW BEST:: SOT 50842033 SOS 12406700 HAS SOPS 12406700 HAS SOUS 8701519 HAS SOUPS 8701519 WITH SCORE 8713925.7
AT ITER 9637 NEW BEST:: SOT 50841298 SOS 12405720 HAS SOPS 12405720 HAS SOUS 8701274 HAS SOUPS 8701274 WITH SCORE 8713679.72
AT ITER 9672 NEW BEST:: SOT 50839088 SOS 12402405 HAS SOPS 12402405 HAS SOUS 8701274 HAS SOUPS 8701274 WITH SCORE 8713676.405
AT ITER 9673 NEW BEST:: SOT 50840023 SOS 12403521 HAS SOPS 12403521 HAS SOUS 8700415 HAS SOUPS 8700415 WITH SCORE 8712818.521
AT ITER 9686 NEW BEST:: SOT 50837901 SOS 12399914 HAS SOPS 12399914 HAS SOUS 8699143 HAS SOUPS 8699143 WITH SCORE 8711542.914
AT ITER 9712 NEW BEST:: SOT 50835311 SOS 12394794 HAS SOPS 12394794 HAS SOUS 8695438 HAS SOUPS 8695438 WITH SCORE 8707832.794
AT ITER 9739 NEW BEST:: SOT 50833963 SOS 12392771 HAS SOPS 12392771 HAS SOUS 8695435 HAS SOUPS 8695435 WITH SCORE 8707827.771
AT ITER 9775 NEW BEST:: SOT 50833420 SOS 12391685 HAS SOPS 12391685 HAS SOUS 8695432 HAS SOUPS 8695432 WITH SCORE 8707823.685
AT ITER 9800 NEW BEST:: SOT 50832499 SOS 12390772 HAS SOPS 12390772 HAS SOUS 8694835 HAS SOUPS 8694835 WITH SCORE 8707225.772
AT ITER 9809 NEW BEST:: SOT 50830504 SOS 12387982 HAS SOPS 12387982 HAS SOUS 8693363 HAS SOUPS 8693363 WITH SCORE 8705750.982
AT ITER 9821 NEW BEST:: SOT 50831438 SOS 12388916 HAS SOPS 12388916 HAS SOUS 8692429 HAS SOUPS 8692429 WITH SCORE 8704817.916
AT ITER 9830 NEW BEST:: SOT 50831086 SOS 12388212 HAS SOPS 12388212 HAS SOUS 8691901 HAS SOUPS 8691901 WITH SCORE 8704289.212
AT ITER 9836 NEW BEST:: SOT 50827336 SOS 12382585 HAS SOPS 12382585 HAS SOUS 8691895 HAS SOUPS 8691895 WITH SCORE 8704277.585
AT ITER 9872 NEW BEST:: SOT 50824671 SOS 12379322 HAS SOPS 12379322 HAS SOUS 8689754 HAS SOUPS 8689754 WITH SCORE 8702133.322
AT ITER 9874 NEW BEST:: SOT 50824671 SOS 12379321 HAS SOPS 12379321 HAS SOUS 8689751 HAS SOUPS 8689751 WITH SCORE 8702130.321
AT ITER 9902 NEW BEST:: SOT 50822025 SOS 12375351 HAS SOPS 12375351 HAS SOUS 8689748 HAS SOUPS 8689748 WITH SCORE 8702123.351
AT ITER 9907 NEW BEST:: SOT 50819699 SOS 12371870 HAS SOPS 12371870 HAS SOUS 8688811 HAS SOUPS 8688811 WITH SCORE 8701182.87
AT ITER 9921 NEW BEST:: SOT 50818092 SOS 12369304 HAS SOPS 12369304 HAS SOUS 8688068 HAS SOUPS 8688068 WITH SCORE 8700437.304
AT ITER 9923 NEW BEST:: SOT 50818084 SOS 12369292 HAS SOPS 12369292 HAS SOUS 8688068 HAS SOUPS 8688068 WITH SCORE 8700437.292
AT ITER 9926 NEW BEST:: SOT 50816608 SOS 12367078 HAS SOPS 12367078 HAS SOUS 8688068 HAS SOUPS 8688068 WITH SCORE 8700435.078
AT ITER 9927 NEW BEST:: SOT 50816502 SOS 12366866 HAS SOPS 12366866 HAS SOUS 8687909 HAS SOUPS 8687909 WITH SCORE 8700275.866
AT ITER 9987 NEW BEST:: SOT 50812708 SOS 12361175 HAS SOPS 12361175 HAS SOUS 8687909 HAS SOUPS 8687909 WITH SCORE 8700270.175

BK_STOP 1679325781504

--------------------
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
/home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//smart.sh: line 116: 484 Killed ${SMART}/smart ${INPUT_SM}

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="ViralEpidemic-PT-S02D1C1A10"
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 ViralEpidemic-PT-S02D1C1A10, 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 r491-tall-167912711601248"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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