About the Execution of Smart+red for Railroad-PT-100
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 3139.867 | 3600000.00 | 3654444.00 | 9390.70 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r331-tall-167889204400400.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 Railroad-PT-100, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r331-tall-167889204400400
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 5.6M
-rw-r--r-- 1 mcc users 5.8K Feb 25 22:34 CTLCardinality.txt
-rw-r--r-- 1 mcc users 51K Feb 25 22:34 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.7K Feb 25 22:33 CTLFireability.txt
-rw-r--r-- 1 mcc users 34K Feb 25 22:33 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.0K Feb 25 16:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:42 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:42 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 22:38 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 110K Feb 25 22:38 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 25 22:36 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 79K Feb 25 22:36 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:42 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:42 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 5.2M 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 1679144525365
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=Railroad-PT-100
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-18 13:02:07] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-18 13:02:07] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-18 13:02:07] [INFO ] Load time of PNML (sax parser for PT used): 372 ms
[2023-03-18 13:02:07] [INFO ] Transformed 1018 places.
[2023-03-18 13:02:07] [INFO ] Transformed 10506 transitions.
[2023-03-18 13:02:07] [INFO ] Found NUPN structural information;
[2023-03-18 13:02:07] [INFO ] Parsed PT model containing 1018 places and 10506 transitions and 62728 arcs in 577 ms.
[2023-03-18 13:02:07] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1018 places, 10506 transitions and 62728 arcs took 89 ms.
Total runtime 701 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Railroad (PT), instance 100
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: 1018 places, 10506 transitions, 62728 arcs.
AT ITER 0 NEW BEST:: SOT 2998115 SOS 2383898 HAS SOPS 2374345 HAS SOUS 1322226 HAS SOUPS 1322125 WITH SCORE 1324508.898
AT ITER 6 NEW BEST:: SOT 3001415 SOS 2384279 HAS SOPS 2369951 HAS SOUS 1318583 HAS SOUPS 1318482 WITH SCORE 1320866.279
AT ITER 16 NEW BEST:: SOT 2996191 SOS 2379086 HAS SOPS 2364755 HAS SOUS 1313342 HAS SOUPS 1313241 WITH SCORE 1315620.086
AT ITER 26 NEW BEST:: SOT 2988272 SOS 2371247 HAS SOPS 2356916 HAS SOUS 1305503 HAS SOUPS 1305402 WITH SCORE 1307773.247
AT ITER 34 NEW BEST:: SOT 2986745 SOS 2369722 HAS SOPS 2355377 HAS SOUS 1304065 HAS SOUPS 1303958 WITH SCORE 1306327.722
AT ITER 39 NEW BEST:: SOT 2980845 SOS 2363881 HAS SOPS 2349536 HAS SOUS 1298224 HAS SOUPS 1298117 WITH SCORE 1300480.881
AT ITER 55 NEW BEST:: SOT 2980789 SOS 2363769 HAS SOPS 2349424 HAS SOUS 1298112 HAS SOUPS 1298005 WITH SCORE 1300368.769
AT ITER 71 NEW BEST:: SOT 2973020 SOS 2354104 HAS SOPS 2334977 HAS SOUS 1281803 HAS SOUPS 1281696 WITH SCORE 1284050.104
AT ITER 86 NEW BEST:: SOT 2973020 SOS 2353927 HAS SOPS 2334800 HAS SOUS 1281626 HAS SOUPS 1281519 WITH SCORE 1283872.927
AT ITER 90 NEW BEST:: SOT 2973019 SOS 2353926 HAS SOPS 2334799 HAS SOUS 1281625 HAS SOUPS 1281518 WITH SCORE 1283871.926
AT ITER 97 NEW BEST:: SOT 2967882 SOS 2348859 HAS SOPS 2329728 HAS SOUS 1276473 HAS SOUPS 1276366 WITH SCORE 1278714.859
AT ITER 113 NEW BEST:: SOT 2967812 SOS 2348789 HAS SOPS 2329658 HAS SOUS 1276403 HAS SOUPS 1276296 WITH SCORE 1278644.789
AT ITER 114 NEW BEST:: SOT 2967804 SOS 2348781 HAS SOPS 2329650 HAS SOUS 1276395 HAS SOUPS 1276288 WITH SCORE 1278636.781
AT ITER 127 NEW BEST:: SOT 2967734 SOS 2348642 HAS SOPS 2329511 HAS SOUS 1276256 HAS SOUPS 1276149 WITH SCORE 1278497.642
AT ITER 163 NEW BEST:: SOT 2962518 SOS 2340819 HAS SOPS 2316905 HAS SOUS 1264993 HAS SOUPS 1264886 WITH SCORE 1267226.819
AT ITER 164 NEW BEST:: SOT 2959943 SOS 2338258 HAS SOPS 2314339 HAS SOUS 1262407 HAS SOUPS 1262300 WITH SCORE 1264638.258
AT ITER 194 NEW BEST:: SOT 2955877 SOS 2334257 HAS SOPS 2310333 HAS SOUS 1258390 HAS SOUPS 1258283 WITH SCORE 1260617.257
AT ITER 198 NEW BEST:: SOT 2946261 SOS 2320184 HAS SOPS 2291475 HAS SOUS 1237711 HAS SOUPS 1237604 WITH SCORE 1239924.184
AT ITER 199 NEW BEST:: SOT 2945002 SOS 2318964 HAS SOPS 2290249 HAS SOUS 1236492 HAS SOUPS 1236385 WITH SCORE 1238703.964
AT ITER 203 NEW BEST:: SOT 2945002 SOS 2318916 HAS SOPS 2290201 HAS SOUS 1236444 HAS SOUPS 1236337 WITH SCORE 1238655.916
AT ITER 212 NEW BEST:: SOT 2941119 SOS 2315115 HAS SOPS 2286394 HAS SOUS 1232559 HAS SOUPS 1232452 WITH SCORE 1234767.115
AT ITER 214 NEW BEST:: SOT 2937286 SOS 2311342 HAS SOPS 2282615 HAS SOUS 1228739 HAS SOUPS 1228632 WITH SCORE 1230943.342
AT ITER 215 NEW BEST:: SOT 2931637 SOS 2302411 HAS SOPS 2268896 HAS SOUS 1215842 HAS SOUPS 1215735 WITH SCORE 1218037.411
AT ITER 219 NEW BEST:: SOT 2931737 SOS 2302296 HAS SOPS 2268781 HAS SOUS 1215727 HAS SOUPS 1215620 WITH SCORE 1217922.296
AT ITER 231 NEW BEST:: SOT 2931651 SOS 2302210 HAS SOPS 2268695 HAS SOUS 1215641 HAS SOUPS 1215534 WITH SCORE 1217836.21
AT ITER 245 NEW BEST:: SOT 2929269 SOS 2299857 HAS SOPS 2266335 HAS SOUS 1213189 HAS SOUPS 1213082 WITH SCORE 1215381.857
AT ITER 249 NEW BEST:: SOT 2929256 SOS 2299844 HAS SOPS 2266322 HAS SOUS 1213176 HAS SOUPS 1213069 WITH SCORE 1215368.844
AT ITER 253 NEW BEST:: SOT 2919780 SOS 2287304 HAS SOPS 2248993 HAS SOUS 1191955 HAS SOUPS 1191848 WITH SCORE 1194135.304
AT ITER 258 NEW BEST:: SOT 2924842 SOS 2287943 HAS SOPS 2244843 HAS SOUS 1184473 HAS SOUPS 1184366 WITH SCORE 1186653.943
AT ITER 273 NEW BEST:: SOT 2924747 SOS 2287901 HAS SOPS 2244801 HAS SOUS 1184431 HAS SOUPS 1184324 WITH SCORE 1186611.901
AT ITER 274 NEW BEST:: SOT 2924642 SOS 2287691 HAS SOPS 2244591 HAS SOUS 1184221 HAS SOUPS 1184114 WITH SCORE 1186401.691
AT ITER 276 NEW BEST:: SOT 2924642 SOS 2287640 HAS SOPS 2244540 HAS SOUS 1184221 HAS SOUPS 1184114 WITH SCORE 1186401.64
AT ITER 283 NEW BEST:: SOT 2918744 SOS 2272819 HAS SOPS 2224930 HAS SOUS 1170619 HAS SOUPS 1170512 WITH SCORE 1172784.819
AT ITER 290 NEW BEST:: SOT 2914702 SOS 2268841 HAS SOPS 2220118 HAS SOUS 1160179 HAS SOUPS 1160052 WITH SCORE 1162320.841
AT ITER 310 NEW BEST:: SOT 2909888 SOS 2256916 HAS SOPS 2203328 HAS SOUS 1148948 HAS SOUPS 1148821 WITH SCORE 1151077.916
AT ITER 324 NEW BEST:: SOT 2848814 SOS 2212993 HAS SOPS 2142254 HAS SOUS 1088252 HAS SOUPS 1087747 WITH SCORE 1089959.993
AT ITER 334 NEW BEST:: SOT 2846670 SOS 2210894 HAS SOPS 2140034 HAS SOUS 1085129 HAS SOUPS 1084624 WITH SCORE 1086834.894
AT ITER 335 NEW BEST:: SOT 2846552 SOS 2210776 HAS SOPS 2140033 HAS SOUS 1085128 HAS SOUPS 1084623 WITH SCORE 1086833.776
AT ITER 340 NEW BEST:: SOT 2846552 SOS 2210761 HAS SOPS 2140018 HAS SOUS 1085128 HAS SOUPS 1084623 WITH SCORE 1086833.761
AT ITER 345 NEW BEST:: SOT 2845914 SOS 2204023 HAS SOPS 2130160 HAS SOUS 1083509 HAS SOUPS 1083004 WITH SCORE 1085208.023
AT ITER 376 NEW BEST:: SOT 2841280 SOS 2195279 HAS SOPS 2116541 HAS SOUS 1072599 HAS SOUPS 1072094 WITH SCORE 1074289.279
AT ITER 403 NEW BEST:: SOT 2837785 SOS 2191855 HAS SOPS 2112092 HAS SOUS 1061111 HAS SOUPS 1060606 WITH SCORE 1062797.855
AT ITER 405 NEW BEST:: SOT 2845859 SOS 2192812 HAS SOPS 2108072 HAS SOUS 1059507 HAS SOUPS 1059002 WITH SCORE 1061194.812
AT ITER 435 NEW BEST:: SOT 2839542 SOS 2186408 HAS SOPS 2101657 HAS SOUS 1046092 HAS SOUPS 1045587 WITH SCORE 1047773.408
AT ITER 438 NEW BEST:: SOT 2831913 SOS 2178881 HAS SOPS 2094130 HAS SOUS 1038614 HAS SOUPS 1038109 WITH SCORE 1040287.881
AT ITER 441 NEW BEST:: SOT 2830493 SOS 2176080 HAS SOPS 2087162 HAS SOUS 1035187 HAS SOUPS 1034682 WITH SCORE 1036858.08
AT ITER 456 NEW BEST:: SOT 2829211 SOS 2174853 HAS SOPS 2085921 HAS SOUS 1033888 HAS SOUPS 1033383 WITH SCORE 1035557.853
AT ITER 463 NEW BEST:: SOT 2837277 SOS 2177322 HAS SOPS 2083412 HAS SOUS 1030859 HAS SOUPS 1030354 WITH SCORE 1032531.322
AT ITER 475 NEW BEST:: SOT 2841523 SOS 2176810 HAS SOPS 2077922 HAS SOUS 1022756 HAS SOUPS 1022251 WITH SCORE 1024427.81
AT ITER 492 NEW BEST:: SOT 2836164 SOS 2168925 HAS SOPS 2065061 HAS SOUS 1010198 HAS SOUPS 1009693 WITH SCORE 1011861.925
AT ITER 493 NEW BEST:: SOT 2836126 SOS 2168887 HAS SOPS 2065021 HAS SOUS 1010158 HAS SOUPS 1009653 WITH SCORE 1011821.887
AT ITER 525 NEW BEST:: SOT 2836090 SOS 2168851 HAS SOPS 2065006 HAS SOUS 1010143 HAS SOUPS 1009638 WITH SCORE 1011806.851
AT ITER 527 NEW BEST:: SOT 2835940 SOS 2168701 HAS SOPS 2064855 HAS SOUS 1009992 HAS SOUPS 1009487 WITH SCORE 1011655.701
AT ITER 529 NEW BEST:: SOT 2827335 SOS 2156913 HAS SOPS 2048089 HAS SOUS 990210 HAS SOUPS 989705 WITH SCORE 991861.913
AT ITER 535 NEW BEST:: SOT 2827315 SOS 2156893 HAS SOPS 2048002 HAS SOUS 990123 HAS SOUPS 989618 WITH SCORE 991774.893
AT ITER 573 NEW BEST:: SOT 2821622 SOS 2151155 HAS SOPS 2042264 HAS SOUS 984385 HAS SOUPS 983880 WITH SCORE 986031.155
AT ITER 577 NEW BEST:: SOT 2821705 SOS 2151238 HAS SOPS 2042200 HAS SOUS 984321 HAS SOUPS 983816 WITH SCORE 985967.238
AT ITER 580 NEW BEST:: SOT 2818097 SOS 2147630 HAS SOPS 2037952 HAS SOUS 978921 HAS SOUPS 978362 WITH SCORE 980509.63
AT ITER 584 NEW BEST:: SOT 2815306 SOS 2144852 HAS SOPS 2034335 HAS SOUS 970120 HAS SOUPS 969561 WITH SCORE 971705.852
AT ITER 594 NEW BEST:: SOT 2813505 SOS 2143088 HAS SOPS 2032557 HAS SOUS 966356 HAS SOUPS 965797 WITH SCORE 967940.088
AT ITER 622 NEW BEST:: SOT 2813493 SOS 2143076 HAS SOPS 2032544 HAS SOUS 966343 HAS SOUPS 965784 WITH SCORE 967927.076
AT ITER 624 NEW BEST:: SOT 2813378 SOS 2142961 HAS SOPS 2032509 HAS SOUS 966308 HAS SOUPS 965749 WITH SCORE 967891.961
AT ITER 635 NEW BEST:: SOT 2813124 SOS 2142707 HAS SOPS 2032254 HAS SOUS 966053 HAS SOUPS 965494 WITH SCORE 967636.707
AT ITER 644 NEW BEST:: SOT 2813056 SOS 2142639 HAS SOPS 2032179 HAS SOUS 965978 HAS SOUPS 965419 WITH SCORE 967561.639
AT ITER 655 NEW BEST:: SOT 2811304 SOS 2140887 HAS SOPS 2030427 HAS SOUS 964199 HAS SOUPS 963640 WITH SCORE 965780.887
AT ITER 670 NEW BEST:: SOT 2811039 SOS 2140721 HAS SOPS 2030396 HAS SOUS 964091 HAS SOUPS 963532 WITH SCORE 965672.721
AT ITER 683 NEW BEST:: SOT 2810565 SOS 2140256 HAS SOPS 2029914 HAS SOUS 963571 HAS SOUPS 963012 WITH SCORE 965152.256
AT ITER 689 NEW BEST:: SOT 2810461 SOS 2140152 HAS SOPS 2029810 HAS SOUS 963467 HAS SOUPS 962908 WITH SCORE 965048.152
AT ITER 695 NEW BEST:: SOT 2810459 SOS 2140150 HAS SOPS 2029808 HAS SOUS 963465 HAS SOUPS 962906 WITH SCORE 965046.15
AT ITER 745 NEW BEST:: SOT 2810348 SOS 2140039 HAS SOPS 2029773 HAS SOUS 963430 HAS SOUPS 962871 WITH SCORE 965011.039
AT ITER 753 NEW BEST:: SOT 2810348 SOS 2139973 HAS SOPS 2029707 HAS SOUS 963430 HAS SOUPS 962871 WITH SCORE 965010.973
AT ITER 782 NEW BEST:: SOT 2809847 SOS 2139472 HAS SOPS 2029073 HAS SOUS 961838 HAS SOUPS 961279 WITH SCORE 963418.472
AT ITER 783 NEW BEST:: SOT 2809596 SOS 2139230 HAS SOPS 2028904 HAS SOUS 961669 HAS SOUPS 961110 WITH SCORE 963249.23
AT ITER 791 NEW BEST:: SOT 2809564 SOS 2139271 HAS SOPS 2028926 HAS SOUS 961520 HAS SOUPS 960961 WITH SCORE 963100.271
AT ITER 792 NEW BEST:: SOT 2809423 SOS 2139130 HAS SOPS 2028682 HAS SOUS 961276 HAS SOUPS 960717 WITH SCORE 962856.13
AT ITER 798 NEW BEST:: SOT 2809323 SOS 2139030 HAS SOPS 2028576 HAS SOUS 961170 HAS SOUPS 960611 WITH SCORE 962750.03
AT ITER 814 NEW BEST:: SOT 2813323 SOS 2140916 HAS SOPS 2025329 HAS SOUS 951521 HAS SOUPS 950962 WITH SCORE 953102.916
AT ITER 820 NEW BEST:: SOT 2813323 SOS 2140916 HAS SOPS 2025297 HAS SOUS 951489 HAS SOUPS 950930 WITH SCORE 953070.916
AT ITER 838 NEW BEST:: SOT 2813323 SOS 2140916 HAS SOPS 2025262 HAS SOUS 951454 HAS SOUPS 950895 WITH SCORE 953035.916
AT ITER 839 NEW BEST:: SOT 2813126 SOS 2140719 HAS SOPS 2025216 HAS SOUS 951408 HAS SOUPS 950849 WITH SCORE 952989.719
AT ITER 840 NEW BEST:: SOT 2813047 SOS 2140549 HAS SOPS 2025201 HAS SOUS 951393 HAS SOUPS 950834 WITH SCORE 952974.549
AT ITER 847 NEW BEST:: SOT 2811892 SOS 2139425 HAS SOPS 2023551 HAS SOUS 947586 HAS SOUPS 947027 WITH SCORE 949166.425
AT ITER 857 NEW BEST:: SOT 2807210 SOS 2127126 HAS SOPS 2006203 HAS SOUS 936060 HAS SOUPS 935501 WITH SCORE 937628.126
AT ITER 871 NEW BEST:: SOT 2807067 SOS 2126983 HAS SOPS 2006181 HAS SOUS 936038 HAS SOUPS 935479 WITH SCORE 937605.983
AT ITER 878 NEW BEST:: SOT 2806983 SOS 2126904 HAS SOPS 2006083 HAS SOUS 935878 HAS SOUPS 935319 WITH SCORE 937445.904
AT ITER 881 NEW BEST:: SOT 2813020 SOS 2154723 HAS SOPS 2016152 HAS SOUS 935845 HAS SOUPS 935105 WITH SCORE 937259.723
AT ITER 886 NEW BEST:: SOT 2813020 SOS 2154723 HAS SOPS 2016003 HAS SOUS 935696 HAS SOUPS 934956 WITH SCORE 937110.723
AT ITER 950 NEW BEST:: SOT 2812886 SOS 2154589 HAS SOPS 2015996 HAS SOUS 935689 HAS SOUPS 934949 WITH SCORE 937103.589
AT ITER 953 NEW BEST:: SOT 2812623 SOS 2154326 HAS SOPS 2015733 HAS SOUS 935426 HAS SOUPS 934686 WITH SCORE 936840.326
AT ITER 954 NEW BEST:: SOT 2812415 SOS 2154118 HAS SOPS 2015700 HAS SOUS 935393 HAS SOUPS 934653 WITH SCORE 936807.118
AT ITER 969 NEW BEST:: SOT 2812394 SOS 2154097 HAS SOPS 2015661 HAS SOUS 935317 HAS SOUPS 934577 WITH SCORE 936731.097
AT ITER 994 NEW BEST:: SOT 2824834 SOS 2164568 HAS SOPS 2021165 HAS SOUS 933810 HAS SOUPS 933070 WITH SCORE 935234.568
AT ITER 997 NEW BEST:: SOT 2824826 SOS 2164560 HAS SOPS 2019842 HAS SOUS 926285 HAS SOUPS 925545 WITH SCORE 927709.56
AT ITER 1008 NEW BEST:: SOT 2831975 SOS 2164751 HAS SOPS 2014750 HAS SOUS 923545 HAS SOUPS 922805 WITH SCORE 924969.751
AT ITER 1011 NEW BEST:: SOT 2831795 SOS 2164571 HAS SOPS 2014480 HAS SOUS 923275 HAS SOUPS 922535 WITH SCORE 924699.571
AT ITER 1015 NEW BEST:: SOT 2831701 SOS 2164477 HAS SOPS 2014322 HAS SOUS 923117 HAS SOUPS 922377 WITH SCORE 924541.477
AT ITER 1037 NEW BEST:: SOT 2831605 SOS 2164381 HAS SOPS 2014159 HAS SOUS 922954 HAS SOUPS 922214 WITH SCORE 924378.381
AT ITER 1052 NEW BEST:: SOT 2831545 SOS 2164321 HAS SOPS 2014099 HAS SOUS 922894 HAS SOUPS 922154 WITH SCORE 924318.321
AT ITER 1053 NEW BEST:: SOT 2831471 SOS 2164247 HAS SOPS 2014081 HAS SOUS 922876 HAS SOUPS 922136 WITH SCORE 924300.247
AT ITER 1063 NEW BEST:: SOT 2829069 SOS 2160645 HAS SOPS 2005627 HAS SOUS 916830 HAS SOUPS 916090 WITH SCORE 918250.645
AT ITER 1086 NEW BEST:: SOT 2826952 SOS 2158528 HAS SOPS 2003510 HAS SOUS 914679 HAS SOUPS 913939 WITH SCORE 916097.528
AT ITER 1098 NEW BEST:: SOT 2826889 SOS 2158465 HAS SOPS 2003447 HAS SOUS 914616 HAS SOUPS 913876 WITH SCORE 916034.465
AT ITER 1105 NEW BEST:: SOT 2825104 SOS 2156680 HAS SOPS 2001655 HAS SOUS 910931 HAS SOUPS 910191 WITH SCORE 912347.68
AT ITER 1109 NEW BEST:: SOT 2825038 SOS 2156614 HAS SOPS 2001589 HAS SOUS 910865 HAS SOUPS 910125 WITH SCORE 912281.614
AT ITER 1110 NEW BEST:: SOT 2825038 SOS 2166927 HAS SOPS 2006061 HAS SOUS 909951 HAS SOUPS 909152 WITH SCORE 911318.927
AT ITER 1119 NEW BEST:: SOT 2825005 SOS 2166894 HAS SOPS 2006012 HAS SOUS 909902 HAS SOUPS 909103 WITH SCORE 911269.894
AT ITER 1157 NEW BEST:: SOT 2827853 SOS 2169558 HAS SOPS 2006709 HAS SOUS 899434 HAS SOUPS 898635 WITH SCORE 900804.558
AT ITER 1163 NEW BEST:: SOT 2827714 SOS 2169419 HAS SOPS 2006505 HAS SOUS 899230 HAS SOUPS 898431 WITH SCORE 900600.419
AT ITER 1208 NEW BEST:: SOT 2805558 SOS 2147364 HAS SOPS 1984450 HAS SOUS 877175 HAS SOUPS 876376 WITH SCORE 878523.364
AT ITER 1216 NEW BEST:: SOT 2798499 SOS 2140305 HAS SOPS 1977391 HAS SOUS 870139 HAS SOUPS 869340 WITH SCORE 871480.305
AT ITER 1231 NEW BEST:: SOT 2798347 SOS 2139935 HAS SOPS 1977508 HAS SOUS 870109 HAS SOUPS 869310 WITH SCORE 871449.935
AT ITER 1242 NEW BEST:: SOT 2798328 SOS 2139916 HAS SOPS 1977481 HAS SOUS 870082 HAS SOUPS 869283 WITH SCORE 871422.916
AT ITER 1280 NEW BEST:: SOT 2798307 SOS 2139895 HAS SOPS 1977439 HAS SOUS 870040 HAS SOUPS 869241 WITH SCORE 871380.895
AT ITER 1315 NEW BEST:: SOT 2795035 SOS 2136791 HAS SOPS 1974279 HAS SOUS 863115 HAS SOUPS 862316 WITH SCORE 864452.791
AT ITER 1330 NEW BEST:: SOT 2794561 SOS 2133262 HAS SOPS 1967929 HAS SOUS 861898 HAS SOUPS 861099 WITH SCORE 863232.262
AT ITER 1352 NEW BEST:: SOT 2790287 SOS 2121659 HAS SOPS 1951175 HAS SOUS 851189 HAS SOUPS 850390 WITH SCORE 852511.659
AT ITER 1361 NEW BEST:: SOT 2796263 SOS 2124076 HAS SOPS 1948262 HAS SOUS 844446 HAS SOUPS 843647 WITH SCORE 845771.076
AT ITER 1387 NEW BEST:: SOT 2796155 SOS 2123968 HAS SOPS 1948255 HAS SOUS 844439 HAS SOUPS 843640 WITH SCORE 845763.968
AT ITER 1408 NEW BEST:: SOT 2794299 SOS 2121954 HAS SOPS 1946121 HAS SOUS 840178 HAS SOUPS 839379 WITH SCORE 841500.954
AT ITER 1437 NEW BEST:: SOT 2794203 SOS 2121858 HAS SOPS 1945765 HAS SOUS 839209 HAS SOUPS 838410 WITH SCORE 840531.858
AT ITER 1443 NEW BEST:: SOT 2794194 SOS 2121849 HAS SOPS 1945756 HAS SOUS 839200 HAS SOUPS 838401 WITH SCORE 840522.849
AT ITER 1484 NEW BEST:: SOT 2792530 SOS 2120185 HAS SOPS 1943596 HAS SOUS 834633 HAS SOUPS 833834 WITH SCORE 835954.185
AT ITER 1491 NEW BEST:: SOT 2792571 SOS 2120226 HAS SOPS 1943592 HAS SOUS 834629 HAS SOUPS 833830 WITH SCORE 835950.226
AT ITER 1495 NEW BEST:: SOT 2792571 SOS 2120226 HAS SOPS 1943444 HAS SOUS 834481 HAS SOUPS 833682 WITH SCORE 835802.226
AT ITER 1498 NEW BEST:: SOT 2792375 SOS 2120030 HAS SOPS 1943442 HAS SOUS 834479 HAS SOUPS 833680 WITH SCORE 835800.03
AT ITER 1500 NEW BEST:: SOT 2792372 SOS 2120027 HAS SOPS 1943439 HAS SOUS 834476 HAS SOUPS 833677 WITH SCORE 835797.027
AT ITER 1525 NEW BEST:: SOT 2792372 SOS 2120017 HAS SOPS 1943429 HAS SOUS 834466 HAS SOUPS 833667 WITH SCORE 835787.017
AT ITER 1536 NEW BEST:: SOT 2792317 SOS 2119962 HAS SOPS 1943311 HAS SOUS 834348 HAS SOUPS 833549 WITH SCORE 835668.962
AT ITER 1539 NEW BEST:: SOT 2788507 SOS 2116195 HAS SOPS 1939308 HAS SOUS 826071 HAS SOUPS 825272 WITH SCORE 827388.195
AT ITER 1595 NEW BEST:: SOT 2788462 SOS 2116150 HAS SOPS 1939263 HAS SOUS 826026 HAS SOUPS 825227 WITH SCORE 827343.15
AT ITER 1621 NEW BEST:: SOT 2788628 SOS 2116316 HAS SOPS 1939246 HAS SOUS 826009 HAS SOUPS 825210 WITH SCORE 827326.316
AT ITER 1656 NEW BEST:: SOT 2788566 SOS 2116254 HAS SOPS 1938884 HAS SOUS 825023 HAS SOUPS 824224 WITH SCORE 826340.254
AT ITER 1680 NEW BEST:: SOT 2788566 SOS 2114252 HAS SOPS 1936882 HAS SOUS 825003 HAS SOUPS 824204 WITH SCORE 826318.252
AT ITER 1705 NEW BEST:: SOT 2788521 SOS 2114207 HAS SOPS 1936837 HAS SOUS 824958 HAS SOUPS 824159 WITH SCORE 826273.207
AT ITER 1708 NEW BEST:: SOT 2788494 SOS 2114180 HAS SOPS 1936635 HAS SOUS 824756 HAS SOUPS 823957 WITH SCORE 826071.18
AT ITER 1746 NEW BEST:: SOT 2788345 SOS 2114031 HAS SOPS 1936526 HAS SOUS 824647 HAS SOUPS 823848 WITH SCORE 825962.031
AT ITER 1753 NEW BEST:: SOT 2792899 SOS 2113187 HAS SOPS 1930312 HAS SOUS 818072 HAS SOUPS 817273 WITH SCORE 819386.187
AT ITER 1790 NEW BEST:: SOT 2802655 SOS 2121653 HAS SOPS 1933392 HAS SOUS 813077 HAS SOUPS 812278 WITH SCORE 814399.653
AT ITER 1797 NEW BEST:: SOT 2802550 SOS 2117275 HAS SOPS 1923923 HAS SOUS 811897 HAS SOUPS 811098 WITH SCORE 813215.275
AT ITER 1804 NEW BEST:: SOT 2802550 SOS 2117248 HAS SOPS 1923896 HAS SOUS 811870 HAS SOUPS 811071 WITH SCORE 813188.248
AT ITER 1819 NEW BEST:: SOT 2802550 SOS 2116654 HAS SOPS 1923302 HAS SOUS 811858 HAS SOUPS 811059 WITH SCORE 813175.654
AT ITER 1820 NEW BEST:: SOT 2802545 SOS 2116649 HAS SOPS 1923292 HAS SOUS 811848 HAS SOUPS 811049 WITH SCORE 813165.649
AT ITER 1821 NEW BEST:: SOT 2802173 SOS 2116277 HAS SOPS 1922920 HAS SOUS 811460 HAS SOUPS 810661 WITH SCORE 812777.277
AT ITER 1840 NEW BEST:: SOT 2800679 SOS 2114783 HAS SOPS 1919882 HAS SOUS 805021 HAS SOUPS 804222 WITH SCORE 806336.783
AT ITER 1841 NEW BEST:: SOT 2798894 SOS 2112947 HAS SOPS 1918046 HAS SOUS 803189 HAS SOUPS 802390 WITH SCORE 804502.947
AT ITER 1854 NEW BEST:: SOT 2789938 SOS 2104318 HAS SOPS 1909417 HAS SOUS 794456 HAS SOUPS 793657 WITH SCORE 795761.318
AT ITER 1858 NEW BEST:: SOT 2786797 SOS 2098739 HAS SOPS 1898745 HAS SOUS 786630 HAS SOUPS 785831 WITH SCORE 787929.739
AT ITER 1861 NEW BEST:: SOT 2786797 SOS 2098739 HAS SOPS 1898742 HAS SOUS 786627 HAS SOUPS 785828 WITH SCORE 787926.739
AT ITER 1867 NEW BEST:: SOT 2786778 SOS 2098720 HAS SOPS 1898704 HAS SOUS 786589 HAS SOUPS 785790 WITH SCORE 787888.72
AT ITER 1893 NEW BEST:: SOT 2784676 SOS 2096618 HAS SOPS 1896584 HAS SOUS 782187 HAS SOUPS 781388 WITH SCORE 783484.618
AT ITER 1907 NEW BEST:: SOT 2784547 SOS 2092824 HAS SOPS 1891185 HAS SOUS 781773 HAS SOUPS 780974 WITH SCORE 783066.824
AT ITER 1914 NEW BEST:: SOT 2784547 SOS 2092624 HAS SOPS 1890985 HAS SOUS 781769 HAS SOUPS 780970 WITH SCORE 783062.624
AT ITER 1929 NEW BEST:: SOT 2784530 SOS 2092607 HAS SOPS 1890982 HAS SOUS 781766 HAS SOUPS 780967 WITH SCORE 783059.607
AT ITER 1951 NEW BEST:: SOT 2784530 SOS 2089340 HAS SOPS 1887715 HAS SOUS 781700 HAS SOUPS 780901 WITH SCORE 782990.34
AT ITER 1964 NEW BEST:: SOT 2784364 SOS 2089174 HAS SOPS 1887642 HAS SOUS 781627 HAS SOUPS 780828 WITH SCORE 782917.174
AT ITER 1971 NEW BEST:: SOT 2784347 SOS 2089157 HAS SOPS 1887625 HAS SOUS 781610 HAS SOUPS 780811 WITH SCORE 782900.157
AT ITER 2002 NEW BEST:: SOT 2784305 SOS 2089115 HAS SOPS 1887562 HAS SOUS 781547 HAS SOUPS 780748 WITH SCORE 782837.115
AT ITER 2012 NEW BEST:: SOT 2784239 SOS 2089049 HAS SOPS 1887496 HAS SOUS 781481 HAS SOUPS 780682 WITH SCORE 782771.049
AT ITER 2023 NEW BEST:: SOT 2784133 SOS 2088944 HAS SOPS 1887395 HAS SOUS 781380 HAS SOUPS 780581 WITH SCORE 782669.944
AT ITER 2067 NEW BEST:: SOT 2784133 SOS 2084192 HAS SOPS 1882643 HAS SOUS 781284 HAS SOUPS 780485 WITH SCORE 782569.192
AT ITER 2076 NEW BEST:: SOT 2784514 SOS 2084573 HAS SOPS 1882519 HAS SOUS 780213 HAS SOUPS 779414 WITH SCORE 781498.573
AT ITER 2081 NEW BEST:: SOT 2784452 SOS 2084511 HAS SOPS 1882398 HAS SOUS 780092 HAS SOUPS 779293 WITH SCORE 781377.511
AT ITER 2096 NEW BEST:: SOT 2785725 SOS 2085784 HAS SOPS 1882834 HAS SOUS 779101 HAS SOUPS 778302 WITH SCORE 780387.784
AT ITER 2108 NEW BEST:: SOT 2785713 SOS 2085772 HAS SOPS 1882811 HAS SOUS 779078 HAS SOUPS 778279 WITH SCORE 780364.772
AT ITER 2145 NEW BEST:: SOT 2779892 SOS 2075128 HAS SOPS 1866761 HAS SOUS 764936 HAS SOUPS 764137 WITH SCORE 766212.128
AT ITER 2159 NEW BEST:: SOT 2779872 SOS 2075108 HAS SOPS 1866741 HAS SOUS 764916 HAS SOUPS 764117 WITH SCORE 766192.108
AT ITER 2164 NEW BEST:: SOT 2779872 SOS 2074912 HAS SOPS 1866545 HAS SOUS 764717 HAS SOUPS 763918 WITH SCORE 765992.912
AT ITER 2165 NEW BEST:: SOT 2779865 SOS 2074905 HAS SOPS 1866538 HAS SOUS 764710 HAS SOUPS 763911 WITH SCORE 765985.905
AT ITER 2218 NEW BEST:: SOT 2779853 SOS 2074893 HAS SOPS 1866526 HAS SOUS 764698 HAS SOUPS 763899 WITH SCORE 765973.893
AT ITER 2247 NEW BEST:: SOT 2779853 SOS 2069448 HAS SOPS 1861081 HAS SOUS 764588 HAS SOUPS 763789 WITH SCORE 765858.448
AT ITER 2252 NEW BEST:: SOT 2779827 SOS 2069422 HAS SOPS 1861029 HAS SOUS 764536 HAS SOUPS 763737 WITH SCORE 765806.422
AT ITER 2253 NEW BEST:: SOT 2779827 SOS 2069422 HAS SOPS 1861018 HAS SOUS 764525 HAS SOUPS 763726 WITH SCORE 765795.422
AT ITER 2284 NEW BEST:: SOT 2779469 SOS 2060500 HAS SOPS 1849606 HAS SOUS 763460 HAS SOUPS 762661 WITH SCORE 764721.5
AT ITER 2298 NEW BEST:: SOT 2779463 SOS 2060494 HAS SOPS 1849600 HAS SOUS 763454 HAS SOUPS 762655 WITH SCORE 764715.494
AT ITER 2313 NEW BEST:: SOT 2779427 SOS 2060458 HAS SOPS 1849550 HAS SOUS 763404 HAS SOUPS 762605 WITH SCORE 764665.458
AT ITER 2321 NEW BEST:: SOT 2779425 SOS 2060456 HAS SOPS 1849548 HAS SOUS 763402 HAS SOUPS 762603 WITH SCORE 764663.456
AT ITER 2325 NEW BEST:: SOT 2779425 SOS 2060661 HAS SOPS 1849753 HAS SOUS 763278 HAS SOUPS 762479 WITH SCORE 764539.661
AT ITER 2382 NEW BEST:: SOT 2779425 SOS 2060459 HAS SOPS 1849551 HAS SOUS 763278 HAS SOUPS 762479 WITH SCORE 764539.459
AT ITER 2452 NEW BEST:: SOT 2779347 SOS 2060381 HAS SOPS 1849473 HAS SOUS 763200 HAS SOUPS 762401 WITH SCORE 764461.381
AT ITER 2455 NEW BEST:: SOT 2779330 SOS 2060364 HAS SOPS 1849458 HAS SOUS 763185 HAS SOUPS 762386 WITH SCORE 764446.364
AT ITER 2509 NEW BEST:: SOT 2779388 SOS 2060200 HAS SOPS 1849294 HAS SOUS 762869 HAS SOUPS 762070 WITH SCORE 764130.2
AT ITER 2532 NEW BEST:: SOT 2779373 SOS 2060185 HAS SOPS 1849268 HAS SOUS 762843 HAS SOUPS 762044 WITH SCORE 764104.185
AT ITER 2533 NEW BEST:: SOT 2779373 SOS 2056828 HAS SOPS 1845911 HAS SOUS 762784 HAS SOUPS 761985 WITH SCORE 764041.828
AT ITER 2544 NEW BEST:: SOT 2779371 SOS 2056826 HAS SOPS 1845909 HAS SOUS 762782 HAS SOUPS 761983 WITH SCORE 764039.826
AT ITER 2600 NEW BEST:: SOT 2779185 SOS 2056640 HAS SOPS 1845909 HAS SOUS 762782 HAS SOUPS 761983 WITH SCORE 764039.64
AT ITER 2602 NEW BEST:: SOT 2779152 SOS 2056607 HAS SOPS 1845893 HAS SOUS 762766 HAS SOUPS 761967 WITH SCORE 764023.607
AT ITER 2654 NEW BEST:: SOT 2768610 SOS 2054899 HAS SOPS 1844185 HAS SOUS 752674 HAS SOUPS 751875 WITH SCORE 753929.899
AT ITER 2656 NEW BEST:: SOT 2767470 SOS 2053759 HAS SOPS 1843031 HAS SOUS 750249 HAS SOUPS 749450 WITH SCORE 751503.759
AT ITER 2684 NEW BEST:: SOT 2766004 SOS 2052293 HAS SOPS 1841565 HAS SOUS 747283 HAS SOUPS 746484 WITH SCORE 748536.293
AT ITER 2705 NEW BEST:: SOT 2762274 SOS 2048557 HAS SOPS 1837829 HAS SOUS 743547 HAS SOUPS 742748 WITH SCORE 744796.557
AT ITER 2716 NEW BEST:: SOT 2761930 SOS 2048213 HAS SOPS 1837485 HAS SOUS 743203 HAS SOUPS 742404 WITH SCORE 744452.213
AT ITER 2718 NEW BEST:: SOT 2757103 SOS 2043386 HAS SOPS 1832921 HAS SOUS 739068 HAS SOUPS 738269 WITH SCORE 740312.386
AT ITER 2742 NEW BEST:: SOT 2757103 SOS 2035997 HAS SOPS 1825532 HAS SOUS 738846 HAS SOUPS 738047 WITH SCORE 740082.997
AT ITER 2766 NEW BEST:: SOT 2752340 SOS 2031064 HAS SOPS 1817723 HAS SOUS 727061 HAS SOUPS 726262 WITH SCORE 728293.064
AT ITER 2781 NEW BEST:: SOT 2764427 SOS 2040922 HAS SOPS 1822429 HAS SOUS 725283 HAS SOUPS 724484 WITH SCORE 726524.922
AT ITER 2829 NEW BEST:: SOT 2764302 SOS 2040797 HAS SOPS 1822384 HAS SOUS 725238 HAS SOUPS 724439 WITH SCORE 726479.797
AT ITER 2831 NEW BEST:: SOT 2764162 SOS 2040657 HAS SOPS 1822244 HAS SOUS 725098 HAS SOUPS 724299 WITH SCORE 726339.657
AT ITER 2855 NEW BEST:: SOT 2763163 SOS 2039626 HAS SOPS 1819888 HAS SOUS 722564 HAS SOUPS 721765 WITH SCORE 723804.626
AT ITER 2857 NEW BEST:: SOT 2763157 SOS 2039614 HAS SOPS 1819882 HAS SOUS 722558 HAS SOUPS 721759 WITH SCORE 723798.614
AT ITER 2860 NEW BEST:: SOT 2763157 SOS 2039614 HAS SOPS 1819882 HAS SOUS 722532 HAS SOUPS 721733 WITH SCORE 723772.614
AT ITER 2892 NEW BEST:: SOT 2758079 SOS 2034536 HAS SOPS 1814820 HAS SOUS 717705 HAS SOUPS 716906 WITH SCORE 718940.536
AT ITER 2893 NEW BEST:: SOT 2757931 SOS 2034388 HAS SOPS 1814733 HAS SOUS 717618 HAS SOUPS 716819 WITH SCORE 718853.388
AT ITER 2908 NEW BEST:: SOT 2757893 SOS 2034350 HAS SOPS 1814695 HAS SOUS 717580 HAS SOUPS 716781 WITH SCORE 718815.35
AT ITER 2909 NEW BEST:: SOT 2756317 SOS 2032774 HAS SOPS 1812770 HAS SOUS 713626 HAS SOUPS 712827 WITH SCORE 714859.774
AT ITER 2949 NEW BEST:: SOT 2756221 SOS 2032512 HAS SOPS 1812536 HAS SOUS 713450 HAS SOUPS 712651 WITH SCORE 714683.512
AT ITER 2980 NEW BEST:: SOT 2755879 SOS 2032170 HAS SOPS 1812026 HAS SOUS 712940 HAS SOUPS 712141 WITH SCORE 714173.17
AT ITER 2982 NEW BEST:: SOT 2757278 SOS 2033569 HAS SOPS 1810281 HAS SOUS 705903 HAS SOUPS 705104 WITH SCORE 707137.569
AT ITER 2996 NEW BEST:: SOT 2757194 SOS 2033485 HAS SOPS 1810137 HAS SOUS 705759 HAS SOUPS 704960 WITH SCORE 706993.485
AT ITER 3018 NEW BEST:: SOT 2757171 SOS 2033462 HAS SOPS 1810114 HAS SOUS 705736 HAS SOUPS 704937 WITH SCORE 706970.462
AT ITER 3025 NEW BEST:: SOT 2757103 SOS 2033394 HAS SOPS 1810012 HAS SOUS 705634 HAS SOUPS 704835 WITH SCORE 706868.394
AT ITER 3050 NEW BEST:: SOT 2757103 SOS 2033266 HAS SOPS 1809884 HAS SOUS 705634 HAS SOUPS 704835 WITH SCORE 706868.266
AT ITER 3068 NEW BEST:: SOT 2760403 SOS 2036566 HAS SOPS 1813271 HAS SOUS 700669 HAS SOUPS 699870 WITH SCORE 701906.566
AT ITER 3069 NEW BEST:: SOT 2760192 SOS 2036401 HAS SOPS 1813106 HAS SOUS 700533 HAS SOUPS 699734 WITH SCORE 701770.401
AT ITER 3087 NEW BEST:: SOT 2756914 SOS 2033162 HAS SOPS 1809867 HAS SOUS 693955 HAS SOUPS 693156 WITH SCORE 695189.162
AT ITER 3088 NEW BEST:: SOT 2756783 SOS 2033031 HAS SOPS 1809740 HAS SOUS 693828 HAS SOUPS 693029 WITH SCORE 695062.031
AT ITER 3103 NEW BEST:: SOT 2756378 SOS 2032626 HAS SOPS 1809054 HAS SOUS 692850 HAS SOUPS 692051 WITH SCORE 694083.626
AT ITER 3107 NEW BEST:: SOT 2756378 SOS 2031933 HAS SOPS 1808361 HAS SOUS 692836 HAS SOUPS 692037 WITH SCORE 694068.933
AT ITER 3149 NEW BEST:: SOT 2750057 SOS 2025612 HAS SOPS 1801974 HAS SOUS 686515 HAS SOUPS 685716 WITH SCORE 687741.612
AT ITER 3153 NEW BEST:: SOT 2749815 SOS 2025370 HAS SOPS 1801732 HAS SOUS 686273 HAS SOUPS 685474 WITH SCORE 687499.37
AT ITER 3161 NEW BEST:: SOT 2753015 SOS 2028570 HAS SOPS 1804879 HAS SOUS 681694 HAS SOUPS 680895 WITH SCORE 682923.57
AT ITER 3164 NEW BEST:: SOT 2752934 SOS 2028489 HAS SOPS 1804798 HAS SOUS 681613 HAS SOUPS 680814 WITH SCORE 682842.489
AT ITER 3171 NEW BEST:: SOT 2752842 SOS 2028395 HAS SOPS 1804742 HAS SOUS 681485 HAS SOUPS 680686 WITH SCORE 682714.395
AT ITER 3198 NEW BEST:: SOT 2745972 SOS 2021686 HAS SOPS 1797867 HAS SOUS 674444 HAS SOUPS 673645 WITH SCORE 675666.686
AT ITER 3202 NEW BEST:: SOT 2748172 SOS 2023816 HAS SOPS 1799997 HAS SOUS 671774 HAS SOUPS 670975 WITH SCORE 672998.816
AT ITER 3242 NEW BEST:: SOT 2748697 SOS 2024375 HAS SOPS 1800140 HAS SOUS 670883 HAS SOUPS 670084 WITH SCORE 672108.375
AT ITER 3244 NEW BEST:: SOT 2757416 SOS 2033094 HAS SOPS 1809045 HAS SOUS 670008 HAS SOUPS 669209 WITH SCORE 671242.094
AT ITER 3290 NEW BEST:: SOT 2757416 SOS 2033094 HAS SOPS 1808943 HAS SOUS 669906 HAS SOUPS 669107 WITH SCORE 671140.094
AT ITER 3298 NEW BEST:: SOT 2757416 SOS 2033067 HAS SOPS 1808916 HAS SOUS 669879 HAS SOUPS 669080 WITH SCORE 671113.067
AT ITER 3301 NEW BEST:: SOT 2757334 SOS 2032985 HAS SOPS 1808916 HAS SOUS 669879 HAS SOUPS 669080 WITH SCORE 671112.985
AT ITER 3320 NEW BEST:: SOT 2756938 SOS 2032589 HAS SOPS 1808520 HAS SOUS 669483 HAS SOUPS 668684 WITH SCORE 670716.589
AT ITER 3334 NEW BEST:: SOT 2748376 SOS 2027780 HAS SOPS 1803525 HAS SOUS 660988 HAS SOUPS 660189 WITH SCORE 662216.78
AT ITER 3338 NEW BEST:: SOT 2748431 SOS 2027764 HAS SOPS 1803509 HAS SOUS 660910 HAS SOUPS 660111 WITH SCORE 662138.764
AT ITER 3343 NEW BEST:: SOT 2748411 SOS 2027734 HAS SOPS 1803479 HAS SOUS 659880 HAS SOUPS 659081 WITH SCORE 661108.734
AT ITER 3412 NEW BEST:: SOT 2748248 SOS 2027571 HAS SOPS 1803399 HAS SOUS 659800 HAS SOUPS 659001 WITH SCORE 661028.571
AT ITER 3440 NEW BEST:: SOT 2748248 SOS 2027466 HAS SOPS 1803294 HAS SOUS 659800 HAS SOUPS 659001 WITH SCORE 661028.466
AT ITER 3448 NEW BEST:: SOT 2748248 SOS 2027445 HAS SOPS 1803273 HAS SOUS 659779 HAS SOUPS 658980 WITH SCORE 661007.445
AT ITER 3456 NEW BEST:: SOT 2748296 SOS 2027493 HAS SOPS 1803256 HAS SOUS 659762 HAS SOUPS 658963 WITH SCORE 660990.493
AT ITER 3461 NEW BEST:: SOT 2748296 SOS 2024721 HAS SOPS 1800484 HAS SOUS 659706 HAS SOUPS 658907 WITH SCORE 660931.721
AT ITER 3466 NEW BEST:: SOT 2748232 SOS 2024657 HAS SOPS 1800484 HAS SOUS 659706 HAS SOUPS 658907 WITH SCORE 660931.657
AT ITER 3477 NEW BEST:: SOT 2747861 SOS 2024286 HAS SOPS 1798543 HAS SOUS 655702 HAS SOUPS 654903 WITH SCORE 656927.286
AT ITER 3502 NEW BEST:: SOT 2747850 SOS 2024275 HAS SOPS 1798465 HAS SOUS 655624 HAS SOUPS 654825 WITH SCORE 656849.275
AT ITER 3556 NEW BEST:: SOT 2747810 SOS 2024235 HAS SOPS 1798425 HAS SOUS 655584 HAS SOUPS 654785 WITH SCORE 656809.235
AT ITER 3586 NEW BEST:: SOT 2747793 SOS 2024218 HAS SOPS 1798424 HAS SOUS 655583 HAS SOUPS 654784 WITH SCORE 656808.218
AT ITER 3591 NEW BEST:: SOT 2747525 SOS 2023950 HAS SOPS 1798156 HAS SOUS 655315 HAS SOUPS 654516 WITH SCORE 656539.95
AT ITER 3607 NEW BEST:: SOT 2747525 SOS 2023903 HAS SOPS 1798109 HAS SOUS 655259 HAS SOUPS 654460 WITH SCORE 656483.903
AT ITER 3643 NEW BEST:: SOT 2759784 SOS 2035355 HAS SOPS 1804216 HAS SOUS 649931 HAS SOUPS 649132 WITH SCORE 651167.355
AT ITER 3649 NEW BEST:: SOT 2759746 SOS 2035317 HAS SOPS 1802530 HAS SOUS 646440 HAS SOUPS 645641 WITH SCORE 647676.317
AT ITER 3661 NEW BEST:: SOT 2764129 SOS 2039700 HAS SOPS 1804472 HAS SOUS 644303 HAS SOUPS 643504 WITH SCORE 645543.7
AT ITER 3680 NEW BEST:: SOT 2763942 SOS 2039513 HAS SOPS 1804313 HAS SOUS 644144 HAS SOUPS 643345 WITH SCORE 645384.513
AT ITER 3692 NEW BEST:: SOT 2767347 SOS 2042918 HAS SOPS 1804807 HAS SOUS 641849 HAS SOUPS 641050 WITH SCORE 643092.918
AT ITER 3706 NEW BEST:: SOT 2765111 SOS 2038242 HAS SOPS 1794967 HAS SOUS 636045 HAS SOUPS 635246 WITH SCORE 637284.242
AT ITER 3713 NEW BEST:: SOT 2765023 SOS 2038154 HAS SOPS 1794879 HAS SOUS 635957 HAS SOUPS 635158 WITH SCORE 637196.154
AT ITER 3743 NEW BEST:: SOT 2765021 SOS 2038152 HAS SOPS 1794867 HAS SOUS 635945 HAS SOUPS 635146 WITH SCORE 637184.152
AT ITER 3755 NEW BEST:: SOT 2765021 SOS 2038109 HAS SOPS 1794824 HAS SOUS 635902 HAS SOUPS 635103 WITH SCORE 637141.109
AT ITER 3788 NEW BEST:: SOT 2765093 SOS 2038181 HAS SOPS 1794749 HAS SOUS 635827 HAS SOUPS 635028 WITH SCORE 637066.181
AT ITER 3794 NEW BEST:: SOT 2765058 SOS 2038146 HAS SOPS 1794714 HAS SOUS 635792 HAS SOUPS 634993 WITH SCORE 637031.146
AT ITER 3810 NEW BEST:: SOT 2765148 SOS 2038236 HAS SOPS 1794804 HAS SOUS 634972 HAS SOUPS 634173 WITH SCORE 636211.236
AT ITER 3821 NEW BEST:: SOT 2765148 SOS 2038236 HAS SOPS 1794724 HAS SOUS 634892 HAS SOUPS 634093 WITH SCORE 636131.236
AT ITER 3846 NEW BEST:: SOT 2765148 SOS 2038236 HAS SOPS 1794695 HAS SOUS 634863 HAS SOUPS 634064 WITH SCORE 636102.236
AT ITER 3871 NEW BEST:: SOT 2764892 SOS 2037980 HAS SOPS 1794473 HAS SOUS 634641 HAS SOUPS 633842 WITH SCORE 635879.98
AT ITER 3873 NEW BEST:: SOT 2764861 SOS 2037918 HAS SOPS 1794411 HAS SOUS 631479 HAS SOUPS 630680 WITH SCORE 632717.918
AT ITER 3943 NEW BEST:: SOT 2764823 SOS 2037880 HAS SOPS 1794354 HAS SOUS 631422 HAS SOUPS 630623 WITH SCORE 632660.88
AT ITER 3963 NEW BEST:: SOT 2764786 SOS 2037843 HAS SOPS 1794317 HAS SOUS 631385 HAS SOUPS 630586 WITH SCORE 632623.843
AT ITER 3965 NEW BEST:: SOT 2763265 SOS 2036322 HAS SOPS 1792796 HAS SOUS 629938 HAS SOUPS 629139 WITH SCORE 631175.322
AT ITER 3969 NEW BEST:: SOT 2763321 SOS 2036378 HAS SOPS 1792708 HAS SOUS 629730 HAS SOUPS 628931 WITH SCORE 630967.378
AT ITER 3971 NEW BEST:: SOT 2762787 SOS 2031137 HAS SOPS 1784352 HAS SOUS 628278 HAS SOUPS 627479 WITH SCORE 629510.137
AT ITER 3978 NEW BEST:: SOT 2762786 SOS 2031136 HAS SOPS 1784351 HAS SOUS 628277 HAS SOUPS 627478 WITH SCORE 629509.136
AT ITER 3984 NEW BEST:: SOT 2762776 SOS 2031126 HAS SOPS 1784341 HAS SOUS 628267 HAS SOUPS 627468 WITH SCORE 629499.126
AT ITER 4003 NEW BEST:: SOT 2762750 SOS 2031100 HAS SOPS 1784315 HAS SOUS 628241 HAS SOUPS 627442 WITH SCORE 629473.1
AT ITER 4028 NEW BEST:: SOT 2762694 SOS 2031044 HAS SOPS 1784203 HAS SOUS 628129 HAS SOUPS 627330 WITH SCORE 629361.044
AT ITER 4056 NEW BEST:: SOT 2757583 SOS 2025933 HAS SOPS 1774481 HAS SOUS 609901 HAS SOUPS 609102 WITH SCORE 611127.933
AT ITER 4077 NEW BEST:: SOT 2757506 SOS 2025856 HAS SOPS 1774416 HAS SOUS 609836 HAS SOUPS 609037 WITH SCORE 611062.856
AT ITER 4088 NEW BEST:: SOT 2757505 SOS 2025855 HAS SOPS 1774394 HAS SOUS 609814 HAS SOUPS 609015 WITH SCORE 611040.855
AT ITER 4110 NEW BEST:: SOT 2756944 SOS 2025294 HAS SOPS 1773491 HAS SOUS 608462 HAS SOUPS 607663 WITH SCORE 609688.294
AT ITER 4117 NEW BEST:: SOT 2756831 SOS 2025181 HAS SOPS 1773483 HAS SOUS 608454 HAS SOUPS 607655 WITH SCORE 609680.181
AT ITER 4120 NEW BEST:: SOT 2757030 SOS 2025137 HAS SOPS 1773439 HAS SOUS 608225 HAS SOUPS 607426 WITH SCORE 609451.137
AT ITER 4135 NEW BEST:: SOT 2757030 SOS 2025137 HAS SOPS 1773426 HAS SOUS 608212 HAS SOUPS 607413 WITH SCORE 609438.137
AT ITER 4147 NEW BEST:: SOT 2757030 SOS 2025137 HAS SOPS 1773421 HAS SOUS 608207 HAS SOUPS 607408 WITH SCORE 609433.137
AT ITER 4155 NEW BEST:: SOT 2756726 SOS 2024833 HAS SOPS 1773313 HAS SOUS 608099 HAS SOUPS 607300 WITH SCORE 609324.833
AT ITER 4161 NEW BEST:: SOT 2756587 SOS 2024694 HAS SOPS 1773261 HAS SOUS 608075 HAS SOUPS 607276 WITH SCORE 609300.694
AT ITER 4190 NEW BEST:: SOT 2755156 SOS 2023263 HAS SOPS 1770889 HAS SOUS 604598 HAS SOUPS 603799 WITH SCORE 605822.263
AT ITER 4208 NEW BEST:: SOT 2755086 SOS 2023193 HAS SOPS 1770804 HAS SOUS 604513 HAS SOUPS 603714 WITH SCORE 605737.193
AT ITER 4223 NEW BEST:: SOT 2754933 SOS 2023040 HAS SOPS 1770766 HAS SOUS 604475 HAS SOUPS 603676 WITH SCORE 605699.04
AT ITER 4228 NEW BEST:: SOT 2754933 SOS 2023040 HAS SOPS 1770735 HAS SOUS 604444 HAS SOUPS 603645 WITH SCORE 605668.04
AT ITER 4273 NEW BEST:: SOT 2754933 SOS 2023040 HAS SOPS 1770734 HAS SOUS 604443 HAS SOUPS 603644 WITH SCORE 605667.04
AT ITER 4307 NEW BEST:: SOT 2754881 SOS 2022988 HAS SOPS 1770682 HAS SOUS 604391 HAS SOUPS 603592 WITH SCORE 605614.988
AT ITER 4369 NEW BEST:: SOT 2754878 SOS 2022985 HAS SOPS 1770679 HAS SOUS 604388 HAS SOUPS 603589 WITH SCORE 605611.985
AT ITER 4372 NEW BEST:: SOT 2754953 SOS 2023060 HAS SOPS 1770571 HAS SOUS 604280 HAS SOUPS 603481 WITH SCORE 605504.06
AT ITER 4381 NEW BEST:: SOT 2753653 SOS 2021760 HAS SOPS 1769271 HAS SOUS 602980 HAS SOUPS 602181 WITH SCORE 604202.76
AT ITER 4462 NEW BEST:: SOT 2753653 SOS 2020964 HAS SOPS 1768475 HAS SOUS 602968 HAS SOUPS 602169 WITH SCORE 604189.964
AT ITER 4466 NEW BEST:: SOT 2753519 SOS 2020830 HAS SOPS 1768341 HAS SOUS 602834 HAS SOUPS 602035 WITH SCORE 604055.83
AT ITER 4480 NEW BEST:: SOT 2750109 SOS 2013270 HAS SOPS 1760781 HAS SOUS 595790 HAS SOUPS 594991 WITH SCORE 597004.27
AT ITER 4498 NEW BEST:: SOT 2750034 SOS 2013195 HAS SOPS 1760781 HAS SOUS 595790 HAS SOUPS 594991 WITH SCORE 597004.195
AT ITER 4505 NEW BEST:: SOT 2749760 SOS 2012921 HAS SOPS 1760540 HAS SOUS 595549 HAS SOUPS 594750 WITH SCORE 596762.921
AT ITER 4552 NEW BEST:: SOT 2750339 SOS 2013545 HAS SOPS 1759838 HAS SOUS 593907 HAS SOUPS 593108 WITH SCORE 595121.545
AT ITER 4556 NEW BEST:: SOT 2750335 SOS 2013541 HAS SOPS 1759834 HAS SOUS 593903 HAS SOUPS 593104 WITH SCORE 595117.541
AT ITER 4558 NEW BEST:: SOT 2750335 SOS 2013541 HAS SOPS 1759833 HAS SOUS 593902 HAS SOUPS 593103 WITH SCORE 595116.541
AT ITER 4561 NEW BEST:: SOT 2748462 SOS 2011704 HAS SOPS 1757166 HAS SOUS 589259 HAS SOUPS 588460 WITH SCORE 590471.704
AT ITER 4579 NEW BEST:: SOT 2748376 SOS 2011618 HAS SOPS 1757111 HAS SOUS 589204 HAS SOUPS 588405 WITH SCORE 590416.618
AT ITER 4602 NEW BEST:: SOT 2748166 SOS 2011408 HAS SOPS 1757089 HAS SOUS 589182 HAS SOUPS 588383 WITH SCORE 590394.408
AT ITER 4614 NEW BEST:: SOT 2748166 SOS 2008708 HAS SOPS 1754389 HAS SOUS 589155 HAS SOUPS 588356 WITH SCORE 590364.708
AT ITER 4616 NEW BEST:: SOT 2748166 SOS 2008707 HAS SOPS 1754384 HAS SOUS 589150 HAS SOUPS 588351 WITH SCORE 590359.707
AT ITER 4629 NEW BEST:: SOT 2755496 SOS 2016037 HAS SOPS 1757357 HAS SOUS 583720 HAS SOUPS 582921 WITH SCORE 584937.037
AT ITER 4648 NEW BEST:: SOT 2755532 SOS 2016073 HAS SOPS 1757126 HAS SOUS 583207 HAS SOUPS 582408 WITH SCORE 584424.073
AT ITER 4653 NEW BEST:: SOT 2755532 SOS 2016011 HAS SOPS 1757064 HAS SOUS 583145 HAS SOUPS 582346 WITH SCORE 584362.011
AT ITER 4654 NEW BEST:: SOT 2755587 SOS 2016066 HAS SOPS 1757053 HAS SOUS 583134 HAS SOUPS 582335 WITH SCORE 584351.066
AT ITER 4658 NEW BEST:: SOT 2755471 SOS 2015950 HAS SOPS 1756945 HAS SOUS 583026 HAS SOUPS 582227 WITH SCORE 584242.95
AT ITER 4722 NEW BEST:: SOT 2755563 SOS 2016042 HAS SOPS 1756879 HAS SOUS 582960 HAS SOUPS 582161 WITH SCORE 584177.042
AT ITER 4728 NEW BEST:: SOT 2759752 SOS 2020231 HAS SOPS 1757642 HAS SOUS 580538 HAS SOUPS 579739 WITH SCORE 581759.231
AT ITER 4743 NEW BEST:: SOT 2759708 SOS 2020187 HAS SOPS 1757576 HAS SOUS 580472 HAS SOUPS 579673 WITH SCORE 581693.187
AT ITER 4768 NEW BEST:: SOT 2759706 SOS 2020185 HAS SOPS 1757572 HAS SOUS 580468 HAS SOUPS 579669 WITH SCORE 581689.185
AT ITER 4792 NEW BEST:: SOT 2760633 SOS 2012958 HAS SOPS 1746960 HAS SOUS 580216 HAS SOUPS 579417 WITH SCORE 581429.958
AT ITER 4798 NEW BEST:: SOT 2760583 SOS 2012908 HAS SOPS 1746910 HAS SOUS 580166 HAS SOUPS 579367 WITH SCORE 581379.908
AT ITER 4807 NEW BEST:: SOT 2760583 SOS 2010595 HAS SOPS 1744597 HAS SOUS 580143 HAS SOUPS 579344 WITH SCORE 581354.595
AT ITER 4893 NEW BEST:: SOT 2760574 SOS 2010586 HAS SOPS 1744597 HAS SOUS 580143 HAS SOUPS 579344 WITH SCORE 581354.586
AT ITER 4909 NEW BEST:: SOT 2763918 SOS 2013930 HAS SOPS 1747605 HAS SOUS 577366 HAS SOUPS 576567 WITH SCORE 578580.93
AT ITER 4910 NEW BEST:: SOT 2763901 SOS 2013913 HAS SOPS 1747588 HAS SOUS 577349 HAS SOUPS 576550 WITH SCORE 578563.913
AT ITER 5047 NEW BEST:: SOT 2775930 SOS 2024046 HAS SOPS 1751760 HAS SOUS 575959 HAS SOUPS 575160 WITH SCORE 577184.046
AT ITER 5059 NEW BEST:: SOT 2775920 SOS 2024036 HAS SOPS 1751750 HAS SOUS 575949 HAS SOUPS 575150 WITH SCORE 577174.036
AT ITER 5077 NEW BEST:: SOT 2775920 SOS 2024036 HAS SOPS 1751707 HAS SOUS 575906 HAS SOUPS 575107 WITH SCORE 577131.036
AT ITER 5115 NEW BEST:: SOT 2775878 SOS 2023994 HAS SOPS 1751698 HAS SOUS 575897 HAS SOUPS 575098 WITH SCORE 577121.994
AT ITER 5126 NEW BEST:: SOT 2775878 SOS 2023994 HAS SOPS 1751673 HAS SOUS 575872 HAS SOUPS 575073 WITH SCORE 577096.994
AT ITER 5127 NEW BEST:: SOT 2773528 SOS 2021644 HAS SOPS 1749054 HAS SOUS 570559 HAS SOUPS 569760 WITH SCORE 571781.644
AT ITER 5183 NEW BEST:: SOT 2773536 SOS 2021652 HAS SOPS 1749165 HAS SOUS 560319 HAS SOUPS 559520 WITH SCORE 561541.652
AT ITER 5189 NEW BEST:: SOT 2773455 SOS 2021571 HAS SOPS 1749081 HAS SOUS 560140 HAS SOUPS 559341 WITH SCORE 561362.571
AT ITER 5194 NEW BEST:: SOT 2772655 SOS 2020779 HAS SOPS 1748281 HAS SOUS 559340 HAS SOUPS 558541 WITH SCORE 560561.779
AT ITER 5229 NEW BEST:: SOT 2772655 SOS 2019879 HAS SOPS 1747381 HAS SOUS 559331 HAS SOUPS 558532 WITH SCORE 560551.879
AT ITER 5273 NEW BEST:: SOT 2772638 SOS 2019862 HAS SOPS 1747336 HAS SOUS 559286 HAS SOUPS 558487 WITH SCORE 560506.862
AT ITER 5286 NEW BEST:: SOT 2770853 SOS 2018077 HAS SOPS 1745526 HAS SOUS 558176 HAS SOUPS 557377 WITH SCORE 559395.077
AT ITER 5447 NEW BEST:: SOT 2771491 SOS 2018715 HAS SOPS 1745181 HAS SOUS 556825 HAS SOUPS 556026 WITH SCORE 558044.715
AT ITER 5452 NEW BEST:: SOT 2771343 SOS 2018507 HAS SOPS 1744605 HAS SOUS 556439 HAS SOUPS 555640 WITH SCORE 557658.507
AT ITER 5479 NEW BEST:: SOT 2771342 SOS 2018506 HAS SOPS 1744604 HAS SOUS 556438 HAS SOUPS 555639 WITH SCORE 557657.506
AT ITER 5497 NEW BEST:: SOT 2771310 SOS 2018474 HAS SOPS 1744572 HAS SOUS 556406 HAS SOUPS 555607 WITH SCORE 557625.474
AT ITER 5538 NEW BEST:: SOT 2771232 SOS 2018396 HAS SOPS 1744403 HAS SOUS 556237 HAS SOUPS 555438 WITH SCORE 557456.396
AT ITER 5541 NEW BEST:: SOT 2771181 SOS 2018345 HAS SOPS 1744352 HAS SOUS 556186 HAS SOUPS 555387 WITH SCORE 557405.345
AT ITER 5579 NEW BEST:: SOT 2776511 SOS 2023581 HAS SOPS 1746756 HAS SOUS 550621 HAS SOUPS 549822 WITH SCORE 551845.581
AT ITER 5584 NEW BEST:: SOT 2775975 SOS 2028985 HAS SOPS 1748960 HAS SOUS 549200 HAS SOUPS 548401 WITH SCORE 550429.985
AT ITER 5631 NEW BEST:: SOT 2775757 SOS 2028584 HAS SOPS 1748366 HAS SOUS 548606 HAS SOUPS 547807 WITH SCORE 549835.584
AT ITER 5713 NEW BEST:: SOT 2775757 SOS 2028584 HAS SOPS 1748345 HAS SOUS 548585 HAS SOUPS 547786 WITH SCORE 549814.584
AT ITER 5720 NEW BEST:: SOT 2775757 SOS 2026907 HAS SOPS 1746668 HAS SOUS 548569 HAS SOUPS 547770 WITH SCORE 549796.907
AT ITER 5847 NEW BEST:: SOT 2775753 SOS 2026903 HAS SOPS 1746664 HAS SOUS 548565 HAS SOUPS 547766 WITH SCORE 549792.903
AT ITER 5857 NEW BEST:: SOT 2775516 SOS 2025394 HAS SOPS 1742910 HAS SOUS 547935 HAS SOUPS 547136 WITH SCORE 549161.394
AT ITER 5888 NEW BEST:: SOT 2775525 SOS 2025403 HAS SOPS 1742832 HAS SOUS 547829 HAS SOUPS 547030 WITH SCORE 549055.403
AT ITER 5974 NEW BEST:: SOT 2775525 SOS 2009034 HAS SOPS 1726463 HAS SOUS 547829 HAS SOUPS 547030 WITH SCORE 549039.034
AT ITER 5975 NEW BEST:: SOT 2775511 SOS 2009020 HAS SOPS 1726435 HAS SOUS 547801 HAS SOUPS 547002 WITH SCORE 549011.02
AT ITER 6009 NEW BEST:: SOT 2767889 SOS 2001398 HAS SOPS 1718813 HAS SOUS 540286 HAS SOUPS 539487 WITH SCORE 541488.398
AT ITER 6074 NEW BEST:: SOT 2767884 SOS 2001393 HAS SOPS 1718805 HAS SOUS 540278 HAS SOUPS 539479 WITH SCORE 541480.393
AT ITER 6129 NEW BEST:: SOT 2767884 SOS 2001393 HAS SOPS 1718741 HAS SOUS 540214 HAS SOUPS 539415 WITH SCORE 541416.393
AT ITER 6157 NEW BEST:: SOT 2767776 SOS 2001285 HAS SOPS 1718633 HAS SOUS 540106 HAS SOUPS 539307 WITH SCORE 541308.285
AT ITER 6234 NEW BEST:: SOT 2767752 SOS 2001261 HAS SOPS 1718609 HAS SOUS 540082 HAS SOUPS 539283 WITH SCORE 541284.261
AT ITER 6245 NEW BEST:: SOT 2767823 SOS 2001366 HAS SOPS 1718595 HAS SOUS 540068 HAS SOUPS 539269 WITH SCORE 541270.366
AT ITER 6246 NEW BEST:: SOT 2767823 SOS 1999649 HAS SOPS 1716878 HAS SOUS 540034 HAS SOUPS 539235 WITH SCORE 541234.649
AT ITER 6253 NEW BEST:: SOT 2767716 SOS 1999542 HAS SOPS 1716871 HAS SOUS 540027 HAS SOUPS 539228 WITH SCORE 541227.542
AT ITER 6314 NEW BEST:: SOT 2767110 SOS 1998936 HAS SOPS 1716265 HAS SOUS 539421 HAS SOUPS 538622 WITH SCORE 540620.936
AT ITER 6353 NEW BEST:: SOT 2763415 SOS 1995241 HAS SOPS 1712791 HAS SOUS 536058 HAS SOUPS 535259 WITH SCORE 537254.241
AT ITER 6355 NEW BEST:: SOT 2763415 SOS 1992541 HAS SOPS 1710091 HAS SOUS 536031 HAS SOUPS 535232 WITH SCORE 537224.541
AT ITER 6378 NEW BEST:: SOT 2763415 SOS 1992541 HAS SOPS 1710088 HAS SOUS 536028 HAS SOUPS 535229 WITH SCORE 537221.541
AT ITER 6438 NEW BEST:: SOT 2761284 SOS 1997572 HAS SOPS 1715119 HAS SOUS 534133 HAS SOUPS 533334 WITH SCORE 535331.572
AT ITER 6461 NEW BEST:: SOT 2762028 SOS 1998382 HAS SOPS 1712886 HAS SOUS 530055 HAS SOUPS 529256 WITH SCORE 531254.382
AT ITER 6473 NEW BEST:: SOT 2761988 SOS 1998305 HAS SOPS 1712849 HAS SOUS 530018 HAS SOUPS 529219 WITH SCORE 531217.305
AT ITER 6483 NEW BEST:: SOT 2761966 SOS 1998283 HAS SOPS 1712805 HAS SOUS 529974 HAS SOUPS 529175 WITH SCORE 531173.283
AT ITER 6494 NEW BEST:: SOT 2761921 SOS 1998238 HAS SOPS 1712759 HAS SOUS 529928 HAS SOUPS 529129 WITH SCORE 531127.238
AT ITER 6516 NEW BEST:: SOT 2761794 SOS 1998111 HAS SOPS 1712632 HAS SOUS 529801 HAS SOUPS 529002 WITH SCORE 531000.111
AT ITER 6544 NEW BEST:: SOT 2768234 SOS 2004551 HAS SOPS 1715715 HAS SOUS 528983 HAS SOUPS 528184 WITH SCORE 530188.551
AT ITER 6550 NEW BEST:: SOT 2767806 SOS 2004134 HAS SOPS 1715298 HAS SOUS 528618 HAS SOUPS 527819 WITH SCORE 529823.134
AT ITER 6551 NEW BEST:: SOT 2767806 SOS 2004134 HAS SOPS 1715159 HAS SOUS 528479 HAS SOUPS 527680 WITH SCORE 529684.134
AT ITER 6576 NEW BEST:: SOT 2767806 SOS 2004134 HAS SOPS 1715146 HAS SOUS 528466 HAS SOUPS 527667 WITH SCORE 529671.134
AT ITER 6593 NEW BEST:: SOT 2767868 SOS 2004196 HAS SOPS 1715182 HAS SOUS 528451 HAS SOUPS 527652 WITH SCORE 529656.196
AT ITER 6605 NEW BEST:: SOT 2768735 SOS 2005063 HAS SOPS 1714279 HAS SOUS 526599 HAS SOUPS 525800 WITH SCORE 527805.063
AT ITER 6613 NEW BEST:: SOT 2762923 SOS 1999278 HAS SOPS 1708494 HAS SOUS 520976 HAS SOUPS 520177 WITH SCORE 522176.278
AT ITER 6652 NEW BEST:: SOT 2762797 SOS 1999152 HAS SOPS 1708368 HAS SOUS 520850 HAS SOUPS 520051 WITH SCORE 522050.152
AT ITER 6661 NEW BEST:: SOT 2762797 SOS 1999152 HAS SOPS 1708367 HAS SOUS 520849 HAS SOUPS 520050 WITH SCORE 522049.152
AT ITER 6666 NEW BEST:: SOT 2767197 SOS 2003552 HAS SOPS 1712767 HAS SOUS 519062 HAS SOUPS 518263 WITH SCORE 520266.552
AT ITER 6696 NEW BEST:: SOT 2761631 SOS 1997986 HAS SOPS 1707141 HAS SOUS 513436 HAS SOUPS 512637 WITH SCORE 514634.986
AT ITER 6709 NEW BEST:: SOT 2761631 SOS 1997957 HAS SOPS 1707112 HAS SOUS 513436 HAS SOUPS 512637 WITH SCORE 514634.957
AT ITER 6725 NEW BEST:: SOT 2761662 SOS 1997988 HAS SOPS 1707073 HAS SOUS 513397 HAS SOUPS 512598 WITH SCORE 514595.988
AT ITER 6733 NEW BEST:: SOT 2761662 SOS 1997281 HAS SOPS 1706366 HAS SOUS 513390 HAS SOUPS 512591 WITH SCORE 514588.281
AT ITER 6736 NEW BEST:: SOT 2761662 SOS 1995481 HAS SOPS 1704566 HAS SOUS 513372 HAS SOUPS 512573 WITH SCORE 514568.481
AT ITER 6755 NEW BEST:: SOT 2761661 SOS 1995480 HAS SOPS 1704565 HAS SOUS 513371 HAS SOUPS 512572 WITH SCORE 514567.48
AT ITER 6777 NEW BEST:: SOT 2761223 SOS 1995042 HAS SOPS 1704071 HAS SOUS 512383 HAS SOUPS 511584 WITH SCORE 513579.042
AT ITER 6785 NEW BEST:: SOT 2761223 SOS 1992042 HAS SOPS 1701071 HAS SOUS 512353 HAS SOUPS 511554 WITH SCORE 513546.042
AT ITER 6853 NEW BEST:: SOT 2761228 SOS 1992047 HAS SOPS 1701067 HAS SOUS 512349 HAS SOUPS 511550 WITH SCORE 513542.047
AT ITER 6909 NEW BEST:: SOT 2761228 SOS 1987392 HAS SOPS 1696412 HAS SOUS 512303 HAS SOUPS 511504 WITH SCORE 513491.392
AT ITER 6926 NEW BEST:: SOT 2760984 SOS 1981348 HAS SOPS 1688013 HAS SOUS 511629 HAS SOUPS 510830 WITH SCORE 512811.348
AT ITER 6936 NEW BEST:: SOT 2760948 SOS 1981312 HAS SOPS 1687975 HAS SOUS 511591 HAS SOUPS 510792 WITH SCORE 512773.312
AT ITER 6983 NEW BEST:: SOT 2760940 SOS 1981309 HAS SOPS 1687972 HAS SOUS 511588 HAS SOUPS 510789 WITH SCORE 512770.309
AT ITER 7002 NEW BEST:: SOT 2759523 SOS 1980392 HAS SOPS 1689334 HAS SOUS 510604 HAS SOUPS 509805 WITH SCORE 511785.392
AT ITER 7004 NEW BEST:: SOT 2759519 SOS 1980388 HAS SOPS 1689330 HAS SOUS 510600 HAS SOUPS 509801 WITH SCORE 511781.388
AT ITER 7060 NEW BEST:: SOT 2758331 SOS 1979200 HAS SOPS 1688130 HAS SOUS 509400 HAS SOUPS 508601 WITH SCORE 510580.2
AT ITER 7067 NEW BEST:: SOT 2758455 SOS 1979324 HAS SOPS 1688112 HAS SOUS 509382 HAS SOUPS 508583 WITH SCORE 510562.324
AT ITER 7073 NEW BEST:: SOT 2758438 SOS 1979307 HAS SOPS 1688095 HAS SOUS 509365 HAS SOUPS 508566 WITH SCORE 510545.307
AT ITER 7078 NEW BEST:: SOT 2758211 SOS 1979106 HAS SOPS 1687894 HAS SOUS 509164 HAS SOUPS 508365 WITH SCORE 510344.106
AT ITER 7102 NEW BEST:: SOT 2758137 SOS 1979032 HAS SOPS 1687758 HAS SOUS 509028 HAS SOUPS 508229 WITH SCORE 510208.032
AT ITER 7116 NEW BEST:: SOT 2758075 SOS 1978970 HAS SOPS 1687696 HAS SOUS 508966 HAS SOUPS 508167 WITH SCORE 510145.97
AT ITER 7138 NEW BEST:: SOT 2758075 SOS 1977470 HAS SOPS 1686196 HAS SOUS 508951 HAS SOUPS 508152 WITH SCORE 510129.47
AT ITER 7172 NEW BEST:: SOT 2758014 SOS 1977409 HAS SOPS 1686135 HAS SOUS 508890 HAS SOUPS 508091 WITH SCORE 510068.409
AT ITER 7219 NEW BEST:: SOT 2758027 SOS 1977422 HAS SOPS 1686069 HAS SOUS 508824 HAS SOUPS 508025 WITH SCORE 510002.422
AT ITER 7222 NEW BEST:: SOT 2758027 SOS 1973039 HAS SOPS 1676755 HAS SOUS 506555 HAS SOUPS 505756 WITH SCORE 507729.039
AT ITER 7229 NEW BEST:: SOT 2758013 SOS 1973025 HAS SOPS 1676737 HAS SOUS 506537 HAS SOUPS 505738 WITH SCORE 507711.025
AT ITER 7242 NEW BEST:: SOT 2757952 SOS 1972964 HAS SOPS 1676712 HAS SOUS 506512 HAS SOUPS 505713 WITH SCORE 507685.964
AT ITER 7246 NEW BEST:: SOT 2757952 SOS 1972964 HAS SOPS 1676704 HAS SOUS 506504 HAS SOUPS 505705 WITH SCORE 507677.964
AT ITER 7250 NEW BEST:: SOT 2757952 SOS 1972964 HAS SOPS 1676704 HAS SOUS 502565 HAS SOUPS 501766 WITH SCORE 503738.964
AT ITER 7255 NEW BEST:: SOT 2757910 SOS 1972922 HAS SOPS 1676625 HAS SOUS 502486 HAS SOUPS 501687 WITH SCORE 503659.922
AT ITER 7327 NEW BEST:: SOT 2751985 SOS 1966997 HAS SOPS 1670700 HAS SOUS 496661 HAS SOUPS 495862 WITH SCORE 497828.997
AT ITER 7340 NEW BEST:: SOT 2752095 SOS 1967107 HAS SOPS 1670698 HAS SOUS 496659 HAS SOUPS 495860 WITH SCORE 497827.107
AT ITER 7351 NEW BEST:: SOT 2755495 SOS 1970507 HAS SOPS 1671771 HAS SOUS 495691 HAS SOUPS 494892 WITH SCORE 496862.507
AT ITER 7417 NEW BEST:: SOT 2755428 SOS 1970440 HAS SOPS 1671735 HAS SOUS 495655 HAS SOUPS 494856 WITH SCORE 496826.44
AT ITER 7425 NEW BEST:: SOT 2755428 SOS 1970275 HAS SOPS 1671570 HAS SOUS 495655 HAS SOUPS 494856 WITH SCORE 496826.275
AT ITER 7448 NEW BEST:: SOT 2755627 SOS 1970474 HAS SOPS 1671274 HAS SOUS 495023 HAS SOUPS 494224 WITH SCORE 496194.474
AT ITER 7450 NEW BEST:: SOT 2755713 SOS 1970560 HAS SOPS 1671265 HAS SOUS 495014 HAS SOUPS 494215 WITH SCORE 496185.56
AT ITER 7547 NEW BEST:: SOT 2760213 SOS 1975046 HAS SOPS 1675776 HAS SOUS 493325 HAS SOUPS 492526 WITH SCORE 494501.046
AT ITER 7551 NEW BEST:: SOT 2760179 SOS 1975012 HAS SOPS 1675721 HAS SOUS 493270 HAS SOUPS 492471 WITH SCORE 494446.012
AT ITER 7564 NEW BEST:: SOT 2761276 SOS 1976178 HAS SOPS 1674289 HAS SOUS 489927 HAS SOUPS 489128 WITH SCORE 491104.178
AT ITER 7603 NEW BEST:: SOT 2761344 SOS 1976212 HAS SOPS 1674241 HAS SOUS 489879 HAS SOUPS 489080 WITH SCORE 491056.212
AT ITER 7664 NEW BEST:: SOT 2761844 SOS 1976695 HAS SOPS 1674724 HAS SOUS 489162 HAS SOUPS 488363 WITH SCORE 490339.695
AT ITER 7684 NEW BEST:: SOT 2761844 SOS 1976695 HAS SOPS 1674477 HAS SOUS 482592 HAS SOUPS 481793 WITH SCORE 483769.695
AT ITER 7722 NEW BEST:: SOT 2761628 SOS 1976479 HAS SOPS 1674261 HAS SOUS 482376 HAS SOUPS 481577 WITH SCORE 483553.479
AT ITER 7725 NEW BEST:: SOT 2761422 SOS 1976273 HAS SOPS 1674055 HAS SOUS 482170 HAS SOUPS 481371 WITH SCORE 483347.273
AT ITER 7749 NEW BEST:: SOT 2761410 SOS 1976261 HAS SOPS 1674042 HAS SOUS 482157 HAS SOUPS 481358 WITH SCORE 483334.261
AT ITER 7788 NEW BEST:: SOT 2761410 SOS 1976261 HAS SOPS 1674035 HAS SOUS 482150 HAS SOUPS 481351 WITH SCORE 483327.261
AT ITER 7796 NEW BEST:: SOT 2761455 SOS 1976306 HAS SOPS 1674037 HAS SOUS 482135 HAS SOUPS 481336 WITH SCORE 483312.306
AT ITER 7807 NEW BEST:: SOT 2761455 SOS 1976306 HAS SOPS 1674036 HAS SOUS 482134 HAS SOUPS 481335 WITH SCORE 483311.306
AT ITER 7850 NEW BEST:: SOT 2761437 SOS 1976288 HAS SOPS 1674018 HAS SOUS 482116 HAS SOUPS 481317 WITH SCORE 483293.288
AT ITER 7858 NEW BEST:: SOT 2761437 SOS 1974088 HAS SOPS 1671818 HAS SOUS 482094 HAS SOUPS 481295 WITH SCORE 483269.088
AT ITER 7895 NEW BEST:: SOT 2761405 SOS 1974056 HAS SOPS 1671786 HAS SOUS 482062 HAS SOUPS 481263 WITH SCORE 483237.056
AT ITER 7935 NEW BEST:: SOT 2761405 SOS 1974056 HAS SOPS 1671783 HAS SOUS 482059 HAS SOUPS 481260 WITH SCORE 483234.056
AT ITER 7986 NEW BEST:: SOT 2761373 SOS 1974024 HAS SOPS 1671751 HAS SOUS 482027 HAS SOUPS 481228 WITH SCORE 483202.024
AT ITER 8079 NEW BEST:: SOT 2761305 SOS 1973956 HAS SOPS 1671683 HAS SOUS 481959 HAS SOUPS 481160 WITH SCORE 483133.956
AT ITER 8089 NEW BEST:: SOT 2761305 SOS 1972956 HAS SOPS 1670683 HAS SOUS 481949 HAS SOUPS 481150 WITH SCORE 483122.956
AT ITER 8116 NEW BEST:: SOT 2761305 SOS 1971431 HAS SOPS 1669158 HAS SOUS 481935 HAS SOUPS 481136 WITH SCORE 483107.431
AT ITER 8305 NEW BEST:: SOT 2761277 SOS 1971403 HAS SOPS 1669130 HAS SOUS 481907 HAS SOUPS 481108 WITH SCORE 483079.403
AT ITER 8309 NEW BEST:: SOT 2752641 SOS 1962767 HAS SOPS 1660494 HAS SOUS 479385 HAS SOUPS 478586 WITH SCORE 480548.767
AT ITER 8326 NEW BEST:: SOT 2752641 SOS 1962767 HAS SOPS 1660516 HAS SOUS 477185 HAS SOUPS 476386 WITH SCORE 478348.767
AT ITER 8407 NEW BEST:: SOT 2752641 SOS 1962745 HAS SOPS 1660469 HAS SOUS 477164 HAS SOUPS 476365 WITH SCORE 478327.745
AT ITER 8423 NEW BEST:: SOT 2752641 SOS 1959145 HAS SOPS 1656869 HAS SOUS 477128 HAS SOUPS 476329 WITH SCORE 478288.145
AT ITER 8425 NEW BEST:: SOT 2752629 SOS 1959133 HAS SOPS 1656857 HAS SOUS 477116 HAS SOUPS 476317 WITH SCORE 478276.133
AT ITER 8426 NEW BEST:: SOT 2752629 SOS 1958737 HAS SOPS 1656461 HAS SOUS 477112 HAS SOUPS 476313 WITH SCORE 478271.737
AT ITER 8437 NEW BEST:: SOT 2748184 SOS 1956191 HAS SOPS 1658237 HAS SOUS 474366 HAS SOUPS 473567 WITH SCORE 475523.191
AT ITER 8444 NEW BEST:: SOT 2748119 SOS 1956126 HAS SOPS 1658190 HAS SOUS 474319 HAS SOUPS 473520 WITH SCORE 475476.126
AT ITER 8450 NEW BEST:: SOT 2748109 SOS 1956116 HAS SOPS 1658171 HAS SOUS 474300 HAS SOUPS 473501 WITH SCORE 475457.116
AT ITER 8451 NEW BEST:: SOT 2748004 SOS 1955966 HAS SOPS 1658104 HAS SOUS 474187 HAS SOUPS 473388 WITH SCORE 475343.966
AT ITER 8502 NEW BEST:: SOT 2747972 SOS 1955934 HAS SOPS 1658104 HAS SOUS 474187 HAS SOUPS 473388 WITH SCORE 475343.934
AT ITER 8503 NEW BEST:: SOT 2745711 SOS 1953673 HAS SOPS 1654745 HAS SOUS 469316 HAS SOUPS 468517 WITH SCORE 470470.673
AT ITER 8505 NEW BEST:: SOT 2745676 SOS 1953638 HAS SOPS 1654710 HAS SOUS 469281 HAS SOUPS 468482 WITH SCORE 470435.638
AT ITER 8508 NEW BEST:: SOT 2744669 SOS 1961539 HAS SOPS 1662536 HAS SOUS 468197 HAS SOUPS 467398 WITH SCORE 469359.539
AT ITER 8521 NEW BEST:: SOT 2747769 SOS 1964639 HAS SOPS 1665636 HAS SOUS 467034 HAS SOUPS 466235 WITH SCORE 468199.639
AT ITER 8569 NEW BEST:: SOT 2747768 SOS 1964638 HAS SOPS 1665620 HAS SOUS 467018 HAS SOUPS 466219 WITH SCORE 468183.638
AT ITER 8641 NEW BEST:: SOT 2747746 SOS 1964616 HAS SOPS 1665598 HAS SOUS 466996 HAS SOUPS 466197 WITH SCORE 468161.616
AT ITER 8652 NEW BEST:: SOT 2747668 SOS 1964538 HAS SOPS 1665520 HAS SOUS 466918 HAS SOUPS 466119 WITH SCORE 468083.538
AT ITER 8685 NEW BEST:: SOT 2747668 SOS 1964538 HAS SOPS 1665513 HAS SOUS 466911 HAS SOUPS 466112 WITH SCORE 468076.538
AT ITER 8738 NEW BEST:: SOT 2745774 SOS 1962644 HAS SOPS 1663619 HAS SOUS 465017 HAS SOUPS 464218 WITH SCORE 466180.644
AT ITER 8743 NEW BEST:: SOT 2745706 SOS 1962576 HAS SOPS 1663551 HAS SOUS 464949 HAS SOUPS 464150 WITH SCORE 466112.576
AT ITER 8753 NEW BEST:: SOT 2745627 SOS 1962497 HAS SOPS 1663456 HAS SOUS 464854 HAS SOUPS 464055 WITH SCORE 466017.497
AT ITER 8767 NEW BEST:: SOT 2745593 SOS 1962463 HAS SOPS 1663422 HAS SOUS 464820 HAS SOUPS 464021 WITH SCORE 465983.463
AT ITER 8838 NEW BEST:: SOT 2745525 SOS 1962395 HAS SOPS 1663422 HAS SOUS 464820 HAS SOUPS 464021 WITH SCORE 465983.395
AT ITER 8859 NEW BEST:: SOT 2745525 SOS 1962395 HAS SOPS 1663378 HAS SOUS 464776 HAS SOUPS 463977 WITH SCORE 465939.395
AT ITER 8869 NEW BEST:: SOT 2741170 SOS 1958040 HAS SOPS 1659023 HAS SOUS 460548 HAS SOUPS 459749 WITH SCORE 461707.04
AT ITER 8910 NEW BEST:: SOT 2741170 SOS 1958040 HAS SOPS 1659019 HAS SOUS 460544 HAS SOUPS 459745 WITH SCORE 461703.04
AT ITER 8920 NEW BEST:: SOT 2741170 SOS 1958040 HAS SOPS 1659016 HAS SOUS 460541 HAS SOUPS 459742 WITH SCORE 461700.04
AT ITER 8932 NEW BEST:: SOT 2741186 SOS 1958056 HAS SOPS 1659012 HAS SOUS 460537 HAS SOUPS 459738 WITH SCORE 461696.056
AT ITER 8940 NEW BEST:: SOT 2741186 SOS 1951786 HAS SOPS 1652742 HAS SOUS 460405 HAS SOUPS 459606 WITH SCORE 461557.786
AT ITER 8942 NEW BEST:: SOT 2741186 SOS 1951786 HAS SOPS 1652580 HAS SOUS 460081 HAS SOUPS 459282 WITH SCORE 461233.786
AT ITER 9002 NEW BEST:: SOT 2741100 SOS 1951700 HAS SOPS 1652559 HAS SOUS 460060 HAS SOUPS 459261 WITH SCORE 461212.7
AT ITER 9010 NEW BEST:: SOT 2741085 SOS 1951685 HAS SOPS 1652559 HAS SOUS 460060 HAS SOUPS 459261 WITH SCORE 461212.685
AT ITER 9100 NEW BEST:: SOT 2741034 SOS 1951634 HAS SOPS 1652471 HAS SOUS 459972 HAS SOUPS 459173 WITH SCORE 461124.634
AT ITER 9104 NEW BEST:: SOT 2740999 SOS 1951599 HAS SOPS 1652395 HAS SOUS 459896 HAS SOUPS 459097 WITH SCORE 461048.599
AT ITER 9112 NEW BEST:: SOT 2742923 SOS 1953566 HAS SOPS 1652539 HAS SOUS 459197 HAS SOUPS 458398 WITH SCORE 460351.566
AT ITER 9115 NEW BEST:: SOT 2747723 SOS 1958366 HAS SOPS 1657339 HAS SOUS 456083 HAS SOUPS 455284 WITH SCORE 457242.366
AT ITER 9138 NEW BEST:: SOT 2747723 SOS 1958195 HAS SOPS 1657168 HAS SOUS 456067 HAS SOUPS 455268 WITH SCORE 457226.195
AT ITER 9143 NEW BEST:: SOT 2747718 SOS 1958190 HAS SOPS 1657163 HAS SOUS 456062 HAS SOUPS 455263 WITH SCORE 457221.19
AT ITER 9169 NEW BEST:: SOT 2747628 SOS 1958100 HAS SOPS 1657073 HAS SOUS 455972 HAS SOUPS 455173 WITH SCORE 457131.1
AT ITER 9172 NEW BEST:: SOT 2747600 SOS 1958072 HAS SOPS 1657045 HAS SOUS 455944 HAS SOUPS 455145 WITH SCORE 457103.072
AT ITER 9185 NEW BEST:: SOT 2747600 SOS 1958072 HAS SOPS 1657005 HAS SOUS 455939 HAS SOUPS 455105 WITH SCORE 457063.072
AT ITER 9272 NEW BEST:: SOT 2735366 SOS 1945838 HAS SOPS 1644771 HAS SOUS 445141 HAS SOUPS 444307 WITH SCORE 446252.838
AT ITER 9298 NEW BEST:: SOT 2735366 SOS 1945838 HAS SOPS 1644717 HAS SOUS 445087 HAS SOUPS 444253 WITH SCORE 446198.838
AT ITER 9309 NEW BEST:: SOT 2735743 SOS 1946215 HAS SOPS 1644833 HAS SOUS 444915 HAS SOUPS 444081 WITH SCORE 446027.215
AT ITER 9332 NEW BEST:: SOT 2732651 SOS 1940447 HAS SOPS 1632908 HAS SOUS 436943 HAS SOUPS 436109 WITH SCORE 438049.447
AT ITER 9354 NEW BEST:: SOT 2734027 SOS 1941823 HAS SOPS 1633596 HAS SOUS 436741 HAS SOUPS 435907 WITH SCORE 437848.823
AT ITER 9363 NEW BEST:: SOT 2734025 SOS 1941672 HAS SOPS 1633654 HAS SOUS 436686 HAS SOUPS 435852 WITH SCORE 437793.672
AT ITER 9394 NEW BEST:: SOT 2733828 SOS 1941475 HAS SOPS 1633290 HAS SOUS 436244 HAS SOUPS 435410 WITH SCORE 437351.475
AT ITER 9406 NEW BEST:: SOT 2733778 SOS 1941425 HAS SOPS 1633237 HAS SOUS 436191 HAS SOUPS 435357 WITH SCORE 437298.425
AT ITER 9438 NEW BEST:: SOT 2733716 SOS 1941363 HAS SOPS 1633175 HAS SOUS 436129 HAS SOUPS 435295 WITH SCORE 437236.363
AT ITER 9480 NEW BEST:: SOT 2733666 SOS 1941313 HAS SOPS 1633125 HAS SOUS 436079 HAS SOUPS 435245 WITH SCORE 437186.313
AT ITER 9488 NEW BEST:: SOT 2733666 SOS 1941313 HAS SOPS 1633112 HAS SOUS 436066 HAS SOUPS 435232 WITH SCORE 437173.313
AT ITER 9494 NEW BEST:: SOT 2732792 SOS 1940465 HAS SOPS 1632180 HAS SOUS 434191 HAS SOUPS 433357 WITH SCORE 435297.465
AT ITER 9536 NEW BEST:: SOT 2732792 SOS 1940455 HAS SOPS 1632170 HAS SOUS 434181 HAS SOUPS 433347 WITH SCORE 435287.455
AT ITER 9543 NEW BEST:: SOT 2732752 SOS 1940415 HAS SOPS 1632130 HAS SOUS 434141 HAS SOUPS 433307 WITH SCORE 435247.415
AT ITER 9548 NEW BEST:: SOT 2732088 SOS 1939751 HAS SOPS 1631264 HAS SOUS 432752 HAS SOUPS 431918 WITH SCORE 433857.751
AT ITER 9551 NEW BEST:: SOT 2732062 SOS 1939725 HAS SOPS 1631238 HAS SOUS 432726 HAS SOUPS 431892 WITH SCORE 433831.725
AT ITER 9591 NEW BEST:: SOT 2732806 SOS 1940492 HAS SOPS 1631028 HAS SOUS 432101 HAS SOUPS 431267 WITH SCORE 433207.492
AT ITER 9605 NEW BEST:: SOT 2732806 SOS 1938492 HAS SOPS 1629028 HAS SOUS 432081 HAS SOUPS 431247 WITH SCORE 433185.492
AT ITER 9609 NEW BEST:: SOT 2732806 SOS 1936792 HAS SOPS 1627328 HAS SOUS 432064 HAS SOUPS 431230 WITH SCORE 433166.792
AT ITER 9635 NEW BEST:: SOT 2733136 SOS 1937122 HAS SOPS 1627498 HAS SOUS 431939 HAS SOUPS 431105 WITH SCORE 433042.122
AT ITER 9701 NEW BEST:: SOT 2733886 SOS 1937901 HAS SOPS 1627115 HAS SOUS 430893 HAS SOUPS 430059 WITH SCORE 431996.901
AT ITER 9763 NEW BEST:: SOT 2733884 SOS 1937899 HAS SOPS 1627112 HAS SOUS 430890 HAS SOUPS 430056 WITH SCORE 431993.899
AT ITER 9784 NEW BEST:: SOT 2731329 SOS 1935371 HAS SOPS 1624575 HAS SOUS 425635 HAS SOUPS 424801 WITH SCORE 426736.371
AT ITER 9804 NEW BEST:: SOT 2731329 SOS 1934062 HAS SOPS 1623266 HAS SOUS 425622 HAS SOUPS 424788 WITH SCORE 426722.062
AT ITER 9846 NEW BEST:: SOT 2731315 SOS 1934048 HAS SOPS 1623245 HAS SOUS 425601 HAS SOUPS 424767 WITH SCORE 426701.048
AT ITER 9917 NEW BEST:: SOT 2731291 SOS 1934024 HAS SOPS 1623221 HAS SOUS 425577 HAS SOUPS 424743 WITH SCORE 426677.024
AT ITER 9926 NEW BEST:: SOT 2731291 SOS 1934024 HAS SOPS 1623211 HAS SOUS 425567 HAS SOUPS 424733 WITH SCORE 426667.024
AT ITER 9984 NEW BEST:: SOT 2731315 SOS 1934048 HAS SOPS 1623209 HAS SOUS 425565 HAS SOUPS 424731 WITH SCORE 426665.048
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 13010324 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16106884 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
Caught signal 15, terminating.
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="Railroad-PT-100"
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 Railroad-PT-100, 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-167889204400400"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Railroad-PT-100.tgz
mv Railroad-PT-100 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 ;