About the Execution of Smart+red for DLCround-PT-11b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 1632.976 | 3600000.00 | 3634598.00 | 9862.80 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r107-tall-167814484600760.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 DLCround-PT-11b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r107-tall-167814484600760
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.1M
-rw-r--r-- 1 mcc users 6.2K Feb 25 18:19 CTLCardinality.txt
-rw-r--r-- 1 mcc users 62K Feb 25 18:19 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Feb 25 18:18 CTLFireability.txt
-rw-r--r-- 1 mcc users 53K Feb 25 18:18 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 15:53 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 15:53 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:53 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:53 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 25 18:20 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 158K Feb 25 18:20 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.2K Feb 25 18:19 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 25 18:19 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 1.7M Mar 5 18:22 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 1678424218622
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=DLCround-PT-11b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-10 04:57:00] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-10 04:57:00] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-10 04:57:00] [INFO ] Load time of PNML (sax parser for PT used): 214 ms
[2023-03-10 04:57:00] [INFO ] Transformed 4375 places.
[2023-03-10 04:57:00] [INFO ] Transformed 6991 transitions.
[2023-03-10 04:57:00] [INFO ] Found NUPN structural information;
[2023-03-10 04:57:00] [INFO ] Parsed PT model containing 4375 places and 6991 transitions and 19673 arcs in 371 ms.
[2023-03-10 04:57:00] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 4375 places, 6991 transitions and 19673 arcs took 43 ms.
Total runtime 443 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCround (PT), instance 11b
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: 4375 places, 6991 transitions, 19673 arcs.
AT ITER 0 NEW BEST:: SOT 19786153 SOS 4759696 HAS SOPS 4759696 HAS SOUS 2593398 HAS SOUPS 2593398 WITH SCORE 2598157.696
AT ITER 60 NEW BEST:: SOT 19786054 SOS 4759630 HAS SOPS 4759630 HAS SOUS 2593332 HAS SOUPS 2593332 WITH SCORE 2598091.63
AT ITER 67 NEW BEST:: SOT 19785193 SOS 4757908 HAS SOPS 4757908 HAS SOUS 2591031 HAS SOUPS 2591031 WITH SCORE 2595788.908
AT ITER 75 NEW BEST:: SOT 19785193 SOS 4757906 HAS SOPS 4757906 HAS SOUS 2591029 HAS SOUPS 2591029 WITH SCORE 2595786.906
AT ITER 82 NEW BEST:: SOT 19784159 SOS 4756872 HAS SOPS 4756872 HAS SOUS 2589995 HAS SOUPS 2589995 WITH SCORE 2594751.872
AT ITER 118 NEW BEST:: SOT 19783711 SOS 4757307 HAS SOPS 4757307 HAS SOUS 2589545 HAS SOUPS 2589545 WITH SCORE 2594302.307
AT ITER 175 NEW BEST:: SOT 19782755 SOS 4756766 HAS SOPS 4756766 HAS SOUS 2588667 HAS SOUPS 2588667 WITH SCORE 2593423.766
AT ITER 183 NEW BEST:: SOT 19781757 SOS 4756456 HAS SOPS 4756456 HAS SOUS 2588357 HAS SOUPS 2588357 WITH SCORE 2593113.456
AT ITER 217 NEW BEST:: SOT 19781000 SOS 4756984 HAS SOPS 4756984 HAS SOUS 2587157 HAS SOUPS 2587157 WITH SCORE 2591913.984
AT ITER 221 NEW BEST:: SOT 19780592 SOS 4757808 HAS SOPS 4757808 HAS SOUS 2586510 HAS SOUPS 2586510 WITH SCORE 2591267.808
AT ITER 246 NEW BEST:: SOT 19779770 SOS 4757170 HAS SOPS 4757170 HAS SOUS 2585872 HAS SOUPS 2585872 WITH SCORE 2590629.17
AT ITER 253 NEW BEST:: SOT 19778987 SOS 4748557 HAS SOPS 4748557 HAS SOUS 2584306 HAS SOUPS 2584306 WITH SCORE 2589054.557
AT ITER 264 NEW BEST:: SOT 19778837 SOS 4748407 HAS SOPS 4748407 HAS SOUS 2584156 HAS SOUPS 2584156 WITH SCORE 2588904.407
AT ITER 265 NEW BEST:: SOT 19777407 SOS 4747974 HAS SOPS 4747974 HAS SOUS 2583723 HAS SOUPS 2583723 WITH SCORE 2588470.974
AT ITER 268 NEW BEST:: SOT 19777404 SOS 4747968 HAS SOPS 4747968 HAS SOUS 2583717 HAS SOUPS 2583717 WITH SCORE 2588464.968
AT ITER 278 NEW BEST:: SOT 19776931 SOS 4746076 HAS SOPS 4746076 HAS SOUS 2583243 HAS SOUPS 2583243 WITH SCORE 2587989.076
AT ITER 281 NEW BEST:: SOT 19776645 SOS 4745504 HAS SOPS 4745504 HAS SOUS 2582956 HAS SOUPS 2582956 WITH SCORE 2587701.504
AT ITER 321 NEW BEST:: SOT 19776540 SOS 4745294 HAS SOPS 4745294 HAS SOUS 2582604 HAS SOUPS 2582604 WITH SCORE 2587349.294
AT ITER 338 NEW BEST:: SOT 19776321 SOS 4744856 HAS SOPS 4744856 HAS SOUS 2582385 HAS SOUPS 2582385 WITH SCORE 2587129.856
AT ITER 349 NEW BEST:: SOT 19776060 SOS 4744334 HAS SOPS 4744334 HAS SOUS 2581863 HAS SOUPS 2581863 WITH SCORE 2586607.334
AT ITER 359 NEW BEST:: SOT 19775558 SOS 4744832 HAS SOPS 4744832 HAS SOUS 2580858 HAS SOUPS 2580858 WITH SCORE 2585602.832
AT ITER 360 NEW BEST:: SOT 19775080 SOS 4746611 HAS SOPS 4746611 HAS SOUS 2579770 HAS SOUPS 2579770 WITH SCORE 2584516.611
AT ITER 365 NEW BEST:: SOT 19775030 SOS 4746701 HAS SOPS 4746701 HAS SOUS 2579769 HAS SOUPS 2579769 WITH SCORE 2584515.701
AT ITER 440 NEW BEST:: SOT 19774720 SOS 4746697 HAS SOPS 4746697 HAS SOUS 2579554 HAS SOUPS 2579554 WITH SCORE 2584300.697
AT ITER 452 NEW BEST:: SOT 19774720 SOS 4746447 HAS SOPS 4746447 HAS SOUS 2579304 HAS SOUPS 2579304 WITH SCORE 2584050.447
AT ITER 498 NEW BEST:: SOT 19774575 SOS 4746370 HAS SOPS 4746370 HAS SOUS 2579227 HAS SOUPS 2579227 WITH SCORE 2583973.37
AT ITER 516 NEW BEST:: SOT 19773354 SOS 4746445 HAS SOPS 4746445 HAS SOUS 2578749 HAS SOUPS 2578749 WITH SCORE 2583495.445
AT ITER 520 NEW BEST:: SOT 19773354 SOS 4746330 HAS SOPS 4746330 HAS SOUS 2578634 HAS SOUPS 2578634 WITH SCORE 2583380.33
AT ITER 522 NEW BEST:: SOT 19773354 SOS 4745648 HAS SOPS 4745648 HAS SOUS 2578634 HAS SOUPS 2578634 WITH SCORE 2583379.648
AT ITER 544 NEW BEST:: SOT 19773354 SOS 4748074 HAS SOPS 4748074 HAS SOUS 2578196 HAS SOUPS 2578196 WITH SCORE 2582944.074
AT ITER 575 NEW BEST:: SOT 19772687 SOS 4748064 HAS SOPS 4748064 HAS SOUS 2577726 HAS SOUPS 2577726 WITH SCORE 2582474.064
AT ITER 598 NEW BEST:: SOT 19772687 SOS 4748714 HAS SOPS 4748714 HAS SOUS 2577724 HAS SOUPS 2577724 WITH SCORE 2582472.714
AT ITER 606 NEW BEST:: SOT 19772257 SOS 4747854 HAS SOPS 4747854 HAS SOUS 2577434 HAS SOUPS 2577434 WITH SCORE 2582181.854
AT ITER 644 NEW BEST:: SOT 19771879 SOS 4744449 HAS SOPS 4744449 HAS SOUS 2576677 HAS SOUPS 2576677 WITH SCORE 2581421.449
AT ITER 653 NEW BEST:: SOT 19770205 SOS 4743545 HAS SOPS 4743545 HAS SOUS 2575003 HAS SOUPS 2575003 WITH SCORE 2579746.545
AT ITER 657 NEW BEST:: SOT 19769521 SOS 4743072 HAS SOPS 4743072 HAS SOUS 2574530 HAS SOUPS 2574530 WITH SCORE 2579273.072
AT ITER 678 NEW BEST:: SOT 19769007 SOS 4747280 HAS SOPS 4747280 HAS SOUS 2574092 HAS SOUPS 2574092 WITH SCORE 2578839.28
AT ITER 683 NEW BEST:: SOT 19769007 SOS 4746498 HAS SOPS 4746498 HAS SOUS 2573701 HAS SOUPS 2573701 WITH SCORE 2578447.498
AT ITER 685 NEW BEST:: SOT 19768201 SOS 4744886 HAS SOPS 4744886 HAS SOUS 2572089 HAS SOUPS 2572089 WITH SCORE 2576833.886
AT ITER 690 NEW BEST:: SOT 19767236 SOS 4744092 HAS SOPS 4744092 HAS SOUS 2571295 HAS SOUPS 2571295 WITH SCORE 2576039.092
AT ITER 743 NEW BEST:: SOT 19767236 SOS 4743837 HAS SOPS 4743837 HAS SOUS 2571040 HAS SOUPS 2571040 WITH SCORE 2575783.837
AT ITER 747 NEW BEST:: SOT 19767413 SOS 4742277 HAS SOPS 4742277 HAS SOUS 2570667 HAS SOUPS 2570667 WITH SCORE 2575409.277
AT ITER 780 NEW BEST:: SOT 19767335 SOS 4742259 HAS SOPS 4742259 HAS SOUS 2570649 HAS SOUPS 2570649 WITH SCORE 2575391.259
AT ITER 789 NEW BEST:: SOT 19766309 SOS 4743315 HAS SOPS 4743315 HAS SOUS 2570084 HAS SOUPS 2570084 WITH SCORE 2574827.315
AT ITER 795 NEW BEST:: SOT 19766418 SOS 4743139 HAS SOPS 4743139 HAS SOUS 2570051 HAS SOUPS 2570051 WITH SCORE 2574794.139
AT ITER 809 NEW BEST:: SOT 19766418 SOS 4743138 HAS SOPS 4743138 HAS SOUS 2570050 HAS SOUPS 2570050 WITH SCORE 2574793.138
AT ITER 822 NEW BEST:: SOT 19766418 SOS 4745470 HAS SOPS 4745470 HAS SOUS 2569625 HAS SOUPS 2569625 WITH SCORE 2574370.47
AT ITER 837 NEW BEST:: SOT 19766418 SOS 4745256 HAS SOPS 4745256 HAS SOUS 2569518 HAS SOUPS 2569518 WITH SCORE 2574263.256
AT ITER 850 NEW BEST:: SOT 19765942 SOS 4745256 HAS SOPS 4745256 HAS SOUS 2569042 HAS SOUPS 2569042 WITH SCORE 2573787.256
AT ITER 866 NEW BEST:: SOT 19765872 SOS 4745116 HAS SOPS 4745116 HAS SOUS 2568902 HAS SOUPS 2568902 WITH SCORE 2573647.116
AT ITER 879 NEW BEST:: SOT 19765697 SOS 4744766 HAS SOPS 4744766 HAS SOUS 2568552 HAS SOUPS 2568552 WITH SCORE 2573296.766
AT ITER 923 NEW BEST:: SOT 19764903 SOS 4744690 HAS SOPS 4744690 HAS SOUS 2568476 HAS SOUPS 2568476 WITH SCORE 2573220.69
AT ITER 932 NEW BEST:: SOT 19764903 SOS 4744690 HAS SOPS 4744690 HAS SOUS 2568475 HAS SOUPS 2568475 WITH SCORE 2573219.69
AT ITER 938 NEW BEST:: SOT 19764213 SOS 4743996 HAS SOPS 4743996 HAS SOUS 2567784 HAS SOUPS 2567784 WITH SCORE 2572527.996
AT ITER 957 NEW BEST:: SOT 19763971 SOS 4745680 HAS SOPS 4745680 HAS SOUS 2567299 HAS SOUPS 2567299 WITH SCORE 2572044.68
AT ITER 958 NEW BEST:: SOT 19763506 SOS 4744750 HAS SOPS 4744750 HAS SOUS 2566894 HAS SOUPS 2566894 WITH SCORE 2571638.75
AT ITER 962 NEW BEST:: SOT 19763506 SOS 4744091 HAS SOPS 4744091 HAS SOUS 2566894 HAS SOUPS 2566894 WITH SCORE 2571638.091
AT ITER 1026 NEW BEST:: SOT 19763506 SOS 4741842 HAS SOPS 4741842 HAS SOUS 2565855 HAS SOUPS 2565855 WITH SCORE 2570596.842
AT ITER 1074 NEW BEST:: SOT 19761668 SOS 4739500 HAS SOPS 4739500 HAS SOUS 2562738 HAS SOUPS 2562738 WITH SCORE 2567477.5
AT ITER 1084 NEW BEST:: SOT 19760912 SOS 4738744 HAS SOPS 4738744 HAS SOUS 2561981 HAS SOUPS 2561981 WITH SCORE 2566719.744
AT ITER 1123 NEW BEST:: SOT 19759980 SOS 4737812 HAS SOPS 4737812 HAS SOUS 2561049 HAS SOUPS 2561049 WITH SCORE 2565786.812
AT ITER 1159 NEW BEST:: SOT 19759974 SOS 4737850 HAS SOPS 4737850 HAS SOUS 2561042 HAS SOUPS 2561042 WITH SCORE 2565779.85
AT ITER 1168 NEW BEST:: SOT 19759974 SOS 4737850 HAS SOPS 4737850 HAS SOUS 2561041 HAS SOUPS 2561041 WITH SCORE 2565778.85
AT ITER 1203 NEW BEST:: SOT 19759974 SOS 4738572 HAS SOPS 4738572 HAS SOUS 2561040 HAS SOUPS 2561040 WITH SCORE 2565778.572
AT ITER 1287 NEW BEST:: SOT 19758770 SOS 4737358 HAS SOPS 4737358 HAS SOUS 2559835 HAS SOUPS 2559835 WITH SCORE 2564572.358
AT ITER 1293 NEW BEST:: SOT 19758250 SOS 4743715 HAS SOPS 4743715 HAS SOUS 2558794 HAS SOUPS 2558794 WITH SCORE 2563537.715
AT ITER 1356 NEW BEST:: SOT 19758264 SOS 4743205 HAS SOPS 4743205 HAS SOUS 2558284 HAS SOUPS 2558284 WITH SCORE 2563027.205
AT ITER 1377 NEW BEST:: SOT 19757047 SOS 4742177 HAS SOPS 4742177 HAS SOUS 2557091 HAS SOUPS 2557091 WITH SCORE 2561833.177
AT ITER 1380 NEW BEST:: SOT 19756682 SOS 4741812 HAS SOPS 4741812 HAS SOUS 2556726 HAS SOUPS 2556726 WITH SCORE 2561467.812
AT ITER 1394 NEW BEST:: SOT 19756682 SOS 4741628 HAS SOPS 4741628 HAS SOUS 2556542 HAS SOUPS 2556542 WITH SCORE 2561283.628
AT ITER 1425 NEW BEST:: SOT 19756249 SOS 4741404 HAS SOPS 4741404 HAS SOUS 2555885 HAS SOUPS 2555885 WITH SCORE 2560626.404
AT ITER 1449 NEW BEST:: SOT 19755738 SOS 4740382 HAS SOPS 4740382 HAS SOUS 2554563 HAS SOUPS 2554563 WITH SCORE 2559303.382
AT ITER 1460 NEW BEST:: SOT 19755242 SOS 4740878 HAS SOPS 4740878 HAS SOUS 2553895 HAS SOUPS 2553895 WITH SCORE 2558635.878
AT ITER 1462 NEW BEST:: SOT 19754505 SOS 4740155 HAS SOPS 4740155 HAS SOUS 2553158 HAS SOUPS 2553158 WITH SCORE 2557898.155
AT ITER 1465 NEW BEST:: SOT 19754339 SOS 4740983 HAS SOPS 4740983 HAS SOUS 2553108 HAS SOUPS 2553108 WITH SCORE 2557848.983
AT ITER 1503 NEW BEST:: SOT 19754058 SOS 4742950 HAS SOPS 4742950 HAS SOUS 2552827 HAS SOUPS 2552827 WITH SCORE 2557569.95
AT ITER 1504 NEW BEST:: SOT 19753315 SOS 4742204 HAS SOPS 4742204 HAS SOUS 2552083 HAS SOUPS 2552083 WITH SCORE 2556825.204
AT ITER 1510 NEW BEST:: SOT 19753314 SOS 4742202 HAS SOPS 4742202 HAS SOUS 2552081 HAS SOUPS 2552081 WITH SCORE 2556823.202
AT ITER 1511 NEW BEST:: SOT 19752921 SOS 4742595 HAS SOPS 4742595 HAS SOUS 2551688 HAS SOUPS 2551688 WITH SCORE 2556430.595
AT ITER 1591 NEW BEST:: SOT 19752525 SOS 4742122 HAS SOPS 4742122 HAS SOUS 2551215 HAS SOUPS 2551215 WITH SCORE 2555957.122
AT ITER 1596 NEW BEST:: SOT 19752542 SOS 4742156 HAS SOPS 4742156 HAS SOUS 2550850 HAS SOUPS 2550850 WITH SCORE 2555592.156
AT ITER 1604 NEW BEST:: SOT 19752333 SOS 4742989 HAS SOPS 4742989 HAS SOUS 2550641 HAS SOUPS 2550641 WITH SCORE 2555383.989
AT ITER 1680 NEW BEST:: SOT 19752191 SOS 4742634 HAS SOPS 4742634 HAS SOUS 2550428 HAS SOUPS 2550428 WITH SCORE 2555170.634
AT ITER 1695 NEW BEST:: SOT 19751934 SOS 4740578 HAS SOPS 4740578 HAS SOUS 2550027 HAS SOUPS 2550027 WITH SCORE 2554767.578
AT ITER 1704 NEW BEST:: SOT 19750784 SOS 4740003 HAS SOPS 4740003 HAS SOUS 2549452 HAS SOUPS 2549452 WITH SCORE 2554192.003
AT ITER 1706 NEW BEST:: SOT 19749754 SOS 4738963 HAS SOPS 4738963 HAS SOUS 2548421 HAS SOUPS 2548421 WITH SCORE 2553159.963
AT ITER 1707 NEW BEST:: SOT 19749754 SOS 4741501 HAS SOPS 4741501 HAS SOUS 2548184 HAS SOUPS 2548184 WITH SCORE 2552925.501
AT ITER 1742 NEW BEST:: SOT 19749754 SOS 4741983 HAS SOPS 4741983 HAS SOUS 2548183 HAS SOUPS 2548183 WITH SCORE 2552924.983
AT ITER 1744 NEW BEST:: SOT 19749534 SOS 4742413 HAS SOPS 4742413 HAS SOUS 2548182 HAS SOUPS 2548182 WITH SCORE 2552924.413
AT ITER 1753 NEW BEST:: SOT 19749498 SOS 4742341 HAS SOPS 4742341 HAS SOUS 2548110 HAS SOUPS 2548110 WITH SCORE 2552852.341
AT ITER 1767 NEW BEST:: SOT 19748794 SOS 4740933 HAS SOPS 4740933 HAS SOUS 2546535 HAS SOUPS 2546535 WITH SCORE 2551275.933
AT ITER 1802 NEW BEST:: SOT 19748792 SOS 4740929 HAS SOPS 4740929 HAS SOUS 2546531 HAS SOUPS 2546531 WITH SCORE 2551271.929
AT ITER 1803 NEW BEST:: SOT 19748255 SOS 4740833 HAS SOPS 4740833 HAS SOUS 2546435 HAS SOUPS 2546435 WITH SCORE 2551175.833
AT ITER 1806 NEW BEST:: SOT 19748204 SOS 4740884 HAS SOPS 4740884 HAS SOUS 2546384 HAS SOUPS 2546384 WITH SCORE 2551124.884
AT ITER 1819 NEW BEST:: SOT 19748204 SOS 4740586 HAS SOPS 4740586 HAS SOUS 2545990 HAS SOUPS 2545990 WITH SCORE 2550730.586
AT ITER 1829 NEW BEST:: SOT 19747714 SOS 4741063 HAS SOPS 4741063 HAS SOUS 2545498 HAS SOUPS 2545498 WITH SCORE 2550239.063
AT ITER 1837 NEW BEST:: SOT 19747638 SOS 4743412 HAS SOPS 4743412 HAS SOUS 2545345 HAS SOUPS 2545345 WITH SCORE 2550088.412
AT ITER 1848 NEW BEST:: SOT 19747520 SOS 4743353 HAS SOPS 4743353 HAS SOUS 2545286 HAS SOUPS 2545286 WITH SCORE 2550029.353
AT ITER 1849 NEW BEST:: SOT 19747564 SOS 4741998 HAS SOPS 4741998 HAS SOUS 2544068 HAS SOUPS 2544068 WITH SCORE 2548809.998
AT ITER 1867 NEW BEST:: SOT 19747959 SOS 4742788 HAS SOPS 4742788 HAS SOUS 2543660 HAS SOUPS 2543660 WITH SCORE 2548402.788
AT ITER 1881 NEW BEST:: SOT 19746765 SOS 4741493 HAS SOPS 4741493 HAS SOUS 2541946 HAS SOUPS 2541946 WITH SCORE 2546687.493
AT ITER 1960 NEW BEST:: SOT 19746765 SOS 4740203 HAS SOPS 4740203 HAS SOUS 2541946 HAS SOUPS 2541946 WITH SCORE 2546686.203
AT ITER 1961 NEW BEST:: SOT 19746765 SOS 4740203 HAS SOPS 4740203 HAS SOUS 2541845 HAS SOUPS 2541845 WITH SCORE 2546585.203
AT ITER 1998 NEW BEST:: SOT 19746636 SOS 4738511 HAS SOPS 4738511 HAS SOUS 2541488 HAS SOUPS 2541488 WITH SCORE 2546226.511
AT ITER 2011 NEW BEST:: SOT 19745983 SOS 4738378 HAS SOPS 4738378 HAS SOUS 2541355 HAS SOUPS 2541355 WITH SCORE 2546093.378
AT ITER 2028 NEW BEST:: SOT 19745983 SOS 4737175 HAS SOPS 4737175 HAS SOUS 2540954 HAS SOUPS 2540954 WITH SCORE 2545691.175
AT ITER 2033 NEW BEST:: SOT 19745243 SOS 4731545 HAS SOPS 4731545 HAS SOUS 2540319 HAS SOUPS 2540319 WITH SCORE 2545050.545
AT ITER 2037 NEW BEST:: SOT 19745039 SOS 4731749 HAS SOPS 4731749 HAS SOUS 2540115 HAS SOUPS 2540115 WITH SCORE 2544846.749
AT ITER 2070 NEW BEST:: SOT 19745061 SOS 4731364 HAS SOPS 4731364 HAS SOUS 2540016 HAS SOUPS 2540016 WITH SCORE 2544747.364
AT ITER 2073 NEW BEST:: SOT 19744465 SOS 4731711 HAS SOPS 4731711 HAS SOUS 2539986 HAS SOUPS 2539986 WITH SCORE 2544717.711
AT ITER 2090 NEW BEST:: SOT 19744465 SOS 4731707 HAS SOPS 4731707 HAS SOUS 2539838 HAS SOUPS 2539838 WITH SCORE 2544569.707
AT ITER 2092 NEW BEST:: SOT 19741950 SOS 4729192 HAS SOPS 4729192 HAS SOUS 2537323 HAS SOUPS 2537323 WITH SCORE 2542052.192
AT ITER 2114 NEW BEST:: SOT 19741796 SOS 4729544 HAS SOPS 4729544 HAS SOUS 2537205 HAS SOUPS 2537205 WITH SCORE 2541934.544
AT ITER 2140 NEW BEST:: SOT 19741697 SOS 4729640 HAS SOPS 4729640 HAS SOUS 2537105 HAS SOUPS 2537105 WITH SCORE 2541834.64
AT ITER 2161 NEW BEST:: SOT 19741354 SOS 4729636 HAS SOPS 4729636 HAS SOUS 2537104 HAS SOUPS 2537104 WITH SCORE 2541833.636
AT ITER 2180 NEW BEST:: SOT 19741298 SOS 4729691 HAS SOPS 4729691 HAS SOUS 2537103 HAS SOUPS 2537103 WITH SCORE 2541832.691
AT ITER 2190 NEW BEST:: SOT 19740787 SOS 4725089 HAS SOPS 4725089 HAS SOUS 2536080 HAS SOUPS 2536080 WITH SCORE 2540805.089
AT ITER 2197 NEW BEST:: SOT 19740272 SOS 4725240 HAS SOPS 4725240 HAS SOUS 2534972 HAS SOUPS 2534972 WITH SCORE 2539697.24
AT ITER 2204 NEW BEST:: SOT 19740272 SOS 4726139 HAS SOPS 4726139 HAS SOUS 2534971 HAS SOUPS 2534971 WITH SCORE 2539697.139
AT ITER 2227 NEW BEST:: SOT 19740272 SOS 4726113 HAS SOPS 4726113 HAS SOUS 2534945 HAS SOUPS 2534945 WITH SCORE 2539671.113
AT ITER 2244 NEW BEST:: SOT 19740396 SOS 4726069 HAS SOPS 4726069 HAS SOUS 2534923 HAS SOUPS 2534923 WITH SCORE 2539649.069
AT ITER 2284 NEW BEST:: SOT 19740990 SOS 4725189 HAS SOPS 4725189 HAS SOUS 2534483 HAS SOUPS 2534483 WITH SCORE 2539208.189
AT ITER 2317 NEW BEST:: SOT 19740990 SOS 4725189 HAS SOPS 4725189 HAS SOUS 2534432 HAS SOUPS 2534432 WITH SCORE 2539157.189
AT ITER 2331 NEW BEST:: SOT 19740990 SOS 4725728 HAS SOPS 4725728 HAS SOUS 2534430 HAS SOUPS 2534430 WITH SCORE 2539155.728
AT ITER 2360 NEW BEST:: SOT 19740771 SOS 4725509 HAS SOPS 4725509 HAS SOUS 2534211 HAS SOUPS 2534211 WITH SCORE 2538936.509
AT ITER 2365 NEW BEST:: SOT 19740705 SOS 4726027 HAS SOPS 4726027 HAS SOUS 2534144 HAS SOUPS 2534144 WITH SCORE 2538870.027
AT ITER 2373 NEW BEST:: SOT 19740705 SOS 4720078 HAS SOPS 4720078 HAS SOUS 2534144 HAS SOUPS 2534144 WITH SCORE 2538864.078
AT ITER 2440 NEW BEST:: SOT 19739871 SOS 4719304 HAS SOPS 4719304 HAS SOUS 2533370 HAS SOUPS 2533370 WITH SCORE 2538089.304
AT ITER 2480 NEW BEST:: SOT 19739862 SOS 4719286 HAS SOPS 4719286 HAS SOUS 2532750 HAS SOUPS 2532750 WITH SCORE 2537469.286
AT ITER 2494 NEW BEST:: SOT 19739862 SOS 4718533 HAS SOPS 4718533 HAS SOUS 2532499 HAS SOUPS 2532499 WITH SCORE 2537217.533
AT ITER 2497 NEW BEST:: SOT 19739569 SOS 4719414 HAS SOPS 4719414 HAS SOUS 2531796 HAS SOUPS 2531796 WITH SCORE 2536515.414
AT ITER 2510 NEW BEST:: SOT 19736552 SOS 4716188 HAS SOPS 4716188 HAS SOUS 2529494 HAS SOUPS 2529494 WITH SCORE 2534210.188
AT ITER 2523 NEW BEST:: SOT 19736080 SOS 4715931 HAS SOPS 4715931 HAS SOUS 2529316 HAS SOUPS 2529316 WITH SCORE 2534031.931
AT ITER 2531 NEW BEST:: SOT 19736078 SOS 4715927 HAS SOPS 4715927 HAS SOUS 2529312 HAS SOUPS 2529312 WITH SCORE 2534027.927
AT ITER 2554 NEW BEST:: SOT 19736078 SOS 4715403 HAS SOPS 4715403 HAS SOUS 2529050 HAS SOUPS 2529050 WITH SCORE 2533765.403
AT ITER 2576 NEW BEST:: SOT 19735098 SOS 4714598 HAS SOPS 4714598 HAS SOUS 2528245 HAS SOUPS 2528245 WITH SCORE 2532959.598
AT ITER 2630 NEW BEST:: SOT 19733967 SOS 4712336 HAS SOPS 4712336 HAS SOUS 2525822 HAS SOUPS 2525822 WITH SCORE 2530534.336
AT ITER 2635 NEW BEST:: SOT 19733967 SOS 4712765 HAS SOPS 4712765 HAS SOUS 2525821 HAS SOUPS 2525821 WITH SCORE 2530533.765
AT ITER 2643 NEW BEST:: SOT 19733810 SOS 4714698 HAS SOPS 4714698 HAS SOUS 2525664 HAS SOUPS 2525664 WITH SCORE 2530378.698
AT ITER 2661 NEW BEST:: SOT 19733296 SOS 4715212 HAS SOPS 4715212 HAS SOUS 2525150 HAS SOUPS 2525150 WITH SCORE 2529865.212
AT ITER 2670 NEW BEST:: SOT 19732608 SOS 4714868 HAS SOPS 4714868 HAS SOUS 2524806 HAS SOUPS 2524806 WITH SCORE 2529520.868
AT ITER 2680 NEW BEST:: SOT 19731959 SOS 4714219 HAS SOPS 4714219 HAS SOUS 2524157 HAS SOUPS 2524157 WITH SCORE 2528871.219
AT ITER 2693 NEW BEST:: SOT 19731762 SOS 4714069 HAS SOPS 4714069 HAS SOUS 2524007 HAS SOUPS 2524007 WITH SCORE 2528721.069
AT ITER 2704 NEW BEST:: SOT 19731648 SOS 4713613 HAS SOPS 4713613 HAS SOUS 2523779 HAS SOUPS 2523779 WITH SCORE 2528492.613
AT ITER 2771 NEW BEST:: SOT 19731423 SOS 4713388 HAS SOPS 4713388 HAS SOUS 2523554 HAS SOUPS 2523554 WITH SCORE 2528267.388
AT ITER 2772 NEW BEST:: SOT 19730752 SOS 4706007 HAS SOPS 4706007 HAS SOUS 2522212 HAS SOUPS 2522212 WITH SCORE 2526918.007
AT ITER 2785 NEW BEST:: SOT 19730659 SOS 4706658 HAS SOPS 4706658 HAS SOUS 2522119 HAS SOUPS 2522119 WITH SCORE 2526825.658
AT ITER 2800 NEW BEST:: SOT 19730038 SOS 4711005 HAS SOPS 4711005 HAS SOUS 2521498 HAS SOUPS 2521498 WITH SCORE 2526209.005
AT ITER 2819 NEW BEST:: SOT 19729204 SOS 4711004 HAS SOPS 4711004 HAS SOUS 2521497 HAS SOUPS 2521497 WITH SCORE 2526208.004
AT ITER 2826 NEW BEST:: SOT 19728369 SOS 4723892 HAS SOPS 4723892 HAS SOUS 2520987 HAS SOUPS 2520987 WITH SCORE 2525710.892
AT ITER 2839 NEW BEST:: SOT 19728275 SOS 4723704 HAS SOPS 4723704 HAS SOUS 2520638 HAS SOUPS 2520638 WITH SCORE 2525361.704
AT ITER 2858 NEW BEST:: SOT 19728071 SOS 4723500 HAS SOPS 4723500 HAS SOUS 2520434 HAS SOUPS 2520434 WITH SCORE 2525157.5
AT ITER 2859 NEW BEST:: SOT 19728071 SOS 4722855 HAS SOPS 4722855 HAS SOUS 2520219 HAS SOUPS 2520219 WITH SCORE 2524941.855
AT ITER 2865 NEW BEST:: SOT 19728071 SOS 4723564 HAS SOPS 4723564 HAS SOUS 2520218 HAS SOUPS 2520218 WITH SCORE 2524941.564
AT ITER 2875 NEW BEST:: SOT 19727486 SOS 4718606 HAS SOPS 4718606 HAS SOUS 2518462 HAS SOUPS 2518462 WITH SCORE 2523180.606
AT ITER 2882 NEW BEST:: SOT 19726916 SOS 4718036 HAS SOPS 4718036 HAS SOUS 2517892 HAS SOUPS 2517892 WITH SCORE 2522610.036
AT ITER 2887 NEW BEST:: SOT 19726916 SOS 4717424 HAS SOPS 4717424 HAS SOUS 2517688 HAS SOUPS 2517688 WITH SCORE 2522405.424
AT ITER 2893 NEW BEST:: SOT 19726915 SOS 4717422 HAS SOPS 4717422 HAS SOUS 2517686 HAS SOUPS 2517686 WITH SCORE 2522403.422
AT ITER 2910 NEW BEST:: SOT 19726704 SOS 4718173 HAS SOPS 4718173 HAS SOUS 2517264 HAS SOUPS 2517264 WITH SCORE 2521982.173
AT ITER 2929 NEW BEST:: SOT 19726694 SOS 4718153 HAS SOPS 4718153 HAS SOUS 2517244 HAS SOUPS 2517244 WITH SCORE 2521962.153
AT ITER 2951 NEW BEST:: SOT 19725817 SOS 4717400 HAS SOPS 4717400 HAS SOUS 2516491 HAS SOUPS 2516491 WITH SCORE 2521208.4
AT ITER 2966 NEW BEST:: SOT 19725632 SOS 4717217 HAS SOPS 4717217 HAS SOUS 2516308 HAS SOUPS 2516308 WITH SCORE 2521025.217
AT ITER 2980 NEW BEST:: SOT 19725632 SOS 4715993 HAS SOPS 4715993 HAS SOUS 2515726 HAS SOUPS 2515726 WITH SCORE 2520441.993
AT ITER 2986 NEW BEST:: SOT 19725464 SOS 4715689 HAS SOPS 4715689 HAS SOUS 2515422 HAS SOUPS 2515422 WITH SCORE 2520137.689
AT ITER 2998 NEW BEST:: SOT 19725317 SOS 4715101 HAS SOPS 4715101 HAS SOUS 2515128 HAS SOUPS 2515128 WITH SCORE 2519843.101
AT ITER 3010 NEW BEST:: SOT 19725081 SOS 4716743 HAS SOPS 4716743 HAS SOUS 2514655 HAS SOUPS 2514655 WITH SCORE 2519371.743
AT ITER 3020 NEW BEST:: SOT 19723869 SOS 4718773 HAS SOPS 4718773 HAS SOUS 2513717 HAS SOUPS 2513717 WITH SCORE 2518435.773
AT ITER 3045 NEW BEST:: SOT 19724159 SOS 4719353 HAS SOPS 4719353 HAS SOUS 2513290 HAS SOUPS 2513290 WITH SCORE 2518009.353
AT ITER 3046 NEW BEST:: SOT 19723983 SOS 4724869 HAS SOPS 4724869 HAS SOUS 2513244 HAS SOUPS 2513244 WITH SCORE 2517968.869
AT ITER 3048 NEW BEST:: SOT 19723360 SOS 4724712 HAS SOPS 4724712 HAS SOUS 2513087 HAS SOUPS 2513087 WITH SCORE 2517811.712
AT ITER 3069 NEW BEST:: SOT 19722965 SOS 4723922 HAS SOPS 4723922 HAS SOUS 2512297 HAS SOUPS 2512297 WITH SCORE 2517020.922
AT ITER 3090 NEW BEST:: SOT 19722735 SOS 4722542 HAS SOPS 4722542 HAS SOUS 2511952 HAS SOUPS 2511952 WITH SCORE 2516674.542
AT ITER 3103 NEW BEST:: SOT 19722216 SOS 4721565 HAS SOPS 4721565 HAS SOUS 2510304 HAS SOUPS 2510304 WITH SCORE 2515025.565
AT ITER 3107 NEW BEST:: SOT 19722216 SOS 4722197 HAS SOPS 4722197 HAS SOUS 2509982 HAS SOUPS 2509982 WITH SCORE 2514704.197
AT ITER 3122 NEW BEST:: SOT 19721990 SOS 4727973 HAS SOPS 4727973 HAS SOUS 2509756 HAS SOUPS 2509756 WITH SCORE 2514483.973
AT ITER 3127 NEW BEST:: SOT 19721990 SOS 4727653 HAS SOPS 4727653 HAS SOUS 2509436 HAS SOUPS 2509436 WITH SCORE 2514163.653
AT ITER 3133 NEW BEST:: SOT 19721930 SOS 4727473 HAS SOPS 4727473 HAS SOUS 2509316 HAS SOUPS 2509316 WITH SCORE 2514043.473
AT ITER 3139 NEW BEST:: SOT 19721930 SOS 4727473 HAS SOPS 4727473 HAS SOUS 2509315 HAS SOUPS 2509315 WITH SCORE 2514042.473
AT ITER 3154 NEW BEST:: SOT 19721702 SOS 4727851 HAS SOPS 4727851 HAS SOUS 2509093 HAS SOUPS 2509093 WITH SCORE 2513820.851
AT ITER 3157 NEW BEST:: SOT 19720787 SOS 4723276 HAS SOPS 4723276 HAS SOUS 2507263 HAS SOUPS 2507263 WITH SCORE 2511986.276
AT ITER 3163 NEW BEST:: SOT 19720117 SOS 4722740 HAS SOPS 4722740 HAS SOUS 2506727 HAS SOUPS 2506727 WITH SCORE 2511449.74
AT ITER 3187 NEW BEST:: SOT 19720117 SOS 4721880 HAS SOPS 4721880 HAS SOUS 2506727 HAS SOUPS 2506727 WITH SCORE 2511448.88
AT ITER 3199 NEW BEST:: SOT 19719658 SOS 4721421 HAS SOPS 4721421 HAS SOUS 2506268 HAS SOUPS 2506268 WITH SCORE 2510989.421
AT ITER 3201 NEW BEST:: SOT 19719603 SOS 4721311 HAS SOPS 4721311 HAS SOUS 2506158 HAS SOUPS 2506158 WITH SCORE 2510879.311
AT ITER 3232 NEW BEST:: SOT 19719212 SOS 4720529 HAS SOPS 4720529 HAS SOUS 2505376 HAS SOUPS 2505376 WITH SCORE 2510096.529
AT ITER 3274 NEW BEST:: SOT 19719158 SOS 4723321 HAS SOPS 4723321 HAS SOUS 2504709 HAS SOUPS 2504709 WITH SCORE 2509432.321
AT ITER 3287 NEW BEST:: SOT 19718945 SOS 4723318 HAS SOPS 4723318 HAS SOUS 2504708 HAS SOUPS 2504708 WITH SCORE 2509431.318
AT ITER 3289 NEW BEST:: SOT 19718945 SOS 4722016 HAS SOPS 4722016 HAS SOUS 2504274 HAS SOUPS 2504274 WITH SCORE 2508996.016
AT ITER 3331 NEW BEST:: SOT 19718945 SOS 4721710 HAS SOPS 4721710 HAS SOUS 2504121 HAS SOUPS 2504121 WITH SCORE 2508842.71
AT ITER 3351 NEW BEST:: SOT 19718945 SOS 4721710 HAS SOPS 4721710 HAS SOUS 2504120 HAS SOUPS 2504120 WITH SCORE 2508841.71
AT ITER 3371 NEW BEST:: SOT 19718355 SOS 4720948 HAS SOPS 4720948 HAS SOUS 2503358 HAS SOUPS 2503358 WITH SCORE 2508078.948
AT ITER 3375 NEW BEST:: SOT 19717683 SOS 4720272 HAS SOPS 4720272 HAS SOUS 2502685 HAS SOUPS 2502685 WITH SCORE 2507405.272
AT ITER 3400 NEW BEST:: SOT 19717265 SOS 4719436 HAS SOPS 4719436 HAS SOUS 2502266 HAS SOUPS 2502266 WITH SCORE 2506985.436
AT ITER 3429 NEW BEST:: SOT 19716645 SOS 4719436 HAS SOPS 4719436 HAS SOUS 2501208 HAS SOUPS 2501208 WITH SCORE 2505927.436
AT ITER 3441 NEW BEST:: SOT 19716910 SOS 4721162 HAS SOPS 4721162 HAS SOUS 2500925 HAS SOUPS 2500925 WITH SCORE 2505646.162
AT ITER 3449 NEW BEST:: SOT 19716666 SOS 4720674 HAS SOPS 4720674 HAS SOUS 2500437 HAS SOUPS 2500437 WITH SCORE 2505157.674
AT ITER 3494 NEW BEST:: SOT 19716590 SOS 4720522 HAS SOPS 4720522 HAS SOUS 2500230 HAS SOUPS 2500230 WITH SCORE 2504950.522
AT ITER 3504 NEW BEST:: SOT 19715985 SOS 4721138 HAS SOPS 4721138 HAS SOUS 2499019 HAS SOUPS 2499019 WITH SCORE 2503740.138
AT ITER 3527 NEW BEST:: SOT 19715745 SOS 4721816 HAS SOPS 4721816 HAS SOUS 2498779 HAS SOUPS 2498779 WITH SCORE 2503500.816
AT ITER 3572 NEW BEST:: SOT 19714807 SOS 4720868 HAS SOPS 4720868 HAS SOUS 2497840 HAS SOUPS 2497840 WITH SCORE 2502560.868
AT ITER 3575 NEW BEST:: SOT 19714227 SOS 4719998 HAS SOPS 4719998 HAS SOUS 2496970 HAS SOUPS 2496970 WITH SCORE 2501689.998
AT ITER 3576 NEW BEST:: SOT 19713409 SOS 4719180 HAS SOPS 4719180 HAS SOUS 2496260 HAS SOUPS 2496260 WITH SCORE 2500979.18
AT ITER 3585 NEW BEST:: SOT 19712894 SOS 4722785 HAS SOPS 4722785 HAS SOUS 2495745 HAS SOUPS 2495745 WITH SCORE 2500467.785
AT ITER 3596 NEW BEST:: SOT 19712376 SOS 4723299 HAS SOPS 4723299 HAS SOUS 2494708 HAS SOUPS 2494708 WITH SCORE 2499431.299
AT ITER 3622 NEW BEST:: SOT 19711913 SOS 4723485 HAS SOPS 4723485 HAS SOUS 2494299 HAS SOUPS 2494299 WITH SCORE 2499022.485
AT ITER 3656 NEW BEST:: SOT 19712780 SOS 4721685 HAS SOPS 4721685 HAS SOUS 2493796 HAS SOUPS 2493796 WITH SCORE 2498517.685
AT ITER 3663 NEW BEST:: SOT 19712780 SOS 4724706 HAS SOPS 4724706 HAS SOUS 2493650 HAS SOUPS 2493650 WITH SCORE 2498374.706
AT ITER 3672 NEW BEST:: SOT 19711987 SOS 4723912 HAS SOPS 4723912 HAS SOUS 2493648 HAS SOUPS 2493648 WITH SCORE 2498371.912
AT ITER 3692 NEW BEST:: SOT 19711674 SOS 4724528 HAS SOPS 4724528 HAS SOUS 2493465 HAS SOUPS 2493465 WITH SCORE 2498189.528
AT ITER 3697 NEW BEST:: SOT 19711673 SOS 4724526 HAS SOPS 4724526 HAS SOUS 2493463 HAS SOUPS 2493463 WITH SCORE 2498187.526
AT ITER 3707 NEW BEST:: SOT 19710939 SOS 4723789 HAS SOPS 4723789 HAS SOUS 2493042 HAS SOUPS 2493042 WITH SCORE 2497765.789
AT ITER 3731 NEW BEST:: SOT 19710939 SOS 4723787 HAS SOPS 4723787 HAS SOUS 2493039 HAS SOUPS 2493039 WITH SCORE 2497762.787
AT ITER 3737 NEW BEST:: SOT 19710939 SOS 4723786 HAS SOPS 4723786 HAS SOUS 2493038 HAS SOUPS 2493038 WITH SCORE 2497761.786
AT ITER 3750 NEW BEST:: SOT 19710986 SOS 4723367 HAS SOPS 4723367 HAS SOUS 2492790 HAS SOUPS 2492790 WITH SCORE 2497513.367
AT ITER 3779 NEW BEST:: SOT 19710985 SOS 4723365 HAS SOPS 4723365 HAS SOUS 2492788 HAS SOUPS 2492788 WITH SCORE 2497511.365
AT ITER 3809 NEW BEST:: SOT 19710985 SOS 4722156 HAS SOPS 4722156 HAS SOUS 2492385 HAS SOUPS 2492385 WITH SCORE 2497107.156
AT ITER 3814 NEW BEST:: SOT 19709710 SOS 4720881 HAS SOPS 4720881 HAS SOUS 2491110 HAS SOUPS 2491110 WITH SCORE 2495830.881
AT ITER 3839 NEW BEST:: SOT 19709106 SOS 4723008 HAS SOPS 4723008 HAS SOUS 2489901 HAS SOUPS 2489901 WITH SCORE 2494624.008
AT ITER 3844 NEW BEST:: SOT 19708780 SOS 4723650 HAS SOPS 4723650 HAS SOUS 2489740 HAS SOUPS 2489740 WITH SCORE 2494463.65
AT ITER 3896 NEW BEST:: SOT 19708046 SOS 4722549 HAS SOPS 4722549 HAS SOUS 2488639 HAS SOUPS 2488639 WITH SCORE 2493361.549
AT ITER 3908 NEW BEST:: SOT 19708045 SOS 4722547 HAS SOPS 4722547 HAS SOUS 2488637 HAS SOUPS 2488637 WITH SCORE 2493359.547
AT ITER 3921 NEW BEST:: SOT 19707436 SOS 4721938 HAS SOPS 4721938 HAS SOUS 2488028 HAS SOUPS 2488028 WITH SCORE 2492749.938
AT ITER 3924 NEW BEST:: SOT 19707436 SOS 4721938 HAS SOPS 4721938 HAS SOUS 2487998 HAS SOUPS 2487998 WITH SCORE 2492719.938
AT ITER 3937 NEW BEST:: SOT 19707235 SOS 4721678 HAS SOPS 4721678 HAS SOUS 2487738 HAS SOUPS 2487738 WITH SCORE 2492459.678
AT ITER 3939 NEW BEST:: SOT 19706612 SOS 4721362 HAS SOPS 4721362 HAS SOUS 2487317 HAS SOUPS 2487317 WITH SCORE 2492038.362
AT ITER 3977 NEW BEST:: SOT 19705898 SOS 4719934 HAS SOPS 4719934 HAS SOUS 2485948 HAS SOUPS 2485948 WITH SCORE 2490667.934
AT ITER 3994 NEW BEST:: SOT 19705448 SOS 4719484 HAS SOPS 4719484 HAS SOUS 2485048 HAS SOUPS 2485048 WITH SCORE 2489767.484
AT ITER 4019 NEW BEST:: SOT 19705566 SOS 4719720 HAS SOPS 4719720 HAS SOUS 2484614 HAS SOUPS 2484614 WITH SCORE 2489333.72
AT ITER 4027 NEW BEST:: SOT 19705044 SOS 4724814 HAS SOPS 4724814 HAS SOUS 2484252 HAS SOUPS 2484252 WITH SCORE 2488976.814
AT ITER 4029 NEW BEST:: SOT 19705044 SOS 4726047 HAS SOPS 4726047 HAS SOUS 2483183 HAS SOUPS 2483183 WITH SCORE 2487909.047
AT ITER 4032 NEW BEST:: SOT 19704982 SOS 4725923 HAS SOPS 4725923 HAS SOUS 2483059 HAS SOUPS 2483059 WITH SCORE 2487784.923
AT ITER 4048 NEW BEST:: SOT 19704967 SOS 4725893 HAS SOPS 4725893 HAS SOUS 2483029 HAS SOUPS 2483029 WITH SCORE 2487754.893
AT ITER 4088 NEW BEST:: SOT 19705000 SOS 4725891 HAS SOPS 4725891 HAS SOUS 2483027 HAS SOUPS 2483027 WITH SCORE 2487752.891
AT ITER 4128 NEW BEST:: SOT 19704669 SOS 4726092 HAS SOPS 4726092 HAS SOUS 2482765 HAS SOUPS 2482765 WITH SCORE 2487491.092
AT ITER 4132 NEW BEST:: SOT 19704055 SOS 4725821 HAS SOPS 4725821 HAS SOUS 2482151 HAS SOUPS 2482151 WITH SCORE 2486876.821
AT ITER 4140 NEW BEST:: SOT 19704055 SOS 4725821 HAS SOPS 4725821 HAS SOUS 2482150 HAS SOUPS 2482150 WITH SCORE 2486875.821
AT ITER 4142 NEW BEST:: SOT 19704492 SOS 4726695 HAS SOPS 4726695 HAS SOUS 2481820 HAS SOUPS 2481820 WITH SCORE 2486546.695
AT ITER 4147 NEW BEST:: SOT 19704298 SOS 4726307 HAS SOPS 4726307 HAS SOUS 2481343 HAS SOUPS 2481343 WITH SCORE 2486069.307
AT ITER 4216 NEW BEST:: SOT 19704244 SOS 4725988 HAS SOPS 4725988 HAS SOUS 2481289 HAS SOUPS 2481289 WITH SCORE 2486014.988
AT ITER 4218 NEW BEST:: SOT 19703702 SOS 4725978 HAS SOPS 4725978 HAS SOUS 2481096 HAS SOUPS 2481096 WITH SCORE 2485821.978
AT ITER 4250 NEW BEST:: SOT 19702693 SOS 4725203 HAS SOPS 4725203 HAS SOUS 2480087 HAS SOUPS 2480087 WITH SCORE 2484812.203
AT ITER 4282 NEW BEST:: SOT 19702693 SOS 4726768 HAS SOPS 4726768 HAS SOUS 2480050 HAS SOUPS 2480050 WITH SCORE 2484776.768
AT ITER 4294 NEW BEST:: SOT 19702641 SOS 4727991 HAS SOPS 4727991 HAS SOUS 2479946 HAS SOUPS 2479946 WITH SCORE 2484673.991
AT ITER 4308 NEW BEST:: SOT 19701381 SOS 4726731 HAS SOPS 4726731 HAS SOUS 2477426 HAS SOUPS 2477426 WITH SCORE 2482152.731
AT ITER 4334 NEW BEST:: SOT 19701149 SOS 4726383 HAS SOPS 4726383 HAS SOUS 2477078 HAS SOUPS 2477078 WITH SCORE 2481804.383
AT ITER 4351 NEW BEST:: SOT 19700843 SOS 4726073 HAS SOPS 4726073 HAS SOUS 2476831 HAS SOUPS 2476831 WITH SCORE 2481557.073
AT ITER 4372 NEW BEST:: SOT 19699967 SOS 4725399 HAS SOPS 4725399 HAS SOUS 2476157 HAS SOUPS 2476157 WITH SCORE 2480882.399
AT ITER 4391 NEW BEST:: SOT 19699800 SOS 4725065 HAS SOPS 4725065 HAS SOUS 2475823 HAS SOUPS 2475823 WITH SCORE 2480548.065
AT ITER 4404 NEW BEST:: SOT 19699882 SOS 4722089 HAS SOPS 4722089 HAS SOUS 2474442 HAS SOUPS 2474442 WITH SCORE 2479164.089
AT ITER 4425 NEW BEST:: SOT 19700248 SOS 4720622 HAS SOPS 4720622 HAS SOUS 2474280 HAS SOUPS 2474280 WITH SCORE 2479000.622
AT ITER 4433 NEW BEST:: SOT 19700378 SOS 4721794 HAS SOPS 4721794 HAS SOUS 2474213 HAS SOUPS 2474213 WITH SCORE 2478934.794
AT ITER 4500 NEW BEST:: SOT 19698219 SOS 4720017 HAS SOPS 4720017 HAS SOUS 2472436 HAS SOUPS 2472436 WITH SCORE 2477156.017
AT ITER 4508 NEW BEST:: SOT 19698219 SOS 4719997 HAS SOPS 4719997 HAS SOUS 2472436 HAS SOUPS 2472436 WITH SCORE 2477155.997
AT ITER 4542 NEW BEST:: SOT 19697101 SOS 4719438 HAS SOPS 4719438 HAS SOUS 2471877 HAS SOUPS 2471877 WITH SCORE 2476596.438
AT ITER 4546 NEW BEST:: SOT 19697101 SOS 4718211 HAS SOPS 4718211 HAS SOUS 2471877 HAS SOUPS 2471877 WITH SCORE 2476595.211
AT ITER 4565 NEW BEST:: SOT 19696425 SOS 4716159 HAS SOPS 4716159 HAS SOUS 2471405 HAS SOUPS 2471405 WITH SCORE 2476121.159
AT ITER 4572 NEW BEST:: SOT 19696180 SOS 4715669 HAS SOPS 4715669 HAS SOUS 2471159 HAS SOUPS 2471159 WITH SCORE 2475874.669
AT ITER 4584 NEW BEST:: SOT 19696298 SOS 4715148 HAS SOPS 4715148 HAS SOUS 2471113 HAS SOUPS 2471113 WITH SCORE 2475828.148
AT ITER 4586 NEW BEST:: SOT 19696298 SOS 4714659 HAS SOPS 4714659 HAS SOUS 2470950 HAS SOUPS 2470950 WITH SCORE 2475664.659
AT ITER 4600 NEW BEST:: SOT 19696108 SOS 4715039 HAS SOPS 4715039 HAS SOUS 2470760 HAS SOUPS 2470760 WITH SCORE 2475475.039
AT ITER 4601 NEW BEST:: SOT 19695757 SOS 4713284 HAS SOPS 4713284 HAS SOUS 2470058 HAS SOUPS 2470058 WITH SCORE 2474771.284
AT ITER 4639 NEW BEST:: SOT 19695757 SOS 4713101 HAS SOPS 4713101 HAS SOUS 2469875 HAS SOUPS 2469875 WITH SCORE 2474588.101
AT ITER 4695 NEW BEST:: SOT 19695757 SOS 4712853 HAS SOPS 4712853 HAS SOUS 2469751 HAS SOUPS 2469751 WITH SCORE 2474463.853
AT ITER 4705 NEW BEST:: SOT 19695165 SOS 4711503 HAS SOPS 4711503 HAS SOUS 2468401 HAS SOUPS 2468401 WITH SCORE 2473112.503
AT ITER 4715 NEW BEST:: SOT 19695165 SOS 4711286 HAS SOPS 4711286 HAS SOUS 2468184 HAS SOUPS 2468184 WITH SCORE 2472895.286
AT ITER 4729 NEW BEST:: SOT 19695165 SOS 4711282 HAS SOPS 4711282 HAS SOUS 2468140 HAS SOUPS 2468140 WITH SCORE 2472851.282
AT ITER 4746 NEW BEST:: SOT 19695135 SOS 4711741 HAS SOPS 4711741 HAS SOUS 2468110 HAS SOUPS 2468110 WITH SCORE 2472821.741
AT ITER 4756 NEW BEST:: SOT 19695441 SOS 4712111 HAS SOPS 4712111 HAS SOUS 2468050 HAS SOUPS 2468050 WITH SCORE 2472762.111
AT ITER 4758 NEW BEST:: SOT 19694921 SOS 4711071 HAS SOPS 4711071 HAS SOUS 2467010 HAS SOUPS 2467010 WITH SCORE 2471721.071
AT ITER 4806 NEW BEST:: SOT 19694055 SOS 4711071 HAS SOPS 4711071 HAS SOUS 2466547 HAS SOUPS 2466547 WITH SCORE 2471258.071
AT ITER 4817 NEW BEST:: SOT 19693825 SOS 4710611 HAS SOPS 4710611 HAS SOUS 2465872 HAS SOUPS 2465872 WITH SCORE 2470582.611
AT ITER 4836 NEW BEST:: SOT 19693825 SOS 4709734 HAS SOPS 4709734 HAS SOUS 2464753 HAS SOUPS 2464753 WITH SCORE 2469462.734
AT ITER 4885 NEW BEST:: SOT 19693985 SOS 4709846 HAS SOPS 4709846 HAS SOUS 2464705 HAS SOUPS 2464705 WITH SCORE 2469414.846
AT ITER 4895 NEW BEST:: SOT 19693985 SOS 4709846 HAS SOPS 4709846 HAS SOUS 2464454 HAS SOUPS 2464454 WITH SCORE 2469163.846
AT ITER 4927 NEW BEST:: SOT 19693985 SOS 4709781 HAS SOPS 4709781 HAS SOUS 2464389 HAS SOUPS 2464389 WITH SCORE 2469098.781
AT ITER 4934 NEW BEST:: SOT 19693768 SOS 4710409 HAS SOPS 4710409 HAS SOUS 2464172 HAS SOUPS 2464172 WITH SCORE 2468882.409
AT ITER 4970 NEW BEST:: SOT 19692186 SOS 4718184 HAS SOPS 4718184 HAS SOUS 2463575 HAS SOUPS 2463575 WITH SCORE 2468293.184
AT ITER 4986 NEW BEST:: SOT 19692606 SOS 4718629 HAS SOPS 4718629 HAS SOUS 2463326 HAS SOUPS 2463326 WITH SCORE 2468044.629
AT ITER 5000 NEW BEST:: SOT 19692523 SOS 4718785 HAS SOPS 4718785 HAS SOUS 2463325 HAS SOUPS 2463325 WITH SCORE 2468043.785
AT ITER 5012 NEW BEST:: SOT 19692523 SOS 4718785 HAS SOPS 4718785 HAS SOUS 2463319 HAS SOUPS 2463319 WITH SCORE 2468037.785
AT ITER 5021 NEW BEST:: SOT 19692028 SOS 4718775 HAS SOPS 4718775 HAS SOUS 2463170 HAS SOUPS 2463170 WITH SCORE 2467888.775
AT ITER 5027 NEW BEST:: SOT 19692028 SOS 4718394 HAS SOPS 4718394 HAS SOUS 2463166 HAS SOUPS 2463166 WITH SCORE 2467884.394
AT ITER 5054 NEW BEST:: SOT 19692744 SOS 4719826 HAS SOPS 4719826 HAS SOUS 2463054 HAS SOUPS 2463054 WITH SCORE 2467773.826
AT ITER 5063 NEW BEST:: SOT 19692288 SOS 4720024 HAS SOPS 4720024 HAS SOUS 2462968 HAS SOUPS 2462968 WITH SCORE 2467688.024
AT ITER 5098 NEW BEST:: SOT 19692157 SOS 4718824 HAS SOPS 4718824 HAS SOUS 2462368 HAS SOUPS 2462368 WITH SCORE 2467086.824
AT ITER 5115 NEW BEST:: SOT 19692157 SOS 4718824 HAS SOPS 4718824 HAS SOUS 2462367 HAS SOUPS 2462367 WITH SCORE 2467085.824
AT ITER 5194 NEW BEST:: SOT 19692156 SOS 4718822 HAS SOPS 4718822 HAS SOUS 2462365 HAS SOUPS 2462365 WITH SCORE 2467083.822
AT ITER 5209 NEW BEST:: SOT 19691263 SOS 4718173 HAS SOPS 4718173 HAS SOUS 2461472 HAS SOUPS 2461472 WITH SCORE 2466190.173
AT ITER 5240 NEW BEST:: SOT 19691263 SOS 4718173 HAS SOPS 4718173 HAS SOUS 2461471 HAS SOUPS 2461471 WITH SCORE 2466189.173
AT ITER 5265 NEW BEST:: SOT 19691064 SOS 4718469 HAS SOPS 4718469 HAS SOUS 2461369 HAS SOUPS 2461369 WITH SCORE 2466087.469
AT ITER 5352 NEW BEST:: SOT 19690831 SOS 4718466 HAS SOPS 4718466 HAS SOUS 2461368 HAS SOUPS 2461368 WITH SCORE 2466086.466
AT ITER 5385 NEW BEST:: SOT 19690633 SOS 4718759 HAS SOPS 4718759 HAS SOUS 2461265 HAS SOUPS 2461265 WITH SCORE 2465983.759
AT ITER 5400 NEW BEST:: SOT 19690632 SOS 4718757 HAS SOPS 4718757 HAS SOUS 2461263 HAS SOUPS 2461263 WITH SCORE 2465981.757
AT ITER 5405 NEW BEST:: SOT 19690498 SOS 4717817 HAS SOPS 4717817 HAS SOUS 2460995 HAS SOUPS 2460995 WITH SCORE 2465712.817
AT ITER 5417 NEW BEST:: SOT 19690871 SOS 4715959 HAS SOPS 4715959 HAS SOUS 2460686 HAS SOUPS 2460686 WITH SCORE 2465401.959
AT ITER 5423 NEW BEST:: SOT 19690871 SOS 4714330 HAS SOPS 4714330 HAS SOUS 2460686 HAS SOUPS 2460686 WITH SCORE 2465400.33
AT ITER 5437 NEW BEST:: SOT 19690863 SOS 4713824 HAS SOPS 4713824 HAS SOUS 2460180 HAS SOUPS 2460180 WITH SCORE 2464893.824
AT ITER 5464 NEW BEST:: SOT 19690863 SOS 4712693 HAS SOPS 4712693 HAS SOUS 2459941 HAS SOUPS 2459941 WITH SCORE 2464653.693
AT ITER 5475 NEW BEST:: SOT 19689838 SOS 4712419 HAS SOPS 4712419 HAS SOUS 2459508 HAS SOUPS 2459508 WITH SCORE 2464220.419
AT ITER 5484 NEW BEST:: SOT 19689838 SOS 4712419 HAS SOPS 4712419 HAS SOUS 2459505 HAS SOUPS 2459505 WITH SCORE 2464217.419
AT ITER 5526 NEW BEST:: SOT 19689658 SOS 4712049 HAS SOPS 4712049 HAS SOUS 2459144 HAS SOUPS 2459144 WITH SCORE 2463856.049
AT ITER 5549 NEW BEST:: SOT 19689658 SOS 4712011 HAS SOPS 4712011 HAS SOUS 2459106 HAS SOUPS 2459106 WITH SCORE 2463818.011
AT ITER 5551 NEW BEST:: SOT 19689639 SOS 4713410 HAS SOPS 4713410 HAS SOUS 2459067 HAS SOUPS 2459067 WITH SCORE 2463780.41
AT ITER 5582 NEW BEST:: SOT 19688263 SOS 4712034 HAS SOPS 4712034 HAS SOUS 2457691 HAS SOUPS 2457691 WITH SCORE 2462403.034
AT ITER 5601 NEW BEST:: SOT 19688263 SOS 4712937 HAS SOPS 4712937 HAS SOUS 2457690 HAS SOUPS 2457690 WITH SCORE 2462402.937
AT ITER 5621 NEW BEST:: SOT 19687540 SOS 4712455 HAS SOPS 4712455 HAS SOUS 2457208 HAS SOUPS 2457208 WITH SCORE 2461920.455
AT ITER 5632 NEW BEST:: SOT 19686932 SOS 4711239 HAS SOPS 4711239 HAS SOUS 2455776 HAS SOUPS 2455776 WITH SCORE 2460487.239
AT ITER 5651 NEW BEST:: SOT 19687464 SOS 4712300 HAS SOPS 4712300 HAS SOUS 2455363 HAS SOUPS 2455363 WITH SCORE 2460075.3
AT ITER 5670 NEW BEST:: SOT 19687409 SOS 4712080 HAS SOPS 4712080 HAS SOUS 2455308 HAS SOUPS 2455308 WITH SCORE 2460020.08
AT ITER 5711 NEW BEST:: SOT 19687290 SOS 4712813 HAS SOPS 4712813 HAS SOUS 2455188 HAS SOUPS 2455188 WITH SCORE 2459900.813
AT ITER 5746 NEW BEST:: SOT 19687279 SOS 4712802 HAS SOPS 4712802 HAS SOUS 2455177 HAS SOUPS 2455177 WITH SCORE 2459889.802
AT ITER 5756 NEW BEST:: SOT 19686854 SOS 4712355 HAS SOPS 4712355 HAS SOUS 2454665 HAS SOUPS 2454665 WITH SCORE 2459377.355
AT ITER 5771 NEW BEST:: SOT 19685359 SOS 4712333 HAS SOPS 4712333 HAS SOUS 2453912 HAS SOUPS 2453912 WITH SCORE 2458624.333
AT ITER 5828 NEW BEST:: SOT 19685359 SOS 4712333 HAS SOPS 4712333 HAS SOUS 2453688 HAS SOUPS 2453688 WITH SCORE 2458400.333
AT ITER 5830 NEW BEST:: SOT 19685359 SOS 4711749 HAS SOPS 4711749 HAS SOUS 2453688 HAS SOUPS 2453688 WITH SCORE 2458399.749
AT ITER 5877 NEW BEST:: SOT 19684530 SOS 4711053 HAS SOPS 4711053 HAS SOUS 2451798 HAS SOUPS 2451798 WITH SCORE 2456509.053
AT ITER 5909 NEW BEST:: SOT 19684529 SOS 4711051 HAS SOPS 4711051 HAS SOUS 2451796 HAS SOUPS 2451796 WITH SCORE 2456507.051
AT ITER 5911 NEW BEST:: SOT 19684142 SOS 4711943 HAS SOPS 4711943 HAS SOUS 2451173 HAS SOUPS 2451173 WITH SCORE 2455884.943
AT ITER 5913 NEW BEST:: SOT 19684132 SOS 4711953 HAS SOPS 4711953 HAS SOUS 2451163 HAS SOUPS 2451163 WITH SCORE 2455874.953
AT ITER 5917 NEW BEST:: SOT 19684025 SOS 4711877 HAS SOPS 4711877 HAS SOUS 2451087 HAS SOUPS 2451087 WITH SCORE 2455798.877
AT ITER 5949 NEW BEST:: SOT 19680593 SOS 4708133 HAS SOPS 4708133 HAS SOUS 2449441 HAS SOUPS 2449441 WITH SCORE 2454149.133
AT ITER 5959 NEW BEST:: SOT 19680592 SOS 4708132 HAS SOPS 4708132 HAS SOUS 2449440 HAS SOUPS 2449440 WITH SCORE 2454148.132
AT ITER 5963 NEW BEST:: SOT 19680775 SOS 4707037 HAS SOPS 4707037 HAS SOUS 2449301 HAS SOUPS 2449301 WITH SCORE 2454008.037
AT ITER 5968 NEW BEST:: SOT 19680566 SOS 4707440 HAS SOPS 4707440 HAS SOUS 2449091 HAS SOUPS 2449091 WITH SCORE 2453798.44
AT ITER 5990 NEW BEST:: SOT 19680169 SOS 4707440 HAS SOPS 4707440 HAS SOUS 2448297 HAS SOUPS 2448297 WITH SCORE 2453004.44
AT ITER 5991 NEW BEST:: SOT 19680005 SOS 4707112 HAS SOPS 4707112 HAS SOUS 2447969 HAS SOUPS 2447969 WITH SCORE 2452676.112
AT ITER 6025 NEW BEST:: SOT 19680005 SOS 4706591 HAS SOPS 4706591 HAS SOUS 2447378 HAS SOUPS 2447378 WITH SCORE 2452084.591
AT ITER 6027 NEW BEST:: SOT 19680005 SOS 4706429 HAS SOPS 4706429 HAS SOUS 2447324 HAS SOUPS 2447324 WITH SCORE 2452030.429
AT ITER 6054 NEW BEST:: SOT 19679845 SOS 4706186 HAS SOPS 4706186 HAS SOUS 2447081 HAS SOUPS 2447081 WITH SCORE 2451787.186
AT ITER 6078 NEW BEST:: SOT 19679845 SOS 4706565 HAS SOPS 4706565 HAS SOUS 2447080 HAS SOUPS 2447080 WITH SCORE 2451786.565
AT ITER 6086 NEW BEST:: SOT 19678781 SOS 4705501 HAS SOPS 4705501 HAS SOUS 2444952 HAS SOUPS 2444952 WITH SCORE 2449657.501
AT ITER 6092 NEW BEST:: SOT 19678048 SOS 4705181 HAS SOPS 4705181 HAS SOUS 2444218 HAS SOUPS 2444218 WITH SCORE 2448923.181
AT ITER 6122 NEW BEST:: SOT 19677019 SOS 4704977 HAS SOPS 4704977 HAS SOUS 2443503 HAS SOUPS 2443503 WITH SCORE 2448207.977
AT ITER 6135 NEW BEST:: SOT 19676900 SOS 4704620 HAS SOPS 4704620 HAS SOUS 2443146 HAS SOUPS 2443146 WITH SCORE 2447850.62
AT ITER 6137 NEW BEST:: SOT 19676839 SOS 4704498 HAS SOPS 4704498 HAS SOUS 2443146 HAS SOUPS 2443146 WITH SCORE 2447850.498
AT ITER 6175 NEW BEST:: SOT 19676690 SOS 4704431 HAS SOPS 4704431 HAS SOUS 2443052 HAS SOUPS 2443052 WITH SCORE 2447756.431
AT ITER 6189 NEW BEST:: SOT 19676674 SOS 4704367 HAS SOPS 4704367 HAS SOUS 2443020 HAS SOUPS 2443020 WITH SCORE 2447724.367
AT ITER 6215 NEW BEST:: SOT 19676689 SOS 4702732 HAS SOPS 4702732 HAS SOUS 2442487 HAS SOUPS 2442487 WITH SCORE 2447189.732
AT ITER 6221 NEW BEST:: SOT 19676939 SOS 4710863 HAS SOPS 4710863 HAS SOUS 2442281 HAS SOUPS 2442281 WITH SCORE 2446991.863
AT ITER 6231 NEW BEST:: SOT 19676914 SOS 4712113 HAS SOPS 4712113 HAS SOUS 2442183 HAS SOUPS 2442183 WITH SCORE 2446895.113
AT ITER 6241 NEW BEST:: SOT 19676914 SOS 4711392 HAS SOPS 4711392 HAS SOUS 2442183 HAS SOUPS 2442183 WITH SCORE 2446894.392
AT ITER 6247 NEW BEST:: SOT 19676781 SOS 4711126 HAS SOPS 4711126 HAS SOUS 2441917 HAS SOUPS 2441917 WITH SCORE 2446628.126
AT ITER 6263 NEW BEST:: SOT 19676772 SOS 4711109 HAS SOPS 4711109 HAS SOUS 2441900 HAS SOUPS 2441900 WITH SCORE 2446611.109
AT ITER 6308 NEW BEST:: SOT 19675831 SOS 4709750 HAS SOPS 4709750 HAS SOUS 2440440 HAS SOUPS 2440440 WITH SCORE 2445149.75
AT ITER 6322 NEW BEST:: SOT 19675739 SOS 4709566 HAS SOPS 4709566 HAS SOUS 2440256 HAS SOUPS 2440256 WITH SCORE 2444965.566
AT ITER 6327 NEW BEST:: SOT 19676122 SOS 4702097 HAS SOPS 4702097 HAS SOUS 2437044 HAS SOUPS 2437044 WITH SCORE 2441746.097
AT ITER 6394 NEW BEST:: SOT 19675877 SOS 4701973 HAS SOPS 4701973 HAS SOUS 2436493 HAS SOUPS 2436493 WITH SCORE 2441194.973
AT ITER 6420 NEW BEST:: SOT 19675900 SOS 4702745 HAS SOPS 4702745 HAS SOUS 2436141 HAS SOUPS 2436141 WITH SCORE 2440843.745
AT ITER 6450 NEW BEST:: SOT 19676131 SOS 4705505 HAS SOPS 4705505 HAS SOUS 2436021 HAS SOUPS 2436021 WITH SCORE 2440726.505
AT ITER 6498 NEW BEST:: SOT 19675920 SOS 4705083 HAS SOPS 4705083 HAS SOUS 2435599 HAS SOUPS 2435599 WITH SCORE 2440304.083
AT ITER 6502 NEW BEST:: SOT 19676216 SOS 4704786 HAS SOPS 4704786 HAS SOUS 2435598 HAS SOUPS 2435598 WITH SCORE 2440302.786
AT ITER 6524 NEW BEST:: SOT 19676216 SOS 4702455 HAS SOPS 4702455 HAS SOUS 2435598 HAS SOUPS 2435598 WITH SCORE 2440300.455
AT ITER 6662 NEW BEST:: SOT 19676188 SOS 4702507 HAS SOPS 4702507 HAS SOUS 2435569 HAS SOUPS 2435569 WITH SCORE 2440271.507
AT ITER 6673 NEW BEST:: SOT 19676188 SOS 4702235 HAS SOPS 4702235 HAS SOUS 2435569 HAS SOUPS 2435569 WITH SCORE 2440271.235
AT ITER 6743 NEW BEST:: SOT 19676188 SOS 4701269 HAS SOPS 4701269 HAS SOUS 2435569 HAS SOUPS 2435569 WITH SCORE 2440270.269
AT ITER 6754 NEW BEST:: SOT 19676529 SOS 4699895 HAS SOPS 4699895 HAS SOUS 2435394 HAS SOUPS 2435394 WITH SCORE 2440093.895
AT ITER 6816 NEW BEST:: SOT 19676433 SOS 4699798 HAS SOPS 4699798 HAS SOUS 2434735 HAS SOUPS 2434735 WITH SCORE 2439434.798
AT ITER 6819 NEW BEST:: SOT 19675865 SOS 4698989 HAS SOPS 4698989 HAS SOUS 2433926 HAS SOUPS 2433926 WITH SCORE 2438624.989
AT ITER 6826 NEW BEST:: SOT 19676139 SOS 4704661 HAS SOPS 4704661 HAS SOUS 2433824 HAS SOUPS 2433824 WITH SCORE 2438528.661
AT ITER 6851 NEW BEST:: SOT 19676139 SOS 4704509 HAS SOPS 4704509 HAS SOUS 2433672 HAS SOUPS 2433672 WITH SCORE 2438376.509
AT ITER 6904 NEW BEST:: SOT 19676139 SOS 4704597 HAS SOPS 4704597 HAS SOUS 2433579 HAS SOUPS 2433579 WITH SCORE 2438283.597
AT ITER 6936 NEW BEST:: SOT 19675997 SOS 4704313 HAS SOPS 4704313 HAS SOUS 2433437 HAS SOUPS 2433437 WITH SCORE 2438141.313
AT ITER 6943 NEW BEST:: SOT 19675760 SOS 4704076 HAS SOPS 4704076 HAS SOUS 2433200 HAS SOUPS 2433200 WITH SCORE 2437904.076
AT ITER 6963 NEW BEST:: SOT 19675599 SOS 4703915 HAS SOPS 4703915 HAS SOUS 2433029 HAS SOUPS 2433029 WITH SCORE 2437732.915
AT ITER 6982 NEW BEST:: SOT 19675599 SOS 4702979 HAS SOPS 4702979 HAS SOUS 2432717 HAS SOUPS 2432717 WITH SCORE 2437419.979
AT ITER 6987 NEW BEST:: SOT 19675596 SOS 4702973 HAS SOPS 4702973 HAS SOUS 2432711 HAS SOUPS 2432711 WITH SCORE 2437413.973
AT ITER 6994 NEW BEST:: SOT 19675372 SOS 4703269 HAS SOPS 4703269 HAS SOUS 2431743 HAS SOUPS 2431743 WITH SCORE 2436446.269
AT ITER 7012 NEW BEST:: SOT 19675372 SOS 4703230 HAS SOPS 4703230 HAS SOUS 2431717 HAS SOUPS 2431717 WITH SCORE 2436420.23
AT ITER 7016 NEW BEST:: SOT 19675372 SOS 4703230 HAS SOPS 4703230 HAS SOUS 2431716 HAS SOUPS 2431716 WITH SCORE 2436419.23
AT ITER 7018 NEW BEST:: SOT 19675372 SOS 4703149 HAS SOPS 4703149 HAS SOUS 2431635 HAS SOUPS 2431635 WITH SCORE 2436338.149
AT ITER 7037 NEW BEST:: SOT 19675372 SOS 4703459 HAS SOPS 4703459 HAS SOUS 2431633 HAS SOUPS 2431633 WITH SCORE 2436336.459
AT ITER 7044 NEW BEST:: SOT 19674913 SOS 4703000 HAS SOPS 4703000 HAS SOUS 2431174 HAS SOUPS 2431174 WITH SCORE 2435877.0
AT ITER 7057 NEW BEST:: SOT 19674703 SOS 4702997 HAS SOPS 4702997 HAS SOUS 2431173 HAS SOUPS 2431173 WITH SCORE 2435875.997
AT ITER 7085 NEW BEST:: SOT 19674703 SOS 4703068 HAS SOPS 4703068 HAS SOUS 2431172 HAS SOUPS 2431172 WITH SCORE 2435875.068
AT ITER 7099 NEW BEST:: SOT 19674687 SOS 4703057 HAS SOPS 4703057 HAS SOUS 2431163 HAS SOUPS 2431163 WITH SCORE 2435866.057
AT ITER 7125 NEW BEST:: SOT 19674513 SOS 4703224 HAS SOPS 4703224 HAS SOUS 2430987 HAS SOUPS 2430987 WITH SCORE 2435690.224
AT ITER 7126 NEW BEST:: SOT 19674303 SOS 4702804 HAS SOPS 4702804 HAS SOUS 2430567 HAS SOUPS 2430567 WITH SCORE 2435269.804
AT ITER 7128 NEW BEST:: SOT 19674015 SOS 4702228 HAS SOPS 4702228 HAS SOUS 2429650 HAS SOUPS 2429650 WITH SCORE 2434352.228
AT ITER 7152 NEW BEST:: SOT 19673007 SOS 4701277 HAS SOPS 4701277 HAS SOUS 2428642 HAS SOUPS 2428642 WITH SCORE 2433343.277
AT ITER 7179 NEW BEST:: SOT 19672774 SOS 4700808 HAS SOPS 4700808 HAS SOUS 2428408 HAS SOUPS 2428408 WITH SCORE 2433108.808
AT ITER 7193 NEW BEST:: SOT 19672692 SOS 4700726 HAS SOPS 4700726 HAS SOUS 2428326 HAS SOUPS 2428326 WITH SCORE 2433026.726
AT ITER 7211 NEW BEST:: SOT 19672305 SOS 4703425 HAS SOPS 4703425 HAS SOUS 2427551 HAS SOUPS 2427551 WITH SCORE 2432254.425
AT ITER 7246 NEW BEST:: SOT 19672219 SOS 4703253 HAS SOPS 4703253 HAS SOUS 2427465 HAS SOUPS 2427465 WITH SCORE 2432168.253
AT ITER 7257 NEW BEST:: SOT 19672202 SOS 4703372 HAS SOPS 4703372 HAS SOUS 2427431 HAS SOUPS 2427431 WITH SCORE 2432134.372
AT ITER 7271 NEW BEST:: SOT 19672202 SOS 4706333 HAS SOPS 4706333 HAS SOUS 2427247 HAS SOUPS 2427247 WITH SCORE 2431953.333
AT ITER 7272 NEW BEST:: SOT 19671888 SOS 4706176 HAS SOPS 4706176 HAS SOUS 2426973 HAS SOUPS 2426973 WITH SCORE 2431679.176
AT ITER 7290 NEW BEST:: SOT 19671888 SOS 4705141 HAS SOPS 4705141 HAS SOUS 2426628 HAS SOUPS 2426628 WITH SCORE 2431333.141
AT ITER 7348 NEW BEST:: SOT 19671720 SOS 4705057 HAS SOPS 4705057 HAS SOUS 2426544 HAS SOUPS 2426544 WITH SCORE 2431249.057
AT ITER 7355 NEW BEST:: SOT 19670384 SOS 4697711 HAS SOPS 4697711 HAS SOUS 2424607 HAS SOUPS 2424607 WITH SCORE 2429304.711
AT ITER 7382 NEW BEST:: SOT 19670441 SOS 4696436 HAS SOPS 4696436 HAS SOUS 2424201 HAS SOUPS 2424201 WITH SCORE 2428897.436
AT ITER 7387 NEW BEST:: SOT 19669864 SOS 4696929 HAS SOPS 4696929 HAS SOUS 2423952 HAS SOUPS 2423952 WITH SCORE 2428648.929
AT ITER 7408 NEW BEST:: SOT 19669864 SOS 4696929 HAS SOPS 4696929 HAS SOUS 2423927 HAS SOUPS 2423927 WITH SCORE 2428623.929
AT ITER 7442 NEW BEST:: SOT 19669864 SOS 4695663 HAS SOPS 4695663 HAS SOUS 2423927 HAS SOUPS 2423927 WITH SCORE 2428622.663
AT ITER 7468 NEW BEST:: SOT 19669715 SOS 4695365 HAS SOPS 4695365 HAS SOUS 2423629 HAS SOUPS 2423629 WITH SCORE 2428324.365
AT ITER 7470 NEW BEST:: SOT 19669715 SOS 4695693 HAS SOPS 4695693 HAS SOUS 2423465 HAS SOUPS 2423465 WITH SCORE 2428160.693
AT ITER 7479 NEW BEST:: SOT 19669555 SOS 4697133 HAS SOPS 4697133 HAS SOUS 2423145 HAS SOUPS 2423145 WITH SCORE 2427842.133
AT ITER 7513 NEW BEST:: SOT 19669555 SOS 4697013 HAS SOPS 4697013 HAS SOUS 2421825 HAS SOUPS 2421825 WITH SCORE 2426522.013
AT ITER 7531 NEW BEST:: SOT 19669554 SOS 4697011 HAS SOPS 4697011 HAS SOUS 2421823 HAS SOUPS 2421823 WITH SCORE 2426520.011
AT ITER 7545 NEW BEST:: SOT 19669024 SOS 4695121 HAS SOPS 4695121 HAS SOUS 2421162 HAS SOUPS 2421162 WITH SCORE 2425857.121
AT ITER 7552 NEW BEST:: SOT 19668996 SOS 4695149 HAS SOPS 4695149 HAS SOUS 2421134 HAS SOUPS 2421134 WITH SCORE 2425829.149
AT ITER 7562 NEW BEST:: SOT 19669063 SOS 4691332 HAS SOPS 4691332 HAS SOUS 2420301 HAS SOUPS 2420301 WITH SCORE 2424992.332
AT ITER 7564 NEW BEST:: SOT 19669063 SOS 4691698 HAS SOPS 4691698 HAS SOUS 2420299 HAS SOUPS 2420299 WITH SCORE 2424990.698
AT ITER 7569 NEW BEST:: SOT 19669039 SOS 4691939 HAS SOPS 4691939 HAS SOUS 2420251 HAS SOUPS 2420251 WITH SCORE 2424942.939
AT ITER 7582 NEW BEST:: SOT 19668658 SOS 4690034 HAS SOPS 4690034 HAS SOUS 2419489 HAS SOUPS 2419489 WITH SCORE 2424179.034
AT ITER 7595 NEW BEST:: SOT 19668545 SOS 4689947 HAS SOPS 4689947 HAS SOUS 2419402 HAS SOUPS 2419402 WITH SCORE 2424091.947
AT ITER 7615 NEW BEST:: SOT 19668545 SOS 4689561 HAS SOPS 4689561 HAS SOUS 2419402 HAS SOUPS 2419402 WITH SCORE 2424091.561
AT ITER 7687 NEW BEST:: SOT 19668618 SOS 4688891 HAS SOPS 4688891 HAS SOUS 2419067 HAS SOUPS 2419067 WITH SCORE 2423755.891
AT ITER 7698 NEW BEST:: SOT 19668617 SOS 4688871 HAS SOPS 4688871 HAS SOUS 2419047 HAS SOUPS 2419047 WITH SCORE 2423735.871
AT ITER 7719 NEW BEST:: SOT 19667523 SOS 4688871 HAS SOPS 4688871 HAS SOUS 2417502 HAS SOUPS 2417502 WITH SCORE 2422190.871
AT ITER 7732 NEW BEST:: SOT 19666987 SOS 4680302 HAS SOPS 4680302 HAS SOUS 2416525 HAS SOUPS 2416525 WITH SCORE 2421205.302
AT ITER 7754 NEW BEST:: SOT 19666807 SOS 4679942 HAS SOPS 4679942 HAS SOUS 2416165 HAS SOUPS 2416165 WITH SCORE 2420844.942
AT ITER 7825 NEW BEST:: SOT 19666535 SOS 4680710 HAS SOPS 4680710 HAS SOUS 2415943 HAS SOUPS 2415943 WITH SCORE 2420623.71
AT ITER 7860 NEW BEST:: SOT 19665870 SOS 4671307 HAS SOPS 4671307 HAS SOUS 2414613 HAS SOUPS 2414613 WITH SCORE 2419284.307
AT ITER 7864 NEW BEST:: SOT 19665870 SOS 4671307 HAS SOPS 4671307 HAS SOUS 2414612 HAS SOUPS 2414612 WITH SCORE 2419283.307
AT ITER 7885 NEW BEST:: SOT 19666519 SOS 4678395 HAS SOPS 4678395 HAS SOUS 2414486 HAS SOUPS 2414486 WITH SCORE 2419164.395
AT ITER 7897 NEW BEST:: SOT 19665204 SOS 4677070 HAS SOPS 4677070 HAS SOUS 2413147 HAS SOUPS 2413147 WITH SCORE 2417824.07
AT ITER 7924 NEW BEST:: SOT 19665134 SOS 4676790 HAS SOPS 4676790 HAS SOUS 2413077 HAS SOUPS 2413077 WITH SCORE 2417753.79
AT ITER 7932 NEW BEST:: SOT 19665285 SOS 4674765 HAS SOPS 4674765 HAS SOUS 2412274 HAS SOUPS 2412274 WITH SCORE 2416948.765
AT ITER 7943 NEW BEST:: SOT 19665284 SOS 4674679 HAS SOPS 4674679 HAS SOUS 2412188 HAS SOUPS 2412188 WITH SCORE 2416862.679
AT ITER 7958 NEW BEST:: SOT 19664759 SOS 4674821 HAS SOPS 4674821 HAS SOUS 2411138 HAS SOUPS 2411138 WITH SCORE 2415812.821
AT ITER 7964 NEW BEST:: SOT 19664244 SOS 4673791 HAS SOPS 4673791 HAS SOUS 2410067 HAS SOUPS 2410067 WITH SCORE 2414740.791
AT ITER 7993 NEW BEST:: SOT 19664080 SOS 4673463 HAS SOPS 4673463 HAS SOUS 2409609 HAS SOUPS 2409609 WITH SCORE 2414282.463
AT ITER 7998 NEW BEST:: SOT 19663750 SOS 4673298 HAS SOPS 4673298 HAS SOUS 2409444 HAS SOUPS 2409444 WITH SCORE 2414117.298
AT ITER 8008 NEW BEST:: SOT 19663750 SOS 4673241 HAS SOPS 4673241 HAS SOUS 2409444 HAS SOUPS 2409444 WITH SCORE 2414117.241
AT ITER 8029 NEW BEST:: SOT 19663750 SOS 4672866 HAS SOPS 4672866 HAS SOUS 2409319 HAS SOUPS 2409319 WITH SCORE 2413991.866
AT ITER 8039 NEW BEST:: SOT 19663885 SOS 4673312 HAS SOPS 4673312 HAS SOUS 2409149 HAS SOUPS 2409149 WITH SCORE 2413822.312
AT ITER 8046 NEW BEST:: SOT 19663544 SOS 4674067 HAS SOPS 4674067 HAS SOUS 2409117 HAS SOUPS 2409117 WITH SCORE 2413791.067
AT ITER 8060 NEW BEST:: SOT 19663247 SOS 4673770 HAS SOPS 4673770 HAS SOUS 2408820 HAS SOUPS 2408820 WITH SCORE 2413493.77
AT ITER 8063 NEW BEST:: SOT 19663097 SOS 4673545 HAS SOPS 4673545 HAS SOUS 2408595 HAS SOUPS 2408595 WITH SCORE 2413268.545
AT ITER 8087 NEW BEST:: SOT 19663097 SOS 4674738 HAS SOPS 4674738 HAS SOUS 2408195 HAS SOUPS 2408195 WITH SCORE 2412869.738
AT ITER 8091 NEW BEST:: SOT 19663096 SOS 4674736 HAS SOPS 4674736 HAS SOUS 2408193 HAS SOUPS 2408193 WITH SCORE 2412867.736
AT ITER 8100 NEW BEST:: SOT 19663064 SOS 4674672 HAS SOPS 4674672 HAS SOUS 2408129 HAS SOUPS 2408129 WITH SCORE 2412803.672
AT ITER 8116 NEW BEST:: SOT 19662666 SOS 4674473 HAS SOPS 4674473 HAS SOUS 2407930 HAS SOUPS 2407930 WITH SCORE 2412604.473
AT ITER 8126 NEW BEST:: SOT 19662492 SOS 4674125 HAS SOPS 4674125 HAS SOUS 2407582 HAS SOUPS 2407582 WITH SCORE 2412256.125
AT ITER 8131 NEW BEST:: SOT 19662316 SOS 4674297 HAS SOPS 4674297 HAS SOUS 2407229 HAS SOUPS 2407229 WITH SCORE 2411903.297
AT ITER 8148 NEW BEST:: SOT 19662119 SOS 4673307 HAS SOPS 4673307 HAS SOUS 2406799 HAS SOUPS 2406799 WITH SCORE 2411472.307
AT ITER 8162 NEW BEST:: SOT 19661939 SOS 4672947 HAS SOPS 4672947 HAS SOUS 2406439 HAS SOUPS 2406439 WITH SCORE 2411111.947
AT ITER 8168 NEW BEST:: SOT 19661174 SOS 4672320 HAS SOPS 4672320 HAS SOUS 2405812 HAS SOUPS 2405812 WITH SCORE 2410484.32
AT ITER 8191 NEW BEST:: SOT 19660680 SOS 4672310 HAS SOPS 4672310 HAS SOUS 2405811 HAS SOUPS 2405811 WITH SCORE 2410483.31
AT ITER 8287 NEW BEST:: SOT 19660680 SOS 4672226 HAS SOPS 4672226 HAS SOUS 2405727 HAS SOUPS 2405727 WITH SCORE 2410399.226
AT ITER 8309 NEW BEST:: SOT 19660319 SOS 4672084 HAS SOPS 4672084 HAS SOUS 2405585 HAS SOUPS 2405585 WITH SCORE 2410257.084
AT ITER 8316 NEW BEST:: SOT 19660239 SOS 4671978 HAS SOPS 4671978 HAS SOUS 2405559 HAS SOUPS 2405559 WITH SCORE 2410230.978
AT ITER 8320 NEW BEST:: SOT 19659996 SOS 4676230 HAS SOPS 4676230 HAS SOUS 2405545 HAS SOUPS 2405545 WITH SCORE 2410221.23
AT ITER 8323 NEW BEST:: SOT 19659996 SOS 4676164 HAS SOPS 4676164 HAS SOUS 2405479 HAS SOUPS 2405479 WITH SCORE 2410155.164
AT ITER 8328 NEW BEST:: SOT 19659895 SOS 4675962 HAS SOPS 4675962 HAS SOUS 2405277 HAS SOUPS 2405277 WITH SCORE 2409952.962
AT ITER 8336 NEW BEST:: SOT 19660201 SOS 4683164 HAS SOPS 4683164 HAS SOUS 2405063 HAS SOUPS 2405063 WITH SCORE 2409746.164
AT ITER 8362 NEW BEST:: SOT 19659968 SOS 4684145 HAS SOPS 4684145 HAS SOUS 2404532 HAS SOUPS 2404532 WITH SCORE 2409216.145
AT ITER 8375 NEW BEST:: SOT 19659968 SOS 4682858 HAS SOPS 4682858 HAS SOUS 2404531 HAS SOUPS 2404531 WITH SCORE 2409213.858
AT ITER 8422 NEW BEST:: SOT 19659824 SOS 4682714 HAS SOPS 4682714 HAS SOUS 2404387 HAS SOUPS 2404387 WITH SCORE 2409069.714
AT ITER 8434 NEW BEST:: SOT 19659824 SOS 4682006 HAS SOPS 4682006 HAS SOUS 2404140 HAS SOUPS 2404140 WITH SCORE 2408822.006
AT ITER 8491 NEW BEST:: SOT 19659824 SOS 4682527 HAS SOPS 4682527 HAS SOUS 2404139 HAS SOUPS 2404139 WITH SCORE 2408821.527
AT ITER 8495 NEW BEST:: SOT 19659824 SOS 4682836 HAS SOPS 4682836 HAS SOUS 2404138 HAS SOUPS 2404138 WITH SCORE 2408820.836
AT ITER 8504 NEW BEST:: SOT 19659824 SOS 4682614 HAS SOPS 4682614 HAS SOUS 2404138 HAS SOUPS 2404138 WITH SCORE 2408820.614
AT ITER 8524 NEW BEST:: SOT 19659856 SOS 4683584 HAS SOPS 4683584 HAS SOUS 2403944 HAS SOUPS 2403944 WITH SCORE 2408627.584
AT ITER 8567 NEW BEST:: SOT 19659773 SOS 4683507 HAS SOPS 4683507 HAS SOUS 2403867 HAS SOUPS 2403867 WITH SCORE 2408550.507
AT ITER 8581 NEW BEST:: SOT 19659649 SOS 4683218 HAS SOPS 4683218 HAS SOUS 2403271 HAS SOUPS 2403271 WITH SCORE 2407954.218
AT ITER 8650 NEW BEST:: SOT 19659669 SOS 4683254 HAS SOPS 4683254 HAS SOUS 2403269 HAS SOUPS 2403269 WITH SCORE 2407952.254
AT ITER 8673 NEW BEST:: SOT 19659629 SOS 4683214 HAS SOPS 4683214 HAS SOUS 2403229 HAS SOUPS 2403229 WITH SCORE 2407912.214
AT ITER 8717 NEW BEST:: SOT 19659877 SOS 4686607 HAS SOPS 4686607 HAS SOUS 2402861 HAS SOUPS 2402861 WITH SCORE 2407547.607
AT ITER 8731 NEW BEST:: SOT 19659877 SOS 4686603 HAS SOPS 4686603 HAS SOUS 2402757 HAS SOUPS 2402757 WITH SCORE 2407443.603
AT ITER 8760 NEW BEST:: SOT 19659896 SOS 4686641 HAS SOPS 4686641 HAS SOUS 2402676 HAS SOUPS 2402676 WITH SCORE 2407362.641
AT ITER 8765 NEW BEST:: SOT 19659896 SOS 4686640 HAS SOPS 4686640 HAS SOUS 2402675 HAS SOUPS 2402675 WITH SCORE 2407361.64
AT ITER 8809 NEW BEST:: SOT 19659896 SOS 4685398 HAS SOPS 4685398 HAS SOUS 2402261 HAS SOUPS 2402261 WITH SCORE 2406946.398
AT ITER 8829 NEW BEST:: SOT 19659758 SOS 4685122 HAS SOPS 4685122 HAS SOUS 2401985 HAS SOUPS 2401985 WITH SCORE 2406670.122
AT ITER 8851 NEW BEST:: SOT 19659375 SOS 4685118 HAS SOPS 4685118 HAS SOUS 2401984 HAS SOUPS 2401984 WITH SCORE 2406669.118
AT ITER 8893 NEW BEST:: SOT 19658804 SOS 4683976 HAS SOPS 4683976 HAS SOUS 2400763 HAS SOUPS 2400763 WITH SCORE 2405446.976
AT ITER 8904 NEW BEST:: SOT 19658577 SOS 4683762 HAS SOPS 4683762 HAS SOUS 2400558 HAS SOUPS 2400558 WITH SCORE 2405241.762
AT ITER 8931 NEW BEST:: SOT 19658073 SOS 4683258 HAS SOPS 4683258 HAS SOUS 2400054 HAS SOUPS 2400054 WITH SCORE 2404737.258
AT ITER 8932 NEW BEST:: SOT 19658015 SOS 4683142 HAS SOPS 4683142 HAS SOUS 2399938 HAS SOUPS 2399938 WITH SCORE 2404621.142
AT ITER 8949 NEW BEST:: SOT 19657872 SOS 4681816 HAS SOPS 4681816 HAS SOUS 2399517 HAS SOUPS 2399517 WITH SCORE 2404198.816
AT ITER 8956 NEW BEST:: SOT 19657316 SOS 4681546 HAS SOPS 4681546 HAS SOUS 2399247 HAS SOUPS 2399247 WITH SCORE 2403928.546
AT ITER 8958 NEW BEST:: SOT 19657230 SOS 4681374 HAS SOPS 4681374 HAS SOUS 2399075 HAS SOUPS 2399075 WITH SCORE 2403756.374
AT ITER 8997 NEW BEST:: SOT 19657186 SOS 4681330 HAS SOPS 4681330 HAS SOUS 2399031 HAS SOUPS 2399031 WITH SCORE 2403712.33
AT ITER 9012 NEW BEST:: SOT 19656744 SOS 4681334 HAS SOPS 4681334 HAS SOUS 2398885 HAS SOUPS 2398885 WITH SCORE 2403566.334
AT ITER 9071 NEW BEST:: SOT 19656984 SOS 4681814 HAS SOPS 4681814 HAS SOUS 2398834 HAS SOUPS 2398834 WITH SCORE 2403515.814
AT ITER 9091 NEW BEST:: SOT 19656984 SOS 4681804 HAS SOPS 4681804 HAS SOUS 2398716 HAS SOUPS 2398716 WITH SCORE 2403397.804
AT ITER 9130 NEW BEST:: SOT 19656984 SOS 4681730 HAS SOPS 4681730 HAS SOUS 2398679 HAS SOUPS 2398679 WITH SCORE 2403360.73
AT ITER 9142 NEW BEST:: SOT 19656832 SOS 4681882 HAS SOPS 4681882 HAS SOUS 2398375 HAS SOUPS 2398375 WITH SCORE 2403056.882
AT ITER 9155 NEW BEST:: SOT 19656263 SOS 4680804 HAS SOPS 4680804 HAS SOUS 2397297 HAS SOUPS 2397297 WITH SCORE 2401977.804
AT ITER 9208 NEW BEST:: SOT 19656007 SOS 4681335 HAS SOPS 4681335 HAS SOUS 2396784 HAS SOUPS 2396784 WITH SCORE 2401465.335
AT ITER 9298 NEW BEST:: SOT 19655945 SOS 4681273 HAS SOPS 4681273 HAS SOUS 2396722 HAS SOUPS 2396722 WITH SCORE 2401403.273
AT ITER 9309 NEW BEST:: SOT 19656693 SOS 4683141 HAS SOPS 4683141 HAS SOUS 2396638 HAS SOUPS 2396638 WITH SCORE 2401321.141
AT ITER 9338 NEW BEST:: SOT 19656633 SOS 4683561 HAS SOPS 4683561 HAS SOUS 2396578 HAS SOUPS 2396578 WITH SCORE 2401261.561
AT ITER 9342 NEW BEST:: SOT 19656484 SOS 4683739 HAS SOPS 4683739 HAS SOUS 2396399 HAS SOUPS 2396399 WITH SCORE 2401082.739
AT ITER 9372 NEW BEST:: SOT 19656749 SOS 4683324 HAS SOPS 4683324 HAS SOUS 2395984 HAS SOUPS 2395984 WITH SCORE 2400667.324
AT ITER 9380 NEW BEST:: SOT 19656020 SOS 4682052 HAS SOPS 4682052 HAS SOUS 2394712 HAS SOUPS 2394712 WITH SCORE 2399394.052
AT ITER 9424 NEW BEST:: SOT 19655246 SOS 4681361 HAS SOPS 4681361 HAS SOUS 2394023 HAS SOUPS 2394023 WITH SCORE 2398704.361
AT ITER 9432 NEW BEST:: SOT 19654634 SOS 4681268 HAS SOPS 4681268 HAS SOUS 2393522 HAS SOUPS 2393522 WITH SCORE 2398203.268
AT ITER 9476 NEW BEST:: SOT 19654634 SOS 4681524 HAS SOPS 4681524 HAS SOUS 2393394 HAS SOUPS 2393394 WITH SCORE 2398075.524
AT ITER 9522 NEW BEST:: SOT 19653713 SOS 4681928 HAS SOPS 4681928 HAS SOUS 2392167 HAS SOUPS 2392167 WITH SCORE 2396848.928
AT ITER 9542 NEW BEST:: SOT 19653620 SOS 4681882 HAS SOPS 4681882 HAS SOUS 2392107 HAS SOUPS 2392107 WITH SCORE 2396788.882
AT ITER 9547 NEW BEST:: SOT 19653620 SOS 4682075 HAS SOPS 4682075 HAS SOUS 2392008 HAS SOUPS 2392008 WITH SCORE 2396690.075
AT ITER 9577 NEW BEST:: SOT 19653509 SOS 4681964 HAS SOPS 4681964 HAS SOUS 2391881 HAS SOUPS 2391881 WITH SCORE 2396562.964
AT ITER 9578 NEW BEST:: SOT 19652739 SOS 4681047 HAS SOPS 4681047 HAS SOUS 2390964 HAS SOUPS 2390964 WITH SCORE 2395645.047
AT ITER 9583 NEW BEST:: SOT 19652206 SOS 4676250 HAS SOPS 4676250 HAS SOUS 2389999 HAS SOUPS 2389999 WITH SCORE 2394675.25
AT ITER 9592 NEW BEST:: SOT 19652206 SOS 4676799 HAS SOPS 4676799 HAS SOUS 2389938 HAS SOUPS 2389938 WITH SCORE 2394614.799
AT ITER 9598 NEW BEST:: SOT 19652745 SOS 4676155 HAS SOPS 4676155 HAS SOUS 2389903 HAS SOUPS 2389903 WITH SCORE 2394579.155
AT ITER 9599 NEW BEST:: SOT 19652745 SOS 4676151 HAS SOPS 4676151 HAS SOUS 2389900 HAS SOUPS 2389900 WITH SCORE 2394576.151
AT ITER 9617 NEW BEST:: SOT 19652744 SOS 4676149 HAS SOPS 4676149 HAS SOUS 2389898 HAS SOUPS 2389898 WITH SCORE 2394574.149
AT ITER 9644 NEW BEST:: SOT 19652896 SOS 4675944 HAS SOPS 4675944 HAS SOUS 2389520 HAS SOUPS 2389520 WITH SCORE 2394195.944
AT ITER 9680 NEW BEST:: SOT 19652896 SOS 4676438 HAS SOPS 4676438 HAS SOUS 2389519 HAS SOUPS 2389519 WITH SCORE 2394195.438
AT ITER 9714 NEW BEST:: SOT 19652896 SOS 4676435 HAS SOPS 4676435 HAS SOUS 2389519 HAS SOUPS 2389519 WITH SCORE 2394195.435
AT ITER 9717 NEW BEST:: SOT 19652685 SOS 4676013 HAS SOPS 4676013 HAS SOUS 2389097 HAS SOUPS 2389097 WITH SCORE 2393773.013
AT ITER 9739 NEW BEST:: SOT 19652685 SOS 4676013 HAS SOPS 4676013 HAS SOUS 2389090 HAS SOUPS 2389090 WITH SCORE 2393766.013
AT ITER 9741 NEW BEST:: SOT 19652370 SOS 4675383 HAS SOPS 4675383 HAS SOUS 2388460 HAS SOUPS 2388460 WITH SCORE 2393135.383
AT ITER 9744 NEW BEST:: SOT 19652370 SOS 4675383 HAS SOPS 4675383 HAS SOUS 2388459 HAS SOUPS 2388459 WITH SCORE 2393134.383
AT ITER 9751 NEW BEST:: SOT 19652054 SOS 4675379 HAS SOPS 4675379 HAS SOUS 2388458 HAS SOUPS 2388458 WITH SCORE 2393133.379
AT ITER 9763 NEW BEST:: SOT 19651155 SOS 4674243 HAS SOPS 4674243 HAS SOUS 2387176 HAS SOUPS 2387176 WITH SCORE 2391850.243
AT ITER 9785 NEW BEST:: SOT 19649274 SOS 4672445 HAS SOPS 4672445 HAS SOUS 2385378 HAS SOUPS 2385378 WITH SCORE 2390050.445
AT ITER 9823 NEW BEST:: SOT 19649260 SOS 4672417 HAS SOPS 4672417 HAS SOUS 2385350 HAS SOUPS 2385350 WITH SCORE 2390022.417
AT ITER 9854 NEW BEST:: SOT 19649412 SOS 4672328 HAS SOPS 4672328 HAS SOUS 2385261 HAS SOUPS 2385261 WITH SCORE 2389933.328
AT ITER 9858 NEW BEST:: SOT 19649317 SOS 4672304 HAS SOPS 4672304 HAS SOUS 2385237 HAS SOUPS 2385237 WITH SCORE 2389909.304
AT ITER 9864 NEW BEST:: SOT 19649317 SOS 4672304 HAS SOPS 4672304 HAS SOUS 2385236 HAS SOUPS 2385236 WITH SCORE 2389908.304
AT ITER 9867 NEW BEST:: SOT 19648908 SOS 4675167 HAS SOPS 4675167 HAS SOUS 2384827 HAS SOUPS 2384827 WITH SCORE 2389502.167
AT ITER 9886 NEW BEST:: SOT 19648577 SOS 4675498 HAS SOPS 4675498 HAS SOUS 2384571 HAS SOUPS 2384571 WITH SCORE 2389246.498
AT ITER 9907 NEW BEST:: SOT 19648111 SOS 4674999 HAS SOPS 4674999 HAS SOUS 2384094 HAS SOUPS 2384094 WITH SCORE 2388768.999
AT ITER 9922 NEW BEST:: SOT 19648111 SOS 4674999 HAS SOPS 4674999 HAS SOUS 2384093 HAS SOUPS 2384093 WITH SCORE 2388767.999
AT ITER 9935 NEW BEST:: SOT 19647994 SOS 4674765 HAS SOPS 4674765 HAS SOUS 2383976 HAS SOUPS 2383976 WITH SCORE 2388650.765
AT ITER 9998 NEW BEST:: SOT 19647994 SOS 4672903 HAS SOPS 4672903 HAS SOUS 2383672 HAS SOUPS 2383672 WITH SCORE 2388344.903
AT ITER 9999 NEW BEST:: SOT 19647994 SOS 4675674 HAS SOPS 4675674 HAS SOUS 2383362 HAS SOUPS 2383362 WITH SCORE 2388037.674
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 14532024 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16118576 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="DLCround-PT-11b"
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 DLCround-PT-11b, 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 r107-tall-167814484600760"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DLCround-PT-11b.tgz
mv DLCround-PT-11b 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 ;