About the Execution of Smart+red for RERS2020-PT-pb102
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 1881.787 | 3600000.00 | 3847851.00 | 8367.10 | [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-167889204200232.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 RERS2020-PT-pb102, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r331-tall-167889204200232
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 71M
-rw-r--r-- 1 mcc users 8.4K Feb 26 08:36 CTLCardinality.txt
-rw-r--r-- 1 mcc users 95K Feb 26 08:36 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.5K Feb 26 08:34 CTLFireability.txt
-rw-r--r-- 1 mcc users 65K Feb 26 08:34 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:40 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:40 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:40 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:40 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.8K Feb 26 08:44 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 71K Feb 26 08:44 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 26 08:42 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 84K Feb 26 08:42 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:40 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:40 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 70M 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 1679116775616
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=RERS2020-PT-pb102
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-18 05:19:37] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-18 05:19:37] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-18 05:19:40] [INFO ] Load time of PNML (sax parser for PT used): 2178 ms
[2023-03-18 05:19:40] [INFO ] Transformed 1276 places.
[2023-03-18 05:19:40] [INFO ] Transformed 125387 transitions.
[2023-03-18 05:19:40] [INFO ] Found NUPN structural information;
[2023-03-18 05:19:40] [INFO ] Parsed PT model containing 1276 places and 125387 transitions and 499222 arcs in 2733 ms.
[2023-03-18 05:19:41] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1276 places, 125387 transitions and 499222 arcs took 336 ms.
Total runtime 3108 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS2020 (PT), instance pb102
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: 1276 places, 125387 transitions, 499222 arcs.
AT ITER 0 NEW BEST:: SOT 91160090 SOS 50310274 HAS SOPS 46281447 HAS SOUS 13895270 HAS SOUPS 13832178 WITH SCORE 1.3882488274E7
AT ITER 4 NEW BEST:: SOT 91161123 SOS 50311307 HAS SOPS 46282428 HAS SOUS 13893925 HAS SOUPS 13830833 WITH SCORE 1.3881144307E7
AT ITER 18 NEW BEST:: SOT 91159774 SOS 50282842 HAS SOPS 46248859 HAS SOUS 13878904 HAS SOUPS 13815812 WITH SCORE 1.3866094842E7
AT ITER 34 NEW BEST:: SOT 91159544 SOS 50280107 HAS SOPS 46247552 HAS SOUS 13877965 HAS SOUPS 13814992 WITH SCORE 1.3865272107E7
AT ITER 42 NEW BEST:: SOT 91148484 SOS 50255106 HAS SOPS 46222607 HAS SOUS 13864341 HAS SOUPS 13801412 WITH SCORE 1.3851667106E7
AT ITER 51 NEW BEST:: SOT 91175752 SOS 50248204 HAS SOPS 46231918 HAS SOUS 13819089 HAS SOUPS 13737546 WITH SCORE 1.3787794204E7
AT ITER 54 NEW BEST:: SOT 91176729 SOS 50249213 HAS SOPS 46232355 HAS SOUS 13811706 HAS SOUPS 13730163 WITH SCORE 1.3780412213E7
AT ITER 59 NEW BEST:: SOT 91176916 SOS 50249182 HAS SOPS 46232324 HAS SOUS 13811386 HAS SOUPS 13729843 WITH SCORE 1.3780092182E7
AT ITER 66 NEW BEST:: SOT 91172661 SOS 50243880 HAS SOPS 46226652 HAS SOUS 13804120 HAS SOUPS 13722577 WITH SCORE 1.377282088E7
AT ITER 81 NEW BEST:: SOT 91191780 SOS 50261612 HAS SOPS 46235327 HAS SOUS 13770064 HAS SOUPS 13688672 WITH SCORE 1.3738933612E7
AT ITER 83 NEW BEST:: SOT 91196434 SOS 50272664 HAS SOPS 46241886 HAS SOUS 13746234 HAS SOUPS 13664842 WITH SCORE 1.3715114664E7
AT ITER 84 NEW BEST:: SOT 91178934 SOS 50250443 HAS SOPS 46214610 HAS SOUS 13713772 HAS SOUPS 13632380 WITH SCORE 1.3682630443E7
AT ITER 85 NEW BEST:: SOT 91178626 SOS 50248928 HAS SOPS 46214019 HAS SOUS 13713036 HAS SOUPS 13631721 WITH SCORE 1.3681969928E7
AT ITER 87 NEW BEST:: SOT 91165219 SOS 50235742 HAS SOPS 46194042 HAS SOUS 13697261 HAS SOUPS 13615946 WITH SCORE 1.3666181742E7
AT ITER 89 NEW BEST:: SOT 91164844 SOS 50235152 HAS SOPS 46193060 HAS SOUS 13694992 HAS SOUPS 13613677 WITH SCORE 1.3663912152E7
AT ITER 101 NEW BEST:: SOT 91164846 SOS 50235156 HAS SOPS 46193064 HAS SOUS 13694910 HAS SOUPS 13613595 WITH SCORE 1.3663830156E7
AT ITER 135 NEW BEST:: SOT 91165380 SOS 50232189 HAS SOPS 46183444 HAS SOUS 13693533 HAS SOUPS 13612169 WITH SCORE 1.3662401189E7
AT ITER 138 NEW BEST:: SOT 91107937 SOS 50236730 HAS SOPS 46195244 HAS SOUS 13665721 HAS SOUPS 13584357 WITH SCORE 1.363459373E7
AT ITER 143 NEW BEST:: SOT 91110802 SOS 50239607 HAS SOPS 46198121 HAS SOUS 13661718 HAS SOUPS 13580354 WITH SCORE 1.3630593607E7
AT ITER 144 NEW BEST:: SOT 91125706 SOS 50260498 HAS SOPS 46226780 HAS SOUS 13658081 HAS SOUPS 13576810 WITH SCORE 1.3627070498E7
AT ITER 153 NEW BEST:: SOT 91124182 SOS 50261003 HAS SOPS 46226958 HAS SOUS 13656553 HAS SOUPS 13575282 WITH SCORE 1.3625543003E7
AT ITER 203 NEW BEST:: SOT 91126630 SOS 50261487 HAS SOPS 46227442 HAS SOUS 13656356 HAS SOUPS 13575085 WITH SCORE 1.3625346487E7
AT ITER 213 NEW BEST:: SOT 91126821 SOS 50259979 HAS SOPS 46225934 HAS SOUS 13654662 HAS SOUPS 13573391 WITH SCORE 1.3623650979E7
AT ITER 214 NEW BEST:: SOT 91121078 SOS 50254099 HAS SOPS 46219212 HAS SOUS 13647256 HAS SOUPS 13565985 WITH SCORE 1.3616239099E7
AT ITER 223 NEW BEST:: SOT 91122520 SOS 50251828 HAS SOPS 46215833 HAS SOUS 13646382 HAS SOUPS 13565111 WITH SCORE 1.3615362828E7
AT ITER 235 NEW BEST:: SOT 91130997 SOS 50257719 HAS SOPS 46219149 HAS SOUS 13623508 HAS SOUPS 13542237 WITH SCORE 1.3592494719E7
AT ITER 273 NEW BEST:: SOT 91121799 SOS 50212737 HAS SOPS 46157554 HAS SOUS 13582880 HAS SOUPS 13501966 WITH SCORE 1.3552178737E7
AT ITER 275 NEW BEST:: SOT 91123351 SOS 50215063 HAS SOPS 46160106 HAS SOUS 13580936 HAS SOUPS 13500022 WITH SCORE 1.3550237063E7
AT ITER 284 NEW BEST:: SOT 91123136 SOS 50214833 HAS SOPS 46159851 HAS SOUS 13580099 HAS SOUPS 13499185 WITH SCORE 1.3549399833E7
AT ITER 315 NEW BEST:: SOT 91064125 SOS 50265628 HAS SOPS 46217349 HAS SOUS 13558894 HAS SOUPS 13477980 WITH SCORE 1.3528245628E7
AT ITER 325 NEW BEST:: SOT 91064025 SOS 50265690 HAS SOPS 46217116 HAS SOUS 13554277 HAS SOUPS 13473363 WITH SCORE 1.352362869E7
AT ITER 333 NEW BEST:: SOT 91092507 SOS 50225045 HAS SOPS 46213091 HAS SOUS 13518147 HAS SOUPS 13437602 WITH SCORE 1.3487827045E7
AT ITER 337 NEW BEST:: SOT 91092295 SOS 50201409 HAS SOPS 46188593 HAS SOUS 13515156 HAS SOUPS 13434611 WITH SCORE 1.3484812409E7
AT ITER 347 NEW BEST:: SOT 91048031 SOS 50288235 HAS SOPS 46276850 HAS SOUS 13504404 HAS SOUPS 13423793 WITH SCORE 1.3474081235E7
AT ITER 364 NEW BEST:: SOT 91046842 SOS 50287046 HAS SOPS 46275408 HAS SOUS 13502988 HAS SOUPS 13422377 WITH SCORE 1.3472664046E7
AT ITER 367 NEW BEST:: SOT 91130721 SOS 50190422 HAS SOPS 46149008 HAS SOUS 13474811 HAS SOUPS 13394085 WITH SCORE 1.3444275422E7
AT ITER 370 NEW BEST:: SOT 91140689 SOS 50208891 HAS SOPS 46170523 HAS SOUS 13464803 HAS SOUPS 13384077 WITH SCORE 1.3434285891E7
AT ITER 377 NEW BEST:: SOT 91142201 SOS 50209052 HAS SOPS 46170684 HAS SOUS 13462688 HAS SOUPS 13381962 WITH SCORE 1.3432171052E7
AT ITER 390 NEW BEST:: SOT 91157115 SOS 50194057 HAS SOPS 46153472 HAS SOUS 13421440 HAS SOUPS 13341006 WITH SCORE 1.3391200057E7
AT ITER 398 NEW BEST:: SOT 91158590 SOS 50195460 HAS SOPS 46155021 HAS SOUS 13421187 HAS SOUPS 13340753 WITH SCORE 1.339094846E7
AT ITER 399 NEW BEST:: SOT 91158571 SOS 50195441 HAS SOPS 46154966 HAS SOUS 13420668 HAS SOUPS 13340234 WITH SCORE 1.3390429441E7
AT ITER 407 NEW BEST:: SOT 91158448 SOS 50194675 HAS SOPS 46154200 HAS SOUS 13420048 HAS SOUPS 13339614 WITH SCORE 1.3389808675E7
AT ITER 421 NEW BEST:: SOT 91165059 SOS 50140051 HAS SOPS 46095717 HAS SOUS 13388082 HAS SOUPS 13307913 WITH SCORE 1.3358053051E7
AT ITER 426 NEW BEST:: SOT 91167551 SOS 50134937 HAS SOPS 46092813 HAS SOUS 13385379 HAS SOUPS 13305054 WITH SCORE 1.3355188937E7
AT ITER 427 NEW BEST:: SOT 91170169 SOS 50135781 HAS SOPS 46089201 HAS SOUS 13370145 HAS SOUPS 13289970 WITH SCORE 1.3340105781E7
AT ITER 438 NEW BEST:: SOT 91173446 SOS 50139000 HAS SOPS 46091376 HAS SOUS 13360267 HAS SOUPS 13280092 WITH SCORE 1.3330231E7
AT ITER 451 NEW BEST:: SOT 91177868 SOS 50138332 HAS SOPS 46096910 HAS SOUS 13350711 HAS SOUPS 13270536 WITH SCORE 1.3320674332E7
AT ITER 461 NEW BEST:: SOT 91213803 SOS 50406342 HAS SOPS 46245823 HAS SOUS 13329140 HAS SOUPS 13248660 WITH SCORE 1.3299066342E7
AT ITER 471 NEW BEST:: SOT 91213499 SOS 50260390 HAS SOPS 46099871 HAS SOUS 13329272 HAS SOUPS 13248792 WITH SCORE 1.329905239E7
AT ITER 492 NEW BEST:: SOT 91213702 SOS 50259679 HAS SOPS 46099160 HAS SOUS 13328587 HAS SOUPS 13248107 WITH SCORE 1.3298366679E7
AT ITER 514 NEW BEST:: SOT 91213445 SOS 50258800 HAS SOPS 46098279 HAS SOUS 13327849 HAS SOUPS 13247369 WITH SCORE 1.32976278E7
AT ITER 517 NEW BEST:: SOT 91213537 SOS 50258942 HAS SOPS 46098421 HAS SOUS 13327423 HAS SOUPS 13246943 WITH SCORE 1.3297201942E7
AT ITER 518 NEW BEST:: SOT 91213852 SOS 50261300 HAS SOPS 46100779 HAS SOUS 13326051 HAS SOUPS 13245571 WITH SCORE 1.32958323E7
AT ITER 521 NEW BEST:: SOT 91213904 SOS 50260491 HAS SOPS 46096002 HAS SOUS 13321043 HAS SOUPS 13240563 WITH SCORE 1.3290823491E7
AT ITER 525 NEW BEST:: SOT 91213875 SOS 50259509 HAS SOPS 46095020 HAS SOUS 13321007 HAS SOUPS 13240527 WITH SCORE 1.3290786509E7
AT ITER 537 NEW BEST:: SOT 91213878 SOS 50259510 HAS SOPS 46095021 HAS SOUS 13320992 HAS SOUPS 13240512 WITH SCORE 1.329077151E7
AT ITER 540 NEW BEST:: SOT 91213966 SOS 50259544 HAS SOPS 46095055 HAS SOUS 13320792 HAS SOUPS 13240312 WITH SCORE 1.3290571544E7
AT ITER 543 NEW BEST:: SOT 91211733 SOS 50257200 HAS SOPS 46092593 HAS SOUS 13316157 HAS SOUPS 13235677 WITH SCORE 1.32859342E7
AT ITER 549 NEW BEST:: SOT 91211197 SOS 50256621 HAS SOPS 46091870 HAS SOUS 13314027 HAS SOUPS 13233547 WITH SCORE 1.3283803621E7
AT ITER 559 NEW BEST:: SOT 91202910 SOS 50248071 HAS SOPS 46082506 HAS SOUS 13307835 HAS SOUPS 13227299 WITH SCORE 1.3277547071E7
AT ITER 562 NEW BEST:: SOT 91202972 SOS 50248164 HAS SOPS 46082599 HAS SOUS 13307813 HAS SOUPS 13227277 WITH SCORE 1.3277525164E7
AT ITER 569 NEW BEST:: SOT 91199670 SOS 50247131 HAS SOPS 46067872 HAS SOUS 13272882 HAS SOUPS 13192346 WITH SCORE 1.3242593131E7
AT ITER 575 NEW BEST:: SOT 91252703 SOS 50293385 HAS SOPS 46095589 HAS SOUS 13248647 HAS SOUPS 13168019 WITH SCORE 1.3218312385E7
AT ITER 588 NEW BEST:: SOT 91251443 SOS 50292097 HAS SOPS 46094189 HAS SOUS 13247219 HAS SOUPS 13166591 WITH SCORE 1.3216883097E7
AT ITER 594 NEW BEST:: SOT 91251443 SOS 50292001 HAS SOPS 46094093 HAS SOUS 13247155 HAS SOUPS 13166527 WITH SCORE 1.3216819001E7
AT ITER 596 NEW BEST:: SOT 91251626 SOS 50289451 HAS SOPS 46091543 HAS SOUS 13246708 HAS SOUPS 13166080 WITH SCORE 1.3216369451E7
AT ITER 599 NEW BEST:: SOT 91252721 SOS 50264629 HAS SOPS 46065698 HAS SOUS 13243221 HAS SOUPS 13162593 WITH SCORE 1.3212857629E7
AT ITER 604 NEW BEST:: SOT 91252707 SOS 50262430 HAS SOPS 46063499 HAS SOUS 13241553 HAS SOUPS 13160925 WITH SCORE 1.321118743E7
AT ITER 605 NEW BEST:: SOT 91252685 SOS 50261463 HAS SOPS 46057677 HAS SOUS 13238561 HAS SOUPS 13157933 WITH SCORE 1.3208194463E7
AT ITER 612 NEW BEST:: SOT 91248368 SOS 50257506 HAS SOPS 46043704 HAS SOUS 13177531 HAS SOUPS 13096903 WITH SCORE 1.3147160506E7
AT ITER 616 NEW BEST:: SOT 91248353 SOS 50256620 HAS SOPS 46042818 HAS SOUS 13177297 HAS SOUPS 13096669 WITH SCORE 1.314692562E7
AT ITER 628 NEW BEST:: SOT 91243864 SOS 50252228 HAS SOPS 46038280 HAS SOUS 13171812 HAS SOUPS 13091184 WITH SCORE 1.3141436228E7
AT ITER 630 NEW BEST:: SOT 91243873 SOS 50252924 HAS SOPS 46038026 HAS SOUS 13171651 HAS SOUPS 13091023 WITH SCORE 1.3141275924E7
AT ITER 631 NEW BEST:: SOT 91244665 SOS 50253902 HAS SOPS 46038682 HAS SOUS 13167626 HAS SOUPS 13086998 WITH SCORE 1.3137251902E7
AT ITER 640 NEW BEST:: SOT 91241593 SOS 50252822 HAS SOPS 46038282 HAS SOUS 13163126 HAS SOUPS 13082687 WITH SCORE 1.3132939822E7
AT ITER 641 NEW BEST:: SOT 91241933 SOS 50253129 HAS SOPS 46038560 HAS SOUS 13162435 HAS SOUPS 13081996 WITH SCORE 1.3132249129E7
AT ITER 645 NEW BEST:: SOT 91244597 SOS 50118571 HAS SOPS 46040910 HAS SOUS 13158309 HAS SOUPS 13078249 WITH SCORE 1.3128367571E7
AT ITER 670 NEW BEST:: SOT 91237640 SOS 50152177 HAS SOPS 46074959 HAS SOUS 13155729 HAS SOUPS 13075669 WITH SCORE 1.3125821177E7
AT ITER 673 NEW BEST:: SOT 91236908 SOS 50100487 HAS SOPS 46022302 HAS SOUS 13146521 HAS SOUPS 13066461 WITH SCORE 1.3116561487E7
AT ITER 685 NEW BEST:: SOT 91236638 SOS 50100217 HAS SOPS 46021982 HAS SOUS 13146371 HAS SOUPS 13066311 WITH SCORE 1.3116411217E7
AT ITER 687 NEW BEST:: SOT 91236433 SOS 50095467 HAS SOPS 46017232 HAS SOUS 13142038 HAS SOUPS 13061978 WITH SCORE 1.3112073467E7
AT ITER 689 NEW BEST:: SOT 91218159 SOS 49996382 HAS SOPS 45975543 HAS SOUS 13098545 HAS SOUPS 13019158 WITH SCORE 1.3069154382E7
AT ITER 697 NEW BEST:: SOT 91187465 SOS 49802038 HAS SOPS 45805684 HAS SOUS 13032711 HAS SOUPS 12953626 WITH SCORE 1.3003428038E7
AT ITER 703 NEW BEST:: SOT 91184445 SOS 49771600 HAS SOPS 45778887 HAS SOUS 13020427 HAS SOUPS 12941342 WITH SCORE 1.29911136E7
AT ITER 707 NEW BEST:: SOT 91103524 SOS 50243259 HAS SOPS 46250546 HAS SOUS 12934203 HAS SOUPS 12855118 WITH SCORE 1.2905361259E7
AT ITER 751 NEW BEST:: SOT 91070450 SOS 50204023 HAS SOPS 46197329 HAS SOUS 12891052 HAS SOUPS 12811967 WITH SCORE 1.2862171023E7
AT ITER 779 NEW BEST:: SOT 91070446 SOS 50130063 HAS SOPS 46121933 HAS SOUS 12889860 HAS SOUPS 12810775 WITH SCORE 1.2860905063E7
AT ITER 794 NEW BEST:: SOT 91077221 SOS 50140326 HAS SOPS 46133546 HAS SOUS 12889702 HAS SOUPS 12810617 WITH SCORE 1.2860757326E7
AT ITER 797 NEW BEST:: SOT 91026322 SOS 50092188 HAS SOPS 46085975 HAS SOUS 12879285 HAS SOUPS 12800200 WITH SCORE 1.2850292188E7
AT ITER 805 NEW BEST:: SOT 90958238 SOS 50047340 HAS SOPS 46040911 HAS SOUS 12876423 HAS SOUPS 12797306 WITH SCORE 1.284735334E7
AT ITER 813 NEW BEST:: SOT 90950124 SOS 50046810 HAS SOPS 46041964 HAS SOUS 12867722 HAS SOUPS 12788605 WITH SCORE 1.283865181E7
AT ITER 816 NEW BEST:: SOT 90947837 SOS 50044545 HAS SOPS 46039930 HAS SOUS 12866678 HAS SOUPS 12787561 WITH SCORE 1.2837605545E7
AT ITER 820 NEW BEST:: SOT 90949035 SOS 50042256 HAS SOPS 46028850 HAS SOUS 12836402 HAS SOUPS 12757285 WITH SCORE 1.2807327256E7
AT ITER 822 NEW BEST:: SOT 90952698 SOS 50046583 HAS SOPS 46033045 HAS SOUS 12834695 HAS SOUPS 12755578 WITH SCORE 1.2805624583E7
AT ITER 823 NEW BEST:: SOT 90952690 SOS 50046567 HAS SOPS 46033029 HAS SOUS 12834655 HAS SOUPS 12755538 WITH SCORE 1.2805584567E7
AT ITER 835 NEW BEST:: SOT 90959271 SOS 50018462 HAS SOPS 46010888 HAS SOUS 12833870 HAS SOUPS 12754829 WITH SCORE 1.2804847462E7
AT ITER 846 NEW BEST:: SOT 90959085 SOS 49832251 HAS SOPS 45824677 HAS SOUS 12834014 HAS SOUPS 12754973 WITH SCORE 1.2804805251E7
AT ITER 850 NEW BEST:: SOT 90959085 SOS 49822128 HAS SOPS 45814468 HAS SOUS 12833972 HAS SOUPS 12754931 WITH SCORE 1.2804753128E7
AT ITER 880 NEW BEST:: SOT 90986339 SOS 49847319 HAS SOPS 45839659 HAS SOUS 12829355 HAS SOUPS 12750314 WITH SCORE 1.2800161319E7
AT ITER 885 NEW BEST:: SOT 90984774 SOS 49845650 HAS SOPS 45837778 HAS SOUS 12828320 HAS SOUPS 12749279 WITH SCORE 1.279912465E7
AT ITER 899 NEW BEST:: SOT 90985134 SOS 49838727 HAS SOPS 45830833 HAS SOUS 12824271 HAS SOUPS 12745230 WITH SCORE 1.2795068727E7
AT ITER 902 NEW BEST:: SOT 90981731 SOS 49823241 HAS SOPS 45805141 HAS SOUS 12822461 HAS SOUPS 12743420 WITH SCORE 1.2793243241E7
AT ITER 908 NEW BEST:: SOT 90985421 SOS 49827051 HAS SOPS 45808455 HAS SOUS 12821453 HAS SOUPS 12742388 WITH SCORE 1.2792215051E7
AT ITER 927 NEW BEST:: SOT 91011209 SOS 49858245 HAS SOPS 45838382 HAS SOUS 12815243 HAS SOUPS 12736178 WITH SCORE 1.2786036245E7
AT ITER 949 NEW BEST:: SOT 91066425 SOS 49939198 HAS SOPS 45924267 HAS SOUS 12789873 HAS SOUPS 12710808 WITH SCORE 1.2760747198E7
AT ITER 956 NEW BEST:: SOT 91065450 SOS 49938198 HAS SOPS 45923167 HAS SOUS 12789273 HAS SOUPS 12710208 WITH SCORE 1.2760146198E7
AT ITER 960 NEW BEST:: SOT 91065450 SOS 49880818 HAS SOPS 45865787 HAS SOUS 12788969 HAS SOUPS 12709904 WITH SCORE 1.2759784818E7
AT ITER 969 NEW BEST:: SOT 91066994 SOS 49882525 HAS SOPS 45867176 HAS SOUS 12787023 HAS SOUPS 12707958 WITH SCORE 1.2757840525E7
AT ITER 971 NEW BEST:: SOT 91066979 SOS 49882816 HAS SOPS 45867314 HAS SOUS 12784893 HAS SOUPS 12705828 WITH SCORE 1.2755710816E7
AT ITER 976 NEW BEST:: SOT 91085242 SOS 49906334 HAS SOPS 45893536 HAS SOUS 12766118 HAS SOUPS 12687215 WITH SCORE 1.2737121334E7
AT ITER 977 NEW BEST:: SOT 91087073 SOS 49895570 HAS SOPS 45881584 HAS SOUS 12762682 HAS SOUPS 12683779 WITH SCORE 1.273367457E7
AT ITER 982 NEW BEST:: SOT 91015369 SOS 49849517 HAS SOPS 45841591 HAS SOUS 12717117 HAS SOUPS 12639933 WITH SCORE 1.2689782517E7
AT ITER 988 NEW BEST:: SOT 91014233 SOS 49837486 HAS SOPS 45828810 HAS SOUS 12716253 HAS SOUPS 12639106 WITH SCORE 1.2688943486E7
AT ITER 994 NEW BEST:: SOT 91010151 SOS 49833138 HAS SOPS 45824102 HAS SOUS 12709133 HAS SOUPS 12631986 WITH SCORE 1.2681819138E7
AT ITER 1004 NEW BEST:: SOT 91010229 SOS 49833229 HAS SOPS 45824222 HAS SOUS 12709004 HAS SOUPS 12631857 WITH SCORE 1.2681690229E7
AT ITER 1018 NEW BEST:: SOT 91027827 SOS 49855431 HAS SOPS 45844760 HAS SOUS 12682148 HAS SOUPS 12605074 WITH SCORE 1.2654929431E7
AT ITER 1019 NEW BEST:: SOT 91023594 SOS 49832614 HAS SOPS 45823399 HAS SOUS 12671669 HAS SOUPS 12594595 WITH SCORE 1.2644427614E7
AT ITER 1030 NEW BEST:: SOT 91023579 SOS 49831199 HAS SOPS 45821984 HAS SOUS 12671337 HAS SOUPS 12594263 WITH SCORE 1.2644094199E7
AT ITER 1037 NEW BEST:: SOT 91023567 SOS 49831229 HAS SOPS 45821976 HAS SOUS 12670473 HAS SOUPS 12593399 WITH SCORE 1.2643230229E7
AT ITER 1043 NEW BEST:: SOT 91015719 SOS 49823693 HAS SOPS 45810308 HAS SOUS 12642406 HAS SOUPS 12565332 WITH SCORE 1.2615155693E7
AT ITER 1046 NEW BEST:: SOT 91019332 SOS 49826933 HAS SOPS 45811333 HAS SOUS 12620622 HAS SOUPS 12543548 WITH SCORE 1.2593374933E7
AT ITER 1061 NEW BEST:: SOT 91019326 SOS 49826905 HAS SOPS 45811305 HAS SOUS 12620592 HAS SOUPS 12543518 WITH SCORE 1.2593344905E7
AT ITER 1063 NEW BEST:: SOT 91020184 SOS 49824248 HAS SOPS 45809530 HAS SOUS 12618347 HAS SOUPS 12541273 WITH SCORE 1.2591097248E7
AT ITER 1068 NEW BEST:: SOT 91020739 SOS 49828545 HAS SOPS 45813827 HAS SOUS 12617858 HAS SOUPS 12540784 WITH SCORE 1.2590612545E7
AT ITER 1075 NEW BEST:: SOT 91020585 SOS 49828387 HAS SOPS 45813663 HAS SOUS 12617728 HAS SOUPS 12540654 WITH SCORE 1.2590482387E7
AT ITER 1088 NEW BEST:: SOT 91020450 SOS 49828252 HAS SOPS 45812910 HAS SOUS 12614687 HAS SOUPS 12537543 WITH SCORE 1.2587371252E7
AT ITER 1094 NEW BEST:: SOT 91018326 SOS 49817896 HAS SOPS 45801395 HAS SOUS 12608388 HAS SOUPS 12531290 WITH SCORE 1.2581107896E7
AT ITER 1103 NEW BEST:: SOT 91000492 SOS 49799498 HAS SOPS 45783255 HAS SOUS 12596299 HAS SOUPS 12519201 WITH SCORE 1.2569000498E7
AT ITER 1114 NEW BEST:: SOT 90991080 SOS 49789248 HAS SOPS 45768966 HAS SOUS 12574945 HAS SOUPS 12497847 WITH SCORE 1.2547636248E7
AT ITER 1116 NEW BEST:: SOT 90989589 SOS 49787751 HAS SOPS 45767265 HAS SOUS 12574730 HAS SOUPS 12497632 WITH SCORE 1.2547419751E7
AT ITER 1130 NEW BEST:: SOT 90989578 SOS 49787729 HAS SOPS 45767243 HAS SOUS 12574708 HAS SOUPS 12497610 WITH SCORE 1.2547397729E7
AT ITER 1138 NEW BEST:: SOT 90990304 SOS 49788455 HAS SOPS 45768101 HAS SOUS 12573817 HAS SOUPS 12496719 WITH SCORE 1.2546507455E7
AT ITER 1163 NEW BEST:: SOT 90990491 SOS 49786544 HAS SOPS 45764933 HAS SOUS 12573351 HAS SOUPS 12496156 WITH SCORE 1.2545942544E7
AT ITER 1179 NEW BEST:: SOT 90990134 SOS 49786039 HAS SOPS 45764222 HAS SOUS 12572421 HAS SOUPS 12495226 WITH SCORE 1.2545012039E7
AT ITER 1189 NEW BEST:: SOT 90990054 SOS 49783671 HAS SOPS 45761854 HAS SOUS 12570276 HAS SOUPS 12493081 WITH SCORE 1.2542864671E7
AT ITER 1207 NEW BEST:: SOT 90995431 SOS 49795480 HAS SOPS 45772441 HAS SOUS 12566933 HAS SOUPS 12489711 WITH SCORE 1.253950648E7
AT ITER 1222 NEW BEST:: SOT 90995458 SOS 49795498 HAS SOPS 45772432 HAS SOUS 12566886 HAS SOUPS 12489664 WITH SCORE 1.2539459498E7
AT ITER 1244 NEW BEST:: SOT 90984600 SOS 49783036 HAS SOPS 45760256 HAS SOUS 12565158 HAS SOUPS 12487804 WITH SCORE 1.2537587036E7
AT ITER 1285 NEW BEST:: SOT 90984688 SOS 49783469 HAS SOPS 45760312 HAS SOUS 12565171 HAS SOUPS 12487787 WITH SCORE 1.2537570469E7
AT ITER 1291 NEW BEST:: SOT 90989624 SOS 49788413 HAS SOPS 45764289 HAS SOUS 12549897 HAS SOUPS 12472513 WITH SCORE 1.2522301413E7
AT ITER 1303 NEW BEST:: SOT 90986678 SOS 49785455 HAS SOPS 45761331 HAS SOUS 12538762 HAS SOUPS 12461378 WITH SCORE 1.2511163455E7
AT ITER 1316 NEW BEST:: SOT 91006682 SOS 49798746 HAS SOPS 45773458 HAS SOUS 12490447 HAS SOUPS 12413322 WITH SCORE 1.2463120746E7
AT ITER 1320 NEW BEST:: SOT 91006825 SOS 49798928 HAS SOPS 45773569 HAS SOUS 12490138 HAS SOUPS 12413013 WITH SCORE 1.2462811928E7
AT ITER 1330 NEW BEST:: SOT 91032733 SOS 49823572 HAS SOPS 45788665 HAS SOUS 12488248 HAS SOUPS 12411123 WITH SCORE 1.2460946572E7
AT ITER 1352 NEW BEST:: SOT 91029364 SOS 49820203 HAS SOPS 45784772 HAS SOUS 12483945 HAS SOUPS 12406820 WITH SCORE 1.2456640203E7
AT ITER 1369 NEW BEST:: SOT 91029055 SOS 49819887 HAS SOPS 45784438 HAS SOUS 12483838 HAS SOUPS 12406713 WITH SCORE 1.2456532887E7
AT ITER 1371 NEW BEST:: SOT 91020513 SOS 49811104 HAS SOPS 45775567 HAS SOUS 12478535 HAS SOUPS 12401410 WITH SCORE 1.2451221104E7
AT ITER 1382 NEW BEST:: SOT 91024817 SOS 49815424 HAS SOPS 45779887 HAS SOUS 12475944 HAS SOUPS 12398819 WITH SCORE 1.2448634424E7
AT ITER 1398 NEW BEST:: SOT 91021703 SOS 49795061 HAS SOPS 45758459 HAS SOUS 12461906 HAS SOUPS 12384707 WITH SCORE 1.2434502061E7
AT ITER 1403 NEW BEST:: SOT 91053909 SOS 49817932 HAS SOPS 45796392 HAS SOUS 12445642 HAS SOUPS 12368664 WITH SCORE 1.2418481932E7
AT ITER 1432 NEW BEST:: SOT 91056839 SOS 49899185 HAS SOPS 45877949 HAS SOUS 12438116 HAS SOUPS 12360926 WITH SCORE 1.2410825185E7
AT ITER 1459 NEW BEST:: SOT 91056804 SOS 49898730 HAS SOPS 45877494 HAS SOUS 12437485 HAS SOUPS 12360295 WITH SCORE 1.241019373E7
AT ITER 1467 NEW BEST:: SOT 91059690 SOS 49901391 HAS SOPS 45879804 HAS SOUS 12430396 HAS SOUPS 12353183 WITH SCORE 1.2403084391E7
AT ITER 1481 NEW BEST:: SOT 91056683 SOS 49898417 HAS SOPS 45876608 HAS SOUS 12424767 HAS SOUPS 12347554 WITH SCORE 1.2397452417E7
AT ITER 1483 NEW BEST:: SOT 90644692 SOS 49626937 HAS SOPS 45616845 HAS SOUS 12054229 HAS SOUPS 11977016 WITH SCORE 1.2026642937E7
AT ITER 1510 NEW BEST:: SOT 90649395 SOS 49602835 HAS SOPS 45593277 HAS SOUS 12049815 HAS SOUPS 11972602 WITH SCORE 1.2022204835E7
AT ITER 1513 NEW BEST:: SOT 90650710 SOS 49604045 HAS SOPS 45593917 HAS SOUS 12048113 HAS SOUPS 11970900 WITH SCORE 1.2020504045E7
AT ITER 1568 NEW BEST:: SOT 90650812 SOS 49604195 HAS SOPS 45593996 HAS SOUS 12047412 HAS SOUPS 11970199 WITH SCORE 1.2019803195E7
AT ITER 1573 NEW BEST:: SOT 90652342 SOS 49611701 HAS SOPS 45602011 HAS SOUS 12047078 HAS SOUPS 11969899 WITH SCORE 1.2019510701E7
AT ITER 1590 NEW BEST:: SOT 90663047 SOS 49621802 HAS SOPS 45595085 HAS SOUS 12025017 HAS SOUPS 11948051 WITH SCORE 1.1997672802E7
AT ITER 1602 NEW BEST:: SOT 90652788 SOS 49645816 HAS SOPS 45619540 HAS SOUS 12017900 HAS SOUPS 11940934 WITH SCORE 1.1990579816E7
AT ITER 1607 NEW BEST:: SOT 90674959 SOS 49858816 HAS SOPS 45830947 HAS SOUS 12011205 HAS SOUPS 11934239 WITH SCORE 1.1984097816E7
AT ITER 1612 NEW BEST:: SOT 90674937 SOS 49858750 HAS SOPS 45830881 HAS SOUS 12011037 HAS SOUPS 11934071 WITH SCORE 1.198392975E7
AT ITER 1614 NEW BEST:: SOT 90677241 SOS 49856328 HAS SOPS 45827449 HAS SOUS 12008434 HAS SOUPS 11931513 WITH SCORE 1.1981369328E7
AT ITER 1628 NEW BEST:: SOT 90656808 SOS 49837282 HAS SOPS 45808429 HAS SOUS 11986807 HAS SOUPS 11909886 WITH SCORE 1.1959723282E7
AT ITER 1632 NEW BEST:: SOT 90669661 SOS 49850135 HAS SOPS 45818416 HAS SOUS 11968314 HAS SOUPS 11891464 WITH SCORE 1.1941314135E7
AT ITER 1633 NEW BEST:: SOT 90663633 SOS 49843924 HAS SOPS 45811581 HAS SOUS 11959481 HAS SOUPS 11882631 WITH SCORE 1.1932474924E7
AT ITER 1634 NEW BEST:: SOT 90684290 SOS 49864749 HAS SOPS 45826594 HAS SOUS 11927288 HAS SOUPS 11850280 WITH SCORE 1.1900144749E7
AT ITER 1642 NEW BEST:: SOT 90684290 SOS 49795156 HAS SOPS 45757001 HAS SOUS 11927297 HAS SOUPS 11850289 WITH SCORE 1.1900084156E7
AT ITER 1644 NEW BEST:: SOT 90650620 SOS 49761634 HAS SOPS 45723479 HAS SOUS 11921078 HAS SOUPS 11844070 WITH SCORE 1.1893831634E7
AT ITER 1659 NEW BEST:: SOT 90653708 SOS 49747132 HAS SOPS 45711377 HAS SOUS 11915216 HAS SOUPS 11838297 WITH SCORE 1.1888044132E7
AT ITER 1668 NEW BEST:: SOT 90704384 SOS 49795860 HAS SOPS 45753060 HAS SOUS 11878176 HAS SOUPS 11801519 WITH SCORE 1.185131486E7
AT ITER 1673 NEW BEST:: SOT 90704034 SOS 49795560 HAS SOPS 45752711 HAS SOUS 11876849 HAS SOUPS 11800192 WITH SCORE 1.184998756E7
AT ITER 1674 NEW BEST:: SOT 90611735 SOS 49703261 HAS SOPS 45671057 HAS SOUS 11787919 HAS SOUPS 11718627 WITH SCORE 1.1768330261E7
AT ITER 1687 NEW BEST:: SOT 90603849 SOS 49694791 HAS SOPS 45660785 HAS SOUS 11765672 HAS SOUPS 11696448 WITH SCORE 1.1746142791E7
AT ITER 1689 NEW BEST:: SOT 90603936 SOS 49693692 HAS SOPS 45659686 HAS SOUS 11764994 HAS SOUPS 11695770 WITH SCORE 1.1745463692E7
AT ITER 1696 NEW BEST:: SOT 90606024 SOS 49672386 HAS SOPS 45648921 HAS SOUS 11760480 HAS SOUPS 11691261 WITH SCORE 1.1740933386E7
AT ITER 1697 NEW BEST:: SOT 90605608 SOS 49663349 HAS SOPS 45637528 HAS SOUS 11750536 HAS SOUPS 11681382 WITH SCORE 1.1731045349E7
AT ITER 1699 NEW BEST:: SOT 90605446 SOS 49663214 HAS SOPS 45637438 HAS SOUS 11750104 HAS SOUPS 11680950 WITH SCORE 1.1730613214E7
AT ITER 1702 NEW BEST:: SOT 90603295 SOS 49654725 HAS SOPS 45629900 HAS SOUS 11746479 HAS SOUPS 11677360 WITH SCORE 1.1727014725E7
AT ITER 1704 NEW BEST:: SOT 90607269 SOS 49658523 HAS SOPS 45633743 HAS SOUS 11746037 HAS SOUPS 11676918 WITH SCORE 1.1726576523E7
AT ITER 1706 NEW BEST:: SOT 90614997 SOS 49670483 HAS SOPS 45648935 HAS SOUS 11743254 HAS SOUPS 11674177 WITH SCORE 1.1723847483E7
AT ITER 1714 NEW BEST:: SOT 90617612 SOS 49673294 HAS SOPS 45651206 HAS SOUS 11740564 HAS SOUPS 11671487 WITH SCORE 1.1721160294E7
AT ITER 1718 NEW BEST:: SOT 90625942 SOS 49638848 HAS SOPS 45616760 HAS SOUS 11736897 HAS SOUPS 11667820 WITH SCORE 1.1717458848E7
AT ITER 1747 NEW BEST:: SOT 90627252 SOS 49638338 HAS SOPS 45616250 HAS SOUS 11736036 HAS SOUPS 11666959 WITH SCORE 1.1716597338E7
AT ITER 1752 NEW BEST:: SOT 90609955 SOS 49620977 HAS SOPS 45598697 HAS SOUS 11727519 HAS SOUPS 11658442 WITH SCORE 1.1708062977E7
AT ITER 1753 NEW BEST:: SOT 90609988 SOS 49616113 HAS SOPS 45593833 HAS SOUS 11724944 HAS SOUPS 11655867 WITH SCORE 1.1705483113E7
AT ITER 1758 NEW BEST:: SOT 90609354 SOS 49615457 HAS SOPS 45593233 HAS SOUS 11724505 HAS SOUPS 11655453 WITH SCORE 1.1705068457E7
AT ITER 1779 NEW BEST:: SOT 90617505 SOS 49635577 HAS SOPS 45620616 HAS SOUS 11720416 HAS SOUPS 11651433 WITH SCORE 1.1701068577E7
AT ITER 1782 NEW BEST:: SOT 90540581 SOS 49628124 HAS SOPS 45617099 HAS SOUS 11692650 HAS SOUPS 11623763 WITH SCORE 1.1673391124E7
AT ITER 1789 NEW BEST:: SOT 90540544 SOS 49628334 HAS SOPS 45617309 HAS SOUS 11691784 HAS SOUPS 11622897 WITH SCORE 1.1672525334E7
AT ITER 1806 NEW BEST:: SOT 90549874 SOS 49633735 HAS SOPS 45613176 HAS SOUS 11623975 HAS SOUPS 11555335 WITH SCORE 1.1604968735E7
AT ITER 1809 NEW BEST:: SOT 90549859 SOS 49632814 HAS SOPS 45612255 HAS SOUS 11623174 HAS SOUPS 11554534 WITH SCORE 1.1604166814E7
AT ITER 1810 NEW BEST:: SOT 90545341 SOS 49628241 HAS SOPS 45607154 HAS SOUS 11617061 HAS SOUPS 11548421 WITH SCORE 1.1598049241E7
AT ITER 1817 NEW BEST:: SOT 90543119 SOS 49626261 HAS SOPS 45604854 HAS SOUS 11614414 HAS SOUPS 11545774 WITH SCORE 1.1595400261E7
AT ITER 1825 NEW BEST:: SOT 90542961 SOS 49626103 HAS SOPS 45604696 HAS SOUS 11614335 HAS SOUPS 11545695 WITH SCORE 1.1595321103E7
AT ITER 1834 NEW BEST:: SOT 90543179 SOS 49624757 HAS SOPS 45603350 HAS SOUS 11613756 HAS SOUPS 11545116 WITH SCORE 1.1594740757E7
AT ITER 1844 NEW BEST:: SOT 90543353 SOS 49624979 HAS SOPS 45603542 HAS SOUS 11612895 HAS SOUPS 11544255 WITH SCORE 1.1593879979E7
AT ITER 1850 NEW BEST:: SOT 90542366 SOS 49623871 HAS SOPS 45601852 HAS SOUS 11604196 HAS SOUPS 11535556 WITH SCORE 1.1585179871E7
AT ITER 1853 NEW BEST:: SOT 90522349 SOS 49603552 HAS SOPS 45582547 HAS SOUS 11598179 HAS SOUPS 11529539 WITH SCORE 1.1579142552E7
AT ITER 1856 NEW BEST:: SOT 90525919 SOS 49724426 HAS SOPS 45712570 HAS SOUS 11588069 HAS SOUPS 11519429 WITH SCORE 1.1569153426E7
AT ITER 1864 NEW BEST:: SOT 90516865 SOS 49714401 HAS SOPS 45700869 HAS SOUS 11586851 HAS SOUPS 11518211 WITH SCORE 1.1567925401E7
AT ITER 1868 NEW BEST:: SOT 90511224 SOS 49708312 HAS SOPS 45694078 HAS SOUS 11578288 HAS SOUPS 11509648 WITH SCORE 1.1559356312E7
AT ITER 1878 NEW BEST:: SOT 90511109 SOS 49708187 HAS SOPS 45693968 HAS SOUS 11578108 HAS SOUPS 11509468 WITH SCORE 1.1559176187E7
AT ITER 1894 NEW BEST:: SOT 90501779 SOS 49695323 HAS SOPS 45679929 HAS SOUS 11565092 HAS SOUPS 11496452 WITH SCORE 1.1546147323E7
AT ITER 1911 NEW BEST:: SOT 90501852 SOS 49694068 HAS SOPS 45678793 HAS SOUS 11564904 HAS SOUPS 11496264 WITH SCORE 1.1545958068E7
AT ITER 1918 NEW BEST:: SOT 90498162 SOS 49677607 HAS SOPS 45656802 HAS SOUS 11557338 HAS SOUPS 11488642 WITH SCORE 1.1538319607E7
AT ITER 1924 NEW BEST:: SOT 90497942 SOS 49677387 HAS SOPS 45656576 HAS SOUS 11557068 HAS SOUPS 11488372 WITH SCORE 1.1538049387E7
AT ITER 1937 NEW BEST:: SOT 90497910 SOS 49676698 HAS SOPS 45655887 HAS SOUS 11556424 HAS SOUPS 11487728 WITH SCORE 1.1537404698E7
AT ITER 1938 NEW BEST:: SOT 90498110 SOS 49675651 HAS SOPS 45654840 HAS SOUS 11555229 HAS SOUPS 11486533 WITH SCORE 1.1536208651E7
AT ITER 1954 NEW BEST:: SOT 90496985 SOS 49674301 HAS SOPS 45653265 HAS SOUS 11553614 HAS SOUPS 11484918 WITH SCORE 1.1534592301E7
AT ITER 1965 NEW BEST:: SOT 90496921 SOS 49674271 HAS SOPS 45653228 HAS SOUS 11551228 HAS SOUPS 11482532 WITH SCORE 1.1532206271E7
AT ITER 1984 NEW BEST:: SOT 90503973 SOS 49659872 HAS SOPS 45644555 HAS SOUS 11538877 HAS SOUPS 11470336 WITH SCORE 1.1519995872E7
AT ITER 1986 NEW BEST:: SOT 90504017 SOS 49659736 HAS SOPS 45644419 HAS SOUS 11538232 HAS SOUPS 11469691 WITH SCORE 1.1519350736E7
AT ITER 2001 NEW BEST:: SOT 90503535 SOS 49659242 HAS SOPS 45643825 HAS SOUS 11535140 HAS SOUPS 11466599 WITH SCORE 1.1516258242E7
AT ITER 2009 NEW BEST:: SOT 90519317 SOS 49665704 HAS SOPS 45642327 HAS SOUS 11516162 HAS SOUPS 11447884 WITH SCORE 1.1497549704E7
AT ITER 2014 NEW BEST:: SOT 90489049 SOS 49692567 HAS SOPS 45670823 HAS SOUS 11505037 HAS SOUPS 11436759 WITH SCORE 1.1486451567E7
AT ITER 2016 NEW BEST:: SOT 90175968 SOS 49186740 HAS SOPS 45049139 HAS SOUS 11273275 HAS SOUPS 11225016 WITH SCORE 1.127420274E7
AT ITER 2018 NEW BEST:: SOT 90195070 SOS 49150512 HAS SOPS 45066131 HAS SOUS 11256568 HAS SOUPS 11208616 WITH SCORE 1.1257766512E7
AT ITER 2037 NEW BEST:: SOT 90197654 SOS 49152973 HAS SOPS 45067380 HAS SOUS 11256357 HAS SOUPS 11208384 WITH SCORE 1.1257536973E7
AT ITER 2043 NEW BEST:: SOT 90179709 SOS 49588189 HAS SOPS 45503235 HAS SOUS 11242028 HAS SOUPS 11194055 WITH SCORE 1.1243643189E7
AT ITER 2064 NEW BEST:: SOT 90181251 SOS 49585080 HAS SOPS 45502305 HAS SOUS 11239454 HAS SOUPS 11191528 WITH SCORE 1.124111308E7
AT ITER 2067 NEW BEST:: SOT 90181546 SOS 49539776 HAS SOPS 45455156 HAS SOUS 11228092 HAS SOUPS 11180166 WITH SCORE 1.1229705776E7
AT ITER 2074 NEW BEST:: SOT 90181836 SOS 49539826 HAS SOPS 45456480 HAS SOUS 11227521 HAS SOUPS 11179729 WITH SCORE 1.1229268826E7
AT ITER 2078 NEW BEST:: SOT 90182787 SOS 49496670 HAS SOPS 45411396 HAS SOUS 11216068 HAS SOUPS 11168351 WITH SCORE 1.121784767E7
AT ITER 2088 NEW BEST:: SOT 90183784 SOS 49496978 HAS SOPS 45411704 HAS SOUS 11215947 HAS SOUPS 11168230 WITH SCORE 1.1217726978E7
AT ITER 2102 NEW BEST:: SOT 90183927 SOS 49496046 HAS SOPS 45413170 HAS SOUS 11215585 HAS SOUPS 11167955 WITH SCORE 1.1217451046E7
AT ITER 2106 NEW BEST:: SOT 90176697 SOS 49479940 HAS SOPS 45395081 HAS SOUS 11197895 HAS SOUPS 11150012 WITH SCORE 1.119949194E7
AT ITER 2108 NEW BEST:: SOT 90159407 SOS 49462650 HAS SOPS 45377791 HAS SOUS 11180411 HAS SOUPS 11132528 WITH SCORE 1.118199065E7
AT ITER 2115 NEW BEST:: SOT 90158533 SOS 49461812 HAS SOPS 45376953 HAS SOUS 11179765 HAS SOUPS 11131882 WITH SCORE 1.1181343812E7
AT ITER 2124 NEW BEST:: SOT 90184547 SOS 49462531 HAS SOPS 45379946 HAS SOUS 11161904 HAS SOUPS 11114108 WITH SCORE 1.1163570531E7
AT ITER 2127 NEW BEST:: SOT 90184760 SOS 49459084 HAS SOPS 45378309 HAS SOUS 11159925 HAS SOUPS 11112326 WITH SCORE 1.1161785084E7
AT ITER 2149 NEW BEST:: SOT 90174088 SOS 49451961 HAS SOPS 45364688 HAS SOUS 11100169 HAS SOUPS 11052570 WITH SCORE 1.1102021961E7
AT ITER 2170 NEW BEST:: SOT 90174088 SOS 49457133 HAS SOPS 45370249 HAS SOUS 11099995 HAS SOUPS 11052430 WITH SCORE 1.1101887133E7
AT ITER 2180 NEW BEST:: SOT 90174438 SOS 49449938 HAS SOPS 45369588 HAS SOUS 11099596 HAS SOUPS 11052091 WITH SCORE 1.1101540938E7
AT ITER 2199 NEW BEST:: SOT 90174590 SOS 49391085 HAS SOPS 45308061 HAS SOUS 11093219 HAS SOUPS 11045659 WITH SCORE 1.1095050085E7
AT ITER 2203 NEW BEST:: SOT 90174603 SOS 49391045 HAS SOPS 45307969 HAS SOUS 11092732 HAS SOUPS 11045172 WITH SCORE 1.1094563045E7
AT ITER 2207 NEW BEST:: SOT 90171750 SOS 49360182 HAS SOPS 45276265 HAS SOUS 11088673 HAS SOUPS 11041068 WITH SCORE 1.1090428182E7
AT ITER 2208 NEW BEST:: SOT 90171724 SOS 49353690 HAS SOPS 45269095 HAS SOUS 11087796 HAS SOUPS 11040178 WITH SCORE 1.108953169E7
AT ITER 2210 NEW BEST:: SOT 90171741 SOS 49353571 HAS SOPS 45268976 HAS SOUS 11087575 HAS SOUPS 11039957 WITH SCORE 1.1089310571E7
AT ITER 2229 NEW BEST:: SOT 90169776 SOS 49337041 HAS SOPS 45252568 HAS SOUS 11076198 HAS SOUPS 11028507 WITH SCORE 1.1077844041E7
AT ITER 2248 NEW BEST:: SOT 90169983 SOS 49337317 HAS SOPS 45252706 HAS SOUS 11074834 HAS SOUPS 11027143 WITH SCORE 1.1076480317E7
AT ITER 2266 NEW BEST:: SOT 90184775 SOS 49360749 HAS SOPS 45275698 HAS SOUS 11055679 HAS SOUPS 11007988 WITH SCORE 1.1057348749E7
AT ITER 2272 NEW BEST:: SOT 90170243 SOS 49345610 HAS SOPS 45260559 HAS SOUS 11043333 HAS SOUPS 10995642 WITH SCORE 1.104498761E7
AT ITER 2276 NEW BEST:: SOT 90166913 SOS 49341861 HAS SOPS 45256733 HAS SOUS 11041493 HAS SOUPS 10993826 WITH SCORE 1.1043167861E7
AT ITER 2279 NEW BEST:: SOT 90167129 SOS 49300730 HAS SOPS 45214786 HAS SOUS 11038645 HAS SOUPS 10990978 WITH SCORE 1.104027873E7
AT ITER 2294 NEW BEST:: SOT 90174319 SOS 49308066 HAS SOPS 45222151 HAS SOUS 11036864 HAS SOUPS 10989197 WITH SCORE 1.1038505066E7
AT ITER 2306 NEW BEST:: SOT 90174219 SOS 49307919 HAS SOPS 45221855 HAS SOUS 11035858 HAS SOUPS 10988191 WITH SCORE 1.1037498919E7
AT ITER 2317 NEW BEST:: SOT 90169273 SOS 49300919 HAS SOPS 45213582 HAS SOUS 11027282 HAS SOUPS 10979615 WITH SCORE 1.1028915919E7
AT ITER 2327 NEW BEST:: SOT 90169273 SOS 49300619 HAS SOPS 45213282 HAS SOUS 11027044 HAS SOUPS 10979377 WITH SCORE 1.1028677619E7
AT ITER 2334 NEW BEST:: SOT 90167516 SOS 49298752 HAS SOPS 45211337 HAS SOUS 11022688 HAS SOUPS 10975021 WITH SCORE 1.1024319752E7
AT ITER 2343 NEW BEST:: SOT 90165234 SOS 49296539 HAS SOPS 45207733 HAS SOUS 10988776 HAS SOUPS 10941109 WITH SCORE 1.0990405539E7
AT ITER 2346 NEW BEST:: SOT 90161110 SOS 49278867 HAS SOPS 45199388 HAS SOUS 10949088 HAS SOUPS 10902048 WITH SCORE 1.0951326867E7
AT ITER 2363 NEW BEST:: SOT 90161156 SOS 49278849 HAS SOPS 45199370 HAS SOUS 10948924 HAS SOUPS 10901884 WITH SCORE 1.0951162849E7
AT ITER 2367 NEW BEST:: SOT 90166492 SOS 49286169 HAS SOPS 45196093 HAS SOUS 10940732 HAS SOUPS 10893692 WITH SCORE 1.0942978169E7
AT ITER 2369 NEW BEST:: SOT 90126874 SOS 49245893 HAS SOPS 45156366 HAS SOUS 10926985 HAS SOUPS 10879945 WITH SCORE 1.0929190893E7
AT ITER 2383 NEW BEST:: SOT 90134396 SOS 49252793 HAS SOPS 45163073 HAS SOUS 10923457 HAS SOUPS 10876912 WITH SCORE 1.0926164793E7
AT ITER 2398 NEW BEST:: SOT 90135994 SOS 49254418 HAS SOPS 45164987 HAS SOUS 10922484 HAS SOUPS 10875939 WITH SCORE 1.0925193418E7
AT ITER 2407 NEW BEST:: SOT 90133062 SOS 49236657 HAS SOPS 45147310 HAS SOUS 10918756 HAS SOUPS 10872211 WITH SCORE 1.0921447657E7
AT ITER 2423 NEW BEST:: SOT 90141538 SOS 49245184 HAS SOPS 45155666 HAS SOUS 10917809 HAS SOUPS 10871233 WITH SCORE 1.0920478184E7
AT ITER 2454 NEW BEST:: SOT 90110773 SOS 49133879 HAS SOPS 45042253 HAS SOUS 10874820 HAS SOUPS 10828769 WITH SCORE 1.0877902879E7
AT ITER 2463 NEW BEST:: SOT 90109028 SOS 49129777 HAS SOPS 45037797 HAS SOUS 10867936 HAS SOUPS 10821885 WITH SCORE 1.0871014777E7
AT ITER 2489 NEW BEST:: SOT 90100711 SOS 49119354 HAS SOPS 45020782 HAS SOUS 10853749 HAS SOUPS 10807606 WITH SCORE 1.0856725354E7
AT ITER 2492 NEW BEST:: SOT 90087963 SOS 49082039 HAS SOPS 44966173 HAS SOUS 10841336 HAS SOUPS 10795504 WITH SCORE 1.0844586039E7
AT ITER 2500 NEW BEST:: SOT 90087932 SOS 49081287 HAS SOPS 44965797 HAS SOUS 10841151 HAS SOUPS 10795350 WITH SCORE 1.0844431287E7
AT ITER 2506 NEW BEST:: SOT 90120368 SOS 49132274 HAS SOPS 45014665 HAS SOUS 10817791 HAS SOUPS 10771990 WITH SCORE 1.0821122274E7
AT ITER 2524 NEW BEST:: SOT 90120830 SOS 49131917 HAS SOPS 45014308 HAS SOUS 10817430 HAS SOUPS 10771629 WITH SCORE 1.0820760917E7
AT ITER 2541 NEW BEST:: SOT 90120785 SOS 49132082 HAS SOPS 45014473 HAS SOUS 10817248 HAS SOUPS 10771447 WITH SCORE 1.0820579082E7
AT ITER 2582 NEW BEST:: SOT 90120458 SOS 49131766 HAS SOPS 45014155 HAS SOUS 10817133 HAS SOUPS 10771332 WITH SCORE 1.0820463766E7
AT ITER 2612 NEW BEST:: SOT 90121855 SOS 49136661 HAS SOPS 45018328 HAS SOUS 10816742 HAS SOUPS 10770941 WITH SCORE 1.0820077661E7
AT ITER 2625 NEW BEST:: SOT 90135751 SOS 49098055 HAS SOPS 44979933 HAS SOUS 10809656 HAS SOUPS 10764017 WITH SCORE 1.0813115055E7
AT ITER 2626 NEW BEST:: SOT 90131817 SOS 49085590 HAS SOPS 44966546 HAS SOUS 10799949 HAS SOUPS 10754310 WITH SCORE 1.080339559E7
AT ITER 2634 NEW BEST:: SOT 90132307 SOS 49085179 HAS SOPS 44966111 HAS SOUS 10799820 HAS SOUPS 10754181 WITH SCORE 1.0803266179E7
AT ITER 2641 NEW BEST:: SOT 90132317 SOS 49085059 HAS SOPS 44966091 HAS SOUS 10799795 HAS SOUPS 10754156 WITH SCORE 1.0803241059E7
AT ITER 2675 NEW BEST:: SOT 90127085 SOS 49080398 HAS SOPS 44959750 HAS SOUS 10797608 HAS SOUPS 10751969 WITH SCORE 1.0801049398E7
AT ITER 2688 NEW BEST:: SOT 90131818 SOS 49210329 HAS SOPS 45009622 HAS SOUS 10795475 HAS SOUPS 10749640 WITH SCORE 1.0798850329E7
AT ITER 2696 NEW BEST:: SOT 90131801 SOS 49210279 HAS SOPS 45009616 HAS SOUS 10795259 HAS SOUPS 10749424 WITH SCORE 1.0798634279E7
AT ITER 2706 NEW BEST:: SOT 90131597 SOS 49209725 HAS SOPS 45009048 HAS SOUS 10795058 HAS SOUPS 10749223 WITH SCORE 1.0798432725E7
AT ITER 2714 NEW BEST:: SOT 90134682 SOS 49213049 HAS SOPS 45010895 HAS SOUS 10790826 HAS SOUPS 10744991 WITH SCORE 1.0794204049E7
AT ITER 2718 NEW BEST:: SOT 90136926 SOS 49220259 HAS SOPS 45014702 HAS SOUS 10784400 HAS SOUPS 10738565 WITH SCORE 1.0787785259E7
AT ITER 2742 NEW BEST:: SOT 90135875 SOS 49219208 HAS SOPS 45013630 HAS SOUS 10783239 HAS SOUPS 10737389 WITH SCORE 1.0786608208E7
AT ITER 2763 NEW BEST:: SOT 90104410 SOS 49281225 HAS SOPS 45078221 HAS SOUS 10769577 HAS SOUPS 10723727 WITH SCORE 1.0773008225E7
AT ITER 2767 NEW BEST:: SOT 90104464 SOS 49281646 HAS SOPS 45078642 HAS SOUS 10769362 HAS SOUPS 10723512 WITH SCORE 1.0772793646E7
AT ITER 2777 NEW BEST:: SOT 90106165 SOS 49278635 HAS SOPS 45074999 HAS SOUS 10763084 HAS SOUPS 10717234 WITH SCORE 1.0766512635E7
AT ITER 2802 NEW BEST:: SOT 90099532 SOS 49261600 HAS SOPS 45047687 HAS SOUS 10746031 HAS SOUPS 10700181 WITH SCORE 1.07494426E7
AT ITER 2820 NEW BEST:: SOT 90121683 SOS 49283027 HAS SOPS 45069488 HAS SOUS 10732286 HAS SOUPS 10686583 WITH SCORE 1.0735866027E7
AT ITER 2829 NEW BEST:: SOT 90121750 SOS 49312019 HAS SOPS 45098480 HAS SOUS 10731910 HAS SOUPS 10686207 WITH SCORE 1.0735519019E7
AT ITER 2848 NEW BEST:: SOT 90120631 SOS 49310998 HAS SOPS 45097274 HAS SOUS 10726721 HAS SOUPS 10681018 WITH SCORE 1.0730328998E7
AT ITER 2849 NEW BEST:: SOT 90121322 SOS 49311663 HAS SOPS 45097669 HAS SOUS 10725120 HAS SOUPS 10679406 WITH SCORE 1.0728717663E7
AT ITER 2850 NEW BEST:: SOT 90121322 SOS 49263088 HAS SOPS 45048490 HAS SOUS 10724419 HAS SOUPS 10678705 WITH SCORE 1.0727968088E7
AT ITER 2856 NEW BEST:: SOT 90119699 SOS 49261467 HAS SOPS 45046123 HAS SOUS 10718190 HAS SOUPS 10672476 WITH SCORE 1.0721737467E7
AT ITER 2863 NEW BEST:: SOT 90119251 SOS 49261011 HAS SOPS 45045623 HAS SOUS 10717619 HAS SOUPS 10671905 WITH SCORE 1.0721166011E7
AT ITER 2866 NEW BEST:: SOT 90157332 SOS 49366503 HAS SOPS 45144776 HAS SOUS 10690881 HAS SOUPS 10645117 WITH SCORE 1.0694483503E7
AT ITER 2875 NEW BEST:: SOT 90176435 SOS 49385907 HAS SOPS 45158490 HAS SOUS 10679496 HAS SOUPS 10633733 WITH SCORE 1.0683118907E7
AT ITER 2885 NEW BEST:: SOT 90172950 SOS 49382422 HAS SOPS 45155003 HAS SOUS 10677004 HAS SOUPS 10631240 WITH SCORE 1.0680622422E7
AT ITER 2894 NEW BEST:: SOT 90179794 SOS 49389738 HAS SOPS 45157343 HAS SOUS 10666702 HAS SOUPS 10620938 WITH SCORE 1.0670327738E7
AT ITER 2911 NEW BEST:: SOT 90178362 SOS 49388145 HAS SOPS 45153953 HAS SOUS 10656403 HAS SOUPS 10610585 WITH SCORE 1.0659973145E7
AT ITER 2919 NEW BEST:: SOT 90149986 SOS 49378494 HAS SOPS 45145241 HAS SOUS 10638531 HAS SOUPS 10592713 WITH SCORE 1.0642091494E7
AT ITER 2930 NEW BEST:: SOT 90149969 SOS 49378477 HAS SOPS 45145184 HAS SOUS 10637852 HAS SOUPS 10592034 WITH SCORE 1.0641412477E7
AT ITER 2941 NEW BEST:: SOT 90127104 SOS 49416768 HAS SOPS 45185033 HAS SOUS 10620335 HAS SOUPS 10574601 WITH SCORE 1.0624017768E7
AT ITER 2970 NEW BEST:: SOT 90127147 SOS 49416827 HAS SOPS 45185092 HAS SOUS 10620303 HAS SOUPS 10574569 WITH SCORE 1.0623985827E7
AT ITER 2997 NEW BEST:: SOT 90120422 SOS 49398664 HAS SOPS 45173457 HAS SOUS 10616800 HAS SOUPS 10571139 WITH SCORE 1.0620537664E7
AT ITER 3003 NEW BEST:: SOT 90119614 SOS 49397753 HAS SOPS 45172679 HAS SOUS 10615510 HAS SOUPS 10569849 WITH SCORE 1.0619246753E7
AT ITER 3011 NEW BEST:: SOT 90163569 SOS 49469488 HAS SOPS 45263082 HAS SOUS 10607592 HAS SOUPS 10562188 WITH SCORE 1.0611657488E7
AT ITER 3021 NEW BEST:: SOT 90163329 SOS 49462227 HAS SOPS 45255797 HAS SOUS 10607336 HAS SOUPS 10561932 WITH SCORE 1.0611394227E7
AT ITER 3045 NEW BEST:: SOT 90161489 SOS 49460367 HAS SOPS 45253781 HAS SOUS 10605190 HAS SOUPS 10559786 WITH SCORE 1.0609246367E7
AT ITER 3053 NEW BEST:: SOT 90161476 SOS 49460354 HAS SOPS 45253765 HAS SOUS 10605177 HAS SOUPS 10559770 WITH SCORE 1.0609230354E7
AT ITER 3102 NEW BEST:: SOT 90172914 SOS 49457670 HAS SOPS 45252299 HAS SOUS 10604645 HAS SOUPS 10559379 WITH SCORE 1.060883667E7
AT ITER 3107 NEW BEST:: SOT 90153557 SOS 49438173 HAS SOPS 45232767 HAS SOUS 10600726 HAS SOUPS 10555460 WITH SCORE 1.0604898173E7
AT ITER 3112 NEW BEST:: SOT 90155069 SOS 49583822 HAS SOPS 45378023 HAS SOUS 10599152 HAS SOUPS 10553886 WITH SCORE 1.0603469822E7
AT ITER 3114 NEW BEST:: SOT 90158428 SOS 49587222 HAS SOPS 45380139 HAS SOUS 10595338 HAS SOUPS 10550072 WITH SCORE 1.0599659222E7
AT ITER 3120 NEW BEST:: SOT 90159276 SOS 49588032 HAS SOPS 45380373 HAS SOUS 10593559 HAS SOUPS 10548293 WITH SCORE 1.0597881032E7
AT ITER 3122 NEW BEST:: SOT 90171060 SOS 49600253 HAS SOPS 45391095 HAS SOUS 10567621 HAS SOUPS 10522355 WITH SCORE 1.0571955253E7
AT ITER 3129 NEW BEST:: SOT 90170927 SOS 49596740 HAS SOPS 45389338 HAS SOUS 10566862 HAS SOUPS 10521728 WITH SCORE 1.057132474E7
AT ITER 3132 NEW BEST:: SOT 90171408 SOS 49597199 HAS SOPS 45389862 HAS SOUS 10565735 HAS SOUPS 10520601 WITH SCORE 1.0570198199E7
AT ITER 3142 NEW BEST:: SOT 90180233 SOS 49606037 HAS SOPS 45397471 HAS SOUS 10565460 HAS SOUPS 10520326 WITH SCORE 1.0569932037E7
AT ITER 3156 NEW BEST:: SOT 90177175 SOS 49603003 HAS SOPS 45393344 HAS SOUS 10549303 HAS SOUPS 10504169 WITH SCORE 1.0553772003E7
AT ITER 3157 NEW BEST:: SOT 90177232 SOS 49603495 HAS SOPS 45393836 HAS SOUS 10549198 HAS SOUPS 10504064 WITH SCORE 1.0553667495E7
AT ITER 3168 NEW BEST:: SOT 90177237 SOS 49603496 HAS SOPS 45393752 HAS SOUS 10548392 HAS SOUPS 10503258 WITH SCORE 1.0552861496E7
AT ITER 3174 NEW BEST:: SOT 90182296 SOS 49608101 HAS SOPS 45397430 HAS SOUS 10547630 HAS SOUPS 10502539 WITH SCORE 1.0552147101E7
AT ITER 3188 NEW BEST:: SOT 90182296 SOS 49591009 HAS SOPS 45380338 HAS SOUS 10547612 HAS SOUPS 10502521 WITH SCORE 1.0552112009E7
AT ITER 3198 NEW BEST:: SOT 90180469 SOS 49587194 HAS SOPS 45376599 HAS SOUS 10545990 HAS SOUPS 10500899 WITH SCORE 1.0550486194E7
AT ITER 3201 NEW BEST:: SOT 90170651 SOS 49574351 HAS SOPS 45357660 HAS SOUS 10522582 HAS SOUPS 10477491 WITH SCORE 1.0527065351E7
AT ITER 3209 NEW BEST:: SOT 90190180 SOS 49600685 HAS SOPS 45382286 HAS SOUS 10515233 HAS SOUPS 10470142 WITH SCORE 1.0519742685E7
AT ITER 3211 NEW BEST:: SOT 90190184 SOS 49600655 HAS SOPS 45382256 HAS SOUS 10515219 HAS SOUPS 10470128 WITH SCORE 1.0519728655E7
AT ITER 3215 NEW BEST:: SOT 90150734 SOS 49589906 HAS SOPS 45375159 HAS SOUS 10510153 HAS SOUPS 10465062 WITH SCORE 1.0514651906E7
AT ITER 3216 NEW BEST:: SOT 90183641 SOS 49563953 HAS SOPS 45396833 HAS SOUS 10491352 HAS SOUPS 10446576 WITH SCORE 1.0496139953E7
AT ITER 3229 NEW BEST:: SOT 90184172 SOS 49563271 HAS SOPS 45396151 HAS SOUS 10491164 HAS SOUPS 10446388 WITH SCORE 1.0495951271E7
AT ITER 3239 NEW BEST:: SOT 90184792 SOS 49562926 HAS SOPS 45402595 HAS SOUS 10490629 HAS SOUPS 10445853 WITH SCORE 1.0495415926E7
AT ITER 3264 NEW BEST:: SOT 90180330 SOS 49547950 HAS SOPS 45385742 HAS SOUS 10488815 HAS SOUPS 10444039 WITH SCORE 1.049358695E7
AT ITER 3276 NEW BEST:: SOT 90180444 SOS 49546812 HAS SOPS 45383899 HAS SOUS 10485580 HAS SOUPS 10440804 WITH SCORE 1.0490350812E7
AT ITER 3291 NEW BEST:: SOT 90184056 SOS 49408334 HAS SOPS 45239799 HAS SOUS 10470766 HAS SOUPS 10425990 WITH SCORE 1.0475398334E7
AT ITER 3303 NEW BEST:: SOT 90183327 SOS 49406962 HAS SOPS 45238391 HAS SOUS 10469985 HAS SOUPS 10425209 WITH SCORE 1.0474615962E7
AT ITER 3324 NEW BEST:: SOT 90183217 SOS 49406744 HAS SOPS 45238333 HAS SOUS 10468919 HAS SOUPS 10424143 WITH SCORE 1.0473549744E7
AT ITER 3341 NEW BEST:: SOT 90188252 SOS 49412111 HAS SOPS 45232981 HAS SOUS 10440026 HAS SOUPS 10395250 WITH SCORE 1.0444662111E7
AT ITER 3353 NEW BEST:: SOT 90206196 SOS 49528754 HAS SOPS 45350033 HAS SOUS 10437614 HAS SOUPS 10392878 WITH SCORE 1.0442406754E7
AT ITER 3360 NEW BEST:: SOT 90169225 SOS 49491607 HAS SOPS 45312931 HAS SOUS 10403159 HAS SOUPS 10358423 WITH SCORE 1.0407914607E7
AT ITER 3363 NEW BEST:: SOT 90159141 SOS 49570023 HAS SOPS 45393098 HAS SOUS 10400358 HAS SOUPS 10355622 WITH SCORE 1.0405192023E7
AT ITER 3381 NEW BEST:: SOT 90148963 SOS 49559675 HAS SOPS 45380960 HAS SOUS 10392328 HAS SOUPS 10347592 WITH SCORE 1.0397151675E7
AT ITER 3390 NEW BEST:: SOT 90147718 SOS 49558356 HAS SOPS 45379421 HAS SOUS 10389585 HAS SOUPS 10344849 WITH SCORE 1.0394407356E7
AT ITER 3392 NEW BEST:: SOT 90147416 SOS 49558080 HAS SOPS 45375819 HAS SOUS 10384037 HAS SOUPS 10339301 WITH SCORE 1.038885908E7
AT ITER 3395 NEW BEST:: SOT 90103611 SOS 49558244 HAS SOPS 45378771 HAS SOUS 10381105 HAS SOUPS 10336372 WITH SCORE 1.0385930244E7
AT ITER 3396 NEW BEST:: SOT 90112153 SOS 49523717 HAS SOPS 45403675 HAS SOUS 10364226 HAS SOUPS 10319786 WITH SCORE 1.0369309717E7
AT ITER 3399 NEW BEST:: SOT 90110579 SOS 49524343 HAS SOPS 45395652 HAS SOUS 10334480 HAS SOUPS 10290241 WITH SCORE 1.0339765343E7
AT ITER 3403 NEW BEST:: SOT 90110510 SOS 49524265 HAS SOPS 45395544 HAS SOUS 10332830 HAS SOUPS 10288587 WITH SCORE 1.0338111265E7
AT ITER 3404 NEW BEST:: SOT 90121925 SOS 49535376 HAS SOPS 45405927 HAS SOUS 10327611 HAS SOUPS 10283368 WITH SCORE 1.0332903376E7
AT ITER 3424 NEW BEST:: SOT 90122035 SOS 49519131 HAS SOPS 45388669 HAS SOUS 10324267 HAS SOUPS 10280024 WITH SCORE 1.0329543131E7
AT ITER 3440 NEW BEST:: SOT 90122687 SOS 49518521 HAS SOPS 45388059 HAS SOUS 10323862 HAS SOUPS 10279619 WITH SCORE 1.0329137521E7
AT ITER 3446 NEW BEST:: SOT 90122696 SOS 49518323 HAS SOPS 45387848 HAS SOUS 10323580 HAS SOUPS 10279337 WITH SCORE 1.0328855323E7
AT ITER 3454 NEW BEST:: SOT 90124986 SOS 49524117 HAS SOPS 45394174 HAS SOUS 10313901 HAS SOUPS 10269689 WITH SCORE 1.0319213117E7
AT ITER 3472 NEW BEST:: SOT 90124293 SOS 49523403 HAS SOPS 45393397 HAS SOUS 10312872 HAS SOUPS 10268660 WITH SCORE 1.0318183403E7
AT ITER 3474 NEW BEST:: SOT 90126876 SOS 49517901 HAS SOPS 45386138 HAS SOUS 10310995 HAS SOUPS 10266783 WITH SCORE 1.0316300901E7
AT ITER 3475 NEW BEST:: SOT 90127074 SOS 49482647 HAS SOPS 45350751 HAS SOUS 10310527 HAS SOUPS 10266315 WITH SCORE 1.0315797647E7
AT ITER 3485 NEW BEST:: SOT 90129894 SOS 49485649 HAS SOPS 45353633 HAS SOUS 10309985 HAS SOUPS 10265773 WITH SCORE 1.0315258649E7
AT ITER 3498 NEW BEST:: SOT 90128462 SOS 49484399 HAS SOPS 45352148 HAS SOUS 10307033 HAS SOUPS 10262821 WITH SCORE 1.0312305399E7
AT ITER 3502 NEW BEST:: SOT 90128335 SOS 49482470 HAS SOPS 45350219 HAS SOUS 10306308 HAS SOUPS 10262096 WITH SCORE 1.031157847E7
AT ITER 3516 NEW BEST:: SOT 90122988 SOS 49477119 HAS SOPS 45343874 HAS SOUS 10298834 HAS SOUPS 10254622 WITH SCORE 1.0304099119E7
AT ITER 3531 NEW BEST:: SOT 90121899 SOS 49475931 HAS SOPS 45342191 HAS SOUS 10294379 HAS SOUPS 10250167 WITH SCORE 1.0299642931E7
AT ITER 3544 NEW BEST:: SOT 90108190 SOS 49451334 HAS SOPS 45315067 HAS SOUS 10272865 HAS SOUPS 10228640 WITH SCORE 1.0278091334E7
AT ITER 3614 NEW BEST:: SOT 90108936 SOS 49452015 HAS SOPS 45316074 HAS SOUS 10270692 HAS SOUPS 10226467 WITH SCORE 1.0275919015E7
AT ITER 3627 NEW BEST:: SOT 90155783 SOS 49479424 HAS SOPS 45350790 HAS SOUS 10229982 HAS SOUPS 10185985 WITH SCORE 1.0235464424E7
AT ITER 3629 NEW BEST:: SOT 90157429 SOS 49481066 HAS SOPS 45352388 HAS SOUS 10229696 HAS SOUPS 10185699 WITH SCORE 1.0235180066E7
AT ITER 3636 NEW BEST:: SOT 90097186 SOS 49476670 HAS SOPS 45318167 HAS SOUS 10211377 HAS SOUPS 10168807 WITH SCORE 1.021828367E7
AT ITER 3638 NEW BEST:: SOT 90100292 SOS 49471530 HAS SOPS 45311008 HAS SOUS 10207440 HAS SOUPS 10164870 WITH SCORE 1.021434153E7
AT ITER 3662 NEW BEST:: SOT 90100332 SOS 49472254 HAS SOPS 45311732 HAS SOUS 10207246 HAS SOUPS 10164676 WITH SCORE 1.0214148254E7
AT ITER 3669 NEW BEST:: SOT 90172878 SOS 49542878 HAS SOPS 45366354 HAS SOUS 10204356 HAS SOUPS 10161689 WITH SCORE 1.0211231878E7
AT ITER 3679 NEW BEST:: SOT 90172848 SOS 49542839 HAS SOPS 45366312 HAS SOUS 10203837 HAS SOUPS 10161170 WITH SCORE 1.0210712839E7
AT ITER 3681 NEW BEST:: SOT 90172838 SOS 49542835 HAS SOPS 45366296 HAS SOUS 10203690 HAS SOUPS 10161023 WITH SCORE 1.0210565835E7
AT ITER 3689 NEW BEST:: SOT 90172779 SOS 49542196 HAS SOPS 45366378 HAS SOUS 10203590 HAS SOUPS 10160982 WITH SCORE 1.0210524196E7
AT ITER 3715 NEW BEST:: SOT 90171790 SOS 49536384 HAS SOPS 45360900 HAS SOUS 10199169 HAS SOUPS 10156561 WITH SCORE 1.0206097384E7
AT ITER 3723 NEW BEST:: SOT 90170842 SOS 49535492 HAS SOPS 45359879 HAS SOUS 10197292 HAS SOUPS 10154684 WITH SCORE 1.0204219492E7
AT ITER 3744 NEW BEST:: SOT 90170617 SOS 49535272 HAS SOPS 45359654 HAS SOUS 10196962 HAS SOUPS 10154354 WITH SCORE 1.0203889272E7
AT ITER 3748 NEW BEST:: SOT 90130913 SOS 49520379 HAS SOPS 45346030 HAS SOUS 10164383 HAS SOUPS 10121775 WITH SCORE 1.0171295379E7
AT ITER 3751 NEW BEST:: SOT 90130913 SOS 49520246 HAS SOPS 45345897 HAS SOUS 10164382 HAS SOUPS 10121774 WITH SCORE 1.0171294246E7
AT ITER 3755 NEW BEST:: SOT 90129560 SOS 49518893 HAS SOPS 45344412 HAS SOUS 10162468 HAS SOUPS 10119860 WITH SCORE 1.0169378893E7
AT ITER 3756 NEW BEST:: SOT 90142304 SOS 49534317 HAS SOPS 45356891 HAS SOUS 10155135 HAS SOUPS 10112586 WITH SCORE 1.0162120317E7
AT ITER 3762 NEW BEST:: SOT 90142054 SOS 49531473 HAS SOPS 45354047 HAS SOUS 10154171 HAS SOUPS 10111622 WITH SCORE 1.0161153473E7
AT ITER 3763 NEW BEST:: SOT 90143760 SOS 49538155 HAS SOPS 45360315 HAS SOUS 10151863 HAS SOUPS 10109314 WITH SCORE 1.0158852155E7
AT ITER 3764 NEW BEST:: SOT 90240228 SOS 49591729 HAS SOPS 45371886 HAS SOUS 10120527 HAS SOUPS 10077978 WITH SCORE 1.0127569729E7
AT ITER 3767 NEW BEST:: SOT 90230416 SOS 49582257 HAS SOPS 45357331 HAS SOUS 10113221 HAS SOUPS 10070574 WITH SCORE 1.0120156257E7
AT ITER 3797 NEW BEST:: SOT 90231347 SOS 49708341 HAS SOPS 45354950 HAS SOUS 10109938 HAS SOUPS 10067057 WITH SCORE 1.0116765341E7
AT ITER 3808 NEW BEST:: SOT 90234833 SOS 49711824 HAS SOPS 45358567 HAS SOUS 10104333 HAS SOUPS 10061452 WITH SCORE 1.0111163824E7
AT ITER 3821 NEW BEST:: SOT 90229372 SOS 49705490 HAS SOPS 45339958 HAS SOUS 10096635 HAS SOUPS 10053754 WITH SCORE 1.010345949E7
AT ITER 3834 NEW BEST:: SOT 90232910 SOS 49708993 HAS SOPS 45339279 HAS SOUS 10084814 HAS SOUPS 10042080 WITH SCORE 1.0091788993E7
AT ITER 3839 NEW BEST:: SOT 90246216 SOS 49653845 HAS SOPS 45405529 HAS SOUS 10082755 HAS SOUPS 10040230 WITH SCORE 1.0089883845E7
AT ITER 3878 NEW BEST:: SOT 90246368 SOS 49653997 HAS SOPS 45405757 HAS SOUS 10082584 HAS SOUPS 10040059 WITH SCORE 1.0089712997E7
AT ITER 3880 NEW BEST:: SOT 90248292 SOS 49655651 HAS SOPS 45405173 HAS SOUS 10078275 HAS SOUPS 10035750 WITH SCORE 1.0085405651E7
AT ITER 3885 NEW BEST:: SOT 90248322 SOS 49663927 HAS SOPS 45412711 HAS SOUS 10077054 HAS SOUPS 10034529 WITH SCORE 1.0084192927E7
AT ITER 3886 NEW BEST:: SOT 90273682 SOS 49681653 HAS SOPS 45424663 HAS SOUS 10047927 HAS SOUPS 10005402 WITH SCORE 1.0055083653E7
AT ITER 3901 NEW BEST:: SOT 90272555 SOS 49680528 HAS SOPS 45423448 HAS SOUS 10045630 HAS SOUPS 10003105 WITH SCORE 1.0052785528E7
AT ITER 3910 NEW BEST:: SOT 90272807 SOS 49680843 HAS SOPS 45423175 HAS SOUS 10042984 HAS SOUPS 10000459 WITH SCORE 1.0050139843E7
AT ITER 3917 NEW BEST:: SOT 90278527 SOS 49687833 HAS SOPS 45429598 HAS SOUS 10027235 HAS SOUPS 9984799 WITH SCORE 1.0034486833E7
AT ITER 3929 NEW BEST:: SOT 90417022 SOS 49805593 HAS SOPS 45525809 HAS SOUS 10007357 HAS SOUPS 9964921 WITH SCORE 1.0014726593E7
AT ITER 3985 NEW BEST:: SOT 90416343 SOS 49804900 HAS SOPS 45525242 HAS SOUS 10006088 HAS SOUPS 9963652 WITH SCORE 1.00134569E7
AT ITER 3992 NEW BEST:: SOT 90416235 SOS 49806076 HAS SOPS 45524775 HAS SOUS 9994593 HAS SOUPS 9952157 WITH SCORE 1.0001963076E7
AT ITER 4011 NEW BEST:: SOT 90413434 SOS 49802907 HAS SOPS 45520285 HAS SOUS 9982212 HAS SOUPS 9939776 WITH SCORE 9989578.907
AT ITER 4034 NEW BEST:: SOT 90413574 SOS 49802910 HAS SOPS 45520288 HAS SOUS 9981821 HAS SOUPS 9939385 WITH SCORE 9989187.91
AT ITER 4037 NEW BEST:: SOT 90420835 SOS 49724111 HAS SOPS 45439568 HAS SOUS 9966426 HAS SOUPS 9923990 WITH SCORE 9973714.111
AT ITER 4054 NEW BEST:: SOT 90433345 SOS 49735731 HAS SOPS 45441837 HAS SOUS 9960341 HAS SOUPS 9917643 WITH SCORE 9967378.731
AT ITER 4059 NEW BEST:: SOT 90431529 SOS 49733948 HAS SOPS 45439824 HAS SOUS 9957990 HAS SOUPS 9915292 WITH SCORE 9965025.948
AT ITER 4075 NEW BEST:: SOT 90431173 SOS 49723765 HAS SOPS 45415008 HAS SOUS 9919895 HAS SOUPS 9877050 WITH SCORE 9926773.765
AT ITER 4085 NEW BEST:: SOT 90431163 SOS 49689601 HAS SOPS 45378236 HAS SOUS 9914681 HAS SOUPS 9871711 WITH SCORE 9921400.601
AT ITER 4093 NEW BEST:: SOT 90440474 SOS 49700808 HAS SOPS 45387352 HAS SOUS 9911390 HAS SOUPS 9868420 WITH SCORE 9918120.808
AT ITER 4095 NEW BEST:: SOT 90440474 SOS 49704985 HAS SOPS 45391515 HAS SOUS 9911329 HAS SOUPS 9868359 WITH SCORE 9918063.985
AT ITER 4101 NEW BEST:: SOT 90463540 SOS 49710266 HAS SOPS 45390831 HAS SOUS 9866793 HAS SOUPS 9823823 WITH SCORE 9873533.266
AT ITER 4126 NEW BEST:: SOT 90466365 SOS 49725961 HAS SOPS 45403700 HAS SOUS 9836485 HAS SOUPS 9793515 WITH SCORE 9843240.961
AT ITER 4130 NEW BEST:: SOT 90466292 SOS 49724863 HAS SOPS 45402602 HAS SOUS 9834905 HAS SOUPS 9791935 WITH SCORE 9841659.863
AT ITER 4146 NEW BEST:: SOT 90484724 SOS 49807356 HAS SOPS 45293973 HAS SOUS 9814256 HAS SOUPS 9771135 WITH SCORE 9820942.356
AT ITER 4152 NEW BEST:: SOT 90491156 SOS 49813999 HAS SOPS 45300160 HAS SOUS 9811734 HAS SOUPS 9768584 WITH SCORE 9818397.999
AT ITER 4156 NEW BEST:: SOT 90488271 SOS 49811123 HAS SOPS 45296681 HAS SOUS 9809134 HAS SOUPS 9765984 WITH SCORE 9815795.123
AT ITER 4173 NEW BEST:: SOT 90487690 SOS 49810542 HAS SOPS 45295988 HAS SOUS 9808119 HAS SOUPS 9764969 WITH SCORE 9814779.542
AT ITER 4175 NEW BEST:: SOT 90483114 SOS 49805955 HAS SOPS 45291401 HAS SOUS 9803675 HAS SOUPS 9760525 WITH SCORE 9810330.955
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 14147392 kB
After kill :
MemTotal: 16393216 kB
MemFree: 15974824 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="RERS2020-PT-pb102"
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 RERS2020-PT-pb102, 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-167889204200232"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/RERS2020-PT-pb102.tgz
mv RERS2020-PT-pb102 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 ;