MCC'2023- Execution of r331-tall-167889204100160

About the Execution of Smart+red for RERS17pb115-PT-2

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
1897.111	3600000.00	3816026.00	6733.10	[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-167889204100160.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 RERS17pb115-PT-2, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r331-tall-167889204100160
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 70M
-rw-r--r-- 1 mcc users 6.1K Feb 25 13:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 63K Feb 25 13:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Feb 25 13:48 CTLFireability.txt
-rw-r--r-- 1 mcc users 44K Feb 25 13:48 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:39 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:39 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Feb 25 16:39 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:39 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.7K Feb 25 14:03 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 88K Feb 25 14:03 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 14K Feb 25 13:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 88K Feb 25 13:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:39 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:39 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 69M 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 1679086494655

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=RERS17pb115-PT-2
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-17 20:54:56] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-17 20:54:56] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-17 20:54:58] [INFO ] Load time of PNML (sax parser for PT used): 1829 ms
[2023-03-17 20:54:58] [INFO ] Transformed 1399 places.
[2023-03-17 20:54:59] [INFO ] Transformed 144369 transitions.
[2023-03-17 20:54:59] [INFO ] Parsed PT model containing 1399 places and 144369 transitions and 577414 arcs in 2363 ms.
[2023-03-17 20:54:59] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1399 places, 144369 transitions and 577414 arcs took 353 ms.
Total runtime 2749 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb115 (PT), instance 2
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: 1399 places, 144369 transitions, 577414 arcs.
AT ITER 0 NEW BEST:: SOT 123476540 SOS 80284426 HAS SOPS 65263383 HAS SOUS 24121552 HAS SOUPS 23549470 WITH SCORE 2.3629754426E7
AT ITER 4 NEW BEST:: SOT 123476628 SOS 80279764 HAS SOPS 65259811 HAS SOUS 24113597 HAS SOUPS 23541515 WITH SCORE 2.3621794764E7
AT ITER 5 NEW BEST:: SOT 123481245 SOS 80297685 HAS SOPS 65273993 HAS SOUS 24100458 HAS SOUPS 23528376 WITH SCORE 2.3608673685E7
AT ITER 26 NEW BEST:: SOT 123479572 SOS 80298474 HAS SOPS 65274444 HAS SOUS 24095989 HAS SOUPS 23523907 WITH SCORE 2.3604205474E7
AT ITER 40 NEW BEST:: SOT 123476307 SOS 80293181 HAS SOPS 65267494 HAS SOUS 24089432 HAS SOUPS 23517350 WITH SCORE 2.3597643181E7
AT ITER 49 NEW BEST:: SOT 123476979 SOS 80296857 HAS SOPS 65270460 HAS SOUS 24088574 HAS SOUPS 23516492 WITH SCORE 2.3596788857E7
AT ITER 55 NEW BEST:: SOT 123479700 SOS 80301447 HAS SOPS 65273718 HAS SOUS 24088487 HAS SOUPS 23516405 WITH SCORE 2.3596706447E7
AT ITER 57 NEW BEST:: SOT 123480852 SOS 80303883 HAS SOPS 65272668 HAS SOUS 24085084 HAS SOUPS 23513002 WITH SCORE 2.3593305883E7
AT ITER 58 NEW BEST:: SOT 123468436 SOS 80287763 HAS SOPS 65261838 HAS SOUS 24073159 HAS SOUPS 23501233 WITH SCORE 2.3581520763E7
AT ITER 62 NEW BEST:: SOT 123480969 SOS 80305057 HAS SOPS 65274108 HAS SOUS 24038371 HAS SOUPS 23468594 WITH SCORE 2.3548899057E7
AT ITER 76 NEW BEST:: SOT 123477796 SOS 80301882 HAS SOPS 65269779 HAS SOUS 24030851 HAS SOUPS 23461074 WITH SCORE 2.3541375882E7
AT ITER 80 NEW BEST:: SOT 123477796 SOS 80303610 HAS SOPS 65271507 HAS SOUS 24029227 HAS SOUPS 23459450 WITH SCORE 2.353975361E7
AT ITER 81 NEW BEST:: SOT 123477624 SOS 80299706 HAS SOPS 65267701 HAS SOUS 24027103 HAS SOUPS 23457326 WITH SCORE 2.3537625706E7
AT ITER 90 NEW BEST:: SOT 123478202 SOS 80302784 HAS SOPS 65265677 HAS SOUS 24018903 HAS SOUPS 23449126 WITH SCORE 2.3529428784E7
AT ITER 97 NEW BEST:: SOT 123470918 SOS 80294818 HAS SOPS 65256975 HAS SOUS 24010484 HAS SOUPS 23440707 WITH SCORE 2.3521001818E7
AT ITER 99 NEW BEST:: SOT 123465788 SOS 80295565 HAS SOPS 65251989 HAS SOUS 23988323 HAS SOUPS 23418546 WITH SCORE 2.3498841565E7
AT ITER 106 NEW BEST:: SOT 123464364 SOS 80295318 HAS SOPS 65252855 HAS SOUS 23983219 HAS SOUPS 23413442 WITH SCORE 2.3493737318E7
AT ITER 111 NEW BEST:: SOT 123467469 SOS 80298117 HAS SOPS 65257433 HAS SOUS 23971891 HAS SOUPS 23402322 WITH SCORE 2.3482620117E7
AT ITER 118 NEW BEST:: SOT 123463503 SOS 80295589 HAS SOPS 65254233 HAS SOUS 23965595 HAS SOUPS 23394561 WITH SCORE 2.3474856589E7
AT ITER 120 NEW BEST:: SOT 123421429 SOS 80252526 HAS SOPS 65203937 HAS SOUS 23899974 HAS SOUPS 23329002 WITH SCORE 2.3409254526E7
AT ITER 122 NEW BEST:: SOT 123421660 SOS 80279414 HAS SOPS 65240500 HAS SOUS 23899838 HAS SOUPS 23328866 WITH SCORE 2.3409145414E7
AT ITER 123 NEW BEST:: SOT 123416448 SOS 80271808 HAS SOPS 65233430 HAS SOUS 23889332 HAS SOUPS 23318408 WITH SCORE 2.3398679808E7
AT ITER 124 NEW BEST:: SOT 123425274 SOS 80290705 HAS SOPS 65246476 HAS SOUS 23882340 HAS SOUPS 23311416 WITH SCORE 2.3391706705E7
AT ITER 127 NEW BEST:: SOT 123436939 SOS 80331359 HAS SOPS 65273626 HAS SOUS 23877950 HAS SOUPS 23307026 WITH SCORE 2.3387357359E7
AT ITER 131 NEW BEST:: SOT 123436613 SOS 80329816 HAS SOPS 65275025 HAS SOUS 23855159 HAS SOUPS 23284235 WITH SCORE 2.3364564816E7
AT ITER 135 NEW BEST:: SOT 123433054 SOS 80326255 HAS SOPS 65271457 HAS SOUS 23851585 HAS SOUPS 23280661 WITH SCORE 2.3360987255E7
AT ITER 141 NEW BEST:: SOT 123432968 SOS 80326111 HAS SOPS 65271314 HAS SOUS 23851459 HAS SOUPS 23280535 WITH SCORE 2.3360861111E7
AT ITER 156 NEW BEST:: SOT 123432232 SOS 80331469 HAS SOPS 65270994 HAS SOUS 23838196 HAS SOUPS 23267272 WITH SCORE 2.3347603469E7
AT ITER 163 NEW BEST:: SOT 123424705 SOS 80328360 HAS SOPS 65260834 HAS SOUS 23822197 HAS SOUPS 23250368 WITH SCORE 2.333069636E7
AT ITER 178 NEW BEST:: SOT 123501933 SOS 80490856 HAS SOPS 65411475 HAS SOUS 23786633 HAS SOUPS 23214436 WITH SCORE 2.3294926856E7
AT ITER 182 NEW BEST:: SOT 123500298 SOS 80489017 HAS SOPS 65408804 HAS SOUS 23783417 HAS SOUPS 23211188 WITH SCORE 2.3291677017E7
AT ITER 193 NEW BEST:: SOT 123500067 SOS 80494757 HAS SOPS 65416714 HAS SOUS 23782866 HAS SOUPS 23210637 WITH SCORE 2.3291131757E7
AT ITER 198 NEW BEST:: SOT 123507227 SOS 80519209 HAS SOPS 65441702 HAS SOUS 23774126 HAS SOUPS 23201897 WITH SCORE 2.3282416209E7
AT ITER 206 NEW BEST:: SOT 123507482 SOS 80519724 HAS SOPS 65442133 HAS SOUS 23774059 HAS SOUPS 23201830 WITH SCORE 2.3282349724E7
AT ITER 214 NEW BEST:: SOT 123504290 SOS 80512733 HAS SOPS 65432380 HAS SOUS 23772531 HAS SOUPS 23200378 WITH SCORE 2.3280890733E7
AT ITER 215 NEW BEST:: SOT 123503266 SOS 80510765 HAS SOPS 65430604 HAS SOUS 23771251 HAS SOUPS 23199114 WITH SCORE 2.3279624765E7
AT ITER 218 NEW BEST:: SOT 123488880 SOS 80488131 HAS SOPS 65414916 HAS SOUS 23757921 HAS SOUPS 23185932 WITH SCORE 2.3266420131E7
AT ITER 224 NEW BEST:: SOT 123487241 SOS 80487456 HAS SOPS 65412975 HAS SOUS 23753994 HAS SOUPS 23182005 WITH SCORE 2.3262492456E7
AT ITER 226 NEW BEST:: SOT 123477348 SOS 80468599 HAS SOPS 65400104 HAS SOUS 23737567 HAS SOUPS 23165578 WITH SCORE 2.3246046599E7
AT ITER 229 NEW BEST:: SOT 123477370 SOS 80468616 HAS SOPS 65400143 HAS SOUS 23736470 HAS SOUPS 23164490 WITH SCORE 2.3244958616E7
AT ITER 231 NEW BEST:: SOT 123453861 SOS 80433875 HAS SOPS 65371094 HAS SOUS 23714434 HAS SOUPS 23142788 WITH SCORE 2.3223221875E7
AT ITER 234 NEW BEST:: SOT 123456337 SOS 80441528 HAS SOPS 65378546 HAS SOUS 23714010 HAS SOUPS 23142364 WITH SCORE 2.3222805528E7
AT ITER 291 NEW BEST:: SOT 123456285 SOS 80437568 HAS SOPS 65376454 HAS SOUS 23713964 HAS SOUPS 23142318 WITH SCORE 2.3222755568E7
AT ITER 299 NEW BEST:: SOT 123462244 SOS 80452831 HAS SOPS 65387057 HAS SOUS 23707271 HAS SOUPS 23135625 WITH SCORE 2.3216077831E7
AT ITER 300 NEW BEST:: SOT 123449210 SOS 80418270 HAS SOPS 65356820 HAS SOUS 23693256 HAS SOUPS 23121834 WITH SCORE 2.320225227E7
AT ITER 309 NEW BEST:: SOT 123373991 SOS 80332203 HAS SOPS 65276024 HAS SOUS 23615760 HAS SOUPS 23044694 WITH SCORE 2.3125026203E7
AT ITER 317 NEW BEST:: SOT 123374596 SOS 80337562 HAS SOPS 65278763 HAS SOUS 23611711 HAS SOUPS 23040645 WITH SCORE 2.3120982562E7
AT ITER 333 NEW BEST:: SOT 123377761 SOS 80351088 HAS SOPS 65288929 HAS SOUS 23588433 HAS SOUPS 23017367 WITH SCORE 2.3097718088E7
AT ITER 334 NEW BEST:: SOT 123381281 SOS 80366036 HAS SOPS 65298376 HAS SOUS 23580091 HAS SOUPS 23009025 WITH SCORE 2.3089391036E7
AT ITER 335 NEW BEST:: SOT 123373275 SOS 80358030 HAS SOPS 65290370 HAS SOUS 23569333 HAS SOUPS 22998267 WITH SCORE 2.307862503E7
AT ITER 352 NEW BEST:: SOT 123362448 SOS 80346652 HAS SOPS 65285804 HAS SOUS 23538303 HAS SOUPS 22967237 WITH SCORE 2.3047583652E7
AT ITER 360 NEW BEST:: SOT 123361281 SOS 80342107 HAS SOPS 65284344 HAS SOUS 23537483 HAS SOUPS 22966465 WITH SCORE 2.3046807107E7
AT ITER 363 NEW BEST:: SOT 123375912 SOS 80383644 HAS SOPS 65307838 HAS SOUS 23528035 HAS SOUPS 22956990 WITH SCORE 2.3037373644E7
AT ITER 369 NEW BEST:: SOT 123375503 SOS 80382839 HAS SOPS 65307099 HAS SOUS 23527516 HAS SOUPS 22956493 WITH SCORE 2.3036875839E7
AT ITER 382 NEW BEST:: SOT 123371730 SOS 80376926 HAS SOPS 65302366 HAS SOUS 23517414 HAS SOUPS 22946391 WITH SCORE 2.3026767926E7
AT ITER 401 NEW BEST:: SOT 123371902 SOS 80389769 HAS SOPS 65315025 HAS SOUS 23517183 HAS SOUPS 22946160 WITH SCORE 2.3026549769E7
AT ITER 413 NEW BEST:: SOT 123371951 SOS 80399111 HAS SOPS 65323088 HAS SOUS 23516844 HAS SOUPS 22945821 WITH SCORE 2.3026220111E7
AT ITER 419 NEW BEST:: SOT 123370531 SOS 80397418 HAS SOPS 65319830 HAS SOUS 23512007 HAS SOUPS 22941058 WITH SCORE 2.3021455418E7
AT ITER 421 NEW BEST:: SOT 123370531 SOS 80420442 HAS SOPS 65356678 HAS SOUS 23511857 HAS SOUPS 22940908 WITH SCORE 2.3021328442E7
AT ITER 428 NEW BEST:: SOT 123372155 SOS 80426169 HAS SOPS 65363798 HAS SOUS 23509086 HAS SOUPS 22938137 WITH SCORE 2.3018563169E7
AT ITER 434 NEW BEST:: SOT 123364971 SOS 80420118 HAS SOPS 65361593 HAS SOUS 23501694 HAS SOUPS 22928675 WITH SCORE 2.3009095118E7
AT ITER 443 NEW BEST:: SOT 123362833 SOS 80417938 HAS SOPS 65359171 HAS SOUS 23498744 HAS SOUPS 22925627 WITH SCORE 2.3006044938E7
AT ITER 446 NEW BEST:: SOT 123360794 SOS 80428069 HAS SOPS 65364714 HAS SOUS 23481974 HAS SOUPS 22908626 WITH SCORE 2.2989054069E7
AT ITER 449 NEW BEST:: SOT 123355084 SOS 80422359 HAS SOPS 65359004 HAS SOUS 23467784 HAS SOUPS 22894436 WITH SCORE 2.2974858359E7
AT ITER 450 NEW BEST:: SOT 123349173 SOS 80411344 HAS SOPS 65358139 HAS SOUS 23463374 HAS SOUPS 22890026 WITH SCORE 2.2970437344E7
AT ITER 456 NEW BEST:: SOT 123353954 SOS 80430937 HAS SOPS 65383730 HAS SOUS 23457615 HAS SOUPS 22884352 WITH SCORE 2.2964782937E7
AT ITER 467 NEW BEST:: SOT 123325088 SOS 80400357 HAS SOPS 65352319 HAS SOUS 23413093 HAS SOUPS 22839902 WITH SCORE 2.2920302357E7
AT ITER 471 NEW BEST:: SOT 123324221 SOS 80399783 HAS SOPS 65351425 HAS SOUS 23411871 HAS SOUPS 22838680 WITH SCORE 2.2919079783E7
AT ITER 482 NEW BEST:: SOT 123324231 SOS 80400169 HAS SOPS 65350691 HAS SOUS 23411777 HAS SOUPS 22838586 WITH SCORE 2.2918986169E7
AT ITER 490 NEW BEST:: SOT 123345750 SOS 80441781 HAS SOPS 65379634 HAS SOUS 23398278 HAS SOUPS 22825077 WITH SCORE 2.2905518781E7
AT ITER 510 NEW BEST:: SOT 123349123 SOS 80447677 HAS SOPS 65390967 HAS SOUS 23397861 HAS SOUPS 22824660 WITH SCORE 2.2905107677E7
AT ITER 522 NEW BEST:: SOT 123345238 SOS 80446354 HAS SOPS 65387301 HAS SOUS 23383226 HAS SOUPS 22810025 WITH SCORE 2.2890471354E7
AT ITER 534 NEW BEST:: SOT 123346992 SOS 80454072 HAS SOPS 65385713 HAS SOUS 23378783 HAS SOUPS 22805582 WITH SCORE 2.2886036072E7
AT ITER 540 NEW BEST:: SOT 123346983 SOS 80453905 HAS SOPS 65388801 HAS SOUS 23378666 HAS SOUPS 22805465 WITH SCORE 2.2885918905E7
AT ITER 562 NEW BEST:: SOT 123348485 SOS 80461405 HAS SOPS 65384927 HAS SOUS 23371689 HAS SOUPS 22798350 WITH SCORE 2.2878811405E7
AT ITER 565 NEW BEST:: SOT 123348456 SOS 80461338 HAS SOPS 65384931 HAS SOUS 23371666 HAS SOUPS 22798328 WITH SCORE 2.2878789338E7
AT ITER 574 NEW BEST:: SOT 123372576 SOS 80494577 HAS SOPS 65419307 HAS SOUS 23367828 HAS SOUPS 22794639 WITH SCORE 2.2875133577E7
AT ITER 582 NEW BEST:: SOT 123384742 SOS 80501639 HAS SOPS 65428351 HAS SOUS 23360280 HAS SOUPS 22787305 WITH SCORE 2.2867806639E7
AT ITER 583 NEW BEST:: SOT 123384233 SOS 80498109 HAS SOPS 65427447 HAS SOUS 23359020 HAS SOUPS 22786068 WITH SCORE 2.2866566109E7
AT ITER 584 NEW BEST:: SOT 123384235 SOS 80497845 HAS SOPS 65425570 HAS SOUS 23355708 HAS SOUPS 22782756 WITH SCORE 2.2863253845E7
AT ITER 594 NEW BEST:: SOT 123383236 SOS 80491638 HAS SOPS 65421647 HAS SOUS 23354355 HAS SOUPS 22781403 WITH SCORE 2.2861894638E7
AT ITER 596 NEW BEST:: SOT 123361434 SOS 80463761 HAS SOPS 65396686 HAS SOUS 23323515 HAS SOUPS 22750750 WITH SCORE 2.2831213761E7
AT ITER 600 NEW BEST:: SOT 123357801 SOS 80458763 HAS SOPS 65392032 HAS SOUS 23318415 HAS SOUPS 22745670 WITH SCORE 2.2826128763E7
AT ITER 603 NEW BEST:: SOT 123294014 SOS 80333800 HAS SOPS 65291647 HAS SOUS 23249111 HAS SOUPS 22676700 WITH SCORE 2.27570338E7
AT ITER 617 NEW BEST:: SOT 123277255 SOS 80314108 HAS SOPS 65274129 HAS SOUS 23201444 HAS SOUPS 22629064 WITH SCORE 2.2709378108E7
AT ITER 628 NEW BEST:: SOT 123300083 SOS 80352024 HAS SOPS 65293998 HAS SOUS 23183661 HAS SOUPS 22611281 WITH SCORE 2.2691633024E7
AT ITER 631 NEW BEST:: SOT 123297330 SOS 80348381 HAS SOPS 65291695 HAS SOUS 23179047 HAS SOUPS 22606709 WITH SCORE 2.2687057381E7
AT ITER 636 NEW BEST:: SOT 123297607 SOS 80382405 HAS SOPS 65330995 HAS SOUS 23178896 HAS SOUPS 22606558 WITH SCORE 2.2686940405E7
AT ITER 651 NEW BEST:: SOT 123289301 SOS 80368311 HAS SOPS 65320443 HAS SOUS 23165337 HAS SOUPS 22593076 WITH SCORE 2.2673444311E7
AT ITER 654 NEW BEST:: SOT 123289167 SOS 80367541 HAS SOPS 65325238 HAS SOUS 23151240 HAS SOUPS 22578979 WITH SCORE 2.2659346541E7
AT ITER 656 NEW BEST:: SOT 123291103 SOS 80368491 HAS SOPS 65324620 HAS SOUS 23148635 HAS SOUPS 22576300 WITH SCORE 2.2656668491E7
AT ITER 672 NEW BEST:: SOT 123295408 SOS 80377108 HAS SOPS 65329643 HAS SOUS 23146788 HAS SOUPS 22574453 WITH SCORE 2.2654830108E7
AT ITER 675 NEW BEST:: SOT 123271355 SOS 80336346 HAS SOPS 65295798 HAS SOUS 23126585 HAS SOUPS 22554250 WITH SCORE 2.2634586346E7
AT ITER 680 NEW BEST:: SOT 123259212 SOS 80322412 HAS SOPS 65278243 HAS SOUS 23107641 HAS SOUPS 22535306 WITH SCORE 2.2615628412E7
AT ITER 683 NEW BEST:: SOT 123257981 SOS 80336563 HAS SOPS 65276892 HAS SOUS 23087906 HAS SOUPS 22515571 WITH SCORE 2.2595907563E7
AT ITER 698 NEW BEST:: SOT 123211265 SOS 80288845 HAS SOPS 65229174 HAS SOUS 23040561 HAS SOUPS 22468226 WITH SCORE 2.2548514845E7
AT ITER 702 NEW BEST:: SOT 123216589 SOS 80305099 HAS SOPS 65250735 HAS SOUS 23032627 HAS SOUPS 22460292 WITH SCORE 2.2540597099E7
AT ITER 721 NEW BEST:: SOT 123215437 SOS 80304425 HAS SOPS 65251493 HAS SOUS 23029785 HAS SOUPS 22457450 WITH SCORE 2.2537754425E7
AT ITER 731 NEW BEST:: SOT 123216851 SOS 80308053 HAS SOPS 65255430 HAS SOUS 23027966 HAS SOUPS 22455631 WITH SCORE 2.2535939053E7
AT ITER 745 NEW BEST:: SOT 123216399 SOS 80311805 HAS SOPS 65255656 HAS SOUS 23026099 HAS SOUPS 22453764 WITH SCORE 2.2534075805E7
AT ITER 754 NEW BEST:: SOT 123194162 SOS 80278234 HAS SOPS 65225757 HAS SOUS 22990523 HAS SOUPS 22418484 WITH SCORE 2.2498762234E7
AT ITER 757 NEW BEST:: SOT 123191324 SOS 80279913 HAS SOPS 65227904 HAS SOUS 22989055 HAS SOUPS 22417016 WITH SCORE 2.2497295913E7
AT ITER 760 NEW BEST:: SOT 123191457 SOS 80306656 HAS SOPS 65252355 HAS SOUS 22988227 HAS SOUPS 22416188 WITH SCORE 2.2496494656E7
AT ITER 774 NEW BEST:: SOT 123187431 SOS 80297257 HAS SOPS 65262494 HAS SOUS 22983404 HAS SOUPS 22411365 WITH SCORE 2.2491662257E7
AT ITER 781 NEW BEST:: SOT 123198398 SOS 80325677 HAS SOPS 65307726 HAS SOUS 22965666 HAS SOUPS 22393601 WITH SCORE 2.2473926677E7
AT ITER 792 NEW BEST:: SOT 123242864 SOS 80427788 HAS SOPS 65405693 HAS SOUS 22962936 HAS SOUPS 22390871 WITH SCORE 2.2471298788E7
AT ITER 795 NEW BEST:: SOT 123228415 SOS 80405997 HAS SOPS 65378422 HAS SOUS 22947384 HAS SOUPS 22375319 WITH SCORE 2.2455724997E7
AT ITER 824 NEW BEST:: SOT 123231365 SOS 80412881 HAS SOPS 65383465 HAS SOUS 22946229 HAS SOUPS 22374164 WITH SCORE 2.2454576881E7
AT ITER 835 NEW BEST:: SOT 123190648 SOS 80372164 HAS SOPS 65342556 HAS SOUS 22895336 HAS SOUPS 22323271 WITH SCORE 2.2403643164E7
AT ITER 838 NEW BEST:: SOT 123179846 SOS 80355837 HAS SOPS 65333245 HAS SOUS 22862229 HAS SOUPS 22290164 WITH SCORE 2.2370519837E7
AT ITER 839 NEW BEST:: SOT 123178615 SOS 80342318 HAS SOPS 65322798 HAS SOUS 22851110 HAS SOUPS 22279141 WITH SCORE 2.2359483318E7
AT ITER 850 NEW BEST:: SOT 123178109 SOS 80341759 HAS SOPS 65322239 HAS SOUS 22850627 HAS SOUPS 22278658 WITH SCORE 2.2358999759E7
AT ITER 883 NEW BEST:: SOT 123170318 SOS 80337749 HAS SOPS 65312404 HAS SOUS 22819488 HAS SOUPS 22247541 WITH SCORE 2.2327878749E7
AT ITER 884 NEW BEST:: SOT 123156031 SOS 80327343 HAS SOPS 65296467 HAS SOUS 22805266 HAS SOUPS 22233319 WITH SCORE 2.2313646343E7
AT ITER 893 NEW BEST:: SOT 123160604 SOS 80344533 HAS SOPS 65324500 HAS SOUS 22796417 HAS SOUPS 22224470 WITH SCORE 2.2304814533E7
AT ITER 908 NEW BEST:: SOT 123160335 SOS 80344093 HAS SOPS 65323547 HAS SOUS 22795807 HAS SOUPS 22223860 WITH SCORE 2.2304204093E7
AT ITER 909 NEW BEST:: SOT 123163369 SOS 80353907 HAS SOPS 65336064 HAS SOUS 22784022 HAS SOUPS 22212075 WITH SCORE 2.2292428907E7
AT ITER 921 NEW BEST:: SOT 123165102 SOS 80356894 HAS SOPS 65341659 HAS SOUS 22784014 HAS SOUPS 22212067 WITH SCORE 2.2292423894E7
AT ITER 929 NEW BEST:: SOT 123157696 SOS 80351051 HAS SOPS 65330047 HAS SOUS 22768422 HAS SOUPS 22196475 WITH SCORE 2.2276826051E7
AT ITER 930 NEW BEST:: SOT 123155806 SOS 80349089 HAS SOPS 65327437 HAS SOUS 22764866 HAS SOUPS 22192919 WITH SCORE 2.2273268089E7
AT ITER 939 NEW BEST:: SOT 123155121 SOS 80348620 HAS SOPS 65326704 HAS SOUS 22763797 HAS SOUPS 22191746 WITH SCORE 2.227209462E7
AT ITER 944 NEW BEST:: SOT 123144394 SOS 80335932 HAS SOPS 65311355 HAS SOUS 22744080 HAS SOUPS 22172029 WITH SCORE 2.2252364932E7
AT ITER 972 NEW BEST:: SOT 123139299 SOS 80325950 HAS SOPS 65311760 HAS SOUS 22733247 HAS SOUPS 22161430 WITH SCORE 2.224175595E7
AT ITER 974 NEW BEST:: SOT 123136924 SOS 80322249 HAS SOPS 65309295 HAS SOUS 22732091 HAS SOUPS 22160298 WITH SCORE 2.2240620249E7
AT ITER 1001 NEW BEST:: SOT 123134777 SOS 80320106 HAS SOPS 65302942 HAS SOUS 22728290 HAS SOUPS 22154513 WITH SCORE 2.2234833106E7
AT ITER 1006 NEW BEST:: SOT 123140639 SOS 80342520 HAS SOPS 65313680 HAS SOUS 22722626 HAS SOUPS 22148722 WITH SCORE 2.222906452E7
AT ITER 1021 NEW BEST:: SOT 123140638 SOS 80342375 HAS SOPS 65313567 HAS SOUS 22722626 HAS SOUPS 22148722 WITH SCORE 2.2229064375E7
AT ITER 1036 NEW BEST:: SOT 123136979 SOS 80337396 HAS SOPS 65310007 HAS SOUS 22717841 HAS SOUPS 22143937 WITH SCORE 2.2224274396E7
AT ITER 1042 NEW BEST:: SOT 123139687 SOS 80337954 HAS SOPS 65314523 HAS SOUS 22716047 HAS SOUPS 22142143 WITH SCORE 2.2222480954E7
AT ITER 1059 NEW BEST:: SOT 123139146 SOS 80337412 HAS SOPS 65314620 HAS SOUS 22714782 HAS SOUPS 22140878 WITH SCORE 2.2221215412E7
AT ITER 1067 NEW BEST:: SOT 123137554 SOS 80334932 HAS SOPS 65312197 HAS SOUS 22712683 HAS SOUPS 22138806 WITH SCORE 2.2219140932E7
AT ITER 1070 NEW BEST:: SOT 123130969 SOS 80324658 HAS SOPS 65302440 HAS SOUS 22701314 HAS SOUPS 22128236 WITH SCORE 2.2208560658E7
AT ITER 1088 NEW BEST:: SOT 123140645 SOS 80355302 HAS SOPS 65348330 HAS SOUS 22698524 HAS SOUPS 22125446 WITH SCORE 2.2205801302E7
AT ITER 1101 NEW BEST:: SOT 123138017 SOS 80352282 HAS SOPS 65344777 HAS SOUS 22693222 HAS SOUPS 22120154 WITH SCORE 2.2200506282E7
AT ITER 1107 NEW BEST:: SOT 123142327 SOS 80361954 HAS SOPS 65349956 HAS SOUS 22686803 HAS SOUPS 22113735 WITH SCORE 2.2194096954E7
AT ITER 1110 NEW BEST:: SOT 123157711 SOS 80383864 HAS SOPS 65392552 HAS SOUS 22662998 HAS SOUPS 22089715 WITH SCORE 2.2170098864E7
AT ITER 1116 NEW BEST:: SOT 123156113 SOS 80381898 HAS SOPS 65390234 HAS SOUS 22660472 HAS SOUPS 22087189 WITH SCORE 2.2167570898E7
AT ITER 1124 NEW BEST:: SOT 123155806 SOS 80383132 HAS SOPS 65394718 HAS SOUS 22651184 HAS SOUPS 22080018 WITH SCORE 2.2160401132E7
AT ITER 1153 NEW BEST:: SOT 123144763 SOS 80371701 HAS SOPS 65382563 HAS SOUS 22624245 HAS SOUPS 22053079 WITH SCORE 2.2133450701E7
AT ITER 1159 NEW BEST:: SOT 123131746 SOS 80353413 HAS SOPS 65367301 HAS SOUS 22604203 HAS SOUPS 22034135 WITH SCORE 2.2114488413E7
AT ITER 1165 NEW BEST:: SOT 123138896 SOS 80379789 HAS SOPS 65401007 HAS SOUS 22592177 HAS SOUPS 22022109 WITH SCORE 2.2102488789E7
AT ITER 1166 NEW BEST:: SOT 123136701 SOS 80376711 HAS SOPS 65398099 HAS SOUS 22591225 HAS SOUPS 22021157 WITH SCORE 2.2101533711E7
AT ITER 1169 NEW BEST:: SOT 123164981 SOS 80447855 HAS SOPS 65461724 HAS SOUS 22584935 HAS SOUPS 22014867 WITH SCORE 2.2095314855E7
AT ITER 1179 NEW BEST:: SOT 123164655 SOS 80447497 HAS SOPS 65461238 HAS SOUS 22584291 HAS SOUPS 22014223 WITH SCORE 2.2094670497E7
AT ITER 1186 NEW BEST:: SOT 123165826 SOS 80449049 HAS SOPS 65462614 HAS SOUS 22582064 HAS SOUPS 22012188 WITH SCORE 2.2092637049E7
AT ITER 1187 NEW BEST:: SOT 123158530 SOS 80429604 HAS SOPS 65456306 HAS SOUS 22580282 HAS SOUPS 22010406 WITH SCORE 2.2090835604E7
AT ITER 1195 NEW BEST:: SOT 123158750 SOS 80430710 HAS SOPS 65454844 HAS SOUS 22576862 HAS SOUPS 22006986 WITH SCORE 2.208741671E7
AT ITER 1214 NEW BEST:: SOT 123155246 SOS 80425325 HAS SOPS 65449726 HAS SOUS 22576047 HAS SOUPS 22006143 WITH SCORE 2.2086568325E7
AT ITER 1216 NEW BEST:: SOT 123181268 SOS 80460223 HAS SOPS 65472114 HAS SOUS 22572424 HAS SOUPS 22000544 WITH SCORE 2.2081004223E7
AT ITER 1225 NEW BEST:: SOT 123178957 SOS 80478671 HAS SOPS 65485520 HAS SOUS 22529186 HAS SOUPS 21957306 WITH SCORE 2.2037784671E7
AT ITER 1233 NEW BEST:: SOT 123178748 SOS 80479348 HAS SOPS 65484048 HAS SOUS 22528109 HAS SOUPS 21956210 WITH SCORE 2.2036689348E7
AT ITER 1238 NEW BEST:: SOT 123142414 SOS 80440262 HAS SOPS 65442402 HAS SOUS 22486300 HAS SOUPS 21914401 WITH SCORE 2.1994841262E7
AT ITER 1242 NEW BEST:: SOT 123136853 SOS 80439941 HAS SOPS 65459942 HAS SOUS 22484390 HAS SOUPS 21912491 WITH SCORE 2.1992930941E7
AT ITER 1248 NEW BEST:: SOT 123154813 SOS 80460643 HAS SOPS 65485375 HAS SOUS 22482821 HAS SOUPS 21911136 WITH SCORE 2.1991596643E7
AT ITER 1278 NEW BEST:: SOT 123143226 SOS 80448161 HAS SOPS 65469319 HAS SOUS 22459211 HAS SOUPS 21887586 WITH SCORE 2.1968034161E7
AT ITER 1280 NEW BEST:: SOT 123144260 SOS 80450945 HAS SOPS 65472865 HAS SOUS 22457382 HAS SOUPS 21885757 WITH SCORE 2.1966207945E7
AT ITER 1288 NEW BEST:: SOT 123144083 SOS 80451421 HAS SOPS 65465558 HAS SOUS 22446014 HAS SOUPS 21874258 WITH SCORE 2.1954709421E7
AT ITER 1292 NEW BEST:: SOT 123147963 SOS 80463272 HAS SOPS 65471637 HAS SOUS 22434100 HAS SOUPS 21862344 WITH SCORE 2.1942807272E7
AT ITER 1293 NEW BEST:: SOT 123142587 SOS 80456619 HAS SOPS 65466776 HAS SOUS 22420895 HAS SOUPS 21849211 WITH SCORE 2.1929667619E7
AT ITER 1316 NEW BEST:: SOT 123142980 SOS 80465710 HAS SOPS 65466276 HAS SOUS 22398310 HAS SOUPS 21826802 WITH SCORE 2.190726771E7
AT ITER 1366 NEW BEST:: SOT 123142980 SOS 80466334 HAS SOPS 65468820 HAS SOUS 22398300 HAS SOUPS 21826792 WITH SCORE 2.1907258334E7
AT ITER 1368 NEW BEST:: SOT 123142377 SOS 80465872 HAS SOPS 65470622 HAS SOUS 22397503 HAS SOUPS 21825995 WITH SCORE 2.1906460872E7
AT ITER 1381 NEW BEST:: SOT 123150358 SOS 80494533 HAS SOPS 65494602 HAS SOUS 22371142 HAS SOUPS 21799634 WITH SCORE 2.1880128533E7
AT ITER 1382 NEW BEST:: SOT 123141675 SOS 80477344 HAS SOPS 65480952 HAS SOUS 22362297 HAS SOUPS 21790900 WITH SCORE 2.1871377344E7
AT ITER 1386 NEW BEST:: SOT 123141551 SOS 80477222 HAS SOPS 65480832 HAS SOUS 22362043 HAS SOUPS 21790648 WITH SCORE 2.1871125222E7
AT ITER 1431 NEW BEST:: SOT 123142265 SOS 80481878 HAS SOPS 65482706 HAS SOUS 22356896 HAS SOUPS 21785460 WITH SCORE 2.1865941878E7
AT ITER 1442 NEW BEST:: SOT 123159503 SOS 80546233 HAS SOPS 65565315 HAS SOUS 22349092 HAS SOUPS 21777656 WITH SCORE 2.1858202233E7
AT ITER 1443 NEW BEST:: SOT 123153088 SOS 80534120 HAS SOPS 65566880 HAS SOUS 22330841 HAS SOUPS 21759621 WITH SCORE 2.184015512E7
AT ITER 1464 NEW BEST:: SOT 123131194 SOS 80470609 HAS SOPS 65530036 HAS SOUS 22326401 HAS SOUPS 21755181 WITH SCORE 2.1835651609E7
AT ITER 1481 NEW BEST:: SOT 123131948 SOS 80481760 HAS SOPS 65537652 HAS SOUS 22312807 HAS SOUPS 21741587 WITH SCORE 2.182206876E7
AT ITER 1490 NEW BEST:: SOT 123128197 SOS 80477894 HAS SOPS 65533786 HAS SOUS 22310527 HAS SOUPS 21739307 WITH SCORE 2.1819784894E7
AT ITER 1496 NEW BEST:: SOT 123139107 SOS 80495170 HAS SOPS 65539607 HAS SOUS 22240904 HAS SOUPS 21669939 WITH SCORE 2.175043417E7
AT ITER 1499 NEW BEST:: SOT 123122465 SOS 80472929 HAS SOPS 65510697 HAS SOUS 22207809 HAS SOUPS 21636844 WITH SCORE 2.1717316929E7
AT ITER 1507 NEW BEST:: SOT 123124855 SOS 80479040 HAS SOPS 65521633 HAS SOUS 22182826 HAS SOUPS 21612431 WITH SCORE 2.169291004E7
AT ITER 1520 NEW BEST:: SOT 123118013 SOS 80468127 HAS SOPS 65511398 HAS SOUS 22174627 HAS SOUPS 21604296 WITH SCORE 2.1684764127E7
AT ITER 1539 NEW BEST:: SOT 123118013 SOS 80469263 HAS SOPS 65512934 HAS SOUS 22174563 HAS SOUPS 21604232 WITH SCORE 2.1684701263E7
AT ITER 1551 NEW BEST:: SOT 123114931 SOS 80467112 HAS SOPS 65514552 HAS SOUS 22165612 HAS SOUPS 21595208 WITH SCORE 2.1675675112E7
AT ITER 1554 NEW BEST:: SOT 123114345 SOS 80463192 HAS SOPS 65524062 HAS SOUS 22164184 HAS SOUPS 21593887 WITH SCORE 2.1674350192E7
AT ITER 1556 NEW BEST:: SOT 123111321 SOS 80459964 HAS SOPS 65520937 HAS SOUS 22156032 HAS SOUPS 21586203 WITH SCORE 2.1666662964E7
AT ITER 1564 NEW BEST:: SOT 123116420 SOS 80474331 HAS SOPS 65530192 HAS SOUS 22155634 HAS SOUPS 21585996 WITH SCORE 2.1666470331E7
AT ITER 1566 NEW BEST:: SOT 123116722 SOS 80489141 HAS SOPS 65546714 HAS SOUS 22155476 HAS SOUPS 21585838 WITH SCORE 2.1666327141E7
AT ITER 1570 NEW BEST:: SOT 123111096 SOS 80480641 HAS SOPS 65537371 HAS SOUS 22144622 HAS SOUPS 21575022 WITH SCORE 2.1655502641E7
AT ITER 1572 NEW BEST:: SOT 123107854 SOS 80478785 HAS SOPS 65537433 HAS SOUS 22139176 HAS SOUPS 21569680 WITH SCORE 2.1650158785E7
AT ITER 1588 NEW BEST:: SOT 123074524 SOS 80440196 HAS SOPS 65501089 HAS SOUS 22104275 HAS SOUPS 21534890 WITH SCORE 2.1615330196E7
AT ITER 1600 NEW BEST:: SOT 123056552 SOS 80422952 HAS SOPS 65479269 HAS SOUS 22097215 HAS SOUPS 21527642 WITH SCORE 2.1608064952E7
AT ITER 1601 NEW BEST:: SOT 123056151 SOS 80418810 HAS SOPS 65478247 HAS SOUS 22096826 HAS SOUPS 21527253 WITH SCORE 2.160767181E7
AT ITER 1617 NEW BEST:: SOT 123059302 SOS 80433363 HAS SOPS 65486035 HAS SOUS 22095708 HAS SOUPS 21525792 WITH SCORE 2.1606225363E7
AT ITER 1645 NEW BEST:: SOT 123055262 SOS 80429123 HAS SOPS 65480295 HAS SOUS 22087588 HAS SOUPS 21517692 WITH SCORE 2.1598121123E7
AT ITER 1677 NEW BEST:: SOT 123046594 SOS 80406953 HAS SOPS 65472354 HAS SOUS 22080754 HAS SOUPS 21511022 WITH SCORE 2.1591428953E7
AT ITER 1681 NEW BEST:: SOT 123045873 SOS 80406485 HAS SOPS 65471854 HAS SOUS 22080372 HAS SOUPS 21510624 WITH SCORE 2.1591030485E7
AT ITER 1692 NEW BEST:: SOT 123046174 SOS 80408124 HAS SOPS 65470245 HAS SOUS 22079585 HAS SOUPS 21509794 WITH SCORE 2.1590202124E7
AT ITER 1694 NEW BEST:: SOT 123036590 SOS 80394801 HAS SOPS 65472269 HAS SOUS 22050232 HAS SOUPS 21480542 WITH SCORE 2.1560936801E7
AT ITER 1724 NEW BEST:: SOT 123047575 SOS 80415321 HAS SOPS 65496162 HAS SOUS 22048801 HAS SOUPS 21479207 WITH SCORE 2.1559622321E7
AT ITER 1729 NEW BEST:: SOT 123047671 SOS 80415741 HAS SOPS 65496234 HAS SOUS 22048345 HAS SOUPS 21478751 WITH SCORE 2.1559166741E7
AT ITER 1730 NEW BEST:: SOT 123078549 SOS 80479873 HAS SOPS 65547729 HAS SOUS 22042249 HAS SOUPS 21472655 WITH SCORE 2.1553134873E7
AT ITER 1731 NEW BEST:: SOT 123073591 SOS 80469061 HAS SOPS 65529033 HAS SOUS 22025699 HAS SOUPS 21456105 WITH SCORE 2.1536574061E7
AT ITER 1749 NEW BEST:: SOT 123076857 SOS 80481694 HAS SOPS 65537537 HAS SOUS 22021161 HAS SOUPS 21451567 WITH SCORE 2.1532048694E7
AT ITER 1754 NEW BEST:: SOT 123077673 SOS 80482773 HAS SOPS 65536211 HAS SOUS 22017029 HAS SOUPS 21447435 WITH SCORE 2.1527917773E7
AT ITER 1774 NEW BEST:: SOT 123082588 SOS 80489426 HAS SOPS 65543444 HAS SOUS 22011144 HAS SOUPS 21441550 WITH SCORE 2.1522039426E7
AT ITER 1778 NEW BEST:: SOT 123063730 SOS 80441015 HAS SOPS 65507065 HAS SOUS 22010244 HAS SOUPS 21440650 WITH SCORE 2.1521091015E7
AT ITER 1784 NEW BEST:: SOT 123040955 SOS 80388518 HAS SOPS 65458960 HAS SOUS 21997810 HAS SOUPS 21428216 WITH SCORE 2.1508604518E7
AT ITER 1787 NEW BEST:: SOT 123035324 SOS 80381594 HAS SOPS 65447720 HAS SOUS 21987464 HAS SOUPS 21417870 WITH SCORE 2.1498251594E7
AT ITER 1791 NEW BEST:: SOT 123006214 SOS 80359281 HAS SOPS 65430649 HAS SOUS 21955420 HAS SOUPS 21385826 WITH SCORE 2.1466185281E7
AT ITER 1798 NEW BEST:: SOT 123000904 SOS 80347850 HAS SOPS 65422262 HAS SOUS 21949821 HAS SOUPS 21380227 WITH SCORE 2.146057485E7
AT ITER 1809 NEW BEST:: SOT 122990390 SOS 80336907 HAS SOPS 65411792 HAS SOUS 21921628 HAS SOUPS 21352034 WITH SCORE 2.1432370907E7
AT ITER 1811 NEW BEST:: SOT 122991161 SOS 80355146 HAS SOPS 65431993 HAS SOUS 21920689 HAS SOUPS 21351178 WITH SCORE 2.1431533146E7
AT ITER 1819 NEW BEST:: SOT 122992959 SOS 80362970 HAS SOPS 65439031 HAS SOUS 21917053 HAS SOUPS 21347542 WITH SCORE 2.142790497E7
AT ITER 1824 NEW BEST:: SOT 122984261 SOS 80349410 HAS SOPS 65425117 HAS SOUS 21903293 HAS SOUPS 21335115 WITH SCORE 2.141546441E7
AT ITER 1836 NEW BEST:: SOT 122984291 SOS 80356964 HAS SOPS 65431631 HAS SOUS 21903086 HAS SOUPS 21334908 WITH SCORE 2.1415264964E7
AT ITER 1845 NEW BEST:: SOT 122964968 SOS 80280148 HAS SOPS 65454338 HAS SOUS 21891505 HAS SOUPS 21323327 WITH SCORE 2.1403607148E7
AT ITER 1851 NEW BEST:: SOT 122964247 SOS 80281779 HAS SOPS 65461281 HAS SOUS 21891280 HAS SOUPS 21323102 WITH SCORE 2.1403383779E7
AT ITER 1855 NEW BEST:: SOT 122957009 SOS 80270391 HAS SOPS 65446032 HAS SOUS 21872553 HAS SOUPS 21304375 WITH SCORE 2.1384645391E7
AT ITER 1862 NEW BEST:: SOT 122956285 SOS 80269997 HAS SOPS 65444901 HAS SOUS 21871330 HAS SOUPS 21303152 WITH SCORE 2.1383421997E7
AT ITER 1871 NEW BEST:: SOT 122956285 SOS 80269430 HAS SOPS 65444670 HAS SOUS 21871330 HAS SOUPS 21303152 WITH SCORE 2.138342143E7
AT ITER 1872 NEW BEST:: SOT 122942108 SOS 80240213 HAS SOPS 65408408 HAS SOUS 21871335 HAS SOUPS 21303157 WITH SCORE 2.1383397213E7
AT ITER 1879 NEW BEST:: SOT 122976341 SOS 80293331 HAS SOPS 65458283 HAS SOUS 21857859 HAS SOUPS 21289511 WITH SCORE 2.1369804331E7
AT ITER 1886 NEW BEST:: SOT 122978317 SOS 80297751 HAS SOPS 65460940 HAS SOUS 21847818 HAS SOUPS 21279469 WITH SCORE 2.1359766751E7
AT ITER 1888 NEW BEST:: SOT 122967762 SOS 80273174 HAS SOPS 65446573 HAS SOUS 21846757 HAS SOUPS 21278519 WITH SCORE 2.1358792174E7
AT ITER 1895 NEW BEST:: SOT 122966214 SOS 80267999 HAS SOPS 65441743 HAS SOUS 21846138 HAS SOUPS 21277900 WITH SCORE 2.1358167999E7
AT ITER 1900 NEW BEST:: SOT 122976215 SOS 80299073 HAS SOPS 65481630 HAS SOUS 21824445 HAS SOUPS 21256207 WITH SCORE 2.1336506073E7
AT ITER 1903 NEW BEST:: SOT 122976022 SOS 80300412 HAS SOPS 65481557 HAS SOUS 21823550 HAS SOUPS 21255295 WITH SCORE 2.1335595412E7
AT ITER 1921 NEW BEST:: SOT 123052825 SOS 80323553 HAS SOPS 65509469 HAS SOUS 21818032 HAS SOUPS 21250012 WITH SCORE 2.1330335553E7
AT ITER 1922 NEW BEST:: SOT 123052986 SOS 80324444 HAS SOPS 65508939 HAS SOUS 21816167 HAS SOUPS 21248147 WITH SCORE 2.1328471444E7
AT ITER 1923 NEW BEST:: SOT 123037540 SOS 80304341 HAS SOPS 65489193 HAS SOUS 21791558 HAS SOUPS 21223426 WITH SCORE 2.1303730341E7
AT ITER 1929 NEW BEST:: SOT 123041795 SOS 80313454 HAS SOPS 65496326 HAS SOUS 21790521 HAS SOUPS 21222389 WITH SCORE 2.1302702454E7
AT ITER 1965 NEW BEST:: SOT 123041336 SOS 80312276 HAS SOPS 65497191 HAS SOUS 21789329 HAS SOUPS 21221250 WITH SCORE 2.1301562276E7
AT ITER 1967 NEW BEST:: SOT 123042648 SOS 80314100 HAS SOPS 65501540 HAS SOUS 21788225 HAS SOUPS 21220900 WITH SCORE 2.13012141E7
AT ITER 1971 NEW BEST:: SOT 123042667 SOS 80314051 HAS SOPS 65501487 HAS SOUS 21788223 HAS SOUPS 21220898 WITH SCORE 2.1301212051E7
AT ITER 1972 NEW BEST:: SOT 123036401 SOS 80303935 HAS SOPS 65490407 HAS SOUS 21780122 HAS SOUPS 21213021 WITH SCORE 2.1293324935E7
AT ITER 1994 NEW BEST:: SOT 123030498 SOS 80298176 HAS SOPS 65484611 HAS SOUS 21778255 HAS SOUPS 21211154 WITH SCORE 2.1291452176E7
AT ITER 1995 NEW BEST:: SOT 123021359 SOS 80282200 HAS SOPS 65486340 HAS SOUS 21768715 HAS SOUPS 21201924 WITH SCORE 2.12822062E7
AT ITER 2026 NEW BEST:: SOT 123017952 SOS 80278763 HAS SOPS 65482327 HAS SOUS 21765926 HAS SOUPS 21199135 WITH SCORE 2.1279413763E7
AT ITER 2028 NEW BEST:: SOT 123035192 SOS 80299976 HAS SOPS 65499420 HAS SOUS 21764452 HAS SOUPS 21197661 WITH SCORE 2.1277960976E7
AT ITER 2033 NEW BEST:: SOT 123015619 SOS 80273801 HAS SOPS 65479996 HAS SOUS 21741134 HAS SOUPS 21174703 WITH SCORE 2.1254976801E7
AT ITER 2059 NEW BEST:: SOT 123031727 SOS 80320129 HAS SOPS 65519805 HAS SOUS 21730107 HAS SOUPS 21163676 WITH SCORE 2.1243996129E7
AT ITER 2067 NEW BEST:: SOT 123053263 SOS 80362558 HAS SOPS 65559686 HAS SOUS 21729325 HAS SOUPS 21162894 WITH SCORE 2.1243256558E7
AT ITER 2077 NEW BEST:: SOT 123044347 SOS 80353353 HAS SOPS 65547595 HAS SOUS 21713965 HAS SOUPS 21145626 WITH SCORE 2.1225979353E7
AT ITER 2082 NEW BEST:: SOT 123027630 SOS 80335890 HAS SOPS 65529598 HAS SOUS 21682939 HAS SOUPS 21114486 WITH SCORE 2.119482189E7
AT ITER 2087 NEW BEST:: SOT 123027614 SOS 80335850 HAS SOPS 65529616 HAS SOUS 21682915 HAS SOUPS 21114462 WITH SCORE 2.119479785E7
AT ITER 2094 NEW BEST:: SOT 123010972 SOS 80330740 HAS SOPS 65533855 HAS SOUS 21670925 HAS SOUPS 21102472 WITH SCORE 2.118280274E7
AT ITER 2117 NEW BEST:: SOT 123015339 SOS 80347556 HAS SOPS 65552453 HAS SOUS 21654078 HAS SOUPS 21085625 WITH SCORE 2.1165972556E7
AT ITER 2126 NEW BEST:: SOT 123005726 SOS 80337951 HAS SOPS 65539128 HAS SOUS 21644130 HAS SOUPS 21075436 WITH SCORE 2.1155773951E7
AT ITER 2129 NEW BEST:: SOT 122999407 SOS 80327778 HAS SOPS 65531648 HAS SOUS 21622145 HAS SOUPS 21055063 WITH SCORE 2.1135390778E7
AT ITER 2132 NEW BEST:: SOT 122999422 SOS 80328401 HAS SOPS 65531823 HAS SOUS 21622101 HAS SOUPS 21055019 WITH SCORE 2.1135347401E7
AT ITER 2149 NEW BEST:: SOT 122999484 SOS 80342360 HAS SOPS 65545782 HAS SOUS 21621556 HAS SOUPS 21054474 WITH SCORE 2.113481636E7
AT ITER 2153 NEW BEST:: SOT 123000004 SOS 80344046 HAS SOPS 65546406 HAS SOUS 21620467 HAS SOUPS 21053385 WITH SCORE 2.1133729046E7
AT ITER 2163 NEW BEST:: SOT 122980286 SOS 80322721 HAS SOPS 65524537 HAS SOUS 21597777 HAS SOUPS 21030695 WITH SCORE 2.1111017721E7
AT ITER 2192 NEW BEST:: SOT 122980163 SOS 80330519 HAS SOPS 65550547 HAS SOUS 21597348 HAS SOUPS 21030266 WITH SCORE 2.1110596519E7
AT ITER 2234 NEW BEST:: SOT 122987307 SOS 80350541 HAS SOPS 65562141 HAS SOUS 21581881 HAS SOUPS 21014799 WITH SCORE 2.1095149541E7
AT ITER 2237 NEW BEST:: SOT 122996059 SOS 80368940 HAS SOPS 65578860 HAS SOUS 21575133 HAS SOUPS 21008145 WITH SCORE 2.108851394E7
AT ITER 2250 NEW BEST:: SOT 122997810 SOS 80391891 HAS SOPS 65604967 HAS SOUS 21574740 HAS SOUPS 21007752 WITH SCORE 2.1088143891E7
AT ITER 2274 NEW BEST:: SOT 123001415 SOS 80392201 HAS SOPS 65605691 HAS SOUS 21572546 HAS SOUPS 21005610 WITH SCORE 2.1086002201E7
AT ITER 2281 NEW BEST:: SOT 122995758 SOS 80381097 HAS SOPS 65603361 HAS SOUS 21548687 HAS SOUPS 20982116 WITH SCORE 2.1062497097E7
AT ITER 2282 NEW BEST:: SOT 123008052 SOS 80404500 HAS SOPS 65631072 HAS SOUS 21544676 HAS SOUPS 20978426 WITH SCORE 2.10588305E7
AT ITER 2292 NEW BEST:: SOT 123007051 SOS 80403521 HAS SOPS 65633719 HAS SOUS 21538635 HAS SOUPS 20972385 WITH SCORE 2.1052788521E7
AT ITER 2294 NEW BEST:: SOT 123019772 SOS 80431814 HAS SOPS 65662586 HAS SOUS 21537537 HAS SOUPS 20971116 WITH SCORE 2.1051547814E7
AT ITER 2295 NEW BEST:: SOT 123029698 SOS 80447298 HAS SOPS 65679002 HAS SOUS 21526708 HAS SOUPS 20960247 WITH SCORE 2.1040694298E7
AT ITER 2325 NEW BEST:: SOT 123029740 SOS 80447409 HAS SOPS 65678939 HAS SOUS 21526656 HAS SOUPS 20960198 WITH SCORE 2.1040645409E7
AT ITER 2356 NEW BEST:: SOT 123039841 SOS 80462357 HAS SOPS 65685246 HAS SOUS 21524714 HAS SOUPS 20958256 WITH SCORE 2.1038718357E7
AT ITER 2359 NEW BEST:: SOT 123024288 SOS 80454435 HAS SOPS 65674733 HAS SOUS 21496544 HAS SOUPS 20930086 WITH SCORE 2.1010540435E7
AT ITER 2361 NEW BEST:: SOT 123031268 SOS 80462577 HAS SOPS 65667461 HAS SOUS 21481547 HAS SOUPS 20915089 WITH SCORE 2.0995551577E7
AT ITER 2363 NEW BEST:: SOT 123031283 SOS 80466822 HAS SOPS 65670275 HAS SOUS 21479288 HAS SOUPS 20912830 WITH SCORE 2.0993296822E7
AT ITER 2370 NEW BEST:: SOT 123046213 SOS 80512129 HAS SOPS 65689415 HAS SOUS 21460412 HAS SOUPS 20893954 WITH SCORE 2.0974466129E7
AT ITER 2380 NEW BEST:: SOT 123045673 SOS 80509975 HAS SOPS 65688651 HAS SOUS 21459024 HAS SOUPS 20892602 WITH SCORE 2.0973111975E7
AT ITER 2384 NEW BEST:: SOT 123010291 SOS 80443495 HAS SOPS 65668550 HAS SOUS 21453127 HAS SOUPS 20886705 WITH SCORE 2.0967148495E7
AT ITER 2387 NEW BEST:: SOT 123010855 SOS 80445570 HAS SOPS 65669418 HAS SOUS 21452792 HAS SOUPS 20886370 WITH SCORE 2.096681557E7
AT ITER 2416 NEW BEST:: SOT 123015998 SOS 80459627 HAS SOPS 65686406 HAS SOUS 21444259 HAS SOUPS 20877837 WITH SCORE 2.0958296627E7
AT ITER 2418 NEW BEST:: SOT 123014577 SOS 80463334 HAS SOPS 65690972 HAS SOUS 21437272 HAS SOUPS 20870850 WITH SCORE 2.0951313334E7
AT ITER 2420 NEW BEST:: SOT 122995011 SOS 80443622 HAS SOPS 65670389 HAS SOUS 21419595 HAS SOUPS 20853231 WITH SCORE 2.0933674622E7
AT ITER 2424 NEW BEST:: SOT 123009626 SOS 80467500 HAS SOPS 65675835 HAS SOUS 21418633 HAS SOUPS 20852049 WITH SCORE 2.09325165E7
AT ITER 2456 NEW BEST:: SOT 123001428 SOS 80437320 HAS SOPS 65647473 HAS SOUS 21410317 HAS SOUPS 20843733 WITH SCORE 2.092417032E7
AT ITER 2467 NEW BEST:: SOT 122985915 SOS 80408523 HAS SOPS 65624534 HAS SOUS 21397374 HAS SOUPS 20830877 WITH SCORE 2.0911285523E7
AT ITER 2468 NEW BEST:: SOT 123002822 SOS 80453211 HAS SOPS 65655296 HAS SOUS 21372634 HAS SOUPS 20804503 WITH SCORE 2.0884956211E7
AT ITER 2485 NEW BEST:: SOT 123000577 SOS 80445773 HAS SOPS 65652061 HAS SOUS 21372206 HAS SOUPS 20804188 WITH SCORE 2.0884633773E7
AT ITER 2494 NEW BEST:: SOT 123017378 SOS 80489928 HAS SOPS 65698058 HAS SOUS 21355723 HAS SOUPS 20787705 WITH SCORE 2.0868194928E7
AT ITER 2501 NEW BEST:: SOT 123025438 SOS 80502609 HAS SOPS 65715929 HAS SOUS 21344811 HAS SOUPS 20776793 WITH SCORE 2.0857295609E7
AT ITER 2505 NEW BEST:: SOT 123025438 SOS 80510001 HAS SOPS 65721081 HAS SOUS 21344762 HAS SOUPS 20776744 WITH SCORE 2.0857254001E7
AT ITER 2508 NEW BEST:: SOT 123021267 SOS 80504120 HAS SOPS 65711984 HAS SOUS 21333384 HAS SOUPS 20765576 WITH SCORE 2.084608012E7
AT ITER 2516 NEW BEST:: SOT 123021240 SOS 80504069 HAS SOPS 65712023 HAS SOUS 21333324 HAS SOUPS 20765516 WITH SCORE 2.0846020069E7
AT ITER 2521 NEW BEST:: SOT 123034259 SOS 80513352 HAS SOPS 65713686 HAS SOUS 21312520 HAS SOUPS 20744746 WITH SCORE 2.0825259352E7
AT ITER 2561 NEW BEST:: SOT 123033826 SOS 80512628 HAS SOPS 65712832 HAS SOUS 21311694 HAS SOUPS 20743920 WITH SCORE 2.0824432628E7
AT ITER 2566 NEW BEST:: SOT 123033938 SOS 80512312 HAS SOPS 65713788 HAS SOUS 21305601 HAS SOUPS 20737827 WITH SCORE 2.0818339312E7
AT ITER 2568 NEW BEST:: SOT 123039844 SOS 80533640 HAS SOPS 65715525 HAS SOUS 21282456 HAS SOUPS 20714682 WITH SCORE 2.079521564E7
AT ITER 2569 NEW BEST:: SOT 123036773 SOS 80530056 HAS SOPS 65712487 HAS SOUS 21280448 HAS SOUPS 20712674 WITH SCORE 2.0793204056E7
AT ITER 2583 NEW BEST:: SOT 123035999 SOS 80525874 HAS SOPS 65708022 HAS SOUS 21279013 HAS SOUPS 20711239 WITH SCORE 2.0791764874E7
AT ITER 2586 NEW BEST:: SOT 123035726 SOS 80525793 HAS SOPS 65707659 HAS SOUS 21277873 HAS SOUPS 20710099 WITH SCORE 2.0790624793E7
AT ITER 2594 NEW BEST:: SOT 123035726 SOS 80528417 HAS SOPS 65710731 HAS SOUS 21277801 HAS SOUPS 20710027 WITH SCORE 2.0790555417E7
AT ITER 2596 NEW BEST:: SOT 123029694 SOS 80520571 HAS SOPS 65699576 HAS SOUS 21254391 HAS SOUPS 20686829 WITH SCORE 2.0767349571E7
AT ITER 2602 NEW BEST:: SOT 123022107 SOS 80511155 HAS SOPS 65693117 HAS SOUS 21227377 HAS SOUPS 20659811 WITH SCORE 2.0740322155E7
AT ITER 2632 NEW BEST:: SOT 123021254 SOS 80519528 HAS SOPS 65697480 HAS SOUS 21197519 HAS SOUPS 20629953 WITH SCORE 2.0710472528E7
AT ITER 2635 NEW BEST:: SOT 123024326 SOS 80526191 HAS SOPS 65700640 HAS SOUS 21193765 HAS SOUPS 20626199 WITH SCORE 2.0706725191E7
AT ITER 2689 NEW BEST:: SOT 123025056 SOS 80533938 HAS SOPS 65706951 HAS SOUS 21189386 HAS SOUPS 20621953 WITH SCORE 2.0702486938E7
AT ITER 2714 NEW BEST:: SOT 123024793 SOS 80533342 HAS SOPS 65705548 HAS SOUS 21188347 HAS SOUPS 20620914 WITH SCORE 2.0701447342E7
AT ITER 2720 NEW BEST:: SOT 123018166 SOS 80530489 HAS SOPS 65697082 HAS SOUS 21155081 HAS SOUPS 20588198 WITH SCORE 2.0668728489E7
AT ITER 2725 NEW BEST:: SOT 123017950 SOS 80530123 HAS SOPS 65696683 HAS SOUS 21154802 HAS SOUPS 20587919 WITH SCORE 2.0668449123E7
AT ITER 2737 NEW BEST:: SOT 123026540 SOS 80569238 HAS SOPS 65728905 HAS SOUS 21096294 HAS SOUPS 20528324 WITH SCORE 2.0608893238E7
AT ITER 2740 NEW BEST:: SOT 122992485 SOS 80518040 HAS SOPS 65670614 HAS SOUS 21048418 HAS SOUPS 20480448 WITH SCORE 2.056096604E7
AT ITER 2756 NEW BEST:: SOT 122992346 SOS 80517801 HAS SOPS 65670398 HAS SOUS 21048324 HAS SOUPS 20480355 WITH SCORE 2.0560872801E7
AT ITER 2757 NEW BEST:: SOT 122992307 SOS 80517311 HAS SOPS 65670160 HAS SOUS 21048190 HAS SOUPS 20480242 WITH SCORE 2.0560759311E7
AT ITER 2759 NEW BEST:: SOT 122992307 SOS 80521455 HAS SOPS 65675232 HAS SOUS 21048100 HAS SOUPS 20480152 WITH SCORE 2.0560673455E7
AT ITER 2766 NEW BEST:: SOT 122988889 SOS 80518421 HAS SOPS 65672166 HAS SOUS 21040908 HAS SOUPS 20472928 WITH SCORE 2.0553446421E7
AT ITER 2783 NEW BEST:: SOT 122982690 SOS 80505005 HAS SOPS 65656618 HAS SOUS 21038519 HAS SOUPS 20470591 WITH SCORE 2.0551096005E7
AT ITER 2846 NEW BEST:: SOT 122982690 SOS 80505464 HAS SOPS 65657998 HAS SOUS 21038420 HAS SOUPS 20470492 WITH SCORE 2.0550997464E7
AT ITER 2863 NEW BEST:: SOT 122987125 SOS 80514521 HAS SOPS 65662619 HAS SOUS 21035342 HAS SOUPS 20467414 WITH SCORE 2.0547928521E7
AT ITER 2893 NEW BEST:: SOT 122971153 SOS 80492813 HAS SOPS 65660120 HAS SOUS 20987051 HAS SOUPS 20419367 WITH SCORE 2.0499859813E7
AT ITER 2895 NEW BEST:: SOT 122957359 SOS 80480798 HAS SOPS 65643962 HAS SOUS 20954361 HAS SOUPS 20386677 WITH SCORE 2.0467157798E7
AT ITER 2906 NEW BEST:: SOT 122957453 SOS 80478922 HAS SOPS 65641798 HAS SOUS 20952452 HAS SOUPS 20384768 WITH SCORE 2.0465246922E7
AT ITER 2930 NEW BEST:: SOT 122944674 SOS 80462224 HAS SOPS 65628657 HAS SOUS 20946259 HAS SOUPS 20378690 WITH SCORE 2.0459152224E7
AT ITER 2934 NEW BEST:: SOT 122944674 SOS 80457808 HAS SOPS 65616817 HAS SOUS 20946203 HAS SOUPS 20378634 WITH SCORE 2.0459091808E7
AT ITER 2940 NEW BEST:: SOT 122937540 SOS 80452167 HAS SOPS 65616937 HAS SOUS 20941647 HAS SOUPS 20374078 WITH SCORE 2.0454530167E7
AT ITER 2964 NEW BEST:: SOT 122937087 SOS 80443305 HAS SOPS 65612694 HAS SOUS 20941653 HAS SOUPS 20374084 WITH SCORE 2.0454527305E7
AT ITER 2995 NEW BEST:: SOT 122937027 SOS 80443156 HAS SOPS 65612616 HAS SOUS 20941420 HAS SOUPS 20373851 WITH SCORE 2.0454294156E7
AT ITER 2996 NEW BEST:: SOT 122935818 SOS 80441692 HAS SOPS 65611462 HAS SOUS 20938067 HAS SOUPS 20370498 WITH SCORE 2.0450939692E7
AT ITER 3002 NEW BEST:: SOT 122914273 SOS 80407960 HAS SOPS 65584853 HAS SOUS 20900269 HAS SOUPS 20332700 WITH SCORE 2.041310796E7
AT ITER 3030 NEW BEST:: SOT 122907453 SOS 80403421 HAS SOPS 65577265 HAS SOUS 20898333 HAS SOUPS 20330764 WITH SCORE 2.0411167421E7
AT ITER 3036 NEW BEST:: SOT 122907836 SOS 80408619 HAS SOPS 65574356 HAS SOUS 20863003 HAS SOUPS 20295604 WITH SCORE 2.0376012619E7
AT ITER 3037 NEW BEST:: SOT 122907479 SOS 80409322 HAS SOPS 65571808 HAS SOUS 20861164 HAS SOUPS 20291161 WITH SCORE 2.0371570322E7
AT ITER 3077 NEW BEST:: SOT 122916575 SOS 80434614 HAS SOPS 65595000 HAS SOUS 20855695 HAS SOUPS 20285692 WITH SCORE 2.0366126614E7
AT ITER 3093 NEW BEST:: SOT 122866885 SOS 80377235 HAS SOPS 65531198 HAS SOUS 20799945 HAS SOUPS 20229552 WITH SCORE 2.0309929235E7
AT ITER 3101 NEW BEST:: SOT 122866871 SOS 80378617 HAS SOPS 65531502 HAS SOUS 20798375 HAS SOUPS 20227982 WITH SCORE 2.0308360617E7
AT ITER 3112 NEW BEST:: SOT 122864677 SOS 80374668 HAS SOPS 65523299 HAS SOUS 20786709 HAS SOUPS 20217166 WITH SCORE 2.0297540668E7
AT ITER 3124 NEW BEST:: SOT 122855431 SOS 80355047 HAS SOPS 65509195 HAS SOUS 20781407 HAS SOUPS 20211864 WITH SCORE 2.0292219047E7
AT ITER 3129 NEW BEST:: SOT 122855342 SOS 80359057 HAS SOPS 65519336 HAS SOUS 20781036 HAS SOUPS 20211493 WITH SCORE 2.0291852057E7
AT ITER 3133 NEW BEST:: SOT 122890465 SOS 80418792 HAS SOPS 65558933 HAS SOUS 20767892 HAS SOUPS 20198234 WITH SCORE 2.0278652792E7
AT ITER 3138 NEW BEST:: SOT 122893691 SOS 80423756 HAS SOPS 65560399 HAS SOUS 20767473 HAS SOUPS 20197815 WITH SCORE 2.0278238756E7
AT ITER 3141 NEW BEST:: SOT 122886289 SOS 80414219 HAS SOPS 65554755 HAS SOUS 20762310 HAS SOUPS 20192691 WITH SCORE 2.0273105219E7
AT ITER 3174 NEW BEST:: SOT 122863185 SOS 80389394 HAS SOPS 65521241 HAS SOUS 20704087 HAS SOUPS 20134468 WITH SCORE 2.0214857394E7
AT ITER 3176 NEW BEST:: SOT 122863185 SOS 80389263 HAS SOPS 65521100 HAS SOUS 20704047 HAS SOUPS 20134428 WITH SCORE 2.0214817263E7
AT ITER 3180 NEW BEST:: SOT 122863117 SOS 80387409 HAS SOPS 65522250 HAS SOUS 20703857 HAS SOUPS 20134238 WITH SCORE 2.0214625409E7
AT ITER 3185 NEW BEST:: SOT 122870990 SOS 80399405 HAS SOPS 65538966 HAS SOUS 20697206 HAS SOUPS 20127587 WITH SCORE 2.0207986405E7
AT ITER 3196 NEW BEST:: SOT 122869242 SOS 80396617 HAS SOPS 65537169 HAS SOUS 20696425 HAS SOUPS 20126821 WITH SCORE 2.0207217617E7
AT ITER 3198 NEW BEST:: SOT 122875364 SOS 80402432 HAS SOPS 65554035 HAS SOUS 20681847 HAS SOUPS 20112243 WITH SCORE 2.0192645432E7
AT ITER 3216 NEW BEST:: SOT 122813178 SOS 80305890 HAS SOPS 65465033 HAS SOUS 20665903 HAS SOUPS 20096636 WITH SCORE 2.017694189E7
AT ITER 3227 NEW BEST:: SOT 122805669 SOS 80297673 HAS SOPS 65458717 HAS SOUS 20649401 HAS SOUPS 20080320 WITH SCORE 2.0160617673E7
AT ITER 3239 NEW BEST:: SOT 122801364 SOS 80294981 HAS SOPS 65454241 HAS SOUS 20635871 HAS SOUPS 20066715 WITH SCORE 2.0147009981E7
AT ITER 3244 NEW BEST:: SOT 122798911 SOS 80291758 HAS SOPS 65448920 HAS SOUS 20632884 HAS SOUPS 20063728 WITH SCORE 2.0144019758E7
AT ITER 3247 NEW BEST:: SOT 122798924 SOS 80296512 HAS SOPS 65452551 HAS SOUS 20632766 HAS SOUPS 20063610 WITH SCORE 2.0143906512E7
AT ITER 3251 NEW BEST:: SOT 122797416 SOS 80297126 HAS SOPS 65449321 HAS SOUS 20609468 HAS SOUPS 20040145 WITH SCORE 2.0120442126E7
AT ITER 3266 NEW BEST:: SOT 122796664 SOS 80297080 HAS SOPS 65484011 HAS SOUS 20605723 HAS SOUPS 20036680 WITH SCORE 2.011697708E7
AT ITER 3272 NEW BEST:: SOT 122801115 SOS 80320465 HAS SOPS 65485006 HAS SOUS 20577186 HAS SOUPS 20008143 WITH SCORE 2.0088463465E7
AT ITER 3283 NEW BEST:: SOT 122789996 SOS 80309346 HAS SOPS 65472863 HAS SOUS 20568315 HAS SOUPS 19999272 WITH SCORE 2.0079581346E7
AT ITER 3288 NEW BEST:: SOT 122785760 SOS 80304965 HAS SOPS 65466346 HAS SOUS 20550010 HAS SOUPS 19980967 WITH SCORE 2.0061271965E7
AT ITER 3295 NEW BEST:: SOT 122788858 SOS 80306187 HAS SOPS 65473290 HAS SOUS 20544975 HAS SOUPS 19976005 WITH SCORE 2.0056311187E7
AT ITER 3318 NEW BEST:: SOT 122828081 SOS 80364997 HAS SOPS 65553404 HAS SOUS 20542071 HAS SOUPS 19974347 WITH SCORE 2.0054711997E7
AT ITER 3335 NEW BEST:: SOT 122827286 SOS 80365043 HAS SOPS 65547961 HAS SOUS 20534019 HAS SOUPS 19966135 WITH SCORE 2.0046500043E7
AT ITER 3358 NEW BEST:: SOT 122833384 SOS 80364351 HAS SOPS 65547514 HAS SOUS 20532918 HAS SOUPS 19965150 WITH SCORE 2.0045514351E7
AT ITER 3367 NEW BEST:: SOT 122821449 SOS 80353067 HAS SOPS 65530602 HAS SOUS 20532492 HAS SOUPS 19964285 WITH SCORE 2.0044638067E7
AT ITER 3382 NEW BEST:: SOT 122819809 SOS 80351982 HAS SOPS 65528296 HAS SOUS 20526449 HAS SOUPS 19958205 WITH SCORE 2.0038556982E7
AT ITER 3390 NEW BEST:: SOT 122812781 SOS 80336168 HAS SOPS 65508076 HAS SOUS 20496748 HAS SOUPS 19928504 WITH SCORE 2.0008840168E7
AT ITER 3391 NEW BEST:: SOT 122806370 SOS 80308457 HAS SOPS 65486124 HAS SOUS 20496633 HAS SOUPS 19928389 WITH SCORE 2.0008697457E7
AT ITER 3396 NEW BEST:: SOT 122824164 SOS 80356343 HAS SOPS 65518042 HAS SOUS 20491534 HAS SOUPS 19923290 WITH SCORE 2.0003646343E7
AT ITER 3397 NEW BEST:: SOT 122823264 SOS 80357323 HAS SOPS 65518070 HAS SOUS 20489815 HAS SOUPS 19921571 WITH SCORE 2.0001928323E7
AT ITER 3408 NEW BEST:: SOT 122820391 SOS 80353359 HAS SOPS 65513189 HAS SOUS 20483590 HAS SOUPS 19915289 WITH SCORE 1.9995642359E7
AT ITER 3421 NEW BEST:: SOT 122810409 SOS 80340733 HAS SOPS 65513260 HAS SOUS 20473168 HAS SOUPS 19905056 WITH SCORE 1.9985396733E7
AT ITER 3432 NEW BEST:: SOT 122804749 SOS 80335073 HAS SOPS 65507600 HAS SOUS 20472724 HAS SOUPS 19904612 WITH SCORE 1.9984947073E7
AT ITER 3459 NEW BEST:: SOT 122805142 SOS 80334127 HAS SOPS 65507186 HAS SOUS 20469164 HAS SOUPS 19901052 WITH SCORE 1.9981386127E7
AT ITER 3463 NEW BEST:: SOT 122802797 SOS 80331357 HAS SOPS 65504758 HAS SOUS 20468387 HAS SOUPS 19900275 WITH SCORE 1.9980606357E7
AT ITER 3477 NEW BEST:: SOT 122802838 SOS 80331228 HAS SOPS 65504549 HAS SOUS 20468288 HAS SOUPS 19900176 WITH SCORE 1.9980507228E7
AT ITER 3485 NEW BEST:: SOT 122801153 SOS 80326637 HAS SOPS 65501395 HAS SOUS 20467092 HAS SOUPS 19899025 WITH SCORE 1.9979351637E7
AT ITER 3490 NEW BEST:: SOT 122782694 SOS 80275103 HAS SOPS 65471880 HAS SOUS 20458781 HAS SOUPS 19890990 WITH SCORE 1.9971265103E7
AT ITER 3493 NEW BEST:: SOT 122782393 SOS 80273106 HAS SOPS 65471103 HAS SOUS 20457922 HAS SOUPS 19890131 WITH SCORE 1.9970404106E7
AT ITER 3494 NEW BEST:: SOT 122769834 SOS 80258902 HAS SOPS 65459713 HAS SOUS 20411026 HAS SOUPS 19843235 WITH SCORE 1.9923493902E7
AT ITER 3498 NEW BEST:: SOT 122750657 SOS 80224961 HAS SOPS 65427093 HAS SOUS 20373972 HAS SOUPS 19806181 WITH SCORE 1.9886405961E7
AT ITER 3528 NEW BEST:: SOT 122733564 SOS 80188592 HAS SOPS 65396619 HAS SOUS 20364270 HAS SOUPS 19796477 WITH SCORE 1.9876665592E7
AT ITER 3544 NEW BEST:: SOT 122732485 SOS 80187021 HAS SOPS 65394671 HAS SOUS 20362591 HAS SOUPS 19794798 WITH SCORE 1.9874985021E7
AT ITER 3545 NEW BEST:: SOT 122713464 SOS 80148663 HAS SOPS 65355758 HAS SOUS 20361413 HAS SOUPS 19793620 WITH SCORE 1.9873768663E7
AT ITER 3551 NEW BEST:: SOT 122713850 SOS 80159783 HAS SOPS 65364631 HAS SOUS 20359096 HAS SOUPS 19791303 WITH SCORE 1.9871462783E7
AT ITER 3557 NEW BEST:: SOT 122713420 SOS 80159360 HAS SOPS 65364257 HAS SOUS 20358033 HAS SOUPS 19790289 WITH SCORE 1.987044836E7
AT ITER 3571 NEW BEST:: SOT 122714137 SOS 80158227 HAS SOPS 65363011 HAS SOUS 20357389 HAS SOUPS 19789645 WITH SCORE 1.9869803227E7
AT ITER 3574 NEW BEST:: SOT 122696198 SOS 80110628 HAS SOPS 65331595 HAS SOUS 20347590 HAS SOUPS 19779915 WITH SCORE 1.9860025628E7
AT ITER 3577 NEW BEST:: SOT 122706906 SOS 80134141 HAS SOPS 65344912 HAS SOUS 20344557 HAS SOUPS 19776882 WITH SCORE 1.9857016141E7
AT ITER 3579 NEW BEST:: SOT 122705097 SOS 80133218 HAS SOPS 65346520 HAS SOUS 20340825 HAS SOUPS 19773150 WITH SCORE 1.9853283218E7
AT ITER 3585 NEW BEST:: SOT 122705645 SOS 80141101 HAS SOPS 65349695 HAS SOUS 20335226 HAS SOUPS 19767551 WITH SCORE 1.9847692101E7
AT ITER 3601 NEW BEST:: SOT 122701965 SOS 80137318 HAS SOPS 65346252 HAS SOUS 20330948 HAS SOUPS 19763306 WITH SCORE 1.9843443318E7
AT ITER 3602 NEW BEST:: SOT 122702048 SOS 80161225 HAS SOPS 65384426 HAS SOUS 20330439 HAS SOUPS 19762797 WITH SCORE 1.9842958225E7
AT ITER 3629 NEW BEST:: SOT 122790107 SOS 80345368 HAS SOPS 65528317 HAS SOUS 20321307 HAS SOUPS 19753665 WITH SCORE 1.9834010368E7
AT ITER 3630 NEW BEST:: SOT 122790008 SOS 80345269 HAS SOPS 65528218 HAS SOUS 20321004 HAS SOUPS 19753362 WITH SCORE 1.9833707269E7
AT ITER 3639 NEW BEST:: SOT 122794884 SOS 80347241 HAS SOPS 65528516 HAS SOUS 20320153 HAS SOUPS 19752600 WITH SCORE 1.9832947241E7
AT ITER 3646 NEW BEST:: SOT 122792061 SOS 80342374 HAS SOPS 65525629 HAS SOUS 20317804 HAS SOUPS 19750251 WITH SCORE 1.9830593374E7
AT ITER 3655 NEW BEST:: SOT 122791369 SOS 80341440 HAS SOPS 65525091 HAS SOUS 20316716 HAS SOUPS 19749174 WITH SCORE 1.982951544E7
AT ITER 3691 NEW BEST:: SOT 122776052 SOS 80307545 HAS SOPS 65494307 HAS SOUS 20309969 HAS SOUPS 19742427 WITH SCORE 1.9822734545E7
AT ITER 3699 NEW BEST:: SOT 122776122 SOS 80315383 HAS SOPS 65502145 HAS SOUS 20309882 HAS SOUPS 19742340 WITH SCORE 1.9822655383E7
AT ITER 3700 NEW BEST:: SOT 122776384 SOS 80316703 HAS SOPS 65502471 HAS SOUS 20308476 HAS SOUPS 19740934 WITH SCORE 1.9821250703E7
AT ITER 3712 NEW BEST:: SOT 122759329 SOS 80299808 HAS SOPS 65477914 HAS SOUS 20276977 HAS SOUPS 19709093 WITH SCORE 1.9789392808E7
AT ITER 3714 NEW BEST:: SOT 122759329 SOS 80301216 HAS SOPS 65480026 HAS SOUS 20276895 HAS SOUPS 19709011 WITH SCORE 1.9789312216E7
AT ITER 3716 NEW BEST:: SOT 122760172 SOS 80299887 HAS SOPS 65481959 HAS SOUS 20275929 HAS SOUPS 19708045 WITH SCORE 1.9788344887E7
AT ITER 3718 NEW BEST:: SOT 122759218 SOS 80298869 HAS SOPS 65482205 HAS SOUS 20269592 HAS SOUPS 19702052 WITH SCORE 1.9782350869E7
AT ITER 3727 NEW BEST:: SOT 122755439 SOS 80300482 HAS SOPS 65477846 HAS SOUS 20250269 HAS SOUPS 19682729 WITH SCORE 1.9763029482E7
AT ITER 3730 NEW BEST:: SOT 122755007 SOS 80300023 HAS SOPS 65477134 HAS SOUS 20249128 HAS SOUPS 19681580 WITH SCORE 1.9761880023E7
AT ITER 3736 NEW BEST:: SOT 122758945 SOS 80304489 HAS SOPS 65481757 HAS SOUS 20245712 HAS SOUPS 19678164 WITH SCORE 1.9758468489E7
AT ITER 3748 NEW BEST:: SOT 122720263 SOS 80268958 HAS SOPS 65436391 HAS SOUS 20194666 HAS SOUPS 19627244 WITH SCORE 1.9707512958E7
AT ITER 3753 NEW BEST:: SOT 122720201 SOS 80268897 HAS SOPS 65436301 HAS SOUS 20194539 HAS SOUPS 19627117 WITH SCORE 1.9707385897E7
AT ITER 3755 NEW BEST:: SOT 122717251 SOS 80265520 HAS SOPS 65432450 HAS SOUS 20186451 HAS SOUPS 19619029 WITH SCORE 1.969929452E7
AT ITER 3766 NEW BEST:: SOT 122691033 SOS 80236915 HAS SOPS 65417299 HAS SOUS 20160932 HAS SOUPS 19593403 WITH SCORE 1.9673639915E7
AT ITER 3777 NEW BEST:: SOT 122696952 SOS 80240465 HAS SOPS 65423515 HAS SOUS 20159353 HAS SOUPS 19591986 WITH SCORE 1.9672226465E7
AT ITER 3783 NEW BEST:: SOT 122696921 SOS 80239064 HAS SOPS 65422108 HAS SOUS 20159323 HAS SOUPS 19591956 WITH SCORE 1.9672195064E7
AT ITER 3784 NEW BEST:: SOT 122675013 SOS 80206262 HAS SOPS 65390735 HAS SOUS 20127111 HAS SOUPS 19559841 WITH SCORE 1.9640047262E7
AT ITER 3801 NEW BEST:: SOT 122675014 SOS 80206295 HAS SOPS 65390800 HAS SOUS 20127105 HAS SOUPS 19559835 WITH SCORE 1.9640041295E7
AT ITER 3809 NEW BEST:: SOT 122668195 SOS 80194744 HAS SOPS 65378449 HAS SOUS 20117304 HAS SOUPS 19550034 WITH SCORE 1.9630228744E7
AT ITER 3815 NEW BEST:: SOT 122665041 SOS 80188253 HAS SOPS 65375962 HAS SOUS 20115988 HAS SOUPS 19548884 WITH SCORE 1.9629072253E7
AT ITER 3826 NEW BEST:: SOT 122661669 SOS 80181488 HAS SOPS 65368019 HAS SOUS 20115116 HAS SOUPS 19548012 WITH SCORE 1.9628193488E7
AT ITER 3837 NEW BEST:: SOT 122661669 SOS 80180633 HAS SOPS 65366804 HAS SOUS 20115026 HAS SOUPS 19547922 WITH SCORE 1.9628102633E7
AT ITER 3845 NEW BEST:: SOT 122653307 SOS 80171758 HAS SOPS 65358767 HAS SOUS 20114234 HAS SOUPS 19547188 WITH SCORE 1.9627359758E7
AT ITER 3856 NEW BEST:: SOT 122652399 SOS 80165792 HAS SOPS 65344032 HAS SOUS 20083600 HAS SOUPS 19516554 WITH SCORE 1.9596719792E7
AT ITER 3862 NEW BEST:: SOT 122646941 SOS 80159214 HAS SOPS 65335654 HAS SOUS 20073679 HAS SOUPS 19506662 WITH SCORE 1.9586821214E7
AT ITER 3870 NEW BEST:: SOT 122646929 SOS 80151158 HAS SOPS 65332434 HAS SOUS 20073614 HAS SOUPS 19506597 WITH SCORE 1.9586748158E7
AT ITER 3877 NEW BEST:: SOT 122641026 SOS 80146842 HAS SOPS 65316344 HAS SOUS 20053514 HAS SOUPS 19486489 WITH SCORE 1.9566635842E7
AT ITER 3879 NEW BEST:: SOT 122635615 SOS 80135558 HAS SOPS 65300635 HAS SOUS 20040885 HAS SOUPS 19473860 WITH SCORE 1.9553995558E7
AT ITER 3896 NEW BEST:: SOT 122629501 SOS 80128452 HAS SOPS 65293340 HAS SOUS 20030839 HAS SOUPS 19463814 WITH SCORE 1.9543942452E7
AT ITER 3907 NEW BEST:: SOT 122631565 SOS 80131582 HAS SOPS 65292050 HAS SOUS 20022398 HAS SOUPS 19455268 WITH SCORE 1.9535399582E7
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393232 kB
MemFree: 14110132 kB
After kill :
MemTotal: 16393232 kB
MemFree: 15959808 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:
++ perl -pe 's/.*\.//g'
++ sed s/.jar//
++ 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

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="RERS17pb115-PT-2"
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 RERS17pb115-PT-2, 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-167889204100160"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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