About the Execution of Smart+red for RERS17pb114-PT-8
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 2223.235 | 3600000.00 | 3852477.00 | 7340.00 | [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-167889204100136.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is RERS17pb114-PT-8, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r331-tall-167889204100136
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 73M
-rw-r--r-- 1 mcc users 6.2K Feb 26 05:04 CTLCardinality.txt
-rw-r--r-- 1 mcc users 63K Feb 26 05:04 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.0K Feb 26 05:00 CTLFireability.txt
-rw-r--r-- 1 mcc users 58K Feb 26 05:00 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K 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 3.0K Feb 25 16:39 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:39 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 26 05:11 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 159K Feb 26 05:11 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.7K Feb 26 05:08 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 59K Feb 26 05:08 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:39 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:39 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 2 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 73M Mar 5 18:23 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1679078560589
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=RERS17pb114-PT-8
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-17 18:42:42] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-17 18:42:42] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-17 18:42:44] [INFO ] Load time of PNML (sax parser for PT used): 2023 ms
[2023-03-17 18:42:45] [INFO ] Transformed 1446 places.
[2023-03-17 18:42:45] [INFO ] Transformed 151085 transitions.
[2023-03-17 18:42:45] [INFO ] Parsed PT model containing 1446 places and 151085 transitions and 604252 arcs in 2605 ms.
[2023-03-17 18:42:45] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1446 places, 151085 transitions and 604252 arcs took 379 ms.
Total runtime 3022 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb114 (PT), instance 8
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart
Filename model.pnml
Petri model created: 1446 places, 151085 transitions, 604252 arcs.
AT ITER 0 NEW BEST:: SOT 133637376 SOS 82102937 HAS SOPS 66701866 HAS SOUS 26450299 HAS SOUPS 25820610 WITH SCORE 2.5902712937E7
AT ITER 16 NEW BEST:: SOT 133636981 SOS 82094472 HAS SOPS 66696115 HAS SOUS 26450039 HAS SOUPS 25820350 WITH SCORE 2.5902444472E7
AT ITER 27 NEW BEST:: SOT 133656886 SOS 82140003 HAS SOPS 66728177 HAS SOUS 26448320 HAS SOUPS 25818631 WITH SCORE 2.5900771003E7
AT ITER 30 NEW BEST:: SOT 133656298 SOS 82139279 HAS SOPS 66727081 HAS SOUS 26446428 HAS SOUPS 25816739 WITH SCORE 2.5898878279E7
AT ITER 31 NEW BEST:: SOT 133671832 SOS 82172361 HAS SOPS 66748063 HAS SOUS 26444645 HAS SOUPS 25814956 WITH SCORE 2.5897128361E7
AT ITER 44 NEW BEST:: SOT 133668213 SOS 82167131 HAS SOPS 66743655 HAS SOUS 26442373 HAS SOUPS 25812684 WITH SCORE 2.5894851131E7
AT ITER 50 NEW BEST:: SOT 133670685 SOS 82185170 HAS SOPS 66749549 HAS SOUS 26414532 HAS SOUPS 25784843 WITH SCORE 2.586702817E7
AT ITER 71 NEW BEST:: SOT 133674814 SOS 82188135 HAS SOPS 66746776 HAS SOUS 26412443 HAS SOUPS 25782966 WITH SCORE 2.5865154135E7
AT ITER 77 NEW BEST:: SOT 133675745 SOS 82191442 HAS SOPS 66748142 HAS SOUS 26410597 HAS SOUPS 25781120 WITH SCORE 2.5863311442E7
AT ITER 101 NEW BEST:: SOT 133674983 SOS 82191125 HAS SOPS 66747293 HAS SOUS 26409064 HAS SOUPS 25779587 WITH SCORE 2.5861778125E7
AT ITER 119 NEW BEST:: SOT 133751407 SOS 82256157 HAS SOPS 66781618 HAS SOUS 26399612 HAS SOUPS 25769120 WITH SCORE 2.5851376157E7
AT ITER 125 NEW BEST:: SOT 133758286 SOS 82267129 HAS SOPS 66799075 HAS SOUS 26389907 HAS SOUPS 25759415 WITH SCORE 2.5841682129E7
AT ITER 126 NEW BEST:: SOT 133762371 SOS 82285178 HAS SOPS 66807821 HAS SOUS 26383362 HAS SOUPS 25752870 WITH SCORE 2.5835155178E7
AT ITER 127 NEW BEST:: SOT 133760197 SOS 82279710 HAS SOPS 66802309 HAS SOUS 26381480 HAS SOUPS 25750988 WITH SCORE 2.583326771E7
AT ITER 129 NEW BEST:: SOT 133768124 SOS 82284397 HAS SOPS 66818294 HAS SOUS 26381290 HAS SOUPS 25750798 WITH SCORE 2.5833082397E7
AT ITER 130 NEW BEST:: SOT 133765132 SOS 82280528 HAS SOPS 66814948 HAS SOUS 26374313 HAS SOUPS 25743821 WITH SCORE 2.5826101528E7
AT ITER 136 NEW BEST:: SOT 133746586 SOS 82279327 HAS SOPS 66810542 HAS SOUS 26327745 HAS SOUPS 25697122 WITH SCORE 2.5779401327E7
AT ITER 138 NEW BEST:: SOT 133750998 SOS 82299403 HAS SOPS 66837946 HAS SOUS 26322439 HAS SOUPS 25691816 WITH SCORE 2.5774115403E7
AT ITER 141 NEW BEST:: SOT 133751228 SOS 82297561 HAS SOPS 66841712 HAS SOUS 26321204 HAS SOUPS 25690665 WITH SCORE 2.5772962561E7
AT ITER 161 NEW BEST:: SOT 133757184 SOS 82336404 HAS SOPS 66883118 HAS SOUS 26321097 HAS SOUPS 25690558 WITH SCORE 2.5772894404E7
AT ITER 162 NEW BEST:: SOT 133754574 SOS 82332220 HAS SOPS 66879474 HAS SOUS 26317475 HAS SOUPS 25686936 WITH SCORE 2.576926822E7
AT ITER 170 NEW BEST:: SOT 133747122 SOS 82321652 HAS SOPS 66869562 HAS SOUS 26309097 HAS SOUPS 25678558 WITH SCORE 2.5760879652E7
AT ITER 173 NEW BEST:: SOT 133739855 SOS 82296138 HAS SOPS 66849692 HAS SOUS 26308356 HAS SOUPS 25677817 WITH SCORE 2.5760113138E7
AT ITER 179 NEW BEST:: SOT 133740557 SOS 82311990 HAS SOPS 66868584 HAS SOUS 26307835 HAS SOUPS 25677296 WITH SCORE 2.575960799E7
AT ITER 180 NEW BEST:: SOT 133742576 SOS 82314611 HAS SOPS 66869706 HAS SOUS 26303317 HAS SOUPS 25672778 WITH SCORE 2.5755092611E7
AT ITER 182 NEW BEST:: SOT 133745643 SOS 82323115 HAS SOPS 66892649 HAS SOUS 26299904 HAS SOUPS 25669303 WITH SCORE 2.5751626115E7
AT ITER 199 NEW BEST:: SOT 133740029 SOS 82301552 HAS SOPS 66880469 HAS SOUS 26299705 HAS SOUPS 25669104 WITH SCORE 2.5751405552E7
AT ITER 204 NEW BEST:: SOT 133737536 SOS 82298969 HAS SOPS 66874700 HAS SOUS 26292185 HAS SOUPS 25661472 WITH SCORE 2.5743770969E7
AT ITER 212 NEW BEST:: SOT 133737534 SOS 82299264 HAS SOPS 66875154 HAS SOUS 26292027 HAS SOUPS 25661314 WITH SCORE 2.5743613264E7
AT ITER 219 NEW BEST:: SOT 133738847 SOS 82307982 HAS SOPS 66883859 HAS SOUS 26288238 HAS SOUPS 25657525 WITH SCORE 2.5739832982E7
AT ITER 221 NEW BEST:: SOT 133725336 SOS 82316715 HAS SOPS 66894271 HAS SOUS 26210969 HAS SOUPS 25580256 WITH SCORE 2.5662572715E7
AT ITER 222 NEW BEST:: SOT 133722146 SOS 82306091 HAS SOPS 66886819 HAS SOUS 26209625 HAS SOUPS 25578912 WITH SCORE 2.5661218091E7
AT ITER 224 NEW BEST:: SOT 133722762 SOS 82307801 HAS SOPS 66887862 HAS SOUS 26209399 HAS SOUPS 25578686 WITH SCORE 2.5660993801E7
AT ITER 225 NEW BEST:: SOT 133723280 SOS 82312731 HAS SOPS 66895186 HAS SOUS 26207537 HAS SOUPS 25576824 WITH SCORE 2.5659136731E7
AT ITER 230 NEW BEST:: SOT 133722986 SOS 82312557 HAS SOPS 66895000 HAS SOUS 26207417 HAS SOUPS 25576704 WITH SCORE 2.5659016557E7
AT ITER 232 NEW BEST:: SOT 133714342 SOS 82303913 HAS SOPS 66886356 HAS SOUS 26196821 HAS SOUPS 25566108 WITH SCORE 2.5648411913E7
AT ITER 245 NEW BEST:: SOT 133714413 SOS 82306252 HAS SOPS 66886607 HAS SOUS 26194287 HAS SOUPS 25563562 WITH SCORE 2.5645868252E7
AT ITER 248 NEW BEST:: SOT 133712982 SOS 82304373 HAS SOPS 66884314 HAS SOUS 26192600 HAS SOUPS 25561875 WITH SCORE 2.5644179373E7
AT ITER 255 NEW BEST:: SOT 133714241 SOS 82307653 HAS SOPS 66884884 HAS SOUS 26190265 HAS SOUPS 25559540 WITH SCORE 2.5641847653E7
AT ITER 269 NEW BEST:: SOT 133710265 SOS 82303677 HAS SOPS 66880908 HAS SOUS 26185009 HAS SOUPS 25554284 WITH SCORE 2.5636587677E7
AT ITER 285 NEW BEST:: SOT 133709670 SOS 82305196 HAS SOPS 66881183 HAS SOUS 26180940 HAS SOUPS 25550215 WITH SCORE 2.5632520196E7
AT ITER 286 NEW BEST:: SOT 133740985 SOS 82411795 HAS SOPS 66972360 HAS SOUS 26176095 HAS SOUPS 25545370 WITH SCORE 2.5627781795E7
AT ITER 295 NEW BEST:: SOT 133703227 SOS 82373742 HAS SOPS 66934243 HAS SOUS 26136248 HAS SOUPS 25505523 WITH SCORE 2.5587896742E7
AT ITER 296 NEW BEST:: SOT 133736337 SOS 82471089 HAS SOPS 67041460 HAS SOUS 26125262 HAS SOUPS 25494537 WITH SCORE 2.5577008089E7
AT ITER 298 NEW BEST:: SOT 133736341 SOS 82471155 HAS SOPS 67041478 HAS SOUS 26125033 HAS SOUPS 25494308 WITH SCORE 2.5576779155E7
AT ITER 304 NEW BEST:: SOT 133737869 SOS 82483377 HAS SOPS 67049694 HAS SOUS 26114177 HAS SOUPS 25483452 WITH SCORE 2.5565935377E7
AT ITER 314 NEW BEST:: SOT 133736187 SOS 82479664 HAS SOPS 67047414 HAS SOUS 26113576 HAS SOUPS 25483052 WITH SCORE 2.5565531664E7
AT ITER 315 NEW BEST:: SOT 133726707 SOS 82470155 HAS SOPS 67037809 HAS SOUS 26107707 HAS SOUPS 25477135 WITH SCORE 2.5559605155E7
AT ITER 339 NEW BEST:: SOT 133731896 SOS 82513006 HAS SOPS 67070594 HAS SOUS 26086462 HAS SOUPS 25455890 WITH SCORE 2.5538403006E7
AT ITER 341 NEW BEST:: SOT 133707228 SOS 82465457 HAS SOPS 67028051 HAS SOUS 26080033 HAS SOUPS 25449461 WITH SCORE 2.5531926457E7
AT ITER 353 NEW BEST:: SOT 133704934 SOS 82443521 HAS SOPS 67009807 HAS SOUS 26077507 HAS SOUPS 25446935 WITH SCORE 2.5529378521E7
AT ITER 373 NEW BEST:: SOT 133702317 SOS 82448885 HAS SOPS 67010956 HAS SOUS 26067794 HAS SOUPS 25437222 WITH SCORE 2.5519670885E7
AT ITER 385 NEW BEST:: SOT 133702302 SOS 82448942 HAS SOPS 67011033 HAS SOUS 26067707 HAS SOUPS 25437135 WITH SCORE 2.5519583942E7
AT ITER 386 NEW BEST:: SOT 133670044 SOS 82389747 HAS SOPS 66973999 HAS SOUS 26031272 HAS SOUPS 25400700 WITH SCORE 2.5483089747E7
AT ITER 390 NEW BEST:: SOT 133678042 SOS 82416230 HAS SOPS 66997597 HAS SOUS 26023535 HAS SOUPS 25392963 WITH SCORE 2.547537923E7
AT ITER 392 NEW BEST:: SOT 133660843 SOS 82392436 HAS SOPS 66973404 HAS SOUS 25996445 HAS SOUPS 25365957 WITH SCORE 2.5448349436E7
AT ITER 393 NEW BEST:: SOT 133640644 SOS 82359636 HAS SOPS 66944016 HAS SOUS 25970946 HAS SOUPS 25340734 WITH SCORE 2.5423093636E7
AT ITER 408 NEW BEST:: SOT 133665187 SOS 82422767 HAS SOPS 66993008 HAS SOUS 25964691 HAS SOUPS 25334479 WITH SCORE 2.5416901767E7
AT ITER 444 NEW BEST:: SOT 133678972 SOS 82456854 HAS SOPS 67018684 HAS SOUS 25959631 HAS SOUPS 25329419 WITH SCORE 2.5411875854E7
AT ITER 445 NEW BEST:: SOT 133684297 SOS 82453119 HAS SOPS 66999339 HAS SOUS 25931205 HAS SOUPS 25301091 WITH SCORE 2.5383544119E7
AT ITER 447 NEW BEST:: SOT 133526463 SOS 82264699 HAS SOPS 66825010 HAS SOUS 25762761 HAS SOUPS 25133070 WITH SCORE 2.5215334699E7
AT ITER 455 NEW BEST:: SOT 133525521 SOS 82263757 HAS SOPS 66824148 HAS SOUS 25760779 HAS SOUPS 25131088 WITH SCORE 2.5213351757E7
AT ITER 459 NEW BEST:: SOT 133525424 SOS 82264310 HAS SOPS 66824016 HAS SOUS 25760272 HAS SOUPS 25130581 WITH SCORE 2.521284531E7
AT ITER 470 NEW BEST:: SOT 133505688 SOS 82245826 HAS SOPS 66804258 HAS SOUS 25733587 HAS SOUPS 25103931 WITH SCORE 2.5186176826E7
AT ITER 478 NEW BEST:: SOT 133505512 SOS 82243348 HAS SOPS 66803703 HAS SOUS 25733177 HAS SOUPS 25103545 WITH SCORE 2.5185788348E7
AT ITER 479 NEW BEST:: SOT 133505140 SOS 82242125 HAS SOPS 66823875 HAS SOUS 25718400 HAS SOUPS 25088782 WITH SCORE 2.5171024125E7
AT ITER 483 NEW BEST:: SOT 133501791 SOS 82259115 HAS SOPS 66839962 HAS SOUS 25716442 HAS SOUPS 25086824 WITH SCORE 2.5169083115E7
AT ITER 507 NEW BEST:: SOT 133504991 SOS 82275932 HAS SOPS 66855065 HAS SOUS 25702851 HAS SOUPS 25073140 WITH SCORE 2.5155415932E7
AT ITER 509 NEW BEST:: SOT 133522826 SOS 82294672 HAS SOPS 66860001 HAS SOUS 25701102 HAS SOUPS 25071391 WITH SCORE 2.5153685672E7
AT ITER 521 NEW BEST:: SOT 133516383 SOS 82286414 HAS SOPS 66852127 HAS SOUS 25699193 HAS SOUPS 25069443 WITH SCORE 2.5151729414E7
AT ITER 532 NEW BEST:: SOT 133536829 SOS 82388753 HAS SOPS 66949571 HAS SOUS 25698676 HAS SOUPS 25068926 WITH SCORE 2.5151314753E7
AT ITER 533 NEW BEST:: SOT 133534840 SOS 82386764 HAS SOPS 66947390 HAS SOUS 25697519 HAS SOUPS 25067577 WITH SCORE 2.5149963764E7
AT ITER 535 NEW BEST:: SOT 133526070 SOS 82356985 HAS SOPS 66941366 HAS SOUS 25696005 HAS SOUPS 25066063 WITH SCORE 2.5148419985E7
AT ITER 545 NEW BEST:: SOT 133533036 SOS 82405384 HAS SOPS 66983339 HAS SOUS 25680143 HAS SOUPS 25050201 WITH SCORE 2.5132606384E7
AT ITER 549 NEW BEST:: SOT 133533219 SOS 82402796 HAS SOPS 66987931 HAS SOUS 25676493 HAS SOUPS 25046664 WITH SCORE 2.5129066796E7
AT ITER 553 NEW BEST:: SOT 133535299 SOS 82404913 HAS SOPS 66988833 HAS SOUS 25675764 HAS SOUPS 25045875 WITH SCORE 2.5128279913E7
AT ITER 560 NEW BEST:: SOT 133528608 SOS 82395350 HAS SOPS 66978339 HAS SOUS 25662462 HAS SOUPS 25032638 WITH SCORE 2.511503335E7
AT ITER 575 NEW BEST:: SOT 133539366 SOS 82415346 HAS SOPS 66994436 HAS SOUS 25651352 HAS SOUPS 25021528 WITH SCORE 2.5103943346E7
AT ITER 589 NEW BEST:: SOT 133539071 SOS 82418629 HAS SOPS 66993484 HAS SOUS 25646743 HAS SOUPS 25016919 WITH SCORE 2.5099337629E7
AT ITER 593 NEW BEST:: SOT 133549987 SOS 82414443 HAS SOPS 66992707 HAS SOUS 25638333 HAS SOUPS 25009197 WITH SCORE 2.5091611443E7
AT ITER 595 NEW BEST:: SOT 133550411 SOS 82415395 HAS SOPS 66995194 HAS SOUS 25636846 HAS SOUPS 25007710 WITH SCORE 2.5090125395E7
AT ITER 606 NEW BEST:: SOT 133551238 SOS 82416030 HAS SOPS 66995590 HAS SOUS 25632866 HAS SOUPS 25004563 WITH SCORE 2.508697903E7
AT ITER 614 NEW BEST:: SOT 133564818 SOS 82432634 HAS SOPS 67020125 HAS SOUS 25625944 HAS SOUPS 25000224 WITH SCORE 2.5082656634E7
AT ITER 618 NEW BEST:: SOT 133519406 SOS 82386459 HAS SOPS 66967179 HAS SOUS 25550175 HAS SOUPS 24924627 WITH SCORE 2.5007013459E7
AT ITER 626 NEW BEST:: SOT 133573137 SOS 82550091 HAS SOPS 67130200 HAS SOUS 25519237 HAS SOUPS 24893689 WITH SCORE 2.4976239091E7
AT ITER 628 NEW BEST:: SOT 133566867 SOS 82555945 HAS SOPS 67127756 HAS SOUS 25494640 HAS SOUPS 24868984 WITH SCORE 2.4951539945E7
AT ITER 630 NEW BEST:: SOT 133556007 SOS 82541173 HAS SOPS 67113782 HAS SOUS 25482616 HAS SOUPS 24856960 WITH SCORE 2.4939501173E7
AT ITER 632 NEW BEST:: SOT 133554824 SOS 82539647 HAS SOPS 67111955 HAS SOUS 25480642 HAS SOUPS 24854986 WITH SCORE 2.4937525647E7
AT ITER 634 NEW BEST:: SOT 133563599 SOS 82594046 HAS SOPS 67168793 HAS SOUS 25467305 HAS SOUPS 24841649 WITH SCORE 2.4924243046E7
AT ITER 636 NEW BEST:: SOT 133563626 SOS 82594883 HAS SOPS 67169385 HAS SOUS 25466841 HAS SOUPS 24841185 WITH SCORE 2.4923779883E7
AT ITER 652 NEW BEST:: SOT 133564577 SOS 82597077 HAS SOPS 67172560 HAS SOUS 25465196 HAS SOUPS 24839540 WITH SCORE 2.4922137077E7
AT ITER 654 NEW BEST:: SOT 133556176 SOS 82586915 HAS SOPS 67160441 HAS SOUS 25444856 HAS SOUPS 24819353 WITH SCORE 2.4901939915E7
AT ITER 662 NEW BEST:: SOT 133539743 SOS 82556316 HAS SOPS 67140539 HAS SOUS 25442323 HAS SOUPS 24816820 WITH SCORE 2.4899376316E7
AT ITER 663 NEW BEST:: SOT 133535010 SOS 82546495 HAS SOPS 67130940 HAS SOUS 25431764 HAS SOUPS 24806261 WITH SCORE 2.4888807495E7
AT ITER 666 NEW BEST:: SOT 133522529 SOS 82533665 HAS SOPS 67138070 HAS SOUS 25368766 HAS SOUPS 24744319 WITH SCORE 2.4826852665E7
AT ITER 672 NEW BEST:: SOT 133522551 SOS 82535351 HAS SOPS 67139659 HAS SOUS 25368592 HAS SOUPS 24744145 WITH SCORE 2.4826680351E7
AT ITER 677 NEW BEST:: SOT 133522915 SOS 82534787 HAS SOPS 67140445 HAS SOUS 25364880 HAS SOUPS 24740652 WITH SCORE 2.4823186787E7
AT ITER 697 NEW BEST:: SOT 133522846 SOS 82534844 HAS SOPS 67140166 HAS SOUS 25364177 HAS SOUPS 24739949 WITH SCORE 2.4822483844E7
AT ITER 700 NEW BEST:: SOT 133521998 SOS 82533714 HAS SOPS 67138472 HAS SOUS 25360834 HAS SOUPS 24736606 WITH SCORE 2.4819139714E7
AT ITER 702 NEW BEST:: SOT 133526819 SOS 82542303 HAS SOPS 67145897 HAS SOUS 25360104 HAS SOUPS 24735876 WITH SCORE 2.4818418303E7
AT ITER 708 NEW BEST:: SOT 133526860 SOS 82542843 HAS SOPS 67147178 HAS SOUS 25360030 HAS SOUPS 24735802 WITH SCORE 2.4818344843E7
AT ITER 717 NEW BEST:: SOT 133512924 SOS 82537604 HAS SOPS 67133830 HAS SOUS 25289890 HAS SOUPS 24665448 WITH SCORE 2.4747985604E7
AT ITER 720 NEW BEST:: SOT 133517968 SOS 82545580 HAS SOPS 67145995 HAS SOUS 25269109 HAS SOUPS 24646483 WITH SCORE 2.472902858E7
AT ITER 735 NEW BEST:: SOT 133514464 SOS 82549781 HAS SOPS 67151305 HAS SOUS 25252663 HAS SOUPS 24629884 WITH SCORE 2.4712433781E7
AT ITER 741 NEW BEST:: SOT 133507311 SOS 82542628 HAS SOPS 67144152 HAS SOUS 25246198 HAS SOUPS 24623419 WITH SCORE 2.4705961628E7
AT ITER 777 NEW BEST:: SOT 133507457 SOS 82544304 HAS SOPS 67144116 HAS SOUS 25242436 HAS SOUPS 24619657 WITH SCORE 2.4702201304E7
AT ITER 779 NEW BEST:: SOT 133503514 SOS 82540361 HAS SOPS 67140173 HAS SOUS 25238493 HAS SOUPS 24615714 WITH SCORE 2.4698254361E7
AT ITER 781 NEW BEST:: SOT 133505953 SOS 82542659 HAS SOPS 67141689 HAS SOUS 25238168 HAS SOUPS 24615291 WITH SCORE 2.4697833659E7
AT ITER 783 NEW BEST:: SOT 133502590 SOS 82524059 HAS SOPS 67131794 HAS SOUS 25236006 HAS SOUPS 24613129 WITH SCORE 2.4695653059E7
AT ITER 785 NEW BEST:: SOT 133527811 SOS 82557618 HAS SOPS 67234213 HAS SOUS 25231592 HAS SOUPS 24608715 WITH SCORE 2.4691272618E7
AT ITER 796 NEW BEST:: SOT 133502864 SOS 82532671 HAS SOPS 67208146 HAS SOUS 25203365 HAS SOUPS 24580488 WITH SCORE 2.4663020671E7
AT ITER 799 NEW BEST:: SOT 133490158 SOS 82519265 HAS SOPS 67194202 HAS SOUS 25178129 HAS SOUPS 24555362 WITH SCORE 2.4637881265E7
AT ITER 800 NEW BEST:: SOT 133413692 SOS 82360172 HAS SOPS 67079883 HAS SOUS 25158840 HAS SOUPS 24535744 WITH SCORE 2.4618104172E7
AT ITER 804 NEW BEST:: SOT 133413988 SOS 82361144 HAS SOPS 67080081 HAS SOUS 25158590 HAS SOUPS 24535494 WITH SCORE 2.4617855144E7
AT ITER 806 NEW BEST:: SOT 133364435 SOS 82257903 HAS SOPS 66994787 HAS SOUS 25129636 HAS SOUPS 24506540 WITH SCORE 2.4588797903E7
AT ITER 827 NEW BEST:: SOT 133336958 SOS 82218370 HAS SOPS 66959218 HAS SOUS 25097026 HAS SOUPS 24474079 WITH SCORE 2.455629737E7
AT ITER 834 NEW BEST:: SOT 133335872 SOS 82216936 HAS SOPS 66957259 HAS SOUS 25094301 HAS SOUPS 24471354 WITH SCORE 2.4553570936E7
AT ITER 840 NEW BEST:: SOT 133335872 SOS 82216853 HAS SOPS 66957358 HAS SOUS 25094279 HAS SOUPS 24471332 WITH SCORE 2.4553548853E7
AT ITER 841 NEW BEST:: SOT 133340918 SOS 82232046 HAS SOPS 66966954 HAS SOUS 25091254 HAS SOUPS 24468307 WITH SCORE 2.4550539046E7
AT ITER 842 NEW BEST:: SOT 133339138 SOS 82227840 HAS SOPS 66961986 HAS SOUS 25090754 HAS SOUPS 24467807 WITH SCORE 2.455003484E7
AT ITER 847 NEW BEST:: SOT 133343547 SOS 82230914 HAS SOPS 66963618 HAS SOUS 25089604 HAS SOUPS 24467690 WITH SCORE 2.4549920914E7
AT ITER 851 NEW BEST:: SOT 133328001 SOS 82208577 HAS SOPS 66942404 HAS SOUS 25084361 HAS SOUPS 24462569 WITH SCORE 2.4544777577E7
AT ITER 852 NEW BEST:: SOT 133328006 SOS 82208496 HAS SOPS 66942276 HAS SOUS 25084020 HAS SOUPS 24462228 WITH SCORE 2.4544436496E7
AT ITER 853 NEW BEST:: SOT 133340126 SOS 82242106 HAS SOPS 66969430 HAS SOUS 25052691 HAS SOUPS 24430899 WITH SCORE 2.4513141106E7
AT ITER 868 NEW BEST:: SOT 133341722 SOS 82250652 HAS SOPS 66975652 HAS SOUS 25051918 HAS SOUPS 24430126 WITH SCORE 2.4512376652E7
AT ITER 874 NEW BEST:: SOT 133338130 SOS 82246191 HAS SOPS 66969789 HAS SOUS 25047421 HAS SOUPS 24425629 WITH SCORE 2.4507875191E7
AT ITER 875 NEW BEST:: SOT 133336887 SOS 82242809 HAS SOPS 66967677 HAS SOUS 25046765 HAS SOUPS 24424973 WITH SCORE 2.4507215809E7
AT ITER 881 NEW BEST:: SOT 133310322 SOS 82177043 HAS SOPS 66915054 HAS SOUS 25035496 HAS SOUPS 24413704 WITH SCORE 2.4495881043E7
AT ITER 885 NEW BEST:: SOT 133310737 SOS 82188108 HAS SOPS 66927769 HAS SOUS 25034064 HAS SOUPS 24412272 WITH SCORE 2.4494460108E7
AT ITER 898 NEW BEST:: SOT 133305138 SOS 82182435 HAS SOPS 66922064 HAS SOUS 25020158 HAS SOUPS 24398713 WITH SCORE 2.4480895435E7
AT ITER 908 NEW BEST:: SOT 133309318 SOS 82202725 HAS SOPS 66950034 HAS SOUS 25017411 HAS SOUPS 24395966 WITH SCORE 2.4478168725E7
AT ITER 929 NEW BEST:: SOT 133309457 SOS 82241121 HAS SOPS 66975645 HAS SOUS 24983026 HAS SOUPS 24361581 WITH SCORE 2.4443822121E7
AT ITER 988 NEW BEST:: SOT 133309625 SOS 82241733 HAS SOPS 66975921 HAS SOUS 24981706 HAS SOUPS 24360261 WITH SCORE 2.4442502733E7
AT ITER 996 NEW BEST:: SOT 133308833 SOS 82239722 HAS SOPS 66974230 HAS SOUS 24981357 HAS SOUPS 24359920 WITH SCORE 2.4442159722E7
AT ITER 1024 NEW BEST:: SOT 133301388 SOS 82221424 HAS SOPS 66941194 HAS SOUS 24977276 HAS SOUPS 24355839 WITH SCORE 2.4438060424E7
AT ITER 1049 NEW BEST:: SOT 133290030 SOS 82201916 HAS SOPS 66926278 HAS SOUS 24964082 HAS SOUPS 24343892 WITH SCORE 2.4426093916E7
AT ITER 1060 NEW BEST:: SOT 133285931 SOS 82197531 HAS SOPS 66921022 HAS SOUS 24947159 HAS SOUPS 24326968 WITH SCORE 2.4409165531E7
AT ITER 1063 NEW BEST:: SOT 133280829 SOS 82174640 HAS SOPS 66918464 HAS SOUS 24938464 HAS SOUPS 24318273 WITH SCORE 2.440044764E7
AT ITER 1071 NEW BEST:: SOT 133258324 SOS 82107068 HAS SOPS 66876412 HAS SOUS 24924034 HAS SOUPS 24304111 WITH SCORE 2.4386218068E7
AT ITER 1088 NEW BEST:: SOT 133257174 SOS 82103978 HAS SOPS 66872044 HAS SOUS 24920715 HAS SOUPS 24300792 WITH SCORE 2.4382895978E7
AT ITER 1103 NEW BEST:: SOT 133272161 SOS 82159069 HAS SOPS 66904250 HAS SOUS 24913793 HAS SOUPS 24293870 WITH SCORE 2.4376029069E7
AT ITER 1108 NEW BEST:: SOT 133270887 SOS 82157662 HAS SOPS 66905723 HAS SOUS 24910674 HAS SOUPS 24290751 WITH SCORE 2.4372908662E7
AT ITER 1112 NEW BEST:: SOT 133285068 SOS 82190851 HAS SOPS 66926315 HAS SOUS 24907438 HAS SOUPS 24287515 WITH SCORE 2.4369705851E7
AT ITER 1113 NEW BEST:: SOT 133284986 SOS 82191065 HAS SOPS 66926093 HAS SOUS 24905744 HAS SOUPS 24285884 WITH SCORE 2.4368075065E7
AT ITER 1123 NEW BEST:: SOT 133283466 SOS 82189508 HAS SOPS 66923304 HAS SOUS 24901541 HAS SOUPS 24281697 WITH SCORE 2.4363886508E7
AT ITER 1130 NEW BEST:: SOT 133316521 SOS 82277185 HAS SOPS 67000528 HAS SOUS 24889680 HAS SOUPS 24269836 WITH SCORE 2.4352113185E7
AT ITER 1132 NEW BEST:: SOT 133313014 SOS 82269228 HAS SOPS 66993901 HAS SOUS 24889588 HAS SOUPS 24269744 WITH SCORE 2.4352013228E7
AT ITER 1133 NEW BEST:: SOT 133289896 SOS 82223462 HAS SOPS 66967317 HAS SOUS 24880593 HAS SOUPS 24260891 WITH SCORE 2.4343114462E7
AT ITER 1138 NEW BEST:: SOT 133285429 SOS 82210764 HAS SOPS 66985561 HAS SOUS 24862865 HAS SOUPS 24243427 WITH SCORE 2.4325637764E7
AT ITER 1147 NEW BEST:: SOT 133288990 SOS 82215153 HAS SOPS 66976881 HAS SOUS 24847404 HAS SOUPS 24228151 WITH SCORE 2.4310366153E7
AT ITER 1150 NEW BEST:: SOT 133281722 SOS 82215790 HAS SOPS 66985154 HAS SOUS 24836696 HAS SOUPS 24217443 WITH SCORE 2.429965879E7
AT ITER 1163 NEW BEST:: SOT 133278791 SOS 82210747 HAS SOPS 66981879 HAS SOUS 24836441 HAS SOUPS 24217188 WITH SCORE 2.4299398747E7
AT ITER 1174 NEW BEST:: SOT 133263520 SOS 82195476 HAS SOPS 66964432 HAS SOUS 24831954 HAS SOUPS 24212701 WITH SCORE 2.4294896476E7
AT ITER 1178 NEW BEST:: SOT 133232044 SOS 82151627 HAS SOPS 66919102 HAS SOUS 24787791 HAS SOUPS 24168659 WITH SCORE 2.4250810627E7
AT ITER 1180 NEW BEST:: SOT 133281171 SOS 82252978 HAS SOPS 67002996 HAS SOUS 24777462 HAS SOUPS 24158501 WITH SCORE 2.4240753978E7
AT ITER 1181 NEW BEST:: SOT 133299741 SOS 82299321 HAS SOPS 67051532 HAS SOUS 24754034 HAS SOUPS 24134949 WITH SCORE 2.4217248321E7
AT ITER 1226 NEW BEST:: SOT 133299748 SOS 82299516 HAS SOPS 67051667 HAS SOUS 24753789 HAS SOUPS 24134704 WITH SCORE 2.4217003516E7
AT ITER 1237 NEW BEST:: SOT 133299169 SOS 82295806 HAS SOPS 67048134 HAS SOUS 24752160 HAS SOUPS 24133507 WITH SCORE 2.4215802806E7
AT ITER 1239 NEW BEST:: SOT 133282423 SOS 82262072 HAS SOPS 67024453 HAS SOUS 24733013 HAS SOUPS 24114360 WITH SCORE 2.4196622072E7
AT ITER 1243 NEW BEST:: SOT 133282457 SOS 82266660 HAS SOPS 67029108 HAS SOUS 24726419 HAS SOUPS 24107766 WITH SCORE 2.419003266E7
AT ITER 1254 NEW BEST:: SOT 133286337 SOS 82290638 HAS SOPS 67044228 HAS SOUS 24723266 HAS SOUPS 24104613 WITH SCORE 2.4186903638E7
AT ITER 1266 NEW BEST:: SOT 133295706 SOS 82300657 HAS SOPS 67062017 HAS SOUS 24707944 HAS SOUPS 24096411 WITH SCORE 2.4178711657E7
AT ITER 1275 NEW BEST:: SOT 133290944 SOS 82291018 HAS SOPS 67049709 HAS SOUS 24700667 HAS SOUPS 24089200 WITH SCORE 2.4171491018E7
AT ITER 1283 NEW BEST:: SOT 133292471 SOS 82294936 HAS SOPS 67050107 HAS SOUS 24697688 HAS SOUPS 24086221 WITH SCORE 2.4168515936E7
AT ITER 1285 NEW BEST:: SOT 133271585 SOS 82221833 HAS SOPS 66994780 HAS SOUS 24694302 HAS SOUPS 24082835 WITH SCORE 2.4165056833E7
AT ITER 1289 NEW BEST:: SOT 133271362 SOS 82221390 HAS SOPS 66994114 HAS SOUS 24693633 HAS SOUPS 24082166 WITH SCORE 2.416438739E7
AT ITER 1290 NEW BEST:: SOT 133290592 SOS 82294410 HAS SOPS 67046893 HAS SOUS 24689640 HAS SOUPS 24078173 WITH SCORE 2.416046741E7
AT ITER 1295 NEW BEST:: SOT 133253615 SOS 82190996 HAS SOPS 66998095 HAS SOUS 24673386 HAS SOUPS 24062312 WITH SCORE 2.4144502996E7
AT ITER 1300 NEW BEST:: SOT 133279448 SOS 82254006 HAS SOPS 67061237 HAS SOUS 24665816 HAS SOUPS 24054742 WITH SCORE 2.4136996006E7
AT ITER 1307 NEW BEST:: SOT 133275108 SOS 82250045 HAS SOPS 67055333 HAS SOUS 24655257 HAS SOUPS 24044183 WITH SCORE 2.4126433045E7
AT ITER 1315 NEW BEST:: SOT 133269184 SOS 82241489 HAS SOPS 67050727 HAS SOUS 24649977 HAS SOUPS 24038903 WITH SCORE 2.4121144489E7
AT ITER 1324 NEW BEST:: SOT 133257054 SOS 82207855 HAS SOPS 67032296 HAS SOUS 24640388 HAS SOUPS 24029552 WITH SCORE 2.4111759855E7
AT ITER 1330 NEW BEST:: SOT 133268775 SOS 82261852 HAS SOPS 67101708 HAS SOUS 24640300 HAS SOUPS 24029464 WITH SCORE 2.4111725852E7
AT ITER 1342 NEW BEST:: SOT 133268760 SOS 82261829 HAS SOPS 67101685 HAS SOUS 24640279 HAS SOUPS 24029443 WITH SCORE 2.4111704829E7
AT ITER 1345 NEW BEST:: SOT 133269173 SOS 82262790 HAS SOPS 67102353 HAS SOUS 24639754 HAS SOUPS 24028918 WITH SCORE 2.411118079E7
AT ITER 1347 NEW BEST:: SOT 133261377 SOS 82254520 HAS SOPS 67085853 HAS SOUS 24611785 HAS SOUPS 24000949 WITH SCORE 2.408320352E7
AT ITER 1350 NEW BEST:: SOT 133257817 SOS 82250736 HAS SOPS 67081813 HAS SOUS 24607153 HAS SOUPS 23996317 WITH SCORE 2.4078567736E7
AT ITER 1366 NEW BEST:: SOT 133255013 SOS 82247632 HAS SOPS 67077738 HAS SOUS 24603140 HAS SOUPS 23992350 WITH SCORE 2.4074597632E7
AT ITER 1377 NEW BEST:: SOT 133226881 SOS 82205398 HAS SOPS 67040587 HAS SOUS 24595161 HAS SOUPS 23984479 WITH SCORE 2.4066684398E7
AT ITER 1380 NEW BEST:: SOT 133225076 SOS 82197451 HAS SOPS 67031800 HAS SOUS 24592552 HAS SOUPS 23981870 WITH SCORE 2.4064067451E7
AT ITER 1382 NEW BEST:: SOT 133219091 SOS 82185268 HAS SOPS 67021989 HAS SOUS 24589519 HAS SOUPS 23978837 WITH SCORE 2.4061022268E7
AT ITER 1389 NEW BEST:: SOT 133221724 SOS 82215257 HAS SOPS 67072414 HAS SOUS 24588105 HAS SOUPS 23977423 WITH SCORE 2.4059638257E7
AT ITER 1393 NEW BEST:: SOT 133212204 SOS 82205361 HAS SOPS 67060308 HAS SOUS 24569619 HAS SOUPS 23959193 WITH SCORE 2.4041398361E7
AT ITER 1398 NEW BEST:: SOT 133209526 SOS 82200289 HAS SOPS 67057939 HAS SOUS 24564797 HAS SOUPS 23954371 WITH SCORE 2.4036571289E7
AT ITER 1402 NEW BEST:: SOT 133110997 SOS 82101551 HAS SOPS 66952914 HAS SOUS 24435780 HAS SOUPS 23825549 WITH SCORE 2.3907650551E7
AT ITER 1406 NEW BEST:: SOT 133111070 SOS 82102732 HAS SOPS 66952524 HAS SOUS 24435054 HAS SOUPS 23824823 WITH SCORE 2.3906925732E7
AT ITER 1409 NEW BEST:: SOT 133113486 SOS 82109063 HAS SOPS 66962773 HAS SOUS 24434956 HAS SOUPS 23824725 WITH SCORE 2.3906834063E7
AT ITER 1412 NEW BEST:: SOT 133113439 SOS 82109004 HAS SOPS 66962647 HAS SOUS 24434842 HAS SOUPS 23824611 WITH SCORE 2.3906720004E7
AT ITER 1437 NEW BEST:: SOT 133113776 SOS 82112502 HAS SOPS 66963451 HAS SOUS 24430921 HAS SOUPS 23820690 WITH SCORE 2.3902802502E7
AT ITER 1441 NEW BEST:: SOT 133110566 SOS 82109088 HAS SOPS 66960049 HAS SOUS 24426919 HAS SOUPS 23816700 WITH SCORE 2.3898809088E7
AT ITER 1456 NEW BEST:: SOT 133111050 SOS 82107735 HAS SOPS 66958106 HAS SOUS 24417657 HAS SOUPS 23807438 WITH SCORE 2.3889545735E7
AT ITER 1463 NEW BEST:: SOT 133082577 SOS 82076453 HAS SOPS 66927051 HAS SOUS 24337086 HAS SOUPS 23726983 WITH SCORE 2.3809059453E7
AT ITER 1478 NEW BEST:: SOT 133082128 SOS 82076056 HAS SOPS 66926748 HAS SOUS 24336045 HAS SOUPS 23725942 WITH SCORE 2.3808018056E7
AT ITER 1481 NEW BEST:: SOT 133108519 SOS 82110366 HAS SOPS 66962030 HAS SOUS 24334569 HAS SOUPS 23724677 WITH SCORE 2.3806787366E7
AT ITER 1486 NEW BEST:: SOT 133074131 SOS 82070867 HAS SOPS 66915189 HAS SOUS 24264472 HAS SOUPS 23654737 WITH SCORE 2.3736807867E7
AT ITER 1494 NEW BEST:: SOT 133075134 SOS 82072878 HAS SOPS 66916691 HAS SOUS 24264467 HAS SOUPS 23654732 WITH SCORE 2.3736804878E7
AT ITER 1498 NEW BEST:: SOT 133062295 SOS 82032165 HAS SOPS 66861396 HAS SOUS 24264058 HAS SOUPS 23654323 WITH SCORE 2.3736355165E7
AT ITER 1523 NEW BEST:: SOT 133041816 SOS 81982294 HAS SOPS 66838219 HAS SOUS 24189742 HAS SOUPS 23580007 WITH SCORE 2.3661989294E7
AT ITER 1527 NEW BEST:: SOT 133034805 SOS 81965235 HAS SOPS 66821992 HAS SOUS 24187031 HAS SOUPS 23577296 WITH SCORE 2.3659261235E7
AT ITER 1538 NEW BEST:: SOT 133040218 SOS 81974776 HAS SOPS 66829595 HAS SOUS 24184776 HAS SOUPS 23575462 WITH SCORE 2.3657436776E7
AT ITER 1553 NEW BEST:: SOT 133034386 SOS 81968652 HAS SOPS 66815636 HAS SOUS 24159637 HAS SOUPS 23550469 WITH SCORE 2.3632437652E7
AT ITER 1569 NEW BEST:: SOT 133040577 SOS 81994001 HAS SOPS 66847903 HAS SOUS 24150340 HAS SOUPS 23541172 WITH SCORE 2.3623166001E7
AT ITER 1578 NEW BEST:: SOT 133042623 SOS 82001669 HAS SOPS 66853063 HAS SOUS 24149572 HAS SOUPS 23540404 WITH SCORE 2.3622405669E7
AT ITER 1594 NEW BEST:: SOT 133043179 SOS 82002156 HAS SOPS 66851856 HAS SOUS 24147004 HAS SOUPS 23537886 WITH SCORE 2.3619888156E7
AT ITER 1605 NEW BEST:: SOT 133043447 SOS 82002424 HAS SOPS 66850108 HAS SOUS 24143048 HAS SOUPS 23533930 WITH SCORE 2.3615932424E7
AT ITER 1620 NEW BEST:: SOT 133042061 SOS 82000112 HAS SOPS 66848490 HAS SOUS 24142144 HAS SOUPS 23533026 WITH SCORE 2.3615026112E7
AT ITER 1628 NEW BEST:: SOT 133070956 SOS 82043263 HAS SOPS 66893642 HAS SOUS 24141604 HAS SOUPS 23532486 WITH SCORE 2.3614529263E7
AT ITER 1645 NEW BEST:: SOT 133066034 SOS 82038319 HAS SOPS 66888709 HAS SOUS 24134458 HAS SOUPS 23525351 WITH SCORE 2.3607389319E7
AT ITER 1654 NEW BEST:: SOT 133064840 SOS 82036159 HAS SOPS 66886014 HAS SOUS 24129930 HAS SOUPS 23520823 WITH SCORE 2.3602859159E7
AT ITER 1655 NEW BEST:: SOT 133054700 SOS 82024164 HAS SOPS 66892480 HAS SOUS 24124804 HAS SOUPS 23515697 WITH SCORE 2.3597721164E7
AT ITER 1673 NEW BEST:: SOT 133084269 SOS 82107275 HAS SOPS 66966806 HAS SOUS 24123159 HAS SOUPS 23514052 WITH SCORE 2.3596159275E7
AT ITER 1689 NEW BEST:: SOT 133063146 SOS 82036651 HAS SOPS 66932751 HAS SOUS 24101361 HAS SOUPS 23492260 WITH SCORE 2.3574296651E7
AT ITER 1696 NEW BEST:: SOT 133062969 SOS 82036235 HAS SOPS 66933062 HAS SOUS 24100755 HAS SOUPS 23491676 WITH SCORE 2.3573712235E7
AT ITER 1702 NEW BEST:: SOT 133063236 SOS 82037276 HAS SOPS 66933310 HAS SOUS 24100119 HAS SOUPS 23491040 WITH SCORE 2.3573077276E7
AT ITER 1713 NEW BEST:: SOT 133053084 SOS 81996384 HAS SOPS 66915926 HAS SOUS 24081189 HAS SOUPS 23472110 WITH SCORE 2.3554106384E7
AT ITER 1728 NEW BEST:: SOT 133064215 SOS 82014908 HAS SOPS 66940719 HAS SOUS 24058254 HAS SOUPS 23450195 WITH SCORE 2.3532209908E7
AT ITER 1731 NEW BEST:: SOT 133112859 SOS 82132413 HAS SOPS 67040491 HAS SOUS 24056111 HAS SOUPS 23448052 WITH SCORE 2.3530184413E7
AT ITER 1740 NEW BEST:: SOT 133118415 SOS 82148773 HAS SOPS 67052789 HAS SOUS 24055628 HAS SOUPS 23447569 WITH SCORE 2.3529717773E7
AT ITER 1744 NEW BEST:: SOT 133115939 SOS 82145581 HAS SOPS 67050659 HAS SOUS 24052040 HAS SOUPS 23444001 WITH SCORE 2.3526146581E7
AT ITER 1749 NEW BEST:: SOT 133133852 SOS 82213132 HAS SOPS 67112139 HAS SOUS 24015488 HAS SOUPS 23407449 WITH SCORE 2.3489662132E7
AT ITER 1750 NEW BEST:: SOT 133058760 SOS 82065570 HAS SOPS 67010395 HAS SOUS 23957108 HAS SOUPS 23350629 WITH SCORE 2.343269457E7
AT ITER 1762 NEW BEST:: SOT 133056754 SOS 82058827 HAS SOPS 67003872 HAS SOUS 23952631 HAS SOUPS 23346152 WITH SCORE 2.3428210827E7
AT ITER 1785 NEW BEST:: SOT 133056221 SOS 82068219 HAS SOPS 67007895 HAS SOUS 23943098 HAS SOUPS 23336619 WITH SCORE 2.3418687219E7
AT ITER 1805 NEW BEST:: SOT 133056077 SOS 82068462 HAS SOPS 67004520 HAS SOUS 23942798 HAS SOUPS 23336319 WITH SCORE 2.3418387462E7
AT ITER 1810 NEW BEST:: SOT 133055853 SOS 82067488 HAS SOPS 67002416 HAS SOUS 23941698 HAS SOUPS 23335246 WITH SCORE 2.3417313488E7
AT ITER 1812 NEW BEST:: SOT 133050981 SOS 82057086 HAS SOPS 66992351 HAS SOUS 23939422 HAS SOUPS 23332970 WITH SCORE 2.3415027086E7
AT ITER 1825 NEW BEST:: SOT 133052626 SOS 82059034 HAS SOPS 66991196 HAS SOUS 23932996 HAS SOUPS 23326544 WITH SCORE 2.3408603034E7
AT ITER 1836 NEW BEST:: SOT 133077992 SOS 82140248 HAS SOPS 67058449 HAS SOUS 23910909 HAS SOUPS 23304457 WITH SCORE 2.3386597248E7
AT ITER 1856 NEW BEST:: SOT 133060304 SOS 82064587 HAS SOPS 67013133 HAS SOUS 23889194 HAS SOUPS 23283132 WITH SCORE 2.3365196587E7
AT ITER 1867 NEW BEST:: SOT 133060938 SOS 82063003 HAS SOPS 67022269 HAS SOUS 23888170 HAS SOUPS 23282108 WITH SCORE 2.3364171003E7
AT ITER 1876 NEW BEST:: SOT 133038475 SOS 82040504 HAS SOPS 66999296 HAS SOUS 23855889 HAS SOUPS 23249827 WITH SCORE 2.3331867504E7
AT ITER 1886 NEW BEST:: SOT 133058100 SOS 82127525 HAS SOPS 67083088 HAS SOUS 23845803 HAS SOUPS 23239741 WITH SCORE 2.3321868525E7
AT ITER 1893 NEW BEST:: SOT 133064545 SOS 82149435 HAS SOPS 67099439 HAS SOUS 23838948 HAS SOUPS 23232774 WITH SCORE 2.3314923435E7
AT ITER 1900 NEW BEST:: SOT 133057565 SOS 82139915 HAS SOPS 67089527 HAS SOUS 23830294 HAS SOUPS 23224120 WITH SCORE 2.3306259915E7
AT ITER 1909 NEW BEST:: SOT 133062162 SOS 82168741 HAS SOPS 67117050 HAS SOUS 23818607 HAS SOUPS 23212433 WITH SCORE 2.3294601741E7
AT ITER 1917 NEW BEST:: SOT 132961361 SOS 82043589 HAS SOPS 66992573 HAS SOUS 23675358 HAS SOUPS 23069399 WITH SCORE 2.3151442589E7
AT ITER 1942 NEW BEST:: SOT 132948601 SOS 82030202 HAS SOPS 66975119 HAS SOUS 23655783 HAS SOUPS 23049140 WITH SCORE 2.3131170202E7
AT ITER 1983 NEW BEST:: SOT 132949172 SOS 82031339 HAS SOPS 66976356 HAS SOUS 23655659 HAS SOUPS 23049016 WITH SCORE 2.3131047339E7
AT ITER 1984 NEW BEST:: SOT 132963372 SOS 82063007 HAS SOPS 67016118 HAS SOUS 23638336 HAS SOUPS 23031907 WITH SCORE 2.3113970007E7
AT ITER 1985 NEW BEST:: SOT 132962910 SOS 82060142 HAS SOPS 67013470 HAS SOUS 23638290 HAS SOUPS 23031861 WITH SCORE 2.3113921142E7
AT ITER 1988 NEW BEST:: SOT 132980032 SOS 82080280 HAS SOPS 67077630 HAS SOUS 23636627 HAS SOUPS 23031203 WITH SCORE 2.311328328E7
AT ITER 1991 NEW BEST:: SOT 132978159 SOS 82076337 HAS SOPS 67074482 HAS SOUS 23634899 HAS SOUPS 23029475 WITH SCORE 2.3111551337E7
AT ITER 1994 NEW BEST:: SOT 132985430 SOS 82092003 HAS SOPS 67084847 HAS SOUS 23607307 HAS SOUPS 23001883 WITH SCORE 2.3083975003E7
AT ITER 2006 NEW BEST:: SOT 132995133 SOS 82107791 HAS SOPS 67106468 HAS SOUS 23603451 HAS SOUPS 22998077 WITH SCORE 2.3080184791E7
AT ITER 2007 NEW BEST:: SOT 132999776 SOS 82121759 HAS SOPS 67114311 HAS SOUS 23589233 HAS SOUPS 22983859 WITH SCORE 2.3065980759E7
AT ITER 2022 NEW BEST:: SOT 132994632 SOS 82113236 HAS SOPS 67106637 HAS SOUS 23564090 HAS SOUPS 22958811 WITH SCORE 2.3040924236E7
AT ITER 2023 NEW BEST:: SOT 132994480 SOS 82112905 HAS SOPS 67106428 HAS SOUS 23564013 HAS SOUPS 22958734 WITH SCORE 2.3040846905E7
AT ITER 2029 NEW BEST:: SOT 132980321 SOS 82078522 HAS SOPS 67087262 HAS SOUS 23555649 HAS SOUPS 22950370 WITH SCORE 2.3032448522E7
AT ITER 2050 NEW BEST:: SOT 132981647 SOS 82080228 HAS SOPS 67090280 HAS SOUS 23555054 HAS SOUPS 22949728 WITH SCORE 2.3031808228E7
AT ITER 2054 NEW BEST:: SOT 132981643 SOS 82080344 HAS SOPS 67090240 HAS SOUS 23553706 HAS SOUPS 22948392 WITH SCORE 2.3030472344E7
AT ITER 2057 NEW BEST:: SOT 132981706 SOS 82080414 HAS SOPS 67090534 HAS SOUS 23553657 HAS SOUPS 22948343 WITH SCORE 2.3030423414E7
AT ITER 2062 NEW BEST:: SOT 132984735 SOS 82088813 HAS SOPS 67096246 HAS SOUS 23545050 HAS SOUPS 22939736 WITH SCORE 2.3021824813E7
AT ITER 2074 NEW BEST:: SOT 132969517 SOS 82070618 HAS SOPS 67078207 HAS SOUS 23535043 HAS SOUPS 22929792 WITH SCORE 2.3011862618E7
AT ITER 2081 NEW BEST:: SOT 132950393 SOS 82054064 HAS SOPS 67052204 HAS SOUS 23498821 HAS SOUPS 22893265 WITH SCORE 2.2975319064E7
AT ITER 2084 NEW BEST:: SOT 132946542 SOS 82051609 HAS SOPS 67047409 HAS SOUS 23488215 HAS SOUPS 22882659 WITH SCORE 2.2964710609E7
AT ITER 2088 NEW BEST:: SOT 132934698 SOS 82038004 HAS SOPS 67033971 HAS SOUS 23461947 HAS SOUPS 22856474 WITH SCORE 2.2938512004E7
AT ITER 2090 NEW BEST:: SOT 132924067 SOS 82034231 HAS SOPS 67020590 HAS SOUS 23430683 HAS SOUPS 22825210 WITH SCORE 2.2907244231E7
AT ITER 2101 NEW BEST:: SOT 132923618 SOS 82033782 HAS SOPS 67020141 HAS SOUS 23430306 HAS SOUPS 22824833 WITH SCORE 2.2906866782E7
AT ITER 2103 NEW BEST:: SOT 132923366 SOS 82033938 HAS SOPS 67017716 HAS SOUS 23428804 HAS SOUPS 22822491 WITH SCORE 2.2904524938E7
AT ITER 2123 NEW BEST:: SOT 132885904 SOS 81997787 HAS SOPS 66986144 HAS SOUS 23392287 HAS SOUPS 22787475 WITH SCORE 2.2869472787E7
AT ITER 2124 NEW BEST:: SOT 132890366 SOS 82019201 HAS SOPS 67004895 HAS SOUS 23392102 HAS SOUPS 22787290 WITH SCORE 2.2869309201E7
AT ITER 2129 NEW BEST:: SOT 132895605 SOS 82034506 HAS SOPS 67018516 HAS SOUS 23390810 HAS SOUPS 22785998 WITH SCORE 2.2868032506E7
AT ITER 2131 NEW BEST:: SOT 132896655 SOS 82037380 HAS SOPS 67019557 HAS SOUS 23388039 HAS SOUPS 22783227 WITH SCORE 2.286526438E7
AT ITER 2134 NEW BEST:: SOT 132895730 SOS 82027388 HAS SOPS 67011335 HAS SOUS 23381661 HAS SOUPS 22777007 WITH SCORE 2.2859034388E7
AT ITER 2153 NEW BEST:: SOT 132872176 SOS 81973150 HAS SOPS 66980143 HAS SOUS 23378458 HAS SOUPS 22774000 WITH SCORE 2.285597315E7
AT ITER 2162 NEW BEST:: SOT 132879552 SOS 81981726 HAS SOPS 66992118 HAS SOUS 23373385 HAS SOUPS 22768927 WITH SCORE 2.2850908726E7
AT ITER 2170 NEW BEST:: SOT 132880838 SOS 81985772 HAS SOPS 66991200 HAS SOUS 23370571 HAS SOUPS 22766113 WITH SCORE 2.2848098772E7
AT ITER 2172 NEW BEST:: SOT 132842477 SOS 81917654 HAS SOPS 66929746 HAS SOUS 23334232 HAS SOUPS 22729774 WITH SCORE 2.2811691654E7
AT ITER 2213 NEW BEST:: SOT 132843373 SOS 81922331 HAS SOPS 66926566 HAS SOUS 23316975 HAS SOUPS 22712544 WITH SCORE 2.2794466331E7
AT ITER 2216 NEW BEST:: SOT 132842455 SOS 81920398 HAS SOPS 66925560 HAS SOUS 23314775 HAS SOUPS 22710344 WITH SCORE 2.2792264398E7
AT ITER 2217 NEW BEST:: SOT 132806984 SOS 81870075 HAS SOPS 66890295 HAS SOUS 23300433 HAS SOUPS 22696252 WITH SCORE 2.2778122075E7
AT ITER 2221 NEW BEST:: SOT 132797460 SOS 81858067 HAS SOPS 66878003 HAS SOUS 23280826 HAS SOUPS 22676684 WITH SCORE 2.2758542067E7
AT ITER 2232 NEW BEST:: SOT 132808531 SOS 81896740 HAS SOPS 66909796 HAS SOUS 23272494 HAS SOUPS 22668352 WITH SCORE 2.275024874E7
AT ITER 2248 NEW BEST:: SOT 132807942 SOS 81894195 HAS SOPS 66915144 HAS SOUS 23255734 HAS SOUPS 22652963 WITH SCORE 2.2734857195E7
AT ITER 2251 NEW BEST:: SOT 132796985 SOS 81874401 HAS SOPS 66897871 HAS SOUS 23246765 HAS SOUPS 22643994 WITH SCORE 2.2725868401E7
AT ITER 2252 NEW BEST:: SOT 132802530 SOS 81906512 HAS SOPS 66930651 HAS SOUS 23241015 HAS SOUPS 22638244 WITH SCORE 2.2720150512E7
AT ITER 2259 NEW BEST:: SOT 132803684 SOS 81906286 HAS SOPS 66934288 HAS SOUS 23228442 HAS SOUPS 22625671 WITH SCORE 2.2707577286E7
AT ITER 2260 NEW BEST:: SOT 132781821 SOS 81873048 HAS SOPS 66896353 HAS SOUS 23190616 HAS SOUPS 22587845 WITH SCORE 2.2669718048E7
AT ITER 2269 NEW BEST:: SOT 132782395 SOS 81878711 HAS SOPS 66898714 HAS SOUS 23184876 HAS SOUPS 22582105 WITH SCORE 2.2663983711E7
AT ITER 2276 NEW BEST:: SOT 132787890 SOS 81906902 HAS SOPS 66907822 HAS SOUS 23169624 HAS SOUPS 22566598 WITH SCORE 2.2648504902E7
AT ITER 2279 NEW BEST:: SOT 132791648 SOS 81924602 HAS SOPS 66919247 HAS SOUS 23167479 HAS SOUPS 22564453 WITH SCORE 2.2646377602E7
AT ITER 2283 NEW BEST:: SOT 132790989 SOS 81923609 HAS SOPS 66919248 HAS SOUS 23165816 HAS SOUPS 22562792 WITH SCORE 2.2644715609E7
AT ITER 2298 NEW BEST:: SOT 132788282 SOS 81918806 HAS SOPS 66926515 HAS SOUS 23164445 HAS SOUPS 22561421 WITH SCORE 2.2643339806E7
AT ITER 2311 NEW BEST:: SOT 132795648 SOS 81930429 HAS SOPS 66925767 HAS SOUS 23159416 HAS SOUPS 22556392 WITH SCORE 2.2638322429E7
AT ITER 2337 NEW BEST:: SOT 132797232 SOS 81926527 HAS SOPS 66921503 HAS SOUS 23152302 HAS SOUPS 22549279 WITH SCORE 2.2631205527E7
AT ITER 2346 NEW BEST:: SOT 132785833 SOS 81907017 HAS SOPS 66903925 HAS SOUS 23145788 HAS SOUPS 22542793 WITH SCORE 2.2624700017E7
AT ITER 2361 NEW BEST:: SOT 132784675 SOS 81905885 HAS SOPS 66903911 HAS SOUS 23144000 HAS SOUPS 22541005 WITH SCORE 2.2622910885E7
AT ITER 2398 NEW BEST:: SOT 132781652 SOS 81902876 HAS SOPS 66900392 HAS SOUS 23133716 HAS SOUPS 22535297 WITH SCORE 2.2617199876E7
AT ITER 2399 NEW BEST:: SOT 132751666 SOS 81874218 HAS SOPS 66862394 HAS SOUS 23089589 HAS SOUPS 22491037 WITH SCORE 2.2572911218E7
AT ITER 2425 NEW BEST:: SOT 132746076 SOS 81851652 HAS SOPS 66846516 HAS SOUS 23086306 HAS SOUPS 22487889 WITH SCORE 2.2569740652E7
AT ITER 2430 NEW BEST:: SOT 132753793 SOS 81868514 HAS SOPS 66849698 HAS SOUS 23040654 HAS SOUPS 22445162 WITH SCORE 2.2527030514E7
AT ITER 2442 NEW BEST:: SOT 132788167 SOS 81953150 HAS SOPS 66909770 HAS SOUS 23020884 HAS SOUPS 22425392 WITH SCORE 2.250734515E7
AT ITER 2445 NEW BEST:: SOT 132776397 SOS 81939635 HAS SOPS 66889345 HAS SOUS 22992885 HAS SOUPS 22397141 WITH SCORE 2.2479080635E7
AT ITER 2470 NEW BEST:: SOT 132772596 SOS 81934740 HAS SOPS 66880609 HAS SOUS 22987485 HAS SOUPS 22391719 WITH SCORE 2.247365374E7
AT ITER 2471 NEW BEST:: SOT 132790328 SOS 81979826 HAS SOPS 66919595 HAS SOUS 22981109 HAS SOUPS 22385343 WITH SCORE 2.2467322826E7
AT ITER 2481 NEW BEST:: SOT 132787937 SOS 81969726 HAS SOPS 66916234 HAS SOUS 22980963 HAS SOUPS 22385197 WITH SCORE 2.2467166726E7
AT ITER 2486 NEW BEST:: SOT 132784876 SOS 81963650 HAS SOPS 66905594 HAS SOUS 22967438 HAS SOUPS 22371672 WITH SCORE 2.245363565E7
AT ITER 2495 NEW BEST:: SOT 132786309 SOS 81964778 HAS SOPS 66900476 HAS SOUS 22961284 HAS SOUPS 22365371 WITH SCORE 2.2447335778E7
AT ITER 2496 NEW BEST:: SOT 132788193 SOS 81969553 HAS SOPS 66902346 HAS SOUS 22958063 HAS SOUPS 22362150 WITH SCORE 2.2444119553E7
AT ITER 2526 NEW BEST:: SOT 132782698 SOS 81961447 HAS SOPS 66897651 HAS SOUS 22955680 HAS SOUPS 22359767 WITH SCORE 2.2441728447E7
AT ITER 2527 NEW BEST:: SOT 132801583 SOS 81985278 HAS SOPS 66924427 HAS SOUS 22947804 HAS SOUPS 22353573 WITH SCORE 2.2435558278E7
AT ITER 2533 NEW BEST:: SOT 132807482 SOS 82019681 HAS SOPS 66958404 HAS SOUS 22946722 HAS SOUPS 22352491 WITH SCORE 2.2434510681E7
AT ITER 2543 NEW BEST:: SOT 132794082 SOS 82000213 HAS SOPS 66936163 HAS SOUS 22917098 HAS SOUPS 22322972 WITH SCORE 2.2404972213E7
AT ITER 2548 NEW BEST:: SOT 132821563 SOS 82071430 HAS SOPS 66981788 HAS SOUS 22905902 HAS SOUPS 22311776 WITH SCORE 2.239384743E7
AT ITER 2558 NEW BEST:: SOT 132838665 SOS 82119063 HAS SOPS 67012019 HAS SOUS 22905023 HAS SOUPS 22310897 WITH SCORE 2.2393016063E7
AT ITER 2573 NEW BEST:: SOT 132868680 SOS 82203436 HAS SOPS 67076113 HAS SOUS 22903893 HAS SOUPS 22309767 WITH SCORE 2.2391970436E7
AT ITER 2580 NEW BEST:: SOT 132868627 SOS 82205182 HAS SOPS 67076505 HAS SOUS 22901783 HAS SOUPS 22307657 WITH SCORE 2.2389862182E7
AT ITER 2591 NEW BEST:: SOT 132863879 SOS 82200434 HAS SOPS 67071757 HAS SOUS 22897035 HAS SOUPS 22302909 WITH SCORE 2.2385109434E7
AT ITER 2592 NEW BEST:: SOT 132863696 SOS 82200074 HAS SOPS 67071133 HAS SOUS 22892971 HAS SOUPS 22298845 WITH SCORE 2.2381045074E7
AT ITER 2607 NEW BEST:: SOT 132890458 SOS 82252175 HAS SOPS 67117748 HAS SOUS 22891984 HAS SOUPS 22297812 WITH SCORE 2.2380064175E7
AT ITER 2608 NEW BEST:: SOT 132885936 SOS 82239502 HAS SOPS 67109726 HAS SOUS 22890584 HAS SOUPS 22296412 WITH SCORE 2.2378651502E7
AT ITER 2614 NEW BEST:: SOT 132882097 SOS 82231577 HAS SOPS 67112158 HAS SOUS 22883780 HAS SOUPS 22289686 WITH SCORE 2.2371917577E7
AT ITER 2629 NEW BEST:: SOT 132878991 SOS 82228471 HAS SOPS 67109532 HAS SOUS 22876814 HAS SOUPS 22282836 WITH SCORE 2.2365064471E7
AT ITER 2642 NEW BEST:: SOT 132880797 SOS 82239555 HAS SOPS 67119098 HAS SOUS 22876446 HAS SOUPS 22282468 WITH SCORE 2.2364707555E7
AT ITER 2656 NEW BEST:: SOT 132878640 SOS 82232694 HAS SOPS 67113654 HAS SOUS 22875633 HAS SOUPS 22281655 WITH SCORE 2.2363887694E7
AT ITER 2659 NEW BEST:: SOT 132876523 SOS 82228670 HAS SOPS 67109961 HAS SOUS 22873857 HAS SOUPS 22279879 WITH SCORE 2.236210767E7
AT ITER 2669 NEW BEST:: SOT 132873840 SOS 82222532 HAS SOPS 67105301 HAS SOUS 22870272 HAS SOUPS 22276294 WITH SCORE 2.2358516532E7
AT ITER 2691 NEW BEST:: SOT 132869209 SOS 82215265 HAS SOPS 67098057 HAS SOUS 22864845 HAS SOUPS 22270867 WITH SCORE 2.2353082265E7
AT ITER 2699 NEW BEST:: SOT 132869243 SOS 82214564 HAS SOPS 67096903 HAS SOUS 22862093 HAS SOUPS 22268193 WITH SCORE 2.2350407564E7
AT ITER 2711 NEW BEST:: SOT 132869557 SOS 82216294 HAS SOPS 67098255 HAS SOUS 22862017 HAS SOUPS 22268117 WITH SCORE 2.2350333294E7
AT ITER 2734 NEW BEST:: SOT 132870947 SOS 82224882 HAS SOPS 67107476 HAS SOUS 22859348 HAS SOUPS 22265448 WITH SCORE 2.2347672882E7
AT ITER 2748 NEW BEST:: SOT 132833723 SOS 82151064 HAS SOPS 67124953 HAS SOUS 22842242 HAS SOUPS 22248342 WITH SCORE 2.2330493064E7
AT ITER 2756 NEW BEST:: SOT 132814703 SOS 82114508 HAS SOPS 67096112 HAS SOUS 22830854 HAS SOUPS 22237152 WITH SCORE 2.2319266508E7
AT ITER 2791 NEW BEST:: SOT 132825720 SOS 82151989 HAS SOPS 67117532 HAS SOUS 22822724 HAS SOUPS 22228821 WITH SCORE 2.2310972989E7
AT ITER 2798 NEW BEST:: SOT 132821286 SOS 82146948 HAS SOPS 67113227 HAS SOUS 22811697 HAS SOUPS 22219330 WITH SCORE 2.2301476948E7
AT ITER 2804 NEW BEST:: SOT 132821872 SOS 82150430 HAS SOPS 67116371 HAS SOUS 22808505 HAS SOUPS 22216138 WITH SCORE 2.229828843E7
AT ITER 2805 NEW BEST:: SOT 132832660 SOS 82168942 HAS SOPS 67137432 HAS SOUS 22792774 HAS SOUPS 22201507 WITH SCORE 2.2283675942E7
AT ITER 2826 NEW BEST:: SOT 132855198 SOS 82225594 HAS SOPS 67182268 HAS SOUS 22783969 HAS SOUPS 22192702 WITH SCORE 2.2274927594E7
AT ITER 2838 NEW BEST:: SOT 132852614 SOS 82223053 HAS SOPS 67180047 HAS SOUS 22777708 HAS SOUPS 22186601 WITH SCORE 2.2268824053E7
AT ITER 2860 NEW BEST:: SOT 132808427 SOS 82169984 HAS SOPS 67131430 HAS SOUS 22678071 HAS SOUPS 22087070 WITH SCORE 2.2169239984E7
AT ITER 2864 NEW BEST:: SOT 132809136 SOS 82171236 HAS SOPS 67131224 HAS SOUS 22674127 HAS SOUPS 22083126 WITH SCORE 2.2165297236E7
AT ITER 2875 NEW BEST:: SOT 132808936 SOS 82180635 HAS SOPS 67137755 HAS SOUS 22658687 HAS SOUPS 22067686 WITH SCORE 2.2149866635E7
AT ITER 2878 NEW BEST:: SOT 132806455 SOS 82160092 HAS SOPS 67127971 HAS SOUS 22656221 HAS SOUPS 22065220 WITH SCORE 2.2147380092E7
AT ITER 2885 NEW BEST:: SOT 132805025 SOS 82155367 HAS SOPS 67122674 HAS SOUS 22653460 HAS SOUPS 22062459 WITH SCORE 2.2144614367E7
AT ITER 2887 NEW BEST:: SOT 132804432 SOS 82152682 HAS SOPS 67121893 HAS SOUS 22650799 HAS SOUPS 22059811 WITH SCORE 2.2141963682E7
AT ITER 2895 NEW BEST:: SOT 132801244 SOS 82138118 HAS SOPS 67108315 HAS SOUS 22642008 HAS SOUPS 22051020 WITH SCORE 2.2133158118E7
AT ITER 2908 NEW BEST:: SOT 132790962 SOS 82122301 HAS SOPS 67090687 HAS SOUS 22627367 HAS SOUPS 22036379 WITH SCORE 2.2118501301E7
AT ITER 2912 NEW BEST:: SOT 132794995 SOS 82129165 HAS SOPS 67098293 HAS SOUS 22626147 HAS SOUPS 22035278 WITH SCORE 2.2117407165E7
AT ITER 2914 NEW BEST:: SOT 132804551 SOS 82135354 HAS SOPS 67104963 HAS SOUS 22619815 HAS SOUPS 22029070 WITH SCORE 2.2111205354E7
AT ITER 2930 NEW BEST:: SOT 132801898 SOS 82129231 HAS SOPS 67099647 HAS SOUS 22619672 HAS SOUPS 22028948 WITH SCORE 2.2111077231E7
AT ITER 2951 NEW BEST:: SOT 132832096 SOS 82196839 HAS SOPS 67152767 HAS SOUS 22607115 HAS SOUPS 22016391 WITH SCORE 2.2098587839E7
AT ITER 2958 NEW BEST:: SOT 132826449 SOS 82191737 HAS SOPS 67154448 HAS SOUS 22587100 HAS SOUPS 22001229 WITH SCORE 2.2083420737E7
AT ITER 2968 NEW BEST:: SOT 132820626 SOS 82181530 HAS SOPS 67146170 HAS SOUS 22580748 HAS SOUPS 21994877 WITH SCORE 2.207705853E7
AT ITER 2975 NEW BEST:: SOT 132835154 SOS 82217400 HAS SOPS 67168237 HAS SOUS 22580007 HAS SOUPS 21994136 WITH SCORE 2.20763534E7
AT ITER 2984 NEW BEST:: SOT 132809146 SOS 82174598 HAS SOPS 67145004 HAS SOUS 22564980 HAS SOUPS 21979356 WITH SCORE 2.2061530598E7
AT ITER 2995 NEW BEST:: SOT 132797813 SOS 82163265 HAS SOPS 67133607 HAS SOUS 22552355 HAS SOUPS 21966731 WITH SCORE 2.2048894265E7
AT ITER 3005 NEW BEST:: SOT 132795305 SOS 82159483 HAS SOPS 67130117 HAS SOUS 22549814 HAS SOUPS 21964190 WITH SCORE 2.2046349483E7
AT ITER 3012 NEW BEST:: SOT 132785408 SOS 82147964 HAS SOPS 67120122 HAS SOUS 22532441 HAS SOUPS 21946817 WITH SCORE 2.2028964964E7
AT ITER 3013 NEW BEST:: SOT 132780571 SOS 82119164 HAS SOPS 67094561 HAS SOUS 22530380 HAS SOUPS 21944756 WITH SCORE 2.2026875164E7
AT ITER 3023 NEW BEST:: SOT 132732529 SOS 82050875 HAS SOPS 67016856 HAS SOUS 22433760 HAS SOUPS 21851017 WITH SCORE 2.1933067875E7
AT ITER 3031 NEW BEST:: SOT 132730700 SOS 82045109 HAS SOPS 67013653 HAS SOUS 22432922 HAS SOUPS 21850179 WITH SCORE 2.1932224109E7
AT ITER 3036 NEW BEST:: SOT 132740276 SOS 82078522 HAS SOPS 67039070 HAS SOUS 22426936 HAS SOUPS 21844193 WITH SCORE 2.1926271522E7
AT ITER 3038 NEW BEST:: SOT 132730025 SOS 82050873 HAS SOPS 67013296 HAS SOUS 22410809 HAS SOUPS 21828106 WITH SCORE 2.1910156873E7
AT ITER 3046 NEW BEST:: SOT 132726595 SOS 82047180 HAS SOPS 67008730 HAS SOUS 22406274 HAS SOUPS 21823571 WITH SCORE 2.190561818E7
AT ITER 3069 NEW BEST:: SOT 132725518 SOS 82099649 HAS SOPS 67042652 HAS SOUS 22406198 HAS SOUPS 21823403 WITH SCORE 2.1905502649E7
AT ITER 3085 NEW BEST:: SOT 132727160 SOS 82104758 HAS SOPS 67048674 HAS SOUS 22400180 HAS SOUPS 21817385 WITH SCORE 2.1899489758E7
AT ITER 3094 NEW BEST:: SOT 132727143 SOS 82103933 HAS SOPS 67045974 HAS SOUS 22398253 HAS SOUPS 21815458 WITH SCORE 2.1897561933E7
AT ITER 3101 NEW BEST:: SOT 132712942 SOS 82089626 HAS SOPS 67029085 HAS SOUS 22380110 HAS SOUPS 21797179 WITH SCORE 2.1879268626E7
AT ITER 3103 NEW BEST:: SOT 132714994 SOS 82056895 HAS SOPS 67009976 HAS SOUS 22361958 HAS SOUPS 21779395 WITH SCORE 2.1861451895E7
AT ITER 3104 NEW BEST:: SOT 132714803 SOS 82055680 HAS SOPS 67008289 HAS SOUS 22361101 HAS SOUPS 21778538 WITH SCORE 2.186059368E7
AT ITER 3112 NEW BEST:: SOT 132711479 SOS 82049517 HAS SOPS 67002466 HAS SOUS 22357369 HAS SOUPS 21774806 WITH SCORE 2.1856855517E7
AT ITER 3127 NEW BEST:: SOT 132697704 SOS 82028695 HAS SOPS 66983936 HAS SOUS 22350049 HAS SOUPS 21767738 WITH SCORE 2.1849766695E7
AT ITER 3129 NEW BEST:: SOT 132697580 SOS 82035241 HAS SOPS 66990275 HAS SOUS 22343389 HAS SOUPS 21761078 WITH SCORE 2.1843113241E7
AT ITER 3150 NEW BEST:: SOT 132668410 SOS 81999465 HAS SOPS 66952597 HAS SOUS 22307016 HAS SOUPS 21724467 WITH SCORE 2.1806466465E7
AT ITER 3153 NEW BEST:: SOT 132666627 SOS 81996474 HAS SOPS 66949946 HAS SOUS 22305451 HAS SOUPS 21722902 WITH SCORE 2.1804898474E7
AT ITER 3156 NEW BEST:: SOT 132665824 SOS 81994411 HAS SOPS 66951014 HAS SOUS 22304176 HAS SOUPS 21721627 WITH SCORE 2.1803621411E7
AT ITER 3183 NEW BEST:: SOT 132662191 SOS 81983351 HAS SOPS 66939263 HAS SOUS 22286521 HAS SOUPS 21702608 WITH SCORE 2.1784591351E7
AT ITER 3193 NEW BEST:: SOT 132660951 SOS 81982407 HAS SOPS 66940047 HAS SOUS 22282344 HAS SOUPS 21698431 WITH SCORE 2.1780413407E7
AT ITER 3194 NEW BEST:: SOT 132636547 SOS 81952002 HAS SOPS 66911060 HAS SOUS 22245245 HAS SOUPS 21661350 WITH SCORE 2.1743302002E7
AT ITER 3207 NEW BEST:: SOT 132584839 SOS 81874575 HAS SOPS 66835892 HAS SOUS 22186483 HAS SOUPS 21603364 WITH SCORE 2.1685238575E7
AT ITER 3246 NEW BEST:: SOT 132581923 SOS 81869924 HAS SOPS 66830940 HAS SOUS 22181236 HAS SOUPS 21598117 WITH SCORE 2.1679986924E7
AT ITER 3271 NEW BEST:: SOT 132585149 SOS 81884667 HAS SOPS 66837435 HAS SOUS 22178866 HAS SOUPS 21595747 WITH SCORE 2.1677631667E7
AT ITER 3281 NEW BEST:: SOT 132585366 SOS 81886454 HAS SOPS 66839453 HAS SOUS 22177500 HAS SOUPS 21594381 WITH SCORE 2.1676267454E7
AT ITER 3292 NEW BEST:: SOT 132585408 SOS 81886496 HAS SOPS 66839674 HAS SOUS 22176991 HAS SOUPS 21593872 WITH SCORE 2.1675758496E7
AT ITER 3305 NEW BEST:: SOT 132577995 SOS 81874955 HAS SOPS 66825017 HAS SOUS 22169552 HAS SOUPS 21586366 WITH SCORE 2.1668240955E7
AT ITER 3309 NEW BEST:: SOT 132578057 SOS 81874983 HAS SOPS 66824686 HAS SOUS 22168760 HAS SOUPS 21585574 WITH SCORE 2.1667448983E7
AT ITER 3313 NEW BEST:: SOT 132576430 SOS 81872292 HAS SOPS 66822506 HAS SOUS 22168008 HAS SOUPS 21584822 WITH SCORE 2.1666694292E7
AT ITER 3329 NEW BEST:: SOT 132576964 SOS 81879874 HAS SOPS 66830462 HAS SOUS 22167385 HAS SOUPS 21584199 WITH SCORE 2.1666078874E7
AT ITER 3342 NEW BEST:: SOT 132577826 SOS 81880530 HAS SOPS 66830158 HAS SOUS 22167365 HAS SOUPS 21584179 WITH SCORE 2.166605953E7
AT ITER 3366 NEW BEST:: SOT 132575967 SOS 81876603 HAS SOPS 66827120 HAS SOUS 22161093 HAS SOUPS 21577907 WITH SCORE 2.1659783603E7
AT ITER 3367 NEW BEST:: SOT 132604203 SOS 81961315 HAS SOPS 66896051 HAS SOUS 22157354 HAS SOUPS 21574168 WITH SCORE 2.1656129315E7
AT ITER 3387 NEW BEST:: SOT 132603202 SOS 81963988 HAS SOPS 66893711 HAS SOUS 22147761 HAS SOUPS 21564563 WITH SCORE 2.1646526988E7
AT ITER 3388 NEW BEST:: SOT 132582309 SOS 81943095 HAS SOPS 66871314 HAS SOUS 22124996 HAS SOUPS 21540662 WITH SCORE 2.1622605095E7
AT ITER 3392 NEW BEST:: SOT 132580819 SOS 81941565 HAS SOPS 66871064 HAS SOUS 22122146 HAS SOUPS 21537812 WITH SCORE 2.1619753565E7
AT ITER 3404 NEW BEST:: SOT 132582271 SOS 81944237 HAS SOPS 66873491 HAS SOUS 22120087 HAS SOUPS 21535753 WITH SCORE 2.1617697237E7
AT ITER 3425 NEW BEST:: SOT 132584671 SOS 81951263 HAS SOPS 66879623 HAS SOUS 22116250 HAS SOUPS 21531916 WITH SCORE 2.1613867263E7
AT ITER 3444 NEW BEST:: SOT 132547577 SOS 81913707 HAS SOPS 66841300 HAS SOUS 22043292 HAS SOUPS 21458871 WITH SCORE 2.1540784707E7
AT ITER 3453 NEW BEST:: SOT 132547256 SOS 81913225 HAS SOPS 66840766 HAS SOUS 22042817 HAS SOUPS 21458396 WITH SCORE 2.1540309225E7
AT ITER 3468 NEW BEST:: SOT 132539338 SOS 81904929 HAS SOPS 66829876 HAS SOUS 22032314 HAS SOUPS 21447891 WITH SCORE 2.1529795929E7
AT ITER 3472 NEW BEST:: SOT 132532434 SOS 81893617 HAS SOPS 66821608 HAS SOUS 22022087 HAS SOUPS 21437969 WITH SCORE 2.1519862617E7
AT ITER 3478 NEW BEST:: SOT 132525227 SOS 81886353 HAS SOPS 66811569 HAS SOUS 22011562 HAS SOUPS 21427444 WITH SCORE 2.1509330353E7
AT ITER 3480 NEW BEST:: SOT 132525401 SOS 81887305 HAS SOPS 66811926 HAS SOUS 22009660 HAS SOUPS 21425542 WITH SCORE 2.1507429305E7
AT ITER 3488 NEW BEST:: SOT 132531812 SOS 81893180 HAS SOPS 66817834 HAS SOUS 22002505 HAS SOUPS 21418420 WITH SCORE 2.150031318E7
AT ITER 3496 NEW BEST:: SOT 132533093 SOS 81897114 HAS SOPS 66819075 HAS SOUS 21997575 HAS SOUPS 21413490 WITH SCORE 2.1495387114E7
AT ITER 3515 NEW BEST:: SOT 132479179 SOS 81837462 HAS SOPS 66760126 HAS SOUS 21952318 HAS SOUPS 21368320 WITH SCORE 2.1450157462E7
AT ITER 3520 NEW BEST:: SOT 132479579 SOS 81841432 HAS SOPS 66761668 HAS SOUS 21950042 HAS SOUPS 21366028 WITH SCORE 2.1447869432E7
AT ITER 3522 NEW BEST:: SOT 132484185 SOS 81859987 HAS SOPS 66776282 HAS SOUS 21946406 HAS SOUPS 21362392 WITH SCORE 2.1444251987E7
AT ITER 3529 NEW BEST:: SOT 132484773 SOS 81859859 HAS SOPS 66776154 HAS SOUS 21944279 HAS SOUPS 21360265 WITH SCORE 2.1442124859E7
AT ITER 3547 NEW BEST:: SOT 132487287 SOS 81873804 HAS SOPS 66786826 HAS SOUS 21934228 HAS SOUPS 21350214 WITH SCORE 2.1432087804E7
AT ITER 3549 NEW BEST:: SOT 132489474 SOS 81898524 HAS SOPS 66830967 HAS SOUS 21931636 HAS SOUPS 21347622 WITH SCORE 2.1429520524E7
AT ITER 3557 NEW BEST:: SOT 132486563 SOS 81895595 HAS SOPS 66827623 HAS SOUS 21924526 HAS SOUPS 21340512 WITH SCORE 2.1422407595E7
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 13777056 kB
After kill :
MemTotal: 16393216 kB
MemFree: 15952256 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="RERS17pb114-PT-8"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is RERS17pb114-PT-8, 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-167889204100136"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/RERS17pb114-PT-8.tgz
mv RERS17pb114-PT-8 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 ;