About the Execution of Smart+red for DLCshifumi-PT-5b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 1805.783 | 3600000.00 | 3689184.00 | 8169.90 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r107-tall-167814484800856.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is DLCshifumi-PT-5b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r107-tall-167814484800856
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 11M
-rw-r--r-- 1 mcc users 5.5K Feb 26 08:06 CTLCardinality.txt
-rw-r--r-- 1 mcc users 52K Feb 26 08:06 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 26 08:06 CTLFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 26 08:06 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 15:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 08:08 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 107K Feb 26 08:08 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.8K Feb 26 08:07 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 26 08:07 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 9.7M Mar 5 18:22 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 1678439086626
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=DLCshifumi-PT-5b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-10 09:04:48] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-10 09:04:48] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-10 09:04:48] [INFO ] Load time of PNML (sax parser for PT used): 658 ms
[2023-03-10 09:04:49] [INFO ] Transformed 27146 places.
[2023-03-10 09:04:49] [INFO ] Transformed 39849 transitions.
[2023-03-10 09:04:49] [INFO ] Found NUPN structural information;
[2023-03-10 09:04:50] [INFO ] Parsed PT model containing 27146 places and 39849 transitions and 107425 arcs in 1917 ms.
[2023-03-10 09:04:50] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 27146 places, 39849 transitions and 107425 arcs took 143 ms.
Total runtime 2106 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCshifumi (PT), instance 5b
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: 27146 places, 39849 transitions, 107425 arcs.
AT ITER 0 NEW BEST:: SOT 701901612 SOS 151346443 HAS SOPS 151346443 HAS SOUS 104879640 HAS SOUPS 104879640 WITH SCORE 1.05030986443E8
AT ITER 14 NEW BEST:: SOT 701898402 SOS 151344842 HAS SOPS 151344842 HAS SOUS 104878039 HAS SOUPS 104878039 WITH SCORE 1.05029383842E8
AT ITER 38 NEW BEST:: SOT 701897473 SOS 151342984 HAS SOPS 151342984 HAS SOUS 104877110 HAS SOUPS 104877110 WITH SCORE 1.05028452984E8
AT ITER 63 NEW BEST:: SOT 701894053 SOS 151336144 HAS SOPS 151336144 HAS SOUS 104870270 HAS SOUPS 104870270 WITH SCORE 1.05021606144E8
AT ITER 86 NEW BEST:: SOT 701891781 SOS 151331600 HAS SOPS 151331600 HAS SOUS 104869120 HAS SOUPS 104869120 WITH SCORE 1.050204516E8
AT ITER 96 NEW BEST:: SOT 701887548 SOS 151327363 HAS SOPS 151327363 HAS SOUS 104864886 HAS SOUPS 104864886 WITH SCORE 1.05016213363E8
AT ITER 100 NEW BEST:: SOT 701884253 SOS 151324068 HAS SOPS 151324068 HAS SOUS 104861591 HAS SOUPS 104861591 WITH SCORE 1.05012915068E8
AT ITER 104 NEW BEST:: SOT 701884252 SOS 151324066 HAS SOPS 151324066 HAS SOUS 104861589 HAS SOUPS 104861589 WITH SCORE 1.05012913066E8
AT ITER 167 NEW BEST:: SOT 701883626 SOS 151322814 HAS SOPS 151322814 HAS SOUS 104860337 HAS SOUPS 104860337 WITH SCORE 1.05011659814E8
AT ITER 190 NEW BEST:: SOT 701875524 SOS 151321445 HAS SOPS 151321445 HAS SOUS 104857180 HAS SOUPS 104857180 WITH SCORE 1.05008501445E8
AT ITER 191 NEW BEST:: SOT 701877348 SOS 151359283 HAS SOPS 151359283 HAS SOUS 104857027 HAS SOUPS 104857027 WITH SCORE 1.05008386283E8
AT ITER 199 NEW BEST:: SOT 701877348 SOS 151359283 HAS SOPS 151359283 HAS SOUS 104857026 HAS SOUPS 104857026 WITH SCORE 1.05008385283E8
AT ITER 200 NEW BEST:: SOT 701877348 SOS 151358943 HAS SOPS 151358943 HAS SOUS 104856856 HAS SOUPS 104856856 WITH SCORE 1.05008214943E8
AT ITER 211 NEW BEST:: SOT 701874956 SOS 151357743 HAS SOPS 151357743 HAS SOUS 104855659 HAS SOUPS 104855659 WITH SCORE 1.05007016743E8
AT ITER 228 NEW BEST:: SOT 701874404 SOS 151358839 HAS SOPS 151358839 HAS SOUS 104855105 HAS SOUPS 104855105 WITH SCORE 1.05006463839E8
AT ITER 244 NEW BEST:: SOT 701873107 SOS 151356245 HAS SOPS 151356245 HAS SOUS 104852511 HAS SOUPS 104852511 WITH SCORE 1.05003867245E8
AT ITER 257 NEW BEST:: SOT 701864955 SOS 151322605 HAS SOPS 151322605 HAS SOUS 104829633 HAS SOUPS 104829633 WITH SCORE 1.04980955605E8
AT ITER 272 NEW BEST:: SOT 701863292 SOS 151320283 HAS SOPS 151320283 HAS SOUS 104827970 HAS SOUPS 104827970 WITH SCORE 1.04979290283E8
AT ITER 279 NEW BEST:: SOT 701860321 SOS 151317312 HAS SOPS 151317312 HAS SOUS 104824999 HAS SOUPS 104824999 WITH SCORE 1.04976316312E8
AT ITER 293 NEW BEST:: SOT 701860180 SOS 151317030 HAS SOPS 151317030 HAS SOUS 104822042 HAS SOUPS 104822042 WITH SCORE 1.0497335903E8
AT ITER 340 NEW BEST:: SOT 701854408 SOS 151284398 HAS SOPS 151284398 HAS SOUS 104802941 HAS SOUPS 104802941 WITH SCORE 1.04954225398E8
AT ITER 347 NEW BEST:: SOT 701852642 SOS 151282628 HAS SOPS 151282628 HAS SOUS 104801174 HAS SOUPS 104801174 WITH SCORE 1.04952456628E8
AT ITER 353 NEW BEST:: SOT 701853586 SOS 151284516 HAS SOPS 151284516 HAS SOUS 104795179 HAS SOUPS 104795179 WITH SCORE 1.04946463516E8
AT ITER 363 NEW BEST:: SOT 701853176 SOS 151284106 HAS SOPS 151284106 HAS SOUS 104795179 HAS SOUPS 104795179 WITH SCORE 1.04946463106E8
AT ITER 414 NEW BEST:: SOT 701853176 SOS 151281341 HAS SOPS 151281341 HAS SOUS 104795179 HAS SOUPS 104795179 WITH SCORE 1.04946460341E8
AT ITER 417 NEW BEST:: SOT 701820650 SOS 151345688 HAS SOPS 151345688 HAS SOUS 104791129 HAS SOUPS 104791129 WITH SCORE 1.04942474688E8
AT ITER 426 NEW BEST:: SOT 701824558 SOS 151345687 HAS SOPS 151345687 HAS SOUS 104791128 HAS SOUPS 104791128 WITH SCORE 1.04942473687E8
AT ITER 437 NEW BEST:: SOT 701822623 SOS 151343752 HAS SOPS 151343752 HAS SOUS 104787258 HAS SOUPS 104787258 WITH SCORE 1.04938601752E8
AT ITER 466 NEW BEST:: SOT 701820041 SOS 151347252 HAS SOPS 151347252 HAS SOUS 104787120 HAS SOUPS 104787120 WITH SCORE 1.04938467252E8
AT ITER 468 NEW BEST:: SOT 701819244 SOS 151345658 HAS SOPS 151345658 HAS SOUS 104785526 HAS SOUPS 104785526 WITH SCORE 1.04936871658E8
AT ITER 488 NEW BEST:: SOT 701819243 SOS 151345656 HAS SOPS 151345656 HAS SOUS 104785524 HAS SOUPS 104785524 WITH SCORE 1.04936869656E8
AT ITER 489 NEW BEST:: SOT 701815187 SOS 151337544 HAS SOPS 151337544 HAS SOUS 104777412 HAS SOUPS 104777412 WITH SCORE 1.04928749544E8
AT ITER 515 NEW BEST:: SOT 701809912 SOS 151335664 HAS SOPS 151335664 HAS SOUS 104775532 HAS SOUPS 104775532 WITH SCORE 1.04926867664E8
AT ITER 534 NEW BEST:: SOT 701802355 SOS 151320550 HAS SOPS 151320550 HAS SOUS 104760418 HAS SOUPS 104760418 WITH SCORE 1.0491173855E8
AT ITER 537 NEW BEST:: SOT 701800834 SOS 151317508 HAS SOPS 151317508 HAS SOUS 104757234 HAS SOUPS 104757234 WITH SCORE 1.04908551508E8
AT ITER 556 NEW BEST:: SOT 701800081 SOS 151316002 HAS SOPS 151316002 HAS SOUS 104755728 HAS SOUPS 104755728 WITH SCORE 1.04907044002E8
AT ITER 616 NEW BEST:: SOT 701792867 SOS 151312395 HAS SOPS 151312395 HAS SOUS 104752121 HAS SOUPS 104752121 WITH SCORE 1.04903433395E8
AT ITER 633 NEW BEST:: SOT 701788402 SOS 151307926 HAS SOPS 151307926 HAS SOUS 104747655 HAS SOUPS 104747655 WITH SCORE 1.04898962926E8
AT ITER 659 NEW BEST:: SOT 701755513 SOS 151371193 HAS SOPS 151371193 HAS SOUS 104746760 HAS SOUPS 104746760 WITH SCORE 1.04898131193E8
AT ITER 660 NEW BEST:: SOT 701750895 SOS 151371066 HAS SOPS 151371066 HAS SOUS 104746759 HAS SOUPS 104746759 WITH SCORE 1.04898130066E8
AT ITER 699 NEW BEST:: SOT 701749210 SOS 151367696 HAS SOPS 151367696 HAS SOUS 104743389 HAS SOUPS 104743389 WITH SCORE 1.04894756696E8
AT ITER 715 NEW BEST:: SOT 701746472 SOS 151370992 HAS SOPS 151370992 HAS SOUS 104743105 HAS SOUPS 104743105 WITH SCORE 1.04894475992E8
AT ITER 741 NEW BEST:: SOT 701744110 SOS 151381388 HAS SOPS 151381388 HAS SOUS 104740743 HAS SOUPS 104740743 WITH SCORE 1.04892124388E8
AT ITER 748 NEW BEST:: SOT 701744110 SOS 151375937 HAS SOPS 151375937 HAS SOUS 104738926 HAS SOUPS 104738926 WITH SCORE 1.04890301937E8
AT ITER 751 NEW BEST:: SOT 701740615 SOS 151372438 HAS SOPS 151372438 HAS SOUS 104735430 HAS SOUPS 104735430 WITH SCORE 1.04886802438E8
AT ITER 757 NEW BEST:: SOT 701740450 SOS 151372108 HAS SOPS 151372108 HAS SOUS 104734328 HAS SOUPS 104734328 WITH SCORE 1.04885700108E8
AT ITER 772 NEW BEST:: SOT 701733324 SOS 151357856 HAS SOPS 151357856 HAS SOUS 104720076 HAS SOUPS 104720076 WITH SCORE 1.04871433856E8
AT ITER 780 NEW BEST:: SOT 701728424 SOS 151352952 HAS SOPS 151352952 HAS SOUS 104715175 HAS SOUPS 104715175 WITH SCORE 1.04866527952E8
AT ITER 822 NEW BEST:: SOT 701725007 SOS 151349531 HAS SOPS 151349531 HAS SOUS 104711757 HAS SOUPS 104711757 WITH SCORE 1.04863106531E8
AT ITER 823 NEW BEST:: SOT 701725006 SOS 151349529 HAS SOPS 151349529 HAS SOUS 104711755 HAS SOUPS 104711755 WITH SCORE 1.04863104529E8
AT ITER 830 NEW BEST:: SOT 701723575 SOS 151348094 HAS SOPS 151348094 HAS SOUS 104710323 HAS SOUPS 104710323 WITH SCORE 1.04861671094E8
AT ITER 866 NEW BEST:: SOT 701722526 SOS 151351981 HAS SOPS 151351981 HAS SOUS 104709274 HAS SOUPS 104709274 WITH SCORE 1.04860625981E8
AT ITER 891 NEW BEST:: SOT 701722526 SOS 151348486 HAS SOPS 151348486 HAS SOUS 104708109 HAS SOUPS 104708109 WITH SCORE 1.04859457486E8
AT ITER 900 NEW BEST:: SOT 701720998 SOS 151348482 HAS SOPS 151348482 HAS SOUS 104708108 HAS SOUPS 104708108 WITH SCORE 1.04859456482E8
AT ITER 923 NEW BEST:: SOT 701718666 SOS 151343819 HAS SOPS 151343819 HAS SOUS 104703445 HAS SOUPS 104703445 WITH SCORE 1.04854788819E8
AT ITER 956 NEW BEST:: SOT 701717034 SOS 151340555 HAS SOPS 151340555 HAS SOUS 104700181 HAS SOUPS 104700181 WITH SCORE 1.04851521555E8
AT ITER 957 NEW BEST:: SOT 701716548 SOS 151340555 HAS SOPS 151340555 HAS SOUS 104699938 HAS SOUPS 104699938 WITH SCORE 1.04851278555E8
AT ITER 972 NEW BEST:: SOT 701716354 SOS 151340167 HAS SOPS 151340167 HAS SOUS 104699550 HAS SOUPS 104699550 WITH SCORE 1.04850890167E8
AT ITER 998 NEW BEST:: SOT 701713353 SOS 151339714 HAS SOPS 151339714 HAS SOUS 104699097 HAS SOUPS 104699097 WITH SCORE 1.04850436714E8
AT ITER 1005 NEW BEST:: SOT 701712482 SOS 151337968 HAS SOPS 151337968 HAS SOUS 104697354 HAS SOUPS 104697354 WITH SCORE 1.04848691968E8
AT ITER 1018 NEW BEST:: SOT 701712482 SOS 151337968 HAS SOPS 151337968 HAS SOUS 104697353 HAS SOUPS 104697353 WITH SCORE 1.04848690968E8
AT ITER 1032 NEW BEST:: SOT 701711201 SOS 151336687 HAS SOPS 151336687 HAS SOUS 104696072 HAS SOUPS 104696072 WITH SCORE 1.04847408687E8
AT ITER 1045 NEW BEST:: SOT 701710892 SOS 151336069 HAS SOPS 151336069 HAS SOUS 104695454 HAS SOUPS 104695454 WITH SCORE 1.04846790069E8
AT ITER 1084 NEW BEST:: SOT 701708384 SOS 151331053 HAS SOPS 151331053 HAS SOUS 104690438 HAS SOUPS 104690438 WITH SCORE 1.04841769053E8
AT ITER 1105 NEW BEST:: SOT 701707680 SOS 151329645 HAS SOPS 151329645 HAS SOUS 104688347 HAS SOUPS 104688347 WITH SCORE 1.04839676645E8
AT ITER 1112 NEW BEST:: SOT 701706690 SOS 151327665 HAS SOPS 151327665 HAS SOUS 104687356 HAS SOUPS 104687356 WITH SCORE 1.04838683665E8
AT ITER 1139 NEW BEST:: SOT 701706690 SOS 151326214 HAS SOPS 151326214 HAS SOUS 104687356 HAS SOUPS 104687356 WITH SCORE 1.04838682214E8
AT ITER 1198 NEW BEST:: SOT 701703524 SOS 151323044 HAS SOPS 151323044 HAS SOUS 104684189 HAS SOUPS 104684189 WITH SCORE 1.04835512044E8
AT ITER 1211 NEW BEST:: SOT 701695596 SOS 151319080 HAS SOPS 151319080 HAS SOUS 104680225 HAS SOUPS 104680225 WITH SCORE 1.0483154408E8
AT ITER 1222 NEW BEST:: SOT 701695595 SOS 151318260 HAS SOPS 151318260 HAS SOUS 104679405 HAS SOUPS 104679405 WITH SCORE 1.0483072326E8
AT ITER 1241 NEW BEST:: SOT 701696335 SOS 151319740 HAS SOPS 151319740 HAS SOUS 104676459 HAS SOUPS 104676459 WITH SCORE 1.0482777874E8
AT ITER 1275 NEW BEST:: SOT 701694486 SOS 151341142 HAS SOPS 151341142 HAS SOUS 104672760 HAS SOUPS 104672760 WITH SCORE 1.04824101142E8
AT ITER 1320 NEW BEST:: SOT 701691411 SOS 151340385 HAS SOPS 151340385 HAS SOUS 104672003 HAS SOUPS 104672003 WITH SCORE 1.04823343385E8
AT ITER 1327 NEW BEST:: SOT 701687514 SOS 151336484 HAS SOPS 151336484 HAS SOUS 104668105 HAS SOUPS 104668105 WITH SCORE 1.04819441484E8
AT ITER 1356 NEW BEST:: SOT 701687961 SOS 151337378 HAS SOPS 151337378 HAS SOUS 104661848 HAS SOUPS 104661848 WITH SCORE 1.04813185378E8
AT ITER 1366 NEW BEST:: SOT 701687961 SOS 151334391 HAS SOPS 151334391 HAS SOUS 104658861 HAS SOUPS 104658861 WITH SCORE 1.04810195391E8
AT ITER 1383 NEW BEST:: SOT 701686324 SOS 151331117 HAS SOPS 151331117 HAS SOUS 104655587 HAS SOUPS 104655587 WITH SCORE 1.04806918117E8
AT ITER 1430 NEW BEST:: SOT 701683339 SOS 151328187 HAS SOPS 151328187 HAS SOUS 104652602 HAS SOUPS 104652602 WITH SCORE 1.04803930187E8
AT ITER 1451 NEW BEST:: SOT 701681637 SOS 151324783 HAS SOPS 151324783 HAS SOUS 104649198 HAS SOUPS 104649198 WITH SCORE 1.04800522783E8
AT ITER 1466 NEW BEST:: SOT 701681636 SOS 151324781 HAS SOPS 151324781 HAS SOUS 104649196 HAS SOUPS 104649196 WITH SCORE 1.04800520781E8
AT ITER 1477 NEW BEST:: SOT 701681636 SOS 151324781 HAS SOPS 151324781 HAS SOUS 104645430 HAS SOUPS 104645430 WITH SCORE 1.04796754781E8
AT ITER 1498 NEW BEST:: SOT 701677764 SOS 151302028 HAS SOPS 151302028 HAS SOUS 104637686 HAS SOUPS 104637686 WITH SCORE 1.04788988028E8
AT ITER 1510 NEW BEST:: SOT 701677764 SOS 151302028 HAS SOPS 151302028 HAS SOUS 104631096 HAS SOUPS 104631096 WITH SCORE 1.04782398028E8
AT ITER 1540 NEW BEST:: SOT 701676780 SOS 151301372 HAS SOPS 151301372 HAS SOUS 104630440 HAS SOUPS 104630440 WITH SCORE 1.04781741372E8
AT ITER 1544 NEW BEST:: SOT 701673283 SOS 151297875 HAS SOPS 151297875 HAS SOUS 104626943 HAS SOUPS 104626943 WITH SCORE 1.04778240875E8
AT ITER 1567 NEW BEST:: SOT 701668482 SOS 151273870 HAS SOPS 151273870 HAS SOUS 104617341 HAS SOUPS 104617341 WITH SCORE 1.0476861487E8
AT ITER 1637 NEW BEST:: SOT 701669976 SOS 151271269 HAS SOPS 151271269 HAS SOUS 104614740 HAS SOUPS 104614740 WITH SCORE 1.04766011269E8
AT ITER 1638 NEW BEST:: SOT 701669976 SOS 151271269 HAS SOPS 151271269 HAS SOUS 104613560 HAS SOUPS 104613560 WITH SCORE 1.04764831269E8
AT ITER 1645 NEW BEST:: SOT 701669976 SOS 151270813 HAS SOPS 151270813 HAS SOUS 104613560 HAS SOUPS 104613560 WITH SCORE 1.04764830813E8
AT ITER 1652 NEW BEST:: SOT 701666152 SOS 151263165 HAS SOPS 151263165 HAS SOUS 104605912 HAS SOUPS 104605912 WITH SCORE 1.04757175165E8
AT ITER 1662 NEW BEST:: SOT 701665890 SOS 151262641 HAS SOPS 151262641 HAS SOUS 104605388 HAS SOUPS 104605388 WITH SCORE 1.04756650641E8
AT ITER 1675 NEW BEST:: SOT 701663371 SOS 151260377 HAS SOPS 151260377 HAS SOUS 104600350 HAS SOUPS 104600350 WITH SCORE 1.04751610377E8
AT ITER 1691 NEW BEST:: SOT 701663371 SOS 151257026 HAS SOPS 151257026 HAS SOUS 104599233 HAS SOUPS 104599233 WITH SCORE 1.04750490026E8
AT ITER 1745 NEW BEST:: SOT 701663175 SOS 151256634 HAS SOPS 151256634 HAS SOUS 104599037 HAS SOUPS 104599037 WITH SCORE 1.04750293634E8
AT ITER 1749 NEW BEST:: SOT 701661333 SOS 151256630 HAS SOPS 151256630 HAS SOUS 104597194 HAS SOUPS 104597194 WITH SCORE 1.0474845063E8
AT ITER 1763 NEW BEST:: SOT 701661333 SOS 151247975 HAS SOPS 151247975 HAS SOUS 104594309 HAS SOUPS 104594309 WITH SCORE 1.04745556975E8
AT ITER 1786 NEW BEST:: SOT 701655248 SOS 151246581 HAS SOPS 151246581 HAS SOUS 104592915 HAS SOUPS 104592915 WITH SCORE 1.04744161581E8
AT ITER 1797 NEW BEST:: SOT 701650640 SOS 151237365 HAS SOPS 151237365 HAS SOUS 104588307 HAS SOUPS 104588307 WITH SCORE 1.04739544365E8
AT ITER 1829 NEW BEST:: SOT 701652256 SOS 151240597 HAS SOPS 151240597 HAS SOUS 104587059 HAS SOUPS 104587059 WITH SCORE 1.04738299597E8
AT ITER 1866 NEW BEST:: SOT 701654111 SOS 151240595 HAS SOPS 151240595 HAS SOUS 104587058 HAS SOUPS 104587058 WITH SCORE 1.04738298595E8
AT ITER 1875 NEW BEST:: SOT 701654111 SOS 151234400 HAS SOPS 151234400 HAS SOUS 104584993 HAS SOUPS 104584993 WITH SCORE 1.047362274E8
AT ITER 1914 NEW BEST:: SOT 701654111 SOS 151225370 HAS SOPS 151225370 HAS SOUS 104581983 HAS SOUPS 104581983 WITH SCORE 1.0473320837E8
AT ITER 1922 NEW BEST:: SOT 701654111 SOS 151225370 HAS SOPS 151225370 HAS SOUS 104575859 HAS SOUPS 104575859 WITH SCORE 1.0472708437E8
AT ITER 1931 NEW BEST:: SOT 701653433 SOS 151224692 HAS SOPS 151224692 HAS SOUS 104575181 HAS SOUPS 104575181 WITH SCORE 1.04726405692E8
AT ITER 1939 NEW BEST:: SOT 701652964 SOS 151223754 HAS SOPS 151223754 HAS SOUS 104574243 HAS SOUPS 104574243 WITH SCORE 1.04725466754E8
AT ITER 1941 NEW BEST:: SOT 701648183 SOS 151221601 HAS SOPS 151221601 HAS SOUS 104570781 HAS SOUPS 104570781 WITH SCORE 1.04722002601E8
AT ITER 1942 NEW BEST:: SOT 701632634 SOS 151194939 HAS SOPS 151194939 HAS SOUS 104552562 HAS SOUPS 104552562 WITH SCORE 1.04703756939E8
AT ITER 1949 NEW BEST:: SOT 701630408 SOS 151138077 HAS SOPS 151138077 HAS SOUS 104544661 HAS SOUPS 104544661 WITH SCORE 1.04695799077E8
AT ITER 1957 NEW BEST:: SOT 701626535 SOS 151130331 HAS SOPS 151130331 HAS SOUS 104536915 HAS SOUPS 104536915 WITH SCORE 1.04688045331E8
AT ITER 1960 NEW BEST:: SOT 701621989 SOS 151126345 HAS SOPS 151126345 HAS SOUS 104532929 HAS SOUPS 104532929 WITH SCORE 1.04684055345E8
AT ITER 1980 NEW BEST:: SOT 701618609 SOS 151119585 HAS SOPS 151119585 HAS SOUS 104526169 HAS SOUPS 104526169 WITH SCORE 1.04677288585E8
AT ITER 2001 NEW BEST:: SOT 701622991 SOS 151106221 HAS SOPS 151106221 HAS SOUS 104525846 HAS SOUPS 104525846 WITH SCORE 1.04676952221E8
AT ITER 2043 NEW BEST:: SOT 701621511 SOS 151103261 HAS SOPS 151103261 HAS SOUS 104522886 HAS SOUPS 104522886 WITH SCORE 1.04673989261E8
AT ITER 2082 NEW BEST:: SOT 701614591 SOS 151094611 HAS SOPS 151094611 HAS SOUS 104522826 HAS SOUPS 104522826 WITH SCORE 1.04673920611E8
AT ITER 2099 NEW BEST:: SOT 701613623 SOS 151098252 HAS SOPS 151098252 HAS SOUS 104521858 HAS SOUPS 104521858 WITH SCORE 1.04672956252E8
AT ITER 2129 NEW BEST:: SOT 701613622 SOS 151097268 HAS SOPS 151097268 HAS SOUS 104520874 HAS SOUPS 104520874 WITH SCORE 1.04671971268E8
AT ITER 2135 NEW BEST:: SOT 701613622 SOS 151095376 HAS SOPS 151095376 HAS SOUS 104520874 HAS SOUPS 104520874 WITH SCORE 1.04671969376E8
AT ITER 2169 NEW BEST:: SOT 701613622 SOS 151095376 HAS SOPS 151095376 HAS SOUS 104513369 HAS SOUPS 104513369 WITH SCORE 1.04664464376E8
AT ITER 2178 NEW BEST:: SOT 701611970 SOS 151095372 HAS SOPS 151095372 HAS SOUS 104512542 HAS SOUPS 104512542 WITH SCORE 1.04663637372E8
AT ITER 2181 NEW BEST:: SOT 701611970 SOS 151093470 HAS SOPS 151093470 HAS SOUS 104512542 HAS SOUPS 104512542 WITH SCORE 1.0466363547E8
AT ITER 2183 NEW BEST:: SOT 701609513 SOS 151088556 HAS SOPS 151088556 HAS SOUS 104509227 HAS SOUPS 104509227 WITH SCORE 1.04660315556E8
AT ITER 2190 NEW BEST:: SOT 701596869 SOS 151075912 HAS SOPS 151075912 HAS SOUS 104496583 HAS SOUPS 104496583 WITH SCORE 1.04647658912E8
AT ITER 2217 NEW BEST:: SOT 701589965 SOS 151072460 HAS SOPS 151072460 HAS SOUS 104493131 HAS SOUPS 104493131 WITH SCORE 1.0464420346E8
AT ITER 2219 NEW BEST:: SOT 701589278 SOS 151071086 HAS SOPS 151071086 HAS SOUS 104491757 HAS SOUPS 104491757 WITH SCORE 1.04642828086E8
AT ITER 2241 NEW BEST:: SOT 701555005 SOS 151046304 HAS SOPS 151046304 HAS SOUS 104470009 HAS SOUPS 104470009 WITH SCORE 1.04621055304E8
AT ITER 2251 NEW BEST:: SOT 701552752 SOS 151044051 HAS SOPS 151044051 HAS SOUS 104467756 HAS SOUPS 104467756 WITH SCORE 1.04618800051E8
AT ITER 2258 NEW BEST:: SOT 701548084 SOS 151039379 HAS SOPS 151039379 HAS SOUS 104463087 HAS SOUPS 104463087 WITH SCORE 1.04614126379E8
AT ITER 2317 NEW BEST:: SOT 701547171 SOS 151037553 HAS SOPS 151037553 HAS SOUS 104461261 HAS SOUPS 104461261 WITH SCORE 1.04612298553E8
AT ITER 2329 NEW BEST:: SOT 701545763 SOS 151037045 HAS SOPS 151037045 HAS SOUS 104460419 HAS SOUPS 104460419 WITH SCORE 1.04611456045E8
AT ITER 2354 NEW BEST:: SOT 701538242 SOS 151022003 HAS SOPS 151022003 HAS SOUS 104445377 HAS SOUPS 104445377 WITH SCORE 1.04596399003E8
AT ITER 2362 NEW BEST:: SOT 701539087 SOS 151019986 HAS SOPS 151019986 HAS SOUS 104443360 HAS SOUPS 104443360 WITH SCORE 1.04594379986E8
AT ITER 2411 NEW BEST:: SOT 701536521 SOS 151017416 HAS SOPS 151017416 HAS SOUS 104440793 HAS SOUPS 104440793 WITH SCORE 1.04591810416E8
AT ITER 2425 NEW BEST:: SOT 701529713 SOS 151003800 HAS SOPS 151003800 HAS SOUS 104427177 HAS SOUPS 104427177 WITH SCORE 1.045781808E8
AT ITER 2457 NEW BEST:: SOT 701522682 SOS 150995972 HAS SOPS 150995972 HAS SOUS 104419352 HAS SOUPS 104419352 WITH SCORE 1.04570347972E8
AT ITER 2463 NEW BEST:: SOT 701519091 SOS 150988790 HAS SOPS 150988790 HAS SOUS 104416773 HAS SOUPS 104416773 WITH SCORE 1.0456776179E8
AT ITER 2509 NEW BEST:: SOT 701500912 SOS 150974127 HAS SOPS 150974127 HAS SOUS 104405296 HAS SOUPS 104405296 WITH SCORE 1.04556270127E8
AT ITER 2513 NEW BEST:: SOT 701499405 SOS 150977133 HAS SOPS 150977133 HAS SOUS 104403787 HAS SOUPS 104403787 WITH SCORE 1.04554764133E8
AT ITER 2536 NEW BEST:: SOT 701493001 SOS 150971785 HAS SOPS 150971785 HAS SOUS 104397718 HAS SOUPS 104397718 WITH SCORE 1.04548689785E8
AT ITER 2562 NEW BEST:: SOT 701493001 SOS 150971785 HAS SOPS 150971785 HAS SOUS 104396431 HAS SOUPS 104396431 WITH SCORE 1.04547402785E8
AT ITER 2575 NEW BEST:: SOT 701493001 SOS 150970449 HAS SOPS 150970449 HAS SOUS 104395763 HAS SOUPS 104395763 WITH SCORE 1.04546733449E8
AT ITER 2597 NEW BEST:: SOT 701491976 SOS 150969420 HAS SOPS 150969420 HAS SOUS 104394737 HAS SOUPS 104394737 WITH SCORE 1.0454570642E8
AT ITER 2622 NEW BEST:: SOT 701490160 SOS 150965788 HAS SOPS 150965788 HAS SOUS 104390115 HAS SOUPS 104390115 WITH SCORE 1.04541080788E8
AT ITER 2626 NEW BEST:: SOT 701487714 SOS 150964561 HAS SOPS 150964561 HAS SOUS 104388891 HAS SOUPS 104388891 WITH SCORE 1.04539855561E8
AT ITER 2634 NEW BEST:: SOT 701484574 SOS 150961421 HAS SOPS 150961421 HAS SOUS 104385751 HAS SOUPS 104385751 WITH SCORE 1.04536712421E8
AT ITER 2642 NEW BEST:: SOT 701481922 SOS 150958769 HAS SOPS 150958769 HAS SOUS 104383099 HAS SOUPS 104383099 WITH SCORE 1.04534057769E8
AT ITER 2684 NEW BEST:: SOT 701479135 SOS 150955978 HAS SOPS 150955978 HAS SOUS 104380311 HAS SOUPS 104380311 WITH SCORE 1.04531266978E8
AT ITER 2688 NEW BEST:: SOT 701447897 SOS 150996954 HAS SOPS 150996954 HAS SOUS 104377466 HAS SOUPS 104377466 WITH SCORE 1.04528462954E8
AT ITER 2718 NEW BEST:: SOT 701446419 SOS 150993998 HAS SOPS 150993998 HAS SOUS 104374051 HAS SOUPS 104374051 WITH SCORE 1.04525044998E8
AT ITER 2768 NEW BEST:: SOT 701446418 SOS 150993815 HAS SOPS 150993815 HAS SOUS 104373868 HAS SOUPS 104373868 WITH SCORE 1.04524861815E8
AT ITER 2786 NEW BEST:: SOT 701446003 SOS 150992985 HAS SOPS 150992985 HAS SOUS 104373038 HAS SOUPS 104373038 WITH SCORE 1.04524030985E8
AT ITER 2791 NEW BEST:: SOT 701435251 SOS 151005270 HAS SOPS 151005270 HAS SOUS 104369094 HAS SOUPS 104369094 WITH SCORE 1.0452009927E8
AT ITER 2796 NEW BEST:: SOT 701435250 SOS 151005268 HAS SOPS 151005268 HAS SOUS 104369092 HAS SOUPS 104369092 WITH SCORE 1.04520097268E8
AT ITER 2845 NEW BEST:: SOT 701434072 SOS 151002912 HAS SOPS 151002912 HAS SOUS 104366736 HAS SOUPS 104366736 WITH SCORE 1.04517738912E8
AT ITER 2867 NEW BEST:: SOT 701430563 SOS 150995894 HAS SOPS 150995894 HAS SOUS 104359718 HAS SOUPS 104359718 WITH SCORE 1.04510713894E8
AT ITER 2928 NEW BEST:: SOT 701430563 SOS 150995894 HAS SOPS 150995894 HAS SOUS 104359717 HAS SOUPS 104359717 WITH SCORE 1.04510712894E8
AT ITER 2947 NEW BEST:: SOT 701430563 SOS 150995894 HAS SOPS 150995894 HAS SOUS 104359381 HAS SOUPS 104359381 WITH SCORE 1.04510376894E8
AT ITER 2980 NEW BEST:: SOT 701428117 SOS 150991002 HAS SOPS 150991002 HAS SOUS 104358166 HAS SOUPS 104358166 WITH SCORE 1.04509157002E8
AT ITER 2993 NEW BEST:: SOT 701424819 SOS 150987784 HAS SOPS 150987784 HAS SOUS 104354868 HAS SOUPS 104354868 WITH SCORE 1.04505855784E8
AT ITER 3003 NEW BEST:: SOT 701423805 SOS 150986770 HAS SOPS 150986770 HAS SOUS 104353854 HAS SOUPS 104353854 WITH SCORE 1.0450484077E8
AT ITER 3030 NEW BEST:: SOT 701423804 SOS 150986768 HAS SOPS 150986768 HAS SOUS 104353852 HAS SOUPS 104353852 WITH SCORE 1.04504838768E8
AT ITER 3033 NEW BEST:: SOT 701424948 SOS 150989056 HAS SOPS 150989056 HAS SOUS 104348247 HAS SOUPS 104348247 WITH SCORE 1.04499236056E8
AT ITER 3041 NEW BEST:: SOT 701426926 SOS 150989054 HAS SOPS 150989054 HAS SOUS 104348246 HAS SOUPS 104348246 WITH SCORE 1.04499235054E8
AT ITER 3116 NEW BEST:: SOT 701426428 SOS 150990247 HAS SOPS 150990247 HAS SOUS 104347250 HAS SOUPS 104347250 WITH SCORE 1.04498240247E8
AT ITER 3141 NEW BEST:: SOT 701425160 SOS 150990135 HAS SOPS 150990135 HAS SOUS 104347141 HAS SOUPS 104347141 WITH SCORE 1.04498131135E8
AT ITER 3146 NEW BEST:: SOT 701416604 SOS 150985857 HAS SOPS 150985857 HAS SOUS 104342863 HAS SOUPS 104342863 WITH SCORE 1.04493848857E8
AT ITER 3148 NEW BEST:: SOT 701416604 SOS 150983580 HAS SOPS 150983580 HAS SOUS 104342104 HAS SOUPS 104342104 WITH SCORE 1.0449308758E8
AT ITER 3153 NEW BEST:: SOT 701418858 SOS 150981966 HAS SOPS 150981966 HAS SOUS 104340490 HAS SOUPS 104340490 WITH SCORE 1.04491471966E8
AT ITER 3155 NEW BEST:: SOT 701415021 SOS 150978761 HAS SOPS 150978761 HAS SOUS 104337285 HAS SOUPS 104337285 WITH SCORE 1.04488263761E8
AT ITER 3169 NEW BEST:: SOT 701396121 SOS 150972069 HAS SOPS 150972069 HAS SOUS 104318324 HAS SOUPS 104318324 WITH SCORE 1.04469296069E8
AT ITER 3176 NEW BEST:: SOT 701392956 SOS 150968904 HAS SOPS 150968904 HAS SOUS 104315159 HAS SOUPS 104315159 WITH SCORE 1.04466127904E8
AT ITER 3183 NEW BEST:: SOT 701391637 SOS 150966266 HAS SOPS 150966266 HAS SOUS 104313830 HAS SOUPS 104313830 WITH SCORE 1.04464796266E8
AT ITER 3185 NEW BEST:: SOT 701390906 SOS 150965535 HAS SOPS 150965535 HAS SOUS 104312368 HAS SOUPS 104312368 WITH SCORE 1.04463333535E8
AT ITER 3193 NEW BEST:: SOT 701381328 SOS 150972287 HAS SOPS 150972287 HAS SOUS 104310546 HAS SOUPS 104310546 WITH SCORE 1.04461518287E8
AT ITER 3194 NEW BEST:: SOT 701379741 SOS 150969113 HAS SOPS 150969113 HAS SOUS 104307372 HAS SOUPS 104307372 WITH SCORE 1.04458341113E8
AT ITER 3212 NEW BEST:: SOT 701374311 SOS 150939248 HAS SOPS 150939248 HAS SOUS 104301942 HAS SOUPS 104301942 WITH SCORE 1.04452881248E8
AT ITER 3217 NEW BEST:: SOT 701368059 SOS 150937826 HAS SOPS 150937826 HAS SOUS 104300520 HAS SOUPS 104300520 WITH SCORE 1.04451457826E8
AT ITER 3225 NEW BEST:: SOT 701368059 SOS 150937594 HAS SOPS 150937594 HAS SOUS 104300288 HAS SOUPS 104300288 WITH SCORE 1.04451225594E8
AT ITER 3227 NEW BEST:: SOT 701365105 SOS 150931686 HAS SOPS 150931686 HAS SOUS 104294380 HAS SOUPS 104294380 WITH SCORE 1.04445311686E8
AT ITER 3287 NEW BEST:: SOT 701336275 SOS 150948772 HAS SOPS 150948772 HAS SOUS 104292384 HAS SOUPS 104292384 WITH SCORE 1.04443332772E8
AT ITER 3291 NEW BEST:: SOT 701336275 SOS 150948772 HAS SOPS 150948772 HAS SOUS 104292383 HAS SOUPS 104292383 WITH SCORE 1.04443331772E8
AT ITER 3302 NEW BEST:: SOT 701333607 SOS 150943436 HAS SOPS 150943436 HAS SOUS 104286098 HAS SOUPS 104286098 WITH SCORE 1.04437041436E8
AT ITER 3312 NEW BEST:: SOT 701330375 SOS 150949494 HAS SOPS 150949494 HAS SOUS 104281708 HAS SOUPS 104281708 WITH SCORE 1.04432657494E8
AT ITER 3314 NEW BEST:: SOT 701328089 SOS 150944922 HAS SOPS 150944922 HAS SOUS 104277136 HAS SOUPS 104277136 WITH SCORE 1.04428080922E8
AT ITER 3317 NEW BEST:: SOT 701327699 SOS 150944142 HAS SOPS 150944142 HAS SOUS 104275871 HAS SOUPS 104275871 WITH SCORE 1.04426815142E8
AT ITER 3318 NEW BEST:: SOT 701320287 SOS 150945767 HAS SOPS 150945767 HAS SOUS 104275369 HAS SOUPS 104275369 WITH SCORE 1.04426314767E8
AT ITER 3328 NEW BEST:: SOT 701311387 SOS 150941317 HAS SOPS 150941317 HAS SOUS 104270919 HAS SOUPS 104270919 WITH SCORE 1.04421860317E8
AT ITER 3333 NEW BEST:: SOT 701306107 SOS 150936037 HAS SOPS 150936037 HAS SOUS 104265639 HAS SOUPS 104265639 WITH SCORE 1.04416575037E8
AT ITER 3354 NEW BEST:: SOT 701298187 SOS 150928117 HAS SOPS 150928117 HAS SOUS 104257719 HAS SOUPS 104257719 WITH SCORE 1.04408647117E8
AT ITER 3357 NEW BEST:: SOT 701295462 SOS 150922667 HAS SOPS 150922667 HAS SOUS 104251148 HAS SOUPS 104251148 WITH SCORE 1.04402070667E8
AT ITER 3379 NEW BEST:: SOT 701299890 SOS 150910761 HAS SOPS 150910761 HAS SOUS 104249800 HAS SOUPS 104249800 WITH SCORE 1.04400710761E8
AT ITER 3444 NEW BEST:: SOT 701296595 SOS 150904171 HAS SOPS 150904171 HAS SOUS 104245158 HAS SOUPS 104245158 WITH SCORE 1.04396062171E8
AT ITER 3460 NEW BEST:: SOT 701295002 SOS 150902578 HAS SOPS 150902578 HAS SOUS 104243565 HAS SOUPS 104243565 WITH SCORE 1.04394467578E8
AT ITER 3467 NEW BEST:: SOT 701295001 SOS 150898993 HAS SOPS 150898993 HAS SOUS 104239980 HAS SOUPS 104239980 WITH SCORE 1.04390878993E8
AT ITER 3490 NEW BEST:: SOT 701294987 SOS 150898965 HAS SOPS 150898965 HAS SOUS 104239966 HAS SOUPS 104239966 WITH SCORE 1.04390864965E8
AT ITER 3493 NEW BEST:: SOT 701297034 SOS 150903059 HAS SOPS 150903059 HAS SOUS 104239183 HAS SOUPS 104239183 WITH SCORE 1.04390086059E8
AT ITER 3512 NEW BEST:: SOT 701294150 SOS 150902848 HAS SOPS 150902848 HAS SOUS 104238972 HAS SOUPS 104238972 WITH SCORE 1.04389874848E8
AT ITER 3520 NEW BEST:: SOT 701294043 SOS 150902635 HAS SOPS 150902635 HAS SOUS 104238759 HAS SOUPS 104238759 WITH SCORE 1.04389661635E8
AT ITER 3539 NEW BEST:: SOT 701292549 SOS 150905615 HAS SOPS 150905615 HAS SOUS 104237263 HAS SOUPS 104237263 WITH SCORE 1.04388168615E8
AT ITER 3543 NEW BEST:: SOT 701292488 SOS 150905493 HAS SOPS 150905493 HAS SOUS 104237141 HAS SOUPS 104237141 WITH SCORE 1.04388046493E8
AT ITER 3573 NEW BEST:: SOT 701290139 SOS 150903051 HAS SOPS 150903051 HAS SOUS 104236151 HAS SOUPS 104236151 WITH SCORE 1.04387054051E8
AT ITER 3585 NEW BEST:: SOT 701284820 SOS 150895932 HAS SOPS 150895932 HAS SOUS 104231681 HAS SOUPS 104231681 WITH SCORE 1.04382576932E8
AT ITER 3586 NEW BEST:: SOT 701284820 SOS 150895386 HAS SOPS 150895386 HAS SOUS 104231135 HAS SOUPS 104231135 WITH SCORE 1.04382030386E8
AT ITER 3591 NEW BEST:: SOT 701280954 SOS 150876056 HAS SOPS 150876056 HAS SOUS 104223403 HAS SOUPS 104223403 WITH SCORE 1.04374279056E8
AT ITER 3609 NEW BEST:: SOT 701278477 SOS 150871102 HAS SOPS 150871102 HAS SOUS 104217116 HAS SOUPS 104217116 WITH SCORE 1.04367987102E8
AT ITER 3610 NEW BEST:: SOT 701274649 SOS 150867671 HAS SOPS 150867671 HAS SOUS 104213685 HAS SOUPS 104213685 WITH SCORE 1.04364552671E8
AT ITER 3650 NEW BEST:: SOT 701267486 SOS 150869494 HAS SOPS 150869494 HAS SOUS 104213293 HAS SOUPS 104213293 WITH SCORE 1.04364162494E8
AT ITER 3661 NEW BEST:: SOT 701263854 SOS 150873122 HAS SOPS 150873122 HAS SOUS 104206028 HAS SOUPS 104206028 WITH SCORE 1.04356901122E8
AT ITER 3673 NEW BEST:: SOT 701263854 SOS 150873122 HAS SOPS 150873122 HAS SOUS 104201502 HAS SOUPS 104201502 WITH SCORE 1.04352375122E8
AT ITER 3691 NEW BEST:: SOT 701260040 SOS 150869304 HAS SOPS 150869304 HAS SOUS 104197687 HAS SOUPS 104197687 WITH SCORE 1.04348556304E8
AT ITER 3721 NEW BEST:: SOT 701260422 SOS 150870068 HAS SOPS 150870068 HAS SOUS 104190528 HAS SOUPS 104190528 WITH SCORE 1.04341398068E8
AT ITER 3722 NEW BEST:: SOT 701254909 SOS 150868420 HAS SOPS 150868420 HAS SOUS 104188880 HAS SOUPS 104188880 WITH SCORE 1.0433974842E8
AT ITER 3743 NEW BEST:: SOT 701247237 SOS 150867500 HAS SOPS 150867500 HAS SOUS 104186016 HAS SOUPS 104186016 WITH SCORE 1.043368835E8
AT ITER 3793 NEW BEST:: SOT 701244298 SOS 150865477 HAS SOPS 150865477 HAS SOUS 104183368 HAS SOUPS 104183368 WITH SCORE 1.04334233477E8
AT ITER 3798 NEW BEST:: SOT 701244298 SOS 150865477 HAS SOPS 150865477 HAS SOUS 104178371 HAS SOUPS 104178371 WITH SCORE 1.04329236477E8
AT ITER 3802 NEW BEST:: SOT 701242817 SOS 150862515 HAS SOPS 150862515 HAS SOUS 104175409 HAS SOUPS 104175409 WITH SCORE 1.04326271515E8
AT ITER 3820 NEW BEST:: SOT 701229100 SOS 150852539 HAS SOPS 150852539 HAS SOUS 104166680 HAS SOUPS 104166680 WITH SCORE 1.04317532539E8
AT ITER 3824 NEW BEST:: SOT 701229849 SOS 150851353 HAS SOPS 150851353 HAS SOUS 104166461 HAS SOUPS 104166461 WITH SCORE 1.04317312353E8
AT ITER 3826 NEW BEST:: SOT 701227304 SOS 150859318 HAS SOPS 150859318 HAS SOUS 104160740 HAS SOUPS 104160740 WITH SCORE 1.04311599318E8
AT ITER 3881 NEW BEST:: SOT 701226809 SOS 150858328 HAS SOPS 150858328 HAS SOUS 104159750 HAS SOUPS 104159750 WITH SCORE 1.04310608328E8
AT ITER 3913 NEW BEST:: SOT 701219176 SOS 150861530 HAS SOPS 150861530 HAS SOUS 104152117 HAS SOUPS 104152117 WITH SCORE 1.0430297853E8
AT ITER 3922 NEW BEST:: SOT 701219176 SOS 150861530 HAS SOPS 150861530 HAS SOUS 104150781 HAS SOUPS 104150781 WITH SCORE 1.0430164253E8
AT ITER 3930 NEW BEST:: SOT 701211086 SOS 150859654 HAS SOPS 150859654 HAS SOUS 104148308 HAS SOUPS 104148308 WITH SCORE 1.04299167654E8
AT ITER 3946 NEW BEST:: SOT 701210976 SOS 150859870 HAS SOPS 150859870 HAS SOUS 104148197 HAS SOUPS 104148197 WITH SCORE 1.0429905687E8
AT ITER 3980 NEW BEST:: SOT 701210976 SOS 150858998 HAS SOPS 150858998 HAS SOUS 104147325 HAS SOUPS 104147325 WITH SCORE 1.04298183998E8
AT ITER 3981 NEW BEST:: SOT 701207206 SOS 150851458 HAS SOPS 150851458 HAS SOUS 104139785 HAS SOUPS 104139785 WITH SCORE 1.04290636458E8
AT ITER 3984 NEW BEST:: SOT 701206270 SOS 150849586 HAS SOPS 150849586 HAS SOUS 104137913 HAS SOUPS 104137913 WITH SCORE 1.04288762586E8
AT ITER 4001 NEW BEST:: SOT 701204442 SOS 150862382 HAS SOPS 150862382 HAS SOUS 104136085 HAS SOUPS 104136085 WITH SCORE 1.04286947382E8
AT ITER 4051 NEW BEST:: SOT 701198084 SOS 150856250 HAS SOPS 150856250 HAS SOUS 104129859 HAS SOUPS 104129859 WITH SCORE 1.0428071525E8
AT ITER 4055 NEW BEST:: SOT 701195661 SOS 150851404 HAS SOPS 150851404 HAS SOUS 104125013 HAS SOUPS 104125013 WITH SCORE 1.04275864404E8
AT ITER 4057 NEW BEST:: SOT 701192224 SOS 150847963 HAS SOPS 150847963 HAS SOUS 104121575 HAS SOUPS 104121575 WITH SCORE 1.04272422963E8
AT ITER 4070 NEW BEST:: SOT 701188632 SOS 150837187 HAS SOPS 150837187 HAS SOUS 104116187 HAS SOUPS 104116187 WITH SCORE 1.04267024187E8
AT ITER 4074 NEW BEST:: SOT 701185547 SOS 150836199 HAS SOPS 150836199 HAS SOUS 104115199 HAS SOUPS 104115199 WITH SCORE 1.04266035199E8
AT ITER 4082 NEW BEST:: SOT 701183761 SOS 150834413 HAS SOPS 150834413 HAS SOUS 104113413 HAS SOUPS 104113413 WITH SCORE 1.04264247413E8
AT ITER 4093 NEW BEST:: SOT 701179433 SOS 150830081 HAS SOPS 150830081 HAS SOUS 104109084 HAS SOUPS 104109084 WITH SCORE 1.04259914081E8
AT ITER 4095 NEW BEST:: SOT 701178296 SOS 150827807 HAS SOPS 150827807 HAS SOUS 104106810 HAS SOUPS 104106810 WITH SCORE 1.04257637807E8
AT ITER 4101 NEW BEST:: SOT 701177503 SOS 150826221 HAS SOPS 150826221 HAS SOUS 104105224 HAS SOUPS 104105224 WITH SCORE 1.04256050221E8
AT ITER 4172 NEW BEST:: SOT 701176420 SOS 150825137 HAS SOPS 150825137 HAS SOUS 104104140 HAS SOUPS 104104140 WITH SCORE 1.04254965137E8
AT ITER 4177 NEW BEST:: SOT 701174002 SOS 150820301 HAS SOPS 150820301 HAS SOUS 104099304 HAS SOUPS 104099304 WITH SCORE 1.04250124301E8
AT ITER 4186 NEW BEST:: SOT 701150858 SOS 150803469 HAS SOPS 150803469 HAS SOUS 104084576 HAS SOUPS 104084576 WITH SCORE 1.04235379469E8
AT ITER 4207 NEW BEST:: SOT 701148948 SOS 150799649 HAS SOPS 150799649 HAS SOUS 104080756 HAS SOUPS 104080756 WITH SCORE 1.04231555649E8
AT ITER 4211 NEW BEST:: SOT 701148045 SOS 150798746 HAS SOPS 150798746 HAS SOUS 104079853 HAS SOUPS 104079853 WITH SCORE 1.04230651746E8
AT ITER 4229 NEW BEST:: SOT 701147541 SOS 150798242 HAS SOPS 150798242 HAS SOUS 104079349 HAS SOUPS 104079349 WITH SCORE 1.04230147242E8
AT ITER 4231 NEW BEST:: SOT 701143528 SOS 150790216 HAS SOPS 150790216 HAS SOUS 104074900 HAS SOUPS 104074900 WITH SCORE 1.04225690216E8
AT ITER 4247 NEW BEST:: SOT 701143527 SOS 150790214 HAS SOPS 150790214 HAS SOUS 104074898 HAS SOUPS 104074898 WITH SCORE 1.04225688214E8
AT ITER 4252 NEW BEST:: SOT 701142073 SOS 150793114 HAS SOPS 150793114 HAS SOUS 104073442 HAS SOUPS 104073442 WITH SCORE 1.04224235114E8
AT ITER 4255 NEW BEST:: SOT 701110173 SOS 150769914 HAS SOPS 150769914 HAS SOUS 104053142 HAS SOUPS 104053142 WITH SCORE 1.04203911914E8
AT ITER 4256 NEW BEST:: SOT 701106448 SOS 150762464 HAS SOPS 150762464 HAS SOUS 104045692 HAS SOUPS 104045692 WITH SCORE 1.04196454464E8
AT ITER 4367 NEW BEST:: SOT 701098801 SOS 150760144 HAS SOPS 150760144 HAS SOUS 104043372 HAS SOUPS 104043372 WITH SCORE 1.04194132144E8
AT ITER 4372 NEW BEST:: SOT 701098801 SOS 150760144 HAS SOPS 150760144 HAS SOUS 104041686 HAS SOUPS 104041686 WITH SCORE 1.04192446144E8
AT ITER 4383 NEW BEST:: SOT 701096294 SOS 150755130 HAS SOPS 150755130 HAS SOUS 104036120 HAS SOUPS 104036120 WITH SCORE 1.0418687513E8
AT ITER 4408 NEW BEST:: SOT 701095024 SOS 150752591 HAS SOPS 150752591 HAS SOUS 104033581 HAS SOUPS 104033581 WITH SCORE 1.04184333591E8
AT ITER 4421 NEW BEST:: SOT 701093335 SOS 150755965 HAS SOPS 150755965 HAS SOUS 104031891 HAS SOUPS 104031891 WITH SCORE 1.04182646965E8
AT ITER 4426 NEW BEST:: SOT 701093334 SOS 150755963 HAS SOPS 150755963 HAS SOUS 104031889 HAS SOUPS 104031889 WITH SCORE 1.04182644963E8
AT ITER 4430 NEW BEST:: SOT 701091114 SOS 150753743 HAS SOPS 150753743 HAS SOUS 104029669 HAS SOUPS 104029669 WITH SCORE 1.04180422743E8
AT ITER 4444 NEW BEST:: SOT 701082902 SOS 150745531 HAS SOPS 150745531 HAS SOUS 104021457 HAS SOUPS 104021457 WITH SCORE 1.04172202531E8
AT ITER 4464 NEW BEST:: SOT 701075586 SOS 150736601 HAS SOPS 150736601 HAS SOUS 104010482 HAS SOUPS 104010482 WITH SCORE 1.04161218601E8
AT ITER 4522 NEW BEST:: SOT 701074519 SOS 150738735 HAS SOPS 150738735 HAS SOUS 104009415 HAS SOUPS 104009415 WITH SCORE 1.04160153735E8
AT ITER 4559 NEW BEST:: SOT 701074518 SOS 150738733 HAS SOPS 150738733 HAS SOUS 104009413 HAS SOUPS 104009413 WITH SCORE 1.04160151733E8
AT ITER 4576 NEW BEST:: SOT 701074260 SOS 150738217 HAS SOPS 150738217 HAS SOUS 104008897 HAS SOUPS 104008897 WITH SCORE 1.04159635217E8
AT ITER 4580 NEW BEST:: SOT 701070432 SOS 150735058 HAS SOPS 150735058 HAS SOUS 104005738 HAS SOUPS 104005738 WITH SCORE 1.04156473058E8
AT ITER 4581 NEW BEST:: SOT 701066352 SOS 150726898 HAS SOPS 150726898 HAS SOUS 103997578 HAS SOUPS 103997578 WITH SCORE 1.04148304898E8
AT ITER 4594 NEW BEST:: SOT 701066352 SOS 150745084 HAS SOPS 150745084 HAS SOUS 103995862 HAS SOUPS 103995862 WITH SCORE 1.04146607084E8
AT ITER 4600 NEW BEST:: SOT 701063132 SOS 150760399 HAS SOPS 150760399 HAS SOUS 103993501 HAS SOUPS 103993501 WITH SCORE 1.04144261399E8
AT ITER 4602 NEW BEST:: SOT 701059854 SOS 150762123 HAS SOPS 150762123 HAS SOUS 103993155 HAS SOUPS 103993155 WITH SCORE 1.04143917123E8
AT ITER 4613 NEW BEST:: SOT 701057842 SOS 150758099 HAS SOPS 150758099 HAS SOUS 103989131 HAS SOUPS 103989131 WITH SCORE 1.04139889099E8
AT ITER 4689 NEW BEST:: SOT 701048425 SOS 150754484 HAS SOPS 150754484 HAS SOUS 103982655 HAS SOUPS 103982655 WITH SCORE 1.04133409484E8
AT ITER 4695 NEW BEST:: SOT 701044201 SOS 150750849 HAS SOPS 150750849 HAS SOUS 103979020 HAS SOUPS 103979020 WITH SCORE 1.04129770849E8
AT ITER 4719 NEW BEST:: SOT 701044137 SOS 150750721 HAS SOPS 150750721 HAS SOUS 103978892 HAS SOUPS 103978892 WITH SCORE 1.04129642721E8
AT ITER 4737 NEW BEST:: SOT 701044137 SOS 150750405 HAS SOPS 150750405 HAS SOUS 103978734 HAS SOUPS 103978734 WITH SCORE 1.04129484405E8
AT ITER 4777 NEW BEST:: SOT 701043155 SOS 150752365 HAS SOPS 150752365 HAS SOUS 103977751 HAS SOUPS 103977751 WITH SCORE 1.04128503365E8
AT ITER 4781 NEW BEST:: SOT 701043155 SOS 150745600 HAS SOPS 150745600 HAS SOUS 103975496 HAS SOUPS 103975496 WITH SCORE 1.041262416E8
AT ITER 4788 NEW BEST:: SOT 701041549 SOS 150748808 HAS SOPS 150748808 HAS SOUS 103973889 HAS SOUPS 103973889 WITH SCORE 1.04124637808E8
AT ITER 4789 NEW BEST:: SOT 701038744 SOS 150746003 HAS SOPS 150746003 HAS SOUS 103971084 HAS SOUPS 103971084 WITH SCORE 1.04121830003E8
AT ITER 4802 NEW BEST:: SOT 701038744 SOS 150745530 HAS SOPS 150745530 HAS SOUS 103971084 HAS SOUPS 103971084 WITH SCORE 1.0412182953E8
AT ITER 4808 NEW BEST:: SOT 701040788 SOS 150745528 HAS SOPS 150745528 HAS SOUS 103971083 HAS SOUPS 103971083 WITH SCORE 1.04121828528E8
AT ITER 4867 NEW BEST:: SOT 701040788 SOS 150743742 HAS SOPS 150743742 HAS SOUS 103971083 HAS SOUPS 103971083 WITH SCORE 1.04121826742E8
AT ITER 4873 NEW BEST:: SOT 701040787 SOS 150743740 HAS SOPS 150743740 HAS SOUS 103971081 HAS SOUPS 103971081 WITH SCORE 1.0412182474E8
AT ITER 4908 NEW BEST:: SOT 701039855 SOS 150741876 HAS SOPS 150741876 HAS SOUS 103970148 HAS SOUPS 103970148 WITH SCORE 1.04120889876E8
AT ITER 4939 NEW BEST:: SOT 701037613 SOS 150737392 HAS SOPS 150737392 HAS SOUS 103964379 HAS SOUPS 103964379 WITH SCORE 1.04115116392E8
AT ITER 4944 NEW BEST:: SOT 701035034 SOS 150739971 HAS SOPS 150739971 HAS SOUS 103960138 HAS SOUPS 103960138 WITH SCORE 1.04110877971E8
AT ITER 4946 NEW BEST:: SOT 701031190 SOS 150712054 HAS SOPS 150712054 HAS SOUS 103946725 HAS SOUPS 103946725 WITH SCORE 1.04097437054E8
AT ITER 4954 NEW BEST:: SOT 701029334 SOS 150708342 HAS SOPS 150708342 HAS SOUS 103943013 HAS SOUPS 103943013 WITH SCORE 1.04093721342E8
AT ITER 4958 NEW BEST:: SOT 701029334 SOS 150708342 HAS SOPS 150708342 HAS SOUS 103942905 HAS SOUPS 103942905 WITH SCORE 1.04093613342E8
AT ITER 4975 NEW BEST:: SOT 701028814 SOS 150707302 HAS SOPS 150707302 HAS SOUS 103938708 HAS SOUPS 103938708 WITH SCORE 1.04089415302E8
AT ITER 4995 NEW BEST:: SOT 701028829 SOS 150707332 HAS SOPS 150707332 HAS SOUS 103935024 HAS SOUPS 103935024 WITH SCORE 1.04085731332E8
AT ITER 5041 NEW BEST:: SOT 701026714 SOS 150709443 HAS SOPS 150709443 HAS SOUS 103930793 HAS SOUPS 103930793 WITH SCORE 1.04081502443E8
AT ITER 5060 NEW BEST:: SOT 701026714 SOS 150705435 HAS SOPS 150705435 HAS SOUS 103928789 HAS SOUPS 103928789 WITH SCORE 1.04079494435E8
AT ITER 5132 NEW BEST:: SOT 701025921 SOS 150706224 HAS SOPS 150706224 HAS SOUS 103928788 HAS SOUPS 103928788 WITH SCORE 1.04079494224E8
AT ITER 5148 NEW BEST:: SOT 701023723 SOS 150701827 HAS SOPS 150701827 HAS SOUS 103924391 HAS SOUPS 103924391 WITH SCORE 1.04075092827E8
AT ITER 5150 NEW BEST:: SOT 701023143 SOS 150701247 HAS SOPS 150701247 HAS SOUS 103923811 HAS SOUPS 103923811 WITH SCORE 1.04074512247E8
AT ITER 5210 NEW BEST:: SOT 701015267 SOS 150697534 HAS SOPS 150697534 HAS SOUS 103919948 HAS SOUPS 103919948 WITH SCORE 1.04070645534E8
AT ITER 5260 NEW BEST:: SOT 701015267 SOS 150695164 HAS SOPS 150695164 HAS SOUS 103919948 HAS SOUPS 103919948 WITH SCORE 1.04070643164E8
AT ITER 5269 NEW BEST:: SOT 701011616 SOS 150692469 HAS SOPS 150692469 HAS SOUS 103917253 HAS SOUPS 103917253 WITH SCORE 1.04067945469E8
AT ITER 5307 NEW BEST:: SOT 701011086 SOS 150691409 HAS SOPS 150691409 HAS SOUS 103916193 HAS SOUPS 103916193 WITH SCORE 1.04066884409E8
AT ITER 5309 NEW BEST:: SOT 701006958 SOS 150687277 HAS SOPS 150687277 HAS SOUS 103912064 HAS SOUPS 103912064 WITH SCORE 1.04062751277E8
AT ITER 5321 NEW BEST:: SOT 701004807 SOS 150686888 HAS SOPS 150686888 HAS SOUS 103911868 HAS SOUPS 103911868 WITH SCORE 1.04062554888E8
AT ITER 5323 NEW BEST:: SOT 701005835 SOS 150688944 HAS SOPS 150688944 HAS SOUS 103909423 HAS SOUPS 103909423 WITH SCORE 1.04060111944E8
AT ITER 5341 NEW BEST:: SOT 701002949 SOS 150686058 HAS SOPS 150686058 HAS SOUS 103906537 HAS SOUPS 103906537 WITH SCORE 1.04057223058E8
AT ITER 5374 NEW BEST:: SOT 701001555 SOS 150684664 HAS SOPS 150684664 HAS SOUS 103905143 HAS SOUPS 103905143 WITH SCORE 1.04055827664E8
AT ITER 5392 NEW BEST:: SOT 701001555 SOS 150684664 HAS SOPS 150684664 HAS SOUS 103905140 HAS SOUPS 103905140 WITH SCORE 1.04055824664E8
AT ITER 5404 NEW BEST:: SOT 701000114 SOS 150681782 HAS SOPS 150681782 HAS SOUS 103902258 HAS SOUPS 103902258 WITH SCORE 1.04052939782E8
AT ITER 5405 NEW BEST:: SOT 700970502 SOS 150672630 HAS SOPS 150672630 HAS SOUS 103887962 HAS SOUPS 103887962 WITH SCORE 1.0403863463E8
AT ITER 5416 NEW BEST:: SOT 700970321 SOS 150672269 HAS SOPS 150672269 HAS SOUS 103887601 HAS SOUPS 103887601 WITH SCORE 1.04038273269E8
AT ITER 5421 NEW BEST:: SOT 700967133 SOS 150670409 HAS SOPS 150670409 HAS SOUS 103885743 HAS SOUPS 103885743 WITH SCORE 1.04036413409E8
AT ITER 5422 NEW BEST:: SOT 700963351 SOS 150682473 HAS SOPS 150682473 HAS SOUS 103878178 HAS SOUPS 103878178 WITH SCORE 1.04028860473E8
AT ITER 5454 NEW BEST:: SOT 700962786 SOS 150683603 HAS SOPS 150683603 HAS SOUS 103877613 HAS SOUPS 103877613 WITH SCORE 1.04028296603E8
AT ITER 5461 NEW BEST:: SOT 700954422 SOS 150675239 HAS SOPS 150675239 HAS SOUS 103869249 HAS SOUPS 103869249 WITH SCORE 1.04019924239E8
AT ITER 5479 NEW BEST:: SOT 700954422 SOS 150682708 HAS SOPS 150682708 HAS SOUS 103868417 HAS SOUPS 103868417 WITH SCORE 1.04019099708E8
AT ITER 5487 NEW BEST:: SOT 700946406 SOS 150680684 HAS SOPS 150680684 HAS SOUS 103866260 HAS SOUPS 103866260 WITH SCORE 1.04016940684E8
AT ITER 5488 NEW BEST:: SOT 700942858 SOS 150678748 HAS SOPS 150678748 HAS SOUS 103864326 HAS SOUPS 103864326 WITH SCORE 1.04015004748E8
AT ITER 5505 NEW BEST:: SOT 700942858 SOS 150678170 HAS SOPS 150678170 HAS SOUS 103864326 HAS SOUPS 103864326 WITH SCORE 1.0401500417E8
AT ITER 5550 NEW BEST:: SOT 700942053 SOS 150676173 HAS SOPS 150676173 HAS SOUS 103862329 HAS SOUPS 103862329 WITH SCORE 1.04013005173E8
AT ITER 5551 NEW BEST:: SOT 700940854 SOS 150678845 HAS SOPS 150678845 HAS SOUS 103861130 HAS SOUPS 103861130 WITH SCORE 1.04011808845E8
AT ITER 5558 NEW BEST:: SOT 700940995 SOS 150679126 HAS SOPS 150679126 HAS SOUS 103859298 HAS SOUPS 103859298 WITH SCORE 1.04009977126E8
AT ITER 5561 NEW BEST:: SOT 700937194 SOS 150671524 HAS SOPS 150671524 HAS SOUS 103851696 HAS SOUPS 103851696 WITH SCORE 1.04002367524E8
AT ITER 5587 NEW BEST:: SOT 700936079 SOS 150671520 HAS SOPS 150671520 HAS SOUS 103851695 HAS SOUPS 103851695 WITH SCORE 1.0400236652E8
AT ITER 5595 NEW BEST:: SOT 700935286 SOS 150669934 HAS SOPS 150669934 HAS SOUS 103848272 HAS SOUPS 103848272 WITH SCORE 1.03998941934E8
AT ITER 5597 NEW BEST:: SOT 700935286 SOS 150669934 HAS SOPS 150669934 HAS SOUS 103848271 HAS SOUPS 103848271 WITH SCORE 1.03998940934E8
AT ITER 5598 NEW BEST:: SOT 700933960 SOS 150668608 HAS SOPS 150668608 HAS SOUS 103848271 HAS SOUPS 103848271 WITH SCORE 1.03998939608E8
AT ITER 5604 NEW BEST:: SOT 700931047 SOS 150688999 HAS SOPS 150688999 HAS SOUS 103845358 HAS SOUPS 103845358 WITH SCORE 1.03996046999E8
AT ITER 5612 NEW BEST:: SOT 700930122 SOS 150688613 HAS SOPS 150688613 HAS SOUS 103844921 HAS SOUPS 103844921 WITH SCORE 1.03995609613E8
AT ITER 5619 NEW BEST:: SOT 700927071 SOS 150695450 HAS SOPS 150695450 HAS SOUS 103840866 HAS SOUPS 103840866 WITH SCORE 1.0399156145E8
AT ITER 5716 NEW BEST:: SOT 700925226 SOS 150708355 HAS SOPS 150708355 HAS SOUS 103837175 HAS SOUPS 103837175 WITH SCORE 1.03987883355E8
AT ITER 5741 NEW BEST:: SOT 700924385 SOS 150706673 HAS SOPS 150706673 HAS SOUS 103835493 HAS SOUPS 103835493 WITH SCORE 1.03986199673E8
AT ITER 5750 NEW BEST:: SOT 700921947 SOS 150704231 HAS SOPS 150704231 HAS SOUS 103833054 HAS SOUPS 103833054 WITH SCORE 1.03983758231E8
AT ITER 5763 NEW BEST:: SOT 700917479 SOS 150695295 HAS SOPS 150695295 HAS SOUS 103828723 HAS SOUPS 103828723 WITH SCORE 1.03979418295E8
AT ITER 5787 NEW BEST:: SOT 700917479 SOS 150695295 HAS SOPS 150695295 HAS SOUS 103823271 HAS SOUPS 103823271 WITH SCORE 1.03973966295E8
AT ITER 5794 NEW BEST:: SOT 700916591 SOS 150695115 HAS SOPS 150695115 HAS SOUS 103822915 HAS SOUPS 103822915 WITH SCORE 1.03973610115E8
AT ITER 5804 NEW BEST:: SOT 700912669 SOS 150695114 HAS SOPS 150695114 HAS SOUS 103822914 HAS SOUPS 103822914 WITH SCORE 1.03973609114E8
AT ITER 5809 NEW BEST:: SOT 700912669 SOS 150694995 HAS SOPS 150694995 HAS SOUS 103822914 HAS SOUPS 103822914 WITH SCORE 1.03973608995E8
AT ITER 5848 NEW BEST:: SOT 700910232 SOS 150690121 HAS SOPS 150690121 HAS SOUS 103816643 HAS SOUPS 103816643 WITH SCORE 1.03967333121E8
AT ITER 5855 NEW BEST:: SOT 700906374 SOS 150686658 HAS SOPS 150686658 HAS SOUS 103812984 HAS SOUPS 103812984 WITH SCORE 1.03963670658E8
AT ITER 5859 NEW BEST:: SOT 700902538 SOS 150682818 HAS SOPS 150682818 HAS SOUS 103809147 HAS SOUPS 103809147 WITH SCORE 1.03959829818E8
AT ITER 5879 NEW BEST:: SOT 700902538 SOS 150673146 HAS SOPS 150673146 HAS SOUS 103809147 HAS SOUPS 103809147 WITH SCORE 1.03959820146E8
AT ITER 5886 NEW BEST:: SOT 700899679 SOS 150676001 HAS SOPS 150676001 HAS SOUS 103803428 HAS SOUPS 103803428 WITH SCORE 1.03954104001E8
AT ITER 5956 NEW BEST:: SOT 700899648 SOS 150675939 HAS SOPS 150675939 HAS SOUS 103803366 HAS SOUPS 103803366 WITH SCORE 1.03954041939E8
AT ITER 5963 NEW BEST:: SOT 700898671 SOS 150673985 HAS SOPS 150673985 HAS SOUS 103801412 HAS SOUPS 103801412 WITH SCORE 1.03952085985E8
AT ITER 5969 NEW BEST:: SOT 700897744 SOS 150672131 HAS SOPS 150672131 HAS SOUS 103799558 HAS SOUPS 103799558 WITH SCORE 1.03950230131E8
AT ITER 5990 NEW BEST:: SOT 700894248 SOS 150665139 HAS SOPS 150665139 HAS SOUS 103792566 HAS SOUPS 103792566 WITH SCORE 1.03943231139E8
AT ITER 5991 NEW BEST:: SOT 700894212 SOS 150665121 HAS SOPS 150665121 HAS SOUS 103792548 HAS SOUPS 103792548 WITH SCORE 1.03943213121E8
AT ITER 6022 NEW BEST:: SOT 700890977 SOS 150658651 HAS SOPS 150658651 HAS SOUS 103786078 HAS SOUPS 103786078 WITH SCORE 1.03936736651E8
AT ITER 6059 NEW BEST:: SOT 700889837 SOS 150656371 HAS SOPS 150656371 HAS SOUS 103784938 HAS SOUPS 103784938 WITH SCORE 1.03935594371E8
AT ITER 6065 NEW BEST:: SOT 700889785 SOS 150656267 HAS SOPS 150656267 HAS SOUS 103784834 HAS SOUPS 103784834 WITH SCORE 1.03935490267E8
AT ITER 6085 NEW BEST:: SOT 700889785 SOS 150655493 HAS SOPS 150655493 HAS SOUS 103784447 HAS SOUPS 103784447 WITH SCORE 1.03935102493E8
AT ITER 6087 NEW BEST:: SOT 700886533 SOS 150652241 HAS SOPS 150652241 HAS SOUS 103781195 HAS SOUPS 103781195 WITH SCORE 1.03931847241E8
AT ITER 6088 NEW BEST:: SOT 700882531 SOS 150648235 HAS SOPS 150648235 HAS SOUS 103777192 HAS SOUPS 103777192 WITH SCORE 1.03927840235E8
AT ITER 6090 NEW BEST:: SOT 700874614 SOS 150645463 HAS SOPS 150645463 HAS SOUS 103773629 HAS SOUPS 103773629 WITH SCORE 1.03924274463E8
AT ITER 6096 NEW BEST:: SOT 700869718 SOS 150635670 HAS SOPS 150635670 HAS SOUS 103763836 HAS SOUPS 103763836 WITH SCORE 1.0391447167E8
AT ITER 6117 NEW BEST:: SOT 700869211 SOS 150635163 HAS SOPS 150635163 HAS SOUS 103763329 HAS SOUPS 103763329 WITH SCORE 1.03913964163E8
AT ITER 6130 NEW BEST:: SOT 700870187 SOS 150608664 HAS SOPS 150608664 HAS SOUS 103759587 HAS SOUPS 103759587 WITH SCORE 1.03910195664E8
AT ITER 6148 NEW BEST:: SOT 700869843 SOS 150607976 HAS SOPS 150607976 HAS SOUS 103757858 HAS SOUPS 103757858 WITH SCORE 1.03908465976E8
AT ITER 6150 NEW BEST:: SOT 700867172 SOS 150607696 HAS SOPS 150607696 HAS SOUS 103751320 HAS SOUPS 103751320 WITH SCORE 1.03901927696E8
AT ITER 6168 NEW BEST:: SOT 700867517 SOS 150596620 HAS SOPS 150596620 HAS SOUS 103747915 HAS SOUPS 103747915 WITH SCORE 1.0389851162E8
AT ITER 6213 NEW BEST:: SOT 700866959 SOS 150597728 HAS SOPS 150597728 HAS SOUS 103747355 HAS SOUPS 103747355 WITH SCORE 1.03897952728E8
AT ITER 6249 NEW BEST:: SOT 700865226 SOS 150595995 HAS SOPS 150595995 HAS SOUS 103745622 HAS SOUPS 103745622 WITH SCORE 1.03896217995E8
AT ITER 6268 NEW BEST:: SOT 700865226 SOS 150603858 HAS SOPS 150603858 HAS SOUS 103743586 HAS SOUPS 103743586 WITH SCORE 1.03894189858E8
AT ITER 6296 NEW BEST:: SOT 700861983 SOS 150598243 HAS SOPS 150598243 HAS SOUS 103739929 HAS SOUPS 103739929 WITH SCORE 1.03890527243E8
AT ITER 6303 NEW BEST:: SOT 700861410 SOS 150597097 HAS SOPS 150597097 HAS SOUS 103735509 HAS SOUPS 103735509 WITH SCORE 1.03886106097E8
AT ITER 6304 NEW BEST:: SOT 700857290 SOS 150588857 HAS SOPS 150588857 HAS SOUS 103727269 HAS SOUPS 103727269 WITH SCORE 1.03877857857E8
AT ITER 6330 NEW BEST:: SOT 700852945 SOS 150584508 HAS SOPS 150584508 HAS SOUS 103722923 HAS SOUPS 103722923 WITH SCORE 1.03873507508E8
AT ITER 6375 NEW BEST:: SOT 700855772 SOS 150590161 HAS SOPS 150590161 HAS SOUS 103720793 HAS SOUPS 103720793 WITH SCORE 1.03871383161E8
AT ITER 6427 NEW BEST:: SOT 700859465 SOS 150597547 HAS SOPS 150597547 HAS SOUS 103720174 HAS SOUPS 103720174 WITH SCORE 1.03870771547E8
AT ITER 6436 NEW BEST:: SOT 700858732 SOS 150597546 HAS SOPS 150597546 HAS SOUS 103720173 HAS SOUPS 103720173 WITH SCORE 1.03870770546E8
AT ITER 6458 NEW BEST:: SOT 700858732 SOS 150588162 HAS SOPS 150588162 HAS SOUS 103720172 HAS SOUPS 103720172 WITH SCORE 1.03870760162E8
AT ITER 6486 NEW BEST:: SOT 700848626 SOS 150575355 HAS SOPS 150575355 HAS SOUS 103706141 HAS SOUPS 103706141 WITH SCORE 1.03856716355E8
AT ITER 6498 NEW BEST:: SOT 700847880 SOS 150598891 HAS SOPS 150598891 HAS SOUS 103704648 HAS SOUPS 103704648 WITH SCORE 1.03855246891E8
AT ITER 6523 NEW BEST:: SOT 700841844 SOS 150592855 HAS SOPS 150592855 HAS SOUS 103698612 HAS SOUPS 103698612 WITH SCORE 1.03849204855E8
AT ITER 6545 NEW BEST:: SOT 700840996 SOS 150592007 HAS SOPS 150592007 HAS SOUS 103698612 HAS SOUPS 103698612 WITH SCORE 1.03849204007E8
AT ITER 6563 NEW BEST:: SOT 700843020 SOS 150589980 HAS SOPS 150589980 HAS SOUS 103698611 HAS SOUPS 103698611 WITH SCORE 1.0384920098E8
AT ITER 6570 NEW BEST:: SOT 700843020 SOS 150589980 HAS SOPS 150589980 HAS SOUS 103698609 HAS SOUPS 103698609 WITH SCORE 1.0384919898E8
AT ITER 6572 NEW BEST:: SOT 700839062 SOS 150586022 HAS SOPS 150586022 HAS SOUS 103694651 HAS SOUPS 103694651 WITH SCORE 1.03845237022E8
AT ITER 6585 NEW BEST:: SOT 700838439 SOS 150584776 HAS SOPS 150584776 HAS SOUS 103693405 HAS SOUPS 103693405 WITH SCORE 1.03843989776E8
AT ITER 6599 NEW BEST:: SOT 700838438 SOS 150584774 HAS SOPS 150584774 HAS SOUS 103693403 HAS SOUPS 103693403 WITH SCORE 1.03843987774E8
AT ITER 6604 NEW BEST:: SOT 700837555 SOS 150585654 HAS SOPS 150585654 HAS SOUS 103692519 HAS SOUPS 103692519 WITH SCORE 1.03843104654E8
AT ITER 6652 NEW BEST:: SOT 700837555 SOS 150585654 HAS SOPS 150585654 HAS SOUS 103684787 HAS SOUPS 103684787 WITH SCORE 1.03835372654E8
AT ITER 6654 NEW BEST:: SOT 700837554 SOS 150585652 HAS SOPS 150585652 HAS SOUS 103684785 HAS SOUPS 103684785 WITH SCORE 1.03835370652E8
AT ITER 6670 NEW BEST:: SOT 700839231 SOS 150583090 HAS SOPS 150583090 HAS SOUS 103682712 HAS SOUPS 103682712 WITH SCORE 1.0383329509E8
AT ITER 6679 NEW BEST:: SOT 700839231 SOS 150579943 HAS SOPS 150579943 HAS SOUS 103681663 HAS SOUPS 103681663 WITH SCORE 1.03832242943E8
AT ITER 6695 NEW BEST:: SOT 700839231 SOS 150579939 HAS SOPS 150579939 HAS SOUS 103681662 HAS SOUPS 103681662 WITH SCORE 1.03832241939E8
AT ITER 6704 NEW BEST:: SOT 700837914 SOS 150579935 HAS SOPS 150579935 HAS SOUS 103681661 HAS SOUPS 103681661 WITH SCORE 1.03832240935E8
AT ITER 6713 NEW BEST:: SOT 700835142 SOS 150582707 HAS SOPS 150582707 HAS SOUS 103678889 HAS SOUPS 103678889 WITH SCORE 1.03829471707E8
AT ITER 6726 NEW BEST:: SOT 700835138 SOS 150582699 HAS SOPS 150582699 HAS SOUS 103678881 HAS SOUPS 103678881 WITH SCORE 1.03829463699E8
AT ITER 6741 NEW BEST:: SOT 700835138 SOS 150581019 HAS SOPS 150581019 HAS SOUS 103678321 HAS SOUPS 103678321 WITH SCORE 1.03828902019E8
AT ITER 6746 NEW BEST:: SOT 700832949 SOS 150576641 HAS SOPS 150576641 HAS SOUS 103673943 HAS SOUPS 103673943 WITH SCORE 1.03824519641E8
AT ITER 6756 NEW BEST:: SOT 700830963 SOS 150572669 HAS SOPS 150572669 HAS SOUS 103669971 HAS SOUPS 103669971 WITH SCORE 1.03820543669E8
AT ITER 6783 NEW BEST:: SOT 700826944 SOS 150568646 HAS SOPS 150568646 HAS SOUS 103665951 HAS SOUPS 103665951 WITH SCORE 1.03816519646E8
AT ITER 6810 NEW BEST:: SOT 700826613 SOS 150567983 HAS SOPS 150567983 HAS SOUS 103662838 HAS SOUPS 103662838 WITH SCORE 1.03813405983E8
AT ITER 6811 NEW BEST:: SOT 700826290 SOS 150567660 HAS SOPS 150567660 HAS SOUS 103662838 HAS SOUPS 103662838 WITH SCORE 1.0381340566E8
AT ITER 6824 NEW BEST:: SOT 700826080 SOS 150567555 HAS SOPS 150567555 HAS SOUS 103662733 HAS SOUPS 103662733 WITH SCORE 1.03813300555E8
AT ITER 6826 NEW BEST:: SOT 700826080 SOS 150567555 HAS SOPS 150567555 HAS SOUS 103662726 HAS SOUPS 103662726 WITH SCORE 1.03813293555E8
AT ITER 6828 NEW BEST:: SOT 700824621 SOS 150564637 HAS SOPS 150564637 HAS SOUS 103661267 HAS SOUPS 103661267 WITH SCORE 1.03811831637E8
AT ITER 6847 NEW BEST:: SOT 700820879 SOS 150557153 HAS SOPS 150557153 HAS SOUS 103653783 HAS SOUPS 103653783 WITH SCORE 1.03804340153E8
AT ITER 6953 NEW BEST:: SOT 700821109 SOS 150555891 HAS SOPS 150555891 HAS SOUS 103652521 HAS SOUPS 103652521 WITH SCORE 1.03803076891E8
AT ITER 6986 NEW BEST:: SOT 700817847 SOS 150549366 HAS SOPS 150549366 HAS SOUS 103645996 HAS SOUPS 103645996 WITH SCORE 1.03796545366E8
AT ITER 7017 NEW BEST:: SOT 700817847 SOS 150549366 HAS SOPS 150549366 HAS SOUS 103645995 HAS SOUPS 103645995 WITH SCORE 1.03796544366E8
AT ITER 7023 NEW BEST:: SOT 700817827 SOS 150549326 HAS SOPS 150549326 HAS SOUS 103645955 HAS SOUPS 103645955 WITH SCORE 1.03796504326E8
AT ITER 7038 NEW BEST:: SOT 700813081 SOS 150543104 HAS SOPS 150543104 HAS SOUS 103641208 HAS SOUPS 103641208 WITH SCORE 1.03791751104E8
AT ITER 7044 NEW BEST:: SOT 700809253 SOS 150539276 HAS SOPS 150539276 HAS SOUS 103637380 HAS SOUPS 103637380 WITH SCORE 1.03787919276E8
AT ITER 7077 NEW BEST:: SOT 700806677 SOS 150536726 HAS SOPS 150536726 HAS SOUS 103632228 HAS SOUPS 103632228 WITH SCORE 1.03782764726E8
AT ITER 7080 NEW BEST:: SOT 700806657 SOS 150536686 HAS SOPS 150536686 HAS SOUS 103632208 HAS SOUPS 103632208 WITH SCORE 1.03782744686E8
AT ITER 7084 NEW BEST:: SOT 700802565 SOS 150532594 HAS SOPS 150532594 HAS SOUS 103628116 HAS SOUPS 103628116 WITH SCORE 1.03778648594E8
AT ITER 7094 NEW BEST:: SOT 700799734 SOS 150526932 HAS SOPS 150526932 HAS SOUS 103622454 HAS SOUPS 103622454 WITH SCORE 1.03772980932E8
AT ITER 7109 NEW BEST:: SOT 700802213 SOS 150518720 HAS SOPS 150518720 HAS SOUS 103621782 HAS SOUPS 103621782 WITH SCORE 1.0377230072E8
AT ITER 7110 NEW BEST:: SOT 700800635 SOS 150515564 HAS SOPS 150515564 HAS SOUS 103620743 HAS SOUPS 103620743 WITH SCORE 1.03771258564E8
AT ITER 7133 NEW BEST:: SOT 700799450 SOS 150513194 HAS SOPS 150513194 HAS SOUS 103618373 HAS SOUPS 103618373 WITH SCORE 1.03768886194E8
AT ITER 7223 NEW BEST:: SOT 700800211 SOS 150514716 HAS SOPS 150514716 HAS SOUS 103615456 HAS SOUPS 103615456 WITH SCORE 1.03765970716E8
AT ITER 7232 NEW BEST:: SOT 700797153 SOS 150507071 HAS SOPS 150507071 HAS SOUS 103612398 HAS SOUPS 103612398 WITH SCORE 1.03762905071E8
AT ITER 7246 NEW BEST:: SOT 700796169 SOS 150506771 HAS SOPS 150506771 HAS SOUS 103612098 HAS SOUPS 103612098 WITH SCORE 1.03762604771E8
AT ITER 7308 NEW BEST:: SOT 700792269 SOS 150487271 HAS SOPS 150487271 HAS SOUS 103604298 HAS SOUPS 103604298 WITH SCORE 1.03754785271E8
AT ITER 7379 NEW BEST:: SOT 700791323 SOS 150475125 HAS SOPS 150475125 HAS SOUS 103599934 HAS SOUPS 103599934 WITH SCORE 1.03750409125E8
AT ITER 7414 NEW BEST:: SOT 700786835 SOS 150451788 HAS SOPS 150451788 HAS SOUS 103590958 HAS SOUPS 103590958 WITH SCORE 1.03741409788E8
AT ITER 7419 NEW BEST:: SOT 700779605 SOS 150437328 HAS SOPS 150437328 HAS SOUS 103576498 HAS SOUPS 103576498 WITH SCORE 1.03726935328E8
AT ITER 7422 NEW BEST:: SOT 700769861 SOS 150421200 HAS SOPS 150421200 HAS SOUS 103564228 HAS SOUPS 103564228 WITH SCORE 1.037146492E8
AT ITER 7432 NEW BEST:: SOT 700770419 SOS 150422316 HAS SOPS 150422316 HAS SOUS 103561827 HAS SOUPS 103561827 WITH SCORE 1.03712249316E8
AT ITER 7458 NEW BEST:: SOT 700770419 SOS 150417979 HAS SOPS 150417979 HAS SOUS 103561827 HAS SOUPS 103561827 WITH SCORE 1.03712244979E8
AT ITER 7476 NEW BEST:: SOT 700769547 SOS 150416235 HAS SOPS 150416235 HAS SOUS 103560954 HAS SOUPS 103560954 WITH SCORE 1.03711370235E8
AT ITER 7493 NEW BEST:: SOT 700769547 SOS 150414991 HAS SOPS 150414991 HAS SOUS 103560954 HAS SOUPS 103560954 WITH SCORE 1.03711368991E8
AT ITER 7517 NEW BEST:: SOT 700769547 SOS 150414991 HAS SOPS 150414991 HAS SOUS 103555038 HAS SOUPS 103555038 WITH SCORE 1.03705452991E8
AT ITER 7527 NEW BEST:: SOT 700769156 SOS 150414209 HAS SOPS 150414209 HAS SOUS 103554256 HAS SOUPS 103554256 WITH SCORE 1.03704670209E8
AT ITER 7528 NEW BEST:: SOT 700767241 SOS 150437495 HAS SOPS 150437495 HAS SOUS 103550425 HAS SOUPS 103550425 WITH SCORE 1.03700862495E8
AT ITER 7555 NEW BEST:: SOT 700770515 SOS 150444042 HAS SOPS 150444042 HAS SOUS 103549151 HAS SOUPS 103549151 WITH SCORE 1.03699595042E8
AT ITER 7557 NEW BEST:: SOT 700770561 SOS 150443043 HAS SOPS 150443043 HAS SOUS 103548658 HAS SOUPS 103548658 WITH SCORE 1.03699101043E8
AT ITER 7561 NEW BEST:: SOT 700769581 SOS 150441079 HAS SOPS 150441079 HAS SOUS 103546697 HAS SOUPS 103546697 WITH SCORE 1.03697138079E8
AT ITER 7583 NEW BEST:: SOT 700762193 SOS 150436403 HAS SOPS 150436403 HAS SOUS 103540664 HAS SOUPS 103540664 WITH SCORE 1.03691100403E8
AT ITER 7598 NEW BEST:: SOT 700762043 SOS 150436103 HAS SOPS 150436103 HAS SOUS 103536808 HAS SOUPS 103536808 WITH SCORE 1.03687244103E8
AT ITER 7632 NEW BEST:: SOT 700762041 SOS 150435031 HAS SOPS 150435031 HAS SOUS 103535736 HAS SOUPS 103535736 WITH SCORE 1.03686171031E8
AT ITER 7641 NEW BEST:: SOT 700761300 SOS 150433549 HAS SOPS 150433549 HAS SOUS 103534254 HAS SOUPS 103534254 WITH SCORE 1.03684687549E8
AT ITER 7684 NEW BEST:: SOT 700758231 SOS 150430476 HAS SOPS 150430476 HAS SOUS 103531184 HAS SOUPS 103531184 WITH SCORE 1.03681614476E8
AT ITER 7703 NEW BEST:: SOT 700749481 SOS 150426101 HAS SOPS 150426101 HAS SOUS 103526809 HAS SOUPS 103526809 WITH SCORE 1.03677235101E8
AT ITER 7720 NEW BEST:: SOT 700751122 SOS 150415934 HAS SOPS 150415934 HAS SOUS 103524435 HAS SOUPS 103524435 WITH SCORE 1.03674850934E8
AT ITER 7733 NEW BEST:: SOT 700749416 SOS 150412522 HAS SOPS 150412522 HAS SOUS 103521023 HAS SOUPS 103521023 WITH SCORE 1.03671435522E8
AT ITER 7740 NEW BEST:: SOT 700741721 SOS 150412273 HAS SOPS 150412273 HAS SOUS 103519465 HAS SOUPS 103519465 WITH SCORE 1.03669877273E8
AT ITER 7742 NEW BEST:: SOT 700740920 SOS 150411472 HAS SOPS 150411472 HAS SOUS 103518664 HAS SOUPS 103518664 WITH SCORE 1.03669075472E8
AT ITER 7761 NEW BEST:: SOT 700735055 SOS 150399742 HAS SOPS 150399742 HAS SOUS 103512799 HAS SOUPS 103512799 WITH SCORE 1.03663198742E8
AT ITER 7762 NEW BEST:: SOT 700735055 SOS 150398786 HAS SOPS 150398786 HAS SOUS 103511843 HAS SOUPS 103511843 WITH SCORE 1.03662241786E8
AT ITER 7764 NEW BEST:: SOT 700575295 SOS 150753888 HAS SOPS 150753888 HAS SOUS 103361927 HAS SOUPS 103361927 WITH SCORE 1.03512680888E8
AT ITER 7768 NEW BEST:: SOT 700575295 SOS 150753595 HAS SOPS 150753595 HAS SOUS 103361634 HAS SOUPS 103361634 WITH SCORE 1.03512387595E8
AT ITER 7779 NEW BEST:: SOT 700574159 SOS 150755863 HAS SOPS 150755863 HAS SOUS 103360497 HAS SOUPS 103360497 WITH SCORE 1.03511252863E8
AT ITER 7793 NEW BEST:: SOT 700571214 SOS 150752081 HAS SOPS 150752081 HAS SOUS 103357552 HAS SOUPS 103357552 WITH SCORE 1.03508304081E8
AT ITER 7795 NEW BEST:: SOT 700570343 SOS 150753815 HAS SOPS 150753815 HAS SOUS 103356679 HAS SOUPS 103356679 WITH SCORE 1.03507432815E8
AT ITER 7797 NEW BEST:: SOT 700567813 SOS 150750028 HAS SOPS 150750028 HAS SOUS 103355535 HAS SOUPS 103355535 WITH SCORE 1.03506285028E8
AT ITER 7800 NEW BEST:: SOT 700567696 SOS 150749794 HAS SOPS 150749794 HAS SOUS 103355301 HAS SOUPS 103355301 WITH SCORE 1.03506050794E8
AT ITER 7836 NEW BEST:: SOT 700567695 SOS 150749792 HAS SOPS 150749792 HAS SOUS 103355299 HAS SOUPS 103355299 WITH SCORE 1.03506048792E8
AT ITER 7880 NEW BEST:: SOT 700559790 SOS 150733982 HAS SOPS 150733982 HAS SOUS 103339489 HAS SOUPS 103339489 WITH SCORE 1.03490222982E8
AT ITER 7882 NEW BEST:: SOT 700557554 SOS 150729510 HAS SOPS 150729510 HAS SOUS 103335017 HAS SOUPS 103335017 WITH SCORE 1.0348574651E8
AT ITER 7883 NEW BEST:: SOT 700552628 SOS 150724580 HAS SOPS 150724580 HAS SOUS 103330090 HAS SOUPS 103330090 WITH SCORE 1.0348081458E8
AT ITER 7890 NEW BEST:: SOT 700549661 SOS 150721609 HAS SOPS 150721609 HAS SOUS 103327122 HAS SOUPS 103327122 WITH SCORE 1.03477843609E8
AT ITER 7903 NEW BEST:: SOT 700549348 SOS 150722231 HAS SOPS 150722231 HAS SOUS 103326808 HAS SOUPS 103326808 WITH SCORE 1.03477530231E8
AT ITER 7910 NEW BEST:: SOT 700549348 SOS 150716102 HAS SOPS 150716102 HAS SOUS 103324765 HAS SOUPS 103324765 WITH SCORE 1.03475481102E8
AT ITER 7911 NEW BEST:: SOT 700549345 SOS 150716096 HAS SOPS 150716096 HAS SOUS 103324759 HAS SOUPS 103324759 WITH SCORE 1.03475475096E8
AT ITER 7915 NEW BEST:: SOT 700511496 SOS 150731685 HAS SOPS 150731685 HAS SOUS 103315458 HAS SOUPS 103315458 WITH SCORE 1.03466189685E8
AT ITER 7929 NEW BEST:: SOT 700511496 SOS 150724185 HAS SOPS 150724185 HAS SOUS 103312958 HAS SOUPS 103312958 WITH SCORE 1.03463682185E8
AT ITER 7936 NEW BEST:: SOT 700470238 SOS 150711419 HAS SOPS 150711419 HAS SOUS 103295859 HAS SOUPS 103295859 WITH SCORE 1.03446570419E8
AT ITER 7947 NEW BEST:: SOT 700467793 SOS 150706529 HAS SOPS 150706529 HAS SOUS 103292326 HAS SOUPS 103292326 WITH SCORE 1.03443032529E8
AT ITER 7955 NEW BEST:: SOT 700470432 SOS 150731129 HAS SOPS 150731129 HAS SOUS 103291161 HAS SOUPS 103291161 WITH SCORE 1.03441892129E8
AT ITER 7961 NEW BEST:: SOT 700468186 SOS 150728883 HAS SOPS 150728883 HAS SOUS 103291161 HAS SOUPS 103291161 WITH SCORE 1.03441889883E8
AT ITER 7996 NEW BEST:: SOT 700467302 SOS 150727115 HAS SOPS 150727115 HAS SOUS 103286500 HAS SOUPS 103286500 WITH SCORE 1.03437227115E8
AT ITER 8005 NEW BEST:: SOT 700461041 SOS 150727113 HAS SOPS 150727113 HAS SOUS 103286498 HAS SOUPS 103286498 WITH SCORE 1.03437225113E8
AT ITER 8044 NEW BEST:: SOT 700456909 SOS 150722977 HAS SOPS 150722977 HAS SOUS 103282365 HAS SOUPS 103282365 WITH SCORE 1.03433087977E8
AT ITER 8053 NEW BEST:: SOT 700456908 SOS 150722975 HAS SOPS 150722975 HAS SOUS 103282363 HAS SOUPS 103282363 WITH SCORE 1.03433085975E8
AT ITER 8063 NEW BEST:: SOT 700456777 SOS 150722713 HAS SOPS 150722713 HAS SOUS 103282101 HAS SOUPS 103282101 WITH SCORE 1.03432823713E8
AT ITER 8087 NEW BEST:: SOT 700456777 SOS 150720215 HAS SOPS 150720215 HAS SOUS 103280852 HAS SOUPS 103280852 WITH SCORE 1.03431572215E8
AT ITER 8119 NEW BEST:: SOT 700456496 SOS 150719934 HAS SOPS 150719934 HAS SOUS 103280571 HAS SOUPS 103280571 WITH SCORE 1.03431290934E8
AT ITER 8123 NEW BEST:: SOT 700456496 SOS 150719671 HAS SOPS 150719671 HAS SOUS 103280571 HAS SOUPS 103280571 WITH SCORE 1.03431290671E8
AT ITER 8148 NEW BEST:: SOT 700456495 SOS 150719669 HAS SOPS 150719669 HAS SOUS 103280569 HAS SOUPS 103280569 WITH SCORE 1.03431288669E8
AT ITER 8159 NEW BEST:: SOT 700455648 SOS 150727707 HAS SOPS 150727707 HAS SOUS 103279983 HAS SOUPS 103279983 WITH SCORE 1.03430710707E8
AT ITER 8185 NEW BEST:: SOT 700453661 SOS 150723733 HAS SOPS 150723733 HAS SOUS 103277996 HAS SOUPS 103277996 WITH SCORE 1.03428719733E8
AT ITER 8232 NEW BEST:: SOT 700449809 SOS 150723068 HAS SOPS 150723068 HAS SOUS 103277331 HAS SOUPS 103277331 WITH SCORE 1.03428054068E8
AT ITER 8239 NEW BEST:: SOT 700442030 SOS 150722603 HAS SOPS 150722603 HAS SOUS 103274583 HAS SOUPS 103274583 WITH SCORE 1.03425305603E8
AT ITER 8283 NEW BEST:: SOT 700442029 SOS 150722601 HAS SOPS 150722601 HAS SOUS 103274581 HAS SOUPS 103274581 WITH SCORE 1.03425303601E8
AT ITER 8327 NEW BEST:: SOT 700441769 SOS 150722081 HAS SOPS 150722081 HAS SOUS 103270622 HAS SOUPS 103270622 WITH SCORE 1.03421344081E8
AT ITER 8341 NEW BEST:: SOT 700438449 SOS 150715441 HAS SOPS 150715441 HAS SOUS 103267804 HAS SOUPS 103267804 WITH SCORE 1.03418519441E8
AT ITER 8350 NEW BEST:: SOT 700430598 SOS 150714601 HAS SOPS 150714601 HAS SOUS 103264907 HAS SOUPS 103264907 WITH SCORE 1.03415621601E8
AT ITER 8394 NEW BEST:: SOT 700427230 SOS 150711233 HAS SOPS 150711233 HAS SOUS 103261539 HAS SOUPS 103261539 WITH SCORE 1.03412250233E8
AT ITER 8406 NEW BEST:: SOT 700422956 SOS 150707656 HAS SOPS 150707656 HAS SOUS 103257962 HAS SOUPS 103257962 WITH SCORE 1.03408669656E8
AT ITER 8444 NEW BEST:: SOT 700420248 SOS 150704948 HAS SOPS 150704948 HAS SOUS 103255254 HAS SOUPS 103255254 WITH SCORE 1.03405958948E8
AT ITER 8459 NEW BEST:: SOT 700420225 SOS 150690208 HAS SOPS 150690208 HAS SOUS 103250801 HAS SOUPS 103250801 WITH SCORE 1.03401491208E8
AT ITER 8463 NEW BEST:: SOT 700416541 SOS 150686520 HAS SOPS 150686520 HAS SOUS 103247116 HAS SOUPS 103247116 WITH SCORE 1.0339780252E8
AT ITER 8475 NEW BEST:: SOT 700413540 SOS 150683519 HAS SOPS 150683519 HAS SOUS 103244115 HAS SOUPS 103244115 WITH SCORE 1.03394798519E8
AT ITER 8501 NEW BEST:: SOT 700409505 SOS 150675449 HAS SOPS 150675449 HAS SOUS 103236045 HAS SOUPS 103236045 WITH SCORE 1.03386720449E8
AT ITER 8507 NEW BEST:: SOT 700407192 SOS 150663884 HAS SOPS 150663884 HAS SOUS 103231419 HAS SOUPS 103231419 WITH SCORE 1.03382082884E8
AT ITER 8517 NEW BEST:: SOT 700399120 SOS 150661591 HAS SOPS 150661591 HAS SOUS 103229126 HAS SOUPS 103229126 WITH SCORE 1.03379787591E8
AT ITER 8524 NEW BEST:: SOT 700397396 SOS 150660783 HAS SOPS 150660783 HAS SOUS 103228282 HAS SOUPS 103228282 WITH SCORE 1.03378942783E8
AT ITER 8527 NEW BEST:: SOT 700397101 SOS 150659898 HAS SOPS 150659898 HAS SOUS 103227987 HAS SOUPS 103227987 WITH SCORE 1.03378646898E8
AT ITER 8530 NEW BEST:: SOT 700395811 SOS 150658608 HAS SOPS 150658608 HAS SOUS 103225407 HAS SOUPS 103225407 WITH SCORE 1.03376065608E8
AT ITER 8533 NEW BEST:: SOT 700393181 SOS 150652033 HAS SOPS 150652033 HAS SOUS 103222777 HAS SOUPS 103222777 WITH SCORE 1.03373429033E8
AT ITER 8544 NEW BEST:: SOT 700387851 SOS 150647757 HAS SOPS 150647757 HAS SOUS 103217815 HAS SOUPS 103217815 WITH SCORE 1.03368462757E8
AT ITER 8552 NEW BEST:: SOT 700380818 SOS 150633691 HAS SOPS 150633691 HAS SOUS 103203749 HAS SOUPS 103203749 WITH SCORE 1.03354382691E8
AT ITER 8561 NEW BEST:: SOT 700378232 SOS 150627226 HAS SOPS 150627226 HAS SOUS 103201163 HAS SOUPS 103201163 WITH SCORE 1.03351790226E8
AT ITER 8564 NEW BEST:: SOT 700378231 SOS 150627224 HAS SOPS 150627224 HAS SOUS 103201161 HAS SOUPS 103201161 WITH SCORE 1.03351788224E8
AT ITER 8590 NEW BEST:: SOT 700377802 SOS 150626366 HAS SOPS 150626366 HAS SOUS 103200303 HAS SOUPS 103200303 WITH SCORE 1.03350929366E8
AT ITER 8617 NEW BEST:: SOT 700380547 SOS 150651508 HAS SOPS 150651508 HAS SOUS 103199240 HAS SOUPS 103199240 WITH SCORE 1.03349891508E8
AT ITER 8622 NEW BEST:: SOT 700374530 SOS 150672945 HAS SOPS 150672945 HAS SOUS 103190906 HAS SOUPS 103190906 WITH SCORE 1.03341578945E8
AT ITER 8650 NEW BEST:: SOT 700373281 SOS 150670447 HAS SOPS 150670447 HAS SOUS 103189657 HAS SOUPS 103189657 WITH SCORE 1.03340327447E8
AT ITER 8653 NEW BEST:: SOT 700371516 SOS 150668883 HAS SOPS 150668883 HAS SOUS 103187892 HAS SOUPS 103187892 WITH SCORE 1.03338560883E8
AT ITER 8711 NEW BEST:: SOT 700371516 SOS 150668123 HAS SOPS 150668123 HAS SOUS 103187132 HAS SOUPS 103187132 WITH SCORE 1.03337800123E8
AT ITER 8727 NEW BEST:: SOT 700371516 SOS 150660137 HAS SOPS 150660137 HAS SOUS 103184470 HAS SOUPS 103184470 WITH SCORE 1.03335130137E8
AT ITER 8795 NEW BEST:: SOT 700371516 SOS 150659271 HAS SOPS 150659271 HAS SOUS 103183604 HAS SOUPS 103183604 WITH SCORE 1.03334263271E8
AT ITER 8850 NEW BEST:: SOT 700371516 SOS 150659271 HAS SOPS 150659271 HAS SOUS 103183597 HAS SOUPS 103183597 WITH SCORE 1.03334256271E8
AT ITER 8876 NEW BEST:: SOT 700360223 SOS 150643904 HAS SOPS 150643904 HAS SOUS 103176020 HAS SOUPS 103176020 WITH SCORE 1.03326663904E8
AT ITER 8903 NEW BEST:: SOT 700360223 SOS 150643900 HAS SOPS 150643900 HAS SOUS 103176019 HAS SOUPS 103176019 WITH SCORE 1.033266629E8
AT ITER 8923 NEW BEST:: SOT 700357591 SOS 150642580 HAS SOPS 150642580 HAS SOUS 103174702 HAS SOUPS 103174702 WITH SCORE 1.0332534458E8
AT ITER 8964 NEW BEST:: SOT 700356691 SOS 150640780 HAS SOPS 150640780 HAS SOUS 103172902 HAS SOUPS 103172902 WITH SCORE 1.0332354278E8
AT ITER 8988 NEW BEST:: SOT 700353071 SOS 150638870 HAS SOPS 150638870 HAS SOUS 103170994 HAS SOUPS 103170994 WITH SCORE 1.0332163287E8
AT ITER 9022 NEW BEST:: SOT 700351820 SOS 150637619 HAS SOPS 150637619 HAS SOUS 103169743 HAS SOUPS 103169743 WITH SCORE 1.03320380619E8
AT ITER 9037 NEW BEST:: SOT 700348355 SOS 150634154 HAS SOPS 150634154 HAS SOUS 103166278 HAS SOUPS 103166278 WITH SCORE 1.03316912154E8
AT ITER 9041 NEW BEST:: SOT 700347705 SOS 150632854 HAS SOPS 150632854 HAS SOUS 103162821 HAS SOUPS 103162821 WITH SCORE 1.03313453854E8
AT ITER 9047 NEW BEST:: SOT 700345162 SOS 150648434 HAS SOPS 150648434 HAS SOUS 103159742 HAS SOUPS 103159742 WITH SCORE 1.03310390434E8
AT ITER 9051 NEW BEST:: SOT 700348619 SOS 150655344 HAS SOPS 150655344 HAS SOUS 103159404 HAS SOUPS 103159404 WITH SCORE 1.03310059344E8
AT ITER 9054 NEW BEST:: SOT 700348618 SOS 150654434 HAS SOPS 150654434 HAS SOUS 103158494 HAS SOUPS 103158494 WITH SCORE 1.03309148434E8
AT ITER 9096 NEW BEST:: SOT 700348618 SOS 150653499 HAS SOPS 150653499 HAS SOUS 103158494 HAS SOUPS 103158494 WITH SCORE 1.03309147499E8
AT ITER 9113 NEW BEST:: SOT 700348618 SOS 150650415 HAS SOPS 150650415 HAS SOUS 103157466 HAS SOUPS 103157466 WITH SCORE 1.03308116415E8
AT ITER 9117 NEW BEST:: SOT 700348618 SOS 150650415 HAS SOPS 150650415 HAS SOUS 103156349 HAS SOUPS 103156349 WITH SCORE 1.03306999415E8
AT ITER 9209 NEW BEST:: SOT 700348464 SOS 150650261 HAS SOPS 150650261 HAS SOUS 103156348 HAS SOUPS 103156348 WITH SCORE 1.03306998261E8
AT ITER 9210 NEW BEST:: SOT 700346351 SOS 150646035 HAS SOPS 150646035 HAS SOUS 103152122 HAS SOUPS 103152122 WITH SCORE 1.03302768035E8
AT ITER 9225 NEW BEST:: SOT 700346351 SOS 150646034 HAS SOPS 150646034 HAS SOUS 103152119 HAS SOUPS 103152119 WITH SCORE 1.03302765034E8
AT ITER 9240 NEW BEST:: SOT 700347526 SOS 150648384 HAS SOPS 150648384 HAS SOUS 103146673 HAS SOUPS 103146673 WITH SCORE 1.03297321384E8
AT ITER 9241 NEW BEST:: SOT 700344588 SOS 150645483 HAS SOPS 150645483 HAS SOUS 103140797 HAS SOUPS 103140797 WITH SCORE 1.03291442483E8
AT ITER 9246 NEW BEST:: SOT 700342329 SOS 150640965 HAS SOPS 150640965 HAS SOUS 103138089 HAS SOUPS 103138089 WITH SCORE 1.03288729965E8
AT ITER 9286 NEW BEST:: SOT 700303284 SOS 150670454 HAS SOPS 150670454 HAS SOUS 103130121 HAS SOUPS 103130121 WITH SCORE 1.03280791454E8
AT ITER 9306 NEW BEST:: SOT 700300044 SOS 150667214 HAS SOPS 150667214 HAS SOUS 103126881 HAS SOUPS 103126881 WITH SCORE 1.03277548214E8
AT ITER 9311 NEW BEST:: SOT 700299843 SOS 150666812 HAS SOPS 150666812 HAS SOUS 103126479 HAS SOUPS 103126479 WITH SCORE 1.03277145812E8
AT ITER 9316 NEW BEST:: SOT 700298781 SOS 150664684 HAS SOPS 150664684 HAS SOUS 103124354 HAS SOUPS 103124354 WITH SCORE 1.03275018684E8
AT ITER 9332 NEW BEST:: SOT 700265656 SOS 150722854 HAS SOPS 150722854 HAS SOUS 103122568 HAS SOUPS 103122568 WITH SCORE 1.03273290854E8
AT ITER 9354 NEW BEST:: SOT 700263322 SOS 150721687 HAS SOPS 150721687 HAS SOUS 103121401 HAS SOUPS 103121401 WITH SCORE 1.03272122687E8
AT ITER 9356 NEW BEST:: SOT 700263318 SOS 150721679 HAS SOPS 150721679 HAS SOUS 103121393 HAS SOUPS 103121393 WITH SCORE 1.03272114679E8
AT ITER 9359 NEW BEST:: SOT 700257315 SOS 150742248 HAS SOPS 150742248 HAS SOUS 103113213 HAS SOUPS 103113213 WITH SCORE 1.03263955248E8
AT ITER 9364 NEW BEST:: SOT 700254254 SOS 150739187 HAS SOPS 150739187 HAS SOUS 103110152 HAS SOUPS 103110152 WITH SCORE 1.03260891187E8
AT ITER 9377 NEW BEST:: SOT 700253903 SOS 150738485 HAS SOPS 150738485 HAS SOUS 103109450 HAS SOUPS 103109450 WITH SCORE 1.03260188485E8
AT ITER 9407 NEW BEST:: SOT 700250065 SOS 150730809 HAS SOPS 150730809 HAS SOUS 103100005 HAS SOUPS 103100005 WITH SCORE 1.03250735809E8
AT ITER 9410 NEW BEST:: SOT 700247580 SOS 150729180 HAS SOPS 150729180 HAS SOUS 103097734 HAS SOUPS 103097734 WITH SCORE 1.0324846318E8
AT ITER 9424 NEW BEST:: SOT 700239684 SOS 150721284 HAS SOPS 150721284 HAS SOUS 103089838 HAS SOUPS 103089838 WITH SCORE 1.03240559284E8
AT ITER 9425 NEW BEST:: SOT 700239684 SOS 150732227 HAS SOPS 150732227 HAS SOUS 103086188 HAS SOUPS 103086188 WITH SCORE 1.03236920227E8
AT ITER 9427 NEW BEST:: SOT 700232356 SOS 150724899 HAS SOPS 150724899 HAS SOUS 103078860 HAS SOUPS 103078860 WITH SCORE 1.03229584899E8
AT ITER 9429 NEW BEST:: SOT 700227853 SOS 150715893 HAS SOPS 150715893 HAS SOUS 103069854 HAS SOUPS 103069854 WITH SCORE 1.03220569893E8
AT ITER 9445 NEW BEST:: SOT 700227239 SOS 150714665 HAS SOPS 150714665 HAS SOUS 103068626 HAS SOUPS 103068626 WITH SCORE 1.03219340665E8
AT ITER 9491 NEW BEST:: SOT 700223193 SOS 150709363 HAS SOPS 150709363 HAS SOUS 103064266 HAS SOUPS 103064266 WITH SCORE 1.03214975363E8
AT ITER 9506 NEW BEST:: SOT 700222445 SOS 150707867 HAS SOPS 150707867 HAS SOUS 103059677 HAS SOUPS 103059677 WITH SCORE 1.03210384867E8
AT ITER 9523 NEW BEST:: SOT 700221901 SOS 150707595 HAS SOPS 150707595 HAS SOUS 103059405 HAS SOUPS 103059405 WITH SCORE 1.03210112595E8
AT ITER 9554 NEW BEST:: SOT 700218959 SOS 150710828 HAS SOPS 150710828 HAS SOUS 103053521 HAS SOUPS 103053521 WITH SCORE 1.03204231828E8
AT ITER 9561 NEW BEST:: SOT 700214465 SOS 150688358 HAS SOPS 150688358 HAS SOUS 103044533 HAS SOUPS 103044533 WITH SCORE 1.03195221358E8
AT ITER 9563 NEW BEST:: SOT 700214323 SOS 150688074 HAS SOPS 150688074 HAS SOUS 103044249 HAS SOUPS 103044249 WITH SCORE 1.03194937074E8
AT ITER 9600 NEW BEST:: SOT 700207803 SOS 150684814 HAS SOPS 150684814 HAS SOUS 103040989 HAS SOUPS 103040989 WITH SCORE 1.03191673814E8
AT ITER 9605 NEW BEST:: SOT 700204818 SOS 150684804 HAS SOPS 150684804 HAS SOUS 103039278 HAS SOUPS 103039278 WITH SCORE 1.03189962804E8
AT ITER 9610 NEW BEST:: SOT 700198092 SOS 150684804 HAS SOPS 150684804 HAS SOUS 103032552 HAS SOUPS 103032552 WITH SCORE 1.03183236804E8
AT ITER 9617 NEW BEST:: SOT 700193616 SOS 150681274 HAS SOPS 150681274 HAS SOUS 103029022 HAS SOUPS 103029022 WITH SCORE 1.03179703274E8
AT ITER 9624 NEW BEST:: SOT 700186937 SOS 150673469 HAS SOPS 150673469 HAS SOUS 103019005 HAS SOUPS 103019005 WITH SCORE 1.03169678469E8
AT ITER 9657 NEW BEST:: SOT 700186916 SOS 150673427 HAS SOPS 150673427 HAS SOUS 103018984 HAS SOUPS 103018984 WITH SCORE 1.03169657427E8
AT ITER 9683 NEW BEST:: SOT 700184237 SOS 150670748 HAS SOPS 150670748 HAS SOUS 103016305 HAS SOUPS 103016305 WITH SCORE 1.03166975748E8
AT ITER 9701 NEW BEST:: SOT 700184125 SOS 150670524 HAS SOPS 150670524 HAS SOUS 103016081 HAS SOUPS 103016081 WITH SCORE 1.03166751524E8
AT ITER 9705 NEW BEST:: SOT 700183193 SOS 150672384 HAS SOPS 150672384 HAS SOUS 103015148 HAS SOUPS 103015148 WITH SCORE 1.03165820384E8
AT ITER 9707 NEW BEST:: SOT 700183192 SOS 150672063 HAS SOPS 150672063 HAS SOUS 103014827 HAS SOUPS 103014827 WITH SCORE 1.03165499063E8
AT ITER 9718 NEW BEST:: SOT 700174664 SOS 150663535 HAS SOPS 150663535 HAS SOUS 103006299 HAS SOUPS 103006299 WITH SCORE 1.03156962535E8
AT ITER 9729 NEW BEST:: SOT 700173293 SOS 150662164 HAS SOPS 150662164 HAS SOUS 103006299 HAS SOUPS 103006299 WITH SCORE 1.03156961164E8
AT ITER 9741 NEW BEST:: SOT 700173080 SOS 150661739 HAS SOPS 150661739 HAS SOUS 103005874 HAS SOUPS 103005874 WITH SCORE 1.03156535739E8
AT ITER 9759 NEW BEST:: SOT 700171648 SOS 150658875 HAS SOPS 150658875 HAS SOUS 103000767 HAS SOUPS 103000767 WITH SCORE 1.03151425875E8
AT ITER 9772 NEW BEST:: SOT 700171112 SOS 150659408 HAS SOPS 150659408 HAS SOUS 103000230 HAS SOUPS 103000230 WITH SCORE 1.03150889408E8
AT ITER 9785 NEW BEST:: SOT 700171112 SOS 150658380 HAS SOPS 150658380 HAS SOUS 102999202 HAS SOUPS 102999202 WITH SCORE 1.0314986038E8
AT ITER 9793 NEW BEST:: SOT 700168446 SOS 150661372 HAS SOPS 150661372 HAS SOUS 102998853 HAS SOUPS 102998853 WITH SCORE 1.03149514372E8
AT ITER 9816 NEW BEST:: SOT 700168446 SOS 150656551 HAS SOPS 150656551 HAS SOUS 102997246 HAS SOUPS 102997246 WITH SCORE 1.03147902551E8
AT ITER 9822 NEW BEST:: SOT 700166209 SOS 150652077 HAS SOPS 150652077 HAS SOUS 102991171 HAS SOUPS 102991171 WITH SCORE 1.03141823077E8
AT ITER 9836 NEW BEST:: SOT 700164219 SOS 150648098 HAS SOPS 150648098 HAS SOUS 102987192 HAS SOUPS 102987192 WITH SCORE 1.03137840098E8
AT ITER 9856 NEW BEST:: SOT 700163019 SOS 150648094 HAS SOPS 150648094 HAS SOUS 102987191 HAS SOUPS 102987191 WITH SCORE 1.03137839094E8
AT ITER 9862 NEW BEST:: SOT 700159324 SOS 150644399 HAS SOPS 150644399 HAS SOUS 102983496 HAS SOUPS 102983496 WITH SCORE 1.03134140399E8
AT ITER 9890 NEW BEST:: SOT 700156593 SOS 150661073 HAS SOPS 150661073 HAS SOUS 102981108 HAS SOUPS 102981108 WITH SCORE 1.03131769073E8
AT ITER 9898 NEW BEST:: SOT 700152202 SOS 150652291 HAS SOPS 150652291 HAS SOUS 102976941 HAS SOUPS 102976941 WITH SCORE 1.03127593291E8
AT ITER 9900 NEW BEST:: SOT 700150557 SOS 150649001 HAS SOPS 150649001 HAS SOUS 102972829 HAS SOUPS 102972829 WITH SCORE 1.03123478001E8
AT ITER 9910 NEW BEST:: SOT 700149299 SOS 150646485 HAS SOPS 150646485 HAS SOUS 102970313 HAS SOUPS 102970313 WITH SCORE 1.03120959485E8
AT ITER 9931 NEW BEST:: SOT 700145546 SOS 150638979 HAS SOPS 150638979 HAS SOUS 102962807 HAS SOUPS 102962807 WITH SCORE 1.03113445979E8
AT ITER 9957 NEW BEST:: SOT 700144121 SOS 150637554 HAS SOPS 150637554 HAS SOUS 102961382 HAS SOUPS 102961382 WITH SCORE 1.03112019554E8
AT ITER 9967 NEW BEST:: SOT 700140882 SOS 150634315 HAS SOPS 150634315 HAS SOUS 102958143 HAS SOUPS 102958143 WITH SCORE 1.03108777315E8
AT ITER 9991 NEW BEST:: SOT 700139184 SOS 150646201 HAS SOPS 150646201 HAS SOUS 102956445 HAS SOUPS 102956445 WITH SCORE 1.03107091201E8
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393232 kB
MemFree: 14323792 kB
After kill :
MemTotal: 16393232 kB
MemFree: 16080612 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DLCshifumi-PT-5b"
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 DLCshifumi-PT-5b, 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 r107-tall-167814484800856"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DLCshifumi-PT-5b.tgz
mv DLCshifumi-PT-5b execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;