About the Execution of Smart+red for RERS2020-PT-pb101
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 2548.275 | 3600000.00 | 3903690.00 | 7980.80 | [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-167889204200224.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-pb101, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r331-tall-167889204200224
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 84M
-rw-r--r-- 1 mcc users 6.8K Feb 26 08:20 CTLCardinality.txt
-rw-r--r-- 1 mcc users 69K Feb 26 08:20 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.1K Feb 26 08:15 CTLFireability.txt
-rw-r--r-- 1 mcc users 39K Feb 26 08:15 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:40 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K 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 16K Feb 25 16:40 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.9K Feb 26 08:27 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 76K Feb 26 08:27 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.9K Feb 26 08:23 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 62K Feb 26 08:23 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 83M 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 1679113377194
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-pb101
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-18 04:22:59] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-18 04:22:59] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-18 04:23:02] [INFO ] Load time of PNML (sax parser for PT used): 2402 ms
[2023-03-18 04:23:02] [INFO ] Transformed 906 places.
[2023-03-18 04:23:02] [INFO ] Transformed 149363 transitions.
[2023-03-18 04:23:02] [INFO ] Found NUPN structural information;
[2023-03-18 04:23:02] [INFO ] Parsed PT model containing 906 places and 149363 transitions and 595952 arcs in 2956 ms.
[2023-03-18 04:23:03] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 906 places, 149363 transitions and 595952 arcs took 336 ms.
Total runtime 3335 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS2020 (PT), instance pb101
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: 906 places, 149363 transitions, 595952 arcs.
AT ITER 0 NEW BEST:: SOT 87381697 SOS 69301573 HAS SOPS 63692547 HAS SOUS 18727217 HAS SOUPS 18653996 WITH SCORE 1.8723297573E7
AT ITER 2 NEW BEST:: SOT 87381697 SOS 69301585 HAS SOPS 63692559 HAS SOUS 18727216 HAS SOUPS 18653995 WITH SCORE 1.8723296585E7
AT ITER 7 NEW BEST:: SOT 87361812 SOS 69282115 HAS SOPS 63671554 HAS SOUS 18681565 HAS SOUPS 18608149 WITH SCORE 1.8677431115E7
AT ITER 9 NEW BEST:: SOT 87324154 SOS 69244210 HAS SOPS 63617746 HAS SOUS 18590076 HAS SOUPS 18516660 WITH SCORE 1.858590421E7
AT ITER 15 NEW BEST:: SOT 87457122 SOS 69377080 HAS SOPS 63731680 HAS SOUS 18586934 HAS SOUPS 18513518 WITH SCORE 1.858289508E7
AT ITER 16 NEW BEST:: SOT 87457936 SOS 69377764 HAS SOPS 63732277 HAS SOUS 18583614 HAS SOUPS 18510198 WITH SCORE 1.8579575764E7
AT ITER 17 NEW BEST:: SOT 87438680 SOS 69358341 HAS SOPS 63705226 HAS SOUS 18560795 HAS SOUPS 18487379 WITH SCORE 1.8556737341E7
AT ITER 19 NEW BEST:: SOT 87432184 SOS 69351822 HAS SOPS 63697681 HAS SOUS 18559053 HAS SOUPS 18485637 WITH SCORE 1.8554988822E7
AT ITER 24 NEW BEST:: SOT 87428419 SOS 69348035 HAS SOPS 63692825 HAS SOUS 18556987 HAS SOUPS 18483582 WITH SCORE 1.8552930035E7
AT ITER 26 NEW BEST:: SOT 87427478 SOS 69347131 HAS SOPS 63691615 HAS SOUS 18546856 HAS SOUPS 18473451 WITH SCORE 1.8542798131E7
AT ITER 27 NEW BEST:: SOT 87338769 SOS 69258547 HAS SOPS 63597655 HAS SOUS 18391494 HAS SOUPS 18318089 WITH SCORE 1.8387347547E7
AT ITER 34 NEW BEST:: SOT 87355744 SOS 69275140 HAS SOPS 63599187 HAS SOUS 18388972 HAS SOUPS 18315567 WITH SCORE 1.838484214E7
AT ITER 46 NEW BEST:: SOT 87371113 SOS 69290422 HAS SOPS 63613267 HAS SOUS 18373620 HAS SOUPS 18300215 WITH SCORE 1.8369505422E7
AT ITER 47 NEW BEST:: SOT 87383670 SOS 69302600 HAS SOPS 63609709 HAS SOUS 18322571 HAS SOUPS 18249166 WITH SCORE 1.83184686E7
AT ITER 52 NEW BEST:: SOT 87381467 SOS 69300396 HAS SOPS 63606115 HAS SOUS 18317742 HAS SOUPS 18244337 WITH SCORE 1.8313637396E7
AT ITER 57 NEW BEST:: SOT 87349618 SOS 69268482 HAS SOPS 63558671 HAS SOUS 18287290 HAS SOUPS 18213885 WITH SCORE 1.8283153482E7
AT ITER 58 NEW BEST:: SOT 87370526 SOS 69289259 HAS SOPS 63577282 HAS SOUS 18276020 HAS SOUPS 18202615 WITH SCORE 1.8271904259E7
AT ITER 76 NEW BEST:: SOT 87370614 SOS 69313857 HAS SOPS 63603480 HAS SOUS 18275694 HAS SOUPS 18202289 WITH SCORE 1.8271602857E7
AT ITER 81 NEW BEST:: SOT 87421049 SOS 69363930 HAS SOPS 63652294 HAS SOUS 18273472 HAS SOUPS 18200067 WITH SCORE 1.826943093E7
AT ITER 84 NEW BEST:: SOT 87448744 SOS 69391474 HAS SOPS 63679838 HAS SOUS 18272624 HAS SOUPS 18199219 WITH SCORE 1.8268610474E7
AT ITER 91 NEW BEST:: SOT 87459287 SOS 69401804 HAS SOPS 63691609 HAS SOUS 18235958 HAS SOUPS 18162655 WITH SCORE 1.8232056804E7
AT ITER 94 NEW BEST:: SOT 87567998 SOS 69510682 HAS SOPS 63766775 HAS SOUS 18211945 HAS SOUPS 18137975 WITH SCORE 1.8207485682E7
AT ITER 127 NEW BEST:: SOT 87564040 SOS 69507249 HAS SOPS 63767868 HAS SOUS 18193309 HAS SOUPS 18119339 WITH SCORE 1.8188846249E7
AT ITER 132 NEW BEST:: SOT 87515876 SOS 69458868 HAS SOPS 63702786 HAS SOUS 18109983 HAS SOUPS 18036013 WITH SCORE 1.8105471868E7
AT ITER 143 NEW BEST:: SOT 87540547 SOS 69482832 HAS SOPS 63710044 HAS SOUS 18077574 HAS SOUPS 18003630 WITH SCORE 1.8073112832E7
AT ITER 145 NEW BEST:: SOT 87580945 SOS 69522966 HAS SOPS 63744785 HAS SOUS 18038816 HAS SOUPS 17964872 WITH SCORE 1.8034394966E7
AT ITER 148 NEW BEST:: SOT 87558391 SOS 69500227 HAS SOPS 63712048 HAS SOUS 18030753 HAS SOUPS 17956809 WITH SCORE 1.8026309227E7
AT ITER 157 NEW BEST:: SOT 87599278 SOS 69540710 HAS SOPS 63748686 HAS SOUS 18029387 HAS SOUPS 17955443 WITH SCORE 1.802498371E7
AT ITER 164 NEW BEST:: SOT 87592253 SOS 69533758 HAS SOPS 63737076 HAS SOUS 18007376 HAS SOUPS 17933432 WITH SCORE 1.8002965758E7
AT ITER 173 NEW BEST:: SOT 87606509 SOS 69547945 HAS SOPS 63755124 HAS SOUS 17998919 HAS SOUPS 17924975 WITH SCORE 1.7994522945E7
AT ITER 174 NEW BEST:: SOT 87663795 SOS 69604622 HAS SOPS 63786782 HAS SOUS 17929931 HAS SOUPS 17855987 WITH SCORE 1.7925591622E7
AT ITER 180 NEW BEST:: SOT 87693615 SOS 69634614 HAS SOPS 63803258 HAS SOUS 17911659 HAS SOUPS 17837715 WITH SCORE 1.7907349614E7
AT ITER 183 NEW BEST:: SOT 87713321 SOS 69654927 HAS SOPS 63814537 HAS SOUS 17904014 HAS SOUPS 17830070 WITH SCORE 1.7899724927E7
AT ITER 205 NEW BEST:: SOT 87711014 SOS 69652679 HAS SOPS 63806385 HAS SOUS 17902578 HAS SOUPS 17828634 WITH SCORE 1.7898286679E7
AT ITER 207 NEW BEST:: SOT 87743825 SOS 69685185 HAS SOPS 63837529 HAS SOUS 17880234 HAS SOUPS 17806290 WITH SCORE 1.7875975185E7
AT ITER 209 NEW BEST:: SOT 87743969 SOS 69685329 HAS SOPS 63837577 HAS SOUS 17879050 HAS SOUPS 17805106 WITH SCORE 1.7874791329E7
AT ITER 220 NEW BEST:: SOT 87743969 SOS 69653523 HAS SOPS 63805771 HAS SOUS 17879081 HAS SOUPS 17805137 WITH SCORE 1.7874790523E7
AT ITER 227 NEW BEST:: SOT 87740479 SOS 69649975 HAS SOPS 63804806 HAS SOUS 17863023 HAS SOUPS 17789005 WITH SCORE 1.7858654975E7
AT ITER 229 NEW BEST:: SOT 87774656 SOS 69684218 HAS SOPS 63817547 HAS SOUS 17855113 HAS SOUPS 17781095 WITH SCORE 1.7850779218E7
AT ITER 233 NEW BEST:: SOT 87783287 SOS 69692971 HAS SOPS 63825880 HAS SOUS 17851910 HAS SOUPS 17777892 WITH SCORE 1.7847584971E7
AT ITER 235 NEW BEST:: SOT 87792071 SOS 69701611 HAS SOPS 63834664 HAS SOUS 17849030 HAS SOUPS 17775012 WITH SCORE 1.7844713611E7
AT ITER 239 NEW BEST:: SOT 87853842 SOS 69763222 HAS SOPS 63889166 HAS SOUS 17838795 HAS SOUPS 17764777 WITH SCORE 1.7834540222E7
AT ITER 244 NEW BEST:: SOT 87856343 SOS 69765788 HAS SOPS 63890977 HAS SOUS 17838365 HAS SOUPS 17764347 WITH SCORE 1.7834112788E7
AT ITER 247 NEW BEST:: SOT 87834373 SOS 69744175 HAS SOPS 63870529 HAS SOUS 17832364 HAS SOUPS 17758346 WITH SCORE 1.7828090175E7
AT ITER 258 NEW BEST:: SOT 87833710 SOS 69743514 HAS SOPS 63869784 HAS SOUS 17831177 HAS SOUPS 17757159 WITH SCORE 1.7826902514E7
AT ITER 263 NEW BEST:: SOT 87834348 SOS 69743918 HAS SOPS 63853145 HAS SOUS 17822355 HAS SOUPS 17748337 WITH SCORE 1.7818080918E7
AT ITER 264 NEW BEST:: SOT 87836668 SOS 69746584 HAS SOPS 63847676 HAS SOUS 17769458 HAS SOUPS 17695440 WITH SCORE 1.7765186584E7
AT ITER 269 NEW BEST:: SOT 87945110 SOS 69855022 HAS SOPS 63938009 HAS SOUS 17716681 HAS SOUPS 17642663 WITH SCORE 1.7712518022E7
AT ITER 274 NEW BEST:: SOT 87959000 SOS 69868908 HAS SOPS 63951989 HAS SOUS 17712041 HAS SOUPS 17638023 WITH SCORE 1.7707891908E7
AT ITER 281 NEW BEST:: SOT 87991351 SOS 69901133 HAS SOPS 63982487 HAS SOUS 17704420 HAS SOUPS 17630402 WITH SCORE 1.7700303133E7
AT ITER 285 NEW BEST:: SOT 87972571 SOS 69882252 HAS SOPS 63960197 HAS SOUS 17676365 HAS SOUPS 17602337 WITH SCORE 1.7672219252E7
AT ITER 303 NEW BEST:: SOT 87999278 SOS 69909273 HAS SOPS 63983325 HAS SOUS 17667812 HAS SOUPS 17593784 WITH SCORE 1.7663693273E7
AT ITER 304 NEW BEST:: SOT 87992529 SOS 69902428 HAS SOPS 63972449 HAS SOUS 17659451 HAS SOUPS 17585423 WITH SCORE 1.7655325428E7
AT ITER 308 NEW BEST:: SOT 87992757 SOS 69902491 HAS SOPS 63969301 HAS SOUS 17646173 HAS SOUPS 17572180 WITH SCORE 1.7642082491E7
AT ITER 312 NEW BEST:: SOT 87993517 SOS 69903411 HAS SOPS 63975941 HAS SOUS 17645773 HAS SOUPS 17571740 WITH SCORE 1.7641643411E7
AT ITER 319 NEW BEST:: SOT 87964392 SOS 69874088 HAS SOPS 63939349 HAS SOUS 17595409 HAS SOUPS 17521376 WITH SCORE 1.7591250088E7
AT ITER 332 NEW BEST:: SOT 87968216 SOS 69877727 HAS SOPS 63940735 HAS SOUS 17573094 HAS SOUPS 17499061 WITH SCORE 1.7568938727E7
AT ITER 334 NEW BEST:: SOT 87949268 SOS 69858230 HAS SOPS 63894005 HAS SOUS 17502398 HAS SOUPS 17428365 WITH SCORE 1.749822323E7
AT ITER 339 NEW BEST:: SOT 87994703 SOS 69903665 HAS SOPS 63930502 HAS SOUS 17465983 HAS SOUPS 17391950 WITH SCORE 1.7461853665E7
AT ITER 347 NEW BEST:: SOT 87994923 SOS 69903678 HAS SOPS 63933649 HAS SOUS 17465598 HAS SOUPS 17391627 WITH SCORE 1.7461530678E7
AT ITER 348 NEW BEST:: SOT 87993701 SOS 69902453 HAS SOPS 63932268 HAS SOUS 17463592 HAS SOUPS 17389621 WITH SCORE 1.7459523453E7
AT ITER 350 NEW BEST:: SOT 87987264 SOS 69896096 HAS SOPS 63922113 HAS SOUS 17458218 HAS SOUPS 17384247 WITH SCORE 1.7454143096E7
AT ITER 356 NEW BEST:: SOT 87989138 SOS 69898058 HAS SOPS 63926997 HAS SOUS 17452767 HAS SOUPS 17378752 WITH SCORE 1.7448650058E7
AT ITER 358 NEW BEST:: SOT 87986017 SOS 69894860 HAS SOPS 63922657 HAS SOUS 17447546 HAS SOUPS 17373531 WITH SCORE 1.744342586E7
AT ITER 368 NEW BEST:: SOT 88035624 SOS 69944526 HAS SOPS 63971694 HAS SOUS 17434382 HAS SOUPS 17360367 WITH SCORE 1.7430311526E7
AT ITER 373 NEW BEST:: SOT 88063695 SOS 69972378 HAS SOPS 63996150 HAS SOUS 17419795 HAS SOUPS 17345780 WITH SCORE 1.7415752378E7
AT ITER 380 NEW BEST:: SOT 88065404 SOS 69973946 HAS SOPS 63996398 HAS SOUS 17419670 HAS SOUPS 17345655 WITH SCORE 1.7415628946E7
AT ITER 395 NEW BEST:: SOT 88060999 SOS 69969541 HAS SOPS 63992085 HAS SOUS 17416709 HAS SOUPS 17342694 WITH SCORE 1.7412663541E7
AT ITER 403 NEW BEST:: SOT 88060867 SOS 69969366 HAS SOPS 63989221 HAS SOUS 17413113 HAS SOUPS 17339098 WITH SCORE 1.7409067366E7
AT ITER 407 NEW BEST:: SOT 88060840 SOS 69904409 HAS SOPS 63924264 HAS SOUS 17413148 HAS SOUPS 17339133 WITH SCORE 1.7409037409E7
AT ITER 408 NEW BEST:: SOT 88048607 SOS 69892003 HAS SOPS 63906172 HAS SOUS 17395949 HAS SOUPS 17321934 WITH SCORE 1.7391826003E7
AT ITER 411 NEW BEST:: SOT 88081585 SOS 69924408 HAS SOPS 63927635 HAS SOUS 17382784 HAS SOUPS 17308769 WITH SCORE 1.7378693408E7
AT ITER 414 NEW BEST:: SOT 88082810 SOS 69925533 HAS SOPS 63926410 HAS SOUS 17378759 HAS SOUPS 17304744 WITH SCORE 1.7374669533E7
AT ITER 415 NEW BEST:: SOT 88029674 SOS 69872073 HAS SOPS 63861286 HAS SOUS 17257583 HAS SOUPS 17183568 WITH SCORE 1.7253440073E7
AT ITER 416 NEW BEST:: SOT 88024442 SOS 69866779 HAS SOPS 63857998 HAS SOUS 17250225 HAS SOUPS 17176210 WITH SCORE 1.7246076779E7
AT ITER 418 NEW BEST:: SOT 88022752 SOS 69865079 HAS SOPS 63856089 HAS SOUS 17248387 HAS SOUPS 17174372 WITH SCORE 1.7244237079E7
AT ITER 420 NEW BEST:: SOT 87994671 SOS 69837456 HAS SOPS 63830062 HAS SOUS 17240137 HAS SOUPS 17166122 WITH SCORE 1.7235959456E7
AT ITER 425 NEW BEST:: SOT 87994672 SOS 69837456 HAS SOPS 63830062 HAS SOUS 17240015 HAS SOUPS 17166000 WITH SCORE 1.7235837456E7
AT ITER 428 NEW BEST:: SOT 87994736 SOS 69836192 HAS SOPS 63827812 HAS SOUS 17239758 HAS SOUPS 17165743 WITH SCORE 1.7235579192E7
AT ITER 432 NEW BEST:: SOT 87861305 SOS 69702240 HAS SOPS 63686490 HAS SOUS 16982005 HAS SOUPS 16907955 WITH SCORE 1.697765724E7
AT ITER 440 NEW BEST:: SOT 87811889 SOS 69652576 HAS SOPS 63622790 HAS SOUS 16894986 HAS SOUPS 16820936 WITH SCORE 1.6890588576E7
AT ITER 445 NEW BEST:: SOT 87872292 SOS 69713326 HAS SOPS 63680094 HAS SOUS 16876745 HAS SOUPS 16802695 WITH SCORE 1.6872408326E7
AT ITER 446 NEW BEST:: SOT 87820188 SOS 69661429 HAS SOPS 63614685 HAS SOUS 16781264 HAS SOUPS 16707214 WITH SCORE 1.6776875429E7
AT ITER 447 NEW BEST:: SOT 87806614 SOS 69648066 HAS SOPS 63604058 HAS SOUS 16768288 HAS SOUPS 16694238 WITH SCORE 1.6763886066E7
AT ITER 450 NEW BEST:: SOT 87836910 SOS 69677882 HAS SOPS 63628681 HAS SOUS 16748800 HAS SOUPS 16674750 WITH SCORE 1.6744427882E7
AT ITER 457 NEW BEST:: SOT 87868770 SOS 69709624 HAS SOPS 63657975 HAS SOUS 16744077 HAS SOUPS 16670027 WITH SCORE 1.6739736624E7
AT ITER 462 NEW BEST:: SOT 87841293 SOS 69681889 HAS SOPS 63624306 HAS SOUS 16699302 HAS SOUPS 16625252 WITH SCORE 1.6694933889E7
AT ITER 464 NEW BEST:: SOT 87842364 SOS 69683027 HAS SOPS 63622680 HAS SOUS 16691848 HAS SOUPS 16617860 WITH SCORE 1.6687543027E7
AT ITER 466 NEW BEST:: SOT 87856951 SOS 69697614 HAS SOPS 63634648 HAS SOUS 16679942 HAS SOUPS 16605954 WITH SCORE 1.6675651614E7
AT ITER 475 NEW BEST:: SOT 87862488 SOS 69702275 HAS SOPS 63595017 HAS SOUS 16538173 HAS SOUPS 16464185 WITH SCORE 1.6533887275E7
AT ITER 476 NEW BEST:: SOT 87862464 SOS 69730559 HAS SOPS 63624987 HAS SOUS 16538016 HAS SOUPS 16464058 WITH SCORE 1.6533788559E7
AT ITER 482 NEW BEST:: SOT 87879999 SOS 69748124 HAS SOPS 63619718 HAS SOUS 16535512 HAS SOUPS 16461554 WITH SCORE 1.6531302124E7
AT ITER 494 NEW BEST:: SOT 87902989 SOS 69770827 HAS SOPS 63639595 HAS SOUS 16522630 HAS SOUPS 16448672 WITH SCORE 1.6518442827E7
AT ITER 509 NEW BEST:: SOT 87874101 SOS 69741857 HAS SOPS 63599712 HAS SOUS 16499704 HAS SOUPS 16425756 WITH SCORE 1.6495497857E7
AT ITER 512 NEW BEST:: SOT 87882363 SOS 69750293 HAS SOPS 63576056 HAS SOUS 16427883 HAS SOUPS 16353935 WITH SCORE 1.6423685293E7
AT ITER 519 NEW BEST:: SOT 87883713 SOS 69751613 HAS SOPS 63576866 HAS SOUS 16424643 HAS SOUPS 16350695 WITH SCORE 1.6420446613E7
AT ITER 523 NEW BEST:: SOT 87966421 SOS 69818011 HAS SOPS 63616390 HAS SOUS 16421216 HAS SOUPS 16347226 WITH SCORE 1.6417044011E7
AT ITER 538 NEW BEST:: SOT 88065280 SOS 69916464 HAS SOPS 63690206 HAS SOUS 16382406 HAS SOUPS 16308104 WITH SCORE 1.6378020464E7
AT ITER 540 NEW BEST:: SOT 88060234 SOS 69911320 HAS SOPS 63672867 HAS SOUS 16303223 HAS SOUPS 16228921 WITH SCORE 1.629883232E7
AT ITER 543 NEW BEST:: SOT 88046658 SOS 69897828 HAS SOPS 63645570 HAS SOUS 16300944 HAS SOUPS 16226642 WITH SCORE 1.6296539828E7
AT ITER 547 NEW BEST:: SOT 88054448 SOS 69905448 HAS SOPS 63652118 HAS SOUS 16285464 HAS SOUPS 16211162 WITH SCORE 1.6281067448E7
AT ITER 549 NEW BEST:: SOT 88111322 SOS 69966395 HAS SOPS 63696121 HAS SOUS 16222239 HAS SOUPS 16150063 WITH SCORE 1.6220029395E7
AT ITER 556 NEW BEST:: SOT 88111511 SOS 69919901 HAS SOPS 63649608 HAS SOUS 16222248 HAS SOUPS 16150072 WITH SCORE 1.6219991901E7
AT ITER 562 NEW BEST:: SOT 88118159 SOS 69926653 HAS SOPS 63645213 HAS SOUS 16202780 HAS SOUPS 16130604 WITH SCORE 1.6200530653E7
AT ITER 576 NEW BEST:: SOT 88118159 SOS 69927249 HAS SOPS 63645809 HAS SOUS 16202776 HAS SOUPS 16130600 WITH SCORE 1.6200527249E7
AT ITER 577 NEW BEST:: SOT 88129196 SOS 69937905 HAS SOPS 63651129 HAS SOUS 16163266 HAS SOUPS 16091090 WITH SCORE 1.6161027905E7
AT ITER 588 NEW BEST:: SOT 88129444 SOS 69898785 HAS SOPS 63614226 HAS SOUS 16163075 HAS SOUPS 16090899 WITH SCORE 1.6160797785E7
AT ITER 597 NEW BEST:: SOT 88138822 SOS 69908163 HAS SOPS 63624321 HAS SOUS 16147982 HAS SOUPS 16075806 WITH SCORE 1.6145714163E7
AT ITER 600 NEW BEST:: SOT 88266773 SOS 70035439 HAS SOPS 63742621 HAS SOUS 16126399 HAS SOUPS 16053887 WITH SCORE 1.6123922439E7
AT ITER 603 NEW BEST:: SOT 88269611 SOS 70038271 HAS SOPS 63741081 HAS SOUS 16115197 HAS SOUPS 16042685 WITH SCORE 1.6112723271E7
AT ITER 608 NEW BEST:: SOT 88245167 SOS 70013599 HAS SOPS 63708543 HAS SOUS 16090639 HAS SOUPS 16018127 WITH SCORE 1.6088140599E7
AT ITER 609 NEW BEST:: SOT 88245644 SOS 70014076 HAS SOPS 63709038 HAS SOUS 16090297 HAS SOUPS 16017785 WITH SCORE 1.6087799076E7
AT ITER 611 NEW BEST:: SOT 88254698 SOS 70023305 HAS SOPS 63716058 HAS SOUS 16068298 HAS SOUPS 15995786 WITH SCORE 1.6065809305E7
AT ITER 614 NEW BEST:: SOT 88247414 SOS 70016003 HAS SOPS 63710111 HAS SOUS 16066852 HAS SOUPS 15994340 WITH SCORE 1.6064356003E7
AT ITER 621 NEW BEST:: SOT 88235415 SOS 70003245 HAS SOPS 63674482 HAS SOUS 16001184 HAS SOUPS 15928672 WITH SCORE 1.5998675245E7
AT ITER 632 NEW BEST:: SOT 88236298 SOS 69949975 HAS SOPS 63626277 HAS SOUS 16001057 HAS SOUPS 15928654 WITH SCORE 1.5998603975E7
AT ITER 634 NEW BEST:: SOT 88283918 SOS 69997312 HAS SOPS 63653444 HAS SOUS 15984602 HAS SOUPS 15912199 WITH SCORE 1.5982196312E7
AT ITER 643 NEW BEST:: SOT 88286582 SOS 69999769 HAS SOPS 63654673 HAS SOUS 15983382 HAS SOUPS 15910985 WITH SCORE 1.5980984769E7
AT ITER 644 NEW BEST:: SOT 88287815 SOS 70000993 HAS SOPS 63655591 HAS SOUS 15980709 HAS SOUPS 15908312 WITH SCORE 1.5978312993E7
AT ITER 649 NEW BEST:: SOT 88287487 SOS 70000665 HAS SOPS 63655180 HAS SOUS 15978068 HAS SOUPS 15905671 WITH SCORE 1.5975671665E7
AT ITER 666 NEW BEST:: SOT 88283833 SOS 69996979 HAS SOPS 63650570 HAS SOUS 15971794 HAS SOUPS 15899361 WITH SCORE 1.5969357979E7
AT ITER 676 NEW BEST:: SOT 88277159 SOS 69989852 HAS SOPS 63642212 HAS SOUS 15957101 HAS SOUPS 15884668 WITH SCORE 1.5954657852E7
AT ITER 679 NEW BEST:: SOT 88286417 SOS 69999098 HAS SOPS 63647045 HAS SOUS 15952070 HAS SOUPS 15879712 WITH SCORE 1.5949711098E7
AT ITER 686 NEW BEST:: SOT 88263599 SOS 69976208 HAS SOPS 63620665 HAS SOUS 15916755 HAS SOUPS 15844397 WITH SCORE 1.5914373208E7
AT ITER 706 NEW BEST:: SOT 88221599 SOS 69934317 HAS SOPS 63580862 HAS SOUS 15916499 HAS SOUPS 15844141 WITH SCORE 1.5914075317E7
AT ITER 709 NEW BEST:: SOT 88223602 SOS 69934798 HAS SOPS 63580036 HAS SOUS 15913870 HAS SOUPS 15841570 WITH SCORE 1.5911504798E7
AT ITER 711 NEW BEST:: SOT 88200501 SOS 69911908 HAS SOPS 63556064 HAS SOUS 15902280 HAS SOUPS 15829980 WITH SCORE 1.5899891908E7
AT ITER 713 NEW BEST:: SOT 88278463 SOS 69988996 HAS SOPS 63608756 HAS SOUS 15897210 HAS SOUPS 15824910 WITH SCORE 1.5894898996E7
AT ITER 717 NEW BEST:: SOT 88305609 SOS 70015933 HAS SOPS 63630598 HAS SOUS 15883432 HAS SOUPS 15811132 WITH SCORE 1.5881147933E7
AT ITER 718 NEW BEST:: SOT 88306220 SOS 70010541 HAS SOPS 63632351 HAS SOUS 15883350 HAS SOUPS 15811126 WITH SCORE 1.5881136541E7
AT ITER 724 NEW BEST:: SOT 88257403 SOS 69961084 HAS SOPS 63560706 HAS SOUS 15791230 HAS SOUPS 15719006 WITH SCORE 1.5788967084E7
AT ITER 732 NEW BEST:: SOT 88255562 SOS 69959256 HAS SOPS 63558592 HAS SOUS 15791168 HAS SOUPS 15718944 WITH SCORE 1.5788903256E7
AT ITER 738 NEW BEST:: SOT 88278845 SOS 69982377 HAS SOPS 63574177 HAS SOUS 15753483 HAS SOUPS 15681295 WITH SCORE 1.5751277377E7
AT ITER 740 NEW BEST:: SOT 88278845 SOS 69982377 HAS SOPS 63574175 HAS SOUS 15753403 HAS SOUPS 15681215 WITH SCORE 1.5751197377E7
AT ITER 750 NEW BEST:: SOT 88238780 SOS 69942334 HAS SOPS 63532567 HAS SOUS 15715711 HAS SOUPS 15643523 WITH SCORE 1.5713465334E7
AT ITER 778 NEW BEST:: SOT 88237840 SOS 69941394 HAS SOPS 63530593 HAS SOUS 15712761 HAS SOUPS 15640573 WITH SCORE 1.5710514394E7
AT ITER 789 NEW BEST:: SOT 88230979 SOS 69934533 HAS SOPS 63522836 HAS SOUS 15698740 HAS SOUPS 15626552 WITH SCORE 1.5696486533E7
AT ITER 795 NEW BEST:: SOT 88241834 SOS 69945159 HAS SOPS 63533774 HAS SOUS 15692452 HAS SOUPS 15620264 WITH SCORE 1.5690209159E7
AT ITER 804 NEW BEST:: SOT 88254712 SOS 69957958 HAS SOPS 63547002 HAS SOUS 15687397 HAS SOUPS 15615209 WITH SCORE 1.5685166958E7
AT ITER 815 NEW BEST:: SOT 88235280 SOS 69938526 HAS SOPS 63528070 HAS SOUS 15679985 HAS SOUPS 15607797 WITH SCORE 1.5677735526E7
AT ITER 822 NEW BEST:: SOT 88232659 SOS 69937578 HAS SOPS 63531700 HAS SOUS 15659982 HAS SOUPS 15587636 WITH SCORE 1.5657573578E7
AT ITER 823 NEW BEST:: SOT 88298866 SOS 70003167 HAS SOPS 63586276 HAS SOUS 15630547 HAS SOUPS 15558057 WITH SCORE 1.5628060167E7
AT ITER 825 NEW BEST:: SOT 88420977 SOS 70125476 HAS SOPS 63689601 HAS SOUS 15625663 HAS SOUPS 15553173 WITH SCORE 1.5623298476E7
AT ITER 828 NEW BEST:: SOT 88490873 SOS 70196213 HAS SOPS 63738176 HAS SOUS 15593549 HAS SOUPS 15521062 WITH SCORE 1.5591258213E7
AT ITER 843 NEW BEST:: SOT 88560224 SOS 70265351 HAS SOPS 63803735 HAS SOUS 15589554 HAS SOUPS 15517067 WITH SCORE 1.5587332351E7
AT ITER 846 NEW BEST:: SOT 88537452 SOS 70242444 HAS SOPS 63776598 HAS SOUS 15564041 HAS SOUPS 15491554 WITH SCORE 1.5561796444E7
AT ITER 848 NEW BEST:: SOT 88537452 SOS 70245887 HAS SOPS 63780041 HAS SOUS 15564024 HAS SOUPS 15491537 WITH SCORE 1.5561782887E7
AT ITER 856 NEW BEST:: SOT 88562328 SOS 70270753 HAS SOPS 63798160 HAS SOUS 15558983 HAS SOUPS 15486553 WITH SCORE 1.5556823753E7
AT ITER 863 NEW BEST:: SOT 88680006 SOS 70387497 HAS SOPS 63886049 HAS SOUS 15542778 HAS SOUPS 15470348 WITH SCORE 1.5540735497E7
AT ITER 881 NEW BEST:: SOT 88679967 SOS 70400731 HAS SOPS 63899569 HAS SOUS 15542659 HAS SOUPS 15470229 WITH SCORE 1.5540629731E7
AT ITER 887 NEW BEST:: SOT 88696367 SOS 70417195 HAS SOPS 63912147 HAS SOUS 15539253 HAS SOUPS 15466823 WITH SCORE 1.5537240195E7
AT ITER 906 NEW BEST:: SOT 88690411 SOS 70410416 HAS SOPS 63895387 HAS SOUS 15484992 HAS SOUPS 15412562 WITH SCORE 1.5482972416E7
AT ITER 910 NEW BEST:: SOT 88690404 SOS 70370630 HAS SOPS 63855601 HAS SOUS 15485024 HAS SOUPS 15412594 WITH SCORE 1.548296463E7
AT ITER 918 NEW BEST:: SOT 88699250 SOS 70379476 HAS SOPS 63864507 HAS SOUS 15476461 HAS SOUPS 15404031 WITH SCORE 1.5474410476E7
AT ITER 930 NEW BEST:: SOT 88701965 SOS 70382176 HAS SOPS 63867216 HAS SOUS 15475276 HAS SOUPS 15402846 WITH SCORE 1.5473228176E7
AT ITER 931 NEW BEST:: SOT 88661198 SOS 70341230 HAS SOPS 63824855 HAS SOUS 15464052 HAS SOUPS 15391622 WITH SCORE 1.546196323E7
AT ITER 963 NEW BEST:: SOT 88670245 SOS 70350300 HAS SOPS 63827073 HAS SOUS 15412327 HAS SOUPS 15339897 WITH SCORE 1.54102473E7
AT ITER 964 NEW BEST:: SOT 88699848 SOS 70379678 HAS SOPS 63853554 HAS SOUS 15404333 HAS SOUPS 15331903 WITH SCORE 1.5402282678E7
AT ITER 965 NEW BEST:: SOT 88689912 SOS 70369731 HAS SOPS 63823992 HAS SOUS 15374933 HAS SOUPS 15302503 WITH SCORE 1.5372872731E7
AT ITER 969 NEW BEST:: SOT 88687623 SOS 70357639 HAS SOPS 63811565 HAS SOUS 15372324 HAS SOUPS 15299894 WITH SCORE 1.5370251639E7
AT ITER 974 NEW BEST:: SOT 88695937 SOS 70365356 HAS SOPS 63813099 HAS SOUS 15368242 HAS SOUPS 15295857 WITH SCORE 1.5366222356E7
AT ITER 976 NEW BEST:: SOT 88677389 SOS 70346902 HAS SOPS 63796106 HAS SOUS 15366233 HAS SOUPS 15293777 WITH SCORE 1.5364123902E7
AT ITER 999 NEW BEST:: SOT 88679750 SOS 70349519 HAS SOPS 63796175 HAS SOUS 15326613 HAS SOUPS 15254157 WITH SCORE 1.5324506519E7
AT ITER 1008 NEW BEST:: SOT 88683467 SOS 70353255 HAS SOPS 63798803 HAS SOUS 15321769 HAS SOUPS 15249313 WITH SCORE 1.5319666255E7
AT ITER 1009 NEW BEST:: SOT 88683754 SOS 70353542 HAS SOPS 63798975 HAS SOUS 15321434 HAS SOUPS 15248978 WITH SCORE 1.5319331542E7
AT ITER 1011 NEW BEST:: SOT 88689761 SOS 70359883 HAS SOPS 63804981 HAS SOUS 15317208 HAS SOUPS 15244752 WITH SCORE 1.5315111883E7
AT ITER 1016 NEW BEST:: SOT 88689761 SOS 70369004 HAS SOPS 63814102 HAS SOUS 15317194 HAS SOUPS 15244738 WITH SCORE 1.5315107004E7
AT ITER 1019 NEW BEST:: SOT 88689745 SOS 70323762 HAS SOPS 63768860 HAS SOUS 15317201 HAS SOUPS 15244745 WITH SCORE 1.5315068762E7
AT ITER 1025 NEW BEST:: SOT 88689745 SOS 70319288 HAS SOPS 63764386 HAS SOUS 15317203 HAS SOUPS 15244747 WITH SCORE 1.5315066288E7
AT ITER 1038 NEW BEST:: SOT 88710549 SOS 70340672 HAS SOPS 63790034 HAS SOUS 15299752 HAS SOUPS 15227296 WITH SCORE 1.5297636672E7
AT ITER 1050 NEW BEST:: SOT 88710934 SOS 70341032 HAS SOPS 63789469 HAS SOUS 15294787 HAS SOUPS 15222331 WITH SCORE 1.5292672032E7
AT ITER 1067 NEW BEST:: SOT 88719416 SOS 70349149 HAS SOPS 63783409 HAS SOUS 15249678 HAS SOUPS 15177222 WITH SCORE 1.5247571149E7
AT ITER 1069 NEW BEST:: SOT 88720006 SOS 70389741 HAS SOPS 63827579 HAS SOUS 15248634 HAS SOUPS 15176250 WITH SCORE 1.5246639741E7
AT ITER 1088 NEW BEST:: SOT 88719958 SOS 70389664 HAS SOPS 63827388 HAS SOUS 15246900 HAS SOUPS 15174516 WITH SCORE 1.5244905664E7
AT ITER 1102 NEW BEST:: SOT 88699085 SOS 70368791 HAS SOPS 63807164 HAS SOUS 15242785 HAS SOUPS 15170400 WITH SCORE 1.5240768791E7
AT ITER 1118 NEW BEST:: SOT 88699612 SOS 70369113 HAS SOPS 63796124 HAS SOUS 15226070 HAS SOUPS 15153625 WITH SCORE 1.5223994113E7
AT ITER 1122 NEW BEST:: SOT 88659494 SOS 70329223 HAS SOPS 63757466 HAS SOUS 15212223 HAS SOUPS 15139748 WITH SCORE 1.5210077223E7
AT ITER 1128 NEW BEST:: SOT 88652440 SOS 70322067 HAS SOPS 63743462 HAS SOUS 15157350 HAS SOUPS 15084875 WITH SCORE 1.5155197067E7
AT ITER 1130 NEW BEST:: SOT 88665442 SOS 70335069 HAS SOPS 63755169 HAS SOUS 15127481 HAS SOUPS 15055006 WITH SCORE 1.5125341069E7
AT ITER 1135 NEW BEST:: SOT 88584629 SOS 70254263 HAS SOPS 63680403 HAS SOUS 15107621 HAS SOUPS 15035146 WITH SCORE 1.5105400263E7
AT ITER 1140 NEW BEST:: SOT 88500161 SOS 70169947 HAS SOPS 63605087 HAS SOUS 15101625 HAS SOUPS 15029150 WITH SCORE 1.5099319947E7
AT ITER 1152 NEW BEST:: SOT 88491694 SOS 70161609 HAS SOPS 63598791 HAS SOUS 15093870 HAS SOUPS 15021349 WITH SCORE 1.5091510609E7
AT ITER 1166 NEW BEST:: SOT 88460261 SOS 70130217 HAS SOPS 63569113 HAS SOUS 15056906 HAS SOUPS 14984260 WITH SCORE 1.5054390217E7
AT ITER 1185 NEW BEST:: SOT 88515585 SOS 70184859 HAS SOPS 63617993 HAS SOUS 15056130 HAS SOUPS 14983484 WITH SCORE 1.5053668859E7
AT ITER 1187 NEW BEST:: SOT 88467413 SOS 70136173 HAS SOPS 63570969 HAS SOUS 15012207 HAS SOUPS 14939561 WITH SCORE 1.5009697173E7
AT ITER 1188 NEW BEST:: SOT 88486913 SOS 70155540 HAS SOPS 63592796 HAS SOUS 15009467 HAS SOUPS 14936821 WITH SCORE 1.500697654E7
AT ITER 1196 NEW BEST:: SOT 88474366 SOS 70142754 HAS SOPS 63552299 HAS SOUS 14876888 HAS SOUPS 14804242 WITH SCORE 1.4874384754E7
AT ITER 1201 NEW BEST:: SOT 88479599 SOS 70149307 HAS SOPS 63551940 HAS SOUS 14863516 HAS SOUPS 14791332 WITH SCORE 1.4861481307E7
AT ITER 1205 NEW BEST:: SOT 88445044 SOS 70114752 HAS SOPS 63508217 HAS SOUS 14803377 HAS SOUPS 14731193 WITH SCORE 1.4801307752E7
AT ITER 1228 NEW BEST:: SOT 88440842 SOS 70110550 HAS SOPS 63504566 HAS SOUS 14803174 HAS SOUPS 14730990 WITH SCORE 1.480110055E7
AT ITER 1234 NEW BEST:: SOT 88416649 SOS 70087888 HAS SOPS 63487485 HAS SOUS 14780872 HAS SOUPS 14708514 WITH SCORE 1.4778601888E7
AT ITER 1235 NEW BEST:: SOT 88416645 SOS 70084114 HAS SOPS 63484645 HAS SOUS 14780746 HAS SOUPS 14708388 WITH SCORE 1.4778472114E7
AT ITER 1240 NEW BEST:: SOT 88413258 SOS 70080652 HAS SOPS 63476419 HAS SOUS 14764846 HAS SOUPS 14692488 WITH SCORE 1.4762568652E7
AT ITER 1243 NEW BEST:: SOT 88403648 SOS 70070983 HAS SOPS 63466002 HAS SOUS 14759432 HAS SOUPS 14687074 WITH SCORE 1.4757144983E7
AT ITER 1246 NEW BEST:: SOT 88404088 SOS 70010908 HAS SOPS 63408743 HAS SOUS 14759185 HAS SOUPS 14686827 WITH SCORE 1.4756837908E7
AT ITER 1247 NEW BEST:: SOT 88401321 SOS 70007747 HAS SOPS 63405884 HAS SOUS 14744050 HAS SOUPS 14671692 WITH SCORE 1.4741699747E7
AT ITER 1254 NEW BEST:: SOT 88401164 SOS 70007030 HAS SOPS 63401731 HAS SOUS 14739827 HAS SOUPS 14667509 WITH SCORE 1.473751603E7
AT ITER 1268 NEW BEST:: SOT 88401815 SOS 70007705 HAS SOPS 63402373 HAS SOUS 14739775 HAS SOUPS 14667457 WITH SCORE 1.4737464705E7
AT ITER 1271 NEW BEST:: SOT 88368829 SOS 69974667 HAS SOPS 63369316 HAS SOUS 14712413 HAS SOUPS 14640095 WITH SCORE 1.4710069667E7
AT ITER 1278 NEW BEST:: SOT 88368686 SOS 70007260 HAS SOPS 63403809 HAS SOUS 14712327 HAS SOUPS 14640045 WITH SCORE 1.471005226E7
AT ITER 1280 NEW BEST:: SOT 88367931 SOS 70006452 HAS SOPS 63402384 HAS SOUS 14711295 HAS SOUPS 14639013 WITH SCORE 1.4709019452E7
AT ITER 1294 NEW BEST:: SOT 88373102 SOS 70011789 HAS SOPS 63404646 HAS SOUS 14706831 HAS SOUPS 14634549 WITH SCORE 1.4704560789E7
AT ITER 1295 NEW BEST:: SOT 88364714 SOS 70003426 HAS SOPS 63393185 HAS SOUS 14704029 HAS SOUPS 14631747 WITH SCORE 1.4701750426E7
AT ITER 1307 NEW BEST:: SOT 88315456 SOS 69954225 HAS SOPS 63340681 HAS SOUS 14673136 HAS SOUPS 14600854 WITH SCORE 1.4670808225E7
AT ITER 1317 NEW BEST:: SOT 88314881 SOS 69953650 HAS SOPS 63340041 HAS SOUS 14672381 HAS SOUPS 14600099 WITH SCORE 1.467005265E7
AT ITER 1321 NEW BEST:: SOT 88306403 SOS 69945172 HAS SOPS 63331797 HAS SOUS 14665985 HAS SOUPS 14593703 WITH SCORE 1.4663648172E7
AT ITER 1325 NEW BEST:: SOT 88305982 SOS 69944008 HAS SOPS 63312116 HAS SOUS 14651750 HAS SOUPS 14579468 WITH SCORE 1.4649412008E7
AT ITER 1328 NEW BEST:: SOT 88303252 SOS 69941267 HAS SOPS 63308136 HAS SOUS 14645020 HAS SOUPS 14572738 WITH SCORE 1.4642679267E7
AT ITER 1331 NEW BEST:: SOT 88252906 SOS 69890987 HAS SOPS 63247753 HAS SOUS 14618118 HAS SOUPS 14545836 WITH SCORE 1.4615726987E7
AT ITER 1336 NEW BEST:: SOT 88224792 SOS 69861631 HAS SOPS 63207317 HAS SOUS 14605190 HAS SOUPS 14533020 WITH SCORE 1.4602881631E7
AT ITER 1345 NEW BEST:: SOT 88277405 SOS 69913236 HAS SOPS 63216789 HAS SOUS 14553617 HAS SOUPS 14481447 WITH SCORE 1.4551360236E7
AT ITER 1361 NEW BEST:: SOT 88275713 SOS 69911496 HAS SOPS 63214249 HAS SOUS 14552245 HAS SOUPS 14480079 WITH SCORE 1.4549990496E7
AT ITER 1371 NEW BEST:: SOT 88275638 SOS 69911421 HAS SOPS 63214171 HAS SOUS 14552113 HAS SOUPS 14479947 WITH SCORE 1.4549858421E7
AT ITER 1388 NEW BEST:: SOT 88282331 SOS 69918016 HAS SOPS 63220503 HAS SOUS 14548495 HAS SOUPS 14476329 WITH SCORE 1.4546247016E7
AT ITER 1389 NEW BEST:: SOT 88278568 SOS 69914202 HAS SOPS 63215059 HAS SOUS 14534320 HAS SOUPS 14462154 WITH SCORE 1.4532068202E7
AT ITER 1394 NEW BEST:: SOT 88252702 SOS 69888888 HAS SOPS 63191089 HAS SOUS 14532747 HAS SOUPS 14460581 WITH SCORE 1.4530469888E7
AT ITER 1398 NEW BEST:: SOT 88196336 SOS 69832485 HAS SOPS 63130218 HAS SOUS 14528332 HAS SOUPS 14456226 WITH SCORE 1.4526058485E7
AT ITER 1399 NEW BEST:: SOT 88196512 SOS 69830270 HAS SOPS 63131053 HAS SOUS 14528210 HAS SOUPS 14456140 WITH SCORE 1.452597027E7
AT ITER 1405 NEW BEST:: SOT 88195706 SOS 69829464 HAS SOPS 63130201 HAS SOUS 14526954 HAS SOUPS 14454884 WITH SCORE 1.4524713464E7
AT ITER 1415 NEW BEST:: SOT 88208849 SOS 69842608 HAS SOPS 63142243 HAS SOUS 14525580 HAS SOUPS 14453510 WITH SCORE 1.4523352608E7
AT ITER 1419 NEW BEST:: SOT 88301989 SOS 69935400 HAS SOPS 63224796 HAS SOUS 14516384 HAS SOUPS 14444393 WITH SCORE 1.45143284E7
AT ITER 1426 NEW BEST:: SOT 88319216 SOS 69952584 HAS SOPS 63240452 HAS SOUS 14514302 HAS SOUPS 14442311 WITH SCORE 1.4512263584E7
AT ITER 1435 NEW BEST:: SOT 88329292 SOS 69962545 HAS SOPS 63249537 HAS SOUS 14505926 HAS SOUPS 14433935 WITH SCORE 1.4503897545E7
AT ITER 1445 NEW BEST:: SOT 88329433 SOS 69957192 HAS SOPS 63244157 HAS SOUS 14505909 HAS SOUPS 14433918 WITH SCORE 1.4503875192E7
AT ITER 1449 NEW BEST:: SOT 88317918 SOS 69945724 HAS SOPS 63229352 HAS SOUS 14479631 HAS SOUPS 14407640 WITH SCORE 1.4477585724E7
AT ITER 1451 NEW BEST:: SOT 88312242 SOS 69939916 HAS SOPS 63219848 HAS SOUS 14469236 HAS SOUPS 14397245 WITH SCORE 1.4467184916E7
AT ITER 1479 NEW BEST:: SOT 88467999 SOS 70094875 HAS SOPS 63343037 HAS SOUS 14444611 HAS SOUPS 14372620 WITH SCORE 1.4442714875E7
AT ITER 1486 NEW BEST:: SOT 88468175 SOS 70074812 HAS SOPS 63322980 HAS SOUS 14444347 HAS SOUPS 14372356 WITH SCORE 1.4442430812E7
AT ITER 1502 NEW BEST:: SOT 88468175 SOS 70022770 HAS SOPS 63270938 HAS SOUS 14444320 HAS SOUPS 14372329 WITH SCORE 1.444235177E7
AT ITER 1507 NEW BEST:: SOT 88461194 SOS 70015789 HAS SOPS 63263957 HAS SOUS 14437339 HAS SOUPS 14365348 WITH SCORE 1.4435363789E7
AT ITER 1509 NEW BEST:: SOT 88447971 SOS 70002568 HAS SOPS 63252191 HAS SOUS 14433206 HAS SOUPS 14361215 WITH SCORE 1.4431217568E7
AT ITER 1522 NEW BEST:: SOT 88445324 SOS 69999841 HAS SOPS 63244678 HAS SOUS 14422848 HAS SOUPS 14350857 WITH SCORE 1.4420856841E7
AT ITER 1525 NEW BEST:: SOT 88464447 SOS 70019037 HAS SOPS 63239162 HAS SOUS 14398636 HAS SOUPS 14326645 WITH SCORE 1.4396664037E7
AT ITER 1535 NEW BEST:: SOT 88459193 SOS 70013911 HAS SOPS 63233990 HAS SOUS 14395496 HAS SOUPS 14323505 WITH SCORE 1.4393518911E7
AT ITER 1556 NEW BEST:: SOT 88417385 SOS 69971348 HAS SOPS 63186584 HAS SOUS 14342144 HAS SOUPS 14270153 WITH SCORE 1.4340124348E7
AT ITER 1559 NEW BEST:: SOT 88413142 SOS 69967108 HAS SOPS 63182300 HAS SOUS 14338027 HAS SOUPS 14266036 WITH SCORE 1.4336003108E7
AT ITER 1565 NEW BEST:: SOT 88413164 SOS 69960379 HAS SOPS 63176977 HAS SOUS 14337755 HAS SOUPS 14265829 WITH SCORE 1.4335789379E7
AT ITER 1570 NEW BEST:: SOT 88447213 SOS 69994343 HAS SOPS 63208939 HAS SOUS 14336053 HAS SOUPS 14264127 WITH SCORE 1.4334121343E7
AT ITER 1574 NEW BEST:: SOT 88435345 SOS 69982273 HAS SOPS 63196578 HAS SOUS 14324185 HAS SOUPS 14252259 WITH SCORE 1.4322241273E7
AT ITER 1578 NEW BEST:: SOT 88434481 SOS 69981409 HAS SOPS 63195110 HAS SOUS 14323705 HAS SOUPS 14251779 WITH SCORE 1.4321760409E7
AT ITER 1599 NEW BEST:: SOT 88446854 SOS 69993787 HAS SOPS 63206613 HAS SOUS 14308570 HAS SOUPS 14236644 WITH SCORE 1.4306637787E7
AT ITER 1606 NEW BEST:: SOT 88415376 SOS 69962160 HAS SOPS 63171122 HAS SOUS 14272398 HAS SOUPS 14200472 WITH SCORE 1.427043416E7
AT ITER 1610 NEW BEST:: SOT 88385194 SOS 69932034 HAS SOPS 63141565 HAS SOUS 14263405 HAS SOUPS 14191479 WITH SCORE 1.4261411034E7
AT ITER 1615 NEW BEST:: SOT 88385638 SOS 69932478 HAS SOPS 63141943 HAS SOUS 14263393 HAS SOUPS 14191467 WITH SCORE 1.4261399478E7
AT ITER 1624 NEW BEST:: SOT 88393331 SOS 69940122 HAS SOPS 63149636 HAS SOUS 14258285 HAS SOUPS 14186359 WITH SCORE 1.4256299122E7
AT ITER 1640 NEW BEST:: SOT 88498708 SOS 70045776 HAS SOPS 63234536 HAS SOUS 14257377 HAS SOUPS 14185451 WITH SCORE 1.4255496776E7
AT ITER 1642 NEW BEST:: SOT 88495356 SOS 70042366 HAS SOPS 63229959 HAS SOUS 14238090 HAS SOUPS 14166164 WITH SCORE 1.4236206366E7
AT ITER 1650 NEW BEST:: SOT 88495380 SOS 70042390 HAS SOPS 63233725 HAS SOUS 14234933 HAS SOUPS 14163007 WITH SCORE 1.423304939E7
AT ITER 1659 NEW BEST:: SOT 88495345 SOS 70047037 HAS SOPS 63237375 HAS SOUS 14234867 HAS SOUPS 14162941 WITH SCORE 1.4232988037E7
AT ITER 1667 NEW BEST:: SOT 88478419 SOS 70030208 HAS SOPS 63219764 HAS SOUS 14217626 HAS SOUPS 14145700 WITH SCORE 1.4215730208E7
AT ITER 1671 NEW BEST:: SOT 88477160 SOS 69811568 HAS SOPS 63190903 HAS SOUS 14216074 HAS SOUPS 14144085 WITH SCORE 1.4213896568E7
AT ITER 1673 NEW BEST:: SOT 88476005 SOS 69810400 HAS SOPS 63189879 HAS SOUS 14215170 HAS SOUPS 14143181 WITH SCORE 1.42129914E7
AT ITER 1684 NEW BEST:: SOT 88475539 SOS 69934907 HAS SOPS 63314502 HAS SOUS 14215015 HAS SOUPS 14143026 WITH SCORE 1.4212960907E7
AT ITER 1691 NEW BEST:: SOT 88475070 SOS 69934425 HAS SOPS 63313818 HAS SOUS 14214404 HAS SOUPS 14142416 WITH SCORE 1.4212350425E7
AT ITER 1699 NEW BEST:: SOT 88434191 SOS 69893510 HAS SOPS 63278498 HAS SOUS 14214054 HAS SOUPS 14142009 WITH SCORE 1.421190251E7
AT ITER 1700 NEW BEST:: SOT 88422944 SOS 69882170 HAS SOPS 63266855 HAS SOUS 14198270 HAS SOUPS 14126225 WITH SCORE 1.419610717E7
AT ITER 1710 NEW BEST:: SOT 88412824 SOS 69872050 HAS SOPS 63256995 HAS SOUS 14196235 HAS SOUPS 14124190 WITH SCORE 1.419406205E7
AT ITER 1734 NEW BEST:: SOT 88432065 SOS 69948560 HAS SOPS 63339746 HAS SOUS 14184232 HAS SOUPS 14112256 WITH SCORE 1.418220456E7
AT ITER 1740 NEW BEST:: SOT 88480356 SOS 69996704 HAS SOPS 63381340 HAS SOUS 14182837 HAS SOUPS 14110861 WITH SCORE 1.4180857704E7
AT ITER 1743 NEW BEST:: SOT 88490916 SOS 70007385 HAS SOPS 63390560 HAS SOUS 14182672 HAS SOUPS 14110696 WITH SCORE 1.4180703385E7
AT ITER 1751 NEW BEST:: SOT 88490277 SOS 70006737 HAS SOPS 63389948 HAS SOUS 14182219 HAS SOUPS 14110243 WITH SCORE 1.4180249737E7
AT ITER 1755 NEW BEST:: SOT 88482638 SOS 69998771 HAS SOPS 63379583 HAS SOUS 14174238 HAS SOUPS 14102262 WITH SCORE 1.4172260771E7
AT ITER 1767 NEW BEST:: SOT 88484474 SOS 70000709 HAS SOPS 63380909 HAS SOUS 14171127 HAS SOUPS 14099151 WITH SCORE 1.4169151709E7
AT ITER 1771 NEW BEST:: SOT 88482534 SOS 69998764 HAS SOPS 63378969 HAS SOUS 14168742 HAS SOUPS 14096766 WITH SCORE 1.4166764764E7
AT ITER 1777 NEW BEST:: SOT 88468481 SOS 69984654 HAS SOPS 63363757 HAS SOUS 14158524 HAS SOUPS 14086548 WITH SCORE 1.4156532654E7
AT ITER 1780 NEW BEST:: SOT 88505075 SOS 70021138 HAS SOPS 63387529 HAS SOUS 14157933 HAS SOUPS 14085957 WITH SCORE 1.4155978138E7
AT ITER 1781 NEW BEST:: SOT 88508343 SOS 70024281 HAS SOPS 63389075 HAS SOUS 14155677 HAS SOUPS 14083768 WITH SCORE 1.4153792281E7
AT ITER 1787 NEW BEST:: SOT 88494104 SOS 70009897 HAS SOPS 63374367 HAS SOUS 14136407 HAS SOUPS 14064498 WITH SCORE 1.4134507897E7
AT ITER 1795 NEW BEST:: SOT 88494149 SOS 69930490 HAS SOPS 63294596 HAS SOUS 14136205 HAS SOUPS 14064296 WITH SCORE 1.413422649E7
AT ITER 1797 NEW BEST:: SOT 88493876 SOS 69933245 HAS SOPS 63296977 HAS SOUS 14135946 HAS SOUPS 14064037 WITH SCORE 1.4133970245E7
AT ITER 1805 NEW BEST:: SOT 88468368 SOS 69907626 HAS SOPS 63266133 HAS SOUS 14099549 HAS SOUPS 14027640 WITH SCORE 1.4097547626E7
AT ITER 1807 NEW BEST:: SOT 88485521 SOS 69924580 HAS SOPS 63278192 HAS SOUS 14083998 HAS SOUPS 14012094 WITH SCORE 1.408201858E7
AT ITER 1812 NEW BEST:: SOT 88485996 SOS 69925090 HAS SOPS 63278684 HAS SOUS 14083776 HAS SOUPS 14011872 WITH SCORE 1.408179709E7
AT ITER 1815 NEW BEST:: SOT 88504147 SOS 69943180 HAS SOPS 63296771 HAS SOUS 14078444 HAS SOUPS 14006536 WITH SCORE 1.407647918E7
AT ITER 1816 NEW BEST:: SOT 88503348 SOS 69942221 HAS SOPS 63292653 HAS SOUS 14077716 HAS SOUPS 14005808 WITH SCORE 1.4075750221E7
AT ITER 1822 NEW BEST:: SOT 88495594 SOS 69934423 HAS SOPS 63284905 HAS SOUS 14066412 HAS SOUPS 13994504 WITH SCORE 1.4064438423E7
AT ITER 1834 NEW BEST:: SOT 88465861 SOS 69904889 HAS SOPS 63256946 HAS SOUS 14058596 HAS SOUPS 13986688 WITH SCORE 1.4056592889E7
AT ITER 1845 NEW BEST:: SOT 88467517 SOS 69906509 HAS SOPS 63258374 HAS SOUS 14058182 HAS SOUPS 13986274 WITH SCORE 1.4056180509E7
AT ITER 1857 NEW BEST:: SOT 88466557 SOS 69905549 HAS SOPS 63257438 HAS SOUS 14057723 HAS SOUPS 13985815 WITH SCORE 1.4055720549E7
AT ITER 1860 NEW BEST:: SOT 88466557 SOS 69911355 HAS SOPS 63262793 HAS SOUS 14057657 HAS SOUPS 13985738 WITH SCORE 1.4055649355E7
AT ITER 1877 NEW BEST:: SOT 88528473 SOS 69972205 HAS SOPS 63317699 HAS SOUS 14019188 HAS SOUPS 13947269 WITH SCORE 1.4017241205E7
AT ITER 1891 NEW BEST:: SOT 88528473 SOS 69913746 HAS SOPS 63259240 HAS SOUS 14019180 HAS SOUPS 13947261 WITH SCORE 1.4017174746E7
AT ITER 1893 NEW BEST:: SOT 88528313 SOS 69913570 HAS SOPS 63258696 HAS SOUS 14016428 HAS SOUPS 13944509 WITH SCORE 1.401442257E7
AT ITER 1897 NEW BEST:: SOT 88592969 SOS 69984144 HAS SOPS 63316626 HAS SOUS 13961074 HAS SOUPS 13889439 WITH SCORE 1.3959423144E7
AT ITER 1906 NEW BEST:: SOT 88592625 SOS 69983800 HAS SOPS 63316332 HAS SOUS 13960978 HAS SOUPS 13889343 WITH SCORE 1.39593268E7
AT ITER 1908 NEW BEST:: SOT 88592625 SOS 69957439 HAS SOPS 63292859 HAS SOUS 13960959 HAS SOUPS 13889362 WITH SCORE 1.3959319439E7
AT ITER 1914 NEW BEST:: SOT 88656826 SOS 70021544 HAS SOPS 63361492 HAS SOUS 13958860 HAS SOUPS 13887263 WITH SCORE 1.3957284544E7
AT ITER 1922 NEW BEST:: SOT 88634701 SOS 69999210 HAS SOPS 63337286 HAS SOUS 13946160 HAS SOUPS 13874563 WITH SCORE 1.394456221E7
AT ITER 1925 NEW BEST:: SOT 88666113 SOS 70030274 HAS SOPS 63364135 HAS SOUS 13920083 HAS SOUPS 13850686 WITH SCORE 1.3920716274E7
AT ITER 1938 NEW BEST:: SOT 88692441 SOS 70055910 HAS SOPS 63380032 HAS SOUS 13862041 HAS SOUPS 13792644 WITH SCORE 1.386269991E7
AT ITER 1953 NEW BEST:: SOT 88692273 SOS 70055742 HAS SOPS 63379864 HAS SOUS 13861945 HAS SOUPS 13792548 WITH SCORE 1.3862603742E7
AT ITER 1971 NEW BEST:: SOT 88696738 SOS 70061484 HAS SOPS 63385258 HAS SOUS 13860141 HAS SOUPS 13790760 WITH SCORE 1.3860821484E7
AT ITER 1994 NEW BEST:: SOT 88660487 SOS 70025291 HAS SOPS 63349024 HAS SOUS 13828113 HAS SOUPS 13758732 WITH SCORE 1.3828757291E7
AT ITER 1998 NEW BEST:: SOT 88644478 SOS 70009187 HAS SOPS 63335752 HAS SOUS 13819306 HAS SOUPS 13749925 WITH SCORE 1.3819934187E7
AT ITER 1999 NEW BEST:: SOT 88680273 SOS 70045075 HAS SOPS 63383595 HAS SOUS 13799807 HAS SOUPS 13730426 WITH SCORE 1.3800471075E7
AT ITER 2018 NEW BEST:: SOT 88671791 SOS 70036413 HAS SOPS 63373482 HAS SOUS 13776375 HAS SOUPS 13706994 WITH SCORE 1.3777030413E7
AT ITER 2019 NEW BEST:: SOT 88666439 SOS 70030849 HAS SOPS 63367438 HAS SOUS 13767090 HAS SOUPS 13697780 WITH SCORE 1.3767810849E7
AT ITER 2036 NEW BEST:: SOT 88661082 SOS 70025211 HAS SOPS 63360486 HAS SOUS 13765534 HAS SOUPS 13696256 WITH SCORE 1.3766281211E7
AT ITER 2050 NEW BEST:: SOT 88644913 SOS 70009131 HAS SOPS 63341164 HAS SOUS 13750570 HAS SOUPS 13681292 WITH SCORE 1.3751301131E7
AT ITER 2053 NEW BEST:: SOT 88640086 SOS 70004291 HAS SOPS 63337054 HAS SOUS 13749552 HAS SOUPS 13680274 WITH SCORE 1.3750278291E7
AT ITER 2074 NEW BEST:: SOT 88638491 SOS 70002667 HAS SOPS 63335111 HAS SOUS 13746043 HAS SOUPS 13676765 WITH SCORE 1.3746767667E7
AT ITER 2087 NEW BEST:: SOT 88640051 SOS 70004214 HAS SOPS 63337936 HAS SOUS 13745887 HAS SOUPS 13676609 WITH SCORE 1.3746613214E7
AT ITER 2091 NEW BEST:: SOT 88634106 SOS 69998182 HAS SOPS 63330918 HAS SOUS 13732315 HAS SOUPS 13663037 WITH SCORE 1.3733035182E7
AT ITER 2100 NEW BEST:: SOT 88633354 SOS 69997438 HAS SOPS 63330158 HAS SOUS 13731891 HAS SOUPS 13662613 WITH SCORE 1.3732610438E7
AT ITER 2102 NEW BEST:: SOT 88661082 SOS 70024863 HAS SOPS 63331451 HAS SOUS 13697062 HAS SOUPS 13627784 WITH SCORE 1.3697808863E7
AT ITER 2111 NEW BEST:: SOT 88663002 SOS 70026791 HAS SOPS 63333379 HAS SOUS 13696710 HAS SOUPS 13627432 WITH SCORE 1.3697458791E7
AT ITER 2123 NEW BEST:: SOT 88662454 SOS 70026168 HAS SOPS 63333704 HAS SOUS 13688793 HAS SOUPS 13619515 WITH SCORE 1.3689541168E7
AT ITER 2131 NEW BEST:: SOT 88658964 SOS 70022636 HAS SOPS 63329638 HAS SOUS 13676665 HAS SOUPS 13607387 WITH SCORE 1.3677409636E7
AT ITER 2136 NEW BEST:: SOT 88657501 SOS 70021135 HAS SOPS 63327244 HAS SOUS 13669920 HAS SOUPS 13600642 WITH SCORE 1.3670663135E7
AT ITER 2140 NEW BEST:: SOT 88655829 SOS 70019452 HAS SOPS 63325033 HAS SOUS 13665080 HAS SOUPS 13595802 WITH SCORE 1.3665821452E7
AT ITER 2141 NEW BEST:: SOT 88656152 SOS 70019775 HAS SOPS 63325327 HAS SOUS 13664900 HAS SOUPS 13595622 WITH SCORE 1.3665641775E7
AT ITER 2151 NEW BEST:: SOT 88658602 SOS 70022141 HAS SOPS 63327459 HAS SOUS 13663766 HAS SOUPS 13594488 WITH SCORE 1.3664510141E7
AT ITER 2180 NEW BEST:: SOT 88592961 SOS 69956475 HAS SOPS 63269588 HAS SOUS 13651977 HAS SOUPS 13582699 WITH SCORE 1.3652655475E7
AT ITER 2182 NEW BEST:: SOT 88561988 SOS 69925264 HAS SOPS 63235025 HAS SOUS 13620254 HAS SOUPS 13550976 WITH SCORE 1.3620901264E7
AT ITER 2191 NEW BEST:: SOT 88584077 SOS 69947337 HAS SOPS 63252021 HAS SOUS 13600714 HAS SOUPS 13531436 WITH SCORE 1.3601383337E7
AT ITER 2195 NEW BEST:: SOT 88597400 SOS 69960226 HAS SOPS 63263978 HAS SOUS 13600020 HAS SOUPS 13530742 WITH SCORE 1.3600702226E7
AT ITER 2196 NEW BEST:: SOT 88564106 SOS 69926837 HAS SOPS 63224626 HAS SOUS 13579472 HAS SOUPS 13510139 WITH SCORE 1.3580065837E7
AT ITER 2200 NEW BEST:: SOT 88556079 SOS 69918810 HAS SOPS 63214038 HAS SOUS 13562444 HAS SOUPS 13493111 WITH SCORE 1.356302981E7
AT ITER 2217 NEW BEST:: SOT 88557339 SOS 69920010 HAS SOPS 63215196 HAS SOUS 13562181 HAS SOUPS 13492848 WITH SCORE 1.356276801E7
AT ITER 2220 NEW BEST:: SOT 88557319 SOS 69920056 HAS SOPS 63214790 HAS SOUS 13556129 HAS SOUPS 13486796 WITH SCORE 1.3556716056E7
AT ITER 2225 NEW BEST:: SOT 88537070 SOS 69899078 HAS SOPS 63183652 HAS SOUS 13496204 HAS SOUPS 13426871 WITH SCORE 1.3496770078E7
AT ITER 2234 NEW BEST:: SOT 88538795 SOS 69900699 HAS SOPS 63184625 HAS SOUS 13495848 HAS SOUPS 13426515 WITH SCORE 1.3496415699E7
AT ITER 2247 NEW BEST:: SOT 88531383 SOS 69893114 HAS SOPS 63170657 HAS SOUS 13475659 HAS SOUPS 13406326 WITH SCORE 1.3476219114E7
AT ITER 2252 NEW BEST:: SOT 88505790 SOS 69867466 HAS SOPS 63147530 HAS SOUS 13472385 HAS SOUPS 13403052 WITH SCORE 1.3472919466E7
AT ITER 2260 NEW BEST:: SOT 88501388 SOS 69863056 HAS SOPS 63143107 HAS SOUS 13470043 HAS SOUPS 13400710 WITH SCORE 1.3470573056E7
AT ITER 2298 NEW BEST:: SOT 88485956 SOS 69847624 HAS SOPS 63129067 HAS SOUS 13451037 HAS SOUPS 13381704 WITH SCORE 1.3451551624E7
AT ITER 2301 NEW BEST:: SOT 88467442 SOS 69829042 HAS SOPS 63103319 HAS SOUS 13412513 HAS SOUPS 13343180 WITH SCORE 1.3413009042E7
AT ITER 2317 NEW BEST:: SOT 88397584 SOS 69759670 HAS SOPS 63035135 HAS SOUS 13407604 HAS SOUPS 13338271 WITH SCORE 1.340803067E7
AT ITER 2326 NEW BEST:: SOT 88396789 SOS 69758842 HAS SOPS 63034199 HAS SOUS 13403205 HAS SOUPS 13333872 WITH SCORE 1.3403630842E7
AT ITER 2334 NEW BEST:: SOT 88395129 SOS 69757142 HAS SOPS 63031819 HAS SOUS 13396745 HAS SOUPS 13327412 WITH SCORE 1.3397169142E7
AT ITER 2336 NEW BEST:: SOT 88387480 SOS 69749358 HAS SOPS 63023673 HAS SOUS 13370113 HAS SOUPS 13300785 WITH SCORE 1.3370534358E7
AT ITER 2357 NEW BEST:: SOT 88395879 SOS 69757712 HAS SOPS 63031473 HAS SOUS 13369764 HAS SOUPS 13300440 WITH SCORE 1.3370197712E7
AT ITER 2359 NEW BEST:: SOT 88396656 SOS 69758462 HAS SOPS 63032128 HAS SOUS 13368165 HAS SOUPS 13298841 WITH SCORE 1.3368599462E7
AT ITER 2360 NEW BEST:: SOT 88395622 SOS 69757323 HAS SOPS 63030949 HAS SOUS 13366023 HAS SOUPS 13296699 WITH SCORE 1.3366456323E7
AT ITER 2366 NEW BEST:: SOT 88395592 SOS 69828826 HAS SOPS 63098570 HAS SOUS 13365749 HAS SOUPS 13296425 WITH SCORE 1.3366253826E7
AT ITER 2373 NEW BEST:: SOT 88438815 SOS 69871526 HAS SOPS 63130080 HAS SOUS 13349372 HAS SOUPS 13280048 WITH SCORE 1.3349919526E7
AT ITER 2378 NEW BEST:: SOT 88429413 SOS 69862161 HAS SOPS 63120860 HAS SOUS 13344202 HAS SOUPS 13274878 WITH SCORE 1.3344740161E7
AT ITER 2385 NEW BEST:: SOT 88426743 SOS 69692640 HAS SOPS 62951582 HAS SOUS 13341445 HAS SOUPS 13272121 WITH SCORE 1.334181364E7
AT ITER 2390 NEW BEST:: SOT 88472976 SOS 69738624 HAS SOPS 62986785 HAS SOUS 13337725 HAS SOUPS 13268401 WITH SCORE 1.3338139624E7
AT ITER 2395 NEW BEST:: SOT 88460012 SOS 69725602 HAS SOPS 62970591 HAS SOUS 13322667 HAS SOUPS 13253343 WITH SCORE 1.3323068602E7
AT ITER 2402 NEW BEST:: SOT 88443347 SOS 69709002 HAS SOPS 62954411 HAS SOUS 13317835 HAS SOUPS 13248511 WITH SCORE 1.3318220002E7
AT ITER 2418 NEW BEST:: SOT 88441115 SOS 69744169 HAS SOPS 62950693 HAS SOUS 13316534 HAS SOUPS 13247560 WITH SCORE 1.3317304169E7
AT ITER 2431 NEW BEST:: SOT 88377282 SOS 69680193 HAS SOPS 62884869 HAS SOUS 13276651 HAS SOUPS 13207677 WITH SCORE 1.3277357193E7
AT ITER 2434 NEW BEST:: SOT 88395128 SOS 69697450 HAS SOPS 62898185 HAS SOUS 13274440 HAS SOUPS 13205466 WITH SCORE 1.327516345E7
AT ITER 2448 NEW BEST:: SOT 88396313 SOS 69701273 HAS SOPS 62900375 HAS SOUS 13258387 HAS SOUPS 13189421 WITH SCORE 1.3259122273E7
AT ITER 2468 NEW BEST:: SOT 88430893 SOS 69735645 HAS SOPS 62930895 HAS SOUS 13232411 HAS SOUPS 13163445 WITH SCORE 1.3233180645E7
AT ITER 2472 NEW BEST:: SOT 88380079 SOS 69684523 HAS SOPS 62871667 HAS SOUS 13179718 HAS SOUPS 13110752 WITH SCORE 1.3180436523E7
AT ITER 2474 NEW BEST:: SOT 88364928 SOS 69669341 HAS SOPS 62856443 HAS SOUS 13175730 HAS SOUPS 13106764 WITH SCORE 1.3176433341E7
AT ITER 2486 NEW BEST:: SOT 88357846 SOS 69662211 HAS SOPS 62849603 HAS SOUS 13163016 HAS SOUPS 13094567 WITH SCORE 1.3164229211E7
AT ITER 2492 NEW BEST:: SOT 88361869 SOS 69701585 HAS SOPS 62889180 HAS SOUS 13161628 HAS SOUPS 13093208 WITH SCORE 1.3162909585E7
AT ITER 2513 NEW BEST:: SOT 88361514 SOS 69701230 HAS SOPS 62888824 HAS SOUS 13161385 HAS SOUPS 13092965 WITH SCORE 1.316266623E7
AT ITER 2533 NEW BEST:: SOT 88360356 SOS 69700078 HAS SOPS 62887948 HAS SOUS 13161067 HAS SOUPS 13092647 WITH SCORE 1.3162347078E7
AT ITER 2551 NEW BEST:: SOT 88355342 SOS 69695154 HAS SOPS 62885111 HAS SOUS 13152827 HAS SOUPS 13084407 WITH SCORE 1.3154102154E7
AT ITER 2558 NEW BEST:: SOT 88351430 SOS 69691225 HAS SOPS 62881493 HAS SOUS 13149423 HAS SOUPS 13081003 WITH SCORE 1.3150694225E7
AT ITER 2559 NEW BEST:: SOT 88453264 SOS 69792715 HAS SOPS 62981263 HAS SOUS 13144182 HAS SOUPS 13075817 WITH SCORE 1.3145609715E7
AT ITER 2561 NEW BEST:: SOT 88456021 SOS 69795394 HAS SOPS 62982682 HAS SOUS 13137963 HAS SOUPS 13069625 WITH SCORE 1.3139420394E7
AT ITER 2571 NEW BEST:: SOT 88443451 SOS 69782594 HAS SOPS 62964028 HAS SOUS 13135018 HAS SOUPS 13066680 WITH SCORE 1.3136462594E7
AT ITER 2578 NEW BEST:: SOT 88443077 SOS 69782237 HAS SOPS 62963654 HAS SOUS 13134508 HAS SOUPS 13066170 WITH SCORE 1.3135952237E7
AT ITER 2581 NEW BEST:: SOT 88445397 SOS 69784407 HAS SOPS 62965174 HAS SOUS 13131218 HAS SOUPS 13062880 WITH SCORE 1.3132664407E7
AT ITER 2584 NEW BEST:: SOT 88421101 SOS 69760105 HAS SOPS 62940743 HAS SOUS 13126097 HAS SOUPS 13057759 WITH SCORE 1.3127519105E7
AT ITER 2592 NEW BEST:: SOT 88394216 SOS 69732879 HAS SOPS 62903010 HAS SOUS 13065869 HAS SOUPS 12997531 WITH SCORE 1.3067263879E7
AT ITER 2603 NEW BEST:: SOT 88404166 SOS 69742986 HAS SOPS 62908838 HAS SOUS 13048365 HAS SOUPS 12980027 WITH SCORE 1.3049769986E7
AT ITER 2634 NEW BEST:: SOT 88409296 SOS 69748046 HAS SOPS 62911748 HAS SOUS 13042393 HAS SOUPS 12974055 WITH SCORE 1.3043803046E7
AT ITER 2636 NEW BEST:: SOT 88412828 SOS 69751466 HAS SOPS 62914680 HAS SOUS 13037331 HAS SOUPS 12968993 WITH SCORE 1.3038744466E7
AT ITER 2687 NEW BEST:: SOT 88412042 SOS 69750910 HAS SOPS 62913486 HAS SOUS 13032288 HAS SOUPS 12963927 WITH SCORE 1.303367791E7
AT ITER 2722 NEW BEST:: SOT 88413379 SOS 69752210 HAS SOPS 62914032 HAS SOUS 13026781 HAS SOUPS 12958420 WITH SCORE 1.302817221E7
AT ITER 2726 NEW BEST:: SOT 88222889 SOS 69594880 HAS SOPS 62791566 HAS SOUS 13016413 HAS SOUPS 12948052 WITH SCORE 1.301764688E7
AT ITER 2727 NEW BEST:: SOT 88222878 SOS 69522462 HAS SOPS 62719148 HAS SOUS 13016305 HAS SOUPS 12947944 WITH SCORE 1.3017466462E7
AT ITER 2733 NEW BEST:: SOT 88222563 SOS 69522147 HAS SOPS 62718833 HAS SOUS 13015855 HAS SOUPS 12947494 WITH SCORE 1.3017016147E7
AT ITER 2734 NEW BEST:: SOT 88221080 SOS 69520589 HAS SOPS 62716315 HAS SOUS 13001187 HAS SOUPS 12932826 WITH SCORE 1.3002346589E7
AT ITER 2739 NEW BEST:: SOT 88214910 SOS 69514326 HAS SOPS 62708709 HAS SOUS 12996695 HAS SOUPS 12928334 WITH SCORE 1.2997848326E7
AT ITER 2741 NEW BEST:: SOT 88212990 SOS 69512412 HAS SOPS 62706573 HAS SOUS 12994655 HAS SOUPS 12926294 WITH SCORE 1.2995806412E7
AT ITER 2743 NEW BEST:: SOT 88211075 SOS 69510492 HAS SOPS 62704648 HAS SOUS 12992740 HAS SOUPS 12924379 WITH SCORE 1.2993889492E7
AT ITER 2744 NEW BEST:: SOT 88207041 SOS 69506042 HAS SOPS 62695154 HAS SOUS 12992564 HAS SOUPS 12924239 WITH SCORE 1.2993745042E7
AT ITER 2745 NEW BEST:: SOT 88169516 SOS 69468551 HAS SOPS 62656474 HAS SOUS 12973728 HAS SOUPS 12905403 WITH SCORE 1.2974871551E7
AT ITER 2750 NEW BEST:: SOT 88167016 SOS 69466083 HAS SOPS 62654296 HAS SOUS 12972536 HAS SOUPS 12904201 WITH SCORE 1.2973667083E7
AT ITER 2766 NEW BEST:: SOT 88168017 SOS 69467073 HAS SOPS 62654648 HAS SOUS 12970226 HAS SOUPS 12901891 WITH SCORE 1.2971358073E7
AT ITER 2774 NEW BEST:: SOT 88167037 SOS 69466093 HAS SOPS 62653640 HAS SOUS 12969588 HAS SOUPS 12901253 WITH SCORE 1.2970719093E7
AT ITER 2801 NEW BEST:: SOT 88167986 SOS 69467018 HAS SOPS 62650775 HAS SOUS 12948343 HAS SOUPS 12880019 WITH SCORE 1.2949486018E7
AT ITER 2807 NEW BEST:: SOT 88167947 SOS 69466884 HAS SOPS 62649649 HAS SOUS 12948304 HAS SOUPS 12879980 WITH SCORE 1.2949446884E7
AT ITER 2828 NEW BEST:: SOT 88178380 SOS 69477540 HAS SOPS 62669419 HAS SOUS 12944027 HAS SOUPS 12875703 WITH SCORE 1.294518054E7
AT ITER 2830 NEW BEST:: SOT 88184801 SOS 69483065 HAS SOPS 62666706 HAS SOUS 12930198 HAS SOUPS 12861874 WITH SCORE 1.2931357065E7
AT ITER 2839 NEW BEST:: SOT 88179994 SOS 69478277 HAS SOPS 62662014 HAS SOUS 12928822 HAS SOUPS 12860498 WITH SCORE 1.2929976277E7
AT ITER 2847 NEW BEST:: SOT 88189109 SOS 69487269 HAS SOPS 62669073 HAS SOUS 12926681 HAS SOUPS 12858398 WITH SCORE 1.2927885269E7
AT ITER 2853 NEW BEST:: SOT 88088782 SOS 69396811 HAS SOPS 62584957 HAS SOUS 12915781 HAS SOUPS 12847498 WITH SCORE 1.2916894811E7
AT ITER 2872 NEW BEST:: SOT 88087143 SOS 69395565 HAS SOPS 62585646 HAS SOUS 12909963 HAS SOUPS 12841647 WITH SCORE 1.2911042565E7
AT ITER 2881 NEW BEST:: SOT 88087211 SOS 69395633 HAS SOPS 62585661 HAS SOUS 12909422 HAS SOUPS 12841106 WITH SCORE 1.2910501633E7
AT ITER 2883 NEW BEST:: SOT 88086622 SOS 69394982 HAS SOPS 62583863 HAS SOUS 12906310 HAS SOUPS 12837994 WITH SCORE 1.2907388982E7
AT ITER 2887 NEW BEST:: SOT 88086568 SOS 69356182 HAS SOPS 62545063 HAS SOUS 12906259 HAS SOUPS 12837943 WITH SCORE 1.2907299182E7
AT ITER 2888 NEW BEST:: SOT 88095760 SOS 69365254 HAS SOPS 62553031 HAS SOUS 12903907 HAS SOUPS 12835591 WITH SCORE 1.2904956254E7
AT ITER 2915 NEW BEST:: SOT 88102538 SOS 69371672 HAS SOPS 62550715 HAS SOUS 12851607 HAS SOUPS 12783291 WITH SCORE 1.2852662672E7
AT ITER 2917 NEW BEST:: SOT 88097744 SOS 69366926 HAS SOPS 62545222 HAS SOUS 12849772 HAS SOUPS 12781456 WITH SCORE 1.2850822926E7
AT ITER 2927 NEW BEST:: SOT 88097744 SOS 69314157 HAS SOPS 62494028 HAS SOUS 12849602 HAS SOUPS 12781286 WITH SCORE 1.2850600157E7
AT ITER 2929 NEW BEST:: SOT 88087253 SOS 69303653 HAS SOPS 62483067 HAS SOUS 12832650 HAS SOUPS 12764327 WITH SCORE 1.2833630653E7
AT ITER 2942 NEW BEST:: SOT 88085941 SOS 69302313 HAS SOPS 62482246 HAS SOUS 12830764 HAS SOUPS 12762489 WITH SCORE 1.2831791313E7
AT ITER 2955 NEW BEST:: SOT 88085653 SOS 69302007 HAS SOPS 62481715 HAS SOUS 12827965 HAS SOUPS 12759690 WITH SCORE 1.2828992007E7
AT ITER 2985 NEW BEST:: SOT 88085314 SOS 69301645 HAS SOPS 62478753 HAS SOUS 12816533 HAS SOUPS 12748258 WITH SCORE 1.2817559645E7
AT ITER 3013 NEW BEST:: SOT 88085314 SOS 69353217 HAS SOPS 62522933 HAS SOUS 12816601 HAS SOUPS 12748172 WITH SCORE 1.2817525217E7
AT ITER 3016 NEW BEST:: SOT 88084308 SOS 69352161 HAS SOPS 62521829 HAS SOUS 12814259 HAS SOUPS 12745830 WITH SCORE 1.2815182161E7
AT ITER 3026 NEW BEST:: SOT 88116919 SOS 69384480 HAS SOPS 62547538 HAS SOUS 12786388 HAS SOUPS 12717959 WITH SCORE 1.278734348E7
AT ITER 3079 NEW BEST:: SOT 88161615 SOS 69429000 HAS SOPS 62578624 HAS SOUS 12744038 HAS SOUPS 12675609 WITH SCORE 1.2745038E7
AT ITER 3085 NEW BEST:: SOT 88161665 SOS 69422270 HAS SOPS 62572734 HAS SOUS 12744013 HAS SOUPS 12675594 WITH SCORE 1.274501627E7
AT ITER 3092 NEW BEST:: SOT 88155558 SOS 69416017 HAS SOPS 62566276 HAS SOUS 12725723 HAS SOUPS 12657304 WITH SCORE 1.2726720017E7
AT ITER 3094 NEW BEST:: SOT 88181476 SOS 69441284 HAS SOPS 62587648 HAS SOUS 12715755 HAS SOUPS 12647336 WITH SCORE 1.2716777284E7
AT ITER 3110 NEW BEST:: SOT 88187835 SOS 69447609 HAS SOPS 62594811 HAS SOUS 12712758 HAS SOUPS 12644339 WITH SCORE 1.2713786609E7
AT ITER 3111 NEW BEST:: SOT 88187247 SOS 69438034 HAS SOPS 62585256 HAS SOUS 12712749 HAS SOUPS 12644330 WITH SCORE 1.2713768034E7
AT ITER 3125 NEW BEST:: SOT 88185543 SOS 69436286 HAS SOPS 62582716 HAS SOUS 12706645 HAS SOUPS 12638226 WITH SCORE 1.2707662286E7
AT ITER 3129 NEW BEST:: SOT 88160024 SOS 69410603 HAS SOPS 62553948 HAS SOUS 12656271 HAS SOUPS 12587852 WITH SCORE 1.2657262603E7
AT ITER 3142 NEW BEST:: SOT 88146699 SOS 69397331 HAS SOPS 62540016 HAS SOUS 12650457 HAS SOUPS 12582038 WITH SCORE 1.2651435331E7
AT ITER 3149 NEW BEST:: SOT 88151160 SOS 69401759 HAS SOPS 62543901 HAS SOUS 12645948 HAS SOUPS 12577562 WITH SCORE 1.2646963759E7
AT ITER 3152 NEW BEST:: SOT 88156836 SOS 69407229 HAS SOPS 62544788 HAS SOUS 12635184 HAS SOUPS 12566798 WITH SCORE 1.2636205229E7
AT ITER 3162 NEW BEST:: SOT 88156836 SOS 69404442 HAS SOPS 62542001 HAS SOUS 12635181 HAS SOUPS 12566795 WITH SCORE 1.2636199442E7
AT ITER 3168 NEW BEST:: SOT 88139846 SOS 69387452 HAS SOPS 62526113 HAS SOUS 12625921 HAS SOUPS 12557535 WITH SCORE 1.2626922452E7
AT ITER 3183 NEW BEST:: SOT 88139846 SOS 69380540 HAS SOPS 62617091 HAS SOUS 12625725 HAS SOUPS 12557417 WITH SCORE 1.262679754E7
AT ITER 3214 NEW BEST:: SOT 88137353 SOS 69378084 HAS SOPS 62615472 HAS SOUS 12622191 HAS SOUPS 12553883 WITH SCORE 1.2623261084E7
AT ITER 3221 NEW BEST:: SOT 88137175 SOS 69377890 HAS SOPS 62615166 HAS SOUS 12621157 HAS SOUPS 12552853 WITH SCORE 1.262223089E7
AT ITER 3225 NEW BEST:: SOT 88136251 SOS 69376963 HAS SOPS 62614203 HAS SOUS 12620002 HAS SOUPS 12551698 WITH SCORE 1.2621074963E7
AT ITER 3238 NEW BEST:: SOT 88138531 SOS 69379219 HAS SOPS 62616483 HAS SOUS 12615898 HAS SOUPS 12547594 WITH SCORE 1.2616973219E7
AT ITER 3263 NEW BEST:: SOT 88134271 SOS 69374959 HAS SOPS 62612443 HAS SOUS 12615788 HAS SOUPS 12547484 WITH SCORE 1.2616858959E7
AT ITER 3268 NEW BEST:: SOT 88140768 SOS 69381297 HAS SOPS 62605030 HAS SOUS 12599356 HAS SOUPS 12531052 WITH SCORE 1.2600433297E7
AT ITER 3272 NEW BEST:: SOT 88138878 SOS 69379353 HAS SOPS 62600494 HAS SOUS 12585748 HAS SOUPS 12517444 WITH SCORE 1.2586823353E7
AT ITER 3275 NEW BEST:: SOT 88132972 SOS 69373512 HAS SOPS 62595823 HAS SOUS 12585081 HAS SOUPS 12516738 WITH SCORE 1.2586111512E7
AT ITER 3276 NEW BEST:: SOT 88130554 SOS 69371050 HAS SOPS 62592973 HAS SOUS 12572707 HAS SOUPS 12504364 WITH SCORE 1.257373505E7
AT ITER 3284 NEW BEST:: SOT 88150607 SOS 69532847 HAS SOPS 62749179 HAS SOUS 12543470 HAS SOUPS 12475358 WITH SCORE 1.2544890847E7
AT ITER 3298 NEW BEST:: SOT 88150607 SOS 69533044 HAS SOPS 62749220 HAS SOUS 12543469 HAS SOUPS 12475357 WITH SCORE 1.2544890044E7
AT ITER 3316 NEW BEST:: SOT 88151092 SOS 69533534 HAS SOPS 62749590 HAS SOUS 12542564 HAS SOUPS 12474452 WITH SCORE 1.2543985534E7
AT ITER 3320 NEW BEST:: SOT 88131876 SOS 69514284 HAS SOPS 62731228 HAS SOUS 12515588 HAS SOUPS 12447476 WITH SCORE 1.2516990284E7
AT ITER 3321 NEW BEST:: SOT 88115102 SOS 69497467 HAS SOPS 62714749 HAS SOUS 12510252 HAS SOUPS 12442140 WITH SCORE 1.2511637467E7
AT ITER 3328 NEW BEST:: SOT 88111472 SOS 69493837 HAS SOPS 62710404 HAS SOUS 12500297 HAS SOUPS 12432185 WITH SCORE 1.2501678837E7
AT ITER 3348 NEW BEST:: SOT 88109856 SOS 69492225 HAS SOPS 62708888 HAS SOUS 12499465 HAS SOUPS 12431353 WITH SCORE 1.2500845225E7
AT ITER 3356 NEW BEST:: SOT 88109856 SOS 69466626 HAS SOPS 62683289 HAS SOUS 12499465 HAS SOUPS 12431353 WITH SCORE 1.2500819626E7
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393232 kB
MemFree: 13442816 kB
After kill :
MemTotal: 16393232 kB
MemFree: 15939732 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-pb101"
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-pb101, 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-167889204200224"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/RERS2020-PT-pb101.tgz
mv RERS2020-PT-pb101 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 ;