About the Execution of Smart+red for DLCshifumi-PT-6b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 3827.731 | 3600000.00 | 3687980.00 | 10503.70 | [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-167814484800872.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-6b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r107-tall-167814484800872
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 17M
-rw-r--r-- 1 mcc users 6.6K Feb 26 08:10 CTLCardinality.txt
-rw-r--r-- 1 mcc users 68K Feb 26 08:10 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.1K Feb 26 08:09 CTLFireability.txt
-rw-r--r-- 1 mcc users 43K Feb 26 08:09 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 15:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 15:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 15:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.0K Feb 26 08:12 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 75K Feb 26 08:12 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.5K Feb 26 08:12 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 48K Feb 26 08:12 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 17M 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 1678443318081
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-6b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-10 10:15:19] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-10 10:15:19] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-10 10:15:20] [INFO ] Load time of PNML (sax parser for PT used): 1113 ms
[2023-03-10 10:15:21] [INFO ] Transformed 44243 places.
[2023-03-10 10:15:22] [INFO ] Transformed 66611 transitions.
[2023-03-10 10:15:22] [INFO ] Found NUPN structural information;
[2023-03-10 10:15:23] [INFO ] Parsed PT model containing 44243 places and 66611 transitions and 182532 arcs in 4352 ms.
[2023-03-10 10:15:24] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 44243 places, 66611 transitions and 182532 arcs took 215 ms.
Total runtime 4604 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCshifumi (PT), instance 6b
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: 44243 places, 66611 transitions, 182532 arcs.
AT ITER 0 NEW BEST:: SOT 1935081430 SOS 429295916 HAS SOPS 429295916 HAS SOUS 279310379 HAS SOUPS 279310379 WITH SCORE 2.79739674916E8
AT ITER 4 NEW BEST:: SOT 1935075574 SOS 429290056 HAS SOPS 429290056 HAS SOUS 279304522 HAS SOUPS 279304522 WITH SCORE 2.79733812056E8
AT ITER 9 NEW BEST:: SOT 1935075574 SOS 429290056 HAS SOPS 429290056 HAS SOUS 279304521 HAS SOUPS 279304521 WITH SCORE 2.79733811056E8
AT ITER 89 NEW BEST:: SOT 1935075574 SOS 429290056 HAS SOPS 429290056 HAS SOUS 279304520 HAS SOUPS 279304520 WITH SCORE 2.79733810056E8
AT ITER 93 NEW BEST:: SOT 1935075445 SOS 429289798 HAS SOPS 429289798 HAS SOUS 279301315 HAS SOUPS 279301315 WITH SCORE 2.79730604798E8
AT ITER 98 NEW BEST:: SOT 1935073864 SOS 429292956 HAS SOPS 429292956 HAS SOUS 279299733 HAS SOUPS 279299733 WITH SCORE 2.79729025956E8
AT ITER 109 NEW BEST:: SOT 1935071096 SOS 429301145 HAS SOPS 429301145 HAS SOUS 279296965 HAS SOUPS 279296965 WITH SCORE 2.79726266145E8
AT ITER 113 NEW BEST:: SOT 1935067351 SOS 429293655 HAS SOPS 429293655 HAS SOUS 279289475 HAS SOUPS 279289475 WITH SCORE 2.79718768655E8
AT ITER 127 NEW BEST:: SOT 1935065543 SOS 429290035 HAS SOPS 429290035 HAS SOUS 279285858 HAS SOUPS 279285858 WITH SCORE 2.79715148035E8
AT ITER 231 NEW BEST:: SOT 1935056235 SOS 429280723 HAS SOPS 429280723 HAS SOUS 279276549 HAS SOUPS 279276549 WITH SCORE 2.79705829723E8
AT ITER 242 NEW BEST:: SOT 1935055495 SOS 429279243 HAS SOPS 429279243 HAS SOUS 279272437 HAS SOUPS 279272437 WITH SCORE 2.79701716243E8
AT ITER 247 NEW BEST:: SOT 1935055234 SOS 429278722 HAS SOPS 429278722 HAS SOUS 279271916 HAS SOUPS 279271916 WITH SCORE 2.79701194722E8
AT ITER 259 NEW BEST:: SOT 1935048605 SOS 429275020 HAS SOPS 429275020 HAS SOUS 279268214 HAS SOUPS 279268214 WITH SCORE 2.7969748902E8
AT ITER 275 NEW BEST:: SOT 1935048605 SOS 429274184 HAS SOPS 429274184 HAS SOUS 279267378 HAS SOUPS 279267378 WITH SCORE 2.79696652184E8
AT ITER 291 NEW BEST:: SOT 1935048605 SOS 429274184 HAS SOPS 429274184 HAS SOUS 279259980 HAS SOUPS 279259980 WITH SCORE 2.79689254184E8
AT ITER 292 NEW BEST:: SOT 1935037358 SOS 429265077 HAS SOPS 429265077 HAS SOUS 279249338 HAS SOUPS 279249338 WITH SCORE 2.79678603077E8
AT ITER 363 NEW BEST:: SOT 1935030685 SOS 429259328 HAS SOPS 429259328 HAS SOUS 279243592 HAS SOUPS 279243592 WITH SCORE 2.79672851328E8
AT ITER 383 NEW BEST:: SOT 1935027579 SOS 429253116 HAS SOPS 429253116 HAS SOUS 279241297 HAS SOUPS 279241297 WITH SCORE 2.79670550116E8
AT ITER 393 NEW BEST:: SOT 1935026687 SOS 429253112 HAS SOPS 429253112 HAS SOUS 279240850 HAS SOUPS 279240850 WITH SCORE 2.79670103112E8
AT ITER 394 NEW BEST:: SOT 1935020335 SOS 429246760 HAS SOPS 429246760 HAS SOUS 279234498 HAS SOUPS 279234498 WITH SCORE 2.7966374476E8
AT ITER 399 NEW BEST:: SOT 1935019632 SOS 429245354 HAS SOPS 429245354 HAS SOUS 279233092 HAS SOUPS 279233092 WITH SCORE 2.79662337354E8
AT ITER 429 NEW BEST:: SOT 1935018670 SOS 429246316 HAS SOPS 429246316 HAS SOUS 279232130 HAS SOUPS 279232130 WITH SCORE 2.79661376316E8
AT ITER 484 NEW BEST:: SOT 1935010625 SOS 429238267 HAS SOPS 429238267 HAS SOUS 279224084 HAS SOUPS 279224084 WITH SCORE 2.79653322267E8
AT ITER 491 NEW BEST:: SOT 1934999369 SOS 429227043 HAS SOPS 429227043 HAS SOUS 279222087 HAS SOUPS 279222087 WITH SCORE 2.79651314043E8
AT ITER 512 NEW BEST:: SOT 1934991109 SOS 429210523 HAS SOPS 429210523 HAS SOUS 279205567 HAS SOUPS 279205567 WITH SCORE 2.79634777523E8
AT ITER 517 NEW BEST:: SOT 1934991108 SOS 429210521 HAS SOPS 429210521 HAS SOUS 279205565 HAS SOUPS 279205565 WITH SCORE 2.79634775521E8
AT ITER 568 NEW BEST:: SOT 1934987945 SOS 429204195 HAS SOPS 429204195 HAS SOUS 279199239 HAS SOUPS 279199239 WITH SCORE 2.79628443195E8
AT ITER 616 NEW BEST:: SOT 1934987945 SOS 429204195 HAS SOPS 429204195 HAS SOUS 279199238 HAS SOUPS 279199238 WITH SCORE 2.79628442195E8
AT ITER 641 NEW BEST:: SOT 1934986729 SOS 429202979 HAS SOPS 429202979 HAS SOUS 279198022 HAS SOUPS 279198022 WITH SCORE 2.79627224979E8
AT ITER 720 NEW BEST:: SOT 1934986729 SOS 429200816 HAS SOPS 429200816 HAS SOUS 279195859 HAS SOUPS 279195859 WITH SCORE 2.79625059816E8
AT ITER 722 NEW BEST:: SOT 1934986729 SOS 429200816 HAS SOPS 429200816 HAS SOUS 279195858 HAS SOUPS 279195858 WITH SCORE 2.79625058816E8
AT ITER 731 NEW BEST:: SOT 1934985277 SOS 429199727 HAS SOPS 429199727 HAS SOUS 279195011 HAS SOUPS 279195011 WITH SCORE 2.79624210727E8
AT ITER 738 NEW BEST:: SOT 1934979382 SOS 429193832 HAS SOPS 429193832 HAS SOUS 279189116 HAS SOUPS 279189116 WITH SCORE 2.79618309832E8
AT ITER 740 NEW BEST:: SOT 1934977738 SOS 429190600 HAS SOPS 429190600 HAS SOUS 279179617 HAS SOUPS 279179617 WITH SCORE 2.796088076E8
AT ITER 818 NEW BEST:: SOT 1934920340 SOS 429148856 HAS SOPS 429148856 HAS SOUS 279148309 HAS SOUPS 279148309 WITH SCORE 2.79577457856E8
AT ITER 823 NEW BEST:: SOT 1934915745 SOS 429147818 HAS SOPS 429147818 HAS SOUS 279147271 HAS SOUPS 279147271 WITH SCORE 2.79576418818E8
AT ITER 824 NEW BEST:: SOT 1934915745 SOS 429143404 HAS SOPS 429143404 HAS SOUS 279142857 HAS SOUPS 279142857 WITH SCORE 2.79572000404E8
AT ITER 826 NEW BEST:: SOT 1934915745 SOS 429135109 HAS SOPS 429135109 HAS SOUS 279140092 HAS SOUPS 279140092 WITH SCORE 2.79569227109E8
AT ITER 833 NEW BEST:: SOT 1934903609 SOS 429124463 HAS SOPS 429124463 HAS SOUS 279128229 HAS SOUPS 279128229 WITH SCORE 2.79557353463E8
AT ITER 840 NEW BEST:: SOT 1934901406 SOS 429120053 HAS SOPS 429120053 HAS SOUS 279123822 HAS SOUPS 279123822 WITH SCORE 2.79552942053E8
AT ITER 843 NEW BEST:: SOT 1934901406 SOS 429118140 HAS SOPS 429118140 HAS SOUS 279123822 HAS SOUPS 279123822 WITH SCORE 2.7955294014E8
AT ITER 867 NEW BEST:: SOT 1934896305 SOS 429107938 HAS SOPS 429107938 HAS SOUS 279110658 HAS SOUPS 279110658 WITH SCORE 2.79539765938E8
AT ITER 873 NEW BEST:: SOT 1934896305 SOS 429098962 HAS SOPS 429098962 HAS SOUS 279107666 HAS SOUPS 279107666 WITH SCORE 2.79536764962E8
AT ITER 884 NEW BEST:: SOT 1934891525 SOS 429089402 HAS SOPS 429089402 HAS SOUS 279098106 HAS SOUPS 279098106 WITH SCORE 2.79527195402E8
AT ITER 891 NEW BEST:: SOT 1934886414 SOS 429086754 HAS SOPS 429086754 HAS SOUS 279094228 HAS SOUPS 279094228 WITH SCORE 2.79523314754E8
AT ITER 912 NEW BEST:: SOT 1934879852 SOS 429080188 HAS SOPS 429080188 HAS SOUS 279087665 HAS SOUPS 279087665 WITH SCORE 2.79516745188E8
AT ITER 940 NEW BEST:: SOT 1934879852 SOS 429088017 HAS SOPS 429088017 HAS SOUS 279086793 HAS SOUPS 279086793 WITH SCORE 2.79515881017E8
AT ITER 949 NEW BEST:: SOT 1934871685 SOS 429079846 HAS SOPS 429079846 HAS SOUS 279078625 HAS SOUPS 279078625 WITH SCORE 2.79507704846E8
AT ITER 974 NEW BEST:: SOT 1934867613 SOS 429081990 HAS SOPS 429081990 HAS SOUS 279078533 HAS SOUPS 279078533 WITH SCORE 2.7950761499E8
AT ITER 975 NEW BEST:: SOT 1934867613 SOS 429078234 HAS SOPS 429078234 HAS SOUS 279077281 HAS SOUPS 279077281 WITH SCORE 2.79506359234E8
AT ITER 1000 NEW BEST:: SOT 1934866592 SOS 429076192 HAS SOPS 429076192 HAS SOUS 279075239 HAS SOUPS 279075239 WITH SCORE 2.79504315192E8
AT ITER 1007 NEW BEST:: SOT 1934858430 SOS 429035382 HAS SOPS 429035382 HAS SOUS 279058915 HAS SOUPS 279058915 WITH SCORE 2.79487950382E8
AT ITER 1020 NEW BEST:: SOT 1934852114 SOS 429029066 HAS SOPS 429029066 HAS SOUS 279052599 HAS SOUPS 279052599 WITH SCORE 2.79481628066E8
AT ITER 1031 NEW BEST:: SOT 1934852114 SOS 429020486 HAS SOPS 429020486 HAS SOUS 279049739 HAS SOUPS 279049739 WITH SCORE 2.79478759486E8
AT ITER 1077 NEW BEST:: SOT 1934839970 SOS 429020924 HAS SOPS 429020924 HAS SOUS 279049236 HAS SOUPS 279049236 WITH SCORE 2.79478256924E8
AT ITER 1085 NEW BEST:: SOT 1934837684 SOS 429022302 HAS SOPS 429022302 HAS SOUS 279044664 HAS SOUPS 279044664 WITH SCORE 2.79473686302E8
AT ITER 1115 NEW BEST:: SOT 1934829716 SOS 429030270 HAS SOPS 429030270 HAS SOUS 279033569 HAS SOUPS 279033569 WITH SCORE 2.7946259927E8
AT ITER 1139 NEW BEST:: SOT 1934826969 SOS 429024776 HAS SOPS 429024776 HAS SOUS 279032226 HAS SOUPS 279032226 WITH SCORE 2.79461250776E8
AT ITER 1149 NEW BEST:: SOT 1934821925 SOS 429024248 HAS SOPS 429024248 HAS SOUS 279031701 HAS SOUPS 279031701 WITH SCORE 2.79460725248E8
AT ITER 1184 NEW BEST:: SOT 1934821925 SOS 429024248 HAS SOPS 429024248 HAS SOUS 279031700 HAS SOUPS 279031700 WITH SCORE 2.79460724248E8
AT ITER 1200 NEW BEST:: SOT 1934816457 SOS 429062524 HAS SOPS 429062524 HAS SOUS 279026232 HAS SOUPS 279026232 WITH SCORE 2.79455294524E8
AT ITER 1203 NEW BEST:: SOT 1934810207 SOS 429050024 HAS SOPS 429050024 HAS SOUS 279013732 HAS SOUPS 279013732 WITH SCORE 2.79442782024E8
AT ITER 1218 NEW BEST:: SOT 1934809203 SOS 429048016 HAS SOPS 429048016 HAS SOUS 279011724 HAS SOUPS 279011724 WITH SCORE 2.79440772016E8
AT ITER 1225 NEW BEST:: SOT 1934799804 SOS 429029218 HAS SOPS 429029218 HAS SOUS 278995162 HAS SOUPS 278995162 WITH SCORE 2.79424191218E8
AT ITER 1249 NEW BEST:: SOT 1934799804 SOS 429029218 HAS SOPS 429029218 HAS SOUS 278995161 HAS SOUPS 278995161 WITH SCORE 2.79424190218E8
AT ITER 1275 NEW BEST:: SOT 1934797210 SOS 429034402 HAS SOPS 429034402 HAS SOUS 278992566 HAS SOUPS 278992566 WITH SCORE 2.79421600402E8
AT ITER 1277 NEW BEST:: SOT 1934792387 SOS 429059463 HAS SOPS 429059463 HAS SOUS 278986873 HAS SOUPS 278986873 WITH SCORE 2.79415932463E8
AT ITER 1320 NEW BEST:: SOT 1934791127 SOS 429056943 HAS SOPS 429056943 HAS SOUS 278981730 HAS SOUPS 278981730 WITH SCORE 2.79410786943E8
AT ITER 1331 NEW BEST:: SOT 1934789837 SOS 429055653 HAS SOPS 429055653 HAS SOUS 278981729 HAS SOUPS 278981729 WITH SCORE 2.79410784653E8
AT ITER 1350 NEW BEST:: SOT 1934789837 SOS 429055653 HAS SOPS 429055653 HAS SOUS 278971012 HAS SOUPS 278971012 WITH SCORE 2.79400067653E8
AT ITER 1356 NEW BEST:: SOT 1934778416 SOS 429032811 HAS SOPS 429032811 HAS SOUS 278948170 HAS SOUPS 278948170 WITH SCORE 2.79377202811E8
AT ITER 1359 NEW BEST:: SOT 1934775751 SOS 429030146 HAS SOPS 429030146 HAS SOUS 278942840 HAS SOUPS 278942840 WITH SCORE 2.79371870146E8
AT ITER 1437 NEW BEST:: SOT 1934775751 SOS 429020153 HAS SOPS 429020153 HAS SOUS 278939509 HAS SOUPS 278939509 WITH SCORE 2.79368529153E8
AT ITER 1444 NEW BEST:: SOT 1934771709 SOS 429018132 HAS SOPS 429018132 HAS SOUS 278937488 HAS SOUPS 278937488 WITH SCORE 2.79366506132E8
AT ITER 1463 NEW BEST:: SOT 1934768486 SOS 429015788 HAS SOPS 429015788 HAS SOUS 278935730 HAS SOUPS 278935730 WITH SCORE 2.79364745788E8
AT ITER 1490 NEW BEST:: SOT 1934758399 SOS 429005697 HAS SOPS 429005697 HAS SOUS 278925642 HAS SOUPS 278925642 WITH SCORE 2.79354647697E8
AT ITER 1504 NEW BEST:: SOT 1934758399 SOS 428995349 HAS SOPS 428995349 HAS SOUS 278925641 HAS SOUPS 278925641 WITH SCORE 2.79354636349E8
AT ITER 1512 NEW BEST:: SOT 1934758398 SOS 428995347 HAS SOPS 428995347 HAS SOUS 278925639 HAS SOUPS 278925639 WITH SCORE 2.79354634347E8
AT ITER 1528 NEW BEST:: SOT 1934749094 SOS 428993275 HAS SOPS 428993275 HAS SOUS 278923567 HAS SOUPS 278923567 WITH SCORE 2.79352560275E8
AT ITER 1558 NEW BEST:: SOT 1934744133 SOS 428983353 HAS SOPS 428983353 HAS SOUS 278910599 HAS SOUPS 278910599 WITH SCORE 2.79339582353E8
AT ITER 1582 NEW BEST:: SOT 1934738023 SOS 428977239 HAS SOPS 428977239 HAS SOUS 278904488 HAS SOUPS 278904488 WITH SCORE 2.79333465239E8
AT ITER 1623 NEW BEST:: SOT 1934731405 SOS 428946352 HAS SOPS 428946352 HAS SOUS 278893284 HAS SOUPS 278893284 WITH SCORE 2.79322230352E8
AT ITER 1634 NEW BEST:: SOT 1934722160 SOS 428937107 HAS SOPS 428937107 HAS SOUS 278884039 HAS SOUPS 278884039 WITH SCORE 2.79312976107E8
AT ITER 1635 NEW BEST:: SOT 1934718247 SOS 428929281 HAS SOPS 428929281 HAS SOUS 278880126 HAS SOUPS 278880126 WITH SCORE 2.79309055281E8
AT ITER 1640 NEW BEST:: SOT 1934718246 SOS 428922384 HAS SOPS 428922384 HAS SOUS 278873229 HAS SOUPS 278873229 WITH SCORE 2.79302151384E8
AT ITER 1658 NEW BEST:: SOT 1933664484 SOS 430690401 HAS SOPS 430690401 HAS SOUS 277855507 HAS SOUPS 277855507 WITH SCORE 2.78286197401E8
AT ITER 1752 NEW BEST:: SOT 1933662221 SOS 430685875 HAS SOPS 430685875 HAS SOUS 277849166 HAS SOUPS 277849166 WITH SCORE 2.78279851875E8
AT ITER 1801 NEW BEST:: SOT 1933659278 SOS 430679989 HAS SOPS 430679989 HAS SOUS 277838437 HAS SOUPS 277838437 WITH SCORE 2.78269116989E8
AT ITER 1815 NEW BEST:: SOT 1933659278 SOS 430679989 HAS SOPS 430679989 HAS SOUS 277838436 HAS SOUPS 277838436 WITH SCORE 2.78269115989E8
AT ITER 1816 NEW BEST:: SOT 1933657872 SOS 430677178 HAS SOPS 430677178 HAS SOUS 277835625 HAS SOUPS 277835625 WITH SCORE 2.78266302178E8
AT ITER 1834 NEW BEST:: SOT 1933657872 SOS 430641672 HAS SOPS 430641672 HAS SOUS 277831672 HAS SOUPS 277831672 WITH SCORE 2.78262313672E8
AT ITER 1858 NEW BEST:: SOT 1933655517 SOS 430636963 HAS SOPS 430636963 HAS SOUS 277826963 HAS SOUPS 277826963 WITH SCORE 2.78257599963E8
AT ITER 1873 NEW BEST:: SOT 1933655517 SOS 430629715 HAS SOPS 430629715 HAS SOUS 277825152 HAS SOUPS 277825152 WITH SCORE 2.78255781715E8
AT ITER 1899 NEW BEST:: SOT 1933657361 SOS 430633403 HAS SOPS 430633403 HAS SOUS 277824011 HAS SOUPS 277824011 WITH SCORE 2.78254644403E8
AT ITER 1924 NEW BEST:: SOT 1933655457 SOS 430629595 HAS SOPS 430629595 HAS SOUS 277822593 HAS SOUPS 277822593 WITH SCORE 2.78253222595E8
AT ITER 1929 NEW BEST:: SOT 1933648763 SOS 430644059 HAS SOPS 430644059 HAS SOUS 277817193 HAS SOUPS 277817193 WITH SCORE 2.78247837059E8
AT ITER 1954 NEW BEST:: SOT 1933648763 SOS 430629761 HAS SOPS 430629761 HAS SOUS 277817193 HAS SOUPS 277817193 WITH SCORE 2.78247822761E8
AT ITER 1964 NEW BEST:: SOT 1933641180 SOS 430622174 HAS SOPS 430622174 HAS SOUS 277809609 HAS SOUPS 277809609 WITH SCORE 2.78240231174E8
AT ITER 1966 NEW BEST:: SOT 1933589069 SOS 430641626 HAS SOPS 430641626 HAS SOUS 277808875 HAS SOUPS 277808875 WITH SCORE 2.78239516626E8
AT ITER 1981 NEW BEST:: SOT 1933576331 SOS 430632362 HAS SOPS 430632362 HAS SOUS 277801927 HAS SOUPS 277801927 WITH SCORE 2.78232559362E8
AT ITER 2015 NEW BEST:: SOT 1933576331 SOS 430632362 HAS SOPS 430632362 HAS SOUS 277801301 HAS SOUPS 277801301 WITH SCORE 2.78231933362E8
AT ITER 2027 NEW BEST:: SOT 1933571358 SOS 430627389 HAS SOPS 430627389 HAS SOUS 277796328 HAS SOUPS 277796328 WITH SCORE 2.78226955389E8
AT ITER 2031 NEW BEST:: SOT 1933566933 SOS 430618539 HAS SOPS 430618539 HAS SOUS 277787478 HAS SOUPS 277787478 WITH SCORE 2.78218096539E8
AT ITER 2039 NEW BEST:: SOT 1933560866 SOS 430635052 HAS SOPS 430635052 HAS SOUS 277779925 HAS SOUPS 277779925 WITH SCORE 2.78210560052E8
AT ITER 2088 NEW BEST:: SOT 1933554721 SOS 430629449 HAS SOPS 430629449 HAS SOUS 277774325 HAS SOUPS 277774325 WITH SCORE 2.78204954449E8
AT ITER 2124 NEW BEST:: SOT 1933548176 SOS 430623694 HAS SOPS 430623694 HAS SOUS 277768570 HAS SOUPS 277768570 WITH SCORE 2.78199193694E8
AT ITER 2144 NEW BEST:: SOT 1933542039 SOS 430619263 HAS SOPS 430619263 HAS SOUS 277764142 HAS SOUPS 277764142 WITH SCORE 2.78194761263E8
AT ITER 2145 NEW BEST:: SOT 1933537558 SOS 430610301 HAS SOPS 430610301 HAS SOUS 277755180 HAS SOUPS 277755180 WITH SCORE 2.78185790301E8
AT ITER 2159 NEW BEST:: SOT 1933528120 SOS 430600863 HAS SOPS 430600863 HAS SOUS 277745742 HAS SOUPS 277745742 WITH SCORE 2.78176342863E8
AT ITER 2161 NEW BEST:: SOT 1933521414 SOS 430595294 HAS SOPS 430595294 HAS SOUS 277739348 HAS SOUPS 277739348 WITH SCORE 2.78169943294E8
AT ITER 2190 NEW BEST:: SOT 1933514776 SOS 430588656 HAS SOPS 430588656 HAS SOUS 277732710 HAS SOUPS 277732710 WITH SCORE 2.78163298656E8
AT ITER 2197 NEW BEST:: SOT 1933511711 SOS 430594782 HAS SOPS 430594782 HAS SOUS 277729644 HAS SOUPS 277729644 WITH SCORE 2.78160238782E8
AT ITER 2198 NEW BEST:: SOT 1933506347 SOS 430592100 HAS SOPS 430592100 HAS SOUS 277724280 HAS SOUPS 277724280 WITH SCORE 2.781548721E8
AT ITER 2219 NEW BEST:: SOT 1933506346 SOS 430592098 HAS SOPS 430592098 HAS SOUS 277724279 HAS SOUPS 277724279 WITH SCORE 2.78154871098E8
AT ITER 2225 NEW BEST:: SOT 1933506346 SOS 430589578 HAS SOPS 430589578 HAS SOUS 277724279 HAS SOUPS 277724279 WITH SCORE 2.78154868578E8
AT ITER 2227 NEW BEST:: SOT 1933497165 SOS 430543673 HAS SOPS 430543673 HAS SOUS 277705917 HAS SOUPS 277705917 WITH SCORE 2.78136460673E8
AT ITER 2237 NEW BEST:: SOT 1933497165 SOS 430535054 HAS SOPS 430535054 HAS SOUS 277703044 HAS SOUPS 277703044 WITH SCORE 2.78133579054E8
AT ITER 2243 NEW BEST:: SOT 1933490990 SOS 430522704 HAS SOPS 430522704 HAS SOUS 277697551 HAS SOUPS 277697551 WITH SCORE 2.78128073704E8
AT ITER 2277 NEW BEST:: SOT 1933479533 SOS 430497364 HAS SOPS 430497364 HAS SOUS 277665635 HAS SOUPS 277665635 WITH SCORE 2.78096132364E8
AT ITER 2280 NEW BEST:: SOT 1933479532 SOS 430493145 HAS SOPS 430493145 HAS SOUS 277661416 HAS SOUPS 277661416 WITH SCORE 2.78091909145E8
AT ITER 2316 NEW BEST:: SOT 1933474987 SOS 430488596 HAS SOPS 430488596 HAS SOUS 277656870 HAS SOUPS 277656870 WITH SCORE 2.78087358596E8
AT ITER 2328 NEW BEST:: SOT 1933471265 SOS 430481152 HAS SOPS 430481152 HAS SOUS 277645314 HAS SOUPS 277645314 WITH SCORE 2.78075795152E8
AT ITER 2330 NEW BEST:: SOT 1933466440 SOS 430471502 HAS SOPS 430471502 HAS SOUS 277640488 HAS SOUPS 277640488 WITH SCORE 2.78070959502E8
AT ITER 2336 NEW BEST:: SOT 1933458400 SOS 430479704 HAS SOPS 430479704 HAS SOUS 277628993 HAS SOUPS 277628993 WITH SCORE 2.78059472704E8
AT ITER 2341 NEW BEST:: SOT 1933455317 SOS 430473538 HAS SOPS 430473538 HAS SOUS 277622827 HAS SOUPS 277622827 WITH SCORE 2.78053300538E8
AT ITER 2342 NEW BEST:: SOT 1933451543 SOS 430465990 HAS SOPS 430465990 HAS SOUS 277615279 HAS SOUPS 277615279 WITH SCORE 2.7804574499E8
AT ITER 2345 NEW BEST:: SOT 1933448845 SOS 430471382 HAS SOPS 430471382 HAS SOUS 277612580 HAS SOUPS 277612580 WITH SCORE 2.78043051382E8
AT ITER 2364 NEW BEST:: SOT 1933440208 SOS 430462741 HAS SOPS 430462741 HAS SOUS 277603942 HAS SOUPS 277603942 WITH SCORE 2.78034404741E8
AT ITER 2403 NEW BEST:: SOT 1933440208 SOS 430462741 HAS SOPS 430462741 HAS SOUS 277603941 HAS SOUPS 277603941 WITH SCORE 2.78034403741E8
AT ITER 2429 NEW BEST:: SOT 1933440208 SOS 430459084 HAS SOPS 430459084 HAS SOUS 277602722 HAS SOUPS 277602722 WITH SCORE 2.78033181084E8
AT ITER 2446 NEW BEST:: SOT 1933442419 SOS 430463506 HAS SOPS 430463506 HAS SOUS 277601019 HAS SOUPS 277601019 WITH SCORE 2.78031482506E8
AT ITER 2459 NEW BEST:: SOT 1933441700 SOS 430462068 HAS SOPS 430462068 HAS SOUS 277599581 HAS SOUPS 277599581 WITH SCORE 2.78030043068E8
AT ITER 2478 NEW BEST:: SOT 1933441658 SOS 430461984 HAS SOPS 430461984 HAS SOUS 277599497 HAS SOUPS 277599497 WITH SCORE 2.78029958984E8
AT ITER 2493 NEW BEST:: SOT 1933433557 SOS 430453883 HAS SOPS 430453883 HAS SOUS 277591393 HAS SOUPS 277591393 WITH SCORE 2.78021846883E8
AT ITER 2540 NEW BEST:: SOT 1933430312 SOS 430447393 HAS SOPS 430447393 HAS SOUS 277584903 HAS SOUPS 277584903 WITH SCORE 2.78015350393E8
AT ITER 2542 NEW BEST:: SOT 1933428614 SOS 430446371 HAS SOPS 430446371 HAS SOUS 277583881 HAS SOUPS 277583881 WITH SCORE 2.78014327371E8
AT ITER 2587 NEW BEST:: SOT 1933421278 SOS 430439338 HAS SOPS 430439338 HAS SOUS 277576545 HAS SOUPS 277576545 WITH SCORE 2.78006984338E8
AT ITER 2597 NEW BEST:: SOT 1933419446 SOS 430435674 HAS SOPS 430435674 HAS SOUS 277572881 HAS SOUPS 277572881 WITH SCORE 2.78003316674E8
AT ITER 2598 NEW BEST:: SOT 1933414595 SOS 430430823 HAS SOPS 430430823 HAS SOUS 277568030 HAS SOUPS 277568030 WITH SCORE 2.77998460823E8
AT ITER 2609 NEW BEST:: SOT 1933414594 SOS 430430821 HAS SOPS 430430821 HAS SOUS 277568028 HAS SOUPS 277568028 WITH SCORE 2.77998458821E8
AT ITER 2616 NEW BEST:: SOT 1933414594 SOS 430429282 HAS SOPS 430429282 HAS SOUS 277568028 HAS SOUPS 277568028 WITH SCORE 2.77998457282E8
AT ITER 2648 NEW BEST:: SOT 1933362898 SOS 430444846 HAS SOPS 430444846 HAS SOUS 277566062 HAS SOUPS 277566062 WITH SCORE 2.77996506846E8
AT ITER 2662 NEW BEST:: SOT 1933358688 SOS 430449053 HAS SOPS 430449053 HAS SOUS 277561851 HAS SOUPS 277561851 WITH SCORE 2.77992300053E8
AT ITER 2666 NEW BEST:: SOT 1933357551 SOS 430446779 HAS SOPS 430446779 HAS SOUS 277559577 HAS SOUPS 277559577 WITH SCORE 2.77990023779E8
AT ITER 2699 NEW BEST:: SOT 1933351606 SOS 430441410 HAS SOPS 430441410 HAS SOUS 277554208 HAS SOUPS 277554208 WITH SCORE 2.7798464941E8
AT ITER 2723 NEW BEST:: SOT 1933349457 SOS 430437112 HAS SOPS 430437112 HAS SOUS 277552058 HAS SOUPS 277552058 WITH SCORE 2.77982495112E8
AT ITER 2724 NEW BEST:: SOT 1933343519 SOS 430425236 HAS SOPS 430425236 HAS SOUS 277540182 HAS SOUPS 277540182 WITH SCORE 2.77970607236E8
AT ITER 2784 NEW BEST:: SOT 1933330040 SOS 430422929 HAS SOPS 430422929 HAS SOUS 277534920 HAS SOUPS 277534920 WITH SCORE 2.77965342929E8
AT ITER 2816 NEW BEST:: SOT 1933317905 SOS 430394497 HAS SOPS 430394497 HAS SOUS 277503334 HAS SOUPS 277503334 WITH SCORE 2.77933728497E8
AT ITER 2818 NEW BEST:: SOT 1933311319 SOS 430389297 HAS SOPS 430389297 HAS SOUS 277498137 HAS SOUPS 277498137 WITH SCORE 2.77928526297E8
AT ITER 2824 NEW BEST:: SOT 1933310585 SOS 430387829 HAS SOPS 430387829 HAS SOUS 277496669 HAS SOUPS 277496669 WITH SCORE 2.77927056829E8
AT ITER 2830 NEW BEST:: SOT 1933310585 SOS 430385287 HAS SOPS 430385287 HAS SOUS 277496669 HAS SOUPS 277496669 WITH SCORE 2.77927054287E8
AT ITER 2837 NEW BEST:: SOT 1933308289 SOS 430401359 HAS SOPS 430401359 HAS SOUS 277494373 HAS SOUPS 277494373 WITH SCORE 2.77924774359E8
AT ITER 2863 NEW BEST:: SOT 1933306693 SOS 430411726 HAS SOPS 430411726 HAS SOUS 277485201 HAS SOUPS 277485201 WITH SCORE 2.77915612726E8
AT ITER 2874 NEW BEST:: SOT 1933302105 SOS 430402550 HAS SOPS 430402550 HAS SOUS 277476025 HAS SOUPS 277476025 WITH SCORE 2.7790642755E8
AT ITER 2895 NEW BEST:: SOT 1933298320 SOS 430406335 HAS SOPS 430406335 HAS SOUS 277472240 HAS SOUPS 277472240 WITH SCORE 2.77902646335E8
AT ITER 2907 NEW BEST:: SOT 1933295871 SOS 430413965 HAS SOPS 430413965 HAS SOUS 277469791 HAS SOUPS 277469791 WITH SCORE 2.77900204965E8
AT ITER 2919 NEW BEST:: SOT 1933285714 SOS 430403804 HAS SOPS 430403804 HAS SOUS 277459633 HAS SOUPS 277459633 WITH SCORE 2.77890036804E8
AT ITER 2939 NEW BEST:: SOT 1933279108 SOS 430397453 HAS SOPS 430397453 HAS SOUS 277453285 HAS SOUPS 277453285 WITH SCORE 2.77883682453E8
AT ITER 2952 NEW BEST:: SOT 1933274779 SOS 430401775 HAS SOPS 430401775 HAS SOUS 277448954 HAS SOUPS 277448954 WITH SCORE 2.77879355775E8
AT ITER 3018 NEW BEST:: SOT 1933272343 SOS 430396903 HAS SOPS 430396903 HAS SOUS 277438481 HAS SOUPS 277438481 WITH SCORE 2.77868877903E8
AT ITER 3019 NEW BEST:: SOT 1933272343 SOS 430396903 HAS SOPS 430396903 HAS SOUS 277437423 HAS SOUPS 277437423 WITH SCORE 2.77867819903E8
AT ITER 3022 NEW BEST:: SOT 1933268810 SOS 430393366 HAS SOPS 430393366 HAS SOUS 277433889 HAS SOUPS 277433889 WITH SCORE 2.77864282366E8
AT ITER 3028 NEW BEST:: SOT 1933262125 SOS 430379996 HAS SOPS 430379996 HAS SOUS 277420519 HAS SOUPS 277420519 WITH SCORE 2.77850898996E8
AT ITER 3038 NEW BEST:: SOT 1933247137 SOS 430372559 HAS SOPS 430372559 HAS SOUS 277413044 HAS SOUPS 277413044 WITH SCORE 2.77843416559E8
AT ITER 3041 NEW BEST:: SOT 1933244711 SOS 430367707 HAS SOPS 430367707 HAS SOUS 277408192 HAS SOUPS 277408192 WITH SCORE 2.77838559707E8
AT ITER 3049 NEW BEST:: SOT 1933244711 SOS 430367707 HAS SOPS 430367707 HAS SOUS 277396853 HAS SOUPS 277396853 WITH SCORE 2.77827220707E8
AT ITER 3053 NEW BEST:: SOT 1933236703 SOS 430385854 HAS SOPS 430385854 HAS SOUS 277380836 HAS SOUPS 277380836 WITH SCORE 2.77811221854E8
AT ITER 3062 NEW BEST:: SOT 1933230390 SOS 430379537 HAS SOPS 430379537 HAS SOUS 277374522 HAS SOUPS 277374522 WITH SCORE 2.77804901537E8
AT ITER 3087 NEW BEST:: SOT 1933229072 SOS 430378989 HAS SOPS 430378989 HAS SOUS 277373900 HAS SOUPS 277373900 WITH SCORE 2.77804278989E8
AT ITER 3100 NEW BEST:: SOT 1933230286 SOS 430377711 HAS SOPS 430377711 HAS SOUS 277372622 HAS SOUPS 277372622 WITH SCORE 2.77802999711E8
AT ITER 3107 NEW BEST:: SOT 1933221894 SOS 430335751 HAS SOPS 430335751 HAS SOUS 277355838 HAS SOUPS 277355838 WITH SCORE 2.77786173751E8
AT ITER 3131 NEW BEST:: SOT 1933221894 SOS 430351482 HAS SOPS 430351482 HAS SOUS 277350592 HAS SOUPS 277350592 WITH SCORE 2.77780943482E8
AT ITER 3159 NEW BEST:: SOT 1933213164 SOS 430342748 HAS SOPS 430342748 HAS SOUS 277341861 HAS SOUPS 277341861 WITH SCORE 2.77772203748E8
AT ITER 3171 NEW BEST:: SOT 1933201681 SOS 430319232 HAS SOPS 430319232 HAS SOUS 277308527 HAS SOUPS 277308527 WITH SCORE 2.77738846232E8
AT ITER 3174 NEW BEST:: SOT 1933199235 SOS 430315563 HAS SOPS 430315563 HAS SOUS 277306081 HAS SOUPS 277306081 WITH SCORE 2.77736396563E8
AT ITER 3192 NEW BEST:: SOT 1933196494 SOS 430323702 HAS SOPS 430323702 HAS SOUS 277295161 HAS SOUPS 277295161 WITH SCORE 2.77725484702E8
AT ITER 3196 NEW BEST:: SOT 1933194911 SOS 430320536 HAS SOPS 430320536 HAS SOUS 277293577 HAS SOUPS 277293577 WITH SCORE 2.77723897536E8
AT ITER 3226 NEW BEST:: SOT 1933189065 SOS 430308844 HAS SOPS 430308844 HAS SOUS 277277074 HAS SOUPS 277277074 WITH SCORE 2.77707382844E8
AT ITER 3227 NEW BEST:: SOT 1933185031 SOS 430300776 HAS SOPS 430300776 HAS SOUS 277269006 HAS SOUPS 277269006 WITH SCORE 2.77699306776E8
AT ITER 3234 NEW BEST:: SOT 1933185030 SOS 430300774 HAS SOPS 430300774 HAS SOUS 277269004 HAS SOUPS 277269004 WITH SCORE 2.77699304774E8
AT ITER 3281 NEW BEST:: SOT 1933182045 SOS 430294804 HAS SOPS 430294804 HAS SOUS 277263034 HAS SOUPS 277263034 WITH SCORE 2.77693328804E8
AT ITER 3308 NEW BEST:: SOT 1933182045 SOS 430296028 HAS SOPS 430296028 HAS SOUS 277263032 HAS SOUPS 277263032 WITH SCORE 2.77693328028E8
AT ITER 3311 NEW BEST:: SOT 1933182045 SOS 430296028 HAS SOPS 430296028 HAS SOUS 277249591 HAS SOUPS 277249591 WITH SCORE 2.77679887028E8
AT ITER 3320 NEW BEST:: SOT 1933182045 SOS 430308294 HAS SOPS 430308294 HAS SOUS 277248666 HAS SOUPS 277248666 WITH SCORE 2.77678974294E8
AT ITER 3396 NEW BEST:: SOT 1933172062 SOS 430298307 HAS SOPS 430298307 HAS SOUS 277238682 HAS SOUPS 277238682 WITH SCORE 2.77668980307E8
AT ITER 3402 NEW BEST:: SOT 1933171949 SOS 430298081 HAS SOPS 430298081 HAS SOUS 277234480 HAS SOUPS 277234480 WITH SCORE 2.77664778081E8
AT ITER 3419 NEW BEST:: SOT 1933115554 SOS 430259981 HAS SOPS 430259981 HAS SOUS 277204969 HAS SOUPS 277204969 WITH SCORE 2.77635228981E8
AT ITER 3442 NEW BEST:: SOT 1933115554 SOS 430259789 HAS SOPS 430259789 HAS SOUS 277204969 HAS SOUPS 277204969 WITH SCORE 2.77635228789E8
AT ITER 3457 NEW BEST:: SOT 1933112071 SOS 430252823 HAS SOPS 430252823 HAS SOUS 277198003 HAS SOUPS 277198003 WITH SCORE 2.77628255823E8
AT ITER 3486 NEW BEST:: SOT 1933101238 SOS 430231157 HAS SOPS 430231157 HAS SOUS 277176337 HAS SOUPS 277176337 WITH SCORE 2.77606568157E8
AT ITER 3489 NEW BEST:: SOT 1933101238 SOS 430239541 HAS SOPS 430239541 HAS SOUS 277173540 HAS SOUPS 277173540 WITH SCORE 2.77603779541E8
AT ITER 3506 NEW BEST:: SOT 1933099722 SOS 430236509 HAS SOPS 430236509 HAS SOUS 277170508 HAS SOUPS 277170508 WITH SCORE 2.77600744509E8
AT ITER 3508 NEW BEST:: SOT 1933092173 SOS 430243613 HAS SOPS 430243613 HAS SOUS 277166197 HAS SOUPS 277166197 WITH SCORE 2.77596440613E8
AT ITER 3537 NEW BEST:: SOT 1933084998 SOS 430236434 HAS SOPS 430236434 HAS SOUS 277159021 HAS SOUPS 277159021 WITH SCORE 2.77589257434E8
AT ITER 3568 NEW BEST:: SOT 1933078929 SOS 430230365 HAS SOPS 430230365 HAS SOUS 277152952 HAS SOUPS 277152952 WITH SCORE 2.77583182365E8
AT ITER 3570 NEW BEST:: SOT 1933072483 SOS 430223915 HAS SOPS 430223915 HAS SOUS 277146505 HAS SOUPS 277146505 WITH SCORE 2.77576728915E8
AT ITER 3588 NEW BEST:: SOT 1933072483 SOS 430223915 HAS SOPS 430223915 HAS SOUS 277146504 HAS SOUPS 277146504 WITH SCORE 2.77576727915E8
AT ITER 3694 NEW BEST:: SOT 1933045334 SOS 430180948 HAS SOPS 430180948 HAS SOUS 277111869 HAS SOUPS 277111869 WITH SCORE 2.77542049948E8
AT ITER 3697 NEW BEST:: SOT 1933045333 SOS 430180946 HAS SOPS 430180946 HAS SOUS 277111867 HAS SOUPS 277111867 WITH SCORE 2.77542047946E8
AT ITER 3700 NEW BEST:: SOT 1933043200 SOS 430195867 HAS SOPS 430195867 HAS SOUS 277107600 HAS SOUPS 277107600 WITH SCORE 2.77537795867E8
AT ITER 3715 NEW BEST:: SOT 1933043200 SOS 430198822 HAS SOPS 430198822 HAS SOUS 277107594 HAS SOUPS 277107594 WITH SCORE 2.77537792822E8
AT ITER 3730 NEW BEST:: SOT 1933038330 SOS 430198818 HAS SOPS 430198818 HAS SOUS 277105158 HAS SOUPS 277105158 WITH SCORE 2.77535356818E8
AT ITER 3779 NEW BEST:: SOT 1933039723 SOS 430195695 HAS SOPS 430195695 HAS SOUS 277102035 HAS SOUPS 277102035 WITH SCORE 2.77532230695E8
AT ITER 3795 NEW BEST:: SOT 1933039036 SOS 430195008 HAS SOPS 430195008 HAS SOUS 277101348 HAS SOUPS 277101348 WITH SCORE 2.77531543008E8
AT ITER 3803 NEW BEST:: SOT 1933036121 SOS 430192093 HAS SOPS 430192093 HAS SOUS 277098433 HAS SOUPS 277098433 WITH SCORE 2.77528625093E8
AT ITER 3821 NEW BEST:: SOT 1933035312 SOS 430190475 HAS SOPS 430190475 HAS SOUS 277096815 HAS SOUPS 277096815 WITH SCORE 2.77527005475E8
AT ITER 3823 NEW BEST:: SOT 1933035312 SOS 430190475 HAS SOPS 430190475 HAS SOUS 277088302 HAS SOUPS 277088302 WITH SCORE 2.77518492475E8
AT ITER 3824 NEW BEST:: SOT 1933029200 SOS 430159915 HAS SOPS 430159915 HAS SOUS 277076078 HAS SOUPS 277076078 WITH SCORE 2.77506237915E8
AT ITER 3829 NEW BEST:: SOT 1933026683 SOS 430157398 HAS SOPS 430157398 HAS SOUS 277073561 HAS SOUPS 277073561 WITH SCORE 2.77503718398E8
AT ITER 3854 NEW BEST:: SOT 1933018349 SOS 430157397 HAS SOPS 430157397 HAS SOUS 277073560 HAS SOUPS 277073560 WITH SCORE 2.77503717397E8
AT ITER 3878 NEW BEST:: SOT 1933011133 SOS 430172467 HAS SOPS 430172467 HAS SOUS 277072337 HAS SOUPS 277072337 WITH SCORE 2.77502509467E8
AT ITER 3894 NEW BEST:: SOT 1933002817 SOS 430164147 HAS SOPS 430164147 HAS SOUS 277064020 HAS SOUPS 277064020 WITH SCORE 2.77494184147E8
AT ITER 3900 NEW BEST:: SOT 1932997170 SOS 430162566 HAS SOPS 430162566 HAS SOUS 277062442 HAS SOUPS 277062442 WITH SCORE 2.77492604566E8
AT ITER 3940 NEW BEST:: SOT 1932998535 SOS 430162416 HAS SOPS 430162416 HAS SOUS 277062292 HAS SOUPS 277062292 WITH SCORE 2.77492454416E8
AT ITER 3986 NEW BEST:: SOT 1932998535 SOS 430160978 HAS SOPS 430160978 HAS SOUS 277061573 HAS SOUPS 277061573 WITH SCORE 2.77491733978E8
AT ITER 3992 NEW BEST:: SOT 1932990744 SOS 430165592 HAS SOPS 430165592 HAS SOUS 277055853 HAS SOUPS 277055853 WITH SCORE 2.77486018592E8
AT ITER 4017 NEW BEST:: SOT 1932988878 SOS 430161860 HAS SOPS 430161860 HAS SOUS 277052121 HAS SOUPS 277052121 WITH SCORE 2.7748228286E8
AT ITER 4032 NEW BEST:: SOT 1932988878 SOS 430161045 HAS SOPS 430161045 HAS SOUS 277052121 HAS SOUPS 277052121 WITH SCORE 2.77482282045E8
AT ITER 4090 NEW BEST:: SOT 1932988098 SOS 430160265 HAS SOPS 430160265 HAS SOUS 277051341 HAS SOUPS 277051341 WITH SCORE 2.77481501265E8
AT ITER 4150 NEW BEST:: SOT 1932991920 SOS 430157948 HAS SOPS 430157948 HAS SOUS 277049024 HAS SOUPS 277049024 WITH SCORE 2.77479181948E8
AT ITER 4153 NEW BEST:: SOT 1932985346 SOS 430154073 HAS SOPS 430154073 HAS SOUS 277045149 HAS SOUPS 277045149 WITH SCORE 2.77475303073E8
AT ITER 4167 NEW BEST:: SOT 1932985346 SOS 430154073 HAS SOPS 430154073 HAS SOUS 277037876 HAS SOUPS 277037876 WITH SCORE 2.77468030073E8
AT ITER 4212 NEW BEST:: SOT 1932985346 SOS 430143234 HAS SOPS 430143234 HAS SOUS 277037876 HAS SOUPS 277037876 WITH SCORE 2.77468019234E8
AT ITER 4218 NEW BEST:: SOT 1932985346 SOS 430140066 HAS SOPS 430140066 HAS SOUS 277036820 HAS SOUPS 277036820 WITH SCORE 2.77466960066E8
AT ITER 4229 NEW BEST:: SOT 1932985346 SOS 430137181 HAS SOPS 430137181 HAS SOUS 277033935 HAS SOUPS 277033935 WITH SCORE 2.77464072181E8
AT ITER 4238 NEW BEST:: SOT 1932983637 SOS 430135786 HAS SOPS 430135786 HAS SOUS 277032226 HAS SOUPS 277032226 WITH SCORE 2.77462361786E8
AT ITER 4251 NEW BEST:: SOT 1932981017 SOS 430130546 HAS SOPS 430130546 HAS SOUS 277026986 HAS SOUPS 277026986 WITH SCORE 2.77457116546E8
AT ITER 4293 NEW BEST:: SOT 1932980149 SOS 430128810 HAS SOPS 430128810 HAS SOUS 277025250 HAS SOUPS 277025250 WITH SCORE 2.7745537881E8
AT ITER 4312 NEW BEST:: SOT 1932976308 SOS 430119000 HAS SOPS 430119000 HAS SOUS 277015440 HAS SOUPS 277015440 WITH SCORE 2.77445559E8
AT ITER 4325 NEW BEST:: SOT 1932976037 SOS 430122466 HAS SOPS 430122466 HAS SOUS 277014393 HAS SOUPS 277014393 WITH SCORE 2.77444515466E8
AT ITER 4333 NEW BEST:: SOT 1932973414 SOS 430117219 HAS SOPS 430117219 HAS SOUS 277004670 HAS SOUPS 277004670 WITH SCORE 2.77434787219E8
AT ITER 4337 NEW BEST:: SOT 1932972140 SOS 430117543 HAS SOPS 430117543 HAS SOUS 277003395 HAS SOUPS 277003395 WITH SCORE 2.77433512543E8
AT ITER 4343 NEW BEST:: SOT 1932967623 SOS 430143033 HAS SOPS 430143033 HAS SOUS 276998878 HAS SOUPS 276998878 WITH SCORE 2.77429021033E8
AT ITER 4344 NEW BEST:: SOT 1932954217 SOS 430139300 HAS SOPS 430139300 HAS SOUS 276993165 HAS SOUPS 276993165 WITH SCORE 2.774233043E8
AT ITER 4356 NEW BEST:: SOT 1932953890 SOS 430138646 HAS SOPS 430138646 HAS SOUS 276992511 HAS SOUPS 276992511 WITH SCORE 2.77422649646E8
AT ITER 4363 NEW BEST:: SOT 1932953100 SOS 430137066 HAS SOPS 430137066 HAS SOUS 276990931 HAS SOUPS 276990931 WITH SCORE 2.77421068066E8
AT ITER 4366 NEW BEST:: SOT 1932951607 SOS 430135573 HAS SOPS 430135573 HAS SOUS 276989438 HAS SOUPS 276989438 WITH SCORE 2.77419573573E8
AT ITER 4374 NEW BEST:: SOT 1932950732 SOS 430132073 HAS SOPS 430132073 HAS SOUS 276988563 HAS SOUPS 276988563 WITH SCORE 2.77418695073E8
AT ITER 4419 NEW BEST:: SOT 1932948041 SOS 430137451 HAS SOPS 430137451 HAS SOUS 276985871 HAS SOUPS 276985871 WITH SCORE 2.77416008451E8
AT ITER 4434 NEW BEST:: SOT 1932947205 SOS 430137033 HAS SOPS 430137033 HAS SOUS 276985453 HAS SOUPS 276985453 WITH SCORE 2.77415590033E8
AT ITER 4471 NEW BEST:: SOT 1932946345 SOS 430136603 HAS SOPS 430136603 HAS SOUS 276985023 HAS SOUPS 276985023 WITH SCORE 2.77415159603E8
AT ITER 4513 NEW BEST:: SOT 1932943397 SOS 430130707 HAS SOPS 430130707 HAS SOUS 276979127 HAS SOUPS 276979127 WITH SCORE 2.77409257707E8
AT ITER 4523 NEW BEST:: SOT 1932943397 SOS 430140372 HAS SOPS 430140372 HAS SOUS 276969248 HAS SOUPS 276969248 WITH SCORE 2.77399388372E8
AT ITER 4544 NEW BEST:: SOT 1932938094 SOS 430128718 HAS SOPS 430128718 HAS SOUS 276948558 HAS SOUPS 276948558 WITH SCORE 2.77378686718E8
AT ITER 4586 NEW BEST:: SOT 1932937271 SOS 430128715 HAS SOPS 430128715 HAS SOUS 276948557 HAS SOUPS 276948557 WITH SCORE 2.77378685715E8
AT ITER 4592 NEW BEST:: SOT 1932937271 SOS 430128715 HAS SOPS 430128715 HAS SOUS 276941813 HAS SOUPS 276941813 WITH SCORE 2.77371941715E8
AT ITER 4605 NEW BEST:: SOT 1932933463 SOS 430121099 HAS SOPS 430121099 HAS SOUS 276930003 HAS SOUPS 276930003 WITH SCORE 2.77360124099E8
AT ITER 4623 NEW BEST:: SOT 1932931558 SOS 430119194 HAS SOPS 430119194 HAS SOUS 276928098 HAS SOUPS 276928098 WITH SCORE 2.77358217194E8
AT ITER 4652 NEW BEST:: SOT 1932930445 SOS 430116968 HAS SOPS 430116968 HAS SOUS 276925872 HAS SOUPS 276925872 WITH SCORE 2.77355988968E8
AT ITER 4658 NEW BEST:: SOT 1932925081 SOS 430111604 HAS SOPS 430111604 HAS SOUS 276920508 HAS SOUPS 276920508 WITH SCORE 2.77350619604E8
AT ITER 4668 NEW BEST:: SOT 1932918231 SOS 430107980 HAS SOPS 430107980 HAS SOUS 276916884 HAS SOUPS 276916884 WITH SCORE 2.7734699198E8
AT ITER 4682 NEW BEST:: SOT 1932918231 SOS 430107980 HAS SOPS 430107980 HAS SOUS 276907295 HAS SOUPS 276907295 WITH SCORE 2.7733740298E8
AT ITER 4697 NEW BEST:: SOT 1932911908 SOS 430101655 HAS SOPS 430101655 HAS SOUS 276900970 HAS SOUPS 276900970 WITH SCORE 2.77331071655E8
AT ITER 4740 NEW BEST:: SOT 1932915565 SOS 430087888 HAS SOPS 430087888 HAS SOUS 276899428 HAS SOUPS 276899428 WITH SCORE 2.77329515888E8
AT ITER 4748 NEW BEST:: SOT 1932909068 SOS 430081391 HAS SOPS 430081391 HAS SOUS 276892931 HAS SOUPS 276892931 WITH SCORE 2.77323012391E8
AT ITER 4752 NEW BEST:: SOT 1932905357 SOS 430073969 HAS SOPS 430073969 HAS SOUS 276881206 HAS SOUPS 276881206 WITH SCORE 2.77311279969E8
AT ITER 4763 NEW BEST:: SOT 1932845303 SOS 430064407 HAS SOPS 430064407 HAS SOUS 276866359 HAS SOUPS 276866359 WITH SCORE 2.77296423407E8
AT ITER 4822 NEW BEST:: SOT 1932823762 SOS 430033322 HAS SOPS 430033322 HAS SOUS 276849791 HAS SOUPS 276849791 WITH SCORE 2.77279824322E8
AT ITER 4836 NEW BEST:: SOT 1932814192 SOS 430026362 HAS SOPS 430026362 HAS SOUS 276844571 HAS SOUPS 276844571 WITH SCORE 2.77274597362E8
AT ITER 4858 NEW BEST:: SOT 1932811161 SOS 430032420 HAS SOPS 430032420 HAS SOUS 276841539 HAS SOUPS 276841539 WITH SCORE 2.7727157142E8
AT ITER 4874 NEW BEST:: SOT 1932808329 SOS 430026756 HAS SOPS 430026756 HAS SOUS 276835875 HAS SOUPS 276835875 WITH SCORE 2.77265901756E8
AT ITER 4906 NEW BEST:: SOT 1932806229 SOS 430022556 HAS SOPS 430022556 HAS SOUS 276833775 HAS SOUPS 276833775 WITH SCORE 2.77263797556E8
AT ITER 4949 NEW BEST:: SOT 1932799667 SOS 430009432 HAS SOPS 430009432 HAS SOUS 276820651 HAS SOUPS 276820651 WITH SCORE 2.77250660432E8
AT ITER 4992 NEW BEST:: SOT 1932794421 SOS 430049096 HAS SOPS 430049096 HAS SOUS 276810158 HAS SOUPS 276810158 WITH SCORE 2.77240207096E8
AT ITER 5003 NEW BEST:: SOT 1932794421 SOS 430049096 HAS SOPS 430049096 HAS SOUS 276800010 HAS SOUPS 276800010 WITH SCORE 2.77230059096E8
AT ITER 5028 NEW BEST:: SOT 1932779613 SOS 430041692 HAS SOPS 430041692 HAS SOUS 276792606 HAS SOUPS 276792606 WITH SCORE 2.77222647692E8
AT ITER 5052 NEW BEST:: SOT 1932779612 SOS 430039593 HAS SOPS 430039593 HAS SOUS 276790507 HAS SOUPS 276790507 WITH SCORE 2.77220546593E8
AT ITER 5077 NEW BEST:: SOT 1932779612 SOS 430057263 HAS SOPS 430057263 HAS SOUS 276786834 HAS SOUPS 276786834 WITH SCORE 2.77216891263E8
AT ITER 5108 NEW BEST:: SOT 1932773302 SOS 430050953 HAS SOPS 430050953 HAS SOUS 276780524 HAS SOUPS 276780524 WITH SCORE 2.77210574953E8
AT ITER 5134 NEW BEST:: SOT 1932767032 SOS 430042746 HAS SOPS 430042746 HAS SOUS 276772317 HAS SOUPS 276772317 WITH SCORE 2.77202359746E8
AT ITER 5148 NEW BEST:: SOT 1932763778 SOS 430036238 HAS SOPS 430036238 HAS SOUS 276765809 HAS SOUPS 276765809 WITH SCORE 2.77195845238E8
AT ITER 5174 NEW BEST:: SOT 1932765543 SOS 430024942 HAS SOPS 430024942 HAS SOUS 276763514 HAS SOUPS 276763514 WITH SCORE 2.77193538942E8
AT ITER 5180 NEW BEST:: SOT 1932765543 SOS 430015027 HAS SOPS 430015027 HAS SOUS 276760209 HAS SOUPS 276760209 WITH SCORE 2.77190224027E8
AT ITER 5199 NEW BEST:: SOT 1932758927 SOS 430008407 HAS SOPS 430008407 HAS SOUS 276753592 HAS SOUPS 276753592 WITH SCORE 2.77183600407E8
AT ITER 5249 NEW BEST:: SOT 1932758927 SOS 430003715 HAS SOPS 430003715 HAS SOUS 276751246 HAS SOUPS 276751246 WITH SCORE 2.77181249715E8
AT ITER 5251 NEW BEST:: SOT 1932756880 SOS 429999621 HAS SOPS 429999621 HAS SOUS 276741195 HAS SOUPS 276741195 WITH SCORE 2.77171194621E8
AT ITER 5258 NEW BEST:: SOT 1932752170 SOS 430032581 HAS SOPS 430032581 HAS SOUS 276731774 HAS SOUPS 276731774 WITH SCORE 2.77161806581E8
AT ITER 5274 NEW BEST:: SOT 1932747332 SOS 430030220 HAS SOPS 430030220 HAS SOUS 276727904 HAS SOUPS 276727904 WITH SCORE 2.7715793422E8
AT ITER 5295 NEW BEST:: SOT 1932740965 SOS 430023853 HAS SOPS 430023853 HAS SOUS 276721537 HAS SOUPS 276721537 WITH SCORE 2.77151560853E8
AT ITER 5322 NEW BEST:: SOT 1932726653 SOS 430019847 HAS SOPS 430019847 HAS SOUS 276715431 HAS SOUPS 276715431 WITH SCORE 2.77145450847E8
AT ITER 5330 NEW BEST:: SOT 1932726401 SOS 430019343 HAS SOPS 430019343 HAS SOUS 276714927 HAS SOUPS 276714927 WITH SCORE 2.77144946343E8
AT ITER 5331 NEW BEST:: SOT 1932726206 SOS 430018953 HAS SOPS 430018953 HAS SOUS 276714537 HAS SOUPS 276714537 WITH SCORE 2.77144555953E8
AT ITER 5362 NEW BEST:: SOT 1932725584 SOS 430017709 HAS SOPS 430017709 HAS SOUS 276713293 HAS SOUPS 276713293 WITH SCORE 2.77143310709E8
AT ITER 5419 NEW BEST:: SOT 1932723163 SOS 430012867 HAS SOPS 430012867 HAS SOUS 276708451 HAS SOUPS 276708451 WITH SCORE 2.77138463867E8
AT ITER 5453 NEW BEST:: SOT 1932713931 SOS 430003631 HAS SOPS 430003631 HAS SOUS 276699218 HAS SOUPS 276699218 WITH SCORE 2.77129221631E8
AT ITER 5494 NEW BEST:: SOT 1932710501 SOS 430003103 HAS SOPS 430003103 HAS SOUS 276698693 HAS SOUPS 276698693 WITH SCORE 2.77128696103E8
AT ITER 5528 NEW BEST:: SOT 1932709227 SOS 430001829 HAS SOPS 430001829 HAS SOUS 276697419 HAS SOUPS 276697419 WITH SCORE 2.77127420829E8
AT ITER 5531 NEW BEST:: SOT 1932703785 SOS 429996383 HAS SOPS 429996383 HAS SOUS 276691976 HAS SOUPS 276691976 WITH SCORE 2.77121972383E8
AT ITER 5533 NEW BEST:: SOT 1932696379 SOS 429988977 HAS SOPS 429988977 HAS SOUS 276684570 HAS SOUPS 276684570 WITH SCORE 2.77114558977E8
AT ITER 5534 NEW BEST:: SOT 1932696379 SOS 429988977 HAS SOPS 429988977 HAS SOUS 276678753 HAS SOUPS 276678753 WITH SCORE 2.77108741977E8
AT ITER 5571 NEW BEST:: SOT 1932691450 SOS 429979119 HAS SOPS 429979119 HAS SOUS 276673823 HAS SOUPS 276673823 WITH SCORE 2.77103802119E8
AT ITER 5633 NEW BEST:: SOT 1932691449 SOS 429979117 HAS SOPS 429979117 HAS SOUS 276673822 HAS SOUPS 276673822 WITH SCORE 2.77103801117E8
AT ITER 5647 NEW BEST:: SOT 1932693098 SOS 429982415 HAS SOPS 429982415 HAS SOUS 276673105 HAS SOUPS 276673105 WITH SCORE 2.77103087415E8
AT ITER 5682 NEW BEST:: SOT 1932688552 SOS 430031705 HAS SOPS 430031705 HAS SOUS 276664012 HAS SOUPS 276664012 WITH SCORE 2.77094043705E8
AT ITER 5715 NEW BEST:: SOT 1932687089 SOS 430028779 HAS SOPS 430028779 HAS SOUS 276661086 HAS SOUPS 276661086 WITH SCORE 2.77091114779E8
AT ITER 5716 NEW BEST:: SOT 1932679219 SOS 430024800 HAS SOPS 430024800 HAS SOUS 276649282 HAS SOUPS 276649282 WITH SCORE 2.770793068E8
AT ITER 5722 NEW BEST:: SOT 1932679218 SOS 430024798 HAS SOPS 430024798 HAS SOUS 276649280 HAS SOUPS 276649280 WITH SCORE 2.77079304798E8
AT ITER 5728 NEW BEST:: SOT 1932678294 SOS 430026638 HAS SOPS 430026638 HAS SOUS 276648354 HAS SOUPS 276648354 WITH SCORE 2.77078380638E8
AT ITER 5731 NEW BEST:: SOT 1932675857 SOS 430021764 HAS SOPS 430021764 HAS SOUS 276643480 HAS SOUPS 276643480 WITH SCORE 2.77073501764E8
AT ITER 5736 NEW BEST:: SOT 1932672566 SOS 429997800 HAS SOPS 429997800 HAS SOUS 276636898 HAS SOUPS 276636898 WITH SCORE 2.770668958E8
AT ITER 5750 NEW BEST:: SOT 1932664206 SOS 429989436 HAS SOPS 429989436 HAS SOUS 276628537 HAS SOUPS 276628537 WITH SCORE 2.77058526436E8
AT ITER 5763 NEW BEST:: SOT 1932652338 SOS 429978359 HAS SOPS 429978359 HAS SOUS 276616669 HAS SOUPS 276616669 WITH SCORE 2.77046647359E8
AT ITER 5781 NEW BEST:: SOT 1932652338 SOS 429978359 HAS SOPS 429978359 HAS SOUS 276607979 HAS SOUPS 276607979 WITH SCORE 2.77037957359E8
AT ITER 5800 NEW BEST:: SOT 1932645236 SOS 429964155 HAS SOPS 429964155 HAS SOUS 276600981 HAS SOUPS 276600981 WITH SCORE 2.77030945155E8
AT ITER 5802 NEW BEST:: SOT 1932641136 SOS 429955955 HAS SOPS 429955955 HAS SOUS 276592781 HAS SOUPS 276592781 WITH SCORE 2.77022736955E8
AT ITER 5803 NEW BEST:: SOT 1932641136 SOS 429969435 HAS SOPS 429969435 HAS SOUS 276592108 HAS SOUPS 276592108 WITH SCORE 2.77022077435E8
AT ITER 5809 NEW BEST:: SOT 1932633505 SOS 429966518 HAS SOPS 429966518 HAS SOUS 276589191 HAS SOUPS 276589191 WITH SCORE 2.77019157518E8
AT ITER 5813 NEW BEST:: SOT 1932634002 SOS 429954552 HAS SOPS 429954552 HAS SOUS 276585616 HAS SOUPS 276585616 WITH SCORE 2.77015570552E8
AT ITER 5839 NEW BEST:: SOT 1932629801 SOS 430007853 HAS SOPS 430007853 HAS SOUS 276577213 HAS SOUPS 276577213 WITH SCORE 2.77007220853E8
AT ITER 5889 NEW BEST:: SOT 1932629801 SOS 430007283 HAS SOPS 430007283 HAS SOUS 276577213 HAS SOUPS 276577213 WITH SCORE 2.77007220283E8
AT ITER 5907 NEW BEST:: SOT 1932628103 SOS 430006114 HAS SOPS 430006114 HAS SOUS 276576044 HAS SOUPS 276576044 WITH SCORE 2.77006050114E8
AT ITER 5981 NEW BEST:: SOT 1932630270 SOS 430010448 HAS SOPS 430010448 HAS SOUS 276568279 HAS SOUPS 276568279 WITH SCORE 2.76998289448E8
AT ITER 5996 NEW BEST:: SOT 1932623810 SOS 430003984 HAS SOPS 430003984 HAS SOUS 276561818 HAS SOUPS 276561818 WITH SCORE 2.76991821984E8
AT ITER 5997 NEW BEST:: SOT 1932618885 SOS 429999609 HAS SOPS 429999609 HAS SOUS 276556893 HAS SOUPS 276556893 WITH SCORE 2.76986892609E8
AT ITER 5999 NEW BEST:: SOT 1932605510 SOS 429998997 HAS SOPS 429998997 HAS SOUS 276543518 HAS SOUPS 276543518 WITH SCORE 2.76973516997E8
AT ITER 6036 NEW BEST:: SOT 1932600233 SOS 430038842 HAS SOPS 430038842 HAS SOUS 276532963 HAS SOUPS 276532963 WITH SCORE 2.76963001842E8
AT ITER 6064 NEW BEST:: SOT 1932599170 SOS 430036716 HAS SOPS 430036716 HAS SOUS 276530837 HAS SOUPS 276530837 WITH SCORE 2.76960873716E8
AT ITER 6080 NEW BEST:: SOT 1932591250 SOS 430028792 HAS SOPS 430028792 HAS SOUS 276522916 HAS SOUPS 276522916 WITH SCORE 2.76952944792E8
AT ITER 6088 NEW BEST:: SOT 1932590411 SOS 430027115 HAS SOPS 430027115 HAS SOUS 276521239 HAS SOUPS 276521239 WITH SCORE 2.76951266115E8
AT ITER 6121 NEW BEST:: SOT 1932575818 SOS 430009777 HAS SOPS 430009777 HAS SOUS 276510718 HAS SOUPS 276510718 WITH SCORE 2.76940727777E8
AT ITER 6152 NEW BEST:: SOT 1932575817 SOS 430009775 HAS SOPS 430009775 HAS SOUS 276510716 HAS SOUPS 276510716 WITH SCORE 2.76940725775E8
AT ITER 6169 NEW BEST:: SOT 1932570048 SOS 429967401 HAS SOPS 429967401 HAS SOUS 276487488 HAS SOUPS 276487488 WITH SCORE 2.76917455401E8
AT ITER 6175 NEW BEST:: SOT 1932569556 SOS 429967073 HAS SOPS 429967073 HAS SOUS 276487160 HAS SOUPS 276487160 WITH SCORE 2.76917127073E8
AT ITER 6191 NEW BEST:: SOT 1932559015 SOS 429945991 HAS SOPS 429945991 HAS SOUS 276466078 HAS SOUPS 276466078 WITH SCORE 2.76896023991E8
AT ITER 6192 NEW BEST:: SOT 1932559014 SOS 429944019 HAS SOPS 429944019 HAS SOUS 276464106 HAS SOUPS 276464106 WITH SCORE 2.76894050019E8
AT ITER 6229 NEW BEST:: SOT 1932535540 SOS 429926947 HAS SOPS 429926947 HAS SOUS 276451302 HAS SOUPS 276451302 WITH SCORE 2.76881228947E8
AT ITER 6235 NEW BEST:: SOT 1932533282 SOS 429922431 HAS SOPS 429922431 HAS SOUS 276441046 HAS SOUPS 276441046 WITH SCORE 2.76870968431E8
AT ITER 6244 NEW BEST:: SOT 1932531728 SOS 429919323 HAS SOPS 429919323 HAS SOUS 276439492 HAS SOUPS 276439492 WITH SCORE 2.76869411323E8
AT ITER 6261 NEW BEST:: SOT 1932526839 SOS 429909545 HAS SOPS 429909545 HAS SOUS 276429714 HAS SOUPS 276429714 WITH SCORE 2.76859623545E8
AT ITER 6270 NEW BEST:: SOT 1932515663 SOS 429898369 HAS SOPS 429898369 HAS SOUS 276418538 HAS SOUPS 276418538 WITH SCORE 2.76848436369E8
AT ITER 6278 NEW BEST:: SOT 1932509834 SOS 429886711 HAS SOPS 429886711 HAS SOUS 276406880 HAS SOUPS 276406880 WITH SCORE 2.76836766711E8
AT ITER 6279 NEW BEST:: SOT 1932509834 SOS 429885155 HAS SOPS 429885155 HAS SOUS 276405324 HAS SOUPS 276405324 WITH SCORE 2.76835209155E8
AT ITER 6284 NEW BEST:: SOT 1932507057 SOS 429879601 HAS SOPS 429879601 HAS SOUS 276395979 HAS SOUPS 276395979 WITH SCORE 2.76825858601E8
AT ITER 6307 NEW BEST:: SOT 1932500222 SOS 429884445 HAS SOPS 429884445 HAS SOUS 276389377 HAS SOUPS 276389377 WITH SCORE 2.76819261445E8
AT ITER 6345 NEW BEST:: SOT 1932494092 SOS 429872185 HAS SOPS 429872185 HAS SOUS 276377117 HAS SOUPS 276377117 WITH SCORE 2.76806989185E8
AT ITER 6389 NEW BEST:: SOT 1932493496 SOS 429870993 HAS SOPS 429870993 HAS SOUS 276369976 HAS SOUPS 276369976 WITH SCORE 2.76799846993E8
AT ITER 6423 NEW BEST:: SOT 1932491787 SOS 429867575 HAS SOPS 429867575 HAS SOUS 276366558 HAS SOUPS 276366558 WITH SCORE 2.76796425575E8
AT ITER 6447 NEW BEST:: SOT 1932491787 SOS 429862784 HAS SOPS 429862784 HAS SOUS 276364961 HAS SOUPS 276364961 WITH SCORE 2.76794823784E8
AT ITER 6454 NEW BEST:: SOT 1932486320 SOS 429857313 HAS SOPS 429857313 HAS SOUS 276359493 HAS SOUPS 276359493 WITH SCORE 2.76789350313E8
AT ITER 6455 NEW BEST:: SOT 1932486024 SOS 429856721 HAS SOPS 429856721 HAS SOUS 276358901 HAS SOUPS 276358901 WITH SCORE 2.76788757721E8
AT ITER 6463 NEW BEST:: SOT 1932482682 SOS 429850037 HAS SOPS 429850037 HAS SOUS 276352217 HAS SOUPS 276352217 WITH SCORE 2.76782067037E8
AT ITER 6468 NEW BEST:: SOT 1932482682 SOS 429848601 HAS SOPS 429848601 HAS SOUS 276351499 HAS SOUPS 276351499 WITH SCORE 2.76781347601E8
AT ITER 6475 NEW BEST:: SOT 1932481928 SOS 429846817 HAS SOPS 429846817 HAS SOUS 276349715 HAS SOUPS 276349715 WITH SCORE 2.76779561817E8
AT ITER 6521 NEW BEST:: SOT 1932484955 SOS 429833521 HAS SOPS 429833521 HAS SOUS 276347805 HAS SOUPS 276347805 WITH SCORE 2.76777638521E8
AT ITER 6525 NEW BEST:: SOT 1932484055 SOS 429831722 HAS SOPS 429831722 HAS SOUS 276346006 HAS SOUPS 276346006 WITH SCORE 2.76775837722E8
AT ITER 6554 NEW BEST:: SOT 1932484055 SOS 429831722 HAS SOPS 429831722 HAS SOUS 276346005 HAS SOUPS 276346005 WITH SCORE 2.76775836722E8
AT ITER 6619 NEW BEST:: SOT 1932476552 SOS 429828743 HAS SOPS 429828743 HAS SOUS 276343026 HAS SOUPS 276343026 WITH SCORE 2.76772854743E8
AT ITER 6633 NEW BEST:: SOT 1932476551 SOS 429826952 HAS SOPS 429826952 HAS SOUS 276341235 HAS SOUPS 276341235 WITH SCORE 2.76771061952E8
AT ITER 6649 NEW BEST:: SOT 1932476548 SOS 429826946 HAS SOPS 429826946 HAS SOUS 276341231 HAS SOUPS 276341231 WITH SCORE 2.76771057946E8
AT ITER 6672 NEW BEST:: SOT 1932470174 SOS 429820572 HAS SOPS 429820572 HAS SOUS 276334857 HAS SOUPS 276334857 WITH SCORE 2.76764677572E8
AT ITER 6675 NEW BEST:: SOT 1932464937 SOS 429810098 HAS SOPS 429810098 HAS SOUS 276324383 HAS SOUPS 276324383 WITH SCORE 2.76754193098E8
AT ITER 6682 NEW BEST:: SOT 1932463823 SOS 429807870 HAS SOPS 429807870 HAS SOUS 276323269 HAS SOUPS 276323269 WITH SCORE 2.7675307687E8
AT ITER 6726 NEW BEST:: SOT 1932459245 SOS 429798714 HAS SOPS 429798714 HAS SOUS 276314113 HAS SOUPS 276314113 WITH SCORE 2.76743911714E8
AT ITER 6753 NEW BEST:: SOT 1932458531 SOS 429797286 HAS SOPS 429797286 HAS SOUS 276313398 HAS SOUPS 276313398 WITH SCORE 2.76743195286E8
AT ITER 6756 NEW BEST:: SOT 1932458531 SOS 429796596 HAS SOPS 429796596 HAS SOUS 276313398 HAS SOUPS 276313398 WITH SCORE 2.76743194596E8
AT ITER 6764 NEW BEST:: SOT 1932455745 SOS 429791024 HAS SOPS 429791024 HAS SOUS 276304293 HAS SOUPS 276304293 WITH SCORE 2.76734084024E8
AT ITER 6792 NEW BEST:: SOT 1932455745 SOS 429786383 HAS SOPS 429786383 HAS SOUS 276303092 HAS SOUPS 276303092 WITH SCORE 2.76732878383E8
AT ITER 6797 NEW BEST:: SOT 1932455094 SOS 429785081 HAS SOPS 429785081 HAS SOUS 276301790 HAS SOUPS 276301790 WITH SCORE 2.76731575081E8
AT ITER 6826 NEW BEST:: SOT 1932455094 SOS 429785081 HAS SOPS 429785081 HAS SOUS 276301789 HAS SOUPS 276301789 WITH SCORE 2.76731574081E8
AT ITER 6830 NEW BEST:: SOT 1932455094 SOS 429785081 HAS SOPS 429785081 HAS SOUS 276299151 HAS SOUPS 276299151 WITH SCORE 2.76728936081E8
AT ITER 6917 NEW BEST:: SOT 1932449485 SOS 429757036 HAS SOPS 429757036 HAS SOUS 276287933 HAS SOUPS 276287933 WITH SCORE 2.76717690036E8
AT ITER 6930 NEW BEST:: SOT 1932449485 SOS 429749583 HAS SOPS 429749583 HAS SOUS 276287933 HAS SOUPS 276287933 WITH SCORE 2.76717682583E8
AT ITER 7024 NEW BEST:: SOT 1932448111 SOS 429746835 HAS SOPS 429746835 HAS SOUS 276285185 HAS SOUPS 276285185 WITH SCORE 2.76714931835E8
AT ITER 7043 NEW BEST:: SOT 1932447517 SOS 429745648 HAS SOPS 429745648 HAS SOUS 276283998 HAS SOUPS 276283998 WITH SCORE 2.76713743648E8
AT ITER 7049 NEW BEST:: SOT 1932444959 SOS 429740532 HAS SOPS 429740532 HAS SOUS 276278882 HAS SOUPS 276278882 WITH SCORE 2.76708622532E8
AT ITER 7095 NEW BEST:: SOT 1932444959 SOS 429739370 HAS SOPS 429739370 HAS SOUS 276278301 HAS SOUPS 276278301 WITH SCORE 2.7670804037E8
AT ITER 7102 NEW BEST:: SOT 1932444959 SOS 429733331 HAS SOPS 429733331 HAS SOUS 276278301 HAS SOUPS 276278301 WITH SCORE 2.76708034331E8
AT ITER 7107 NEW BEST:: SOT 1932440071 SOS 429723555 HAS SOPS 429723555 HAS SOUS 276268525 HAS SOUPS 276268525 WITH SCORE 2.76698248555E8
AT ITER 7117 NEW BEST:: SOT 1932436972 SOS 429717357 HAS SOPS 429717357 HAS SOUS 276260254 HAS SOUPS 276260254 WITH SCORE 2.76689971357E8
AT ITER 7130 NEW BEST:: SOT 1932436970 SOS 429717353 HAS SOPS 429717353 HAS SOUS 276260250 HAS SOUPS 276260250 WITH SCORE 2.76689967353E8
AT ITER 7148 NEW BEST:: SOT 1932376369 SOS 429702182 HAS SOPS 429702182 HAS SOUS 276242876 HAS SOUPS 276242876 WITH SCORE 2.76672578182E8
AT ITER 7150 NEW BEST:: SOT 1932370422 SOS 429690288 HAS SOPS 429690288 HAS SOUS 276230982 HAS SOUPS 276230982 WITH SCORE 2.76660672288E8
AT ITER 7180 NEW BEST:: SOT 1932367553 SOS 429684550 HAS SOPS 429684550 HAS SOUS 276225244 HAS SOUPS 276225244 WITH SCORE 2.7665492855E8
AT ITER 7228 NEW BEST:: SOT 1932354011 SOS 429678940 HAS SOPS 429678940 HAS SOUS 276218860 HAS SOUPS 276218860 WITH SCORE 2.7664853894E8
AT ITER 7230 NEW BEST:: SOT 1932354011 SOS 429676267 HAS SOPS 429676267 HAS SOUS 276216187 HAS SOUPS 276216187 WITH SCORE 2.76645863267E8
AT ITER 7240 NEW BEST:: SOT 1932353175 SOS 429675714 HAS SOPS 429675714 HAS SOUS 276215493 HAS SOUPS 276215493 WITH SCORE 2.76645168714E8
AT ITER 7254 NEW BEST:: SOT 1932357266 SOS 429662083 HAS SOPS 429662083 HAS SOUS 276214358 HAS SOUPS 276214358 WITH SCORE 2.76644020083E8
AT ITER 7258 NEW BEST:: SOT 1932351607 SOS 429633788 HAS SOPS 429633788 HAS SOUS 276203040 HAS SOUPS 276203040 WITH SCORE 2.76632673788E8
AT ITER 7259 NEW BEST:: SOT 1932351607 SOS 429619202 HAS SOPS 429619202 HAS SOUS 276203040 HAS SOUPS 276203040 WITH SCORE 2.76632659202E8
AT ITER 7268 NEW BEST:: SOT 1932351607 SOS 429619202 HAS SOPS 429619202 HAS SOUS 276199509 HAS SOUPS 276199509 WITH SCORE 2.76629128202E8
AT ITER 7277 NEW BEST:: SOT 1932352749 SOS 429617818 HAS SOPS 429617818 HAS SOUS 276198125 HAS SOUPS 276198125 WITH SCORE 2.76627742818E8
AT ITER 7308 NEW BEST:: SOT 1932344663 SOS 429613775 HAS SOPS 429613775 HAS SOUS 276194082 HAS SOUPS 276194082 WITH SCORE 2.76623695775E8
AT ITER 7328 NEW BEST:: SOT 1932344662 SOS 429613773 HAS SOPS 429613773 HAS SOUS 276194080 HAS SOUPS 276194080 WITH SCORE 2.76623693773E8
AT ITER 7360 NEW BEST:: SOT 1932344661 SOS 429613771 HAS SOPS 429613771 HAS SOUS 276194078 HAS SOUPS 276194078 WITH SCORE 2.76623691771E8
AT ITER 7368 NEW BEST:: SOT 1932337180 SOS 429606286 HAS SOPS 429606286 HAS SOUS 276186596 HAS SOUPS 276186596 WITH SCORE 2.76616202286E8
AT ITER 7388 NEW BEST:: SOT 1932331108 SOS 429591106 HAS SOPS 429591106 HAS SOUS 276180524 HAS SOUPS 276180524 WITH SCORE 2.76610115106E8
AT ITER 7390 NEW BEST:: SOT 1932331107 SOS 429591104 HAS SOPS 429591104 HAS SOUS 276180522 HAS SOUPS 276180522 WITH SCORE 2.76610113104E8
AT ITER 7397 NEW BEST:: SOT 1932325113 SOS 429633062 HAS SOPS 429633062 HAS SOUS 276174528 HAS SOUPS 276174528 WITH SCORE 2.76604161062E8
AT ITER 7403 NEW BEST:: SOT 1932318807 SOS 429620450 HAS SOPS 429620450 HAS SOUS 276161916 HAS SOUPS 276161916 WITH SCORE 2.7659153645E8
AT ITER 7410 NEW BEST:: SOT 1932312192 SOS 429613943 HAS SOPS 429613943 HAS SOUS 276155409 HAS SOUPS 276155409 WITH SCORE 2.76585022943E8
AT ITER 7440 NEW BEST:: SOT 1932302783 SOS 429608621 HAS SOPS 429608621 HAS SOUS 276148110 HAS SOUPS 276148110 WITH SCORE 2.76577718621E8
AT ITER 7485 NEW BEST:: SOT 1932293726 SOS 429598303 HAS SOPS 429598303 HAS SOUS 276139741 HAS SOUPS 276139741 WITH SCORE 2.76569339303E8
AT ITER 7510 NEW BEST:: SOT 1932285283 SOS 429589856 HAS SOPS 429589856 HAS SOUS 276131297 HAS SOUPS 276131297 WITH SCORE 2.76560886856E8
AT ITER 7514 NEW BEST:: SOT 1932285283 SOS 429576098 HAS SOPS 429576098 HAS SOUS 276131297 HAS SOUPS 276131297 WITH SCORE 2.76560873098E8
AT ITER 7537 NEW BEST:: SOT 1932285674 SOS 429569060 HAS SOPS 429569060 HAS SOUS 276127973 HAS SOUPS 276127973 WITH SCORE 2.7655754206E8
AT ITER 7547 NEW BEST:: SOT 1932277613 SOS 429570780 HAS SOPS 429570780 HAS SOUS 276127625 HAS SOUPS 276127625 WITH SCORE 2.7655719578E8
AT ITER 7568 NEW BEST:: SOT 1932269790 SOS 429555134 HAS SOPS 429555134 HAS SOUS 276111979 HAS SOUPS 276111979 WITH SCORE 2.76541534134E8
AT ITER 7587 NEW BEST:: SOT 1932267200 SOS 429549954 HAS SOPS 429549954 HAS SOUS 276106799 HAS SOUPS 276106799 WITH SCORE 2.76536348954E8
AT ITER 7591 NEW BEST:: SOT 1932256720 SOS 429537378 HAS SOPS 429537378 HAS SOUS 276097509 HAS SOUPS 276097509 WITH SCORE 2.76527046378E8
AT ITER 7595 NEW BEST:: SOT 1932253217 SOS 429530372 HAS SOPS 429530372 HAS SOUS 276090503 HAS SOUPS 276090503 WITH SCORE 2.76520033372E8
AT ITER 7615 NEW BEST:: SOT 1932253216 SOS 429530370 HAS SOPS 429530370 HAS SOUS 276090501 HAS SOUPS 276090501 WITH SCORE 2.7652003137E8
AT ITER 7620 NEW BEST:: SOT 1932252144 SOS 429527187 HAS SOPS 429527187 HAS SOUS 276090501 HAS SOUPS 276090501 WITH SCORE 2.76520028187E8
AT ITER 7624 NEW BEST:: SOT 1932246057 SOS 429533274 HAS SOPS 429533274 HAS SOUS 276081143 HAS SOUPS 276081143 WITH SCORE 2.76510676274E8
AT ITER 7633 NEW BEST:: SOT 1932246057 SOS 429533274 HAS SOPS 429533274 HAS SOUS 276081142 HAS SOUPS 276081142 WITH SCORE 2.76510675274E8
AT ITER 7635 NEW BEST:: SOT 1932241182 SOS 429532869 HAS SOPS 429532869 HAS SOUS 276080740 HAS SOUPS 276080740 WITH SCORE 2.76510272869E8
AT ITER 7653 NEW BEST:: SOT 1932235082 SOS 429520669 HAS SOPS 429520669 HAS SOUS 276068540 HAS SOUPS 276068540 WITH SCORE 2.76498060669E8
AT ITER 7698 NEW BEST:: SOT 1932235081 SOS 429520667 HAS SOPS 429520667 HAS SOUS 276068538 HAS SOUPS 276068538 WITH SCORE 2.76498058667E8
AT ITER 7708 NEW BEST:: SOT 1932235077 SOS 429520659 HAS SOPS 429520659 HAS SOUS 276068530 HAS SOUPS 276068530 WITH SCORE 2.76498050659E8
AT ITER 7721 NEW BEST:: SOT 1932229837 SOS 429510179 HAS SOPS 429510179 HAS SOUS 276058050 HAS SOUPS 276058050 WITH SCORE 2.76487560179E8
AT ITER 7723 NEW BEST:: SOT 1932234556 SOS 429519616 HAS SOPS 429519616 HAS SOUS 276053541 HAS SOUPS 276053541 WITH SCORE 2.76483060616E8
AT ITER 7751 NEW BEST:: SOT 1932234556 SOS 429519616 HAS SOPS 429519616 HAS SOUS 276053540 HAS SOUPS 276053540 WITH SCORE 2.76483059616E8
AT ITER 7761 NEW BEST:: SOT 1932232149 SOS 429514798 HAS SOPS 429514798 HAS SOUS 276048725 HAS SOUPS 276048725 WITH SCORE 2.76478239798E8
AT ITER 7806 NEW BEST:: SOT 1932223882 SOS 429512121 HAS SOPS 429512121 HAS SOUS 276046048 HAS SOUPS 276046048 WITH SCORE 2.76475560121E8
AT ITER 7808 NEW BEST:: SOT 1932223882 SOS 429507856 HAS SOPS 429507856 HAS SOUS 276041783 HAS SOUPS 276041783 WITH SCORE 2.76471290856E8
AT ITER 7810 NEW BEST:: SOT 1932219475 SOS 429503449 HAS SOPS 429503449 HAS SOUS 276037376 HAS SOUPS 276037376 WITH SCORE 2.76466879449E8
AT ITER 7817 NEW BEST:: SOT 1932217878 SOS 429500255 HAS SOPS 429500255 HAS SOUS 276032260 HAS SOUPS 276032260 WITH SCORE 2.76461760255E8
AT ITER 7822 NEW BEST:: SOT 1932216332 SOS 429497163 HAS SOPS 429497163 HAS SOUS 276029168 HAS SOUPS 276029168 WITH SCORE 2.76458665163E8
AT ITER 7833 NEW BEST:: SOT 1932216331 SOS 429497161 HAS SOPS 429497161 HAS SOUS 276029166 HAS SOUPS 276029166 WITH SCORE 2.76458663161E8
AT ITER 7870 NEW BEST:: SOT 1932216840 SOS 429498178 HAS SOPS 429498178 HAS SOUS 276024652 HAS SOUPS 276024652 WITH SCORE 2.76454150178E8
AT ITER 7883 NEW BEST:: SOT 1932216840 SOS 429498178 HAS SOPS 429498178 HAS SOUS 276015813 HAS SOUPS 276015813 WITH SCORE 2.76445311178E8
AT ITER 7891 NEW BEST:: SOT 1932216840 SOS 429509678 HAS SOPS 429509678 HAS SOUS 276014938 HAS SOUPS 276014938 WITH SCORE 2.76444447678E8
AT ITER 7924 NEW BEST:: SOT 1932216840 SOS 429506003 HAS SOPS 429506003 HAS SOUS 276014938 HAS SOUPS 276014938 WITH SCORE 2.76444444003E8
AT ITER 7945 NEW BEST:: SOT 1932216632 SOS 429505587 HAS SOPS 429505587 HAS SOUS 276014522 HAS SOUPS 276014522 WITH SCORE 2.76444027587E8
AT ITER 7952 NEW BEST:: SOT 1932216632 SOS 429505587 HAS SOPS 429505587 HAS SOUS 276007945 HAS SOUPS 276007945 WITH SCORE 2.76437450587E8
AT ITER 7981 NEW BEST:: SOT 1932214123 SOS 429513280 HAS SOPS 429513280 HAS SOUS 276005436 HAS SOUPS 276005436 WITH SCORE 2.7643494928E8
AT ITER 8067 NEW BEST:: SOT 1932210737 SOS 429506508 HAS SOPS 429506508 HAS SOUS 275994238 HAS SOUPS 275994238 WITH SCORE 2.76423744508E8
AT ITER 8072 NEW BEST:: SOT 1932209696 SOS 429504426 HAS SOPS 429504426 HAS SOUS 275993197 HAS SOUPS 275993197 WITH SCORE 2.76422701426E8
AT ITER 8098 NEW BEST:: SOT 1932207877 SOS 429505284 HAS SOPS 429505284 HAS SOUS 275989559 HAS SOUPS 275989559 WITH SCORE 2.76419064284E8
AT ITER 8111 NEW BEST:: SOT 1932207877 SOS 429505284 HAS SOPS 429505284 HAS SOUS 275989558 HAS SOUPS 275989558 WITH SCORE 2.76419063284E8
AT ITER 8129 NEW BEST:: SOT 1932207876 SOS 429505282 HAS SOPS 429505282 HAS SOUS 275989556 HAS SOUPS 275989556 WITH SCORE 2.76419061282E8
AT ITER 8135 NEW BEST:: SOT 1932203988 SOS 429504869 HAS SOPS 429504869 HAS SOUS 275989143 HAS SOUPS 275989143 WITH SCORE 2.76418647869E8
AT ITER 8178 NEW BEST:: SOT 1932202819 SOS 429502530 HAS SOPS 429502530 HAS SOUS 275986804 HAS SOUPS 275986804 WITH SCORE 2.7641630653E8
AT ITER 8212 NEW BEST:: SOT 1932199922 SOS 429496736 HAS SOPS 429496736 HAS SOUS 275985143 HAS SOUPS 275985143 WITH SCORE 2.76414639736E8
AT ITER 8213 NEW BEST:: SOT 1932199241 SOS 429498098 HAS SOPS 429498098 HAS SOUS 275984462 HAS SOUPS 275984462 WITH SCORE 2.76413960098E8
AT ITER 8214 NEW BEST:: SOT 1932199241 SOS 429503865 HAS SOPS 429503865 HAS SOUS 275981430 HAS SOUPS 275981430 WITH SCORE 2.76410933865E8
AT ITER 8245 NEW BEST:: SOT 1932186323 SOS 429503961 HAS SOPS 429503961 HAS SOUS 275977156 HAS SOUPS 275977156 WITH SCORE 2.76406659961E8
AT ITER 8266 NEW BEST:: SOT 1932180091 SOS 429494641 HAS SOPS 429494641 HAS SOUS 275967809 HAS SOUPS 275967809 WITH SCORE 2.76397303641E8
AT ITER 8282 NEW BEST:: SOT 1932172738 SOS 429479935 HAS SOPS 429479935 HAS SOUS 275953103 HAS SOUPS 275953103 WITH SCORE 2.76382582935E8
AT ITER 8285 NEW BEST:: SOT 1932172738 SOS 429478923 HAS SOPS 429478923 HAS SOUS 275952091 HAS SOUPS 275952091 WITH SCORE 2.76381569923E8
AT ITER 8309 NEW BEST:: SOT 1932170550 SOS 429474547 HAS SOPS 429474547 HAS SOUS 275949903 HAS SOUPS 275949903 WITH SCORE 2.76379377547E8
AT ITER 8327 NEW BEST:: SOT 1932145118 SOS 429456051 HAS SOPS 429456051 HAS SOUS 275936031 HAS SOUPS 275936031 WITH SCORE 2.76365487051E8
AT ITER 8355 NEW BEST:: SOT 1932137538 SOS 429440891 HAS SOPS 429440891 HAS SOUS 275920871 HAS SOUPS 275920871 WITH SCORE 2.76350311891E8
AT ITER 8377 NEW BEST:: SOT 1932137616 SOS 429441047 HAS SOPS 429441047 HAS SOUS 275906437 HAS SOUPS 275906437 WITH SCORE 2.76335878047E8
AT ITER 8382 NEW BEST:: SOT 1932136227 SOS 429439658 HAS SOPS 429439658 HAS SOUS 275905048 HAS SOUPS 275905048 WITH SCORE 2.76334487658E8
AT ITER 8389 NEW BEST:: SOT 1932130483 SOS 429439656 HAS SOPS 429439656 HAS SOUS 275905046 HAS SOUPS 275905046 WITH SCORE 2.76334485656E8
AT ITER 8395 NEW BEST:: SOT 1932130483 SOS 429439656 HAS SOPS 429439656 HAS SOUS 275905045 HAS SOUPS 275905045 WITH SCORE 2.76334484656E8
AT ITER 8402 NEW BEST:: SOT 1932130483 SOS 429440536 HAS SOPS 429440536 HAS SOUS 275905044 HAS SOUPS 275905044 WITH SCORE 2.76334484536E8
AT ITER 8404 NEW BEST:: SOT 1932122161 SOS 429508051 HAS SOPS 429508051 HAS SOUS 275897527 HAS SOUPS 275897527 WITH SCORE 2.76327035051E8
AT ITER 8434 NEW BEST:: SOT 1932121684 SOS 429509001 HAS SOPS 429509001 HAS SOUS 275897049 HAS SOUPS 275897049 WITH SCORE 2.76326558001E8
AT ITER 8445 NEW BEST:: SOT 1932121684 SOS 429510957 HAS SOPS 429510957 HAS SOUS 275897047 HAS SOUPS 275897047 WITH SCORE 2.76326557957E8
AT ITER 8450 NEW BEST:: SOT 1932108809 SOS 429485207 HAS SOPS 429485207 HAS SOUS 275871297 HAS SOUPS 275871297 WITH SCORE 2.76300782207E8
AT ITER 8454 NEW BEST:: SOT 1932107474 SOS 429482537 HAS SOPS 429482537 HAS SOUS 275868627 HAS SOUPS 275868627 WITH SCORE 2.76298109537E8
AT ITER 8458 NEW BEST:: SOT 1932107474 SOS 429480576 HAS SOPS 429480576 HAS SOUS 275868627 HAS SOUPS 275868627 WITH SCORE 2.76298107576E8
AT ITER 8473 NEW BEST:: SOT 1932107474 SOS 429480454 HAS SOPS 429480454 HAS SOUS 275868505 HAS SOUPS 275868505 WITH SCORE 2.76297985454E8
AT ITER 8480 NEW BEST:: SOT 1932105933 SOS 429478913 HAS SOPS 429478913 HAS SOUS 275866964 HAS SOUPS 275866964 WITH SCORE 2.76296442913E8
AT ITER 8515 NEW BEST:: SOT 1932096903 SOS 429469879 HAS SOPS 429469879 HAS SOUS 275857933 HAS SOUPS 275857933 WITH SCORE 2.76287402879E8
AT ITER 8559 NEW BEST:: SOT 1932079926 SOS 429498463 HAS SOPS 429498463 HAS SOUS 275853697 HAS SOUPS 275853697 WITH SCORE 2.76283195463E8
AT ITER 8574 NEW BEST:: SOT 1932077548 SOS 429503215 HAS SOPS 429503215 HAS SOUS 275851318 HAS SOUPS 275851318 WITH SCORE 2.76280821215E8
AT ITER 8579 NEW BEST:: SOT 1932064974 SOS 429504890 HAS SOPS 429504890 HAS SOUS 275850432 HAS SOUPS 275850432 WITH SCORE 2.7627993689E8
AT ITER 8593 NEW BEST:: SOT 1932064220 SOS 429503383 HAS SOPS 429503383 HAS SOUS 275848925 HAS SOUPS 275848925 WITH SCORE 2.76278428383E8
AT ITER 8601 NEW BEST:: SOT 1932059490 SOS 429500867 HAS SOPS 429500867 HAS SOUS 275846411 HAS SOUPS 275846411 WITH SCORE 2.76275911867E8
AT ITER 8602 NEW BEST:: SOT 1932059050 SOS 429500866 HAS SOPS 429500866 HAS SOUS 275846410 HAS SOUPS 275846410 WITH SCORE 2.76275910866E8
AT ITER 8609 NEW BEST:: SOT 1932051450 SOS 429493226 HAS SOPS 429493226 HAS SOUS 275844335 HAS SOUPS 275844335 WITH SCORE 2.76273828226E8
AT ITER 8616 NEW BEST:: SOT 1932044121 SOS 429469053 HAS SOPS 429469053 HAS SOUS 275832795 HAS SOUPS 275832795 WITH SCORE 2.76262264053E8
AT ITER 8630 NEW BEST:: SOT 1932045345 SOS 429471501 HAS SOPS 429471501 HAS SOUS 275829531 HAS SOUPS 275829531 WITH SCORE 2.76259002501E8
AT ITER 8672 NEW BEST:: SOT 1932045345 SOS 429471611 HAS SOPS 429471611 HAS SOUS 275829529 HAS SOUPS 275829529 WITH SCORE 2.76259000611E8
AT ITER 8719 NEW BEST:: SOT 1932032141 SOS 429465009 HAS SOPS 429465009 HAS SOUS 275822927 HAS SOUPS 275822927 WITH SCORE 2.76252392009E8
AT ITER 8757 NEW BEST:: SOT 1932027076 SOS 429454879 HAS SOPS 429454879 HAS SOUS 275812797 HAS SOUPS 275812797 WITH SCORE 2.76242251879E8
AT ITER 8758 NEW BEST:: SOT 1932028383 SOS 429485533 HAS SOPS 429485533 HAS SOUS 275806062 HAS SOUPS 275806062 WITH SCORE 2.76235547533E8
AT ITER 8766 NEW BEST:: SOT 1932024951 SOS 429492389 HAS SOPS 429492389 HAS SOUS 275802628 HAS SOUPS 275802628 WITH SCORE 2.76232120389E8
AT ITER 8776 NEW BEST:: SOT 1932020317 SOS 429483120 HAS SOPS 429483120 HAS SOUS 275793359 HAS SOUPS 275793359 WITH SCORE 2.7622284212E8
AT ITER 8809 NEW BEST:: SOT 1932020317 SOS 429483120 HAS SOPS 429483120 HAS SOUS 275787634 HAS SOUPS 275787634 WITH SCORE 2.7621711712E8
AT ITER 8865 NEW BEST:: SOT 1932023701 SOS 429482606 HAS SOPS 429482606 HAS SOUS 275787120 HAS SOUPS 275787120 WITH SCORE 2.76216602606E8
AT ITER 8905 NEW BEST:: SOT 1932022150 SOS 429479504 HAS SOPS 429479504 HAS SOUS 275784018 HAS SOUPS 275784018 WITH SCORE 2.76213497504E8
AT ITER 8934 NEW BEST:: SOT 1932015567 SOS 429475913 HAS SOPS 429475913 HAS SOUS 275780427 HAS SOUPS 275780427 WITH SCORE 2.76209902913E8
AT ITER 8971 NEW BEST:: SOT 1932015567 SOS 429475913 HAS SOPS 429475913 HAS SOUS 275780426 HAS SOUPS 275780426 WITH SCORE 2.76209901913E8
AT ITER 9034 NEW BEST:: SOT 1932015567 SOS 429475913 HAS SOPS 429475913 HAS SOUS 275776694 HAS SOUPS 275776694 WITH SCORE 2.76206169913E8
AT ITER 9042 NEW BEST:: SOT 1932014521 SOS 429478001 HAS SOPS 429478001 HAS SOUS 275775647 HAS SOUPS 275775647 WITH SCORE 2.76205125001E8
AT ITER 9114 NEW BEST:: SOT 1932012896 SOS 429474751 HAS SOPS 429474751 HAS SOUS 275772397 HAS SOUPS 275772397 WITH SCORE 2.76201871751E8
AT ITER 9127 NEW BEST:: SOT 1932006111 SOS 429461181 HAS SOPS 429461181 HAS SOUS 275758827 HAS SOUPS 275758827 WITH SCORE 2.76188288181E8
AT ITER 9132 NEW BEST:: SOT 1932000414 SOS 429427587 HAS SOPS 429427587 HAS SOUS 275747433 HAS SOUPS 275747433 WITH SCORE 2.76176860587E8
AT ITER 9137 NEW BEST:: SOT 1931998831 SOS 429424421 HAS SOPS 429424421 HAS SOUS 275744267 HAS SOUPS 275744267 WITH SCORE 2.76173691421E8
AT ITER 9158 NEW BEST:: SOT 1931987203 SOS 429412793 HAS SOPS 429412793 HAS SOUS 275732639 HAS SOUPS 275732639 WITH SCORE 2.76162051793E8
AT ITER 9185 NEW BEST:: SOT 1931980798 SOS 429407029 HAS SOPS 429407029 HAS SOUS 275726875 HAS SOUPS 275726875 WITH SCORE 2.76156282029E8
AT ITER 9225 NEW BEST:: SOT 1931971351 SOS 429359794 HAS SOPS 429359794 HAS SOUS 275707981 HAS SOUPS 275707981 WITH SCORE 2.76137340794E8
AT ITER 9229 NEW BEST:: SOT 1931968390 SOS 429356833 HAS SOPS 429356833 HAS SOUS 275705020 HAS SOUPS 275705020 WITH SCORE 2.76134376833E8
AT ITER 9242 NEW BEST:: SOT 1931966329 SOS 429360951 HAS SOPS 429360951 HAS SOUS 275702958 HAS SOUPS 275702958 WITH SCORE 2.76132318951E8
AT ITER 9251 NEW BEST:: SOT 1931963564 SOS 429366477 HAS SOPS 429366477 HAS SOUS 275700192 HAS SOUPS 275700192 WITH SCORE 2.76129558477E8
AT ITER 9331 NEW BEST:: SOT 1931951123 SOS 429367785 HAS SOPS 429367785 HAS SOUS 275699099 HAS SOUPS 275699099 WITH SCORE 2.76128466785E8
AT ITER 9340 NEW BEST:: SOT 1931949202 SOS 429363942 HAS SOPS 429363942 HAS SOUS 275695256 HAS SOUPS 275695256 WITH SCORE 2.76124619942E8
AT ITER 9346 NEW BEST:: SOT 1931949202 SOS 429361219 HAS SOPS 429361219 HAS SOUS 275695256 HAS SOUPS 275695256 WITH SCORE 2.76124617219E8
AT ITER 9350 NEW BEST:: SOT 1931947547 SOS 429384441 HAS SOPS 429384441 HAS SOUS 275693601 HAS SOUPS 275693601 WITH SCORE 2.76122985441E8
AT ITER 9379 NEW BEST:: SOT 1931945867 SOS 429387797 HAS SOPS 429387797 HAS SOUS 275691920 HAS SOUPS 275691920 WITH SCORE 2.76121307797E8
AT ITER 9407 NEW BEST:: SOT 1931944176 SOS 429384415 HAS SOPS 429384415 HAS SOUS 275688538 HAS SOUPS 275688538 WITH SCORE 2.76117922415E8
AT ITER 9412 NEW BEST:: SOT 1931944030 SOS 429384123 HAS SOPS 429384123 HAS SOUS 275688246 HAS SOUPS 275688246 WITH SCORE 2.76117630123E8
AT ITER 9420 NEW BEST:: SOT 1931933107 SOS 429362277 HAS SOPS 429362277 HAS SOUS 275666400 HAS SOUPS 275666400 WITH SCORE 2.76095762277E8
AT ITER 9430 NEW BEST:: SOT 1931924884 SOS 429345831 HAS SOPS 429345831 HAS SOUS 275649954 HAS SOUPS 275649954 WITH SCORE 2.76079299831E8
AT ITER 9445 NEW BEST:: SOT 1931909743 SOS 429339975 HAS SOPS 429339975 HAS SOUS 275642955 HAS SOUPS 275642955 WITH SCORE 2.76072294975E8
AT ITER 9613 NEW BEST:: SOT 1931908685 SOS 429339446 HAS SOPS 429339446 HAS SOUS 275642426 HAS SOUPS 275642426 WITH SCORE 2.76071765446E8
AT ITER 9644 NEW BEST:: SOT 1931648330 SOS 433834805 HAS SOPS 433834805 HAS SOUS 275412502 HAS SOUPS 275412502 WITH SCORE 2.75846336805E8
AT ITER 9670 NEW BEST:: SOT 1931639725 SOS 433826196 HAS SOPS 433826196 HAS SOUS 275403896 HAS SOUPS 275403896 WITH SCORE 2.75837722196E8
AT ITER 9674 NEW BEST:: SOT 1931601445 SOS 433798356 HAS SOPS 433798356 HAS SOUS 275383016 HAS SOUPS 275383016 WITH SCORE 2.75816814356E8
AT ITER 9700 NEW BEST:: SOT 1931608482 SOS 433812430 HAS SOPS 433812430 HAS SOUS 275382696 HAS SOUPS 275382696 WITH SCORE 2.7581650843E8
AT ITER 9736 NEW BEST:: SOT 1931601589 SOS 433777965 HAS SOPS 433777965 HAS SOUS 275368910 HAS SOUPS 275368910 WITH SCORE 2.75802687965E8
AT ITER 9745 NEW BEST:: SOT 1931601247 SOS 433777623 HAS SOPS 433777623 HAS SOUS 275368910 HAS SOUPS 275368910 WITH SCORE 2.75802687623E8
AT ITER 9748 NEW BEST:: SOT 1931600495 SOS 433776931 HAS SOPS 433776931 HAS SOUS 275367346 HAS SOUPS 275367346 WITH SCORE 2.75801122931E8
AT ITER 9753 NEW BEST:: SOT 1931589979 SOS 433766415 HAS SOPS 433766415 HAS SOUS 275346314 HAS SOUPS 275346314 WITH SCORE 2.75780080415E8
AT ITER 9778 NEW BEST:: SOT 1931589979 SOS 433765887 HAS SOPS 433765887 HAS SOUS 275346314 HAS SOUPS 275346314 WITH SCORE 2.75780079887E8
AT ITER 9779 NEW BEST:: SOT 1931589979 SOS 433756296 HAS SOPS 433756296 HAS SOUS 275343117 HAS SOUPS 275343117 WITH SCORE 2.75776873296E8
AT ITER 9803 NEW BEST:: SOT 1931589979 SOS 433753274 HAS SOPS 433753274 HAS SOUS 275340095 HAS SOUPS 275340095 WITH SCORE 2.75773848274E8
AT ITER 9849 NEW BEST:: SOT 1931584156 SOS 433747451 HAS SOPS 433747451 HAS SOUS 275334272 HAS SOUPS 275334272 WITH SCORE 2.75768019451E8
AT ITER 9865 NEW BEST:: SOT 1931576193 SOS 433757126 HAS SOPS 433757126 HAS SOUS 275318345 HAS SOUPS 275318345 WITH SCORE 2.75752102126E8
AT ITER 9876 NEW BEST:: SOT 1931576192 SOS 433757124 HAS SOPS 433757124 HAS SOUS 275318343 HAS SOUPS 275318343 WITH SCORE 2.75752100124E8
AT ITER 9902 NEW BEST:: SOT 1931573754 SOS 433767407 HAS SOPS 433767407 HAS SOUS 275315905 HAS SOUPS 275315905 WITH SCORE 2.75749672407E8
AT ITER 9911 NEW BEST:: SOT 1931576483 SOS 433752879 HAS SOPS 433752879 HAS SOUS 275313336 HAS SOUPS 275313336 WITH SCORE 2.75747088879E8
AT ITER 9926 NEW BEST:: SOT 1931573684 SOS 433747281 HAS SOPS 433747281 HAS SOUS 275305685 HAS SOUPS 275305685 WITH SCORE 2.75739432281E8
AT ITER 9936 NEW BEST:: SOT 1931571508 SOS 433742929 HAS SOPS 433742929 HAS SOUS 275295704 HAS SOUPS 275295704 WITH SCORE 2.75729446929E8
AT ITER 9950 NEW BEST:: SOT 1931571508 SOS 433741237 HAS SOPS 433741237 HAS SOUS 275294012 HAS SOUPS 275294012 WITH SCORE 2.75727753237E8
AT ITER 9955 NEW BEST:: SOT 1931565768 SOS 433735497 HAS SOPS 433735497 HAS SOUS 275288272 HAS SOUPS 275288272 WITH SCORE 2.75722007497E8
AT ITER 9963 NEW BEST:: SOT 1931566466 SOS 433736893 HAS SOPS 433736893 HAS SOUS 275277459 HAS SOUPS 275277459 WITH SCORE 2.75711195893E8
AT ITER 9998 NEW BEST:: SOT 1931566466 SOS 433736893 HAS SOPS 433736893 HAS SOUS 275277458 HAS SOUPS 275277458 WITH SCORE 2.75711194893E8
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 12267612 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16045840 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-6b"
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-6b, 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-167814484800872"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DLCshifumi-PT-6b.tgz
mv DLCshifumi-PT-6b 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 ;