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.r395-oct2-167903718800424.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 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 ShieldPPPs-PT-005A, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r395-oct2-167903718800424
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 572K
-rw-r--r-- 1 mcc users 7.4K Feb 26 01:51 CTLCardinality.txt
-rw-r--r-- 1 mcc users 89K Feb 26 01:51 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Feb 26 01:49 CTLFireability.txt
-rw-r--r-- 1 mcc users 56K Feb 26 01:49 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:58 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:58 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:58 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:58 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 26 01:53 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 147K Feb 26 01:53 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 26 01:52 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 102K Feb 26 01:52 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:58 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:58 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 44K 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 1679566220116

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=ShieldPPPs-PT-005A
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-23 10:10:22] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-23 10:10:22] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-23 10:10:22] [INFO ] Load time of PNML (sax parser for PT used): 44 ms
[2023-03-23 10:10:22] [INFO ] Transformed 158 places.
[2023-03-23 10:10:22] [INFO ] Transformed 133 transitions.
[2023-03-23 10:10:22] [INFO ] Found NUPN structural information;
[2023-03-23 10:10:22] [INFO ] Parsed PT model containing 158 places and 133 transitions and 506 arcs in 104 ms.
[2023-03-23 10:10:22] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 158 places, 133 transitions and 506 arcs took 5 ms.
Total runtime 137 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldPPPs (PT), instance 005A
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: 158 places, 133 transitions, 506 arcs.
AT ITER 0 NEW BEST:: SOT 13659 SOS 9698 HAS SOPS 9698 HAS SOUS 7660 HAS SOUPS 7660 WITH SCORE 7669.698
AT ITER 16 NEW BEST:: SOT 13614 SOS 9694 HAS SOPS 9694 HAS SOUS 7656 HAS SOUPS 7656 WITH SCORE 7665.694
AT ITER 17 NEW BEST:: SOT 13612 SOS 9690 HAS SOPS 9690 HAS SOUS 7652 HAS SOUPS 7652 WITH SCORE 7661.69
AT ITER 20 NEW BEST:: SOT 13611 SOS 9598 HAS SOPS 9598 HAS SOUS 7628 HAS SOUPS 7628 WITH SCORE 7637.598
AT ITER 24 NEW BEST:: SOT 13613 SOS 9594 HAS SOPS 9594 HAS SOUS 7615 HAS SOUPS 7615 WITH SCORE 7624.594
AT ITER 26 NEW BEST:: SOT 13495 SOS 9510 HAS SOPS 9510 HAS SOUS 7525 HAS SOUPS 7525 WITH SCORE 7534.51
AT ITER 37 NEW BEST:: SOT 13439 SOS 9230 HAS SOPS 9230 HAS SOUS 7524 HAS SOUPS 7524 WITH SCORE 7533.23
AT ITER 41 NEW BEST:: SOT 13439 SOS 9226 HAS SOPS 9226 HAS SOUS 7524 HAS SOUPS 7524 WITH SCORE 7533.226
AT ITER 43 NEW BEST:: SOT 13437 SOS 9221 HAS SOPS 9221 HAS SOUS 7519 HAS SOUPS 7519 WITH SCORE 7528.221
AT ITER 66 NEW BEST:: SOT 13301 SOS 9170 HAS SOPS 9170 HAS SOUS 7389 HAS SOUPS 7389 WITH SCORE 7398.17
AT ITER 68 NEW BEST:: SOT 13294 SOS 9162 HAS SOPS 9162 HAS SOUS 7381 HAS SOUPS 7381 WITH SCORE 7390.162
AT ITER 74 NEW BEST:: SOT 13273 SOS 9141 HAS SOPS 9141 HAS SOUS 7381 HAS SOUPS 7381 WITH SCORE 7390.141
AT ITER 76 NEW BEST:: SOT 13275 SOS 8872 HAS SOPS 8872 HAS SOUS 7218 HAS SOUPS 7218 WITH SCORE 7226.872
AT ITER 77 NEW BEST:: SOT 13244 SOS 8714 HAS SOPS 8714 HAS SOUS 7216 HAS SOUPS 7216 WITH SCORE 7224.714
AT ITER 80 NEW BEST:: SOT 13237 SOS 8707 HAS SOPS 8707 HAS SOUS 7209 HAS SOUPS 7209 WITH SCORE 7217.707
AT ITER 81 NEW BEST:: SOT 13233 SOS 8703 HAS SOPS 8703 HAS SOUS 7205 HAS SOUPS 7205 WITH SCORE 7213.703
AT ITER 82 NEW BEST:: SOT 13223 SOS 8679 HAS SOPS 8679 HAS SOUS 7181 HAS SOUPS 7181 WITH SCORE 7189.679
AT ITER 91 NEW BEST:: SOT 13213 SOS 8669 HAS SOPS 8669 HAS SOUS 7171 HAS SOUPS 7171 WITH SCORE 7179.669
AT ITER 98 NEW BEST:: SOT 13186 SOS 8642 HAS SOPS 8642 HAS SOUS 7144 HAS SOUPS 7144 WITH SCORE 7152.642
AT ITER 99 NEW BEST:: SOT 13141 SOS 8479 HAS SOPS 8479 HAS SOUS 6984 HAS SOUPS 6984 WITH SCORE 6992.479
AT ITER 107 NEW BEST:: SOT 13137 SOS 8475 HAS SOPS 8475 HAS SOUS 6980 HAS SOUPS 6980 WITH SCORE 6988.475
AT ITER 109 NEW BEST:: SOT 13137 SOS 8469 HAS SOPS 8469 HAS SOUS 6980 HAS SOUPS 6980 WITH SCORE 6988.469
AT ITER 115 NEW BEST:: SOT 13119 SOS 8451 HAS SOPS 8451 HAS SOUS 6948 HAS SOUPS 6948 WITH SCORE 6956.451
AT ITER 118 NEW BEST:: SOT 13106 SOS 8433 HAS SOPS 8433 HAS SOUS 6930 HAS SOUPS 6930 WITH SCORE 6938.433
AT ITER 125 NEW BEST:: SOT 13108 SOS 8439 HAS SOPS 8439 HAS SOUS 6924 HAS SOUPS 6924 WITH SCORE 6932.439
AT ITER 127 NEW BEST:: SOT 13108 SOS 8334 HAS SOPS 8334 HAS SOUS 6898 HAS SOUPS 6898 WITH SCORE 6906.334
AT ITER 128 NEW BEST:: SOT 13108 SOS 8332 HAS SOPS 8332 HAS SOUS 6896 HAS SOUPS 6896 WITH SCORE 6904.332
AT ITER 137 NEW BEST:: SOT 13083 SOS 8297 HAS SOPS 8297 HAS SOUS 6861 HAS SOUPS 6861 WITH SCORE 6869.297
AT ITER 144 NEW BEST:: SOT 13082 SOS 8295 HAS SOPS 8295 HAS SOUS 6861 HAS SOUPS 6861 WITH SCORE 6869.295
AT ITER 150 NEW BEST:: SOT 13122 SOS 8249 HAS SOPS 8249 HAS SOUS 6847 HAS SOUPS 6847 WITH SCORE 6855.249
AT ITER 151 NEW BEST:: SOT 13146 SOS 8242 HAS SOPS 8242 HAS SOUS 6840 HAS SOUPS 6840 WITH SCORE 6848.242
AT ITER 153 NEW BEST:: SOT 13250 SOS 8240 HAS SOPS 8240 HAS SOUS 6838 HAS SOUPS 6838 WITH SCORE 6846.24
AT ITER 154 NEW BEST:: SOT 13246 SOS 8229 HAS SOPS 8229 HAS SOUS 6827 HAS SOUPS 6827 WITH SCORE 6835.229
AT ITER 156 NEW BEST:: SOT 13236 SOS 8219 HAS SOPS 8219 HAS SOUS 6817 HAS SOUPS 6817 WITH SCORE 6825.219
AT ITER 169 NEW BEST:: SOT 13250 SOS 8419 HAS SOPS 8419 HAS SOUS 6734 HAS SOUPS 6734 WITH SCORE 6742.419
AT ITER 177 NEW BEST:: SOT 13243 SOS 8412 HAS SOPS 8412 HAS SOUS 6727 HAS SOUPS 6727 WITH SCORE 6735.412
AT ITER 179 NEW BEST:: SOT 13174 SOS 8343 HAS SOPS 8343 HAS SOUS 6658 HAS SOUPS 6658 WITH SCORE 6666.343
AT ITER 181 NEW BEST:: SOT 13174 SOS 8346 HAS SOPS 8346 HAS SOUS 6655 HAS SOUPS 6655 WITH SCORE 6663.346
AT ITER 182 NEW BEST:: SOT 13159 SOS 8306 HAS SOPS 8306 HAS SOUS 6593 HAS SOUPS 6593 WITH SCORE 6601.306
AT ITER 183 NEW BEST:: SOT 13158 SOS 8288 HAS SOPS 8288 HAS SOUS 6590 HAS SOUPS 6590 WITH SCORE 6598.288
AT ITER 190 NEW BEST:: SOT 13158 SOS 8285 HAS SOPS 8285 HAS SOUS 6590 HAS SOUPS 6590 WITH SCORE 6598.285
AT ITER 192 NEW BEST:: SOT 13127 SOS 8130 HAS SOPS 8130 HAS SOUS 6559 HAS SOUPS 6559 WITH SCORE 6567.13
AT ITER 201 NEW BEST:: SOT 13132 SOS 8136 HAS SOPS 8136 HAS SOUS 6558 HAS SOUPS 6558 WITH SCORE 6566.136
AT ITER 208 NEW BEST:: SOT 13076 SOS 8085 HAS SOPS 8085 HAS SOUS 6507 HAS SOUPS 6507 WITH SCORE 6515.085
AT ITER 210 NEW BEST:: SOT 13024 SOS 8015 HAS SOPS 8015 HAS SOUS 6442 HAS SOUPS 6442 WITH SCORE 6450.015
AT ITER 211 NEW BEST:: SOT 12983 SOS 7972 HAS SOPS 7972 HAS SOUS 6399 HAS SOUPS 6399 WITH SCORE 6406.972
AT ITER 213 NEW BEST:: SOT 12981 SOS 7967 HAS SOPS 7967 HAS SOUS 6398 HAS SOUPS 6398 WITH SCORE 6405.967
AT ITER 221 NEW BEST:: SOT 12912 SOS 7633 HAS SOPS 7633 HAS SOUS 6339 HAS SOUPS 6339 WITH SCORE 6346.633
AT ITER 228 NEW BEST:: SOT 12912 SOS 7630 HAS SOPS 7630 HAS SOUS 6333 HAS SOUPS 6333 WITH SCORE 6340.63
AT ITER 238 NEW BEST:: SOT 12880 SOS 7598 HAS SOPS 7598 HAS SOUS 6301 HAS SOUPS 6301 WITH SCORE 6308.598
AT ITER 244 NEW BEST:: SOT 12893 SOS 7561 HAS SOPS 7561 HAS SOUS 6248 HAS SOUPS 6248 WITH SCORE 6255.561
AT ITER 245 NEW BEST:: SOT 12870 SOS 7538 HAS SOPS 7538 HAS SOUS 6225 HAS SOUPS 6225 WITH SCORE 6232.538
AT ITER 248 NEW BEST:: SOT 12858 SOS 7526 HAS SOPS 7526 HAS SOUS 6213 HAS SOUPS 6213 WITH SCORE 6220.526
AT ITER 250 NEW BEST:: SOT 12846 SOS 7464 HAS SOPS 7464 HAS SOUS 6162 HAS SOUPS 6162 WITH SCORE 6169.464
AT ITER 251 NEW BEST:: SOT 12850 SOS 7468 HAS SOPS 7468 HAS SOUS 6159 HAS SOUPS 6159 WITH SCORE 6166.468
AT ITER 253 NEW BEST:: SOT 12816 SOS 7246 HAS SOPS 7246 HAS SOUS 6066 HAS SOUPS 6066 WITH SCORE 6073.246
AT ITER 265 NEW BEST:: SOT 12812 SOS 7242 HAS SOPS 7242 HAS SOUS 6062 HAS SOUPS 6062 WITH SCORE 6069.242
AT ITER 268 NEW BEST:: SOT 12769 SOS 7232 HAS SOPS 7232 HAS SOUS 6052 HAS SOUPS 6052 WITH SCORE 6059.232
AT ITER 274 NEW BEST:: SOT 12767 SOS 7230 HAS SOPS 7230 HAS SOUS 6050 HAS SOUPS 6050 WITH SCORE 6057.23
AT ITER 297 NEW BEST:: SOT 12771 SOS 7221 HAS SOPS 7221 HAS SOUS 6040 HAS SOUPS 6040 WITH SCORE 6047.221
AT ITER 298 NEW BEST:: SOT 12748 SOS 7198 HAS SOPS 7198 HAS SOUS 6017 HAS SOUPS 6017 WITH SCORE 6024.198
AT ITER 304 NEW BEST:: SOT 12743 SOS 7232 HAS SOPS 7232 HAS SOUS 6010 HAS SOUPS 6010 WITH SCORE 6017.232
AT ITER 305 NEW BEST:: SOT 12769 SOS 7252 HAS SOPS 7252 HAS SOUS 6006 HAS SOUPS 6006 WITH SCORE 6013.252
AT ITER 314 NEW BEST:: SOT 12768 SOS 7251 HAS SOPS 7251 HAS SOUS 6005 HAS SOUPS 6005 WITH SCORE 6012.251
AT ITER 326 NEW BEST:: SOT 12755 SOS 7210 HAS SOPS 7210 HAS SOUS 5990 HAS SOUPS 5990 WITH SCORE 5997.21
AT ITER 330 NEW BEST:: SOT 12760 SOS 7215 HAS SOPS 7215 HAS SOUS 5987 HAS SOUPS 5987 WITH SCORE 5994.215
AT ITER 339 NEW BEST:: SOT 12760 SOS 7210 HAS SOPS 7210 HAS SOUS 5981 HAS SOUPS 5981 WITH SCORE 5988.21
AT ITER 369 NEW BEST:: SOT 12758 SOS 7194 HAS SOPS 7194 HAS SOUS 5958 HAS SOUPS 5958 WITH SCORE 5965.194
AT ITER 375 NEW BEST:: SOT 12753 SOS 7189 HAS SOPS 7189 HAS SOUS 5953 HAS SOUPS 5953 WITH SCORE 5960.189
AT ITER 377 NEW BEST:: SOT 12750 SOS 7186 HAS SOPS 7186 HAS SOUS 5950 HAS SOUPS 5950 WITH SCORE 5957.186
AT ITER 419 NEW BEST:: SOT 12766 SOS 7140 HAS SOPS 7140 HAS SOUS 5923 HAS SOUPS 5923 WITH SCORE 5930.14
AT ITER 424 NEW BEST:: SOT 12766 SOS 7092 HAS SOPS 7092 HAS SOUS 5923 HAS SOUPS 5923 WITH SCORE 5930.092
AT ITER 432 NEW BEST:: SOT 12766 SOS 7114 HAS SOPS 7114 HAS SOUS 5922 HAS SOUPS 5922 WITH SCORE 5929.114
AT ITER 439 NEW BEST:: SOT 12752 SOS 7100 HAS SOPS 7100 HAS SOUS 5908 HAS SOUPS 5908 WITH SCORE 5915.1
AT ITER 449 NEW BEST:: SOT 12771 SOS 7088 HAS SOPS 7088 HAS SOUS 5896 HAS SOUPS 5896 WITH SCORE 5903.088
AT ITER 462 NEW BEST:: SOT 12771 SOS 7077 HAS SOPS 7077 HAS SOUS 5885 HAS SOUPS 5885 WITH SCORE 5892.077
AT ITER 463 NEW BEST:: SOT 12766 SOS 7072 HAS SOPS 7072 HAS SOUS 5880 HAS SOUPS 5880 WITH SCORE 5887.072
AT ITER 464 NEW BEST:: SOT 12762 SOS 7064 HAS SOPS 7064 HAS SOUS 5872 HAS SOUPS 5872 WITH SCORE 5879.064
AT ITER 470 NEW BEST:: SOT 12762 SOS 7063 HAS SOPS 7063 HAS SOUS 5871 HAS SOUPS 5871 WITH SCORE 5878.063
AT ITER 486 NEW BEST:: SOT 12721 SOS 7035 HAS SOPS 7035 HAS SOUS 5843 HAS SOUPS 5843 WITH SCORE 5850.035
AT ITER 493 NEW BEST:: SOT 12720 SOS 6946 HAS SOPS 6946 HAS SOUS 5829 HAS SOUPS 5829 WITH SCORE 5835.946
AT ITER 500 NEW BEST:: SOT 12720 SOS 6930 HAS SOPS 6930 HAS SOUS 5829 HAS SOUPS 5829 WITH SCORE 5835.93
AT ITER 514 NEW BEST:: SOT 12675 SOS 6829 HAS SOPS 6829 HAS SOUS 5728 HAS SOUPS 5728 WITH SCORE 5734.829
AT ITER 516 NEW BEST:: SOT 12669 SOS 6801 HAS SOPS 6801 HAS SOUS 5656 HAS SOUPS 5656 WITH SCORE 5662.801
AT ITER 518 NEW BEST:: SOT 12659 SOS 6795 HAS SOPS 6795 HAS SOUS 5650 HAS SOUPS 5650 WITH SCORE 5656.795
AT ITER 523 NEW BEST:: SOT 12644 SOS 6779 HAS SOPS 6779 HAS SOUS 5634 HAS SOUPS 5634 WITH SCORE 5640.779
AT ITER 524 NEW BEST:: SOT 12644 SOS 6779 HAS SOPS 6779 HAS SOUS 5632 HAS SOUPS 5632 WITH SCORE 5638.779
AT ITER 528 NEW BEST:: SOT 12622 SOS 6680 HAS SOPS 6680 HAS SOUS 5563 HAS SOUPS 5563 WITH SCORE 5569.68
AT ITER 537 NEW BEST:: SOT 12620 SOS 6678 HAS SOPS 6678 HAS SOUS 5561 HAS SOUPS 5561 WITH SCORE 5567.678
AT ITER 541 NEW BEST:: SOT 12616 SOS 6666 HAS SOPS 6666 HAS SOUS 5544 HAS SOUPS 5544 WITH SCORE 5550.666
AT ITER 557 NEW BEST:: SOT 12618 SOS 6665 HAS SOPS 6665 HAS SOUS 5543 HAS SOUPS 5543 WITH SCORE 5549.665
AT ITER 567 NEW BEST:: SOT 12605 SOS 6660 HAS SOPS 6660 HAS SOUS 5531 HAS SOUPS 5531 WITH SCORE 5537.66
AT ITER 569 NEW BEST:: SOT 12584 SOS 6635 HAS SOPS 6635 HAS SOUS 5506 HAS SOUPS 5506 WITH SCORE 5512.635
AT ITER 571 NEW BEST:: SOT 12584 SOS 6632 HAS SOPS 6632 HAS SOUS 5503 HAS SOUPS 5503 WITH SCORE 5509.632
AT ITER 576 NEW BEST:: SOT 12611 SOS 6671 HAS SOPS 6671 HAS SOUS 5502 HAS SOUPS 5502 WITH SCORE 5508.671
AT ITER 583 NEW BEST:: SOT 12598 SOS 6632 HAS SOPS 6632 HAS SOUS 5502 HAS SOUPS 5502 WITH SCORE 5508.632
AT ITER 594 NEW BEST:: SOT 12596 SOS 6603 HAS SOPS 6603 HAS SOUS 5483 HAS SOUPS 5483 WITH SCORE 5489.603
AT ITER 597 NEW BEST:: SOT 12587 SOS 6469 HAS SOPS 6469 HAS SOUS 5434 HAS SOUPS 5434 WITH SCORE 5440.469
AT ITER 604 NEW BEST:: SOT 12568 SOS 6409 HAS SOPS 6409 HAS SOUS 5374 HAS SOUPS 5374 WITH SCORE 5380.409
AT ITER 619 NEW BEST:: SOT 12566 SOS 6404 HAS SOPS 6404 HAS SOUS 5370 HAS SOUPS 5370 WITH SCORE 5376.404
AT ITER 624 NEW BEST:: SOT 12566 SOS 6376 HAS SOPS 6376 HAS SOUS 5356 HAS SOUPS 5356 WITH SCORE 5362.376
AT ITER 626 NEW BEST:: SOT 12540 SOS 6330 HAS SOPS 6330 HAS SOUS 5317 HAS SOUPS 5317 WITH SCORE 5323.33
AT ITER 628 NEW BEST:: SOT 12537 SOS 6327 HAS SOPS 6327 HAS SOUS 5314 HAS SOUPS 5314 WITH SCORE 5320.327
AT ITER 640 NEW BEST:: SOT 12522 SOS 6324 HAS SOPS 6324 HAS SOUS 5314 HAS SOUPS 5314 WITH SCORE 5320.324
AT ITER 649 NEW BEST:: SOT 12515 SOS 6317 HAS SOPS 6317 HAS SOUS 5307 HAS SOUPS 5307 WITH SCORE 5313.317
AT ITER 668 NEW BEST:: SOT 12492 SOS 6201 HAS SOPS 6201 HAS SOUS 5222 HAS SOUPS 5222 WITH SCORE 5228.201
AT ITER 669 NEW BEST:: SOT 12490 SOS 6199 HAS SOPS 6199 HAS SOUS 5220 HAS SOUPS 5220 WITH SCORE 5226.199
AT ITER 697 NEW BEST:: SOT 12490 SOS 6171 HAS SOPS 6171 HAS SOUS 5195 HAS SOUPS 5195 WITH SCORE 5201.171
AT ITER 703 NEW BEST:: SOT 12493 SOS 6143 HAS SOPS 6143 HAS SOUS 5175 HAS SOUPS 5175 WITH SCORE 5181.143
AT ITER 717 NEW BEST:: SOT 12492 SOS 6141 HAS SOPS 6141 HAS SOUS 5173 HAS SOUPS 5173 WITH SCORE 5179.141
AT ITER 728 NEW BEST:: SOT 12480 SOS 6093 HAS SOPS 6093 HAS SOUS 5099 HAS SOUPS 5099 WITH SCORE 5105.093
AT ITER 734 NEW BEST:: SOT 12466 SOS 6082 HAS SOPS 6082 HAS SOUS 5088 HAS SOUPS 5088 WITH SCORE 5094.082
AT ITER 762 NEW BEST:: SOT 12459 SOS 6086 HAS SOPS 6086 HAS SOUS 5084 HAS SOUPS 5084 WITH SCORE 5090.086
AT ITER 764 NEW BEST:: SOT 12456 SOS 6091 HAS SOPS 6091 HAS SOUS 5076 HAS SOUPS 5076 WITH SCORE 5082.091
AT ITER 772 NEW BEST:: SOT 12479 SOS 6106 HAS SOPS 6106 HAS SOUS 5075 HAS SOUPS 5075 WITH SCORE 5081.106
AT ITER 779 NEW BEST:: SOT 12476 SOS 6103 HAS SOPS 6103 HAS SOUS 5072 HAS SOUPS 5072 WITH SCORE 5078.103
AT ITER 797 NEW BEST:: SOT 12474 SOS 6099 HAS SOPS 6099 HAS SOUS 5068 HAS SOUPS 5068 WITH SCORE 5074.099
AT ITER 817 NEW BEST:: SOT 12474 SOS 6098 HAS SOPS 6098 HAS SOUS 5068 HAS SOUPS 5068 WITH SCORE 5074.098
AT ITER 830 NEW BEST:: SOT 12473 SOS 6095 HAS SOPS 6095 HAS SOUS 5066 HAS SOUPS 5066 WITH SCORE 5072.095
AT ITER 848 NEW BEST:: SOT 12469 SOS 6095 HAS SOPS 6095 HAS SOUS 5063 HAS SOUPS 5063 WITH SCORE 5069.095
AT ITER 855 NEW BEST:: SOT 12469 SOS 6091 HAS SOPS 6091 HAS SOUS 5047 HAS SOUPS 5047 WITH SCORE 5053.091
AT ITER 878 NEW BEST:: SOT 12463 SOS 6089 HAS SOPS 6089 HAS SOUS 5045 HAS SOUPS 5045 WITH SCORE 5051.089
AT ITER 907 NEW BEST:: SOT 12492 SOS 6040 HAS SOPS 6040 HAS SOUS 5017 HAS SOUPS 5017 WITH SCORE 5023.04
AT ITER 924 NEW BEST:: SOT 12482 SOS 6020 HAS SOPS 6020 HAS SOUS 4992 HAS SOUPS 4992 WITH SCORE 4998.02
AT ITER 931 NEW BEST:: SOT 12487 SOS 6011 HAS SOPS 6011 HAS SOUS 4990 HAS SOUPS 4990 WITH SCORE 4996.011
AT ITER 935 NEW BEST:: SOT 12485 SOS 6007 HAS SOPS 6007 HAS SOUS 4984 HAS SOUPS 4984 WITH SCORE 4990.007
AT ITER 938 NEW BEST:: SOT 12503 SOS 6009 HAS SOPS 6009 HAS SOUS 4983 HAS SOUPS 4983 WITH SCORE 4989.009
AT ITER 940 NEW BEST:: SOT 12465 SOS 6007 HAS SOPS 6007 HAS SOUS 4974 HAS SOUPS 4974 WITH SCORE 4980.007
AT ITER 946 NEW BEST:: SOT 12462 SOS 6004 HAS SOPS 6004 HAS SOUS 4971 HAS SOUPS 4971 WITH SCORE 4977.004
AT ITER 956 NEW BEST:: SOT 12504 SOS 6112 HAS SOPS 6112 HAS SOUS 4913 HAS SOUPS 4913 WITH SCORE 4919.112
AT ITER 962 NEW BEST:: SOT 12502 SOS 6110 HAS SOPS 6110 HAS SOUS 4911 HAS SOUPS 4911 WITH SCORE 4917.11
AT ITER 973 NEW BEST:: SOT 12502 SOS 6092 HAS SOPS 6092 HAS SOUS 4899 HAS SOUPS 4899 WITH SCORE 4905.092
AT ITER 978 NEW BEST:: SOT 12497 SOS 6057 HAS SOPS 6057 HAS SOUS 4886 HAS SOUPS 4886 WITH SCORE 4892.057
AT ITER 987 NEW BEST:: SOT 12481 SOS 6041 HAS SOPS 6041 HAS SOUS 4870 HAS SOUPS 4870 WITH SCORE 4876.041
AT ITER 990 NEW BEST:: SOT 12476 SOS 6031 HAS SOPS 6031 HAS SOUS 4860 HAS SOUPS 4860 WITH SCORE 4866.031
AT ITER 1003 NEW BEST:: SOT 12467 SOS 6008 HAS SOPS 6008 HAS SOUS 4844 HAS SOUPS 4844 WITH SCORE 4850.008
AT ITER 1006 NEW BEST:: SOT 12460 SOS 6001 HAS SOPS 6001 HAS SOUS 4834 HAS SOUPS 4834 WITH SCORE 4840.001
AT ITER 1011 NEW BEST:: SOT 12455 SOS 5996 HAS SOPS 5996 HAS SOUS 4829 HAS SOUPS 4829 WITH SCORE 4834.996
AT ITER 1012 NEW BEST:: SOT 12443 SOS 5974 HAS SOPS 5974 HAS SOUS 4807 HAS SOUPS 4807 WITH SCORE 4812.974
AT ITER 1016 NEW BEST:: SOT 12436 SOS 5932 HAS SOPS 5932 HAS SOUS 4800 HAS SOUPS 4800 WITH SCORE 4805.932
AT ITER 1021 NEW BEST:: SOT 12425 SOS 5921 HAS SOPS 5921 HAS SOUS 4789 HAS SOUPS 4789 WITH SCORE 4794.921
AT ITER 1032 NEW BEST:: SOT 12415 SOS 5891 HAS SOPS 5891 HAS SOUS 4779 HAS SOUPS 4779 WITH SCORE 4784.891
AT ITER 1103 NEW BEST:: SOT 12415 SOS 5887 HAS SOPS 5887 HAS SOUS 4778 HAS SOUPS 4778 WITH SCORE 4783.887
AT ITER 1108 NEW BEST:: SOT 12413 SOS 5883 HAS SOPS 5883 HAS SOUS 4765 HAS SOUPS 4765 WITH SCORE 4770.883
AT ITER 1111 NEW BEST:: SOT 12402 SOS 5825 HAS SOPS 5825 HAS SOUS 4718 HAS SOUPS 4718 WITH SCORE 4723.825
AT ITER 1120 NEW BEST:: SOT 12381 SOS 5804 HAS SOPS 5804 HAS SOUS 4697 HAS SOUPS 4697 WITH SCORE 4702.804
AT ITER 1128 NEW BEST:: SOT 12375 SOS 5794 HAS SOPS 5794 HAS SOUS 4687 HAS SOUPS 4687 WITH SCORE 4692.794
AT ITER 1134 NEW BEST:: SOT 12368 SOS 5773 HAS SOPS 5773 HAS SOUS 4659 HAS SOUPS 4659 WITH SCORE 4664.773
AT ITER 1157 NEW BEST:: SOT 12358 SOS 5763 HAS SOPS 5763 HAS SOUS 4649 HAS SOUPS 4649 WITH SCORE 4654.763
AT ITER 1192 NEW BEST:: SOT 12381 SOS 5786 HAS SOPS 5786 HAS SOUS 4636 HAS SOUPS 4636 WITH SCORE 4641.786
AT ITER 1197 NEW BEST:: SOT 12377 SOS 5773 HAS SOPS 5773 HAS SOUS 4614 HAS SOUPS 4614 WITH SCORE 4619.773
AT ITER 1198 NEW BEST:: SOT 12367 SOS 5767 HAS SOPS 5767 HAS SOUS 4614 HAS SOUPS 4614 WITH SCORE 4619.767
AT ITER 1199 NEW BEST:: SOT 12367 SOS 5722 HAS SOPS 5722 HAS SOUS 4599 HAS SOUPS 4599 WITH SCORE 4604.722
AT ITER 1200 NEW BEST:: SOT 12366 SOS 5721 HAS SOPS 5721 HAS SOUS 4598 HAS SOUPS 4598 WITH SCORE 4603.721
AT ITER 1213 NEW BEST:: SOT 12354 SOS 5709 HAS SOPS 5709 HAS SOUS 4586 HAS SOUPS 4586 WITH SCORE 4591.709
AT ITER 1233 NEW BEST:: SOT 12351 SOS 5696 HAS SOPS 5696 HAS SOUS 4573 HAS SOUPS 4573 WITH SCORE 4578.696
AT ITER 1236 NEW BEST:: SOT 12329 SOS 5652 HAS SOPS 5652 HAS SOUS 4540 HAS SOUPS 4540 WITH SCORE 4545.652
AT ITER 1257 NEW BEST:: SOT 12337 SOS 5652 HAS SOPS 5652 HAS SOUS 4532 HAS SOUPS 4532 WITH SCORE 4537.652
AT ITER 1280 NEW BEST:: SOT 12337 SOS 5657 HAS SOPS 5657 HAS SOUS 4522 HAS SOUPS 4522 WITH SCORE 4527.657
AT ITER 1287 NEW BEST:: SOT 12309 SOS 5633 HAS SOPS 5633 HAS SOUS 4518 HAS SOUPS 4518 WITH SCORE 4523.633
AT ITER 1291 NEW BEST:: SOT 12305 SOS 5628 HAS SOPS 5628 HAS SOUS 4516 HAS SOUPS 4516 WITH SCORE 4521.628
AT ITER 1298 NEW BEST:: SOT 12281 SOS 5604 HAS SOPS 5604 HAS SOUS 4492 HAS SOUPS 4492 WITH SCORE 4497.604
AT ITER 1317 NEW BEST:: SOT 12263 SOS 5564 HAS SOPS 5564 HAS SOUS 4452 HAS SOUPS 4452 WITH SCORE 4457.564
AT ITER 1320 NEW BEST:: SOT 12261 SOS 5546 HAS SOPS 5546 HAS SOUS 4442 HAS SOUPS 4442 WITH SCORE 4447.546
AT ITER 1321 NEW BEST:: SOT 12247 SOS 5393 HAS SOPS 5393 HAS SOUS 4401 HAS SOUPS 4401 WITH SCORE 4406.393
AT ITER 1329 NEW BEST:: SOT 12245 SOS 5391 HAS SOPS 5391 HAS SOUS 4399 HAS SOUPS 4399 WITH SCORE 4404.391
AT ITER 1377 NEW BEST:: SOT 12237 SOS 5378 HAS SOPS 5378 HAS SOUS 4370 HAS SOUPS 4370 WITH SCORE 4375.378
AT ITER 1391 NEW BEST:: SOT 12229 SOS 5370 HAS SOPS 5370 HAS SOUS 4362 HAS SOUPS 4362 WITH SCORE 4367.37
AT ITER 1401 NEW BEST:: SOT 12221 SOS 5358 HAS SOPS 5358 HAS SOUS 4350 HAS SOUPS 4350 WITH SCORE 4355.358
AT ITER 1403 NEW BEST:: SOT 12234 SOS 5352 HAS SOPS 5352 HAS SOUS 4332 HAS SOUPS 4332 WITH SCORE 4337.352
AT ITER 1446 NEW BEST:: SOT 12231 SOS 5329 HAS SOPS 5329 HAS SOUS 4309 HAS SOUPS 4309 WITH SCORE 4314.329
AT ITER 1497 NEW BEST:: SOT 12223 SOS 5321 HAS SOPS 5321 HAS SOUS 4305 HAS SOUPS 4305 WITH SCORE 4310.321
AT ITER 1524 NEW BEST:: SOT 12242 SOS 5335 HAS SOPS 5335 HAS SOUS 4300 HAS SOUPS 4300 WITH SCORE 4305.335
AT ITER 1532 NEW BEST:: SOT 12240 SOS 5324 HAS SOPS 5324 HAS SOUS 4289 HAS SOUPS 4289 WITH SCORE 4294.324
AT ITER 1546 NEW BEST:: SOT 12238 SOS 5322 HAS SOPS 5322 HAS SOUS 4287 HAS SOUPS 4287 WITH SCORE 4292.322
AT ITER 1576 NEW BEST:: SOT 12195 SOS 5274 HAS SOPS 5274 HAS SOUS 4239 HAS SOUPS 4239 WITH SCORE 4244.274
AT ITER 1579 NEW BEST:: SOT 12171 SOS 5216 HAS SOPS 5216 HAS SOUS 4187 HAS SOUPS 4187 WITH SCORE 4192.216
AT ITER 1610 NEW BEST:: SOT 12171 SOS 5200 HAS SOPS 5200 HAS SOUS 4186 HAS SOUPS 4186 WITH SCORE 4191.2
AT ITER 1652 NEW BEST:: SOT 12165 SOS 5182 HAS SOPS 5182 HAS SOUS 4172 HAS SOUPS 4172 WITH SCORE 4177.182
AT ITER 1665 NEW BEST:: SOT 12161 SOS 5178 HAS SOPS 5178 HAS SOUS 4168 HAS SOUPS 4168 WITH SCORE 4173.178
AT ITER 1666 NEW BEST:: SOT 12162 SOS 5160 HAS SOPS 5160 HAS SOUS 4161 HAS SOUPS 4161 WITH SCORE 4166.16
AT ITER 1674 NEW BEST:: SOT 12162 SOS 5174 HAS SOPS 5174 HAS SOUS 4157 HAS SOUPS 4157 WITH SCORE 4162.174
AT ITER 1684 NEW BEST:: SOT 12153 SOS 5196 HAS SOPS 5196 HAS SOUS 4151 HAS SOUPS 4151 WITH SCORE 4156.196
AT ITER 1688 NEW BEST:: SOT 12152 SOS 5195 HAS SOPS 5195 HAS SOUS 4150 HAS SOUPS 4150 WITH SCORE 4155.195
AT ITER 1689 NEW BEST:: SOT 12144 SOS 5187 HAS SOPS 5187 HAS SOUS 4141 HAS SOUPS 4141 WITH SCORE 4146.187
AT ITER 1694 NEW BEST:: SOT 12144 SOS 5137 HAS SOPS 5137 HAS SOUS 4141 HAS SOUPS 4141 WITH SCORE 4146.137
AT ITER 1710 NEW BEST:: SOT 12145 SOS 5133 HAS SOPS 5133 HAS SOUS 4137 HAS SOUPS 4137 WITH SCORE 4142.133
AT ITER 1716 NEW BEST:: SOT 12142 SOS 5130 HAS SOPS 5130 HAS SOUS 4116 HAS SOUPS 4116 WITH SCORE 4121.13
AT ITER 1724 NEW BEST:: SOT 12119 SOS 5115 HAS SOPS 5115 HAS SOUS 4101 HAS SOUPS 4101 WITH SCORE 4106.115
AT ITER 1759 NEW BEST:: SOT 12111 SOS 5078 HAS SOPS 5078 HAS SOUS 4086 HAS SOUPS 4086 WITH SCORE 4091.078
AT ITER 1762 NEW BEST:: SOT 12105 SOS 5055 HAS SOPS 5055 HAS SOUS 4063 HAS SOUPS 4063 WITH SCORE 4068.055
AT ITER 1768 NEW BEST:: SOT 12100 SOS 5042 HAS SOPS 5042 HAS SOUS 4060 HAS SOUPS 4060 WITH SCORE 4065.042
AT ITER 1779 NEW BEST:: SOT 12091 SOS 5031 HAS SOPS 5031 HAS SOUS 4045 HAS SOUPS 4045 WITH SCORE 4050.031
AT ITER 1788 NEW BEST:: SOT 12091 SOS 4969 HAS SOPS 4969 HAS SOUS 4025 HAS SOUPS 4025 WITH SCORE 4029.969
AT ITER 1797 NEW BEST:: SOT 12055 SOS 4920 HAS SOPS 4920 HAS SOUS 3976 HAS SOUPS 3976 WITH SCORE 3980.92
AT ITER 1817 NEW BEST:: SOT 12054 SOS 4919 HAS SOPS 4919 HAS SOUS 3976 HAS SOUPS 3976 WITH SCORE 3980.919
AT ITER 1819 NEW BEST:: SOT 12054 SOS 4913 HAS SOPS 4913 HAS SOUS 3974 HAS SOUPS 3974 WITH SCORE 3978.913
AT ITER 1838 NEW BEST:: SOT 12044 SOS 4687 HAS SOPS 4687 HAS SOUS 3929 HAS SOUPS 3929 WITH SCORE 3933.687
AT ITER 1865 NEW BEST:: SOT 12036 SOS 4679 HAS SOPS 4679 HAS SOUS 3921 HAS SOUPS 3921 WITH SCORE 3925.679
AT ITER 1885 NEW BEST:: SOT 12011 SOS 4620 HAS SOPS 4620 HAS SOUS 3893 HAS SOUPS 3893 WITH SCORE 3897.62
AT ITER 1889 NEW BEST:: SOT 12004 SOS 4607 HAS SOPS 4607 HAS SOUS 3878 HAS SOUPS 3878 WITH SCORE 3882.607
AT ITER 1905 NEW BEST:: SOT 11998 SOS 4588 HAS SOPS 4588 HAS SOUS 3875 HAS SOUPS 3875 WITH SCORE 3879.588
AT ITER 1930 NEW BEST:: SOT 11994 SOS 4580 HAS SOPS 4580 HAS SOUS 3867 HAS SOUPS 3867 WITH SCORE 3871.58
AT ITER 1951 NEW BEST:: SOT 11992 SOS 4575 HAS SOPS 4575 HAS SOUS 3855 HAS SOUPS 3855 WITH SCORE 3859.575
AT ITER 1976 NEW BEST:: SOT 11994 SOS 4577 HAS SOPS 4577 HAS SOUS 3846 HAS SOUPS 3846 WITH SCORE 3850.577
AT ITER 1987 NEW BEST:: SOT 11990 SOS 4573 HAS SOPS 4573 HAS SOUS 3842 HAS SOUPS 3842 WITH SCORE 3846.573
AT ITER 2026 NEW BEST:: SOT 11958 SOS 4509 HAS SOPS 4509 HAS SOUS 3806 HAS SOUPS 3806 WITH SCORE 3810.509
AT ITER 2037 NEW BEST:: SOT 11958 SOS 4501 HAS SOPS 4501 HAS SOUS 3798 HAS SOUPS 3798 WITH SCORE 3802.501
AT ITER 2040 NEW BEST:: SOT 11947 SOS 4520 HAS SOPS 4520 HAS SOUS 3791 HAS SOUPS 3791 WITH SCORE 3795.52
AT ITER 2042 NEW BEST:: SOT 11955 SOS 4528 HAS SOPS 4528 HAS SOUS 3790 HAS SOUPS 3790 WITH SCORE 3794.528
AT ITER 2049 NEW BEST:: SOT 11955 SOS 4525 HAS SOPS 4525 HAS SOUS 3788 HAS SOUPS 3788 WITH SCORE 3792.525
AT ITER 2074 NEW BEST:: SOT 11951 SOS 4517 HAS SOPS 4517 HAS SOUS 3780 HAS SOUPS 3780 WITH SCORE 3784.517
AT ITER 2088 NEW BEST:: SOT 11932 SOS 4467 HAS SOPS 4467 HAS SOUS 3780 HAS SOUPS 3780 WITH SCORE 3784.467
AT ITER 2108 NEW BEST:: SOT 11947 SOS 4504 HAS SOPS 4504 HAS SOUS 3773 HAS SOUPS 3773 WITH SCORE 3777.504
AT ITER 2169 NEW BEST:: SOT 11946 SOS 4503 HAS SOPS 4503 HAS SOUS 3772 HAS SOUPS 3772 WITH SCORE 3776.503
AT ITER 2183 NEW BEST:: SOT 11932 SOS 4489 HAS SOPS 4489 HAS SOUS 3760 HAS SOUPS 3760 WITH SCORE 3764.489
AT ITER 2216 NEW BEST:: SOT 11924 SOS 4481 HAS SOPS 4481 HAS SOUS 3746 HAS SOUPS 3746 WITH SCORE 3750.481
AT ITER 2219 NEW BEST:: SOT 11918 SOS 4445 HAS SOPS 4445 HAS SOUS 3737 HAS SOUPS 3737 WITH SCORE 3741.445
AT ITER 2242 NEW BEST:: SOT 11925 SOS 4452 HAS SOPS 4452 HAS SOUS 3730 HAS SOUPS 3730 WITH SCORE 3734.452
AT ITER 2253 NEW BEST:: SOT 11923 SOS 4442 HAS SOPS 4442 HAS SOUS 3726 HAS SOUPS 3726 WITH SCORE 3730.442
AT ITER 2258 NEW BEST:: SOT 11920 SOS 4439 HAS SOPS 4439 HAS SOUS 3726 HAS SOUPS 3726 WITH SCORE 3730.439
AT ITER 2262 NEW BEST:: SOT 11904 SOS 4423 HAS SOPS 4423 HAS SOUS 3710 HAS SOUPS 3710 WITH SCORE 3714.423
AT ITER 2272 NEW BEST:: SOT 11904 SOS 4415 HAS SOPS 4415 HAS SOUS 3708 HAS SOUPS 3708 WITH SCORE 3712.415
AT ITER 2286 NEW BEST:: SOT 11874 SOS 4390 HAS SOPS 4390 HAS SOUS 3676 HAS SOUPS 3676 WITH SCORE 3680.39
AT ITER 2313 NEW BEST:: SOT 11874 SOS 4388 HAS SOPS 4388 HAS SOUS 3674 HAS SOUPS 3674 WITH SCORE 3678.388
AT ITER 2320 NEW BEST:: SOT 11879 SOS 4393 HAS SOPS 4393 HAS SOUS 3670 HAS SOUPS 3670 WITH SCORE 3674.393
AT ITER 2326 NEW BEST:: SOT 11871 SOS 4358 HAS SOPS 4358 HAS SOUS 3662 HAS SOUPS 3662 WITH SCORE 3666.358
AT ITER 2363 NEW BEST:: SOT 11866 SOS 4355 HAS SOPS 4355 HAS SOUS 3659 HAS SOUPS 3659 WITH SCORE 3663.355
AT ITER 2368 NEW BEST:: SOT 11864 SOS 4351 HAS SOPS 4351 HAS SOUS 3656 HAS SOUPS 3656 WITH SCORE 3660.351
AT ITER 2382 NEW BEST:: SOT 11868 SOS 4312 HAS SOPS 4312 HAS SOUS 3656 HAS SOUPS 3656 WITH SCORE 3660.312
AT ITER 2398 NEW BEST:: SOT 11866 SOS 4306 HAS SOPS 4306 HAS SOUS 3654 HAS SOUPS 3654 WITH SCORE 3658.306
AT ITER 2400 NEW BEST:: SOT 11865 SOS 4264 HAS SOPS 4264 HAS SOUS 3650 HAS SOUPS 3650 WITH SCORE 3654.264
AT ITER 2417 NEW BEST:: SOT 11864 SOS 4263 HAS SOPS 4263 HAS SOUS 3649 HAS SOUPS 3649 WITH SCORE 3653.263
AT ITER 2459 NEW BEST:: SOT 11865 SOS 4260 HAS SOPS 4260 HAS SOUS 3648 HAS SOUPS 3648 WITH SCORE 3652.26
AT ITER 2467 NEW BEST:: SOT 11861 SOS 4256 HAS SOPS 4256 HAS SOUS 3644 HAS SOUPS 3644 WITH SCORE 3648.256
AT ITER 2470 NEW BEST:: SOT 11860 SOS 4250 HAS SOPS 4250 HAS SOUS 3639 HAS SOUPS 3639 WITH SCORE 3643.25
AT ITER 2471 NEW BEST:: SOT 11860 SOS 4216 HAS SOPS 4216 HAS SOUS 3617 HAS SOUPS 3617 WITH SCORE 3621.216
AT ITER 2487 NEW BEST:: SOT 11856 SOS 4212 HAS SOPS 4212 HAS SOUS 3616 HAS SOUPS 3616 WITH SCORE 3620.212
AT ITER 2498 NEW BEST:: SOT 11848 SOS 4203 HAS SOPS 4203 HAS SOUS 3608 HAS SOUPS 3608 WITH SCORE 3612.203
AT ITER 2505 NEW BEST:: SOT 11844 SOS 4199 HAS SOPS 4199 HAS SOUS 3604 HAS SOUPS 3604 WITH SCORE 3608.199
AT ITER 2515 NEW BEST:: SOT 11840 SOS 4184 HAS SOPS 4184 HAS SOUS 3592 HAS SOUPS 3592 WITH SCORE 3596.184
AT ITER 2541 NEW BEST:: SOT 11833 SOS 4184 HAS SOPS 4184 HAS SOUS 3591 HAS SOUPS 3591 WITH SCORE 3595.184
AT ITER 2604 NEW BEST:: SOT 11827 SOS 4172 HAS SOPS 4172 HAS SOUS 3585 HAS SOUPS 3585 WITH SCORE 3589.172
AT ITER 2626 NEW BEST:: SOT 11825 SOS 4175 HAS SOPS 4175 HAS SOUS 3583 HAS SOUPS 3583 WITH SCORE 3587.175
AT ITER 2633 NEW BEST:: SOT 11825 SOS 4165 HAS SOPS 4165 HAS SOUS 3583 HAS SOUPS 3583 WITH SCORE 3587.165
AT ITER 2664 NEW BEST:: SOT 11823 SOS 4159 HAS SOPS 4159 HAS SOUS 3580 HAS SOUPS 3580 WITH SCORE 3584.159
AT ITER 2667 NEW BEST:: SOT 11821 SOS 4157 HAS SOPS 4157 HAS SOUS 3578 HAS SOUPS 3578 WITH SCORE 3582.157
AT ITER 2668 NEW BEST:: SOT 11850 SOS 4119 HAS SOPS 4119 HAS SOUS 3574 HAS SOUPS 3574 WITH SCORE 3578.119
AT ITER 2699 NEW BEST:: SOT 11850 SOS 4133 HAS SOPS 4133 HAS SOUS 3560 HAS SOUPS 3560 WITH SCORE 3564.133
AT ITER 2735 NEW BEST:: SOT 11850 SOS 4131 HAS SOPS 4131 HAS SOUS 3558 HAS SOUPS 3558 WITH SCORE 3562.131
AT ITER 2745 NEW BEST:: SOT 11863 SOS 4147 HAS SOPS 4147 HAS SOUS 3548 HAS SOUPS 3548 WITH SCORE 3552.147
AT ITER 2770 NEW BEST:: SOT 11863 SOS 4145 HAS SOPS 4145 HAS SOUS 3546 HAS SOUPS 3546 WITH SCORE 3550.145
AT ITER 2785 NEW BEST:: SOT 11862 SOS 4190 HAS SOPS 4190 HAS SOUS 3541 HAS SOUPS 3541 WITH SCORE 3545.19
AT ITER 2802 NEW BEST:: SOT 11862 SOS 4192 HAS SOPS 4192 HAS SOUS 3534 HAS SOUPS 3534 WITH SCORE 3538.192
AT ITER 2883 NEW BEST:: SOT 11854 SOS 4180 HAS SOPS 4180 HAS SOUS 3526 HAS SOUPS 3526 WITH SCORE 3530.18
AT ITER 2900 NEW BEST:: SOT 11845 SOS 4151 HAS SOPS 4151 HAS SOUS 3506 HAS SOUPS 3506 WITH SCORE 3510.151
AT ITER 2928 NEW BEST:: SOT 11845 SOS 4130 HAS SOPS 4130 HAS SOUS 3492 HAS SOUPS 3492 WITH SCORE 3496.13
AT ITER 2964 NEW BEST:: SOT 11837 SOS 4114 HAS SOPS 4114 HAS SOUS 3476 HAS SOUPS 3476 WITH SCORE 3480.114
AT ITER 2967 NEW BEST:: SOT 11831 SOS 4110 HAS SOPS 4110 HAS SOUS 3472 HAS SOUPS 3472 WITH SCORE 3476.11
AT ITER 2978 NEW BEST:: SOT 11829 SOS 4108 HAS SOPS 4108 HAS SOUS 3472 HAS SOUPS 3472 WITH SCORE 3476.108
AT ITER 2983 NEW BEST:: SOT 11819 SOS 3995 HAS SOPS 3995 HAS SOUS 3459 HAS SOUPS 3459 WITH SCORE 3462.995
AT ITER 2991 NEW BEST:: SOT 11815 SOS 3985 HAS SOPS 3985 HAS SOUS 3452 HAS SOUPS 3452 WITH SCORE 3455.985
AT ITER 2993 NEW BEST:: SOT 11816 SOS 3984 HAS SOPS 3984 HAS SOUS 3452 HAS SOUPS 3452 WITH SCORE 3455.984
AT ITER 2999 NEW BEST:: SOT 11808 SOS 3976 HAS SOPS 3976 HAS SOUS 3444 HAS SOUPS 3444 WITH SCORE 3447.976
AT ITER 3001 NEW BEST:: SOT 11804 SOS 3975 HAS SOPS 3975 HAS SOUS 3440 HAS SOUPS 3440 WITH SCORE 3443.975
AT ITER 3034 NEW BEST:: SOT 11792 SOS 3927 HAS SOPS 3927 HAS SOUS 3411 HAS SOUPS 3411 WITH SCORE 3414.927
AT ITER 3139 NEW BEST:: SOT 11792 SOS 3920 HAS SOPS 3920 HAS SOUS 3409 HAS SOUPS 3409 WITH SCORE 3412.92
AT ITER 3149 NEW BEST:: SOT 11792 SOS 3914 HAS SOPS 3914 HAS SOUS 3402 HAS SOUPS 3402 WITH SCORE 3405.914
AT ITER 3172 NEW BEST:: SOT 11785 SOS 3898 HAS SOPS 3898 HAS SOUS 3398 HAS SOUPS 3398 WITH SCORE 3401.898
AT ITER 3186 NEW BEST:: SOT 11782 SOS 3895 HAS SOPS 3895 HAS SOUS 3395 HAS SOUPS 3395 WITH SCORE 3398.895
AT ITER 3205 NEW BEST:: SOT 11782 SOS 3914 HAS SOPS 3914 HAS SOUS 3394 HAS SOUPS 3394 WITH SCORE 3397.914
AT ITER 3210 NEW BEST:: SOT 11782 SOS 3912 HAS SOPS 3912 HAS SOUS 3393 HAS SOUPS 3393 WITH SCORE 3396.912
AT ITER 3266 NEW BEST:: SOT 11754 SOS 3840 HAS SOPS 3840 HAS SOUS 3337 HAS SOUPS 3337 WITH SCORE 3340.84
AT ITER 3281 NEW BEST:: SOT 11754 SOS 3839 HAS SOPS 3839 HAS SOUS 3336 HAS SOUPS 3336 WITH SCORE 3339.839
AT ITER 3286 NEW BEST:: SOT 11754 SOS 3846 HAS SOPS 3846 HAS SOUS 3334 HAS SOUPS 3334 WITH SCORE 3337.846
AT ITER 3330 NEW BEST:: SOT 11754 SOS 3846 HAS SOPS 3846 HAS SOUS 3333 HAS SOUPS 3333 WITH SCORE 3336.846
AT ITER 3350 NEW BEST:: SOT 11754 SOS 3840 HAS SOPS 3840 HAS SOUS 3333 HAS SOUPS 3333 WITH SCORE 3336.84
AT ITER 3368 NEW BEST:: SOT 11752 SOS 3837 HAS SOPS 3837 HAS SOUS 3330 HAS SOUPS 3330 WITH SCORE 3333.837
AT ITER 3423 NEW BEST:: SOT 11731 SOS 3754 HAS SOPS 3754 HAS SOUS 3298 HAS SOUPS 3298 WITH SCORE 3301.754
AT ITER 3439 NEW BEST:: SOT 11722 SOS 3733 HAS SOPS 3733 HAS SOUS 3280 HAS SOUPS 3280 WITH SCORE 3283.733
AT ITER 3446 NEW BEST:: SOT 11722 SOS 3731 HAS SOPS 3731 HAS SOUS 3278 HAS SOUPS 3278 WITH SCORE 3281.731
AT ITER 3452 NEW BEST:: SOT 11698 SOS 3707 HAS SOPS 3707 HAS SOUS 3254 HAS SOUPS 3254 WITH SCORE 3257.707
AT ITER 3471 NEW BEST:: SOT 11698 SOS 3705 HAS SOPS 3705 HAS SOUS 3254 HAS SOUPS 3254 WITH SCORE 3257.705
AT ITER 3474 NEW BEST:: SOT 11698 SOS 3692 HAS SOPS 3692 HAS SOUS 3254 HAS SOUPS 3254 WITH SCORE 3257.692
AT ITER 3478 NEW BEST:: SOT 11696 SOS 3678 HAS SOPS 3678 HAS SOUS 3240 HAS SOUPS 3240 WITH SCORE 3243.678
AT ITER 3486 NEW BEST:: SOT 11688 SOS 3669 HAS SOPS 3669 HAS SOUS 3234 HAS SOUPS 3234 WITH SCORE 3237.669
AT ITER 3501 NEW BEST:: SOT 11686 SOS 3659 HAS SOPS 3659 HAS SOUS 3229 HAS SOUPS 3229 WITH SCORE 3232.659
AT ITER 3524 NEW BEST:: SOT 11685 SOS 3658 HAS SOPS 3658 HAS SOUS 3228 HAS SOUPS 3228 WITH SCORE 3231.658
AT ITER 3541 NEW BEST:: SOT 11684 SOS 3657 HAS SOPS 3657 HAS SOUS 3227 HAS SOUPS 3227 WITH SCORE 3230.657
AT ITER 3585 NEW BEST:: SOT 11681 SOS 3651 HAS SOPS 3651 HAS SOUS 3223 HAS SOUPS 3223 WITH SCORE 3226.651
AT ITER 3590 NEW BEST:: SOT 11681 SOS 3648 HAS SOPS 3648 HAS SOUS 3223 HAS SOUPS 3223 WITH SCORE 3226.648
AT ITER 3595 NEW BEST:: SOT 11683 SOS 3652 HAS SOPS 3652 HAS SOUS 3222 HAS SOUPS 3222 WITH SCORE 3225.652
AT ITER 3609 NEW BEST:: SOT 11682 SOS 3651 HAS SOPS 3651 HAS SOUS 3221 HAS SOUPS 3221 WITH SCORE 3224.651
AT ITER 3625 NEW BEST:: SOT 11689 SOS 3632 HAS SOPS 3632 HAS SOUS 3213 HAS SOUPS 3213 WITH SCORE 3216.632
AT ITER 3634 NEW BEST:: SOT 11689 SOS 3632 HAS SOPS 3632 HAS SOUS 3211 HAS SOUPS 3211 WITH SCORE 3214.632
AT ITER 3635 NEW BEST:: SOT 11689 SOS 3633 HAS SOPS 3633 HAS SOUS 3210 HAS SOUPS 3210 WITH SCORE 3213.633
AT ITER 3657 NEW BEST:: SOT 11687 SOS 3629 HAS SOPS 3629 HAS SOUS 3206 HAS SOUPS 3206 WITH SCORE 3209.629
AT ITER 3684 NEW BEST:: SOT 11687 SOS 3626 HAS SOPS 3626 HAS SOUS 3203 HAS SOUPS 3203 WITH SCORE 3206.626
AT ITER 3714 NEW BEST:: SOT 11684 SOS 3620 HAS SOPS 3620 HAS SOUS 3197 HAS SOUPS 3197 WITH SCORE 3200.62
AT ITER 3739 NEW BEST:: SOT 11677 SOS 3613 HAS SOPS 3613 HAS SOUS 3189 HAS SOUPS 3189 WITH SCORE 3192.613
AT ITER 3760 NEW BEST:: SOT 11674 SOS 3610 HAS SOPS 3610 HAS SOUS 3186 HAS SOUPS 3186 WITH SCORE 3189.61
AT ITER 3776 NEW BEST:: SOT 11674 SOS 3611 HAS SOPS 3611 HAS SOUS 3185 HAS SOUPS 3185 WITH SCORE 3188.611
AT ITER 3781 NEW BEST:: SOT 11669 SOS 3588 HAS SOPS 3588 HAS SOUS 3183 HAS SOUPS 3183 WITH SCORE 3186.588
AT ITER 3832 NEW BEST:: SOT 11668 SOS 3567 HAS SOPS 3567 HAS SOUS 3171 HAS SOUPS 3171 WITH SCORE 3174.567
AT ITER 3834 NEW BEST:: SOT 11667 SOS 3566 HAS SOPS 3566 HAS SOUS 3170 HAS SOUPS 3170 WITH SCORE 3173.566
AT ITER 3846 NEW BEST:: SOT 11664 SOS 3563 HAS SOPS 3563 HAS SOUS 3167 HAS SOUPS 3167 WITH SCORE 3170.563
AT ITER 3877 NEW BEST:: SOT 11662 SOS 3561 HAS SOPS 3561 HAS SOUS 3165 HAS SOUPS 3165 WITH SCORE 3168.561
AT ITER 3887 NEW BEST:: SOT 11662 SOS 3559 HAS SOPS 3559 HAS SOUS 3163 HAS SOUPS 3163 WITH SCORE 3166.559
AT ITER 3901 NEW BEST:: SOT 11660 SOS 3559 HAS SOPS 3559 HAS SOUS 3159 HAS SOUPS 3159 WITH SCORE 3162.559
AT ITER 3943 NEW BEST:: SOT 11667 SOS 3566 HAS SOPS 3566 HAS SOUS 3157 HAS SOUPS 3157 WITH SCORE 3160.566
AT ITER 3997 NEW BEST:: SOT 11667 SOS 3558 HAS SOPS 3558 HAS SOUS 3157 HAS SOUPS 3157 WITH SCORE 3160.558
AT ITER 4015 NEW BEST:: SOT 11704 SOS 3552 HAS SOPS 3552 HAS SOUS 3153 HAS SOUPS 3153 WITH SCORE 3156.552
AT ITER 4034 NEW BEST:: SOT 11694 SOS 3542 HAS SOPS 3542 HAS SOUS 3143 HAS SOUPS 3143 WITH SCORE 3146.542
AT ITER 4056 NEW BEST:: SOT 11694 SOS 3542 HAS SOPS 3542 HAS SOUS 3142 HAS SOUPS 3142 WITH SCORE 3145.542
AT ITER 4078 NEW BEST:: SOT 11691 SOS 3520 HAS SOPS 3520 HAS SOUS 3133 HAS SOUPS 3133 WITH SCORE 3136.52
AT ITER 4090 NEW BEST:: SOT 11679 SOS 3517 HAS SOPS 3517 HAS SOUS 3130 HAS SOUPS 3130 WITH SCORE 3133.517
AT ITER 4113 NEW BEST:: SOT 11678 SOS 3516 HAS SOPS 3516 HAS SOUS 3130 HAS SOUPS 3130 WITH SCORE 3133.516
AT ITER 4120 NEW BEST:: SOT 11675 SOS 3515 HAS SOPS 3515 HAS SOUS 3129 HAS SOUPS 3129 WITH SCORE 3132.515
AT ITER 4147 NEW BEST:: SOT 11672 SOS 3512 HAS SOPS 3512 HAS SOUS 3126 HAS SOUPS 3126 WITH SCORE 3129.512
AT ITER 4197 NEW BEST:: SOT 11662 SOS 3502 HAS SOPS 3502 HAS SOUS 3118 HAS SOUPS 3118 WITH SCORE 3121.502
AT ITER 4286 NEW BEST:: SOT 11645 SOS 3486 HAS SOPS 3486 HAS SOUS 3105 HAS SOUPS 3105 WITH SCORE 3108.486
AT ITER 4288 NEW BEST:: SOT 11638 SOS 3463 HAS SOPS 3463 HAS SOUS 3094 HAS SOUPS 3094 WITH SCORE 3097.463
AT ITER 4292 NEW BEST:: SOT 11638 SOS 3462 HAS SOPS 3462 HAS SOUS 3092 HAS SOUPS 3092 WITH SCORE 3095.462
AT ITER 4297 NEW BEST:: SOT 11637 SOS 3459 HAS SOPS 3459 HAS SOUS 3092 HAS SOUPS 3092 WITH SCORE 3095.459
AT ITER 4329 NEW BEST:: SOT 11634 SOS 3440 HAS SOPS 3440 HAS SOUS 3079 HAS SOUPS 3079 WITH SCORE 3082.44
AT ITER 4384 NEW BEST:: SOT 11631 SOS 3423 HAS SOPS 3423 HAS SOUS 3062 HAS SOUPS 3062 WITH SCORE 3065.423
AT ITER 4403 NEW BEST:: SOT 11625 SOS 3414 HAS SOPS 3414 HAS SOUS 3053 HAS SOUPS 3053 WITH SCORE 3056.414
AT ITER 4406 NEW BEST:: SOT 11611 SOS 3400 HAS SOPS 3400 HAS SOUS 3039 HAS SOUPS 3039 WITH SCORE 3042.4
AT ITER 4456 NEW BEST:: SOT 11605 SOS 3372 HAS SOPS 3372 HAS SOUS 3028 HAS SOUPS 3028 WITH SCORE 3031.372
AT ITER 4475 NEW BEST:: SOT 11605 SOS 3370 HAS SOPS 3370 HAS SOUS 3025 HAS SOUPS 3025 WITH SCORE 3028.37
AT ITER 4499 NEW BEST:: SOT 11599 SOS 3369 HAS SOPS 3369 HAS SOUS 3024 HAS SOUPS 3024 WITH SCORE 3027.369
AT ITER 4517 NEW BEST:: SOT 11595 SOS 3365 HAS SOPS 3365 HAS SOUS 3022 HAS SOUPS 3022 WITH SCORE 3025.365
AT ITER 4580 NEW BEST:: SOT 11595 SOS 3363 HAS SOPS 3363 HAS SOUS 3022 HAS SOUPS 3022 WITH SCORE 3025.363
AT ITER 4601 NEW BEST:: SOT 11595 SOS 3359 HAS SOPS 3359 HAS SOUS 3022 HAS SOUPS 3022 WITH SCORE 3025.359
AT ITER 4620 NEW BEST:: SOT 11593 SOS 3357 HAS SOPS 3357 HAS SOUS 3022 HAS SOUPS 3022 WITH SCORE 3025.357
AT ITER 4639 NEW BEST:: SOT 11591 SOS 3350 HAS SOPS 3350 HAS SOUS 3015 HAS SOUPS 3015 WITH SCORE 3018.35
AT ITER 4683 NEW BEST:: SOT 11590 SOS 3349 HAS SOPS 3349 HAS SOUS 3014 HAS SOUPS 3014 WITH SCORE 3017.349
AT ITER 4709 NEW BEST:: SOT 11590 SOS 3339 HAS SOPS 3339 HAS SOUS 3004 HAS SOUPS 3004 WITH SCORE 3007.339
AT ITER 4719 NEW BEST:: SOT 11591 SOS 3338 HAS SOPS 3338 HAS SOUS 3004 HAS SOUPS 3004 WITH SCORE 3007.338
AT ITER 4859 NEW BEST:: SOT 11589 SOS 3338 HAS SOPS 3338 HAS SOUS 3003 HAS SOUPS 3003 WITH SCORE 3006.338
AT ITER 4873 NEW BEST:: SOT 11583 SOS 3332 HAS SOPS 3332 HAS SOUS 2997 HAS SOUPS 2997 WITH SCORE 3000.332
AT ITER 4886 NEW BEST:: SOT 11583 SOS 3327 HAS SOPS 3327 HAS SOUS 2996 HAS SOUPS 2996 WITH SCORE 2999.327
AT ITER 4958 NEW BEST:: SOT 11583 SOS 3327 HAS SOPS 3327 HAS SOUS 2995 HAS SOUPS 2995 WITH SCORE 2998.327
AT ITER 4991 NEW BEST:: SOT 11584 SOS 3314 HAS SOPS 3314 HAS SOUS 2991 HAS SOUPS 2991 WITH SCORE 2994.314
AT ITER 5019 NEW BEST:: SOT 11577 SOS 3307 HAS SOPS 3307 HAS SOUS 2984 HAS SOUPS 2984 WITH SCORE 2987.307
AT ITER 5039 NEW BEST:: SOT 11575 SOS 3305 HAS SOPS 3305 HAS SOUS 2982 HAS SOUPS 2982 WITH SCORE 2985.305
AT ITER 5090 NEW BEST:: SOT 11576 SOS 3315 HAS SOPS 3315 HAS SOUS 2980 HAS SOUPS 2980 WITH SCORE 2983.315
AT ITER 5125 NEW BEST:: SOT 11575 SOS 3314 HAS SOPS 3314 HAS SOUS 2980 HAS SOUPS 2980 WITH SCORE 2983.314
AT ITER 5132 NEW BEST:: SOT 11571 SOS 3310 HAS SOPS 3310 HAS SOUS 2976 HAS SOUPS 2976 WITH SCORE 2979.31
AT ITER 5242 NEW BEST:: SOT 11561 SOS 3294 HAS SOPS 3294 HAS SOUS 2963 HAS SOUPS 2963 WITH SCORE 2966.294
AT ITER 5274 NEW BEST:: SOT 11566 SOS 3293 HAS SOPS 3293 HAS SOUS 2962 HAS SOUPS 2962 WITH SCORE 2965.293
AT ITER 5304 NEW BEST:: SOT 11565 SOS 3291 HAS SOPS 3291 HAS SOUS 2959 HAS SOUPS 2959 WITH SCORE 2962.291
AT ITER 5307 NEW BEST:: SOT 11564 SOS 3288 HAS SOPS 3288 HAS SOUS 2954 HAS SOUPS 2954 WITH SCORE 2957.288
AT ITER 5329 NEW BEST:: SOT 11557 SOS 3278 HAS SOPS 3278 HAS SOUS 2943 HAS SOUPS 2943 WITH SCORE 2946.278
AT ITER 5332 NEW BEST:: SOT 11558 SOS 3276 HAS SOPS 3276 HAS SOUS 2943 HAS SOUPS 2943 WITH SCORE 2946.276
AT ITER 5344 NEW BEST:: SOT 11558 SOS 3272 HAS SOPS 3272 HAS SOUS 2937 HAS SOUPS 2937 WITH SCORE 2940.272
AT ITER 5346 NEW BEST:: SOT 11558 SOS 3266 HAS SOPS 3266 HAS SOUS 2933 HAS SOUPS 2933 WITH SCORE 2936.266
AT ITER 5353 NEW BEST:: SOT 11556 SOS 3262 HAS SOPS 3262 HAS SOUS 2929 HAS SOUPS 2929 WITH SCORE 2932.262
AT ITER 5433 NEW BEST:: SOT 11555 SOS 3260 HAS SOPS 3260 HAS SOUS 2928 HAS SOUPS 2928 WITH SCORE 2931.26
AT ITER 5483 NEW BEST:: SOT 11556 SOS 3258 HAS SOPS 3258 HAS SOUS 2926 HAS SOUPS 2926 WITH SCORE 2929.258
AT ITER 5496 NEW BEST:: SOT 11555 SOS 3257 HAS SOPS 3257 HAS SOUS 2925 HAS SOUPS 2925 WITH SCORE 2928.257
AT ITER 5578 NEW BEST:: SOT 11553 SOS 3260 HAS SOPS 3260 HAS SOUS 2922 HAS SOUPS 2922 WITH SCORE 2925.26
AT ITER 5580 NEW BEST:: SOT 11567 SOS 3259 HAS SOPS 3259 HAS SOUS 2922 HAS SOUPS 2922 WITH SCORE 2925.259
AT ITER 5697 NEW BEST:: SOT 11574 SOS 3265 HAS SOPS 3265 HAS SOUS 2916 HAS SOUPS 2916 WITH SCORE 2919.265
AT ITER 5789 NEW BEST:: SOT 11574 SOS 3253 HAS SOPS 3253 HAS SOUS 2913 HAS SOUPS 2913 WITH SCORE 2916.253
AT ITER 5799 NEW BEST:: SOT 11565 SOS 3244 HAS SOPS 3244 HAS SOUS 2904 HAS SOUPS 2904 WITH SCORE 2907.244
AT ITER 5835 NEW BEST:: SOT 11561 SOS 3240 HAS SOPS 3240 HAS SOUS 2900 HAS SOUPS 2900 WITH SCORE 2903.24
AT ITER 5862 NEW BEST:: SOT 11560 SOS 3239 HAS SOPS 3239 HAS SOUS 2899 HAS SOUPS 2899 WITH SCORE 2902.239
AT ITER 5907 NEW BEST:: SOT 11550 SOS 3219 HAS SOPS 3219 HAS SOUS 2879 HAS SOUPS 2879 WITH SCORE 2882.219
AT ITER 5962 NEW BEST:: SOT 11536 SOS 3194 HAS SOPS 3194 HAS SOUS 2854 HAS SOUPS 2854 WITH SCORE 2857.194
AT ITER 6011 NEW BEST:: SOT 11538 SOS 3186 HAS SOPS 3186 HAS SOUS 2851 HAS SOUPS 2851 WITH SCORE 2854.186
AT ITER 6012 NEW BEST:: SOT 11530 SOS 3174 HAS SOPS 3174 HAS SOUS 2848 HAS SOUPS 2848 WITH SCORE 2851.174
AT ITER 6075 NEW BEST:: SOT 11530 SOS 3172 HAS SOPS 3172 HAS SOUS 2847 HAS SOUPS 2847 WITH SCORE 2850.172
AT ITER 6102 NEW BEST:: SOT 11530 SOS 3170 HAS SOPS 3170 HAS SOUS 2846 HAS SOUPS 2846 WITH SCORE 2849.17
AT ITER 6117 NEW BEST:: SOT 11533 SOS 3169 HAS SOPS 3169 HAS SOUS 2845 HAS SOUPS 2845 WITH SCORE 2848.169
AT ITER 6189 NEW BEST:: SOT 11529 SOS 3167 HAS SOPS 3167 HAS SOUS 2843 HAS SOUPS 2843 WITH SCORE 2846.167
AT ITER 6215 NEW BEST:: SOT 11529 SOS 3171 HAS SOPS 3171 HAS SOUS 2837 HAS SOUPS 2837 WITH SCORE 2840.171
AT ITER 6248 NEW BEST:: SOT 11528 SOS 3170 HAS SOPS 3170 HAS SOUS 2836 HAS SOUPS 2836 WITH SCORE 2839.17
AT ITER 6253 NEW BEST:: SOT 11528 SOS 3168 HAS SOPS 3168 HAS SOUS 2834 HAS SOUPS 2834 WITH SCORE 2837.168
AT ITER 6321 NEW BEST:: SOT 11525 SOS 3165 HAS SOPS 3165 HAS SOUS 2831 HAS SOUPS 2831 WITH SCORE 2834.165
AT ITER 6335 NEW BEST:: SOT 11528 SOS 3160 HAS SOPS 3160 HAS SOUS 2829 HAS SOUPS 2829 WITH SCORE 2832.16
AT ITER 6370 NEW BEST:: SOT 11525 SOS 3152 HAS SOPS 3152 HAS SOUS 2822 HAS SOUPS 2822 WITH SCORE 2825.152
AT ITER 6431 NEW BEST:: SOT 11525 SOS 3150 HAS SOPS 3150 HAS SOUS 2820 HAS SOUPS 2820 WITH SCORE 2823.15
AT ITER 6510 NEW BEST:: SOT 11531 SOS 3165 HAS SOPS 3165 HAS SOUS 2813 HAS SOUPS 2813 WITH SCORE 2816.165
AT ITER 6530 NEW BEST:: SOT 11528 SOS 3162 HAS SOPS 3162 HAS SOUS 2810 HAS SOUPS 2810 WITH SCORE 2813.162
AT ITER 6538 NEW BEST:: SOT 11530 SOS 3160 HAS SOPS 3160 HAS SOUS 2808 HAS SOUPS 2808 WITH SCORE 2811.16
AT ITER 6544 NEW BEST:: SOT 11529 SOS 3157 HAS SOPS 3157 HAS SOUS 2806 HAS SOUPS 2806 WITH SCORE 2809.157
AT ITER 6638 NEW BEST:: SOT 11527 SOS 3153 HAS SOPS 3153 HAS SOUS 2802 HAS SOUPS 2802 WITH SCORE 2805.153
AT ITER 6686 NEW BEST:: SOT 11527 SOS 3151 HAS SOPS 3151 HAS SOUS 2802 HAS SOUPS 2802 WITH SCORE 2805.151
AT ITER 6688 NEW BEST:: SOT 11522 SOS 3126 HAS SOPS 3126 HAS SOUS 2792 HAS SOUPS 2792 WITH SCORE 2795.126
AT ITER 6860 NEW BEST:: SOT 11521 SOS 3128 HAS SOPS 3128 HAS SOUS 2791 HAS SOUPS 2791 WITH SCORE 2794.128
AT ITER 6865 NEW BEST:: SOT 11527 SOS 3131 HAS SOPS 3131 HAS SOUS 2789 HAS SOUPS 2789 WITH SCORE 2792.131
AT ITER 7019 NEW BEST:: SOT 11527 SOS 3123 HAS SOPS 3123 HAS SOUS 2778 HAS SOUPS 2778 WITH SCORE 2781.123
AT ITER 7020 NEW BEST:: SOT 11525 SOS 3120 HAS SOPS 3120 HAS SOUS 2775 HAS SOUPS 2775 WITH SCORE 2778.12
AT ITER 7061 NEW BEST:: SOT 11523 SOS 3118 HAS SOPS 3118 HAS SOUS 2774 HAS SOUPS 2774 WITH SCORE 2777.118
AT ITER 7086 NEW BEST:: SOT 11515 SOS 3112 HAS SOPS 3112 HAS SOUS 2768 HAS SOUPS 2768 WITH SCORE 2771.112
AT ITER 7177 NEW BEST:: SOT 11513 SOS 3112 HAS SOPS 3112 HAS SOUS 2767 HAS SOUPS 2767 WITH SCORE 2770.112
AT ITER 7200 NEW BEST:: SOT 11514 SOS 3114 HAS SOPS 3114 HAS SOUS 2766 HAS SOUPS 2766 WITH SCORE 2769.114
AT ITER 7205 NEW BEST:: SOT 11511 SOS 3115 HAS SOPS 3115 HAS SOUS 2765 HAS SOUPS 2765 WITH SCORE 2768.115
AT ITER 7249 NEW BEST:: SOT 11511 SOS 3115 HAS SOPS 3115 HAS SOUS 2764 HAS SOUPS 2764 WITH SCORE 2767.115
AT ITER 7276 NEW BEST:: SOT 11510 SOS 3114 HAS SOPS 3114 HAS SOUS 2763 HAS SOUPS 2763 WITH SCORE 2766.114
AT ITER 7338 NEW BEST:: SOT 11510 SOS 3115 HAS SOPS 3115 HAS SOUS 2760 HAS SOUPS 2760 WITH SCORE 2763.115
AT ITER 7464 NEW BEST:: SOT 11508 SOS 3114 HAS SOPS 3114 HAS SOUS 2759 HAS SOUPS 2759 WITH SCORE 2762.114
AT ITER 7600 NEW BEST:: SOT 11507 SOS 3113 HAS SOPS 3113 HAS SOUS 2758 HAS SOUPS 2758 WITH SCORE 2761.113
AT ITER 8123 NEW BEST:: SOT 11505 SOS 3110 HAS SOPS 3110 HAS SOUS 2755 HAS SOUPS 2755 WITH SCORE 2758.11
AT ITER 8257 NEW BEST:: SOT 11505 SOS 3110 HAS SOPS 3110 HAS SOUS 2754 HAS SOUPS 2754 WITH SCORE 2757.11
AT ITER 8265 NEW BEST:: SOT 11501 SOS 3105 HAS SOPS 3105 HAS SOUS 2747 HAS SOUPS 2747 WITH SCORE 2750.105
AT ITER 8269 NEW BEST:: SOT 11500 SOS 3104 HAS SOPS 3104 HAS SOUS 2746 HAS SOUPS 2746 WITH SCORE 2749.104
AT ITER 8584 NEW BEST:: SOT 11497 SOS 3100 HAS SOPS 3100 HAS SOUS 2740 HAS SOUPS 2740 WITH SCORE 2743.1
AT ITER 8628 NEW BEST:: SOT 11497 SOS 3099 HAS SOPS 3099 HAS SOUS 2739 HAS SOUPS 2739 WITH SCORE 2742.099
AT ITER 8658 NEW BEST:: SOT 11501 SOS 3103 HAS SOPS 3103 HAS SOUS 2737 HAS SOUPS 2737 WITH SCORE 2740.103
AT ITER 8756 NEW BEST:: SOT 11495 SOS 3094 HAS SOPS 3094 HAS SOUS 2732 HAS SOUPS 2732 WITH SCORE 2735.094
AT ITER 8801 NEW BEST:: SOT 11493 SOS 3090 HAS SOPS 3090 HAS SOUS 2729 HAS SOUPS 2729 WITH SCORE 2732.09
AT ITER 8862 NEW BEST:: SOT 11492 SOS 3089 HAS SOPS 3089 HAS SOUS 2728 HAS SOUPS 2728 WITH SCORE 2731.089
AT ITER 8892 NEW BEST:: SOT 11487 SOS 3075 HAS SOPS 3075 HAS SOUS 2728 HAS SOUPS 2728 WITH SCORE 2731.075
AT ITER 8925 NEW BEST:: SOT 11485 SOS 3073 HAS SOPS 3073 HAS SOUS 2728 HAS SOUPS 2728 WITH SCORE 2731.073
AT ITER 9000 NEW BEST:: SOT 11483 SOS 3070 HAS SOPS 3070 HAS SOUS 2723 HAS SOUPS 2723 WITH SCORE 2726.07
AT ITER 9056 NEW BEST:: SOT 11478 SOS 3064 HAS SOPS 3064 HAS SOUS 2722 HAS SOUPS 2722 WITH SCORE 2725.064
AT ITER 9388 NEW BEST:: SOT 11478 SOS 3063 HAS SOPS 3063 HAS SOUS 2722 HAS SOUPS 2722 WITH SCORE 2725.063
AT ITER 9408 NEW BEST:: SOT 11466 SOS 3068 HAS SOPS 3068 HAS SOUS 2720 HAS SOUPS 2720 WITH SCORE 2723.068
AT ITER 9660 NEW BEST:: SOT 11464 SOS 3070 HAS SOPS 3070 HAS SOUS 2718 HAS SOUPS 2718 WITH SCORE 2721.07
AT ITER 9968 NEW BEST:: SOT 11460 SOS 3062 HAS SOPS 3062 HAS SOUS 2710 HAS SOUPS 2710 WITH SCORE 2713.062
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393236 kB
MemFree: 151348 kB
After kill :
MemTotal: 16393236 kB
MemFree: 16288152 kB

BK_TIME_CONFINEMENT_REACHED

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

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ShieldPPPs-PT-005A"
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 ShieldPPPs-PT-005A, 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 r395-oct2-167903718800424"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ShieldPPPs-PT-005A.tgz
mv ShieldPPPs-PT-005A execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;