About the Execution of Smart+red for RERS17pb114-PT-9
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 2509.615 | 3600000.00 | 3811746.00 | 8019.90 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r331-tall-167889204100144.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 RERS17pb114-PT-9, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r331-tall-167889204100144
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 73M
-rw-r--r-- 1 mcc users 8.7K Feb 26 05:00 CTLCardinality.txt
-rw-r--r-- 1 mcc users 99K Feb 26 05:00 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.7K Feb 26 04:57 CTLFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 26 04:57 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:39 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:39 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.3K Feb 25 16:39 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K Feb 25 16:39 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 26 05:11 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 162K Feb 26 05:11 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.8K Feb 26 05:04 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 37K Feb 26 05:04 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:39 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:39 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 2 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 73M Mar 5 18:23 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1679081300760
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=RERS17pb114-PT-9
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-17 19:28:22] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-17 19:28:22] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-17 19:28:25] [INFO ] Load time of PNML (sax parser for PT used): 2288 ms
[2023-03-17 19:28:25] [INFO ] Transformed 1446 places.
[2023-03-17 19:28:25] [INFO ] Transformed 151085 transitions.
[2023-03-17 19:28:25] [INFO ] Parsed PT model containing 1446 places and 151085 transitions and 604252 arcs in 2832 ms.
[2023-03-17 19:28:26] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1446 places, 151085 transitions and 604252 arcs took 398 ms.
Total runtime 3271 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb114 (PT), instance 9
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: 1446 places, 151085 transitions, 604252 arcs.
AT ITER 0 NEW BEST:: SOT 133637376 SOS 82102937 HAS SOPS 66701866 HAS SOUS 26450299 HAS SOUPS 25820610 WITH SCORE 2.5902712937E7
AT ITER 3 NEW BEST:: SOT 133605003 SOS 82025358 HAS SOPS 66651553 HAS SOUS 26449565 HAS SOUPS 25819876 WITH SCORE 2.5901901358E7
AT ITER 9 NEW BEST:: SOT 133603746 SOS 82027104 HAS SOPS 66651188 HAS SOUS 26443251 HAS SOUPS 25813468 WITH SCORE 2.5895495104E7
AT ITER 15 NEW BEST:: SOT 133602255 SOS 82023154 HAS SOPS 66646554 HAS SOUS 26441666 HAS SOUPS 25811883 WITH SCORE 2.5893906154E7
AT ITER 26 NEW BEST:: SOT 133622375 SOS 82085043 HAS SOPS 66700393 HAS SOUS 26397557 HAS SOUPS 25767774 WITH SCORE 2.5849859043E7
AT ITER 47 NEW BEST:: SOT 133631260 SOS 82115603 HAS SOPS 66723771 HAS SOUS 26383213 HAS SOUPS 25753430 WITH SCORE 2.5835545603E7
AT ITER 71 NEW BEST:: SOT 133629819 SOS 82112786 HAS SOPS 66723388 HAS SOUS 26382897 HAS SOUPS 25753114 WITH SCORE 2.5835226786E7
AT ITER 74 NEW BEST:: SOT 133629271 SOS 82115339 HAS SOPS 66727623 HAS SOUS 26380431 HAS SOUPS 25750648 WITH SCORE 2.5832763339E7
AT ITER 83 NEW BEST:: SOT 133660804 SOS 82217216 HAS SOPS 66816450 HAS SOUS 26367995 HAS SOUPS 25738212 WITH SCORE 2.5820429216E7
AT ITER 99 NEW BEST:: SOT 133650770 SOS 82199852 HAS SOPS 66800655 HAS SOUS 26358100 HAS SOUPS 25728317 WITH SCORE 2.5810516852E7
AT ITER 111 NEW BEST:: SOT 133650770 SOS 82202620 HAS SOPS 66808127 HAS SOUS 26358010 HAS SOUPS 25728227 WITH SCORE 2.581042962E7
AT ITER 127 NEW BEST:: SOT 133650877 SOS 82205619 HAS SOPS 66809546 HAS SOUS 26355684 HAS SOUPS 25725901 WITH SCORE 2.5808106619E7
AT ITER 141 NEW BEST:: SOT 133650038 SOS 82204882 HAS SOPS 66808089 HAS SOUS 26355267 HAS SOUPS 25725468 WITH SCORE 2.5807672882E7
AT ITER 145 NEW BEST:: SOT 133666266 SOS 82259975 HAS SOPS 66846827 HAS SOUS 26321327 HAS SOUPS 25691528 WITH SCORE 2.5773787975E7
AT ITER 152 NEW BEST:: SOT 133674479 SOS 82267302 HAS SOPS 66864334 HAS SOUS 26313886 HAS SOUPS 25684391 WITH SCORE 2.5766658302E7
AT ITER 160 NEW BEST:: SOT 133670891 SOS 82260505 HAS SOPS 66860036 HAS SOUS 26298330 HAS SOUPS 25668835 WITH SCORE 2.5751095505E7
AT ITER 165 NEW BEST:: SOT 133674591 SOS 82285884 HAS SOPS 66876278 HAS SOUS 26283609 HAS SOUPS 25654114 WITH SCORE 2.5736399884E7
AT ITER 166 NEW BEST:: SOT 133681022 SOS 82302708 HAS SOPS 66885852 HAS SOUS 26282538 HAS SOUPS 25653043 WITH SCORE 2.5735345708E7
AT ITER 174 NEW BEST:: SOT 133672766 SOS 82297041 HAS SOPS 66883569 HAS SOUS 26281153 HAS SOUPS 25651658 WITH SCORE 2.5733955041E7
AT ITER 185 NEW BEST:: SOT 133675666 SOS 82305720 HAS SOPS 66900317 HAS SOUS 26259925 HAS SOUPS 25630441 WITH SCORE 2.571274672E7
AT ITER 187 NEW BEST:: SOT 133676566 SOS 82308772 HAS SOPS 66901642 HAS SOUS 26258773 HAS SOUPS 25629289 WITH SCORE 2.5711597772E7
AT ITER 209 NEW BEST:: SOT 133674517 SOS 82306171 HAS SOPS 66899449 HAS SOUS 26254516 HAS SOUPS 25625032 WITH SCORE 2.5707338171E7
AT ITER 212 NEW BEST:: SOT 133668356 SOS 82297153 HAS SOPS 66893264 HAS SOUS 26242930 HAS SOUPS 25613513 WITH SCORE 2.5695810153E7
AT ITER 229 NEW BEST:: SOT 133658256 SOS 82288865 HAS SOPS 66880938 HAS SOUS 26220017 HAS SOUPS 25590600 WITH SCORE 2.5672888865E7
AT ITER 230 NEW BEST:: SOT 133657792 SOS 82288366 HAS SOPS 66879878 HAS SOUS 26219192 HAS SOUPS 25589775 WITH SCORE 2.5672063366E7
AT ITER 231 NEW BEST:: SOT 133566402 SOS 82186437 HAS SOPS 66775889 HAS SOUS 26120473 HAS SOUPS 25489425 WITH SCORE 2.5571611437E7
AT ITER 254 NEW BEST:: SOT 133597764 SOS 82282249 HAS SOPS 66865481 HAS SOUS 26113844 HAS SOUPS 25482796 WITH SCORE 2.5565078249E7
AT ITER 262 NEW BEST:: SOT 133595077 SOS 82281308 HAS SOPS 66864344 HAS SOUS 26101178 HAS SOUPS 25470130 WITH SCORE 2.5552411308E7
AT ITER 276 NEW BEST:: SOT 133582987 SOS 82265601 HAS SOPS 66848384 HAS SOUS 26095323 HAS SOUPS 25464275 WITH SCORE 2.5546540601E7
AT ITER 278 NEW BEST:: SOT 133590943 SOS 82280256 HAS SOPS 66861263 HAS SOUS 26075123 HAS SOUPS 25444075 WITH SCORE 2.5526355256E7
AT ITER 282 NEW BEST:: SOT 133590149 SOS 82279504 HAS SOPS 66860074 HAS SOUS 26071780 HAS SOUPS 25440732 WITH SCORE 2.5523011504E7
AT ITER 283 NEW BEST:: SOT 133584675 SOS 82271481 HAS SOPS 66852664 HAS SOUS 26069704 HAS SOUPS 25438656 WITH SCORE 2.5520927481E7
AT ITER 289 NEW BEST:: SOT 133584971 SOS 82274874 HAS SOPS 66856921 HAS SOUS 26057379 HAS SOUPS 25426331 WITH SCORE 2.5508605874E7
AT ITER 290 NEW BEST:: SOT 133567880 SOS 82219724 HAS SOPS 66825293 HAS SOUS 26056712 HAS SOUPS 25425664 WITH SCORE 2.5507883724E7
AT ITER 291 NEW BEST:: SOT 133561481 SOS 82210315 HAS SOPS 66812897 HAS SOUS 26039028 HAS SOUPS 25407164 WITH SCORE 2.5489374315E7
AT ITER 332 NEW BEST:: SOT 133543033 SOS 82159640 HAS SOPS 66780162 HAS SOUS 26016730 HAS SOUPS 25385853 WITH SCORE 2.546801264E7
AT ITER 336 NEW BEST:: SOT 133542881 SOS 82159892 HAS SOPS 66780502 HAS SOUS 26015758 HAS SOUPS 25384881 WITH SCORE 2.5467040892E7
AT ITER 345 NEW BEST:: SOT 133492275 SOS 82104823 HAS SOPS 66725111 HAS SOUS 25959959 HAS SOUPS 25329082 WITH SCORE 2.5411186823E7
AT ITER 347 NEW BEST:: SOT 133490017 SOS 82097809 HAS SOPS 66720476 HAS SOUS 25959331 HAS SOUPS 25328454 WITH SCORE 2.5410551809E7
AT ITER 350 NEW BEST:: SOT 133483406 SOS 82088598 HAS SOPS 66731190 HAS SOUS 25937371 HAS SOUPS 25309589 WITH SCORE 2.5391677598E7
AT ITER 351 NEW BEST:: SOT 133486714 SOS 82094902 HAS SOPS 66731310 HAS SOUS 25936024 HAS SOUPS 25308242 WITH SCORE 2.5390336902E7
AT ITER 366 NEW BEST:: SOT 133487808 SOS 82098435 HAS SOPS 66732702 HAS SOUS 25932939 HAS SOUPS 25305157 WITH SCORE 2.5387255435E7
AT ITER 371 NEW BEST:: SOT 133487799 SOS 82111573 HAS SOPS 66740678 HAS SOUS 25926080 HAS SOUPS 25298298 WITH SCORE 2.5380409573E7
AT ITER 373 NEW BEST:: SOT 133488919 SOS 82117540 HAS SOPS 66744406 HAS SOUS 25924662 HAS SOUPS 25296880 WITH SCORE 2.537899754E7
AT ITER 378 NEW BEST:: SOT 133487892 SOS 82117617 HAS SOPS 66742781 HAS SOUS 25920046 HAS SOUPS 25292241 WITH SCORE 2.5374358617E7
AT ITER 409 NEW BEST:: SOT 133491679 SOS 82120969 HAS SOPS 66745042 HAS SOUS 25918852 HAS SOUPS 25291167 WITH SCORE 2.5373287969E7
AT ITER 436 NEW BEST:: SOT 133488254 SOS 82112891 HAS SOPS 66749117 HAS SOUS 25916550 HAS SOUPS 25288865 WITH SCORE 2.5370977891E7
AT ITER 443 NEW BEST:: SOT 133488134 SOS 82113051 HAS SOPS 66749127 HAS SOUS 25916144 HAS SOUPS 25288459 WITH SCORE 2.5370572051E7
AT ITER 445 NEW BEST:: SOT 133489394 SOS 82120871 HAS SOPS 66768732 HAS SOUS 25911975 HAS SOUPS 25284290 WITH SCORE 2.5366410871E7
AT ITER 458 NEW BEST:: SOT 133481829 SOS 82112211 HAS SOPS 66757490 HAS SOUS 25893773 HAS SOUPS 25266089 WITH SCORE 2.5348201211E7
AT ITER 459 NEW BEST:: SOT 133476404 SOS 82090923 HAS SOPS 66741627 HAS SOUS 25892567 HAS SOUPS 25264883 WITH SCORE 2.5346973923E7
AT ITER 463 NEW BEST:: SOT 133478421 SOS 82091088 HAS SOPS 66759393 HAS SOUS 25888589 HAS SOUPS 25260840 WITH SCORE 2.5342931088E7
AT ITER 469 NEW BEST:: SOT 133483840 SOS 82099545 HAS SOPS 66762410 HAS SOUS 25884404 HAS SOUPS 25256524 WITH SCORE 2.5338623545E7
AT ITER 470 NEW BEST:: SOT 133483881 SOS 82099746 HAS SOPS 66762500 HAS SOUS 25881055 HAS SOUPS 25253449 WITH SCORE 2.5335548746E7
AT ITER 484 NEW BEST:: SOT 133483169 SOS 82091313 HAS SOPS 66752253 HAS SOUS 25881052 HAS SOUPS 25253446 WITH SCORE 2.5335537313E7
AT ITER 502 NEW BEST:: SOT 133486335 SOS 82094546 HAS SOPS 66751870 HAS SOUS 25873721 HAS SOUPS 25246115 WITH SCORE 2.5328209546E7
AT ITER 505 NEW BEST:: SOT 133489241 SOS 82102903 HAS SOPS 66755121 HAS SOUS 25870492 HAS SOUPS 25242886 WITH SCORE 2.5324988903E7
AT ITER 507 NEW BEST:: SOT 133504306 SOS 82137855 HAS SOPS 66780489 HAS SOUS 25860213 HAS SOUPS 25232607 WITH SCORE 2.5314744855E7
AT ITER 511 NEW BEST:: SOT 133478144 SOS 82115231 HAS SOPS 66761120 HAS SOUS 25786365 HAS SOUPS 25159019 WITH SCORE 2.5241134231E7
AT ITER 512 NEW BEST:: SOT 133502878 SOS 82171081 HAS SOPS 66823597 HAS SOUS 25782426 HAS SOUPS 25155511 WITH SCORE 2.5237682081E7
AT ITER 532 NEW BEST:: SOT 133497054 SOS 82184307 HAS SOPS 66847100 HAS SOUS 25737777 HAS SOUPS 25110862 WITH SCORE 2.5193046307E7
AT ITER 538 NEW BEST:: SOT 133492989 SOS 82179622 HAS SOPS 66838689 HAS SOUS 25725408 HAS SOUPS 25098493 WITH SCORE 2.5180672622E7
AT ITER 547 NEW BEST:: SOT 133475593 SOS 82138276 HAS SOPS 66830159 HAS SOUS 25719174 HAS SOUPS 25093538 WITH SCORE 2.5175676276E7
AT ITER 552 NEW BEST:: SOT 133467028 SOS 82117209 HAS SOPS 66815496 HAS SOUS 25712682 HAS SOUPS 25087046 WITH SCORE 2.5169163209E7
AT ITER 558 NEW BEST:: SOT 133467162 SOS 82116865 HAS SOPS 66815502 HAS SOUS 25709321 HAS SOUPS 25083685 WITH SCORE 2.5165801865E7
AT ITER 561 NEW BEST:: SOT 133500098 SOS 82197347 HAS SOPS 66945399 HAS SOUS 25701477 HAS SOUPS 25076557 WITH SCORE 2.5158754347E7
AT ITER 564 NEW BEST:: SOT 133497811 SOS 82186384 HAS SOPS 66936779 HAS SOUS 25697754 HAS SOUPS 25072834 WITH SCORE 2.5155020384E7
AT ITER 585 NEW BEST:: SOT 133497811 SOS 82186510 HAS SOPS 66937066 HAS SOUS 25697751 HAS SOUPS 25072831 WITH SCORE 2.515501751E7
AT ITER 595 NEW BEST:: SOT 133507012 SOS 82199918 HAS SOPS 66946264 HAS SOUS 25695796 HAS SOUPS 25070876 WITH SCORE 2.5153075918E7
AT ITER 598 NEW BEST:: SOT 133507016 SOS 82199869 HAS SOPS 66946194 HAS SOUS 25695789 HAS SOUPS 25070869 WITH SCORE 2.5153068869E7
AT ITER 599 NEW BEST:: SOT 133518894 SOS 82241345 HAS SOPS 66981589 HAS SOUS 25691450 HAS SOUPS 25066530 WITH SCORE 2.5148771345E7
AT ITER 603 NEW BEST:: SOT 133521206 SOS 82251250 HAS SOPS 66993985 HAS SOUS 25682977 HAS SOUPS 25058057 WITH SCORE 2.514030825E7
AT ITER 618 NEW BEST:: SOT 133519777 SOS 82249179 HAS SOPS 66991780 HAS SOUS 25680320 HAS SOUPS 25055400 WITH SCORE 2.5137649179E7
AT ITER 621 NEW BEST:: SOT 133516181 SOS 82265916 HAS SOPS 67027924 HAS SOUS 25670498 HAS SOUPS 25045578 WITH SCORE 2.5127843916E7
AT ITER 627 NEW BEST:: SOT 133516120 SOS 82265930 HAS SOPS 67027840 HAS SOUS 25670393 HAS SOUPS 25045473 WITH SCORE 2.512773893E7
AT ITER 633 NEW BEST:: SOT 133525191 SOS 82287589 HAS SOPS 67044133 HAS SOUS 25668964 HAS SOUPS 25044044 WITH SCORE 2.5126331589E7
AT ITER 639 NEW BEST:: SOT 133521692 SOS 82280809 HAS SOPS 67036564 HAS SOUS 25662895 HAS SOUPS 25037975 WITH SCORE 2.5120255809E7
AT ITER 645 NEW BEST:: SOT 133525934 SOS 82282333 HAS SOPS 67047172 HAS SOUS 25662801 HAS SOUPS 25037930 WITH SCORE 2.5120212333E7
AT ITER 648 NEW BEST:: SOT 133524432 SOS 82279857 HAS SOPS 67044808 HAS SOUS 25661275 HAS SOUPS 25036404 WITH SCORE 2.5118683857E7
AT ITER 666 NEW BEST:: SOT 133516340 SOS 82270287 HAS SOPS 67061124 HAS SOUS 25653380 HAS SOUPS 25028509 WITH SCORE 2.5110779287E7
AT ITER 671 NEW BEST:: SOT 133552953 SOS 82383750 HAS SOPS 67170028 HAS SOUS 25588878 HAS SOUPS 24963890 WITH SCORE 2.504627375E7
AT ITER 681 NEW BEST:: SOT 133552859 SOS 82383638 HAS SOPS 67169708 HAS SOUS 25586556 HAS SOUPS 24962009 WITH SCORE 2.5044392638E7
AT ITER 688 NEW BEST:: SOT 133552682 SOS 82384027 HAS SOPS 67170031 HAS SOUS 25585885 HAS SOUPS 24961338 WITH SCORE 2.5043722027E7
AT ITER 689 NEW BEST:: SOT 133538992 SOS 82367367 HAS SOPS 67149026 HAS SOUS 25552934 HAS SOUPS 24928387 WITH SCORE 2.5010754367E7
AT ITER 692 NEW BEST:: SOT 133530545 SOS 82359725 HAS SOPS 67139690 HAS SOUS 25543739 HAS SOUPS 24919192 WITH SCORE 2.5001551725E7
AT ITER 702 NEW BEST:: SOT 133525344 SOS 82344936 HAS SOPS 67125007 HAS SOUS 25542110 HAS SOUPS 24917563 WITH SCORE 2.4999907936E7
AT ITER 703 NEW BEST:: SOT 133522919 SOS 82343983 HAS SOPS 67124771 HAS SOUS 25538986 HAS SOUPS 24914439 WITH SCORE 2.4996782983E7
AT ITER 706 NEW BEST:: SOT 133535298 SOS 82374425 HAS SOPS 67151582 HAS SOUS 25531339 HAS SOUPS 24906623 WITH SCORE 2.4988997425E7
AT ITER 711 NEW BEST:: SOT 133533301 SOS 82375072 HAS SOPS 67151173 HAS SOUS 25523655 HAS SOUPS 24898895 WITH SCORE 2.4981270072E7
AT ITER 715 NEW BEST:: SOT 133530845 SOS 82372616 HAS SOPS 67148717 HAS SOUS 25521199 HAS SOUPS 24896439 WITH SCORE 2.4978811616E7
AT ITER 731 NEW BEST:: SOT 133501273 SOS 82325427 HAS SOPS 67110175 HAS SOUS 25465045 HAS SOUPS 24840285 WITH SCORE 2.4922610427E7
AT ITER 734 NEW BEST:: SOT 133527491 SOS 82402978 HAS SOPS 67165470 HAS SOUS 25458043 HAS SOUPS 24833277 WITH SCORE 2.4915679978E7
AT ITER 790 NEW BEST:: SOT 133520026 SOS 82394272 HAS SOPS 67161514 HAS SOUS 25450507 HAS SOUPS 24825794 WITH SCORE 2.4908188272E7
AT ITER 794 NEW BEST:: SOT 133520236 SOS 82394726 HAS SOPS 67161714 HAS SOUS 25450169 HAS SOUPS 24825456 WITH SCORE 2.4907850726E7
AT ITER 802 NEW BEST:: SOT 133528336 SOS 82434000 HAS SOPS 67195190 HAS SOUS 25447654 HAS SOUPS 24822941 WITH SCORE 2.4905375E7
AT ITER 806 NEW BEST:: SOT 133552259 SOS 82523778 HAS SOPS 67286568 HAS SOUS 25439268 HAS SOUPS 24814555 WITH SCORE 2.4897078778E7
AT ITER 823 NEW BEST:: SOT 133561290 SOS 82564309 HAS SOPS 67321881 HAS SOUS 25437137 HAS SOUPS 24812424 WITH SCORE 2.4894988309E7
AT ITER 832 NEW BEST:: SOT 133556720 SOS 82554035 HAS SOPS 67311698 HAS SOUS 25434163 HAS SOUPS 24809450 WITH SCORE 2.4892004035E7
AT ITER 833 NEW BEST:: SOT 133556644 SOS 82553849 HAS SOPS 67311732 HAS SOUS 25433968 HAS SOUPS 24809255 WITH SCORE 2.4891808849E7
AT ITER 834 NEW BEST:: SOT 133557627 SOS 82563970 HAS SOPS 67325159 HAS SOUS 25424256 HAS SOUPS 24799543 WITH SCORE 2.488210697E7
AT ITER 842 NEW BEST:: SOT 133557084 SOS 82556970 HAS SOPS 67314022 HAS SOUS 25416371 HAS SOUPS 24791658 WITH SCORE 2.487421497E7
AT ITER 845 NEW BEST:: SOT 133555248 SOS 82548785 HAS SOPS 67304989 HAS SOUS 25413160 HAS SOUPS 24788447 WITH SCORE 2.4870995785E7
AT ITER 847 NEW BEST:: SOT 133571374 SOS 82567135 HAS SOPS 67343928 HAS SOUS 25401632 HAS SOUPS 24777169 WITH SCORE 2.4859736135E7
AT ITER 848 NEW BEST:: SOT 133580613 SOS 82606383 HAS SOPS 67366531 HAS SOUS 25390510 HAS SOUPS 24766047 WITH SCORE 2.4848653383E7
AT ITER 854 NEW BEST:: SOT 133574948 SOS 82598078 HAS SOPS 67361359 HAS SOUS 25387597 HAS SOUPS 24763134 WITH SCORE 2.4845732078E7
AT ITER 858 NEW BEST:: SOT 133569346 SOS 82591879 HAS SOPS 67357660 HAS SOUS 25375520 HAS SOUPS 24752312 WITH SCORE 2.4834903879E7
AT ITER 860 NEW BEST:: SOT 133569321 SOS 82587777 HAS SOPS 67358419 HAS SOUS 25371237 HAS SOUPS 24748143 WITH SCORE 2.4830730777E7
AT ITER 879 NEW BEST:: SOT 133628796 SOS 82735938 HAS SOPS 67501960 HAS SOUS 25360621 HAS SOUPS 24737527 WITH SCORE 2.4820262938E7
AT ITER 892 NEW BEST:: SOT 133635523 SOS 82754729 HAS SOPS 67520857 HAS SOUS 25343768 HAS SOUPS 24720674 WITH SCORE 2.4803428729E7
AT ITER 912 NEW BEST:: SOT 133643468 SOS 82816072 HAS SOPS 67577833 HAS SOUS 25342477 HAS SOUPS 24719383 WITH SCORE 2.4802199072E7
AT ITER 913 NEW BEST:: SOT 133637452 SOS 82816124 HAS SOPS 67572451 HAS SOUS 25320883 HAS SOUPS 24697789 WITH SCORE 2.4780605124E7
AT ITER 916 NEW BEST:: SOT 133607522 SOS 82770429 HAS SOPS 67533187 HAS SOUS 25287251 HAS SOUPS 24664157 WITH SCORE 2.4746927429E7
AT ITER 917 NEW BEST:: SOT 133607937 SOS 82773205 HAS SOPS 67534049 HAS SOUS 25284165 HAS SOUPS 24661071 WITH SCORE 2.4743844205E7
AT ITER 923 NEW BEST:: SOT 133608858 SOS 82776445 HAS SOPS 67537954 HAS SOUS 25279863 HAS SOUPS 24656769 WITH SCORE 2.4739545445E7
AT ITER 924 NEW BEST:: SOT 133586413 SOS 82714566 HAS SOPS 67492102 HAS SOUS 25274271 HAS SOUPS 24651177 WITH SCORE 2.4733891566E7
AT ITER 939 NEW BEST:: SOT 133584143 SOS 82713539 HAS SOPS 67486768 HAS SOUS 25261466 HAS SOUPS 24638372 WITH SCORE 2.4721085539E7
AT ITER 943 NEW BEST:: SOT 133562034 SOS 82687869 HAS SOPS 67456346 HAS SOUS 25222969 HAS SOUPS 24600270 WITH SCORE 2.4682957869E7
AT ITER 946 NEW BEST:: SOT 133562518 SOS 82688803 HAS SOPS 67457004 HAS SOUS 25222907 HAS SOUPS 24600208 WITH SCORE 2.4682896803E7
AT ITER 954 NEW BEST:: SOT 133562311 SOS 82688752 HAS SOPS 67456729 HAS SOUS 25222224 HAS SOUPS 24599525 WITH SCORE 2.4682213752E7
AT ITER 968 NEW BEST:: SOT 133580886 SOS 82738525 HAS SOPS 67531116 HAS SOUS 25208660 HAS SOUPS 24585961 WITH SCORE 2.4668699525E7
AT ITER 979 NEW BEST:: SOT 133591386 SOS 82765453 HAS SOPS 67565001 HAS SOUS 25195955 HAS SOUPS 24573256 WITH SCORE 2.4656021453E7
AT ITER 980 NEW BEST:: SOT 133584273 SOS 82780071 HAS SOPS 67587542 HAS SOUS 25160083 HAS SOUPS 24537384 WITH SCORE 2.4620164071E7
AT ITER 981 NEW BEST:: SOT 133583846 SOS 82776858 HAS SOPS 67578888 HAS SOUS 25141813 HAS SOUPS 24519114 WITH SCORE 2.4601890858E7
AT ITER 991 NEW BEST:: SOT 133562699 SOS 82749023 HAS SOPS 67561608 HAS SOUS 25126445 HAS SOUPS 24503746 WITH SCORE 2.4586495023E7
AT ITER 1001 NEW BEST:: SOT 133563142 SOS 82749691 HAS SOPS 67561571 HAS SOUS 25126060 HAS SOUPS 24503256 WITH SCORE 2.4586005691E7
AT ITER 1013 NEW BEST:: SOT 133549531 SOS 82724237 HAS SOPS 67534861 HAS SOUS 25098091 HAS SOUPS 24475460 WITH SCORE 2.4558184237E7
AT ITER 1026 NEW BEST:: SOT 133537265 SOS 82710743 HAS SOPS 67519714 HAS SOUS 25095018 HAS SOUPS 24472580 WITH SCORE 2.4555290743E7
AT ITER 1027 NEW BEST:: SOT 133537537 SOS 82713627 HAS SOPS 67520604 HAS SOUS 25093038 HAS SOUPS 24470600 WITH SCORE 2.4553313627E7
AT ITER 1028 NEW BEST:: SOT 133543778 SOS 82738698 HAS SOPS 67539158 HAS SOUS 25092047 HAS SOUPS 24469557 WITH SCORE 2.4552295698E7
AT ITER 1030 NEW BEST:: SOT 133525956 SOS 82711583 HAS SOPS 67535110 HAS SOUS 25086192 HAS SOUPS 24463702 WITH SCORE 2.4546413583E7
AT ITER 1053 NEW BEST:: SOT 133523676 SOS 82709132 HAS SOPS 67533571 HAS SOUS 25081898 HAS SOUPS 24459427 WITH SCORE 2.4542136132E7
AT ITER 1071 NEW BEST:: SOT 133524812 SOS 82713148 HAS SOPS 67540757 HAS SOUS 25065459 HAS SOUPS 24443050 WITH SCORE 2.4525763148E7
AT ITER 1072 NEW BEST:: SOT 133515593 SOS 82702935 HAS SOPS 67530337 HAS SOUS 25053859 HAS SOUPS 24431076 WITH SCORE 2.4513778935E7
AT ITER 1077 NEW BEST:: SOT 133517460 SOS 82723060 HAS SOPS 67556738 HAS SOUS 25046768 HAS SOUPS 24423985 WITH SCORE 2.450670806E7
AT ITER 1079 NEW BEST:: SOT 133510901 SOS 82717298 HAS SOPS 67579284 HAS SOUS 25006140 HAS SOUPS 24383357 WITH SCORE 2.4466074298E7
AT ITER 1084 NEW BEST:: SOT 133514755 SOS 82723205 HAS SOPS 67583483 HAS SOUS 25002916 HAS SOUPS 24380133 WITH SCORE 2.4462856205E7
AT ITER 1086 NEW BEST:: SOT 133513260 SOS 82721794 HAS SOPS 67582729 HAS SOUS 25000484 HAS SOUPS 24377755 WITH SCORE 2.4460476794E7
AT ITER 1087 NEW BEST:: SOT 133513617 SOS 82726440 HAS SOPS 67587520 HAS SOUS 24998788 HAS SOUPS 24376059 WITH SCORE 2.445878544E7
AT ITER 1091 NEW BEST:: SOT 133506546 SOS 82708589 HAS SOPS 67576304 HAS SOUS 24998070 HAS SOUPS 24375341 WITH SCORE 2.4458049589E7
AT ITER 1101 NEW BEST:: SOT 133493258 SOS 82659576 HAS SOPS 67539685 HAS SOUS 24992154 HAS SOUPS 24369425 WITH SCORE 2.4452084576E7
AT ITER 1104 NEW BEST:: SOT 133487985 SOS 82653754 HAS SOPS 67529570 HAS SOUS 24985077 HAS SOUPS 24362348 WITH SCORE 2.4445001754E7
AT ITER 1110 NEW BEST:: SOT 133485240 SOS 82641982 HAS SOPS 67519369 HAS SOUS 24979028 HAS SOUPS 24356299 WITH SCORE 2.4438940982E7
AT ITER 1130 NEW BEST:: SOT 133488219 SOS 82651440 HAS SOPS 67527412 HAS SOUS 24977536 HAS SOUPS 24354807 WITH SCORE 2.443745844E7
AT ITER 1134 NEW BEST:: SOT 133461137 SOS 82601138 HAS SOPS 67504277 HAS SOUS 24974518 HAS SOUPS 24351929 WITH SCORE 2.4434530138E7
AT ITER 1138 NEW BEST:: SOT 133481012 SOS 82647111 HAS SOPS 67529404 HAS SOUS 24967400 HAS SOUPS 24344646 WITH SCORE 2.4427293111E7
AT ITER 1141 NEW BEST:: SOT 133482357 SOS 82648857 HAS SOPS 67530792 HAS SOUS 24967419 HAS SOUPS 24344415 WITH SCORE 2.4427063857E7
AT ITER 1150 NEW BEST:: SOT 133481945 SOS 82648127 HAS SOPS 67529843 HAS SOUS 24966848 HAS SOUPS 24343844 WITH SCORE 2.4426492127E7
AT ITER 1163 NEW BEST:: SOT 133480465 SOS 82644669 HAS SOPS 67525112 HAS SOUS 24946729 HAS SOUPS 24323725 WITH SCORE 2.4406369669E7
AT ITER 1172 NEW BEST:: SOT 133473794 SOS 82637220 HAS SOPS 67517947 HAS SOUS 24916536 HAS SOUPS 24297180 WITH SCORE 2.437981722E7
AT ITER 1193 NEW BEST:: SOT 133466445 SOS 82625529 HAS SOPS 67508575 HAS SOUS 24912491 HAS SOUPS 24293135 WITH SCORE 2.4375760529E7
AT ITER 1194 NEW BEST:: SOT 133478431 SOS 82649743 HAS SOPS 67518372 HAS SOUS 24906251 HAS SOUPS 24286895 WITH SCORE 2.4369544743E7
AT ITER 1204 NEW BEST:: SOT 133475289 SOS 82641742 HAS SOPS 67515935 HAS SOUS 24905965 HAS SOUPS 24286609 WITH SCORE 2.4369250742E7
AT ITER 1222 NEW BEST:: SOT 133475654 SOS 82642397 HAS SOPS 67516150 HAS SOUS 24904474 HAS SOUPS 24285118 WITH SCORE 2.4367760397E7
AT ITER 1225 NEW BEST:: SOT 133472535 SOS 82624430 HAS SOPS 67503182 HAS SOUS 24881891 HAS SOUPS 24262854 WITH SCORE 2.434547843E7
AT ITER 1229 NEW BEST:: SOT 133473328 SOS 82624564 HAS SOPS 67504488 HAS SOUS 24875710 HAS SOUPS 24256673 WITH SCORE 2.4339297564E7
AT ITER 1231 NEW BEST:: SOT 133471710 SOS 82611870 HAS SOPS 67499804 HAS SOUS 24874095 HAS SOUPS 24255058 WITH SCORE 2.433766987E7
AT ITER 1234 NEW BEST:: SOT 133470443 SOS 82611693 HAS SOPS 67499916 HAS SOUS 24867973 HAS SOUPS 24248936 WITH SCORE 2.4331547693E7
AT ITER 1235 NEW BEST:: SOT 133460111 SOS 82597952 HAS SOPS 67484810 HAS SOUS 24854033 HAS SOUPS 24234996 WITH SCORE 2.4317593952E7
AT ITER 1240 NEW BEST:: SOT 133469234 SOS 82620638 HAS SOPS 67501064 HAS SOUS 24847880 HAS SOUPS 24228843 WITH SCORE 2.4311463638E7
AT ITER 1241 NEW BEST:: SOT 133461080 SOS 82599926 HAS SOPS 67469919 HAS SOUS 24826467 HAS SOUPS 24207430 WITH SCORE 2.4290029926E7
AT ITER 1243 NEW BEST:: SOT 133459799 SOS 82598849 HAS SOPS 67466410 HAS SOUS 24823531 HAS SOUPS 24204494 WITH SCORE 2.4287092849E7
AT ITER 1244 NEW BEST:: SOT 133459611 SOS 82598661 HAS SOPS 67466222 HAS SOUS 24823407 HAS SOUPS 24204370 WITH SCORE 2.4286968661E7
AT ITER 1246 NEW BEST:: SOT 133456257 SOS 82593529 HAS SOPS 67467632 HAS SOUS 24817301 HAS SOUPS 24198264 WITH SCORE 2.4280857529E7
AT ITER 1249 NEW BEST:: SOT 133456624 SOS 82602418 HAS SOPS 67470389 HAS SOUS 24803422 HAS SOUPS 24184385 WITH SCORE 2.4266987418E7
AT ITER 1262 NEW BEST:: SOT 133447885 SOS 82585085 HAS SOPS 67457438 HAS SOUS 24787128 HAS SOUPS 24168219 WITH SCORE 2.4250804085E7
AT ITER 1265 NEW BEST:: SOT 133458613 SOS 82624884 HAS SOPS 67488055 HAS SOUS 24777980 HAS SOUPS 24159071 WITH SCORE 2.4241695884E7
AT ITER 1266 NEW BEST:: SOT 133431988 SOS 82556101 HAS SOPS 67430024 HAS SOUS 24749317 HAS SOUPS 24130408 WITH SCORE 2.4212964101E7
AT ITER 1277 NEW BEST:: SOT 133439012 SOS 82575858 HAS SOPS 67439182 HAS SOUS 24740938 HAS SOUPS 24122029 WITH SCORE 2.4204604858E7
AT ITER 1287 NEW BEST:: SOT 133392461 SOS 82525353 HAS SOPS 67388325 HAS SOUS 24706638 HAS SOUPS 24087528 WITH SCORE 2.4170053353E7
AT ITER 1301 NEW BEST:: SOT 133394677 SOS 82532669 HAS SOPS 67394613 HAS SOUS 24705322 HAS SOUPS 24086244 WITH SCORE 2.4168776669E7
AT ITER 1307 NEW BEST:: SOT 133399814 SOS 82557658 HAS SOPS 67447054 HAS SOUS 24684099 HAS SOUPS 24065021 WITH SCORE 2.4147578658E7
AT ITER 1310 NEW BEST:: SOT 133402504 SOS 82562241 HAS SOPS 67448341 HAS SOUS 24682195 HAS SOUPS 24063117 WITH SCORE 2.4145679241E7
AT ITER 1317 NEW BEST:: SOT 133406584 SOS 82577875 HAS SOPS 67466919 HAS SOUS 24680561 HAS SOUPS 24061483 WITH SCORE 2.4144060875E7
AT ITER 1322 NEW BEST:: SOT 133405276 SOS 82570648 HAS SOPS 67457154 HAS SOUS 24679307 HAS SOUPS 24060229 WITH SCORE 2.4142799648E7
AT ITER 1327 NEW BEST:: SOT 133396016 SOS 82561901 HAS SOPS 67441998 HAS SOUS 24679530 HAS SOUPS 24059643 WITH SCORE 2.4142204901E7
AT ITER 1360 NEW BEST:: SOT 133415582 SOS 82616835 HAS SOPS 67485971 HAS SOUS 24678161 HAS SOUPS 24058274 WITH SCORE 2.4140890835E7
AT ITER 1364 NEW BEST:: SOT 133412962 SOS 82626851 HAS SOPS 67489642 HAS SOUS 24673031 HAS SOUPS 24053144 WITH SCORE 2.4135770851E7
AT ITER 1372 NEW BEST:: SOT 133405300 SOS 82619487 HAS SOPS 67485933 HAS SOUS 24639845 HAS SOUPS 24020576 WITH SCORE 2.4103195487E7
AT ITER 1375 NEW BEST:: SOT 133398283 SOS 82603502 HAS SOPS 67474548 HAS SOUS 24632271 HAS SOUPS 24013002 WITH SCORE 2.4095605502E7
AT ITER 1376 NEW BEST:: SOT 133398303 SOS 82604112 HAS SOPS 67474447 HAS SOUS 24631615 HAS SOUPS 24012346 WITH SCORE 2.4094950112E7
AT ITER 1382 NEW BEST:: SOT 133394114 SOS 82600004 HAS SOPS 67470182 HAS SOUS 24626096 HAS SOUPS 24006763 WITH SCORE 2.4089363004E7
AT ITER 1386 NEW BEST:: SOT 133452693 SOS 82727665 HAS SOPS 67617649 HAS SOUS 24607150 HAS SOUPS 23989158 WITH SCORE 2.4071885665E7
AT ITER 1389 NEW BEST:: SOT 133455585 SOS 82737852 HAS SOPS 67632507 HAS SOUS 24605584 HAS SOUPS 23987592 WITH SCORE 2.4070329852E7
AT ITER 1440 NEW BEST:: SOT 133446098 SOS 82727915 HAS SOPS 67622607 HAS SOUS 24602862 HAS SOUPS 23984598 WITH SCORE 2.4067325915E7
AT ITER 1444 NEW BEST:: SOT 133444347 SOS 82722392 HAS SOPS 67616588 HAS SOUS 24600669 HAS SOUPS 23982405 WITH SCORE 2.4065127392E7
AT ITER 1447 NEW BEST:: SOT 133444272 SOS 82723237 HAS SOPS 67615205 HAS SOUS 24598905 HAS SOUPS 23980641 WITH SCORE 2.4063364237E7
AT ITER 1448 NEW BEST:: SOT 133500083 SOS 82861547 HAS SOPS 67736795 HAS SOUS 24582935 HAS SOUPS 23964671 WITH SCORE 2.4047532547E7
AT ITER 1458 NEW BEST:: SOT 133497481 SOS 82858947 HAS SOPS 67733017 HAS SOUS 24577563 HAS SOUPS 23959299 WITH SCORE 2.4042157947E7
AT ITER 1466 NEW BEST:: SOT 133508304 SOS 82895122 HAS SOPS 67760575 HAS SOUS 24560891 HAS SOUPS 23942627 WITH SCORE 2.4025522122E7
AT ITER 1486 NEW BEST:: SOT 133525098 SOS 82942535 HAS SOPS 67792280 HAS SOUS 24557736 HAS SOUPS 23939472 WITH SCORE 2.4022414535E7
AT ITER 1499 NEW BEST:: SOT 133515703 SOS 82929401 HAS SOPS 67781923 HAS SOUS 24547371 HAS SOUPS 23930247 WITH SCORE 2.4013176401E7
AT ITER 1508 NEW BEST:: SOT 133499719 SOS 82892550 HAS SOPS 67752600 HAS SOUS 24541210 HAS SOUPS 23924086 WITH SCORE 2.400697855E7
AT ITER 1534 NEW BEST:: SOT 133465049 SOS 82857880 HAS SOPS 67715818 HAS SOUS 24506540 HAS SOUPS 23887304 WITH SCORE 2.397016188E7
AT ITER 1548 NEW BEST:: SOT 133452678 SOS 82840539 HAS SOPS 67697700 HAS SOUS 24491957 HAS SOUPS 23872721 WITH SCORE 2.3955561539E7
AT ITER 1551 NEW BEST:: SOT 133451982 SOS 82839481 HAS SOPS 67694899 HAS SOUS 24489965 HAS SOUPS 23870729 WITH SCORE 2.3953568481E7
AT ITER 1555 NEW BEST:: SOT 133437702 SOS 82829193 HAS SOPS 67680389 HAS SOUS 24428647 HAS SOUPS 23809372 WITH SCORE 2.3892201193E7
AT ITER 1574 NEW BEST:: SOT 133444177 SOS 82855939 HAS SOPS 67704304 HAS SOUS 24428500 HAS SOUPS 23809225 WITH SCORE 2.3892080939E7
AT ITER 1592 NEW BEST:: SOT 133440939 SOS 82856728 HAS SOPS 67700439 HAS SOUS 24414053 HAS SOUPS 23794735 WITH SCORE 2.3877591728E7
AT ITER 1596 NEW BEST:: SOT 133456188 SOS 82889598 HAS SOPS 67727114 HAS SOUS 24411463 HAS SOUPS 23792145 WITH SCORE 2.3875034598E7
AT ITER 1612 NEW BEST:: SOT 133459874 SOS 82931566 HAS SOPS 67768565 HAS SOUS 24392538 HAS SOUPS 23773220 WITH SCORE 2.3856151566E7
AT ITER 1633 NEW BEST:: SOT 133455781 SOS 82929655 HAS SOPS 67764161 HAS SOUS 24385048 HAS SOUPS 23763928 WITH SCORE 2.3846857655E7
AT ITER 1643 NEW BEST:: SOT 133476948 SOS 82960513 HAS SOPS 67800956 HAS SOUS 24378310 HAS SOUPS 23757473 WITH SCORE 2.3840433513E7
AT ITER 1653 NEW BEST:: SOT 133511793 SOS 83044920 HAS SOPS 67870658 HAS SOUS 24342635 HAS SOUPS 23721798 WITH SCORE 2.380484292E7
AT ITER 1654 NEW BEST:: SOT 133502410 SOS 83035378 HAS SOPS 67857016 HAS SOUS 24342631 HAS SOUPS 23721729 WITH SCORE 2.3804764378E7
AT ITER 1658 NEW BEST:: SOT 133500735 SOS 83031051 HAS SOPS 67853131 HAS SOUS 24342266 HAS SOUPS 23721364 WITH SCORE 2.3804395051E7
AT ITER 1663 NEW BEST:: SOT 133500012 SOS 83030328 HAS SOPS 67851894 HAS SOUS 24339913 HAS SOUPS 23719011 WITH SCORE 2.3802041328E7
AT ITER 1665 NEW BEST:: SOT 133499757 SOS 83029015 HAS SOPS 67853302 HAS SOUS 24337280 HAS SOUPS 23716378 WITH SCORE 2.3799407015E7
AT ITER 1700 NEW BEST:: SOT 133492276 SOS 83021664 HAS SOPS 67844820 HAS SOUS 24328307 HAS SOUPS 23707312 WITH SCORE 2.3790333664E7
AT ITER 1712 NEW BEST:: SOT 133499157 SOS 83027331 HAS SOPS 67850492 HAS SOUS 24324602 HAS SOUPS 23703607 WITH SCORE 2.3786634331E7
AT ITER 1718 NEW BEST:: SOT 133492029 SOS 83019309 HAS SOPS 67840504 HAS SOUS 24311723 HAS SOUPS 23690785 WITH SCORE 2.3773804309E7
AT ITER 1738 NEW BEST:: SOT 133492076 SOS 83019349 HAS SOPS 67839985 HAS SOUS 24311524 HAS SOUPS 23690586 WITH SCORE 2.3773605349E7
AT ITER 1762 NEW BEST:: SOT 133505297 SOS 83060292 HAS SOPS 67878371 HAS SOUS 24307462 HAS SOUPS 23686524 WITH SCORE 2.3769584292E7
AT ITER 1770 NEW BEST:: SOT 133497759 SOS 83051589 HAS SOPS 67875939 HAS SOUS 24289934 HAS SOUPS 23669177 WITH SCORE 2.3752228589E7
AT ITER 1795 NEW BEST:: SOT 133497322 SOS 83051127 HAS SOPS 67874797 HAS SOUS 24288864 HAS SOUPS 23668107 WITH SCORE 2.3751158127E7
AT ITER 1815 NEW BEST:: SOT 133487805 SOS 83020723 HAS SOPS 67832050 HAS SOUS 24288521 HAS SOUPS 23667632 WITH SCORE 2.3750652723E7
AT ITER 1818 NEW BEST:: SOT 133482729 SOS 83014154 HAS SOPS 67824317 HAS SOUS 24275736 HAS SOUPS 23655051 WITH SCORE 2.3738065154E7
AT ITER 1821 NEW BEST:: SOT 133482560 SOS 83012799 HAS SOPS 67822919 HAS SOUS 24275726 HAS SOUPS 23655041 WITH SCORE 2.3738053799E7
AT ITER 1824 NEW BEST:: SOT 133482200 SOS 83010623 HAS SOPS 67822371 HAS SOUS 24273950 HAS SOUPS 23653265 WITH SCORE 2.3736275623E7
AT ITER 1826 NEW BEST:: SOT 133487939 SOS 83023712 HAS SOPS 67835158 HAS SOUS 24266840 HAS SOUPS 23646155 WITH SCORE 2.3729178712E7
AT ITER 1827 NEW BEST:: SOT 133471554 SOS 82999195 HAS SOPS 67814612 HAS SOUS 24251613 HAS SOUPS 23630928 WITH SCORE 2.3713927195E7
AT ITER 1840 NEW BEST:: SOT 133472621 SOS 83001586 HAS SOPS 67819211 HAS SOUS 24242825 HAS SOUPS 23622140 WITH SCORE 2.3705141586E7
AT ITER 1847 NEW BEST:: SOT 133472243 SOS 83004406 HAS SOPS 67824341 HAS SOUS 24238470 HAS SOUPS 23617785 WITH SCORE 2.3700789406E7
AT ITER 1854 NEW BEST:: SOT 133488604 SOS 83057503 HAS SOPS 67862166 HAS SOUS 24235107 HAS SOUPS 23614422 WITH SCORE 2.3697479503E7
AT ITER 1855 NEW BEST:: SOT 133487919 SOS 83056800 HAS SOPS 67861193 HAS SOUS 24233375 HAS SOUPS 23612681 WITH SCORE 2.36957378E7
AT ITER 1856 NEW BEST:: SOT 133476861 SOS 83040028 HAS SOPS 67835995 HAS SOUS 24187616 HAS SOUPS 23567035 WITH SCORE 2.3650075028E7
AT ITER 1866 NEW BEST:: SOT 133460661 SOS 83015587 HAS SOPS 67807288 HAS SOUS 24157722 HAS SOUPS 23537185 WITH SCORE 2.3620200587E7
AT ITER 1906 NEW BEST:: SOT 133462144 SOS 83016258 HAS SOPS 67806637 HAS SOUS 24156633 HAS SOUPS 23536096 WITH SCORE 2.3619112258E7
AT ITER 1912 NEW BEST:: SOT 133460260 SOS 83014374 HAS SOPS 67804753 HAS SOUS 24154749 HAS SOUPS 23534212 WITH SCORE 2.3617226374E7
AT ITER 1916 NEW BEST:: SOT 133469037 SOS 83044065 HAS SOPS 67828605 HAS SOUS 24151529 HAS SOUPS 23530992 WITH SCORE 2.3614036065E7
AT ITER 1923 NEW BEST:: SOT 133534047 SOS 83175856 HAS SOPS 67981178 HAS SOUS 24147754 HAS SOUPS 23527217 WITH SCORE 2.3610392856E7
AT ITER 1932 NEW BEST:: SOT 133535903 SOS 83179183 HAS SOPS 67979986 HAS SOUS 24139971 HAS SOUPS 23519434 WITH SCORE 2.3602613183E7
AT ITER 1946 NEW BEST:: SOT 133511955 SOS 83134909 HAS SOPS 67943333 HAS SOUS 24112423 HAS SOUPS 23491886 WITH SCORE 2.3575020909E7
AT ITER 1947 NEW BEST:: SOT 133510105 SOS 83133220 HAS SOPS 67941602 HAS SOUS 24112066 HAS SOUPS 23491529 WITH SCORE 2.357466222E7
AT ITER 1948 NEW BEST:: SOT 133499631 SOS 83120647 HAS SOPS 67934798 HAS SOUS 24087081 HAS SOUPS 23466544 WITH SCORE 2.3549664647E7
AT ITER 1950 NEW BEST:: SOT 133483688 SOS 83093970 HAS SOPS 67916432 HAS SOUS 24072944 HAS SOUPS 23452407 WITH SCORE 2.353550097E7
AT ITER 1963 NEW BEST:: SOT 133478756 SOS 83086374 HAS SOPS 67908886 HAS SOUS 24059378 HAS SOUPS 23438911 WITH SCORE 2.3521997374E7
AT ITER 1966 NEW BEST:: SOT 133522902 SOS 83207487 HAS SOPS 68011612 HAS SOUS 24055255 HAS SOUPS 23434788 WITH SCORE 2.3517995487E7
AT ITER 1978 NEW BEST:: SOT 133518077 SOS 83201375 HAS SOPS 68002927 HAS SOUS 24047992 HAS SOUPS 23427525 WITH SCORE 2.3510726375E7
AT ITER 1982 NEW BEST:: SOT 133520310 SOS 83210089 HAS SOPS 68009998 HAS SOUS 24047650 HAS SOUPS 23427183 WITH SCORE 2.3510393089E7
AT ITER 1987 NEW BEST:: SOT 133508393 SOS 83198679 HAS SOPS 68002818 HAS SOUS 24036843 HAS SOUPS 23415981 WITH SCORE 2.3499179679E7
AT ITER 2001 NEW BEST:: SOT 133511166 SOS 83221749 HAS SOPS 68026463 HAS SOUS 24035354 HAS SOUPS 23414492 WITH SCORE 2.3497713749E7
AT ITER 2022 NEW BEST:: SOT 133507198 SOS 83191051 HAS SOPS 68007554 HAS SOUS 24030420 HAS SOUPS 23409558 WITH SCORE 2.3492749051E7
AT ITER 2026 NEW BEST:: SOT 133506803 SOS 83187486 HAS SOPS 68011581 HAS SOUS 24027717 HAS SOUPS 23406855 WITH SCORE 2.3490042486E7
AT ITER 2029 NEW BEST:: SOT 133508385 SOS 83193330 HAS SOPS 68016190 HAS SOUS 24026803 HAS SOUPS 23405941 WITH SCORE 2.348913433E7
AT ITER 2060 NEW BEST:: SOT 133508546 SOS 83193514 HAS SOPS 68015840 HAS SOUS 24026671 HAS SOUPS 23405809 WITH SCORE 2.3489002514E7
AT ITER 2062 NEW BEST:: SOT 133508789 SOS 83196540 HAS SOPS 68015517 HAS SOUS 24024468 HAS SOUPS 23403606 WITH SCORE 2.348680254E7
AT ITER 2067 NEW BEST:: SOT 133508935 SOS 83202443 HAS SOPS 68020989 HAS SOUS 24021905 HAS SOUPS 23401043 WITH SCORE 2.3484245443E7
AT ITER 2071 NEW BEST:: SOT 133529127 SOS 83254486 HAS SOPS 68053771 HAS SOUS 24008217 HAS SOUPS 23387355 WITH SCORE 2.3470609486E7
AT ITER 2076 NEW BEST:: SOT 133520503 SOS 83233465 HAS SOPS 68034844 HAS SOUS 24004772 HAS SOUPS 23383910 WITH SCORE 2.3467143465E7
AT ITER 2079 NEW BEST:: SOT 133523839 SOS 83237242 HAS SOPS 68036542 HAS SOUS 23994891 HAS SOUPS 23374029 WITH SCORE 2.3457266242E7
AT ITER 2087 NEW BEST:: SOT 133521441 SOS 83240408 HAS SOPS 68033491 HAS SOUS 23982282 HAS SOUPS 23360495 WITH SCORE 2.3443735408E7
AT ITER 2089 NEW BEST:: SOT 133522357 SOS 83244530 HAS SOPS 68033895 HAS SOUS 23978682 HAS SOUPS 23356895 WITH SCORE 2.344013953E7
AT ITER 2112 NEW BEST:: SOT 133543973 SOS 83301483 HAS SOPS 68086149 HAS SOUS 23961324 HAS SOUPS 23339537 WITH SCORE 2.3422838483E7
AT ITER 2114 NEW BEST:: SOT 133543346 SOS 83311107 HAS SOPS 68102417 HAS SOUS 23935408 HAS SOUPS 23313621 WITH SCORE 2.3396932107E7
AT ITER 2135 NEW BEST:: SOT 133542998 SOS 83310587 HAS SOPS 68101286 HAS SOUS 23934504 HAS SOUPS 23312717 WITH SCORE 2.3396027587E7
AT ITER 2145 NEW BEST:: SOT 133528063 SOS 83291167 HAS SOPS 68088169 HAS SOUS 23910386 HAS SOUPS 23288795 WITH SCORE 2.3372086167E7
AT ITER 2146 NEW BEST:: SOT 133528094 SOS 83291206 HAS SOPS 68087880 HAS SOUS 23910353 HAS SOUPS 23288762 WITH SCORE 2.3372053206E7
AT ITER 2147 NEW BEST:: SOT 133528126 SOS 83292408 HAS SOPS 68088809 HAS SOUS 23909834 HAS SOUPS 23288243 WITH SCORE 2.3371535408E7
AT ITER 2178 NEW BEST:: SOT 133508761 SOS 83257397 HAS SOPS 68063861 HAS SOUS 23881448 HAS SOUPS 23262741 WITH SCORE 2.3345998397E7
AT ITER 2189 NEW BEST:: SOT 133501906 SOS 83235269 HAS SOPS 68039135 HAS SOUS 23877347 HAS SOUPS 23258640 WITH SCORE 2.3341875269E7
AT ITER 2196 NEW BEST:: SOT 133464859 SOS 83158964 HAS SOPS 67973947 HAS SOUS 23872076 HAS SOUPS 23253369 WITH SCORE 2.3336527964E7
AT ITER 2208 NEW BEST:: SOT 133465074 SOS 83162313 HAS SOPS 67975156 HAS SOUS 23866748 HAS SOUPS 23248041 WITH SCORE 2.3331203313E7
AT ITER 2220 NEW BEST:: SOT 133437826 SOS 83134272 HAS SOPS 67946257 HAS SOUS 23834629 HAS SOUPS 23216078 WITH SCORE 2.3299212272E7
AT ITER 2234 NEW BEST:: SOT 133437597 SOS 83132870 HAS SOPS 67945601 HAS SOUS 23834223 HAS SOUPS 23215672 WITH SCORE 2.329880487E7
AT ITER 2253 NEW BEST:: SOT 133478790 SOS 83254780 HAS SOPS 68057839 HAS SOUS 23817500 HAS SOUPS 23198949 WITH SCORE 2.328220378E7
AT ITER 2255 NEW BEST:: SOT 133473114 SOS 83241854 HAS SOPS 68043460 HAS SOUS 23810374 HAS SOUPS 23191823 WITH SCORE 2.3275064854E7
AT ITER 2262 NEW BEST:: SOT 133463114 SOS 83198642 HAS SOPS 67999660 HAS SOUS 23807508 HAS SOUPS 23188957 WITH SCORE 2.3272155642E7
AT ITER 2271 NEW BEST:: SOT 133449445 SOS 83175946 HAS SOPS 67977845 HAS SOUS 23790041 HAS SOUPS 23171490 WITH SCORE 2.3254665946E7
AT ITER 2278 NEW BEST:: SOT 133442890 SOS 83163921 HAS SOPS 67965051 HAS SOUS 23763437 HAS SOUPS 23151302 WITH SCORE 2.3234465921E7
AT ITER 2283 NEW BEST:: SOT 133444312 SOS 83172488 HAS SOPS 67971726 HAS SOUS 23762688 HAS SOUPS 23150553 WITH SCORE 2.3233725488E7
AT ITER 2291 NEW BEST:: SOT 133420322 SOS 83122428 HAS SOPS 67952478 HAS SOUS 23743334 HAS SOUPS 23131199 WITH SCORE 2.3214321428E7
AT ITER 2301 NEW BEST:: SOT 133432056 SOS 83151680 HAS SOPS 67977621 HAS SOUS 23742883 HAS SOUPS 23130748 WITH SCORE 2.321389968E7
AT ITER 2320 NEW BEST:: SOT 133432117 SOS 83151596 HAS SOPS 67978724 HAS SOUS 23741842 HAS SOUPS 23129707 WITH SCORE 2.3212858596E7
AT ITER 2323 NEW BEST:: SOT 133439391 SOS 83214324 HAS SOPS 68054480 HAS SOUS 23721733 HAS SOUPS 23109598 WITH SCORE 2.3192812324E7
AT ITER 2336 NEW BEST:: SOT 133440432 SOS 83213078 HAS SOPS 68058707 HAS SOUS 23717803 HAS SOUPS 23105668 WITH SCORE 2.3188881078E7
AT ITER 2338 NEW BEST:: SOT 133443526 SOS 83235440 HAS SOPS 68085136 HAS SOUS 23715500 HAS SOUPS 23103365 WITH SCORE 2.318660044E7
AT ITER 2342 NEW BEST:: SOT 133438208 SOS 83209517 HAS SOPS 68059870 HAS SOUS 23705553 HAS SOUPS 23093418 WITH SCORE 2.3176627517E7
AT ITER 2350 NEW BEST:: SOT 133439845 SOS 83211836 HAS SOPS 68067167 HAS SOUS 23704128 HAS SOUPS 23091993 WITH SCORE 2.3175204836E7
AT ITER 2355 NEW BEST:: SOT 133456299 SOS 83252175 HAS SOPS 68106261 HAS SOUS 23698890 HAS SOUPS 23086755 WITH SCORE 2.3170007175E7
AT ITER 2361 NEW BEST:: SOT 133458978 SOS 83256009 HAS SOPS 68106947 HAS SOUS 23697877 HAS SOUPS 23085742 WITH SCORE 2.3168998009E7
AT ITER 2376 NEW BEST:: SOT 133454317 SOS 83249707 HAS SOPS 68098730 HAS SOUS 23678921 HAS SOUPS 23066786 WITH SCORE 2.3150035707E7
AT ITER 2380 NEW BEST:: SOT 133461588 SOS 83270695 HAS SOPS 68116702 HAS SOUS 23677836 HAS SOUPS 23065701 WITH SCORE 2.3148971695E7
AT ITER 2382 NEW BEST:: SOT 133459537 SOS 83269917 HAS SOPS 68115995 HAS SOUS 23673187 HAS SOUPS 23061052 WITH SCORE 2.3144321917E7
AT ITER 2384 NEW BEST:: SOT 133437665 SOS 83235944 HAS SOPS 68090876 HAS SOUS 23670808 HAS SOUPS 23058673 WITH SCORE 2.3141908944E7
AT ITER 2389 NEW BEST:: SOT 133432057 SOS 83229331 HAS SOPS 68085931 HAS SOUS 23666061 HAS SOUPS 23053928 WITH SCORE 2.3137157331E7
AT ITER 2406 NEW BEST:: SOT 133424177 SOS 83216480 HAS SOPS 68073840 HAS SOUS 23658131 HAS SOUPS 23045998 WITH SCORE 2.312921448E7
AT ITER 2428 NEW BEST:: SOT 133426258 SOS 83257252 HAS SOPS 68102905 HAS SOUS 23608536 HAS SOUPS 22996403 WITH SCORE 2.3079660252E7
AT ITER 2436 NEW BEST:: SOT 133425406 SOS 83255240 HAS SOPS 68101609 HAS SOUS 23607714 HAS SOUPS 22995581 WITH SCORE 2.307883624E7
AT ITER 2439 NEW BEST:: SOT 133423556 SOS 83262844 HAS SOPS 68101637 HAS SOUS 23577853 HAS SOUPS 22965689 WITH SCORE 2.3048951844E7
AT ITER 2442 NEW BEST:: SOT 133403636 SOS 83231933 HAS SOPS 68069465 HAS SOUS 23551150 HAS SOUPS 22938986 WITH SCORE 2.3022217933E7
AT ITER 2446 NEW BEST:: SOT 133395822 SOS 83221555 HAS SOPS 68067060 HAS SOUS 23549208 HAS SOUPS 22937373 WITH SCORE 2.3020594555E7
AT ITER 2449 NEW BEST:: SOT 133392044 SOS 83211116 HAS SOPS 68057587 HAS SOUS 23544895 HAS SOUPS 22933060 WITH SCORE 2.3016271116E7
AT ITER 2461 NEW BEST:: SOT 133422245 SOS 83291684 HAS SOPS 68144232 HAS SOUS 23519856 HAS SOUPS 22908021 WITH SCORE 2.2991312684E7
AT ITER 2473 NEW BEST:: SOT 133422665 SOS 83292460 HAS SOPS 68154209 HAS SOUS 23517529 HAS SOUPS 22905694 WITH SCORE 2.298898646E7
AT ITER 2477 NEW BEST:: SOT 133422497 SOS 83292998 HAS SOPS 68158342 HAS SOUS 23516015 HAS SOUPS 22904180 WITH SCORE 2.2987472998E7
AT ITER 2478 NEW BEST:: SOT 133420480 SOS 83290967 HAS SOPS 68156311 HAS SOUS 23510320 HAS SOUPS 22898485 WITH SCORE 2.2981775967E7
AT ITER 2496 NEW BEST:: SOT 133408814 SOS 83248910 HAS SOPS 68109771 HAS SOUS 23505321 HAS SOUPS 22893486 WITH SCORE 2.297673491E7
AT ITER 2497 NEW BEST:: SOT 133381460 SOS 83221556 HAS SOPS 68082417 HAS SOUS 23471695 HAS SOUPS 22859860 WITH SCORE 2.2943081556E7
AT ITER 2499 NEW BEST:: SOT 133363987 SOS 83190864 HAS SOPS 68060284 HAS SOUS 23433660 HAS SOUPS 22821825 WITH SCORE 2.2905015864E7
AT ITER 2507 NEW BEST:: SOT 133330805 SOS 83136066 HAS SOPS 68019022 HAS SOUS 23419454 HAS SOUPS 22807619 WITH SCORE 2.2890755066E7
AT ITER 2511 NEW BEST:: SOT 133328299 SOS 83132097 HAS SOPS 68015987 HAS SOUS 23416617 HAS SOUPS 22804809 WITH SCORE 2.2887941097E7
AT ITER 2521 NEW BEST:: SOT 133319643 SOS 83121908 HAS SOPS 68004501 HAS SOUS 23413341 HAS SOUPS 22801533 WITH SCORE 2.2884654908E7
AT ITER 2523 NEW BEST:: SOT 133333918 SOS 83156676 HAS SOPS 68029333 HAS SOUS 23398364 HAS SOUPS 22786556 WITH SCORE 2.2869712676E7
AT ITER 2529 NEW BEST:: SOT 133333631 SOS 83150565 HAS SOPS 68028113 HAS SOUS 23387582 HAS SOUPS 22776627 WITH SCORE 2.2859777565E7
AT ITER 2549 NEW BEST:: SOT 133332510 SOS 83149185 HAS SOPS 68026073 HAS SOUS 23384971 HAS SOUPS 22774016 WITH SCORE 2.2857165185E7
AT ITER 2561 NEW BEST:: SOT 133333696 SOS 83157968 HAS SOPS 68034867 HAS SOUS 23381420 HAS SOUPS 22770465 WITH SCORE 2.2853622968E7
AT ITER 2569 NEW BEST:: SOT 133323771 SOS 83139291 HAS SOPS 68009320 HAS SOUS 23358455 HAS SOUPS 22747500 WITH SCORE 2.2830639291E7
AT ITER 2573 NEW BEST:: SOT 133307271 SOS 83123100 HAS SOPS 67989299 HAS SOUS 23336089 HAS SOUPS 22724013 WITH SCORE 2.28071361E7
AT ITER 2580 NEW BEST:: SOT 133320718 SOS 83157378 HAS SOPS 68011591 HAS SOUS 23331304 HAS SOUPS 22719228 WITH SCORE 2.2802385378E7
AT ITER 2585 NEW BEST:: SOT 133266030 SOS 83051358 HAS SOPS 67953062 HAS SOUS 23291678 HAS SOUPS 22679666 WITH SCORE 2.2762717358E7
AT ITER 2588 NEW BEST:: SOT 133264102 SOS 83049758 HAS SOPS 67950283 HAS SOUS 23290057 HAS SOUPS 22677996 WITH SCORE 2.2761045758E7
AT ITER 2589 NEW BEST:: SOT 133263553 SOS 83051053 HAS SOPS 67948813 HAS SOUS 23287664 HAS SOUPS 22675603 WITH SCORE 2.2758654053E7
AT ITER 2599 NEW BEST:: SOT 133264810 SOS 83049283 HAS SOPS 67950495 HAS SOUS 23284546 HAS SOUPS 22672485 WITH SCORE 2.2755534283E7
AT ITER 2604 NEW BEST:: SOT 133264673 SOS 83049071 HAS SOPS 67951147 HAS SOUS 23284119 HAS SOUPS 22672058 WITH SCORE 2.2755107071E7
AT ITER 2614 NEW BEST:: SOT 133258367 SOS 83042964 HAS SOPS 67944052 HAS SOUS 23269099 HAS SOUPS 22657038 WITH SCORE 2.2740080964E7
AT ITER 2634 NEW BEST:: SOT 133269045 SOS 83069100 HAS SOPS 67977035 HAS SOUS 23255163 HAS SOUPS 22643102 WITH SCORE 2.27261711E7
AT ITER 2666 NEW BEST:: SOT 133219961 SOS 83033842 HAS SOPS 67934708 HAS SOUS 23235655 HAS SOUPS 22623864 WITH SCORE 2.2706897842E7
AT ITER 2669 NEW BEST:: SOT 133220265 SOS 83037060 HAS SOPS 67938475 HAS SOUS 23234321 HAS SOUPS 22622530 WITH SCORE 2.270556706E7
AT ITER 2676 NEW BEST:: SOT 133206048 SOS 82951879 HAS SOPS 67849326 HAS SOUS 23225901 HAS SOUPS 22614110 WITH SCORE 2.2697061879E7
AT ITER 2691 NEW BEST:: SOT 133204119 SOS 82949944 HAS SOPS 67846189 HAS SOUS 23220324 HAS SOUPS 22608533 WITH SCORE 2.2691482944E7
AT ITER 2697 NEW BEST:: SOT 133201736 SOS 82969156 HAS SOPS 67863176 HAS SOUS 23185646 HAS SOUPS 22573855 WITH SCORE 2.2656824156E7
AT ITER 2698 NEW BEST:: SOT 133195236 SOS 82948501 HAS SOPS 67847885 HAS SOUS 23185118 HAS SOUPS 22573327 WITH SCORE 2.2656275501E7
AT ITER 2704 NEW BEST:: SOT 133193828 SOS 82946247 HAS SOPS 67845320 HAS SOUS 23171234 HAS SOUPS 22560515 WITH SCORE 2.2643461247E7
AT ITER 2717 NEW BEST:: SOT 133186008 SOS 82921684 HAS SOPS 67817266 HAS SOUS 23153667 HAS SOUPS 22542948 WITH SCORE 2.2625869684E7
AT ITER 2724 NEW BEST:: SOT 133182015 SOS 82909035 HAS SOPS 67806401 HAS SOUS 23153506 HAS SOUPS 22542787 WITH SCORE 2.2625696035E7
AT ITER 2748 NEW BEST:: SOT 133182798 SOS 82911030 HAS SOPS 67804877 HAS SOUS 23148177 HAS SOUPS 22537458 WITH SCORE 2.262036903E7
AT ITER 2750 NEW BEST:: SOT 133179424 SOS 82908940 HAS SOPS 67796154 HAS SOUS 23139099 HAS SOUPS 22528380 WITH SCORE 2.261128894E7
AT ITER 2757 NEW BEST:: SOT 133179303 SOS 82908653 HAS SOPS 67795494 HAS SOUS 23138689 HAS SOUPS 22527970 WITH SCORE 2.2610878653E7
AT ITER 2764 NEW BEST:: SOT 133173636 SOS 82902986 HAS SOPS 67788323 HAS SOUS 23127006 HAS SOUPS 22516287 WITH SCORE 2.2599189986E7
AT ITER 2771 NEW BEST:: SOT 133210025 SOS 82983557 HAS SOPS 67836608 HAS SOUS 23126105 HAS SOUPS 22515386 WITH SCORE 2.2598369557E7
AT ITER 2775 NEW BEST:: SOT 133210447 SOS 82984067 HAS SOPS 67837058 HAS SOUS 23125093 HAS SOUPS 22514328 WITH SCORE 2.2597312067E7
AT ITER 2783 NEW BEST:: SOT 133218809 SOS 82995491 HAS SOPS 67841593 HAS SOUS 23117665 HAS SOUPS 22506900 WITH SCORE 2.2589895491E7
AT ITER 2784 NEW BEST:: SOT 133220829 SOS 82998113 HAS SOPS 67843769 HAS SOUS 23097122 HAS SOUPS 22486273 WITH SCORE 2.2569271113E7
AT ITER 2785 NEW BEST:: SOT 133214333 SOS 82984956 HAS SOPS 67831742 HAS SOUS 23096604 HAS SOUPS 22485755 WITH SCORE 2.2568739956E7
AT ITER 2798 NEW BEST:: SOT 133197404 SOS 82955578 HAS SOPS 67800625 HAS SOUS 23062820 HAS SOUPS 22452082 WITH SCORE 2.2535037578E7
AT ITER 2807 NEW BEST:: SOT 133169689 SOS 82898374 HAS SOPS 67750618 HAS SOUS 22998088 HAS SOUPS 22387534 WITH SCORE 2.2470432374E7
AT ITER 2812 NEW BEST:: SOT 133168042 SOS 82896685 HAS SOPS 67749622 HAS SOUS 22993523 HAS SOUPS 22383262 WITH SCORE 2.2466158685E7
AT ITER 2842 NEW BEST:: SOT 133184104 SOS 82884124 HAS SOPS 67722162 HAS SOUS 22990019 HAS SOUPS 22379931 WITH SCORE 2.2462815124E7
AT ITER 2843 NEW BEST:: SOT 133166403 SOS 82857704 HAS SOPS 67699890 HAS SOUS 22985026 HAS SOUPS 22374938 WITH SCORE 2.2457795704E7
AT ITER 2852 NEW BEST:: SOT 133176082 SOS 82886887 HAS SOPS 67720318 HAS SOUS 22981666 HAS SOUPS 22371578 WITH SCORE 2.2454464887E7
AT ITER 2858 NEW BEST:: SOT 133175984 SOS 82886593 HAS SOPS 67720694 HAS SOUS 22981350 HAS SOUPS 22371270 WITH SCORE 2.2454156593E7
AT ITER 2869 NEW BEST:: SOT 133150765 SOS 82833357 HAS SOPS 67701181 HAS SOUS 22976666 HAS SOUPS 22366586 WITH SCORE 2.2449419357E7
AT ITER 2874 NEW BEST:: SOT 133150814 SOS 82809588 HAS SOPS 67690692 HAS SOUS 22971550 HAS SOUPS 22361470 WITH SCORE 2.2444279588E7
AT ITER 2875 NEW BEST:: SOT 133160404 SOS 82822004 HAS SOPS 67707992 HAS SOUS 22970319 HAS SOUPS 22360239 WITH SCORE 2.2443061004E7
AT ITER 2885 NEW BEST:: SOT 133170045 SOS 82847044 HAS SOPS 67728957 HAS SOUS 22968826 HAS SOUPS 22358025 WITH SCORE 2.2440872044E7
AT ITER 2894 NEW BEST:: SOT 133167805 SOS 82843870 HAS SOPS 67725727 HAS SOUS 22966110 HAS SOUPS 22355309 WITH SCORE 2.243815287E7
AT ITER 2905 NEW BEST:: SOT 133162966 SOS 82838965 HAS SOPS 67719015 HAS SOUS 22955393 HAS SOUPS 22344615 WITH SCORE 2.2427453965E7
AT ITER 2906 NEW BEST:: SOT 133113214 SOS 82745396 HAS SOPS 67660499 HAS SOUS 22919387 HAS SOUPS 22308609 WITH SCORE 2.2391354396E7
AT ITER 2907 NEW BEST:: SOT 133113608 SOS 82747264 HAS SOPS 67662488 HAS SOUS 22916474 HAS SOUPS 22305696 WITH SCORE 2.2388443264E7
AT ITER 2915 NEW BEST:: SOT 133112354 SOS 82735279 HAS SOPS 67654706 HAS SOUS 22916067 HAS SOUPS 22305289 WITH SCORE 2.2388024279E7
AT ITER 2917 NEW BEST:: SOT 133118806 SOS 82720177 HAS SOPS 67677416 HAS SOUS 22893074 HAS SOUPS 22282296 WITH SCORE 2.2365016177E7
AT ITER 2923 NEW BEST:: SOT 133111255 SOS 82710211 HAS SOPS 67674329 HAS SOUS 22890400 HAS SOUPS 22279095 WITH SCORE 2.2361805211E7
AT ITER 2934 NEW BEST:: SOT 133098013 SOS 82677826 HAS SOPS 67646036 HAS SOUS 22880447 HAS SOUPS 22269142 WITH SCORE 2.2351819826E7
AT ITER 2938 NEW BEST:: SOT 133094441 SOS 82672598 HAS SOPS 67637442 HAS SOUS 22861048 HAS SOUPS 22249822 WITH SCORE 2.2332494598E7
AT ITER 2943 NEW BEST:: SOT 133033599 SOS 82606699 HAS SOPS 67550335 HAS SOUS 22819868 HAS SOUPS 22208392 WITH SCORE 2.2290998699E7
AT ITER 2951 NEW BEST:: SOT 133033397 SOS 82606065 HAS SOPS 67549845 HAS SOUS 22819651 HAS SOUPS 22208178 WITH SCORE 2.2290784065E7
AT ITER 2969 NEW BEST:: SOT 133027477 SOS 82600101 HAS SOPS 67543221 HAS SOUS 22811837 HAS SOUPS 22200228 WITH SCORE 2.2282828101E7
AT ITER 2971 NEW BEST:: SOT 133027856 SOS 82606716 HAS SOPS 67545202 HAS SOUS 22807803 HAS SOUPS 22196194 WITH SCORE 2.2278800716E7
AT ITER 2975 NEW BEST:: SOT 133031181 SOS 82621171 HAS SOPS 67551896 HAS SOUS 22804448 HAS SOUPS 22192839 WITH SCORE 2.2275460171E7
AT ITER 2980 NEW BEST:: SOT 133048886 SOS 82704592 HAS SOPS 67630612 HAS SOUS 22803924 HAS SOUPS 22192315 WITH SCORE 2.2275019592E7
AT ITER 2981 NEW BEST:: SOT 133048615 SOS 82710180 HAS SOPS 67635632 HAS SOUS 22801251 HAS SOUPS 22189642 WITH SCORE 2.227235218E7
AT ITER 2982 NEW BEST:: SOT 133046161 SOS 82707758 HAS SOPS 67634911 HAS SOUS 22793609 HAS SOUPS 22182000 WITH SCORE 2.2264707758E7
AT ITER 2983 NEW BEST:: SOT 133047373 SOS 82710560 HAS SOPS 67635059 HAS SOUS 22787885 HAS SOUPS 22176276 WITH SCORE 2.225898656E7
AT ITER 2987 NEW BEST:: SOT 133031209 SOS 82692932 HAS SOPS 67615981 HAS SOUS 22764168 HAS SOUPS 22152775 WITH SCORE 2.2235467932E7
AT ITER 2991 NEW BEST:: SOT 133032057 SOS 82694813 HAS SOPS 67619235 HAS SOUS 22755713 HAS SOUPS 22144320 WITH SCORE 2.2227014813E7
AT ITER 2993 NEW BEST:: SOT 133030898 SOS 82689114 HAS SOPS 67615954 HAS SOUS 22753166 HAS SOUPS 22141773 WITH SCORE 2.2224462114E7
AT ITER 3004 NEW BEST:: SOT 133080654 SOS 82791906 HAS SOPS 67694400 HAS SOUS 22742810 HAS SOUPS 22131345 WITH SCORE 2.2214136906E7
AT ITER 3007 NEW BEST:: SOT 133080835 SOS 82813414 HAS SOPS 67730557 HAS SOUS 22738614 HAS SOUPS 22127149 WITH SCORE 2.2209962414E7
AT ITER 3021 NEW BEST:: SOT 133078663 SOS 82811322 HAS SOPS 67725573 HAS SOUS 22731829 HAS SOUPS 22120364 WITH SCORE 2.2203175322E7
AT ITER 3041 NEW BEST:: SOT 133095757 SOS 82864229 HAS SOPS 67772934 HAS SOUS 22724826 HAS SOUPS 22113361 WITH SCORE 2.2196225229E7
AT ITER 3045 NEW BEST:: SOT 132991430 SOS 82728288 HAS SOPS 67647224 HAS SOUS 22561757 HAS SOUPS 21951005 WITH SCORE 2.2033733288E7
AT ITER 3051 NEW BEST:: SOT 133040654 SOS 82837190 HAS SOPS 67718444 HAS SOUS 22505798 HAS SOUPS 21895046 WITH SCORE 2.197788319E7
AT ITER 3054 NEW BEST:: SOT 133038937 SOS 82836553 HAS SOPS 67714415 HAS SOUS 22493524 HAS SOUPS 21882772 WITH SCORE 2.1965608553E7
AT ITER 3092 NEW BEST:: SOT 133020537 SOS 82816322 HAS SOPS 67693700 HAS SOUS 22437324 HAS SOUPS 21826784 WITH SCORE 2.1909600322E7
AT ITER 3121 NEW BEST:: SOT 133023287 SOS 82828851 HAS SOPS 67699150 HAS SOUS 22431195 HAS SOUPS 21820655 WITH SCORE 2.1903483851E7
AT ITER 3137 NEW BEST:: SOT 133029083 SOS 82838825 HAS SOPS 67707243 HAS SOUS 22421549 HAS SOUPS 21811009 WITH SCORE 2.1893847825E7
AT ITER 3144 NEW BEST:: SOT 133029083 SOS 82838615 HAS SOPS 67707033 HAS SOUS 22421234 HAS SOUPS 21810694 WITH SCORE 2.1893532615E7
AT ITER 3164 NEW BEST:: SOT 132931491 SOS 82718419 HAS SOPS 67587734 HAS SOUS 22272689 HAS SOUPS 21661773 WITH SCORE 2.1744491419E7
AT ITER 3165 NEW BEST:: SOT 132907442 SOS 82671558 HAS SOPS 67552335 HAS SOUS 22245107 HAS SOUPS 21634355 WITH SCORE 2.1717026558E7
AT ITER 3171 NEW BEST:: SOT 132912281 SOS 82680362 HAS SOPS 67560538 HAS SOUS 22243117 HAS SOUPS 21632365 WITH SCORE 2.1715045362E7
AT ITER 3180 NEW BEST:: SOT 132879665 SOS 82584886 HAS SOPS 67507586 HAS SOUS 22221323 HAS SOUPS 21610571 WITH SCORE 2.1693155886E7
AT ITER 3209 NEW BEST:: SOT 132876112 SOS 82579808 HAS SOPS 67504143 HAS SOUS 22215201 HAS SOUPS 21604577 WITH SCORE 2.1687156808E7
AT ITER 3216 NEW BEST:: SOT 132874992 SOS 82578273 HAS SOPS 67496156 HAS SOUS 22184258 HAS SOUPS 21573791 WITH SCORE 2.1656369273E7
AT ITER 3252 NEW BEST:: SOT 132875579 SOS 82579096 HAS SOPS 67502736 HAS SOUS 22183112 HAS SOUPS 21572645 WITH SCORE 2.1655224096E7
AT ITER 3257 NEW BEST:: SOT 132871530 SOS 82555799 HAS SOPS 67473811 HAS SOUS 22183119 HAS SOUPS 21572652 WITH SCORE 2.1655207799E7
AT ITER 3283 NEW BEST:: SOT 132870511 SOS 82581298 HAS SOPS 67486990 HAS SOUS 22181358 HAS SOUPS 21570891 WITH SCORE 2.1653472298E7
AT ITER 3285 NEW BEST:: SOT 132869818 SOS 82580548 HAS SOPS 67486258 HAS SOUS 22179756 HAS SOUPS 21569268 WITH SCORE 2.1651848548E7
AT ITER 3286 NEW BEST:: SOT 132870127 SOS 82582395 HAS SOPS 67487006 HAS SOUS 22177634 HAS SOUPS 21567146 WITH SCORE 2.1649728395E7
AT ITER 3296 NEW BEST:: SOT 132870157 SOS 82582019 HAS SOPS 67486336 HAS SOUS 22177513 HAS SOUPS 21567025 WITH SCORE 2.1649607019E7
AT ITER 3302 NEW BEST:: SOT 132828922 SOS 82539344 HAS SOPS 67442901 HAS SOUS 22145697 HAS SOUPS 21535164 WITH SCORE 2.1617703344E7
AT ITER 3303 NEW BEST:: SOT 132819972 SOS 82526603 HAS SOPS 67428936 HAS SOUS 22131163 HAS SOUPS 21520630 WITH SCORE 2.1603156603E7
AT ITER 3310 NEW BEST:: SOT 132819556 SOS 82517538 HAS SOPS 67416495 HAS SOUS 22126189 HAS SOUPS 21515656 WITH SCORE 2.1598173538E7
AT ITER 3311 NEW BEST:: SOT 132814154 SOS 82510516 HAS SOPS 67414744 HAS SOUS 22122732 HAS SOUPS 21512199 WITH SCORE 2.1594709516E7
AT ITER 3312 NEW BEST:: SOT 132813740 SOS 82509286 HAS SOPS 67413483 HAS SOUS 22109215 HAS SOUPS 21498682 WITH SCORE 2.1581191286E7
AT ITER 3317 NEW BEST:: SOT 132818891 SOS 82528435 HAS SOPS 67434335 HAS SOUS 22108998 HAS SOUPS 21498465 WITH SCORE 2.1580993435E7
AT ITER 3328 NEW BEST:: SOT 132822813 SOS 82531642 HAS SOPS 67436506 HAS SOUS 22107901 HAS SOUPS 21497368 WITH SCORE 2.1579899642E7
AT ITER 3346 NEW BEST:: SOT 132816727 SOS 82522338 HAS SOPS 67427789 HAS SOUS 22099647 HAS SOUPS 21489114 WITH SCORE 2.1571636338E7
AT ITER 3347 NEW BEST:: SOT 132820809 SOS 82535054 HAS SOPS 67433595 HAS SOUS 22090506 HAS SOUPS 21479973 WITH SCORE 2.1562508054E7
AT ITER 3353 NEW BEST:: SOT 132820886 SOS 82530456 HAS SOPS 67424872 HAS SOUS 22086229 HAS SOUPS 21475696 WITH SCORE 2.1558226456E7
AT ITER 3357 NEW BEST:: SOT 132814464 SOS 82519163 HAS SOPS 67406656 HAS SOUS 22078034 HAS SOUPS 21467501 WITH SCORE 2.1550020163E7
AT ITER 3378 NEW BEST:: SOT 132806407 SOS 82506284 HAS SOPS 67394746 HAS SOUS 22070326 HAS SOUPS 21459793 WITH SCORE 2.1542299284E7
AT ITER 3379 NEW BEST:: SOT 132805272 SOS 82505026 HAS SOPS 67397022 HAS SOUS 22069262 HAS SOUPS 21458640 WITH SCORE 2.1541145026E7
AT ITER 3388 NEW BEST:: SOT 132798401 SOS 82513361 HAS SOPS 67393115 HAS SOUS 22051618 HAS SOUPS 21440996 WITH SCORE 2.1523509361E7
AT ITER 3417 NEW BEST:: SOT 132801895 SOS 82532591 HAS SOPS 67407689 HAS SOUS 22050288 HAS SOUPS 21439666 WITH SCORE 2.1522198591E7
AT ITER 3420 NEW BEST:: SOT 132803039 SOS 82533483 HAS SOPS 67417220 HAS SOUS 22048005 HAS SOUPS 21438010 WITH SCORE 2.1520543483E7
AT ITER 3438 NEW BEST:: SOT 132803474 SOS 82532603 HAS SOPS 67416472 HAS SOUS 22047323 HAS SOUPS 21437328 WITH SCORE 2.1519860603E7
AT ITER 3442 NEW BEST:: SOT 132804769 SOS 82539369 HAS SOPS 67421474 HAS SOUS 22047236 HAS SOUPS 21437241 WITH SCORE 2.1519780369E7
AT ITER 3457 NEW BEST:: SOT 132802948 SOS 82575123 HAS SOPS 67445781 HAS SOUS 22028814 HAS SOUPS 21418375 WITH SCORE 2.1500950123E7
AT ITER 3468 NEW BEST:: SOT 132806250 SOS 82602990 HAS SOPS 67493598 HAS SOUS 22024610 HAS SOUPS 21414171 WITH SCORE 2.149677399E7
AT ITER 3471 NEW BEST:: SOT 132807316 SOS 82605286 HAS SOPS 67495683 HAS SOUS 22024056 HAS SOUPS 21413617 WITH SCORE 2.1496222286E7
AT ITER 3475 NEW BEST:: SOT 132807041 SOS 82604987 HAS SOPS 67495024 HAS SOUS 22023209 HAS SOUPS 21412770 WITH SCORE 2.1495374987E7
AT ITER 3480 NEW BEST:: SOT 132807145 SOS 82607712 HAS SOPS 67496059 HAS SOUS 22017791 HAS SOUPS 21407352 WITH SCORE 2.1489959712E7
AT ITER 3513 NEW BEST:: SOT 132811488 SOS 82607490 HAS SOPS 67496684 HAS SOUS 22012434 HAS SOUPS 21402059 WITH SCORE 2.148466649E7
AT ITER 3515 NEW BEST:: SOT 132818144 SOS 82631061 HAS SOPS 67506235 HAS SOUS 21981676 HAS SOUPS 21371301 WITH SCORE 2.1453932061E7
AT ITER 3516 NEW BEST:: SOT 132812395 SOS 82637717 HAS SOPS 67510405 HAS SOUS 21959039 HAS SOUPS 21348664 WITH SCORE 2.1431301717E7
AT ITER 3517 NEW BEST:: SOT 132803407 SOS 82624445 HAS SOPS 67504094 HAS SOUS 21899401 HAS SOUPS 21295016 WITH SCORE 2.1377640445E7
AT ITER 3531 NEW BEST:: SOT 132821242 SOS 82668677 HAS SOPS 67543882 HAS SOUS 21870582 HAS SOUPS 21266197 WITH SCORE 2.1348865677E7
AT ITER 3533 NEW BEST:: SOT 132819856 SOS 82666852 HAS SOPS 67538791 HAS SOUS 21861576 HAS SOUPS 21257157 WITH SCORE 2.1339823852E7
AT ITER 3537 NEW BEST:: SOT 132817463 SOS 82664245 HAS SOPS 67534070 HAS SOUS 21854637 HAS SOUPS 21250218 WITH SCORE 2.1332882245E7
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 13490800 kB
After kill :
MemTotal: 16393216 kB
MemFree: 15951276 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
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="RERS17pb114-PT-9"
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 RERS17pb114-PT-9, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r331-tall-167889204100144"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/RERS17pb114-PT-9.tgz
mv RERS17pb114-PT-9 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 ;