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.r331-tall-167889204000048.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 RERS17pb113-PT-6, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r331-tall-167889204000048
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 15M
-rw-r--r-- 1 mcc users 7.0K Feb 26 18:20 CTLCardinality.txt
-rw-r--r-- 1 mcc users 76K Feb 26 18:20 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.2K Feb 26 18:17 CTLFireability.txt
-rw-r--r-- 1 mcc users 44K Feb 26 18:17 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:37 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:37 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Feb 25 16:38 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:38 LTLFireability.xml
-rw-r--r-- 1 mcc users 6.8K Feb 26 18:25 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 63K Feb 26 18:25 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 26 18:23 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 65K Feb 26 18:23 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:38 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:38 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 2 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 15M 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 1679047894395

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=RERS17pb113-PT-6
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-17 10:11:36] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-17 10:11:36] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-17 10:11:37] [INFO ] Load time of PNML (sax parser for PT used): 593 ms
[2023-03-17 10:11:37] [INFO ] Transformed 639 places.
[2023-03-17 10:11:37] [INFO ] Transformed 31353 transitions.
[2023-03-17 10:11:37] [INFO ] Parsed PT model containing 639 places and 31353 transitions and 125418 arcs in 789 ms.
[2023-03-17 10:11:37] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 639 places, 31353 transitions and 125418 arcs took 141 ms.
Total runtime 971 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb113 (PT), instance 6
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: 639 places, 31353 transitions, 125418 arcs.
AT ITER 0 NEW BEST:: SOT 12195877 SOS 7742246 HAS SOPS 6414665 HAS SOUS 3046246 HAS SOUPS 2945965 WITH SCORE 2953707.246
AT ITER 3 NEW BEST:: SOT 12199040 SOS 7745526 HAS SOPS 6418845 HAS SOUS 3044454 HAS SOUPS 2944188 WITH SCORE 2951933.526
AT ITER 9 NEW BEST:: SOT 12198295 SOS 7744576 HAS SOPS 6417960 HAS SOUS 3040603 HAS SOUPS 2940526 WITH SCORE 2948270.576
AT ITER 16 NEW BEST:: SOT 12200350 SOS 7753895 HAS SOPS 6424837 HAS SOUS 3040529 HAS SOUPS 2940452 WITH SCORE 2948205.895
AT ITER 18 NEW BEST:: SOT 12200638 SOS 7754164 HAS SOPS 6424821 HAS SOUS 3040042 HAS SOUPS 2939740 WITH SCORE 2947494.164
AT ITER 19 NEW BEST:: SOT 12199860 SOS 7755275 HAS SOPS 6423792 HAS SOUS 3038756 HAS SOUPS 2938378 WITH SCORE 2946133.275
AT ITER 36 NEW BEST:: SOT 12198780 SOS 7753531 HAS SOPS 6423698 HAS SOUS 3037774 HAS SOUPS 2937396 WITH SCORE 2945149.531
AT ITER 37 NEW BEST:: SOT 12200674 SOS 7764330 HAS SOPS 6431086 HAS SOUS 3034316 HAS SOUPS 2933938 WITH SCORE 2941702.33
AT ITER 40 NEW BEST:: SOT 12196138 SOS 7759794 HAS SOPS 6426006 HAS SOUS 3027056 HAS SOUPS 2926678 WITH SCORE 2934437.794
AT ITER 41 NEW BEST:: SOT 12195955 SOS 7759611 HAS SOPS 6425487 HAS SOUS 3025245 HAS SOUPS 2924867 WITH SCORE 2932626.611
AT ITER 54 NEW BEST:: SOT 12196015 SOS 7761748 HAS SOPS 6428245 HAS SOUS 3024979 HAS SOUPS 2924601 WITH SCORE 2932362.748
AT ITER 60 NEW BEST:: SOT 12196235 SOS 7762843 HAS SOPS 6429271 HAS SOUS 3024971 HAS SOUPS 2924593 WITH SCORE 2932355.843
AT ITER 63 NEW BEST:: SOT 12196157 SOS 7762755 HAS SOPS 6429099 HAS SOUS 3024813 HAS SOUPS 2924433 WITH SCORE 2932195.755
AT ITER 70 NEW BEST:: SOT 12194676 SOS 7756241 HAS SOPS 6427648 HAS SOUS 3024642 HAS SOUPS 2924321 WITH SCORE 2932077.241
AT ITER 83 NEW BEST:: SOT 12195069 SOS 7757075 HAS SOPS 6430047 HAS SOUS 3024640 HAS SOUPS 2924319 WITH SCORE 2932076.075
AT ITER 91 NEW BEST:: SOT 12195104 SOS 7757651 HAS SOPS 6430379 HAS SOUS 3024393 HAS SOUPS 2924072 WITH SCORE 2931829.651
AT ITER 94 NEW BEST:: SOT 12194089 SOS 7756369 HAS SOPS 6429023 HAS SOUS 3022333 HAS SOUPS 2922040 WITH SCORE 2929796.369
AT ITER 99 NEW BEST:: SOT 12194963 SOS 7760472 HAS SOPS 6432563 HAS SOUS 3021771 HAS SOUPS 2921478 WITH SCORE 2929238.472
AT ITER 102 NEW BEST:: SOT 12194630 SOS 7759438 HAS SOPS 6431391 HAS SOUS 3019212 HAS SOUPS 2918919 WITH SCORE 2926678.438
AT ITER 132 NEW BEST:: SOT 12195806 SOS 7765250 HAS SOPS 6434170 HAS SOUS 3016397 HAS SOUPS 2916104 WITH SCORE 2923869.25
AT ITER 149 NEW BEST:: SOT 12204331 SOS 7787998 HAS SOPS 6457991 HAS SOUS 3010831 HAS SOUPS 2910538 WITH SCORE 2918325.998
AT ITER 177 NEW BEST:: SOT 12205934 SOS 7788613 HAS SOPS 6469094 HAS SOUS 3010118 HAS SOUPS 2910269 WITH SCORE 2918057.613
AT ITER 179 NEW BEST:: SOT 12205946 SOS 7788771 HAS SOPS 6469180 HAS SOUS 3009944 HAS SOUPS 2910095 WITH SCORE 2917883.771
AT ITER 188 NEW BEST:: SOT 12205606 SOS 7786984 HAS SOPS 6468898 HAS SOUS 3009614 HAS SOUPS 2909765 WITH SCORE 2917551.984
AT ITER 191 NEW BEST:: SOT 12203876 SOS 7784736 HAS SOPS 6466384 HAS SOUS 3006080 HAS SOUPS 2906231 WITH SCORE 2914015.736
AT ITER 202 NEW BEST:: SOT 12204728 SOS 7787284 HAS SOPS 6469463 HAS SOUS 3005134 HAS SOUPS 2905285 WITH SCORE 2913072.284
AT ITER 204 NEW BEST:: SOT 12204672 SOS 7788549 HAS SOPS 6470854 HAS SOUS 3004575 HAS SOUPS 2904726 WITH SCORE 2912514.549
AT ITER 205 NEW BEST:: SOT 12204174 SOS 7788051 HAS SOPS 6469956 HAS SOUS 3002817 HAS SOUPS 2902856 WITH SCORE 2910644.051
AT ITER 212 NEW BEST:: SOT 12193486 SOS 7777085 HAS SOPS 6456858 HAS SOUS 2986834 HAS SOUPS 2886886 WITH SCORE 2894663.085
AT ITER 213 NEW BEST:: SOT 12188495 SOS 7772019 HAS SOPS 6451777 HAS SOUS 2981210 HAS SOUPS 2881274 WITH SCORE 2889046.019
AT ITER 219 NEW BEST:: SOT 12191511 SOS 7781221 HAS SOPS 6460171 HAS SOUS 2980786 HAS SOUPS 2880837 WITH SCORE 2888618.221
AT ITER 221 NEW BEST:: SOT 12188051 SOS 7775784 HAS SOPS 6455506 HAS SOUS 2971789 HAS SOUPS 2871942 WITH SCORE 2879717.784
AT ITER 228 NEW BEST:: SOT 12192896 SOS 7788636 HAS SOPS 6469987 HAS SOUS 2969844 HAS SOUPS 2870267 WITH SCORE 2878055.636
AT ITER 238 NEW BEST:: SOT 12198076 SOS 7794137 HAS SOPS 6483762 HAS SOUS 2969338 HAS SOUPS 2869761 WITH SCORE 2877555.137
AT ITER 246 NEW BEST:: SOT 12199470 SOS 7798059 HAS SOPS 6487526 HAS SOUS 2967631 HAS SOUPS 2868054 WITH SCORE 2875852.059
AT ITER 250 NEW BEST:: SOT 12199272 SOS 7798099 HAS SOPS 6487335 HAS SOUS 2967452 HAS SOUPS 2867798 WITH SCORE 2875596.099
AT ITER 256 NEW BEST:: SOT 12198739 SOS 7796568 HAS SOPS 6486587 HAS SOUS 2966893 HAS SOUPS 2867239 WITH SCORE 2875035.568
AT ITER 258 NEW BEST:: SOT 12200560 SOS 7802192 HAS SOPS 6494277 HAS SOUS 2960640 HAS SOUPS 2860986 WITH SCORE 2868788.192
AT ITER 269 NEW BEST:: SOT 12200041 SOS 7800385 HAS SOPS 6492104 HAS SOUS 2958246 HAS SOUPS 2858592 WITH SCORE 2866392.385
AT ITER 271 NEW BEST:: SOT 12193733 SOS 7797960 HAS SOPS 6489201 HAS SOUS 2949656 HAS SOUPS 2849796 WITH SCORE 2857593.96
AT ITER 272 NEW BEST:: SOT 12190387 SOS 7794628 HAS SOPS 6485855 HAS SOUS 2942719 HAS SOUPS 2842843 WITH SCORE 2850637.628
AT ITER 274 NEW BEST:: SOT 12190183 SOS 7793939 HAS SOPS 6485231 HAS SOUS 2942454 HAS SOUPS 2842578 WITH SCORE 2850371.939
AT ITER 275 NEW BEST:: SOT 12188237 SOS 7781352 HAS SOPS 6475620 HAS SOUS 2940421 HAS SOUPS 2840672 WITH SCORE 2848453.352
AT ITER 286 NEW BEST:: SOT 12188237 SOS 7781352 HAS SOPS 6475620 HAS SOUS 2940277 HAS SOUPS 2840528 WITH SCORE 2848309.352
AT ITER 291 NEW BEST:: SOT 12184853 SOS 7776910 HAS SOPS 6473122 HAS SOUS 2936621 HAS SOUPS 2836872 WITH SCORE 2844648.91
AT ITER 299 NEW BEST:: SOT 12184838 SOS 7777959 HAS SOPS 6473867 HAS SOUS 2936029 HAS SOUPS 2836280 WITH SCORE 2844057.959
AT ITER 303 NEW BEST:: SOT 12187529 SOS 7787023 HAS SOPS 6480856 HAS SOUS 2934219 HAS SOUPS 2834470 WITH SCORE 2842257.023
AT ITER 308 NEW BEST:: SOT 12181107 SOS 7780289 HAS SOPS 6475193 HAS SOUS 2917288 HAS SOUPS 2817815 WITH SCORE 2825595.289
AT ITER 314 NEW BEST:: SOT 12180891 SOS 7780594 HAS SOPS 6477188 HAS SOUS 2915415 HAS SOUPS 2815942 WITH SCORE 2823722.594
AT ITER 316 NEW BEST:: SOT 12179205 SOS 7777069 HAS SOPS 6474778 HAS SOUS 2910225 HAS SOUPS 2810961 WITH SCORE 2818738.069
AT ITER 318 NEW BEST:: SOT 12179260 SOS 7777411 HAS SOPS 6475646 HAS SOUS 2910166 HAS SOUPS 2810902 WITH SCORE 2818679.411
AT ITER 320 NEW BEST:: SOT 12177955 SOS 7773965 HAS SOPS 6471707 HAS SOUS 2908750 HAS SOUPS 2809486 WITH SCORE 2817259.965
AT ITER 328 NEW BEST:: SOT 12179144 SOS 7777836 HAS SOPS 6476274 HAS SOUS 2908549 HAS SOUPS 2809285 WITH SCORE 2817062.836
AT ITER 332 NEW BEST:: SOT 12186186 SOS 7808625 HAS SOPS 6507176 HAS SOUS 2899712 HAS SOUPS 2800611 WITH SCORE 2808419.625
AT ITER 333 NEW BEST:: SOT 12190654 SOS 7821814 HAS SOPS 6516006 HAS SOUS 2897294 HAS SOUPS 2798193 WITH SCORE 2806014.814
AT ITER 334 NEW BEST:: SOT 12189829 SOS 7820969 HAS SOPS 6515133 HAS SOUS 2896293 HAS SOUPS 2797192 WITH SCORE 2805012.969
AT ITER 336 NEW BEST:: SOT 12183461 SOS 7811717 HAS SOPS 6505954 HAS SOUS 2884655 HAS SOUPS 2785631 WITH SCORE 2793442.717
AT ITER 347 NEW BEST:: SOT 12156674 SOS 7783205 HAS SOPS 6477926 HAS SOUS 2842807 HAS SOUPS 2743992 WITH SCORE 2751775.205
AT ITER 358 NEW BEST:: SOT 12158816 SOS 7789184 HAS SOPS 6486591 HAS SOUS 2841437 HAS SOUPS 2742622 WITH SCORE 2750411.184
AT ITER 366 NEW BEST:: SOT 12159343 SOS 7789638 HAS SOPS 6487111 HAS SOUS 2836929 HAS SOUPS 2738154 WITH SCORE 2745943.638
AT ITER 372 NEW BEST:: SOT 12158669 SOS 7791358 HAS SOPS 6488790 HAS SOUS 2831832 HAS SOUPS 2733057 WITH SCORE 2740848.358
AT ITER 374 NEW BEST:: SOT 12158029 SOS 7790899 HAS SOPS 6485889 HAS SOUS 2821085 HAS SOUPS 2722113 WITH SCORE 2729903.899
AT ITER 407 NEW BEST:: SOT 12157076 SOS 7789756 HAS SOPS 6482298 HAS SOUS 2816505 HAS SOUPS 2717534 WITH SCORE 2725323.756
AT ITER 415 NEW BEST:: SOT 12157606 SOS 7789927 HAS SOPS 6484124 HAS SOUS 2813547 HAS SOUPS 2714975 WITH SCORE 2722764.927
AT ITER 422 NEW BEST:: SOT 12157499 SOS 7789040 HAS SOPS 6483765 HAS SOUS 2812955 HAS SOUPS 2714510 WITH SCORE 2722299.04
AT ITER 431 NEW BEST:: SOT 12157330 SOS 7788847 HAS SOPS 6483536 HAS SOUS 2812600 HAS SOUPS 2714158 WITH SCORE 2721946.847
AT ITER 456 NEW BEST:: SOT 12148963 SOS 7775943 HAS SOPS 6469951 HAS SOUS 2796031 HAS SOUPS 2697589 WITH SCORE 2705364.943
AT ITER 477 NEW BEST:: SOT 12148903 SOS 7776292 HAS SOPS 6469645 HAS SOUS 2794668 HAS SOUPS 2696226 WITH SCORE 2704002.292
AT ITER 478 NEW BEST:: SOT 12148888 SOS 7776284 HAS SOPS 6469614 HAS SOUS 2794624 HAS SOUPS 2696181 WITH SCORE 2703957.284
AT ITER 487 NEW BEST:: SOT 12148861 SOS 7776185 HAS SOPS 6469490 HAS SOUS 2794582 HAS SOUPS 2696139 WITH SCORE 2703915.185
AT ITER 506 NEW BEST:: SOT 12152259 SOS 7788866 HAS SOPS 6480787 HAS SOUS 2792782 HAS SOUPS 2694339 WITH SCORE 2702127.866
AT ITER 519 NEW BEST:: SOT 12150768 SOS 7787333 HAS SOPS 6480269 HAS SOUS 2791020 HAS SOUPS 2692611 WITH SCORE 2700398.333
AT ITER 528 NEW BEST:: SOT 12150456 SOS 7787097 HAS SOPS 6479753 HAS SOUS 2790354 HAS SOUPS 2691945 WITH SCORE 2699732.097
AT ITER 539 NEW BEST:: SOT 12152222 SOS 7790656 HAS SOPS 6483701 HAS SOUS 2788744 HAS SOUPS 2690387 WITH SCORE 2698177.656
AT ITER 544 NEW BEST:: SOT 12153375 SOS 7796342 HAS SOPS 6489874 HAS SOUS 2787216 HAS SOUPS 2688759 WITH SCORE 2696555.342
AT ITER 567 NEW BEST:: SOT 12154726 SOS 7799588 HAS SOPS 6491921 HAS SOUS 2785313 HAS SOUPS 2686777 WITH SCORE 2694576.588
AT ITER 568 NEW BEST:: SOT 12158583 SOS 7810702 HAS SOPS 6509994 HAS SOUS 2782456 HAS SOUPS 2683920 WITH SCORE 2691730.702
AT ITER 582 NEW BEST:: SOT 12160157 SOS 7817215 HAS SOPS 6516371 HAS SOUS 2779481 HAS SOUPS 2681065 WITH SCORE 2688882.215
AT ITER 586 NEW BEST:: SOT 12149909 SOS 7806210 HAS SOPS 6502194 HAS SOUS 2759003 HAS SOUPS 2660587 WITH SCORE 2668393.21
AT ITER 590 NEW BEST:: SOT 12148587 SOS 7803768 HAS SOPS 6501718 HAS SOUS 2749975 HAS SOUPS 2652376 WITH SCORE 2660179.768
AT ITER 610 NEW BEST:: SOT 12150199 SOS 7807578 HAS SOPS 6507027 HAS SOUS 2748809 HAS SOUPS 2651205 WITH SCORE 2659012.578
AT ITER 614 NEW BEST:: SOT 12153619 SOS 7810998 HAS SOPS 6509791 HAS SOUS 2748521 HAS SOUPS 2650917 WITH SCORE 2658727.998
AT ITER 618 NEW BEST:: SOT 12154156 SOS 7811625 HAS SOPS 6510260 HAS SOUS 2742183 HAS SOUPS 2644681 WITH SCORE 2652492.625
AT ITER 623 NEW BEST:: SOT 12154012 SOS 7811481 HAS SOPS 6510068 HAS SOUS 2741895 HAS SOUPS 2644393 WITH SCORE 2652204.481
AT ITER 624 NEW BEST:: SOT 12153981 SOS 7811867 HAS SOPS 6511110 HAS SOUS 2739705 HAS SOUPS 2642203 WITH SCORE 2650014.867
AT ITER 626 NEW BEST:: SOT 12153215 SOS 7812555 HAS SOPS 6510260 HAS SOUS 2738847 HAS SOUPS 2641311 WITH SCORE 2649123.555
AT ITER 633 NEW BEST:: SOT 12152393 SOS 7807285 HAS SOPS 6507038 HAS SOUS 2736064 HAS SOUPS 2638528 WITH SCORE 2646335.285
AT ITER 648 NEW BEST:: SOT 12151062 SOS 7803347 HAS SOPS 6505111 HAS SOUS 2735490 HAS SOUPS 2637954 WITH SCORE 2645757.347
AT ITER 656 NEW BEST:: SOT 12143599 SOS 7800286 HAS SOPS 6504339 HAS SOUS 2718704 HAS SOUPS 2620975 WITH SCORE 2628775.286
AT ITER 661 NEW BEST:: SOT 12143617 SOS 7800157 HAS SOPS 6504330 HAS SOUS 2717690 HAS SOUPS 2619992 WITH SCORE 2627792.157
AT ITER 666 NEW BEST:: SOT 12143233 SOS 7799538 HAS SOPS 6503982 HAS SOUS 2715513 HAS SOUPS 2617845 WITH SCORE 2625644.538
AT ITER 673 NEW BEST:: SOT 12140697 SOS 7797002 HAS SOPS 6501318 HAS SOUS 2712433 HAS SOUPS 2614749 WITH SCORE 2622546.002
AT ITER 674 NEW BEST:: SOT 12140529 SOS 7796579 HAS SOPS 6500910 HAS SOUS 2712310 HAS SOUPS 2614626 WITH SCORE 2622422.579
AT ITER 679 NEW BEST:: SOT 12140315 SOS 7796111 HAS SOPS 6500213 HAS SOUS 2711614 HAS SOUPS 2613930 WITH SCORE 2621726.111
AT ITER 683 NEW BEST:: SOT 12140187 SOS 7795781 HAS SOPS 6500172 HAS SOUS 2711504 HAS SOUPS 2613828 WITH SCORE 2621623.781
AT ITER 710 NEW BEST:: SOT 12139951 SOS 7795475 HAS SOPS 6499789 HAS SOUS 2711141 HAS SOUPS 2613465 WITH SCORE 2621260.475
AT ITER 711 NEW BEST:: SOT 12142856 SOS 7801553 HAS SOPS 6515625 HAS SOUS 2709498 HAS SOUPS 2612093 WITH SCORE 2619894.553
AT ITER 716 NEW BEST:: SOT 12143323 SOS 7807288 HAS SOPS 6519776 HAS SOUS 2707152 HAS SOUPS 2609747 WITH SCORE 2617554.288
AT ITER 717 NEW BEST:: SOT 12143299 SOS 7807288 HAS SOPS 6519644 HAS SOUS 2707029 HAS SOUPS 2609624 WITH SCORE 2617431.288
AT ITER 721 NEW BEST:: SOT 12144605 SOS 7814009 HAS SOPS 6535002 HAS SOUS 2702824 HAS SOUPS 2605633 WITH SCORE 2613447.009
AT ITER 737 NEW BEST:: SOT 12145646 SOS 7820937 HAS SOPS 6539077 HAS SOUS 2694141 HAS SOUPS 2596950 WITH SCORE 2604770.937
AT ITER 742 NEW BEST:: SOT 12144541 SOS 7816535 HAS SOPS 6533410 HAS SOUS 2693472 HAS SOUPS 2596281 WITH SCORE 2604097.535
AT ITER 753 NEW BEST:: SOT 12149081 SOS 7831476 HAS SOPS 6553503 HAS SOUS 2690474 HAS SOUPS 2593460 WITH SCORE 2601291.476
AT ITER 754 NEW BEST:: SOT 12149538 SOS 7835225 HAS SOPS 6556657 HAS SOUS 2690101 HAS SOUPS 2593087 WITH SCORE 2600922.225
AT ITER 773 NEW BEST:: SOT 12153495 SOS 7839933 HAS SOPS 6560736 HAS SOUS 2683497 HAS SOUPS 2586507 WITH SCORE 2594346.933
AT ITER 791 NEW BEST:: SOT 12153384 SOS 7839820 HAS SOPS 6560542 HAS SOUS 2683228 HAS SOUPS 2586234 WITH SCORE 2594073.82
AT ITER 792 NEW BEST:: SOT 12155185 SOS 7839939 HAS SOPS 6561576 HAS SOUS 2681889 HAS SOUPS 2585469 WITH SCORE 2593308.939
AT ITER 793 NEW BEST:: SOT 12156482 SOS 7847956 HAS SOPS 6565217 HAS SOUS 2671242 HAS SOUPS 2574822 WITH SCORE 2582669.956
AT ITER 796 NEW BEST:: SOT 12156346 SOS 7848656 HAS SOPS 6565937 HAS SOUS 2670429 HAS SOUPS 2574009 WITH SCORE 2581857.656
AT ITER 804 NEW BEST:: SOT 12158354 SOS 7857188 HAS SOPS 6574859 HAS SOUS 2666350 HAS SOUPS 2569930 WITH SCORE 2577787.188
AT ITER 824 NEW BEST:: SOT 12158960 SOS 7857998 HAS SOPS 6575675 HAS SOUS 2663720 HAS SOUPS 2567300 WITH SCORE 2575157.998
AT ITER 831 NEW BEST:: SOT 12176961 SOS 7893508 HAS SOPS 6627408 HAS SOUS 2658038 HAS SOUPS 2562020 WITH SCORE 2569913.508
AT ITER 841 NEW BEST:: SOT 12176449 SOS 7893140 HAS SOPS 6627268 HAS SOUS 2655997 HAS SOUPS 2559979 WITH SCORE 2567872.14
AT ITER 855 NEW BEST:: SOT 12176668 SOS 7894113 HAS SOPS 6627862 HAS SOUS 2652655 HAS SOUPS 2556637 WITH SCORE 2564531.113
AT ITER 863 NEW BEST:: SOT 12177142 SOS 7894274 HAS SOPS 6626684 HAS SOUS 2651689 HAS SOUPS 2555605 WITH SCORE 2563499.274
AT ITER 865 NEW BEST:: SOT 12168978 SOS 7885378 HAS SOPS 6618340 HAS SOUS 2643206 HAS SOUPS 2547213 WITH SCORE 2555098.378
AT ITER 868 NEW BEST:: SOT 12168658 SOS 7886026 HAS SOPS 6618908 HAS SOUS 2641094 HAS SOUPS 2545101 WITH SCORE 2552987.026
AT ITER 884 NEW BEST:: SOT 12168486 SOS 7885796 HAS SOPS 6618842 HAS SOUS 2641012 HAS SOUPS 2545019 WITH SCORE 2552904.796
AT ITER 887 NEW BEST:: SOT 12167605 SOS 7884966 HAS SOPS 6618302 HAS SOUS 2633260 HAS SOUPS 2537374 WITH SCORE 2545258.966
AT ITER 894 NEW BEST:: SOT 12166890 SOS 7884026 HAS SOPS 6617326 HAS SOUS 2631962 HAS SOUPS 2536084 WITH SCORE 2543968.026
AT ITER 900 NEW BEST:: SOT 12166923 SOS 7883999 HAS SOPS 6617195 HAS SOUS 2630766 HAS SOUPS 2534873 WITH SCORE 2542756.999
AT ITER 918 NEW BEST:: SOT 12164952 SOS 7882971 HAS SOPS 6614578 HAS SOUS 2623297 HAS SOUPS 2527342 WITH SCORE 2535224.971
AT ITER 922 NEW BEST:: SOT 12154646 SOS 7867512 HAS SOPS 6600674 HAS SOUS 2621688 HAS SOUPS 2525617 WITH SCORE 2533484.512
AT ITER 929 NEW BEST:: SOT 12148049 SOS 7859575 HAS SOPS 6590074 HAS SOUS 2605129 HAS SOUPS 2509058 WITH SCORE 2516917.575
AT ITER 931 NEW BEST:: SOT 12147970 SOS 7859615 HAS SOPS 6590020 HAS SOUS 2604863 HAS SOUPS 2508792 WITH SCORE 2516651.615
AT ITER 947 NEW BEST:: SOT 12147382 SOS 7859954 HAS SOPS 6588837 HAS SOUS 2604458 HAS SOUPS 2508387 WITH SCORE 2516246.954
AT ITER 950 NEW BEST:: SOT 12146962 SOS 7859534 HAS SOPS 6588417 HAS SOUS 2604362 HAS SOUPS 2508291 WITH SCORE 2516150.534
AT ITER 954 NEW BEST:: SOT 12146801 SOS 7859546 HAS SOPS 6588382 HAS SOUS 2603420 HAS SOUPS 2507443 WITH SCORE 2515302.546
AT ITER 966 NEW BEST:: SOT 12142134 SOS 7848769 HAS SOPS 6580072 HAS SOUS 2595924 HAS SOUPS 2499947 WITH SCORE 2507795.769
AT ITER 967 NEW BEST:: SOT 12142084 SOS 7847921 HAS SOPS 6583991 HAS SOUS 2592449 HAS SOUPS 2496723 WITH SCORE 2504570.921
AT ITER 979 NEW BEST:: SOT 12143467 SOS 7849139 HAS SOPS 6584768 HAS SOUS 2590102 HAS SOUPS 2494343 WITH SCORE 2502192.139
AT ITER 983 NEW BEST:: SOT 12143393 SOS 7849051 HAS SOPS 6584648 HAS SOUS 2590082 HAS SOUPS 2494323 WITH SCORE 2502172.051
AT ITER 1014 NEW BEST:: SOT 12143297 SOS 7848955 HAS SOPS 6584552 HAS SOUS 2589290 HAS SOUPS 2493531 WITH SCORE 2501379.955
AT ITER 1022 NEW BEST:: SOT 12140804 SOS 7846483 HAS SOPS 6578691 HAS SOUS 2587980 HAS SOUPS 2492220 WITH SCORE 2500066.483
AT ITER 1032 NEW BEST:: SOT 12139736 SOS 7843669 HAS SOPS 6575375 HAS SOUS 2585140 HAS SOUPS 2489380 WITH SCORE 2497223.669
AT ITER 1035 NEW BEST:: SOT 12139477 SOS 7841771 HAS SOPS 6572809 HAS SOUS 2584489 HAS SOUPS 2488729 WITH SCORE 2496570.771
AT ITER 1048 NEW BEST:: SOT 12138190 SOS 7840689 HAS SOPS 6571106 HAS SOUS 2581375 HAS SOUPS 2485598 WITH SCORE 2493438.689
AT ITER 1088 NEW BEST:: SOT 12136233 SOS 7837942 HAS SOPS 6568359 HAS SOUS 2580552 HAS SOUPS 2484775 WITH SCORE 2492612.942
AT ITER 1092 NEW BEST:: SOT 12136190 SOS 7837835 HAS SOPS 6568269 HAS SOUS 2580427 HAS SOUPS 2484650 WITH SCORE 2492487.835
AT ITER 1095 NEW BEST:: SOT 12136171 SOS 7837794 HAS SOPS 6568149 HAS SOUS 2580328 HAS SOUPS 2484551 WITH SCORE 2492388.794
AT ITER 1100 NEW BEST:: SOT 12135740 SOS 7837204 HAS SOPS 6567554 HAS SOUS 2579788 HAS SOUPS 2484011 WITH SCORE 2491848.204
AT ITER 1108 NEW BEST:: SOT 12148322 SOS 7845514 HAS SOPS 6573155 HAS SOUS 2578636 HAS SOUPS 2481490 WITH SCORE 2489335.514
AT ITER 1110 NEW BEST:: SOT 12147292 SOS 7844684 HAS SOPS 6572345 HAS SOUS 2577134 HAS SOUPS 2479988 WITH SCORE 2487832.684
AT ITER 1115 NEW BEST:: SOT 12147205 SOS 7843908 HAS SOPS 6571250 HAS SOUS 2576796 HAS SOUPS 2479650 WITH SCORE 2487493.908
AT ITER 1125 NEW BEST:: SOT 12143818 SOS 7841463 HAS SOPS 6567262 HAS SOUS 2568258 HAS SOUPS 2470886 WITH SCORE 2478727.463
AT ITER 1136 NEW BEST:: SOT 12140517 SOS 7837180 HAS SOPS 6561164 HAS SOUS 2562321 HAS SOUPS 2464949 WITH SCORE 2472786.18
AT ITER 1147 NEW BEST:: SOT 12140806 SOS 7837981 HAS SOPS 6561448 HAS SOUS 2562226 HAS SOUPS 2464854 WITH SCORE 2472691.981
AT ITER 1150 NEW BEST:: SOT 12147632 SOS 7851762 HAS SOPS 6576216 HAS SOUS 2555358 HAS SOUPS 2458273 WITH SCORE 2466124.762
AT ITER 1163 NEW BEST:: SOT 12150388 SOS 7857684 HAS SOPS 6582368 HAS SOUS 2554984 HAS SOUPS 2457899 WITH SCORE 2465756.684
AT ITER 1172 NEW BEST:: SOT 12150286 SOS 7857582 HAS SOPS 6582234 HAS SOUS 2554770 HAS SOUPS 2457685 WITH SCORE 2465542.582
AT ITER 1173 NEW BEST:: SOT 12150150 SOS 7857294 HAS SOPS 6581882 HAS SOUS 2554285 HAS SOUPS 2457200 WITH SCORE 2465057.294
AT ITER 1175 NEW BEST:: SOT 12146953 SOS 7851484 HAS SOPS 6576178 HAS SOUS 2549388 HAS SOUPS 2452303 WITH SCORE 2460154.484
AT ITER 1189 NEW BEST:: SOT 12146913 SOS 7851444 HAS SOPS 6576138 HAS SOUS 2549180 HAS SOUPS 2452095 WITH SCORE 2459946.444
AT ITER 1195 NEW BEST:: SOT 12145897 SOS 7849922 HAS SOPS 6574272 HAS SOUS 2546294 HAS SOUPS 2449233 WITH SCORE 2457082.922
AT ITER 1200 NEW BEST:: SOT 12146293 SOS 7850318 HAS SOPS 6574668 HAS SOUS 2544322 HAS SOUPS 2447261 WITH SCORE 2455111.318
AT ITER 1208 NEW BEST:: SOT 12146192 SOS 7849885 HAS SOPS 6574283 HAS SOUS 2544264 HAS SOUPS 2447209 WITH SCORE 2455058.885
AT ITER 1211 NEW BEST:: SOT 12145963 SOS 7849202 HAS SOPS 6573795 HAS SOUS 2544116 HAS SOUPS 2447061 WITH SCORE 2454910.202
AT ITER 1215 NEW BEST:: SOT 12145421 SOS 7848460 HAS SOPS 6573620 HAS SOUS 2538347 HAS SOUPS 2441534 WITH SCORE 2449382.46
AT ITER 1221 NEW BEST:: SOT 12153563 SOS 7869690 HAS SOPS 6603270 HAS SOUS 2532432 HAS SOUPS 2435894 WITH SCORE 2443763.69
AT ITER 1234 NEW BEST:: SOT 12153567 SOS 7869754 HAS SOPS 6603304 HAS SOUS 2532406 HAS SOUPS 2435862 WITH SCORE 2443731.754
AT ITER 1235 NEW BEST:: SOT 12161094 SOS 7882416 HAS SOPS 6619465 HAS SOUS 2531158 HAS SOUPS 2434921 WITH SCORE 2442803.416
AT ITER 1244 NEW BEST:: SOT 12161094 SOS 7877911 HAS SOPS 6616022 HAS SOUS 2524932 HAS SOUPS 2428824 WITH SCORE 2436701.911
AT ITER 1255 NEW BEST:: SOT 12160074 SOS 7876893 HAS SOPS 6613642 HAS SOUS 2524942 HAS SOUPS 2428434 WITH SCORE 2436310.893
AT ITER 1257 NEW BEST:: SOT 12159369 SOS 7876062 HAS SOPS 6612582 HAS SOUS 2523671 HAS SOUPS 2427172 WITH SCORE 2435048.062
AT ITER 1264 NEW BEST:: SOT 12160443 SOS 7877888 HAS SOPS 6614909 HAS SOUS 2522953 HAS SOUPS 2426412 WITH SCORE 2434289.888
AT ITER 1266 NEW BEST:: SOT 12158802 SOS 7876900 HAS SOPS 6618677 HAS SOUS 2518457 HAS SOUPS 2421916 WITH SCORE 2429792.9
AT ITER 1274 NEW BEST:: SOT 12159898 SOS 7880443 HAS SOPS 6619741 HAS SOUS 2516586 HAS SOUPS 2420045 WITH SCORE 2427925.443
AT ITER 1283 NEW BEST:: SOT 12159761 SOS 7880223 HAS SOPS 6619636 HAS SOUS 2516389 HAS SOUPS 2419863 WITH SCORE 2427743.223
AT ITER 1287 NEW BEST:: SOT 12160416 SOS 7885503 HAS SOPS 6624478 HAS SOUS 2515171 HAS SOUPS 2418412 WITH SCORE 2426297.503
AT ITER 1295 NEW BEST:: SOT 12160988 SOS 7887778 HAS SOPS 6625777 HAS SOUS 2514481 HAS SOUPS 2417722 WITH SCORE 2425609.778
AT ITER 1313 NEW BEST:: SOT 12160811 SOS 7886831 HAS SOPS 6623403 HAS SOUS 2511013 HAS SOUPS 2414314 WITH SCORE 2422200.831
AT ITER 1315 NEW BEST:: SOT 12164732 SOS 7888867 HAS SOPS 6630627 HAS SOUS 2510515 HAS SOUPS 2414094 WITH SCORE 2421982.867
AT ITER 1317 NEW BEST:: SOT 12165097 SOS 7889248 HAS SOPS 6630982 HAS SOUS 2510046 HAS SOUPS 2413625 WITH SCORE 2421514.248
AT ITER 1339 NEW BEST:: SOT 12164104 SOS 7886472 HAS SOPS 6628340 HAS SOUS 2509527 HAS SOUPS 2413106 WITH SCORE 2420992.472
AT ITER 1344 NEW BEST:: SOT 12164064 SOS 7886432 HAS SOPS 6628300 HAS SOUS 2509407 HAS SOUPS 2412986 WITH SCORE 2420872.432
AT ITER 1350 NEW BEST:: SOT 12165174 SOS 7887967 HAS SOPS 6628233 HAS SOUS 2506892 HAS SOUPS 2410649 WITH SCORE 2418536.967
AT ITER 1352 NEW BEST:: SOT 12165122 SOS 7887891 HAS SOPS 6628160 HAS SOUS 2506823 HAS SOUPS 2410581 WITH SCORE 2418468.891
AT ITER 1357 NEW BEST:: SOT 12164706 SOS 7887407 HAS SOPS 6627777 HAS SOUS 2506549 HAS SOUPS 2410323 WITH SCORE 2418210.407
AT ITER 1367 NEW BEST:: SOT 12164525 SOS 7887580 HAS SOPS 6627563 HAS SOUS 2506189 HAS SOUPS 2409963 WITH SCORE 2417850.58
AT ITER 1368 NEW BEST:: SOT 12164007 SOS 7888542 HAS SOPS 6627855 HAS SOUS 2504430 HAS SOUPS 2408204 WITH SCORE 2416092.542
AT ITER 1370 NEW BEST:: SOT 12166017 SOS 7890114 HAS SOPS 6629802 HAS SOUS 2504352 HAS SOUPS 2408177 WITH SCORE 2416067.114
AT ITER 1410 NEW BEST:: SOT 12165744 SOS 7889849 HAS SOPS 6629537 HAS SOUS 2502501 HAS SOUPS 2406326 WITH SCORE 2414215.849
AT ITER 1412 NEW BEST:: SOT 12161246 SOS 7881887 HAS SOPS 6621123 HAS SOUS 2498367 HAS SOUPS 2402192 WITH SCORE 2410073.887
AT ITER 1413 NEW BEST:: SOT 12160976 SOS 7881597 HAS SOPS 6620753 HAS SOUS 2497862 HAS SOUPS 2401687 WITH SCORE 2409568.597
AT ITER 1432 NEW BEST:: SOT 12160588 SOS 7881209 HAS SOPS 6620093 HAS SOUS 2496658 HAS SOUPS 2400483 WITH SCORE 2408364.209
AT ITER 1439 NEW BEST:: SOT 12160197 SOS 7879995 HAS SOPS 6618913 HAS SOUS 2496292 HAS SOUPS 2400117 WITH SCORE 2407996.995
AT ITER 1441 NEW BEST:: SOT 12160055 SOS 7879869 HAS SOPS 6618731 HAS SOUS 2496114 HAS SOUPS 2399915 WITH SCORE 2407794.869
AT ITER 1449 NEW BEST:: SOT 12160192 SOS 7879438 HAS SOPS 6617733 HAS SOUS 2495588 HAS SOUPS 2399389 WITH SCORE 2407268.438
AT ITER 1456 NEW BEST:: SOT 12159920 SOS 7879014 HAS SOPS 6617309 HAS SOUS 2494761 HAS SOUPS 2398562 WITH SCORE 2406441.014
AT ITER 1459 NEW BEST:: SOT 12160115 SOS 7880790 HAS SOPS 6617020 HAS SOUS 2493007 HAS SOUPS 2396808 WITH SCORE 2404688.79
AT ITER 1480 NEW BEST:: SOT 12157496 SOS 7871060 HAS SOPS 6607861 HAS SOUS 2490356 HAS SOUPS 2394271 WITH SCORE 2402142.06
AT ITER 1485 NEW BEST:: SOT 12157488 SOS 7871169 HAS SOPS 6606847 HAS SOUS 2490325 HAS SOUPS 2394217 WITH SCORE 2402088.169
AT ITER 1496 NEW BEST:: SOT 12156693 SOS 7869007 HAS SOPS 6604794 HAS SOUS 2489691 HAS SOUPS 2393583 WITH SCORE 2401452.007
AT ITER 1525 NEW BEST:: SOT 12153946 SOS 7866109 HAS SOPS 6601660 HAS SOUS 2485917 HAS SOUPS 2389737 WITH SCORE 2397603.109
AT ITER 1528 NEW BEST:: SOT 12154499 SOS 7867714 HAS SOPS 6603126 HAS SOUS 2485648 HAS SOUPS 2389468 WITH SCORE 2397335.714
AT ITER 1537 NEW BEST:: SOT 12153006 SOS 7866075 HAS SOPS 6602690 HAS SOUS 2480481 HAS SOUPS 2385129 WITH SCORE 2392995.075
AT ITER 1543 NEW BEST:: SOT 12144502 SOS 7857501 HAS SOPS 6594116 HAS SOUS 2471907 HAS SOUPS 2376555 WITH SCORE 2384412.501
AT ITER 1545 NEW BEST:: SOT 12143586 SOS 7855979 HAS SOPS 6591578 HAS SOUS 2471576 HAS SOUPS 2376224 WITH SCORE 2384079.979
AT ITER 1576 NEW BEST:: SOT 12172446 SOS 7879730 HAS SOPS 6610540 HAS SOUS 2454450 HAS SOUPS 2357412 WITH SCORE 2365291.73
AT ITER 1596 NEW BEST:: SOT 12165776 SOS 7868320 HAS SOPS 6599721 HAS SOUS 2453536 HAS SOUPS 2356360 WITH SCORE 2364228.32
AT ITER 1600 NEW BEST:: SOT 12164818 SOS 7866639 HAS SOPS 6598044 HAS SOUS 2451348 HAS SOUPS 2354172 WITH SCORE 2362038.639
AT ITER 1602 NEW BEST:: SOT 12152171 SOS 7847527 HAS SOPS 6581547 HAS SOUS 2441516 HAS SOUPS 2344160 WITH SCORE 2352007.527
AT ITER 1611 NEW BEST:: SOT 12144799 SOS 7833909 HAS SOPS 6569089 HAS SOUS 2440004 HAS SOUPS 2342552 WITH SCORE 2350385.909
AT ITER 1620 NEW BEST:: SOT 12144301 SOS 7833410 HAS SOPS 6568290 HAS SOUS 2438859 HAS SOUPS 2341401 WITH SCORE 2349234.41
AT ITER 1625 NEW BEST:: SOT 12148465 SOS 7791587 HAS SOPS 6523511 HAS SOUS 2432262 HAS SOUPS 2334804 WITH SCORE 2342595.587
AT ITER 1658 NEW BEST:: SOT 12146628 SOS 7795244 HAS SOPS 6529973 HAS SOUS 2431503 HAS SOUPS 2334045 WITH SCORE 2341840.244
AT ITER 1669 NEW BEST:: SOT 12140469 SOS 7785697 HAS SOPS 6520347 HAS SOUS 2427681 HAS SOUPS 2330223 WITH SCORE 2338008.697
AT ITER 1678 NEW BEST:: SOT 12140305 SOS 7783986 HAS SOPS 6518645 HAS SOUS 2427406 HAS SOUPS 2329948 WITH SCORE 2337731.986
AT ITER 1684 NEW BEST:: SOT 12138728 SOS 7780164 HAS SOPS 6514770 HAS SOUS 2421615 HAS SOUPS 2324281 WITH SCORE 2332061.164
AT ITER 1689 NEW BEST:: SOT 12136839 SOS 7772371 HAS SOPS 6507669 HAS SOUS 2420849 HAS SOUPS 2323582 WITH SCORE 2331354.371
AT ITER 1702 NEW BEST:: SOT 12138069 SOS 7775165 HAS SOPS 6510466 HAS SOUS 2416066 HAS SOUPS 2318799 WITH SCORE 2326574.165
AT ITER 1715 NEW BEST:: SOT 12149012 SOS 7795581 HAS SOPS 6528197 HAS SOUS 2413734 HAS SOUPS 2316557 WITH SCORE 2324352.581
AT ITER 1718 NEW BEST:: SOT 12146516 SOS 7793219 HAS SOPS 6525925 HAS SOUS 2408316 HAS SOUPS 2311139 WITH SCORE 2318932.219
AT ITER 1733 NEW BEST:: SOT 12147214 SOS 7794603 HAS SOPS 6527431 HAS SOUS 2406817 HAS SOUPS 2309640 WITH SCORE 2317434.603
AT ITER 1736 NEW BEST:: SOT 12143605 SOS 7790066 HAS SOPS 6523558 HAS SOUS 2398405 HAS SOUPS 2301462 WITH SCORE 2309252.066
AT ITER 1754 NEW BEST:: SOT 12143596 SOS 7790010 HAS SOPS 6523519 HAS SOUS 2398380 HAS SOUPS 2301437 WITH SCORE 2309227.01
AT ITER 1758 NEW BEST:: SOT 12142769 SOS 7785896 HAS SOPS 6521242 HAS SOUS 2398097 HAS SOUPS 2301186 WITH SCORE 2308971.896
AT ITER 1761 NEW BEST:: SOT 12141427 SOS 7784593 HAS SOPS 6519057 HAS SOUS 2395270 HAS SOUPS 2298345 WITH SCORE 2306129.593
AT ITER 1770 NEW BEST:: SOT 12141484 SOS 7780989 HAS SOPS 6519413 HAS SOUS 2394649 HAS SOUPS 2297724 WITH SCORE 2305504.989
AT ITER 1792 NEW BEST:: SOT 12141164 SOS 7780285 HAS SOPS 6519508 HAS SOUS 2393314 HAS SOUPS 2296454 WITH SCORE 2304234.285
AT ITER 1795 NEW BEST:: SOT 12140188 SOS 7777434 HAS SOPS 6515375 HAS SOUS 2391887 HAS SOUPS 2294931 WITH SCORE 2302708.434
AT ITER 1801 NEW BEST:: SOT 12139776 SOS 7777401 HAS SOPS 6513940 HAS SOUS 2389571 HAS SOUPS 2292666 WITH SCORE 2300443.401
AT ITER 1808 NEW BEST:: SOT 12142552 SOS 7780177 HAS SOPS 6516012 HAS SOUS 2389171 HAS SOUPS 2292170 WITH SCORE 2299950.177
AT ITER 1813 NEW BEST:: SOT 12145271 SOS 7785329 HAS SOPS 6520325 HAS SOUS 2383927 HAS SOUPS 2286926 WITH SCORE 2294711.329
AT ITER 1814 NEW BEST:: SOT 12146371 SOS 7787033 HAS SOPS 6521639 HAS SOUS 2380602 HAS SOUPS 2283601 WITH SCORE 2291388.033
AT ITER 1816 NEW BEST:: SOT 12148582 SOS 7784964 HAS SOPS 6524717 HAS SOUS 2380461 HAS SOUPS 2283589 WITH SCORE 2291373.964
AT ITER 1825 NEW BEST:: SOT 12148653 SOS 7783478 HAS SOPS 6523531 HAS SOUS 2378369 HAS SOUPS 2281709 WITH SCORE 2289492.478
AT ITER 1840 NEW BEST:: SOT 12149065 SOS 7778048 HAS SOPS 6516432 HAS SOUS 2370083 HAS SOUPS 2273423 WITH SCORE 2281201.048
AT ITER 1862 NEW BEST:: SOT 12150253 SOS 7781293 HAS SOPS 6519646 HAS SOUS 2369197 HAS SOUPS 2272537 WITH SCORE 2280318.293
AT ITER 1865 NEW BEST:: SOT 12147347 SOS 7777056 HAS SOPS 6515581 HAS SOUS 2365412 HAS SOUPS 2268752 WITH SCORE 2276529.056
AT ITER 1874 NEW BEST:: SOT 12145442 SOS 7769962 HAS SOPS 6507422 HAS SOUS 2363872 HAS SOUPS 2267081 WITH SCORE 2274850.962
AT ITER 1898 NEW BEST:: SOT 12144794 SOS 7769151 HAS SOPS 6506162 HAS SOUS 2362415 HAS SOUPS 2265624 WITH SCORE 2273393.151
AT ITER 1903 NEW BEST:: SOT 12144149 SOS 7767004 HAS SOPS 6506544 HAS SOUS 2361445 HAS SOUPS 2264654 WITH SCORE 2272421.004
AT ITER 1908 NEW BEST:: SOT 12143985 SOS 7766422 HAS SOPS 6505954 HAS SOUS 2360851 HAS SOUPS 2264060 WITH SCORE 2271826.422
AT ITER 1913 NEW BEST:: SOT 12144071 SOS 7768017 HAS SOPS 6506488 HAS SOUS 2360581 HAS SOUPS 2263790 WITH SCORE 2271558.017
AT ITER 1915 NEW BEST:: SOT 12142872 SOS 7767179 HAS SOPS 6505937 HAS SOUS 2357010 HAS SOUPS 2260219 WITH SCORE 2267986.179
AT ITER 1927 NEW BEST:: SOT 12142702 SOS 7767478 HAS SOPS 6504883 HAS SOUS 2356743 HAS SOUPS 2259952 WITH SCORE 2267719.478
AT ITER 1931 NEW BEST:: SOT 12143212 SOS 7769884 HAS SOPS 6508443 HAS SOUS 2356363 HAS SOUPS 2259572 WITH SCORE 2267341.884
AT ITER 1932 NEW BEST:: SOT 12143577 SOS 7769951 HAS SOPS 6508726 HAS SOUS 2351424 HAS SOUPS 2254769 WITH SCORE 2262538.951
AT ITER 1961 NEW BEST:: SOT 12140258 SOS 7766632 HAS SOPS 6504879 HAS SOUS 2348793 HAS SOUPS 2251898 WITH SCORE 2259664.632
AT ITER 1962 NEW BEST:: SOT 12139572 SOS 7764313 HAS SOPS 6502722 HAS SOUS 2348412 HAS SOUPS 2251517 WITH SCORE 2259281.313
AT ITER 1982 NEW BEST:: SOT 12138872 SOS 7762895 HAS SOPS 6500979 HAS SOUS 2346506 HAS SOUPS 2249611 WITH SCORE 2257373.895
AT ITER 1995 NEW BEST:: SOT 12131168 SOS 7750632 HAS SOPS 6490557 HAS SOUS 2342192 HAS SOUPS 2245348 WITH SCORE 2253098.632
AT ITER 1998 NEW BEST:: SOT 12130595 SOS 7750164 HAS SOPS 6490375 HAS SOUS 2340343 HAS SOUPS 2243499 WITH SCORE 2251249.164
AT ITER 2000 NEW BEST:: SOT 12130586 SOS 7750165 HAS SOPS 6490356 HAS SOUS 2340286 HAS SOUPS 2243441 WITH SCORE 2251191.165
AT ITER 2033 NEW BEST:: SOT 12123478 SOS 7735606 HAS SOPS 6480182 HAS SOUS 2328629 HAS SOUPS 2232720 WITH SCORE 2240455.606
AT ITER 2041 NEW BEST:: SOT 12120513 SOS 7731968 HAS SOPS 6477187 HAS SOUS 2318460 HAS SOUPS 2222632 WITH SCORE 2230363.968
AT ITER 2050 NEW BEST:: SOT 12123464 SOS 7739364 HAS SOPS 6483874 HAS SOUS 2316946 HAS SOUPS 2221118 WITH SCORE 2228857.364
AT ITER 2055 NEW BEST:: SOT 12123075 SOS 7735732 HAS SOPS 6480629 HAS SOUS 2316877 HAS SOUPS 2221049 WITH SCORE 2228784.732
AT ITER 2071 NEW BEST:: SOT 12122231 SOS 7735222 HAS SOPS 6478918 HAS SOUS 2313961 HAS SOUPS 2218111 WITH SCORE 2225846.222
AT ITER 2074 NEW BEST:: SOT 12122243 SOS 7735452 HAS SOPS 6479383 HAS SOUS 2313939 HAS SOUPS 2218089 WITH SCORE 2225824.452
AT ITER 2093 NEW BEST:: SOT 12112938 SOS 7714741 HAS SOPS 6461012 HAS SOUS 2303656 HAS SOUPS 2207806 WITH SCORE 2215520.741
AT ITER 2098 NEW BEST:: SOT 12112282 SOS 7714235 HAS SOPS 6460491 HAS SOUS 2303388 HAS SOUPS 2207523 WITH SCORE 2215237.235
AT ITER 2144 NEW BEST:: SOT 12090084 SOS 7691819 HAS SOPS 6438075 HAS SOUS 2279414 HAS SOUPS 2183549 WITH SCORE 2191240.819
AT ITER 2156 NEW BEST:: SOT 12078280 SOS 7659308 HAS SOPS 6421457 HAS SOUS 2273348 HAS SOUPS 2178011 WITH SCORE 2185670.308
AT ITER 2162 NEW BEST:: SOT 12078135 SOS 7659461 HAS SOPS 6421426 HAS SOUS 2272737 HAS SOUPS 2177400 WITH SCORE 2185059.461
AT ITER 2183 NEW BEST:: SOT 12078473 SOS 7661594 HAS SOPS 6421613 HAS SOUS 2270754 HAS SOUPS 2175247 WITH SCORE 2182908.594
AT ITER 2225 NEW BEST:: SOT 12077486 SOS 7660765 HAS SOPS 6420082 HAS SOUS 2267903 HAS SOUPS 2172388 WITH SCORE 2180048.765
AT ITER 2237 NEW BEST:: SOT 12070010 SOS 7644469 HAS SOPS 6409086 HAS SOUS 2259793 HAS SOUPS 2164278 WITH SCORE 2171922.469
AT ITER 2268 NEW BEST:: SOT 12069932 SOS 7644391 HAS SOPS 6409008 HAS SOUS 2259235 HAS SOUPS 2163720 WITH SCORE 2171364.391
AT ITER 2273 NEW BEST:: SOT 12069165 SOS 7643030 HAS SOPS 6407562 HAS SOUS 2257606 HAS SOUPS 2162091 WITH SCORE 2169734.03
AT ITER 2285 NEW BEST:: SOT 12066575 SOS 7640440 HAS SOPS 6404972 HAS SOUS 2254732 HAS SOUPS 2159217 WITH SCORE 2166857.44
AT ITER 2331 NEW BEST:: SOT 12066370 SOS 7639683 HAS SOPS 6403565 HAS SOUS 2254348 HAS SOUPS 2158833 WITH SCORE 2166472.683
AT ITER 2351 NEW BEST:: SOT 12062988 SOS 7636134 HAS SOPS 6399045 HAS SOUS 2245889 HAS SOUPS 2150374 WITH SCORE 2158010.134
AT ITER 2365 NEW BEST:: SOT 12063927 SOS 7637252 HAS SOPS 6399513 HAS SOUS 2243183 HAS SOUPS 2147751 WITH SCORE 2155388.252
AT ITER 2373 NEW BEST:: SOT 12063905 SOS 7637097 HAS SOPS 6399517 HAS SOUS 2243112 HAS SOUPS 2147680 WITH SCORE 2155317.097
AT ITER 2374 NEW BEST:: SOT 12063879 SOS 7636260 HAS SOPS 6400233 HAS SOUS 2242781 HAS SOUPS 2147349 WITH SCORE 2154985.26
AT ITER 2378 NEW BEST:: SOT 12064434 SOS 7632308 HAS SOPS 6400726 HAS SOUS 2239523 HAS SOUPS 2144091 WITH SCORE 2151723.308
AT ITER 2391 NEW BEST:: SOT 12062377 SOS 7633632 HAS SOPS 6394754 HAS SOUS 2228377 HAS SOUPS 2132945 WITH SCORE 2140578.632
AT ITER 2393 NEW BEST:: SOT 12060557 SOS 7633035 HAS SOPS 6394531 HAS SOUS 2227703 HAS SOUPS 2132271 WITH SCORE 2139904.035
AT ITER 2400 NEW BEST:: SOT 12054512 SOS 7624437 HAS SOPS 6386775 HAS SOUS 2222878 HAS SOUPS 2127555 WITH SCORE 2135179.437
AT ITER 2408 NEW BEST:: SOT 12051093 SOS 7617646 HAS SOPS 6381675 HAS SOUS 2219953 HAS SOUPS 2124662 WITH SCORE 2132279.646
AT ITER 2437 NEW BEST:: SOT 12049090 SOS 7613725 HAS SOPS 6377124 HAS SOUS 2214250 HAS SOUPS 2119067 WITH SCORE 2126680.725
AT ITER 2463 NEW BEST:: SOT 12046485 SOS 7607892 HAS SOPS 6373571 HAS SOUS 2212637 HAS SOUPS 2117394 WITH SCORE 2125001.892
AT ITER 2486 NEW BEST:: SOT 12046745 SOS 7610241 HAS SOPS 6374705 HAS SOUS 2210138 HAS SOUPS 2114895 WITH SCORE 2122505.241
AT ITER 2490 NEW BEST:: SOT 12044464 SOS 7607797 HAS SOPS 6369446 HAS SOUS 2206408 HAS SOUPS 2111105 WITH SCORE 2118712.797
AT ITER 2492 NEW BEST:: SOT 12041195 SOS 7598959 HAS SOPS 6361394 HAS SOUS 2200813 HAS SOUPS 2105625 WITH SCORE 2113223.959
AT ITER 2513 NEW BEST:: SOT 12041165 SOS 7598917 HAS SOPS 6361340 HAS SOUS 2200683 HAS SOUPS 2105497 WITH SCORE 2113095.917
AT ITER 2516 NEW BEST:: SOT 12039910 SOS 7597708 HAS SOPS 6360131 HAS SOUS 2198738 HAS SOUPS 2103552 WITH SCORE 2111149.708
AT ITER 2523 NEW BEST:: SOT 12039730 SOS 7599863 HAS SOPS 6361795 HAS SOUS 2197295 HAS SOUPS 2102078 WITH SCORE 2109677.863
AT ITER 2530 NEW BEST:: SOT 12040203 SOS 7600574 HAS SOPS 6362132 HAS SOUS 2197239 HAS SOUPS 2102000 WITH SCORE 2109600.574
AT ITER 2531 NEW BEST:: SOT 12037033 SOS 7593615 HAS SOPS 6355750 HAS SOUS 2192529 HAS SOUPS 2097343 WITH SCORE 2104936.615
AT ITER 2555 NEW BEST:: SOT 12036891 SOS 7594449 HAS SOPS 6357152 HAS SOUS 2189299 HAS SOUPS 2094113 WITH SCORE 2101707.449
AT ITER 2560 NEW BEST:: SOT 12037958 SOS 7598747 HAS SOPS 6358879 HAS SOUS 2187624 HAS SOUPS 2092438 WITH SCORE 2100036.747
AT ITER 2569 NEW BEST:: SOT 12036613 SOS 7597070 HAS SOPS 6355954 HAS SOUS 2185775 HAS SOUPS 2090589 WITH SCORE 2098186.07
AT ITER 2573 NEW BEST:: SOT 12032145 SOS 7586789 HAS SOPS 6345489 HAS SOUS 2179648 HAS SOUPS 2084528 WITH SCORE 2092114.789
AT ITER 2584 NEW BEST:: SOT 12035396 SOS 7604229 HAS SOPS 6365294 HAS SOUS 2177433 HAS SOUPS 2082313 WITH SCORE 2089917.229
AT ITER 2605 NEW BEST:: SOT 12035054 SOS 7603927 HAS SOPS 6365044 HAS SOUS 2177167 HAS SOUPS 2082065 WITH SCORE 2089668.927
AT ITER 2634 NEW BEST:: SOT 12034332 SOS 7602976 HAS SOPS 6364093 HAS SOUS 2176202 HAS SOUPS 2081100 WITH SCORE 2088702.976
AT ITER 2662 NEW BEST:: SOT 12034156 SOS 7602468 HAS SOPS 6366233 HAS SOUS 2173005 HAS SOUPS 2078555 WITH SCORE 2086157.468
AT ITER 2665 NEW BEST:: SOT 12010571 SOS 7567252 HAS SOPS 6334629 HAS SOUS 2132115 HAS SOUPS 2037989 WITH SCORE 2045556.252
AT ITER 2666 NEW BEST:: SOT 12009436 SOS 7567630 HAS SOPS 6334488 HAS SOUS 2132033 HAS SOUPS 2037856 WITH SCORE 2045423.63
AT ITER 2668 NEW BEST:: SOT 12009383 SOS 7567480 HAS SOPS 6334332 HAS SOUS 2131949 HAS SOUPS 2037772 WITH SCORE 2045339.48
AT ITER 2673 NEW BEST:: SOT 12010462 SOS 7570702 HAS SOPS 6336378 HAS SOUS 2131837 HAS SOUPS 2037660 WITH SCORE 2045230.702
AT ITER 2674 NEW BEST:: SOT 12008300 SOS 7568085 HAS SOPS 6333163 HAS SOUS 2130759 HAS SOUPS 2036582 WITH SCORE 2044150.085
AT ITER 2695 NEW BEST:: SOT 12008770 SOS 7568649 HAS SOPS 6334588 HAS SOUS 2129959 HAS SOUPS 2035782 WITH SCORE 2043350.649
AT ITER 2696 NEW BEST:: SOT 12016822 SOS 7580058 HAS SOPS 6347412 HAS SOUS 2128074 HAS SOUPS 2033897 WITH SCORE 2041477.058
AT ITER 2708 NEW BEST:: SOT 12014190 SOS 7577426 HAS SOPS 6344780 HAS SOUS 2125842 HAS SOUPS 2031665 WITH SCORE 2039242.426
AT ITER 2723 NEW BEST:: SOT 12013995 SOS 7576166 HAS SOPS 6345040 HAS SOUS 2124591 HAS SOUPS 2030414 WITH SCORE 2037990.166
AT ITER 2753 NEW BEST:: SOT 12013684 SOS 7575395 HAS SOPS 6344539 HAS SOUS 2123520 HAS SOUPS 2029463 WITH SCORE 2037038.395
AT ITER 2760 NEW BEST:: SOT 12013442 SOS 7575443 HAS SOPS 6344148 HAS SOUS 2122648 HAS SOUPS 2028574 WITH SCORE 2036149.443
AT ITER 2775 NEW BEST:: SOT 12013131 SOS 7575503 HAS SOPS 6343858 HAS SOUS 2121326 HAS SOUPS 2027252 WITH SCORE 2034827.503
AT ITER 2782 NEW BEST:: SOT 12013019 SOS 7575602 HAS SOPS 6343874 HAS SOUS 2120996 HAS SOUPS 2026922 WITH SCORE 2034497.602
AT ITER 2805 NEW BEST:: SOT 12012848 SOS 7575651 HAS SOPS 6343885 HAS SOUS 2120911 HAS SOUPS 2026837 WITH SCORE 2034412.651
AT ITER 2810 NEW BEST:: SOT 12013016 SOS 7575713 HAS SOPS 6343990 HAS SOUS 2120836 HAS SOUPS 2026754 WITH SCORE 2034329.713
AT ITER 2835 NEW BEST:: SOT 12013625 SOS 7578829 HAS SOPS 6346175 HAS SOUS 2118413 HAS SOUPS 2024352 WITH SCORE 2031930.829
AT ITER 2855 NEW BEST:: SOT 12011481 SOS 7568214 HAS SOPS 6339971 HAS SOUS 2118227 HAS SOUPS 2024166 WITH SCORE 2031734.214
AT ITER 2863 NEW BEST:: SOT 12015903 SOS 7573695 HAS SOPS 6348290 HAS SOUS 2114370 HAS SOUPS 2022060 WITH SCORE 2029633.695
AT ITER 2867 NEW BEST:: SOT 12015931 SOS 7573435 HAS SOPS 6349631 HAS SOUS 2111613 HAS SOUPS 2019198 WITH SCORE 2026771.435
AT ITER 2877 NEW BEST:: SOT 12016337 SOS 7575195 HAS SOPS 6351526 HAS SOUS 2108854 HAS SOUPS 2016569 WITH SCORE 2024144.195
AT ITER 2888 NEW BEST:: SOT 12015257 SOS 7574115 HAS SOPS 6350446 HAS SOUS 2107686 HAS SOUPS 2015401 WITH SCORE 2022975.115
AT ITER 2896 NEW BEST:: SOT 12015278 SOS 7574396 HAS SOPS 6350900 HAS SOUS 2107663 HAS SOUPS 2015378 WITH SCORE 2022952.396
AT ITER 2920 NEW BEST:: SOT 12001241 SOS 7538811 HAS SOPS 6312438 HAS SOUS 2101281 HAS SOUPS 2008996 WITH SCORE 2016534.811
AT ITER 2930 NEW BEST:: SOT 12000663 SOS 7537403 HAS SOPS 6310781 HAS SOUS 2100333 HAS SOUPS 2008048 WITH SCORE 2015585.403
AT ITER 2931 NEW BEST:: SOT 11999921 SOS 7536969 HAS SOPS 6311554 HAS SOUS 2098374 HAS SOUPS 2006089 WITH SCORE 2013625.969
AT ITER 2938 NEW BEST:: SOT 12000192 SOS 7539743 HAS SOPS 6313771 HAS SOUS 2097461 HAS SOUPS 2005176 WITH SCORE 2012715.743
AT ITER 2942 NEW BEST:: SOT 12001914 SOS 7541596 HAS SOPS 6317379 HAS SOUS 2094288 HAS SOUPS 2002125 WITH SCORE 2009666.596
AT ITER 2943 NEW BEST:: SOT 12001240 SOS 7541050 HAS SOPS 6315867 HAS SOUS 2093995 HAS SOUPS 2001800 WITH SCORE 2009341.05
AT ITER 2962 NEW BEST:: SOT 12000813 SOS 7540737 HAS SOPS 6315247 HAS SOUS 2092936 HAS SOUPS 2000741 WITH SCORE 2008281.737
AT ITER 2987 NEW BEST:: SOT 12001467 SOS 7541741 HAS SOPS 6316818 HAS SOUS 2089787 HAS SOUPS 1997801 WITH SCORE 2005342.741
AT ITER 3028 NEW BEST:: SOT 12001467 SOS 7540898 HAS SOPS 6315196 HAS SOUS 2088841 HAS SOUPS 1996855 WITH SCORE 2004395.898
AT ITER 3029 NEW BEST:: SOT 12001365 SOS 7542130 HAS SOPS 6316422 HAS SOUS 2087375 HAS SOUPS 1995363 WITH SCORE 2002905.13
AT ITER 3043 NEW BEST:: SOT 12000903 SOS 7543219 HAS SOPS 6316342 HAS SOUS 2086002 HAS SOUPS 1993953 WITH SCORE 2001496.219
AT ITER 3050 NEW BEST:: SOT 11995705 SOS 7539467 HAS SOPS 6311747 HAS SOUS 2074146 HAS SOUPS 1982111 WITH SCORE 1989650.467
AT ITER 3074 NEW BEST:: SOT 11989345 SOS 7517613 HAS SOPS 6293353 HAS SOUS 2072674 HAS SOUPS 1980663 WITH SCORE 1988180.613
AT ITER 3078 NEW BEST:: SOT 11988397 SOS 7516665 HAS SOPS 6291717 HAS SOUS 2069306 HAS SOUPS 1977295 WITH SCORE 1984811.665
AT ITER 3079 NEW BEST:: SOT 11988447 SOS 7515015 HAS SOPS 6290420 HAS SOUS 2068778 HAS SOUPS 1976767 WITH SCORE 1984282.015
AT ITER 3083 NEW BEST:: SOT 11988554 SOS 7515605 HAS SOPS 6290372 HAS SOUS 2068910 HAS SOUPS 1976762 WITH SCORE 1984277.605
AT ITER 3094 NEW BEST:: SOT 11986484 SOS 7514638 HAS SOPS 6288634 HAS SOUS 2064971 HAS SOUPS 1972823 WITH SCORE 1980337.638
AT ITER 3100 NEW BEST:: SOT 11986440 SOS 7514736 HAS SOPS 6288732 HAS SOUS 2063803 HAS SOUPS 1971655 WITH SCORE 1979169.736
AT ITER 3102 NEW BEST:: SOT 11986304 SOS 7516476 HAS SOPS 6288674 HAS SOUS 2063016 HAS SOUPS 1970868 WITH SCORE 1978384.476
AT ITER 3105 NEW BEST:: SOT 11986155 SOS 7516510 HAS SOPS 6287646 HAS SOUS 2057264 HAS SOUPS 1965244 WITH SCORE 1972760.51
AT ITER 3112 NEW BEST:: SOT 11985839 SOS 7515820 HAS SOPS 6286618 HAS SOUS 2057081 HAS SOUPS 1965061 WITH SCORE 1972576.82
AT ITER 3113 NEW BEST:: SOT 11985745 SOS 7515705 HAS SOPS 6286524 HAS SOUS 2057023 HAS SOUPS 1965006 WITH SCORE 1972521.705
AT ITER 3115 NEW BEST:: SOT 11985558 SOS 7515274 HAS SOPS 6286255 HAS SOUS 2056676 HAS SOUPS 1964659 WITH SCORE 1972174.274
AT ITER 3139 NEW BEST:: SOT 11981484 SOS 7513188 HAS SOPS 6280604 HAS SOUS 2051030 HAS SOUPS 1958966 WITH SCORE 1966479.188
AT ITER 3158 NEW BEST:: SOT 11977322 SOS 7506850 HAS SOPS 6275586 HAS SOUS 2044871 HAS SOUPS 1952862 WITH SCORE 1960368.85
AT ITER 3168 NEW BEST:: SOT 11974884 SOS 7504412 HAS SOPS 6272780 HAS SOUS 2040961 HAS SOUPS 1948952 WITH SCORE 1956456.412
AT ITER 3170 NEW BEST:: SOT 11974540 SOS 7502857 HAS SOPS 6271023 HAS SOUS 2040145 HAS SOUPS 1948136 WITH SCORE 1955638.857
AT ITER 3196 NEW BEST:: SOT 11973844 SOS 7501954 HAS SOPS 6269723 HAS SOUS 2039227 HAS SOUPS 1947218 WITH SCORE 1954719.954
AT ITER 3218 NEW BEST:: SOT 11972039 SOS 7498912 HAS SOPS 6267236 HAS SOUS 2033827 HAS SOUPS 1941874 WITH SCORE 1949372.912
AT ITER 3219 NEW BEST:: SOT 11966720 SOS 7486707 HAS SOPS 6255614 HAS SOUS 2030744 HAS SOUPS 1938778 WITH SCORE 1946264.707
AT ITER 3220 NEW BEST:: SOT 11966386 SOS 7486240 HAS SOPS 6255280 HAS SOUS 2030112 HAS SOUPS 1938146 WITH SCORE 1945632.24
AT ITER 3229 NEW BEST:: SOT 11965892 SOS 7485973 HAS SOPS 6255321 HAS SOUS 2029929 HAS SOUPS 1937963 WITH SCORE 1945448.973
AT ITER 3232 NEW BEST:: SOT 11969650 SOS 7491613 HAS SOPS 6261577 HAS SOUS 2029061 HAS SOUPS 1937102 WITH SCORE 1944593.613
AT ITER 3267 NEW BEST:: SOT 11969762 SOS 7491830 HAS SOPS 6261745 HAS SOUS 2028781 HAS SOUPS 1936836 WITH SCORE 1944327.83
AT ITER 3276 NEW BEST:: SOT 11967881 SOS 7489949 HAS SOPS 6259864 HAS SOUS 2026440 HAS SOUPS 1934495 WITH SCORE 1941984.949
AT ITER 3284 NEW BEST:: SOT 11967770 SOS 7489838 HAS SOPS 6259737 HAS SOUS 2026217 HAS SOUPS 1934272 WITH SCORE 1941761.838
AT ITER 3299 NEW BEST:: SOT 11961507 SOS 7483043 HAS SOPS 6251480 HAS SOUS 2013979 HAS SOUPS 1922034 WITH SCORE 1929517.043
AT ITER 3333 NEW BEST:: SOT 11959913 SOS 7478338 HAS SOPS 6246946 HAS SOUS 2011388 HAS SOUPS 1919495 WITH SCORE 1926973.338
AT ITER 3356 NEW BEST:: SOT 11958126 SOS 7472878 HAS SOPS 6242129 HAS SOUS 2009979 HAS SOUPS 1918168 WITH SCORE 1925640.878
AT ITER 3360 NEW BEST:: SOT 11957710 SOS 7472563 HAS SOPS 6241136 HAS SOUS 2009961 HAS SOUPS 1918150 WITH SCORE 1925622.563
AT ITER 3371 NEW BEST:: SOT 11950975 SOS 7464163 HAS SOPS 6232272 HAS SOUS 1998825 HAS SOUPS 1907165 WITH SCORE 1914629.163
AT ITER 3383 NEW BEST:: SOT 11950735 SOS 7463923 HAS SOPS 6232032 HAS SOUS 1998729 HAS SOUPS 1907069 WITH SCORE 1914532.923
AT ITER 3387 NEW BEST:: SOT 11950589 SOS 7463777 HAS SOPS 6231886 HAS SOUS 1998535 HAS SOUPS 1906875 WITH SCORE 1914338.777
AT ITER 3390 NEW BEST:: SOT 11949490 SOS 7462678 HAS SOPS 6230291 HAS SOUS 1995404 HAS SOUPS 1903744 WITH SCORE 1911206.678
AT ITER 3408 NEW BEST:: SOT 11949388 SOS 7462512 HAS SOPS 6230013 HAS SOUS 1994959 HAS SOUPS 1903303 WITH SCORE 1910765.512
AT ITER 3430 NEW BEST:: SOT 11947342 SOS 7460456 HAS SOPS 6227586 HAS SOUS 1990307 HAS SOUPS 1898656 WITH SCORE 1906116.456
AT ITER 3455 NEW BEST:: SOT 11947254 SOS 7460368 HAS SOPS 6227498 HAS SOUS 1990131 HAS SOUPS 1898480 WITH SCORE 1905940.368
AT ITER 3456 NEW BEST:: SOT 11957411 SOS 7474491 HAS SOPS 6249466 HAS SOUS 1986722 HAS SOUPS 1895071 WITH SCORE 1902545.491
AT ITER 3462 NEW BEST:: SOT 11957931 SOS 7475011 HAS SOPS 6249922 HAS SOUS 1986286 HAS SOUPS 1894635 WITH SCORE 1902110.011
AT ITER 3492 NEW BEST:: SOT 11957936 SOS 7475016 HAS SOPS 6249884 HAS SOUS 1980293 HAS SOUPS 1888960 WITH SCORE 1896435.016
AT ITER 3496 NEW BEST:: SOT 11953112 SOS 7464657 HAS SOPS 6239149 HAS SOUS 1975958 HAS SOUPS 1884625 WITH SCORE 1892089.657
AT ITER 3497 NEW BEST:: SOT 11954725 SOS 7465757 HAS SOPS 6239841 HAS SOUS 1975635 HAS SOUPS 1884234 WITH SCORE 1891699.757
AT ITER 3500 NEW BEST:: SOT 11953435 SOS 7464460 HAS SOPS 6238210 HAS SOUS 1972215 HAS SOUPS 1880815 WITH SCORE 1888279.46
AT ITER 3501 NEW BEST:: SOT 11937943 SOS 7451589 HAS SOPS 6221996 HAS SOUS 1955765 HAS SOUPS 1864167 WITH SCORE 1871618.589
AT ITER 3507 NEW BEST:: SOT 11937217 SOS 7451310 HAS SOPS 6221707 HAS SOUS 1954410 HAS SOUPS 1862926 WITH SCORE 1870377.31
AT ITER 3512 NEW BEST:: SOT 11937734 SOS 7452467 HAS SOPS 6222864 HAS SOUS 1952245 HAS SOUPS 1860761 WITH SCORE 1868213.467
AT ITER 3516 NEW BEST:: SOT 11934725 SOS 7438432 HAS SOPS 6216418 HAS SOUS 1948684 HAS SOUPS 1857432 WITH SCORE 1864870.432
AT ITER 3521 NEW BEST:: SOT 11931982 SOS 7435179 HAS SOPS 6211450 HAS SOUS 1941818 HAS SOUPS 1850566 WITH SCORE 1858001.179
AT ITER 3539 NEW BEST:: SOT 11940145 SOS 7460826 HAS SOPS 6230078 HAS SOUS 1939523 HAS SOUPS 1848048 WITH SCORE 1855508.826
AT ITER 3556 NEW BEST:: SOT 11938456 SOS 7460078 HAS SOPS 6227495 HAS SOUS 1935127 HAS SOUPS 1843563 WITH SCORE 1851023.078
AT ITER 3581 NEW BEST:: SOT 11938504 SOS 7460456 HAS SOPS 6227640 HAS SOUS 1935045 HAS SOUPS 1843481 WITH SCORE 1850941.456
AT ITER 3583 NEW BEST:: SOT 11937894 SOS 7458836 HAS SOPS 6226734 HAS SOUS 1933235 HAS SOUPS 1841705 WITH SCORE 1849163.836
AT ITER 3614 NEW BEST:: SOT 11937378 SOS 7458301 HAS SOPS 6226199 HAS SOUS 1931853 HAS SOUPS 1840323 WITH SCORE 1847781.301
AT ITER 3628 NEW BEST:: SOT 11935148 SOS 7455872 HAS SOPS 6222325 HAS SOUS 1930874 HAS SOUPS 1839344 WITH SCORE 1846799.872
AT ITER 3654 NEW BEST:: SOT 11934425 SOS 7454258 HAS SOPS 6221966 HAS SOUS 1928392 HAS SOUPS 1837187 WITH SCORE 1844641.258
AT ITER 3656 NEW BEST:: SOT 11933358 SOS 7453031 HAS SOPS 6220211 HAS SOUS 1925901 HAS SOUPS 1834696 WITH SCORE 1842149.031
AT ITER 3665 NEW BEST:: SOT 11933498 SOS 7453315 HAS SOPS 6220225 HAS SOUS 1925629 HAS SOUPS 1834424 WITH SCORE 1841877.315
AT ITER 3670 NEW BEST:: SOT 11924927 SOS 7441125 HAS SOPS 6207868 HAS SOUS 1925607 HAS SOUPS 1834189 WITH SCORE 1841630.125
AT ITER 3676 NEW BEST:: SOT 11924781 SOS 7441304 HAS SOPS 6207898 HAS SOUS 1925651 HAS SOUPS 1834152 WITH SCORE 1841593.304
AT ITER 3682 NEW BEST:: SOT 11923992 SOS 7440515 HAS SOPS 6207109 HAS SOUS 1924914 HAS SOUPS 1833415 WITH SCORE 1840855.515
AT ITER 3686 NEW BEST:: SOT 11924063 SOS 7440464 HAS SOPS 6207094 HAS SOUS 1924752 HAS SOUPS 1833253 WITH SCORE 1840693.464
AT ITER 3706 NEW BEST:: SOT 11922856 SOS 7435892 HAS SOPS 6202495 HAS SOUS 1920120 HAS SOUPS 1828621 WITH SCORE 1836056.892
AT ITER 3712 NEW BEST:: SOT 11923070 SOS 7435906 HAS SOPS 6202598 HAS SOUS 1920034 HAS SOUPS 1828535 WITH SCORE 1835970.906
AT ITER 3716 NEW BEST:: SOT 11923075 SOS 7435924 HAS SOPS 6202615 HAS SOUS 1920028 HAS SOUPS 1828529 WITH SCORE 1835964.924
AT ITER 3743 NEW BEST:: SOT 11921368 SOS 7432487 HAS SOPS 6196638 HAS SOUS 1915964 HAS SOUPS 1824465 WITH SCORE 1831897.487
AT ITER 3745 NEW BEST:: SOT 11920034 SOS 7429974 HAS SOPS 6195517 HAS SOUS 1914819 HAS SOUPS 1823320 WITH SCORE 1830749.974
AT ITER 3753 NEW BEST:: SOT 11918760 SOS 7428061 HAS SOPS 6193075 HAS SOUS 1913613 HAS SOUPS 1822114 WITH SCORE 1829542.061
AT ITER 3759 NEW BEST:: SOT 11918760 SOS 7428058 HAS SOPS 6193052 HAS SOUS 1913608 HAS SOUPS 1822109 WITH SCORE 1829537.058
AT ITER 3780 NEW BEST:: SOT 11926549 SOS 7432509 HAS SOPS 6197258 HAS SOUS 1913185 HAS SOUPS 1821876 WITH SCORE 1829308.509
AT ITER 3796 NEW BEST:: SOT 11930921 SOS 7440045 HAS SOPS 6202908 HAS SOUS 1911429 HAS SOUPS 1820120 WITH SCORE 1827560.045
AT ITER 3806 NEW BEST:: SOT 11930915 SOS 7439741 HAS SOPS 6203233 HAS SOUS 1911301 HAS SOUPS 1819992 WITH SCORE 1827431.741
AT ITER 3846 NEW BEST:: SOT 11926262 SOS 7435088 HAS SOPS 6197796 HAS SOUS 1906708 HAS SOUPS 1815399 WITH SCORE 1822834.088
AT ITER 3853 NEW BEST:: SOT 11925999 SOS 7434033 HAS SOPS 6196444 HAS SOUS 1906018 HAS SOUPS 1814709 WITH SCORE 1822143.033
AT ITER 3876 NEW BEST:: SOT 11925875 SOS 7433944 HAS SOPS 6195205 HAS SOUS 1905095 HAS SOUPS 1813786 WITH SCORE 1821219.944
AT ITER 3878 NEW BEST:: SOT 11925036 SOS 7432993 HAS SOPS 6194107 HAS SOUS 1903892 HAS SOUPS 1812576 WITH SCORE 1820008.993
AT ITER 3880 NEW BEST:: SOT 11924877 SOS 7436165 HAS SOPS 6195456 HAS SOUS 1903878 HAS SOUPS 1812412 WITH SCORE 1819848.165
AT ITER 3893 NEW BEST:: SOT 11924822 SOS 7434748 HAS SOPS 6194296 HAS SOUS 1903627 HAS SOUPS 1812161 WITH SCORE 1819595.748
AT ITER 3898 NEW BEST:: SOT 11924989 SOS 7436863 HAS SOPS 6196691 HAS SOUS 1902922 HAS SOUPS 1811491 WITH SCORE 1818927.863
AT ITER 3899 NEW BEST:: SOT 11923981 SOS 7439379 HAS SOPS 6198840 HAS SOUS 1901504 HAS SOUPS 1809890 WITH SCORE 1817329.379
AT ITER 3910 NEW BEST:: SOT 11923603 SOS 7439345 HAS SOPS 6199269 HAS SOUS 1897034 HAS SOUPS 1805380 WITH SCORE 1812819.345
AT ITER 3928 NEW BEST:: SOT 11919076 SOS 7430456 HAS SOPS 6192555 HAS SOUS 1893503 HAS SOUPS 1801939 WITH SCORE 1809369.456
AT ITER 3945 NEW BEST:: SOT 11918916 SOS 7429646 HAS SOPS 6191088 HAS SOUS 1893190 HAS SOUPS 1801606 WITH SCORE 1809035.646
AT ITER 3950 NEW BEST:: SOT 11914206 SOS 7412367 HAS SOPS 6181368 HAS SOUS 1885958 HAS SOUPS 1794374 WITH SCORE 1801786.367
AT ITER 3961 NEW BEST:: SOT 11913272 SOS 7409523 HAS SOPS 6179339 HAS SOUS 1881280 HAS SOUPS 1789888 WITH SCORE 1797297.523
AT ITER 3966 NEW BEST:: SOT 11912581 SOS 7408620 HAS SOPS 6178285 HAS SOUS 1880378 HAS SOUPS 1788986 WITH SCORE 1796394.62
AT ITER 3977 NEW BEST:: SOT 11910247 SOS 7403058 HAS SOPS 6175096 HAS SOUS 1879645 HAS SOUPS 1788486 WITH SCORE 1795889.058
AT ITER 3981 NEW BEST:: SOT 11910066 SOS 7402001 HAS SOPS 6174100 HAS SOUS 1878821 HAS SOUPS 1787688 WITH SCORE 1795090.001
AT ITER 3982 NEW BEST:: SOT 11909698 SOS 7401750 HAS SOPS 6173383 HAS SOUS 1874901 HAS SOUPS 1783768 WITH SCORE 1791169.75
AT ITER 3985 NEW BEST:: SOT 11908080 SOS 7402002 HAS SOPS 6173101 HAS SOUS 1871977 HAS SOUPS 1780844 WITH SCORE 1788246.002
AT ITER 3986 NEW BEST:: SOT 11908137 SOS 7401069 HAS SOPS 6172330 HAS SOUS 1871914 HAS SOUPS 1780781 WITH SCORE 1788182.069
AT ITER 3993 NEW BEST:: SOT 11908093 SOS 7402785 HAS SOPS 6174026 HAS SOUS 1871612 HAS SOUPS 1780479 WITH SCORE 1787881.785
AT ITER 3995 NEW BEST:: SOT 11906150 SOS 7400872 HAS SOPS 6171740 HAS SOUS 1869565 HAS SOUPS 1778411 WITH SCORE 1785811.872
AT ITER 3997 NEW BEST:: SOT 11906630 SOS 7401352 HAS SOPS 6172076 HAS SOUS 1868597 HAS SOUPS 1777443 WITH SCORE 1784844.352
AT ITER 4021 NEW BEST:: SOT 11902801 SOS 7397287 HAS SOPS 6166862 HAS SOUS 1860906 HAS SOUPS 1769752 WITH SCORE 1777149.287
AT ITER 4022 NEW BEST:: SOT 11899783 SOS 7391248 HAS SOPS 6161481 HAS SOUS 1854480 HAS SOUPS 1763367 WITH SCORE 1770758.248
AT ITER 4032 NEW BEST:: SOT 11898840 SOS 7389856 HAS SOPS 6159785 HAS SOUS 1852722 HAS SOUPS 1761609 WITH SCORE 1768998.856
AT ITER 4036 NEW BEST:: SOT 11898666 SOS 7389682 HAS SOPS 6159611 HAS SOUS 1852356 HAS SOUPS 1761243 WITH SCORE 1768632.682
AT ITER 4050 NEW BEST:: SOT 11899366 SOS 7393293 HAS SOPS 6163449 HAS SOUS 1851701 HAS SOUPS 1760636 WITH SCORE 1768029.293
AT ITER 4059 NEW BEST:: SOT 11899124 SOS 7393029 HAS SOPS 6163165 HAS SOUS 1851045 HAS SOUPS 1759980 WITH SCORE 1767373.029
AT ITER 4061 NEW BEST:: SOT 11897936 SOS 7391841 HAS SOPS 6161977 HAS SOUS 1850881 HAS SOUPS 1759816 WITH SCORE 1767207.841
AT ITER 4076 NEW BEST:: SOT 11902737 SOS 7398815 HAS SOPS 6166593 HAS SOUS 1848454 HAS SOUPS 1757389 WITH SCORE 1764787.815
AT ITER 4088 NEW BEST:: SOT 11903146 SOS 7399136 HAS SOPS 6166430 HAS SOUS 1846927 HAS SOUPS 1755862 WITH SCORE 1763261.136
AT ITER 4098 NEW BEST:: SOT 11903783 SOS 7399589 HAS SOPS 6167067 HAS SOUS 1844504 HAS SOUPS 1753485 WITH SCORE 1760884.589
AT ITER 4110 NEW BEST:: SOT 11900899 SOS 7395855 HAS SOPS 6162808 HAS SOUS 1839445 HAS SOUPS 1748451 WITH SCORE 1755846.855
AT ITER 4111 NEW BEST:: SOT 11899247 SOS 7393445 HAS SOPS 6160269 HAS SOUS 1835787 HAS SOUPS 1744830 WITH SCORE 1752223.445
AT ITER 4128 NEW BEST:: SOT 11899123 SOS 7393321 HAS SOPS 6160145 HAS SOUS 1835631 HAS SOUPS 1744674 WITH SCORE 1752067.321
AT ITER 4143 NEW BEST:: SOT 11898059 SOS 7389644 HAS SOPS 6155890 HAS SOUS 1835521 HAS SOUPS 1744496 WITH SCORE 1751885.644
AT ITER 4152 NEW BEST:: SOT 11897672 SOS 7391076 HAS SOPS 6155975 HAS SOUS 1834170 HAS SOUPS 1743145 WITH SCORE 1750536.076
AT ITER 4154 NEW BEST:: SOT 11897584 SOS 7390988 HAS SOPS 6155887 HAS SOUS 1834026 HAS SOUPS 1743001 WITH SCORE 1750391.988
AT ITER 4173 NEW BEST:: SOT 11894624 SOS 7386669 HAS SOPS 6150946 HAS SOUS 1832839 HAS SOUPS 1741814 WITH SCORE 1749200.669
AT ITER 4182 NEW BEST:: SOT 11894559 SOS 7386944 HAS SOPS 6150951 HAS SOUS 1832409 HAS SOUPS 1741384 WITH SCORE 1748770.944
AT ITER 4184 NEW BEST:: SOT 11896810 SOS 7355701 HAS SOPS 6121444 HAS SOUS 1831623 HAS SOUPS 1740815 WITH SCORE 1748170.701
AT ITER 4198 NEW BEST:: SOT 11896586 SOS 7356101 HAS SOPS 6121532 HAS SOUS 1831113 HAS SOUPS 1740305 WITH SCORE 1747661.101
AT ITER 4230 NEW BEST:: SOT 11898007 SOS 7355060 HAS SOPS 6121102 HAS SOUS 1830970 HAS SOUPS 1740162 WITH SCORE 1747517.06
AT ITER 4234 NEW BEST:: SOT 11896984 SOS 7352025 HAS SOPS 6118038 HAS SOUS 1827457 HAS SOUPS 1736649 WITH SCORE 1744001.025
AT ITER 4235 NEW BEST:: SOT 11901086 SOS 7357796 HAS SOPS 6123591 HAS SOUS 1820249 HAS SOUPS 1729441 WITH SCORE 1736798.796
AT ITER 4262 NEW BEST:: SOT 11901352 SOS 7359009 HAS SOPS 6121517 HAS SOUS 1819727 HAS SOUPS 1728919 WITH SCORE 1736278.009
AT ITER 4294 NEW BEST:: SOT 11901067 SOS 7358049 HAS SOPS 6120387 HAS SOUS 1819163 HAS SOUPS 1728355 WITH SCORE 1735713.049
AT ITER 4296 NEW BEST:: SOT 11901918 SOS 7365435 HAS SOPS 6132325 HAS SOUS 1818158 HAS SOUPS 1727350 WITH SCORE 1734715.435
AT ITER 4303 NEW BEST:: SOT 11902275 SOS 7366317 HAS SOPS 6133401 HAS SOUS 1817839 HAS SOUPS 1727056 WITH SCORE 1734422.317
AT ITER 4314 NEW BEST:: SOT 11902447 SOS 7364430 HAS SOPS 6133130 HAS SOUS 1817704 HAS SOUPS 1726921 WITH SCORE 1734285.43
AT ITER 4319 NEW BEST:: SOT 11902317 SOS 7366233 HAS SOPS 6132992 HAS SOUS 1816037 HAS SOUPS 1725254 WITH SCORE 1732620.233
AT ITER 4342 NEW BEST:: SOT 11902723 SOS 7366515 HAS SOPS 6133272 HAS SOUS 1815087 HAS SOUPS 1724324 WITH SCORE 1731690.515
AT ITER 4343 NEW BEST:: SOT 11902865 SOS 7366701 HAS SOPS 6133324 HAS SOUS 1814953 HAS SOUPS 1724190 WITH SCORE 1731556.701
AT ITER 4358 NEW BEST:: SOT 11903264 SOS 7366092 HAS SOPS 6134804 HAS SOUS 1813945 HAS SOUPS 1723277 WITH SCORE 1730643.092
AT ITER 4361 NEW BEST:: SOT 11902512 SOS 7363403 HAS SOPS 6131524 HAS SOUS 1813186 HAS SOUPS 1722518 WITH SCORE 1729881.403
AT ITER 4403 NEW BEST:: SOT 11903895 SOS 7368489 HAS SOPS 6133375 HAS SOUS 1803758 HAS SOUPS 1712990 WITH SCORE 1720358.489
AT ITER 4417 NEW BEST:: SOT 11901544 SOS 7364809 HAS SOPS 6130411 HAS SOUS 1799735 HAS SOUPS 1709082 WITH SCORE 1716446.809
AT ITER 4419 NEW BEST:: SOT 11900373 SOS 7362901 HAS SOPS 6128635 HAS SOUS 1797864 HAS SOUPS 1707439 WITH SCORE 1714801.901
AT ITER 4437 NEW BEST:: SOT 11898898 SOS 7360987 HAS SOPS 6125281 HAS SOUS 1792390 HAS SOUPS 1701965 WITH SCORE 1709325.987
AT ITER 4462 NEW BEST:: SOT 11898615 SOS 7361456 HAS SOPS 6126100 HAS SOUS 1791116 HAS SOUPS 1700691 WITH SCORE 1708052.456
AT ITER 4468 NEW BEST:: SOT 11900676 SOS 7368184 HAS SOPS 6133105 HAS SOUS 1788532 HAS SOUPS 1698107 WITH SCORE 1705475.184
AT ITER 4478 NEW BEST:: SOT 11899312 SOS 7367165 HAS SOPS 6130939 HAS SOUS 1785728 HAS SOUPS 1695303 WITH SCORE 1702670.165
AT ITER 4479 NEW BEST:: SOT 11901389 SOS 7374581 HAS SOPS 6135728 HAS SOUS 1785484 HAS SOUPS 1694971 WITH SCORE 1702345.581
AT ITER 4482 NEW BEST:: SOT 11900760 SOS 7374603 HAS SOPS 6134757 HAS SOUS 1785010 HAS SOUPS 1694493 WITH SCORE 1701867.603
AT ITER 4499 NEW BEST:: SOT 11900320 SOS 7374163 HAS SOPS 6134061 HAS SOUS 1783746 HAS SOUPS 1693229 WITH SCORE 1700603.163
AT ITER 4507 NEW BEST:: SOT 11900440 SOS 7374484 HAS SOPS 6134069 HAS SOUS 1783497 HAS SOUPS 1692980 WITH SCORE 1700354.484
AT ITER 4525 NEW BEST:: SOT 11915295 SOS 7393193 HAS SOPS 6154430 HAS SOUS 1779028 HAS SOUPS 1688572 WITH SCORE 1695965.193
AT ITER 4535 NEW BEST:: SOT 11913858 SOS 7391756 HAS SOPS 6152753 HAS SOUS 1777111 HAS SOUPS 1686655 WITH SCORE 1694046.756
AT ITER 4562 NEW BEST:: SOT 11913932 SOS 7387945 HAS SOPS 6149184 HAS SOUS 1776724 HAS SOUPS 1686272 WITH SCORE 1693659.945
AT ITER 4566 NEW BEST:: SOT 11914363 SOS 7388926 HAS SOPS 6149569 HAS SOUS 1775807 HAS SOUPS 1685355 WITH SCORE 1692743.926
AT ITER 4570 NEW BEST:: SOT 11914190 SOS 7388313 HAS SOPS 6148303 HAS SOUS 1773757 HAS SOUPS 1683196 WITH SCORE 1690584.313
AT ITER 4575 NEW BEST:: SOT 11916516 SOS 7390639 HAS SOPS 6150501 HAS SOUS 1773719 HAS SOUPS 1683158 WITH SCORE 1690548.639
AT ITER 4582 NEW BEST:: SOT 11916411 SOS 7390373 HAS SOPS 6150133 HAS SOUS 1773298 HAS SOUPS 1682737 WITH SCORE 1690127.373
AT ITER 4612 NEW BEST:: SOT 11917083 SOS 7389783 HAS SOPS 6151040 HAS SOUS 1771511 HAS SOUPS 1680950 WITH SCORE 1688339.783
AT ITER 4634 NEW BEST:: SOT 11912905 SOS 7396591 HAS SOPS 6155822 HAS SOUS 1771256 HAS SOUPS 1680571 WITH SCORE 1687967.591
AT ITER 4642 NEW BEST:: SOT 11911825 SOS 7394402 HAS SOPS 6153894 HAS SOUS 1770195 HAS SOUPS 1679510 WITH SCORE 1686904.402
AT ITER 4650 NEW BEST:: SOT 11911390 SOS 7394210 HAS SOPS 6153242 HAS SOUS 1769667 HAS SOUPS 1678953 WITH SCORE 1686347.21
AT ITER 4660 NEW BEST:: SOT 11910994 SOS 7397486 HAS SOPS 6155414 HAS SOUS 1769396 HAS SOUPS 1678682 WITH SCORE 1686079.486
AT ITER 4662 NEW BEST:: SOT 11911264 SOS 7398803 HAS SOPS 6156641 HAS SOUS 1769339 HAS SOUPS 1678653 WITH SCORE 1686051.803
AT ITER 4664 NEW BEST:: SOT 11910842 SOS 7398181 HAS SOPS 6156039 HAS SOUS 1768417 HAS SOUPS 1677736 WITH SCORE 1685134.181
AT ITER 4675 NEW BEST:: SOT 11910091 SOS 7395022 HAS SOPS 6154087 HAS SOUS 1767471 HAS SOUPS 1676825 WITH SCORE 1684220.022
AT ITER 4676 NEW BEST:: SOT 11909665 SOS 7394469 HAS SOPS 6154049 HAS SOUS 1767173 HAS SOUPS 1676548 WITH SCORE 1683942.469
AT ITER 4693 NEW BEST:: SOT 11911045 SOS 7395493 HAS SOPS 6153712 HAS SOUS 1765557 HAS SOUPS 1674932 WITH SCORE 1682327.493
AT ITER 4723 NEW BEST:: SOT 11906261 SOS 7390700 HAS SOPS 6148055 HAS SOUS 1759437 HAS SOUPS 1668812 WITH SCORE 1676202.7
AT ITER 4734 NEW BEST:: SOT 11907892 SOS 7398688 HAS SOPS 6154393 HAS SOUS 1757993 HAS SOUPS 1667368 WITH SCORE 1674766.688
AT ITER 4771 NEW BEST:: SOT 11907416 SOS 7398079 HAS SOPS 6153486 HAS SOUS 1757254 HAS SOUPS 1666654 WITH SCORE 1674052.079
AT ITER 4792 NEW BEST:: SOT 11906038 SOS 7395614 HAS SOPS 6150511 HAS SOUS 1752622 HAS SOUPS 1662022 WITH SCORE 1669417.614
AT ITER 4822 NEW BEST:: SOT 11905886 SOS 7392690 HAS SOPS 6150776 HAS SOUS 1752554 HAS SOUPS 1661954 WITH SCORE 1669346.69
AT ITER 4823 NEW BEST:: SOT 11905749 SOS 7392544 HAS SOPS 6150623 HAS SOUS 1752267 HAS SOUPS 1661702 WITH SCORE 1669094.544
AT ITER 4844 NEW BEST:: SOT 11905661 SOS 7392458 HAS SOPS 6150512 HAS SOUS 1751983 HAS SOUPS 1661421 WITH SCORE 1668813.458
AT ITER 4846 NEW BEST:: SOT 11905576 SOS 7392373 HAS SOPS 6150427 HAS SOUS 1751814 HAS SOUPS 1661252 WITH SCORE 1668644.373
AT ITER 4852 NEW BEST:: SOT 11905558 SOS 7392457 HAS SOPS 6150707 HAS SOUS 1751733 HAS SOUPS 1661171 WITH SCORE 1668563.457
AT ITER 4868 NEW BEST:: SOT 11905358 SOS 7392188 HAS SOPS 6150331 HAS SOUS 1751302 HAS SOUPS 1660736 WITH SCORE 1668128.188
AT ITER 4916 NEW BEST:: SOT 11905359 SOS 7392174 HAS SOPS 6150287 HAS SOUS 1751263 HAS SOUPS 1660702 WITH SCORE 1668094.174
AT ITER 4929 NEW BEST:: SOT 11905012 SOS 7392783 HAS SOPS 6150644 HAS SOUS 1751170 HAS SOUPS 1660537 WITH SCORE 1667929.783
AT ITER 4952 NEW BEST:: SOT 11905051 SOS 7388282 HAS SOPS 6148159 HAS SOUS 1750842 HAS SOUPS 1660209 WITH SCORE 1667597.282
AT ITER 4957 NEW BEST:: SOT 11903362 SOS 7386695 HAS SOPS 6145968 HAS SOUS 1747529 HAS SOUPS 1656968 WITH SCORE 1664354.695
AT ITER 4969 NEW BEST:: SOT 11903260 SOS 7384080 HAS SOPS 6143324 HAS SOUS 1745726 HAS SOUPS 1655165 WITH SCORE 1662549.08
AT ITER 4983 NEW BEST:: SOT 11902896 SOS 7381007 HAS SOPS 6140449 HAS SOUS 1744266 HAS SOUPS 1653750 WITH SCORE 1661131.007
AT ITER 4988 NEW BEST:: SOT 11903535 SOS 7381805 HAS SOPS 6141405 HAS SOUS 1743165 HAS SOUPS 1652649 WITH SCORE 1660030.805
AT ITER 4994 NEW BEST:: SOT 11902111 SOS 7380381 HAS SOPS 6139597 HAS SOUS 1741085 HAS SOUPS 1650569 WITH SCORE 1657949.381
AT ITER 5001 NEW BEST:: SOT 11902091 SOS 7380358 HAS SOPS 6139565 HAS SOUS 1740982 HAS SOUPS 1650466 WITH SCORE 1657846.358
AT ITER 5056 NEW BEST:: SOT 11901781 SOS 7380166 HAS SOPS 6139115 HAS SOUS 1740465 HAS SOUPS 1649949 WITH SCORE 1657329.166
AT ITER 5084 NEW BEST:: SOT 11903059 SOS 7386707 HAS SOPS 6143024 HAS SOUS 1739989 HAS SOUPS 1649410 WITH SCORE 1656796.707
AT ITER 5090 NEW BEST:: SOT 11899585 SOS 7376274 HAS SOPS 6134715 HAS SOUS 1732856 HAS SOUPS 1642372 WITH SCORE 1649748.274
AT ITER 5125 NEW BEST:: SOT 11899585 SOS 7376106 HAS SOPS 6134592 HAS SOUS 1732856 HAS SOUPS 1642372 WITH SCORE 1649748.106
AT ITER 5130 NEW BEST:: SOT 11899257 SOS 7377168 HAS SOPS 6136630 HAS SOUS 1731867 HAS SOUPS 1641383 WITH SCORE 1648760.168
AT ITER 5133 NEW BEST:: SOT 11886337 SOS 7361163 HAS SOPS 6125533 HAS SOUS 1729301 HAS SOUPS 1638817 WITH SCORE 1646178.163
AT ITER 5135 NEW BEST:: SOT 11886136 SOS 7361082 HAS SOPS 6125840 HAS SOUS 1729198 HAS SOUPS 1638714 WITH SCORE 1646075.082
AT ITER 5178 NEW BEST:: SOT 11881189 SOS 7349682 HAS SOPS 6117388 HAS SOUS 1721810 HAS SOUPS 1631415 WITH SCORE 1638764.682
AT ITER 5189 NEW BEST:: SOT 11878428 SOS 7345297 HAS SOPS 6113180 HAS SOUS 1711795 HAS SOUPS 1621502 WITH SCORE 1628847.297
AT ITER 5192 NEW BEST:: SOT 11877996 SOS 7344865 HAS SOPS 6112380 HAS SOUS 1709523 HAS SOUPS 1619230 WITH SCORE 1626574.865
AT ITER 5203 NEW BEST:: SOT 11869545 SOS 7338091 HAS SOPS 6104901 HAS SOUS 1706898 HAS SOUPS 1616415 WITH SCORE 1623753.091
AT ITER 5230 NEW BEST:: SOT 11870486 SOS 7339698 HAS SOPS 6108249 HAS SOUS 1705511 HAS SOUPS 1615088 WITH SCORE 1622427.698
AT ITER 5234 NEW BEST:: SOT 11870120 SOS 7339432 HAS SOPS 6107905 HAS SOUS 1704678 HAS SOUPS 1614240 WITH SCORE 1621579.432
AT ITER 5236 NEW BEST:: SOT 11869877 SOS 7339378 HAS SOPS 6107662 HAS SOUS 1704705 HAS SOUPS 1614240 WITH SCORE 1621579.378
AT ITER 5241 NEW BEST:: SOT 11869506 SOS 7337590 HAS SOPS 6104947 HAS SOUS 1703015 HAS SOUPS 1612550 WITH SCORE 1619887.59
AT ITER 5247 NEW BEST:: SOT 11869434 SOS 7337957 HAS SOPS 6105047 HAS SOUS 1702602 HAS SOUPS 1612137 WITH SCORE 1619474.957
AT ITER 5263 NEW BEST:: SOT 11872605 SOS 7340034 HAS SOPS 6107124 HAS SOUS 1701030 HAS SOUPS 1610565 WITH SCORE 1617905.034
AT ITER 5276 NEW BEST:: SOT 11880277 SOS 7347224 HAS SOPS 6114198 HAS SOUS 1700190 HAS SOUPS 1609725 WITH SCORE 1617072.224
AT ITER 5280 NEW BEST:: SOT 11880913 SOS 7347970 HAS SOPS 6115446 HAS SOUS 1699061 HAS SOUPS 1608596 WITH SCORE 1615943.97
AT ITER 5307 NEW BEST:: SOT 11880761 SOS 7347818 HAS SOPS 6115230 HAS SOUS 1699021 HAS SOUPS 1608556 WITH SCORE 1615903.818
AT ITER 5327 NEW BEST:: SOT 11880736 SOS 7347781 HAS SOPS 6115207 HAS SOUS 1699013 HAS SOUPS 1608548 WITH SCORE 1615895.781
AT ITER 5329 NEW BEST:: SOT 11880518 SOS 7347543 HAS SOPS 6114827 HAS SOUS 1698704 HAS SOUPS 1608239 WITH SCORE 1615586.543
AT ITER 5336 NEW BEST:: SOT 11880409 SOS 7347206 HAS SOPS 6114530 HAS SOUS 1698683 HAS SOUPS 1608218 WITH SCORE 1615565.206
AT ITER 5406 NEW BEST:: SOT 11879872 SOS 7346483 HAS SOPS 6113835 HAS SOUS 1697386 HAS SOUPS 1606911 WITH SCORE 1614257.483
AT ITER 5430 NEW BEST:: SOT 11876106 SOS 7340602 HAS SOPS 6108620 HAS SOUS 1691356 HAS SOUPS 1600910 WITH SCORE 1608250.602
AT ITER 5467 NEW BEST:: SOT 11875846 SOS 7339934 HAS SOPS 6108016 HAS SOUS 1691004 HAS SOUPS 1600562 WITH SCORE 1607901.934
AT ITER 5488 NEW BEST:: SOT 11878683 SOS 7350550 HAS SOPS 6120659 HAS SOUS 1690379 HAS SOUPS 1599937 WITH SCORE 1607287.55
AT ITER 5507 NEW BEST:: SOT 11880432 SOS 7347609 HAS SOPS 6117361 HAS SOUS 1688244 HAS SOUPS 1597951 WITH SCORE 1605298.609
AT ITER 5517 NEW BEST:: SOT 11882731 SOS 7349550 HAS SOPS 6120027 HAS SOUS 1687358 HAS SOUPS 1597137 WITH SCORE 1604486.55
AT ITER 5531 NEW BEST:: SOT 11882704 SOS 7349418 HAS SOPS 6119859 HAS SOUS 1687337 HAS SOUPS 1597116 WITH SCORE 1604465.418
AT ITER 5554 NEW BEST:: SOT 11880140 SOS 7346818 HAS SOPS 6116569 HAS SOUS 1685362 HAS SOUPS 1595130 WITH SCORE 1602476.818
AT ITER 5598 NEW BEST:: SOT 11879923 SOS 7347663 HAS SOPS 6116301 HAS SOUS 1683139 HAS SOUPS 1592907 WITH SCORE 1600254.663
AT ITER 5599 NEW BEST:: SOT 11876928 SOS 7342119 HAS SOPS 6110780 HAS SOUS 1677623 HAS SOUPS 1587445 WITH SCORE 1594787.119
AT ITER 5645 NEW BEST:: SOT 11876631 SOS 7338680 HAS SOPS 6107228 HAS SOUS 1671287 HAS SOUPS 1581109 WITH SCORE 1588447.68
AT ITER 5701 NEW BEST:: SOT 11876995 SOS 7336034 HAS SOPS 6104082 HAS SOUS 1669850 HAS SOUPS 1579777 WITH SCORE 1587113.034
AT ITER 5739 NEW BEST:: SOT 11878988 SOS 7342459 HAS SOPS 6109073 HAS SOUS 1667492 HAS SOUPS 1577419 WITH SCORE 1584761.459
AT ITER 5756 NEW BEST:: SOT 11878292 SOS 7341763 HAS SOPS 6108377 HAS SOUS 1666772 HAS SOUPS 1576699 WITH SCORE 1584040.763
AT ITER 5767 NEW BEST:: SOT 11877948 SOS 7340479 HAS SOPS 6106785 HAS SOUS 1666460 HAS SOUPS 1576374 WITH SCORE 1583714.479
AT ITER 5772 NEW BEST:: SOT 11876798 SOS 7338492 HAS SOPS 6105518 HAS SOUS 1666081 HAS SOUPS 1576050 WITH SCORE 1583388.492
AT ITER 5814 NEW BEST:: SOT 11876654 SOS 7341547 HAS SOPS 6108740 HAS SOUS 1665103 HAS SOUPS 1575072 WITH SCORE 1582413.547
AT ITER 5825 NEW BEST:: SOT 11876390 SOS 7340908 HAS SOPS 6107950 HAS SOUS 1664590 HAS SOUPS 1574559 WITH SCORE 1581899.908
AT ITER 5834 NEW BEST:: SOT 11875686 SOS 7340210 HAS SOPS 6108398 HAS SOUS 1662212 HAS SOUPS 1573151 WITH SCORE 1580491.21
AT ITER 5854 NEW BEST:: SOT 11875616 SOS 7340092 HAS SOPS 6108380 HAS SOUS 1662164 HAS SOUPS 1573105 WITH SCORE 1580445.092
AT ITER 5858 NEW BEST:: SOT 11875598 SOS 7340269 HAS SOPS 6108437 HAS SOUS 1661975 HAS SOUPS 1572916 WITH SCORE 1580256.269
AT ITER 5869 NEW BEST:: SOT 11869961 SOS 7334368 HAS SOPS 6100626 HAS SOUS 1659534 HAS SOUPS 1569346 WITH SCORE 1576680.368
AT ITER 5895 NEW BEST:: SOT 11869491 SOS 7333818 HAS SOPS 6100082 HAS SOUS 1659247 HAS SOUPS 1569074 WITH SCORE 1576407.818
AT ITER 5931 NEW BEST:: SOT 11868893 SOS 7333676 HAS SOPS 6099108 HAS SOUS 1659077 HAS SOUPS 1568904 WITH SCORE 1576237.676
AT ITER 5939 NEW BEST:: SOT 11866927 SOS 7331889 HAS SOPS 6097124 HAS SOUS 1656158 HAS SOUPS 1565985 WITH SCORE 1573316.889
AT ITER 5963 NEW BEST:: SOT 11863420 SOS 7319652 HAS SOPS 6087017 HAS SOUS 1654123 HAS SOUPS 1564030 WITH SCORE 1571349.652
AT ITER 5984 NEW BEST:: SOT 11862564 SOS 7314495 HAS SOPS 6082228 HAS SOUS 1653897 HAS SOUPS 1563804 WITH SCORE 1571118.495
AT ITER 5985 NEW BEST:: SOT 11862274 SOS 7314178 HAS SOPS 6081687 HAS SOUS 1653746 HAS SOUPS 1563653 WITH SCORE 1570967.178
AT ITER 6018 NEW BEST:: SOT 11862301 SOS 7314238 HAS SOPS 6081746 HAS SOUS 1653692 HAS SOUPS 1563599 WITH SCORE 1570913.238
AT ITER 6025 NEW BEST:: SOT 11860923 SOS 7306573 HAS SOPS 6073278 HAS SOUS 1653589 HAS SOUPS 1563496 WITH SCORE 1570802.573
AT ITER 6084 NEW BEST:: SOT 11865359 SOS 7308920 HAS SOPS 6074920 HAS SOUS 1650860 HAS SOUPS 1560767 WITH SCORE 1568075.92
AT ITER 6117 NEW BEST:: SOT 11863250 SOS 7305949 HAS SOPS 6071396 HAS SOUS 1648074 HAS SOUPS 1557981 WITH SCORE 1565286.949
AT ITER 6167 NEW BEST:: SOT 11863345 SOS 7306026 HAS SOPS 6071473 HAS SOUS 1646733 HAS SOUPS 1556640 WITH SCORE 1563946.026
AT ITER 6175 NEW BEST:: SOT 11868531 SOS 7312461 HAS SOPS 6075627 HAS SOUS 1646776 HAS SOUPS 1556366 WITH SCORE 1563678.461
AT ITER 6181 NEW BEST:: SOT 11868302 SOS 7312226 HAS SOPS 6075459 HAS SOUS 1646754 HAS SOUPS 1556344 WITH SCORE 1563656.226
AT ITER 6206 NEW BEST:: SOT 11867478 SOS 7311242 HAS SOPS 6074555 HAS SOUS 1645896 HAS SOUPS 1555496 WITH SCORE 1562807.242
AT ITER 6211 NEW BEST:: SOT 11864809 SOS 7301576 HAS SOPS 6066896 HAS SOUS 1643388 HAS SOUPS 1553064 WITH SCORE 1560365.576
AT ITER 6222 NEW BEST:: SOT 11864689 SOS 7301342 HAS SOPS 6066656 HAS SOUS 1643244 HAS SOUPS 1552920 WITH SCORE 1560221.342
AT ITER 6223 NEW BEST:: SOT 11866953 SOS 7303606 HAS SOPS 6068232 HAS SOUS 1642344 HAS SOUPS 1552020 WITH SCORE 1559323.606
AT ITER 6228 NEW BEST:: SOT 11867049 SOS 7303741 HAS SOPS 6068423 HAS SOUS 1642314 HAS SOUPS 1551994 WITH SCORE 1559297.741
AT ITER 6251 NEW BEST:: SOT 11867013 SOS 7302922 HAS SOPS 6068306 HAS SOUS 1642261 HAS SOUPS 1551941 WITH SCORE 1559243.922
AT ITER 6256 NEW BEST:: SOT 11866985 SOS 7304265 HAS SOPS 6069990 HAS SOUS 1642068 HAS SOUPS 1551748 WITH SCORE 1559052.265
AT ITER 6285 NEW BEST:: SOT 11866705 SOS 7303985 HAS SOPS 6069438 HAS SOUS 1640388 HAS SOUPS 1550068 WITH SCORE 1557371.985
AT ITER 6306 NEW BEST:: SOT 11866597 SOS 7303839 HAS SOPS 6069414 HAS SOUS 1640042 HAS SOUPS 1549726 WITH SCORE 1557029.839
AT ITER 6319 NEW BEST:: SOT 11867217 SOS 7304459 HAS SOPS 6069762 HAS SOUS 1639910 HAS SOUPS 1549530 WITH SCORE 1556834.459
AT ITER 6327 NEW BEST:: SOT 11866557 SOS 7303799 HAS SOPS 6069102 HAS SOUS 1639910 HAS SOUPS 1549530 WITH SCORE 1556833.799
AT ITER 6337 NEW BEST:: SOT 11866486 SOS 7303749 HAS SOPS 6069152 HAS SOUS 1639778 HAS SOUPS 1549402 WITH SCORE 1556705.749
AT ITER 6364 NEW BEST:: SOT 11866508 SOS 7303701 HAS SOPS 6069193 HAS SOUS 1639688 HAS SOUPS 1549348 WITH SCORE 1556651.701
AT ITER 6375 NEW BEST:: SOT 11866298 SOS 7303507 HAS SOPS 6068847 HAS SOUS 1639345 HAS SOUPS 1549005 WITH SCORE 1556308.507
AT ITER 6424 NEW BEST:: SOT 11864744 SOS 7301205 HAS SOPS 6066137 HAS SOUS 1636635 HAS SOUPS 1546312 WITH SCORE 1553613.205
AT ITER 6473 NEW BEST:: SOT 11863727 SOS 7299916 HAS SOPS 6064929 HAS SOUS 1636360 HAS SOUPS 1546059 WITH SCORE 1553358.916
AT ITER 6488 NEW BEST:: SOT 11862515 SOS 7296263 HAS SOPS 6061892 HAS SOUS 1630871 HAS SOUPS 1540570 WITH SCORE 1547866.263
AT ITER 6490 NEW BEST:: SOT 11861023 SOS 7294859 HAS SOPS 6058137 HAS SOUS 1623905 HAS SOUPS 1533604 WITH SCORE 1540898.859
AT ITER 6491 NEW BEST:: SOT 11861068 SOS 7294348 HAS SOPS 6057706 HAS SOUS 1623076 HAS SOUPS 1532785 WITH SCORE 1540079.348
AT ITER 6502 NEW BEST:: SOT 11860369 SOS 7291909 HAS SOPS 6054825 HAS SOUS 1618068 HAS SOUPS 1527782 WITH SCORE 1535073.909
AT ITER 6514 NEW BEST:: SOT 11859426 SOS 7290775 HAS SOPS 6053586 HAS SOUS 1616868 HAS SOUPS 1526582 WITH SCORE 1533872.775
AT ITER 6519 NEW BEST:: SOT 11861038 SOS 7292387 HAS SOPS 6054814 HAS SOUS 1616540 HAS SOUPS 1526254 WITH SCORE 1533546.387
AT ITER 6521 NEW BEST:: SOT 11858012 SOS 7287895 HAS SOPS 6051631 HAS SOUS 1612729 HAS SOUPS 1522805 WITH SCORE 1530092.895
AT ITER 6524 NEW BEST:: SOT 11857854 SOS 7287432 HAS SOPS 6051677 HAS SOUS 1611546 HAS SOUPS 1521622 WITH SCORE 1528909.432
AT ITER 6525 NEW BEST:: SOT 11856180 SOS 7287675 HAS SOPS 6049251 HAS SOUS 1610687 HAS SOUPS 1520700 WITH SCORE 1527987.675
AT ITER 6536 NEW BEST:: SOT 11854127 SOS 7290904 HAS SOPS 6050697 HAS SOUS 1610775 HAS SOUPS 1520651 WITH SCORE 1527941.904
AT ITER 6561 NEW BEST:: SOT 11855923 SOS 7292949 HAS SOPS 6051782 HAS SOUS 1610850 HAS SOUPS 1520598 WITH SCORE 1527890.949
AT ITER 6567 NEW BEST:: SOT 11857202 SOS 7294223 HAS SOPS 6053457 HAS SOUS 1609125 HAS SOUPS 1519475 WITH SCORE 1526769.223
AT ITER 6582 NEW BEST:: SOT 11857185 SOS 7294260 HAS SOPS 6053347 HAS SOUS 1609095 HAS SOUPS 1519445 WITH SCORE 1526739.26
AT ITER 6583 NEW BEST:: SOT 11856643 SOS 7293345 HAS SOPS 6053050 HAS SOUS 1608733 HAS SOUPS 1519112 WITH SCORE 1526405.345
AT ITER 6587 NEW BEST:: SOT 11856598 SOS 7292396 HAS SOPS 6051923 HAS SOUS 1608468 HAS SOUPS 1518847 WITH SCORE 1526139.396
AT ITER 6599 NEW BEST:: SOT 11856078 SOS 7291876 HAS SOPS 6051243 HAS SOUS 1607508 HAS SOUPS 1517887 WITH SCORE 1525178.876
AT ITER 6602 NEW BEST:: SOT 11856170 SOS 7292700 HAS SOPS 6052245 HAS SOUS 1607205 HAS SOUPS 1517597 WITH SCORE 1524889.7
AT ITER 6614 NEW BEST:: SOT 11856040 SOS 7292508 HAS SOPS 6051985 HAS SOUS 1606871 HAS SOUPS 1517265 WITH SCORE 1524557.508
AT ITER 6656 NEW BEST:: SOT 11855906 SOS 7293177 HAS SOPS 6052060 HAS SOUS 1606836 HAS SOUPS 1517230 WITH SCORE 1524523.177
AT ITER 6661 NEW BEST:: SOT 11855554 SOS 7292785 HAS SOPS 6051692 HAS SOUS 1606268 HAS SOUPS 1516662 WITH SCORE 1523954.785
AT ITER 6663 NEW BEST:: SOT 11855554 SOS 7293387 HAS SOPS 6052294 HAS SOUS 1605666 HAS SOUPS 1516060 WITH SCORE 1523353.387
AT ITER 6664 NEW BEST:: SOT 11856237 SOS 7293289 HAS SOPS 6051988 HAS SOUS 1604381 HAS SOUPS 1514775 WITH SCORE 1522068.289
AT ITER 6673 NEW BEST:: SOT 11856705 SOS 7295927 HAS SOPS 6053560 HAS SOUS 1603104 HAS SOUPS 1513498 WITH SCORE 1520793.927
AT ITER 6684 NEW BEST:: SOT 11855629 SOS 7294851 HAS SOPS 6052196 HAS SOUS 1600952 HAS SOUPS 1511346 WITH SCORE 1518640.851
AT ITER 6687 NEW BEST:: SOT 11852904 SOS 7292126 HAS SOPS 6049551 HAS SOUS 1598171 HAS SOUPS 1508645 WITH SCORE 1515937.126
AT ITER 6700 NEW BEST:: SOT 11852792 SOS 7290478 HAS SOPS 6047948 HAS SOUS 1597934 HAS SOUPS 1508408 WITH SCORE 1515698.478
AT ITER 6734 NEW BEST:: SOT 11853575 SOS 7292441 HAS SOPS 6050253 HAS SOUS 1597477 HAS SOUPS 1507951 WITH SCORE 1515243.441
AT ITER 6738 NEW BEST:: SOT 11853565 SOS 7292425 HAS SOPS 6050206 HAS SOUS 1597436 HAS SOUPS 1507910 WITH SCORE 1515202.425
AT ITER 6742 NEW BEST:: SOT 11853578 SOS 7290709 HAS SOPS 6049503 HAS SOUS 1597369 HAS SOUPS 1507843 WITH SCORE 1515133.709
AT ITER 6743 NEW BEST:: SOT 11853151 SOS 7290282 HAS SOPS 6049083 HAS SOUS 1596634 HAS SOUPS 1507115 WITH SCORE 1514405.282
AT ITER 6761 NEW BEST:: SOT 11854217 SOS 7290722 HAS SOPS 6050897 HAS SOUS 1594876 HAS SOUPS 1506399 WITH SCORE 1513689.722
AT ITER 6773 NEW BEST:: SOT 11853154 SOS 7288057 HAS SOPS 6047712 HAS SOUS 1594347 HAS SOUPS 1505870 WITH SCORE 1513158.057
AT ITER 6787 NEW BEST:: SOT 11852986 SOS 7288271 HAS SOPS 6047905 HAS SOUS 1593931 HAS SOUPS 1505454 WITH SCORE 1512742.271
AT ITER 6792 NEW BEST:: SOT 11853475 SOS 7286652 HAS SOPS 6047619 HAS SOUS 1593489 HAS SOUPS 1505080 WITH SCORE 1512366.652
AT ITER 6802 NEW BEST:: SOT 11849300 SOS 7282347 HAS SOPS 6042921 HAS SOUS 1587171 HAS SOUPS 1498578 WITH SCORE 1505860.347
AT ITER 6816 NEW BEST:: SOT 11850202 SOS 7283665 HAS SOPS 6044369 HAS SOUS 1586995 HAS SOUPS 1498437 WITH SCORE 1505720.665
AT ITER 6845 NEW BEST:: SOT 11849647 SOS 7282970 HAS SOPS 6042984 HAS SOUS 1585930 HAS SOUPS 1497342 WITH SCORE 1504624.97
AT ITER 6849 NEW BEST:: SOT 11850647 SOS 7284822 HAS SOPS 6044790 HAS SOUS 1585842 HAS SOUPS 1497254 WITH SCORE 1504538.822
AT ITER 6911 NEW BEST:: SOT 11850581 SOS 7284829 HAS SOPS 6044526 HAS SOUS 1585708 HAS SOUPS 1497110 WITH SCORE 1504394.829
AT ITER 6934 NEW BEST:: SOT 11850479 SOS 7284711 HAS SOPS 6044504 HAS SOUS 1585654 HAS SOUPS 1497072 WITH SCORE 1504356.711
AT ITER 6948 NEW BEST:: SOT 11850512 SOS 7283983 HAS SOPS 6044132 HAS SOUS 1584648 HAS SOUPS 1496082 WITH SCORE 1503365.983
AT ITER 6959 NEW BEST:: SOT 11850592 SOS 7284918 HAS SOPS 6044768 HAS SOUS 1584491 HAS SOUPS 1495925 WITH SCORE 1503209.918
AT ITER 6968 NEW BEST:: SOT 11852458 SOS 7286778 HAS SOPS 6046068 HAS SOUS 1584117 HAS SOUPS 1495551 WITH SCORE 1502837.778
AT ITER 6976 NEW BEST:: SOT 11850947 SOS 7285285 HAS SOPS 6044575 HAS SOUS 1582784 HAS SOUPS 1494218 WITH SCORE 1501503.285
AT ITER 7000 NEW BEST:: SOT 11844527 SOS 7277391 HAS SOPS 6035541 HAS SOUS 1576450 HAS SOUPS 1487884 WITH SCORE 1495161.391
AT ITER 7004 NEW BEST:: SOT 11842014 SOS 7260824 HAS SOPS 6020853 HAS SOUS 1570063 HAS SOUPS 1481497 WITH SCORE 1488757.824
AT ITER 7006 NEW BEST:: SOT 11839602 SOS 7257176 HAS SOPS 6017830 HAS SOUS 1568572 HAS SOUPS 1479961 WITH SCORE 1487218.176
AT ITER 7035 NEW BEST:: SOT 11839549 SOS 7257039 HAS SOPS 6017643 HAS SOUS 1568481 HAS SOUPS 1479868 WITH SCORE 1487125.039
AT ITER 7040 NEW BEST:: SOT 11838994 SOS 7255640 HAS SOPS 6016314 HAS SOUS 1567786 HAS SOUPS 1479173 WITH SCORE 1486428.64
AT ITER 7042 NEW BEST:: SOT 11836521 SOS 7252351 HAS SOPS 6010695 HAS SOUS 1561366 HAS SOUPS 1472753 WITH SCORE 1480005.351
AT ITER 7079 NEW BEST:: SOT 11835813 SOS 7251697 HAS SOPS 6010077 HAS SOUS 1560272 HAS SOUPS 1471659 WITH SCORE 1478910.697
AT ITER 7086 NEW BEST:: SOT 11835285 SOS 7251169 HAS SOPS 6009549 HAS SOUS 1559678 HAS SOUPS 1471065 WITH SCORE 1478316.169
AT ITER 7108 NEW BEST:: SOT 11836498 SOS 7253195 HAS SOPS 6012197 HAS SOUS 1557640 HAS SOUPS 1469027 WITH SCORE 1476280.195
AT ITER 7129 NEW BEST:: SOT 11836113 SOS 7253940 HAS SOPS 6012296 HAS SOUS 1556304 HAS SOUPS 1467675 WITH SCORE 1474928.94
AT ITER 7132 NEW BEST:: SOT 11835777 SOS 7253604 HAS SOPS 6011960 HAS SOUS 1556112 HAS SOUPS 1467483 WITH SCORE 1474736.604
AT ITER 7152 NEW BEST:: SOT 11835783 SOS 7253002 HAS SOPS 6011546 HAS SOUS 1555946 HAS SOUPS 1467317 WITH SCORE 1474570.002
AT ITER 7177 NEW BEST:: SOT 11835366 SOS 7252420 HAS SOPS 6010964 HAS SOUS 1555519 HAS SOUPS 1466890 WITH SCORE 1474142.42
AT ITER 7182 NEW BEST:: SOT 11835210 SOS 7252264 HAS SOPS 6010792 HAS SOUS 1555335 HAS SOUPS 1466706 WITH SCORE 1473958.264
AT ITER 7188 NEW BEST:: SOT 11833035 SOS 7248132 HAS SOPS 6006652 HAS SOUS 1552497 HAS SOUPS 1463868 WITH SCORE 1471116.132
AT ITER 7193 NEW BEST:: SOT 11833586 SOS 7244526 HAS SOPS 6004812 HAS SOUS 1549688 HAS SOUPS 1461059 WITH SCORE 1468303.526
AT ITER 7231 NEW BEST:: SOT 11831137 SOS 7240980 HAS SOPS 6001538 HAS SOUS 1544213 HAS SOUPS 1455618 WITH SCORE 1462858.98
AT ITER 7261 NEW BEST:: SOT 11830270 SOS 7240132 HAS SOPS 6000850 HAS SOUS 1543391 HAS SOUPS 1454796 WITH SCORE 1462036.132
AT ITER 7272 NEW BEST:: SOT 11816379 SOS 7222145 HAS SOPS 5984272 HAS SOUS 1539936 HAS SOUPS 1451341 WITH SCORE 1458563.145
AT ITER 7285 NEW BEST:: SOT 11820085 SOS 7226527 HAS SOPS 5988920 HAS SOUS 1537774 HAS SOUPS 1449362 WITH SCORE 1456588.527
AT ITER 7290 NEW BEST:: SOT 11819203 SOS 7224458 HAS SOPS 5985965 HAS SOUS 1536958 HAS SOUPS 1448611 WITH SCORE 1455835.458
AT ITER 7295 NEW BEST:: SOT 11818951 SOS 7224072 HAS SOPS 5985921 HAS SOUS 1536776 HAS SOUPS 1448437 WITH SCORE 1455661.072
AT ITER 7304 NEW BEST:: SOT 11817951 SOS 7222896 HAS SOPS 5984663 HAS SOUS 1536153 HAS SOUPS 1447814 WITH SCORE 1455036.896
AT ITER 7311 NEW BEST:: SOT 11816878 SOS 7221094 HAS SOPS 5982925 HAS SOUS 1535277 HAS SOUPS 1446938 WITH SCORE 1454159.094
AT ITER 7327 NEW BEST:: SOT 11813396 SOS 7210964 HAS SOPS 5975498 HAS SOUS 1534494 HAS SOUPS 1446179 WITH SCORE 1453389.964
AT ITER 7384 NEW BEST:: SOT 11813377 SOS 7209020 HAS SOPS 5973736 HAS SOUS 1534182 HAS SOUPS 1445867 WITH SCORE 1453076.02
AT ITER 7394 NEW BEST:: SOT 11813267 SOS 7208883 HAS SOPS 5973587 HAS SOUS 1534069 HAS SOUPS 1445754 WITH SCORE 1452962.883
AT ITER 7432 NEW BEST:: SOT 11812211 SOS 7206674 HAS SOPS 5971693 HAS SOUS 1532662 HAS SOUPS 1444359 WITH SCORE 1451565.674
AT ITER 7433 NEW BEST:: SOT 11811819 SOS 7206136 HAS SOPS 5970675 HAS SOUS 1530096 HAS SOUPS 1441793 WITH SCORE 1448999.136
AT ITER 7443 NEW BEST:: SOT 11811734 SOS 7205968 HAS SOPS 5970434 HAS SOUS 1529971 HAS SOUPS 1441668 WITH SCORE 1448873.968
AT ITER 7445 NEW BEST:: SOT 11811380 SOS 7205614 HAS SOPS 5969952 HAS SOUS 1529193 HAS SOUPS 1440890 WITH SCORE 1448095.614
AT ITER 7449 NEW BEST:: SOT 11811972 SOS 7206020 HAS SOPS 5970439 HAS SOUS 1529034 HAS SOUPS 1440752 WITH SCORE 1447958.02
AT ITER 7454 NEW BEST:: SOT 11812675 SOS 7207119 HAS SOPS 5971273 HAS SOUS 1528635 HAS SOUPS 1440386 WITH SCORE 1447593.119
AT ITER 7465 NEW BEST:: SOT 11810190 SOS 7205448 HAS SOPS 5968557 HAS SOUS 1525149 HAS SOUPS 1436900 WITH SCORE 1444105.448
AT ITER 7475 NEW BEST:: SOT 11812428 SOS 7209903 HAS SOPS 5971059 HAS SOUS 1520934 HAS SOUPS 1432685 WITH SCORE 1439894.903
AT ITER 7480 NEW BEST:: SOT 11812589 SOS 7211550 HAS SOPS 5972706 HAS SOUS 1520386 HAS SOUPS 1432137 WITH SCORE 1439348.55
AT ITER 7486 NEW BEST:: SOT 11816859 SOS 7217653 HAS SOPS 5977210 HAS SOUS 1518046 HAS SOUPS 1429797 WITH SCORE 1437014.653
AT ITER 7499 NEW BEST:: SOT 11817630 SOS 7212688 HAS SOPS 5974153 HAS SOUS 1517469 HAS SOUPS 1429220 WITH SCORE 1436432.688
AT ITER 7559 NEW BEST:: SOT 11817590 SOS 7210699 HAS SOPS 5972385 HAS SOUS 1516939 HAS SOUPS 1428690 WITH SCORE 1435900.699
AT ITER 7566 NEW BEST:: SOT 11819986 SOS 7216511 HAS SOPS 5977781 HAS SOUS 1516624 HAS SOUPS 1428301 WITH SCORE 1435517.511
AT ITER 7569 NEW BEST:: SOT 11818131 SOS 7214789 HAS SOPS 5975068 HAS SOUS 1512306 HAS SOUPS 1424022 WITH SCORE 1431236.789
AT ITER 7584 NEW BEST:: SOT 11817891 SOS 7214549 HAS SOPS 5974828 HAS SOUS 1512258 HAS SOUPS 1423974 WITH SCORE 1431188.549
AT ITER 7666 NEW BEST:: SOT 11818562 SOS 7216603 HAS SOPS 5975612 HAS SOUS 1509785 HAS SOUPS 1421429 WITH SCORE 1428645.603
AT ITER 7669 NEW BEST:: SOT 11815140 SOS 7211777 HAS SOPS 5970981 HAS SOUS 1505440 HAS SOUPS 1417139 WITH SCORE 1424350.777
AT ITER 7707 NEW BEST:: SOT 11814953 SOS 7211658 HAS SOPS 5970660 HAS SOUS 1505360 HAS SOUPS 1417052 WITH SCORE 1424263.658
AT ITER 7715 NEW BEST:: SOT 11814854 SOS 7211579 HAS SOPS 5970823 HAS SOUS 1502844 HAS SOUPS 1414536 WITH SCORE 1421747.579
AT ITER 7767 NEW BEST:: SOT 11814744 SOS 7211463 HAS SOPS 5970614 HAS SOUS 1502797 HAS SOUPS 1414462 WITH SCORE 1421673.463
AT ITER 7778 NEW BEST:: SOT 11817245 SOS 7210308 HAS SOPS 5969330 HAS SOUS 1501668 HAS SOUPS 1413333 WITH SCORE 1420543.308
AT ITER 7792 NEW BEST:: SOT 11817223 SOS 7210286 HAS SOPS 5969276 HAS SOUS 1501598 HAS SOUPS 1413263 WITH SCORE 1420473.286
AT ITER 7793 NEW BEST:: SOT 11815021 SOS 7206962 HAS SOPS 5965952 HAS SOUS 1499106 HAS SOUPS 1410771 WITH SCORE 1417977.962
AT ITER 7838 NEW BEST:: SOT 11815283 SOS 7208098 HAS SOPS 5967133 HAS SOUS 1497933 HAS SOUPS 1409598 WITH SCORE 1416806.098
AT ITER 7867 NEW BEST:: SOT 11815127 SOS 7208060 HAS SOPS 5965274 HAS SOUS 1495219 HAS SOUPS 1406810 WITH SCORE 1414018.06
AT ITER 7900 NEW BEST:: SOT 11815112 SOS 7208083 HAS SOPS 5965301 HAS SOUS 1495034 HAS SOUPS 1406625 WITH SCORE 1413833.083
AT ITER 7913 NEW BEST:: SOT 11815768 SOS 7208739 HAS SOPS 5965749 HAS SOUS 1494842 HAS SOUPS 1406385 WITH SCORE 1413593.739
AT ITER 7974 NEW BEST:: SOT 11820747 SOS 7218503 HAS SOPS 5971068 HAS SOUS 1494721 HAS SOUPS 1406249 WITH SCORE 1413467.503
AT ITER 7975 NEW BEST:: SOT 11820678 SOS 7218380 HAS SOPS 5970768 HAS SOUS 1494434 HAS SOUPS 1405962 WITH SCORE 1413180.38
AT ITER 7976 NEW BEST:: SOT 11820967 SOS 7219455 HAS SOPS 5971201 HAS SOUS 1494375 HAS SOUPS 1405903 WITH SCORE 1413122.455
AT ITER 8012 NEW BEST:: SOT 11821081 SOS 7221258 HAS SOPS 5972477 HAS SOUS 1492296 HAS SOUPS 1403824 WITH SCORE 1411045.258
AT ITER 8034 NEW BEST:: SOT 11820695 SOS 7220397 HAS SOPS 5971601 HAS SOUS 1491728 HAS SOUPS 1403256 WITH SCORE 1410476.397
AT ITER 8051 NEW BEST:: SOT 11820617 SOS 7220319 HAS SOPS 5971491 HAS SOUS 1491714 HAS SOUPS 1403242 WITH SCORE 1410462.319
AT ITER 8059 NEW BEST:: SOT 11820561 SOS 7220137 HAS SOPS 5971476 HAS SOUS 1491421 HAS SOUPS 1402962 WITH SCORE 1410182.137
AT ITER 8092 NEW BEST:: SOT 11817449 SOS 7217836 HAS SOPS 5968670 HAS SOUS 1490014 HAS SOUPS 1401697 WITH SCORE 1408914.836
AT ITER 8110 NEW BEST:: SOT 11816814 SOS 7217194 HAS SOPS 5968541 HAS SOUS 1487390 HAS SOUPS 1399073 WITH SCORE 1406290.194
AT ITER 8120 NEW BEST:: SOT 11815540 SOS 7214885 HAS SOPS 5965875 HAS SOUS 1484845 HAS SOUPS 1396528 WITH SCORE 1403742.885
AT ITER 8128 NEW BEST:: SOT 11815249 SOS 7214458 HAS SOPS 5965192 HAS SOUS 1483772 HAS SOUPS 1395455 WITH SCORE 1402669.458
AT ITER 8134 NEW BEST:: SOT 11815086 SOS 7214191 HAS SOPS 5964958 HAS SOUS 1483236 HAS SOUPS 1394919 WITH SCORE 1402133.191
AT ITER 8142 NEW BEST:: SOT 11815236 SOS 7214977 HAS SOPS 5965424 HAS SOUS 1482280 HAS SOUPS 1393963 WITH SCORE 1401177.977
AT ITER 8145 NEW BEST:: SOT 11815233 SOS 7214930 HAS SOPS 5965408 HAS SOUS 1482270 HAS SOUPS 1393953 WITH SCORE 1401167.93
AT ITER 8182 NEW BEST:: SOT 11815318 SOS 7215998 HAS SOPS 5966123 HAS SOUS 1482217 HAS SOUPS 1393900 WITH SCORE 1401115.998
AT ITER 8183 NEW BEST:: SOT 11812813 SOS 7212108 HAS SOPS 5961777 HAS SOUS 1480846 HAS SOUPS 1392529 WITH SCORE 1399741.108
AT ITER 8186 NEW BEST:: SOT 11808713 SOS 7207309 HAS SOPS 5957049 HAS SOUS 1474433 HAS SOUPS 1386116 WITH SCORE 1393323.309
AT ITER 8214 NEW BEST:: SOT 11801923 SOS 7200519 HAS SOPS 5950259 HAS SOUS 1468711 HAS SOUPS 1380394 WITH SCORE 1387594.519
AT ITER 8222 NEW BEST:: SOT 11801687 SOS 7200228 HAS SOPS 5949826 HAS SOUS 1467217 HAS SOUPS 1378913 WITH SCORE 1386113.228
AT ITER 8231 NEW BEST:: SOT 11800847 SOS 7199448 HAS SOPS 5948510 HAS SOUS 1465194 HAS SOUPS 1376880 WITH SCORE 1384079.448
AT ITER 8242 NEW BEST:: SOT 11800419 SOS 7198605 HAS SOPS 5947736 HAS SOUS 1464557 HAS SOUPS 1376243 WITH SCORE 1383441.605
AT ITER 8249 NEW BEST:: SOT 11800325 SOS 7199275 HAS SOPS 5949299 HAS SOUS 1464421 HAS SOUPS 1376107 WITH SCORE 1383306.275
AT ITER 8275 NEW BEST:: SOT 11800329 SOS 7199277 HAS SOPS 5949311 HAS SOUS 1464418 HAS SOUPS 1376104 WITH SCORE 1383303.277
AT ITER 8302 NEW BEST:: SOT 11799751 SOS 7199352 HAS SOPS 5950019 HAS SOUS 1463365 HAS SOUPS 1375051 WITH SCORE 1382250.352
AT ITER 8306 NEW BEST:: SOT 11801014 SOS 7203471 HAS SOPS 5952895 HAS SOUS 1461026 HAS SOUPS 1372712 WITH SCORE 1379915.471
AT ITER 8327 NEW BEST:: SOT 11801048 SOS 7203505 HAS SOPS 5952929 HAS SOUS 1460964 HAS SOUPS 1372650 WITH SCORE 1379853.505
AT ITER 8330 NEW BEST:: SOT 11799581 SOS 7201715 HAS SOPS 5951267 HAS SOUS 1459118 HAS SOUPS 1370822 WITH SCORE 1378023.715
AT ITER 8361 NEW BEST:: SOT 11799569 SOS 7201727 HAS SOPS 5951339 HAS SOUS 1458778 HAS SOUPS 1370482 WITH SCORE 1377683.727
AT ITER 8370 NEW BEST:: SOT 11799843 SOS 7202009 HAS SOPS 5952042 HAS SOUS 1458564 HAS SOUPS 1370268 WITH SCORE 1377470.009
AT ITER 8374 NEW BEST:: SOT 11799512 SOS 7200425 HAS SOPS 5950675 HAS SOUS 1457869 HAS SOUPS 1369573 WITH SCORE 1376773.425
AT ITER 8412 NEW BEST:: SOT 11799272 SOS 7198491 HAS SOPS 5949010 HAS SOUS 1456862 HAS SOUPS 1368566 WITH SCORE 1375764.491
AT ITER 8447 NEW BEST:: SOT 11797147 SOS 7196102 HAS SOPS 5945647 HAS SOUS 1452667 HAS SOUPS 1364349 WITH SCORE 1371545.102
AT ITER 8537 NEW BEST:: SOT 11795646 SOS 7191947 HAS SOPS 5939774 HAS SOUS 1452578 HAS SOUPS 1364260 WITH SCORE 1371451.947
AT ITER 8541 NEW BEST:: SOT 11796560 SOS 7193335 HAS SOPS 5941211 HAS SOUS 1450899 HAS SOUPS 1362581 WITH SCORE 1369774.335
AT ITER 8613 NEW BEST:: SOT 11796612 SOS 7193387 HAS SOPS 5941103 HAS SOUS 1450671 HAS SOUPS 1362353 WITH SCORE 1369546.387
AT ITER 8616 NEW BEST:: SOT 11796319 SOS 7192577 HAS SOPS 5940527 HAS SOUS 1449923 HAS SOUPS 1361713 WITH SCORE 1368905.577
AT ITER 8666 NEW BEST:: SOT 11796147 SOS 7192405 HAS SOPS 5940179 HAS SOUS 1449131 HAS SOUPS 1360921 WITH SCORE 1368113.405
AT ITER 8682 NEW BEST:: SOT 11795842 SOS 7192271 HAS SOPS 5939874 HAS SOUS 1448692 HAS SOUPS 1360425 WITH SCORE 1367617.271
AT ITER 8698 NEW BEST:: SOT 11795661 SOS 7191027 HAS SOPS 5938616 HAS SOUS 1447988 HAS SOUPS 1359740 WITH SCORE 1366931.027
AT ITER 8739 NEW BEST:: SOT 11794493 SOS 7189667 HAS SOPS 5936988 HAS SOUS 1444474 HAS SOUPS 1356226 WITH SCORE 1363415.667
AT ITER 8817 NEW BEST:: SOT 11795657 SOS 7194370 HAS SOPS 5941006 HAS SOUS 1443566 HAS SOUPS 1355318 WITH SCORE 1362512.37
AT ITER 8870 NEW BEST:: SOT 11795492 SOS 7194232 HAS SOPS 5940862 HAS SOUS 1443455 HAS SOUPS 1355201 WITH SCORE 1362395.232
AT ITER 8916 NEW BEST:: SOT 11795245 SOS 7194011 HAS SOPS 5940293 HAS SOUS 1442965 HAS SOUPS 1354711 WITH SCORE 1361905.011
AT ITER 8966 NEW BEST:: SOT 11795229 SOS 7193995 HAS SOPS 5940277 HAS SOUS 1442947 HAS SOUPS 1354693 WITH SCORE 1361886.995
AT ITER 8987 NEW BEST:: SOT 11795105 SOS 7193786 HAS SOPS 5939865 HAS SOUS 1442719 HAS SOUPS 1354465 WITH SCORE 1361658.786
AT ITER 9024 NEW BEST:: SOT 11795210 SOS 7193855 HAS SOPS 5939698 HAS SOUS 1441947 HAS SOUPS 1353653 WITH SCORE 1360846.855
AT ITER 9037 NEW BEST:: SOT 11794578 SOS 7192026 HAS SOPS 5937913 HAS SOUS 1439634 HAS SOUPS 1351340 WITH SCORE 1358532.026
AT ITER 9043 NEW BEST:: SOT 11794628 SOS 7192168 HAS SOPS 5937993 HAS SOUS 1439586 HAS SOUPS 1351270 WITH SCORE 1358462.168
AT ITER 9052 NEW BEST:: SOT 11791052 SOS 7188436 HAS SOPS 5934741 HAS SOUS 1436986 HAS SOUPS 1348670 WITH SCORE 1355858.436
AT ITER 9095 NEW BEST:: SOT 11791572 SOS 7193043 HAS SOPS 5939487 HAS SOUS 1436906 HAS SOUPS 1348590 WITH SCORE 1355783.043
AT ITER 9130 NEW BEST:: SOT 11791558 SOS 7193025 HAS SOPS 5939480 HAS SOUS 1436845 HAS SOUPS 1348530 WITH SCORE 1355723.025
AT ITER 9139 NEW BEST:: SOT 11791506 SOS 7192997 HAS SOPS 5939340 HAS SOUS 1436689 HAS SOUPS 1348370 WITH SCORE 1355562.997
AT ITER 9145 NEW BEST:: SOT 11791196 SOS 7192687 HAS SOPS 5938614 HAS SOUS 1434403 HAS SOUPS 1346084 WITH SCORE 1353276.687
AT ITER 9149 NEW BEST:: SOT 11790259 SOS 7191810 HAS SOPS 5937620 HAS SOUS 1433378 HAS SOUPS 1345045 WITH SCORE 1352236.81
AT ITER 9180 NEW BEST:: SOT 11789794 SOS 7190983 HAS SOPS 5936523 HAS SOUS 1432596 HAS SOUPS 1344263 WITH SCORE 1351453.983
AT ITER 9183 NEW BEST:: SOT 11788790 SOS 7190407 HAS SOPS 5935883 HAS SOUS 1432265 HAS SOUPS 1343898 WITH SCORE 1351088.407
AT ITER 9189 NEW BEST:: SOT 11787580 SOS 7188563 HAS SOPS 5934337 HAS SOUS 1430947 HAS SOUPS 1342594 WITH SCORE 1349782.563
AT ITER 9191 NEW BEST:: SOT 11785826 SOS 7186809 HAS SOPS 5932583 HAS SOUS 1428185 HAS SOUPS 1340200 WITH SCORE 1347386.809
AT ITER 9206 NEW BEST:: SOT 11784732 SOS 7186694 HAS SOPS 5932121 HAS SOUS 1428114 HAS SOUPS 1340057 WITH SCORE 1347243.694
AT ITER 9210 NEW BEST:: SOT 11784642 SOS 7186589 HAS SOPS 5932031 HAS SOUS 1428094 HAS SOUPS 1340042 WITH SCORE 1347228.589
AT ITER 9222 NEW BEST:: SOT 11784968 SOS 7187519 HAS SOPS 5932751 HAS SOUS 1426835 HAS SOUPS 1338783 WITH SCORE 1345970.519
AT ITER 9246 NEW BEST:: SOT 11784778 SOS 7187344 HAS SOPS 5932481 HAS SOUS 1426550 HAS SOUPS 1338498 WITH SCORE 1345685.344
AT ITER 9253 NEW BEST:: SOT 11784545 SOS 7186799 HAS SOPS 5932132 HAS SOUS 1426329 HAS SOUPS 1338281 WITH SCORE 1345467.799
AT ITER 9269 NEW BEST:: SOT 11782611 SOS 7184381 HAS SOPS 5931060 HAS SOUS 1425336 HAS SOUPS 1337288 WITH SCORE 1344472.381
AT ITER 9307 NEW BEST:: SOT 11782192 SOS 7182786 HAS SOPS 5930473 HAS SOUS 1424429 HAS SOUPS 1336489 WITH SCORE 1343671.786
AT ITER 9403 NEW BEST:: SOT 11782096 SOS 7182795 HAS SOPS 5930450 HAS SOUS 1424324 HAS SOUPS 1336382 WITH SCORE 1343564.795
AT ITER 9425 NEW BEST:: SOT 11781739 SOS 7182346 HAS SOPS 5929722 HAS SOUS 1423232 HAS SOUPS 1335290 WITH SCORE 1342472.346
AT ITER 9470 NEW BEST:: SOT 11781883 SOS 7182490 HAS SOPS 5929866 HAS SOUS 1423152 HAS SOUPS 1335210 WITH SCORE 1342392.49
AT ITER 9525 NEW BEST:: SOT 11778834 SOS 7179512 HAS SOPS 5926901 HAS SOUS 1419605 HAS SOUPS 1331661 WITH SCORE 1338840.512
AT ITER 9528 NEW BEST:: SOT 11778345 SOS 7178107 HAS SOPS 5926547 HAS SOUS 1418188 HAS SOUPS 1330309 WITH SCORE 1337487.107
AT ITER 9542 NEW BEST:: SOT 11778658 SOS 7177110 HAS SOPS 5925399 HAS SOUS 1417608 HAS SOUPS 1329729 WITH SCORE 1336906.11
AT ITER 9556 NEW BEST:: SOT 11778636 SOS 7177075 HAS SOPS 5925234 HAS SOUS 1417565 HAS SOUPS 1329686 WITH SCORE 1336863.075
AT ITER 9610 NEW BEST:: SOT 11778486 SOS 7176860 HAS SOPS 5924964 HAS SOUS 1417165 HAS SOUPS 1329286 WITH SCORE 1336462.86
AT ITER 9612 NEW BEST:: SOT 11780532 SOS 7172296 HAS SOPS 5920367 HAS SOUS 1414138 HAS SOUPS 1326346 WITH SCORE 1333518.296
AT ITER 9618 NEW BEST:: SOT 11780065 SOS 7171334 HAS SOPS 5919644 HAS SOUS 1413709 HAS SOUPS 1325917 WITH SCORE 1333088.334
AT ITER 9625 NEW BEST:: SOT 11779346 SOS 7170789 HAS SOPS 5918725 HAS SOUS 1410558 HAS SOUPS 1322766 WITH SCORE 1329936.789
AT ITER 9629 NEW BEST:: SOT 11778818 SOS 7170602 HAS SOPS 5918450 HAS SOUS 1409546 HAS SOUPS 1321743 WITH SCORE 1328913.602
AT ITER 9659 NEW BEST:: SOT 11778597 SOS 7170333 HAS SOPS 5918181 HAS SOUS 1409527 HAS SOUPS 1321724 WITH SCORE 1328894.333
AT ITER 9667 NEW BEST:: SOT 11774408 SOS 7154387 HAS SOPS 5903942 HAS SOUS 1406127 HAS SOUPS 1318472 WITH SCORE 1325626.387
AT ITER 9681 NEW BEST:: SOT 11773662 SOS 7153568 HAS SOPS 5903089 HAS SOUS 1405860 HAS SOUPS 1318222 WITH SCORE 1325375.568
AT ITER 9682 NEW BEST:: SOT 11773644 SOS 7152815 HAS SOPS 5902757 HAS SOUS 1405844 HAS SOUPS 1318206 WITH SCORE 1325358.815
AT ITER 9691 NEW BEST:: SOT 11773664 SOS 7150904 HAS SOPS 5901408 HAS SOUS 1405803 HAS SOUPS 1318174 WITH SCORE 1325324.904
AT ITER 9701 NEW BEST:: SOT 11772845 SOS 7150684 HAS SOPS 5900957 HAS SOUS 1404637 HAS SOUPS 1317008 WITH SCORE 1324158.684
AT ITER 9711 NEW BEST:: SOT 11771829 SOS 7149584 HAS SOPS 5899773 HAS SOUS 1403767 HAS SOUPS 1316117 WITH SCORE 1323266.584
AT ITER 9712 NEW BEST:: SOT 11771899 SOS 7149845 HAS SOPS 5900075 HAS SOUS 1403236 HAS SOUPS 1315586 WITH SCORE 1322735.845
AT ITER 9738 NEW BEST:: SOT 11771719 SOS 7149613 HAS SOPS 5899749 HAS SOUS 1402764 HAS SOUPS 1315138 WITH SCORE 1322287.613
AT ITER 9748 NEW BEST:: SOT 11771494 SOS 7148692 HAS SOPS 5898916 HAS SOUS 1402598 HAS SOUPS 1314972 WITH SCORE 1322120.692
AT ITER 9784 NEW BEST:: SOT 11770956 SOS 7148154 HAS SOPS 5898378 HAS SOUS 1402252 HAS SOUPS 1314626 WITH SCORE 1321774.154
AT ITER 9883 NEW BEST:: SOT 11770928 SOS 7148103 HAS SOPS 5898291 HAS SOUS 1402178 HAS SOUPS 1314552 WITH SCORE 1321700.103
AT ITER 9905 NEW BEST:: SOT 11770928 SOS 7148103 HAS SOPS 5898291 HAS SOUS 1402170 HAS SOUPS 1314544 WITH SCORE 1321692.103
AT ITER 9940 NEW BEST:: SOT 11772704 SOS 7149128 HAS SOPS 5899456 HAS SOUS 1402002 HAS SOUPS 1314411 WITH SCORE 1321560.128
AT ITER 9948 NEW BEST:: SOT 11772588 SOS 7148761 HAS SOPS 5898968 HAS SOUS 1400617 HAS SOUPS 1313042 WITH SCORE 1320190.761
AT ITER 9957 NEW BEST:: SOT 11772371 SOS 7147850 HAS SOPS 5897523 HAS SOUS 1400356 HAS SOUPS 1312781 WITH SCORE 1319928.85
AT ITER 9968 NEW BEST:: SOT 11772534 SOS 7150433 HAS SOPS 5900465 HAS SOUS 1399061 HAS SOUPS 1311486 WITH SCORE 1318636.433
AT ITER 9981 NEW BEST:: SOT 11772429 SOS 7148403 HAS SOPS 5898760 HAS SOUS 1398418 HAS SOUPS 1310843 WITH SCORE 1317991.403
AT ITER 9983 NEW BEST:: SOT 11772134 SOS 7147746 HAS SOPS 5899002 HAS SOUS 1397569 HAS SOUPS 1309994 WITH SCORE 1317141.746
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 14936564 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16074676 kB

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="RERS17pb113-PT-6"
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 RERS17pb113-PT-6, 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 r331-tall-167889204000048"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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