About the Execution of Smart+red for Vasy2003-PT-none
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
16216.787 | 2917487.00 | 2963199.00 | 13119.40 | [undef] | Cannot compute |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r491-tall-167912711501232.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 Vasy2003-PT-none, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r491-tall-167912711501232
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 684K
-rw-r--r-- 1 mcc users 6.5K Feb 25 14:33 CTLCardinality.txt
-rw-r--r-- 1 mcc users 72K Feb 25 14:33 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.1K Feb 25 14:25 CTLFireability.txt
-rw-r--r-- 1 mcc users 59K Feb 25 14:25 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Feb 25 17:26 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 17:26 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 17:26 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:26 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 14:38 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 131K Feb 25 14:38 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 10K Feb 25 14:35 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 90K Feb 25 14:35 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:26 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 17:26 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 207K 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 1679321135348
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=Vasy2003-PT-none
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-20 14:05:37] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-20 14:05:37] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-20 14:05:37] [INFO ] Load time of PNML (sax parser for PT used): 75 ms
[2023-03-20 14:05:37] [INFO ] Transformed 485 places.
[2023-03-20 14:05:37] [INFO ] Transformed 776 transitions.
[2023-03-20 14:05:37] [INFO ] Found NUPN structural information;
[2023-03-20 14:05:37] [INFO ] Parsed PT model containing 485 places and 776 transitions and 2809 arcs in 151 ms.
[2023-03-20 14:05:37] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 485 places, 776 transitions and 2809 arcs took 9 ms.
Total runtime 195 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Vasy2003 (PT), instance none
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: 485 places, 776 transitions, 2809 arcs.
AT ITER 0 NEW BEST:: SOT 312987 SOS 279620 HAS SOPS 279598 HAS SOUS 152075 HAS SOUPS 152053 WITH SCORE 152332.62
AT ITER 5 NEW BEST:: SOT 312947 SOS 279580 HAS SOPS 279558 HAS SOUS 152074 HAS SOUPS 152052 WITH SCORE 152331.58
AT ITER 6 NEW BEST:: SOT 312570 SOS 277523 HAS SOPS 277501 HAS SOUS 151998 HAS SOUPS 151976 WITH SCORE 152253.523
AT ITER 8 NEW BEST:: SOT 312508 SOS 277461 HAS SOPS 277439 HAS SOUS 151983 HAS SOUPS 151961 WITH SCORE 152238.461
AT ITER 10 NEW BEST:: SOT 312488 SOS 277346 HAS SOPS 277304 HAS SOUS 151868 HAS SOUPS 151826 WITH SCORE 152103.346
AT ITER 12 NEW BEST:: SOT 312060 SOS 276966 HAS SOPS 276876 HAS SOUS 151630 HAS SOUPS 151540 WITH SCORE 151816.966
AT ITER 14 NEW BEST:: SOT 311860 SOS 276766 HAS SOPS 276676 HAS SOUS 151487 HAS SOUPS 151397 WITH SCORE 151673.766
AT ITER 17 NEW BEST:: SOT 311964 SOS 276760 HAS SOPS 276670 HAS SOUS 151206 HAS SOUPS 151116 WITH SCORE 151392.76
AT ITER 18 NEW BEST:: SOT 311961 SOS 276759 HAS SOPS 276669 HAS SOUS 151205 HAS SOUPS 151115 WITH SCORE 151391.759
AT ITER 19 NEW BEST:: SOT 311380 SOS 276484 HAS SOPS 276088 HAS SOUS 151068 HAS SOUPS 150875 WITH SCORE 151151.484
AT ITER 21 NEW BEST:: SOT 311237 SOS 276341 HAS SOPS 275945 HAS SOUS 151008 HAS SOUPS 150815 WITH SCORE 151091.341
AT ITER 22 NEW BEST:: SOT 311237 SOS 276322 HAS SOPS 275926 HAS SOUS 151007 HAS SOUPS 150814 WITH SCORE 151090.322
AT ITER 27 NEW BEST:: SOT 311326 SOS 276091 HAS SOPS 275695 HAS SOUS 150955 HAS SOUPS 150762 WITH SCORE 151038.091
AT ITER 28 NEW BEST:: SOT 310436 SOS 275819 HAS SOPS 274913 HAS SOUS 150711 HAS SOUPS 150241 WITH SCORE 150516.819
AT ITER 35 NEW BEST:: SOT 310448 SOS 275831 HAS SOPS 274925 HAS SOUS 150602 HAS SOUPS 150132 WITH SCORE 150407.831
AT ITER 40 NEW BEST:: SOT 310288 SOS 275671 HAS SOPS 274765 HAS SOUS 150442 HAS SOUPS 149972 WITH SCORE 150247.671
AT ITER 44 NEW BEST:: SOT 310051 SOS 274960 HAS SOPS 274054 HAS SOUS 150261 HAS SOUPS 149791 WITH SCORE 150065.96
AT ITER 47 NEW BEST:: SOT 309816 SOS 274255 HAS SOPS 273349 HAS SOUS 149790 HAS SOUPS 149320 WITH SCORE 149594.255
AT ITER 49 NEW BEST:: SOT 301567 SOS 266006 HAS SOPS 265100 HAS SOUS 147302 HAS SOUPS 146832 WITH SCORE 147098.006
AT ITER 52 NEW BEST:: SOT 301493 SOS 265932 HAS SOPS 265026 HAS SOUS 147228 HAS SOUPS 146758 WITH SCORE 147023.932
AT ITER 53 NEW BEST:: SOT 301492 SOS 265570 HAS SOPS 264438 HAS SOUS 147350 HAS SOUPS 146654 WITH SCORE 146919.57
AT ITER 54 NEW BEST:: SOT 301418 SOS 265632 HAS SOPS 264500 HAS SOUS 147275 HAS SOUPS 146579 WITH SCORE 146844.632
AT ITER 57 NEW BEST:: SOT 301110 SOS 265368 HAS SOPS 264192 HAS SOUS 147142 HAS SOUPS 146402 WITH SCORE 146667.368
AT ITER 62 NEW BEST:: SOT 273679 SOS 238722 HAS SOPS 236333 HAS SOUS 125481 HAS SOUPS 124589 WITH SCORE 124827.722
AT ITER 65 NEW BEST:: SOT 273761 SOS 235222 HAS SOPS 232833 HAS SOUS 125394 HAS SOUPS 124502 WITH SCORE 124737.222
AT ITER 67 NEW BEST:: SOT 273728 SOS 235189 HAS SOPS 232800 HAS SOUS 125394 HAS SOUPS 124502 WITH SCORE 124737.189
AT ITER 69 NEW BEST:: SOT 273681 SOS 235079 HAS SOPS 232713 HAS SOUS 125377 HAS SOUPS 124485 WITH SCORE 124720.079
AT ITER 72 NEW BEST:: SOT 273672 SOS 235061 HAS SOPS 232695 HAS SOUS 125377 HAS SOUPS 124485 WITH SCORE 124720.061
AT ITER 73 NEW BEST:: SOT 274085 SOS 235662 HAS SOPS 233296 HAS SOUS 125243 HAS SOUPS 124351 WITH SCORE 124586.662
AT ITER 74 NEW BEST:: SOT 273853 SOS 235430 HAS SOPS 233064 HAS SOUS 125011 HAS SOUPS 124119 WITH SCORE 124354.43
AT ITER 76 NEW BEST:: SOT 273165 SOS 235392 HAS SOPS 232660 HAS SOUS 125058 HAS SOUPS 124073 WITH SCORE 124308.392
AT ITER 79 NEW BEST:: SOT 273150 SOS 235377 HAS SOPS 232645 HAS SOUS 125043 HAS SOUPS 124058 WITH SCORE 124293.377
AT ITER 87 NEW BEST:: SOT 272891 SOS 234536 HAS SOPS 231609 HAS SOUS 124414 HAS SOUPS 123429 WITH SCORE 123663.536
AT ITER 88 NEW BEST:: SOT 272887 SOS 234532 HAS SOPS 231605 HAS SOUS 124408 HAS SOUPS 123423 WITH SCORE 123657.532
AT ITER 96 NEW BEST:: SOT 272745 SOS 234390 HAS SOPS 231463 HAS SOUS 124403 HAS SOUPS 123418 WITH SCORE 123652.39
AT ITER 97 NEW BEST:: SOT 272656 SOS 234400 HAS SOPS 231376 HAS SOUS 124229 HAS SOUPS 123147 WITH SCORE 123381.4
AT ITER 99 NEW BEST:: SOT 272751 SOS 234593 HAS SOPS 231569 HAS SOUS 124054 HAS SOUPS 122972 WITH SCORE 123206.593
AT ITER 102 NEW BEST:: SOT 272751 SOS 234593 HAS SOPS 231569 HAS SOUS 123819 HAS SOUPS 122737 WITH SCORE 122971.593
AT ITER 104 NEW BEST:: SOT 272751 SOS 234593 HAS SOPS 231569 HAS SOUS 123816 HAS SOUPS 122734 WITH SCORE 122968.593
AT ITER 110 NEW BEST:: SOT 272751 SOS 234593 HAS SOPS 231569 HAS SOUS 123587 HAS SOUPS 122505 WITH SCORE 122739.593
AT ITER 112 NEW BEST:: SOT 272751 SOS 234593 HAS SOPS 231569 HAS SOUS 123515 HAS SOUPS 122433 WITH SCORE 122667.593
AT ITER 113 NEW BEST:: SOT 272550 SOS 234453 HAS SOPS 231429 HAS SOUS 123410 HAS SOUPS 122328 WITH SCORE 122562.453
AT ITER 116 NEW BEST:: SOT 272560 SOS 232514 HAS SOPS 229258 HAS SOUS 123328 HAS SOUPS 122014 WITH SCORE 122246.514
AT ITER 120 NEW BEST:: SOT 272560 SOS 232514 HAS SOPS 229258 HAS SOUS 123251 HAS SOUPS 121937 WITH SCORE 122169.514
AT ITER 121 NEW BEST:: SOT 260800 SOS 220963 HAS SOPS 217707 HAS SOUS 111623 HAS SOUPS 110309 WITH SCORE 110529.963
AT ITER 123 NEW BEST:: SOT 260691 SOS 220854 HAS SOPS 217598 HAS SOUS 111367 HAS SOUPS 110053 WITH SCORE 110273.854
AT ITER 140 NEW BEST:: SOT 260691 SOS 220854 HAS SOPS 217598 HAS SOUS 111365 HAS SOUPS 110051 WITH SCORE 110271.854
AT ITER 141 NEW BEST:: SOT 260275 SOS 210856 HAS SOPS 207600 HAS SOUS 110912 HAS SOUPS 109598 WITH SCORE 109808.856
AT ITER 145 NEW BEST:: SOT 260250 SOS 210831 HAS SOPS 207575 HAS SOUS 110887 HAS SOUPS 109573 WITH SCORE 109783.831
AT ITER 146 NEW BEST:: SOT 260273 SOS 210755 HAS SOPS 207499 HAS SOUS 110816 HAS SOUPS 109502 WITH SCORE 109712.755
AT ITER 151 NEW BEST:: SOT 260215 SOS 210697 HAS SOPS 207441 HAS SOUS 110757 HAS SOUPS 109443 WITH SCORE 109653.697
AT ITER 155 NEW BEST:: SOT 260214 SOS 210696 HAS SOPS 207440 HAS SOUS 110754 HAS SOUPS 109440 WITH SCORE 109650.696
AT ITER 156 NEW BEST:: SOT 255130 SOS 205612 HAS SOPS 202356 HAS SOUS 105404 HAS SOUPS 104090 WITH SCORE 104295.612
AT ITER 158 NEW BEST:: SOT 255130 SOS 205544 HAS SOPS 202288 HAS SOUS 105268 HAS SOUPS 103954 WITH SCORE 104159.544
AT ITER 159 NEW BEST:: SOT 255126 SOS 205536 HAS SOPS 202280 HAS SOUS 105264 HAS SOUPS 103950 WITH SCORE 104155.536
AT ITER 168 NEW BEST:: SOT 255062 SOS 205472 HAS SOPS 202216 HAS SOUS 105136 HAS SOUPS 103822 WITH SCORE 104027.472
AT ITER 171 NEW BEST:: SOT 254791 SOS 204653 HAS SOPS 201397 HAS SOUS 104678 HAS SOUPS 103364 WITH SCORE 103568.653
AT ITER 180 NEW BEST:: SOT 255070 SOS 205003 HAS SOPS 201747 HAS SOUS 104673 HAS SOUPS 103359 WITH SCORE 103564.003
AT ITER 186 NEW BEST:: SOT 254912 SOS 204845 HAS SOPS 201589 HAS SOUS 104514 HAS SOUPS 103200 WITH SCORE 103404.845
AT ITER 194 NEW BEST:: SOT 254911 SOS 204702 HAS SOPS 201446 HAS SOUS 104512 HAS SOUPS 103198 WITH SCORE 103402.702
AT ITER 195 NEW BEST:: SOT 255035 SOS 204573 HAS SOPS 201073 HAS SOUS 104070 HAS SOUPS 102756 WITH SCORE 102960.573
AT ITER 199 NEW BEST:: SOT 255044 SOS 204573 HAS SOPS 201064 HAS SOUS 104070 HAS SOUPS 102747 WITH SCORE 102951.573
AT ITER 200 NEW BEST:: SOT 254907 SOS 204436 HAS SOPS 200927 HAS SOUS 104053 HAS SOUPS 102730 WITH SCORE 102934.436
AT ITER 205 NEW BEST:: SOT 254586 SOS 204115 HAS SOPS 200606 HAS SOUS 103641 HAS SOUPS 102318 WITH SCORE 102522.115
AT ITER 206 NEW BEST:: SOT 254522 SOS 203673 HAS SOPS 200164 HAS SOUS 103139 HAS SOUPS 101816 WITH SCORE 102019.673
AT ITER 210 NEW BEST:: SOT 254651 SOS 203843 HAS SOPS 200195 HAS SOUS 103177 HAS SOUPS 101764 WITH SCORE 101967.843
AT ITER 214 NEW BEST:: SOT 254396 SOS 204283 HAS SOPS 200172 HAS SOUS 103293 HAS SOUPS 101748 WITH SCORE 101952.283
AT ITER 218 NEW BEST:: SOT 254396 SOS 204283 HAS SOPS 200172 HAS SOUS 103218 HAS SOUPS 101673 WITH SCORE 101877.283
AT ITER 223 NEW BEST:: SOT 254013 SOS 203833 HAS SOPS 199699 HAS SOUS 102537 HAS SOUPS 100992 WITH SCORE 101195.833
AT ITER 227 NEW BEST:: SOT 253727 SOS 203399 HAS SOPS 199265 HAS SOUS 102246 HAS SOUPS 100701 WITH SCORE 100904.399
AT ITER 229 NEW BEST:: SOT 253726 SOS 203398 HAS SOPS 199264 HAS SOUS 102245 HAS SOUPS 100700 WITH SCORE 100903.398
AT ITER 231 NEW BEST:: SOT 253571 SOS 200825 HAS SOPS 196691 HAS SOUS 101913 HAS SOUPS 100368 WITH SCORE 100568.825
AT ITER 244 NEW BEST:: SOT 253738 SOS 202232 HAS SOPS 197854 HAS SOUS 101741 HAS SOUPS 100196 WITH SCORE 100398.232
AT ITER 252 NEW BEST:: SOT 253602 SOS 202096 HAS SOPS 197718 HAS SOUS 101647 HAS SOUPS 100102 WITH SCORE 100304.096
AT ITER 253 NEW BEST:: SOT 253512 SOS 201908 HAS SOPS 197530 HAS SOUS 101644 HAS SOUPS 100099 WITH SCORE 100300.908
AT ITER 260 NEW BEST:: SOT 252089 SOS 206864 HAS SOPS 202355 HAS SOUS 100477 HAS SOUPS 98932 WITH SCORE 99138.864
AT ITER 264 NEW BEST:: SOT 251997 SOS 206772 HAS SOPS 202263 HAS SOUS 100384 HAS SOUPS 98840 WITH SCORE 99046.772
AT ITER 267 NEW BEST:: SOT 251924 SOS 206680 HAS SOPS 202198 HAS SOUS 100341 HAS SOUPS 98797 WITH SCORE 99003.68
AT ITER 268 NEW BEST:: SOT 251924 SOS 206698 HAS SOPS 202234 HAS SOUS 100323 HAS SOUPS 98779 WITH SCORE 98985.698
AT ITER 270 NEW BEST:: SOT 251912 SOS 206686 HAS SOPS 202222 HAS SOUS 100310 HAS SOUPS 98766 WITH SCORE 98972.686
AT ITER 272 NEW BEST:: SOT 242735 SOS 197509 HAS SOPS 193045 HAS SOUS 90840 HAS SOUPS 89296 WITH SCORE 89493.509
AT ITER 276 NEW BEST:: SOT 242739 SOS 197608 HAS SOPS 193144 HAS SOUS 90838 HAS SOUPS 89294 WITH SCORE 89491.608
AT ITER 280 NEW BEST:: SOT 242695 SOS 197564 HAS SOPS 193100 HAS SOUS 90794 HAS SOUPS 89250 WITH SCORE 89447.564
AT ITER 289 NEW BEST:: SOT 242699 SOS 197568 HAS SOPS 193104 HAS SOUS 90790 HAS SOUPS 89246 WITH SCORE 89443.568
AT ITER 299 NEW BEST:: SOT 242632 SOS 197501 HAS SOPS 193037 HAS SOUS 90678 HAS SOUPS 89134 WITH SCORE 89331.501
AT ITER 303 NEW BEST:: SOT 242386 SOS 197255 HAS SOPS 192791 HAS SOUS 90432 HAS SOUPS 88888 WITH SCORE 89085.255
AT ITER 311 NEW BEST:: SOT 240312 SOS 195181 HAS SOPS 190717 HAS SOUS 90324 HAS SOUPS 88780 WITH SCORE 88975.181
AT ITER 321 NEW BEST:: SOT 240224 SOS 195005 HAS SOPS 190453 HAS SOUS 90323 HAS SOUPS 88692 WITH SCORE 88887.005
AT ITER 322 NEW BEST:: SOT 240052 SOS 194833 HAS SOPS 190281 HAS SOUS 90172 HAS SOUPS 88541 WITH SCORE 88735.833
AT ITER 326 NEW BEST:: SOT 240300 SOS 195081 HAS SOPS 190529 HAS SOUS 90029 HAS SOUPS 88398 WITH SCORE 88593.081
AT ITER 328 NEW BEST:: SOT 238291 SOS 193719 HAS SOPS 188520 HAS SOUS 89383 HAS SOUPS 87660 WITH SCORE 87853.719
AT ITER 330 NEW BEST:: SOT 238134 SOS 193538 HAS SOPS 188339 HAS SOUS 89346 HAS SOUPS 87623 WITH SCORE 87816.538
AT ITER 333 NEW BEST:: SOT 237958 SOS 193098 HAS SOPS 187898 HAS SOUS 89256 HAS SOUPS 87533 WITH SCORE 87726.098
AT ITER 337 NEW BEST:: SOT 233351 SOS 188491 HAS SOPS 183291 HAS SOUS 84540 HAS SOUPS 82817 WITH SCORE 83005.491
AT ITER 340 NEW BEST:: SOT 233302 SOS 188393 HAS SOPS 183193 HAS SOUS 84522 HAS SOUPS 82799 WITH SCORE 82987.393
AT ITER 349 NEW BEST:: SOT 233648 SOS 188301 HAS SOPS 183101 HAS SOUS 84446 HAS SOUPS 82723 WITH SCORE 82911.301
AT ITER 352 NEW BEST:: SOT 233614 SOS 188267 HAS SOPS 183067 HAS SOUS 84194 HAS SOUPS 82471 WITH SCORE 82659.267
AT ITER 354 NEW BEST:: SOT 233565 SOS 188218 HAS SOPS 183018 HAS SOUS 83717 HAS SOUPS 81994 WITH SCORE 82182.218
AT ITER 357 NEW BEST:: SOT 233780 SOS 188433 HAS SOPS 183233 HAS SOUS 83648 HAS SOUPS 81925 WITH SCORE 82113.433
AT ITER 359 NEW BEST:: SOT 233717 SOS 186815 HAS SOPS 181795 HAS SOUS 83308 HAS SOUPS 81672 WITH SCORE 81858.815
AT ITER 361 NEW BEST:: SOT 233614 SOS 186538 HAS SOPS 181500 HAS SOUS 83116 HAS SOUPS 81480 WITH SCORE 81666.538
AT ITER 362 NEW BEST:: SOT 233467 SOS 186393 HAS SOPS 181355 HAS SOUS 83027 HAS SOUPS 81391 WITH SCORE 81577.393
AT ITER 378 NEW BEST:: SOT 233259 SOS 186109 HAS SOPS 181123 HAS SOUS 82743 HAS SOUPS 81159 WITH SCORE 81345.109
AT ITER 382 NEW BEST:: SOT 233340 SOS 186092 HAS SOPS 180949 HAS SOUS 82743 HAS SOUPS 81127 WITH SCORE 81313.092
AT ITER 391 NEW BEST:: SOT 233457 SOS 186155 HAS SOPS 180774 HAS SOUS 82806 HAS SOUPS 80952 WITH SCORE 81138.155
AT ITER 392 NEW BEST:: SOT 228091 SOS 181564 HAS SOPS 175408 HAS SOUS 77437 HAS SOUPS 75419 WITH SCORE 75600.564
AT ITER 395 NEW BEST:: SOT 228205 SOS 181279 HAS SOPS 175123 HAS SOUS 77437 HAS SOUPS 75419 WITH SCORE 75600.279
AT ITER 397 NEW BEST:: SOT 228220 SOS 181294 HAS SOPS 175138 HAS SOUS 77294 HAS SOUPS 75276 WITH SCORE 75457.294
AT ITER 404 NEW BEST:: SOT 228170 SOS 181244 HAS SOPS 175088 HAS SOUS 77234 HAS SOUPS 75216 WITH SCORE 75397.244
AT ITER 412 NEW BEST:: SOT 228170 SOS 181189 HAS SOPS 174978 HAS SOUS 77159 HAS SOUPS 75106 WITH SCORE 75287.189
AT ITER 415 NEW BEST:: SOT 227993 SOS 180885 HAS SOPS 174801 HAS SOUS 77039 HAS SOUPS 74986 WITH SCORE 75166.885
AT ITER 417 NEW BEST:: SOT 227989 SOS 180983 HAS SOPS 174899 HAS SOUS 76983 HAS SOUPS 74930 WITH SCORE 75110.983
AT ITER 421 NEW BEST:: SOT 227953 SOS 180947 HAS SOPS 174863 HAS SOUS 76974 HAS SOUPS 74921 WITH SCORE 75101.947
AT ITER 422 NEW BEST:: SOT 227636 SOS 182287 HAS SOPS 174879 HAS SOUS 77022 HAS SOUPS 74896 WITH SCORE 75078.287
AT ITER 428 NEW BEST:: SOT 227636 SOS 181123 HAS SOPS 173843 HAS SOUS 76987 HAS SOUPS 74896 WITH SCORE 75077.123
AT ITER 431 NEW BEST:: SOT 227889 SOS 181416 HAS SOPS 174176 HAS SOUS 76831 HAS SOUPS 74743 WITH SCORE 74924.416
AT ITER 435 NEW BEST:: SOT 227815 SOS 181306 HAS SOPS 174065 HAS SOUS 76721 HAS SOUPS 74632 WITH SCORE 74813.306
AT ITER 436 NEW BEST:: SOT 227799 SOS 181290 HAS SOPS 174049 HAS SOUS 76367 HAS SOUPS 74278 WITH SCORE 74459.29
AT ITER 439 NEW BEST:: SOT 227630 SOS 181121 HAS SOPS 173880 HAS SOUS 75776 HAS SOUPS 73687 WITH SCORE 73868.121
AT ITER 441 NEW BEST:: SOT 227274 SOS 181398 HAS SOPS 173770 HAS SOUS 75725 HAS SOUPS 73221 WITH SCORE 73402.398
AT ITER 442 NEW BEST:: SOT 227076 SOS 181200 HAS SOPS 173572 HAS SOUS 75669 HAS SOUPS 73165 WITH SCORE 73346.2
AT ITER 457 NEW BEST:: SOT 228290 SOS 183021 HAS SOPS 175393 HAS SOUS 75662 HAS SOUPS 73158 WITH SCORE 73341.021
AT ITER 464 NEW BEST:: SOT 228126 SOS 182857 HAS SOPS 175229 HAS SOUS 75580 HAS SOUPS 73076 WITH SCORE 73258.857
AT ITER 465 NEW BEST:: SOT 228053 SOS 183364 HAS SOPS 175430 HAS SOUS 75798 HAS SOUPS 73050 WITH SCORE 73233.364
AT ITER 469 NEW BEST:: SOT 228028 SOS 182598 HAS SOPS 174639 HAS SOUS 75748 HAS SOUPS 73000 WITH SCORE 73182.598
AT ITER 470 NEW BEST:: SOT 227829 SOS 182377 HAS SOPS 174418 HAS SOUS 75323 HAS SOUPS 72575 WITH SCORE 72757.377
AT ITER 474 NEW BEST:: SOT 227703 SOS 181891 HAS SOPS 173932 HAS SOUS 75197 HAS SOUPS 72449 WITH SCORE 72630.891
AT ITER 478 NEW BEST:: SOT 227665 SOS 181853 HAS SOPS 173894 HAS SOUS 75159 HAS SOUPS 72411 WITH SCORE 72592.853
AT ITER 486 NEW BEST:: SOT 227663 SOS 181851 HAS SOPS 173877 HAS SOUS 75157 HAS SOUPS 72394 WITH SCORE 72575.851
AT ITER 488 NEW BEST:: SOT 227663 SOS 181665 HAS SOPS 173691 HAS SOUS 75117 HAS SOUPS 72354 WITH SCORE 72535.665
AT ITER 490 NEW BEST:: SOT 227523 SOS 181192 HAS SOPS 173218 HAS SOUS 75000 HAS SOUPS 72237 WITH SCORE 72418.192
AT ITER 491 NEW BEST:: SOT 227523 SOS 181180 HAS SOPS 173194 HAS SOUS 74988 HAS SOUPS 72225 WITH SCORE 72406.18
AT ITER 499 NEW BEST:: SOT 227523 SOS 181055 HAS SOPS 173069 HAS SOUS 74988 HAS SOUPS 72225 WITH SCORE 72406.055
AT ITER 507 NEW BEST:: SOT 227476 SOS 181008 HAS SOPS 173022 HAS SOUS 74965 HAS SOUPS 72202 WITH SCORE 72383.008
AT ITER 508 NEW BEST:: SOT 227474 SOS 180292 HAS SOPS 172306 HAS SOUS 74964 HAS SOUPS 72201 WITH SCORE 72381.292
AT ITER 511 NEW BEST:: SOT 227474 SOS 180370 HAS SOPS 172384 HAS SOUS 74956 HAS SOUPS 72193 WITH SCORE 72373.37
AT ITER 516 NEW BEST:: SOT 227476 SOS 180359 HAS SOPS 172344 HAS SOUS 74899 HAS SOUPS 72136 WITH SCORE 72316.359
AT ITER 522 NEW BEST:: SOT 227418 SOS 180301 HAS SOPS 172286 HAS SOUS 74779 HAS SOUPS 72016 WITH SCORE 72196.301
AT ITER 524 NEW BEST:: SOT 226995 SOS 179714 HAS SOPS 171699 HAS SOUS 74730 HAS SOUPS 71967 WITH SCORE 72146.714
AT ITER 528 NEW BEST:: SOT 226897 SOS 179616 HAS SOPS 171552 HAS SOUS 74672 HAS SOUPS 71860 WITH SCORE 72039.616
AT ITER 529 NEW BEST:: SOT 226981 SOS 179815 HAS SOPS 171804 HAS SOUS 74669 HAS SOUPS 71857 WITH SCORE 72036.815
AT ITER 530 NEW BEST:: SOT 227052 SOS 179842 HAS SOPS 171831 HAS SOUS 74652 HAS SOUPS 71840 WITH SCORE 72019.842
AT ITER 533 NEW BEST:: SOT 227050 SOS 179840 HAS SOPS 171829 HAS SOUS 74650 HAS SOUPS 71838 WITH SCORE 72017.84
AT ITER 544 NEW BEST:: SOT 227101 SOS 179934 HAS SOPS 171805 HAS SOUS 74744 HAS SOUPS 71814 WITH SCORE 71993.934
AT ITER 553 NEW BEST:: SOT 227106 SOS 179939 HAS SOPS 171810 HAS SOUS 74735 HAS SOUPS 71805 WITH SCORE 71984.939
AT ITER 554 NEW BEST:: SOT 227052 SOS 179973 HAS SOPS 171844 HAS SOUS 74536 HAS SOUPS 71606 WITH SCORE 71785.973
AT ITER 562 NEW BEST:: SOT 227013 SOS 179934 HAS SOPS 171832 HAS SOUS 74497 HAS SOUPS 71594 WITH SCORE 71773.934
AT ITER 580 NEW BEST:: SOT 226956 SOS 179877 HAS SOPS 171775 HAS SOUS 74430 HAS SOUPS 71527 WITH SCORE 71706.877
AT ITER 582 NEW BEST:: SOT 226956 SOS 179995 HAS SOPS 172014 HAS SOUS 74348 HAS SOUPS 71524 WITH SCORE 71703.995
AT ITER 584 NEW BEST:: SOT 226640 SOS 179679 HAS SOPS 171698 HAS SOUS 74296 HAS SOUPS 71472 WITH SCORE 71651.679
AT ITER 585 NEW BEST:: SOT 215374 SOS 170922 HAS SOPS 161786 HAS SOUS 63447 HAS SOUPS 60397 WITH SCORE 60567.922
AT ITER 589 NEW BEST:: SOT 215263 SOS 170733 HAS SOPS 161519 HAS SOUS 63335 HAS SOUPS 60285 WITH SCORE 60455.733
AT ITER 595 NEW BEST:: SOT 215042 SOS 170122 HAS SOPS 160908 HAS SOUS 63237 HAS SOUPS 60187 WITH SCORE 60357.122
AT ITER 600 NEW BEST:: SOT 215057 SOS 170629 HAS SOPS 161415 HAS SOUS 63196 HAS SOUPS 60146 WITH SCORE 60316.629
AT ITER 605 NEW BEST:: SOT 215057 SOS 170668 HAS SOPS 161454 HAS SOUS 63183 HAS SOUPS 60133 WITH SCORE 60303.668
AT ITER 612 NEW BEST:: SOT 215004 SOS 170493 HAS SOPS 161279 HAS SOUS 63130 HAS SOUPS 60080 WITH SCORE 60250.493
AT ITER 613 NEW BEST:: SOT 214853 SOS 170227 HAS SOPS 160960 HAS SOUS 63122 HAS SOUPS 60072 WITH SCORE 60242.227
AT ITER 615 NEW BEST:: SOT 214838 SOS 170212 HAS SOPS 160945 HAS SOUS 63122 HAS SOUPS 60072 WITH SCORE 60242.212
AT ITER 622 NEW BEST:: SOT 214740 SOS 168689 HAS SOPS 159422 HAS SOUS 63003 HAS SOUPS 59953 WITH SCORE 60121.689
AT ITER 625 NEW BEST:: SOT 214690 SOS 168592 HAS SOPS 159278 HAS SOUS 62859 HAS SOUPS 59809 WITH SCORE 59977.592
AT ITER 626 NEW BEST:: SOT 214688 SOS 168588 HAS SOPS 159276 HAS SOUS 62857 HAS SOUPS 59807 WITH SCORE 59975.588
AT ITER 627 NEW BEST:: SOT 214646 SOS 168546 HAS SOPS 159234 HAS SOUS 62796 HAS SOUPS 59746 WITH SCORE 59914.546
AT ITER 629 NEW BEST:: SOT 214753 SOS 168653 HAS SOPS 159341 HAS SOUS 62742 HAS SOUPS 59692 WITH SCORE 59860.653
AT ITER 634 NEW BEST:: SOT 214751 SOS 168651 HAS SOPS 159339 HAS SOUS 62740 HAS SOUPS 59690 WITH SCORE 59858.651
AT ITER 635 NEW BEST:: SOT 214751 SOS 168651 HAS SOPS 159339 HAS SOUS 62730 HAS SOUPS 59680 WITH SCORE 59848.651
AT ITER 645 NEW BEST:: SOT 214823 SOS 168521 HAS SOPS 159209 HAS SOUS 62663 HAS SOUPS 59613 WITH SCORE 59781.521
AT ITER 648 NEW BEST:: SOT 215041 SOS 168739 HAS SOPS 159427 HAS SOUS 62597 HAS SOUPS 59547 WITH SCORE 59715.739
AT ITER 661 NEW BEST:: SOT 215038 SOS 168736 HAS SOPS 159424 HAS SOUS 62594 HAS SOUPS 59544 WITH SCORE 59712.736
AT ITER 663 NEW BEST:: SOT 215008 SOS 168676 HAS SOPS 159364 HAS SOUS 62504 HAS SOUPS 59454 WITH SCORE 59622.676
AT ITER 665 NEW BEST:: SOT 215008 SOS 168648 HAS SOPS 159364 HAS SOUS 62476 HAS SOUPS 59454 WITH SCORE 59622.648
AT ITER 666 NEW BEST:: SOT 214935 SOS 168567 HAS SOPS 159283 HAS SOUS 62386 HAS SOUPS 59364 WITH SCORE 59532.567
AT ITER 668 NEW BEST:: SOT 214282 SOS 168250 HAS SOPS 158966 HAS SOUS 62113 HAS SOUPS 59091 WITH SCORE 59259.25
AT ITER 675 NEW BEST:: SOT 214354 SOS 168734 HAS SOPS 159489 HAS SOUS 62096 HAS SOUPS 59074 WITH SCORE 59242.734
AT ITER 677 NEW BEST:: SOT 214215 SOS 168595 HAS SOPS 159350 HAS SOUS 61936 HAS SOUPS 58914 WITH SCORE 59082.595
AT ITER 678 NEW BEST:: SOT 214215 SOS 168447 HAS SOPS 159239 HAS SOUS 61899 HAS SOUPS 58914 WITH SCORE 59082.447
AT ITER 686 NEW BEST:: SOT 214215 SOS 168462 HAS SOPS 159254 HAS SOUS 61886 HAS SOUPS 58901 WITH SCORE 59069.462
AT ITER 687 NEW BEST:: SOT 213920 SOS 168167 HAS SOPS 158959 HAS SOUS 61671 HAS SOUPS 58686 WITH SCORE 58854.167
AT ITER 688 NEW BEST:: SOT 213912 SOS 168159 HAS SOPS 158951 HAS SOUS 61654 HAS SOUPS 58669 WITH SCORE 58837.159
AT ITER 689 NEW BEST:: SOT 213367 SOS 167614 HAS SOPS 159226 HAS SOUS 61200 HAS SOUPS 58397 WITH SCORE 58564.614
AT ITER 690 NEW BEST:: SOT 213323 SOS 167570 HAS SOPS 159182 HAS SOUS 61156 HAS SOUPS 58353 WITH SCORE 58520.57
AT ITER 697 NEW BEST:: SOT 212727 SOS 167036 HAS SOPS 158648 HAS SOUS 60974 HAS SOUPS 58171 WITH SCORE 58338.036
AT ITER 701 NEW BEST:: SOT 212695 SOS 166998 HAS SOPS 158648 HAS SOUS 60942 HAS SOUPS 58139 WITH SCORE 58305.998
AT ITER 703 NEW BEST:: SOT 212334 SOS 165612 HAS SOPS 157108 HAS SOUS 60897 HAS SOUPS 58017 WITH SCORE 58182.612
AT ITER 712 NEW BEST:: SOT 212169 SOS 165447 HAS SOPS 156943 HAS SOUS 60879 HAS SOUPS 57999 WITH SCORE 58164.447
AT ITER 718 NEW BEST:: SOT 212086 SOS 165360 HAS SOPS 156856 HAS SOUS 60853 HAS SOUPS 57973 WITH SCORE 58138.36
AT ITER 727 NEW BEST:: SOT 212129 SOS 165403 HAS SOPS 156899 HAS SOUS 60758 HAS SOUPS 57878 WITH SCORE 58043.403
AT ITER 729 NEW BEST:: SOT 211778 SOS 165546 HAS SOPS 157245 HAS SOUS 60425 HAS SOUPS 57749 WITH SCORE 57914.546
AT ITER 735 NEW BEST:: SOT 211430 SOS 164354 HAS SOPS 156173 HAS SOUS 60036 HAS SOUPS 57480 WITH SCORE 57644.354
AT ITER 766 NEW BEST:: SOT 211430 SOS 164354 HAS SOPS 156173 HAS SOUS 59990 HAS SOUPS 57434 WITH SCORE 57598.354
AT ITER 771 NEW BEST:: SOT 211435 SOS 164359 HAS SOPS 156178 HAS SOUS 59958 HAS SOUPS 57402 WITH SCORE 57566.359
AT ITER 773 NEW BEST:: SOT 211348 SOS 164060 HAS SOPS 155879 HAS SOUS 59871 HAS SOUPS 57315 WITH SCORE 57479.06
AT ITER 774 NEW BEST:: SOT 211259 SOS 161582 HAS SOPS 153312 HAS SOUS 59615 HAS SOUPS 57048 WITH SCORE 57209.582
AT ITER 777 NEW BEST:: SOT 211259 SOS 161498 HAS SOPS 153228 HAS SOUS 59458 HAS SOUPS 56891 WITH SCORE 57052.498
AT ITER 784 NEW BEST:: SOT 211163 SOS 160961 HAS SOPS 152652 HAS SOUS 59427 HAS SOUPS 56860 WITH SCORE 57020.961
AT ITER 790 NEW BEST:: SOT 211151 SOS 160847 HAS SOPS 152538 HAS SOUS 59319 HAS SOUPS 56752 WITH SCORE 56912.847
AT ITER 791 NEW BEST:: SOT 211137 SOS 160833 HAS SOPS 152524 HAS SOUS 59287 HAS SOUPS 56720 WITH SCORE 56880.833
AT ITER 800 NEW BEST:: SOT 211116 SOS 160796 HAS SOPS 152487 HAS SOUS 59190 HAS SOUPS 56623 WITH SCORE 56783.796
AT ITER 803 NEW BEST:: SOT 211132 SOS 160673 HAS SOPS 152364 HAS SOUS 59046 HAS SOUPS 56479 WITH SCORE 56639.673
AT ITER 834 NEW BEST:: SOT 210831 SOS 160668 HAS SOPS 152211 HAS SOUS 58893 HAS SOUPS 56252 WITH SCORE 56412.668
AT ITER 835 NEW BEST:: SOT 210831 SOS 160671 HAS SOPS 152035 HAS SOUS 58731 HAS SOUPS 56090 WITH SCORE 56250.671
AT ITER 845 NEW BEST:: SOT 210770 SOS 160610 HAS SOPS 151974 HAS SOUS 58659 HAS SOUPS 56018 WITH SCORE 56178.61
AT ITER 848 NEW BEST:: SOT 210757 SOS 160584 HAS SOPS 151948 HAS SOUS 58633 HAS SOUPS 55992 WITH SCORE 56152.584
AT ITER 851 NEW BEST:: SOT 210819 SOS 160828 HAS SOPS 152192 HAS SOUS 58591 HAS SOUPS 55950 WITH SCORE 56110.828
AT ITER 858 NEW BEST:: SOT 210712 SOS 160721 HAS SOPS 152085 HAS SOUS 58245 HAS SOUPS 55604 WITH SCORE 55764.721
AT ITER 860 NEW BEST:: SOT 210554 SOS 160484 HAS SOPS 151848 HAS SOUS 57929 HAS SOUPS 55288 WITH SCORE 55448.484
AT ITER 863 NEW BEST:: SOT 210642 SOS 160616 HAS SOPS 151980 HAS SOUS 57905 HAS SOUPS 55264 WITH SCORE 55424.616
AT ITER 872 NEW BEST:: SOT 210610 SOS 160584 HAS SOPS 151948 HAS SOUS 57841 HAS SOUPS 55200 WITH SCORE 55360.584
AT ITER 900 NEW BEST:: SOT 210528 SOS 160499 HAS SOPS 151863 HAS SOUS 57812 HAS SOUPS 55171 WITH SCORE 55331.499
AT ITER 909 NEW BEST:: SOT 210515 SOS 160432 HAS SOPS 151796 HAS SOUS 57745 HAS SOUPS 55104 WITH SCORE 55264.432
AT ITER 913 NEW BEST:: SOT 210537 SOS 160454 HAS SOPS 151818 HAS SOUS 57728 HAS SOUPS 55087 WITH SCORE 55247.454
AT ITER 915 NEW BEST:: SOT 210397 SOS 160314 HAS SOPS 151678 HAS SOUS 57700 HAS SOUPS 55059 WITH SCORE 55219.314
AT ITER 920 NEW BEST:: SOT 210385 SOS 160296 HAS SOPS 151660 HAS SOUS 57700 HAS SOUPS 55059 WITH SCORE 55219.296
AT ITER 922 NEW BEST:: SOT 210283 SOS 160194 HAS SOPS 151558 HAS SOUS 57496 HAS SOUPS 54855 WITH SCORE 55015.194
AT ITER 929 NEW BEST:: SOT 210313 SOS 160299 HAS SOPS 151738 HAS SOUS 57472 HAS SOUPS 54831 WITH SCORE 54991.299
AT ITER 930 NEW BEST:: SOT 210214 SOS 160200 HAS SOPS 151639 HAS SOUS 57339 HAS SOUPS 54698 WITH SCORE 54858.2
AT ITER 935 NEW BEST:: SOT 210244 SOS 160230 HAS SOPS 151669 HAS SOUS 57169 HAS SOUPS 54528 WITH SCORE 54688.23
AT ITER 939 NEW BEST:: SOT 210102 SOS 160012 HAS SOPS 151375 HAS SOUS 57079 HAS SOUPS 54402 WITH SCORE 54562.012
AT ITER 950 NEW BEST:: SOT 210054 SOS 160040 HAS SOPS 151403 HAS SOUS 57059 HAS SOUPS 54382 WITH SCORE 54542.04
AT ITER 960 NEW BEST:: SOT 210054 SOS 160040 HAS SOPS 151403 HAS SOUS 56999 HAS SOUPS 54322 WITH SCORE 54482.04
AT ITER 961 NEW BEST:: SOT 210044 SOS 160124 HAS SOPS 151355 HAS SOUS 56951 HAS SOUPS 54274 WITH SCORE 54434.124
AT ITER 962 NEW BEST:: SOT 209994 SOS 160074 HAS SOPS 151305 HAS SOUS 56749 HAS SOUPS 54072 WITH SCORE 54232.074
AT ITER 963 NEW BEST:: SOT 209950 SOS 160030 HAS SOPS 151261 HAS SOUS 56700 HAS SOUPS 54023 WITH SCORE 54183.03
AT ITER 967 NEW BEST:: SOT 209540 SOS 159620 HAS SOPS 150851 HAS SOUS 56348 HAS SOUPS 53671 WITH SCORE 53830.62
AT ITER 968 NEW BEST:: SOT 209467 SOS 159336 HAS SOPS 150611 HAS SOUS 56343 HAS SOUPS 53666 WITH SCORE 53825.336
AT ITER 969 NEW BEST:: SOT 209382 SOS 159764 HAS SOPS 150716 HAS SOUS 56277 HAS SOUPS 53581 WITH SCORE 53740.764
AT ITER 970 NEW BEST:: SOT 209130 SOS 159174 HAS SOPS 150126 HAS SOUS 56217 HAS SOUPS 53521 WITH SCORE 53680.174
AT ITER 971 NEW BEST:: SOT 209130 SOS 159174 HAS SOPS 150126 HAS SOUS 56129 HAS SOUPS 53433 WITH SCORE 53592.174
AT ITER 984 NEW BEST:: SOT 209250 SOS 159294 HAS SOPS 150246 HAS SOUS 55979 HAS SOUPS 53283 WITH SCORE 53442.294
AT ITER 988 NEW BEST:: SOT 209250 SOS 159294 HAS SOPS 150246 HAS SOUS 55959 HAS SOUPS 53263 WITH SCORE 53422.294
AT ITER 997 NEW BEST:: SOT 209440 SOS 159307 HAS SOPS 150259 HAS SOUS 55835 HAS SOUPS 53139 WITH SCORE 53298.307
AT ITER 1005 NEW BEST:: SOT 209440 SOS 159307 HAS SOPS 150259 HAS SOUS 55699 HAS SOUPS 53003 WITH SCORE 53162.307
AT ITER 1007 NEW BEST:: SOT 209437 SOS 159334 HAS SOPS 150286 HAS SOUS 55693 HAS SOUPS 52997 WITH SCORE 53156.334
AT ITER 1013 NEW BEST:: SOT 209415 SOS 159180 HAS SOPS 150132 HAS SOUS 55693 HAS SOUPS 52997 WITH SCORE 53156.18
AT ITER 1017 NEW BEST:: SOT 209415 SOS 159063 HAS SOPS 150015 HAS SOUS 55693 HAS SOUPS 52997 WITH SCORE 53156.063
AT ITER 1024 NEW BEST:: SOT 209741 SOS 158269 HAS SOPS 149221 HAS SOUS 55603 HAS SOUPS 52907 WITH SCORE 53065.269
AT ITER 1029 NEW BEST:: SOT 209661 SOS 158189 HAS SOPS 149141 HAS SOUS 55523 HAS SOUPS 52827 WITH SCORE 52985.189
AT ITER 1046 NEW BEST:: SOT 209634 SOS 158162 HAS SOPS 149114 HAS SOUS 55354 HAS SOUPS 52658 WITH SCORE 52816.162
AT ITER 1056 NEW BEST:: SOT 209634 SOS 158162 HAS SOPS 149114 HAS SOUS 55265 HAS SOUPS 52569 WITH SCORE 52727.162
AT ITER 1058 NEW BEST:: SOT 209634 SOS 158162 HAS SOPS 149114 HAS SOUS 55259 HAS SOUPS 52563 WITH SCORE 52721.162
AT ITER 1061 NEW BEST:: SOT 209564 SOS 158006 HAS SOPS 148958 HAS SOUS 55103 HAS SOUPS 52407 WITH SCORE 52565.006
AT ITER 1074 NEW BEST:: SOT 209533 SOS 157924 HAS SOPS 148876 HAS SOUS 55074 HAS SOUPS 52378 WITH SCORE 52535.924
AT ITER 1083 NEW BEST:: SOT 209528 SOS 157897 HAS SOPS 148849 HAS SOUS 55042 HAS SOUPS 52346 WITH SCORE 52503.897
AT ITER 1090 NEW BEST:: SOT 209528 SOS 157897 HAS SOPS 148849 HAS SOUS 55033 HAS SOUPS 52337 WITH SCORE 52494.897
AT ITER 1092 NEW BEST:: SOT 209503 SOS 157872 HAS SOPS 148824 HAS SOUS 55008 HAS SOUPS 52312 WITH SCORE 52469.872
AT ITER 1093 NEW BEST:: SOT 209476 SOS 157841 HAS SOPS 148754 HAS SOUS 54981 HAS SOUPS 52285 WITH SCORE 52442.841
AT ITER 1099 NEW BEST:: SOT 209523 SOS 157843 HAS SOPS 148756 HAS SOUS 54936 HAS SOUPS 52240 WITH SCORE 52397.843
AT ITER 1107 NEW BEST:: SOT 209523 SOS 157654 HAS SOPS 148567 HAS SOUS 54925 HAS SOUPS 52229 WITH SCORE 52386.654
AT ITER 1109 NEW BEST:: SOT 209507 SOS 157300 HAS SOPS 148213 HAS SOUS 54925 HAS SOUPS 52229 WITH SCORE 52386.3
AT ITER 1110 NEW BEST:: SOT 209499 SOS 157284 HAS SOPS 148213 HAS SOUS 54923 HAS SOUPS 52227 WITH SCORE 52384.284
AT ITER 1125 NEW BEST:: SOT 209406 SOS 157086 HAS SOPS 147910 HAS SOUS 54840 HAS SOUPS 52144 WITH SCORE 52301.086
AT ITER 1134 NEW BEST:: SOT 209358 SOS 157038 HAS SOPS 147862 HAS SOUS 54818 HAS SOUPS 52122 WITH SCORE 52279.038
AT ITER 1136 NEW BEST:: SOT 209288 SOS 156968 HAS SOPS 147792 HAS SOUS 54748 HAS SOUPS 52052 WITH SCORE 52208.968
AT ITER 1137 NEW BEST:: SOT 209226 SOS 157487 HAS SOPS 147940 HAS SOUS 54686 HAS SOUPS 51969 WITH SCORE 52126.487
AT ITER 1142 NEW BEST:: SOT 209215 SOS 157465 HAS SOPS 147918 HAS SOUS 54675 HAS SOUPS 51958 WITH SCORE 52115.465
AT ITER 1148 NEW BEST:: SOT 209169 SOS 157419 HAS SOPS 147872 HAS SOUS 54629 HAS SOUPS 51912 WITH SCORE 52069.419
AT ITER 1156 NEW BEST:: SOT 209084 SOS 157334 HAS SOPS 147787 HAS SOUS 54459 HAS SOUPS 51742 WITH SCORE 51899.334
AT ITER 1173 NEW BEST:: SOT 209002 SOS 157368 HAS SOPS 147821 HAS SOUS 54377 HAS SOUPS 51660 WITH SCORE 51817.368
AT ITER 1174 NEW BEST:: SOT 208528 SOS 156728 HAS SOPS 147181 HAS SOUS 54316 HAS SOUPS 51599 WITH SCORE 51755.728
AT ITER 1175 NEW BEST:: SOT 208525 SOS 156725 HAS SOPS 147178 HAS SOUS 54313 HAS SOUPS 51596 WITH SCORE 51752.725
AT ITER 1179 NEW BEST:: SOT 208529 SOS 156729 HAS SOPS 147182 HAS SOUS 54301 HAS SOUPS 51584 WITH SCORE 51740.729
AT ITER 1190 NEW BEST:: SOT 208505 SOS 156705 HAS SOPS 147158 HAS SOUS 54265 HAS SOUPS 51548 WITH SCORE 51704.705
AT ITER 1197 NEW BEST:: SOT 208493 SOS 156693 HAS SOPS 147140 HAS SOUS 54247 HAS SOUPS 51530 WITH SCORE 51686.693
AT ITER 1198 NEW BEST:: SOT 208467 SOS 156667 HAS SOPS 147114 HAS SOUS 54195 HAS SOUPS 51478 WITH SCORE 51634.667
AT ITER 1199 NEW BEST:: SOT 204836 SOS 154435 HAS SOPS 143467 HAS SOUS 50906 HAS SOUPS 47987 WITH SCORE 48141.435
AT ITER 1205 NEW BEST:: SOT 204725 SOS 154166 HAS SOPS 143198 HAS SOUS 50698 HAS SOUPS 47779 WITH SCORE 47933.166
AT ITER 1211 NEW BEST:: SOT 204665 SOS 154030 HAS SOPS 143062 HAS SOUS 50638 HAS SOUPS 47719 WITH SCORE 47873.03
AT ITER 1216 NEW BEST:: SOT 204510 SOS 153875 HAS SOPS 142907 HAS SOUS 50613 HAS SOUPS 47694 WITH SCORE 47847.875
AT ITER 1220 NEW BEST:: SOT 204440 SOS 153177 HAS SOPS 142209 HAS SOUS 50596 HAS SOUPS 47677 WITH SCORE 47830.177
AT ITER 1221 NEW BEST:: SOT 204456 SOS 153193 HAS SOPS 142225 HAS SOUS 50580 HAS SOUPS 47661 WITH SCORE 47814.193
AT ITER 1222 NEW BEST:: SOT 204464 SOS 153450 HAS SOPS 142399 HAS SOUS 50596 HAS SOUPS 47594 WITH SCORE 47747.45
AT ITER 1228 NEW BEST:: SOT 204432 SOS 153418 HAS SOPS 142303 HAS SOUS 50500 HAS SOUPS 47498 WITH SCORE 47651.418
AT ITER 1240 NEW BEST:: SOT 204447 SOS 153433 HAS SOPS 142316 HAS SOUS 50493 HAS SOUPS 47491 WITH SCORE 47644.433
AT ITER 1257 NEW BEST:: SOT 204447 SOS 153433 HAS SOPS 142316 HAS SOUS 50472 HAS SOUPS 47470 WITH SCORE 47623.433
AT ITER 1263 NEW BEST:: SOT 204295 SOS 153243 HAS SOPS 142126 HAS SOUS 50312 HAS SOUPS 47310 WITH SCORE 47463.243
AT ITER 1269 NEW BEST:: SOT 204250 SOS 153198 HAS SOPS 142081 HAS SOUS 50267 HAS SOUPS 47265 WITH SCORE 47418.198
AT ITER 1286 NEW BEST:: SOT 204242 SOS 153200 HAS SOPS 142083 HAS SOUS 50266 HAS SOUPS 47264 WITH SCORE 47417.2
AT ITER 1302 NEW BEST:: SOT 204120 SOS 153147 HAS SOPS 142030 HAS SOUS 50236 HAS SOUPS 47234 WITH SCORE 47387.147
AT ITER 1311 NEW BEST:: SOT 203737 SOS 153007 HAS SOPS 141651 HAS SOUS 49770 HAS SOUPS 46685 WITH SCORE 46838.007
AT ITER 1312 NEW BEST:: SOT 203762 SOS 153032 HAS SOPS 141626 HAS SOUS 49795 HAS SOUPS 46660 WITH SCORE 46813.032
AT ITER 1321 NEW BEST:: SOT 203768 SOS 153038 HAS SOPS 141632 HAS SOUS 49739 HAS SOUPS 46604 WITH SCORE 46757.038
AT ITER 1325 NEW BEST:: SOT 203657 SOS 152927 HAS SOPS 141718 HAS SOUS 49394 HAS SOUPS 46456 WITH SCORE 46608.927
AT ITER 1326 NEW BEST:: SOT 203657 SOS 152927 HAS SOPS 141718 HAS SOUS 49364 HAS SOUPS 46426 WITH SCORE 46578.927
AT ITER 1329 NEW BEST:: SOT 203348 SOS 154514 HAS SOPS 143368 HAS SOUS 49233 HAS SOUPS 46306 WITH SCORE 46460.514
AT ITER 1336 NEW BEST:: SOT 203333 SOS 154499 HAS SOPS 143353 HAS SOUS 49203 HAS SOUPS 46276 WITH SCORE 46430.499
AT ITER 1353 NEW BEST:: SOT 203362 SOS 154385 HAS SOPS 143185 HAS SOUS 49223 HAS SOUPS 46269 WITH SCORE 46423.385
AT ITER 1360 NEW BEST:: SOT 203341 SOS 154364 HAS SOPS 143164 HAS SOUS 49219 HAS SOUPS 46265 WITH SCORE 46419.364
AT ITER 1371 NEW BEST:: SOT 203341 SOS 154364 HAS SOPS 143164 HAS SOUS 49216 HAS SOUPS 46262 WITH SCORE 46416.364
AT ITER 1374 NEW BEST:: SOT 203044 SOS 153381 HAS SOPS 142181 HAS SOUS 48869 HAS SOUPS 45915 WITH SCORE 46068.381
AT ITER 1385 NEW BEST:: SOT 203035 SOS 153451 HAS SOPS 142251 HAS SOUS 48781 HAS SOUPS 45827 WITH SCORE 45980.451
AT ITER 1395 NEW BEST:: SOT 202977 SOS 153393 HAS SOPS 142193 HAS SOUS 48773 HAS SOUPS 45819 WITH SCORE 45972.393
AT ITER 1398 NEW BEST:: SOT 202950 SOS 153411 HAS SOPS 142211 HAS SOUS 48579 HAS SOUPS 45625 WITH SCORE 45778.411
AT ITER 1405 NEW BEST:: SOT 202950 SOS 153411 HAS SOPS 142211 HAS SOUS 48411 HAS SOUPS 45457 WITH SCORE 45610.411
AT ITER 1406 NEW BEST:: SOT 202899 SOS 153322 HAS SOPS 142122 HAS SOUS 48375 HAS SOUPS 45421 WITH SCORE 45574.322
AT ITER 1411 NEW BEST:: SOT 202823 SOS 153246 HAS SOPS 142046 HAS SOUS 48365 HAS SOUPS 45411 WITH SCORE 45564.246
AT ITER 1414 NEW BEST:: SOT 202724 SOS 153091 HAS SOPS 141891 HAS SOUS 48102 HAS SOUPS 45148 WITH SCORE 45301.091
AT ITER 1422 NEW BEST:: SOT 202659 SOS 153026 HAS SOPS 141826 HAS SOUS 48102 HAS SOUPS 45148 WITH SCORE 45301.026
AT ITER 1425 NEW BEST:: SOT 202583 SOS 152950 HAS SOPS 141750 HAS SOUS 47912 HAS SOUPS 44958 WITH SCORE 45110.95
AT ITER 1428 NEW BEST:: SOT 202493 SOS 152808 HAS SOPS 141608 HAS SOUS 47839 HAS SOUPS 44885 WITH SCORE 45037.808
AT ITER 1438 NEW BEST:: SOT 202457 SOS 152772 HAS SOPS 141536 HAS SOUS 47807 HAS SOUPS 44853 WITH SCORE 45005.772
AT ITER 1459 NEW BEST:: SOT 202606 SOS 152921 HAS SOPS 141685 HAS SOUS 47793 HAS SOUPS 44839 WITH SCORE 44991.921
AT ITER 1473 NEW BEST:: SOT 202579 SOS 152894 HAS SOPS 141658 HAS SOUS 47763 HAS SOUPS 44809 WITH SCORE 44961.894
AT ITER 1478 NEW BEST:: SOT 202122 SOS 152964 HAS SOPS 141301 HAS SOUS 47297 HAS SOUPS 44292 WITH SCORE 44444.964
AT ITER 1487 NEW BEST:: SOT 202197 SOS 152675 HAS SOPS 140762 HAS SOUS 47202 HAS SOUPS 44197 WITH SCORE 44349.675
AT ITER 1491 NEW BEST:: SOT 202334 SOS 152949 HAS SOPS 140762 HAS SOUS 47065 HAS SOUPS 44060 WITH SCORE 44212.949
AT ITER 1495 NEW BEST:: SOT 202453 SOS 152413 HAS SOPS 140226 HAS SOUS 46944 HAS SOUPS 43939 WITH SCORE 44091.413
AT ITER 1497 NEW BEST:: SOT 202406 SOS 152366 HAS SOPS 140179 HAS SOUS 46944 HAS SOUPS 43939 WITH SCORE 44091.366
AT ITER 1511 NEW BEST:: SOT 202427 SOS 152572 HAS SOPS 140385 HAS SOUS 46917 HAS SOUPS 43912 WITH SCORE 44064.572
AT ITER 1518 NEW BEST:: SOT 202417 SOS 152552 HAS SOPS 140365 HAS SOUS 46897 HAS SOUPS 43892 WITH SCORE 44044.552
AT ITER 1528 NEW BEST:: SOT 202000 SOS 152129 HAS SOPS 139942 HAS SOUS 46858 HAS SOUPS 43853 WITH SCORE 44005.129
AT ITER 1539 NEW BEST:: SOT 202000 SOS 152129 HAS SOPS 139942 HAS SOUS 46817 HAS SOUPS 43812 WITH SCORE 43964.129
AT ITER 1540 NEW BEST:: SOT 202000 SOS 152129 HAS SOPS 139942 HAS SOUS 46796 HAS SOUPS 43791 WITH SCORE 43943.129
AT ITER 1541 NEW BEST:: SOT 201819 SOS 151042 HAS SOPS 138855 HAS SOUS 46738 HAS SOUPS 43733 WITH SCORE 43884.042
AT ITER 1564 NEW BEST:: SOT 201786 SOS 151009 HAS SOPS 138822 HAS SOUS 46640 HAS SOUPS 43635 WITH SCORE 43786.009
AT ITER 1588 NEW BEST:: SOT 201230 SOS 153103 HAS SOPS 140981 HAS SOUS 46155 HAS SOUPS 43150 WITH SCORE 43303.103
AT ITER 1596 NEW BEST:: SOT 201225 SOS 153098 HAS SOPS 140976 HAS SOUS 46049 HAS SOUPS 43044 WITH SCORE 43197.098
AT ITER 1616 NEW BEST:: SOT 201223 SOS 153096 HAS SOPS 140974 HAS SOUS 46045 HAS SOUPS 43040 WITH SCORE 43193.096
AT ITER 1634 NEW BEST:: SOT 201223 SOS 153054 HAS SOPS 140932 HAS SOUS 46045 HAS SOUPS 43040 WITH SCORE 43193.054
AT ITER 1638 NEW BEST:: SOT 201028 SOS 152859 HAS SOPS 140737 HAS SOUS 45808 HAS SOUPS 42803 WITH SCORE 42955.859
AT ITER 1645 NEW BEST:: SOT 200918 SOS 152735 HAS SOPS 140613 HAS SOUS 45633 HAS SOUPS 42628 WITH SCORE 42780.735
AT ITER 1650 NEW BEST:: SOT 200904 SOS 152714 HAS SOPS 140592 HAS SOUS 45626 HAS SOUPS 42621 WITH SCORE 42773.714
AT ITER 1671 NEW BEST:: SOT 200901 SOS 152708 HAS SOPS 140583 HAS SOUS 45617 HAS SOUPS 42612 WITH SCORE 42764.708
AT ITER 1673 NEW BEST:: SOT 200917 SOS 152701 HAS SOPS 140564 HAS SOUS 45612 HAS SOUPS 42607 WITH SCORE 42759.701
AT ITER 1675 NEW BEST:: SOT 201080 SOS 152864 HAS SOPS 140727 HAS SOUS 45449 HAS SOUPS 42444 WITH SCORE 42596.864
AT ITER 1684 NEW BEST:: SOT 201093 SOS 152962 HAS SOPS 140825 HAS SOUS 45390 HAS SOUPS 42385 WITH SCORE 42537.962
AT ITER 1686 NEW BEST:: SOT 200949 SOS 152524 HAS SOPS 140387 HAS SOUS 45390 HAS SOUPS 42385 WITH SCORE 42537.524
AT ITER 1690 NEW BEST:: SOT 200920 SOS 152495 HAS SOPS 140358 HAS SOUS 45327 HAS SOUPS 42322 WITH SCORE 42474.495
AT ITER 1708 NEW BEST:: SOT 200882 SOS 152457 HAS SOPS 140320 HAS SOUS 45289 HAS SOUPS 42284 WITH SCORE 42436.457
AT ITER 1710 NEW BEST:: SOT 200882 SOS 152457 HAS SOPS 140320 HAS SOUS 45287 HAS SOUPS 42282 WITH SCORE 42434.457
AT ITER 1719 NEW BEST:: SOT 200882 SOS 152457 HAS SOPS 140320 HAS SOUS 45257 HAS SOUPS 42252 WITH SCORE 42404.457
AT ITER 1721 NEW BEST:: SOT 200880 SOS 152453 HAS SOPS 140316 HAS SOUS 45253 HAS SOUPS 42248 WITH SCORE 42400.453
AT ITER 1727 NEW BEST:: SOT 200707 SOS 151609 HAS SOPS 139448 HAS SOUS 45088 HAS SOUPS 42168 WITH SCORE 42319.609
AT ITER 1728 NEW BEST:: SOT 200835 SOS 151737 HAS SOPS 139576 HAS SOUS 45042 HAS SOUPS 42122 WITH SCORE 42273.737
AT ITER 1735 NEW BEST:: SOT 200778 SOS 151680 HAS SOPS 139519 HAS SOUS 44933 HAS SOUPS 42013 WITH SCORE 42164.68
AT ITER 1739 NEW BEST:: SOT 200724 SOS 151593 HAS SOPS 139373 HAS SOUS 44797 HAS SOUPS 41875 WITH SCORE 42026.593
AT ITER 1743 NEW BEST:: SOT 200724 SOS 151593 HAS SOPS 139373 HAS SOUS 44771 HAS SOUPS 41849 WITH SCORE 42000.593
AT ITER 1747 NEW BEST:: SOT 200636 SOS 151505 HAS SOPS 139285 HAS SOUS 44595 HAS SOUPS 41673 WITH SCORE 41824.505
AT ITER 1762 NEW BEST:: SOT 200501 SOS 153134 HAS SOPS 140912 HAS SOUS 44446 HAS SOUPS 41524 WITH SCORE 41677.134
AT ITER 1763 NEW BEST:: SOT 200516 SOS 153149 HAS SOPS 140927 HAS SOUS 44377 HAS SOUPS 41455 WITH SCORE 41608.149
AT ITER 1772 NEW BEST:: SOT 200388 SOS 153723 HAS SOPS 141270 HAS SOUS 44397 HAS SOUPS 41428 WITH SCORE 41581.723
AT ITER 1782 NEW BEST:: SOT 200359 SOS 153694 HAS SOPS 141241 HAS SOUS 44298 HAS SOUPS 41329 WITH SCORE 41482.694
AT ITER 1785 NEW BEST:: SOT 200351 SOS 153678 HAS SOPS 141225 HAS SOUS 44274 HAS SOUPS 41305 WITH SCORE 41458.678
AT ITER 1791 NEW BEST:: SOT 200451 SOS 153778 HAS SOPS 141190 HAS SOUS 44357 HAS SOUPS 41291 WITH SCORE 41444.778
AT ITER 1806 NEW BEST:: SOT 200306 SOS 153449 HAS SOPS 141036 HAS SOUS 44156 HAS SOUPS 41179 WITH SCORE 41332.449
AT ITER 1811 NEW BEST:: SOT 200248 SOS 153391 HAS SOPS 140978 HAS SOUS 44132 HAS SOUPS 41155 WITH SCORE 41308.391
AT ITER 1821 NEW BEST:: SOT 200218 SOS 153346 HAS SOPS 140918 HAS SOUS 44102 HAS SOUPS 41110 WITH SCORE 41263.346
AT ITER 1829 NEW BEST:: SOT 200173 SOS 153301 HAS SOPS 140873 HAS SOUS 44063 HAS SOUPS 41071 WITH SCORE 41224.301
AT ITER 1843 NEW BEST:: SOT 200215 SOS 152944 HAS SOPS 140516 HAS SOUS 43948 HAS SOUPS 40956 WITH SCORE 41108.944
AT ITER 1851 NEW BEST:: SOT 200245 SOS 152974 HAS SOPS 140542 HAS SOUS 43940 HAS SOUPS 40948 WITH SCORE 41100.974
AT ITER 1853 NEW BEST:: SOT 200241 SOS 152927 HAS SOPS 140536 HAS SOUS 43893 HAS SOUPS 40942 WITH SCORE 41094.927
AT ITER 1862 NEW BEST:: SOT 200218 SOS 152895 HAS SOPS 140495 HAS SOUS 43875 HAS SOUPS 40915 WITH SCORE 41067.895
AT ITER 1897 NEW BEST:: SOT 200254 SOS 152931 HAS SOPS 140567 HAS SOUS 43864 HAS SOUPS 40904 WITH SCORE 41056.931
AT ITER 1916 NEW BEST:: SOT 199970 SOS 152647 HAS SOPS 140283 HAS SOUS 43633 HAS SOUPS 40673 WITH SCORE 40825.647
AT ITER 1917 NEW BEST:: SOT 199944 SOS 152595 HAS SOPS 140231 HAS SOUS 43594 HAS SOUPS 40634 WITH SCORE 40786.595
AT ITER 1918 NEW BEST:: SOT 199964 SOS 152615 HAS SOPS 140251 HAS SOUS 43567 HAS SOUPS 40607 WITH SCORE 40759.615
AT ITER 1930 NEW BEST:: SOT 199944 SOS 152575 HAS SOPS 140211 HAS SOUS 43377 HAS SOUPS 40417 WITH SCORE 40569.575
AT ITER 1973 NEW BEST:: SOT 199944 SOS 152617 HAS SOPS 140235 HAS SOUS 43335 HAS SOUPS 40375 WITH SCORE 40527.617
AT ITER 1974 NEW BEST:: SOT 199711 SOS 152206 HAS SOPS 139824 HAS SOUS 43305 HAS SOUPS 40345 WITH SCORE 40497.206
AT ITER 1975 NEW BEST:: SOT 199705 SOS 152183 HAS SOPS 139801 HAS SOUS 43300 HAS SOUPS 40340 WITH SCORE 40492.183
AT ITER 1985 NEW BEST:: SOT 199644 SOS 152122 HAS SOPS 139740 HAS SOUS 43288 HAS SOUPS 40328 WITH SCORE 40480.122
AT ITER 2009 NEW BEST:: SOT 199621 SOS 152091 HAS SOPS 139709 HAS SOUS 43234 HAS SOUPS 40274 WITH SCORE 40426.091
AT ITER 2036 NEW BEST:: SOT 199616 SOS 152086 HAS SOPS 139703 HAS SOUS 43229 HAS SOUPS 40268 WITH SCORE 40420.086
AT ITER 2057 NEW BEST:: SOT 199537 SOS 152007 HAS SOPS 139624 HAS SOUS 43073 HAS SOUPS 40112 WITH SCORE 40264.007
AT ITER 2060 NEW BEST:: SOT 199537 SOS 152007 HAS SOPS 139624 HAS SOUS 43007 HAS SOUPS 40046 WITH SCORE 40198.007
AT ITER 2068 NEW BEST:: SOT 199441 SOS 151880 HAS SOPS 139497 HAS SOUS 42740 HAS SOUPS 39779 WITH SCORE 39930.88
AT ITER 2070 NEW BEST:: SOT 199441 SOS 151880 HAS SOPS 139497 HAS SOUS 42643 HAS SOUPS 39682 WITH SCORE 39833.88
AT ITER 2072 NEW BEST:: SOT 199464 SOS 151934 HAS SOPS 139551 HAS SOUS 42627 HAS SOUPS 39666 WITH SCORE 39817.934
AT ITER 2097 NEW BEST:: SOT 199458 SOS 151928 HAS SOPS 139545 HAS SOUS 42623 HAS SOUPS 39662 WITH SCORE 39813.928
AT ITER 2102 NEW BEST:: SOT 199523 SOS 152029 HAS SOPS 139646 HAS SOUS 42573 HAS SOUPS 39612 WITH SCORE 39764.029
AT ITER 2105 NEW BEST:: SOT 199591 SOS 152097 HAS SOPS 139714 HAS SOUS 42503 HAS SOUPS 39542 WITH SCORE 39694.097
AT ITER 2117 NEW BEST:: SOT 199589 SOS 152095 HAS SOPS 139706 HAS SOUS 42501 HAS SOUPS 39534 WITH SCORE 39686.095
AT ITER 2119 NEW BEST:: SOT 199575 SOS 152081 HAS SOPS 139692 HAS SOUS 42380 HAS SOUPS 39413 WITH SCORE 39565.081
AT ITER 2138 NEW BEST:: SOT 199585 SOS 152091 HAS SOPS 139702 HAS SOUS 42358 HAS SOUPS 39391 WITH SCORE 39543.091
AT ITER 2158 NEW BEST:: SOT 199583 SOS 152089 HAS SOPS 139700 HAS SOUS 42354 HAS SOUPS 39387 WITH SCORE 39539.089
AT ITER 2179 NEW BEST:: SOT 199573 SOS 152079 HAS SOPS 139690 HAS SOUS 42344 HAS SOUPS 39377 WITH SCORE 39529.079
AT ITER 2183 NEW BEST:: SOT 199663 SOS 152401 HAS SOPS 139780 HAS SOUS 42477 HAS SOUPS 39297 WITH SCORE 39449.401
AT ITER 2184 NEW BEST:: SOT 199663 SOS 152401 HAS SOPS 139678 HAS SOUS 42426 HAS SOUPS 39246 WITH SCORE 39398.401
AT ITER 2185 NEW BEST:: SOT 199569 SOS 152307 HAS SOPS 139584 HAS SOUS 42347 HAS SOUPS 39167 WITH SCORE 39319.307
AT ITER 2223 NEW BEST:: SOT 199729 SOS 152319 HAS SOPS 138972 HAS SOUS 42534 HAS SOUPS 39063 WITH SCORE 39215.319
AT ITER 2227 NEW BEST:: SOT 199653 SOS 152243 HAS SOPS 138930 HAS SOUS 42490 HAS SOUPS 39019 WITH SCORE 39171.243
AT ITER 2236 NEW BEST:: SOT 199591 SOS 152119 HAS SOPS 138806 HAS SOUS 42459 HAS SOUPS 38988 WITH SCORE 39140.119
AT ITER 2243 NEW BEST:: SOT 199523 SOS 152051 HAS SOPS 138738 HAS SOUS 42388 HAS SOUPS 38917 WITH SCORE 39069.051
AT ITER 2261 NEW BEST:: SOT 199523 SOS 152051 HAS SOPS 138738 HAS SOUS 42377 HAS SOUPS 38906 WITH SCORE 39058.051
AT ITER 2266 NEW BEST:: SOT 199533 SOS 152061 HAS SOPS 138748 HAS SOUS 42305 HAS SOUPS 38834 WITH SCORE 38986.061
AT ITER 2269 NEW BEST:: SOT 199329 SOS 151673 HAS SOPS 138360 HAS SOUS 42009 HAS SOUPS 38538 WITH SCORE 38689.673
AT ITER 2275 NEW BEST:: SOT 199327 SOS 151671 HAS SOPS 138358 HAS SOUS 42005 HAS SOUPS 38534 WITH SCORE 38685.671
AT ITER 2291 NEW BEST:: SOT 199311 SOS 151479 HAS SOPS 138166 HAS SOUS 41957 HAS SOUPS 38486 WITH SCORE 38637.479
AT ITER 2301 NEW BEST:: SOT 199325 SOS 151493 HAS SOPS 138180 HAS SOUS 41897 HAS SOUPS 38426 WITH SCORE 38577.493
AT ITER 2339 NEW BEST:: SOT 199337 SOS 151519 HAS SOPS 138206 HAS SOUS 41893 HAS SOUPS 38422 WITH SCORE 38573.519
AT ITER 2344 NEW BEST:: SOT 199297 SOS 151479 HAS SOPS 138166 HAS SOUS 41737 HAS SOUPS 38266 WITH SCORE 38417.479
AT ITER 2352 NEW BEST:: SOT 199369 SOS 151551 HAS SOPS 138238 HAS SOUS 41605 HAS SOUPS 38134 WITH SCORE 38285.551
AT ITER 2359 NEW BEST:: SOT 199369 SOS 151573 HAS SOPS 138260 HAS SOUS 41577 HAS SOUPS 38106 WITH SCORE 38257.573
AT ITER 2362 NEW BEST:: SOT 199363 SOS 151561 HAS SOPS 138248 HAS SOUS 41577 HAS SOUPS 38106 WITH SCORE 38257.561
AT ITER 2370 NEW BEST:: SOT 199308 SOS 151506 HAS SOPS 138193 HAS SOUS 41522 HAS SOUPS 38051 WITH SCORE 38202.506
AT ITER 2375 NEW BEST:: SOT 199200 SOS 151419 HAS SOPS 138106 HAS SOUS 41358 HAS SOUPS 37887 WITH SCORE 38038.419
AT ITER 2381 NEW BEST:: SOT 199255 SOS 151474 HAS SOPS 138349 HAS SOUS 41280 HAS SOUPS 37809 WITH SCORE 37960.474
AT ITER 2391 NEW BEST:: SOT 199185 SOS 151355 HAS SOPS 138294 HAS SOUS 41264 HAS SOUPS 37793 WITH SCORE 37944.355
AT ITER 2403 NEW BEST:: SOT 199185 SOS 151377 HAS SOPS 138316 HAS SOUS 41238 HAS SOUPS 37767 WITH SCORE 37918.377
AT ITER 2427 NEW BEST:: SOT 199299 SOS 151560 HAS SOPS 138499 HAS SOUS 41185 HAS SOUPS 37714 WITH SCORE 37865.56
AT ITER 2429 NEW BEST:: SOT 199267 SOS 151528 HAS SOPS 138467 HAS SOUS 41155 HAS SOUPS 37684 WITH SCORE 37835.528
AT ITER 2435 NEW BEST:: SOT 199267 SOS 151528 HAS SOPS 138467 HAS SOUS 41154 HAS SOUPS 37683 WITH SCORE 37834.528
AT ITER 2443 NEW BEST:: SOT 199441 SOS 151702 HAS SOPS 138641 HAS SOUS 41043 HAS SOUPS 37572 WITH SCORE 37723.702
AT ITER 2454 NEW BEST:: SOT 199390 SOS 151604 HAS SOPS 138496 HAS SOUS 41016 HAS SOUPS 37545 WITH SCORE 37696.604
AT ITER 2462 NEW BEST:: SOT 199444 SOS 151717 HAS SOPS 138697 HAS SOUS 40875 HAS SOUPS 37492 WITH SCORE 37643.717
AT ITER 2466 NEW BEST:: SOT 199411 SOS 151684 HAS SOPS 138664 HAS SOUS 40844 HAS SOUPS 37461 WITH SCORE 37612.684
AT ITER 2469 NEW BEST:: SOT 199411 SOS 151692 HAS SOPS 138672 HAS SOUS 40840 HAS SOUPS 37457 WITH SCORE 37608.692
AT ITER 2492 NEW BEST:: SOT 199410 SOS 151691 HAS SOPS 138671 HAS SOUS 40817 HAS SOUPS 37434 WITH SCORE 37585.691
AT ITER 2498 NEW BEST:: SOT 199370 SOS 151651 HAS SOPS 138631 HAS SOUS 40721 HAS SOUPS 37338 WITH SCORE 37489.651
AT ITER 2514 NEW BEST:: SOT 199368 SOS 151649 HAS SOPS 138733 HAS SOUS 40717 HAS SOUPS 37334 WITH SCORE 37485.649
AT ITER 2524 NEW BEST:: SOT 199364 SOS 151633 HAS SOPS 138685 HAS SOUS 40733 HAS SOUPS 37318 WITH SCORE 37469.633
AT ITER 2529 NEW BEST:: SOT 199370 SOS 151639 HAS SOPS 138691 HAS SOUS 40692 HAS SOUPS 37277 WITH SCORE 37428.639
AT ITER 2552 NEW BEST:: SOT 199377 SOS 151491 HAS SOPS 138543 HAS SOUS 40579 HAS SOUPS 37164 WITH SCORE 37315.491
AT ITER 2562 NEW BEST:: SOT 199349 SOS 151456 HAS SOPS 138515 HAS SOUS 40537 HAS SOUPS 37129 WITH SCORE 37280.456
AT ITER 2568 NEW BEST:: SOT 199313 SOS 151420 HAS SOPS 138479 HAS SOUS 40531 HAS SOUPS 37123 WITH SCORE 37274.42
AT ITER 2569 NEW BEST:: SOT 199118 SOS 151175 HAS SOPS 138234 HAS SOUS 40331 HAS SOUPS 36923 WITH SCORE 37074.175
AT ITER 2576 NEW BEST:: SOT 199093 SOS 151134 HAS SOPS 138193 HAS SOUS 40274 HAS SOUPS 36866 WITH SCORE 37017.134
AT ITER 2577 NEW BEST:: SOT 199111 SOS 151152 HAS SOPS 138211 HAS SOUS 40258 HAS SOUPS 36850 WITH SCORE 37001.152
AT ITER 2613 NEW BEST:: SOT 199111 SOS 151145 HAS SOPS 138204 HAS SOUS 40258 HAS SOUPS 36850 WITH SCORE 37001.145
AT ITER 2620 NEW BEST:: SOT 199103 SOS 151133 HAS SOPS 138188 HAS SOUS 40250 HAS SOUPS 36838 WITH SCORE 36989.133
AT ITER 2643 NEW BEST:: SOT 199107 SOS 151123 HAS SOPS 138148 HAS SOUS 40229 HAS SOUPS 36817 WITH SCORE 36968.123
AT ITER 2658 NEW BEST:: SOT 199115 SOS 151073 HAS SOPS 138018 HAS SOUS 40229 HAS SOUPS 36768 WITH SCORE 36919.073
AT ITER 2661 NEW BEST:: SOT 198982 SOS 150913 HAS SOPS 137831 HAS SOUS 40148 HAS SOUPS 36687 WITH SCORE 36837.913
AT ITER 2675 NEW BEST:: SOT 198888 SOS 150772 HAS SOPS 137643 HAS SOUS 40007 HAS SOUPS 36546 WITH SCORE 36696.772
AT ITER 2677 NEW BEST:: SOT 198946 SOS 150830 HAS SOPS 137701 HAS SOUS 39978 HAS SOUPS 36517 WITH SCORE 36667.83
AT ITER 2686 NEW BEST:: SOT 198878 SOS 150762 HAS SOPS 137633 HAS SOUS 39975 HAS SOUPS 36514 WITH SCORE 36664.762
AT ITER 2699 NEW BEST:: SOT 198850 SOS 150720 HAS SOPS 137577 HAS SOUS 39933 HAS SOUPS 36472 WITH SCORE 36622.72
AT ITER 2707 NEW BEST:: SOT 199045 SOS 150990 HAS SOPS 137922 HAS SOUS 39918 HAS SOUPS 36457 WITH SCORE 36607.99
AT ITER 2712 NEW BEST:: SOT 199026 SOS 150971 HAS SOPS 137903 HAS SOUS 39895 HAS SOUPS 36434 WITH SCORE 36584.971
AT ITER 2728 NEW BEST:: SOT 199020 SOS 150965 HAS SOPS 137897 HAS SOUS 39883 HAS SOUPS 36422 WITH SCORE 36572.965
AT ITER 2735 NEW BEST:: SOT 199018 SOS 150972 HAS SOPS 137908 HAS SOUS 39881 HAS SOUPS 36420 WITH SCORE 36570.972
AT ITER 2740 NEW BEST:: SOT 199011 SOS 150573 HAS SOPS 137509 HAS SOUS 39874 HAS SOUPS 36413 WITH SCORE 36563.573
AT ITER 2741 NEW BEST:: SOT 199006 SOS 150568 HAS SOPS 137504 HAS SOUS 39874 HAS SOUPS 36413 WITH SCORE 36563.568
AT ITER 2743 NEW BEST:: SOT 198988 SOS 150550 HAS SOPS 137486 HAS SOUS 39856 HAS SOUPS 36395 WITH SCORE 36545.55
AT ITER 2754 NEW BEST:: SOT 198981 SOS 150543 HAS SOPS 137479 HAS SOUS 39849 HAS SOUPS 36388 WITH SCORE 36538.543
AT ITER 2764 NEW BEST:: SOT 198966 SOS 150528 HAS SOPS 137464 HAS SOUS 39825 HAS SOUPS 36364 WITH SCORE 36514.528
AT ITER 2775 NEW BEST:: SOT 198996 SOS 150653 HAS SOPS 137684 HAS SOUS 39740 HAS SOUPS 36329 WITH SCORE 36479.653
AT ITER 2793 NEW BEST:: SOT 198988 SOS 150645 HAS SOPS 137676 HAS SOUS 39736 HAS SOUPS 36325 WITH SCORE 36475.645
AT ITER 2795 NEW BEST:: SOT 198754 SOS 150411 HAS SOPS 137930 HAS SOUS 39502 HAS SOUPS 36213 WITH SCORE 36363.411
AT ITER 2805 NEW BEST:: SOT 198709 SOS 150366 HAS SOPS 137885 HAS SOUS 39502 HAS SOUPS 36213 WITH SCORE 36363.366
AT ITER 2820 NEW BEST:: SOT 198706 SOS 150363 HAS SOPS 137882 HAS SOUS 39457 HAS SOUPS 36168 WITH SCORE 36318.363
AT ITER 2822 NEW BEST:: SOT 198706 SOS 150363 HAS SOPS 137828 HAS SOUS 39430 HAS SOUPS 36141 WITH SCORE 36291.363
AT ITER 2823 NEW BEST:: SOT 198640 SOS 150325 HAS SOPS 137790 HAS SOUS 39375 HAS SOUPS 36086 WITH SCORE 36236.325
AT ITER 2835 NEW BEST:: SOT 198628 SOS 150313 HAS SOPS 137778 HAS SOUS 39363 HAS SOUPS 36074 WITH SCORE 36224.313
AT ITER 2841 NEW BEST:: SOT 198485 SOS 150196 HAS SOPS 137661 HAS SOUS 39137 HAS SOUPS 35848 WITH SCORE 35998.196
AT ITER 2848 NEW BEST:: SOT 198485 SOS 150196 HAS SOPS 137661 HAS SOUS 38990 HAS SOUPS 35701 WITH SCORE 35851.196
AT ITER 2863 NEW BEST:: SOT 198491 SOS 150202 HAS SOPS 137667 HAS SOUS 38786 HAS SOUPS 35497 WITH SCORE 35647.202
AT ITER 2886 NEW BEST:: SOT 198586 SOS 150297 HAS SOPS 137762 HAS SOUS 38655 HAS SOUPS 35366 WITH SCORE 35516.297
AT ITER 2891 NEW BEST:: SOT 198588 SOS 150299 HAS SOPS 137764 HAS SOUS 38602 HAS SOUPS 35313 WITH SCORE 35463.299
AT ITER 2893 NEW BEST:: SOT 198537 SOS 150248 HAS SOPS 137713 HAS SOUS 38540 HAS SOUPS 35251 WITH SCORE 35401.248
AT ITER 2899 NEW BEST:: SOT 198555 SOS 150266 HAS SOPS 137731 HAS SOUS 38525 HAS SOUPS 35236 WITH SCORE 35386.266
AT ITER 2902 NEW BEST:: SOT 198543 SOS 150254 HAS SOPS 137715 HAS SOUS 38513 HAS SOUPS 35220 WITH SCORE 35370.254
AT ITER 2910 NEW BEST:: SOT 198341 SOS 150045 HAS SOPS 137506 HAS SOUS 38053 HAS SOUPS 34760 WITH SCORE 34910.045
AT ITER 2918 NEW BEST:: SOT 198264 SOS 149901 HAS SOPS 137362 HAS SOUS 38053 HAS SOUPS 34760 WITH SCORE 34909.901
AT ITER 2919 NEW BEST:: SOT 198264 SOS 149887 HAS SOPS 137348 HAS SOUS 38046 HAS SOUPS 34753 WITH SCORE 34902.887
AT ITER 2944 NEW BEST:: SOT 198250 SOS 149847 HAS SOPS 137308 HAS SOUS 38033 HAS SOUPS 34740 WITH SCORE 34889.847
AT ITER 2945 NEW BEST:: SOT 198269 SOS 149866 HAS SOPS 137289 HAS SOUS 38018 HAS SOUPS 34725 WITH SCORE 34874.866
AT ITER 2952 NEW BEST:: SOT 198186 SOS 149787 HAS SOPS 137210 HAS SOUS 37790 HAS SOUPS 34497 WITH SCORE 34646.787
AT ITER 2960 NEW BEST:: SOT 198176 SOS 149777 HAS SOPS 137200 HAS SOUS 37750 HAS SOUPS 34457 WITH SCORE 34606.777
AT ITER 2978 NEW BEST:: SOT 198143 SOS 149744 HAS SOPS 137167 HAS SOUS 37660 HAS SOUPS 34367 WITH SCORE 34516.744
AT ITER 2983 NEW BEST:: SOT 198125 SOS 148050 HAS SOPS 135476 HAS SOUS 37634 HAS SOUPS 34341 WITH SCORE 34489.05
AT ITER 2995 NEW BEST:: SOT 198080 SOS 148003 HAS SOPS 135429 HAS SOUS 37560 HAS SOUPS 34267 WITH SCORE 34415.003
AT ITER 3011 NEW BEST:: SOT 198077 SOS 148000 HAS SOPS 135426 HAS SOUS 37534 HAS SOUPS 34241 WITH SCORE 34389.0
AT ITER 3013 NEW BEST:: SOT 197995 SOS 147938 HAS SOPS 135422 HAS SOUS 37495 HAS SOUPS 34237 WITH SCORE 34384.938
AT ITER 3016 NEW BEST:: SOT 197987 SOS 147930 HAS SOPS 135414 HAS SOUS 37487 HAS SOUPS 34229 WITH SCORE 34376.93
AT ITER 3030 NEW BEST:: SOT 197904 SOS 147813 HAS SOPS 135297 HAS SOUS 37466 HAS SOUPS 34208 WITH SCORE 34355.813
AT ITER 3049 NEW BEST:: SOT 197956 SOS 147865 HAS SOPS 135349 HAS SOUS 37461 HAS SOUPS 34203 WITH SCORE 34350.865
AT ITER 3052 NEW BEST:: SOT 197857 SOS 147714 HAS SOPS 135198 HAS SOUS 37316 HAS SOUPS 34058 WITH SCORE 34205.714
AT ITER 3061 NEW BEST:: SOT 197892 SOS 147749 HAS SOPS 135233 HAS SOUS 37246 HAS SOUPS 33988 WITH SCORE 34135.749
AT ITER 3069 NEW BEST:: SOT 197849 SOS 147706 HAS SOPS 135190 HAS SOUS 37122 HAS SOUPS 33864 WITH SCORE 34011.706
AT ITER 3075 NEW BEST:: SOT 197836 SOS 147693 HAS SOPS 135177 HAS SOUS 37072 HAS SOUPS 33814 WITH SCORE 33961.693
AT ITER 3085 NEW BEST:: SOT 197814 SOS 147660 HAS SOPS 135133 HAS SOUS 37039 HAS SOUPS 33781 WITH SCORE 33928.66
AT ITER 3119 NEW BEST:: SOT 197793 SOS 147618 HAS SOPS 135070 HAS SOUS 37039 HAS SOUPS 33781 WITH SCORE 33928.618
AT ITER 3120 NEW BEST:: SOT 197821 SOS 147733 HAS SOPS 135185 HAS SOUS 36916 HAS SOUPS 33658 WITH SCORE 33805.733
AT ITER 3126 NEW BEST:: SOT 197810 SOS 147722 HAS SOPS 135174 HAS SOUS 36849 HAS SOUPS 33591 WITH SCORE 33738.722
AT ITER 3159 NEW BEST:: SOT 197757 SOS 147669 HAS SOPS 135121 HAS SOUS 36848 HAS SOUPS 33590 WITH SCORE 33737.669
AT ITER 3175 NEW BEST:: SOT 197736 SOS 147648 HAS SOPS 135100 HAS SOUS 36827 HAS SOUPS 33569 WITH SCORE 33716.648
AT ITER 3232 NEW BEST:: SOT 197702 SOS 147609 HAS SOPS 135155 HAS SOUS 36782 HAS SOUPS 33524 WITH SCORE 33671.609
AT ITER 3233 NEW BEST:: SOT 197590 SOS 147497 HAS SOPS 135157 HAS SOUS 36744 HAS SOUPS 33486 WITH SCORE 33633.497
AT ITER 3250 NEW BEST:: SOT 197449 SOS 147540 HAS SOPS 135200 HAS SOUS 36662 HAS SOUPS 33404 WITH SCORE 33551.54
AT ITER 3261 NEW BEST:: SOT 197461 SOS 147552 HAS SOPS 135160 HAS SOUS 36660 HAS SOUPS 33402 WITH SCORE 33549.552
AT ITER 3283 NEW BEST:: SOT 197446 SOS 147537 HAS SOPS 135145 HAS SOUS 36630 HAS SOUPS 33372 WITH SCORE 33519.537
AT ITER 3358 NEW BEST:: SOT 197446 SOS 147537 HAS SOPS 135145 HAS SOUS 36576 HAS SOUPS 33318 WITH SCORE 33465.537
AT ITER 3360 NEW BEST:: SOT 197428 SOS 147519 HAS SOPS 135109 HAS SOUS 36540 HAS SOUPS 33282 WITH SCORE 33429.519
AT ITER 3392 NEW BEST:: SOT 197424 SOS 147515 HAS SOPS 135097 HAS SOUS 36532 HAS SOUPS 33274 WITH SCORE 33421.515
AT ITER 3398 NEW BEST:: SOT 197421 SOS 147512 HAS SOPS 135094 HAS SOUS 36526 HAS SOUPS 33268 WITH SCORE 33415.512
AT ITER 3399 NEW BEST:: SOT 197418 SOS 147485 HAS SOPS 135067 HAS SOUS 36520 HAS SOUPS 33262 WITH SCORE 33409.485
AT ITER 3422 NEW BEST:: SOT 197655 SOS 147867 HAS SOPS 135449 HAS SOUS 36467 HAS SOUPS 33209 WITH SCORE 33356.867
AT ITER 3426 NEW BEST:: SOT 197633 SOS 147845 HAS SOPS 135375 HAS SOUS 36471 HAS SOUPS 33187 WITH SCORE 33334.845
AT ITER 3454 NEW BEST:: SOT 197704 SOS 147756 HAS SOPS 135286 HAS SOUS 36462 HAS SOUPS 33178 WITH SCORE 33325.756
AT ITER 3468 NEW BEST:: SOT 197644 SOS 147696 HAS SOPS 135226 HAS SOUS 36437 HAS SOUPS 33153 WITH SCORE 33300.696
AT ITER 3498 NEW BEST:: SOT 197643 SOS 147693 HAS SOPS 135223 HAS SOUS 36434 HAS SOUPS 33150 WITH SCORE 33297.693
AT ITER 3501 NEW BEST:: SOT 197552 SOS 147609 HAS SOPS 135139 HAS SOUS 36408 HAS SOUPS 33124 WITH SCORE 33271.609
AT ITER 3507 NEW BEST:: SOT 197726 SOS 147675 HAS SOPS 135205 HAS SOUS 36391 HAS SOUPS 33107 WITH SCORE 33254.675
AT ITER 3537 NEW BEST:: SOT 197726 SOS 147645 HAS SOPS 135175 HAS SOUS 36381 HAS SOUPS 33097 WITH SCORE 33244.645
AT ITER 3559 NEW BEST:: SOT 197759 SOS 147678 HAS SOPS 135208 HAS SOUS 36348 HAS SOUPS 33064 WITH SCORE 33211.678
AT ITER 3573 NEW BEST:: SOT 197757 SOS 147676 HAS SOPS 135206 HAS SOUS 36344 HAS SOUPS 33060 WITH SCORE 33207.676
AT ITER 3603 NEW BEST:: SOT 197707 SOS 147636 HAS SOPS 135272 HAS SOUS 36336 HAS SOUPS 33052 WITH SCORE 33199.636
AT ITER 3611 NEW BEST:: SOT 197564 SOS 147493 HAS SOPS 135129 HAS SOUS 36336 HAS SOUPS 33052 WITH SCORE 33199.493
AT ITER 3632 NEW BEST:: SOT 197578 SOS 147507 HAS SOPS 135143 HAS SOUS 36242 HAS SOUPS 32958 WITH SCORE 33105.507
AT ITER 3650 NEW BEST:: SOT 197565 SOS 147376 HAS SOPS 135012 HAS SOUS 36229 HAS SOUPS 32945 WITH SCORE 33092.376
AT ITER 3669 NEW BEST:: SOT 197555 SOS 147366 HAS SOPS 135002 HAS SOUS 36156 HAS SOUPS 32872 WITH SCORE 33019.366
AT ITER 3707 NEW BEST:: SOT 197627 SOS 147438 HAS SOPS 135074 HAS SOUS 36139 HAS SOUPS 32855 WITH SCORE 33002.438
AT ITER 3711 NEW BEST:: SOT 197704 SOS 147474 HAS SOPS 135110 HAS SOUS 36108 HAS SOUPS 32824 WITH SCORE 32971.474
AT ITER 3732 NEW BEST:: SOT 197701 SOS 147471 HAS SOPS 135107 HAS SOUS 36105 HAS SOUPS 32821 WITH SCORE 32968.471
AT ITER 3736 NEW BEST:: SOT 197480 SOS 146945 HAS SOPS 134577 HAS SOUS 35955 HAS SOUPS 32671 WITH SCORE 32817.945
AT ITER 3738 NEW BEST:: SOT 197454 SOS 146867 HAS SOPS 134499 HAS SOUS 35942 HAS SOUPS 32658 WITH SCORE 32804.867
AT ITER 3759 NEW BEST:: SOT 197453 SOS 146865 HAS SOPS 134498 HAS SOUS 35940 HAS SOUPS 32657 WITH SCORE 32803.865
AT ITER 3778 NEW BEST:: SOT 197459 SOS 146871 HAS SOPS 134504 HAS SOUS 35939 HAS SOUPS 32656 WITH SCORE 32802.871
AT ITER 3782 NEW BEST:: SOT 197426 SOS 146780 HAS SOPS 134413 HAS SOUS 35907 HAS SOUPS 32624 WITH SCORE 32770.78
AT ITER 3790 NEW BEST:: SOT 197471 SOS 146873 HAS SOPS 134506 HAS SOUS 35798 HAS SOUPS 32515 WITH SCORE 32661.873
AT ITER 3792 NEW BEST:: SOT 197393 SOS 146795 HAS SOPS 134428 HAS SOUS 35642 HAS SOUPS 32359 WITH SCORE 32505.795
AT ITER 3810 NEW BEST:: SOT 197405 SOS 146792 HAS SOPS 134425 HAS SOUS 35614 HAS SOUPS 32331 WITH SCORE 32477.792
AT ITER 3815 NEW BEST:: SOT 197405 SOS 146780 HAS SOPS 134327 HAS SOUS 35572 HAS SOUPS 32289 WITH SCORE 32435.78
AT ITER 3819 NEW BEST:: SOT 197410 SOS 146795 HAS SOPS 134334 HAS SOUS 35569 HAS SOUPS 32286 WITH SCORE 32432.795
AT ITER 3845 NEW BEST:: SOT 197436 SOS 146879 HAS SOPS 134360 HAS SOUS 35563 HAS SOUPS 32222 WITH SCORE 32368.879
AT ITER 3846 NEW BEST:: SOT 197419 SOS 146862 HAS SOPS 134377 HAS SOUS 35546 HAS SOUPS 32205 WITH SCORE 32351.862
AT ITER 3870 NEW BEST:: SOT 197453 SOS 146896 HAS SOPS 134411 HAS SOUS 35534 HAS SOUPS 32193 WITH SCORE 32339.896
AT ITER 3890 NEW BEST:: SOT 197461 SOS 146904 HAS SOPS 134434 HAS SOUS 35512 HAS SOUPS 32186 WITH SCORE 32332.904
AT ITER 3914 NEW BEST:: SOT 197417 SOS 146785 HAS SOPS 134315 HAS SOUS 35493 HAS SOUPS 32167 WITH SCORE 32313.785
AT ITER 3924 NEW BEST:: SOT 197421 SOS 146789 HAS SOPS 134319 HAS SOUS 35489 HAS SOUPS 32163 WITH SCORE 32309.789
AT ITER 3940 NEW BEST:: SOT 197421 SOS 146789 HAS SOPS 134319 HAS SOUS 35385 HAS SOUPS 32059 WITH SCORE 32205.789
AT ITER 3941 NEW BEST:: SOT 197588 SOS 147691 HAS SOPS 134405 HAS SOUS 35443 HAS SOUPS 31846 WITH SCORE 31993.691
AT ITER 3954 NEW BEST:: SOT 197563 SOS 147638 HAS SOPS 134372 HAS SOUS 35438 HAS SOUPS 31841 WITH SCORE 31988.638
AT ITER 3978 NEW BEST:: SOT 197530 SOS 147573 HAS SOPS 134239 HAS SOUS 35427 HAS SOUPS 31807 WITH SCORE 31954.573
AT ITER 4014 NEW BEST:: SOT 197391 SOS 147334 HAS SOPS 134000 HAS SOUS 35253 HAS SOUPS 31633 WITH SCORE 31780.334
AT ITER 4023 NEW BEST:: SOT 197379 SOS 147415 HAS SOPS 134081 HAS SOUS 35228 HAS SOUPS 31608 WITH SCORE 31755.415
AT ITER 4050 NEW BEST:: SOT 197367 SOS 147409 HAS SOPS 134075 HAS SOUS 35204 HAS SOUPS 31584 WITH SCORE 31731.409
AT ITER 4060 NEW BEST:: SOT 197362 SOS 147404 HAS SOPS 134070 HAS SOUS 35193 HAS SOUPS 31573 WITH SCORE 31720.404
AT ITER 4064 NEW BEST:: SOT 197320 SOS 147362 HAS SOPS 134028 HAS SOUS 35109 HAS SOUPS 31489 WITH SCORE 31636.362
AT ITER 4071 NEW BEST:: SOT 197269 SOS 147275 HAS SOPS 133961 HAS SOUS 35078 HAS SOUPS 31458 WITH SCORE 31605.275
AT ITER 4079 NEW BEST:: SOT 197207 SOS 147213 HAS SOPS 133899 HAS SOUS 35078 HAS SOUPS 31458 WITH SCORE 31605.213
AT ITER 4087 NEW BEST:: SOT 197135 SOS 147093 HAS SOPS 133779 HAS SOUS 34934 HAS SOUPS 31314 WITH SCORE 31461.093
AT ITER 4107 NEW BEST:: SOT 197131 SOS 147089 HAS SOPS 133775 HAS SOUS 34926 HAS SOUPS 31306 WITH SCORE 31453.089
AT ITER 4113 NEW BEST:: SOT 197131 SOS 147053 HAS SOPS 133731 HAS SOUS 34926 HAS SOUPS 31302 WITH SCORE 31449.053
AT ITER 4120 NEW BEST:: SOT 197129 SOS 147044 HAS SOPS 133722 HAS SOUS 34919 HAS SOUPS 31295 WITH SCORE 31442.044
AT ITER 4126 NEW BEST:: SOT 197128 SOS 147105 HAS SOPS 133783 HAS SOUS 34916 HAS SOUPS 31292 WITH SCORE 31439.105
AT ITER 4138 NEW BEST:: SOT 197102 SOS 147079 HAS SOPS 133757 HAS SOUS 34890 HAS SOUPS 31266 WITH SCORE 31413.079
AT ITER 4147 NEW BEST:: SOT 196956 SOS 146952 HAS SOPS 133740 HAS SOUS 34744 HAS SOUPS 31175 WITH SCORE 31321.952
AT ITER 4151 NEW BEST:: SOT 196926 SOS 146922 HAS SOPS 133695 HAS SOUS 34714 HAS SOUPS 31130 WITH SCORE 31276.922
AT ITER 4176 NEW BEST:: SOT 196937 SOS 146933 HAS SOPS 133706 HAS SOUS 34691 HAS SOUPS 31107 WITH SCORE 31253.933
AT ITER 4180 NEW BEST:: SOT 196946 SOS 146937 HAS SOPS 133710 HAS SOUS 34688 HAS SOUPS 31104 WITH SCORE 31250.937
AT ITER 4201 NEW BEST:: SOT 197010 SOS 147005 HAS SOPS 133778 HAS SOUS 34670 HAS SOUPS 31086 WITH SCORE 31233.005
AT ITER 4202 NEW BEST:: SOT 197007 SOS 146999 HAS SOPS 133772 HAS SOUS 34670 HAS SOUPS 31086 WITH SCORE 31232.999
AT ITER 4222 NEW BEST:: SOT 197007 SOS 145693 HAS SOPS 132466 HAS SOUS 34649 HAS SOUPS 31065 WITH SCORE 31210.693
AT ITER 4235 NEW BEST:: SOT 197050 SOS 145790 HAS SOPS 132563 HAS SOUS 34521 HAS SOUPS 30937 WITH SCORE 31082.79
AT ITER 4244 NEW BEST:: SOT 196504 SOS 145084 HAS SOPS 133111 HAS SOUS 34091 HAS SOUPS 30695 WITH SCORE 30840.084
AT ITER 4260 NEW BEST:: SOT 196510 SOS 145090 HAS SOPS 133117 HAS SOUS 34082 HAS SOUPS 30686 WITH SCORE 30831.09
AT ITER 4281 NEW BEST:: SOT 196466 SOS 145069 HAS SOPS 133122 HAS SOUS 34079 HAS SOUPS 30683 WITH SCORE 30828.069
AT ITER 4309 NEW BEST:: SOT 196460 SOS 145063 HAS SOPS 133116 HAS SOUS 34067 HAS SOUPS 30671 WITH SCORE 30816.063
AT ITER 4329 NEW BEST:: SOT 196455 SOS 145058 HAS SOPS 133111 HAS SOUS 34057 HAS SOUPS 30661 WITH SCORE 30806.058
AT ITER 4338 NEW BEST:: SOT 196579 SOS 145182 HAS SOPS 133235 HAS SOUS 33991 HAS SOUPS 30595 WITH SCORE 30740.182
AT ITER 4364 NEW BEST:: SOT 196576 SOS 145182 HAS SOPS 133238 HAS SOUS 33988 HAS SOUPS 30592 WITH SCORE 30737.182
AT ITER 4369 NEW BEST:: SOT 196474 SOS 145075 HAS SOPS 133126 HAS SOUS 33985 HAS SOUPS 30584 WITH SCORE 30729.075
AT ITER 4387 NEW BEST:: SOT 196502 SOS 145103 HAS SOPS 133154 HAS SOUS 33973 HAS SOUPS 30572 WITH SCORE 30717.103
AT ITER 4403 NEW BEST:: SOT 196495 SOS 145096 HAS SOPS 133147 HAS SOUS 33943 HAS SOUPS 30542 WITH SCORE 30687.096
AT ITER 4448 NEW BEST:: SOT 196525 SOS 145126 HAS SOPS 133177 HAS SOUS 33941 HAS SOUPS 30540 WITH SCORE 30685.126
AT ITER 4472 NEW BEST:: SOT 196451 SOS 145052 HAS SOPS 133119 HAS SOUS 33814 HAS SOUPS 30421 WITH SCORE 30566.052
AT ITER 4538 NEW BEST:: SOT 196377 SOS 144857 HAS SOPS 132922 HAS SOUS 33617 HAS SOUPS 30224 WITH SCORE 30368.857
AT ITER 4545 NEW BEST:: SOT 196235 SOS 147033 HAS SOPS 135098 HAS SOUS 33568 HAS SOUPS 30175 WITH SCORE 30322.033
AT ITER 4552 NEW BEST:: SOT 196231 SOS 147029 HAS SOPS 135094 HAS SOUS 33560 HAS SOUPS 30167 WITH SCORE 30314.029
AT ITER 4558 NEW BEST:: SOT 196222 SOS 147020 HAS SOPS 135085 HAS SOUS 33532 HAS SOUPS 30139 WITH SCORE 30286.02
AT ITER 4617 NEW BEST:: SOT 196181 SOS 147004 HAS SOPS 135069 HAS SOUS 33438 HAS SOUPS 30045 WITH SCORE 30192.004
AT ITER 4644 NEW BEST:: SOT 196143 SOS 146966 HAS SOPS 135031 HAS SOUS 33394 HAS SOUPS 30001 WITH SCORE 30147.966
AT ITER 4650 NEW BEST:: SOT 195855 SOS 147189 HAS SOPS 134707 HAS SOUS 33373 HAS SOUPS 29826 WITH SCORE 29973.189
AT ITER 4671 NEW BEST:: SOT 195880 SOS 147219 HAS SOPS 134737 HAS SOUS 33344 HAS SOUPS 29797 WITH SCORE 29944.219
AT ITER 4686 NEW BEST:: SOT 195807 SOS 147100 HAS SOPS 134572 HAS SOUS 33258 HAS SOUPS 29711 WITH SCORE 29858.1
AT ITER 4704 NEW BEST:: SOT 195794 SOS 147087 HAS SOPS 134559 HAS SOUS 33232 HAS SOUPS 29685 WITH SCORE 29832.087
AT ITER 4706 NEW BEST:: SOT 195794 SOS 147087 HAS SOPS 134559 HAS SOUS 33227 HAS SOUPS 29680 WITH SCORE 29827.087
AT ITER 4729 NEW BEST:: SOT 195794 SOS 147087 HAS SOPS 134559 HAS SOUS 33192 HAS SOUPS 29645 WITH SCORE 29792.087
AT ITER 4738 NEW BEST:: SOT 195781 SOS 147074 HAS SOPS 134546 HAS SOUS 33153 HAS SOUPS 29606 WITH SCORE 29753.074
AT ITER 4740 NEW BEST:: SOT 195781 SOS 147074 HAS SOPS 134546 HAS SOUS 33143 HAS SOUPS 29596 WITH SCORE 29743.074
AT ITER 4744 NEW BEST:: SOT 195778 SOS 147071 HAS SOPS 134542 HAS SOUS 33140 HAS SOUPS 29593 WITH SCORE 29740.071
AT ITER 4757 NEW BEST:: SOT 195777 SOS 147213 HAS SOPS 134684 HAS SOUS 33139 HAS SOUPS 29592 WITH SCORE 29739.213
AT ITER 4770 NEW BEST:: SOT 195773 SOS 146111 HAS SOPS 133582 HAS SOUS 33131 HAS SOUPS 29584 WITH SCORE 29730.111
AT ITER 4812 NEW BEST:: SOT 195785 SOS 145912 HAS SOPS 133271 HAS SOUS 33116 HAS SOUPS 29541 WITH SCORE 29686.912
AT ITER 4819 NEW BEST:: SOT 195772 SOS 145899 HAS SOPS 133206 HAS SOUS 33077 HAS SOUPS 29502 WITH SCORE 29647.899
AT ITER 4832 NEW BEST:: SOT 195739 SOS 145830 HAS SOPS 133158 HAS SOUS 33072 HAS SOUPS 29497 WITH SCORE 29642.83
AT ITER 4838 NEW BEST:: SOT 195731 SOS 145822 HAS SOPS 133150 HAS SOUS 33064 HAS SOUPS 29489 WITH SCORE 29634.822
AT ITER 4840 NEW BEST:: SOT 195721 SOS 145693 HAS SOPS 133021 HAS SOUS 33032 HAS SOUPS 29457 WITH SCORE 29602.693
AT ITER 4875 NEW BEST:: SOT 195663 SOS 145618 HAS SOPS 132982 HAS SOUS 32999 HAS SOUPS 29424 WITH SCORE 29569.618
AT ITER 4882 NEW BEST:: SOT 195888 SOS 145843 HAS SOPS 133207 HAS SOUS 32987 HAS SOUPS 29412 WITH SCORE 29557.843
AT ITER 4883 NEW BEST:: SOT 195876 SOS 145831 HAS SOPS 133195 HAS SOUS 32963 HAS SOUPS 29388 WITH SCORE 29533.831
AT ITER 4904 NEW BEST:: SOT 195876 SOS 145834 HAS SOPS 133195 HAS SOUS 32963 HAS SOUPS 29385 WITH SCORE 29530.834
AT ITER 4932 NEW BEST:: SOT 195868 SOS 145826 HAS SOPS 133187 HAS SOUS 32959 HAS SOUPS 29381 WITH SCORE 29526.826
AT ITER 4946 NEW BEST:: SOT 195855 SOS 145800 HAS SOPS 133148 HAS SOUS 32959 HAS SOUPS 29368 WITH SCORE 29513.8
AT ITER 4947 NEW BEST:: SOT 195863 SOS 145808 HAS SOPS 133161 HAS SOUS 32936 HAS SOUPS 29345 WITH SCORE 29490.808
AT ITER 4968 NEW BEST:: SOT 195863 SOS 145808 HAS SOPS 133161 HAS SOUS 32843 HAS SOUPS 29252 WITH SCORE 29397.808
AT ITER 4978 NEW BEST:: SOT 195832 SOS 145777 HAS SOPS 133130 HAS SOUS 32781 HAS SOUPS 29190 WITH SCORE 29335.777
AT ITER 4994 NEW BEST:: SOT 195832 SOS 145777 HAS SOPS 133130 HAS SOUS 32779 HAS SOUPS 29188 WITH SCORE 29333.777
AT ITER 4995 NEW BEST:: SOT 195862 SOS 145497 HAS SOPS 133065 HAS SOUS 32609 HAS SOUPS 29063 WITH SCORE 29208.497
AT ITER 5006 NEW BEST:: SOT 195814 SOS 145449 HAS SOPS 133017 HAS SOUS 32583 HAS SOUPS 29037 WITH SCORE 29182.449
AT ITER 5023 NEW BEST:: SOT 195927 SOS 145449 HAS SOPS 132791 HAS SOUS 32684 HAS SOUPS 29025 WITH SCORE 29170.449
AT ITER 5083 NEW BEST:: SOT 195924 SOS 145447 HAS SOPS 132790 HAS SOUS 32660 HAS SOUPS 29002 WITH SCORE 29147.447
AT ITER 5099 NEW BEST:: SOT 195924 SOS 145453 HAS SOPS 132796 HAS SOUS 32648 HAS SOUPS 28990 WITH SCORE 29135.453
AT ITER 5104 NEW BEST:: SOT 196040 SOS 145597 HAS SOPS 132940 HAS SOUS 32637 HAS SOUPS 28979 WITH SCORE 29124.597
AT ITER 5135 NEW BEST:: SOT 196100 SOS 145667 HAS SOPS 133020 HAS SOUS 32616 HAS SOUPS 28968 WITH SCORE 29113.667
AT ITER 5148 NEW BEST:: SOT 196092 SOS 145658 HAS SOPS 133011 HAS SOUS 32575 HAS SOUPS 28927 WITH SCORE 29072.658
AT ITER 5156 NEW BEST:: SOT 196068 SOS 145634 HAS SOPS 132923 HAS SOUS 32480 HAS SOUPS 28832 WITH SCORE 28977.634
AT ITER 5159 NEW BEST:: SOT 196068 SOS 145634 HAS SOPS 132923 HAS SOUS 32453 HAS SOUPS 28805 WITH SCORE 28950.634
AT ITER 5172 NEW BEST:: SOT 196068 SOS 145586 HAS SOPS 132875 HAS SOUS 32453 HAS SOUPS 28805 WITH SCORE 28950.586
AT ITER 5185 NEW BEST:: SOT 196068 SOS 145586 HAS SOPS 132857 HAS SOUS 32435 HAS SOUPS 28787 WITH SCORE 28932.586
AT ITER 5205 NEW BEST:: SOT 196022 SOS 145540 HAS SOPS 132750 HAS SOUS 32328 HAS SOUPS 28680 WITH SCORE 28825.54
AT ITER 5238 NEW BEST:: SOT 195939 SOS 145457 HAS SOPS 132583 HAS SOUS 32162 HAS SOUPS 28514 WITH SCORE 28659.457
AT ITER 5286 NEW BEST:: SOT 195939 SOS 145457 HAS SOPS 132583 HAS SOUS 32160 HAS SOUPS 28512 WITH SCORE 28657.457
AT ITER 5300 NEW BEST:: SOT 195967 SOS 145226 HAS SOPS 132352 HAS SOUS 32142 HAS SOUPS 28494 WITH SCORE 28639.226
AT ITER 5305 NEW BEST:: SOT 195961 SOS 145220 HAS SOPS 132346 HAS SOUS 32130 HAS SOUPS 28482 WITH SCORE 28627.22
AT ITER 5310 NEW BEST:: SOT 195961 SOS 145220 HAS SOPS 132346 HAS SOUS 32120 HAS SOUPS 28472 WITH SCORE 28617.22
AT ITER 5328 NEW BEST:: SOT 195954 SOS 145218 HAS SOPS 132344 HAS SOUS 32120 HAS SOUPS 28472 WITH SCORE 28617.218
AT ITER 5367 NEW BEST:: SOT 195844 SOS 144998 HAS SOPS 132124 HAS SOUS 32065 HAS SOUPS 28417 WITH SCORE 28561.998
AT ITER 5375 NEW BEST:: SOT 195858 SOS 145012 HAS SOPS 132138 HAS SOUS 32013 HAS SOUPS 28365 WITH SCORE 28510.012
AT ITER 5401 NEW BEST:: SOT 195855 SOS 144722 HAS SOPS 131886 HAS SOUS 32007 HAS SOUPS 28359 WITH SCORE 28503.722
AT ITER 5467 NEW BEST:: SOT 195855 SOS 144712 HAS SOPS 131876 HAS SOUS 31993 HAS SOUPS 28345 WITH SCORE 28489.712
AT ITER 5473 NEW BEST:: SOT 195845 SOS 144702 HAS SOPS 131866 HAS SOUS 31985 HAS SOUPS 28337 WITH SCORE 28481.702
AT ITER 5529 NEW BEST:: SOT 195729 SOS 144514 HAS SOPS 131678 HAS SOUS 31869 HAS SOUPS 28221 WITH SCORE 28365.514
AT ITER 5539 NEW BEST:: SOT 195741 SOS 144526 HAS SOPS 131690 HAS SOUS 31849 HAS SOUPS 28201 WITH SCORE 28345.526
AT ITER 5546 NEW BEST:: SOT 195794 SOS 144579 HAS SOPS 131733 HAS SOUS 31839 HAS SOUPS 28191 WITH SCORE 28335.579
AT ITER 5556 NEW BEST:: SOT 195765 SOS 144550 HAS SOPS 131704 HAS SOUS 31781 HAS SOUPS 28133 WITH SCORE 28277.55
AT ITER 5594 NEW BEST:: SOT 195743 SOS 144528 HAS SOPS 131682 HAS SOUS 31753 HAS SOUPS 28105 WITH SCORE 28249.528
AT ITER 5610 NEW BEST:: SOT 195743 SOS 144123 HAS SOPS 131277 HAS SOUS 31753 HAS SOUPS 28105 WITH SCORE 28249.123
AT ITER 5613 NEW BEST:: SOT 195743 SOS 144123 HAS SOPS 131277 HAS SOUS 31745 HAS SOUPS 28097 WITH SCORE 28241.123
AT ITER 5617 NEW BEST:: SOT 195680 SOS 144060 HAS SOPS 131214 HAS SOUS 31619 HAS SOUPS 27971 WITH SCORE 28115.06
AT ITER 5678 NEW BEST:: SOT 195674 SOS 144054 HAS SOPS 131208 HAS SOUS 31613 HAS SOUPS 27965 WITH SCORE 28109.054
AT ITER 5683 NEW BEST:: SOT 195670 SOS 144040 HAS SOPS 131194 HAS SOUS 31609 HAS SOUPS 27961 WITH SCORE 28105.04
AT ITER 5695 NEW BEST:: SOT 195659 SOS 143849 HAS SOPS 131063 HAS SOUS 31482 HAS SOUPS 27864 WITH SCORE 28007.849
AT ITER 5697 NEW BEST:: SOT 195635 SOS 143825 HAS SOPS 131015 HAS SOUS 31446 HAS SOUPS 27828 WITH SCORE 27971.825
AT ITER 5698 NEW BEST:: SOT 195634 SOS 143824 HAS SOPS 131014 HAS SOUS 31444 HAS SOUPS 27826 WITH SCORE 27969.824
AT ITER 5703 NEW BEST:: SOT 195632 SOS 143822 HAS SOPS 131012 HAS SOUS 31440 HAS SOUPS 27822 WITH SCORE 27965.822
AT ITER 5720 NEW BEST:: SOT 195580 SOS 143770 HAS SOPS 130960 HAS SOUS 31390 HAS SOUPS 27772 WITH SCORE 27915.77
AT ITER 5750 NEW BEST:: SOT 195580 SOS 143764 HAS SOPS 130960 HAS SOUS 31390 HAS SOUPS 27772 WITH SCORE 27915.764
AT ITER 5760 NEW BEST:: SOT 195546 SOS 143730 HAS SOPS 130926 HAS SOUS 31356 HAS SOUPS 27738 WITH SCORE 27881.73
AT ITER 5766 NEW BEST:: SOT 195546 SOS 143730 HAS SOPS 130926 HAS SOUS 31335 HAS SOUPS 27717 WITH SCORE 27860.73
AT ITER 5778 NEW BEST:: SOT 195517 SOS 143701 HAS SOPS 130897 HAS SOUS 31277 HAS SOUPS 27659 WITH SCORE 27802.701
AT ITER 5805 NEW BEST:: SOT 195514 SOS 143719 HAS SOPS 130909 HAS SOUS 31274 HAS SOUPS 27656 WITH SCORE 27799.719
AT ITER 5846 NEW BEST:: SOT 195508 SOS 143713 HAS SOPS 130903 HAS SOUS 31272 HAS SOUPS 27654 WITH SCORE 27797.713
AT ITER 5851 NEW BEST:: SOT 195469 SOS 143674 HAS SOPS 130864 HAS SOUS 31254 HAS SOUPS 27636 WITH SCORE 27779.674
AT ITER 5870 NEW BEST:: SOT 195597 SOS 143264 HAS SOPS 130454 HAS SOUS 31219 HAS SOUPS 27601 WITH SCORE 27744.264
AT ITER 5880 NEW BEST:: SOT 195608 SOS 143275 HAS SOPS 130465 HAS SOUS 31191 HAS SOUPS 27573 WITH SCORE 27716.275
AT ITER 5888 NEW BEST:: SOT 195632 SOS 143299 HAS SOPS 130489 HAS SOUS 31170 HAS SOUPS 27552 WITH SCORE 27695.299
AT ITER 5898 NEW BEST:: SOT 195627 SOS 143281 HAS SOPS 130471 HAS SOUS 31142 HAS SOUPS 27524 WITH SCORE 27667.281
AT ITER 5913 NEW BEST:: SOT 195584 SOS 143208 HAS SOPS 130428 HAS SOUS 31101 HAS SOUPS 27498 WITH SCORE 27641.208
AT ITER 5927 NEW BEST:: SOT 195572 SOS 143188 HAS SOPS 130408 HAS SOUS 31081 HAS SOUPS 27478 WITH SCORE 27621.188
AT ITER 5950 NEW BEST:: SOT 195479 SOS 143095 HAS SOPS 130315 HAS SOUS 31081 HAS SOUPS 27478 WITH SCORE 27621.095
AT ITER 5956 NEW BEST:: SOT 195479 SOS 143095 HAS SOPS 130261 HAS SOUS 31108 HAS SOUPS 27451 WITH SCORE 27594.095
AT ITER 6014 NEW BEST:: SOT 195468 SOS 143084 HAS SOPS 130250 HAS SOUS 31102 HAS SOUPS 27445 WITH SCORE 27588.084
AT ITER 6020 NEW BEST:: SOT 195461 SOS 143077 HAS SOPS 130243 HAS SOUS 31102 HAS SOUPS 27445 WITH SCORE 27588.077
AT ITER 6083 NEW BEST:: SOT 195449 SOS 143053 HAS SOPS 130231 HAS SOUS 31114 HAS SOUPS 27445 WITH SCORE 27588.053
AT ITER 6098 NEW BEST:: SOT 195419 SOS 143013 HAS SOPS 130191 HAS SOUS 31084 HAS SOUPS 27415 WITH SCORE 27558.013
AT ITER 6101 NEW BEST:: SOT 195419 SOS 143022 HAS SOPS 130200 HAS SOUS 31046 HAS SOUPS 27377 WITH SCORE 27520.022
AT ITER 6119 NEW BEST:: SOT 195419 SOS 143062 HAS SOPS 130164 HAS SOUS 31059 HAS SOUPS 27371 WITH SCORE 27514.062
AT ITER 6168 NEW BEST:: SOT 195444 SOS 143087 HAS SOPS 130189 HAS SOUS 31056 HAS SOUPS 27368 WITH SCORE 27511.087
AT ITER 6185 NEW BEST:: SOT 195321 SOS 142964 HAS SOPS 130066 HAS SOUS 30934 HAS SOUPS 27246 WITH SCORE 27388.964
AT ITER 6265 NEW BEST:: SOT 195308 SOS 142948 HAS SOPS 130050 HAS SOUS 30913 HAS SOUPS 27225 WITH SCORE 27367.948
AT ITER 6355 NEW BEST:: SOT 195272 SOS 142874 HAS SOPS 129986 HAS SOUS 30849 HAS SOUPS 27161 WITH SCORE 27303.874
AT ITER 6422 NEW BEST:: SOT 195262 SOS 142864 HAS SOPS 129976 HAS SOUS 30798 HAS SOUPS 27110 WITH SCORE 27252.864
AT ITER 6453 NEW BEST:: SOT 195268 SOS 142874 HAS SOPS 129990 HAS SOUS 30782 HAS SOUPS 27098 WITH SCORE 27240.874
AT ITER 6461 NEW BEST:: SOT 195268 SOS 142874 HAS SOPS 129990 HAS SOUS 30770 HAS SOUPS 27086 WITH SCORE 27228.874
AT ITER 6492 NEW BEST:: SOT 195220 SOS 142892 HAS SOPS 130008 HAS SOUS 30715 HAS SOUPS 27031 WITH SCORE 27173.892
AT ITER 6495 NEW BEST:: SOT 195186 SOS 142858 HAS SOPS 129974 HAS SOUS 30681 HAS SOUPS 26997 WITH SCORE 27139.858
AT ITER 6517 NEW BEST:: SOT 195011 SOS 142683 HAS SOPS 129799 HAS SOUS 30666 HAS SOUPS 26982 WITH SCORE 27124.683
AT ITER 6562 NEW BEST:: SOT 195007 SOS 142679 HAS SOPS 129795 HAS SOUS 30660 HAS SOUPS 26976 WITH SCORE 27118.679
AT ITER 6571 NEW BEST:: SOT 195030 SOS 142711 HAS SOPS 129836 HAS SOUS 30659 HAS SOUPS 26975 WITH SCORE 27117.711
AT ITER 6593 NEW BEST:: SOT 195028 SOS 142709 HAS SOPS 129832 HAS SOUS 30655 HAS SOUPS 26971 WITH SCORE 27113.709
AT ITER 6598 NEW BEST:: SOT 195020 SOS 142701 HAS SOPS 129824 HAS SOUS 30651 HAS SOUPS 26967 WITH SCORE 27109.701
AT ITER 6624 NEW BEST:: SOT 195017 SOS 142698 HAS SOPS 129821 HAS SOUS 30645 HAS SOUPS 26961 WITH SCORE 27103.698
AT ITER 6652 NEW BEST:: SOT 194999 SOS 142654 HAS SOPS 129777 HAS SOUS 30643 HAS SOUPS 26959 WITH SCORE 27101.654
AT ITER 6653 NEW BEST:: SOT 194976 SOS 142792 HAS SOPS 129920 HAS SOUS 30620 HAS SOUPS 26936 WITH SCORE 27078.792
AT ITER 6663 NEW BEST:: SOT 194962 SOS 142778 HAS SOPS 129906 HAS SOUS 30567 HAS SOUPS 26883 WITH SCORE 27025.778
AT ITER 6666 NEW BEST:: SOT 194953 SOS 142760 HAS SOPS 129906 HAS SOUS 30567 HAS SOUPS 26883 WITH SCORE 27025.76
AT ITER 6669 NEW BEST:: SOT 194949 SOS 142756 HAS SOPS 129900 HAS SOUS 30565 HAS SOUPS 26879 WITH SCORE 27021.756
AT ITER 6682 NEW BEST:: SOT 194948 SOS 142755 HAS SOPS 129913 HAS SOUS 30564 HAS SOUPS 26878 WITH SCORE 27020.755
AT ITER 6683 NEW BEST:: SOT 194938 SOS 142735 HAS SOPS 129903 HAS SOUS 30554 HAS SOUPS 26878 WITH SCORE 27020.735
AT ITER 6688 NEW BEST:: SOT 194938 SOS 142717 HAS SOPS 129867 HAS SOUS 30554 HAS SOUPS 26878 WITH SCORE 27020.717
AT ITER 6691 NEW BEST:: SOT 194927 SOS 142709 HAS SOPS 129845 HAS SOUS 30535 HAS SOUPS 26859 WITH SCORE 27001.709
AT ITER 6781 NEW BEST:: SOT 194811 SOS 142528 HAS SOPS 129664 HAS SOUS 30489 HAS SOUPS 26813 WITH SCORE 26955.528
AT ITER 6795 NEW BEST:: SOT 194811 SOS 142932 HAS SOPS 130090 HAS SOUS 30481 HAS SOUPS 26811 WITH SCORE 26953.932
AT ITER 6817 NEW BEST:: SOT 194737 SOS 142858 HAS SOPS 130016 HAS SOUS 30477 HAS SOUPS 26807 WITH SCORE 26949.858
AT ITER 6831 NEW BEST:: SOT 194671 SOS 142759 HAS SOPS 129917 HAS SOUS 30428 HAS SOUPS 26758 WITH SCORE 26900.759
AT ITER 6844 NEW BEST:: SOT 194667 SOS 142755 HAS SOPS 129900 HAS SOUS 30413 HAS SOUPS 26743 WITH SCORE 26885.755
AT ITER 6863 NEW BEST:: SOT 194679 SOS 142729 HAS SOPS 129902 HAS SOUS 30388 HAS SOUPS 26725 WITH SCORE 26867.729
AT ITER 6905 NEW BEST:: SOT 194653 SOS 142673 HAS SOPS 129846 HAS SOUS 30368 HAS SOUPS 26705 WITH SCORE 26847.673
AT ITER 6912 NEW BEST:: SOT 194649 SOS 142667 HAS SOPS 129840 HAS SOUS 30364 HAS SOUPS 26701 WITH SCORE 26843.667
AT ITER 6914 NEW BEST:: SOT 194525 SOS 142481 HAS SOPS 129592 HAS SOUS 30364 HAS SOUPS 26639 WITH SCORE 26781.481
AT ITER 6922 NEW BEST:: SOT 194498 SOS 142454 HAS SOPS 129511 HAS SOUS 30337 HAS SOUPS 26612 WITH SCORE 26754.454
AT ITER 6962 NEW BEST:: SOT 194495 SOS 142451 HAS SOPS 129508 HAS SOUS 30337 HAS SOUPS 26612 WITH SCORE 26754.451
AT ITER 6976 NEW BEST:: SOT 194495 SOS 142451 HAS SOPS 129508 HAS SOUS 30335 HAS SOUPS 26610 WITH SCORE 26752.451
AT ITER 7003 NEW BEST:: SOT 194494 SOS 142450 HAS SOPS 129507 HAS SOUS 30314 HAS SOUPS 26589 WITH SCORE 26731.45
AT ITER 7031 NEW BEST:: SOT 194662 SOS 142677 HAS SOPS 129734 HAS SOUS 30300 HAS SOUPS 26575 WITH SCORE 26717.677
AT ITER 7036 NEW BEST:: SOT 194650 SOS 142677 HAS SOPS 129722 HAS SOUS 30294 HAS SOUPS 26566 WITH SCORE 26708.677
AT ITER 7040 NEW BEST:: SOT 194642 SOS 142637 HAS SOPS 129682 HAS SOUS 30282 HAS SOUPS 26554 WITH SCORE 26696.637
AT ITER 7089 NEW BEST:: SOT 194630 SOS 142625 HAS SOPS 129670 HAS SOUS 30267 HAS SOUPS 26539 WITH SCORE 26681.625
AT ITER 7113 NEW BEST:: SOT 194628 SOS 142623 HAS SOPS 129668 HAS SOUS 30265 HAS SOUPS 26537 WITH SCORE 26679.623
AT ITER 7123 NEW BEST:: SOT 194646 SOS 142338 HAS SOPS 129657 HAS SOUS 30222 HAS SOUPS 26509 WITH SCORE 26651.338
AT ITER 7150 NEW BEST:: SOT 194651 SOS 142343 HAS SOPS 129662 HAS SOUS 30221 HAS SOUPS 26508 WITH SCORE 26650.343
AT ITER 7194 NEW BEST:: SOT 194651 SOS 142343 HAS SOPS 129662 HAS SOUS 30219 HAS SOUPS 26506 WITH SCORE 26648.343
AT ITER 7244 NEW BEST:: SOT 194644 SOS 142336 HAS SOPS 129655 HAS SOUS 30219 HAS SOUPS 26506 WITH SCORE 26648.336
AT ITER 7250 NEW BEST:: SOT 194649 SOS 142341 HAS SOPS 129648 HAS SOUS 30212 HAS SOUPS 26499 WITH SCORE 26641.341
AT ITER 7313 NEW BEST:: SOT 194652 SOS 142339 HAS SOPS 129646 HAS SOUS 30196 HAS SOUPS 26483 WITH SCORE 26625.339
AT ITER 7314 NEW BEST:: SOT 194679 SOS 142393 HAS SOPS 129673 HAS SOUS 30204 HAS SOUPS 26464 WITH SCORE 26606.393
AT ITER 7320 NEW BEST:: SOT 194670 SOS 142384 HAS SOPS 129634 HAS SOUS 30173 HAS SOUPS 26433 WITH SCORE 26575.384
AT ITER 7380 NEW BEST:: SOT 194670 SOS 142375 HAS SOPS 129625 HAS SOUS 30173 HAS SOUPS 26433 WITH SCORE 26575.375
AT ITER 7435 NEW BEST:: SOT 194653 SOS 141623 HAS SOPS 128873 HAS SOUS 30133 HAS SOUPS 26393 WITH SCORE 26534.623
AT ITER 7438 NEW BEST:: SOT 194653 SOS 141623 HAS SOPS 128873 HAS SOUS 30129 HAS SOUPS 26389 WITH SCORE 26530.623
AT ITER 7476 NEW BEST:: SOT 194620 SOS 141634 HAS SOPS 128860 HAS SOUS 30085 HAS SOUPS 26345 WITH SCORE 26486.634
AT ITER 7487 NEW BEST:: SOT 194602 SOS 141616 HAS SOPS 128842 HAS SOUS 30049 HAS SOUPS 26309 WITH SCORE 26450.616
AT ITER 7497 NEW BEST:: SOT 194600 SOS 141614 HAS SOPS 128840 HAS SOUS 30047 HAS SOUPS 26307 WITH SCORE 26448.614
AT ITER 7519 NEW BEST:: SOT 194596 SOS 141610 HAS SOPS 128836 HAS SOUS 30043 HAS SOUPS 26303 WITH SCORE 26444.61
AT ITER 7545 NEW BEST:: SOT 194587 SOS 141580 HAS SOPS 128806 HAS SOUS 30008 HAS SOUPS 26268 WITH SCORE 26409.58
AT ITER 7585 NEW BEST:: SOT 194501 SOS 140487 HAS SOPS 127713 HAS SOUS 29830 HAS SOUPS 26090 WITH SCORE 26230.487
AT ITER 7593 NEW BEST:: SOT 194424 SOS 140434 HAS SOPS 127660 HAS SOUS 29819 HAS SOUPS 26079 WITH SCORE 26219.434
AT ITER 7611 NEW BEST:: SOT 194390 SOS 140393 HAS SOPS 127612 HAS SOUS 29817 HAS SOUPS 26077 WITH SCORE 26217.393
AT ITER 7660 NEW BEST:: SOT 194369 SOS 140365 HAS SOPS 127577 HAS SOUS 29796 HAS SOUPS 26056 WITH SCORE 26196.365
AT ITER 7745 NEW BEST:: SOT 194367 SOS 140363 HAS SOPS 127573 HAS SOUS 29792 HAS SOUPS 26052 WITH SCORE 26192.363
AT ITER 7746 NEW BEST:: SOT 194327 SOS 140323 HAS SOPS 127533 HAS SOUS 29754 HAS SOUPS 26014 WITH SCORE 26154.323
AT ITER 7859 NEW BEST:: SOT 194259 SOS 140219 HAS SOPS 127429 HAS SOUS 29726 HAS SOUPS 25986 WITH SCORE 26126.219
AT ITER 7867 NEW BEST:: SOT 194249 SOS 140209 HAS SOPS 127419 HAS SOUS 29725 HAS SOUPS 25985 WITH SCORE 26125.209
AT ITER 7883 NEW BEST:: SOT 193867 SOS 139827 HAS SOPS 127037 HAS SOUS 29637 HAS SOUPS 25897 WITH SCORE 26036.827
AT ITER 7903 NEW BEST:: SOT 193852 SOS 140101 HAS SOPS 127235 HAS SOUS 29584 HAS SOUPS 25844 WITH SCORE 25984.101
AT ITER 7922 NEW BEST:: SOT 193846 SOS 140098 HAS SOPS 127230 HAS SOUS 29581 HAS SOUPS 25840 WITH SCORE 25980.098
AT ITER 7923 NEW BEST:: SOT 193632 SOS 139884 HAS SOPS 127016 HAS SOUS 29296 HAS SOUPS 25555 WITH SCORE 25694.884
AT ITER 7926 NEW BEST:: SOT 193658 SOS 139910 HAS SOPS 127042 HAS SOUS 29289 HAS SOUPS 25548 WITH SCORE 25687.91
AT ITER 7948 NEW BEST:: SOT 193669 SOS 139926 HAS SOPS 127063 HAS SOUS 29288 HAS SOUPS 25547 WITH SCORE 25686.926
AT ITER 7959 NEW BEST:: SOT 193664 SOS 139921 HAS SOPS 127058 HAS SOUS 29283 HAS SOUPS 25542 WITH SCORE 25681.921
AT ITER 7979 NEW BEST:: SOT 193659 SOS 139965 HAS SOPS 127102 HAS SOUS 29278 HAS SOUPS 25537 WITH SCORE 25676.965
AT ITER 8003 NEW BEST:: SOT 193655 SOS 139961 HAS SOPS 127098 HAS SOUS 29276 HAS SOUPS 25535 WITH SCORE 25674.961
AT ITER 8022 NEW BEST:: SOT 193697 SOS 140003 HAS SOPS 127140 HAS SOUS 29241 HAS SOUPS 25500 WITH SCORE 25640.003
AT ITER 8086 NEW BEST:: SOT 193683 SOS 139950 HAS SOPS 127165 HAS SOUS 29227 HAS SOUPS 25486 WITH SCORE 25625.95
AT ITER 8095 NEW BEST:: SOT 193561 SOS 139828 HAS SOPS 127043 HAS SOUS 29100 HAS SOUPS 25359 WITH SCORE 25498.828
AT ITER 8103 NEW BEST:: SOT 193563 SOS 139830 HAS SOPS 127045 HAS SOUS 29081 HAS SOUPS 25340 WITH SCORE 25479.83
AT ITER 8114 NEW BEST:: SOT 193551 SOS 139806 HAS SOPS 127009 HAS SOUS 29081 HAS SOUPS 25328 WITH SCORE 25467.806
AT ITER 8123 NEW BEST:: SOT 193548 SOS 138832 HAS SOPS 126035 HAS SOUS 29078 HAS SOUPS 25325 WITH SCORE 25463.832
AT ITER 8136 NEW BEST:: SOT 193544 SOS 138828 HAS SOPS 126031 HAS SOUS 29074 HAS SOUPS 25321 WITH SCORE 25459.828
AT ITER 8157 NEW BEST:: SOT 193533 SOS 138817 HAS SOPS 126020 HAS SOUS 29070 HAS SOUPS 25317 WITH SCORE 25455.817
AT ITER 8182 NEW BEST:: SOT 193457 SOS 138722 HAS SOPS 125925 HAS SOUS 29010 HAS SOUPS 25257 WITH SCORE 25395.722
AT ITER 8183 NEW BEST:: SOT 193447 SOS 138657 HAS SOPS 125860 HAS SOUS 28975 HAS SOUPS 25222 WITH SCORE 25360.657
AT ITER 8188 NEW BEST:: SOT 193431 SOS 138636 HAS SOPS 125834 HAS SOUS 28966 HAS SOUPS 25213 WITH SCORE 25351.636
AT ITER 8252 NEW BEST:: SOT 193431 SOS 138645 HAS SOPS 125834 HAS SOUS 28966 HAS SOUPS 25204 WITH SCORE 25342.645
AT ITER 8300 NEW BEST:: SOT 193264 SOS 138782 HAS SOPS 125983 HAS SOUS 28739 HAS SOUPS 24977 WITH SCORE 25115.782
AT ITER 8312 NEW BEST:: SOT 193267 SOS 138781 HAS SOPS 125982 HAS SOUS 28735 HAS SOUPS 24973 WITH SCORE 25111.781
AT ITER 8341 NEW BEST:: SOT 193215 SOS 138720 HAS SOPS 125921 HAS SOUS 28735 HAS SOUPS 24973 WITH SCORE 25111.72
AT ITER 8342 NEW BEST:: SOT 193209 SOS 138714 HAS SOPS 125915 HAS SOUS 28726 HAS SOUPS 24964 WITH SCORE 25102.714
AT ITER 8343 NEW BEST:: SOT 193119 SOS 138624 HAS SOPS 125733 HAS SOUS 28651 HAS SOUPS 24856 WITH SCORE 24994.624
AT ITER 8354 NEW BEST:: SOT 193108 SOS 138602 HAS SOPS 125700 HAS SOUS 28640 HAS SOUPS 24845 WITH SCORE 24983.602
AT ITER 8473 NEW BEST:: SOT 193117 SOS 138572 HAS SOPS 125670 HAS SOUS 28634 HAS SOUPS 24839 WITH SCORE 24977.572
AT ITER 8478 NEW BEST:: SOT 193126 SOS 138572 HAS SOPS 125670 HAS SOUS 28625 HAS SOUPS 24830 WITH SCORE 24968.572
AT ITER 8560 NEW BEST:: SOT 193118 SOS 138556 HAS SOPS 125654 HAS SOUS 28609 HAS SOUPS 24814 WITH SCORE 24952.556
AT ITER 8609 NEW BEST:: SOT 193116 SOS 138554 HAS SOPS 125652 HAS SOUS 28606 HAS SOUPS 24811 WITH SCORE 24949.554
AT ITER 8622 NEW BEST:: SOT 193112 SOS 138550 HAS SOPS 125648 HAS SOUS 28606 HAS SOUPS 24811 WITH SCORE 24949.55
AT ITER 8647 NEW BEST:: SOT 193090 SOS 138677 HAS SOPS 125653 HAS SOUS 28590 HAS SOUPS 24787 WITH SCORE 24925.677
AT ITER 8680 NEW BEST:: SOT 193059 SOS 138614 HAS SOPS 125590 HAS SOUS 28574 HAS SOUPS 24771 WITH SCORE 24909.614
AT ITER 8702 NEW BEST:: SOT 193147 SOS 138702 HAS SOPS 125678 HAS SOUS 28566 HAS SOUPS 24763 WITH SCORE 24901.702
AT ITER 8727 NEW BEST:: SOT 193124 SOS 138679 HAS SOPS 125655 HAS SOUS 28543 HAS SOUPS 24740 WITH SCORE 24878.679
AT ITER 8783 NEW BEST:: SOT 193116 SOS 138697 HAS SOPS 125673 HAS SOUS 28537 HAS SOUPS 24734 WITH SCORE 24872.697
AT ITER 8810 NEW BEST:: SOT 193120 SOS 138681 HAS SOPS 125657 HAS SOUS 28531 HAS SOUPS 24728 WITH SCORE 24866.681
AT ITER 8819 NEW BEST:: SOT 193119 SOS 138679 HAS SOPS 125655 HAS SOUS 28529 HAS SOUPS 24726 WITH SCORE 24864.679
AT ITER 8913 NEW BEST:: SOT 193073 SOS 138633 HAS SOPS 125609 HAS SOUS 28529 HAS SOUPS 24726 WITH SCORE 24864.633
AT ITER 8928 NEW BEST:: SOT 193065 SOS 138625 HAS SOPS 125601 HAS SOUS 28501 HAS SOUPS 24698 WITH SCORE 24836.625
AT ITER 8980 NEW BEST:: SOT 193051 SOS 138569 HAS SOPS 125545 HAS SOUS 28473 HAS SOUPS 24670 WITH SCORE 24808.569
AT ITER 8993 NEW BEST:: SOT 193086 SOS 138610 HAS SOPS 125586 HAS SOUS 28419 HAS SOUPS 24616 WITH SCORE 24754.61
AT ITER 9024 NEW BEST:: SOT 193099 SOS 138623 HAS SOPS 125599 HAS SOUS 28413 HAS SOUPS 24610 WITH SCORE 24748.623
AT ITER 9048 NEW BEST:: SOT 193095 SOS 138619 HAS SOPS 125595 HAS SOUS 28409 HAS SOUPS 24606 WITH SCORE 24744.619
AT ITER 9088 NEW BEST:: SOT 193094 SOS 138612 HAS SOPS 125588 HAS SOUS 28403 HAS SOUPS 24600 WITH SCORE 24738.612
AT ITER 9102 NEW BEST:: SOT 193069 SOS 138510 HAS SOPS 125486 HAS SOUS 28301 HAS SOUPS 24498 WITH SCORE 24636.51
AT ITER 9158 NEW BEST:: SOT 193069 SOS 138510 HAS SOPS 125414 HAS SOUS 28289 HAS SOUPS 24486 WITH SCORE 24624.51
AT ITER 9161 NEW BEST:: SOT 193068 SOS 138509 HAS SOPS 125413 HAS SOUS 28287 HAS SOUPS 24484 WITH SCORE 24622.509
AT ITER 9175 NEW BEST:: SOT 193045 SOS 138477 HAS SOPS 125381 HAS SOUS 28255 HAS SOUPS 24452 WITH SCORE 24590.477
AT ITER 9183 NEW BEST:: SOT 192983 SOS 138489 HAS SOPS 125337 HAS SOUS 28239 HAS SOUPS 24422 WITH SCORE 24560.489
AT ITER 9198 NEW BEST:: SOT 192979 SOS 138485 HAS SOPS 125329 HAS SOUS 28231 HAS SOUPS 24414 WITH SCORE 24552.485
AT ITER 9213 NEW BEST:: SOT 192991 SOS 138497 HAS SOPS 125233 HAS SOUS 28228 HAS SOUPS 24411 WITH SCORE 24549.497
AT ITER 9233 NEW BEST:: SOT 192987 SOS 138492 HAS SOPS 125228 HAS SOUS 28223 HAS SOUPS 24406 WITH SCORE 24544.492
AT ITER 9239 NEW BEST:: SOT 192975 SOS 138480 HAS SOPS 125216 HAS SOUS 28187 HAS SOUPS 24370 WITH SCORE 24508.48
AT ITER 9252 NEW BEST:: SOT 193034 SOS 138591 HAS SOPS 125275 HAS SOUS 28201 HAS SOUPS 24356 WITH SCORE 24494.591
AT ITER 9262 NEW BEST:: SOT 193036 SOS 138593 HAS SOPS 125253 HAS SOUS 28195 HAS SOUPS 24350 WITH SCORE 24488.593
AT ITER 9314 NEW BEST:: SOT 193055 SOS 138612 HAS SOPS 125272 HAS SOUS 28193 HAS SOUPS 24348 WITH SCORE 24486.612
AT ITER 9325 NEW BEST:: SOT 193011 SOS 138568 HAS SOPS 125228 HAS SOUS 28105 HAS SOUPS 24260 WITH SCORE 24398.568
AT ITER 9347 NEW BEST:: SOT 193007 SOS 138564 HAS SOPS 125224 HAS SOUS 28105 HAS SOUPS 24260 WITH SCORE 24398.564
AT ITER 9430 NEW BEST:: SOT 193015 SOS 138728 HAS SOPS 125388 HAS SOUS 28087 HAS SOUPS 24242 WITH SCORE 24380.728
AT ITER 9442 NEW BEST:: SOT 192998 SOS 138711 HAS SOPS 125371 HAS SOUS 28053 HAS SOUPS 24208 WITH SCORE 24346.711
AT ITER 9443 NEW BEST:: SOT 192983 SOS 138737 HAS SOPS 125397 HAS SOUS 28039 HAS SOUPS 24194 WITH SCORE 24332.737
AT ITER 9495 NEW BEST:: SOT 192894 SOS 138648 HAS SOPS 125352 HAS SOUS 28008 HAS SOUPS 24163 WITH SCORE 24301.648
AT ITER 9548 NEW BEST:: SOT 192894 SOS 138648 HAS SOPS 125352 HAS SOUS 27999 HAS SOUPS 24154 WITH SCORE 24292.648
AT ITER 9562 NEW BEST:: SOT 192892 SOS 138646 HAS SOPS 125350 HAS SOUS 27995 HAS SOUPS 24150 WITH SCORE 24288.646
AT ITER 9578 NEW BEST:: SOT 192816 SOS 138556 HAS SOPS 125260 HAS SOUS 27947 HAS SOUPS 24102 WITH SCORE 24240.556
AT ITER 9592 NEW BEST:: SOT 192812 SOS 138552 HAS SOPS 125232 HAS SOUS 27939 HAS SOUPS 24094 WITH SCORE 24232.552
AT ITER 9663 NEW BEST:: SOT 192811 SOS 138551 HAS SOPS 125231 HAS SOUS 27936 HAS SOUPS 24091 WITH SCORE 24229.551
AT ITER 9707 NEW BEST:: SOT 192817 SOS 138128 HAS SOPS 124881 HAS SOUS 27923 HAS SOUPS 24082 WITH SCORE 24220.128
AT ITER 9722 NEW BEST:: SOT 192786 SOS 138097 HAS SOPS 124850 HAS SOUS 27923 HAS SOUPS 24082 WITH SCORE 24220.097
AT ITER 9746 NEW BEST:: SOT 192780 SOS 138091 HAS SOPS 124844 HAS SOUS 27911 HAS SOUPS 24070 WITH SCORE 24208.091
AT ITER 9762 NEW BEST:: SOT 192779 SOS 138089 HAS SOPS 124842 HAS SOUS 27909 HAS SOUPS 24068 WITH SCORE 24206.089
AT ITER 9795 NEW BEST:: SOT 192734 SOS 138064 HAS SOPS 124817 HAS SOUS 27847 HAS SOUPS 24006 WITH SCORE 24144.064
AT ITER 9796 NEW BEST:: SOT 192729 SOS 138059 HAS SOPS 124812 HAS SOUS 27837 HAS SOUPS 23996 WITH SCORE 24134.059
AT ITER 9931 NEW BEST:: SOT 192716 SOS 138043 HAS SOPS 124796 HAS SOUS 27824 HAS SOUPS 23983 WITH SCORE 24121.043
AT ITER 9954 NEW BEST:: SOT 192710 SOS 138043 HAS SOPS 124784 HAS SOUS 27820 HAS SOUPS 23979 WITH SCORE 24117.043
AT ITER 9974 NEW BEST:: SOT 192708 SOS 138041 HAS SOPS 124781 HAS SOUS 27818 HAS SOUPS 23976 WITH SCORE 24114.041
BK_STOP 1679324052835
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
/home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//smart.sh: line 116: 481 Killed ${SMART}/smart ${INPUT_SM}
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Vasy2003-PT-none"
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 Vasy2003-PT-none, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r491-tall-167912711501232"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Vasy2003-PT-none.tgz
mv Vasy2003-PT-none 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 '
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 ;