MCC'2023- Execution of r331-tall-167889203900032

About the Execution of Smart+red for RERS17pb113-PT-4

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

Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 15M
-rw-r--r-- 1 mcc users 7.3K Feb 26 18:11 CTLCardinality.txt
-rw-r--r-- 1 mcc users 80K Feb 26 18:11 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.5K Feb 26 18:10 CTLFireability.txt
-rw-r--r-- 1 mcc users 53K Feb 26 18:10 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K 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 2.9K Feb 25 16:37 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:37 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 18:16 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 110K Feb 26 18:16 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 14K Feb 26 18:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 89K Feb 26 18:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:37 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:37 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 1679043041406

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-4
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-17 08:50:43] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-17 08:50:43] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-17 08:50:43] [INFO ] Load time of PNML (sax parser for PT used): 576 ms
[2023-03-17 08:50:44] [INFO ] Transformed 639 places.
[2023-03-17 08:50:44] [INFO ] Transformed 31353 transitions.
[2023-03-17 08:50:44] [INFO ] Parsed PT model containing 639 places and 31353 transitions and 125418 arcs in 762 ms.
[2023-03-17 08:50:44] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 639 places, 31353 transitions and 125418 arcs took 140 ms.
Total runtime 947 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb113 (PT), instance 4
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 6 NEW BEST:: SOT 12195642 SOS 7741995 HAS SOPS 6414529 HAS SOUS 3046082 HAS SOUPS 2945801 WITH SCORE 2953542.995
AT ITER 18 NEW BEST:: SOT 12189304 SOS 7733399 HAS SOPS 6405189 HAS SOUS 3034277 HAS SOUPS 2934055 WITH SCORE 2941788.399
AT ITER 25 NEW BEST:: SOT 12189415 SOS 7737686 HAS SOPS 6409357 HAS SOUS 3030359 HAS SOUPS 2930137 WITH SCORE 2937874.686
AT ITER 26 NEW BEST:: SOT 12188989 SOS 7739116 HAS SOPS 6413501 HAS SOUS 3028307 HAS SOUPS 2928085 WITH SCORE 2935824.116
AT ITER 28 NEW BEST:: SOT 12181744 SOS 7729444 HAS SOPS 6408611 HAS SOUS 3012525 HAS SOUPS 2912836 WITH SCORE 2920565.444
AT ITER 32 NEW BEST:: SOT 12179476 SOS 7726082 HAS SOPS 6406071 HAS SOUS 3011896 HAS SOUPS 2912167 WITH SCORE 2919893.082
AT ITER 33 NEW BEST:: SOT 12178714 SOS 7724972 HAS SOPS 6404982 HAS SOUS 3010573 HAS SOUPS 2910853 WITH SCORE 2918577.972
AT ITER 36 NEW BEST:: SOT 12177992 SOS 7723705 HAS SOPS 6403676 HAS SOUS 3009433 HAS SOUPS 2909731 WITH SCORE 2917454.705
AT ITER 54 NEW BEST:: SOT 12177986 SOS 7723952 HAS SOPS 6404053 HAS SOUS 3009208 HAS SOUPS 2909506 WITH SCORE 2917229.952
AT ITER 58 NEW BEST:: SOT 12172907 SOS 7718010 HAS SOPS 6400322 HAS SOUS 3006312 HAS SOUPS 2907133 WITH SCORE 2914851.01
AT ITER 60 NEW BEST:: SOT 12166267 SOS 7711385 HAS SOPS 6393367 HAS SOUS 2999288 HAS SOUPS 2899794 WITH SCORE 2907505.385
AT ITER 76 NEW BEST:: SOT 12166420 SOS 7713616 HAS SOPS 6394648 HAS SOUS 2998367 HAS SOUPS 2898873 WITH SCORE 2906586.616
AT ITER 89 NEW BEST:: SOT 12166784 SOS 7713877 HAS SOPS 6394489 HAS SOUS 2996405 HAS SOUPS 2897534 WITH SCORE 2905247.877
AT ITER 93 NEW BEST:: SOT 12166485 SOS 7713164 HAS SOPS 6393960 HAS SOUS 2995926 HAS SOUPS 2897101 WITH SCORE 2904814.164
AT ITER 117 NEW BEST:: SOT 12166287 SOS 7715573 HAS SOPS 6396228 HAS SOUS 2993225 HAS SOUPS 2894400 WITH SCORE 2902115.573
AT ITER 118 NEW BEST:: SOT 12163698 SOS 7711046 HAS SOPS 6391396 HAS SOUS 2987915 HAS SOUPS 2889142 WITH SCORE 2896853.046
AT ITER 119 NEW BEST:: SOT 12167860 SOS 7720853 HAS SOPS 6405595 HAS SOUS 2977865 HAS SOUPS 2879086 WITH SCORE 2886806.853
AT ITER 121 NEW BEST:: SOT 12167606 SOS 7720789 HAS SOPS 6405646 HAS SOUS 2977517 HAS SOUPS 2878738 WITH SCORE 2886458.789
AT ITER 123 NEW BEST:: SOT 12172035 SOS 7728138 HAS SOPS 6414145 HAS SOUS 2977495 HAS SOUPS 2878716 WITH SCORE 2886444.138
AT ITER 133 NEW BEST:: SOT 12188572 SOS 7759697 HAS SOPS 6450422 HAS SOUS 2975231 HAS SOUPS 2877107 WITH SCORE 2884866.697
AT ITER 149 NEW BEST:: SOT 12156239 SOS 7729482 HAS SOPS 6417686 HAS SOUS 2940127 HAS SOUPS 2841994 WITH SCORE 2849723.482
AT ITER 162 NEW BEST:: SOT 12153034 SOS 7726279 HAS SOPS 6414055 HAS SOUS 2936135 HAS SOUPS 2837983 WITH SCORE 2845709.279
AT ITER 163 NEW BEST:: SOT 12151286 SOS 7724398 HAS SOPS 6412174 HAS SOUS 2933190 HAS SOUPS 2835038 WITH SCORE 2842762.398
AT ITER 169 NEW BEST:: SOT 12151725 SOS 7725623 HAS SOPS 6413383 HAS SOUS 2931983 HAS SOUPS 2833831 WITH SCORE 2841556.623
AT ITER 184 NEW BEST:: SOT 12149418 SOS 7711100 HAS SOPS 6415693 HAS SOUS 2925650 HAS SOUPS 2828701 WITH SCORE 2836412.1
AT ITER 189 NEW BEST:: SOT 12149320 SOS 7711896 HAS SOPS 6415784 HAS SOUS 2924664 HAS SOUPS 2827659 WITH SCORE 2835370.896
AT ITER 199 NEW BEST:: SOT 12149872 SOS 7715598 HAS SOPS 6418494 HAS SOUS 2923341 HAS SOUPS 2826336 WITH SCORE 2834051.598
AT ITER 200 NEW BEST:: SOT 12149064 SOS 7714758 HAS SOPS 6417174 HAS SOUS 2920697 HAS SOUPS 2823692 WITH SCORE 2831406.758
AT ITER 209 NEW BEST:: SOT 12146490 SOS 7710994 HAS SOPS 6413550 HAS SOUS 2916679 HAS SOUPS 2819700 WITH SCORE 2827410.994
AT ITER 212 NEW BEST:: SOT 12150922 SOS 7720955 HAS SOPS 6421644 HAS SOUS 2915579 HAS SOUPS 2818600 WITH SCORE 2826320.955
AT ITER 214 NEW BEST:: SOT 12151159 SOS 7720552 HAS SOPS 6422167 HAS SOUS 2913042 HAS SOUPS 2816086 WITH SCORE 2823806.552
AT ITER 222 NEW BEST:: SOT 12150481 SOS 7718333 HAS SOPS 6421216 HAS SOUS 2911226 HAS SOUPS 2814497 WITH SCORE 2822215.333
AT ITER 235 NEW BEST:: SOT 12151166 SOS 7722379 HAS SOPS 6423448 HAS SOUS 2909397 HAS SOUPS 2812668 WITH SCORE 2820390.379
AT ITER 244 NEW BEST:: SOT 12152209 SOS 7729820 HAS SOPS 6432525 HAS SOUS 2904887 HAS SOUPS 2808279 WITH SCORE 2816008.82
AT ITER 260 NEW BEST:: SOT 12152113 SOS 7729968 HAS SOPS 6432793 HAS SOUS 2904453 HAS SOUPS 2807845 WITH SCORE 2815574.968
AT ITER 270 NEW BEST:: SOT 12152008 SOS 7729866 HAS SOPS 6432691 HAS SOUS 2904203 HAS SOUPS 2807595 WITH SCORE 2815324.866
AT ITER 274 NEW BEST:: SOT 12151828 SOS 7731084 HAS SOPS 6433505 HAS SOUS 2901934 HAS SOUPS 2805300 WITH SCORE 2813031.084
AT ITER 275 NEW BEST:: SOT 12152019 SOS 7732892 HAS SOPS 6433113 HAS SOUS 2899692 HAS SOUPS 2803058 WITH SCORE 2810790.892
AT ITER 281 NEW BEST:: SOT 12144112 SOS 7724985 HAS SOPS 6425206 HAS SOUS 2891785 HAS SOUPS 2795151 WITH SCORE 2802875.985
AT ITER 284 NEW BEST:: SOT 12139995 SOS 7720845 HAS SOPS 6419312 HAS SOUS 2885518 HAS SOUPS 2788286 WITH SCORE 2796006.845
AT ITER 286 NEW BEST:: SOT 12112750 SOS 7693437 HAS SOPS 6391837 HAS SOUS 2857451 HAS SOUPS 2760184 WITH SCORE 2767877.437
AT ITER 290 NEW BEST:: SOT 12113262 SOS 7695328 HAS SOPS 6390107 HAS SOUS 2854303 HAS SOUPS 2757079 WITH SCORE 2764774.328
AT ITER 304 NEW BEST:: SOT 12113146 SOS 7693577 HAS SOPS 6390291 HAS SOUS 2852827 HAS SOUPS 2755603 WITH SCORE 2763296.577
AT ITER 305 NEW BEST:: SOT 12112941 SOS 7693567 HAS SOPS 6391111 HAS SOUS 2852473 HAS SOUPS 2755303 WITH SCORE 2762996.567
AT ITER 308 NEW BEST:: SOT 12104226 SOS 7682094 HAS SOPS 6380449 HAS SOUS 2837668 HAS SOUPS 2740576 WITH SCORE 2748258.094
AT ITER 320 NEW BEST:: SOT 12103222 SOS 7680981 HAS SOPS 6379324 HAS SOUS 2837452 HAS SOUPS 2740390 WITH SCORE 2748070.981
AT ITER 322 NEW BEST:: SOT 12101227 SOS 7678501 HAS SOPS 6378517 HAS SOUS 2834507 HAS SOUPS 2737519 WITH SCORE 2745197.501
AT ITER 334 NEW BEST:: SOT 12103355 SOS 7681258 HAS SOPS 6382590 HAS SOUS 2832469 HAS SOUPS 2735772 WITH SCORE 2743453.258
AT ITER 338 NEW BEST:: SOT 12102751 SOS 7679048 HAS SOPS 6385417 HAS SOUS 2832429 HAS SOUPS 2735732 WITH SCORE 2743411.048
AT ITER 341 NEW BEST:: SOT 12102983 SOS 7679720 HAS SOPS 6385998 HAS SOUS 2832179 HAS SOUPS 2735482 WITH SCORE 2743161.72
AT ITER 344 NEW BEST:: SOT 12113676 SOS 7705984 HAS SOPS 6402785 HAS SOUS 2829573 HAS SOUPS 2732771 WITH SCORE 2740476.984
AT ITER 373 NEW BEST:: SOT 12106554 SOS 7697588 HAS SOPS 6397989 HAS SOUS 2822721 HAS SOUPS 2726057 WITH SCORE 2733754.588
AT ITER 380 NEW BEST:: SOT 12104983 SOS 7696135 HAS SOPS 6396818 HAS SOUS 2819737 HAS SOUPS 2723089 WITH SCORE 2730785.135
AT ITER 382 NEW BEST:: SOT 12102401 SOS 7693290 HAS SOPS 6395599 HAS SOUS 2817548 HAS SOUPS 2720918 WITH SCORE 2728611.29
AT ITER 383 NEW BEST:: SOT 12102069 SOS 7692958 HAS SOPS 6394883 HAS SOUS 2815860 HAS SOUPS 2719182 WITH SCORE 2726874.958
AT ITER 385 NEW BEST:: SOT 12097948 SOS 7689350 HAS SOPS 6391039 HAS SOUS 2807977 HAS SOUPS 2711239 WITH SCORE 2718928.35
AT ITER 400 NEW BEST:: SOT 12097834 SOS 7689447 HAS SOPS 6390330 HAS SOUS 2807038 HAS SOUPS 2710267 WITH SCORE 2717956.447
AT ITER 402 NEW BEST:: SOT 12093084 SOS 7681049 HAS SOPS 6382021 HAS SOUS 2796835 HAS SOUPS 2700064 WITH SCORE 2707745.049
AT ITER 403 NEW BEST:: SOT 12091632 SOS 7679316 HAS SOPS 6379208 HAS SOUS 2792890 HAS SOUPS 2696119 WITH SCORE 2703798.316
AT ITER 408 NEW BEST:: SOT 12100441 SOS 7708545 HAS SOPS 6401706 HAS SOUS 2790047 HAS SOUPS 2693276 WITH SCORE 2700984.545
AT ITER 413 NEW BEST:: SOT 12100575 SOS 7708679 HAS SOPS 6401456 HAS SOUS 2787897 HAS SOUPS 2691126 WITH SCORE 2698834.679
AT ITER 415 NEW BEST:: SOT 12113084 SOS 7742744 HAS SOPS 6435581 HAS SOUS 2786952 HAS SOUPS 2690224 WITH SCORE 2697966.744
AT ITER 418 NEW BEST:: SOT 12111575 SOS 7741235 HAS SOPS 6434072 HAS SOUS 2785443 HAS SOUPS 2688715 WITH SCORE 2696456.235
AT ITER 421 NEW BEST:: SOT 12111644 SOS 7742033 HAS SOPS 6434752 HAS SOUS 2783943 HAS SOUPS 2687215 WITH SCORE 2694957.033
AT ITER 430 NEW BEST:: SOT 12118177 SOS 7756576 HAS SOPS 6446910 HAS SOUS 2782941 HAS SOUPS 2686342 WITH SCORE 2694098.576
AT ITER 440 NEW BEST:: SOT 12118774 SOS 7760530 HAS SOPS 6450447 HAS SOUS 2782623 HAS SOUPS 2686024 WITH SCORE 2693784.53
AT ITER 446 NEW BEST:: SOT 12118049 SOS 7759693 HAS SOPS 6449358 HAS SOUS 2781233 HAS SOUPS 2684642 WITH SCORE 2692401.693
AT ITER 449 NEW BEST:: SOT 12117797 SOS 7759353 HAS SOPS 6448886 HAS SOUS 2780201 HAS SOUPS 2683654 WITH SCORE 2691413.353
AT ITER 451 NEW BEST:: SOT 12118192 SOS 7762819 HAS SOPS 6456110 HAS SOUS 2779738 HAS SOUPS 2683191 WITH SCORE 2690953.819
AT ITER 461 NEW BEST:: SOT 12129050 SOS 7782252 HAS SOPS 6469382 HAS SOUS 2779276 HAS SOUPS 2683036 WITH SCORE 2690818.252
AT ITER 468 NEW BEST:: SOT 12128896 SOS 7781520 HAS SOPS 6468138 HAS SOUS 2778738 HAS SOUPS 2682498 WITH SCORE 2690279.52
AT ITER 484 NEW BEST:: SOT 12140356 SOS 7799010 HAS SOPS 6494022 HAS SOUS 2776684 HAS SOUPS 2680964 WITH SCORE 2688763.01
AT ITER 489 NEW BEST:: SOT 12141664 SOS 7805365 HAS SOPS 6500352 HAS SOUS 2772391 HAS SOUPS 2676671 WITH SCORE 2684476.365
AT ITER 499 NEW BEST:: SOT 12127986 SOS 7780321 HAS SOPS 6479680 HAS SOUS 2752492 HAS SOUPS 2656772 WITH SCORE 2664552.321
AT ITER 505 NEW BEST:: SOT 12130524 SOS 7781605 HAS SOPS 6478379 HAS SOUS 2747782 HAS SOUPS 2652078 WITH SCORE 2659859.605
AT ITER 513 NEW BEST:: SOT 12129014 SOS 7779332 HAS SOPS 6474452 HAS SOUS 2738782 HAS SOUPS 2642977 WITH SCORE 2650756.332
AT ITER 519 NEW BEST:: SOT 12124093 SOS 7774104 HAS SOPS 6468202 HAS SOUS 2727509 HAS SOUPS 2631716 WITH SCORE 2639490.104
AT ITER 534 NEW BEST:: SOT 12121315 SOS 7774093 HAS SOPS 6467961 HAS SOUS 2725780 HAS SOUPS 2629987 WITH SCORE 2637761.093
AT ITER 550 NEW BEST:: SOT 12121121 SOS 7773823 HAS SOPS 6467645 HAS SOUS 2725430 HAS SOUPS 2629639 WITH SCORE 2637412.823
AT ITER 552 NEW BEST:: SOT 12120486 SOS 7772328 HAS SOPS 6466285 HAS SOUS 2724830 HAS SOUPS 2629039 WITH SCORE 2636811.328
AT ITER 557 NEW BEST:: SOT 12120017 SOS 7771537 HAS SOPS 6465360 HAS SOUS 2724379 HAS SOUPS 2628588 WITH SCORE 2636359.537
AT ITER 562 NEW BEST:: SOT 12120289 SOS 7773777 HAS SOPS 6467900 HAS SOUS 2721971 HAS SOUPS 2626267 WITH SCORE 2634040.777
AT ITER 572 NEW BEST:: SOT 12120229 SOS 7773698 HAS SOPS 6467831 HAS SOUS 2721844 HAS SOUPS 2626140 WITH SCORE 2633913.698
AT ITER 575 NEW BEST:: SOT 12120017 SOS 7773840 HAS SOPS 6467999 HAS SOUS 2720169 HAS SOUPS 2624465 WITH SCORE 2632238.84
AT ITER 576 NEW BEST:: SOT 12119349 SOS 7774277 HAS SOPS 6468884 HAS SOUS 2718390 HAS SOUPS 2622686 WITH SCORE 2630460.277
AT ITER 593 NEW BEST:: SOT 12118555 SOS 7773399 HAS SOPS 6467694 HAS SOUS 2718112 HAS SOUPS 2622264 WITH SCORE 2630037.399
AT ITER 596 NEW BEST:: SOT 12118265 SOS 7772460 HAS SOPS 6466989 HAS SOUS 2716974 HAS SOUPS 2621126 WITH SCORE 2628898.46
AT ITER 602 NEW BEST:: SOT 12119111 SOS 7773785 HAS SOPS 6467441 HAS SOUS 2716757 HAS SOUPS 2620909 WITH SCORE 2628682.785
AT ITER 621 NEW BEST:: SOT 12119357 SOS 7774992 HAS SOPS 6468303 HAS SOUS 2715861 HAS SOUPS 2620013 WITH SCORE 2627787.992
AT ITER 623 NEW BEST:: SOT 12119342 SOS 7774525 HAS SOPS 6468076 HAS SOUS 2715848 HAS SOUPS 2620000 WITH SCORE 2627774.525
AT ITER 627 NEW BEST:: SOT 12118405 SOS 7772010 HAS SOPS 6465933 HAS SOUS 2714903 HAS SOUPS 2619055 WITH SCORE 2626827.01
AT ITER 642 NEW BEST:: SOT 12118265 SOS 7771319 HAS SOPS 6465597 HAS SOUS 2714495 HAS SOUPS 2618647 WITH SCORE 2626418.319
AT ITER 643 NEW BEST:: SOT 12118392 SOS 7770114 HAS SOPS 6463644 HAS SOUS 2713535 HAS SOUPS 2617687 WITH SCORE 2625457.114
AT ITER 645 NEW BEST:: SOT 12118881 SOS 7770603 HAS SOPS 6463893 HAS SOUS 2712136 HAS SOUPS 2616288 WITH SCORE 2624058.603
AT ITER 665 NEW BEST:: SOT 12118869 SOS 7771088 HAS SOPS 6463728 HAS SOUS 2711345 HAS SOUPS 2615497 WITH SCORE 2623268.088
AT ITER 668 NEW BEST:: SOT 12117869 SOS 7769985 HAS SOPS 6462608 HAS SOUS 2710599 HAS SOUPS 2614751 WITH SCORE 2622520.985
AT ITER 672 NEW BEST:: SOT 12118807 SOS 7774182 HAS SOPS 6467389 HAS SOUS 2707576 HAS SOUPS 2611728 WITH SCORE 2619502.182
AT ITER 678 NEW BEST:: SOT 12118361 SOS 7773765 HAS SOPS 6466802 HAS SOUS 2705149 HAS SOUPS 2609301 WITH SCORE 2617074.765
AT ITER 687 NEW BEST:: SOT 12118900 SOS 7774375 HAS SOPS 6466752 HAS SOUS 2705004 HAS SOUPS 2609156 WITH SCORE 2616930.375
AT ITER 688 NEW BEST:: SOT 12118194 SOS 7773097 HAS SOPS 6465271 HAS SOUS 2701662 HAS SOUPS 2605884 WITH SCORE 2613657.097
AT ITER 690 NEW BEST:: SOT 12117765 SOS 7774572 HAS SOPS 6466065 HAS SOUS 2696567 HAS SOUPS 2600789 WITH SCORE 2608563.572
AT ITER 692 NEW BEST:: SOT 12114702 SOS 7769409 HAS SOPS 6461757 HAS SOUS 2690694 HAS SOUPS 2594916 WITH SCORE 2602685.409
AT ITER 705 NEW BEST:: SOT 12114766 SOS 7769459 HAS SOPS 6461821 HAS SOUS 2690310 HAS SOUPS 2594546 WITH SCORE 2602315.459
AT ITER 706 NEW BEST:: SOT 12114266 SOS 7768909 HAS SOPS 6461271 HAS SOUS 2689645 HAS SOUPS 2593886 WITH SCORE 2601654.909
AT ITER 720 NEW BEST:: SOT 12114101 SOS 7767397 HAS SOPS 6459982 HAS SOUS 2689574 HAS SOUPS 2593815 WITH SCORE 2601582.397
AT ITER 734 NEW BEST:: SOT 12113732 SOS 7766985 HAS SOPS 6459613 HAS SOUS 2688786 HAS SOUPS 2593033 WITH SCORE 2600799.985
AT ITER 742 NEW BEST:: SOT 12113185 SOS 7766492 HAS SOPS 6458497 HAS SOUS 2687501 HAS SOUPS 2591748 WITH SCORE 2599514.492
AT ITER 745 NEW BEST:: SOT 12112449 SOS 7765756 HAS SOPS 6457393 HAS SOUS 2685477 HAS SOUPS 2589724 WITH SCORE 2597489.756
AT ITER 750 NEW BEST:: SOT 12111160 SOS 7761508 HAS SOPS 6455712 HAS SOUS 2681614 HAS SOUPS 2586001 WITH SCORE 2593762.508
AT ITER 767 NEW BEST:: SOT 12106283 SOS 7756496 HAS SOPS 6449720 HAS SOUS 2668471 HAS SOUPS 2572832 WITH SCORE 2580588.496
AT ITER 771 NEW BEST:: SOT 12103162 SOS 7753420 HAS SOPS 6446905 HAS SOUS 2661585 HAS SOUPS 2566135 WITH SCORE 2573888.42
AT ITER 773 NEW BEST:: SOT 12103184 SOS 7753174 HAS SOPS 6446820 HAS SOUS 2658496 HAS SOUPS 2564169 WITH SCORE 2571922.174
AT ITER 776 NEW BEST:: SOT 12102368 SOS 7750980 HAS SOPS 6446437 HAS SOUS 2657908 HAS SOUPS 2563627 WITH SCORE 2571377.98
AT ITER 791 NEW BEST:: SOT 12102142 SOS 7749932 HAS SOPS 6445119 HAS SOUS 2657214 HAS SOUPS 2562933 WITH SCORE 2570682.932
AT ITER 826 NEW BEST:: SOT 12099321 SOS 7738436 HAS SOPS 6436054 HAS SOUS 2654932 HAS SOUPS 2560651 WITH SCORE 2568389.436
AT ITER 831 NEW BEST:: SOT 12103315 SOS 7748890 HAS SOPS 6442558 HAS SOUS 2650646 HAS SOUPS 2556365 WITH SCORE 2564113.89
AT ITER 838 NEW BEST:: SOT 12104177 SOS 7749944 HAS SOPS 6442442 HAS SOUS 2647017 HAS SOUPS 2552736 WITH SCORE 2560485.944
AT ITER 859 NEW BEST:: SOT 12104431 SOS 7751328 HAS SOPS 6444221 HAS SOUS 2646878 HAS SOUPS 2552597 WITH SCORE 2560348.328
AT ITER 870 NEW BEST:: SOT 12095281 SOS 7737938 HAS SOPS 6431005 HAS SOUS 2627142 HAS SOUPS 2532984 WITH SCORE 2540721.938
AT ITER 884 NEW BEST:: SOT 12091606 SOS 7734263 HAS SOPS 6426946 HAS SOUS 2621811 HAS SOUPS 2527653 WITH SCORE 2535387.263
AT ITER 889 NEW BEST:: SOT 12090793 SOS 7733284 HAS SOPS 6425669 HAS SOUS 2619586 HAS SOUPS 2525452 WITH SCORE 2533185.284
AT ITER 922 NEW BEST:: SOT 12090793 SOS 7733284 HAS SOPS 6425669 HAS SOUS 2619450 HAS SOUPS 2525316 WITH SCORE 2533049.284
AT ITER 931 NEW BEST:: SOT 12091177 SOS 7732642 HAS SOPS 6422810 HAS SOUS 2616993 HAS SOUPS 2522859 WITH SCORE 2530591.642
AT ITER 935 NEW BEST:: SOT 12091101 SOS 7733033 HAS SOPS 6423129 HAS SOUS 2616396 HAS SOUPS 2522262 WITH SCORE 2529995.033
AT ITER 938 NEW BEST:: SOT 12091099 SOS 7732585 HAS SOPS 6422819 HAS SOUS 2616380 HAS SOUPS 2522246 WITH SCORE 2529978.585
AT ITER 940 NEW BEST:: SOT 12088109 SOS 7727765 HAS SOPS 6419057 HAS SOUS 2609914 HAS SOUPS 2515792 WITH SCORE 2523519.765
AT ITER 946 NEW BEST:: SOT 12085027 SOS 7723532 HAS SOPS 6413835 HAS SOUS 2603981 HAS SOUPS 2509863 WITH SCORE 2517586.532
AT ITER 958 NEW BEST:: SOT 12096501 SOS 7730035 HAS SOPS 6421256 HAS SOUS 2601443 HAS SOUPS 2506658 WITH SCORE 2514388.035
AT ITER 974 NEW BEST:: SOT 12111114 SOS 7751361 HAS SOPS 6443469 HAS SOUS 2598942 HAS SOUPS 2504283 WITH SCORE 2512034.361
AT ITER 980 NEW BEST:: SOT 12110089 SOS 7750251 HAS SOPS 6441620 HAS SOUS 2597987 HAS SOUPS 2503328 WITH SCORE 2511078.251
AT ITER 983 NEW BEST:: SOT 12111557 SOS 7752864 HAS SOPS 6446108 HAS SOUS 2596589 HAS SOUPS 2502002 WITH SCORE 2509754.864
AT ITER 995 NEW BEST:: SOT 12110641 SOS 7752430 HAS SOPS 6444691 HAS SOUS 2591589 HAS SOUPS 2497002 WITH SCORE 2504754.43
AT ITER 1026 NEW BEST:: SOT 12109487 SOS 7751276 HAS SOPS 6443361 HAS SOUS 2590291 HAS SOUPS 2495576 WITH SCORE 2503327.276
AT ITER 1030 NEW BEST:: SOT 12108045 SOS 7749835 HAS SOPS 6440929 HAS SOUS 2590148 HAS SOUPS 2494691 WITH SCORE 2502440.835
AT ITER 1035 NEW BEST:: SOT 12106817 SOS 7748471 HAS SOPS 6439697 HAS SOUS 2589053 HAS SOUPS 2493408 WITH SCORE 2501156.471
AT ITER 1038 NEW BEST:: SOT 12107764 SOS 7751371 HAS SOPS 6442447 HAS SOUS 2588191 HAS SOUPS 2492546 WITH SCORE 2500297.371
AT ITER 1044 NEW BEST:: SOT 12100548 SOS 7734597 HAS SOPS 6430796 HAS SOUS 2587395 HAS SOUPS 2492472 WITH SCORE 2500206.597
AT ITER 1058 NEW BEST:: SOT 12097693 SOS 7723871 HAS SOPS 6423040 HAS SOUS 2587354 HAS SOUPS 2492431 WITH SCORE 2500154.871
AT ITER 1060 NEW BEST:: SOT 12098382 SOS 7725370 HAS SOPS 6424584 HAS SOUS 2585823 HAS SOUPS 2490950 WITH SCORE 2498675.37
AT ITER 1066 NEW BEST:: SOT 12101284 SOS 7732388 HAS SOPS 6428601 HAS SOUS 2583601 HAS SOUPS 2488728 WITH SCORE 2496460.388
AT ITER 1096 NEW BEST:: SOT 12104546 SOS 7744073 HAS SOPS 6438587 HAS SOUS 2582169 HAS SOUPS 2487296 WITH SCORE 2495040.073
AT ITER 1104 NEW BEST:: SOT 12104443 SOS 7745367 HAS SOPS 6434735 HAS SOUS 2579051 HAS SOUPS 2484178 WITH SCORE 2491923.367
AT ITER 1107 NEW BEST:: SOT 12103983 SOS 7744998 HAS SOPS 6434342 HAS SOUS 2578140 HAS SOUPS 2483282 WITH SCORE 2491026.998
AT ITER 1108 NEW BEST:: SOT 12103988 SOS 7744997 HAS SOPS 6434354 HAS SOUS 2578134 HAS SOUPS 2483276 WITH SCORE 2491020.997
AT ITER 1117 NEW BEST:: SOT 12108261 SOS 7756860 HAS SOPS 6443993 HAS SOUS 2576918 HAS SOUPS 2482060 WITH SCORE 2489816.86
AT ITER 1132 NEW BEST:: SOT 12106638 SOS 7755237 HAS SOPS 6442370 HAS SOUS 2575383 HAS SOUPS 2480525 WITH SCORE 2488280.237
AT ITER 1148 NEW BEST:: SOT 12102029 SOS 7747309 HAS SOPS 6434122 HAS SOUS 2566366 HAS SOUPS 2471603 WITH SCORE 2479350.309
AT ITER 1150 NEW BEST:: SOT 12101708 SOS 7747065 HAS SOPS 6432839 HAS SOUS 2565513 HAS SOUPS 2470750 WITH SCORE 2478497.065
AT ITER 1152 NEW BEST:: SOT 12106705 SOS 7762471 HAS SOPS 6444821 HAS SOUS 2561711 HAS SOUPS 2466889 WITH SCORE 2474651.471
AT ITER 1154 NEW BEST:: SOT 12106708 SOS 7762505 HAS SOPS 6444705 HAS SOUS 2561644 HAS SOUPS 2466822 WITH SCORE 2474584.505
AT ITER 1168 NEW BEST:: SOT 12106168 SOS 7761214 HAS SOPS 6443836 HAS SOUS 2561432 HAS SOUPS 2466610 WITH SCORE 2474371.214
AT ITER 1178 NEW BEST:: SOT 12106496 SOS 7763659 HAS SOPS 6445490 HAS SOUS 2560943 HAS SOUPS 2466121 WITH SCORE 2473884.659
AT ITER 1209 NEW BEST:: SOT 12109599 SOS 7769052 HAS SOPS 6453210 HAS SOUS 2560319 HAS SOUPS 2465497 WITH SCORE 2473266.052
AT ITER 1221 NEW BEST:: SOT 12108863 SOS 7768373 HAS SOPS 6455403 HAS SOUS 2558465 HAS SOUPS 2463643 WITH SCORE 2471411.373
AT ITER 1237 NEW BEST:: SOT 12108786 SOS 7767365 HAS SOPS 6454930 HAS SOUS 2557237 HAS SOUPS 2462502 WITH SCORE 2470269.365
AT ITER 1242 NEW BEST:: SOT 12109110 SOS 7770863 HAS SOPS 6453901 HAS SOUS 2551219 HAS SOUPS 2456714 WITH SCORE 2464484.863
AT ITER 1247 NEW BEST:: SOT 12110512 SOS 7778964 HAS SOPS 6462636 HAS SOUS 2550143 HAS SOUPS 2455638 WITH SCORE 2463416.964
AT ITER 1249 NEW BEST:: SOT 12109327 SOS 7777653 HAS SOPS 6461701 HAS SOUS 2548958 HAS SOUPS 2454453 WITH SCORE 2462230.653
AT ITER 1251 NEW BEST:: SOT 12107360 SOS 7778590 HAS SOPS 6461380 HAS SOUS 2539528 HAS SOUPS 2445100 WITH SCORE 2452878.59
AT ITER 1283 NEW BEST:: SOT 12096466 SOS 7767705 HAS SOPS 6450387 HAS SOUS 2528920 HAS SOUPS 2434444 WITH SCORE 2442211.705
AT ITER 1296 NEW BEST:: SOT 12103310 SOS 7788348 HAS SOPS 6469827 HAS SOUS 2525838 HAS SOUPS 2431362 WITH SCORE 2439150.348
AT ITER 1311 NEW BEST:: SOT 12102474 SOS 7785098 HAS SOPS 6472880 HAS SOUS 2520991 HAS SOUPS 2427516 WITH SCORE 2435301.098
AT ITER 1327 NEW BEST:: SOT 12101112 SOS 7784012 HAS SOPS 6473185 HAS SOUS 2518098 HAS SOUPS 2424623 WITH SCORE 2432407.012
AT ITER 1331 NEW BEST:: SOT 12100627 SOS 7786439 HAS SOPS 6474939 HAS SOUS 2505888 HAS SOUPS 2412395 WITH SCORE 2420181.439
AT ITER 1338 NEW BEST:: SOT 12101857 SOS 7787669 HAS SOPS 6475817 HAS SOUS 2506238 HAS SOUPS 2412393 WITH SCORE 2420180.669
AT ITER 1351 NEW BEST:: SOT 12101484 SOS 7787289 HAS SOPS 6475389 HAS SOUS 2505786 HAS SOUPS 2411893 WITH SCORE 2419680.289
AT ITER 1354 NEW BEST:: SOT 12100723 SOS 7786268 HAS SOPS 6473974 HAS SOUS 2504118 HAS SOUPS 2410225 WITH SCORE 2418011.268
AT ITER 1355 NEW BEST:: SOT 12108308 SOS 7817459 HAS SOPS 6506758 HAS SOUS 2490637 HAS SOUPS 2396949 WITH SCORE 2404766.459
AT ITER 1359 NEW BEST:: SOT 12103788 SOS 7811564 HAS SOPS 6499330 HAS SOUS 2482340 HAS SOUPS 2388652 WITH SCORE 2396463.564
AT ITER 1370 NEW BEST:: SOT 12103702 SOS 7811463 HAS SOPS 6499200 HAS SOUS 2482166 HAS SOUPS 2388479 WITH SCORE 2396290.463
AT ITER 1378 NEW BEST:: SOT 12104517 SOS 7812114 HAS SOPS 6499271 HAS SOUS 2480635 HAS SOUPS 2386978 WITH SCORE 2394790.114
AT ITER 1379 NEW BEST:: SOT 12110441 SOS 7822627 HAS SOPS 6508841 HAS SOUS 2473493 HAS SOUPS 2379886 WITH SCORE 2387708.627
AT ITER 1382 NEW BEST:: SOT 12110435 SOS 7822589 HAS SOPS 6508795 HAS SOUS 2473488 HAS SOUPS 2379881 WITH SCORE 2387703.589
AT ITER 1400 NEW BEST:: SOT 12110781 SOS 7822935 HAS SOPS 6508965 HAS SOUS 2473066 HAS SOUPS 2379459 WITH SCORE 2387281.935
AT ITER 1405 NEW BEST:: SOT 12110562 SOS 7821157 HAS SOPS 6508634 HAS SOUS 2473002 HAS SOUPS 2379395 WITH SCORE 2387216.157
AT ITER 1410 NEW BEST:: SOT 12109683 SOS 7820047 HAS SOPS 6507272 HAS SOUS 2471054 HAS SOUPS 2377447 WITH SCORE 2385267.047
AT ITER 1417 NEW BEST:: SOT 12110154 SOS 7820452 HAS SOPS 6507947 HAS SOUS 2470688 HAS SOUPS 2377094 WITH SCORE 2384914.452
AT ITER 1419 NEW BEST:: SOT 12110436 SOS 7821116 HAS SOPS 6509023 HAS SOUS 2470605 HAS SOUPS 2377011 WITH SCORE 2384832.116
AT ITER 1428 NEW BEST:: SOT 12103546 SOS 7807809 HAS SOPS 6498038 HAS SOUS 2463262 HAS SOUPS 2369782 WITH SCORE 2377589.809
AT ITER 1438 NEW BEST:: SOT 12103070 SOS 7807154 HAS SOPS 6497102 HAS SOUS 2462406 HAS SOUPS 2368939 WITH SCORE 2376746.154
AT ITER 1443 NEW BEST:: SOT 12102384 SOS 7801248 HAS SOPS 6494047 HAS SOUS 2455085 HAS SOUPS 2361775 WITH SCORE 2369576.248
AT ITER 1460 NEW BEST:: SOT 12095424 SOS 7791935 HAS SOPS 6484486 HAS SOUS 2445297 HAS SOUPS 2352013 WITH SCORE 2359804.935
AT ITER 1464 NEW BEST:: SOT 12095024 SOS 7791029 HAS SOPS 6483763 HAS SOUS 2444327 HAS SOUPS 2351163 WITH SCORE 2358954.029
AT ITER 1480 NEW BEST:: SOT 12096522 SOS 7796527 HAS SOPS 6490293 HAS SOUS 2440576 HAS SOUPS 2347443 WITH SCORE 2355239.527
AT ITER 1484 NEW BEST:: SOT 12096042 SOS 7795911 HAS SOPS 6489669 HAS SOUS 2440308 HAS SOUPS 2347171 WITH SCORE 2354966.911
AT ITER 1500 NEW BEST:: SOT 12097827 SOS 7797621 HAS SOPS 6490123 HAS SOUS 2438404 HAS SOUPS 2345267 WITH SCORE 2353064.621
AT ITER 1516 NEW BEST:: SOT 12097554 SOS 7796432 HAS SOPS 6488464 HAS SOUS 2435420 HAS SOUPS 2342310 WITH SCORE 2350106.432
AT ITER 1519 NEW BEST:: SOT 12092068 SOS 7790946 HAS SOPS 6482978 HAS SOUS 2430914 HAS SOUPS 2337804 WITH SCORE 2345594.946
AT ITER 1544 NEW BEST:: SOT 12096981 SOS 7801841 HAS SOPS 6494697 HAS SOUS 2430390 HAS SOUPS 2337367 WITH SCORE 2345168.841
AT ITER 1555 NEW BEST:: SOT 12097127 SOS 7801987 HAS SOPS 6494699 HAS SOUS 2429224 HAS SOUPS 2336201 WITH SCORE 2344002.987
AT ITER 1563 NEW BEST:: SOT 12096993 SOS 7802072 HAS SOPS 6496004 HAS SOUS 2426232 HAS SOUPS 2333241 WITH SCORE 2341043.072
AT ITER 1565 NEW BEST:: SOT 12096740 SOS 7811048 HAS SOPS 6504397 HAS SOUS 2422630 HAS SOUPS 2329639 WITH SCORE 2337450.048
AT ITER 1577 NEW BEST:: SOT 12095488 SOS 7809910 HAS SOPS 6502865 HAS SOUS 2420743 HAS SOUPS 2327728 WITH SCORE 2335537.91
AT ITER 1583 NEW BEST:: SOT 12096441 SOS 7813011 HAS SOPS 6505142 HAS SOUS 2418428 HAS SOUPS 2325413 WITH SCORE 2333226.011
AT ITER 1602 NEW BEST:: SOT 12096473 SOS 7816221 HAS SOPS 6507554 HAS SOUS 2412597 HAS SOUPS 2319629 WITH SCORE 2327445.221
AT ITER 1645 NEW BEST:: SOT 12096473 SOS 7814998 HAS SOPS 6503650 HAS SOUS 2409916 HAS SOUPS 2316948 WITH SCORE 2324762.998
AT ITER 1647 NEW BEST:: SOT 12095841 SOS 7813442 HAS SOPS 6502271 HAS SOUS 2408728 HAS SOUPS 2315760 WITH SCORE 2323573.442
AT ITER 1664 NEW BEST:: SOT 12093125 SOS 7810469 HAS SOPS 6498854 HAS SOUS 2402713 HAS SOUPS 2309745 WITH SCORE 2317555.469
AT ITER 1677 NEW BEST:: SOT 12092963 SOS 7810300 HAS SOPS 6498607 HAS SOUS 2402550 HAS SOUPS 2309549 WITH SCORE 2317359.3
AT ITER 1680 NEW BEST:: SOT 12092657 SOS 7809738 HAS SOPS 6498025 HAS SOUS 2402240 HAS SOUPS 2309252 WITH SCORE 2317061.738
AT ITER 1681 NEW BEST:: SOT 12079952 SOS 7794675 HAS SOPS 6482528 HAS SOUS 2367769 HAS SOUPS 2274943 WITH SCORE 2282737.675
AT ITER 1688 NEW BEST:: SOT 12079593 SOS 7788355 HAS SOPS 6478580 HAS SOUS 2366928 HAS SOUPS 2274536 WITH SCORE 2282324.355
AT ITER 1693 NEW BEST:: SOT 12077886 SOS 7784289 HAS SOPS 6473188 HAS SOUS 2365966 HAS SOUPS 2273510 WITH SCORE 2281294.289
AT ITER 1704 NEW BEST:: SOT 12077843 SOS 7784161 HAS SOPS 6473060 HAS SOUS 2365958 HAS SOUPS 2273497 WITH SCORE 2281281.161
AT ITER 1706 NEW BEST:: SOT 12075717 SOS 7779890 HAS SOPS 6468538 HAS SOUS 2361421 HAS SOUPS 2268960 WITH SCORE 2276739.89
AT ITER 1718 NEW BEST:: SOT 12076595 SOS 7779668 HAS SOPS 6470163 HAS SOUS 2355380 HAS SOUPS 2263089 WITH SCORE 2270868.668
AT ITER 1723 NEW BEST:: SOT 12070697 SOS 7761039 HAS SOPS 6452852 HAS SOUS 2349902 HAS SOUPS 2257611 WITH SCORE 2265372.039
AT ITER 1735 NEW BEST:: SOT 12068532 SOS 7758723 HAS SOPS 6451495 HAS SOUS 2349772 HAS SOUPS 2257587 WITH SCORE 2265345.723
AT ITER 1743 NEW BEST:: SOT 12068532 SOS 7756468 HAS SOPS 6444880 HAS SOUS 2348225 HAS SOUPS 2256040 WITH SCORE 2263796.468
AT ITER 1760 NEW BEST:: SOT 12068577 SOS 7756268 HAS SOPS 6444767 HAS SOUS 2347102 HAS SOUPS 2254945 WITH SCORE 2262701.268
AT ITER 1774 NEW BEST:: SOT 12068318 SOS 7755971 HAS SOPS 6446505 HAS SOUS 2345827 HAS SOUPS 2253670 WITH SCORE 2261425.971
AT ITER 1788 NEW BEST:: SOT 12067018 SOS 7759638 HAS SOPS 6448866 HAS SOUS 2343809 HAS SOUPS 2251652 WITH SCORE 2259411.638
AT ITER 1793 NEW BEST:: SOT 12069830 SOS 7766482 HAS SOPS 6455533 HAS SOUS 2342834 HAS SOUPS 2250677 WITH SCORE 2258443.482
AT ITER 1803 NEW BEST:: SOT 12070164 SOS 7769396 HAS SOPS 6458998 HAS SOUS 2341915 HAS SOUPS 2249758 WITH SCORE 2257527.396
AT ITER 1817 NEW BEST:: SOT 12070112 SOS 7768938 HAS SOPS 6458966 HAS SOUS 2341639 HAS SOUPS 2249482 WITH SCORE 2257250.938
AT ITER 1825 NEW BEST:: SOT 12073748 SOS 7773141 HAS SOPS 6464739 HAS SOUS 2336895 HAS SOUPS 2244881 WITH SCORE 2252654.141
AT ITER 1830 NEW BEST:: SOT 12071511 SOS 7770469 HAS SOPS 6461821 HAS SOUS 2331175 HAS SOUPS 2239161 WITH SCORE 2246931.469
AT ITER 1831 NEW BEST:: SOT 12069588 SOS 7767561 HAS SOPS 6460691 HAS SOUS 2322451 HAS SOUPS 2231390 WITH SCORE 2239157.561
AT ITER 1837 NEW BEST:: SOT 12075556 SOS 7775436 HAS SOPS 6468081 HAS SOUS 2314729 HAS SOUPS 2223668 WITH SCORE 2231443.436
AT ITER 1842 NEW BEST:: SOT 12075742 SOS 7773711 HAS SOPS 6464139 HAS SOUS 2313586 HAS SOUPS 2222525 WITH SCORE 2230298.711
AT ITER 1843 NEW BEST:: SOT 12074996 SOS 7774224 HAS SOPS 6464845 HAS SOUS 2312607 HAS SOUPS 2221546 WITH SCORE 2229320.224
AT ITER 1860 NEW BEST:: SOT 12074885 SOS 7773772 HAS SOPS 6463956 HAS SOUS 2310907 HAS SOUPS 2219846 WITH SCORE 2227619.772
AT ITER 1864 NEW BEST:: SOT 12080931 SOS 7786392 HAS SOPS 6473159 HAS SOUS 2307536 HAS SOUPS 2216475 WITH SCORE 2224261.392
AT ITER 1870 NEW BEST:: SOT 12078292 SOS 7783794 HAS SOPS 6469692 HAS SOUS 2304983 HAS SOUPS 2213922 WITH SCORE 2221705.794
AT ITER 1873 NEW BEST:: SOT 12083813 SOS 7800603 HAS SOPS 6483354 HAS SOUS 2301429 HAS SOUPS 2210368 WITH SCORE 2218168.603
AT ITER 1876 NEW BEST:: SOT 12083516 SOS 7799836 HAS SOPS 6482592 HAS SOUS 2300932 HAS SOUPS 2209876 WITH SCORE 2217675.836
AT ITER 1882 NEW BEST:: SOT 12083639 SOS 7799975 HAS SOPS 6482663 HAS SOUS 2300651 HAS SOUPS 2209611 WITH SCORE 2217410.975
AT ITER 1883 NEW BEST:: SOT 12084140 SOS 7801001 HAS SOPS 6482655 HAS SOUS 2300456 HAS SOUPS 2209416 WITH SCORE 2217217.001
AT ITER 1890 NEW BEST:: SOT 12083019 SOS 7798811 HAS SOPS 6481404 HAS SOUS 2298393 HAS SOUPS 2207376 WITH SCORE 2215174.811
AT ITER 1926 NEW BEST:: SOT 12089040 SOS 7805397 HAS SOPS 6490072 HAS SOUS 2295429 HAS SOUPS 2204697 WITH SCORE 2212502.397
AT ITER 1939 NEW BEST:: SOT 12091351 SOS 7812138 HAS SOPS 6495825 HAS SOUS 2295479 HAS SOUPS 2204642 WITH SCORE 2212454.138
AT ITER 1945 NEW BEST:: SOT 12091525 SOS 7812731 HAS SOPS 6496175 HAS SOUS 2295202 HAS SOUPS 2204365 WITH SCORE 2212177.731
AT ITER 1949 NEW BEST:: SOT 12091369 SOS 7813929 HAS SOPS 6496255 HAS SOUS 2294025 HAS SOUPS 2203162 WITH SCORE 2210975.929
AT ITER 1963 NEW BEST:: SOT 12090768 SOS 7813270 HAS SOPS 6494678 HAS SOUS 2292150 HAS SOUPS 2201269 WITH SCORE 2209082.27
AT ITER 1983 NEW BEST:: SOT 12090649 SOS 7812951 HAS SOPS 6494259 HAS SOUS 2292011 HAS SOUPS 2201120 WITH SCORE 2208932.951
AT ITER 1996 NEW BEST:: SOT 12098012 SOS 7825277 HAS SOPS 6498591 HAS SOUS 2282996 HAS SOUPS 2192105 WITH SCORE 2199930.277
AT ITER 1999 NEW BEST:: SOT 12097115 SOS 7824771 HAS SOPS 6497198 HAS SOUS 2279244 HAS SOUPS 2188277 WITH SCORE 2196101.771
AT ITER 2006 NEW BEST:: SOT 12100594 SOS 7828337 HAS SOPS 6501900 HAS SOUS 2278199 HAS SOUPS 2187443 WITH SCORE 2195271.337
AT ITER 2013 NEW BEST:: SOT 12099696 SOS 7830003 HAS SOPS 6501775 HAS SOUS 2276267 HAS SOUPS 2185511 WITH SCORE 2193341.003
AT ITER 2014 NEW BEST:: SOT 12099443 SOS 7829734 HAS SOPS 6501171 HAS SOUS 2275428 HAS SOUPS 2184672 WITH SCORE 2192501.734
AT ITER 2028 NEW BEST:: SOT 12097426 SOS 7825456 HAS SOPS 6496573 HAS SOUS 2269704 HAS SOUPS 2178948 WITH SCORE 2186773.456
AT ITER 2035 NEW BEST:: SOT 12092844 SOS 7820527 HAS SOPS 6487872 HAS SOUS 2262409 HAS SOUPS 2171719 WITH SCORE 2179539.527
AT ITER 2044 NEW BEST:: SOT 12086234 SOS 7814294 HAS SOPS 6477445 HAS SOUS 2259278 HAS SOUPS 2163349 WITH SCORE 2171163.294
AT ITER 2062 NEW BEST:: SOT 12089928 SOS 7833242 HAS SOPS 6498505 HAS SOUS 2247539 HAS SOUPS 2151610 WITH SCORE 2159443.242
AT ITER 2082 NEW BEST:: SOT 12092117 SOS 7837753 HAS SOPS 6502119 HAS SOUS 2246461 HAS SOUPS 2150532 WITH SCORE 2158369.753
AT ITER 2091 NEW BEST:: SOT 12090323 SOS 7835959 HAS SOPS 6500325 HAS SOUS 2244667 HAS SOUPS 2148738 WITH SCORE 2156573.959
AT ITER 2114 NEW BEST:: SOT 12089410 SOS 7835088 HAS SOPS 6499060 HAS SOUS 2243720 HAS SOUPS 2147757 WITH SCORE 2155592.088
AT ITER 2133 NEW BEST:: SOT 12094351 SOS 7838034 HAS SOPS 6500433 HAS SOUS 2242598 HAS SOUPS 2146822 WITH SCORE 2154660.034
AT ITER 2150 NEW BEST:: SOT 12094297 SOS 7837986 HAS SOPS 6500379 HAS SOUS 2242505 HAS SOUPS 2146726 WITH SCORE 2154563.986
AT ITER 2197 NEW BEST:: SOT 12094277 SOS 7838082 HAS SOPS 6500449 HAS SOUS 2242463 HAS SOUPS 2146682 WITH SCORE 2154520.082
AT ITER 2205 NEW BEST:: SOT 12093892 SOS 7836302 HAS SOPS 6497780 HAS SOUS 2241683 HAS SOUPS 2145902 WITH SCORE 2153738.302
AT ITER 2206 NEW BEST:: SOT 12093824 SOS 7836268 HAS SOPS 6497436 HAS SOUS 2241348 HAS SOUPS 2145567 WITH SCORE 2153403.268
AT ITER 2208 NEW BEST:: SOT 12089976 SOS 7831768 HAS SOPS 6491538 HAS SOUS 2235178 HAS SOUPS 2139397 WITH SCORE 2147228.768
AT ITER 2209 NEW BEST:: SOT 12089967 SOS 7830761 HAS SOPS 6489905 HAS SOUS 2234792 HAS SOUPS 2139011 WITH SCORE 2146841.761
AT ITER 2221 NEW BEST:: SOT 12090458 SOS 7834078 HAS SOPS 6493593 HAS SOUS 2230341 HAS SOUPS 2134620 WITH SCORE 2142454.078
AT ITER 2225 NEW BEST:: SOT 12089775 SOS 7833365 HAS SOPS 6492400 HAS SOUS 2228640 HAS SOUPS 2132871 WITH SCORE 2140704.365
AT ITER 2227 NEW BEST:: SOT 12091471 SOS 7834418 HAS SOPS 6497005 HAS SOUS 2228601 HAS SOUPS 2132832 WITH SCORE 2140666.418
AT ITER 2236 NEW BEST:: SOT 12090531 SOS 7830812 HAS SOPS 6494322 HAS SOUS 2228177 HAS SOUPS 2132408 WITH SCORE 2140238.812
AT ITER 2241 NEW BEST:: SOT 12094077 SOS 7834808 HAS SOPS 6500138 HAS SOUS 2220826 HAS SOUPS 2126098 WITH SCORE 2133932.808
AT ITER 2253 NEW BEST:: SOT 12092727 SOS 7833873 HAS SOPS 6496286 HAS SOUS 2215801 HAS SOUPS 2120980 WITH SCORE 2128813.873
AT ITER 2256 NEW BEST:: SOT 12092928 SOS 7833994 HAS SOPS 6496432 HAS SOUS 2215641 HAS SOUPS 2120825 WITH SCORE 2128658.994
AT ITER 2261 NEW BEST:: SOT 12092824 SOS 7832082 HAS SOPS 6495000 HAS SOUS 2215502 HAS SOUPS 2120686 WITH SCORE 2128518.082
AT ITER 2266 NEW BEST:: SOT 12092365 SOS 7831126 HAS SOPS 6493556 HAS SOUS 2213758 HAS SOUPS 2118942 WITH SCORE 2126773.126
AT ITER 2277 NEW BEST:: SOT 12092525 SOS 7831350 HAS SOPS 6493580 HAS SOUS 2213336 HAS SOUPS 2118520 WITH SCORE 2126351.35
AT ITER 2282 NEW BEST:: SOT 12094727 SOS 7835091 HAS SOPS 6497449 HAS SOUS 2213145 HAS SOUPS 2118329 WITH SCORE 2126164.091
AT ITER 2306 NEW BEST:: SOT 12095197 SOS 7835785 HAS SOPS 6497967 HAS SOUS 2212945 HAS SOUPS 2118144 WITH SCORE 2125979.785
AT ITER 2307 NEW BEST:: SOT 12093297 SOS 7832255 HAS SOPS 6494275 HAS SOUS 2211643 HAS SOUPS 2116842 WITH SCORE 2124674.255
AT ITER 2310 NEW BEST:: SOT 12095559 SOS 7835253 HAS SOPS 6495938 HAS SOUS 2205239 HAS SOUPS 2110380 WITH SCORE 2118215.253
AT ITER 2323 NEW BEST:: SOT 12093909 SOS 7832058 HAS SOPS 6492941 HAS SOUS 2203376 HAS SOUPS 2108651 WITH SCORE 2116483.058
AT ITER 2325 NEW BEST:: SOT 12092496 SOS 7830656 HAS SOPS 6491528 HAS SOUS 2202039 HAS SOUPS 2107303 WITH SCORE 2115133.656
AT ITER 2327 NEW BEST:: SOT 12077398 SOS 7807221 HAS SOPS 6474546 HAS SOUS 2201480 HAS SOUPS 2106909 WITH SCORE 2114716.221
AT ITER 2333 NEW BEST:: SOT 12072195 SOS 7795562 HAS SOPS 6462460 HAS SOUS 2200297 HAS SOUPS 2105581 WITH SCORE 2113376.562
AT ITER 2342 NEW BEST:: SOT 12072036 SOS 7795141 HAS SOPS 6462061 HAS SOUS 2200132 HAS SOUPS 2105416 WITH SCORE 2113211.141
AT ITER 2402 NEW BEST:: SOT 12071967 SOS 7794979 HAS SOPS 6461841 HAS SOUS 2199253 HAS SOUPS 2104553 WITH SCORE 2112347.979
AT ITER 2409 NEW BEST:: SOT 12071375 SOS 7794387 HAS SOPS 6461089 HAS SOUS 2197941 HAS SOUPS 2103241 WITH SCORE 2111035.387
AT ITER 2421 NEW BEST:: SOT 12071652 SOS 7795110 HAS SOPS 6462133 HAS SOUS 2197495 HAS SOUPS 2102795 WITH SCORE 2110590.11
AT ITER 2425 NEW BEST:: SOT 12071735 SOS 7795597 HAS SOPS 6462920 HAS SOUS 2196665 HAS SOUPS 2101965 WITH SCORE 2109760.597
AT ITER 2448 NEW BEST:: SOT 12071725 SOS 7795539 HAS SOPS 6462878 HAS SOUS 2196636 HAS SOUPS 2101937 WITH SCORE 2109732.539
AT ITER 2451 NEW BEST:: SOT 12071638 SOS 7795792 HAS SOPS 6462819 HAS SOUS 2195413 HAS SOUPS 2100734 WITH SCORE 2108529.792
AT ITER 2459 NEW BEST:: SOT 12071776 SOS 7797551 HAS SOPS 6463804 HAS SOUS 2194349 HAS SOUPS 2099670 WITH SCORE 2107467.551
AT ITER 2466 NEW BEST:: SOT 12068614 SOS 7793814 HAS SOPS 6459991 HAS SOUS 2189790 HAS SOUPS 2095111 WITH SCORE 2102904.814
AT ITER 2470 NEW BEST:: SOT 12068132 SOS 7792318 HAS SOPS 6460471 HAS SOUS 2189611 HAS SOUPS 2094950 WITH SCORE 2102742.318
AT ITER 2477 NEW BEST:: SOT 12070093 SOS 7797935 HAS SOPS 6464764 HAS SOUS 2187435 HAS SOUPS 2092834 WITH SCORE 2100631.935
AT ITER 2481 NEW BEST:: SOT 12068539 SOS 7795331 HAS SOPS 6462576 HAS SOUS 2186992 HAS SOUPS 2092588 WITH SCORE 2100383.331
AT ITER 2495 NEW BEST:: SOT 12068121 SOS 7797524 HAS SOPS 6467479 HAS SOUS 2184059 HAS SOUPS 2089770 WITH SCORE 2097567.524
AT ITER 2500 NEW BEST:: SOT 12068164 SOS 7797975 HAS SOPS 6467857 HAS SOUS 2183590 HAS SOUPS 2089301 WITH SCORE 2097098.975
AT ITER 2504 NEW BEST:: SOT 12064852 SOS 7795324 HAS SOPS 6466014 HAS SOUS 2172693 HAS SOUPS 2078417 WITH SCORE 2086212.324
AT ITER 2506 NEW BEST:: SOT 12070702 SOS 7806348 HAS SOPS 6470964 HAS SOUS 2172750 HAS SOUPS 2078242 WITH SCORE 2086048.348
AT ITER 2520 NEW BEST:: SOT 12069892 SOS 7805618 HAS SOPS 6469292 HAS SOUS 2170842 HAS SOUPS 2076316 WITH SCORE 2084121.618
AT ITER 2531 NEW BEST:: SOT 12068971 SOS 7801817 HAS SOPS 6466734 HAS SOUS 2170294 HAS SOUPS 2075768 WITH SCORE 2083569.817
AT ITER 2534 NEW BEST:: SOT 12068586 SOS 7801582 HAS SOPS 6466049 HAS SOUS 2168459 HAS SOUPS 2073953 WITH SCORE 2081754.582
AT ITER 2545 NEW BEST:: SOT 12063003 SOS 7795322 HAS SOPS 6460747 HAS SOUS 2166197 HAS SOUPS 2072164 WITH SCORE 2079959.322
AT ITER 2552 NEW BEST:: SOT 12064002 SOS 7796190 HAS SOPS 6462186 HAS SOUS 2159201 HAS SOUPS 2065273 WITH SCORE 2073069.19
AT ITER 2570 NEW BEST:: SOT 12064003 SOS 7796211 HAS SOPS 6462323 HAS SOUS 2159179 HAS SOUPS 2065251 WITH SCORE 2073047.211
AT ITER 2577 NEW BEST:: SOT 12063820 SOS 7796109 HAS SOPS 6461477 HAS SOUS 2156061 HAS SOUPS 2062133 WITH SCORE 2069929.109
AT ITER 2586 NEW BEST:: SOT 12067548 SOS 7801929 HAS SOPS 6463584 HAS SOUS 2151067 HAS SOUPS 2057139 WITH SCORE 2064940.929
AT ITER 2600 NEW BEST:: SOT 12066210 SOS 7793961 HAS SOPS 6455676 HAS SOUS 2150900 HAS SOUPS 2056986 WITH SCORE 2064779.961
AT ITER 2606 NEW BEST:: SOT 12065713 SOS 7793606 HAS SOPS 6455318 HAS SOUS 2150745 HAS SOUPS 2056814 WITH SCORE 2064607.606
AT ITER 2609 NEW BEST:: SOT 12066222 SOS 7793354 HAS SOPS 6455192 HAS SOUS 2150575 HAS SOUPS 2056644 WITH SCORE 2064437.354
AT ITER 2612 NEW BEST:: SOT 12066593 SOS 7794462 HAS SOPS 6456181 HAS SOUS 2150382 HAS SOUPS 2056451 WITH SCORE 2064245.462
AT ITER 2613 NEW BEST:: SOT 12064353 SOS 7791485 HAS SOPS 6451926 HAS SOUS 2146884 HAS SOUPS 2052377 WITH SCORE 2060168.485
AT ITER 2617 NEW BEST:: SOT 12064403 SOS 7791535 HAS SOPS 6451992 HAS SOUS 2146822 HAS SOUPS 2052315 WITH SCORE 2060106.535
AT ITER 2627 NEW BEST:: SOT 12067901 SOS 7795849 HAS SOPS 6455123 HAS SOUS 2144873 HAS SOUPS 2050444 WITH SCORE 2058239.849
AT ITER 2652 NEW BEST:: SOT 12067900 SOS 7795807 HAS SOPS 6454437 HAS SOUS 2143659 HAS SOUPS 2049246 WITH SCORE 2057041.807
AT ITER 2679 NEW BEST:: SOT 12069762 SOS 7797736 HAS SOPS 6455309 HAS SOUS 2141150 HAS SOUPS 2046594 WITH SCORE 2054391.736
AT ITER 2680 NEW BEST:: SOT 12069227 SOS 7796955 HAS SOPS 6454496 HAS SOUS 2141132 HAS SOUPS 2046576 WITH SCORE 2054372.955
AT ITER 2684 NEW BEST:: SOT 12066471 SOS 7794015 HAS SOPS 6450966 HAS SOUS 2136954 HAS SOUPS 2042398 WITH SCORE 2050192.015
AT ITER 2687 NEW BEST:: SOT 12066203 SOS 7793747 HAS SOPS 6450698 HAS SOUS 2136838 HAS SOUPS 2042282 WITH SCORE 2050075.747
AT ITER 2688 NEW BEST:: SOT 12063966 SOS 7791148 HAS SOPS 6445728 HAS SOUS 2134035 HAS SOUPS 2039479 WITH SCORE 2047270.148
AT ITER 2695 NEW BEST:: SOT 12062743 SOS 7790421 HAS SOPS 6442913 HAS SOUS 2126141 HAS SOUPS 2031435 WITH SCORE 2039225.421
AT ITER 2703 NEW BEST:: SOT 12063287 SOS 7791111 HAS SOPS 6444868 HAS SOUS 2125129 HAS SOUPS 2030492 WITH SCORE 2038283.111
AT ITER 2710 NEW BEST:: SOT 12063120 SOS 7790545 HAS SOPS 6444480 HAS SOUS 2124619 HAS SOUPS 2030086 WITH SCORE 2037876.545
AT ITER 2717 NEW BEST:: SOT 12062784 SOS 7790364 HAS SOPS 6444061 HAS SOUS 2123790 HAS SOUPS 2029257 WITH SCORE 2037047.364
AT ITER 2726 NEW BEST:: SOT 12061854 SOS 7789049 HAS SOPS 6443126 HAS SOUS 2121501 HAS SOUPS 2027161 WITH SCORE 2034950.049
AT ITER 2736 NEW BEST:: SOT 12061826 SOS 7788826 HAS SOPS 6442884 HAS SOUS 2121461 HAS SOUPS 2027121 WITH SCORE 2034909.826
AT ITER 2757 NEW BEST:: SOT 12060778 SOS 7786910 HAS SOPS 6441606 HAS SOUS 2120070 HAS SOUPS 2025730 WITH SCORE 2033516.91
AT ITER 2765 NEW BEST:: SOT 12056644 SOS 7781443 HAS SOPS 6434760 HAS SOUS 2108297 HAS SOUPS 2013957 WITH SCORE 2021738.443
AT ITER 2769 NEW BEST:: SOT 12056666 SOS 7781453 HAS SOPS 6434821 HAS SOUS 2108127 HAS SOUPS 2013787 WITH SCORE 2021568.453
AT ITER 2781 NEW BEST:: SOT 12051294 SOS 7770230 HAS SOPS 6425783 HAS SOUS 2104509 HAS SOUPS 2010420 WITH SCORE 2018190.23
AT ITER 2784 NEW BEST:: SOT 12050750 SOS 7769686 HAS SOPS 6425063 HAS SOUS 2104371 HAS SOUPS 2010026 WITH SCORE 2017795.686
AT ITER 2786 NEW BEST:: SOT 12054258 SOS 7775127 HAS SOPS 6432133 HAS SOUS 2104485 HAS SOUPS 2010005 WITH SCORE 2017780.127
AT ITER 2798 NEW BEST:: SOT 12055581 SOS 7780056 HAS SOPS 6436338 HAS SOUS 2104438 HAS SOUPS 2009958 WITH SCORE 2017738.056
AT ITER 2799 NEW BEST:: SOT 12053060 SOS 7777676 HAS SOPS 6433350 HAS SOUS 2102168 HAS SOUPS 2007580 WITH SCORE 2015357.676
AT ITER 2807 NEW BEST:: SOT 12052115 SOS 7776333 HAS SOPS 6432166 HAS SOUS 2099831 HAS SOUPS 2005253 WITH SCORE 2013029.333
AT ITER 2813 NEW BEST:: SOT 12049034 SOS 7774534 HAS SOPS 6431062 HAS SOUS 2097004 HAS SOUPS 2002426 WITH SCORE 2010200.534
AT ITER 2814 NEW BEST:: SOT 12047423 SOS 7770572 HAS SOPS 6428392 HAS SOUS 2096735 HAS SOUPS 2002157 WITH SCORE 2009927.572
AT ITER 2817 NEW BEST:: SOT 12045833 SOS 7764534 HAS SOPS 6426352 HAS SOUS 2096654 HAS SOUPS 2002076 WITH SCORE 2009840.534
AT ITER 2826 NEW BEST:: SOT 12045651 SOS 7764178 HAS SOPS 6426000 HAS SOUS 2096456 HAS SOUPS 2001880 WITH SCORE 2009644.178
AT ITER 2835 NEW BEST:: SOT 12045615 SOS 7764142 HAS SOPS 6425964 HAS SOUS 2096372 HAS SOUPS 2001796 WITH SCORE 2009560.142
AT ITER 2846 NEW BEST:: SOT 12044936 SOS 7763295 HAS SOPS 6424077 HAS SOUS 2091405 HAS SOUPS 1997341 WITH SCORE 2005104.295
AT ITER 2887 NEW BEST:: SOT 12046171 SOS 7772574 HAS SOPS 6432296 HAS SOUS 2087136 HAS SOUPS 1993072 WITH SCORE 2000844.574
AT ITER 2898 NEW BEST:: SOT 12046119 SOS 7772426 HAS SOPS 6432291 HAS SOUS 2087065 HAS SOUPS 1993001 WITH SCORE 2000773.426
AT ITER 2903 NEW BEST:: SOT 12046659 SOS 7772188 HAS SOPS 6431773 HAS SOUS 2085887 HAS SOUPS 1991823 WITH SCORE 1999595.188
AT ITER 2921 NEW BEST:: SOT 12045647 SOS 7770448 HAS SOPS 6430191 HAS SOUS 2084869 HAS SOUPS 1990821 WITH SCORE 1998591.448
AT ITER 2932 NEW BEST:: SOT 12044963 SOS 7769764 HAS SOPS 6429203 HAS SOUS 2083045 HAS SOUPS 1988997 WITH SCORE 1996766.764
AT ITER 2941 NEW BEST:: SOT 12044871 SOS 7770668 HAS SOPS 6429024 HAS SOUS 2082273 HAS SOUPS 1988225 WITH SCORE 1995995.668
AT ITER 2943 NEW BEST:: SOT 12043961 SOS 7767982 HAS SOPS 6425151 HAS SOUS 2080838 HAS SOUPS 1986790 WITH SCORE 1994557.982
AT ITER 2952 NEW BEST:: SOT 12043621 SOS 7767682 HAS SOPS 6424619 HAS SOUS 2079838 HAS SOUPS 1985790 WITH SCORE 1993557.682
AT ITER 2954 NEW BEST:: SOT 12040586 SOS 7763475 HAS SOPS 6421038 HAS SOUS 2076461 HAS SOUPS 1982413 WITH SCORE 1990176.475
AT ITER 2983 NEW BEST:: SOT 12040935 SOS 7763824 HAS SOPS 6421163 HAS SOUS 2074930 HAS SOUPS 1980882 WITH SCORE 1988645.824
AT ITER 2990 NEW BEST:: SOT 12040651 SOS 7761985 HAS SOPS 6418626 HAS SOUS 2074208 HAS SOUPS 1980166 WITH SCORE 1987927.985
AT ITER 3003 NEW BEST:: SOT 12037471 SOS 7761646 HAS SOPS 6418488 HAS SOUS 2074102 HAS SOUPS 1979989 WITH SCORE 1987750.646
AT ITER 3008 NEW BEST:: SOT 12036799 SOS 7760662 HAS SOPS 6417408 HAS SOUS 2073152 HAS SOUPS 1979060 WITH SCORE 1986820.662
AT ITER 3030 NEW BEST:: SOT 12044606 SOS 7779363 HAS SOPS 6434760 HAS SOUS 2065494 HAS SOUPS 1971575 WITH SCORE 1979354.363
AT ITER 3043 NEW BEST:: SOT 12045831 SOS 7781161 HAS SOPS 6439015 HAS SOUS 2063514 HAS SOUPS 1969697 WITH SCORE 1977478.161
AT ITER 3046 NEW BEST:: SOT 12045894 SOS 7781193 HAS SOPS 6439315 HAS SOUS 2062864 HAS SOUPS 1969182 WITH SCORE 1976963.193
AT ITER 3047 NEW BEST:: SOT 12046826 SOS 7781649 HAS SOPS 6440271 HAS SOUS 2062088 HAS SOUPS 1968489 WITH SCORE 1976270.649
AT ITER 3049 NEW BEST:: SOT 12047459 SOS 7785354 HAS SOPS 6441700 HAS SOUS 2060654 HAS SOUPS 1967055 WITH SCORE 1974840.354
AT ITER 3053 NEW BEST:: SOT 12046797 SOS 7784445 HAS SOPS 6440411 HAS SOUS 2059688 HAS SOUPS 1966070 WITH SCORE 1973854.445
AT ITER 3054 NEW BEST:: SOT 12046988 SOS 7784142 HAS SOPS 6439972 HAS SOUS 2059250 HAS SOUPS 1965649 WITH SCORE 1973433.142
AT ITER 3055 NEW BEST:: SOT 12047106 SOS 7784982 HAS SOPS 6440432 HAS SOUS 2058686 HAS SOUPS 1965085 WITH SCORE 1972869.982
AT ITER 3061 NEW BEST:: SOT 12047106 SOS 7784147 HAS SOPS 6439858 HAS SOUS 2058591 HAS SOUPS 1964990 WITH SCORE 1972774.147
AT ITER 3073 NEW BEST:: SOT 12040095 SOS 7776283 HAS SOPS 6431349 HAS SOUS 2047792 HAS SOUPS 1954278 WITH SCORE 1962054.283
AT ITER 3078 NEW BEST:: SOT 12039030 SOS 7775218 HAS SOPS 6430344 HAS SOUS 2047027 HAS SOUPS 1953573 WITH SCORE 1961348.218
AT ITER 3098 NEW BEST:: SOT 12038387 SOS 7774734 HAS SOPS 6429185 HAS SOUS 2036091 HAS SOUPS 1942062 WITH SCORE 1949836.734
AT ITER 3102 NEW BEST:: SOT 12038880 SOS 7775465 HAS SOPS 6430202 HAS SOUS 2035814 HAS SOUPS 1941785 WITH SCORE 1949560.465
AT ITER 3145 NEW BEST:: SOT 12038822 SOS 7775500 HAS SOPS 6429382 HAS SOUS 2034784 HAS SOUPS 1940698 WITH SCORE 1948473.5
AT ITER 3183 NEW BEST:: SOT 12038540 SOS 7774980 HAS SOPS 6429005 HAS SOUS 2034780 HAS SOUPS 1940694 WITH SCORE 1948468.98
AT ITER 3187 NEW BEST:: SOT 12038917 SOS 7775357 HAS SOPS 6429094 HAS SOUS 2033917 HAS SOUPS 1939831 WITH SCORE 1947606.357
AT ITER 3194 NEW BEST:: SOT 12038573 SOS 7775013 HAS SOPS 6428750 HAS SOUS 2033777 HAS SOUPS 1939691 WITH SCORE 1947466.013
AT ITER 3210 NEW BEST:: SOT 12038585 SOS 7773909 HAS SOPS 6427814 HAS SOUS 2033709 HAS SOUPS 1939623 WITH SCORE 1947396.909
AT ITER 3216 NEW BEST:: SOT 12038684 SOS 7774088 HAS SOPS 6428219 HAS SOUS 2033132 HAS SOUPS 1939285 WITH SCORE 1947059.088
AT ITER 3245 NEW BEST:: SOT 12035811 SOS 7769951 HAS SOPS 6423274 HAS SOUS 2027130 HAS SOUPS 1933283 WITH SCORE 1941052.951
AT ITER 3247 NEW BEST:: SOT 12040157 SOS 7777974 HAS SOPS 6430538 HAS SOUS 2026083 HAS SOUPS 1932236 WITH SCORE 1940013.974
AT ITER 3251 NEW BEST:: SOT 12040137 SOS 7777954 HAS SOPS 6430518 HAS SOUS 2026043 HAS SOUPS 1932196 WITH SCORE 1939973.954
AT ITER 3259 NEW BEST:: SOT 12039876 SOS 7781839 HAS SOPS 6436067 HAS SOUS 2025274 HAS SOUPS 1931427 WITH SCORE 1939208.839
AT ITER 3264 NEW BEST:: SOT 12038341 SOS 7778649 HAS SOPS 6433528 HAS SOUS 2022170 HAS SOUPS 1928616 WITH SCORE 1936394.649
AT ITER 3275 NEW BEST:: SOT 12035358 SOS 7772934 HAS SOPS 6427632 HAS SOUS 2018481 HAS SOUPS 1924999 WITH SCORE 1932771.934
AT ITER 3278 NEW BEST:: SOT 12040729 SOS 7783017 HAS SOPS 6434833 HAS SOUS 2018072 HAS SOUPS 1924590 WITH SCORE 1932373.017
AT ITER 3303 NEW BEST:: SOT 12043028 SOS 7787759 HAS SOPS 6437811 HAS SOUS 2014577 HAS SOUPS 1921148 WITH SCORE 1928935.759
AT ITER 3307 NEW BEST:: SOT 12042908 SOS 7787639 HAS SOPS 6437643 HAS SOUS 2014361 HAS SOUPS 1920932 WITH SCORE 1928719.639
AT ITER 3308 NEW BEST:: SOT 12043316 SOS 7787802 HAS SOPS 6434773 HAS SOUS 2014257 HAS SOUPS 1920828 WITH SCORE 1928615.802
AT ITER 3314 NEW BEST:: SOT 12042699 SOS 7787033 HAS SOPS 6433613 HAS SOUS 2013646 HAS SOUPS 1920125 WITH SCORE 1927912.033
AT ITER 3317 NEW BEST:: SOT 12041327 SOS 7784261 HAS SOPS 6431618 HAS SOUS 2013215 HAS SOUPS 1919719 WITH SCORE 1927503.261
AT ITER 3335 NEW BEST:: SOT 12040712 SOS 7782168 HAS SOPS 6430098 HAS SOUS 2012495 HAS SOUPS 1919021 WITH SCORE 1926803.168
AT ITER 3342 NEW BEST:: SOT 12040734 SOS 7782566 HAS SOPS 6431501 HAS SOUS 2012255 HAS SOUPS 1918781 WITH SCORE 1926563.566
AT ITER 3343 NEW BEST:: SOT 12040057 SOS 7782083 HAS SOPS 6430655 HAS SOUS 2010869 HAS SOUPS 1917293 WITH SCORE 1925075.083
AT ITER 3360 NEW BEST:: SOT 12039406 SOS 7780715 HAS SOPS 6429267 HAS SOUS 2009093 HAS SOUPS 1915517 WITH SCORE 1923297.715
AT ITER 3361 NEW BEST:: SOT 12042482 SOS 7783103 HAS SOPS 6431634 HAS SOUS 1992669 HAS SOUPS 1899155 WITH SCORE 1906938.103
AT ITER 3392 NEW BEST:: SOT 12047236 SOS 7790330 HAS SOPS 6439413 HAS SOUS 1981697 HAS SOUPS 1888389 WITH SCORE 1896179.33
AT ITER 3393 NEW BEST:: SOT 12049406 SOS 7798148 HAS SOPS 6448793 HAS SOUS 1979545 HAS SOUPS 1886237 WITH SCORE 1894035.148
AT ITER 3397 NEW BEST:: SOT 12049753 SOS 7800189 HAS SOPS 6451362 HAS SOUS 1978883 HAS SOUPS 1885597 WITH SCORE 1893397.189
AT ITER 3398 NEW BEST:: SOT 12049569 SOS 7799951 HAS SOPS 6451180 HAS SOUS 1978789 HAS SOUPS 1885503 WITH SCORE 1893302.951
AT ITER 3400 NEW BEST:: SOT 12049414 SOS 7800196 HAS SOPS 6451169 HAS SOUS 1978202 HAS SOUPS 1884916 WITH SCORE 1892716.196
AT ITER 3417 NEW BEST:: SOT 12045256 SOS 7795282 HAS SOPS 6443975 HAS SOUS 1971589 HAS SOUPS 1878253 WITH SCORE 1886048.282
AT ITER 3421 NEW BEST:: SOT 12046390 SOS 7797338 HAS SOPS 6445898 HAS SOUS 1970706 HAS SOUPS 1877461 WITH SCORE 1885258.338
AT ITER 3426 NEW BEST:: SOT 12046158 SOS 7801339 HAS SOPS 6450639 HAS SOUS 1969086 HAS SOUPS 1875841 WITH SCORE 1883642.339
AT ITER 3427 NEW BEST:: SOT 12045498 SOS 7800679 HAS SOPS 6449883 HAS SOUS 1968694 HAS SOUPS 1875449 WITH SCORE 1883249.679
AT ITER 3494 NEW BEST:: SOT 12044402 SOS 7800034 HAS SOPS 6448975 HAS SOUS 1967409 HAS SOUPS 1874127 WITH SCORE 1881927.034
AT ITER 3514 NEW BEST:: SOT 12042873 SOS 7798471 HAS SOPS 6446799 HAS SOUS 1965542 HAS SOUPS 1872260 WITH SCORE 1880058.471
AT ITER 3534 NEW BEST:: SOT 12041540 SOS 7800242 HAS SOPS 6450337 HAS SOUS 1963425 HAS SOUPS 1870143 WITH SCORE 1877943.242
AT ITER 3543 NEW BEST:: SOT 12041856 SOS 7800308 HAS SOPS 6450355 HAS SOUS 1963345 HAS SOUPS 1870063 WITH SCORE 1877863.308
AT ITER 3545 NEW BEST:: SOT 12039646 SOS 7797825 HAS SOPS 6448167 HAS SOUS 1962405 HAS SOUPS 1869123 WITH SCORE 1876920.825
AT ITER 3558 NEW BEST:: SOT 12041491 SOS 7803540 HAS SOPS 6453105 HAS SOUS 1959438 HAS SOUPS 1866156 WITH SCORE 1873959.54
AT ITER 3564 NEW BEST:: SOT 12044608 SOS 7812389 HAS SOPS 6471430 HAS SOUS 1957478 HAS SOUPS 1864196 WITH SCORE 1872008.389
AT ITER 3571 NEW BEST:: SOT 12044495 SOS 7812493 HAS SOPS 6471792 HAS SOUS 1956604 HAS SOUPS 1863322 WITH SCORE 1871134.493
AT ITER 3573 NEW BEST:: SOT 12041262 SOS 7802465 HAS SOPS 6461819 HAS SOUS 1954159 HAS SOUPS 1860894 WITH SCORE 1868696.465
AT ITER 3582 NEW BEST:: SOT 12041333 SOS 7802308 HAS SOPS 6460630 HAS SOUS 1953151 HAS SOUPS 1859864 WITH SCORE 1867666.308
AT ITER 3601 NEW BEST:: SOT 12040601 SOS 7801576 HAS SOPS 6459690 HAS SOUS 1951543 HAS SOUPS 1858256 WITH SCORE 1866057.576
AT ITER 3615 NEW BEST:: SOT 12038312 SOS 7798310 HAS SOPS 6457520 HAS SOUS 1947600 HAS SOUPS 1854467 WITH SCORE 1862265.31
AT ITER 3622 NEW BEST:: SOT 12035076 SOS 7793883 HAS SOPS 6453076 HAS SOUS 1939822 HAS SOUPS 1846738 WITH SCORE 1854531.883
AT ITER 3625 NEW BEST:: SOT 12034953 SOS 7793550 HAS SOPS 6452797 HAS SOUS 1939478 HAS SOUPS 1846394 WITH SCORE 1854187.55
AT ITER 3643 NEW BEST:: SOT 12035526 SOS 7794429 HAS SOPS 6454372 HAS SOUS 1939272 HAS SOUPS 1846188 WITH SCORE 1853982.429
AT ITER 3655 NEW BEST:: SOT 12036278 SOS 7796842 HAS SOPS 6455872 HAS SOUS 1936577 HAS SOUPS 1843460 WITH SCORE 1851256.842
AT ITER 3687 NEW BEST:: SOT 12037559 SOS 7802153 HAS SOPS 6458835 HAS SOUS 1933961 HAS SOUPS 1840757 WITH SCORE 1848559.153
AT ITER 3702 NEW BEST:: SOT 12036880 SOS 7801583 HAS SOPS 6457592 HAS SOUS 1932057 HAS SOUPS 1838853 WITH SCORE 1846654.583
AT ITER 3715 NEW BEST:: SOT 12036640 SOS 7801708 HAS SOPS 6457670 HAS SOUS 1931790 HAS SOUPS 1838572 WITH SCORE 1846373.708
AT ITER 3718 NEW BEST:: SOT 12042054 SOS 7816242 HAS SOPS 6472225 HAS SOUS 1921710 HAS SOUPS 1828635 WITH SCORE 1836451.242
AT ITER 3721 NEW BEST:: SOT 12039772 SOS 7814526 HAS SOPS 6470423 HAS SOUS 1921060 HAS SOUPS 1827951 WITH SCORE 1835765.526
AT ITER 3735 NEW BEST:: SOT 12038134 SOS 7811606 HAS SOPS 6467160 HAS SOUS 1917716 HAS SOUPS 1824607 WITH SCORE 1832418.606
AT ITER 3742 NEW BEST:: SOT 12036303 SOS 7795561 HAS SOPS 6465022 HAS SOUS 1915151 HAS SOUPS 1822361 WITH SCORE 1830156.561
AT ITER 3760 NEW BEST:: SOT 12036015 SOS 7795257 HAS SOPS 6464602 HAS SOUS 1914847 HAS SOUPS 1821965 WITH SCORE 1829760.257
AT ITER 3774 NEW BEST:: SOT 12035991 SOS 7796343 HAS SOPS 6465135 HAS SOUS 1914690 HAS SOUPS 1821808 WITH SCORE 1829604.343
AT ITER 3778 NEW BEST:: SOT 12035030 SOS 7786948 HAS SOPS 6456875 HAS SOUS 1913204 HAS SOUPS 1820397 WITH SCORE 1828183.948
AT ITER 3801 NEW BEST:: SOT 12035214 SOS 7787264 HAS SOPS 6457305 HAS SOUS 1913166 HAS SOUPS 1820332 WITH SCORE 1828119.264
AT ITER 3822 NEW BEST:: SOT 12034997 SOS 7787007 HAS SOPS 6457048 HAS SOUS 1912765 HAS SOUPS 1819931 WITH SCORE 1827718.007
AT ITER 3825 NEW BEST:: SOT 12033999 SOS 7786985 HAS SOPS 6457270 HAS SOUS 1912419 HAS SOUPS 1819539 WITH SCORE 1827325.985
AT ITER 3835 NEW BEST:: SOT 12024736 SOS 7773828 HAS SOPS 6444113 HAS SOUS 1903023 HAS SOUPS 1810143 WITH SCORE 1817916.828
AT ITER 3844 NEW BEST:: SOT 12024054 SOS 7773008 HAS SOPS 6442359 HAS SOUS 1901111 HAS SOUPS 1808205 WITH SCORE 1815978.008
AT ITER 3861 NEW BEST:: SOT 12024240 SOS 7773564 HAS SOPS 6442065 HAS SOUS 1900481 HAS SOUPS 1807536 WITH SCORE 1815309.564
AT ITER 3880 NEW BEST:: SOT 12023386 SOS 7772563 HAS SOPS 6441010 HAS SOUS 1898934 HAS SOUPS 1805999 WITH SCORE 1813771.563
AT ITER 3882 NEW BEST:: SOT 12021567 SOS 7770880 HAS SOPS 6440349 HAS SOUS 1898783 HAS SOUPS 1805848 WITH SCORE 1813618.88
AT ITER 3903 NEW BEST:: SOT 12021055 SOS 7769901 HAS SOPS 6439394 HAS SOUS 1898508 HAS SOUPS 1805564 WITH SCORE 1813333.901
AT ITER 3907 NEW BEST:: SOT 12017803 SOS 7766797 HAS SOPS 6436179 HAS SOUS 1894349 HAS SOUPS 1801886 WITH SCORE 1809652.797
AT ITER 3912 NEW BEST:: SOT 12008659 SOS 7757653 HAS SOPS 6426379 HAS SOUS 1884033 HAS SOUPS 1791570 WITH SCORE 1799327.653
AT ITER 3915 NEW BEST:: SOT 12010166 SOS 7760239 HAS SOPS 6429752 HAS SOUS 1876120 HAS SOUPS 1783657 WITH SCORE 1791417.239
AT ITER 3918 NEW BEST:: SOT 12007158 SOS 7757412 HAS SOPS 6427332 HAS SOUS 1874174 HAS SOUPS 1781711 WITH SCORE 1789468.412
AT ITER 3928 NEW BEST:: SOT 12007158 SOS 7757636 HAS SOPS 6428004 HAS SOUS 1874062 HAS SOUPS 1781599 WITH SCORE 1789356.636
AT ITER 3937 NEW BEST:: SOT 12006332 SOS 7756220 HAS SOPS 6428026 HAS SOUS 1873758 HAS SOUPS 1781340 WITH SCORE 1789096.22
AT ITER 3943 NEW BEST:: SOT 12005818 SOS 7755523 HAS SOPS 6427408 HAS SOUS 1871418 HAS SOUPS 1779000 WITH SCORE 1786755.523
AT ITER 3962 NEW BEST:: SOT 12005347 SOS 7754240 HAS SOPS 6426147 HAS SOUS 1869776 HAS SOUPS 1777393 WITH SCORE 1785147.24
AT ITER 3963 NEW BEST:: SOT 12005108 SOS 7752487 HAS SOPS 6424720 HAS SOUS 1869753 HAS SOUPS 1777299 WITH SCORE 1785051.487
AT ITER 3968 NEW BEST:: SOT 11999192 SOS 7743393 HAS SOPS 6418211 HAS SOUS 1867019 HAS SOUPS 1775100 WITH SCORE 1782843.393
AT ITER 3993 NEW BEST:: SOT 11999162 SOS 7743295 HAS SOPS 6418059 HAS SOUS 1866951 HAS SOUPS 1775032 WITH SCORE 1782775.295
AT ITER 3994 NEW BEST:: SOT 11997823 SOS 7740641 HAS SOPS 6415405 HAS SOUS 1865159 HAS SOUPS 1773240 WITH SCORE 1780980.641
AT ITER 4040 NEW BEST:: SOT 11996052 SOS 7742307 HAS SOPS 6415060 HAS SOUS 1864648 HAS SOUPS 1772653 WITH SCORE 1780395.307
AT ITER 4046 NEW BEST:: SOT 11990162 SOS 7726724 HAS SOPS 6405821 HAS SOUS 1863190 HAS SOUPS 1771195 WITH SCORE 1778921.724
AT ITER 4047 NEW BEST:: SOT 11989944 SOS 7726546 HAS SOPS 6405443 HAS SOUS 1862812 HAS SOUPS 1770817 WITH SCORE 1778543.546
AT ITER 4059 NEW BEST:: SOT 11988520 SOS 7724956 HAS SOPS 6404024 HAS SOUS 1861893 HAS SOUPS 1769898 WITH SCORE 1777622.956
AT ITER 4063 NEW BEST:: SOT 11988510 SOS 7724946 HAS SOPS 6403950 HAS SOUS 1861819 HAS SOUPS 1769760 WITH SCORE 1777484.946
AT ITER 4070 NEW BEST:: SOT 11988076 SOS 7721579 HAS SOPS 6401012 HAS SOUS 1859956 HAS SOUPS 1767897 WITH SCORE 1775618.579
AT ITER 4092 NEW BEST:: SOT 11987534 SOS 7720882 HAS SOPS 6399446 HAS SOUS 1859368 HAS SOUPS 1767270 WITH SCORE 1774990.882
AT ITER 4102 NEW BEST:: SOT 11987504 SOS 7720825 HAS SOPS 6399380 HAS SOUS 1859299 HAS SOUPS 1767201 WITH SCORE 1774921.825
AT ITER 4105 NEW BEST:: SOT 11987061 SOS 7726613 HAS SOPS 6400863 HAS SOUS 1854543 HAS SOUPS 1762232 WITH SCORE 1769958.613
AT ITER 4110 NEW BEST:: SOT 11985159 SOS 7724695 HAS SOPS 6398796 HAS SOUS 1853691 HAS SOUPS 1761321 WITH SCORE 1769045.695
AT ITER 4171 NEW BEST:: SOT 11982125 SOS 7721071 HAS SOPS 6393265 HAS SOUS 1849805 HAS SOUPS 1757435 WITH SCORE 1765156.071
AT ITER 4205 NEW BEST:: SOT 11981684 SOS 7707694 HAS SOPS 6388432 HAS SOUS 1845726 HAS SOUPS 1753356 WITH SCORE 1761063.694
AT ITER 4220 NEW BEST:: SOT 11981142 SOS 7707558 HAS SOPS 6387948 HAS SOUS 1844343 HAS SOUPS 1751958 WITH SCORE 1759665.558
AT ITER 4235 NEW BEST:: SOT 11983746 SOS 7710532 HAS SOPS 6392223 HAS SOUS 1841732 HAS SOUPS 1749544 WITH SCORE 1757254.532
AT ITER 4242 NEW BEST:: SOT 11984037 SOS 7711472 HAS SOPS 6391405 HAS SOUS 1840809 HAS SOUPS 1748599 WITH SCORE 1756310.472
AT ITER 4251 NEW BEST:: SOT 11984069 SOS 7711268 HAS SOPS 6391636 HAS SOUS 1840733 HAS SOUPS 1748523 WITH SCORE 1756234.268
AT ITER 4262 NEW BEST:: SOT 11983392 SOS 7710512 HAS SOPS 6390976 HAS SOUS 1839310 HAS SOUPS 1747108 WITH SCORE 1754818.512
AT ITER 4269 NEW BEST:: SOT 11982580 SOS 7709700 HAS SOPS 6390148 HAS SOUS 1839014 HAS SOUPS 1746812 WITH SCORE 1754521.7
AT ITER 4274 NEW BEST:: SOT 11980675 SOS 7708066 HAS SOPS 6388136 HAS SOUS 1838183 HAS SOUPS 1745981 WITH SCORE 1753689.066
AT ITER 4277 NEW BEST:: SOT 11983397 SOS 7713168 HAS SOPS 6391440 HAS SOUS 1836819 HAS SOUPS 1744278 WITH SCORE 1751991.168
AT ITER 4278 NEW BEST:: SOT 11983379 SOS 7713150 HAS SOPS 6391422 HAS SOUS 1836805 HAS SOUPS 1744264 WITH SCORE 1751977.15
AT ITER 4294 NEW BEST:: SOT 11983658 SOS 7714037 HAS SOPS 6391543 HAS SOUS 1835066 HAS SOUPS 1742525 WITH SCORE 1750239.037
AT ITER 4299 NEW BEST:: SOT 11982141 SOS 7710924 HAS SOPS 6388317 HAS SOUS 1832079 HAS SOUPS 1739714 WITH SCORE 1747424.924
AT ITER 4300 NEW BEST:: SOT 11984058 SOS 7712647 HAS SOPS 6390822 HAS SOUS 1831667 HAS SOUPS 1739302 WITH SCORE 1747014.647
AT ITER 4318 NEW BEST:: SOT 11984599 SOS 7714937 HAS SOPS 6389408 HAS SOUS 1826707 HAS SOUPS 1734290 WITH SCORE 1742004.937
AT ITER 4332 NEW BEST:: SOT 11982366 SOS 7713482 HAS SOPS 6388601 HAS SOUS 1819200 HAS SOUPS 1726953 WITH SCORE 1734666.482
AT ITER 4335 NEW BEST:: SOT 11979117 SOS 7710233 HAS SOPS 6385352 HAS SOUS 1815447 HAS SOUPS 1723200 WITH SCORE 1730910.233
AT ITER 4339 NEW BEST:: SOT 11975638 SOS 7706754 HAS SOPS 6381345 HAS SOUS 1810220 HAS SOUPS 1717765 WITH SCORE 1725471.754
AT ITER 4342 NEW BEST:: SOT 11964551 SOS 7693880 HAS SOPS 6367818 HAS SOUS 1808255 HAS SOUPS 1715594 WITH SCORE 1723287.88
AT ITER 4352 NEW BEST:: SOT 11963755 SOS 7693095 HAS SOPS 6367020 HAS SOUS 1807707 HAS SOUPS 1715033 WITH SCORE 1722726.095
AT ITER 4353 NEW BEST:: SOT 11964464 SOS 7694616 HAS SOPS 6367398 HAS SOUS 1807160 HAS SOUPS 1714486 WITH SCORE 1722180.616
AT ITER 4374 NEW BEST:: SOT 11964605 SOS 7694927 HAS SOPS 6367931 HAS SOUS 1807123 HAS SOUPS 1714449 WITH SCORE 1722143.927
AT ITER 4406 NEW BEST:: SOT 11961280 SOS 7688018 HAS SOPS 6362263 HAS SOUS 1802320 HAS SOUPS 1709733 WITH SCORE 1717421.018
AT ITER 4424 NEW BEST:: SOT 11959452 SOS 7685854 HAS SOPS 6357912 HAS SOUS 1799421 HAS SOUPS 1706834 WITH SCORE 1714519.854
AT ITER 4438 NEW BEST:: SOT 11959992 SOS 7686563 HAS SOPS 6358429 HAS SOUS 1799239 HAS SOUPS 1706652 WITH SCORE 1714338.563
AT ITER 4461 NEW BEST:: SOT 11958874 SOS 7685290 HAS SOPS 6356725 HAS SOUS 1798286 HAS SOUPS 1705699 WITH SCORE 1713384.29
AT ITER 4468 NEW BEST:: SOT 11959077 SOS 7686093 HAS SOPS 6357234 HAS SOUS 1796821 HAS SOUPS 1704255 WITH SCORE 1711941.093
AT ITER 4475 NEW BEST:: SOT 11960992 SOS 7689761 HAS SOPS 6360077 HAS SOUS 1796176 HAS SOUPS 1703655 WITH SCORE 1711344.761
AT ITER 4493 NEW BEST:: SOT 11960557 SOS 7688828 HAS SOPS 6358928 HAS SOUS 1795299 HAS SOUPS 1702778 WITH SCORE 1710466.828
AT ITER 4502 NEW BEST:: SOT 11957315 SOS 7684415 HAS SOPS 6356954 HAS SOUS 1793764 HAS SOUPS 1701243 WITH SCORE 1708927.415
AT ITER 4510 NEW BEST:: SOT 11953325 SOS 7680174 HAS SOPS 6352541 HAS SOUS 1786973 HAS SOUPS 1694452 WITH SCORE 1702132.174
AT ITER 4511 NEW BEST:: SOT 11953074 SOS 7680324 HAS SOPS 6352198 HAS SOUS 1785917 HAS SOUPS 1693370 WITH SCORE 1701050.324
AT ITER 4525 NEW BEST:: SOT 11953170 SOS 7681196 HAS SOPS 6352810 HAS SOUS 1785825 HAS SOUPS 1693278 WITH SCORE 1700959.196
AT ITER 4527 NEW BEST:: SOT 11952954 SOS 7680980 HAS SOPS 6352546 HAS SOUS 1785465 HAS SOUPS 1692918 WITH SCORE 1700598.98
AT ITER 4536 NEW BEST:: SOT 11947571 SOS 7672783 HAS SOPS 6344323 HAS SOUS 1784663 HAS SOUPS 1692112 WITH SCORE 1699784.783
AT ITER 4541 NEW BEST:: SOT 11950511 SOS 7674966 HAS SOPS 6339384 HAS SOUS 1784578 HAS SOUPS 1691935 WITH SCORE 1699609.966
AT ITER 4558 NEW BEST:: SOT 11949750 SOS 7674205 HAS SOPS 6338239 HAS SOUS 1782093 HAS SOUPS 1689450 WITH SCORE 1697124.205
AT ITER 4581 NEW BEST:: SOT 11949644 SOS 7674043 HAS SOPS 6338075 HAS SOUS 1781867 HAS SOUPS 1689228 WITH SCORE 1696902.043
AT ITER 4602 NEW BEST:: SOT 11947225 SOS 7668187 HAS SOPS 6332672 HAS SOUS 1779794 HAS SOUPS 1687410 WITH SCORE 1695078.187
AT ITER 4605 NEW BEST:: SOT 11943916 SOS 7661772 HAS SOPS 6326901 HAS SOUS 1779138 HAS SOUPS 1686754 WITH SCORE 1694415.772
AT ITER 4614 NEW BEST:: SOT 11943110 SOS 7660966 HAS SOPS 6325807 HAS SOUS 1777868 HAS SOUPS 1685340 WITH SCORE 1693000.966
AT ITER 4630 NEW BEST:: SOT 11943103 SOS 7660791 HAS SOPS 6325674 HAS SOUS 1777794 HAS SOUPS 1685266 WITH SCORE 1692926.791
AT ITER 4665 NEW BEST:: SOT 11942928 SOS 7660988 HAS SOPS 6325410 HAS SOUS 1776975 HAS SOUPS 1684447 WITH SCORE 1692107.988
AT ITER 4675 NEW BEST:: SOT 11943624 SOS 7661592 HAS SOPS 6326648 HAS SOUS 1776717 HAS SOUPS 1684382 WITH SCORE 1692043.592
AT ITER 4685 NEW BEST:: SOT 11940913 SOS 7658881 HAS SOPS 6323857 HAS SOUS 1772454 HAS SOUPS 1680119 WITH SCORE 1687777.881
AT ITER 4692 NEW BEST:: SOT 11938814 SOS 7657504 HAS SOPS 6321593 HAS SOUS 1769843 HAS SOUPS 1677508 WITH SCORE 1685165.504
AT ITER 4709 NEW BEST:: SOT 11939643 SOS 7658338 HAS SOPS 6322684 HAS SOUS 1768668 HAS SOUPS 1676494 WITH SCORE 1684152.338
AT ITER 4720 NEW BEST:: SOT 11939771 SOS 7657387 HAS SOPS 6322074 HAS SOUS 1768241 HAS SOUPS 1676067 WITH SCORE 1683724.387
AT ITER 4733 NEW BEST:: SOT 11937550 SOS 7655166 HAS SOPS 6319245 HAS SOUS 1765076 HAS SOUPS 1672902 WITH SCORE 1680557.166
AT ITER 4746 NEW BEST:: SOT 11937270 SOS 7654886 HAS SOPS 6318885 HAS SOUS 1764516 HAS SOUPS 1672342 WITH SCORE 1679996.886
AT ITER 4754 NEW BEST:: SOT 11937358 SOS 7652479 HAS SOPS 6316335 HAS SOUS 1764270 HAS SOUPS 1672096 WITH SCORE 1679748.479
AT ITER 4778 NEW BEST:: SOT 11936938 SOS 7652059 HAS SOPS 6315691 HAS SOUS 1763766 HAS SOUPS 1671424 WITH SCORE 1679076.059
AT ITER 4789 NEW BEST:: SOT 11937445 SOS 7653298 HAS SOPS 6317636 HAS SOUS 1763626 HAS SOUPS 1671301 WITH SCORE 1678954.298
AT ITER 4794 NEW BEST:: SOT 11937349 SOS 7653055 HAS SOPS 6317316 HAS SOUS 1763393 HAS SOUPS 1670991 WITH SCORE 1678644.055
AT ITER 4803 NEW BEST:: SOT 11936689 SOS 7652395 HAS SOPS 6316400 HAS SOUS 1761945 HAS SOUPS 1669543 WITH SCORE 1677195.395
AT ITER 4810 NEW BEST:: SOT 11936731 SOS 7652824 HAS SOPS 6316671 HAS SOUS 1761866 HAS SOUPS 1669464 WITH SCORE 1677116.824
AT ITER 4833 NEW BEST:: SOT 11935831 SOS 7651098 HAS SOPS 6315483 HAS SOUS 1761220 HAS SOUPS 1668818 WITH SCORE 1676469.098
AT ITER 4839 NEW BEST:: SOT 11936289 SOS 7655838 HAS SOPS 6319347 HAS SOUS 1760366 HAS SOUPS 1667964 WITH SCORE 1675619.838
AT ITER 4847 NEW BEST:: SOT 11936289 SOS 7655751 HAS SOPS 6319304 HAS SOUS 1760265 HAS SOUPS 1667867 WITH SCORE 1675522.751
AT ITER 4870 NEW BEST:: SOT 11936074 SOS 7655536 HAS SOPS 6319089 HAS SOUS 1760014 HAS SOUPS 1667616 WITH SCORE 1675271.536
AT ITER 4872 NEW BEST:: SOT 11936367 SOS 7659024 HAS SOPS 6323177 HAS SOUS 1759775 HAS SOUPS 1667377 WITH SCORE 1675036.024
AT ITER 4880 NEW BEST:: SOT 11933647 SOS 7656304 HAS SOPS 6320169 HAS SOUS 1755903 HAS SOUPS 1663505 WITH SCORE 1671161.304
AT ITER 4881 NEW BEST:: SOT 11933751 SOS 7656396 HAS SOPS 6320434 HAS SOUS 1755757 HAS SOUPS 1663447 WITH SCORE 1671103.396
AT ITER 4909 NEW BEST:: SOT 11934897 SOS 7657687 HAS SOPS 6317475 HAS SOUS 1754047 HAS SOUPS 1661737 WITH SCORE 1669394.687
AT ITER 4951 NEW BEST:: SOT 11940214 SOS 7668577 HAS SOPS 6325418 HAS SOUS 1751069 HAS SOUPS 1658763 WITH SCORE 1666431.577
AT ITER 4955 NEW BEST:: SOT 11940030 SOS 7668550 HAS SOPS 6324479 HAS SOUS 1750635 HAS SOUPS 1658312 WITH SCORE 1665980.55
AT ITER 4962 NEW BEST:: SOT 11939439 SOS 7667740 HAS SOPS 6322912 HAS SOUS 1750170 HAS SOUPS 1657820 WITH SCORE 1665487.74
AT ITER 4966 NEW BEST:: SOT 11938880 SOS 7666970 HAS SOPS 6322123 HAS SOUS 1749265 HAS SOUPS 1656915 WITH SCORE 1664581.97
AT ITER 4984 NEW BEST:: SOT 11938069 SOS 7662480 HAS SOPS 6318439 HAS SOUS 1747572 HAS SOUPS 1655296 WITH SCORE 1662958.48
AT ITER 4997 NEW BEST:: SOT 11937717 SOS 7662072 HAS SOPS 6316960 HAS SOUS 1744629 HAS SOUPS 1652366 WITH SCORE 1660028.072
AT ITER 5013 NEW BEST:: SOT 11937760 SOS 7662423 HAS SOPS 6316491 HAS SOUS 1743823 HAS SOUPS 1651560 WITH SCORE 1659222.423
AT ITER 5014 NEW BEST:: SOT 11939722 SOS 7664659 HAS SOPS 6317474 HAS SOUS 1743685 HAS SOUPS 1651422 WITH SCORE 1659086.659
AT ITER 5021 NEW BEST:: SOT 11939075 SOS 7664012 HAS SOPS 6316827 HAS SOUS 1743190 HAS SOUPS 1650927 WITH SCORE 1658591.012
AT ITER 5028 NEW BEST:: SOT 11939055 SOS 7664187 HAS SOPS 6316880 HAS SOUS 1742855 HAS SOUPS 1650592 WITH SCORE 1658256.187
AT ITER 5035 NEW BEST:: SOT 11938673 SOS 7663794 HAS SOPS 6316210 HAS SOUS 1742374 HAS SOUPS 1649921 WITH SCORE 1657584.794
AT ITER 5037 NEW BEST:: SOT 11938229 SOS 7661372 HAS SOPS 6314734 HAS SOUS 1739730 HAS SOUPS 1647277 WITH SCORE 1654938.372
AT ITER 5070 NEW BEST:: SOT 11940235 SOS 7665943 HAS SOPS 6319207 HAS SOUS 1738799 HAS SOUPS 1646346 WITH SCORE 1654011.943
AT ITER 5073 NEW BEST:: SOT 11937079 SOS 7660157 HAS SOPS 6313033 HAS SOUS 1733650 HAS SOUPS 1641197 WITH SCORE 1648857.157
AT ITER 5079 NEW BEST:: SOT 11939728 SOS 7667375 HAS SOPS 6319406 HAS SOUS 1731335 HAS SOUPS 1638882 WITH SCORE 1646549.375
AT ITER 5102 NEW BEST:: SOT 11942692 SOS 7670339 HAS SOPS 6321666 HAS SOUS 1731059 HAS SOUPS 1638606 WITH SCORE 1646276.339
AT ITER 5124 NEW BEST:: SOT 11941639 SOS 7668300 HAS SOPS 6320075 HAS SOUS 1729872 HAS SOUPS 1637407 WITH SCORE 1645075.3
AT ITER 5131 NEW BEST:: SOT 11941424 SOS 7667586 HAS SOPS 6319226 HAS SOUS 1729398 HAS SOUPS 1636933 WITH SCORE 1644600.586
AT ITER 5144 NEW BEST:: SOT 11942134 SOS 7667529 HAS SOPS 6318878 HAS SOUS 1729313 HAS SOUPS 1636848 WITH SCORE 1644515.529
AT ITER 5156 NEW BEST:: SOT 11939612 SOS 7663062 HAS SOPS 6314994 HAS SOUS 1725034 HAS SOUPS 1632609 WITH SCORE 1640272.062
AT ITER 5159 NEW BEST:: SOT 11939673 SOS 7663071 HAS SOPS 6315110 HAS SOUS 1724925 HAS SOUPS 1632506 WITH SCORE 1640169.071
AT ITER 5169 NEW BEST:: SOT 11939846 SOS 7664000 HAS SOPS 6312894 HAS SOUS 1719158 HAS SOUPS 1626739 WITH SCORE 1634403.0
AT ITER 5173 NEW BEST:: SOT 11940156 SOS 7663911 HAS SOPS 6313428 HAS SOUS 1719131 HAS SOUPS 1626712 WITH SCORE 1634375.911
AT ITER 5195 NEW BEST:: SOT 11938625 SOS 7661985 HAS SOPS 6310394 HAS SOUS 1714992 HAS SOUPS 1622501 WITH SCORE 1630162.985
AT ITER 5222 NEW BEST:: SOT 11941402 SOS 7659759 HAS SOPS 6308956 HAS SOUS 1710743 HAS SOUPS 1618410 WITH SCORE 1626069.759
AT ITER 5229 NEW BEST:: SOT 11939131 SOS 7654889 HAS SOPS 6301951 HAS SOUS 1710333 HAS SOUPS 1617875 WITH SCORE 1625529.889
AT ITER 5241 NEW BEST:: SOT 11939025 SOS 7654763 HAS SOPS 6301861 HAS SOUS 1710320 HAS SOUPS 1617862 WITH SCORE 1625516.763
AT ITER 5253 NEW BEST:: SOT 11938716 SOS 7655951 HAS SOPS 6302999 HAS SOUS 1709886 HAS SOUPS 1617428 WITH SCORE 1625083.951
AT ITER 5259 NEW BEST:: SOT 11938314 SOS 7657986 HAS SOPS 6304314 HAS SOUS 1709787 HAS SOUPS 1617329 WITH SCORE 1624986.986
AT ITER 5277 NEW BEST:: SOT 11937806 SOS 7658015 HAS SOPS 6304768 HAS SOUS 1708988 HAS SOUPS 1616530 WITH SCORE 1624188.015
AT ITER 5280 NEW BEST:: SOT 11943561 SOS 7660108 HAS SOPS 6313463 HAS SOUS 1705684 HAS SOUPS 1613396 WITH SCORE 1621056.108
AT ITER 5285 NEW BEST:: SOT 11939358 SOS 7652092 HAS SOPS 6307343 HAS SOUS 1701913 HAS SOUPS 1609876 WITH SCORE 1617528.092
AT ITER 5322 NEW BEST:: SOT 11939106 SOS 7651840 HAS SOPS 6306947 HAS SOUS 1701049 HAS SOUPS 1609012 WITH SCORE 1616663.84
AT ITER 5333 NEW BEST:: SOT 11939127 SOS 7652039 HAS SOPS 6307042 HAS SOUS 1700965 HAS SOUPS 1608928 WITH SCORE 1616580.039
AT ITER 5344 NEW BEST:: SOT 11938208 SOS 7651455 HAS SOPS 6305919 HAS SOUS 1699708 HAS SOUPS 1607653 WITH SCORE 1615304.455
AT ITER 5367 NEW BEST:: SOT 11938158 SOS 7651503 HAS SOPS 6305935 HAS SOUS 1699624 HAS SOUPS 1607569 WITH SCORE 1615220.503
AT ITER 5379 NEW BEST:: SOT 11937867 SOS 7651260 HAS SOPS 6304631 HAS SOUS 1698156 HAS SOUPS 1606101 WITH SCORE 1613752.26
AT ITER 5386 NEW BEST:: SOT 11938409 SOS 7650752 HAS SOPS 6304179 HAS SOUS 1697578 HAS SOUPS 1605609 WITH SCORE 1613259.752
AT ITER 5450 NEW BEST:: SOT 11938136 SOS 7650479 HAS SOPS 6303794 HAS SOUS 1696745 HAS SOUPS 1604776 WITH SCORE 1612426.479
AT ITER 5453 NEW BEST:: SOT 11938016 SOS 7650359 HAS SOPS 6303578 HAS SOUS 1696313 HAS SOUPS 1604344 WITH SCORE 1611994.359
AT ITER 5486 NEW BEST:: SOT 11937753 SOS 7650229 HAS SOPS 6303043 HAS SOUS 1694996 HAS SOUPS 1603027 WITH SCORE 1610677.229
AT ITER 5487 NEW BEST:: SOT 11939219 SOS 7653689 HAS SOPS 6304606 HAS SOUS 1694132 HAS SOUPS 1602163 WITH SCORE 1609816.689
AT ITER 5512 NEW BEST:: SOT 11939111 SOS 7653277 HAS SOPS 6305109 HAS SOUS 1694105 HAS SOUPS 1602136 WITH SCORE 1609789.277
AT ITER 5513 NEW BEST:: SOT 11936267 SOS 7650297 HAS SOPS 6301421 HAS SOUS 1689401 HAS SOUPS 1597394 WITH SCORE 1605044.297
AT ITER 5521 NEW BEST:: SOT 11926864 SOS 7635432 HAS SOPS 6288616 HAS SOUS 1681214 HAS SOUPS 1589312 WITH SCORE 1596947.432
AT ITER 5531 NEW BEST:: SOT 11928748 SOS 7636734 HAS SOPS 6290177 HAS SOUS 1679222 HAS SOUPS 1587369 WITH SCORE 1595005.734
AT ITER 5547 NEW BEST:: SOT 11928468 SOS 7636120 HAS SOPS 6290778 HAS SOUS 1679128 HAS SOUPS 1587275 WITH SCORE 1594911.12
AT ITER 5560 NEW BEST:: SOT 11930588 SOS 7644392 HAS SOPS 6298324 HAS SOUS 1675100 HAS SOUPS 1583247 WITH SCORE 1590891.392
AT ITER 5570 NEW BEST:: SOT 11930772 SOS 7644576 HAS SOPS 6298412 HAS SOUS 1674856 HAS SOUPS 1583003 WITH SCORE 1590647.576
AT ITER 5584 NEW BEST:: SOT 11929458 SOS 7643262 HAS SOPS 6298842 HAS SOUS 1672198 HAS SOUPS 1582137 WITH SCORE 1589780.262
AT ITER 5624 NEW BEST:: SOT 11926418 SOS 7640222 HAS SOPS 6295802 HAS SOUS 1668170 HAS SOUPS 1578109 WITH SCORE 1585749.222
AT ITER 5625 NEW BEST:: SOT 11925238 SOS 7638625 HAS SOPS 6293639 HAS SOUS 1667014 HAS SOUPS 1576914 WITH SCORE 1584552.625
AT ITER 5641 NEW BEST:: SOT 11924667 SOS 7637879 HAS SOPS 6292758 HAS SOUS 1665668 HAS SOUPS 1575586 WITH SCORE 1583223.879
AT ITER 5695 NEW BEST:: SOT 11917801 SOS 7631017 HAS SOPS 6286516 HAS SOUS 1661626 HAS SOUPS 1572164 WITH SCORE 1579795.017
AT ITER 5698 NEW BEST:: SOT 11917280 SOS 7630463 HAS SOPS 6285596 HAS SOUS 1660628 HAS SOUPS 1571160 WITH SCORE 1578790.463
AT ITER 5702 NEW BEST:: SOT 11916790 SOS 7629417 HAS SOPS 6284612 HAS SOUS 1660035 HAS SOUPS 1570567 WITH SCORE 1578196.417
AT ITER 5705 NEW BEST:: SOT 11914951 SOS 7625581 HAS SOPS 6280964 HAS SOUS 1657320 HAS SOUPS 1567879 WITH SCORE 1575504.581
AT ITER 5710 NEW BEST:: SOT 11917388 SOS 7630553 HAS SOPS 6287532 HAS SOUS 1656604 HAS SOUPS 1567163 WITH SCORE 1574793.553
AT ITER 5712 NEW BEST:: SOT 11917546 SOS 7631350 HAS SOPS 6286886 HAS SOUS 1654242 HAS SOUPS 1564769 WITH SCORE 1572400.35
AT ITER 5723 NEW BEST:: SOT 11915592 SOS 7631300 HAS SOPS 6279217 HAS SOUS 1654447 HAS SOUPS 1564653 WITH SCORE 1572284.3
AT ITER 5728 NEW BEST:: SOT 11914375 SOS 7630083 HAS SOPS 6277984 HAS SOUS 1652846 HAS SOUPS 1563052 WITH SCORE 1570682.083
AT ITER 5734 NEW BEST:: SOT 11914344 SOS 7630039 HAS SOPS 6277888 HAS SOUS 1652822 HAS SOUPS 1563028 WITH SCORE 1570658.039
AT ITER 5736 NEW BEST:: SOT 11914484 SOS 7632271 HAS SOPS 6277695 HAS SOUS 1648526 HAS SOUPS 1558732 WITH SCORE 1566364.271
AT ITER 5738 NEW BEST:: SOT 11914227 SOS 7631689 HAS SOPS 6277113 HAS SOUS 1648004 HAS SOUPS 1558210 WITH SCORE 1565841.689
AT ITER 5739 NEW BEST:: SOT 11914110 SOS 7631838 HAS SOPS 6277178 HAS SOUS 1647614 HAS SOUPS 1557820 WITH SCORE 1565451.838
AT ITER 5750 NEW BEST:: SOT 11914022 SOS 7631976 HAS SOPS 6277399 HAS SOUS 1647524 HAS SOUPS 1557730 WITH SCORE 1565361.976
AT ITER 5795 NEW BEST:: SOT 11913455 SOS 7631285 HAS SOPS 6276522 HAS SOUS 1646799 HAS SOUPS 1557005 WITH SCORE 1564636.285
AT ITER 5826 NEW BEST:: SOT 11916836 SOS 7639795 HAS SOPS 6282930 HAS SOUS 1644874 HAS SOUPS 1555041 WITH SCORE 1562680.795
AT ITER 5840 NEW BEST:: SOT 11918724 SOS 7641683 HAS SOPS 6284018 HAS SOUS 1643290 HAS SOUPS 1553409 WITH SCORE 1561050.683
AT ITER 5846 NEW BEST:: SOT 11918880 SOS 7643155 HAS SOPS 6284814 HAS SOUS 1643024 HAS SOUPS 1553109 WITH SCORE 1560752.155
AT ITER 5869 NEW BEST:: SOT 11919145 SOS 7643883 HAS SOPS 6284740 HAS SOUS 1642218 HAS SOUPS 1552303 WITH SCORE 1559946.883
AT ITER 5877 NEW BEST:: SOT 11919331 SOS 7644631 HAS SOPS 6285315 HAS SOUS 1641556 HAS SOUPS 1551641 WITH SCORE 1559285.631
AT ITER 5916 NEW BEST:: SOT 11919307 SOS 7644499 HAS SOPS 6285219 HAS SOUS 1641130 HAS SOUPS 1551221 WITH SCORE 1558865.499
AT ITER 5930 NEW BEST:: SOT 11917437 SOS 7641235 HAS SOPS 6281747 HAS SOUS 1637611 HAS SOUPS 1547781 WITH SCORE 1555422.235
AT ITER 5936 NEW BEST:: SOT 11917615 SOS 7642380 HAS SOPS 6282794 HAS SOUS 1637052 HAS SOUPS 1547222 WITH SCORE 1554864.38
AT ITER 5950 NEW BEST:: SOT 11917615 SOS 7642810 HAS SOPS 6280808 HAS SOUS 1637187 HAS SOUPS 1547206 WITH SCORE 1554848.81
AT ITER 5964 NEW BEST:: SOT 11917615 SOS 7642722 HAS SOPS 6280720 HAS SOUS 1636717 HAS SOUPS 1546736 WITH SCORE 1554378.722
AT ITER 5982 NEW BEST:: SOT 11916327 SOS 7641434 HAS SOPS 6279080 HAS SOUS 1634661 HAS SOUPS 1544680 WITH SCORE 1552321.434
AT ITER 5989 NEW BEST:: SOT 11916328 SOS 7641494 HAS SOPS 6279143 HAS SOUS 1634642 HAS SOUPS 1544662 WITH SCORE 1552303.494
AT ITER 5998 NEW BEST:: SOT 11916708 SOS 7641965 HAS SOPS 6279500 HAS SOUS 1634468 HAS SOUPS 1544354 WITH SCORE 1551995.965
AT ITER 6019 NEW BEST:: SOT 11920781 SOS 7655313 HAS SOPS 6295555 HAS SOUS 1634256 HAS SOUPS 1544142 WITH SCORE 1551797.313
AT ITER 6023 NEW BEST:: SOT 11920765 SOS 7655297 HAS SOPS 6295539 HAS SOUS 1634224 HAS SOUPS 1544110 WITH SCORE 1551765.297
AT ITER 6030 NEW BEST:: SOT 11919538 SOS 7653691 HAS SOPS 6293857 HAS SOUS 1631734 HAS SOUPS 1541634 WITH SCORE 1549287.691
AT ITER 6032 NEW BEST:: SOT 11918505 SOS 7650752 HAS SOPS 6290876 HAS SOUS 1630828 HAS SOUPS 1540728 WITH SCORE 1548378.752
AT ITER 6033 NEW BEST:: SOT 11918733 SOS 7650753 HAS SOPS 6291277 HAS SOUS 1629315 HAS SOUPS 1539215 WITH SCORE 1546865.753
AT ITER 6059 NEW BEST:: SOT 11916396 SOS 7643502 HAS SOPS 6286406 HAS SOUS 1627212 HAS SOUPS 1537151 WITH SCORE 1544794.502
AT ITER 6066 NEW BEST:: SOT 11913043 SOS 7641024 HAS SOPS 6281573 HAS SOUS 1622974 HAS SOUPS 1532657 WITH SCORE 1540298.024
AT ITER 6074 NEW BEST:: SOT 11908891 SOS 7625839 HAS SOPS 6260653 HAS SOUS 1621186 HAS SOUPS 1530869 WITH SCORE 1538494.839
AT ITER 6092 NEW BEST:: SOT 11909497 SOS 7627467 HAS SOPS 6261966 HAS SOUS 1619996 HAS SOUPS 1529637 WITH SCORE 1537264.467
AT ITER 6093 NEW BEST:: SOT 11906371 SOS 7622399 HAS SOPS 6256964 HAS SOUS 1613003 HAS SOUPS 1522689 WITH SCORE 1530311.399
AT ITER 6115 NEW BEST:: SOT 11906247 SOS 7622057 HAS SOPS 6256465 HAS SOUS 1612465 HAS SOUPS 1522151 WITH SCORE 1529773.057
AT ITER 6117 NEW BEST:: SOT 11905600 SOS 7621761 HAS SOPS 6255882 HAS SOUS 1611721 HAS SOUPS 1521407 WITH SCORE 1529028.761
AT ITER 6179 NEW BEST:: SOT 11905850 SOS 7623093 HAS SOPS 6258102 HAS SOUS 1610533 HAS SOUPS 1520219 WITH SCORE 1527842.093
AT ITER 6202 NEW BEST:: SOT 11905085 SOS 7622218 HAS SOPS 6257043 HAS SOUS 1608067 HAS SOUPS 1517727 WITH SCORE 1525349.218
AT ITER 6220 NEW BEST:: SOT 11904985 SOS 7622118 HAS SOPS 6256853 HAS SOUS 1607739 HAS SOUPS 1517399 WITH SCORE 1525021.118
AT ITER 6235 NEW BEST:: SOT 11902330 SOS 7615763 HAS SOPS 6249714 HAS SOUS 1607255 HAS SOUPS 1516817 WITH SCORE 1524432.763
AT ITER 6298 NEW BEST:: SOT 11897887 SOS 7613581 HAS SOPS 6248834 HAS SOUS 1606429 HAS SOUPS 1515888 WITH SCORE 1523501.581
AT ITER 6301 NEW BEST:: SOT 11897643 SOS 7612902 HAS SOPS 6247955 HAS SOUS 1605740 HAS SOUPS 1515199 WITH SCORE 1522811.902
AT ITER 6310 NEW BEST:: SOT 11893196 SOS 7603498 HAS SOPS 6238865 HAS SOUS 1602896 HAS SOUPS 1512355 WITH SCORE 1519958.498
AT ITER 6320 NEW BEST:: SOT 11893329 SOS 7603070 HAS SOPS 6239104 HAS SOUS 1602726 HAS SOUPS 1512185 WITH SCORE 1519788.07
AT ITER 6383 NEW BEST:: SOT 11892128 SOS 7601569 HAS SOPS 6236928 HAS SOUS 1600903 HAS SOUPS 1510331 WITH SCORE 1517932.569
AT ITER 6436 NEW BEST:: SOT 11891329 SOS 7600770 HAS SOPS 6236705 HAS SOUS 1600104 HAS SOUPS 1510108 WITH SCORE 1517708.77
AT ITER 6461 NEW BEST:: SOT 11890234 SOS 7598625 HAS SOPS 6233551 HAS SOUS 1597548 HAS SOUPS 1507552 WITH SCORE 1515150.625
AT ITER 6489 NEW BEST:: SOT 11890090 SOS 7598481 HAS SOPS 6233407 HAS SOUS 1597548 HAS SOUPS 1507552 WITH SCORE 1515150.481
AT ITER 6495 NEW BEST:: SOT 11892355 SOS 7601497 HAS SOPS 6235261 HAS SOUS 1597252 HAS SOUPS 1507256 WITH SCORE 1514857.497
AT ITER 6506 NEW BEST:: SOT 11891560 SOS 7598230 HAS SOPS 6232914 HAS SOUS 1596045 HAS SOUPS 1506155 WITH SCORE 1513753.23
AT ITER 6530 NEW BEST:: SOT 11893053 SOS 7599962 HAS SOPS 6236253 HAS SOUS 1595523 HAS SOUPS 1505696 WITH SCORE 1513295.962
AT ITER 6537 NEW BEST:: SOT 11887202 SOS 7592344 HAS SOPS 6229116 HAS SOUS 1593129 HAS SOUPS 1503233 WITH SCORE 1510825.344
AT ITER 6544 NEW BEST:: SOT 11887228 SOS 7592370 HAS SOPS 6229142 HAS SOUS 1593035 HAS SOUPS 1503139 WITH SCORE 1510731.37
AT ITER 6562 NEW BEST:: SOT 11886888 SOS 7592030 HAS SOPS 6228194 HAS SOUS 1592695 HAS SOUPS 1502191 WITH SCORE 1509783.03
AT ITER 6580 NEW BEST:: SOT 11886568 SOS 7591275 HAS SOPS 6227250 HAS SOUS 1592080 HAS SOUPS 1501576 WITH SCORE 1509167.275
AT ITER 6590 NEW BEST:: SOT 11886024 SOS 7590691 HAS SOPS 6226178 HAS SOUS 1590864 HAS SOUPS 1500360 WITH SCORE 1507950.691
AT ITER 6593 NEW BEST:: SOT 11891665 SOS 7600010 HAS SOPS 6232769 HAS SOUS 1590707 HAS SOUPS 1500203 WITH SCORE 1507803.01
AT ITER 6603 NEW BEST:: SOT 11892109 SOS 7601478 HAS SOPS 6233850 HAS SOUS 1589674 HAS SOUPS 1499148 WITH SCORE 1506749.478
AT ITER 6620 NEW BEST:: SOT 11888210 SOS 7592596 HAS SOPS 6225213 HAS SOUS 1589613 HAS SOUPS 1499087 WITH SCORE 1506679.596
AT ITER 6673 NEW BEST:: SOT 11888109 SOS 7592488 HAS SOPS 6225105 HAS SOUS 1589390 HAS SOUPS 1498864 WITH SCORE 1506456.488
AT ITER 6684 NEW BEST:: SOT 11888735 SOS 7595799 HAS SOPS 6226669 HAS SOUS 1589634 HAS SOUPS 1498807 WITH SCORE 1506402.799
AT ITER 6685 NEW BEST:: SOT 11888486 SOS 7595382 HAS SOPS 6226348 HAS SOUS 1589265 HAS SOUPS 1498442 WITH SCORE 1506037.382
AT ITER 6692 NEW BEST:: SOT 11888380 SOS 7595709 HAS SOPS 6227078 HAS SOUS 1589179 HAS SOUPS 1498356 WITH SCORE 1505951.709
AT ITER 6711 NEW BEST:: SOT 11887804 SOS 7594858 HAS SOPS 6226612 HAS SOUS 1589088 HAS SOUPS 1498265 WITH SCORE 1505859.858
AT ITER 6747 NEW BEST:: SOT 11887687 SOS 7595099 HAS SOPS 6226894 HAS SOUS 1587810 HAS SOUPS 1496998 WITH SCORE 1504593.099
AT ITER 6752 NEW BEST:: SOT 11885953 SOS 7592492 HAS SOPS 6221968 HAS SOUS 1585143 HAS SOUPS 1494331 WITH SCORE 1501923.492
AT ITER 6776 NEW BEST:: SOT 11884275 SOS 7587472 HAS SOPS 6216527 HAS SOUS 1583933 HAS SOUPS 1493121 WITH SCORE 1500708.472
AT ITER 6786 NEW BEST:: SOT 11883641 SOS 7588487 HAS SOPS 6218854 HAS SOUS 1582936 HAS SOUPS 1492124 WITH SCORE 1499712.487
AT ITER 6787 NEW BEST:: SOT 11883559 SOS 7587817 HAS SOPS 6217497 HAS SOUS 1582831 HAS SOUPS 1492019 WITH SCORE 1499606.817
AT ITER 6837 NEW BEST:: SOT 11883479 SOS 7587737 HAS SOPS 6217417 HAS SOUS 1582831 HAS SOUPS 1492019 WITH SCORE 1499606.737
AT ITER 6849 NEW BEST:: SOT 11885151 SOS 7593278 HAS SOPS 6222896 HAS SOUS 1579078 HAS SOUPS 1488382 WITH SCORE 1495975.278
AT ITER 6940 NEW BEST:: SOT 11886433 SOS 7594273 HAS SOPS 6222431 HAS SOUS 1578030 HAS SOUPS 1487167 WITH SCORE 1494761.273
AT ITER 6972 NEW BEST:: SOT 11886376 SOS 7594230 HAS SOPS 6223243 HAS SOUS 1577333 HAS SOUPS 1486483 WITH SCORE 1494077.23
AT ITER 6985 NEW BEST:: SOT 11886547 SOS 7595798 HAS SOPS 6225583 HAS SOUS 1577215 HAS SOUPS 1486365 WITH SCORE 1493960.798
AT ITER 7001 NEW BEST:: SOT 11886651 SOS 7595781 HAS SOPS 6225951 HAS SOUS 1576868 HAS SOUPS 1486018 WITH SCORE 1493613.781
AT ITER 7038 NEW BEST:: SOT 11886654 SOS 7595577 HAS SOPS 6225711 HAS SOUS 1575935 HAS SOUPS 1485085 WITH SCORE 1492680.577
AT ITER 7068 NEW BEST:: SOT 11886588 SOS 7595457 HAS SOPS 6225551 HAS SOUS 1574944 HAS SOUPS 1484146 WITH SCORE 1491741.457
AT ITER 7071 NEW BEST:: SOT 11887027 SOS 7595574 HAS SOPS 6225393 HAS SOUS 1574606 HAS SOUPS 1483822 WITH SCORE 1491417.574
AT ITER 7083 NEW BEST:: SOT 11887060 SOS 7595609 HAS SOPS 6225390 HAS SOUS 1574601 HAS SOUPS 1483817 WITH SCORE 1491412.609
AT ITER 7108 NEW BEST:: SOT 11889353 SOS 7599588 HAS SOPS 6227585 HAS SOUS 1573287 HAS SOUPS 1482503 WITH SCORE 1490102.588
AT ITER 7121 NEW BEST:: SOT 11888020 SOS 7597890 HAS SOPS 6224180 HAS SOUS 1570905 HAS SOUPS 1480121 WITH SCORE 1487718.89
AT ITER 7130 NEW BEST:: SOT 11887867 SOS 7597065 HAS SOPS 6222708 HAS SOUS 1570466 HAS SOUPS 1479682 WITH SCORE 1487279.065
AT ITER 7156 NEW BEST:: SOT 11887243 SOS 7594932 HAS SOPS 6221349 HAS SOUS 1568655 HAS SOUPS 1477894 WITH SCORE 1485488.932
AT ITER 7172 NEW BEST:: SOT 11887249 SOS 7594496 HAS SOPS 6221111 HAS SOUS 1568561 HAS SOUPS 1477800 WITH SCORE 1485394.496
AT ITER 7176 NEW BEST:: SOT 11887249 SOS 7596674 HAS SOPS 6223798 HAS SOUS 1567313 HAS SOUPS 1476582 WITH SCORE 1484178.674
AT ITER 7253 NEW BEST:: SOT 11886065 SOS 7596337 HAS SOPS 6224457 HAS SOUS 1563877 HAS SOUPS 1473146 WITH SCORE 1480742.337
AT ITER 7278 NEW BEST:: SOT 11885925 SOS 7596197 HAS SOPS 6224317 HAS SOUS 1563597 HAS SOUPS 1472866 WITH SCORE 1480462.197
AT ITER 7315 NEW BEST:: SOT 11886068 SOS 7597263 HAS SOPS 6225548 HAS SOUS 1563561 HAS SOUPS 1472850 WITH SCORE 1480447.263
AT ITER 7326 NEW BEST:: SOT 11887874 SOS 7604880 HAS SOPS 6229175 HAS SOUS 1561565 HAS SOUPS 1470854 WITH SCORE 1478458.88
AT ITER 7340 NEW BEST:: SOT 11884930 SOS 7602034 HAS SOPS 6226662 HAS SOUS 1561487 HAS SOUPS 1470799 WITH SCORE 1478401.034
AT ITER 7372 NEW BEST:: SOT 11881623 SOS 7596753 HAS SOPS 6221816 HAS SOUS 1556018 HAS SOUPS 1465406 WITH SCORE 1473002.753
AT ITER 7380 NEW BEST:: SOT 11885669 SOS 7604804 HAS SOPS 6229068 HAS SOUS 1555556 HAS SOUPS 1464944 WITH SCORE 1472548.804
AT ITER 7386 NEW BEST:: SOT 11885621 SOS 7604596 HAS SOPS 6228874 HAS SOUS 1555478 HAS SOUPS 1464866 WITH SCORE 1472470.596
AT ITER 7409 NEW BEST:: SOT 11883388 SOS 7600330 HAS SOPS 6224608 HAS SOUS 1552014 HAS SOUPS 1461402 WITH SCORE 1469002.33
AT ITER 7423 NEW BEST:: SOT 11882559 SOS 7599059 HAS SOPS 6223294 HAS SOUS 1550395 HAS SOUPS 1459791 WITH SCORE 1467390.059
AT ITER 7445 NEW BEST:: SOT 11881889 SOS 7598341 HAS SOPS 6222480 HAS SOUS 1549531 HAS SOUPS 1458899 WITH SCORE 1466497.341
AT ITER 7447 NEW BEST:: SOT 11881631 SOS 7598083 HAS SOPS 6222222 HAS SOUS 1549177 HAS SOUPS 1458545 WITH SCORE 1466143.083
AT ITER 7471 NEW BEST:: SOT 11881181 SOS 7597444 HAS SOPS 6221691 HAS SOUS 1548398 HAS SOUPS 1457813 WITH SCORE 1465410.444
AT ITER 7479 NEW BEST:: SOT 11882840 SOS 7603466 HAS SOPS 6227081 HAS SOUS 1548233 HAS SOUPS 1457648 WITH SCORE 1465251.466
AT ITER 7485 NEW BEST:: SOT 11878813 SOS 7599439 HAS SOPS 6223054 HAS SOUS 1547790 HAS SOUPS 1457205 WITH SCORE 1464804.439
AT ITER 7492 NEW BEST:: SOT 11878375 SOS 7599033 HAS SOPS 6222172 HAS SOUS 1546531 HAS SOUPS 1455936 WITH SCORE 1463535.033
AT ITER 7511 NEW BEST:: SOT 11876929 SOS 7597739 HAS SOPS 6220525 HAS SOUS 1541266 HAS SOUPS 1450936 WITH SCORE 1458533.739
AT ITER 7520 NEW BEST:: SOT 11876454 SOS 7597264 HAS SOPS 6220050 HAS SOUS 1540791 HAS SOUPS 1450461 WITH SCORE 1458058.264
AT ITER 7521 NEW BEST:: SOT 11875839 SOS 7596773 HAS SOPS 6219559 HAS SOUS 1540646 HAS SOUPS 1450316 WITH SCORE 1457912.773
AT ITER 7523 NEW BEST:: SOT 11875672 SOS 7596564 HAS SOPS 6219238 HAS SOUS 1540347 HAS SOUPS 1450017 WITH SCORE 1457613.564
AT ITER 7525 NEW BEST:: SOT 11875820 SOS 7595552 HAS SOPS 6218962 HAS SOUS 1539389 HAS SOUPS 1449059 WITH SCORE 1456654.552
AT ITER 7573 NEW BEST:: SOT 11875956 SOS 7595718 HAS SOPS 6219076 HAS SOUS 1539310 HAS SOUPS 1449006 WITH SCORE 1456601.718
AT ITER 7577 NEW BEST:: SOT 11875500 SOS 7595262 HAS SOPS 6218332 HAS SOUS 1537678 HAS SOUPS 1447374 WITH SCORE 1454969.262
AT ITER 7584 NEW BEST:: SOT 11876482 SOS 7597055 HAS SOPS 6220382 HAS SOUS 1537593 HAS SOUPS 1447315 WITH SCORE 1454912.055
AT ITER 7588 NEW BEST:: SOT 11876927 SOS 7597500 HAS SOPS 6220827 HAS SOUS 1536974 HAS SOUPS 1446696 WITH SCORE 1454293.5
AT ITER 7598 NEW BEST:: SOT 11876766 SOS 7597339 HAS SOPS 6220602 HAS SOUS 1536621 HAS SOUPS 1446343 WITH SCORE 1453940.339
AT ITER 7630 NEW BEST:: SOT 11875731 SOS 7596265 HAS SOPS 6219543 HAS SOUS 1533449 HAS SOUPS 1443273 WITH SCORE 1450869.265
AT ITER 7634 NEW BEST:: SOT 11875915 SOS 7596353 HAS SOPS 6219687 HAS SOUS 1533129 HAS SOUPS 1442953 WITH SCORE 1450549.353
AT ITER 7644 NEW BEST:: SOT 11875582 SOS 7596173 HAS SOPS 6218434 HAS SOUS 1529620 HAS SOUPS 1439453 WITH SCORE 1447049.173
AT ITER 7674 NEW BEST:: SOT 11876292 SOS 7597153 HAS SOPS 6219096 HAS SOUS 1529218 HAS SOUPS 1439086 WITH SCORE 1446683.153
AT ITER 7794 NEW BEST:: SOT 11876343 SOS 7597428 HAS SOPS 6219556 HAS SOUS 1529138 HAS SOUPS 1439006 WITH SCORE 1446603.428
AT ITER 7802 NEW BEST:: SOT 11874650 SOS 7595593 HAS SOPS 6217853 HAS SOUS 1528647 HAS SOUPS 1438515 WITH SCORE 1446110.593
AT ITER 7808 NEW BEST:: SOT 11874650 SOS 7595584 HAS SOPS 6217835 HAS SOUS 1528646 HAS SOUPS 1438514 WITH SCORE 1446109.584
AT ITER 7814 NEW BEST:: SOT 11873863 SOS 7594844 HAS SOPS 6217001 HAS SOUS 1527781 HAS SOUPS 1437629 WITH SCORE 1445223.844
AT ITER 7842 NEW BEST:: SOT 11873630 SOS 7594915 HAS SOPS 6216823 HAS SOUS 1526215 HAS SOUPS 1436063 WITH SCORE 1443657.915
AT ITER 7847 NEW BEST:: SOT 11873317 SOS 7594751 HAS SOPS 6216437 HAS SOUS 1526133 HAS SOUPS 1435947 WITH SCORE 1443541.751
AT ITER 7857 NEW BEST:: SOT 11872706 SOS 7597327 HAS SOPS 6216959 HAS SOUS 1520571 HAS SOUPS 1430336 WITH SCORE 1437933.327
AT ITER 7889 NEW BEST:: SOT 11872450 SOS 7596887 HAS SOPS 6216457 HAS SOUS 1520123 HAS SOUPS 1429932 WITH SCORE 1437528.887
AT ITER 7928 NEW BEST:: SOT 11872614 SOS 7600021 HAS SOPS 6217674 HAS SOUS 1518658 HAS SOUPS 1428438 WITH SCORE 1436038.021
AT ITER 7951 NEW BEST:: SOT 11872342 SOS 7599635 HAS SOPS 6217234 HAS SOUS 1518512 HAS SOUPS 1428289 WITH SCORE 1435888.635
AT ITER 7953 NEW BEST:: SOT 11872282 SOS 7599575 HAS SOPS 6217126 HAS SOUS 1518392 HAS SOUPS 1428169 WITH SCORE 1435768.575
AT ITER 7956 NEW BEST:: SOT 11871772 SOS 7598371 HAS SOPS 6215758 HAS SOUS 1517154 HAS SOUPS 1426931 WITH SCORE 1434529.371
AT ITER 7996 NEW BEST:: SOT 11871761 SOS 7598383 HAS SOPS 6215695 HAS SOUS 1517112 HAS SOUPS 1426889 WITH SCORE 1434487.383
AT ITER 8013 NEW BEST:: SOT 11869619 SOS 7594069 HAS SOPS 6209661 HAS SOUS 1512754 HAS SOUPS 1422421 WITH SCORE 1430015.069
AT ITER 8049 NEW BEST:: SOT 11869471 SOS 7594229 HAS SOPS 6209436 HAS SOUS 1511986 HAS SOUPS 1421647 WITH SCORE 1429241.229
AT ITER 8056 NEW BEST:: SOT 11867091 SOS 7588597 HAS SOPS 6204763 HAS SOUS 1506803 HAS SOUPS 1416888 WITH SCORE 1424476.597
AT ITER 8063 NEW BEST:: SOT 11865217 SOS 7587399 HAS SOPS 6204241 HAS SOUS 1500346 HAS SOUPS 1410431 WITH SCORE 1418018.399
AT ITER 8065 NEW BEST:: SOT 11864006 SOS 7590987 HAS SOPS 6207829 HAS SOUS 1499143 HAS SOUPS 1409228 WITH SCORE 1416818.987
AT ITER 8103 NEW BEST:: SOT 11867001 SOS 7594724 HAS SOPS 6211532 HAS SOUS 1496407 HAS SOUPS 1406631 WITH SCORE 1414225.724
AT ITER 8165 NEW BEST:: SOT 11866803 SOS 7594350 HAS SOPS 6211158 HAS SOUS 1496153 HAS SOUPS 1406377 WITH SCORE 1413971.35
AT ITER 8201 NEW BEST:: SOT 11866779 SOS 7594326 HAS SOPS 6211134 HAS SOUS 1496105 HAS SOUPS 1406329 WITH SCORE 1413923.326
AT ITER 8215 NEW BEST:: SOT 11866759 SOS 7594306 HAS SOPS 6210826 HAS SOUS 1494721 HAS SOUPS 1404945 WITH SCORE 1412539.306
AT ITER 8221 NEW BEST:: SOT 11866036 SOS 7592053 HAS SOPS 6208430 HAS SOUS 1494033 HAS SOUPS 1404257 WITH SCORE 1411849.053
AT ITER 8397 NEW BEST:: SOT 11865603 SOS 7590173 HAS SOPS 6208307 HAS SOUS 1493688 HAS SOUPS 1403948 WITH SCORE 1411538.173
AT ITER 8412 NEW BEST:: SOT 11865300 SOS 7587834 HAS SOPS 6208209 HAS SOUS 1493057 HAS SOUPS 1403394 WITH SCORE 1410981.834
AT ITER 8419 NEW BEST:: SOT 11865781 SOS 7588407 HAS SOPS 6209156 HAS SOUS 1492730 HAS SOUPS 1403103 WITH SCORE 1410691.407
AT ITER 8420 NEW BEST:: SOT 11869519 SOS 7594305 HAS SOPS 6214891 HAS SOUS 1491351 HAS SOUPS 1401605 WITH SCORE 1409199.305
AT ITER 8432 NEW BEST:: SOT 11869229 SOS 7594015 HAS SOPS 6214569 HAS SOUS 1490933 HAS SOUPS 1401187 WITH SCORE 1408781.015
AT ITER 8459 NEW BEST:: SOT 11869291 SOS 7591963 HAS SOPS 6212672 HAS SOUS 1490289 HAS SOUPS 1400543 WITH SCORE 1408134.963
AT ITER 8473 NEW BEST:: SOT 11869386 SOS 7592102 HAS SOPS 6212591 HAS SOUS 1490126 HAS SOUPS 1400343 WITH SCORE 1407935.102
AT ITER 8493 NEW BEST:: SOT 11868830 SOS 7591566 HAS SOPS 6212120 HAS SOUS 1490037 HAS SOUPS 1400289 WITH SCORE 1407880.566
AT ITER 8529 NEW BEST:: SOT 11869602 SOS 7595001 HAS SOPS 6213238 HAS SOUS 1485570 HAS SOUPS 1395822 WITH SCORE 1403417.001
AT ITER 8568 NEW BEST:: SOT 11869612 SOS 7592803 HAS SOPS 6211718 HAS SOUS 1485218 HAS SOUPS 1395470 WITH SCORE 1403062.803
AT ITER 8572 NEW BEST:: SOT 11867924 SOS 7591119 HAS SOPS 6209758 HAS SOUS 1483538 HAS SOUPS 1393818 WITH SCORE 1401409.119
AT ITER 8604 NEW BEST:: SOT 11865177 SOS 7583910 HAS SOPS 6204690 HAS SOUS 1482107 HAS SOUPS 1392456 WITH SCORE 1400039.91
AT ITER 8639 NEW BEST:: SOT 11864877 SOS 7583610 HAS SOPS 6204310 HAS SOUS 1481507 HAS SOUPS 1391856 WITH SCORE 1399439.61
AT ITER 8665 NEW BEST:: SOT 11867364 SOS 7592222 HAS SOPS 6214137 HAS SOUS 1478930 HAS SOUPS 1389435 WITH SCORE 1397027.222
AT ITER 8675 NEW BEST:: SOT 11867087 SOS 7591945 HAS SOPS 6213860 HAS SOUS 1478757 HAS SOUPS 1389262 WITH SCORE 1396853.945
AT ITER 8715 NEW BEST:: SOT 11867135 SOS 7591845 HAS SOPS 6213930 HAS SOUS 1478661 HAS SOUPS 1389173 WITH SCORE 1396764.845
AT ITER 8724 NEW BEST:: SOT 11867157 SOS 7591822 HAS SOPS 6213915 HAS SOUS 1478508 HAS SOUPS 1389020 WITH SCORE 1396611.822
AT ITER 8726 NEW BEST:: SOT 11867108 SOS 7591573 HAS SOPS 6213748 HAS SOUS 1478395 HAS SOUPS 1388907 WITH SCORE 1396498.573
AT ITER 8734 NEW BEST:: SOT 11866728 SOS 7590149 HAS SOPS 6212490 HAS SOUS 1477844 HAS SOUPS 1388356 WITH SCORE 1395946.149
AT ITER 8735 NEW BEST:: SOT 11866469 SOS 7589252 HAS SOPS 6211276 HAS SOUS 1476335 HAS SOUPS 1386847 WITH SCORE 1394436.252
AT ITER 8781 NEW BEST:: SOT 11864548 SOS 7588627 HAS SOPS 6210487 HAS SOUS 1473645 HAS SOUPS 1384189 WITH SCORE 1391777.627
AT ITER 8789 NEW BEST:: SOT 11862574 SOS 7591466 HAS SOPS 6204800 HAS SOUS 1465212 HAS SOUPS 1375646 WITH SCORE 1383237.466
AT ITER 8795 NEW BEST:: SOT 11862171 SOS 7591489 HAS SOPS 6204356 HAS SOUS 1464139 HAS SOUPS 1374559 WITH SCORE 1382150.489
AT ITER 8819 NEW BEST:: SOT 11860376 SOS 7589694 HAS SOPS 6202305 HAS SOUS 1461048 HAS SOUPS 1371468 WITH SCORE 1379057.694
AT ITER 8843 NEW BEST:: SOT 11861817 SOS 7593999 HAS SOPS 6205365 HAS SOUS 1460645 HAS SOUPS 1371065 WITH SCORE 1378658.999
AT ITER 8867 NEW BEST:: SOT 11861461 SOS 7593851 HAS SOPS 6205077 HAS SOUS 1460648 HAS SOUPS 1371059 WITH SCORE 1378652.851
AT ITER 8892 NEW BEST:: SOT 11860708 SOS 7593120 HAS SOPS 6204512 HAS SOUS 1460211 HAS SOUPS 1370622 WITH SCORE 1378215.12
AT ITER 8895 NEW BEST:: SOT 11860644 SOS 7593056 HAS SOPS 6204448 HAS SOUS 1460147 HAS SOUPS 1370558 WITH SCORE 1378151.056
AT ITER 8901 NEW BEST:: SOT 11858813 SOS 7592904 HAS SOPS 6201797 HAS SOUS 1453819 HAS SOUPS 1364165 WITH SCORE 1371757.904
AT ITER 8913 NEW BEST:: SOT 11858731 SOS 7592878 HAS SOPS 6201667 HAS SOUS 1453417 HAS SOUPS 1363747 WITH SCORE 1371339.878
AT ITER 8967 NEW BEST:: SOT 11858728 SOS 7593131 HAS SOPS 6201464 HAS SOUS 1452854 HAS SOUPS 1363184 WITH SCORE 1370777.131
AT ITER 8993 NEW BEST:: SOT 11861183 SOS 7594801 HAS SOPS 6204219 HAS SOUS 1450929 HAS SOUPS 1361396 WITH SCORE 1368990.801
AT ITER 9000 NEW BEST:: SOT 11860935 SOS 7594472 HAS SOPS 6203779 HAS SOUS 1450820 HAS SOUPS 1361275 WITH SCORE 1368869.472
AT ITER 9037 NEW BEST:: SOT 11860465 SOS 7593698 HAS SOPS 6202853 HAS SOUS 1449894 HAS SOUPS 1360349 WITH SCORE 1367942.698
AT ITER 9048 NEW BEST:: SOT 11860087 SOS 7592223 HAS SOPS 6202343 HAS SOUS 1449272 HAS SOUPS 1359727 WITH SCORE 1367319.223
AT ITER 9066 NEW BEST:: SOT 11858586 SOS 7590551 HAS SOPS 6199117 HAS SOUS 1444721 HAS SOUPS 1355019 WITH SCORE 1362609.551
AT ITER 9108 NEW BEST:: SOT 11859646 SOS 7597213 HAS SOPS 6206347 HAS SOUS 1443250 HAS SOUPS 1353619 WITH SCORE 1361216.213
AT ITER 9149 NEW BEST:: SOT 11855910 SOS 7593477 HAS SOPS 6202563 HAS SOUS 1438130 HAS SOUPS 1348499 WITH SCORE 1356092.477
AT ITER 9200 NEW BEST:: SOT 11860380 SOS 7596632 HAS SOPS 6203398 HAS SOUS 1438050 HAS SOUPS 1348419 WITH SCORE 1356015.632
AT ITER 9210 NEW BEST:: SOT 11859935 SOS 7596188 HAS SOPS 6202887 HAS SOUS 1437163 HAS SOUPS 1347532 WITH SCORE 1355128.188
AT ITER 9215 NEW BEST:: SOT 11859332 SOS 7595499 HAS SOPS 6201882 HAS SOUS 1435240 HAS SOUPS 1345609 WITH SCORE 1353204.499
AT ITER 9217 NEW BEST:: SOT 11859208 SOS 7596003 HAS SOPS 6202498 HAS SOUS 1435140 HAS SOUPS 1345509 WITH SCORE 1353105.003
AT ITER 9287 NEW BEST:: SOT 11860710 SOS 7597812 HAS SOPS 6203292 HAS SOUS 1434395 HAS SOUPS 1344734 WITH SCORE 1352331.812
AT ITER 9295 NEW BEST:: SOT 11860522 SOS 7597284 HAS SOPS 6202748 HAS SOUS 1434007 HAS SOUPS 1344350 WITH SCORE 1351947.284
AT ITER 9323 NEW BEST:: SOT 11859768 SOS 7594720 HAS SOPS 6201328 HAS SOUS 1433737 HAS SOUPS 1344106 WITH SCORE 1351700.72
AT ITER 9325 NEW BEST:: SOT 11853665 SOS 7598005 HAS SOPS 6213863 HAS SOUS 1432611 HAS SOUPS 1342980 WITH SCORE 1350578.005
AT ITER 9329 NEW BEST:: SOT 11853541 SOS 7597899 HAS SOPS 6213725 HAS SOUS 1432423 HAS SOUPS 1342790 WITH SCORE 1350387.899
AT ITER 9349 NEW BEST:: SOT 11853609 SOS 7587985 HAS SOPS 6208362 HAS SOUS 1431318 HAS SOUPS 1341796 WITH SCORE 1349383.985
AT ITER 9374 NEW BEST:: SOT 11849839 SOS 7586594 HAS SOPS 6211344 HAS SOUS 1428115 HAS SOUPS 1338593 WITH SCORE 1346179.594
AT ITER 9426 NEW BEST:: SOT 11856509 SOS 7595599 HAS SOPS 6219367 HAS SOUS 1427074 HAS SOUPS 1337552 WITH SCORE 1345147.599
AT ITER 9429 NEW BEST:: SOT 11856473 SOS 7595561 HAS SOPS 6219393 HAS SOUS 1426978 HAS SOUPS 1337468 WITH SCORE 1345063.561
AT ITER 9458 NEW BEST:: SOT 11853737 SOS 7591433 HAS SOPS 6215701 HAS SOUS 1426809 HAS SOUPS 1337299 WITH SCORE 1344890.433
AT ITER 9476 NEW BEST:: SOT 11853254 SOS 7593380 HAS SOPS 6214249 HAS SOUS 1424516 HAS SOUPS 1334641 WITH SCORE 1342234.38
AT ITER 9480 NEW BEST:: SOT 11848048 SOS 7583295 HAS SOPS 6207359 HAS SOUS 1422340 HAS SOUPS 1332483 WITH SCORE 1340066.295
AT ITER 9494 NEW BEST:: SOT 11848126 SOS 7583373 HAS SOPS 6207470 HAS SOUS 1422310 HAS SOUPS 1332453 WITH SCORE 1340036.373
AT ITER 9505 NEW BEST:: SOT 11848103 SOS 7582930 HAS SOPS 6206895 HAS SOUS 1422185 HAS SOUPS 1332328 WITH SCORE 1339910.93
AT ITER 9506 NEW BEST:: SOT 11843113 SOS 7571716 HAS SOPS 6196741 HAS SOUS 1417565 HAS SOUPS 1327779 WITH SCORE 1335350.716
AT ITER 9519 NEW BEST:: SOT 11843655 SOS 7571994 HAS SOPS 6197584 HAS SOUS 1417012 HAS SOUPS 1327269 WITH SCORE 1334840.994
AT ITER 9548 NEW BEST:: SOT 11842606 SOS 7571093 HAS SOPS 6197467 HAS SOUS 1413093 HAS SOUPS 1323462 WITH SCORE 1331033.093
AT ITER 9560 NEW BEST:: SOT 11842614 SOS 7571085 HAS SOPS 6197267 HAS SOUS 1413035 HAS SOUPS 1323392 WITH SCORE 1330963.085
AT ITER 9576 NEW BEST:: SOT 11842570 SOS 7571041 HAS SOPS 6197223 HAS SOUS 1412947 HAS SOUPS 1323304 WITH SCORE 1330875.041
AT ITER 9592 NEW BEST:: SOT 11843182 SOS 7571503 HAS SOPS 6198031 HAS SOUS 1411247 HAS SOUPS 1321604 WITH SCORE 1329175.503
AT ITER 9616 NEW BEST:: SOT 11844588 SOS 7575476 HAS SOPS 6201512 HAS SOUS 1411003 HAS SOUPS 1321360 WITH SCORE 1328935.476
AT ITER 9619 NEW BEST:: SOT 11844598 SOS 7575486 HAS SOPS 6201548 HAS SOUS 1410997 HAS SOUPS 1321356 WITH SCORE 1328931.486
AT ITER 9643 NEW BEST:: SOT 11842700 SOS 7572696 HAS SOPS 6198672 HAS SOUS 1407627 HAS SOUPS 1318139 WITH SCORE 1325711.696
AT ITER 9659 NEW BEST:: SOT 11842333 SOS 7572256 HAS SOPS 6198479 HAS SOUS 1407577 HAS SOUPS 1318129 WITH SCORE 1325701.256
AT ITER 9678 NEW BEST:: SOT 11842804 SOS 7573900 HAS SOPS 6201698 HAS SOUS 1406943 HAS SOUPS 1317495 WITH SCORE 1325068.9
AT ITER 9716 NEW BEST:: SOT 11843979 SOS 7573260 HAS SOPS 6201174 HAS SOUS 1403253 HAS SOUPS 1313858 WITH SCORE 1321431.26
AT ITER 9740 NEW BEST:: SOT 11843830 SOS 7572786 HAS SOPS 6200675 HAS SOUS 1402740 HAS SOUPS 1313345 WITH SCORE 1320917.786
AT ITER 9746 NEW BEST:: SOT 11842953 SOS 7571096 HAS SOPS 6198356 HAS SOUS 1400822 HAS SOUPS 1311433 WITH SCORE 1319004.096
AT ITER 9791 NEW BEST:: SOT 11842197 SOS 7570410 HAS SOPS 6196868 HAS SOUS 1398540 HAS SOUPS 1309151 WITH SCORE 1316721.41
AT ITER 9792 NEW BEST:: SOT 11842475 SOS 7568810 HAS SOPS 6195552 HAS SOUS 1397915 HAS SOUPS 1308526 WITH SCORE 1316094.81
AT ITER 9887 NEW BEST:: SOT 11842148 SOS 7568463 HAS SOPS 6194585 HAS SOUS 1395988 HAS SOUPS 1306599 WITH SCORE 1314167.463
AT ITER 9905 NEW BEST:: SOT 11841160 SOS 7567251 HAS SOPS 6193405 HAS SOUS 1395196 HAS SOUPS 1305819 WITH SCORE 1313386.251
AT ITER 9918 NEW BEST:: SOT 11841011 SOS 7567102 HAS SOPS 6193256 HAS SOUS 1394727 HAS SOUPS 1305350 WITH SCORE 1312917.102
AT ITER 9937 NEW BEST:: SOT 11840637 SOS 7566863 HAS SOPS 6192537 HAS SOUS 1394578 HAS SOUPS 1305201 WITH SCORE 1312767.863
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393232 kB
MemFree: 14804604 kB
After kill :
MemTotal: 16393232 kB
MemFree: 16079604 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-4"
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-4, 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-167889203900032"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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