About the Execution of Smart+red for RERS17pb115-PT-1
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 3807.147 | 3600000.00 | 3925677.00 | 8343.70 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r331-tall-167889204100152.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 RERS17pb115-PT-1, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r331-tall-167889204100152
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 70M
-rw-r--r-- 1 mcc users 7.7K Feb 25 13:51 CTLCardinality.txt
-rw-r--r-- 1 mcc users 80K Feb 25 13:51 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.7K Feb 25 13:48 CTLFireability.txt
-rw-r--r-- 1 mcc users 67K Feb 25 13:48 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:39 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 16:39 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Feb 25 16:39 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:39 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 25 13:59 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 139K Feb 25 13:59 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.6K Feb 25 13:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 25 13:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:39 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:39 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 2 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 69M 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 1679083653732
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=RERS17pb115-PT-1
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-17 20:07:36] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-17 20:07:36] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-17 20:07:38] [INFO ] Load time of PNML (sax parser for PT used): 2060 ms
[2023-03-17 20:07:38] [INFO ] Transformed 1399 places.
[2023-03-17 20:07:38] [INFO ] Transformed 144369 transitions.
[2023-03-17 20:07:38] [INFO ] Found NUPN structural information;
[2023-03-17 20:07:38] [INFO ] Parsed PT model containing 1399 places and 144369 transitions and 577414 arcs in 2593 ms.
[2023-03-17 20:07:39] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1399 places, 144369 transitions and 577414 arcs took 396 ms.
Total runtime 3024 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb115 (PT), instance 1
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: 1399 places, 144369 transitions, 577414 arcs.
AT ITER 0 NEW BEST:: SOT 123476540 SOS 80284426 HAS SOPS 65263383 HAS SOUS 24121552 HAS SOUPS 23549470 WITH SCORE 2.3629754426E7
AT ITER 5 NEW BEST:: SOT 123453842 SOS 80247268 HAS SOPS 65246213 HAS SOUS 24096438 HAS SOUPS 23524356 WITH SCORE 2.3604603268E7
AT ITER 9 NEW BEST:: SOT 123458923 SOS 80265354 HAS SOPS 65259921 HAS SOUS 24089357 HAS SOUPS 23517159 WITH SCORE 2.3597424354E7
AT ITER 16 NEW BEST:: SOT 123463727 SOS 80284333 HAS SOPS 65311421 HAS SOUS 24068251 HAS SOUPS 23496053 WITH SCORE 2.3576337333E7
AT ITER 25 NEW BEST:: SOT 123488111 SOS 80338834 HAS SOPS 65374624 HAS SOUS 24056928 HAS SOUPS 23485002 WITH SCORE 2.3565340834E7
AT ITER 38 NEW BEST:: SOT 123488286 SOS 80336473 HAS SOPS 65375491 HAS SOUS 24055552 HAS SOUPS 23483655 WITH SCORE 2.3563991473E7
AT ITER 53 NEW BEST:: SOT 123487796 SOS 80335557 HAS SOPS 65375986 HAS SOUS 24054042 HAS SOUPS 23482214 WITH SCORE 2.3562549557E7
AT ITER 54 NEW BEST:: SOT 123487796 SOS 80347509 HAS SOPS 65399650 HAS SOUS 24053909 HAS SOUPS 23482081 WITH SCORE 2.3562428509E7
AT ITER 57 NEW BEST:: SOT 123487433 SOS 80356846 HAS SOPS 65391612 HAS SOUS 24034975 HAS SOUPS 23463147 WITH SCORE 2.3543503846E7
AT ITER 71 NEW BEST:: SOT 123490469 SOS 80362762 HAS SOPS 65394857 HAS SOUS 24034621 HAS SOUPS 23462793 WITH SCORE 2.3543155762E7
AT ITER 76 NEW BEST:: SOT 123490469 SOS 80373962 HAS SOPS 65408297 HAS SOUS 24034578 HAS SOUPS 23462750 WITH SCORE 2.3543123962E7
AT ITER 81 NEW BEST:: SOT 123497967 SOS 80376943 HAS SOPS 65411521 HAS SOUS 24028042 HAS SOUPS 23456042 WITH SCORE 2.3536418943E7
AT ITER 86 NEW BEST:: SOT 123498713 SOS 80396589 HAS SOPS 65444919 HAS SOUS 23988476 HAS SOUPS 23416786 WITH SCORE 2.3497182589E7
AT ITER 87 NEW BEST:: SOT 123478347 SOS 80358782 HAS SOPS 65416295 HAS SOUS 23971096 HAS SOUPS 23399627 WITH SCORE 2.3479985782E7
AT ITER 91 NEW BEST:: SOT 123478347 SOS 80353690 HAS SOPS 65418019 HAS SOUS 23971048 HAS SOUPS 23399579 WITH SCORE 2.347993269E7
AT ITER 93 NEW BEST:: SOT 123493946 SOS 80387358 HAS SOPS 65447909 HAS SOUS 23960374 HAS SOUPS 23389044 WITH SCORE 2.3469431358E7
AT ITER 101 NEW BEST:: SOT 123495275 SOS 80394700 HAS SOPS 65460050 HAS SOUS 23958852 HAS SOUPS 23387522 WITH SCORE 2.34679167E7
AT ITER 102 NEW BEST:: SOT 123495145 SOS 80395506 HAS SOPS 65459428 HAS SOUS 23955578 HAS SOUPS 23384248 WITH SCORE 2.3464643506E7
AT ITER 107 NEW BEST:: SOT 123488567 SOS 80386908 HAS SOPS 65451368 HAS SOUS 23942347 HAS SOUPS 23371076 WITH SCORE 2.3451462908E7
AT ITER 110 NEW BEST:: SOT 123484203 SOS 80382572 HAS SOPS 65446968 HAS SOUS 23937979 HAS SOUPS 23366676 WITH SCORE 2.3447058572E7
AT ITER 111 NEW BEST:: SOT 123484208 SOS 80382417 HAS SOPS 65446333 HAS SOUS 23937978 HAS SOUPS 23366675 WITH SCORE 2.3447057417E7
AT ITER 114 NEW BEST:: SOT 123481856 SOS 80377178 HAS SOPS 65444617 HAS SOUS 23932655 HAS SOUPS 23361382 WITH SCORE 2.3441759178E7
AT ITER 128 NEW BEST:: SOT 123481912 SOS 80361397 HAS SOPS 65444447 HAS SOUS 23931316 HAS SOUPS 23360043 WITH SCORE 2.3440404397E7
AT ITER 133 NEW BEST:: SOT 123470416 SOS 80349986 HAS SOPS 65425407 HAS SOUS 23901718 HAS SOUPS 23330445 WITH SCORE 2.3410794986E7
AT ITER 140 NEW BEST:: SOT 123492527 SOS 80407360 HAS SOPS 65470918 HAS SOUS 23887572 HAS SOUPS 23316299 WITH SCORE 2.339670636E7
AT ITER 150 NEW BEST:: SOT 123414395 SOS 80280544 HAS SOPS 65354569 HAS SOUS 23824531 HAS SOUPS 23253760 WITH SCORE 2.3334040544E7
AT ITER 152 NEW BEST:: SOT 123399681 SOS 80264153 HAS SOPS 65342904 HAS SOUS 23785579 HAS SOUPS 23214808 WITH SCORE 2.3295072153E7
AT ITER 154 NEW BEST:: SOT 123412554 SOS 80294356 HAS SOPS 65369760 HAS SOUS 23776832 HAS SOUPS 23206041 WITH SCORE 2.3286335356E7
AT ITER 155 NEW BEST:: SOT 123408383 SOS 80286352 HAS SOPS 65368603 HAS SOUS 23769525 HAS SOUPS 23198734 WITH SCORE 2.3279020352E7
AT ITER 159 NEW BEST:: SOT 123408383 SOS 80287904 HAS SOPS 65370523 HAS SOUS 23769454 HAS SOUPS 23198663 WITH SCORE 2.3278950904E7
AT ITER 167 NEW BEST:: SOT 123408413 SOS 80298518 HAS SOPS 65382321 HAS SOUS 23769152 HAS SOUPS 23198361 WITH SCORE 2.3278659518E7
AT ITER 168 NEW BEST:: SOT 123401677 SOS 80283879 HAS SOPS 65368710 HAS SOUS 23758178 HAS SOUPS 23187387 WITH SCORE 2.3267670879E7
AT ITER 169 NEW BEST:: SOT 123401907 SOS 80283988 HAS SOPS 65368825 HAS SOUS 23755501 HAS SOUPS 23185079 WITH SCORE 2.3265362988E7
AT ITER 174 NEW BEST:: SOT 123401779 SOS 80288887 HAS SOPS 65377097 HAS SOUS 23755288 HAS SOUPS 23184866 WITH SCORE 2.3265154887E7
AT ITER 175 NEW BEST:: SOT 123387014 SOS 80274122 HAS SOPS 65362332 HAS SOUS 23732971 HAS SOUPS 23162549 WITH SCORE 2.3242823122E7
AT ITER 180 NEW BEST:: SOT 123320286 SOS 80202267 HAS SOPS 65292612 HAS SOUS 23628780 HAS SOUPS 23058440 WITH SCORE 2.3138642267E7
AT ITER 182 NEW BEST:: SOT 123361781 SOS 80286308 HAS SOPS 65391868 HAS SOUS 23618789 HAS SOUPS 23048449 WITH SCORE 2.3128735308E7
AT ITER 204 NEW BEST:: SOT 123361863 SOS 80286460 HAS SOPS 65392210 HAS SOUS 23618631 HAS SOUPS 23048411 WITH SCORE 2.312869746E7
AT ITER 205 NEW BEST:: SOT 123353844 SOS 80278619 HAS SOPS 65385119 HAS SOUS 23610096 HAS SOUPS 23039573 WITH SCORE 2.3119851619E7
AT ITER 215 NEW BEST:: SOT 123369302 SOS 80319234 HAS SOPS 65436147 HAS SOUS 23561629 HAS SOUPS 22990907 WITH SCORE 2.3071226234E7
AT ITER 216 NEW BEST:: SOT 123396156 SOS 80382019 HAS SOPS 65488212 HAS SOUS 23559658 HAS SOUPS 22988936 WITH SCORE 2.3069318019E7
AT ITER 218 NEW BEST:: SOT 123377169 SOS 80356483 HAS SOPS 65461233 HAS SOUS 23528130 HAS SOUPS 22957769 WITH SCORE 2.3038125483E7
AT ITER 229 NEW BEST:: SOT 123373302 SOS 80352520 HAS SOPS 65459733 HAS SOUS 23525552 HAS SOUPS 22955191 WITH SCORE 2.303554352E7
AT ITER 232 NEW BEST:: SOT 123373302 SOS 80353672 HAS SOPS 65460885 HAS SOUS 23525529 HAS SOUPS 22955168 WITH SCORE 2.3035521672E7
AT ITER 236 NEW BEST:: SOT 123374992 SOS 80359966 HAS SOPS 65462081 HAS SOUS 23519893 HAS SOUPS 22949532 WITH SCORE 2.3029891966E7
AT ITER 245 NEW BEST:: SOT 123374992 SOS 80364862 HAS SOPS 65467681 HAS SOUS 23519854 HAS SOUPS 22949493 WITH SCORE 2.3029857862E7
AT ITER 249 NEW BEST:: SOT 123377550 SOS 80375759 HAS SOPS 65477723 HAS SOUS 23514805 HAS SOUPS 22944444 WITH SCORE 2.3024819759E7
AT ITER 262 NEW BEST:: SOT 123379250 SOS 80376182 HAS SOPS 65484716 HAS SOUS 23513812 HAS SOUPS 22943451 WITH SCORE 2.3023827182E7
AT ITER 264 NEW BEST:: SOT 123382486 SOS 80386895 HAS SOPS 65500065 HAS SOUS 23484150 HAS SOUPS 22913789 WITH SCORE 2.2994175895E7
AT ITER 281 NEW BEST:: SOT 123384851 SOS 80411522 HAS SOPS 65515480 HAS SOUS 23444661 HAS SOUPS 22874300 WITH SCORE 2.2954711522E7
AT ITER 289 NEW BEST:: SOT 123384812 SOS 80411275 HAS SOPS 65514427 HAS SOUS 23444583 HAS SOUPS 22874222 WITH SCORE 2.2954633275E7
AT ITER 291 NEW BEST:: SOT 123411038 SOS 80464555 HAS SOPS 65556286 HAS SOUS 23410136 HAS SOUPS 22839634 WITH SCORE 2.2920098555E7
AT ITER 292 NEW BEST:: SOT 123409417 SOS 80458151 HAS SOPS 65553767 HAS SOUS 23409453 HAS SOUPS 22839058 WITH SCORE 2.2919516151E7
AT ITER 294 NEW BEST:: SOT 123397341 SOS 80450723 HAS SOPS 65551357 HAS SOUS 23380593 HAS SOUPS 22810354 WITH SCORE 2.2890804723E7
AT ITER 295 NEW BEST:: SOT 123393162 SOS 80440512 HAS SOPS 65541787 HAS SOUS 23374223 HAS SOUPS 22803984 WITH SCORE 2.2884424512E7
AT ITER 300 NEW BEST:: SOT 123393174 SOS 80433907 HAS SOPS 65549738 HAS SOUS 23372801 HAS SOUPS 22802649 WITH SCORE 2.2883082907E7
AT ITER 302 NEW BEST:: SOT 123377008 SOS 80437161 HAS SOPS 65590531 HAS SOUS 23367114 HAS SOUPS 22796962 WITH SCORE 2.2877399161E7
AT ITER 308 NEW BEST:: SOT 123377722 SOS 80438733 HAS SOPS 65591158 HAS SOUS 23367021 HAS SOUPS 22796869 WITH SCORE 2.2877307733E7
AT ITER 319 NEW BEST:: SOT 123377653 SOS 80438406 HAS SOPS 65591486 HAS SOUS 23366904 HAS SOUPS 22796752 WITH SCORE 2.2877190406E7
AT ITER 333 NEW BEST:: SOT 123377941 SOS 80439752 HAS SOPS 65592568 HAS SOUS 23366506 HAS SOUPS 22796354 WITH SCORE 2.2876793752E7
AT ITER 339 NEW BEST:: SOT 123373176 SOS 80468359 HAS SOPS 65613542 HAS SOUS 23363050 HAS SOUPS 22792898 WITH SCORE 2.2873366359E7
AT ITER 344 NEW BEST:: SOT 123364769 SOS 80455947 HAS SOPS 65604182 HAS SOUS 23349008 HAS SOUPS 22778856 WITH SCORE 2.2859311947E7
AT ITER 349 NEW BEST:: SOT 123369862 SOS 80469998 HAS SOPS 65615879 HAS SOUS 23333073 HAS SOUPS 22762921 WITH SCORE 2.2843390998E7
AT ITER 357 NEW BEST:: SOT 123363908 SOS 80460090 HAS SOPS 65610665 HAS SOUS 23301607 HAS SOUPS 22731984 WITH SCORE 2.281244409E7
AT ITER 365 NEW BEST:: SOT 123360847 SOS 80456092 HAS SOPS 65606579 HAS SOUS 23294591 HAS SOUPS 22724997 WITH SCORE 2.2805453092E7
AT ITER 372 NEW BEST:: SOT 123353665 SOS 80443173 HAS SOPS 65593773 HAS SOUS 23289650 HAS SOUPS 22720056 WITH SCORE 2.2800499173E7
AT ITER 374 NEW BEST:: SOT 123353671 SOS 80451934 HAS SOPS 65602804 HAS SOUS 23289033 HAS SOUPS 22719439 WITH SCORE 2.2799890934E7
AT ITER 381 NEW BEST:: SOT 123352470 SOS 80451786 HAS SOPS 65613194 HAS SOUS 23287924 HAS SOUPS 22718330 WITH SCORE 2.2798781786E7
AT ITER 392 NEW BEST:: SOT 123342699 SOS 80428377 HAS SOPS 65592265 HAS SOUS 23286366 HAS SOUPS 22716772 WITH SCORE 2.2797200377E7
AT ITER 396 NEW BEST:: SOT 123322123 SOS 80407131 HAS SOPS 65570220 HAS SOUS 23263979 HAS SOUPS 22694382 WITH SCORE 2.2774789131E7
AT ITER 401 NEW BEST:: SOT 123285777 SOS 80342984 HAS SOPS 65514055 HAS SOUS 23240898 HAS SOUPS 22671301 WITH SCORE 2.2751643984E7
AT ITER 411 NEW BEST:: SOT 123285777 SOS 80348508 HAS SOPS 65526041 HAS SOUS 23240549 HAS SOUPS 22670952 WITH SCORE 2.2751300508E7
AT ITER 417 NEW BEST:: SOT 123284947 SOS 80359152 HAS SOPS 65545736 HAS SOUS 23237971 HAS SOUPS 22668374 WITH SCORE 2.2748733152E7
AT ITER 447 NEW BEST:: SOT 123283669 SOS 80356317 HAS SOPS 65547686 HAS SOUS 23223563 HAS SOUPS 22654802 WITH SCORE 2.2735158317E7
AT ITER 456 NEW BEST:: SOT 123318826 SOS 80419751 HAS SOPS 65598378 HAS SOUS 23218234 HAS SOUPS 22650051 WITH SCORE 2.2730470751E7
AT ITER 466 NEW BEST:: SOT 123321746 SOS 80436375 HAS SOPS 65618405 HAS SOUS 23212659 HAS SOUPS 22644476 WITH SCORE 2.2724912375E7
AT ITER 472 NEW BEST:: SOT 123317587 SOS 80447678 HAS SOPS 65626950 HAS SOUS 23209633 HAS SOUPS 22641450 WITH SCORE 2.2721897678E7
AT ITER 477 NEW BEST:: SOT 123318938 SOS 80453186 HAS SOPS 65632715 HAS SOUS 23203094 HAS SOUPS 22634911 WITH SCORE 2.2715364186E7
AT ITER 495 NEW BEST:: SOT 123287783 SOS 80418016 HAS SOPS 65599012 HAS SOUS 23197771 HAS SOUPS 22629328 WITH SCORE 2.2709746016E7
AT ITER 516 NEW BEST:: SOT 123287783 SOS 80423792 HAS SOPS 65603588 HAS SOUS 23197733 HAS SOUPS 22629290 WITH SCORE 2.2709713792E7
AT ITER 517 NEW BEST:: SOT 123287783 SOS 80432616 HAS SOPS 65614140 HAS SOUS 23197701 HAS SOUPS 22629258 WITH SCORE 2.2709690616E7
AT ITER 542 NEW BEST:: SOT 123304770 SOS 80470161 HAS SOPS 65646685 HAS SOUS 23182185 HAS SOUPS 22613742 WITH SCORE 2.2694212161E7
AT ITER 568 NEW BEST:: SOT 123308541 SOS 80478873 HAS SOPS 65652492 HAS SOUS 23169112 HAS SOUPS 22600703 WITH SCORE 2.2681181873E7
AT ITER 581 NEW BEST:: SOT 123312205 SOS 80485325 HAS SOPS 65658628 HAS SOUS 23159974 HAS SOUPS 22591565 WITH SCORE 2.2672050325E7
AT ITER 583 NEW BEST:: SOT 123308320 SOS 80475967 HAS SOPS 65651037 HAS SOUS 23158949 HAS SOUPS 22590540 WITH SCORE 2.2671015967E7
AT ITER 586 NEW BEST:: SOT 123314629 SOS 80508664 HAS SOPS 65693840 HAS SOUS 23150071 HAS SOUPS 22581794 WITH SCORE 2.2662302664E7
AT ITER 595 NEW BEST:: SOT 123314608 SOS 80508688 HAS SOPS 65693841 HAS SOUS 23150005 HAS SOUPS 22581728 WITH SCORE 2.2662236688E7
AT ITER 600 NEW BEST:: SOT 123311794 SOS 80505586 HAS SOPS 65690009 HAS SOUS 23151017 HAS SOUPS 22581638 WITH SCORE 2.2662143586E7
AT ITER 602 NEW BEST:: SOT 123313838 SOS 80512491 HAS SOPS 65695754 HAS SOUS 23150510 HAS SOUPS 22581131 WITH SCORE 2.2661643491E7
AT ITER 607 NEW BEST:: SOT 123336582 SOS 80551431 HAS SOPS 65733801 HAS SOUS 23150117 HAS SOUPS 22580738 WITH SCORE 2.2661289431E7
AT ITER 623 NEW BEST:: SOT 123336582 SOS 80550687 HAS SOPS 65733029 HAS SOUS 23150108 HAS SOUPS 22580729 WITH SCORE 2.2661279687E7
AT ITER 630 NEW BEST:: SOT 123336582 SOS 80565247 HAS SOPS 65747589 HAS SOUS 23149959 HAS SOUPS 22580580 WITH SCORE 2.2661145247E7
AT ITER 631 NEW BEST:: SOT 123353720 SOS 80586186 HAS SOPS 65788521 HAS SOUS 23148142 HAS SOUPS 22578770 WITH SCORE 2.2659356186E7
AT ITER 639 NEW BEST:: SOT 123353776 SOS 80586454 HAS SOPS 65788677 HAS SOUS 23147866 HAS SOUPS 22578494 WITH SCORE 2.2659080454E7
AT ITER 662 NEW BEST:: SOT 123357695 SOS 80605280 HAS SOPS 65801179 HAS SOUS 23137314 HAS SOUPS 22567942 WITH SCORE 2.264854728E7
AT ITER 671 NEW BEST:: SOT 123357101 SOS 80586724 HAS SOPS 65782631 HAS SOUS 23137112 HAS SOUPS 22567740 WITH SCORE 2.2648326724E7
AT ITER 672 NEW BEST:: SOT 123341909 SOS 80559307 HAS SOPS 65757927 HAS SOUS 23128282 HAS SOUPS 22558910 WITH SCORE 2.2639469307E7
AT ITER 687 NEW BEST:: SOT 123339676 SOS 80554770 HAS SOPS 65757113 HAS SOUS 23126180 HAS SOUPS 22556808 WITH SCORE 2.263736277E7
AT ITER 702 NEW BEST:: SOT 123301052 SOS 80513684 HAS SOPS 65715206 HAS SOUS 23081126 HAS SOUPS 22511924 WITH SCORE 2.2592437684E7
AT ITER 732 NEW BEST:: SOT 123300230 SOS 80516790 HAS SOPS 65714572 HAS SOUS 23077541 HAS SOUPS 22508339 WITH SCORE 2.258885579E7
AT ITER 735 NEW BEST:: SOT 123297741 SOS 80519690 HAS SOPS 65721232 HAS SOUS 23075662 HAS SOUPS 22506460 WITH SCORE 2.258697969E7
AT ITER 737 NEW BEST:: SOT 123415256 SOS 80712403 HAS SOPS 65920798 HAS SOUS 23065636 HAS SOUPS 22496393 WITH SCORE 2.2577105403E7
AT ITER 745 NEW BEST:: SOT 123429034 SOS 80735164 HAS SOPS 65939297 HAS SOUS 23054306 HAS SOUPS 22485471 WITH SCORE 2.2566206164E7
AT ITER 747 NEW BEST:: SOT 123437161 SOS 80755128 HAS SOPS 65953224 HAS SOUS 23045034 HAS SOUPS 22476199 WITH SCORE 2.2556954128E7
AT ITER 748 NEW BEST:: SOT 123415730 SOS 80726319 HAS SOPS 65931421 HAS SOUS 23005754 HAS SOUPS 22437101 WITH SCORE 2.2517827319E7
AT ITER 753 NEW BEST:: SOT 123437331 SOS 80760661 HAS SOPS 65965671 HAS SOUS 23003023 HAS SOUPS 22434370 WITH SCORE 2.2515130661E7
AT ITER 755 NEW BEST:: SOT 123459606 SOS 80790647 HAS SOPS 65992572 HAS SOUS 22971772 HAS SOUPS 22404110 WITH SCORE 2.2484900647E7
AT ITER 759 NEW BEST:: SOT 123458475 SOS 80791989 HAS SOPS 65990409 HAS SOUS 22952245 HAS SOUPS 22384583 WITH SCORE 2.2465374989E7
AT ITER 765 NEW BEST:: SOT 123496416 SOS 80881445 HAS SOPS 66072611 HAS SOUS 22945607 HAS SOUPS 22377945 WITH SCORE 2.2458826445E7
AT ITER 768 NEW BEST:: SOT 123492563 SOS 80880768 HAS SOPS 66068860 HAS SOUS 22934265 HAS SOUPS 22366603 WITH SCORE 2.2447483768E7
AT ITER 796 NEW BEST:: SOT 123492652 SOS 80881505 HAS SOPS 66069825 HAS SOUS 22934154 HAS SOUPS 22366492 WITH SCORE 2.2447373505E7
AT ITER 801 NEW BEST:: SOT 123499519 SOS 80895884 HAS SOPS 66080980 HAS SOUS 22932214 HAS SOUPS 22364410 WITH SCORE 2.2445305884E7
AT ITER 816 NEW BEST:: SOT 123496938 SOS 80894656 HAS SOPS 66077974 HAS SOUS 22931876 HAS SOUPS 22363753 WITH SCORE 2.2444647656E7
AT ITER 821 NEW BEST:: SOT 123493774 SOS 80888799 HAS SOPS 66077744 HAS SOUS 22925034 HAS SOUPS 22356911 WITH SCORE 2.2437799799E7
AT ITER 822 NEW BEST:: SOT 123495641 SOS 80895518 HAS SOPS 66086769 HAS SOUS 22922539 HAS SOUPS 22354451 WITH SCORE 2.2435346518E7
AT ITER 826 NEW BEST:: SOT 123497071 SOS 80894020 HAS SOPS 66093166 HAS SOUS 22919020 HAS SOUPS 22353038 WITH SCORE 2.243393202E7
AT ITER 828 NEW BEST:: SOT 123497453 SOS 80909299 HAS SOPS 66110549 HAS SOUS 22915244 HAS SOUPS 22349262 WITH SCORE 2.2430171299E7
AT ITER 834 NEW BEST:: SOT 123512049 SOS 80942331 HAS SOPS 66136348 HAS SOUS 22905742 HAS SOUPS 22339760 WITH SCORE 2.2420702331E7
AT ITER 837 NEW BEST:: SOT 123514245 SOS 80944372 HAS SOPS 66139582 HAS SOUS 22900273 HAS SOUPS 22334753 WITH SCORE 2.2415697372E7
AT ITER 848 NEW BEST:: SOT 123513486 SOS 80943307 HAS SOPS 66138649 HAS SOUS 22899256 HAS SOUPS 22333736 WITH SCORE 2.2414679307E7
AT ITER 854 NEW BEST:: SOT 123510262 SOS 80938457 HAS SOPS 66134602 HAS SOUS 22894406 HAS SOUPS 22328904 WITH SCORE 2.2409842457E7
AT ITER 860 NEW BEST:: SOT 123512980 SOS 80948426 HAS SOPS 66140637 HAS SOUS 22884068 HAS SOUPS 22318566 WITH SCORE 2.2399514426E7
AT ITER 864 NEW BEST:: SOT 123511297 SOS 80946311 HAS SOPS 66137676 HAS SOUS 22880721 HAS SOUPS 22315219 WITH SCORE 2.2396165311E7
AT ITER 871 NEW BEST:: SOT 123511496 SOS 80948614 HAS SOPS 66137919 HAS SOUS 22878832 HAS SOUPS 22313330 WITH SCORE 2.2394278614E7
AT ITER 876 NEW BEST:: SOT 123511499 SOS 80955173 HAS SOPS 66147263 HAS SOUS 22877449 HAS SOUPS 22311947 WITH SCORE 2.2392902173E7
AT ITER 879 NEW BEST:: SOT 123511354 SOS 80954246 HAS SOPS 66146734 HAS SOUS 22876595 HAS SOUPS 22311136 WITH SCORE 2.2392090246E7
AT ITER 888 NEW BEST:: SOT 123512450 SOS 80961653 HAS SOPS 66149306 HAS SOUS 22871410 HAS SOUPS 22305951 WITH SCORE 2.2386912653E7
AT ITER 890 NEW BEST:: SOT 123525906 SOS 80974095 HAS SOPS 66168593 HAS SOUS 22861523 HAS SOUPS 22296085 WITH SCORE 2.2377059095E7
AT ITER 901 NEW BEST:: SOT 123520254 SOS 80969581 HAS SOPS 66164357 HAS SOUS 22838164 HAS SOUPS 22272726 WITH SCORE 2.2353695581E7
AT ITER 903 NEW BEST:: SOT 123538617 SOS 81000226 HAS SOPS 66190005 HAS SOUS 22833839 HAS SOUPS 22268826 WITH SCORE 2.2349826226E7
AT ITER 905 NEW BEST:: SOT 123538617 SOS 81000082 HAS SOPS 66189861 HAS SOUS 22833789 HAS SOUPS 22268776 WITH SCORE 2.2349776082E7
AT ITER 907 NEW BEST:: SOT 123534979 SOS 80991051 HAS SOPS 66186638 HAS SOUS 22825275 HAS SOUPS 22260262 WITH SCORE 2.2341253051E7
AT ITER 912 NEW BEST:: SOT 123533372 SOS 80989902 HAS SOPS 66184734 HAS SOUS 22821884 HAS SOUPS 22256855 WITH SCORE 2.2337844902E7
AT ITER 920 NEW BEST:: SOT 123527365 SOS 80985465 HAS SOPS 66182160 HAS SOUS 22816427 HAS SOUPS 22251398 WITH SCORE 2.2332383465E7
AT ITER 937 NEW BEST:: SOT 123506724 SOS 80964757 HAS SOPS 66155793 HAS SOUS 22755302 HAS SOUPS 22189900 WITH SCORE 2.2270864757E7
AT ITER 955 NEW BEST:: SOT 123497606 SOS 80957047 HAS SOPS 66161532 HAS SOUS 22740073 HAS SOUPS 22174671 WITH SCORE 2.2255628047E7
AT ITER 960 NEW BEST:: SOT 123485229 SOS 80933766 HAS SOPS 66141958 HAS SOUS 22726598 HAS SOUPS 22161779 WITH SCORE 2.2242712766E7
AT ITER 991 NEW BEST:: SOT 123480264 SOS 80928375 HAS SOPS 66135739 HAS SOUS 22714724 HAS SOUPS 22149954 WITH SCORE 2.2230882375E7
AT ITER 1004 NEW BEST:: SOT 123485999 SOS 80936928 HAS SOPS 66147261 HAS SOUS 22701377 HAS SOUPS 22136607 WITH SCORE 2.2217543928E7
AT ITER 1011 NEW BEST:: SOT 123485156 SOS 80936385 HAS SOPS 66149352 HAS SOUS 22700542 HAS SOUPS 22135772 WITH SCORE 2.2216708385E7
AT ITER 1026 NEW BEST:: SOT 123486070 SOS 80937665 HAS SOPS 66150683 HAS SOUS 22699051 HAS SOUPS 22134296 WITH SCORE 2.2215233665E7
AT ITER 1030 NEW BEST:: SOT 123490162 SOS 80943791 HAS SOPS 66173995 HAS SOUS 22689327 HAS SOUPS 22124572 WITH SCORE 2.2205515791E7
AT ITER 1046 NEW BEST:: SOT 123489396 SOS 80940149 HAS SOPS 66175655 HAS SOUS 22689053 HAS SOUPS 22124298 WITH SCORE 2.2205238149E7
AT ITER 1049 NEW BEST:: SOT 123486975 SOS 80939101 HAS SOPS 66169348 HAS SOUS 22679602 HAS SOUPS 22114847 WITH SCORE 2.2195786101E7
AT ITER 1051 NEW BEST:: SOT 123496092 SOS 80947549 HAS SOPS 66177290 HAS SOUS 22661578 HAS SOUPS 22096823 WITH SCORE 2.2177770549E7
AT ITER 1062 NEW BEST:: SOT 123482714 SOS 80934175 HAS SOPS 66163903 HAS SOUS 22640496 HAS SOUPS 22075728 WITH SCORE 2.2156662175E7
AT ITER 1068 NEW BEST:: SOT 123482530 SOS 80933720 HAS SOPS 66163611 HAS SOUS 22639866 HAS SOUPS 22075098 WITH SCORE 2.215603172E7
AT ITER 1069 NEW BEST:: SOT 123477202 SOS 80927444 HAS SOPS 66158067 HAS SOUS 22633940 HAS SOUPS 22069172 WITH SCORE 2.2150099444E7
AT ITER 1075 NEW BEST:: SOT 123450974 SOS 80889000 HAS SOPS 66120929 HAS SOUS 22602178 HAS SOUPS 22037506 WITH SCORE 2.2118395E7
AT ITER 1076 NEW BEST:: SOT 123449365 SOS 80885818 HAS SOPS 66118748 HAS SOUS 22600459 HAS SOUPS 22035787 WITH SCORE 2.2116672818E7
AT ITER 1087 NEW BEST:: SOT 123452080 SOS 80898441 HAS SOPS 66128729 HAS SOUS 22597512 HAS SOUPS 22032840 WITH SCORE 2.2113738441E7
AT ITER 1088 NEW BEST:: SOT 123460402 SOS 80922193 HAS SOPS 66149808 HAS SOUS 22590888 HAS SOUPS 22026216 WITH SCORE 2.2107138193E7
AT ITER 1091 NEW BEST:: SOT 123459338 SOS 80917227 HAS SOPS 66144695 HAS SOUS 22588405 HAS SOUPS 22023733 WITH SCORE 2.2104650227E7
AT ITER 1110 NEW BEST:: SOT 123479075 SOS 80921878 HAS SOPS 66171918 HAS SOUS 22529596 HAS SOUPS 21965500 WITH SCORE 2.2046421878E7
AT ITER 1123 NEW BEST:: SOT 123480041 SOS 80924824 HAS SOPS 66173617 HAS SOUS 22528129 HAS SOUPS 21963960 WITH SCORE 2.2044884824E7
AT ITER 1132 NEW BEST:: SOT 123469457 SOS 80907409 HAS SOPS 66152360 HAS SOUS 22517747 HAS SOUPS 21953578 WITH SCORE 2.2034485409E7
AT ITER 1138 NEW BEST:: SOT 123471624 SOS 80912046 HAS SOPS 66160228 HAS SOUS 22516169 HAS SOUPS 21952000 WITH SCORE 2.2032912046E7
AT ITER 1141 NEW BEST:: SOT 123462361 SOS 80900787 HAS SOPS 66148383 HAS SOUS 22505650 HAS SOUPS 21941481 WITH SCORE 2.2022381787E7
AT ITER 1144 NEW BEST:: SOT 123457065 SOS 80895032 HAS SOPS 66141504 HAS SOUS 22495865 HAS SOUPS 21931696 WITH SCORE 2.2012591032E7
AT ITER 1164 NEW BEST:: SOT 123470717 SOS 80913317 HAS SOPS 66159124 HAS SOUS 22484554 HAS SOUPS 21923058 WITH SCORE 2.2003971317E7
AT ITER 1171 NEW BEST:: SOT 123464398 SOS 80906998 HAS SOPS 66152797 HAS SOUS 22477539 HAS SOUPS 21916043 WITH SCORE 2.1996949998E7
AT ITER 1176 NEW BEST:: SOT 123462264 SOS 80904918 HAS SOPS 66150458 HAS SOUS 22476943 HAS SOUPS 21915447 WITH SCORE 2.1996351918E7
AT ITER 1184 NEW BEST:: SOT 123461783 SOS 80903399 HAS SOPS 66149623 HAS SOUS 22476438 HAS SOUPS 21914942 WITH SCORE 2.1995845399E7
AT ITER 1192 NEW BEST:: SOT 123447936 SOS 80886590 HAS SOPS 66128309 HAS SOUS 22454679 HAS SOUPS 21893183 WITH SCORE 2.197406959E7
AT ITER 1193 NEW BEST:: SOT 123476891 SOS 80978834 HAS SOPS 66245955 HAS SOUS 22448554 HAS SOUPS 21887400 WITH SCORE 2.1968378834E7
AT ITER 1198 NEW BEST:: SOT 123476801 SOS 80978690 HAS SOPS 66246451 HAS SOUS 22447160 HAS SOUPS 21886646 WITH SCORE 2.196762469E7
AT ITER 1206 NEW BEST:: SOT 123475360 SOS 80975808 HAS SOPS 66239903 HAS SOUS 22443172 HAS SOUPS 21882658 WITH SCORE 2.1963633808E7
AT ITER 1211 NEW BEST:: SOT 123472804 SOS 80973097 HAS SOPS 66234203 HAS SOUS 22432933 HAS SOUPS 21872419 WITH SCORE 2.1953392097E7
AT ITER 1214 NEW BEST:: SOT 123472804 SOS 80979155 HAS SOPS 66244101 HAS SOUS 22432869 HAS SOUPS 21872355 WITH SCORE 2.1953334155E7
AT ITER 1216 NEW BEST:: SOT 123441495 SOS 80937615 HAS SOPS 66204445 HAS SOUS 22396466 HAS SOUPS 21836180 WITH SCORE 2.1917117615E7
AT ITER 1247 NEW BEST:: SOT 123439309 SOS 80933159 HAS SOPS 66199951 HAS SOUS 22395901 HAS SOUPS 21835615 WITH SCORE 2.1916548159E7
AT ITER 1255 NEW BEST:: SOT 123438207 SOS 80909210 HAS SOPS 66181131 HAS SOUS 22395121 HAS SOUPS 21834835 WITH SCORE 2.191574421E7
AT ITER 1263 NEW BEST:: SOT 123439066 SOS 80914475 HAS SOPS 66196365 HAS SOUS 22389437 HAS SOUPS 21829091 WITH SCORE 2.1910005475E7
AT ITER 1270 NEW BEST:: SOT 123432599 SOS 80908232 HAS SOPS 66183814 HAS SOUS 22374262 HAS SOUPS 21813916 WITH SCORE 2.1894824232E7
AT ITER 1273 NEW BEST:: SOT 123432487 SOS 80908071 HAS SOPS 66183709 HAS SOUS 22374091 HAS SOUPS 21813743 WITH SCORE 2.1894651071E7
AT ITER 1286 NEW BEST:: SOT 123432487 SOS 80908311 HAS SOPS 66184909 HAS SOUS 22374065 HAS SOUPS 21813717 WITH SCORE 2.1894625311E7
AT ITER 1291 NEW BEST:: SOT 123430397 SOS 80907905 HAS SOPS 66185158 HAS SOUS 22369707 HAS SOUPS 21809359 WITH SCORE 2.1890266905E7
AT ITER 1293 NEW BEST:: SOT 123431698 SOS 80916168 HAS SOPS 66194326 HAS SOUS 22363567 HAS SOUPS 21803252 WITH SCORE 2.1884168168E7
AT ITER 1300 NEW BEST:: SOT 123430395 SOS 80914284 HAS SOPS 66192915 HAS SOUS 22362711 HAS SOUPS 21802396 WITH SCORE 2.1883310284E7
AT ITER 1301 NEW BEST:: SOT 123430395 SOS 80934541 HAS SOPS 66228532 HAS SOUS 22362213 HAS SOUPS 21801898 WITH SCORE 2.1882832541E7
AT ITER 1308 NEW BEST:: SOT 123416075 SOS 80920024 HAS SOPS 66210012 HAS SOUS 22319310 HAS SOUPS 21758577 WITH SCORE 2.1839497024E7
AT ITER 1321 NEW BEST:: SOT 123397720 SOS 80894469 HAS SOPS 66186021 HAS SOUS 22315917 HAS SOUPS 21755184 WITH SCORE 2.1836078469E7
AT ITER 1328 NEW BEST:: SOT 123397733 SOS 80895055 HAS SOPS 66185953 HAS SOUS 22315005 HAS SOUPS 21754272 WITH SCORE 2.1835167055E7
AT ITER 1330 NEW BEST:: SOT 123400916 SOS 80899063 HAS SOPS 66190396 HAS SOUS 22314889 HAS SOUPS 21754156 WITH SCORE 2.1835055063E7
AT ITER 1349 NEW BEST:: SOT 123391812 SOS 80895505 HAS SOPS 66176971 HAS SOUS 22282104 HAS SOUPS 21721371 WITH SCORE 2.1802266505E7
AT ITER 1350 NEW BEST:: SOT 123389956 SOS 80891333 HAS SOPS 66173802 HAS SOUS 22280577 HAS SOUPS 21719923 WITH SCORE 2.1800814333E7
AT ITER 1363 NEW BEST:: SOT 123390409 SOS 80924662 HAS SOPS 66194496 HAS SOUS 22278306 HAS SOUPS 21717652 WITH SCORE 2.1798576662E7
AT ITER 1365 NEW BEST:: SOT 123393531 SOS 80938058 HAS SOPS 66207092 HAS SOUS 22252146 HAS SOUPS 21691492 WITH SCORE 2.1772430058E7
AT ITER 1390 NEW BEST:: SOT 123416395 SOS 81023406 HAS SOPS 66265908 HAS SOUS 22200570 HAS SOUPS 21639916 WITH SCORE 2.1720939406E7
AT ITER 1392 NEW BEST:: SOT 123413374 SOS 81019721 HAS SOPS 66262712 HAS SOUS 22196359 HAS SOUPS 21635705 WITH SCORE 2.1716724721E7
AT ITER 1401 NEW BEST:: SOT 123430320 SOS 81055738 HAS SOPS 66296878 HAS SOUS 22183449 HAS SOUPS 21623269 WITH SCORE 2.1704324738E7
AT ITER 1404 NEW BEST:: SOT 123428903 SOS 81054035 HAS SOPS 66291886 HAS SOUS 22175589 HAS SOUPS 21615409 WITH SCORE 2.1696463035E7
AT ITER 1416 NEW BEST:: SOT 123414873 SOS 81046840 HAS SOPS 66268828 HAS SOUS 22115227 HAS SOUPS 21554732 WITH SCORE 2.163577884E7
AT ITER 1420 NEW BEST:: SOT 123394770 SOS 81026836 HAS SOPS 66244897 HAS SOUS 22078427 HAS SOUPS 21517816 WITH SCORE 2.1598842836E7
AT ITER 1446 NEW BEST:: SOT 123376700 SOS 81006204 HAS SOPS 66227089 HAS SOUS 22065308 HAS SOUPS 21504697 WITH SCORE 2.1585703204E7
AT ITER 1459 NEW BEST:: SOT 123401417 SOS 81038550 HAS SOPS 66274500 HAS SOUS 22061517 HAS SOUPS 21500906 WITH SCORE 2.158194455E7
AT ITER 1487 NEW BEST:: SOT 123392187 SOS 81029123 HAS SOPS 66262826 HAS SOUS 22042880 HAS SOUPS 21482269 WITH SCORE 2.1563298123E7
AT ITER 1489 NEW BEST:: SOT 123399068 SOS 81031261 HAS SOPS 66277023 HAS SOUS 22041232 HAS SOUPS 21480621 WITH SCORE 2.1561652261E7
AT ITER 1510 NEW BEST:: SOT 123370382 SOS 81007281 HAS SOPS 66246790 HAS SOUS 22040248 HAS SOUPS 21479029 WITH SCORE 2.1560036281E7
AT ITER 1512 NEW BEST:: SOT 123370779 SOS 81007788 HAS SOPS 66247079 HAS SOUS 22039240 HAS SOUPS 21478021 WITH SCORE 2.1559028788E7
AT ITER 1531 NEW BEST:: SOT 123377213 SOS 81030503 HAS SOPS 66265845 HAS SOUS 22022689 HAS SOUPS 21461470 WITH SCORE 2.1542500503E7
AT ITER 1532 NEW BEST:: SOT 123377002 SOS 81029703 HAS SOPS 66264437 HAS SOUS 22022477 HAS SOUPS 21461258 WITH SCORE 2.1542287703E7
AT ITER 1535 NEW BEST:: SOT 123375854 SOS 81030055 HAS SOPS 66265238 HAS SOUS 22021488 HAS SOUPS 21460344 WITH SCORE 2.1541374055E7
AT ITER 1541 NEW BEST:: SOT 123367115 SOS 81013792 HAS SOPS 66253460 HAS SOUS 22016958 HAS SOUPS 21455883 WITH SCORE 2.1536896792E7
AT ITER 1545 NEW BEST:: SOT 123361038 SOS 81012208 HAS SOPS 66254806 HAS SOUS 21981690 HAS SOUPS 21420615 WITH SCORE 2.1501627208E7
AT ITER 1547 NEW BEST:: SOT 123368793 SOS 81020260 HAS SOPS 66258017 HAS SOUS 21974260 HAS SOUPS 21413185 WITH SCORE 2.149420526E7
AT ITER 1548 NEW BEST:: SOT 123358171 SOS 81009831 HAS SOPS 66255896 HAS SOUS 21952629 HAS SOUPS 21391768 WITH SCORE 2.1472777831E7
AT ITER 1551 NEW BEST:: SOT 123399178 SOS 81118298 HAS SOPS 66354034 HAS SOUS 21950464 HAS SOUPS 21389603 WITH SCORE 2.1470721298E7
AT ITER 1562 NEW BEST:: SOT 123398274 SOS 81117379 HAS SOPS 66353115 HAS SOUS 21949090 HAS SOUPS 21388229 WITH SCORE 2.1469346379E7
AT ITER 1581 NEW BEST:: SOT 123395475 SOS 81113972 HAS SOPS 66357075 HAS SOUS 21933298 HAS SOUPS 21372437 WITH SCORE 2.1453550972E7
AT ITER 1582 NEW BEST:: SOT 123392771 SOS 81111915 HAS SOPS 66349427 HAS SOUS 21916150 HAS SOUPS 21355112 WITH SCORE 2.1436223915E7
AT ITER 1591 NEW BEST:: SOT 123392804 SOS 81112931 HAS SOPS 66349648 HAS SOUS 21914815 HAS SOUPS 21353777 WITH SCORE 2.1434889931E7
AT ITER 1606 NEW BEST:: SOT 123395997 SOS 81116202 HAS SOPS 66354651 HAS SOUS 21908675 HAS SOUPS 21347725 WITH SCORE 2.1428841202E7
AT ITER 1623 NEW BEST:: SOT 123402356 SOS 81133421 HAS SOPS 66369147 HAS SOUS 21902756 HAS SOUPS 21341806 WITH SCORE 2.1422939421E7
AT ITER 1624 NEW BEST:: SOT 123411752 SOS 81149912 HAS SOPS 66378272 HAS SOUS 21892043 HAS SOUPS 21331093 WITH SCORE 2.1412242912E7
AT ITER 1631 NEW BEST:: SOT 123411752 SOS 81155012 HAS SOPS 66383372 HAS SOUS 21891971 HAS SOUPS 21331021 WITH SCORE 2.1412176012E7
AT ITER 1656 NEW BEST:: SOT 123416679 SOS 81161351 HAS SOPS 66389711 HAS SOUS 21891713 HAS SOUPS 21330763 WITH SCORE 2.1411924351E7
AT ITER 1660 NEW BEST:: SOT 123413482 SOS 81154993 HAS SOPS 66383882 HAS SOUS 21887291 HAS SOUPS 21326364 WITH SCORE 2.1407518993E7
AT ITER 1679 NEW BEST:: SOT 123399126 SOS 81141166 HAS SOPS 66371284 HAS SOUS 21851207 HAS SOUPS 21290280 WITH SCORE 2.1371421166E7
AT ITER 1685 NEW BEST:: SOT 123392894 SOS 81131007 HAS SOPS 66360351 HAS SOUS 21848871 HAS SOUPS 21287944 WITH SCORE 2.1369075007E7
AT ITER 1692 NEW BEST:: SOT 123418723 SOS 81181751 HAS SOPS 66407652 HAS SOUS 21825056 HAS SOUPS 21263905 WITH SCORE 2.1345086751E7
AT ITER 1694 NEW BEST:: SOT 123424913 SOS 81195508 HAS SOPS 66448639 HAS SOUS 21801618 HAS SOUPS 21240467 WITH SCORE 2.1321662508E7
AT ITER 1698 NEW BEST:: SOT 123440981 SOS 81248555 HAS SOPS 66499294 HAS SOUS 21795992 HAS SOUPS 21234841 WITH SCORE 2.1316089555E7
AT ITER 1709 NEW BEST:: SOT 123440975 SOS 81247975 HAS SOPS 66498882 HAS SOUS 21794983 HAS SOUPS 21233832 WITH SCORE 2.1315079975E7
AT ITER 1720 NEW BEST:: SOT 123446252 SOS 81258297 HAS SOPS 66509278 HAS SOUS 21794091 HAS SOUPS 21232940 WITH SCORE 2.1314198297E7
AT ITER 1721 NEW BEST:: SOT 123446058 SOS 81258974 HAS SOPS 66509363 HAS SOUS 21789986 HAS SOUPS 21228835 WITH SCORE 2.1310093974E7
AT ITER 1739 NEW BEST:: SOT 123488490 SOS 81314767 HAS SOPS 66587446 HAS SOUS 21787284 HAS SOUPS 21227313 WITH SCORE 2.1308627767E7
AT ITER 1758 NEW BEST:: SOT 123482550 SOS 81299265 HAS SOPS 66574138 HAS SOUS 21785846 HAS SOUPS 21225875 WITH SCORE 2.1307174265E7
AT ITER 1767 NEW BEST:: SOT 123482113 SOS 81297624 HAS SOPS 66562299 HAS SOUS 21768646 HAS SOUPS 21208874 WITH SCORE 2.1290171624E7
AT ITER 1779 NEW BEST:: SOT 123465147 SOS 81282743 HAS SOPS 66539548 HAS SOUS 21744306 HAS SOUPS 21184534 WITH SCORE 2.1265816743E7
AT ITER 1789 NEW BEST:: SOT 123463789 SOS 81281084 HAS SOPS 66536545 HAS SOUS 21742940 HAS SOUPS 21183213 WITH SCORE 2.1264494084E7
AT ITER 1797 NEW BEST:: SOT 123464682 SOS 81281200 HAS SOPS 66535527 HAS SOUS 21740395 HAS SOUPS 21180683 WITH SCORE 2.12619642E7
AT ITER 1802 NEW BEST:: SOT 123548172 SOS 81446420 HAS SOPS 66658551 HAS SOUS 21711826 HAS SOUPS 21151567 WITH SCORE 2.123301342E7
AT ITER 1806 NEW BEST:: SOT 123548128 SOS 81445839 HAS SOPS 66658075 HAS SOUS 21711179 HAS SOUPS 21150920 WITH SCORE 2.1232365839E7
AT ITER 1829 NEW BEST:: SOT 123533496 SOS 81468440 HAS SOPS 66696977 HAS SOUS 21708964 HAS SOUPS 21148705 WITH SCORE 2.123017344E7
AT ITER 1833 NEW BEST:: SOT 123528302 SOS 81462641 HAS SOPS 66691178 HAS SOUS 21706887 HAS SOUPS 21146628 WITH SCORE 2.1228090641E7
AT ITER 1834 NEW BEST:: SOT 123529310 SOS 81463534 HAS SOPS 66691582 HAS SOUS 21705759 HAS SOUPS 21145814 WITH SCORE 2.1227277534E7
AT ITER 1853 NEW BEST:: SOT 123544296 SOS 81497203 HAS SOPS 66710222 HAS SOUS 21702738 HAS SOUPS 21142793 WITH SCORE 2.1224290203E7
AT ITER 1857 NEW BEST:: SOT 123548456 SOS 81513654 HAS SOPS 66720423 HAS SOUS 21688555 HAS SOUPS 21128610 WITH SCORE 2.1210123654E7
AT ITER 1867 NEW BEST:: SOT 123545518 SOS 81512653 HAS SOPS 66717380 HAS SOUS 21681541 HAS SOUPS 21121596 WITH SCORE 2.1203108653E7
AT ITER 1873 NEW BEST:: SOT 123545370 SOS 81502025 HAS SOPS 66708816 HAS SOUS 21681495 HAS SOUPS 21121550 WITH SCORE 2.1203052025E7
AT ITER 1905 NEW BEST:: SOT 123535149 SOS 81497257 HAS SOPS 66714885 HAS SOUS 21680971 HAS SOUPS 21121026 WITH SCORE 2.1202523257E7
AT ITER 1908 NEW BEST:: SOT 123561621 SOS 81556495 HAS SOPS 66756128 HAS SOUS 21673249 HAS SOUPS 21113304 WITH SCORE 2.1194860495E7
AT ITER 1909 NEW BEST:: SOT 123559756 SOS 81552969 HAS SOPS 66753587 HAS SOUS 21672221 HAS SOUPS 21112276 WITH SCORE 2.1193828969E7
AT ITER 1920 NEW BEST:: SOT 123561734 SOS 81555058 HAS SOPS 66755846 HAS SOUS 21671464 HAS SOUPS 21111535 WITH SCORE 2.1193090058E7
AT ITER 1934 NEW BEST:: SOT 123564207 SOS 81570480 HAS SOPS 66764353 HAS SOUS 21654584 HAS SOUPS 21094655 WITH SCORE 2.117622548E7
AT ITER 1946 NEW BEST:: SOT 123550133 SOS 81553485 HAS SOPS 66747837 HAS SOUS 21652163 HAS SOUPS 21092234 WITH SCORE 2.1173787485E7
AT ITER 1956 NEW BEST:: SOT 123541681 SOS 81543761 HAS SOPS 66738410 HAS SOUS 21633413 HAS SOUPS 21073973 WITH SCORE 2.1155516761E7
AT ITER 1960 NEW BEST:: SOT 123538453 SOS 81541187 HAS SOPS 66729180 HAS SOUS 21607160 HAS SOUPS 21047720 WITH SCORE 2.1129261187E7
AT ITER 1963 NEW BEST:: SOT 123531056 SOS 81529844 HAS SOPS 66718313 HAS SOUS 21587242 HAS SOUPS 21027889 WITH SCORE 2.1109418844E7
AT ITER 1964 NEW BEST:: SOT 123530469 SOS 81529365 HAS SOPS 66717870 HAS SOUS 21586556 HAS SOUPS 21027194 WITH SCORE 2.1108723365E7
AT ITER 1978 NEW BEST:: SOT 123528278 SOS 81526563 HAS SOPS 66714983 HAS SOUS 21574488 HAS SOUPS 21016953 WITH SCORE 2.1098479563E7
AT ITER 1979 NEW BEST:: SOT 123529739 SOS 81523102 HAS SOPS 66712568 HAS SOUS 21572222 HAS SOUPS 21014687 WITH SCORE 2.1096210102E7
AT ITER 1990 NEW BEST:: SOT 123526675 SOS 81520062 HAS SOPS 66706991 HAS SOUS 21565774 HAS SOUPS 21008269 WITH SCORE 2.1089789062E7
AT ITER 1993 NEW BEST:: SOT 123526517 SOS 81520140 HAS SOPS 66706941 HAS SOUS 21565120 HAS SOUPS 21007615 WITH SCORE 2.108913514E7
AT ITER 2005 NEW BEST:: SOT 123528267 SOS 81522964 HAS SOPS 66710490 HAS SOUS 21564370 HAS SOUPS 21006896 WITH SCORE 2.1088418964E7
AT ITER 2007 NEW BEST:: SOT 123526760 SOS 81519491 HAS SOPS 66707591 HAS SOUS 21553108 HAS SOUPS 20995634 WITH SCORE 2.1077153491E7
AT ITER 2011 NEW BEST:: SOT 123521865 SOS 81513676 HAS SOPS 66699616 HAS SOUS 21547119 HAS SOUPS 20989683 WITH SCORE 2.1071196676E7
AT ITER 2022 NEW BEST:: SOT 123518425 SOS 81509160 HAS SOPS 66697120 HAS SOUS 21546959 HAS SOUPS 20989523 WITH SCORE 2.107103216E7
AT ITER 2023 NEW BEST:: SOT 123524895 SOS 81522619 HAS SOPS 66710123 HAS SOUS 21540572 HAS SOUPS 20983136 WITH SCORE 2.1064658619E7
AT ITER 2044 NEW BEST:: SOT 123529723 SOS 81524731 HAS SOPS 66714831 HAS SOUS 21521872 HAS SOUPS 20964427 WITH SCORE 2.1045951731E7
AT ITER 2049 NEW BEST:: SOT 123529688 SOS 81523366 HAS SOPS 66713708 HAS SOUS 21520197 HAS SOUPS 20962752 WITH SCORE 2.1044275366E7
AT ITER 2061 NEW BEST:: SOT 123527852 SOS 81522889 HAS SOPS 66713144 HAS SOUS 21514542 HAS SOUPS 20957097 WITH SCORE 2.1038619889E7
AT ITER 2083 NEW BEST:: SOT 123501213 SOS 81456534 HAS SOPS 66654733 HAS SOUS 21503578 HAS SOUPS 20946133 WITH SCORE 2.1027589534E7
AT ITER 2085 NEW BEST:: SOT 123500290 SOS 81459836 HAS SOPS 66652525 HAS SOUS 21501948 HAS SOUPS 20944439 WITH SCORE 2.1025898836E7
AT ITER 2087 NEW BEST:: SOT 123505367 SOS 81460679 HAS SOPS 66653933 HAS SOUS 21488309 HAS SOUPS 20930800 WITH SCORE 2.1012260679E7
AT ITER 2099 NEW BEST:: SOT 123508679 SOS 81465463 HAS SOPS 66658469 HAS SOUS 21486643 HAS SOUPS 20929134 WITH SCORE 2.1010599463E7
AT ITER 2108 NEW BEST:: SOT 123512146 SOS 81476944 HAS SOPS 66661260 HAS SOUS 21486517 HAS SOUPS 20929008 WITH SCORE 2.1010484944E7
AT ITER 2110 NEW BEST:: SOT 123493783 SOS 81449573 HAS SOPS 66640555 HAS SOUS 21476906 HAS SOUPS 20919397 WITH SCORE 2.1000846573E7
AT ITER 2115 NEW BEST:: SOT 123470818 SOS 81411460 HAS SOPS 66605108 HAS SOUS 21450285 HAS SOUPS 20892776 WITH SCORE 2.097418746E7
AT ITER 2119 NEW BEST:: SOT 123450989 SOS 81384028 HAS SOPS 66578785 HAS SOUS 21433877 HAS SOUPS 20876368 WITH SCORE 2.0957752028E7
AT ITER 2130 NEW BEST:: SOT 123433130 SOS 81366298 HAS SOPS 66555831 HAS SOUS 21406764 HAS SOUPS 20849102 WITH SCORE 2.0930468298E7
AT ITER 2132 NEW BEST:: SOT 123431215 SOS 81370956 HAS SOPS 66552683 HAS SOUS 21390628 HAS SOUPS 20832966 WITH SCORE 2.0914336956E7
AT ITER 2137 NEW BEST:: SOT 123424687 SOS 81365688 HAS SOPS 66536986 HAS SOUS 21371676 HAS SOUPS 20814014 WITH SCORE 2.0895379688E7
AT ITER 2160 NEW BEST:: SOT 123442787 SOS 81401007 HAS SOPS 66570078 HAS SOUS 21334417 HAS SOUPS 20776969 WITH SCORE 2.0858370007E7
AT ITER 2162 NEW BEST:: SOT 123446478 SOS 81420418 HAS SOPS 66582434 HAS SOUS 21320544 HAS SOUPS 20763096 WITH SCORE 2.0844516418E7
AT ITER 2183 NEW BEST:: SOT 123440846 SOS 81415789 HAS SOPS 66576766 HAS SOUS 21313383 HAS SOUPS 20755935 WITH SCORE 2.0837350789E7
AT ITER 2207 NEW BEST:: SOT 123449116 SOS 81420643 HAS SOPS 66580820 HAS SOUS 21308906 HAS SOUPS 20751458 WITH SCORE 2.0832878643E7
AT ITER 2211 NEW BEST:: SOT 123449677 SOS 81423825 HAS SOPS 66585121 HAS SOUS 21301046 HAS SOUPS 20743683 WITH SCORE 2.0825106825E7
AT ITER 2216 NEW BEST:: SOT 123326949 SOS 81256255 HAS SOPS 66433228 HAS SOUS 21148650 HAS SOUPS 20591765 WITH SCORE 2.0673021255E7
AT ITER 2225 NEW BEST:: SOT 123312195 SOS 81230734 HAS SOPS 66408829 HAS SOUS 21128123 HAS SOUPS 20571319 WITH SCORE 2.0652549734E7
AT ITER 2226 NEW BEST:: SOT 123279878 SOS 81193761 HAS SOPS 66356334 HAS SOUS 21081417 HAS SOUPS 20524613 WITH SCORE 2.0605806761E7
AT ITER 2233 NEW BEST:: SOT 123279878 SOS 81193855 HAS SOPS 66356812 HAS SOUS 21081399 HAS SOUPS 20524595 WITH SCORE 2.0605788855E7
AT ITER 2237 NEW BEST:: SOT 123279878 SOS 81185049 HAS SOPS 66347972 HAS SOUS 21081182 HAS SOUPS 20524378 WITH SCORE 2.0605563049E7
AT ITER 2246 NEW BEST:: SOT 123288813 SOS 81196011 HAS SOPS 66354440 HAS SOUS 21076404 HAS SOUPS 20519719 WITH SCORE 2.0600915011E7
AT ITER 2248 NEW BEST:: SOT 123359358 SOS 81263982 HAS SOPS 66434155 HAS SOUS 21072556 HAS SOUPS 20516418 WITH SCORE 2.0597681982E7
AT ITER 2251 NEW BEST:: SOT 123361424 SOS 81263570 HAS SOPS 66432958 HAS SOUS 21070046 HAS SOUPS 20513908 WITH SCORE 2.059517157E7
AT ITER 2252 NEW BEST:: SOT 123421232 SOS 81378179 HAS SOPS 66555245 HAS SOUS 21062916 HAS SOUPS 20506778 WITH SCORE 2.0588156179E7
AT ITER 2262 NEW BEST:: SOT 123425918 SOS 81382442 HAS SOPS 66558066 HAS SOUS 21022540 HAS SOUPS 20466389 WITH SCORE 2.0547771442E7
AT ITER 2265 NEW BEST:: SOT 123442661 SOS 81390638 HAS SOPS 66585825 HAS SOUS 21021575 HAS SOUPS 20465822 WITH SCORE 2.0547212638E7
AT ITER 2267 NEW BEST:: SOT 123448636 SOS 81405057 HAS SOPS 66596472 HAS SOUS 21019036 HAS SOUPS 20463283 WITH SCORE 2.0544688057E7
AT ITER 2301 NEW BEST:: SOT 123372331 SOS 81277562 HAS SOPS 66519054 HAS SOUS 20972672 HAS SOUPS 20417316 WITH SCORE 2.0498593562E7
AT ITER 2306 NEW BEST:: SOT 123377707 SOS 81290555 HAS SOPS 66531814 HAS SOUS 20968151 HAS SOUPS 20412795 WITH SCORE 2.0494085555E7
AT ITER 2310 NEW BEST:: SOT 123365996 SOS 81261104 HAS SOPS 66522302 HAS SOUS 20943568 HAS SOUPS 20388212 WITH SCORE 2.0469473104E7
AT ITER 2315 NEW BEST:: SOT 123349296 SOS 81242967 HAS SOPS 66503451 HAS SOUS 20930783 HAS SOUPS 20375246 WITH SCORE 2.0456488967E7
AT ITER 2320 NEW BEST:: SOT 123353679 SOS 81246352 HAS SOPS 66515505 HAS SOUS 20927047 HAS SOUPS 20371555 WITH SCORE 2.0452801352E7
AT ITER 2325 NEW BEST:: SOT 123367007 SOS 81275052 HAS SOPS 66537557 HAS SOUS 20915241 HAS SOUPS 20359749 WITH SCORE 2.0441024052E7
AT ITER 2327 NEW BEST:: SOT 123367065 SOS 81273370 HAS SOPS 66538911 HAS SOUS 20911912 HAS SOUPS 20356596 WITH SCORE 2.043786937E7
AT ITER 2340 NEW BEST:: SOT 123352718 SOS 81259345 HAS SOPS 66525284 HAS SOUS 20908897 HAS SOUPS 20352109 WITH SCORE 2.0433368345E7
AT ITER 2351 NEW BEST:: SOT 123346914 SOS 81252244 HAS SOPS 66518957 HAS SOUS 20891222 HAS SOUPS 20334669 WITH SCORE 2.0415921244E7
AT ITER 2352 NEW BEST:: SOT 123350824 SOS 81262242 HAS SOPS 66524071 HAS SOUS 20887504 HAS SOUPS 20330951 WITH SCORE 2.0412213242E7
AT ITER 2356 NEW BEST:: SOT 123347865 SOS 81258284 HAS SOPS 66518994 HAS SOUS 20880521 HAS SOUPS 20324282 WITH SCORE 2.0405540284E7
AT ITER 2370 NEW BEST:: SOT 123343630 SOS 81253649 HAS SOPS 66514191 HAS SOUS 20872694 HAS SOUPS 20316455 WITH SCORE 2.0397708649E7
AT ITER 2389 NEW BEST:: SOT 123344334 SOS 81267233 HAS SOPS 66525302 HAS SOUS 20850430 HAS SOUPS 20294191 WITH SCORE 2.0375458233E7
AT ITER 2393 NEW BEST:: SOT 123340524 SOS 81263273 HAS SOPS 66520352 HAS SOUS 20842480 HAS SOUPS 20286241 WITH SCORE 2.0367504273E7
AT ITER 2404 NEW BEST:: SOT 123343640 SOS 81273957 HAS SOPS 66526794 HAS SOUS 20831927 HAS SOUPS 20275688 WITH SCORE 2.0356961957E7
AT ITER 2410 NEW BEST:: SOT 123336160 SOS 81262742 HAS SOPS 66514974 HAS SOUS 20812435 HAS SOUPS 20256336 WITH SCORE 2.0337598742E7
AT ITER 2415 NEW BEST:: SOT 123328983 SOS 81250034 HAS SOPS 66503271 HAS SOUS 20804401 HAS SOUPS 20248302 WITH SCORE 2.0329552034E7
AT ITER 2460 NEW BEST:: SOT 123324561 SOS 81251332 HAS SOPS 66494624 HAS SOUS 20800170 HAS SOUPS 20243270 WITH SCORE 2.0324521332E7
AT ITER 2489 NEW BEST:: SOT 123376936 SOS 81292519 HAS SOPS 66535891 HAS SOUS 20794620 HAS SOUPS 20238040 WITH SCORE 2.0319332519E7
AT ITER 2499 NEW BEST:: SOT 123377638 SOS 81281176 HAS SOPS 66523418 HAS SOUS 20786140 HAS SOUPS 20229560 WITH SCORE 2.0310841176E7
AT ITER 2525 NEW BEST:: SOT 123378384 SOS 81276133 HAS SOPS 66517095 HAS SOUS 20783954 HAS SOUPS 20227374 WITH SCORE 2.0308650133E7
AT ITER 2533 NEW BEST:: SOT 123364745 SOS 81261249 HAS SOPS 66501327 HAS SOUS 20762354 HAS SOUPS 20206073 WITH SCORE 2.0287334249E7
AT ITER 2548 NEW BEST:: SOT 123351769 SOS 81233844 HAS SOPS 66469289 HAS SOUS 20737145 HAS SOUPS 20180864 WITH SCORE 2.0262097844E7
AT ITER 2563 NEW BEST:: SOT 123378403 SOS 81284434 HAS SOPS 66525008 HAS SOUS 20733552 HAS SOUPS 20177482 WITH SCORE 2.0258766434E7
AT ITER 2592 NEW BEST:: SOT 123426656 SOS 81350194 HAS SOPS 66609457 HAS SOUS 20726808 HAS SOUPS 20175614 WITH SCORE 2.0256964194E7
AT ITER 2598 NEW BEST:: SOT 123422837 SOS 81337738 HAS SOPS 66599208 HAS SOUS 20723902 HAS SOUPS 20172708 WITH SCORE 2.0254045738E7
AT ITER 2604 NEW BEST:: SOT 123405610 SOS 81308693 HAS SOPS 66579674 HAS SOUS 20694790 HAS SOUPS 20144207 WITH SCORE 2.0225515693E7
AT ITER 2607 NEW BEST:: SOT 123403531 SOS 81307559 HAS SOPS 66581065 HAS SOUS 20674023 HAS SOUPS 20123282 WITH SCORE 2.0204589559E7
AT ITER 2612 NEW BEST:: SOT 123403531 SOS 81307601 HAS SOPS 66581039 HAS SOUS 20674013 HAS SOUPS 20123272 WITH SCORE 2.0204579601E7
AT ITER 2622 NEW BEST:: SOT 123361409 SOS 81262139 HAS SOPS 66510031 HAS SOUS 20595422 HAS SOUPS 20044681 WITH SCORE 2.0125943139E7
AT ITER 2628 NEW BEST:: SOT 123330322 SOS 81229779 HAS SOPS 66461064 HAS SOUS 20554866 HAS SOUPS 20004125 WITH SCORE 2.0085354779E7
AT ITER 2633 NEW BEST:: SOT 123341207 SOS 81101816 HAS SOPS 66373360 HAS SOUS 20518375 HAS SOUPS 19968276 WITH SCORE 2.0049377816E7
AT ITER 2652 NEW BEST:: SOT 123335079 SOS 81100763 HAS SOPS 66376399 HAS SOUS 20515906 HAS SOUPS 19965807 WITH SCORE 2.0046907763E7
AT ITER 2654 NEW BEST:: SOT 123388314 SOS 81181778 HAS SOPS 66457194 HAS SOUS 20491885 HAS SOUPS 19941786 WITH SCORE 2.0022967778E7
AT ITER 2660 NEW BEST:: SOT 123363185 SOS 81154688 HAS SOPS 66424030 HAS SOUS 20441467 HAS SOUPS 19891368 WITH SCORE 1.9972522688E7
AT ITER 2667 NEW BEST:: SOT 123360523 SOS 81153345 HAS SOPS 66412182 HAS SOUS 20393688 HAS SOUPS 19844874 WITH SCORE 1.9926027345E7
AT ITER 2674 NEW BEST:: SOT 123361029 SOS 81160431 HAS SOPS 66415316 HAS SOUS 20393374 HAS SOUPS 19844449 WITH SCORE 1.9925609431E7
AT ITER 2675 NEW BEST:: SOT 123360993 SOS 81160429 HAS SOPS 66415249 HAS SOUS 20393132 HAS SOUPS 19844208 WITH SCORE 1.9925368429E7
AT ITER 2679 NEW BEST:: SOT 123360689 SOS 81160687 HAS SOPS 66413075 HAS SOUS 20385703 HAS SOUPS 19836983 WITH SCORE 1.9918143687E7
AT ITER 2709 NEW BEST:: SOT 123366903 SOS 81173030 HAS SOPS 66422160 HAS SOUS 20357669 HAS SOUPS 19809132 WITH SCORE 1.989030503E7
AT ITER 2772 NEW BEST:: SOT 123366979 SOS 81173511 HAS SOPS 66423872 HAS SOUS 20357644 HAS SOUPS 19809107 WITH SCORE 1.9890280511E7
AT ITER 2779 NEW BEST:: SOT 123370436 SOS 81178576 HAS SOPS 66425239 HAS SOUS 20334427 HAS SOUPS 19786216 WITH SCORE 1.9867394576E7
AT ITER 2782 NEW BEST:: SOT 123370002 SOS 81178127 HAS SOPS 66424945 HAS SOUS 20333333 HAS SOUPS 19785122 WITH SCORE 1.9866300127E7
AT ITER 2796 NEW BEST:: SOT 123418188 SOS 81304515 HAS SOPS 66564148 HAS SOUS 20323911 HAS SOUPS 19775700 WITH SCORE 1.9857004515E7
AT ITER 2800 NEW BEST:: SOT 123417735 SOS 81304107 HAS SOPS 66565442 HAS SOUS 20320590 HAS SOUPS 19772379 WITH SCORE 1.9853683107E7
AT ITER 2803 NEW BEST:: SOT 123432193 SOS 81323190 HAS SOPS 66586790 HAS SOUS 20303800 HAS SOUPS 19755589 WITH SCORE 1.983691219E7
AT ITER 2844 NEW BEST:: SOT 123400303 SOS 81291497 HAS SOPS 66554637 HAS SOUS 20277367 HAS SOUPS 19729087 WITH SCORE 1.9810378497E7
AT ITER 2883 NEW BEST:: SOT 123384920 SOS 81257948 HAS SOPS 66524411 HAS SOUS 20271585 HAS SOUPS 19723305 WITH SCORE 1.9804562948E7
AT ITER 2884 NEW BEST:: SOT 123384950 SOS 81251231 HAS SOPS 66527737 HAS SOUS 20270723 HAS SOUPS 19722560 WITH SCORE 1.9803811231E7
AT ITER 2904 NEW BEST:: SOT 123385622 SOS 81253465 HAS SOPS 66528194 HAS SOUS 20269425 HAS SOUPS 19721262 WITH SCORE 1.9802515465E7
AT ITER 2905 NEW BEST:: SOT 123390328 SOS 81261501 HAS SOPS 66548442 HAS SOUS 20267327 HAS SOUPS 19719164 WITH SCORE 1.9800425501E7
AT ITER 2913 NEW BEST:: SOT 123387782 SOS 81258955 HAS SOPS 66545896 HAS SOUS 20265877 HAS SOUPS 19717714 WITH SCORE 1.9798972955E7
AT ITER 2917 NEW BEST:: SOT 123395234 SOS 81273123 HAS SOPS 66557089 HAS SOUS 20265440 HAS SOUPS 19717265 WITH SCORE 1.9798538123E7
AT ITER 2955 NEW BEST:: SOT 123394066 SOS 81263703 HAS SOPS 66559415 HAS SOUS 20257283 HAS SOUPS 19709769 WITH SCORE 1.9791032703E7
AT ITER 2957 NEW BEST:: SOT 123381530 SOS 81253412 HAS SOPS 66543070 HAS SOUS 20229158 HAS SOUPS 19681585 WITH SCORE 1.9762838412E7
AT ITER 2971 NEW BEST:: SOT 123383875 SOS 81257195 HAS SOPS 66552029 HAS SOUS 20221837 HAS SOUPS 19674264 WITH SCORE 1.9755521195E7
AT ITER 3029 NEW BEST:: SOT 123381699 SOS 81255373 HAS SOPS 66550327 HAS SOUS 20215896 HAS SOUPS 19668443 WITH SCORE 1.9749698373E7
AT ITER 3030 NEW BEST:: SOT 123406146 SOS 81307449 HAS SOPS 66581896 HAS SOUS 20206360 HAS SOUPS 19658907 WITH SCORE 1.9740214449E7
AT ITER 3036 NEW BEST:: SOT 123395154 SOS 81306866 HAS SOPS 66586922 HAS SOUS 20159522 HAS SOUPS 19612017 WITH SCORE 1.9693323866E7
AT ITER 3043 NEW BEST:: SOT 123395411 SOS 81310126 HAS SOPS 66591858 HAS SOUS 20155912 HAS SOUPS 19608455 WITH SCORE 1.9689765126E7
AT ITER 3045 NEW BEST:: SOT 123395557 SOS 81310521 HAS SOPS 66592029 HAS SOUS 20155880 HAS SOUPS 19608423 WITH SCORE 1.9689733521E7
AT ITER 3047 NEW BEST:: SOT 123386258 SOS 81296659 HAS SOPS 66575076 HAS SOUS 20102306 HAS SOUPS 19555653 WITH SCORE 1.9636949659E7
AT ITER 3051 NEW BEST:: SOT 123389289 SOS 81299474 HAS SOPS 66578395 HAS SOUS 20097098 HAS SOUPS 19550401 WITH SCORE 1.9631700474E7
AT ITER 3053 NEW BEST:: SOT 123387167 SOS 81296192 HAS SOPS 66575297 HAS SOUS 20094993 HAS SOUPS 19548342 WITH SCORE 1.9629638192E7
AT ITER 3058 NEW BEST:: SOT 123393027 SOS 81299582 HAS SOPS 66583666 HAS SOUS 20094203 HAS SOUPS 19547552 WITH SCORE 1.9628851582E7
AT ITER 3061 NEW BEST:: SOT 123390992 SOS 81297302 HAS SOPS 66580044 HAS SOUS 20089539 HAS SOUPS 19542837 WITH SCORE 1.9624134302E7
AT ITER 3092 NEW BEST:: SOT 123390471 SOS 81295656 HAS SOPS 66576823 HAS SOUS 20088616 HAS SOUPS 19541914 WITH SCORE 1.9623209656E7
AT ITER 3111 NEW BEST:: SOT 123407755 SOS 81328682 HAS SOPS 66601891 HAS SOUS 20078726 HAS SOUPS 19532024 WITH SCORE 1.9613352682E7
AT ITER 3112 NEW BEST:: SOT 123409344 SOS 81329581 HAS SOPS 66606754 HAS SOUS 20078205 HAS SOUPS 19531606 WITH SCORE 1.9612935581E7
AT ITER 3116 NEW BEST:: SOT 123409303 SOS 81329398 HAS SOPS 66606715 HAS SOUS 20077330 HAS SOUPS 19530755 WITH SCORE 1.9612084398E7
AT ITER 3119 NEW BEST:: SOT 123393665 SOS 81303708 HAS SOPS 66577942 HAS SOUS 20072990 HAS SOUPS 19526566 WITH SCORE 1.9607869708E7
AT ITER 3123 NEW BEST:: SOT 123394234 SOS 81304380 HAS SOPS 66572959 HAS SOUS 20067223 HAS SOUPS 19518023 WITH SCORE 1.959932738E7
AT ITER 3138 NEW BEST:: SOT 123402112 SOS 81320010 HAS SOPS 66608174 HAS SOUS 20042133 HAS SOUPS 19493292 WITH SCORE 1.957461201E7
AT ITER 3142 NEW BEST:: SOT 123399979 SOS 81317405 HAS SOPS 66604277 HAS SOUS 20038816 HAS SOUPS 19489957 WITH SCORE 1.9571274405E7
AT ITER 3143 NEW BEST:: SOT 123425819 SOS 81357283 HAS SOPS 66644140 HAS SOUS 20025842 HAS SOUPS 19476983 WITH SCORE 1.9558340283E7
AT ITER 3154 NEW BEST:: SOT 123425760 SOS 81360572 HAS SOPS 66652796 HAS SOUS 20025716 HAS SOUPS 19476857 WITH SCORE 1.9558217572E7
AT ITER 3170 NEW BEST:: SOT 123418743 SOS 81352151 HAS SOPS 66642137 HAS SOUS 20011070 HAS SOUPS 19462305 WITH SCORE 1.9543657151E7
AT ITER 3185 NEW BEST:: SOT 123437179 SOS 81367737 HAS SOPS 66666741 HAS SOUS 20005811 HAS SOUPS 19457856 WITH SCORE 1.9539223737E7
AT ITER 3186 NEW BEST:: SOT 123438485 SOS 81364564 HAS SOPS 66664778 HAS SOUS 20003713 HAS SOUPS 19455758 WITH SCORE 1.9537122564E7
AT ITER 3192 NEW BEST:: SOT 123438485 SOS 81364324 HAS SOPS 66665050 HAS SOUS 20003687 HAS SOUPS 19455732 WITH SCORE 1.9537096324E7
AT ITER 3197 NEW BEST:: SOT 123441595 SOS 81368764 HAS SOPS 66664516 HAS SOUS 19998805 HAS SOUPS 19450850 WITH SCORE 1.9532218764E7
AT ITER 3199 NEW BEST:: SOT 123440806 SOS 81367473 HAS SOPS 66661530 HAS SOUS 19997368 HAS SOUPS 19449234 WITH SCORE 1.9530601473E7
AT ITER 3202 NEW BEST:: SOT 123410105 SOS 81306989 HAS SOPS 66601470 HAS SOUS 19979810 HAS SOUPS 19431871 WITH SCORE 1.9513177989E7
AT ITER 3229 NEW BEST:: SOT 123385439 SOS 81282484 HAS SOPS 66575133 HAS SOUS 19952987 HAS SOUPS 19404734 WITH SCORE 1.9486016484E7
AT ITER 3255 NEW BEST:: SOT 123367535 SOS 81278288 HAS SOPS 66576843 HAS SOUS 19948149 HAS SOUPS 19399896 WITH SCORE 1.9481174288E7
AT ITER 3268 NEW BEST:: SOT 123370155 SOS 81287741 HAS SOPS 66580802 HAS SOUS 19947461 HAS SOUPS 19399147 WITH SCORE 1.9480434741E7
AT ITER 3286 NEW BEST:: SOT 123371296 SOS 81251696 HAS SOPS 66574715 HAS SOUS 19942115 HAS SOUPS 19394073 WITH SCORE 1.9475324696E7
AT ITER 3287 NEW BEST:: SOT 123347544 SOS 81234271 HAS SOPS 66547114 HAS SOUS 19875657 HAS SOUPS 19327185 WITH SCORE 1.9408419271E7
AT ITER 3291 NEW BEST:: SOT 123347499 SOS 81234365 HAS SOPS 66548851 HAS SOUS 19871300 HAS SOUPS 19323108 WITH SCORE 1.9404342365E7
AT ITER 3293 NEW BEST:: SOT 123348875 SOS 81239989 HAS SOPS 66551723 HAS SOUS 19868850 HAS SOUPS 19320572 WITH SCORE 1.9401811989E7
AT ITER 3303 NEW BEST:: SOT 123315007 SOS 81193835 HAS SOPS 66524290 HAS SOUS 19822372 HAS SOUPS 19274316 WITH SCORE 1.9355509835E7
AT ITER 3310 NEW BEST:: SOT 123315337 SOS 81194800 HAS SOPS 66525567 HAS SOUS 19822163 HAS SOUPS 19274095 WITH SCORE 1.93552898E7
AT ITER 3313 NEW BEST:: SOT 123315337 SOS 81195020 HAS SOPS 66525771 HAS SOUS 19822162 HAS SOUPS 19274094 WITH SCORE 1.935528902E7
AT ITER 3331 NEW BEST:: SOT 123319184 SOS 81203796 HAS SOPS 66529687 HAS SOUS 19818742 HAS SOUPS 19270674 WITH SCORE 1.9351877796E7
AT ITER 3354 NEW BEST:: SOT 123319932 SOS 81206224 HAS SOPS 66526156 HAS SOUS 19809554 HAS SOUPS 19261486 WITH SCORE 1.9342692224E7
AT ITER 3399 NEW BEST:: SOT 123300597 SOS 81186929 HAS SOPS 66503978 HAS SOUS 19777440 HAS SOUPS 19229371 WITH SCORE 1.9310557929E7
AT ITER 3423 NEW BEST:: SOT 123301247 SOS 81186251 HAS SOPS 66502380 HAS SOUS 19775627 HAS SOUPS 19227465 WITH SCORE 1.9308651251E7
AT ITER 3438 NEW BEST:: SOT 123290910 SOS 81181845 HAS SOPS 66488062 HAS SOUS 19744405 HAS SOUPS 19196509 WITH SCORE 1.9277690845E7
AT ITER 3448 NEW BEST:: SOT 123290282 SOS 81180978 HAS SOPS 66486962 HAS SOUS 19742977 HAS SOUPS 19195096 WITH SCORE 1.9276276978E7
AT ITER 3450 NEW BEST:: SOT 123280105 SOS 81170656 HAS SOPS 66474443 HAS SOUS 19726702 HAS SOUPS 19178160 WITH SCORE 1.9259330656E7
AT ITER 3461 NEW BEST:: SOT 123276235 SOS 81172401 HAS SOPS 66474600 HAS SOUS 19699273 HAS SOUPS 19150731 WITH SCORE 1.9231903401E7
AT ITER 3462 NEW BEST:: SOT 123275461 SOS 81171164 HAS SOPS 66474590 HAS SOUS 19697759 HAS SOUPS 19149231 WITH SCORE 1.9230402164E7
AT ITER 3468 NEW BEST:: SOT 123272878 SOS 81167583 HAS SOPS 66472854 HAS SOUS 19696180 HAS SOUPS 19147693 WITH SCORE 1.9228860583E7
AT ITER 3475 NEW BEST:: SOT 123359344 SOS 81337658 HAS SOPS 66650138 HAS SOUS 19669989 HAS SOUPS 19121500 WITH SCORE 1.9202837658E7
AT ITER 3477 NEW BEST:: SOT 123354497 SOS 81329601 HAS SOPS 66643327 HAS SOUS 19665673 HAS SOUPS 19117184 WITH SCORE 1.9198513601E7
AT ITER 3517 NEW BEST:: SOT 123364368 SOS 81334857 HAS SOPS 66638739 HAS SOUS 19665155 HAS SOUPS 19116666 WITH SCORE 1.9198000857E7
AT ITER 3527 NEW BEST:: SOT 123364369 SOS 81334892 HAS SOPS 66638836 HAS SOUS 19665151 HAS SOUPS 19116663 WITH SCORE 1.9197997892E7
AT ITER 3550 NEW BEST:: SOT 123361713 SOS 81333210 HAS SOPS 66637570 HAS SOUS 19656433 HAS SOUPS 19107945 WITH SCORE 1.918927821E7
AT ITER 3553 NEW BEST:: SOT 123329959 SOS 81305055 HAS SOPS 66605132 HAS SOUS 19607293 HAS SOUPS 19058805 WITH SCORE 1.9140110055E7
AT ITER 3563 NEW BEST:: SOT 123337296 SOS 81336779 HAS SOPS 66626570 HAS SOUS 19606292 HAS SOUPS 19057804 WITH SCORE 1.9139140779E7
AT ITER 3581 NEW BEST:: SOT 123337343 SOS 81340839 HAS SOPS 66628738 HAS SOUS 19605947 HAS SOUPS 19057459 WITH SCORE 1.9138799839E7
AT ITER 3602 NEW BEST:: SOT 123342662 SOS 81349798 HAS SOPS 66637137 HAS SOUS 19605895 HAS SOUPS 19057407 WITH SCORE 1.9138756798E7
AT ITER 3613 NEW BEST:: SOT 123338951 SOS 81345212 HAS SOPS 66633386 HAS SOUS 19602309 HAS SOUPS 19053821 WITH SCORE 1.9135166212E7
AT ITER 3623 NEW BEST:: SOT 123334661 SOS 81330314 HAS SOPS 66620521 HAS SOUS 19589915 HAS SOUPS 19041519 WITH SCORE 1.9122849314E7
AT ITER 3633 NEW BEST:: SOT 123330915 SOS 81321787 HAS SOPS 66614262 HAS SOUS 19576977 HAS SOUPS 19028581 WITH SCORE 1.9109902787E7
AT ITER 3641 NEW BEST:: SOT 123318984 SOS 81312462 HAS SOPS 66599876 HAS SOUS 19546218 HAS SOUPS 18997928 WITH SCORE 1.9079240462E7
AT ITER 3650 NEW BEST:: SOT 123314521 SOS 81309367 HAS SOPS 66597217 HAS SOUS 19544913 HAS SOUPS 18996623 WITH SCORE 1.9077932367E7
AT ITER 3671 NEW BEST:: SOT 123306210 SOS 81298579 HAS SOPS 66586599 HAS SOUS 19533451 HAS SOUPS 18985161 WITH SCORE 1.9066459579E7
AT ITER 3673 NEW BEST:: SOT 123311303 SOS 81305144 HAS SOPS 66592059 HAS SOUS 19531495 HAS SOUPS 18983205 WITH SCORE 1.9064510144E7
AT ITER 3676 NEW BEST:: SOT 123311004 SOS 81304757 HAS SOPS 66591672 HAS SOUS 19530865 HAS SOUPS 18982575 WITH SCORE 1.9063879757E7
AT ITER 3686 NEW BEST:: SOT 123311415 SOS 81305220 HAS SOPS 66592245 HAS SOUS 19530425 HAS SOUPS 18982159 WITH SCORE 1.906346422E7
AT ITER 3700 NEW BEST:: SOT 123280119 SOS 81260528 HAS SOPS 66547980 HAS SOUS 19488878 HAS SOUPS 18940709 WITH SCORE 1.9021969528E7
AT ITER 3709 NEW BEST:: SOT 123279745 SOS 81259986 HAS SOPS 66546778 HAS SOUS 19488500 HAS SOUPS 18940131 WITH SCORE 1.9021390986E7
AT ITER 3724 NEW BEST:: SOT 123280627 SOS 81269849 HAS SOPS 66552613 HAS SOUS 19486466 HAS SOUPS 18936960 WITH SCORE 1.9018229849E7
AT ITER 3746 NEW BEST:: SOT 123273685 SOS 81264159 HAS SOPS 66544218 HAS SOUS 19471005 HAS SOUPS 18920909 WITH SCORE 1.9002173159E7
AT ITER 3749 NEW BEST:: SOT 123247907 SOS 81202437 HAS SOPS 66488941 HAS SOUS 19462675 HAS SOUPS 18912579 WITH SCORE 1.8993781437E7
AT ITER 3759 NEW BEST:: SOT 123229862 SOS 81169699 HAS SOPS 66459763 HAS SOUS 19440119 HAS SOUPS 18890023 WITH SCORE 1.8971192699E7
AT ITER 3762 NEW BEST:: SOT 123231306 SOS 81167043 HAS SOPS 66459511 HAS SOUS 19439359 HAS SOUPS 18889263 WITH SCORE 1.8970430043E7
AT ITER 3796 NEW BEST:: SOT 123234156 SOS 81169241 HAS SOPS 66459385 HAS SOUS 19434482 HAS SOUPS 18884212 WITH SCORE 1.8965381241E7
AT ITER 3799 NEW BEST:: SOT 123234156 SOS 81173625 HAS SOPS 66465273 HAS SOUS 19434436 HAS SOUPS 18884166 WITH SCORE 1.8965339625E7
AT ITER 3826 NEW BEST:: SOT 123261025 SOS 81207280 HAS SOPS 66505286 HAS SOUS 19416311 HAS SOUPS 18866041 WITH SCORE 1.894724828E7
AT ITER 3833 NEW BEST:: SOT 123254430 SOS 81200925 HAS SOPS 66499879 HAS SOUS 19403748 HAS SOUPS 18853478 WITH SCORE 1.8934678925E7
AT ITER 3838 NEW BEST:: SOT 123254592 SOS 81200200 HAS SOPS 66499298 HAS SOUS 19403535 HAS SOUPS 18853272 WITH SCORE 1.89344722E7
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 13847716 kB
After kill :
MemTotal: 16393216 kB
MemFree: 15955320 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="RERS17pb115-PT-1"
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 RERS17pb115-PT-1, 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-167889204100152"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/RERS17pb115-PT-1.tgz
mv RERS17pb115-PT-1 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 ;